#BEGIN: [Tue Sep  5 07:24:45 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance013_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance013_graph004_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_graph004.col /benchmark/random_instance/random_instance013_graph004_01.dat
c /benchmark/random_instance/random_instance013_graph004.col
c /benchmark/random_instance/random_instance013_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID 4e3f51765a22d43543dc96c4adb4aab9608eac62ed567cf81af746f339b9d513
s 12 76 34 3 63 169 86 148 16 74 166 146 109 6 9 98 132 28 135 134 57 45 61 79 40 143 70 17 84 163 49 15 110 20 154 125 13 164 105 152 94 136 113 72 51 150 99 121 112 147 1 64
t 35 101 47 72 96 20 165 76 7 121 108 97 29 163 168 6 88 141 89 146 153 100 148 147 95 134 133 151 142 131 92 22 130 87 90 18 86 28 158 119 154 84 49 136 23 99 162 64 66 125 81 83
a YES
a 1 3 6 9 12 13 15 16 17 20 28 34 40 45 49 51 57 61 63 64 70 72 74 76 79 84 86 94 98 99 105 109 110 112 113 121 125 132 134 135 136 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 9 12 13 15 16 17 20 28 34 40 45 49 51 57 61 63 64 72 74 76 79 84 86 94 98 99 101 105 109 110 112 113 121 125 132 134 135 136 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 9 12 15 16 17 20 28 34 40 45 49 51 57 61 63 64 72 74 76 79 84 86 88 94 98 99 101 105 109 110 112 113 121 125 132 134 135 136 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 9 12 15 16 17 20 28 34 40 45 47 49 51 61 63 64 72 74 76 79 84 86 88 94 98 99 101 105 109 110 112 113 121 125 132 134 135 136 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 9 12 15 16 17 20 34 40 45 47 49 51 61 63 64 65 72 74 76 79 84 86 88 94 98 99 101 105 109 110 112 113 121 125 132 134 135 136 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 9 12 15 16 17 20 28 34 40 45 47 49 51 61 63 64 65 72 74 76 79 84 86 88 94 98 99 101 105 109 110 112 121 125 132 134 135 136 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 9 12 15 16 17 20 28 34 40 45 47 49 51 61 63 64 65 72 74 76 79 86 88 94 98 99 101 105 109 110 112 121 125 132 134 135 136 143 146 147 148 150 152 154 159 163 164 166 169
a 1 3 6 12 15 16 17 20 28 34 40 45 47 49 51 61 63 64 65 72 74 76 79 86 88 94 98 99 101 105 109 110 112 121 125 126 132 134 135 136 143 146 147 148 150 152 154 159 163 164 166 169
a 1 3 6 12 15 16 17 20 28 34 40 45 47 49 51 61 63 64 65 72 74 76 79 84 86 88 94 98 99 101 105 109 110 112 121 125 126 132 134 135 136 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 12 15 16 17 20 28 37 40 45 47 49 51 61 63 64 65 72 74 76 79 84 86 88 94 98 99 101 105 109 110 112 121 125 126 132 134 135 136 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 12 15 16 17 20 28 32 37 40 45 47 49 51 61 63 64 65 72 74 79 84 86 88 94 98 99 101 105 109 110 112 121 125 126 132 134 135 136 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 12 15 16 17 20 28 32 34 40 45 47 49 51 61 63 64 65 72 74 79 84 86 88 94 98 99 101 105 109 110 112 121 125 126 132 134 135 136 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 12 15 16 17 20 28 32 34 40 45 47 49 51 61 63 64 65 72 74 79 84 86 88 89 94 98 99 101 105 109 110 112 121 125 126 132 134 135 136 143 146 147 148 150 152 154 163 164 166
a 1 3 6 12 15 16 17 20 28 32 34 40 45 47 49 51 55 61 63 64 65 72 74 79 84 86 88 89 94 98 99 101 105 109 110 112 121 125 126 134 135 136 143 146 147 148 150 152 154 163 164 166
a 1 3 6 12 15 16 17 20 28 32 34 40 45 47 49 51 61 63 64 65 72 74 79 84 86 88 89 94 98 99 101 105 109 110 112 121 125 126 134 135 136 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 9 12 15 16 17 20 28 32 34 40 45 47 49 51 61 63 64 65 72 74 79 84 86 88 89 94 98 99 101 105 109 110 112 121 125 134 135 136 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 9 12 15 16 17 20 28 32 34 40 45 47 49 51 61 63 65 72 74 79 84 86 88 89 94 98 99 101 105 109 110 112 121 125 132 134 135 136 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 9 12 15 16 17 20 28 32 34 40 45 47 49 51 61 63 65 72 74 79 84 86 88 89 94 98 99 101 105 109 110 112 121 125 132 134 135 136 139 143 146 147 148 150 152 154 163 164 169
a 1 3 6 9 12 15 16 17 20 28 32 34 40 45 47 49 51 61 63 65 73 74 79 84 86 88 89 94 98 99 101 105 109 110 112 121 125 132 134 135 136 139 143 146 147 148 150 152 154 163 164 169
a 1 3 6 9 12 15 16 17 20 28 34 40 45 47 49 51 61 63 65 73 74 79 84 86 88 89 94 98 99 101 105 109 110 112 113 121 125 132 134 135 136 139 143 146 147 148 150 152 154 163 164 169
a 1 3 6 9 12 15 16 17 20 28 34 40 45 47 49 61 63 65 73 74 79 84 86 88 89 94 98 99 101 105 109 110 112 113 121 125 132 134 135 136 139 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 9 12 15 16 17 20 28 32 34 40 45 47 49 61 63 65 73 74 79 84 86 88 89 94 98 99 101 105 109 110 112 121 125 132 134 135 136 139 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 7 9 12 15 16 17 20 28 32 34 40 45 47 49 61 63 65 73 74 79 84 86 88 89 94 98 99 101 105 110 112 121 125 132 134 135 136 139 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 7 9 12 15 16 17 20 28 32 34 40 45 47 49 63 65 73 74 77 79 84 86 88 89 94 98 99 101 105 110 112 121 125 132 134 135 136 139 143 146 147 148 150 152 154 163 164 166 169
a 1 3 6 7 9 12 15 16 17 20 28 32 34 40 45 47 49 63 65 73 74 77 79 84 86 88 89 94 98 99 101 105 110 112 121 125 131 132 134 135 136 139 143 146 147 148 150 152 154 163 164 166
a 1 3 6 7 9 12 15 16 17 20 28 32 34 40 45 47 49 63 65 73 74 77 79 84 86 88 89 94 98 99 101 105 110 112 121 125 131 132 134 136 139 143 146 147 148 150 152 153 154 163 164 166
a 1 3 6 7 9 12 15 16 17 20 28 32 34 40 45 47 49 56 63 65 73 74 77 79 84 86 88 89 94 98 101 105 110 112 121 125 131 132 134 136 139 143 146 147 148 150 152 153 154 163 164 166
a 1 3 6 7 9 12 15 16 17 20 28 32 34 40 45 47 49 56 61 63 65 73 74 79 84 86 88 89 94 98 101 105 110 112 121 125 131 132 134 136 139 143 146 147 148 150 152 153 154 163 164 166
a 1 3 6 7 9 12 15 16 17 20 28 32 34 40 45 47 49 55 56 61 63 65 73 74 79 84 86 88 89 94 98 101 105 110 112 121 125 131 134 136 139 143 146 147 148 150 152 153 154 163 164 166
a 1 3 6 7 9 12 15 16 17 20 28 32 34 40 45 47 49 55 56 61 63 65 73 74 79 84 86 88 89 94 98 101 105 110 112 121 125 131 134 135 136 139 143 146 147 148 150 152 154 163 164 166
a 1 3 6 7 9 12 15 16 17 20 28 34 40 45 47 49 55 56 61 63 65 73 74 76 79 84 86 88 89 94 98 101 105 110 112 121 125 131 134 135 136 139 143 146 147 148 150 152 154 163 164 166
a 1 3 6 9 12 15 16 17 20 28 34 40 45 47 49 55 56 61 63 65 73 74 76 79 84 86 88 89 94 98 101 105 109 110 112 121 125 131 134 135 136 139 143 146 147 148 150 152 154 163 164 166
a 1 3 9 12 15 16 17 20 28 34 40 45 47 49 55 56 61 63 65 73 74 76 79 84 86 88 89 94 98 101 102 105 109 110 112 121 125 131 134 135 136 139 143 146 147 148 150 152 154 163 164 166
a 1 3 9 12 15 16 17 20 28 34 40 45 47 49 55 56 63 65 73 74 76 77 79 84 86 88 89 94 98 101 102 105 109 110 112 121 125 131 134 135 136 139 143 146 147 148 150 152 154 163 164 166
a 1 3 6 9 12 15 16 17 20 28 34 40 45 47 49 55 56 63 65 73 74 76 77 79 84 86 88 89 94 98 101 105 109 110 112 121 125 131 134 135 136 139 143 146 147 148 150 152 154 163 164 166
a 1 3 6 9 12 15 17 20 28 34 40 45 47 49 55 56 63 65 73 74 76 77 79 84 86 88 89 94 98 101 103 105 109 110 112 121 125 131 134 135 136 139 143 146 147 148 150 152 154 163 164 166
a 1 3 6 9 12 15 17 20 28 34 40 45 47 49 56 63 65 73 74 76 77 79 84 86 88 89 94 98 101 103 105 109 110 112 121 125 131 134 135 136 139 143 146 147 148 150 152 154 163 164 165 166
a 1 3 6 9 12 15 17 20 22 28 34 40 45 47 49 56 65 73 74 76 77 79 84 86 88 89 94 98 101 103 105 109 110 112 121 125 131 134 135 136 139 143 146 147 148 150 152 154 163 164 165 166
a 1 3 6 9 12 15 17 20 22 28 34 40 45 47 49 51 56 65 73 74 76 77 79 84 86 88 89 94 98 101 103 105 109 110 112 121 125 131 134 135 136 139 143 146 147 148 150 152 154 163 164 165
a 1 3 6 9 12 15 17 20 22 28 34 40 45 47 49 51 56 65 66 73 74 76 77 79 84 86 88 89 94 98 101 103 105 110 112 121 125 131 134 135 136 139 143 146 147 148 150 152 154 163 164 165
a 3 6 9 12 15 17 20 22 28 34 40 45 47 49 51 56 65 66 73 74 76 77 79 84 86 88 89 94 98 99 101 103 105 110 112 121 125 131 134 135 136 139 143 146 147 148 150 152 154 163 164 165
a 3 6 9 12 15 17 20 22 28 34 40 45 47 49 51 56 65 66 73 74 76 77 79 84 86 88 89 94 98 99 101 103 105 110 112 121 125 134 135 136 139 143 146 147 148 150 152 154 163 164 165 169
a 1 6 9 12 15 17 20 22 28 34 40 45 47 49 51 56 65 66 73 74 76 77 79 84 86 88 89 94 98 99 101 103 105 110 112 121 125 134 135 136 139 143 146 147 148 150 152 154 163 164 165 169
a 1 6 9 12 15 17 20 22 28 34 40 45 47 49 51 65 66 73 74 76 77 79 84 86 88 89 94 98 99 101 103 105 110 112 113 121 125 134 135 136 139 143 146 147 148 150 152 154 163 164 165 169
a 1 6 9 12 15 17 20 22 28 34 40 45 47 49 51 65 66 73 74 76 77 79 80 84 86 88 89 94 98 99 101 103 105 110 112 113 121 125 134 135 136 139 143 146 147 148 150 152 154 164 165 169
a 1 3 6 9 12 15 17 20 28 34 40 45 47 49 51 65 66 73 74 76 77 79 80 84 86 88 89 94 98 99 101 103 105 110 112 113 121 125 134 135 136 139 143 146 147 148 150 152 154 164 165 169
a 1 3 6 9 12 15 17 20 28 34 40 45 47 49 51 56 65 66 73 74 76 77 79 80 84 86 88 89 94 98 99 101 103 105 110 112 121 125 134 135 136 139 143 146 147 148 150 152 154 164 165 169
a 1 3 6 9 12 15 17 20 28 34 40 45 47 49 51 56 65 66 73 74 76 77 79 80 84 86 88 94 98 99 101 103 105 110 112 121 125 132 134 135 136 139 143 146 147 148 150 152 154 164 165 169
a 1 3 6 9 12 15 17 20 28 34 40 45 47 49 51 56 65 66 73 74 76 77 79 80 84 86 88 94 98 99 101 103 105 110 112 121 125 132 134 135 136 139 143 144 147 148 150 152 154 164 165 169
a 1 3 6 9 12 15 17 20 28 37 40 45 47 49 51 56 65 66 73 74 76 77 79 80 84 86 88 94 98 99 101 103 105 110 112 121 125 132 134 135 136 139 143 144 147 148 150 152 154 164 165 169
a 1 3 6 9 12 15 17 20 28 37 40 45 47 49 51 56 65 66 73 74 76 77 79 80 84 86 88 94 98 99 101 103 105 110 112 121 125 132 134 135 136 139 143 146 147 148 150 152 154 164 165 169
a 1 3 6 9 12 15 17 20 28 37 40 45 47 49 51 56 65 66 73 74 76 77 79 80 84 86 88 94 96 98 99 101 103 105 112 121 125 132 134 135 136 139 143 146 147 148 150 152 154 164 165 169
a 1 3 6 9 12 15 17 20 28 37 40 45 47 49 51 56 65 66 73 74 76 77 79 80 84 86 88 89 94 96 98 99 101 103 112 121 125 132 134 135 136 139 143 146 147 148 150 152 154 164 165 169
a 1 3 6 9 12 15 17 20 28 37 40 45 47 49 51 56 65 73 74 76 77 79 80 84 86 88 89 94 96 98 99 101 103 109 112 121 125 132 134 135 136 139 143 146 147 148 150 152 154 164 165 169
a 1 3 6 9 12 15 17 20 28 37 40 45 47 49 51 56 65 73 74 76 77 79 84 86 88 89 94 96 98 99 101 103 109 112 121 125 132 134 135 136 139 143 146 147 148 150 152 154 164 165 166 169
a 1 3 6 9 12 15 20 28 37 40 45 47 49 51 56 63 65 73 74 76 77 79 84 86 88 89 94 96 98 99 101 103 109 112 121 125 132 134 135 136 139 143 146 147 148 150 152 154 164 165 166 169
a 1 3 6 9 12 15 17 20 28 37 40 45 47 49 51 56 63 65 73 74 76 77 79 84 86 88 89 94 96 98 99 101 103 109 112 121 125 132 134 135 136 139 143 146 147 148 150 152 154 164 165 166
a 1 3 6 9 12 15 17 20 28 37 40 45 47 49 51 56 61 63 65 73 74 76 79 84 86 88 89 94 96 98 99 101 103 109 112 121 125 132 134 135 136 139 143 146 147 148 150 152 154 164 165 166
a 1 3 6 9 12 15 17 20 28 37 40 45 47 49 51 56 61 63 65 73 74 76 79 84 86 88 89 94 96 98 99 101 103 109 112 121 125 132 134 135 136 139 143 146 147 148 150 152 154 163 164 165
a 1 3 6 9 12 15 17 20 28 37 40 45 47 49 51 61 63 65 73 74 76 79 84 86 88 89 94 96 98 99 101 103 109 112 113 121 125 132 134 135 136 139 143 146 147 148 150 152 154 163 164 165
a 1 3 6 9 12 15 17 20 28 37 40 45 47 49 51 61 63 65 73 74 76 79 84 86 88 89 94 96 98 99 101 103 109 112 113 121 125 132 134 135 136 139 143 146 147 148 150 152 154 163 164 166
a 1 3 6 9 12 15 17 20 28 37 40 45 47 49 51 61 63 65 73 74 76 79 84 86 88 89 94 96 98 99 101 103 109 112 113 118 121 125 132 134 135 136 139 143 147 148 150 152 154 163 164 166
a 1 3 6 9 12 15 17 20 28 37 40 45 47 49 51 61 63 65 72 74 76 79 84 86 88 89 94 96 98 99 101 103 109 112 113 118 121 125 132 134 135 136 139 143 147 148 150 152 154 163 164 166
a 1 3 6 9 12 15 17 20 28 37 40 45 47 49 51 61 63 64 65 72 74 79 84 86 88 89 94 96 98 99 101 103 109 112 113 118 121 125 132 134 135 136 139 143 147 148 150 152 154 163 164 166
a 1 3 6 9 12 15 17 20 28 37 40 45 47 49 51 61 63 64 65 72 74 79 84 86 88 89 94 96 98 99 101 103 109 112 113 118 121 125 132 134 135 136 139 142 143 147 148 150 152 154 163 164
a 1 3 6 12 15 17 20 26 28 37 40 45 47 49 51 61 63 64 65 72 74 79 84 86 88 89 94 96 98 99 101 103 109 112 113 118 121 125 132 134 135 136 139 142 143 147 148 150 152 154 163 164
a 1 3 6 12 15 17 20 26 28 37 40 45 47 49 51 61 63 64 65 72 74 79 84 86 88 94 96 98 99 101 103 109 112 113 118 121 125 132 134 135 136 139 142 143 147 148 150 152 154 163 164 166
a 1 3 6 12 15 17 20 26 28 37 40 45 47 49 51 61 63 64 65 72 74 79 84 86 88 94 96 99 101 103 109 112 113 118 121 125 126 132 134 135 136 139 142 143 147 148 150 152 154 163 164 166
a 1 3 6 12 15 17 20 26 28 37 40 45 47 49 51 61 63 64 65 72 74 79 86 88 94 96 99 101 103 105 109 112 113 118 121 125 126 132 134 135 136 139 142 143 147 148 150 152 154 163 164 166
a 1 3 6 12 15 17 20 26 28 37 40 45 47 49 51 61 63 64 65 72 74 79 86 88 94 96 99 101 103 105 109 112 113 118 121 125 126 132 134 135 136 139 142 143 147 148 150 152 154 159 163 164
a 1 3 6 12 15 17 20 26 28 37 40 45 47 49 51 61 63 64 65 72 74 79 86 88 94 96 99 101 103 105 109 112 113 118 121 125 126 127 132 134 135 136 139 142 143 147 148 150 152 154 163 164
a 1 3 6 12 15 17 20 26 28 37 40 45 47 49 61 63 64 65 72 74 79 86 88 94 96 99 101 103 105 109 112 113 118 121 125 126 127 132 134 135 136 139 142 143 147 148 150 152 154 159 163 164
a 1 3 6 15 17 20 26 28 37 40 45 47 49 61 63 64 65 72 74 79 86 88 89 94 96 99 101 103 105 109 112 113 118 121 125 126 127 132 134 135 136 139 142 143 147 148 150 152 154 159 163 164
a 1 3 6 12 15 17 20 26 28 37 40 45 47 49 61 63 64 65 72 74 79 86 88 89 94 96 99 101 103 105 109 112 113 118 121 125 126 127 132 134 136 139 142 143 147 148 150 152 154 159 163 164
a 1 3 6 12 15 17 20 26 28 37 40 45 47 49 61 63 64 65 72 74 79 86 88 89 94 96 99 101 103 105 109 112 113 118 121 125 126 127 132 134 135 136 139 142 143 147 148 150 152 159 163 164
a 1 3 6 12 15 17 20 26 28 37 40 45 47 49 61 63 64 65 72 74 79 86 88 89 94 96 99 101 103 105 109 112 113 118 121 125 126 127 132 134 135 136 139 142 143 147 148 150 152 154 163 164
a 1 3 6 12 15 17 20 26 28 40 45 47 49 61 63 64 65 72 74 79 86 88 89 94 96 99 101 103 105 109 112 113 118 121 125 126 127 132 134 135 136 139 142 143 147 148 150 152 154 159 163 164
a 1 3 6 12 15 17 20 26 28 40 41 45 47 49 61 63 64 65 72 74 79 88 89 94 96 99 101 103 105 109 112 113 118 121 125 126 127 132 134 135 136 139 142 143 147 148 150 152 154 159 163 164
a 1 3 6 12 15 17 20 26 28 40 41 45 47 49 51 61 63 64 65 72 74 79 88 89 94 96 99 101 103 105 109 112 113 118 121 125 126 127 132 134 135 136 139 142 143 147 148 150 152 154 159 163
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 61 63 64 65 72 74 79 88 89 94 96 99 101 103 105 109 112 113 118 121 125 126 127 132 134 135 136 139 142 143 147 148 150 152 154 163
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 61 63 64 65 72 74 79 86 88 89 94 96 99 101 103 105 109 112 113 118 121 125 127 132 134 135 136 139 142 143 147 148 150 152 154 163
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 61 63 64 65 72 74 79 86 88 89 94 96 99 101 103 105 109 112 113 118 121 125 127 132 134 135 136 139 142 143 147 148 150 152 154 164
a 1 3 6 12 15 17 20 26 28 34 41 45 47 49 51 61 63 64 65 72 74 79 86 88 89 94 96 99 101 103 105 109 112 113 118 121 125 127 132 134 135 136 139 142 143 147 148 150 152 154 159 164
a 1 3 6 12 15 17 20 26 28 34 41 45 47 49 51 61 63 64 65 72 74 79 86 88 89 94 96 99 101 103 105 109 112 113 118 121 125 126 127 134 135 136 139 142 143 147 148 150 152 154 159 164
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 61 63 64 65 72 74 79 86 88 89 94 96 99 101 103 105 109 112 113 118 121 125 126 127 134 135 136 139 142 143 147 148 150 152 154 159
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 61 63 64 65 72 74 79 86 88 89 94 96 99 101 103 105 109 112 113 118 121 125 126 127 134 135 136 142 143 147 148 150 152 154 159 164
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 60 61 63 64 65 72 74 79 86 88 89 94 96 99 103 105 109 112 113 118 121 125 126 127 134 135 136 142 143 147 148 150 152 154 159 164
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 60 61 63 64 65 72 74 79 86 88 89 94 96 99 103 105 109 113 118 121 125 126 127 134 135 136 142 143 147 148 150 152 154 159 164 168
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 61 63 64 65 72 74 79 86 88 89 94 96 99 101 103 105 109 113 118 121 125 126 127 134 135 136 142 143 147 148 150 152 154 159 164 168
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 61 63 64 65 72 74 79 86 88 89 94 96 99 101 103 105 109 113 118 121 125 126 127 134 135 136 142 143 147 148 150 152 154 163 164 168
a 1 3 6 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 96 99 101 103 105 109 113 118 121 125 126 127 134 135 136 142 143 147 148 150 152 154 163 164 168
a 1 3 6 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 96 99 100 101 105 109 113 118 121 125 126 127 134 135 136 142 143 147 148 150 152 154 163 164 168
a 1 3 6 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 96 99 100 101 105 109 113 118 121 125 126 127 134 135 136 142 143 147 148 150 152 154 159 164 168
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 96 99 100 101 105 109 113 118 121 125 126 127 134 135 136 143 147 148 150 152 154 159 164 168
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 96 99 100 101 105 109 113 118 121 126 127 134 135 136 139 143 147 148 150 152 154 159 164 168
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 79 86 88 89 94 96 99 100 101 105 109 113 118 121 126 127 134 135 136 139 143 147 148 150 152 154 159 163 164 168
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 79 86 88 89 94 96 99 100 101 105 109 113 118 121 126 127 134 135 136 139 142 143 147 148 150 152 154 159 163 168
a 1 3 6 12 15 17 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 79 86 88 89 94 96 99 100 101 105 109 113 118 121 125 126 127 134 135 136 139 142 143 147 148 150 152 154 159 163 168
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 79 86 88 89 94 96 99 100 101 105 109 113 118 121 125 126 127 134 135 136 139 142 143 147 148 150 152 154 159 163
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 96 99 100 101 105 109 113 118 121 125 126 127 134 135 136 139 142 143 147 148 152 154 159 163
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 142 143 147 148 152 154 159 163
a 1 3 6 12 15 17 20 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 142 143 147 148 152 154 159 163 166
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 142 143 147 148 152 154 159 163 166
a 1 3 6 12 15 17 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 142 143 147 148 150 152 154 159 163 166
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 142 143 147 148 150 154 159 163 166
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 72 74 79 86 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 142 143 147 148 150 152 154 159 163 166
a 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 142 143 147 148 150 152 154 159 163 166
a 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 74 79 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 142 143 147 148 150 152 154 159 163 166
a 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 142 143 147 148 150 152 154 159 163 166
a 1 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 142 143 147 148 150 152 154 159 163 166
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 142 143 147 148 150 152 154 159 163
a 1 3 6 12 15 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 142 143 147 148 150 152 154 159 163
a 1 3 6 12 15 17 20 26 28 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 142 143 147 148 150 152 154 159 163
a 1 3 6 12 15 17 20 26 28 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 143 147 148 150 152 154 159 163 166
a 1 3 6 12 15 17 20 26 28 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 143 147 148 150 152 154 159 166 168
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 143 147 148 150 152 154 159 166
a 1 3 6 12 15 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 143 147 148 150 152 154 166 168
a 1 3 6 12 15 16 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 143 147 148 150 152 154 166
a 1 3 6 12 15 16 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 134 135 136 139 143 147 148 152 154 163 166
a 1 3 6 8 12 15 16 17 20 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 143 147 148 152 154 163 166
a 1 3 6 8 12 15 16 17 20 25 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 143 147 152 154 163 166
a 3 6 8 12 15 16 17 20 25 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 143 147 150 152 154 163 166
a 3 6 8 12 15 16 17 25 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 88 89 93 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 143 147 150 152 154 163 166
a 1 3 6 8 12 15 16 17 25 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 86 89 93 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 143 147 150 152 154 163 166
a 1 3 6 8 12 15 16 25 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 84 86 89 93 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 143 147 150 152 154 163 166
a 1 3 6 8 12 15 16 17 25 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 84 86 89 93 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 143 147 150 152 154 163 166
a 1 3 6 8 12 15 16 17 25 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 84 86 89 93 94 99 100 105 109 110 113 118 121 125 126 127 135 136 139 143 147 150 152 154 163 166
a 1 3 6 8 12 15 16 17 25 26 28 34 40 41 45 47 49 51 55 61 63 64 65 72 74 79 84 86 89 93 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 143 147 150 152 154 163
a 1 3 6 8 12 15 17 25 26 28 34 39 40 41 45 47 49 51 55 61 63 64 65 72 74 79 84 86 89 93 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 143 147 150 152 154 163
a 1 3 6 8 12 15 17 25 26 28 34 39 40 41 45 47 49 51 55 61 63 64 65 68 72 74 79 84 86 89 93 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 147 150 152 154 163
a 1 3 8 12 15 17 25 26 28 34 39 40 41 45 47 49 51 55 61 63 64 65 68 72 74 79 84 86 88 89 93 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 147 150 152 154 163
a 1 3 8 12 15 16 17 25 26 28 34 39 40 41 45 47 49 51 55 61 63 64 65 68 72 74 79 84 86 89 93 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 147 150 152 154 163
a 1 3 6 8 12 15 16 17 25 26 28 34 39 40 41 45 47 49 51 55 61 63 64 65 68 72 74 84 86 89 93 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 147 150 152 154 163
a 1 3 6 8 12 15 16 17 26 28 34 39 40 41 45 47 49 51 55 61 63 64 65 68 72 74 84 86 89 93 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 147 148 150 152 154 163
a 1 3 6 8 12 15 16 17 26 28 34 39 40 41 45 47 49 51 55 61 63 64 65 68 72 74 84 86 89 93 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 147 148 150 152 154 164
a 1 3 6 8 12 15 16 17 26 34 39 40 41 45 47 49 51 55 61 63 64 65 68 72 74 84 86 88 89 93 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 147 148 150 152 154 164
a 1 3 6 8 12 15 16 17 26 34 39 40 45 47 49 51 55 61 63 64 65 68 72 74 79 84 86 88 89 93 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 147 148 150 152 154 164
a 1 3 6 8 12 15 16 17 26 28 34 40 45 47 49 51 55 61 63 64 65 68 72 74 79 84 86 88 89 93 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 147 148 150 152 154 164
a 1 3 6 8 12 15 16 17 20 26 28 34 40 45 47 49 51 55 61 63 64 65 68 72 74 79 84 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 147 148 150 152 154 164
a 1 3 6 8 12 15 16 17 20 26 28 34 39 40 45 47 49 51 55 61 63 64 65 68 72 74 79 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 147 148 150 152 154 164
a 1 3 6 8 12 15 16 17 20 26 28 34 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 135 136 139 147 148 150 152 154 164
a 1 3 6 8 12 15 16 17 20 26 28 34 39 40 41 45 47 49 51 61 63 64 65 68 72 74 86 88 89 94 99 100 101 105 109 110 113 118 121 125 126 127 132 135 136 139 147 148 150 152 154 164
a 1 3 6 8 12 15 16 17 20 26 28 34 39 40 41 45 47 49 51 61 63 64 65 68 72 74 86 88 89 94 96 99 100 101 105 109 113 118 121 125 126 127 132 135 136 139 147 148 150 152 154 164
a 1 3 6 8 12 15 16 17 20 26 28 34 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 86 88 89 94 96 99 100 101 105 109 113 118 121 125 126 127 132 135 136 139 147 148 150 152 164
a 1 3 6 8 12 15 16 17 20 26 28 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 86 88 89 94 95 96 99 100 101 105 109 113 118 121 125 126 127 132 135 136 139 147 148 150 152 164
a 1 3 8 12 15 16 17 20 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 86 88 89 94 95 96 99 100 101 105 109 113 118 121 125 126 127 132 135 136 139 147 148 150 152 164
a 1 3 8 12 15 16 17 20 26 28 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 86 88 89 94 95 96 99 100 101 105 109 113 118 121 125 126 127 132 135 136 139 147 148 150 152
a 1 3 8 12 15 16 17 26 28 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 86 88 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 147 148 150 152
a 1 3 8 12 15 16 17 26 28 37 39 40 41 45 47 48 49 51 61 63 64 65 72 74 79 86 88 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 143 147 148 150 152
a 1 3 6 8 12 15 16 17 26 28 37 39 41 45 47 48 49 51 61 63 64 65 72 74 79 86 88 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 143 147 148 150 152
a 1 3 6 8 12 15 16 17 26 28 37 39 40 41 45 47 48 49 51 61 63 64 65 72 74 79 86 88 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 143 147 148 150
a 1 3 6 8 12 15 16 17 26 28 37 39 40 41 45 47 48 49 51 61 63 64 65 72 74 79 86 88 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 143 147 150 152
a 1 3 6 8 12 15 16 17 26 28 37 39 40 41 45 47 48 49 51 61 63 64 65 72 74 79 86 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 143 147 148 150 152
a 1 3 6 8 12 15 16 17 20 26 28 37 39 40 41 45 47 48 49 51 61 63 64 65 72 74 79 86 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 135 136 139 143 147 148 150 152
a 1 3 6 8 12 15 16 17 20 26 28 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 86 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 135 136 139 147 148 150 152
a 1 3 6 8 12 15 17 20 26 28 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 86 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 135 136 139 147 148 150 152 165
a 1 3 6 8 12 15 17 20 26 28 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 84 86 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 135 136 139 147 148 150 152
a 1 3 6 8 12 15 17 20 26 28 37 39 40 41 45 47 48 49 51 61 64 65 68 72 74 79 84 86 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 147 148 150 152
a 1 3 6 8 12 15 17 20 26 28 37 39 40 41 45 47 48 49 51 61 64 65 68 72 74 79 84 86 88 89 94 95 96 99 100 101 105 109 112 113 118 125 126 127 132 135 136 139 147 148 150 152
a 1 3 6 8 12 15 17 20 26 28 37 39 40 41 45 47 48 49 51 61 64 65 68 72 74 79 86 88 89 94 95 96 99 100 101 105 109 112 113 118 125 126 127 132 135 136 139 147 148 150 152 159
a 1 3 6 8 12 15 17 20 26 28 37 39 40 41 45 47 48 49 51 61 64 65 72 74 79 86 88 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 147 148 150 152 159
a 1 3 6 8 12 15 17 20 26 28 37 39 40 41 45 47 48 49 51 61 64 65 72 74 79 86 88 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 147 148 150 152 154
a 1 3 6 8 12 15 17 20 26 28 37 39 40 41 45 47 48 51 61 64 65 72 74 79 86 88 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 147 148 150 152 154 165
a 1 3 6 8 12 15 17 20 26 28 37 39 40 41 45 47 48 49 51 61 64 65 72 74 79 86 88 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 147 148 150 154 165
a 3 6 8 12 15 17 20 26 28 37 39 40 41 45 47 48 49 51 61 64 65 72 74 79 86 88 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 143 147 148 150 154 165
a 3 6 8 12 15 17 20 26 28 37 39 41 45 47 48 49 51 61 64 65 72 74 79 86 88 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 143 147 148 150 152 154 165
a 6 8 12 15 17 20 24 26 28 37 39 41 45 47 48 49 51 61 64 65 72 74 79 86 88 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 143 147 148 150 152 154 165
a 1 6 8 12 15 17 20 24 26 28 37 39 41 45 47 48 49 51 61 64 65 72 74 79 86 88 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 143 147 148 150 152 154
a 1 6 8 12 15 17 20 21 24 26 28 37 39 41 45 47 48 49 51 61 64 65 72 74 79 86 88 89 94 95 96 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 143 147 150 152 154
a 1 6 8 12 15 17 20 21 24 26 28 37 39 41 45 47 48 49 51 61 64 65 72 74 79 86 88 89 94 95 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 143 147 149 150 152 154
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 41 45 47 48 49 51 61 64 65 72 74 79 86 88 89 94 95 99 100 101 105 109 112 113 118 121 125 126 127 132 135 136 139 143 147 149 150 154
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 41 45 47 49 51 61 64 65 72 74 79 86 88 89 94 95 99 100 101 105 109 112 113 118 121 125 126 127 131 132 135 136 139 143 147 149 150 154
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 41 45 47 49 51 61 64 65 72 74 79 86 88 89 94 95 99 100 101 105 109 112 113 118 121 125 126 127 131 132 135 136 139 142 143 147 149 150
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 41 45 47 49 51 61 64 65 68 72 74 79 86 88 89 94 95 99 100 101 105 109 112 113 118 121 125 126 127 131 132 135 136 139 142 147 149 150
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 41 45 47 49 51 61 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 105 109 113 118 121 125 126 127 131 132 135 136 139 142 147 149 150
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 105 109 113 118 121 125 126 127 131 132 135 136 139 147 149 150
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 105 109 113 118 121 125 126 131 132 135 136 139 147 149 150
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 105 109 113 118 121 125 131 132 133 135 136 139 147 149 150
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 105 109 113 118 121 125 131 132 133 135 136 139 142 147 149
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 105 109 113 118 121 125 127 131 132 133 135 136 139 142 147
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 105 109 113 118 121 125 127 132 133 135 136 139 142 147 150
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 105 109 113 118 121 125 127 132 133 135 139 142 147 150 152
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 105 109 113 118 121 125 126 127 132 133 135 139 142 147 150
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 109 113 118 121 125 126 127 132 133 135 139 142 147 150 163
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 109 113 118 121 125 126 127 131 132 133 139 142 147 150 163
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 109 113 118 121 125 126 127 131 132 133 136 139 142 147 150
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 109 113 118 121 125 126 127 131 132 133 135 136 139 142 147 150
a 1 6 8 12 15 17 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 109 113 118 121 125 126 127 131 132 133 135 136 139 142 147 150
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 109 113 118 121 125 126 127 131 132 133 135 136 139 142 147
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 109 113 118 121 124 125 126 127 131 132 133 135 136 139 142
a 1 6 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 109 113 118 121 124 125 126 127 131 132 133 135 136 139 142 168
a 1 6 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 100 101 109 110 113 118 121 124 125 126 127 131 132 133 135 136 139 142
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 101 109 110 113 118 121 124 125 126 127 131 132 133 135 136 139 142
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 99 101 109 110 113 118 121 124 125 126 127 131 132 133 135 139 142 150
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 86 88 89 94 95 101 109 110 113 118 121 124 125 126 127 131 132 133 135 136 139 142 150
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 109 110 113 118 121 124 125 126 127 131 132 133 135 136 139 142 150
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 109 110 113 118 121 124 125 126 127 132 133 135 136 139 142 147 150
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 103 109 110 113 118 121 124 125 126 127 132 133 135 136 139 142 147
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 103 109 110 113 118 121 124 125 126 127 132 133 135 136 139 142
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 103 109 110 113 118 121 124 125 126 127 132 133 135 136 139 152
a 1 6 8 12 15 17 20 21 24 25 26 28 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 103 109 110 113 118 121 124 125 126 127 132 133 136 139 152 159
a 1 6 8 12 15 17 20 21 24 25 26 30 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 103 109 110 113 118 121 124 125 126 127 132 133 136 139 152 159
a 1 6 8 12 15 17 20 21 24 25 26 28 30 37 39 40 41 45 48 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 103 109 110 113 118 121 124 125 126 127 132 133 136 139 152 159
a 1 6 8 12 15 17 20 21 24 25 26 28 30 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 103 109 110 113 118 121 124 125 126 127 132 133 136 139 152
a 1 6 8 12 15 17 20 21 24 25 26 28 30 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 103 109 110 113 118 121 124 125 126 127 132 133 136 139 159
a 1 6 8 12 15 17 20 21 24 25 26 28 30 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 103 109 110 113 118 124 125 126 127 132 133 136 139 159 163
a 1 6 8 12 15 17 20 21 24 25 26 28 30 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 103 109 110 113 118 124 125 126 127 132 133 136 139 152 159
a 1 6 8 12 15 17 20 21 24 25 26 28 30 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 103 109 110 113 118 124 125 126 127 132 133 135 136 139 159
a 1 6 8 12 15 17 20 21 24 25 26 28 30 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 103 109 110 113 118 124 125 126 127 132 133 135 136 139 164
a 1 6 8 12 15 17 20 21 24 25 26 28 30 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 103 109 110 113 118 124 125 126 127 132 133 135 136 159 164
a 1 6 8 12 15 17 20 21 24 25 26 28 30 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 103 109 110 113 118 124 125 126 127 132 133 135 136 150 159
a 1 6 8 12 15 17 20 21 24 25 26 28 30 37 39 40 41 45 47 48 49 51 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 103 109 110 113 118 124 125 126 127 132 133 135 136 150 168
a 1 6 8 12 15 17 20 21 24 25 26 28 30 37 39 40 41 45 47 48 49 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 103 109 110 113 118 121 124 125 126 127 132 133 135 136 150 168
a 1 6 8 12 15 16 17 20 21 24 25 26 28 30 37 39 40 41 45 47 48 49 61 63 64 65 68 72 74 79 83 88 89 94 95 99 101 109 110 113 118 121 124 125 126 127 132 133 135 136 150 168
a 1 6 8 12 15 16 17 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 63 64 65 68 72 74 76 79 83 88 89 94 95 99 101 109 110 113 118 121 124 125 126 127 132 133 135 136 150 168
a 1 6 8 12 15 16 17 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 63 64 65 68 72 74 76 79 83 88 89 94 95 99 101 109 110 113 118 121 124 125 126 127 132 133 135 136 150 152
a 1 6 8 12 16 17 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 63 64 65 68 72 74 76 79 83 88 89 92 94 95 99 101 109 110 113 118 121 124 125 126 127 132 133 135 136 150 152
a 1 6 8 12 16 17 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 63 64 65 68 72 74 76 79 83 88 89 92 94 95 99 101 109 110 113 118 121 124 125 126 127 132 133 135 136 150 159
a 1 6 8 12 16 17 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 63 64 65 68 72 74 76 79 83 88 92 94 95 99 101 109 110 113 118 121 124 125 126 127 132 133 135 136 150 159 168
a 1 6 8 12 15 16 17 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 63 64 65 68 72 74 76 79 83 88 92 94 95 99 101 109 110 113 118 121 124 125 126 127 132 133 135 136 150 159
a 1 6 8 12 15 16 17 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 62 63 64 65 68 72 74 76 79 83 88 92 94 95 99 101 109 110 113 118 121 124 125 126 127 132 133 135 136 150
a 1 6 8 12 15 16 17 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 62 63 64 65 68 72 74 76 79 83 88 89 92 94 95 99 101 109 110 113 118 121 124 125 126 127 132 133 135 136
a 1 6 8 12 15 16 17 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 62 63 64 65 68 72 74 76 79 83 84 88 89 92 94 95 99 101 109 113 118 121 124 125 126 127 132 133 135 136
a 1 6 8 12 15 16 17 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 62 63 64 65 68 72 74 76 79 83 84 88 89 92 94 95 99 101 109 113 118 121 124 125 126 127 132 133 135 152
a 1 6 8 12 15 16 17 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 62 63 64 65 68 72 74 76 79 83 84 88 89 92 94 95 99 100 101 109 113 118 121 124 125 126 127 132 135 152
a 1 6 8 12 15 16 17 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 62 63 64 65 68 72 76 79 83 84 88 89 92 94 95 99 100 101 105 109 113 118 121 124 125 126 127 132 135 152
a 1 6 8 12 15 16 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 62 63 64 65 68 72 74 76 79 83 84 88 89 92 94 95 99 100 101 105 109 113 118 121 124 125 126 127 132 135 152
a 1 8 12 15 16 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 62 63 64 65 68 72 74 76 79 83 84 88 89 92 94 95 99 100 101 105 109 113 118 121 124 125 126 127 132 135 152 168
a 1 8 12 15 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 62 63 64 65 68 72 74 76 79 83 84 88 89 92 94 95 99 100 101 105 109 110 113 118 121 124 125 126 127 132 135 152 168
a 1 8 12 15 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 62 63 64 65 68 72 74 76 79 83 84 88 89 92 94 95 99 100 101 105 109 110 113 118 121 124 125 126 127 132 135 165 168
a 1 8 12 15 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 62 63 64 65 68 72 74 76 79 83 84 88 89 92 94 95 99 100 101 105 109 110 113 118 121 124 125 126 127 132 133 165 168
a 1 6 8 12 15 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 62 63 64 65 68 72 74 76 79 83 84 88 89 92 94 95 99 100 101 105 109 113 118 121 124 125 126 127 132 133 165 168
a 1 6 8 12 15 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 62 63 64 65 68 72 74 76 79 83 84 88 89 92 94 95 99 100 101 105 109 118 121 124 125 126 127 132 133 136 165 168
a 1 6 8 12 15 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 62 63 64 65 68 72 74 76 79 83 84 88 89 92 94 95 99 100 101 105 109 118 121 124 125 126 127 133 136 147 165 168
a 1 6 8 12 15 20 21 24 25 28 30 37 39 40 41 45 47 48 49 61 62 63 64 65 68 72 74 76 79 83 84 88 89 92 94 95 99 100 101 109 118 121 124 125 126 127 133 136 147 163 165 168
a 1 6 8 12 15 20 21 24 25 28 30 37 40 41 45 47 48 49 61 62 63 64 65 68 72 74 76 79 83 84 88 89 92 94 95 96 99 100 101 109 118 121 124 125 126 127 133 136 147 163 165 168
a 1 6 8 12 15 20 21 24 25 28 30 37 40 41 45 47 48 49 61 62 63 64 65 68 72 74 76 79 83 84 88 89 92 95 96 99 100 101 109 118 121 124 125 126 127 133 136 142 147 163 165 168
a 1 6 8 12 15 20 21 24 25 28 30 37 40 41 45 47 48 49 61 62 63 64 65 68 72 76 79 83 84 88 89 92 95 96 99 100 101 109 118 121 124 125 126 127 133 136 142 147 162 163 165 168
a 1 6 8 12 15 20 21 24 25 28 30 37 40 41 45 47 48 49 61 62 63 64 65 68 72 76 79 83 84 88 89 90 92 95 96 99 100 101 109 118 121 124 125 126 133 136 142 147 162 163 165 168
a 1 6 8 12 15 20 21 23 24 25 28 30 40 41 45 47 48 49 61 62 63 64 65 68 72 76 79 83 84 88 89 90 92 95 96 99 100 101 109 118 121 124 125 126 133 136 142 147 162 163 165 168
a 1 6 8 15 20 21 23 24 25 28 30 40 41 45 47 48 49 61 62 63 64 65 68 72 76 79 83 84 88 89 90 92 95 96 97 99 100 101 109 118 121 124 125 126 133 136 142 147 162 163 165 168
a 1 6 8 15 20 21 23 24 25 28 30 40 41 45 47 49 61 62 63 64 65 68 72 76 79 83 84 88 89 90 92 95 96 97 99 100 101 109 118 121 124 125 126 131 133 136 142 147 162 163 165 168
a 1 6 7 8 15 20 21 23 24 25 28 30 40 41 45 47 49 61 62 63 64 65 68 72 76 79 83 84 88 89 90 92 95 96 97 99 100 101 118 121 124 125 126 131 133 136 142 147 162 163 165 168
a 1 6 7 8 15 20 21 23 24 25 28 30 40 41 45 47 49 61 62 63 64 65 72 76 79 83 84 88 89 90 92 95 96 97 99 100 101 118 121 124 125 126 131 133 136 142 147 153 162 163 165 168
a 1 6 7 8 15 20 21 23 24 25 28 30 40 41 45 47 49 61 62 63 64 65 72 76 81 83 84 88 89 90 92 95 96 97 99 100 101 118 121 124 125 126 131 133 136 142 147 153 162 163 165 168
a 1 6 7 8 15 20 21 23 24 25 28 29 30 40 41 47 49 61 62 63 64 65 72 76 81 83 84 88 89 90 92 95 96 97 99 100 101 118 121 124 125 126 131 133 136 142 147 153 162 163 165 168
a 1 6 7 8 15 20 21 23 24 25 28 29 30 40 41 47 49 61 62 64 65 72 76 81 83 84 88 89 90 92 95 96 97 99 100 101 118 121 124 125 126 130 131 133 136 142 147 153 162 163 165 168
a 1 6 7 8 15 20 21 22 23 24 25 28 29 30 40 41 47 49 61 62 64 65 72 76 81 83 84 88 89 90 92 95 96 97 99 100 101 118 121 124 125 130 131 133 136 142 147 153 162 163 165 168
a 1 6 7 8 15 20 21 22 23 24 25 28 29 40 41 47 49 61 62 64 65 72 76 81 83 84 88 89 90 92 95 96 97 99 100 101 118 121 124 125 130 131 133 136 142 147 153 154 162 163 165 168
a 1 6 7 8 15 18 20 21 22 23 24 25 28 29 40 41 47 49 62 64 65 72 76 81 83 84 88 89 90 92 95 96 97 99 100 101 118 121 124 125 130 131 133 136 142 147 153 154 162 163 165 168
a 1 6 7 8 15 18 20 21 22 23 24 25 28 29 40 41 47 49 62 64 72 76 81 83 84 88 89 90 92 95 96 97 99 100 101 118 121 124 125 130 131 133 136 142 147 153 154 158 162 163 165 168
a 1 6 7 8 15 18 20 21 22 23 25 28 29 40 41 47 49 62 64 66 72 76 81 83 84 88 89 90 92 95 96 97 99 100 101 118 121 124 125 130 131 133 136 142 147 153 154 158 162 163 165 168
a 1 6 7 8 18 20 21 22 23 25 28 29 40 41 47 49 62 64 66 72 76 81 83 84 88 89 90 92 95 96 97 99 100 101 118 121 124 125 130 131 133 136 142 147 151 153 154 158 162 163 165 168
a 1 6 7 18 20 21 22 23 25 28 29 40 41 47 49 62 64 66 72 76 81 83 84 88 89 90 92 95 96 97 99 100 101 118 121 124 125 130 131 133 134 136 142 147 151 153 154 158 162 163 165 168
a 1 6 7 18 20 21 22 23 25 28 29 35 40 41 47 49 64 66 72 76 81 83 84 88 89 90 92 95 96 97 99 100 101 118 121 124 125 130 131 133 134 136 142 147 151 153 154 158 162 163 165 168
a 1 6 7 18 20 21 22 23 25 28 29 35 40 41 47 49 64 66 72 76 81 83 84 86 88 89 90 92 95 96 97 99 100 101 121 124 125 130 131 133 134 136 142 147 151 153 154 158 162 163 165 168
a 6 7 18 20 21 22 23 25 28 29 35 40 41 47 49 64 66 72 76 81 83 84 86 87 88 89 90 92 95 96 97 99 100 101 121 124 125 130 131 133 134 136 142 147 151 153 154 158 162 163 165 168
a 6 7 18 20 21 22 23 25 28 29 35 40 47 49 64 66 72 76 81 83 84 86 87 88 89 90 92 95 96 97 99 100 101 108 121 124 125 130 131 133 134 136 142 147 151 153 154 158 162 163 165 168
a 6 7 18 20 21 22 23 28 29 35 40 47 49 64 66 72 76 81 83 84 86 87 88 89 90 92 95 96 97 99 100 101 108 121 124 125 130 131 133 134 136 142 146 147 151 153 154 158 162 163 165 168
a 6 7 18 20 21 22 23 28 29 35 47 49 64 66 72 76 81 83 84 86 87 88 89 90 92 95 96 97 99 100 101 108 121 124 125 130 131 133 134 136 141 142 146 147 151 153 154 158 162 163 165 168
a 6 7 18 20 21 22 23 28 29 35 47 49 64 66 72 76 81 83 84 86 87 88 89 90 92 95 96 97 99 100 101 108 119 121 125 130 131 133 134 136 141 142 146 147 151 153 154 158 162 163 165 168
a 6 7 18 20 22 23 28 29 35 47 49 64 66 72 76 81 83 84 86 87 88 89 90 92 95 96 97 99 100 101 108 119 121 125 130 131 133 134 136 141 142 146 147 148 151 153 154 158 162 163 165 168
c Step: 261
#END: [Tue Sep  5 07:54:46 2023]