#BEGIN: [Tue Sep 26 06:06:16 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#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 /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 d86458e5ae5c618468247d63dd65655e3f41400561bf4edfaa1929a073543104
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 125 128 133 135 136 137 139 142 146 147 149 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 125 128 133 135 136 137 139 142 146 147 149 155 156
a 3 8 14 15 17 21 24 30 31 32 33 37 38 39 41 42 48 55 58 59 60 64 67 70 75 81 82 89 90 97 101 104 107 108 110 114 118 119 120 121 125 128 133 135 136 137 139 142 146 147 149 155 156
a 8 14 15 17 21 24 30 31 32 33 37 38 39 41 42 48 55 58 59 60 64 67 70 75 81 82 89 90 97 101 104 107 108 110 114 118 119 120 121 125 128 133 135 136 137 139 142 146 147 149 154 155 156
a 8 14 15 17 21 22 24 30 31 32 33 37 38 39 41 42 48 55 58 59 60 64 67 70 75 81 82 89 90 97 101 104 107 108 110 114 118 119 120 121 125 128 133 135 136 137 139 142 146 147 154 155 156
a 8 14 15 17 21 22 24 30 31 32 33 37 38 39 41 42 48 55 58 59 60 64 67 70 75 81 82 89 90 97 101 104 107 108 110 114 118 119 120 121 125 128 133 135 136 137 138 139 142 146 154 155 156
a 8 14 15 17 21 22 24 26 30 31 32 33 37 38 39 41 42 48 55 58 59 60 64 67 75 81 82 89 90 97 101 104 107 108 110 114 118 119 120 121 125 128 133 135 136 137 138 139 142 146 154 155 156
a 8 14 15 17 21 22 24 26 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 125 128 133 135 136 137 138 139 142 146 154 155 156
a 8 14 15 17 21 22 24 26 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 75 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 125 128 133 135 136 137 138 139 142 144 146 154 155 156
a 8 14 15 17 21 22 24 26 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 75 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 125 127 128 133 136 137 138 139 142 144 146 154 155 156
a 8 14 15 17 21 22 24 26 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 75 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 127 128 133 136 137 138 139 142 144 146 151 154 155 156
a 8 14 15 17 21 22 24 26 30 31 32 33 37 38 39 42 48 58 59 60 64 67 75 82 89 90 91 97 101 104 106 107 108 110 114 118 119 120 121 127 128 133 136 137 138 139 142 144 146 151 154 155 156
a 8 14 15 17 21 22 24 26 30 31 32 33 37 38 39 42 48 58 59 60 64 67 75 82 89 90 91 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 138 139 142 144 146 151 154 155 156
a 8 14 15 17 21 22 24 26 30 31 32 33 37 38 39 42 48 58 59 60 64 67 75 81 82 89 90 91 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 138 139 142 146 151 154 155 156
a 8 14 15 17 19 21 22 24 26 30 31 32 33 37 38 39 42 48 58 59 60 64 67 75 81 82 89 90 91 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 138 139 142 146 151 154 156
a 14 15 17 19 21 22 24 26 30 31 32 33 37 38 39 42 48 58 59 60 64 67 75 81 82 89 90 91 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 138 139 142 146 151 154 155 156
a 3 14 15 17 19 21 22 24 26 30 31 32 33 37 38 39 42 48 58 59 60 64 67 75 81 82 89 90 91 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 138 139 142 146 151 154 156
a 3 14 15 17 19 21 22 24 26 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 133 135 136 137 138 139 142 146 151 154 156
a 3 8 14 15 17 19 21 22 24 26 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 128 133 135 136 137 138 139 142 146 151 154 156
a 3 8 14 17 19 21 22 24 26 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 74 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 128 133 135 136 137 138 139 142 146 151 154 156
a 8 14 17 19 21 22 24 26 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 74 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 128 129 133 135 136 137 138 139 142 146 151 154 156
a 8 14 17 19 21 22 24 26 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 74 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 142 146 151 154 156
a 8 14 17 19 21 22 24 26 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 74 75 81 82 89 90 97 101 104 106 107 108 110 114 118 119 120 121 129 133 135 136 137 138 139 142 146 151 154 156
a 8 14 17 19 21 22 24 26 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 74 75 81 82 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 129 133 135 136 137 138 139 142 146 151 156
a 8 14 19 21 22 24 26 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 74 75 81 82 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 142 146 151 156
a 14 19 21 22 24 26 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 74 75 81 82 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 142 146 151 154 156
a 14 17 19 21 22 24 26 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 74 75 81 82 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 137 138 139 142 146 151 154 156
a 17 19 21 22 24 26 30 31 32 33 37 38 39 42 48 55 58 59 60 64 67 74 75 81 82 89 90 97 101 102 104 106 107 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 142 146 151 154 156
a 17 19 21 22 24 26 30 31 32 33 37 38 39 42 48 55 58 59 60 64 66 67 74 75 81 82 89 90 97 101 102 104 106 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 142 146 151 154 156
a 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 48 55 58 59 60 64 66 67 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 142 146 151 154 156
a 14 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 48 55 58 59 60 64 66 67 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 142 146 151 154
a 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 142 146 151 154
a 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151
a 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 74 75 81 82 89 90 97 101 102 104 108 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151 156
a 8 17 19 21 22 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 74 75 81 82 89 90 97 101 102 104 108 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151 156
a 8 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 74 75 81 82 89 90 97 101 102 104 108 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151 156
a 8 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 135 136 137 138 139 140 142 146 151 156
a 8 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 74 75 81 82 89 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151 156
a 8 19 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151 156
a 8 19 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 151 155 156
a 8 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151 155 156
a 8 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151 155
a 8 17 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 155
a 8 14 17 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146
a 14 17 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 156
a 14 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151 156
a 14 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 140 142 146 151 154 156
a 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151 154 156
a 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 151 154 155 156
a 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151 154 155 156
a 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 140 142 146 151 154 155 156
a 21 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 140 142 146 149 151 154 155 156
a 21 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 149 151 154 155
a 3 21 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 149 154 155
a 3 17 21 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 149 155
a 3 17 21 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 149 154 155
a 3 17 21 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 149 154
a 3 17 21 24 30 31 32 33 37 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 149 151 154
a 3 17 21 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 149 151 154
a 3 17 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 151 154
a 3 17 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 154
a 3 17 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 111 114 118 119 120 121 128 129 133 135 136 138 139 140 142 146 154
a 3 17 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 111 114 118 119 120 121 128 129 133 135 136 138 139 140 142 146 151 154
a 3 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 111 114 118 119 120 121 128 129 133 135 136 138 139 140 142 146 151 154 155
a 3 19 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 111 114 118 119 120 121 128 129 133 135 136 138 139 140 142 146 151 155
a 3 19 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 97 101 102 104 108 110 111 114 118 119 120 121 128 129 133 135 136 138 139 140 142 146 151 155
a 3 19 22 24 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 101 102 104 108 110 111 114 118 119 120 121 128 129 133 135 136 138 139 140 142 146 151 155
a 3 19 22 24 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151 155
a 3 19 21 22 24 30 31 32 33 38 39 41 42 45 46 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151 155
a 3 17 19 21 22 24 30 31 32 33 38 39 41 42 45 46 48 55 58 59 60 64 66 67 70 74 75 81 82 89 90 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151
a 3 17 19 21 22 24 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151
a 3 17 19 21 22 24 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 138 139 140 142 146 151 155
a 3 17 19 21 22 24 30 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151 155
a 3 17 19 21 22 30 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151 154 155
a 3 17 19 21 22 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151 154
a 3 19 21 22 26 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151 154
a 3 17 19 21 22 26 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 146 151 154
a 3 17 19 21 22 26 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 120 121 128 129 133 135 136 137 138 139 140 142 146 151
a 3 17 19 21 22 26 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 121 128 129 133 135 136 137 138 139 140 142 146 148 151
a 3 17 19 21 22 26 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 121 128 129 133 135 136 137 139 140 142 146 147 148 151
a 3 14 17 19 21 22 26 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 121 128 129 133 135 136 137 139 140 142 146 148 151
a 3 14 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 121 128 129 133 135 136 137 139 140 146 148 151
a 14 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 121 128 129 133 135 136 137 139 140 142 146 148 151
a 14 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 46 48 55 58 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 121 128 129 133 135 136 137 139 140 142 146 147 148 151
a 14 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 46 48 55 58 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 121 128 129 133 135 136 137 139 140 142 146 147 151 155
a 14 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 121 128 129 133 135 136 137 139 140 142 146 147 155
a 14 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 121 128 129 133 135 136 137 139 140 142 146 147 148 155
a 14 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 121 129 133 135 136 137 139 140 142 146 147 148 155 156
a 14 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 110 114 118 119 121 128 129 133 135 136 137 139 140 142 146 147 148 156
a 14 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 46 48 55 58 59 60 64 66 67 74 75 81 82 89 90 101 102 104 108 114 118 119 121 128 129 133 135 136 137 139 140 142 146 147 148 151 156
a 14 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 74 75 81 82 89 90 97 101 102 104 108 114 118 119 121 128 129 133 135 136 137 139 140 142 146 147 148 151 156
a 14 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 74 75 81 82 89 90 97 101 102 104 108 110 114 118 119 121 128 129 133 135 136 137 139 142 146 147 148 151 156
a 14 19 21 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 74 75 79 81 82 89 90 97 101 102 104 108 110 114 118 119 121 129 133 135 136 137 139 142 146 147 148 151 156
a 14 19 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 79 81 82 89 90 97 101 102 104 108 110 114 118 119 121 129 133 135 136 137 139 142 146 147 148 151 156
a 3 14 19 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 79 81 82 89 90 97 101 102 104 108 110 114 118 119 121 133 135 136 137 139 142 146 147 148 151 156
a 3 4 14 19 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 79 81 82 89 90 97 101 102 104 108 110 114 118 119 121 133 135 136 137 139 142 146 147 148 156
a 3 4 14 19 21 22 24 30 31 32 33 37 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 79 81 82 89 90 97 101 102 104 108 110 114 118 119 121 133 135 136 137 139 142 146 147 148 151 156
a 3 4 14 19 21 22 24 30 31 32 33 37 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 79 81 82 89 90 97 101 102 104 108 110 114 118 119 121 129 133 135 136 137 139 142 146 147 148 151
a 3 4 19 21 22 24 30 31 32 33 37 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 79 81 82 89 90 97 101 102 104 108 110 114 118 119 121 129 133 135 136 137 139 142 146 147 148 151 156
a 3 4 8 19 21 22 24 30 31 32 33 37 39 41 42 45 48 55 58 59 60 64 66 67 70 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 142 146 147 148 151 156
a 3 4 8 19 21 22 24 30 31 32 33 37 39 41 42 45 48 55 58 59 60 66 67 70 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 146 147 148 151 156
a 3 4 8 19 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 66 67 70 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 146 147 148 151
a 4 8 17 19 21 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 66 67 70 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 146 147 148 151
a 3 4 8 17 19 21 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 66 67 70 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 146 147 148 151
a 3 4 8 17 19 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 66 67 70 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 148 151
a 3 4 8 17 19 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 66 67 70 74 75 79 81 82 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 148 151
a 3 4 8 14 17 19 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 66 67 70 74 75 79 81 82 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 148 151
a 3 4 8 14 17 19 22 24 30 31 32 33 37 38 39 41 42 48 55 58 59 60 66 67 70 74 75 79 81 82 89 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 148 151
a 3 4 8 14 17 19 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 66 67 70 74 75 79 81 82 89 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 151
a 3 4 8 14 17 19 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 66 67 70 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 140 142 143 146 147 151
a 3 4 8 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 66 67 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 140 142 143 146 147 151
a 3 4 8 14 17 19 22 24 26 30 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 140 142 143 146 147 151
a 3 4 8 14 17 19 22 24 26 30 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 140 142 143 146 151
a 3 4 8 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 140 143 146 151
a 3 8 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 143 146 151
a 3 8 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 151
a 8 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 151
a 8 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147
a 8 14 17 19 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 151
a 4 8 14 19 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 151
a 4 8 17 19 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 151
a 4 8 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 147 151
a 4 8 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 139 140 142 143 147 151
a 4 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 147 151
a 4 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 151
a 4 17 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 148 151
a 4 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 148 151
a 4 17 19 22 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 148 151
a 4 14 17 19 22 26 30 31 32 33 37 38 39 41 42 45 48 55 58 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 148 151
a 14 17 19 22 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 148 151
a 8 14 17 19 22 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 148 151
a 8 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 143 146 148 151
a 8 14 17 19 22 24 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 148 151
a 8 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 139 140 142 143 146 148 151
a 8 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 142 143 146 148 151
a 8 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 148 151
a 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 147 148 151
a 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 151
a 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 147 151 155
a 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 151 155
a 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 140 142 143 146 147 151 155
a 14 17 19 22 24 26 30 31 32 33 37 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 146 147 151 155
a 3 14 17 19 22 24 26 30 31 32 33 37 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 147 151 155
a 3 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 147 151 155
a 3 14 17 19 22 24 26 30 31 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 147 151 155
a 3 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 121 129 133 135 136 137 139 140 142 143 147 151 155
a 3 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 79 81 82 89 90 97 101 102 104 110 114 118 119 129 133 135 136 137 139 140 142 143 147 151 155
a 3 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 81 82 89 90 97 101 102 104 110 114 118 119 128 129 133 135 136 137 139 140 142 143 147 151 155
a 3 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 81 82 87 89 90 97 101 102 104 110 114 118 119 128 129 133 135 137 139 140 142 143 147 151 155
a 3 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 55 58 59 60 64 66 67 69 74 75 81 82 87 89 90 97 101 102 104 110 114 118 119 121 128 129 133 135 137 139 140 142 143 147 151
a 3 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 54 55 58 59 60 64 66 67 69 75 81 82 87 89 90 97 101 102 104 110 114 118 119 121 128 129 133 135 137 139 140 142 143 147 151
a 14 17 19 22 24 26 30 31 32 33 37 38 39 41 42 45 48 54 55 58 59 60 64 66 67 69 75 81 82 87 89 90 97 101 102 104 110 114 118 119 120 121 128 129 133 135 137 139 140 142 143 147 151
a 17 19 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 69 75 81 82 87 89 90 97 101 102 104 110 114 118 119 120 121 128 129 133 135 137 139 140 142 143 147 151
a 17 19 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 137 139 140 142 143 147 151
a 17 19 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 128 129 133 135 137 139 140 142 143 145 147 151
a 17 19 22 24 26 30 31 32 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 128 129 133 135 137 139 140 142 143 145 147 151 156
a 17 19 22 24 26 30 31 32 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 102 104 108 110 114 118 119 120 121 128 129 133 135 137 139 140 142 143 145 147 151 156
a 17 19 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 89 90 97 102 104 108 110 114 118 119 120 121 128 129 133 135 137 139 140 142 143 145 147 151 156
a 17 19 22 24 26 30 31 32 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 137 139 140 142 143 145 147 151 156
a 17 19 21 22 24 26 30 31 32 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 137 139 140 142 145 147 151 156
a 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 121 128 129 133 135 137 139 140 142 145 147 156
a 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 89 90 97 101 102 104 108 110 114 118 119 120 128 129 133 135 137 139 140 142 145 147 151 156
a 19 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 128 129 133 135 137 139 140 142 145 147 151 156
a 17 19 21 22 24 26 30 31 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 128 129 133 135 137 139 140 142 145 147 151 156
a 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 119 120 128 129 133 135 137 139 140 142 145 147 151 156
a 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 128 129 133 135 137 139 140 142 145 151 156
a 4 17 19 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 129 133 135 137 139 140 142 145 151 156
a 4 17 19 21 22 24 26 30 31 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 129 133 135 137 139 140 142 145 147 151 156
a 4 8 17 19 21 22 24 26 30 31 33 37 38 39 41 42 43 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 129 133 135 137 139 140 142 145 147 151 156
a 4 17 19 21 22 24 26 30 31 33 37 38 39 41 42 43 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 129 133 135 137 139 140 142 145 147 151 154 156
a 4 17 21 22 24 26 30 31 33 37 38 39 41 42 43 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 129 133 135 137 139 140 142 145 146 147 151 154 156
a 4 17 21 22 24 26 30 31 33 37 38 39 41 42 43 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 121 129 133 135 137 139 140 142 145 146 147 151 154
a 4 17 21 22 24 26 30 31 32 33 37 38 39 41 42 43 48 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 121 129 133 135 137 139 140 142 145 146 147 151 154
a 4 17 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 121 129 133 135 137 139 140 142 145 146 151 154
a 4 17 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 121 129 133 135 137 139 140 142 145 146 147 151 154
a 17 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 121 129 133 135 137 139 140 142 145 146 147 151 154
a 17 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 121 129 133 135 137 139 140 142 145 146 147 151 154
a 4 17 21 22 24 26 30 31 32 33 37 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 121 129 133 135 137 139 140 142 145 146 147 151 154
a 4 17 21 22 24 26 30 31 32 33 37 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 87 89 90 97 101 102 104 108 110 114 118 119 120 121 129 133 135 137 139 140 142 145 146 147 151 154
a 4 17 19 21 22 24 26 30 31 32 33 37 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 87 89 90 97 101 102 104 108 110 114 118 119 120 121 129 133 135 137 139 140 142 145 146 147 151
a 4 17 19 21 22 24 26 30 31 32 33 37 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 87 89 90 97 101 102 104 108 110 114 118 119 120 121 129 133 135 137 139 140 142 145 147 151 152
a 4 17 19 21 22 24 26 30 31 32 33 37 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 87 89 90 97 101 102 104 108 110 114 118 119 120 121 125 129 133 135 137 139 140 142 145 147 152
a 4 19 21 22 24 26 30 31 32 33 37 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 121 125 129 133 135 137 139 140 142 145 147 152
a 4 19 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 125 129 133 135 137 139 140 142 145 147 152
a 19 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 125 128 129 133 135 137 139 140 142 145 147 152
a 19 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 125 129 133 135 137 139 140 142 145 146 147 152
a 19 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 121 125 129 133 135 137 139 140 142 145 146 147 152
a 19 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 108 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 19 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 19 22 24 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 97 101 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 21 22 24 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 97 101 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 22 24 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 69 70 75 81 82 87 89 90 97 101 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 17 22 24 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 69 70 75 81 82 87 89 90 101 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 17 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 69 75 81 82 87 89 90 101 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 17 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 101 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 17 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 152
a 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 17 21 22 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 17 21 22 24 26 30 31 32 33 37 38 39 41 42 43 45 48 54 55 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 17 21 22 24 26 30 31 32 33 37 38 39 42 43 45 48 54 55 58 59 60 64 66 67 75 81 82 87 89 90 97 101 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 17 21 22 24 30 31 32 33 37 38 39 42 43 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 97 101 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 17 19 21 22 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 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 17 19 21 22 24 30 31 32 33 37 38 39 42 43 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 97 101 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147
a 19 21 22 24 30 31 32 33 37 38 39 42 43 45 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 94 97 101 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147
a 19 21 22 24 30 31 32 33 37 38 39 42 43 45 48 55 58 59 60 64 66 67 70 75 81 82 87 89 90 94 97 101 102 104 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 19 21 22 24 30 31 32 33 37 38 39 42 43 48 55 58 59 60 64 66 67 70 75 81 82 87 89 90 94 97 101 102 104 108 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 19 21 22 24 30 31 32 33 37 38 39 42 43 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 94 97 101 102 104 108 110 114 119 120 121 125 128 129 133 135 137 139 140 142 145 146 147 152
a 19 21 22 24 30 31 32 33 37 38 39 41 42 43 48 54 55 58 59 60 64 66 67 70 75 81 82 87 89 90 94 97 101 102 104 108 110 114 119 120 121 125 128 129 133 135 137 139 140 142 145 146 152
a 19 21 22 24 30 31 32 33 37 38 39 41 42 43 48 54 55 58 59 60 64 66 67 70 75 81 82 87 90 94 97 101 102 104 108 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 152
a 19 21 22 24 30 31 32 33 37 38 39 41 42 43 48 54 55 58 59 60 64 66 67 70 75 81 82 87 90 94 97 101 102 104 108 110 114 118 119 120 121 125 128 129 133 135 137 139 140 142 145 146 156
a 18 19 21 22 24 30 31 32 33 37 38 39 41 42 43 48 54 55 58 59 60 64 66 67 70 75 81 82 87 90 94 97 101 102 104 108 110 114 118 119 120 121 125 128 129 133 135 139 140 142 145 146 156
a 18 19 21 22 24 30 31 32 33 37 38 39 41 42 43 48 54 55 58 59 60 64 66 67 70 75 81 82 87 90 94 97 101 102 104 108 110 111 114 118 119 120 121 125 128 129 133 135 139 140 142 146 156
a 4 18 19 21 22 24 30 31 32 33 37 38 39 41 42 43 48 54 55 58 59 60 64 66 67 70 75 81 82 87 90 94 97 101 102 104 108 110 111 114 118 119 120 121 125 129 133 135 139 140 142 146 156
a 4 8 18 19 21 22 24 30 31 32 33 37 38 39 41 42 43 48 54 55 58 59 60 64 66 67 70 75 81 82 87 90 94 97 101 102 104 108 110 111 114 118 119 120 121 125 129 133 135 140 142 146 156
a 4 8 16 18 19 22 24 30 31 32 33 37 38 39 41 42 43 48 54 55 58 59 60 64 66 67 70 75 81 82 87 90 94 97 101 102 104 108 110 111 114 118 119 120 121 125 129 133 135 140 142 146 156
a 4 8 16 18 19 22 24 30 31 32 33 37 38 39 41 42 43 48 54 55 58 59 60 64 66 67 70 75 81 82 87 90 94 97 101 102 104 108 110 111 114 118 119 121 125 129 133 135 140 142 146 148 156
a 4 8 16 18 19 22 24 30 31 32 33 37 38 39 41 42 43 48 54 55 58 59 60 64 66 67 70 75 79 81 82 90 94 97 101 102 104 108 110 111 114 118 119 121 125 129 133 135 140 142 146 148 156
a 4 8 16 18 19 22 24 30 31 32 33 37 38 39 41 42 43 48 55 58 59 60 64 66 67 70 75 79 81 82 90 94 97 101 102 104 108 110 111 114 118 119 121 125 129 133 135 136 140 142 146 148 156
a 4 8 16 18 19 22 24 30 31 32 33 37 38 39 41 42 43 48 55 58 59 60 64 66 67 69 70 75 79 81 82 90 94 97 101 102 104 110 111 114 118 119 121 125 129 133 135 136 140 142 146 148 156
a 4 8 16 18 19 22 24 30 31 32 33 37 38 39 41 42 43 48 55 58 59 60 64 66 67 69 70 75 79 81 82 90 97 101 102 104 110 111 114 118 119 121 125 129 133 135 136 138 140 142 146 148 156
a 4 8 12 16 18 19 22 24 30 31 32 33 37 38 39 41 42 43 48 55 58 59 60 64 66 67 69 70 75 79 81 82 90 97 101 102 104 111 114 118 119 121 125 129 133 135 136 138 140 142 146 148 156
a 4 8 12 16 18 19 22 24 26 30 31 32 33 37 38 39 41 42 43 48 55 58 59 60 64 66 67 69 75 79 81 82 90 97 101 102 104 111 114 118 119 121 125 129 133 135 136 138 140 142 146 148 156
a 4 8 12 16 18 19 22 24 26 30 31 32 33 37 38 39 41 42 43 48 55 58 59 60 64 66 67 69 75 79 81 82 90 97 101 102 104 111 114 118 119 121 129 133 135 136 138 140 142 143 146 148 156
a 1 4 8 12 16 18 19 22 24 26 30 31 33 37 38 39 41 42 43 48 55 58 59 60 64 66 67 69 75 79 81 82 90 97 101 102 104 111 114 118 119 121 129 133 135 136 138 140 142 143 146 148 156
a 1 4 8 12 16 18 19 22 24 26 30 31 37 38 39 41 42 43 48 55 58 59 60 64 66 67 69 75 79 81 82 90 97 101 102 104 111 114 118 119 121 129 133 135 136 138 140 142 143 146 148 153 156
a 1 4 8 12 16 18 19 22 24 26 30 31 37 39 41 42 43 48 55 58 59 60 64 66 67 69 75 79 81 82 90 97 99 101 102 104 111 114 118 119 121 129 133 135 136 138 140 142 143 146 148 153 156
a 1 4 8 12 16 18 19 22 24 26 30 31 37 39 41 42 43 48 55 58 59 60 64 66 69 75 79 81 82 90 97 99 101 102 104 109 111 114 118 119 121 129 133 135 136 138 140 142 143 146 148 153 156
a 1 4 8 12 16 18 19 22 24 26 30 31 35 37 39 41 42 43 48 55 58 59 60 66 69 75 79 81 82 90 97 99 101 102 104 109 111 114 118 119 121 129 133 135 136 138 140 142 143 146 148 153 156
a 1 4 8 12 16 18 19 22 24 26 30 31 35 37 39 41 42 43 48 55 58 59 60 66 69 75 79 81 82 90 95 97 99 101 102 104 109 111 114 118 119 121 133 135 136 138 140 142 143 146 148 153 156
a 1 4 8 12 16 18 19 22 24 26 30 31 35 37 39 41 42 43 48 55 58 59 60 66 68 69 75 79 81 82 95 97 99 101 102 104 109 111 114 118 119 121 133 135 136 138 140 142 143 146 148 153 156
a 1 4 8 12 16 18 19 22 24 26 30 31 35 37 39 41 42 43 48 55 58 59 60 66 68 69 75 79 81 82 88 95 97 99 101 102 104 109 111 114 118 119 121 133 135 136 138 140 143 146 148 153 156
a 1 4 8 12 16 18 19 22 24 26 30 31 35 37 39 41 42 43 48 58 59 60 66 68 69 75 79 81 82 88 95 97 99 101 102 104 109 111 114 118 119 121 122 133 135 136 138 140 143 146 148 153 156
a 1 4 8 12 16 18 19 22 24 26 30 31 35 37 39 41 42 48 49 58 59 60 66 68 69 75 79 81 82 88 95 97 99 101 102 104 109 111 114 118 119 121 122 133 135 136 138 140 143 146 148 153 156
a 1 4 8 12 16 18 19 22 24 26 30 31 35 37 39 41 42 48 49 58 59 60 66 68 69 75 79 81 82 88 95 97 99 101 102 104 109 111 114 118 121 122 130 133 135 136 138 140 143 146 148 153 156
a 1 4 8 12 16 18 19 22 24 26 30 31 35 37 39 41 48 49 58 59 60 66 68 69 75 79 81 82 88 95 97 99 101 102 104 109 111 114 118 121 122 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 31 35 37 39 41 48 49 58 59 60 66 68 69 75 79 81 82 88 95 97 99 101 104 109 111 114 118 121 122 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 31 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 121 122 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 31 35 37 39 41 49 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 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: 241
#END: [Tue Sep 26 06:36:16 2023]