#BEGIN: [Tue Sep  5 06:54:41 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance010_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance010_graph001_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_graph001.col /benchmark/random_instance/random_instance010_graph001_01.dat
c /benchmark/random_instance/random_instance010_graph001.col
c /benchmark/random_instance/random_instance010_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 4b20f517bbdada493caaee29ab7059de1b5334b85c74ea98e90ffbc33ba59ab8
s 64 35 14 80 47 114 126 6 25 119 67 21 113 71 82 102 60 130 62 128 65 76 9 123 39 2 112 56 52 34 105 110 103 61 57 4 121 31 43 125 41
t 12 125 44 40 14 70 111 58 9 128 10 4 5 67 37 82 59 79 35 24 48 15 89 62 8 129 127 87 1 83 25 109 57 124 45 105 60 98 116 71 21
a YES
a 2 4 6 9 14 21 25 31 34 35 39 41 43 47 52 56 57 60 61 62 64 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 52 56 57 60 61 62 64 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 22 25 31 34 35 39 41 43 52 56 57 60 61 62 64 65 67 71 76 80 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 22 25 31 35 39 41 43 52 56 57 60 61 62 64 65 67 71 76 80 102 103 105 110 112 113 114 119 121 123 125 126 127 128 130
a 2 4 6 9 14 21 22 25 31 35 39 41 43 47 52 56 57 60 61 62 64 65 67 71 76 80 102 103 105 110 112 113 114 119 121 123 125 126 127 128 130
a 2 4 6 9 14 21 22 25 31 34 35 39 41 43 47 52 56 57 60 61 62 64 65 67 71 76 80 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 14 21 22 25 29 31 34 35 39 41 43 47 52 56 57 60 61 62 64 65 67 71 76 80 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 14 21 22 25 29 31 34 35 39 41 42 43 47 52 56 57 60 61 62 64 65 67 71 76 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 12 14 21 22 25 29 31 34 35 39 41 42 43 52 56 57 60 61 62 64 65 67 71 76 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 12 14 21 22 25 29 31 34 35 39 41 43 52 56 57 60 61 62 64 65 67 71 76 80 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 12 14 21 22 25 29 31 34 35 39 41 43 52 55 56 57 60 61 62 65 67 71 76 80 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 12 14 21 25 29 31 34 35 39 41 43 52 55 56 57 60 61 62 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 52 55 56 57 60 61 62 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 25 31 35 39 41 43 52 55 56 57 60 61 62 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 127 128 130
a 2 4 6 9 12 14 21 25 31 35 39 41 43 52 55 56 57 60 61 62 65 67 71 76 80 82 102 103 105 110 112 113 114 115 121 123 125 126 127 128 130
a 2 4 6 9 12 14 21 25 31 35 39 41 43 52 55 56 57 60 61 62 65 67 71 74 76 80 82 102 103 105 110 112 113 115 121 123 125 126 127 128 130
a 2 4 6 9 12 14 21 25 31 35 39 41 43 52 55 56 57 60 61 62 65 67 71 74 76 80 82 102 103 105 110 112 113 119 121 123 125 126 127 128 130
a 2 4 9 12 14 21 24 25 31 35 39 41 43 52 55 56 57 60 61 62 65 67 71 74 76 80 82 102 103 105 110 112 113 119 121 123 125 126 127 128 130
a 2 4 9 14 21 24 25 31 35 39 41 43 52 55 56 57 60 61 62 65 67 71 74 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 127 128 130
a 2 4 12 14 21 24 25 31 35 39 41 43 52 55 56 57 60 61 62 65 67 71 74 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 127 128 130
a 2 4 12 14 21 24 25 27 31 35 39 41 43 52 55 56 57 60 61 62 65 67 71 74 76 80 82 102 103 105 110 112 113 119 121 123 125 126 127 128 130
a 2 4 12 14 21 24 25 27 31 35 39 41 43 45 52 55 56 57 60 61 62 65 67 71 74 76 80 82 102 105 110 112 113 119 121 123 125 126 127 128 130
a 2 4 9 12 14 21 24 25 27 31 35 39 41 43 45 52 55 56 57 60 61 62 65 67 71 74 80 82 102 105 110 112 113 119 121 123 125 126 127 128 130
a 2 4 6 9 12 14 21 25 27 31 35 39 41 43 45 52 55 56 57 60 61 62 65 67 71 74 80 82 102 105 110 112 113 119 121 123 125 126 127 128 130
a 2 4 6 9 12 14 21 25 27 31 35 39 41 43 45 52 55 56 57 60 61 62 65 67 71 74 80 82 98 102 105 110 112 119 121 123 125 126 127 128 130
a 2 4 6 9 10 12 14 21 25 27 31 35 39 41 43 45 52 55 56 57 60 61 62 65 67 71 74 80 82 98 105 110 112 119 121 123 125 126 127 128 130
a 2 4 6 9 10 12 14 21 25 27 31 35 41 43 45 52 55 56 57 60 61 62 65 67 71 74 80 82 89 98 105 110 112 119 121 123 125 126 127 128 130
a 2 4 6 9 10 12 14 21 25 27 31 35 41 43 45 52 56 57 60 61 62 64 65 67 71 74 80 82 89 98 105 110 112 119 121 123 125 126 127 128 130
a 2 4 6 9 10 12 14 21 25 31 35 41 43 45 52 56 57 60 61 62 64 65 67 71 74 80 82 89 98 105 110 112 114 119 121 123 125 126 127 128 130
a 2 4 6 9 10 12 14 21 25 31 35 41 43 45 52 56 57 60 61 62 64 65 67 71 74 80 82 89 98 105 110 111 112 114 119 121 123 125 126 127 128
a 2 4 6 9 10 12 14 21 25 31 35 41 43 45 52 56 57 60 61 62 64 65 67 71 74 80 82 89 105 110 111 112 113 114 119 121 123 125 126 127 128
a 2 4 6 8 9 10 12 14 21 25 31 35 41 43 45 52 56 57 60 61 62 64 65 67 71 74 80 82 89 105 110 111 112 114 119 121 123 125 126 127 128
a 2 4 6 8 9 10 12 14 21 25 31 35 41 43 45 52 56 57 60 61 62 64 65 67 71 74 80 82 89 105 110 111 112 114 119 123 125 126 127 128 130
a 2 4 6 8 9 10 12 14 21 25 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 71 74 80 82 89 105 110 111 112 119 123 125 126 127 128 130
a 2 4 8 9 10 12 14 21 24 25 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 71 74 80 82 89 105 110 111 112 119 123 125 126 127 128 130
a 2 4 8 9 10 12 14 21 24 25 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 71 74 80 82 89 105 110 111 112 113 119 123 125 126 127 130
a 2 4 9 10 12 14 21 24 25 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 71 74 80 82 89 105 110 111 112 113 119 123 125 126 127 128 130
a 2 4 9 10 12 14 21 24 25 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 71 74 80 82 83 89 105 110 111 112 113 119 123 125 126 127 128
a 2 4 9 10 12 14 21 24 25 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 71 74 76 80 82 83 89 105 110 112 113 119 123 125 126 127 128
a 2 4 8 9 10 12 14 21 24 25 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 71 74 76 82 83 89 105 110 112 113 119 123 125 126 127 128
a 2 4 8 9 10 12 14 21 24 25 31 35 41 43 45 48 56 57 60 61 62 64 65 67 71 74 76 82 83 89 105 110 112 113 119 123 125 126 127 128 129
a 2 4 6 8 9 10 12 14 21 25 31 35 41 43 45 48 56 57 60 61 62 64 65 67 71 74 76 82 83 89 105 110 112 113 119 123 125 126 127 128 129
a 2 4 6 8 9 10 12 14 21 25 31 35 41 43 45 48 56 57 60 61 62 64 65 67 71 74 76 82 83 89 105 110 112 113 119 123 125 126 127 128 130
a 2 4 6 8 9 10 12 14 21 25 31 35 41 43 45 48 56 57 60 61 62 64 65 67 71 74 80 82 83 89 105 110 112 113 119 123 125 126 127 128 130
a 2 4 6 8 9 10 12 14 21 25 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 71 74 80 82 83 89 105 110 112 113 119 123 125 126 127 130
a 2 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 71 74 80 82 83 89 105 110 112 113 119 125 126 127 130
a 2 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 71 74 80 83 89 105 110 111 112 113 119 125 126 127 130
a 2 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 71 74 80 83 89 105 110 111 112 113 119 125 126 127 128 130
a 2 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 71 74 80 83 89 105 110 111 112 113 119 123 125 126 127 128
a 2 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 71 74 80 83 89 105 110 111 112 113 119 121 123 125 126 128
a 2 4 6 8 9 12 14 21 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 71 74 80 83 89 105 110 111 112 113 119 121 123 125 126 127 128
a 2 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 71 74 80 83 89 105 110 111 112 113 119 121 123 125 126 127
a 2 4 8 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 71 74 80 83 89 105 110 111 112 113 119 121 123 125 126 127
a 2 4 8 10 12 14 21 24 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 71 74 80 82 83 89 105 110 111 112 113 119 121 123 125 126 127
a 2 4 8 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 71 74 80 82 89 105 110 111 112 113 119 121 123 125 126 127
a 2 4 8 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 71 74 80 82 89 105 110 111 112 113 119 121 123 125 126
a 2 4 8 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 71 74 80 83 89 105 110 111 112 113 119 121 123 125 126
a 2 4 8 9 10 12 21 24 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 71 74 80 83 89 105 110 111 112 113 119 121 123 125 126 130
a 4 8 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 71 74 80 83 89 105 110 111 112 113 119 121 123 125 126 130
a 4 8 9 10 14 21 24 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 71 74 80 82 83 89 105 110 111 112 113 119 121 123 125 126 130
a 8 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 71 74 80 82 83 89 105 110 111 112 113 119 121 123 125 126 130
a 2 8 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 67 74 80 82 83 89 105 110 111 112 113 119 121 123 125 126 130
a 2 8 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 66 74 80 82 83 89 105 110 111 112 113 119 121 123 125 126 130
a 2 8 9 10 12 14 21 24 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 80 82 83 89 105 110 111 112 113 119 121 123 125 126 130
a 2 8 9 10 12 14 21 24 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 119 121 123 125 126 130
a 2 4 8 9 10 12 14 21 24 27 31 35 41 43 45 48 52 53 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 119 121 123 125 126 130
a 2 4 8 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 53 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 119 121 123 125 130
a 2 8 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 119 121 123 125 130
a 2 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 119 121 123 125 127 130
a 2 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 119 121 123 125 127 128
a 2 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 113 119 121 123 125 126 127 128
a 2 4 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 113 119 121 123 125 126 127
a 2 4 8 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 113 119 121 123 126 127
a 2 4 8 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 110 113 119 121 123 126 127
a 2 4 8 9 10 12 14 21 24 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 83 89 105 110 113 119 121 123 126 127
a 2 3 4 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 83 89 105 110 113 119 121 123 126 127
a 2 3 4 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 83 89 105 110 112 113 119 121 123 127
a 2 3 4 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 72 74 76 80 83 89 105 110 112 119 121 123 127
a 2 3 4 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 72 74 76 80 83 89 105 112 119 121 123 126 127
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 83 89 105 112 119 121 123 126 127
a 2 3 4 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 83 89 105 112 113 119 121 123 126 127
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 83 89 105 112 113 119 121 123 126 127
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 83 89 105 112 113 119 121 123 126
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 83 89 105 112 113 119 121 123 128
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 83 89 105 110 112 113 119 121 123
a 2 3 4 6 8 9 10 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 83 89 105 110 112 113 119 121 123 125
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 53 56 57 60 61 62 64 65 66 71 74 76 80 83 89 105 110 112 113 119 121 123 125
a 2 3 4 6 9 10 12 14 21 25 27 31 35 41 43 45 48 53 56 57 60 61 62 64 65 66 71 74 76 80 83 89 105 110 112 113 119 121 123 125 126
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 53 56 57 61 62 64 65 66 71 74 76 80 83 89 105 110 112 113 119 121 123 125 126
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 61 62 64 65 66 71 76 80 83 89 105 110 112 113 119 121 123 125 126
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 60 61 62 64 65 66 71 76 80 83 89 105 110 112 113 119 121 123 125 126
a 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 76 80 83 89 105 110 112 113 119 121 123 125 126
a 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 83 89 105 110 112 113 119 121 123 125
a 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 83 89 105 110 113 119 121 123 125 128
a 2 3 4 6 8 9 10 12 14 21 25 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 83 89 105 110 113 119 121 123 125 128
a 2 4 6 8 9 10 12 14 21 25 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 110 113 119 121 123 125 128
a 2 4 6 8 9 10 12 14 21 25 31 35 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 110 113 114 119 121 123 125 128
a 2 4 6 8 9 10 12 14 21 25 31 34 35 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 110 113 114 121 123 125 128
a 2 4 6 8 9 10 12 14 21 25 31 34 35 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 110 113 114 119 121 125 128
a 2 4 6 8 9 10 12 14 21 25 31 34 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 107 110 113 114 119 121 125 128
a 2 4 6 8 9 10 12 14 21 25 31 34 41 43 45 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 107 110 112 113 114 119 121 125 128
a 2 3 4 6 8 9 10 12 14 21 25 31 34 41 43 45 53 56 57 61 62 64 65 66 71 74 76 80 82 83 89 105 107 110 112 113 114 119 121 125 128
a 2 3 4 6 8 9 10 14 21 25 31 34 41 43 45 53 56 57 61 62 64 65 66 71 74 76 80 82 83 89 105 107 110 112 113 114 119 121 125 126 128
a 2 3 4 6 8 9 10 14 21 25 31 34 41 43 45 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 107 110 112 113 114 119 121 125 126
a 2 3 4 6 8 9 10 14 21 25 31 34 41 43 45 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 107 110 112 113 114 119 121 123 125
a 2 4 6 8 9 10 14 21 25 31 34 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 107 110 112 113 114 119 121 123 125
a 2 4 6 8 9 10 12 14 21 25 31 34 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 107 110 112 113 114 119 121 125
a 2 3 4 6 8 10 12 14 21 25 31 34 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 107 110 112 113 114 119 121 125
a 2 3 4 6 8 10 12 14 21 25 31 34 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 89 95 105 107 110 112 113 114 119 121 125
a 2 3 4 6 8 10 12 14 21 25 31 34 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 89 95 105 107 110 112 113 114 119 121 126
a 2 3 4 6 8 10 12 14 21 25 34 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 89 95 105 107 110 112 113 114 119 121 123 126
a 2 3 4 6 8 10 12 14 21 25 34 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 89 95 105 107 110 112 113 114 119 121 123 130
a 2 3 4 6 8 10 12 14 21 25 31 34 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 89 95 105 107 110 112 113 114 119 121 123
a 2 3 4 6 8 10 12 14 21 25 31 34 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 89 95 105 107 112 113 114 119 121 123 125
a 2 3 4 6 8 9 10 12 14 21 25 31 34 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 89 95 105 107 112 113 114 119 121 123
a 2 4 6 8 9 10 12 14 21 25 31 34 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 89 95 105 107 110 112 113 114 119 121 123
a 2 3 4 6 8 9 10 12 14 21 25 31 34 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 89 95 105 107 110 112 113 114 119 121
a 2 3 4 6 8 9 10 12 14 21 25 31 34 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 95 105 107 110 112 113 114 119 121 125
a 2 3 6 8 9 10 12 14 21 25 31 34 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 95 105 107 110 112 113 114 119 121 125 126
a 2 3 6 8 9 10 12 14 21 25 31 34 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 95 105 107 110 112 114 119 121 125 126
a 2 3 6 8 9 10 12 14 21 25 31 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 95 105 107 110 112 114 119 121 125 126 127
a 2 3 4 6 8 9 10 12 14 21 25 31 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 95 105 107 110 112 114 119 121 125 126
a 2 3 4 8 9 10 12 14 21 25 31 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 95 105 107 110 112 114 119 121 125 126 127
a 2 3 4 8 9 10 12 14 21 25 31 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 95 105 107 110 112 114 119 121 123 125 126
a 2 3 4 8 9 10 12 14 21 25 31 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 95 105 107 110 111 112 114 119 121 123 125 126
a 2 4 6 8 9 10 12 14 21 25 31 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 95 105 107 110 111 112 114 119 121 123 125 126
a 2 3 4 6 8 9 10 12 14 21 25 31 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 95 105 107 110 111 112 114 119 121 123 125
a 2 3 4 6 8 9 10 12 14 21 25 31 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 95 105 107 110 111 112 114 119 121 123 130
a 3 4 6 8 9 10 12 14 21 25 31 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 95 105 107 110 111 112 113 114 119 121 123 130
a 3 6 8 9 10 12 14 21 25 31 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 95 105 107 110 111 112 113 114 119 121 123 126 130
a 2 3 6 8 9 10 12 14 21 25 31 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 95 105 107 110 111 112 113 114 119 121 123 130
a 2 4 6 8 9 10 12 14 21 25 31 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 95 105 107 110 111 112 113 114 119 121 123 130
a 2 4 6 8 9 10 12 14 21 25 31 39 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 95 105 107 110 111 112 113 114 119 121 123 126 130
a 2 4 6 8 9 10 12 14 21 25 31 39 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 95 105 107 110 111 112 113 114 119 121 123 126 127
a 2 4 8 9 10 12 14 21 25 31 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 95 105 107 110 111 112 113 114 119 121 123 126 127
a 2 3 4 8 9 10 12 14 21 25 31 39 41 43 45 52 53 56 57 60 62 64 65 66 71 74 80 82 95 105 107 110 111 112 113 114 119 121 123 126 127
a 3 4 8 9 10 12 14 21 25 31 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 95 105 107 110 111 112 113 114 119 121 123 126 127
a 3 4 6 8 9 10 12 14 21 25 31 39 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 95 105 107 110 111 112 113 114 119 121 123 126 127
a 2 3 6 8 9 10 12 14 21 25 31 39 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 95 105 107 110 111 112 113 114 119 121 123 126 127
a 2 3 4 6 8 9 10 12 14 21 25 31 39 43 45 52 53 56 57 60 61 62 64 66 71 74 80 82 95 105 107 110 111 112 113 114 119 121 123 126 127
a 2 3 4 6 8 9 10 12 14 21 25 31 39 41 43 45 52 53 56 57 60 61 62 64 66 71 74 80 82 95 105 107 110 112 113 114 119 121 123 126 127
a 2 3 4 6 8 9 10 12 14 21 25 27 31 39 41 43 45 52 53 56 57 60 61 62 64 66 71 74 80 82 95 105 107 110 112 113 119 121 123 126 127
a 2 3 4 8 9 10 12 14 21 25 27 31 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 95 105 107 110 112 113 119 121 123 126 127
a 2 3 4 8 9 10 12 14 21 25 27 31 39 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 95 105 107 110 111 112 113 119 121 123 126
a 2 3 4 8 9 10 12 14 21 25 27 31 39 41 43 45 52 53 56 57 60 62 64 65 66 71 74 80 82 95 105 107 110 111 112 113 119 121 123 125 126
a 2 3 4 6 8 9 10 12 14 21 25 27 31 39 41 43 45 52 53 56 57 60 62 64 65 66 71 74 80 82 105 107 110 111 112 113 119 121 123 125 126
a 2 3 4 6 8 9 10 12 14 21 25 27 31 41 43 45 52 53 56 57 60 62 64 65 66 71 74 80 82 89 105 107 110 111 112 113 119 121 123 125 126
a 2 3 4 6 8 9 10 12 14 21 25 27 31 41 43 45 52 56 57 60 61 62 64 65 66 71 74 80 82 89 105 107 110 111 112 113 119 121 123 125 126
a 2 3 4 6 8 9 10 12 14 21 25 27 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 89 105 107 110 111 112 113 119 121 123 125 126
a 2 3 6 8 9 10 12 14 21 25 27 31 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 89 105 107 110 111 112 113 119 121 123 125 126
a 2 4 6 8 9 10 12 14 21 25 27 31 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 89 105 107 110 111 112 113 119 121 123 125 126
a 2 3 4 6 8 9 10 12 14 21 25 27 31 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 89 105 107 110 111 112 113 119 121 123 126
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 89 105 110 111 112 113 119 121 123 126
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 43 45 52 53 56 57 60 61 62 64 65 66 71 74 80 82 83 89 105 110 111 112 113 119 121 123 126
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 52 53 57 60 61 62 64 65 66 71 74 80 82 83 89 105 110 111 112 113 119 121 123 126
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 52 53 57 60 61 62 64 65 66 71 74 80 82 83 89 105 110 111 112 113 119 123 126 128
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 52 53 57 60 61 62 64 65 66 71 74 80 82 83 89 105 110 111 112 113 119 121 126 128
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 57 60 61 62 64 65 66 71 74 80 82 83 89 105 110 111 112 113 119 126 128
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 57 60 61 62 64 65 66 71 74 80 82 83 89 105 110 111 112 113 119 128 130
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 43 45 48 52 53 57 60 61 62 64 65 66 71 74 80 82 83 89 105 110 111 112 113 119 126 128 130
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 57 60 61 62 64 65 66 71 74 80 82 83 89 105 110 111 112 113 119 126 130
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 110 112 113 119 126 130
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 110 112 113 119 121 130
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 117 119 121 130
a 2 3 4 6 8 9 10 12 14 21 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 117 119 121 130
a 3 4 6 8 9 10 12 14 21 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 117 119 121 127 130
a 2 3 4 6 8 9 12 14 21 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 117 119 121 127 130
a 2 3 4 6 8 10 12 14 21 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 117 119 121 127 130
a 2 3 4 6 8 10 12 14 21 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 117 119 121 123 127
a 2 3 4 6 8 10 12 14 21 25 27 31 35 41 43 45 48 52 53 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 117 119 121 123 127
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 117 119 121 127
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 57 60 61 62 64 65 66 74 76 80 82 83 89 110 112 113 117 119 121 123 127
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 57 60 61 62 64 65 66 74 76 80 82 83 89 110 112 113 117 119 121 123 130
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 57 60 61 62 64 65 66 74 76 80 82 83 89 110 112 113 117 119 121 123 125
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 110 112 113 117 119 121 123
a 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 110 112 113 117 119 121 123 128
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 110 112 113 117 119 121 128
a 2 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 117 119 121 128
a 2 3 4 6 8 9 10 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 117 119 121 128
a 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 117 119 121 128
a 4 6 8 9 10 12 14 21 25 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 117 119 121 126 128
a 3 4 6 8 9 10 12 14 21 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 117 119 121 126 128
a 3 4 6 8 9 10 12 14 21 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 115 117 121 126 128
a 3 4 6 8 9 10 12 14 21 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 115 117 121 126 127 128
a 3 4 6 8 9 10 12 14 21 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 115 117 121 126 127 130
a 2 3 4 6 8 9 10 12 14 21 27 31 35 41 43 45 48 52 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 115 117 121 126 127
a 2 3 6 8 9 10 12 14 21 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 115 117 121 126 127
a 2 3 6 8 9 10 12 14 21 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 110 112 113 115 117 121 126 130
a 2 3 6 8 9 10 12 14 21 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 110 112 113 115 121 126 130
a 2 3 6 8 9 10 12 14 21 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 110 112 113 115 121 125 126
a 2 3 4 6 8 9 10 12 14 21 27 31 35 41 43 45 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 110 112 113 115 121 125
a 2 3 4 6 8 9 10 12 14 21 25 27 31 35 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 110 112 113 115 121 125
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 35 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 110 112 113 115 121
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 35 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 110 112 113 119 121
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 35 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 89 105 110 112 113 119 121 126
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 89 105 107 110 112 113 119 121 126
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 89 105 107 110 112 119 121 123 126
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 89 105 107 110 112 119 120 121 123
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 89 105 107 110 112 119 121 123 127
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 107 110 112 119 121 123
a 2 3 4 6 8 9 10 12 14 21 25 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 107 110 112 119 121 123 130
a 2 3 4 8 9 10 12 14 21 25 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 107 110 112 113 119 121 123 130
a 2 3 4 6 8 9 10 12 14 21 25 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 74 76 80 82 83 89 105 107 110 112 113 119 121 123 130
a 2 3 4 6 8 9 10 12 14 21 25 30 31 41 43 48 52 53 56 57 60 61 64 65 66 71 74 76 80 82 83 89 105 107 110 112 113 119 121 123 130
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 64 65 66 71 74 76 80 82 83 89 105 107 110 112 113 119 121 123
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 107 110 112 113 119 123
a 2 3 4 6 8 9 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 107 110 112 113 119 123 126
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 107 110 112 119 123 126
a 2 3 4 6 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 76 80 82 83 89 105 107 110 112 119 123 125 126
a 2 3 4 6 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 80 82 83 89 105 107 110 111 112 119 123 125 126
a 2 3 4 6 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 80 82 83 89 105 107 110 111 112 119 123 125 127
a 2 3 4 6 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 80 82 83 89 105 107 110 111 112 119 123 126 127
a 2 3 4 6 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 80 82 83 89 105 107 110 111 112 119 121 123 127
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 80 82 83 89 107 110 111 112 119 121 123 127
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 80 82 83 89 105 107 111 112 119 121 123 127
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 80 82 83 89 105 107 111 112 113 119 123 127
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 80 82 83 89 105 107 110 111 112 113 119 123
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 80 82 83 89 105 107 110 111 112 113 123 126
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 80 82 83 89 105 107 110 111 112 113 123 125
a 2 3 4 6 8 9 10 12 14 21 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 80 82 83 89 105 107 110 111 112 113 119 123 125
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 105 107 110 111 112 113 119 123 125
a 2 4 6 8 9 10 12 14 21 25 27 30 31 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 105 107 110 111 112 113 119 123 125 126
a 2 4 6 8 9 10 12 14 21 25 27 30 31 35 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 105 110 111 112 113 119 123 125 126
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 35 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 105 110 111 112 113 119 123 126
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 35 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 105 110 111 112 113 119 123 128
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 35 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 82 83 105 110 111 112 113 119 123 126 128
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 35 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 105 110 112 113 119 123 126 128
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 35 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 105 110 112 113 119 123 126 130
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 35 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 80 82 83 89 105 110 112 113 119 123 126
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 35 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 105 110 112 113 116 119 123 126
a 2 3 4 6 8 9 10 12 14 21 25 27 30 31 35 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 105 110 112 113 116 119 123 130
a 2 3 4 6 8 9 10 14 21 25 27 30 31 35 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 105 110 112 113 116 119 123 126 130
a 2 3 4 6 8 9 10 14 21 25 27 30 31 35 41 43 48 52 53 56 57 61 62 64 65 66 71 74 82 83 89 96 105 110 112 113 116 119 123 126 130
a 2 3 4 6 8 9 10 14 21 25 27 30 31 32 35 41 43 48 52 53 56 57 61 62 64 65 66 71 74 82 83 89 96 105 112 113 116 119 123 126 130
a 2 3 4 6 8 9 10 14 21 25 27 30 31 32 35 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 105 112 113 116 119 123 126 130
a 2 3 4 6 8 9 10 14 21 25 27 30 31 32 35 41 43 48 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 105 112 113 116 119 120 123 126
a 2 3 4 6 8 9 10 21 25 27 30 31 32 35 41 43 48 49 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 105 112 113 116 119 120 123 126
a 2 3 4 6 8 9 10 21 25 27 30 31 32 35 41 43 48 49 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 105 112 113 116 119 123 126 128
a 2 3 4 6 8 9 10 21 25 27 30 31 32 41 43 48 49 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 105 107 112 113 116 119 123 126 128
a 2 3 4 6 8 9 10 21 25 27 30 31 32 41 43 48 49 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 98 105 107 112 116 119 123 126 128
a 2 3 4 6 8 9 10 21 25 27 30 31 32 41 43 48 49 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 98 105 107 112 116 119 121 123 126
a 2 3 4 6 8 9 10 21 25 27 30 31 32 35 41 43 48 49 52 53 56 57 60 61 62 64 65 66 71 74 82 83 89 98 105 112 116 119 121 123 126
a 2 3 4 6 8 9 10 21 25 27 30 31 32 35 41 43 48 49 52 53 56 57 60 61 62 64 65 66 71 74 82 83 87 89 98 105 112 116 119 121 126
a 2 3 4 8 9 10 21 25 27 30 31 32 35 41 43 48 49 52 53 56 57 60 61 62 64 65 66 71 74 82 83 87 89 93 98 105 112 116 119 121 126
a 2 3 4 8 9 10 21 25 27 30 31 32 35 41 43 48 49 52 53 56 57 60 61 62 64 66 71 74 82 83 87 89 93 98 105 111 112 116 119 121 126
a 2 3 4 8 9 10 21 25 27 30 31 32 35 41 43 48 49 52 53 56 57 60 61 62 64 66 70 71 74 82 83 87 89 93 98 105 111 112 116 119 126
a 2 3 4 8 9 10 21 25 27 30 31 32 35 41 43 48 49 52 53 56 57 60 61 62 64 66 70 71 74 82 83 87 89 98 105 111 112 116 119 120 126
a 2 3 4 8 9 10 15 21 25 27 30 31 32 35 41 43 48 49 52 53 56 57 60 61 62 64 66 70 71 74 82 83 87 89 98 105 111 112 116 119 120
a 2 3 4 8 9 10 15 21 25 27 30 31 32 35 41 43 48 49 53 56 57 60 61 62 64 66 70 71 74 82 83 87 89 98 105 111 112 116 119 120 129
a 2 3 4 8 9 10 15 21 25 27 30 31 32 35 41 43 48 49 53 56 57 60 61 62 64 66 70 74 82 83 87 89 98 105 111 112 116 117 119 120 129
a 2 3 8 9 10 15 21 25 27 30 31 32 35 41 43 48 49 53 56 57 60 61 62 64 66 70 74 82 83 87 89 98 105 108 111 112 116 117 119 120 129
a 2 3 8 9 10 15 21 25 30 31 32 34 35 41 43 48 49 53 56 57 60 61 62 64 66 70 74 82 83 87 89 98 105 108 111 112 116 117 119 120 129
a 2 3 8 9 10 15 21 25 30 31 32 34 35 41 43 48 49 53 56 57 60 61 62 64 66 70 74 82 83 87 89 98 105 111 112 116 117 119 120 121 129
a 2 3 8 9 10 15 21 25 30 31 32 34 35 41 43 46 48 49 53 56 57 60 61 62 64 66 70 74 82 83 87 89 98 105 111 112 117 119 120 121 129
a 2 3 8 9 10 21 25 30 31 32 34 35 41 43 46 48 49 53 56 57 60 61 62 64 66 70 74 82 83 87 89 97 98 105 111 112 117 119 120 121 129
a 1 2 3 8 9 10 21 25 30 31 32 34 35 43 46 48 49 53 56 57 60 61 62 64 66 70 74 82 83 87 89 97 98 105 111 112 117 119 120 121 129
a 1 2 3 4 8 9 10 21 25 30 31 32 34 35 43 46 48 49 53 56 57 60 61 62 64 66 70 74 82 83 87 89 97 98 105 111 112 117 119 120 121
a 1 2 3 4 8 9 10 21 25 30 31 32 34 35 43 46 48 49 53 56 57 60 61 62 64 66 70 74 82 83 87 89 98 105 111 112 117 119 120 121 130
a 1 2 3 4 8 9 10 12 25 30 31 32 34 35 43 46 48 49 53 56 57 60 61 62 64 66 70 74 82 83 87 89 98 105 111 112 117 119 120 121 130
a 1 2 3 4 8 9 10 12 21 25 30 31 32 34 35 43 46 48 49 53 56 57 60 61 62 64 66 70 74 82 83 87 89 98 105 111 112 119 120 121 130
a 1 3 4 8 9 10 12 21 25 30 31 32 34 35 37 43 46 48 49 53 56 57 60 61 62 64 66 70 74 82 83 87 89 98 105 111 112 119 120 121 130
a 3 4 8 9 10 12 21 25 30 31 32 34 35 37 43 46 48 49 53 56 57 60 61 62 64 66 70 71 74 82 83 87 89 98 105 111 112 119 120 121 130
a 3 4 8 9 10 12 21 25 30 32 34 35 37 43 46 48 49 53 56 57 60 61 62 64 66 70 71 74 82 83 87 89 98 105 111 112 119 120 121 126 130
a 3 4 9 10 12 21 25 30 32 34 35 37 43 46 48 49 53 56 57 60 61 62 64 66 70 71 74 82 83 87 89 98 105 111 112 119 120 121 126 129 130
a 3 4 8 9 10 12 21 25 30 32 34 35 37 43 46 48 49 53 56 57 60 61 62 64 66 70 71 74 82 83 87 89 98 105 112 119 120 121 126 129 130
a 3 4 8 9 10 12 21 25 30 32 34 35 37 43 46 48 49 52 53 56 57 60 61 62 64 66 70 71 74 82 83 87 89 98 105 112 119 120 121 126 130
a 3 4 8 9 10 21 25 30 32 34 35 37 43 46 48 49 52 53 56 57 60 61 62 64 66 70 71 74 77 82 83 87 89 98 105 112 119 120 121 126 130
a 3 4 8 9 10 21 25 30 32 34 35 37 43 46 48 49 52 53 56 57 60 61 62 64 66 70 71 74 77 82 83 87 89 98 105 111 112 119 120 121 126
a 3 4 8 9 10 21 25 30 32 34 35 37 43 46 48 52 53 56 57 60 61 62 64 66 70 71 74 77 82 83 87 89 98 105 111 112 119 120 121 125 126
a 3 4 8 9 10 21 25 30 32 34 35 37 43 46 48 52 53 56 57 60 61 62 64 66 70 71 73 74 77 83 87 89 98 105 111 112 119 120 121 125 126
a 3 4 8 9 10 15 21 25 30 32 34 35 37 43 46 48 52 53 56 57 60 61 62 64 66 70 71 74 77 83 87 89 98 105 111 112 119 120 121 125 126
a 2 3 8 9 10 15 21 25 30 32 34 35 37 43 46 48 52 53 56 57 60 61 62 64 66 70 71 74 77 83 87 89 98 105 111 112 119 120 121 125 126
a 2 3 8 9 10 21 25 30 32 34 35 37 43 46 48 52 53 56 57 60 61 62 64 66 70 71 73 74 77 83 87 89 98 105 111 112 119 120 121 125 126
a 2 3 8 9 10 21 25 30 32 34 35 37 43 46 48 53 56 57 60 61 62 64 66 70 71 73 74 77 83 87 89 98 105 111 112 119 120 121 125 126 129
a 2 3 8 9 10 12 21 25 30 32 34 35 37 43 46 48 53 56 57 60 61 62 64 66 70 71 73 74 83 87 89 98 105 111 112 119 120 121 125 126 129
a 2 3 8 9 10 12 21 22 25 30 32 34 35 37 43 46 48 53 56 57 60 61 62 64 66 70 71 73 83 87 89 98 105 111 112 119 120 121 125 126 129
a 2 3 8 9 10 12 21 22 25 30 32 34 35 37 43 46 48 53 54 56 57 61 62 64 66 70 71 73 83 87 89 98 105 111 112 119 120 121 125 126 129
a 2 3 8 9 10 12 21 22 25 30 32 34 35 36 37 43 46 48 53 54 56 57 61 62 64 66 70 71 73 83 87 89 98 105 111 119 120 121 125 126 129
a 2 3 8 9 10 12 21 22 25 30 31 32 34 35 36 37 43 46 48 53 54 56 57 61 62 64 66 70 71 73 83 87 89 98 105 111 119 120 121 125 126
a 2 3 8 9 10 12 21 22 25 30 31 32 35 36 37 43 46 48 53 54 56 57 61 62 64 66 70 71 73 83 87 89 98 105 111 119 120 121 125 126 127
a 2 3 8 9 10 12 21 22 25 30 31 32 35 36 37 43 46 48 53 56 57 60 61 62 64 66 70 71 73 83 87 89 98 105 111 119 120 121 125 126 127
a 2 3 8 9 10 12 21 22 25 30 31 32 35 36 37 43 46 53 56 57 60 61 62 64 66 70 71 73 83 87 89 98 105 111 114 119 120 121 125 126 127
a 2 3 8 9 10 12 21 22 25 30 31 32 34 35 36 37 43 46 53 56 57 60 61 62 64 66 70 71 73 83 87 89 98 105 111 114 119 120 121 125 126
a 2 3 8 9 10 12 15 21 22 25 30 31 32 34 35 36 37 43 46 53 56 57 60 61 62 64 66 70 71 83 87 89 98 105 111 114 119 120 121 125 126
a 2 3 8 9 10 12 15 21 22 25 30 31 32 34 35 36 43 46 53 56 57 58 60 61 62 64 66 70 71 83 87 89 98 105 111 114 119 120 121 125 126
a 2 3 8 9 10 12 15 21 22 25 30 31 32 34 35 36 43 53 56 57 58 60 61 62 64 66 70 71 80 83 87 89 98 105 111 114 119 120 121 125 126
a 1 2 3 8 9 10 12 15 21 22 25 30 31 32 34 35 36 43 53 56 57 60 61 62 64 66 70 71 80 83 87 89 98 105 111 114 119 120 121 125 126
a 1 2 3 8 9 10 12 15 21 22 25 30 31 32 34 35 36 37 43 53 56 57 60 61 62 64 66 70 71 80 83 87 89 98 105 111 114 119 120 121 125
a 1 2 3 8 9 10 12 15 21 22 25 30 31 32 34 35 36 37 43 53 56 57 60 61 62 64 66 70 80 83 87 89 98 105 111 114 117 119 120 121 125
a 1 2 3 8 9 10 12 15 21 22 25 30 31 32 34 35 36 37 43 56 57 60 61 62 64 66 70 80 83 87 89 98 105 111 114 117 119 120 121 125 130
a 1 2 3 8 9 10 12 15 21 25 30 31 32 34 35 36 37 43 56 57 60 61 62 64 66 70 74 80 83 87 89 98 105 111 114 117 119 120 121 125 130
a 1 2 3 8 9 10 12 15 21 25 30 31 32 34 35 36 37 43 56 57 58 60 61 62 64 66 70 80 83 87 89 98 105 111 114 117 119 120 121 125 130
a 1 2 3 8 9 10 12 15 21 25 30 31 32 34 35 37 43 56 57 58 60 61 62 64 66 70 80 82 83 87 89 98 105 111 114 117 119 120 121 125 130
a 1 2 3 8 9 10 12 15 21 25 30 31 32 34 35 37 43 56 57 58 60 61 62 64 66 70 80 82 83 87 89 98 105 111 114 117 119 121 125 128 130
a 1 2 3 8 9 10 12 15 21 25 31 32 34 35 37 43 56 57 58 60 61 62 64 66 70 80 82 83 87 89 98 105 111 114 117 119 121 125 128 129 130
a 1 2 3 8 9 10 12 14 15 21 25 31 32 34 35 37 43 56 57 58 60 61 62 64 66 70 80 82 83 87 89 98 105 111 114 117 119 121 125 128 129
a 1 2 3 8 9 10 12 14 15 21 25 31 32 34 35 37 43 48 56 57 58 60 61 62 64 66 70 80 82 83 87 89 98 105 111 117 119 121 125 128 129
a 1 2 3 8 9 10 12 14 15 21 25 31 32 34 35 37 43 48 56 57 58 60 61 62 64 66 70 82 83 87 89 98 105 111 116 117 119 121 125 128 129
a 1 3 8 9 10 12 14 15 21 25 31 32 34 35 37 43 48 56 57 58 60 61 62 64 66 70 82 83 87 89 98 105 109 111 116 117 119 121 125 128 129
a 1 3 8 9 10 12 14 15 21 25 31 32 34 35 37 43 45 48 56 57 58 60 61 62 64 66 70 82 83 87 89 98 105 109 111 116 117 119 125 128 129
a 1 3 8 9 10 12 14 15 21 25 31 32 34 35 37 45 48 56 57 58 60 61 62 64 66 70 79 82 83 87 89 98 105 109 111 116 117 119 125 128 129
a 1 3 4 8 9 10 12 14 15 21 25 31 34 35 37 45 48 56 57 58 60 61 62 64 66 70 79 82 83 87 89 98 105 109 111 116 117 119 125 128 129
a 1 3 4 8 9 10 12 14 15 21 25 31 35 37 45 48 56 57 58 60 61 62 64 66 70 79 82 83 87 89 98 105 109 111 116 117 119 125 127 128 129
a 1 4 8 9 10 12 14 15 21 24 25 31 35 37 45 48 56 57 58 60 61 62 64 66 70 79 82 83 87 89 98 105 109 111 116 117 119 125 127 128 129
a 1 4 8 9 10 12 14 15 21 24 25 31 35 37 44 45 48 57 58 60 61 62 64 66 70 79 82 83 87 89 98 105 109 111 116 117 119 125 127 128 129
a 1 4 8 9 10 12 14 15 21 24 25 31 35 37 44 45 48 57 58 60 61 62 64 67 70 79 82 83 87 89 98 105 109 111 116 117 119 125 127 128 129
a 1 4 8 9 10 12 14 15 21 24 25 31 35 37 44 45 48 57 58 59 60 61 62 67 70 79 82 83 87 89 98 105 109 111 116 117 119 125 127 128 129
a 1 4 8 9 10 12 14 15 21 24 25 31 35 37 44 45 48 57 58 59 60 61 62 67 70 71 79 82 83 87 89 98 105 109 111 116 119 125 127 128 129
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 48 57 58 59 60 61 62 67 70 71 79 82 83 87 89 98 105 109 111 116 119 125 127 128 129
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 44 45 48 57 58 59 60 62 67 70 71 79 82 83 87 89 98 105 109 111 116 119 124 125 127 128 129
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 40 44 45 48 57 58 59 60 62 67 70 71 79 82 83 87 89 98 105 109 111 116 124 125 127 128 129
c Step: 310
#END: [Tue Sep  5 07:24:42 2023]