#BEGIN: [Mon Sep  4 21:51:46 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance006_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance006_graph005_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance006_graph005.col /benchmark/random_instance/random_instance006_graph005_01.dat
c /benchmark/random_instance/random_instance006_graph005.col
c /benchmark/random_instance/random_instance006_graph005_01.dat
s 1 24 71 69 36 19 39 48 53 49 10 35 15 45 32 33 14 40 25 54 58 31 18 16 9
t 33 40 66 2 5 14 34 28 51 6 43 75 9 20 22 7 35 11 37 48 62 18 57 32 63
a YES
a 1 9 10 14 15 16 18 19 24 25 31 32 33 35 36 39 40 45 48 49 53 54 58 69 71
a 1 2 9 10 14 15 16 18 19 24 25 31 32 33 35 36 39 40 45 48 49 53 54 58 69
a 2 9 10 14 15 16 18 19 24 25 31 32 33 35 36 39 40 45 48 49 51 53 54 58 69
a 9 10 14 15 16 18 19 24 25 31 32 33 35 36 39 40 45 48 49 51 53 54 58 69 71
a 9 10 14 15 16 18 19 24 25 31 32 33 35 36 39 40 48 49 51 53 54 58 69 71 78
a 9 10 14 15 16 18 19 24 25 31 32 33 35 36 39 40 49 51 53 54 58 59 69 71 78
a 9 10 14 15 16 18 19 24 25 31 32 33 35 36 37 39 40 49 51 53 54 58 69 71 78
a 9 10 15 16 18 19 24 25 31 32 33 35 36 37 39 40 49 51 53 54 58 64 69 71 78
a 9 10 11 15 16 18 24 25 31 32 33 35 36 37 39 40 49 51 53 54 58 64 69 71 78
a 9 10 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 49 51 53 54 58 64 69 71
a 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 49 51 53 54 58 64 71
a 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 49 51 53 54 58 64 69
a 2 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 49 51 53 54 58 69
a 2 9 10 11 14 15 16 17 18 24 31 32 33 34 35 36 37 39 40 49 51 53 54 58 69
a 2 9 10 11 14 15 16 17 18 24 31 32 33 34 35 36 37 39 40 48 49 53 54 58 69
a 2 9 10 11 14 15 16 17 18 24 31 32 33 34 35 36 37 39 40 45 48 49 53 54 69
a 2 9 10 11 14 15 16 18 24 31 32 33 34 35 36 37 39 40 45 48 49 51 53 54 69
a 2 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 45 48 51 53 54 69
a 2 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 39 40 45 48 51 53 54 58 69
a 2 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 45 48 51 54 58 69
a 2 9 10 11 14 15 16 18 24 25 32 33 34 35 36 37 39 40 45 48 49 51 54 58 69
a 2 7 9 10 11 14 15 16 18 24 25 32 33 34 35 37 39 40 45 48 49 51 54 58 69
a 2 7 9 10 11 14 15 16 18 24 25 32 33 34 35 36 37 39 40 45 48 49 51 54 58
a 2 7 9 10 11 14 15 16 18 24 25 32 33 34 35 36 37 39 40 45 48 49 51 54 69
a 2 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 45 48 49 51 54
a 2 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 48 49 51 54 64
a 2 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 39 40 45 48 49 51 54 64
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 39 40 45 48 49 51 54 64 69
a 2 7 9 10 11 14 15 16 18 24 25 31 32 34 35 36 39 40 45 48 49 51 54 64 69
a 2 6 7 9 10 11 14 15 16 18 24 25 31 32 34 35 36 39 40 45 48 49 51 54 69
a 2 6 7 9 10 11 14 15 18 24 25 31 32 34 35 36 39 40 45 48 49 51 54 58 69
a 2 6 9 10 11 14 15 16 18 24 25 31 32 34 35 36 39 40 45 48 49 51 54 58 69
a 2 6 7 9 10 11 14 15 16 18 24 25 31 32 34 35 36 39 40 45 48 49 51 54 58
a 2 6 7 9 10 11 14 15 16 18 24 25 31 32 34 35 36 37 39 40 45 48 49 51 58
a 2 6 7 9 10 11 14 15 18 24 25 31 32 34 35 36 37 39 40 45 48 49 51 58 69
a 2 6 7 9 10 11 14 15 16 18 24 25 31 32 34 35 36 37 39 45 48 49 51 58 69
a 2 6 7 9 10 11 14 15 16 18 24 25 31 32 34 36 37 39 40 45 48 49 51 58 69
a 2 6 7 9 10 11 14 15 16 18 24 25 31 32 34 36 37 39 40 45 48 49 58 64 69
a 2 6 7 9 10 11 14 15 16 18 24 25 31 32 34 36 37 39 40 45 48 49 54 58 64
a 2 6 7 9 10 11 14 15 16 18 24 25 31 32 34 36 37 39 40 45 49 54 58 64 69
a 2 6 7 9 10 11 14 15 16 18 24 25 31 32 33 34 36 37 39 40 45 49 54 58 64
a 2 6 7 9 10 11 14 15 16 18 24 25 31 32 33 34 36 37 39 40 45 54 58 64 69
a 2 6 7 9 10 11 14 15 16 18 24 25 31 32 33 34 36 37 39 40 51 54 58 64 69
a 2 6 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 51 54 58 64
a 2 6 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 51 54 64 69
a 2 6 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 51 54 64 66
a 2 6 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 37 39 40 48 51 54 64 66
a 2 6 7 9 10 14 15 16 18 24 25 31 32 33 35 36 37 39 40 48 49 51 54 64 66
a 2 6 7 9 10 14 15 16 18 24 25 32 33 34 35 36 37 39 40 48 49 51 54 64 66
a 2 6 7 9 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 48 49 51 54 64
a 2 6 7 9 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 48 49 51 54 62
a 2 7 9 10 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 48 49 51 54 62
a 2 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 48 49 51 54
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 48 49 51 54 62
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 48 49 51 54 62
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 48 51 54 62 64
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 48 51 54 62 64 66
a 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 48 49 51 54 62 64 66
a 7 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 39 40 48 49 51 54 62 64 66
a 7 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 40 43 48 49 51 54 62 64 66
a 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 40 42 43 48 49 51 54 62 64 66
a 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 39 40 42 43 48 49 51 54 64 66
a 7 9 10 11 14 15 16 24 25 31 33 34 35 36 37 39 40 42 43 48 49 51 54 64 66
a 7 9 10 11 14 15 16 18 24 25 31 33 34 35 36 37 39 40 42 43 48 49 51 64 66
a 7 9 10 11 14 15 16 18 24 25 32 33 34 35 36 37 39 40 42 43 48 49 51 64 66
a 7 9 11 14 15 16 18 24 25 32 33 34 35 36 37 39 40 42 43 48 49 51 64 66 71
a 7 9 11 14 15 16 18 24 25 32 33 34 35 36 37 39 40 42 43 45 48 49 64 66 71
a 7 9 10 11 14 15 16 18 24 25 32 33 34 35 36 37 39 40 42 43 45 48 49 64 66
a 7 9 10 11 14 15 16 18 24 25 32 33 34 35 36 37 39 40 42 43 45 48 54 64 66
a 7 9 10 11 14 15 16 18 24 25 32 33 34 35 36 37 39 40 42 43 45 48 54 62 66
a 7 9 10 11 14 15 16 18 24 25 32 33 34 35 36 37 39 40 42 43 45 48 54 62 64
a 7 9 10 11 14 15 16 18 24 32 33 34 35 36 37 39 40 42 43 45 48 54 62 64 66
a 7 9 10 11 14 15 16 18 24 32 33 34 35 36 37 39 42 43 45 48 51 54 62 64 66
a 7 9 10 11 14 15 16 18 24 32 33 35 36 37 39 40 42 43 45 48 51 54 62 64 66
a 7 9 10 11 14 15 16 18 24 25 32 33 35 36 39 40 42 43 45 48 51 54 62 64 66
a 7 9 10 11 14 15 16 18 24 25 32 33 34 35 36 39 40 42 43 45 48 51 54 64 66
a 7 9 10 11 14 15 16 18 25 32 33 34 35 36 39 40 42 43 45 48 51 54 64 66 70
a 7 8 9 10 11 14 15 16 25 32 33 34 35 36 39 40 42 43 45 48 51 54 64 66 70
a 7 8 10 11 14 15 16 25 32 33 34 35 36 37 39 40 42 43 45 48 51 54 64 66 70
a 7 8 9 10 11 14 15 25 32 33 34 35 36 37 39 40 42 43 45 48 51 54 64 66 70
a 7 8 9 10 11 14 15 25 32 33 34 35 36 37 39 40 42 43 45 48 51 54 64 66 71
a 7 8 9 10 11 14 15 16 25 32 33 34 35 36 37 39 40 42 43 45 48 51 54 64 66
a 7 8 9 11 14 15 16 25 30 32 33 34 35 36 37 39 40 42 43 45 48 51 54 64 66
a 7 8 11 14 15 16 25 30 32 33 34 35 36 37 39 40 42 43 45 48 51 54 64 66 71
a 8 11 14 15 16 25 30 32 33 34 35 36 37 39 40 42 43 45 48 51 54 64 66 70 71
a 7 8 11 15 16 25 30 32 33 34 35 36 37 39 40 42 43 45 48 51 54 64 66 70 71
a 7 8 9 11 15 16 25 32 33 34 35 36 37 39 40 42 43 45 48 51 54 64 66 70 71
a 7 8 9 11 15 16 25 32 33 34 35 36 37 39 40 42 43 48 51 54 64 66 70 71 75
a 7 8 9 11 14 15 16 25 32 33 34 35 36 37 39 40 42 43 48 51 54 64 66 70 71
a 7 8 9 11 14 15 16 25 32 33 35 36 37 39 40 42 43 48 51 54 64 66 70 71 78
a 7 8 9 14 15 16 25 30 32 33 35 36 37 39 40 42 43 48 51 54 64 66 70 71 78
a 7 8 9 14 15 16 25 30 32 33 35 36 37 39 40 42 43 48 51 54 64 66 71 75 78
a 7 8 9 11 14 15 16 25 30 32 33 35 36 37 39 40 42 43 48 51 54 64 66 75 78
a 7 8 9 11 15 16 25 30 32 33 35 36 37 39 40 42 43 48 51 54 64 66 71 75 78
a 7 8 9 11 15 16 25 30 32 33 35 36 37 39 40 42 43 48 51 54 64 66 70 71 75
a 7 8 9 11 15 16 25 30 31 32 33 35 36 37 39 40 42 43 48 51 54 64 70 71 75
a 7 8 9 11 15 16 25 30 31 32 33 35 36 37 39 40 42 43 48 51 54 64 70 71 78
a 7 8 9 11 14 15 16 25 30 31 32 33 35 36 37 39 40 42 43 48 51 54 64 70 71
a 7 8 9 11 14 15 16 25 30 31 32 33 35 36 37 39 40 42 43 51 54 64 70 71 75
a 7 8 9 11 14 15 16 25 30 31 32 33 35 36 37 39 40 43 48 51 54 64 70 71 75
a 7 8 9 11 14 15 16 25 30 31 32 33 35 36 37 39 40 42 43 48 51 54 64 70 75
a 7 8 9 11 14 15 16 25 30 31 32 33 35 36 37 39 40 42 43 48 51 54 64 70 78
a 7 8 9 11 14 15 16 25 30 31 32 33 35 36 37 39 40 42 43 48 51 54 64 66 70
a 7 8 9 11 14 15 16 25 30 31 32 33 35 36 37 39 40 42 43 48 51 54 64 66 75
a 7 8 9 11 14 15 16 25 30 31 32 33 35 36 37 39 40 42 43 48 51 54 64 69 75
a 7 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 48 51 54 64 69 75 78
a 7 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 48 51 54 64 69 75
a 7 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 48 51 54 64 69 78
a 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 48 51 54 64 69 75 78
a 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 48 51 54 64 71 75 78
a 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 48 54 64 66 71 75 78
a 7 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 48 54 64 66 71 75
a 7 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 48 54 64 66 70 75
a 7 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 48 51 54 64 66 70
a 7 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 48 51 54 57 66 70
a 7 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 48 51 54 57 66 78
a 7 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 48 51 54 57 66 75
a 7 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 48 51 57 66 75 78
a 7 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 48 57 66 71 75 78
a 7 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 48 51 57 66 71 75
a 7 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 48 51 57 64 66 71
a 7 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 48 51 54 57 66 71
a 7 8 9 11 14 15 16 25 30 31 32 33 35 37 39 40 42 43 44 51 54 57 66 71 75
a 7 8 9 11 14 15 16 25 31 32 33 35 37 39 40 42 43 44 51 54 57 66 67 71 75
a 7 8 9 11 14 15 16 25 31 32 33 35 37 39 40 42 43 44 51 54 57 64 66 67 71
a 7 8 9 11 14 15 16 25 31 32 33 35 37 39 40 42 43 44 51 54 57 62 64 66 67
a 7 8 9 11 14 15 16 25 31 32 33 35 37 39 40 42 43 44 51 54 57 62 64 66 75
a 7 8 9 11 14 15 16 25 31 32 35 37 39 40 42 43 44 51 54 57 62 64 65 66 75
a 7 8 9 11 14 15 16 25 31 32 35 39 40 42 43 44 51 54 57 62 64 65 66 75 78
a 3 7 8 9 11 14 15 16 25 31 32 35 39 40 42 43 44 51 54 57 62 64 65 66 75
a 3 7 8 9 11 14 15 16 25 31 32 35 39 40 42 43 44 51 57 62 64 65 66 74 75
a 3 7 8 9 11 14 15 16 25 31 32 35 39 40 42 43 44 51 57 62 64 65 66 74 78
a 3 7 8 9 11 15 16 25 31 32 35 39 40 42 43 44 51 57 62 64 65 66 71 74 78
a 3 7 8 9 11 15 16 25 31 32 35 39 40 42 43 44 51 57 62 64 66 67 71 74 78
a 3 7 8 9 11 15 16 25 31 32 35 39 40 42 43 49 51 57 62 64 66 67 71 74 78
a 3 7 8 9 11 15 16 25 31 32 35 39 40 42 43 48 49 51 57 62 64 66 67 71 74
a 3 7 8 9 11 15 16 25 31 32 35 39 40 42 43 48 49 51 57 64 66 67 71 74 78
a 3 7 8 9 11 13 15 16 31 32 35 39 40 42 43 48 49 51 57 64 66 67 71 74 78
a 3 7 8 9 11 13 15 16 31 32 35 39 40 42 43 44 48 49 51 57 64 66 67 71 78
a 3 7 8 9 11 13 15 16 31 32 35 39 40 42 43 44 48 49 51 57 64 66 71 73 78
a 3 8 9 11 13 15 16 27 31 32 35 39 40 42 43 44 48 49 51 57 64 66 71 73 78
a 3 8 9 11 13 15 16 27 31 32 35 39 40 42 43 44 48 49 51 57 64 67 71 73 78
a 3 8 9 11 13 15 16 27 31 32 35 39 40 42 43 44 48 49 51 57 62 64 67 71 73
a 8 9 11 13 15 16 27 31 32 35 39 40 42 43 44 48 49 51 54 57 62 64 67 71 73
a 8 11 13 15 16 27 31 32 35 39 40 42 43 44 48 49 51 54 57 62 64 66 67 71 73
a 3 8 11 13 15 16 27 32 35 39 40 42 43 44 48 49 51 54 57 62 64 66 67 71 73
a 3 8 11 13 15 16 27 31 32 35 39 42 43 44 48 49 51 54 57 62 64 66 67 71 73
a 3 8 10 11 13 15 16 27 31 32 35 39 42 43 44 48 49 51 57 62 64 66 67 71 73
a 3 8 10 11 13 15 16 27 31 32 35 39 42 43 48 49 51 54 57 62 64 66 67 71 73
a 3 8 10 11 13 15 16 27 31 32 35 39 42 43 48 49 51 54 57 62 64 66 71 73 78
a 3 8 10 11 13 15 16 27 31 32 35 39 40 42 43 48 49 51 54 57 62 64 66 73 78
a 3 8 10 11 13 15 16 27 31 32 35 39 40 42 43 44 48 49 51 54 57 62 64 66 78
a 3 8 10 11 13 15 16 27 31 32 35 39 40 42 43 44 48 49 51 54 57 64 66 73 78
a 3 8 10 11 13 15 16 27 31 32 35 39 40 42 43 44 48 49 51 54 57 62 64 66 73
a 3 8 10 11 15 16 27 31 32 35 39 40 42 43 44 48 49 51 54 57 62 64 66 71 73
a 3 8 10 11 13 15 16 27 31 32 35 39 40 42 43 44 48 49 54 57 62 64 66 71 73
a 8 10 11 13 15 16 27 31 32 35 39 40 42 43 44 48 49 54 57 62 64 66 71 73 78
a 8 10 13 15 16 27 31 32 35 39 40 42 43 44 48 49 54 57 62 64 66 67 71 73 78
a 8 10 13 15 16 27 31 32 39 40 41 42 43 44 48 49 54 57 62 64 66 67 71 73 78
a 8 10 13 15 16 27 31 32 39 41 42 43 44 46 48 49 54 57 62 64 66 67 71 73 78
a 8 13 15 16 27 31 32 39 41 42 43 44 46 48 49 54 57 62 64 66 67 71 73 75 78
a 8 13 15 16 27 31 32 39 41 42 43 44 46 48 49 50 54 57 62 64 66 67 71 75 78
a 8 13 14 15 16 27 31 32 39 41 42 43 44 46 48 49 50 54 57 62 64 66 67 71 75
a 8 13 14 15 16 27 31 32 39 41 42 43 44 46 49 50 54 57 59 62 64 66 67 71 75
a 8 13 14 15 16 27 29 31 32 39 41 42 44 46 49 50 54 57 59 62 64 66 67 71 75
a 3 8 13 14 15 16 27 29 31 32 39 41 42 44 46 49 50 54 57 59 62 64 66 67 71
a 3 8 13 14 15 16 29 31 32 39 41 42 44 46 49 50 54 57 59 62 64 66 67 71 78
a 3 8 13 14 15 16 27 29 31 32 39 41 42 44 46 49 50 54 57 59 62 64 66 67 78
a 3 8 13 14 15 16 27 29 31 32 39 41 42 43 44 46 49 50 54 57 59 64 66 67 78
a 3 8 13 15 16 27 29 31 32 39 41 42 43 44 46 49 50 54 57 59 61 64 66 67 78
a 3 8 13 15 16 27 29 31 39 41 42 43 44 46 49 50 54 57 59 61 64 66 67 76 78
a 3 7 8 13 15 16 29 31 39 41 42 43 44 46 49 50 54 57 59 61 64 66 67 76 78
a 3 7 8 13 14 15 16 29 31 39 41 42 43 44 46 49 50 54 57 59 61 64 66 67 78
a 3 7 8 13 14 15 16 29 31 39 41 42 43 44 46 49 50 54 57 59 61 62 64 66 67
a 7 8 13 14 15 16 29 31 32 39 41 42 43 44 46 49 50 54 57 59 61 62 64 66 67
a 3 7 8 13 14 15 16 29 31 32 39 41 42 43 44 46 49 50 54 57 59 61 62 66 67
a 3 7 8 13 14 15 16 29 31 32 39 41 42 44 46 49 50 54 57 59 61 62 64 66 67
a 3 7 8 13 14 15 29 31 32 39 41 42 43 44 46 49 50 54 57 59 61 62 64 66 67
a 3 7 8 13 14 15 29 31 32 39 41 42 44 46 49 50 54 57 59 61 62 64 66 67 78
a 7 8 13 14 15 16 29 31 32 39 41 42 44 46 49 50 54 57 59 61 62 64 66 67 78
a 7 8 9 13 14 15 16 29 31 32 39 41 42 44 46 49 50 54 57 59 61 62 64 66 67
a 3 7 8 9 13 14 15 16 29 31 32 39 41 42 44 46 49 50 54 57 59 61 62 64 67
a 3 8 9 13 14 15 16 29 31 32 39 41 42 44 46 49 50 54 57 59 61 62 64 66 67
a 3 8 9 13 15 16 29 31 32 39 41 42 43 44 46 49 50 54 57 59 61 62 64 66 67
a 7 8 9 13 15 16 29 31 32 39 41 42 43 44 46 49 50 54 57 59 61 62 64 66 67
a 3 7 8 13 15 16 29 31 32 39 41 42 43 44 46 49 50 54 57 59 61 62 64 66 67
a 3 7 8 13 14 15 16 29 31 32 39 42 43 44 46 49 50 54 57 59 61 62 64 66 67
a 3 7 8 13 14 15 16 31 32 35 39 42 43 44 46 49 50 54 57 59 61 62 64 66 67
a 3 7 8 13 14 15 16 31 32 35 39 42 43 44 46 49 50 51 54 57 59 61 62 64 67
a 3 8 13 14 15 16 31 32 35 39 42 43 44 46 49 50 51 54 57 59 61 62 64 66 67
a 3 7 8 13 14 15 16 31 35 39 42 43 44 46 49 50 51 54 57 59 61 62 64 66 67
a 3 7 8 9 13 15 16 31 35 39 42 43 44 46 49 50 51 54 57 59 61 62 64 66 67
a 3 7 8 9 13 15 16 31 35 39 40 42 43 44 49 50 51 54 57 59 61 62 64 66 67
a 3 7 9 13 14 15 16 31 35 39 40 42 43 44 49 50 51 54 57 59 61 62 64 66 67
a 3 7 8 13 14 15 16 31 35 39 40 42 43 44 49 50 51 54 57 59 61 62 64 66 67
a 3 7 8 13 14 15 16 31 32 35 39 40 42 43 44 49 50 51 57 59 61 62 64 66 67
a 7 8 13 14 15 16 31 32 35 39 40 42 43 44 45 49 50 51 57 59 61 62 64 66 67
a 7 8 9 13 14 15 16 31 32 35 39 40 43 44 45 49 50 51 57 59 61 62 64 66 67
a 7 8 9 13 15 16 31 32 35 39 40 43 44 45 49 50 51 54 57 59 61 62 64 66 67
a 7 8 9 15 16 25 31 32 35 39 40 43 44 45 49 50 51 54 57 59 61 62 64 66 67
a 7 8 9 15 16 25 31 32 35 39 40 42 43 45 49 50 51 54 57 59 61 62 64 66 67
a 7 8 9 15 16 25 31 32 34 35 39 40 42 43 45 49 50 51 54 57 59 61 64 66 67
a 7 8 9 14 15 16 25 31 32 34 35 39 40 42 45 49 50 51 54 57 59 61 64 66 67
a 7 8 9 14 15 16 25 31 32 34 35 39 40 42 45 50 51 54 57 59 61 62 64 66 67
a 7 8 9 14 15 16 25 31 32 34 39 40 42 43 45 50 51 54 57 59 61 62 64 66 67
a 8 9 14 15 16 25 31 32 33 34 39 40 42 43 45 50 51 54 57 59 61 62 64 66 67
a 7 8 9 14 15 16 25 31 32 33 34 39 40 42 43 45 50 51 54 59 61 62 64 66 67
a 7 9 14 15 16 24 25 31 32 33 34 39 40 42 43 45 50 51 54 59 61 62 64 66 67
a 9 14 15 16 24 25 31 32 33 34 36 39 40 42 43 45 50 51 54 59 61 62 64 66 67
a 7 9 14 15 16 24 25 31 32 33 34 36 39 40 42 43 45 50 51 54 59 61 62 64 66
a 7 14 15 16 24 25 31 32 33 34 36 39 40 42 43 45 50 51 54 59 61 62 64 66 67
a 7 14 15 16 24 25 31 32 33 34 35 36 39 40 42 43 45 50 51 54 59 62 64 66 67
a 14 15 16 24 25 31 32 33 34 35 36 37 39 40 42 43 45 50 51 54 59 62 64 66 67
a 7 15 16 24 25 31 32 33 34 35 36 37 39 40 42 43 45 50 51 54 59 62 64 66 67
a 7 15 16 24 25 31 32 33 34 35 36 37 39 40 42 43 45 50 51 54 58 59 64 66 67
a 7 14 16 24 25 31 32 33 34 35 36 37 39 40 42 43 45 50 51 54 58 59 64 66 67
a 7 14 16 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 51 54 58 59 64 66 67
a 7 14 15 16 24 25 31 32 33 34 35 36 37 39 40 43 45 49 51 54 58 59 64 66 67
a 7 14 15 16 24 25 31 32 34 35 36 37 39 40 43 45 49 50 51 54 58 59 64 66 67
a 7 14 15 16 24 25 31 32 33 34 35 36 37 39 40 43 45 49 50 51 54 58 59 64 66
a 7 14 15 16 24 25 31 32 33 34 35 36 37 39 40 43 45 49 50 51 54 58 59 64 67
a 2 7 14 15 16 24 25 31 32 33 34 35 36 37 39 40 43 45 49 50 51 54 58 59 64
a 2 14 15 16 24 25 31 32 33 34 35 36 37 39 40 43 45 49 50 51 54 58 59 64 67
a 2 9 14 15 16 24 25 31 32 33 34 35 36 37 39 40 43 45 49 50 51 54 58 59 64
a 2 9 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 49 50 51 54 58 59
a 9 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59
a 9 14 15 16 18 24 25 31 32 34 35 36 37 39 40 42 43 45 49 50 51 54 58 59 67
a 9 14 15 16 18 24 25 31 32 34 35 36 37 39 40 42 43 45 49 50 54 58 59 66 67
a 9 14 15 16 18 24 25 31 32 34 35 36 37 39 40 42 43 45 50 54 58 59 64 66 67
a 9 14 15 16 18 24 25 31 32 34 35 36 37 39 40 42 43 45 50 51 54 58 59 64 66
a 9 14 15 16 18 24 25 31 32 34 35 36 37 39 40 42 43 45 50 51 54 58 59 64 67
a 9 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 50 51 54 58 59 64 67
a 9 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 50 51 54 58 59 64 66 67
a 9 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 50 51 54 58 59 64 66
a 9 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 50 51 54 59 62 64 66
a 7 9 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 50 51 54 59 62 64 66
a 7 9 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 50 51 54 59 62 63 66
a 7 9 14 15 16 18 22 25 31 32 33 34 35 36 37 39 40 43 50 51 54 59 62 63 66
a 6 7 9 14 15 16 18 22 31 32 33 34 35 36 37 39 40 43 50 51 54 59 62 63 66
a 6 7 9 14 15 16 18 22 31 32 33 34 35 37 39 40 43 50 51 54 57 59 62 63 66
a 6 7 9 14 15 16 18 22 31 32 33 34 35 37 39 40 43 50 51 57 59 62 63 66 75
a 5 6 7 9 14 15 16 18 22 31 32 33 34 35 37 40 43 50 51 57 59 62 63 66 75
a 2 5 6 7 9 14 16 18 22 31 32 33 34 35 37 40 43 50 51 57 59 62 63 66 75
a 2 5 6 7 9 14 16 18 22 31 32 33 34 35 37 40 43 48 50 51 57 62 63 66 75
a 2 5 6 7 9 14 16 18 20 22 31 32 33 34 35 37 40 43 48 51 57 62 63 66 75
a 2 5 6 7 9 11 14 16 18 20 22 32 33 34 35 37 40 43 48 51 57 62 63 66 75
a 2 5 6 7 9 11 14 18 20 22 28 32 33 34 35 37 40 43 48 51 57 62 63 66 75
c Step: 246
#END: [Mon Sep  4 22:01:17 2023]