s 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 143 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 310 343 349 445 464 553 t 5 7 10 15 19 33 34 39 40 41 42 43 44 47 48 49 52 57 58 59 60 69 70 72 77 81 85 86 87 90 91 93 95 106 108 110 114 121 126 127 128 129 131 133 145 148 149 150 152 153 154 155 159 160 167 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 343 349 413 425 445 464 588 a YES a 107 108 110 119 120 121 125 126 127 128 130 131 133 134 143 145 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 247 310 343 349 37 38 39 40 41 42 43 44 445 464 47 48 49 5 52 553 57 58 59 60 69 7 70 72 80 81 85 86 87 90 91 94 95 a 107 108 110 119 120 121 125 126 127 128 130 131 133 134 143 145 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 247 343 349 37 38 39 40 41 42 43 44 445 464 47 48 49 5 52 553 57 58 588 59 60 69 7 70 72 80 81 85 86 87 90 91 94 95 a 107 108 110 119 120 121 125 126 127 128 130 131 133 134 143 145 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 247 343 349 37 38 39 40 41 42 425 43 44 445 464 47 48 49 5 52 57 58 588 59 60 69 7 70 72 80 81 85 86 87 90 91 94 95 a 107 108 110 119 121 125 126 127 128 130 131 133 134 143 145 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 247 343 349 37 38 39 40 41 413 42 425 43 44 445 464 47 48 49 5 52 57 58 588 59 60 69 7 70 72 80 81 85 86 87 90 91 94 95 a 107 108 110 119 121 125 126 127 128 130 131 133 143 145 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 247 289 343 349 37 38 39 40 41 413 42 425 43 44 445 464 47 48 49 5 52 57 58 588 59 60 69 7 70 72 80 81 85 86 87 90 91 94 95 a 107 108 110 119 121 126 127 128 130 131 133 143 145 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 213 220 222 224 247 260 289 343 349 37 38 39 40 41 413 42 425 43 44 445 464 47 48 49 5 52 57 58 588 59 60 69 7 70 72 80 81 85 86 87 90 91 94 95 a 107 108 110 119 121 126 127 128 130 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 180 184 185 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 343 349 37 38 39 40 41 413 42 425 43 44 445 464 47 48 49 5 52 57 58 588 59 60 69 7 70 72 80 81 85 86 87 90 91 94 95 a 107 108 110 119 121 126 127 128 130 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 174 180 184 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 343 349 37 38 39 40 41 413 42 425 43 44 445 464 47 48 49 5 52 57 58 588 59 60 69 7 70 72 80 81 85 86 87 90 91 94 95 a 107 108 110 119 121 126 127 128 130 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 343 349 37 38 39 40 41 413 42 425 43 44 445 464 47 48 49 5 52 57 58 588 59 60 69 7 70 72 80 81 85 86 87 90 91 94 95 a 107 108 110 119 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 343 349 37 38 39 40 41 413 42 425 43 44 445 464 47 48 49 5 52 57 58 588 59 60 69 7 70 72 80 81 85 86 87 90 91 94 95 a 107 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 343 349 37 38 39 40 41 413 42 425 43 44 445 464 47 48 49 5 52 57 58 588 59 60 69 7 70 72 80 81 85 86 87 90 91 94 95 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 343 349 37 38 39 40 41 413 42 425 43 44 445 464 47 48 49 5 52 57 58 588 59 60 69 7 70 72 80 81 85 86 87 90 91 94 95 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 343 349 37 38 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 80 81 85 86 87 90 91 94 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 343 349 37 38 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 80 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 343 349 37 38 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 34 343 349 37 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 180 19 190 193 20 201 203 206 207 208 213 220 222 224 247 260 289 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 180 19 190 193 20 201 203 206 207 208 213 220 222 224 247 260 289 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 18 180 190 193 20 201 203 206 207 208 213 220 222 224 247 260 289 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 18 180 190 193 20 201 203 206 207 208 213 220 222 224 247 260 289 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 18 180 190 193 20 201 203 206 207 208 213 220 222 224 247 260 289 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 13 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 13 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 13 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 12 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 12 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 12 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 11 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 11 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 11 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 10 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 10 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 10 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 9 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 9 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 9 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 8 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 8 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 8 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 14 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 14 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 14 145 148 149 15 150 152 153 154 155 159 160 167 170 174 18 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 14 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 14 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 14 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 13 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 13 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 13 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 12 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 12 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 12 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 11 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 11 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 11 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 10 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 10 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 10 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 9 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 9 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 9 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 8 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 8 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 8 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 17 170 174 180 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 16 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 14 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 14 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 14 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 13 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 13 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 13 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 12 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 12 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 12 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 11 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 11 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 11 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 9 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 9 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 9 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 8 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 8 81 85 86 87 90 91 93 95 96 a 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 8 81 85 86 87 90 91 93 95 96 a 10 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 6 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 10 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 4 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 70 72 77 81 85 86 87 90 91 93 95 96 a 10 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 96 a 10 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 3 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 a 10 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 2 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 a 1 10 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 a 10 106 108 110 114 121 126 127 128 129 131 133 145 148 149 15 150 152 153 154 155 159 160 167 170 174 180 19 190 193 201 203 206 207 208 213 220 222 224 247 260 289 33 34 343 349 39 40 41 413 42 425 43 44 445 464 47 48 49 5 52 57 58 588 59 60 69 7 70 72 77 81 85 86 87 90 91 93 95 Command being timed: "python3 /SOLVER/longest/run.py submission sas split /BENCHMARKS/benchmark/color04/wap05a.col /BENCHMARKS/benchmark/color04/wap05a_01.dat" User time (seconds): 0.91 System time (seconds): 0.07 Percent of CPU this job got: 0% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:10:01 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 33412 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 21389 Voluntary context switches: 287 Involuntary context switches: 102 Swaps: 0 File system inputs: 848 File system outputs: 1512 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0