#BEGIN: [Tue Sep  5 01:24:18 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance014_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance014_graph003_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_instance014_graph003.col /benchmark/random_instance/random_instance014_graph003_01.dat
c /benchmark/random_instance/random_instance014_graph003.col
c /benchmark/random_instance/random_instance014_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID 3c81f7a96cc5969e03969bf06cb13ac57329079e295478accb4d68ea16b90ecd
s 157 71 68 84 145 106 95 148 51 47 144 176 67 127 113 15 120 37 94 115 105 80 69 49 149 129 171 98 178 16 40 21 88 75 143 6 136 43 126 66 89 18 153 96 173 119 61 150 24 158 134 58 91 26 14 130 142 42 133 63 59
t 95 110 77 91 113 169 85 151 59 12 166 7 112 156 179 20 11 18 158 140 106 171 89 121 108 14 97 175 61 42 126 81 16 71 170 62 10 124 109 102 129 17 177 144 125 119 66 149 40 53 130 19 15 127 63 147 6 82 78 67 176
a YES
a 6 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 171 173 176 178
a 6 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 68 69 71 75 80 84 85 88 89 91 95 96 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 171 173 176 178
a 6 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 64 66 67 68 69 71 75 80 84 85 88 89 91 95 96 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 173 176 178
a 6 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 64 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 173 176 178
a 6 11 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 64 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 148 149 150 153 157 158 173 176 178
a 6 11 12 14 15 16 18 21 24 26 37 40 42 43 47 49 51 59 61 63 64 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 148 149 150 153 157 158 173 176 178
a 6 11 12 14 15 16 18 21 22 24 26 37 40 42 43 47 49 51 59 61 63 64 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 148 149 150 153 157 158 173 176 178
a 6 11 12 14 15 16 18 21 22 24 26 37 40 42 43 47 49 51 59 61 63 64 67 68 69 71 75 80 84 88 89 91 94 95 96 98 106 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 153 157 158 173 176 178
a 6 11 12 14 15 16 18 21 22 24 26 37 40 42 43 47 49 51 59 61 63 64 67 68 69 71 75 80 84 88 89 91 94 95 96 106 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 153 157 158 173 176 178
a 6 11 12 14 15 16 18 21 22 24 26 37 40 42 43 47 49 51 59 61 63 64 67 68 69 71 75 80 84 88 89 91 94 95 96 106 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 153 157 158 172 173 178
a 6 11 12 14 15 16 18 21 22 24 26 37 40 42 43 47 49 51 59 61 63 64 67 68 69 71 75 80 84 88 89 91 94 95 96 106 110 113 115 119 120 121 126 127 129 130 133 134 136 139 142 143 144 149 150 153 157 158 172 173 178
a 6 11 12 14 15 16 18 21 22 24 26 37 40 42 43 47 49 51 59 63 64 67 68 69 71 75 80 82 84 88 89 91 94 95 96 106 110 113 115 119 120 121 126 127 129 130 133 134 136 139 142 143 144 149 150 153 157 158 172 173 178
a 6 11 14 15 16 18 21 22 24 26 37 40 42 43 47 49 50 51 59 63 64 67 68 69 71 75 80 82 84 88 89 91 94 95 96 106 110 113 115 119 120 121 126 127 129 130 133 134 136 139 142 143 144 149 150 153 157 158 172 173 178
a 6 11 14 15 16 18 21 22 24 26 37 40 42 43 47 49 50 51 59 63 64 67 68 69 71 75 80 82 84 88 89 91 94 95 96 106 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 153 157 158 172 173 178
a 6 11 14 15 16 18 21 22 24 26 30 37 40 42 43 47 49 50 51 59 63 64 67 68 69 71 75 80 82 84 88 89 91 94 96 106 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 153 157 158 172 173 178
a 6 11 14 16 18 21 22 24 26 30 37 40 42 43 47 49 50 51 59 61 63 64 67 68 69 71 75 80 82 84 88 89 91 94 96 106 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 153 157 158 172 173 178
a 6 11 14 16 18 21 22 24 26 27 30 37 40 42 43 47 49 50 51 59 61 64 67 68 69 71 75 80 82 84 88 89 91 94 96 106 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 153 157 158 172 173 178
a 6 11 14 16 18 21 22 24 26 27 30 37 40 42 43 47 49 50 51 59 61 64 67 69 71 75 80 82 84 88 89 91 94 96 106 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 151 153 157 158 172 173 178
a 6 11 14 16 18 21 22 24 26 27 30 37 40 42 43 47 49 50 51 59 61 64 65 67 69 71 75 80 82 84 88 89 91 94 96 106 110 113 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 151 153 157 158 172 173 178
a 6 11 14 16 18 21 22 24 26 27 30 37 40 42 43 47 49 50 51 59 61 64 65 67 69 71 75 80 82 84 88 89 91 94 96 106 110 113 119 120 121 126 127 129 130 133 134 136 139 142 143 144 149 150 151 153 157 158 172 173 178
a 6 11 14 16 18 21 22 24 26 27 30 37 40 42 43 47 49 50 59 61 64 65 67 69 71 75 80 82 84 88 89 91 94 96 103 106 110 113 119 120 121 126 127 129 130 133 134 136 139 142 143 144 149 150 151 153 157 158 172 173 178
a 6 11 14 16 18 21 22 24 26 27 30 37 40 42 43 47 49 50 59 61 64 65 67 69 71 75 76 80 82 84 88 89 91 94 96 103 106 110 113 119 120 121 126 127 129 130 133 134 136 139 142 143 144 150 151 153 157 158 172 173 178
a 6 11 14 16 18 21 22 24 26 27 37 40 42 43 47 49 50 59 61 64 65 67 69 71 75 76 80 82 84 88 89 91 94 95 96 103 106 110 113 119 120 121 126 127 129 130 133 134 136 139 142 143 144 150 151 153 157 158 172 173 178
a 6 14 15 16 18 21 22 24 26 27 37 40 42 43 47 49 50 59 61 64 65 67 69 71 75 76 80 82 84 88 89 91 94 95 96 103 106 110 113 119 120 121 126 127 129 130 133 134 136 139 142 143 144 150 151 153 157 158 172 173 178
a 6 14 15 16 18 21 22 24 26 27 37 40 42 43 47 49 50 59 61 64 65 67 68 69 71 75 76 80 82 84 88 89 91 94 95 96 103 106 110 113 119 120 121 126 127 129 130 133 134 136 139 142 143 144 150 153 157 158 172 173 178
a 6 12 14 15 16 18 21 22 24 26 27 37 40 42 43 47 49 59 61 64 65 67 68 69 71 75 76 80 82 84 88 89 91 94 95 96 103 106 110 113 119 120 121 126 127 129 130 133 134 136 139 142 143 144 150 153 157 158 172 173 178
a 6 12 14 15 16 18 21 22 24 26 37 40 42 43 47 49 59 61 63 64 65 67 68 69 71 75 76 80 82 84 88 89 91 94 95 96 103 106 110 113 119 120 121 126 127 129 130 133 134 136 139 142 143 144 150 153 157 158 172 173 178
a 6 12 14 15 16 18 21 22 24 26 37 40 42 43 47 49 59 61 63 64 65 67 68 69 71 75 76 80 82 84 88 89 91 94 95 96 103 106 110 113 119 120 126 127 129 130 133 134 136 139 142 143 144 148 150 153 157 158 172 173 178
a 6 12 14 15 16 18 21 22 24 26 27 37 40 42 43 47 49 59 61 64 65 67 68 69 71 75 76 80 82 84 88 89 91 94 95 96 103 106 110 113 119 120 126 127 129 130 133 134 136 139 142 143 144 148 150 153 157 158 172 173 178
a 6 12 14 15 16 18 21 22 24 26 27 37 40 42 43 47 49 59 61 64 65 67 68 69 71 75 76 78 80 82 84 88 89 91 94 95 96 103 106 110 113 119 120 126 127 129 130 133 134 136 139 142 143 144 148 150 153 158 172 173 178
a 6 12 14 15 16 18 21 22 24 26 27 37 40 42 43 47 49 59 61 64 65 67 68 69 71 75 76 78 80 82 84 88 89 91 94 95 96 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 153 158 173 178
a 6 12 14 15 16 18 21 22 24 26 27 37 40 42 43 47 49 59 61 64 65 67 68 69 71 75 76 78 80 82 84 88 89 91 94 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 173 178
a 6 12 14 15 16 18 22 24 26 27 37 40 42 43 46 47 49 59 61 64 65 67 68 69 71 75 76 78 80 82 84 88 89 91 94 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 173 178
a 6 12 14 15 16 18 22 24 26 27 37 40 42 43 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 88 89 91 94 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 173
a 6 12 14 15 16 18 22 24 26 27 37 40 42 43 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 88 89 91 94 95 96 100 103 106 110 113 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 173 178
a 6 12 14 15 16 18 22 24 26 37 40 42 43 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 88 89 91 94 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 173 178
a 6 11 12 14 15 16 18 22 24 26 37 40 42 43 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 88 89 91 94 95 96 100 103 106 110 113 119 120 126 127 129 133 134 136 139 141 142 143 144 148 150 158 173 178
a 6 11 12 14 15 16 18 20 22 24 26 37 40 42 43 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 133 134 136 139 141 142 143 144 148 150 158 173 178
a 11 12 14 15 16 18 20 22 24 26 37 40 42 43 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 173 178
a 11 12 14 15 16 18 20 21 22 24 26 37 40 42 43 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 173 178
a 12 14 15 16 18 20 21 22 24 26 37 40 42 43 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 173 178
a 12 14 15 16 18 20 21 22 24 26 37 40 42 43 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 173
a 11 12 14 15 16 18 20 21 22 24 26 37 40 42 43 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 141 142 143 144 148 150 158 173
a 11 12 14 15 16 18 20 22 24 26 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 141 142 143 144 148 150 158 173
a 11 12 14 15 16 18 20 22 24 26 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158
a 6 11 14 15 16 18 20 22 24 26 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158
a 6 11 12 14 15 16 18 20 22 24 26 37 40 42 43 46 47 49 59 61 62 63 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158
a 6 11 12 14 15 16 18 20 22 24 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158
a 6 11 12 14 15 16 18 20 22 24 26 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 158
a 6 11 12 14 15 16 18 20 22 24 26 27 37 40 42 43 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 158
a 6 11 12 14 15 16 18 20 22 24 26 27 37 40 42 43 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 142 143 144 148 150 158
a 11 12 14 15 16 18 20 22 24 26 27 37 40 42 43 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158
a 11 12 14 15 16 18 22 24 26 27 37 40 42 43 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 172
a 11 12 15 16 18 20 22 24 26 27 37 40 42 43 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 172
a 11 12 15 16 18 20 22 24 26 27 40 42 43 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 172
a 11 12 16 18 20 22 24 26 27 37 40 42 43 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 172
a 11 12 16 18 20 22 24 26 27 37 40 42 43 45 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 104 106 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 172
a 11 12 15 16 18 20 22 24 26 27 37 40 42 43 45 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 104 106 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 172
a 11 12 15 16 18 20 22 24 26 27 37 40 42 43 45 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 172
a 12 14 15 16 18 20 22 24 26 27 37 40 42 43 45 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 172
a 6 14 15 16 18 20 22 24 26 27 37 40 42 43 45 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 172
a 6 12 14 15 16 18 20 22 24 26 27 37 40 42 43 45 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 113 119 120 126 127 129 130 133 134 136 139 141 142 144 148 150 158 172
a 6 12 14 15 16 18 20 22 24 26 27 37 40 42 43 45 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 113 119 120 126 127 129 133 134 136 139 141 142 143 144 148 150 158 172
a 6 11 12 14 15 16 18 20 22 26 27 37 40 42 43 45 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 113 119 120 126 127 129 133 134 136 139 141 142 143 144 148 150 158 172
a 11 12 14 15 16 18 20 22 24 26 27 37 40 42 43 45 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 113 119 120 126 127 129 133 134 136 139 141 142 143 144 148 150 158 172
a 11 12 14 15 16 18 20 22 24 26 27 37 40 42 43 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 133 134 136 139 141 142 143 144 148 150 158 172
a 11 12 14 15 16 18 20 22 24 26 27 37 40 42 43 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 133 134 139 141 142 143 144 148 150 158 164 172
a 11 12 14 15 16 18 20 22 24 26 27 37 40 42 43 46 47 49 59 61 62 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 134 139 140 141 142 143 144 148 150 158 164 172
a 11 12 14 15 16 18 20 22 24 26 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 134 139 140 141 142 143 144 148 150 158 164 172
a 11 12 14 15 16 18 20 22 24 26 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 134 136 139 140 141 142 143 144 148 150 158 172
a 11 12 14 15 16 18 20 22 24 26 37 40 42 43 46 47 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 134 136 139 140 141 142 143 144 148 150 158 172
a 11 12 14 15 16 18 20 22 24 26 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 134 136 139 140 141 142 143 144 148 150 172
a 11 12 14 15 16 20 22 24 26 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 134 136 139 140 141 142 143 144 148 150 158 172
a 11 12 14 15 16 18 20 22 24 26 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 134 136 139 140 141 142 143 144 148 150 158
a 2 11 12 14 16 18 20 22 24 26 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 106 110 113 119 120 126 127 129 130 134 136 139 140 141 142 143 144 148 150 158
a 11 12 14 16 18 20 22 24 26 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 134 136 139 140 141 142 143 144 148 150 158
a 11 12 14 16 18 20 22 24 26 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158
a 11 12 14 18 20 22 24 26 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 12 14 16 18 20 22 24 26 37 40 42 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 12 14 15 16 18 20 22 24 26 37 40 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 12 14 15 16 18 20 22 24 26 37 40 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158
a 11 12 14 15 16 18 20 22 24 26 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 76 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150
a 11 12 14 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150
a 11 12 14 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 144 148 150 158
a 12 14 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158
a 12 14 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 172
a 12 14 15 16 18 20 24 26 28 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 172
a 12 14 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 158 172
a 12 14 16 18 20 22 24 26 28 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 158 172 178
a 12 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 158 172 178
a 11 12 15 18 20 22 24 26 28 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 158 172 178
a 11 12 15 18 20 22 24 26 28 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 78 80 82 84 85 88 89 91 95 96 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 172 178
a 11 12 15 18 20 22 24 26 28 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 78 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 172 178
a 11 12 15 18 20 22 24 26 28 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 71 75 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 126 127 129 130 133 134 136 139 141 142 143 144 148 150 172 178
a 11 12 15 18 20 22 24 26 28 37 40 42 43 46 47 49 59 61 62 63 64 65 67 68 69 75 78 80 82 84 85 88 89 91 95 96 100 103 104 106 110 113 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 172 178
a 11 12 15 18 20 22 24 26 28 37 40 42 43 46 47 49 61 62 63 64 65 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 100 103 104 106 110 113 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 172 178
a 11 12 15 18 20 22 24 26 28 37 40 42 43 46 47 49 61 62 63 64 65 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 100 103 104 106 110 113 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 12 14 15 18 20 22 24 26 28 40 42 43 46 47 49 61 62 63 64 65 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 100 103 104 106 110 113 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 12 14 15 18 20 22 24 26 28 40 42 43 46 47 49 61 62 63 64 65 67 68 69 75 78 80 82 85 86 88 89 91 95 96 100 103 104 106 108 110 113 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 12 14 15 18 20 22 24 26 28 37 40 42 43 46 47 49 61 62 63 64 65 67 69 75 78 80 82 85 86 88 89 91 95 96 100 103 104 106 108 110 113 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 12 14 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 61 62 63 64 65 67 69 75 78 80 82 85 88 89 91 95 96 100 103 104 106 108 110 113 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 14 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 61 62 63 64 65 67 69 75 78 80 82 85 88 89 91 95 96 100 103 104 106 108 110 113 117 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 14 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 61 62 63 64 65 67 68 69 75 78 80 82 85 88 89 91 95 100 103 104 106 108 110 113 117 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 14 15 16 18 20 22 26 28 37 40 42 43 46 47 49 61 62 63 64 65 67 68 69 75 78 80 82 85 88 89 91 95 96 100 103 104 106 108 110 113 117 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 14 16 18 20 22 26 28 37 40 42 43 46 47 49 61 62 63 64 65 67 68 69 75 78 80 82 85 86 88 89 91 95 96 100 103 104 106 108 110 113 117 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 14 16 18 20 22 26 28 37 40 42 43 46 47 49 61 62 63 64 65 67 68 69 75 78 80 82 85 86 88 89 91 95 96 100 103 106 108 110 113 117 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 173 178
a 11 14 15 16 18 20 22 26 28 37 40 42 43 46 47 49 61 62 63 64 65 67 68 69 75 78 80 82 85 86 88 89 91 95 96 100 103 106 108 110 113 117 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 158 173 178
a 11 14 15 16 18 20 22 26 28 37 40 42 43 46 47 49 61 62 63 64 65 67 68 69 75 78 80 82 85 86 88 89 91 95 96 100 103 106 108 110 113 117 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 14 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 61 63 64 65 67 68 69 75 78 80 82 85 86 88 89 91 95 96 100 103 106 108 110 113 117 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 14 15 18 20 22 24 26 28 37 40 42 43 46 47 49 50 61 63 64 65 67 68 69 75 78 80 82 85 86 88 89 91 95 96 100 103 106 108 110 113 117 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 6 11 14 15 18 20 22 24 26 28 37 40 42 43 46 47 49 50 61 63 64 65 67 68 69 75 78 80 82 85 86 88 89 91 95 96 100 103 106 108 110 113 117 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 14 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 50 61 63 64 65 67 68 69 75 78 80 82 85 86 88 89 91 95 96 100 103 106 108 110 113 117 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 14 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 50 51 61 63 64 65 67 68 69 75 78 80 82 85 86 88 89 91 95 96 100 106 108 110 113 117 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 6 11 14 15 16 18 20 22 24 26 28 37 42 43 46 47 49 50 51 61 63 64 65 67 68 69 75 78 80 82 85 86 88 89 91 95 96 100 106 108 110 113 117 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 6 11 14 15 16 18 20 22 24 26 28 37 42 43 46 47 49 50 51 61 63 64 67 68 69 75 78 80 82 85 86 88 89 91 95 96 100 106 108 110 113 115 117 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 14 15 16 18 20 22 24 26 28 37 42 43 46 47 49 50 51 61 63 64 67 68 69 75 78 80 82 85 86 88 89 91 95 96 100 106 108 110 113 115 117 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 14 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 50 51 61 63 64 67 68 69 75 78 80 82 85 86 88 89 91 95 96 100 106 108 110 113 115 119 120 122 126 127 129 130 133 134 136 139 141 142 143 144 148 150 158 178
a 11 14 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 50 51 61 63 64 67 68 69 75 78 80 82 85 86 88 89 91 95 96 100 106 108 109 110 113 115 119 120 122 126 127 129 130 133 134 136 139 142 143 144 148 150 158 178
a 11 14 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 50 51 61 63 64 67 68 69 75 78 80 82 85 86 88 89 91 95 96 97 106 108 109 110 113 115 119 120 122 126 127 129 130 133 134 136 139 142 143 144 148 150 158 178
a 14 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 50 51 61 63 64 67 68 69 75 78 80 82 85 86 88 89 91 95 96 97 106 108 109 110 113 115 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 158 178
a 14 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 50 51 58 61 63 64 67 68 69 75 78 80 82 85 86 88 89 91 95 96 97 106 108 109 110 113 115 119 120 122 126 127 129 130 133 134 136 142 143 144 145 148 150 158 178
a 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 50 51 58 61 63 64 67 68 69 75 78 80 82 85 86 88 89 91 95 96 97 106 108 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 142 143 144 145 148 150 158 178
a 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 50 51 58 61 63 64 67 68 69 75 78 80 82 85 86 88 89 91 95 96 97 106 108 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 142 143 144 145 148 150 153 158
a 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 50 58 61 63 64 67 68 69 75 78 80 82 85 86 88 89 91 95 96 97 106 108 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 142 143 144 145 148 150 153 158 167
a 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 50 51 58 61 63 64 67 68 69 75 78 80 82 85 86 88 89 91 95 96 97 106 108 109 110 113 115 119 120 122 126 127 129 130 133 134 136 142 143 144 145 148 150 153 158 167
a 15 16 18 20 22 24 26 28 37 40 42 43 46 47 49 50 51 58 61 63 64 67 68 69 75 78 80 82 85 86 88 89 91 95 97 106 108 109 110 113 115 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167
a 16 18 20 22 24 26 28 37 40 42 43 46 47 49 50 51 58 61 63 64 67 68 69 75 78 80 82 85 86 88 89 91 95 97 106 108 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167
a 16 18 20 22 24 26 28 37 40 42 43 46 47 49 50 51 58 61 63 64 67 68 69 75 78 80 82 85 86 88 89 91 95 97 106 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167 176
a 16 18 20 22 24 26 27 28 37 40 42 43 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 85 86 88 89 91 95 97 106 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167 176
a 16 20 22 24 26 27 28 37 40 42 43 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 97 106 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167 176
a 16 20 22 26 27 28 37 40 42 43 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 106 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167 176
a 16 20 22 24 26 27 28 37 40 42 43 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 106 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167
a 20 22 24 26 27 28 37 40 42 43 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 106 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167 173
a 18 22 24 26 27 28 37 40 42 43 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 106 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167 173
a 18 20 22 24 27 28 37 40 42 43 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 106 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167 173
a 16 18 20 22 24 27 28 37 40 42 43 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 106 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 144 145 148 150 153 158 167 173
a 16 18 20 22 24 27 28 37 40 42 43 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 106 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 167 173
a 16 18 20 22 24 28 37 40 42 43 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 106 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167 173
a 16 18 20 22 24 27 28 37 40 42 43 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 106 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167
a 16 18 20 22 24 26 27 28 37 40 42 43 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 106 109 110 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167
a 16 18 20 22 24 26 27 28 37 40 42 43 45 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 106 109 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167
a 16 18 20 22 24 26 27 28 37 40 42 43 45 46 47 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 106 109 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167
a 16 18 20 22 24 26 27 28 37 40 42 43 45 46 47 50 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 104 106 109 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167
a 16 18 20 22 24 26 27 37 40 42 43 45 46 47 49 50 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 104 106 109 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167
a 18 20 22 24 26 27 28 37 40 42 43 45 46 47 49 50 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 104 106 109 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167
a 18 20 22 24 26 27 28 37 40 42 43 45 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 106 109 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167
a 16 18 20 22 24 26 27 37 40 42 43 45 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 106 109 113 115 117 119 120 122 126 127 129 130 133 134 136 139 142 143 144 145 148 150 153 158 167
a 16 18 20 22 24 26 27 28 37 40 42 43 45 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 106 109 113 115 117 119 120 122 126 127 129 130 133 134 139 142 143 144 145 148 150 153 158 167
a 15 16 18 20 22 24 26 27 28 37 40 42 45 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 96 97 106 109 113 115 117 119 120 122 126 127 129 130 133 134 139 142 143 144 145 148 150 153 158 167
a 15 16 18 20 22 24 26 27 28 37 40 42 45 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 97 106 109 113 115 117 119 120 122 126 127 129 130 133 134 139 142 143 144 145 148 150 153 158 167 176
a 15 16 18 20 22 24 26 27 28 37 40 42 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 97 106 109 110 113 115 117 119 120 122 126 127 129 130 133 134 139 142 143 144 145 148 150 153 158 167 176
a 15 16 18 20 22 24 26 27 28 37 40 42 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 97 106 109 110 113 115 117 119 120 121 122 126 127 129 130 133 134 139 142 143 144 145 150 153 158 167 176
a 15 16 18 20 22 24 26 27 28 37 40 42 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 84 85 86 88 89 91 95 97 106 109 110 113 115 117 119 120 121 122 126 127 129 130 134 139 140 142 143 144 145 150 153 158 167 176
a 15 16 18 20 22 24 26 27 28 37 40 42 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 85 86 88 89 91 95 97 106 108 109 110 113 115 117 119 120 121 122 126 127 129 130 134 139 140 142 143 144 145 150 153 158 167 176
a 14 15 16 18 20 22 24 26 27 28 37 40 42 46 47 49 50 51 58 61 64 67 68 69 75 78 80 82 85 86 88 89 91 95 97 106 108 109 110 113 115 117 119 120 121 122 126 127 129 130 134 139 140 142 143 144 145 150 153 158 176
a 6 14 15 16 18 20 22 24 26 27 28 37 40 42 47 49 50 51 58 61 64 67 68 69 75 78 80 82 85 86 88 89 91 95 97 106 108 109 110 113 115 117 119 120 121 122 126 127 129 130 134 139 140 142 143 144 145 150 153 158 176
a 6 14 15 16 18 20 22 24 26 27 28 37 40 42 47 49 50 51 53 58 61 64 67 68 69 75 78 80 82 85 86 88 89 91 95 97 106 108 109 110 113 115 117 119 120 121 122 126 127 129 130 134 139 140 142 143 144 145 150 158 176
a 6 14 15 16 18 19 20 22 24 26 27 28 37 40 42 47 49 50 51 53 58 61 64 67 68 69 75 78 80 82 85 86 88 89 91 95 97 106 108 109 110 113 115 117 119 121 122 126 127 129 130 134 139 140 142 143 144 145 150 158 176
a 6 14 15 16 18 19 20 22 24 27 28 37 40 42 47 49 50 51 53 58 61 64 66 67 68 69 75 78 80 82 85 86 88 89 91 95 97 106 108 109 110 113 115 117 119 121 122 126 127 129 130 134 139 140 142 143 144 145 150 158 176
a 6 14 15 16 18 19 20 22 24 28 37 40 42 47 49 50 51 53 58 61 63 64 66 67 68 69 75 78 80 82 85 86 88 89 91 95 97 106 108 109 110 113 115 117 119 121 122 126 127 129 130 134 139 140 142 143 144 145 150 158 176
a 6 14 15 16 18 19 20 22 24 28 37 40 42 47 49 50 51 53 58 61 63 64 66 67 68 69 75 78 80 82 85 86 88 89 91 95 97 106 108 109 110 113 115 117 119 121 122 126 127 129 130 134 139 140 142 143 144 150 158 176 179
a 6 14 15 16 18 19 20 22 28 37 40 42 47 49 50 51 53 58 61 63 64 66 67 68 69 75 78 80 82 85 86 88 89 91 95 97 106 108 109 110 113 115 117 119 121 122 126 127 129 130 134 139 140 142 143 144 150 158 175 176 179
a 6 14 15 16 18 19 20 22 28 37 40 42 47 49 51 53 58 61 62 63 64 66 67 68 69 75 78 80 82 85 86 88 89 91 95 97 106 108 109 110 113 115 117 119 121 122 126 127 129 130 134 139 140 142 143 144 150 158 175 176 179
a 6 14 15 16 18 19 20 22 28 37 40 42 47 49 51 53 58 59 61 62 63 64 66 67 68 69 75 78 80 82 85 88 89 91 95 97 106 108 109 110 113 115 117 119 121 122 126 127 129 130 134 139 140 142 143 144 150 158 175 176 179
a 6 14 15 16 18 19 20 22 28 37 40 42 47 49 51 53 58 59 61 62 63 64 66 67 68 69 75 78 80 81 82 85 88 89 91 95 97 106 108 109 110 113 115 117 119 121 122 126 127 129 130 134 139 140 142 143 144 158 175 176 179
a 6 14 15 16 18 19 20 22 28 37 40 42 47 49 51 53 58 59 61 62 63 64 66 67 69 75 78 80 81 82 85 88 89 91 95 97 106 108 109 110 113 115 117 119 121 122 126 127 129 130 134 139 140 142 143 144 151 158 175 176 179
a 6 14 15 16 18 19 20 22 28 37 40 42 47 49 51 53 58 59 61 62 63 64 66 67 69 75 78 80 81 82 85 88 89 91 95 97 102 106 108 109 110 113 115 117 119 121 122 126 127 129 130 139 140 142 143 144 151 158 175 176 179
a 6 7 14 15 16 18 19 20 22 28 37 40 42 47 49 51 53 58 59 61 62 63 64 66 67 69 75 78 80 81 82 85 88 89 91 95 97 102 106 108 109 110 113 115 117 119 121 122 126 127 129 130 139 140 143 144 151 158 175 176 179
a 6 7 14 15 16 18 19 20 28 37 40 42 47 49 51 53 58 59 61 62 63 64 66 67 69 75 78 80 81 82 85 88 89 91 95 97 102 106 108 109 110 113 115 117 119 121 122 126 127 129 130 139 140 143 144 151 158 166 175 176 179
a 6 7 14 15 16 18 19 20 28 40 42 47 49 51 53 58 59 61 62 63 64 66 67 69 75 78 80 81 82 85 88 89 91 95 97 102 106 108 109 110 113 115 117 119 121 122 126 127 129 130 139 140 143 144 151 158 166 175 176 177 179
a 6 7 14 15 16 18 19 20 28 40 42 47 49 51 53 58 59 61 62 63 64 66 67 69 75 78 80 81 82 85 88 89 91 95 97 102 106 108 109 110 113 115 117 119 121 122 126 127 129 130 139 140 144 151 158 166 170 175 176 177 179
a 6 7 14 15 16 18 19 20 40 42 47 49 51 53 58 59 61 62 63 64 66 67 69 75 78 80 81 82 85 88 89 91 95 97 102 106 108 109 110 113 115 117 119 121 122 126 127 129 130 139 140 144 149 151 158 166 170 175 176 177 179
a 6 7 14 15 16 18 19 20 40 42 49 51 53 58 59 61 62 63 64 66 67 69 75 77 78 80 81 82 85 88 89 91 95 97 102 106 108 109 110 113 115 117 119 121 122 126 127 129 130 139 140 144 149 151 158 166 170 175 176 177 179
a 6 7 14 15 16 18 19 20 40 42 49 51 53 58 59 61 62 63 64 66 67 69 75 77 78 80 81 82 85 88 89 91 95 97 102 106 108 109 110 113 115 117 119 121 124 126 127 129 130 139 140 144 149 151 158 166 170 175 176 177 179
a 6 7 14 15 16 18 19 20 40 42 49 51 53 58 59 61 62 63 64 66 67 69 71 75 77 78 80 81 82 85 88 89 91 95 97 102 106 108 109 110 113 115 119 121 124 126 127 129 130 139 140 144 149 151 158 166 170 175 176 177 179
a 6 7 14 15 16 18 19 20 40 42 49 51 53 58 59 61 62 63 64 66 67 69 71 75 77 78 80 81 82 85 89 91 95 97 102 106 108 109 110 112 113 115 119 121 124 126 127 129 130 139 140 144 149 151 158 166 170 175 176 177 179
a 6 7 12 14 15 16 18 19 20 40 42 49 51 53 59 61 62 63 64 66 67 69 71 75 77 78 80 81 82 85 89 91 95 97 102 106 108 109 110 112 113 115 119 121 124 126 127 129 130 139 140 144 149 151 158 166 170 175 176 177 179
a 6 7 11 12 14 15 16 18 19 20 40 42 49 53 59 61 62 63 64 66 67 69 71 75 77 78 80 81 82 85 89 91 95 97 102 106 108 109 110 112 113 115 119 121 124 126 127 129 130 139 140 144 149 151 158 166 170 175 176 177 179
a 6 7 10 11 12 14 15 16 18 19 20 40 42 49 53 59 61 62 63 64 66 67 69 71 77 78 80 81 82 85 89 91 95 97 102 106 108 109 110 112 113 115 119 121 124 126 127 129 130 139 140 144 149 151 158 166 170 175 176 177 179
a 6 7 10 11 12 14 15 16 18 19 20 40 42 49 53 59 61 62 63 64 66 67 71 77 78 80 81 82 85 89 91 95 97 102 106 108 109 110 112 113 115 119 121 124 126 127 129 130 139 140 144 147 149 151 158 166 170 175 176 177 179
a 6 7 10 11 12 14 15 16 18 19 20 40 42 49 53 59 61 62 63 64 66 67 71 77 78 81 82 85 89 91 95 97 102 106 108 109 110 112 113 115 119 121 124 126 127 129 130 139 140 144 147 149 151 158 166 169 170 175 176 177 179
a 6 7 10 11 12 14 15 16 17 18 19 20 40 42 53 59 61 62 63 64 66 67 71 77 78 81 82 85 89 91 95 97 102 106 108 109 110 112 113 115 119 121 124 126 127 129 130 139 140 144 147 149 151 158 166 169 170 175 176 177 179
a 6 7 10 11 12 14 15 16 17 18 19 20 40 42 53 59 61 62 63 64 66 67 71 77 78 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 126 127 129 130 139 140 144 147 149 151 156 158 166 169 170 175 176 177 179
a 6 7 10 11 12 14 15 16 17 18 19 20 40 42 53 59 61 62 63 64 66 67 71 77 78 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 140 144 147 149 151 156 158 166 169 170 175 176 177 179
a 6 7 10 11 12 14 15 16 17 18 19 20 40 42 53 59 61 62 63 66 67 71 77 78 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 140 144 147 149 151 156 158 166 169 170 171 175 176 177 179
c Step: 184
#END: [Tue Sep  5 01:54:18 2023]