#BEGIN: [Tue Sep  5 05:58:29 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#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 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /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 03403be09bea3e2f5d85fd8a2d095be73c2d75b38414543dcd85f5c71410414c
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 4 6 16 19 20 23 28 31 34 39 40 42 45 46 47
a 4 6 16 18 19 20 23 28 31 34 39 40 42 46 47
a 4 6 16 18 19 20 23 28 29 34 39 40 42 46 47
a 4 6 16 19 20 23 28 29 34 39 40 42 45 46 47
a 4 6 16 20 23 28 29 31 34 39 40 42 45 46 47
a 4 6 16 19 20 23 28 29 31 34 39 42 45 46 47
a 4 6 16 19 20 23 29 31 34 39 40 42 45 46 47
a 4 16 19 20 23 28 29 31 34 39 40 42 45 46 47
a 4 16 20 22 23 28 29 31 34 39 40 42 45 46 47
a 2 4 16 22 23 28 29 31 34 39 40 42 45 46 47
a 2 4 14 16 22 23 28 29 31 39 40 42 45 46 47
a 2 4 9 14 16 22 23 28 29 31 39 42 45 46 47
a 2 4 9 14 16 22 23 28 29 31 39 40 42 45 46
a 2 4 9 13 14 16 22 23 28 29 31 39 40 45 46
a 2 4 5 9 13 14 16 22 23 28 29 31 40 45 46
a 2 4 5 9 14 16 22 23 28 29 31 40 44 45 46
a 2 4 5 9 14 16 22 23 28 29 31 40 44 46 51
a 2 4 5 9 14 16 22 23 28 29 31 40 45 46 51
a 2 4 5 9 14 16 22 23 28 29 31 40 45 47 51
a 2 4 5 9 14 16 22 23 28 29 31 40 47 51 52
a 2 4 5 9 14 16 22 23 28 29 31 40 46 47 51
a 2 4 5 9 14 16 22 23 28 29 31 39 40 46 47
a 2 4 5 9 14 16 21 22 23 28 29 39 40 46 47
a 2 4 5 9 14 16 18 21 22 23 28 29 39 40 46
a 2 4 5 9 14 16 21 22 23 28 29 39 40 46 51
a 2 4 5 9 14 16 21 22 23 29 39 40 46 47 51
a 2 4 5 9 14 16 18 21 22 23 29 39 40 46 47
a 2 4 5 9 13 14 16 18 21 22 23 29 39 40 46
a 2 4 5 9 13 14 16 18 21 22 23 28 29 39 46
a 2 4 5 9 13 14 16 18 21 22 23 28 29 40 46
a 2 4 5 9 13 14 16 18 21 22 23 28 29 40 47
a 2 4 5 9 13 14 16 18 21 22 23 28 29 31 40
a 2 4 5 9 13 14 16 18 21 22 23 29 31 40 47
a 2 4 5 9 13 14 16 18 21 23 29 31 40 46 47
a 2 4 5 9 13 16 18 21 23 29 31 37 40 46 47
a 2 4 5 9 13 16 18 21 22 23 29 31 37 40 46
a 2 4 5 9 13 16 18 21 22 23 29 31 39 40 46
a 2 4 5 9 13 16 18 22 23 28 29 31 39 40 46
a 2 4 5 9 13 16 18 22 23 28 29 31 37 39 40
a 2 4 5 9 13 16 22 23 28 29 31 37 39 40 51
a 2 4 5 9 13 16 22 23 28 29 31 37 39 40 47
a 2 5 9 13 16 22 23 28 29 31 37 39 40 46 47
a 2 4 5 9 13 16 22 23 28 31 37 39 40 46 47
a 2 4 5 9 13 14 16 22 23 31 37 39 40 46 47
a 2 4 5 9 13 14 16 22 23 28 31 37 39 40 46
a 2 4 5 9 13 14 16 18 23 28 31 37 39 40 46
a 2 4 5 9 13 14 16 18 22 23 28 31 37 39 46
a 2 4 5 9 13 14 16 18 22 23 28 31 37 40 46
a 2 4 5 9 13 14 16 18 22 23 28 29 31 40 46
a 2 4 5 9 13 14 16 18 22 23 28 29 31 39 40
a 2 4 5 9 13 14 16 18 23 28 29 31 37 39 40
a 2 4 5 6 13 14 16 18 23 28 29 31 37 39 40
a 4 5 6 13 14 16 18 20 23 28 29 31 37 39 40
a 4 5 6 13 14 16 18 20 23 28 29 31 39 40 47
a 4 5 6 14 16 18 20 23 28 29 31 39 40 42 47
a 4 5 6 14 16 18 20 23 28 29 31 40 42 47 52
a 4 6 14 16 18 19 20 23 28 29 31 40 42 47 52
a 4 6 14 16 18 19 20 23 28 31 40 42 46 47 52
a 4 6 14 16 18 19 20 28 31 40 42 44 46 47 52
a 4 6 14 16 19 20 28 29 31 40 42 44 46 47 52
a 6 14 16 19 20 23 28 29 31 40 42 44 46 47 52
a 6 14 16 19 20 23 28 29 40 42 44 46 47 49 52
a 6 14 16 19 20 23 28 29 40 42 43 44 46 47 49
a 6 14 16 18 19 20 23 28 29 40 42 43 46 47 49
a 6 14 16 18 19 20 23 28 29 40 42 43 44 47 49
a 14 16 18 19 20 23 28 29 40 42 43 44 47 49 52
a 14 16 18 19 23 28 29 40 42 43 44 46 47 49 52
a 14 16 18 19 20 23 28 29 40 43 44 46 47 49 52
a 6 14 16 19 20 23 28 29 40 43 44 46 47 49 52
a 6 14 16 19 23 28 29 40 42 43 44 46 47 49 52
a 6 14 18 19 23 28 29 40 42 43 44 46 47 49 52
a 6 14 18 19 23 28 29 31 40 42 43 44 46 47 52
a 6 14 16 18 19 23 28 29 31 40 42 44 46 47 52
a 6 14 18 19 20 23 28 29 31 40 42 44 46 47 52
a 6 14 16 18 19 20 23 28 29 31 40 42 44 46 52
a 4 6 16 18 19 20 23 28 29 31 40 42 44 46 52
a 6 16 18 19 20 23 28 29 31 40 42 43 44 46 52
a 6 16 18 19 20 23 29 31 40 42 43 44 46 47 52
a 6 16 18 19 23 28 29 31 40 42 43 44 46 47 52
a 6 16 18 19 23 28 29 31 34 40 42 44 46 47 52
a 4 6 16 19 23 28 29 31 34 40 42 44 46 47 52
a 4 6 16 19 20 23 28 29 31 34 40 42 44 46 47
a 4 6 16 19 20 23 28 29 31 34 40 42 44 46 52
a 4 6 16 18 19 20 23 28 29 31 34 40 42 44 46
a 4 6 16 18 19 20 23 28 29 31 34 42 44 46 47
a 4 6 16 18 19 20 23 28 29 31 34 42 46 47 52
a 4 6 16 18 19 20 23 28 29 31 34 42 44 46 52
a 6 16 18 19 20 23 28 29 31 34 42 44 46 47 52
a 6 16 18 19 20 23 28 29 34 42 43 44 46 47 52
a 6 16 18 19 20 23 28 29 34 40 42 43 46 47 52
a 4 6 16 18 19 20 23 28 34 40 42 43 46 47 52
a 4 6 16 18 19 20 23 28 29 34 40 42 43 46 52
a 4 6 16 18 19 23 28 29 34 40 42 43 44 46 52
a 4 6 16 19 20 23 28 29 34 40 42 43 44 46 52
a 1 4 6 16 19 20 23 29 34 40 42 43 44 46 52
a 1 4 6 16 18 19 20 23 29 34 40 42 43 44 52
a 1 4 6 16 18 19 20 23 29 34 40 42 43 44 46
a 4 6 16 18 19 20 23 29 34 40 42 43 44 46 47
a 4 6 16 18 19 20 23 29 34 40 42 43 46 47 49
a 1 4 6 16 18 19 20 23 29 34 42 43 46 47 49
a 1 4 6 16 18 19 20 23 29 42 43 46 47 49 52
a 1 4 6 16 18 19 20 23 29 42 43 44 46 49 52
a 1 4 6 18 19 20 23 29 34 42 43 44 46 49 52
a 1 4 6 18 19 23 29 34 42 43 44 46 47 49 52
a 4 6 18 19 20 23 29 34 42 43 44 46 47 49 52
a 4 6 16 18 19 20 23 29 34 42 43 44 46 47 49
a 4 6 16 18 19 20 28 29 34 42 43 44 46 47 49
a 4 6 16 18 19 20 28 29 34 42 43 44 47 49 52
a 1 4 6 16 18 19 20 29 34 42 43 44 47 49 52
a 1 4 6 16 18 19 20 29 34 42 43 44 46 47 52
a 1 4 6 16 18 19 20 29 34 40 42 44 46 47 52
a 1 4 6 16 18 19 23 29 34 40 42 44 46 47 52
a 1 6 16 18 19 23 29 34 40 42 44 46 47 49 52
a 1 6 16 18 19 23 29 34 40 42 43 46 47 49 52
a 1 6 16 18 19 23 29 34 40 42 43 44 46 47 52
a 1 2 6 16 18 19 23 29 40 42 43 44 46 47 52
a 2 6 16 18 19 23 29 40 42 43 44 46 47 48 52
a 2 9 16 18 19 23 29 40 42 43 44 46 47 48 52
a 2 16 18 19 23 29 40 42 43 44 46 47 48 49 52
a 2 6 16 18 19 23 29 40 42 43 44 46 47 49 52
a 6 16 18 19 23 29 40 42 43 44 46 47 48 49 52
a 6 16 18 19 20 23 29 40 42 43 44 46 47 49 52
a 6 16 18 19 20 23 29 34 40 43 44 46 47 49 52
a 6 16 18 19 20 23 29 34 40 42 43 44 46 47 52
a 2 6 16 18 19 23 29 34 40 42 43 44 46 47 52
a 1 2 6 16 18 23 29 34 40 42 43 44 46 47 52
a 1 2 4 6 16 18 29 34 40 42 43 44 46 47 52
a 1 2 4 6 14 16 18 29 40 42 43 44 46 47 52
a 1 2 4 6 14 16 18 23 29 40 42 43 44 46 47
a 1 2 4 14 16 18 22 23 29 40 42 43 44 46 47
a 1 2 4 14 16 18 22 23 26 29 40 43 44 46 47
a 1 2 4 14 16 18 19 23 26 29 40 43 44 46 47
a 1 2 4 14 16 18 23 26 29 40 43 44 46 47 49
a 2 4 14 16 18 23 26 29 37 40 43 44 46 47 49
a 2 4 6 14 16 18 23 26 37 40 43 44 46 47 49
a 1 2 4 6 14 16 18 26 37 40 43 44 46 47 49
a 1 2 4 6 16 18 23 26 37 40 43 44 46 47 49
a 1 2 6 16 18 23 26 29 37 40 43 44 46 47 49
a 1 2 4 6 16 18 23 26 29 37 40 43 44 46 49
a 1 2 4 6 13 16 18 23 26 29 37 40 43 46 49
a 1 4 6 13 16 18 20 23 26 29 37 40 43 46 49
a 1 4 13 16 18 20 22 23 26 29 37 40 43 46 49
a 1 4 13 16 18 20 22 26 29 37 40 43 46 47 49
a 1 4 13 14 16 18 20 22 26 29 40 43 46 47 49
a 1 4 13 14 16 18 20 22 26 29 37 40 43 46 49
a 1 4 13 14 16 18 22 26 29 37 40 43 46 47 49
a 4 13 14 16 18 22 26 29 36 37 40 43 46 47 49
a 4 6 13 14 16 18 26 29 36 37 40 43 46 47 49
a 4 6 13 14 16 18 19 26 29 36 40 43 46 47 49
a 1 4 6 14 16 18 19 26 29 36 40 43 46 47 49
a 1 4 14 16 18 19 26 27 29 36 40 43 46 47 49
a 1 2 4 14 16 18 19 26 29 36 40 43 46 47 49
a 1 2 4 6 14 16 18 19 26 29 36 40 46 47 49
a 1 2 4 6 14 16 18 19 26 29 36 40 43 47 49
a 1 2 4 6 14 16 18 19 26 29 36 43 44 47 49
a 1 2 4 6 14 16 19 26 29 36 43 44 46 47 49
a 1 2 4 6 14 16 19 29 36 43 44 46 47 49 52
a 2 4 6 10 14 16 19 29 36 43 44 46 47 49 52
a 2 4 6 10 16 18 19 29 36 43 44 46 47 49 52
a 2 4 6 10 16 18 19 29 36 40 43 44 46 47 49
a 2 4 6 10 13 16 18 19 29 36 40 43 46 47 49
a 2 4 6 10 16 18 19 29 36 40 43 46 47 49 52
a 2 4 6 10 16 18 19 29 34 36 40 43 46 47 52
a 2 6 10 16 18 19 29 34 36 40 43 46 47 49 52
a 1 2 6 16 18 19 29 34 36 40 43 46 47 49 52
a 1 2 6 16 18 19 29 34 40 42 43 46 47 49 52
a 1 2 6 16 18 19 29 34 40 42 43 44 46 47 52
a 1 2 6 16 18 19 23 29 34 40 42 43 44 47 52
a 1 2 6 16 18 19 23 29 34 40 42 44 46 47 52
a 1 2 6 16 19 23 29 34 40 42 44 46 47 49 52
a 1 2 6 16 19 23 29 34 40 41 42 44 47 49 52
a 1 2 6 16 19 23 29 34 40 42 43 44 47 49 52
a 2 4 6 16 19 23 29 34 40 42 43 44 47 49 52
a 1 2 4 6 16 19 23 29 34 40 42 43 44 49 52
a 1 2 4 6 16 19 23 29 34 40 43 44 47 49 52
a 1 2 4 6 14 16 19 23 29 40 43 44 47 49 52
a 1 2 4 6 14 16 19 23 29 40 42 43 44 47 49
a 1 2 4 14 16 18 19 23 29 40 42 43 44 47 49
a 1 2 4 14 16 18 23 29 40 42 43 44 46 47 49
a 1 2 4 16 18 19 23 29 40 42 43 44 46 47 49
a 1 2 4 14 16 18 19 23 29 40 42 43 46 47 49
a 1 2 4 6 14 16 18 19 23 29 40 43 46 47 49
a 1 2 4 6 14 16 18 19 23 29 35 40 43 46 49
a 1 2 4 6 14 16 18 19 23 26 29 35 40 43 49
a 1 2 4 6 13 14 16 18 19 23 26 35 40 43 49
a 2 4 6 13 14 16 18 19 23 26 35 40 43 46 49
a 2 4 6 13 14 16 18 19 26 35 36 40 43 46 49
a 1 2 4 6 13 14 16 18 19 35 36 40 43 46 49
a 1 2 4 6 13 14 16 18 19 29 35 36 40 43 46
a 1 2 4 6 13 14 16 18 19 26 29 35 36 40 43
a 1 2 4 6 13 14 16 18 19 26 29 35 40 43 49
a 1 2 4 6 13 14 16 18 26 29 35 37 40 43 49
a 1 2 4 6 13 14 16 18 23 26 35 37 40 43 49
a 1 2 4 6 13 14 16 18 23 26 35 37 40 43 46
a 1 2 4 13 14 16 18 23 26 29 35 37 40 43 46
a 1 2 6 13 14 16 18 23 26 29 35 37 40 43 46
a 1 2 4 6 13 14 16 18 26 29 35 37 40 43 46
a 1 2 4 6 13 14 16 18 29 35 37 40 43 46 49
a 1 2 4 6 13 14 16 18 29 35 37 43 46 47 49
a 1 2 4 6 14 16 18 29 35 36 37 43 46 47 49
a 1 2 4 6 14 16 18 29 35 36 37 43 47 49 52
a 1 2 4 6 14 16 18 29 36 37 43 44 47 49 52
a 2 4 6 14 16 18 28 29 36 37 43 44 47 49 52
a 2 4 6 14 16 18 19 28 29 36 43 44 47 49 52
a 2 4 6 14 16 19 28 29 36 40 43 44 47 49 52
a 2 4 6 14 16 18 19 28 29 40 43 44 47 49 52
a 2 4 6 16 18 19 28 29 40 42 43 44 47 49 52
a 2 4 6 16 19 23 28 29 40 42 43 44 47 49 52
a 2 4 6 16 19 23 28 29 31 40 42 43 44 47 52
a 2 4 6 16 18 19 23 28 29 31 40 42 43 44 47
a 2 4 6 16 18 19 23 28 29 40 42 43 44 47 49
a 2 4 6 16 18 19 23 28 29 40 43 44 46 47 49
a 2 6 16 18 19 23 28 29 40 42 43 44 46 47 49
a 2 4 6 16 19 23 28 29 40 42 43 44 46 47 49
a 2 4 6 16 18 19 28 29 40 42 43 44 46 47 49
a 2 6 15 16 18 19 28 29 40 42 43 44 46 47 49
a 2 6 15 16 18 19 28 29 34 40 42 43 44 46 49
a 2 6 15 16 18 19 28 29 34 40 42 43 44 49 52
a 2 6 15 16 18 19 28 29 34 40 42 43 44 47 49
a 2 4 6 16 18 19 28 29 34 40 42 43 44 47 49
a 2 4 6 16 18 19 28 29 34 40 42 43 44 46 47
a 1 2 4 6 16 18 19 29 34 40 42 43 44 46 47
a 1 2 4 6 16 18 19 29 34 36 40 43 44 46 47
a 1 2 4 6 13 16 18 19 29 34 36 40 43 46 47
a 1 2 4 13 16 18 19 27 29 34 36 40 43 46 47
a 1 2 4 13 16 19 27 29 34 36 40 43 46 47 49
a 1 2 4 13 16 18 19 27 29 34 36 43 46 47 49
a 1 2 4 13 16 18 19 27 29 34 35 36 43 46 49
a 2 4 13 16 18 19 27 29 34 35 36 40 43 46 49
a 1 2 4 16 18 19 27 29 34 35 36 40 43 46 49
a 1 2 4 12 16 18 27 29 34 35 36 40 43 46 49
a 1 2 4 12 16 18 21 27 29 34 35 36 40 43 49
a 1 2 4 12 13 16 21 27 29 34 35 36 40 43 49
a 1 2 12 13 15 16 21 27 29 34 35 36 40 43 49
a 1 2 12 13 15 16 21 22 27 29 35 36 40 43 49
a 1 2 12 13 15 16 21 22 29 35 36 40 43 49 51
a 1 2 12 13 15 16 22 29 34 35 36 40 43 49 51
a 1 2 12 13 15 22 29 34 35 36 40 43 47 49 51
a 1 2 12 13 15 21 22 29 34 35 36 40 43 47 49
a 1 2 12 13 15 21 22 29 34 35 36 40 43 47 51
a 1 2 4 12 13 21 22 29 34 35 36 40 43 47 51
a 1 2 4 12 13 21 22 29 34 35 36 40 43 46 51
a 2 4 12 13 21 22 29 34 35 36 40 43 45 46 51
a 2 4 5 12 13 21 22 29 34 35 36 40 45 46 51
a 2 4 5 12 13 21 22 27 29 34 35 36 40 45 51
a 2 4 5 12 13 21 22 27 29 34 35 39 40 45 51
a 2 4 5 13 21 22 27 29 34 35 39 40 45 46 51
a 4 5 12 13 21 22 27 29 34 35 39 40 45 46 51
a 4 5 12 13 21 22 27 29 35 39 40 45 46 47 51
a 2 4 5 12 13 21 22 27 29 35 39 45 46 47 51
a 2 4 5 12 13 21 22 27 29 39 40 45 46 47 51
a 2 4 12 13 21 22 27 29 34 39 40 45 46 47 51
a 2 4 5 13 21 22 27 29 34 39 40 45 46 47 51
a 2 4 5 12 13 21 22 29 34 39 40 45 46 47 51
a 2 4 5 12 13 21 22 27 29 34 39 40 45 46 51
a 4 5 12 13 21 22 27 29 34 39 40 45 46 47 51
a 2 4 5 12 13 21 22 27 29 34 40 45 46 47 51
a 2 4 5 12 13 21 22 27 29 34 39 40 45 46 47
a 2 4 12 13 16 21 22 27 29 34 39 40 45 46 47
a 2 4 5 12 13 16 21 22 27 29 34 39 40 45 46
a 2 4 5 12 16 21 22 27 29 34 39 40 42 45 46
a 2 4 5 12 16 21 22 27 29 34 39 40 42 46 47
a 2 4 5 12 16 21 22 27 29 35 39 40 42 46 47
a 2 4 5 12 16 22 27 29 34 35 39 40 42 46 47
a 2 4 5 12 16 22 27 29 34 35 39 40 45 46 47
a 2 4 5 12 16 21 22 27 29 34 35 39 40 45 46
a 2 4 5 12 13 16 21 22 27 29 34 35 39 40 45
a 2 4 5 12 13 16 21 27 29 34 35 39 40 45 51
a 2 4 5 12 13 16 21 27 29 34 35 40 45 47 51
a 2 4 5 12 13 16 21 22 29 34 35 40 45 47 51
a 2 4 5 12 13 16 21 22 29 34 35 40 45 46 47
a 2 4 5 12 13 16 21 22 29 35 36 40 45 46 47
a 2 5 12 13 16 21 22 29 34 35 36 40 45 46 47
a 2 5 12 13 16 21 22 29 34 35 36 40 45 47 51
a 2 4 5 12 13 16 21 22 29 34 35 36 40 47 51
a 1 2 4 12 13 16 21 22 29 34 35 36 40 47 51
a 1 4 12 13 16 21 22 27 29 34 35 36 40 47 51
a 1 4 12 13 16 20 21 22 27 29 34 36 40 47 51
a 4 12 13 16 20 21 22 27 29 34 36 40 45 47 51
a 12 13 16 20 21 22 27 29 34 36 40 41 45 47 51
a 1 12 13 16 20 21 22 27 29 34 36 40 41 47 51
a 1 12 13 16 20 21 22 27 29 34 36 40 41 47 49
a 1 12 13 16 21 22 27 29 34 36 40 41 47 49 51
a 1 2 12 13 16 21 22 27 29 34 36 40 41 47 49
a 1 2 12 13 16 21 22 27 29 34 36 40 46 47 49
a 1 2 4 12 13 16 21 22 27 29 34 36 40 47 49
a 1 2 4 12 13 16 21 22 27 34 36 40 43 47 49
a 1 4 12 13 16 20 21 22 27 34 36 40 43 47 49
a 1 4 12 13 16 18 20 21 22 27 34 36 40 43 49
a 1 4 12 13 16 18 21 22 27 34 36 40 43 47 49
a 1 4 12 13 16 18 22 27 34 35 36 40 43 47 49
a 1 4 12 13 16 18 22 27 34 35 36 40 43 46 49
a 1 4 12 13 16 18 22 27 34 35 36 40 43 46 47
a 1 4 12 13 16 18 22 27 34 35 36 40 46 47 49
a 1 4 12 13 18 22 27 29 34 35 36 40 46 47 49
a 1 4 12 13 16 18 22 29 34 35 36 40 46 47 49
a 1 2 4 12 13 16 18 22 29 35 36 40 46 47 49
a 1 2 12 13 16 18 21 22 29 35 36 40 46 47 49
a 2 4 12 13 16 18 21 22 29 35 36 40 46 47 49
a 2 4 12 13 16 21 22 29 35 36 37 40 46 47 49
a 1 2 4 12 13 16 21 22 29 35 36 37 40 47 49
a 1 2 4 12 13 16 18 22 29 35 36 37 40 47 49
a 1 2 4 12 13 16 18 22 35 36 37 40 46 47 49
a 1 4 12 13 16 18 22 29 35 36 37 40 46 47 49
a 1 4 13 14 16 18 22 29 35 36 37 40 46 47 49
a 1 4 13 14 16 18 22 23 29 35 37 40 46 47 49
a 1 4 13 14 16 18 22 23 29 37 40 43 46 47 49
a 4 9 13 14 16 18 22 23 29 37 40 43 46 47 49
a 4 9 13 14 16 18 22 23 28 29 37 40 46 47 49
a 2 4 9 14 16 18 22 23 28 29 37 40 46 47 49
a 2 4 9 13 14 16 18 22 23 28 29 37 40 46 47
a 2 4 9 13 14 16 18 22 23 26 28 29 40 46 47
a 2 4 9 13 14 16 18 19 23 26 28 29 40 46 47
a 2 4 9 13 16 18 19 23 26 28 29 40 46 47 49
a 2 4 9 13 16 18 19 23 26 29 35 40 46 47 49
a 2 4 9 13 14 16 18 23 26 29 35 40 46 47 49
a 2 4 9 13 14 16 18 21 23 26 29 35 40 46 47
a 2 4 9 14 16 18 21 23 26 29 35 40 46 47 49
a 2 4 9 13 16 18 21 23 26 29 35 40 46 47 49
a 2 4 9 13 14 16 18 21 23 26 35 40 46 47 49
a 2 4 9 13 14 16 18 21 23 26 35 37 40 46 47
a 2 4 9 13 14 16 18 21 23 26 28 37 40 46 47
a 2 4 9 13 14 16 18 21 23 26 28 37 46 47 49
a 2 4 9 13 14 16 18 21 23 26 37 40 46 47 49
a 2 4 9 13 14 16 18 21 23 26 37 43 46 47 49
a 2 4 9 13 14 16 18 23 26 37 40 43 46 47 49
a 2 4 13 14 16 18 23 26 28 37 40 43 46 47 49
a 2 13 14 16 18 23 26 28 29 37 40 43 46 47 49
a 2 6 13 16 18 23 26 28 29 37 40 43 46 47 49
a 2 4 6 13 18 23 26 28 29 37 40 43 46 47 49
a 2 6 13 14 18 23 26 28 29 37 40 43 46 47 49
a 6 13 14 16 18 23 26 28 29 37 40 43 46 47 49
a 2 6 13 14 16 23 26 28 29 37 40 43 46 47 49
a 2 4 6 13 14 16 23 26 28 29 37 40 43 46 49
a 2 4 6 13 14 16 18 23 26 29 37 40 43 46 49
a 1 4 6 13 14 16 18 23 26 29 37 40 43 46 49
a 1 2 4 13 14 16 18 23 26 29 37 40 43 46 49
a 1 2 4 13 16 18 23 26 29 35 37 40 43 46 49
a 1 2 4 6 13 16 18 23 26 29 35 37 40 43 49
a 1 2 4 6 13 16 18 23 29 35 37 40 43 46 49
a 1 2 4 6 13 16 18 23 26 35 37 40 43 46 49
a 1 2 4 6 13 16 18 19 23 26 35 40 43 46 49
a 1 2 4 6 13 14 16 18 19 23 26 35 40 46 49
a 1 2 4 6 13 14 16 18 19 23 26 29 35 46 49
a 1 2 4 6 13 14 16 18 19 23 26 29 40 46 49
a 1 2 4 6 13 14 16 18 19 23 26 29 46 47 49
a 1 2 4 6 13 14 16 19 23 26 29 43 46 47 49
a 1 2 4 13 14 16 19 23 26 29 40 43 46 47 49
a 1 2 4 13 14 16 19 23 26 29 35 40 43 46 49
a 1 2 4 13 14 16 19 26 29 35 40 43 46 47 49
a 1 2 4 6 13 14 16 19 26 29 35 40 43 46 49
a 1 2 4 6 13 14 16 19 23 26 29 35 40 43 49
a 1 2 4 6 13 14 16 18 19 23 26 29 40 43 49
a 1 2 4 6 13 14 18 19 23 26 29 40 43 47 49
a 2 4 6 13 14 18 19 23 26 29 40 43 46 47 49
a 2 4 6 13 14 18 19 23 26 29 35 40 43 47 49
a 2 4 6 13 14 16 18 19 23 26 35 40 43 47 49
a 1 2 4 13 14 16 18 19 23 26 35 40 43 47 49
a 1 4 6 13 14 16 18 19 23 26 35 40 43 47 49
a 1 2 6 13 14 16 18 19 23 26 35 40 43 47 49
a 1 2 4 6 13 14 16 18 19 23 26 35 43 47 49
a 1 2 4 6 13 14 16 18 23 26 35 37 43 47 49
a 1 2 4 6 13 14 16 18 23 26 37 40 43 47 49
a 1 2 4 6 13 14 16 18 23 26 40 43 46 47 49
a 1 2 4 6 13 14 16 18 23 29 40 43 46 47 49
a 1 4 6 13 14 16 18 19 23 29 40 43 46 47 49
a 1 4 6 13 14 16 18 19 23 26 29 40 43 46 47
a 1 4 6 13 14 16 18 23 26 29 37 40 43 46 47
a 1 4 6 13 14 16 18 23 26 29 37 40 43 47 49
a 1 4 6 13 14 16 18 19 23 26 29 40 43 47 49
a 1 2 4 6 13 14 16 18 19 23 26 29 43 47 49
a 2 4 6 13 14 16 18 19 23 26 29 40 43 47 49
a 2 4 9 13 14 16 18 19 23 26 29 40 43 47 49
a 2 4 9 13 14 16 18 19 23 26 28 29 40 43 49
a 2 4 9 13 14 16 18 19 23 26 28 29 40 46 49
a 2 4 9 13 14 16 18 19 23 28 29 40 43 46 49
a 2 4 9 13 14 18 19 23 28 29 40 43 46 47 49
a 2 4 9 13 14 16 18 19 23 28 29 43 46 47 49
a 2 4 9 14 16 18 19 21 23 28 29 43 46 47 49
a 2 4 9 14 16 18 19 21 23 26 28 43 46 47 49
a 2 4 9 13 14 16 18 19 21 23 26 43 46 47 49
a 4 9 13 14 16 18 19 21 23 26 29 43 46 47 49
a 2 4 9 13 14 16 18 19 21 23 26 29 43 46 47
a 2 4 9 13 14 16 18 19 21 23 26 29 40 43 46
a 2 4 9 13 14 16 18 19 21 23 26 28 29 43 46
a 2 4 9 13 14 16 18 21 23 26 28 29 37 43 46
a 2 4 9 13 14 16 18 21 23 26 28 29 37 46 49
a 2 4 9 13 14 16 18 21 23 26 28 29 37 40 46
a 2 4 9 13 14 16 18 21 23 26 28 29 40 46 47
a 2 4 9 13 14 16 18 21 23 26 29 37 40 46 47
a 2 4 9 13 14 16 18 21 26 29 37 40 46 47 49
a 2 4 13 14 16 18 21 26 29 36 37 40 46 47 49
a 2 4 13 14 16 18 21 23 26 29 37 40 46 47 49
a 2 4 6 13 14 16 18 23 26 29 37 40 46 47 49
a 2 4 6 14 16 18 23 26 29 37 40 44 46 47 49
a 2 4 6 14 16 18 19 23 26 29 40 44 46 47 49
a 2 4 6 14 16 18 19 26 29 40 43 44 46 47 49
a 2 6 14 16 18 19 26 29 36 40 43 44 46 47 49
a 2 4 6 14 16 18 19 26 29 36 40 43 44 46 47
a 2 4 6 14 16 18 19 28 29 36 40 43 44 46 47
a 2 4 6 16 18 19 28 29 34 36 40 43 44 46 47
a 2 4 6 16 18 19 28 29 34 36 40 43 44 47 49
a 2 6 15 16 18 19 28 29 34 36 40 43 44 47 49
a 2 6 15 16 18 19 23 28 29 34 40 43 44 47 49
a 2 6 15 16 18 19 23 28 29 34 41 43 44 47 49
a 2 6 15 16 18 19 28 29 34 41 43 44 47 49 52
a 2 6 15 16 19 23 28 29 34 41 43 44 47 49 52
a 2 6 15 16 18 19 23 28 34 41 43 44 47 49 52
a 2 6 16 18 19 23 28 34 40 41 43 44 47 49 52
a 2 6 16 18 19 23 28 34 40 42 43 44 47 49 52
a 2 6 16 18 19 23 28 29 34 40 42 43 44 49 52
a 2 6 16 18 19 23 28 29 34 40 41 43 44 49 52
a 2 6 16 18 19 23 28 29 34 40 41 42 43 44 49
a 2 6 16 18 19 23 29 34 40 41 42 43 44 47 49
a 2 6 16 18 19 23 28 29 40 41 42 43 44 47 49
a 2 6 15 18 19 23 28 29 40 41 42 43 44 47 49
a 2 6 15 16 18 19 23 28 29 40 41 42 43 44 47
a 2 6 15 16 18 19 23 28 29 41 42 43 44 47 49
a 2 6 15 16 18 19 23 29 41 42 43 44 47 49 52
a 2 6 16 18 19 23 29 40 41 42 43 44 47 49 52
a 2 6 15 16 19 23 29 40 41 42 43 44 47 49 52
a 1 2 15 16 19 23 29 40 41 42 43 44 47 49 52
a 1 2 6 15 16 19 23 29 40 41 42 43 44 49 52
a 1 2 6 15 19 23 29 40 41 42 43 44 47 49 52
a 1 2 6 15 19 23 29 34 40 41 42 44 47 49 52
a 2 6 15 19 23 28 29 34 40 41 42 44 47 49 52
a 2 6 15 18 19 23 28 29 34 41 42 44 47 49 52
a 2 6 15 18 23 28 29 34 40 41 42 44 47 49 52
a 6 15 18 19 23 28 29 34 40 41 42 44 47 49 52
a 6 15 18 23 28 29 34 40 41 42 43 44 47 49 52
a 2 6 15 23 28 29 34 40 41 42 43 44 47 49 52
a 2 6 15 19 23 28 29 34 40 41 42 43 44 47 52
a 2 6 15 16 19 23 28 29 34 40 42 43 44 47 52
a 2 4 6 16 19 23 28 29 34 40 42 43 44 47 52
a 2 4 6 16 18 19 23 28 29 34 40 42 43 44 52
a 2 6 16 18 19 23 28 29 34 40 42 43 44 47 52
a 2 6 16 18 19 23 29 34 40 42 43 44 47 49 52
a 1 6 16 18 19 23 29 34 40 42 43 44 47 49 52
a 1 6 16 18 19 23 29 33 34 42 43 44 47 49 52
a 1 6 16 18 19 20 23 29 33 34 42 43 44 47 49
a 1 4 6 16 18 19 20 29 33 34 42 43 44 47 49
a 4 6 16 18 19 20 23 29 33 34 42 43 44 47 49
a 4 6 18 19 20 23 29 33 34 42 43 44 47 49 52
a 4 6 18 19 20 23 29 33 34 42 43 44 46 47 52
a 4 6 18 19 20 23 33 34 42 43 44 46 47 49 52
a 4 6 18 19 20 23 34 40 42 43 44 46 47 49 52
a 4 6 14 18 19 20 23 40 42 43 44 46 47 49 52
a 4 6 10 14 18 19 20 40 42 43 44 46 47 49 52
a 4 6 10 14 16 18 19 40 42 43 44 46 47 49 52
a 4 6 14 16 18 19 23 40 42 43 44 46 47 49 52
a 4 6 14 16 18 19 23 29 40 42 44 46 47 49 52
a 2 4 6 14 16 18 19 23 29 40 42 44 47 49 52
a 2 4 6 16 18 19 23 29 34 40 42 44 47 49 52
a 2 4 16 18 19 23 29 34 40 42 44 46 47 49 52
a 1 2 4 16 18 19 23 34 40 42 44 46 47 49 52
a 1 2 4 16 19 23 29 34 40 42 44 46 47 49 52
a 1 4 16 19 20 23 29 34 40 42 44 46 47 49 52
a 1 4 6 16 20 23 29 34 40 42 44 46 47 49 52
a 1 4 6 19 20 23 29 34 40 42 44 46 47 49 52
a 1 4 6 18 19 20 23 29 34 40 42 44 46 47 52
a 1 4 6 18 19 20 29 34 40 42 43 44 46 47 52
a 1 4 6 18 19 20 29 34 40 42 43 44 46 47 49
a 1 4 6 19 20 23 29 34 40 42 43 44 46 47 49
a 1 4 6 18 19 20 23 29 34 40 42 44 46 47 49
a 1 4 6 18 19 20 23 29 40 42 43 44 46 47 49
a 1 4 6 18 19 20 23 29 40 43 44 46 47 49 52
a 4 6 18 19 20 23 29 40 42 43 44 46 47 49 52
a 4 6 18 19 20 23 29 34 40 42 43 44 47 49 52
a 4 6 16 18 19 20 23 29 34 40 42 43 44 49 52
a 1 4 6 16 18 19 20 23 29 34 40 42 44 49 52
a 1 4 6 16 18 19 20 23 29 34 40 42 43 44 49
a 1 4 6 16 18 19 20 23 29 34 40 42 43 49 52
a 1 4 6 16 18 19 20 23 29 34 40 42 47 49 52
a 4 6 16 18 19 20 23 29 34 40 42 44 47 49 52
a 4 6 16 18 19 20 23 28 29 34 40 42 44 47 52
a 4 6 16 18 19 23 28 29 34 40 42 44 46 47 52
a 4 6 16 18 19 23 28 29 34 40 42 43 44 46 47
a 4 6 16 18 19 23 28 29 34 40 42 43 44 47 52
a 4 6 16 18 19 23 28 29 34 40 43 44 46 47 52
a 6 16 18 19 23 28 29 31 34 40 43 44 46 47 52
a 6 16 18 19 20 23 29 31 34 40 43 44 46 47 52
a 3 6 16 18 19 20 23 29 31 34 40 43 44 46 52
a 3 6 16 18 19 20 23 28 29 31 34 40 43 44 52
a 3 6 16 18 19 20 23 28 29 34 40 43 44 46 52
a 3 4 6 18 19 20 23 28 29 34 40 43 44 46 52
a 3 4 6 18 19 20 23 28 29 31 34 40 43 46 52
a 3 4 18 19 20 23 28 29 31 34 40 43 44 46 52
a 4 18 19 20 23 28 29 31 34 40 42 43 44 46 52
a 4 6 19 20 23 28 29 31 34 40 42 43 44 46 52
a 4 6 19 20 23 28 29 34 40 42 43 44 46 49 52
a 4 6 18 19 20 23 28 29 34 42 43 44 46 49 52
a 4 6 18 19 20 23 28 29 31 34 42 43 44 46 52
a 4 6 16 19 20 23 28 29 31 34 42 43 44 46 52
a 4 6 16 18 19 20 23 28 29 31 34 42 43 44 46
a 4 6 16 18 19 20 23 28 29 31 33 34 42 44 46
a 4 5 6 16 18 20 23 28 29 31 33 34 42 44 46
a 4 5 6 16 18 20 23 28 29 31 33 34 42 44 52
a 4 6 16 18 19 20 23 28 29 31 33 34 42 44 52
a 4 6 16 18 19 20 23 29 31 33 34 42 44 46 52
a 4 6 16 18 19 20 23 29 31 34 40 42 44 46 52
a 3 4 6 16 18 19 20 23 29 31 34 40 44 46 52
a 3 4 6 16 18 19 20 23 28 29 31 34 40 46 52
a 3 4 6 16 18 19 20 23 28 29 34 40 44 46 52
a 3 4 6 14 16 18 19 20 23 28 29 40 44 46 52
a 4 6 14 16 18 19 20 23 28 29 31 40 44 46 52
a 3 4 6 14 16 18 20 23 28 29 31 40 44 46 52
a 3 4 6 14 16 18 20 23 28 29 30 31 44 46 52
a 3 4 14 16 18 20 22 23 28 29 30 31 44 46 52
a 3 4 14 16 18 20 22 23 28 29 30 43 44 46 52
a 3 7 14 16 18 20 22 23 28 29 30 43 44 46 52
a 3 7 14 16 18 20 22 23 28 29 30 31 43 44 52
a 3 7 14 16 18 20 22 28 29 30 31 36 43 44 52
a 3 7 14 16 18 20 22 28 29 30 31 36 37 44 52
a 3 7 14 16 18 20 22 28 29 30 31 37 43 44 52
a 3 14 16 18 20 22 23 28 29 30 31 37 43 44 52
a 3 9 14 16 18 22 23 28 29 30 31 37 43 44 52
a 3 7 9 14 16 18 22 23 28 30 31 37 43 44 52
a 3 7 14 16 18 20 22 23 28 30 31 37 43 44 52
a 3 7 16 18 20 22 23 28 30 31 37 43 44 48 52
a 3 7 9 16 18 22 23 28 30 31 37 43 44 48 52
a 3 7 9 15 18 22 23 28 30 31 37 43 44 48 52
a 3 7 9 15 18 22 23 28 29 30 37 43 44 48 52
a 3 7 9 15 18 22 23 28 30 37 43 44 46 48 52
a 3 7 9 15 18 21 22 23 28 30 37 43 46 48 52
a 3 7 9 15 18 21 22 23 28 30 31 37 46 48 52
a 3 7 9 15 18 21 22 23 28 29 30 31 37 46 52
a 3 7 9 15 16 18 21 22 23 28 29 30 37 46 52
a 7 9 15 16 18 21 22 23 28 29 30 33 37 46 52
a 7 9 15 16 18 22 23 28 29 30 33 37 44 46 52
a 7 9 15 16 18 22 23 28 29 33 37 43 44 46 52
a 9 15 16 18 22 23 28 29 33 37 43 44 46 49 52
a 9 15 16 22 23 28 29 33 37 43 44 46 47 49 52
a 9 16 22 23 28 29 32 33 37 43 44 46 47 49 52
a 9 16 22 23 28 29 32 33 42 43 44 46 47 49 52
a 9 16 19 23 28 29 32 33 42 43 44 46 47 49 52
a 16 19 23 28 29 32 33 34 42 43 44 46 47 49 52
a 6 16 19 23 28 29 32 33 34 42 43 44 46 47 49
a 6 16 17 19 23 28 29 32 33 34 42 43 44 47 49
a 6 16 17 19 28 29 32 33 34 38 42 43 44 47 49
c Step: 540
#END: [Tue Sep  5 06:28:30 2023]