#BEGIN: [Tue Sep 26 07:40:26 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance011_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance011_graph005_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_graph005.col /benchmark/random_instance/random_instance011_graph005_01.dat
c /benchmark/random_instance/random_instance011_graph005.col
c /benchmark/random_instance/random_instance011_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID a1c01bc37f503e42621fe5228189319b19fa2acd2b9a4d1da3fff520412a0841
s 18 70 51 83 2 72 50 81 62 107 101 9 108 132 20 54 21 63 142 98 32 139 134 138 15 73 4 97 38 122 60 118 69 67 77 137 3 127 33 105 30 115 130 112 12 17 35 141
t 95 103 120 66 10 102 79 58 18 4 138 115 77 6 31 61 80 73 111 81 134 76 28 92 1 130 59 90 119 126 85 143 74 127 69 128 52 49 27 89 26 123 135 86 97 104 34 63
a YES
a 2 3 4 9 12 15 17 18 20 21 30 32 33 35 38 50 51 54 60 62 63 67 69 70 72 73 77 81 83 97 98 101 105 107 108 112 115 118 122 127 130 132 134 137 138 139 141 142
a 2 4 9 12 15 17 18 20 21 30 32 33 35 37 38 50 51 54 60 62 63 67 69 70 72 73 77 81 83 97 98 101 105 107 108 112 115 118 122 127 130 132 134 137 138 139 141 142
a 2 4 5 9 12 15 17 18 20 21 30 32 33 35 37 38 50 51 54 60 62 63 67 69 70 72 73 77 83 97 98 101 105 107 108 112 115 118 122 127 130 132 134 137 138 139 141 142
a 2 4 5 9 12 15 17 18 20 21 30 32 33 35 37 38 50 54 60 62 63 67 69 70 72 73 77 83 84 97 98 101 105 107 108 112 115 118 122 127 130 132 134 137 138 139 141 142
a 2 4 5 9 12 15 17 18 20 21 30 32 33 35 37 38 50 54 60 62 63 67 69 70 72 73 83 84 97 98 101 102 105 107 108 112 115 118 122 127 130 132 134 137 138 139 141 142
a 2 4 9 12 15 17 18 20 21 30 32 33 35 37 38 50 54 60 62 63 67 69 70 72 73 81 83 84 97 98 101 102 105 107 108 112 115 118 122 127 130 132 134 137 138 139 141 142
a 2 4 9 12 15 17 18 19 20 21 30 32 33 35 37 38 50 54 60 62 63 67 69 70 72 73 81 83 84 97 98 101 102 105 107 108 112 115 118 122 127 130 132 134 137 139 141 142
a 2 4 9 12 15 17 18 19 20 21 30 32 33 35 36 37 38 50 54 60 62 63 67 69 70 72 73 83 84 97 98 101 102 105 107 108 112 115 118 122 127 130 132 134 137 139 141 142
a 2 4 7 9 12 15 17 18 19 20 21 30 32 35 36 37 38 50 54 60 62 63 67 69 70 72 73 83 84 97 98 101 102 105 107 108 112 115 118 122 127 130 132 134 137 139 141 142
a 2 4 7 9 12 15 17 18 19 20 21 30 32 35 36 37 38 50 54 60 62 63 67 69 70 72 73 82 83 84 97 98 101 102 105 107 108 112 115 118 122 127 132 134 137 139 141 142
a 2 4 7 9 12 15 17 18 19 20 21 30 32 35 36 37 38 50 54 60 62 63 67 69 70 72 73 77 82 83 84 97 98 101 102 105 107 108 112 115 118 122 127 132 134 137 139 142
a 2 4 7 9 12 15 17 19 20 21 30 32 35 36 37 38 50 54 60 62 63 67 69 70 71 72 73 77 82 83 84 97 98 101 102 105 107 108 112 115 118 122 127 132 134 137 139 142
a 2 4 7 9 12 15 17 19 20 21 30 31 32 35 36 37 38 50 54 60 62 63 67 69 70 71 72 73 77 82 83 84 97 98 102 105 107 108 112 115 118 122 127 132 134 137 139 142
a 2 4 7 9 12 15 17 19 20 21 30 31 32 35 37 38 50 54 60 62 63 67 69 70 71 72 73 77 81 82 83 84 97 98 102 105 107 108 112 115 118 122 127 132 134 137 139 142
a 2 4 7 9 12 15 17 19 20 21 30 32 35 37 38 50 54 60 62 63 67 69 70 71 72 73 77 81 82 83 84 97 98 101 102 105 107 108 112 115 118 122 127 132 134 137 139 142
a 2 4 9 12 15 17 19 20 21 30 32 35 37 38 50 54 60 62 63 67 69 70 71 72 73 77 81 82 83 84 97 98 101 102 105 107 108 112 115 118 122 127 132 134 137 139 141 142
a 2 4 9 12 15 17 19 20 21 30 32 35 36 37 38 50 54 60 62 63 67 69 70 71 72 73 77 82 83 84 97 98 101 102 105 107 108 112 115 118 122 127 132 134 137 139 141 142
a 2 4 9 12 15 17 19 20 21 30 32 33 35 36 37 38 50 54 60 62 63 69 70 71 72 73 77 82 83 84 97 98 101 102 105 107 108 112 115 118 122 127 132 134 137 139 141 142
a 2 4 9 12 15 17 19 20 21 30 32 33 35 36 37 38 50 54 60 62 63 67 69 70 72 73 77 82 83 84 97 98 101 102 105 107 108 112 115 118 122 127 132 134 137 139 141 142
a 2 4 9 12 15 17 19 20 21 30 32 33 35 37 38 50 54 60 62 63 67 69 70 72 73 77 81 82 83 84 97 98 101 102 105 107 108 112 115 118 122 127 132 134 137 139 141 142
a 2 4 9 12 15 17 18 19 20 21 30 32 33 35 37 38 50 54 60 62 63 67 69 70 72 73 77 81 82 83 84 98 101 102 105 107 108 112 115 118 122 127 132 134 137 139 141 142
a 2 4 9 12 15 17 18 19 20 21 30 32 33 35 37 38 50 53 54 60 62 63 67 69 70 73 77 81 82 83 84 98 101 102 105 107 108 112 115 118 122 127 132 134 137 139 141 142
a 2 4 9 12 15 17 18 20 21 30 32 33 35 37 38 50 53 54 60 62 63 67 69 70 72 73 77 81 82 83 84 98 101 102 105 107 108 112 115 118 122 127 132 134 137 139 141 142
a 2 4 9 12 15 17 18 20 21 30 32 33 35 37 38 50 53 54 60 62 63 67 69 72 73 77 81 82 83 84 98 101 102 105 107 108 109 112 115 118 122 127 132 134 137 139 141 142
a 2 4 9 12 15 17 18 20 21 30 32 33 35 37 50 53 54 60 62 63 67 69 72 73 77 81 82 83 84 95 98 101 102 105 107 108 109 112 115 118 122 127 132 134 137 139 141 142
a 2 4 9 12 15 17 18 20 21 30 32 33 35 37 50 53 54 60 62 63 67 69 72 73 77 81 82 83 84 95 98 101 102 105 107 108 111 112 115 118 122 127 132 134 137 139 141 142
a 2 4 9 12 15 17 18 20 21 25 30 32 33 35 37 50 53 54 60 62 63 67 69 72 73 77 81 82 83 84 95 98 101 102 105 107 108 111 112 115 118 122 132 134 137 139 141 142
a 2 4 9 12 15 17 18 20 21 25 30 32 33 35 37 40 50 53 54 60 62 67 69 72 73 77 81 82 83 84 95 98 101 102 105 107 108 111 112 115 118 122 132 134 137 139 141 142
a 2 4 9 12 15 17 18 20 21 25 30 32 33 35 37 40 50 53 54 60 62 69 72 73 77 81 82 83 84 95 98 101 102 105 106 107 108 111 112 115 118 122 132 134 137 139 141 142
a 2 4 9 12 15 17 18 20 21 25 30 32 33 35 37 40 50 54 60 62 69 72 73 77 81 82 83 84 95 97 98 101 102 105 106 107 108 111 112 115 118 122 132 134 137 139 141 142
a 2 4 9 12 15 17 18 20 21 25 30 32 33 35 37 40 50 54 60 62 69 72 73 77 81 83 84 95 97 98 101 102 105 106 107 108 111 112 115 118 122 130 132 134 137 139 141 142
a 2 4 9 12 15 17 18 20 21 30 32 33 35 37 40 50 54 60 62 69 72 73 77 81 83 84 95 97 98 101 102 105 106 107 108 109 111 112 115 118 122 130 132 134 137 139 141 142
a 2 4 9 12 15 17 18 20 21 30 32 33 35 37 40 50 54 60 62 67 69 72 73 77 81 83 84 95 97 98 101 102 105 107 108 109 111 112 115 118 122 130 132 134 137 139 141 142
a 2 4 9 12 15 17 18 20 21 30 32 33 35 37 50 54 60 62 67 69 72 73 77 81 83 84 95 97 98 101 102 105 107 108 109 111 112 115 118 122 127 130 132 134 137 139 141 142
a 2 4 5 9 12 15 17 18 20 21 30 32 33 35 37 50 54 60 62 67 69 72 73 77 83 84 95 97 98 101 102 105 107 108 109 111 112 115 118 122 127 130 132 134 137 139 141 142
a 2 4 5 9 12 15 17 18 20 21 30 32 33 35 36 37 50 54 60 62 67 69 72 73 77 83 84 95 97 98 101 102 105 107 108 109 112 115 118 122 127 130 132 134 137 139 141 142
a 2 4 5 9 12 15 17 18 20 21 30 32 33 35 36 37 50 54 60 62 67 72 73 77 83 84 95 97 98 101 102 105 107 108 109 112 115 118 122 124 127 130 132 134 137 139 141 142
a 2 4 5 9 12 15 17 18 20 21 30 32 33 35 36 50 54 59 60 62 67 72 73 77 83 84 95 97 98 101 102 105 107 108 109 112 115 118 122 124 127 130 132 134 137 139 141 142
a 2 4 5 9 12 15 17 18 20 21 30 32 33 35 36 37 50 54 59 60 62 67 72 73 77 83 84 95 97 98 101 102 105 107 108 109 112 115 118 122 124 127 132 134 137 139 141 142
a 2 4 5 9 12 15 17 18 19 20 21 30 32 33 35 36 37 50 54 59 60 62 67 72 73 77 83 84 95 97 98 101 102 105 107 108 109 112 115 118 122 127 132 134 137 139 141 142
a 2 4 5 9 12 15 17 18 19 20 21 30 32 33 35 36 37 50 59 60 62 63 67 72 73 77 83 84 95 97 98 101 102 105 107 108 109 112 115 118 122 127 132 134 137 139 141 142
a 2 4 5 9 12 15 17 18 19 20 21 30 32 33 35 36 37 50 54 59 60 62 63 72 73 77 83 84 95 97 98 101 102 105 107 108 109 112 115 118 122 127 132 134 137 139 141 142
a 2 4 5 9 12 15 17 18 19 20 21 30 32 33 35 36 37 50 54 59 60 62 63 67 72 73 77 83 84 95 97 98 101 102 105 107 108 109 115 118 122 127 132 134 137 139 141 142
a 2 4 5 9 12 15 17 18 19 20 21 30 32 33 35 36 37 50 54 59 60 62 63 65 67 72 73 77 83 84 95 97 98 102 105 107 108 109 115 118 122 127 132 134 137 139 141 142
a 2 4 5 9 12 15 17 18 19 20 21 30 32 33 35 36 37 50 54 59 60 62 63 65 67 72 73 77 83 84 95 97 98 102 105 107 108 109 118 122 127 130 132 134 137 139 141 142
a 2 4 5 9 12 15 17 18 19 20 21 32 33 35 36 37 50 54 59 60 62 63 65 67 72 73 77 83 84 95 97 98 102 105 107 108 109 118 122 123 127 130 132 134 137 139 141 142
a 2 4 5 9 12 15 17 18 19 20 21 32 33 35 36 37 50 54 59 60 62 63 65 67 72 73 77 83 84 95 97 98 102 105 107 108 109 118 122 123 124 127 130 132 134 137 139 141
a 2 4 5 9 12 15 17 18 19 20 21 32 33 35 36 37 50 54 59 60 62 63 65 67 72 73 77 82 83 84 95 97 98 102 105 107 108 109 118 122 123 124 127 132 134 137 139 141
a 2 4 5 9 12 15 17 18 19 20 21 32 33 35 36 37 50 54 59 60 62 63 65 67 72 73 77 82 84 95 97 98 102 105 107 108 109 112 118 122 123 124 127 132 134 137 139 141
a 2 4 5 9 12 15 17 18 19 20 21 32 33 35 36 37 50 54 59 60 62 63 65 67 72 73 77 82 83 84 95 97 98 102 105 107 108 109 112 118 122 124 127 132 134 137 139 141
a 2 4 5 9 12 15 17 18 19 20 21 32 33 35 36 37 50 54 59 60 62 63 67 72 73 77 82 83 84 95 97 98 101 102 105 107 108 109 112 118 122 124 127 132 134 137 139 141
a 2 5 9 12 15 17 18 19 20 21 30 32 33 35 36 37 50 54 59 60 62 63 67 72 73 77 82 83 84 95 97 98 101 102 105 107 108 109 112 118 122 124 127 132 134 137 139 141
a 2 5 9 12 15 17 18 19 20 21 30 32 33 35 36 37 50 54 59 60 62 63 67 72 73 77 82 83 84 95 97 98 101 102 105 107 108 109 112 115 118 122 124 127 132 134 137 141
a 2 5 12 15 17 18 19 20 21 30 32 33 35 36 37 50 54 59 60 62 63 67 72 73 77 82 83 84 95 97 98 101 102 105 107 108 109 112 115 118 122 124 127 132 134 137 139 141
a 2 5 9 12 15 17 18 19 20 21 30 32 33 35 36 37 50 54 59 60 62 63 67 72 73 77 82 83 84 95 97 98 102 105 107 108 109 112 115 118 122 124 127 132 134 137 139 141
a 2 5 9 12 15 17 18 19 20 21 30 32 33 35 36 37 50 54 59 60 62 63 67 72 73 77 82 83 84 95 97 98 102 105 107 108 109 112 115 118 122 124 127 132 137 139 141 142
a 2 5 9 12 15 17 18 19 20 21 30 32 33 35 36 37 50 54 59 60 62 63 67 72 73 77 82 83 84 95 97 98 102 105 107 108 109 112 115 118 122 124 127 132 134 137 139 142
a 2 5 9 12 15 17 18 19 20 21 24 30 32 33 35 36 37 50 54 59 60 62 63 67 72 73 77 82 83 84 95 97 98 102 105 107 108 112 115 118 122 124 127 132 134 137 139 142
a 2 5 9 12 15 17 18 19 20 21 24 30 32 33 35 36 37 50 54 59 60 62 63 67 72 73 77 82 83 84 95 97 98 105 107 108 112 115 118 122 124 127 132 134 137 139 141 142
a 2 5 9 12 15 17 18 19 20 21 24 30 32 33 35 36 37 50 54 59 60 62 63 72 73 77 82 83 84 87 95 97 98 105 107 108 112 115 118 122 124 127 132 134 137 139 141 142
a 2 5 9 12 15 17 18 19 20 21 24 30 32 33 35 36 37 50 54 59 60 62 72 73 77 82 83 84 87 95 97 98 102 105 107 108 112 115 118 122 124 127 132 134 137 139 141 142
a 2 5 9 12 15 17 18 19 20 21 24 30 32 33 35 36 37 50 54 59 60 62 72 73 77 83 84 87 95 97 98 101 102 105 107 108 112 115 118 122 124 127 132 134 137 139 141 142
a 2 5 9 12 15 17 18 19 20 21 24 30 32 33 35 36 50 54 59 60 62 72 73 77 83 84 87 95 97 98 101 102 105 106 107 108 112 115 118 122 124 127 132 134 137 139 141 142
a 2 5 9 12 15 17 18 20 21 24 30 32 33 35 36 40 50 54 59 60 62 72 73 77 83 84 87 95 97 98 101 102 105 106 107 108 112 115 118 122 124 127 132 134 137 139 141 142
a 2 5 9 12 15 17 18 20 21 24 30 32 33 35 36 40 50 54 59 62 72 73 77 83 84 87 95 97 98 101 102 105 106 107 108 112 115 118 122 124 127 130 132 134 137 139 141 142
a 2 5 9 12 15 17 18 20 21 24 30 32 33 35 36 40 50 54 59 60 62 72 73 77 83 84 87 95 97 98 101 102 106 107 108 112 115 118 122 124 127 130 132 134 137 139 141 142
a 5 9 12 15 17 18 20 21 24 30 32 33 35 36 40 50 54 59 60 62 72 73 77 83 84 87 95 97 98 101 102 105 106 107 108 112 115 118 122 124 127 130 132 134 137 139 141 142
a 5 12 15 17 18 20 21 24 30 32 33 35 36 37 40 50 54 59 60 62 72 73 77 83 84 87 95 97 98 101 102 105 106 107 108 112 115 118 122 124 127 130 132 134 137 139 141 142
a 5 9 12 15 17 18 20 21 24 30 32 33 35 36 37 40 50 54 59 60 62 72 73 77 83 84 87 95 97 98 101 102 105 106 107 108 115 118 122 124 127 130 132 134 137 139 141 142
a 2 5 9 12 15 18 20 21 24 30 32 33 35 36 37 40 50 54 59 60 62 72 73 77 83 84 87 95 97 98 101 102 105 106 107 108 115 118 122 124 127 130 132 134 137 139 141 142
a 2 5 9 12 15 17 18 20 21 24 30 32 33 35 37 40 50 54 59 60 62 72 73 77 83 84 87 95 97 98 101 102 105 106 107 108 115 118 122 124 127 130 132 134 137 139 141 142
a 2 5 12 15 17 18 20 21 24 30 32 33 35 37 40 50 54 59 60 62 72 73 77 83 84 87 95 97 98 101 102 105 106 107 108 112 115 118 122 124 127 130 132 134 137 139 141 142
a 2 5 12 15 17 18 20 21 24 30 32 33 35 37 40 50 54 59 60 62 72 73 77 83 84 87 95 97 98 101 102 103 105 106 107 108 112 115 118 124 127 130 132 134 137 139 141 142
a 2 5 9 12 15 17 18 20 21 24 30 32 33 35 37 40 50 54 59 60 62 72 73 77 83 84 87 95 97 98 101 102 103 105 106 107 108 112 115 118 124 127 130 132 134 137 139 141
a 2 5 9 12 17 18 20 21 24 30 32 33 35 37 40 50 54 59 60 62 72 73 77 83 84 87 95 97 98 101 102 103 105 106 107 108 112 115 118 124 127 130 132 134 137 139 141 142
a 2 4 5 9 12 17 18 20 21 24 30 32 33 35 37 40 50 54 59 60 62 72 73 83 84 87 95 97 98 101 102 103 105 106 107 108 112 115 118 124 127 130 132 134 137 139 141 142
a 2 4 5 12 15 17 18 20 21 24 30 32 33 35 37 40 50 54 59 60 62 72 73 83 84 87 95 97 98 101 102 103 105 106 107 108 112 115 118 124 127 130 132 134 137 139 141 142
a 2 4 5 9 12 15 17 18 20 21 24 32 33 35 37 40 50 54 59 60 62 72 73 83 84 87 95 97 98 101 102 103 105 106 107 108 112 115 118 124 127 130 132 134 137 139 141 142
a 2 4 5 9 12 15 17 18 20 21 24 32 33 35 37 40 50 54 59 60 62 69 72 73 83 84 87 95 97 98 101 102 103 105 106 107 108 112 115 118 127 130 132 134 137 139 141 142
a 2 4 9 12 15 17 18 20 21 24 32 33 35 37 40 50 54 59 60 62 69 72 73 83 84 87 95 97 98 101 102 103 105 106 107 108 111 112 115 118 127 130 132 134 137 139 141 142
a 4 5 9 12 15 17 18 20 21 24 32 33 35 37 40 50 54 59 60 62 69 72 73 83 84 87 95 97 98 101 102 103 105 106 107 108 111 112 115 118 127 130 132 134 137 139 141 142
a 4 5 9 12 15 17 18 20 21 24 32 33 35 40 50 54 59 60 62 69 72 73 75 83 84 87 95 97 98 101 102 103 105 106 107 108 111 112 115 118 127 130 132 134 137 139 141 142
a 2 4 5 9 12 15 17 18 20 21 24 32 33 35 40 50 54 59 60 62 69 72 73 75 83 84 87 95 97 98 101 102 103 105 106 107 108 111 112 115 118 127 130 132 134 137 139 141
a 2 4 5 9 12 15 17 18 20 21 24 32 33 35 40 50 54 59 62 69 72 73 75 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 127 130 132 134 137 139 141
a 2 4 5 9 12 15 17 18 20 21 24 30 32 33 35 40 50 54 59 62 69 72 73 75 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 127 130 132 134 137 139
a 2 5 9 12 15 17 18 20 21 24 30 32 33 35 40 50 54 59 62 69 72 73 75 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 127 130 132 134 137 139 142
a 2 5 9 12 15 17 18 20 21 24 30 32 33 35 36 40 50 54 59 62 69 72 73 75 83 84 87 95 97 98 101 102 103 105 106 107 108 110 112 115 118 127 130 132 134 137 139 142
a 2 5 9 12 15 17 18 20 21 24 30 32 33 35 36 40 50 54 59 62 69 72 75 77 83 84 87 95 97 98 101 102 103 105 106 107 108 110 112 115 118 127 130 132 134 137 139 142
a 2 5 9 12 15 17 18 20 21 24 30 32 33 35 36 37 40 50 54 59 62 69 72 77 83 84 87 95 97 98 101 102 103 105 106 107 108 110 112 115 118 127 130 132 134 137 139 142
a 2 5 9 12 15 17 18 20 21 24 30 32 33 35 36 37 40 50 54 59 62 69 72 77 83 84 87 91 95 97 98 101 102 103 105 106 107 108 110 112 115 118 127 130 132 134 137 139
a 2 5 9 12 15 17 18 20 21 24 30 32 33 35 37 40 50 54 59 62 69 72 77 83 84 87 91 95 97 98 101 102 103 105 106 107 108 110 112 115 118 127 130 132 134 137 139 142
a 2 4 5 9 12 15 17 18 20 21 24 30 32 33 35 37 40 50 54 59 62 69 72 77 83 84 87 91 95 97 98 101 102 103 105 106 107 108 110 112 115 118 127 130 132 134 137 139
a 2 4 5 9 12 15 17 18 20 21 24 30 32 33 35 37 40 50 54 59 62 69 72 77 83 84 87 91 95 97 98 101 102 103 105 106 107 108 110 112 115 118 127 130 132 134 137 142
a 2 4 9 12 15 17 18 20 21 24 30 32 33 35 37 40 50 54 59 62 69 72 77 81 83 84 87 91 95 97 98 101 102 103 105 106 107 108 110 112 115 118 127 130 132 134 137 142
a 2 4 9 12 15 17 18 20 21 24 30 32 33 35 37 40 50 54 59 62 69 72 77 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 112 115 118 127 130 132 134 137 141 142
a 2 4 9 12 15 17 18 20 21 24 30 32 33 35 37 40 50 54 59 62 69 72 77 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 127 130 132 134 137 141
a 2 4 9 12 15 17 18 20 21 24 30 32 33 35 37 40 50 54 59 62 69 72 77 81 83 84 87 91 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 127 130 132 134 137
a 2 4 9 12 15 17 18 20 24 30 32 33 35 37 40 50 54 59 62 69 72 77 81 83 84 87 91 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 127 130 132 134 137 139
a 2 4 9 12 15 17 18 20 24 30 32 33 35 37 40 50 54 59 62 69 72 77 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 127 130 132 134 137 139 141
a 2 9 12 15 17 18 20 24 30 32 33 35 37 40 50 54 59 62 69 72 73 77 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 127 130 132 134 137 139 141
a 2 9 12 15 17 18 21 24 30 32 33 35 37 40 50 54 59 62 69 72 73 77 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 127 130 132 134 137 139 141
a 2 9 12 15 17 18 21 24 30 32 33 35 37 40 50 54 59 62 72 73 77 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 127 130 132 134 137 139 141
a 2 12 15 17 18 20 21 24 30 32 33 35 37 40 50 54 59 62 72 73 77 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 127 130 132 134 137 139 141
a 2 9 12 15 17 18 20 21 24 30 32 33 35 37 40 50 54 59 62 72 73 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 127 130 132 134 137 139 141
a 2 9 12 15 17 18 20 21 24 30 32 33 35 37 40 50 59 62 72 73 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 127 130 132 134 137 139 141 142
a 2 9 15 17 18 20 21 24 30 32 33 35 37 40 50 59 62 72 73 77 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 127 130 132 134 137 139 141 142
a 2 9 15 17 18 20 21 24 30 32 33 35 37 40 50 54 59 62 72 73 77 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 127 130 132 134 137 141 142
a 2 9 12 15 17 18 20 21 24 30 32 33 35 37 40 50 54 59 62 72 73 77 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 127 130 132 134 137 141
a 2 9 12 15 17 18 20 24 30 32 33 35 37 40 50 54 59 62 72 73 77 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 127 130 132 133 134 137 141
a 2 4 9 12 15 17 18 20 24 30 32 33 35 37 40 50 54 59 62 72 73 77 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 127 130 132 133 137 141
a 2 4 9 12 15 17 18 20 24 30 32 33 35 37 40 50 54 59 62 72 73 77 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 127 130 132 133 139 141
a 2 4 9 12 15 17 18 20 24 30 32 33 35 37 40 50 54 59 62 72 73 77 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 127 130 132 133 141 142
a 2 4 9 12 17 18 20 24 30 32 33 35 37 40 50 54 59 62 72 73 77 81 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 127 130 132 133 134 141 142
a 2 4 9 12 17 18 20 24 30 32 33 35 37 40 50 54 59 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 127 132 133 134 141 142
a 2 4 9 12 17 18 20 24 25 30 32 33 35 37 40 50 54 59 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 132 133 134 141 142
a 2 4 9 12 15 17 18 20 24 25 30 32 33 35 37 40 50 54 59 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 133 134 141 142
a 2 4 9 12 15 17 18 20 24 25 30 32 33 35 37 40 50 54 59 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 133 134 139 141
a 2 4 9 14 15 17 18 20 24 25 30 32 33 35 37 40 50 54 59 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 133 134 139 141
a 2 4 9 14 15 17 18 20 24 25 28 30 32 33 35 37 40 50 54 59 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 134 139 141
a 2 4 9 15 17 18 20 24 25 28 30 32 33 35 37 40 50 54 59 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 132 134 139 141
a 2 4 9 15 17 18 24 25 28 30 32 33 35 37 40 50 54 59 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 132 134 139 141 142
a 2 4 9 12 15 17 18 24 25 30 32 33 35 37 40 50 54 59 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 132 134 139 141 142
a 2 4 9 15 17 18 20 24 25 30 32 33 35 37 40 50 54 59 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 132 134 139 141 142
a 2 4 9 12 15 17 18 20 24 25 30 32 33 35 37 40 50 54 59 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 132 134 139 142
a 2 4 9 12 15 17 18 20 24 25 30 32 33 35 37 50 54 59 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 110 111 112 115 118 124 132 134 137 139 142
a 2 4 9 12 15 17 18 20 24 25 30 32 33 35 37 50 54 59 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 111 112 115 118 124 132 134 137 139 141 142
a 2 4 9 12 15 17 18 20 24 25 30 32 33 35 37 50 54 59 60 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 111 112 115 118 124 132 137 139 141 142
a 2 4 12 15 17 18 20 24 25 26 30 32 33 35 37 50 54 59 60 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 111 112 115 118 124 132 137 139 141 142
a 2 4 12 15 17 18 20 24 25 26 30 32 33 35 37 50 54 59 60 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 111 112 115 118 124 132 137 138 141 142
a 2 4 12 15 17 18 20 24 25 26 30 32 33 35 37 50 54 59 60 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 111 112 115 118 124 132 138 139 141 142
a 2 12 15 17 18 20 24 25 26 30 32 33 35 37 50 54 59 60 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 111 112 115 118 124 132 137 138 139 141 142
a 2 12 15 17 18 20 24 25 26 30 33 35 37 50 54 59 60 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 111 112 115 118 124 132 133 137 138 139 141 142
a 2 12 15 17 18 20 24 25 26 30 32 33 35 37 50 54 59 60 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 111 112 115 118 124 132 133 137 138 139 142
a 2 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 111 112 115 118 124 132 133 137 138 139 142
a 2 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 72 73 77 81 82 83 84 87 95 97 98 101 102 103 105 106 107 108 111 112 115 118 124 132 133 134 138 139 142
a 2 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 72 73 77 81 83 84 87 95 97 98 101 102 103 105 106 107 108 111 112 115 118 124 132 133 134 138 139 141 142
a 2 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 72 73 77 78 81 83 84 87 95 97 98 101 102 103 105 106 107 108 111 112 115 118 124 132 133 138 139 141 142
a 2 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 72 73 77 78 81 82 83 84 95 97 98 101 102 103 105 106 107 108 111 112 115 118 124 132 133 138 139 141 142
a 2 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 72 73 77 78 81 82 83 84 95 97 98 101 102 103 105 106 107 108 111 112 115 118 124 132 133 134 138 139 141
a 1 2 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 72 73 77 78 81 82 83 84 95 97 98 101 102 103 105 106 107 108 111 115 118 124 132 133 134 138 139 141
a 1 2 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 72 73 78 81 82 83 84 95 97 98 101 102 103 105 106 107 108 111 115 118 124 132 133 134 137 138 139 141
a 1 2 12 15 17 18 24 25 26 30 33 35 37 50 52 54 59 60 62 72 73 77 78 81 82 83 84 95 97 98 101 102 103 105 106 107 108 111 115 118 124 132 133 134 137 138 139 141
a 1 2 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 72 73 77 78 81 82 83 84 95 97 98 101 102 103 105 106 107 108 111 115 118 124 132 133 134 137 138 141
a 1 2 12 15 17 18 24 25 26 30 32 33 37 50 52 54 59 60 62 72 73 77 78 81 82 83 84 95 97 98 101 102 103 105 106 107 108 111 115 118 124 132 133 134 137 138 141 142
a 1 2 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 72 73 77 78 81 82 83 84 95 97 98 101 102 103 105 107 108 111 115 118 124 132 133 134 137 138 141 142
a 1 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 63 72 73 77 78 81 82 83 84 95 97 98 101 102 103 105 107 108 111 115 118 124 132 133 134 137 138 141 142
a 1 12 15 17 24 25 26 30 32 33 35 37 50 52 54 59 60 62 63 71 72 73 77 78 81 82 83 84 95 97 98 101 102 103 105 107 108 111 115 118 124 132 133 134 137 138 141 142
a 1 2 12 15 17 24 25 26 30 32 33 35 37 50 52 54 59 60 63 71 72 73 77 78 81 82 83 84 95 97 98 101 102 103 105 107 108 111 115 118 124 132 133 134 137 138 141 142
a 1 2 12 15 17 24 25 26 30 32 33 35 37 50 52 54 59 60 63 72 73 77 78 81 82 83 84 87 95 97 98 101 102 103 105 107 108 111 115 118 124 132 133 134 137 138 141 142
a 1 2 12 15 17 24 25 26 30 32 33 35 37 50 52 54 59 60 63 72 73 78 81 82 83 84 87 95 97 98 101 102 103 105 107 108 111 115 118 124 132 133 134 137 138 139 141 142
a 1 2 12 15 17 24 25 26 30 32 33 35 37 50 52 54 59 60 63 72 73 77 78 81 83 84 87 95 97 98 101 102 103 105 107 108 111 115 118 124 132 133 134 137 138 139 141 142
a 1 2 12 15 17 24 25 26 30 32 33 35 37 50 52 54 59 63 71 72 73 77 78 81 83 84 87 95 97 98 101 102 103 105 107 108 111 115 118 124 132 133 134 137 138 139 141 142
a 1 2 12 17 24 25 26 30 32 33 35 37 50 52 54 59 60 63 71 72 73 77 78 81 83 84 87 95 97 98 101 102 103 105 107 108 111 115 118 124 132 133 134 137 138 139 141 142
a 1 2 12 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 63 72 73 77 78 81 83 84 87 95 97 98 101 102 103 105 107 108 111 115 118 124 132 133 134 137 138 139 141 142
a 1 2 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 63 72 73 78 81 83 84 87 95 97 98 101 102 103 105 107 108 111 115 118 124 132 133 134 137 138 139 141 142
a 1 2 12 15 17 18 24 25 26 30 32 35 37 50 52 54 59 60 63 72 73 78 81 82 83 84 87 95 97 98 101 102 103 105 107 108 111 115 118 124 132 133 134 137 138 139 141 142
a 1 2 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 63 72 73 78 81 82 83 84 87 95 97 98 101 102 103 107 108 111 115 118 124 132 133 134 137 138 139 141 142
a 1 2 4 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 63 72 73 78 81 82 83 84 87 95 97 98 102 103 107 108 111 115 118 124 132 133 134 137 138 139 141 142
a 1 2 4 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 63 69 72 73 78 81 82 83 84 87 95 97 98 102 103 107 108 111 115 118 132 133 134 137 138 139 141 142
a 1 2 4 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 63 69 73 78 81 82 83 84 87 95 96 97 98 102 103 107 108 111 115 118 132 133 134 137 138 139 141 142
a 1 2 4 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 63 69 73 78 81 82 83 84 87 95 96 97 98 102 103 107 108 111 115 118 132 133 134 137 138 139 142
a 1 2 4 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 63 69 73 78 81 82 83 84 87 95 96 97 98 102 103 107 108 111 115 118 132 133 134 137 138 139 141
a 1 2 4 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 63 69 73 78 81 82 83 84 87 95 96 97 98 102 103 107 108 111 115 118 132 133 134 137 138 141 142
a 1 2 4 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 63 69 73 78 81 82 83 84 87 95 96 97 98 101 102 103 107 108 111 115 118 132 133 134 137 138 141
a 1 2 4 12 15 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 63 69 73 78 81 82 83 84 87 95 96 97 98 101 102 103 105 107 108 111 115 118 132 133 134 137 138 141
a 1 2 4 12 15 18 24 25 26 30 32 33 35 37 52 54 59 60 62 63 69 73 77 78 81 82 83 84 87 95 96 97 98 101 102 103 105 107 108 111 115 118 132 133 134 137 138 141
a 1 2 4 12 15 18 24 25 26 30 32 33 35 37 52 54 59 60 62 63 69 73 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 141
a 1 2 4 12 15 18 24 25 26 30 32 33 35 37 52 54 59 60 62 63 69 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 141 142
a 1 2 12 15 17 18 24 25 26 30 32 33 35 37 52 54 59 60 62 63 69 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 141 142
a 1 2 12 15 17 18 24 25 26 30 33 35 37 50 52 54 59 60 62 63 69 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 141 142
a 1 2 12 15 17 18 24 25 26 30 33 35 37 44 50 52 54 59 60 62 63 69 77 78 81 82 83 84 87 95 96 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 141 142
a 1 2 12 15 17 18 24 25 26 30 32 33 35 37 44 50 52 54 59 60 62 63 69 77 78 81 82 83 84 87 95 96 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 142
a 1 12 15 17 18 24 25 26 30 32 33 35 37 44 50 52 54 59 60 62 63 69 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 142
a 1 12 15 17 18 24 25 26 30 32 33 35 44 50 52 54 59 60 62 63 69 73 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 142
a 1 12 15 17 18 24 25 26 30 32 33 35 37 50 52 54 59 60 62 63 69 73 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 142
a 1 12 15 17 18 24 25 26 30 32 33 35 37 44 50 52 54 59 60 62 63 69 73 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138
a 1 12 15 17 18 25 26 30 32 33 35 37 44 50 52 54 59 60 62 63 69 73 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 142
a 1 12 15 17 18 24 25 26 30 32 33 35 37 44 52 54 59 60 62 63 69 73 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 142
a 1 12 15 17 24 25 26 30 32 33 35 37 44 52 54 59 60 62 63 69 71 73 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 142
a 1 2 12 15 17 24 25 26 30 32 33 35 37 44 52 54 59 60 62 63 69 71 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 142
a 1 2 12 15 17 24 25 26 30 32 33 35 37 44 52 54 59 60 62 63 69 71 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 141
a 1 2 12 15 17 24 25 26 30 32 33 35 44 52 54 59 60 62 63 69 71 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 141
a 1 2 12 15 17 24 25 26 30 32 33 35 44 52 54 59 60 62 63 69 71 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 139
a 1 2 12 15 17 24 25 26 30 32 33 35 44 50 52 54 59 60 62 63 69 71 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 138 139
a 1 2 12 15 17 24 25 26 30 32 33 35 44 50 52 54 59 60 62 63 69 71 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138
a 1 12 15 17 24 25 26 30 32 33 35 44 50 52 54 59 60 62 63 69 71 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 141
a 1 2 12 15 17 24 25 26 32 33 35 44 50 52 54 59 60 62 63 69 71 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 141
a 2 12 15 17 24 25 26 30 32 33 35 44 50 52 54 59 60 62 63 69 71 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 141
a 2 12 15 17 24 25 26 30 33 35 44 50 52 54 59 60 62 63 69 71 73 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 141
a 2 12 15 17 24 25 26 30 32 33 35 44 50 52 54 59 60 62 63 69 71 73 74 77 78 81 82 83 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 138 141
a 2 12 15 17 24 25 26 30 32 33 35 44 50 52 54 59 60 62 63 69 71 73 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 138 141
a 1 2 12 15 17 24 25 26 30 32 33 35 44 50 52 54 59 60 62 63 69 71 73 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 138
a 1 2 12 15 17 24 25 26 30 32 33 35 44 50 52 54 59 60 62 63 69 71 73 74 77 78 81 82 83 84 87 95 96 97 98 101 102 107 108 111 115 118 122 132 133 134 137 138
a 1 2 12 15 17 24 25 26 30 32 33 35 44 50 52 54 59 60 62 63 69 71 73 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137
a 1 2 12 15 17 24 25 26 30 32 33 35 44 50 52 54 59 60 62 63 69 71 73 74 77 78 81 82 83 84 87 95 96 97 101 102 105 107 108 111 115 118 122 132 133 134 137 142
a 1 12 15 17 24 25 26 30 32 33 35 44 50 52 54 59 60 62 63 69 71 73 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 107 108 111 115 118 122 132 133 134 137 142
a 1 12 15 17 24 25 26 30 32 33 35 44 50 52 54 59 60 62 69 71 73 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 106 107 108 111 115 118 122 132 133 134 137 142
a 1 2 12 15 17 24 25 26 32 33 35 44 50 52 54 59 60 62 69 71 73 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 106 107 108 111 115 118 122 132 133 134 137 142
a 1 2 12 15 17 24 25 26 32 33 35 44 50 52 54 59 60 62 69 71 73 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 106 107 108 111 118 122 132 133 134 137 139 142
a 1 2 12 15 17 24 25 26 32 33 35 44 50 52 54 59 60 62 69 73 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 106 107 108 111 115 118 122 132 133 134 137 139 142
a 1 2 12 15 24 25 26 30 32 33 35 44 50 52 54 59 60 62 69 73 74 77 78 81 82 83 84 87 95 96 97 98 101 102 105 106 107 108 111 115 118 122 132 133 134 137 139 142
a 1 2 12 15 24 25 26 30 32 33 35 40 44 50 52 54 59 60 62 69 73 74 77 78 81 82 83 84 87 95 96 97 98 101 105 106 107 108 111 115 118 122 132 133 134 137 139 142
a 1 2 3 12 15 24 25 26 30 32 33 40 44 50 52 54 59 60 62 69 73 74 77 78 81 82 83 84 87 95 96 97 98 101 105 106 107 108 111 115 118 122 132 133 134 137 139 142
a 1 2 3 12 15 24 25 26 30 32 33 40 44 50 52 54 59 60 62 69 71 73 74 77 78 81 82 83 84 87 95 96 97 98 101 105 106 107 108 111 115 118 122 132 133 134 137 142
a 1 2 3 15 24 25 26 30 32 33 40 44 50 52 54 59 60 62 69 71 73 74 77 78 81 82 83 84 87 95 96 97 98 101 105 106 107 108 111 115 118 122 132 133 134 137 139 142
a 1 2 3 15 17 24 25 26 30 32 33 40 44 50 52 54 59 60 62 69 71 73 74 77 78 81 82 83 84 87 95 96 97 98 101 105 106 107 108 111 115 118 122 132 133 134 137 139
a 1 2 3 12 15 17 24 25 26 30 32 33 40 44 50 52 54 59 60 62 69 71 73 74 77 78 81 82 83 84 87 95 96 97 98 101 105 106 107 108 111 115 118 122 133 134 137 139
a 1 2 3 12 15 17 24 25 26 30 32 33 40 44 50 52 54 59 60 62 69 71 73 74 77 78 81 82 83 84 87 95 96 97 98 101 105 106 107 108 111 115 118 133 134 137 139 142
a 1 2 3 12 15 17 24 25 26 30 32 33 40 44 50 52 54 59 60 62 69 71 73 77 78 81 82 83 84 87 95 96 97 98 101 105 106 107 108 111 115 118 122 133 134 137 139 142
a 1 2 3 12 17 24 25 26 30 32 33 35 40 44 50 52 54 59 60 62 69 71 73 77 78 81 82 83 84 87 95 96 97 98 101 105 106 107 108 111 115 118 122 133 134 137 139 142
a 1 2 3 12 17 24 25 26 30 32 33 35 40 44 50 52 54 59 60 62 69 71 73 77 78 81 82 84 87 95 96 97 98 101 105 106 107 108 111 115 118 122 133 134 137 139 141 142
a 1 2 3 12 17 24 25 26 30 32 33 35 40 44 50 52 54 59 60 62 71 73 74 77 78 81 82 84 87 95 96 97 98 101 105 106 107 108 111 115 118 122 133 134 137 139 141 142
a 1 2 3 12 17 24 25 26 30 32 33 35 40 44 50 52 54 59 60 62 71 73 74 77 78 81 82 83 84 87 95 96 97 98 101 105 106 107 108 111 115 122 133 134 137 139 141 142
a 1 2 3 12 17 24 25 26 30 32 33 35 40 44 50 52 54 59 60 62 73 74 77 78 81 82 83 84 87 95 96 97 98 101 105 106 107 108 111 115 118 122 133 134 137 139 141 142
a 1 2 3 12 15 17 24 25 26 30 32 33 35 40 44 50 52 54 59 60 62 73 74 77 78 81 82 83 84 87 95 96 97 98 101 105 106 107 108 111 115 118 122 133 134 137 141 142
a 1 2 3 12 15 17 24 25 26 30 32 33 35 40 44 50 52 54 59 60 62 69 73 74 77 78 81 82 83 84 87 95 96 97 98 101 105 106 107 108 111 115 118 133 134 137 141 142
a 1 2 3 12 15 17 18 24 25 26 30 32 33 35 40 44 50 52 54 59 60 62 69 73 74 77 78 81 82 83 84 87 95 96 97 98 101 105 106 107 108 111 115 118 133 134 137 141
a 1 3 12 15 17 18 24 25 26 30 32 33 35 40 44 50 52 54 59 60 62 69 73 74 77 78 81 82 83 84 87 95 96 97 98 101 105 106 107 108 111 115 118 122 133 134 137 141
a 1 2 3 12 15 17 18 24 25 26 30 32 35 40 44 50 52 54 59 60 62 69 73 74 77 78 81 82 83 84 87 95 96 97 98 101 105 106 107 108 111 115 118 122 133 134 137 141
a 1 2 3 12 15 17 18 24 25 26 30 32 35 40 44 50 52 54 59 60 62 69 73 74 77 78 81 82 84 87 90 95 96 97 98 101 105 106 107 108 111 115 118 122 133 134 137 141
a 1 2 3 12 15 17 18 24 25 26 30 32 33 35 40 44 50 52 54 59 60 62 69 73 74 77 78 81 82 84 87 90 95 96 97 98 101 105 106 107 108 111 115 118 122 133 134 137
a 1 2 3 12 15 17 18 24 25 26 30 32 33 35 40 44 50 52 54 59 60 62 69 73 74 77 78 81 82 84 87 90 95 96 97 98 101 105 106 108 111 115 118 122 132 133 134 137
a 1 2 3 10 12 15 17 18 24 25 26 30 32 33 35 40 44 50 52 54 59 62 69 73 74 77 78 81 82 84 87 90 95 96 97 98 101 105 106 108 111 115 118 122 132 133 134 137
a 1 2 3 10 12 15 17 18 24 25 26 30 32 33 35 40 44 50 52 54 59 62 69 73 74 77 78 81 82 84 87 90 95 96 97 98 101 105 106 108 111 115 118 122 132 134 137 142
a 2 3 10 12 15 17 18 24 25 26 30 32 33 35 40 44 50 52 54 59 62 69 73 74 77 78 81 82 84 87 90 95 96 97 98 101 105 106 108 111 115 118 122 132 134 137 141 142
a 1 2 3 10 12 15 17 18 24 25 26 30 32 33 35 40 50 52 54 59 62 69 73 74 77 78 81 82 84 87 90 95 96 97 98 101 105 106 108 111 115 118 122 132 134 137 141 142
a 1 2 3 7 10 12 15 17 18 24 25 26 30 32 35 40 50 52 54 59 62 69 73 74 77 78 81 82 84 87 90 95 96 97 98 101 105 106 108 111 115 118 122 132 134 137 141 142
a 1 2 3 7 10 12 15 17 18 24 25 26 30 32 35 40 50 52 59 62 69 73 74 77 78 81 82 84 87 90 95 96 97 98 101 105 106 108 111 115 118 122 132 133 134 137 141 142
a 2 3 7 10 12 15 17 18 24 25 26 30 32 35 40 44 50 52 59 62 69 73 74 77 78 81 82 84 87 90 95 96 97 98 101 105 106 108 111 115 118 122 132 133 134 137 141 142
a 2 3 7 10 12 15 17 18 24 25 26 30 32 35 40 44 50 52 59 62 69 73 74 77 78 81 82 84 87 90 95 96 97 98 101 105 106 108 111 115 118 122 132 133 137 139 141 142
a 2 3 7 12 15 17 18 24 25 26 30 32 35 40 44 50 52 59 62 69 73 74 77 78 81 82 84 87 90 95 96 97 98 101 105 106 107 108 111 115 118 122 132 133 137 139 141 142
a 1 2 3 7 12 15 17 18 24 25 26 30 32 35 40 44 50 52 59 62 69 73 74 77 78 81 82 84 87 90 95 96 97 98 101 105 106 107 108 111 115 118 122 133 137 139 141 142
a 1 2 3 7 12 15 17 18 25 26 30 32 35 40 44 50 52 59 61 62 69 73 74 77 78 81 82 84 87 90 95 96 97 98 101 105 106 107 108 111 115 118 122 133 137 139 141 142
a 1 2 3 7 12 15 17 18 25 26 30 32 35 44 50 52 59 61 62 69 73 74 77 78 81 82 84 86 87 90 95 96 97 98 101 105 106 107 108 111 115 118 122 133 137 139 141 142
a 1 2 3 12 15 17 18 25 26 30 32 35 40 44 50 52 59 61 62 69 73 74 77 78 81 82 84 86 87 90 95 96 97 98 101 105 106 107 108 111 115 118 122 133 137 139 141 142
a 1 2 3 12 15 17 18 25 26 30 32 35 40 44 50 52 59 61 62 69 73 74 78 81 82 84 86 87 90 95 96 97 98 101 105 106 107 108 111 115 118 122 133 134 137 139 141 142
a 1 2 3 12 15 18 25 26 30 32 35 40 44 50 52 59 61 62 69 73 74 78 81 82 84 86 87 90 95 96 97 98 101 105 106 107 108 111 115 118 122 128 133 134 137 139 141 142
a 1 2 3 10 12 15 18 25 26 30 32 35 40 44 50 52 59 61 62 69 73 74 78 81 82 84 86 87 90 95 96 97 98 101 105 106 108 111 115 118 122 128 133 134 137 139 141 142
a 1 2 3 10 12 15 18 25 26 30 32 35 40 44 50 52 59 61 62 69 73 74 77 78 81 82 84 86 87 90 95 96 97 98 105 106 108 111 115 118 122 128 133 134 137 139 141 142
a 1 2 3 10 12 15 18 25 26 30 32 35 40 44 49 52 59 61 62 69 73 74 77 78 81 82 84 86 87 90 95 96 97 98 105 106 108 111 115 118 122 128 133 134 137 139 141 142
a 1 3 10 12 15 18 25 26 30 32 35 40 44 49 52 58 59 61 62 69 73 74 77 78 81 82 84 86 87 90 95 96 97 98 105 106 108 111 115 118 122 128 133 134 137 139 141 142
a 1 3 10 12 15 18 25 26 30 32 35 40 44 49 52 58 59 61 62 69 73 74 77 78 79 81 82 84 86 87 90 95 96 97 105 106 108 111 115 118 122 128 133 134 137 139 141 142
a 1 3 10 12 15 18 26 30 32 35 40 44 49 52 58 59 61 62 69 73 74 77 78 79 81 82 84 86 87 90 95 96 97 105 106 108 111 115 118 122 127 128 133 134 137 139 141 142
a 1 3 10 12 15 18 26 30 32 35 44 49 52 58 59 61 62 69 73 74 77 78 79 81 82 84 86 87 90 95 96 97 105 106 108 111 115 118 122 127 128 133 134 137 138 139 141 142
a 1 10 12 15 18 26 30 32 35 44 49 52 58 59 61 62 69 73 74 77 78 79 81 82 84 86 87 90 95 96 97 102 105 106 108 111 115 118 122 127 128 133 134 137 138 139 141 142
a 1 10 15 18 26 30 32 35 44 49 52 58 59 61 62 69 73 74 76 77 78 79 81 82 84 86 87 90 95 96 97 102 105 106 108 111 115 118 122 127 128 133 134 137 138 139 141 142
a 1 10 15 18 26 30 32 35 44 49 52 58 59 61 62 69 73 74 76 77 78 79 81 82 84 86 87 90 95 96 97 102 106 108 111 115 118 122 127 128 133 134 135 137 138 139 141 142
a 1 10 15 18 26 30 32 35 44 49 52 58 59 61 62 69 73 74 76 77 78 79 81 82 84 86 87 90 95 96 97 102 106 111 115 118 122 126 127 128 133 134 135 137 138 139 141 142
a 1 10 15 18 26 30 32 35 44 49 52 58 59 61 62 69 73 74 76 77 78 79 81 82 84 86 87 90 95 96 97 102 104 106 111 115 122 126 127 128 133 134 135 137 138 139 141 142
a 1 10 15 18 26 30 32 35 44 49 52 58 59 61 62 69 73 74 76 77 78 79 81 82 84 86 87 90 95 96 97 102 104 106 111 115 122 126 127 128 134 135 137 138 139 141 142 143
a 1 10 15 18 26 28 30 32 35 44 49 52 58 59 61 62 69 73 74 76 77 78 79 81 82 84 86 87 90 95 96 97 102 104 106 111 115 122 126 127 128 134 135 138 139 141 142 143
a 1 10 15 18 26 28 30 32 35 44 49 52 58 59 61 62 69 73 74 76 77 78 79 81 82 85 86 87 90 95 96 97 102 104 106 111 115 122 126 127 128 134 135 138 139 141 142 143
a 1 10 15 18 26 28 30 32 35 44 49 52 58 59 61 62 69 73 74 76 77 78 79 81 82 85 86 90 95 96 97 102 104 106 111 115 120 122 126 127 128 134 135 138 139 141 142 143
a 1 10 15 18 26 28 30 32 35 44 49 52 58 59 61 62 63 69 73 74 76 77 78 79 81 82 85 86 90 95 96 97 102 104 111 115 120 122 126 127 128 134 135 138 139 141 142 143
a 1 10 18 26 28 30 32 35 44 49 52 58 59 61 62 63 69 73 74 76 77 78 79 81 82 85 86 90 92 95 96 97 102 104 111 115 120 122 126 127 128 134 135 138 139 141 142 143
a 1 10 18 26 28 30 31 32 35 44 49 52 58 59 61 62 63 69 73 74 76 77 78 79 81 82 85 86 90 92 95 96 97 102 104 111 115 120 122 126 127 128 134 135 138 139 142 143
a 1 4 10 18 26 28 30 31 32 35 49 52 58 59 61 62 63 69 73 74 76 77 78 79 81 82 85 86 90 92 95 96 97 102 104 111 115 120 122 126 127 128 134 135 138 139 142 143
a 1 4 10 18 26 28 30 31 32 35 49 52 58 59 61 62 63 69 73 74 76 77 78 79 81 82 85 86 90 92 95 96 97 102 103 104 111 115 120 126 127 128 134 135 138 139 142 143
a 1 4 10 18 26 28 30 31 32 35 49 52 58 59 61 62 63 69 73 74 76 77 78 79 81 82 85 86 89 90 92 95 96 97 102 103 104 111 115 120 126 127 128 134 135 138 142 143
a 1 4 10 18 26 28 30 31 32 49 52 58 59 61 62 63 69 73 74 76 77 78 79 81 82 85 86 89 90 92 95 96 97 102 103 104 111 115 119 120 126 127 128 134 135 138 142 143
a 1 4 10 18 26 28 30 31 32 34 49 52 58 59 61 62 63 69 73 74 76 77 78 79 81 82 85 86 89 90 92 95 96 97 102 103 104 111 115 119 120 126 127 128 134 135 138 143
a 1 4 10 18 26 28 30 31 32 34 49 52 58 59 61 62 63 69 73 74 76 77 78 79 80 81 85 86 89 90 92 95 96 97 102 103 104 111 115 119 120 126 127 128 134 135 138 143
a 1 4 10 18 26 28 30 31 32 34 49 52 58 59 61 62 63 69 73 74 76 77 78 79 80 81 85 86 89 90 92 95 97 102 103 104 111 115 119 120 126 127 128 130 134 135 138 143
a 1 4 10 18 26 28 31 32 34 49 52 58 59 61 62 63 66 69 73 74 76 77 78 79 80 81 85 86 89 90 92 95 97 102 103 104 111 115 119 120 126 127 128 130 134 135 138 143
a 1 4 10 18 26 28 31 32 34 49 52 58 59 61 62 63 66 69 73 74 76 77 79 80 81 85 86 89 90 92 95 97 102 103 104 111 115 119 120 123 126 127 128 130 134 135 138 143
a 1 4 10 18 26 27 28 31 34 49 52 58 59 61 62 63 66 69 73 74 76 77 79 80 81 85 86 89 90 92 95 97 102 103 104 111 115 119 120 123 126 127 128 130 134 135 138 143
a 1 4 6 10 18 26 27 28 31 34 49 52 58 59 61 63 66 69 73 74 76 77 79 80 81 85 86 89 90 92 95 97 102 103 104 111 115 119 120 123 126 127 128 130 134 135 138 143
c Step: 266
#END: [Tue Sep 26 08:10:27 2023]