#BEGIN: [Thu Aug 31 16:01:07 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/DSJC250.1.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/DSJC250.1_02.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/DSJC250.1.col /benchmark/2022benchmark/benchmark/color04/DSJC250.1_02.dat
c /benchmark/2022benchmark/benchmark/color04/DSJC250.1.col
c /benchmark/2022benchmark/benchmark/color04/DSJC250.1_02.dat
TIMEOUT 1800
c send SIGTERM to CID 80a1f0b8d618aabd72c079b9a89d43fe47419cce4ea0ae45b88732dfc30b22b3
s 3 4 11 12 15 21 22 23 38 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250 
t 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a YES
a 3 4 11 12 15 21 22 23 38 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 187 192 193 194 203 207 209 216 218 226 228 229 241 246
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 73 77 78 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 241 246 250
a 4 11 12 13 15 21 22 23 38 47 54 55 60 63 64 67 73 77 78 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 241 246 250
a 4 11 12 13 15 21 22 23 38 47 54 60 63 64 67 73 77 78 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 241 246 250
a 4 10 11 12 13 15 21 22 23 38 47 54 60 63 64 67 73 77 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 241 246 250
a 3 4 10 11 12 15 21 22 23 38 47 54 60 63 64 67 73 77 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 73 77 78 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 73 77 78 99 131 140 152 163 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 131 140 152 163 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 228 229 241 246 250
a 3 4 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 82 93 99 125 131 140 152 165 166 170 180 185 192 193 194 203 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 226 228 229 241 246 250
a 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 4 11 12 13 15 21 22 23 38 47 54 55 60 63 64 67 77 78 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 167 170 180 185 192 193 194 203 207 209 212 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 209 216 218 226 228 229 239 241 246 250
a 3 4 11 12 15 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 209 216 218 226 228 229 233 239 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 209 216 218 226 228 229 233 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 209 211 216 218 226 228 229 233 246 250
a 3 4 11 12 15 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 209 211 216 218 226 228 229 233 239 246 250
a 3 4 11 12 15 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 209 211 216 218 226 228 229 239 241 246 250
a 3 4 11 12 15 22 23 38 47 60 63 64 67 77 78 93 99 111 125 131 140 152 165 166 167 170 180 185 192 193 194 203 209 211 216 218 226 228 229 239 241 246 250
a 3 4 11 12 15 22 23 38 47 60 63 64 67 77 78 93 99 111 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 22 23 38 47 55 60 63 64 67 77 78 93 99 111 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 140 152 165 166 167 170 180 185 192 193 194 203 207 209 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 140 152 165 166 167 170 180 181 185 192 193 194 203 207 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 211 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 228 229 241 246 250
a 3 4 11 12 15 21 22 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 228 229 241 246 247 250
a 3 4 11 12 15 21 22 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 152 165 167 170 180 185 192 193 194 203 207 209 212 216 218 228 229 241 246 247 250
a 3 4 11 12 15 21 22 38 47 54 55 60 63 64 67 75 77 78 93 99 125 131 140 152 165 167 170 180 185 192 193 194 203 207 209 212 216 218 228 229 246 247 250
a 3 4 8 11 12 21 22 38 47 54 55 60 63 64 67 75 77 78 93 99 125 131 140 152 165 167 170 180 185 192 193 194 203 207 209 212 216 218 228 229 246 247 250
a 3 4 8 11 12 21 22 38 47 54 55 60 63 64 67 75 77 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 228 229 246 247 250
a 3 4 8 11 12 21 22 26 38 47 54 55 60 63 64 67 75 77 78 93 99 125 131 140 152 165 166 167 170 185 192 193 194 203 207 209 216 218 228 229 246 247 250
a 3 4 8 11 12 21 22 26 38 47 54 55 60 63 64 67 70 75 77 78 93 99 125 131 140 152 165 166 167 170 192 193 194 203 207 209 216 218 228 229 246 247 250
a 3 4 8 11 12 21 22 26 38 47 54 55 60 63 64 67 70 75 77 78 93 99 125 131 140 152 165 167 170 192 193 194 203 207 209 212 216 218 228 229 246 247 250
a 3 4 8 11 12 21 22 26 38 47 54 55 60 63 64 67 75 77 78 93 99 125 131 140 152 165 167 170 185 192 193 194 203 207 209 212 216 218 228 229 246 247 250
a 3 4 8 11 12 21 22 26 38 47 54 55 60 63 64 67 75 78 93 99 125 131 140 152 165 167 170 178 185 192 193 194 203 207 209 212 216 218 228 229 246 247 250
a 3 4 8 11 12 21 22 26 38 47 54 55 60 63 67 75 78 92 93 99 125 131 140 152 165 167 170 178 185 192 193 194 203 207 209 212 216 218 228 229 246 247 250
a 4 8 11 12 21 22 26 38 47 54 55 60 63 67 75 78 92 93 94 99 125 131 140 152 165 167 170 178 185 192 193 194 203 207 209 212 216 218 228 229 246 247 250
a 4 8 11 12 21 22 26 38 47 54 55 60 63 64 67 75 78 93 94 99 125 131 140 152 165 167 170 178 185 192 193 194 203 207 209 212 216 218 228 229 246 247 250
a 4 8 11 12 21 22 26 38 47 54 55 60 63 64 67 70 75 78 93 94 99 125 131 140 152 165 167 170 178 192 193 194 203 207 209 212 216 218 228 229 246 247 250
a 4 8 11 12 21 22 26 38 47 54 55 60 63 67 70 75 78 92 93 94 99 125 131 140 152 165 167 170 178 192 193 194 203 207 209 212 216 218 228 229 246 247 250
a 3 4 8 11 12 21 22 26 38 47 54 55 60 63 67 70 75 78 92 93 99 125 131 140 152 165 167 170 178 192 193 194 203 207 209 212 216 218 228 229 246 247 250
a 4 8 11 12 21 22 26 38 47 54 55 60 63 67 70 75 78 92 93 99 125 131 140 152 165 167 170 178 192 193 194 203 207 209 212 216 218 221 228 229 246 247 250
a 4 8 11 12 21 22 26 38 47 54 55 59 60 67 70 75 78 92 93 99 125 131 140 152 165 167 170 178 192 193 194 203 207 209 212 216 218 221 228 229 246 247 250
a 4 8 11 12 21 22 26 38 47 54 55 59 60 67 70 75 92 93 99 125 131 140 152 165 167 170 178 184 192 193 194 203 207 209 212 216 218 221 228 229 246 247 250
a 2 4 8 11 12 21 22 26 38 47 54 55 59 60 67 70 75 92 93 99 125 131 140 152 165 167 170 178 184 192 193 194 203 207 209 212 216 221 228 229 246 247 250
a 2 4 8 11 12 21 22 26 38 47 54 55 60 63 67 70 75 92 93 99 125 131 140 152 165 167 170 178 184 192 193 194 203 207 209 212 216 221 228 229 246 247 250
a 2 4 8 11 12 21 22 38 47 48 54 55 60 63 67 70 75 92 93 99 125 131 140 152 165 167 170 178 184 192 193 194 203 207 209 212 216 221 228 229 246 247 250
a 2 4 8 11 12 21 22 38 47 48 54 55 60 63 67 75 92 93 99 125 131 140 152 165 167 170 178 184 185 192 193 194 203 207 209 212 216 221 228 229 246 247 250
a 2 4 8 11 12 13 21 22 38 47 48 54 55 60 63 67 75 92 99 125 131 140 152 165 167 170 178 184 185 192 193 194 203 207 209 212 216 221 228 229 246 247 250
a 2 4 8 11 12 13 21 22 25 38 47 48 54 55 60 63 75 92 99 125 131 140 152 165 167 170 178 184 185 192 193 194 203 207 209 212 216 221 228 229 246 247 250
a 2 4 11 12 13 21 22 25 38 47 48 54 55 60 63 75 92 99 125 131 140 152 165 167 170 178 180 184 185 192 193 194 203 207 209 212 216 221 228 229 246 247 250
a 2 4 8 11 12 13 21 22 25 38 47 48 54 55 60 63 75 92 99 125 131 140 152 165 167 170 178 180 184 185 192 193 194 203 207 209 212 216 228 229 246 247 250
a 2 4 11 12 13 15 21 22 25 38 47 48 54 55 60 63 75 92 99 125 131 140 152 165 167 170 178 180 184 185 192 193 194 203 207 209 212 216 228 229 246 247 250
a 2 4 11 12 13 15 21 22 25 38 47 48 54 55 60 63 73 75 92 99 125 131 140 152 165 167 170 178 180 184 185 192 193 194 203 207 209 212 216 228 246 247 250
a 2 4 11 12 13 15 21 22 38 47 48 54 55 60 63 67 73 75 92 99 125 131 140 152 165 167 170 178 180 184 185 192 193 194 203 207 209 212 216 228 246 247 250
a 2 4 11 12 13 15 21 22 38 47 48 54 55 60 63 64 67 73 75 99 125 131 140 152 165 167 170 178 180 184 185 192 193 194 203 207 209 212 216 228 246 247 250
a 2 4 11 12 13 15 21 22 38 47 48 54 55 60 63 64 67 73 75 94 99 125 131 140 152 165 167 170 178 180 184 185 192 194 203 207 209 212 216 228 246 247 250
a 2 4 11 12 13 15 21 22 38 47 48 54 55 60 63 67 73 75 92 94 99 125 131 140 152 165 167 170 178 180 184 185 192 194 203 207 209 212 216 228 246 247 250
a 2 4 8 11 12 13 21 22 38 47 48 54 55 60 63 67 73 75 92 94 99 125 131 140 152 165 167 170 178 180 184 185 192 194 203 207 209 212 216 228 246 247 250
a 2 4 8 11 12 13 21 22 38 47 48 54 55 60 63 67 75 92 94 99 125 131 140 152 165 167 170 178 180 184 185 192 193 194 203 207 209 212 216 228 246 247 250
a 2 4 11 12 13 15 21 22 38 47 48 54 55 60 63 67 75 92 94 99 125 131 140 152 165 167 170 178 180 184 185 192 193 194 203 207 209 212 216 228 246 247 250
a 2 4 11 12 15 21 22 38 47 48 54 55 60 63 67 75 92 93 94 99 125 131 140 152 165 167 170 178 180 184 185 192 193 194 203 207 209 212 216 228 246 247 250
a 2 4 11 12 15 21 22 38 47 48 54 55 60 63 67 73 75 92 94 99 125 131 140 152 165 167 170 178 180 184 185 192 193 194 203 207 209 212 216 228 246 247 250
a 2 4 11 12 15 21 22 38 47 48 54 55 60 63 67 73 75 92 99 125 131 140 152 165 167 170 178 180 184 185 192 193 194 203 207 209 212 216 221 228 246 247 250
a 2 4 11 12 15 21 22 38 47 48 54 55 60 63 67 75 92 99 125 131 140 152 165 167 170 178 180 184 185 192 193 194 203 207 209 212 216 221 228 229 246 247 250
a 4 11 12 15 21 22 38 47 48 54 55 60 63 67 75 92 93 99 125 131 140 152 165 167 170 178 180 184 185 192 193 194 203 207 209 212 216 221 228 229 246 247 250
a 4 11 12 15 21 22 38 47 48 54 55 60 63 67 75 78 92 93 99 125 131 140 152 165 167 170 178 180 185 192 193 194 203 207 209 212 216 221 228 229 246 247 250
a 4 11 12 15 21 22 38 47 54 55 60 63 67 75 78 92 93 99 125 131 140 152 165 167 170 178 180 185 192 193 194 203 207 209 212 216 218 221 228 229 246 247 250
a 3 4 11 12 15 21 22 38 47 54 55 60 63 67 75 78 92 93 99 125 131 140 152 165 167 170 178 180 185 192 193 194 203 207 209 212 216 218 228 229 246 247 250
a 3 4 11 12 15 21 22 38 47 54 55 60 63 67 78 92 93 99 125 131 140 152 165 167 170 178 180 185 192 193 194 203 207 209 212 216 218 228 229 241 246 247 250
a 3 4 11 12 15 21 22 38 47 54 55 60 63 64 67 78 93 99 125 131 140 152 165 167 170 178 180 185 192 193 194 203 207 209 212 216 218 228 229 241 246 247 250
a 3 4 11 12 15 21 22 38 47 54 55 60 63 64 67 78 93 99 125 131 140 152 165 167 170 178 180 185 192 193 194 203 207 209 212 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 78 93 99 125 131 140 152 165 167 170 178 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 78 93 99 125 131 140 152 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
a 3 4 11 12 15 21 22 23 38 47 54 55 60 63 64 67 77 78 93 99 125 131 140 165 166 167 170 180 185 192 193 194 203 207 209 216 218 226 228 229 241 246 250
c Step: 127
#END: [Thu Aug 31 16:31:07 2023]