#BEGIN: [Mon Sep  4 17:11:06 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance013_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance013_graph005_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance013_graph005.col /benchmark/random_instance/random_instance013_graph005_01.dat
c /benchmark/random_instance/random_instance013_graph005.col
c /benchmark/random_instance/random_instance013_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID 095188bfb81ce152105a352d0a9163c20e2790e32fa32c68560955c1efc8f406
s 46 134 92 73 7 59 43 84 137 34 32 149 130 79 5 54 75 15 145 150 157 78 99 101 13 26 12 44 31 52 141 3 93 71 107 109 120 135 161 115 103 128 126 163 138 105 146 89 147 65 33 142 90
t 69 32 21 151 144 100 39 51 134 12 50 37 10 5 155 83 129 35 121 79 105 133 108 47 54 34 114 57 60 143 15 150 99 132 26 136 107 38 85 13 3 23 161 81 89 63 41 148 91 18 119 137 160
a YES
a 3 5 7 12 13 15 26 31 32 33 34 43 44 46 52 54 59 65 71 73 75 78 79 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163
a 3 5 7 12 13 15 21 26 32 33 34 43 44 46 52 54 59 65 71 73 75 78 79 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163
a 3 5 7 12 13 15 21 26 32 33 34 43 44 46 52 54 59 65 71 73 75 78 79 84 89 90 92 93 99 102 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163
a 3 5 7 12 13 15 21 26 32 33 34 43 44 46 52 54 59 65 71 73 75 78 79 84 89 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 134 135 137 138 142 145 146 147 149 150 157 161 163
a 3 5 7 12 13 15 21 26 32 33 34 43 44 46 52 54 59 65 73 75 78 79 84 89 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 134 135 137 138 142 145 146 147 148 149 150 157 161 163
a 3 5 7 12 13 15 21 26 32 33 34 43 44 46 52 54 59 65 73 75 78 79 84 89 90 92 93 99 102 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 148 149 150 157 161 163
a 3 5 7 12 13 15 21 26 32 33 34 43 44 46 52 54 59 65 73 75 78 79 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 148 149 150 157 161 163
a 3 7 12 13 15 21 26 32 33 34 43 44 46 52 54 59 65 73 75 78 79 84 89 90 92 93 99 101 103 105 106 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 148 149 150 157 161 163
a 3 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 59 65 73 75 79 84 89 90 92 93 99 101 103 105 106 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 148 149 150 157 161 163
a 3 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 59 65 73 75 79 84 89 90 92 93 99 101 103 105 106 107 109 115 120 126 128 129 130 134 135 137 138 142 145 146 147 148 149 150 157 161 163
a 3 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 59 65 73 75 79 84 89 90 92 93 99 101 103 105 106 107 109 115 117 120 126 128 130 134 135 137 138 142 145 146 147 148 149 150 157 161 163
a 3 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 59 65 73 75 79 84 89 90 92 93 99 101 103 105 107 109 115 117 120 126 128 130 134 135 137 138 142 145 146 147 148 149 150 157 161 163
a 3 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 59 65 73 75 79 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 129 130 134 135 137 138 142 145 146 147 148 149 150 157 161 163
a 3 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 59 65 73 75 79 84 90 92 93 99 101 103 105 107 109 115 120 126 128 129 130 134 135 137 138 142 143 145 146 147 148 149 150 157 161 163
a 3 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 59 65 73 75 79 84 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 134 135 137 138 142 143 145 146 147 148 149 150 157 161 163
a 3 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 65 73 75 79 84 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 133 134 135 137 138 142 143 145 146 147 148 149 150 157 161 163
a 3 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 65 73 75 79 84 90 92 93 94 102 103 105 107 109 115 120 126 128 129 130 133 134 135 137 138 142 143 145 146 147 148 149 150 157 161 163
a 3 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 57 65 73 75 79 84 90 92 93 94 102 103 105 107 109 115 120 126 128 129 130 133 134 135 137 138 142 143 145 146 147 148 149 150 157 161 163
a 3 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 57 65 73 75 79 84 90 92 93 94 102 103 105 107 109 115 120 126 128 129 130 133 134 135 137 138 142 143 145 146 147 148 149 150 157 161
a 3 5 7 13 15 21 23 26 32 33 34 43 44 46 52 54 57 65 73 75 79 84 90 92 93 94 102 103 105 107 109 115 120 126 128 129 130 133 134 135 137 138 142 143 145 146 147 148 149 150 157 161 163
a 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 57 65 73 75 79 84 90 92 93 94 102 103 105 107 109 115 120 126 128 129 130 133 134 135 137 138 142 143 145 146 147 148 149 150 157 161 163
a 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 57 65 73 75 79 84 90 92 93 94 102 103 105 107 109 115 117 120 126 128 130 133 134 135 137 138 142 143 145 146 147 148 149 150 157 161 163
a 5 7 12 13 15 21 23 26 32 33 34 38 43 44 46 52 54 57 65 73 75 79 84 90 92 93 94 102 103 105 107 109 115 117 120 126 128 130 133 134 135 137 138 142 143 145 146 147 148 149 150 161 163
a 7 12 13 15 21 23 26 32 33 34 38 43 44 46 52 54 57 65 73 75 79 84 90 92 93 94 102 103 105 107 109 115 117 120 126 128 130 133 134 135 136 137 138 142 143 145 146 147 148 149 150 161 163
a 5 7 12 13 21 23 26 32 33 34 38 43 44 46 52 54 57 65 73 75 79 84 90 92 93 94 102 103 105 107 109 115 117 120 126 128 130 133 134 135 136 137 138 142 143 145 146 147 148 149 150 161 163
a 5 7 12 13 15 21 23 26 32 33 34 38 43 44 46 52 54 57 65 73 75 79 84 90 92 93 94 102 103 105 107 109 115 117 120 126 128 130 133 134 135 136 137 138 142 143 145 146 147 148 149 150 161
a 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 57 65 73 75 79 84 90 92 93 94 102 103 105 107 109 115 117 120 126 128 130 133 134 135 136 137 138 142 143 145 146 147 148 149 150 157 161
a 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 57 65 73 75 79 84 90 92 93 94 102 105 107 109 115 117 120 121 126 128 130 133 134 135 136 137 138 142 143 145 146 147 148 149 150 157 161
a 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 57 65 73 75 79 84 90 92 93 94 102 105 107 109 115 117 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 149 150 157 161
a 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 57 65 73 75 79 84 90 92 93 94 102 103 105 107 109 115 117 120 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 149 150 157 161
a 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 57 65 73 75 79 82 84 90 92 93 94 102 103 105 107 109 115 117 120 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 150 157 161
a 5 7 12 13 15 23 26 31 32 33 34 43 44 46 52 54 57 65 73 75 79 82 84 90 92 93 94 102 103 105 107 109 115 117 120 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 150 157 161
a 5 7 12 13 15 23 26 31 32 33 34 43 44 46 52 54 57 65 73 75 79 82 84 90 92 93 94 102 103 105 107 109 115 117 120 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 157 161 163
a 5 7 12 13 15 23 26 31 32 33 34 43 46 52 54 57 65 73 75 79 82 84 90 92 93 94 102 103 105 107 109 115 116 117 120 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 157 161 163
a 5 7 12 13 15 23 26 31 32 33 34 43 46 52 54 57 65 73 75 79 82 84 90 92 93 94 102 103 105 109 115 116 117 119 120 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 157 161 163
a 5 7 12 13 15 23 26 31 32 33 34 43 46 52 54 57 65 73 75 79 82 84 90 92 93 94 102 103 105 107 109 115 116 117 119 120 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 157 163
a 5 7 12 13 15 23 26 31 32 33 34 43 46 52 54 57 65 73 75 79 82 84 90 92 93 94 102 103 105 107 109 115 116 117 119 120 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 150 163
a 3 5 7 12 13 15 23 26 31 32 33 34 43 46 52 54 57 65 73 75 79 82 84 90 92 93 94 102 103 105 107 109 115 116 117 119 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 150 163
a 3 5 7 12 13 15 23 26 31 32 33 34 43 46 52 54 57 65 67 73 75 79 82 84 90 93 94 102 103 105 107 109 115 116 117 119 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 150 163
a 5 7 12 13 15 23 26 31 32 33 34 43 46 52 54 57 65 67 73 75 79 82 84 90 92 93 94 102 103 105 107 109 115 116 117 119 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 150 163
a 7 12 13 15 23 26 31 32 33 34 43 46 52 54 57 65 67 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 150 163
a 7 9 12 13 15 23 26 31 32 33 34 43 46 52 54 57 65 67 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 138 141 142 145 146 148 149 150 163
a 7 9 12 13 15 22 23 26 31 32 33 34 43 46 52 54 57 65 67 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 138 141 142 145 146 148 149 150
a 7 9 12 13 15 22 23 26 31 32 33 34 38 43 46 52 54 57 65 67 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 138 141 142 145 146 148 149
a 7 9 12 13 15 22 23 26 31 32 33 34 38 43 46 52 54 57 65 67 73 75 79 82 84 90 92 93 99 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 138 141 142 145 146 148 149
a 3 7 9 12 13 15 22 23 26 31 32 33 34 38 43 46 52 54 57 65 67 73 75 79 82 84 90 92 93 99 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 138 141 142 146 148 149
a 7 9 12 13 15 22 23 26 31 32 33 34 38 43 46 52 54 57 65 67 73 75 79 82 84 90 92 93 99 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 138 141 142 146 147 148 149
a 9 12 13 15 22 23 26 31 32 33 34 38 43 46 52 54 57 65 67 73 75 79 82 84 90 92 93 99 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149
a 9 12 13 15 22 23 26 29 31 32 33 34 38 43 46 52 54 57 65 67 73 75 79 82 84 90 92 93 99 102 103 105 106 107 109 115 116 117 119 128 130 133 134 135 136 138 141 142 145 146 147 148 149
a 9 12 13 15 23 26 29 31 32 33 34 38 43 46 52 54 57 65 67 73 75 79 82 84 90 92 93 99 102 103 105 106 107 109 115 116 117 119 128 130 133 134 135 136 138 141 142 145 146 147 148 149 163
a 9 12 13 15 23 26 29 31 32 33 34 38 43 46 52 54 57 65 67 73 75 79 82 84 90 92 93 99 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 138 141 142 145 147 148 149 163
a 9 12 13 15 23 26 29 31 32 33 34 38 43 46 52 54 57 65 67 73 75 79 84 90 92 93 99 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 137 138 141 142 145 147 148 149 163
a 9 12 13 15 23 26 29 31 32 33 34 38 43 46 52 54 57 65 67 73 75 79 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 137 138 141 142 145 147 148 149 163
a 9 12 13 15 23 26 29 31 32 33 34 38 43 46 52 54 57 63 65 73 75 79 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 137 138 141 142 145 147 148 149 163
a 9 12 13 15 22 23 26 29 31 32 33 34 38 43 46 52 54 57 63 65 73 75 79 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 137 138 141 142 145 147 148 149
a 9 13 15 22 23 26 29 31 32 33 34 38 43 46 52 54 57 63 65 73 75 79 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 149
a 9 15 22 23 26 29 31 32 33 34 38 43 46 52 54 57 63 65 73 75 79 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 149 164
a 9 15 22 23 26 29 31 32 33 34 38 43 46 52 54 57 63 65 73 75 79 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 149 161
a 9 15 22 23 26 29 31 32 33 34 38 43 46 52 54 57 63 65 73 75 79 84 90 92 93 94 102 103 105 106 107 109 115 117 119 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 149 161 164
a 9 15 22 23 26 29 31 32 33 34 38 43 46 52 54 57 63 65 73 75 79 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 136 137 138 141 142 145 146 147 148 149 161 164
a 9 15 22 23 26 29 31 32 33 34 43 46 52 54 57 63 65 73 75 79 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 136 137 138 141 142 145 146 147 148 149 157 161 164
a 15 22 23 26 29 31 32 33 34 43 46 52 54 57 63 65 73 75 79 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 149 157 161 164
a 15 22 23 26 29 31 32 33 34 43 46 52 54 57 63 65 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 157 161 164
a 9 15 22 23 26 29 31 32 34 43 46 52 54 57 63 65 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 157 161 164
a 7 9 15 22 23 26 29 31 32 34 43 46 52 54 57 63 65 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 157 164
a 7 15 22 23 26 29 31 32 34 43 46 52 54 57 63 65 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 120 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 157 164
a 15 22 23 26 29 31 32 33 34 43 46 52 54 57 63 65 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 120 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 157 164
a 15 22 23 26 29 31 32 33 34 43 46 52 54 57 63 65 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 120 126 128 130 133 134 135 136 138 141 142 145 146 148 149 157 161 164
a 15 22 23 26 29 31 32 33 34 38 43 46 52 54 57 63 65 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 120 126 128 130 133 134 135 136 138 141 142 145 146 148 149 161 164
a 7 15 22 23 26 29 31 32 33 34 38 43 46 52 54 57 63 65 73 75 79 82 84 90 92 93 94 102 103 105 107 109 115 116 117 119 120 126 128 130 133 134 135 136 138 141 142 145 146 148 149 161 164
a 7 15 22 23 26 29 31 32 33 34 38 43 46 52 54 57 63 65 73 75 79 82 84 90 92 93 94 102 103 105 107 109 115 116 117 119 120 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 161
a 7 15 22 23 26 29 31 32 33 34 38 43 46 52 54 57 63 65 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 120 126 128 130 133 134 135 136 138 141 142 145 146 148 149 161
a 7 13 15 22 23 26 29 31 32 33 34 38 43 46 52 54 57 63 65 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 120 126 128 130 133 134 135 136 141 142 145 146 148 149 161
a 7 12 13 15 22 23 26 29 31 32 33 34 38 43 46 52 54 63 65 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 120 126 128 130 133 134 135 136 141 142 145 146 148 149 161
a 12 13 15 22 23 26 29 31 32 33 34 38 43 46 52 54 57 63 65 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 120 126 128 130 133 134 135 136 141 142 145 146 148 149 161
a 12 13 15 21 22 23 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 120 126 128 130 133 134 135 136 141 142 145 146 148 149 161
a 12 15 21 22 23 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 79 82 84 90 92 93 94 102 103 105 106 107 109 115 116 117 119 120 126 128 130 133 134 135 136 141 142 145 146 147 148 149 161
a 12 15 21 22 23 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 79 82 84 90 92 93 94 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 141 142 145 146 147 148 149 161
a 15 21 22 23 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 79 82 84 90 92 93 94 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 161
a 15 21 22 23 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 79 82 84 90 93 94 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 161
a 12 15 21 22 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 79 82 84 90 93 94 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 161
a 12 15 21 22 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 82 84 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 161
a 12 21 22 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 82 84 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 161 162
a 12 15 21 22 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 82 84 90 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 161 162
a 12 15 21 22 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 82 84 88 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 161 162
a 12 15 21 22 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 82 84 88 90 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 161
a 12 15 21 22 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 82 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149
a 12 21 22 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 82 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 162
a 21 22 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 82 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 161 162
a 12 21 22 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 82 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 161 162
a 21 22 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 82 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 161 162 164
a 21 22 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 82 84 88 90 93 94 95 102 105 106 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 161 162 164
a 22 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 82 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 161 162 164
a 15 22 25 26 29 32 34 38 43 46 52 54 57 63 65 73 75 82 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 161 162 164
a 13 15 22 25 26 29 32 34 38 43 46 52 54 57 63 65 73 75 82 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 161 164
a 15 21 22 25 26 29 32 34 38 43 46 52 54 57 63 65 73 75 82 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 161 164
a 15 21 22 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 82 84 88 90 93 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 149 161 164
a 15 21 22 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 84 88 90 93 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 149 161 164
a 15 21 22 25 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 149 161
a 15 21 22 25 26 29 32 33 34 38 43 46 52 54 57 63 73 75 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 149 161 162
a 15 21 22 26 29 32 33 34 38 43 46 52 54 57 63 65 73 75 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 149 161 162
a 15 21 22 26 29 32 33 34 38 43 46 52 54 57 63 73 75 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 149 161 162 164
a 15 21 22 26 29 32 33 34 38 43 46 52 54 57 63 70 75 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 149 161 162 164
a 15 21 22 26 29 32 33 34 38 43 46 52 54 57 63 65 70 75 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 149 161 162
a 15 21 22 26 29 32 33 34 38 43 46 52 54 56 57 63 65 70 75 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 161 162
a 15 21 25 26 29 32 33 34 38 43 46 52 54 56 57 63 65 70 75 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 161 162
a 15 21 22 25 26 29 32 33 34 38 43 46 52 54 56 57 63 65 70 75 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 161
a 15 21 22 25 26 29 32 33 34 38 43 46 52 54 56 57 63 65 70 75 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 136 137 138 141 142 145 146 147 148 161 164
a 15 21 22 26 29 32 33 34 38 43 46 52 54 56 57 63 65 70 75 84 88 90 93 94 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 161 164
a 7 15 21 22 26 29 32 33 34 38 43 46 52 54 56 57 63 65 70 75 84 88 90 93 95 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 161 164
a 7 15 21 22 26 29 32 33 34 38 43 46 52 54 56 57 63 65 70 75 88 90 93 95 97 102 105 106 107 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 161 164
a 7 15 21 22 26 29 32 33 34 38 43 46 52 54 56 57 63 65 70 75 88 90 93 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 161
a 15 21 22 26 29 32 33 34 38 43 46 52 54 56 57 63 65 70 75 88 90 93 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 161 164
a 15 21 22 26 29 32 33 34 38 43 46 52 54 56 57 63 65 70 75 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 161
a 15 21 22 26 29 32 33 34 38 43 46 52 54 56 57 63 65 70 75 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 164
a 21 22 26 29 32 33 34 38 43 46 52 54 55 56 57 63 65 70 75 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 164
a 21 26 29 32 33 34 38 43 46 52 54 55 56 57 63 65 70 75 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 164
a 21 26 29 32 34 38 43 46 52 54 55 56 57 63 65 70 75 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 161 164
a 21 22 26 29 32 34 38 43 46 52 54 55 56 57 63 65 70 75 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 161
a 21 22 26 29 32 33 34 38 43 46 52 54 55 56 57 63 65 70 75 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 141 142 145 146 147 148 161
a 21 22 26 29 32 33 34 38 43 46 52 54 55 56 57 63 65 70 75 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 133 135 136 137 138 141 142 145 146 147 148 161
a 21 22 26 29 32 33 34 38 43 46 52 54 55 56 57 63 65 70 75 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 133 134 135 136 138 141 142 145 146 147 148 161
a 22 26 29 32 33 34 38 43 46 52 54 55 56 57 63 65 70 75 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 133 134 135 136 137 138 141 142 145 146 147 148 161
a 22 26 29 32 33 34 38 43 45 46 52 54 55 56 57 63 65 70 75 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 133 134 135 137 138 141 142 145 146 147 148 161
a 22 26 29 32 33 34 38 43 45 46 52 54 55 56 57 63 65 70 75 80 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 134 135 137 138 141 142 145 146 147 148 161
a 21 22 29 32 33 34 38 43 45 46 52 54 55 56 57 63 65 70 75 80 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 134 135 137 138 141 142 145 146 147 148 161
a 21 22 29 32 33 34 43 45 46 52 54 55 56 57 63 65 70 75 78 80 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 134 135 137 138 141 142 145 146 147 148 161
a 7 22 29 32 33 34 43 45 46 52 54 55 56 57 63 65 70 75 78 80 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 134 135 137 138 141 142 145 146 147 148 161
a 7 26 29 32 33 34 43 45 46 52 54 55 56 57 63 65 70 75 78 80 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 134 135 137 138 141 142 145 146 147 148 161
a 22 26 29 32 33 34 43 45 46 52 54 55 56 57 63 65 70 75 78 80 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 134 135 137 138 141 142 145 146 147 148 161
a 22 26 29 32 33 34 43 45 46 52 54 55 56 57 63 65 70 75 78 80 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 134 135 137 138 141 142 146 147 148 161 164
a 26 29 32 33 34 43 45 46 52 54 55 56 57 63 65 70 75 78 80 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 134 135 137 138 141 142 145 146 147 148 161 164
a 7 26 29 32 33 34 43 45 46 52 54 55 56 57 63 65 70 75 78 80 81 88 90 93 94 95 97 102 105 107 108 109 115 116 117 119 120 121 126 128 130 134 135 137 138 141 142 145 146 147 148 161 164
a 7 26 29 32 33 34 43 45 46 52 54 55 56 57 63 65 70 75 78 80 81 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 134 135 137 138 141 142 145 146 147 148 164
a 7 25 26 29 32 33 34 43 45 46 52 54 55 56 57 63 65 70 75 78 80 88 90 93 94 95 97 102 105 106 107 108 109 115 116 117 119 120 121 126 128 130 134 135 137 138 141 142 145 146 147 148 164
a 7 22 25 26 29 32 33 34 43 45 46 52 54 55 56 57 63 65 70 75 78 80 88 90 93 94 95 97 102 106 107 108 109 115 116 117 119 120 121 126 128 130 134 135 137 138 141 142 145 146 147 148 164
a 7 22 25 26 29 32 33 34 43 45 46 52 54 55 56 57 63 65 70 75 78 80 81 88 90 93 94 95 97 102 106 107 108 109 115 116 117 119 120 121 126 128 130 134 135 137 138 141 142 145 146 147 164
a 7 22 25 26 29 32 33 34 43 45 46 52 54 55 56 57 63 65 70 75 78 80 81 88 90 93 94 95 97 102 106 107 108 109 110 115 116 117 119 120 121 126 128 130 135 137 138 141 142 145 146 147 164
a 7 22 25 26 29 32 33 34 43 45 46 52 54 55 56 57 63 65 70 75 78 80 81 88 90 93 94 95 97 102 106 107 108 109 110 113 115 116 117 119 121 126 128 130 135 137 138 141 142 145 146 147 164
a 7 22 25 26 29 32 33 34 43 45 46 52 54 55 56 57 63 65 70 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 113 115 116 117 119 121 126 128 130 135 137 138 141 142 145 146 147 164
a 7 13 22 25 26 29 32 33 34 43 45 46 52 54 55 56 57 63 65 70 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 113 115 116 117 119 121 126 128 130 135 137 138 141 142 145 147 164
a 7 13 22 25 26 29 32 33 34 43 45 46 52 54 55 56 57 59 63 65 70 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 113 115 116 117 119 121 126 128 130 135 137 138 141 142 145 147
a 7 13 22 25 26 29 32 33 34 43 45 46 52 54 55 56 57 59 63 65 70 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 113 115 116 117 119 121 126 128 130 135 137 138 141 142 147 159
a 7 13 22 25 26 29 32 33 34 43 45 46 52 54 55 56 57 59 63 65 69 70 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 113 115 116 117 119 121 126 128 130 135 137 138 141 147 159
a 7 13 22 25 26 27 29 32 33 34 43 45 46 52 54 55 56 57 59 63 65 69 70 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 113 115 116 119 121 126 128 130 135 137 138 141 147 159
a 7 13 22 25 26 27 32 33 34 43 45 46 51 52 54 55 56 57 59 63 65 69 70 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 113 115 116 119 121 126 128 130 135 137 138 141 147 159
a 7 13 22 25 26 27 32 33 34 43 45 46 51 54 55 56 57 59 63 65 69 70 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 113 115 116 119 121 126 128 130 135 137 138 141 145 147 159
a 7 13 22 25 26 27 32 33 34 43 45 46 51 54 55 56 57 59 63 65 69 70 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 113 115 116 119 121 126 128 130 135 137 138 145 147 158 159
a 7 13 22 25 26 27 32 33 34 43 45 46 51 54 55 56 57 59 63 65 69 70 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 113 115 116 119 121 126 128 130 135 137 138 145 146 147 159
a 7 13 21 22 25 26 27 32 33 34 43 45 46 51 54 55 56 57 59 65 69 70 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 113 115 116 119 121 126 128 130 135 137 138 145 146 147 159
a 7 13 21 22 25 26 27 32 34 43 45 46 51 54 55 56 57 59 65 69 70 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 113 115 116 119 121 126 128 130 135 137 138 141 145 146 147 159
a 7 13 21 22 25 26 27 32 34 43 45 46 51 54 55 56 59 65 69 70 71 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 113 115 116 119 121 126 128 130 135 137 138 141 145 146 147 159
a 7 13 20 21 22 25 26 27 32 34 43 45 46 51 54 55 56 59 65 69 70 71 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 113 115 119 121 126 128 130 135 137 138 141 145 146 147 159
a 7 13 20 21 22 25 26 27 32 33 34 43 45 46 51 54 55 56 59 65 69 70 71 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 113 115 119 121 126 128 130 135 137 138 141 145 147 159
a 7 13 20 21 22 25 26 27 32 33 34 43 45 46 51 54 55 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 113 119 121 126 128 130 135 137 138 141 145 147 159
a 7 13 20 21 22 25 26 27 32 33 43 45 46 51 54 55 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 111 113 119 121 126 128 130 135 137 138 141 145 147 159
a 7 13 20 21 22 25 26 27 32 33 43 45 46 51 54 55 56 59 65 69 70 71 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 111 113 115 119 121 126 128 130 135 137 138 141 145 147 159
a 7 13 20 21 22 25 26 27 32 33 43 45 46 51 54 55 56 59 65 70 71 75 78 80 81 88 90 93 95 97 102 105 106 107 108 109 110 111 113 115 119 121 126 128 130 135 137 138 141 142 145 147 159
a 7 13 20 21 22 25 26 27 32 33 43 45 46 50 51 54 55 56 59 65 70 71 75 78 80 81 88 90 93 95 102 105 106 107 108 109 110 111 113 115 119 121 126 128 130 135 137 138 141 142 145 147 159
a 7 13 20 21 22 25 26 27 32 33 43 45 46 50 54 55 56 59 65 70 71 75 78 80 81 88 90 93 95 102 105 106 107 108 109 110 111 113 115 119 121 126 128 130 135 137 138 141 142 145 146 147 159
a 7 13 20 21 22 25 26 27 32 33 43 46 50 54 55 56 59 65 70 71 75 78 80 81 88 90 93 95 102 105 106 107 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 141 142 145 146 147 159
a 7 13 20 21 22 25 26 27 32 33 43 45 46 50 54 55 56 59 65 70 71 75 78 80 88 90 93 95 102 105 106 107 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 141 142 145 146 147 159
a 7 13 20 21 22 25 26 27 32 33 43 45 46 50 54 55 56 59 65 70 71 75 78 80 88 90 93 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 141 142 145 146 147 159
a 7 13 20 21 22 25 26 27 32 33 43 45 46 50 54 55 56 59 65 70 71 75 78 80 81 88 90 93 95 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 141 142 145 146 147 159
a 7 13 20 21 22 25 26 27 32 33 43 45 46 50 54 55 56 59 65 70 71 75 78 80 81 88 90 93 95 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 142 143 145 146 147 159
a 13 20 21 22 25 26 27 32 33 43 45 46 50 54 55 56 59 65 70 71 75 78 80 81 88 90 93 95 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 142 143 144 145 146 147 159
a 13 21 22 25 26 27 32 33 43 45 46 50 51 54 55 56 59 65 70 71 75 78 80 81 88 90 93 95 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 142 143 144 145 146 147 159
a 13 21 22 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 70 71 75 78 80 81 88 90 93 95 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 142 143 144 145 146 147
a 13 21 22 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 70 71 75 78 80 81 88 90 93 95 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 142 143 144 145 146 150
a 13 21 22 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 70 71 75 78 80 81 88 90 93 95 102 105 106 107 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 142 143 144 145 150
a 13 21 22 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 63 65 70 71 75 80 81 88 90 93 95 102 105 106 107 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 142 143 144 145 150
a 13 21 22 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 59 63 65 71 75 80 81 88 90 93 95 102 105 106 107 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 142 143 144 145 150
a 13 21 22 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 59 63 65 69 71 75 80 81 88 90 93 95 102 105 106 107 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 143 144 145 150
a 13 21 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 59 63 65 69 71 75 80 81 88 90 91 93 95 102 105 106 107 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 143 144 145 150
a 13 21 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 59 63 65 69 71 75 80 81 88 90 91 93 95 99 102 105 106 107 108 109 110 111 115 116 119 121 126 128 130 135 137 138 143 144 145 150
a 13 21 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 59 63 65 69 71 75 80 81 88 90 91 93 95 99 102 105 106 107 108 109 110 115 116 119 121 126 128 130 135 137 138 143 144 145 150 161
a 13 21 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 59 63 65 69 71 75 80 81 88 90 91 93 95 99 102 105 106 107 108 109 110 115 119 121 126 128 129 130 135 137 138 143 144 145 150 161
a 13 21 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 59 63 65 69 71 75 80 81 88 90 91 93 95 99 100 102 105 106 107 108 109 110 115 119 121 126 128 129 130 135 137 143 144 145 150 161
a 13 21 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 57 59 63 65 69 75 80 81 88 90 91 93 95 99 100 102 105 106 107 108 109 110 115 119 121 126 128 129 130 135 137 143 144 145 150 161
a 13 21 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 57 59 63 65 69 80 81 85 88 90 91 93 95 99 100 102 105 106 107 108 109 110 115 119 121 126 128 129 130 135 137 143 144 145 150 161
a 12 13 21 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 57 59 63 65 69 80 81 85 88 90 91 93 95 99 100 105 106 107 108 109 110 115 119 121 126 128 129 130 135 137 143 144 145 150 161
a 12 13 21 23 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 57 59 63 65 69 80 81 85 90 91 93 95 99 100 105 106 107 108 109 110 115 119 121 126 128 129 130 135 137 143 144 145 150 161
a 12 13 21 23 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 57 59 63 65 69 79 80 81 85 90 91 93 99 100 105 106 107 108 109 110 115 119 121 126 128 129 130 135 137 143 144 145 150 161
a 3 12 13 21 23 25 26 27 32 33 34 38 43 45 46 50 51 54 55 57 59 63 65 69 79 80 81 85 90 91 93 99 100 105 106 107 108 109 110 115 119 121 126 128 129 130 135 137 143 144 145 150 161
a 3 12 13 15 21 23 25 26 27 32 33 34 38 43 45 46 50 51 54 57 59 63 65 69 79 80 81 85 90 91 93 99 100 105 106 107 108 109 110 115 119 121 126 128 129 130 135 137 143 144 145 150 161
a 3 12 13 15 21 23 25 26 27 32 33 34 38 43 45 46 50 51 54 57 59 63 65 69 79 80 81 85 90 91 93 99 100 105 106 107 108 109 110 115 119 121 126 128 129 130 135 137 143 144 150 160 161
a 3 12 13 15 21 23 26 27 32 33 34 38 43 45 46 50 51 54 57 59 63 65 69 79 80 81 85 90 91 93 99 100 105 106 107 108 109 110 115 119 121 126 128 129 130 132 135 137 143 144 150 160 161
a 3 12 13 15 21 23 26 27 32 33 34 38 43 45 46 50 51 54 57 59 63 65 69 79 80 81 85 89 90 91 99 100 105 106 107 108 109 110 115 119 121 126 128 129 130 132 135 137 143 144 150 160 161
a 3 12 13 15 21 23 26 27 32 34 38 43 45 46 50 51 54 57 59 63 65 69 79 80 81 85 89 90 91 99 100 105 106 107 108 109 110 115 119 121 126 128 129 130 132 135 137 143 144 150 155 160 161
a 3 12 13 15 21 23 26 27 32 34 38 41 45 46 50 51 54 57 59 63 65 69 79 80 81 85 89 90 91 99 100 105 106 107 108 109 110 115 119 121 126 128 129 130 132 135 137 143 144 150 155 160 161
a 3 10 12 13 15 21 23 26 27 32 34 38 41 45 46 50 51 54 57 59 63 65 69 79 80 81 85 89 90 91 99 100 105 106 107 108 109 110 115 119 121 126 128 129 132 135 137 143 144 150 155 160 161
a 3 10 12 13 15 21 23 26 27 32 34 38 41 46 50 51 54 57 59 63 65 69 79 80 81 83 85 89 90 91 99 100 105 106 107 108 109 110 115 119 121 126 128 129 132 135 137 143 144 150 155 160 161
a 3 10 12 13 15 21 23 26 27 32 34 38 41 46 50 51 54 57 59 63 69 79 80 81 83 85 89 90 91 99 100 105 106 107 108 109 110 115 119 121 126 128 129 132 135 137 143 144 150 151 155 160 161
a 3 10 12 13 15 21 23 26 27 32 34 35 38 41 46 50 51 54 57 59 63 69 79 80 81 83 85 89 91 99 100 105 106 107 108 109 110 115 119 121 126 128 129 132 135 137 143 144 150 151 155 160 161
a 3 10 12 13 15 21 23 26 27 32 34 35 38 41 46 50 51 54 57 63 69 79 80 81 83 85 89 91 99 100 105 106 107 108 109 110 115 119 121 126 128 129 132 135 136 137 143 144 150 151 155 160 161
a 3 10 12 13 15 21 23 26 27 32 34 35 38 41 46 50 51 54 57 63 69 79 81 83 85 89 91 99 100 105 106 107 108 109 110 115 119 121 126 128 129 132 133 135 136 137 143 144 150 151 155 160 161
a 3 10 12 13 15 21 23 26 27 32 34 35 38 41 46 50 51 54 57 63 69 79 81 83 85 89 91 99 100 105 106 107 108 109 115 119 121 126 128 129 132 133 134 135 136 137 143 144 150 151 155 160 161
a 3 10 12 13 15 21 23 26 27 32 34 35 38 41 50 51 54 57 60 63 69 79 81 83 85 89 91 99 100 105 106 107 108 109 115 119 121 126 128 129 132 133 134 135 136 137 143 144 150 151 155 160 161
a 3 10 12 13 15 21 23 26 27 32 34 35 38 39 41 50 51 54 57 60 63 69 79 81 83 85 89 91 99 100 105 106 107 108 109 119 121 126 128 129 132 133 134 135 136 137 143 144 150 151 155 160 161
a 3 10 12 13 15 21 23 26 32 34 35 38 39 41 50 51 54 57 60 63 69 79 81 83 85 89 91 99 100 105 106 107 108 109 119 121 126 128 129 132 133 134 135 136 137 143 144 148 150 151 155 160 161
a 3 5 10 12 13 15 21 23 26 32 34 35 38 39 41 50 51 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 109 119 121 126 128 129 132 133 134 135 136 137 143 144 148 150 151 155 160 161
a 3 5 10 12 13 15 21 23 26 32 34 35 38 39 41 47 50 51 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 109 119 121 128 129 132 133 134 135 136 137 143 144 148 150 151 155 160 161
a 3 5 10 12 13 15 21 23 26 32 34 35 37 38 39 41 47 50 51 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 119 121 128 129 132 133 134 135 136 137 143 144 148 150 151 155 160 161
a 3 5 10 12 13 15 18 21 23 26 32 34 35 37 38 39 41 47 50 51 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 119 121 129 132 133 134 135 136 137 143 144 148 150 151 155 160 161
a 3 5 10 12 13 15 18 21 23 26 32 34 35 37 38 39 41 47 50 51 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 114 119 121 129 132 133 134 136 137 143 144 148 150 151 155 160 161
c Step: 204
#END: [Mon Sep  4 17:41:07 2023]