#BEGIN: [Tue Sep 26 03:42:32 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance006_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance006_graph004_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance006_graph004.col /benchmark/random_instance/random_instance006_graph004_01.dat
c /benchmark/random_instance/random_instance006_graph004.col
c /benchmark/random_instance/random_instance006_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID cbaf91cbdb7e0ed5d3da58495504ab33719e712af66e008b31c2dd31a5efb0ee
s 17 59 54 77 55 27 78 60 22 44 42 32 13 1 69 65 7 4 45 9 50 57 25
t 56 37 49 51 34 20 5 19 36 4 18 29 54 62 42 69 68 48 39 15 28 31 35
a YES
a 1 4 7 9 13 17 22 25 27 32 42 44 45 50 54 55 57 59 60 65 69 77 78
a 1 4 7 9 13 17 20 22 25 27 42 44 45 50 54 55 57 59 60 65 69 77 78
a 1 4 7 9 13 17 20 22 25 27 35 42 44 45 50 54 57 59 60 65 69 77 78
a 1 4 7 9 13 17 20 22 25 35 42 44 45 50 54 56 57 59 60 65 69 77 78
a 1 4 7 9 13 17 20 22 25 35 41 42 44 45 50 54 56 57 60 65 69 77 78
a 1 4 7 9 13 17 20 22 25 35 41 42 44 45 50 54 56 57 60 69 75 77 78
a 1 4 7 9 13 17 20 22 25 41 42 44 45 50 54 55 56 57 60 69 75 77 78
a 1 4 7 9 13 17 20 22 25 41 42 44 45 48 50 54 55 56 57 60 69 77 78
a 1 4 7 9 13 17 20 22 25 42 44 45 48 50 54 55 56 57 59 60 69 77 78
a 4 7 9 13 17 20 22 25 42 44 45 48 50 54 55 56 57 59 60 65 69 77 78
a 1 4 7 9 13 17 20 22 25 42 44 45 48 50 54 55 56 57 59 60 65 69 77
a 1 4 7 9 13 17 20 22 25 35 42 44 45 48 50 54 56 57 59 60 65 69 77
a 1 4 7 9 13 17 20 22 25 35 42 44 45 48 50 54 56 57 59 60 69 75 77
a 4 7 9 13 17 20 22 25 35 42 44 45 46 48 50 54 56 57 59 60 69 75 77
a 1 7 9 13 17 20 22 25 35 42 44 45 46 48 50 54 56 57 59 60 69 75 77
a 1 4 7 9 13 17 20 22 25 35 42 44 45 46 48 50 54 56 57 59 60 69 77
a 1 4 7 9 13 17 20 22 25 35 42 44 45 46 48 50 54 56 57 59 60 77 78
a 4 7 9 13 17 20 22 25 35 42 44 45 46 48 50 54 56 57 59 60 75 77 78
a 2 4 7 9 13 17 20 22 25 35 42 44 45 46 48 50 54 56 57 59 60 75 78
a 2 4 7 9 13 17 20 22 25 35 42 44 45 46 48 50 54 56 57 59 60 69 75
a 1 2 4 7 9 13 17 20 22 25 35 42 44 45 46 48 50 56 57 59 60 69 75
a 1 4 7 9 13 17 20 22 25 35 42 44 45 46 48 50 54 56 57 59 60 69 75
a 1 7 9 13 17 20 22 25 35 42 44 45 46 48 50 54 56 57 59 60 69 75 78
a 1 4 7 9 13 17 20 22 25 35 42 44 45 48 50 54 56 57 59 60 69 75 78
a 4 7 9 13 17 20 22 25 35 42 44 45 46 48 50 54 56 57 59 60 69 75 78
a 2 4 7 9 13 17 20 22 25 35 42 44 45 46 48 50 54 56 57 59 60 69 78
a 2 4 7 13 17 20 22 25 35 42 44 45 46 48 50 54 56 57 59 60 69 75 78
a 2 4 7 13 17 20 22 25 35 41 42 44 45 46 48 50 54 56 57 60 69 75 78
a 2 4 7 10 13 17 20 22 25 41 42 44 45 46 48 50 54 56 57 60 69 75 78
a 1 2 4 7 10 13 17 20 22 25 41 42 44 45 46 48 50 54 56 57 69 75 78
a 1 2 7 10 13 17 20 22 25 41 42 44 45 46 48 50 54 56 57 69 75 77 78
a 1 7 9 10 13 17 20 22 25 41 42 44 45 46 48 50 54 56 57 69 75 77 78
a 1 7 10 13 17 20 22 25 41 42 44 45 46 48 50 54 56 57 60 69 75 77 78
a 1 2 7 10 17 20 22 25 41 42 44 45 46 48 50 54 56 57 60 69 75 77 78
a 2 7 10 13 17 20 22 25 41 42 44 45 46 48 50 54 56 57 60 69 75 77 78
a 1 2 7 10 13 17 20 22 25 41 42 44 45 46 48 50 54 56 60 69 75 77 78
a 2 7 10 13 17 20 22 25 41 42 44 45 46 48 50 54 56 60 62 69 75 77 78
a 2 9 10 13 17 20 22 25 41 42 44 45 46 48 50 54 56 60 62 69 75 77 78
a 2 9 10 13 17 20 22 25 41 42 44 45 46 48 50 54 56 57 60 62 75 77 78
a 2 9 10 13 17 20 22 25 41 42 44 45 46 48 50 54 56 57 60 62 69 75 78
a 2 9 13 17 20 22 25 35 41 42 44 45 46 48 50 54 56 57 60 62 69 75 78
a 2 7 9 13 20 22 25 35 41 42 44 45 46 48 50 54 56 57 60 62 69 75 78
a 7 9 13 17 20 22 25 35 41 42 44 45 46 48 50 54 56 57 60 62 69 75 78
a 7 9 13 17 20 22 25 35 41 42 44 45 46 48 50 54 56 57 60 62 63 69 75
a 9 13 17 20 22 25 35 39 41 42 44 45 46 48 50 54 56 57 60 62 63 69 75
a 2 13 17 20 22 25 35 39 41 42 44 45 46 48 50 54 56 57 60 62 63 69 75
a 2 13 17 20 22 25 35 39 41 42 44 45 46 48 50 54 56 57 60 62 63 65 69
a 2 7 17 20 22 25 35 39 41 42 44 45 46 48 50 54 56 57 60 62 63 65 69
a 2 4 7 17 20 22 25 35 39 41 42 44 45 46 48 50 54 56 57 60 62 63 65
a 2 4 7 13 17 20 22 25 35 39 41 42 44 45 46 48 50 54 56 57 60 62 65
a 2 4 7 9 13 17 20 22 25 35 39 41 42 44 45 46 48 50 54 56 57 60 65
a 2 4 7 9 13 17 20 22 35 39 41 42 44 45 46 48 50 54 56 57 60 62 65
a 4 7 9 13 17 20 22 25 35 39 41 42 44 45 46 48 50 54 56 57 60 62 65
a 7 9 13 17 20 22 25 35 39 41 42 44 45 46 48 50 54 56 57 60 62 63 65
a 4 7 9 13 17 20 22 25 35 39 41 42 44 45 46 48 50 54 56 57 62 63 65
a 4 7 9 13 17 20 22 25 35 39 41 42 44 45 46 48 54 56 57 60 62 63 65
a 4 9 13 17 20 22 25 35 39 41 42 44 45 46 48 50 54 56 57 60 62 63 65
a 4 7 9 13 17 20 22 25 35 39 41 42 44 45 46 48 50 54 56 57 60 63 65
a 4 7 9 13 17 20 22 25 35 39 41 42 44 45 46 48 50 56 57 60 62 63 65
a 4 7 9 13 17 22 25 35 39 41 42 44 45 46 48 50 54 56 57 60 62 63 65
a 4 7 9 13 17 20 22 25 35 39 41 42 44 45 46 48 50 54 56 57 60 62 63
a 2 4 7 9 13 17 20 22 25 35 39 41 44 45 46 48 50 54 56 57 60 62 63
a 2 4 7 13 17 20 22 25 35 39 41 42 44 45 46 48 50 54 56 57 60 62 63
a 2 4 7 13 17 20 22 25 35 39 42 44 45 46 48 50 54 56 57 59 60 62 63
a 2 4 7 13 17 20 22 25 35 39 42 44 45 46 48 50 54 56 57 59 60 63 78
a 2 4 7 17 20 22 25 35 39 42 44 45 46 48 50 54 56 57 59 60 62 63 78
a 2 7 9 17 20 22 25 35 39 42 44 45 46 48 50 54 56 57 59 60 62 63 78
a 2 7 9 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 78
a 2 9 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 65 78
a 7 9 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 65 78
a 9 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 65 78
a 2 9 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 78
a 2 4 9 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 63 78
a 2 4 7 9 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 78
a 4 7 9 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 78
a 4 7 9 13 20 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 65 78
a 2 4 7 9 13 20 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 65 78
a 2 4 7 9 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 65
a 2 4 7 9 13 20 22 25 35 39 42 44 45 46 48 50 54 56 57 59 60 63 65
a 2 4 7 9 13 20 22 25 35 39 42 44 45 46 48 50 54 56 57 59 62 63 65
a 2 4 7 13 17 20 22 25 35 39 42 44 45 46 48 50 54 56 57 59 62 63 65
a 2 4 7 9 17 20 22 25 35 39 42 44 45 46 48 50 54 56 57 59 62 63 65
a 2 4 9 13 17 20 22 25 35 39 42 44 45 46 48 50 54 56 57 59 62 63 65
a 2 4 9 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 62 63 65
a 4 9 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 65
a 4 9 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 69
a 4 9 13 20 22 25 35 39 42 44 45 46 48 49 50 51 54 56 57 60 62 63 69
a 2 4 9 13 20 22 25 35 39 42 44 45 46 48 49 50 51 54 56 57 60 62 63
a 2 9 13 20 22 25 35 39 42 44 45 46 48 49 50 51 54 56 57 60 62 63 78
a 2 9 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 60 62 63 69 78
a 2 7 9 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 60 62 63 69
a 2 7 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 60 62 63 65 69
a 7 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 65 69
a 7 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 69 78
a 1 7 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 63 69 78
a 1 7 9 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 63 78
a 1 7 9 13 20 22 25 35 39 42 44 45 48 49 50 54 56 57 59 60 63 69 78
a 1 9 13 20 22 25 35 39 42 44 45 48 49 50 54 56 57 59 60 63 65 69 78
a 1 9 11 13 20 22 25 35 39 42 44 45 48 49 50 54 56 57 59 60 63 69 78
a 1 9 11 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 63 78
a 1 9 11 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 69 78
a 1 9 11 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 59 60 65 69 78
a 1 9 11 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 59 60 63 65 69
a 1 9 11 13 20 22 25 35 39 42 44 45 46 48 49 50 56 57 59 60 63 65 69
a 1 9 11 13 20 22 25 35 39 42 44 45 46 48 49 50 57 59 60 63 65 69 72
a 1 7 9 13 20 22 25 35 39 42 44 45 46 48 49 50 57 59 60 63 65 69 72
a 7 9 13 20 22 25 35 39 42 44 45 46 48 49 50 57 59 60 62 63 65 69 72
a 7 9 13 20 22 25 35 39 42 44 45 46 48 49 50 56 57 59 60 62 63 65 69
a 7 9 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 65
a 7 9 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 63 65 69
a 7 9 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 69
a 7 9 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 69 78
a 9 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 69 78
a 2 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 69 78
a 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 65 69 78
a 4 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 69 78
a 4 13 20 22 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 63 65 69 78
a 4 13 20 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 65 69 78
a 7 13 20 25 35 39 42 44 45 46 48 49 50 54 56 57 59 60 62 63 65 69 78
a 7 13 20 22 25 35 39 42 44 45 46 48 50 54 56 57 59 60 62 63 65 69 78
a 2 7 13 20 22 25 35 39 42 44 45 46 48 50 54 56 57 59 60 62 63 65 69
a 7 13 17 20 22 25 35 39 42 44 45 46 48 50 54 56 57 59 60 62 63 65 69
a 2 7 13 17 20 22 25 35 39 42 44 45 46 48 50 54 56 57 59 60 62 65 69
a 2 7 13 17 20 22 25 35 39 42 44 45 46 48 50 54 56 57 59 60 63 65 69
a 2 7 13 17 20 22 25 35 39 42 44 45 46 48 50 54 56 57 59 60 62 63 69
a 2 7 13 17 20 22 25 35 39 42 44 45 46 48 50 54 56 57 59 62 63 65 69
a 2 7 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 62 63 65 69
a 2 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 62 63 65 69
a 2 9 13 17 20 22 25 35 39 42 44 45 46 48 54 56 57 59 60 62 63 65 69
a 2 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 62 63 65
a 2 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62 63 65
a 2 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62 63
a 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62 63 75
a 7 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62 63 69 75
a 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62 63 69 75 78
a 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 62 63 69 75 78
a 2 13 17 20 22 25 35 39 41 42 43 44 46 48 54 56 57 58 62 63 69 75 78
a 2 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 62 63 69 75
a 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 62 63 69 75
a 1 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 63 69 75
a 1 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 63 69
a 1 2 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 63 69
a 1 2 7 9 13 17 20 22 25 39 41 42 43 44 45 46 48 54 56 57 58 63 69
a 1 2 6 7 9 13 17 20 22 25 39 41 42 43 44 45 46 48 54 56 57 58 69
a 1 2 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 69
a 1 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 63 69
a 1 2 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 54 56 57 63 69
a 1 2 6 9 13 17 20 22 25 35 39 41 42 43 44 45 46 54 56 57 63 68 69
a 1 2 6 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 63 69
a 2 6 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 63 69
a 2 6 9 13 17 20 22 25 35 39 41 42 43 44 45 46 54 56 57 58 62 63 69
a 2 6 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 62 63
a 2 6 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 57 58 62 63 68
a 1 2 6 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 57 58 63 68
a 1 2 6 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 63
a 1 2 6 7 9 13 17 20 22 35 39 41 42 43 44 45 46 48 54 56 57 58 63
a 2 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 63
a 2 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 63
a 2 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 63 65
a 1 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 63 65
a 1 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 63 75
a 1 2 7 9 13 17 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 63 75
a 2 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 63 75
a 2 7 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 63 69 75
a 2 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 63 69 75 78
a 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 63 69 75 78
a 2 9 13 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 63 69 75 78
a 2 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 63 69 78
a 2 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 63 69 75 78
a 2 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 63 69 75
a 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 63 69 75
a 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 63 75
a 1 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 58 63 75
a 1 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 58 63 75
a 1 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 63
a 1 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 57 58 63
a 1 2 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 57 58
a 1 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58
a 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 62
a 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 58 62 75
a 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 62 75
a 4 6 7 9 13 17 20 22 25 35 41 42 43 44 45 46 48 54 56 57 58 62 75
a 4 6 7 9 13 17 20 22 25 35 41 42 43 44 45 46 48 54 56 57 60 62 75
a 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62 75
a 6 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62 63 75
a 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62 63
a 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 62 63
a 2 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 62
a 2 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 63
a 1 2 6 7 9 13 17 20 22 25 35 39 43 44 45 46 48 54 56 57 59 60 63
a 1 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 63
a 1 2 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60
a 1 2 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 54 56 57 59 60 75
a 1 2 6 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 75
a 1 2 6 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 69 75
a 1 2 6 7 13 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 69 75
a 2 6 7 9 13 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 69 75
a 2 7 9 13 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 69 75 78
a 2 7 13 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 63 69 75 78
a 2 7 13 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 63 65 69 78
a 4 7 13 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 63 65 69 78
a 4 7 13 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 63 69 75 78
a 4 7 13 17 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 63 69 75 78
a 7 9 13 17 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 63 69 75 78
a 7 9 13 17 20 22 25 35 39 42 43 44 45 46 54 56 57 59 60 63 69 75 78
a 1 7 9 13 17 20 22 25 35 39 42 43 44 45 46 54 56 57 59 60 63 69 75
a 1 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 69 75
a 1 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 69 78
a 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 69 75 78
a 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 69 75
a 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 59 60 62 75
a 4 6 7 9 13 17 20 22 25 35 42 43 44 45 46 48 54 56 57 59 60 62 75
a 4 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 56 57 59 60 62 75
a 4 6 7 9 13 17 22 25 35 39 42 43 44 45 46 47 48 56 57 59 60 62 75
a 4 6 7 9 13 17 21 22 25 39 42 43 44 45 46 47 48 56 57 59 60 62 75
a 6 7 9 13 17 20 21 22 25 39 42 43 44 45 46 47 48 56 57 59 60 62 75
a 4 6 7 9 13 17 20 21 22 25 42 43 44 45 46 47 48 56 57 59 60 62 75
a 4 6 7 9 13 17 20 21 22 25 39 42 43 44 45 46 47 48 56 57 59 60 62
a 4 6 7 9 13 17 20 21 22 25 39 42 43 44 45 46 47 48 56 57 59 60 63
a 4 6 7 9 13 17 20 21 22 25 39 42 43 44 45 46 47 48 56 57 59 60 75
a 4 6 7 9 13 17 20 21 22 25 39 42 44 45 46 47 48 56 57 59 60 66 75
a 4 6 7 9 13 17 20 21 22 25 39 42 44 45 46 47 48 57 59 60 62 66 75
a 4 6 7 9 13 17 20 22 25 39 42 44 45 46 47 48 56 57 59 60 62 66 75
a 6 7 9 13 17 20 22 25 39 42 43 44 45 46 47 48 56 57 59 60 62 66 75
a 6 7 9 13 17 20 21 22 25 39 43 44 45 46 47 48 56 57 59 60 62 66 75
a 6 7 9 13 17 20 21 22 25 39 42 43 44 45 46 47 48 56 57 60 62 66 75
a 6 7 9 13 17 20 21 22 25 39 42 43 44 45 46 47 56 57 59 60 62 66 75
a 6 7 9 13 17 20 21 22 25 39 42 43 44 45 46 47 56 57 59 60 62 63 75
a 6 7 9 13 17 20 21 22 25 39 42 43 44 45 46 47 48 56 57 59 62 63 75
a 6 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 57 62 63 75
a 6 7 9 13 17 20 21 22 25 39 41 43 44 45 46 47 48 56 57 60 62 63 75
a 6 7 9 13 17 20 21 22 25 39 43 44 45 46 47 48 56 57 60 62 63 66 75
a 6 7 9 13 17 20 21 22 25 39 42 43 44 45 46 47 48 56 57 60 62 63 75
a 6 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 57 60 62 63 75
a 6 7 9 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 57 60 62 63 75
a 6 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 57 60 63 75
a 6 7 9 13 17 20 21 22 25 41 42 43 44 45 46 47 48 56 57 60 62 63 75
a 6 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 57 60 62 63 75
a 6 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 57 60 62 75
a 6 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 60 61 62 75
a 6 7 9 13 17 21 22 25 39 41 42 43 44 45 46 47 48 56 60 61 62 63 75
a 6 7 9 13 17 20 21 22 25 39 41 43 44 45 46 47 48 56 60 61 62 63 75
a 6 7 9 13 17 20 21 22 25 39 41 43 44 45 46 47 48 56 60 61 62 63 66
a 6 7 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 60 61 62 63 66
a 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 60 61 62 63 66
a 6 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 60 61 62 63
a 2 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 60 61 62 63
a 2 6 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 60 61 62 63
a 2 6 7 9 13 17 20 21 22 25 39 41 43 44 45 46 47 48 56 60 61 62 63
a 2 6 7 9 13 20 21 22 25 39 41 42 43 44 45 46 47 48 56 60 61 62 63
a 2 6 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 60 61 62 63
a 2 6 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 60 61 62
a 2 3 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 60 61 62
a 3 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 60 61 62 75
a 3 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 60 62 63 75
a 3 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 57 60 63 75
a 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 57 60 62 63 75
a 3 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 57 60 62 63
a 3 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 57 60 62 63 75
a 3 9 13 20 21 22 25 39 41 42 43 44 45 46 47 48 56 57 60 62 63 66 75
a 3 6 9 13 20 21 22 25 39 41 42 43 44 45 46 47 56 57 60 62 63 66 75
a 3 6 7 9 13 20 22 25 39 41 42 43 44 45 46 47 56 57 60 62 63 66 75
a 3 6 7 9 17 20 22 25 39 41 42 43 44 45 46 47 56 57 60 62 63 66 75
a 3 6 7 9 13 17 20 22 25 39 41 42 43 45 46 47 56 57 60 62 63 66 75
a 3 6 7 9 13 17 20 21 22 25 39 41 42 43 45 47 56 57 60 62 63 66 75
a 3 6 7 13 17 20 21 22 25 39 41 42 43 45 46 47 56 57 60 62 63 66 75
a 6 7 9 13 17 20 21 22 25 39 41 42 43 45 46 47 56 57 60 62 63 66 75
a 6 7 9 13 17 20 21 22 25 39 41 42 43 45 46 47 48 56 57 60 63 66 75
a 6 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 57 60 63 66
a 6 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 57 60 62 63 66
a 6 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 56 57 60 62 63 66
a 3 6 7 9 13 17 20 21 22 25 39 41 42 43 44 46 47 56 57 60 62 63 66
a 3 6 7 9 13 17 20 21 22 39 41 42 43 44 45 46 47 56 57 60 62 63 66
a 3 6 7 9 13 17 20 21 22 25 39 41 42 43 44 45 47 56 57 60 62 63 66
a 3 6 7 9 13 17 20 21 22 25 39 41 43 44 45 46 47 56 57 60 62 63 66
a 3 6 7 9 13 17 20 21 22 25 39 41 42 43 45 46 47 56 57 60 62 63 66
a 3 6 7 9 13 17 20 21 22 25 39 41 42 43 45 46 47 48 56 57 62 63 66
a 3 6 9 13 17 20 21 22 25 39 41 42 43 45 46 47 48 56 57 60 62 63 66
a 3 6 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 57 60 62 66
a 3 6 7 9 13 17 20 21 22 25 39 41 42 43 44 45 46 47 48 56 57 60 62
a 3 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 60 62
a 2 3 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 62
a 2 3 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 60
a 2 3 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58
a 2 3 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57
a 2 3 4 6 7 9 13 17 20 22 25 35 41 42 43 44 45 46 47 48 56 57 75
a 2 3 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 57 75
a 2 3 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 57 58
a 2 3 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 57 63
a 2 3 4 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 47 48 51 57 63
a 2 3 4 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 47 48 51 57 75
a 2 4 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 47 48 51 56 57 75
a 2 3 4 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 47 48 56 57 75
a 3 4 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 47 48 56 57 63 75
a 3 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 47 48 56 57 58 63 75
a 3 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 57 58 63 75
a 3 4 6 7 9 13 17 20 22 25 35 41 42 43 44 45 46 47 48 57 58 63 75
a 3 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 58 63 75
a 3 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 58 75
a 3 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58
a 3 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 63
a 3 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 62 63
a 3 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 58 62
a 3 4 6 7 9 13 17 20 22 25 35 39 41 42 44 45 46 47 48 56 57 58 62
a 3 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 56 57 58 62
a 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58 62
a 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58 62 75
a 2 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58 62 75
a 2 6 7 9 13 17 20 22 25 39 41 42 43 44 45 46 47 48 56 57 58 62 75
a 2 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 58 62 75
a 2 6 7 9 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58 62 75
a 2 3 6 7 9 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58 75
a 3 6 7 9 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58 62 75
a 3 6 7 9 13 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58 62 75
a 2 3 7 9 13 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58 62 75
a 2 3 7 9 13 17 20 22 25 35 39 42 43 44 45 46 47 48 56 57 58 62 75
a 2 3 7 9 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58 62 75
a 2 3 6 7 9 17 20 22 25 35 39 41 42 43 44 45 46 47 48 57 58 62 75
a 2 3 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 57 58 62
a 2 3 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 57 58 62 75
a 2 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 57 58 62 63 75
a 2 7 9 13 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58 62 63 75
a 2 7 9 13 20 22 25 35 39 42 43 44 45 46 47 48 51 56 57 58 62 63 75
a 2 7 9 13 17 20 22 25 35 39 42 43 44 45 46 47 51 56 57 58 62 63 75
a 7 9 13 17 20 22 25 35 39 42 43 44 45 46 47 48 51 56 57 58 62 63 75
a 7 9 13 17 20 22 25 39 42 43 44 45 46 47 48 51 56 57 58 62 63 66 75
a 6 7 9 13 17 20 22 25 39 42 43 44 45 46 47 48 51 56 57 58 63 66 75
a 6 9 13 17 20 22 25 39 42 43 44 45 46 47 48 51 56 57 58 62 63 66 75
a 6 7 13 17 20 22 25 39 42 43 44 45 46 47 48 51 56 57 58 62 63 66 75
a 6 7 9 13 17 20 22 25 39 42 43 44 45 46 48 51 56 57 58 62 63 66 75
a 6 7 9 17 20 22 25 39 42 43 44 45 46 47 48 51 56 57 58 62 63 66 75
a 6 7 9 13 17 20 22 25 42 43 44 45 46 47 48 51 56 57 58 62 63 66 75
a 6 7 9 13 17 20 22 25 39 42 43 44 45 46 47 48 51 56 57 58 62 63 75
a 6 7 9 13 17 20 22 25 35 39 43 44 45 46 47 48 51 56 57 58 62 63 75
a 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 47 48 51 56 57 58 63 75
a 6 9 13 17 20 22 25 35 39 42 43 44 45 46 47 48 51 56 57 58 62 63 75
a 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 47 48 51 56 58 62 63 75
a 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 47 48 51 56 57 58 62 75
a 6 7 9 13 17 20 22 25 35 39 42 43 45 46 47 48 51 56 57 58 62 63 75
a 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 47 48 51 57 58 62 63 75
a 4 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 47 48 51 57 58 62 63
a 4 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 47 51 56 57 58 62 63
a 4 6 7 9 17 20 22 25 35 39 42 43 44 45 46 47 48 51 56 57 58 62 63
a 4 6 7 9 13 17 20 22 25 35 39 43 44 45 46 47 48 51 56 57 58 62 63
a 4 6 7 9 13 17 20 22 25 35 39 43 44 45 46 47 48 51 56 58 61 62 63
a 4 6 7 13 17 20 22 25 35 39 42 43 44 45 46 47 48 51 56 58 61 62 63
a 4 6 7 9 13 17 20 22 25 35 39 42 43 44 45 47 48 51 56 58 61 62 63
a 4 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 47 48 51 56 58 61 62
a 4 6 7 9 13 17 20 22 25 35 39 43 44 45 46 47 48 51 56 58 61 62 75
a 4 6 7 13 17 20 22 25 35 39 42 43 44 45 46 47 48 51 56 58 61 62 75
a 2 4 6 7 13 17 20 22 25 35 39 42 43 44 45 46 47 48 51 56 58 61 62
a 2 4 6 7 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 58 61 62
a 2 4 6 7 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58 62
a 2 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58
a 2 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 58 75
a 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 58 62 75
a 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58 75
a 4 6 7 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58 62 75
a 3 4 6 7 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58 62
a 3 4 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58 62
a 3 4 6 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 58 62
a 3 4 6 9 13 17 20 22 25 35 39 41 42 44 45 46 47 48 56 57 58 62 63
a 3 4 6 7 9 13 17 20 22 25 35 39 41 42 44 45 46 47 48 56 57 62 63
a 3 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 62
a 3 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 47 48 56 57 62 63
a 3 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 56 57 62 63
a 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 62 63
a 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 62 63
a 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 62 63 69
a 4 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 62 63
a 4 7 9 13 17 20 22 25 35 39 41 42 43 44 46 48 54 56 57 58 62 63 78
a 4 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 63 78
a 4 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 63 75
a 4 7 9 13 17 20 22 25 35 39 41 42 43 45 46 48 54 56 57 58 62 63 75
a 4 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 58 62 63 75
a 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 58 62 63 75
a 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 51 54 56 57 58 62 63
a 4 6 7 9 13 17 22 25 35 39 42 43 44 45 46 48 51 54 56 57 58 62 63
a 4 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 51 54 56 57 58 63
a 4 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 51 54 56 57 58 62
a 4 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 51 54 56 58 62 75
a 4 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 51 54 56 58 62 63
a 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 58 62 63
a 4 6 7 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 62 63
a 4 6 7 9 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 62 63
a 2 4 6 7 9 17 20 22 25 39 41 42 43 44 45 46 48 54 56 57 58 62 63
a 2 4 6 7 9 13 17 20 22 25 39 41 42 43 44 45 46 48 54 56 57 58 62
a 2 4 6 7 9 13 17 20 22 25 39 41 42 43 44 45 46 48 54 57 58 62 75
a 2 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 57 58 62 75
a 2 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 58 62 75
a 2 4 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 58 75
a 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 58 75
a 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 75
a 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 63
a 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62
a 4 6 7 9 13 17 20 22 35 39 41 42 43 44 45 46 48 54 56 57 60 62 75
a 4 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62 75
a 4 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62 78
a 4 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62 63
a 4 7 9 13 17 20 22 25 35 39 41 42 43 44 45 48 54 56 57 60 62 63 75
a 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 48 54 56 57 60 62 63 75
a 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 48 54 56 57 62 63 69 75
a 2 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 48 54 57 62 63 69 75
a 2 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 48 57 62 63 69 75
a 2 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 48 57 60 62 63 75
a 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 57 60 62 63 75
a 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 57 60 62 75
a 2 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 54 57 60 62 75
a 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 54 56 57 60 62 75
a 2 4 6 7 13 17 20 22 25 35 39 41 42 43 44 45 46 54 56 57 60 62 75
a 4 6 7 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62 75
a 4 6 7 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62 63
a 2 4 6 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62 63
a 2 6 7 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62 63
a 2 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 60 62
a 2 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 62
a 2 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 56 57 62 63
a 2 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 48 54 56 57 62 63
a 2 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 48 54 56 57 63 75
a 2 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 48 54 57 60 63 75
a 2 4 6 7 9 13 20 22 25 35 39 41 42 43 44 45 46 48 54 57 60 63 75
a 2 4 6 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 57 60 63 75
a 2 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 57 60 63
a 2 4 6 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 60 63
a 2 4 6 7 9 13 17 20 22 25 35 39 43 44 45 46 48 54 56 57 60 62 63
a 2 4 6 7 9 13 17 20 22 25 35 39 43 44 45 46 48 54 56 57 58 62 63
a 2 4 6 7 9 13 17 22 25 35 39 42 43 44 45 46 48 54 56 57 58 62 63
a 2 4 6 7 9 13 17 20 22 25 39 42 43 44 45 46 48 54 56 57 58 62 63
a 2 4 7 9 13 17 20 22 25 39 42 43 44 45 46 48 54 56 57 58 62 63 78
a 2 4 7 9 13 17 20 22 25 39 42 43 44 45 46 48 54 56 57 58 62 63 69
a 2 4 7 9 13 17 20 22 25 35 39 42 43 44 45 46 48 54 56 57 58 62 69
a 2 4 7 9 13 17 20 22 25 35 39 42 43 44 45 46 54 56 57 58 62 69 78
a 2 4 7 9 13 17 20 22 35 39 42 43 44 45 46 54 56 57 58 62 63 69 78
a 2 4 7 9 13 17 20 22 35 39 41 42 43 44 45 46 54 56 57 58 62 63 69
a 2 4 7 9 13 17 20 22 35 39 41 42 43 44 45 46 48 54 56 57 58 63 69
a 2 4 6 7 9 13 17 20 22 35 39 41 42 43 44 45 46 48 54 56 57 63 69
a 2 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 63
a 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 63 69
a 4 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 54 56 57 62 63 69
a 4 6 7 9 13 17 20 22 25 35 39 41 42 43 44 45 46 48 56 57 62 63 69
a 4 6 7 9 13 17 20 22 35 39 41 42 43 44 45 46 48 54 56 57 62 63 69
a 4 6 7 9 13 17 20 22 35 39 41 42 43 44 45 46 48 54 57 58 62 63 69
a 4 6 9 13 17 20 22 35 39 41 42 43 44 45 46 48 54 57 58 62 63 68 69
a 4 6 9 13 17 20 22 35 39 42 43 44 45 46 48 51 54 57 58 62 63 68 69
a 4 9 13 17 20 22 35 39 42 43 44 45 46 48 51 54 56 57 58 62 63 68 69
a 4 9 13 20 22 35 39 42 43 44 45 46 48 49 51 54 56 57 58 62 63 68 69
a 4 9 13 19 20 35 39 42 43 44 45 46 48 49 51 54 56 57 58 62 63 68 69
a 4 9 13 19 20 29 35 39 42 43 44 45 46 48 49 51 54 56 57 62 63 68 69
a 4 9 13 19 20 28 29 35 39 42 43 44 45 48 49 51 54 56 57 62 63 68 69
a 4 9 19 20 28 29 35 36 39 42 43 44 45 48 49 51 54 56 57 62 63 68 69
a 4 5 9 19 20 28 29 35 36 39 42 43 44 48 49 51 54 56 57 62 63 68 69
a 4 5 9 15 19 20 28 29 35 36 39 42 43 44 48 49 51 54 56 62 63 68 69
a 4 5 15 18 19 20 28 29 35 36 39 42 43 44 48 49 51 54 56 62 63 68 69
a 4 5 15 18 19 20 28 29 31 35 36 39 42 43 44 48 49 51 54 56 62 68 69
a 4 5 15 18 19 20 28 29 31 34 35 36 39 42 43 48 49 51 54 56 62 68 69
a 4 5 15 18 19 20 28 29 31 34 35 36 37 39 42 48 49 51 54 56 62 68 69
c Step: 455
#END: [Tue Sep 26 04:12:32 2023]