#BEGIN: [Tue Sep  5 06:54:41 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance010_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance010_graph002_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_instance010_graph002.col /benchmark/random_instance/random_instance010_graph002_01.dat
c /benchmark/random_instance/random_instance010_graph002.col
c /benchmark/random_instance/random_instance010_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID ec820f7e1111fc7f25fde91917509dfcbdb03c2f482be6614a0c5f3e7ffe8fb9
s 120 127 29 24 85 21 116 83 58 74 27 107 5 37 106 73 7 50 2 118 110 39 103 38 93 87 61 22 6 26 64 12 70 88 125 76 14 44 81
t 105 19 99 83 55 22 72 2 118 121 26 108 49 122 9 98 14 85 16 57 103 88 23 129 46 104 115 130 48 68 90 53 38 39 127 107 116 81 7
a YES
a 2 5 6 7 12 14 21 22 24 26 27 29 37 38 39 44 50 58 61 64 70 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 120 125 127
a 2 5 6 7 14 21 22 24 26 27 29 37 38 39 44 50 55 58 61 64 70 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 120 125 127
a 2 5 6 7 14 20 21 22 24 26 27 29 37 38 39 44 50 55 58 61 64 70 73 74 76 81 83 85 87 88 93 103 106 110 116 118 120 125 127
a 2 5 6 7 14 15 20 21 22 24 26 27 29 37 38 39 44 50 55 61 64 70 73 74 76 81 83 85 87 88 93 103 106 110 116 118 120 125 127
a 2 5 6 7 14 15 20 21 22 24 26 29 37 38 39 44 50 55 61 64 70 73 74 76 81 83 85 87 88 93 103 104 106 110 116 118 120 125 127
a 2 5 6 7 14 15 20 21 22 24 26 29 37 38 39 44 50 55 61 64 70 73 74 76 81 83 85 87 88 92 93 103 104 106 116 118 120 125 127
a 2 5 6 7 14 15 20 21 22 24 26 29 37 38 39 44 50 61 64 70 73 74 76 81 83 85 87 88 92 93 103 104 106 115 116 118 120 125 127
a 2 5 6 7 12 14 15 20 21 22 24 26 29 37 38 39 44 50 61 64 70 73 74 76 81 83 85 87 88 93 103 104 106 115 116 118 120 125 127
a 2 5 6 7 12 14 15 20 21 22 24 26 29 37 38 39 44 50 61 64 70 73 76 81 83 85 87 88 93 103 104 106 110 115 116 118 120 125 127
a 2 5 6 7 12 14 15 20 21 22 24 26 27 29 37 38 39 44 50 61 64 70 73 76 81 83 85 87 88 93 103 106 110 115 116 118 120 125 127
a 2 5 6 7 12 14 15 20 21 22 24 26 27 29 37 38 39 44 50 60 61 64 70 73 76 81 83 85 87 88 93 103 106 110 115 116 118 120 125
a 2 5 6 7 14 15 20 21 22 24 26 27 29 37 38 39 44 50 60 61 64 70 73 74 76 81 83 85 87 88 93 103 106 110 115 116 118 120 125
a 2 5 6 7 14 20 21 22 24 26 27 29 37 38 39 44 50 55 60 61 64 70 73 74 76 81 83 85 87 88 93 103 106 110 115 116 118 120 125
a 2 5 6 7 14 20 21 22 24 26 27 29 31 37 38 39 44 50 55 60 61 64 70 73 76 81 83 85 87 88 93 103 106 110 115 116 118 120 125
a 5 6 7 14 15 20 21 22 24 26 27 29 31 37 38 39 44 50 55 60 61 64 70 73 76 81 83 85 87 88 93 103 106 110 115 116 118 120 125
a 5 7 14 15 16 20 21 22 24 26 27 29 31 37 38 39 44 50 55 60 61 64 70 73 76 81 83 85 87 88 93 103 106 110 115 116 118 120 125
a 5 7 14 15 16 20 21 22 24 26 27 29 37 38 39 44 50 55 60 61 64 70 73 74 76 81 83 85 87 88 93 103 106 110 115 116 118 120 125
a 2 5 7 14 16 20 21 22 24 26 27 29 37 38 39 44 50 55 60 61 64 70 73 74 76 81 83 85 87 88 93 103 106 110 115 116 118 120 125
a 2 5 7 14 16 20 21 22 24 26 27 29 37 38 39 44 45 50 55 60 61 64 70 73 74 76 81 83 85 87 88 93 103 106 110 115 116 118 120
a 2 5 7 14 16 20 21 22 24 26 27 29 31 37 38 39 44 45 50 55 60 61 64 70 73 76 81 83 85 87 88 93 103 106 110 115 116 118 120
a 2 5 7 14 16 20 21 22 24 26 27 29 31 37 38 39 44 45 50 55 60 61 64 70 73 76 81 83 85 87 88 93 95 103 106 110 115 116 118
a 2 5 7 14 16 20 21 22 24 26 27 29 31 37 38 39 44 45 50 55 60 61 64 70 73 76 80 81 83 87 88 93 95 103 106 110 115 116 118
a 2 5 7 14 20 21 22 24 26 27 29 31 37 38 39 44 45 50 55 60 61 64 70 73 76 80 81 83 86 87 88 93 95 103 106 110 115 116 118
a 2 5 7 14 20 21 22 24 25 27 29 31 37 38 39 44 45 50 55 60 61 64 70 73 76 80 81 83 86 87 88 93 95 103 106 110 115 116 118
a 2 5 6 7 14 20 21 22 24 25 27 29 31 37 38 39 44 45 50 55 60 61 64 70 73 76 80 81 83 86 87 88 93 95 103 106 110 115 116
a 2 5 6 7 9 14 20 21 22 25 27 29 31 37 38 39 44 45 50 55 60 61 64 70 73 76 80 81 83 86 87 88 93 95 103 106 110 115 116
a 2 5 6 7 9 14 20 21 22 25 27 29 31 37 38 39 40 44 45 50 55 60 61 64 70 73 76 80 81 83 86 87 88 93 95 103 106 110 115
a 2 5 6 7 9 14 20 21 22 27 29 31 37 38 39 40 44 45 50 55 60 61 64 70 72 73 76 80 81 83 86 87 88 93 95 103 106 110 115
a 2 5 6 7 9 14 20 21 22 26 27 29 31 37 39 40 44 45 50 55 60 61 64 70 72 73 76 80 81 83 86 87 88 93 95 103 106 110 115
a 5 6 7 9 14 20 21 22 26 27 29 31 37 38 39 40 44 45 50 55 60 61 64 70 72 73 76 80 81 83 86 87 88 93 95 103 106 110 115
a 2 5 6 9 14 20 21 22 26 27 29 31 37 38 39 40 44 45 50 55 60 61 64 70 72 73 76 80 81 83 86 87 88 93 95 103 106 110 115
a 2 5 6 9 14 15 20 21 22 26 27 29 31 37 38 39 40 44 45 50 55 60 61 64 70 72 73 76 80 81 83 87 88 93 95 103 106 110 115
a 2 5 6 7 9 14 20 21 22 26 27 29 31 37 38 39 40 44 45 50 55 60 61 64 70 72 73 76 80 81 83 87 88 93 95 103 106 110 115
a 2 5 6 7 9 14 20 21 26 27 29 31 37 38 39 40 44 45 47 50 55 60 61 64 70 72 73 76 80 81 83 87 88 93 95 103 106 110 115
a 2 5 6 7 9 14 20 21 26 27 29 31 37 38 39 40 44 47 50 55 60 61 64 70 72 73 76 80 81 83 87 88 93 95 103 106 110 115 125
a 2 5 6 7 9 14 20 21 26 27 29 37 38 39 40 44 47 50 55 60 61 64 70 72 73 74 76 80 81 83 87 88 93 95 103 106 110 115 125
a 2 5 6 7 9 14 20 21 26 27 29 37 38 39 40 44 47 50 55 60 61 64 70 72 73 74 76 80 81 83 87 88 93 95 101 103 106 110 115
a 2 5 6 7 9 14 20 21 26 27 29 37 38 39 40 44 47 50 55 60 61 64 70 72 73 74 76 80 81 83 87 88 93 95 101 103 106 110 125
a 2 5 6 7 9 14 15 20 21 26 27 29 37 38 39 40 44 47 50 55 60 61 64 70 72 73 74 76 80 81 83 87 88 93 95 103 106 110 125
a 2 5 7 9 14 15 16 20 21 26 27 29 37 38 39 40 44 47 50 55 60 61 64 70 72 73 74 76 80 81 83 87 88 93 95 103 106 110 125
a 2 5 7 9 14 15 16 20 21 26 27 29 37 38 39 40 44 47 50 55 60 61 64 70 72 73 74 76 80 81 83 87 88 95 103 106 110 115 125
a 2 5 9 14 15 16 20 21 26 27 29 37 38 39 40 44 47 50 55 60 61 64 70 72 73 74 76 80 81 83 87 88 93 95 103 106 110 115 125
a 2 5 7 9 14 15 16 20 21 26 27 29 37 38 39 40 44 47 50 55 60 61 64 70 72 73 74 76 80 81 87 88 93 95 103 106 110 115 125
a 2 5 7 9 14 15 16 20 21 26 29 37 38 39 40 44 47 50 55 60 61 64 70 72 73 74 76 80 81 83 87 88 93 95 103 106 110 115 125
a 2 5 7 9 14 15 16 20 21 22 26 29 37 38 39 40 44 47 50 55 60 61 64 70 72 73 76 80 81 83 87 88 93 95 103 106 110 115 125
a 2 5 7 9 14 15 20 21 22 26 29 37 38 39 40 44 47 50 55 60 61 64 70 72 73 74 76 80 81 83 87 88 93 95 103 106 110 115 125
a 2 5 7 14 15 16 20 21 22 26 29 37 38 39 40 44 47 50 55 60 61 64 70 72 73 74 76 80 81 83 87 88 93 95 103 106 110 115 125
a 2 5 7 14 15 20 21 22 26 27 29 37 38 39 40 44 47 50 55 60 61 64 70 72 73 74 76 80 81 83 87 88 93 95 103 106 110 115 125
a 2 5 7 14 15 20 21 22 26 27 29 37 38 39 40 44 47 50 55 61 64 70 72 73 74 76 80 81 83 87 88 93 95 103 106 110 115 125 127
a 2 5 7 14 15 16 20 21 22 26 27 29 37 38 39 40 44 47 50 55 61 64 70 72 74 76 80 81 83 87 88 93 95 103 106 110 115 125 127
a 2 5 7 14 15 16 20 21 22 26 27 29 37 38 39 40 44 47 50 55 61 64 70 72 73 74 76 80 81 83 87 88 93 95 103 106 110 115 125
a 2 5 7 9 14 15 16 20 21 22 26 27 29 37 38 39 40 44 47 50 55 61 64 70 72 73 74 76 80 81 83 87 88 93 95 106 110 115 125
a 2 5 7 9 14 15 16 20 22 26 27 29 37 38 39 40 44 47 50 55 61 64 70 72 73 74 76 80 81 83 87 88 93 95 106 110 115 125 127
a 2 5 7 9 14 15 16 20 22 26 27 37 38 39 40 44 47 50 55 61 64 70 72 73 74 76 80 81 83 87 88 93 95 103 106 110 115 125 127
a 2 5 7 9 14 15 16 20 21 22 26 27 37 38 39 40 44 47 50 55 61 64 70 72 73 74 76 80 81 83 87 88 95 103 106 110 115 125 127
a 2 5 7 9 14 15 16 20 21 22 26 37 38 39 40 44 47 50 55 61 64 70 72 73 74 76 80 81 83 87 88 93 95 103 106 110 115 125 127
a 2 5 7 9 14 15 16 20 21 22 26 29 37 38 39 40 44 47 50 55 61 64 70 72 73 74 76 80 81 83 87 88 93 95 103 106 110 115 125
a 2 5 7 9 14 15 16 20 21 22 26 29 37 38 39 40 44 47 50 54 55 61 64 70 72 73 74 76 80 81 83 88 93 95 103 106 110 115 125
a 2 5 7 9 14 15 16 20 21 22 26 29 37 38 39 40 44 47 50 54 55 61 64 70 72 73 74 76 80 81 83 88 93 95 103 104 106 115 125
a 2 5 7 9 14 15 16 20 21 22 26 29 37 38 39 40 47 50 54 55 61 64 70 72 73 74 76 80 81 83 88 93 95 103 104 106 110 115 125
a 2 5 7 9 14 16 20 21 22 26 29 37 38 39 40 44 47 50 54 55 61 64 70 72 73 74 76 80 81 83 88 93 95 103 104 106 110 115 125
a 2 5 7 9 14 16 20 21 22 26 29 37 38 39 40 44 47 50 54 55 61 64 70 72 73 76 80 81 83 88 93 95 103 104 106 110 115 125 127
a 2 5 9 14 16 20 21 22 26 29 37 38 39 40 44 47 50 54 55 61 64 70 72 73 74 76 80 81 83 88 93 95 103 104 106 110 115 125 127
a 2 5 9 14 15 20 21 22 26 29 37 38 39 40 44 47 50 54 55 61 64 70 72 73 74 76 80 81 83 88 93 95 103 104 106 110 115 125 127
a 2 6 9 14 15 20 21 22 26 29 37 38 39 40 44 47 50 54 55 61 64 70 72 73 74 76 80 81 83 88 93 95 103 104 106 110 115 125 127
a 2 6 7 9 14 15 20 21 22 26 29 37 38 39 40 44 47 50 54 55 61 64 70 72 73 74 76 80 81 88 93 95 103 104 106 110 115 125 127
a 2 6 7 9 14 15 21 22 26 29 35 37 38 39 40 44 47 50 54 55 61 64 70 72 73 74 76 80 81 88 93 95 103 104 106 110 115 125 127
a 2 5 6 7 9 14 21 22 26 29 35 37 38 39 40 44 47 50 54 55 61 64 70 72 73 74 76 80 81 88 93 95 103 104 106 110 115 125 127
a 2 5 6 7 9 14 21 22 26 35 37 38 39 40 44 47 50 54 55 61 64 70 72 73 74 76 80 81 83 88 93 95 103 104 106 110 115 125 127
a 2 5 6 7 9 14 15 21 22 26 35 37 38 39 40 44 47 50 54 61 64 70 72 73 74 76 80 81 83 88 93 95 103 104 106 110 115 125 127
a 2 5 6 7 9 14 15 21 22 26 35 37 38 39 40 44 47 50 54 55 61 64 70 72 73 74 76 80 81 83 88 93 95 103 104 110 115 125 127
a 2 5 6 7 9 14 15 21 22 35 37 38 39 40 44 47 50 54 55 61 64 70 72 73 74 76 80 81 83 87 88 93 95 103 104 110 115 125 127
a 2 5 6 7 9 14 15 21 22 29 37 38 39 40 44 47 50 54 55 61 64 70 72 73 74 76 80 81 83 87 88 93 95 103 104 110 115 125 127
a 2 5 6 7 9 14 15 21 22 29 37 38 39 40 44 47 50 54 55 61 70 72 73 74 76 80 81 83 87 88 93 95 103 104 110 113 115 125 127
a 2 5 6 7 9 14 21 22 26 29 37 38 39 40 44 47 50 54 55 61 70 72 73 74 76 80 81 83 87 88 93 95 103 104 110 113 115 125 127
a 2 5 6 7 9 14 15 21 22 26 29 37 39 40 44 47 50 54 55 61 70 72 73 74 76 80 81 83 87 88 93 95 103 104 110 113 115 125 127
a 2 5 6 9 14 15 21 22 26 29 37 38 39 40 44 47 50 54 55 61 70 72 73 74 76 80 81 83 87 88 93 95 103 104 110 113 115 125 127
a 2 5 6 7 9 14 15 21 22 26 29 37 38 39 40 44 47 50 54 55 61 70 72 73 74 76 80 81 83 87 88 93 95 103 104 110 113 115 125
a 2 5 6 7 9 14 15 21 22 26 29 37 38 40 44 47 50 54 55 61 70 72 73 74 76 80 81 83 87 88 93 95 103 104 106 110 113 115 125
a 2 5 6 7 9 14 15 21 22 26 29 37 38 40 44 47 50 54 55 61 70 72 73 74 76 80 81 83 87 88 92 93 95 103 104 106 113 115 125
a 2 5 6 7 9 14 15 21 22 26 29 35 37 38 40 44 47 50 54 55 61 70 72 73 74 76 80 81 83 87 88 92 93 95 103 104 113 115 125
a 2 5 6 7 9 14 15 21 22 26 29 35 37 38 40 44 47 50 54 55 61 70 72 73 74 76 80 81 83 87 88 93 95 103 104 110 113 115 125
a 2 5 6 7 9 14 15 21 22 26 29 35 37 38 39 40 44 47 50 54 55 61 70 72 73 74 76 80 81 83 87 88 93 95 103 104 110 113 125
a 2 5 6 7 9 14 15 21 22 26 29 35 38 39 40 44 47 50 54 55 61 70 72 73 74 76 80 81 83 87 88 93 95 103 104 106 110 113 125
a 2 5 6 7 9 14 15 21 22 26 29 35 37 38 39 40 44 47 50 54 55 61 70 72 73 74 76 80 81 83 87 93 95 103 104 106 110 113 125
a 2 5 6 7 9 15 21 22 26 29 35 37 38 39 40 44 47 50 54 55 61 70 72 73 74 76 80 81 83 87 93 95 103 104 106 110 113 125 127
a 2 5 6 7 9 15 21 22 26 29 35 37 38 39 40 44 47 50 54 55 61 64 70 72 73 74 76 80 81 83 87 93 95 103 104 106 110 125 127
a 2 5 6 7 9 15 21 22 26 29 35 37 38 39 40 44 47 50 54 55 61 64 70 72 73 74 76 81 83 87 88 93 95 103 104 106 110 125 127
a 2 5 6 7 9 15 21 22 26 29 35 37 38 39 40 44 50 54 55 61 64 70 72 73 74 76 81 83 85 87 88 93 95 103 104 106 110 125 127
a 2 5 6 7 9 15 21 22 26 27 29 35 37 38 39 40 44 50 54 55 61 64 70 72 73 74 76 81 83 85 87 88 93 95 103 106 110 125 127
a 2 5 6 7 15 21 22 24 26 27 29 35 37 38 39 40 44 50 54 55 61 64 70 72 73 74 76 81 83 85 87 88 93 95 103 106 110 125 127
a 2 5 6 7 15 21 22 24 26 27 29 35 37 38 39 40 44 50 54 55 61 64 70 72 73 74 76 81 83 85 87 88 95 101 103 106 110 125 127
a 2 5 6 7 15 21 22 24 26 27 29 35 37 38 39 40 44 50 54 55 61 64 70 72 73 74 76 81 83 85 87 88 93 95 101 103 106 110 125
a 2 5 6 7 14 15 21 22 24 26 27 29 35 37 38 39 40 44 50 54 55 61 64 70 72 73 74 76 83 85 87 88 93 95 101 103 106 110 125
a 2 5 6 7 14 15 21 22 24 27 29 35 37 38 39 40 44 50 54 55 61 64 70 72 73 74 76 83 85 87 88 93 95 101 103 106 110 125 127
a 2 5 6 7 14 15 21 22 26 27 29 35 37 38 39 40 44 50 54 55 61 64 70 72 73 74 76 83 85 87 88 93 95 101 103 106 110 125 127
a 2 5 6 7 14 15 21 22 24 26 27 29 35 38 39 40 44 50 54 55 61 64 70 72 73 74 76 83 85 87 88 93 95 101 103 106 110 125 127
a 2 5 6 7 14 15 21 22 24 26 27 29 35 37 38 39 40 44 50 54 55 64 70 72 73 74 76 83 85 87 88 93 95 101 103 106 110 125 127
a 2 5 6 7 14 15 21 22 24 26 27 29 35 37 38 39 40 44 50 54 55 60 64 70 72 73 74 76 83 85 87 88 93 95 101 103 106 110 125
a 2 5 6 7 14 15 21 22 24 26 27 29 35 37 38 39 44 50 54 55 60 64 70 72 73 74 76 81 83 85 87 88 93 95 101 103 106 110 125
a 2 5 6 7 9 14 15 21 22 26 27 29 35 37 38 39 44 50 54 55 60 64 70 72 73 74 76 81 83 85 87 88 93 95 101 103 106 110 125
a 2 5 6 7 9 14 15 21 22 26 27 29 35 37 38 39 44 50 54 55 60 61 64 70 72 73 74 76 81 83 85 87 88 93 95 101 106 110 125
a 2 5 6 7 9 14 15 21 22 26 27 29 37 38 39 40 44 50 54 55 60 61 64 70 72 73 74 76 81 83 85 87 88 93 95 101 106 110 125
a 2 5 6 7 9 14 15 21 22 26 27 29 37 39 40 44 50 54 55 60 61 64 70 72 73 74 76 81 83 85 87 88 93 95 101 103 106 110 125
a 2 5 6 7 9 14 15 21 22 26 27 29 37 38 40 44 50 54 55 60 61 64 70 72 73 74 76 81 83 85 87 88 93 95 101 103 106 110 125
a 2 5 6 9 14 15 21 22 26 27 29 37 38 40 44 50 51 54 55 60 61 64 70 72 73 74 76 81 83 85 87 88 93 95 101 103 106 110 125
a 2 5 6 9 14 15 21 22 26 27 29 37 38 39 40 44 50 51 54 55 60 61 64 70 72 73 74 76 81 83 85 87 88 93 95 101 106 110 125
a 2 5 6 9 15 21 22 26 27 29 35 37 38 39 40 44 50 51 54 55 60 61 64 70 72 73 74 76 81 83 85 87 88 93 95 101 106 110 125
a 2 5 6 9 15 21 22 26 27 29 35 37 38 39 40 50 51 54 55 60 61 64 70 72 73 74 76 81 83 85 87 88 93 95 101 106 110 115 125
a 2 5 6 9 21 22 26 27 29 35 37 38 39 40 44 50 51 54 55 60 61 64 70 72 73 74 76 81 83 85 87 88 93 95 101 106 110 115 125
a 2 5 6 9 21 22 26 27 29 35 37 38 39 40 44 50 51 54 55 60 61 64 70 72 73 74 76 81 85 87 88 93 95 101 103 106 110 115 125
a 2 5 6 9 15 21 22 26 27 29 35 37 38 39 40 44 50 51 55 60 61 64 70 72 73 74 76 81 85 87 88 93 95 101 103 106 110 115 125
a 2 5 6 9 15 21 22 26 27 29 35 37 39 40 44 50 51 54 55 60 61 64 70 72 73 74 76 81 85 87 88 93 95 101 103 106 110 115 125
a 2 5 6 9 15 21 22 26 27 29 35 37 39 40 44 50 51 54 55 61 64 70 72 73 74 76 81 85 87 88 93 95 101 103 106 110 115 125 127
a 2 5 6 9 15 21 22 26 27 29 35 37 39 40 44 50 51 54 55 61 64 70 72 73 74 76 81 83 85 87 88 93 95 101 103 106 110 125 127
a 2 5 6 9 14 15 21 22 26 27 29 35 37 39 40 44 50 51 54 55 61 64 70 72 73 74 76 81 83 85 87 88 93 95 103 106 110 125 127
a 2 5 6 9 14 15 21 22 26 27 29 35 37 39 40 44 50 51 54 55 61 64 70 72 73 74 76 81 83 85 87 88 93 95 101 103 106 125 127
a 2 5 6 9 14 15 21 22 26 27 29 37 39 40 44 50 51 54 55 61 64 70 72 73 74 76 81 83 85 87 88 93 95 101 103 106 110 125 127
a 2 5 6 9 14 15 21 22 26 27 29 37 38 39 40 44 50 51 54 55 61 64 70 72 73 74 81 83 85 87 88 93 95 101 103 106 110 125 127
a 2 5 6 9 14 15 21 22 26 27 29 37 38 39 40 44 50 51 54 61 64 70 72 73 74 76 81 83 85 87 88 93 95 101 103 106 110 125 127
a 2 5 6 9 14 15 21 22 26 27 29 35 37 38 39 40 44 50 51 54 61 64 70 72 73 74 76 81 83 85 87 88 93 95 101 103 106 110 127
a 2 5 6 9 14 15 21 22 26 27 29 35 37 38 39 40 44 50 51 54 61 64 70 72 73 74 76 81 85 87 88 93 95 101 103 106 110 112 127
a 2 5 6 9 14 15 21 22 26 27 29 35 37 38 39 40 44 50 51 54 55 61 64 70 72 73 74 76 81 85 87 88 93 95 101 106 110 112 127
a 2 5 6 9 14 15 21 22 26 27 29 35 37 38 39 40 44 50 51 54 55 61 64 70 72 73 74 76 81 85 87 88 93 95 101 103 106 110 112
a 2 5 9 14 15 21 22 26 27 29 35 37 38 39 40 44 50 51 54 55 61 64 70 72 73 74 76 81 85 87 88 93 95 101 103 106 110 112 115
a 2 5 6 9 14 15 21 22 26 27 29 35 37 38 39 40 44 50 51 54 55 61 64 70 72 73 76 81 85 87 88 93 95 101 103 106 110 112 115
a 2 5 6 9 14 15 21 22 26 27 29 35 37 38 39 40 44 50 51 54 55 61 64 70 72 73 76 81 85 87 88 93 95 101 103 106 110 112 125
a 2 5 6 9 14 15 21 22 27 29 35 37 38 39 40 44 50 51 54 55 61 64 70 72 73 76 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 5 6 9 15 21 22 27 29 35 37 38 39 40 44 50 51 54 55 61 64 70 72 73 74 76 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 5 6 9 21 22 27 29 35 37 38 39 40 44 50 51 54 55 58 61 64 70 72 73 74 76 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 5 6 9 21 22 26 27 29 35 37 39 40 44 50 51 54 55 58 61 64 70 72 73 74 76 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 5 6 9 21 22 26 27 29 35 37 38 39 40 44 51 54 55 58 61 64 70 72 73 74 76 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 6 9 21 22 26 27 29 35 37 38 39 40 44 50 51 54 55 58 61 64 70 72 73 74 76 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 5 6 9 21 22 26 27 29 35 37 38 39 40 44 50 51 54 55 58 61 64 70 72 73 74 76 81 85 87 88 93 95 101 103 110 112 123 125
a 2 5 6 9 21 22 26 27 29 35 37 38 40 44 50 51 54 55 58 61 64 70 72 73 74 76 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 5 6 9 21 22 26 27 29 31 35 37 38 40 44 50 51 54 55 58 61 64 70 72 73 76 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 5 6 9 14 21 22 26 27 29 35 37 38 40 44 50 51 54 55 58 61 64 70 72 73 76 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 5 6 9 14 21 22 26 27 31 35 37 38 40 44 50 51 54 55 58 61 64 70 72 73 76 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 5 6 9 14 21 26 27 31 35 37 38 39 40 44 50 51 54 55 58 61 64 70 72 73 76 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 5 6 9 14 21 26 27 29 31 35 37 38 39 40 44 50 51 54 55 58 61 64 70 72 73 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 6 9 14 21 22 26 27 29 31 35 37 38 39 40 44 50 51 54 55 58 61 64 70 72 73 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 5 6 9 14 21 22 26 27 31 35 37 38 39 40 44 50 51 54 55 58 61 64 70 72 73 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 5 6 9 14 21 22 23 26 27 31 35 37 38 39 44 50 51 54 55 58 61 64 70 72 73 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 5 6 9 14 21 22 23 26 27 31 35 37 38 39 44 50 51 54 55 58 61 64 70 72 73 76 81 85 87 88 93 95 101 103 106 110 112 123
a 2 5 6 9 14 21 22 23 26 27 29 35 37 38 39 44 50 51 54 55 58 61 64 70 72 73 76 81 85 87 88 93 95 101 103 106 110 112 123
a 2 5 6 9 14 21 22 23 26 27 29 35 37 38 39 44 50 51 54 55 58 61 64 70 73 76 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 5 6 9 14 22 23 26 27 29 35 37 38 39 44 50 51 54 55 58 61 64 70 72 73 76 81 85 87 88 93 95 101 103 106 110 112 123 125
a 5 6 9 14 22 23 26 27 29 31 35 37 38 39 44 50 51 54 55 58 61 64 70 72 73 76 81 85 87 88 93 95 101 103 106 110 112 123 125
a 2 5 6 9 14 22 23 26 27 29 31 35 37 38 39 44 50 51 54 55 58 61 64 70 72 73 76 81 85 88 93 95 101 103 106 110 112 123 125
a 2 5 6 9 14 22 23 26 27 29 31 35 37 38 39 44 50 51 54 55 58 61 64 68 70 72 73 76 81 85 88 93 95 101 103 106 110 112 123
a 2 5 6 9 14 22 23 26 27 29 31 35 37 38 39 44 50 51 54 55 58 61 64 68 70 72 73 76 81 85 88 93 95 101 103 106 110 112 125
a 2 5 6 9 14 22 23 26 27 29 31 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 85 88 90 93 95 101 103 106 110 112 125
a 2 5 6 9 14 22 23 26 27 29 31 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 85 88 90 93 95 103 106 107 110 112 125
a 2 5 6 14 22 23 26 27 29 31 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 85 88 90 93 95 101 103 106 107 110 112 125
a 2 5 6 9 14 22 23 26 27 29 31 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 85 88 90 93 95 101 103 106 107 110 125
a 2 5 6 9 14 22 23 26 27 29 31 35 37 38 39 44 50 51 54 55 58 61 64 68 70 72 73 76 81 85 88 90 93 95 101 103 106 107 110
a 2 5 6 9 14 22 23 26 27 29 31 35 37 38 39 44 50 51 54 55 58 61 63 64 68 70 72 76 81 85 88 90 93 95 101 103 106 107 110
a 2 5 6 9 14 22 23 26 27 29 31 35 37 38 39 44 50 51 54 55 58 61 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 107
a 5 6 9 14 22 23 26 27 29 31 35 37 38 39 44 50 51 54 55 58 61 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 107 112
a 5 6 9 14 22 23 26 27 29 35 37 38 39 44 50 51 54 55 58 61 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 107 110 112
a 5 6 9 14 23 26 27 29 35 37 38 39 44 50 51 54 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 107 110 112
a 5 6 7 9 14 23 26 27 29 35 37 38 39 44 50 54 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 107 110 112
a 5 6 7 9 14 23 26 27 29 35 37 38 39 44 50 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 107 110 112 125
a 2 5 6 7 9 14 23 26 29 35 37 38 39 44 50 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 107 110 112 125
a 2 5 6 7 9 14 23 26 27 29 35 37 38 39 44 50 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 107 112 125
a 2 5 6 7 9 14 23 26 27 29 35 37 38 39 44 50 54 55 58 61 62 63 68 70 72 76 81 85 87 88 90 93 95 101 103 106 107 112 125
a 2 5 6 7 9 14 23 26 27 29 35 37 38 39 44 50 54 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 107 112
a 2 5 6 7 9 14 23 26 27 29 35 37 38 39 44 50 54 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 110 112
a 2 5 6 7 9 14 23 26 27 29 31 35 37 38 39 44 50 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 110 112
a 2 5 6 7 9 14 23 26 27 31 35 37 38 39 44 50 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 110 112 125
a 2 5 6 7 9 14 23 26 27 31 35 37 38 39 44 50 54 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 110 112 125
a 2 5 6 7 9 14 23 26 27 31 35 37 39 44 50 54 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 110 112 125
a 2 5 7 9 14 16 23 26 27 31 35 37 39 44 50 54 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 110 112 125
a 2 5 7 9 14 16 23 26 27 31 35 37 38 39 44 50 54 55 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 110 112 125
a 2 7 9 14 16 23 26 27 31 35 37 38 39 44 50 54 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 101 103 106 110 112 125
a 2 7 9 14 16 23 26 27 31 35 37 38 39 44 50 54 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 103 106 110 112 118 125
a 2 5 7 9 14 16 23 26 27 35 37 38 39 44 50 54 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 103 106 110 112 118 125
a 2 5 7 9 14 23 26 27 29 35 37 38 39 44 50 54 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 103 106 110 112 118 125
a 2 5 7 9 14 16 23 26 27 29 35 37 38 39 44 50 54 55 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 103 106 110 112 118 125
a 2 5 7 9 14 16 23 26 29 35 37 38 39 44 50 54 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 103 106 110 112 118 125
a 2 7 9 14 16 23 26 27 29 35 37 38 39 44 50 54 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 103 106 110 112 118 125
a 2 5 7 9 14 16 23 26 27 29 37 38 39 44 50 54 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 103 106 110 112 118 125
a 2 5 6 7 9 14 23 26 27 29 37 38 39 44 50 54 55 58 61 62 63 64 68 70 72 76 81 85 87 88 90 93 95 103 106 110 112 118 125
a 2 5 6 7 9 14 23 26 27 29 37 38 39 44 50 54 55 58 61 63 64 68 70 72 76 81 85 87 88 90 93 95 103 106 107 110 112 118 125
a 2 5 6 7 9 14 23 26 29 35 37 38 39 44 50 54 55 58 61 63 64 68 70 72 76 81 85 87 88 90 93 95 103 106 107 110 112 118 125
a 2 5 6 7 9 14 22 23 26 29 35 37 38 39 44 50 54 55 58 61 63 64 68 70 72 76 81 85 87 88 90 93 95 103 106 107 110 112 118
a 2 5 6 7 9 14 22 23 26 29 35 37 38 39 44 50 54 55 58 61 63 68 70 72 76 81 85 87 88 90 93 95 103 106 107 110 112 118 125
a 2 5 6 7 9 14 22 23 26 27 29 35 37 38 39 44 50 54 55 58 61 63 68 70 72 76 81 85 87 88 90 93 95 103 106 107 110 112 125
a 2 5 6 7 9 14 22 26 27 29 35 37 38 39 44 50 54 55 58 61 63 68 70 72 76 81 85 87 88 90 93 95 103 106 107 110 112 118 125
a 2 5 7 9 14 22 23 26 27 29 35 37 38 39 44 50 54 55 58 61 63 68 70 72 76 81 85 87 88 90 93 95 103 106 107 110 112 118 125
a 2 5 7 9 14 23 26 27 29 35 37 38 39 44 50 54 55 58 61 62 63 68 70 72 76 81 85 87 88 90 93 95 103 106 107 110 112 118 125
a 2 5 7 9 14 23 26 27 29 35 37 38 39 44 50 54 55 58 61 62 68 70 72 73 76 81 85 87 88 90 93 95 103 106 107 110 112 118 125
a 2 5 7 9 14 23 26 27 29 35 37 38 39 44 50 54 55 58 61 62 64 68 70 72 73 76 81 85 87 88 90 93 95 103 106 107 110 112 125
a 2 5 7 9 14 22 23 26 27 29 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 85 87 88 90 93 95 103 106 107 110 112 125
a 2 5 7 9 14 22 23 26 27 29 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 85 87 88 90 93 95 103 106 107 110 112 118
a 2 7 9 14 22 23 26 27 29 31 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 85 87 88 90 93 95 103 106 107 110 112 118
a 2 5 7 9 14 22 23 26 27 29 31 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 85 87 88 90 93 95 103 106 107 110 112 118
a 2 5 6 7 9 14 22 23 26 27 29 31 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 85 87 88 90 93 95 103 106 107 110 118
a 2 5 6 7 9 14 22 23 26 27 29 31 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 85 87 88 90 93 95 103 106 110 118 125
a 2 5 6 7 9 14 22 23 26 27 29 31 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 85 87 88 90 93 95 101 103 106 110 125
a 2 5 6 7 9 14 22 23 26 27 29 31 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 85 87 88 90 93 95 101 103 106 110
a 2 5 6 7 9 14 22 23 26 27 29 31 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 85 87 88 90 93 95 103 106 110 118
a 2 5 6 7 9 14 22 23 26 27 31 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 85 87 88 90 93 95 103 106 107 110 118
a 5 6 7 9 14 22 23 26 27 29 31 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 85 87 88 90 93 95 103 106 107 110 118
a 5 6 9 14 22 23 26 27 29 31 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 83 85 87 88 90 93 95 103 106 107 110 118
a 5 6 7 9 14 22 26 27 29 31 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 83 85 87 88 90 93 95 103 106 107 110 118
a 2 5 6 7 9 14 22 26 27 29 31 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 83 85 87 88 90 93 95 103 106 107 110 118
a 2 5 6 7 9 14 22 26 27 29 31 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 83 85 87 88 90 93 95 103 106 107 118 125
a 2 5 6 7 9 14 22 26 27 29 31 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 83 85 87 88 90 93 95 101 103 106 107 125
a 2 5 6 7 9 14 22 26 27 29 31 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 83 85 87 88 90 93 95 101 103 106 125
a 2 5 6 7 9 22 26 27 29 31 35 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 83 85 87 88 90 93 95 101 103 106 110 125
a 2 5 6 7 9 22 26 27 29 31 34 37 38 39 44 50 54 55 58 61 64 68 70 72 73 76 81 83 85 87 88 90 93 95 101 103 106 110 125
a 2 5 6 7 9 22 26 27 29 31 34 37 38 39 44 50 54 55 58 60 61 64 68 70 72 73 76 81 83 87 88 90 93 95 101 103 106 110 125
a 2 5 6 7 9 22 26 27 29 31 34 37 38 39 44 50 54 55 58 60 61 64 70 72 73 76 81 83 85 87 88 90 93 95 101 103 106 110 125
a 2 5 6 7 9 22 26 27 29 31 34 37 38 39 44 50 54 55 58 60 61 64 68 70 72 73 76 83 85 87 88 90 93 95 101 103 106 110 125
a 2 6 7 9 22 26 27 29 31 34 37 38 39 42 44 50 54 55 58 60 61 64 68 70 72 73 76 83 85 87 88 90 93 95 101 103 106 110 125
a 2 6 7 9 22 26 27 29 31 37 38 39 42 44 50 54 55 58 60 61 64 68 70 72 73 75 76 83 85 87 88 90 93 95 101 103 106 110 125
a 2 6 7 9 22 27 29 31 37 38 39 42 44 50 54 55 58 60 61 64 68 70 72 73 75 76 81 83 85 87 88 90 93 95 101 103 106 110 125
a 2 6 7 9 22 27 29 31 37 38 39 42 44 50 54 55 58 60 64 68 70 72 73 75 76 81 83 85 87 88 90 93 95 101 103 106 110 122 125
a 2 6 7 9 22 26 27 29 37 38 39 42 44 50 54 55 58 60 64 68 70 72 73 75 76 81 83 85 87 88 90 93 95 101 103 106 110 122 125
a 2 6 7 9 22 26 27 29 34 37 38 39 42 44 50 54 58 60 64 68 70 72 73 75 76 81 83 85 87 88 90 93 95 101 103 106 110 122 125
a 2 6 7 9 22 26 27 29 34 37 38 39 42 44 50 54 58 60 64 68 70 72 73 75 76 81 83 85 87 88 90 91 93 95 101 103 110 122 125
a 2 6 7 9 22 26 27 29 31 34 37 38 39 42 44 50 54 58 60 64 68 70 72 73 75 76 81 83 85 87 88 90 91 93 95 101 110 122 125
a 2 6 7 9 22 26 27 29 31 34 37 38 39 42 44 50 54 58 60 64 68 70 72 73 75 76 81 83 85 87 88 90 93 95 101 106 110 122 125
a 6 7 9 22 26 27 29 31 34 37 38 39 42 44 50 54 55 58 60 64 68 70 72 73 75 76 81 83 85 87 88 90 93 95 101 106 110 122 125
a 6 7 9 22 26 27 29 31 34 37 38 39 42 44 50 55 58 60 64 68 70 72 73 75 76 81 83 85 86 87 88 90 93 95 101 106 110 122 125
a 2 6 7 9 22 26 27 29 31 34 37 38 39 42 44 55 58 60 64 68 70 72 73 75 76 81 83 85 86 87 88 90 93 95 101 106 110 122 125
a 2 6 7 9 22 27 29 31 34 37 38 39 42 44 50 55 58 60 64 68 70 72 73 75 76 81 83 85 86 87 88 90 93 95 101 106 110 122 125
a 2 6 7 9 22 26 27 29 31 34 37 38 39 42 44 50 55 58 60 64 68 70 72 73 75 76 81 83 85 87 88 90 93 95 101 106 110 122 125
a 2 6 7 9 22 26 27 31 34 37 38 39 42 44 50 55 58 60 64 68 70 72 73 75 76 81 83 85 86 87 88 90 93 95 101 106 110 122 125
a 2 6 7 9 26 27 29 31 34 37 38 39 42 44 50 55 58 60 64 68 70 72 73 75 76 81 83 85 86 87 88 90 93 95 101 106 110 122 125
a 2 6 7 9 26 27 29 31 34 37 38 39 42 44 47 50 55 58 60 64 68 70 72 73 75 76 81 83 86 87 88 90 93 95 101 106 110 122 125
a 2 6 7 9 26 29 31 34 37 38 39 42 44 47 50 55 58 60 64 68 70 72 73 75 76 81 83 86 87 88 90 93 95 101 103 106 110 122 125
a 2 6 7 9 22 26 29 31 34 37 38 39 42 44 47 50 55 58 60 64 68 70 72 73 75 76 81 83 86 87 88 90 93 95 101 103 106 110 125
a 2 6 7 9 22 26 29 31 34 37 38 39 44 47 50 55 58 60 64 68 70 72 73 75 76 81 83 86 87 88 90 93 95 101 103 106 110 122 125
a 2 6 7 9 22 27 29 31 34 37 38 39 44 47 50 55 58 60 64 68 70 72 73 75 76 81 83 86 87 88 90 93 95 101 103 106 110 122 125
a 2 6 7 9 22 27 29 31 34 37 38 39 44 47 50 55 58 60 68 70 72 73 75 76 81 83 86 87 88 90 93 95 101 103 106 110 113 122 125
a 2 6 7 9 22 27 29 31 34 37 38 39 42 44 50 55 58 60 68 70 72 73 75 76 81 83 86 87 88 90 93 95 101 103 106 110 113 122 125
a 2 6 7 22 27 29 31 34 37 38 39 42 44 47 50 55 58 60 68 70 72 73 75 76 81 83 86 87 88 90 93 95 101 103 106 110 113 122 125
a 2 6 7 22 27 29 31 34 37 38 39 42 44 45 47 50 55 58 60 68 70 72 73 75 76 81 83 86 87 88 90 93 95 101 103 106 110 113 122
a 2 6 7 9 22 27 29 31 34 37 38 39 42 44 45 47 50 55 58 60 68 70 72 73 75 76 81 83 86 87 88 90 93 95 101 106 110 113 122
a 2 6 7 9 22 27 29 31 34 37 38 39 42 44 45 47 50 55 58 60 61 68 70 72 73 75 76 81 83 86 87 88 90 93 95 101 106 110 113
a 2 6 7 9 22 27 29 31 34 37 38 39 42 44 45 47 50 55 58 60 68 70 72 73 75 76 80 81 83 86 87 88 90 93 95 101 106 110 113
a 2 6 7 9 22 27 31 34 37 38 39 42 44 45 47 50 55 58 60 68 70 72 73 75 76 80 81 83 86 87 88 90 93 95 101 103 106 110 113
a 2 6 7 9 22 27 31 34 37 38 39 42 44 47 50 55 58 60 68 70 72 73 75 76 80 81 83 86 87 88 90 93 95 101 103 106 110 113 125
a 2 6 7 9 22 27 31 34 37 38 39 42 44 47 50 55 58 60 68 70 72 73 75 76 80 81 83 86 87 88 90 93 95 101 103 106 110 113 122
a 6 7 9 22 27 31 34 37 38 39 42 44 47 50 55 58 60 68 70 72 73 75 76 80 81 83 86 87 88 90 93 95 101 103 106 110 113 122 125
a 2 6 7 9 22 27 31 34 37 38 39 44 47 50 55 58 60 68 70 72 73 75 76 80 81 83 86 87 88 90 93 95 101 103 106 110 113 122 125
a 2 6 7 9 22 26 27 31 34 37 38 39 44 47 50 55 58 60 68 70 72 73 75 76 80 81 83 86 87 88 90 93 95 101 103 106 110 122 125
a 2 6 7 9 22 26 27 34 37 38 39 42 44 47 50 55 58 60 68 70 72 73 75 76 80 81 83 86 87 88 90 93 95 101 103 106 110 122 125
a 2 6 7 9 22 26 27 34 37 38 39 42 44 47 50 55 58 60 68 70 72 73 75 76 80 81 83 86 87 88 90 93 95 101 103 106 113 122 125
a 2 6 7 9 22 26 27 34 37 38 39 42 44 45 47 50 55 58 60 68 70 72 73 75 76 80 81 83 86 87 88 90 93 95 101 103 106 113 122
a 2 6 7 9 22 26 27 29 34 37 38 39 42 44 45 47 50 55 58 60 68 70 72 73 75 76 80 81 83 86 87 88 90 93 95 101 106 113 122
a 2 7 9 22 26 27 29 34 37 38 39 42 44 45 47 50 55 58 60 68 70 72 73 75 76 80 81 83 86 87 88 90 93 95 101 106 107 113 122
a 2 6 7 9 22 26 27 29 34 37 38 39 42 44 45 47 50 55 58 60 68 70 72 73 75 76 80 81 83 86 87 90 93 95 101 106 107 113 122
a 2 6 7 9 22 25 26 27 29 34 37 38 39 42 44 45 47 50 55 58 60 68 70 73 75 76 80 81 83 86 87 90 93 95 101 106 107 113 122
a 2 6 7 9 22 25 26 27 29 34 37 38 39 42 44 45 47 50 55 58 60 61 68 70 73 75 76 80 81 83 86 87 90 93 95 101 106 107 113
a 2 6 9 22 25 26 27 29 34 37 38 39 42 44 45 47 50 51 55 58 60 61 68 70 73 75 76 80 81 83 86 87 90 93 95 101 106 107 113
a 2 6 9 22 25 26 27 29 34 37 38 39 42 44 45 47 50 51 55 58 60 61 68 70 73 75 76 80 81 83 86 87 90 93 95 101 106 107 110
a 2 6 9 22 25 26 27 29 34 37 38 39 42 44 45 47 50 51 55 58 60 61 68 70 73 75 76 80 81 83 86 87 88 90 93 95 101 106 107
a 2 6 9 22 25 26 27 29 34 37 38 42 44 45 47 50 51 55 58 60 61 68 70 73 74 75 76 80 81 83 86 87 88 90 93 95 101 106 107
a 2 6 9 25 26 27 29 34 37 38 39 42 44 45 47 50 51 55 58 60 61 68 70 73 74 75 76 80 81 83 86 87 88 90 93 95 101 106 107
a 2 6 9 25 26 27 29 34 37 38 39 42 44 45 47 50 51 55 58 61 68 70 73 74 75 76 80 81 83 86 87 88 90 93 95 101 106 107 123
a 2 6 9 25 26 27 29 34 37 38 39 42 44 45 47 50 51 55 58 68 70 73 74 75 76 80 81 83 86 87 88 90 93 95 101 106 107 122 123
a 2 6 9 25 26 27 29 34 37 38 39 42 45 47 50 51 55 58 68 70 73 74 75 76 80 81 83 86 87 88 90 93 95 101 106 107 110 122 123
a 2 6 9 25 26 29 34 37 38 39 42 44 45 47 50 51 55 58 68 70 73 74 75 76 80 81 83 86 87 88 90 93 95 101 106 107 110 122 123
a 2 6 9 23 25 26 29 34 37 38 39 42 44 45 47 50 51 55 58 68 70 73 75 76 80 81 83 86 87 88 90 93 95 101 106 107 110 122 123
a 2 6 9 22 23 25 26 29 34 37 38 39 42 44 45 47 50 51 55 58 68 70 73 75 76 80 81 83 86 87 88 90 93 95 101 106 107 122 123
a 2 6 9 22 23 25 26 29 34 37 38 39 42 44 45 47 50 51 55 58 68 70 73 75 76 80 83 86 87 88 90 93 95 101 106 107 113 122 123
a 2 6 9 22 23 25 26 27 29 34 37 38 39 42 44 45 47 50 51 55 58 68 70 73 75 76 80 83 86 87 88 90 93 95 101 106 107 113 122
a 2 6 9 22 23 25 26 27 29 37 38 39 42 44 45 47 50 51 55 58 68 70 73 75 76 80 83 86 87 88 90 93 95 101 106 107 110 113 122
a 2 6 9 22 23 26 27 29 37 38 39 42 44 45 47 50 51 55 58 68 70 72 73 75 76 80 83 86 87 88 90 93 95 101 106 107 110 113 122
a 2 6 9 22 23 26 27 29 38 39 42 44 45 47 50 51 55 58 68 70 72 73 75 76 80 81 83 86 87 88 90 93 95 101 106 107 110 113 122
a 2 6 9 22 23 26 27 38 39 42 44 45 47 50 51 55 58 68 70 72 73 75 76 80 81 83 86 87 88 90 93 95 101 103 106 107 110 113 122
a 2 6 7 9 22 23 26 27 38 39 42 44 45 47 50 55 58 68 70 72 73 75 76 80 81 83 86 87 88 90 93 95 101 103 106 107 110 113 122
a 2 6 7 9 22 23 26 27 38 39 42 44 45 47 50 53 55 58 68 70 72 73 75 80 81 83 86 87 88 90 93 95 101 103 106 107 110 113 122
a 2 6 7 9 22 23 26 27 38 39 42 44 45 49 50 53 55 58 68 70 72 73 75 80 81 83 86 87 88 90 93 95 101 103 106 107 110 113 122
a 2 6 7 9 22 23 26 27 38 39 44 45 49 50 53 55 57 58 68 70 72 73 75 80 81 83 86 87 88 90 93 95 101 103 106 107 110 113 122
a 2 6 7 9 22 23 26 27 38 39 44 45 49 50 53 55 57 58 68 70 72 73 75 81 83 85 86 87 88 90 93 95 101 103 106 107 110 113 122
a 2 6 7 9 22 23 26 27 38 39 44 45 49 50 53 55 57 58 68 70 72 73 75 81 83 85 87 88 90 93 95 101 103 106 107 110 113 122 127
a 2 6 7 9 14 22 23 26 27 38 39 44 45 49 53 55 57 58 68 70 72 73 75 81 83 85 87 88 90 93 95 101 103 106 107 110 113 122 127
a 2 7 9 14 22 23 26 27 38 39 44 45 46 49 53 55 57 58 68 70 72 73 75 81 83 85 87 88 90 93 95 101 103 106 107 110 113 122 127
a 2 7 9 14 16 22 23 26 27 38 39 44 45 46 49 53 55 57 58 68 70 72 73 75 81 83 85 87 88 90 93 95 101 103 106 107 110 122 127
a 2 7 9 14 16 22 23 26 27 38 39 44 45 46 49 53 55 57 58 68 70 72 73 75 81 83 85 87 88 90 93 95 101 103 107 110 122 127 130
a 2 7 9 14 16 22 23 26 27 38 39 44 45 46 49 53 55 57 68 70 72 73 75 81 83 85 87 88 90 93 95 98 101 103 107 110 122 127 130
a 2 7 9 14 16 22 23 26 27 38 39 44 46 49 53 55 57 68 70 72 73 75 81 83 85 87 88 90 93 95 98 99 101 103 107 110 122 127 130
a 2 7 9 14 16 22 23 26 27 38 39 44 46 49 53 55 57 68 70 72 73 75 81 83 85 87 88 90 93 98 99 101 103 107 108 110 122 127 130
a 2 7 9 14 16 22 23 26 27 38 39 44 46 49 53 55 57 68 70 72 73 75 81 83 85 87 88 90 93 98 99 103 107 108 110 116 122 127 130
a 2 7 9 14 16 19 22 23 26 27 38 39 44 46 49 53 55 57 68 70 72 73 75 81 83 85 87 88 90 93 98 99 103 107 108 116 122 127 130
a 2 7 9 14 16 19 22 23 26 27 38 39 44 46 49 53 55 57 68 70 72 73 81 83 85 87 88 90 93 98 99 103 107 108 116 122 127 129 130
a 2 7 9 14 16 19 22 23 26 27 38 39 46 49 53 55 57 68 70 72 73 81 83 85 87 88 90 93 98 99 103 107 108 116 118 122 127 129 130
a 2 7 9 14 16 19 22 23 26 27 38 39 46 49 53 55 57 68 70 72 73 81 83 85 87 88 90 98 99 103 107 108 116 118 121 122 127 129 130
a 2 7 9 14 16 19 22 23 26 27 38 39 46 49 53 55 57 68 70 72 81 83 85 87 88 90 98 99 103 107 108 115 116 118 121 122 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 46 49 53 55 57 68 70 72 81 83 85 87 88 90 98 99 103 104 107 108 115 116 118 121 122 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 46 48 49 53 55 57 68 70 72 81 83 85 88 90 98 99 103 104 107 108 115 116 118 121 122 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 46 48 49 53 55 57 68 72 81 83 85 88 90 98 99 103 104 105 107 108 115 116 118 121 122 127 129 130
c Step: 295
#END: [Tue Sep  5 07:24:42 2023]