#BEGIN: [Tue Sep  5 07:31:01 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance014_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance014_graph004_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance014_graph004.col /benchmark/random_instance/random_instance014_graph004_01.dat
c /benchmark/random_instance/random_instance014_graph004.col
c /benchmark/random_instance/random_instance014_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID c9788bc401181079f4779a9f7de3d66a885979642b720b4f29b33df0576c86ea
s 7 66 44 85 149 178 148 20 10 31 179 77 97 76 72 9 94 39 144 91 30 25 156 95 128 130 41 21 147 38 150 90 3 107 71 58 6 24 92 131 122 164 87 64 53 124 180 4 103 121 119 182 50 78 45 16
t 91 49 88 79 78 137 168 169 62 173 90 141 131 26 158 112 30 69 68 104 56 143 46 122 40 17 140 174 149 55 123 39 93 147 159 64 50 10 110 111 117 99 8 66 45 71 145 25 128 94 153 42 13 24 132 57
a YES
a 3 4 6 7 9 10 16 20 21 24 25 30 31 38 39 41 44 45 50 53 58 64 66 71 72 76 77 78 85 87 90 91 92 94 95 97 103 107 119 121 122 124 128 130 131 144 147 148 149 150 156 164 178 179 180 182
a 3 4 6 7 10 16 20 21 24 25 30 31 38 39 41 44 45 50 53 58 64 66 71 72 76 77 78 79 85 87 90 91 92 94 95 97 103 107 119 121 122 124 128 130 131 144 147 148 149 150 156 164 178 179 180 182
a 3 4 6 7 10 13 16 20 21 24 25 30 31 38 39 41 45 50 53 58 64 66 71 72 76 77 78 79 85 87 90 91 92 94 95 97 103 107 119 121 122 124 128 130 131 144 147 148 149 150 156 164 178 179 180 182
a 3 4 6 7 10 13 16 20 21 24 25 30 31 38 39 41 45 50 53 58 64 66 71 72 76 77 78 79 85 87 90 91 92 94 95 97 103 107 119 122 124 128 130 131 144 147 148 149 150 156 164 173 178 179 180 182
a 3 4 6 7 10 13 16 20 21 24 25 30 31 38 39 41 45 50 53 58 64 65 66 71 72 76 77 78 79 85 87 90 91 92 94 95 97 103 107 119 122 124 128 130 131 144 147 148 149 150 156 164 173 178 179 182
a 3 4 6 7 10 13 16 20 21 24 25 26 30 31 38 39 41 45 50 53 58 64 65 66 71 72 76 77 78 79 85 87 90 91 92 94 95 97 103 107 119 122 124 128 130 131 144 147 148 149 150 156 164 178 179 182
a 3 4 6 7 10 13 16 20 21 24 25 26 30 31 38 39 41 45 50 53 58 64 65 66 71 72 76 77 78 79 85 87 90 91 92 94 95 97 103 119 122 124 128 130 131 144 147 148 149 150 152 156 164 178 179 182
a 3 6 7 10 13 16 20 21 24 25 26 30 31 38 39 41 45 50 53 58 64 65 66 71 72 76 77 78 79 85 87 90 91 92 94 95 97 103 119 122 124 128 130 131 140 144 147 148 149 150 152 156 164 178 179 182
a 3 6 7 10 13 16 20 21 24 25 26 30 31 38 39 41 45 50 53 58 64 65 66 71 72 76 77 78 79 85 87 90 91 92 94 95 97 103 107 119 122 124 128 130 131 140 144 147 148 149 150 156 164 178 179 182
a 3 6 7 10 13 16 20 21 24 25 26 30 31 38 39 41 45 50 53 58 64 65 66 71 72 76 77 78 79 85 87 90 91 92 94 95 97 103 110 119 122 124 128 130 131 140 144 147 148 149 150 156 164 178 179 182
a 3 6 7 10 13 16 20 21 24 25 26 30 31 38 39 41 45 50 53 58 64 65 66 71 72 76 77 78 79 85 87 90 91 92 94 95 97 110 119 122 124 128 130 131 140 144 147 148 149 150 152 156 164 178 179 182
a 3 6 10 13 16 20 21 24 25 26 30 31 38 39 41 45 50 53 58 64 65 66 71 72 76 77 78 79 85 87 90 91 92 94 95 97 103 110 119 122 124 128 130 131 140 144 147 148 149 150 152 156 164 178 179 182
a 2 3 6 10 13 16 20 21 24 25 26 30 31 38 39 41 45 50 53 58 64 65 66 71 72 76 77 78 79 85 87 90 91 92 94 95 97 103 110 119 122 124 128 130 131 140 144 147 148 149 150 152 156 164 178 182
a 2 3 6 7 10 13 16 20 21 24 25 26 30 31 38 39 41 45 50 53 58 64 65 66 71 72 76 77 78 79 85 87 90 91 92 94 95 97 103 110 119 122 124 128 130 131 140 144 147 149 150 152 156 164 178 182
a 2 3 6 7 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 50 53 58 64 65 66 71 72 76 77 78 79 85 87 90 91 92 94 95 97 110 119 122 124 128 130 131 140 144 147 149 150 152 156 164 178 182
a 2 3 6 7 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 48 50 53 58 64 65 66 71 72 76 77 78 79 87 90 91 92 94 95 97 110 119 122 124 128 130 131 140 144 147 149 150 152 156 164 178 182
a 2 6 7 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 48 50 53 58 64 65 66 69 71 72 76 77 78 79 87 90 91 92 94 95 97 110 119 122 124 128 130 131 140 144 147 149 150 152 156 164 178 182
a 2 6 7 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 48 50 53 58 64 65 66 69 71 72 76 77 78 79 87 90 91 92 94 95 97 110 118 119 122 124 128 131 140 144 147 149 150 152 156 164 178 182
a 2 6 7 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 48 50 53 58 64 65 66 69 71 72 74 76 77 78 79 87 90 91 92 94 95 97 110 118 119 122 124 128 131 140 144 147 149 150 152 156 164 182
a 2 6 7 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 48 50 53 58 64 65 66 69 71 72 74 76 77 78 79 87 90 91 92 94 95 97 110 118 119 122 124 128 131 140 144 147 149 150 152 156 165 182
a 2 3 7 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 48 50 53 58 64 65 66 69 71 72 74 76 77 78 79 87 90 91 92 94 95 97 110 118 119 122 124 128 131 140 144 147 149 150 152 156 165 182
a 2 3 7 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 48 50 53 58 64 65 66 69 71 72 76 77 78 79 87 90 91 92 94 95 97 110 117 118 119 122 124 128 131 140 144 147 149 150 152 156 165 182
a 2 3 7 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 48 50 53 58 64 65 66 69 71 72 76 77 78 79 87 90 91 94 95 97 110 117 118 119 122 124 128 131 140 144 147 149 150 152 156 162 165 182
a 2 3 7 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 48 50 53 58 64 65 66 69 71 72 76 77 78 79 87 90 91 94 95 97 104 110 117 118 119 122 124 128 131 140 144 147 149 150 152 156 162 182
a 2 3 7 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 48 50 53 58 64 65 66 69 71 72 76 77 78 79 87 90 91 94 95 97 104 110 117 119 122 124 128 130 131 140 144 147 149 150 152 156 162 182
a 2 6 7 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 48 50 53 58 64 65 66 69 71 72 76 77 78 79 87 90 91 94 95 97 104 110 117 119 122 124 128 130 131 140 144 147 149 150 152 156 162 182
a 2 6 7 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 50 53 58 64 66 69 71 72 76 77 78 79 87 90 91 94 95 97 104 110 117 119 122 124 128 130 131 140 144 147 149 150 152 156 162 182
a 2 6 7 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 53 58 64 66 69 71 72 76 77 78 79 87 90 91 94 95 97 104 110 117 119 122 124 128 130 131 140 144 147 149 150 152 156 162 176 182
a 2 3 6 7 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 53 58 64 66 69 71 72 76 77 78 79 87 90 91 94 95 97 104 110 117 119 122 124 128 130 131 140 144 147 149 150 152 156 162 176 182
a 2 3 6 7 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 53 58 64 66 69 71 72 76 77 78 79 87 90 91 94 95 97 104 110 117 119 122 124 128 130 131 140 144 147 149 150 156 162 173 176 182
a 2 3 6 7 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 53 58 64 66 69 71 72 76 77 78 79 87 90 91 94 95 97 104 110 117 119 122 124 128 130 131 140 144 147 149 150 156 162 173 182
a 2 3 6 7 9 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 53 58 64 66 69 71 72 76 77 78 87 90 91 94 95 97 104 110 117 119 122 124 128 130 131 140 144 147 149 150 156 162 173 182
a 2 3 6 7 9 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 50 53 58 64 66 69 71 72 76 77 78 87 90 91 94 95 97 104 110 117 119 122 124 128 131 140 144 147 149 150 156 162 173 182
a 2 3 6 7 9 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 50 53 58 64 66 69 71 72 76 77 78 87 90 91 94 95 97 110 117 119 122 124 128 131 140 144 147 149 150 156 162 164 173 182
a 2 3 6 7 9 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 50 53 58 64 66 69 71 72 76 77 78 87 90 91 94 95 97 110 117 119 122 124 128 131 140 144 147 149 150 156 162 165 173 182
a 2 3 6 7 9 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 76 77 87 90 91 94 95 97 110 117 119 122 124 128 131 140 144 147 149 150 156 162 165 173 182
a 2 3 6 7 9 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 76 77 87 90 91 94 95 97 110 117 119 122 124 128 131 140 144 147 149 150 156 162 164 173 182
a 2 3 6 7 9 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 76 77 87 90 91 94 95 97 110 117 119 122 124 128 131 140 144 147 149 150 156 162 173 178 182
a 2 3 6 7 9 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 76 77 87 90 91 94 95 97 110 117 119 122 124 128 131 140 144 146 147 149 150 162 173 178 182
a 2 3 6 7 9 10 13 20 21 22 24 25 26 30 31 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 76 77 87 90 91 94 95 97 110 117 119 122 124 128 131 140 144 146 147 149 150 162 165 173 178 182
a 2 3 6 7 9 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 76 77 87 90 91 94 95 97 110 117 119 122 124 128 131 140 144 146 147 149 150 165 173 178 182
a 2 3 6 9 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 76 77 87 90 91 94 95 97 110 117 118 119 122 124 128 131 140 144 146 147 149 150 165 173 178 182
a 2 3 6 9 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 76 77 87 90 91 94 95 97 110 117 118 119 122 124 128 131 140 142 144 146 149 150 165 173 178 182
a 2 3 6 9 10 13 16 20 21 22 24 25 26 30 31 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 76 77 87 90 91 94 95 97 110 117 118 119 122 124 128 131 140 142 144 146 149 150 164 173 178 182
a 2 3 6 9 10 13 16 20 21 22 24 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 76 77 87 90 94 95 97 110 117 118 119 122 124 128 131 140 142 144 146 149 150 164 173 178 182
a 2 3 6 9 10 13 16 20 21 22 24 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 76 77 87 90 94 95 97 110 117 118 119 122 124 128 131 140 142 144 146 149 150 162 164 178 182
a 2 3 6 9 10 13 16 20 21 22 24 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 76 77 87 90 94 95 97 110 117 118 119 122 124 128 131 140 142 144 146 149 150 162 165 178 182
a 2 3 6 9 10 13 16 19 20 21 22 24 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 76 77 87 90 94 95 97 110 117 118 119 122 124 128 131 140 142 144 146 149 150 162 165 178
a 2 3 6 9 10 13 19 20 21 22 24 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 76 77 80 87 90 94 95 97 110 117 118 119 122 124 128 131 140 142 144 146 149 150 162 165 178
a 2 3 6 8 10 13 19 20 21 22 24 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 76 77 80 87 90 94 95 97 110 117 118 119 122 124 128 131 140 142 144 146 149 150 162 165 178
a 2 3 6 8 10 13 19 20 21 22 24 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 73 76 77 80 87 90 94 95 97 110 117 118 119 122 124 128 131 140 142 144 146 149 150 165 178
a 2 3 6 10 13 19 20 21 22 24 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 73 76 77 80 87 90 94 95 97 110 117 118 119 122 124 128 131 140 142 144 146 149 150 165 173 178
a 2 3 6 8 10 13 19 20 21 22 24 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 73 76 77 80 87 90 94 95 97 110 117 118 119 122 124 128 131 140 142 144 146 149 165 173 178
a 2 3 6 8 10 13 19 20 21 22 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 73 76 77 80 87 90 94 95 97 110 117 118 119 122 124 128 131 140 142 144 146 149 165 173 178 182
a 2 3 6 8 10 13 19 20 21 22 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 73 76 77 80 87 90 94 95 97 110 113 117 118 119 122 124 128 131 140 142 146 149 165 173 178 182
a 2 3 6 7 10 13 19 20 21 22 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 73 76 77 80 87 90 94 95 97 110 113 117 118 119 122 124 128 131 140 142 146 149 165 173 178 182
a 2 3 6 7 10 13 19 20 21 22 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 73 76 77 80 87 90 94 95 97 110 113 117 118 119 122 124 128 131 140 142 146 149 151 165 173 182
a 2 3 6 7 10 13 19 20 21 22 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 73 76 77 80 87 90 94 95 97 110 113 117 118 119 122 124 128 131 140 142 146 149 151 164 173 182
a 2 3 6 7 10 13 19 20 21 22 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 73 76 77 80 87 90 94 95 97 110 113 117 118 119 122 124 128 131 140 142 146 149 150 151 164 173
a 2 3 6 7 10 13 19 20 22 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 73 76 77 80 87 90 94 95 97 99 110 113 117 118 119 122 124 128 131 140 142 146 149 150 151 164 173
a 2 3 6 7 10 13 19 20 22 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 73 76 77 80 87 90 94 95 97 99 110 113 117 118 119 122 124 128 131 140 142 146 149 150 164 170 173
a 2 3 6 7 10 13 19 20 22 25 26 30 31 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 73 76 77 80 87 90 94 95 97 99 110 113 117 118 119 122 124 128 131 140 142 146 149 150 159 164 170 173
a 2 3 6 7 10 13 19 20 22 25 26 30 31 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 73 76 77 80 87 90 94 95 97 99 110 113 117 118 119 122 124 128 131 140 142 146 149 150 159 165 170 173
a 2 3 6 7 10 13 19 20 22 25 26 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 69 71 72 73 76 77 80 87 90 94 95 97 99 110 113 117 118 119 122 124 128 131 140 142 146 149 150 165 170 173
a 2 3 6 7 10 13 19 20 22 25 26 29 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 71 72 73 76 77 80 87 90 94 95 97 99 110 113 117 118 119 122 124 128 131 140 142 146 149 150 165 170 173
a 2 3 6 7 10 13 19 20 22 25 26 29 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 71 73 76 77 80 87 90 94 95 97 99 110 113 117 118 119 122 124 128 131 140 141 142 146 149 150 165 170 173
a 2 3 6 7 10 13 19 20 22 26 29 30 31 35 38 39 41 45 47 48 50 53 58 60 64 66 71 73 76 77 80 87 90 94 95 97 99 110 113 117 118 119 122 124 128 131 140 141 142 146 149 150 165 170 173 182
a 2 3 6 7 10 13 19 20 22 26 29 30 31 38 39 41 45 47 48 50 53 58 60 64 66 71 73 76 77 80 87 90 94 95 97 99 110 113 117 118 119 122 124 128 131 140 141 142 146 149 150 159 165 170 173 182
a 2 3 6 7 10 13 19 20 22 26 29 30 31 38 39 41 45 47 48 50 53 58 60 64 66 71 73 76 77 80 87 90 94 95 97 99 110 113 117 118 119 122 124 128 131 140 141 142 146 149 150 159 164 170 173 182
a 1 2 3 6 7 10 13 19 20 22 26 29 30 31 38 39 41 45 47 48 50 53 58 60 64 66 71 73 76 77 80 87 90 94 95 97 99 110 113 117 118 119 122 124 128 131 140 141 142 146 149 150 159 164 170 182
a 1 2 3 6 7 10 13 19 20 22 26 29 30 31 38 39 41 45 47 48 50 53 58 60 64 66 71 73 76 77 80 87 90 94 95 97 99 110 113 117 118 119 122 124 128 131 140 141 142 146 150 159 161 164 170 182
a 1 2 3 6 7 10 13 19 20 22 26 29 30 31 38 39 41 45 47 48 50 53 58 60 64 66 71 73 76 77 80 87 90 94 95 97 99 110 113 117 118 119 122 124 128 131 140 141 142 146 150 159 161 165 170 182
a 1 2 3 6 7 10 13 19 20 22 26 29 30 31 38 39 41 45 47 48 50 53 58 64 66 71 73 74 76 77 80 87 90 94 95 97 99 110 113 117 118 119 122 124 128 131 140 141 142 146 150 159 161 165 170 182
a 1 2 3 6 7 10 13 19 20 22 26 29 30 38 39 41 45 47 48 50 53 58 64 66 71 73 74 75 76 77 80 87 90 94 95 97 99 110 113 117 118 119 122 124 128 131 140 141 142 146 150 159 161 165 170 182
a 1 2 3 6 10 13 19 20 22 26 29 30 38 39 41 45 47 48 50 53 58 64 66 71 73 74 75 76 77 80 87 90 94 95 97 99 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 165 170 182
a 1 2 3 6 10 19 20 22 26 29 30 38 39 41 45 47 48 50 53 58 64 66 71 73 74 75 76 77 80 87 90 94 95 97 99 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 165 170 182
a 1 2 3 6 7 10 19 20 22 26 29 30 38 39 41 45 47 48 50 53 58 64 66 71 73 75 76 77 80 87 90 94 95 97 99 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 165 170 182
a 1 2 3 6 7 10 19 20 22 26 29 30 38 39 41 45 47 48 50 53 58 64 66 71 73 75 76 77 80 87 90 94 95 97 99 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 164 170 182
a 1 2 3 6 7 10 19 20 22 26 29 30 38 39 41 45 47 48 50 53 58 64 66 71 73 75 76 77 80 87 90 94 95 97 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 164 170 173 182
a 1 2 3 6 7 10 19 20 22 26 29 30 38 39 41 45 47 48 50 53 58 64 66 71 73 75 76 77 80 87 90 94 95 97 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 165 170 173 182
a 1 2 3 6 7 10 16 19 20 22 26 29 30 38 39 41 45 47 48 50 53 58 64 66 71 73 75 76 77 87 90 94 95 97 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 165 170 173 182
a 1 2 3 6 7 10 16 19 20 22 26 29 30 38 39 41 45 47 48 50 53 58 64 66 67 71 73 75 76 77 87 90 94 95 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 165 170 173 182
a 1 2 3 6 7 10 16 19 20 22 26 29 30 38 39 41 45 47 48 50 53 58 64 66 67 71 73 75 76 77 87 90 94 95 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 164 170 173 182
a 1 2 3 6 7 10 16 19 20 22 25 26 29 30 38 39 41 45 47 48 50 53 58 64 66 67 71 73 75 76 77 87 90 94 95 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 164 173 182
a 1 2 3 6 7 10 13 16 19 20 22 25 26 29 30 38 39 41 45 47 48 50 53 58 64 66 67 71 73 75 76 77 87 90 94 95 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 164 182
a 1 2 3 6 7 10 13 16 19 20 25 26 29 30 38 39 41 45 47 48 50 53 58 64 66 67 71 73 75 76 77 87 88 90 94 95 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 164 182
a 1 2 3 6 7 10 13 16 19 20 25 26 29 30 38 39 41 45 47 48 50 53 58 64 66 67 71 73 75 76 77 87 88 90 94 95 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 173 182
a 1 2 3 6 7 10 13 16 19 20 25 26 29 30 38 39 41 45 47 48 50 53 58 64 66 67 71 73 75 76 77 87 88 90 94 95 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 164 173
a 1 2 3 6 7 10 13 16 20 25 26 29 30 34 38 39 41 45 47 48 50 53 58 64 66 67 71 73 75 76 77 87 88 90 94 95 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 164 173
a 1 2 3 6 7 10 13 16 20 22 25 26 29 30 34 38 39 41 45 47 48 50 53 58 64 66 67 71 73 75 76 77 87 90 94 95 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 164 173
a 1 2 3 6 7 10 13 16 20 22 25 26 29 30 34 35 38 39 41 45 47 48 50 53 58 64 66 67 71 73 75 76 77 87 90 94 95 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 161 164 173
a 1 2 3 6 7 9 10 13 16 20 22 25 26 29 30 34 35 38 39 41 45 47 48 50 53 58 64 66 67 71 73 75 76 77 87 90 94 95 100 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 161 164
a 1 2 3 6 7 9 10 13 16 20 22 25 29 30 34 35 38 39 41 45 47 48 50 53 58 64 66 67 71 73 75 76 77 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 161 164
a 1 2 3 6 7 9 10 13 16 20 22 25 29 30 34 38 39 41 45 47 48 50 53 58 64 66 67 71 73 75 76 77 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 164
a 1 2 3 6 7 9 10 13 16 20 22 25 29 30 34 38 39 41 45 47 48 50 53 58 64 66 67 71 73 75 76 77 87 90 94 95 100 101 110 113 117 119 122 124 128 130 131 140 141 142 146 150 151 159 161 164
a 1 2 3 6 7 9 10 16 20 22 25 29 30 34 38 39 41 44 45 47 48 50 53 58 64 66 67 71 73 75 76 77 87 90 94 95 100 101 110 113 117 119 122 124 128 130 131 140 141 142 146 150 151 159 161 164
a 1 2 3 6 7 9 10 16 20 22 25 29 30 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 71 73 75 77 87 90 94 95 100 101 110 113 117 119 122 124 128 130 131 140 141 142 146 150 151 159 161 164
a 1 2 3 6 7 9 10 16 20 22 25 29 30 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 71 73 75 77 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 164
a 1 2 3 6 7 9 10 16 20 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 71 73 77 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 140 141 142 146 150 151 159 161 164
a 1 2 3 6 7 9 10 16 20 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 69 71 73 77 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 141 142 146 150 151 159 161 164
a 1 2 3 6 7 9 10 16 20 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 141 142 146 150 159 161 164
a 1 2 3 6 7 9 10 16 20 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 141 142 146 150 159 161 182
a 1 2 3 6 7 9 10 16 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 68 69 71 73 74 77 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 141 142 146 150 159 161 182
a 1 2 3 6 7 9 10 16 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 68 69 71 73 74 77 78 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 141 142 146 150 159 161
a 1 2 3 6 7 9 10 16 20 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 78 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 141 142 146 150 159 161
a 1 2 3 6 7 9 10 16 20 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 78 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 141 142 146 150 159 182
a 1 2 3 6 7 9 10 16 20 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 78 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 141 142 146 150 151 159
a 1 2 3 6 7 9 10 16 20 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 78 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 141 142 146 151 159 182
a 1 2 3 6 7 9 10 15 16 20 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 78 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 141 142 146 151 182
a 1 2 3 6 7 9 10 15 16 20 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 78 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 141 142 146 161 182
a 1 2 3 6 7 9 10 16 20 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 78 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 141 142 146 150 161 182
a 1 2 3 7 9 10 16 20 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 78 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 141 142 146 150 159 161 182
a 1 2 3 7 9 10 15 16 20 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 78 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 141 142 146 159 161 182
a 1 2 3 7 9 10 15 16 20 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 141 142 146 159 161 170 182
a 1 2 3 6 7 9 10 15 16 20 22 25 29 30 31 34 38 39 41 44 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 141 142 146 159 161 170
a 1 2 3 6 7 9 10 15 16 20 22 25 29 30 31 34 38 39 41 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 140 141 142 146 159 161 170
a 1 2 3 6 7 9 10 15 16 20 22 25 29 31 34 38 39 41 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 140 141 142 146 159 161 164 170
a 1 2 3 6 7 9 10 16 20 22 25 29 31 34 38 39 41 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 140 141 142 146 150 159 161 164 170
a 2 3 6 7 9 10 16 20 22 25 29 31 34 38 39 41 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 87 90 94 95 100 101 110 113 117 118 119 122 124 128 131 140 141 142 146 150 159 161 164 170 182
a 2 3 6 7 9 10 16 20 22 25 27 29 31 34 38 39 41 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 87 90 94 95 100 101 110 113 117 118 122 124 128 131 140 141 142 146 150 159 161 164 170 182
a 2 3 6 7 9 10 16 20 22 25 27 29 31 34 38 39 41 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 87 90 94 95 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 150 159 164 170 182
a 2 3 6 7 9 10 20 22 25 27 29 31 34 38 39 41 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 80 87 90 94 95 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 150 159 164 170 182
a 1 2 3 6 7 9 10 20 22 25 27 29 34 38 39 41 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 80 87 90 94 95 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 150 159 164 170 182
a 1 2 3 6 7 9 10 20 22 25 27 29 34 35 38 39 41 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 80 87 90 94 95 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 150 164 170 182
a 1 2 3 6 7 9 10 20 22 25 27 29 34 35 38 39 41 45 47 48 50 53 58 61 64 66 67 69 71 73 74 77 80 87 90 94 95 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 150 164 182
a 1 2 3 6 7 9 10 20 22 25 27 29 34 35 38 39 41 42 45 47 48 50 53 61 64 66 67 69 71 73 74 77 80 87 90 94 95 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 150 164 182
a 1 2 3 6 7 9 10 20 22 25 27 29 34 35 38 39 41 42 45 47 48 50 53 61 64 66 67 69 71 73 74 77 80 87 90 93 94 95 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 150 164 182
a 1 2 3 6 7 9 10 20 22 25 27 29 34 38 39 41 42 45 47 48 50 53 61 64 66 67 69 71 73 74 77 80 87 90 93 94 95 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 150 159 164 182
a 1 2 3 6 7 9 10 20 22 25 29 34 38 39 41 42 45 47 48 50 53 61 64 66 67 69 71 73 74 77 80 87 90 93 94 95 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 150 159 161 164 182
a 1 2 3 6 7 9 10 20 22 25 29 34 38 39 41 42 45 47 48 50 53 61 64 66 67 69 71 73 74 77 80 87 90 92 93 94 95 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 150 161 164 182
a 1 2 3 6 7 9 10 20 22 25 29 34 39 41 42 45 47 48 50 53 61 64 66 67 69 71 73 74 77 80 87 90 92 93 94 95 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 150 151 161 164 182
a 1 2 3 6 7 9 10 15 20 22 25 29 34 39 41 42 45 47 48 50 53 61 64 66 67 69 71 73 74 77 80 87 90 92 93 94 95 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 151 161 164 182
a 1 2 3 6 7 9 10 15 20 22 25 29 34 39 41 42 45 47 48 50 53 61 64 66 67 69 71 73 74 77 80 87 90 93 94 95 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 151 159 161 164 182
a 1 2 3 6 7 9 10 15 20 22 25 29 34 39 41 42 45 47 48 50 53 61 64 66 67 69 71 73 74 77 80 87 90 93 94 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 151 153 159 161 164 182
a 2 3 6 7 9 10 15 20 22 25 29 34 39 41 42 45 47 48 50 53 61 62 64 66 67 69 71 73 74 77 80 87 90 93 94 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 151 153 159 161 164 182
a 2 3 6 7 9 10 15 20 22 25 29 39 41 42 45 47 48 50 53 60 61 62 64 66 67 69 71 73 74 77 80 87 90 93 94 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 151 153 159 161 164 182
a 2 3 6 7 9 10 15 20 22 25 29 39 41 42 45 47 48 50 53 60 61 62 64 66 67 69 71 73 74 77 80 87 90 94 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 151 153 159 161 164 182
a 2 3 6 7 9 10 15 20 22 25 27 29 39 41 42 45 47 48 53 60 61 62 64 66 67 69 71 73 74 77 80 87 90 94 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 151 153 159 161 164 182
a 2 3 6 7 9 10 15 22 25 27 29 39 41 42 45 47 48 53 60 61 62 64 66 67 68 69 71 73 74 77 80 87 90 94 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 151 153 159 161 164 182
a 2 3 6 7 10 15 22 25 27 29 39 41 42 45 47 48 53 60 61 62 64 66 67 68 69 71 73 74 77 79 80 87 90 94 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 151 153 159 161 164 182
a 2 3 6 7 10 15 22 25 27 29 39 41 42 45 47 48 53 60 61 62 64 66 67 68 69 71 73 74 77 79 80 87 90 94 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 151 153 159 160 164 182
a 2 3 6 7 10 15 22 25 27 29 39 41 42 45 47 48 53 57 60 61 62 64 66 67 68 69 71 73 74 77 79 80 87 90 94 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 151 153 159 160 182
a 2 3 6 7 10 15 22 25 27 29 34 39 41 42 45 47 48 53 57 60 61 62 64 66 67 68 69 71 73 74 77 79 80 87 90 94 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 151 153 159 160
a 2 6 7 10 15 22 25 27 29 34 39 41 42 45 47 48 53 57 60 61 62 64 66 67 68 69 71 73 74 77 79 80 87 90 94 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 151 153 159 160 161
a 2 6 7 10 15 22 25 27 29 34 38 39 41 42 45 47 48 53 57 60 61 64 66 67 68 69 71 73 74 77 79 80 87 90 94 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 151 153 159 160 161
a 2 3 6 7 10 15 22 25 27 29 34 38 39 41 42 45 47 48 53 57 60 61 64 66 67 68 69 71 73 74 77 79 80 87 90 94 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 151 153 160 161
a 2 3 6 7 10 15 22 25 27 29 34 38 39 42 45 47 48 53 57 60 61 64 66 67 68 69 71 73 74 77 79 80 87 90 94 96 100 101 109 110 113 117 118 122 124 128 131 140 141 142 146 151 153 159 160 161
a 2 3 6 7 10 15 22 25 27 29 34 38 39 42 45 47 48 53 57 60 61 64 66 67 68 69 71 73 74 77 79 80 87 90 94 96 100 101 109 110 113 117 122 124 128 130 131 140 141 142 146 151 153 159 160 161
a 2 3 6 7 10 22 25 27 29 34 38 39 41 42 45 47 48 53 57 60 61 64 66 67 68 69 71 73 74 77 79 80 87 90 94 96 100 101 109 110 113 117 122 124 128 130 131 140 141 142 146 151 153 159 160 161
a 2 3 6 7 10 22 25 27 29 34 38 39 41 42 45 47 48 53 57 60 61 64 66 67 68 69 71 73 74 77 79 80 87 90 94 96 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 151 153 159 160 161
a 1 2 3 6 7 10 22 25 27 29 34 38 39 41 42 45 47 48 53 57 60 61 64 66 67 68 69 71 73 74 77 79 80 87 90 94 96 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 151 153 159 161
a 1 2 3 6 7 10 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 60 61 64 66 67 68 69 71 73 74 77 79 80 87 90 94 96 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 151 153 161
a 1 2 3 6 7 10 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 60 61 64 66 68 69 71 73 74 77 79 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 151 153 161
a 1 2 3 6 7 10 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 60 61 64 66 68 69 71 73 74 77 79 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 153
a 1 2 3 6 7 10 13 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 60 61 64 66 68 71 73 74 77 79 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 153
a 1 2 3 6 7 10 13 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 58 60 61 66 68 71 73 74 77 79 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 153
a 1 2 3 6 7 10 13 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 58 60 61 64 68 71 73 74 77 79 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 153
a 1 2 3 6 7 10 13 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 58 60 61 64 68 71 73 77 79 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 153 173
a 2 3 6 7 10 13 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 58 60 61 64 68 71 73 77 79 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 153 160 173
a 2 3 6 7 10 13 22 25 27 29 34 39 41 42 45 47 48 50 53 57 58 60 61 62 64 68 71 73 77 79 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 153 160 173
a 2 3 6 7 13 22 25 27 29 34 39 41 42 45 47 48 50 53 57 58 60 61 62 64 68 69 71 73 77 79 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 153 160 173
a 2 3 6 7 13 22 25 27 29 34 39 41 42 45 47 48 50 53 57 58 60 61 62 64 69 71 73 77 79 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 153 159 160 173
a 2 3 6 7 13 22 25 27 29 34 39 41 42 45 47 48 50 53 57 58 60 61 62 64 68 69 71 73 77 79 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 159 160 173
a 2 3 6 7 13 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 58 60 61 64 68 69 71 73 77 79 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 159 160 173
a 2 3 6 7 10 13 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 58 60 61 64 68 69 73 77 79 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 159 160 173
a 1 2 3 6 7 10 13 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 58 60 61 64 68 69 73 77 79 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 159 173
a 1 2 3 6 7 10 13 19 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 58 60 61 64 68 69 73 77 79 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 173
a 1 2 3 6 7 10 13 19 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 58 60 61 64 68 69 73 77 79 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 182
a 1 2 3 6 7 10 13 19 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 58 60 61 64 68 69 73 77 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 173 182
a 1 2 3 6 7 10 13 19 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 58 60 61 64 68 69 73 74 77 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 182
a 1 2 3 6 7 10 13 19 21 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 58 60 61 64 68 69 73 74 77 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151
a 1 2 3 6 7 10 13 19 21 22 25 27 29 34 38 39 41 42 45 47 48 50 53 57 58 60 61 64 68 69 73 77 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 173
a 1 2 3 7 10 13 19 21 22 25 27 29 31 34 38 39 41 42 45 47 48 50 53 57 58 60 61 64 68 69 73 77 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 173
a 1 2 3 7 10 13 19 21 22 25 27 29 31 34 38 39 41 42 45 47 48 50 53 57 60 61 64 68 69 71 73 77 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 173
a 1 2 7 10 13 19 21 22 25 27 29 31 34 38 39 41 42 45 47 48 49 50 53 57 60 61 64 68 69 71 73 77 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 173
a 1 2 7 10 13 19 21 22 25 27 29 31 34 38 39 41 42 45 47 48 49 50 53 57 60 61 64 68 69 71 73 77 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 150 151 182
a 1 2 7 10 13 19 21 22 25 27 29 31 34 38 39 41 42 45 47 48 49 50 53 57 60 61 64 68 69 71 73 77 80 87 90 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 151 173 182
a 2 7 10 13 19 21 22 25 27 29 31 34 38 39 41 42 45 47 48 49 50 53 57 60 61 64 68 69 71 73 77 80 87 90 92 94 96 97 100 101 109 110 117 122 124 128 130 131 140 141 142 144 146 151 173 182
a 2 7 10 13 19 21 22 25 27 29 31 34 38 39 41 42 45 47 48 49 50 53 57 60 61 64 68 69 71 73 77 80 87 90 92 94 96 97 100 101 109 110 117 118 122 124 128 131 140 141 142 144 146 151 173 182
a 2 7 10 13 19 21 22 25 27 29 31 34 38 39 41 42 45 47 48 49 50 53 57 60 61 64 68 69 71 73 77 80 87 90 92 94 96 97 100 101 109 110 117 118 122 124 128 131 140 141 142 144 146 150 151 173
a 1 2 7 10 13 19 21 22 25 27 29 31 34 38 39 41 42 45 47 48 49 50 53 57 60 61 64 68 69 71 73 77 80 87 90 92 94 96 97 100 101 109 110 117 118 122 124 128 131 140 141 142 144 146 150 151
a 1 2 6 7 10 13 19 21 22 25 27 29 31 34 38 39 41 42 45 47 48 49 50 53 57 60 61 64 68 69 71 73 77 80 87 90 92 94 96 97 100 101 109 110 117 118 122 124 128 131 140 141 142 144 146 151
a 1 2 6 7 10 13 19 21 22 25 27 29 31 34 38 39 41 42 45 47 48 49 50 53 57 60 61 64 68 69 71 73 77 80 87 90 92 94 96 97 100 101 109 110 117 118 122 124 128 131 140 141 142 144 146 150
a 1 2 6 7 10 13 19 21 22 25 27 29 31 34 38 39 41 42 45 47 48 49 50 53 57 60 61 64 68 69 71 73 77 80 87 90 92 94 97 100 101 109 110 117 118 122 124 128 131 140 141 142 144 146 150 182
a 1 2 6 7 10 13 19 21 22 25 27 29 31 34 38 39 41 42 45 47 48 49 50 53 57 60 61 64 68 69 71 73 77 80 87 90 92 94 97 100 101 109 110 117 118 122 124 128 131 140 141 142 144 146 150 161
a 1 2 6 7 10 13 19 21 22 25 27 29 31 34 38 39 41 42 45 47 48 49 50 53 57 60 61 64 67 68 69 71 73 77 80 87 90 92 94 100 101 109 110 117 118 122 124 128 131 140 141 142 144 146 150 161
a 1 2 3 6 7 10 13 19 21 22 25 27 29 31 34 38 39 41 42 45 47 48 50 53 57 60 61 64 67 68 69 71 73 77 80 87 90 92 94 100 101 109 110 117 118 122 124 128 131 140 141 142 144 146 150 161
a 1 2 3 6 7 10 13 19 21 22 25 27 29 31 34 38 39 41 42 45 47 48 50 53 54 57 60 61 64 67 68 69 71 73 77 80 87 90 92 94 100 101 109 110 117 118 122 124 128 131 140 141 142 144 150 161
a 1 2 3 6 7 10 13 19 21 22 25 27 29 31 34 35 38 39 41 42 45 47 48 50 53 54 57 60 61 64 67 68 69 71 73 77 80 87 90 92 94 100 101 109 110 117 118 122 124 128 131 140 141 142 144 150
a 1 2 3 6 7 10 13 19 21 22 25 27 29 31 34 35 38 39 41 42 45 47 48 50 53 54 57 60 61 64 67 68 69 71 73 77 80 87 90 92 94 95 100 101 109 110 117 118 122 124 128 131 140 141 142 144
a 1 2 3 7 10 13 19 21 22 25 27 29 31 34 35 38 39 41 42 45 47 48 50 53 54 57 60 61 64 67 68 69 71 73 77 80 87 90 92 94 95 100 101 109 110 117 118 122 124 128 131 132 140 141 142 144
a 1 2 3 7 10 13 19 21 22 25 27 29 31 34 35 38 39 41 42 45 47 48 50 53 54 57 60 64 66 67 68 69 71 73 77 80 87 90 92 94 95 100 101 109 110 117 118 122 124 128 131 132 140 141 142 144
a 1 2 3 7 10 13 19 21 22 25 27 29 31 34 35 38 39 41 42 45 47 48 50 53 54 57 60 64 66 67 68 69 71 73 77 80 87 92 94 95 100 101 109 110 117 118 122 124 128 131 132 140 141 142 144 163
a 1 2 3 7 10 13 19 21 22 25 26 27 29 31 34 35 38 39 41 42 45 47 48 50 53 54 57 60 64 66 67 68 69 71 73 77 80 87 92 94 95 100 109 110 117 118 122 124 128 131 132 140 141 142 144 163
a 1 2 3 7 10 11 13 19 21 22 25 26 27 29 31 34 35 38 39 42 45 47 48 50 53 54 57 60 64 66 67 68 69 71 73 77 80 87 92 94 95 100 109 110 117 118 122 124 128 131 132 140 141 142 144 163
a 1 2 3 7 10 11 13 19 21 22 25 26 27 29 31 34 35 38 39 42 45 47 48 50 53 54 57 60 64 66 67 68 69 71 73 77 80 87 92 94 95 100 109 110 117 118 122 124 128 131 132 140 141 142 144 161
a 1 2 3 7 10 11 13 19 21 22 25 26 27 29 31 34 35 38 39 42 45 47 48 50 53 54 57 60 64 66 67 68 69 71 73 77 80 87 92 94 95 100 102 109 110 117 118 122 124 128 131 132 140 141 142 144
a 1 2 3 7 10 11 13 17 19 21 22 25 26 27 29 31 34 35 38 39 42 45 47 48 50 53 54 57 60 64 66 67 68 69 71 73 77 80 87 92 94 95 100 102 109 110 117 118 122 124 128 131 132 140 141 144
a 1 2 3 7 10 11 13 17 19 21 22 25 26 27 29 31 34 35 38 42 45 47 48 50 53 54 57 60 64 66 67 68 69 71 73 77 80 87 92 94 95 100 102 106 109 110 117 118 122 124 128 131 132 140 141 144
a 1 2 3 7 10 11 13 17 19 21 22 25 26 27 29 31 34 35 38 42 45 47 48 50 53 54 57 60 64 66 67 68 69 71 73 77 80 87 92 94 95 100 102 106 109 110 117 118 122 124 128 131 132 141 142 144
a 1 2 3 7 9 10 11 13 17 19 21 22 25 26 27 29 31 34 35 38 42 45 47 48 50 53 54 57 60 64 66 67 68 69 71 73 77 80 87 92 94 95 100 102 106 109 110 117 118 122 124 128 131 132 141 142
a 1 2 3 7 9 10 11 13 17 19 21 22 25 26 27 29 31 34 35 38 42 45 47 48 50 53 54 57 60 64 66 67 68 69 71 73 77 80 87 92 94 95 100 102 106 109 110 117 118 122 124 128 131 132 141 144
a 1 2 3 7 9 10 11 13 17 19 21 22 25 27 29 31 34 35 38 42 45 47 48 50 53 54 57 60 64 66 67 68 69 71 73 77 80 87 92 94 95 100 102 106 109 110 117 118 122 124 128 131 132 140 141 144
a 1 2 3 7 9 10 11 13 17 19 21 22 25 27 29 34 35 38 42 45 47 48 50 53 54 56 57 60 64 66 67 68 69 71 73 77 80 87 92 94 95 100 102 106 109 110 117 118 122 124 128 131 132 140 141 144
a 1 2 3 7 9 10 11 13 17 19 21 22 25 27 29 34 35 38 42 45 47 48 50 53 56 57 60 64 66 67 68 69 71 73 77 80 87 92 94 95 100 102 106 109 110 117 118 122 124 128 131 132 140 141 142 144
a 1 2 3 7 9 10 11 13 17 19 21 22 25 29 34 35 38 42 45 47 48 50 53 56 57 60 64 66 67 68 69 71 73 77 80 87 92 94 95 100 102 106 109 110 117 118 122 124 128 131 132 140 141 142 144 163
a 1 2 3 7 9 10 11 13 17 19 21 22 25 29 34 35 38 42 45 47 48 50 53 56 57 58 60 64 66 67 68 71 73 77 80 87 92 94 95 100 102 106 109 110 117 118 122 124 128 131 132 140 141 142 144 163
a 1 2 3 7 9 10 11 13 17 19 21 22 25 29 34 35 38 42 45 47 48 50 53 56 57 58 60 64 66 67 68 71 73 77 80 87 92 94 95 100 102 106 109 110 117 118 122 124 128 131 132 140 141 142 163 164
a 1 2 3 7 9 10 11 13 17 19 22 25 29 34 35 38 42 45 47 48 50 53 56 57 58 60 64 66 67 68 71 73 77 80 87 92 94 95 100 102 106 109 110 117 118 122 124 128 131 132 140 141 142 149 163 164
a 1 2 3 7 9 10 11 13 17 19 22 25 29 34 35 38 42 45 47 48 50 53 56 57 58 60 64 66 67 68 71 73 77 80 87 92 94 95 100 102 106 109 110 117 118 122 124 128 131 132 140 141 142 146 149 163
a 1 2 3 7 9 10 11 13 17 19 22 25 26 29 34 35 38 42 45 47 48 50 53 56 57 58 60 64 66 67 68 71 73 77 80 87 92 94 95 100 102 106 109 110 117 118 122 124 128 131 132 140 141 142 146 149
a 1 2 3 7 9 10 11 13 19 22 25 26 29 34 35 38 42 45 47 48 50 53 56 57 58 60 64 66 67 68 71 73 77 80 87 92 94 95 100 102 106 109 110 117 118 122 124 128 131 132 140 141 142 144 146 149
a 1 2 3 7 9 10 11 13 19 21 22 25 26 29 35 38 42 45 47 48 50 53 56 57 58 60 64 66 67 68 71 73 77 80 87 92 94 95 100 102 106 109 110 117 118 122 124 128 131 132 140 141 142 144 146 149
a 1 2 7 9 10 11 13 19 21 22 25 26 29 35 38 42 45 47 48 50 53 56 57 58 60 64 66 67 68 71 73 77 80 87 92 94 95 100 102 106 109 110 117 118 122 124 128 131 132 140 141 142 144 146 149 164
a 1 2 7 9 10 11 13 19 21 22 25 26 29 35 38 42 45 47 48 50 53 56 57 58 60 64 66 67 68 71 73 77 80 87 92 94 95 100 102 106 109 110 117 122 124 128 130 131 132 140 141 142 144 146 149 164
a 1 2 7 9 10 11 13 19 21 22 25 26 29 34 35 38 42 45 47 48 50 53 56 57 58 60 64 66 67 68 71 73 77 80 87 92 94 95 100 102 106 109 110 117 122 124 128 130 131 132 140 141 142 144 146 149
a 1 2 7 9 10 11 13 19 21 22 25 26 29 34 35 38 42 45 47 48 50 53 56 57 58 64 66 67 68 71 73 77 80 87 92 94 95 100 102 104 106 109 110 117 122 124 128 130 131 132 140 141 142 144 146 149
a 1 2 7 9 10 11 13 19 21 22 24 25 26 34 35 38 42 45 47 48 50 53 56 57 58 64 66 67 68 71 73 77 80 87 92 94 95 100 102 104 106 109 110 117 122 124 128 130 131 132 140 141 142 144 146 149
a 1 2 7 9 10 11 13 19 21 22 24 25 26 31 34 35 38 42 45 47 48 50 53 57 58 64 66 67 68 71 73 77 80 87 92 94 95 100 102 104 106 109 110 117 122 124 128 130 131 132 140 141 142 144 146 149
a 1 2 3 7 9 10 11 13 19 21 22 24 25 26 31 34 35 38 42 45 47 48 50 53 57 58 64 66 67 68 71 73 77 80 87 92 94 95 100 102 104 106 109 110 117 122 124 128 130 131 132 140 141 142 144 146
a 1 2 3 7 9 10 11 13 19 21 22 24 25 26 31 34 35 38 42 45 47 48 50 53 57 58 64 66 67 68 69 71 73 77 80 87 92 94 95 100 102 104 106 109 110 117 122 124 128 130 131 132 140 141 142 144
a 1 2 3 9 10 11 13 19 21 22 24 25 26 31 34 35 38 42 45 47 48 50 53 57 58 64 66 67 68 69 71 73 77 80 87 90 92 94 95 100 102 104 106 109 110 117 122 124 128 130 131 132 140 141 142 144
a 1 2 3 9 10 11 13 19 21 22 24 25 26 31 34 35 38 40 42 45 47 48 50 53 57 58 64 66 67 68 69 71 73 77 80 87 90 92 94 95 100 102 104 106 109 110 117 122 124 128 131 132 140 141 142 144
a 1 2 9 10 11 13 19 21 22 24 25 26 31 34 35 38 40 42 45 47 48 50 53 57 58 64 66 67 68 69 71 73 77 80 87 90 92 94 95 100 102 104 106 109 110 117 122 124 128 131 132 140 141 142 144 173
a 1 2 10 11 13 17 19 21 22 24 25 26 31 34 35 38 40 42 45 47 48 50 53 57 58 64 66 67 68 69 71 73 77 80 87 90 92 94 95 100 102 104 106 109 110 117 122 124 128 131 132 140 141 142 144 173
a 1 2 10 11 13 17 19 21 22 24 25 26 31 34 35 38 40 42 45 47 50 53 57 58 64 66 67 68 69 71 73 77 80 87 90 92 94 95 100 102 104 106 109 110 117 122 124 128 131 132 140 141 142 144 149 173
a 1 2 10 11 13 17 19 21 22 24 25 26 31 34 35 38 40 42 45 47 50 53 57 64 66 67 68 69 71 73 77 80 87 90 92 94 95 100 102 104 106 109 110 117 122 124 128 131 132 140 141 142 144 149 169 173
a 1 2 10 13 17 19 21 22 24 25 26 31 34 35 38 40 42 45 47 49 50 53 57 64 66 67 68 69 71 73 77 80 87 90 92 94 95 100 102 104 106 109 110 117 122 124 128 131 132 140 141 142 144 149 169 173
a 1 2 8 10 13 17 19 21 22 24 25 26 31 34 35 40 42 45 47 49 50 53 57 64 66 67 68 69 71 73 77 80 87 90 92 94 95 100 102 104 106 109 110 117 122 124 128 131 132 140 141 142 144 149 169 173
a 1 2 8 10 13 17 19 21 22 24 25 26 31 34 35 40 42 45 47 49 50 53 57 64 66 68 69 71 73 77 80 87 90 92 94 95 100 102 104 106 109 110 117 122 124 128 131 132 140 141 142 144 145 149 169 173
a 1 2 8 10 13 17 19 21 22 24 25 26 31 34 35 39 40 42 45 47 49 50 53 57 64 66 68 69 71 73 77 80 87 90 92 94 95 100 102 104 109 110 117 122 124 128 131 132 140 141 142 144 145 149 169 173
a 2 8 10 13 17 19 21 22 24 25 26 31 34 35 39 40 42 45 47 49 50 53 57 62 64 66 68 69 71 73 77 80 87 90 92 94 95 100 102 104 109 110 117 122 124 128 131 132 140 141 142 144 145 149 169 173
a 2 8 10 13 17 19 21 22 24 25 26 34 35 39 40 42 45 47 49 50 53 56 57 62 64 66 68 69 71 73 77 80 87 90 92 94 95 100 102 104 109 110 117 122 124 128 131 132 140 141 142 144 145 149 169 173
a 2 8 10 13 17 19 21 22 24 25 26 34 35 39 40 42 45 47 49 50 53 56 57 62 64 66 68 69 71 73 77 79 80 87 90 92 94 95 100 104 109 110 117 122 124 128 131 132 140 141 142 144 145 149 169 173
a 2 8 10 13 17 19 21 22 24 25 26 34 35 39 40 42 45 47 49 50 53 56 57 62 64 66 68 69 71 73 77 79 80 87 90 92 94 100 104 109 110 117 122 124 128 131 132 140 141 142 144 145 149 153 169 173
a 8 10 13 17 19 21 22 24 25 26 34 35 39 40 42 45 47 49 50 53 56 57 62 64 66 68 69 71 73 77 79 80 87 90 92 94 100 104 109 110 117 122 124 128 131 132 137 140 141 142 144 145 149 153 169 173
a 8 10 13 17 19 22 24 25 26 34 35 39 40 42 45 47 49 50 53 56 57 62 64 66 68 69 71 73 77 79 80 87 90 92 94 99 100 104 109 110 117 122 124 128 131 132 137 140 141 142 144 145 149 153 169 173
a 8 10 13 17 19 22 24 25 26 34 35 39 40 42 45 47 49 50 53 56 57 62 64 66 68 69 71 73 77 79 80 87 90 92 93 94 99 100 104 109 110 117 122 124 128 131 132 137 140 141 142 145 149 153 169 173
a 8 10 13 17 19 24 25 26 34 35 39 40 42 45 47 49 50 53 56 57 62 64 66 68 69 71 73 77 79 80 87 88 90 92 93 94 99 100 104 109 110 117 122 124 128 131 132 137 140 141 142 145 149 153 169 173
a 8 10 13 17 19 24 25 26 30 34 35 39 40 42 45 47 49 50 53 56 57 62 64 66 68 69 71 73 77 79 80 87 88 90 92 93 94 99 100 104 110 117 122 124 128 131 132 137 140 141 142 145 149 153 169 173
a 8 10 13 17 19 24 25 26 30 34 35 39 40 42 45 47 49 50 53 56 57 62 64 66 68 69 71 73 77 79 80 87 88 90 93 94 99 100 104 110 117 122 124 128 131 132 137 140 141 142 143 145 149 153 169 173
a 8 10 13 17 19 24 25 26 30 34 35 39 40 42 45 49 50 53 56 57 62 64 66 68 69 71 73 77 79 80 87 88 90 93 94 99 100 104 110 112 117 122 124 128 131 132 137 140 141 142 143 145 149 153 169 173
a 8 10 13 17 19 24 25 26 30 34 39 40 42 45 49 50 53 56 57 62 64 66 68 69 71 73 77 79 80 87 88 90 93 94 99 100 104 110 112 117 122 124 128 131 132 137 140 141 142 143 145 149 153 159 169 173
a 8 10 13 17 19 24 25 26 30 34 39 40 42 45 49 50 53 56 57 62 64 66 68 69 71 73 79 80 87 88 90 93 94 99 100 104 110 112 117 122 123 124 128 131 132 137 140 141 142 143 145 149 153 159 169 173
a 8 10 13 17 19 24 25 26 30 34 39 40 42 45 46 49 50 53 56 57 62 64 66 68 69 71 73 79 80 87 88 90 93 94 99 100 104 110 112 117 122 123 128 131 132 137 140 141 142 143 145 149 153 159 169 173
a 8 10 13 17 24 25 26 30 34 39 40 42 45 46 49 50 53 56 57 62 64 66 68 69 71 73 79 80 87 88 90 91 93 94 99 100 104 110 112 117 122 123 128 131 132 137 140 141 142 143 145 149 153 159 169 173
a 8 10 13 17 24 25 26 30 34 39 40 42 45 46 49 50 53 56 57 62 64 66 68 69 71 73 78 79 87 88 90 91 93 94 99 100 104 110 112 117 122 123 128 131 132 137 140 141 142 143 145 149 153 159 169 173
a 8 10 13 17 24 25 26 30 39 40 42 45 46 49 50 53 56 57 62 64 66 68 69 71 73 78 79 87 88 90 91 93 94 99 100 104 110 112 117 122 123 128 131 132 137 140 141 142 143 145 149 153 158 159 169 173
a 8 10 13 17 24 25 26 30 39 40 42 45 46 49 50 53 56 57 62 64 66 68 69 71 73 78 79 87 88 90 91 93 94 99 100 104 110 112 117 122 123 128 131 132 137 140 141 143 145 147 149 153 158 159 169 173
a 8 10 13 17 24 25 26 30 39 40 42 45 46 49 50 56 57 62 64 66 68 69 71 73 78 79 87 88 90 91 93 94 99 100 104 110 112 117 122 123 128 131 132 137 140 141 143 145 147 149 153 158 159 169 173 174
a 8 10 13 17 24 25 26 30 39 40 42 45 46 49 50 56 57 62 64 66 68 69 71 73 78 79 87 88 90 91 93 94 99 104 110 112 117 122 123 128 131 132 137 140 141 143 145 147 149 153 158 159 168 169 173 174
a 8 10 13 17 24 25 26 30 39 40 42 45 46 49 50 56 57 62 64 66 68 69 71 73 78 79 88 90 91 93 94 99 104 110 111 112 117 122 123 128 131 132 137 140 141 143 145 147 149 153 158 159 168 169 173 174
a 8 10 13 17 24 25 26 30 39 40 42 45 46 49 50 55 56 57 62 64 66 68 69 71 78 79 88 90 91 93 94 99 104 110 111 112 117 122 123 128 131 132 137 140 141 143 145 147 149 153 158 159 168 169 173 174
c Step: 252
#END: [Tue Sep  5 08:01:02 2023]