#BEGIN: [Mon Sep  4 16:41:13 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /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 97225eb127955ff225ca67f1820bae0e9f1c2931be1e6311b50ebc671283072b
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 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 37 38 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 5 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 109 115 117 118 120 123 128 130 131 132 135 138
a 4 5 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 128 130 131 132 135 138
a 4 5 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 99 100 101 109 115 117 118 120 123 128 130 131 132 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 65 66 67 68 72 77 82 86 98 99 100 101 109 115 117 118 120 123 128 130 131 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 65 66 67 68 72 77 82 86 98 100 101 103 109 115 117 118 120 123 128 130 131 132
a 4 5 7 8 10 19 21 24 33 35 38 39 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
a 4 5 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 101 103 109 115 117 118 120 123 128 130 131 135
a 4 5 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 87 98 100 101 103 109 115 117 118 120 123 128 130 131 135
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 87 98 100 101 103 109 115 117 118 120 123 128 130 131 135
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 87 98 100 101 103 109 115 117 118 120 123 126 128 130 131
a 4 7 8 10 19 21 24 33 35 38 39 40 42 43 44 46 47 48 52 53 60 65 66 67 68 72 77 82 86 87 98 100 101 103 109 115 117 118 120 123 126 128 130 131 135
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 87 98 100 101 103 109 115 117 118 120 123 126 128 130 135
a 4 7 8 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 87 98 100 101 103 109 115 117 118 120 123 126 128 130 135
a 4 8 10 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 77 82 86 87 98 100 101 103 109 115 117 118 120 123 126 128 130 135
a 4 8 10 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 56 60 62 65 66 67 68 72 77 82 86 87 98 100 101 103 109 115 117 118 120 123 126 128 130 131 135
a 8 10 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 56 60 62 65 66 67 68 72 75 77 82 86 87 98 100 101 103 109 115 117 118 120 123 126 128 130 131 135
a 8 10 19 24 33 35 37 38 40 42 43 44 46 47 48 52 56 60 62 65 66 67 68 72 75 77 82 86 87 98 100 101 103 109 115 117 118 120 122 123 126 128 130 131 135
a 8 10 19 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 75 77 82 86 87 98 100 101 103 109 115 117 118 120 122 123 126 128 130 135
a 8 10 19 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 77 82 86 87 98 100 101 103 109 115 117 118 120 122 123 126 128 130 131 135
a 7 8 10 19 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 77 82 86 87 98 100 101 103 109 115 117 118 120 122 123 126 128 130 131
a 8 10 19 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 75 77 82 86 87 98 100 101 103 109 115 117 118 120 122 123 126 128 130 131
a 10 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 75 77 82 86 87 98 100 101 103 109 115 117 118 120 122 123 126 128 130 131
a 10 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 75 77 82 86 87 93 98 100 101 103 109 117 118 120 122 123 126 128 130 131
a 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 75 77 81 82 86 87 93 98 100 101 103 109 117 118 120 122 123 126 128 130 131
a 11 19 21 24 33 35 37 38 40 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 75 77 81 82 86 87 93 98 100 101 103 109 117 118 120 122 123 126 128 130 131
a 8 11 19 21 24 35 37 38 40 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 75 77 81 82 86 87 93 98 100 101 103 109 117 118 120 122 123 126 128 130 131
a 8 11 19 21 24 33 35 37 38 40 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 75 77 81 82 86 87 93 98 100 101 103 109 117 118 120 122 123 126 128 131
a 8 11 19 21 24 33 35 37 38 40 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 75 77 81 82 86 93 98 100 101 103 109 117 118 120 122 123 126 128 131 132
a 8 19 21 24 33 35 37 38 40 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 75 77 81 82 86 93 98 100 101 103 109 117 118 120 122 123 126 128 130 131 132
a 8 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 75 77 81 82 86 93 98 100 101 103 109 117 118 120 122 123 128 130 131 132
a 8 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 75 77 81 82 86 93 98 100 101 103 109 117 118 120 122 123 126 128 130 132
a 8 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 75 77 81 82 86 87 93 98 100 101 103 109 117 118 120 122 123 126 128 130
a 8 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 65 66 67 68 72 75 77 81 86 87 93 98 100 101 103 109 117 118 120 122 123 126 128 130 131
a 8 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 75 77 81 86 87 93 98 100 101 103 109 117 118 120 122 123 126 128 130
a 8 10 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 75 77 81 86 87 93 98 100 101 103 109 117 118 120 122 123 128 130
a 8 10 19 21 24 33 35 38 40 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 75 77 81 86 87 93 98 100 101 103 109 117 118 120 122 123 126 128 130
a 8 19 21 24 33 35 38 40 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 75 77 81 86 87 91 93 98 100 101 103 109 117 118 120 122 123 126 128 130
a 7 8 19 21 24 33 35 38 40 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 75 77 81 86 87 91 93 98 100 101 103 117 118 120 122 123 126 128 130
a 7 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 75 77 81 86 87 91 93 98 100 101 103 117 118 120 122 123 126 128 130
a 4 7 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 77 81 86 87 91 93 98 100 101 103 117 118 120 122 123 126 128 130
a 4 7 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 77 81 86 87 91 93 98 100 101 103 117 118 120 122 123 126 128 130
a 4 7 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 77 81 86 87 91 93 98 100 101 103 109 117 118 120 122 123 126 128 130
a 7 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 77 81 86 87 91 93 98 100 101 103 109 117 118 120 122 123 126 128 130
a 7 8 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 77 81 86 87 91 93 98 100 101 103 109 117 118 120 122 123 128 130
a 7 8 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 77 81 86 87 91 93 98 100 101 103 109 117 118 120 122 123 126 130
a 7 8 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 77 86 87 91 93 98 100 101 103 109 117 118 120 122 123 126 130 142
a 8 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 77 86 87 91 93 98 100 101 103 109 117 118 120 122 123 126 128 130 142
a 4 8 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 77 86 87 91 93 98 100 101 103 109 117 118 120 122 123 128 130 142
a 4 8 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 77 86 87 91 93 98 100 101 103 109 117 118 120 122 123 126 130 142
a 4 8 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 77 86 87 93 98 100 101 103 109 117 118 120 122 123 126 128 130 142
a 4 8 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 77 86 87 93 98 100 101 103 109 110 117 118 120 122 123 128 130 142
a 8 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 77 86 87 93 98 100 101 103 109 110 117 118 120 121 122 123 128 130 142
a 8 19 21 24 33 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 76 77 86 87 93 98 100 101 103 109 110 117 118 120 121 122 123 128 130
a 8 19 21 24 28 33 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 76 77 86 87 93 98 100 101 103 109 110 117 118 120 121 122 123 128
a 8 19 21 24 28 33 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 76 77 86 87 93 98 100 101 103 109 110 117 118 120 121 122 123 130
a 8 19 21 24 28 33 35 37 38 40 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 76 77 86 87 93 98 100 101 103 109 110 117 118 120 121 122 123 130
a 8 19 21 24 28 33 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 76 77 86 87 93 98 100 101 103 109 110 117 118 120 121 122 123 130
a 8 19 21 24 28 33 35 37 38 40 42 43 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 76 77 86 87 93 98 100 101 103 109 110 117 118 120 121 122 123 130
a 8 19 21 24 28 33 35 37 38 40 42 43 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 76 77 86 87 93 98 100 101 103 109 110 117 120 121 122 123 128 130
a 8 19 21 24 28 33 35 37 38 40 42 43 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 76 77 86 87 93 98 100 101 103 109 110 117 120 121 122 123 128 130
a 19 21 24 28 33 35 37 38 40 42 43 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 76 77 86 87 91 93 98 100 101 103 109 110 117 120 121 122 123 128 130
a 21 24 28 33 35 37 38 40 42 43 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 76 77 86 87 91 93 98 100 101 103 109 110 117 120 121 122 123 126 128 130
a 21 24 28 33 35 37 38 40 42 43 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 76 77 86 87 91 93 98 100 101 103 109 110 117 118 120 121 122 123 126 130
a 21 24 28 33 35 37 38 40 42 43 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 76 77 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 126 130 136
a 19 21 24 28 33 35 37 38 40 42 43 46 47 48 52 56 60 62 64 65 66 67 68 72 73 76 77 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 126 130 136
a 19 21 24 28 33 35 37 38 40 42 43 44 46 47 48 52 56 60 62 64 65 66 67 68 72 73 76 77 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 130 136
a 19 21 24 28 33 35 37 38 40 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 76 77 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 136
a 19 21 24 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 76 77 78 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 136
a 19 21 24 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 76 77 78 86 87 91 93 98 100 101 103 109 110 117 120 122 123 128 136
a 19 21 24 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 77 78 86 87 91 93 98 100 101 103 109 110 117 120 122 123 128 136
a 19 21 24 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 77 78 86 87 91 93 98 100 103 109 110 117 120 122 123 126 128 136
a 19 21 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 77 78 86 87 91 93 98 100 103 109 110 117 118 120 122 123 126 128 136
a 19 21 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 77 78 86 87 91 93 98 100 101 103 109 110 117 118 120 123 126 128 136
a 19 21 28 33 35 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 77 78 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 126 128 136
a 19 21 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 77 78 86 87 93 98 100 101 103 109 110 117 118 120 122 123 126 128 136
a 21 24 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 77 78 86 87 93 98 100 101 103 109 110 117 118 120 122 123 126 128 136
a 19 21 24 28 33 35 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 77 78 86 87 93 98 100 101 103 109 110 117 118 120 122 123 126 128 136
a 19 24 28 33 35 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 93 98 100 101 103 109 110 117 118 120 122 123 126 128 136
a 19 24 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 93 98 100 101 103 109 110 117 118 122 123 126 128 136
a 19 24 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 93 98 100 101 103 109 110 117 118 120 122 126 128 136
a 19 24 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 103 109 110 117 118 120 122 126 128 136
a 19 24 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 118 122 126 128 136
a 24 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 118 120 122 126 128 136
a 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 126 128 136
a 18 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 126 136
a 18 24 28 33 35 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 126 136
a 24 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 126 136
a 19 24 28 33 35 37 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 126 136
a 19 24 28 35 37 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 126 130 136
a 19 24 28 35 37 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 128 130 136
a 19 21 24 28 35 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 128 130 136
a 18 19 21 24 28 35 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 98 100 101 103 109 110 117 118 120 122 123 128 130 136
a 18 19 24 28 35 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 98 100 101 103 109 110 117 118 120 122 123 128 130 136
a 19 24 28 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 98 100 101 103 109 110 117 118 120 122 123 128 130 136
a 19 24 28 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 120 122 123 128 130 136
a 24 28 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 120 122 123 126 128 130 136
a 24 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 120 122 123 128 130 136
a 19 24 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 120 122 123 128 136
a 19 24 28 33 35 37 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 128 136
a 24 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 128 136
a 24 28 33 35 37 38 42 43 44 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 126 128
a 24 28 33 35 37 38 42 43 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 80 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 126 128
a 18 24 28 33 35 37 38 42 43 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 78 80 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 126 128
a 18 24 28 33 35 37 38 42 43 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 80 86 87 91 93 98 101 103 109 110 117 118 120 122 123 126 128
a 18 21 24 28 33 35 37 38 42 43 46 47 48 52 53 56 60 62 64 65 66 67 68 72 73 75 76 77 78 80 86 87 91 93 98 101 103 109 110 117 118 120 122 123 128
a 18 21 24 28 33 34 35 37 38 42 43 46 47 48 52 53 60 62 64 65 66 67 68 72 73 75 76 77 78 80 86 87 91 93 98 101 103 109 110 117 118 120 122 123 128
a 18 21 28 33 34 35 37 38 42 43 46 47 48 52 53 60 62 64 65 66 67 68 72 73 75 76 77 78 80 85 86 87 91 93 98 101 103 109 110 117 118 120 122 123 128
a 18 21 28 33 34 35 37 38 42 43 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 78 80 85 86 87 91 93 98 101 103 109 110 117 118 120 123 128
a 18 21 28 33 34 35 37 38 42 43 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 78 80 85 86 87 91 93 98 100 101 103 109 110 118 120 123 128
a 18 21 28 32 33 34 35 37 38 42 43 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 76 77 78 80 85 86 87 91 93 98 100 101 103 109 110 118 120 123 128
a 18 21 28 32 33 34 35 37 38 42 43 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 76 77 78 80 85 86 87 91 93 98 100 101 103 109 110 118 120 126 128
a 21 28 32 33 34 35 37 38 42 43 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 76 77 78 80 85 86 87 91 93 98 100 101 103 109 110 117 118 120 126 128
a 21 28 32 33 34 35 37 38 42 43 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 76 77 78 80 85 86 87 91 93 98 100 101 103 109 110 117 118 120 122 126
a 21 28 32 33 34 35 37 38 42 43 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 76 77 78 80 85 86 87 91 93 98 100 101 103 110 117 118 120 122 123 126
a 4 21 28 32 33 34 35 37 38 42 43 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 76 77 78 80 85 86 87 91 93 98 100 101 103 110 117 118 120 122 123
a 4 21 28 32 33 34 35 37 38 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 76 77 78 85 86 87 91 93 98 100 101 103 110 117 118 120 122 123
a 4 21 28 32 33 34 35 37 38 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 76 77 78 85 86 87 91 93 98 100 101 103 109 110 117 118 122 123
a 4 21 28 32 33 34 35 37 38 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 76 77 78 85 86 87 91 93 98 100 101 103 109 110 117 118 123 128
a 4 21 28 32 33 34 35 37 38 42 43 44 46 48 52 53 60 62 64 65 66 67 68 70 72 73 76 77 78 85 86 87 91 93 98 100 101 103 109 110 117 118 122 123 128
a 4 12 21 28 32 33 34 35 37 38 42 43 44 46 48 52 53 60 62 64 65 66 68 70 72 73 76 77 78 85 86 87 91 93 98 100 101 103 109 110 117 118 122 123 128
a 4 12 19 21 28 33 34 35 37 38 42 43 44 46 48 52 53 60 62 64 65 66 68 70 72 73 76 77 78 85 86 87 91 93 98 100 101 103 109 110 117 118 122 123 128
a 4 12 21 28 33 34 35 37 38 42 43 44 46 48 52 53 60 62 64 65 66 68 70 72 73 76 77 78 85 86 87 91 93 98 100 101 103 109 110 117 118 122 123 126 128
a 12 21 28 33 34 35 37 38 42 43 44 46 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 78 85 86 87 91 93 98 100 101 103 109 110 117 118 122 123 126 128
a 12 21 28 33 34 35 37 38 42 43 44 46 48 52 53 60 62 64 65 66 68 70 72 73 76 77 78 85 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 126 128
a 12 21 28 33 34 35 37 38 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 76 77 78 85 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 126
a 12 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 76 77 85 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 126
a 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 76 77 85 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 126 128
a 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 109 110 117 120 122 123 126 128
a 19 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 110 117 120 122 123 126 128
a 18 19 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 110 120 122 123 126 128
a 18 19 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 109 110 120 122 123 128
a 18 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 109 110 117 120 122 123 128
a 18 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 62 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 128
a 18 19 21 28 33 34 35 37 38 40 42 44 46 47 48 52 53 62 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 128
a 18 19 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123 128
a 18 19 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 62 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123
a 18 19 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 109 110 117 120 122 123
a 18 19 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 109 110 117 118 120 122
a 18 19 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 110 117 118 120 122 123
a 18 19 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 85 86 87 93 98 100 101 103 109 110 117 118 120 122 123
a 18 19 21 28 33 34 35 37 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123
a 18 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123
a 12 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 109 110 117 118 120 122 123
a 12 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 109 110 117 118 120 122
a 18 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 85 86 87 91 93 98 100 101 103 109 110 117 118 120 122
a 18 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122
a 12 18 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 118 120 122
a 12 18 19 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 118 120
a 12 18 19 21 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 118 120 122
a 12 18 19 21 28 29 33 34 35 37 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 118 120 122
a 12 18 19 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 118 120 122
a 1 12 18 19 21 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 118 120 122
a 1 12 19 21 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122
a 1 12 19 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 122
a 1 12 19 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 68 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122
a 1 12 19 21 28 29 33 34 35 37 38 40 43 44 46 47 48 52 53 60 62 64 65 68 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122 133
a 1 12 18 21 28 29 33 34 35 37 38 40 43 44 46 47 48 52 53 60 62 64 65 68 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122 133
a 12 18 19 21 28 29 33 34 35 37 38 40 43 44 46 47 48 52 53 60 62 64 65 68 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122 133
a 12 18 19 21 29 33 34 35 37 38 40 43 44 46 47 48 52 53 60 62 64 65 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122 133
a 12 18 19 21 28 29 33 34 35 37 38 40 43 44 46 47 48 52 53 60 62 64 65 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122 133
a 12 18 21 28 29 33 34 35 37 38 40 43 44 46 47 48 52 53 60 62 64 65 66 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122 133
a 12 18 19 28 29 33 34 35 37 38 40 43 44 46 47 48 52 53 60 62 64 65 66 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122 133
a 12 18 19 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122
a 12 18 19 28 29 33 34 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122
a 18 19 21 28 29 33 34 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122
a 18 19 21 28 29 33 34 35 37 38 40 42 43 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122
a 18 19 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 110 118 120 122
a 18 19 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 118 120 122
a 18 19 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122
a 18 19 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 122
a 19 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122
a 1 19 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120
a 1 18 19 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118
a 1 18 19 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120
a 1 18 19 28 29 33 34 35 37 38 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 123
a 18 19 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 123
a 18 19 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122
a 19 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122
a 19 21 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122
a 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120 122
a 18 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 120
a 18 19 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118
a 18 19 21 28 29 33 34 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 85 86 87 91 93 98 100 101 103 109 110 118 122
a 18 19 21 28 29 33 34 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 85 87 91 93 98 100 101 103 109 110 118 122 123
a 18 19 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 85 87 91 93 98 100 101 103 109 110 118 122
a 7 18 19 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 85 87 91 93 98 100 103 109 110 118 122
a 7 18 19 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 85 87 91 93 98 100 101 103 109 110 122
a 7 18 19 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 62 64 65 66 67 68 70 72 73 75 76 77 83 85 87 91 93 98 100 101 103 109 110 120 122
a 7 18 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 85 87 91 93 98 100 101 103 109 110 120 122
a 7 18 21 28 29 33 34 35 37 38 40 42 43 44 46 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 85 87 91 93 98 100 101 103 109 110 118 120 122
a 7 18 21 28 29 33 34 35 37 38 40 42 43 44 46 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 84 85 87 91 93 98 100 101 103 109 110 118 120
a 7 18 21 28 29 33 34 35 37 38 40 42 43 44 46 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 84 85 86 87 91 98 100 101 103 109 110 118 120
a 18 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 84 85 86 87 91 98 100 101 103 109 110 118 120
a 18 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 84 85 86 87 91 93 98 100 101 103 109 110 120
a 18 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 84 85 86 87 91 93 98 100 101 103 109 110 118 120
a 18 21 28 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 76 77 83 84 85 86 87 91 93 98 100 101 103 109 110 118 120
a 18 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 77 83 84 85 86 87 91 93 98 100 101 103 109 110 118 120
a 18 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 77 81 83 84 85 86 87 91 93 98 100 101 103 109 110 120
a 18 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 77 81 83 84 85 86 87 91 93 98 100 101 103 109 110 123
a 18 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 77 81 83 84 86 87 91 93 98 100 101 103 109 110 121 123
a 18 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 77 81 83 84 86 87 91 93 98 100 101 103 109 110 120 123
a 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 77 81 83 84 86 87 91 93 98 100 101 103 109 110 120 123 128
a 21 28 29 33 34 35 37 38 40 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 77 81 83 84 86 87 91 93 98 100 101 103 109 110 120 122 123 128
a 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 77 81 83 84 86 87 91 93 98 100 101 103 109 110 122 123 128
a 10 21 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 77 81 83 84 86 91 93 98 100 101 103 109 110 122 123 128
a 10 28 29 33 34 35 37 38 40 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 77 81 83 84 86 91 93 98 100 101 103 109 110 122 123 126 128
a 10 21 28 29 33 34 35 37 38 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 77 81 83 84 86 91 93 98 100 101 103 109 110 122 123 126 128
a 8 10 21 29 33 34 35 37 38 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 77 81 83 84 86 91 93 98 100 101 103 109 110 122 123 126 128
a 8 10 18 21 29 33 34 35 37 38 42 43 44 46 47 48 52 53 60 62 64 65 66 67 68 70 72 73 75 77 81 83 84 86 91 93 98 100 101 103 109 110 122 123 126
a 8 10 18 21 29 33 34 35 37 38 42 43 44 46 47 48 52 53 60 62 64 65 67 68 70 72 73 75 77 81 83 84 86 91 93 98 100 101 103 109 110 122 123 126 130
a 7 8 10 18 21 29 33 34 35 37 38 42 43 44 46 47 48 52 53 60 62 64 65 67 68 70 72 73 75 77 81 83 84 86 91 93 98 100 101 103 109 110 123 126 130
a 7 8 10 18 21 29 33 34 35 37 38 42 43 44 46 47 48 52 53 60 62 64 65 67 68 70 72 73 74 75 77 81 83 84 86 93 98 100 101 103 109 110 123 126 130
a 7 8 10 12 18 21 29 33 34 35 37 38 42 43 44 46 47 48 52 53 60 62 64 65 68 70 72 73 74 75 77 81 83 84 86 93 98 100 101 103 109 110 123 126 130
a 7 8 10 12 16 18 21 29 33 34 35 37 38 42 43 44 46 47 48 52 53 60 62 64 65 68 72 73 74 75 77 81 83 84 86 93 98 100 101 103 109 110 123 126 130
a 7 8 10 12 16 18 21 24 33 34 35 37 38 42 43 44 46 47 48 52 53 60 62 64 65 68 72 73 74 75 77 81 83 84 86 93 98 100 101 103 109 110 123 126 130
a 7 8 10 12 16 18 21 24 33 34 35 37 38 42 43 44 46 47 48 52 53 60 62 64 65 68 72 73 74 75 77 81 83 84 86 93 98 100 103 109 110 123 126 130 143
a 7 8 10 12 16 18 21 24 33 34 35 37 38 42 43 44 46 47 48 52 53 60 62 64 65 68 72 73 74 75 77 83 84 86 93 98 100 103 109 110 123 126 130 135 143
a 7 8 10 12 16 18 21 23 24 33 34 35 37 38 42 44 46 47 48 52 53 60 62 64 65 68 72 73 74 75 77 83 84 86 93 98 100 103 109 110 123 126 130 135 143
a 7 8 10 12 16 18 21 23 24 25 33 34 35 37 38 42 44 46 47 48 52 53 60 64 65 68 72 73 74 75 77 83 84 86 93 98 100 103 109 110 123 126 130 135 143
a 6 7 8 10 12 16 18 21 23 24 25 33 34 35 37 38 42 44 46 47 48 52 53 60 64 65 68 72 73 74 75 77 83 86 93 98 100 103 109 110 123 126 130 135 143
a 6 7 8 10 12 16 18 21 23 24 25 33 34 35 37 38 42 44 46 47 48 52 53 60 64 65 68 72 73 74 75 77 86 90 93 98 100 103 109 110 123 126 130 135 143
a 6 7 8 10 12 16 18 21 23 24 25 33 34 35 37 38 42 46 47 48 52 53 60 64 65 68 72 73 74 75 77 86 90 93 98 100 103 109 110 117 123 126 130 135 143
a 6 7 8 10 12 16 18 21 23 24 25 34 35 37 38 42 46 47 48 52 53 60 64 65 68 72 73 74 75 77 80 86 90 93 98 100 103 109 110 117 123 126 130 135 143
a 6 7 8 10 11 12 16 18 21 23 24 25 34 35 37 38 46 47 48 52 53 60 64 65 68 72 73 74 75 77 80 86 90 93 98 100 103 109 110 117 123 126 130 135 143
a 6 7 8 10 11 12 16 18 21 23 24 25 35 37 38 46 47 48 52 53 58 60 64 65 68 72 73 74 75 77 80 86 90 93 98 100 103 109 110 117 123 126 130 135 143
a 6 7 8 10 11 12 16 18 21 23 24 25 35 37 38 46 47 48 52 53 57 58 60 65 68 72 73 74 75 77 80 86 90 93 98 100 103 109 110 117 123 126 130 135 143
a 6 7 8 10 11 12 16 18 21 23 24 25 35 37 38 45 46 47 48 52 53 57 58 60 65 68 72 73 74 75 77 80 86 90 93 98 100 109 110 117 123 126 130 135 143
a 6 7 8 10 11 12 16 18 21 23 24 25 35 37 38 45 46 47 48 52 53 57 58 60 65 68 72 73 74 75 77 80 90 93 98 100 109 110 117 123 126 130 132 135 143
a 6 7 8 10 11 12 16 18 21 23 24 25 35 37 38 45 46 47 48 53 57 58 60 61 65 68 72 73 74 75 77 80 90 93 98 100 109 110 117 123 126 130 132 135 143
a 6 7 8 10 11 12 14 16 18 21 23 24 25 35 37 38 45 46 47 48 53 57 58 60 61 65 68 72 73 74 75 77 80 90 98 100 109 110 117 123 126 130 132 135 143
a 6 7 8 10 11 12 14 16 18 21 23 24 25 35 37 45 46 47 48 50 53 57 58 60 61 65 68 72 73 74 75 77 80 90 98 100 109 110 117 123 126 130 132 135 143
a 6 7 8 10 11 12 14 16 18 21 23 24 25 35 37 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
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: 236
#END: [Mon Sep  4 17:11:13 2023]