#BEGIN: [Mon Sep  4 22:01:36 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance010_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance010_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance010_graph002.col /benchmark/random_instance/random_instance010_graph002_01.dat
c /benchmark/random_instance/random_instance010_graph002.col
c /benchmark/random_instance/random_instance010_graph002_01.dat
s 120 127 29 24 85 21 116 83 58 74 27 107 5 37 106 73 7 50 2 118 110 39 103 38 93 87 61 22 6 26 64 12 70 88 125 76 14 44 81
t 105 19 99 83 55 22 72 2 118 121 26 108 49 122 9 98 14 85 16 57 103 88 23 129 46 104 115 130 48 68 90 53 38 39 127 107 116 81 7
a YES
a 2 5 6 7 12 14 21 22 24 26 27 29 37 38 39 44 50 58 61 64 70 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 120 125 127
a 2 5 6 7 14 21 22 24 26 27 29 37 38 39 44 50 55 58 61 64 70 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 120 125 127
a 2 5 6 7 14 21 22 24 26 27 29 37 38 39 44 50 55 58 61 64 70 72 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 125 127
a 2 5 6 14 21 22 24 26 27 29 37 38 39 44 50 55 58 61 64 70 72 73 74 76 81 83 85 87 88 93 103 106 107 110 116 118 123 125 127
a 2 5 6 14 21 22 24 26 29 37 38 39 44 50 55 58 61 64 70 72 73 74 76 81 83 85 87 88 93 103 104 106 107 110 116 118 123 125 127
a 2 5 6 7 14 21 22 24 26 29 37 38 39 44 50 55 58 61 64 70 72 73 74 76 81 83 85 87 88 93 103 104 106 107 110 116 118 125 127
a 2 5 6 7 14 21 22 24 26 29 37 38 39 44 50 55 58 61 64 70 72 73 74 76 81 83 85 86 87 88 93 103 104 106 107 110 116 118 125
a 2 5 6 7 14 21 22 24 29 37 38 39 44 50 55 58 61 64 70 72 73 74 76 81 83 85 86 87 88 93 95 103 104 106 107 110 116 118 125
a 2 5 6 7 14 22 24 26 29 37 38 39 44 50 55 58 61 64 70 72 73 74 76 81 83 85 86 87 88 93 95 103 104 106 107 110 116 118 125
a 2 5 6 7 14 21 22 24 26 29 38 39 44 50 55 58 61 64 70 72 73 74 76 81 83 85 86 87 88 93 95 103 104 106 107 110 116 118 125
a 2 5 6 7 9 14 21 22 26 29 38 39 44 50 55 58 61 64 70 72 73 74 76 81 83 85 86 87 88 93 95 103 104 106 107 110 116 118 125
a 2 5 6 7 9 14 21 22 26 29 38 39 44 50 55 58 61 64 70 72 73 74 76 81 83 85 87 88 93 95 103 104 106 107 110 116 118 125 127
a 2 5 6 7 9 21 22 26 29 37 38 39 44 50 55 58 61 64 70 72 73 74 76 81 83 85 87 88 93 95 103 104 106 107 110 116 118 125 127
a 2 5 6 7 9 15 21 22 26 29 37 38 39 44 50 55 61 64 70 72 73 74 76 81 83 85 87 88 93 95 103 104 106 107 110 116 118 125 127
a 2 5 6 7 9 15 21 22 26 29 37 38 39 44 45 50 55 61 64 70 72 73 74 76 81 83 85 87 88 93 95 103 104 106 107 110 116 118 127
a 2 5 6 7 9 15 21 22 26 29 35 37 38 39 44 45 50 55 61 64 70 72 73 74 76 81 83 85 87 88 93 95 103 104 106 107 110 118 127
a 2 5 6 7 9 15 21 22 26 29 35 37 38 39 44 45 50 55 61 64 70 72 73 74 76 81 83 85 87 88 93 95 103 104 106 107 110 115 118
a 2 5 6 7 9 15 21 22 26 27 29 35 37 38 39 44 45 50 55 61 64 70 72 73 74 76 81 83 85 87 88 93 95 103 106 107 110 115 118
a 2 5 6 7 9 15 21 22 26 27 29 35 37 38 39 44 50 55 61 64 70 72 73 74 76 81 83 85 87 88 93 95 103 106 107 110 115 118 125
a 2 5 6 7 9 15 21 26 27 29 35 37 38 39 44 50 55 61 62 64 70 72 73 74 76 81 83 85 87 88 93 95 103 106 107 110 115 118 125
a 2 5 6 7 9 15 21 26 27 29 37 38 39 44 50 55 60 61 62 64 70 72 73 74 76 81 83 85 87 88 93 95 103 106 107 110 115 118 125
a 2 5 6 7 9 15 26 27 29 37 38 39 44 50 55 60 61 62 64 70 72 73 74 75 76 81 83 85 87 88 93 95 103 106 107 110 115 118 125
a 2 5 6 7 9 15 26 27 29 37 38 39 44 50 55 60 61 62 64 70 72 73 74 75 76 81 83 85 87 88 93 95 103 106 107 110 115 116 125
a 2 5 6 7 9 15 26 27 29 37 38 39 44 50 55 60 61 62 64 68 70 72 73 74 75 76 81 83 85 87 88 93 95 103 106 107 110 115 116
a 2 5 6 7 9 14 15 26 27 29 37 38 39 44 50 55 60 62 64 68 70 72 73 74 75 76 81 83 85 87 88 93 95 103 106 107 110 115 116
a 2 5 6 7 9 14 15 26 27 29 37 39 44 50 55 60 61 62 64 68 70 72 73 74 75 76 81 83 85 87 88 93 95 103 106 107 110 115 116
a 2 5 6 7 9 14 15 26 27 29 37 39 44 50 55 60 61 62 64 68 70 72 73 74 75 76 81 83 85 87 88 93 95 103 106 107 110 115 125
a 2 5 6 7 9 14 26 27 29 37 38 39 44 50 55 60 61 62 64 68 70 72 73 74 75 76 81 83 85 87 88 93 95 103 106 107 110 115 125
a 2 5 6 7 9 14 26 27 29 37 38 39 44 50 55 60 61 62 64 68 70 72 73 74 75 76 81 83 85 87 88 90 93 95 103 106 107 110 125
a 2 5 6 7 9 14 26 27 29 37 38 39 44 50 55 58 60 61 62 64 68 70 72 73 74 75 76 81 83 85 87 88 90 93 103 106 107 110 125
a 2 5 6 7 9 14 26 27 29 37 38 39 44 50 55 58 60 61 62 64 68 70 73 74 75 76 81 83 85 87 88 90 93 103 106 107 110 120 125
a 2 5 6 7 9 14 26 27 29 37 38 39 44 45 50 55 58 60 61 62 64 68 70 73 74 75 76 81 83 85 87 88 90 93 103 106 107 110 120
a 2 5 7 9 14 16 26 27 29 37 38 39 44 45 50 55 58 60 61 62 64 68 70 73 74 75 76 81 83 85 87 88 90 93 103 106 107 110 120
a 2 5 7 9 14 16 26 27 29 37 38 44 45 50 55 58 60 61 62 64 68 70 73 74 75 76 81 83 85 87 88 90 93 102 103 106 107 110 120
a 2 5 7 9 14 16 26 27 29 37 38 44 45 50 55 58 60 61 62 64 68 70 73 74 75 76 83 85 86 87 88 90 93 102 103 106 107 110 120
a 2 5 7 9 14 16 26 27 29 37 38 44 45 50 55 58 60 61 62 64 68 70 73 74 75 76 83 85 86 88 90 93 102 103 106 107 110 116 120
a 2 5 7 9 14 16 26 27 29 37 38 44 45 50 55 58 60 61 64 68 70 73 74 75 76 79 83 85 86 88 90 93 102 103 106 107 110 116 120
a 2 5 7 9 14 16 26 27 29 37 38 44 45 50 55 58 60 61 64 68 70 73 74 75 76 79 83 84 85 86 88 90 93 102 103 107 110 116 120
a 2 5 7 9 14 16 26 27 29 37 38 44 45 50 55 58 60 61 64 68 70 73 74 75 76 79 83 84 85 86 88 90 93 103 107 110 116 118 120
a 2 5 6 7 9 14 26 27 29 37 38 44 45 50 55 58 60 61 64 68 70 73 74 75 76 79 83 84 85 86 88 90 93 103 107 110 116 118 120
a 2 5 6 7 9 14 26 27 29 37 38 44 45 50 55 58 60 61 64 68 70 72 73 74 75 76 79 83 84 85 86 88 90 93 103 107 110 116 118
a 2 5 6 9 14 26 27 29 37 38 44 45 50 51 55 58 60 61 64 68 70 72 73 74 75 76 79 83 84 85 86 88 90 93 103 107 110 116 118
a 2 5 6 9 14 26 27 29 37 38 44 45 50 51 55 58 61 64 68 70 72 73 74 75 76 79 83 84 85 86 88 90 93 103 106 107 110 116 118
a 2 5 6 9 14 26 27 29 37 38 44 45 50 51 55 58 60 61 64 68 70 72 73 74 75 76 79 83 84 85 86 88 90 93 103 106 107 110 118
a 2 5 6 9 14 26 27 29 37 38 44 45 51 55 58 60 61 64 68 70 72 73 74 75 76 79 83 84 85 86 88 90 93 103 106 107 110 116 118
a 2 5 6 9 14 26 27 29 37 38 44 45 51 55 58 61 64 68 70 72 73 74 75 76 79 83 84 85 86 88 90 93 103 106 107 110 116 118 123
a 2 5 6 9 14 26 27 29 37 38 44 45 50 51 55 58 61 64 68 70 72 73 74 75 76 79 83 84 85 86 88 90 93 103 106 110 116 118 123
a 2 5 6 9 14 22 26 27 29 37 38 44 45 50 51 55 58 61 64 68 70 72 73 74 75 76 79 83 84 85 86 90 93 103 106 110 116 118 123
a 2 5 6 9 14 22 26 27 29 38 44 45 50 51 55 58 61 64 68 70 72 73 74 75 76 79 83 84 85 86 88 90 93 103 106 110 116 118 123
a 2 5 6 9 14 22 26 27 29 38 44 45 50 51 55 58 61 64 68 70 72 73 74 75 76 79 83 84 85 86 88 90 93 103 107 110 116 118 123
a 2 5 6 9 14 22 26 27 29 38 44 45 50 51 55 58 60 61 64 68 70 72 73 74 75 76 79 83 84 85 86 88 90 93 103 107 110 116 118
a 2 5 6 9 14 22 26 27 29 38 44 50 51 55 58 60 61 64 68 70 72 73 74 75 76 79 83 84 85 86 88 90 93 103 106 107 110 116 118
a 2 5 6 9 14 22 26 27 29 38 44 45 50 51 55 58 60 61 64 68 70 72 74 75 76 79 83 84 85 86 88 90 93 103 106 107 110 116 118
a 2 5 6 9 14 22 27 29 37 38 44 45 50 51 55 58 60 61 64 68 70 72 74 75 76 79 83 84 85 86 88 90 93 103 106 107 110 116 118
a 2 5 6 9 14 22 27 29 37 38 44 45 50 51 55 58 60 61 64 68 70 72 73 74 75 76 79 83 84 85 86 88 90 93 103 106 107 110 116
a 2 5 6 9 14 22 27 29 37 38 44 45 50 51 55 58 60 61 64 70 72 73 74 75 76 79 83 84 85 86 88 90 93 103 106 107 110 116 118
a 2 5 6 9 14 22 27 29 37 38 44 45 50 51 55 58 60 61 64 68 70 72 73 74 75 76 79 83 84 85 86 88 90 93 103 106 107 116 118
a 2 5 6 14 22 27 29 37 38 44 45 50 51 55 58 60 61 64 68 70 72 73 74 75 76 79 83 84 85 86 88 90 93 95 103 106 107 116 118
a 2 5 6 14 22 27 29 37 38 44 45 50 51 55 58 60 61 64 68 70 72 73 74 75 76 79 83 84 85 86 88 90 93 95 103 106 107 110 116
a 2 5 14 22 27 29 37 38 44 45 50 51 55 58 60 61 64 68 70 72 73 74 75 76 79 83 84 85 86 88 90 93 95 103 106 107 110 116 118
a 2 5 14 22 27 29 37 38 44 45 50 51 55 58 60 61 64 66 68 70 72 73 74 75 76 79 83 84 85 86 88 93 95 103 106 107 110 116 118
a 2 5 9 14 22 27 29 37 38 44 45 50 51 55 58 60 61 64 66 68 70 72 73 74 75 76 79 83 84 85 86 88 93 95 103 106 110 116 118
a 2 5 9 14 16 22 27 29 37 38 44 45 50 51 55 58 60 61 64 66 70 72 73 74 75 76 79 83 84 85 86 88 93 95 103 106 110 116 118
a 2 5 9 14 16 20 22 27 29 37 38 44 45 50 51 55 58 60 61 64 66 70 72 73 74 75 76 79 83 84 85 86 88 93 95 103 106 116 118
a 2 5 9 14 16 20 22 27 29 37 38 44 45 50 51 55 58 60 61 64 66 70 72 73 74 75 76 79 83 84 86 88 93 95 103 106 110 116 118
a 2 5 9 14 16 20 21 22 27 29 37 38 44 45 50 51 55 58 60 61 64 66 70 72 73 74 76 79 83 84 86 88 93 95 103 106 110 116 118
a 2 5 9 14 16 20 21 22 27 29 38 44 45 50 51 55 58 60 61 64 66 70 72 73 74 76 79 83 84 85 86 88 93 95 103 106 110 116 118
a 2 5 9 14 16 20 21 22 26 27 29 38 44 45 50 51 55 58 60 61 64 66 70 72 73 74 76 79 83 84 85 86 88 93 95 103 106 110 116
a 2 5 9 14 16 20 21 22 26 27 37 38 44 45 50 51 55 58 60 61 64 66 70 72 73 74 76 79 83 84 85 86 88 93 95 103 106 110 116
a 2 5 7 9 14 16 20 21 22 26 27 37 38 44 45 50 55 58 60 61 64 66 70 72 73 74 76 79 83 84 85 86 88 93 95 103 106 110 116
a 2 5 7 9 14 16 20 21 22 26 27 29 37 38 44 45 50 55 58 60 61 64 66 70 72 73 74 76 79 83 84 85 86 88 93 95 103 110 116
a 2 5 7 9 14 16 20 21 22 26 27 29 37 38 45 50 55 58 60 61 64 66 70 72 73 74 76 79 81 83 84 85 86 88 93 95 103 110 116
a 2 5 7 9 14 16 20 21 22 26 27 29 37 38 44 45 50 55 60 61 64 66 70 72 73 74 76 79 81 83 84 85 86 88 93 95 103 110 116
a 2 5 7 9 14 16 20 21 22 26 27 37 38 44 45 50 55 58 60 61 64 66 70 72 73 74 76 79 81 83 84 85 86 88 93 95 103 110 116
a 2 5 7 9 14 20 21 22 26 27 37 38 44 45 50 55 58 60 61 64 66 70 72 73 74 76 79 81 83 84 85 86 88 93 95 103 110 116 130
a 2 5 7 9 14 20 21 22 26 27 37 38 44 50 55 58 60 61 64 66 70 72 73 74 76 79 81 83 84 85 86 88 93 95 103 110 116 125 130
a 2 5 7 9 14 20 21 22 26 27 37 38 44 50 55 58 60 61 64 66 70 72 73 74 76 79 81 83 84 85 86 88 93 103 110 116 125 129 130
a 2 5 7 9 14 16 20 21 22 26 27 37 38 44 50 55 58 60 61 64 66 70 72 73 74 79 81 83 84 85 86 88 93 103 110 116 125 129 130
a 2 5 7 9 14 16 20 21 22 27 37 38 44 50 55 58 60 61 64 66 70 72 73 74 79 81 83 84 85 86 88 93 103 110 116 118 125 129 130
a 2 5 7 9 14 16 20 21 22 26 27 37 38 44 50 58 60 61 64 66 70 72 73 74 79 81 83 84 85 86 88 93 103 110 116 118 125 129 130
a 2 5 7 9 14 16 20 21 26 27 37 38 44 50 55 58 60 61 64 66 70 72 73 74 79 81 83 84 85 86 88 93 103 110 116 118 125 129 130
a 2 5 7 9 14 16 20 21 22 26 27 37 38 50 55 58 60 61 64 66 70 72 73 74 79 81 83 84 85 86 88 93 103 110 116 118 125 129 130
a 2 5 6 7 9 14 20 21 22 26 27 37 38 50 55 58 60 61 64 66 70 72 73 74 79 81 83 84 85 86 88 93 103 110 116 118 125 129 130
a 2 6 7 9 14 20 21 22 26 27 37 38 50 55 58 60 61 64 66 70 72 73 74 76 79 81 83 84 85 86 88 93 103 110 116 118 125 129 130
a 2 5 6 7 9 14 20 21 26 27 37 38 50 55 58 60 61 64 66 70 72 73 74 76 79 81 83 84 85 86 88 93 103 110 116 118 125 129 130
a 2 5 6 7 9 14 20 21 26 27 37 38 50 55 60 61 64 66 70 72 73 74 76 79 81 83 84 85 86 88 93 99 103 110 116 118 125 129 130
a 2 5 6 7 9 14 20 21 26 27 37 38 50 55 60 61 64 66 70 72 73 74 76 79 81 83 84 85 88 93 94 99 103 110 116 118 125 129 130
a 2 5 6 7 9 14 15 20 26 27 37 38 50 55 60 61 64 66 70 72 73 74 76 79 81 83 84 85 88 93 94 99 103 110 116 118 125 129 130
a 2 5 6 7 9 14 15 20 22 26 27 37 38 50 55 60 61 64 66 70 72 73 74 76 79 81 83 84 85 93 94 99 103 110 116 118 125 129 130
a 2 5 6 7 9 14 15 20 22 26 27 37 38 44 50 55 60 61 64 66 70 72 73 74 76 79 81 83 84 85 93 94 99 103 110 116 118 125 129
a 2 5 6 7 9 14 15 20 22 26 27 37 38 44 50 55 60 61 64 66 70 72 73 74 76 79 81 83 84 85 93 94 99 103 110 116 125 129 130
a 2 5 6 7 9 14 15 20 22 26 27 37 38 44 47 50 55 60 61 64 66 70 72 73 74 76 79 81 83 84 93 94 99 103 110 116 125 129 130
a 2 5 6 7 9 14 15 20 21 22 26 27 37 38 44 47 50 55 60 61 64 66 70 72 73 74 76 79 83 84 93 94 99 103 110 116 125 129 130
a 2 5 6 7 9 14 15 20 21 22 26 27 38 44 47 50 55 60 61 64 66 70 72 73 74 76 79 83 84 88 93 94 99 103 110 116 125 129 130
a 2 5 6 7 9 14 15 20 21 22 26 27 38 44 47 50 55 60 61 64 66 70 72 73 74 76 79 81 83 84 88 93 94 99 103 110 116 125 130
a 2 5 6 7 9 14 20 21 22 26 27 38 44 47 50 55 60 61 64 66 70 72 73 74 76 79 81 83 84 88 93 94 95 99 103 110 116 125 130
a 2 5 6 7 9 14 20 21 22 26 27 38 44 47 50 54 55 60 61 64 66 70 72 73 74 76 79 81 83 84 88 93 94 95 99 103 110 125 130
a 2 5 6 7 9 14 20 21 22 26 27 38 44 47 50 54 55 60 61 64 66 70 72 73 74 76 79 81 83 84 88 93 94 95 99 103 125 126 130
a 2 5 6 7 9 14 15 20 21 22 26 27 38 44 47 50 54 55 60 61 64 66 70 72 73 74 76 79 81 83 88 93 94 95 99 103 125 126 130
a 2 5 6 7 9 14 15 20 21 22 26 27 38 44 47 50 55 60 61 64 66 70 72 73 74 76 79 81 83 88 93 94 95 99 103 116 125 126 130
a 2 5 6 7 9 14 15 20 21 22 26 38 44 47 50 55 60 61 64 66 70 72 73 74 76 79 81 83 84 88 93 94 95 99 103 116 125 126 130
a 2 5 6 7 9 14 15 20 21 22 26 37 38 44 47 50 55 60 61 64 66 70 72 73 74 76 79 81 83 84 88 93 94 95 99 103 116 125 126
a 2 5 6 7 9 14 15 20 21 22 26 37 38 44 47 50 55 60 61 64 66 70 72 73 74 76 79 81 83 84 88 92 93 94 95 99 103 116 125
a 2 5 6 7 9 14 15 20 21 22 26 37 38 44 47 50 55 60 61 64 70 72 73 74 76 79 81 83 84 88 92 93 94 95 99 103 115 116 125
a 2 5 6 7 9 14 15 20 21 22 26 37 38 44 47 50 55 60 61 64 66 70 72 73 74 76 79 83 84 88 92 93 94 95 99 103 115 116 125
a 2 5 6 7 9 14 15 20 21 22 26 37 38 44 47 50 55 60 64 66 70 72 73 74 76 79 83 84 88 92 93 94 95 99 103 115 116 118 125
a 2 5 6 7 9 14 15 20 21 22 26 37 38 44 47 50 55 60 64 66 70 72 73 74 76 79 81 83 84 88 92 93 94 95 99 103 115 116 125
a 2 5 6 7 9 14 15 20 21 22 26 37 38 44 47 50 55 60 64 66 70 72 73 74 76 79 81 83 84 88 92 93 94 95 99 103 115 118 125
a 2 5 6 7 9 14 15 20 21 22 26 37 38 44 47 50 54 55 60 64 66 70 72 73 74 76 79 81 83 84 88 92 93 94 95 99 103 115 118
a 2 5 7 9 14 15 20 21 22 26 37 38 44 47 50 54 55 60 61 64 66 70 72 73 74 76 79 81 83 84 88 92 93 94 95 99 103 115 118
a 2 5 6 7 9 14 15 20 21 22 26 37 38 44 47 50 54 55 60 61 64 66 70 72 73 74 76 79 81 83 84 88 92 93 94 95 99 103 118
a 2 5 6 7 9 15 20 21 22 26 37 38 44 47 50 54 55 60 61 64 66 70 72 73 74 76 79 81 83 84 88 92 93 94 95 99 103 118 125
a 2 5 6 7 9 15 20 21 22 26 37 38 44 47 50 54 55 60 61 64 66 70 72 73 74 76 79 81 83 84 88 92 93 94 95 99 103 118 126
a 2 5 6 7 9 15 20 22 26 37 38 44 47 50 54 55 60 61 64 66 70 72 73 74 75 76 79 81 83 84 88 92 93 94 95 99 103 118 126
a 2 5 6 7 9 14 15 20 22 26 37 38 44 47 50 54 55 60 61 64 66 70 72 73 75 76 79 81 83 84 88 92 93 94 95 99 103 118 126
a 2 5 6 7 9 14 15 20 22 26 37 38 44 47 50 54 55 60 61 64 66 70 72 73 76 79 81 83 84 88 92 93 94 95 99 103 118 125 126
a 2 5 6 7 9 14 15 20 22 26 37 38 44 47 50 54 55 60 61 64 66 70 72 73 76 79 81 83 84 88 92 93 94 95 99 103 115 118 125
a 2 5 6 7 14 15 20 22 26 31 37 38 44 47 50 54 55 60 61 64 66 70 72 73 76 79 81 83 84 88 92 93 94 95 99 103 115 118 125
a 2 5 6 7 14 15 20 22 26 31 37 38 44 47 50 54 55 60 61 64 66 70 72 73 76 79 81 83 84 88 92 93 94 95 99 103 115 118 126
a 2 5 6 7 14 15 20 22 31 37 38 44 47 50 54 55 60 61 64 66 70 72 73 76 79 81 83 84 88 92 93 94 95 99 103 115 118 125 126
a 2 6 7 14 15 20 22 31 37 38 44 47 50 54 55 60 61 64 66 70 72 73 75 76 79 81 83 84 88 92 93 94 95 99 103 115 118 125 126
a 2 6 7 14 15 20 22 31 37 38 44 47 50 54 55 60 61 64 66 70 72 73 75 76 79 81 83 84 88 93 94 95 99 103 110 115 118 125 126
a 2 6 7 14 15 20 22 27 31 37 38 44 47 50 54 55 60 61 64 66 70 72 73 75 76 79 81 83 84 88 93 94 95 99 103 110 115 118 125
a 2 6 7 14 15 20 22 26 27 31 37 38 44 47 50 54 55 61 64 66 70 72 73 75 76 79 81 83 84 88 93 94 95 99 103 110 115 118 125
a 2 6 7 14 15 20 22 24 26 27 31 37 38 44 47 50 54 55 61 64 66 70 72 73 75 76 79 81 83 84 88 93 94 95 99 103 110 115 118
a 2 6 7 14 15 20 22 24 26 27 31 37 38 44 47 50 54 55 60 61 64 66 70 72 73 75 76 79 81 83 84 88 93 94 95 99 103 110 115
a 2 5 6 7 14 15 20 22 24 26 27 31 37 38 44 47 50 54 55 60 61 64 66 70 72 73 75 76 79 81 83 84 88 93 94 95 99 103 115
a 2 5 6 7 14 15 20 22 24 26 27 31 37 38 44 47 50 54 55 60 61 64 66 70 72 73 75 76 79 81 83 84 88 93 94 95 99 103 125
a 2 5 6 7 14 15 20 22 24 26 27 31 37 38 44 47 50 54 55 60 61 64 66 70 72 73 75 76 79 81 83 84 88 93 94 95 103 106 125
a 2 5 7 14 15 20 22 24 26 27 29 31 37 38 44 47 50 54 55 60 61 64 66 70 72 73 75 76 79 81 83 84 88 93 94 95 103 106 125
a 2 5 7 14 15 20 22 24 26 27 29 31 37 38 44 47 50 54 55 60 61 64 70 72 73 75 76 79 81 83 84 88 93 94 95 101 103 106 125
a 2 5 7 14 15 20 22 24 26 27 29 31 37 38 44 47 50 54 60 61 64 70 72 73 75 76 79 81 83 84 88 93 94 95 101 103 106 114 125
a 2 5 6 7 14 15 22 24 26 27 29 31 37 38 44 47 50 54 60 61 64 70 72 73 75 76 79 81 83 84 88 93 94 95 101 103 106 114 125
a 2 5 6 7 14 15 20 22 24 26 27 29 31 37 38 44 47 50 54 60 61 64 70 72 73 75 76 79 81 83 84 88 93 94 95 101 106 114 125
a 2 5 7 14 15 20 22 24 26 27 29 31 37 38 44 47 50 54 60 61 64 70 72 73 75 76 79 81 83 84 88 93 94 95 101 106 110 114 125
a 2 5 6 7 14 15 20 22 24 26 27 29 31 37 44 47 50 54 60 61 64 70 72 73 75 76 79 81 83 84 88 93 94 95 101 106 110 114 125
a 2 5 6 7 15 20 22 24 26 27 29 31 37 38 44 47 50 54 60 61 64 70 72 73 75 76 79 81 83 84 88 93 94 95 101 106 110 114 125
a 2 5 6 7 15 20 22 24 26 27 29 31 37 38 39 44 47 50 54 60 61 64 70 72 73 75 76 81 83 84 88 93 94 95 101 106 110 114 125
a 2 5 6 7 9 15 20 22 26 27 29 31 37 38 39 44 47 50 54 60 61 64 70 72 73 75 76 81 83 84 88 93 94 95 101 106 110 114 125
a 2 5 7 9 15 20 22 26 27 29 31 34 37 38 39 44 47 50 54 60 61 64 70 72 73 75 76 81 83 84 88 93 94 95 101 106 110 114 125
a 2 5 6 7 9 15 20 22 26 27 29 31 34 37 38 39 44 47 50 54 60 61 64 70 72 73 75 76 81 83 84 88 93 94 95 101 106 114 125
a 2 5 6 7 9 15 20 22 26 27 29 31 34 37 38 39 44 47 50 54 60 61 70 72 73 75 76 80 81 83 84 88 93 94 95 101 106 114 125
a 2 5 6 7 9 15 20 22 26 27 29 31 34 37 38 39 40 44 47 50 54 60 61 70 72 73 75 76 80 81 83 84 88 93 94 95 106 114 125
a 2 5 6 7 9 15 20 22 26 27 29 31 34 37 38 39 40 44 47 50 54 60 61 70 72 73 75 76 80 81 83 84 88 90 93 94 95 106 125
a 2 5 6 7 9 15 20 22 26 27 29 31 34 37 38 39 40 44 47 50 54 60 61 64 70 72 73 75 76 80 81 83 84 88 90 93 94 95 106
a 2 5 6 7 9 15 20 22 26 27 29 31 34 37 38 39 40 44 47 50 54 60 61 64 70 72 73 75 76 80 81 83 84 88 90 93 95 101 106
a 5 6 7 9 15 20 22 26 27 29 31 34 37 38 39 40 44 47 50 54 60 61 64 70 72 73 75 76 80 81 83 84 88 90 93 94 95 101 106
a 2 5 6 7 9 15 20 22 27 29 31 34 37 38 39 40 44 47 50 54 60 61 64 70 72 73 75 76 80 81 83 84 88 90 93 94 95 101 106
a 2 5 6 7 9 15 22 26 27 29 31 34 37 38 39 40 44 47 50 54 60 61 64 70 72 73 75 76 80 81 83 84 88 90 93 94 95 101 106
a 2 5 6 7 9 15 22 26 27 29 31 34 37 38 39 40 44 47 50 54 60 61 64 70 72 73 75 76 81 83 84 88 90 93 94 95 101 103 106
a 2 5 6 7 9 15 22 26 27 29 31 34 37 38 39 40 44 47 50 54 55 60 61 64 70 72 73 75 81 83 84 88 90 93 94 95 101 103 106
a 2 6 7 9 15 22 26 27 29 31 34 37 38 39 40 44 47 50 54 55 60 61 64 70 72 73 75 81 83 84 88 90 93 94 95 101 103 106 115
a 2 6 7 9 15 22 26 27 29 31 34 37 38 39 40 44 47 48 50 54 55 60 61 64 70 72 75 81 83 84 88 90 93 94 95 101 103 106 115
a 2 6 7 9 15 22 26 27 29 31 34 37 38 39 40 44 47 48 50 54 55 60 64 70 72 75 81 83 84 88 90 93 94 95 101 103 106 115 122
a 2 7 9 15 16 22 26 27 29 31 34 37 38 39 40 44 47 48 50 54 55 60 64 70 72 75 81 83 84 88 90 93 94 95 101 103 106 115 122
a 2 7 9 15 16 22 26 27 29 31 34 37 38 39 40 44 47 48 50 54 55 60 64 70 72 75 81 83 84 88 90 93 94 95 103 106 115 118 122
a 2 7 9 14 15 16 22 26 27 29 31 37 38 39 40 44 47 48 50 54 55 60 64 70 72 75 81 83 84 88 90 93 94 95 103 106 115 118 122
a 2 7 9 14 15 16 22 26 27 29 31 37 38 39 40 44 48 50 54 55 60 64 70 72 75 81 83 84 85 88 90 93 94 95 103 106 115 118 122
a 2 7 9 14 15 16 22 26 27 29 31 37 38 39 40 48 50 53 54 55 60 64 70 72 75 81 83 84 85 88 90 93 94 95 103 106 115 118 122
a 2 7 9 14 15 16 22 26 27 29 31 37 38 39 40 48 50 53 54 55 60 64 70 72 75 81 83 84 85 88 90 93 94 95 99 103 115 118 122
a 2 7 9 14 15 16 22 26 27 29 31 37 38 39 40 48 50 53 54 55 57 64 70 72 75 81 83 84 85 88 90 93 94 95 99 103 115 118 122
a 2 7 9 14 15 16 22 26 27 29 31 37 38 39 40 48 50 53 54 55 57 64 70 72 75 81 83 85 88 90 93 94 95 98 99 103 115 118 122
a 2 7 9 14 15 16 22 26 27 29 31 37 38 39 40 48 50 53 54 55 57 64 70 72 75 81 83 85 88 90 93 94 98 99 103 108 115 118 122
a 2 7 9 14 15 16 22 26 27 29 37 38 39 40 48 50 53 54 55 57 64 70 72 75 81 83 85 88 90 93 94 98 99 103 108 115 118 122 127
a 2 7 9 14 15 16 19 22 26 27 37 38 39 40 48 50 53 54 55 57 64 70 72 75 81 83 85 88 90 93 94 98 99 103 108 115 118 122 127
a 2 7 9 14 15 16 19 22 26 37 38 39 40 48 50 53 54 55 57 64 70 72 75 81 83 85 88 90 93 94 98 99 103 108 115 118 122 127 130
a 2 7 9 14 15 16 19 22 26 37 38 39 40 48 50 53 54 55 57 64 70 72 81 83 85 88 90 93 94 98 99 103 104 108 115 118 122 127 130
a 2 7 9 14 15 16 19 22 26 37 38 39 48 50 53 54 55 57 64 68 70 72 81 83 85 88 90 93 94 98 99 103 104 108 115 118 122 127 130
a 2 7 9 14 15 16 19 22 26 37 38 39 48 50 53 54 55 57 64 68 70 72 81 83 85 88 90 94 98 99 103 104 108 115 118 121 122 127 130
a 2 7 9 14 15 16 19 22 26 37 38 39 48 50 53 55 57 64 68 70 72 81 83 85 88 90 94 98 99 103 104 108 115 118 121 122 127 129 130
a 2 7 9 14 15 16 19 22 26 37 38 39 46 48 53 55 57 64 68 70 72 81 83 85 88 90 94 98 99 103 104 108 115 118 121 122 127 129 130
a 2 7 9 14 15 16 19 22 26 38 39 46 48 53 55 57 64 68 70 72 81 83 85 88 90 94 98 99 103 104 108 115 116 118 121 122 127 129 130
a 2 7 9 14 15 16 19 22 26 38 39 46 48 49 53 55 57 64 68 70 72 81 83 85 88 90 98 99 103 104 108 115 116 118 121 122 127 129 130
a 2 7 9 14 15 16 19 22 26 38 39 46 48 49 53 55 57 64 68 72 81 83 85 88 90 98 99 103 104 107 108 115 116 118 121 122 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 46 48 49 53 55 57 64 68 72 81 83 85 88 90 98 99 103 104 107 108 115 116 118 121 122 127 129 130
a 2 7 9 14 16 19 22 23 26 38 39 46 48 49 53 55 57 68 72 81 83 85 88 90 98 99 103 104 105 107 108 115 116 118 121 122 127 129 130
c Step: 175
#END: [Mon Sep  4 22:10:19 2023]