#BEGIN: [Tue Sep  5 07:24:48 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance013_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance013_graph005_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_instance013_graph005.col /benchmark/random_instance/random_instance013_graph005_01.dat
c /benchmark/random_instance/random_instance013_graph005.col
c /benchmark/random_instance/random_instance013_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID 782a66509ad76e0bfe48c3ecb1c34a20b25d00bdb6a2773740ac147dfb09b712
s 46 134 92 73 7 59 43 84 137 34 32 149 130 79 5 54 75 15 145 150 157 78 99 101 13 26 12 44 31 52 141 3 93 71 107 109 120 135 161 115 103 128 126 163 138 105 146 89 147 65 33 142 90
t 69 32 21 151 144 100 39 51 134 12 50 37 10 5 155 83 129 35 121 79 105 133 108 47 54 34 114 57 60 143 15 150 99 132 26 136 107 38 85 13 3 23 161 81 89 63 41 148 91 18 119 137 160
a YES
a 3 5 7 12 13 15 26 31 32 33 34 43 44 46 52 54 59 65 71 73 75 78 79 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163
a 3 5 7 12 13 15 26 28 31 32 33 34 44 46 52 54 59 65 71 73 75 78 79 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163
a 3 5 7 12 13 15 26 28 31 32 33 34 44 52 54 59 61 65 71 73 75 78 79 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163
a 3 7 12 13 15 26 28 31 32 33 34 44 52 54 59 61 65 71 73 75 78 79 84 89 90 92 93 99 101 103 105 106 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163
a 3 7 12 13 15 26 28 31 32 33 34 44 52 54 59 61 65 71 73 75 78 79 84 90 92 93 99 101 103 104 105 106 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163
a 3 7 12 13 15 26 28 31 32 33 34 44 52 54 59 61 65 73 75 78 79 84 90 92 93 99 101 103 104 105 106 107 109 115 117 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163
a 3 7 12 13 26 28 31 32 33 34 44 52 54 55 59 61 65 73 75 78 79 84 90 92 93 99 101 103 104 105 106 107 109 115 117 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163
a 3 7 12 13 26 28 31 32 33 34 44 52 54 55 59 61 65 73 75 78 79 84 90 92 93 99 101 103 104 105 106 107 109 115 117 120 126 128 130 134 135 137 138 141 142 145 146 147 148 149 150 157 163
a 3 7 12 13 26 28 31 32 33 34 44 52 54 55 59 61 65 73 75 78 79 84 90 92 93 99 101 103 104 105 106 107 109 115 117 120 126 128 130 134 135 137 138 141 142 145 147 148 149 150 157 161 163
a 3 7 13 26 28 31 32 33 34 44 52 54 55 59 61 65 73 75 78 79 84 90 92 93 99 101 103 104 105 106 107 109 111 115 117 120 126 128 130 134 135 137 138 141 142 145 147 148 149 150 157 161 163
a 3 7 12 13 26 28 31 32 33 34 44 52 54 55 59 61 65 73 75 78 79 90 92 93 99 101 103 104 105 106 107 109 111 115 117 120 126 128 130 134 135 137 138 141 142 145 147 148 149 150 157 161 163
a 3 7 12 13 26 28 31 32 33 34 52 54 55 59 61 65 73 75 78 79 90 92 93 99 101 103 104 105 106 107 109 111 115 116 117 120 126 128 130 134 135 137 138 141 142 145 147 148 149 150 157 161 163
a 3 7 12 13 26 28 31 32 33 34 52 54 55 59 61 65 73 75 78 79 90 92 93 99 101 103 104 105 106 107 109 111 115 116 117 120 126 128 130 134 135 137 138 141 142 145 146 147 148 149 150 157 163
a 7 12 13 26 28 31 32 33 34 52 54 55 59 61 65 73 75 78 79 90 92 93 99 101 103 104 105 106 107 109 111 115 116 117 120 126 128 130 134 135 137 138 141 142 145 146 147 148 149 150 157 161 163
a 7 12 13 26 28 31 32 33 34 52 54 55 59 61 65 73 75 78 79 84 90 92 93 99 101 103 104 105 106 107 109 111 115 116 117 120 126 128 130 134 135 137 138 142 145 146 147 148 149 150 157 161 163
a 7 12 13 26 28 32 33 34 52 54 55 59 61 65 73 75 78 79 84 90 92 93 99 101 103 104 105 106 107 109 111 115 116 117 120 126 128 130 134 135 137 138 142 143 145 146 147 148 149 150 157 161 163
a 7 12 13 26 28 32 33 34 52 54 55 59 61 65 73 75 78 79 84 88 90 92 93 99 101 103 104 105 106 107 109 111 115 116 117 120 126 128 130 134 135 137 138 142 143 145 146 147 148 149 150 161 163
a 7 12 13 26 28 32 33 34 52 54 55 59 61 65 73 75 78 79 84 88 90 92 93 99 101 103 104 105 106 107 109 111 115 116 117 120 126 128 130 134 135 137 138 141 142 145 146 147 148 149 150 161 163
a 7 12 26 28 32 33 34 52 54 55 57 59 61 65 73 75 78 79 84 88 90 92 93 99 101 103 104 105 106 107 109 111 115 116 117 120 126 128 130 134 135 137 138 141 142 145 146 147 148 149 150 161 163
a 7 12 26 28 32 33 34 52 54 55 57 59 61 65 73 75 78 79 84 88 90 92 93 99 101 103 104 105 106 107 109 111 115 116 117 120 126 128 130 134 135 137 138 142 145 146 147 148 149 150 158 161 163
a 7 12 26 28 32 33 34 52 54 55 57 59 61 65 73 75 78 79 84 88 90 92 93 99 101 103 104 106 107 109 111 115 116 117 120 126 128 130 134 135 137 138 142 143 145 146 147 148 149 150 158 161 163
a 7 12 26 28 32 33 34 52 54 55 57 59 61 65 73 75 78 79 84 88 90 92 93 99 101 103 104 106 107 109 111 115 116 117 120 126 128 134 135 137 138 142 143 145 146 147 148 149 150 158 161 163 166
a 7 12 26 28 32 33 34 52 54 55 57 59 61 65 73 75 78 79 84 88 90 92 93 99 101 103 104 106 107 109 111 115 116 117 120 126 128 134 135 137 138 142 143 145 146 147 149 150 158 159 161 163 166
a 7 12 13 26 28 32 33 34 52 54 55 57 59 61 65 73 75 78 79 84 88 90 92 93 99 103 104 106 107 109 111 115 116 117 120 126 128 134 135 137 138 142 143 145 146 147 149 150 158 159 161 163 166
a 7 12 13 25 26 28 32 33 34 52 54 55 57 59 61 65 73 75 78 79 84 88 90 93 99 103 104 106 107 109 111 115 116 117 120 126 128 134 135 137 138 142 143 145 146 147 149 150 158 159 161 163 166
a 7 12 13 25 26 28 32 33 34 52 54 55 56 57 59 61 65 73 75 78 79 84 88 90 93 99 103 104 106 107 109 111 115 116 117 120 126 128 134 135 137 138 142 143 145 146 147 150 158 159 161 163 166
a 7 12 13 25 26 28 32 33 34 51 52 54 55 56 57 59 61 65 73 75 78 79 84 88 90 93 99 103 104 106 107 109 111 115 116 117 120 126 128 134 135 137 138 142 143 145 146 147 150 158 159 161 166
a 7 12 13 16 25 26 28 32 33 34 51 52 54 55 56 57 59 61 65 73 75 78 79 84 88 90 93 99 103 104 106 107 111 115 116 117 120 126 128 134 135 137 138 142 143 145 146 147 150 158 159 161 166
a 7 12 13 16 25 26 28 31 32 33 34 51 52 54 55 56 57 59 61 65 73 75 78 79 84 88 90 93 99 103 104 106 107 111 115 116 117 120 126 128 134 135 137 138 142 145 146 147 150 158 159 161 166
a 7 12 13 16 25 26 28 31 32 33 34 51 52 54 55 56 57 59 61 65 73 75 78 79 84 88 93 99 103 104 106 107 111 115 116 117 120 126 128 134 135 137 138 140 142 145 146 147 150 158 159 161 166
a 7 12 13 16 25 26 28 31 32 33 34 51 52 54 55 56 57 59 61 65 73 75 78 79 84 88 93 99 103 104 106 107 111 115 116 117 120 126 128 130 134 135 137 138 140 142 145 146 147 150 158 159 161
a 7 12 13 25 26 28 31 32 33 34 51 52 54 55 56 57 59 61 65 73 75 78 79 84 88 93 99 102 103 104 106 107 111 115 116 117 120 126 128 130 134 135 137 138 140 142 145 146 147 150 158 159 161
a 7 12 13 25 26 28 31 32 33 34 52 54 55 56 57 59 61 65 73 75 78 79 84 88 93 99 102 103 104 106 107 111 115 116 117 120 126 128 130 134 135 137 138 140 142 145 146 147 150 158 159 161 163
a 7 12 13 25 26 28 31 32 33 34 52 54 55 56 57 59 61 65 73 75 78 79 84 88 93 99 102 103 104 106 107 111 115 116 117 119 120 126 128 130 134 135 137 138 140 142 145 146 147 150 158 159 163
a 7 12 13 25 26 31 32 33 34 52 54 55 56 57 59 61 65 73 75 78 79 84 88 91 93 99 102 103 104 106 107 111 115 116 117 119 120 126 128 130 134 135 137 138 140 142 145 146 147 150 158 159 163
a 12 13 25 26 31 32 33 34 52 54 55 56 57 59 61 65 73 75 78 79 84 88 91 93 99 102 103 104 106 107 109 111 115 116 117 119 120 126 128 130 134 135 137 138 140 142 145 146 147 150 158 159 163
a 12 13 25 26 31 32 33 34 52 54 55 56 57 59 61 65 73 75 78 79 84 88 91 93 99 102 103 104 106 107 109 111 115 116 117 119 126 128 130 134 135 137 138 140 142 144 145 146 147 150 158 159 163
a 12 13 25 26 31 32 33 34 52 54 55 56 57 59 61 65 75 78 79 84 88 91 93 99 102 103 104 106 107 108 109 111 115 116 117 119 126 128 130 134 135 137 138 140 142 144 145 146 147 150 158 159 163
a 12 13 25 26 27 31 32 33 34 52 54 55 56 57 59 61 65 75 78 79 84 88 91 93 99 102 103 104 106 107 108 109 111 115 116 119 126 128 130 134 135 137 138 140 142 144 145 146 147 150 158 159 163
a 12 13 25 26 27 31 32 33 34 52 54 55 56 57 59 61 65 75 78 79 84 91 93 99 102 103 104 106 107 108 109 111 115 116 119 126 128 130 134 135 137 138 140 142 144 145 146 147 150 157 158 159 163
a 12 13 25 26 27 31 32 33 34 52 54 55 57 59 61 65 75 78 79 84 91 93 99 102 103 104 106 107 108 109 111 115 116 119 126 128 130 134 135 137 138 140 142 144 145 146 147 149 150 157 158 159 163
a 3 12 13 25 26 27 31 32 33 34 52 54 55 57 59 61 65 75 78 79 84 91 93 99 102 103 104 106 107 108 109 111 115 116 119 126 128 130 134 135 137 138 142 144 145 146 147 149 150 157 158 159 163
a 3 12 13 25 26 27 31 32 33 34 52 54 55 57 59 61 65 75 78 79 81 91 93 99 102 103 104 106 107 108 109 111 115 116 119 126 128 130 134 135 137 138 142 144 145 146 147 149 150 157 158 159 163
a 3 12 13 25 26 27 31 32 33 34 52 54 55 59 61 65 75 78 79 81 91 93 99 102 103 104 106 107 108 109 111 115 116 119 126 128 130 134 135 137 138 142 144 145 146 147 149 150 157 158 159 163 169
a 3 12 13 25 26 27 31 32 33 34 52 54 55 59 61 65 75 78 79 81 91 93 97 99 102 103 104 106 107 108 109 111 115 116 119 126 128 130 134 135 137 138 142 144 145 146 147 149 150 157 158 159 163
a 3 12 13 26 27 31 32 33 34 52 54 55 59 61 65 75 78 79 81 91 93 97 99 102 103 104 106 107 108 109 111 115 116 119 126 128 130 134 135 137 138 142 144 145 146 147 149 150 157 158 159 161 163
a 3 12 13 26 27 31 32 33 34 52 54 55 59 61 65 70 75 78 79 81 91 93 97 99 102 104 106 107 108 109 111 115 116 119 126 128 130 134 135 137 138 142 144 145 146 147 149 150 157 158 159 161 163
a 3 12 13 26 27 31 32 33 34 45 52 54 55 59 61 65 70 75 78 79 81 91 93 97 99 102 104 106 107 108 109 111 115 116 119 126 128 130 134 135 137 138 142 144 145 146 147 150 157 158 159 161 163
a 3 7 12 13 26 27 31 32 33 34 45 52 54 55 59 61 65 70 75 78 79 81 91 93 97 99 102 104 106 107 108 109 111 115 116 119 126 128 130 134 135 137 138 142 144 145 146 147 150 157 158 159 161
a 3 7 12 13 25 26 27 31 32 33 34 45 52 54 55 59 61 65 70 75 78 79 81 91 93 97 99 102 104 106 107 108 109 115 116 119 126 128 130 134 135 137 138 142 144 145 146 147 150 157 158 159 161
a 3 7 12 13 25 26 27 31 32 33 34 45 52 54 55 59 65 70 75 78 79 81 91 93 97 99 102 104 106 107 108 109 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 150 157 158 159 161
a 3 7 12 13 25 26 27 31 32 33 34 45 46 52 54 55 59 65 70 75 78 79 81 91 93 97 99 102 106 107 108 109 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 150 157 158 159 161
a 3 7 12 25 26 27 31 32 33 34 45 46 52 54 55 59 65 70 75 78 79 81 91 93 97 99 102 106 107 108 109 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 150 154 157 158 159 161
a 3 7 12 25 26 27 31 32 33 34 45 46 52 54 55 59 65 70 75 78 79 81 91 93 97 99 102 106 107 108 109 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 150 154 157 158 159 169
a 3 7 12 25 26 27 31 32 33 34 45 46 52 54 55 59 65 70 75 78 79 81 91 93 97 99 102 106 107 108 109 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 154 157 158 159 161 169
a 3 7 12 13 25 26 27 31 32 33 34 45 46 52 54 55 59 65 70 75 78 79 81 91 93 97 99 102 106 107 108 109 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 157 158 159 161 169
a 3 7 12 13 25 26 27 29 31 32 33 34 45 46 52 54 55 59 65 70 75 78 79 81 93 97 99 102 106 107 108 109 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 157 158 159 161 169
a 3 7 12 13 25 26 27 29 31 32 33 34 45 46 52 54 55 59 65 67 70 75 78 79 81 93 97 99 102 106 107 108 109 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 157 158 159 161
a 3 7 12 13 25 26 27 31 32 33 34 45 46 51 52 54 55 59 65 67 70 75 78 79 81 93 97 99 102 106 107 108 109 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 157 158 159 161
a 3 7 12 13 25 26 27 31 32 33 34 45 46 51 52 54 55 59 65 67 70 75 78 79 80 81 93 97 99 102 106 107 108 109 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 157 158 159
a 3 7 12 13 21 25 26 27 32 33 34 45 46 51 52 54 55 59 65 67 70 75 78 79 80 81 93 97 99 102 106 107 108 109 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 157 158 159
a 3 7 12 13 21 25 26 27 29 32 33 34 45 46 52 54 55 59 65 67 70 75 78 79 80 81 93 97 99 102 106 107 108 109 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 157 158 159
a 3 7 12 13 21 25 26 27 29 32 33 34 45 46 52 54 55 59 65 67 70 75 78 79 80 81 93 97 99 102 106 107 108 109 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 157 158 163
a 3 7 12 13 21 26 27 29 32 33 34 45 46 52 54 55 59 65 67 70 75 78 79 80 81 93 97 99 102 106 107 108 109 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 157 158 161 163
a 3 7 12 13 21 26 27 29 32 33 34 45 46 52 54 55 59 63 65 70 75 78 79 80 81 93 97 99 102 106 107 108 109 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 157 158 161 163
a 3 7 12 13 21 26 27 29 32 33 34 45 46 52 54 55 59 63 65 70 75 78 79 80 81 93 97 99 102 106 107 108 109 111 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 157 158 161
a 3 7 12 13 21 26 29 32 33 34 45 46 52 54 55 59 63 65 70 75 78 79 80 81 93 97 99 102 106 107 108 109 111 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 148 157 158 161
a 3 7 12 13 21 26 29 32 33 34 45 46 52 54 55 59 63 65 70 75 78 79 80 81 93 96 97 99 102 106 108 109 111 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 148 157 158 161
a 3 7 12 13 21 26 27 29 32 33 34 45 46 52 54 55 59 63 65 70 75 78 79 80 81 93 96 97 99 102 106 108 109 111 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 157 158 161
a 3 7 12 13 21 26 27 29 32 33 34 45 46 52 54 55 63 65 70 75 78 79 80 81 93 96 97 99 102 106 108 109 111 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 157 158 161 164
a 3 7 12 13 21 26 27 29 32 33 34 45 46 52 54 55 63 65 70 75 78 79 80 81 93 97 99 102 106 107 108 109 111 115 116 119 121 126 128 130 134 135 137 138 142 144 145 146 147 157 158 161 164
a 3 7 12 13 21 26 27 29 32 33 34 45 46 52 54 55 63 65 70 75 78 79 80 81 93 97 99 102 106 107 108 109 111 115 116 119 121 126 128 130 134 135 137 138 141 142 144 145 146 147 157 161 164
a 3 7 12 13 21 26 27 32 33 34 45 46 51 52 54 55 63 65 70 75 78 79 80 81 93 97 99 102 106 107 108 109 111 115 116 119 121 126 128 130 134 135 137 138 141 142 144 145 146 147 157 161 164
a 3 7 12 13 21 26 27 32 33 34 45 46 51 52 54 55 63 65 70 75 78 79 80 81 93 97 99 102 106 107 108 109 111 115 116 119 121 126 128 130 134 135 138 141 142 144 145 146 147 157 161 164 169
a 3 7 12 13 21 26 27 32 33 34 45 46 51 52 54 55 63 65 70 75 78 79 80 81 93 97 99 102 106 107 108 109 111 115 116 119 121 126 128 130 134 135 138 142 143 144 145 146 147 157 161 164 169
a 1 3 7 12 13 21 26 27 32 33 34 45 46 51 52 54 55 63 65 70 75 78 79 80 81 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 138 142 143 144 145 146 147 157 161 164 169
a 1 3 7 12 13 21 27 32 33 34 45 46 51 52 54 55 63 65 70 75 78 79 80 81 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 138 142 143 144 145 146 147 157 158 161 164 169
a 1 3 7 12 13 21 27 32 33 34 45 46 51 52 54 55 63 65 70 75 78 79 80 81 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 138 142 143 144 145 146 147 150 157 158 161 169
a 1 3 7 12 13 21 27 32 33 34 45 46 52 54 55 63 65 70 75 78 79 80 81 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 138 142 143 144 145 146 147 150 157 158 161 163 169
a 1 3 7 12 13 21 27 32 33 34 45 46 52 54 55 57 63 65 70 75 78 79 80 81 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 138 142 143 144 145 146 147 150 157 158 161 163
a 3 7 12 13 21 27 32 33 34 45 46 52 54 55 57 63 65 70 75 78 79 80 81 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 137 138 142 143 144 145 146 147 150 157 158 161 163
a 3 7 12 13 21 27 32 33 34 45 46 52 54 55 57 63 65 70 75 78 79 80 81 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 137 138 142 143 144 145 146 147 150 157 158 161
a 3 7 12 13 21 27 32 33 34 45 46 52 54 55 57 63 65 70 75 78 79 80 81 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 137 138 142 143 144 145 146 147 150 158 161 163
a 3 7 12 13 21 27 32 33 34 45 46 52 54 55 57 63 65 70 78 79 80 81 85 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 137 138 142 143 144 145 146 147 150 158 161 163
a 3 7 12 13 21 27 32 33 34 45 46 52 54 55 63 65 70 71 78 79 80 81 85 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 137 138 142 143 144 145 146 147 150 158 161 163
a 3 7 12 13 21 27 32 33 34 45 46 52 54 55 63 65 70 71 78 79 80 81 85 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 137 138 142 143 144 145 146 147 158 161 163 164
a 3 7 12 13 21 27 32 33 34 45 46 52 54 55 59 63 65 70 71 78 79 80 81 85 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 137 138 142 143 144 145 146 147 158 161 163
a 1 3 7 12 13 21 27 32 33 34 45 46 52 54 55 59 63 65 70 71 78 79 80 81 85 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 138 142 143 144 145 146 147 158 161 163
a 1 7 12 13 21 27 32 33 34 45 46 52 54 55 59 63 65 70 71 78 79 80 81 85 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 138 142 143 144 145 146 147 150 158 161 163
a 1 7 12 21 27 32 33 34 45 46 52 54 55 59 63 65 70 71 78 79 80 81 85 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 138 142 143 144 145 146 147 150 154 158 161 163
a 1 7 12 21 26 27 32 33 34 45 46 52 54 55 59 63 65 70 71 78 79 80 81 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 138 142 143 144 145 146 147 150 154 158 161 163
a 1 7 12 21 26 27 32 33 34 45 46 52 54 55 59 65 70 71 78 79 80 81 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 138 140 142 143 144 145 146 147 150 154 158 161 163
a 1 7 12 21 25 26 27 32 33 34 45 46 52 54 55 59 65 70 71 78 79 80 81 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 138 140 142 143 144 145 146 147 150 154 158 161
a 1 7 12 13 21 25 26 27 32 33 34 45 46 52 54 55 59 65 70 71 78 79 80 81 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 138 140 142 143 144 145 146 147 150 158 161
a 1 7 12 13 21 25 26 27 32 33 34 45 46 52 54 55 59 65 70 71 75 78 79 80 81 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 138 140 142 143 144 145 146 147 150 158
a 7 12 13 21 25 26 27 32 33 34 45 46 52 54 55 59 65 70 71 75 78 79 80 81 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 137 138 140 142 143 144 145 146 147 150 158
a 7 12 13 21 25 26 27 32 33 34 45 46 52 54 55 59 65 70 71 75 78 79 80 81 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 137 138 140 142 143 144 145 146 147 150 163
a 7 12 13 21 25 26 27 32 33 34 45 46 52 54 55 59 65 70 71 75 78 79 80 81 91 93 97 99 102 106 107 108 109 111 116 119 121 126 128 130 134 135 137 138 140 142 143 144 145 146 150 159 163
a 7 12 13 21 25 26 27 32 33 34 45 46 52 54 55 59 65 70 71 75 78 79 80 81 91 93 97 99 102 105 106 107 108 109 111 116 119 121 126 128 130 134 135 137 138 140 142 143 144 145 150 159 163
a 7 12 13 21 25 26 27 32 33 34 45 46 52 54 55 59 65 70 71 75 78 79 80 81 91 93 97 99 102 105 106 107 108 109 111 116 119 121 126 128 130 135 137 138 140 142 143 144 145 150 158 159 163
a 1 7 12 13 21 25 26 27 32 33 34 45 46 52 54 55 59 65 70 71 75 78 79 80 81 91 93 97 99 102 105 106 107 108 109 111 116 119 121 126 128 130 135 138 140 142 143 144 145 150 158 159 163
a 1 7 12 13 21 25 26 27 32 33 34 45 46 52 54 55 59 65 67 70 71 75 78 79 80 81 91 93 97 99 102 105 106 107 108 109 111 116 119 121 126 128 130 135 138 140 142 143 144 145 150 158 163
a 1 7 12 13 14 21 25 26 27 32 34 45 46 52 54 55 59 65 67 70 71 75 78 79 80 81 91 93 97 99 102 105 106 107 108 109 111 116 119 121 126 128 130 135 138 140 142 143 144 145 150 158 163
a 1 7 12 13 14 21 25 26 27 32 34 45 46 52 54 55 59 65 67 70 71 78 79 80 81 85 91 93 97 99 102 105 106 107 108 109 111 116 119 121 126 128 130 135 138 140 142 143 144 145 150 158 163
a 1 7 12 13 14 21 25 26 27 32 34 45 46 52 54 55 59 65 67 70 71 78 79 80 81 85 91 93 97 99 102 105 106 107 108 111 116 119 121 126 128 130 135 138 140 142 143 144 145 150 158 161 163
a 1 7 12 13 14 21 25 26 27 34 43 45 46 52 54 55 59 65 67 70 71 78 79 80 81 85 91 93 97 99 102 105 106 107 108 111 116 119 121 126 128 130 135 138 140 142 143 144 145 150 158 161 163
a 1 7 13 14 21 25 26 27 34 43 45 46 52 54 55 56 59 65 67 70 71 78 79 80 81 85 91 93 97 99 102 105 106 107 108 111 116 119 121 126 128 130 135 138 140 142 143 144 145 150 158 161 163
a 1 7 13 14 21 25 26 27 34 43 45 46 52 54 55 56 59 65 67 70 71 78 80 81 85 91 93 95 97 99 102 105 106 107 108 111 116 119 121 126 128 130 135 138 140 142 143 144 145 150 158 161 163
a 1 7 13 14 21 25 26 27 34 43 45 46 52 54 55 56 59 65 67 69 70 71 78 80 81 85 91 93 95 97 99 102 105 106 107 108 111 116 119 121 126 128 130 135 138 140 143 144 145 150 158 161 163
a 1 7 12 13 14 21 25 26 27 34 43 45 46 52 54 55 56 59 65 67 69 70 71 78 80 81 85 91 93 95 97 99 102 105 106 107 108 111 116 119 121 126 128 130 135 138 140 143 144 145 150 158 161
a 1 7 12 13 14 21 25 26 27 34 43 45 46 52 54 55 56 59 65 67 69 70 71 78 80 81 85 91 93 95 97 99 102 105 106 107 108 111 116 119 121 126 128 135 138 140 143 144 145 150 153 158 161
a 1 7 12 13 14 21 25 26 27 34 43 45 46 52 54 55 56 59 65 67 69 70 71 78 80 81 85 91 93 95 97 99 102 105 106 107 108 109 111 116 119 121 126 128 135 138 140 143 144 145 150 158 161
a 1 7 12 13 14 20 21 25 26 27 34 43 45 46 54 55 56 59 65 67 69 70 71 78 80 81 85 91 93 95 97 99 102 105 106 107 108 109 111 116 119 121 126 128 135 138 140 143 144 145 150 158 161
a 1 7 12 13 14 20 21 25 26 27 32 34 43 45 46 54 55 56 59 65 67 69 70 71 78 80 81 85 91 93 97 99 102 105 106 107 108 109 111 116 119 121 126 128 135 138 140 143 144 145 150 158 161
a 1 7 12 13 14 20 21 25 26 27 32 34 43 45 46 54 55 56 59 65 67 69 70 71 78 80 81 91 93 97 99 102 105 106 107 108 109 111 116 119 121 126 128 135 138 140 143 144 145 146 150 158 161
a 1 7 12 13 14 20 21 25 26 27 32 34 43 45 46 54 55 56 59 65 67 69 70 71 78 80 81 91 93 97 99 102 105 106 107 108 111 113 116 119 121 126 128 135 138 140 143 144 145 146 150 158 161
a 1 7 12 13 14 20 21 25 26 27 32 34 43 45 46 54 55 56 59 65 67 69 70 71 78 80 81 91 93 97 99 102 105 106 107 108 111 113 116 119 121 124 126 128 138 140 143 144 145 146 150 158 161
a 1 7 12 13 20 21 25 26 27 32 33 34 43 45 46 54 55 56 59 65 67 69 70 71 78 80 81 91 93 97 99 102 105 106 107 108 111 113 116 119 121 124 126 128 138 140 143 144 145 146 150 158 161
a 1 7 12 13 20 21 25 26 27 32 33 34 43 45 46 54 55 56 59 65 67 69 70 71 78 80 81 91 93 97 99 102 105 106 107 108 111 113 116 119 121 124 128 138 139 140 143 144 145 146 150 158 161
a 1 7 12 13 20 21 25 26 27 32 34 43 45 46 54 55 56 59 65 67 69 70 71 78 80 81 91 93 97 99 102 105 106 107 108 111 113 116 119 121 124 128 138 139 140 143 144 145 146 150 153 158 161
a 1 7 12 13 20 21 25 26 27 32 34 43 45 46 54 55 56 59 65 67 69 70 71 78 80 81 91 93 95 97 99 102 105 106 107 108 111 113 116 119 121 124 128 138 140 143 144 145 146 150 153 158 161
a 1 7 12 13 21 25 26 27 32 34 43 45 46 54 55 56 59 65 67 69 70 71 78 80 81 91 93 95 97 99 102 105 106 107 108 111 113 116 119 121 124 128 138 140 143 144 145 146 150 153 155 158 161
a 1 7 12 13 21 25 26 27 32 34 43 45 46 54 55 56 59 65 67 69 70 71 78 80 81 91 93 95 97 99 102 105 106 107 108 111 113 116 119 121 124 128 138 140 143 144 145 146 147 150 153 158 161
a 1 7 12 13 21 25 26 27 32 33 34 43 45 46 54 55 56 59 65 67 69 70 71 78 80 81 91 93 95 97 99 102 105 106 107 108 111 113 116 119 121 124 128 138 140 143 144 145 146 147 150 153 158
a 7 12 13 21 25 26 27 32 33 34 43 45 46 54 55 56 59 65 67 69 70 71 75 78 80 81 91 93 95 97 99 102 105 106 107 108 111 113 116 119 121 124 128 138 140 143 144 145 146 147 150 153 158
a 7 12 13 21 25 26 27 32 33 34 38 43 45 46 54 55 56 59 65 67 69 70 71 75 80 81 91 93 95 97 99 102 105 106 107 108 111 113 116 119 121 124 128 138 140 143 144 145 146 147 150 153 158
a 12 13 21 23 25 26 27 32 33 34 38 43 45 46 54 55 56 59 65 67 69 70 71 75 80 81 91 93 95 97 99 102 105 106 107 108 111 113 116 119 121 124 128 138 140 143 144 145 146 147 150 153 158
a 12 13 21 23 25 27 32 33 34 38 43 45 46 54 55 56 59 65 67 69 70 71 75 80 81 91 93 95 97 99 102 105 106 107 108 111 113 116 119 121 124 126 128 138 140 143 144 145 146 147 150 153 158
a 7 12 13 21 23 25 27 32 33 34 38 43 45 46 54 55 56 59 65 69 70 71 75 80 81 91 93 95 97 99 102 105 106 107 108 111 113 116 119 121 124 126 128 138 140 143 144 145 146 147 150 153 158
a 7 12 13 21 23 25 27 32 33 34 38 43 45 46 54 55 56 59 65 69 70 71 75 80 81 91 93 95 97 99 102 105 106 107 108 109 111 113 116 119 121 124 126 128 138 140 143 144 145 146 147 150 158
a 7 12 13 20 21 23 25 27 32 33 34 38 43 45 46 54 55 56 59 65 69 70 71 75 80 81 91 93 95 97 99 102 105 106 107 108 109 111 113 116 119 121 124 126 128 138 140 143 144 145 146 147 150
a 7 12 13 20 21 23 25 27 32 33 34 38 43 45 46 54 55 56 59 65 69 70 71 75 80 81 91 93 95 97 99 102 105 106 107 108 109 111 113 116 119 121 126 128 130 138 140 143 144 145 146 147 150
a 7 12 13 20 21 23 25 27 32 33 34 38 43 45 46 54 55 56 57 59 65 69 70 75 80 81 91 93 95 97 99 102 105 106 107 108 109 111 113 116 119 121 126 128 130 138 140 143 144 145 146 147 150
a 7 12 20 21 23 25 26 27 32 33 34 38 43 45 46 54 55 56 57 59 65 69 70 75 80 81 91 93 95 97 99 102 105 106 107 108 109 111 113 116 119 121 126 128 130 138 140 143 144 145 146 147 150
a 7 12 13 20 21 23 25 26 27 32 33 34 38 43 45 46 54 55 56 59 65 69 70 75 80 81 91 93 95 97 99 102 105 106 107 108 109 111 113 116 119 121 126 128 130 138 140 143 144 145 146 147 150
a 7 12 13 20 21 23 25 26 27 32 33 34 38 43 45 46 54 55 56 59 65 69 70 75 80 81 91 93 95 97 99 102 105 106 107 108 109 111 113 116 119 121 126 128 130 135 138 140 143 144 145 146 147
a 7 12 13 20 21 23 25 26 27 32 33 34 38 43 45 46 54 55 56 57 59 65 70 75 80 81 91 93 95 97 99 102 105 106 107 108 109 111 113 116 119 121 126 128 130 135 138 140 143 144 145 146 147
a 7 12 13 20 21 23 25 26 27 32 33 34 38 43 45 46 50 54 55 56 57 59 65 70 75 80 81 91 93 95 99 102 105 106 107 108 109 111 113 116 119 121 126 128 130 135 138 140 143 144 145 146 147
a 7 12 13 20 21 23 25 26 27 32 33 34 38 43 45 46 50 54 55 56 57 59 65 70 75 80 81 91 93 95 99 102 105 106 107 108 109 111 113 116 119 121 126 128 130 135 137 138 140 143 144 145 147
a 7 12 13 20 21 23 25 26 27 32 33 34 38 43 45 46 50 54 55 56 57 59 65 70 75 80 81 91 93 95 99 102 105 106 107 108 109 111 113 116 119 121 126 128 130 135 137 138 140 143 144 145 146
a 7 12 13 20 21 23 25 26 27 32 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 80 81 91 93 95 99 102 105 106 107 108 109 111 113 116 119 121 126 128 130 135 137 138 140 143 144 145
a 7 12 13 20 21 23 25 26 27 32 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 80 81 91 93 95 99 102 105 106 107 108 109 111 113 116 119 121 126 128 130 135 137 138 140 143 144 146
a 7 12 13 20 21 23 25 26 27 32 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 80 81 91 93 99 102 105 106 107 108 109 111 113 116 119 121 126 128 130 135 137 138 140 143 144 146
a 7 12 13 20 21 23 25 26 27 32 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 80 81 91 93 99 102 105 106 107 108 109 111 113 116 119 121 126 128 130 135 137 138 140 143 145 146
a 7 12 13 20 21 23 25 26 27 32 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 80 81 90 91 93 99 102 105 106 107 108 109 111 113 116 119 121 126 128 130 135 137 138 143 145 146
a 7 12 13 20 21 23 25 26 27 32 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 80 81 90 91 93 99 102 105 106 107 108 109 111 113 116 119 121 126 128 135 137 138 143 145 146 163
a 7 12 13 20 21 23 25 26 27 32 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 80 81 90 91 93 99 102 105 106 107 108 109 111 113 116 119 121 126 128 135 137 138 143 145 146 147
a 7 12 13 20 21 23 25 26 27 32 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 80 81 90 91 93 99 102 105 106 107 108 109 110 111 113 116 119 121 126 128 135 137 143 145 146 147
a 7 12 13 20 21 23 25 26 32 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 80 81 90 91 93 99 102 105 106 107 108 109 110 111 113 116 119 121 126 128 135 137 138 143 145 146 147
a 7 12 13 20 21 23 25 26 27 32 33 34 43 45 46 50 54 55 56 57 59 65 67 70 75 79 80 81 90 91 93 99 102 105 106 107 108 109 110 111 113 116 119 121 126 128 135 137 138 143 145 146 147
a 7 13 20 21 23 25 26 27 32 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 80 81 90 91 93 99 102 105 106 107 108 109 110 111 113 116 119 121 126 128 135 137 138 143 145 146 147
a 7 13 20 21 23 25 26 27 32 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 80 81 90 91 93 99 102 105 106 107 108 109 110 111 113 116 119 121 126 128 135 137 138 143 145 146 163
a 7 13 20 21 23 25 26 27 32 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 80 81 90 91 93 99 102 105 106 107 108 109 110 111 113 116 119 121 126 128 135 137 138 143 145 147 163
a 7 13 20 21 23 25 26 27 32 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 80 81 90 91 93 99 102 105 106 107 108 109 110 111 113 116 119 121 126 128 135 137 138 143 146 147 163
a 7 13 20 21 23 25 26 27 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 80 81 90 91 93 99 102 105 106 107 108 109 110 111 113 116 118 119 121 126 128 135 137 138 143 146 147 163
a 7 13 20 21 23 25 26 27 33 34 38 43 45 46 49 50 54 55 56 57 59 65 67 70 75 79 80 81 90 91 93 99 102 105 106 107 108 109 110 111 113 116 118 119 121 126 128 135 137 143 146 147 163
a 7 12 13 20 21 23 25 26 27 33 34 38 43 45 46 49 50 54 55 56 57 59 65 67 70 75 79 80 81 90 91 93 99 102 105 106 107 108 109 110 111 113 116 118 119 121 126 128 135 137 143 146 147
a 7 12 13 20 21 23 25 26 27 33 34 38 43 45 46 49 50 54 55 56 57 59 65 67 70 75 79 80 81 90 91 93 99 102 105 106 107 108 109 110 111 113 116 118 119 126 128 135 137 143 146 147 163
a 7 12 13 20 21 23 25 26 27 33 34 38 43 45 46 49 50 54 55 56 57 59 65 67 70 75 79 80 81 90 91 93 99 102 105 106 107 108 109 110 111 113 116 118 119 126 128 135 137 143 144 146 147
a 7 12 13 20 21 23 25 26 27 33 34 38 43 45 46 49 50 54 55 56 57 59 65 67 70 75 79 80 81 90 91 93 96 99 102 105 106 108 109 110 111 113 116 118 119 126 128 135 137 143 144 146 147
a 7 12 13 20 21 23 25 26 27 33 34 38 43 45 46 49 50 54 55 56 57 59 65 67 70 75 79 81 90 91 93 96 99 102 103 105 106 108 109 110 111 113 116 118 119 126 128 135 137 143 144 146 147
a 7 12 13 20 21 23 25 26 27 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 81 90 91 93 96 99 102 103 105 106 108 109 110 111 113 116 118 119 126 128 135 137 138 143 144 146 147
a 7 12 13 20 21 25 26 27 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 116 118 119 126 128 135 137 138 143 144 146 147
a 7 13 20 21 25 26 27 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 116 118 119 126 128 135 137 138 143 144 145 146 147
a 7 13 20 21 25 26 27 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 116 118 119 126 128 135 137 138 143 144 145 146
a 7 12 13 20 21 25 26 27 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 116 118 119 126 128 135 137 138 143 144 145
a 7 12 13 20 21 25 26 27 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 116 118 126 128 135 137 138 143 144 145 158
a 7 12 13 20 21 25 26 27 33 34 38 43 45 46 50 54 55 56 57 59 65 67 70 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 118 126 128 135 137 138 143 144 145 158 159
a 7 12 13 20 21 25 26 27 33 34 38 43 44 45 46 50 54 55 56 57 59 65 67 70 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 118 126 128 135 137 138 143 144 145 158
a 7 12 13 20 21 25 26 27 33 34 38 43 44 45 46 50 54 55 56 57 59 65 67 70 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 135 137 138 143 144 145 146 158
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 54 55 56 57 59 65 67 70 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 135 137 138 143 144 145 146
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 54 55 56 57 59 65 67 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 129 135 137 138 143 144 145 146
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 54 55 56 59 65 67 71 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 129 135 137 138 143 144 145 146
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 54 55 56 59 65 67 71 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 129 135 137 138 143 145 146 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 54 55 56 59 65 67 71 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 129 135 137 138 143 144 145 146 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 54 55 56 59 65 67 71 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 129 135 137 138 144 145 146 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 54 55 56 59 65 67 71 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 129 135 137 138 144 145 146 159
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 54 55 56 59 65 67 71 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 129 130 135 137 138 144 145 146
a 7 12 20 21 25 26 27 32 33 34 38 43 44 45 46 50 54 55 56 59 65 67 71 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 129 130 135 137 138 144 145 146 159
a 7 12 20 21 25 26 27 32 33 34 38 43 44 45 46 50 54 55 56 59 65 67 71 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 129 130 135 137 138 143 144 145 146
a 7 12 20 21 25 26 27 32 33 34 38 43 44 45 46 50 54 55 56 59 65 67 71 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 129 130 135 137 138 143 144 145 159
a 7 12 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 65 67 71 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 129 130 135 137 138 143 144 159
a 7 12 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 65 67 71 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 129 130 135 137 138 143 144 147
a 7 12 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 65 67 71 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 129 130 135 137 138 143 144 161
a 7 12 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 65 67 71 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 129 130 135 137 138 143 147 161
a 7 12 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 65 67 71 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 129 130 135 137 138 142 143 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 65 67 71 75 79 81 88 90 91 93 96 99 102 103 105 106 108 109 110 111 113 115 126 128 129 130 135 138 142 143 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 65 67 71 75 79 81 88 90 91 93 96 99 102 105 106 108 109 110 111 113 115 121 126 128 129 130 135 138 142 143 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 65 67 71 75 81 88 90 91 93 95 96 99 102 105 106 108 109 110 111 113 115 121 126 128 129 130 135 138 142 143 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 65 67 71 75 81 88 90 91 93 95 96 99 102 105 106 108 109 110 111 113 115 121 126 128 129 130 135 138 142 143 144
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 67 71 75 77 81 88 90 91 93 95 96 99 102 105 106 108 109 110 111 113 115 121 126 128 129 130 135 138 142 143 144
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 67 71 75 77 80 81 88 90 91 93 95 96 99 102 105 106 108 109 110 111 113 115 121 126 128 129 130 135 138 142 143
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 67 71 75 77 80 81 88 90 91 93 95 96 99 102 105 106 108 109 110 111 113 115 121 126 128 129 130 135 142 143 146
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 67 71 75 77 80 81 88 90 91 93 95 96 99 102 105 106 108 109 110 111 113 115 121 126 128 129 130 135 137 142 143
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 67 71 75 77 80 81 88 90 91 93 95 96 99 102 105 106 108 109 110 111 113 115 121 126 128 129 130 135 137 142 145
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 88 90 91 93 95 96 99 102 105 106 108 109 110 111 113 115 121 126 128 129 135 137 142 145
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 88 90 91 93 95 96 99 102 105 106 109 110 111 113 115 121 126 128 129 135 137 142 143 145
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 88 90 91 93 95 96 99 102 105 106 108 109 111 113 115 121 126 128 129 135 137 142 143 145
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 88 90 91 93 95 96 99 100 102 105 106 108 109 111 113 115 121 126 128 129 135 137 142 143
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 88 91 93 95 96 99 100 102 105 106 108 109 111 113 115 121 126 128 129 135 137 140 142 143
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 88 91 93 95 96 99 100 102 105 106 108 109 111 113 115 121 128 129 135 137 140 142 143 146
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 88 91 93 95 96 99 100 102 105 106 108 111 113 115 121 128 129 135 137 140 142 143 146 159
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 88 91 93 95 96 99 100 102 105 106 108 109 111 113 115 121 128 135 137 140 142 143 146 159
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 128 135 137 140 142 143 146
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 128 135 137 140 143 146 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 128 135 140 142 143 146 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 128 135 140 142 143 146 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 126 128 135 140 142 143 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 126 128 135 137 140 142 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 102 105 106 108 109 110 111 113 115 121 126 128 135 137 140 142 146 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 65 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 126 128 135 137 140 142 146 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 65 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 126 128 129 135 137 140 142 146 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 126 128 129 135 137 140 142 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 126 128 129 130 135 137 140 142 147
a 7 12 13 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 126 128 129 130 135 137 140 142 147
a 7 12 13 21 25 26 27 32 33 34 38 43 44 45 46 50 51 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 126 128 129 130 135 137 140 142 145
a 7 12 13 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 126 128 129 135 137 140 142 145
a 7 12 13 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 126 128 129 135 137 142 145 146
a 7 12 13 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 126 128 129 135 137 142 146 147
a 7 12 13 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 128 129 135 137 142 143 146 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 128 129 135 137 142 143 146 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 115 121 128 129 135 137 142 143 145 146 147
a 7 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 50 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 128 129 135 137 142 143 145 146 147
a 7 12 13 20 21 25 26 27 32 34 38 43 44 45 46 49 50 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 128 129 135 137 142 143 145 146 147
a 12 13 20 21 25 26 27 32 34 38 43 44 45 46 49 50 51 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 128 129 135 137 142 143 145 146 147
a 12 13 20 21 25 26 27 32 34 38 43 44 45 46 49 50 51 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 128 129 135 137 142 143 144 145 146
a 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 65 67 71 75 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 128 129 135 137 142 143 144 145
a 12 13 20 21 23 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 65 67 71 75 80 81 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 128 129 135 137 142 143 144 145
a 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 65 67 71 75 80 81 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 128 129 135 137 142 143 144 145 159
a 12 13 20 21 25 26 27 32 33 34 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 128 129 135 137 142 143 144 145 159
a 7 12 13 20 21 25 26 27 32 34 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 128 129 135 137 142 143 144 145 159
a 7 12 13 21 25 26 27 32 34 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 128 129 135 137 140 142 143 144 145 159
a 7 12 13 21 25 26 27 32 34 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 122 128 129 135 137 140 143 144 145 159
a 7 12 13 21 25 26 27 32 34 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 122 123 129 135 137 140 143 144 145 159
a 2 7 12 13 21 25 26 27 32 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 122 123 129 135 137 140 143 144 145 159
a 2 7 12 21 25 26 27 32 33 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 122 123 129 135 137 140 143 144 145 159
a 2 7 12 13 21 26 27 32 33 38 43 44 45 46 49 50 51 54 55 56 59 67 71 75 77 80 81 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 122 123 129 135 137 140 143 144 145 159
a 2 7 12 13 21 26 27 32 33 38 43 44 46 49 50 51 54 55 56 59 67 71 75 77 80 81 88 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 122 123 129 135 137 140 143 144 145 159
a 2 7 12 13 21 26 27 32 33 38 43 44 46 49 50 51 54 55 56 59 67 71 75 77 80 81 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 122 123 129 135 137 140 143 144 145 151 159
a 2 7 12 13 21 26 27 32 33 38 44 46 49 50 51 54 55 56 59 67 71 75 77 80 81 91 93 95 96 99 100 102 105 106 108 109 110 111 113 115 121 122 123 129 135 137 140 143 144 145 150 151 159
a 2 7 12 13 21 26 27 32 33 38 44 46 49 50 51 54 55 56 59 67 69 71 75 77 80 81 91 93 95 99 100 102 105 106 108 109 110 111 113 115 121 122 123 129 135 137 140 143 144 145 150 151 159
a 2 7 12 13 21 26 27 32 33 38 44 46 49 50 51 54 55 56 67 69 71 75 77 80 81 91 93 95 99 100 102 105 106 108 109 110 111 113 115 121 122 123 129 135 136 137 140 143 144 145 150 151 159
a 2 7 12 13 21 26 27 32 33 35 38 44 46 49 50 51 54 55 56 67 69 71 75 77 80 81 91 95 99 100 102 105 106 108 109 110 111 113 115 121 122 123 129 135 136 137 140 143 144 145 150 151 159
a 7 12 13 21 26 27 32 33 34 35 38 44 46 49 50 51 54 55 56 67 69 71 75 77 80 81 91 95 99 100 102 105 106 108 109 110 111 113 115 121 122 123 129 135 136 137 140 143 144 145 150 151 159
a 7 12 13 21 26 27 32 33 34 35 38 44 46 49 50 51 54 55 56 69 71 75 77 80 81 83 91 95 99 100 102 105 106 108 109 110 111 113 115 121 122 123 129 135 136 137 140 143 144 145 150 151 159
a 12 13 21 26 27 32 33 34 35 38 44 46 49 50 51 54 55 56 69 71 75 77 80 81 83 91 95 99 100 102 105 106 108 109 110 111 113 115 121 122 123 129 132 135 136 137 140 143 144 145 150 151 159
a 12 13 21 26 27 32 33 34 35 38 39 44 46 49 50 51 54 55 56 69 71 75 77 80 81 83 91 95 99 100 102 105 106 108 109 110 111 113 121 122 123 129 132 135 136 137 140 143 144 145 150 151 159
a 12 13 21 26 27 32 33 34 35 38 39 46 49 50 51 54 55 56 69 71 75 77 80 81 83 91 95 99 100 102 105 106 108 109 110 111 113 119 121 122 123 129 132 135 136 137 140 143 144 145 150 151 159
a 12 13 21 26 27 32 33 34 35 38 39 46 49 50 51 54 55 56 57 69 75 77 80 81 83 91 95 99 100 102 105 106 108 109 110 111 113 119 121 122 123 129 132 135 136 137 140 143 144 145 150 151 159
a 12 13 21 26 27 32 34 35 38 39 46 49 50 51 54 55 56 57 69 75 77 80 81 83 91 95 99 100 102 105 106 108 109 110 111 113 119 121 122 123 129 132 135 136 137 140 143 144 145 150 151 155 159
a 12 13 21 26 27 32 34 35 38 39 46 49 50 51 54 55 56 57 69 75 77 80 81 83 91 95 99 100 102 105 106 107 108 109 110 111 113 119 121 122 123 129 132 136 137 140 143 144 145 150 151 155 159
a 12 13 21 26 27 32 34 35 38 39 46 49 50 51 54 55 56 57 69 75 77 80 81 83 89 91 99 100 102 105 106 107 108 109 110 111 113 119 121 122 123 129 132 136 137 140 143 144 145 150 151 155 159
a 12 13 21 26 27 32 34 35 38 39 46 49 50 51 54 55 56 57 69 75 79 80 81 83 89 91 99 100 102 105 106 107 108 109 110 111 113 119 121 122 123 129 132 136 137 140 143 144 145 150 151 155 159
a 12 13 21 26 27 32 34 35 38 39 41 46 49 50 51 54 55 57 69 75 79 80 81 83 89 91 99 100 102 105 106 107 108 109 110 111 113 119 121 122 123 129 132 136 137 140 143 144 145 150 151 155 159
a 3 12 13 21 26 27 32 34 35 38 39 41 46 49 50 51 54 55 57 69 75 79 80 81 83 89 91 99 100 102 105 106 107 108 109 110 111 113 119 121 122 123 129 132 136 137 143 144 145 150 151 155 159
a 3 12 13 21 26 27 32 34 35 38 39 41 46 49 50 51 54 55 57 69 75 79 80 81 83 89 91 99 100 102 105 106 107 108 109 110 111 113 114 119 121 123 129 132 136 137 143 144 145 150 151 155 159
a 3 12 13 21 26 27 32 34 35 38 39 41 46 49 50 51 54 55 57 69 75 79 81 83 89 91 99 100 102 105 106 107 108 109 110 111 113 114 119 121 123 129 132 133 136 137 143 144 145 150 151 155 159
a 3 12 13 21 26 27 32 34 35 38 39 41 46 49 50 51 54 55 57 69 75 79 81 83 89 91 99 100 102 105 106 107 108 109 110 111 113 114 119 121 123 129 132 133 136 137 143 144 150 151 155 159 160
a 3 12 13 21 23 26 27 32 34 35 38 39 41 46 49 50 51 54 55 57 69 75 79 81 83 89 91 99 100 102 105 106 107 108 109 110 111 113 114 119 121 123 129 132 133 136 137 143 144 150 151 155 160
a 3 10 12 13 21 23 26 27 32 34 35 38 39 41 46 49 50 51 54 55 57 69 75 79 81 83 89 91 99 100 105 106 107 108 109 110 111 113 114 119 121 123 129 132 133 136 137 143 144 150 151 155 160
a 3 10 12 13 21 23 26 27 32 34 35 37 38 39 41 46 49 50 51 54 55 57 69 75 79 81 83 89 91 99 100 105 106 107 108 110 111 113 114 119 121 123 129 132 133 136 137 143 144 150 151 155 160
a 3 10 12 13 18 21 23 26 27 32 34 35 37 38 39 41 46 49 50 51 54 55 57 69 75 79 81 83 89 91 99 100 105 107 108 110 111 113 114 119 121 123 129 132 133 136 137 143 144 150 151 155 160
a 3 10 12 13 18 21 23 26 27 32 34 35 37 38 39 41 46 50 51 54 55 57 63 69 75 79 81 83 89 91 99 100 105 107 108 110 111 113 114 119 121 123 129 132 133 136 137 143 144 150 151 155 160
a 3 10 12 13 18 21 23 26 27 32 34 35 37 38 39 41 46 50 51 54 55 57 63 69 75 79 81 83 89 91 99 100 105 107 108 110 111 114 119 121 123 129 132 133 136 137 143 144 150 151 155 160 161
a 3 5 10 12 13 18 21 23 26 32 34 35 37 38 39 41 46 50 51 54 55 57 63 69 75 79 81 83 89 91 99 100 105 107 108 110 111 114 119 121 123 129 132 133 136 137 143 144 150 151 155 160 161
a 3 5 10 12 13 18 21 23 26 32 34 35 37 38 39 41 46 47 50 51 54 57 63 69 75 79 81 83 89 91 99 100 105 107 108 110 111 114 119 121 123 129 132 133 136 137 143 144 150 151 155 160 161
a 3 5 10 12 13 18 21 23 26 32 34 35 37 38 39 41 46 47 50 51 54 57 63 69 75 79 81 83 89 91 99 100 105 107 108 111 114 119 121 123 129 132 133 134 136 137 143 144 150 151 155 160 161
a 3 5 10 12 13 18 21 23 26 32 34 35 37 38 39 41 46 47 50 51 54 57 63 69 75 79 81 83 89 91 99 100 105 107 108 111 114 119 121 129 132 133 134 136 137 143 144 148 150 151 155 160 161
a 3 5 10 12 13 15 18 21 23 26 32 34 35 37 38 39 41 46 47 50 51 54 57 63 69 75 79 81 83 89 91 99 100 105 107 108 114 119 121 129 132 133 134 136 137 143 144 148 150 151 155 160 161
a 3 5 10 12 13 15 18 21 23 26 32 34 35 37 38 39 41 47 50 51 54 57 60 63 69 75 79 81 83 89 91 99 100 105 107 108 114 119 121 129 132 133 134 136 137 143 144 148 150 151 155 160 161
a 3 5 10 12 13 15 18 21 23 26 32 34 35 37 38 39 41 47 50 51 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 114 119 121 129 132 133 134 136 137 143 144 148 150 151 155 160 161
c Step: 270
#END: [Tue Sep  5 07:54:49 2023]