#BEGIN: [Tue Sep  5 06:54:44 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance010_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance010_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance010_graph003.col /benchmark/random_instance/random_instance010_graph003_01.dat
c /benchmark/random_instance/random_instance010_graph003.col
c /benchmark/random_instance/random_instance010_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID de5a5302f28b686332ca4eda1c1f55250427ef4be7533b1f03b1840f9ebf227a
s 19 68 30 123 79 72 112 34 125 44 130 27 15 57 83 23 81 36 25 114 16 124 45 85 14 52 91 120 104 87 41 105 96 38 64 129 111 82 3 94 11 17 73 21 8 18
t 26 119 16 87 14 67 127 24 79 72 98 50 21 80 102 94 10 49 115 48 30 23 22 81 63 53 64 85 111 9 84 91 57 38 93 59 27 11 25 51 125 123 46 126 116 88
a YES
a 3 8 11 14 15 16 17 18 19 21 23 25 27 30 34 36 38 41 44 45 52 57 64 68 72 73 79 81 82 83 85 87 91 94 96 104 105 111 112 114 120 123 124 125 129 130
a 3 8 11 14 15 16 17 18 19 21 23 25 27 30 34 36 38 41 44 45 52 57 64 72 73 79 81 82 83 85 87 91 94 96 104 105 111 112 114 119 120 123 124 125 129 130
a 3 8 11 14 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 52 57 64 72 73 79 81 82 83 85 87 91 94 96 104 105 111 112 114 119 120 123 124 125 126 129 130
a 3 8 11 14 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 52 57 64 72 73 79 81 82 83 84 85 87 91 94 96 104 105 111 114 119 120 123 124 125 126 129 130
a 3 8 11 14 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 52 57 64 68 72 73 79 81 82 83 84 85 87 91 94 96 104 105 111 114 120 123 124 125 126 129 130
a 3 8 11 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 50 52 57 64 68 72 73 79 81 82 83 84 85 87 91 94 96 104 105 111 114 120 123 124 125 126 129 130
a 3 8 11 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 94 96 104 105 111 114 120 123 124 125 126 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 50 52 57 72 73 78 79 81 82 83 84 85 87 91 94 96 104 105 111 114 120 123 124 125 126 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 50 52 57 72 73 78 79 81 82 83 84 85 87 91 94 96 104 105 111 114 119 120 123 124 125 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 94 96 105 111 114 119 120 123 124 125 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 94 96 105 114 119 120 123 124 125 126 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 96 98 105 114 119 120 123 124 125 126 129 130
a 8 11 12 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 96 98 105 111 114 119 120 123 124 125 126 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 50 57 64 72 73 78 79 81 82 83 84 85 87 91 96 98 105 111 114 119 120 123 124 125 126 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 30 34 36 38 41 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 96 98 105 111 114 119 120 123 124 125 126 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 26 30 34 36 38 41 45 50 52 57 64 72 73 78 81 82 83 84 85 87 91 96 98 105 111 114 119 120 123 124 125 126 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 78 81 82 83 84 85 87 91 96 98 105 111 114 119 120 123 124 125 126 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 78 81 82 83 84 85 87 91 98 105 111 114 119 120 123 124 125 126 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 78 81 82 83 85 87 91 96 98 105 111 114 119 120 123 124 125 126 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 72 73 78 81 82 83 84 85 87 91 96 98 105 111 114 119 120 123 124 125 126 129 130
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 72 73 78 79 81 82 83 84 85 87 91 96 98 105 111 114 119 120 123 124 125 126 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 72 73 78 79 81 82 83 84 85 87 91 96 98 105 111 114 119 120 123 124 125 129 130
a 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 72 73 78 79 81 82 83 84 85 87 91 94 96 98 105 111 114 119 120 123 124 125 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 45 50 52 57 72 73 78 79 81 82 83 84 85 87 91 94 96 98 105 111 114 119 120 123 124 125 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 57 72 73 78 79 81 82 83 84 85 87 91 94 96 98 105 111 114 119 120 123 124 125 129 130
a 3 8 11 12 15 16 18 19 21 23 25 26 27 30 34 36 38 41 45 50 57 64 72 73 78 79 81 82 83 84 85 87 91 94 96 98 105 111 114 119 120 123 124 125 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 57 64 72 73 78 79 81 82 83 84 85 87 91 94 96 98 105 111 114 120 123 124 125 129 130
a 3 8 11 12 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 57 64 72 73 78 79 81 82 83 84 85 87 91 94 96 98 105 111 114 119 120 123 124 125 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 57 64 72 73 78 79 81 82 83 84 85 87 91 94 96 98 105 111 114 119 120 123 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 31 34 36 38 41 45 50 57 64 72 73 78 79 81 82 83 84 85 87 91 94 96 98 105 114 119 120 123 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 31 34 36 38 41 44 50 57 64 72 73 78 79 81 82 83 84 85 87 91 94 96 98 105 114 119 120 123 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 31 34 36 38 41 44 50 57 64 72 73 78 79 81 82 83 84 85 87 91 94 96 98 105 114 119 120 123 124 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 31 34 36 38 41 44 45 50 57 64 72 73 78 79 81 82 83 84 85 87 91 94 96 98 105 114 120 123 124 129 130
a 3 8 11 12 15 16 18 19 21 23 25 26 27 30 31 34 36 38 41 44 45 50 57 64 72 73 78 79 81 82 83 84 85 87 91 94 96 98 105 114 120 123 124 125 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 31 34 36 38 41 44 45 50 57 64 72 73 78 81 82 83 84 85 87 91 94 96 98 105 114 120 123 124 125 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 26 30 31 34 36 38 41 44 45 50 57 64 72 73 78 81 82 83 84 85 87 91 94 96 98 105 114 119 120 123 124 125 129 130
a 3 8 11 12 15 16 17 18 19 21 23 25 26 30 31 34 36 38 41 44 45 50 57 64 72 73 78 79 81 82 83 84 85 87 91 94 96 98 105 114 119 120 123 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 30 31 34 36 38 41 44 45 50 57 64 72 73 78 79 82 83 84 85 87 91 94 96 98 105 111 114 119 120 123 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 30 31 34 36 38 41 44 45 50 64 72 73 78 79 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 30 31 34 36 38 41 44 45 50 64 72 73 78 79 81 82 83 84 85 87 91 92 96 98 105 111 114 119 120 123 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 30 34 36 38 41 44 45 50 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 119 120 123 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 123 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 123 124 125 126 129
a 3 8 11 12 15 16 17 18 19 21 25 26 27 30 34 36 38 41 45 50 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 123 124 125 126 129
a 3 8 11 12 15 16 17 18 19 21 25 26 27 30 31 34 36 38 41 45 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 123 124 125 126 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 31 34 36 38 41 45 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 123 124 126 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 123 124 126 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 123 124 126 129
a 3 8 11 12 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 123 124 126 129
a 3 8 11 12 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 50 52 57 64 72 73 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 123 124 125 126 129
a 3 11 12 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 123 124 125 126 129
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 94 96 98 105 111 114 119 123 124 125 126 129
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 94 96 98 105 111 114 119 120 123 124 125 126
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125
a 3 11 12 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125
a 3 11 12 15 16 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125
a 3 8 11 12 15 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125
a 3 8 11 12 15 16 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125
a 3 8 11 12 15 16 17 18 19 21 23 25 27 30 34 36 38 41 45 50 52 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 64 72 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 120 123 124 125
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 76 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125
a 3 8 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 76 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 76 79 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 79 82 83 84 85 87 91 92 94 96 98 105 114 119 120 123 124 125 129
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 79 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 79 82 83 84 85 87 91 92 94 96 105 111 114 119 120 123 124 125 129
a 3 8 11 12 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 79 81 82 83 84 85 87 91 92 94 96 105 111 114 119 120 123 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 79 81 82 83 84 85 87 91 92 96 105 111 114 119 120 123 124 125 129
a 3 8 11 12 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 79 81 82 83 84 85 87 91 92 96 98 105 111 114 119 120 123 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 79 81 82 83 84 85 87 91 92 96 98 105 111 119 120 123 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 96 98 105 111 119 120 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 73 76 78 79 81 82 83 84 85 87 91 92 96 98 105 111 114 119 120 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 96 98 105 111 114 119 120 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 92 96 98 105 111 114 119 120 124 125 129
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 92 96 98 105 111 114 119 120 123 124 125
a 3 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 92 94 96 98 105 111 114 119 120 123 124 125
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 92 94 96 98 105 111 114 119 120 123 124 125
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125
a 3 11 12 15 16 17 18 19 21 23 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125
a 3 11 12 16 17 18 19 21 23 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125 126
a 3 11 12 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125
a 3 12 16 17 18 19 21 23 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125 126
a 3 8 12 16 17 18 19 21 23 25 26 27 30 34 36 38 41 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125 126
a 3 8 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 50 52 57 64 72 73 76 78 79 81 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125 126
a 3 8 12 15 16 17 18 21 23 25 26 27 30 34 36 38 41 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125 126
a 3 8 12 15 16 17 18 21 23 25 26 27 30 34 36 38 41 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125 129
a 3 8 11 12 15 16 17 18 21 23 25 26 27 30 34 36 38 41 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125
a 3 8 11 12 15 17 18 19 21 23 25 26 27 30 34 36 38 41 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 125
a 3 8 11 12 15 17 18 19 21 23 25 26 27 30 34 36 38 41 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 126
a 3 8 11 12 15 17 18 19 21 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 126
a 3 11 12 15 16 17 18 19 21 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 126
a 3 8 11 12 15 16 17 18 19 21 25 26 27 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 126
a 3 8 11 12 15 16 17 19 21 25 26 27 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 126 129
a 3 8 11 12 15 16 17 19 21 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 129
a 3 8 11 12 15 16 17 19 21 25 26 27 30 34 36 38 41 45 50 52 57 64 72 73 76 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 126
a 3 8 11 12 15 16 17 19 21 25 26 27 30 34 36 38 41 45 52 57 64 72 73 76 77 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 126
a 3 8 11 12 15 16 17 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 76 77 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 126
a 3 8 11 12 15 16 17 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 76 77 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 129
a 3 8 11 12 15 16 17 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 76 77 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 130
a 3 8 11 12 15 17 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 76 77 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 129 130
a 3 8 11 12 15 17 18 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 76 77 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124 130
a 3 8 11 12 15 17 18 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 76 77 78 79 81 82 83 84 85 87 91 92 94 98 105 111 114 119 120 123 124 126 130
a 3 8 11 12 15 17 18 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 74 76 77 78 79 81 82 83 84 85 87 91 92 94 98 105 111 114 119 120 123 126 130
a 3 8 11 12 15 17 18 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 74 76 77 78 81 82 83 84 85 87 91 92 94 98 105 111 114 119 120 123 126 129 130
a 3 8 11 12 15 17 18 19 21 23 25 26 27 30 34 36 45 52 57 64 72 73 74 76 77 78 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 126 129 130
a 3 8 11 12 15 17 18 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 74 76 77 78 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 126 129
a 3 8 11 12 15 17 18 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 74 76 77 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 126 129 130
a 3 8 11 15 17 18 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 74 76 77 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 126 129 130
a 3 11 15 17 18 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 74 76 77 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 126 129 130
a 3 11 12 15 17 18 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 74 76 77 78 79 81 82 83 84 85 87 91 94 96 98 105 111 114 119 120 123 126 129 130
a 3 11 12 15 17 18 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 74 76 77 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 126 130
a 3 11 12 15 16 17 18 19 21 23 25 26 30 34 36 41 45 52 57 64 72 73 74 76 77 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 126 130
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 74 76 77 78 79 81 82 83 84 85 91 92 94 96 98 105 111 114 119 120 123 126 130
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 36 41 45 52 53 57 64 72 73 74 76 77 78 79 81 82 83 84 85 91 92 94 96 98 105 111 114 119 120 123 126 130
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 36 41 45 52 53 57 64 72 73 74 76 77 78 79 81 82 83 84 85 91 92 94 96 98 105 111 114 119 120 126 129 130
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 36 41 45 52 57 64 72 73 74 76 77 78 79 81 82 83 84 85 91 92 93 94 96 98 105 111 114 119 120 126 129 130
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 36 41 45 52 57 64 71 72 73 74 76 77 78 79 82 83 84 85 91 92 93 94 96 98 105 111 114 119 120 126 129 130
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 36 41 45 52 57 64 72 73 74 76 77 78 79 82 83 84 85 91 92 93 94 96 98 105 111 114 119 120 123 126 129 130
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 74 76 77 78 79 82 83 84 85 91 92 93 94 96 98 105 111 114 119 120 123 126 129
a 3 11 12 13 15 16 17 18 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 74 76 77 78 79 82 83 84 85 91 92 93 94 96 98 111 114 119 120 123 126 129
a 3 11 12 13 15 16 17 18 19 21 23 25 26 27 30 34 36 41 45 52 57 64 72 73 74 76 77 78 79 82 83 84 85 87 91 92 93 94 96 98 111 114 119 120 123 126
a 3 11 12 13 15 16 17 18 19 21 23 25 26 27 30 33 34 36 41 45 52 57 64 72 73 74 76 77 78 82 83 84 85 87 91 92 93 94 96 98 111 114 119 120 123 126
a 3 11 12 13 15 16 17 18 19 21 23 25 26 27 28 30 33 34 36 41 45 52 57 64 72 73 74 76 77 78 82 83 84 85 91 92 93 94 96 98 111 114 119 120 123 126
a 3 11 12 13 15 16 17 18 19 21 23 25 26 27 28 30 33 34 36 41 45 52 57 64 72 73 74 76 77 78 82 83 84 85 91 92 94 96 98 111 114 119 120 123 124 126
a 11 12 13 15 16 17 18 19 21 23 25 26 27 28 30 33 34 36 41 45 52 57 64 72 73 74 76 77 78 82 83 84 85 91 92 94 96 98 111 114 119 120 123 124 126 129
a 11 12 13 15 16 17 18 19 21 23 25 26 27 28 30 34 36 41 45 52 57 64 72 73 74 76 77 78 79 82 83 84 85 91 92 94 96 98 111 114 119 120 123 124 126 129
a 11 12 13 15 16 17 18 19 21 23 25 26 27 28 30 34 36 41 45 49 52 57 64 72 74 76 77 78 79 82 83 84 85 91 92 94 96 98 111 114 119 120 123 124 126 129
a 11 12 13 15 16 17 18 19 21 23 25 26 27 28 30 34 36 41 45 49 52 57 58 64 72 74 76 77 79 82 83 84 85 91 92 94 96 98 111 114 119 120 123 124 126 129
a 11 12 13 15 16 17 18 19 21 23 25 26 27 28 30 34 36 41 45 47 49 52 57 58 64 72 74 76 77 79 82 83 84 85 91 92 94 96 98 111 114 119 120 123 126 129
a 11 12 13 15 16 17 18 19 21 23 25 26 27 28 30 34 36 41 45 47 49 57 58 64 72 74 76 77 79 82 83 84 85 91 92 94 96 98 110 111 114 119 120 123 126 129
a 11 12 13 15 16 17 18 19 21 23 25 26 27 28 30 34 36 41 45 47 49 57 64 72 74 76 77 78 79 82 83 84 85 91 92 94 96 98 110 111 114 119 120 123 126 129
a 11 12 13 15 16 18 19 21 23 25 26 27 28 30 34 36 41 45 47 49 57 64 72 74 76 77 78 79 82 83 84 85 91 92 93 94 96 98 110 111 114 119 120 123 126 129
a 11 12 13 15 16 18 19 21 23 25 26 27 28 30 36 41 45 47 49 53 57 64 72 74 76 77 78 79 82 83 84 85 91 92 93 94 96 98 110 111 114 119 120 123 126 129
a 11 12 13 15 16 18 19 21 23 25 26 27 28 30 36 41 45 47 49 53 57 58 64 72 74 76 77 79 82 83 84 85 91 92 93 94 96 98 110 111 114 119 120 123 126 129
a 3 11 12 13 16 18 19 21 23 25 26 27 28 30 36 41 45 47 49 53 57 58 64 72 74 76 77 79 82 83 84 85 91 92 93 94 96 98 110 111 114 119 120 123 126 129
a 3 8 11 12 13 16 18 19 21 23 25 26 27 28 30 36 41 45 47 49 57 58 64 72 74 76 77 79 82 83 84 85 91 92 93 94 96 98 110 111 114 119 120 123 126 129
a 3 8 11 12 13 16 17 18 19 21 23 25 26 27 28 30 36 41 45 47 57 58 64 72 74 76 77 79 82 83 84 85 91 92 93 94 96 98 110 111 114 119 120 123 126 129
a 3 8 11 13 16 17 18 19 21 23 25 26 27 28 30 36 41 45 47 49 57 58 64 72 74 76 77 79 82 83 84 85 91 92 93 94 96 98 110 111 114 119 120 123 126 129
a 3 11 13 16 17 18 19 21 23 25 26 27 28 30 34 36 41 45 47 49 57 58 64 72 74 76 77 79 82 83 84 85 91 92 93 94 96 98 110 111 114 119 120 123 126 129
a 3 11 13 16 17 18 19 21 23 25 26 27 28 30 34 36 41 45 47 49 57 64 72 74 76 77 78 79 82 83 84 85 91 92 93 94 96 98 110 111 114 119 120 123 126 129
a 3 11 13 16 17 18 19 21 23 25 26 27 28 30 34 36 41 45 47 49 57 64 72 74 76 77 78 79 82 83 84 85 91 92 93 94 96 98 108 110 114 119 120 123 126 129
a 3 11 13 16 17 18 19 21 23 26 27 28 30 34 36 41 45 47 49 57 64 72 74 76 77 78 79 82 83 84 85 91 92 93 94 96 98 108 110 114 119 120 123 126 129 130
a 3 11 13 16 17 18 19 21 23 26 27 28 30 34 36 41 45 47 49 57 64 72 74 76 77 78 79 82 83 84 85 88 91 92 93 94 96 98 108 110 114 119 123 126 129 130
a 3 11 13 16 17 18 19 21 23 26 27 28 30 34 36 41 45 47 49 57 58 64 72 74 76 77 79 82 83 84 85 88 91 92 93 94 96 98 108 110 114 119 123 126 129 130
a 3 11 13 16 17 18 19 21 23 26 27 28 30 34 36 41 45 47 49 57 58 64 72 74 76 77 79 82 83 84 85 91 92 93 94 96 98 108 110 114 119 120 123 126 129 130
a 3 11 13 16 17 18 19 21 23 26 27 28 30 31 34 36 41 45 47 49 57 64 72 74 76 77 79 82 83 84 85 91 92 93 94 96 98 108 110 114 119 120 123 126 129 130
a 11 13 16 17 18 19 21 23 26 27 28 30 31 34 36 41 45 47 49 57 64 72 74 76 77 78 79 82 83 84 85 91 92 93 94 96 98 108 110 114 119 120 123 126 129 130
a 8 11 13 16 17 18 19 21 23 26 27 28 30 31 34 36 41 45 47 49 57 64 72 74 76 77 78 79 82 83 84 85 91 92 93 94 96 98 108 110 114 119 120 123 126 129
a 8 11 12 13 16 17 18 19 21 23 26 27 28 30 31 34 36 41 45 47 49 57 64 72 74 76 77 78 79 82 83 84 85 91 92 93 94 96 98 108 110 114 119 120 123 126
a 8 11 12 13 16 17 19 21 23 26 27 28 30 31 34 36 41 45 47 49 57 64 67 72 74 76 77 78 79 82 83 84 85 91 92 93 94 96 98 108 110 114 119 120 123 126
a 8 11 12 13 16 17 19 21 23 26 27 28 30 31 34 36 41 45 47 49 57 64 67 72 74 76 77 78 79 82 83 84 85 91 92 93 94 96 98 110 111 114 119 120 123 126
a 3 8 11 12 13 16 17 19 21 23 26 27 28 30 31 34 36 41 45 47 49 57 64 67 72 74 76 77 78 79 82 83 84 85 91 92 93 94 96 98 110 111 114 119 120 126
a 3 8 11 12 13 16 17 19 21 23 25 26 27 28 30 31 34 36 41 45 47 49 57 64 67 72 74 76 77 78 79 82 83 84 85 91 92 93 94 96 98 110 111 114 119 120
a 3 8 11 12 13 16 17 19 21 23 25 26 27 28 30 31 34 36 41 45 49 57 64 67 72 74 76 77 78 79 81 82 83 84 85 91 92 93 94 96 98 110 111 114 119 120
a 3 8 11 12 13 17 19 21 23 25 26 27 28 30 31 34 36 41 45 49 57 64 67 72 74 76 77 78 79 81 82 83 84 85 91 92 93 94 96 98 110 111 114 119 120 126
a 3 4 8 11 12 13 17 19 21 23 25 26 27 28 30 31 34 36 41 45 49 57 64 67 72 74 76 77 78 79 81 82 83 84 85 91 92 93 94 98 110 111 114 119 120 126
a 3 4 8 11 12 13 15 17 19 21 23 25 26 27 28 30 31 34 36 41 45 49 57 64 67 72 74 76 77 78 79 81 82 83 84 85 91 92 93 94 98 110 111 119 120 126
a 3 4 8 11 12 13 15 17 19 21 23 25 26 27 28 30 31 34 36 41 45 49 57 64 67 72 74 76 77 78 79 81 83 84 85 91 92 93 94 98 110 111 116 119 120 126
a 3 4 8 11 12 13 15 16 17 19 21 23 25 26 27 28 30 31 34 36 41 45 49 57 64 67 72 74 76 77 78 79 81 83 84 85 91 92 93 94 98 110 111 116 119 120
a 3 4 8 11 12 13 15 16 17 18 19 21 23 25 26 27 28 30 31 34 36 41 45 49 57 64 72 74 76 77 78 79 81 83 84 85 91 92 93 94 98 110 111 116 119 120
a 3 4 8 11 12 13 15 16 17 18 19 21 23 25 26 27 28 30 31 34 36 41 45 49 57 64 72 74 76 77 78 79 81 83 84 85 91 92 93 94 98 110 111 116 119 123
a 3 4 8 11 12 13 15 16 17 18 19 21 23 25 26 27 28 30 31 34 36 41 45 49 57 64 72 74 76 77 78 79 81 83 84 85 91 92 93 94 98 110 111 116 119 121
a 3 4 8 11 12 13 15 17 18 19 21 23 25 26 27 28 30 31 34 36 41 45 49 57 64 66 72 74 76 77 78 79 81 83 84 85 91 92 93 94 98 110 111 116 119 121
a 3 4 8 11 12 13 15 17 18 19 21 23 25 26 27 28 30 31 34 36 41 49 57 64 66 72 74 76 77 78 79 81 83 84 85 91 92 93 94 98 110 111 116 118 119 121
a 3 4 8 11 12 13 15 17 18 19 23 25 26 27 28 30 31 34 36 41 49 57 64 66 72 74 76 77 78 79 81 83 84 85 91 92 93 94 98 110 111 114 116 118 119 121
a 3 4 8 11 12 13 15 17 18 19 23 25 26 27 28 30 31 34 36 41 49 57 66 72 74 76 77 78 79 81 83 84 85 91 92 93 94 98 110 111 114 116 118 119 121 126
a 3 4 8 11 12 13 15 17 18 19 23 25 26 27 28 30 31 34 36 41 49 57 66 72 74 76 77 78 79 81 82 83 84 85 91 92 93 94 98 110 111 114 118 119 121 126
a 3 4 8 11 12 13 15 17 18 19 23 25 26 27 28 30 31 34 36 41 49 57 59 66 72 74 76 77 78 79 81 82 83 84 85 91 92 93 94 98 110 111 114 118 119 121
a 3 4 8 11 12 13 15 17 18 19 23 25 26 27 28 30 31 34 36 41 49 57 59 66 72 74 76 77 78 79 81 82 83 84 85 91 92 94 98 110 111 114 118 119 121 124
a 3 4 8 11 12 13 15 16 17 18 19 23 25 26 27 28 30 31 34 36 41 49 57 59 72 74 76 77 78 79 81 82 83 84 85 91 92 94 98 110 111 114 118 119 121 124
a 3 4 8 11 12 13 15 16 17 18 23 25 26 27 28 30 31 34 36 41 48 49 57 59 72 74 76 77 78 79 81 82 83 84 85 91 92 94 98 110 111 114 118 119 121 124
a 3 4 8 11 12 13 15 16 17 18 21 23 25 26 27 28 30 31 34 36 41 48 49 57 59 72 74 76 77 78 79 81 82 83 84 85 91 94 98 110 111 114 118 119 121 124
a 3 4 8 11 12 13 15 16 17 18 21 23 25 26 27 28 30 31 34 36 41 48 49 57 59 72 74 76 77 78 79 81 82 83 84 85 91 94 98 110 111 114 118 119 123 124
a 3 4 8 10 11 12 13 15 16 17 18 21 23 25 26 27 28 30 31 34 41 48 49 57 59 72 74 76 77 78 79 81 82 83 84 85 91 94 98 110 111 114 118 119 123 124
a 3 4 8 10 11 12 13 15 16 17 18 21 23 25 26 27 28 30 31 34 41 48 49 57 59 64 72 74 76 77 78 79 81 82 83 84 85 91 94 98 110 111 114 118 119 123
a 3 4 8 10 11 12 13 15 16 17 18 21 23 25 26 27 28 30 31 34 41 48 49 57 59 64 72 76 77 78 79 81 82 83 84 85 91 94 98 110 111 114 118 119 123 124
a 3 4 8 10 11 12 13 15 16 17 18 21 23 25 26 27 28 30 31 34 41 45 48 49 57 59 64 72 76 77 78 79 81 82 83 84 85 91 94 98 110 111 114 119 123 124
a 3 4 8 10 11 12 13 15 16 17 18 21 23 25 26 27 28 30 31 34 41 45 49 57 59 64 72 76 77 78 79 81 82 83 84 85 91 94 98 110 111 114 119 120 123 124
a 3 4 8 10 11 12 13 15 16 17 18 21 23 25 26 27 28 30 31 34 41 45 49 50 57 59 64 72 76 78 79 81 82 83 84 85 91 94 98 110 111 114 119 120 123 124
a 3 4 8 10 11 12 13 15 16 17 18 21 23 25 26 27 28 30 31 34 41 45 48 49 50 57 59 64 72 76 78 79 81 82 83 84 85 91 94 98 110 111 114 119 123 124
a 3 4 8 10 11 12 13 15 16 17 18 21 23 25 26 27 28 30 31 34 41 45 48 49 50 57 59 64 72 76 78 79 81 82 83 84 85 91 94 98 110 111 114 119 124 130
a 3 4 8 10 11 12 13 15 16 17 18 21 23 25 26 27 28 30 31 34 41 45 49 50 57 59 64 72 76 78 79 81 82 83 84 85 91 94 98 110 111 114 119 120 124 130
a 3 4 8 10 11 12 13 15 16 17 18 21 23 25 26 27 28 30 31 34 41 45 49 50 57 59 64 72 76 78 79 81 82 83 84 85 91 94 98 111 114 119 120 124 125 130
a 3 4 8 10 11 12 13 15 16 17 18 21 23 25 26 27 30 31 34 41 45 49 50 57 59 64 72 76 78 79 81 82 83 84 85 87 91 94 98 111 114 119 120 124 125 130
a 3 4 8 10 11 12 13 15 16 17 18 21 23 25 26 27 30 31 34 41 45 48 49 50 57 59 64 72 76 78 79 81 82 83 84 85 87 91 94 98 111 114 119 124 125 130
a 3 8 10 11 12 13 15 16 17 18 21 23 25 26 27 30 31 34 38 41 45 48 49 50 57 59 64 72 76 78 79 81 82 83 84 85 87 91 94 98 111 114 119 124 125 130
a 3 8 10 11 12 13 15 16 17 18 21 23 25 26 27 30 31 34 38 41 45 49 50 57 59 64 72 76 78 79 81 82 83 84 85 87 91 94 98 111 114 119 120 124 125 130
a 3 8 10 11 12 13 15 16 17 18 21 23 25 26 27 30 31 34 38 41 45 49 50 57 64 72 76 78 79 81 82 83 84 85 87 91 94 98 111 114 119 120 124 125 126 130
a 3 8 10 11 12 13 15 16 17 18 21 23 25 26 27 30 31 34 38 41 45 48 49 50 57 64 72 76 78 79 81 82 83 84 85 87 91 94 98 111 114 119 124 125 126 130
a 3 8 10 11 12 13 15 16 17 18 21 23 25 26 27 30 31 34 38 41 45 48 49 50 57 64 72 76 78 79 81 82 83 84 85 87 91 94 98 114 119 123 124 125 126 130
a 3 8 10 11 12 13 15 16 17 18 21 23 25 26 27 30 31 34 38 41 45 48 49 50 57 64 72 76 78 79 81 82 84 85 87 91 94 98 111 114 119 123 124 125 126 130
a 3 8 10 11 12 13 15 16 17 18 21 23 25 26 27 30 31 34 38 41 45 48 49 50 57 64 72 76 79 81 82 84 85 87 91 94 96 98 111 114 119 123 124 125 126 130
a 3 8 10 11 12 13 15 16 18 21 23 25 26 27 30 31 34 38 41 45 48 49 50 51 57 64 72 76 79 81 82 84 85 87 91 94 96 98 111 114 119 123 124 125 126 130
a 3 8 10 11 12 13 14 15 16 18 21 23 25 26 27 30 31 34 38 41 45 48 49 50 51 57 64 72 79 81 82 84 85 87 91 94 96 98 111 114 119 123 124 125 126 130
a 3 8 10 11 12 13 14 15 16 18 21 23 25 26 27 30 31 34 38 41 45 48 49 50 51 57 64 72 76 79 81 82 84 85 87 91 94 96 98 111 114 119 123 124 126 130
a 3 8 10 11 13 14 15 16 18 21 23 25 26 27 30 31 34 38 41 45 48 49 50 51 57 64 72 76 79 81 82 84 85 87 91 94 96 98 111 114 119 123 124 125 126 130
a 3 10 11 13 14 15 16 18 21 23 25 26 27 30 31 34 38 41 45 48 49 50 51 57 64 72 76 79 81 82 84 85 87 88 91 94 96 98 111 114 119 123 124 125 126 130
a 3 10 11 14 15 16 18 21 23 25 26 27 30 31 34 38 41 45 48 49 50 51 57 64 72 76 79 81 82 84 85 87 88 91 94 96 98 111 114 115 119 123 124 125 126 130
a 3 10 11 14 15 16 18 21 23 25 26 27 30 31 38 41 45 48 49 50 51 53 57 64 72 76 79 81 82 84 85 87 88 91 94 96 98 111 114 115 119 123 124 125 126 130
a 3 10 11 14 15 16 18 21 23 25 26 27 30 31 38 41 45 46 48 49 50 51 53 57 64 72 76 79 81 82 84 85 87 88 91 94 96 98 111 115 119 123 124 125 126 130
a 3 10 11 14 15 16 18 20 21 23 25 26 27 30 31 38 41 45 46 48 49 50 51 53 57 64 72 76 79 81 82 84 85 87 88 91 94 96 98 111 115 119 123 125 126 130
a 3 10 11 14 15 16 18 20 21 23 25 26 27 30 31 38 41 45 48 49 50 51 53 57 64 72 76 79 81 82 84 85 87 88 91 94 96 98 111 114 115 119 123 125 126 130
a 3 10 11 14 15 16 18 20 21 23 25 26 27 30 31 38 41 45 48 50 51 53 57 64 72 76 79 81 82 84 85 87 88 91 94 96 98 111 113 114 115 119 123 125 126 130
a 3 10 11 14 15 16 18 21 23 25 26 27 30 31 38 41 45 48 50 51 53 57 64 72 76 79 81 82 84 85 87 88 91 94 96 98 111 113 114 115 119 123 124 125 126 130
a 3 10 11 14 15 16 18 21 23 25 26 27 30 31 38 41 45 48 50 51 53 57 64 72 76 79 81 82 84 85 87 88 91 94 96 98 105 111 113 115 119 123 124 125 126 130
a 3 10 11 14 15 16 18 21 23 25 26 27 30 31 34 38 41 45 48 50 51 57 64 72 76 79 81 82 84 85 87 88 91 94 96 98 105 111 113 115 119 123 124 125 126 130
a 3 10 11 14 15 16 18 21 23 25 26 27 30 31 34 38 41 48 50 51 57 64 72 76 79 81 82 84 85 87 88 91 94 96 98 105 111 113 115 118 119 123 124 125 126 130
a 3 4 10 11 14 15 16 18 21 23 25 26 27 30 31 34 38 41 48 50 51 57 64 72 76 79 81 82 84 85 87 88 91 94 98 105 111 113 115 118 119 123 124 125 126 130
a 3 4 10 11 14 15 16 17 18 21 23 25 26 27 30 31 34 38 41 48 50 57 64 72 76 79 81 82 84 85 87 88 91 94 98 105 111 113 115 118 119 123 124 125 126 130
a 3 4 10 11 15 16 17 18 21 23 25 26 27 30 31 34 38 41 48 50 57 64 72 76 79 81 82 84 85 87 88 91 92 94 98 105 111 113 115 118 119 123 124 125 126 130
a 3 4 10 11 15 16 17 18 19 21 23 25 26 27 30 31 34 38 41 50 57 64 72 76 79 81 82 84 85 87 88 91 92 94 98 105 111 113 115 118 119 123 124 125 126 130
a 3 4 8 10 11 15 16 17 18 19 21 23 25 26 27 30 31 34 38 41 50 57 64 72 76 79 81 82 84 85 87 91 92 94 98 105 111 113 115 118 119 123 124 125 126 130
a 3 4 10 11 15 16 17 18 19 21 23 25 26 27 30 31 34 38 41 46 50 57 64 72 76 79 81 82 84 85 87 91 92 94 98 105 111 113 115 118 119 123 124 125 126 130
a 3 4 10 11 15 16 17 18 19 21 23 25 26 27 30 31 38 41 46 50 53 57 64 72 76 79 81 82 84 85 87 91 92 94 98 105 111 113 115 118 119 123 124 125 126 130
a 3 4 10 11 15 16 17 18 19 21 23 25 26 27 30 31 38 41 46 50 53 57 64 72 76 79 81 82 84 85 87 91 92 94 98 105 111 113 115 119 123 124 125 126 127 130
a 4 9 10 11 15 16 17 18 19 21 23 25 26 27 30 31 38 41 46 50 53 57 64 72 76 79 81 82 84 85 87 91 92 94 98 105 111 113 115 119 123 124 125 126 127 130
a 4 9 10 11 15 16 17 18 19 21 23 25 26 27 30 31 38 41 46 50 53 57 64 72 73 76 79 81 82 84 85 87 91 92 94 98 105 111 113 115 119 123 124 125 126 127
a 4 9 10 11 15 16 17 18 21 23 25 26 27 30 31 38 41 46 48 50 53 57 64 72 73 76 79 81 82 84 85 87 91 92 94 98 105 111 113 115 119 123 124 125 126 127
a 4 9 10 11 12 15 16 17 18 21 23 25 26 27 30 31 38 41 46 48 50 53 57 64 72 73 76 79 81 82 84 85 87 91 92 94 98 105 111 113 119 123 124 125 126 127
a 4 9 10 11 12 15 16 17 18 21 22 23 25 26 27 30 31 38 41 46 48 50 53 57 64 72 73 79 81 82 84 85 87 91 92 94 98 105 111 113 119 123 124 125 126 127
a 4 9 10 11 12 15 16 18 21 22 23 25 26 27 30 31 38 41 46 48 50 51 53 57 64 72 73 79 81 82 84 85 87 91 92 94 98 105 111 113 119 123 124 125 126 127
a 4 9 11 12 15 16 18 21 22 23 25 26 27 30 31 38 41 46 48 50 51 53 57 63 64 72 73 79 81 82 84 85 87 91 92 94 98 105 111 113 119 123 124 125 126 127
a 4 9 11 12 15 16 18 21 22 23 24 25 26 27 30 38 41 46 48 50 51 53 57 63 64 72 73 79 81 82 84 85 87 91 92 94 98 105 111 113 119 123 124 125 126 127
a 4 9 10 11 12 15 16 18 21 22 24 25 26 27 30 38 41 46 48 50 51 53 57 63 64 72 73 79 81 82 84 85 87 91 92 94 98 105 111 113 119 123 124 125 126 127
a 4 9 10 11 12 15 16 18 21 22 24 25 26 27 30 38 41 44 46 48 50 51 53 57 63 64 72 73 79 81 82 84 85 87 91 92 94 98 105 111 113 119 123 124 125 127
a 4 9 10 11 12 15 16 18 21 22 23 24 25 26 27 30 38 41 44 46 48 50 51 53 57 63 64 72 73 79 81 82 84 85 87 91 92 94 98 105 111 113 119 123 125 127
a 9 10 11 12 15 16 18 21 22 23 24 25 26 27 30 38 41 44 46 48 50 51 53 57 63 64 72 73 79 81 82 84 85 87 91 92 94 96 98 105 111 113 119 123 125 127
a 9 10 11 12 15 16 21 22 23 24 25 26 27 30 38 41 44 46 48 50 51 53 57 63 64 67 72 73 79 81 82 84 85 87 91 92 94 96 98 105 111 113 119 123 125 127
a 4 9 10 11 12 15 16 21 22 23 24 25 26 27 30 38 41 44 46 48 50 51 53 57 63 64 67 72 73 79 81 82 84 85 87 91 92 94 98 105 111 113 119 123 125 127
a 4 9 10 11 12 15 21 22 23 24 25 26 27 30 38 41 44 46 48 50 51 53 57 63 64 67 72 73 79 81 82 84 85 87 91 92 93 94 98 105 111 113 119 123 125 127
a 4 9 10 11 12 15 16 21 23 24 25 26 27 30 38 41 44 46 48 50 51 53 57 63 64 67 72 73 79 81 82 84 85 87 91 92 93 94 98 105 111 113 119 123 125 127
a 4 9 10 11 12 15 16 21 22 23 24 25 26 27 30 41 44 46 48 50 51 53 57 63 64 67 72 73 79 81 82 84 85 87 91 92 93 94 98 105 111 113 119 123 125 127
a 4 9 10 11 12 15 16 19 21 22 23 24 25 26 27 30 41 44 46 50 51 53 57 63 64 67 72 73 79 81 82 84 85 87 91 92 93 94 98 105 111 113 119 123 125 127
a 4 9 10 11 12 13 15 16 19 21 22 23 24 25 26 27 30 41 44 46 50 51 53 57 63 64 67 72 73 79 81 82 84 85 87 91 92 93 94 98 111 113 119 123 125 127
a 2 4 9 10 11 12 13 15 16 19 21 22 23 24 25 26 27 30 41 44 46 50 51 53 57 63 64 72 73 79 81 82 84 85 87 91 92 93 94 98 111 113 119 123 125 127
a 2 4 9 10 11 12 13 15 16 19 21 22 23 24 25 26 27 30 41 44 46 50 51 53 57 63 64 67 72 73 79 81 82 84 85 87 91 92 93 94 98 111 113 119 123 127
a 2 4 9 10 11 12 13 15 16 19 20 21 23 24 25 26 27 30 41 44 46 50 51 53 57 63 64 67 72 73 79 81 82 84 85 87 91 92 93 94 98 111 113 119 123 127
a 2 4 9 10 11 12 13 15 16 19 20 21 23 24 25 26 27 30 41 44 46 50 51 53 57 63 64 67 72 73 79 81 82 84 85 87 91 92 93 94 98 111 113 119 125 127
a 2 4 9 10 11 12 13 14 15 16 19 20 21 23 24 25 27 30 41 44 46 50 51 53 57 63 64 67 72 73 79 81 82 84 85 87 91 92 93 94 98 111 113 119 125 127
a 2 4 9 10 11 12 13 14 15 16 19 21 22 23 24 25 27 30 41 44 46 50 51 53 57 63 64 67 72 73 79 81 82 84 85 87 91 92 93 94 98 111 113 119 125 127
a 2 4 9 10 11 12 13 14 15 16 19 21 22 23 24 25 27 30 41 44 46 50 51 53 57 63 64 67 72 73 79 81 82 84 85 87 91 92 93 94 98 111 113 119 123 127
a 2 4 9 10 11 12 13 14 15 16 19 21 22 23 24 25 27 30 41 46 50 51 53 57 63 64 67 72 73 79 81 82 84 85 87 91 92 93 94 98 111 113 119 123 126 127
a 2 4 9 10 11 12 13 14 15 16 19 21 22 23 24 25 26 27 30 41 46 50 51 53 57 63 64 67 72 73 79 81 82 84 85 87 91 92 93 94 98 111 113 119 123 127
a 2 4 9 10 11 12 13 14 15 16 19 21 22 23 24 25 26 27 30 38 41 46 50 51 53 57 63 64 67 72 73 79 81 82 84 85 87 91 92 93 94 98 111 113 119 127
a 2 4 9 10 11 12 13 14 15 16 19 21 23 24 25 26 27 30 38 41 46 50 51 53 57 63 64 67 72 73 76 79 81 82 84 85 87 91 92 93 94 98 111 113 119 127
a 2 4 9 10 12 13 14 15 16 19 21 23 24 25 26 27 30 38 41 46 50 51 53 57 59 63 64 67 72 73 76 79 81 82 84 85 87 91 92 93 94 98 111 113 119 127
a 2 4 9 10 12 13 14 15 16 19 21 23 24 25 26 27 30 38 46 50 51 53 57 59 63 64 67 72 73 76 79 81 82 84 85 87 91 92 93 94 98 111 113 119 123 127
a 2 4 9 10 12 13 15 16 19 21 23 24 25 26 27 30 38 41 46 50 51 53 57 59 63 64 67 72 73 76 79 81 82 84 85 87 91 92 93 94 98 111 113 119 123 127
a 2 4 9 10 12 13 14 15 16 19 21 23 24 25 26 27 30 38 41 46 50 51 53 57 59 63 64 67 72 73 76 79 81 82 84 85 87 91 92 93 98 111 113 119 123 127
a 2 4 9 10 12 13 14 15 16 19 21 23 25 26 27 30 31 38 41 46 50 51 53 57 59 63 64 67 72 73 76 79 81 82 84 85 87 91 92 93 98 111 113 119 123 127
a 2 4 9 10 12 13 14 15 16 21 23 25 26 27 30 31 38 41 46 48 50 51 53 57 59 63 64 67 72 73 76 79 81 82 84 85 87 91 92 93 98 111 113 119 123 127
a 2 4 9 10 12 13 14 15 16 21 23 24 25 26 27 30 38 41 46 48 50 51 53 57 59 63 64 67 72 73 76 79 81 82 84 85 87 91 92 93 98 111 113 119 123 127
a 2 4 9 10 13 14 15 16 21 23 24 25 26 27 30 38 41 46 48 50 51 53 57 59 63 64 67 72 73 76 79 81 82 84 85 87 91 92 93 94 98 111 113 119 123 127
a 2 4 10 13 14 15 16 21 23 24 25 26 27 30 38 41 46 48 50 51 53 57 59 63 64 67 72 73 76 79 81 82 84 85 87 88 91 92 93 94 98 111 113 119 123 127
a 2 4 10 13 14 15 21 23 24 25 26 27 30 38 41 46 48 50 51 53 57 59 63 64 67 72 73 76 79 81 82 84 85 87 88 91 92 93 94 98 111 113 119 123 126 127
a 2 4 10 13 14 15 21 23 24 25 26 27 30 38 41 46 48 50 51 53 57 59 60 63 64 67 72 73 76 79 81 82 84 85 87 88 91 92 94 98 111 113 119 123 126 127
a 2 4 10 13 14 15 19 21 23 24 25 26 27 30 38 41 46 50 51 53 57 59 60 63 64 67 72 73 76 79 81 82 84 85 87 88 91 92 94 98 111 113 119 123 126 127
a 2 4 10 13 14 15 19 21 23 25 26 27 30 31 38 41 46 50 51 53 57 59 60 63 64 67 72 73 76 79 81 82 84 85 87 88 91 92 94 98 111 113 119 123 126 127
a 4 10 13 14 15 19 21 23 25 26 27 30 31 38 41 46 50 51 53 57 59 60 63 64 67 72 73 76 79 81 82 84 85 87 88 91 92 94 98 111 113 119 123 125 126 127
a 2 4 10 13 14 15 19 21 23 25 26 27 30 31 38 41 46 50 51 53 57 59 63 64 67 72 73 76 79 81 82 84 85 87 88 91 92 94 98 111 113 119 123 125 126 127
a 2 4 10 13 14 15 19 20 21 23 25 26 27 30 31 38 41 46 50 51 53 57 59 63 64 67 72 73 76 79 81 82 84 85 87 88 91 92 94 98 111 113 119 123 125 127
a 2 4 10 13 14 15 19 20 21 23 25 26 27 28 30 31 38 41 46 50 51 53 57 59 63 64 67 72 73 76 79 81 82 84 85 88 91 92 94 98 111 113 119 123 125 127
a 2 4 10 13 14 15 19 20 21 23 25 26 27 28 30 31 38 41 46 50 53 57 59 63 64 67 72 73 76 79 81 82 84 85 88 91 92 94 98 111 113 119 123 125 126 127
a 2 4 10 13 14 15 19 20 21 23 25 26 27 28 30 31 38 41 46 53 57 59 63 64 66 67 72 73 76 79 81 82 84 85 88 91 92 94 98 111 113 119 123 125 126 127
a 2 4 10 13 14 15 19 20 21 23 25 26 27 30 31 38 41 46 53 57 59 63 64 66 67 72 73 76 79 81 82 84 85 87 88 91 92 94 98 111 113 119 123 125 126 127
a 2 4 10 13 14 15 19 20 21 23 25 26 27 30 31 38 41 46 53 57 59 63 64 66 72 73 76 79 81 82 84 85 87 88 91 92 94 98 111 113 119 123 125 126 127 130
a 2 3 4 10 13 14 15 19 20 21 23 25 26 27 30 31 38 41 46 53 57 59 64 66 72 73 76 79 81 82 84 85 87 88 91 92 94 98 111 113 119 123 125 126 127 130
a 2 3 4 10 13 15 19 20 21 23 25 26 27 30 31 38 41 46 53 57 59 64 66 72 73 76 79 81 82 84 85 87 88 91 92 93 94 98 111 113 119 123 125 126 127 130
a 2 3 4 10 13 15 20 21 23 25 26 27 30 31 38 41 46 48 53 57 59 64 66 72 73 76 79 81 82 84 85 87 88 91 92 93 94 98 111 113 119 123 125 126 127 130
a 2 3 4 10 12 13 15 20 21 23 25 26 27 30 31 38 41 46 48 53 57 59 64 66 72 73 76 79 81 82 84 85 87 91 92 93 94 98 111 113 119 123 125 126 127 130
a 2 3 4 10 12 13 15 20 21 23 25 26 27 30 31 38 41 46 48 53 57 59 64 66 72 73 76 79 81 82 84 85 87 91 92 93 94 98 111 113 118 119 123 125 126 130
a 2 3 4 10 12 13 15 20 21 23 25 26 27 30 31 38 41 48 53 57 59 64 66 72 73 76 79 81 82 84 85 87 91 92 93 94 98 111 113 114 118 119 123 125 126 130
a 2 3 4 10 12 13 15 16 20 21 23 25 26 27 30 31 38 41 48 53 57 59 64 72 73 76 79 81 82 84 85 87 91 92 93 94 98 111 113 114 118 119 123 125 126 130
a 2 3 4 12 13 15 16 20 21 23 25 26 27 30 31 38 41 48 53 57 59 64 72 73 76 79 81 82 84 85 87 91 92 93 94 98 111 113 114 118 119 123 125 126 129 130
a 2 3 4 12 13 15 16 20 21 23 25 26 27 30 31 38 41 48 51 53 57 59 64 72 73 76 79 81 82 84 85 87 91 92 93 94 98 111 113 114 118 119 123 125 126 130
a 2 3 4 12 13 15 16 20 21 23 25 26 27 30 31 38 41 48 51 53 57 59 64 70 72 73 76 79 81 82 84 85 87 91 92 93 94 98 111 113 114 118 119 123 125 126
a 2 3 4 12 13 15 16 20 21 23 25 26 27 30 31 34 38 41 48 51 57 59 64 70 72 73 76 79 81 82 84 85 87 91 92 93 94 98 111 113 114 118 119 123 125 126
a 2 3 4 12 13 15 16 20 21 23 25 26 27 30 31 34 38 41 45 48 51 57 59 64 70 72 73 76 79 81 82 84 85 87 91 92 93 94 98 111 113 114 119 123 125 126
a 2 3 4 12 13 15 16 20 21 23 25 26 27 30 31 34 38 41 45 48 51 57 59 64 70 72 73 76 79 81 82 84 85 87 91 92 93 94 98 111 113 114 119 123 125 130
a 2 3 4 10 12 13 15 16 20 21 23 25 26 27 30 31 34 38 41 45 48 51 57 59 64 70 72 73 76 79 81 84 85 87 91 92 93 94 98 111 113 114 119 123 125 130
a 2 3 4 10 12 13 15 16 20 21 23 25 26 27 30 31 34 38 41 45 48 51 57 59 64 70 72 73 76 79 81 84 85 87 91 92 93 94 98 108 113 114 119 123 125 130
a 2 3 4 10 13 15 16 20 21 23 25 26 27 30 31 34 38 41 45 48 51 57 59 64 70 72 73 76 79 81 84 85 87 88 91 92 93 94 98 108 113 114 119 123 125 130
a 2 3 4 10 13 15 16 20 21 23 25 26 27 30 31 34 38 41 45 48 51 57 59 64 67 70 72 73 76 79 81 84 85 87 88 91 92 93 94 98 108 113 114 119 123 125
a 2 3 4 10 13 15 16 20 21 23 25 26 27 30 31 34 41 45 48 51 57 59 64 67 70 72 73 76 79 81 84 85 87 88 91 92 93 94 98 108 113 114 119 123 125 126
a 2 3 4 10 13 15 16 18 20 21 23 25 26 27 30 31 34 41 45 48 51 57 59 64 70 72 73 76 79 81 84 85 87 88 91 92 93 94 98 108 113 114 119 123 125 126
a 2 3 10 13 15 16 18 20 21 23 25 26 27 30 31 34 41 45 48 51 57 59 64 70 72 73 76 79 81 82 84 85 87 88 91 92 93 94 98 108 113 114 119 123 125 126
a 2 3 10 13 15 16 18 20 21 23 25 26 27 30 31 34 41 45 48 51 57 64 70 72 73 76 79 81 82 84 85 87 88 91 92 93 94 98 108 113 114 119 123 125 126 130
a 2 3 10 13 15 16 18 20 21 23 25 26 27 30 31 34 41 45 48 51 57 64 70 72 73 74 76 79 81 82 84 85 87 88 91 92 93 94 98 108 113 114 119 123 126 130
a 2 3 10 13 15 16 18 20 21 23 25 26 27 28 30 31 34 41 45 48 51 57 64 70 72 73 74 76 79 81 82 84 85 88 91 92 93 94 98 108 113 114 119 123 126 130
a 2 3 10 13 15 16 18 20 21 23 25 26 27 28 30 31 34 41 45 48 51 57 64 70 72 73 76 79 81 82 84 85 88 91 92 93 94 98 108 113 114 119 123 125 126 130
a 2 3 4 10 13 15 16 18 20 21 23 25 26 27 30 31 34 41 45 48 51 57 64 70 72 73 76 79 81 82 84 85 88 91 92 93 94 98 108 113 114 119 123 125 126 130
a 2 3 4 10 11 13 15 16 18 20 21 23 25 26 27 30 31 34 45 48 51 57 64 70 72 73 76 79 81 82 84 85 88 91 92 93 94 98 108 113 114 119 123 125 126 130
a 2 3 4 10 11 13 16 18 20 21 23 25 26 27 30 31 34 45 48 50 51 57 64 70 72 73 76 79 81 82 84 85 88 91 92 93 94 98 108 113 114 119 123 125 126 130
a 2 3 4 10 11 13 16 18 20 21 23 25 26 27 30 34 38 45 48 50 51 57 64 70 72 73 76 79 81 82 84 85 88 91 92 93 94 98 108 113 114 119 123 125 126 130
a 2 3 4 10 11 13 16 20 21 23 25 26 27 30 34 38 45 48 50 51 57 64 70 72 73 76 79 81 82 84 85 87 88 91 92 93 94 98 108 113 114 119 123 125 126 130
a 2 3 4 10 11 13 16 20 21 23 25 26 27 30 34 38 45 46 48 50 51 57 64 70 72 73 76 79 81 82 84 85 87 88 91 92 93 94 98 108 113 119 123 125 126 130
a 3 4 10 11 13 16 20 21 23 25 26 27 30 34 38 45 46 48 50 51 57 59 64 70 72 73 76 79 81 82 84 85 87 88 91 92 93 94 98 108 113 119 123 125 126 130
a 3 4 10 11 13 14 16 21 23 25 26 27 30 34 38 45 46 48 50 51 57 59 64 70 72 73 76 79 81 82 84 85 87 88 91 92 93 94 98 108 113 119 123 125 126 130
a 3 4 10 11 13 14 16 21 23 25 26 27 30 34 38 45 46 48 50 51 57 59 64 70 72 73 76 79 81 82 84 85 87 88 91 92 93 94 98 111 113 119 123 125 126 130
a 3 4 10 11 14 16 21 23 25 26 27 30 34 38 45 46 48 50 51 57 59 64 70 72 73 76 79 81 82 84 85 87 88 91 92 93 94 98 111 113 115 119 123 125 126 130
a 3 4 10 11 14 16 21 23 25 26 27 30 34 38 45 46 48 50 51 57 59 64 70 72 73 76 79 81 84 85 87 88 91 92 93 94 98 111 113 115 116 119 123 125 126 130
a 3 4 10 11 14 16 21 23 25 26 27 30 38 45 46 48 50 51 53 57 59 64 70 72 73 76 79 81 84 85 87 88 91 92 93 94 98 111 113 115 116 119 123 125 126 130
a 3 4 10 11 14 16 21 23 25 26 27 30 38 46 48 50 51 53 57 59 64 70 72 73 76 79 81 84 85 87 88 91 92 93 94 98 111 113 115 116 119 123 125 126 127 130
a 4 10 11 14 16 21 23 25 26 27 30 38 46 48 50 51 53 57 59 63 64 70 72 73 76 79 81 84 85 87 88 91 92 93 94 98 111 113 115 116 119 123 125 126 127 130
a 4 9 10 11 14 16 21 23 25 26 27 30 38 46 48 50 51 53 57 59 63 64 70 72 73 76 79 81 84 85 87 88 91 93 94 98 111 113 115 116 119 123 125 126 127 130
a 4 9 10 11 14 16 21 23 25 26 27 30 38 46 48 50 51 53 57 59 63 64 67 70 72 73 76 79 81 84 85 87 88 91 93 94 98 111 113 115 116 119 123 125 126 127
a 4 9 10 11 14 16 21 23 24 25 26 27 30 38 46 48 50 51 53 57 59 63 64 67 72 73 76 79 81 84 85 87 88 91 93 94 98 111 113 115 116 119 123 125 126 127
a 4 9 10 11 14 16 21 23 24 25 26 27 30 38 46 48 50 51 53 57 59 63 64 67 72 76 79 80 81 84 85 87 88 91 93 94 98 111 113 115 116 119 123 125 126 127
a 9 10 11 14 16 21 23 24 25 26 27 30 38 46 48 50 51 53 57 59 63 64 67 72 76 79 80 81 84 85 87 88 91 93 94 98 102 111 113 115 116 119 123 125 126 127
a 9 10 11 14 16 21 22 23 24 25 26 27 30 38 46 48 50 51 53 57 59 63 64 67 72 79 80 81 84 85 87 88 91 93 94 98 102 111 113 115 116 119 123 125 126 127
a 9 10 11 14 16 21 22 23 24 25 26 27 30 38 46 48 49 50 51 53 57 59 63 64 67 72 79 80 81 84 85 87 88 91 93 94 98 102 111 115 116 119 123 125 126 127
c Step: 315
#END: [Tue Sep  5 07:24:45 2023]