#BEGIN: [Mon Sep  4 22:06:22 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance011_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance011_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_instance011_graph002.col /benchmark/random_instance/random_instance011_graph002_01.dat
c /benchmark/random_instance/random_instance011_graph002.col
c /benchmark/random_instance/random_instance011_graph002_01.dat
s 45 113 122 137 28 134 67 31 108 136 71 15 37 81 102 121 90 73 39 53 38 69 132 119 41 80 85 141 33 111 126 55 105 83 112 68 107 115 59 30 143 138 128 124 91 129
t 79 109 64 136 63 80 44 100 8 91 111 22 130 77 70 17 121 19 134 113 53 138 48 69 27 115 51 49 141 50 35 39 47 129 58 112 34 98 105 87 124 6 73 30 67 56
a YES
a 15 28 30 31 33 37 38 39 41 45 53 55 59 67 68 69 71 73 80 81 83 85 90 91 102 105 107 108 111 112 113 115 119 121 122 124 126 128 129 132 134 136 137 138 141 143
a 28 30 31 33 37 38 39 41 45 53 55 59 67 68 69 71 73 80 81 83 85 90 91 100 102 105 107 108 111 112 113 115 119 121 122 124 126 128 129 132 134 136 137 138 141 143
a 28 30 31 33 37 38 39 40 41 45 53 55 59 68 69 71 73 80 81 83 85 90 91 100 102 105 107 108 111 112 113 115 119 121 122 124 126 128 129 132 134 136 137 138 141 143
a 28 30 31 33 37 38 39 40 41 45 53 55 57 59 68 69 71 80 81 83 85 90 91 100 102 105 107 108 111 112 113 115 119 121 122 124 126 128 129 132 134 136 137 138 141 143
a 5 28 30 31 33 37 38 39 40 41 45 53 55 57 59 68 69 71 80 81 83 85 90 91 100 102 105 107 108 112 113 115 119 121 122 124 126 128 129 132 134 136 137 138 141 143
a 5 28 30 31 33 37 38 40 41 45 53 55 57 59 68 69 71 80 81 83 85 90 91 100 102 105 107 108 112 113 115 119 121 122 124 126 128 129 131 132 134 136 137 138 141 143
a 5 15 28 30 31 33 37 38 40 41 45 53 55 57 59 68 69 71 80 81 83 85 90 91 102 105 107 108 112 113 115 119 121 122 124 126 128 129 131 132 134 136 137 138 141 143
a 5 25 28 30 31 33 37 38 40 41 45 53 55 57 59 68 69 71 80 81 83 85 90 91 102 105 107 108 112 113 115 119 121 122 124 126 128 129 131 132 134 136 137 138 141 143
a 5 25 28 30 31 33 37 38 39 40 41 45 53 55 57 59 68 69 71 80 81 83 85 90 91 102 105 107 108 112 113 115 119 121 122 124 126 128 129 132 134 136 137 138 141 143
a 5 25 28 30 31 33 37 38 39 40 41 45 53 55 57 59 68 69 71 80 81 83 85 90 91 100 102 105 107 108 112 113 115 119 122 124 126 128 129 132 134 136 137 138 141 143
a 5 25 30 31 33 37 38 39 40 41 45 47 53 55 57 59 68 69 71 80 81 83 85 90 91 100 102 105 107 108 112 113 115 119 122 124 126 128 129 132 134 136 137 138 141 143
a 5 25 30 31 33 37 38 39 40 41 45 47 53 55 56 57 59 68 69 71 80 81 83 85 91 100 102 105 107 108 112 113 115 119 122 124 126 128 129 132 134 136 137 138 141 143
a 5 25 30 31 33 37 38 39 40 41 45 47 53 55 56 57 59 68 69 71 80 81 83 85 91 94 100 102 105 107 108 112 113 115 119 124 126 128 129 132 134 136 137 138 141 143
a 5 25 31 33 37 38 39 40 41 45 47 53 55 56 57 59 68 69 71 80 81 83 85 91 94 100 102 105 107 108 112 113 115 119 124 126 128 129 132 133 134 136 137 138 141 143
a 25 31 33 37 38 39 40 41 45 47 53 55 56 57 59 68 69 71 80 81 83 85 91 92 94 100 102 105 107 108 112 113 115 119 124 126 128 129 132 133 134 136 137 138 141 143
a 25 31 33 35 37 38 39 40 41 45 47 53 55 56 57 59 68 69 71 80 81 83 85 91 92 94 100 102 105 107 108 112 113 115 119 124 126 128 129 132 133 134 136 137 138 141
a 25 31 33 35 37 38 39 40 41 45 47 53 55 56 57 59 68 69 71 80 81 83 85 91 92 94 100 102 105 108 112 113 115 119 124 126 128 129 132 133 134 136 137 138 141 143
a 25 31 33 35 37 38 39 40 41 45 47 53 55 56 57 59 68 69 71 80 81 83 85 91 92 94 100 102 105 107 108 112 113 115 119 124 126 128 129 132 133 134 136 138 141 143
a 25 31 33 35 37 38 39 40 41 45 47 53 55 56 57 59 68 69 71 80 81 83 85 91 92 94 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 136 138 141
a 25 31 33 35 37 38 39 40 41 45 47 53 55 56 57 59 68 69 71 80 81 83 85 91 92 94 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 137 138 141
a 19 25 31 33 35 37 38 39 40 41 45 47 53 55 56 57 59 68 69 71 80 81 83 85 91 92 94 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 137 141
a 19 25 31 33 35 37 38 39 40 41 45 47 53 55 56 57 59 68 69 71 80 81 83 85 91 92 94 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 137 138
a 19 25 31 33 35 37 38 39 40 41 45 47 53 55 56 57 59 68 69 71 80 81 83 85 91 92 94 100 102 105 107 111 112 113 115 119 124 126 128 129 132 133 134 137 138 141
a 19 25 31 33 35 37 38 39 40 41 45 47 53 55 56 59 68 69 71 80 81 83 85 91 92 94 98 100 102 105 107 111 112 113 115 119 124 126 128 129 132 133 134 137 138 141
a 19 25 31 33 35 37 38 39 40 41 45 47 53 55 56 59 68 69 71 80 81 83 85 91 92 94 98 100 102 105 107 111 112 113 115 119 124 126 128 129 132 133 134 136 137 141
a 19 25 31 33 35 37 38 39 40 41 45 47 53 55 56 59 68 69 71 80 81 83 85 91 92 94 98 100 102 105 107 111 112 113 115 119 124 126 128 132 133 134 136 137 141 143
a 19 25 31 33 35 37 38 39 40 41 45 47 53 55 56 59 68 69 71 80 81 83 85 91 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 132 133 134 136 137 143
a 19 25 31 33 35 37 38 39 40 41 45 47 53 55 56 59 68 69 71 80 81 83 85 91 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 132 134 136 137 141 143
a 19 25 31 33 35 37 38 39 40 41 45 47 53 55 56 59 68 69 71 80 81 83 85 91 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 134 136 137 143
a 19 25 31 33 35 37 38 39 40 41 45 47 53 55 56 59 68 69 71 80 81 83 85 91 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 136 137
a 19 25 31 33 37 38 39 40 41 45 47 53 55 56 59 68 69 71 80 81 83 85 91 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 136 137 143
a 19 25 31 33 35 37 38 39 40 41 45 47 53 55 56 59 68 69 71 80 81 83 85 91 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 136 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 68 69 71 80 81 83 85 91 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 136 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 68 69 71 80 81 83 85 91 92 94 98 100 102 105 107 108 111 112 113 115 119 124 128 129 132 133 134 136 137 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 68 69 71 80 81 83 85 91 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 136 137
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 68 69 71 80 81 83 85 91 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 136 137 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 68 69 71 80 81 83 85 91 92 94 98 100 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 136 137 138 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 68 69 71 80 81 83 85 91 92 94 98 100 105 107 108 112 113 115 119 124 126 128 129 132 133 134 136 137 138 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 68 69 71 80 83 85 91 92 94 98 100 105 107 108 112 113 115 119 124 126 128 129 132 133 134 136 137 138 141 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 68 69 71 80 83 85 91 92 94 98 100 102 105 107 108 112 113 115 119 124 126 128 129 132 133 134 136 137 138 141
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 68 69 71 73 80 83 85 91 92 94 98 100 102 105 107 108 112 113 115 119 126 128 129 132 133 134 136 137 138 141
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 68 69 71 73 80 83 85 91 92 94 100 102 105 107 108 112 113 115 119 124 126 128 129 132 133 134 136 137 138 141
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 68 69 71 80 83 85 91 92 94 100 102 105 107 108 112 113 115 119 124 126 128 129 132 133 134 136 137 138 141 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 68 69 71 80 83 85 91 92 94 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 136 138 141 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 68 69 71 80 83 85 91 92 94 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 136 137 138 141
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 80 83 85 92 94 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 136 137 138 141
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 80 83 85 92 94 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 136 137 141 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 80 83 85 92 94 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 136 137 138 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 80 81 83 85 92 94 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 134 136 137 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 80 81 83 85 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 136 137 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 80 81 83 85 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 129 132 133 137 141 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 80 81 83 85 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 132 133 137 138 141 143
a 19 25 33 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 80 81 83 85 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 132 133 134 137 138 141 143
a 19 25 33 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 73 80 81 83 85 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 132 133 134 137 138 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 73 80 81 83 85 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 132 133 134 137 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 73 80 81 83 85 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 132 133 134 138 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 73 80 81 83 85 92 94 98 100 102 105 107 108 111 112 113 115 119 124 126 128 132 133 136 138 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 132 133 136 138 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 133 136 138 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 133 136 143
a 19 25 33 35 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 115 119 122 124 126 128 129 132 133 136 138 143
a 19 33 35 37 38 39 40 41 45 47 48 53 55 56 59 60 68 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 133 136 138 143
a 19 33 35 37 38 39 41 45 47 48 53 55 56 59 60 67 68 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 133 136 138 143
a 19 33 37 38 39 41 45 47 48 53 55 56 59 60 67 68 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 133 134 136 138 143
a 19 33 35 37 38 39 41 45 47 48 53 55 56 59 60 67 68 69 71 73 80 81 83 85 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 133 134 136 138 143
a 19 33 35 37 38 39 41 45 47 48 53 55 56 59 60 67 68 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 133 134 136 143
a 19 33 35 37 38 39 41 45 47 48 53 55 56 59 60 67 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 133 134 136 137 143
a 19 33 35 37 38 39 41 45 47 48 53 55 56 59 60 67 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 134 136 137 138 143
a 19 33 35 37 38 39 41 47 48 53 55 56 59 60 67 68 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 134 136 137 138 143
a 19 33 35 37 38 39 41 47 48 53 56 59 60 67 68 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 134 136 137 138 141 143
a 19 33 35 37 38 39 41 47 48 53 55 56 59 60 67 68 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 134 136 137 138 141 143
a 19 30 33 35 37 38 39 41 47 48 53 55 56 59 60 67 68 69 71 73 80 81 83 85 92 98 100 105 107 108 111 112 113 115 119 122 124 126 128 129 134 136 137 138 141 143
a 19 30 33 35 37 38 39 41 45 47 48 53 55 56 59 60 67 68 69 71 73 80 81 83 85 92 98 100 105 107 108 111 112 113 115 119 122 124 126 128 129 134 136 137 138 143
a 19 30 33 35 37 38 39 41 45 47 48 55 56 59 60 67 68 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 134 136 137 138 143
a 19 30 33 35 37 38 39 41 45 47 48 55 56 58 59 60 67 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 134 136 137 138 143
a 19 30 33 35 37 38 39 41 45 47 48 55 56 58 59 60 67 69 71 73 80 81 83 85 92 98 100 102 107 108 111 112 113 115 119 122 124 126 128 129 132 134 136 137 138 143
a 19 30 33 35 37 38 39 41 45 47 48 55 56 58 59 60 67 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 126 128 129 132 134 136 137 138 143
a 19 33 35 37 38 39 41 45 47 48 55 56 58 59 60 67 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 134 136 137 138 143
a 19 33 35 37 38 39 41 45 47 48 53 55 56 58 59 60 67 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 134 136 138 143
a 19 30 33 35 37 38 39 41 45 47 48 53 55 56 58 59 60 67 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 134 136 138 143
a 19 30 33 35 37 38 39 41 45 47 53 55 56 58 59 60 67 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 134 136 137 138 143
a 19 30 33 35 37 38 39 41 45 47 48 53 55 56 58 59 60 67 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 136 137 138 143
a 19 33 35 37 38 39 41 45 47 48 53 55 56 58 59 60 67 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 136 137 138 143
a 19 33 35 37 38 39 41 45 47 48 53 55 56 58 59 60 67 69 71 73 80 81 83 85 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 137 138 141 143
a 19 33 35 37 38 39 41 45 47 48 53 55 56 58 59 67 69 71 73 80 81 83 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 137 138 141 143
a 19 33 35 38 39 41 45 47 48 53 55 56 58 59 67 69 71 73 80 81 83 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 134 137 138 141 143
a 19 24 33 35 38 39 41 45 47 48 53 55 56 58 59 67 69 71 73 80 81 83 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 134 137 138 141
a 19 24 33 35 37 38 39 41 45 47 48 53 55 56 58 59 67 69 71 73 80 81 83 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 128 129 132 134 137 138 141
a 19 24 35 37 38 39 41 45 47 48 53 55 56 58 59 67 69 71 73 80 81 83 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 134 137 138 141
a 19 24 33 35 37 38 39 41 45 47 48 53 55 56 58 59 67 69 71 73 80 83 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 134 137 138 141
a 19 24 33 35 37 38 39 41 45 47 48 53 55 56 58 59 67 69 71 73 80 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 134 136 137 138 141
a 19 24 33 35 37 38 39 41 45 47 48 53 55 58 59 67 69 71 73 80 83 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 134 136 137 138 141
a 19 24 30 33 35 37 38 39 41 45 47 53 55 58 59 67 69 71 73 80 83 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 134 136 137 138 141
a 19 24 30 35 37 38 39 41 45 47 48 53 55 58 59 67 69 71 73 80 83 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 132 134 136 137 138 141
a 19 24 30 35 37 38 39 41 45 47 48 53 55 58 59 67 69 71 73 80 81 83 85 91 92 98 100 102 105 107 108 111 112 113 115 122 124 126 128 129 132 134 136 137 138 141
a 19 24 30 35 37 38 39 41 45 47 48 49 53 55 58 59 67 69 71 73 80 81 83 85 91 92 98 100 102 105 107 108 111 112 113 115 122 124 126 128 129 132 134 136 138 141
a 19 24 30 35 37 38 39 41 45 47 48 49 53 55 58 59 67 69 71 73 80 81 83 85 91 92 98 100 102 105 107 108 111 112 113 115 122 124 126 128 129 130 134 136 138 141
a 19 24 30 35 37 38 39 41 45 47 48 49 53 55 56 58 59 67 69 71 73 80 81 83 85 91 92 98 100 102 105 107 108 111 112 113 115 122 124 126 128 129 130 134 138 141
a 19 24 30 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 98 100 102 105 107 108 111 112 113 115 122 124 126 128 129 130 134 138 141
a 19 24 30 33 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 98 100 102 105 107 108 111 112 113 115 122 124 126 128 129 130 134 141
a 19 24 30 33 35 37 38 39 40 41 45 47 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 98 100 102 105 107 108 111 112 113 115 122 124 126 128 129 130 134 136 141
a 19 24 30 33 35 37 38 39 40 41 45 47 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 129 130 134 136 141
a 19 24 30 33 35 37 38 39 40 41 45 47 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 98 100 102 107 108 111 112 113 115 119 122 124 126 129 130 132 134 136 141
a 19 24 30 33 35 37 38 39 40 41 45 47 53 55 56 58 59 69 71 73 80 81 83 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 129 130 132 134 136 141
a 19 24 30 33 35 37 38 39 40 41 45 47 49 53 55 56 58 59 69 71 73 80 81 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 129 130 132 134 136 141
a 19 24 30 33 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 129 130 132 134 136 141
a 19 24 30 33 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 129 130 134 136 141
a 19 24 30 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 30 33 35 37 38 39 40 45 47 48 49 53 55 56 58 59 69 71 73 80 81 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 30 33 35 37 39 40 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 30 33 35 37 38 39 40 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 98 100 102 105 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 30 33 35 37 38 39 40 41 45 47 48 49 53 55 56 58 69 71 73 80 81 83 85 91 92 98 100 102 105 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 30 33 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 81 83 85 91 92 98 100 102 105 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 30 33 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 92 98 100 102 105 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 30 33 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 98 102 105 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 30 33 35 37 38 39 40 41 45 47 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 97 98 102 105 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 30 33 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 85 91 92 97 98 102 105 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 33 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 85 91 92 97 98 100 102 105 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 33 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 85 91 92 97 98 100 105 107 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 33 35 37 38 39 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 85 91 92 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 33 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 85 91 92 97 98 100 102 107 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 33 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 91 92 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 30 33 35 37 38 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 91 92 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 30 33 35 37 38 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 91 92 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 30 33 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 91 92 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 30 33 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 92 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 130 134 136 141
a 19 24 30 33 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 92 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 130 134 136
a 19 24 30 33 35 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 91 92 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 130 134
a 19 24 30 33 35 37 38 39 40 41 43 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 91 92 97 98 100 102 105 107 108 111 112 113 115 122 124 126 128 129 130 134
a 19 24 30 33 35 37 38 39 40 41 43 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 91 92 97 98 100 102 105 107 108 111 112 113 115 122 124 126 129 130 134 141
a 19 24 30 33 35 37 38 39 40 41 43 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 97 98 100 102 105 107 108 111 112 113 115 122 124 126 129 130 134
a 19 24 30 33 35 37 38 39 40 41 43 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 113 115 122 124 126 129 130
a 19 24 30 33 35 37 38 39 40 41 43 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 112 113 115 122 124 126 128 129 130
a 19 24 25 30 33 35 37 38 39 40 41 43 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 92 95 97 98 100 102 105 107 108 112 113 115 122 124 126 128 129 130
a 19 24 25 30 33 35 37 38 39 40 41 43 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 92 95 97 98 100 102 105 107 108 111 112 113 115 122 124 126 128 130
a 19 24 25 30 33 35 37 38 39 40 41 43 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 92 95 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 130
a 19 24 25 33 35 37 38 39 40 41 43 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 130
a 19 24 25 29 35 37 38 39 40 41 43 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 130
a 19 24 25 29 35 37 38 39 40 41 43 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 113 115 119 122 126 129 130
a 19 24 25 29 30 35 37 38 39 40 41 43 45 47 48 49 53 55 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 113 115 119 122 126 129 130
a 19 24 25 29 30 35 37 38 40 41 43 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 113 115 119 122 126 129 130
a 19 24 25 29 30 35 37 38 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 113 115 119 122 126 129 130 138
a 19 24 25 29 30 35 37 38 40 41 45 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 129 130 138
a 19 24 25 29 30 35 37 38 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 115 119 122 124 126 129 130 138
a 19 24 25 29 30 35 37 38 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 115 119 122 124 126 128 129 130
a 19 24 25 29 30 35 37 38 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 115 119 122 124 126 128 130 138
a 19 24 25 29 30 37 38 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 115 119 122 124 126 128 129 130 138
a 19 24 25 29 30 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 115 119 122 124 126 128 129 138
a 19 24 25 29 30 37 38 39 40 41 45 47 48 49 53 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 115 119 122 124 126 128 130 138
a 19 24 25 29 30 37 38 39 40 41 45 47 48 49 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 130 138
a 19 24 25 29 30 38 39 40 41 45 47 48 49 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 128 130 138
a 19 24 25 29 30 37 38 39 40 41 45 47 48 49 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 128 130
a 19 24 25 29 30 35 37 38 39 40 41 45 47 49 55 56 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 128 130
a 19 24 25 29 30 35 37 38 39 40 41 45 47 48 49 55 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 128 130
a 19 24 25 29 30 35 37 38 39 40 41 45 47 48 49 55 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 128 138
a 19 24 25 29 30 35 37 38 39 40 41 45 47 48 55 58 59 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 128 137 138
a 19 24 25 29 30 35 37 38 39 40 41 45 47 48 55 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 128 137 138
a 19 24 25 29 30 35 37 38 39 40 41 45 47 48 53 55 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 128 137
a 19 24 25 29 30 35 37 38 39 40 41 45 47 48 53 55 59 68 69 71 73 80 81 83 85 91 92 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 128 137 141
a 19 24 25 29 30 35 37 38 39 40 41 45 47 48 53 55 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 105 107 108 110 111 112 113 115 119 122 124 126 128 137 141
a 19 24 25 29 30 35 37 38 39 40 41 45 47 48 53 55 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 119 122 124 126 128 137 141
a 19 24 25 29 30 35 37 38 39 40 41 45 47 48 53 55 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 119 122 124 126 128 134 141
a 19 24 25 29 30 35 37 38 39 40 41 45 47 48 53 55 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 119 122 124 126 128 129 141
a 19 24 25 29 30 35 37 38 39 40 41 45 47 48 53 55 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 119 122 124 126 128 129 134
a 19 24 25 29 30 35 37 38 39 40 41 45 47 48 53 55 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 113 119 122 124 126 128 129 134 141
a 19 24 25 29 30 35 37 38 39 40 41 45 47 48 53 55 59 68 69 71 73 80 81 83 85 91 95 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 134 141
a 19 24 25 29 30 35 37 38 39 40 41 45 47 48 53 55 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 115 119 122 124 126 128 129 134 141
a 19 24 25 30 35 37 38 39 40 41 45 47 48 53 55 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 134 141
a 19 24 25 29 30 35 37 38 39 40 41 45 47 48 53 55 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 134
a 19 24 25 29 30 35 37 38 39 40 41 45 47 48 53 55 56 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 108 111 112 113 115 119 122 124 126 128 129 134
a 24 25 29 30 35 37 38 39 40 41 45 47 48 53 55 56 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 111 112 113 115 119 122 124 126 128 129 134
a 24 25 30 35 37 38 39 40 41 45 47 48 53 55 56 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 128 129 134
a 19 24 25 30 35 37 38 39 40 41 45 47 48 53 55 56 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 128 129 134
a 19 24 25 30 35 37 38 39 40 41 43 45 47 48 53 55 56 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 128 129
a 19 24 25 30 35 38 39 40 41 43 45 47 48 53 55 56 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 128 129 141
a 19 24 25 30 35 37 38 39 40 41 43 45 47 53 55 56 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 128 129 141
a 19 24 25 30 35 37 38 39 40 41 43 45 47 53 55 56 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 128 129 134
a 24 25 30 35 37 38 39 40 41 43 45 47 49 53 55 56 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 128 129 134
a 19 24 25 30 35 37 38 39 40 41 43 45 47 49 53 55 56 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 128 129
a 19 24 25 29 30 35 37 38 39 40 41 43 45 47 49 53 55 56 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 128
a 1 19 24 25 29 30 35 37 38 39 40 41 43 45 47 49 53 55 56 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 107 108 110 111 112 113 115 119 122 124 128
a 1 19 24 25 29 30 35 37 38 39 40 41 43 45 47 49 53 55 56 59 68 69 71 73 80 81 83 85 91 92 95 97 98 100 102 107 108 110 111 112 113 115 119 122 124 129
a 1 19 24 25 29 30 35 37 38 39 40 41 43 45 47 49 53 55 56 59 68 69 71 80 81 83 85 91 92 95 97 98 100 102 107 108 110 111 112 113 115 119 122 124 128 129
a 19 24 25 29 30 35 37 38 39 40 41 43 45 47 49 53 55 56 59 68 69 71 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 128 129
a 19 25 29 30 35 37 38 39 40 41 43 45 47 49 53 55 56 59 68 69 71 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 128 129
a 19 25 29 30 35 37 38 39 40 41 43 45 47 49 53 55 56 58 59 69 71 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 128 129
a 19 25 29 30 35 37 39 40 41 43 45 47 49 53 55 56 58 59 69 71 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 128 129 134
a 19 24 25 29 30 35 37 39 40 43 45 47 49 53 55 56 58 59 69 71 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 128 129 134
a 19 24 25 29 30 35 37 39 40 43 45 47 49 53 55 56 58 59 69 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 128 129 130 134
a 19 24 25 29 30 35 37 39 40 43 45 47 49 53 55 56 58 59 69 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 129 130 134
a 19 24 25 29 30 35 37 39 40 43 45 47 48 49 53 55 56 58 69 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 129 130 134
a 19 24 25 29 30 35 37 39 40 43 47 48 49 53 55 56 58 69 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 110 111 112 113 115 119 122 124 126 129 130 134 141
a 19 24 25 29 30 35 37 39 40 43 47 48 49 53 56 58 69 73 80 81 83 85 91 92 95 97 98 100 102 105 107 108 109 110 111 112 113 115 119 122 124 126 129 130 134 141
a 19 24 25 27 29 30 35 37 39 40 43 47 48 49 53 56 58 69 73 80 81 83 85 91 92 95 97 98 100 102 105 108 109 110 111 112 113 115 119 122 124 126 129 130 134 141
a 19 24 25 27 29 30 35 37 39 40 43 47 48 49 53 56 58 69 73 80 81 83 85 91 92 95 97 98 100 102 105 108 109 110 111 112 113 115 119 121 122 124 129 130 134 141
a 19 24 25 27 29 30 34 35 37 39 40 43 47 48 49 53 56 58 69 73 80 81 83 85 91 92 95 97 98 100 102 105 109 110 111 112 113 115 119 121 122 124 129 130 134 141
a 19 25 27 29 30 34 35 37 39 40 43 47 48 49 53 56 58 69 73 77 80 81 83 85 91 92 95 97 98 100 102 105 109 110 111 112 113 115 119 121 122 124 129 130 134 141
a 19 25 27 29 30 34 35 37 39 40 47 48 49 53 56 58 69 73 77 80 81 83 85 91 92 95 97 98 100 102 105 109 110 111 112 113 115 119 121 122 124 129 130 134 138 141
a 19 25 27 29 30 34 35 37 39 40 47 48 49 50 53 56 58 69 73 77 80 81 85 91 92 95 97 98 100 102 105 109 110 111 112 113 115 119 121 122 124 129 130 134 138 141
a 6 19 25 27 29 30 34 35 37 39 40 47 48 49 50 53 56 58 69 73 77 80 81 85 91 92 95 97 98 100 105 109 110 111 112 113 115 119 121 122 124 129 130 134 138 141
a 6 19 25 27 29 30 34 35 37 39 40 47 48 49 50 53 56 58 63 69 73 77 80 81 91 92 95 97 98 100 105 109 110 111 112 113 115 119 121 122 124 129 130 134 138 141
a 6 8 19 25 27 29 30 34 35 37 39 40 47 48 49 50 53 56 58 63 69 73 77 80 81 91 92 95 97 98 100 105 109 110 111 112 113 115 121 122 124 129 130 134 138 141
a 6 8 19 27 29 30 34 35 37 39 40 47 48 49 50 53 56 58 63 64 69 73 77 80 81 91 92 95 97 98 100 105 109 110 111 112 113 115 121 122 124 129 130 134 138 141
a 6 8 19 27 29 30 34 35 37 39 40 47 48 49 50 53 56 58 63 64 69 70 73 77 80 91 92 95 97 98 100 105 109 110 111 112 113 115 121 122 124 129 130 134 138 141
a 6 8 19 27 30 34 35 37 39 40 47 48 49 50 51 53 56 58 63 64 69 70 73 77 80 91 92 95 97 98 100 105 109 110 111 112 113 115 121 122 124 129 130 134 138 141
a 6 8 19 27 30 34 35 37 39 40 44 47 48 49 50 51 53 56 58 63 64 69 70 73 77 80 91 95 97 98 100 105 109 110 111 112 113 115 121 122 124 129 130 134 138 141
a 6 8 19 27 30 34 35 37 39 44 47 48 49 50 51 53 56 58 63 64 67 69 70 73 77 80 91 95 97 98 100 105 109 110 111 112 113 115 121 122 124 129 130 134 138 141
a 6 8 19 27 30 34 35 37 39 44 47 48 49 50 51 53 56 58 63 64 67 69 70 73 77 80 87 91 95 98 100 105 109 110 111 112 113 115 121 122 124 129 130 134 138 141
a 6 8 19 27 30 34 35 39 44 47 48 49 50 51 53 56 58 63 64 67 69 70 73 77 79 80 87 91 95 98 100 105 109 110 111 112 113 115 121 122 124 129 130 134 138 141
a 6 8 19 22 27 30 34 35 39 44 47 48 49 50 51 53 56 58 63 64 67 69 70 73 77 79 80 87 91 95 98 100 105 109 110 111 112 113 115 121 124 129 130 134 138 141
a 6 8 17 19 22 27 30 34 35 39 44 47 48 49 50 51 53 56 58 63 64 67 69 70 73 77 79 80 87 91 98 100 105 109 110 111 112 113 115 121 124 129 130 134 138 141
a 6 8 17 19 22 27 30 34 35 39 44 47 48 49 50 51 53 56 58 63 64 67 69 70 73 77 79 80 87 91 98 100 105 109 111 112 113 115 121 124 129 130 134 136 138 141
c Step: 211
#END: [Mon Sep  4 22:15:34 2023]