#BEGIN: [Tue Sep  5 07:01:54 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance012_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance012_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_instance012_graph001.col /benchmark/random_instance/random_instance012_graph001_01.dat
c /benchmark/random_instance/random_instance012_graph001.col
c /benchmark/random_instance/random_instance012_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID f43b1faa44a96f96f2b53c96fb55e5f5baff2c364117db07c32d80c63c7361fc
s 148 51 42 16 142 61 36 53 64 109 102 104 149 76 87 4 101 52 12 62 7 112 152 129 57 65 155 138 79 121 108 150 80 125 37 32 100 20 126 30 83 21 24 114 103 154 43 145 50 117 72 151 118 19
t 153 36 38 76 145 148 109 149 112 82 75 15 29 72 133 55 61 93 142 78 7 107 129 12 77 117 56 62 154 139 44 90 100 39 48 125 64 113 18 84 136 63 67 4 20 119 25 57 144 33 8 60 131 17
a YES
a 4 7 12 16 19 20 21 24 30 32 36 37 42 43 50 51 52 53 57 61 62 64 65 72 76 79 80 83 87 100 101 102 103 104 108 109 112 114 117 118 121 125 126 129 138 142 145 148 149 150 151 152 154 155
a 4 7 12 16 19 20 21 24 30 32 36 37 42 43 50 51 52 57 61 62 64 65 72 76 79 80 83 87 100 101 102 103 104 108 109 112 114 117 118 121 125 126 129 138 142 145 148 149 150 151 152 153 154 155
a 4 12 16 19 20 21 24 30 32 36 37 42 43 50 51 52 54 57 61 62 64 65 72 76 79 80 83 87 100 101 102 103 104 108 109 112 114 117 118 121 125 126 129 138 142 145 148 149 150 151 152 153 154 155
a 4 12 16 19 20 21 24 25 30 32 36 37 42 43 50 51 52 54 57 61 62 64 65 72 76 79 80 83 87 100 101 103 104 108 109 112 114 117 118 121 125 126 129 138 142 145 148 149 150 151 152 153 154 155
a 4 12 16 19 20 21 24 25 32 36 37 42 43 50 51 52 54 57 61 62 64 65 72 76 79 80 83 87 100 101 103 104 108 109 112 114 117 118 121 125 126 129 138 139 142 145 148 149 150 151 152 153 154 155
a 4 12 16 19 20 21 24 25 32 36 37 42 43 50 51 52 54 57 61 62 64 65 67 72 76 80 83 87 100 101 103 104 108 109 112 114 117 118 121 125 126 129 138 139 142 145 148 149 150 151 152 153 154 155
a 4 12 16 19 20 21 24 25 32 36 37 42 43 50 51 52 54 57 62 64 65 67 72 76 80 83 87 98 100 101 103 104 108 109 112 114 117 118 121 125 126 129 138 139 142 145 148 149 150 151 152 153 154 155
a 4 12 16 19 20 21 24 25 32 36 37 42 43 50 51 52 54 57 62 64 65 72 76 79 80 83 87 98 100 101 103 104 108 109 112 114 117 118 121 125 126 129 138 139 142 145 148 149 150 151 152 153 154 155
a 4 12 16 19 20 21 24 25 30 32 36 37 42 43 50 51 52 54 57 62 64 65 72 76 79 80 83 87 98 100 101 103 104 108 109 112 114 117 118 121 125 126 129 138 142 145 148 149 150 151 152 153 154 155
a 4 12 16 19 20 21 24 25 30 32 36 37 43 50 51 52 54 57 62 64 65 72 76 78 79 80 83 87 98 100 101 103 104 108 109 112 114 117 118 121 125 126 129 138 142 145 148 149 150 151 152 153 154 155
a 4 7 12 16 19 20 21 24 25 30 32 36 37 43 50 51 52 57 62 64 65 72 76 78 79 80 83 87 98 100 101 103 104 108 109 112 114 117 118 121 125 126 129 138 142 145 148 149 150 151 152 153 154 155
a 4 7 12 16 19 20 21 24 25 30 32 36 37 42 43 50 51 52 57 62 64 65 72 76 79 80 83 87 98 100 101 103 104 108 109 112 114 117 118 121 125 126 129 138 142 145 148 149 150 151 152 153 154 155
a 4 7 12 16 19 20 21 24 25 32 36 37 42 43 50 51 52 57 62 64 65 72 76 79 80 83 87 98 100 101 103 104 108 109 112 114 117 118 121 125 126 129 138 139 142 145 148 149 150 151 152 153 154 155
a 4 12 16 19 20 21 24 25 32 36 37 42 43 50 51 52 56 57 62 64 65 72 76 79 80 83 87 98 100 101 103 104 108 109 112 114 117 118 121 125 126 129 138 139 142 145 148 149 150 151 152 153 154 155
a 4 12 16 19 20 21 24 25 32 36 37 42 43 50 51 52 54 56 57 62 64 65 72 76 79 80 87 98 100 101 103 104 108 109 112 114 117 118 121 125 126 129 138 139 142 145 148 149 150 151 152 153 154 155
a 4 12 16 19 20 24 25 32 36 37 42 43 50 51 52 54 56 57 62 64 65 72 76 79 80 87 98 100 101 103 104 108 109 112 114 117 118 121 125 126 128 129 138 139 142 145 148 149 150 151 152 153 154 155
a 4 12 16 19 20 24 25 32 36 42 43 50 51 52 54 56 57 62 64 65 72 76 79 80 87 98 100 101 103 104 108 109 110 112 114 117 118 121 125 126 128 129 138 139 142 145 148 149 150 151 152 153 154 155
a 4 12 16 19 20 24 25 32 36 42 43 50 51 52 54 56 57 62 64 65 72 76 79 80 87 98 100 101 103 105 108 109 110 112 114 117 118 121 125 126 128 129 138 139 142 145 148 149 150 151 152 153 154 155
a 12 16 19 20 24 25 32 36 42 43 50 51 52 54 56 57 62 64 65 72 76 79 80 83 87 98 100 101 103 105 108 109 110 112 114 117 118 121 125 126 128 129 138 139 142 145 148 149 150 151 152 153 154 155
a 12 16 19 20 24 25 32 36 42 43 50 51 52 54 56 57 61 62 64 65 72 76 79 80 83 87 100 101 103 105 108 109 110 112 114 117 118 121 125 126 128 129 138 139 142 145 148 149 150 151 152 153 154 155
a 12 16 19 20 24 25 28 32 36 42 43 51 52 54 56 57 61 62 64 65 72 76 79 80 83 87 100 101 103 105 108 109 110 112 114 117 118 121 125 126 128 129 138 139 142 145 148 149 150 151 152 153 154 155
a 12 16 19 20 24 25 28 32 36 42 43 50 51 52 54 56 57 61 62 64 65 72 76 79 80 83 87 100 101 103 105 108 109 110 112 114 117 118 121 125 126 128 129 138 139 142 145 148 149 150 151 152 153 155
a 12 16 19 20 24 25 28 32 36 42 43 50 51 52 54 56 57 61 62 64 65 72 76 79 80 83 87 100 101 103 105 108 109 110 112 114 117 118 121 125 126 128 129 138 139 142 145 148 149 150 151 152 153 156
a 12 16 19 20 24 25 28 32 36 42 43 50 51 52 54 56 57 61 62 64 65 72 76 79 80 83 100 101 103 105 108 109 110 112 113 114 117 118 121 125 126 128 129 138 139 142 145 148 149 150 151 152 153 156
a 4 12 16 19 20 25 28 32 36 42 43 50 51 52 54 56 57 61 62 64 65 72 76 79 80 83 100 101 103 105 108 109 110 112 113 114 117 118 121 125 126 128 129 138 139 142 145 148 149 150 151 152 153 156
a 4 12 16 19 20 24 25 28 32 36 42 43 50 51 52 54 56 57 61 62 64 65 72 76 79 83 100 101 103 105 108 109 110 112 113 114 117 118 121 125 126 128 129 138 139 142 145 148 149 150 151 152 153 156
a 4 12 16 19 20 24 25 28 32 36 42 43 50 51 52 54 56 57 61 62 64 65 72 76 79 80 83 100 101 103 105 108 109 110 112 113 114 117 118 121 125 126 128 129 138 139 142 145 148 149 150 151 152 153
a 4 7 12 16 19 20 24 25 28 32 36 42 43 50 51 52 56 57 61 62 64 65 72 76 79 80 83 100 101 103 105 108 109 110 112 113 114 117 118 121 125 126 128 129 138 139 142 145 148 149 150 151 152 153
a 4 7 12 16 19 20 21 24 25 28 32 36 42 43 50 51 52 56 57 61 62 64 65 72 76 79 80 83 100 101 103 105 108 109 110 112 113 114 117 118 121 125 126 129 138 139 142 145 148 149 150 151 152 153
a 4 7 16 19 20 21 24 25 28 32 36 42 43 50 51 52 56 57 61 62 64 65 72 76 79 80 83 100 101 103 105 108 109 110 112 113 114 117 118 121 125 126 129 138 139 142 145 148 149 150 151 152 153 154
a 4 7 16 19 20 21 24 25 28 32 36 42 43 49 50 51 52 56 57 61 62 64 65 72 76 79 80 83 100 101 103 105 109 110 112 113 114 117 118 121 125 126 129 138 139 142 145 148 149 150 151 152 153 154
a 4 7 16 19 20 21 24 25 28 32 36 42 43 49 50 51 52 56 57 61 62 64 65 72 79 80 83 100 101 103 105 109 110 112 113 114 117 118 121 125 126 129 138 139 142 145 148 149 150 151 152 153 154 155
a 4 7 16 19 20 21 24 25 28 32 36 42 43 49 50 51 52 56 57 61 62 64 65 72 76 79 80 83 100 101 103 105 109 110 112 113 114 117 118 121 125 126 129 138 139 142 145 148 149 151 152 153 154 155
a 4 7 16 19 20 21 24 25 28 32 36 42 43 49 50 51 52 56 57 61 62 64 65 72 75 76 79 80 83 100 101 103 105 109 110 112 113 114 117 118 121 125 129 138 139 142 145 148 149 151 152 153 154 155
a 4 7 16 19 20 21 24 25 28 32 36 42 43 49 50 51 52 53 56 57 61 62 64 65 72 75 76 79 80 83 100 101 103 105 109 110 112 113 114 117 118 121 125 129 138 139 142 145 148 149 151 152 154 155
a 4 7 16 19 20 21 24 25 28 32 36 42 43 49 50 51 52 53 56 57 61 62 64 65 72 75 76 79 80 83 100 101 103 105 109 110 112 113 114 117 118 121 125 126 129 138 139 142 145 149 151 152 154 155
a 4 7 12 16 19 20 21 24 25 28 32 36 42 43 49 50 51 52 53 56 57 61 62 64 65 72 75 76 79 80 83 100 101 103 105 110 112 113 114 117 118 121 125 126 129 138 139 142 145 149 151 152 154 155
a 4 7 12 16 19 20 21 24 25 28 32 36 42 43 49 50 51 52 53 56 57 61 62 64 65 72 75 76 79 80 83 100 101 103 105 109 110 112 113 114 117 118 121 125 126 129 138 139 142 145 149 151 152 154
a 4 7 12 16 19 20 21 24 25 28 32 36 40 42 43 49 50 51 52 53 56 57 61 62 64 65 72 75 79 80 83 100 101 103 105 109 110 112 113 114 117 118 121 125 126 129 138 139 142 145 149 151 152 154
a 4 7 12 16 19 20 21 24 25 28 32 36 40 42 43 49 50 51 52 56 57 61 62 64 65 72 75 79 80 83 100 101 103 105 109 110 112 113 114 117 118 121 125 126 129 138 139 142 145 149 151 152 153 154
a 7 12 16 19 20 21 24 25 28 32 36 40 42 43 49 50 51 52 56 57 61 62 64 65 72 75 79 80 83 100 101 103 105 109 110 112 113 114 117 118 121 125 126 129 138 139 142 145 149 151 152 153 154 155
a 7 12 16 19 20 21 24 28 32 36 40 42 43 49 50 51 52 56 57 61 62 64 65 72 75 79 80 83 100 101 103 105 109 110 112 113 114 117 118 121 125 126 129 138 139 142 145 148 149 151 152 153 154 155
a 4 7 12 16 19 20 21 24 28 32 36 40 42 43 49 50 51 56 57 61 62 64 65 72 75 79 80 83 100 101 103 105 109 110 112 113 114 117 118 121 125 126 129 138 139 142 145 148 149 151 152 153 154 155
a 4 7 12 16 19 20 21 24 28 32 36 40 42 43 49 50 51 56 57 61 62 64 65 72 75 79 80 83 100 101 102 103 105 109 110 112 113 114 117 118 121 125 126 129 138 142 145 148 149 151 152 153 154 155
a 4 7 12 16 19 20 21 24 28 32 36 42 43 49 50 51 56 57 61 62 64 65 72 75 76 79 80 83 100 101 102 103 105 109 110 112 113 114 117 118 121 125 126 129 138 142 145 148 149 151 152 153 154 155
a 7 12 16 19 20 21 24 28 32 36 42 43 49 50 51 56 57 61 62 64 65 72 75 76 79 80 83 100 101 102 103 105 109 110 112 113 114 117 118 121 125 126 129 136 138 142 145 148 149 151 152 153 154 155
a 7 12 16 19 20 21 24 28 32 36 42 49 50 51 56 57 61 62 64 65 72 75 76 79 80 83 100 101 102 103 105 109 110 112 113 114 117 118 119 121 125 126 129 136 138 142 145 148 149 151 152 153 154 155
a 7 12 16 19 20 21 22 24 28 32 36 42 49 50 51 56 57 61 62 64 65 72 75 76 79 80 83 100 101 102 103 105 109 110 112 113 114 117 118 119 121 125 126 129 136 138 142 145 148 149 151 152 153 155
a 7 12 16 19 20 21 22 24 28 32 36 42 49 50 51 56 57 62 64 65 72 75 76 79 80 83 98 100 101 102 103 105 109 110 112 113 114 117 118 119 121 125 126 129 136 138 142 145 148 149 151 152 153 155
a 7 12 16 19 20 21 22 24 28 32 36 42 43 49 51 56 57 62 64 65 72 75 76 79 80 83 98 100 101 102 103 105 109 110 112 113 114 117 118 119 121 125 126 129 136 138 142 145 148 149 151 152 153 155
a 7 12 16 19 20 21 22 24 28 32 36 42 43 49 51 56 57 62 64 65 72 75 76 79 80 81 98 100 101 102 103 105 109 110 112 113 114 117 118 119 121 125 126 129 136 138 142 145 148 149 151 152 153 155
a 7 12 16 19 20 21 22 24 28 32 36 42 43 49 50 51 56 57 62 64 65 72 75 76 79 80 81 98 101 102 103 105 109 110 112 113 114 117 118 119 121 125 126 129 136 138 142 145 148 149 151 152 153 155
a 4 7 12 16 19 20 21 22 24 28 32 36 42 43 49 50 51 56 57 62 64 65 72 75 76 79 80 81 98 101 102 103 105 109 110 112 113 114 117 118 119 121 126 129 136 138 142 145 148 149 151 152 153 155
a 4 7 12 16 19 20 21 22 28 32 36 42 43 49 50 51 56 57 62 64 65 72 75 76 79 80 81 98 101 102 103 105 109 110 112 113 114 117 118 119 121 125 126 129 136 138 142 145 148 149 151 152 153 155
a 4 7 12 16 19 20 21 22 24 28 32 36 42 43 49 50 51 56 57 62 64 65 72 75 76 79 80 81 98 101 102 103 105 109 110 112 113 114 117 118 119 121 125 126 129 136 138 142 145 148 149 151 152 153
a 4 7 12 16 19 20 21 22 24 28 32 36 42 43 49 50 51 56 57 62 64 65 72 75 76 80 81 98 101 102 103 105 109 110 112 113 114 117 118 119 121 125 126 129 136 138 142 145 148 149 151 152 153 155
a 4 7 12 16 19 20 21 22 24 28 32 36 42 43 49 50 51 56 57 62 64 65 72 75 76 79 80 81 101 102 103 105 109 110 112 113 114 117 118 119 121 125 126 129 136 138 142 145 148 149 151 152 153 155
a 4 7 12 16 19 20 21 22 24 28 32 36 42 43 49 50 51 56 57 62 64 65 72 75 76 79 80 81 98 101 102 103 105 109 110 112 113 114 117 118 119 121 125 126 129 138 142 145 148 149 151 152 153 155
a 4 7 12 16 19 20 21 24 28 32 36 42 43 49 50 51 56 57 62 64 65 72 75 76 79 80 81 98 100 101 102 103 105 109 110 112 113 114 117 118 119 121 125 126 129 138 142 145 148 149 151 152 153 155
a 4 7 12 16 19 20 21 22 24 28 32 36 42 43 49 50 51 56 57 62 64 65 72 75 79 80 81 98 100 101 102 103 105 109 110 112 113 114 117 118 119 121 125 126 129 138 142 145 148 149 151 152 153 155
a 4 7 12 16 19 20 21 22 24 28 32 36 42 43 49 50 51 56 57 62 64 65 72 75 79 80 81 98 100 101 103 105 109 110 112 113 114 117 118 119 121 125 126 129 138 139 142 145 148 149 151 152 153 155
a 4 7 12 16 19 20 21 22 24 28 32 36 43 44 49 50 51 56 57 62 64 65 72 75 79 80 81 98 100 101 103 105 109 110 112 113 114 117 118 119 121 125 126 129 138 139 142 145 148 149 151 152 153 155
a 4 7 12 16 19 20 21 22 24 28 32 36 43 44 49 50 51 56 62 64 65 72 75 79 80 81 98 100 101 103 105 109 110 112 113 114 117 118 119 121 125 126 129 136 138 139 142 145 148 149 151 152 153 155
a 4 7 12 16 19 20 21 22 24 28 32 36 43 44 49 50 51 56 62 64 65 72 75 79 80 83 98 100 101 103 105 109 110 112 113 114 117 118 119 121 125 126 129 136 138 139 142 145 148 149 151 152 153 155
a 4 7 12 16 19 20 21 22 24 28 32 36 37 43 44 49 50 51 56 62 64 65 72 75 79 80 83 98 100 101 103 105 109 112 113 114 117 118 119 121 125 126 129 136 138 139 142 145 148 149 151 152 153 155
a 4 7 12 16 19 20 21 24 28 32 36 37 43 44 49 50 51 56 62 64 65 72 75 79 80 83 98 100 101 103 105 109 112 113 114 117 118 119 121 125 126 129 136 138 139 142 145 148 149 151 152 153 154 155
a 4 7 12 16 19 20 21 24 28 32 36 37 43 44 49 50 51 56 62 64 65 72 75 76 79 80 83 98 100 101 103 105 109 112 113 114 117 118 119 121 125 126 129 136 138 139 142 145 148 149 151 152 153 154
a 4 7 12 16 19 20 21 22 24 28 32 36 37 43 44 49 50 51 56 62 64 65 72 75 76 79 80 83 98 100 101 103 105 109 112 113 114 117 118 119 121 125 126 129 136 138 139 142 145 148 149 151 152 153
a 4 7 12 16 19 20 21 22 24 28 32 36 37 43 44 49 50 51 56 62 64 65 72 75 76 78 79 80 83 98 100 101 103 105 109 112 114 117 118 119 121 125 126 129 136 138 139 142 145 148 149 151 152 153
a 4 7 12 16 19 20 21 22 24 28 32 36 37 43 44 49 50 51 56 62 64 65 72 75 76 78 79 80 83 98 100 101 103 105 109 112 113 114 117 118 119 121 125 126 129 136 138 139 142 145 148 149 151 153
a 4 7 12 16 19 20 21 22 24 28 32 36 37 43 44 49 50 51 56 57 62 64 65 72 75 76 78 79 80 83 98 100 101 103 109 112 113 114 117 118 119 121 125 126 129 136 138 139 142 145 148 149 151 153
a 4 7 12 16 19 20 21 22 24 28 32 36 37 43 44 49 50 51 56 57 62 64 65 72 75 76 78 79 80 83 98 100 101 103 109 112 113 114 117 118 119 121 125 126 129 136 138 139 142 145 148 149 151 155
a 4 7 12 16 19 20 21 22 24 28 32 36 37 43 44 49 50 51 56 57 62 64 65 72 75 76 78 79 80 83 98 100 101 103 105 109 112 113 117 118 119 121 125 126 129 136 138 139 142 145 148 149 151 155
a 4 7 12 16 19 20 21 22 24 28 32 36 37 43 44 49 50 51 56 57 62 64 65 72 75 76 78 79 80 83 84 98 100 101 103 105 109 113 117 118 119 121 125 126 129 136 138 139 142 145 148 149 151 155
a 4 7 12 16 20 21 22 24 28 32 36 37 43 44 49 50 51 56 57 62 64 65 72 75 76 78 79 80 83 84 98 100 101 103 105 109 113 114 117 118 119 121 125 126 129 136 138 139 142 145 148 149 151 155
a 4 7 12 16 20 21 22 24 28 32 36 37 43 44 49 50 51 52 56 57 62 64 65 72 75 76 78 79 80 83 84 98 100 101 103 105 109 113 114 117 118 119 121 125 126 129 138 139 142 145 148 149 151 155
a 4 7 12 16 20 21 22 24 28 32 36 37 43 44 49 50 51 52 56 57 62 64 65 72 75 76 78 79 80 83 84 98 100 101 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 142 145 148 151 155
a 4 7 12 16 19 20 21 22 24 28 32 36 37 43 44 49 50 51 52 56 57 62 64 65 72 75 76 78 79 80 83 84 98 100 101 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 142 145 148 151
a 4 7 12 16 19 20 21 22 24 28 32 36 37 43 44 49 50 51 52 56 57 62 64 65 72 75 78 79 80 83 84 98 100 101 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 142 145 148 151 155
a 4 7 12 16 19 20 21 22 28 32 36 37 43 44 49 50 51 52 56 57 62 64 65 72 75 76 78 79 80 83 84 98 100 101 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 142 145 148 151 155
a 4 7 12 16 19 21 22 28 32 36 37 43 44 49 50 51 52 56 57 62 64 65 72 75 76 78 79 80 83 84 98 100 101 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 142 145 148 151 153 155
a 4 7 12 16 19 21 22 28 32 36 37 43 44 49 50 51 52 56 57 62 64 65 72 75 76 78 79 80 83 84 98 100 101 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 142 145 148 149 151 153
a 4 7 12 16 19 21 22 24 28 32 36 37 43 44 49 50 51 52 56 57 62 64 65 72 75 76 78 79 80 83 84 98 100 101 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 142 145 148 149 151
a 4 7 12 16 19 21 22 24 28 32 36 37 43 44 49 50 51 52 56 57 62 64 65 72 75 76 78 79 80 83 84 98 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 145 148 149 151
a 4 7 12 16 19 20 21 22 24 28 32 36 37 43 44 49 50 51 52 56 57 62 64 65 72 75 76 78 79 80 83 84 98 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 145 148 151
a 4 7 12 16 19 20 21 22 24 28 32 37 43 44 49 50 51 52 56 57 62 64 65 72 75 76 78 79 80 83 84 88 98 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 145 148 151
a 4 7 12 16 19 20 21 22 24 28 32 37 43 44 49 50 51 52 56 57 62 64 65 72 75 76 78 79 80 83 84 88 98 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 148 151 152
a 7 12 16 19 20 21 22 24 28 32 37 43 44 49 50 51 52 56 57 62 64 65 72 75 76 78 79 80 83 84 88 98 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 148 151 152 155
a 7 12 16 19 20 21 22 24 28 32 37 43 44 49 50 51 52 56 57 62 64 65 72 75 76 78 80 83 84 88 98 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 145 148 151 152 155
a 7 12 16 19 20 21 22 24 28 32 37 43 44 49 50 51 52 56 62 64 65 72 75 76 78 80 83 84 88 98 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 145 148 151 152 153 155
a 7 12 16 19 20 21 22 24 28 32 37 43 44 49 50 51 52 56 62 64 65 72 75 76 78 80 83 84 88 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 145 148 149 151 152 153 155
a 7 12 16 19 20 21 22 24 28 32 37 43 44 49 50 51 52 56 61 62 64 65 72 75 76 78 80 83 84 88 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 145 148 149 151 153 155
a 7 12 16 19 20 21 22 24 28 32 37 43 44 49 50 51 52 56 61 62 64 65 72 75 76 78 80 83 84 88 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 145 148 149 151 152 153
a 7 12 16 19 20 21 22 24 28 32 37 43 44 49 50 51 52 56 61 62 64 65 72 75 76 78 80 83 84 88 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 148 149 151 152 153 155
a 7 12 16 19 20 21 22 24 28 32 37 43 44 49 50 51 52 56 61 62 64 65 72 75 76 78 79 80 84 88 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 148 149 151 152 153 155
a 7 12 16 19 20 21 22 24 28 32 37 43 49 50 51 52 56 57 61 62 64 65 72 75 76 78 79 80 84 88 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 148 149 151 152 153 155
a 7 12 16 19 20 21 22 24 28 32 37 43 49 50 51 52 56 61 62 64 65 72 75 76 78 79 80 83 84 88 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 148 149 151 152 153 155
a 7 12 16 19 20 21 24 28 32 37 43 49 50 51 52 56 61 62 64 65 72 75 76 78 79 80 83 84 88 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 148 149 151 152 153 154 155
a 7 12 16 19 20 21 24 28 32 37 43 49 50 51 52 56 57 61 62 64 65 72 75 76 78 79 80 83 84 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 148 149 151 152 153 154 155
a 7 12 16 19 20 21 24 28 32 37 43 44 49 50 51 52 56 57 61 62 64 65 72 75 76 78 79 80 83 84 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 148 151 152 153 154 155
a 7 12 16 19 20 21 24 28 32 36 37 43 44 49 50 51 52 56 57 61 64 65 72 75 76 78 79 80 83 84 100 103 105 109 112 113 114 117 118 119 121 125 126 129 138 139 140 142 148 151 152 153 154 155
a 7 12 16 19 20 21 24 28 32 36 37 43 44 49 50 51 52 56 57 61 64 65 72 75 76 78 79 80 83 84 100 103 105 109 112 113 114 117 118 119 121 124 125 126 129 138 139 140 142 148 151 152 154 155
a 7 12 16 19 20 21 24 28 32 36 37 43 44 49 50 51 52 56 57 61 64 65 72 75 76 78 79 80 83 84 100 103 105 109 112 114 117 118 119 121 124 125 126 129 138 139 140 142 148 151 152 153 154 155
a 7 12 16 19 20 21 24 28 32 36 37 43 44 49 50 51 52 56 57 61 64 65 72 75 76 78 79 80 83 84 100 103 105 109 112 113 114 117 118 119 121 124 125 126 129 138 139 140 142 148 152 153 154 155
a 7 12 16 20 21 24 28 32 36 37 43 44 49 50 51 52 56 57 61 64 65 72 75 76 78 79 80 83 84 100 103 105 109 112 113 114 117 118 119 121 124 125 126 129 138 139 140 142 148 151 152 153 154 155
a 7 12 16 20 21 24 28 32 36 37 43 44 49 50 51 52 56 57 61 64 65 72 75 76 78 79 80 83 84 100 103 105 109 112 113 114 117 118 119 121 124 125 126 129 138 139 140 142 148 149 151 152 153 154
a 7 12 16 20 21 24 28 32 36 37 43 44 49 50 51 52 55 56 57 61 64 65 72 75 76 78 79 80 83 84 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 148 149 151 152 153 154
a 7 12 16 19 20 21 24 28 32 36 37 43 44 49 50 51 52 55 56 57 61 64 65 72 75 76 78 79 80 83 84 100 103 105 109 112 113 114 117 118 119 125 126 129 138 139 140 142 148 149 151 152 153 154
a 7 16 19 20 21 24 28 32 36 37 43 44 49 50 51 52 55 56 57 61 64 65 72 75 76 78 79 80 83 84 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 148 149 151 152 153 154
a 7 12 16 19 20 21 24 28 32 36 37 43 44 49 50 51 52 55 56 57 61 64 65 72 75 76 78 79 80 83 84 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 148 149 151 152 153
a 7 12 16 19 20 21 24 28 32 36 37 44 49 50 51 52 55 56 57 61 64 65 72 75 76 78 79 80 83 84 93 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 148 149 151 152 153
a 7 12 16 19 20 21 24 25 28 32 36 37 44 49 50 51 52 55 56 57 61 64 65 72 75 76 78 79 83 84 93 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 148 149 151 152 153
a 7 12 16 19 20 21 24 25 28 32 36 37 44 49 50 51 52 55 56 57 61 64 65 72 75 76 78 79 80 83 84 93 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 148 151 152 153
a 7 12 16 19 20 21 24 25 28 32 36 37 44 49 50 51 52 55 56 57 61 64 65 72 75 76 78 79 80 83 84 93 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 148 149 151 152
a 7 12 16 19 20 21 24 25 28 32 36 37 44 49 50 51 52 55 56 57 61 64 65 72 75 76 78 79 80 83 84 93 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 145 148 151 152
a 7 12 16 19 20 21 24 25 28 32 36 37 44 49 50 51 52 55 56 57 61 64 65 72 75 76 78 79 80 83 84 93 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 145 148 149 151
a 7 12 16 19 20 21 24 25 28 32 36 37 44 49 50 51 52 55 57 61 64 65 72 75 76 78 79 80 83 84 93 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 145 148 149 151 152
a 4 7 12 16 19 20 21 24 25 28 32 36 37 44 49 50 52 55 57 61 64 65 72 75 76 78 79 80 83 84 93 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 145 148 149 151 152
a 4 7 12 16 19 20 21 24 25 28 32 36 37 44 49 50 52 55 56 57 61 64 65 72 75 76 78 79 80 83 84 93 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 145 148 149 152
a 4 7 12 16 19 20 21 24 25 28 32 36 37 49 50 52 55 56 57 61 64 65 72 75 76 78 79 80 83 84 93 94 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 145 148 149 152
a 4 7 12 16 19 20 21 24 25 28 32 33 36 37 49 50 52 55 56 57 61 64 65 72 75 76 78 79 80 83 84 93 94 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 145 148 149
a 4 7 12 16 17 19 20 21 24 25 28 32 33 36 37 49 50 52 55 56 57 61 64 65 72 75 76 78 79 80 83 84 93 94 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 145 149
a 4 7 12 16 17 19 20 21 24 25 28 32 33 36 37 49 50 52 53 55 56 57 61 64 65 72 75 76 78 79 80 83 84 93 94 100 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 145 149
a 4 7 12 16 17 19 20 21 24 25 28 32 33 36 37 42 49 50 52 53 55 56 57 61 64 65 72 75 76 79 80 83 84 93 94 100 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 145 149
a 4 7 12 16 17 19 20 21 24 25 28 32 33 36 37 42 49 50 52 53 55 56 57 61 64 65 72 75 76 79 80 83 84 93 94 100 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 149 154
a 4 7 12 16 17 20 21 24 25 28 32 33 36 37 42 49 50 52 53 55 56 57 61 64 65 72 75 76 79 80 83 84 93 94 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 149 154
a 4 7 12 16 17 19 20 21 24 25 28 32 33 36 37 42 49 50 52 53 55 56 57 61 64 65 72 75 76 79 80 83 84 93 94 100 103 105 109 112 113 117 118 119 124 125 126 129 138 139 140 142 149 154
a 4 7 12 16 17 19 20 21 24 25 28 32 33 36 37 42 49 50 52 53 55 56 57 61 64 65 72 75 76 79 80 83 84 93 94 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 154
a 4 7 12 16 17 19 20 21 24 25 28 32 33 36 37 42 49 50 52 53 55 56 57 61 64 65 72 75 76 79 80 83 84 93 94 100 103 105 109 112 113 114 117 118 119 124 125 126 129 138 139 140 142 148
a 4 7 12 16 17 19 20 21 24 25 28 32 33 36 37 42 49 50 52 53 55 56 57 61 64 65 72 75 76 79 80 83 84 93 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 140 142 148 151
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 49 50 52 53 55 56 57 61 64 65 72 75 76 79 80 83 84 93 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 140 142 145 148 151
a 4 7 12 16 17 19 20 21 24 25 28 32 33 36 37 42 49 50 52 53 55 56 57 61 64 65 72 75 76 79 80 83 84 93 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 140 142 145 151
a 4 7 12 16 17 19 20 21 24 25 28 32 33 36 37 42 49 50 52 53 55 56 57 61 64 65 72 75 76 79 80 83 84 93 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 140 142 145 148
a 4 7 12 16 17 19 20 21 24 25 28 32 33 36 37 42 43 49 50 52 53 55 56 57 61 64 65 72 75 76 79 80 83 84 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 140 142 145 148
a 4 7 12 16 17 19 20 21 24 25 28 32 33 36 37 42 43 49 50 52 53 55 56 57 61 64 65 72 75 76 79 80 83 84 94 100 103 105 112 114 117 118 119 124 125 126 129 138 139 140 142 145 148 154
a 4 7 12 16 17 19 20 21 24 25 28 32 33 36 37 42 43 49 50 52 53 55 56 57 61 63 64 65 72 75 76 79 80 83 84 94 100 103 105 112 114 117 118 119 124 125 126 129 139 140 142 145 148 154
a 4 7 12 16 17 19 20 21 24 25 28 32 33 36 37 42 43 49 50 53 55 56 57 61 63 64 65 72 75 76 79 80 83 84 94 100 103 105 112 114 117 118 119 124 125 126 129 136 139 140 142 145 148 154
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 49 50 53 55 56 57 61 63 64 65 72 75 76 79 80 83 84 94 100 103 105 112 114 117 118 119 124 125 126 129 136 139 140 142 145 148 154 155
a 4 7 12 17 19 20 21 24 25 28 32 36 37 42 43 49 50 53 55 56 57 61 63 64 65 72 75 76 79 80 83 84 94 100 103 105 112 114 117 118 119 124 125 126 129 136 139 140 142 145 148 149 154 155
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 49 50 53 55 56 57 61 63 64 65 72 75 76 79 80 83 84 94 100 103 105 112 114 117 118 119 124 125 126 129 136 139 140 142 145 148 149 154
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 49 50 53 55 56 61 63 64 65 72 75 76 79 80 83 84 94 100 103 105 112 114 117 118 119 124 125 126 129 136 139 140 142 145 148 149 154 155
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 49 50 53 55 56 61 64 65 72 75 76 79 80 83 84 94 100 103 105 112 114 117 118 119 124 125 126 129 136 138 139 140 142 145 148 149 154 155
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 49 50 53 55 56 61 64 65 72 75 76 79 80 83 94 100 103 105 109 112 114 117 118 119 124 125 126 129 136 138 139 140 142 145 148 149 154 155
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 49 50 53 55 56 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 136 138 139 140 142 145 149 154 155
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 53 55 56 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 136 138 139 142 145 149 154 155
a 4 7 12 16 17 19 20 24 25 28 32 36 37 42 43 47 49 50 53 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 136 138 139 142 145 149 154 155
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 53 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 136 138 139 142 145 149 154
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 53 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 142 145 149 152 154
a 4 7 12 16 17 19 20 21 25 28 32 36 37 42 43 47 49 50 53 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 142 145 149 152 154 155
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 53 55 56 57 61 64 65 72 75 76 79 80 83 87 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 142 145 149 152 154 155
a 4 7 12 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 53 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 142 145 149 152 154 155
a 4 7 12 16 17 19 20 21 24 25 28 32 37 42 43 47 49 50 53 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 142 145 149 152 154 155
a 4 7 12 16 17 19 21 24 25 28 32 36 37 42 43 47 49 50 53 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 142 145 149 152 154 155
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 53 55 56 57 61 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 142 145 149 152 154 155
a 4 12 16 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 53 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 142 145 149 152 154 155
a 4 12 16 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 142 145 149 152 153 154 155
a 4 12 16 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 52 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 142 145 149 152 153 154 155
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 52 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 124 125 126 129 138 142 145 149 152 153 154 155
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 52 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 124 125 126 129 138 139 142 145 152 153 154 155
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 52 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 142 145 152 154 155
a 4 7 12 16 17 19 20 24 25 28 32 36 37 42 43 47 49 50 52 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 142 145 148 152 154 155
a 4 7 12 16 17 19 20 24 25 28 32 36 37 42 43 47 49 50 52 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 142 145 148 152 153 154
a 4 7 12 16 17 19 20 24 25 28 32 36 37 42 43 47 49 50 52 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 142 145 148 153 154 155
a 4 7 12 16 17 19 20 24 25 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 121 124 125 126 129 138 139 142 145 148 153 154 155
a 4 7 12 16 17 19 20 24 25 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 103 105 109 112 114 117 118 119 121 125 126 129 138 139 142 145 148 153 154 155
a 4 7 12 16 17 19 20 24 25 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 103 105 109 112 114 117 118 119 121 125 126 129 138 139 142 145 148 149 153 154
a 4 7 12 16 17 19 20 24 25 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 103 105 109 112 114 117 118 119 121 125 126 129 138 139 142 145 148 152 153 154
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 103 105 109 112 114 117 118 119 121 125 126 129 138 142 145 148 152 153 154
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 103 105 109 112 114 117 118 119 121 125 126 129 138 142 145 148 152 153 154 155
a 4 7 12 16 17 19 20 21 24 28 32 36 37 42 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 102 103 105 109 112 114 117 118 119 121 125 126 129 138 142 145 148 152 153 154 155
a 4 7 12 16 17 19 20 21 24 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 102 103 105 109 112 114 117 118 119 125 126 129 138 142 145 148 152 153 154 155
a 4 7 12 16 17 19 20 21 24 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 102 103 105 109 112 117 118 119 125 126 129 138 142 145 148 149 152 153 154 155
a 4 7 12 16 17 19 20 21 24 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 102 103 109 112 114 117 118 119 125 126 129 138 142 145 148 149 152 153 154 155
a 4 7 12 16 17 19 20 21 24 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 102 103 109 114 117 118 119 125 126 129 138 142 145 148 149 151 152 153 154 155
a 4 7 12 16 17 19 20 21 24 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 102 103 105 109 114 117 118 119 125 126 129 138 142 145 148 149 151 152 153 154
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 103 105 109 114 117 118 119 125 126 129 138 142 145 148 149 151 152 153 154
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 103 105 109 114 117 118 119 121 125 126 129 138 142 145 148 149 151 152 154
a 4 7 12 16 19 20 21 24 25 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 103 105 109 114 117 118 119 121 125 126 129 138 142 145 148 149 151 152 154 155
a 4 7 12 16 19 20 21 22 24 25 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 103 105 109 114 117 118 119 121 125 126 129 138 142 145 148 149 151 152 155
a 4 7 12 16 19 20 21 24 25 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 103 105 109 112 114 117 118 119 121 125 126 129 138 142 145 148 149 151 152 155
a 4 7 12 16 19 20 21 24 25 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 103 105 109 112 114 117 118 119 121 125 126 129 138 142 145 148 149 151 153 155
a 4 7 12 16 19 20 21 24 25 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 121 125 126 129 138 142 145 148 149 151 152 153 155
a 4 7 12 16 19 20 21 22 24 25 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 121 125 126 129 138 142 145 148 149 151 152 153
a 4 7 12 16 19 20 21 22 24 25 28 32 36 37 42 43 47 49 50 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 121 125 126 129 138 142 145 148 149 151 152 153 155
a 4 7 12 16 19 20 21 22 24 25 28 32 36 37 42 43 47 49 50 56 57 60 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 119 121 125 126 129 138 142 145 148 149 151 152 153 155
a 4 7 12 16 20 21 22 24 25 28 32 36 37 42 43 47 49 50 56 57 60 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 119 121 124 125 126 129 138 142 145 148 149 151 152 153 155
a 4 7 12 16 17 20 21 22 25 28 32 36 37 42 43 47 49 50 56 57 60 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 119 121 124 125 126 129 138 142 145 148 149 151 152 153 155
a 4 7 12 16 17 21 22 24 25 28 32 36 37 42 43 47 49 50 56 57 60 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 119 121 124 125 126 129 138 142 145 148 149 151 152 153 155
a 4 7 16 17 19 21 22 24 25 28 32 36 37 42 43 47 49 50 56 57 60 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 119 121 124 125 126 129 138 142 145 148 149 151 152 153 155
a 4 7 12 16 17 19 21 22 24 25 28 32 36 37 42 43 47 49 50 56 57 60 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 119 121 124 125 126 129 138 142 145 148 149 151 152 153
a 4 7 12 16 17 19 21 22 24 25 28 32 36 37 42 43 47 49 50 56 57 60 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 119 121 124 125 126 129 138 139 142 145 148 149 151 152
a 4 7 12 16 17 19 21 22 24 25 28 32 36 37 42 43 47 49 50 55 56 57 60 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 119 124 125 126 129 138 139 142 145 148 149 151 152
a 4 12 16 17 19 21 22 24 25 28 32 36 37 42 43 47 49 50 55 56 57 60 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 119 124 125 126 129 138 139 142 145 148 149 151 152 156
a 4 12 16 17 19 21 22 24 25 28 32 36 37 42 43 47 49 50 55 56 57 60 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 119 124 125 126 129 138 139 142 145 148 149 151 152 153
a 4 12 16 17 19 21 22 24 25 28 32 36 37 42 43 47 49 50 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 142 145 148 149 151 152 153
a 4 12 16 17 19 21 22 24 25 28 32 36 37 43 47 49 50 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 142 145 148 149 151 152 153 156
a 4 12 17 19 20 21 22 24 25 28 32 36 37 43 47 49 50 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 124 125 126 129 138 139 142 145 148 149 151 152 153 156
a 4 12 17 19 20 21 22 24 25 28 32 36 37 43 47 49 50 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 106 109 112 114 117 118 119 124 125 126 129 138 139 145 148 149 151 152 153 156
a 4 7 12 17 19 20 21 22 24 25 28 32 36 37 43 47 49 50 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 106 109 112 114 117 118 119 124 125 126 129 138 139 145 148 149 151 152 153
a 4 7 12 17 19 20 21 22 24 25 28 32 36 37 42 43 47 49 50 55 56 57 61 64 65 75 76 79 80 83 87 94 100 103 105 106 109 112 114 117 118 119 124 125 126 129 138 139 145 148 149 151 152 153
a 4 7 12 17 19 20 21 22 24 25 28 32 36 37 42 43 47 49 50 55 56 57 61 64 65 75 76 79 80 83 87 94 100 103 105 106 112 114 116 117 118 119 124 125 126 129 138 139 145 148 149 151 152 153
a 4 7 12 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 55 56 57 61 64 65 75 76 79 80 83 87 94 100 103 105 106 112 114 116 117 118 119 124 125 126 129 138 139 145 148 149 151 152 153 154
a 4 7 12 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 55 56 57 61 64 65 75 76 79 80 83 87 94 100 103 105 106 112 114 117 118 119 124 125 126 129 138 139 145 148 149 151 152 153 154 155
a 4 7 12 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 55 56 57 61 64 65 75 76 79 80 83 87 94 100 103 105 112 114 117 118 119 124 125 126 129 138 139 142 145 148 149 151 152 153 154 155
a 4 7 12 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 55 56 57 61 64 65 75 76 79 80 83 87 94 100 103 105 112 114 117 118 119 124 126 127 129 138 139 142 145 148 149 151 152 153 154 155
a 4 7 12 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 55 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 112 114 117 118 119 124 126 127 129 138 139 142 145 148 149 151 152 153 154
a 4 7 12 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 112 114 117 118 119 121 124 126 127 129 138 139 142 145 148 149 151 152 153 154
a 4 7 12 17 19 20 21 24 25 28 32 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 112 114 117 118 119 121 124 126 127 129 138 139 142 145 148 149 151 152 153 154
a 4 7 12 17 19 20 21 24 25 28 32 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 112 114 117 118 119 121 124 125 126 129 138 139 142 145 148 149 151 152 153 154
a 4 7 12 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 112 114 117 118 119 121 124 125 126 129 138 139 142 145 148 149 151 152 153
a 4 7 12 16 17 19 20 21 24 25 28 36 37 42 43 47 49 50 52 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 112 114 117 118 119 121 124 125 126 129 138 139 142 145 148 149 151 152 153
a 4 7 12 16 17 19 20 21 24 25 28 36 37 42 43 47 49 50 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 121 124 125 126 129 138 139 142 145 148 149 151 152 153
a 4 7 12 16 17 19 20 21 24 25 28 36 37 42 43 47 49 50 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 119 121 124 125 126 129 138 139 142 145 148 151 152 153 154
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 47 49 50 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 121 124 125 126 129 138 139 142 145 148 151 152 153 154
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 49 50 56 57 61 64 65 72 75 76 79 80 83 87 94 100 103 105 109 112 114 117 118 121 124 125 126 129 138 139 142 145 148 150 151 152 153 154
a 4 7 12 16 17 19 20 21 24 25 28 32 36 37 42 43 49 50 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 103 105 109 112 114 117 118 121 125 126 129 138 139 142 145 148 150 151 152 153 154
a 4 7 12 16 17 19 20 21 24 25 28 32 33 36 37 42 43 49 50 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 103 105 109 114 117 118 121 125 126 129 138 139 142 145 148 150 151 152 153 154
a 4 7 12 16 17 19 20 21 22 24 25 28 32 33 36 37 42 43 49 50 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 103 105 109 114 117 118 121 125 126 129 138 139 142 145 148 150 151 152 153
a 4 7 12 16 17 19 20 21 22 24 25 28 32 33 36 37 42 43 49 50 56 57 61 64 65 72 75 76 79 80 83 87 94 100 101 103 105 109 114 117 118 121 125 126 129 136 138 139 142 145 148 150 151 152
a 4 7 12 16 17 19 20 21 22 24 25 28 32 33 36 37 42 43 49 50 56 57 61 64 65 67 72 75 76 80 83 87 94 100 101 103 105 109 114 117 118 121 125 126 129 136 138 139 142 145 148 150 151 152
a 4 7 12 16 17 19 20 21 22 24 25 28 32 33 36 37 42 43 49 50 56 57 61 64 65 67 72 75 76 80 83 87 94 100 101 103 105 109 112 114 117 118 121 125 126 129 136 138 139 142 145 148 150 151
a 4 12 16 17 19 20 21 22 24 25 28 32 33 36 37 42 43 49 50 56 57 61 64 65 67 72 75 76 80 83 87 94 100 101 103 105 109 112 114 117 118 121 125 126 129 136 138 139 142 145 148 150 151 153
a 4 12 16 17 19 20 21 22 24 25 28 32 33 36 37 42 43 49 50 56 57 61 64 65 67 69 72 75 76 80 83 87 94 100 101 103 105 109 112 114 117 118 121 125 126 136 138 139 142 145 148 150 151 153
a 4 12 16 17 19 20 21 22 24 25 28 32 33 36 37 42 43 49 50 56 57 61 64 65 67 69 72 75 76 80 83 87 94 100 101 103 105 109 112 114 117 121 125 126 136 138 139 142 145 148 150 151 153 156
a 4 12 16 17 19 20 21 24 25 28 32 33 36 37 42 43 49 50 56 57 61 64 65 67 69 72 75 76 80 83 87 94 100 101 103 105 109 112 114 117 121 125 126 136 138 139 142 145 148 150 151 153 154 156
a 4 12 16 17 19 20 21 24 25 28 32 33 36 37 42 43 50 56 57 61 64 65 67 69 72 75 76 80 83 87 94 100 101 103 105 109 112 114 117 118 121 125 126 136 138 139 142 145 148 150 151 153 154 156
a 4 12 16 17 19 20 21 24 25 28 32 33 36 42 43 50 54 56 57 61 64 65 67 69 72 75 76 80 83 87 94 100 101 103 105 109 112 114 117 118 121 125 126 136 138 139 142 145 148 150 151 153 154 156
a 4 12 16 19 20 21 24 25 28 32 33 36 37 42 43 50 54 56 57 61 64 65 67 69 72 75 76 80 83 87 94 100 101 103 105 109 112 114 117 118 121 125 126 136 138 139 142 145 148 150 151 153 154 156
a 4 12 16 19 20 21 24 25 28 32 33 36 37 43 50 54 56 57 61 64 65 67 69 72 75 76 78 80 83 87 94 100 101 103 105 109 112 114 117 118 121 125 126 136 138 139 142 145 148 150 151 153 154 156
a 4 12 16 19 20 21 24 25 28 32 33 36 37 43 50 54 56 57 61 64 67 69 72 75 76 78 80 83 87 94 100 101 103 105 109 112 114 117 118 121 125 126 136 138 139 142 145 148 149 150 151 153 154 156
a 4 12 16 19 20 21 24 25 28 32 33 36 37 43 50 54 56 57 61 64 65 67 69 72 75 76 78 80 83 94 100 101 103 105 109 112 114 117 118 121 125 126 136 138 139 142 145 148 149 150 151 153 154 156
a 4 12 16 19 20 24 25 28 32 33 36 37 43 50 54 56 57 61 64 65 67 69 72 75 76 78 80 83 94 100 101 103 105 109 112 114 117 118 121 125 126 136 138 139 142 145 148 149 150 151 152 153 154 156
a 4 12 16 19 20 24 25 28 32 33 36 37 43 50 54 56 57 61 64 65 67 69 72 75 76 78 80 83 94 101 103 105 109 112 114 117 118 121 125 126 136 138 139 142 144 145 148 149 150 151 152 153 154 156
a 4 12 16 19 20 24 25 28 29 32 33 36 37 43 50 54 56 57 61 64 65 67 69 72 75 76 78 80 83 94 101 103 105 109 112 114 117 121 125 126 136 138 139 142 144 145 148 149 150 151 152 153 154 156
a 4 12 16 19 20 24 25 28 29 32 33 36 37 43 50 54 56 57 61 64 65 67 69 72 75 76 78 80 83 84 94 101 103 105 109 112 114 117 121 125 126 136 138 139 142 144 145 148 149 150 151 152 153 154
a 12 16 19 20 24 25 28 29 32 33 36 37 43 50 54 56 57 61 62 64 65 67 69 72 75 76 78 80 83 84 94 101 103 105 109 112 114 117 121 125 126 136 138 139 142 144 145 148 149 150 151 152 153 154
a 12 16 19 20 24 25 28 29 32 33 36 37 43 50 54 56 57 61 62 64 65 67 72 75 76 78 80 83 84 94 100 101 103 105 109 112 114 117 121 125 126 136 138 139 142 144 145 148 149 150 151 152 153 154
a 4 12 16 19 20 24 25 28 29 33 36 37 43 50 54 56 57 61 62 64 65 67 72 75 76 78 80 83 84 94 100 101 103 105 109 112 114 117 121 125 126 136 138 139 142 144 145 148 149 150 151 152 153 154
a 4 12 16 19 20 24 25 28 29 33 37 43 50 54 56 57 61 62 64 65 67 72 75 76 78 80 83 84 94 100 101 103 105 109 112 114 117 121 125 126 129 136 138 139 142 144 145 148 149 150 151 152 153 154
a 4 7 12 16 19 20 24 25 28 29 33 37 43 50 56 57 61 62 64 65 67 72 75 76 78 80 83 84 94 100 101 103 105 109 112 114 117 121 125 126 129 136 138 139 142 144 145 148 149 150 151 152 153 154
a 4 7 12 16 19 20 24 25 28 29 33 37 43 50 56 57 61 62 64 65 67 72 75 76 78 80 83 84 94 100 103 105 109 112 114 117 121 125 126 129 136 138 139 140 142 144 145 148 149 150 151 152 153 154
a 4 7 12 16 19 20 24 25 28 29 33 37 43 50 56 57 61 62 64 65 67 72 75 76 78 80 83 84 94 100 103 105 109 112 113 114 117 121 125 126 129 136 138 139 140 142 144 145 148 149 150 151 152 153
a 4 7 12 16 19 20 24 25 28 29 33 37 43 50 56 57 61 62 64 65 67 72 75 76 78 80 83 84 94 100 103 105 109 112 113 114 117 119 121 125 126 129 136 138 139 140 142 144 145 148 149 151 152 153
a 4 7 12 16 19 20 24 25 28 29 33 37 43 50 56 57 61 62 64 65 67 72 75 76 78 80 83 84 94 100 103 105 109 112 113 114 117 119 121 125 126 129 136 138 139 140 142 145 148 149 151 152 153 154
a 4 7 12 16 19 20 24 25 28 29 33 37 43 50 56 57 61 62 65 67 72 75 76 78 80 83 84 94 100 103 105 109 112 113 114 117 119 121 125 126 129 136 138 139 140 142 144 145 148 149 151 152 153 154
a 4 12 16 19 20 24 25 28 29 33 37 43 50 54 56 57 61 62 65 67 72 75 76 78 80 83 84 94 100 103 105 109 112 113 114 117 119 121 125 126 129 136 138 139 140 142 144 145 148 149 151 152 153 154
a 4 12 16 19 20 24 25 28 29 33 37 43 50 54 56 57 61 62 65 67 72 75 76 78 83 84 94 100 103 105 109 112 113 114 117 119 120 121 125 126 129 136 138 139 140 142 144 145 148 149 151 152 153 154
a 4 12 16 19 20 24 25 28 29 33 37 43 50 54 55 56 57 61 62 65 67 72 75 76 78 83 84 94 100 103 105 109 112 113 114 117 119 120 125 126 129 136 138 139 140 142 144 145 148 149 151 152 153 154
a 1 4 12 16 19 20 24 25 28 29 33 37 43 50 54 55 56 57 61 62 65 67 72 75 76 78 83 84 94 100 103 105 109 112 113 114 117 120 125 126 129 136 138 139 140 142 144 145 148 149 151 152 153 154
a 1 4 12 16 19 20 24 25 28 29 33 37 43 50 54 55 56 57 61 62 64 65 67 72 75 76 78 83 84 94 100 103 105 109 112 113 114 117 120 125 126 129 136 138 139 140 142 145 148 149 151 152 153 154
a 1 4 12 16 19 20 24 25 28 29 32 37 43 50 54 55 56 57 61 62 64 65 67 72 75 76 78 83 84 94 100 103 105 109 112 113 114 117 120 125 126 129 136 138 139 140 142 145 148 149 151 152 153 154
a 1 4 12 16 19 20 24 25 28 29 32 33 37 43 50 54 55 56 57 61 62 64 65 67 72 75 76 78 83 84 94 100 103 105 109 112 113 114 117 120 125 126 129 136 138 139 140 142 145 148 149 151 152 153
a 1 4 12 16 19 20 24 25 28 29 32 33 37 43 50 54 55 56 57 61 62 64 65 72 75 76 78 83 84 94 100 103 105 109 112 113 114 117 120 125 126 129 136 138 139 140 142 145 148 149 151 152 153 156
a 1 4 12 16 19 20 24 25 28 29 32 33 37 43 50 54 55 56 57 61 62 64 65 72 75 76 78 83 84 94 100 103 105 109 112 113 114 117 120 125 126 129 136 138 139 140 142 145 148 149 150 151 152 153
a 1 3 4 12 16 19 20 24 25 28 29 32 33 37 43 50 54 55 56 57 61 62 64 65 72 75 76 78 83 84 94 100 103 105 109 113 114 117 120 125 126 129 136 138 139 140 142 145 148 149 150 151 152 153
a 1 3 4 5 12 16 19 20 24 25 28 29 32 33 37 43 50 54 55 56 57 61 62 64 65 72 75 76 78 83 84 94 100 103 105 109 113 114 117 120 125 126 129 136 138 139 140 142 145 148 149 150 151 152
a 1 3 4 5 12 16 19 20 24 25 28 29 32 33 37 43 50 54 55 56 57 61 62 64 65 67 72 75 76 78 83 84 94 100 103 105 109 113 114 117 120 125 126 129 136 138 139 140 142 145 148 149 150 151
a 1 3 4 5 12 16 19 20 24 25 28 29 32 33 37 43 50 54 55 56 57 61 62 64 65 67 72 75 76 78 83 84 94 100 103 105 109 113 114 117 120 125 126 129 136 138 139 140 142 145 148 149 150 152
a 1 3 4 5 12 16 19 20 24 25 28 29 32 33 37 43 50 54 56 57 61 62 64 65 67 72 75 76 78 83 84 94 100 103 105 109 113 114 117 120 125 126 129 136 138 139 140 142 145 148 149 150 151 152
a 1 3 4 5 12 19 20 24 25 28 29 32 33 37 43 50 54 55 56 57 61 62 64 65 67 72 75 76 78 83 84 94 100 103 105 109 113 114 117 120 125 126 129 136 138 139 140 142 145 148 149 150 151 152
a 1 3 4 5 12 19 20 24 25 28 29 32 33 37 43 50 54 55 56 57 61 62 64 65 67 72 75 76 78 80 83 84 94 100 103 105 109 113 114 117 125 126 129 136 138 139 140 142 145 148 149 150 151 152
a 1 3 4 5 12 19 20 24 25 28 29 32 33 37 43 50 54 55 56 57 61 62 64 65 72 75 76 78 79 80 83 84 94 100 103 105 109 113 114 117 125 126 129 136 138 139 140 142 145 148 149 150 151 152
a 1 3 4 5 12 16 19 20 24 25 28 29 32 33 37 43 50 54 55 56 57 61 62 64 65 72 75 76 78 79 80 83 84 94 100 103 105 109 113 114 117 125 126 129 136 138 139 140 142 145 148 149 150 152
a 1 3 4 5 12 16 19 20 24 28 29 32 33 37 43 50 54 55 56 57 61 62 64 65 72 75 76 78 79 80 83 84 94 100 103 105 109 113 114 117 125 126 129 136 138 139 140 142 145 148 149 150 151 152
a 1 3 4 5 12 16 19 20 24 28 29 32 33 37 43 50 54 55 56 57 61 62 64 65 72 75 78 79 80 83 84 94 100 103 105 109 113 114 117 125 126 129 136 138 139 140 142 144 145 148 149 150 151 152
a 1 3 4 5 12 16 19 20 24 28 29 32 33 37 43 50 54 55 56 57 60 61 62 64 65 72 75 78 79 80 83 84 94 100 103 105 109 113 114 117 125 126 129 136 138 139 140 142 144 145 148 149 150 151
a 1 3 4 5 12 16 19 20 24 28 29 32 33 37 43 50 54 55 56 57 60 61 62 64 65 72 75 76 78 79 80 83 84 94 100 103 105 109 113 114 117 125 126 129 136 138 139 140 142 144 145 148 149 150
a 1 3 4 5 12 16 19 20 24 25 28 29 32 33 37 43 50 54 55 56 57 60 61 62 64 65 72 75 76 78 79 80 83 84 94 100 103 105 109 113 114 117 125 126 129 136 138 139 140 142 144 145 148 149
a 1 3 4 5 12 16 19 20 24 25 28 29 32 33 37 43 50 54 55 56 57 60 61 62 64 65 72 75 76 78 79 80 83 84 94 100 103 105 109 113 114 117 125 126 129 136 138 139 140 142 145 148 149 150
a 1 3 4 5 12 16 19 20 24 25 28 29 32 33 37 43 50 54 56 57 60 61 62 64 65 72 75 76 78 79 80 83 84 94 100 103 105 109 113 114 117 121 125 126 129 136 138 139 140 142 145 148 149 150
a 1 4 5 12 16 19 20 24 25 28 29 32 33 37 43 50 54 56 57 60 61 62 64 65 72 75 76 78 79 80 83 84 94 100 103 105 109 113 114 117 121 125 126 129 136 138 139 140 142 145 148 149 150 154
a 4 5 12 16 19 20 24 25 28 29 32 33 36 37 43 50 54 56 57 60 61 62 64 65 72 75 76 78 79 80 83 84 94 100 103 105 109 113 114 117 121 125 126 129 136 138 139 140 142 145 148 149 150 154
a 4 5 12 16 19 20 24 25 28 29 32 33 36 37 43 50 54 55 56 57 60 61 62 64 65 72 75 76 78 79 80 83 84 94 100 103 105 109 113 114 117 125 126 129 136 138 139 140 142 145 148 149 150 154
a 4 12 16 19 20 24 25 28 29 32 33 36 37 43 50 54 55 56 57 60 61 62 64 65 72 75 76 78 79 80 83 84 94 100 103 105 109 112 113 114 117 125 126 129 136 138 139 140 142 145 148 149 150 154
a 4 12 16 17 19 20 24 25 28 29 32 33 36 43 50 54 55 56 57 60 61 62 64 65 72 75 76 78 79 80 83 84 94 100 103 105 109 112 113 114 117 125 126 129 136 138 139 140 142 145 148 149 150 154
a 4 12 16 17 20 24 25 28 29 32 33 36 43 50 54 55 56 57 60 61 62 64 65 72 75 76 77 78 79 80 83 84 94 100 103 105 109 112 113 114 117 125 126 129 136 138 139 140 142 145 148 149 150 154
a 4 12 16 17 20 24 25 28 29 32 33 36 43 50 55 56 57 60 61 62 64 65 72 75 76 77 78 79 80 83 84 94 100 103 105 109 112 113 114 117 125 126 129 136 138 139 140 142 145 148 149 150 153 154
a 4 7 12 16 17 20 24 25 28 29 32 33 36 43 50 55 56 57 60 61 62 64 65 72 75 76 77 78 80 83 84 94 100 103 105 109 112 113 114 117 125 126 129 136 138 139 140 142 145 148 149 150 153 154
a 4 7 12 16 17 20 25 28 29 32 33 36 43 50 55 56 57 60 61 62 64 65 67 72 75 76 77 78 80 83 84 94 100 103 105 109 112 113 114 117 125 126 129 136 138 139 140 142 145 148 149 150 153 154
a 4 7 12 16 17 20 25 28 29 32 33 36 50 55 56 57 60 61 62 64 65 67 72 75 76 77 78 80 83 84 93 94 100 103 105 109 112 113 114 117 125 126 129 136 138 139 140 142 145 148 149 150 153 154
a 4 7 12 16 17 20 25 28 29 32 33 36 50 55 56 57 60 61 62 64 65 67 72 75 76 77 78 83 84 93 94 100 103 105 109 112 113 114 117 125 126 129 136 138 139 140 142 144 145 148 149 150 153 154
a 4 7 12 16 17 20 25 28 29 32 33 36 50 55 56 57 60 61 62 64 65 67 72 75 76 77 78 84 93 94 100 103 105 109 112 113 114 117 125 126 129 133 136 138 139 140 142 144 145 148 149 150 153 154
a 4 7 12 16 17 20 25 28 29 32 33 36 50 55 56 57 60 61 62 63 64 65 67 72 75 76 77 78 84 93 94 100 103 105 109 112 113 114 117 125 126 129 133 136 139 140 142 144 145 148 149 150 153 154
a 4 7 12 16 17 20 25 28 29 32 33 36 50 55 56 57 60 61 62 63 64 65 67 72 75 76 77 78 84 93 94 100 103 105 109 112 113 114 117 119 125 126 129 133 136 139 140 142 144 145 148 149 153 154
a 4 7 12 16 17 20 25 28 29 32 33 36 44 50 55 56 57 60 61 62 63 64 65 67 72 75 76 77 78 84 93 100 103 105 109 112 113 114 117 119 125 126 129 133 136 139 140 142 144 145 148 149 153 154
a 4 7 12 16 17 20 25 28 29 33 36 44 50 55 56 57 60 61 62 63 64 65 67 72 75 76 77 78 84 90 93 100 103 105 109 112 113 114 117 119 125 126 129 133 136 139 140 142 144 145 148 149 153 154
a 4 7 12 15 16 17 20 25 28 29 33 36 44 50 55 56 57 60 61 62 63 64 65 67 72 75 76 77 78 84 90 93 100 105 109 112 113 114 117 119 125 126 129 133 136 139 140 142 144 145 148 149 153 154
a 4 7 12 15 16 17 20 25 28 29 33 36 39 44 50 55 56 57 60 61 62 63 64 65 67 72 75 76 77 78 84 90 93 100 105 109 112 113 114 117 119 125 129 133 136 139 140 142 144 145 148 149 153 154
a 4 7 8 12 15 16 17 20 25 28 29 33 36 39 44 55 56 57 60 61 62 63 64 65 67 72 75 76 77 78 84 90 93 100 105 109 112 113 114 117 119 125 129 133 136 139 140 142 144 145 148 149 153 154
a 4 7 8 12 15 16 17 20 25 28 29 33 36 39 44 55 56 57 60 61 62 63 64 67 72 75 76 77 78 84 90 93 100 105 109 112 113 114 117 119 125 129 131 133 136 139 140 142 144 145 148 149 153 154
a 4 7 8 12 15 16 17 20 25 28 29 33 36 38 39 44 55 56 57 60 61 62 63 64 67 72 75 76 77 78 84 90 93 100 105 109 112 113 117 119 125 129 131 133 136 139 140 142 144 145 148 149 153 154
a 4 7 8 12 15 17 20 25 28 29 33 36 38 39 44 55 56 57 60 61 62 63 64 67 72 75 76 77 78 84 90 93 100 105 107 109 112 113 117 119 125 129 131 133 136 139 140 142 144 145 148 149 153 154
a 4 7 8 12 15 17 20 25 29 33 36 38 39 44 48 55 56 57 60 61 62 63 64 67 72 75 76 77 78 84 90 93 100 105 107 109 112 113 117 119 125 129 131 133 136 139 140 142 144 145 148 149 153 154
a 4 7 8 12 15 17 18 20 25 29 33 36 38 39 44 48 55 56 57 60 61 62 63 64 67 72 75 76 77 78 84 90 93 100 107 109 112 113 117 119 125 129 131 133 136 139 140 142 144 145 148 149 153 154
a 4 7 8 12 15 17 18 20 25 29 33 36 38 39 44 48 55 56 57 60 61 62 63 64 67 72 75 76 77 78 82 84 90 93 100 107 109 112 113 117 119 125 129 131 133 136 139 142 144 145 148 149 153 154
c Step: 294
#END: [Tue Sep  5 07:31:55 2023]