#BEGIN: [Tue Sep 5 00:54:31 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest1 #INSTANCE1: /benchmark/random_instance/random_instance012_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance012_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance012_graph002.col /benchmark/random_instance/random_instance012_graph002_01.dat c /benchmark/random_instance/random_instance012_graph002.col c /benchmark/random_instance/random_instance012_graph002_01.dat TIMEOUT 1800 c send SIGTERM to CID 2a6fc8dc0f0565a0ac057fde75b96a9cd0cafabd771af51e781443fd3fe701c5 s 51 39 42 152 34 40 75 47 66 56 154 10 76 98 93 44 17 48 126 92 14 141 144 67 82 46 15 99 58 150 4 73 101 148 83 142 61 52 62 106 43 147 74 87 22 30 118 63 129 124 57 29 105 t 37 148 107 137 130 141 22 91 25 45 110 95 86 63 122 99 55 43 96 146 57 75 59 66 105 6 47 71 64 13 7 35 94 19 74 125 103 58 152 127 53 44 39 111 48 121 78 4 65 9 68 73 52 a YES a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 82 83 87 92 93 98 99 101 105 106 118 124 126 129 141 142 144 147 148 150 152 154 a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 82 83 87 92 93 95 98 99 101 105 106 118 124 129 141 142 144 147 148 150 152 154 a 4 10 15 17 22 29 30 34 35 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 82 83 87 92 93 95 98 99 101 105 106 118 124 129 141 142 144 147 148 150 152 154 a 4 7 10 15 17 22 29 30 34 35 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 82 83 87 92 95 98 99 101 105 106 118 124 129 141 142 144 147 148 150 152 154 a 4 7 10 15 17 22 30 34 35 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 82 83 87 92 95 98 99 101 105 106 118 124 129 133 141 142 144 147 148 150 152 154 a 4 7 10 15 17 22 30 34 35 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 82 83 92 95 98 99 101 105 106 114 118 124 129 133 141 142 144 147 148 150 152 154 a 4 7 10 15 17 22 29 30 34 35 39 40 42 43 44 46 47 48 51 52 57 58 61 62 63 66 67 73 74 75 76 82 83 92 95 98 99 101 105 106 114 118 124 129 133 141 142 144 147 148 150 152 154 a 4 7 10 15 17 22 29 30 34 35 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 82 83 92 95 98 99 101 105 106 114 118 124 129 133 141 142 144 147 148 150 152 a 4 7 10 15 17 22 29 30 34 35 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 82 83 87 92 95 98 99 101 105 106 118 124 129 133 141 142 144 147 148 150 152 a 4 7 10 15 17 22 29 30 34 35 39 40 42 43 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 87 92 95 98 99 101 105 106 118 124 129 133 141 142 144 147 148 150 152 a 4 7 10 15 17 22 29 30 34 35 39 40 42 43 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 87 92 95 98 99 101 105 106 117 118 124 129 133 141 142 144 148 150 152 a 4 10 15 17 22 29 30 34 35 39 40 42 43 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 87 92 93 95 98 99 101 105 106 117 118 124 129 133 141 142 144 148 150 152 a 4 10 15 22 29 30 34 35 39 40 42 43 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 87 92 93 95 98 99 101 105 106 108 117 118 124 129 133 141 142 144 148 150 152 a 4 10 15 22 29 30 34 35 39 40 42 43 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 87 89 92 93 95 99 101 105 106 108 117 118 124 129 133 141 142 144 148 150 152 a 4 10 15 22 25 29 30 34 35 39 40 42 43 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 87 89 92 93 95 99 101 105 106 108 117 118 124 129 133 141 142 148 150 152 a 4 10 15 22 25 29 30 34 35 40 42 43 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 87 89 92 93 95 99 101 105 106 108 117 118 124 129 133 141 142 148 150 152 154 a 10 15 22 25 29 30 34 35 39 40 42 43 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 87 89 92 93 95 99 101 105 106 108 117 118 124 129 133 141 142 148 150 152 154 a 10 15 22 25 29 30 34 35 39 40 42 43 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 87 89 92 93 95 99 101 105 106 108 118 124 129 133 141 142 147 148 150 152 154 a 10 15 22 25 29 30 35 39 40 42 43 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 87 89 92 93 95 99 101 105 106 108 118 124 129 133 141 142 147 148 150 152 154 a 10 15 22 25 29 30 35 37 39 40 42 43 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 87 89 92 93 95 99 101 105 106 108 118 124 129 133 141 142 147 150 152 154 a 10 15 22 25 29 30 35 37 39 40 41 42 43 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 108 118 124 129 133 141 142 147 150 152 154 a 10 15 22 25 29 30 35 37 39 40 41 42 43 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 108 117 118 124 129 133 141 142 150 152 154 a 10 15 22 25 29 30 35 37 39 40 41 42 43 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 108 114 117 118 124 129 133 141 142 150 154 a 10 15 22 25 29 30 35 37 39 40 41 42 43 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 108 114 118 124 129 133 141 142 147 150 154 a 10 22 25 29 30 35 37 39 40 41 42 43 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 108 114 118 124 129 133 141 142 147 150 152 154 a 10 15 22 25 29 30 35 37 39 40 41 42 43 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 108 114 118 124 129 133 141 142 147 150 152 a 15 22 25 29 30 35 37 39 40 41 42 43 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 108 114 118 124 129 133 141 142 147 150 152 154 a 15 17 22 25 29 30 35 37 39 40 41 42 43 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 114 118 124 129 133 141 142 147 150 152 154 a 10 15 17 22 25 29 30 35 37 39 40 41 42 43 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 114 118 124 129 133 141 142 147 150 154 a 10 15 17 22 25 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 114 118 124 129 133 141 142 147 150 154 a 10 15 17 22 25 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 114 118 124 129 133 141 142 147 148 150 a 4 15 17 22 25 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 114 118 124 129 133 141 142 147 148 150 a 4 15 17 22 25 29 30 35 37 39 40 41 42 43 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 114 118 124 129 133 141 142 147 148 150 a 10 15 17 22 25 29 30 35 37 39 40 41 42 43 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 114 118 124 129 133 141 142 147 148 150 a 4 10 15 17 22 25 29 30 35 37 39 40 41 42 43 46 47 48 51 52 55 56 57 58 61 62 63 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 114 118 124 129 133 141 142 147 148 150 a 4 10 15 17 22 25 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 114 118 124 129 133 141 142 147 148 150 a 4 10 17 22 25 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 114 118 124 129 133 141 142 147 148 150 a 4 10 17 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 114 118 124 129 133 141 142 144 147 148 150 a 4 10 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 114 118 124 129 133 141 142 144 147 148 150 154 a 4 10 17 22 29 30 35 37 39 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 114 118 124 129 133 141 142 144 147 148 150 154 a 4 10 17 22 29 30 35 37 39 41 42 43 46 47 48 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 150 154 a 4 10 22 29 30 35 37 39 41 42 43 46 47 48 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 89 92 93 95 99 101 105 106 108 113 114 118 124 129 133 141 142 144 147 148 150 154 a 4 10 22 29 30 35 37 39 41 42 43 46 47 48 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 92 93 95 98 99 101 105 106 108 113 114 118 124 129 133 141 142 144 147 148 150 154 a 10 15 22 29 30 35 37 39 41 42 43 46 47 48 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 92 93 95 98 99 101 105 106 108 113 114 118 124 129 133 141 142 144 147 148 150 154 a 10 15 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 92 93 95 98 99 101 105 106 108 113 114 118 124 129 133 141 142 144 147 148 154 a 10 15 22 29 30 35 37 39 40 41 42 43 46 48 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 92 93 95 98 99 101 105 106 108 113 114 118 124 129 133 141 142 144 147 148 152 154 a 10 15 22 29 30 35 37 39 40 41 42 43 46 48 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 92 93 95 98 99 101 105 106 108 113 114 117 118 124 129 133 141 142 144 148 152 154 a 10 15 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 92 93 95 98 99 101 105 106 108 113 114 117 118 124 129 133 141 142 144 148 152 a 10 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 92 93 95 98 99 101 105 106 108 113 114 117 118 124 129 133 141 142 144 148 150 152 a 4 10 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 92 93 95 98 99 101 105 106 108 113 114 117 118 124 129 133 141 142 144 148 150 a 4 10 15 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 92 93 95 98 99 101 105 106 108 113 114 117 118 124 129 133 141 142 144 150 a 4 10 15 22 29 30 34 35 39 40 41 42 43 46 47 48 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 92 93 95 98 99 101 105 106 108 113 114 117 118 124 129 133 141 142 144 150 a 10 15 22 29 30 34 35 39 40 41 42 43 46 47 48 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 108 113 114 117 118 124 129 133 141 142 144 150 a 10 15 22 29 30 34 35 39 40 41 42 43 46 47 48 50 51 52 56 57 58 61 62 66 68 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 108 113 114 117 118 124 129 133 141 142 144 150 a 10 15 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 56 57 58 61 62 66 68 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 108 113 114 117 118 124 129 133 141 142 144 150 a 10 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 56 57 58 61 62 66 68 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 108 113 114 117 118 124 129 133 141 142 144 150 154 a 10 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 56 57 58 61 62 66 68 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 108 113 114 117 118 124 129 133 141 142 144 148 150 a 10 22 28 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 56 57 58 61 62 68 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 108 113 114 117 118 124 129 133 141 142 144 148 150 a 10 15 22 28 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 56 57 58 61 62 68 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 108 113 114 118 124 129 133 141 142 144 148 150 a 15 22 28 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 56 57 58 61 62 68 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 108 113 114 118 124 129 133 141 142 144 147 148 150 a 10 15 22 28 29 30 35 37 39 40 42 43 46 47 48 50 51 52 56 57 58 61 62 68 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 108 113 114 118 124 129 133 141 142 144 147 148 150 a 10 12 15 22 28 29 30 35 37 39 40 42 43 46 47 50 51 52 56 57 58 61 62 68 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 108 113 114 118 124 129 133 141 142 144 147 148 150 a 10 12 15 17 22 28 29 30 35 37 39 40 42 43 46 47 50 51 52 56 57 58 61 62 68 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 150 a 10 12 15 17 22 28 29 30 35 37 39 40 42 43 46 47 50 51 52 56 57 58 61 62 68 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 154 a 10 12 15 17 22 28 29 30 35 37 39 40 42 43 46 47 50 51 52 56 57 58 61 62 68 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 144 147 148 150 154 a 10 12 15 17 22 28 29 35 37 39 40 42 43 46 47 50 51 52 56 57 58 61 62 68 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 150 154 a 10 12 15 17 22 28 29 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 68 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 154 a 10 12 15 17 22 28 29 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 68 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 117 118 124 129 133 141 142 144 148 154 a 10 12 15 17 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 68 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 117 118 124 129 133 141 142 144 148 154 a 10 12 15 17 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 67 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 117 118 124 129 133 141 142 144 148 154 a 10 12 15 17 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 117 118 124 129 133 141 142 144 148 a 10 12 15 17 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 a 10 12 15 17 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 152 a 10 12 15 17 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 147 148 152 154 a 10 12 15 17 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 74 75 76 79 82 83 92 93 95 97 98 99 101 105 113 114 118 124 129 133 141 142 144 147 148 152 154 a 10 12 15 17 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 74 75 76 79 82 83 92 93 95 97 98 99 101 105 113 114 118 124 129 133 141 142 144 147 148 150 154 a 10 12 15 17 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 154 a 12 15 17 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 154 a 12 15 17 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 150 154 a 12 15 17 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 150 a 12 15 17 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 148 150 154 a 15 17 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 150 154 a 15 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 150 152 154 a 12 15 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 150 154 a 12 17 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 150 154 a 12 15 17 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 142 144 147 148 150 154 a 12 15 17 22 28 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 58 61 62 67 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 150 154 a 12 15 17 22 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 73 74 75 76 79 82 83 92 93 95 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 150 154 a 12 15 17 22 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 150 154 a 12 15 17 22 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 154 a 12 15 17 22 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 113 114 118 124 129 133 141 142 144 147 148 150 154 a 12 15 17 22 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 150 a 10 12 15 17 22 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 113 114 118 124 129 133 141 144 147 148 150 a 10 12 15 17 22 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 a 10 12 15 22 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 152 a 10 12 15 22 29 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 148 150 152 a 10 12 15 22 29 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 108 113 114 118 124 129 133 142 144 147 148 150 152 a 10 12 22 29 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 108 113 114 118 124 129 133 141 142 144 147 148 150 152 a 10 22 29 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 108 113 114 118 124 129 133 141 142 144 147 148 150 152 154 a 10 22 29 30 35 37 39 40 41 42 43 46 47 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 108 113 114 118 124 129 133 141 142 144 147 150 152 154 a 10 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 113 114 118 124 129 133 141 142 144 147 150 152 154 a 10 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 114 118 124 129 133 141 142 144 147 150 152 154 a 10 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 114 118 124 129 133 141 142 144 147 148 152 154 a 10 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 114 118 124 129 141 142 144 147 148 150 152 154 a 10 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 108 114 118 124 129 141 142 144 147 148 150 152 154 a 10 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 108 114 118 124 129 133 141 142 144 147 148 150 152 a 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 108 114 118 124 129 133 141 142 144 147 148 150 152 a 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 98 99 101 105 106 108 114 118 124 129 133 141 142 144 147 148 150 152 154 a 10 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 98 99 101 105 106 108 114 118 124 129 133 141 142 144 147 148 150 152 154 a 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 108 114 118 124 129 133 141 142 144 147 148 150 152 154 a 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 108 114 118 124 129 133 141 142 144 147 148 150 152 154 a 22 29 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 108 114 118 124 129 133 141 142 144 147 148 150 152 154 a 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 108 114 118 124 129 133 141 142 144 147 148 150 152 154 a 10 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 108 114 118 124 133 141 142 144 147 148 150 152 154 a 10 15 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 106 108 114 118 124 133 141 142 144 147 148 150 152 154 a 15 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 106 108 114 118 124 129 133 141 142 144 147 148 150 152 154 a 15 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 108 114 118 124 129 133 141 142 144 147 148 150 152 154 a 15 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 108 114 124 129 133 141 142 144 146 147 148 150 152 154 a 10 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 108 114 124 129 133 141 142 144 146 147 148 150 152 154 a 10 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 96 97 98 99 101 106 108 114 124 129 133 141 142 144 146 147 148 150 152 154 a 10 22 29 30 35 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 106 108 114 124 129 133 141 142 144 146 147 148 150 152 154 a 10 22 29 30 35 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 108 114 124 129 133 141 142 144 146 147 148 150 154 a 10 17 22 29 30 35 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 114 124 129 133 141 142 144 146 147 148 150 154 a 10 15 17 22 29 30 35 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 114 124 129 133 141 142 144 146 147 148 154 a 10 15 17 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 114 124 129 133 141 142 144 146 147 148 a 9 10 15 17 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 114 124 129 133 141 142 144 146 147 a 10 15 17 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 114 124 129 133 141 142 144 146 147 154 a 10 15 17 27 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 114 124 129 133 141 142 144 146 147 154 a 10 15 17 27 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 114 118 124 129 133 141 142 144 147 154 a 10 15 17 22 29 30 35 37 39 40 41 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 105 106 114 118 124 129 133 141 142 144 147 154 a 10 15 17 22 29 30 35 37 39 40 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 103 105 106 114 118 124 129 133 141 142 144 147 154 a 10 15 17 22 29 30 35 37 39 40 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 79 82 83 93 95 96 97 98 99 101 103 105 106 114 118 124 129 133 141 142 144 147 148 a 10 15 17 22 29 30 35 37 39 40 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 78 79 82 83 93 95 96 97 98 99 101 103 105 106 118 124 129 133 141 142 144 147 148 a 9 10 15 17 22 30 35 37 39 40 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 78 79 82 83 93 95 96 97 98 99 101 103 105 106 118 124 129 133 141 142 144 147 148 a 9 10 15 22 29 30 35 37 39 40 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 78 79 82 83 93 95 96 97 98 99 101 103 105 106 118 124 129 133 141 142 144 147 148 a 9 10 15 22 29 30 35 37 39 40 42 43 46 47 48 50 51 52 55 56 57 58 61 62 66 67 73 74 75 76 78 79 82 83 87 93 95 96 98 99 101 103 105 106 118 124 129 133 141 142 144 147 148 a 9 10 15 22 29 30 35 37 39 40 42 43 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 78 79 82 83 87 93 95 96 98 99 101 103 105 106 118 124 129 133 141 142 144 147 148 a 9 10 15 22 29 30 35 37 39 40 42 43 44 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 95 96 98 99 101 103 105 106 118 124 129 133 141 142 144 147 148 a 9 10 15 17 22 29 30 35 37 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 95 96 98 99 101 103 105 106 118 124 129 133 141 142 144 147 148 a 9 10 15 17 22 29 30 35 37 39 40 42 43 44 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 95 96 98 99 101 103 105 106 118 124 127 129 133 141 142 144 147 148 a 9 10 15 17 22 29 30 35 37 39 40 42 43 44 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 124 127 129 133 141 142 144 147 148 152 a 9 10 15 17 22 29 30 35 37 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 124 129 133 141 142 144 147 148 152 a 9 15 17 22 29 30 35 37 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 95 96 98 99 101 103 105 106 118 124 129 133 141 142 144 147 148 152 a 9 15 22 29 30 35 37 39 40 42 43 44 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 95 96 98 99 101 103 105 106 118 124 129 133 141 142 144 147 148 152 a 9 15 22 29 30 35 37 39 42 43 44 46 47 48 51 52 55 56 57 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 95 96 98 99 101 103 105 106 118 120 124 129 133 141 142 144 147 148 152 a 9 15 22 29 30 35 37 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 95 96 98 99 101 103 105 106 118 120 123 124 129 133 141 142 144 147 148 152 a 9 15 22 29 30 35 37 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 141 142 144 147 148 152 a 9 15 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 147 148 152 a 9 10 15 22 29 30 35 37 38 39 42 43 44 46 47 48 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 147 148 152 a 9 10 15 22 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 147 148 152 a 9 10 15 22 29 30 35 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 147 148 152 a 9 10 15 22 29 30 35 37 38 39 42 43 44 46 47 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 147 148 152 a 9 10 15 17 22 29 30 35 37 38 39 42 43 44 46 47 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 147 148 a 9 10 15 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 147 148 a 9 10 15 17 27 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 147 148 a 5 9 10 15 17 27 29 30 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 147 148 a 5 9 10 15 17 27 30 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 147 148 a 5 9 10 15 17 27 29 30 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 147 a 5 9 10 15 17 27 29 30 37 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 147 152 a 5 9 10 15 17 27 29 30 37 39 42 43 44 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 127 129 133 142 144 147 152 a 5 9 10 15 17 27 29 30 37 38 39 42 43 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 127 129 133 142 144 147 152 a 4 5 9 10 15 17 29 30 37 38 39 42 43 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 127 129 133 142 144 147 152 a 4 9 10 15 17 29 30 37 38 39 42 43 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 79 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 127 129 133 142 144 147 152 a 4 5 9 10 15 17 29 30 37 38 39 42 43 47 48 51 52 55 56 58 61 62 63 66 67 73 75 76 78 79 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 127 129 133 142 144 147 152 a 4 5 9 10 15 17 29 30 37 38 39 42 43 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 79 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 127 129 133 142 144 152 a 4 5 9 10 15 17 29 30 37 38 39 42 43 46 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 79 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 152 a 4 5 9 10 15 17 29 30 35 37 38 39 42 43 46 47 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 152 a 4 5 9 10 15 17 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 152 a 5 9 10 15 17 27 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 152 a 5 9 10 15 17 27 29 30 35 37 38 39 42 43 44 46 48 51 52 55 56 58 61 62 63 66 67 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 152 a 5 9 10 15 17 27 29 30 35 37 38 39 42 43 44 46 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 152 a 5 9 10 15 17 27 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 144 152 a 5 9 10 17 27 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 144 147 152 a 5 9 10 17 27 29 30 35 37 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 147 152 a 5 9 10 15 17 27 29 30 35 37 39 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 147 152 a 5 9 10 15 17 27 29 30 35 37 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 147 152 a 5 9 10 15 17 27 29 30 35 37 39 42 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 147 152 155 a 5 9 10 15 17 27 29 30 35 37 39 42 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 144 147 152 155 a 5 9 10 15 17 22 29 30 35 37 39 42 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 144 147 152 155 a 5 9 10 15 17 22 29 30 35 37 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 144 147 152 a 5 9 10 15 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 144 147 a 9 10 15 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 126 129 133 142 144 147 a 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 129 133 142 144 147 a 5 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 129 142 144 147 a 1 5 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 96 98 99 101 103 105 106 118 120 123 124 129 142 147 a 1 5 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 95 96 98 101 103 105 106 118 120 123 124 129 142 147 a 1 5 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 76 78 82 83 87 93 95 96 98 101 103 105 106 118 120 123 124 129 133 142 a 1 5 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 78 82 83 87 93 95 96 98 101 103 105 106 118 120 123 124 129 133 134 142 a 1 5 7 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 78 82 83 87 95 96 98 101 103 105 106 118 120 123 124 129 133 134 142 a 1 5 7 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 78 82 83 87 95 96 98 99 101 103 105 106 118 120 123 124 129 133 134 a 1 5 7 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 78 82 83 87 95 96 98 99 101 103 105 106 118 120 123 124 129 133 147 a 1 5 7 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 78 82 83 85 87 95 96 98 99 101 103 106 118 120 123 124 129 133 147 a 1 5 7 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 78 82 83 85 87 95 96 98 99 101 103 106 118 120 123 124 129 134 147 a 1 5 7 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 78 82 83 85 87 95 96 98 99 101 103 106 118 120 123 124 129 142 147 a 1 5 7 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 78 82 83 85 87 95 96 98 99 101 103 106 118 120 123 124 129 133 142 a 1 5 7 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 61 62 63 66 68 73 74 75 78 82 83 87 95 96 98 99 101 103 106 118 120 123 124 129 133 134 142 a 1 5 7 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 55 56 58 59 61 62 63 66 68 73 74 75 78 82 83 95 96 98 99 101 103 106 118 120 123 124 129 133 134 142 a 1 5 7 9 10 15 16 17 22 29 30 35 37 39 42 43 44 46 47 48 51 52 55 56 58 59 61 62 63 66 68 73 74 75 78 82 83 85 95 96 98 99 101 103 106 118 120 123 124 129 133 134 142 a 5 7 9 10 15 16 17 22 29 30 35 37 39 42 43 44 46 47 48 51 52 55 56 58 59 61 62 63 66 68 73 74 75 78 82 83 85 95 96 98 99 101 103 106 118 120 123 124 129 133 134 142 144 a 5 7 9 10 15 16 17 22 29 30 35 37 39 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 73 74 75 78 82 83 85 95 96 98 99 101 103 106 113 118 120 123 124 129 133 134 142 144 a 5 7 9 10 15 16 17 22 29 30 35 37 39 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 73 74 75 76 78 82 83 85 95 96 98 99 101 103 106 113 118 120 123 124 129 133 142 144 a 5 7 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 73 74 75 76 78 82 83 85 95 96 98 99 101 103 106 113 118 120 123 124 129 133 142 a 5 7 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 73 74 75 76 78 82 83 85 95 96 98 99 103 106 113 118 120 123 124 129 133 142 144 a 5 6 7 9 10 15 16 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 73 74 75 76 78 82 83 85 95 96 98 99 103 106 113 118 120 123 124 129 133 142 144 a 5 6 7 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 73 74 75 76 78 82 83 95 96 98 99 103 106 113 118 120 123 124 129 133 142 144 a 5 6 7 9 10 15 16 17 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 56 58 59 61 62 63 66 68 73 74 75 76 78 82 85 95 96 98 99 103 106 113 118 120 123 124 129 133 142 144 a 5 6 7 9 10 15 16 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 56 58 59 61 62 63 65 66 68 73 74 75 76 78 82 85 95 96 98 99 103 106 113 118 120 123 124 129 133 142 144 a 4 5 6 7 9 10 15 16 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 56 58 59 61 62 63 65 66 68 73 74 75 76 78 82 85 95 96 98 99 103 113 118 120 123 124 129 133 142 144 a 4 5 6 7 9 10 15 16 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 56 58 59 61 62 63 65 66 68 73 74 75 76 78 82 85 95 96 99 103 113 118 120 123 124 125 129 133 142 144 a 4 5 6 7 9 10 15 16 22 29 30 35 37 38 39 42 43 44 46 47 48 51 52 56 57 58 59 61 62 63 65 66 68 73 74 75 76 78 82 85 95 96 99 103 113 118 120 124 125 129 133 142 144 a 4 5 6 7 9 10 15 16 22 29 30 35 37 38 39 42 43 44 47 48 51 52 56 57 58 59 61 62 63 65 66 68 73 74 75 76 78 82 85 95 96 99 103 113 118 120 124 125 127 129 133 142 144 a 4 5 6 7 9 10 15 16 22 29 30 35 37 38 39 42 43 44 47 48 51 52 56 57 58 59 61 62 63 65 66 68 71 73 74 75 76 78 82 85 95 96 99 103 113 118 124 125 127 129 133 142 144 a 4 5 6 7 9 10 15 16 22 29 30 35 37 38 39 42 43 44 47 48 51 52 56 57 58 59 62 63 65 66 68 71 73 74 75 76 78 82 85 95 96 99 103 107 113 118 124 125 127 129 133 142 144 a 4 5 6 7 9 10 15 16 22 25 29 30 35 37 38 39 42 43 44 47 48 51 52 56 57 58 59 62 63 65 66 68 71 73 74 75 76 78 82 85 95 96 99 103 107 113 118 124 125 127 129 133 142 a 4 5 6 7 9 10 15 16 22 25 29 30 35 37 38 39 42 43 44 47 48 51 52 55 56 57 58 59 62 63 65 66 68 71 73 74 75 76 78 82 85 95 96 99 103 107 118 124 125 127 129 133 142 a 4 5 6 7 9 10 15 16 22 25 29 30 35 37 38 39 43 44 47 48 51 52 55 56 57 58 59 62 63 65 66 68 71 73 74 75 76 78 82 85 95 96 99 103 107 118 124 125 127 129 133 142 148 a 4 5 6 7 9 10 15 16 22 25 29 35 37 38 39 43 44 47 48 51 52 55 56 57 58 59 62 63 65 66 68 71 73 74 75 76 78 82 85 95 96 99 103 107 118 124 125 127 129 133 137 142 148 a 4 5 6 7 9 10 15 16 22 25 29 35 37 38 39 43 44 47 48 52 55 56 57 58 59 62 63 65 66 68 71 73 74 75 76 78 82 85 95 96 99 103 107 118 122 124 125 127 129 133 137 142 148 a 4 5 6 7 9 10 15 16 22 25 29 35 37 38 39 43 44 47 48 52 55 56 57 58 59 62 63 65 66 68 71 73 74 75 76 78 82 85 95 96 99 103 107 122 124 125 127 129 133 137 142 146 148 a 4 5 6 7 9 10 15 16 22 25 35 37 38 39 43 44 47 48 52 55 56 57 58 59 62 63 64 65 66 68 71 73 74 75 76 78 82 85 95 96 99 103 107 122 124 125 127 129 133 137 142 146 148 a 4 5 6 7 9 10 15 16 22 25 35 37 38 39 43 44 47 48 52 55 56 57 58 59 62 63 64 65 66 68 71 73 74 75 76 78 82 95 96 99 103 105 107 122 124 125 127 129 133 137 142 146 148 a 4 5 6 7 9 10 15 22 25 35 37 38 39 43 44 47 48 52 55 56 57 58 59 62 63 64 65 66 68 71 73 74 75 76 78 82 95 96 99 103 105 107 122 124 125 127 129 133 137 142 146 148 152 a 4 5 6 7 9 10 15 22 25 35 37 38 39 43 44 47 48 52 55 57 58 59 62 63 64 65 66 68 71 73 74 75 76 78 82 95 96 99 103 105 107 110 122 124 125 127 129 133 137 142 146 148 152 a 4 5 6 7 9 10 15 22 25 35 37 39 43 44 47 48 52 55 57 58 59 62 63 64 65 66 68 71 73 74 75 76 78 82 95 96 99 103 105 107 110 122 124 125 127 129 133 137 141 142 146 148 152 a 4 5 6 7 9 10 15 19 22 25 35 37 39 43 44 47 48 52 55 57 58 59 62 63 64 65 66 68 71 73 74 75 76 78 82 95 96 99 103 105 107 110 122 124 125 127 129 133 137 141 146 148 152 a 4 5 6 7 9 10 15 19 22 25 35 37 39 43 44 47 48 52 55 57 58 59 62 63 64 65 66 68 71 73 74 75 76 78 82 94 95 96 99 103 105 107 110 122 125 127 129 133 137 141 146 148 152 a 4 5 6 7 9 10 15 19 22 25 35 37 39 43 44 45 47 48 52 55 57 58 59 62 63 64 65 66 68 71 73 74 75 76 78 82 94 95 96 99 103 105 107 110 122 125 127 133 137 141 146 148 152 a 4 5 6 7 9 10 13 19 22 25 35 37 39 43 44 45 47 48 52 55 57 58 59 62 63 64 65 66 68 71 73 74 75 76 78 82 94 95 96 99 103 105 107 110 122 125 127 133 137 141 146 148 152 a 4 5 6 7 9 10 13 19 22 25 35 37 39 43 44 45 47 48 52 55 57 58 59 62 63 64 65 66 68 71 73 74 75 76 78 86 94 95 96 99 103 105 107 110 122 125 127 133 137 141 146 148 152 a 4 5 6 7 9 10 13 19 22 25 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 64 65 66 68 71 73 74 75 76 78 86 94 95 96 99 103 105 107 110 122 125 127 133 137 141 146 148 152 a 4 5 6 7 9 10 13 19 22 25 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 64 65 66 68 71 73 74 75 76 78 86 94 95 96 99 103 105 107 110 122 125 127 130 137 141 146 148 152 a 4 6 7 9 10 13 19 22 25 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 64 65 66 68 71 73 74 75 76 78 86 94 95 96 99 103 105 107 110 111 122 125 127 130 137 141 146 148 152 a 4 6 7 9 10 13 19 22 25 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 64 65 66 68 71 73 74 75 78 86 94 95 96 99 103 105 107 110 111 121 122 125 127 130 137 141 146 148 152 a 4 6 7 9 13 19 22 25 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 64 65 66 68 71 73 74 75 78 86 91 94 95 96 99 103 105 107 110 111 121 122 125 127 130 137 141 146 148 152 c Step: 233 #END: [Tue Sep 5 01:24:32 2023]