#BEGIN: [Mon Sep  4 15:41:07 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance004_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance004_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_instance004_graph004.col /benchmark/random_instance/random_instance004_graph004_01.dat
c /benchmark/random_instance/random_instance004_graph004.col
c /benchmark/random_instance/random_instance004_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID 3f0cb7b14b1058b8a922272dd0a3ad0d056b425db0e3cf19953d140be422bcd2
s 31 42 46 6 40 19 45 34 8 39 29 20 23 28 47
t 16 34 17 28 44 49 6 43 47 33 38 32 42 29 19
a YES
a 6 8 19 20 23 28 29 31 34 39 40 42 45 46 47
a 6 16 19 20 23 28 29 31 34 39 40 42 45 46 47
a 2 6 16 19 23 28 29 31 34 39 40 42 45 46 47
a 2 6 16 17 19 23 28 29 31 34 39 42 45 46 47
a 2 6 16 17 19 23 28 29 31 34 42 44 45 46 47
a 2 6 16 19 23 28 29 31 34 40 42 44 45 46 47
a 2 4 6 16 19 23 29 31 34 40 42 44 45 46 47
a 2 4 16 19 23 28 29 31 34 40 42 44 45 46 47
a 4 16 19 20 23 28 29 31 34 40 42 44 45 46 47
a 4 6 16 20 23 28 29 31 34 40 42 44 45 46 47
a 2 4 6 16 23 28 29 31 34 40 42 44 45 46 47
a 2 4 6 16 18 23 28 29 31 34 40 42 44 46 47
a 4 6 16 18 20 23 28 29 31 34 40 42 44 46 47
a 4 6 16 18 19 20 23 28 29 31 34 40 42 44 47
a 4 6 16 18 19 20 23 28 29 34 40 42 44 46 47
a 4 6 16 18 19 20 23 28 29 31 34 40 42 46 47
a 4 6 16 18 19 20 23 28 29 34 40 42 46 47 49
a 6 16 18 19 20 23 28 29 34 40 42 44 46 47 49
a 6 16 18 19 20 23 28 29 34 40 42 43 44 46 47
a 2 6 16 18 19 23 28 29 34 40 42 43 44 46 47
a 2 6 16 18 19 23 28 29 34 40 42 44 46 47 49
a 4 6 16 18 19 23 28 29 34 40 42 44 46 47 49
a 4 6 16 18 19 23 28 29 34 40 42 43 44 46 47
a 2 4 6 16 18 19 23 28 29 34 40 42 44 46 47
a 2 6 16 18 19 23 28 29 31 34 40 42 44 46 47
a 2 6 16 18 19 23 29 31 34 40 42 43 44 46 47
a 2 6 15 16 18 19 23 29 31 34 40 42 44 46 47
a 2 6 15 16 18 19 23 28 29 34 40 42 44 46 47
a 2 6 15 16 19 23 28 29 31 34 40 42 44 46 47
a 2 6 15 16 19 23 29 31 34 40 42 43 44 46 47
a 2 4 6 16 19 23 29 31 34 40 42 43 44 46 47
a 4 6 16 19 20 23 29 31 34 40 42 43 44 46 47
a 6 16 18 19 20 23 29 31 34 40 42 43 44 46 47
a 6 16 18 19 20 23 29 31 33 34 42 43 44 46 47
a 6 16 18 19 20 23 28 29 31 33 34 42 43 44 47
a 6 16 17 18 19 20 23 28 29 31 33 34 42 43 44
a 6 17 18 19 20 23 28 29 31 33 34 41 42 43 44
a 6 17 18 19 20 28 29 31 33 34 41 42 43 44 47
a 6 17 18 20 23 28 29 31 33 34 41 42 43 44 47
a 6 18 20 23 28 29 31 33 34 41 42 43 44 47 52
a 6 16 18 20 23 28 29 31 33 34 41 43 44 47 52
a 6 16 18 20 23 28 29 33 34 41 43 44 47 49 52
a 6 18 20 23 28 29 33 34 41 42 43 44 47 49 52
a 6 17 18 20 23 28 29 33 34 41 42 43 44 47 49
a 17 18 19 20 23 28 29 33 34 41 42 43 44 47 49
a 16 17 19 20 23 28 29 33 34 41 42 43 44 47 49
a 6 16 17 19 20 28 29 33 34 41 42 43 44 47 49
a 6 16 17 18 19 20 28 29 33 34 41 42 44 47 49
a 6 16 17 18 19 20 28 29 33 34 41 42 43 44 47
a 6 16 17 18 19 20 28 29 33 41 42 43 44 47 48
a 6 16 17 18 19 23 28 29 33 41 42 43 44 47 48
a 6 17 18 19 23 28 29 33 41 42 43 44 47 48 49
a 6 8 17 18 19 23 28 29 33 41 43 44 47 48 49
a 6 8 17 18 19 23 28 29 33 41 42 43 44 47 49
a 6 8 17 18 19 23 28 33 41 42 43 44 47 48 49
a 6 8 11 17 18 19 23 28 33 41 42 43 47 48 49
a 6 11 17 18 19 23 28 33 41 42 43 44 47 48 49
a 6 11 17 18 19 20 28 33 41 42 43 44 47 48 49
a 11 17 18 19 20 23 28 33 41 42 43 44 47 48 49
a 17 18 19 20 23 28 29 33 41 42 43 44 47 48 49
a 11 17 18 19 20 23 28 29 41 42 43 44 47 48 49
a 11 18 19 20 23 28 29 33 41 42 43 44 47 48 49
a 11 17 18 19 20 28 29 33 41 42 43 44 47 48 49
a 11 17 18 19 20 23 28 29 33 41 42 43 47 48 49
a 11 17 18 20 23 28 29 33 41 42 43 44 47 48 49
a 11 17 18 19 20 23 28 29 33 41 42 43 44 47 48
a 8 11 17 18 19 20 23 28 29 41 42 43 44 47 48
a 8 11 17 18 19 20 23 28 29 33 41 42 43 44 47
a 11 17 18 19 20 23 28 29 31 33 41 42 43 44 47
a 17 18 19 20 23 28 29 31 33 41 42 43 44 47 48
a 8 17 18 19 20 23 28 29 31 33 41 42 43 44 47
a 8 17 18 19 20 23 28 29 33 41 42 43 44 47 49
a 8 17 18 19 20 23 28 29 33 41 42 43 47 48 49
a 8 17 18 19 20 23 28 29 33 41 42 43 44 48 49
a 8 11 17 18 19 20 23 28 29 33 41 42 43 48 49
a 6 8 11 17 18 19 20 23 28 29 41 42 43 48 49
a 6 8 11 17 18 19 20 23 28 29 42 43 44 48 49
a 6 8 11 17 18 19 20 23 28 29 33 42 43 44 49
a 6 8 11 17 18 19 20 23 28 29 33 41 42 43 44
a 6 8 11 18 19 20 23 28 29 33 41 42 43 44 48
a 8 11 18 19 20 23 24 28 29 33 41 42 43 44 48
a 8 11 18 19 20 23 28 29 33 41 42 43 44 47 48
a 8 11 17 18 19 20 28 29 33 41 42 43 44 47 48
a 8 11 17 18 19 20 24 28 29 33 41 42 43 44 48
a 11 17 18 19 20 23 24 28 29 33 41 42 43 44 48
a 11 17 18 19 20 23 24 28 29 33 41 42 44 48 49
a 11 17 18 19 20 23 24 28 29 33 41 42 43 44 49
a 11 17 18 19 20 23 24 28 29 33 42 43 44 46 49
a 8 11 17 18 19 20 23 24 28 29 33 42 43 44 46
a 8 11 17 18 19 23 24 28 29 33 42 43 44 46 48
a 8 11 17 18 19 20 23 24 29 33 42 43 44 46 48
a 8 11 17 18 19 20 23 24 29 33 43 44 46 48 49
a 8 17 18 19 20 23 24 29 33 42 43 44 46 48 49
a 8 17 18 19 20 23 29 33 42 43 44 46 47 48 49
a 8 11 17 18 19 20 23 33 42 43 44 46 47 48 49
a 11 17 18 19 20 23 28 33 42 43 44 46 47 48 49
a 11 18 19 20 23 28 33 42 43 44 46 47 48 49 52
a 8 11 19 20 23 28 33 42 43 44 46 47 48 49 52
a 8 11 19 20 23 28 29 33 42 43 44 46 47 48 52
a 8 11 18 19 20 23 28 29 33 42 44 46 47 48 52
a 6 8 11 18 19 20 28 29 33 42 44 46 47 48 52
a 6 8 11 18 19 20 28 29 31 33 42 46 47 48 52
a 6 8 11 18 19 23 28 29 31 33 42 46 47 48 52
a 6 8 11 18 19 23 28 31 33 42 44 46 47 48 52
a 6 8 11 18 20 23 28 31 33 42 44 46 47 48 52
a 6 8 11 18 19 20 23 31 33 42 44 46 47 48 52
a 6 8 11 18 19 20 29 31 33 42 44 46 47 48 52
a 6 8 11 18 19 20 29 31 33 42 43 44 46 48 52
a 6 8 11 18 19 20 28 29 31 33 42 43 44 48 52
a 6 8 11 18 19 20 23 28 29 31 33 42 43 44 52
a 4 6 11 18 19 20 23 28 29 31 33 42 43 44 52
a 4 6 11 14 18 19 20 23 28 29 31 42 43 44 52
a 4 6 14 18 19 20 23 28 29 31 40 42 43 44 52
a 4 6 14 16 18 19 20 23 28 29 40 42 43 44 52
a 6 14 16 18 19 20 23 28 29 40 42 43 44 46 52
a 14 16 18 19 20 23 28 29 31 40 42 43 44 46 52
a 16 18 19 20 23 28 29 31 40 42 43 44 46 47 52
a 4 18 19 20 23 28 29 31 40 42 43 44 46 47 52
a 4 16 18 19 20 23 28 29 31 40 42 43 44 46 47
a 4 6 16 18 19 20 23 28 29 31 40 42 44 46 47
a 2 4 6 16 18 19 23 28 29 31 40 42 44 46 47
a 2 6 14 16 18 19 23 28 29 31 40 42 44 46 47
a 2 14 16 18 19 23 28 29 31 40 42 43 44 46 47
a 2 14 16 18 19 23 28 29 40 42 43 44 46 47 49
a 2 14 18 19 23 28 29 40 42 43 44 46 47 49 52
a 14 18 19 20 23 28 29 40 42 43 44 46 47 49 52
a 14 16 19 20 23 28 29 40 42 43 44 46 47 49 52
a 14 16 18 19 20 23 28 40 42 43 44 46 47 49 52
a 4 14 16 19 20 23 28 40 42 43 44 46 47 49 52
a 4 14 16 20 22 23 28 40 42 43 44 46 47 49 52
a 4 14 16 20 22 23 28 29 40 42 43 44 46 49 52
a 4 14 16 18 20 22 23 28 29 40 42 43 44 46 52
a 4 14 18 20 22 23 28 29 40 42 43 44 46 47 52
a 4 14 18 20 22 23 28 29 31 40 42 43 44 46 52
a 4 14 16 18 20 22 23 28 29 31 40 42 43 44 46
a 4 6 14 16 18 20 23 28 29 31 40 42 43 44 46
a 4 6 16 18 20 23 28 29 31 34 40 42 43 44 46
a 4 6 16 20 23 28 29 31 34 40 42 43 44 46 52
a 4 6 14 16 20 23 28 29 31 40 42 43 44 46 52
a 4 6 14 16 18 20 23 28 29 31 40 42 44 46 52
a 6 14 16 18 20 23 28 29 31 40 42 44 46 47 52
a 6 14 16 18 19 20 23 29 31 40 42 44 46 47 52
a 6 14 16 19 20 23 29 31 40 42 43 44 46 47 52
a 6 14 16 19 20 23 28 29 31 40 42 43 44 46 47
a 6 14 16 18 19 20 23 28 29 31 40 42 44 46 47
a 6 14 16 18 19 20 23 28 29 31 40 42 43 44 46
a 6 16 18 19 20 23 28 29 31 34 40 42 43 44 46
a 6 18 19 20 23 28 29 31 34 40 42 43 44 46 47
a 18 19 20 23 28 29 31 34 40 42 43 44 46 47 52
a 1 18 19 20 23 29 31 34 40 42 43 44 46 47 52
a 1 4 18 19 20 23 29 31 34 40 42 43 44 46 47
a 1 4 18 19 20 23 31 34 40 42 43 44 46 47 52
a 1 4 16 18 19 20 23 31 34 40 42 43 44 47 52
a 1 4 16 18 19 20 23 29 34 40 42 43 44 47 52
a 1 6 16 18 19 20 23 29 34 40 42 43 44 47 52
a 6 16 18 19 20 23 28 29 34 40 42 43 44 47 52
a 6 16 18 19 20 23 28 34 40 42 43 44 46 47 52
a 4 6 16 18 19 20 23 28 34 40 42 43 44 47 52
a 4 6 16 18 19 20 23 28 34 40 42 43 44 46 47
a 4 6 16 18 19 20 23 28 34 40 42 43 46 47 52
a 4 6 16 18 19 20 23 31 34 40 42 43 46 47 52
a 1 6 16 18 19 20 23 31 34 40 42 43 46 47 52
a 1 6 16 18 19 20 23 29 31 34 40 42 43 47 52
a 1 6 16 18 19 20 23 29 31 34 40 42 43 46 52
a 1 4 6 16 18 19 20 23 29 31 34 40 42 43 46
a 4 6 16 18 19 20 23 29 31 34 40 42 43 44 46
a 4 6 16 18 19 20 23 28 29 31 34 40 42 43 44
a 4 6 16 18 19 20 23 28 29 34 40 42 43 44 46
a 4 6 16 19 20 23 28 29 34 40 42 43 44 46 47
a 4 6 16 18 19 20 23 28 29 34 40 42 43 44 47
a 4 6 16 18 19 20 23 29 31 34 40 42 43 44 47
a 4 6 16 18 19 23 28 29 31 34 40 42 43 44 47
a 6 16 18 19 20 23 28 29 31 34 40 42 43 44 47
a 4 6 16 18 19 20 23 28 29 31 40 42 43 44 47
a 4 6 16 18 19 20 23 28 29 31 40 42 44 47 52
a 4 6 16 18 19 20 23 28 29 40 42 44 47 49 52
a 4 6 16 18 19 20 23 28 29 40 42 44 46 47 49
a 4 6 16 18 19 20 23 28 29 34 40 42 44 47 49
a 4 6 16 18 19 20 23 28 29 34 42 44 46 47 49
a 4 6 16 18 19 20 23 28 29 33 34 42 44 46 49
a 4 16 18 19 20 23 28 29 33 34 42 44 46 49 52
a 4 18 19 20 23 28 29 33 34 42 43 44 46 49 52
a 4 16 18 19 20 23 28 29 33 34 42 43 44 46 52
a 4 16 18 19 20 23 28 29 31 33 34 43 44 46 52
a 4 16 18 19 20 23 28 31 33 34 42 43 44 46 52
a 16 18 19 20 23 28 29 31 33 34 42 43 44 46 52
a 6 16 18 19 20 23 28 29 31 33 34 42 43 44 52
a 6 16 18 19 20 23 28 29 31 34 42 43 44 47 52
a 1 6 16 18 19 20 23 29 31 34 42 43 44 47 52
a 1 6 18 19 20 23 29 31 33 34 42 43 44 47 52
a 1 6 17 18 19 20 23 29 31 33 34 42 43 44 47
a 1 6 17 18 19 20 23 29 31 33 34 41 43 44 47
a 1 6 16 17 18 19 20 23 29 33 34 41 43 44 47
a 1 6 17 18 19 20 23 29 33 34 41 42 43 44 47
a 1 6 16 17 18 19 20 23 29 33 34 41 42 43 44
a 1 6 16 17 18 19 20 23 29 33 34 41 42 43 49
a 1 6 16 17 18 19 20 23 29 33 34 42 43 47 49
a 1 6 16 17 18 20 23 29 33 34 42 43 46 47 49
a 1 6 17 18 19 20 23 29 33 34 42 43 46 47 49
a 1 6 17 19 20 23 29 33 34 42 43 44 46 47 49
a 1 6 17 18 19 20 29 33 34 42 43 44 46 47 49
a 1 6 8 17 19 20 29 33 34 42 43 44 46 47 49
a 1 6 8 17 19 20 23 29 33 34 42 43 44 46 47
a 1 6 8 17 19 20 23 29 33 34 41 42 43 44 47
a 1 6 17 19 20 23 29 33 34 41 42 43 44 47 49
a 1 6 17 18 19 20 23 29 33 34 41 42 43 44 49
a 1 6 8 17 18 19 20 23 29 33 34 41 43 44 49
a 1 6 8 17 18 19 20 23 29 33 34 41 42 43 49
a 1 6 8 17 18 19 20 23 29 33 34 41 42 47 49
a 1 6 8 17 18 20 23 29 33 34 41 42 44 47 49
a 1 6 8 17 18 19 20 23 29 33 34 42 44 47 49
a 1 6 8 17 18 19 20 23 29 33 34 41 42 44 47
a 1 6 17 18 19 20 23 29 33 34 41 42 44 47 49
a 1 6 8 17 18 19 20 23 33 34 41 42 44 47 49
a 1 6 8 17 18 19 20 23 33 34 41 42 43 44 47
a 6 8 17 18 19 20 23 33 34 41 42 43 44 47 49
a 6 8 18 19 20 23 33 34 41 42 43 44 47 49 52
a 1 6 8 18 20 23 33 34 41 42 43 44 47 49 52
a 1 6 8 18 19 20 23 33 34 41 42 43 44 49 52
a 1 6 8 17 18 19 20 23 33 34 41 42 43 44 49
a 1 8 17 18 19 20 23 33 34 41 42 43 44 47 49
a 1 8 17 19 20 23 29 33 34 41 42 43 44 47 49
a 1 6 8 17 20 23 29 33 34 41 42 43 44 47 49
a 1 6 8 17 19 20 23 29 33 34 41 42 43 44 49
a 1 6 8 17 18 19 20 23 29 33 34 41 42 43 44
a 1 6 8 17 18 20 23 29 33 34 41 42 43 44 49
a 1 6 8 17 18 20 23 29 33 34 41 43 44 47 49
a 1 6 8 17 18 20 23 29 33 34 41 42 43 47 49
a 1 6 8 17 18 19 20 23 33 34 41 42 43 47 49
a 1 6 8 17 18 19 20 23 29 33 34 41 42 43 47
a 1 6 16 17 18 19 20 23 29 33 34 41 42 43 47
a 1 6 16 17 18 19 20 23 29 33 34 41 43 47 49
a 1 6 16 17 18 19 20 23 29 33 34 41 44 47 49
a 6 16 17 18 19 20 23 28 29 33 34 41 44 47 49
a 6 16 17 18 19 20 23 28 29 33 34 44 46 47 49
a 6 16 17 18 19 20 23 28 29 33 34 42 44 46 47
a 6 16 17 18 19 20 23 28 29 34 42 44 46 47 49
a 6 16 17 18 19 20 23 28 29 33 34 42 46 47 49
a 4 6 16 18 19 20 23 28 29 33 34 42 46 47 49
a 4 16 18 19 20 23 28 29 33 34 39 42 46 47 49
a 4 16 18 19 20 23 28 29 33 34 42 44 46 47 49
a 4 16 18 19 20 23 28 29 33 34 42 43 44 46 49
a 16 17 18 19 20 23 28 29 33 34 42 43 44 46 49
a 16 17 18 19 20 23 28 29 31 33 34 42 43 44 46
a 16 17 18 19 20 23 28 29 31 33 34 43 44 46 47
a 6 16 17 18 19 20 23 28 29 33 34 43 44 46 47
a 6 17 18 19 20 23 28 29 33 34 42 43 44 46 47
a 6 17 18 19 20 23 28 29 33 42 43 44 46 47 48
a 6 17 18 20 23 28 29 31 33 42 43 44 46 47 48
a 6 17 19 20 23 28 29 31 33 42 43 44 46 47 48
a 6 17 19 20 23 26 28 29 31 33 43 44 46 47 48
a 6 7 17 20 23 26 28 29 31 33 43 44 46 47 48
a 6 7 17 18 20 23 26 28 29 31 33 43 44 46 48
a 7 8 17 18 20 23 26 28 29 31 33 43 44 46 48
a 7 8 11 17 18 20 23 26 28 29 31 33 44 46 48
a 7 8 11 17 18 20 23 26 28 29 31 43 44 46 48
a 7 8 11 17 18 20 23 26 28 29 31 33 43 44 46
a 8 11 17 18 20 23 26 28 29 31 33 43 44 46 48
a 7 11 17 18 20 23 26 28 29 31 33 43 44 46 48
a 11 17 18 19 20 23 26 28 29 31 33 43 44 46 48
a 6 11 17 18 20 23 26 28 29 31 33 43 44 46 48
a 5 6 11 17 18 20 23 26 28 29 31 33 44 46 48
a 6 8 11 17 18 20 23 26 28 29 31 33 44 46 48
a 6 8 11 18 20 23 26 28 29 31 33 37 44 46 48
a 6 7 8 11 18 20 23 26 28 29 31 33 37 44 46
a 6 7 11 18 20 23 26 28 29 31 33 37 44 46 48
a 6 7 8 18 20 23 26 28 29 31 33 37 44 46 48
a 6 7 8 11 18 20 23 26 28 29 31 33 37 44 48
a 5 6 7 11 18 20 23 26 28 29 31 33 37 44 48
a 5 7 11 18 20 23 26 28 29 31 33 37 44 46 48
a 7 11 18 20 22 23 26 28 29 31 33 37 44 46 48
a 5 7 11 18 22 23 26 28 29 31 33 37 44 46 48
a 5 7 11 18 23 26 28 29 31 33 37 44 46 47 48
a 5 7 8 11 18 23 26 28 29 31 33 37 44 47 48
a 5 7 9 11 18 23 26 28 29 31 33 37 44 47 48
a 5 6 7 11 18 23 26 28 29 31 33 37 44 47 48
a 5 7 11 18 22 23 26 28 29 31 33 37 44 47 48
a 7 11 18 22 23 26 28 29 31 33 37 44 46 47 48
a 7 18 20 22 23 26 28 29 31 33 37 44 46 47 48
a 7 8 20 22 23 26 28 29 31 33 37 44 46 47 48
a 7 8 11 20 22 23 26 28 29 31 33 37 44 47 48
a 7 8 11 18 20 22 23 26 28 29 31 33 37 44 48
a 7 8 11 18 20 22 23 28 29 30 31 33 37 44 48
a 8 11 18 20 22 23 24 28 29 30 31 33 37 44 48
a 7 8 11 18 20 22 23 24 28 29 30 31 33 44 48
a 7 8 11 18 20 22 23 24 28 29 30 31 33 39 48
a 8 11 18 20 22 23 24 28 29 30 31 33 37 39 48
a 8 11 13 18 20 22 23 24 28 29 30 31 37 39 48
a 11 13 18 20 21 22 23 24 28 29 30 31 37 39 48
a 5 11 13 18 20 21 22 23 24 28 29 30 31 37 39
a 5 7 11 13 18 20 21 22 23 24 28 29 30 31 37
a 5 8 11 13 18 20 21 22 23 24 28 29 30 31 37
a 5 8 11 18 20 21 22 23 24 28 29 30 31 37 39
a 5 8 11 13 18 21 22 23 24 28 29 30 31 37 39
a 3 5 8 11 13 18 21 22 23 24 28 29 30 37 39
a 3 8 11 13 18 21 22 23 24 28 29 30 31 37 39
a 3 8 11 13 18 20 21 22 23 24 28 29 30 31 37
a 3 8 11 13 18 20 21 22 23 24 28 29 30 31 39
a 3 8 11 13 18 20 21 22 23 24 28 29 30 31 43
a 7 8 11 13 18 20 21 22 23 24 28 29 30 31 43
a 7 8 11 13 18 20 21 22 23 24 28 29 30 31 37
a 7 8 11 18 20 21 22 23 24 28 29 30 31 33 37
a 7 8 11 18 20 21 22 23 24 28 29 30 33 37 46
a 7 8 11 18 20 21 22 23 24 28 30 33 37 46 48
a 8 11 18 20 21 22 23 24 28 30 33 37 39 46 48
a 8 11 18 20 21 22 23 24 28 29 30 33 37 39 46
a 8 11 18 20 21 22 23 24 28 29 30 33 37 46 48
a 8 11 18 20 21 22 23 24 28 29 30 33 37 39 48
a 8 11 13 18 20 21 22 23 24 28 29 30 37 39 48
a 8 11 13 18 20 21 22 23 24 28 29 37 39 46 48
a 8 11 13 18 20 21 22 23 24 28 29 30 37 39 46
a 11 13 18 20 21 22 23 24 28 29 30 31 37 39 46
a 11 18 20 21 22 23 24 28 29 30 31 37 39 46 48
a 11 13 18 20 22 23 24 28 29 30 31 37 39 46 48
a 13 18 20 21 22 23 24 28 29 30 31 37 39 46 48
a 7 13 18 20 21 22 23 24 28 29 30 31 37 39 46
a 7 11 13 18 21 22 23 24 28 29 30 31 37 39 46
a 3 11 13 18 21 22 23 24 28 29 30 31 37 39 46
a 3 11 13 18 20 21 22 23 24 28 29 30 31 37 39
a 8 11 13 18 20 21 22 23 24 28 29 30 31 37 39
a 8 11 13 18 20 21 22 23 24 28 29 31 37 39 48
a 3 8 11 13 18 20 21 22 23 24 28 29 37 39 48
a 3 8 11 13 18 20 21 22 23 24 28 29 31 37 39
a 3 8 11 13 18 20 21 22 23 24 28 29 31 37 41
a 3 8 11 13 18 20 21 22 23 24 28 29 31 37 46
a 3 11 13 18 20 21 22 23 24 28 29 31 37 46 48
a 3 11 13 18 20 21 22 23 24 28 29 30 37 46 48
a 3 13 18 20 21 22 23 24 28 29 30 31 37 46 48
a 3 8 13 18 20 21 22 23 24 28 29 30 31 37 48
a 3 8 13 18 20 21 22 23 24 28 29 30 31 37 39
a 8 13 18 20 21 22 23 24 28 29 30 31 37 39 46
a 3 8 13 18 20 21 22 23 24 28 30 31 37 39 46
a 3 8 13 20 21 22 23 24 28 29 30 31 37 39 46
a 3 13 18 20 21 22 23 24 28 29 30 31 37 39 46
a 3 5 13 18 20 21 22 23 24 28 29 30 31 37 39
a 3 5 11 13 18 21 22 23 24 28 29 30 31 37 39
a 3 5 9 11 13 18 21 22 23 24 29 30 31 37 39
a 3 5 8 9 11 13 21 22 23 24 29 30 31 37 39
a 3 5 8 9 11 13 21 22 24 28 29 30 31 37 39
a 3 5 8 9 11 13 18 21 22 24 28 30 31 37 39
a 5 8 9 11 13 18 21 22 24 28 30 31 37 39 48
a 5 8 9 11 13 18 21 22 24 28 30 31 39 46 48
a 5 8 9 11 13 18 21 22 23 24 28 30 31 46 48
a 5 8 9 11 13 18 21 22 23 28 29 30 31 46 48
a 5 9 11 13 18 21 22 23 24 28 29 30 31 46 48
a 8 9 11 13 18 21 22 23 24 28 29 30 31 46 48
a 9 11 13 18 21 22 23 24 28 29 30 31 39 46 48
a 11 13 18 20 21 22 23 24 28 29 30 31 39 46 48
a 11 13 20 21 22 23 24 28 29 30 31 37 39 46 48
a 9 11 13 21 22 23 24 28 29 30 31 37 39 46 48
a 5 11 13 21 22 23 24 28 29 30 31 37 39 46 48
a 11 13 18 21 22 23 24 28 29 30 31 37 39 46 48
a 11 13 21 22 23 24 28 29 30 31 37 39 46 48 51
a 11 13 20 21 22 23 24 28 29 30 37 39 46 48 51
a 9 11 13 21 22 23 24 28 29 30 37 39 46 48 51
a 3 9 11 13 21 22 23 24 28 29 30 37 39 46 48
a 9 11 13 18 21 22 23 24 28 29 30 37 39 46 48
a 9 11 13 18 21 22 23 24 28 29 30 31 37 39 46
a 3 9 13 18 21 22 23 24 28 29 30 31 37 39 46
a 3 5 9 18 21 22 23 24 28 29 30 31 37 39 46
a 5 9 13 18 21 22 23 24 28 29 30 31 37 39 46
a 5 7 9 13 18 21 22 23 24 28 29 30 31 39 46
a 3 5 7 9 13 18 21 22 23 24 28 29 30 31 39
a 3 5 7 9 13 18 21 22 23 24 28 29 30 31 37
a 5 7 9 13 18 21 22 23 24 28 29 30 31 37 48
a 3 5 9 13 18 21 22 23 24 28 29 30 31 37 48
a 3 5 7 9 13 18 21 22 23 28 29 30 31 37 48
a 3 5 7 9 11 13 18 21 22 28 29 30 31 37 48
a 3 5 7 8 9 11 13 18 21 22 28 29 30 31 48
a 3 5 7 8 9 11 13 18 21 22 28 29 30 31 37
a 3 5 7 8 9 11 13 18 21 22 24 28 29 30 31
a 3 5 7 8 9 11 13 18 21 22 24 28 30 31 48
a 3 5 7 8 9 11 13 18 21 22 23 24 28 30 31
a 3 5 7 9 11 13 18 21 22 23 24 28 29 30 31
a 3 7 9 11 13 18 21 22 23 24 28 29 30 31 46
a 7 8 9 11 13 18 21 22 23 24 28 29 30 31 46
a 7 8 9 11 13 18 21 22 23 24 28 29 30 31 37
a 8 9 11 13 18 21 22 23 24 28 29 30 31 37 46
a 8 9 11 13 18 21 22 23 24 28 29 30 31 39 46
a 8 11 13 18 21 22 23 24 28 29 30 31 37 39 46
a 8 11 18 20 21 22 23 24 28 29 30 31 37 39 46
a 8 11 13 18 20 21 22 23 24 28 29 30 31 37 46
a 5 8 11 13 18 20 22 23 24 28 29 30 31 37 46
a 5 7 8 11 13 18 20 22 23 24 28 29 30 31 37
a 5 7 8 11 13 18 20 21 22 23 24 28 29 30 31
a 5 7 8 11 13 18 20 21 22 23 24 28 29 30 48
a 5 7 8 11 13 18 20 21 23 24 28 29 30 46 48
a 5 7 8 11 13 18 20 21 23 24 28 30 37 46 48
a 5 7 8 11 13 18 20 21 23 24 28 30 37 39 48
a 5 7 8 11 13 18 20 21 24 28 30 37 39 46 48
a 7 8 11 13 18 20 21 23 24 28 30 37 39 46 48
a 7 8 11 13 18 20 21 24 28 29 30 37 39 46 48
a 7 8 11 13 18 20 21 23 24 28 29 30 37 39 46
a 7 8 9 11 13 18 21 23 24 28 29 30 37 39 46
a 7 8 9 11 13 21 23 24 28 29 30 31 37 39 46
a 7 8 9 11 13 18 21 23 24 29 30 31 37 39 46
a 7 8 9 11 13 18 21 23 28 29 30 31 37 39 46
a 7 8 9 11 13 18 21 22 23 28 29 30 31 37 39
a 7 8 9 11 13 18 21 22 23 28 29 30 31 37 48
a 7 8 9 11 13 18 21 22 23 24 28 29 30 31 48
a 5 7 8 9 11 13 18 21 22 23 24 28 29 30 31
a 5 7 8 9 11 13 21 22 23 24 28 29 30 31 39
a 5 7 8 9 11 13 18 21 22 23 24 28 29 30 39
a 5 7 8 9 11 13 18 21 22 23 24 29 30 37 39
a 5 7 9 11 13 18 21 22 23 24 29 30 31 37 39
a 7 9 11 13 18 21 22 23 24 28 29 30 31 37 39
a 9 11 13 18 21 22 23 24 28 29 30 31 37 39 48
a 7 9 11 13 21 22 23 24 28 29 30 31 37 39 48
a 8 9 11 13 21 22 23 24 28 29 30 31 37 39 48
a 3 9 11 13 21 22 23 24 28 29 30 31 37 39 48
a 3 5 11 13 21 22 23 24 28 29 30 31 37 39 48
a 5 9 11 13 21 22 23 24 28 29 30 31 37 39 48
a 5 9 11 18 21 22 23 24 28 29 30 31 37 39 48
a 5 9 11 13 18 21 22 23 24 28 29 30 31 37 39
a 5 7 9 11 18 21 22 23 24 28 29 30 31 37 39
a 7 8 9 11 18 21 22 23 24 28 29 30 31 37 39
a 7 8 9 11 18 21 22 23 24 28 29 30 31 37 46
a 7 8 9 13 18 21 22 23 24 28 29 30 31 37 46
a 7 8 9 18 21 22 23 24 28 29 30 31 37 39 46
a 7 8 9 11 18 21 23 24 28 29 30 31 37 39 46
a 5 7 8 9 11 18 21 24 28 29 30 31 37 39 46
a 5 8 9 11 13 18 21 24 28 29 30 31 37 39 46
a 5 7 9 11 13 18 21 24 28 29 30 31 37 39 46
a 5 7 9 11 13 18 21 23 24 28 29 30 31 39 46
a 5 7 11 13 18 21 22 23 24 28 29 30 31 39 46
a 5 7 11 13 18 21 22 23 24 28 29 31 37 39 46
a 5 7 8 11 13 18 21 22 23 24 28 29 31 37 39
a 7 8 9 11 13 18 21 22 23 24 28 29 31 37 39
a 8 9 11 13 18 21 22 23 24 28 29 31 37 39 48
a 8 9 11 13 18 21 22 23 24 28 29 37 39 48 49
a 8 9 11 18 21 22 23 24 28 29 33 37 39 48 49
a 8 9 11 18 21 22 23 24 28 29 33 39 42 48 49
a 8 9 11 17 18 21 23 24 28 29 33 39 42 48 49
a 8 9 11 17 18 19 21 24 28 29 33 39 42 48 49
a 8 9 11 17 19 21 24 28 29 33 38 39 42 48 49
a 8 9 11 17 19 21 28 29 33 38 39 42 47 48 49
a 8 9 17 19 21 28 29 32 33 38 39 42 47 48 49
a 8 9 17 19 21 28 29 32 33 38 42 43 47 48 49
a 8 9 17 19 28 29 32 33 38 42 43 44 47 48 49
a 6 8 17 19 28 29 32 33 38 42 43 44 47 48 49
a 6 8 17 19 28 29 32 33 34 38 42 43 44 47 49
a 6 16 17 19 28 29 32 33 34 38 42 43 44 47 49
c Step: 441
#END: [Mon Sep  4 16:11:08 2023]