#BEGIN: [Mon Sep  4 16:40:26 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /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 54e5d71639a09688e536f062a8611057fd68fe64e44ab615debe56e277f60548
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 44 45 52 57 64 72 73 79 81 82 83 85 87 91 94 96 104 105 111 112 114 119 120 121 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 68 72 73 79 81 82 83 85 87 91 94 96 104 105 111 112 114 120 121 124 125 129 130
a 3 8 11 14 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 52 57 64 68 72 73 79 81 82 83 85 87 91 94 96 105 111 112 114 120 121 124 125 129 130
a 3 8 11 14 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 52 57 64 72 73 79 81 82 83 85 87 91 94 96 105 111 112 114 119 120 121 124 125 129 130
a 3 8 11 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 52 57 64 72 73 79 81 82 83 85 87 91 94 96 98 105 111 112 114 119 120 121 124 125 129 130
a 3 8 11 15 16 17 18 19 21 25 26 27 30 34 36 38 41 44 45 52 57 64 72 73 79 81 82 83 85 87 91 94 95 96 98 105 111 112 114 119 120 121 124 125 129 130
a 3 8 11 15 16 17 18 19 21 25 26 27 30 34 36 38 41 44 45 52 57 64 72 73 79 81 83 85 87 91 94 95 96 98 105 111 112 114 116 119 120 121 124 125 129 130
a 3 11 15 16 17 18 19 21 25 26 27 30 34 36 38 41 44 45 52 57 61 64 72 73 79 81 83 85 87 91 94 95 96 98 105 111 112 114 116 119 120 121 124 125 129 130
a 3 11 15 16 17 18 19 21 25 26 27 30 34 36 38 41 44 45 52 57 61 64 72 73 79 81 83 85 87 91 93 94 95 96 98 105 111 112 114 116 119 120 121 125 129 130
a 3 11 12 15 16 17 18 19 21 25 26 27 30 34 36 38 41 44 45 52 57 61 64 72 73 79 81 83 85 87 91 93 94 95 96 98 105 111 112 114 116 119 120 121 125 129
a 3 12 15 16 17 18 19 21 25 26 27 30 34 36 38 41 44 45 52 57 61 64 72 73 79 81 83 85 87 91 93 94 95 96 98 105 111 112 114 116 119 120 121 125 129 130
a 3 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 52 57 61 64 72 73 79 81 83 85 87 91 93 94 96 98 105 111 112 114 116 119 120 121 125 129 130
a 3 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 52 57 61 64 72 73 78 79 81 83 85 87 91 93 94 96 98 105 111 112 114 116 119 120 121 125 129
a 3 8 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 52 57 61 64 73 78 79 81 83 85 87 91 93 94 96 98 105 111 112 114 116 119 120 121 125 129
a 8 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 52 57 61 64 72 73 78 79 81 83 85 87 91 93 94 96 98 105 111 112 114 116 119 120 121 125 129
a 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 52 57 61 64 72 73 78 79 81 83 85 87 91 93 94 96 98 105 111 112 114 116 119 120 121 125
a 8 11 12 15 16 17 18 19 21 23 25 26 27 30 36 38 41 44 45 52 57 61 64 72 73 78 79 81 83 85 87 91 93 94 96 98 105 111 112 114 116 119 120 121 125 129
a 8 11 12 15 16 17 18 19 21 23 25 26 27 30 36 38 41 44 45 52 57 61 64 72 73 78 79 81 83 84 85 87 91 93 94 96 98 105 111 114 116 119 120 121 125 129
a 8 11 12 15 16 17 18 19 21 23 25 26 27 30 36 38 41 44 45 50 52 57 61 64 72 73 78 79 81 83 84 85 87 91 93 94 96 98 105 111 114 116 119 120 121 125
a 8 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 61 64 72 73 78 79 83 84 85 87 91 93 94 96 98 105 111 114 116 119 120 121 125
a 11 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 61 64 72 73 78 79 81 83 84 85 87 91 93 94 96 98 105 111 114 116 119 120 121 125
a 11 12 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 61 64 72 73 78 79 81 83 84 85 87 91 92 93 94 96 98 105 111 114 116 119 120 121 125
a 3 12 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 61 64 72 73 78 79 81 83 84 85 87 91 92 93 94 96 98 105 111 114 116 119 120 121 125
a 3 12 13 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 61 64 72 73 78 79 81 83 84 85 87 91 92 93 94 96 98 111 114 116 119 120 121 125
a 3 8 12 13 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 61 64 72 73 78 79 81 83 84 85 87 91 93 94 96 98 111 114 116 119 120 121 125
a 3 8 12 13 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 49 50 52 57 61 64 72 78 79 81 83 84 85 87 91 93 94 96 98 111 114 116 119 120 121 125
a 3 8 12 13 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 49 50 52 57 61 64 72 78 79 81 83 84 85 87 91 94 96 98 111 114 116 119 120 121 124 125
a 3 8 12 13 16 17 18 21 23 25 26 27 30 34 36 38 41 44 45 49 50 52 57 61 64 72 78 79 81 83 84 85 87 91 92 94 96 98 111 114 116 119 120 121 124 125
a 3 8 12 13 16 17 18 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 61 64 72 73 78 79 81 83 84 85 87 91 92 94 96 98 111 114 116 119 120 121 124 125
a 3 12 13 15 16 17 18 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 61 64 72 73 78 79 81 83 84 85 87 91 92 94 96 98 111 114 116 119 120 121 124 125
a 3 12 13 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 61 64 72 73 78 79 81 83 84 85 87 91 92 94 96 98 111 114 116 119 120 121 124
a 12 13 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 61 64 72 73 78 79 81 83 84 85 87 91 92 94 96 98 111 114 116 119 120 121 124 125
a 11 12 13 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 61 64 72 73 78 81 83 84 85 87 91 92 94 96 98 111 114 116 119 120 121 124 125
a 11 13 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 61 64 72 73 78 79 81 83 84 85 87 91 92 94 96 98 111 114 116 119 120 121 124 125
a 11 13 15 16 17 18 19 21 22 23 25 26 27 30 34 36 38 41 44 45 50 52 57 61 64 72 73 78 79 81 83 84 85 87 91 92 94 96 98 111 114 116 119 120 124 125
a 11 12 15 16 17 18 19 21 22 23 25 26 27 30 34 36 38 41 44 45 50 52 57 61 64 72 73 78 79 81 83 84 85 87 91 92 94 96 98 111 114 116 119 120 124 125
a 11 12 15 16 17 18 19 21 22 23 25 26 27 30 34 36 38 41 44 45 50 52 57 61 64 72 73 78 79 81 83 84 85 87 91 94 96 98 105 111 114 116 119 120 124 125
a 12 15 16 17 18 19 21 22 23 25 26 27 30 34 36 38 41 44 45 50 52 57 61 64 72 73 78 79 81 83 84 85 87 91 92 94 96 98 105 111 114 116 119 120 124 125
a 12 15 16 17 18 19 21 22 23 25 26 27 30 34 36 38 41 44 45 50 52 57 64 72 73 78 79 81 83 84 85 87 91 92 94 96 98 105 111 114 116 119 120 123 124 125
a 12 15 16 17 18 19 21 22 23 25 26 27 30 34 36 38 41 44 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 12 15 17 18 19 21 22 23 25 26 27 30 34 36 38 41 44 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 12 15 17 18 19 21 22 23 25 26 27 30 34 36 38 41 44 45 46 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 119 120 123 124 125
a 3 11 12 17 18 19 21 22 23 25 26 27 30 34 36 38 41 44 45 46 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 119 120 123 124 125
a 3 11 12 16 17 18 19 21 22 23 25 26 27 30 34 36 38 41 44 45 46 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 119 120 124 125
a 3 11 12 16 17 18 19 21 22 23 25 26 27 30 34 38 41 44 45 46 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 113 119 120 124 125
a 3 11 12 15 16 17 18 19 21 23 25 26 27 30 34 38 41 44 45 46 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 113 119 120 124 125
a 3 11 12 15 16 17 18 21 22 23 25 26 27 30 34 38 41 44 45 46 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 113 119 120 124 125
a 3 11 12 15 16 18 21 22 23 24 25 26 27 30 34 38 41 44 45 46 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 113 119 120 124 125
a 3 11 12 15 16 18 19 21 22 23 24 25 26 27 30 34 38 41 44 45 46 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 113 119 120 125
a 11 12 15 16 18 19 21 22 23 24 25 26 27 30 34 38 41 44 45 46 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 113 119 120 124 125
a 11 12 15 16 17 18 19 21 22 23 25 26 27 30 34 38 41 44 45 46 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 113 119 120 124 125
a 11 12 15 16 17 18 19 21 22 23 25 26 27 30 34 36 38 41 44 45 46 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 119 120 124 125
a 3 11 12 15 17 18 19 21 22 23 25 26 27 30 34 36 38 41 44 45 46 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 119 120 124 125
a 3 11 12 15 17 19 21 22 23 25 26 27 30 34 36 38 41 44 45 46 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 119 120 124 125
a 3 11 12 15 17 19 21 22 23 25 26 27 30 34 36 38 41 44 45 46 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 119 120 123 124
a 3 11 12 15 17 19 21 22 23 25 26 27 30 34 36 38 41 44 45 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 124
a 3 11 12 15 17 19 21 22 23 25 26 27 30 34 36 38 41 44 45 50 52 57 60 64 72 73 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 17 19 21 22 23 25 26 27 30 34 36 38 41 44 45 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 114 119 120 123 125
a 3 11 12 15 17 19 21 22 23 25 26 27 30 34 36 38 41 44 45 46 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 119 120 123 125
a 3 11 12 15 17 19 21 22 23 25 26 27 30 34 36 38 41 44 45 46 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 105 111 119 120 123 124 125
a 3 12 15 17 19 21 22 23 25 26 27 30 34 36 38 41 44 45 46 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 119 120 123 124 125
a 3 8 12 15 17 19 21 23 25 26 27 30 34 36 38 41 44 45 46 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 119 120 123 124 125
a 3 8 12 15 17 19 21 23 25 26 27 30 34 38 41 44 45 46 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 113 119 120 123 124 125
a 8 12 15 16 17 19 21 23 25 26 27 30 34 38 41 44 45 46 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 113 119 120 123 124 125
a 8 12 15 16 17 19 21 23 25 26 27 30 34 38 41 44 45 46 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 113 119 120 123 125 129
a 8 12 15 16 17 19 21 23 25 26 27 30 34 38 41 44 45 46 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 105 111 113 119 120 123 124 129
a 8 12 15 16 17 19 21 23 25 26 27 30 34 38 41 44 45 46 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 111 113 119 120 123 124 129 130
a 8 12 13 15 16 17 19 21 23 25 26 27 30 34 38 41 44 45 46 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 111 113 119 120 123 124 130
a 8 12 13 15 16 17 19 21 23 25 26 27 30 34 38 41 44 45 46 50 52 57 60 64 72 73 78 79 82 83 84 85 87 91 92 94 96 98 111 113 119 120 123 124 125 130
a 8 12 13 16 17 19 21 23 25 26 27 30 34 38 41 44 45 46 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 111 113 119 120 123 124 125 130
a 8 12 13 16 17 19 21 23 25 26 27 30 34 36 38 41 44 45 46 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 111 119 120 123 124 125 130
a 8 12 13 15 16 17 19 21 23 25 26 27 30 34 36 38 41 44 45 46 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 111 120 123 124 125 130
a 8 12 13 15 16 17 19 21 23 25 26 27 30 34 36 38 41 44 45 46 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 111 120 121 124 125 130
a 8 12 13 15 16 17 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 60 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 111 114 120 121 124 125 130
a 8 12 13 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 111 114 120 121 124 125 130
a 8 12 13 15 16 17 18 19 21 23 25 26 30 34 36 38 41 44 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 111 114 119 120 121 124 125 130
a 3 8 12 13 15 16 17 18 19 21 23 25 26 30 34 36 38 41 44 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 111 114 119 120 121 124 130
a 8 12 13 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 111 114 119 120 121 124 130
a 8 12 13 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 114 119 120 121 130
a 8 12 13 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 64 72 73 78 79 81 82 84 85 87 91 92 93 94 96 98 111 114 119 120 121 125 130
a 12 13 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 114 119 120 121 125 130
a 8 12 13 15 16 17 18 19 21 23 25 27 30 34 36 38 41 44 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 114 119 120 121 125 130
a 8 12 13 15 16 18 19 21 23 25 27 30 34 36 38 41 44 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 114 119 120 121 125 129 130
a 8 12 13 15 16 17 18 19 21 23 25 27 30 34 36 38 41 44 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 114 119 120 121 125 129
a 8 12 13 15 16 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 114 119 120 121 125 129
a 8 12 15 16 17 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 114 119 120 121 125 129
a 2 8 12 15 16 18 19 21 23 25 26 27 30 34 36 38 41 44 45 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 114 119 120 121 125 129
a 2 8 12 15 16 18 19 21 23 25 26 27 30 34 36 38 41 44 45 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 114 119 120 121 125 129
a 2 8 12 15 16 18 19 21 25 26 27 30 34 36 38 41 44 45 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 95 96 98 111 114 119 120 121 125 129
a 2 8 12 13 15 16 18 19 21 25 26 27 30 34 36 38 41 44 45 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 95 96 98 111 114 119 120 121 125
a 2 3 8 12 13 15 16 18 19 25 26 27 30 34 36 38 41 44 45 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 95 96 98 111 114 119 120 121 125
a 2 3 8 12 13 15 16 18 19 21 25 26 27 30 34 36 38 41 44 45 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 95 96 98 111 114 119 120 121
a 3 8 12 13 15 16 18 19 21 24 25 26 27 30 34 36 38 41 44 45 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 95 96 98 111 114 119 120 121
a 2 3 8 12 13 15 16 18 19 21 24 25 26 27 30 34 36 38 41 44 45 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 95 96 98 111 114 119 120
a 2 3 8 11 12 13 15 16 18 19 21 24 25 26 27 30 34 36 38 41 44 45 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 95 96 98 111 114 120
a 3 8 11 12 13 15 16 18 19 21 24 25 26 27 30 34 36 38 41 44 45 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 95 96 98 111 114 120 121
a 3 8 11 13 15 16 18 19 21 24 25 26 27 30 34 36 38 41 44 45 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 95 96 98 111 114 120 121 125
a 3 8 11 13 15 16 19 21 24 25 26 27 30 34 36 38 41 44 45 49 50 52 57 64 67 72 78 79 81 82 83 84 85 87 91 92 93 94 95 96 98 111 114 120 121 125
a 3 8 11 13 15 16 19 21 24 25 26 27 30 34 36 38 41 44 45 49 50 52 57 64 67 72 78 79 81 82 83 84 85 87 91 92 93 94 95 96 98 111 114 119 120 125
a 3 8 11 12 13 15 16 19 21 24 25 26 27 30 34 36 38 41 44 45 49 50 52 57 64 67 72 79 81 82 83 84 85 87 91 92 93 94 95 96 98 111 114 119 120 125
a 3 8 11 12 13 15 16 19 21 24 25 26 27 30 34 36 38 41 44 45 49 50 52 57 64 67 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 114 119 120 125
a 2 3 8 11 12 13 15 16 19 21 24 25 26 27 30 34 36 38 41 44 45 49 50 52 57 64 67 72 78 79 81 82 83 84 85 87 91 92 93 94 98 111 114 119 120 125
a 2 3 8 11 12 13 15 16 19 21 24 25 26 27 30 34 36 38 41 44 45 49 50 52 57 60 64 67 72 78 79 81 82 83 84 85 87 91 92 94 98 111 114 119 120 125
a 2 3 8 11 12 13 15 16 19 21 23 24 25 26 27 30 34 36 38 41 44 45 49 50 52 57 60 64 67 72 78 79 81 82 83 84 85 87 91 92 94 98 111 114 119 120
a 2 3 8 11 12 13 15 16 19 21 23 24 25 26 27 30 34 36 38 41 44 45 49 50 52 57 60 64 67 72 78 79 81 82 83 84 85 87 91 92 94 96 98 111 119 120
a 2 8 11 12 13 15 16 19 21 23 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 60 64 67 72 78 79 81 82 83 84 85 87 91 92 94 96 98 111 119 120
a 2 8 11 12 13 15 16 19 21 23 24 25 26 27 30 34 36 38 41 44 45 49 50 52 57 60 64 67 72 78 79 81 82 83 84 85 87 91 92 94 96 98 111 119 120 125
a 2 8 11 12 13 15 16 19 21 23 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 67 72 78 79 81 82 83 84 85 87 91 92 94 96 98 111 119 120 125
a 2 8 11 12 13 15 16 19 21 23 24 25 26 30 34 36 38 41 44 45 46 49 50 52 57 64 67 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 125
a 2 8 11 12 13 15 16 19 21 23 24 25 26 27 30 34 36 38 44 45 46 49 50 52 57 64 67 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 125
a 2 8 11 12 13 15 16 19 21 23 24 25 26 27 30 34 36 38 44 45 46 49 50 52 57 64 67 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 121
a 2 8 11 12 13 15 16 18 19 21 23 24 25 26 27 30 34 36 38 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 121
a 8 11 12 13 15 16 18 19 21 23 24 25 26 27 30 34 36 38 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 121 129
a 2 8 11 13 15 16 18 19 21 23 24 25 26 27 30 34 36 38 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 121 129
a 2 8 11 12 13 15 16 18 19 21 23 24 25 26 27 30 34 36 38 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 96 98 111 119 120 121 129
a 2 11 12 13 15 16 18 19 21 23 24 25 26 27 30 34 36 38 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 121 129
a 2 11 12 13 15 16 18 21 23 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 121 129
a 2 11 12 13 15 16 18 19 21 23 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 119 120 121 129
a 2 3 11 12 13 15 16 18 19 21 23 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 120 121 129
a 2 3 8 11 13 15 16 18 19 21 23 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 120 121 129
a 2 3 8 11 15 16 18 19 21 23 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 119 120 121 129
a 3 8 11 13 15 16 18 19 21 23 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 119 120 121 129
a 8 11 12 13 15 16 18 19 21 23 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 119 120 121 129
a 3 8 11 12 13 15 16 18 19 21 23 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 119 120 121
a 3 8 11 12 13 15 16 18 19 21 23 24 25 26 27 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 103 119 120 121
a 3 8 11 12 13 15 16 18 19 21 23 24 25 26 27 34 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 103 119 120 121 125
a 3 8 12 13 15 16 18 19 21 23 24 25 26 27 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 103 119 120 121 125
a 3 8 12 13 15 16 18 19 21 23 24 25 26 27 34 36 38 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 103 111 119 120 121 125
a 3 8 12 13 15 16 18 19 21 23 24 25 26 27 34 36 38 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 103 111 119 120 123 125
a 3 8 13 15 16 18 19 21 23 24 25 26 27 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 103 111 119 120 123 125
a 3 8 13 15 16 18 19 21 23 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 123 125
a 3 13 15 16 18 19 21 22 23 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 123 125
a 3 11 15 16 18 19 21 22 23 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 123 125
a 11 13 15 16 18 19 21 22 23 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 123 125
a 11 12 13 15 16 18 19 21 22 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 123 125
a 11 12 13 15 16 18 19 21 22 24 25 26 27 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 103 111 119 120 123 125
a 12 13 15 16 18 19 21 22 23 24 25 26 27 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 103 111 119 120 123 125
a 8 12 13 15 16 18 19 21 23 24 25 26 27 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 103 111 119 120 123 125
a 8 12 13 15 16 18 19 21 23 24 25 26 27 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 103 111 119 120 121 125
a 8 11 12 13 15 16 18 19 21 23 24 25 26 27 34 36 38 41 44 45 46 49 50 52 57 64 72 79 81 82 83 84 85 87 91 92 93 94 96 98 103 111 119 120 121 125
a 8 11 12 13 15 16 18 19 21 23 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 121 125
a 8 11 12 13 15 16 18 19 21 23 24 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 79 81 82 83 84 85 87 91 92 93 96 98 111 119 120 121 125 129
a 8 11 12 13 15 16 18 19 21 23 24 25 26 27 30 34 36 38 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 96 98 111 119 120 121 125 129
a 8 11 12 13 15 16 18 19 21 23 25 26 27 30 34 36 38 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 96 98 111 119 120 121 125 129 130
a 11 12 13 15 16 18 19 21 23 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 96 98 111 119 120 121 125 129 130
a 2 12 13 15 16 18 19 21 23 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 96 98 111 119 120 121 125 129 130
a 2 12 13 15 16 18 19 21 23 25 26 27 30 34 36 38 41 44 45 46 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 93 96 98 111 119 120 121 125 129 130
a 2 12 13 15 16 18 19 21 23 25 26 27 30 34 36 38 41 44 45 46 50 52 57 64 72 73 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 121 125 130
a 2 12 13 15 16 18 19 21 23 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 121 125 130
a 2 8 12 13 15 16 18 19 21 23 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 121 130
a 8 12 13 15 16 18 19 21 23 25 26 27 30 34 36 38 41 44 45 46 49 50 52 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 121 125 130
a 8 12 13 15 16 18 19 21 23 25 26 27 30 31 34 36 38 41 44 45 46 49 50 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 121 125 130
a 3 12 13 15 16 18 19 21 23 25 26 27 30 31 34 36 38 41 44 45 46 49 50 57 64 72 78 79 81 82 83 84 85 87 91 92 93 94 96 98 111 119 120 121 125 130
a 2 3 12 13 15 16 18 19 21 23 25 26 27 30 31 34 36 38 41 44 45 46 49 50 57 64 72 78 79 81 82 83 84 85 87 91 92 94 96 98 111 119 120 121 125 130
a 2 3 12 13 15 16 18 19 21 23 25 26 27 30 31 34 36 38 41 44 46 49 50 57 64 72 78 79 81 82 83 84 85 87 91 92 94 96 98 111 118 119 120 121 125 130
a 2 3 8 12 13 15 16 18 19 21 23 25 26 27 30 31 34 36 38 41 44 46 49 50 57 64 72 78 79 81 82 83 84 85 87 91 92 94 96 98 111 118 119 120 121 125
a 2 3 8 12 13 15 16 18 19 21 23 25 26 27 30 31 34 36 38 41 44 46 49 50 57 64 72 78 79 81 82 83 84 85 87 91 92 94 96 98 108 118 119 120 121 125
a 2 3 8 12 13 15 16 18 19 21 23 25 26 27 30 31 34 36 38 41 44 46 50 57 64 72 73 78 79 81 82 83 84 85 87 91 92 94 96 98 108 118 119 120 121 125
a 2 3 8 12 13 15 16 18 19 21 23 25 26 27 30 31 34 36 38 41 44 46 50 57 64 72 73 78 79 81 82 83 84 85 87 91 92 93 94 96 98 108 118 119 120 125
a 2 3 8 12 13 15 16 18 19 21 23 25 26 27 30 31 34 36 38 41 44 46 50 57 64 72 73 78 79 81 82 83 84 85 87 91 93 94 96 98 108 118 119 120 123 125
a 3 8 12 13 15 16 18 19 21 23 25 26 27 30 31 34 36 38 41 44 46 50 57 64 72 73 78 79 81 82 83 84 85 87 91 93 94 96 98 108 118 119 120 123 125 130
a 3 8 12 13 15 16 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 93 94 96 98 108 114 118 119 120 123 125 130
a 2 3 8 12 13 15 16 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 93 94 96 98 108 114 118 119 120 123 125
a 2 3 8 12 13 15 16 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 93 94 96 98 108 114 119 120 123 125 130
a 2 3 8 12 13 15 16 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 87 90 91 93 94 96 98 108 114 119 120 123 125 130
a 2 3 8 12 13 15 16 18 19 21 23 25 26 27 30 34 36 38 41 44 50 57 64 72 73 78 79 81 82 83 84 87 90 91 93 94 96 98 108 114 118 119 120 123 125 130
a 2 3 8 12 13 15 16 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 87 90 91 93 94 96 98 108 114 118 119 120 123 125
a 2 3 8 12 13 15 16 18 19 21 23 25 26 27 31 34 36 38 41 44 50 57 64 72 73 78 79 81 82 83 84 87 90 91 93 94 96 98 103 108 114 118 119 120 123 125
a 2 8 12 13 15 16 18 19 21 23 25 26 27 31 34 36 38 41 44 50 57 64 72 73 78 79 81 82 83 84 87 90 91 92 93 94 96 98 103 108 114 118 119 120 123 125
a 2 8 12 13 15 16 18 19 21 23 25 26 27 31 34 36 38 41 44 50 57 64 72 73 78 79 81 82 83 84 87 90 91 92 93 94 96 103 108 114 118 119 120 123 125 130
a 2 12 13 15 16 18 19 21 23 25 26 27 31 34 36 38 41 44 50 57 64 72 73 78 79 81 82 83 84 87 90 91 92 93 94 96 98 103 108 114 118 119 120 123 125 130
a 2 12 13 15 16 18 19 21 23 25 26 27 31 34 36 38 41 44 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 103 108 114 118 119 120 123 125 130
a 2 12 13 15 16 18 19 21 23 25 26 27 31 34 36 38 41 44 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 114 119 120 123 125 130
a 2 12 13 15 16 18 19 21 23 25 26 27 31 34 36 38 41 44 50 57 64 72 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 114 118 119 120 123 125 130
a 2 12 13 15 16 18 19 21 23 26 27 31 34 36 38 41 44 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 114 118 119 120 123 125 130
a 2 12 13 15 16 18 19 21 23 26 27 31 34 36 38 41 43 44 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 114 118 119 120 125 130
a 12 13 15 16 18 19 21 23 26 27 31 34 36 38 41 43 44 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 114 118 119 120 123 125 130
a 2 12 13 15 16 18 19 21 23 26 27 31 34 36 38 41 43 44 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 114 118 119 120 123 130
a 2 12 13 15 16 19 21 23 26 27 31 34 36 38 41 43 44 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 114 118 119 120 123 125 130
a 2 12 13 15 16 18 19 21 23 26 27 31 34 36 38 41 43 44 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 114 118 119 120 123 125
a 8 12 13 15 16 18 19 21 23 26 27 31 34 36 38 41 43 44 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 114 118 119 120 123 125
a 2 8 13 15 16 18 19 21 23 26 27 31 34 36 38 41 43 44 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 114 118 119 120 123 125
a 2 8 12 13 15 16 18 19 21 23 26 27 31 34 36 38 41 43 44 50 57 64 72 73 78 79 81 82 84 85 87 90 91 92 93 94 96 98 103 108 114 118 119 120 123 125
a 2 8 12 13 15 16 18 19 21 23 26 27 31 34 36 38 41 43 44 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 114 118 119 120 123
a 2 8 13 15 16 18 19 21 23 26 27 31 34 36 38 41 43 44 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 114 118 119 120 123 130
a 2 8 12 13 15 16 18 19 21 23 26 27 31 34 36 38 41 43 44 50 57 64 72 73 78 79 81 82 83 84 85 87 91 92 93 94 96 98 103 108 114 118 119 120 123 130
a 2 3 8 12 13 15 16 18 19 21 23 26 27 31 34 36 38 41 43 44 57 64 72 73 78 79 81 82 83 84 85 87 91 92 93 94 96 98 103 108 114 118 119 120 123 130
a 2 3 8 12 13 15 16 18 19 21 23 27 31 34 36 38 41 43 44 50 57 64 72 73 78 79 81 82 83 84 85 87 91 92 93 94 96 98 103 108 114 118 119 120 123 130
a 2 3 8 12 13 15 16 18 19 21 23 27 31 34 36 38 41 43 44 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 114 118 119 120 123
a 2 3 8 12 13 15 16 18 19 21 23 27 31 34 36 41 43 44 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 114 118 119 120 123 125
a 2 3 8 12 13 15 16 18 19 21 23 27 31 34 36 38 41 43 44 50 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 114 118 119 120 123 125
a 2 3 8 12 13 15 16 18 19 21 23 27 31 34 36 38 41 43 44 46 50 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 118 119 120 123 125
a 2 3 8 12 13 15 16 18 19 21 23 27 31 34 36 38 41 43 44 46 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 118 119 120 123
a 2 3 8 12 13 15 16 18 19 21 23 27 31 34 36 38 41 44 46 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 93 94 96 98 103 108 118 119 120 123 125
a 2 3 8 12 13 15 16 18 19 21 23 27 31 34 36 38 41 43 44 46 50 57 64 72 73 78 79 81 82 83 84 85 87 90 91 92 94 96 98 103 108 118 119 120 123 125
a 2 3 8 12 13 15 16 18 19 21 23 27 28 31 34 36 38 41 43 44 46 50 57 64 72 73 78 79 81 82 83 84 85 90 91 92 94 96 98 103 108 118 119 120 123 125
a 2 3 8 12 13 15 16 18 19 21 23 27 28 31 34 36 38 41 43 46 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 94 96 98 103 108 118 119 120 123 125
a 2 3 8 12 13 15 16 18 19 21 23 27 28 31 34 36 38 41 43 45 46 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 94 96 98 103 108 119 120 123 125
a 2 3 8 12 13 15 16 18 19 21 23 27 28 31 34 36 38 41 43 45 46 49 50 57 64 72 76 78 79 81 82 83 84 85 90 91 92 94 96 98 103 108 119 120 123 125
a 2 3 8 12 13 15 16 18 19 21 23 26 27 28 31 34 36 38 41 43 45 46 49 50 57 64 72 76 78 79 81 82 83 84 85 90 91 92 94 96 98 103 108 119 120 125
a 2 3 8 12 13 15 16 18 19 21 23 26 27 28 31 34 36 38 41 43 45 46 49 50 57 64 72 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 103 108 119 120
a 3 8 12 13 15 16 18 19 21 23 26 27 28 31 34 36 38 41 43 45 46 49 50 57 64 72 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 103 108 119 120 123
a 3 12 13 15 16 18 19 21 23 26 27 28 31 34 36 38 41 43 45 46 49 50 57 64 72 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 103 108 119 120 123 125
a 3 8 12 13 15 16 18 19 21 23 26 27 28 31 34 36 41 43 45 46 49 50 57 64 72 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 103 108 119 120 123 125
a 8 12 13 15 16 18 19 21 23 26 27 28 31 34 36 38 41 43 45 46 49 50 57 64 72 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 103 108 119 120 123 125
a 3 8 12 13 15 16 18 19 21 23 26 27 28 31 34 36 38 41 43 45 46 49 50 57 64 72 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 103 108 119 123 125
a 2 3 8 12 13 15 16 18 19 21 23 26 27 28 31 34 36 38 41 43 45 46 49 50 57 64 72 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 103 108 119 123
a 2 3 8 12 13 15 16 18 19 21 23 26 27 28 31 34 36 38 41 43 45 46 49 50 57 64 72 76 78 79 81 83 84 85 90 91 92 93 94 96 98 103 108 119 120 123
a 2 3 8 12 13 15 16 18 19 21 23 26 27 28 31 34 36 38 41 43 45 46 49 50 57 64 72 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 103 108 120 123
a 2 3 8 12 13 15 16 18 19 21 23 26 27 28 31 34 36 38 41 43 45 46 49 50 57 64 72 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 103 108 120 125
a 2 3 8 12 13 15 16 18 19 21 23 26 27 28 31 34 36 38 41 43 45 46 49 50 57 64 72 76 78 81 82 83 84 85 90 91 92 93 94 96 98 103 108 119 120 125
a 2 3 8 12 13 15 16 18 19 21 23 26 27 28 30 31 34 36 38 41 43 45 46 49 50 57 64 72 76 78 81 82 83 84 85 90 91 92 93 94 96 98 108 119 120 125
a 2 3 8 12 13 15 16 18 19 21 23 26 27 28 30 31 34 36 38 41 43 45 49 50 57 64 72 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 119 120 125
a 2 3 8 12 13 15 16 18 19 21 23 27 28 30 31 34 36 38 41 43 45 49 50 57 64 72 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 119 120 125
a 2 3 8 12 13 15 16 18 19 21 23 26 27 28 30 31 34 36 38 41 43 45 49 50 57 72 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 119 120 125
a 2 3 8 12 13 15 16 18 19 21 23 26 27 28 30 31 34 38 41 43 45 49 50 57 64 72 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 119 120 125
a 2 3 8 12 13 15 16 18 19 21 23 26 27 28 30 31 34 38 41 43 45 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 119 120 125
a 2 3 8 12 13 15 16 18 19 21 23 26 27 28 30 31 34 36 38 41 43 45 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 119 120 125
a 2 3 8 12 13 15 16 18 19 21 23 26 28 30 31 34 36 38 41 43 45 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 119 120 125
a 2 3 8 13 15 16 18 19 21 23 26 27 28 30 31 34 36 38 41 43 45 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 119 120 125
a 2 8 13 15 16 18 19 21 23 26 27 28 30 31 34 36 38 41 43 45 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 119 120 123 125
a 2 8 13 15 16 18 19 21 23 26 27 28 30 31 34 36 38 41 43 45 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 119 123 125 130
a 2 8 13 15 16 18 19 21 23 26 27 28 30 31 34 36 38 41 43 45 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 110 114 119 123 130
a 2 8 12 13 15 16 18 19 21 23 26 27 28 30 31 34 36 38 41 43 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 110 114 119 123 130
a 8 12 13 15 16 18 19 21 23 26 27 28 30 31 34 36 38 41 43 45 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 110 114 119 123 130
a 2 8 12 13 15 16 18 19 21 23 26 27 28 30 31 34 36 38 41 43 45 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 119 123 130
a 2 8 12 13 15 16 18 19 21 23 26 27 28 30 34 36 38 41 43 45 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 119 120 123 130
a 8 12 13 15 16 17 18 19 21 23 26 27 28 30 34 36 38 41 43 45 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 119 120 123 130
a 8 12 13 15 16 17 18 19 21 23 26 27 28 30 31 34 36 38 41 45 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 119 120 123 130
a 8 12 13 15 16 17 18 19 21 23 25 26 27 28 30 31 34 36 38 41 45 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 114 119 120 123 130
a 8 12 13 15 16 17 18 19 21 23 25 26 27 28 30 31 34 36 38 41 45 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 119 120 130
a 3 8 12 13 15 17 18 19 21 23 25 26 27 28 30 31 34 36 38 41 45 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 119 120 130
a 3 8 12 13 15 16 17 18 19 21 23 25 26 27 28 30 31 34 36 41 45 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 119 120 130
a 3 8 12 13 15 16 17 18 19 21 23 25 26 27 28 30 31 34 36 41 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 118 119 120 130
a 3 8 12 13 15 16 17 18 19 21 23 26 27 28 30 31 34 36 41 43 50 57 64 72 73 76 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 118 119 120 130
a 3 8 12 13 15 16 17 18 19 21 23 26 27 28 30 31 34 36 41 43 57 64 72 73 76 77 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 114 118 119 120 130
a 3 8 12 13 15 16 17 18 19 21 23 26 27 28 30 31 34 36 41 43 57 64 72 73 76 77 78 79 81 82 83 84 85 91 92 93 94 96 98 108 114 118 119 120 121 130
a 3 12 13 15 16 17 18 19 21 23 26 27 28 30 31 34 36 41 43 57 64 72 73 76 77 78 79 81 82 83 84 85 91 92 93 94 96 98 108 110 114 118 119 120 121 130
a 3 12 15 16 17 18 19 21 23 26 27 28 30 31 34 36 41 43 57 64 72 73 76 77 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 110 114 118 119 120 121 130
a 3 8 12 15 16 17 18 19 21 23 26 27 28 30 31 34 36 41 57 64 72 73 76 77 78 79 81 82 83 84 85 90 91 92 93 94 96 98 108 110 114 118 119 120 121 130
a 3 4 8 12 15 16 17 18 19 21 23 26 27 28 30 31 34 36 41 57 64 72 73 76 77 78 79 81 82 83 84 85 90 91 92 93 94 98 108 110 114 118 119 120 121 130
a 3 4 8 12 15 16 17 18 19 21 23 26 27 28 30 31 34 36 41 57 64 72 73 76 77 78 79 81 82 83 84 85 90 91 92 93 94 98 108 110 114 118 119 120 123 130
a 3 4 8 12 15 16 17 18 19 21 23 26 27 30 31 34 36 41 43 57 64 72 73 76 77 78 79 81 82 83 84 85 90 91 92 93 94 98 108 110 114 118 119 120 123 130
a 3 4 8 12 15 16 17 19 21 23 26 27 28 30 31 34 36 41 43 57 64 72 73 76 77 78 79 81 82 83 84 85 90 91 92 93 94 98 108 110 114 118 119 120 123 130
a 3 4 8 12 15 16 17 19 21 23 25 26 27 28 30 31 34 36 41 57 64 72 73 76 77 78 79 81 82 83 84 85 90 91 92 93 94 98 108 110 114 118 119 120 123 130
a 3 4 8 12 15 16 17 18 19 21 23 25 26 27 28 30 31 34 36 41 57 64 72 73 76 77 78 79 81 82 83 84 85 90 91 93 94 98 108 110 114 118 119 120 123 130
a 4 8 12 15 16 17 18 19 21 23 25 26 27 28 30 31 34 36 38 41 57 64 72 73 76 77 78 79 81 82 83 84 85 90 91 93 94 98 108 110 114 118 119 120 123 130
a 4 8 10 12 15 16 17 18 19 21 23 25 26 27 28 30 31 34 38 41 57 64 72 73 76 77 78 79 81 82 83 84 85 90 91 93 94 98 108 110 114 118 119 120 123 130
a 4 8 10 12 15 16 17 18 19 21 23 25 26 27 28 30 31 34 38 41 46 57 64 72 73 76 77 78 79 81 82 83 84 85 90 91 93 94 98 108 110 118 119 120 123 130
a 4 8 10 12 15 16 17 18 19 21 23 25 26 27 28 30 31 34 38 41 46 57 64 72 73 76 77 78 79 81 82 83 84 85 90 91 93 94 98 110 111 118 119 120 123 130
a 4 8 10 12 15 16 17 18 19 21 23 25 26 27 28 30 31 34 38 41 46 49 57 64 72 76 77 78 79 81 82 83 84 85 90 91 93 94 98 110 111 118 119 120 123 130
a 8 10 12 15 16 17 18 19 21 23 25 26 27 28 30 31 34 38 41 46 49 57 64 72 76 77 78 79 81 82 83 84 85 90 91 93 94 98 110 111 118 119 120 123 126 130
a 8 10 12 15 16 17 18 21 23 25 26 27 28 30 31 34 38 41 46 49 57 59 64 72 76 77 78 79 81 82 83 84 85 90 91 93 94 98 110 111 118 119 120 123 126 130
a 8 10 11 12 15 16 17 18 21 23 25 26 27 28 30 31 34 38 41 46 49 57 59 64 72 76 77 78 79 81 82 83 84 85 91 93 94 98 110 111 118 119 120 123 126 130
a 8 10 11 12 15 16 17 18 21 23 25 26 27 28 30 31 34 38 41 46 48 49 57 59 64 72 76 77 78 79 81 82 83 84 85 91 93 94 98 110 111 118 119 123 126 130
a 8 10 11 15 16 17 18 21 23 25 26 27 28 30 31 34 38 41 46 48 49 57 59 64 72 76 77 78 79 81 82 83 84 85 91 93 94 98 110 111 115 118 119 123 126 130
a 10 11 15 16 17 18 21 23 25 26 27 28 30 31 34 38 41 46 48 49 57 59 64 72 76 77 78 79 81 82 83 84 85 88 91 93 94 98 110 111 115 118 119 123 126 130
a 10 11 15 16 17 18 21 23 25 26 27 28 30 31 38 41 46 48 49 53 57 59 64 72 76 77 78 79 81 82 83 84 85 88 91 93 94 98 110 111 115 118 119 123 126 130
a 10 11 15 16 17 18 21 23 25 26 27 28 30 31 38 41 46 48 49 50 53 57 59 64 72 76 78 79 81 82 83 84 85 88 91 93 94 98 110 111 115 118 119 123 126 130
a 10 11 15 16 17 18 21 23 25 26 27 28 30 31 38 41 46 48 49 50 53 57 59 64 72 76 78 79 81 82 83 84 85 88 91 93 94 98 110 111 115 119 123 126 127 130
a 9 10 11 15 16 17 18 21 23 25 26 27 30 31 38 41 46 48 49 50 53 57 59 64 72 76 78 79 81 82 83 84 85 88 91 93 94 98 110 111 115 119 123 126 127 130
a 9 10 11 15 16 17 18 21 23 25 26 27 30 38 41 46 48 49 50 53 57 59 63 64 72 76 78 79 81 82 83 84 85 88 91 93 94 98 110 111 115 119 123 126 127 130
a 9 10 11 15 16 17 18 21 23 25 26 27 30 38 41 46 48 49 50 53 57 59 63 64 72 76 78 79 81 83 84 85 88 91 93 94 98 110 111 115 116 119 123 126 127 130
a 9 10 11 16 17 18 21 23 25 26 27 30 38 41 46 48 49 50 53 57 59 63 64 72 76 78 79 80 81 83 84 85 88 91 93 94 98 110 111 115 116 119 123 126 127 130
a 9 10 11 14 16 17 18 21 23 25 26 27 30 38 41 46 48 49 50 53 57 59 63 64 72 76 79 80 81 83 84 85 88 91 93 94 98 110 111 115 116 119 123 126 127 130
a 9 10 11 14 16 17 18 21 23 25 26 27 30 38 41 46 48 49 50 53 57 59 63 64 72 76 79 80 81 83 84 85 88 91 93 94 98 111 115 116 119 123 125 126 127 130
a 9 10 11 14 16 17 21 23 25 26 27 30 38 41 46 48 49 50 53 57 59 63 64 72 76 79 80 81 83 84 85 87 88 91 93 94 98 111 115 116 119 123 125 126 127 130
a 9 10 11 14 16 17 21 23 25 26 27 30 38 41 46 48 49 50 53 57 59 63 64 67 72 76 79 80 81 83 84 85 87 88 91 93 94 98 111 115 116 119 123 125 126 127
a 9 10 11 14 16 17 21 23 25 26 27 30 38 46 48 49 50 53 57 59 63 64 67 72 76 79 80 81 83 84 85 87 88 91 93 94 98 102 111 115 116 119 123 125 126 127
a 9 10 11 14 16 21 23 24 25 26 27 30 38 46 48 49 50 53 57 59 63 64 67 72 76 79 80 81 83 84 85 87 88 91 93 94 98 102 111 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 53 57 59 63 64 67 72 79 80 81 83 84 85 87 88 91 93 94 98 102 111 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: 273
#END: [Mon Sep  4 17:10:26 2023]