#BEGIN: [Mon Sep  4 17:11:15 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /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 879dae7c154404838b18b5fae2fdfdfa28d87dad56ca3e02677b9ba2e215af4d
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 16 20 21 24 25 30 31 38 39 41 44 45 47 50 53 58 64 66 71 72 76 77 78 79 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 26 30 31 38 39 41 44 45 47 50 53 58 64 66 71 72 76 77 78 79 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 182
a 2 3 4 6 7 10 16 20 21 24 25 26 30 31 38 39 41 44 45 47 50 53 58 64 66 71 72 76 77 78 79 87 90 91 92 94 95 97 103 107 119 121 122 124 128 130 131 144 147 148 149 150 156 164 178 182
a 2 3 4 6 7 10 16 20 24 25 26 30 31 38 39 41 44 45 47 48 50 53 58 64 66 71 72 76 77 78 79 87 90 91 92 94 95 97 103 107 119 121 122 124 128 130 131 144 147 148 149 150 156 164 178 182
a 2 3 4 6 7 10 16 20 24 25 26 30 31 38 39 41 44 45 47 48 50 53 58 64 66 71 72 76 77 78 79 87 90 91 92 94 95 97 103 107 116 119 121 122 124 130 131 144 147 148 149 150 156 164 178 182
a 2 3 4 6 7 10 16 20 21 24 25 26 30 31 38 39 41 44 45 47 48 50 53 58 64 66 71 72 76 77 78 79 87 90 91 92 94 95 97 103 107 116 119 121 124 130 131 144 147 148 149 150 156 164 178 182
a 2 3 4 6 7 10 16 20 21 24 25 30 31 38 39 41 44 45 47 48 50 53 58 64 66 71 72 76 77 78 79 87 90 91 92 94 95 97 103 107 116 119 121 124 130 131 144 147 148 149 150 156 164 178 180 182
a 2 3 4 6 7 10 16 20 21 24 25 30 31 39 41 44 45 47 48 50 53 58 62 64 66 71 72 76 77 78 79 87 90 91 92 94 95 97 103 107 116 119 121 124 130 131 144 147 148 149 150 156 164 178 180 182
a 2 3 4 6 7 10 16 21 24 25 30 31 39 41 44 45 47 48 50 53 58 62 64 66 71 72 76 77 78 79 87 90 91 92 94 95 97 103 107 116 119 121 122 124 130 131 144 147 148 149 150 156 164 178 180 182
a 2 3 4 6 7 10 16 20 21 24 25 30 31 39 41 44 45 47 48 50 53 58 62 64 66 71 72 76 77 78 79 87 90 91 92 94 95 97 103 107 116 119 121 122 124 130 131 144 147 148 149 150 156 164 178 180
a 2 4 6 7 10 16 20 21 24 25 30 31 39 41 44 45 47 48 50 53 58 62 64 66 71 72 76 77 78 79 87 90 91 92 94 95 97 103 107 116 119 121 122 124 130 131 144 147 148 149 150 156 164 178 180 182
a 2 4 6 7 10 16 20 21 24 25 30 31 39 41 44 45 47 48 50 53 58 62 64 66 71 72 74 76 77 78 79 87 90 91 92 94 95 97 107 116 119 121 122 124 130 131 144 147 148 149 150 156 164 178 180 182
a 2 4 6 7 10 16 20 21 24 25 30 31 39 41 44 45 47 48 50 53 58 62 64 66 71 72 74 76 77 78 79 87 90 91 92 94 95 97 107 108 116 119 122 124 130 131 144 147 148 149 150 156 164 178 180 182
a 2 4 6 7 10 16 20 21 24 25 30 31 34 39 41 44 45 47 48 50 53 58 62 64 66 71 72 74 76 77 78 79 87 90 91 92 94 95 97 107 108 116 119 122 124 130 131 144 148 149 150 156 164 178 180 182
a 2 4 6 7 10 16 20 21 24 25 26 30 31 34 39 41 44 45 47 48 50 53 58 62 64 66 71 72 74 76 77 78 79 87 90 91 92 94 95 97 107 108 116 119 122 124 130 131 144 148 149 150 156 164 178 182
a 2 4 6 7 10 16 20 21 24 25 26 30 31 34 39 41 44 45 47 48 50 53 58 62 64 66 71 72 74 76 77 78 79 87 90 91 92 94 95 97 107 108 116 119 121 122 124 130 131 144 148 149 150 156 164 178
a 2 3 4 6 7 10 16 20 21 24 25 26 30 31 34 39 41 44 45 47 48 50 53 58 62 64 66 71 72 74 76 77 78 79 87 90 91 92 94 95 97 107 116 119 121 122 124 130 131 144 148 149 150 156 164 178
a 3 4 6 7 10 16 20 21 24 25 26 30 31 34 39 41 44 45 47 48 50 53 58 62 64 66 71 72 74 76 77 78 79 87 90 91 92 94 95 97 107 116 119 121 122 124 130 131 142 144 148 149 150 156 164 178
a 3 4 6 7 10 16 20 21 24 25 26 30 31 34 36 39 41 44 45 47 48 50 53 58 62 64 66 71 72 74 76 77 78 79 87 90 91 92 94 95 97 107 116 119 121 122 124 130 131 142 144 148 150 156 164 178
a 3 4 6 7 10 16 20 21 24 25 30 31 34 36 39 41 44 45 47 48 50 53 58 62 64 66 71 72 74 76 77 78 79 87 90 91 92 94 95 97 107 116 119 121 122 124 130 131 142 144 148 150 156 164 178 180
a 3 4 6 7 10 16 20 21 24 25 30 31 34 36 39 41 44 45 47 48 50 53 58 62 64 66 71 72 74 76 77 78 79 87 90 91 92 94 95 97 107 119 121 122 124 128 130 131 142 144 148 150 156 164 178 180
a 3 4 6 7 10 16 20 21 24 25 30 31 34 36 39 41 44 45 47 48 50 53 58 62 64 66 71 72 74 76 77 78 79 87 90 91 94 95 97 107 119 121 122 124 128 130 131 142 144 148 150 156 159 164 178 180
a 3 4 6 7 10 16 20 21 24 25 30 31 34 36 39 41 44 45 47 48 50 53 58 62 64 66 71 72 74 76 77 78 79 87 90 91 94 95 97 107 119 121 122 124 128 130 131 142 144 148 156 159 164 172 178 180
a 3 4 6 7 10 16 20 21 24 25 30 31 34 36 39 41 44 45 47 48 50 53 58 62 64 66 71 72 74 76 77 78 79 87 90 91 94 95 97 107 119 121 122 124 128 130 131 142 144 148 159 164 172 178 180 182
a 3 4 6 7 10 16 20 21 24 25 30 31 34 36 39 41 44 45 47 48 50 53 58 62 64 66 71 72 74 76 77 78 79 87 90 91 94 95 97 107 119 121 122 124 128 130 131 142 144 148 156 159 164 172 178 182
a 3 4 6 10 16 20 21 24 25 30 31 34 36 39 41 44 45 47 48 50 53 58 62 64 66 71 72 74 76 77 78 79 87 90 91 94 95 97 107 119 121 122 124 128 130 131 142 144 148 156 159 164 172 178 180 182
a 3 4 6 10 16 20 21 24 25 30 31 34 36 39 41 44 45 47 48 50 53 58 62 64 66 71 72 74 76 77 78 79 87 90 91 94 95 97 107 119 121 122 124 128 130 131 142 144 148 156 159 162 164 172 178 180
a 3 4 6 10 16 20 21 24 25 30 31 34 36 39 41 44 45 47 48 50 53 54 58 62 64 66 71 72 74 76 77 78 79 87 90 91 94 95 107 119 121 122 124 128 130 131 142 144 148 156 159 162 164 172 178 180
a 3 4 6 9 10 16 20 21 24 25 30 31 34 36 39 41 44 45 47 48 50 53 54 58 62 64 66 71 72 74 76 77 78 87 90 91 94 95 107 119 121 122 124 128 130 131 142 144 148 156 159 162 164 172 178 180
a 4 6 9 10 16 20 21 24 25 30 31 34 36 39 41 44 45 47 48 50 53 54 58 62 64 66 67 71 72 74 76 77 78 87 90 91 94 95 107 119 121 122 124 128 130 131 142 144 148 156 159 162 164 172 178 180
a 3 4 9 10 16 20 21 24 25 30 31 34 36 39 41 44 45 47 48 50 53 54 58 62 64 66 67 71 72 74 76 77 78 87 90 91 94 95 107 119 121 122 124 128 130 131 142 144 148 156 159 162 164 172 178 180
a 3 4 9 10 15 16 20 21 24 25 30 31 34 36 39 41 44 45 47 48 50 53 54 58 62 64 66 67 71 72 74 76 77 78 87 90 91 94 95 107 119 121 122 124 128 130 131 142 144 148 156 159 162 164 172 178
a 3 4 9 10 15 16 20 21 24 25 30 31 34 36 39 41 44 45 47 48 50 53 54 58 62 64 66 67 71 72 74 76 77 78 87 90 91 93 94 95 107 119 121 122 124 128 130 131 142 148 156 159 162 164 172 178
a 3 4 6 9 15 16 20 21 24 25 30 31 34 36 39 41 44 45 47 48 50 53 54 58 62 64 66 67 71 72 74 76 77 78 87 90 91 93 94 95 107 119 121 122 124 128 130 131 142 148 156 159 162 164 172 178
a 3 4 6 9 15 16 20 21 24 25 30 31 34 36 39 41 44 45 47 48 50 53 54 58 62 64 66 67 71 72 74 76 77 78 87 90 91 93 94 95 104 107 119 121 122 124 128 130 131 142 148 156 159 162 172 178
a 3 4 6 9 15 16 20 21 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 72 74 76 77 78 87 90 91 93 94 95 104 107 119 121 122 124 128 130 131 142 148 156 159 162 172 178
a 3 4 6 7 9 16 20 21 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 72 74 76 77 78 87 90 91 93 94 95 104 107 119 121 122 124 128 130 131 142 148 156 159 162 172 178
a 3 6 7 9 15 16 20 21 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 72 74 76 77 78 87 90 91 93 94 95 104 107 119 121 122 124 128 130 131 142 148 156 159 162 172 178
a 3 4 6 7 9 15 16 20 21 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 72 74 76 77 78 87 90 91 93 94 95 104 107 119 121 122 124 128 130 142 148 156 159 162 172 178
a 3 6 7 9 10 15 16 20 21 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 72 74 76 77 78 87 90 91 93 94 95 104 107 119 121 122 124 128 130 142 148 156 159 162 172 178
a 3 6 7 9 10 15 16 20 21 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 72 74 76 77 78 87 90 91 93 94 95 104 107 119 121 122 124 128 130 148 156 159 162 168 172 178
a 3 6 9 10 15 16 20 21 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 72 74 76 77 78 87 90 91 93 94 95 104 107 119 121 122 124 128 130 131 148 156 159 162 168 172 178
a 3 6 9 15 16 20 21 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 72 74 76 77 78 87 90 91 93 94 95 96 104 107 119 121 122 124 128 130 131 148 156 159 162 168 172 178
a 3 6 7 9 15 16 20 21 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 72 74 76 77 78 87 90 91 93 94 95 96 104 107 119 121 122 124 128 130 131 148 156 159 162 168 172 178
a 6 7 9 15 16 20 21 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 72 74 76 77 78 87 90 91 93 94 95 96 104 107 119 121 122 124 128 130 131 148 156 159 162 168 172 178 180
a 6 7 9 15 16 20 21 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 72 76 77 78 87 90 91 93 94 95 96 103 104 107 119 121 122 124 128 130 131 148 156 159 162 168 172 178 180
a 7 9 15 16 20 21 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 72 76 77 78 87 90 91 93 94 95 96 103 104 107 119 121 122 124 128 130 131 148 156 159 162 168 172 178 180
a 7 9 10 15 16 20 21 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 72 76 77 78 87 90 91 93 94 95 96 103 104 107 119 121 122 124 128 130 131 148 156 159 162 168 172 178
a 7 9 10 15 16 17 20 21 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 87 90 91 93 94 95 96 103 104 107 119 121 122 124 128 130 131 148 156 159 162 168 172 178
a 7 9 10 15 16 17 20 21 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 87 90 91 93 94 95 96 104 107 119 121 122 124 128 130 131 141 148 156 159 162 168 172 178
a 7 10 15 16 17 20 21 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 93 94 95 96 104 107 119 121 122 124 128 130 131 141 148 156 159 162 168 172 178
a 7 15 16 17 20 21 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 93 94 95 96 103 104 107 119 121 122 124 128 130 131 141 148 156 159 162 168 172 178
a 3 7 15 16 17 20 21 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 93 94 95 96 103 104 107 119 121 122 124 128 130 131 141 148 156 159 162 168 172
a 3 7 10 15 16 20 21 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 93 94 95 96 103 104 107 119 121 122 124 128 130 131 141 148 156 159 162 168 172
a 3 7 10 15 16 20 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 93 94 95 96 99 103 104 107 119 121 122 124 128 130 131 141 148 156 159 162 168 172
a 7 10 15 16 17 20 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 93 94 95 96 99 103 104 107 119 121 122 124 128 130 131 141 148 156 159 162 168 172
a 4 7 10 15 16 17 20 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 93 94 95 96 99 103 104 107 119 121 122 124 128 130 131 141 148 156 162 168 172
a 4 7 10 15 16 17 20 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 87 90 91 93 94 95 96 99 103 104 107 119 121 122 124 128 130 131 141 148 156 159 162 168 172
a 4 7 10 15 16 17 20 24 25 30 31 34 36 38 39 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 93 94 95 96 99 103 104 107 119 121 122 124 128 130 131 141 148 156 159 162 168 172
a 4 7 10 15 16 17 20 24 25 30 31 34 36 38 39 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 95 96 99 103 104 107 119 121 122 124 128 130 131 141 144 148 156 159 162 168 172
a 4 7 10 15 16 17 20 24 25 30 31 34 36 38 39 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 99 103 104 107 119 121 122 124 128 130 131 141 143 144 148 156 159 162 168 172
a 7 10 15 16 17 20 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 99 103 104 107 119 121 122 124 128 130 131 141 143 144 148 156 159 162 168 172
a 7 10 15 16 17 20 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 66 67 71 76 77 78 79 87 90 91 94 96 99 103 104 107 119 121 122 124 128 130 131 140 141 143 144 148 156 159 162 168 172
a 7 10 15 16 17 20 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 66 67 71 76 77 78 79 87 90 91 94 96 99 103 107 119 121 122 124 128 130 131 140 141 143 144 148 156 159 162 164 168 172
a 3 10 15 16 17 20 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 66 67 71 76 77 78 79 87 90 91 94 96 99 103 107 119 121 122 124 128 130 131 140 141 143 144 148 156 159 162 164 168 172
a 3 10 15 16 17 20 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 99 103 107 119 121 122 124 128 130 131 140 141 143 144 148 156 159 162 164 168
a 3 10 15 16 17 20 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 99 103 107 119 121 122 124 128 130 131 140 141 144 148 156 159 162 164 168 172
a 3 15 16 17 20 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 99 103 107 119 121 122 124 128 130 131 140 141 143 144 148 156 159 162 164 168 172
a 3 15 16 17 20 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 99 103 107 119 121 124 128 130 131 140 141 143 144 148 156 159 162 164 168 172 178
a 3 15 17 20 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 99 103 107 119 121 122 124 128 130 131 140 141 143 144 148 156 159 162 164 168 172 178
a 3 15 16 17 20 24 25 30 31 34 36 38 39 41 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 99 103 107 119 121 122 124 128 130 131 140 141 143 144 148 156 159 162 164 168 178
a 3 15 16 17 20 24 25 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 99 103 107 119 121 122 124 128 130 131 140 141 143 144 148 156 159 162 164 168 178
a 3 10 15 16 17 20 24 25 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 99 103 107 119 121 122 124 128 130 131 140 141 143 144 148 159 162 164 168 178
a 3 10 15 16 17 20 21 24 25 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 119 121 122 124 128 130 131 140 141 143 144 148 159 162 164 168 178
a 3 10 15 16 17 20 21 24 25 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 119 121 122 124 128 130 131 140 141 143 144 148 156 159 162 164 168
a 3 15 16 17 20 21 24 25 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 119 121 122 124 128 130 131 140 141 143 144 148 156 159 162 164 168 172
a 15 16 17 20 21 24 25 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 119 121 122 124 128 130 131 140 141 143 144 148 156 158 159 162 164 168 172
a 7 15 16 17 20 21 24 25 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 119 121 122 124 128 130 131 140 141 143 144 148 156 158 159 162 164 168
a 7 15 16 17 20 21 24 25 30 31 34 38 39 41 42 44 45 47 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 119 121 122 124 128 130 131 140 141 143 144 148 156 158 159 162 164 168 172
a 7 15 16 17 20 21 24 25 30 31 34 38 39 41 42 44 45 47 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 108 119 121 122 124 128 130 131 140 143 144 148 156 158 159 162 164 168 172
a 7 15 16 17 20 21 24 25 30 31 34 38 39 41 42 44 45 47 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 108 116 119 121 122 124 130 131 140 143 144 148 156 158 159 162 164 168 172
a 7 15 16 17 20 21 24 25 30 34 38 39 41 42 44 45 47 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 108 116 119 121 122 124 130 131 140 143 144 148 156 158 159 162 164 168 172 178
a 7 15 16 17 20 21 24 25 30 34 38 39 41 42 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 108 116 119 121 122 124 130 131 140 143 144 148 156 158 159 162 164 168 172 178
a 7 10 15 16 17 20 21 24 25 30 34 38 39 41 42 45 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 108 116 119 121 122 124 130 131 140 143 144 148 156 158 159 162 164 168 172 178
a 7 10 15 16 17 20 21 24 30 31 34 38 39 41 42 45 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 108 116 119 121 122 124 130 131 140 143 144 148 156 158 159 162 164 168 172 178
a 7 10 15 16 17 20 21 24 30 31 34 38 39 41 42 44 45 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 108 116 119 121 122 124 130 131 140 143 144 148 156 158 159 162 164 168 172
a 7 10 15 16 17 20 21 24 25 30 31 34 38 39 41 42 44 45 48 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 108 116 119 121 122 124 130 131 140 143 144 148 156 158 159 162 164 168 172
a 7 10 15 16 17 20 21 24 25 30 31 34 38 39 41 42 44 45 47 48 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 108 116 119 121 122 124 130 131 140 143 144 148 156 158 159 162 164 168
a 7 10 15 16 17 20 21 24 25 30 31 34 38 39 41 42 44 45 47 48 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 108 116 119 121 122 124 130 131 140 143 144 148 158 159 162 164 168 172
a 10 15 16 17 20 21 24 25 30 31 34 38 39 41 42 44 45 47 48 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 108 116 119 121 122 124 130 131 140 143 144 148 156 158 159 162 164 168 172
a 10 15 16 17 20 21 24 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 71 76 77 78 79 87 90 91 94 96 103 107 108 116 119 121 122 124 130 131 140 143 144 148 156 158 159 162 164 168 172
a 10 15 16 17 20 21 24 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 71 74 76 77 78 79 87 90 91 94 96 107 108 116 119 121 122 124 130 131 140 143 144 148 156 158 159 162 164 168 172
a 10 16 17 20 21 24 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 71 74 76 77 78 79 87 90 91 94 96 107 108 116 119 121 122 124 130 131 140 143 144 148 156 158 159 162 164 168 172 178
a 10 15 16 20 21 24 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 71 74 76 77 78 79 87 90 91 94 96 107 108 116 119 121 122 124 130 131 140 143 144 148 156 158 159 162 164 168 172 178
a 10 15 16 20 21 24 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 71 74 76 77 78 79 87 90 91 94 96 107 108 116 119 121 122 124 130 131 140 143 144 148 156 158 159 162 168 172 178 182
a 10 15 16 20 21 24 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 74 76 77 78 79 87 90 91 94 96 107 108 116 119 121 122 124 130 131 140 143 144 148 156 158 159 162 164 168 172 178 182
a 10 15 16 20 21 24 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 69 74 76 77 78 79 87 90 91 94 96 107 108 116 119 121 122 124 130 131 140 143 144 156 158 159 162 164 168 172 178 182
a 10 15 16 20 21 24 25 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 69 74 76 77 78 79 87 90 91 94 96 107 108 116 119 121 122 124 130 131 140 143 144 156 158 159 162 164 168 178 182
a 10 16 20 21 24 25 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 79 87 90 91 94 96 107 108 116 119 121 122 124 130 131 140 143 144 156 158 159 162 164 168 178 182
a 10 15 16 20 21 24 25 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 79 87 90 91 94 96 107 108 116 119 121 122 124 130 131 140 143 144 156 158 159 162 164 168 182
a 15 16 20 21 24 25 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 79 87 90 91 94 96 107 108 116 119 121 122 124 130 131 140 143 144 156 158 159 162 164 168 178 182
a 15 16 20 24 25 30 31 34 38 39 41 42 44 45 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 79 87 90 91 94 96 107 108 116 119 121 122 124 130 131 132 140 143 144 156 158 159 162 164 168 178 182
a 15 16 20 24 25 30 31 34 38 39 41 44 45 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 79 87 90 91 94 96 99 107 108 116 119 121 122 124 130 131 132 140 143 144 156 158 159 162 164 168 178 182
a 15 16 20 22 24 25 30 31 34 38 39 41 44 45 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 79 87 90 91 94 96 99 107 108 119 121 122 124 130 131 132 140 143 144 156 158 159 162 164 168 178 182
a 15 16 20 22 24 25 30 31 34 38 39 41 44 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 79 87 89 90 91 94 96 99 107 108 119 121 122 124 130 131 132 140 143 144 156 158 159 162 164 168 178 182
a 15 16 20 22 24 25 30 31 34 38 39 41 44 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 87 89 90 91 94 96 99 107 108 116 119 121 122 124 130 131 132 140 143 144 156 158 159 162 164 168 178 182
a 15 16 20 22 24 25 26 30 31 34 38 39 41 44 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 87 89 90 91 94 99 107 108 116 119 121 122 124 130 131 132 140 143 144 156 158 159 162 164 168 178 182
a 15 16 20 22 24 25 26 30 31 34 38 39 41 44 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 87 89 90 91 94 99 107 108 119 121 122 124 128 130 131 132 140 143 144 156 158 159 162 164 168 178 182
a 15 16 17 20 22 24 25 26 30 31 34 38 39 41 44 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 87 89 90 91 94 99 107 108 119 121 122 124 128 130 131 132 140 143 144 156 158 159 162 164 168 182
a 15 16 17 20 22 24 25 26 31 34 38 39 41 44 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 87 89 90 91 94 99 107 108 117 119 121 122 124 128 130 131 132 140 143 144 156 158 159 162 164 168 182
a 15 17 20 22 24 25 26 30 31 34 38 39 41 44 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 87 89 90 91 94 99 107 108 117 119 121 122 124 128 130 131 132 140 143 144 156 158 159 162 164 168 182
a 15 16 20 22 24 25 26 30 31 34 38 39 41 44 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 87 89 90 91 94 99 107 108 117 119 121 122 124 128 130 131 132 140 143 144 156 158 159 162 164 168 182
a 15 16 20 22 24 25 26 30 31 38 39 41 44 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 87 89 90 91 94 99 107 108 117 119 121 122 124 128 130 131 132 140 143 144 156 157 158 159 162 164 168 182
a 15 16 20 24 25 26 30 31 38 39 41 44 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 79 87 89 90 91 94 99 107 108 117 119 121 122 124 128 130 131 132 140 143 144 156 157 158 159 162 164 168 182
a 15 16 20 24 25 26 30 31 38 39 41 44 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 79 87 89 90 91 94 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 156 157 158 159 162 164 168 182
a 16 20 22 24 25 26 30 31 38 39 41 44 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 79 87 89 90 91 94 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 156 157 158 159 162 164 168 182
a 16 20 22 24 25 26 30 31 38 39 41 42 44 47 48 50 53 54 58 64 66 67 69 71 74 76 78 79 87 89 90 91 94 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 156 157 158 159 162 164 168 182
a 16 22 24 25 26 30 31 38 39 41 42 44 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 79 87 89 90 91 94 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 156 157 158 159 162 164 168 182
a 20 22 24 25 26 30 31 38 39 41 42 44 47 48 50 53 54 58 64 66 67 69 71 74 76 77 78 79 87 89 90 91 94 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 156 157 158 159 162 164 168 182
a 20 22 24 25 26 30 31 38 39 41 42 44 47 48 50 53 58 64 66 67 69 71 74 76 77 78 79 87 89 90 91 94 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 153 156 157 158 159 162 164 168 182
a 20 22 24 25 26 31 38 39 41 42 44 47 48 50 53 58 64 66 67 69 71 74 76 77 78 79 87 89 90 91 94 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 149 153 156 157 158 159 162 164 168 182
a 17 20 22 24 25 26 31 38 39 41 42 44 47 48 50 53 58 64 66 67 69 71 74 76 77 78 79 87 89 90 91 94 99 107 108 116 117 119 122 124 130 131 132 140 143 144 149 153 156 157 158 159 162 164 168 182
a 17 20 22 24 25 26 30 31 38 39 41 42 44 47 48 50 53 58 64 66 67 69 71 74 76 77 78 79 87 89 90 91 94 99 107 108 116 117 119 122 124 130 131 132 140 143 144 149 153 156 157 158 159 162 164 168
a 17 20 22 24 25 26 30 31 38 39 41 42 44 47 48 50 53 58 64 66 67 69 71 74 76 77 78 87 89 90 91 94 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 149 153 156 157 158 159 162 164 168
a 17 20 22 24 25 26 30 31 38 39 41 42 44 47 48 50 53 58 64 66 67 69 71 74 76 77 78 87 89 90 91 94 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 149 153 156 157 158 159 162 168 182
a 17 20 22 24 25 26 30 31 38 39 41 42 44 47 48 50 53 58 64 66 67 69 71 74 76 77 78 87 89 90 91 94 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 149 153 156 157 158 159 164 168 182
a 17 20 24 25 26 30 31 38 39 41 42 44 47 48 50 53 58 64 66 67 69 71 74 76 77 78 79 87 89 90 91 94 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 149 153 156 157 158 159 164 168 182
a 17 20 24 25 26 30 31 38 39 41 42 44 47 48 50 53 58 64 66 69 71 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 149 153 156 157 158 159 164 168 182
a 16 17 20 24 25 26 30 31 38 39 41 42 44 47 48 50 53 58 64 66 69 71 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 131 132 140 143 144 149 153 156 157 158 159 164 168 182
a 16 17 20 22 24 25 26 30 31 38 39 41 42 44 47 48 50 53 58 64 66 69 71 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 131 132 140 144 149 153 156 157 158 159 164 168 182
a 16 17 20 22 24 25 26 30 31 38 39 41 42 44 47 48 50 53 58 64 66 69 71 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 131 132 140 144 149 153 156 158 159 162 164 168 182
a 17 20 22 24 25 26 30 31 38 39 41 42 44 47 48 50 53 58 64 66 69 71 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 131 132 140 144 146 149 153 156 158 159 162 164 168 182
a 20 22 24 25 26 30 31 38 39 41 42 44 47 48 50 53 58 64 66 69 71 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 131 132 140 144 146 149 150 153 156 158 159 162 164 168 182
a 20 22 25 26 30 31 38 39 41 42 44 47 48 50 53 58 64 66 69 71 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 130 131 132 140 144 146 149 150 153 156 158 159 162 164 168 182
a 22 24 25 26 30 31 38 39 41 42 44 47 48 50 53 58 64 66 69 71 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 130 131 132 140 144 146 149 150 153 156 158 159 162 164 168 182
a 22 25 26 30 31 38 39 41 42 44 47 48 50 53 58 64 66 69 71 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 130 131 132 140 144 146 147 149 150 153 156 158 159 162 164 168 182
a 25 26 30 31 38 39 41 42 44 47 48 50 53 58 64 66 69 71 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 146 147 149 150 153 156 158 159 162 164 168 182
a 24 25 30 31 38 39 41 42 44 47 48 50 53 58 64 66 69 71 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 146 147 149 150 153 156 158 159 162 164 168 182
a 24 25 26 30 38 39 41 42 44 47 48 50 53 58 64 66 69 71 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 146 147 149 150 153 156 158 159 162 164 168 182
a 24 25 26 30 38 39 41 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 146 147 149 150 153 156 158 159 162 164 168 182
a 24 25 30 31 38 39 41 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 146 147 149 150 153 156 158 159 162 164 168 182
a 24 25 30 31 38 39 41 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 89 90 91 94 97 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 146 147 149 150 153 156 157 158 159 162 164 168 182
a 22 24 25 30 31 38 39 41 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 89 90 91 94 97 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 146 147 149 150 153 156 157 158 159 162 168 182
a 16 22 24 25 30 31 38 39 41 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 89 90 91 94 97 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 146 147 149 150 153 156 157 158 162 168 182
a 16 22 24 30 31 38 39 41 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 146 147 149 150 153 156 157 158 162 168 182
a 16 22 24 31 38 39 41 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 146 147 149 150 153 156 157 158 162 164 168 182
a 16 22 24 26 31 38 39 41 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 146 147 149 150 153 157 158 162 164 168 182
a 16 22 24 26 31 39 41 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 87 89 90 91 94 97 99 107 108 116 117 119 121 122 124 130 131 132 140 143 144 146 147 149 150 153 157 158 160 162 164 168 182
a 16 22 24 26 31 39 41 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 87 89 90 91 94 97 99 107 108 117 119 121 122 124 128 130 131 132 140 143 144 146 147 149 150 153 157 158 160 162 164 168 182
a 16 22 24 26 31 39 41 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 87 89 90 91 94 97 99 108 117 119 121 122 124 128 130 131 132 140 143 144 146 147 149 150 153 156 157 158 160 162 164 168 182
a 22 24 26 31 38 39 41 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 87 89 90 91 94 97 99 108 117 119 121 122 124 128 130 131 132 140 143 144 146 147 149 150 153 156 157 158 160 162 164 168 182
a 22 24 26 31 38 39 41 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 87 89 90 91 94 97 99 107 108 117 119 121 122 124 128 130 131 132 143 144 146 147 149 150 153 156 157 158 160 162 164 168 182
a 22 24 26 31 38 39 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 99 107 108 117 119 121 122 124 128 130 131 132 143 144 146 147 149 150 153 156 157 158 160 162 164 168 182
a 22 24 26 31 38 39 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 99 107 108 117 119 121 122 124 128 130 131 132 143 144 146 147 150 153 156 157 158 159 160 162 164 168 182
a 22 24 26 31 38 39 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 99 107 108 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 159 160 162 164 182
a 24 25 26 31 38 39 44 47 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 99 107 108 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 159 160 162 164 182
a 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 99 107 108 112 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 159 160 162 164 182
a 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 99 107 108 112 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 159 160 162 164 178 182
a 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 99 107 108 112 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 159 160 161 162 164 178 182
a 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 99 107 108 112 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 159 160 161 162 164 178
a 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 99 107 108 112 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 159 160 161 162 164 168 178
a 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 99 107 108 112 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 159 160 161 162 168 178
a 22 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 99 107 108 112 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 159 160 161 162 178
a 22 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 99 107 108 112 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 159 160 161 162
a 22 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 99 107 108 112 117 119 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 159 160 161 162 178
a 22 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 99 107 108 112 117 119 121 122 124 128 130 131 133 143 144 146 147 150 153 156 157 158 159 160 161 162 178
a 22 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 99 104 107 108 112 117 119 121 122 128 130 131 133 143 144 146 147 150 153 156 157 158 159 160 161 162 178
a 4 22 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 99 104 107 108 112 117 119 121 122 128 130 131 133 143 144 146 147 150 153 157 158 159 160 161 162 178
a 4 22 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 84 87 89 90 91 94 97 99 104 107 108 112 117 119 121 122 128 130 131 133 143 144 146 147 150 153 156 157 158 159 160 161 162 178
a 4 22 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 84 87 89 90 91 94 97 99 104 107 108 112 117 119 121 122 124 128 130 131 133 143 144 146 147 150 153 156 157 158 159 161 162 178
a 4 21 22 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 84 87 89 90 91 94 97 104 107 108 112 117 119 121 122 124 128 130 131 133 143 144 146 147 150 153 156 157 158 159 161 162 178
a 4 21 22 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 104 107 108 112 117 119 121 122 124 128 130 131 133 143 144 146 147 150 156 157 158 159 161 162 178
a 4 21 22 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 104 107 108 112 117 119 121 122 124 128 130 131 133 143 144 146 147 150 156 158 159 160 161 162 178
a 4 21 22 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 104 107 108 112 117 119 121 122 124 128 130 131 133 143 144 146 147 150 153 156 158 159 161 162 178
a 4 21 22 24 25 26 31 38 39 44 48 50 53 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 104 107 108 112 117 119 121 122 124 128 130 131 133 143 144 146 147 150 153 156 157 158 159 161 162 178
a 4 20 21 24 25 26 31 38 39 44 48 50 53 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 104 107 108 112 117 119 121 122 124 128 130 131 133 143 144 146 147 150 153 156 157 158 159 161 162 178
a 4 20 21 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 72 74 76 77 78 79 84 87 89 90 91 94 97 104 107 108 112 117 119 121 122 124 128 130 131 133 143 144 146 147 150 153 156 157 158 159 161 178
a 4 20 21 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 74 76 77 78 79 84 87 89 90 91 94 97 104 107 108 112 117 119 121 122 124 128 130 131 133 143 144 146 147 150 153 156 157 158 159 160 161 178
a 4 20 21 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 74 76 77 78 79 84 87 89 90 91 94 97 104 107 108 112 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 158 159 160 161 178
a 4 20 21 22 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 74 76 77 78 79 84 87 89 90 91 94 97 104 107 108 112 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 158 160 161 178
a 20 21 22 24 25 26 31 38 39 44 48 50 53 58 64 66 69 71 74 76 77 78 79 84 87 89 90 91 94 97 104 107 108 112 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 160 161 178
a 10 20 21 22 24 25 26 31 39 44 48 50 53 58 64 66 69 71 74 76 77 78 79 84 87 89 90 91 94 97 104 107 108 112 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 160 161 178
a 10 21 22 24 25 26 31 39 44 48 50 53 58 64 66 69 71 74 76 77 78 79 84 87 89 90 91 94 97 104 107 108 112 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 159 160 161 178
a 10 21 24 25 26 31 39 44 48 49 50 53 58 64 66 69 71 74 76 77 78 79 84 87 89 90 91 94 97 104 107 108 112 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 159 160 161 178
a 10 13 21 24 25 26 31 39 48 49 50 53 58 64 66 69 71 74 76 77 78 79 84 87 89 90 91 94 97 104 107 108 112 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 159 160 161 178
a 10 13 24 25 26 31 39 48 49 50 53 58 64 66 69 71 74 76 77 78 79 84 87 89 90 91 94 97 99 104 107 108 112 117 119 121 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 159 160 161 178
a 10 13 24 25 26 31 39 48 49 50 53 57 58 64 66 69 71 74 76 77 78 79 84 87 89 90 91 94 97 99 104 107 108 112 117 119 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 159 160 161 178
a 10 13 24 25 26 31 39 42 48 49 50 53 57 58 64 66 69 71 74 76 77 78 79 84 87 89 90 91 94 97 99 104 107 108 112 117 119 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 159 160 161
a 10 13 24 25 26 31 39 42 48 49 50 53 57 58 64 66 69 71 74 76 77 78 79 84 87 89 90 91 94 97 99 104 107 108 112 117 119 122 124 128 130 131 132 133 143 144 146 147 150 153 156 157 158 159 161 168
a 10 13 24 25 26 31 39 42 48 49 50 53 57 58 62 64 66 69 71 74 76 77 78 79 84 87 89 90 91 94 97 99 104 107 108 112 117 119 122 124 128 130 131 132 133 143 144 146 147 150 153 156 158 159 161 168
a 10 13 24 25 26 31 39 42 48 49 50 53 57 58 62 64 66 69 71 74 76 77 78 79 84 87 89 90 91 94 97 99 104 108 110 112 117 119 122 124 128 130 131 132 133 143 144 146 147 150 153 156 158 159 161 168
a 10 13 24 25 26 30 31 39 42 48 49 50 53 57 58 62 64 66 69 71 74 76 77 78 79 87 89 90 91 94 97 99 104 108 110 112 117 119 122 124 128 130 131 132 133 143 144 146 147 150 153 156 158 159 161 168
a 10 13 24 25 26 30 31 39 42 48 49 50 57 58 62 64 66 69 71 74 76 77 78 79 87 89 90 91 94 97 99 104 108 110 112 117 119 122 124 128 130 131 132 133 143 144 146 147 150 153 156 158 159 161 168 174
a 10 13 24 25 26 30 31 39 42 48 49 50 57 58 62 64 66 69 71 76 77 78 79 87 89 90 91 94 97 99 104 108 110 112 117 119 122 124 128 130 131 132 133 143 144 146 147 150 153 156 158 159 161 168 173 174
a 10 13 24 25 26 30 31 39 42 48 49 50 57 58 62 64 66 69 71 76 77 78 79 87 89 90 91 94 97 99 104 108 110 112 117 119 122 124 128 130 131 132 140 143 144 146 147 150 153 156 158 159 161 168 173 174
a 10 13 24 25 26 30 31 39 42 48 49 50 57 58 62 64 66 69 71 76 77 78 79 87 89 90 91 94 97 99 104 110 112 117 119 122 124 128 130 131 132 140 141 143 144 146 147 150 153 156 158 159 161 168 173 174
a 8 10 13 24 25 26 30 39 42 48 49 50 57 58 62 64 66 69 71 76 77 78 79 87 89 90 91 94 97 99 104 110 112 117 119 122 124 128 130 131 132 140 141 143 144 146 147 150 153 156 158 159 161 168 173 174
a 8 10 13 24 25 26 30 39 42 45 48 49 50 57 58 62 64 66 69 71 76 77 78 79 87 90 91 94 97 99 104 110 112 117 119 122 124 128 130 131 132 140 141 143 144 146 147 150 153 156 158 159 161 168 173 174
a 8 10 13 17 24 25 26 30 39 42 45 48 49 50 57 58 62 64 66 69 71 76 77 78 79 87 90 91 94 97 99 104 110 112 117 119 122 124 128 130 131 132 140 141 143 144 146 147 153 156 158 159 161 168 173 174
a 8 10 13 17 24 25 26 30 39 42 45 48 49 50 57 58 62 64 66 68 69 71 77 78 79 87 90 91 94 97 99 104 110 112 117 119 122 124 128 130 131 132 140 141 143 144 146 147 153 156 158 159 161 168 173 174
a 8 10 13 17 24 25 26 30 39 42 45 48 49 50 57 58 62 64 66 68 69 71 77 78 79 87 90 91 94 97 99 104 110 112 117 119 122 124 128 130 131 132 140 141 143 144 146 147 149 153 156 158 159 168 173 174
a 8 10 13 17 24 25 26 30 39 42 45 48 49 50 55 57 58 62 64 66 68 69 71 77 78 79 90 91 94 97 99 104 110 112 117 119 122 124 128 130 131 132 140 141 143 144 146 147 149 153 156 158 159 168 173 174
a 8 10 13 17 24 25 26 30 39 42 45 48 49 50 55 57 62 64 66 68 69 71 77 78 79 90 91 94 97 99 104 110 112 117 119 122 124 128 130 131 132 140 141 143 144 146 147 149 153 156 158 159 168 169 173 174
a 8 10 13 17 24 25 26 30 39 42 45 49 50 55 57 62 64 66 68 69 71 77 78 79 90 91 94 97 99 104 110 111 112 117 119 122 124 128 130 131 132 140 141 143 144 146 147 149 153 156 158 159 168 169 173 174
a 8 10 13 17 24 25 26 30 39 42 45 49 50 55 57 62 64 66 68 69 71 77 78 79 88 90 91 94 97 99 104 110 111 112 117 119 122 124 128 130 131 132 140 141 143 146 147 149 153 156 158 159 168 169 173 174
a 8 10 13 17 24 25 26 30 39 40 42 45 49 50 55 57 62 64 66 68 69 71 77 78 79 88 90 91 94 97 99 104 110 111 112 117 119 122 124 128 131 132 140 141 143 146 147 149 153 156 158 159 168 169 173 174
a 8 10 13 17 24 25 26 30 39 40 42 45 49 50 55 57 62 64 66 68 69 71 77 78 79 88 90 91 93 94 97 99 104 110 111 112 117 119 122 124 128 131 132 140 141 143 147 149 153 156 158 159 168 169 173 174
a 8 10 13 17 24 25 26 30 39 40 42 45 49 50 55 57 62 64 66 68 69 71 77 78 79 88 90 91 93 94 97 99 104 110 111 112 117 119 122 128 131 132 140 141 143 145 147 149 153 156 158 159 168 169 173 174
a 8 10 13 17 24 25 26 30 39 40 42 45 49 50 55 56 57 62 64 66 68 69 71 77 78 79 88 90 91 93 94 97 99 104 110 111 112 117 122 128 131 132 140 141 143 145 147 149 153 156 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 97 99 104 110 111 112 117 122 128 131 132 140 141 143 145 147 149 153 156 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 140 141 143 145 147 149 153 156 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: 213
#END: [Mon Sep  4 17:41:16 2023]