#BEGIN: [Mon Sep  4 15:41:01 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance004_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance004_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_instance004_graph002.col /benchmark/random_instance/random_instance004_graph002_01.dat
c /benchmark/random_instance/random_instance004_graph002.col
c /benchmark/random_instance/random_instance004_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID cffcbce04cfb9f3eb7d2e5701126ff315f1eb537f3dbf092ceb24cdc4197678b
s 23 17 14 4 3 11 50 31 28 8 26 12 44 25 22 24
t 52 11 50 51 12 28 44 13 31 36 37 29 2 32 24 10
a YES
a 3 4 8 11 12 14 17 22 23 24 25 26 28 31 44 50
a 3 4 8 11 12 14 17 22 24 25 26 28 31 34 44 50
a 3 8 11 12 14 17 22 24 25 26 28 31 34 41 44 50
a 3 8 11 12 14 17 22 24 25 26 28 34 41 44 47 50
a 3 8 11 14 17 22 24 25 26 28 34 41 44 45 47 50
a 3 8 9 11 14 17 22 24 25 28 34 41 44 45 47 50
a 3 8 11 14 17 22 24 25 28 34 41 44 45 47 48 50
a 3 8 11 14 17 22 24 25 26 28 34 41 44 47 48 50
a 3 8 9 11 14 17 22 24 25 26 28 34 41 44 47 50
a 3 8 9 11 17 22 24 25 26 28 34 36 41 44 47 50
a 3 8 11 17 22 24 25 26 28 34 36 41 44 47 48 50
a 3 8 11 12 17 22 24 25 26 28 34 36 44 47 48 50
a 3 4 8 11 12 17 22 24 25 26 28 34 36 44 47 50
a 3 4 9 11 12 17 22 24 25 26 28 34 36 44 47 50
a 3 4 8 9 11 12 17 22 24 25 28 34 36 44 47 50
a 4 8 9 11 12 17 22 24 25 28 29 34 36 44 47 50
a 8 9 11 12 17 22 24 25 28 29 34 36 41 44 47 50
a 3 8 9 11 12 17 22 24 25 28 34 36 41 44 47 50
a 3 8 9 11 12 14 17 22 24 25 28 34 41 44 47 50
a 3 9 10 11 12 14 17 22 24 25 28 34 41 44 47 50
a 8 9 10 11 12 14 17 22 24 25 28 34 41 44 47 50
a 8 9 10 11 12 14 17 21 22 24 25 34 41 44 47 50
a 8 9 10 11 12 14 21 22 24 25 34 41 44 47 50 52
a 3 8 9 10 11 12 14 21 22 24 25 34 41 44 50 52
a 3 8 9 11 12 14 21 22 24 25 26 34 41 44 50 52
a 3 8 9 11 14 21 22 24 25 26 30 34 41 44 50 52
a 3 5 8 9 11 14 21 22 24 25 26 30 34 41 50 52
a 3 5 8 9 11 14 16 21 22 24 25 26 30 34 41 50
a 3 5 8 9 11 14 16 21 22 24 25 26 30 34 44 50
a 3 5 8 9 11 14 16 21 22 24 25 26 27 30 34 44
a 3 8 9 11 14 16 21 22 24 25 26 27 30 34 44 52
a 3 5 8 9 11 14 16 21 22 25 26 27 30 34 44 52
a 3 8 9 11 14 16 21 22 25 26 27 30 32 34 44 52
a 8 9 11 14 16 21 22 25 26 27 30 32 34 42 44 52
a 5 8 9 11 14 16 21 22 25 26 27 30 32 34 42 52
a 5 8 9 11 14 16 21 22 25 26 30 32 34 42 50 52
a 5 8 9 11 14 16 21 22 25 26 30 32 34 44 50 52
a 5 8 9 11 14 16 21 22 24 25 26 30 32 34 44 52
a 5 8 9 11 14 16 21 22 24 25 26 30 34 41 44 52
a 5 8 9 11 14 16 21 22 23 24 25 26 30 41 44 52
a 3 5 8 9 11 14 16 21 22 23 24 25 26 30 41 44
a 3 5 8 9 11 12 14 16 21 22 23 24 25 26 41 44
a 3 5 8 9 11 12 14 16 21 22 23 24 25 26 33 41
a 5 8 9 11 12 14 16 21 22 23 24 25 26 33 41 52
a 8 9 11 12 14 16 21 22 23 24 25 26 33 41 50 52
a 8 11 12 14 16 21 22 23 24 25 26 33 41 47 50 52
a 8 11 12 14 16 22 23 24 25 26 28 33 41 47 50 52
a 8 11 12 16 22 23 24 25 26 28 33 36 41 47 50 52
a 8 11 12 16 22 23 24 25 26 28 36 41 44 47 50 52
a 2 8 11 12 16 22 23 24 25 26 28 36 41 44 47 52
a 2 3 8 11 12 16 22 23 24 25 28 36 41 44 47 52
a 2 3 8 10 11 16 22 23 24 25 28 36 41 44 47 52
a 2 3 8 10 11 12 16 22 23 24 25 28 36 44 47 52
a 2 3 8 9 10 11 12 16 23 24 25 28 36 44 47 52
a 2 3 9 10 11 12 16 23 24 25 28 36 39 44 47 52
a 2 3 9 10 12 16 23 24 25 28 36 39 41 44 47 52
a 2 3 10 12 16 23 24 25 28 36 37 39 41 44 47 52
a 2 10 12 16 23 24 25 28 36 37 39 41 44 47 51 52
a 10 12 16 23 24 25 28 36 37 39 41 44 47 50 51 52
a 10 12 14 16 23 24 25 28 37 39 41 44 47 50 51 52
a 9 10 12 14 23 24 25 28 37 39 41 44 47 50 51 52
a 9 10 11 12 23 24 25 28 37 39 41 44 47 50 51 52
a 9 10 11 12 16 23 24 25 28 37 39 41 44 47 50 51
a 9 10 11 12 16 23 24 25 28 37 39 41 44 47 50 52
a 9 10 11 12 14 16 23 24 25 28 37 39 41 44 47 52
a 3 9 10 11 12 14 16 23 25 28 37 39 41 44 47 52
a 3 9 10 11 12 14 16 21 23 25 37 39 41 44 47 52
a 3 9 10 11 12 14 21 23 25 37 39 41 44 47 51 52
a 3 9 10 12 14 21 23 25 37 39 41 44 47 50 51 52
a 3 9 10 12 14 16 21 23 25 39 41 44 47 50 51 52
a 3 10 12 14 16 21 23 25 37 39 41 44 47 50 51 52
a 3 9 12 14 16 21 23 25 37 39 41 44 47 50 51 52
a 9 10 12 14 16 21 23 25 37 39 41 44 47 50 51 52
a 9 10 12 14 16 21 23 24 25 37 39 41 44 50 51 52
a 9 10 11 12 14 16 21 23 24 25 37 39 41 44 51 52
a 10 11 12 14 16 21 23 24 25 37 39 41 44 47 51 52
a 10 11 12 14 16 21 23 24 25 37 39 41 44 50 51 52
a 3 10 11 12 14 16 21 23 24 25 37 39 41 44 50 52
a 3 10 11 12 14 16 21 23 24 25 39 41 44 50 51 52
a 3 10 11 12 14 16 21 23 24 25 41 44 47 50 51 52
a 10 11 12 14 16 21 23 24 25 39 41 44 47 50 51 52
a 10 11 12 14 16 21 23 24 25 37 39 41 44 47 50 51
a 10 11 12 14 16 21 23 25 37 39 41 44 47 50 51 52
a 10 11 12 14 16 23 25 28 37 39 41 44 47 50 51 52
a 11 12 14 16 23 24 25 28 37 39 41 44 47 50 51 52
a 11 12 14 16 21 23 24 25 37 39 41 44 47 50 51 52
a 9 11 12 14 16 21 23 24 25 37 39 41 44 50 51 52
a 9 10 11 12 14 16 21 23 24 25 37 41 44 50 51 52
a 9 10 11 12 14 16 21 24 25 37 39 41 44 50 51 52
a 3 9 10 11 12 14 16 21 24 25 37 39 41 50 51 52
a 9 10 11 12 14 16 21 23 24 25 37 39 41 50 51 52
a 9 10 11 12 14 16 21 23 25 37 39 41 44 50 51 52
a 3 9 10 11 12 14 16 21 23 25 39 41 44 50 51 52
a 9 10 11 12 14 16 21 23 24 25 39 41 44 50 51 52
a 3 9 10 11 12 14 16 21 23 24 25 41 44 50 51 52
a 3 9 11 12 14 16 21 23 24 25 37 41 44 50 51 52
a 3 9 10 11 12 14 16 21 23 24 25 37 41 44 50 51
a 3 10 11 12 14 16 21 23 24 25 37 41 44 50 51 52
a 3 10 11 12 14 16 21 23 24 25 37 39 41 44 51 52
a 3 9 10 11 12 14 16 21 23 24 25 37 39 41 51 52
a 3 9 10 11 12 14 16 21 23 24 25 37 39 41 44 51
a 3 9 10 11 12 14 16 21 23 24 25 37 39 41 50 51
a 3 9 10 11 12 14 16 21 24 25 37 39 41 47 50 51
a 3 9 10 12 14 16 21 23 24 25 37 39 41 47 50 51
a 3 9 10 12 14 16 21 23 25 37 39 41 44 47 50 51
a 9 10 11 12 14 16 21 23 25 37 39 41 44 47 50 51
a 9 10 11 12 14 16 21 23 25 37 39 41 47 50 51 52
a 9 11 12 14 15 16 21 23 25 37 39 41 47 50 51 52
a 9 11 12 15 16 21 23 25 37 39 41 44 47 50 51 52
a 9 10 11 12 15 16 21 23 25 37 39 41 44 47 50 52
a 9 10 11 15 16 21 23 25 37 39 41 44 47 50 51 52
a 10 11 12 15 16 21 23 25 37 39 41 44 47 50 51 52
a 10 11 14 15 16 21 23 25 37 39 41 44 47 50 51 52
a 3 10 11 15 16 21 23 25 37 39 41 44 47 50 51 52
a 3 10 11 14 16 21 23 25 37 39 41 44 47 50 51 52
a 3 10 11 12 16 21 23 25 37 39 41 44 47 50 51 52
a 3 10 11 12 16 21 23 24 25 37 39 41 44 50 51 52
a 3 11 12 16 21 23 24 25 37 39 41 44 47 50 51 52
a 3 10 11 12 21 23 24 25 37 39 41 44 47 50 51 52
a 2 3 10 11 12 23 24 25 37 39 41 44 47 50 51 52
a 3 10 11 12 16 23 24 25 37 39 41 44 47 50 51 52
a 2 3 10 11 12 16 23 24 25 37 39 41 47 50 51 52
a 2 3 10 11 12 16 23 24 25 28 37 39 41 47 50 51
a 2 3 10 11 12 14 16 23 24 25 28 39 41 47 50 51
a 2 10 11 12 14 16 23 24 25 28 39 41 44 47 50 51
a 2 10 11 12 14 16 23 24 25 28 37 39 41 44 47 50
a 2 10 11 12 14 16 23 24 25 37 39 41 44 47 50 51
a 10 11 12 14 16 23 24 25 37 39 41 44 47 50 51 52
a 2 10 11 12 14 16 23 24 25 37 39 44 47 50 51 52
a 2 10 11 12 14 16 23 25 37 39 41 44 47 50 51 52
a 2 10 12 14 16 23 24 25 37 39 41 44 47 50 51 52
a 2 10 12 14 16 23 24 25 28 37 39 41 44 47 50 51
a 2 3 12 14 16 23 24 25 28 37 39 41 44 47 50 51
a 2 3 12 16 23 24 25 28 37 39 41 44 47 50 51 52
a 2 3 10 12 16 23 24 25 28 37 39 41 44 47 51 52
a 2 3 10 11 12 16 23 24 25 28 37 39 41 44 51 52
a 2 3 9 10 11 12 16 23 24 25 28 37 39 41 51 52
a 2 3 9 10 11 12 16 23 24 25 28 37 39 41 47 52
a 2 3 9 10 11 12 14 16 23 24 25 28 37 39 41 47
a 2 3 9 10 11 12 14 16 23 24 25 28 37 41 47 52
a 2 3 9 10 11 12 14 16 23 24 25 28 37 47 50 52
a 2 3 9 10 11 12 14 16 23 24 25 28 41 47 50 52
a 2 3 9 10 11 12 14 16 23 24 25 28 39 41 47 50
a 2 3 9 10 11 12 14 16 23 25 28 39 41 44 47 50
a 2 9 10 11 12 14 16 23 24 25 28 39 41 44 47 50
a 2 9 10 11 12 14 16 23 24 25 28 41 44 47 50 52
a 2 9 10 11 12 14 16 23 24 25 28 39 41 44 50 52
a 2 3 9 10 11 14 16 23 24 25 28 39 41 44 50 52
a 2 3 10 11 14 16 23 24 25 28 37 39 41 44 50 52
a 2 3 9 10 11 14 16 23 24 25 28 37 39 41 44 52
a 3 9 10 11 12 14 16 23 24 25 28 37 39 41 44 52
a 3 9 10 11 12 14 16 23 24 25 37 39 41 44 51 52
a 3 9 10 11 12 14 16 23 25 37 39 41 44 50 51 52
a 9 10 11 12 14 15 16 23 25 37 39 41 44 50 51 52
a 9 10 11 12 14 15 16 21 23 25 37 39 41 50 51 52
a 9 10 11 12 14 15 16 21 23 25 37 39 41 44 51 52
a 9 10 11 14 15 16 21 23 25 37 39 41 44 50 51 52
a 9 10 11 14 16 21 23 25 37 39 41 44 47 50 51 52
a 9 10 14 16 21 23 24 25 37 39 41 44 47 50 51 52
a 9 10 11 16 21 23 24 25 37 39 41 44 47 50 51 52
a 9 10 11 14 16 21 23 24 25 37 41 44 47 50 51 52
a 9 10 11 12 14 16 23 24 25 37 41 44 47 50 51 52
a 9 10 11 12 14 16 23 24 25 37 39 41 44 47 50 51
a 9 10 11 12 14 16 23 24 25 37 39 41 47 50 51 52
a 9 10 11 12 14 16 24 25 37 39 41 44 47 50 51 52
a 9 10 11 14 16 24 25 37 39 41 44 45 47 50 51 52
a 9 11 14 16 24 25 37 39 41 44 45 47 49 50 51 52
a 9 11 14 16 24 25 32 37 39 44 45 47 49 50 51 52
a 9 11 13 14 16 24 32 37 39 44 45 47 49 50 51 52
a 9 11 13 14 16 24 26 32 39 44 45 47 49 50 51 52
a 9 11 13 14 16 24 26 32 33 39 45 47 49 50 51 52
a 9 11 13 14 16 24 26 28 32 39 45 47 49 50 51 52
a 9 13 14 16 24 26 28 32 33 39 45 47 49 50 51 52
a 9 13 14 16 26 28 32 33 39 42 45 47 49 50 51 52
a 9 13 14 16 24 26 28 32 33 39 42 45 47 50 51 52
a 9 13 14 16 24 26 28 32 33 42 45 47 49 50 51 52
a 9 11 13 14 16 24 26 32 33 42 45 47 49 50 51 52
a 9 11 13 16 24 26 32 33 39 42 45 47 49 50 51 52
a 9 11 13 24 26 28 32 33 39 42 45 47 49 50 51 52
a 9 11 13 16 26 28 32 33 39 42 45 47 49 50 51 52
a 9 11 13 16 26 28 32 33 36 39 42 45 47 49 50 52
a 9 11 13 16 26 28 32 36 39 42 45 47 49 50 51 52
a 9 11 16 26 28 32 33 36 39 42 45 47 49 50 51 52
a 9 11 16 25 26 28 32 33 36 42 45 47 49 50 51 52
a 9 11 16 24 25 26 28 32 33 36 42 45 49 50 51 52
a 9 16 24 25 26 28 32 33 36 42 45 47 49 50 51 52
a 9 24 25 26 28 32 33 36 39 42 45 47 49 50 51 52
a 11 24 25 26 28 32 33 36 39 42 45 47 49 50 51 52
a 9 11 25 26 28 32 33 36 39 42 45 47 49 50 51 52
a 9 11 24 25 26 28 32 33 36 39 42 45 47 49 50 52
a 3 9 11 24 25 26 28 32 33 36 39 45 47 49 50 52
a 2 3 9 24 25 26 28 32 33 36 39 45 47 49 50 52
a 2 3 9 16 24 25 26 28 32 33 36 45 47 49 50 52
a 2 3 9 11 16 24 25 26 28 32 33 36 45 47 49 52
a 2 3 9 16 24 25 26 28 32 33 36 39 45 47 49 52
a 2 3 9 16 22 24 25 26 28 32 33 36 45 47 49 52
a 2 3 9 14 16 22 24 25 26 28 32 33 45 47 49 52
a 2 9 14 16 22 24 25 26 28 32 33 45 47 49 50 52
a 2 3 9 16 22 24 25 26 28 32 33 45 47 49 50 52
a 2 3 9 14 16 22 24 25 26 28 32 33 47 49 50 52
a 3 9 14 16 22 24 25 26 28 32 33 45 47 49 50 52
a 2 3 9 14 16 22 25 26 28 32 33 45 47 49 50 52
a 3 9 11 14 16 22 25 26 28 32 33 45 47 49 50 52
a 3 11 14 16 22 24 25 26 28 32 33 45 47 49 50 52
a 3 9 11 14 16 22 24 25 26 28 32 33 45 47 49 50
a 3 9 11 14 16 22 24 25 26 28 32 33 45 47 49 52
a 9 11 14 16 22 24 25 26 28 32 33 42 45 47 49 52
a 9 14 16 22 24 25 26 28 32 33 42 45 47 49 50 52
a 9 16 22 24 25 26 28 32 33 36 42 45 47 49 50 52
a 8 9 16 22 24 25 26 28 32 33 36 42 45 47 49 52
a 8 16 22 24 25 26 28 32 33 36 42 45 47 49 50 52
a 8 9 16 22 24 25 26 28 32 33 42 45 47 49 50 52
a 8 9 14 16 22 24 25 26 32 33 42 45 47 49 50 52
a 8 9 14 21 22 24 25 26 32 33 42 45 47 49 50 52
a 8 9 14 17 21 22 24 25 26 32 33 42 45 47 49 50
a 8 14 17 21 22 24 25 26 32 33 42 45 47 48 49 50
a 8 14 17 21 22 25 26 32 33 35 42 45 47 48 49 50
a 8 15 17 21 22 25 26 32 33 35 42 45 47 48 49 50
a 14 15 17 21 22 25 26 32 33 35 42 45 47 48 49 50
a 11 14 17 21 22 25 26 32 33 35 42 45 47 48 49 50
a 11 14 15 17 21 25 26 32 33 35 42 45 47 48 49 50
a 8 11 14 15 17 21 26 32 33 35 42 45 47 48 49 50
a 8 14 15 17 21 25 26 32 33 35 42 45 47 48 49 50
a 8 11 14 17 21 25 26 32 33 35 42 45 47 48 49 50
a 8 11 14 15 17 21 25 26 32 33 35 42 45 47 48 49
a 6 8 11 14 15 17 21 25 26 33 35 42 45 47 48 49
a 6 8 11 14 15 17 21 25 26 33 35 41 45 47 48 49
a 6 8 11 14 15 17 21 25 26 33 35 40 41 45 48 49
a 6 8 11 14 15 17 21 25 26 30 33 35 40 41 48 49
a 8 11 14 15 17 21 25 26 27 30 33 35 40 41 48 49
a 8 11 14 15 16 21 25 26 27 30 33 35 40 41 48 49
a 8 11 14 15 16 21 22 25 26 27 30 33 35 40 41 49
a 6 8 11 14 15 16 21 22 25 26 27 30 33 35 40 49
a 6 8 11 14 15 16 21 22 25 26 27 30 35 40 48 49
a 6 8 11 14 15 16 21 22 25 27 30 35 40 41 48 49
a 6 8 11 14 15 16 21 22 27 30 35 40 41 44 48 49
a 6 8 11 14 15 16 21 22 25 27 30 35 40 41 44 48
a 6 8 11 14 15 16 21 22 25 26 27 30 35 40 41 44
a 6 8 11 14 15 16 21 22 25 26 27 30 35 40 41 48
a 6 8 11 14 15 16 21 22 25 26 27 30 40 41 48 49
a 6 8 11 14 15 16 21 22 25 26 27 30 40 42 48 49
a 6 8 11 14 15 16 21 22 25 26 27 40 42 44 48 49
a 6 8 11 14 15 17 21 22 25 26 27 40 42 44 48 49
a 6 8 11 14 15 17 21 22 25 26 27 30 42 44 48 49
a 8 11 14 15 17 21 22 25 26 27 30 32 42 44 48 49
a 8 11 14 15 17 21 22 25 26 27 30 32 35 44 48 49
a 6 8 11 14 15 17 21 22 25 26 27 30 35 44 48 49
a 8 11 14 15 17 21 22 25 26 27 30 35 42 44 48 49
a 6 8 11 14 15 17 21 22 25 26 27 30 35 42 48 49
a 6 8 11 14 15 17 21 22 25 26 27 30 35 40 48 49
a 6 8 11 14 15 17 21 22 26 27 30 35 40 44 48 49
a 6 8 11 14 15 17 21 22 25 26 30 35 40 44 48 49
a 6 8 11 14 15 17 21 22 25 26 30 33 35 40 48 49
a 6 8 11 14 15 17 21 22 25 26 27 30 33 35 40 49
a 6 8 11 14 15 17 21 22 25 26 27 30 33 35 40 42
a 8 11 14 15 17 21 22 25 26 27 30 33 35 40 42 49
a 8 11 14 15 17 21 22 25 26 27 30 33 35 40 42 48
a 11 14 15 17 21 22 25 26 27 30 33 35 40 42 48 49
a 8 11 14 15 17 21 22 25 26 27 30 33 35 40 48 49
a 8 11 14 15 16 21 22 25 26 27 30 33 35 40 48 49
a 6 8 11 14 15 16 21 22 25 26 30 33 35 40 48 49
a 6 8 11 14 15 16 22 25 26 30 33 35 40 42 48 49
a 6 8 11 14 15 17 22 25 26 30 33 35 40 42 48 49
a 6 8 11 14 15 17 22 25 26 30 33 35 40 41 48 49
a 6 8 11 14 15 17 22 25 26 27 33 35 40 41 48 49
a 6 8 11 14 15 16 22 25 26 27 33 35 40 41 48 49
a 6 8 11 14 15 16 21 22 25 27 33 35 40 41 48 49
a 6 8 11 14 15 16 21 22 25 27 33 35 40 41 49 52
a 6 8 11 14 15 16 21 22 25 27 30 33 35 40 41 52
a 6 8 11 14 15 16 21 22 25 26 27 30 33 40 41 52
a 6 8 11 14 15 16 21 22 26 27 30 33 40 41 49 52
a 6 8 11 14 15 16 21 22 26 27 30 33 35 40 49 52
a 6 7 8 11 14 15 16 22 26 27 30 33 35 40 49 52
a 1 6 7 8 11 14 15 16 22 27 30 33 35 40 49 52
a 1 6 7 8 11 14 15 16 22 27 30 35 40 41 49 52
a 1 6 7 8 11 14 15 16 22 25 27 30 35 40 41 52
a 1 2 6 7 8 11 14 16 22 25 27 30 35 40 41 52
a 2 6 7 8 11 14 16 22 25 26 27 30 35 40 41 52
a 2 6 7 11 14 16 22 25 26 27 30 33 35 40 41 52
a 2 6 7 11 14 16 22 25 26 27 30 33 35 40 49 52
a 2 6 7 8 11 16 22 25 26 27 30 33 35 40 49 52
a 1 2 7 8 11 16 22 25 26 27 30 33 35 40 49 52
a 1 2 6 7 8 11 16 22 25 26 27 30 33 35 40 49
a 1 6 7 8 11 16 22 25 26 27 30 33 35 40 41 49
a 1 6 7 8 15 16 22 25 26 27 30 33 35 40 41 49
a 1 6 7 8 11 15 16 22 25 27 30 33 35 40 41 49
a 1 6 7 8 11 14 15 16 25 27 30 33 35 40 41 49
a 1 6 7 8 11 14 15 16 25 26 27 30 33 35 40 41
a 1 6 7 8 11 14 15 16 25 26 27 30 33 35 41 49
a 1 6 7 8 11 14 15 16 25 26 27 30 33 41 49 52
a 1 6 7 8 14 15 16 25 26 27 30 33 40 41 49 52
a 1 6 7 8 14 15 16 25 26 27 30 33 35 40 49 52
a 1 6 7 8 11 14 15 16 25 26 27 30 33 35 40 49
a 1 6 7 8 11 14 15 16 22 25 26 27 30 33 40 49
a 1 6 7 8 11 14 15 16 22 25 26 27 30 33 35 49
a 1 6 8 11 14 15 16 22 25 26 27 30 33 35 40 49
a 1 6 8 11 14 15 16 22 25 26 27 30 33 35 40 41
a 1 6 7 8 11 14 15 16 22 25 26 27 30 33 35 40
a 1 6 8 11 14 15 16 22 25 26 27 30 33 35 40 52
a 1 6 7 8 11 14 15 16 22 25 26 30 33 35 40 52
a 1 6 7 8 11 14 15 16 22 25 26 30 33 35 40 49
a 1 6 7 8 11 14 15 16 22 25 26 27 30 35 40 49
a 1 6 7 8 11 14 15 16 22 25 26 27 30 35 49 52
a 1 6 7 8 11 14 15 16 22 25 26 27 35 45 49 52
a 1 6 7 8 11 14 15 16 22 25 26 27 40 45 49 52
a 1 6 7 8 11 14 15 22 25 26 27 33 40 45 49 52
a 1 6 7 8 11 14 15 22 25 26 27 33 35 40 45 49
a 6 7 8 11 14 15 16 22 25 26 27 33 35 40 45 49
a 2 6 7 8 11 14 16 22 25 26 27 33 35 40 45 49
a 2 6 7 8 11 14 16 22 25 26 27 33 35 40 41 49
a 1 2 6 7 8 11 14 16 22 25 26 27 33 35 40 49
a 1 2 6 7 8 11 14 16 22 25 26 27 33 35 45 49
a 1 2 6 7 8 11 14 16 22 25 26 27 35 40 45 49
a 1 2 6 7 8 11 14 16 22 25 26 27 35 40 41 45
a 2 6 7 8 11 14 16 22 25 26 27 33 35 40 41 45
a 2 6 7 8 11 14 16 22 25 26 27 28 33 40 41 45
a 2 7 8 9 11 14 16 22 25 26 27 28 33 40 41 45
a 2 7 8 9 11 14 16 22 24 25 26 27 28 33 40 41
a 2 7 8 9 11 14 16 22 24 25 26 27 28 33 40 52
a 2 7 9 11 14 16 22 24 25 26 27 28 33 40 45 52
a 2 7 8 9 11 14 16 22 24 25 26 27 28 33 40 45
a 2 7 8 9 11 14 16 22 24 25 26 27 28 32 33 40
a 2 7 8 9 11 14 16 22 24 25 26 27 28 32 33 52
a 2 7 8 9 11 14 16 22 24 25 26 27 28 32 33 45
a 1 2 7 8 9 11 14 16 22 24 25 26 27 28 32 33
a 1 7 8 9 11 14 16 22 24 25 26 27 28 32 33 52
a 1 7 8 9 11 14 16 22 24 25 26 27 28 32 33 40
a 1 7 8 9 11 14 16 22 24 25 26 27 28 33 40 49
a 1 2 7 8 9 11 14 16 22 24 25 26 27 28 33 40
a 1 2 7 8 9 11 14 16 22 25 26 27 28 33 40 45
a 2 7 8 9 11 14 16 22 25 26 27 28 33 40 45 49
a 2 7 8 9 11 14 16 22 25 26 27 28 32 33 45 49
a 2 7 8 9 11 14 16 22 25 26 27 28 32 33 40 45
a 2 7 8 9 11 14 16 22 24 25 26 27 28 32 40 45
a 2 7 8 9 11 14 16 22 24 26 27 28 32 33 40 45
a 2 7 8 9 14 16 22 24 26 27 28 32 33 40 45 49
a 2 7 8 9 11 14 16 22 24 27 28 32 33 40 45 49
a 2 7 9 11 14 16 22 24 26 27 28 32 33 40 45 49
a 2 7 8 9 11 14 16 24 26 27 28 32 33 40 45 49
a 2 8 9 11 14 16 24 25 26 27 28 32 33 40 45 49
a 1 2 9 11 14 16 24 25 26 27 28 32 33 40 45 49
a 1 2 7 9 11 14 16 24 25 26 27 28 33 40 45 49
a 1 2 7 8 9 11 14 16 24 25 27 28 33 40 45 49
a 1 2 7 8 9 11 14 16 24 25 26 27 28 33 40 45
a 1 7 8 9 11 14 16 22 24 25 26 27 28 33 40 45
a 1 2 7 8 9 11 14 16 22 24 25 27 28 33 40 45
a 1 2 7 8 9 11 14 16 22 24 25 27 33 40 45 52
a 1 2 7 8 9 11 16 22 24 25 27 33 40 41 45 52
a 1 2 7 9 11 16 22 24 25 27 28 33 40 41 45 52
a 1 7 9 11 14 16 22 24 25 27 28 33 40 41 45 52
a 7 9 11 14 16 22 24 25 26 27 28 33 40 41 45 52
a 9 11 14 16 22 24 25 26 27 28 33 40 41 45 49 52
a 7 9 11 14 16 22 25 26 27 28 33 40 41 45 49 52
a 7 9 11 14 16 22 24 25 26 27 28 33 40 41 45 49
a 1 7 9 11 14 16 22 24 25 26 27 28 33 40 41 45
a 1 7 8 9 11 14 16 22 24 25 26 27 28 33 40 41
a 1 7 8 9 11 14 16 22 24 25 26 27 33 40 41 49
a 1 7 8 9 11 14 16 22 24 25 26 27 40 41 45 49
a 1 7 8 9 11 14 16 22 25 26 27 33 40 41 45 49
a 1 7 8 9 11 14 16 22 25 26 27 32 33 40 45 49
a 1 7 8 9 11 14 16 22 26 27 28 32 33 40 45 49
a 1 8 9 11 14 16 22 24 26 27 28 32 33 40 45 49
a 1 8 9 11 14 16 22 24 26 27 28 33 40 41 45 49
a 8 9 11 14 16 22 24 25 26 27 28 33 40 41 45 49
a 7 8 11 14 16 22 24 25 26 27 28 33 40 41 45 49
a 7 8 9 11 14 16 22 24 25 26 27 28 33 40 41 45
a 7 8 9 11 14 16 22 24 25 27 28 33 40 41 45 49
a 7 8 9 11 14 16 24 25 27 28 33 40 41 45 49 52
a 7 9 11 14 16 24 25 26 27 28 33 40 41 45 49 52
a 1 9 11 14 16 24 25 26 27 28 33 40 41 45 49 52
a 1 9 11 14 16 22 24 25 26 27 28 33 40 41 49 52
a 1 7 9 11 14 16 24 25 26 27 28 33 40 41 49 52
a 1 7 9 11 14 16 22 24 25 26 27 28 33 40 41 49
a 1 7 9 11 14 16 22 24 25 26 27 28 33 40 49 52
a 1 7 8 11 14 16 22 24 25 26 27 28 33 40 49 52
a 1 2 7 8 11 14 16 22 24 25 26 27 28 33 49 52
a 1 2 7 8 11 14 16 22 24 25 26 27 28 33 40 52
a 1 2 8 11 14 16 22 24 25 26 27 28 33 40 41 52
a 1 2 8 11 14 16 22 24 25 26 27 28 33 40 45 52
a 1 2 11 14 16 22 24 25 26 27 28 33 40 41 45 52
a 1 7 11 14 16 22 24 25 26 27 28 33 40 41 45 52
a 1 7 9 11 14 16 22 24 25 26 27 28 33 40 45 52
a 1 7 8 9 11 14 16 22 24 25 26 27 28 33 45 52
a 7 8 9 11 14 16 22 24 25 26 27 28 33 45 49 52
a 7 8 9 11 14 16 22 24 25 26 28 33 40 45 49 52
a 8 9 11 14 16 22 24 25 26 27 28 33 40 45 49 52
a 8 9 11 14 16 22 24 25 26 27 28 33 40 41 49 52
a 8 11 14 16 22 24 25 26 27 28 33 40 41 45 49 52
a 7 8 14 16 22 24 25 26 27 28 33 40 41 45 49 52
a 7 9 14 16 22 24 25 26 27 28 33 40 41 45 49 52
a 8 9 14 16 22 24 25 26 27 28 33 40 41 45 49 52
a 2 8 9 14 16 22 24 25 26 27 28 33 40 41 45 49
a 1 8 9 14 16 22 24 25 26 27 28 33 40 41 45 49
a 1 2 8 9 14 22 24 25 26 27 28 33 40 41 45 49
a 1 2 8 9 14 16 24 25 26 27 28 33 40 41 45 49
a 1 2 9 11 14 16 24 25 26 27 28 33 40 41 45 49
a 1 2 11 14 16 24 25 26 27 28 33 40 41 45 49 52
a 2 7 11 14 16 24 25 26 27 28 33 40 41 45 49 52
a 2 6 7 11 14 16 25 26 27 28 33 40 41 45 49 52
a 2 7 9 11 14 16 25 26 27 28 33 40 41 45 49 52
a 2 7 9 11 14 16 25 26 27 28 32 33 40 45 49 52
a 2 7 9 11 14 16 24 25 26 27 28 32 33 45 49 52
a 7 9 11 14 16 24 25 26 27 28 32 33 40 45 49 52
a 1 7 11 14 16 24 25 26 27 28 32 33 40 45 49 52
a 1 7 11 14 16 22 25 26 27 28 32 33 40 45 49 52
a 1 7 8 11 14 16 22 25 26 27 32 33 40 45 49 52
a 1 7 8 11 14 22 24 25 26 27 32 33 40 45 49 52
a 7 8 11 14 16 22 24 25 26 27 32 33 40 45 49 52
a 2 7 8 11 14 16 22 24 25 26 27 32 33 45 49 52
a 1 2 7 11 14 16 22 24 25 26 27 32 33 45 49 52
a 1 7 11 14 16 22 24 25 26 27 28 32 33 45 49 52
a 1 2 7 11 14 16 22 24 25 26 27 28 33 45 49 52
a 2 7 8 11 14 16 22 24 25 26 27 28 33 45 49 52
a 2 7 11 14 16 22 24 25 26 27 28 33 41 45 49 52
a 2 7 9 11 16 22 24 25 26 27 28 33 41 45 49 52
a 2 7 9 11 14 16 22 24 25 26 27 28 33 41 45 49
a 2 7 8 9 11 14 16 22 24 25 26 27 33 41 45 49
a 2 7 8 9 11 14 16 22 24 25 26 27 33 45 49 52
a 2 7 8 9 11 14 16 22 24 25 26 27 33 40 45 49
a 1 2 7 8 9 11 14 16 22 24 25 26 27 33 45 49
a 1 2 7 8 9 11 14 16 22 24 25 26 27 33 45 52
a 1 7 8 9 11 14 16 22 24 25 26 27 33 45 49 52
a 1 7 8 9 11 14 16 22 24 26 27 33 40 45 49 52
a 7 8 9 11 14 16 22 24 26 27 28 33 40 45 49 52
a 7 8 9 11 14 16 22 24 25 26 27 28 40 45 49 52
a 7 8 9 11 14 16 22 24 25 26 27 28 33 40 45 49
a 7 8 9 11 14 16 22 24 25 26 27 28 32 33 40 49
a 7 8 9 11 14 16 22 24 25 26 27 28 32 33 40 45
a 7 8 9 11 14 16 22 24 25 26 27 28 32 33 45 52
a 2 8 9 11 14 16 22 24 25 26 27 28 32 33 45 52
a 2 8 9 11 14 16 22 24 25 26 27 28 32 33 49 52
a 2 8 11 14 16 22 24 25 26 27 28 32 33 40 49 52
a 2 7 8 11 14 16 22 24 25 26 27 28 32 33 40 49
a 2 7 8 9 11 14 16 22 24 25 27 28 32 33 40 49
a 1 2 7 8 11 14 16 22 24 25 27 28 32 33 40 49
a 1 2 7 8 11 14 16 22 24 25 27 28 33 40 45 49
a 2 7 8 11 14 16 22 24 25 26 27 28 33 40 45 49
a 1 2 7 8 14 16 22 24 25 26 27 28 33 40 45 49
a 1 2 7 8 9 14 16 22 24 25 26 27 28 33 40 45
a 1 2 7 8 9 11 14 16 22 24 25 26 28 33 40 45
a 1 2 7 8 9 11 14 16 22 24 26 28 32 33 40 45
a 1 2 7 8 9 11 13 14 16 22 24 28 32 33 40 45
a 1 2 7 8 9 11 13 14 16 22 24 27 28 32 40 45
a 1 2 7 8 11 13 14 16 22 24 26 27 28 32 40 45
a 1 2 7 8 9 11 13 16 22 24 26 27 28 32 40 45
a 1 2 7 8 9 11 16 22 24 25 26 27 28 32 40 45
a 1 2 7 8 9 11 16 22 24 25 26 27 28 40 41 45
a 1 2 7 8 11 14 16 22 24 25 26 27 28 40 41 45
a 1 2 7 8 11 14 16 22 25 26 27 28 33 40 41 45
a 1 2 7 8 11 14 16 22 24 25 26 27 28 33 40 41
a 1 2 7 11 14 16 22 24 25 26 27 28 31 33 40 41
a 1 2 7 11 14 16 22 24 25 26 27 28 33 40 41 49
a 1 2 7 11 14 16 22 24 25 26 27 28 33 40 41 52
a 1 2 11 14 16 22 24 25 26 27 28 33 40 41 49 52
a 1 2 11 14 16 24 25 26 27 28 33 39 40 41 49 52
a 1 2 11 14 16 24 25 27 28 33 37 39 40 41 49 52
a 2 11 14 16 24 25 27 28 33 37 39 40 41 45 49 52
a 2 7 11 14 16 25 27 28 33 37 39 40 41 45 49 52
a 7 11 14 16 24 25 27 28 33 37 39 40 41 45 49 52
a 7 9 14 16 24 25 27 28 33 37 39 40 41 45 49 52
a 2 7 9 14 16 25 27 28 33 37 39 40 41 45 49 52
a 2 7 14 16 24 25 27 28 33 37 39 40 41 45 49 52
a 2 7 9 14 16 24 25 27 28 33 37 39 40 41 49 52
a 2 7 9 11 14 16 24 25 27 28 37 39 40 41 49 52
a 2 9 11 14 16 24 25 27 28 37 39 40 41 49 51 52
a 2 11 14 16 24 25 27 28 37 39 40 41 44 49 51 52
a 2 11 14 16 23 24 25 27 28 37 39 40 41 44 51 52
a 2 9 14 16 23 24 25 27 28 37 39 40 41 44 51 52
a 2 9 12 14 16 23 24 25 28 37 39 40 41 44 51 52
a 2 9 12 14 16 23 24 25 28 37 39 41 44 50 51 52
a 2 9 11 12 14 16 23 24 25 37 39 41 44 50 51 52
a 2 9 12 14 16 23 24 25 37 39 41 44 47 50 51 52
a 9 12 14 16 23 24 25 28 37 39 41 44 47 50 51 52
a 9 10 12 14 16 23 25 28 37 39 41 44 47 50 51 52
a 9 10 11 14 16 23 25 28 37 39 41 44 47 50 51 52
a 3 9 10 11 14 16 23 25 28 37 39 41 44 47 50 51
a 3 10 11 12 14 16 23 25 28 37 39 41 44 47 50 51
a 9 10 11 12 14 16 23 25 28 37 39 41 44 47 50 51
a 9 10 12 14 16 23 24 25 28 37 39 41 44 47 50 51
a 9 10 11 12 14 16 23 24 25 28 37 39 41 44 47 50
a 2 9 10 11 12 14 16 23 24 25 28 37 39 41 44 47
a 2 9 10 11 12 16 23 24 25 28 37 39 41 44 47 51
a 2 9 10 11 12 14 16 23 24 25 28 37 39 41 47 51
a 2 9 10 11 12 14 16 23 24 25 28 37 39 47 50 51
a 2 9 10 11 12 14 16 24 25 28 37 39 44 47 50 51
a 2 9 10 11 12 13 14 16 24 28 37 39 44 47 50 51
a 2 10 11 12 13 14 16 24 28 32 37 39 44 47 50 51
a 2 10 11 12 13 14 16 24 28 32 37 44 47 50 51 52
a 2 10 11 12 13 16 24 28 32 36 37 44 47 50 51 52
a 2 10 11 12 13 24 28 29 32 36 37 44 47 50 51 52
a 2 10 11 12 13 24 28 29 31 32 36 37 44 50 51 52
c Step: 490
#END: [Mon Sep  4 16:11:02 2023]