#BEGIN: [Mon Sep  4 22:09:53 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance012_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance012_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance012_graph002.col /benchmark/random_instance/random_instance012_graph002_01.dat
c /benchmark/random_instance/random_instance012_graph002.col
c /benchmark/random_instance/random_instance012_graph002_01.dat
s 51 39 42 152 34 40 75 47 66 56 154 10 76 98 93 44 17 48 126 92 14 141 144 67 82 46 15 99 58 150 4 73 101 148 83 142 61 52 62 106 43 147 74 87 22 30 118 63 129 124 57 29 105
t 37 148 107 137 130 141 22 91 25 45 110 95 86 63 122 99 55 43 96 146 57 75 59 66 105 6 47 71 64 13 7 35 94 19 74 125 103 58 152 127 53 44 39 111 48 121 78 4 65 9 68 73 52
a YES
a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 76 82 83 87 92 93 98 99 101 105 106 118 124 126 129 141 142 144 147 148 150 152 154
a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 82 83 87 92 93 98 99 101 105 106 118 121 124 126 129 141 142 144 147 148 150 152 154
a 4 10 14 15 17 22 29 30 34 38 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 67 73 74 75 82 83 87 92 93 98 99 101 105 106 118 121 124 126 129 142 144 147 148 150 152 154
a 4 10 14 15 17 22 29 30 34 38 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 68 73 74 75 82 83 87 92 93 98 99 101 105 106 118 121 124 126 129 142 144 147 148 150 152 154
a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 68 73 74 75 82 83 87 92 93 98 99 101 105 106 118 121 124 126 129 141 142 144 147 148 150 152 154
a 4 10 14 15 17 22 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 68 73 74 75 82 83 87 92 93 98 99 101 103 105 106 118 121 124 126 129 141 142 144 147 148 152 154
a 4 10 14 15 17 22 28 29 30 34 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 68 73 74 75 82 83 87 92 93 98 99 101 103 105 106 118 121 124 126 129 141 142 144 147 148 152 154
a 4 10 14 15 17 22 28 29 30 34 38 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 68 73 74 75 82 83 87 92 93 98 99 101 103 105 106 118 121 124 126 129 142 144 147 148 152 154
a 4 10 14 15 17 22 28 29 30 34 38 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 68 73 74 75 78 82 83 87 92 93 98 99 101 103 105 106 118 121 124 126 129 142 144 147 148 152
a 4 10 14 15 17 22 28 29 30 34 38 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 68 73 74 75 78 82 83 87 92 93 98 99 101 105 106 118 121 124 126 129 142 144 147 148 150 152
a 4 10 15 17 22 28 29 30 34 35 38 39 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 68 73 74 75 78 82 83 87 92 93 98 99 101 105 106 118 121 124 126 129 142 144 147 148 150 152
a 4 10 15 17 22 28 29 30 34 35 38 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 68 73 74 75 78 82 83 87 92 93 98 99 101 105 106 118 121 124 126 129 133 142 144 147 148 150 152
a 4 10 15 17 22 28 29 30 34 38 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 68 72 73 74 75 78 82 83 87 92 93 98 99 101 105 106 118 121 124 126 129 133 142 144 147 148 150 152
a 4 10 15 17 22 28 29 30 34 38 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 68 72 73 74 75 78 82 83 87 92 93 98 99 101 105 106 121 124 126 129 133 142 144 146 147 148 150 152
a 4 10 15 17 22 29 30 34 38 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 68 72 73 74 75 78 82 83 87 92 93 98 99 101 105 106 121 124 126 129 133 142 144 146 147 148 150 152
a 4 10 15 17 22 29 30 34 38 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 66 68 72 73 74 75 82 83 87 92 93 98 99 101 105 106 121 124 126 129 133 142 144 146 147 148 150 152 154
a 4 10 15 17 22 28 29 30 34 38 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 68 72 73 74 75 82 83 87 92 93 98 99 101 105 106 121 124 126 129 133 142 144 146 147 148 150 152 154
a 4 10 15 17 22 28 29 30 34 38 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 68 72 73 74 75 82 83 87 89 92 93 99 101 105 106 121 124 126 129 133 142 144 146 147 148 150 152 154
a 4 10 15 17 22 28 29 30 34 38 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 68 72 73 74 75 82 83 87 89 92 93 99 101 105 106 121 126 129 133 140 142 144 146 147 148 150 152 154
a 4 10 15 17 22 25 28 29 30 34 38 40 42 43 44 46 47 48 51 52 56 57 58 61 62 63 68 72 73 74 75 82 83 87 89 92 93 99 101 105 106 121 126 129 133 140 142 146 147 148 150 152 154
a 4 10 15 17 22 25 28 29 30 34 38 40 42 43 44 46 47 48 51 52 57 58 61 62 63 68 72 73 74 75 82 83 87 89 92 93 99 101 105 106 121 126 129 133 138 140 142 146 147 148 150 152 154
a 4 10 15 17 22 25 28 29 30 34 38 42 43 44 46 47 48 51 52 57 58 61 62 63 68 72 73 74 75 82 83 87 89 92 93 99 101 105 106 120 121 126 129 133 138 140 142 146 147 148 150 152 154
a 4 10 15 17 20 22 25 28 29 30 34 38 42 43 44 46 47 48 51 52 57 58 61 62 63 68 72 73 74 75 82 83 87 89 92 93 101 105 106 120 121 126 129 133 138 140 142 146 147 148 150 152 154
a 4 10 15 17 20 22 25 28 29 30 34 38 41 42 43 44 46 47 48 51 52 57 58 61 62 63 68 72 73 74 75 82 83 89 92 93 101 105 106 120 121 126 129 133 138 140 142 146 147 148 150 152 154
a 4 10 15 17 20 22 25 28 29 30 34 38 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 68 72 73 74 75 82 83 89 92 93 101 105 106 120 121 126 129 133 140 142 146 147 148 150 152 154
a 4 10 14 15 17 20 22 25 28 29 30 34 38 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 68 72 73 74 75 82 83 89 92 93 101 105 106 120 121 126 129 140 142 146 147 148 150 152 154
a 4 10 14 15 17 20 22 25 28 29 30 34 38 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 68 72 73 74 75 82 83 89 92 93 95 101 105 106 120 121 129 140 142 146 147 148 150 152 154
a 4 10 14 15 17 20 22 28 29 30 34 38 41 42 43 44 46 47 48 51 52 56 57 58 61 62 63 68 72 73 74 75 82 83 89 92 93 95 101 105 106 113 120 121 129 140 142 146 147 148 150 152 154
a 4 10 14 15 17 20 22 28 29 30 34 38 41 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 68 72 73 74 75 82 83 89 92 95 101 105 106 113 120 121 129 140 142 146 147 148 150 152 154
a 4 10 14 15 17 22 28 29 30 34 38 41 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 68 72 73 74 75 82 83 89 92 95 101 105 106 113 120 121 129 140 142 144 146 147 148 150 152 154
a 4 10 14 15 16 17 22 28 29 30 34 38 41 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 68 72 73 74 75 82 83 89 92 95 101 105 106 113 120 121 129 140 142 144 146 147 148 150 154
a 4 7 10 14 15 16 17 22 28 29 30 34 38 41 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 68 72 73 74 75 82 83 89 92 95 101 106 113 120 121 129 140 142 144 146 147 148 150 154
a 4 7 10 14 15 16 17 28 29 30 34 38 41 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 68 70 72 73 74 75 82 83 89 92 95 101 106 113 120 121 129 140 142 144 146 147 148 150 154
a 4 7 10 14 15 16 17 22 28 29 30 34 38 41 42 43 44 46 47 48 51 52 56 57 58 60 61 62 63 68 70 72 73 74 75 82 83 89 92 95 101 106 113 120 121 129 140 142 144 146 147 148 150
a 4 7 10 14 15 16 17 22 28 29 30 34 38 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 68 70 72 73 74 75 79 82 83 89 92 95 101 106 113 120 121 129 140 142 144 146 147 148 150
a 4 7 10 14 15 16 17 22 28 29 30 34 38 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 68 70 72 73 74 75 79 82 83 89 92 95 101 106 113 120 121 124 129 142 144 146 147 148 150
a 4 7 10 14 15 16 17 22 28 29 30 34 38 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 68 70 72 73 74 75 79 82 83 89 92 95 101 106 113 120 121 124 129 142 144 146 147 148 154
a 4 7 10 14 15 16 17 22 28 29 30 34 38 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 68 70 72 73 74 75 79 82 83 89 92 95 101 106 113 114 120 121 124 129 142 144 146 147 148
a 4 7 10 14 15 16 17 22 28 29 30 34 38 41 42 43 46 47 48 51 52 56 57 58 60 62 63 68 70 72 73 74 75 79 82 83 89 92 95 101 106 113 114 120 121 124 129 142 144 146 147 148 154
a 4 7 10 14 15 16 17 22 28 29 30 34 38 41 42 43 46 47 48 51 52 56 57 58 60 62 63 68 70 72 73 74 75 79 82 83 89 92 95 101 106 113 114 120 121 124 129 142 144 146 147 148 150
a 4 6 7 10 14 15 16 17 22 28 29 30 34 38 41 42 43 46 47 48 51 52 56 57 58 60 62 63 68 70 72 73 74 75 79 82 83 89 92 95 106 113 114 120 121 124 129 142 144 146 147 148 150
a 4 6 7 10 14 15 16 17 22 25 28 29 30 34 38 41 42 43 46 47 48 51 52 56 57 58 60 62 63 68 70 72 73 74 75 79 82 83 89 92 95 106 113 114 120 121 124 129 142 146 147 148 150
a 4 6 7 10 14 15 16 17 22 25 28 29 30 38 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 68 70 72 73 74 75 79 82 83 89 92 95 106 113 114 120 121 124 129 142 146 147 148 150
a 4 6 7 10 14 15 16 17 22 25 28 29 30 34 38 41 42 43 46 47 48 51 52 56 58 60 61 62 63 68 70 72 73 74 75 79 82 83 89 92 95 106 113 114 120 121 124 129 142 146 147 148 150
a 4 6 7 10 14 15 16 17 22 25 28 29 30 34 38 41 42 43 46 47 48 51 52 56 58 60 61 62 63 68 70 72 73 74 75 79 82 83 89 92 95 106 113 114 120 121 124 125 129 142 146 147 150
a 4 6 7 10 14 15 16 17 22 25 28 29 30 34 38 41 42 43 46 47 48 51 52 56 58 60 61 62 63 68 70 72 73 74 75 79 82 83 89 92 95 106 112 113 120 121 124 125 129 142 146 147 150
a 4 6 7 10 14 15 16 17 22 25 29 30 34 38 41 42 43 46 47 48 51 52 56 58 60 61 62 63 68 70 72 73 74 75 79 82 83 89 92 95 106 112 113 120 121 124 125 129 142 143 146 147 150
a 4 6 7 10 14 15 16 17 22 25 29 30 34 38 41 43 46 47 48 51 52 56 58 59 60 61 62 63 68 70 72 73 74 75 79 82 83 89 92 95 106 112 113 120 121 124 125 129 142 143 146 147 150
a 4 6 7 10 14 15 16 17 22 25 29 30 34 38 41 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 79 82 83 89 92 95 106 112 113 120 121 124 125 129 142 146 147 150
a 4 6 7 10 14 15 16 17 22 25 29 30 34 38 41 43 46 47 48 51 52 56 57 58 59 60 61 62 63 66 68 70 72 73 74 75 79 82 83 89 92 95 106 112 113 120 121 124 125 129 142 146 147
a 4 6 7 10 14 15 16 17 22 25 29 30 34 38 41 43 46 47 48 51 52 56 57 58 59 60 61 62 63 66 68 70 72 73 74 75 79 82 83 89 92 95 106 112 113 120 121 124 125 129 142 146 150
a 4 6 7 10 14 15 16 22 25 29 30 34 38 41 43 46 47 48 51 52 56 57 58 59 60 61 62 63 66 68 70 72 73 74 75 79 82 83 89 92 95 106 112 113 120 121 124 125 129 142 146 147 150
a 4 6 7 10 14 15 16 17 25 29 30 34 38 41 43 46 47 48 51 52 56 57 58 59 60 61 62 63 66 68 70 72 73 74 75 79 82 83 89 92 95 106 112 113 120 121 124 125 129 142 146 147 150
a 4 6 7 10 14 15 16 17 22 25 29 30 38 41 43 46 47 48 51 52 56 57 58 59 60 61 62 63 66 68 70 72 73 74 75 79 82 83 89 92 95 106 112 113 120 121 124 125 129 142 146 147 150
a 4 6 7 10 14 15 16 17 22 25 29 30 38 41 42 43 46 47 48 51 52 56 57 58 59 60 61 62 63 66 68 70 72 73 74 75 79 82 83 89 92 95 106 112 113 120 121 124 125 129 142 146 150
a 4 6 7 10 14 15 17 22 25 29 30 38 41 42 43 46 47 48 51 52 56 57 58 59 60 61 62 63 66 68 70 72 73 74 75 79 82 83 85 89 92 95 106 112 113 120 121 124 125 129 142 146 150
a 4 6 7 10 14 15 17 22 25 29 30 38 41 42 43 46 47 48 51 52 56 57 58 59 60 61 62 63 66 68 70 72 73 74 75 78 79 82 83 85 89 92 95 106 112 113 120 124 125 129 142 146 150
a 4 6 7 10 14 15 17 22 25 28 29 30 38 41 42 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 78 79 82 83 85 89 92 95 106 112 113 120 124 125 129 142 146 150
a 4 6 7 10 14 15 17 22 25 28 29 30 38 41 42 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 106 112 113 120 124 125 129 142 146 150 154
a 4 6 7 10 14 15 17 22 25 28 29 30 41 42 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 106 112 113 120 124 125 129 141 142 146 150 154
a 4 6 7 10 14 15 17 22 25 28 29 30 41 42 43 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 106 112 113 120 124 125 129 141 142 146 147 150 154
a 4 6 7 10 14 15 17 22 25 28 29 30 41 42 43 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 106 112 113 120 124 125 129 141 142 145 146 147 154
a 4 6 7 10 14 15 17 22 28 29 30 41 42 43 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 106 112 113 120 124 125 129 141 142 144 145 146 147 154
a 4 6 7 10 14 15 17 22 28 29 30 38 41 42 43 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 106 112 113 120 124 125 129 142 144 145 146 147 154
a 4 6 7 10 14 15 17 22 28 29 30 34 38 41 42 43 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 106 112 113 120 124 125 129 142 144 146 147 154
a 4 6 7 10 14 15 17 22 28 29 30 34 38 41 42 43 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 106 112 113 120 124 125 129 142 144 146 147
a 4 6 7 10 14 15 17 22 28 29 30 34 38 41 42 43 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 120 124 125 129 142 144 146 147
a 4 6 7 10 14 15 17 22 28 29 30 38 41 42 43 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 120 124 125 129 142 144 145 146 147
a 4 6 7 10 14 15 17 22 28 29 30 38 41 42 43 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 120 124 125 129 142 144 145 146 148
a 4 6 7 10 14 15 17 22 29 30 38 41 42 43 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 120 124 125 129 142 144 145 146 148 150
a 4 6 7 10 14 15 17 22 28 29 30 38 41 42 43 47 48 51 52 56 57 58 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 120 124 125 129 142 144 145 146 148 150
a 4 6 7 10 14 15 17 22 28 29 30 38 41 42 43 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 120 124 125 129 142 144 145 146 150
a 4 6 7 10 14 15 17 22 28 29 30 38 41 42 43 47 48 51 52 56 57 58 59 60 61 62 68 70 72 73 74 75 76 78 79 82 83 85 89 92 95 99 106 113 120 124 125 129 142 144 145 146 150
a 4 6 7 10 14 15 17 22 28 29 30 38 41 42 43 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 76 78 79 82 83 85 89 92 95 99 106 113 120 124 125 129 142 144 145 146
a 4 6 7 10 14 15 17 22 28 29 30 38 41 42 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 76 78 79 82 83 85 89 92 95 99 106 113 120 124 125 129 142 145 146
a 4 6 7 10 14 15 17 22 28 29 30 41 42 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 76 78 79 82 83 85 89 92 95 99 106 113 120 124 125 129 142 144 145 146
a 4 6 7 10 14 15 17 22 28 29 30 41 42 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 76 78 79 82 83 85 89 92 95 99 106 113 120 124 129 141 142 144 145 146
a 4 6 7 10 14 15 17 22 28 29 30 41 42 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 120 124 129 141 142 144 145 146 154
a 4 6 7 10 14 15 17 22 28 29 30 41 42 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 120 124 129 141 142 144 145 147 154
a 4 6 7 10 14 15 17 22 28 29 30 41 42 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 76 79 82 83 89 92 95 99 106 113 120 124 129 141 142 144 145 147 150 154
a 4 6 7 10 14 15 17 22 28 29 30 41 42 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 75 76 79 82 83 89 92 95 99 106 113 120 124 129 141 142 144 145 146 147 150 154
a 4 6 7 10 14 15 17 22 28 29 30 41 42 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 76 79 82 83 89 92 95 99 106 113 120 124 141 142 144 145 146 147 150 154
a 4 6 7 10 14 15 17 22 28 29 30 41 42 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 120 124 141 142 144 145 146 147 150
a 4 6 7 10 14 15 17 22 28 29 30 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 120 124 141 142 144 145 146 147 150 154
a 4 6 7 10 14 15 17 22 28 29 30 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 120 124 129 141 142 145 146 147 150 154
a 4 6 7 10 14 15 17 22 29 30 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 66 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 120 124 129 141 142 145 146 147 150 154
a 4 6 7 10 14 15 17 22 29 30 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 66 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 120 124 129 141 142 144 145 146 147 150
a 4 6 7 10 14 15 17 22 29 30 38 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 66 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 120 124 129 142 144 145 146 147 150
a 4 6 7 10 14 15 17 22 29 30 38 41 42 43 46 47 48 51 52 56 57 58 60 61 62 63 66 68 70 72 73 74 75 76 79 82 83 85 89 92 95 106 112 113 120 124 129 142 144 145 146 147 150
a 4 6 7 10 14 15 17 22 29 30 38 41 43 46 47 48 51 52 56 57 58 60 61 62 63 66 68 70 72 73 74 75 76 79 82 83 85 89 92 95 106 112 113 114 120 124 129 142 144 145 146 147 150
a 4 6 7 10 14 15 17 22 28 29 30 38 41 43 46 47 48 51 52 56 57 58 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 106 112 113 114 120 124 129 142 144 145 146 147 150
a 4 6 7 10 14 15 17 22 28 29 30 38 41 43 46 47 48 51 52 56 57 58 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 106 112 113 114 120 121 124 129 142 144 145 146 147 150
a 4 6 7 10 14 15 17 22 28 29 30 38 41 43 46 47 48 51 52 56 57 58 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 114 120 121 124 129 142 144 145 146 147 150
a 4 6 7 10 14 15 17 22 28 29 30 38 41 43 46 47 48 51 52 56 57 58 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 114 120 121 124 129 142 144 145 146 147 154
a 4 6 7 10 14 15 17 22 28 29 30 38 41 43 46 47 48 51 52 56 57 58 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 114 120 121 124 129 142 144 145 146 150 154
a 4 6 7 10 14 15 17 22 28 29 30 38 41 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 120 121 124 129 142 144 145 146 150 154
a 4 6 7 10 14 15 17 22 28 29 30 41 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 120 121 124 129 141 142 144 145 146 150 154
a 4 6 7 10 14 15 17 22 28 29 30 34 41 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 120 121 124 129 141 142 144 146 150 154
a 4 6 7 10 14 15 17 22 28 29 30 34 38 41 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 120 121 124 129 142 144 146 150 154
a 4 6 7 10 14 15 17 22 28 29 30 34 38 41 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 120 121 124 125 129 142 144 146 154
a 4 6 7 10 14 15 17 22 25 28 29 30 34 38 41 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 120 121 124 125 129 142 146 154
a 4 6 7 10 14 15 17 22 25 28 29 30 34 38 41 43 46 47 48 51 52 56 57 58 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 120 121 124 125 129 142 146 150
a 4 6 7 10 14 15 17 22 25 28 29 30 34 38 41 42 43 46 47 48 51 52 56 57 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 120 121 124 125 129 142 146 150
a 4 6 7 10 14 15 17 22 25 28 29 30 34 38 41 42 43 46 47 48 51 52 56 57 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 120 121 124 125 129 142 146 154
a 4 6 7 10 14 15 17 22 25 28 29 30 34 38 41 42 43 46 47 48 51 52 56 57 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 106 112 113 120 121 124 125 129 142 146 154
a 4 6 7 10 14 15 17 22 25 28 29 34 38 41 42 43 46 47 48 51 52 56 57 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 106 112 113 120 121 124 125 129 142 146 147 154
a 4 6 7 10 14 15 16 17 22 25 28 29 34 38 41 42 43 46 47 48 51 52 56 57 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 106 112 113 120 121 124 125 129 142 146 154
a 4 6 7 10 14 15 16 17 22 25 28 29 34 38 41 42 43 46 47 48 51 52 56 57 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 106 112 113 118 120 121 124 125 129 142 154
a 4 6 7 10 14 15 16 17 22 25 28 34 38 41 42 43 46 47 48 51 52 56 57 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 106 112 113 118 120 121 124 125 129 142 148 154
a 4 6 7 10 14 15 16 17 22 25 28 29 34 38 41 42 43 46 47 48 51 52 56 57 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 106 112 113 118 120 121 124 125 129 142 148
a 4 6 7 10 14 15 16 17 22 25 29 34 38 41 42 43 46 47 48 51 52 56 57 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 106 112 113 118 120 121 124 125 129 142 148 154
a 4 6 7 10 14 15 16 17 22 25 29 34 38 41 42 43 46 47 48 51 52 56 57 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 118 120 121 124 125 129 142 148 154
a 4 6 10 14 15 16 17 22 25 29 34 38 41 42 43 46 47 48 51 52 56 57 59 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 118 120 121 124 125 129 142 147 148 154
a 4 6 10 14 15 16 17 22 25 29 34 38 41 42 43 46 47 48 51 52 56 57 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 114 118 120 121 124 125 129 142 147 148 154
a 4 6 10 14 15 16 22 25 28 29 34 38 41 42 43 46 47 48 51 52 56 57 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 114 118 120 121 124 125 129 142 147 148 154
a 4 6 10 14 15 16 17 22 25 28 29 38 41 42 43 46 47 48 51 52 56 57 60 61 62 63 68 70 72 73 74 75 79 82 83 85 89 92 95 99 106 113 114 118 120 121 124 125 129 142 147 148 154
a 4 6 10 14 15 16 17 22 25 28 29 38 41 42 43 46 47 48 51 52 56 57 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 114 118 120 124 125 129 142 147 148 154
a 4 10 14 15 16 17 22 25 28 29 30 38 41 42 43 46 47 48 51 52 56 57 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 114 118 120 124 125 129 142 147 148 154
a 4 10 14 15 16 17 22 25 28 29 30 38 41 42 43 46 47 48 51 52 56 57 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 114 118 120 124 125 129 142 145 147 148
a 4 7 10 14 15 16 17 22 25 28 29 30 38 41 42 43 46 47 48 51 52 56 57 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 114 118 120 124 125 129 142 145 147
a 4 7 10 14 15 16 17 22 25 28 29 30 38 41 42 46 47 48 51 52 56 57 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 114 118 120 124 125 129 142 145 147 155
a 4 6 7 10 14 15 16 22 25 28 29 30 38 41 42 46 47 48 51 52 56 57 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 114 118 120 124 125 129 142 145 147 155
a 4 6 7 10 14 15 16 22 25 28 29 30 38 41 42 46 47 48 51 52 56 57 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 114 118 120 124 125 129 142 145 147 154
a 4 6 7 10 14 15 16 22 25 28 29 30 38 41 42 46 47 51 52 56 57 58 60 61 62 63 68 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 114 118 120 124 125 129 142 145 147 154
a 4 6 7 10 14 15 16 22 25 28 29 30 38 41 42 46 47 51 52 56 57 58 60 61 62 63 67 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 114 118 120 124 125 129 142 145 147 154
a 4 6 7 10 14 15 16 17 22 25 28 29 30 38 41 42 46 47 51 52 56 57 58 60 61 62 63 67 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 114 118 120 124 125 129 142 145 147
a 6 7 10 12 14 15 16 17 22 25 28 29 30 38 41 42 46 47 51 52 56 57 58 60 61 62 63 67 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 114 118 120 124 125 129 142 145 147
a 6 7 10 14 15 16 17 22 25 28 29 30 38 41 42 43 46 47 51 52 56 57 58 60 61 62 63 67 70 72 73 74 75 76 79 82 83 85 89 92 95 99 106 113 114 118 120 124 125 129 142 145 147
a 6 7 10 14 15 16 17 22 25 28 29 30 38 41 42 43 46 47 51 52 56 57 58 60 61 62 67 70 72 73 74 75 76 79 82 83 85 89 92 95 97 99 106 113 114 118 120 124 125 129 142 145 147
a 6 7 10 14 15 16 17 22 25 28 29 30 38 41 42 43 46 47 52 56 57 58 60 61 62 67 70 72 73 74 75 76 79 82 83 85 89 92 95 97 99 106 113 114 115 118 120 124 125 129 142 145 147
a 6 7 10 12 14 15 16 17 22 25 28 29 30 38 41 42 43 46 47 52 56 57 58 60 61 62 67 70 72 73 74 75 76 79 82 83 85 89 92 95 97 99 106 113 114 115 118 120 125 129 142 145 147
a 6 7 10 12 15 16 17 22 25 28 29 30 38 41 42 43 46 47 52 56 57 58 60 61 62 67 70 72 73 74 75 76 79 82 83 85 89 92 95 97 99 106 113 114 115 118 120 125 129 142 145 147 150
a 6 7 10 12 15 16 17 22 25 28 29 30 34 38 41 42 43 46 47 52 56 57 58 60 61 62 67 70 72 73 74 75 76 79 82 83 85 89 92 95 97 99 106 113 114 115 118 120 125 129 142 147 150
a 6 7 10 12 14 15 16 17 22 25 28 29 30 34 38 41 42 43 46 47 52 56 57 58 60 61 62 67 70 72 73 74 75 76 79 82 83 85 89 92 95 97 99 106 113 114 115 118 120 125 129 147 150
a 6 7 10 12 14 15 16 17 22 25 28 29 30 36 38 41 42 43 46 47 52 56 57 58 60 61 62 67 70 72 73 74 75 76 79 82 83 85 89 92 95 97 99 106 113 114 115 118 120 125 129 147 150
a 6 7 12 14 15 16 17 22 25 28 29 30 34 36 38 41 42 43 46 47 52 56 57 58 60 61 62 67 70 72 73 74 75 76 79 82 83 85 89 92 95 97 99 106 113 114 115 118 120 125 129 147 150
a 6 7 12 14 15 16 17 22 25 28 29 30 34 36 38 41 42 43 46 47 52 56 57 58 60 61 62 67 70 72 73 74 75 79 82 83 85 89 92 95 97 99 106 113 114 115 118 120 121 125 129 147 150
a 7 12 14 15 16 17 22 25 28 29 30 34 36 38 41 42 43 46 47 52 56 57 58 60 61 62 67 70 72 73 74 75 79 82 83 85 89 92 95 97 99 106 113 114 115 118 120 121 124 125 129 147 150
a 7 10 12 14 15 16 17 22 25 28 30 34 36 38 41 42 43 46 47 52 56 57 58 60 61 62 67 70 72 73 74 75 79 82 83 85 89 92 95 97 99 106 113 114 115 118 120 121 124 125 129 147 150
a 6 7 10 12 14 15 16 17 22 25 28 30 34 36 38 41 42 43 46 47 52 56 57 58 60 61 62 67 70 72 73 74 75 79 82 83 89 92 95 97 99 106 113 114 115 118 120 121 124 125 129 147 150
a 6 7 10 12 14 15 16 17 22 25 28 30 34 38 41 42 43 46 47 52 56 57 58 60 61 62 67 70 72 73 74 75 79 82 83 89 92 95 97 99 105 106 113 114 115 118 120 121 124 125 129 147 150
a 6 7 10 12 14 15 16 17 22 25 28 30 34 36 38 41 42 43 46 47 52 56 57 58 60 61 62 67 70 72 73 74 75 79 82 83 89 92 95 97 99 105 106 113 114 115 118 120 121 124 125 129 147
a 6 10 12 14 15 16 17 22 25 28 30 34 36 38 41 42 43 46 47 52 56 57 58 60 61 62 67 70 72 73 74 75 79 82 83 89 92 95 97 99 105 106 113 114 115 118 120 121 124 125 129 147 150
a 6 10 12 14 15 16 17 22 25 28 30 34 36 38 41 42 43 46 47 52 56 57 58 60 61 62 68 70 72 73 74 75 79 82 83 89 92 95 97 99 105 106 113 114 115 118 120 121 124 125 129 147 150
a 6 7 10 12 14 15 16 17 22 25 28 30 34 36 38 41 42 43 46 47 52 56 57 58 60 61 62 70 72 73 74 75 79 82 83 89 92 95 97 99 105 106 113 114 115 118 120 121 124 125 129 147 150
a 2 6 7 10 12 14 15 16 17 22 25 28 30 34 36 38 41 42 43 47 52 56 57 58 60 61 62 70 72 73 74 75 79 82 83 89 92 95 97 99 105 106 113 114 115 118 120 121 124 125 129 147 150
a 2 6 7 10 12 14 15 16 17 22 25 28 30 34 36 38 41 42 43 47 49 52 56 57 58 60 61 62 70 72 73 74 75 79 82 83 89 92 95 97 99 105 106 113 114 115 118 121 124 125 129 147 150
a 2 6 7 10 12 14 15 17 22 25 28 30 34 36 38 41 42 43 47 49 50 52 56 57 58 60 61 62 70 72 73 74 75 79 82 83 89 92 95 97 99 105 106 113 114 115 118 121 124 125 129 147 150
a 2 6 7 10 12 14 15 17 22 25 28 30 34 36 38 40 41 42 43 49 50 52 56 57 58 60 61 62 70 72 73 74 75 79 82 83 89 92 95 97 99 105 106 113 114 115 118 121 124 125 129 147 150
a 2 6 7 10 12 14 15 17 22 25 28 30 34 36 38 39 40 41 42 43 49 50 52 56 57 58 60 61 62 70 73 74 75 79 82 83 89 92 95 97 99 105 106 113 114 115 118 121 124 125 129 147 150
a 2 6 7 10 12 14 15 17 19 22 25 28 30 34 36 38 39 40 41 42 43 49 50 52 57 58 60 61 62 70 73 74 75 79 82 83 89 92 95 97 99 105 106 113 114 115 118 121 124 125 129 147 150
a 2 6 7 10 12 14 17 19 22 25 28 30 34 36 38 39 40 41 42 43 49 50 52 57 58 60 61 62 68 70 73 74 75 79 82 83 89 92 95 97 99 105 106 113 114 115 118 121 124 125 129 147 150
a 2 6 7 10 12 14 15 17 19 22 25 28 30 34 36 38 39 40 41 42 43 49 50 52 57 58 60 61 62 68 70 73 74 75 79 82 83 89 92 95 97 105 106 113 114 115 118 121 124 125 129 147 150
a 2 7 10 12 14 15 17 19 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 68 70 73 74 75 79 82 83 89 92 95 97 105 106 113 114 115 118 121 124 125 129 147 150
a 2 7 10 12 14 15 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 68 70 73 74 75 79 82 83 89 92 95 97 105 106 113 114 115 118 121 124 125 129 147 150
a 2 7 10 12 14 15 17 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 68 70 73 74 75 79 82 83 89 92 95 97 105 106 113 114 115 118 121 124 129 147 150
a 2 6 7 10 12 14 15 17 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 68 70 73 74 75 79 82 83 89 92 95 97 105 106 113 114 115 118 121 124 129 150
a 2 6 7 10 12 14 15 17 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 68 70 73 74 75 79 82 83 89 92 95 97 105 106 113 115 118 121 124 129 150 153
a 2 6 7 10 12 14 15 17 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 68 70 73 74 75 79 82 83 89 92 95 97 105 106 113 115 118 121 129 138 150 153
a 2 6 7 10 12 14 15 17 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 68 70 73 74 75 79 82 83 89 92 95 97 105 106 113 115 118 121 125 129 138 153
a 2 6 7 10 12 14 15 17 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 68 70 73 74 75 79 82 83 89 92 95 97 105 106 113 115 121 125 129 138 150 153
a 2 7 10 12 14 15 17 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 68 70 73 74 75 79 82 83 89 92 95 97 105 106 113 115 121 125 129 138 140 150 153
a 2 7 10 12 14 15 17 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 68 70 73 74 75 76 79 82 83 89 92 95 97 105 106 113 115 125 129 138 140 150 153
a 2 7 10 12 14 15 17 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 68 70 73 74 75 76 79 82 83 89 92 95 97 105 106 113 114 115 125 129 138 150 153
a 2 7 10 12 14 15 17 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 68 70 73 74 75 76 79 82 83 89 92 95 97 105 106 113 114 115 125 129 138 140 150
a 2 7 10 12 14 15 17 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 68 70 73 74 75 76 79 82 83 89 92 95 97 101 105 106 113 114 115 129 138 140 150
a 2 3 7 10 12 14 15 17 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 68 70 73 74 75 76 79 82 83 89 92 95 97 101 105 106 113 114 115 129 138 140
a 2 3 7 10 12 14 15 17 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 68 70 73 74 75 76 79 82 83 89 92 95 97 101 105 106 113 114 115 129 138 147
a 2 3 7 10 12 14 15 17 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 64 68 70 73 74 75 76 79 82 83 89 92 95 97 101 105 106 113 114 115 129 138
a 2 3 7 10 12 14 15 17 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 62 64 68 70 73 74 75 76 79 82 83 89 92 94 95 97 101 105 106 113 114 115 138
a 2 3 7 10 12 14 15 17 19 20 22 25 28 30 34 36 38 39 40 41 42 43 47 49 50 52 57 58 60 61 64 68 70 73 74 75 76 79 82 83 89 92 94 95 97 101 105 106 113 114 115 138 148
a 2 3 7 10 12 14 15 17 19 20 22 25 28 30 34 36 39 40 41 42 43 47 49 50 52 57 58 60 61 64 68 70 73 74 75 76 79 82 83 89 92 94 95 97 101 105 106 113 114 115 138 148 152
a 2 3 7 10 12 14 15 17 19 20 22 25 28 30 34 36 39 40 41 42 43 47 49 50 52 57 58 60 61 64 68 70 73 74 75 76 79 82 83 89 92 94 95 97 105 106 113 114 115 125 138 148 152
a 2 3 6 7 10 12 14 15 17 19 20 22 25 28 30 34 36 39 40 41 42 43 47 49 50 52 57 58 60 61 64 68 70 73 74 75 76 79 82 83 89 92 94 95 97 105 106 113 114 115 125 148 152
a 2 3 6 7 10 12 14 15 17 19 20 22 25 28 30 34 36 39 40 41 42 43 47 50 52 57 58 60 61 64 68 70 73 74 75 76 79 82 83 89 92 94 95 97 105 106 113 114 115 125 141 148 152
a 2 3 6 7 10 12 15 17 19 20 22 25 28 30 34 35 36 39 40 41 42 43 47 50 52 57 58 60 61 64 68 70 73 74 75 76 79 82 83 89 92 94 95 97 105 106 113 114 115 125 141 148 152
a 2 3 6 7 10 12 15 17 19 20 22 25 28 30 34 35 36 39 40 41 42 43 47 50 52 57 58 60 61 64 68 70 73 74 75 76 79 83 86 89 92 94 95 97 105 106 113 114 115 125 141 148 152
a 2 3 6 7 10 12 15 17 19 20 22 25 28 30 34 35 36 39 40 41 42 43 47 50 52 57 58 60 61 64 68 70 73 74 75 76 79 83 86 89 94 95 97 105 106 113 114 115 122 125 141 148 152
a 2 3 6 7 10 15 17 19 20 22 25 28 30 34 35 36 39 40 41 42 43 47 50 52 57 58 60 61 64 68 70 73 74 75 76 79 83 86 89 94 95 97 105 106 113 114 115 122 125 141 146 148 152
a 2 3 6 7 10 15 17 19 20 22 25 28 30 34 35 36 39 41 42 43 47 50 52 53 57 58 60 61 64 68 70 73 74 75 76 79 83 86 89 94 95 97 105 106 113 114 115 122 125 141 146 148 152
a 2 3 6 7 9 10 15 17 19 20 22 25 28 30 34 35 36 39 41 42 43 47 50 52 53 57 58 60 61 64 68 70 73 74 75 76 79 83 86 94 95 97 105 106 113 114 115 122 125 141 146 148 152
a 2 3 4 6 7 9 10 15 17 19 20 22 25 28 30 34 35 36 39 41 42 43 47 50 52 53 57 58 60 61 64 68 70 73 74 75 76 79 83 86 94 95 105 106 113 114 115 122 125 141 146 148 152
a 2 3 4 6 7 9 10 15 17 19 20 22 25 28 30 34 35 36 39 41 43 47 50 52 53 57 58 60 61 64 68 70 73 74 75 76 79 83 86 94 95 105 106 111 113 114 115 122 125 141 146 148 152
a 2 3 4 6 7 9 10 17 19 20 22 25 28 30 34 35 36 39 41 43 47 50 52 53 57 58 60 61 64 68 70 73 74 75 76 79 83 86 94 95 105 106 111 113 114 115 122 125 130 141 146 148 152
a 2 3 4 6 7 9 10 13 17 19 20 22 25 28 30 34 35 36 39 41 43 47 50 52 53 57 58 60 64 68 70 73 74 75 76 79 83 86 94 95 105 106 111 113 114 115 122 125 130 141 146 148 152
a 2 3 4 6 7 9 10 13 17 19 20 22 25 28 30 34 35 36 39 43 47 50 52 53 57 58 60 64 68 70 73 74 75 76 79 83 86 94 95 105 106 107 111 113 114 115 122 125 130 141 146 148 152
a 2 3 4 6 7 9 10 13 17 19 20 22 25 28 30 34 35 36 39 43 47 52 53 57 58 60 64 68 70 73 74 75 76 79 83 86 94 95 105 106 107 111 113 114 115 122 125 127 130 141 146 148 152
a 2 3 4 6 7 9 10 13 17 19 20 22 25 28 30 34 35 36 39 43 47 48 52 53 57 58 60 64 68 70 73 74 75 79 83 86 94 95 105 106 107 111 113 114 115 122 125 127 130 141 146 148 152
a 2 3 4 6 7 9 10 13 17 19 20 22 25 28 30 34 35 36 39 43 47 48 52 53 57 58 60 64 68 70 73 74 75 78 79 83 86 94 95 105 106 107 111 113 115 122 125 127 130 141 146 148 152
a 2 3 4 6 7 9 10 13 19 20 22 25 28 30 34 35 36 39 43 47 48 52 53 57 58 60 64 68 70 73 74 75 78 79 83 86 94 95 105 106 107 110 111 113 115 122 125 127 130 141 146 148 152
a 3 4 6 7 9 10 13 19 20 22 25 28 30 34 35 36 39 43 47 48 52 53 57 58 59 60 64 68 70 73 74 75 78 79 83 86 94 95 105 106 107 110 111 113 115 122 125 127 130 141 146 148 152
a 3 4 6 7 9 10 13 19 20 22 25 28 34 35 36 39 43 47 48 52 53 57 58 59 60 64 68 70 73 74 75 78 79 83 86 94 95 105 106 107 110 111 113 115 122 125 127 130 137 141 146 148 152
a 4 6 7 9 10 13 19 20 22 25 28 34 35 36 39 43 47 48 52 53 57 58 59 60 64 68 70 73 74 75 78 79 83 86 94 95 105 106 107 110 111 113 115 121 122 125 127 130 137 141 146 148 152
a 4 6 7 9 10 13 19 22 25 28 34 35 36 39 43 47 48 52 53 57 58 59 60 64 68 70 73 74 75 78 79 83 86 94 95 103 105 106 107 110 111 113 115 121 122 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 28 34 35 36 39 43 47 48 52 53 57 58 59 60 64 68 70 73 74 75 78 79 83 86 94 95 99 103 105 106 107 110 111 113 115 121 122 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 28 34 35 36 39 43 47 48 52 53 57 58 59 64 65 68 70 73 74 75 78 79 83 86 94 95 99 103 105 106 107 110 111 113 115 121 122 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 28 34 35 36 39 43 47 48 52 53 57 58 59 64 65 68 70 73 74 75 78 79 83 86 91 94 95 99 103 105 107 110 111 113 115 121 122 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 34 35 36 39 43 47 48 52 53 57 58 59 64 65 66 68 70 73 74 75 78 79 83 86 91 94 95 99 103 105 107 110 111 113 115 121 122 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 34 35 36 39 43 44 47 48 52 53 57 58 59 64 65 66 68 70 73 74 75 78 83 86 91 94 95 99 103 105 107 110 111 113 115 121 122 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 34 35 36 39 43 44 45 47 48 52 53 57 58 59 64 65 66 68 70 73 74 75 78 83 86 91 94 95 99 103 105 107 110 111 113 121 122 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 34 35 36 39 43 44 45 47 48 52 53 57 58 59 64 65 66 68 70 71 73 74 75 78 86 91 94 95 99 103 105 107 110 111 113 121 122 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 34 35 39 43 44 45 47 48 52 53 57 58 59 63 64 65 66 68 70 71 73 74 75 78 86 91 94 95 99 103 105 107 110 111 113 121 122 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 35 37 39 43 44 45 47 48 52 53 57 58 59 63 64 65 66 68 70 71 73 74 75 78 86 91 94 95 99 103 105 107 110 111 113 121 122 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 35 37 39 43 44 45 47 48 52 53 57 58 59 63 64 65 66 68 71 73 74 75 78 86 91 94 95 96 99 103 105 107 110 111 113 121 122 125 127 130 137 141 146 148 152
a 4 6 7 9 13 19 22 25 35 37 39 43 44 45 47 48 52 53 55 57 58 59 63 64 65 66 68 71 73 74 75 78 86 91 94 95 96 99 103 105 107 110 111 121 122 125 127 130 137 141 146 148 152
c Step: 204
#END: [Mon Sep  4 22:19:17 2023]