#BEGIN: [Mon Sep 4 15:11:17 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest1 #INSTANCE1: /benchmark/random_instance/random_instance002_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance002_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 /benchmark/random_instance/random_instance002_graph002.col /benchmark/random_instance/random_instance002_graph002_01.dat c /benchmark/random_instance/random_instance002_graph002.col c /benchmark/random_instance/random_instance002_graph002_01.dat TIMEOUT 1800 c send SIGTERM to CID 79dd3097c4142a1ca595ecb33d6fd401f1e2b78d343233db36c7dd388048f0fe s 2 25 15 12 3 24 7 t 17 4 19 1 25 2 7 a YES a 2 3 7 12 15 24 25 a 2 3 12 13 15 24 25 a 2 3 12 13 15 24 26 a 2 3 7 12 15 24 26 a 2 3 7 8 12 24 26 a 2 3 7 8 12 17 24 a 1 2 3 7 8 12 17 a 1 2 3 7 8 12 24 a 1 2 3 7 12 24 26 a 1 2 3 7 12 24 25 a 1 3 7 12 17 24 25 a 1 3 5 7 12 24 25 a 3 5 7 12 17 24 25 a 1 3 5 7 12 17 24 a 1 3 5 7 17 24 25 a 1 5 7 11 17 24 25 a 1 7 11 12 17 24 25 a 1 7 8 11 12 17 24 a 1 5 7 8 12 17 24 a 1 3 5 7 8 17 24 a 1 4 5 7 8 17 24 a 1 2 4 7 8 17 24 a 1 2 4 7 8 17 19 a 2 4 7 8 17 19 21 a 2 4 7 8 14 17 21 a 2 4 7 8 14 17 19 a 2 4 7 14 17 19 21 a 2 7 8 14 17 19 21 a 5 7 8 14 17 19 21 a 1 5 7 8 17 19 21 a 1 5 7 8 14 17 21 a 1 4 5 7 8 14 21 a 1 4 5 7 8 14 17 a 1 4 5 8 14 17 24 a 1 5 8 11 14 17 24 a 1 5 7 8 11 14 17 a 1 5 7 8 14 17 24 a 1 5 7 14 17 21 24 a 1 4 5 14 17 21 24 a 1 4 5 13 14 21 24 a 1 4 5 9 13 14 24 a 1 4 5 8 9 13 14 a 4 5 8 9 13 14 24 a 4 5 8 9 14 17 24 a 4 5 8 9 13 14 17 a 4 5 8 9 13 14 16 a 4 5 8 9 13 16 17 a 4 5 8 13 16 17 21 a 4 5 8 16 17 21 24 a 4 5 8 13 16 17 24 a 4 5 13 16 17 21 24 a 4 5 13 14 16 17 24 a 3 5 13 14 16 17 24 a 1 3 5 13 14 17 24 a 1 3 5 8 13 14 24 a 1 3 5 8 13 14 17 a 3 5 8 13 14 16 17 a 3 5 8 14 16 17 21 a 1 3 5 8 14 17 21 a 1 3 8 14 17 21 24 a 1 3 8 13 14 17 24 a 1 8 13 14 17 21 24 a 1 2 8 13 17 21 24 a 1 2 8 13 14 17 24 a 2 8 13 14 16 17 24 a 8 13 14 16 17 21 24 a 2 13 14 16 17 21 24 a 2 3 13 14 16 17 24 a 3 8 13 14 16 17 24 a 4 8 13 14 16 17 24 a 4 8 13 14 16 17 21 a 4 8 13 16 17 21 24 a 4 5 8 13 17 21 24 a 4 5 8 13 16 21 24 a 4 5 8 14 16 21 24 a 4 5 8 14 17 21 24 a 1 4 8 14 17 21 24 a 1 2 4 14 17 21 24 a 1 2 4 13 14 17 24 a 1 2 4 13 14 21 24 a 1 2 4 8 13 21 24 a 1 2 4 8 13 14 24 a 1 2 4 8 13 14 17 a 1 2 8 11 13 14 17 a 1 5 8 11 13 14 17 a 1 5 8 9 11 14 17 a 1 5 8 9 11 13 14 a 1 8 9 11 13 14 17 a 1 4 8 9 13 14 17 a 1 4 5 8 13 14 17 a 4 5 8 13 14 17 24 a 4 8 9 13 14 17 24 a 4 5 9 13 14 17 24 a 5 8 9 13 14 17 24 a 8 9 13 14 16 17 24 a 4 8 9 13 14 16 24 a 4 5 9 13 14 16 24 a 5 8 9 13 14 16 24 a 5 8 13 14 16 17 24 a 3 5 8 14 16 17 24 a 3 5 8 13 14 16 24 a 3 8 13 14 16 21 24 a 3 8 13 14 17 21 24 a 4 8 13 14 17 21 24 a 2 4 8 13 14 17 21 a 1 2 4 8 13 14 21 a 1 2 4 7 8 14 21 a 1 2 4 8 14 19 21 a 2 4 7 8 14 19 21 a 1 2 4 7 8 14 19 a 1 2 4 7 8 19 21 a 2 4 7 8 19 21 22 a 2 4 8 14 19 21 22 a 2 4 7 8 14 19 22 a 4 7 8 14 19 21 22 a 4 7 8 14 17 19 21 a 1 7 8 14 17 19 21 a 1 4 7 8 14 17 19 a 1 2 4 7 14 17 19 a 1 2 4 7 14 17 21 a 2 4 7 14 17 21 24 a 2 4 7 8 14 17 24 a 2 4 7 8 14 21 24 a 2 4 7 8 14 21 22 a 1 4 7 8 14 21 22 a 1 2 4 7 8 21 22 a 1 2 7 8 19 21 22 a 1 4 7 8 19 21 22 a 1 4 7 8 17 19 21 a 1 4 5 7 8 17 21 a 4 5 7 8 17 21 24 a 4 5 7 8 14 21 24 a 4 5 7 8 14 17 24 a 4 5 7 8 14 17 19 a 5 7 8 11 14 17 19 a 2 7 8 11 14 17 19 a 1 2 7 11 14 17 19 a 1 2 7 14 17 19 21 a 1 2 7 8 14 19 21 a 1 2 4 7 14 19 21 a 1 4 7 14 17 19 21 a 1 2 4 7 17 19 21 a 1 2 4 14 17 19 21 a 1 2 4 13 14 17 21 a 1 4 13 14 17 21 24 a 1 2 4 13 17 21 24 a 1 2 13 14 17 21 24 a 1 2 7 14 17 21 24 a 1 2 4 7 14 17 24 a 1 2 4 7 8 14 24 a 1 2 4 8 14 17 24 a 1 2 8 14 17 21 24 a 1 2 4 8 14 17 21 a 1 4 7 8 14 17 21 a 1 4 8 14 17 19 21 a 1 4 7 8 14 19 21 a 1 7 8 14 19 21 22 a 1 5 8 14 19 21 22 a 1 5 7 8 14 19 21 a 1 4 5 8 14 19 21 a 1 4 5 7 8 14 19 a 4 5 7 8 14 19 21 a 1 4 5 7 8 19 21 a 1 4 5 7 19 21 22 a 1 4 5 8 19 21 22 a 1 4 5 7 8 19 22 a 1 2 4 7 8 19 22 a 1 4 7 8 14 19 22 a 1 4 8 14 19 21 22 a 4 5 8 14 19 21 22 a 4 5 8 14 16 21 22 a 4 5 8 14 16 17 21 a 5 8 13 14 16 17 21 a 2 8 13 14 16 17 21 a 2 8 13 14 16 21 24 a 2 4 8 13 14 16 24 a 2 4 8 13 14 16 17 a 2 4 8 14 16 17 21 a 2 4 13 14 16 17 21 a 2 3 13 14 16 17 21 a 2 3 8 13 14 17 21 a 2 3 8 13 14 17 24 a 2 8 11 13 14 17 24 a 1 8 11 13 14 17 24 a 1 5 8 11 13 17 24 a 1 5 11 12 13 17 24 a 1 5 8 11 12 17 24 a 1 5 8 9 11 17 24 a 1 5 8 9 11 13 17 a 5 8 9 11 13 17 24 a 5 8 9 11 12 13 24 a 5 8 9 11 12 13 17 a 5 9 11 12 13 17 24 a 1 5 9 11 12 13 24 a 1 5 9 12 13 17 24 a 1 5 9 13 14 17 24 a 1 4 9 13 14 17 24 a 1 9 11 13 14 17 24 a 1 8 9 13 14 17 24 a 1 5 8 9 13 17 24 a 1 5 8 13 17 21 24 a 1 5 8 13 14 17 21 a 1 4 8 13 14 17 21 a 4 5 8 13 14 17 21 a 4 5 7 8 14 17 21 a 1 4 5 8 14 17 21 a 1 4 5 8 17 21 24 a 1 5 8 14 17 21 24 a 1 3 5 8 14 21 24 a 1 3 5 8 14 21 22 a 1 4 5 8 14 21 22 a 1 5 7 8 14 21 22 a 5 7 8 14 20 21 22 a 5 7 8 14 19 21 22 a 3 5 7 8 14 21 22 a 1 3 7 8 14 21 22 a 1 2 7 8 14 21 22 a 1 2 3 7 8 14 21 a 1 2 3 7 8 14 22 a 1 2 3 7 8 12 22 a 2 3 7 8 12 22 26 a 2 3 7 8 20 22 26 a 1 2 3 7 8 22 26 a 1 2 7 8 21 22 26 a 1 2 4 7 8 21 26 a 2 4 7 8 20 21 26 a 2 4 7 8 20 21 24 a 2 4 7 8 21 24 26 a 2 4 7 8 20 24 26 a 2 4 7 8 20 22 26 a 2 4 7 8 20 21 22 a 2 4 7 8 21 22 26 a 1 2 4 7 8 22 26 a 1 2 4 7 8 24 26 a 1 2 7 8 21 24 26 a 1 2 7 8 17 21 24 a 1 2 7 8 17 19 21 a 1 2 7 8 14 17 21 a 2 7 8 14 17 21 24 a 2 3 7 8 14 17 21 a 2 3 7 8 14 17 24 a 2 3 7 8 14 21 24 a 2 3 7 8 21 24 26 a 1 2 3 7 8 21 26 a 1 2 3 7 8 21 24 a 1 2 3 8 21 24 26 a 2 3 8 16 21 24 26 a 3 8 13 16 21 24 26 a 2 3 8 13 16 21 26 a 2 3 8 13 16 24 26 a 2 3 8 13 20 24 26 a 3 8 13 20 21 24 26 a 2 3 8 13 21 24 26 a 2 3 8 13 14 21 24 a 2 3 8 13 14 16 21 a 2 3 8 13 16 21 24 a 3 8 13 16 17 21 24 a 2 3 8 13 17 21 24 a 2 3 8 13 16 17 21 a 2 3 8 13 14 16 17 a 1 2 3 8 13 14 17 a 1 2 3 13 14 17 24 a 1 2 3 8 13 14 24 a 1 2 3 8 13 14 21 a 2 3 8 13 14 20 21 a 2 3 8 13 14 20 24 a 2 3 8 13 14 16 24 a 2 3 8 14 16 17 24 a 2 3 8 14 16 21 24 a 2 3 14 16 17 21 24 a 2 4 14 16 17 21 24 a 2 4 8 14 17 21 24 a 2 4 8 13 17 21 24 a 2 4 8 13 16 21 24 a 4 8 13 14 16 21 24 a 2 4 8 13 14 16 21 a 4 5 8 13 14 16 21 a 4 5 8 13 14 20 21 a 5 8 13 14 20 21 24 a 3 5 8 13 14 20 24 a 3 5 8 12 13 20 24 a 1 3 5 8 12 13 24 a 1 3 5 7 8 12 24 a 1 3 7 8 12 24 26 a 1 3 7 8 21 24 26 a 1 3 7 8 14 21 24 a 1 4 7 8 14 21 24 a 4 7 8 14 17 21 24 a 4 5 7 14 17 21 24 a 5 7 8 14 17 21 24 a 5 7 8 11 14 17 24 a 1 5 7 11 14 17 24 a 1 7 8 11 14 17 24 a 1 4 7 8 14 17 24 a 1 2 7 8 14 17 24 a 1 2 8 11 14 17 24 a 1 8 9 11 14 17 24 a 1 8 9 11 12 17 24 a 1 9 11 12 13 17 24 a 8 9 11 12 13 17 24 a 1 8 11 12 13 17 24 a 5 8 11 12 13 17 24 a 2 8 11 12 13 17 24 a 1 2 8 12 13 17 24 a 1 2 3 8 12 13 24 a 2 3 8 12 13 20 24 a 2 3 8 12 13 17 24 a 2 3 8 13 16 17 24 a 3 5 8 13 16 17 24 a 3 5 8 16 17 21 24 a 3 5 7 8 17 21 24 a 3 5 7 8 14 17 21 a 3 5 8 13 14 17 21 a 3 5 8 13 14 17 24 a 3 5 8 14 17 21 24 a 3 5 7 8 14 21 24 a 3 7 8 14 17 21 24 a 3 8 14 16 17 21 24 a 3 8 13 14 16 17 21 a 3 13 14 16 17 21 24 a 4 13 14 16 17 21 24 a 4 5 13 14 16 17 21 a 4 5 9 13 14 16 17 a 4 5 9 13 16 17 24 a 1 4 5 9 13 17 24 a 1 4 5 13 14 17 24 a 1 4 8 13 14 17 24 a 1 4 8 13 17 21 24 a 1 3 8 13 17 21 24 a 1 2 3 13 17 21 24 a 1 3 5 13 17 21 24 a 3 5 13 16 17 21 24 a 3 5 13 14 16 21 24 a 3 5 14 16 17 21 24 a 3 5 8 14 16 21 24 a 3 8 14 16 18 21 24 a 2 3 8 14 16 18 21 a 2 3 8 14 16 18 24 a 2 8 14 16 18 21 24 a 2 3 8 16 18 21 24 a 2 3 8 16 18 21 22 a 3 8 14 16 18 21 22 a 3 5 8 14 16 21 22 a 3 5 8 14 20 21 22 a 3 5 8 14 20 21 24 a 3 7 8 14 20 21 24 a 3 7 8 14 20 21 22 a 2 7 8 14 20 21 22 a 2 3 7 8 14 21 22 a 2 3 7 8 14 20 21 a 2 4 7 8 14 20 21 a 4 7 8 14 20 21 22 a 4 5 7 8 14 20 21 a 4 7 8 14 20 21 24 a 2 4 7 8 14 20 24 a 2 3 7 8 14 20 24 a 3 5 7 8 14 20 24 a 3 5 7 8 12 20 24 a 3 5 7 8 12 17 24 a 1 3 7 8 12 17 24 a 1 2 3 7 12 17 24 a 1 2 7 8 12 17 24 a 1 2 7 8 11 12 24 a 1 2 8 11 12 13 24 a 1 8 11 12 13 24 26 a 8 11 12 13 20 24 26 a 9 11 12 13 20 24 26 a 8 9 11 12 13 24 26 a 1 8 9 11 12 13 24 a 1 8 9 11 12 13 17 a 1 8 9 12 13 17 24 a 1 4 8 9 13 17 24 a 1 4 8 9 14 17 24 a 1 4 8 9 13 14 24 a 1 4 5 8 9 14 24 a 1 5 8 9 13 14 24 a 5 8 9 13 14 20 24 a 4 5 8 9 13 20 24 a 4 5 8 9 14 20 24 a 4 5 8 9 14 16 24 a 4 5 8 9 13 16 24 a 5 8 9 13 16 17 24 a 4 8 9 13 16 17 24 a 4 5 8 9 13 17 24 a 4 5 8 9 16 17 24 a 4 8 9 14 16 17 24 a 4 8 9 13 14 16 17 a 4 9 13 14 16 17 24 a 5 9 13 14 16 17 24 a 5 9 13 16 17 24 25 a 1 5 9 13 17 24 25 a 1 4 5 9 13 17 25 a 4 5 9 13 16 17 25 a 4 5 9 13 17 24 25 a 4 5 9 13 16 24 25 a 4 5 13 16 17 24 25 a 2 4 13 16 17 24 25 a 2 4 13 16 17 21 24 a 2 4 8 13 16 17 24 a 2 4 8 13 16 17 21 a 2 8 13 16 17 21 24 a 2 8 13 16 21 24 26 a 2 4 8 13 21 24 26 a 2 4 8 20 21 24 26 a 2 4 7 20 21 24 26 a 4 7 8 20 21 24 26 a 4 7 8 20 21 22 26 a 2 7 8 20 21 22 26 a 2 7 8 21 22 23 26 a 1 7 8 21 22 23 26 a 7 8 20 21 22 23 26 a 7 8 12 20 22 23 26 a 2 7 8 12 22 23 26 a 1 2 7 8 12 22 26 a 1 3 7 8 12 22 26 a 1 3 7 8 21 22 26 a 1 3 5 7 8 21 22 a 1 3 5 7 8 14 22 a 1 4 5 7 8 14 22 a 1 4 5 7 14 21 22 a 1 2 4 7 14 21 22 a 1 2 4 14 19 21 22 a 1 2 8 14 19 21 22 a 1 2 7 8 14 19 22 a 1 2 4 7 14 19 22 a 1 4 7 14 19 21 22 a 1 2 4 7 19 21 22 a 1 2 7 14 19 21 22 a 2 7 8 14 19 21 22 a 2 8 14 18 19 21 22 a 1 8 14 18 19 21 22 a 1 2 14 18 19 21 22 a 1 2 8 14 18 21 22 a 1 2 8 14 18 21 24 a 1 2 3 8 14 21 24 a 2 3 8 14 17 21 24 a 2 8 13 14 17 21 24 a 1 2 8 13 14 17 21 a 1 2 8 13 14 21 24 a 1 2 8 11 13 14 24 a 1 8 9 11 13 14 24 a 8 9 11 13 14 17 24 a 5 9 11 13 14 17 24 a 1 5 9 11 13 17 24 a 1 5 9 11 13 17 25 a 1 5 9 11 12 13 25 a 1 5 9 11 12 17 25 a 1 5 11 12 13 17 25 a 5 9 11 12 13 17 25 a 9 11 12 13 17 24 25 a 1 9 12 13 17 24 25 a 1 11 12 13 17 24 25 a 1 2 12 13 17 24 25 a 1 5 12 13 17 24 25 a 1 5 9 12 17 24 25 a 1 5 8 9 12 17 24 a 5 8 9 11 12 17 24 a 5 8 9 12 13 17 24 a 1 5 8 12 13 17 24 a 1 4 5 8 13 17 24 a 1 4 5 8 13 14 24 a 1 4 5 8 9 13 24 a 1 5 8 9 11 13 24 a 1 8 9 11 13 17 24 a 1 8 9 11 13 24 26 a 1 8 9 11 12 13 26 a 1 8 9 12 13 24 26 a 1 5 8 9 12 13 24 a 1 5 8 9 11 12 24 a 1 5 9 11 12 17 24 a 1 5 9 11 12 13 17 a 1 5 9 11 13 14 17 a 1 5 9 11 14 17 19 a 1 5 9 11 14 17 24 a 1 5 9 11 13 14 24 a 5 8 9 11 13 14 24 a 5 8 9 11 14 17 24 a 5 8 11 13 14 17 24 a 5 8 11 13 14 20 24 a 5 8 11 12 13 20 24 a 1 5 8 11 12 13 24 a 1 5 8 9 11 12 13 a 1 5 8 11 12 13 17 a 1 5 7 8 11 12 17 a 1 5 7 8 11 17 24 a 1 5 7 8 11 17 19 a 1 7 8 11 14 17 19 a 1 2 7 8 14 17 19 a 1 2 8 14 17 19 21 a 1 2 4 8 17 19 21 a 2 4 8 14 17 19 21 a 1 2 4 8 14 17 19 a 1 2 4 8 14 19 22 a 1 4 8 9 14 19 22 a 1 4 8 9 14 17 19 a 1 4 5 8 9 14 19 a 1 5 8 9 11 14 19 a 1 5 8 9 14 19 22 a 1 5 8 9 14 17 19 a 1 5 8 11 14 17 19 a 1 5 7 11 14 17 19 a 1 5 7 11 17 19 25 a 1 5 7 11 12 17 25 a 1 5 7 11 12 24 25 a 1 5 7 8 11 12 24 a 1 5 7 11 12 17 24 a 5 7 8 11 12 17 24 a 2 7 8 11 12 17 24 a 1 2 8 11 12 17 24 a 1 2 3 8 12 17 24 a 1 2 3 8 14 17 24 a 1 2 3 7 8 14 17 a 1 2 7 8 11 14 17 a 1 2 7 8 11 17 24 a 1 2 7 11 14 17 24 a 1 2 7 8 11 14 24 a 1 2 7 8 11 24 26 a 2 7 8 11 12 24 26 a 2 8 11 12 20 24 26 a 2 3 8 12 20 24 26 a 2 3 8 12 13 24 26 a 2 8 11 12 13 24 26 a 2 8 12 13 20 24 26 a 1 2 8 12 13 24 26 a 1 2 8 11 12 13 26 a 2 8 11 12 13 20 26 a 8 9 11 12 13 20 26 a 8 9 11 12 20 24 26 a 1 8 9 11 12 24 26 a 1 9 11 12 13 24 26 a 1 9 10 11 13 24 26 a 1 6 9 10 11 13 26 a 1 5 6 9 10 11 13 a 1 5 6 9 10 11 14 a 1 4 5 6 9 10 14 a 1 4 5 6 10 13 14 a 1 3 5 6 10 13 14 a 1 3 5 6 13 14 21 a 3 5 6 13 14 20 21 a 3 5 13 14 20 21 24 a 2 3 13 14 20 21 24 a 2 3 8 14 20 21 24 a 2 3 8 14 18 21 24 a 1 2 3 8 14 18 21 a 1 2 3 14 18 21 24 a 1 2 3 8 14 18 24 a 1 3 8 14 18 21 24 a 1 3 8 13 14 21 24 a 1 2 3 8 13 21 24 a 1 2 3 8 17 21 24 a 1 2 4 8 17 21 24 a 1 2 4 7 8 21 24 a 1 2 4 7 14 21 24 a 1 4 7 14 17 21 24 a 1 4 5 7 17 21 24 a 1 5 7 8 17 21 24 a 1 3 5 7 8 17 21 a 1 3 5 8 13 17 21 a 1 3 5 8 13 14 21 a 1 4 5 8 13 14 21 a 1 4 5 8 13 17 21 a 1 4 5 13 14 17 21 a 1 4 5 7 14 17 21 a 1 4 5 7 14 17 24 a 1 4 5 7 14 17 19 a 1 4 5 7 8 17 19 a 1 5 7 8 14 17 19 a 1 5 8 14 17 19 21 a 4 5 8 14 17 19 21 a 4 5 7 14 17 19 21 a 1 4 5 14 17 19 21 a 1 4 5 8 14 17 19 a 4 5 8 9 14 17 19 a 1 4 5 8 9 14 17 a 1 4 5 8 9 17 24 a 1 4 5 9 14 17 24 a 1 5 8 9 14 17 24 a 5 8 9 14 16 17 24 a 4 5 8 14 16 17 24 a 4 5 8 13 14 16 17 a 4 5 8 13 14 16 24 a 4 5 8 13 14 20 24 a 4 5 8 9 13 14 20 a 4 5 8 9 14 20 22 a 1 4 5 8 9 14 22 a 1 4 5 8 14 19 22 a 1 5 7 8 14 19 22 a 1 5 7 8 11 14 19 a 1 5 7 8 11 14 24 a 5 7 8 11 14 20 24 a 5 7 8 14 20 21 24 a 4 5 7 8 20 21 24 a 4 5 7 8 20 21 22 a 4 5 7 8 14 21 22 a 4 5 8 14 20 21 22 a 4 5 7 14 20 21 22 a 4 5 7 14 19 21 22 a 4 5 7 8 14 19 22 a 4 5 7 8 19 21 22 a 4 5 7 8 17 19 21 a 1 4 5 8 17 19 21 a 1 4 5 7 17 19 21 a 1 5 7 14 17 19 21 a 1 3 5 7 14 17 21 a 1 3 5 7 8 14 21 a 1 3 5 7 14 21 24 a 1 3 5 7 14 21 22 a 1 2 3 7 14 21 22 a 1 2 3 8 14 21 22 a 1 2 4 8 14 21 22 a 1 2 4 8 14 21 24 a 1 2 7 8 14 21 24 a 1 7 8 14 17 21 24 a 1 4 7 8 17 21 24 a 2 4 7 8 17 21 24 a 1 2 4 7 17 21 24 a 1 2 4 7 8 17 21 a 1 2 3 7 8 17 21 a 1 3 7 8 17 21 24 a 2 3 7 8 17 21 24 a 2 3 7 8 20 21 24 a 2 3 8 13 20 21 24 a 3 5 8 13 20 21 24 a 4 5 8 13 20 21 24 a 4 5 8 14 20 21 24 a 4 5 7 8 14 20 24 a 4 5 7 14 20 21 24 a 4 5 13 14 20 21 24 a 4 8 13 14 20 21 24 a 2 4 8 13 20 21 24 a 2 4 8 13 14 20 21 a 2 4 8 14 20 21 24 a 2 4 13 14 20 21 24 a 2 4 13 14 16 21 24 a 2 4 6 13 14 16 21 a 2 4 6 13 16 21 26 a 2 3 6 13 16 21 26 a 2 3 13 16 21 24 26 a 2 3 13 16 17 21 24 a 2 3 13 16 17 24 25 a 3 5 13 16 17 24 25 a 3 5 12 13 17 24 25 a 3 5 8 12 13 17 24 a 1 3 5 12 13 17 24 a 1 3 8 12 13 17 24 a 1 3 5 8 12 17 24 a 1 3 5 7 8 12 17 a 1 3 5 7 8 12 22 a 3 5 7 8 12 20 22 a 3 5 7 8 20 21 22 a 5 7 8 20 21 22 23 a 2 7 8 20 21 22 23 a 2 7 8 12 20 22 23 a 2 7 8 12 20 22 26 a 2 7 8 12 20 24 26 a 2 7 8 12 20 23 26 a 2 7 8 20 22 23 26 a 2 8 12 20 22 23 26 a 2 3 8 12 20 22 26 a 2 3 7 8 12 20 26 a 2 3 7 8 20 21 26 a 2 3 7 8 20 24 26 a 2 3 8 20 21 24 26 a 2 3 13 20 21 24 26 a 2 3 13 15 21 24 26 a 2 3 7 15 21 24 26 a 2 3 7 14 15 21 24 a 2 3 7 14 17 21 24 a 1 2 3 7 14 17 24 a 1 2 3 7 17 24 25 a 1 2 4 7 17 24 25 a 1 2 4 7 17 19 25 c Step: 671 #END: [Mon Sep 4 15:41:18 2023]