#BEGIN: [Tue Sep 26 03:53:29 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance014_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance014_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance014_graph002.col /benchmark/random_instance/random_instance014_graph002_01.dat
c /benchmark/random_instance/random_instance014_graph002.col
c /benchmark/random_instance/random_instance014_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID f77633e7d50149cd9259d7a7fe6ccf0297554f6ccc7e26985a26487dfdd75c0f
s 64 155 60 108 107 152 35 172 12 171 6 71 134 97 133 96 24 165 174 116 66 94 29 127 170 135 67 90 178 126 23 39 161 100 102 101 40 32 21 8 34 122 139 51 181 136 18 15 5 137 41 149 3 119 167 103 13 22 140
t 91 181 160 114 32 61 143 137 115 83 70 9 64 25 107 4 146 8 92 14 22 13 3 30 23 60 98 46 130 55 128 111 38 123 81 119 182 86 166 174 109 106 120 90 66 131 7 51 171 40 168 20 170 37 69 175 96 42 11
a YES
a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 51 60 64 66 67 71 90 94 96 97 100 101 102 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181
a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 51 60 64 66 67 71 90 91 94 96 97 100 101 102 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 149 155 161 165 167 170 171 172 174 178 181
a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 49 51 60 64 66 67 71 90 91 94 96 97 100 101 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 149 155 161 165 167 170 171 172 174 178 181
a 3 5 6 8 12 13 15 18 21 22 23 24 29 32 34 35 39 40 41 49 51 60 64 66 67 71 90 94 96 97 100 101 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181
a 3 5 6 8 12 13 15 18 21 22 23 24 29 34 35 39 40 41 49 51 60 64 66 67 71 90 94 96 97 100 101 103 107 108 112 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181
a 3 5 6 8 12 13 15 18 21 22 23 24 29 34 39 40 41 49 51 59 60 64 66 67 71 90 94 96 97 100 101 103 107 108 112 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181
a 3 5 6 8 12 13 15 18 21 22 23 24 29 34 39 40 41 45 49 51 59 60 64 66 67 71 90 94 96 97 100 101 103 107 108 112 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 172 174 178 181
a 5 6 8 12 13 15 18 21 22 23 24 29 34 39 40 41 45 49 51 59 60 64 66 67 71 89 90 94 96 97 100 101 103 107 108 112 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 172 174 178 181
a 5 6 8 12 13 15 18 21 22 23 24 29 34 39 40 41 45 49 51 59 60 64 66 67 71 89 90 94 96 97 100 101 103 107 108 112 116 119 122 126 127 133 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178 181
a 5 6 8 12 13 15 18 21 22 23 24 29 34 39 40 41 45 49 51 59 60 64 66 67 71 89 90 94 96 97 100 101 103 107 108 112 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 174 178
a 5 6 8 12 13 15 18 21 22 23 24 29 34 39 40 41 45 49 51 59 60 64 66 67 71 89 90 94 96 97 100 101 103 107 108 112 116 119 122 126 127 133 134 135 136 137 139 140 149 152 161 165 167 170 171 172 174 178 181
a 5 6 8 12 13 15 18 21 22 23 24 29 34 39 40 41 45 49 51 59 60 64 66 67 71 89 90 94 96 97 100 101 103 107 108 112 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 174 178 181
a 5 6 7 8 12 13 15 18 21 22 23 24 29 34 39 40 41 45 49 51 59 60 64 66 67 71 89 90 94 96 97 100 101 103 107 108 112 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 174 181
a 5 6 7 8 12 13 15 18 21 22 23 24 29 34 39 40 41 45 49 51 59 60 64 66 67 71 89 90 94 96 97 100 101 103 107 108 112 116 119 122 126 127 133 134 135 136 137 139 140 149 152 155 161 165 167 170 171 172 181
a 6 7 8 12 13 15 18 21 22 23 24 29 34 39 40 41 45 49 51 59 60 64 66 67 71 89 90 94 96 97 100 101 103 107 108 112 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 181
a 7 8 12 13 15 18 21 22 23 24 29 34 39 40 41 45 49 51 59 60 64 66 67 71 89 90 94 96 97 100 101 103 107 108 110 112 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 181
a 7 8 12 13 15 18 21 22 23 24 29 34 35 39 40 41 45 49 51 60 64 66 67 71 89 90 94 96 97 100 101 103 107 108 110 112 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 181
a 7 8 12 13 15 18 21 22 23 24 25 29 34 35 39 40 41 45 49 51 60 64 66 67 89 90 94 96 97 100 101 103 107 108 110 112 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 181
a 7 8 12 13 15 18 21 22 23 24 25 29 34 35 39 40 41 45 49 51 60 64 66 67 70 89 90 94 96 100 101 103 107 108 110 112 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 181
a 7 8 12 15 18 21 22 23 24 25 29 34 35 39 40 41 45 49 51 60 64 66 67 70 89 90 94 96 100 101 103 107 108 110 112 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 174 181
a 7 8 12 15 16 18 21 22 23 24 25 29 34 35 39 40 41 45 49 51 60 64 66 67 70 89 90 94 96 100 101 103 107 108 110 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 174 181
a 7 8 12 15 16 18 21 22 23 24 25 29 34 35 39 40 41 43 45 49 51 60 64 66 67 70 89 90 94 100 101 103 107 108 110 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 171 172 174 181
a 7 8 12 15 16 18 21 22 23 24 25 26 29 34 35 39 40 41 43 45 49 51 60 64 66 67 70 89 90 94 100 101 103 107 108 110 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 171 172 174 181
a 7 8 12 15 16 18 21 22 23 24 25 26 29 34 35 39 40 41 43 45 49 51 53 60 64 66 67 70 89 90 94 100 101 103 107 108 110 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 171 172 174
a 7 8 12 15 16 18 21 22 23 24 25 26 29 34 35 39 40 41 43 45 49 51 53 60 64 66 67 70 89 90 94 100 101 103 107 108 110 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 172 174
a 7 8 12 15 16 18 21 22 23 24 25 26 29 34 35 39 40 41 43 45 49 51 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 110 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 170 172
a 7 8 12 15 16 18 21 22 23 24 25 26 29 34 35 39 40 41 43 45 49 51 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 110 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 170 171 172
a 8 12 15 16 18 21 22 23 24 25 26 29 34 35 39 40 41 43 45 48 49 51 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 110 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 170 171 172
a 5 8 12 15 16 18 21 22 23 24 25 26 29 34 35 39 40 41 43 45 48 49 51 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 110 116 119 122 127 133 134 135 136 137 139 140 145 149 152 155 161 165 170 171 172
a 5 8 12 15 16 18 21 22 23 24 25 26 29 34 35 39 40 41 43 45 48 49 51 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 110 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 170 172
a 5 8 12 15 16 18 21 22 23 24 25 26 29 34 35 39 40 41 43 45 48 49 51 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 110 116 119 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 170 171 172
a 5 8 12 15 16 18 21 22 23 24 25 26 29 34 35 39 40 41 43 45 48 49 51 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 110 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 170 171
a 5 8 12 15 16 18 21 22 23 24 25 26 29 35 39 40 41 43 45 48 49 51 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 110 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 170 171 172
a 5 8 12 15 16 18 21 22 23 24 25 26 29 31 35 39 40 41 43 45 48 49 51 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 170 171 172
a 5 6 8 12 15 18 21 22 23 24 25 26 29 31 35 39 40 41 43 45 48 49 51 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 170 171 172
a 5 6 8 12 15 18 21 22 23 24 25 26 29 31 35 39 40 41 43 45 47 48 49 51 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 171 172
a 6 8 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 171 172
a 6 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 171 172
a 6 8 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 116 119 122 126 127 133 134 135 136 137 139 140 145 149 152 155 161 165 167 171
a 6 8 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 171
a 6 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 170 171
a 6 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 44 45 47 48 49 53 57 60 64 66 67 70 89 90 94 100 101 103 107 108 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 170 171
a 6 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 44 45 47 48 49 53 57 60 64 66 67 70 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 170 171
a 6 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 44 45 47 48 49 53 57 60 64 66 67 70 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 170 171 172
a 6 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 171 172
a 6 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 171
a 6 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 171
a 6 8 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167
a 6 8 12 15 18 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 87 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167
a 6 8 12 15 18 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 87 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 167 171
a 6 8 12 18 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 87 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 171
a 8 12 15 18 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 87 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 171
a 8 12 15 18 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 87 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 170
a 7 8 12 15 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 87 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 170
a 7 8 12 15 18 22 23 24 25 26 29 31 34 35 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 87 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 170
a 3 7 8 12 15 18 22 23 24 25 26 29 31 34 35 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 87 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 170
a 3 7 12 15 18 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 87 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 170
a 3 7 12 15 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 87 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 170 171
a 3 7 12 15 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 87 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 152 155 161 165 170 171 180
a 3 7 12 15 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 87 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 170 171 180
a 3 7 12 15 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 87 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 170 180
a 3 7 12 15 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 170 180
a 3 7 12 15 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 89 90 94 100 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 170 171 180
a 7 12 15 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 170 171 180
a 7 12 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 170 171 172 180
a 7 12 15 21 22 23 24 25 26 29 31 34 35 39 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 170 171 172 180
a 7 12 15 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 114 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 170 171 172 180
a 7 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 114 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 170 172 180
a 7 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 57 60 62 64 66 67 70 89 90 94 100 101 103 107 114 117 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 170 172 180 181
a 7 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 57 60 62 64 66 67 70 89 90 94 100 101 103 107 114 117 119 122 126 127 133 136 137 139 140 145 149 152 155 161 165 170 172 174 180 181
a 7 12 15 18 21 22 23 24 25 26 29 34 35 39 40 41 43 45 47 48 49 51 57 60 62 64 66 67 70 89 90 94 100 101 103 107 114 117 119 122 126 127 133 136 137 139 140 145 149 152 155 161 165 167 170 172 174 180 181
a 7 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 57 60 62 64 66 67 70 89 90 94 100 101 103 107 114 117 119 122 126 127 133 136 137 139 140 145 149 152 155 161 165 167 170 172 174 180
a 7 12 18 21 22 23 24 25 26 29 31 34 35 39 40 41 43 45 47 48 49 51 57 60 62 64 66 67 70 89 90 94 100 101 103 107 114 116 117 119 122 126 127 133 136 137 139 140 145 149 152 155 161 165 167 170 172 174 180
a 7 12 18 21 22 23 24 25 26 29 31 34 35 39 40 41 45 47 48 49 51 57 60 62 64 66 67 70 89 90 94 100 101 103 107 112 114 116 117 119 122 126 127 133 136 137 139 140 145 149 152 155 161 165 167 170 172 174 180
a 6 7 12 18 21 22 23 24 25 26 29 31 34 35 39 40 41 45 47 48 49 51 57 60 62 66 67 70 89 90 94 100 101 103 107 112 114 116 117 119 122 126 127 133 136 137 139 140 145 149 152 155 161 165 167 170 172 174 180
a 6 7 12 15 18 22 23 24 25 26 29 31 34 35 39 40 41 45 47 48 49 51 57 60 62 66 67 70 89 90 94 100 101 103 107 112 114 116 117 119 122 126 127 133 136 137 139 140 145 149 152 155 161 165 167 170 172 174 180
a 6 7 12 18 22 23 24 25 26 29 31 34 35 39 40 41 45 47 48 49 51 57 60 62 64 66 67 70 89 90 94 100 101 103 107 112 114 116 117 119 122 126 127 133 136 137 139 140 145 149 152 155 161 165 167 170 172 174 180
a 6 7 12 18 21 22 23 24 25 26 29 31 34 35 39 40 41 45 47 48 49 51 57 60 62 64 66 67 70 89 90 94 100 101 103 107 112 114 116 117 119 122 126 127 133 136 137 139 140 145 149 152 155 161 165 167 170 172 174
a 6 7 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 45 47 48 49 51 57 60 62 64 66 67 70 89 90 94 100 101 103 107 112 114 116 117 119 122 126 127 133 136 137 139 140 145 152 155 161 165 167 170 172 174
a 6 7 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 45 47 48 49 51 57 60 62 64 66 67 70 89 90 94 100 101 103 107 112 114 116 117 119 122 126 127 133 136 137 139 140 145 149 152 155 161 165 167 170 172
a 6 7 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 45 47 48 49 51 57 60 62 64 66 67 70 89 90 94 100 101 103 107 112 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 155 161 165 167 170 172
a 6 7 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 45 47 48 49 51 57 60 62 64 66 67 70 89 90 94 100 101 103 107 112 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 155 161 165 170 171 172
a 6 7 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 44 45 47 48 49 57 60 62 64 66 67 70 89 90 94 100 101 103 107 112 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 155 161 165 170 171 172
a 6 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 44 45 47 48 49 57 60 62 64 66 67 70 89 90 94 100 101 103 107 112 114 116 117 119 122 126 127 133 134 136 137 139 140 145 149 155 161 165 167 170 171 172
a 6 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 44 45 47 48 49 57 60 62 64 66 67 70 89 90 94 100 101 103 107 112 114 116 117 119 122 126 127 133 136 137 139 140 145 149 152 155 161 165 167 170 171 172
a 6 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 44 45 47 48 49 57 60 62 64 66 67 70 89 90 94 100 101 103 107 112 114 116 117 119 122 126 127 133 136 139 140 145 149 152 155 161 165 167 170 171 172 174
a 6 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 44 45 47 48 49 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 136 139 140 145 149 152 155 161 165 167 170 171 172 174
a 6 12 18 21 22 23 24 25 26 29 31 34 35 39 40 41 44 45 47 48 49 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 139 140 145 149 152 155 161 165 167 170 171 172 174
a 6 12 18 21 22 23 24 25 26 29 31 34 35 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 139 140 145 149 152 155 161 165 167 170 171 172
a 6 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 139 140 145 149 152 155 161 165 167 170 171
a 6 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 44 45 48 49 53 57 60 62 64 66 67 70 89 90 94 96 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 139 140 145 149 152 155 161 165 167 170 171
a 6 7 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 44 45 48 49 53 57 60 62 64 66 67 70 89 90 94 96 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 139 140 145 149 152 155 161 165 167 170
a 6 7 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 44 45 48 49 53 57 60 62 64 66 67 70 89 90 94 96 100 101 103 107 108 112 114 116 119 122 126 127 134 136 137 139 140 145 149 152 155 161 165 167 170
a 6 7 12 15 18 21 22 23 24 25 26 29 31 34 35 39 40 41 44 45 48 49 53 57 60 62 64 66 67 70 89 90 94 96 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167
a 6 7 12 15 18 21 22 23 25 26 29 31 34 35 39 40 41 44 45 48 49 53 57 60 62 64 66 67 70 89 90 94 96 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168
a 6 7 12 15 18 21 22 23 25 26 29 31 34 35 39 40 41 44 45 48 49 53 57 60 62 64 66 67 70 90 94 96 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168 171
a 6 7 12 15 18 21 22 23 25 26 29 31 34 35 39 40 41 44 45 48 49 53 57 60 62 64 66 67 70 90 94 96 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168 172
a 6 7 12 15 18 21 22 23 25 26 29 31 34 35 39 40 41 44 45 48 49 53 57 60 62 64 66 67 70 90 94 96 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168 170
a 6 7 12 15 18 21 22 23 25 26 29 31 34 35 39 40 41 44 45 48 49 53 57 60 62 64 66 67 70 90 94 96 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 155 161 165 167 168 170 172
a 6 7 8 12 15 18 21 23 25 26 29 31 34 35 39 40 41 44 45 48 49 53 57 60 62 64 66 67 70 90 94 96 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 155 161 165 167 168 170 172
a 6 7 8 12 15 18 21 23 25 26 29 31 34 35 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 155 161 165 167 168 170 172
a 6 7 8 12 15 18 21 23 25 26 29 31 34 35 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 90 94 100 101 103 107 108 112 114 116 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168 170 172
a 6 7 8 12 15 18 21 23 25 26 29 31 34 35 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 122 126 127 133 134 136 137 139 140 145 149 152 155 161 167 168 170 172
a 6 8 12 15 18 21 23 25 26 29 31 34 35 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168 170 172
a 6 8 12 15 18 21 22 23 25 26 29 31 34 35 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 122 126 127 133 134 136 137 139 140 145 149 152 155 165 167 168 170 172
a 6 8 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 122 126 127 133 134 136 137 139 140 149 152 155 165 167 168 170 172
a 8 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 149 152 155 165 167 168 170 172
a 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 165 167 168 170 172
a 6 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 155 165 167 168 170 172
a 6 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 114 116 119 122 126 127 133 134 136 137 139 140 145 149 155 161 165 167 168 170 172
a 6 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168 172
a 6 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 134 136 137 139 140 145 149 152 155 161 165 167 168 172
a 6 12 15 18 21 22 23 25 26 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168 172
a 6 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 149 152 155 161 165 167 168 172
a 6 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168
a 6 8 12 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168
a 3 6 8 12 18 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168
a 3 6 8 12 15 18 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 134 136 137 139 140 145 149 152 155 161 165 167 168
a 3 6 8 12 15 18 22 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168
a 6 8 12 15 18 21 22 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168
a 6 8 12 15 18 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168
a 6 8 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168
a 6 8 12 15 18 21 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 89 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168
a 6 8 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168
a 3 6 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 168
a 3 6 8 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 90 94 100 101 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167
a 3 6 8 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 90 94 100 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 140 145 149 152 155 161 165 167 171
a 3 6 8 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 90 94 100 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 145 149 152 155 161 165 167 168 171
a 3 8 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 57 60 62 64 66 67 70 90 94 100 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 145 149 152 155 161 165 167 168 170 171
a 3 8 12 15 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 55 57 60 62 64 66 67 70 90 94 100 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 145 149 152 161 165 167 168 170 171
a 3 8 12 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 47 48 49 53 55 57 60 62 64 66 67 70 83 90 94 100 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 145 149 152 161 165 167 168 170 171
a 3 8 12 18 21 22 23 25 26 29 31 34 35 36 39 40 41 44 45 48 49 53 55 57 60 62 64 66 67 70 83 90 94 96 100 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 145 149 152 161 165 167 168 170 171
a 3 8 12 18 21 22 23 25 26 29 31 34 35 36 39 40 44 45 48 49 53 55 57 60 62 64 66 67 70 83 90 94 96 98 100 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 145 149 152 161 165 167 168 170 171
a 3 7 8 12 18 21 22 23 25 29 31 34 35 36 39 40 44 45 48 49 53 55 57 60 62 64 66 67 70 83 90 94 96 98 100 103 107 108 112 114 116 119 122 126 127 133 134 136 137 139 145 149 152 161 165 167 168 170 171
a 3 7 8 18 21 22 23 25 29 31 34 35 36 39 40 44 45 48 49 53 55 57 60 62 64 66 67 70 83 90 94 96 98 100 103 107 108 112 114 115 116 119 122 126 127 133 134 136 137 139 145 149 152 161 165 167 168 170 171
a 3 7 8 18 21 22 23 25 29 31 34 35 36 37 39 40 44 45 48 49 53 55 57 60 62 64 66 67 70 83 90 96 98 100 103 107 108 112 114 115 116 119 122 126 127 133 134 136 137 139 145 149 152 161 165 167 168 170 171
a 3 7 8 18 21 22 23 25 29 31 34 36 37 39 40 44 45 48 49 53 55 57 60 62 64 66 67 70 83 90 96 98 100 103 107 108 112 114 115 116 119 122 126 127 133 134 136 137 139 145 149 152 161 165 167 168 170 171 174
a 3 7 8 18 21 22 23 25 29 31 34 36 37 39 40 45 48 49 51 53 55 57 60 62 64 66 67 70 83 90 96 98 100 103 107 108 112 114 115 116 119 122 126 127 133 134 136 137 139 145 149 152 161 165 167 168 170 171 174
a 3 7 8 18 21 22 23 25 29 31 34 36 37 39 40 45 48 49 51 53 55 57 60 62 64 66 67 70 83 90 96 98 100 103 107 108 112 114 115 116 119 122 126 127 134 136 137 139 145 146 149 152 161 165 167 168 170 171 174
a 3 7 8 18 21 22 23 25 29 31 34 36 37 40 45 48 49 51 53 55 57 60 62 64 66 67 70 83 86 90 96 98 100 103 107 108 112 114 115 116 119 122 126 127 134 136 137 139 145 146 149 152 161 165 167 168 170 171 174
a 3 7 8 18 21 22 23 25 29 31 34 36 37 40 45 48 49 51 53 55 57 60 62 64 66 67 70 83 86 90 96 98 100 103 107 108 112 114 115 116 119 122 126 130 134 136 137 139 145 146 149 152 161 165 167 168 170 171 174
a 3 7 8 18 21 22 23 25 29 31 34 36 37 40 45 48 49 51 53 55 57 60 62 64 66 67 70 83 86 90 96 98 100 103 107 108 112 114 115 116 119 122 126 130 134 136 137 139 145 146 149 161 165 167 168 170 171 174 175
a 3 7 8 18 21 22 23 25 29 31 34 36 37 40 45 48 49 51 53 55 57 60 62 64 66 67 70 81 83 86 90 96 98 100 103 107 108 114 115 116 119 122 126 130 134 136 137 139 145 146 149 161 165 167 168 170 171 174 175
a 3 7 8 18 21 22 23 25 29 31 32 34 36 37 40 48 49 51 53 55 57 60 62 64 66 67 70 81 83 86 90 96 98 100 103 107 108 114 115 116 119 122 126 130 134 136 137 139 145 146 149 161 165 167 168 170 171 174 175
a 3 7 8 11 18 21 22 23 25 29 31 32 34 36 37 40 48 49 51 53 55 57 60 62 64 66 67 70 81 83 86 90 96 98 100 103 107 108 114 115 116 119 122 126 130 134 137 139 145 146 149 161 165 167 168 170 171 174 175
a 3 7 8 11 13 18 21 22 23 25 29 31 32 34 36 37 40 49 51 53 55 57 60 62 64 66 67 70 81 83 86 90 96 98 100 103 107 108 114 115 116 119 122 126 130 134 137 139 145 146 149 161 165 167 168 170 171 174 175
a 3 7 8 11 13 18 21 22 23 25 29 31 32 34 36 37 40 49 51 53 55 57 60 62 64 66 67 70 81 83 86 90 96 98 100 103 107 108 114 115 119 120 122 126 130 134 137 139 145 146 149 161 165 167 168 170 171 174 175
a 3 7 8 11 13 18 21 22 23 25 29 31 32 34 36 37 40 49 51 55 57 60 62 64 66 67 70 81 83 86 90 96 98 100 103 107 108 114 115 119 120 122 126 130 134 137 139 145 146 149 161 165 167 168 170 171 174 175 181
a 3 7 8 11 13 18 21 22 23 25 31 32 34 36 37 40 49 51 55 57 60 62 64 66 67 70 81 83 86 90 96 98 100 103 107 108 114 115 119 120 122 126 130 131 134 137 139 145 146 149 161 165 167 168 170 171 174 175 181
a 3 7 8 11 13 18 21 22 23 25 31 32 34 36 37 40 49 51 55 57 60 62 64 66 67 70 81 83 86 90 96 98 100 103 106 107 108 114 115 119 120 122 126 130 131 134 137 139 145 146 149 165 167 168 170 171 174 175 181
a 3 7 8 11 13 18 21 22 23 25 30 31 32 34 36 37 40 49 51 55 57 60 62 64 66 67 70 81 83 86 90 96 98 100 103 106 107 108 114 115 119 120 122 126 130 131 134 137 139 145 146 165 167 168 170 171 174 175 181
a 3 7 8 11 13 18 21 22 23 25 30 31 32 34 36 37 40 51 55 57 60 62 64 66 67 70 81 83 86 90 96 98 100 103 106 107 108 114 115 119 120 122 126 130 131 134 137 139 145 146 165 166 167 168 170 171 174 175 181
a 3 7 8 11 13 18 20 21 22 23 25 30 31 32 34 36 37 40 51 55 57 60 62 64 66 70 81 83 86 90 96 98 100 103 106 107 108 114 115 119 120 122 126 130 131 134 137 139 145 146 165 166 167 168 170 171 174 175 181
a 3 7 8 11 13 18 20 21 22 23 25 30 31 32 36 37 40 46 51 55 57 60 62 64 66 70 81 83 86 90 96 98 100 103 106 107 108 114 115 119 120 122 126 130 131 134 137 139 145 146 165 166 167 168 170 171 174 175 181
a 3 7 8 11 13 18 20 22 23 25 30 31 32 36 37 40 46 51 55 57 60 62 64 66 70 81 83 86 90 96 98 100 103 106 107 108 109 114 115 119 120 122 126 130 131 134 137 139 145 146 165 166 167 168 170 171 174 175 181
a 3 7 8 11 13 18 20 22 23 25 30 31 32 36 37 40 46 51 55 57 60 61 64 66 70 81 83 86 90 96 98 100 103 106 107 108 109 114 115 119 120 122 126 130 131 134 137 139 145 146 165 166 167 168 170 171 174 175 181
a 3 7 8 11 13 18 20 22 23 25 30 31 32 36 37 40 42 46 51 55 57 60 61 64 66 70 81 83 86 90 96 98 100 103 106 107 108 109 114 115 119 120 122 126 130 131 134 137 139 145 146 165 166 168 170 171 174 175 181
a 3 7 8 11 13 18 20 22 23 25 30 31 32 36 37 40 42 46 51 55 57 60 61 64 66 70 81 83 86 90 96 98 100 103 106 107 108 109 114 115 119 120 122 123 126 130 131 134 137 145 146 165 166 168 170 171 174 175 181
a 3 7 8 11 13 18 20 22 23 25 30 31 32 36 37 38 40 42 46 51 55 57 60 61 64 66 70 81 83 86 90 96 98 100 106 107 108 109 114 115 119 120 122 123 126 130 131 134 137 145 146 165 166 168 170 171 174 175 181
a 3 7 8 11 13 20 22 23 25 30 31 32 36 37 38 40 42 46 51 55 57 60 61 64 66 70 81 83 86 90 96 98 100 106 107 108 109 114 115 119 120 122 123 126 130 131 134 137 143 145 146 165 166 168 170 171 174 175 181
a 3 7 8 11 13 14 20 22 23 25 30 31 32 36 37 38 40 42 46 51 55 57 60 61 64 66 70 81 83 86 90 96 98 100 106 107 109 114 115 119 120 122 123 126 130 131 134 137 143 145 146 165 166 168 170 171 174 175 181
a 3 7 8 11 13 14 20 22 23 25 30 31 32 36 37 38 40 42 46 51 55 57 60 61 64 66 69 70 81 83 86 90 96 98 100 106 107 109 114 115 119 120 123 126 130 131 134 137 143 145 146 165 166 168 170 171 174 175 181
a 3 7 8 11 13 14 20 22 23 25 30 31 32 36 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 96 98 100 106 107 109 114 115 119 120 123 126 128 130 131 134 137 143 145 146 165 166 168 170 171 174 175 181
a 3 7 8 11 13 14 20 22 23 25 30 31 32 36 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 92 96 98 100 106 107 109 114 115 119 120 123 126 128 130 131 137 143 145 146 165 166 168 170 171 174 175 181
a 3 4 7 8 11 13 14 20 22 23 25 30 31 32 36 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 92 96 98 100 106 107 109 114 115 119 120 123 128 130 131 137 143 145 146 165 166 168 170 171 174 175 181
a 3 4 7 8 9 11 13 14 20 22 23 25 30 31 32 36 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 92 96 98 106 107 109 114 115 119 120 123 128 130 131 137 143 145 146 165 166 168 170 171 174 175 181
a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 36 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 92 96 98 106 107 109 114 115 119 120 123 128 130 131 137 143 145 146 160 165 166 168 170 171 174 175 181
a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 36 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 92 96 98 106 107 109 114 115 119 120 123 128 130 131 137 143 146 160 165 166 168 170 171 174 175 181 182
a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 109 114 115 119 120 123 128 130 131 137 143 146 160 165 166 168 170 171 174 175 181 182
a 3 4 7 8 9 11 13 14 20 22 23 25 30 32 37 38 40 42 46 51 55 60 61 64 66 69 70 81 83 86 90 91 92 96 98 106 107 109 111 114 115 119 120 123 128 130 131 137 143 146 160 166 168 170 171 174 175 181 182
c Step: 169
#END: [Tue Sep 26 04:23:29 2023]