#BEGIN: [Mon Sep  4 16:56:46 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance012_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance012_graph004_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance012_graph004.col /benchmark/random_instance/random_instance012_graph004_01.dat
c /benchmark/random_instance/random_instance012_graph004.col
c /benchmark/random_instance/random_instance012_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID a3aea9bd06549a9c0467f5d9b0dabe971bb9a82e4811aaeb582f999c5e22aafb
s 66 27 70 152 104 74 144 133 108 46 83 116 49 112 76 121 11 29 10 47 106 62 73 24 135 115 126 6 23 15 138 150 98 20 93 142 65 149 40 145 19 137 148 72 81 12 105
t 138 113 55 93 90 53 89 140 121 125 134 105 71 15 76 110 50 4 99 62 9 83 79 58 10 145 86 70 6 31 123 137 64 77 101 94 42 33 136 118 120 52 61 39 106 103 68
a YES
a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 115 116 121 126 133 135 137 138 142 144 145 148 149 150 152
a 6 10 11 12 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 113 116 121 126 133 135 137 138 142 144 145 148 149 150 152
a 6 10 11 12 13 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 113 116 121 126 135 137 138 142 144 145 148 149 150 152
a 6 10 11 12 13 15 19 20 23 24 27 29 40 46 47 49 62 65 66 70 72 73 74 76 81 83 93 98 104 105 106 108 112 115 116 121 126 135 137 138 142 144 145 148 149 150 152
a 6 10 11 12 13 15 19 20 23 24 27 29 40 46 47 49 62 65 66 72 73 74 76 81 83 93 98 104 105 106 108 112 115 116 121 126 128 135 137 138 142 144 145 148 149 150 152
a 6 10 11 12 13 15 19 20 23 24 27 29 40 46 47 49 62 65 66 72 73 74 76 81 83 93 98 104 105 106 108 112 115 116 121 126 128 135 137 138 142 144 145 147 148 150 152
a 6 10 11 12 13 15 19 20 23 24 27 29 40 46 47 49 58 62 65 66 72 73 74 76 81 83 93 98 104 105 106 108 112 116 121 126 128 135 137 138 142 144 145 147 148 150 152
a 6 10 11 12 13 15 19 20 23 24 27 29 40 46 49 58 62 65 66 72 73 74 75 76 81 83 93 98 104 105 106 108 112 116 121 126 128 135 137 138 142 144 145 147 148 150 152
a 6 10 11 12 13 15 19 20 23 24 27 29 40 46 49 62 65 66 72 73 74 75 76 81 83 93 98 104 105 106 108 112 115 116 121 126 128 135 137 138 142 144 145 147 148 150 152
a 6 10 11 12 13 15 19 20 23 24 27 29 40 46 49 62 65 66 72 73 74 75 76 81 83 93 98 104 105 106 108 112 115 116 121 126 128 135 138 139 142 144 145 147 148 150 152
a 6 10 11 12 13 15 19 20 23 24 27 29 40 46 47 49 62 65 66 72 73 74 76 81 83 93 98 104 105 106 108 112 115 116 121 126 128 135 138 139 142 144 145 147 148 150 152
a 6 10 11 12 13 15 19 20 23 24 27 29 40 46 47 49 62 65 66 72 73 74 76 81 83 93 98 104 105 106 108 112 113 116 121 126 128 135 138 139 142 144 145 147 148 150 152
a 6 10 11 12 13 15 19 20 23 24 27 29 40 46 47 49 62 65 66 72 73 74 76 81 83 93 98 104 105 106 108 112 113 116 121 126 128 135 138 139 142 144 145 147 148 149 152
a 6 10 11 12 13 15 19 20 23 24 27 29 40 46 47 49 62 65 66 72 73 74 76 81 83 86 93 98 104 105 106 112 113 116 121 126 128 135 138 139 142 144 145 147 148 149 152
a 6 10 11 12 13 15 19 20 23 24 27 29 40 46 47 49 62 65 66 72 73 74 76 81 83 86 93 98 104 105 106 112 113 116 121 126 128 138 139 142 143 144 145 147 148 149 152
a 6 10 11 12 13 15 19 20 23 24 27 29 40 46 47 49 62 65 72 73 74 76 81 83 86 87 93 98 104 105 106 112 113 116 121 126 128 138 139 142 143 144 145 147 148 149 152
a 6 10 11 12 13 15 19 20 23 24 27 29 40 46 47 49 58 62 65 72 73 76 81 83 86 87 93 98 104 105 106 112 113 116 121 126 128 138 139 142 143 144 145 147 148 149 152
a 10 11 12 13 15 19 20 23 24 27 29 40 46 47 49 58 62 65 72 73 74 76 81 83 86 87 93 98 104 105 106 112 113 116 121 126 128 138 139 142 143 144 145 147 148 149 152
a 6 10 11 12 13 15 19 20 23 24 27 29 40 46 47 49 58 62 65 72 73 74 76 81 83 86 87 93 98 104 105 106 112 113 116 121 126 128 138 139 143 144 145 147 148 149 152
a 6 10 11 12 13 15 19 20 23 24 27 29 33 40 46 47 49 58 62 65 72 73 74 76 81 83 86 87 93 98 104 105 106 112 113 116 121 126 128 138 139 143 144 145 147 148 149
a 6 10 11 12 13 15 19 20 23 24 27 29 33 40 46 49 58 62 65 68 72 73 74 76 81 83 86 87 93 98 104 105 106 112 113 116 121 126 128 138 139 143 144 145 147 148 149
a 6 10 11 12 13 15 19 20 23 24 27 29 33 40 46 49 58 62 65 68 70 72 73 74 76 81 83 86 87 93 98 104 105 106 112 113 116 121 126 138 139 143 144 145 147 148 149
a 6 10 11 12 13 15 19 20 23 24 27 29 33 40 46 49 58 62 65 68 70 72 73 74 76 81 83 86 87 93 98 104 105 106 112 113 116 121 126 138 139 142 143 144 145 148 149
a 6 10 11 12 13 15 19 20 23 24 27 29 33 40 46 49 58 62 65 68 70 72 73 74 76 81 83 86 87 93 98 104 105 106 112 113 116 121 126 138 139 142 143 144 145 147 148
a 6 10 11 12 13 15 19 20 23 24 27 29 33 40 46 49 58 62 65 68 70 72 73 74 75 76 81 83 86 87 93 98 104 105 106 112 113 116 121 126 138 139 142 143 144 145 148
a 6 10 11 12 13 15 19 20 23 24 27 29 33 40 46 49 58 62 65 68 70 72 73 74 75 76 81 83 86 87 93 98 104 105 106 112 113 116 121 126 137 138 142 143 144 145 148
a 6 10 11 12 13 15 19 20 23 24 27 29 33 40 46 49 58 62 68 70 72 73 74 75 76 81 83 86 87 93 98 104 105 106 112 113 116 121 126 137 138 140 142 143 144 145 148
a 6 10 11 12 13 19 20 23 24 27 29 33 40 46 49 58 62 68 70 72 73 74 75 76 81 83 86 87 93 98 104 105 106 112 113 116 121 126 137 138 140 142 143 144 145 148 149
a 6 10 11 12 13 19 20 23 24 27 29 33 40 49 58 62 68 70 72 73 74 75 76 81 83 86 87 93 98 104 105 106 110 112 113 116 121 126 137 138 140 142 143 144 145 148 149
a 6 10 11 12 13 19 20 23 24 27 29 33 40 49 58 62 68 70 72 73 74 75 76 81 83 86 87 93 98 104 105 106 110 112 113 116 121 126 137 138 140 142 143 144 145 147 148
a 10 11 12 13 15 19 20 23 24 27 29 33 40 49 58 62 68 70 72 73 74 75 76 81 83 86 87 93 98 104 105 106 110 112 113 116 121 126 137 138 140 142 143 144 145 147 148
a 11 12 13 15 19 20 23 24 27 29 33 40 49 58 62 68 70 72 73 74 75 76 81 83 86 87 88 93 98 104 105 106 110 112 113 116 121 126 137 138 140 142 143 144 145 147 148
a 11 12 13 15 19 20 23 24 27 29 33 36 40 49 58 62 68 70 72 73 74 75 76 81 83 86 87 88 93 98 104 105 106 110 112 113 116 121 126 137 138 140 142 143 144 147 148
a 11 12 13 15 19 20 23 24 27 29 33 36 40 49 58 62 68 70 72 73 74 75 76 81 83 86 87 88 93 98 104 105 106 110 112 113 116 121 126 137 138 140 142 143 144 145 147
a 1 11 12 13 15 19 20 23 24 27 29 33 36 40 49 58 62 68 70 72 74 75 76 81 83 86 87 88 93 98 104 105 106 110 112 113 116 121 126 137 138 140 142 143 144 145 147
a 1 11 12 13 15 19 20 23 24 27 29 33 36 40 49 58 62 68 70 72 73 74 75 76 81 83 86 87 88 93 98 104 105 106 110 112 113 116 121 126 137 138 140 142 143 144 145
a 1 6 11 12 15 19 20 23 24 27 29 33 36 40 49 58 62 68 70 72 73 74 75 76 81 83 86 87 88 93 98 104 105 106 110 112 113 116 121 126 137 138 140 142 143 144 145
a 1 6 11 12 15 19 20 23 24 27 29 33 36 40 49 58 62 68 70 72 73 74 75 76 81 83 86 87 88 93 98 104 105 106 110 112 113 116 126 133 137 138 140 142 143 144 145
a 6 11 12 15 19 20 23 24 27 29 33 36 40 49 58 62 68 70 72 73 74 75 76 81 83 86 87 88 93 98 104 105 106 110 112 113 116 121 126 133 137 138 140 142 143 144 145
a 11 12 15 19 20 23 24 27 29 33 36 40 49 58 62 68 70 72 73 74 75 76 81 83 86 87 88 93 98 103 104 105 106 110 112 113 116 121 126 133 137 138 140 142 143 144 145
a 12 15 19 20 23 24 27 29 33 36 40 49 58 62 68 70 72 73 74 75 76 81 83 86 87 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 137 138 140 142 143 144 145
a 12 19 20 23 24 27 29 33 36 40 49 58 62 68 70 72 73 74 75 76 81 83 86 87 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 137 138 140 142 143 144 145 149
a 12 15 19 20 23 24 27 29 33 36 40 49 58 62 68 70 72 73 74 75 76 81 83 86 87 88 93 98 101 103 104 105 106 110 112 113 121 126 133 137 138 140 142 143 144 145 149
a 12 15 19 20 23 24 27 29 33 36 40 49 58 62 68 70 72 73 74 75 76 81 83 86 87 88 93 98 103 104 105 106 110 112 113 116 121 126 133 137 138 140 142 143 144 145 149
a 12 15 19 20 23 24 27 29 33 36 40 49 58 62 68 70 72 73 74 75 76 81 83 86 87 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 137 138 140 142 143 144 149
a 12 15 19 20 23 24 27 29 33 36 40 49 58 62 63 68 70 72 73 74 75 76 81 83 86 87 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 137 140 142 143 144 149
a 15 19 20 23 24 27 29 33 36 40 49 58 62 63 68 70 72 73 74 75 76 81 83 86 87 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 137 138 140 142 143 144 149
a 11 15 20 23 24 27 29 33 36 40 49 58 62 63 68 70 72 73 74 75 76 81 83 86 87 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 137 138 140 142 143 144 149
a 11 12 20 23 24 27 29 33 36 40 49 58 62 63 68 70 72 73 74 75 76 81 83 86 87 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 137 138 140 142 143 144 149
a 12 15 20 23 24 27 29 33 36 40 49 58 62 63 68 70 72 73 74 75 76 81 83 86 87 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 137 138 140 142 143 144 149
a 12 15 19 20 23 24 27 29 33 36 40 49 58 62 63 68 70 72 73 74 75 76 81 83 86 87 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 138 140 142 143 144 149
a 12 15 19 20 23 24 27 29 33 36 40 49 58 62 63 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 138 140 142 143 144 149
a 15 19 20 23 24 27 29 33 36 40 49 58 62 63 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 137 138 140 142 143 144 149
a 15 19 20 23 24 27 29 33 36 40 49 58 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 137 138 142 143 144 149
a 15 19 20 23 24 27 29 33 36 40 49 54 58 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 133 137 138 142 143 144 149
a 15 19 20 23 24 27 29 33 36 40 49 54 58 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 133 136 137 138 142 143 144 149
a 6 15 19 23 24 27 29 33 36 40 49 54 58 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 133 136 137 138 142 143 144 149
a 6 19 20 23 24 27 29 33 36 40 49 54 58 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 133 136 137 138 142 143 144 149
a 6 19 20 24 27 29 33 36 40 49 54 58 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 126 133 136 137 138 142 143 144 149
a 6 19 20 24 27 29 33 36 40 49 54 58 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 126 133 135 136 137 138 142 144 149
a 6 15 19 20 24 27 29 33 36 40 49 54 58 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 126 133 135 136 137 138 142 149
a 6 15 19 20 24 27 29 33 36 40 49 54 58 62 63 65 66 68 70 72 73 74 75 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 135 136 137 138 142 149
a 6 15 20 24 27 29 33 36 40 49 54 58 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 135 136 137 138 142 149
a 6 20 23 24 27 29 33 36 40 49 54 58 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 135 136 137 138 142 149
a 6 15 20 23 24 27 29 33 36 40 49 54 58 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 105 106 110 112 113 116 121 126 133 135 136 137 138 142 149
a 15 19 20 23 24 27 29 33 36 40 49 54 58 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 105 106 110 112 113 116 121 126 133 135 136 137 138 142 149
a 15 19 20 23 24 27 29 33 36 40 49 54 58 62 63 65 66 68 70 72 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 135 136 137 138 142 149
a 19 20 23 24 27 29 33 36 40 49 54 58 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 135 136 137 138 142 149
a 19 20 23 24 27 29 30 33 36 40 49 54 58 62 63 65 66 68 70 72 73 74 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 135 136 137 138 142 149
a 19 23 24 27 29 30 33 36 40 49 54 58 60 62 63 65 66 68 70 72 73 74 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 135 136 137 138 142 149
a 23 24 27 29 30 33 36 40 49 54 58 60 62 63 65 66 68 70 72 73 74 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 135 136 137 138 142 144 149
a 15 23 24 27 29 30 33 36 40 49 54 58 60 62 63 66 68 70 72 73 74 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 135 136 137 138 142 144 149
a 15 23 24 27 29 33 36 40 49 54 58 60 62 63 65 66 68 70 72 73 74 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 135 136 137 138 142 144 149
a 15 23 24 27 29 33 36 40 49 54 58 60 62 63 65 66 68 70 72 73 74 75 76 81 83 86 93 98 101 103 104 105 106 110 112 113 116 121 126 133 135 136 137 138 142 144 149
a 12 15 23 24 27 29 33 36 40 49 54 58 60 62 63 65 66 68 70 72 73 74 75 76 81 83 86 93 98 101 103 104 105 106 110 112 113 116 121 126 133 135 136 137 142 144 149
a 12 15 23 24 27 29 33 36 40 49 54 55 58 60 62 63 65 66 68 70 72 73 74 75 76 81 83 86 93 98 101 103 104 105 106 110 112 113 116 121 126 133 135 136 137 144 149
a 12 15 23 24 27 29 33 36 40 49 54 55 58 60 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 136 137 144 149
a 12 15 23 24 27 29 33 36 40 49 54 55 58 60 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 136 138 144 149
a 15 23 24 27 29 33 36 40 49 54 55 58 60 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 135 136 138 144 149
a 15 23 24 27 29 33 36 40 49 54 55 58 60 62 63 65 66 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 133 135 136 137 138 144
a 15 23 24 27 29 33 36 40 49 54 55 58 60 62 63 65 66 67 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 135 136 137 138 144
a 15 23 24 27 29 33 36 40 49 54 55 58 60 62 63 65 66 67 68 70 72 73 74 75 76 81 83 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 135 136 138 139 144
a 15 23 24 27 29 33 36 40 49 54 55 58 60 62 63 65 66 67 68 70 72 73 74 75 76 81 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 135 136 138 139 144 149
a 15 23 24 27 29 30 33 36 40 49 54 55 58 60 62 63 65 66 67 68 70 72 73 74 76 81 86 88 93 98 101 103 104 105 106 110 112 113 116 121 126 135 136 138 139 144 149
a 15 23 24 27 29 30 33 36 40 49 54 55 58 60 62 63 65 67 68 70 72 73 74 76 81 86 87 88 93 98 101 103 104 105 106 110 112 113 116 121 126 135 136 138 139 144 149
a 15 23 24 27 29 30 33 40 49 54 55 58 60 62 63 65 67 68 70 72 73 74 76 81 86 87 88 93 98 101 103 104 105 106 110 112 113 116 120 121 126 135 136 138 139 144 149
a 15 23 24 29 30 33 40 49 54 55 58 60 62 63 65 67 68 70 72 73 74 76 81 83 86 87 88 93 98 101 103 104 105 106 110 112 113 116 120 121 126 135 136 138 139 144 149
a 15 23 24 29 30 33 40 49 54 55 58 60 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 98 101 103 104 105 106 110 113 116 120 121 126 135 136 138 139 144 149
a 13 15 23 24 29 30 33 40 49 54 55 58 60 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 98 101 103 104 105 106 110 113 116 120 121 126 135 138 139 144 149
a 13 15 23 24 29 30 33 40 47 49 54 55 58 60 62 63 65 67 70 71 72 73 74 76 81 83 86 87 88 93 98 101 103 104 105 106 110 113 116 120 121 126 135 138 139 144 149
a 13 15 23 24 27 29 30 33 40 47 49 54 55 58 62 63 65 67 70 71 72 73 74 76 81 83 86 87 88 93 98 101 103 104 105 106 110 113 116 120 121 126 135 138 139 144 149
a 13 15 23 24 27 29 30 33 40 47 49 54 55 58 62 63 65 67 70 71 72 73 74 76 81 83 86 87 88 93 98 101 103 104 105 106 110 113 116 120 121 126 138 139 143 144 149
a 13 15 23 24 27 29 30 33 40 47 49 54 55 58 62 63 65 67 70 71 72 73 74 76 81 83 86 87 93 98 101 103 104 105 106 110 111 113 116 120 121 126 138 139 143 144 149
a 13 15 23 24 27 29 30 33 40 47 49 54 55 58 62 63 65 67 70 71 72 73 74 76 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 120 121 126 138 139 143 144 149
a 13 15 23 24 27 29 30 33 40 47 49 54 55 58 62 63 65 67 70 71 72 73 74 76 83 86 87 88 89 93 98 101 103 104 105 106 110 111 113 120 121 126 138 139 143 144 149
a 13 15 23 24 29 30 33 40 47 49 54 55 58 62 63 65 67 70 71 72 73 74 76 81 83 86 87 88 89 93 98 101 103 104 105 106 110 111 113 120 121 126 138 139 143 144 149
a 13 15 23 24 29 30 33 40 47 49 54 55 58 60 62 63 65 67 70 71 72 73 74 76 81 83 86 87 88 89 93 98 101 103 104 105 106 110 111 113 120 121 126 138 139 143 149
a 13 15 23 24 27 29 30 33 40 47 49 54 55 58 60 62 63 65 67 70 71 72 73 74 76 81 83 86 87 88 89 93 98 101 103 104 105 106 110 111 113 120 121 126 139 143 149
a 13 15 23 24 27 29 30 33 40 47 49 54 55 58 60 62 63 65 67 70 71 72 73 74 76 81 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 120 121 126 139 143 149
a 13 15 23 24 27 29 30 33 40 47 49 54 55 58 60 62 63 65 67 70 71 72 73 74 76 81 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 120 121 126 137 143 149
a 13 15 23 24 27 29 30 33 40 47 49 55 58 60 61 62 63 65 67 70 71 72 73 74 76 81 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 120 121 126 137 143 149
a 13 15 23 24 27 29 30 33 40 47 49 55 58 60 61 62 63 65 67 70 71 72 73 74 76 81 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 121 126 137 138 143 149
a 13 15 23 24 29 30 33 40 47 49 55 58 60 61 62 63 65 67 70 71 72 73 74 76 81 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 121 126 137 138 143 144 149
a 13 15 23 24 27 29 30 33 40 47 49 55 58 60 61 62 63 65 67 70 71 72 73 76 81 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 121 126 137 138 143 144 149
a 13 15 23 24 29 30 33 40 47 49 55 58 60 61 62 63 65 67 70 71 72 73 76 81 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 120 121 126 137 138 143 144 149
a 13 15 23 24 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 76 81 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 120 121 126 137 138 143 144 149
a 13 23 24 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 120 121 126 137 138 143 144 149
a 23 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 120 121 126 137 138 143 144 149
a 13 23 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 120 121 126 137 138 143 144
a 13 23 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 120 121 126 137 138 143 144
a 13 15 23 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 120 121 126 137 138 143
a 12 13 15 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 120 121 126 137 138 143
a 4 13 15 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 120 121 126 137 138 143
a 4 13 15 23 24 27 29 30 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 120 121 126 137 138 143
a 4 13 15 23 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 120 121 126 137 138
a 13 15 23 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 120 121 126 137 138 155
a 15 23 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 120 121 126 137 138 145 155
a 15 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 120 121 126 137 138 144 145 155
a 13 15 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 120 121 126 137 138 144 155
a 13 15 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 120 121 126 138 139 144 155
a 4 13 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 120 121 126 138 139 144 155
a 4 13 23 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 110 111 113 116 120 121 126 138 139 144 155
a 4 13 23 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 110 111 113 120 121 126 138 139 143 144 155
a 4 13 23 24 27 29 30 33 40 49 55 58 60 61 62 63 65 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 120 121 126 138 139 143 144 155
a 13 15 23 24 27 29 30 33 40 49 55 58 60 61 62 63 65 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 120 121 126 138 139 143 144 155
a 13 15 23 24 27 29 30 33 36 40 49 55 58 60 61 62 63 65 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 121 126 138 139 143 144 155
a 13 15 23 24 27 29 30 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 111 113 121 126 138 139 143 144 155
a 15 23 24 27 29 30 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 111 113 116 121 126 138 139 143 144 155
a 9 15 23 24 29 30 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 111 113 116 121 126 138 139 143 144 155
a 9 15 24 27 29 30 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 111 113 116 121 126 138 139 143 144 155
a 15 24 27 29 30 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 121 126 138 139 143 144 155
a 15 23 24 27 29 30 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 121 126 138 139 143 144
a 9 15 23 24 27 29 30 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 93 95 98 101 103 104 105 110 111 113 116 121 126 138 139 143 144
a 4 9 15 23 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 93 95 98 101 103 104 105 110 111 113 116 121 126 138 139 143 144
a 9 12 15 23 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 93 95 98 101 103 104 105 110 111 113 116 121 126 138 139 143 144
a 9 13 15 23 24 27 29 30 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 93 95 98 101 103 104 105 110 111 113 116 121 126 138 139 143 144
a 9 13 15 23 24 27 29 30 33 36 40 49 55 58 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 93 95 98 101 103 104 105 110 111 113 116 121 126 138 139 143 144
a 9 13 15 23 24 27 29 30 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 93 95 98 101 103 104 105 110 111 113 116 121 126 138 139 144
a 9 13 15 23 24 29 30 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 93 95 98 101 103 104 105 110 111 113 116 121 126 138 139 143 144
a 9 13 15 23 24 29 30 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 121 126 138 139 144
a 4 9 13 15 23 24 29 30 33 36 40 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 121 126 138 139 144
a 9 12 13 15 23 24 29 30 33 36 40 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 121 126 138 139 144
a 12 13 15 23 24 29 30 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 121 126 138 139 144
a 12 13 15 23 24 27 29 30 33 36 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 121 126 138 139 144
a 12 13 15 23 24 27 29 30 33 36 40 49 58 60 61 62 63 65 67 68 70 71 72 73 74 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 121 126 138 139 144
a 12 13 15 23 24 27 29 33 36 40 49 58 60 61 62 63 65 67 68 70 71 72 73 74 75 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 121 126 138 139 144
a 12 13 15 23 24 27 29 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 75 76 81 83 86 87 88 93 95 98 103 104 105 110 111 113 116 121 126 138 139 144
a 12 13 15 23 24 27 29 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 75 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 121 126 138 144
a 9 12 13 15 23 24 27 29 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 75 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 121 126 138
a 9 12 13 15 23 24 27 29 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 75 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 121 126 135
a 9 12 13 15 23 24 27 29 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 75 76 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 121 126 135 138
a 12 13 15 23 24 27 29 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 75 76 81 83 86 87 88 93 95 98 101 103 104 105 110 111 113 116 121 126 135 138
a 12 13 15 23 24 27 29 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 75 76 81 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 121 126 135 138
a 4 12 15 23 24 27 29 33 36 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 75 76 81 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 121 126 135 138
a 4 12 13 15 23 24 27 29 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 75 76 81 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 121 126 135 138
a 4 9 12 13 15 23 24 27 29 33 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 75 76 81 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 121 126 135 138
a 4 9 12 13 15 23 24 27 29 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 75 76 81 83 86 87 88 93 98 101 103 104 105 106 110 111 113 116 121 135 138
a 4 9 12 13 15 23 24 27 29 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 75 76 81 83 86 87 88 93 101 103 104 105 106 110 111 113 116 121 126 135 138
a 4 9 12 13 15 23 24 27 29 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 74 75 76 81 83 86 87 88 93 101 103 104 105 106 110 111 113 121 126 135 137 138
a 4 9 12 13 15 23 24 27 29 33 40 49 55 58 60 61 62 63 65 67 68 70 71 72 73 75 76 81 83 86 87 88 90 93 101 103 104 105 106 110 111 113 121 126 135 137 138
a 4 9 12 13 15 23 24 27 29 33 40 49 55 58 60 61 62 63 67 68 70 71 72 73 75 76 81 83 86 87 88 90 93 101 103 104 105 106 110 111 113 121 126 135 137 138 140
a 4 9 12 13 15 23 24 27 29 33 40 49 55 58 60 61 62 63 67 68 70 71 72 73 75 76 81 83 86 87 88 90 93 101 103 104 105 106 110 111 113 120 121 135 137 138 140
a 4 9 12 13 15 23 24 27 29 33 40 42 49 55 58 60 61 62 67 68 70 71 72 73 75 76 81 83 86 87 88 90 93 101 103 104 105 106 110 111 113 120 121 135 137 138 140
a 4 9 12 13 15 23 24 27 29 33 40 42 49 55 58 60 61 62 67 68 70 71 72 73 75 76 81 83 86 87 88 90 93 101 103 104 105 106 110 111 113 120 121 137 138 140 145
a 4 9 12 15 23 24 27 29 33 40 42 49 55 58 60 61 62 67 68 70 71 72 73 75 76 77 81 83 86 87 88 90 93 101 103 104 105 106 110 111 113 120 121 137 138 140 145
a 4 9 12 15 23 24 27 29 33 39 40 42 49 55 58 60 61 62 67 68 70 71 72 73 75 76 77 81 83 86 87 90 93 101 103 104 105 106 110 111 113 120 121 137 138 140 145
a 4 9 12 15 23 24 27 29 33 39 40 42 49 55 58 60 61 62 67 68 70 71 72 73 75 76 77 79 81 83 86 87 90 93 101 103 105 106 110 111 113 120 121 137 138 140 145
a 4 6 9 12 15 23 24 27 29 33 39 40 42 49 55 58 60 61 62 67 68 70 71 72 73 75 76 77 79 83 86 87 90 93 101 103 105 106 110 111 113 120 121 137 138 140 145
a 4 6 9 12 15 23 24 27 29 33 39 40 42 49 55 58 60 61 62 67 68 70 71 72 73 76 77 79 83 86 87 89 90 93 101 103 105 106 110 111 113 120 121 137 138 140 145
a 4 6 9 12 15 23 24 27 29 33 39 40 42 49 55 58 60 61 62 68 70 71 72 73 76 77 79 83 86 87 89 90 93 101 103 105 106 110 111 113 120 121 136 137 138 140 145
a 4 6 9 10 12 15 23 24 27 29 33 39 40 42 49 55 58 60 61 62 68 70 71 72 73 76 77 79 83 86 87 89 90 93 101 103 105 106 110 113 120 121 136 137 138 140 145
a 4 6 9 10 12 15 23 24 27 29 33 39 40 42 49 52 55 58 61 62 68 70 71 72 73 76 77 79 83 86 87 89 90 93 101 103 105 106 110 113 120 121 136 137 138 140 145
a 4 6 9 10 15 23 24 27 29 33 39 40 42 49 52 55 58 61 62 68 70 71 72 73 76 77 79 83 86 87 89 90 93 101 103 105 106 110 113 118 120 121 136 137 138 140 145
a 4 6 9 10 15 23 24 27 29 33 39 40 42 49 50 52 55 58 61 62 68 70 71 72 76 77 79 83 86 87 89 90 93 101 103 105 106 110 113 118 120 121 136 137 138 140 145
a 4 6 9 10 15 23 24 27 33 39 40 42 49 50 52 55 58 61 62 68 70 71 72 76 77 79 83 86 87 89 90 93 94 101 103 105 106 110 113 118 120 121 136 137 138 140 145
a 4 6 9 10 15 23 24 27 31 33 39 40 42 50 52 55 58 61 62 68 70 71 72 76 77 79 83 86 87 89 90 93 94 101 103 105 106 110 113 118 120 121 136 137 138 140 145
a 4 6 9 10 15 23 24 27 31 33 39 40 42 50 52 53 55 58 61 62 68 70 71 72 76 77 79 83 86 89 90 93 94 101 103 105 106 110 113 118 120 121 136 137 138 140 145
a 4 6 9 10 15 23 27 31 33 39 40 42 50 52 53 55 58 61 62 68 70 71 72 76 77 79 83 86 89 90 93 94 101 103 105 106 110 113 118 120 121 134 136 137 138 140 145
a 4 6 9 10 15 27 31 33 39 40 42 50 52 53 55 58 61 62 68 70 71 72 76 77 79 83 86 89 90 93 94 101 103 105 106 110 113 118 120 121 123 134 136 137 138 140 145
a 4 6 9 10 15 27 31 33 39 40 42 50 52 53 55 58 61 62 68 70 71 76 77 79 83 86 89 90 93 94 99 101 103 105 106 110 113 118 120 121 123 134 136 137 138 140 145
a 4 6 9 10 15 31 33 39 40 42 50 52 53 55 58 61 62 68 70 71 76 77 79 83 86 89 90 93 94 99 101 103 105 106 110 113 118 120 121 123 125 134 136 137 138 140 145
a 4 6 9 10 15 31 33 39 42 50 52 53 55 58 61 62 64 68 70 71 76 77 79 83 86 89 90 93 94 99 101 103 105 106 110 113 118 120 121 123 125 134 136 137 138 140 145
c Step: 181
#END: [Mon Sep  4 17:26:47 2023]