#BEGIN: [Tue Sep 26 07:40:28 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance012_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance012_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_instance012_graph005.col /benchmark/random_instance/random_instance012_graph005_01.dat
c /benchmark/random_instance/random_instance012_graph005.col
c /benchmark/random_instance/random_instance012_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID 41813c24f9edc9c828b3e3b15a2c6a90a55c34268e80406a86cd84593aca4859
s 15 135 149 6 139 32 108 142 151 136 17 110 21 107 106 70 101 120 16 97 137 8 67 31 42 58 81 30 121 82 38 118 90 48 119 3 114 89 39 133 128 14 155 64 55 147 60 37 146 75 104 33 24
t 79 88 135 24 156 30 109 37 52 26 12 68 41 138 130 153 132 101 91 133 148 4 136 99 114 122 18 69 15 124 143 1 75 97 25 140 16 49 39 118 35 8 59 111 58 95 19 82 22 66 146 81 121
a YES
a 3 6 8 14 15 16 17 21 24 30 31 32 33 37 38 39 42 48 55 58 60 64 67 70 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 139 142 146 147 149 151 155
a 3 8 14 15 16 17 21 24 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 70 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 139 142 146 147 149 151 155
a 3 8 14 15 17 21 24 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 70 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 139 142 146 147 149 151 155 156
a 3 8 14 15 17 21 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 70 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 139 142 146 147 149 151 154 155 156
a 3 8 14 15 17 21 24 30 32 33 37 38 39 42 48 55 58 59 60 64 67 70 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 139 142 146 147 149 151 154 155 156
a 3 8 14 15 21 24 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 70 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 139 142 146 147 149 151 154 155 156
a 3 8 15 21 24 30 31 32 33 37 38 39 42 43 48 55 58 59 60 64 67 70 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 139 142 146 147 149 151 154 155 156
a 3 8 15 21 22 24 30 31 32 33 37 38 39 42 43 48 55 58 59 60 64 67 70 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 139 142 146 147 151 154 155 156
a 3 8 15 17 21 22 24 30 31 32 37 38 39 42 43 48 55 58 59 60 64 67 70 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 139 142 146 147 151 154 155 156
a 3 8 15 17 21 24 30 31 32 37 38 39 42 43 48 55 58 59 60 64 67 70 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 139 142 146 147 149 151 154 155 156
a 3 8 15 17 21 24 30 31 32 33 37 38 39 42 43 48 55 59 60 64 67 70 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 139 142 146 147 149 151 154 155 156
a 3 8 17 21 24 30 31 32 33 37 38 39 42 43 48 55 58 59 60 64 67 70 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 139 142 146 147 149 151 154 155 156
a 3 8 17 21 24 30 31 32 33 37 38 39 42 43 45 48 55 58 59 64 67 70 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 139 142 146 147 149 151 154 155 156
a 3 8 14 17 21 24 30 31 32 33 37 38 39 42 45 48 55 58 59 64 67 70 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 139 142 146 147 149 151 154 155 156
a 3 8 14 17 21 24 30 31 32 33 37 38 39 42 45 48 55 58 59 64 70 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 129 133 135 136 137 139 142 146 147 149 151 154 155 156
a 3 8 14 17 21 24 30 31 32 33 37 38 39 42 45 48 55 58 59 64 67 70 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 129 133 135 136 137 139 142 146 147 149 151 154 155
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 48 55 58 59 64 67 70 75 81 82 83 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 129 133 135 136 137 139 142 146 147 149 151 154 155
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 48 55 58 59 64 66 67 70 75 81 82 83 89 90 97 101 104 106 108 110 114 118 119 120 121 128 129 133 135 136 137 139 142 146 147 149 151 154 155
a 3 8 14 24 30 31 32 33 37 38 39 42 45 48 55 58 59 64 66 67 70 74 75 81 82 83 89 90 97 101 104 106 108 110 114 118 119 120 121 128 129 133 135 136 137 139 142 146 147 149 151 154 155
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 48 55 58 59 64 66 67 70 74 75 81 82 83 89 90 97 101 104 106 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 154 155
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 64 66 67 70 75 81 82 83 89 90 97 101 104 106 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 154 155
a 3 8 14 21 24 31 32 33 37 38 39 42 45 48 54 55 58 59 64 66 67 70 75 81 82 83 87 89 90 97 101 104 106 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 154 155
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 64 66 67 70 75 81 82 83 87 89 90 97 101 104 106 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 155
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 82 83 87 89 90 97 101 104 106 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 83 87 89 90 97 101 104 106 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 154
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 87 89 90 97 101 102 104 106 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 154
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 87 89 97 101 102 104 106 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 152 154
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 87 89 97 101 102 104 106 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 154 156
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 87 89 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 152 154 156
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 87 89 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 152 154 155
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 87 89 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 149 151 152 154 155 156
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 87 89 97 102 104 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 152 154 155 156
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 87 89 97 102 104 106 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 152 155 156
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 87 89 97 102 104 106 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 152 154 155
a 3 8 14 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 66 67 70 75 81 82 87 89 97 102 104 106 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 152 154 155
a 3 8 14 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 66 67 70 75 81 82 87 89 97 102 104 106 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 151 152 154 155
a 3 8 14 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 97 102 104 106 108 110 114 118 119 120 121 128 129 133 135 139 142 146 147 151 152 154 155
a 3 8 14 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 97 102 104 106 108 110 111 114 118 119 120 121 128 129 133 135 139 142 146 151 152 154 155
a 3 8 14 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 66 67 70 75 80 81 82 87 89 90 97 102 104 106 108 110 111 114 118 119 120 121 128 129 133 139 142 146 151 152 154 155
a 3 4 8 14 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 66 67 70 75 80 81 82 87 89 90 97 102 104 106 108 110 111 114 118 119 120 121 129 133 139 142 146 151 152 154 155
a 3 4 14 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 66 67 70 75 80 81 82 87 89 90 97 102 104 106 108 110 111 114 118 119 120 121 129 133 139 142 146 151 152 154 155 156
a 3 4 14 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 66 67 70 75 80 81 82 87 89 90 97 104 106 108 110 111 114 118 119 120 121 124 129 133 139 142 146 151 152 154 155 156
a 3 14 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 66 67 70 75 80 81 82 87 89 90 97 104 106 108 110 111 114 118 119 120 121 124 128 129 133 139 142 146 151 152 154 155 156
a 3 14 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 67 70 75 80 81 82 87 89 90 97 104 106 107 108 110 111 114 118 119 120 121 124 128 129 133 139 142 146 151 152 154 155 156
a 3 8 14 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 104 106 107 108 110 111 114 118 119 120 121 124 128 129 133 139 142 146 151 152 154 155 156
a 3 8 14 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 104 106 107 108 110 111 114 118 119 120 121 124 128 129 133 139 142 146 147 151 152 154 155
a 3 8 14 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 104 106 107 108 110 111 114 118 119 120 121 124 128 129 133 139 142 146 147 151 152 154 156
a 3 8 14 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 104 106 107 108 110 111 114 118 119 120 121 124 128 129 133 139 142 146 147 151 152 154
a 3 8 14 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 104 106 107 108 110 111 114 118 119 121 124 128 129 133 139 142 146 147 151 152 154 155
a 3 8 14 17 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 104 106 107 108 110 111 114 118 119 121 124 128 129 133 139 142 146 147 151 152 154
a 3 8 14 17 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 104 106 107 108 110 111 114 118 119 121 124 128 129 133 135 139 142 146 147 152 154
a 3 8 14 17 19 21 24 30 31 32 33 37 38 39 42 45 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 104 106 107 108 110 111 114 118 119 121 124 128 129 133 135 139 142 146 147 154 155
a 3 8 14 17 19 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 104 106 107 108 110 111 114 118 119 121 128 129 133 135 139 142 146 147 154 155
a 3 8 14 17 18 19 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 104 107 108 110 111 114 118 119 121 128 129 133 135 139 142 146 147 154 155
a 3 8 14 17 18 19 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 67 70 75 82 87 89 90 97 101 104 107 108 110 111 114 118 119 121 128 129 133 135 139 142 146 147 148 154 155
a 3 8 14 17 18 19 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 104 107 108 110 111 114 118 119 121 128 129 133 135 139 142 146 147 148 154 155
a 3 8 14 17 18 19 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 104 108 110 111 114 118 119 121 128 129 133 135 139 142 146 147 148 154 155 156
a 3 8 14 17 18 19 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 97 101 104 108 110 111 114 118 119 121 128 129 133 135 139 142 146 147 148 154 155
a 8 14 17 18 19 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 97 101 104 108 110 111 114 118 119 121 128 129 133 135 139 142 146 147 148 154 155
a 3 8 14 17 18 19 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 97 101 104 108 110 111 114 118 119 121 128 129 133 135 139 142 146 147 148 154
a 3 8 14 17 18 19 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 97 101 104 108 110 111 114 118 119 121 125 128 129 133 135 139 142 146 147 148
a 3 8 14 17 18 19 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 97 101 104 108 110 111 114 118 119 121 125 128 129 133 135 139 142 146 147 152
a 3 8 14 17 18 19 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 87 89 90 97 101 104 108 110 111 114 118 119 121 125 128 129 133 135 139 140 142 146 147 152
a 3 8 14 17 18 19 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 87 89 90 97 101 104 108 110 111 114 118 121 125 128 129 133 135 139 140 142 146 147 152 154
a 3 8 14 17 18 19 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 97 101 104 108 110 111 114 118 121 125 128 129 133 135 139 140 142 146 147 152
a 3 8 14 17 18 19 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 97 101 104 108 110 111 114 118 121 125 128 129 133 135 139 140 142 146 147 156
a 3 8 14 17 18 19 21 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 82 87 89 90 97 101 104 108 110 111 114 118 119 121 125 128 129 133 135 139 140 142 146 147 156
a 3 8 14 17 18 19 21 22 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 82 87 89 90 97 101 104 108 110 111 114 118 119 121 125 128 129 133 135 139 140 142 146 156
a 3 8 14 18 19 21 22 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 66 67 70 75 82 83 87 89 90 97 101 104 108 110 111 114 118 119 121 125 128 129 133 135 139 140 142 146 156
a 3 8 14 18 19 21 22 24 30 31 32 33 37 38 39 42 45 48 55 58 59 60 64 66 67 70 75 82 83 87 89 90 97 101 104 108 110 111 114 118 119 121 125 128 129 133 135 139 140 142 144 146 156
a 3 8 13 14 18 19 21 22 24 30 31 32 33 37 39 42 45 48 55 58 59 60 64 66 67 70 75 82 83 87 89 90 97 101 104 108 110 111 114 118 119 121 125 128 129 133 135 139 140 142 144 146 156
a 3 8 13 14 18 19 21 22 24 30 31 32 33 37 39 42 45 48 54 55 58 59 60 64 66 67 70 75 82 83 87 89 90 97 101 104 108 110 111 114 118 119 121 125 128 129 133 135 139 140 142 146 156
a 3 8 13 14 18 19 21 22 24 30 31 32 33 37 39 42 45 48 54 55 58 59 60 64 66 67 70 75 82 83 87 89 90 97 101 104 108 110 111 114 118 119 121 125 128 129 133 135 139 140 142 146 154
a 3 8 13 14 18 19 21 22 24 26 30 31 32 33 37 39 42 45 48 54 55 58 59 60 64 66 67 75 82 83 87 89 90 97 101 104 108 110 111 114 118 119 121 125 128 129 133 135 139 140 142 146 154
a 3 8 13 14 18 19 21 22 24 26 30 31 32 33 37 39 42 45 48 54 55 57 58 59 60 64 66 67 75 82 83 87 89 90 97 101 104 108 110 111 114 118 119 121 125 128 129 133 135 140 142 146 154
a 3 8 13 14 18 19 21 22 24 26 30 31 32 33 37 39 42 45 48 54 55 57 58 59 60 64 66 67 75 82 83 87 89 90 97 101 104 108 110 111 114 118 119 121 125 128 129 133 135 140 146 147 154
a 3 8 13 14 18 19 21 22 24 26 30 31 32 33 37 39 42 45 48 54 55 57 58 59 60 64 66 67 75 82 83 87 89 90 97 101 104 108 110 111 114 118 119 121 125 128 129 133 135 140 146 147 155
a 3 8 13 14 18 19 21 22 24 26 30 31 32 33 37 39 42 45 48 54 55 57 58 59 60 64 66 67 75 82 83 87 89 90 97 101 104 108 110 111 114 118 119 121 125 128 129 133 135 140 147 154 155
a 3 8 13 14 18 19 21 22 24 26 28 30 31 32 33 37 39 42 48 54 55 57 58 59 60 64 66 67 75 82 83 87 89 90 97 101 104 108 110 111 114 118 119 121 125 128 129 133 135 140 147 154 155
a 3 8 13 14 18 19 21 22 24 26 28 30 31 32 33 37 39 42 48 54 55 57 58 59 60 64 66 67 75 82 83 87 89 90 97 101 104 108 110 111 114 118 119 125 128 129 133 135 140 142 147 154 155
a 3 8 13 14 18 19 21 22 24 26 28 30 31 32 33 37 39 42 48 54 55 57 58 59 60 64 66 67 75 82 83 87 89 90 97 101 104 108 110 111 114 118 119 120 125 128 129 133 135 140 142 147 154
a 3 8 13 14 15 18 19 21 22 24 26 28 30 31 32 33 37 39 42 48 54 55 57 58 59 60 64 66 67 75 82 83 87 89 90 97 101 104 108 110 111 114 118 119 120 125 128 133 135 140 142 147 154
a 3 8 13 14 15 18 19 21 22 24 26 28 30 31 32 33 37 39 42 48 54 55 57 58 59 60 64 66 67 75 81 82 83 87 89 90 97 101 104 108 110 111 114 118 119 120 125 128 133 135 140 142 147
a 3 8 13 14 15 18 19 21 22 24 26 28 31 32 33 37 39 42 48 54 55 57 58 59 60 64 66 67 75 81 82 83 87 89 90 97 99 101 104 108 110 111 114 118 119 120 125 128 133 135 140 142 147
a 3 8 13 14 15 18 19 21 22 24 26 28 31 32 33 37 39 42 48 54 55 57 58 59 60 64 66 67 75 81 82 83 87 89 90 97 99 101 104 108 110 111 114 118 119 120 125 128 133 135 140 142 152
a 3 8 13 14 15 18 19 21 22 24 26 28 31 32 33 37 39 42 48 54 55 58 59 60 64 66 67 75 81 82 83 87 89 90 97 99 101 104 108 110 111 114 118 119 120 125 128 133 135 139 140 142 152
a 3 8 13 14 15 18 19 21 22 24 26 28 31 32 33 37 39 42 48 54 55 58 59 60 64 66 67 75 81 82 83 87 89 90 97 99 101 104 108 110 111 114 118 119 120 125 128 133 135 139 140 142 156
a 3 8 13 14 15 18 19 21 22 24 26 28 31 32 33 37 39 42 48 54 55 59 60 64 66 67 75 81 82 83 87 89 90 97 99 101 104 108 110 111 114 118 119 120 125 126 128 133 135 139 140 142 156
a 3 8 13 14 15 18 19 21 22 24 26 28 31 32 33 37 39 42 48 54 55 59 60 64 66 67 75 81 82 83 87 89 90 97 99 101 104 108 110 111 114 118 119 120 125 126 128 133 135 139 140 147 156
a 3 8 13 14 15 18 19 21 22 24 26 28 31 32 33 37 39 42 48 54 55 59 60 64 66 67 75 81 82 83 87 89 90 97 99 101 104 108 110 111 114 118 119 120 125 128 133 135 139 140 147 155 156
a 3 8 13 14 15 18 19 21 22 24 26 28 31 32 33 37 39 42 48 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 108 110 111 114 118 119 120 125 128 133 135 139 140 147 155 156
a 3 8 13 14 15 18 19 21 22 24 26 28 31 32 33 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 108 110 111 114 118 119 120 125 128 133 139 140 147 155 156
a 3 8 13 14 15 18 19 21 22 24 26 28 31 32 33 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 108 110 111 114 118 119 120 125 126 128 133 139 140 147 155
a 3 8 13 14 15 18 19 21 22 24 26 28 30 31 32 33 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 108 110 111 114 118 119 120 125 126 128 133 140 147 155
a 3 8 13 14 15 18 19 21 22 24 26 28 30 31 32 33 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 110 111 114 118 119 120 125 126 128 133 140 147 154 155
a 3 8 13 14 15 18 19 21 22 24 28 30 31 32 33 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 110 111 114 118 119 120 125 126 128 133 140 147 154 155 156
a 3 8 13 14 15 18 19 21 22 24 26 28 30 31 32 33 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 110 111 114 118 119 120 125 126 128 133 140 147 154 156
a 3 8 13 14 15 18 19 21 22 24 26 28 30 31 32 33 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 110 111 114 118 119 120 125 126 128 133 135 140 147 156
a 3 8 13 14 15 18 19 21 22 24 26 28 30 31 33 35 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 110 111 114 118 119 120 125 126 128 133 135 140 147 156
a 3 8 13 14 15 18 19 21 22 24 26 28 30 31 33 35 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 110 111 114 118 119 120 125 126 128 135 140 147 154 156
a 3 8 13 14 15 18 19 21 22 24 26 28 30 33 35 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 110 111 114 118 119 120 125 126 128 135 139 140 147 154 156
a 3 8 13 14 15 18 19 21 22 24 26 28 30 33 35 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 110 111 114 118 119 120 126 128 135 139 140 147 154 155 156
a 3 8 13 14 15 18 19 21 22 24 26 28 30 33 35 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 110 111 114 118 119 120 125 126 128 135 140 147 154 155 156
a 3 8 13 14 15 18 19 21 22 24 26 28 30 33 35 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 110 111 114 118 119 120 125 126 128 135 139 140 154 155 156
a 3 8 13 14 15 18 19 21 22 24 26 28 30 31 33 35 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 110 111 114 118 119 120 125 126 128 135 139 140 155 156
a 3 8 13 14 15 18 19 21 22 24 26 28 30 31 33 35 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 110 111 114 118 119 120 125 126 128 135 139 140 154 156
a 3 8 13 14 15 18 19 21 22 24 26 28 30 31 33 35 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 97 99 101 104 110 111 114 118 119 120 125 126 128 133 135 139 140 154 156
a 3 8 13 14 15 18 19 21 22 24 26 28 30 31 33 35 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 97 99 101 104 110 111 114 118 119 120 125 126 128 133 135 139 140 152 156
a 3 8 13 14 15 18 19 21 22 24 28 30 31 33 35 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 97 99 101 104 110 111 114 118 119 120 125 126 128 133 135 139 140 152 154 156
a 3 8 13 14 15 18 19 21 22 24 28 30 31 33 35 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 97 99 101 104 110 111 114 118 119 120 125 126 128 133 135 139 140 147 152 154
a 3 8 13 14 15 18 19 21 22 24 28 30 31 33 35 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 97 99 101 104 108 110 111 114 118 119 120 125 126 128 133 135 139 140 147 152
a 3 8 13 14 15 18 19 21 22 24 28 30 31 33 35 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 108 110 111 114 118 119 120 125 126 128 133 135 139 140 152
a 3 8 13 14 15 18 19 21 22 24 28 30 31 33 35 37 39 42 48 49 54 55 59 60 66 67 75 81 82 83 87 88 89 90 97 99 101 104 108 110 111 114 118 119 125 126 128 133 135 139 140 148 152
a 3 8 13 14 15 18 19 21 22 24 28 30 31 33 35 37 39 42 48 49 54 55 59 60 66 67 75 82 83 87 88 89 90 97 99 101 104 108 110 111 114 118 119 125 126 128 133 135 139 140 146 148 152
a 3 8 13 14 15 18 19 21 22 24 28 30 31 33 35 37 39 42 48 49 54 55 59 60 66 67 75 82 83 87 88 89 90 97 99 101 104 108 110 111 114 118 119 125 126 128 133 135 139 140 146 148 154
a 3 8 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 48 49 54 55 59 60 66 67 70 75 82 83 87 88 89 90 97 99 101 104 108 110 111 114 118 119 125 126 128 133 135 139 140 146 148 154
a 3 8 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 48 49 54 55 59 60 66 67 70 75 82 83 87 88 89 90 97 99 101 104 108 110 111 114 118 119 125 126 128 133 135 139 140 146 152 154
a 3 8 13 15 18 19 21 22 24 28 31 33 35 37 39 42 48 49 54 55 59 60 66 67 70 75 82 83 87 88 89 90 97 99 101 104 108 110 111 112 114 118 119 125 126 128 133 135 139 140 146 152 154
a 3 8 13 14 15 18 19 21 22 24 31 33 35 37 39 42 48 49 54 55 59 60 66 67 70 75 82 83 87 88 89 90 97 99 101 104 108 110 111 112 114 118 119 125 126 128 133 135 139 140 146 152 154
a 3 8 13 14 15 19 21 22 24 31 33 35 37 39 42 48 49 54 55 59 60 66 67 70 75 82 83 87 88 89 90 97 99 101 104 108 110 111 112 114 118 119 125 126 128 133 135 139 140 146 152 154 156
a 3 8 13 14 15 19 21 22 24 31 33 35 37 39 42 48 49 54 55 59 60 66 70 75 82 83 87 88 89 90 97 99 101 104 108 109 110 111 112 114 118 119 125 126 128 133 135 139 140 146 152 154 156
a 3 8 13 14 15 18 19 21 22 24 31 33 35 37 39 42 48 49 54 55 59 60 66 70 75 82 83 87 88 89 90 97 99 101 104 108 109 110 111 112 114 118 119 125 126 133 135 139 140 146 152 154 156
a 3 8 13 15 18 19 21 22 24 31 33 35 37 39 42 43 48 49 54 55 59 60 66 70 75 82 83 87 88 89 90 97 99 101 104 108 109 110 111 112 114 118 119 125 126 133 135 139 140 146 152 154 156
a 3 8 13 15 18 19 21 22 24 28 31 33 35 37 39 42 43 48 49 54 55 59 60 66 70 75 82 83 87 89 90 97 99 101 104 108 109 110 111 112 114 118 119 125 126 133 135 139 140 146 152 154 156
a 3 8 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 59 60 66 70 75 82 83 87 89 90 97 99 101 104 108 109 110 111 114 118 119 125 126 133 135 139 140 146 152 154 156
a 3 8 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 70 75 82 83 87 89 90 97 99 101 104 108 109 110 111 114 118 119 125 133 135 139 140 146 152 154 156
a 3 8 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 82 83 87 89 90 97 99 101 104 108 110 111 114 118 119 125 133 135 139 140 146 152 154 156
a 3 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 82 83 87 89 90 97 99 101 104 108 111 114 118 119 125 133 135 139 140 146 152 154 156
a 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 82 83 87 89 90 97 99 101 104 108 111 114 118 119 125 128 133 135 139 140 146 152 154 156
a 3 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 82 83 87 89 90 97 99 101 104 108 111 114 118 119 125 128 133 139 140 146 152 154 156
a 3 8 12 13 15 18 19 21 22 24 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 82 83 87 89 90 97 99 101 104 108 111 114 118 119 125 128 133 135 139 140 146 152 154 156
a 3 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 82 83 87 89 90 97 99 101 104 108 111 114 118 119 125 128 133 135 139 140 146 152 154
a 3 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 89 90 97 99 101 104 108 111 114 118 119 128 133 135 139 140 146 152 154
a 3 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 88 89 90 97 99 101 104 108 111 114 118 119 128 133 139 140 146 152 154
a 3 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 88 89 90 97 99 101 104 108 111 114 118 119 125 128 133 139 140 146 152
a 3 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 88 89 90 97 99 101 104 108 111 114 118 119 125 128 133 139 140 146 154
a 3 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 108 111 114 118 119 125 128 133 139 140 154
a 3 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 108 111 114 118 119 125 128 133 139 140 147 154
a 3 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 108 111 114 118 119 125 128 133 139 140 147 155
a 3 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 89 90 94 97 101 104 108 111 114 118 119 125 128 133 139 140 147 154 155
a 3 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 89 90 94 97 101 108 111 114 118 119 125 128 133 139 140 147 154 155 156
a 3 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 89 90 94 97 99 101 108 111 114 118 119 125 128 133 139 140 147 154 155
a 3 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 89 90 94 97 99 101 108 111 114 118 119 125 128 133 135 139 140 147 154
a 3 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 88 89 90 97 99 101 108 111 114 118 119 125 128 133 135 139 140 147 154
a 3 8 12 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 88 89 90 97 99 101 108 111 114 118 119 125 128 130 133 135 139 140 147 154
a 3 8 12 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 88 89 90 97 99 101 104 108 111 114 118 119 125 128 130 133 135 139 140 147
a 3 8 12 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 88 89 90 97 99 101 104 108 111 114 118 119 125 128 130 133 135 139 140 152
a 3 8 12 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 88 89 90 97 99 101 104 108 111 114 118 119 125 128 130 133 135 139 147 152
a 3 8 12 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 88 89 90 97 99 101 104 108 111 114 118 119 120 125 128 130 133 135 139 152
a 3 8 12 15 18 19 21 22 24 28 30 31 33 35 37 39 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 88 89 90 97 99 101 104 108 111 114 118 119 120 125 128 130 133 135 139 147
a 3 8 12 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 88 89 90 97 99 101 104 108 111 114 118 119 120 125 128 130 133 135 139
a 3 8 12 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 88 89 90 97 99 101 104 108 111 114 118 119 120 125 128 130 133 135 140
a 3 8 12 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 97 99 101 104 108 111 114 118 119 120 125 128 130 133 135
a 3 8 12 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 97 99 101 104 108 111 114 118 119 125 128 130 133 135 148
a 3 8 12 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 97 99 101 104 108 111 114 118 119 125 128 130 133 135 155
a 3 8 12 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 97 99 101 104 108 111 114 118 119 128 130 133 135 148 155
a 3 8 12 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 108 111 114 118 119 128 130 133 135 155
a 3 8 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 108 111 114 118 119 128 130 133 135 139 155
a 3 8 12 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 108 111 114 118 119 128 130 133 135 139
a 3 8 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 108 111 114 118 119 128 130 133 135 139 140
a 3 8 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 108 111 114 118 119 128 130 133 135 139 140 148
a 3 8 18 19 21 22 24 28 30 31 35 37 39 41 42 43 48 49 54 55 56 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 108 111 114 118 119 128 130 133 135 139 140 148
a 3 8 18 19 21 22 24 28 30 31 35 37 39 41 42 43 48 49 55 56 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 108 111 114 118 119 128 130 133 135 139 140 148 153
a 3 8 13 18 19 21 22 24 28 30 31 35 37 39 41 42 43 48 49 55 56 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 108 111 114 118 119 128 133 135 139 140 148 153
a 3 8 13 15 18 19 21 22 24 28 30 31 35 37 39 41 42 43 48 49 55 56 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 108 111 114 118 119 128 133 135 139 140 148
a 3 8 13 15 18 19 21 22 24 28 30 31 35 37 39 41 42 43 48 49 54 55 56 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 111 114 118 119 128 133 135 139 140 148
a 3 8 13 15 18 19 21 22 24 28 30 31 35 37 39 41 42 43 48 49 54 55 56 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 110 111 114 118 119 128 133 135 139 140
a 3 8 13 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 110 111 114 118 119 128 133 135 139 140
a 3 8 13 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 110 111 114 118 119 128 133 139 140 148
a 3 8 13 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 110 111 114 118 119 128 133 139 140 155
a 3 8 13 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 110 111 114 118 119 128 133 139 140 147
a 3 8 12 13 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 111 114 118 119 128 133 139 140 147
a 3 8 13 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 111 114 118 119 128 133 135 139 140 147
a 3 8 12 15 18 19 21 22 24 28 30 31 33 35 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 111 114 118 119 128 133 135 139 140 147
a 3 8 12 15 18 19 21 22 24 28 30 31 32 33 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 111 114 118 119 128 133 135 139 140 147
a 8 12 15 18 19 21 22 24 28 30 31 32 33 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 139 140 147
a 8 12 15 18 21 22 24 28 30 31 32 33 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 139 140 147 155
a 8 12 15 18 19 21 22 24 28 30 31 32 33 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 139 140 147 155
a 8 12 13 15 18 19 21 22 24 28 30 31 32 33 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 139 140 147
a 3 8 12 15 18 19 21 22 24 28 30 31 32 33 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 139 140 147
a 3 8 12 13 15 18 19 21 22 24 28 30 31 32 33 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 139 147
a 3 8 12 13 15 18 19 21 22 24 28 30 31 32 33 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 139 147 148
a 3 8 12 13 15 18 19 21 22 24 28 30 31 32 33 39 41 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 139 146 147 148
a 3 8 12 13 15 18 19 21 22 24 28 30 31 32 33 39 41 42 43 48 49 54 55 58 59 60 64 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 139 146 147
a 3 8 12 13 15 18 19 21 22 24 28 30 31 32 33 39 41 42 43 48 49 54 55 58 59 60 63 64 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 139 147
a 1 3 8 12 13 15 18 19 22 24 28 30 31 32 33 39 41 42 43 48 49 54 55 58 59 60 63 64 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 139 147
a 1 3 8 12 13 15 18 19 22 24 28 30 31 32 33 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 139 147
a 1 3 8 12 13 15 19 22 24 28 30 31 32 33 37 39 41 42 43 48 49 54 55 58 59 60 63 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 139 147 156
a 1 3 8 12 13 15 19 22 24 28 30 31 32 33 37 39 41 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 139 146 147 156
a 1 3 8 12 13 15 19 22 24 28 30 31 32 33 37 39 41 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 140 146 147 156
a 1 8 12 13 15 19 22 24 28 30 31 32 33 37 39 41 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 140 146 147 152 156
a 8 12 13 15 19 21 22 24 28 30 31 32 33 37 39 41 42 43 48 49 54 55 58 59 60 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 140 146 147 152 156
a 8 12 13 15 19 21 22 24 28 30 31 32 37 39 41 42 43 48 49 54 55 58 59 60 64 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 140 146 147 152 156
a 8 12 13 15 19 22 24 28 30 31 32 37 39 41 42 43 48 49 54 55 58 59 60 64 66 67 69 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 140 146 147 152 156
a 8 12 13 15 19 22 24 28 30 31 32 37 39 41 42 43 48 49 54 55 58 59 60 64 66 67 69 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 128 133 135 140 146 147 155 156
a 8 12 13 15 19 22 24 28 30 31 32 37 39 41 42 43 48 49 54 55 58 59 60 64 66 67 69 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 125 133 135 140 146 147 152 155 156
a 8 12 13 15 19 22 24 28 30 32 37 39 41 42 43 48 49 54 55 58 59 60 64 66 67 69 70 75 81 82 83 84 87 89 90 94 97 99 101 104 111 114 118 119 125 133 135 140 146 147 152 155 156
a 8 12 13 15 19 22 24 28 30 32 37 39 41 42 43 48 49 54 55 58 59 60 63 64 66 67 69 70 75 81 82 83 84 87 89 90 94 97 99 101 104 111 114 118 119 125 133 135 140 147 152 155 156
a 12 13 15 19 22 24 28 30 32 37 39 41 42 43 48 49 54 55 58 59 60 63 64 66 67 69 70 75 81 82 83 84 87 89 90 94 97 99 101 104 111 114 118 119 120 125 133 135 140 147 152 155 156
a 12 13 15 19 22 24 28 32 37 39 41 42 43 48 49 54 55 56 58 59 60 63 64 66 67 69 70 75 81 82 83 84 87 89 90 94 97 99 101 104 111 114 118 119 120 125 133 135 140 147 152 155 156
a 12 13 15 19 22 24 28 32 37 39 41 42 43 48 49 54 55 56 58 59 60 63 64 66 67 69 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 120 125 133 135 139 140 147 152 155 156
a 12 13 15 19 21 22 24 28 32 37 39 41 42 43 48 49 54 55 56 58 59 60 63 64 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 120 125 133 135 139 140 147 152 155 156
a 8 12 13 15 19 21 24 28 32 37 39 41 42 43 48 49 54 55 56 58 59 60 63 64 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 120 125 133 135 139 140 147 152 155 156
a 8 12 13 15 19 21 24 28 32 37 39 41 42 43 48 49 54 55 56 58 59 60 63 64 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 120 125 133 135 139 140 145 147 152 155
a 8 12 13 15 19 21 24 28 30 32 37 39 41 42 43 48 49 54 55 56 58 59 60 63 64 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 120 125 133 135 139 140 145 147 155
a 8 12 13 15 19 21 24 28 30 32 37 39 41 42 43 48 54 55 56 58 59 60 63 64 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 120 125 133 135 139 140 142 145 147 155
a 8 12 13 15 19 21 22 24 28 30 32 37 39 41 42 43 48 54 55 56 58 59 60 63 64 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 120 125 133 135 139 140 142 145 155
a 8 12 13 15 19 21 22 24 28 30 31 32 37 39 41 42 43 48 54 55 56 58 59 60 63 64 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 120 125 133 135 139 140 142 145
a 8 12 13 15 19 21 22 24 28 30 31 32 37 39 41 42 43 48 54 55 56 58 59 60 63 64 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 120 125 128 133 135 139 140 145
a 8 12 13 15 19 21 22 24 28 30 31 32 39 41 42 43 48 54 55 56 58 59 60 63 64 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 120 125 128 133 135 139 140 145 156
a 3 8 12 13 15 19 21 22 24 28 30 31 32 39 41 42 43 48 54 55 56 58 59 60 63 64 66 67 70 75 81 82 83 87 89 90 94 97 99 101 104 111 114 118 119 120 125 128 133 135 139 140 156
a 3 8 12 13 15 19 21 22 24 28 30 31 32 39 41 42 43 48 54 55 56 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 111 114 118 119 120 125 128 133 135 139 140 156
a 3 8 12 15 19 21 22 24 28 30 31 32 39 41 42 43 48 54 55 56 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 111 114 118 119 120 125 128 130 133 135 139 140 156
a 3 8 12 15 19 21 22 24 28 30 31 32 39 41 42 43 48 54 55 56 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 111 114 118 119 120 125 128 133 135 139 140 155 156
a 3 8 12 15 18 19 21 22 24 28 30 31 32 39 41 42 43 48 54 55 56 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 111 114 118 119 120 125 128 133 135 139 140 156
a 3 8 15 18 19 21 22 24 28 30 31 32 39 41 42 43 48 54 55 56 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 110 111 114 118 119 120 125 128 133 135 139 140 156
a 3 8 15 18 21 22 24 28 30 31 32 39 41 42 43 48 54 55 56 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 108 110 111 114 118 119 120 125 128 133 135 139 140 156
a 8 15 18 21 22 24 28 30 31 32 39 41 42 43 48 54 55 56 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 108 110 111 114 118 119 120 125 128 133 135 139 140 155 156
a 8 15 18 21 22 24 28 30 31 35 39 41 42 43 48 54 55 56 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 108 110 111 114 118 119 120 125 128 133 135 139 140 155 156
a 8 15 18 21 22 24 28 30 31 35 39 41 42 43 48 54 55 56 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 108 110 111 114 118 119 120 125 128 133 135 139 140 147 155
a 8 15 18 21 22 24 28 30 31 35 39 41 42 43 48 54 55 56 58 59 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 108 110 111 118 119 120 125 128 133 134 135 139 140 147 155
a 6 8 15 18 21 22 24 28 30 31 35 39 41 42 43 48 54 55 56 58 60 63 66 67 70 75 81 82 83 87 88 89 90 94 97 99 101 104 108 110 111 118 119 120 125 128 133 134 135 139 140 147 155
a 6 8 15 18 21 22 24 28 30 31 35 39 41 42 43 48 54 55 56 58 60 63 66 67 70 75 77 82 83 87 88 89 90 94 97 99 101 104 108 110 111 118 119 120 125 128 133 134 135 139 140 147 155
a 6 8 18 21 22 24 28 30 31 35 39 41 42 43 48 54 55 56 58 60 63 66 67 70 75 77 82 83 87 88 89 90 94 97 99 101 104 108 110 111 118 119 120 125 128 129 133 134 135 139 140 147 155
a 6 8 18 21 22 24 28 30 31 35 39 41 42 43 48 54 55 56 58 60 66 67 70 75 77 82 83 87 88 89 90 94 97 99 101 104 108 110 111 118 119 120 125 128 129 133 134 135 139 140 146 147 155
a 6 8 18 21 22 24 28 30 31 33 35 39 41 42 43 48 54 55 58 60 66 67 70 75 77 82 83 87 88 89 90 94 97 99 101 104 108 110 111 118 119 120 125 128 129 133 134 135 139 140 146 147 155
a 6 8 13 18 21 22 24 28 30 31 33 35 39 41 42 43 48 54 55 58 60 66 67 70 75 77 82 83 87 88 89 90 94 97 99 101 104 108 110 111 118 119 120 125 128 129 133 135 139 140 146 147 155
a 6 8 13 18 21 22 24 28 30 31 33 35 37 39 41 42 43 48 54 55 58 60 66 67 70 75 82 83 87 88 89 90 94 97 99 101 104 108 110 111 118 119 120 125 128 129 133 135 139 140 146 147 155
a 6 8 13 14 18 21 22 24 28 30 31 33 35 37 39 41 42 48 54 55 58 60 66 67 70 75 82 83 87 88 89 90 94 97 99 101 104 108 110 111 118 119 120 125 128 129 133 135 139 140 146 147 155
a 6 8 13 14 18 21 22 24 28 30 31 33 35 37 39 41 42 48 55 58 60 66 67 70 75 82 83 87 88 89 90 94 97 99 101 104 108 110 111 118 119 120 125 128 129 133 135 139 140 144 146 147 155
a 6 8 13 14 18 21 22 24 28 30 31 33 35 37 39 41 42 48 55 58 60 66 67 70 75 82 83 87 88 89 90 94 97 99 101 104 108 110 111 118 119 120 125 128 129 133 135 139 140 144 145 146 147
a 6 8 13 14 18 21 22 24 28 31 33 35 37 39 41 42 48 55 58 60 66 67 70 75 82 83 87 88 89 90 94 97 99 101 104 108 110 111 112 118 119 120 125 128 129 133 135 139 140 144 145 146 147
a 8 13 14 18 21 22 24 28 31 33 35 37 39 41 42 48 55 58 60 66 67 70 75 82 83 87 88 89 90 94 97 99 101 104 108 110 111 112 118 119 120 125 128 129 133 135 139 140 144 145 146 147 156
a 8 13 14 18 21 22 24 28 31 33 35 37 39 41 42 48 55 58 60 66 67 70 75 82 83 87 88 89 90 94 97 99 101 104 110 111 112 118 119 120 125 128 129 133 135 139 140 144 145 146 147 152 156
a 8 13 14 18 21 22 24 28 31 33 35 37 39 41 42 48 55 58 60 66 67 70 75 82 83 87 88 89 90 94 97 99 101 104 110 111 112 118 119 120 121 125 128 129 133 135 139 140 144 145 146 147 152
a 8 13 14 18 21 22 24 28 31 35 37 39 41 42 48 55 58 60 66 67 70 75 82 83 87 88 89 90 94 97 99 101 104 110 111 112 118 119 120 121 125 128 129 133 135 139 140 144 145 146 147 152 153
a 8 13 14 18 21 22 24 28 31 35 37 39 41 48 55 58 60 66 67 70 75 82 83 87 88 89 90 94 97 99 101 104 110 111 112 118 119 120 121 125 128 129 133 135 139 140 144 145 146 147 152 153 156
a 8 13 14 18 21 22 24 28 31 35 37 39 41 55 58 60 66 67 70 75 82 83 87 88 89 90 94 97 99 101 104 110 111 112 118 119 120 121 124 125 128 129 133 135 139 140 144 145 146 147 152 153 156
a 8 13 14 18 21 22 24 28 31 35 37 39 41 53 55 58 60 66 67 70 75 82 83 87 89 90 94 97 99 101 104 110 111 112 118 119 120 121 124 125 128 129 133 135 139 140 144 145 146 147 152 153 156
a 8 13 14 18 21 22 24 28 31 35 37 39 41 53 55 58 60 66 67 70 75 82 83 87 89 90 94 97 99 101 104 110 111 112 118 119 120 121 124 125 128 129 132 133 135 140 144 145 146 147 152 153 156
a 8 13 14 18 21 22 24 28 31 37 39 41 53 55 58 60 64 66 67 70 75 82 83 87 89 90 94 97 99 101 104 110 111 112 118 119 120 121 124 125 128 129 132 133 135 140 144 145 146 147 152 153 156
a 8 13 14 18 21 22 24 28 31 37 39 41 53 55 58 60 64 66 67 70 75 82 83 87 89 90 94 97 99 101 104 110 111 112 118 119 120 121 124 125 128 129 132 133 135 140 144 145 146 147 152 154 156
a 8 13 14 18 21 22 24 28 31 37 39 41 53 55 58 59 60 64 66 67 70 75 82 83 87 89 90 94 97 99 101 104 110 111 112 118 119 120 121 124 125 128 129 132 133 135 140 144 145 146 147 152 154
a 8 13 14 18 21 22 24 28 31 37 39 41 53 55 58 59 60 64 66 67 70 75 82 83 87 89 90 94 97 99 101 104 110 111 112 114 118 119 121 124 125 128 129 132 133 135 140 144 145 146 147 152 154
a 8 13 14 18 21 22 24 28 31 37 39 41 53 55 58 59 60 64 66 67 70 74 75 82 83 87 89 90 94 97 99 101 104 110 111 112 114 118 119 121 124 125 128 129 132 133 135 140 144 145 146 147 154
a 8 13 14 18 21 22 24 28 31 35 37 39 41 53 55 58 59 60 66 67 70 74 75 82 83 87 89 90 94 97 99 101 104 110 111 112 114 118 119 121 124 125 128 129 132 133 135 140 144 145 146 147 154
a 8 13 14 18 21 22 24 28 31 35 37 39 41 53 55 58 59 60 66 70 74 75 82 83 87 89 90 94 97 99 101 104 109 110 111 112 114 118 119 121 124 125 128 129 132 133 135 140 144 145 146 147 154
a 8 13 14 18 21 22 24 28 31 35 37 39 41 53 55 58 59 60 66 70 74 75 82 83 87 89 90 94 97 99 101 104 109 110 111 112 114 118 119 121 124 125 128 129 132 133 135 140 144 145 146 147 153
a 1 8 13 14 18 22 24 28 31 35 37 39 41 53 55 58 59 60 66 70 74 75 82 83 87 89 90 94 97 99 101 104 109 110 111 112 114 118 119 121 124 125 128 129 132 133 135 140 144 145 146 147 153
a 1 8 13 14 18 22 24 28 31 35 37 39 41 53 55 58 59 60 66 70 74 75 82 83 87 89 90 94 97 99 101 104 109 110 111 112 114 118 119 121 124 125 128 129 133 135 139 140 144 145 146 147 153
a 1 8 13 14 18 22 24 28 31 35 37 39 41 49 53 55 58 59 60 66 70 74 75 82 83 87 89 90 94 97 99 101 104 109 110 111 112 114 118 119 121 124 125 128 133 135 139 140 144 145 146 147 153
a 1 8 13 14 18 22 24 28 31 35 37 39 41 49 53 55 58 60 66 70 74 75 77 82 83 87 89 90 94 97 99 101 104 109 110 111 112 114 118 119 121 124 125 128 133 135 139 140 144 145 146 147 153
a 1 8 13 14 18 22 24 28 31 35 37 39 41 49 53 55 58 60 66 70 74 75 77 82 83 89 90 94 97 99 101 104 109 110 111 112 114 118 119 121 124 125 128 133 135 139 140 144 145 146 147 148 153
a 1 8 13 14 18 22 24 28 31 35 37 39 41 42 49 55 58 60 66 70 74 75 77 82 83 89 90 94 97 99 101 104 109 110 111 112 114 118 119 121 124 125 128 133 135 139 140 144 145 146 147 148 153
a 1 8 13 14 18 22 24 28 31 35 37 39 41 42 55 58 60 66 70 74 75 77 82 83 89 90 94 97 99 101 104 109 110 111 112 114 118 119 121 124 125 128 129 133 135 139 140 144 145 146 147 148 153
a 1 8 13 14 18 22 24 28 31 35 37 39 41 42 55 58 60 66 70 74 75 77 79 82 83 89 90 94 97 99 101 104 109 110 111 112 114 118 119 121 124 125 129 133 135 139 140 144 145 146 147 148 153
a 1 8 13 14 18 22 24 28 31 35 37 39 41 42 55 58 60 66 70 74 75 77 82 83 89 90 94 97 99 101 104 109 110 111 112 114 118 119 121 124 125 129 133 135 139 140 142 144 145 146 147 148 153
a 1 8 13 14 18 22 24 28 31 35 37 39 41 42 55 58 60 66 70 74 75 77 82 83 89 90 94 97 99 101 104 109 110 111 112 114 118 119 121 124 125 129 133 135 139 140 142 144 145 146 148 153 156
a 1 8 13 18 19 22 24 28 31 35 37 39 41 42 55 58 60 66 70 74 75 77 82 83 89 90 94 97 99 101 104 109 110 111 112 114 118 119 121 124 125 129 133 135 139 140 142 144 145 146 148 153 156
a 1 8 13 18 19 22 24 28 31 35 37 39 41 42 55 58 60 66 70 74 75 77 82 83 88 89 90 94 97 99 101 104 109 110 111 112 114 118 119 121 124 125 129 133 135 139 140 144 145 146 148 153 156
a 1 8 13 18 19 22 24 28 30 31 35 37 39 41 42 55 58 60 66 70 74 75 77 82 83 88 89 90 94 97 99 101 104 109 110 111 114 118 119 121 124 125 129 133 135 139 140 144 145 146 148 153 156
a 1 8 13 18 19 22 24 30 31 35 37 39 41 42 55 58 60 66 69 70 74 75 77 82 83 88 89 90 94 97 99 101 104 109 110 111 114 118 119 121 124 125 129 133 135 139 140 144 145 146 148 153 156
a 1 8 18 19 22 24 30 31 35 37 39 41 42 55 58 60 66 69 70 74 75 77 79 82 83 88 89 90 94 97 99 101 104 109 110 111 114 118 119 121 124 125 129 133 135 139 140 144 145 146 148 153 156
a 1 8 18 19 22 24 30 31 35 37 39 41 42 49 55 58 60 66 69 70 74 75 77 79 82 83 88 89 90 94 97 99 101 104 109 110 111 114 118 119 121 124 125 133 135 139 140 144 145 146 148 153 156
a 1 8 18 19 22 24 30 31 35 37 39 41 42 49 58 60 66 69 70 74 75 77 79 82 83 88 89 90 94 97 99 101 104 109 110 111 114 118 119 121 124 125 130 133 135 139 140 144 145 146 148 153 156
a 1 8 12 18 19 22 24 30 31 35 37 39 41 42 49 58 60 66 69 70 74 75 77 79 82 83 88 89 90 94 97 99 101 104 109 111 114 118 119 121 124 125 130 133 135 139 140 144 145 146 148 153 156
a 1 8 12 18 19 22 24 30 31 35 37 39 41 42 49 58 60 66 69 70 74 75 77 79 82 83 88 89 90 94 97 99 101 104 109 111 114 118 119 121 124 130 133 135 139 140 143 144 145 146 148 153 156
a 1 8 12 18 19 22 24 30 31 35 37 39 41 49 58 60 66 69 70 74 75 77 79 82 83 88 89 90 91 94 97 99 101 104 109 111 114 118 119 121 124 130 133 135 139 140 143 144 145 146 148 153 156
a 1 8 12 16 18 19 22 24 30 35 37 39 41 49 58 60 66 69 70 74 75 77 79 82 83 88 89 90 91 94 97 99 101 104 109 111 114 118 119 121 124 130 133 135 139 140 143 144 145 146 148 153 156
a 1 8 12 16 18 19 22 24 30 35 37 39 41 49 58 60 66 69 70 74 75 77 79 82 83 88 89 90 91 94 97 99 101 104 109 111 114 118 119 121 124 130 132 133 135 140 143 144 145 146 148 153 156
a 1 8 12 16 18 19 22 24 30 35 37 39 41 49 58 60 66 69 70 74 75 77 79 82 83 88 89 91 94 97 99 101 104 109 111 114 118 119 121 122 124 130 132 133 135 140 143 144 145 146 148 153 156
a 1 8 12 15 16 18 19 22 24 30 35 37 39 41 49 58 60 66 69 70 75 77 79 82 83 88 89 91 94 97 99 101 104 109 111 114 118 119 121 122 124 130 132 133 135 140 143 144 145 146 148 153 156
a 1 4 8 12 15 16 18 19 22 24 30 35 37 39 41 49 58 60 66 69 70 75 77 79 82 88 89 91 94 97 99 101 104 109 111 114 118 119 121 122 124 130 132 133 135 140 143 144 145 146 148 153 156
a 1 4 8 12 15 16 18 19 22 24 30 35 37 39 41 49 58 59 60 66 69 70 75 79 82 88 89 91 94 97 99 101 104 109 111 114 118 119 121 122 124 130 132 133 135 140 143 144 145 146 148 153 156
a 1 4 8 12 15 16 18 19 22 24 30 35 37 39 41 49 58 59 60 66 69 70 75 79 82 88 89 91 97 99 101 104 109 111 114 118 119 121 122 124 130 132 133 135 138 140 143 144 145 146 148 153 156
a 1 4 8 12 15 16 18 19 22 24 30 35 37 39 41 49 58 59 60 66 69 70 75 79 81 82 88 89 91 97 99 101 104 109 111 114 118 119 121 122 124 130 132 133 135 138 140 143 145 146 148 153 156
a 1 4 8 12 15 16 18 19 22 24 30 35 37 39 41 49 58 59 60 66 69 70 75 79 81 82 88 89 91 97 99 101 104 109 111 114 118 119 121 122 124 130 132 133 135 136 138 140 143 146 148 153 156
a 1 4 8 12 15 16 18 19 22 24 30 35 37 39 41 49 58 59 60 66 69 70 75 79 81 82 88 91 95 97 99 101 104 109 111 114 118 119 121 122 124 130 132 133 135 136 138 140 143 146 148 153 156
a 1 4 8 12 15 16 18 19 22 24 30 35 37 39 41 49 58 59 60 66 68 69 75 79 81 82 88 91 95 97 99 101 104 109 111 114 118 119 121 122 124 130 132 133 135 136 138 140 143 146 148 153 156
a 1 4 8 12 15 16 18 19 22 24 26 30 35 37 39 41 49 58 59 66 68 69 75 79 81 82 88 91 95 97 99 101 104 109 111 114 118 119 121 122 124 130 132 133 135 136 138 140 143 146 148 153 156
a 1 4 8 12 15 16 18 19 22 24 25 26 30 35 37 39 41 49 58 59 66 68 69 75 79 81 82 88 91 95 97 99 101 104 109 111 114 118 121 122 124 130 132 133 135 136 138 140 143 146 148 153 156
a 1 4 8 12 15 16 18 19 22 24 25 26 30 35 37 39 41 49 52 58 59 66 68 69 75 79 81 82 88 91 95 97 99 101 109 111 114 118 121 122 124 130 132 133 135 136 138 140 143 146 148 153 156
c Step: 281
#END: [Tue Sep 26 08:10:28 2023]