#BEGIN: [Fri Sep 1 03:23:07 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/wap05a.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/wap05a_02.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/color04/wap05a.col /benchmark/2022benchmark/benchmark/color04/wap05a_02.dat c /benchmark/2022benchmark/benchmark/color04/wap05a.col c /benchmark/2022benchmark/benchmark/color04/wap05a_02.dat s 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 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 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 182 190 193 197 203 206 207 213 220 222 224 247 294 313 328 349 357 435 445 464 588 686 a YES a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 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 a 5 7 16 19 37 38 39 40 41 42 43 44 47 48 49 51 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 a 5 7 16 19 37 38 39 40 41 42 43 44 47 48 49 51 57 58 59 60 69 70 72 80 81 85 86 87 90 91 93 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 a 5 7 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 93 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 a 5 7 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 66 69 70 72 80 81 85 86 87 90 91 93 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 a 5 7 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 66 69 70 72 73 81 85 86 87 90 91 93 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 a 5 7 19 37 38 39 40 41 42 43 44 47 48 49 51 57 58 59 60 66 69 70 72 73 81 85 86 87 90 91 93 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 a 5 7 16 19 37 38 39 40 41 42 43 44 47 48 49 51 57 58 59 60 66 69 70 72 81 85 86 87 90 91 93 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 a 5 7 16 19 37 38 39 40 41 42 43 44 47 48 49 52 57 58 59 60 66 69 70 72 81 85 86 87 90 91 93 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 a 5 7 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 66 69 70 72 78 81 85 86 87 90 91 93 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 a 5 7 16 19 37 38 39 40 41 42 43 44 47 48 49 51 57 58 59 60 66 69 70 72 78 81 85 86 87 90 91 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 a 5 7 16 19 37 38 39 40 41 42 43 44 47 48 49 51 58 59 60 66 69 70 72 78 81 85 86 87 90 91 93 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 a 5 7 16 19 37 38 39 40 41 42 43 44 47 48 49 51 57 58 59 60 66 69 70 72 78 81 85 86 87 90 91 93 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 213 220 222 224 247 310 343 349 445 464 553 a 5 7 16 19 37 38 39 40 41 42 43 44 47 48 49 51 57 58 59 60 69 70 72 78 81 85 86 87 90 91 93 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 a 5 7 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 78 81 85 86 87 90 91 93 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 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 a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 78 81 85 86 87 90 91 93 95 107 108 110 119 120 121 126 127 128 130 131 133 134 136 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 a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 81 85 86 87 90 91 93 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 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 a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 81 85 86 87 90 91 93 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 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 686 a 5 7 15 16 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 79 81 85 86 87 90 91 93 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 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 686 a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 79 81 85 86 87 90 91 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 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 686 a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 80 81 85 86 87 90 91 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 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 686 a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 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 136 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 343 349 445 464 686 a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 72 80 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 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 686 a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 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 136 143 145 148 149 150 152 153 154 155 159 160 167 180 185 190 193 201 203 206 207 213 220 222 224 247 310 343 349 445 464 686 a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 69 70 72 80 81 85 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 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 686 a 5 7 15 16 19 37 38 39 40 41 43 44 47 48 49 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 136 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 686 a 5 7 15 16 19 37 38 39 40 41 43 44 47 48 49 53 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 136 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 686 a 5 7 15 16 19 37 38 40 41 42 43 44 47 48 49 53 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 136 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 686 a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 53 58 59 60 69 70 72 80 81 85 86 87 90 91 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 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 686 a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 53 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 136 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 343 349 445 464 686 a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 53 58 59 60 69 70 72 80 81 85 86 87 90 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 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 343 349 445 464 588 686 a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 53 58 59 60 69 70 71 80 81 85 86 87 90 94 95 107 108 110 119 120 121 125 126 127 128 130 131 133 134 136 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 343 349 445 464 588 686 a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 53 58 59 60 69 70 71 80 81 85 86 87 90 94 95 107 108 110 119 120 121 125 126 127 128 129 131 133 134 136 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 343 349 445 464 588 686 a 5 7 15 16 19 37 38 39 40 41 42 43 44 47 48 49 53 58 59 60 69 70 71 73 81 85 86 87 90 94 95 107 108 110 119 120 121 125 126 127 128 129 131 133 134 136 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 343 349 445 464 588 686 a 5 7 16 19 37 38 39 40 41 42 43 44 47 48 49 53 58 59 60 66 69 70 71 73 81 85 86 87 90 94 95 107 108 110 119 120 121 125 126 127 128 129 131 133 134 136 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 343 349 445 464 588 686 a 5 7 16 19 37 38 39 40 41 42 43 44 47 49 53 58 59 60 66 69 70 71 73 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 129 131 133 134 136 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 343 349 445 464 588 686 a 5 7 16 19 37 38 39 40 41 42 43 44 47 48 49 53 58 59 60 66 69 70 71 73 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 129 131 133 134 136 143 145 148 149 150 152 153 154 155 159 160 167 180 185 190 193 201 203 206 207 213 220 222 224 247 343 349 445 464 588 686 a 5 7 16 19 37 38 39 40 41 42 43 44 47 48 49 53 58 59 60 66 69 70 71 73 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 129 131 133 134 136 143 145 148 149 150 152 153 154 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 343 349 445 464 588 686 a 5 16 19 37 38 39 40 41 42 43 44 47 48 49 53 58 59 60 66 69 70 71 73 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 129 131 133 134 136 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 343 349 445 464 588 686 a 5 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 66 69 70 71 73 81 85 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 129 131 133 134 136 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 343 349 445 464 588 686 a 5 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 66 69 70 71 73 81 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 129 131 133 134 136 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 294 343 349 445 464 588 686 a 5 16 19 37 38 39 40 41 42 43 44 47 48 49 57 58 59 60 66 69 70 71 73 81 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 129 131 133 134 136 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 294 343 349 435 445 464 588 686 a 5 16 19 29 38 39 40 41 42 43 44 47 48 49 57 58 59 60 66 69 70 71 73 81 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 129 131 133 134 136 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 294 343 349 435 445 464 588 686 a 5 16 19 29 38 39 40 41 42 43 44 47 48 49 57 58 59 60 66 69 70 71 73 81 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 129 131 132 134 136 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 294 343 349 435 445 464 588 686 a 4 5 16 19 29 38 39 40 41 42 43 44 47 48 49 58 59 60 66 69 70 71 73 81 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 129 131 132 134 136 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 294 343 349 435 445 464 588 686 a 4 5 16 19 29 38 39 40 41 42 43 44 47 48 49 53 58 59 60 66 69 70 71 81 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 129 131 132 134 136 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 294 343 349 435 445 464 588 686 a 4 5 16 19 29 38 39 40 41 42 43 44 47 48 49 53 58 59 60 66 69 70 71 80 81 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 129 131 132 134 136 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 247 294 343 349 435 445 464 588 686 a 4 5 16 19 29 38 39 40 41 42 43 44 47 48 49 53 58 59 60 66 69 70 71 80 81 86 87 90 91 94 95 107 108 110 119 120 121 125 126 127 128 129 131 132 134 136 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 294 349 435 445 464 588 686 a 4 5 16 19 29 38 39 40 41 42 43 44 47 48 49 53 58 59 60 66 69 70 71 80 81 86 87 90 91 94 95 107 108 110 119 120 121 123 126 127 128 129 131 132 134 136 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 294 349 435 445 464 588 686 a 4 16 19 29 38 39 40 41 42 43 44 47 48 49 53 58 59 60 66 69 70 71 80 81 86 87 90 91 94 95 99 107 108 110 119 120 121 123 126 127 128 129 131 132 134 136 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 294 349 435 445 464 588 686 a 4 16 19 29 38 39 40 41 42 43 44 47 48 49 53 58 59 60 66 69 70 71 80 81 86 87 90 91 94 95 107 108 110 119 120 121 123 126 127 128 129 131 132 134 136 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 294 343 349 435 445 464 588 686 a 4 19 29 38 39 40 41 42 43 44 47 48 49 53 58 59 60 66 69 70 71 80 81 86 87 90 91 94 95 99 107 108 110 119 120 121 123 126 127 128 129 131 132 134 136 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 294 343 349 435 445 464 588 686 a 4 16 19 29 38 39 40 41 42 43 44 47 48 49 53 58 59 60 66 69 70 71 80 81 86 87 90 91 94 95 99 107 108 110 119 120 121 123 126 127 128 129 131 132 134 136 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 294 343 349 435 445 464 588 686 a 4 16 19 29 38 39 40 41 42 43 44 48 49 53 58 59 60 66 69 70 71 80 81 86 87 90 91 94 95 99 107 108 110 119 120 121 123 126 127 128 129 131 132 134 136 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 294 343 349 435 445 464 476 588 686 a 4 16 19 29 38 39 40 41 42 43 44 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 94 95 99 107 108 110 119 120 121 123 126 127 128 129 131 132 134 136 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 201 203 206 207 213 220 222 224 294 343 349 435 445 464 476 588 686 a 4 16 19 29 38 39 40 41 42 43 44 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 94 95 99 107 108 110 119 120 121 123 126 127 128 129 131 132 134 136 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 197 201 203 206 207 213 220 222 224 294 349 435 445 464 476 588 686 a 4 16 19 29 38 39 40 41 42 43 44 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 94 95 99 107 108 109 119 120 121 123 126 127 128 129 131 132 134 136 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 197 201 203 206 207 213 220 222 224 294 349 435 445 464 476 588 686 a 4 16 19 29 38 39 40 41 42 43 44 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 94 95 99 107 109 119 120 121 123 126 127 128 129 131 132 134 136 145 148 149 150 152 153 154 155 159 160 167 180 184 185 190 193 197 201 203 206 207 213 220 222 224 294 328 349 435 445 464 476 588 686 a 4 16 19 29 38 39 40 41 42 43 44 45 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 94 95 99 107 109 119 120 121 123 126 127 128 129 131 132 134 136 145 148 149 150 152 153 154 155 159 160 167 180 184 190 193 197 201 203 206 207 213 220 222 224 294 328 349 435 445 464 476 588 686 a 4 16 19 29 38 39 40 41 42 43 44 45 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 94 95 99 107 109 119 120 121 123 126 127 128 129 131 132 134 136 145 148 149 150 152 153 154 155 159 160 167 180 184 190 193 197 201 203 206 213 220 222 224 294 304 328 349 435 445 464 476 588 686 a 4 16 19 29 38 39 40 41 42 43 44 45 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 119 120 121 123 126 127 128 129 131 132 134 136 145 148 149 150 152 153 154 155 159 160 167 180 184 190 193 197 201 203 206 213 220 222 224 294 304 328 349 435 445 464 476 588 686 a 4 16 19 29 38 39 40 41 42 43 44 45 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 119 120 121 123 126 127 128 129 131 132 134 136 144 148 149 150 152 153 154 155 159 160 167 180 184 190 193 197 201 203 206 213 220 222 224 294 304 328 349 435 445 464 476 588 686 a 4 16 19 29 38 39 40 41 42 43 44 45 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 119 120 121 123 126 127 128 129 131 132 134 136 144 148 149 150 152 153 154 155 159 160 167 180 184 190 193 197 201 203 206 213 220 222 224 247 294 304 328 349 435 445 464 588 686 a 4 8 19 29 38 39 40 41 42 43 44 45 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 119 120 121 123 126 127 128 129 131 132 134 136 144 148 149 150 152 153 154 155 159 160 167 180 184 190 193 197 201 203 206 213 220 222 224 247 294 304 328 349 435 445 464 588 686 a 4 8 19 29 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 119 120 121 123 126 127 128 129 131 132 134 136 144 148 149 150 152 153 154 155 159 160 167 180 184 190 193 197 201 203 206 213 220 222 224 247 294 304 328 349 435 445 464 588 686 a 4 8 19 29 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 131 132 134 136 144 148 149 150 152 153 154 155 159 160 167 180 184 190 193 197 201 203 206 213 220 222 224 247 294 304 328 349 435 445 464 588 686 a 4 8 19 29 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 131 132 134 136 144 148 149 150 152 153 154 155 159 160 167 180 184 190 193 197 201 203 206 207 213 220 222 224 247 294 328 349 435 445 464 588 686 a 4 8 19 29 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 131 132 134 136 144 148 149 152 153 154 155 159 160 167 180 184 190 193 197 201 203 206 207 213 220 222 224 247 294 328 349 357 435 445 464 588 686 a 4 8 19 29 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 131 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 190 193 197 201 203 206 207 213 220 222 224 247 294 328 349 357 435 445 464 588 686 a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 131 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 190 193 197 201 203 206 207 213 220 222 224 247 294 328 349 357 435 445 464 588 686 a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 131 132 134 136 144 148 149 152 153 154 155 159 167 180 181 190 193 197 201 203 206 207 213 220 222 224 247 294 308 328 349 357 435 445 464 588 686 a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 131 132 134 136 144 148 149 152 153 154 155 159 167 180 181 182 190 193 197 201 203 206 207 213 220 222 224 247 294 328 349 357 435 445 464 588 686 a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 131 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 182 190 193 197 201 203 206 207 213 220 222 224 247 294 328 349 357 435 445 464 588 686 a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 131 132 134 136 144 147 149 152 153 154 155 159 160 167 180 181 182 190 193 197 201 203 206 207 213 220 222 224 247 294 328 349 357 435 445 464 588 686 a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 131 132 134 136 144 147 149 152 153 154 155 159 167 180 181 182 190 193 197 201 203 206 207 213 220 222 224 247 294 308 328 349 357 435 445 464 588 686 a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 131 132 134 136 144 148 149 152 153 154 155 159 167 180 181 182 190 193 197 201 203 206 207 213 220 222 224 247 294 308 328 349 357 435 445 464 588 686 a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 131 132 134 136 144 148 149 152 153 155 159 167 180 181 182 190 193 197 201 203 206 207 213 220 222 224 247 294 308 328 349 357 435 445 464 588 686 a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 131 132 134 136 144 148 149 152 153 155 159 160 167 180 181 182 190 193 197 201 203 206 207 213 220 222 224 247 294 328 349 357 435 445 464 588 686 a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 131 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 182 190 193 197 203 206 207 213 220 222 224 247 294 328 349 357 435 445 464 588 686 a 4 8 19 37 38 39 40 41 42 43 44 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 131 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 182 190 193 197 201 203 206 207 213 220 222 224 247 294 328 349 357 435 445 464 588 686 a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 182 190 193 197 201 203 206 207 213 220 222 224 247 294 328 349 357 435 445 464 588 686 a 4 8 19 37 38 39 40 41 42 43 44 46 48 49 53 58 59 60 66 68 69 71 80 81 86 87 90 91 93 95 99 107 109 117 120 121 123 126 127 128 129 132 134 136 144 148 149 152 153 154 155 159 160 167 180 181 182 190 193 197 203 206 207 213 220 222 224 247 294 313 328 349 357 435 445 464 588 686 c Step: 81 #END: [Fri Sep 1 03:31:50 2023]