#BEGIN: [Tue Sep  5 07:24:03 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance012_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance012_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_instance012_graph004.col /benchmark/random_instance/random_instance012_graph004_01.dat
c /benchmark/random_instance/random_instance012_graph004.col
c /benchmark/random_instance/random_instance012_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID 159e27c069f8c41337a5369f813ad660b87e2fcef8cd3d17966008788568c887
s 66 27 70 152 104 74 144 133 108 46 83 116 49 112 76 121 11 29 10 47 106 62 73 24 135 115 126 6 23 15 138 150 98 20 93 142 65 149 40 145 19 137 148 72 81 12 105
t 138 113 55 93 90 53 89 140 121 125 134 105 71 15 76 110 50 4 99 62 9 83 79 58 10 145 86 70 6 31 123 137 64 77 101 94 42 33 136 118 120 52 61 39 106 103 68
a YES
a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 115 116 121 126 133 135 137 138 142 144 145 148 149 150 152
a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 113 116 121 126 133 135 137 138 142 144 145 148 149 150 152
a 6 11 12 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 88 93 98 104 105 106 108 112 113 116 121 126 133 135 137 138 142 144 145 148 149 150 152
a 6 11 12 15 19 20 23 24 27 29 40 46 47 49 58 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 113 116 121 126 133 135 137 138 142 144 145 148 149 150 152
a 6 11 12 15 19 20 23 24 27 29 40 46 47 49 55 58 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 113 116 121 126 133 135 137 138 144 145 148 149 150 152
a 6 11 12 15 19 20 23 24 27 29 30 40 46 47 49 55 58 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 113 116 121 126 133 135 137 138 144 145 148 149 152
a 6 11 12 15 19 20 23 24 27 29 30 40 46 47 49 55 58 62 65 66 72 73 74 76 81 83 93 98 104 105 106 108 112 113 116 121 126 128 133 135 137 138 144 145 148 149 152
a 6 11 12 15 20 23 24 27 29 30 40 46 47 49 55 58 62 65 66 72 73 74 76 81 83 88 93 98 104 105 106 108 112 113 116 121 126 128 133 135 137 138 144 145 148 149 152
a 6 12 15 20 23 24 27 29 30 40 46 47 49 54 55 58 62 65 66 72 73 74 76 81 83 88 93 98 104 105 106 108 112 113 116 121 126 128 133 135 137 138 144 145 148 149 152
a 6 12 15 20 23 27 29 30 40 46 47 49 54 55 58 62 65 66 72 73 74 76 81 83 88 93 98 104 105 106 108 112 113 116 121 126 128 133 135 136 137 138 144 145 148 149 152
a 6 12 15 19 20 23 27 29 30 40 46 47 49 54 55 58 62 65 66 72 73 74 76 81 83 88 93 98 104 105 106 108 112 113 116 121 126 128 133 135 137 138 144 145 148 149 152
a 6 12 15 19 20 23 27 29 30 40 46 47 49 54 55 58 62 65 66 72 73 74 76 81 83 88 93 98 105 106 108 112 113 116 121 126 128 130 133 135 137 138 144 145 148 149 152
a 6 12 15 19 20 23 24 27 29 30 40 46 47 49 54 55 58 62 65 66 72 73 74 76 81 83 88 93 98 105 106 108 112 113 116 121 126 128 130 133 135 137 144 145 148 149 152
a 6 12 15 19 20 23 24 27 29 30 40 46 47 49 54 55 58 62 63 65 66 72 73 74 76 81 83 88 93 98 105 106 108 112 113 116 121 126 128 130 133 135 137 144 145 148 149
a 6 12 15 19 20 23 24 27 29 30 40 46 47 49 54 55 58 62 63 65 66 72 73 74 76 81 83 88 93 98 106 108 112 113 116 121 126 128 130 133 135 137 138 144 145 148 149
a 12 15 19 20 23 24 27 29 30 40 46 47 49 54 55 58 62 63 65 66 72 73 74 76 81 83 88 93 98 106 108 112 113 116 121 126 128 130 133 135 137 138 144 145 148 149 152
a 12 15 19 20 23 24 27 29 30 40 46 47 49 54 55 58 62 63 65 66 72 73 74 76 81 83 88 93 98 105 106 108 112 113 116 121 126 128 130 133 135 138 144 145 148 149 152
a 12 15 19 20 23 24 27 29 30 40 46 47 49 54 55 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 106 108 112 113 116 121 126 130 133 135 138 144 145 148 149 152
a 6 12 15 19 20 23 24 27 29 30 40 46 47 49 54 55 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 106 108 112 113 116 121 130 133 135 138 144 145 148 149 152
a 6 12 15 19 20 23 24 27 29 30 40 46 47 49 54 55 58 62 63 65 66 70 72 73 74 81 83 88 93 98 105 106 108 112 113 116 121 130 133 135 137 138 144 145 148 149 152
a 6 12 15 19 20 23 24 27 29 30 40 46 47 49 54 55 58 62 63 65 66 70 72 73 74 81 83 88 93 98 105 106 108 112 113 116 121 130 133 135 136 137 138 144 145 149 152
a 6 12 15 19 20 23 24 27 29 30 40 46 47 49 54 55 58 62 63 65 66 70 72 73 74 81 83 88 93 98 105 106 108 112 113 116 121 130 133 135 136 137 144 145 148 149 152
a 6 12 15 19 20 23 24 27 29 30 40 46 47 49 54 55 58 62 63 65 66 70 72 73 74 81 83 88 93 98 105 106 108 112 113 116 121 130 133 135 136 137 138 144 145 148 149
a 6 12 15 19 20 23 24 27 29 30 40 46 47 49 54 55 58 62 63 65 66 70 72 73 74 81 83 88 93 98 105 106 108 112 113 116 121 130 133 135 136 137 138 144 145 148 152
a 6 12 15 19 20 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 70 72 73 74 81 83 88 93 98 105 106 108 112 113 116 121 130 133 135 136 137 138 142 144 145 148 152
a 4 6 12 15 20 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 70 72 73 74 81 83 88 93 98 105 106 108 112 113 116 121 130 133 135 136 137 138 142 144 145 148 152
a 4 6 12 15 20 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 72 73 74 81 83 88 93 98 105 106 108 112 113 116 121 128 130 133 135 136 137 138 142 144 145 148 152
a 4 6 12 15 20 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 72 73 74 81 83 88 93 98 105 106 108 112 113 116 121 128 130 133 135 136 137 138 142 144 145 148 149
a 4 6 12 15 20 23 24 27 29 30 40 46 47 49 54 58 62 65 66 72 73 74 76 81 83 88 93 98 105 106 108 112 113 116 121 128 130 133 135 136 137 138 142 144 145 148 149
a 4 6 12 15 20 23 24 27 29 30 40 46 47 49 54 58 62 65 66 72 73 74 76 81 83 88 98 103 105 106 108 112 113 116 121 128 130 133 135 136 137 138 142 144 145 148 149
a 4 6 12 15 20 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 72 73 74 76 81 83 88 98 103 105 106 108 112 113 116 121 128 130 133 135 136 137 138 142 144 145 148
a 4 6 12 15 20 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 72 73 74 76 81 83 88 98 103 105 106 108 112 113 116 121 128 130 133 135 136 137 138 142 144 145 149
a 4 6 12 15 20 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 70 72 73 74 76 81 83 88 98 103 105 106 108 112 113 116 121 130 133 135 136 137 138 142 144 145 149
a 4 6 12 15 20 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 70 72 73 74 76 81 83 88 98 105 106 108 112 113 116 121 130 133 135 136 137 138 142 144 145 149 152
a 4 6 12 15 20 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 106 108 112 113 116 121 130 133 135 137 138 142 144 145 149 152
a 4 6 12 15 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 106 108 112 113 116 121 130 133 135 137 138 142 144 145 148 149 152
a 4 12 15 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 106 108 112 113 116 121 126 130 133 135 137 138 142 144 145 148 149 152
a 12 15 19 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 106 108 112 113 116 121 126 130 133 135 137 138 142 144 145 148 149 152
a 12 15 19 23 24 25 27 29 30 40 46 47 49 54 58 62 63 65 66 70 72 74 76 81 83 88 93 98 105 106 108 112 113 116 121 126 130 133 135 137 138 142 144 145 148 149 152
a 12 15 19 23 24 25 29 30 40 46 47 49 54 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 106 108 112 113 116 121 126 130 133 135 137 138 142 144 145 148 149 152
a 11 12 15 19 23 24 25 29 30 40 46 47 49 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 106 108 112 113 116 121 126 130 133 135 137 138 142 144 145 148 149 152
a 11 12 15 19 23 24 25 27 29 30 40 46 47 49 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 106 108 112 113 116 121 126 130 133 135 137 138 142 144 145 148 149
a 6 11 12 15 19 23 24 25 27 29 30 40 46 47 49 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 106 108 113 116 121 126 130 133 135 137 138 142 144 145 148 149
a 6 11 12 15 19 23 24 25 28 29 30 40 46 47 49 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 106 108 113 116 121 126 130 133 135 137 138 142 144 145 148 149
a 6 11 12 15 19 23 24 25 28 29 30 40 46 47 49 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 106 108 113 116 121 126 130 135 137 138 142 144 145 147 148 149
a 6 11 12 15 19 20 23 24 25 28 29 30 40 46 47 49 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 106 108 113 116 121 126 130 137 138 142 144 145 147 148 149
a 6 11 12 15 19 20 23 24 25 27 29 30 40 46 47 49 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 106 108 113 116 121 126 130 137 138 142 144 145 147 148 149
a 6 11 12 15 19 20 23 24 27 29 30 40 46 47 49 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 106 108 113 116 121 126 130 135 137 138 142 144 145 147 148 149
a 6 11 12 15 19 20 23 24 27 29 30 40 46 47 49 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 108 113 116 121 126 130 135 137 138 142 144 145 147 148 149 152
a 6 12 15 19 20 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 108 113 116 121 126 130 135 137 138 142 144 145 147 148 149 152
a 6 9 12 15 19 20 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 105 108 113 116 121 126 130 135 137 138 142 144 145 147 148 152
a 6 9 12 15 19 20 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 70 72 73 74 76 81 83 88 93 98 104 105 108 113 116 121 126 135 137 138 142 144 145 147 148 152
a 6 9 12 15 19 20 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 70 71 72 73 74 76 81 83 88 93 98 104 105 108 113 116 121 126 135 137 138 142 144 145 147 148
a 6 9 12 15 19 20 23 24 27 29 30 40 46 47 49 54 58 62 63 65 66 70 71 72 73 74 76 81 83 88 93 98 104 105 108 113 116 121 126 133 135 137 138 142 144 145 148
a 6 9 12 15 19 20 23 24 28 29 30 40 46 47 49 54 58 62 63 65 66 70 71 72 73 74 76 81 83 88 93 98 104 105 108 113 116 121 126 133 135 137 138 142 144 145 148
a 6 9 12 15 19 20 23 24 28 29 30 40 46 47 49 54 55 58 62 63 65 66 70 71 72 73 74 76 81 83 88 93 98 104 105 108 113 116 121 126 133 135 137 138 144 145 148
a 9 12 15 19 20 23 24 28 29 30 40 46 47 49 54 55 58 62 63 65 66 70 71 72 73 74 76 81 83 88 93 98 104 105 106 108 113 116 121 126 133 135 137 138 144 145 148
a 9 12 15 19 20 23 24 28 29 30 40 46 47 49 54 58 62 63 65 66 70 71 72 73 74 76 81 83 88 93 98 104 105 106 108 113 116 121 126 133 135 137 138 142 144 145 148
a 9 12 15 19 20 23 24 28 29 30 40 46 49 54 58 62 63 65 66 70 71 72 73 74 76 81 83 88 93 98 104 105 106 108 113 116 121 126 133 135 137 138 142 144 145 148 152
a 9 12 15 19 20 23 24 28 29 30 40 46 49 54 58 62 63 65 66 68 70 71 72 73 74 76 81 83 88 93 98 104 105 106 108 113 116 121 126 133 135 137 138 144 145 148 152
a 4 9 12 15 20 23 24 28 29 30 40 46 49 54 58 62 63 65 66 68 70 71 72 73 74 76 81 83 88 93 98 104 105 106 108 113 116 121 126 133 135 137 138 144 145 148 152
a 4 9 12 15 20 23 24 28 29 30 40 46 49 54 58 62 63 65 66 68 70 71 72 73 74 81 83 88 93 98 104 105 106 108 113 114 116 121 126 133 135 137 138 144 145 148 152
a 4 6 9 12 15 20 23 24 28 29 30 40 46 49 54 58 62 63 65 66 68 70 71 72 73 74 81 83 88 93 98 104 105 106 108 113 116 121 126 133 135 137 138 144 145 148 152
a 4 6 9 12 15 20 23 24 28 29 30 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 81 83 88 93 98 104 105 106 108 113 116 121 126 133 135 137 138 144 145 148 152
a 4 6 9 12 15 20 23 24 28 29 30 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 81 83 88 93 98 104 105 106 108 113 116 121 126 133 135 137 138 142 144 145 148
a 4 6 9 12 15 20 23 24 28 29 30 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 88 93 98 104 105 106 108 113 116 121 126 133 135 137 138 142 144 148
a 4 6 9 12 15 20 23 24 28 29 30 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 88 93 98 104 105 106 108 113 116 121 126 135 137 138 142 144 145 148
a 4 6 9 12 15 20 23 24 28 29 30 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 88 93 98 104 105 106 108 113 116 121 126 135 137 138 142 144 145 149
a 4 6 9 12 15 20 23 24 28 29 30 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 88 93 98 104 105 106 108 113 116 121 126 137 138 142 144 145 148 149
a 4 6 9 10 12 15 20 23 24 28 29 30 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 93 98 104 105 106 108 113 116 121 126 137 138 142 144 145 148 149
a 4 6 9 10 12 15 20 23 24 27 29 30 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 93 98 104 105 106 108 113 116 121 126 137 138 142 144 145 148 149
a 4 6 9 10 12 13 15 20 23 24 27 29 30 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 93 98 104 105 106 108 116 121 126 137 138 142 144 145 148 149
a 4 6 9 10 12 13 15 20 23 24 27 29 30 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 93 98 104 105 106 108 116 121 126 137 138 142 144 145 149 152
a 4 6 9 10 11 12 13 15 20 23 24 27 29 30 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 93 98 104 105 106 108 116 121 126 137 138 142 144 145 149
a 4 6 9 10 11 12 13 15 20 23 24 27 29 30 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 93 98 104 105 106 108 116 121 126 137 138 142 144 149 152
a 4 6 9 10 11 12 13 15 20 23 24 27 29 30 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 93 98 104 105 106 108 113 116 121 126 137 138 142 144 149
a 4 6 9 10 11 12 13 15 20 23 24 27 29 30 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 93 98 104 105 106 108 113 116 121 126 137 142 143 144 149
a 4 6 9 10 11 12 13 15 20 23 24 25 27 29 30 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 93 98 105 106 108 113 116 121 126 137 142 143 144 149
a 4 6 9 10 11 12 13 15 20 23 24 25 27 29 30 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 93 98 105 106 108 113 116 121 126 137 142 143 144 145
a 4 6 9 10 11 12 13 15 20 23 24 25 27 29 30 46 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 93 98 105 106 108 113 116 121 126 137 142 143 144 145 148
a 4 6 9 10 11 12 13 15 20 23 24 25 27 29 30 46 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 93 98 105 106 108 113 116 121 126 142 143 144 145 147 148
a 4 6 9 10 11 12 13 15 20 23 24 25 27 29 30 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 93 98 105 106 108 113 116 121 126 137 142 143 144 145 147 148
a 4 6 9 10 11 12 13 15 20 23 24 25 27 29 30 49 58 59 61 62 63 65 66 68 70 71 72 73 74 76 81 83 93 98 105 106 113 116 121 126 137 142 143 144 145 147 148
a 4 6 9 10 11 12 13 15 20 23 24 25 27 29 30 40 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 93 98 105 106 113 116 121 126 137 142 143 144 145 147 148
a 4 6 9 10 11 12 13 20 23 24 25 27 29 30 40 49 58 61 62 63 65 66 68 70 71 72 73 74 76 81 83 93 98 105 106 108 113 116 121 126 137 142 143 144 145 147 148
a 4 6 9 10 11 12 13 20 23 24 25 27 29 30 40 49 52 58 61 62 63 65 66 68 70 71 72 73 74 76 83 93 98 105 106 108 113 116 121 126 137 142 143 144 145 147 148
a 4 6 9 10 11 12 13 20 23 24 25 27 29 30 40 49 52 58 61 62 63 65 66 68 70 71 72 73 74 76 83 93 98 105 106 108 110 113 116 121 126 137 142 143 144 145 147
a 4 6 9 10 11 12 13 15 20 23 24 25 27 29 30 40 49 52 58 61 62 63 65 66 68 70 71 72 73 74 76 83 93 98 105 106 108 110 113 116 121 126 137 142 143 144 145
a 4 6 9 10 11 12 13 15 20 23 24 25 27 29 30 40 49 52 58 61 62 63 65 66 68 70 71 72 73 74 76 83 93 98 105 106 108 113 116 121 126 137 142 143 144 145 152
a 4 9 10 11 12 13 15 20 23 24 25 27 29 30 40 49 52 58 61 62 63 65 66 68 70 71 72 73 74 76 83 93 98 105 106 108 113 116 121 126 137 138 142 143 144 145 152
a 4 9 10 11 12 13 15 20 23 24 25 27 29 30 40 49 52 58 61 62 63 65 66 68 70 71 72 73 74 76 83 93 98 105 106 108 113 116 121 126 135 137 138 142 144 145 152
a 4 6 9 10 11 12 15 20 23 24 25 27 29 30 40 49 52 58 61 62 63 65 66 68 70 71 72 73 74 76 83 93 98 105 106 108 113 116 121 126 135 137 138 142 144 145 152
a 6 9 10 11 12 15 20 23 24 25 27 29 30 40 49 52 58 61 62 63 65 66 68 70 71 72 73 74 76 83 93 98 105 106 108 113 116 121 126 135 137 138 142 144 145 148 152
a 6 9 10 11 12 15 20 23 24 25 27 29 30 40 49 52 58 61 62 63 65 66 68 70 71 72 73 74 76 83 93 98 103 105 106 108 113 116 121 126 135 137 138 142 144 145 148
a 6 9 10 11 12 15 20 23 24 25 27 29 30 40 46 49 52 58 61 62 63 65 66 68 70 71 72 73 74 76 83 93 98 103 105 106 108 113 116 121 126 135 137 138 142 144 145
a 6 9 10 11 12 15 20 23 24 25 27 29 40 46 49 52 58 61 62 63 65 66 68 70 71 72 73 74 75 76 83 93 98 103 105 106 108 113 116 121 126 135 137 138 142 144 145
a 6 9 10 11 12 15 20 23 24 25 27 29 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 75 76 81 83 93 98 103 105 106 108 113 116 121 126 135 137 138 142 144 145
a 6 9 10 11 12 15 20 23 24 25 27 29 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 75 76 81 83 93 98 103 105 106 108 113 116 121 126 137 138 142 143 144 145
a 6 9 10 11 12 15 20 23 24 25 27 29 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 75 76 79 81 83 93 98 103 105 106 108 113 116 121 126 137 138 142 143 145
a 6 9 10 11 12 15 20 23 24 25 27 29 40 46 49 58 61 62 63 65 66 68 70 71 72 73 74 75 76 79 81 83 93 98 103 105 106 108 113 116 121 126 137 138 142 143 149
a 6 9 10 11 12 15 20 23 24 25 27 29 40 46 49 58 62 63 65 66 68 70 71 72 73 74 75 76 79 81 83 93 98 103 105 106 108 113 116 121 126 130 137 138 142 143 149
a 6 9 10 11 12 15 20 23 24 25 27 29 40 46 49 58 62 63 66 68 70 71 72 73 74 75 76 79 81 83 93 98 103 105 106 108 113 116 121 126 130 137 138 142 143 148 149
a 4 6 9 10 11 12 15 20 23 25 27 29 40 46 49 58 62 63 66 68 70 71 72 73 74 75 76 79 81 83 93 98 103 105 106 108 113 116 121 126 130 137 138 142 143 148 149
a 4 6 9 10 11 12 15 20 23 25 27 29 40 46 49 58 62 63 66 68 70 71 72 73 74 75 76 79 81 83 93 98 103 105 106 108 113 116 121 126 130 137 138 142 143 145 148
a 4 6 9 10 11 12 13 15 20 23 25 27 29 40 46 49 58 62 63 66 68 70 71 72 73 74 75 76 79 81 93 98 103 105 106 108 113 116 121 126 130 137 138 142 143 145 148
a 4 6 9 10 11 12 13 15 20 23 24 25 27 29 40 46 49 58 62 63 66 68 70 71 72 73 74 75 76 79 81 93 98 103 105 106 108 113 116 121 126 130 137 138 142 143 145
a 4 6 9 10 11 12 13 15 20 23 24 27 29 31 40 46 49 58 62 63 66 68 70 71 72 73 74 75 76 79 81 93 98 103 105 106 108 113 116 121 126 130 137 138 142 143 145
a 4 6 9 10 11 12 13 15 20 23 24 28 29 31 40 46 49 58 62 63 66 68 70 71 72 73 74 75 76 79 81 93 98 103 105 106 108 113 116 121 126 130 137 138 142 143 145
a 4 6 9 10 11 12 13 15 20 23 24 25 28 29 31 40 46 49 58 62 63 66 68 70 71 72 73 74 75 76 79 81 93 98 103 105 106 108 113 116 121 126 130 137 138 142 143
a 4 6 9 10 11 12 13 15 20 23 24 25 28 29 31 40 46 49 58 62 63 66 68 70 71 72 73 74 75 76 79 81 93 98 103 105 106 108 113 116 121 126 130 135 137 138 142
a 4 6 9 10 11 12 13 15 23 24 25 28 29 31 40 46 49 58 62 63 66 68 70 71 72 73 74 75 76 79 81 83 93 98 103 105 106 108 113 116 121 126 130 135 137 138 142
a 4 6 9 10 11 12 13 15 23 24 25 28 29 31 40 46 49 58 62 63 66 68 70 71 72 73 74 75 76 79 81 83 93 98 103 105 106 108 113 116 121 126 130 135 137 138 148
a 4 6 9 10 11 12 13 15 23 24 25 28 29 31 40 46 49 52 58 62 63 66 68 70 71 72 73 74 75 76 79 83 93 98 103 105 106 108 113 116 121 126 130 135 137 138 148
a 4 6 9 10 11 12 13 15 23 24 25 28 29 31 40 46 49 52 58 62 63 66 68 70 71 72 73 74 75 79 83 93 98 103 105 106 108 113 114 116 121 126 130 135 137 138 148
a 4 6 9 10 11 12 13 15 23 25 28 29 31 40 46 49 52 58 62 63 66 68 70 71 72 73 74 75 79 83 93 98 103 105 106 108 113 114 116 121 126 130 135 137 138 147 148
a 4 6 9 10 11 12 13 15 23 25 28 29 31 40 46 49 52 58 62 63 66 68 70 71 72 73 74 75 79 83 93 98 103 105 106 108 113 114 116 121 126 130 135 137 138 142 147
a 4 6 9 10 11 12 13 15 23 24 25 28 29 31 40 49 52 58 62 63 66 68 70 71 72 73 74 75 79 83 93 98 103 105 106 108 113 114 116 121 126 130 135 137 138 142 147
a 4 6 9 10 11 12 13 15 23 24 25 28 29 31 40 49 58 62 63 66 68 70 71 72 73 74 75 79 83 93 98 101 103 105 106 108 113 114 116 121 126 130 135 137 138 142 147
a 4 6 9 11 12 13 15 23 24 25 28 29 31 36 40 49 58 62 63 66 68 70 71 72 73 74 75 79 83 93 98 101 103 105 106 108 113 114 116 121 126 130 135 137 138 142 147
a 4 6 9 11 12 13 15 23 24 25 28 29 31 36 40 49 55 58 62 63 66 68 70 71 72 73 74 75 79 83 93 98 101 103 105 106 108 113 114 116 121 126 130 135 137 138 147
a 4 6 9 11 12 13 15 23 24 25 28 29 31 36 40 49 55 58 62 63 66 68 70 71 72 73 74 75 79 83 93 98 101 103 105 106 108 113 114 116 121 126 130 135 137 138 148
a 4 6 9 11 12 13 15 23 24 25 28 29 30 31 36 40 49 55 58 62 63 66 68 70 71 72 73 74 79 83 93 98 101 103 105 106 108 113 114 116 121 126 130 135 137 138 148
a 4 6 9 11 12 13 15 23 24 25 28 29 30 31 36 40 49 55 58 62 63 65 66 68 70 71 72 73 74 79 83 93 98 101 103 105 106 108 113 114 116 121 126 130 135 137 138
a 4 6 9 11 12 13 15 23 24 25 27 29 30 31 36 40 49 55 58 62 63 65 66 68 70 71 72 73 74 79 83 93 98 101 103 105 106 108 113 114 116 121 126 130 135 137 138
a 4 6 9 11 12 13 15 20 23 24 25 27 29 30 31 36 40 49 55 58 62 63 65 66 68 70 71 72 73 74 79 83 93 98 101 103 105 106 108 113 114 116 121 126 130 135 137
a 4 6 9 11 12 13 15 20 23 24 25 29 30 31 36 40 49 55 58 62 63 65 66 68 70 71 72 73 74 79 83 93 98 101 103 105 106 108 113 114 116 121 126 130 135 137 147
a 6 9 11 12 13 15 20 23 24 25 29 30 31 36 40 49 55 58 62 63 65 66 68 70 71 72 73 74 79 83 93 98 101 103 105 106 108 110 113 114 116 121 126 130 135 137 147
a 6 9 11 12 13 15 20 23 24 25 29 30 31 36 40 49 55 58 62 63 65 66 68 70 71 72 73 74 79 83 93 98 101 103 105 106 108 110 113 114 116 121 126 130 135 137 138
a 6 9 11 12 13 15 20 23 24 25 29 30 31 36 40 49 55 58 62 63 65 66 68 70 71 72 73 74 77 79 83 93 98 101 103 105 106 108 110 113 114 116 121 126 130 137 138
a 6 9 11 12 13 15 20 23 24 25 29 30 31 36 40 49 55 58 62 63 65 66 68 70 71 72 73 74 77 79 83 93 98 101 103 106 108 110 113 114 116 121 126 130 137 138 154
a 6 9 11 12 13 15 20 23 24 25 29 30 31 36 40 49 55 62 63 65 66 68 70 71 72 73 74 77 79 83 88 93 98 101 103 106 108 110 113 114 116 121 126 130 137 138 154
a 6 9 11 12 13 15 20 23 24 25 29 30 31 36 40 49 55 62 63 65 66 68 70 71 72 73 74 76 77 79 83 88 93 98 101 103 106 108 110 113 116 121 126 130 137 138 154
a 6 9 11 12 13 15 20 23 24 25 29 30 31 36 40 49 55 62 63 65 66 68 70 71 72 73 74 76 77 79 83 88 93 98 101 103 105 106 108 110 113 116 121 126 130 137 138
a 6 9 11 12 13 15 20 23 24 25 29 30 31 36 40 49 55 62 63 65 66 68 71 72 73 74 76 77 79 83 88 93 98 101 103 105 106 108 110 113 116 121 126 128 130 137 138
a 6 9 11 12 13 15 20 24 25 29 30 31 36 40 49 55 62 63 65 66 68 71 72 73 74 76 77 78 79 83 88 93 98 101 103 105 106 108 110 113 116 121 126 128 130 137 138
a 6 9 11 12 13 15 20 24 25 29 30 31 36 40 49 55 62 63 65 66 68 71 72 73 74 76 77 78 79 83 88 93 98 101 103 105 106 108 110 113 116 121 126 128 130 137 155
a 4 6 9 11 12 13 15 20 24 25 29 30 31 36 40 49 55 62 63 65 66 68 71 72 73 74 76 77 78 79 83 88 93 98 101 103 105 106 108 110 113 116 121 126 128 130 155
a 4 6 9 11 12 13 15 20 24 25 29 30 31 36 40 49 62 63 65 66 68 71 72 73 74 76 77 78 79 83 88 93 98 101 103 105 106 108 110 113 116 121 126 128 130 142 155
a 4 6 9 11 12 13 15 20 24 25 29 30 31 36 40 49 62 63 65 66 68 71 72 73 74 76 77 78 79 83 88 93 98 101 103 105 106 108 110 113 116 121 126 128 130 142 149
a 4 6 9 11 12 13 15 20 24 25 29 30 36 40 49 58 62 63 65 66 68 71 72 73 74 76 77 78 79 83 88 93 98 101 103 105 106 108 110 113 116 121 126 128 130 142 149
a 4 6 9 11 12 13 15 20 24 25 29 30 36 40 49 58 62 63 65 66 68 71 72 73 74 76 78 79 83 88 93 98 101 103 105 106 108 110 113 116 121 126 128 130 135 142 149
a 4 6 9 11 12 13 15 20 23 24 25 29 30 36 40 49 58 62 63 65 66 68 71 72 73 74 76 79 83 88 93 98 101 103 105 106 108 110 113 116 121 126 128 130 135 142 149
a 4 6 9 11 12 13 15 20 23 24 25 29 30 36 40 49 55 58 62 63 65 66 68 71 72 73 74 76 79 83 88 93 98 101 103 105 106 108 110 113 116 121 126 128 130 135 149
a 4 6 9 11 12 13 15 20 23 24 25 29 30 36 40 49 55 58 62 63 65 66 68 71 72 73 74 76 79 83 88 93 98 101 103 105 106 108 110 113 116 121 126 128 130 135 139
a 4 6 9 11 12 13 15 20 23 24 25 29 30 36 40 49 55 58 62 63 65 66 68 71 72 73 74 76 79 83 88 93 98 101 103 105 106 110 113 116 121 126 128 130 135 139 151
a 4 6 9 12 13 15 20 23 24 25 29 30 36 40 49 54 55 58 62 63 65 66 68 71 72 73 74 76 79 83 88 93 98 101 103 105 106 110 113 116 121 126 128 130 135 139 151
a 4 6 9 12 13 15 20 23 24 25 29 30 36 40 49 54 55 58 62 63 65 66 68 71 72 73 74 79 83 88 93 98 101 103 105 106 110 113 114 116 121 126 128 130 135 139 151
a 4 6 9 12 13 15 20 23 24 25 29 36 40 49 54 55 58 62 63 65 66 68 71 72 73 74 75 79 83 88 93 98 101 103 105 106 110 113 114 116 121 126 128 130 135 139 151
a 4 6 9 12 13 15 20 23 24 25 29 36 40 44 49 54 55 58 62 63 65 66 68 71 72 73 74 75 79 83 88 93 98 101 103 105 106 110 113 114 116 121 128 130 135 139 151
a 4 6 9 12 13 15 20 23 24 25 29 36 40 44 49 54 55 58 62 63 65 66 68 71 72 73 74 75 79 83 88 93 98 101 103 105 106 108 110 113 114 116 121 128 130 135 139
a 4 6 9 12 13 15 20 23 24 25 29 36 40 44 49 54 55 58 62 63 65 66 68 71 72 73 74 75 76 79 83 88 93 98 101 103 105 106 108 110 113 116 121 128 130 135 139
a 4 6 9 12 13 15 20 23 24 25 27 29 36 40 44 49 54 55 58 62 63 65 66 68 71 72 73 74 75 76 79 83 88 93 98 101 103 105 106 108 110 113 116 121 128 130 139
a 4 6 9 12 13 15 20 23 24 25 27 29 36 40 44 49 54 55 58 62 63 65 66 68 71 72 73 74 75 76 79 83 88 93 98 101 103 105 106 108 110 113 116 121 128 130 138
a 4 6 9 12 15 20 23 24 25 27 29 36 40 44 49 54 55 58 62 63 65 66 68 71 72 73 74 75 76 79 83 88 93 98 101 103 105 106 108 110 113 116 121 128 130 133 138
a 4 6 9 12 15 20 24 25 27 29 36 40 44 49 54 55 58 62 63 65 66 68 71 72 73 74 75 76 78 79 83 88 93 98 101 103 105 106 108 110 113 116 121 128 130 133 138
a 4 6 9 12 15 20 24 25 27 29 36 40 44 49 54 55 58 62 63 65 66 68 71 72 73 74 75 76 78 79 83 88 93 98 101 103 105 106 108 110 113 116 121 128 130 133 136
a 4 6 9 12 15 20 24 25 29 36 40 44 49 54 55 58 62 63 65 66 68 71 72 73 74 75 76 78 79 83 88 93 98 101 103 105 106 108 110 113 116 121 128 130 133 136 138
a 4 6 9 12 15 20 24 25 29 36 40 44 49 54 55 58 62 63 65 66 68 71 72 73 74 75 76 78 79 83 88 93 98 101 103 105 106 108 110 113 116 121 128 130 133 135 136
a 4 6 9 12 15 20 24 25 29 31 36 40 44 49 54 55 58 62 63 65 66 68 71 72 73 74 75 76 78 79 83 88 93 98 101 103 105 106 108 110 113 116 121 128 130 135 136
a 4 6 9 12 15 20 24 25 29 31 36 40 44 49 54 55 58 62 63 65 66 68 71 72 73 74 75 76 78 79 83 88 93 98 101 103 105 106 108 110 113 116 121 128 130 133 135
a 4 6 9 12 15 20 24 25 29 31 36 40 44 49 54 55 58 62 63 65 66 68 71 72 73 74 75 76 78 79 83 88 93 98 101 103 105 106 108 110 113 116 121 128 133 135 136
a 4 6 9 12 15 20 24 25 29 31 36 40 44 49 54 55 58 62 63 65 66 68 71 72 73 74 75 76 78 79 81 83 88 93 98 101 103 105 106 108 110 113 116 121 128 133 135
a 4 6 9 12 15 20 24 25 29 31 36 40 44 48 49 54 55 58 62 63 65 66 68 71 72 73 74 75 76 78 79 81 83 88 93 98 101 103 105 106 108 110 113 116 128 133 135
a 4 6 12 15 20 24 25 27 29 31 36 40 44 48 49 54 55 58 62 63 65 66 68 71 72 73 74 75 76 78 79 81 83 88 93 98 101 103 105 106 108 110 113 116 128 133 135
a 4 6 12 15 20 24 25 27 29 31 36 40 44 48 49 54 58 62 63 65 66 68 71 72 73 74 75 76 78 79 81 83 88 93 98 101 103 105 106 108 110 113 116 128 130 133 135
a 4 6 12 15 20 23 24 25 27 29 31 36 40 44 48 49 54 58 62 63 65 66 68 71 72 73 74 75 76 79 81 83 88 93 98 101 103 105 106 108 110 113 116 128 130 133 135
a 4 6 12 15 20 23 24 25 27 29 31 36 40 48 49 54 58 62 63 65 66 68 71 72 73 74 75 76 79 81 83 88 93 98 101 103 105 106 108 110 113 116 128 130 133 135 136
a 4 6 12 15 20 23 24 25 27 29 31 36 40 48 49 54 55 58 62 63 65 66 68 71 72 73 74 75 76 79 81 83 88 93 98 101 103 105 106 108 110 113 116 128 130 133 135
a 4 6 12 15 20 23 24 25 27 29 31 36 40 48 49 54 55 58 62 63 65 66 68 71 72 73 74 75 76 79 81 83 88 93 98 101 103 105 106 110 113 116 128 130 133 135 137
a 4 6 12 15 20 23 24 25 27 29 30 31 36 40 48 49 54 55 58 62 63 65 66 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 106 110 113 116 128 130 133 135 137
a 4 6 12 15 20 23 24 25 27 29 30 31 36 40 48 49 54 55 58 63 65 66 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 106 108 110 113 116 128 130 133 135 137
a 4 6 9 12 15 20 23 24 25 27 29 30 31 36 40 48 49 54 55 58 63 65 66 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 106 108 110 113 116 128 130 133 135
a 4 6 9 12 15 20 23 24 25 27 29 30 31 36 40 48 49 55 58 63 65 66 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 106 108 110 113 116 128 130 133 135 137
a 4 6 9 12 15 20 23 24 25 27 29 30 31 36 40 47 48 49 55 58 63 65 66 71 72 73 74 76 79 81 83 88 93 98 101 103 105 106 108 110 113 116 128 130 133 135 137
a 3 4 6 9 12 15 20 23 25 27 29 30 31 36 40 47 48 49 55 58 63 65 66 71 72 73 74 76 79 81 83 88 93 98 101 103 105 106 108 110 113 116 128 130 133 135 137
a 3 4 6 9 12 15 20 23 25 27 29 30 31 36 40 48 49 55 58 63 65 66 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 106 108 110 113 116 128 130 133 135 137
a 3 4 6 9 12 15 20 23 25 27 29 30 31 36 40 48 49 55 58 63 65 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 106 108 110 111 113 116 128 130 133 135 137
a 3 4 6 9 12 15 20 23 25 27 29 30 31 36 40 48 49 55 58 63 65 67 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 106 108 110 111 113 116 128 130 135 137
a 3 6 9 12 15 19 20 23 25 27 29 30 31 36 40 48 49 55 58 63 65 67 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 106 108 110 111 113 116 128 130 135 137
a 3 6 9 12 15 19 20 23 25 27 29 30 31 36 40 41 48 49 58 63 65 67 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 106 108 110 111 113 116 128 130 135 137
a 3 6 9 12 15 19 20 25 27 29 30 31 36 40 41 48 49 58 63 65 67 68 71 72 73 74 76 78 79 81 83 88 93 98 101 103 105 106 108 110 111 113 116 128 130 135 137
a 3 6 9 12 15 19 20 25 27 29 30 31 36 40 41 48 49 58 63 65 68 71 72 73 74 76 78 79 81 83 88 93 98 101 103 105 106 108 110 111 113 116 128 130 133 135 137
a 3 6 9 12 15 19 20 25 27 29 30 31 40 41 48 49 58 63 65 68 71 72 73 74 76 78 79 81 83 88 93 98 101 103 105 106 108 110 111 113 116 120 128 130 133 135 137
a 3 6 9 12 15 19 20 23 25 27 29 30 31 40 41 48 49 58 63 65 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 106 108 110 111 113 116 120 128 130 133 135 137
a 3 6 9 12 15 19 20 25 27 29 30 31 40 41 48 49 58 63 65 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 106 108 110 111 113 116 120 123 128 130 133 135 137
a 3 6 9 12 15 19 20 25 27 29 30 31 40 41 49 58 63 65 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 106 108 110 111 113 116 120 121 123 128 130 133 135 137
a 3 6 9 12 15 19 20 23 25 27 29 30 31 40 41 49 58 63 65 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 106 108 110 111 113 116 120 121 128 130 133 135 137
a 3 6 9 12 15 19 20 23 25 27 29 30 31 40 41 58 63 65 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 106 108 110 111 113 116 120 121 128 130 133 135 137 148
a 3 6 9 12 15 19 20 23 25 27 29 30 31 40 41 54 58 63 65 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 108 110 111 113 116 120 121 128 130 133 135 137 148
a 3 6 9 12 15 19 20 23 25 27 29 30 31 40 54 55 58 63 65 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 108 110 111 113 116 120 121 128 130 133 135 137 148
a 3 6 9 12 15 19 20 23 25 27 29 30 31 40 54 55 58 63 65 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 108 110 111 113 116 120 121 128 130 133 135 137 138
a 6 9 12 15 19 20 23 24 25 27 29 30 31 40 54 55 58 63 65 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 108 110 111 113 116 120 121 128 130 133 135 137 138
a 6 9 12 15 19 20 23 24 25 28 29 30 31 40 54 55 58 63 65 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 108 110 111 113 116 120 121 128 130 133 135 137 138
a 6 9 12 15 19 20 23 24 25 28 29 30 31 35 54 55 58 63 65 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 108 110 111 113 116 120 121 128 130 133 135 137 138
a 6 9 12 15 19 20 23 24 25 28 29 30 31 35 54 55 58 63 65 68 71 72 73 74 76 79 81 83 88 93 98 101 103 105 108 110 111 113 116 120 121 128 130 133 135 137 149
a 6 9 12 15 19 20 23 24 25 28 29 31 35 54 55 58 63 65 68 71 72 73 74 75 76 79 81 83 88 93 98 101 103 105 108 110 111 113 116 120 121 128 130 133 135 137 149
a 4 6 9 12 15 20 23 24 25 28 29 31 35 54 55 58 63 65 68 71 72 73 74 75 76 79 81 83 88 93 98 101 103 105 108 110 111 113 116 120 121 128 130 133 135 137 149
a 4 6 9 12 15 20 23 24 25 27 29 31 35 54 55 58 63 65 68 71 72 73 74 75 76 79 81 83 88 93 98 101 103 105 108 110 111 113 116 120 121 128 130 133 135 137 149
a 4 6 9 12 15 20 23 24 25 27 29 31 40 54 55 58 63 65 68 71 72 73 74 75 76 79 81 83 88 93 98 101 103 105 108 110 111 113 116 120 121 128 130 133 135 137 149
a 4 6 9 12 15 20 23 24 25 27 29 31 40 54 55 58 63 65 68 71 72 73 74 75 76 79 81 83 88 93 98 101 103 105 108 110 111 113 116 120 121 128 130 133 135 137 148
a 4 6 9 12 15 20 23 24 25 27 29 31 40 54 55 58 65 68 71 72 73 74 75 76 79 81 83 88 93 98 101 103 105 108 110 111 113 116 120 121 126 128 130 133 135 137 148
a 4 6 9 12 15 20 23 24 25 27 29 31 40 54 58 63 65 68 71 72 73 74 75 76 79 81 83 88 93 98 101 103 105 108 110 111 113 116 120 121 126 128 130 133 135 137 148
a 6 9 12 15 19 20 23 24 25 27 29 31 40 54 58 63 65 68 71 72 73 74 75 76 79 81 83 88 93 98 101 103 105 108 110 111 113 116 120 121 126 128 130 133 135 137 148
a 9 12 15 19 20 23 24 25 27 29 31 40 54 58 63 65 68 71 72 73 74 75 76 79 81 83 88 93 98 101 103 105 108 110 111 113 116 120 121 126 128 130 133 135 137 138 148
a 9 12 15 19 20 23 24 25 27 29 31 40 45 54 58 63 65 68 71 72 73 74 75 76 79 81 88 93 98 101 103 105 108 110 111 113 116 120 121 126 128 130 133 135 137 138 148
a 9 12 15 19 20 23 24 25 27 29 31 40 45 54 58 63 65 68 71 72 73 74 75 76 79 81 88 91 98 101 103 105 108 110 111 113 116 120 121 126 128 130 133 135 137 138 148
a 9 12 15 19 20 23 24 25 27 29 31 40 54 58 63 65 68 71 72 73 74 75 76 79 81 83 88 91 98 101 103 105 108 110 111 113 116 120 121 126 128 130 133 135 137 138 148
a 9 12 15 19 20 23 24 25 27 29 31 40 41 54 58 63 65 68 71 72 73 74 75 76 79 81 83 88 91 98 101 103 105 108 110 111 113 116 120 121 128 130 133 135 137 138 148
a 9 12 15 19 20 23 24 25 27 29 31 40 41 54 58 63 65 68 71 72 73 74 75 76 79 81 83 88 91 98 101 103 105 108 110 111 113 116 120 121 128 130 133 137 138 148 155
a 9 12 15 19 20 23 24 25 27 29 31 35 41 54 58 63 65 68 71 72 73 74 75 76 79 81 83 88 91 98 101 103 105 108 110 111 113 116 120 121 128 130 133 137 138 148 155
a 9 12 15 19 20 23 24 25 27 29 31 35 41 54 58 63 65 68 71 72 73 74 75 76 79 81 83 88 91 98 101 103 105 108 110 111 113 116 120 121 128 130 133 137 138 148 149
a 9 12 15 19 20 23 24 25 27 29 31 35 41 54 58 62 63 65 71 72 73 74 75 76 79 81 83 88 91 98 101 103 105 108 110 111 113 116 120 121 128 130 133 137 138 148 149
a 9 12 15 19 20 23 24 25 27 29 31 35 41 47 54 58 62 63 65 71 72 73 74 76 79 81 83 88 91 98 101 103 105 108 110 111 113 116 120 121 128 130 133 137 138 148 149
a 9 12 15 19 20 23 24 25 27 29 31 35 47 54 55 58 62 63 65 71 72 73 74 76 79 81 83 88 91 98 101 103 105 108 110 111 113 116 120 121 128 130 133 137 138 148 149
a 4 9 12 15 20 23 24 25 27 29 31 35 47 54 55 58 62 63 65 71 72 73 74 76 79 81 83 88 91 98 101 103 105 108 110 111 113 116 120 121 128 130 133 137 138 148 149
a 3 4 9 12 15 20 23 25 27 29 31 35 47 54 55 58 62 63 65 71 72 73 74 76 79 81 83 88 91 98 101 103 105 108 110 111 113 116 120 121 128 130 133 137 138 148 149
a 3 4 9 12 15 20 23 25 27 29 31 35 41 47 54 58 62 63 65 71 72 73 74 76 79 81 83 88 91 98 101 103 105 108 110 111 113 116 120 121 128 130 133 137 138 148 149
a 3 4 9 12 15 20 23 25 27 29 31 35 41 47 54 58 62 63 65 71 72 73 74 76 79 81 83 87 88 91 98 101 103 105 108 110 111 113 116 120 121 128 130 133 137 138 148
a 3 4 9 12 15 20 23 25 27 29 31 35 36 41 47 54 58 62 63 65 71 72 73 74 76 79 81 83 87 88 91 98 101 103 105 108 110 111 113 116 121 128 130 133 137 138 148
a 3 9 12 15 20 23 25 27 29 31 35 36 41 47 54 58 62 63 65 71 72 73 74 76 79 81 83 87 88 91 98 101 103 105 108 110 111 113 116 121 128 130 133 137 138 143 148
a 3 9 12 15 20 23 25 27 29 31 35 36 41 54 58 62 63 65 71 72 73 74 75 76 79 81 83 87 88 91 98 101 103 105 108 110 111 113 116 121 128 130 133 137 138 143 148
a 3 9 12 15 20 23 25 27 29 31 35 36 41 54 58 62 63 65 71 72 73 74 75 76 81 83 87 88 91 98 101 103 105 108 110 111 113 116 121 128 130 133 137 138 143 144 148
a 3 9 12 15 19 20 23 25 27 29 31 35 36 41 54 58 62 63 65 71 72 73 74 75 76 81 83 87 88 98 101 103 105 108 110 111 113 116 121 128 130 133 137 138 143 144 148
a 3 9 12 15 19 20 23 25 27 29 31 35 36 54 55 58 62 63 65 71 72 73 74 75 76 81 83 87 88 98 101 103 105 108 110 111 113 116 121 128 130 133 137 138 143 144 148
a 3 9 12 15 19 20 23 25 27 29 31 35 36 54 55 58 62 63 65 71 72 73 74 75 76 81 83 87 88 98 101 103 105 108 110 111 113 116 121 130 133 137 138 143 144 148 155
a 3 9 12 15 19 20 23 25 27 29 31 35 36 41 54 58 62 63 65 71 72 73 74 75 76 81 83 87 88 98 101 103 105 108 110 111 113 116 121 130 133 137 138 143 144 148 155
a 3 4 9 12 15 20 23 25 27 29 31 35 36 41 54 58 62 63 65 71 72 73 74 75 76 81 83 87 88 98 101 103 105 108 110 111 113 116 121 130 133 137 138 143 144 148 155
a 4 9 12 15 20 23 24 25 27 29 31 35 36 41 54 58 62 63 65 71 72 73 74 75 76 81 83 87 88 98 101 103 105 108 110 111 113 116 121 130 133 137 138 143 144 148 155
a 4 9 12 15 20 23 24 25 27 29 31 35 36 41 47 54 58 62 63 65 71 72 73 74 76 81 83 87 88 98 101 103 105 108 110 111 113 116 121 130 133 137 138 143 144 148 155
a 4 9 12 15 20 23 24 25 27 29 31 35 36 41 47 54 58 62 63 65 71 72 73 74 76 81 83 87 88 98 101 103 105 108 110 111 113 116 121 130 133 136 137 138 143 144 148
a 4 9 12 15 20 23 24 25 27 29 31 35 36 41 47 54 58 62 63 65 71 72 73 74 76 81 83 87 88 98 101 103 105 108 110 111 113 116 121 130 136 137 138 143 144 148 155
a 4 12 15 20 23 24 25 27 29 31 35 36 41 47 54 58 62 63 65 67 71 72 73 74 76 81 83 87 88 98 101 103 105 108 110 111 113 116 121 130 136 137 138 143 144 148 155
a 4 12 15 20 23 24 25 27 29 31 35 36 47 54 55 58 62 63 65 67 71 72 73 74 76 81 83 87 88 98 101 103 105 108 110 111 113 116 121 130 136 137 138 143 144 148 155
a 4 12 15 20 23 24 25 27 29 31 35 36 47 54 55 58 62 63 65 67 71 72 73 74 76 81 83 87 88 98 101 103 105 108 110 111 113 116 121 130 136 137 138 143 144 148 149
a 4 12 15 20 23 24 25 27 29 31 35 36 41 47 54 58 62 63 65 67 71 72 73 74 76 81 83 87 88 98 101 103 105 108 110 111 113 116 121 130 136 137 138 143 144 148 149
a 12 15 20 23 24 25 27 29 31 35 36 41 47 54 58 62 63 65 67 71 72 73 74 76 81 83 87 88 98 101 103 105 108 110 111 113 116 121 130 136 137 138 143 144 145 148 149
a 12 15 20 23 24 25 27 29 31 35 36 41 47 49 54 58 62 63 65 67 71 72 73 74 76 81 83 87 88 98 101 103 108 110 111 113 116 121 130 136 137 138 143 144 145 148 149
a 12 15 20 23 24 25 27 29 31 35 36 41 47 49 54 58 62 63 65 67 71 72 73 74 76 79 81 83 87 88 98 101 103 108 110 111 113 116 121 130 136 137 138 143 145 148 149
a 12 15 20 23 24 25 29 31 35 36 41 47 49 54 58 62 63 65 67 71 72 73 74 76 79 81 83 87 88 98 101 103 108 110 111 113 116 121 130 136 137 138 143 145 148 149 154
a 15 20 23 24 25 29 31 35 36 41 44 47 49 54 58 62 63 65 67 71 72 73 74 76 79 81 83 87 88 98 101 103 108 110 111 113 116 121 130 136 137 138 143 145 148 149 154
a 15 20 23 24 25 29 31 35 41 44 47 49 54 58 62 63 65 67 71 72 73 74 76 79 81 83 87 88 98 101 103 108 110 111 113 116 120 121 130 136 137 138 143 145 148 149 154
a 15 20 23 24 25 27 29 31 35 41 44 47 49 54 58 62 63 65 67 71 72 73 74 76 79 81 83 87 88 98 101 103 108 110 111 113 116 120 121 130 136 137 138 143 145 148 149
a 15 20 23 24 25 28 29 31 35 41 44 47 49 54 58 62 63 65 67 71 72 73 74 76 79 81 83 87 88 98 101 103 108 110 111 113 116 120 121 130 136 137 138 143 145 148 149
a 15 20 23 24 25 28 29 31 35 41 44 47 49 54 58 62 63 65 67 71 72 73 74 76 77 79 81 83 87 88 98 101 103 108 110 111 113 116 120 121 130 136 137 138 143 145 148
a 15 20 23 24 25 28 29 31 35 41 44 49 54 58 62 63 65 67 71 72 73 74 75 76 77 79 81 83 87 88 98 101 103 108 110 111 113 116 120 121 130 136 137 138 143 145 148
a 15 20 23 24 25 28 29 30 31 35 41 44 49 54 58 62 63 65 67 71 72 73 74 76 77 79 81 83 87 88 98 101 103 108 110 111 113 116 120 121 130 136 137 138 143 145 148
a 2 15 20 23 24 25 28 29 30 31 41 44 49 54 58 62 63 65 67 71 72 73 74 76 77 79 81 83 87 88 98 101 103 108 110 111 113 116 120 121 130 136 137 138 143 145 148
a 2 15 20 23 24 25 28 29 30 31 41 44 49 54 58 62 63 65 67 71 72 73 74 76 77 79 81 83 87 88 98 101 103 108 110 111 113 116 120 121 130 136 137 138 143 145 155
a 2 15 20 23 24 25 28 29 30 31 41 44 49 54 58 62 63 65 67 68 71 72 73 74 76 77 79 81 83 87 88 98 101 103 108 110 111 113 116 120 121 130 136 137 138 143 145
a 2 12 15 20 23 24 25 28 29 30 31 41 44 49 54 58 62 63 65 67 68 71 72 73 74 76 77 79 81 83 87 88 98 101 103 108 110 111 113 120 121 130 136 137 138 143 145
a 2 12 15 20 23 24 25 28 29 30 31 41 44 47 49 54 58 62 63 65 67 71 72 73 74 76 77 79 81 83 87 88 98 101 103 108 110 111 113 120 121 130 136 137 138 143 145
a 12 15 20 23 24 25 28 29 30 31 41 44 47 49 54 58 62 63 65 67 71 72 73 74 76 77 79 81 83 87 88 98 101 103 105 108 110 111 113 120 121 130 136 137 138 143 145
a 12 15 20 23 24 25 28 29 30 31 41 44 47 49 54 58 62 63 65 67 71 72 73 74 76 77 79 81 83 87 88 89 98 101 103 105 108 110 111 113 120 121 136 137 138 143 145
a 15 20 23 24 25 28 29 30 31 41 44 47 49 54 58 62 63 65 67 71 72 73 74 76 77 79 81 83 87 88 89 93 98 101 103 105 108 110 111 113 120 121 136 137 138 143 145
a 4 15 23 24 25 28 29 30 31 41 44 47 49 54 58 62 63 65 67 71 72 73 74 76 77 79 81 83 87 88 89 93 98 101 103 105 108 110 111 113 120 121 136 137 138 143 145
a 4 15 23 24 25 28 29 30 31 33 41 44 47 49 54 58 62 63 65 67 71 72 73 74 76 77 79 81 83 87 88 89 93 98 101 103 105 110 111 113 120 121 136 137 138 143 145
a 4 15 23 24 25 28 29 30 31 33 41 44 47 49 54 58 62 63 65 67 71 72 73 74 76 77 79 81 83 87 88 89 93 94 98 101 103 105 110 111 113 120 121 136 137 138 145
a 4 15 23 24 25 28 29 30 31 33 39 41 44 47 49 54 58 62 65 67 71 72 73 74 76 77 79 81 83 87 88 89 93 94 98 101 103 105 110 111 113 120 121 136 137 138 145
a 4 9 15 23 25 28 29 30 31 33 39 41 44 47 49 54 58 62 65 67 71 72 73 74 76 77 79 81 83 87 88 89 93 94 98 101 103 105 110 111 113 120 121 136 137 138 145
a 4 9 15 23 25 28 29 30 31 33 39 41 44 47 49 58 62 65 67 71 72 73 74 76 77 79 81 83 87 88 89 93 94 98 101 103 105 110 111 113 120 121 125 136 137 138 145
a 4 9 15 23 25 28 29 31 33 39 41 44 47 49 58 61 62 65 67 71 72 73 74 76 77 79 81 83 87 88 89 93 94 98 101 103 105 110 111 113 120 121 125 136 137 138 145
a 4 6 9 15 23 25 28 29 31 33 39 41 44 47 49 58 61 62 65 67 71 73 74 76 77 79 81 83 87 88 89 93 94 98 101 103 105 110 111 113 120 121 125 136 137 138 145
a 4 6 9 15 23 25 28 29 31 33 39 41 47 49 58 61 62 65 67 71 73 74 76 77 79 81 83 86 87 88 89 93 94 98 101 103 105 110 111 113 120 121 125 136 137 138 145
a 4 6 9 15 25 28 29 31 33 39 41 47 49 58 61 62 65 67 71 73 74 76 77 79 81 83 86 87 88 89 93 94 98 99 101 103 105 110 111 113 120 121 125 136 137 138 145
a 4 6 9 15 25 28 29 31 33 39 41 47 49 58 61 62 65 67 70 71 73 76 77 79 81 83 86 87 88 89 93 94 98 99 101 103 105 110 111 113 120 121 125 136 137 138 145
a 4 6 9 15 25 29 31 33 39 41 47 49 58 61 62 65 67 70 71 73 76 77 79 81 83 86 87 88 89 93 94 98 99 101 103 105 110 111 113 120 121 123 125 136 137 138 145
a 4 6 9 15 29 31 33 39 41 47 49 58 61 62 65 67 70 71 73 76 77 79 81 83 86 87 88 89 90 93 94 98 99 101 103 105 110 111 113 120 121 123 125 136 137 138 145
a 4 6 9 15 29 31 33 39 41 47 49 50 58 61 62 65 67 70 71 76 77 79 81 83 86 87 88 89 90 93 94 98 99 101 103 105 110 111 113 120 121 123 125 136 137 138 145
a 4 6 9 15 29 31 33 39 41 47 49 50 58 61 62 64 65 67 70 71 76 77 79 83 86 87 88 89 90 93 94 98 99 101 103 105 110 111 113 120 121 123 125 136 137 138 145
a 4 6 9 15 29 31 33 39 41 42 47 49 50 58 61 62 64 65 70 71 76 77 79 83 86 87 88 89 90 93 94 98 99 101 103 105 110 111 113 120 121 123 125 136 137 138 145
a 4 6 9 15 29 31 33 39 41 42 47 49 50 58 61 62 64 65 70 71 76 77 79 83 86 87 89 90 93 94 98 99 101 103 105 110 111 113 118 120 121 123 125 136 137 138 145
a 4 6 9 10 15 29 31 33 39 41 42 47 49 50 58 61 62 64 65 70 71 76 77 79 83 86 87 89 90 93 94 98 99 101 103 105 110 113 118 120 121 123 125 136 137 138 145
a 4 6 9 10 15 29 31 33 39 41 42 49 50 52 58 61 62 64 65 70 71 76 77 79 83 86 87 89 90 93 94 98 99 101 103 105 110 113 118 120 121 123 125 136 137 138 145
a 4 6 9 10 15 29 31 33 39 41 42 49 50 52 58 61 62 64 70 71 76 77 79 83 86 87 89 90 93 94 98 99 101 103 105 110 113 118 120 121 123 125 136 137 138 140 145
a 4 6 9 10 15 29 31 33 39 41 42 49 50 52 58 61 62 64 70 71 76 77 79 83 86 87 89 90 93 94 99 101 103 105 110 113 118 120 121 123 125 134 136 137 138 140 145
a 4 6 9 10 15 29 31 33 39 41 42 49 50 52 58 61 62 64 68 70 71 76 77 79 83 86 89 90 93 94 99 101 103 105 110 113 118 120 121 123 125 134 136 137 138 140 145
a 4 6 9 10 15 29 31 33 39 41 42 50 52 58 61 62 64 68 70 71 76 77 79 83 86 89 90 93 94 99 101 103 105 106 110 113 118 120 121 123 125 134 136 137 138 140 145
a 4 6 9 10 15 29 31 33 39 42 50 52 55 58 61 62 64 68 70 71 76 77 79 83 86 89 90 93 94 99 101 103 105 106 110 113 118 120 121 123 125 134 136 137 138 140 145
a 4 6 9 10 15 31 33 39 42 50 52 53 55 58 61 62 64 68 70 71 76 77 79 83 86 89 90 93 94 99 101 103 105 106 110 113 118 120 121 123 125 134 136 137 138 140 145
c Step: 278
#END: [Tue Sep  5 07:54:04 2023]