#BEGIN: [Tue Sep  5 07:24:38 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance013_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance013_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance013_graph001.col /benchmark/random_instance/random_instance013_graph001_01.dat
c /benchmark/random_instance/random_instance013_graph001.col
c /benchmark/random_instance/random_instance013_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 1ba2b1ff3e74e5be189a53f1a57146a0a37f77316932e1574a656b1a8ead21a6
s 145 149 29 102 77 148 159 111 16 129 100 27 8 101 162 95 140 40 168 83 52 115 80 59 113 119 87 49 128 78 120 147 130 21 91 12 107 45 28 105 66 69 47 35 55 118 126 154 139 158 44 15 18
t 60 87 151 125 152 156 130 55 77 158 123 9 73 161 84 121 51 67 112 21 95 12 76 13 128 159 63 139 80 114 54 45 111 85 81 58 169 62 17 28 146 49 155 89 75 7 40 140 166 104 164 162 109
a YES
a 8 12 15 16 18 21 27 28 29 35 40 44 45 47 49 52 55 59 66 69 77 78 80 83 87 91 95 100 101 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 154 158 159 162 168
a 8 12 15 16 18 21 27 28 29 35 40 44 45 47 49 52 55 59 66 69 77 78 80 83 87 91 95 100 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 151 154 158 159 162 168
a 8 12 15 16 18 21 27 28 29 35 40 44 45 47 49 52 55 59 66 69 77 78 80 83 91 95 100 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 151 154 158 159 162 163 168
a 8 12 15 16 18 21 27 28 29 35 40 44 45 47 49 50 52 55 59 66 69 77 78 80 83 91 95 100 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 151 154 158 162 163 168
a 8 12 15 16 18 21 27 28 29 35 40 44 45 47 49 50 52 55 66 68 69 77 78 80 83 91 95 100 102 105 107 111 113 115 118 119 120 126 128 129 130 139 140 145 147 148 149 151 154 158 162 163 168
a 8 12 15 16 18 21 27 28 29 35 40 44 45 47 49 50 52 55 66 68 69 77 78 80 83 91 95 100 102 105 106 107 111 113 115 118 119 120 126 128 129 130 139 140 145 148 149 151 154 158 162 163 168
a 8 12 15 16 18 21 27 28 29 35 44 45 47 49 50 52 55 66 68 69 77 78 80 83 91 95 100 102 103 105 106 107 111 113 115 118 119 120 126 128 129 130 139 140 145 148 149 151 154 158 162 163 168
a 8 12 15 16 18 21 27 28 29 35 44 45 47 49 52 55 66 68 69 77 78 80 83 91 95 100 102 103 105 106 107 111 113 115 118 119 120 126 128 129 130 139 140 145 148 149 151 154 158 159 162 163 168
a 8 12 15 16 18 21 27 28 29 35 44 45 47 49 52 55 66 68 69 78 80 83 91 92 95 100 102 103 105 106 107 111 113 115 118 119 120 126 128 129 130 139 140 145 148 149 151 154 158 159 162 163 168
a 8 12 15 16 18 21 27 28 29 35 44 45 49 52 55 66 68 69 78 80 83 89 91 92 95 100 102 103 105 106 107 111 113 115 118 119 120 126 128 129 130 139 140 145 148 149 151 154 158 159 162 163 168
a 8 12 15 16 18 21 27 28 29 35 44 45 49 52 55 66 68 69 75 78 80 83 89 91 92 95 100 102 103 105 106 107 111 115 118 119 120 126 128 129 130 139 140 145 148 149 151 154 158 159 162 163 168
a 8 12 15 16 18 21 27 28 29 35 40 44 45 49 52 55 66 68 69 75 78 80 83 89 91 92 95 100 102 105 106 107 111 115 118 119 120 126 128 129 130 139 140 145 148 149 151 154 158 159 162 163 168
a 8 12 15 16 18 21 27 28 29 35 40 44 45 49 52 55 64 66 68 69 75 78 80 83 89 91 92 95 100 102 105 106 107 111 115 118 120 126 128 129 130 139 140 145 148 149 151 154 158 159 162 163 168
a 8 12 15 16 18 21 27 28 29 35 40 44 45 49 52 55 64 66 68 69 75 78 80 83 89 91 92 95 100 102 105 106 107 111 115 116 118 120 128 129 130 139 140 145 148 149 151 154 158 159 162 163 168
a 8 12 15 16 18 21 27 28 29 35 40 44 45 49 52 55 64 66 68 69 75 78 80 83 89 91 92 95 100 102 105 106 107 111 115 116 118 120 128 129 130 135 139 140 145 148 149 151 154 158 159 162 163
a 8 12 15 16 18 21 27 28 29 35 40 44 45 49 52 55 64 66 68 69 75 78 80 83 89 91 92 95 100 102 105 107 111 112 115 116 118 120 128 129 130 135 139 140 145 148 149 151 154 158 159 162 163
a 3 8 12 15 16 18 21 27 28 29 35 40 44 45 49 52 55 64 66 68 69 75 78 80 83 89 91 92 95 100 102 105 107 111 112 115 116 118 120 128 129 130 135 139 140 145 148 151 154 158 159 162 163
a 3 8 12 15 16 18 21 27 28 29 35 40 44 45 49 52 55 64 66 68 69 75 77 78 80 83 89 91 95 100 102 105 107 111 112 115 116 118 120 128 129 130 135 139 140 145 148 151 154 158 159 162 163
a 3 8 12 15 16 18 21 27 28 29 35 40 44 45 49 52 55 64 66 68 69 75 77 78 80 83 89 91 95 100 102 105 107 112 115 116 118 120 128 129 130 135 139 140 145 148 151 154 158 159 162 163 168
a 3 8 12 15 16 18 21 27 28 29 35 40 44 45 49 52 55 64 66 68 69 75 77 78 80 83 89 91 95 100 102 105 106 107 112 115 116 118 120 128 129 130 135 139 140 145 148 151 154 158 159 162 163
a 3 8 12 15 16 18 21 27 28 29 35 40 44 45 49 52 55 64 66 68 69 75 77 78 80 83 89 91 95 100 102 105 107 112 115 116 118 120 128 129 130 135 139 140 145 147 148 151 154 158 159 162 163
a 3 8 12 15 16 18 21 27 28 29 35 40 44 45 49 52 55 66 68 69 75 77 78 80 83 89 91 95 100 102 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 151 154 158 159 162 163
a 8 12 15 16 18 21 27 28 29 35 40 44 45 49 52 55 66 68 69 75 77 78 80 83 89 91 95 100 102 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 151 154 158 159 162 163
a 8 12 15 16 18 21 27 28 29 35 40 44 45 49 52 55 66 68 69 75 77 78 80 83 89 91 95 100 102 105 107 112 115 118 119 120 126 128 129 130 135 139 140 145 147 148 149 151 154 158 159 162 163
a 8 12 15 16 18 21 27 28 29 35 40 45 49 52 55 66 68 69 75 77 78 80 83 89 91 95 100 102 105 107 112 115 118 119 120 126 128 129 130 135 139 140 145 147 148 149 151 154 158 159 162 163 168
a 8 12 15 16 18 21 27 28 29 35 40 45 49 52 55 66 68 69 75 77 78 80 83 86 89 91 95 100 102 105 107 112 115 118 119 120 126 128 129 130 135 139 140 145 147 148 149 151 154 158 159 162 168
a 8 12 15 16 18 21 27 28 29 35 40 42 45 49 52 55 66 68 69 75 77 78 80 83 86 89 91 95 100 102 105 107 112 115 118 119 120 126 128 129 130 135 139 140 145 147 148 149 151 154 158 159 162
a 8 12 15 16 18 21 27 28 29 35 40 42 45 49 52 55 66 68 69 75 77 78 80 83 86 89 91 95 99 100 102 105 107 115 118 119 120 126 128 129 130 135 139 140 145 147 148 149 151 154 158 159 162
a 8 12 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 66 68 69 75 77 78 80 83 86 89 91 95 99 100 102 107 115 118 119 120 126 128 129 130 135 139 140 145 147 148 149 151 154 158 159 162
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 66 68 69 75 77 78 80 83 86 89 91 95 99 100 102 107 115 118 119 120 128 129 130 135 139 140 145 147 148 149 151 154 158 159 162
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 66 68 69 75 77 78 80 83 86 89 91 95 99 100 102 105 107 118 119 120 128 129 130 135 139 140 145 147 148 149 151 154 158 159 162
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 66 68 69 75 77 78 80 83 86 89 91 95 99 100 102 105 107 115 118 119 120 128 129 130 135 139 140 145 147 148 149 151 154 158 159
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 66 68 69 75 77 78 80 83 86 89 91 95 99 100 101 102 105 107 115 118 119 120 128 129 130 135 139 140 145 147 148 149 154 158 159
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 66 68 69 75 77 78 80 83 86 89 91 95 99 100 101 102 105 107 115 118 119 120 128 129 130 135 139 140 145 147 148 149 154 158 163
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 64 66 68 69 75 77 78 80 83 86 89 91 95 99 100 101 102 105 107 115 118 120 128 129 130 135 139 140 145 147 148 149 154 158 163
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 64 66 68 69 75 77 78 80 83 86 89 91 95 99 100 101 102 105 107 115 118 120 128 129 130 135 140 145 147 148 149 154 158 159 163
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 64 66 68 69 75 77 78 80 83 86 89 91 95 99 100 101 105 107 115 118 120 128 129 130 135 140 145 147 148 149 154 158 159 163 165
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 64 66 68 69 74 75 77 78 80 83 86 89 91 95 99 100 101 105 107 115 118 120 128 129 130 135 140 145 147 148 149 154 158 159 165
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 64 66 68 69 74 75 77 78 80 83 86 89 91 95 99 101 105 107 115 116 118 120 128 129 130 135 140 145 147 148 149 154 158 159 165
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 66 68 69 74 75 77 78 80 83 86 89 91 95 99 101 105 107 115 116 118 119 120 128 129 130 135 140 145 147 148 149 154 158 159 165
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 66 68 69 74 75 77 78 80 83 86 89 91 95 99 100 101 105 107 115 116 118 119 120 128 129 130 135 140 145 147 148 149 154 158 159
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 66 68 69 74 75 77 78 80 83 86 89 91 95 99 100 101 105 107 116 118 119 120 128 129 130 135 139 140 145 147 148 149 154 158 159
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 66 68 69 74 75 77 78 80 83 86 89 91 95 99 100 101 105 107 116 118 119 120 128 129 130 135 139 140 145 147 149 154 158 159 168
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 66 68 69 74 75 77 78 80 83 86 89 91 95 99 100 101 105 107 115 116 118 119 120 128 129 130 135 139 140 145 147 149 154 158 159
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 66 68 69 74 75 77 78 80 83 86 89 91 95 99 100 101 105 107 115 116 118 119 120 128 129 130 135 139 140 145 147 149 154 159 168
a 8 12 13 15 16 18 21 27 28 29 35 40 42 44 45 49 52 55 66 68 69 74 75 77 78 80 83 86 89 91 95 100 101 105 107 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 154 159 168
a 8 12 13 15 16 18 21 27 28 29 30 35 40 42 44 45 49 52 55 66 68 69 74 75 77 78 80 83 86 89 91 95 100 101 105 107 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 154 168
a 8 12 13 15 16 18 21 27 28 29 30 35 40 42 44 45 49 52 55 66 68 69 74 75 77 78 80 83 86 89 91 95 100 101 105 107 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 154 159
a 8 12 13 15 16 18 21 27 28 29 30 35 40 42 44 45 49 52 55 66 68 69 75 77 78 80 83 86 89 91 95 100 101 105 107 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 154 159 163
a 8 12 13 15 16 18 21 27 28 29 30 35 40 42 44 45 49 52 55 66 68 69 75 77 78 80 83 86 89 91 95 100 101 105 107 111 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 154 159
a 8 12 13 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 68 69 75 77 78 80 83 86 89 91 95 100 101 105 107 111 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 154 159
a 8 12 13 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 68 69 74 75 77 78 80 83 86 89 91 95 100 101 105 107 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 154 159
a 8 12 13 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 68 69 74 75 77 78 80 83 86 89 91 95 100 101 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 154
a 8 12 13 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 69 74 75 77 78 80 83 86 89 91 95 100 101 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 154 163
a 8 12 13 15 18 21 27 28 29 35 40 42 44 45 49 52 54 55 66 69 74 75 77 78 80 83 86 89 91 95 100 101 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 154 162 163
a 8 12 13 15 18 21 27 28 29 35 40 42 44 45 49 52 54 55 66 69 74 75 77 78 80 83 86 89 91 95 100 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 151 154 162 163
a 8 12 13 15 18 21 27 28 29 35 40 42 44 45 49 52 54 55 66 69 74 75 77 78 80 83 86 89 91 95 100 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 151 154 159 163
a 8 12 13 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 69 74 75 77 78 80 83 86 89 91 95 100 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 151 154 159
a 8 12 13 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 69 74 75 77 78 80 83 86 89 91 95 100 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 151 154 158
a 8 12 13 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 69 74 75 77 78 80 83 86 89 91 95 99 100 105 107 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 151 154 158
a 8 12 13 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 69 74 75 77 78 80 83 86 89 91 95 99 100 105 107 115 116 118 119 120 128 129 130 135 136 139 140 147 148 149 151 154 158
a 1 8 12 13 15 18 21 27 28 29 30 35 40 42 44 45 49 52 54 55 66 69 74 75 77 78 80 83 86 89 91 95 99 105 107 115 116 118 119 120 128 129 130 135 136 139 140 147 148 149 151 154 158
a 1 8 12 13 15 18 21 27 28 29 30 35 42 44 45 49 52 54 55 66 69 74 75 77 78 80 83 86 89 91 95 96 99 105 107 115 116 118 119 120 128 129 130 135 136 139 140 147 148 149 151 154 158
a 1 8 12 13 15 18 21 27 28 29 30 35 42 44 45 52 54 55 66 69 74 75 77 78 80 83 86 89 91 95 96 99 105 107 115 116 118 119 120 128 129 130 135 136 139 140 147 148 149 151 154 158 160
a 1 12 13 15 18 21 27 28 29 30 35 42 44 45 52 54 55 66 69 74 75 77 78 80 83 86 89 91 95 96 99 105 107 115 116 118 119 120 128 129 130 135 136 139 140 147 148 149 151 154 158 160 168
a 1 8 12 13 15 18 21 27 28 29 30 35 42 44 45 52 54 55 66 69 74 75 77 78 80 83 86 89 91 95 96 99 105 107 115 116 118 119 120 128 129 130 135 136 139 140 147 148 149 151 154 160 168
a 1 8 12 13 15 18 21 27 28 29 30 35 42 44 45 49 52 54 55 66 69 74 75 77 78 80 83 86 89 91 95 96 99 105 107 115 116 118 119 120 128 129 130 135 136 139 140 147 148 149 151 154 168
a 1 8 12 13 15 18 21 27 28 29 30 35 42 44 45 49 52 54 55 66 69 74 75 77 80 83 86 89 91 95 96 99 105 107 115 116 118 119 120 128 129 130 135 136 139 140 147 148 149 151 154 164 168
a 1 8 12 13 15 18 21 27 28 30 35 42 44 45 49 52 54 55 66 68 69 74 75 77 80 83 86 89 91 95 96 99 105 107 115 116 118 119 120 128 129 130 135 136 139 140 147 148 149 151 154 164 168
a 1 8 12 13 15 18 21 27 28 30 35 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 95 96 99 105 107 115 116 118 119 120 128 129 130 135 136 139 140 147 148 149 151 154 164 168
a 1 8 12 13 15 18 21 27 28 30 35 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 95 96 99 102 105 107 115 116 118 119 120 128 129 130 135 136 139 140 147 148 149 151 154 164
a 1 8 12 13 15 18 21 27 28 29 30 35 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 95 96 99 102 105 107 115 116 118 119 120 128 129 130 135 136 139 140 147 148 149 151 154 164
a 1 8 12 15 18 21 27 28 29 30 35 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 95 96 99 102 105 107 115 116 118 119 120 128 129 130 135 136 139 140 147 148 149 151 154 158 164
a 1 8 12 15 18 21 27 28 29 30 35 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 95 96 99 102 105 107 115 116 118 119 120 128 129 130 135 136 139 140 147 148 149 151 154 158
a 1 8 12 15 18 21 27 28 29 30 35 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 95 96 99 102 105 107 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 151 154 158
a 1 8 12 15 18 21 27 28 29 35 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 95 96 99 102 105 107 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 151 154 158 162
a 8 12 15 18 21 27 28 29 35 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 95 96 99 102 105 107 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 151 154 158 162 168
a 8 12 15 18 21 27 28 29 35 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 95 96 99 102 105 107 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 151 154 158 163 168
a 8 12 15 18 21 27 28 29 35 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 95 96 99 102 105 107 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 151 154 158 159 163
a 8 12 15 18 21 27 28 29 35 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 95 96 99 105 107 115 116 118 119 120 128 129 130 135 137 139 140 145 147 148 149 151 154 158 159 163
a 8 12 15 18 27 28 29 35 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 95 96 99 105 107 115 116 118 119 120 128 129 130 135 137 139 140 145 147 148 149 151 154 158 159 162 163
a 12 15 18 27 28 29 35 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 95 96 99 100 105 107 115 116 118 119 120 128 129 130 135 137 139 140 145 147 148 149 151 154 158 159 162 163
a 12 13 15 18 27 28 29 35 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 95 96 99 100 105 107 115 116 118 119 120 128 129 130 135 137 139 140 145 147 148 149 151 154 158 159 162
a 12 13 15 18 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 95 99 100 105 107 115 116 118 119 120 128 129 130 135 137 139 140 145 147 148 149 151 154 158 159 162
a 8 12 13 15 18 27 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 95 99 100 105 107 115 116 118 119 120 128 129 130 135 137 139 140 145 147 148 149 151 154 158 159 162
a 8 12 13 15 18 20 27 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 99 100 105 107 115 116 118 119 120 128 129 130 135 137 139 140 145 147 148 149 151 154 158 159 162
a 8 12 13 15 18 20 27 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 99 100 105 107 115 116 118 119 120 128 129 130 135 137 139 140 145 147 148 149 154 158 159 162 165
a 8 12 13 15 18 20 27 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 100 105 107 112 115 116 118 119 120 128 129 130 135 137 139 140 145 147 148 149 154 158 159 162 165
a 8 12 13 15 18 20 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 100 105 107 112 115 116 118 119 120 128 129 130 135 137 139 140 145 147 148 149 154 158 159 162
a 8 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 100 105 107 115 116 118 119 120 128 129 130 135 137 139 140 145 147 148 149 154 158 159 162
a 8 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 91 100 105 107 115 116 118 119 120 128 129 130 135 136 137 139 140 147 148 149 154 158 159 162
a 8 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 100 101 105 107 115 116 118 119 120 128 129 130 135 136 137 139 140 147 148 149 154 158 159 162
a 8 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 100 101 105 107 115 116 118 119 120 128 129 130 135 136 137 139 140 147 148 149 154 158 162 163
a 8 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 100 101 105 107 115 116 118 119 120 128 129 130 135 136 137 139 140 147 148 149 154 158 162 164
a 8 12 13 15 18 20 21 27 28 29 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 100 101 105 107 112 115 116 118 119 120 128 129 130 135 136 137 139 140 147 148 149 154 158 162 164
a 8 12 13 15 18 20 21 27 28 29 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 100 101 102 105 107 112 115 116 118 119 120 128 129 130 135 136 139 140 147 148 149 154 158 162 164
a 8 12 13 15 18 20 21 27 28 29 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 100 101 102 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 154 158 162 164
a 8 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 100 101 102 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 154 158 162
a 8 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 100 101 102 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 154 158 164
a 8 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 69 72 74 75 77 83 86 89 100 101 102 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 153 154 158 164
a 1 8 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 69 72 74 75 77 83 86 89 101 102 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 153 154 158 164
a 1 8 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 69 72 74 75 77 83 86 89 101 102 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 153 154 158 163
a 1 8 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 69 72 74 75 77 83 86 89 101 102 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 153 154 158 162
a 1 8 12 13 15 18 21 27 28 29 35 40 42 44 45 49 52 54 55 66 69 72 74 75 77 83 86 89 101 102 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 153 154 158 162 168
a 1 8 12 13 15 18 21 27 28 29 35 40 42 44 45 49 52 54 55 66 69 72 74 75 77 83 86 89 101 102 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 153 154 158 162 163
a 1 8 12 13 15 18 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 101 102 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 153 154 158 162
a 1 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 101 102 105 107 112 115 116 118 119 120 128 129 130 135 139 140 145 147 148 149 153 154 158 162
a 1 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 83 86 89 101 102 105 107 112 115 116 118 119 120 128 130 135 139 140 145 147 148 149 153 154 158 162 163
a 1 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 78 83 86 89 101 102 105 107 112 115 116 118 119 120 128 130 135 139 140 145 147 148 149 153 154 158 163
a 1 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 78 83 86 89 101 102 105 107 112 115 116 118 119 120 128 130 135 139 140 145 147 148 149 153 154 163 168
a 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 72 74 75 77 78 83 86 89 100 101 102 105 107 112 115 116 118 119 120 128 130 135 139 140 145 147 148 149 153 154 163 168
a 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 74 75 77 78 80 83 86 89 100 101 102 105 107 112 115 116 118 119 120 128 130 135 139 140 145 147 148 149 153 154 163 168
a 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 75 77 78 80 83 86 89 100 101 102 105 107 111 112 115 116 118 119 120 128 130 135 139 140 145 147 148 149 153 154 163 168
a 12 13 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 75 77 78 80 83 86 89 91 100 101 102 105 107 111 112 115 116 118 119 120 128 130 135 139 140 145 147 148 149 153 154 163
a 12 13 15 18 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 75 77 78 80 83 86 89 91 100 101 102 105 107 111 112 115 116 118 119 120 128 130 135 139 140 145 147 148 149 153 154 158 163
a 12 13 15 18 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 75 77 78 80 83 86 89 91 100 101 102 105 107 111 112 115 116 118 119 120 128 130 135 139 140 147 148 149 153 154 158 163 166
a 12 15 18 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 75 77 78 80 83 86 89 91 100 101 102 105 107 111 112 115 116 118 119 120 127 128 130 135 139 140 147 148 149 153 154 158 163 166
a 12 15 18 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 75 77 78 80 83 86 89 91 100 101 102 105 107 111 112 115 118 119 120 126 127 128 130 135 139 140 147 148 149 153 154 158 163 166
a 12 15 18 21 27 28 29 35 40 42 44 45 49 52 54 55 66 68 69 75 77 78 80 83 86 89 91 100 101 102 105 107 111 112 115 118 119 120 126 127 128 130 135 139 140 145 147 148 149 153 154 158 163
a 12 15 18 21 27 28 29 35 40 42 44 45 49 52 54 55 66 69 75 77 78 80 83 86 89 91 100 101 102 105 107 111 112 115 118 119 120 126 127 128 130 135 139 140 145 147 148 149 153 154 158 163 168
a 12 15 18 21 27 28 29 35 40 42 44 45 49 52 54 55 66 69 75 77 78 80 83 86 89 91 100 101 102 105 107 111 112 115 118 119 120 127 128 130 135 139 140 145 147 148 149 153 154 156 158 163 168
a 12 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 69 75 77 78 80 83 86 89 91 100 101 102 105 107 111 112 115 118 119 120 127 128 130 135 139 140 145 147 148 149 153 154 156 158 163
a 12 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 69 75 77 78 80 83 86 89 91 100 101 102 105 107 111 112 115 118 119 120 127 128 130 135 139 140 145 147 148 149 153 154 156 158 162
a 12 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 69 75 77 78 80 83 86 89 91 100 101 102 105 107 111 112 115 116 118 119 120 127 128 130 135 139 140 145 147 148 149 153 154 158 162
a 12 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 69 75 77 78 80 83 86 89 91 100 101 102 105 107 111 112 115 116 118 119 120 127 128 130 135 139 140 145 147 148 149 153 154 158 168
a 12 15 18 20 21 27 28 29 35 40 42 44 45 49 52 54 55 66 69 75 77 78 80 83 86 89 91 100 101 102 105 107 111 112 115 116 118 119 120 127 128 130 135 136 139 140 147 148 149 153 154 158 168
a 12 15 18 20 21 27 28 29 35 42 44 45 49 52 54 55 66 69 75 77 78 80 83 86 89 91 100 101 102 103 105 107 111 112 115 116 118 119 120 127 128 130 135 136 139 140 147 148 149 153 154 158 168
a 9 12 15 18 20 21 27 28 29 35 42 44 45 49 52 54 55 66 69 75 77 78 80 83 86 89 91 100 101 102 103 107 111 112 115 116 118 119 120 127 128 130 135 136 139 140 147 148 149 153 154 158 168
a 9 12 15 18 20 21 27 28 29 35 42 44 45 49 52 54 55 66 69 75 77 78 80 83 86 89 91 100 101 102 103 107 111 112 115 118 119 120 127 128 130 135 136 139 140 147 148 149 153 154 156 158 168
a 9 12 15 18 20 21 27 28 29 35 42 44 45 49 52 54 55 64 66 69 75 77 78 80 83 86 89 91 100 101 102 103 107 111 112 115 118 120 127 128 130 135 136 139 140 147 148 149 153 154 156 158 168
a 9 12 15 18 20 21 27 28 29 35 42 44 45 49 50 52 54 55 66 69 75 77 78 80 83 86 89 91 100 101 102 103 107 111 112 115 118 120 127 128 130 135 136 139 140 147 148 149 153 154 156 158 168
a 9 12 15 18 20 21 27 28 29 35 42 44 45 49 50 52 54 55 66 69 75 77 78 80 83 86 91 100 101 102 103 107 111 112 115 118 120 127 128 130 131 135 136 139 140 147 148 149 153 154 156 158 168
a 9 12 15 18 20 21 27 28 29 35 42 44 45 49 50 52 54 55 66 75 77 78 80 83 86 91 100 101 102 103 107 111 112 115 118 120 127 128 130 131 135 136 139 140 147 148 149 153 154 156 158 162 168
a 9 12 15 18 21 27 28 29 35 42 44 45 49 50 52 54 55 66 75 77 78 80 83 86 91 100 101 102 103 107 111 112 115 118 120 126 127 128 130 131 135 136 139 140 147 148 149 153 154 156 158 162 168
a 9 12 15 18 21 27 28 29 35 42 44 45 49 50 52 54 55 66 74 75 77 78 80 83 86 91 100 101 102 103 107 112 115 118 120 126 127 128 130 131 135 136 139 140 147 148 149 153 154 156 158 162 168
a 9 12 15 18 21 27 28 29 35 42 44 45 49 52 54 55 64 66 74 75 77 78 80 83 86 91 100 101 102 103 107 112 115 118 120 126 127 128 130 131 135 136 139 140 147 148 149 153 154 156 158 162 168
a 9 12 15 18 21 27 28 29 30 35 42 44 45 49 52 54 55 64 66 74 75 77 78 80 83 86 91 100 101 102 103 107 112 115 118 120 126 127 128 130 131 135 136 139 140 147 148 149 153 154 156 158 168
a 9 12 15 18 21 27 28 29 30 35 42 44 45 49 52 54 55 64 66 74 75 78 80 83 86 91 100 101 102 103 107 108 112 115 118 120 126 127 128 130 131 135 136 139 140 147 148 149 153 154 156 158 168
a 9 12 15 18 21 27 28 29 30 35 42 44 45 49 52 54 55 64 66 69 74 75 78 80 83 86 91 100 101 102 103 107 112 115 118 120 126 127 128 130 131 135 136 139 140 147 148 149 153 154 156 158 168
a 9 12 15 18 21 27 28 29 30 35 42 44 45 49 52 54 55 64 66 69 74 75 78 80 83 86 91 100 101 102 103 107 112 115 118 120 126 127 128 130 131 135 136 139 140 147 148 149 153 154 156 158 163
a 9 12 15 18 21 27 28 29 30 35 42 44 45 49 52 54 55 64 66 69 74 75 78 80 83 86 91 100 101 103 107 112 115 118 120 126 127 128 130 131 135 136 137 139 140 147 148 149 153 154 156 158 163
a 9 12 15 18 21 27 28 29 30 35 42 44 45 49 52 54 55 64 66 69 75 78 80 83 86 91 100 101 103 107 111 112 115 118 120 126 127 128 130 131 135 136 137 139 140 147 148 149 153 154 156 158 163
a 9 12 15 18 21 27 28 29 30 35 42 44 45 49 52 54 55 64 66 67 69 75 78 80 83 86 91 100 101 103 107 111 112 115 118 120 126 127 128 130 131 135 136 137 139 140 148 149 153 154 156 158 163
a 9 12 15 18 20 21 27 28 29 30 35 42 44 45 49 52 54 55 64 66 67 69 75 78 80 83 86 91 100 101 103 107 111 112 115 118 120 127 128 130 131 135 136 137 139 140 148 149 153 154 156 158 163
a 9 12 15 18 20 21 27 28 29 30 35 42 44 45 49 52 54 55 64 66 67 69 75 78 80 83 86 91 100 101 102 103 107 111 112 115 118 120 127 128 130 131 135 136 139 140 148 149 153 154 156 158 163
a 9 12 13 15 18 20 21 27 28 29 35 42 44 45 49 52 54 55 64 66 67 69 75 78 80 83 86 91 100 101 102 103 107 111 112 115 118 120 127 128 130 131 135 136 139 140 148 149 153 154 156 158 163
a 9 12 13 15 18 20 21 27 28 29 35 42 44 45 52 54 55 64 66 67 69 75 78 80 83 86 91 100 101 102 103 107 111 112 115 118 120 127 128 130 131 135 136 139 140 148 149 153 154 156 158 160 163
a 9 12 13 15 18 20 21 27 28 29 35 42 44 45 52 54 55 61 64 66 67 69 75 78 80 83 86 91 100 101 102 103 107 112 115 118 120 127 128 130 131 135 136 139 140 148 149 153 154 156 158 160 163
a 9 12 13 15 18 20 21 27 28 29 35 42 44 45 52 54 55 61 64 66 67 69 75 78 80 83 86 91 100 101 102 103 107 112 115 118 120 127 128 130 131 135 139 140 145 148 149 153 154 156 158 160 163
a 9 12 13 15 18 20 21 27 28 29 35 42 44 45 52 54 55 61 64 66 69 75 78 80 83 86 91 100 101 102 103 107 112 115 118 120 127 128 130 131 135 139 140 145 148 149 153 154 156 158 160 162 163
a 9 12 13 15 18 20 21 27 28 29 35 42 44 45 52 54 55 61 64 66 69 75 80 83 86 91 100 101 102 103 107 112 115 118 120 127 128 130 131 135 139 140 145 148 149 153 154 156 158 160 162 163 164
a 9 12 13 15 18 20 21 27 28 29 35 42 44 45 52 54 55 61 64 66 69 75 80 83 86 89 91 100 101 102 103 107 112 115 118 120 127 128 130 135 139 140 145 148 149 153 154 156 158 160 162 163 164
a 9 12 13 15 18 20 21 27 28 29 35 42 44 45 52 54 55 61 64 66 69 75 80 83 86 89 91 100 101 102 103 107 112 115 118 120 127 128 129 130 135 139 140 145 148 149 153 154 158 160 162 163 164
a 4 9 12 13 15 18 20 21 27 28 29 42 44 45 52 54 55 61 64 66 69 75 80 83 86 89 91 100 101 102 103 107 112 115 118 120 127 128 129 130 135 139 140 145 148 149 153 154 158 160 162 163 164
a 4 9 12 13 15 18 20 21 27 28 29 30 42 44 45 52 54 55 61 64 66 69 75 80 83 86 89 91 100 101 102 103 107 112 115 118 120 127 128 129 130 135 139 140 145 148 149 153 154 158 160 163 164
a 4 9 12 15 18 20 21 27 28 29 30 42 44 45 52 54 55 61 64 66 69 75 80 83 86 89 91 92 100 101 102 103 107 112 115 118 120 127 128 129 130 135 139 140 145 148 149 153 154 158 160 163 164
a 4 9 12 15 18 20 21 27 28 29 42 44 45 52 54 55 61 64 66 69 75 80 83 86 89 91 92 100 101 102 103 107 112 115 118 120 127 128 129 130 135 139 140 145 148 149 153 154 158 160 162 163 164
a 4 9 12 15 18 20 21 27 28 29 42 44 45 52 54 55 61 64 66 69 75 80 83 86 89 91 92 100 101 103 107 112 115 118 120 127 128 129 130 135 137 139 140 145 148 149 153 154 158 160 162 163 164
a 4 9 12 15 18 20 21 27 28 29 42 44 45 52 54 55 61 64 66 69 75 80 83 86 89 91 92 100 101 107 112 114 115 118 120 127 128 129 130 135 137 139 140 145 148 149 153 154 158 160 162 163 164
a 9 12 15 18 20 21 27 28 29 42 44 45 52 54 55 61 64 66 68 69 75 80 83 86 89 91 92 100 101 107 112 114 115 118 120 127 128 129 130 135 137 139 140 145 148 149 153 154 158 160 162 163 164
a 9 12 15 18 20 21 27 28 29 42 44 45 49 52 54 55 61 64 66 68 69 75 80 83 86 89 91 92 100 101 107 112 114 115 118 120 127 128 129 130 135 137 139 140 145 148 149 153 154 158 162 163 164
a 9 12 15 18 20 21 27 28 29 42 44 45 49 52 54 55 61 64 66 68 69 75 80 83 86 89 91 92 100 101 107 112 114 115 118 120 127 128 129 130 135 137 139 140 145 148 149 153 154 158 162 163 168
a 9 12 15 18 20 21 27 28 29 42 44 45 49 52 54 55 61 64 66 68 69 74 75 80 83 86 89 91 92 100 101 107 112 114 115 118 120 127 128 129 130 135 137 139 140 145 148 149 153 154 158 162 163
a 9 12 15 18 20 21 27 28 29 42 44 45 49 52 54 55 61 64 66 68 69 74 75 83 86 89 91 92 100 101 107 112 114 115 118 120 127 128 129 130 135 137 139 140 141 145 148 149 153 154 158 162 163
a 12 15 18 20 21 27 28 29 42 44 45 49 52 54 55 61 64 66 68 69 74 75 83 86 89 91 92 100 101 107 112 114 115 118 120 127 128 129 130 135 137 139 140 141 145 148 149 153 154 158 159 162 163
a 12 15 18 20 21 27 28 29 42 44 45 49 52 54 55 61 64 66 68 69 74 75 83 86 89 91 92 99 100 101 107 114 115 118 120 127 128 129 130 135 137 139 140 141 145 148 149 153 154 158 159 162 163
a 12 15 18 20 21 27 28 29 42 44 45 49 52 54 55 61 64 66 68 69 71 74 75 83 86 89 91 92 99 100 101 107 114 115 118 120 127 128 129 130 135 137 139 140 145 148 149 153 154 158 159 162 163
a 12 15 18 20 21 27 28 29 42 44 45 52 54 55 61 64 66 68 69 71 74 75 83 86 89 91 92 99 100 101 107 114 115 118 120 127 128 129 130 135 137 139 140 145 148 149 153 154 158 159 160 162 163
a 12 15 18 20 21 27 28 29 42 44 45 47 52 54 55 61 64 66 68 69 71 74 75 83 86 91 92 99 100 101 107 114 115 118 120 127 128 129 130 135 137 139 140 145 148 149 153 154 158 159 160 162 163
a 12 15 18 21 27 28 29 35 42 44 45 47 52 54 55 61 64 66 68 69 71 74 75 83 86 91 92 99 100 101 107 114 115 118 120 127 128 129 130 135 137 139 140 145 148 149 153 154 158 159 160 162 163
a 15 18 21 27 28 29 35 36 42 44 45 47 52 54 55 61 64 66 68 69 71 74 75 83 86 91 92 99 100 101 107 114 115 118 120 127 128 129 130 135 137 139 140 145 148 149 153 154 158 159 160 162 163
a 13 15 18 21 27 28 29 35 36 42 44 45 47 52 54 55 61 64 66 68 71 74 75 83 86 91 92 99 100 101 107 114 115 118 120 127 128 129 130 135 137 139 140 145 148 149 153 154 158 159 160 162 163
a 13 15 18 21 27 28 29 35 36 42 44 45 47 52 54 55 61 64 66 68 71 74 75 83 86 90 91 92 99 100 101 107 114 115 118 120 127 128 129 130 135 137 140 145 148 149 153 154 158 159 160 162 163
a 13 15 18 21 27 28 29 35 36 42 44 45 47 52 54 55 61 64 66 68 71 74 75 77 83 86 90 91 99 100 101 107 114 115 118 120 127 128 129 130 135 137 140 145 148 149 153 154 158 159 160 162 163
a 13 15 18 20 21 27 28 29 35 36 42 44 45 47 52 54 55 61 64 66 68 71 74 75 77 83 86 90 91 99 100 101 107 114 115 118 120 127 128 129 130 135 137 140 145 148 149 153 154 158 159 160 162
a 13 15 18 20 21 27 28 29 35 36 42 44 45 47 52 55 61 64 66 68 71 74 75 77 80 83 86 90 91 99 100 101 107 114 115 118 120 127 128 129 130 135 137 140 145 148 149 153 154 158 159 160 162
a 13 15 18 20 21 27 28 29 35 36 42 44 45 47 52 55 61 64 66 68 71 74 75 77 83 86 90 91 99 100 101 107 114 115 118 120 127 128 129 130 135 137 140 141 145 148 149 153 154 158 159 160 162
a 13 15 18 20 21 27 28 29 35 36 42 44 45 47 52 55 61 64 66 68 71 74 75 77 83 86 90 91 99 100 101 107 114 115 118 120 127 128 129 130 135 137 140 141 145 148 149 153 154 158 159 160 168
a 13 15 18 20 21 27 28 29 35 36 42 44 45 47 52 55 61 64 66 68 71 74 75 77 83 86 90 91 99 100 101 107 114 115 118 120 127 129 130 135 137 140 141 145 148 149 150 153 154 158 159 160 168
a 13 15 18 20 21 27 28 29 35 36 42 44 45 47 52 55 61 64 66 68 71 74 75 77 80 83 86 90 91 99 100 101 107 114 115 118 120 127 129 130 135 137 140 145 148 149 150 153 154 158 159 160 168
a 13 15 18 20 21 27 28 29 35 36 42 44 45 47 52 55 61 64 66 68 71 74 75 77 80 83 86 90 91 99 100 101 107 114 115 118 120 127 128 129 130 135 137 140 145 148 149 153 154 158 159 160 168
a 13 15 18 20 21 27 28 29 35 36 42 44 45 47 52 55 61 64 66 68 71 74 75 77 80 83 86 90 91 99 100 101 107 114 115 118 120 127 128 129 130 135 137 140 145 148 149 153 154 158 159 160 165
a 13 15 18 20 21 27 28 29 35 36 42 44 45 47 52 55 61 64 66 68 69 71 74 75 77 80 83 86 90 91 99 100 101 107 114 115 118 120 127 128 129 130 135 137 140 145 148 149 153 154 158 159 160
a 13 15 18 20 21 27 28 29 35 36 41 42 44 45 47 52 55 61 64 66 68 71 74 75 77 80 83 86 90 91 99 100 101 107 114 115 118 120 127 128 129 130 135 137 140 145 148 149 153 154 158 159 160
a 13 15 18 20 21 27 28 29 35 36 41 42 44 45 47 52 55 61 64 66 68 71 74 75 77 80 83 86 90 91 99 100 101 107 114 115 118 120 122 127 128 129 130 135 137 140 145 148 149 153 158 159 160
a 9 13 15 18 20 21 27 28 29 35 36 42 44 45 47 52 55 61 64 66 68 71 74 75 77 80 83 86 90 91 99 100 101 107 114 115 118 120 122 127 128 129 130 135 137 140 145 148 149 153 158 159 160
a 9 13 15 18 20 21 27 28 29 35 36 42 44 45 47 52 55 61 64 66 68 71 74 77 80 83 86 90 91 99 100 101 107 113 114 115 118 120 122 127 128 129 130 135 137 140 145 148 149 153 158 159 160
a 9 13 15 18 20 21 27 28 29 35 36 42 44 45 47 52 55 61 64 66 68 71 74 77 80 83 86 90 91 99 100 101 107 113 114 115 118 120 122 127 128 129 130 135 137 140 145 148 149 153 158 159 163
a 9 13 15 18 20 27 28 29 35 36 42 44 45 47 52 55 61 64 66 68 71 74 77 80 83 86 90 91 99 100 101 107 113 114 115 118 120 122 127 128 129 130 135 137 140 145 148 149 153 158 159 162 163
a 9 13 15 18 20 27 28 29 35 36 42 44 45 47 52 55 61 64 66 68 71 74 80 83 86 90 91 99 100 101 106 107 113 114 115 118 120 122 127 128 129 130 135 137 140 145 148 149 153 158 159 162 163
a 13 15 18 20 27 28 29 35 36 41 42 44 45 47 52 55 61 64 66 68 71 74 80 83 86 90 91 99 100 101 106 107 113 114 115 118 120 122 127 128 129 130 135 137 140 145 148 149 153 158 159 162 163
a 13 15 18 20 27 28 35 36 41 42 44 45 47 52 55 61 64 66 68 71 74 80 83 86 90 91 99 100 101 106 107 113 114 115 118 120 122 127 128 129 130 133 135 137 140 145 148 149 153 158 159 162 163
a 13 15 18 20 27 28 35 36 41 42 44 45 47 52 55 61 64 66 68 71 74 80 83 86 90 91 99 100 101 102 106 107 113 114 115 118 120 122 127 128 129 130 133 135 140 145 148 149 153 158 159 162 163
a 13 15 18 20 27 28 35 36 41 42 44 45 47 55 61 64 66 68 71 74 80 83 86 90 91 99 100 101 102 106 107 113 114 115 116 118 120 122 127 128 129 130 133 135 140 145 148 149 153 158 159 162 163
a 13 15 18 20 27 28 35 36 41 42 44 45 47 52 55 61 64 66 68 71 74 80 83 86 90 91 99 100 101 102 106 107 113 114 115 116 118 120 122 127 128 129 130 133 135 140 145 148 149 153 158 159 163
a 13 18 20 27 28 35 36 41 42 44 45 47 52 55 61 64 66 68 71 74 80 83 86 90 91 99 100 101 102 106 107 109 113 114 115 116 118 120 122 127 128 129 130 133 135 140 145 148 149 153 158 159 163
a 13 18 20 27 28 35 36 41 42 44 45 47 52 54 55 61 64 66 68 71 74 80 83 86 90 91 99 100 101 102 107 109 113 114 115 116 118 120 122 127 128 129 130 133 135 140 145 148 149 153 158 159 163
a 13 18 27 28 35 36 41 42 44 45 47 52 54 55 61 64 66 68 71 74 80 83 86 90 91 96 99 100 101 102 107 109 113 114 115 116 118 120 122 127 128 129 130 133 135 140 145 148 149 153 158 159 163
a 13 18 27 28 29 35 36 41 42 44 45 47 52 54 55 61 64 66 68 71 74 80 83 86 90 91 96 99 100 101 102 107 109 113 114 115 116 118 120 122 127 128 129 130 135 140 145 148 149 153 158 159 163
a 13 18 27 28 29 30 35 36 41 42 44 45 47 52 54 55 61 64 66 68 71 74 80 83 86 90 91 96 99 100 101 102 107 109 113 114 115 116 118 120 122 127 128 129 130 135 140 145 148 149 153 158 163
a 13 18 27 28 29 30 35 36 42 44 45 47 52 54 55 61 64 66 68 69 71 74 80 83 86 90 91 96 99 100 101 102 107 109 113 114 115 116 118 120 122 127 128 129 130 135 140 145 148 149 153 158 163
a 13 18 27 28 29 30 35 36 42 44 45 47 52 54 55 61 64 66 68 69 71 74 80 83 86 90 91 96 99 100 101 107 109 113 114 115 116 118 120 122 127 128 129 130 135 140 145 148 149 153 158 163 165
a 1 13 18 27 28 29 30 35 36 42 44 45 47 52 54 55 61 64 66 68 69 71 74 80 83 86 90 91 96 99 101 107 109 113 114 115 116 118 120 122 127 128 129 130 135 140 145 148 149 153 158 163 165
a 1 13 18 27 28 29 30 35 36 42 44 45 47 52 55 61 64 66 68 69 71 74 80 83 86 90 91 96 99 101 106 107 109 113 114 115 116 118 120 122 127 128 129 130 135 140 145 148 149 153 158 163 165
a 1 13 18 27 28 29 30 35 36 42 44 45 47 52 55 61 64 66 68 69 71 74 80 83 86 90 91 96 99 101 106 107 109 113 114 115 116 118 120 122 127 129 130 135 140 145 148 149 150 153 158 163 165
a 1 13 18 20 27 28 29 30 35 36 42 44 45 47 52 55 61 64 66 68 69 71 74 80 83 86 90 91 99 101 106 107 109 113 114 115 116 118 120 122 127 129 130 135 140 145 148 149 150 153 158 163 165
a 1 13 18 27 28 29 30 35 36 42 44 45 47 52 55 61 64 66 68 69 71 74 77 80 83 86 90 91 99 101 106 107 109 113 114 115 116 118 120 122 127 129 130 135 140 145 148 149 150 153 158 163 165
a 1 13 18 27 28 30 35 36 42 44 45 47 52 55 61 64 66 68 69 71 74 77 80 83 86 90 91 99 101 105 106 107 109 113 114 115 116 118 120 122 127 129 130 135 140 145 148 149 150 153 158 163 165
a 1 13 15 18 27 28 30 35 36 42 44 45 47 52 55 61 64 66 68 69 71 74 77 80 83 86 90 91 99 101 105 106 107 113 114 115 116 118 120 122 127 129 130 135 140 145 148 149 150 153 158 163 165
a 1 13 18 25 27 28 30 35 36 42 44 45 47 52 55 61 64 66 68 69 71 74 77 80 83 86 90 91 99 101 105 106 107 113 114 115 116 118 120 122 127 129 130 135 140 145 148 149 150 153 158 163 165
a 1 13 18 25 27 28 30 35 36 42 44 45 47 52 55 61 64 66 68 69 71 74 80 83 86 90 91 92 99 101 105 106 107 113 114 115 116 118 120 122 127 129 130 135 140 145 148 149 150 153 158 163 165
a 1 13 18 25 27 28 30 35 36 37 42 45 47 52 55 61 64 66 68 69 71 74 80 83 86 90 91 92 99 101 105 106 107 113 114 115 116 118 120 122 127 129 130 135 140 145 148 149 150 153 158 163 165
a 1 13 18 25 27 28 30 35 36 37 42 45 47 52 54 55 61 64 66 68 69 71 74 80 83 86 90 91 92 99 101 105 107 113 114 115 116 118 120 122 127 129 130 135 140 145 148 149 150 153 158 163 165
a 1 9 13 18 25 27 28 30 35 36 37 42 45 47 52 54 55 61 64 66 68 69 71 74 80 83 86 90 91 92 99 101 107 113 114 115 116 118 120 122 127 129 130 135 140 145 148 149 150 153 158 163 165
a 1 9 13 18 25 27 28 30 35 36 37 42 45 47 52 54 55 61 64 66 68 69 71 74 80 83 86 91 92 99 101 107 113 114 115 116 118 120 122 127 129 130 135 139 140 145 148 149 150 153 158 163 165
a 1 9 13 18 25 27 28 30 35 36 37 42 45 47 52 54 55 61 64 66 68 69 71 74 80 83 86 91 92 99 101 107 109 113 114 115 116 118 120 122 127 129 130 135 139 145 148 149 150 153 158 163 165
a 9 13 18 25 27 28 30 35 36 37 42 45 47 52 54 55 61 64 66 68 69 71 74 80 83 86 91 92 99 100 101 107 109 113 114 115 116 118 120 122 127 129 130 135 139 145 148 149 150 153 158 163 165
a 9 13 18 25 27 28 30 35 36 37 42 45 47 52 54 55 61 64 66 68 69 71 74 75 80 83 86 91 92 99 100 101 107 109 114 115 116 118 120 122 127 129 130 135 139 145 148 149 150 153 158 163 165
a 9 13 18 25 27 28 30 35 36 37 42 45 47 52 54 55 61 64 66 68 69 71 74 75 80 83 86 91 92 99 100 101 107 109 114 115 116 118 120 122 127 129 130 135 139 145 148 149 150 153 158 159 163
a 9 13 18 25 27 28 30 35 36 37 42 45 47 52 54 55 61 64 66 68 69 71 74 75 80 83 86 91 92 99 101 107 109 114 115 116 117 118 120 122 127 129 130 135 139 145 148 149 150 153 158 159 163
a 9 13 18 25 27 28 30 35 36 37 42 45 47 52 55 61 64 66 68 69 71 74 75 80 83 86 91 92 99 101 106 107 109 114 115 116 117 118 120 122 127 129 130 135 139 145 148 149 150 153 158 159 163
a 9 13 18 25 27 28 30 35 36 37 45 47 52 55 61 64 66 68 69 71 74 75 80 83 86 91 92 99 101 106 107 109 114 115 116 117 118 120 122 127 129 130 135 139 145 146 148 149 150 153 158 159 163
a 9 13 18 20 25 27 28 30 35 36 37 45 47 55 61 64 66 68 69 71 74 75 80 83 86 91 92 99 101 106 107 109 114 115 116 117 118 120 122 127 129 130 135 139 145 146 148 149 150 153 158 159 163
a 9 13 18 20 25 27 28 30 35 36 37 45 47 55 61 64 66 68 69 71 74 75 80 83 86 91 92 99 101 106 107 109 114 115 116 118 120 122 127 129 130 135 139 140 145 146 148 149 150 153 158 159 163
a 9 13 18 20 25 27 28 30 35 36 37 45 47 55 61 64 66 68 69 71 74 75 80 83 86 91 92 99 101 106 107 109 114 115 116 118 121 122 127 129 130 135 139 140 145 146 148 149 150 153 158 159 163
a 9 13 18 20 25 27 28 30 35 36 37 45 47 55 61 64 66 68 69 71 74 75 80 83 86 91 92 99 101 106 107 109 114 115 116 118 121 122 127 130 135 139 140 145 146 148 149 150 152 153 158 159 163
a 9 13 18 20 25 27 28 30 35 36 37 45 47 54 55 61 64 66 68 69 71 74 75 80 83 86 91 92 99 101 107 109 114 115 116 118 121 122 127 130 135 139 140 145 146 148 149 150 152 153 158 159 163
a 9 13 18 20 25 27 28 30 35 36 37 45 47 54 55 61 63 64 66 68 69 71 74 75 80 83 86 91 92 99 101 107 109 114 115 116 118 121 122 127 130 135 139 140 145 146 149 150 152 153 158 159 163
a 9 13 18 20 25 27 28 30 35 36 37 45 47 54 55 61 63 64 66 68 69 71 74 75 80 83 86 91 92 99 101 107 109 114 115 116 118 121 122 127 128 130 135 139 140 145 146 149 152 153 158 159 163
a 9 13 18 20 25 27 28 30 35 36 37 45 47 54 55 61 63 64 66 68 69 71 74 75 77 80 83 86 91 99 101 107 109 114 115 116 118 121 122 127 128 130 135 139 140 145 146 149 152 153 158 159 163
a 9 13 18 20 25 27 28 30 35 36 37 45 47 49 54 55 61 63 64 66 68 69 71 74 75 77 80 83 86 91 99 101 107 109 114 115 116 118 121 122 127 128 130 135 139 140 145 146 149 152 153 158 159
a 9 13 18 20 25 27 28 30 35 36 37 45 47 49 54 55 63 64 66 68 69 71 74 75 77 80 83 86 91 99 101 104 107 109 114 115 116 118 121 122 127 128 130 135 139 140 145 146 149 152 153 158 159
a 9 13 18 20 25 28 30 35 36 37 45 47 49 54 55 63 64 66 68 69 71 74 75 77 80 83 86 91 99 101 104 107 109 114 115 116 118 121 122 127 128 130 135 139 140 145 146 149 152 153 158 159 161
a 9 13 18 20 25 28 30 35 36 37 45 47 49 54 55 63 64 66 68 71 73 74 75 77 80 83 86 91 99 101 104 107 109 114 115 116 118 121 122 127 128 130 135 139 140 145 146 149 152 153 158 159 161
a 9 13 18 20 25 28 30 35 36 37 40 45 47 49 54 55 63 66 68 71 73 74 75 77 80 83 86 91 99 101 104 107 109 114 115 116 118 121 122 127 128 130 135 139 140 145 146 149 152 153 158 159 161
a 9 13 18 20 25 28 35 36 37 40 45 47 49 54 55 63 66 68 71 73 74 75 77 80 83 86 91 99 101 104 107 109 114 115 116 118 121 122 127 128 130 135 139 140 145 146 149 152 153 158 159 161 162
a 9 13 18 20 28 35 36 37 40 45 47 49 54 55 63 66 67 68 71 73 74 75 77 80 83 86 91 99 101 104 107 109 114 115 116 118 121 122 127 128 130 135 139 140 145 146 149 152 153 158 159 161 162
a 9 13 18 20 28 35 36 37 40 45 47 49 54 55 63 66 67 68 71 73 74 75 77 80 83 86 91 99 101 104 107 109 114 115 116 118 121 127 128 130 135 139 140 145 146 149 152 153 155 158 159 161 162
a 9 13 18 20 28 35 36 37 40 45 47 49 54 55 60 63 66 67 68 71 73 74 75 77 80 83 86 91 99 101 104 107 109 114 115 116 118 121 127 128 130 135 139 140 145 146 149 152 155 158 159 161 162
a 9 13 18 20 21 28 35 36 37 40 45 47 49 54 55 60 63 66 67 68 71 73 74 75 77 80 83 86 91 99 101 104 107 109 114 115 116 118 121 128 130 135 139 140 145 146 149 152 155 158 159 161 162
a 9 13 18 20 21 28 35 36 40 45 47 49 54 55 60 63 66 67 68 71 73 74 75 77 80 83 86 91 99 101 104 107 109 114 115 116 118 121 128 130 135 139 140 145 146 149 152 155 158 159 161 162 164
a 9 13 18 20 21 28 35 36 40 45 47 49 54 55 60 63 66 67 68 71 73 74 75 77 80 83 86 91 99 104 107 109 114 115 116 118 121 128 130 135 139 140 145 146 149 151 152 155 158 159 161 162 164
a 9 13 18 20 21 28 35 36 40 45 47 49 54 55 60 63 66 67 68 71 73 74 75 77 80 83 85 86 91 99 104 107 109 114 115 116 118 121 128 130 135 139 140 145 146 151 152 155 158 159 161 162 164
a 9 13 18 20 21 28 35 36 40 45 47 49 54 55 60 62 63 67 68 71 73 74 75 77 80 83 85 86 91 99 104 107 109 114 115 116 118 121 128 130 135 139 140 145 146 151 152 155 158 159 161 162 164
a 9 13 18 20 21 28 35 36 40 45 47 49 54 55 60 62 63 67 68 71 73 75 77 80 83 84 85 86 91 99 104 107 109 114 115 116 118 121 128 130 135 139 140 145 146 151 152 155 158 159 161 162 164
a 9 13 18 20 21 28 35 36 40 45 47 49 51 54 55 60 62 63 67 71 73 75 77 80 83 84 85 86 91 99 104 107 109 114 115 116 118 121 128 130 135 139 140 145 146 151 152 155 158 159 161 162 164
a 9 12 13 18 20 21 28 35 40 45 47 49 51 54 55 60 62 63 67 71 73 75 77 80 83 84 85 86 91 99 104 107 109 114 115 116 118 121 128 130 135 139 140 145 146 151 152 155 158 159 161 162 164
a 9 12 13 18 20 21 28 35 40 45 47 49 51 54 55 60 62 63 67 71 73 75 77 80 83 84 85 86 91 99 104 107 109 114 115 118 121 128 130 135 139 140 145 146 151 152 155 156 158 159 161 162 164
a 9 12 13 18 20 21 28 35 40 45 47 49 51 54 55 60 62 63 67 71 73 75 77 80 84 85 86 91 99 104 107 109 114 115 118 121 123 128 130 135 139 140 145 146 151 152 155 156 158 159 161 162 164
a 9 12 13 17 18 20 21 28 35 40 45 47 49 51 54 55 60 62 63 67 71 73 75 77 80 84 85 86 91 99 104 107 109 114 115 121 123 128 130 135 139 140 145 146 151 152 155 156 158 159 161 162 164
a 9 12 13 17 18 20 21 28 35 40 45 49 51 54 55 60 62 63 67 71 73 75 77 80 84 85 86 89 91 99 104 107 109 114 115 121 123 128 130 135 139 140 145 146 151 152 155 156 158 159 161 162 164
a 9 12 13 17 18 20 21 28 35 40 45 49 51 54 55 60 62 63 67 71 73 75 77 80 84 85 86 89 91 104 107 109 112 114 115 121 123 128 130 135 139 140 145 146 151 152 155 156 158 159 161 162 164
a 9 12 13 17 18 20 21 28 35 40 45 49 51 54 55 60 62 63 67 71 73 75 77 80 84 85 86 89 91 104 107 109 111 112 114 121 123 128 130 135 139 140 145 146 151 152 155 156 158 159 161 162 164
a 9 12 13 17 18 20 21 28 35 40 45 49 51 54 55 60 62 63 67 71 73 75 77 80 84 85 86 89 91 104 107 109 111 112 114 121 123 128 130 135 139 140 146 151 152 155 156 158 159 161 162 164 166
a 9 12 13 17 18 20 21 28 35 40 45 49 51 54 55 58 60 62 63 67 73 75 77 80 84 85 86 89 91 104 107 109 111 112 114 121 123 128 130 135 139 140 146 151 152 155 156 158 159 161 162 164 166
a 7 9 12 13 17 18 20 21 28 35 40 45 49 51 54 55 58 60 62 63 67 73 75 77 80 84 85 89 91 104 107 109 111 112 114 121 123 128 130 135 139 140 146 151 152 155 156 158 159 161 162 164 166
a 7 9 12 13 17 18 21 28 35 40 45 49 51 54 55 58 60 62 63 67 73 75 77 80 84 85 89 91 95 104 107 109 111 112 114 121 123 128 130 135 139 140 146 151 152 155 156 158 159 161 162 164 166
a 7 9 12 13 17 18 21 28 35 40 45 49 51 54 55 58 60 62 63 67 73 75 77 80 84 85 87 89 91 95 104 107 109 111 112 114 121 123 128 130 139 140 146 151 152 155 156 158 159 161 162 164 166
a 7 9 12 13 17 18 21 28 40 45 49 51 54 55 58 60 62 63 67 73 75 77 80 81 84 85 87 89 91 95 104 107 109 111 112 114 121 123 128 130 139 140 146 151 152 155 156 158 159 161 162 164 166
a 7 9 12 13 17 18 21 28 40 45 49 51 54 55 58 60 62 63 67 73 75 77 80 81 84 85 87 89 91 95 104 109 111 112 114 121 123 125 128 130 139 140 146 151 152 155 156 158 159 161 162 164 166
a 7 9 12 13 17 18 21 28 40 45 49 51 54 55 58 60 62 63 67 73 75 76 77 80 81 84 85 87 89 95 104 109 111 112 114 121 123 125 128 130 139 140 146 151 152 155 156 158 159 161 162 164 166
a 7 9 12 13 17 21 28 40 45 49 51 54 55 58 60 62 63 67 73 75 76 77 80 81 84 85 87 89 95 104 109 111 112 114 121 123 125 128 130 139 140 146 151 152 155 156 158 159 161 162 164 166 169
c Step: 261
#END: [Tue Sep  5 07:54:39 2023]