#BEGIN: [Tue Sep  5 06:55:14 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance010_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance010_graph005_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance010_graph005.col /benchmark/random_instance/random_instance010_graph005_01.dat
c /benchmark/random_instance/random_instance010_graph005.col
c /benchmark/random_instance/random_instance010_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID 6a9c72ec73d40808c7bdc2f3db4e4c3d87314270f482b830494b950950cecc84
s 111 53 90 35 89 33 91 110 21 77 130 61 124 49 59 85 6 23 40 100 39 97 104 4 118 17 62 103 128 87 67 96 75 70 73 10 105 18 83 5
t 113 1 20 18 66 29 12 44 127 63 4 106 49 6 70 27 26 57 103 78 122 39 16 65 110 129 55 14 56 77 75 130 128 105 58 53 61 45 87 67
a YES
a 4 5 6 10 17 18 21 23 33 35 39 40 49 53 59 61 62 67 70 73 75 77 83 85 87 89 90 91 96 97 100 103 104 105 110 111 118 124 128 130
a 4 5 6 10 17 18 23 33 35 39 40 49 53 59 61 62 67 70 73 75 77 83 85 87 89 90 91 96 97 100 103 104 105 110 111 113 118 124 128 130
a 4 5 6 10 11 17 18 23 33 35 39 40 53 59 61 62 67 70 73 75 77 83 85 87 89 90 91 96 97 100 103 104 105 110 111 113 118 124 128 130
a 5 6 10 11 17 18 19 23 33 35 39 40 53 59 61 62 67 70 73 75 77 83 85 87 89 90 91 96 97 100 103 104 105 110 111 113 118 124 128 130
a 5 6 10 11 17 18 19 23 33 35 39 40 59 61 62 67 70 73 75 77 83 85 87 89 90 91 96 97 100 103 104 105 107 110 111 113 118 124 128 130
a 5 6 10 11 17 18 19 23 33 35 36 39 40 59 61 62 67 73 75 77 83 85 87 89 90 91 96 97 100 103 104 105 107 110 111 113 118 124 128 130
a 5 6 10 11 17 18 19 23 33 35 36 39 40 59 61 62 67 70 73 75 77 83 85 87 89 90 91 96 97 100 103 104 105 107 110 113 118 124 128 130
a 5 6 10 11 17 18 19 23 33 35 36 40 52 59 61 62 67 70 73 75 77 83 85 87 89 90 91 96 97 100 103 104 105 107 110 113 118 124 128 130
a 5 6 10 11 17 18 19 23 33 35 36 40 52 59 61 62 67 70 73 75 77 83 85 87 89 90 91 96 97 100 103 104 105 107 110 118 119 124 128 130
a 5 6 10 11 17 18 23 33 35 36 40 52 59 61 62 67 70 73 75 77 83 85 87 89 90 91 96 97 100 103 104 105 107 110 111 118 119 124 128 130
a 5 6 10 11 17 18 23 33 35 36 40 52 59 61 62 67 73 75 77 83 85 87 89 90 91 96 97 100 103 104 105 107 110 111 113 118 119 124 128 130
a 5 6 10 11 17 18 23 33 35 36 39 40 59 61 62 67 73 75 77 83 85 87 89 90 91 96 97 100 103 104 105 107 110 111 113 118 119 124 128 130
a 5 6 10 11 17 23 33 35 36 39 40 59 61 62 67 73 75 77 83 85 87 89 90 91 96 97 100 103 104 105 107 110 111 112 113 118 119 124 128 130
a 5 6 10 11 17 23 33 35 36 39 41 59 61 62 67 73 75 77 83 85 87 89 90 91 96 97 100 103 104 105 107 110 111 112 113 118 119 124 128 130
a 5 6 10 11 17 23 33 35 36 39 41 51 59 61 62 67 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 110 111 112 113 118 119 124 128 130
a 5 6 10 11 17 23 33 35 36 39 41 51 53 59 61 62 67 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 110 111 112 113 118 119 124 128
a 5 6 10 11 17 18 23 33 35 36 39 41 51 53 59 61 62 67 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 110 111 112 113 118 119 124
a 5 6 10 11 17 18 23 33 35 36 39 41 51 53 59 61 62 67 73 77 83 85 87 89 91 96 97 100 103 104 105 107 110 111 112 113 118 119 124 130
a 5 6 10 11 17 18 19 23 33 35 36 39 41 51 53 59 61 62 67 73 77 83 85 87 89 91 96 97 100 103 104 105 107 110 111 112 113 118 124 130
a 5 6 10 11 17 18 19 23 33 35 36 39 41 51 53 59 61 62 67 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 110 111 112 113 118 124
a 5 6 10 11 17 18 19 23 33 35 36 39 41 51 53 59 61 62 67 73 75 77 83 85 87 89 91 96 97 100 103 104 107 110 111 112 113 118 124 130
a 5 6 10 11 17 18 19 23 33 35 36 39 41 51 53 59 61 62 67 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 110 111 112 113 124 130
a 5 6 10 11 17 18 19 23 33 35 36 39 41 51 53 59 61 62 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 110 111 112 113 124
a 5 6 10 11 17 18 19 23 33 35 36 39 41 51 53 59 61 62 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 110 111 112 124 128
a 5 6 10 11 17 18 19 23 33 35 36 39 41 51 53 57 59 61 62 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 110 112 124 128
a 5 6 10 11 17 18 19 23 33 35 36 39 41 51 53 57 59 61 62 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 112 124 128 130
a 5 6 10 11 17 18 19 23 33 35 36 39 41 51 53 57 59 61 62 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 112 118 124 128
a 5 6 10 11 17 18 19 23 33 35 36 39 41 51 53 57 59 61 62 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 111 112 124 128
a 5 6 10 11 18 19 23 33 35 36 39 41 51 53 57 59 61 62 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 111 112 124 125 128
a 5 6 11 18 19 23 33 35 36 39 41 51 53 57 59 61 62 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 111 112 124 125 128 130
a 5 6 11 18 19 23 33 35 36 39 41 51 53 57 59 61 62 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 111 112 113 124 125 128 130
a 5 6 11 18 19 23 33 35 36 39 41 51 53 57 59 61 62 66 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 111 112 113 124 125 128
a 5 6 11 18 19 23 33 35 36 39 41 51 53 57 59 61 62 66 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 109 111 112 113 124 125
a 5 6 11 18 19 23 33 35 36 39 41 51 53 57 59 61 62 66 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 109 111 112 113 118 125
a 5 6 11 18 19 23 33 36 39 41 51 53 57 59 61 62 66 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 109 111 112 113 118 124 125
a 5 6 11 18 19 23 33 36 39 41 51 53 57 59 61 62 66 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 109 110 111 112 113 118 125
a 5 6 11 18 19 23 33 35 36 39 41 51 53 57 59 61 62 66 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 109 110 111 112 113 118
a 5 6 10 11 18 19 23 33 35 36 39 41 51 53 57 59 61 62 66 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 109 110 111 112 113
a 5 6 10 11 18 19 23 33 35 36 39 41 51 53 57 59 61 62 66 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 109 110 111 112 119
a 5 6 10 11 18 19 23 33 35 36 39 41 51 53 57 59 61 62 66 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 110 111 112 119
a 5 6 10 11 18 19 23 33 35 36 39 41 51 53 57 59 61 62 66 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 110 112 119 124
a 5 6 10 11 17 18 19 23 33 35 36 39 41 51 53 57 59 61 62 66 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 112 119 124
a 5 6 10 11 17 18 19 23 33 35 36 39 41 51 53 57 59 61 62 66 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 112 118 119
a 5 6 10 11 18 19 22 23 33 35 36 39 41 51 53 57 59 61 62 66 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 112 118 119
a 5 6 10 11 18 19 22 23 33 35 36 39 41 51 53 57 59 61 62 66 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 107 112 118 128
a 5 6 10 11 18 19 22 23 33 35 36 39 41 51 53 57 59 61 62 66 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 112 113 118 128
a 5 6 10 18 19 22 23 33 35 36 39 41 51 53 57 59 61 62 66 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 112 113 118 128 130
a 5 6 10 11 18 19 22 23 33 35 36 39 41 51 53 57 59 61 62 66 67 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 113 118 128 130
a 5 6 10 11 18 19 22 23 28 33 35 36 39 41 51 53 57 59 61 62 66 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 113 118 128 130
a 5 6 10 11 18 19 22 23 28 33 35 36 41 51 53 57 59 61 62 66 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 110 113 118 128 130
a 5 6 10 11 18 19 22 23 28 33 35 36 39 51 53 57 59 61 62 66 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 110 113 118 128 130
a 5 6 10 11 18 19 22 27 28 33 35 36 39 51 53 57 59 61 62 66 70 73 75 77 83 85 87 89 91 96 97 100 103 104 105 110 113 118 128 130
a 5 6 10 11 14 18 19 22 27 28 33 35 36 39 51 53 57 59 61 62 66 70 73 75 77 83 85 87 91 96 97 100 103 104 105 110 113 118 128 130
a 2 5 6 10 11 14 18 19 22 27 28 33 35 36 39 51 53 57 59 61 62 66 70 73 75 77 83 85 87 91 96 97 100 103 104 105 110 113 118 130
a 2 5 6 10 11 14 18 19 22 27 28 33 35 36 39 51 53 57 59 61 62 66 70 73 75 77 83 85 87 91 96 97 100 103 104 105 109 113 118 130
a 2 5 10 11 14 18 19 22 27 28 33 35 36 39 51 53 57 59 61 62 66 70 73 75 77 83 85 87 91 96 97 100 103 104 105 109 113 118 124 130
a 2 5 6 10 11 14 18 19 22 27 28 33 35 36 39 51 53 57 59 61 62 66 70 73 75 77 83 85 87 91 96 97 100 103 104 105 113 118 124 130
a 2 5 6 10 11 14 18 19 22 27 28 33 35 36 39 51 53 57 59 61 62 66 70 73 75 77 83 85 87 91 96 97 100 103 104 105 109 113 118 124
a 2 5 6 10 11 14 18 19 22 27 28 33 35 36 39 51 53 57 59 61 62 66 70 73 75 77 83 85 87 91 96 97 100 103 104 105 109 112 113 118
a 2 5 6 10 11 14 18 19 22 27 28 33 35 36 39 51 53 57 59 61 62 66 70 73 75 77 83 85 87 91 96 100 103 104 105 109 112 113 118 130
a 2 5 6 10 11 14 18 19 22 27 28 33 35 36 39 51 53 57 59 61 62 66 70 73 75 77 83 85 87 91 100 103 104 105 109 112 113 118 121 130
a 2 5 6 10 11 14 17 18 19 27 28 33 35 36 39 51 53 57 59 61 62 66 70 73 75 77 83 85 87 91 100 103 104 105 109 112 113 118 121 130
a 2 5 6 10 11 14 17 18 19 27 28 33 36 39 51 53 54 57 59 61 62 66 70 73 75 77 83 85 87 91 100 103 104 105 109 112 113 118 121 130
a 2 5 6 10 11 14 17 18 19 27 28 33 36 39 51 53 54 57 59 61 62 70 73 75 77 83 85 87 91 94 100 103 104 105 109 112 113 118 121 130
a 2 5 6 10 11 14 17 18 19 27 28 33 36 39 51 53 54 57 59 61 62 70 73 75 77 83 85 87 91 94 100 103 104 105 109 112 113 118 121 128
a 2 5 6 11 14 17 18 19 27 28 33 36 39 51 53 54 57 59 61 62 70 73 75 77 83 85 87 91 94 100 103 104 105 109 112 113 118 121 128 130
a 2 5 6 11 14 17 18 19 27 28 33 35 36 39 51 53 57 59 61 62 70 73 75 77 83 85 87 91 94 100 103 104 105 109 112 113 118 121 128 130
a 2 5 6 10 11 14 17 18 19 27 28 33 35 36 39 51 53 57 59 61 62 70 73 75 77 83 85 87 91 94 100 103 104 105 109 112 113 118 121 130
a 2 5 6 10 11 14 17 18 19 27 28 33 35 36 39 51 53 57 59 61 62 70 75 77 83 85 87 91 94 100 103 104 105 109 112 113 116 118 121 130
a 2 5 6 10 11 14 17 18 19 27 28 33 35 36 39 51 53 57 59 61 62 70 75 77 83 85 87 91 94 100 103 104 105 109 111 112 113 116 118 121
a 5 6 10 11 14 17 18 19 27 28 33 35 36 39 51 53 57 59 61 62 70 75 77 83 85 87 91 94 100 103 104 105 109 111 112 113 116 118 121 124
a 5 6 10 11 14 17 18 19 27 28 33 35 36 39 51 53 57 59 61 62 70 75 77 83 85 87 91 94 100 103 104 105 109 111 112 113 116 118 124 130
a 5 6 10 11 14 17 18 19 27 28 33 35 36 51 53 57 59 61 62 70 72 75 77 83 85 87 91 94 100 103 104 105 109 111 112 113 116 118 124 130
a 5 6 10 11 14 17 18 19 27 28 33 35 51 53 57 59 61 62 68 70 72 75 77 83 85 87 91 94 100 103 104 105 109 111 112 113 116 118 124 130
a 5 6 10 11 14 17 18 19 27 28 33 35 51 53 57 59 61 62 68 70 72 75 77 83 85 87 91 94 97 100 103 104 105 109 111 112 113 116 118 124
a 2 5 6 10 11 17 18 19 27 28 33 35 51 53 57 59 61 62 68 70 72 75 77 83 85 87 91 94 97 100 103 104 105 109 111 112 113 116 118 124
a 2 5 6 10 11 14 17 18 19 27 28 33 35 53 57 59 61 62 68 70 72 75 77 83 85 87 91 94 97 100 103 104 105 109 111 112 113 116 118 124
a 2 5 6 10 11 14 17 18 19 27 28 33 35 53 57 59 61 62 68 70 72 75 77 83 85 87 91 94 97 100 103 104 105 109 110 111 112 113 118 124
a 2 5 6 10 11 14 17 18 19 27 28 33 35 53 57 58 59 61 62 68 70 72 75 77 83 85 87 91 94 97 103 104 105 109 110 111 112 113 118 124
a 2 5 6 10 11 14 17 18 19 27 28 33 35 53 57 58 59 61 62 68 70 72 75 77 85 87 91 94 97 103 104 105 109 110 111 112 113 118 122 124
a 2 3 5 6 10 11 14 17 18 19 27 28 33 35 53 57 58 59 61 62 68 70 72 75 77 85 87 91 94 97 103 104 105 109 110 112 113 118 122 124
a 2 3 5 6 10 11 14 17 19 27 28 33 35 53 57 58 59 61 62 68 70 72 75 77 85 87 91 94 97 103 104 105 109 110 112 113 116 118 122 124
a 2 3 5 6 10 14 17 18 19 27 28 33 35 53 57 58 59 61 62 68 70 72 75 77 85 87 91 94 97 103 104 105 109 110 112 113 116 118 122 124
a 2 3 5 6 10 11 14 17 18 19 27 28 33 35 53 57 58 59 61 62 68 70 72 75 77 85 87 91 94 97 103 104 105 109 110 112 113 116 118 122
a 2 3 5 6 11 14 17 18 19 27 28 33 35 53 57 58 59 61 62 64 68 70 72 75 77 85 87 91 94 97 103 104 105 109 110 112 113 116 118 122
a 2 3 5 6 11 17 18 19 27 28 33 35 53 57 58 59 61 62 64 68 70 72 75 77 85 87 91 94 96 97 103 104 105 109 110 112 113 116 118 122
a 2 3 5 6 11 17 18 19 27 28 33 35 53 57 58 59 61 62 64 68 70 72 75 77 85 87 91 94 96 97 103 104 105 109 110 112 113 116 119 122
a 2 5 6 11 17 18 19 27 28 33 35 53 57 58 59 61 62 64 68 70 72 75 77 85 87 91 94 96 97 103 104 105 109 110 112 113 116 118 119 122
a 5 6 11 16 17 18 19 27 28 33 35 53 57 58 59 61 62 64 68 70 72 75 77 85 87 91 94 96 97 103 104 105 109 110 112 113 116 118 119 122
a 5 6 11 16 17 18 19 27 28 33 35 53 57 58 59 61 62 64 66 68 70 72 75 77 85 87 91 96 97 103 104 105 109 110 112 113 116 118 119 122
a 3 5 6 11 16 17 18 19 27 28 33 35 53 57 58 59 61 62 64 66 68 70 72 75 77 85 87 91 96 97 103 104 105 109 110 112 113 116 118 119
a 3 6 11 16 17 18 19 27 28 33 35 53 57 58 59 61 62 64 66 68 70 72 75 77 85 87 91 96 97 103 104 105 109 110 112 113 116 118 119 122
a 3 6 11 16 18 19 27 28 33 35 37 53 57 58 59 61 62 64 66 68 70 72 75 77 85 87 91 96 97 103 104 105 109 110 112 113 116 118 119 122
a 3 6 11 16 18 19 22 27 28 33 35 37 53 57 58 59 61 62 64 66 68 70 72 75 77 85 87 91 96 97 103 104 105 109 110 112 113 116 118 119
a 3 6 11 13 16 18 19 22 27 28 33 35 37 53 57 58 59 61 62 64 66 68 70 72 75 77 85 87 91 96 97 103 104 105 109 110 113 116 118 119
a 3 6 10 11 13 16 18 19 22 27 28 33 35 37 53 57 58 59 61 62 64 66 68 70 72 75 77 85 87 91 96 97 103 104 105 109 110 113 116 118
a 3 6 10 11 13 16 18 19 22 27 28 33 35 37 53 57 58 59 61 62 64 66 68 70 72 75 77 85 87 91 96 97 103 104 105 109 110 113 116 119
a 3 6 10 13 16 18 19 22 27 28 33 35 37 53 57 58 59 61 62 64 66 68 70 72 75 77 85 87 91 96 97 103 104 105 109 110 113 116 119 122
a 3 6 10 11 13 16 18 22 27 28 33 35 37 53 57 58 59 61 62 64 66 68 70 72 75 77 85 87 91 96 97 103 104 105 109 110 113 116 119 122
a 3 6 10 11 13 16 17 18 27 28 33 35 37 53 57 58 59 61 62 64 66 68 70 72 75 77 85 87 91 96 97 103 104 105 109 110 113 116 119 122
a 2 3 6 10 11 13 17 18 27 28 33 35 37 53 57 58 59 61 62 64 66 68 70 72 75 77 85 87 91 96 97 103 104 105 109 110 113 116 119 122
a 2 3 6 10 11 13 17 18 27 28 33 35 37 53 56 57 58 59 61 64 66 68 70 72 75 77 85 87 91 96 97 103 104 105 109 110 113 116 119 122
a 2 3 6 10 11 13 17 18 27 28 33 35 37 53 56 57 58 59 61 64 66 68 70 72 75 77 85 87 96 97 103 104 105 109 110 113 116 119 122 123
a 3 6 10 11 13 17 18 26 27 28 33 35 37 53 56 57 58 59 61 64 66 68 70 72 75 77 85 87 96 97 103 104 105 109 110 113 116 119 122 123
a 2 3 6 10 11 13 17 18 26 27 28 33 35 37 53 56 57 58 59 61 64 66 68 70 72 75 77 85 87 96 97 103 104 105 109 110 113 116 119 123
a 2 3 6 10 11 13 17 18 26 27 28 33 35 37 46 53 56 57 58 59 61 64 66 68 70 72 75 77 85 87 96 97 103 104 105 109 110 113 116 119
a 3 6 10 11 13 17 18 26 27 28 33 35 37 41 46 53 56 57 58 59 61 64 66 68 70 72 75 77 85 87 96 97 103 104 105 109 110 113 116 119
a 3 6 10 11 13 17 18 26 27 28 33 35 37 41 46 53 56 57 58 59 61 64 66 68 70 72 75 77 85 87 96 97 103 104 105 109 110 113 116 129
a 2 3 6 10 11 13 17 18 26 27 28 33 35 37 46 53 56 57 58 59 61 64 66 68 70 72 75 77 85 87 96 97 103 104 105 109 110 113 116 129
a 2 3 6 10 11 13 17 18 26 27 28 33 35 37 46 53 56 57 58 59 61 64 66 68 70 72 75 77 85 87 96 97 103 104 105 109 113 116 124 129
a 2 3 6 10 11 13 17 18 26 28 33 35 37 46 53 56 57 58 59 61 64 66 68 70 72 75 77 85 87 93 96 97 103 104 105 109 113 116 124 129
a 2 3 6 10 11 13 17 18 26 28 33 35 46 53 56 57 58 59 61 64 66 68 70 72 75 77 85 87 89 93 96 97 103 104 105 109 113 116 124 129
a 2 3 6 10 11 13 17 18 26 28 33 35 46 53 57 58 59 61 62 64 66 68 70 72 75 77 85 87 89 93 96 97 103 104 105 109 113 116 124 129
a 2 3 6 10 11 17 18 26 28 33 35 46 53 57 58 59 61 62 64 66 68 70 72 75 77 85 87 89 93 96 97 103 104 105 109 112 113 116 124 129
a 2 3 6 10 11 17 18 26 28 33 35 46 47 53 57 59 61 62 64 66 68 70 72 75 77 85 87 89 93 96 97 103 104 105 109 112 113 116 124 129
a 2 3 6 10 11 17 18 26 28 33 35 46 47 50 53 57 59 61 62 64 66 68 70 72 75 85 87 89 93 96 97 103 104 105 109 112 113 116 124 129
a 2 3 6 10 17 18 26 28 33 35 46 47 49 50 53 57 59 61 62 64 66 68 70 72 75 85 87 89 93 96 97 103 104 105 109 112 113 116 124 129
a 2 3 6 10 17 18 26 28 33 35 46 47 49 50 53 57 59 61 62 64 66 68 70 72 75 85 87 89 93 96 97 100 103 104 105 109 112 113 116 124
a 2 3 5 10 17 18 26 28 33 35 46 47 49 50 53 57 59 61 62 64 66 68 70 72 75 85 87 89 93 96 97 100 103 104 105 109 112 113 116 124
a 2 3 5 10 14 17 18 26 28 33 35 46 47 49 50 53 57 59 61 62 64 66 68 70 72 75 85 87 93 96 97 100 103 104 105 109 112 113 116 124
a 2 3 5 10 14 17 18 19 26 28 33 35 46 47 49 50 53 57 59 61 62 64 66 68 70 72 75 85 87 93 96 97 100 103 104 105 109 112 113 116
a 3 5 10 14 16 17 18 19 26 28 33 35 46 47 49 50 53 57 59 61 62 64 66 68 70 72 75 85 87 93 96 97 100 103 104 105 109 112 113 116
a 3 5 10 14 16 17 18 19 26 28 33 35 46 47 50 53 57 59 61 62 64 66 68 70 72 75 85 87 93 96 97 100 103 104 105 107 109 112 113 116
a 3 5 10 14 16 17 18 19 26 28 33 35 46 47 50 53 57 59 61 62 64 66 68 70 72 75 85 87 93 97 100 103 104 105 107 109 112 113 116 121
a 3 5 10 14 16 17 18 19 26 28 33 35 46 47 50 53 57 59 61 62 64 66 68 70 72 75 85 87 93 97 100 103 104 105 107 109 112 113 116 129
a 3 5 10 14 16 17 18 19 26 28 33 35 46 47 50 53 57 59 61 62 64 66 68 70 72 75 85 87 91 93 97 100 103 104 105 107 109 112 113 116
a 3 5 10 14 16 17 18 19 26 28 33 35 46 47 53 57 59 61 62 64 66 68 70 72 75 85 87 91 93 97 100 103 104 105 107 109 112 113 116 124
a 3 5 10 14 16 17 18 19 26 28 33 35 46 47 51 53 57 59 61 62 66 68 70 72 75 85 87 91 93 97 100 103 104 105 107 109 112 113 116 124
a 3 5 10 14 16 17 18 19 26 28 33 35 46 47 51 53 57 59 61 62 66 68 70 72 75 85 87 91 93 97 100 103 104 105 107 109 112 113 116 121
a 3 5 10 14 16 17 18 19 26 27 28 33 35 46 47 51 53 57 59 61 62 66 68 70 72 75 85 87 91 93 97 100 103 104 105 107 109 112 113 116
a 3 5 10 14 16 17 18 19 26 27 28 33 35 46 47 51 53 55 57 59 61 62 66 68 70 72 75 85 91 93 97 100 103 104 105 107 109 112 113 116
a 3 5 10 14 16 17 18 19 26 27 28 33 35 37 46 47 51 53 57 59 61 62 66 68 70 72 75 85 91 93 97 100 103 104 105 107 109 112 113 116
a 3 5 7 10 14 16 17 18 19 26 27 28 33 35 37 46 47 51 53 57 59 61 62 66 68 70 72 75 85 91 93 97 100 103 104 105 107 109 112 113
a 3 5 7 10 14 16 17 18 19 26 27 28 33 35 37 46 47 53 57 59 61 62 64 66 68 70 72 75 85 91 93 97 100 103 104 105 107 109 112 113
a 3 5 7 10 14 16 17 18 19 26 27 28 33 35 37 46 47 53 57 59 61 62 64 66 68 70 72 75 91 93 97 100 103 104 105 107 109 112 113 121
a 3 5 7 10 14 16 17 18 19 26 27 28 33 35 37 47 53 57 59 61 62 63 64 66 68 70 72 75 91 93 97 100 103 104 105 107 109 112 113 121
a 5 7 10 14 16 17 18 19 26 27 28 33 35 37 47 53 57 59 61 62 63 64 66 68 70 72 75 85 91 93 97 100 103 104 105 107 109 112 113 121
a 5 7 10 14 16 17 18 19 26 27 28 33 35 37 47 53 57 59 61 62 63 64 66 68 70 72 75 85 88 93 97 100 103 104 105 107 109 112 113 121
a 7 10 14 16 17 18 19 26 27 28 33 35 37 47 53 57 59 61 62 63 64 66 68 70 72 75 85 88 93 97 100 103 104 105 107 109 112 113 121 129
a 5 7 10 14 16 17 18 19 26 27 28 33 35 37 47 53 57 59 61 62 63 64 66 70 72 75 85 88 93 97 100 103 104 105 107 109 112 113 121 129
a 5 7 10 14 16 17 18 19 26 27 28 33 35 36 37 47 53 57 59 61 62 63 64 66 70 72 75 85 88 97 100 103 104 105 107 109 112 113 121 129
a 3 7 10 14 16 17 18 19 26 27 28 33 35 36 37 47 53 57 59 61 62 63 64 66 70 72 75 85 88 97 100 103 104 105 107 109 112 113 121 129
a 3 7 10 14 16 17 18 19 26 27 28 33 35 36 47 53 55 57 59 61 62 63 64 66 70 72 75 85 88 97 100 103 104 105 107 109 112 113 121 129
a 3 7 10 14 16 17 18 19 26 27 28 33 35 36 47 53 55 59 61 62 63 64 66 70 72 75 85 88 97 100 103 104 105 107 109 112 113 121 128 129
a 3 6 10 14 16 17 18 19 26 27 28 33 35 36 47 53 55 59 61 62 63 64 66 70 72 75 85 88 97 100 103 104 105 107 109 112 113 121 128 129
a 3 6 10 16 17 18 19 26 27 28 33 35 36 47 53 55 59 61 62 63 64 66 70 72 75 85 88 89 97 100 103 104 105 107 109 112 113 121 128 129
a 3 7 10 16 17 18 19 26 27 28 33 35 36 47 53 55 59 61 62 63 64 66 70 72 75 85 88 89 97 100 103 104 105 107 109 112 113 121 128 129
a 7 10 16 17 18 19 26 27 28 33 35 36 47 53 55 59 61 62 63 64 66 70 72 75 85 88 89 97 100 103 104 105 107 109 112 113 119 121 128 129
a 7 10 16 17 18 19 25 26 27 28 33 35 36 47 53 55 59 61 62 63 64 66 70 72 75 85 88 89 97 100 103 104 107 109 112 113 119 121 128 129
a 7 10 16 17 18 19 25 26 27 28 33 35 36 47 51 53 55 59 61 62 63 66 70 72 75 85 88 89 97 100 103 104 107 109 112 113 119 121 128 129
a 7 10 16 17 18 19 25 26 27 28 32 33 35 36 47 51 53 55 59 62 63 66 70 72 75 85 88 89 97 100 103 104 107 109 112 113 119 121 128 129
a 3 7 10 16 17 18 19 25 26 27 28 33 35 36 47 51 53 55 59 62 63 66 70 72 75 85 88 89 97 100 103 104 107 109 112 113 119 121 128 129
a 5 7 10 16 17 18 19 25 26 27 28 33 35 36 47 51 53 55 59 62 63 66 70 72 75 85 88 89 97 100 103 104 107 109 112 113 119 121 128 129
a 5 7 10 16 17 18 19 25 26 27 28 33 35 36 47 51 53 55 59 62 66 70 72 75 85 88 89 97 100 103 104 107 109 112 113 116 119 121 128 129
a 5 7 10 14 16 17 18 19 25 26 27 28 33 35 36 47 51 53 55 59 62 66 70 72 75 85 88 97 100 103 104 107 109 112 113 116 119 121 128 129
a 5 7 10 14 16 17 18 19 25 26 27 28 33 35 36 47 51 53 59 62 66 70 72 75 85 88 97 100 103 104 107 109 112 113 116 119 121 124 128 129
a 5 7 10 14 16 17 18 19 25 26 27 28 33 35 36 47 51 53 62 66 70 72 75 85 88 97 100 103 104 106 107 109 112 113 116 119 121 124 128 129
a 5 7 10 14 16 17 18 19 25 26 27 28 32 33 35 36 47 51 53 62 66 70 72 75 85 88 97 100 103 104 106 107 109 112 113 119 121 124 128 129
a 1 5 7 10 14 16 17 18 19 25 26 27 28 32 33 35 36 47 51 53 62 66 70 72 75 85 88 97 103 104 106 107 109 112 113 119 121 124 128 129
a 1 5 6 10 14 16 17 18 19 25 26 27 28 32 33 35 36 47 51 53 62 66 70 72 75 85 88 97 103 104 106 107 109 112 113 119 121 124 128 129
a 1 5 6 10 14 16 17 18 19 25 26 27 28 32 33 35 36 47 51 53 62 66 70 75 85 88 97 98 103 104 106 107 109 112 113 119 121 124 128 129
a 1 5 6 10 14 16 17 18 19 25 26 27 28 32 33 35 36 47 53 58 62 66 70 75 85 88 97 98 103 104 106 107 109 112 113 119 121 124 128 129
a 1 5 6 10 14 16 17 18 19 25 26 27 28 32 33 35 36 44 47 53 58 62 66 70 75 85 88 97 98 103 104 106 107 109 112 113 119 121 128 129
a 1 5 6 10 11 14 16 17 18 19 25 26 27 28 32 33 35 36 44 47 53 58 62 66 70 75 85 88 97 98 103 104 106 107 109 112 113 119 121 128
a 1 5 6 10 11 14 16 18 19 25 26 27 28 32 33 35 36 44 47 53 58 62 63 66 70 75 85 88 97 98 103 104 106 107 109 112 113 119 121 128
a 1 5 6 10 11 14 16 18 19 25 26 27 28 32 33 35 36 39 44 47 53 58 62 63 66 70 75 85 88 97 98 103 104 106 107 109 112 113 119 121
a 1 5 6 10 11 14 16 18 19 25 26 27 28 32 33 35 36 39 44 46 47 53 58 62 66 70 75 85 88 97 98 103 104 106 107 109 112 113 119 121
a 1 5 6 10 11 14 16 18 19 25 26 27 28 32 33 35 36 39 44 46 47 53 58 62 66 70 75 85 88 97 98 103 104 106 107 109 112 113 119 128
a 1 5 6 10 11 14 16 18 19 25 26 27 28 32 33 35 36 39 44 47 53 58 62 66 70 75 85 88 97 98 103 104 106 107 109 112 113 119 128 130
a 1 5 6 10 11 14 16 18 19 25 26 27 28 32 35 36 39 44 47 53 58 62 66 70 75 85 88 97 98 103 104 106 107 109 112 113 119 124 128 130
a 1 5 6 10 11 14 16 18 19 25 26 27 32 35 36 39 44 47 53 57 58 62 66 70 75 85 88 97 98 103 104 106 107 109 112 113 119 124 128 130
a 1 5 6 10 11 14 16 17 18 19 25 26 27 32 35 36 39 44 47 53 57 58 62 66 70 75 85 88 97 98 103 104 106 107 109 112 113 119 124 128
a 1 5 6 10 11 14 16 17 18 19 25 26 27 32 35 36 39 44 47 53 57 58 62 63 66 70 75 85 88 97 98 103 104 106 107 109 112 113 119 128
a 1 5 6 10 11 14 16 17 18 19 25 26 27 32 35 36 39 44 47 53 57 62 63 66 70 75 85 88 97 98 103 104 106 107 109 112 113 119 121 128
a 1 5 6 10 11 14 16 17 18 19 25 26 27 32 35 39 44 47 53 57 62 63 66 70 75 85 88 93 97 98 103 104 106 107 109 112 113 119 121 128
a 1 5 6 10 11 14 16 17 18 19 25 26 27 35 39 44 47 53 57 61 62 63 66 70 75 85 88 93 97 98 103 104 106 107 109 112 113 119 121 128
a 1 5 6 10 11 14 16 17 18 19 25 26 27 33 35 39 44 47 53 57 61 62 63 66 70 75 85 88 93 97 98 103 104 106 107 109 112 113 119 121
a 1 5 6 10 11 14 16 17 18 19 25 26 27 33 35 39 44 47 53 57 61 62 66 70 75 85 88 93 97 98 103 104 106 107 109 112 113 119 121 124
a 3 5 6 10 11 14 16 17 18 19 25 26 27 33 35 39 44 47 53 57 61 62 66 70 75 85 88 93 97 98 103 104 106 107 109 112 113 119 121 124
a 3 6 10 11 14 16 17 18 19 25 26 27 33 35 39 44 47 53 57 61 62 66 70 75 85 88 93 97 98 103 104 106 107 109 112 113 119 121 123 124
a 3 6 10 11 14 16 17 18 19 25 26 27 33 35 39 44 47 53 55 57 61 62 66 70 75 85 88 93 97 98 103 104 106 107 109 112 113 119 121 123
a 3 6 10 11 14 16 17 18 19 25 26 27 33 35 39 44 47 53 55 57 61 62 66 70 75 85 88 93 97 98 103 104 106 107 109 112 113 119 121 129
a 3 6 11 14 16 17 18 19 25 26 27 33 35 39 44 47 53 55 57 61 62 63 66 70 75 85 88 93 97 98 103 104 106 107 109 112 113 119 121 129
a 3 6 11 14 16 17 18 19 25 26 27 33 35 39 44 47 53 55 57 61 62 63 66 70 75 85 88 93 97 98 103 104 106 107 109 112 119 121 129 130
a 3 6 11 14 16 17 18 19 25 26 27 33 35 39 44 47 53 55 57 61 62 63 66 70 75 85 88 93 97 98 103 104 106 107 109 112 119 121 123 130
a 3 6 11 14 16 17 18 19 25 26 27 28 33 35 39 44 47 53 55 57 61 62 63 66 70 75 85 88 93 97 98 103 104 106 107 109 112 119 121 123
a 3 6 11 14 16 17 18 19 25 26 27 28 33 35 39 44 47 53 55 57 61 62 66 70 75 85 88 93 97 98 103 104 106 107 109 112 116 119 121 123
a 3 6 11 14 16 17 18 19 25 26 27 28 33 35 39 40 44 47 53 55 61 62 66 70 75 85 88 93 97 98 103 104 106 107 109 112 116 119 121 123
a 3 6 11 14 16 17 18 19 25 26 27 28 33 35 39 40 44 47 53 61 62 66 70 75 85 88 93 97 98 103 104 106 107 109 112 116 119 121 123 124
a 3 6 11 14 16 17 18 19 25 26 27 28 33 35 39 40 44 47 53 61 62 66 70 75 85 88 93 97 98 103 104 106 107 109 112 116 119 121 124 129
a 3 6 11 14 16 17 18 19 25 26 27 28 33 35 39 40 44 47 53 61 62 66 70 73 75 85 88 93 97 98 103 104 106 107 109 112 119 121 124 129
a 3 6 11 14 16 17 18 19 25 26 27 28 33 35 39 44 46 47 53 61 62 66 70 73 75 85 88 93 97 98 103 104 106 107 109 112 119 121 124 129
a 3 6 11 14 16 17 18 19 25 26 27 28 33 35 39 44 46 47 53 61 62 66 70 75 85 88 93 97 98 103 104 106 107 109 112 116 119 121 124 129
a 1 6 11 14 16 17 18 19 25 26 27 28 33 35 39 44 46 47 53 61 62 66 70 75 85 88 93 97 98 103 104 106 107 109 112 116 119 121 124 129
a 1 6 11 14 16 17 18 19 25 26 27 28 33 35 39 44 46 47 53 61 62 70 75 85 88 93 94 97 98 103 104 106 107 109 112 116 119 121 124 129
a 1 6 11 16 17 18 19 25 26 27 28 33 35 39 44 46 47 53 61 62 70 75 85 88 93 94 97 98 99 103 104 106 107 109 112 116 119 121 124 129
a 1 6 11 16 17 18 19 25 26 27 28 33 35 39 44 46 47 53 61 62 64 70 75 85 88 93 94 97 98 99 103 104 106 107 109 112 116 119 121 124
a 1 6 11 16 18 19 25 26 27 28 33 35 39 44 46 47 53 61 62 64 70 75 85 88 93 94 97 98 99 103 104 106 107 109 112 116 119 121 124 128
a 1 6 11 16 18 19 22 26 27 28 33 35 39 44 46 47 53 61 62 64 70 75 85 88 93 94 97 98 99 103 104 106 107 109 112 116 119 121 124 128
a 1 6 11 16 18 19 22 26 27 28 33 35 39 44 46 47 53 61 62 64 70 75 85 88 93 94 97 98 99 103 104 106 107 109 112 113 116 119 121 124
a 1 6 11 16 18 19 22 26 27 28 33 35 39 44 46 47 53 61 62 64 70 75 85 91 93 94 97 98 99 103 104 106 107 109 112 113 116 119 121 124
a 1 6 11 16 18 19 22 26 27 28 33 39 44 46 47 53 61 62 64 65 70 75 85 91 93 94 97 98 99 103 104 106 107 109 112 113 116 119 121 124
a 1 6 11 16 18 19 22 26 27 28 33 39 44 46 47 53 61 62 64 65 70 75 85 91 93 94 96 97 98 99 103 104 106 107 109 112 113 116 119 124
a 1 6 11 16 18 19 25 26 27 28 33 39 44 46 47 53 61 62 64 65 70 75 85 91 93 94 96 97 98 99 103 104 106 107 109 112 113 116 119 124
a 1 6 11 16 18 19 25 26 27 28 33 36 39 44 46 47 53 61 62 64 65 70 75 85 91 94 96 97 98 99 103 104 106 107 109 112 113 116 119 124
a 1 6 11 16 18 19 25 26 27 28 33 36 39 43 44 46 47 53 61 62 64 65 70 75 85 91 96 97 98 99 103 104 106 107 109 112 113 116 119 124
a 1 6 16 18 19 25 26 27 28 33 36 39 43 44 46 47 53 58 61 62 64 65 70 75 85 91 96 97 98 99 103 104 106 107 109 112 113 116 119 124
a 1 6 16 18 19 22 26 27 28 33 36 39 43 44 46 47 53 58 61 62 64 65 70 75 85 91 96 97 98 99 103 104 106 107 109 112 113 116 119 124
a 1 6 16 18 19 22 26 27 28 33 36 43 44 46 47 53 58 61 62 64 65 70 75 85 89 91 96 97 98 99 103 104 106 107 109 112 113 116 119 124
a 1 6 16 18 19 22 26 27 28 33 36 43 44 46 47 53 58 61 62 64 65 70 75 85 89 91 96 97 98 103 104 106 107 109 112 113 116 119 122 124
a 1 6 16 18 19 22 26 27 28 33 36 43 44 46 47 53 58 61 62 64 65 70 75 85 89 96 97 98 103 104 106 107 109 112 113 116 119 122 124 129
a 1 6 16 18 19 22 26 27 28 33 36 43 44 46 47 53 58 61 62 64 65 70 75 89 96 97 98 103 104 106 107 109 112 113 116 119 122 124 127 129
a 1 6 16 18 19 22 26 27 28 33 36 37 43 44 46 47 53 58 61 62 64 65 70 75 96 97 98 103 104 106 107 109 112 113 116 119 122 124 127 129
a 1 6 16 18 19 22 26 27 28 33 36 37 39 43 44 46 47 53 58 61 62 64 65 70 75 96 97 98 103 104 106 107 109 112 113 116 119 124 127 129
a 1 6 16 18 19 22 26 27 28 33 36 37 39 43 44 46 47 53 58 61 62 64 65 70 75 96 97 98 103 104 106 107 109 112 113 116 119 122 124 129
a 1 6 16 18 19 22 26 27 28 33 36 39 43 44 46 47 53 58 61 62 64 65 70 75 89 96 97 98 103 104 106 107 109 112 113 116 119 122 124 129
a 1 6 16 18 19 22 27 28 33 36 39 43 44 46 47 53 58 61 62 64 65 70 75 89 96 97 98 103 104 106 107 109 112 113 116 119 122 124 127 129
a 1 6 16 18 19 22 27 28 33 36 39 43 44 46 47 53 57 58 61 62 64 65 70 75 89 96 97 98 103 104 106 107 109 112 113 116 119 122 124 129
a 1 6 16 18 19 22 27 28 33 36 39 43 44 46 47 53 57 58 61 62 64 65 70 75 77 89 96 97 98 103 104 106 107 109 112 113 116 119 122 124
a 1 6 14 16 18 19 22 27 28 33 36 39 43 44 46 47 53 57 58 61 62 64 65 70 75 77 96 97 98 103 104 106 107 109 112 113 116 119 122 124
a 1 6 14 16 18 19 22 27 28 33 39 43 44 46 47 53 57 58 61 62 64 65 70 75 77 93 96 97 98 103 104 106 107 109 112 113 116 119 122 124
a 1 6 14 16 18 19 22 27 28 33 39 44 46 47 53 57 58 61 62 64 65 66 70 75 77 93 96 97 98 103 104 106 107 109 112 113 116 119 122 124
a 3 6 14 16 18 19 22 27 28 33 39 44 46 47 53 57 58 61 62 64 65 66 70 75 77 93 96 97 98 103 104 106 107 109 112 113 116 119 122 124
a 3 14 16 18 19 22 27 28 33 37 39 44 46 47 53 57 58 61 62 64 65 66 70 75 77 93 96 97 98 103 104 106 107 109 112 113 116 119 122 124
a 3 14 16 18 19 22 27 28 33 37 39 44 46 47 53 57 58 61 62 64 65 66 70 75 77 93 96 97 98 103 104 105 106 107 109 112 113 116 119 122
a 3 14 16 18 19 22 27 28 33 37 39 43 44 46 47 53 57 58 61 62 64 65 70 75 77 93 96 97 98 103 104 105 106 107 109 112 113 116 119 122
a 3 11 14 16 18 19 22 27 28 33 37 39 43 44 46 47 57 58 61 62 64 65 70 75 77 93 96 97 98 103 104 105 106 107 109 112 113 116 119 122
a 3 11 14 16 18 19 22 26 27 28 33 37 39 43 44 46 47 57 58 61 62 64 65 70 75 77 93 96 97 98 103 104 105 106 107 109 112 113 116 122
a 3 11 14 16 18 19 22 26 27 28 33 37 39 43 44 46 47 57 58 61 62 64 65 70 75 77 85 93 96 97 98 103 105 106 107 109 112 113 116 122
a 3 11 14 16 18 19 22 26 27 28 33 37 39 43 44 46 47 57 58 61 62 64 65 70 75 77 85 88 93 96 97 98 103 105 106 107 109 112 113 116
a 3 11 14 16 18 19 22 26 27 28 33 37 39 43 44 46 47 57 58 61 62 64 65 70 75 77 85 91 93 96 97 98 103 105 106 107 109 112 113 116
a 1 11 14 16 18 19 22 26 27 28 33 37 39 43 44 46 47 57 58 61 62 64 65 70 75 77 85 91 93 96 97 98 103 105 106 107 109 112 113 116
a 1 11 14 16 18 19 22 26 27 28 33 37 39 43 44 46 47 57 58 61 62 64 65 70 75 77 85 93 96 97 98 103 105 106 107 109 112 113 116 129
a 1 11 14 16 18 19 22 26 27 28 33 37 39 43 44 46 47 57 58 61 62 64 65 70 75 77 93 96 97 98 103 105 106 107 109 112 113 116 127 129
a 1 11 14 16 18 19 22 26 27 28 33 37 39 43 44 46 47 53 57 58 61 62 64 65 70 75 77 93 96 97 98 103 105 106 107 109 112 113 127 129
a 1 11 14 16 18 19 22 26 27 28 33 37 39 43 44 46 47 53 56 57 58 61 64 65 70 75 77 93 96 97 98 103 105 106 107 109 112 113 127 129
a 1 14 16 18 19 22 26 27 28 33 37 39 43 44 46 47 53 56 57 58 61 64 65 70 75 77 93 96 97 98 103 105 106 107 109 112 113 122 127 129
a 1 14 16 18 19 22 26 27 28 33 37 39 44 46 47 53 56 57 58 61 64 65 70 75 77 93 96 97 98 103 105 106 107 109 112 113 122 127 128 129
a 1 14 16 18 19 22 26 27 28 33 37 39 44 46 47 53 56 57 58 61 64 65 70 75 77 78 93 96 97 98 103 105 106 107 109 113 122 127 128 129
a 1 14 16 18 19 22 26 27 28 33 37 39 44 46 47 53 56 57 58 61 64 65 66 70 75 77 78 93 96 97 98 103 105 106 109 113 122 127 128 129
a 1 6 14 16 18 22 26 27 28 33 37 39 44 46 47 53 56 57 58 61 64 65 66 70 75 77 78 93 96 97 98 103 105 106 109 113 122 127 128 129
a 1 6 14 16 18 22 26 27 28 33 37 39 44 47 53 56 57 58 61 63 64 65 66 70 75 77 78 93 96 97 98 103 105 106 109 113 122 127 128 129
a 1 6 14 16 18 22 26 27 33 37 39 44 47 53 56 57 58 61 63 64 65 66 70 75 77 78 87 93 96 97 98 103 105 106 109 113 122 127 128 129
a 1 6 14 16 18 20 22 26 27 33 37 39 44 53 56 57 58 61 63 64 65 66 70 75 77 78 87 93 96 97 98 103 105 106 109 113 122 127 128 129
a 1 6 14 16 18 20 22 26 27 33 37 39 44 53 56 57 58 61 63 65 66 70 75 77 78 87 93 96 97 98 103 105 106 109 110 113 122 127 128 129
a 1 6 14 16 18 20 22 26 27 33 37 39 44 45 53 56 57 58 61 63 65 66 70 75 77 78 87 93 96 97 103 105 106 109 110 113 122 127 128 129
a 1 6 14 16 18 20 22 26 27 33 37 39 44 45 53 56 57 58 61 63 65 66 70 75 77 78 87 93 96 103 105 106 109 110 113 122 127 128 129 130
a 1 4 6 14 16 18 20 22 26 27 37 39 44 45 53 56 57 58 61 63 65 66 70 75 77 78 87 93 96 103 105 106 109 110 113 122 127 128 129 130
a 1 4 6 14 16 18 20 26 27 37 39 44 45 49 53 56 57 58 61 63 65 66 70 75 77 78 87 93 96 103 105 106 109 110 113 122 127 128 129 130
a 1 4 6 12 14 16 18 20 26 27 39 44 45 49 53 56 57 58 61 63 65 66 70 75 77 78 87 93 96 103 105 106 109 110 113 122 127 128 129 130
a 1 4 6 12 14 16 18 20 26 27 39 44 45 49 53 55 56 57 58 61 63 65 66 70 75 77 78 87 93 103 105 106 109 110 113 122 127 128 129 130
a 1 4 6 12 14 16 18 20 26 27 39 44 45 49 53 55 56 57 58 61 63 65 66 67 70 75 77 78 87 93 103 105 106 110 113 122 127 128 129 130
a 1 4 6 12 14 16 18 20 26 27 29 39 44 45 49 53 55 56 57 58 61 63 65 66 67 70 75 77 78 87 103 105 106 110 113 122 127 128 129 130
c Step: 252
#END: [Tue Sep  5 07:25:15 2023]