#BEGIN: [Tue Sep  5 06:24:39 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-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 -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
TIMEOUT 1800
c send SIGTERM to CID 3556a9eebaed9a5b67dbdc9da701aafbc8c5dc3eb4d9216131872dcbf03f7681
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 7 9 10 14 15 16 18 19 24 25 31 32 33 35 36 39 40 45 48 49 54 58 69 71
a 1 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 39 40 45 48 49 54 58 69 71
a 1 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 39 40 45 48 49 54 58 66 71
a 1 7 9 10 11 14 15 16 18 24 25 31 33 35 36 39 40 42 45 48 49 54 58 66 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 39 40 42 45 48 49 54 58 66 71
a 1 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 39 40 42 45 49 54 58 66 71
a 1 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 39 40 42 45 49 54 62 66 71
a 1 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 39 40 42 45 49 62 66 67 71
a 1 7 9 10 11 14 15 16 24 25 31 32 33 35 36 39 40 42 45 49 54 62 66 67 71
a 1 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 39 40 42 45 54 62 66 67 71
a 1 7 10 11 14 15 16 18 24 25 31 32 33 35 36 39 40 42 45 49 54 62 66 67 71
a 1 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 39 40 45 49 54 62 66 67 71
a 1 7 9 10 11 14 15 16 18 24 25 31 32 35 36 39 40 45 48 49 54 62 66 67 71
a 1 7 9 10 11 14 15 16 18 24 25 31 32 35 39 40 42 45 48 49 54 62 66 67 71
a 1 7 9 11 14 15 16 18 24 25 31 32 33 35 39 40 42 45 48 49 54 62 66 67 71
a 1 7 11 14 15 16 18 24 25 31 32 33 35 36 39 40 42 45 48 49 54 62 66 67 71
a 1 7 9 11 14 15 18 24 25 31 32 33 35 36 39 40 42 45 48 49 54 62 66 67 71
a 7 9 10 11 14 15 18 24 25 31 32 33 35 36 39 40 42 45 48 49 54 62 66 67 71
a 1 7 9 10 11 14 15 18 24 25 32 33 35 36 39 40 42 45 48 49 54 62 66 67 71
a 1 7 9 10 11 14 15 18 24 25 32 33 35 36 39 40 42 48 49 54 62 66 67 71 78
a 1 7 9 10 11 14 15 16 18 24 25 32 33 35 36 39 40 42 48 49 54 66 67 71 78
a 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 39 40 42 48 49 54 66 67 71 78
a 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 39 40 42 48 49 54 58 67 71 78
a 7 9 10 11 14 15 16 18 24 25 31 33 35 36 39 40 42 48 49 54 58 66 67 71 78
a 7 9 10 11 14 15 16 18 24 25 31 33 34 35 36 39 40 42 48 49 54 58 66 67 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 39 40 42 48 49 54 66 67 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 39 40 42 48 49 54 58 67 71
a 7 9 10 11 14 15 16 24 25 31 32 33 34 35 36 39 40 42 45 48 49 54 58 67 71
a 7 9 11 14 15 16 24 25 31 32 33 34 35 36 39 40 42 45 48 49 54 58 66 67 71
a 9 11 14 15 16 24 25 31 32 33 34 35 36 39 40 42 45 48 49 51 54 58 66 67 71
a 7 9 11 14 15 16 24 25 31 32 33 34 35 36 39 40 42 45 48 49 51 54 58 66 67
a 7 9 14 15 16 24 25 31 32 33 34 35 36 39 40 42 45 48 49 51 54 58 66 67 71
a 7 9 11 14 15 16 24 25 31 32 33 34 36 39 40 42 45 48 49 51 54 58 66 67 71
a 7 9 10 11 14 15 16 24 25 31 32 33 34 36 39 40 42 45 48 49 51 54 58 67 71
a 7 9 11 14 15 16 18 24 25 31 32 33 34 36 39 40 42 45 48 49 51 54 58 67 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 36 39 40 42 45 48 49 51 54 58 67
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 36 39 40 42 45 48 49 51 54 58 66
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 36 39 40 42 45 48 49 54 58 66 71
a 7 9 10 14 15 16 18 24 25 31 32 33 34 35 36 39 40 42 45 48 49 54 58 66 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 39 40 42 45 48 49 54 66 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 39 40 42 45 48 54 58 66 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 42 45 48 54 58 66 71
a 7 9 10 11 14 15 16 18 24 25 31 32 34 35 36 37 39 40 42 45 48 54 58 66 71
a 7 9 10 11 14 15 16 18 24 25 31 32 34 35 36 37 39 40 42 45 48 51 58 66 71
a 7 9 10 11 14 15 16 18 24 25 31 32 34 35 36 37 40 42 45 48 51 54 58 66 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 42 45 48 51 54 58 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 42 45 48 49 51 54 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 42 43 45 48 49 51 54
a 7 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 40 42 43 45 48 49 51 54 71
a 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 42 43 45 48 49 51 54 71
a 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 42 43 45 48 49 51 58 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 42 45 48 49 51 58 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 45 48 49 51 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 45 48 49 51 58
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 45 48 49 51 67
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 42 45 48 49 51 66 67
a 7 9 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 42 45 48 49 51 58 66 67
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 42 45 48 49 51 58 66
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 42 43 45 48 49 51 58 66
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 42 43 45 48 49 51 54 66
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 42 43 45 48 49 54 64 66
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 42 43 45 48 49 51 64 66
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 42 43 45 48 49 51 54 64
a 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 42 43 45 48 49 51 54 64
a 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 37 40 42 43 45 48 49 51 54 64
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 40 42 43 45 48 49 51 54 64
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 40 42 43 45 48 49 51 64 66
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 42 43 45 49 51 64 66
a 7 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 40 42 43 45 48 49 51 64 66
a 7 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 40 42 43 48 49 51 62 64 66
a 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 37 40 42 43 48 49 51 62 64 66
a 7 9 10 11 14 15 16 18 25 31 32 33 35 36 37 39 40 42 43 48 49 51 62 64 66
a 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 37 39 40 42 43 48 49 51 62 66
a 7 9 10 11 14 15 16 18 25 31 32 33 35 36 37 39 40 42 43 48 49 51 54 62 66
a 7 10 11 14 15 16 18 24 25 31 32 33 35 36 37 39 40 42 43 48 49 51 54 62 66
a 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 37 39 40 42 43 48 49 51 54 62
a 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 37 39 40 42 43 48 49 54 62 71
a 7 9 10 11 14 15 16 18 24 31 32 33 35 36 37 39 40 42 43 48 49 51 54 62 71
a 7 9 10 11 14 15 16 18 24 31 32 33 35 36 37 39 40 42 43 49 51 54 62 64 71
a 7 9 10 11 14 15 16 18 24 31 32 33 35 36 37 39 40 42 43 48 49 51 62 64 71
a 7 9 10 14 15 16 18 24 25 31 32 33 35 36 37 39 40 42 43 48 49 51 62 64 71
a 7 9 10 14 15 16 18 24 25 31 32 33 35 36 37 39 40 42 43 45 48 49 51 62 71
a 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 37 39 40 42 43 45 48 49 51 62
a 7 9 10 11 15 16 18 24 25 31 32 33 35 36 37 39 40 42 43 45 48 49 51 62 64
a 7 9 10 11 14 15 16 18 24 25 31 32 33 35 36 37 39 40 43 45 48 49 51 62 64
a 7 9 10 11 14 15 16 18 24 25 31 32 35 36 37 39 40 43 45 48 49 51 54 62 64
a 7 9 10 11 14 15 16 18 24 25 31 32 35 36 37 40 42 43 45 48 49 51 54 62 64
a 7 9 10 11 14 15 16 18 24 25 31 32 35 36 37 40 42 43 45 48 49 51 54 64 66
a 7 9 10 11 14 15 18 24 25 31 32 33 35 36 37 40 42 43 45 48 49 51 54 64 66
a 9 10 11 14 15 16 18 24 25 31 32 33 35 36 37 40 42 43 45 48 49 51 54 64 66
a 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 40 42 43 45 48 49 51 54 64 66
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 40 42 43 45 48 49 51 54 66
a 7 9 10 11 14 15 16 18 24 25 31 33 34 35 36 37 40 42 43 45 48 49 51 54 66
a 7 9 10 11 14 15 16 18 24 25 31 33 34 35 36 37 40 42 43 45 48 49 54 64 66
a 7 9 10 11 14 15 16 18 24 25 31 33 34 35 36 37 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 54 64
a 7 9 10 11 14 15 16 18 25 31 33 34 35 36 37 39 40 42 43 48 49 51 54 62 64
a 7 9 10 11 14 15 16 18 24 25 31 33 34 35 36 37 39 40 43 48 49 51 54 62 64
a 7 9 10 11 15 16 18 24 25 31 33 34 35 36 37 39 40 42 43 48 49 51 54 62 64
a 7 9 10 11 14 15 16 18 24 25 33 34 35 36 37 39 40 42 43 48 49 51 54 62 64
a 7 9 10 11 14 15 16 18 24 25 32 33 34 35 36 37 39 40 42 43 48 49 54 62 64
a 7 9 10 11 15 16 18 24 25 32 33 34 35 36 37 39 40 42 43 48 49 51 54 62 64
a 7 9 10 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 48 49 51 54 62
a 7 9 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 48 49 51 54 62 69
a 7 9 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 48 49 51 54 62 64
a 7 9 10 11 15 16 18 24 25 31 32 33 34 35 36 37 39 40 42 43 48 49 51 54 64
a 7 9 10 11 15 16 18 24 25 31 32 33 34 35 37 39 40 42 43 48 49 51 54 64 69
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 37 39 40 42 43 48 49 51 54 64
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 37 39 40 42 43 48 49 51 64 69
a 7 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 39 42 43 48 49 51 64 69
a 7 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 39 42 43 45 48 49 51 64 69
a 7 9 10 11 15 16 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 64 69
a 7 9 10 11 15 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 62 64 69
a 7 9 11 14 15 24 25 31 32 33 34 35 36 37 38 39 42 43 45 48 49 51 62 64 69
a 7 9 11 14 15 16 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 62 64 69
a 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 62 64 69
a 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 62 64 67
a 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 54 62 64
a 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 51 53 54 62
a 2 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 38 39 43 45 48 49 53 54 62
a 2 9 10 11 14 15 16 18 24 31 32 33 34 35 36 37 38 39 43 45 48 49 53 54 62
a 2 9 10 11 14 15 16 18 24 31 32 33 34 35 36 37 38 39 43 45 48 49 51 53 54
a 2 9 10 11 14 15 16 18 24 31 32 33 34 35 36 37 38 39 43 45 48 49 53 54 67
a 2 9 10 11 14 15 16 18 24 31 32 33 34 35 36 37 38 39 43 45 49 51 53 54 67
a 2 9 10 11 14 15 16 18 24 31 32 33 34 35 36 37 38 39 43 45 49 51 53 54 62
a 2 9 10 11 14 15 16 18 24 31 32 33 34 35 36 37 39 40 43 45 49 51 53 54 62
a 2 9 10 11 14 16 18 24 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 62
a 2 6 9 11 14 16 18 24 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 62
a 2 6 9 11 14 16 18 24 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 68
a 2 6 9 10 11 14 16 18 24 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54
a 2 6 9 10 11 14 16 18 24 25 31 32 33 34 35 36 39 40 43 45 48 49 51 53 54
a 6 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54
a 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 64
a 2 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 39 40 43 48 49 51 53 54 64
a 2 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 39 40 43 49 51 53 54 64 67
a 2 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 39 40 43 48 49 51 53 54 67
a 2 9 10 11 14 16 18 24 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 67
a 6 9 10 11 14 16 18 24 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 54 67
a 2 6 9 10 11 14 16 18 24 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 67
a 2 6 9 10 11 14 16 18 24 31 32 33 34 35 36 37 39 43 45 48 49 51 53 54 67
a 2 6 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 39 43 45 48 49 51 53 67
a 6 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 67
a 2 6 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 49 51 53 67
a 2 6 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 49 51 53 64
a 2 6 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 40 45 48 49 51 53 54 64
a 2 6 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 49 51 53 54
a 2 6 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 49 51 54 62
a 2 6 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 40 43 45 49 51 53 54 62
a 2 6 9 10 11 14 16 24 25 31 32 33 34 35 36 37 39 40 43 45 49 51 53 54 62
a 2 6 9 10 11 14 16 24 25 31 32 33 34 35 36 37 39 40 43 45 48 49 51 53 62
a 2 6 9 10 11 14 16 24 25 31 32 33 34 35 36 37 40 43 45 48 49 51 53 56 62
a 6 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 49 51 53 56 62
a 2 6 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 49 51 53 56
a 2 6 9 10 11 14 16 18 24 25 31 32 33 34 36 37 40 43 45 48 49 51 53 54 56
a 2 6 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 51 53 54 56
a 2 6 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 40 43 45 48 51 53 54 56
a 2 6 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 40 43 48 51 53 54 56 62
a 2 6 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 40 43 51 53 54 56 62 67
a 2 6 9 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 43 51 53 54 56 62 67
a 2 6 9 10 11 14 15 16 18 24 25 31 32 33 34 36 37 40 43 51 53 54 56 62 67
a 2 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 43 51 53 54 56 62 67
a 2 6 9 10 11 14 16 18 24 25 31 32 33 34 35 36 37 40 43 51 53 54 56 62 67
a 2 6 9 10 11 14 16 24 25 31 32 33 34 35 36 37 40 43 51 53 54 56 62 64 67
a 2 6 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 40 43 51 53 54 56 62 64
a 2 6 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 40 43 45 51 53 54 56 62
a 2 6 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 40 43 45 48 51 53 56 62
a 2 6 10 11 14 15 16 24 25 31 32 33 34 35 36 37 40 43 45 48 49 51 53 56 62
a 2 6 9 10 11 14 15 16 24 25 32 33 34 35 36 37 40 43 45 48 49 51 53 56 62
a 2 6 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 40 43 45 48 49 51 53 56
a 2 6 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 40 43 45 48 51 53 56 64
a 2 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 40 43 45 48 51 53 56 62 64
a 2 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 40 45 48 51 53 54 56 62 64
a 2 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 45 48 51 54 56 62 64
a 2 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 45 48 51 53 54 56 62
a 2 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 53 54 56 62
a 2 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 53 54 56 64
a 2 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 53 54 56 67
a 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 53 54 56 64 67
a 2 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 53 56 64 67
a 2 9 10 11 14 15 16 18 24 25 31 32 33 34 36 37 40 43 45 48 51 53 56 64 67
a 2 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 51 53 64 67
a 2 6 9 10 11 14 15 16 24 25 31 32 33 34 35 36 37 40 43 45 48 51 53 64 67
a 2 6 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 51 53 64
a 2 6 9 10 11 14 15 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 51 64 67
a 2 6 9 10 14 15 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 51 53 64 67
a 2 6 9 14 15 16 18 24 25 31 32 33 34 35 36 37 40 43 45 48 50 51 53 64 67
a 2 6 9 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 50 51 53 64 67
a 2 6 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 50 51 53 54 64 67
a 2 6 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 50 51 53 54 59 64 67
a 6 14 15 16 18 24 25 31 32 33 34 35 36 37 39 40 43 45 50 51 53 54 59 64 67
a 2 6 14 15 16 18 25 31 32 33 34 35 36 37 39 40 43 45 50 51 53 54 59 64 67
a 6 14 15 16 18 22 25 31 32 33 34 35 36 37 39 40 43 45 50 51 53 54 59 64 67
a 6 9 14 15 16 18 22 25 31 32 33 34 35 36 37 39 40 43 45 50 51 53 54 59 64
a 6 9 14 15 16 18 22 25 31 32 33 34 35 36 37 39 40 43 50 51 53 54 59 64 75
a 6 8 9 14 15 16 22 25 31 32 33 34 35 36 37 39 40 43 50 51 53 54 59 64 75
a 6 8 9 14 15 16 22 25 31 32 33 35 36 37 39 40 43 50 51 53 54 59 64 75 78
a 6 8 9 14 15 16 22 31 32 33 35 36 37 39 40 43 50 51 53 54 59 64 67 75 78
a 6 8 9 14 15 16 22 27 31 32 33 35 36 37 39 40 50 51 53 54 59 64 67 75 78
a 6 8 9 14 15 16 22 27 32 33 35 36 37 39 40 50 51 53 54 59 62 64 67 75 78
a 6 8 14 15 16 22 27 31 32 33 35 36 37 39 40 50 51 53 54 59 62 64 67 75 78
a 6 8 13 14 15 16 22 27 31 32 33 35 36 37 39 40 50 51 53 54 59 62 64 75 78
a 6 8 13 14 15 16 19 22 27 31 32 33 35 36 37 39 40 50 53 54 59 62 64 75 78
a 6 8 13 14 15 19 22 27 31 32 33 35 36 37 39 40 50 51 53 54 59 62 64 75 78
a 6 8 13 14 15 16 19 22 31 32 33 35 36 37 39 40 50 51 53 54 59 62 64 75 78
a 6 13 14 15 16 19 22 31 32 33 35 36 37 39 40 50 51 53 54 59 62 64 67 75 78
a 6 9 13 14 15 16 19 22 31 33 35 36 37 39 40 50 51 53 54 59 62 64 67 75 78
a 6 9 13 14 15 16 17 19 22 31 33 35 36 37 39 40 50 51 53 54 59 62 64 67 75
a 6 9 13 14 15 16 17 19 22 31 32 33 35 36 37 39 40 50 51 53 54 59 62 64 67
a 6 9 13 14 15 16 17 19 22 27 31 32 33 35 36 37 39 40 50 51 53 54 59 64 67
a 6 9 13 14 15 16 17 19 22 27 31 32 33 35 36 37 39 40 50 51 53 54 59 67 78
a 6 9 13 14 15 16 17 19 22 27 32 33 35 36 37 39 40 50 51 53 54 59 64 67 78
a 9 13 14 15 16 17 19 22 27 31 32 33 35 36 37 39 40 50 51 53 54 59 64 67 78
a 8 9 13 14 15 16 17 19 22 27 31 32 33 35 36 37 39 40 50 51 53 54 59 64 67
a 8 9 13 14 15 16 17 19 22 27 31 32 33 35 36 39 40 50 51 53 54 59 64 67 78
a 6 8 9 13 14 15 16 17 19 22 27 31 32 33 35 36 39 40 50 51 53 54 59 64 67
a 6 8 9 13 14 15 16 17 19 22 27 31 32 33 35 36 39 40 50 51 53 54 59 63 64
a 6 8 9 13 14 15 16 17 19 22 27 31 32 33 35 36 37 39 40 50 51 53 54 59 64
a 6 8 9 13 14 15 16 17 19 22 27 31 32 35 36 37 39 40 50 51 53 54 59 64 78
a 6 8 9 13 14 15 16 17 19 22 27 31 32 35 36 37 39 40 50 51 53 54 59 62 78
a 6 8 9 13 14 15 16 17 19 22 27 31 32 35 36 37 39 40 50 51 53 54 59 75 78
a 6 8 9 13 14 15 16 17 19 22 27 31 32 35 36 39 40 50 51 53 54 59 67 75 78
a 6 8 9 13 14 15 16 17 19 22 27 31 32 35 36 37 39 40 50 51 53 54 59 67 78
a 6 8 9 13 14 15 16 17 19 22 27 31 32 35 36 37 39 40 50 51 54 59 62 67 78
a 8 9 13 14 15 16 17 19 22 27 31 32 35 36 37 39 40 50 51 54 59 62 64 67 78
a 8 9 13 14 15 16 19 22 27 31 32 35 36 37 39 40 50 51 54 59 62 64 65 67 78
a 8 13 14 15 16 19 22 27 31 32 35 36 37 39 40 50 51 54 59 62 64 65 67 71 78
a 8 9 13 14 15 16 19 22 27 31 32 35 36 39 40 50 51 54 59 62 64 65 67 71 78
a 3 8 13 14 15 16 19 22 27 31 32 35 36 39 40 50 51 54 59 62 64 65 67 71 78
a 3 8 13 14 15 16 22 27 31 32 35 36 39 40 43 50 51 54 59 62 64 65 67 71 78
a 3 8 13 14 15 16 22 27 31 32 35 36 39 43 50 51 54 59 61 62 64 65 67 71 78
a 3 7 8 13 14 15 16 22 31 32 35 36 39 43 50 51 54 59 61 62 64 65 67 71 78
a 3 7 8 13 14 15 16 22 31 32 36 39 43 50 51 54 59 61 62 64 65 66 67 71 78
a 3 7 8 13 14 15 16 22 31 32 35 39 43 50 51 54 59 61 62 64 65 66 67 71 78
a 3 7 8 13 14 15 16 22 31 32 35 39 42 43 50 51 54 59 61 62 64 66 67 71 78
a 3 7 8 9 13 14 15 16 22 31 32 35 39 42 43 50 51 54 59 61 62 64 66 67 71
a 3 7 8 9 13 14 15 16 22 31 32 35 39 42 43 50 51 54 59 61 62 64 65 66 71
a 3 7 8 9 14 15 16 22 31 32 34 35 39 42 43 50 51 54 59 61 62 64 65 66 71
a 3 7 8 9 14 15 16 22 31 32 34 35 39 40 42 43 50 51 54 59 61 62 64 65 71
a 3 7 8 9 14 16 22 31 32 34 35 39 40 42 43 50 51 54 59 61 62 64 65 66 71
a 3 7 8 9 14 15 16 22 31 32 34 35 39 40 42 43 50 51 54 59 61 62 64 65 66
a 7 8 9 14 15 16 22 31 32 34 35 39 40 42 43 50 51 54 57 59 61 62 64 65 66
a 7 8 9 14 15 22 31 32 34 35 39 40 42 43 50 51 54 57 59 61 62 64 65 66 71
a 7 8 9 14 15 16 22 31 32 34 39 40 42 43 50 51 54 57 59 61 62 64 65 66 71
a 7 8 9 14 15 16 31 32 34 35 39 40 42 43 50 51 54 57 59 61 62 64 65 66 71
a 7 8 9 14 15 16 25 31 32 34 35 39 40 42 43 50 51 54 57 59 61 62 64 65 66
a 3 7 8 9 15 16 25 31 32 34 35 39 40 42 43 50 51 54 57 59 61 62 64 65 66
a 3 7 8 9 15 16 22 25 31 32 34 35 39 40 42 43 50 51 54 57 59 61 62 64 66
a 3 7 8 9 15 16 22 25 31 32 34 35 39 40 42 43 50 51 54 57 58 59 61 64 66
a 3 7 8 9 15 16 22 25 31 32 34 35 39 40 42 43 50 51 54 57 58 59 64 66 67
a 3 7 8 9 15 16 22 25 31 32 34 35 39 40 42 43 50 51 54 57 58 59 64 66 71
a 3 7 8 9 14 15 16 22 25 31 32 34 35 39 40 42 43 50 51 54 58 59 64 66 71
a 3 7 9 14 15 16 22 25 31 32 34 35 39 40 42 43 50 51 54 58 59 64 66 67 71
a 3 7 9 14 15 16 22 25 31 32 34 35 36 39 40 42 43 50 51 54 58 59 64 67 71
a 3 7 9 14 15 16 18 22 25 31 32 34 35 36 39 40 42 43 50 51 58 59 64 67 71
a 3 7 9 14 15 16 18 22 25 31 32 34 35 36 39 40 42 43 50 51 54 58 59 64 71
a 3 7 9 14 15 16 18 22 25 31 32 34 35 36 39 40 42 43 50 51 58 59 61 64 71
a 3 7 9 14 15 16 18 22 25 31 32 35 36 39 40 42 43 50 51 58 59 61 64 71 78
a 3 7 9 14 15 16 18 25 31 32 35 36 39 40 42 43 50 51 58 59 61 64 67 71 78
a 3 7 14 15 16 18 25 31 32 35 36 39 40 42 43 50 51 54 58 59 61 64 67 71 78
a 3 7 14 15 16 18 19 25 31 32 35 36 39 40 42 50 51 54 58 59 61 64 67 71 78
a 3 7 9 14 15 16 18 19 31 32 35 36 39 40 42 50 51 54 58 59 61 64 67 71 78
a 3 7 9 14 15 16 18 19 24 31 32 35 36 39 40 42 50 51 54 59 61 64 67 71 78
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 59 61 64 67 71 78
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 58 59 61 64 67 78
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 58 59 61 64 67 71
a 3 7 9 14 15 16 18 19 25 31 32 35 36 39 40 42 50 51 54 58 59 61 64 67 71
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 58 59 61 64 67
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 58 59 61 64 71
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 58 61 64 65 71
a 3 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 58 61 64 65 66 71
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 40 42 50 51 54 58 61 64 65 66 71
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 58 61 64 65 66
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 58 64 65 66 71
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 58 64 65 66 67
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 58 64 66 67 71
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 58 59 64 66 71
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 58 59 64 66 78
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 58 59 64 71 78
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 58 59 64 67 78
a 3 7 9 14 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 58 59 64 67 71 78
a 3 7 9 14 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 58 59 61 64 67 71
a 3 7 9 14 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 58 59 61 67 71 78
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 59 61 67 71 78
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 59 61 62 67 71
a 3 7 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 59 61 62 71 78
a 3 9 14 15 16 18 19 24 25 31 32 35 36 39 40 42 50 51 54 59 61 62 67 71 78
a 3 9 14 15 16 18 19 24 25 31 32 35 36 39 40 49 50 51 54 59 61 62 67 71 78
a 3 9 14 15 16 18 19 24 25 31 32 35 36 39 40 49 50 51 54 59 61 62 66 67 71
a 3 7 9 14 15 18 19 24 25 31 32 35 36 39 40 49 50 51 54 59 61 62 66 67 71
a 3 7 9 14 15 18 19 24 31 32 35 36 39 40 42 49 50 51 54 59 61 62 66 67 71
a 3 7 9 13 14 15 18 19 24 31 35 36 39 40 42 49 50 51 54 59 61 62 66 67 71
a 3 7 9 13 14 15 18 19 24 31 32 35 36 39 40 42 49 50 51 54 59 61 66 67 71
a 3 7 9 13 14 15 18 19 24 31 32 35 36 39 42 49 50 51 54 59 61 65 66 67 71
a 3 7 9 13 14 15 16 18 19 24 31 32 35 36 39 42 49 50 54 59 61 65 66 67 71
a 3 7 9 13 14 15 16 18 19 24 31 32 35 36 39 42 49 50 54 59 61 62 65 66 67
a 3 7 13 14 15 16 18 19 24 31 32 35 36 39 42 46 49 50 54 59 61 62 65 66 67
a 3 7 9 13 14 15 16 18 19 24 31 32 35 36 39 42 46 49 50 54 59 61 62 65 66
a 3 7 9 13 14 15 16 18 19 24 29 31 32 35 36 39 42 49 50 54 59 61 62 65 66
a 3 7 13 14 15 16 18 19 24 29 31 32 35 36 39 42 46 49 50 54 59 61 62 65 66
a 3 7 13 14 15 16 18 19 24 29 31 32 35 36 39 42 46 49 50 54 59 61 65 66 71
a 7 13 14 15 16 18 19 24 29 31 32 35 36 39 42 46 49 50 54 59 61 62 65 66 71
a 7 9 13 14 15 16 18 19 24 29 31 32 35 36 39 42 46 49 50 54 59 61 62 65 71
a 7 9 13 14 15 16 18 19 24 29 31 32 36 39 42 46 49 50 54 59 61 62 65 66 71
a 7 9 13 14 15 16 18 19 24 29 31 32 36 39 42 46 49 50 54 59 62 65 66 67 71
a 7 9 14 15 16 18 19 24 29 31 32 36 39 42 46 49 50 54 59 61 62 65 66 67 71
a 7 9 13 14 15 16 18 19 24 29 31 32 36 39 42 46 49 50 54 59 61 62 65 66 67
a 3 7 9 13 14 15 16 18 19 24 29 31 32 36 39 42 46 49 50 54 59 61 62 65 66
a 3 7 9 13 14 15 16 18 19 24 29 31 36 39 42 46 49 50 54 59 61 62 65 66 71
a 3 7 9 13 14 15 16 18 19 24 29 31 36 39 41 42 46 49 50 54 59 61 62 66 71
a 7 9 13 14 15 16 18 19 24 29 31 36 39 41 42 46 49 50 54 59 61 62 65 66 71
a 7 9 13 14 15 16 18 24 29 31 32 36 39 41 42 46 49 50 54 59 61 62 65 66 71
a 7 9 13 14 15 16 18 24 29 31 32 36 39 41 42 46 49 50 54 59 61 62 65 66 78
a 7 9 13 14 15 16 18 24 29 31 32 36 39 41 42 46 49 50 54 59 61 62 65 71 78
a 9 13 14 15 16 18 24 29 31 32 36 39 41 42 46 49 50 54 59 61 62 64 65 71 78
a 9 13 14 15 16 18 24 29 31 32 36 39 41 42 46 49 50 54 59 61 62 64 65 67 78
a 9 13 14 15 16 18 24 29 31 32 33 36 39 41 42 46 49 50 54 59 61 62 64 67 78
a 7 9 13 14 15 16 18 24 29 31 33 36 39 41 42 46 49 50 54 59 61 62 64 67 78
a 7 9 13 14 15 16 18 24 29 31 33 36 39 41 42 46 49 50 54 59 61 62 64 66 67
a 7 9 13 14 15 16 18 24 29 31 33 36 39 41 42 45 46 49 50 54 59 62 64 66 67
a 7 9 13 14 15 16 18 24 29 31 33 36 39 41 42 45 46 49 50 54 59 61 62 64 66
a 7 9 13 14 15 16 18 24 31 33 36 39 41 42 43 45 46 49 50 54 59 61 62 64 66
a 7 9 13 14 15 16 18 24 29 31 33 36 39 41 42 43 45 46 49 50 54 59 61 62 64
a 7 9 13 14 15 16 18 24 29 31 33 36 39 41 42 43 45 46 49 50 54 59 61 62 66
a 7 9 13 14 15 16 18 24 29 31 33 36 39 41 42 43 45 46 49 50 59 61 62 66 67
a 7 9 13 14 15 16 18 24 29 31 33 36 39 41 42 43 45 46 49 50 54 59 62 66 67
a 7 9 13 14 15 16 18 24 29 31 33 36 39 41 42 43 45 46 49 50 59 62 64 66 67
a 7 9 13 14 15 16 18 24 29 31 33 36 39 41 42 43 45 46 49 50 54 59 62 64 66
a 7 9 10 13 14 15 16 18 24 29 31 33 36 39 41 42 43 45 46 49 54 59 62 64 66
a 7 9 10 13 14 15 16 18 24 29 31 33 36 39 41 42 43 45 46 49 54 59 62 64 67
a 7 9 10 13 14 15 16 24 29 31 33 36 39 41 42 43 45 46 49 54 59 62 64 67 71
a 7 10 13 14 15 16 18 24 29 31 33 36 39 41 42 43 45 46 49 54 59 62 64 67 71
a 7 9 10 13 14 15 16 18 24 29 31 33 36 39 41 42 43 45 46 49 54 59 64 67 71
a 7 9 10 13 14 15 16 18 24 29 31 32 33 36 41 42 43 45 46 49 54 59 64 67 71
a 7 9 10 13 14 15 16 18 24 29 31 32 33 36 41 42 43 46 49 54 59 64 66 67 71
a 7 9 10 13 14 15 16 18 24 29 31 32 33 36 41 42 43 46 49 54 59 62 64 66 67
a 9 10 13 14 15 16 18 24 29 31 32 33 36 41 42 43 46 49 54 59 62 64 66 67 72
a 9 10 13 14 15 16 18 24 29 31 32 33 36 41 43 45 46 49 54 59 62 64 66 67 72
a 9 10 13 14 15 16 18 24 29 31 32 33 36 39 43 45 46 49 54 59 62 64 66 67 72
a 9 10 13 14 15 16 18 24 29 31 32 33 36 39 41 43 45 46 49 54 59 62 66 67 72
a 9 10 13 14 15 16 18 29 31 32 33 36 39 41 43 45 46 49 54 59 62 64 66 67 72
a 2 9 10 13 14 15 16 18 29 31 32 33 36 39 41 43 45 49 54 59 62 64 66 67 72
a 2 8 9 10 13 14 15 16 29 31 32 33 36 39 41 43 45 49 54 59 62 64 66 67 72
a 2 9 10 13 14 15 16 29 31 32 33 36 39 41 43 45 46 49 54 59 62 64 66 67 72
a 2 8 9 10 13 14 15 16 29 31 32 33 36 39 41 43 45 46 49 54 59 62 64 66 72
a 2 8 9 10 13 14 15 16 27 29 31 32 33 39 41 43 45 46 49 54 59 62 64 66 72
a 2 8 9 10 13 14 15 16 27 29 32 33 36 39 41 43 45 46 49 54 59 62 64 66 72
a 2 8 9 10 13 14 15 16 27 29 31 32 36 39 41 43 45 46 49 54 59 62 64 66 72
a 2 8 9 10 13 14 15 16 27 29 31 32 36 39 41 43 45 46 49 59 62 64 66 72 74
a 2 8 9 10 13 14 15 16 27 29 31 32 36 39 41 43 45 46 49 59 62 64 66 67 72
a 2 8 9 10 13 14 15 16 27 29 31 32 36 39 41 43 45 46 48 49 62 64 66 67 72
a 2 8 9 10 13 14 15 16 27 29 31 32 33 36 39 41 45 46 48 49 62 64 66 67 72
a 2 9 10 13 14 15 16 27 29 31 32 33 36 39 41 43 45 46 48 49 62 64 66 67 72
a 2 9 10 13 14 15 16 27 29 31 33 36 39 41 43 45 46 48 49 54 62 64 66 67 72
a 2 8 9 10 13 14 15 16 27 29 31 33 36 39 41 43 45 46 48 49 54 62 64 66 72
a 2 9 10 13 14 15 16 18 27 29 31 33 36 39 41 43 45 46 48 49 54 62 64 66 72
a 2 9 10 13 14 15 16 18 27 29 31 33 36 39 41 43 45 46 48 49 54 64 66 70 72
a 2 9 10 13 14 15 16 18 27 29 31 33 35 36 39 43 45 46 48 49 54 64 66 70 72
a 2 9 10 13 14 15 16 18 27 31 33 35 36 39 43 45 46 48 49 54 64 66 67 70 72
a 2 9 10 13 14 15 16 18 27 31 33 35 36 37 39 43 45 46 48 49 54 64 66 67 70
a 2 9 10 13 14 15 16 18 27 31 32 33 35 36 37 39 43 45 46 48 49 54 64 66 67
a 2 9 10 13 14 15 16 27 31 32 33 35 36 37 39 43 45 46 48 49 51 54 64 66 67
a 2 9 10 13 14 15 16 27 31 32 33 35 36 37 39 43 46 48 49 51 54 62 64 66 67
a 2 9 10 13 14 15 16 27 31 32 33 35 36 37 38 39 43 46 48 49 51 54 62 64 67
a 2 8 9 10 13 14 15 16 27 31 32 33 35 36 37 38 39 43 46 48 49 51 54 62 64
a 2 6 8 9 13 14 15 16 27 31 32 33 35 36 37 38 39 43 46 48 49 51 54 62 64
a 2 6 8 9 13 14 15 16 27 31 32 33 35 36 37 38 39 43 46 48 50 51 54 62 64
a 2 6 8 9 13 15 16 27 31 32 33 35 36 37 38 39 43 46 48 50 51 53 54 62 64
a 2 6 8 9 13 14 15 16 27 31 32 33 35 36 37 38 39 43 46 48 50 51 53 54 64
a 2 6 8 9 13 14 15 16 19 27 31 32 33 35 36 37 38 39 46 48 50 51 53 54 64
a 2 6 8 9 13 14 15 16 19 27 31 32 33 36 37 38 39 45 46 48 50 51 53 54 64
a 2 6 8 9 13 14 15 16 19 27 31 33 35 36 37 38 39 45 46 48 50 51 53 54 64
a 2 6 8 9 13 14 15 16 27 31 33 35 36 37 38 39 45 46 48 50 51 53 54 64 67
a 2 6 8 9 13 14 15 16 19 27 31 33 35 36 37 38 39 45 46 48 50 51 53 64 67
a 2 6 8 9 13 14 15 16 19 27 31 32 33 35 36 37 38 39 46 48 50 51 53 64 67
a 2 6 8 9 13 14 15 16 19 31 32 33 35 36 37 38 39 45 46 48 50 51 53 64 67
a 2 6 8 9 13 14 15 16 19 31 32 33 35 37 38 39 45 46 48 50 51 53 57 64 67
a 2 6 8 9 13 14 15 16 19 31 32 33 35 37 38 39 45 46 50 51 53 57 62 64 67
a 2 6 8 9 13 14 15 16 19 31 32 35 37 38 39 45 46 48 50 51 53 57 62 64 67
a 2 6 8 9 13 14 15 16 19 31 32 33 35 37 38 39 46 48 50 51 53 57 62 64 67
a 2 6 8 9 13 14 15 16 19 31 32 33 35 37 38 39 46 48 50 51 53 54 62 64 67
a 2 6 8 13 14 15 16 19 31 32 33 35 37 38 39 45 46 48 50 51 53 54 62 64 67
a 2 6 8 13 14 15 16 19 27 31 32 33 35 37 38 39 45 48 50 51 53 54 62 64 67
a 2 6 8 14 15 16 19 27 31 32 33 35 37 38 39 45 48 50 51 53 54 57 62 64 67
a 2 6 8 13 14 15 16 19 27 31 32 33 35 37 38 39 45 48 50 51 53 54 57 62 64
a 2 6 8 9 13 14 15 16 19 27 31 32 33 35 37 38 39 45 48 50 51 53 54 62 64
a 2 6 8 9 13 14 15 16 19 27 31 32 33 35 37 38 39 45 46 48 50 51 53 54 64
a 2 6 8 9 13 14 15 16 19 27 31 32 33 35 37 39 45 46 48 50 51 53 54 64 67
a 2 8 9 13 14 15 16 17 19 27 31 32 33 35 37 39 45 46 48 50 51 53 54 64 67
a 2 8 9 13 14 15 16 17 19 27 31 32 33 35 37 39 45 46 50 51 53 54 59 64 67
a 2 8 9 13 14 15 16 17 19 27 31 32 35 37 39 45 46 50 51 53 54 59 62 64 67
a 2 8 9 13 14 15 16 17 19 27 31 32 35 37 39 44 45 46 50 51 54 59 62 64 67
a 2 8 9 13 14 15 16 19 27 31 32 35 37 39 44 45 46 50 51 54 59 62 64 66 67
a 2 6 8 9 13 14 15 16 19 27 31 32 35 37 39 44 45 46 50 54 59 62 64 66 67
a 2 6 8 9 14 15 16 19 27 31 32 35 37 39 44 45 46 50 51 54 59 62 64 66 67
a 2 6 8 9 13 14 15 16 19 27 31 32 35 37 39 44 45 46 50 51 54 59 62 66 67
a 2 6 8 9 13 14 15 16 19 27 31 32 35 37 39 44 46 50 51 54 59 62 64 66 67
a 2 6 9 13 14 15 16 19 27 31 32 35 37 39 44 46 50 51 54 59 62 64 66 67 75
a 2 6 9 13 14 15 16 19 27 31 32 33 35 37 39 44 46 50 51 54 59 62 64 66 75
a 2 6 9 13 14 15 16 19 27 31 32 33 35 37 39 40 44 50 51 54 59 62 64 66 75
a 2 6 7 9 13 14 15 16 19 31 32 33 35 37 39 40 44 50 51 54 59 62 64 66 75
a 2 6 7 9 13 14 15 16 19 22 31 32 33 35 37 39 40 50 51 54 59 62 64 66 75
a 2 6 7 9 13 14 15 16 22 31 32 33 35 37 39 40 50 51 54 57 59 62 64 66 75
a 2 6 7 9 13 14 15 16 22 31 32 33 35 37 39 40 43 50 51 54 57 59 62 66 75
a 2 6 7 9 13 14 15 18 22 31 32 33 35 37 39 40 43 50 51 54 57 59 62 66 75
a 2 6 7 9 13 14 15 18 22 31 32 33 35 37 39 40 43 48 50 51 54 57 62 66 75
a 2 6 7 9 13 14 15 18 22 32 33 35 37 39 40 43 48 50 51 54 57 62 63 66 75
a 2 6 7 9 11 13 14 15 18 22 32 33 35 37 39 40 43 48 51 54 57 62 63 66 75
a 2 6 7 9 11 14 15 18 22 32 33 34 35 37 39 40 43 48 51 54 57 62 63 66 75
a 2 6 7 9 11 14 18 22 28 32 33 34 35 37 39 40 43 48 51 54 57 62 63 66 75
a 2 6 7 9 11 14 18 20 22 28 32 33 34 35 37 39 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: 411
#END: [Tue Sep  5 06:54:40 2023]