#BEGIN: [Tue Sep 26 05:32:07 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-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 --ulimit cpu=1800 -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
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 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 127 128 133 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 127 128 133 137 139 142 146 147 149 151 152 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 127 128 133 137 139 142 146 147 149 151 152 154 155
a 3 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 127 128 133 137 139 142 146 147 149 151 152 154 155 156
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 101 104 106 107 108 110 114 118 119 120 121 127 128 133 137 139 142 146 147 149 151 152 154 155 156
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 101 104 106 107 108 110 114 118 119 120 121 127 128 133 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 48 55 58 59 60 64 67 70 74 75 81 82 89 90 101 104 106 107 108 110 114 118 119 120 121 127 128 133 136 137 139 142 146 147 149 151 154 155 156
a 3 8 14 17 21 24 30 32 33 37 38 39 42 48 55 58 59 60 64 67 70 74 75 81 82 89 90 101 104 106 107 108 110 114 118 119 120 121 127 128 129 133 136 137 139 142 146 147 149 151 154 155 156
a 3 8 14 17 21 24 30 32 33 37 38 39 42 48 58 59 60 64 67 70 74 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 127 128 129 133 136 137 139 142 146 147 149 151 154 155 156
a 3 8 14 17 21 24 30 32 33 37 38 39 42 48 58 59 60 64 67 70 74 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 17 21 24 30 32 33 37 38 39 42 45 48 58 59 60 64 67 70 74 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 17 21 24 30 32 33 37 38 39 42 45 48 58 59 60 64 67 70 74 75 81 82 87 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 154 155 156
a 3 8 17 21 24 30 32 33 37 38 39 42 45 48 55 58 59 60 64 67 70 74 75 81 82 87 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 154 155
a 3 8 17 21 24 30 31 32 33 37 38 39 42 45 48 55 58 59 60 64 67 70 74 75 81 82 87 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 155
a 3 8 14 17 21 24 30 31 32 33 37 38 39 42 45 48 55 58 59 60 64 67 70 74 75 81 82 87 90 97 101 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 155
a 3 8 14 17 21 24 30 31 32 33 37 38 39 42 45 48 55 58 59 60 64 67 70 74 75 81 82 87 90 97 101 104 106 107 108 110 114 118 119 120 121 129 133 135 137 139 142 146 147 149 151 155 156
a 3 8 14 17 21 24 30 31 32 37 38 39 42 45 48 55 58 59 60 64 67 70 74 75 81 82 87 90 97 101 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 155 156
a 3 8 14 17 21 24 30 31 32 37 38 39 42 45 48 55 58 59 60 64 67 70 74 75 81 82 87 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 156
a 3 8 14 17 21 24 30 31 32 37 38 39 42 45 48 54 55 58 59 60 64 67 70 75 81 82 87 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 156
a 3 8 14 17 21 24 26 30 31 32 37 38 39 42 45 48 54 55 58 59 60 64 67 75 81 82 87 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 156
a 3 8 14 17 21 24 26 31 32 37 38 39 42 45 48 54 55 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 156
a 3 8 14 17 21 24 26 31 32 37 38 39 42 45 48 54 55 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 151 155 156
a 8 14 17 21 24 26 31 32 37 38 39 42 45 48 54 55 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 155 156
a 3 8 14 17 21 24 26 31 32 37 38 39 42 45 48 54 55 58 59 60 64 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 155 156
a 3 8 14 17 21 24 26 31 32 37 38 39 42 48 54 55 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 155 156
a 3 8 14 17 21 24 26 31 32 33 37 38 39 42 48 54 55 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 155
a 3 8 14 17 21 24 26 30 31 32 33 37 38 42 48 54 55 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 155
a 3 8 14 17 21 24 26 30 31 32 33 37 38 42 48 54 55 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 154
a 3 8 14 17 21 24 30 31 32 33 37 38 42 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 154
a 3 8 14 17 21 24 30 31 32 37 38 42 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 151 154 155
a 3 8 14 17 21 24 30 31 32 33 37 38 42 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 149 154 155
a 3 8 14 17 21 24 30 31 32 33 37 38 42 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 125 128 129 133 135 137 139 142 146 147 149 154
a 3 8 14 17 21 24 30 31 32 33 37 38 39 42 48 54 55 58 59 60 67 70 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 125 128 129 133 135 137 139 142 146 147 149 154
a 8 14 17 21 24 30 31 32 33 37 38 39 42 48 54 55 58 59 60 67 70 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 125 128 129 133 135 137 139 142 146 147 149 152 154
a 8 14 17 19 21 24 30 31 32 33 37 38 39 42 48 54 55 58 59 60 67 70 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 125 128 129 133 135 137 139 142 146 147 152 154
a 3 8 14 17 19 21 24 30 31 32 33 37 38 39 42 48 54 55 58 59 60 67 70 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 125 128 129 133 135 137 139 142 146 147 152
a 3 8 14 17 19 21 24 31 32 33 37 38 39 42 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 125 128 129 133 135 137 139 142 146 147 152
a 3 8 14 17 19 21 24 30 31 32 33 37 38 39 42 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 125 128 133 135 137 139 142 146 147 152
a 3 8 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 102 104 106 107 108 110 114 118 119 120 121 125 128 133 135 137 139 142 146 147 152
a 3 8 14 17 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 102 104 106 107 108 110 114 118 119 120 121 125 128 133 135 137 139 142 146 147 152
a 3 8 14 17 19 22 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 102 104 106 107 110 114 118 119 120 121 125 128 133 135 137 139 142 146 147 152
a 3 8 14 17 19 22 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 102 104 106 107 110 114 118 119 120 121 125 128 129 133 135 137 139 142 146 147
a 3 8 14 17 19 22 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 67 70 75 81 82 87 89 97 101 102 104 106 107 110 114 118 119 120 121 125 128 129 133 135 137 139 142 146 147 156
a 3 8 14 17 19 22 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 67 70 75 81 82 87 89 97 101 102 104 106 107 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 154 156
a 3 8 14 17 19 21 22 24 30 31 32 33 37 38 39 42 45 48 54 55 58 59 60 64 67 70 75 81 82 87 89 97 101 102 104 106 107 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147 154
a 3 8 14 17 19 21 22 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 102 104 106 107 110 114 118 119 120 121 128 129 133 135 137 139 142 146 147
a 3 8 14 17 19 21 22 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 102 104 106 107 110 114 118 119 120 121 128 129 133 135 137 139 142 146 151
a 3 8 14 17 19 21 22 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 102 104 106 107 110 114 118 119 120 121 128 129 133 135 137 139 142 146 152
a 3 8 14 17 19 21 22 24 30 31 32 33 37 38 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 110 114 118 119 120 121 128 129 133 135 137 139 142 146 152
a 3 8 14 17 19 21 22 24 30 31 32 33 37 38 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 110 114 118 119 120 121 128 129 133 135 137 139 142 151 152
a 3 4 8 14 17 19 21 22 24 30 31 32 33 37 38 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 110 114 118 119 120 121 129 133 135 137 139 142 151 152
a 3 4 8 14 17 19 22 24 30 31 32 33 37 38 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 110 114 118 119 120 121 129 133 135 137 139 142 147 151 152
a 3 4 8 14 17 19 21 22 24 30 31 32 33 37 38 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 110 114 118 119 120 121 129 133 135 137 139 142 147 151
a 3 4 8 14 17 19 21 22 24 30 31 32 33 37 38 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 110 114 118 119 120 121 129 133 135 137 139 142 147 154
a 3 4 8 14 17 19 21 22 24 30 31 32 33 37 38 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 110 114 118 119 120 121 129 133 135 137 139 142 146 147
a 3 4 8 14 17 19 21 22 24 30 31 32 33 37 38 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 110 114 118 119 120 121 129 133 135 137 142 146 147 152
a 3 4 8 17 19 21 22 24 30 31 32 33 37 38 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 110 114 118 119 120 121 129 133 135 137 142 146 147 152 156
a 3 4 8 17 19 21 22 24 30 31 32 33 37 38 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 103 104 106 107 110 114 118 119 120 121 129 133 135 137 142 147 152 156
a 3 4 8 17 19 21 22 24 30 31 32 33 37 38 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 110 114 118 119 120 121 129 133 135 137 142 147 151 152 156
a 3 4 8 17 19 21 22 24 30 31 32 33 37 38 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 110 114 118 119 120 121 129 133 135 137 142 147 151 155 156
a 3 4 8 13 17 19 21 22 24 30 31 32 33 37 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 110 114 118 119 120 121 129 133 135 137 142 147 151 155 156
a 3 4 8 13 17 19 21 22 24 30 31 32 33 37 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 108 110 114 118 119 120 121 129 133 137 142 147 151 155 156
a 3 4 8 13 14 17 19 21 22 24 30 31 32 33 37 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 108 110 114 118 119 120 121 129 133 137 142 147 151 156
a 3 4 8 13 14 17 19 21 22 24 31 32 33 37 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 108 110 114 118 119 120 121 129 133 135 137 142 147 151 156
a 3 4 8 13 14 17 19 21 22 24 31 32 33 37 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 108 110 114 118 119 120 121 129 133 135 137 139 142 147 156
a 3 4 8 13 14 17 19 22 24 31 32 33 37 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 101 102 104 106 107 108 110 114 118 119 120 121 129 133 135 137 139 142 147 155 156
a 3 4 8 13 14 17 19 22 24 31 32 33 37 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 98 101 102 104 106 107 108 110 114 118 119 120 121 129 133 135 137 139 142 147 155 156
a 3 4 8 13 14 17 19 22 24 31 32 33 37 39 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 98 101 102 104 106 107 108 110 114 118 119 120 121 129 133 135 137 139 142 151 155 156
a 3 4 8 13 14 17 19 22 24 31 32 33 37 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 96 98 101 102 104 106 107 108 110 114 118 119 120 121 129 133 135 137 139 142 151 155 156
a 3 4 8 14 17 19 22 24 31 32 33 37 38 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 96 98 101 102 104 106 107 108 110 114 118 119 120 121 129 133 135 137 139 142 151 155 156
a 3 4 8 14 17 19 22 24 31 32 33 37 38 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 96 98 101 102 104 106 107 108 110 114 118 119 120 121 129 133 135 137 139 142 146 151 155
a 3 4 8 14 17 19 22 24 31 32 33 37 38 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 96 101 102 104 106 107 108 110 114 118 119 120 121 129 133 135 137 139 142 146 151 155
a 3 4 8 14 19 22 24 31 32 33 37 38 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 96 101 102 104 106 107 108 110 114 118 119 120 121 129 133 135 137 139 142 146 151 154 155
a 4 8 14 17 19 22 24 31 32 33 37 38 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 96 101 102 104 106 107 108 110 114 118 119 120 121 129 133 135 137 139 142 146 151 154 155
a 4 8 14 17 19 22 24 31 32 33 37 42 45 46 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 96 101 102 104 106 107 108 110 114 118 119 120 121 129 133 135 137 139 142 146 151 152 154 155
a 4 8 14 17 19 22 24 31 32 33 37 42 45 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 96 97 101 102 104 106 107 108 110 114 118 119 120 121 129 133 135 137 139 142 146 151 152 154 155
a 4 8 14 17 19 22 24 31 32 33 37 42 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 96 97 101 102 104 106 108 110 114 118 119 120 121 129 133 135 137 139 142 146 151 152 154 155
a 4 8 14 17 19 22 24 31 32 33 37 38 42 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 96 97 101 102 104 106 108 110 114 118 119 120 121 129 133 135 137 139 142 146 151 152 154
a 8 14 17 19 22 24 31 32 33 37 38 42 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 96 97 101 102 104 106 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 151 152 154
a 8 14 17 19 22 24 31 32 33 37 38 41 42 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 96 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 151 152 154
a 8 14 17 19 22 24 31 32 33 37 38 39 41 42 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 151 152 154
a 8 14 17 19 22 24 31 32 33 37 38 39 41 42 45 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 102 104 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 151 152 154
a 8 14 17 19 21 22 24 31 32 33 37 38 39 41 42 45 48 54 55 58 59 60 64 67 70 75 81 82 87 89 90 97 101 102 104 107 108 110 114 118 119 120 121 128 129 133 135 137 142 146 151 152 154
a 8 14 17 19 21 22 24 31 32 33 37 38 39 41 42 45 48 54 55 57 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 107 108 110 114 118 119 120 121 128 129 133 135 137 142 146 151 152 154
a 8 17 19 21 22 24 31 32 33 37 38 39 41 42 43 45 48 54 55 57 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 107 108 110 114 118 119 120 121 128 129 133 135 137 142 146 151 152 154
a 8 17 19 21 22 24 31 32 33 37 38 39 41 42 45 48 54 55 57 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 107 108 110 114 118 119 120 121 128 129 133 135 137 142 146 151 152 154 156
a 8 17 19 21 22 24 26 31 32 33 37 38 39 41 42 45 48 54 55 57 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 107 108 110 114 118 119 120 121 128 129 133 135 137 142 146 151 152 154
a 8 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 48 54 55 57 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 107 108 110 114 118 119 120 121 128 129 133 135 137 142 146 151 152
a 8 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 48 54 55 57 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 107 108 110 114 118 119 120 121 128 129 133 135 137 142 146 151 154
a 8 17 19 21 22 24 26 31 32 33 37 38 39 41 42 45 48 54 55 57 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 107 108 110 114 118 119 120 121 128 129 133 135 137 142 146 151 154 156
a 8 17 19 21 22 24 26 31 32 33 37 38 39 41 42 45 48 54 55 57 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 107 108 110 114 118 119 120 121 128 129 133 135 137 142 146 151 154 155
a 8 17 19 21 22 24 26 31 32 33 37 38 39 41 42 45 48 54 55 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 107 108 110 114 118 119 120 121 128 129 133 135 137 139 142 146 151 154 155
a 3 8 17 19 21 22 24 26 31 32 33 37 38 39 41 42 45 48 54 55 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 107 108 110 114 118 119 120 121 128 129 133 137 139 142 146 151 154 155
a 3 8 13 17 19 21 22 24 26 31 32 33 37 39 41 42 45 48 54 55 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 107 108 110 114 118 119 120 121 128 129 133 137 139 142 146 151 154 155
a 3 8 13 17 19 21 22 24 26 31 32 33 37 39 41 42 45 48 54 55 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 107 108 110 114 118 119 120 121 128 129 133 137 139 142 146 154 155 156
a 3 8 13 14 17 19 21 22 24 26 31 32 33 37 39 41 42 45 48 54 55 58 59 60 64 67 75 81 82 87 89 90 97 101 102 104 107 108 110 114 118 119 120 121 128 129 133 137 139 142 146 155 156
a 3 8 13 14 17 19 21 22 24 26 30 31 32 33 37 39 41 42 45 48 54 55 58 59 60 64 67 75 81 82 87 89 90 97 102 104 107 108 110 114 118 119 120 121 128 129 133 137 139 142 146 155 156
a 3 8 13 14 17 19 21 22 24 30 31 32 33 37 39 41 42 45 48 54 55 58 59 60 64 67 75 81 82 87 89 90 97 102 104 107 108 110 114 118 119 120 121 128 129 133 137 139 142 146 151 155 156
a 3 4 8 13 14 17 19 21 22 24 30 31 32 33 37 39 41 42 45 48 54 55 58 59 60 64 67 75 81 82 87 89 90 97 102 104 107 108 110 114 118 119 120 121 129 133 137 139 142 146 151 155 156
a 3 4 8 13 14 17 19 21 22 24 30 31 32 33 37 39 41 42 45 48 54 55 58 59 60 64 67 75 81 82 87 89 90 97 102 104 107 108 110 111 114 118 119 120 121 129 133 139 142 146 151 155 156
a 3 4 8 13 14 17 19 21 22 24 30 31 32 37 39 41 42 45 48 54 55 56 58 59 60 64 67 75 81 82 87 89 90 97 102 104 107 108 110 111 114 118 119 120 121 129 133 139 142 146 151 155 156
a 3 4 8 13 14 17 19 21 22 24 30 31 32 37 39 41 42 45 48 54 55 56 58 59 60 64 67 75 81 82 87 89 90 97 102 104 107 108 110 111 114 118 119 120 121 129 133 139 142 146 154 155 156
a 3 4 8 13 14 17 19 21 22 24 30 31 32 37 39 41 42 45 48 54 55 56 58 59 60 64 67 75 78 81 82 87 89 90 102 104 107 108 110 111 114 118 119 120 121 129 133 139 142 146 154 155 156
a 3 4 8 13 14 17 19 21 22 24 29 30 31 32 37 39 41 42 45 48 54 55 56 58 59 60 64 67 75 78 81 82 87 89 90 102 104 107 108 111 114 118 119 120 121 129 133 139 142 146 154 155 156
a 3 4 8 12 13 17 19 21 22 24 29 30 31 32 37 39 41 42 45 48 54 55 56 58 59 60 64 67 75 78 81 82 87 89 90 102 104 107 108 111 114 118 119 120 121 129 133 139 142 146 154 155 156
a 3 4 8 12 13 19 21 22 24 29 30 31 32 37 39 41 42 45 48 54 55 56 58 59 60 64 67 75 76 78 81 82 87 89 90 102 104 107 108 111 114 118 119 120 121 129 133 139 142 146 154 155 156
a 3 4 8 12 13 19 21 22 24 29 30 31 32 37 39 41 42 45 48 54 55 56 57 58 59 60 64 67 75 76 78 81 82 87 89 90 102 104 107 108 111 114 118 119 120 121 129 133 142 146 154 155 156
a 3 4 8 12 13 19 21 22 24 29 30 31 32 37 39 41 42 45 48 54 55 56 57 58 59 60 64 67 75 76 78 81 82 87 89 90 102 103 104 107 108 111 114 118 119 120 121 129 133 142 154 155 156
a 3 4 8 12 13 19 21 22 24 29 30 31 32 37 41 42 45 48 54 55 56 57 58 59 60 64 67 75 76 78 81 82 87 89 90 102 103 104 107 108 111 114 118 119 120 121 129 133 142 152 154 155 156
a 3 4 8 12 13 19 21 22 24 29 30 31 32 37 41 42 45 48 54 55 56 57 58 59 60 64 67 75 76 78 81 82 87 89 90 102 103 104 107 108 111 114 118 119 120 121 129 133 142 147 152 154 156
a 3 8 12 13 19 21 22 24 29 30 31 32 37 41 42 43 45 48 54 55 56 57 58 59 60 64 67 75 76 78 81 82 87 89 90 102 103 104 107 108 111 114 118 119 120 121 129 133 142 147 152 154 156
a 3 8 12 13 19 21 22 24 29 30 31 32 37 41 42 43 45 48 51 54 55 56 57 58 59 60 64 67 75 76 78 81 82 87 89 90 102 103 104 107 108 111 114 118 119 120 129 133 142 147 152 154 156
a 3 8 12 13 19 21 22 24 29 30 31 32 37 41 42 43 45 48 51 54 55 56 57 58 59 60 64 67 75 76 78 81 82 87 89 90 94 102 103 104 107 108 111 114 118 119 120 129 133 142 147 152 156
a 3 8 12 13 19 21 22 24 29 30 31 32 37 41 42 43 45 48 51 54 55 56 58 59 60 64 67 70 75 76 78 81 82 87 89 90 94 102 103 104 107 108 111 114 118 119 120 129 133 142 147 152 156
a 3 8 12 13 19 21 22 24 29 30 31 32 37 41 42 43 45 48 51 54 55 56 58 59 60 64 67 70 75 78 81 82 87 89 90 94 101 102 103 104 107 108 111 114 118 119 120 129 133 142 147 152 156
a 3 8 12 13 19 21 22 24 29 30 31 32 37 41 42 43 45 48 51 54 55 56 57 58 59 60 64 67 75 78 81 82 87 89 90 94 101 102 103 104 107 108 111 114 118 119 120 129 133 142 147 152 156
a 3 8 12 13 19 21 22 24 29 30 32 37 41 42 43 45 48 51 54 55 56 57 58 59 60 64 67 75 78 81 82 84 87 89 90 94 101 102 103 104 107 108 111 114 118 119 120 129 133 142 147 152 156
a 3 8 12 13 19 21 22 24 29 30 32 37 41 42 43 45 48 51 54 55 56 57 58 59 60 64 67 75 76 78 81 82 84 87 89 90 94 102 103 104 107 108 111 114 118 119 120 129 133 142 147 152 156
a 3 8 12 13 19 21 22 24 29 30 32 37 41 42 43 45 48 51 54 55 56 57 58 59 60 64 67 75 76 78 81 82 84 87 89 90 94 102 103 104 107 108 111 114 118 119 120 129 133 142 147 152 155
a 3 8 12 13 19 22 24 29 30 32 37 41 42 43 45 48 51 54 55 56 57 58 59 60 64 67 75 76 78 81 82 84 87 89 90 94 96 102 103 104 107 108 111 114 118 119 120 129 133 142 147 152 155
a 3 8 12 13 19 22 24 29 30 32 37 41 42 43 45 48 51 54 55 56 58 59 60 64 67 70 75 76 78 81 82 84 87 89 90 94 96 102 103 104 107 108 111 114 118 119 120 129 133 142 147 152 155
a 3 8 12 13 19 22 24 29 30 32 37 41 42 43 45 48 51 54 55 56 58 59 60 64 67 70 75 76 78 81 82 84 87 89 90 94 96 102 103 104 107 111 114 118 119 120 129 133 142 147 152 155 156
a 3 8 12 13 19 22 24 29 30 32 37 41 42 43 45 48 51 54 55 58 59 60 64 67 70 75 76 78 81 82 84 87 89 90 94 96 102 103 104 107 111 114 118 119 120 129 133 135 142 147 152 155 156
a 8 12 13 19 22 24 29 30 32 37 41 42 43 45 48 51 54 55 58 59 60 64 67 70 75 76 78 81 82 84 87 89 90 94 96 102 103 104 107 111 114 118 119 120 125 129 133 135 142 147 152 155 156
a 8 13 19 22 24 29 30 32 37 41 42 43 45 48 51 54 55 58 59 60 64 67 70 75 76 78 81 82 84 87 89 90 94 96 102 103 104 107 111 114 118 119 120 125 129 133 135 142 147 152 154 155 156
a 8 13 19 22 24 29 30 31 32 37 41 42 43 45 48 51 54 55 58 59 60 64 67 70 75 76 78 81 82 87 89 90 94 96 102 103 104 107 111 114 118 119 120 125 129 133 135 142 147 152 154 155 156
a 8 13 19 22 24 30 31 32 37 41 42 43 45 48 51 54 55 58 59 60 64 67 70 75 76 78 81 82 87 89 90 94 96 102 103 104 107 110 111 114 118 119 120 125 129 133 135 142 147 152 154 155 156
a 8 13 14 19 22 24 30 31 32 37 41 42 45 48 51 54 55 58 59 60 64 67 70 75 76 78 81 82 87 89 90 94 96 102 103 104 107 110 111 114 118 119 120 125 129 133 135 142 147 152 154 155 156
a 1 8 13 14 19 22 24 30 31 32 37 41 42 45 48 51 54 55 58 59 60 64 67 70 75 76 78 81 82 87 89 90 94 96 102 103 104 107 110 111 114 118 119 120 125 129 133 135 142 147 152 155 156
a 1 8 13 14 19 22 24 30 31 32 37 41 42 45 48 51 54 55 56 58 59 60 64 67 75 76 78 81 82 87 89 90 94 96 102 103 104 107 110 111 114 118 119 120 125 129 133 135 142 147 152 155 156
a 1 8 13 14 19 22 24 30 31 32 37 41 42 45 48 51 54 55 56 58 59 60 64 67 75 76 81 82 87 89 90 94 96 97 102 103 104 107 110 111 114 118 119 120 125 129 133 135 142 147 152 155 156
a 1 8 13 19 22 24 30 31 32 37 41 42 43 45 48 51 54 55 56 58 59 60 64 67 75 76 81 82 87 89 90 94 96 97 102 103 104 107 110 111 114 118 119 120 125 129 133 135 142 147 152 155 156
a 8 13 19 22 24 30 31 32 37 41 42 43 45 48 51 54 55 56 58 59 60 64 67 75 76 81 82 87 89 90 94 96 97 102 103 104 107 110 111 114 118 119 120 125 129 133 135 142 147 152 154 155 156
a 8 13 19 22 24 30 31 32 37 41 42 43 45 48 51 54 55 56 58 59 60 64 67 70 75 76 81 82 87 89 90 94 96 97 102 103 104 107 110 111 114 118 119 120 125 129 133 135 142 147 152 154 155
a 8 13 19 22 24 30 31 32 37 41 42 43 45 48 51 54 55 56 58 59 60 64 66 67 70 75 76 81 82 87 89 90 94 96 97 102 103 104 110 111 114 118 119 120 125 129 133 135 142 147 152 154 155
a 8 19 22 24 30 31 32 37 38 41 42 43 45 48 51 54 55 56 58 59 60 64 66 67 70 75 76 81 82 87 89 90 94 96 97 102 103 104 110 111 114 118 119 120 125 129 133 135 142 147 152 154 155
a 8 19 22 24 30 31 32 37 38 41 42 43 45 48 51 54 55 56 57 58 59 60 64 66 67 75 76 81 82 87 89 90 94 96 97 102 103 104 110 111 114 118 119 120 125 129 133 135 142 147 152 154 155
a 8 14 19 22 24 30 31 32 37 38 41 42 45 48 51 54 55 56 57 58 59 60 64 66 67 75 76 81 82 87 89 90 94 96 97 102 103 104 110 111 114 118 119 120 125 129 133 135 142 147 152 154 155
a 8 14 19 22 24 30 31 32 37 38 41 42 45 48 51 54 55 56 57 58 59 60 64 66 67 75 76 78 81 82 87 89 90 94 96 102 103 104 110 111 114 118 119 120 125 129 133 135 142 147 152 154 155
a 8 14 18 19 22 24 30 31 32 37 38 41 42 45 48 51 54 55 56 57 58 59 60 64 66 67 75 76 78 81 82 87 89 90 94 96 102 103 104 110 111 114 118 119 120 125 129 133 135 142 147 154 155
a 8 14 18 19 21 22 24 30 31 32 37 38 41 42 45 48 51 54 55 56 57 58 59 60 64 66 67 75 76 78 81 82 87 89 90 94 102 103 104 110 111 114 118 119 120 125 129 133 135 142 147 154 155
a 8 14 18 19 21 22 24 29 30 31 32 37 38 41 42 45 48 51 54 55 56 57 58 59 60 64 66 67 75 76 78 81 82 87 89 90 94 102 103 104 111 114 118 119 120 125 129 133 135 142 147 154 155
a 4 8 14 18 19 21 22 24 29 30 31 32 37 38 41 42 45 48 54 55 56 57 58 59 60 64 66 67 75 76 78 81 82 87 89 90 94 102 103 104 111 114 118 119 120 125 129 133 135 142 147 154 155
a 3 4 8 14 18 19 21 22 24 29 30 31 32 37 38 41 42 45 48 54 55 56 57 58 59 60 64 66 67 75 76 78 81 82 87 89 90 94 102 103 104 111 114 118 119 120 125 129 133 135 142 147 154
a 3 4 8 14 19 21 22 24 29 30 31 32 37 38 41 42 45 48 54 55 56 57 58 59 60 64 66 67 75 76 78 81 82 87 89 90 94 102 103 104 108 111 114 118 119 120 125 129 133 135 142 147 154
a 3 4 8 14 19 21 22 24 29 30 31 32 37 38 41 42 45 48 54 55 56 57 58 59 60 64 66 67 75 76 78 81 82 87 89 90 94 102 103 104 108 111 114 118 119 125 129 133 135 142 147 148 154
a 3 4 8 14 19 21 22 24 29 30 31 32 37 38 39 41 42 45 48 54 55 56 57 58 59 60 64 66 67 75 78 81 82 87 89 90 94 102 103 104 108 111 114 118 119 125 129 133 135 142 147 148 154
a 2 3 4 8 14 19 21 22 24 29 30 31 32 37 38 39 41 42 45 48 54 55 56 57 58 59 60 64 66 67 75 78 81 82 87 89 90 94 102 103 104 108 111 118 119 125 129 133 135 142 147 148 154
a 3 4 8 14 19 21 22 24 29 30 31 32 37 38 39 41 42 45 48 54 55 56 57 58 59 60 64 66 67 75 78 81 82 87 89 90 94 102 103 104 108 111 118 119 125 129 133 135 142 147 148 154 156
a 3 4 8 14 19 21 22 24 26 29 30 31 32 37 38 39 41 42 45 48 54 55 56 57 58 59 60 64 66 67 75 78 81 82 87 89 90 102 103 104 108 111 118 119 125 129 133 135 142 147 148 154 156
a 3 4 8 14 19 21 22 24 26 29 30 31 32 37 38 39 41 42 45 48 54 55 56 57 58 59 60 64 66 67 75 78 81 82 87 89 90 102 103 104 108 111 118 119 120 125 129 133 135 142 147 154 156
a 3 4 8 14 19 21 22 24 26 29 30 31 32 37 38 39 41 42 45 48 54 55 56 57 58 59 60 64 67 75 78 81 82 87 89 90 102 103 104 108 111 114 118 119 120 125 129 133 135 142 147 154 156
a 3 4 8 14 19 21 24 26 29 30 31 32 37 38 39 41 42 45 48 54 55 56 57 58 59 60 64 67 75 76 78 81 82 87 89 90 102 103 104 108 111 114 118 119 120 125 129 133 135 142 147 154 156
a 3 4 8 14 19 21 24 26 29 30 31 32 37 38 39 41 42 45 48 54 55 56 58 59 60 64 67 75 76 78 81 82 87 89 90 102 103 104 108 111 114 118 119 120 125 129 133 135 139 142 147 154 156
a 3 4 8 14 19 21 24 26 30 31 32 37 38 39 41 42 45 48 54 55 56 58 59 60 64 67 75 76 78 81 82 87 89 90 102 103 104 108 110 111 114 118 119 120 125 129 133 135 139 142 147 154 156
a 3 4 8 14 19 21 24 26 30 31 32 37 38 39 41 42 45 48 54 55 56 58 59 60 64 67 75 76 78 81 82 87 89 90 102 103 104 108 110 111 114 118 119 120 125 129 133 135 139 142 147 154 155
a 3 4 8 14 19 21 24 26 30 31 32 37 38 39 41 42 45 48 54 55 56 58 59 60 64 67 75 76 78 81 82 87 89 90 102 104 108 110 111 114 118 119 120 125 129 133 135 139 142 146 147 154 155
a 3 4 8 14 19 21 22 24 26 30 31 32 37 38 39 41 42 45 48 54 55 56 58 59 60 64 67 75 76 78 81 82 87 89 90 102 104 108 110 111 114 118 119 125 129 133 135 139 142 146 147 154 155
a 3 4 8 14 18 19 21 24 26 30 31 32 37 38 39 41 42 45 48 54 55 56 58 59 60 64 67 75 76 78 81 82 87 89 90 102 104 108 110 111 114 118 119 125 129 133 135 139 142 146 147 154 155
a 3 4 8 14 18 19 21 24 26 30 31 32 37 38 39 41 42 45 48 54 55 56 58 59 60 64 67 75 76 78 81 82 87 89 98 102 104 108 110 111 114 118 119 125 129 133 135 139 142 146 147 154 155
a 3 4 8 14 17 18 19 21 24 26 30 31 32 37 38 39 41 42 45 48 54 55 56 58 59 60 64 67 75 78 81 82 87 89 98 102 104 108 110 111 114 118 119 125 129 133 135 139 142 146 147 154 155
a 3 4 8 14 17 18 19 21 24 26 30 31 32 37 38 39 41 42 45 48 55 56 58 59 60 64 67 74 75 78 81 82 87 89 98 102 104 108 110 111 114 118 119 125 129 133 135 139 142 146 147 154 155
a 3 4 8 14 17 18 19 21 24 30 31 32 37 38 39 41 42 45 48 55 56 58 59 60 64 66 67 74 75 78 81 82 87 89 98 102 104 108 110 111 114 118 119 125 129 133 135 139 142 146 147 154 155
a 3 4 8 14 18 19 21 24 30 31 32 37 38 39 41 42 45 48 55 56 58 59 60 64 66 67 74 75 76 78 81 82 87 89 98 102 104 108 110 111 114 118 119 125 129 133 135 139 142 146 147 154 155
a 3 4 8 14 18 19 21 24 26 30 31 32 37 38 39 41 42 45 48 55 56 58 59 60 64 66 67 74 75 76 78 81 82 87 89 98 102 104 108 110 111 114 118 119 125 129 133 135 139 142 146 147 154
a 3 4 8 14 18 19 21 24 26 30 31 32 37 38 39 41 42 45 48 55 56 58 59 60 64 66 67 74 75 76 78 81 82 87 89 90 102 104 108 110 111 114 118 119 125 129 133 135 139 142 146 147 154
a 3 4 8 14 18 19 21 24 26 30 31 32 37 38 39 41 42 45 48 55 56 57 58 59 60 64 66 67 74 75 76 78 81 82 87 89 90 102 104 108 110 111 114 118 119 125 129 133 135 142 146 147 154
a 3 4 8 14 18 19 21 22 24 26 30 31 32 37 38 39 41 42 45 48 55 56 57 58 59 60 64 66 67 74 75 76 78 81 82 87 89 90 102 104 108 110 111 114 118 119 125 129 133 135 142 146 147
a 3 4 8 14 18 19 21 22 24 26 30 31 32 37 38 39 41 42 45 48 55 56 57 58 59 60 64 66 67 74 75 76 81 82 87 89 90 97 102 104 108 110 111 114 118 119 125 129 133 135 142 146 147
a 3 4 8 14 18 19 21 22 24 26 30 31 32 37 38 39 41 42 45 48 55 56 58 59 60 64 66 67 74 75 76 81 82 87 89 90 97 102 104 108 110 111 114 118 119 125 129 133 135 139 142 146 147
a 3 4 8 14 18 19 21 22 24 26 30 31 32 37 38 39 41 42 45 48 55 56 58 59 60 64 66 67 74 75 81 82 87 89 90 97 102 104 108 110 111 114 118 119 125 129 133 135 139 140 142 146 147
a 3 4 8 14 18 19 21 22 24 26 30 31 32 37 38 39 41 42 45 48 55 56 58 59 60 64 66 67 74 75 81 82 87 89 90 97 101 102 104 108 110 111 114 118 119 125 129 133 135 139 140 146 147
a 3 4 8 14 18 19 21 22 24 26 30 31 32 37 38 39 41 42 45 48 49 55 56 58 59 60 64 66 67 74 75 81 82 87 89 90 97 101 102 104 108 110 111 114 118 119 125 133 135 139 140 146 147
a 3 4 8 14 18 19 21 22 24 26 30 31 32 37 38 39 41 42 45 48 49 55 56 58 59 60 64 66 67 74 75 81 82 89 90 97 101 102 104 108 110 111 114 118 119 125 133 135 139 140 146 147 156
a 3 4 8 18 19 21 22 24 26 30 31 32 37 38 39 41 42 45 48 49 55 56 58 59 60 64 66 67 74 75 81 82 89 90 97 101 102 104 108 110 111 114 118 119 125 130 133 135 139 140 146 147 156
a 3 4 8 18 19 21 22 24 26 30 32 37 38 39 41 42 45 48 49 55 56 58 59 60 64 66 67 74 75 81 82 89 90 97 101 102 104 108 110 111 114 118 119 125 130 133 135 136 139 140 146 147 156
a 3 4 8 18 19 21 22 24 26 30 32 37 38 39 41 42 45 48 49 55 58 59 60 64 66 67 74 75 79 81 82 89 90 97 101 102 104 108 110 111 114 118 119 125 130 133 135 136 139 140 146 147 156
a 3 4 8 18 19 21 22 24 26 30 37 38 39 41 42 45 48 49 55 58 59 60 64 66 67 74 75 79 81 82 89 90 97 101 102 104 108 110 111 114 118 119 125 130 133 135 136 139 140 146 147 153 156
a 3 4 8 18 19 22 24 26 30 37 38 39 41 42 45 48 49 55 58 59 60 64 66 67 74 75 79 81 82 89 90 97 101 102 104 108 110 111 114 118 119 125 130 133 135 136 139 140 146 147 148 153 156
a 3 4 8 18 19 22 24 26 30 37 38 39 41 42 45 48 49 55 58 59 60 64 66 74 75 79 81 82 89 90 97 101 102 104 108 109 110 111 114 118 119 125 130 133 135 136 139 140 146 147 148 153 156
a 3 4 8 18 19 22 24 26 30 37 38 39 41 42 45 48 49 55 58 59 60 64 66 69 74 75 79 81 82 89 90 97 101 102 104 109 110 111 114 118 119 125 130 133 135 136 139 140 146 147 148 153 156
a 3 4 8 18 19 22 24 26 30 37 38 39 41 42 45 48 49 55 58 59 60 64 66 69 74 75 79 81 82 89 90 97 101 102 104 109 110 111 114 118 119 130 133 135 136 139 140 143 146 147 148 153 156
a 1 3 4 8 18 19 22 24 26 30 37 38 39 41 42 45 48 49 55 58 59 60 64 66 69 74 75 79 81 82 89 90 97 101 102 104 109 111 114 118 119 130 133 135 136 139 140 143 146 147 148 153 156
a 1 3 4 8 18 19 22 24 26 30 37 38 39 41 42 45 48 49 55 58 59 60 64 66 69 74 75 79 81 82 89 90 97 101 102 104 109 111 114 118 119 130 133 135 136 138 139 140 143 146 148 153 156
a 1 3 4 8 12 18 19 22 24 26 30 37 38 39 41 42 45 49 55 58 59 60 64 66 69 74 75 79 81 82 89 90 97 101 102 104 109 111 114 118 119 130 133 135 136 138 139 140 143 146 148 153 156
a 1 3 4 8 12 18 19 22 24 26 30 37 38 39 41 42 45 49 55 58 59 60 64 66 69 74 75 79 81 82 89 90 97 101 102 109 111 114 118 119 121 130 133 135 136 138 139 140 143 146 148 153 156
a 1 3 4 8 12 18 19 22 24 26 30 37 38 39 41 42 45 49 52 55 58 59 60 64 66 69 74 75 79 81 82 89 90 97 101 102 109 111 114 118 121 130 133 135 136 138 139 140 143 146 148 153 156
a 1 3 4 8 12 16 18 19 22 24 26 30 37 38 39 41 42 45 49 52 55 58 59 60 64 66 69 74 75 79 81 82 90 97 101 102 109 111 114 118 121 130 133 135 136 138 139 140 143 146 148 153 156
a 1 4 8 12 16 18 19 22 24 26 30 37 38 39 41 42 45 49 52 55 58 59 60 64 66 69 74 75 79 81 82 90 95 97 101 102 109 111 114 118 121 130 133 135 136 138 139 140 143 146 148 153 156
a 1 4 8 12 16 18 19 22 24 26 30 37 38 39 41 42 45 49 52 55 58 59 60 66 69 74 75 79 81 82 88 90 95 97 101 102 109 111 114 118 121 130 133 135 136 138 139 140 143 146 148 153 156
a 1 4 8 12 16 18 19 22 24 26 30 35 37 38 39 41 42 49 52 55 58 59 60 66 69 74 75 79 81 82 88 90 95 97 101 102 109 111 114 118 121 130 133 135 136 138 139 140 143 146 148 153 156
a 1 4 8 12 16 18 19 22 24 26 30 35 37 38 39 41 42 49 52 55 58 59 60 66 69 74 75 79 81 82 88 90 95 97 101 109 111 114 118 121 124 130 133 135 136 138 139 140 143 146 148 153 156
a 1 4 8 12 15 16 18 19 22 24 26 30 35 37 38 39 41 42 49 52 55 58 59 60 66 69 75 79 81 82 88 90 95 97 101 109 111 114 118 121 124 130 133 135 136 138 139 140 143 146 148 153 156
a 1 4 8 12 15 16 18 19 22 24 26 30 35 37 38 39 41 42 49 52 55 58 59 60 66 68 69 75 79 81 82 88 95 97 101 109 111 114 118 121 124 130 133 135 136 138 139 140 143 146 148 153 156
a 1 4 8 12 15 16 18 19 22 24 26 30 35 37 39 41 42 49 52 55 58 59 60 66 68 69 75 79 81 82 88 95 97 99 101 109 111 114 118 121 124 130 133 135 136 138 139 140 143 146 148 153 156
a 1 4 8 12 15 16 18 19 22 24 26 30 35 37 39 41 42 49 52 58 59 60 66 68 69 75 79 81 82 88 91 95 97 99 101 109 111 114 118 121 124 130 133 135 136 138 139 140 143 146 148 153 156
a 1 4 8 12 15 16 18 19 22 24 26 30 35 37 39 41 42 49 52 58 59 60 66 68 69 75 79 81 82 88 91 95 97 99 101 109 111 114 118 121 122 124 130 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 52 58 59 60 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
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: 200
#END: [Tue Sep 26 05:41:03 2023]