#BEGIN: [Tue Sep  5 07:00:59 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance011_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance011_graph003_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_instance011_graph003.col /benchmark/random_instance/random_instance011_graph003_01.dat
c /benchmark/random_instance/random_instance011_graph003.col
c /benchmark/random_instance/random_instance011_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID a56cdb3715bae4914fc6d1ddc17d6d97742f4e8b37e67fce9a14ec5d087c7a2d
s 126 138 24 56 115 37 101 44 40 131 42 135 65 4 118 7 72 67 47 128 21 35 10 33 53 66 98 132 77 104 109 43 19 130 46 100 120 86 123 38 52 48 82 68 60
t 68 126 74 25 50 39 57 72 130 110 143 117 58 8 106 80 10 135 73 11 60 98 132 35 24 14 75 12 65 45 90 61 46 18 21 16 23 123 7 109 47 100 6 77 53
a YES
a 4 7 10 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138
a 4 7 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138
a 4 7 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 66 67 68 69 72 77 82 86 98 100 101 104 109 115 118 120 123 126 128 130 131 132 135 138
a 4 7 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 66 67 68 69 72 77 82 86 98 100 101 109 115 117 118 120 123 126 128 130 131 132 135 138
a 4 7 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 109 115 117 118 120 123 126 128 130 131 132 135 138
a 4 7 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 135 138
a 4 7 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 66 67 68 69 72 77 82 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 135 138
a 4 7 10 19 21 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 66 67 68 69 72 77 82 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 132 135 138
a 4 7 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 66 67 69 72 77 82 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 132 135 138
a 4 7 10 19 21 24 33 35 38 39 40 42 43 44 46 48 52 53 56 60 66 67 69 72 77 82 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 132 135 138 142
a 4 7 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 66 67 69 72 77 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 132 135 138 142
a 4 7 10 19 21 24 35 38 39 40 42 43 44 46 47 48 52 53 56 60 66 67 69 72 73 77 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 132 135 138 142
a 4 7 10 19 21 24 35 38 39 42 43 44 46 47 48 52 53 56 60 66 67 68 69 72 73 77 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 132 135 138 142
a 4 7 10 19 21 24 35 38 39 42 43 44 46 47 48 52 53 56 60 66 67 68 69 72 77 82 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 132 135 138 142
a 4 7 10 19 21 24 33 35 38 39 42 44 46 47 48 52 53 56 60 66 67 68 69 72 77 82 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 132 135 138 142
a 4 10 19 21 24 33 35 38 39 42 43 44 46 47 48 52 53 56 60 66 67 68 69 72 77 82 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 132 135 138 142
a 4 10 19 21 24 33 35 38 39 42 43 44 46 47 48 52 53 56 60 66 67 68 69 72 77 78 82 86 98 100 101 103 109 115 117 118 120 123 126 130 131 132 135 138 142
a 4 10 19 21 24 33 35 38 39 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 78 82 86 98 100 101 103 109 115 117 118 120 123 126 130 131 132 135 138 142
a 4 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 115 117 118 120 123 126 130 131 132 135 138 142
a 4 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 115 117 118 120 123 126 130 131 132 135 142
a 4 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 135 142
a 4 7 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 103 109 115 117 118 120 123 126 128 130 131 135 142
a 4 7 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 103 109 115 117 118 120 123 128 130 131 132 135 142
a 4 7 8 10 19 21 24 33 35 38 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 115 117 118 120 123 128 130 131 132 135 142
a 4 7 8 10 19 21 24 33 35 38 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 77 86 98 100 101 103 109 115 117 118 120 123 128 130 131 132 135 142
a 4 7 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 56 60 64 65 66 67 68 72 77 86 98 100 101 103 109 115 117 118 120 123 128 130 131 132 135 142
a 7 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 56 60 64 65 66 67 68 72 75 77 86 98 100 101 103 109 115 117 118 120 123 128 130 131 132 135 142
a 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 56 60 64 65 66 67 68 72 75 77 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 132 135 142
a 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 75 77 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 132 135
a 7 8 10 19 21 24 33 35 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 75 77 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 132 135
a 7 8 10 19 21 24 33 35 39 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 75 77 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 132 135 142
a 7 8 10 19 21 33 35 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 75 77 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 132 135 142
a 7 8 10 19 21 24 33 35 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 75 77 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 132 142
a 7 8 10 19 21 24 33 35 39 40 42 43 44 46 47 52 53 56 60 64 65 66 67 68 72 75 77 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 132 135 142
a 7 8 10 19 21 24 33 35 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 75 77 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 135 142
a 7 8 10 19 21 24 33 35 39 40 42 43 44 46 47 48 52 53 56 60 64 65 67 68 72 74 75 77 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 135 142
a 7 8 10 19 21 24 33 35 39 40 42 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 142
a 7 8 10 19 21 24 33 35 39 40 42 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 135
a 7 8 10 19 21 24 33 35 39 40 42 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 100 101 103 109 115 117 118 120 123 126 128 131 135 142
a 7 8 10 19 21 24 33 35 39 40 42 43 44 46 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 100 101 103 109 115 117 118 120 123 126 128 130 131 135 142
a 7 8 10 19 21 24 35 39 40 42 43 44 46 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 100 101 103 109 115 117 118 120 122 123 126 128 130 131 135 142
a 7 8 10 19 21 24 35 39 40 43 44 46 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 100 101 103 109 115 117 118 120 122 123 126 128 130 131 133 135 142
a 5 7 8 10 19 21 24 35 39 40 43 44 46 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 100 101 103 109 115 117 118 120 122 123 128 130 131 133 135 142
a 5 7 8 10 19 21 24 33 35 39 40 43 44 46 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 100 101 103 109 115 117 118 120 122 123 128 130 131 133 142
a 5 7 8 10 19 21 24 33 35 39 40 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 100 101 109 115 117 118 120 122 123 128 130 131 133 142
a 5 7 8 10 19 21 24 33 35 39 40 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 100 101 109 115 117 118 120 122 123 128 130 131 132 133
a 5 7 8 10 19 21 24 33 39 40 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 100 101 103 109 115 117 118 120 122 123 128 130 131 132 133
a 5 7 8 10 19 21 24 33 38 39 40 43 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 100 101 103 109 115 117 118 120 122 123 128 130 131 132 133
a 5 7 8 10 15 19 21 24 33 38 39 40 43 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 100 101 103 109 115 117 120 122 123 128 130 131 132 133
a 5 7 8 10 15 19 21 24 33 38 39 40 42 43 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 100 101 103 109 115 117 120 122 123 128 130 131 132
a 5 7 8 10 15 19 21 24 33 38 39 40 42 43 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 99 100 101 109 115 117 120 122 123 128 130 131 132
a 5 7 8 10 19 21 24 33 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 99 100 101 109 115 117 120 122 123 128 130 131 132
a 5 7 8 10 15 19 21 24 33 38 39 40 42 43 44 46 47 48 52 53 56 64 65 67 68 72 73 74 75 77 86 98 99 100 101 109 115 117 120 122 123 128 130 131 132
a 5 7 10 15 19 21 24 33 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 99 100 101 109 115 117 120 122 123 128 130 131 132
a 5 7 8 15 19 21 24 33 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 99 100 101 109 115 117 120 122 123 128 130 131 132
a 5 7 8 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 74 77 86 98 99 100 101 109 115 117 120 122 123 128 130 131 132
a 7 8 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 99 100 101 109 115 117 120 122 123 128 130 131 132
a 5 8 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 99 100 101 109 115 117 120 122 123 128 130 131 132
a 5 8 10 15 19 21 24 33 35 38 39 42 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 99 100 101 109 115 117 120 122 123 128 130 131 132
a 5 10 15 19 21 24 33 35 38 39 42 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 99 100 101 109 115 117 120 122 123 128 130 131 132 142
a 5 8 10 15 19 21 24 33 35 38 39 42 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 99 100 101 109 115 117 120 122 123 128 131 132 142
a 5 8 10 15 19 21 33 35 38 39 42 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 74 75 77 86 98 99 100 101 109 115 117 120 122 123 128 130 131 132 142
a 5 8 10 15 19 21 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 75 77 86 98 99 100 101 109 115 117 120 122 123 128 130 131 132 142
a 5 8 10 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 67 68 72 73 75 77 86 98 99 100 101 109 115 117 120 122 123 128 130 131 132
a 5 8 10 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 73 75 77 86 98 99 100 101 109 115 117 120 122 123 128 130 131 132
a 5 7 8 10 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 73 75 77 86 98 99 100 101 109 115 117 120 122 123 128 130 132
a 5 7 8 10 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 73 75 77 86 98 99 100 101 109 115 117 120 122 123 128 130 142
a 5 7 8 10 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 56 60 64 65 66 67 68 73 75 77 86 98 99 100 101 109 115 117 120 122 123 128 130 131 142
a 5 7 8 10 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 73 75 77 86 98 99 100 101 109 115 117 120 123 128 130 131 142
a 5 7 8 10 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 73 75 77 86 98 100 101 103 109 115 117 120 123 128 130 131 142
a 5 7 8 10 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 73 75 77 86 98 100 101 103 109 115 117 120 123 128 130 131 136
a 5 7 8 10 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 75 77 86 98 100 101 103 109 115 117 120 123 128 130 131
a 5 7 8 10 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 75 77 86 98 100 101 103 109 110 117 120 123 128 130 131
a 5 7 8 10 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 75 77 86 98 100 101 103 109 110 117 120 123 128 131 142
a 5 7 8 10 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 75 77 86 98 100 101 103 109 110 117 123 128 130 131 142
a 5 7 8 10 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 75 77 86 98 99 100 101 109 110 117 123 128 130 131 142
a 5 7 8 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 75 77 86 98 99 100 101 109 110 117 120 123 128 130 131 142
a 5 7 8 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 75 77 86 98 99 100 101 109 110 117 120 122 123 128 130 131
a 5 7 8 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 75 77 86 98 100 101 109 110 117 120 122 123 128 130 131 132
a 4 5 7 8 15 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 109 110 117 120 122 123 128 130 131 132
a 4 5 7 8 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 109 110 117 118 120 122 123 128 130 131 132
a 4 5 7 8 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 109 110 117 118 120 122 123 128 130 131 135
a 4 5 7 8 10 19 21 24 33 35 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 109 110 117 118 120 122 123 128 130 131 135
a 4 5 7 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 110 117 118 120 122 123 128 130 131 135
a 4 5 7 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 109 110 117 118 120 122 123 128 130 131
a 4 7 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 103 109 110 117 118 120 122 123 128 130 131
a 4 5 7 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 103 109 110 117 118 120 122 123 128 130
a 4 7 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 103 109 110 117 118 120 122 123 128 130 132
a 5 7 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 103 109 110 117 118 120 122 123 128 130 132
a 4 5 7 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 100 101 103 109 110 117 118 120 122 123 128 130 132
a 4 5 7 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 100 101 103 109 110 118 120 122 123 128 130 132 135
a 4 5 7 8 10 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 100 101 103 109 110 118 120 122 123 128 130 132 135
a 4 5 7 8 10 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 103 109 110 118 120 122 123 128 130 132
a 4 5 7 8 10 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 103 109 110 118 120 122 123 128 130 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 103 109 110 118 120 122 123 128 130
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 103 109 110 117 118 120 122 123 128
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 103 109 110 117 118 120 122 123 132
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 109 110 117 118 120 122 123 131 132
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 109 110 117 118 120 122 123 130 131
a 4 5 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 109 110 117 118 120 122 123 130 131 142
a 4 5 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 103 109 110 117 118 120 122 123 130 131
a 4 5 8 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 103 109 110 117 118 120 122 123 128 130 131
a 4 5 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 101 103 110 117 118 120 122 123 128 130 131
a 4 5 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 87 98 100 101 103 110 117 118 120 122 128 130 131
a 4 5 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 87 98 100 101 103 110 117 118 120 122 128 130 142
a 4 5 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 87 100 101 103 109 110 117 118 120 122 128 130 142
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 87 100 101 103 109 110 117 118 120 128 130 142
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 87 98 100 101 103 109 110 117 118 120 128 130
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 87 98 100 101 103 109 110 117 118 120 128 131
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 87 98 100 103 109 110 117 118 120 128 130 131
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 87 98 100 103 110 117 118 120 123 128 130 131
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 87 98 100 103 109 110 117 118 120 123 128 130
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 87 98 100 103 109 110 117 118 120 122 123 128
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 103 109 110 117 118 120 122 123 128 131
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 86 98 100 103 109 110 117 118 120 122 123 128 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 98 100 101 103 109 110 117 118 120 122 123 128 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 87 98 100 101 103 109 117 118 120 122 123 128 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 73 77 87 98 100 101 103 109 117 118 122 123 128 131 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 64 65 66 67 68 72 73 77 87 98 100 101 103 109 117 118 122 123 128 130 131 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 64 65 66 67 68 72 73 77 86 87 98 100 101 103 109 117 118 122 123 128 130 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 64 65 66 67 68 72 73 77 86 87 98 100 101 103 109 117 118 120 122 123 130 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 64 65 66 67 68 72 73 77 86 98 100 101 103 109 117 118 120 122 123 128 130 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 64 65 66 67 68 72 73 77 86 87 98 100 101 103 109 117 120 122 123 128 130 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 77 86 87 98 100 101 103 109 117 120 122 123 128 130 135
a 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 77 86 87 98 100 101 103 109 117 118 120 122 123 128 130 135
a 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 77 86 98 100 101 103 109 117 118 120 122 123 128 130 132 135
a 4 5 7 8 10 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 77 86 98 100 101 103 109 117 118 120 122 123 128 130 132 135
a 4 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 77 86 98 100 101 103 109 117 118 120 122 123 128 130 132 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 77 86 98 100 101 103 109 117 118 120 123 128 130 132 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 117 118 120 123 128 130 132 135
a 4 5 7 8 10 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 123 128 130 132 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 123 128 130 132
a 4 5 7 8 10 18 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 123 128 130 132
a 4 5 7 8 10 18 19 21 24 33 35 38 39 40 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 123 128 130 132 142
a 4 5 8 10 18 19 21 24 33 35 38 39 40 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 123 128 130 132 135 142
a 4 5 8 10 18 19 21 24 33 35 38 39 40 43 44 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 123 128 130 131 132 135 142
a 4 5 8 10 18 19 21 24 33 35 38 39 40 43 44 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 122 123 128 130 131 135 142
a 4 5 8 10 18 19 21 24 33 35 38 39 40 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 122 123 130 131 135 142
a 4 5 7 8 10 18 21 24 33 35 38 39 40 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 122 123 130 131 135 142
a 4 5 7 8 10 18 21 24 33 35 38 39 40 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 122 123 128 130 135 142
a 4 5 7 8 10 18 21 24 33 35 38 39 40 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 123 128 130 132 135 142
a 4 5 7 8 10 18 19 21 24 33 35 38 39 40 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 123 128 130 132 135 142
a 4 5 7 8 10 18 19 21 24 33 35 38 39 40 43 44 46 47 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 123 128 130 132 135 142
a 4 5 7 8 10 18 19 21 24 33 35 38 39 40 42 43 44 46 47 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 123 128 130 132 142
a 4 5 7 8 10 18 19 21 24 33 35 38 39 40 42 43 44 47 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 122 123 128 130 132 142
a 4 5 7 8 18 19 21 24 33 35 38 39 40 42 43 44 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 122 123 128 130 132 142
a 4 5 7 8 18 19 21 24 33 35 38 39 40 42 43 44 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 122 123 128 130 132 135
a 4 5 7 8 18 19 21 24 33 35 38 39 40 42 43 44 46 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 122 123 128 130 132 135
a 4 5 7 8 18 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 122 123 128 130 132
a 4 5 7 8 18 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 65 66 67 68 72 77 82 86 98 100 101 103 109 110 117 118 120 122 123 128 130 131
a 4 5 7 8 18 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 77 86 98 100 101 103 109 110 117 118 120 122 123 128 130 131
a 4 5 7 8 10 18 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 68 72 77 86 98 100 101 103 109 110 117 118 120 122 123 128 130 131
a 4 5 7 8 10 18 19 21 24 33 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 68 72 77 86 98 100 101 103 109 110 117 118 120 122 123 128 130 131 142
a 4 5 7 8 10 18 19 21 24 33 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 68 72 77 86 98 100 101 103 109 110 117 118 120 122 123 128 130 131 135
a 4 5 7 8 10 18 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 68 72 77 86 98 100 101 103 109 110 117 118 120 122 123 128 131 135
a 4 5 7 8 10 18 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 77 86 98 100 101 103 109 110 117 118 120 122 123 131 135
a 4 5 7 8 10 18 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 77 86 87 98 100 101 103 109 110 117 118 120 122 123 135
a 4 5 7 8 10 18 19 21 24 33 35 38 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 77 86 87 98 100 101 103 109 110 117 118 120 122 123 135 142
a 4 5 7 8 10 18 19 21 24 33 35 38 40 42 43 44 46 47 48 52 53 56 60 64 65 66 67 68 72 77 86 87 98 100 101 103 109 110 117 118 120 122 123 130 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 72 77 86 87 98 100 101 103 109 110 117 118 120 122 123 130 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 40 42 44 46 47 48 53 56 60 64 65 66 67 68 72 77 86 87 98 100 101 103 109 110 117 118 120 122 123 130 131 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 46 47 48 53 56 60 64 65 66 67 68 72 77 86 87 98 100 101 103 109 110 117 118 120 122 123 130 131 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 46 47 48 53 56 60 64 65 66 67 68 72 77 86 98 100 101 103 109 110 117 118 120 122 123 130 131 132 135
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 46 47 48 52 53 56 60 64 65 66 67 68 72 77 86 98 100 101 103 109 110 117 118 120 122 123 130 131 132
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 46 47 48 52 53 56 60 64 65 66 67 68 77 86 98 100 101 103 109 110 117 118 120 122 123 125 130 131 132
a 4 7 8 10 18 19 21 23 24 33 35 38 39 40 42 46 47 48 52 53 56 60 64 65 66 67 68 77 86 98 100 101 103 109 110 117 118 120 122 123 125 126 130 131 132
a 4 7 8 10 18 19 21 23 29 33 35 38 39 40 42 46 47 48 52 53 56 60 64 65 66 67 68 77 86 98 100 101 103 109 110 117 118 120 122 123 125 126 130 131 132
a 4 7 8 10 18 19 21 23 29 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 77 86 98 100 101 103 109 110 117 120 122 123 125 126 130 131 132
a 4 7 8 10 18 19 21 23 29 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 77 86 98 100 101 103 109 110 117 120 122 123 125 126 128 130 131
a 4 7 8 10 18 19 21 23 29 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 77 86 98 100 101 103 109 117 118 120 122 123 125 126 128 130 131
a 4 7 8 10 18 19 21 23 29 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 77 86 100 101 103 109 117 118 120 122 123 125 126 128 130 131 132
a 4 7 8 10 18 21 23 29 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 65 66 67 68 77 86 98 100 101 103 109 117 118 120 122 123 125 126 128 130 131 132
a 4 7 8 10 18 19 21 23 29 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 66 67 68 77 86 98 100 101 103 109 117 118 120 122 123 125 126 128 130 131 132
a 4 7 8 10 18 19 21 23 29 33 35 38 39 40 42 44 46 47 48 52 53 56 60 66 67 68 77 86 98 100 101 103 109 117 118 120 122 123 125 126 128 130 131 132 142
a 4 7 8 10 18 19 21 23 29 33 35 38 39 40 42 44 46 47 48 53 56 60 66 67 68 69 77 86 98 100 101 103 109 117 118 120 122 123 125 126 128 130 131 132 142
a 4 7 8 10 18 19 21 23 29 33 35 38 39 40 42 44 46 47 48 52 53 56 60 66 67 68 69 77 86 98 101 103 109 117 118 120 122 123 125 126 128 130 131 132 142
a 4 7 8 10 18 19 21 23 29 33 35 38 39 40 42 44 46 47 48 52 53 56 60 66 67 68 69 77 86 98 100 101 103 109 117 118 122 123 125 126 128 130 131 132 142
a 4 7 8 10 18 19 21 23 29 33 35 38 39 40 42 44 46 47 48 52 53 56 60 66 67 68 69 77 86 98 100 101 103 109 117 118 120 122 123 125 126 130 131 132 142
a 4 7 10 18 19 21 23 29 33 35 38 39 40 42 44 46 47 48 52 53 56 60 66 67 68 69 77 86 98 100 101 103 109 117 118 120 122 123 125 126 128 130 131 132 142
a 4 7 8 10 18 19 21 23 29 33 35 38 39 40 42 44 46 47 48 52 53 56 60 66 67 68 69 77 98 100 101 103 109 117 118 120 122 123 125 126 128 130 131 132 142
a 4 7 8 10 18 19 21 23 29 33 35 38 39 40 42 44 46 47 48 52 53 56 60 66 67 68 69 77 98 100 101 103 109 117 118 120 122 123 125 126 128 130 131 132 135
a 4 7 8 10 18 19 21 23 29 33 35 38 39 40 42 44 46 47 48 52 53 56 60 66 67 68 69 77 86 98 100 101 103 109 117 118 120 122 123 125 126 128 130 131 132
a 4 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 66 67 68 69 77 86 98 100 101 103 109 117 118 120 122 123 125 126 128 130 131 132
a 4 5 7 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 66 67 68 69 77 86 98 100 101 103 109 117 118 120 122 123 125 128 130 131 132
a 4 5 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 66 67 68 69 77 86 98 100 101 103 109 117 118 120 122 123 125 128 130 131 132 135
a 4 5 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 66 67 68 69 77 86 98 100 101 103 109 117 118 120 122 123 125 128 130 131 132
a 4 5 8 10 18 19 21 23 24 33 35 38 39 40 42 44 46 47 48 52 53 56 60 64 66 67 68 69 72 77 86 98 100 101 103 109 117 118 120 122 123 128 130 131 132
a 4 5 8 10 18 19 21 23 24 33 35 38 39 42 44 46 47 48 52 53 56 60 64 66 67 68 69 72 77 86 98 100 101 103 109 117 118 120 122 123 128 130 131 132 135
a 4 5 8 10 18 19 21 23 24 33 35 38 39 42 44 46 47 48 52 53 56 60 64 66 67 68 69 72 77 86 91 98 100 101 103 109 117 118 120 122 123 128 130 131 135
a 4 5 8 10 18 19 21 23 24 33 35 38 39 42 44 46 47 48 52 53 56 60 64 66 67 68 69 72 77 86 91 98 100 103 109 117 118 120 122 123 128 130 131 135 143
a 4 5 8 10 18 19 21 23 24 33 35 38 39 42 44 47 48 52 53 56 60 64 66 67 68 69 72 77 86 90 91 98 100 103 109 117 118 120 122 123 128 130 131 135 143
a 4 5 8 10 18 19 21 23 24 33 35 38 39 42 44 46 47 48 52 53 56 60 64 66 67 68 69 72 77 86 90 91 98 100 103 109 117 118 120 122 123 128 131 135 143
a 4 5 8 10 18 19 21 23 24 33 35 38 39 42 44 46 47 48 52 53 56 60 64 67 68 69 72 77 86 87 90 91 98 100 103 109 117 118 120 122 123 128 131 135 143
a 4 5 8 10 18 19 21 23 24 33 35 38 39 42 44 46 47 48 52 53 56 60 64 67 68 69 72 77 86 87 90 91 98 100 103 109 117 118 120 122 123 128 131 136 143
a 4 5 8 10 18 21 23 24 33 35 38 39 42 44 46 47 48 52 53 56 60 64 67 68 69 72 77 86 87 90 91 98 100 103 109 117 118 120 122 123 128 130 131 136 143
a 4 5 8 10 18 21 23 24 33 35 38 39 42 44 46 47 48 52 53 56 60 64 67 68 69 72 77 86 90 91 98 100 103 109 117 118 120 122 123 128 130 131 132 136 143
a 4 5 8 10 18 21 23 24 33 35 38 39 42 44 46 47 52 53 56 60 64 66 67 68 69 72 77 86 90 91 98 100 103 109 117 118 120 122 123 128 130 131 132 136 143
a 4 5 8 10 18 21 23 24 33 35 38 39 42 46 47 52 53 56 60 64 66 67 68 69 72 77 86 90 91 98 100 103 109 117 118 120 122 123 128 130 131 132 136 142 143
a 4 5 8 10 18 21 23 24 33 35 38 39 42 46 47 48 52 53 56 60 64 66 67 68 69 72 77 86 90 91 98 100 103 109 117 118 120 122 123 128 130 131 132 136 142
a 4 5 8 10 14 18 21 23 24 35 38 39 42 46 47 48 52 53 56 60 64 66 67 68 69 72 77 86 90 91 98 100 103 109 117 118 120 122 123 128 130 131 132 136 142
a 4 5 8 10 14 18 21 23 24 25 35 38 39 42 46 47 48 52 53 56 60 64 66 67 68 69 72 77 86 90 91 98 100 103 109 117 118 120 122 123 130 131 132 136 142
a 4 5 8 10 14 18 19 21 23 24 25 35 38 39 42 46 47 48 52 53 56 60 64 66 67 68 69 72 77 86 90 91 98 100 103 109 117 118 120 122 123 130 131 132 136
a 4 5 7 8 10 14 18 19 21 23 24 25 35 38 39 42 46 47 48 52 53 56 60 64 66 67 68 69 72 77 86 90 91 98 100 103 109 117 118 120 122 123 130 131 132
a 4 5 7 8 10 14 18 19 21 23 24 25 35 38 39 42 46 47 48 52 53 56 60 64 66 67 68 72 77 86 90 91 98 100 103 109 110 117 118 120 122 123 130 131 132
a 4 5 7 8 10 14 18 19 21 23 24 25 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 72 77 86 90 91 98 100 103 109 110 117 118 120 122 123 130 131 132
a 4 5 7 8 10 14 18 19 21 23 24 25 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 72 77 86 91 98 100 103 109 110 117 118 120 122 123 130 131 132
a 4 5 7 8 10 14 18 19 23 24 25 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 72 73 77 86 91 98 100 103 109 110 117 118 120 122 123 130 131 132
a 4 5 7 8 10 14 18 19 23 24 25 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 72 73 77 86 91 98 100 103 109 110 117 118 120 122 123 130 131 135
a 4 5 7 8 10 14 18 19 21 23 24 25 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 72 73 77 86 91 98 100 103 109 110 117 118 120 122 123 130 131
a 4 5 7 8 10 14 18 19 21 23 24 25 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 72 73 77 86 90 91 98 100 103 109 117 118 120 122 123 130 131
a 4 5 7 8 10 14 18 19 21 23 24 25 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 72 73 77 86 90 91 98 100 103 109 117 118 120 122 123 131 135
a 4 5 7 8 10 14 18 19 21 23 24 25 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 98 100 103 109 117 118 120 122 123 131
a 4 5 7 8 10 14 18 19 21 23 24 25 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 69 72 73 77 86 90 91 98 100 103 109 117 118 120 122 123 131 132
a 4 5 7 8 10 14 18 19 21 23 24 25 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 100 103 109 117 118 120 122 123 131 132
a 4 5 7 8 10 14 18 19 21 23 24 25 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 100 103 109 117 118 120 122 123 131 143
a 4 5 7 8 10 14 18 19 21 23 24 25 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 100 103 109 117 118 120 122 123 130 131
a 4 7 8 10 14 18 19 21 23 24 25 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 100 103 109 117 118 120 122 123 130 131 143
a 4 5 7 8 10 14 18 19 21 23 24 25 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 100 103 109 117 118 120 122 123 130 143
a 4 5 7 8 10 14 18 19 21 23 24 25 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 100 103 109 117 118 120 122 123 130 132
a 4 5 7 8 10 14 18 19 21 24 25 28 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 100 103 109 117 118 120 122 123 130 132
a 4 5 7 8 10 14 18 19 21 24 25 28 33 35 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 100 103 109 117 118 120 122 123 130 132 135
a 4 5 7 8 10 14 16 18 19 21 24 25 28 33 35 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 100 103 109 117 118 120 122 123 130 132
a 4 5 7 8 10 14 16 18 19 21 24 25 28 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 100 103 109 117 118 120 122 123 130
a 4 5 7 8 10 14 16 18 19 21 24 25 28 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 98 100 103 109 117 118 120 122 123
a 4 5 7 8 10 14 16 19 21 24 25 28 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 98 100 103 109 117 118 120 122 123 132
a 4 7 8 10 14 16 19 21 24 25 28 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 98 100 103 109 117 118 120 122 123 126 132
a 4 7 8 10 14 16 18 19 21 24 25 28 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 98 100 103 109 117 118 120 122 123 126
a 4 7 8 10 14 16 18 19 21 24 25 28 33 35 38 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 98 100 103 109 117 118 120 122 123 143
a 4 7 8 10 14 16 18 19 21 24 25 28 33 38 39 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 94 98 100 103 109 117 118 120 122 123 143
a 4 7 8 10 14 16 18 19 21 24 25 28 33 38 42 44 46 47 48 52 56 60 64 66 67 68 69 72 73 77 86 90 91 93 94 98 100 103 109 117 118 120 122 123 143
a 4 7 8 10 14 16 18 19 21 24 25 28 33 38 42 44 46 47 48 52 53 56 60 64 66 67 68 69 72 73 77 86 90 91 93 98 100 103 109 117 118 120 122 123 143
a 4 7 8 10 14 16 18 19 21 24 25 28 33 38 42 44 46 47 48 52 53 56 60 64 66 67 68 69 72 73 77 86 90 91 93 98 100 103 109 117 118 120 122 142 143
a 4 7 8 10 14 16 18 19 21 24 25 28 33 38 42 44 46 47 48 52 53 56 60 64 66 67 68 72 73 77 86 90 91 93 98 100 103 109 110 117 118 120 122 142 143
a 4 7 8 10 14 16 18 19 21 24 25 28 33 35 38 42 44 46 47 48 52 53 56 60 64 66 67 68 72 73 77 86 90 91 93 98 100 103 109 110 117 118 120 122 142
a 4 7 8 10 14 16 18 19 21 24 25 28 33 35 38 42 44 46 48 52 53 56 60 64 66 67 68 72 73 77 86 90 91 93 98 100 103 109 110 117 118 120 122 123 142
a 4 7 8 10 14 16 18 19 21 24 25 28 33 35 38 42 44 46 48 52 53 56 60 64 66 67 68 72 73 77 86 90 91 93 98 100 103 109 110 117 118 120 122 123 126
a 4 7 8 10 14 16 18 19 21 24 25 28 33 35 38 42 44 46 48 52 53 56 60 64 66 67 68 72 73 77 86 90 91 93 98 100 103 109 110 117 118 120 122 123 143
a 4 7 8 10 14 16 18 19 21 24 25 28 33 34 35 38 42 44 46 48 52 53 60 64 66 67 68 72 73 77 86 90 91 93 98 100 103 109 110 117 118 120 122 123 143
a 4 7 8 10 14 16 18 19 21 24 25 28 34 35 38 42 44 46 48 52 53 58 60 64 66 67 68 72 73 77 86 90 91 93 98 100 103 109 110 117 118 120 122 123 143
a 4 7 8 10 14 16 18 19 21 24 25 28 34 35 38 42 44 46 48 52 58 60 64 66 67 68 72 73 77 86 90 91 93 94 98 100 103 109 110 117 118 120 122 123 143
a 4 7 8 10 16 18 19 21 24 25 28 34 35 38 42 44 46 48 52 58 60 64 66 67 68 72 73 77 86 90 91 93 94 98 100 103 109 110 117 118 120 121 122 123 143
a 4 7 8 10 16 18 19 21 24 25 28 34 35 38 42 44 46 47 48 52 58 60 64 66 67 68 72 73 77 86 90 91 93 94 98 100 103 109 110 117 118 120 121 122 123
a 2 4 7 8 10 16 18 19 21 24 25 28 34 35 38 42 44 46 48 52 58 60 64 66 67 68 72 73 77 86 90 91 93 94 98 100 103 109 110 117 118 120 121 122 123
a 2 4 7 8 10 16 18 19 21 24 25 28 34 35 38 42 44 46 48 52 58 60 64 66 67 68 69 72 73 77 86 90 91 93 94 98 100 103 109 117 118 120 121 122 123
a 2 4 7 8 10 14 16 18 19 24 25 28 34 35 38 42 44 46 48 52 58 60 64 66 67 68 69 72 73 77 86 90 91 93 94 98 100 103 109 117 118 120 121 122 123
a 4 7 8 10 14 16 18 19 21 24 25 28 34 35 38 42 44 46 48 52 58 60 64 66 67 68 69 72 73 77 86 90 91 93 94 98 100 103 109 117 118 120 121 122 123
a 4 7 8 10 14 16 18 19 21 24 28 34 35 38 42 43 44 46 48 52 58 60 64 66 67 68 69 72 73 77 86 90 91 93 94 98 100 103 109 117 118 120 121 122 123
a 4 7 8 10 14 18 19 21 24 28 34 35 38 42 43 44 46 48 52 58 60 64 66 67 68 69 70 72 73 77 86 90 91 93 94 98 100 103 109 117 118 120 121 122 123
a 4 7 8 10 14 18 19 21 24 28 34 35 37 38 42 43 44 46 48 52 58 60 64 66 67 68 69 70 72 73 77 86 90 91 93 94 98 100 103 109 117 118 120 121 122
a 4 7 8 10 14 18 19 21 24 28 34 35 37 38 42 43 44 46 48 52 58 60 62 64 66 67 68 69 70 72 73 77 86 91 93 94 98 100 103 109 117 118 120 121 122
a 4 7 8 10 14 18 19 21 24 28 34 35 37 38 42 43 44 46 48 52 58 60 62 64 66 67 68 69 70 72 73 77 86 90 91 93 94 98 100 103 117 118 120 121 122
a 4 8 10 14 18 19 21 24 28 34 35 37 38 42 43 44 46 47 48 52 58 60 62 64 66 67 68 69 70 72 73 77 86 90 91 93 94 98 100 103 117 118 120 121 122
a 4 8 10 14 18 19 21 24 28 34 35 37 42 43 44 46 47 48 52 58 60 62 63 64 66 67 68 69 70 72 73 77 86 90 91 93 94 98 100 103 117 118 120 121 122
a 4 8 10 14 18 19 21 24 28 34 35 37 42 43 44 46 47 48 52 58 60 62 63 64 66 67 68 69 70 72 73 77 86 90 91 93 94 98 100 103 117 118 120 122 135
a 4 8 10 13 14 18 19 21 24 28 34 35 37 42 43 44 46 47 48 52 58 60 62 63 64 67 68 69 70 72 73 77 86 90 91 93 94 98 100 103 117 118 120 122 135
a 4 8 10 13 14 18 19 21 24 28 34 35 37 42 43 44 46 47 48 52 58 60 62 63 64 67 68 69 70 72 73 77 78 86 91 93 94 98 100 103 117 118 120 122 135
a 4 8 10 13 14 18 19 21 24 28 34 35 37 42 43 44 46 48 52 58 60 62 63 64 67 68 69 70 72 73 77 78 86 91 93 94 98 100 103 117 118 120 122 135 139
a 4 8 10 13 14 18 19 21 24 28 35 37 42 43 44 46 48 52 58 60 62 63 64 67 68 69 70 72 73 77 78 86 91 93 94 98 100 103 109 117 118 120 122 135 139
a 4 8 10 13 14 18 19 21 24 28 35 37 42 43 46 48 52 58 60 62 63 64 67 68 69 70 72 73 77 78 86 91 93 94 98 100 103 109 117 118 120 122 132 135 139
a 8 10 13 14 18 19 21 24 28 35 37 42 43 46 48 52 58 60 62 63 64 67 68 69 70 72 73 77 78 86 91 93 94 98 100 103 109 117 118 120 122 123 132 135 139
a 8 10 13 14 18 19 21 24 28 35 37 42 43 46 47 48 52 58 60 62 63 64 67 68 69 70 72 73 77 78 86 91 93 94 98 100 103 109 117 118 120 122 123 132 135
a 8 10 13 14 18 19 21 24 28 35 37 42 43 46 47 48 52 58 60 62 63 64 67 68 70 72 73 77 78 86 91 93 94 98 100 103 109 110 117 118 120 122 123 132 135
a 8 10 14 18 19 21 24 28 35 37 42 43 46 47 48 52 58 60 62 63 64 65 67 68 70 72 73 77 78 86 91 93 94 98 100 103 109 110 117 118 120 122 123 132 135
a 8 10 14 18 19 21 24 28 35 37 42 43 46 47 48 52 53 58 60 62 63 64 65 67 68 70 72 73 77 78 86 91 93 98 100 103 109 110 117 118 120 122 123 132 135
a 8 10 14 18 19 21 24 28 35 37 42 43 46 47 48 52 53 58 60 62 63 64 65 67 68 70 72 73 77 78 86 91 93 98 100 103 109 110 117 118 120 123 132 135 143
a 8 10 14 18 19 21 24 28 35 42 43 46 47 48 52 53 58 60 62 63 64 65 67 68 70 72 73 77 78 86 91 93 98 100 103 109 110 117 118 120 123 130 132 135 143
a 8 10 12 14 18 19 21 24 28 35 42 43 46 47 48 52 53 58 60 62 63 64 65 68 70 72 73 77 78 86 91 93 98 100 103 109 110 117 118 120 123 130 132 135 143
a 8 10 12 14 18 19 21 24 28 35 42 43 46 47 48 52 53 58 60 62 63 64 65 68 70 72 73 74 77 78 86 93 98 100 103 109 110 117 118 120 123 130 132 135 143
a 8 10 12 14 18 19 21 24 28 35 42 43 46 47 52 53 58 60 62 63 64 65 68 70 72 73 74 77 78 86 93 98 100 103 109 110 117 118 120 123 126 130 132 135 143
a 8 10 12 14 18 19 21 24 28 35 42 43 46 47 52 53 58 60 62 63 65 68 70 72 73 74 75 77 78 86 93 98 100 103 109 110 117 118 120 123 126 130 132 135 143
a 8 10 12 14 18 19 21 24 28 35 42 43 46 47 52 53 58 60 62 63 65 68 70 72 73 74 75 77 86 90 93 98 100 103 109 110 117 118 120 123 126 130 132 135 143
a 8 10 12 14 18 21 24 28 35 42 43 45 46 47 52 53 58 60 62 63 65 68 70 72 73 74 75 77 86 90 93 98 100 103 109 110 117 118 120 123 126 130 132 135 143
a 8 10 12 14 18 21 24 28 35 42 43 45 46 47 50 52 53 58 60 62 63 65 68 70 72 73 74 75 77 86 90 98 100 103 109 110 117 118 120 123 126 130 132 135 143
a 8 10 12 14 16 18 21 24 28 35 42 43 45 46 47 50 52 53 58 60 62 63 65 68 72 73 74 75 77 86 90 98 100 103 109 110 117 118 120 123 126 130 132 135 143
a 8 10 12 14 16 18 21 24 28 35 42 43 45 46 47 50 52 53 58 60 62 65 68 72 73 74 75 77 80 86 90 98 100 103 109 110 117 118 120 123 126 130 132 135 143
a 6 8 10 12 14 16 18 21 24 28 35 42 43 45 46 47 50 52 53 58 60 62 65 68 72 73 74 75 77 80 86 90 98 100 103 109 110 117 120 123 126 130 132 135 143
a 6 7 8 10 12 14 16 18 21 24 28 35 42 43 45 46 47 50 52 53 58 60 62 65 68 72 73 74 75 77 80 86 90 98 100 103 109 110 117 123 126 130 132 135 143
a 6 7 8 10 12 14 16 18 21 24 28 35 43 45 46 47 50 52 53 57 58 60 62 65 68 72 73 74 75 77 80 86 90 98 100 103 109 110 117 123 126 130 132 135 143
a 6 7 8 10 11 12 14 16 18 21 24 28 35 43 45 46 47 50 52 53 57 58 60 62 65 68 72 73 74 75 77 80 90 98 100 103 109 110 117 123 126 130 132 135 143
a 6 7 8 10 11 12 14 16 18 21 24 28 35 39 43 45 46 47 50 52 53 57 58 60 65 68 72 73 74 75 77 80 90 98 100 103 109 110 117 123 126 130 132 135 143
a 6 7 8 10 11 12 14 16 18 21 24 25 28 35 39 45 46 47 50 52 53 57 58 60 65 68 72 73 74 75 77 80 90 98 100 103 109 110 117 123 126 130 132 135 143
a 6 7 8 10 11 12 14 16 18 21 23 24 25 35 39 45 46 47 50 52 53 57 58 60 65 68 72 73 74 75 77 80 90 98 100 103 109 110 117 123 126 130 132 135 143
a 6 7 8 10 11 12 14 16 18 21 23 24 25 35 39 45 46 47 50 53 57 58 60 61 65 68 72 73 74 75 77 80 90 98 100 103 109 110 117 123 126 130 132 135 143
a 6 7 8 10 11 12 14 16 18 21 23 24 25 35 39 45 46 47 50 53 57 58 60 61 65 68 72 73 74 75 77 80 90 98 100 106 109 110 117 123 126 130 132 135 143
c Step: 283
#END: [Tue Sep  5 07:30:59 2023]