#BEGIN: [Tue Sep  5 06:24:00 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance006_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance006_graph002_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_graph002.col /benchmark/random_instance/random_instance006_graph002_01.dat
c /benchmark/random_instance/random_instance006_graph002.col
c /benchmark/random_instance/random_instance006_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID e3fc1bb3d607046ee968755a54c38ae60fc264237b7ed385efce9508685f391a
s 15 8 7 16 46 3 25 13 72 41 59 65 66 12 73 52 63 4 24 29 40 69 45 77
t 64 56 34 59 1 58 42 27 44 23 25 43 57 50 74 21 39 66 48 37 52 77 22 16
a YES
a 3 4 7 8 12 13 15 16 24 25 29 40 41 45 46 52 59 63 65 66 69 72 73 77
a 3 4 7 8 12 13 15 16 24 25 29 40 41 45 46 52 56 59 63 66 69 72 73 77
a 3 4 7 8 12 13 15 16 24 25 29 40 41 44 45 46 52 56 59 63 66 69 72 77
a 3 4 7 8 12 13 15 16 25 29 40 41 44 45 46 52 56 57 59 63 66 69 72 77
a 3 4 7 8 12 13 15 16 24 25 29 40 41 44 45 46 52 56 57 59 63 66 69 72
a 3 4 7 8 12 13 15 16 24 25 29 40 41 44 45 46 50 52 56 57 59 63 66 72
a 3 7 8 12 13 15 16 24 25 29 40 41 44 45 46 50 52 56 57 59 63 66 72 77
a 3 7 8 12 13 15 16 24 25 29 40 41 44 45 46 50 52 56 57 59 63 66 72 74
a 3 4 8 12 13 15 16 24 25 29 40 41 44 45 46 50 52 56 57 59 63 66 72 74
a 3 4 7 8 12 13 15 16 24 25 29 40 41 44 45 46 50 56 57 59 63 66 72 74
a 3 4 7 8 13 15 16 24 25 29 40 41 44 45 46 50 56 57 59 63 66 72 74 77
a 3 4 7 8 12 13 15 16 25 29 40 41 44 45 46 50 56 57 59 63 66 72 74 77
a 3 4 7 12 13 15 16 25 29 35 40 41 44 45 46 50 56 57 59 63 66 72 74 77
a 4 7 12 13 15 16 24 25 29 35 40 41 44 45 46 50 56 57 59 63 66 72 74 77
a 4 12 13 15 16 24 25 29 35 40 41 44 45 46 49 50 56 57 59 63 66 72 74 77
a 3 4 12 13 15 16 24 25 29 35 40 41 44 45 46 49 50 57 59 63 66 72 74 77
a 3 4 12 15 16 24 25 29 35 40 41 44 45 46 49 50 56 57 59 63 66 72 74 77
a 3 4 12 13 15 16 24 25 29 40 41 44 45 46 49 50 56 57 59 63 66 72 74 77
a 3 4 12 13 15 16 24 25 29 40 41 44 46 49 50 56 57 58 59 63 66 72 74 77
a 3 4 12 13 15 16 24 25 29 40 41 44 46 49 50 52 56 57 58 59 63 66 72 77
a 3 4 7 12 13 15 16 24 25 29 40 41 44 46 50 52 56 57 58 59 63 66 72 77
a 3 4 7 8 12 13 15 16 24 25 29 40 41 44 46 52 56 57 58 59 63 66 72 77
a 4 7 8 12 13 15 16 24 25 29 40 41 44 46 50 52 56 57 58 59 63 66 72 77
a 4 7 8 12 13 15 16 24 25 29 34 41 44 46 50 52 56 57 58 59 63 66 72 77
a 4 7 8 12 13 15 16 24 25 29 34 41 44 46 50 52 56 57 59 63 66 72 74 77
a 3 4 7 8 12 13 15 16 24 25 29 41 44 46 50 52 56 57 59 63 66 72 74 77
a 2 3 4 8 12 13 15 16 24 25 29 41 44 46 50 52 56 57 59 63 66 72 74 77
a 2 3 4 5 8 12 13 16 24 25 29 41 44 46 50 52 56 57 59 63 66 72 74 77
a 3 4 5 8 12 13 16 24 25 29 41 44 46 50 52 56 57 58 59 63 66 72 74 77
a 3 4 8 12 13 15 16 24 25 29 41 44 46 50 52 56 57 58 59 63 66 72 74 77
a 3 4 8 12 13 15 16 24 25 28 29 41 44 46 50 52 56 58 59 63 66 72 74 77
a 3 4 12 13 15 16 24 25 28 29 41 44 46 49 50 52 56 58 59 63 66 72 74 77
a 4 12 13 15 16 24 25 28 29 34 41 44 46 49 50 52 56 58 59 63 66 72 74 77
a 4 12 13 15 16 24 25 29 34 41 44 46 49 50 52 56 57 58 59 63 66 72 74 77
a 1 4 12 13 15 24 25 29 34 41 44 46 49 50 52 56 57 58 59 63 66 72 74 77
a 1 3 4 12 13 15 24 25 29 41 44 46 49 50 52 56 57 58 59 63 66 72 74 77
a 1 3 4 8 12 13 15 24 25 29 41 44 46 49 50 52 56 57 58 59 63 72 74 77
a 1 3 4 8 12 13 15 24 25 29 41 44 46 49 50 51 52 56 57 58 63 72 74 77
a 1 3 4 6 8 12 13 15 24 25 29 41 44 46 49 50 51 52 56 57 63 72 74 77
a 1 3 4 8 12 13 15 16 24 25 29 41 44 46 49 50 51 52 56 57 63 72 74 77
a 1 2 3 4 8 12 13 15 16 24 25 29 41 44 46 49 50 52 56 57 63 72 74 77
a 1 2 3 4 8 12 13 15 16 23 25 29 41 44 46 49 50 52 56 57 63 72 74 77
a 1 2 3 4 6 8 12 13 15 23 25 29 41 44 46 49 50 52 56 57 63 72 74 77
a 1 2 3 4 6 8 12 13 15 23 25 29 41 44 46 49 50 52 56 57 59 63 72 74
a 2 3 4 6 8 12 13 15 23 25 29 41 44 45 46 49 50 52 56 57 59 63 72 74
a 2 3 4 6 8 12 13 15 23 25 29 39 41 44 45 49 50 52 56 57 59 63 72 74
a 2 3 6 8 11 12 13 15 23 25 29 39 41 44 45 49 50 52 56 57 59 63 72 74
a 2 3 8 11 12 13 15 23 25 29 39 40 41 44 45 49 50 52 56 57 59 63 72 74
a 2 3 8 11 12 13 15 22 23 25 29 39 40 41 44 45 49 50 52 56 57 59 63 74
a 2 3 8 11 12 13 15 23 25 29 39 40 41 44 45 49 50 52 56 57 59 63 74 77
a 2 3 8 11 12 13 15 23 25 29 39 40 41 44 45 49 50 52 56 57 59 66 74 77
a 2 3 8 11 12 13 15 22 23 25 29 39 40 41 44 45 49 50 52 56 57 59 66 74
a 2 3 8 11 12 13 15 22 23 25 29 39 40 41 44 45 48 50 52 56 57 59 66 74
a 2 3 8 11 12 13 15 22 23 25 29 39 40 41 44 45 48 50 52 56 57 66 72 74
a 2 3 8 11 12 13 15 16 22 23 25 29 39 40 41 44 45 48 50 52 56 57 66 72
a 2 3 8 11 12 13 15 16 22 23 25 29 39 40 41 44 45 48 50 52 56 57 59 72
a 2 3 8 11 12 13 15 16 22 23 25 29 39 40 41 44 45 48 50 52 56 57 59 74
a 3 8 11 12 13 15 16 22 23 25 29 39 40 41 44 45 48 50 52 56 57 59 72 74
a 3 11 12 13 15 16 22 23 25 29 39 40 41 44 45 48 50 52 56 57 59 72 74 77
a 2 3 11 12 13 15 16 22 23 25 29 39 40 41 44 45 48 50 52 56 57 59 72 74
a 2 3 5 11 12 13 16 22 23 25 29 39 40 41 44 45 48 50 52 56 57 59 72 74
a 2 3 5 8 11 12 13 16 22 23 25 29 39 40 41 44 45 50 52 56 57 59 72 74
a 2 3 5 8 11 12 13 16 22 23 25 29 39 40 41 44 45 50 52 56 57 59 72 77
a 2 3 5 8 11 12 13 16 22 23 25 29 39 40 41 44 45 50 52 56 57 59 66 72
a 2 3 5 8 9 11 12 13 16 22 23 25 29 39 40 41 44 45 50 52 56 57 66 72
a 2 3 5 8 9 11 12 13 16 22 23 25 29 39 40 41 44 45 49 50 56 57 66 72
a 2 3 8 9 11 12 13 16 22 23 25 29 39 40 41 44 45 49 50 56 57 63 66 72
a 2 3 5 8 9 11 12 13 16 22 23 25 29 39 40 41 44 45 49 50 56 57 63 72
a 2 3 5 8 9 11 12 13 16 22 23 25 29 39 40 41 44 45 49 50 56 57 63 66
a 2 3 4 5 8 9 12 13 16 22 23 25 29 39 40 41 44 45 49 50 56 57 63 66
a 2 3 4 5 8 9 12 13 16 22 23 25 29 39 40 41 44 45 49 50 56 57 63 77
a 2 4 5 8 9 12 13 16 22 23 25 27 29 39 40 41 44 45 49 50 56 57 63 77
a 2 4 5 8 9 12 13 16 22 23 25 27 29 39 40 41 44 45 50 56 57 63 66 77
a 2 4 5 8 9 12 13 16 22 23 25 27 29 40 41 44 45 50 56 57 63 66 68 77
a 2 5 8 9 11 12 13 16 22 23 25 27 29 40 41 44 45 50 56 57 63 66 68 77
a 2 8 9 11 12 13 16 17 22 23 25 27 29 40 41 44 45 50 56 57 63 66 68 77
a 2 8 9 11 12 16 17 22 23 25 27 29 40 41 44 45 50 56 57 63 66 68 74 77
a 2 8 9 11 12 13 16 17 22 23 25 27 29 40 41 44 45 50 56 57 63 66 68 74
a 2 5 8 9 11 12 13 16 22 23 25 27 29 40 41 44 45 50 56 57 63 66 68 74
a 2 8 9 11 12 13 16 22 23 25 27 29 40 41 44 45 50 56 57 63 66 68 74 76
a 2 8 9 11 12 13 16 22 23 25 27 29 40 41 44 45 50 52 56 57 63 66 68 74
a 2 4 8 9 12 13 16 22 23 25 27 29 40 41 44 45 50 52 56 57 63 66 68 74
a 2 4 8 9 12 13 16 22 23 25 27 29 33 40 41 44 45 50 52 56 57 63 66 74
a 2 4 5 8 9 12 13 16 22 23 25 27 29 33 41 44 45 50 52 56 57 63 66 74
a 2 4 5 8 9 12 13 16 22 23 25 27 29 33 39 41 44 45 50 52 56 57 63 66
a 2 4 5 8 9 12 13 16 22 23 25 27 29 39 41 44 45 50 52 56 57 63 66 77
a 2 4 5 8 9 12 13 16 22 23 25 27 29 39 41 44 45 49 50 52 56 57 63 77
a 2 4 5 8 9 12 13 16 22 23 25 27 29 39 41 44 45 50 52 56 57 63 74 77
a 2 3 4 5 8 9 12 13 16 22 23 25 29 39 41 44 45 50 52 56 57 63 74 77
a 2 3 4 5 8 9 12 13 16 22 23 25 29 39 41 44 45 49 50 56 57 63 74 77
a 2 3 4 5 8 9 12 13 16 22 23 25 29 39 41 44 45 49 50 52 57 63 74 77
a 2 3 4 5 8 9 12 13 16 22 23 25 29 39 41 44 45 49 50 52 57 63 66 74
a 2 3 4 5 8 9 12 13 16 22 23 25 29 39 41 44 45 49 50 52 57 63 66 72
a 2 3 4 5 8 9 12 13 16 22 23 25 29 39 40 41 44 45 49 50 52 63 66 72
a 2 3 4 5 8 9 12 13 16 22 23 25 29 39 40 41 44 45 49 50 52 63 66 76
a 2 3 4 5 8 9 12 13 16 20 22 23 25 29 39 40 41 44 45 49 50 52 63 76
a 2 3 4 5 8 9 12 13 16 20 22 23 25 29 39 40 41 44 45 49 50 52 63 74
a 2 4 5 8 9 12 13 16 20 22 23 25 29 39 40 41 44 45 49 50 52 57 63 74
a 3 4 5 8 9 12 13 16 20 22 23 25 29 39 40 41 44 45 49 50 52 57 63 74
a 2 3 5 8 9 12 13 16 20 22 23 25 29 39 40 41 44 45 49 50 52 57 63 74
a 2 3 5 8 9 12 13 16 20 22 23 25 29 39 40 41 44 45 48 50 52 57 63 74
a 2 3 8 9 12 13 16 17 20 22 23 25 29 39 40 41 44 45 48 50 52 57 63 74
a 2 3 8 9 12 13 16 20 22 23 25 29 39 40 41 44 45 48 50 52 57 63 72 74
a 2 5 8 9 12 13 16 20 22 23 25 29 39 40 41 44 45 48 50 52 57 63 72 74
a 3 5 8 9 12 13 16 20 22 23 25 29 39 40 41 44 45 48 50 52 57 63 72 74
a 3 4 5 8 9 12 13 16 20 22 23 25 29 39 40 41 44 45 50 52 57 63 72 74
a 2 3 4 5 8 9 12 13 16 20 22 23 25 29 39 40 41 44 50 52 57 63 72 74
a 2 4 5 8 9 12 13 16 20 22 23 25 29 39 40 41 44 45 50 52 57 63 72 74
a 2 4 5 8 9 12 13 16 20 22 23 25 29 39 40 41 44 45 49 50 52 57 63 72
a 2 4 5 8 9 12 13 16 22 23 25 29 39 40 41 44 45 49 50 52 56 57 63 72
a 2 4 5 8 9 12 13 16 22 23 25 29 39 40 41 44 45 49 50 52 56 57 63 74
a 2 4 5 8 9 12 13 16 22 23 25 29 39 40 41 44 45 49 50 52 56 57 63 77
a 2 4 5 8 9 12 13 16 22 23 25 29 40 41 44 45 49 50 52 56 57 63 74 77
a 2 4 5 8 9 12 13 16 22 23 25 29 39 40 41 44 45 49 50 52 56 57 74 77
a 2 3 4 5 8 9 12 13 16 22 23 25 29 39 40 41 44 45 49 50 52 56 57 74
a 2 3 4 5 8 9 12 13 16 22 23 25 29 39 40 41 44 45 49 50 52 56 57 77
a 2 3 4 5 8 9 12 13 16 22 23 25 39 40 41 44 45 49 50 52 56 57 66 77
a 2 3 4 5 8 9 12 13 16 22 23 25 39 40 41 42 44 45 49 50 52 56 57 66
a 2 3 4 5 9 12 13 16 22 23 25 29 39 40 41 42 44 45 49 50 52 56 57 66
a 2 3 4 5 9 12 13 16 22 23 25 29 39 40 41 42 44 45 49 50 52 56 57 77
a 2 3 4 5 9 12 13 16 22 23 25 29 39 40 41 44 45 49 50 52 56 57 63 77
a 2 3 4 5 8 9 12 13 16 22 23 25 29 39 40 41 44 45 49 50 52 56 57 63
a 2 3 4 5 8 9 12 13 16 22 23 25 29 39 40 41 44 45 49 50 52 56 57 66
a 2 3 4 5 9 12 13 16 22 23 25 29 39 40 41 44 45 49 50 52 56 57 66 76
a 2 3 4 5 8 9 12 13 16 22 23 25 29 39 40 44 45 49 50 52 56 57 66 76
a 2 3 4 5 8 9 12 13 16 22 23 25 29 39 40 41 44 45 49 50 52 56 57 76
a 3 4 5 8 9 12 13 16 22 23 25 29 39 40 41 44 45 49 50 52 56 57 66 76
a 3 4 5 8 9 12 13 16 22 23 25 29 39 40 41 45 49 50 52 56 57 66 74 76
a 3 4 5 8 9 12 13 16 22 25 29 39 40 41 44 45 49 50 52 56 57 66 74 76
a 3 4 5 8 9 12 13 16 22 29 39 40 41 44 45 49 50 52 56 57 66 74 76 77
a 3 4 5 8 9 12 13 16 22 25 29 39 40 41 44 45 49 52 56 57 66 74 76 77
a 4 5 8 9 12 13 16 22 25 29 39 40 41 44 45 49 50 52 56 57 66 74 76 77
a 4 5 8 9 12 13 16 22 25 29 39 40 41 44 45 49 52 56 57 66 72 74 76 77
a 2 4 5 8 9 12 13 16 22 25 29 40 41 44 45 49 52 56 57 66 72 74 76 77
a 2 3 4 5 8 9 12 13 16 22 25 29 40 41 44 45 49 56 57 66 72 74 76 77
a 2 3 4 5 8 9 12 13 16 22 25 29 40 41 42 44 45 49 56 57 66 72 74 76
a 2 3 4 5 8 9 12 13 16 22 25 29 40 41 42 44 45 49 52 56 57 66 72 74
a 2 3 4 5 8 9 12 13 16 22 23 25 29 40 41 42 44 45 49 52 56 57 66 72
a 2 3 4 5 8 9 12 13 16 23 25 29 40 41 42 44 45 49 50 52 56 57 66 72
a 2 3 4 5 8 9 12 13 16 23 25 29 40 41 42 44 45 49 50 52 56 57 72 77
a 2 3 4 5 8 9 12 13 22 23 25 29 40 41 42 44 45 49 50 52 56 57 72 77
a 2 3 4 5 8 12 13 22 23 25 29 39 40 41 42 44 45 49 50 52 56 57 72 77
a 2 3 4 5 8 12 13 22 23 25 39 40 41 42 44 45 49 50 52 56 57 66 72 77
a 2 3 4 5 8 12 13 16 22 23 25 39 40 41 42 44 45 49 50 52 56 57 66 77
a 2 3 4 5 8 12 13 16 22 23 25 39 40 41 42 44 45 49 50 52 57 59 66 77
a 2 3 4 5 8 12 13 16 22 23 39 40 41 42 44 45 49 50 52 56 57 59 66 77
a 2 3 4 5 8 12 13 16 22 23 29 39 40 41 42 44 45 49 50 52 56 57 66 77
a 2 3 4 5 9 12 13 16 22 23 29 39 40 41 42 44 45 49 50 52 56 57 66 77
a 3 4 5 9 12 13 16 22 23 25 29 39 40 41 42 44 45 49 50 52 56 57 66 77
a 2 3 5 9 12 13 16 22 23 25 29 39 40 41 42 44 45 49 50 52 56 57 66 77
a 2 3 5 9 12 13 16 22 23 25 29 39 40 41 42 44 45 49 50 52 56 57 72 77
a 3 5 9 11 12 13 16 22 23 25 29 39 40 41 42 44 45 49 50 52 56 57 72 77
a 2 3 5 9 11 12 13 16 22 23 25 29 39 40 41 42 44 45 49 50 52 56 57 72
a 2 3 5 9 11 12 13 16 22 23 25 29 39 40 41 42 44 45 50 52 56 57 72 77
a 2 3 5 9 11 12 13 16 22 23 25 29 39 40 41 42 44 45 49 50 52 56 72 77
a 2 3 5 9 11 12 13 16 22 23 25 29 39 40 41 42 44 45 49 50 52 56 66 72
a 2 3 5 8 9 11 12 13 16 22 23 25 29 39 40 41 42 44 45 49 50 52 56 72
a 2 3 5 8 9 11 12 13 16 22 23 25 29 39 40 41 42 44 45 49 50 56 72 76
a 2 3 5 8 9 11 12 13 16 22 23 25 29 39 40 41 42 44 45 49 50 56 57 72
a 2 3 5 8 9 11 12 13 16 22 23 25 29 39 40 41 42 44 45 49 50 56 57 66
a 2 3 5 8 9 11 12 13 16 22 23 25 39 40 41 42 44 45 49 50 52 56 57 66
a 2 3 5 9 11 12 13 16 22 23 25 39 40 41 42 44 45 49 50 52 56 57 66 74
a 2 3 5 9 11 12 13 16 22 23 25 39 40 41 42 44 45 49 50 52 56 57 66 76
a 2 3 5 9 11 12 13 16 22 23 25 29 39 40 41 42 44 45 49 50 52 56 57 66
a 3 5 9 11 12 13 16 22 23 25 29 39 40 41 42 44 45 49 50 52 56 57 66 76
a 5 8 9 11 12 13 16 22 23 25 29 39 40 41 42 44 45 49 50 52 56 57 66 76
a 2 5 8 9 11 12 13 16 22 23 25 29 39 40 41 42 44 45 50 52 56 57 66 76
a 2 5 8 9 11 12 13 16 22 25 27 29 39 40 41 42 44 45 50 52 56 57 66 76
a 2 5 8 9 11 12 13 16 22 23 25 27 29 39 40 41 42 44 45 50 52 56 66 76
a 2 5 8 9 11 12 13 16 22 23 25 27 29 39 40 41 42 45 50 52 56 66 73 76
a 2 5 9 11 12 13 16 22 23 25 27 29 39 40 41 42 45 49 50 52 56 66 73 76
a 2 5 9 11 12 13 16 22 23 25 27 29 39 40 41 42 45 49 50 52 56 57 66 76
a 2 5 9 11 13 16 22 23 25 27 29 39 40 41 42 45 49 50 52 56 57 66 72 76
a 2 5 9 11 12 13 16 22 23 25 27 29 39 40 41 42 45 49 50 52 56 66 72 76
a 2 5 9 11 12 13 16 22 23 25 27 29 39 40 41 42 45 49 50 52 56 57 66 72
a 2 4 5 9 12 13 16 22 23 25 27 29 39 40 41 42 45 49 50 52 56 57 66 72
a 2 4 5 9 12 16 22 23 25 27 29 39 40 41 42 45 49 50 52 56 57 66 72 74
a 2 4 9 12 13 16 22 23 25 27 29 39 40 41 42 45 49 50 52 56 57 66 72 74
a 2 4 5 9 12 13 16 22 23 25 27 29 39 40 41 45 49 50 52 56 57 66 72 74
a 2 4 5 8 9 12 13 16 23 25 27 29 39 40 41 45 49 50 52 56 57 66 72 74
a 2 4 5 8 9 12 13 16 22 23 25 27 29 39 40 41 45 49 50 52 56 57 66 72
a 2 4 5 8 9 12 13 16 22 23 25 27 29 39 40 41 45 49 50 52 56 57 66 74
a 2 4 5 8 9 12 13 16 22 23 27 29 39 40 41 45 49 50 52 56 57 63 66 74
a 2 4 5 8 9 12 13 16 22 23 25 27 29 39 40 41 45 49 50 52 56 57 63 66
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 45 49 50 52 57 63 66
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 33 39 40 41 45 49 50 52 57 63
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 45 49 50 52 57 63 72
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 44 45 49 50 57 63 72
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 44 45 49 50 57 63 76
a 2 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 44 45 49 50 56 57 63 76
a 2 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 44 45 49 50 57 63 72 76
a 2 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 45 49 50 52 57 63 72 76
a 2 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 45 49 50 52 56 57 63 72
a 2 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 45 49 50 52 56 63 66 72
a 2 5 8 9 12 13 16 21 22 23 25 27 29 39 40 41 45 49 50 52 56 63 66 77
a 2 5 8 9 12 13 16 21 22 23 25 27 29 34 39 41 45 49 50 52 56 63 66 77
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 34 39 41 45 49 50 52 56 63 66
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 34 39 41 45 49 50 52 56 63 77
a 2 4 8 9 12 13 16 21 22 23 25 27 29 34 39 41 45 49 50 52 56 57 63 77
a 2 4 8 9 12 13 16 21 22 23 25 27 29 34 39 41 45 49 50 52 56 57 63 76
a 2 4 8 9 12 13 16 21 22 23 25 27 29 34 41 45 49 50 52 56 57 63 68 76
a 2 4 8 9 12 13 16 21 22 23 25 27 29 34 41 45 49 50 52 56 57 63 68 74
a 2 4 8 9 12 13 16 21 22 23 25 27 29 34 41 45 49 50 52 56 61 63 68 74
a 2 4 8 9 12 13 16 21 22 25 27 29 34 41 45 49 50 52 56 61 63 68 74 77
a 2 4 5 8 9 12 13 16 21 22 25 27 29 34 41 45 49 50 52 56 61 63 68 74
a 2 4 5 8 9 12 13 16 21 22 25 27 29 34 41 44 45 49 52 56 61 63 68 74
a 2 4 5 8 9 13 16 21 22 25 27 29 34 41 44 45 49 52 56 61 63 68 74 77
a 2 4 5 8 9 13 16 21 22 25 27 29 34 41 44 45 49 50 52 56 61 63 68 77
a 2 4 5 8 13 16 21 22 23 25 27 29 34 41 44 45 49 50 52 56 61 63 68 77
a 2 4 5 8 13 16 21 22 23 25 27 29 32 34 41 44 45 49 50 52 61 63 68 77
a 2 4 5 13 16 21 22 23 25 27 29 32 34 41 44 45 49 50 52 56 61 63 68 77
a 2 4 5 8 13 16 21 22 23 25 27 29 32 34 41 44 45 49 50 52 56 63 68 77
a 2 4 5 8 9 13 16 21 22 23 25 27 29 32 34 41 44 45 49 52 56 63 68 77
a 2 4 5 8 9 13 16 21 22 23 25 27 29 32 34 41 44 45 52 56 61 63 68 77
a 2 4 5 8 9 13 16 21 22 23 25 27 29 32 34 41 44 45 50 52 56 61 63 77
a 2 4 5 8 9 13 16 21 22 23 25 27 32 34 41 44 45 49 50 52 56 61 63 77
a 2 4 5 8 9 13 16 21 22 23 25 27 32 34 41 44 45 49 50 52 56 61 63 68
a 2 4 5 8 9 13 16 21 22 23 25 27 32 34 41 44 45 49 50 51 52 56 61 63
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 41 44 45 49 50 51 52 56 61 63
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 41 44 45 49 51 52 56 61 63 74
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 41 44 45 50 51 52 56 61 63 74
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 41 44 45 49 50 52 56 61 63 74
a 2 4 5 9 13 21 22 23 25 27 29 32 34 41 44 45 49 50 51 52 56 61 63 74
a 2 4 9 13 16 21 22 23 25 27 29 32 34 41 44 45 49 50 51 52 56 61 63 74
a 2 4 9 13 16 21 22 23 25 27 29 32 34 35 41 44 45 49 50 51 52 56 61 63
a 2 4 9 13 16 21 22 23 25 27 29 32 34 41 44 45 49 50 51 52 56 61 63 77
a 2 4 9 13 16 21 23 25 27 29 32 34 41 44 45 49 50 51 52 56 61 63 76 77
a 2 4 9 12 13 16 21 23 25 27 29 34 41 44 45 49 50 51 52 56 61 63 76 77
a 2 4 5 9 12 13 16 21 23 25 27 29 34 41 44 45 49 50 51 52 56 61 63 76
a 2 4 5 9 12 13 16 21 23 25 27 29 34 41 44 45 49 50 51 52 56 61 63 74
a 2 4 5 9 12 13 16 21 23 25 27 29 34 35 41 44 45 49 50 51 56 61 63 74
a 2 4 5 9 12 13 16 21 23 25 27 29 34 35 41 44 45 49 50 51 56 63 74 76
a 2 4 5 9 12 13 16 21 23 25 27 29 34 35 41 42 44 45 49 50 51 56 74 76
a 2 4 5 9 12 13 16 21 23 25 27 29 34 35 41 42 44 45 49 50 51 56 72 74
a 2 4 5 9 12 13 16 21 23 25 27 29 34 35 41 42 44 45 49 50 51 52 56 74
a 2 5 9 12 13 16 21 22 23 25 27 29 34 35 41 42 44 45 49 50 51 52 56 74
a 2 5 9 12 13 16 21 22 23 25 27 29 34 35 41 42 44 45 49 50 51 52 56 72
a 2 4 5 9 12 13 16 21 22 23 25 27 29 34 35 41 42 44 45 49 50 51 56 72
a 2 4 5 9 12 13 16 21 23 25 27 29 34 35 41 42 44 45 49 50 51 56 61 72
a 2 4 5 9 12 13 16 21 22 23 25 27 29 34 35 41 42 44 45 49 50 51 56 61
a 2 4 5 9 12 13 16 21 22 23 25 27 29 34 35 41 42 44 45 49 50 51 61 74
a 2 4 5 9 12 13 16 22 23 25 27 29 34 35 41 42 44 45 49 50 51 56 61 74
a 2 4 5 9 12 13 16 21 22 23 25 27 29 34 35 41 42 44 45 50 51 56 61 74
a 2 4 5 9 12 13 16 21 22 23 25 27 29 34 41 42 44 45 50 51 52 56 61 74
a 2 4 5 9 12 13 16 21 22 23 25 27 29 34 41 42 45 50 51 52 56 61 73 74
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 34 41 42 45 50 51 56 61 73 74
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 34 41 45 50 51 56 61 63 73 74
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 34 41 45 50 51 56 61 63 68 73
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 34 41 42 45 50 51 56 61 68 73
a 4 5 8 9 12 13 16 21 22 23 25 27 29 34 41 42 45 50 51 52 56 61 68 73
a 4 5 8 9 12 13 16 21 22 23 25 27 29 34 41 45 50 51 52 56 61 63 68 73
a 4 5 8 9 12 13 16 20 21 22 23 25 27 29 34 41 45 50 51 52 61 63 68 73
a 4 5 8 9 12 13 16 20 21 22 23 25 27 29 33 34 41 45 50 51 52 61 63 68
a 4 5 8 9 12 13 16 20 21 22 23 25 27 29 33 34 41 45 50 51 52 61 63 74
a 4 5 8 9 12 13 16 21 22 23 25 27 29 33 34 41 45 50 51 52 56 61 63 74
a 4 5 8 9 12 13 16 21 22 23 25 27 29 33 34 41 45 50 51 52 56 61 63 76
a 4 5 8 9 12 13 16 20 21 22 23 25 27 29 33 34 41 45 50 51 52 61 63 76
a 4 5 8 9 12 13 16 20 21 22 23 25 27 29 33 34 41 45 50 51 52 61 74 76
a 4 5 8 9 12 13 16 20 21 23 25 27 29 33 34 41 45 50 51 52 61 73 74 76
a 5 8 9 11 12 13 16 20 21 23 25 27 29 33 34 41 45 50 51 52 61 73 74 76
a 5 8 9 11 13 16 20 21 23 25 27 29 33 34 41 45 50 51 52 61 68 73 74 76
a 5 8 9 11 13 16 20 21 23 25 27 29 32 33 34 41 45 50 51 52 61 68 73 74
a 2 5 8 9 11 13 16 20 21 23 25 27 29 32 33 34 41 45 50 51 52 61 68 73
a 2 5 8 9 11 13 16 21 23 25 27 29 32 33 34 41 45 50 51 52 56 61 68 73
a 2 5 8 9 11 12 13 16 21 23 25 27 29 33 34 41 45 50 51 52 56 61 68 73
a 2 5 8 9 11 12 13 16 21 23 25 27 29 33 34 41 45 50 51 52 56 61 68 76
a 2 5 8 9 11 12 13 16 21 22 23 25 27 29 33 34 41 45 50 51 52 56 61 68
a 2 5 8 9 11 12 13 16 21 22 23 25 27 29 33 34 41 45 50 51 52 56 61 73
a 2 5 8 9 11 12 13 16 21 22 23 25 27 29 33 34 41 45 50 51 52 55 56 73
a 2 5 8 9 11 12 13 16 21 22 23 25 27 29 33 34 41 42 45 50 51 52 55 73
a 2 4 5 8 9 12 13 16 21 22 23 25 27 29 33 34 41 42 45 50 51 52 55 73
a 4 5 8 9 12 13 16 21 22 23 25 27 29 33 34 41 42 45 49 50 51 52 55 73
a 4 5 8 9 12 13 16 21 22 23 25 27 29 33 34 41 42 45 49 50 51 52 55 76
a 5 8 9 11 12 13 16 21 22 23 25 27 29 33 34 41 42 45 49 50 51 52 55 76
a 2 5 8 9 11 12 13 16 21 22 23 25 27 29 33 34 41 42 45 49 50 51 52 55
a 2 5 8 9 11 12 13 16 21 22 23 25 27 29 33 34 41 42 45 49 50 51 52 76
a 2 5 8 9 11 12 13 16 21 22 23 25 27 29 33 34 41 42 45 49 50 51 52 61
a 2 5 8 9 11 12 13 16 21 22 23 25 27 29 33 34 41 42 45 49 50 51 52 56
a 2 5 8 9 11 12 13 16 21 22 23 27 29 33 34 41 42 45 49 50 51 52 56 76
a 2 5 8 11 12 13 16 21 22 23 25 27 29 33 34 41 42 45 49 50 51 52 56 76
a 2 5 8 11 12 13 16 21 22 25 27 29 33 34 41 42 45 49 50 51 52 55 56 76
a 2 5 8 11 12 13 16 21 22 25 27 29 31 33 34 41 42 45 49 50 51 52 55 56
a 2 5 11 12 13 16 21 22 25 27 29 31 33 34 41 42 45 49 50 51 52 55 56 61
a 2 5 11 12 13 16 21 22 25 27 29 31 33 34 35 41 42 45 49 50 51 52 55 56
a 2 5 11 12 13 16 21 22 25 27 29 31 33 34 35 41 42 45 49 50 51 52 56 68
a 2 5 11 12 13 16 21 22 25 27 29 31 33 34 35 41 42 45 49 50 51 52 56 61
a 2 5 11 12 13 16 21 22 25 29 31 33 34 35 41 42 45 49 50 51 52 55 56 61
a 2 5 11 12 13 16 21 22 25 29 31 33 34 35 41 42 45 49 50 51 52 55 56 73
a 2 5 11 12 13 16 21 22 25 27 29 31 33 34 35 41 42 45 49 50 51 52 56 73
a 2 5 9 11 12 13 16 21 22 25 27 29 31 33 34 35 41 42 45 49 50 51 56 73
a 2 5 9 11 12 13 16 21 22 25 27 29 33 34 35 41 42 45 49 50 51 56 73 74
a 2 5 9 11 12 13 16 21 22 25 27 29 33 34 35 41 42 45 49 50 51 52 56 73
a 2 5 9 12 13 16 21 22 25 27 29 33 34 35 41 42 45 49 50 51 52 55 56 73
a 2 5 9 13 16 21 22 25 27 29 33 34 35 41 42 45 49 50 51 52 55 56 64 73
a 2 5 9 13 16 21 22 23 25 27 29 33 34 35 41 42 45 49 50 51 52 55 56 73
a 2 5 9 13 16 21 22 23 25 27 29 33 34 35 41 42 45 49 50 51 52 55 56 76
a 2 5 9 13 16 21 22 23 25 27 29 34 35 41 42 45 49 50 51 52 55 56 72 76
a 2 5 9 13 16 21 22 23 25 27 29 34 35 41 42 45 49 50 51 52 55 56 64 76
a 2 5 9 13 16 21 22 23 25 27 29 34 35 41 42 45 49 50 52 55 56 64 66 76
a 2 5 9 13 16 21 22 23 25 27 29 34 35 41 42 49 50 52 55 56 64 66 74 76
a 2 5 9 13 16 21 22 23 25 27 29 34 35 41 42 49 50 55 56 64 66 72 74 76
a 2 5 9 13 16 21 22 23 25 27 29 33 34 35 41 42 49 50 55 56 64 66 74 76
a 2 5 9 13 16 21 22 23 25 27 29 32 33 34 35 41 42 49 50 55 56 64 66 74
a 2 9 13 16 21 22 23 25 27 29 32 33 34 35 41 42 49 50 55 56 61 64 66 74
a 2 9 13 16 21 23 25 27 28 29 32 33 34 35 41 42 49 50 55 56 61 64 66 74
a 2 9 13 16 21 23 25 27 28 29 32 33 34 35 41 42 49 50 55 56 61 64 66 76
a 2 9 13 16 21 23 25 27 28 29 32 33 34 35 41 42 49 50 55 56 61 66 73 76
a 2 9 13 16 21 23 25 27 29 32 33 34 35 41 42 45 49 50 55 56 61 66 73 76
a 2 9 13 16 21 23 25 27 29 32 33 34 35 41 42 45 49 50 55 56 61 68 73 76
a 2 9 13 16 20 21 23 25 27 29 32 33 34 35 41 42 45 49 50 55 61 68 73 76
a 2 5 9 13 16 20 21 23 25 27 29 32 33 34 35 41 42 45 49 50 55 61 68 73
a 2 5 9 13 16 20 21 23 25 27 29 32 33 34 35 41 42 45 49 50 55 61 68 76
a 2 5 9 13 16 20 21 23 25 27 29 32 33 34 35 41 42 45 49 50 55 61 68 74
a 2 4 5 9 13 20 21 23 25 27 29 32 33 34 35 41 42 45 49 50 55 61 68 74
a 2 4 5 9 13 20 21 23 25 27 29 32 33 34 35 41 42 45 49 50 52 55 61 74
a 2 4 5 9 13 16 20 21 23 25 27 29 33 34 35 41 42 45 49 50 52 55 61 74
a 2 4 5 9 13 16 20 21 23 25 27 29 33 34 35 41 42 45 49 50 52 55 61 68
a 2 4 5 9 13 16 20 21 23 25 27 29 33 34 35 41 42 45 49 50 52 55 61 76
a 2 4 5 9 13 16 20 21 23 25 27 29 33 34 35 41 42 45 49 50 51 52 61 76
a 2 4 5 9 13 16 20 21 23 25 27 33 34 35 41 42 45 49 50 51 52 61 68 76
a 2 4 5 9 13 16 20 21 23 25 27 29 33 34 35 41 42 45 49 50 52 61 68 76
a 2 4 5 9 12 13 16 20 21 23 25 27 29 33 34 35 41 42 45 49 50 52 68 76
a 2 4 5 9 12 13 16 21 22 23 25 27 29 33 34 35 41 42 45 49 50 52 68 76
a 2 4 5 9 12 13 16 21 22 23 25 27 29 33 34 35 41 45 49 50 51 52 68 76
a 2 4 5 9 12 13 16 21 22 23 25 27 29 34 35 41 45 49 50 51 52 68 76 77
a 2 4 5 9 12 13 16 21 22 23 25 27 29 34 35 41 45 49 50 51 52 68 74 76
a 2 4 5 9 12 13 16 21 22 23 25 27 29 34 35 41 42 45 49 50 51 52 68 74
a 2 4 5 9 12 13 16 21 22 23 25 29 34 35 41 42 45 49 50 51 52 55 68 74
a 2 4 5 9 12 13 16 21 22 23 25 29 34 35 41 42 45 49 50 51 52 55 68 76
a 2 4 5 9 12 13 16 21 22 23 25 29 34 35 41 42 45 49 50 51 52 55 74 76
a 2 4 5 9 12 13 16 21 22 23 29 34 35 41 42 45 49 50 51 52 55 56 74 76
a 2 4 5 9 12 13 16 21 22 23 27 29 34 35 41 42 45 49 50 51 52 55 56 74
a 2 4 5 9 12 13 16 21 22 23 27 29 34 35 41 42 45 49 50 51 52 55 56 77
a 2 4 5 9 13 16 21 22 23 27 29 34 35 41 42 45 49 50 51 52 55 56 61 77
a 2 4 5 9 13 16 21 22 23 27 29 34 35 41 42 45 49 50 51 52 55 56 61 64
a 2 4 5 9 13 21 22 23 27 29 30 34 35 41 42 45 49 50 51 52 55 56 61 64
a 2 4 5 9 13 21 22 23 27 29 30 33 34 35 41 42 45 49 50 51 52 56 61 64
a 2 4 5 9 13 21 22 23 27 29 33 34 35 41 42 45 49 50 51 52 56 61 64 73
a 2 4 5 9 13 21 22 23 27 29 33 34 35 41 42 45 49 50 52 56 61 64 66 73
a 2 4 5 9 13 16 21 22 23 27 29 33 34 35 41 42 45 49 50 52 56 61 64 66
a 2 4 5 9 13 16 21 22 23 25 27 29 33 34 35 41 42 45 49 50 52 56 61 64
a 2 4 5 9 13 16 21 22 23 25 27 29 33 34 35 41 42 45 49 50 56 61 64 66
a 2 4 5 9 13 16 21 22 23 25 27 29 33 34 35 39 42 45 49 50 56 61 64 66
a 2 4 5 9 13 16 21 22 23 25 27 29 33 34 35 39 42 45 49 50 52 56 61 64
a 2 4 5 9 13 16 21 22 23 25 27 29 33 34 35 39 42 49 50 52 56 61 64 74
a 2 4 5 9 13 16 21 22 23 25 27 29 32 33 34 35 39 42 49 50 52 56 64 74
a 2 4 5 9 13 16 21 22 23 25 27 29 32 33 34 35 39 42 49 50 52 61 64 74
a 2 4 5 9 13 16 21 23 25 27 28 29 32 33 34 35 39 42 49 50 52 61 64 74
a 2 4 5 9 13 16 21 23 25 27 28 29 32 33 34 35 39 49 50 52 61 64 66 74
a 2 4 5 9 13 16 21 23 25 27 29 32 33 34 35 39 49 50 52 61 63 64 66 74
a 2 4 5 9 13 16 21 22 23 25 27 29 32 33 34 35 39 49 50 52 61 63 64 66
a 2 4 5 9 13 16 21 22 23 25 27 29 32 33 34 35 39 41 49 50 52 61 64 66
a 2 4 5 13 16 21 22 23 25 27 29 32 33 34 35 39 41 49 50 52 59 61 64 66
a 2 4 5 13 16 21 22 23 25 27 29 32 33 34 35 41 45 49 50 52 59 61 64 66
a 2 4 5 13 16 21 22 23 25 27 29 32 33 34 35 41 45 49 50 52 61 64 66 76
a 2 4 5 13 16 21 22 23 25 27 29 32 33 34 35 41 42 45 49 50 52 61 64 66
a 2 4 5 13 16 21 22 23 25 27 29 32 33 34 35 41 42 45 49 50 52 59 64 66
a 2 4 5 13 16 21 22 23 25 27 29 32 33 34 35 39 41 42 45 49 50 59 64 66
a 2 4 5 13 16 21 22 23 25 27 29 32 33 34 35 39 42 45 49 50 56 59 64 66
a 2 4 5 13 16 21 22 23 25 27 29 32 33 34 35 39 42 45 49 50 56 59 64 73
a 2 4 5 13 16 21 22 23 25 27 29 32 33 34 35 39 42 45 49 50 56 59 64 74
a 2 4 5 13 16 21 22 23 25 27 29 32 33 34 35 39 42 45 49 50 56 64 66 74
a 2 4 5 13 16 21 22 23 25 27 29 32 33 34 35 39 42 45 49 50 56 61 64 66
a 2 4 5 13 16 21 22 23 25 27 29 32 33 34 35 39 41 42 45 49 50 56 61 64
a 2 4 5 13 16 21 22 23 25 27 29 32 33 34 35 39 41 42 45 49 50 61 64 66
a 2 4 5 9 13 16 21 22 25 27 29 32 33 34 35 39 41 42 45 49 50 61 64 66
a 2 4 5 9 13 16 21 22 25 27 29 32 33 34 35 39 41 42 45 49 61 64 66 76
a 2 4 5 9 13 16 21 22 23 25 27 29 32 33 34 35 39 41 42 45 49 61 64 66
a 2 4 5 9 13 16 21 22 23 25 27 29 32 33 34 35 39 41 45 49 61 64 66 73
a 2 4 5 9 13 16 21 22 23 25 27 29 32 33 34 35 39 41 45 49 56 61 64 73
a 2 4 5 9 13 16 21 22 23 25 27 29 32 33 34 35 39 41 45 49 56 61 63 64
a 2 4 5 9 13 16 21 22 23 25 27 29 32 33 34 35 39 41 45 49 50 56 63 64
a 2 4 5 9 13 16 21 22 23 25 27 29 32 33 34 35 39 41 45 49 50 56 63 76
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 35 39 41 45 49 50 56 63 76 77
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 35 39 41 42 45 49 50 56 76 77
a 2 4 5 8 9 13 16 21 22 23 25 27 29 32 34 39 41 42 45 49 50 56 76 77
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 39 41 42 45 49 50 56 64 76 77
a 2 4 5 9 13 16 21 22 23 25 27 29 32 39 40 41 42 45 49 50 56 64 76 77
a 2 4 5 9 13 16 21 22 23 25 27 29 32 35 39 40 41 45 49 50 56 64 76 77
a 2 4 5 9 13 16 21 22 23 25 27 29 32 35 39 40 41 45 49 50 56 64 72 76
a 2 4 5 9 13 16 21 22 23 25 27 29 32 35 39 40 41 49 50 56 64 72 76 77
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 35 39 41 49 50 56 64 72 76 77
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 35 39 41 49 50 56 64 72 74 77
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 35 39 41 49 50 56 64 66 72 74
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 35 39 41 45 49 50 56 64 66 72
a 2 4 5 9 13 16 21 22 23 25 27 29 32 35 39 41 45 49 50 56 61 64 66 72
a 2 4 5 13 16 21 22 23 25 27 29 32 35 39 41 45 49 50 56 59 61 64 66 72
a 2 4 5 13 16 21 22 23 25 27 29 32 33 35 39 41 45 49 50 56 59 61 64 66
a 2 4 5 13 16 21 22 23 25 27 29 32 33 34 35 39 41 45 49 50 56 59 61 64
a 2 4 5 9 13 16 21 22 23 25 27 29 32 33 34 35 39 41 45 49 50 56 61 64
a 2 4 5 9 13 16 21 22 23 25 27 29 32 33 34 35 39 41 45 49 50 56 64 76
a 2 4 5 9 13 16 21 22 23 25 27 29 32 33 34 35 39 41 45 49 50 64 66 76
a 2 4 5 9 13 16 21 22 23 25 27 29 32 33 34 35 39 41 45 49 50 64 66 74
a 2 4 5 9 13 16 21 22 23 25 27 29 32 33 34 35 39 41 42 45 49 50 66 74
a 2 4 5 9 13 16 20 21 22 23 25 27 29 32 33 34 35 39 41 42 45 49 50 74
a 2 4 5 9 13 16 20 21 22 23 25 27 29 32 33 34 35 39 41 42 45 49 61 74
a 2 4 5 9 13 16 20 21 22 23 25 27 29 32 33 34 35 39 42 45 49 61 74 76
a 2 4 5 9 13 16 21 22 23 25 27 29 32 33 34 35 39 42 45 49 56 61 74 76
a 2 4 5 9 16 21 22 23 25 27 29 32 33 34 35 39 42 45 49 50 56 61 74 76
a 2 4 5 9 16 21 22 23 25 27 29 32 33 34 35 42 45 49 50 51 56 61 74 76
a 2 4 5 9 16 21 22 23 25 27 29 32 33 34 35 42 45 49 50 51 56 61 68 74
a 2 4 5 9 16 21 22 23 25 27 29 32 33 34 35 42 45 49 50 51 56 61 64 68
a 2 4 5 9 16 21 22 23 25 27 29 32 33 34 35 42 45 49 50 51 55 56 61 64
a 2 4 5 9 16 21 22 23 25 27 29 32 33 34 35 41 42 45 49 51 55 56 61 64
a 2 4 5 9 16 21 22 23 25 27 29 32 33 34 35 41 42 45 49 51 55 56 61 74
a 2 5 9 16 21 22 23 25 27 29 32 33 34 35 41 42 45 49 51 55 56 61 64 74
a 2 5 9 13 16 21 22 23 25 27 29 32 34 35 41 42 45 49 51 55 56 61 64 74
a 2 5 9 13 16 21 22 23 25 27 29 32 34 35 41 42 45 49 51 52 55 56 64 74
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 35 41 42 45 49 52 55 56 64 74
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 35 41 42 45 49 52 55 56 74 77
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 35 41 42 45 49 51 52 55 56 74
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 35 41 42 45 49 51 52 55 56 77
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 35 41 42 45 49 51 52 56 72 77
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 35 41 42 45 49 51 52 56 72 74
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 35 41 42 44 45 49 51 52 56 72
a 2 4 5 9 13 16 21 22 23 25 27 29 32 34 41 42 44 45 49 50 51 52 56 72
a 2 4 5 9 13 21 22 23 25 27 29 32 34 41 42 44 45 49 50 51 52 56 64 72
a 2 4 5 9 13 21 22 23 25 27 29 32 34 41 42 44 45 49 50 52 56 64 66 72
a 2 4 5 9 13 21 22 23 25 27 29 32 34 41 42 44 45 49 50 52 56 64 66 77
a 2 4 5 13 21 22 23 25 27 29 32 34 41 42 44 45 49 50 52 56 64 66 74 77
a 2 4 5 13 21 22 23 25 27 32 34 41 42 44 45 49 50 52 56 59 64 66 74 77
a 2 4 5 13 21 22 23 25 27 32 34 39 41 42 44 45 50 52 56 59 64 66 74 77
a 2 4 5 13 21 22 23 25 27 32 34 39 42 43 44 45 50 52 56 59 64 66 74 77
a 4 5 13 16 21 22 23 25 27 32 34 39 42 43 44 45 50 52 56 59 64 66 74 77
a 4 5 13 16 21 22 23 25 27 34 39 42 43 44 45 50 52 56 57 59 64 66 74 77
a 4 5 13 16 21 22 23 25 27 34 39 42 43 44 50 52 56 57 58 59 64 66 74 77
a 1 4 13 16 21 22 23 25 27 34 39 42 43 44 50 52 56 57 58 59 64 66 74 77
a 1 4 16 21 22 23 25 27 34 37 39 42 43 44 50 52 56 57 58 59 64 66 74 77
a 1 16 21 22 23 25 27 34 37 39 42 43 44 48 50 52 56 57 58 59 64 66 74 77
c Step: 428
#END: [Tue Sep  5 06:54:00 2023]