#BEGIN: [Mon Sep 4 23:24:20 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-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 -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 bcae23b993b688912a869ce8e9225b30b570aedc3b6ac414cbccd8b261ee1c6e 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 7 8 11 12 24 26 a 2 7 8 11 12 17 24 a 5 7 8 11 12 17 24 a 5 8 11 12 13 17 24 a 5 8 11 12 13 20 24 a 3 5 8 12 13 20 24 a 3 5 8 12 13 17 24 a 2 3 8 12 13 17 24 a 2 3 7 8 12 17 24 a 2 3 7 8 17 21 24 a 2 4 7 8 17 21 24 a 4 5 7 8 17 21 24 a 4 5 7 8 14 17 24 a 4 5 7 8 14 21 24 a 4 5 7 8 14 17 21 a 4 7 8 14 17 19 21 a 2 4 7 8 14 19 21 a 2 4 7 8 14 17 19 a 2 4 7 8 14 17 24 a 2 4 7 8 14 17 21 a 2 7 8 14 17 19 21 a 2 4 7 8 17 19 21 a 2 4 7 14 17 19 21 a 4 5 7 14 17 19 21 a 5 7 8 14 17 19 21 a 4 5 7 8 17 19 21 a 4 5 8 14 17 19 21 a 1 4 5 8 14 17 19 a 1 5 7 8 14 17 19 a 4 5 7 8 14 17 19 a 4 5 7 8 14 19 21 a 1 4 5 7 8 19 21 a 1 4 5 7 8 17 21 a 1 3 5 7 8 17 21 a 1 2 3 7 8 17 21 a 1 2 7 8 14 17 21 a 1 5 7 8 14 17 21 a 1 5 8 14 17 21 24 a 5 8 14 16 17 21 24 a 5 8 13 14 16 17 21 a 5 8 9 13 14 16 17 a 5 8 9 13 14 17 24 a 5 9 11 13 14 17 24 a 4 5 9 13 14 17 24 a 4 5 9 10 13 14 24 a 4 5 8 9 13 14 24 a 5 8 9 11 13 14 24 a 5 8 9 13 14 20 24 a 1 5 8 9 13 14 24 a 1 5 9 13 14 17 24 a 1 5 8 13 14 17 24 a 1 5 8 13 14 17 21 a 1 4 5 8 14 17 21 a 1 4 5 8 13 14 17 a 4 5 8 13 14 17 21 a 4 8 13 14 16 17 21 a 4 5 8 13 14 16 21 a 4 5 8 13 14 16 17 a 4 8 13 14 16 17 24 a 4 13 14 16 17 21 24 a 3 13 14 16 17 21 24 a 3 5 13 14 16 21 24 a 3 5 8 13 14 16 21 a 1 3 5 8 13 14 21 a 1 3 5 7 8 14 21 a 1 3 5 7 8 21 24 a 1 3 5 7 8 12 24 a 1 3 5 7 8 17 24 a 1 3 5 7 8 14 17 a 1 3 5 7 8 12 17 a 1 3 5 7 12 17 24 a 1 3 5 7 17 21 24 a 1 3 5 7 14 17 21 a 1 3 5 8 14 17 21 a 1 3 8 14 17 21 24 a 1 3 5 8 14 17 24 a 1 3 5 14 17 21 24 a 1 3 5 8 14 21 24 a 1 3 5 7 8 14 24 a 1 3 5 7 8 14 22 a 3 5 7 8 14 21 22 a 5 7 8 14 19 21 22 a 4 5 8 14 19 21 22 a 4 5 6 14 19 21 22 a 4 5 6 14 16 21 22 a 4 5 8 14 16 21 22 a 4 5 8 14 16 21 24 a 4 5 8 9 14 16 24 a 4 8 9 14 16 17 24 a 8 9 13 14 16 17 24 a 5 8 13 14 16 17 24 a 8 13 14 16 17 21 24 a 3 8 13 14 16 21 24 a 4 8 13 14 16 21 24 a 4 8 9 13 14 16 24 a 4 8 9 13 14 16 17 a 4 5 8 9 13 14 17 a 4 5 8 9 13 14 16 a 5 8 9 13 14 16 24 a 3 5 8 13 14 16 24 a 3 5 8 13 14 21 24 a 5 8 13 14 16 21 24 a 4 5 8 13 16 21 24 a 1 4 5 8 13 21 24 a 1 4 5 8 14 21 24 a 1 4 5 8 13 14 21 a 1 4 8 13 14 21 24 a 1 2 4 8 14 21 24 a 1 2 4 8 14 17 24 a 1 2 4 14 17 21 24 a 1 4 7 14 17 21 24 a 1 5 7 14 17 21 24 a 1 5 7 8 14 17 24 a 1 3 7 8 14 17 24 a 1 3 7 8 17 21 24 a 1 2 3 7 8 21 24 a 1 2 3 8 17 21 24 a 1 2 3 8 14 17 21 a 1 2 3 7 8 14 17 a 1 2 3 7 8 14 21 a 1 3 7 8 14 17 21 a 2 3 7 8 14 17 21 a 2 3 7 8 14 21 24 a 1 2 3 7 8 14 24 a 2 3 7 8 14 20 24 a 2 3 7 8 20 24 26 a 2 3 7 20 21 24 26 a 2 4 7 20 21 24 26 a 2 4 7 14 20 21 24 a 2 4 7 14 17 21 24 a 2 7 8 14 17 21 24 a 2 4 7 8 14 21 24 a 4 7 8 14 17 21 24 a 4 5 7 14 17 21 24 a 1 4 5 7 14 17 21 a 1 4 7 14 17 19 21 a 1 4 7 14 19 21 22 a 1 4 6 14 19 21 22 a 1 4 5 14 19 21 22 a 1 4 5 8 14 19 21 a 1 4 5 8 17 19 21 a 1 4 5 7 17 19 21 a 1 4 5 7 17 21 24 a 1 5 7 8 17 21 24 a 1 5 7 8 14 21 24 a 1 4 5 7 8 21 24 a 1 2 4 7 8 21 24 a 1 2 4 7 8 17 24 a 1 4 7 8 14 17 24 a 1 2 4 7 8 14 17 a 1 2 4 7 8 14 21 a 1 4 7 8 14 19 21 a 4 7 8 14 19 21 22 a 1 7 8 14 19 21 22 a 1 2 7 14 19 21 22 a 2 4 7 14 19 21 22 a 2 7 8 14 19 21 22 a 2 4 8 14 19 21 22 a 2 4 7 8 14 19 22 a 2 4 7 8 14 21 22 a 4 5 7 8 14 21 22 a 5 7 8 14 20 21 22 a 1 5 7 8 14 21 22 a 1 5 7 8 14 19 22 a 1 5 8 9 14 19 22 a 1 4 5 9 14 19 22 a 4 5 8 9 14 19 22 a 4 5 6 9 14 19 22 a 4 5 6 9 10 14 19 a 1 4 5 9 10 14 19 a 1 4 5 9 10 14 24 a 1 5 9 10 13 14 24 a 1 3 5 10 13 14 24 a 3 5 10 13 14 16 24 a 3 5 13 14 16 17 24 a 5 9 13 14 16 17 24 a 5 8 9 13 16 17 24 a 4 5 8 13 16 17 24 a 4 5 8 13 17 21 24 a 1 4 5 8 13 17 21 a 1 4 8 13 17 21 24 a 1 4 7 8 17 21 24 a 1 2 4 7 8 17 21 a 1 4 7 8 14 17 21 a 1 4 7 8 14 21 24 a 4 7 8 14 20 21 24 a 4 8 13 14 20 21 24 a 2 4 8 13 14 20 21 a 2 3 8 13 14 20 21 a 3 8 13 14 20 21 24 a 2 3 8 13 14 21 24 a 2 4 8 13 14 21 24 a 4 8 13 14 17 21 24 a 4 8 13 16 17 21 24 a 2 4 13 16 17 21 24 a 2 4 13 14 16 17 21 a 2 8 13 14 16 17 21 a 2 4 8 13 16 17 21 a 2 4 8 16 17 21 24 a 2 8 13 16 17 21 24 a 2 8 13 14 16 17 24 a 2 3 8 13 14 16 17 a 2 3 8 13 14 16 24 a 2 3 8 13 14 17 24 a 3 5 8 13 14 17 24 a 4 5 8 13 14 17 24 a 4 5 8 13 14 21 24 a 5 8 13 14 17 21 24 a 5 8 11 13 14 17 24 a 1 5 8 11 13 14 24 a 1 8 11 13 14 17 24 a 1 9 11 13 14 17 24 a 1 8 9 11 13 14 17 a 1 5 8 9 11 13 14 a 1 4 5 8 9 13 14 a 1 4 5 8 9 14 17 a 1 4 5 8 9 13 17 a 4 5 8 9 13 17 24 a 4 5 8 9 14 17 24 a 4 5 8 9 14 16 17 a 5 8 9 14 16 17 24 a 4 5 8 9 16 17 24 a 4 5 8 9 13 16 24 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 14 16 17 21 a 2 4 8 14 16 17 21 a 1 2 4 8 14 17 21 a 1 2 4 8 13 14 17 a 1 2 4 8 13 17 21 a 1 2 8 13 17 21 24 a 1 5 8 13 17 21 24 a 1 4 5 8 17 21 24 a 1 4 5 8 13 17 24 a 1 4 5 8 14 17 24 a 4 5 8 14 17 21 24 a 2 4 8 14 17 21 24 a 2 4 8 13 14 17 24 a 2 4 8 13 14 16 17 a 2 4 8 13 14 17 21 a 2 8 13 14 17 21 24 a 2 8 11 13 14 17 24 a 1 2 8 11 13 14 24 a 1 2 8 11 13 14 17 a 1 5 8 11 13 14 17 a 1 5 8 11 12 13 17 a 1 5 8 11 12 13 24 a 1 8 9 11 12 13 24 a 1 8 9 12 13 17 24 a 1 9 12 13 17 24 25 a 9 11 12 13 17 24 25 a 5 9 11 12 17 24 25 a 5 9 12 13 17 24 25 a 5 9 11 12 13 17 24 a 5 11 12 13 17 24 25 a 1 11 12 13 17 24 25 a 1 8 11 12 13 17 24 a 1 5 8 11 13 17 24 a 1 5 11 13 17 24 25 a 1 5 11 12 13 24 25 a 1 5 11 12 13 17 24 a 1 5 9 11 12 13 17 a 5 8 9 11 12 13 17 a 5 8 9 11 12 17 24 a 1 8 9 11 12 17 24 a 1 8 9 11 12 13 17 a 1 9 11 12 13 17 24 a 1 5 9 11 13 17 24 a 1 5 9 11 14 17 24 a 1 5 11 13 14 17 24 a 1 5 9 11 13 14 24 a 1 5 9 11 13 14 17 a 1 4 5 9 13 14 17 a 1 5 8 9 13 14 17 a 1 5 8 9 11 13 17 a 1 5 8 9 13 17 24 a 1 5 9 13 17 24 25 a 1 3 5 13 17 24 25 a 1 3 5 12 13 17 24 a 1 3 5 8 12 13 24 a 1 5 8 9 12 13 24 a 1 5 8 9 11 12 13 a 5 8 9 11 12 13 20 a 8 9 11 12 13 20 24 a 5 8 9 11 13 20 24 a 5 9 11 12 13 20 24 a 5 9 11 12 13 20 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 5 9 11 13 17 24 25 a 4 5 9 13 17 24 25 a 1 4 5 13 17 24 25 a 1 4 5 9 17 24 25 a 1 4 5 9 13 24 25 a 1 4 9 13 17 24 25 a 1 4 5 9 13 17 25 a 1 5 9 12 13 17 25 a 1 5 9 12 13 17 24 a 1 5 9 12 13 17 23 a 5 9 12 13 17 23 25 a 5 8 9 12 13 17 23 a 5 8 9 12 13 17 24 a 1 5 8 9 12 13 17 a 1 5 8 9 11 12 17 a 1 5 8 9 11 12 24 a 1 5 8 9 11 17 24 a 1 5 8 9 11 13 24 a 1 4 5 8 9 13 24 a 1 4 5 8 9 17 24 a 1 5 8 9 12 17 24 a 1 5 9 12 17 24 25 a 1 5 11 12 17 24 25 a 1 5 12 13 17 24 25 a 1 5 9 12 13 24 25 a 5 9 12 13 20 24 25 a 5 8 9 12 13 20 24 a 5 8 9 11 12 13 24 a 8 9 11 12 13 24 26 a 1 8 9 11 13 24 26 a 1 8 9 11 12 13 26 a 1 9 11 12 13 24 26 a 1 5 9 11 12 13 24 a 1 5 9 11 12 17 24 a 1 9 11 12 17 24 25 a 1 9 11 12 13 24 25 a 1 2 11 12 13 24 25 a 1 2 7 11 12 24 25 a 1 2 3 7 12 24 25 a 1 2 3 7 12 17 24 a 1 3 7 8 12 17 24 a 1 2 3 7 8 12 17 a 1 2 3 7 8 17 24 a 1 2 3 8 13 17 24 a 1 2 3 8 13 24 26 a 1 2 3 7 8 24 26 a 1 2 3 7 8 12 26 a 1 2 3 7 8 12 24 a 1 2 7 8 12 17 24 a 1 2 7 8 14 17 24 a 1 2 4 7 14 17 24 a 1 2 4 7 14 17 21 a 1 2 7 14 17 19 21 a 1 2 7 8 14 17 19 a 1 2 4 7 8 17 19 a 1 2 4 8 14 17 19 a 1 2 4 7 8 14 19 a 1 2 7 8 14 19 22 a 1 4 7 8 14 19 22 a 1 4 7 8 14 21 22 a 1 4 5 7 8 14 21 a 1 4 5 7 8 14 17 a 1 4 5 7 8 14 19 a 1 4 5 7 14 19 21 a 1 4 5 14 17 19 21 a 1 5 8 14 17 19 21 a 1 4 8 14 17 19 21 a 2 4 8 14 17 19 21 a 1 2 4 8 17 19 21 a 1 4 7 8 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 19 21 a 1 2 4 7 14 19 22 a 1 2 4 7 8 14 22 a 1 2 4 7 14 21 22 a 1 2 7 8 14 21 22 a 1 2 8 14 18 21 22 a 1 2 8 14 18 21 24 a 1 2 8 14 17 21 24 a 1 2 4 8 17 21 24 a 1 4 8 14 17 21 24 a 1 4 8 13 14 17 21 a 1 8 13 14 17 21 24 a 1 3 13 14 17 21 24 a 1 2 13 14 17 21 24 a 1 2 8 13 14 17 24 a 1 3 8 13 14 17 24 a 3 8 13 14 16 17 24 a 3 8 13 14 16 17 21 a 3 8 13 14 17 21 24 a 3 8 13 16 17 21 24 a 2 3 8 13 16 17 24 a 2 3 8 13 16 17 21 a 1 2 3 8 13 17 21 a 1 2 8 13 14 17 21 a 1 2 8 13 17 21 23 a 1 5 8 13 17 21 23 a 5 8 13 16 17 21 23 a 5 8 13 16 17 21 24 a 3 5 8 13 16 17 24 a 1 3 5 8 13 17 24 a 1 3 8 13 17 21 24 a 1 3 8 12 13 17 24 a 1 3 5 8 12 17 24 a 3 5 7 8 12 17 24 a 1 5 7 8 12 17 24 a 1 5 7 12 17 24 25 a 1 5 7 11 17 24 25 a 1 5 7 11 14 17 24 a 1 4 5 7 14 17 24 a 1 4 5 7 14 17 19 a 1 5 7 14 17 19 21 a 1 5 7 14 19 21 22 a 4 5 7 14 19 21 22 a 4 5 7 14 20 21 22 a 4 5 7 14 20 21 24 a 4 5 13 14 20 21 24 a 4 5 9 13 14 20 24 a 4 5 9 13 14 16 24 a 4 5 6 9 13 14 16 a 4 6 9 10 13 14 16 a 4 9 10 13 14 16 24 a 4 5 10 13 14 16 24 a 4 5 13 14 16 17 24 a 1 4 5 13 14 17 24 a 1 2 4 13 14 17 24 a 1 2 4 8 13 17 24 a 1 4 8 9 13 17 24 a 1 8 9 11 13 17 24 a 5 8 9 11 13 17 24 a 5 8 9 11 13 14 17 a 5 8 9 11 14 17 24 a 1 8 9 11 14 17 24 a 8 9 11 13 14 17 24 a 1 8 9 13 14 17 24 a 1 4 8 13 14 17 24 a 1 4 13 14 17 21 24 a 2 4 13 14 17 21 24 a 2 3 13 14 17 21 24 a 2 3 8 13 14 17 21 a 2 3 8 13 17 21 24 a 2 4 8 13 17 21 24 a 2 4 8 13 16 17 24 a 2 4 8 14 16 17 24 a 2 4 8 13 14 16 24 a 2 4 8 13 14 20 24 a 2 3 8 13 14 20 24 a 2 3 8 13 20 21 24 a 2 3 8 13 16 21 24 a 2 3 8 14 16 21 24 a 2 3 8 14 16 18 21 a 3 8 14 16 18 21 22 a 3 8 14 16 18 21 24 a 2 3 8 16 18 21 24 a 2 3 8 16 21 24 26 a 2 8 13 16 21 24 26 a 2 8 13 20 21 24 26 a 2 3 13 20 21 24 26 a 2 3 8 13 20 21 26 a 3 8 13 20 21 24 26 a 4 8 13 20 21 24 26 a 4 7 8 20 21 24 26 a 2 4 7 8 20 21 24 a 4 5 7 8 20 21 24 a 4 5 7 8 14 20 21 a 4 5 7 8 14 20 24 a 3 5 7 8 14 20 24 a 5 7 8 11 14 20 24 a 5 7 8 11 12 20 24 a 2 7 8 11 12 20 24 a 1 2 7 8 11 12 24 a 1 2 7 8 12 24 26 a 1 2 3 8 12 24 26 a 1 3 7 8 12 24 26 a 3 7 8 12 20 24 26 a 3 5 7 8 12 20 24 a 2 3 7 8 12 20 24 a 2 3 7 8 12 20 26 a 2 3 7 12 20 24 26 a 1 2 3 7 12 24 26 a 1 2 3 7 21 24 26 a 1 2 3 7 17 21 24 a 1 2 3 14 17 21 24 a 2 3 8 14 17 21 24 a 3 5 8 14 17 21 24 a 5 7 8 14 17 21 24 a 5 7 8 14 20 21 24 a 4 5 8 14 20 21 24 a 4 5 8 13 14 20 21 a 4 5 8 9 13 14 20 a 4 8 9 13 14 20 24 a 4 5 8 13 14 20 24 a 5 8 13 14 20 21 24 a 3 5 8 14 20 21 24 a 3 5 8 14 20 21 22 a 3 5 8 13 14 20 21 a 3 5 8 13 14 17 21 a 3 5 8 13 17 21 24 a 3 5 13 14 17 21 24 a 3 5 13 14 20 21 24 a 3 5 8 13 20 21 24 a 3 5 8 13 14 20 24 a 5 8 11 13 14 20 24 a 2 8 11 13 14 20 24 a 2 7 8 11 14 20 24 a 2 7 8 14 20 21 24 a 1 2 7 8 14 21 24 a 1 2 3 7 14 21 24 a 1 2 3 7 14 17 24 a 1 2 3 7 17 24 25 a 2 3 7 12 17 24 25 a 1 3 7 12 17 24 25 a 1 3 5 7 12 24 25 a 1 3 5 12 17 24 25 a 1 3 12 13 17 24 25 a 3 5 12 13 17 24 25 a 3 5 12 13 20 24 25 a 1 3 5 12 13 24 25 a 1 2 3 12 13 24 25 a 1 2 3 12 13 24 26 a 1 2 3 13 21 24 26 a 2 3 13 16 21 24 26 a 2 3 8 13 21 24 26 a 1 2 3 8 13 21 26 a 1 2 3 8 13 21 24 a 1 2 4 8 13 21 24 a 1 2 4 8 13 14 24 a 1 4 5 8 13 14 24 a 1 4 5 8 9 14 24 a 1 4 5 9 13 14 24 a 1 4 5 10 13 14 24 a 1 5 10 11 13 14 24 a 1 9 10 11 13 14 24 a 1 4 9 10 13 14 24 a 1 4 5 9 10 13 14 a 1 5 9 10 11 13 14 a 1 5 9 10 11 14 24 a 5 9 10 11 13 14 24 a 1 5 9 10 11 13 24 a 1 5 9 11 13 24 25 a 1 5 9 11 17 24 25 a 1 9 11 13 17 24 25 a 1 2 11 13 17 24 25 a 1 2 7 11 17 24 25 a 1 2 7 11 14 17 24 a 1 2 7 8 11 14 17 a 2 7 8 11 14 17 19 a 1 2 7 8 11 17 19 a 1 2 8 11 14 17 19 a 1 2 7 11 14 17 19 a 1 2 7 11 17 19 25 a 1 5 7 11 17 19 25 a 1 5 7 8 11 17 19 a 1 7 8 11 14 17 19 a 5 7 8 11 14 17 19 a 1 5 7 8 11 14 17 a 1 7 8 11 14 17 24 a 2 7 8 11 14 17 24 a 2 3 7 8 14 17 24 a 3 7 8 14 17 21 24 a 2 3 7 14 17 21 24 a 1 3 7 14 17 21 24 a 1 2 7 14 17 21 24 a 1 2 4 7 17 21 24 a 1 2 4 7 21 24 26 a 1 2 4 7 8 21 26 a 1 2 4 8 21 22 26 a 1 2 4 8 21 24 26 a 1 2 7 8 21 24 26 a 1 2 7 8 11 24 26 a 1 2 8 11 12 24 26 a 1 2 8 11 12 13 24 a 1 2 11 12 13 17 24 a 1 2 3 12 13 17 24 a 2 3 12 13 17 24 25 a 1 2 3 12 13 17 25 a 1 2 3 8 12 13 17 a 1 2 8 12 13 17 24 a 1 5 8 12 13 17 24 a 1 3 5 8 12 13 17 a 1 3 5 8 13 14 17 a 1 3 5 8 13 14 24 a 1 3 5 13 14 17 24 a 1 5 13 14 17 21 24 a 1 3 5 13 17 21 24 a 1 3 5 8 17 21 24 a 1 3 5 8 13 21 24 a 1 3 5 8 13 17 21 a 3 5 8 13 16 17 21 a 3 5 8 16 17 21 24 a 2 3 8 16 17 21 24 a 2 3 14 16 17 21 24 a 2 8 14 16 17 21 24 a 2 3 8 14 16 17 21 a 3 5 8 14 16 17 21 a 3 5 8 13 14 16 17 a 3 5 13 14 16 17 21 a 4 5 13 14 16 17 21 a 5 13 14 16 17 21 24 a 2 13 14 16 17 21 24 a 2 3 13 16 17 21 24 a 2 3 13 14 16 17 24 a 2 3 13 14 16 21 24 a 2 3 13 14 16 17 21 a 1 2 3 13 14 17 21 a 1 3 5 13 14 17 21 a 1 3 5 13 14 21 24 a 1 3 8 13 14 21 24 a 1 2 3 8 13 14 21 a 1 2 4 8 13 14 21 a 2 4 8 13 14 16 21 a 2 4 8 13 16 21 26 a 2 4 8 13 16 21 24 a 2 4 8 13 20 21 24 a 2 4 8 13 21 24 26 a 2 4 8 20 21 24 26 a 2 3 8 20 21 24 26 a 2 3 8 13 20 24 26 a 2 4 8 13 20 24 26 a 2 4 8 13 16 24 26 a 2 4 13 16 21 24 26 a 2 4 13 20 21 24 26 a 2 4 13 14 20 21 24 a 1 2 4 13 14 21 24 a 1 2 4 13 17 21 24 a 1 4 5 13 17 21 24 a 4 5 13 14 17 21 24 a 1 4 5 13 14 17 21 a 1 2 4 13 14 17 21 a 1 2 4 6 13 14 21 a 1 2 4 6 14 19 21 a 1 2 4 8 14 19 21 a 1 2 8 14 17 19 21 a 1 2 7 8 14 19 21 a 1 2 7 8 17 19 21 a 1 5 7 8 17 19 21 a 1 5 7 8 14 19 21 a 1 7 8 14 17 19 21 a 1 7 8 14 17 21 24 a 1 3 7 8 14 21 24 a 3 5 7 8 14 21 24 a 3 5 7 14 17 21 24 a 3 5 7 8 17 21 24 a 3 5 7 8 14 17 24 a 3 5 7 8 14 17 21 a 3 5 7 8 14 20 21 a 3 7 8 14 20 21 24 a 2 3 7 8 20 21 24 a 2 3 7 14 20 21 24 a 2 3 7 8 14 20 21 a 3 7 8 14 20 21 22 a 4 7 8 14 20 21 22 a 2 7 8 14 20 21 22 a 2 4 7 8 20 21 22 a 2 4 7 8 19 21 22 a 1 2 4 7 8 19 22 a 1 2 4 7 19 22 25 a 1 2 4 7 17 19 25 c Step: 655 #END: [Mon Sep 4 23:54:21 2023]