#BEGIN: [Tue Sep  5 06:23:55 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance006_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance006_graph001_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_graph001.col /benchmark/random_instance/random_instance006_graph001_01.dat
c /benchmark/random_instance/random_instance006_graph001.col
c /benchmark/random_instance/random_instance006_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID d2baebd290d6aae7e99b849d4357decd39a69d2b54a497187a780c2bd87e9c74
s 47 4 44 12 63 17 49 24 27 77 6 29 43 15 75 73 52 36 31 21 57 25 5
t 11 55 67 28 10 12 44 37 27 58 65 78 15 13 76 33 57 54 17 77 71 8 53
a YES
a 4 5 6 12 15 17 21 24 25 27 29 31 36 43 44 47 49 52 57 63 73 75 77
a 4 5 6 12 15 17 21 24 25 27 28 29 31 36 43 44 47 52 57 63 73 75 77
a 4 5 12 15 17 21 24 25 27 28 29 31 36 43 44 47 52 54 57 63 73 75 77
a 4 5 15 17 21 24 25 27 28 29 31 36 43 44 47 52 54 57 63 73 74 75 77
a 4 5 6 15 17 21 24 25 27 28 29 31 36 43 44 47 52 57 63 73 74 75 77
a 4 5 6 15 17 21 24 25 27 28 29 31 36 42 43 44 47 52 57 63 73 74 75
a 4 5 6 15 16 17 21 25 27 28 29 31 36 42 43 44 47 52 57 63 73 74 75
a 5 6 15 16 17 21 25 27 28 29 31 36 39 42 43 44 47 52 57 63 73 74 75
a 4 5 6 16 17 21 25 27 28 29 31 36 39 42 43 44 47 52 57 63 73 74 75
a 4 5 6 16 17 21 25 27 29 31 36 39 42 43 44 47 49 52 57 63 73 74 75
a 4 5 6 16 17 21 25 27 29 31 36 39 43 44 47 49 52 57 63 73 74 75 77
a 4 5 6 16 17 21 25 27 29 31 36 39 43 44 47 49 52 57 63 73 74 75 76
a 4 5 6 10 16 17 21 25 27 29 31 36 39 43 44 49 52 57 63 73 74 75 76
a 4 5 6 10 16 17 21 25 27 29 31 36 39 43 44 49 52 57 63 73 74 76 77
a 4 5 6 10 16 21 25 27 29 31 36 39 43 44 49 52 57 63 73 74 75 76 77
a 4 5 6 10 16 21 25 27 29 31 35 36 39 43 44 49 52 57 63 73 75 76 77
a 4 5 6 10 15 16 21 25 27 29 31 35 36 39 43 44 49 52 57 63 73 75 76
a 4 5 6 10 15 16 21 25 27 29 31 35 36 39 43 49 52 57 63 73 74 75 76
a 4 5 6 10 15 16 17 21 25 27 29 31 36 39 43 49 52 57 63 73 74 75 76
a 4 5 6 10 15 16 17 21 25 27 28 29 31 36 39 43 52 57 63 73 74 75 76
a 4 5 10 15 16 17 21 25 27 28 29 31 36 39 43 52 57 63 73 74 75 76 77
a 4 5 15 16 17 21 25 27 28 29 31 36 39 43 52 57 61 63 73 74 75 76 77
a 4 5 16 17 21 25 27 28 29 31 36 39 43 52 57 61 63 69 73 74 75 76 77
a 4 5 16 17 21 25 27 28 29 31 36 39 43 52 54 57 61 63 69 73 74 75 76
a 4 5 10 16 17 21 25 27 28 29 31 36 43 52 54 57 61 63 69 73 74 75 76
a 4 5 10 16 20 21 25 27 28 29 31 36 43 52 54 57 61 63 69 73 74 75 76
a 4 5 10 16 17 20 21 25 27 29 31 36 43 52 54 57 61 63 69 73 74 75 76
a 5 10 16 17 20 21 25 27 29 31 36 39 43 52 54 57 61 63 69 73 74 75 76
a 5 16 17 20 21 25 27 29 31 36 39 43 47 52 54 57 61 63 69 73 74 75 76
a 4 5 17 20 21 25 27 29 31 36 39 43 47 52 54 57 61 63 69 73 74 75 76
a 5 17 20 21 25 27 29 31 36 39 43 47 52 54 57 61 63 69 73 74 75 76 77
a 4 5 17 20 21 25 27 29 31 36 39 43 47 52 54 57 61 63 69 73 74 75 77
a 4 5 17 20 21 25 27 28 29 31 36 39 43 47 52 54 57 61 63 73 74 75 77
a 4 5 17 19 20 21 25 27 28 29 31 36 39 43 47 52 54 57 61 63 73 74 77
a 4 5 15 17 19 20 21 25 27 28 29 31 36 39 43 47 52 54 57 61 63 73 77
a 4 5 15 17 19 20 21 25 26 27 28 29 31 39 43 47 52 54 57 61 63 73 77
a 4 5 15 17 19 20 21 25 26 27 28 29 31 39 43 47 52 54 57 61 63 73 74
a 5 15 16 17 19 20 21 25 26 27 28 29 31 39 43 47 52 54 57 61 63 73 74
a 4 5 15 16 17 19 20 21 25 26 27 28 29 31 39 43 47 52 54 57 61 73 74
a 4 5 15 16 17 19 20 21 25 26 27 28 29 31 36 39 43 47 52 54 57 61 73
a 4 15 16 17 19 20 21 25 26 27 28 29 30 31 36 39 43 47 52 54 57 61 73
a 4 5 15 16 17 19 20 21 25 26 27 28 29 30 31 36 39 43 47 52 54 57 61
a 4 5 15 16 19 20 21 25 26 27 28 29 30 31 36 39 43 47 52 54 57 61 73
a 4 5 15 16 19 20 21 25 26 27 28 29 31 36 39 43 47 52 54 57 61 73 75
a 4 5 15 16 19 20 21 25 26 27 28 29 31 36 39 43 46 47 52 54 57 61 73
a 4 5 15 16 19 20 21 25 26 27 28 29 30 31 36 39 43 46 47 52 54 57 73
a 4 5 13 15 16 19 20 21 25 26 27 28 29 30 31 36 39 43 46 47 52 54 57
a 4 5 13 15 16 19 20 21 25 26 27 28 29 30 31 36 39 43 46 47 54 57 74
a 4 5 13 15 16 17 19 20 21 25 26 27 28 29 30 31 36 39 43 46 47 57 74
a 4 5 13 15 16 17 19 20 21 25 26 27 28 29 30 31 36 39 43 46 57 74 76
a 4 5 11 13 15 16 17 19 20 21 26 27 28 29 30 31 36 39 43 46 57 74 76
a 4 5 11 13 15 16 17 19 20 21 26 27 28 29 31 36 39 43 46 52 57 74 76
a 4 5 11 13 15 16 17 19 20 21 26 27 28 29 31 36 39 43 52 57 74 75 76
a 4 5 11 13 15 16 17 19 20 21 26 27 28 29 31 36 39 43 52 57 74 75 77
a 4 5 6 11 13 15 16 17 19 20 21 26 27 28 29 31 36 39 43 52 57 74 75
a 4 5 6 11 13 15 16 17 19 20 21 26 27 28 29 31 36 39 43 52 57 63 74
a 4 5 6 11 13 15 16 17 19 20 21 26 27 28 29 31 36 39 43 52 63 73 74
a 4 5 6 11 13 15 16 17 19 20 21 26 27 28 29 31 36 39 43 47 52 63 73
a 4 5 6 11 13 15 16 17 19 20 21 26 27 28 29 31 36 39 43 47 52 73 77
a 4 5 6 11 13 15 16 17 19 20 26 27 28 29 31 36 39 43 47 52 73 74 77
a 4 5 6 11 13 15 16 17 19 20 27 28 29 31 36 39 43 46 47 52 73 74 77
a 4 5 6 11 13 15 16 17 19 20 27 28 29 31 36 39 43 46 47 52 73 74 76
a 4 5 6 11 13 15 16 17 19 20 27 28 29 31 36 39 43 47 52 63 73 74 76
a 4 5 6 11 13 15 16 18 19 20 27 28 29 31 36 39 43 47 52 63 73 74 76
a 4 5 6 11 13 15 16 18 19 20 21 27 28 29 31 36 39 43 47 52 63 73 74
a 4 5 6 11 13 15 16 17 19 20 21 27 28 29 31 36 39 43 47 52 63 73 74
a 4 5 11 13 15 16 17 19 20 21 26 27 28 29 31 36 39 43 47 52 63 73 74
a 4 5 11 13 15 16 17 19 20 21 26 27 28 29 31 36 39 43 47 52 61 63 73
a 4 5 11 13 15 16 17 19 20 21 26 27 28 29 31 36 39 43 47 52 61 63 77
a 4 5 11 13 15 16 17 19 20 21 26 27 28 29 31 36 39 43 52 61 63 76 77
a 5 11 13 15 16 17 19 20 21 26 27 28 29 31 36 39 43 52 61 63 76 77 78
a 5 11 13 15 16 19 20 21 26 27 28 29 31 35 36 39 43 52 61 63 76 77 78
a 5 11 13 15 16 19 20 21 26 27 28 29 31 35 36 39 43 52 54 61 63 76 77
a 5 11 13 15 16 19 21 26 27 28 29 31 35 36 39 43 52 54 61 63 74 76 77
a 5 11 13 15 16 19 21 26 27 28 29 31 35 36 39 43 52 54 61 63 76 77 78
a 5 11 13 15 16 17 19 21 26 27 28 29 31 36 39 43 52 54 61 63 76 77 78
a 11 13 15 16 17 19 21 26 27 28 29 31 36 39 43 52 54 61 63 74 76 77 78
a 11 13 15 16 17 19 20 21 26 28 29 31 36 39 43 52 54 61 63 74 76 77 78
a 11 13 15 16 17 19 20 21 26 28 29 31 36 39 43 52 54 61 63 65 74 77 78
a 11 13 15 16 17 19 20 21 26 28 29 31 36 39 43 50 52 54 61 65 74 77 78
a 13 15 16 17 19 20 21 26 28 29 31 36 39 43 50 52 54 61 65 73 74 77 78
a 13 15 16 17 19 20 21 26 28 29 31 36 39 43 50 52 54 61 63 65 73 74 77
a 13 15 16 17 19 20 21 26 29 31 36 39 43 50 52 54 61 63 65 66 73 74 77
a 13 15 16 17 19 20 21 26 29 31 33 36 39 43 50 52 54 61 63 65 66 73 74
a 4 13 15 16 17 19 20 21 26 29 31 33 36 39 43 50 52 61 63 65 66 73 74
a 13 15 16 17 19 20 21 26 29 31 33 36 39 43 50 52 61 63 65 66 73 74 78
a 10 13 15 16 17 19 20 21 29 31 33 36 39 43 50 52 61 63 65 66 73 74 78
a 10 13 15 16 17 19 20 21 29 31 33 39 43 50 52 55 61 63 65 66 73 74 78
a 10 13 15 16 17 19 20 21 29 31 33 39 43 50 52 55 61 63 65 66 70 73 78
a 10 11 13 15 16 17 19 20 21 29 31 33 39 43 50 52 55 61 63 65 66 70 78
a 10 11 13 15 16 17 19 20 21 29 31 33 39 43 50 52 55 61 63 65 66 74 78
a 10 11 13 15 16 17 18 19 20 21 29 31 33 39 43 50 52 55 61 63 65 66 74
a 4 10 11 13 15 16 17 18 20 21 29 31 33 39 43 50 52 55 61 63 65 66 74
a 4 10 11 13 15 16 17 18 20 21 29 31 33 39 43 50 52 61 63 65 66 74 76
a 4 10 11 13 15 16 17 18 20 21 28 29 31 33 39 43 50 52 61 63 65 74 76
a 4 10 11 13 15 16 17 19 20 21 28 29 31 33 39 43 50 52 61 63 65 74 76
a 4 10 11 13 15 16 17 19 20 21 28 29 31 33 39 43 50 52 54 61 63 65 74
a 4 10 11 13 15 16 17 19 20 21 28 29 31 33 39 43 50 52 54 61 63 65 75
a 4 10 11 13 15 16 17 19 20 21 28 29 31 36 39 43 50 52 54 61 63 65 75
a 4 10 11 15 16 17 19 20 21 28 29 31 36 39 43 50 52 54 61 63 65 75 77
a 4 10 11 15 16 17 19 20 21 28 29 31 36 39 43 50 52 54 61 63 65 74 75
a 10 11 15 16 17 19 20 21 28 29 31 36 39 43 50 52 54 61 63 65 74 75 77
a 4 11 15 16 17 19 20 21 28 29 31 36 39 43 50 52 54 61 63 65 74 75 77
a 4 11 15 16 17 19 20 21 28 29 31 36 39 43 50 52 54 61 63 65 70 75 77
a 4 11 15 16 17 19 20 21 28 29 31 33 36 39 43 50 52 54 61 63 65 70 75
a 4 11 15 16 17 19 20 21 28 29 31 33 36 39 43 50 52 54 61 63 65 70 73
a 4 11 15 16 19 20 21 28 29 31 33 36 38 39 43 50 52 54 61 63 65 70 73
a 4 11 15 16 19 20 21 28 31 33 36 38 39 43 50 52 54 57 61 63 65 70 73
a 4 11 15 16 19 20 21 28 29 31 33 36 39 43 50 52 54 57 61 63 65 70 73
a 11 15 16 19 20 21 28 29 31 33 36 39 43 50 52 54 57 61 63 65 70 73 77
a 11 15 16 19 20 21 28 29 31 33 36 38 39 43 50 52 54 57 61 63 65 70 73
a 15 16 19 20 21 26 28 29 31 33 36 38 39 43 50 52 54 57 61 63 65 70 73
a 4 15 16 19 20 21 26 28 29 31 33 36 38 39 43 50 52 54 57 61 63 65 70
a 4 15 16 19 20 21 26 28 29 31 33 36 39 42 43 50 52 54 57 61 63 65 70
a 4 15 16 17 19 20 21 26 28 29 31 33 36 39 42 43 50 52 54 57 61 63 70
a 4 15 16 17 19 20 21 26 28 29 31 33 36 39 42 43 50 52 54 61 63 70 75
a 4 15 16 17 19 20 21 26 28 29 31 33 36 39 43 50 52 54 61 63 70 75 77
a 4 15 16 17 19 20 21 26 28 29 33 36 39 43 50 52 54 59 61 63 70 75 77
a 4 15 16 17 19 20 21 26 28 29 33 36 39 43 50 52 54 57 61 63 70 75 77
a 4 15 16 17 19 20 21 26 28 29 33 36 39 43 50 52 54 57 61 63 74 75 77
a 4 11 15 16 17 19 20 21 26 28 29 33 36 39 43 50 52 54 57 61 63 75 77
a 4 11 15 16 17 19 20 21 26 28 29 33 36 39 43 50 52 54 57 61 63 73 77
a 4 15 16 17 19 20 21 26 28 29 33 36 39 43 50 52 54 57 61 63 73 74 77
a 4 15 16 17 18 19 20 21 26 28 29 33 36 39 43 50 52 57 61 63 73 74 77
a 4 15 16 17 18 19 20 21 26 28 29 33 36 39 43 50 51 52 57 63 73 74 77
a 4 5 15 16 17 18 19 20 21 26 28 29 36 39 43 50 51 52 57 63 73 74 77
a 4 5 15 16 17 18 19 20 21 26 28 29 36 39 43 46 50 51 52 57 73 74 77
a 4 5 13 15 16 17 18 19 20 21 26 28 29 36 39 43 46 50 51 52 57 73 74
a 4 5 13 15 16 17 18 19 20 21 26 28 29 36 39 43 46 47 51 52 57 73 74
a 4 5 13 15 16 17 19 20 21 26 28 29 36 39 42 43 46 47 51 52 57 73 74
a 4 5 13 15 16 17 19 20 21 26 28 29 36 39 42 43 46 47 51 52 57 74 76
a 4 5 11 13 15 16 17 19 20 21 26 28 29 36 39 42 43 46 47 51 52 57 74
a 4 5 11 13 15 16 17 19 20 21 26 28 29 36 39 42 43 46 47 51 52 54 57
a 4 5 11 13 15 16 17 19 20 21 26 28 29 30 36 39 42 43 46 47 51 52 54
a 4 5 11 15 16 17 19 20 21 26 28 29 30 31 36 39 42 43 46 47 51 52 54
a 4 5 11 15 16 17 19 20 21 26 27 28 29 30 31 36 39 42 43 46 47 51 52
a 4 5 11 13 15 16 17 19 20 21 27 28 29 30 31 36 39 42 43 46 47 51 52
a 4 5 11 13 15 16 17 19 20 21 26 28 29 30 31 36 39 42 43 46 47 51 52
a 4 5 11 13 15 16 17 19 20 21 26 27 28 29 30 31 36 42 43 46 47 51 52
a 4 11 13 15 16 17 19 20 21 26 27 28 29 30 31 36 39 42 43 46 47 51 52
a 4 13 15 16 17 19 20 21 26 27 28 29 30 31 36 39 42 43 46 47 51 52 74
a 4 11 13 15 16 17 19 20 21 26 27 28 29 30 31 36 39 42 43 46 47 52 74
a 4 5 11 13 16 17 19 20 21 26 27 28 29 30 31 36 39 42 43 46 47 52 74
a 4 5 11 13 16 17 19 20 21 26 27 29 30 31 36 39 42 43 46 47 52 66 74
a 4 5 11 13 15 16 17 19 20 21 26 27 29 30 31 36 39 42 43 47 52 66 74
a 4 5 11 13 15 16 17 19 20 21 26 27 29 30 31 36 39 42 43 47 52 73 74
a 4 5 11 13 15 16 17 18 19 20 21 26 27 29 30 31 36 39 43 47 52 73 74
a 4 6 11 13 15 16 17 18 19 20 21 26 27 29 30 31 36 39 43 47 52 73 74
a 4 6 11 13 15 16 17 18 19 20 21 26 27 29 30 31 36 39 43 47 52 66 74
a 4 5 6 11 13 15 16 17 19 20 21 26 27 29 30 31 36 39 43 47 52 66 74
a 4 5 6 11 13 15 16 17 19 20 21 26 27 29 30 31 36 39 47 52 66 73 74
a 4 5 6 11 13 15 16 17 19 20 21 26 27 29 30 31 36 39 46 47 52 66 74
a 4 5 6 11 13 15 16 17 19 20 21 26 27 28 29 30 31 36 39 46 47 52 74
a 4 5 6 11 13 15 16 17 19 20 21 26 27 28 29 30 31 36 39 46 47 52 73
a 4 6 11 13 15 16 17 19 20 21 26 27 28 29 30 31 36 39 43 46 47 52 73
a 4 6 11 13 15 16 17 19 20 21 26 27 29 30 31 36 39 43 46 47 52 66 73
a 4 6 11 13 15 16 17 19 20 21 26 27 29 30 31 36 39 43 46 47 51 52 73
a 4 6 11 13 15 16 17 19 20 21 26 27 29 30 31 36 39 42 43 46 47 51 52
a 4 6 11 13 15 16 19 20 21 26 27 29 30 31 36 38 39 42 43 46 47 51 52
a 4 11 13 15 16 19 20 21 26 27 29 30 31 36 38 39 42 43 46 47 51 52 66
a 4 11 13 15 16 19 21 26 27 29 30 31 36 38 39 42 43 46 47 49 51 52 66
a 4 11 13 15 16 19 21 26 27 29 30 31 36 38 39 42 43 46 47 49 51 52 73
a 4 11 13 15 16 19 21 26 27 29 30 31 36 39 42 43 46 47 49 51 52 73 76
a 4 11 13 15 16 19 21 26 27 29 30 31 36 39 42 43 47 49 51 52 65 73 76
a 4 11 13 15 19 21 26 27 29 30 31 36 39 42 43 47 49 51 52 65 66 73 76
a 4 11 13 15 17 19 21 26 27 29 30 31 36 39 42 43 47 51 52 65 66 73 76
a 4 11 13 15 17 19 21 26 27 28 29 30 31 36 39 42 43 47 51 52 65 73 76
a 4 11 13 15 17 19 21 26 27 28 29 30 31 36 39 42 43 47 51 52 57 65 76
a 4 11 13 15 16 17 19 21 26 27 28 29 30 31 36 39 43 47 51 52 57 65 76
a 4 11 13 15 16 17 19 21 26 27 28 29 30 31 33 36 39 43 47 51 52 57 65
a 4 11 13 15 16 17 19 21 26 27 28 29 30 31 33 39 43 47 51 52 55 57 65
a 4 11 13 15 16 17 19 21 26 27 28 29 30 31 33 39 43 47 52 55 57 65 73
a 4 11 13 15 16 17 19 20 21 26 27 28 29 30 31 33 39 43 47 52 55 65 73
a 4 11 13 15 16 17 19 20 21 26 27 29 30 31 33 39 43 47 52 55 65 66 73
a 4 11 13 15 16 17 18 19 20 21 26 27 29 30 33 39 43 47 52 55 65 66 73
a 4 11 13 15 16 17 18 19 20 21 26 27 29 30 33 39 43 47 55 59 65 66 73
a 4 11 13 15 16 17 18 19 20 21 26 27 29 30 33 39 43 47 55 59 65 66 76
a 4 11 13 15 16 17 19 20 21 26 27 29 30 33 39 43 47 55 59 65 66 73 76
a 4 11 13 15 16 17 19 20 21 26 27 29 30 33 39 43 47 55 59 61 65 66 73
a 4 11 13 15 16 17 18 19 20 21 26 27 29 33 39 43 47 55 59 61 65 66 73
a 4 11 13 15 16 17 18 19 20 21 26 27 29 33 39 43 47 55 59 61 65 66 74
a 4 11 13 15 16 17 18 19 20 21 26 27 29 33 39 43 47 59 61 65 66 74 75
a 4 11 13 15 16 17 18 19 20 21 26 27 29 33 39 43 47 59 61 63 65 66 74
a 4 11 13 15 16 17 18 19 20 21 26 27 29 33 39 43 47 59 61 63 65 66 75
a 4 11 13 15 16 17 18 19 20 21 26 27 29 33 39 43 47 52 59 61 63 65 66
a 4 11 13 15 16 17 18 19 20 21 26 27 29 33 39 43 47 52 59 61 63 65 74
a 11 13 15 16 17 18 19 20 21 26 27 29 33 39 43 47 52 59 61 63 65 66 74
a 11 13 15 16 17 18 19 20 21 26 27 29 33 39 43 47 52 59 61 63 65 73 74
a 11 13 15 16 17 18 19 20 21 26 27 29 31 33 39 43 47 52 61 63 65 73 74
a 4 11 13 15 16 17 18 19 20 21 26 27 29 31 33 39 43 47 52 61 63 65 73
a 4 11 13 15 16 17 18 19 20 21 26 27 31 33 39 43 47 52 60 61 63 65 73
a 4 11 13 15 16 17 18 19 20 21 26 27 31 33 36 39 43 47 52 60 61 63 73
a 4 11 13 15 16 17 18 19 20 21 26 27 28 31 33 36 39 43 47 52 60 63 73
a 4 11 13 15 16 17 18 20 21 26 27 28 31 33 36 39 40 43 47 52 60 63 73
a 4 11 13 15 16 17 18 20 21 26 27 31 33 36 39 40 43 47 52 60 63 66 73
a 4 11 13 15 16 17 18 20 21 26 27 33 36 39 40 43 47 51 52 60 63 66 73
a 4 11 13 15 16 17 18 20 21 26 27 33 36 39 40 43 47 51 52 60 63 65 66
a 4 11 13 15 16 17 18 20 21 26 27 33 36 39 40 43 47 51 52 63 65 66 74
a 4 13 15 16 17 18 20 21 26 27 31 33 36 39 40 43 47 51 52 63 65 66 74
a 4 13 15 16 18 20 21 22 26 27 31 33 36 39 40 43 47 51 52 63 65 66 74
a 13 15 16 18 20 21 22 26 27 31 33 36 39 40 43 47 51 52 63 65 66 74 76
a 13 15 16 18 20 21 22 26 27 28 31 33 36 39 40 43 47 51 52 63 65 74 76
a 11 13 15 16 18 20 21 26 27 28 31 33 36 39 40 43 47 51 52 63 65 74 76
a 11 13 15 16 18 20 21 26 27 28 31 33 36 39 40 43 47 52 61 63 65 74 76
a 11 13 15 16 17 20 21 26 27 28 31 33 36 39 40 43 47 52 61 63 65 74 76
a 11 15 16 17 20 21 26 27 28 29 31 33 36 39 40 43 47 52 61 63 65 74 76
a 11 15 16 17 20 21 26 27 28 29 31 33 39 40 43 47 52 55 61 63 65 74 76
a 4 11 15 16 20 21 26 27 28 29 31 33 39 40 43 47 52 55 61 63 65 74 76
a 4 11 15 16 20 21 26 27 28 29 31 33 36 39 40 43 47 52 61 63 65 74 76
a 4 15 16 20 21 25 26 27 28 29 31 33 36 39 40 43 47 52 61 63 65 74 76
a 4 15 16 20 21 25 26 27 28 29 31 33 36 39 40 42 43 47 52 61 63 65 74
a 4 15 16 20 21 25 26 27 28 29 31 33 39 40 42 43 47 52 55 61 63 65 74
a 4 15 16 20 21 25 26 27 28 29 31 33 39 40 42 43 47 52 55 61 63 65 76
a 4 15 16 20 21 25 26 27 28 29 33 39 40 42 43 47 52 55 59 61 63 65 76
a 4 15 16 20 21 25 26 27 28 29 33 39 40 42 43 47 51 52 55 59 63 65 76
a 4 15 16 20 21 25 26 27 28 29 33 39 40 43 47 51 52 55 59 63 65 76 77
a 4 15 16 20 21 25 26 27 28 29 33 39 40 43 47 51 52 55 59 63 65 73 76
a 15 16 20 21 25 26 27 28 29 33 39 40 43 47 51 52 54 55 59 63 65 73 76
a 15 16 20 21 25 26 27 29 33 39 40 43 47 51 52 54 55 59 63 65 66 73 76
a 14 15 16 20 21 25 26 27 29 33 39 40 43 47 51 54 55 59 63 65 66 73 76
a 15 16 17 20 21 25 26 27 29 33 39 40 43 47 51 54 55 59 63 65 66 73 76
a 15 16 17 20 21 25 26 27 29 33 39 40 43 47 51 52 54 55 59 63 65 73 76
a 16 17 20 21 25 26 27 29 33 39 40 43 47 51 52 54 55 59 63 65 73 74 76
a 11 16 17 20 21 26 27 29 33 39 40 43 47 51 52 54 55 59 63 65 73 74 76
a 11 16 17 20 21 26 27 29 31 33 39 40 43 47 51 52 54 55 63 65 73 74 76
a 16 17 20 21 25 26 27 29 31 33 39 40 43 47 51 52 54 55 63 65 73 74 76
a 4 16 17 20 21 25 26 27 29 31 33 39 40 43 47 51 52 54 55 63 65 73 74
a 4 16 17 21 25 26 27 29 31 33 39 40 43 47 49 51 52 54 55 63 65 73 74
a 4 16 17 21 25 26 27 29 31 33 39 40 43 47 49 51 52 54 63 65 66 73 74
a 4 16 17 21 25 26 27 29 30 31 33 39 40 43 47 49 51 52 54 65 66 73 74
a 4 16 17 21 25 27 29 30 31 33 39 40 43 44 47 49 51 52 54 65 66 73 74
a 4 15 16 17 21 27 29 30 31 33 39 40 43 44 47 49 51 52 54 65 66 73 74
a 4 15 16 17 21 25 27 29 30 31 33 39 40 43 44 47 49 51 52 54 65 73 74
a 4 15 16 17 21 25 27 29 30 31 33 39 40 42 43 44 47 49 51 52 54 73 74
a 4 15 16 17 21 25 27 29 30 31 36 39 40 42 43 44 47 49 51 52 54 73 74
a 4 16 17 21 25 27 29 30 31 36 39 40 42 43 44 47 49 51 52 54 69 73 74
a 4 16 17 21 25 27 30 31 36 39 40 42 43 44 45 47 49 51 52 54 69 73 74
a 4 16 17 21 25 27 30 31 36 39 40 42 43 45 46 47 49 51 52 54 69 73 74
a 4 16 17 21 25 27 30 31 36 39 40 42 43 46 47 49 51 52 54 69 73 74 76
a 4 16 17 21 25 27 30 36 39 40 42 43 46 47 49 51 52 54 59 69 73 74 76
a 4 16 17 21 25 27 28 30 36 39 40 42 43 46 47 51 52 54 59 69 73 74 76
a 4 16 17 21 25 27 28 30 31 36 39 40 42 43 46 47 51 52 54 69 73 74 76
a 4 16 17 19 21 25 27 28 30 31 36 39 42 43 46 47 51 52 54 69 73 74 76
a 4 11 16 17 19 21 27 28 30 31 36 39 42 43 46 47 51 52 54 69 73 74 76
a 4 11 16 17 19 21 27 28 30 36 39 42 43 46 47 51 52 54 59 69 73 74 76
a 4 11 16 17 19 21 27 28 30 36 39 42 43 46 47 51 52 54 57 69 73 74 76
a 4 11 16 17 19 21 27 28 30 33 36 39 42 43 46 47 51 52 54 57 69 73 74
a 4 11 16 17 19 21 27 28 30 33 36 39 42 43 46 47 51 52 53 54 57 69 74
a 4 11 16 17 21 24 27 28 30 33 36 39 42 43 46 47 51 52 53 54 57 69 74
a 4 11 16 17 21 27 28 30 33 36 39 42 43 46 47 51 52 53 54 57 69 74 76
a 4 11 16 17 19 21 27 28 33 36 39 42 43 46 47 51 52 53 54 57 69 74 76
a 4 11 16 17 19 21 27 28 33 36 39 42 43 47 51 52 53 54 57 63 69 74 76
a 4 11 16 17 19 21 27 28 33 36 39 42 43 47 51 52 54 57 63 69 73 74 76
a 4 11 16 17 19 21 27 33 36 39 42 43 47 49 51 52 54 57 63 69 73 74 76
a 4 11 14 16 17 19 21 27 33 36 39 42 43 47 49 51 54 57 63 69 73 74 76
a 4 11 14 16 17 19 20 21 27 33 36 39 42 43 47 51 54 57 63 69 73 74 76
a 4 11 14 16 17 19 20 27 33 36 37 39 42 43 47 51 54 57 63 69 73 74 76
a 4 5 11 14 16 17 19 20 27 36 37 39 42 43 47 51 54 57 63 69 73 74 76
a 4 5 14 16 17 19 20 27 28 36 37 39 42 43 47 51 54 57 63 69 73 74 76
a 4 5 14 17 19 20 27 28 31 36 37 39 42 43 47 51 54 57 63 69 73 74 76
a 4 5 14 16 17 19 20 27 28 31 36 37 39 42 43 47 51 54 57 63 69 73 74
a 4 5 14 16 17 19 20 21 27 28 31 36 39 42 43 47 51 54 57 63 69 73 74
a 4 11 14 16 17 19 20 21 27 28 31 36 39 42 43 47 51 54 57 63 69 73 74
a 4 11 14 16 17 19 20 21 27 28 31 39 42 43 47 51 54 55 57 63 69 73 74
a 4 11 14 16 17 19 20 21 27 28 31 39 42 43 47 51 54 55 57 63 69 73 76
a 4 11 14 16 17 19 20 21 27 28 31 39 42 43 47 51 53 54 55 57 63 69 76
a 4 11 14 16 17 19 20 27 28 31 37 39 42 43 47 51 53 54 55 57 63 69 76
a 4 11 14 16 17 19 20 27 28 31 36 37 39 42 43 47 51 53 54 57 63 69 76
a 4 11 13 14 17 19 20 27 28 31 36 37 39 42 43 47 51 53 54 57 63 69 76
a 4 11 13 14 15 17 19 20 27 28 31 36 37 39 42 43 47 51 53 54 57 63 76
a 4 11 13 14 15 17 19 20 27 28 31 36 37 39 42 43 47 53 54 57 63 75 76
a 4 11 13 14 15 19 20 27 28 31 36 37 39 42 43 47 53 54 57 62 63 75 76
a 4 11 13 14 15 19 20 28 31 36 37 39 42 43 47 53 54 57 62 63 64 75 76
a 4 11 13 14 15 19 20 28 31 33 36 37 39 42 43 47 53 54 57 62 63 75 76
a 4 11 13 14 15 19 20 28 31 33 36 37 39 42 43 47 54 57 62 63 73 75 76
a 4 11 13 14 15 19 20 28 31 36 37 39 42 43 47 54 57 62 63 70 73 75 76
a 4 11 13 14 15 19 20 28 31 36 37 39 42 43 47 54 57 62 63 65 70 73 75
a 4 11 13 14 15 19 20 28 31 36 37 39 42 43 47 51 54 57 62 63 65 70 73
a 4 11 13 14 15 19 20 28 31 36 37 39 42 43 47 51 54 57 62 63 64 65 70
a 11 13 14 15 19 20 28 31 36 37 38 39 42 43 47 51 54 57 62 63 64 65 70
a 11 13 14 15 19 20 28 31 36 37 39 42 43 47 51 54 57 62 63 64 65 70 76
a 11 13 14 15 19 20 28 29 31 36 37 39 42 43 47 51 54 57 62 63 64 65 70
a 11 13 14 15 19 20 28 31 36 37 39 42 43 47 51 53 54 57 62 63 64 65 70
a 13 14 15 19 20 22 28 31 36 37 39 42 43 47 51 53 54 57 62 63 64 65 70
a 13 14 19 20 22 28 31 36 37 39 42 43 47 51 53 54 57 62 63 64 65 68 70
a 13 14 19 20 22 28 31 36 37 39 42 43 45 47 51 53 54 57 62 63 64 68 70
a 13 14 19 20 22 28 31 36 37 39 42 43 47 51 53 54 57 62 63 64 68 70 76
a 13 14 19 20 22 28 31 37 39 42 43 47 51 53 54 55 57 62 63 64 68 70 76
a 13 14 19 20 22 28 31 37 38 39 42 43 47 51 53 54 55 57 62 63 64 68 70
a 13 14 19 20 22 28 31 37 39 42 43 47 51 53 54 55 57 62 63 64 68 69 70
a 13 14 19 20 22 28 31 36 37 39 42 43 47 51 53 54 57 62 63 64 68 69 70
a 13 14 19 20 22 28 31 36 37 39 42 43 47 51 53 54 57 62 63 68 69 70 76
a 13 14 19 20 22 28 31 37 39 42 43 47 51 53 54 55 57 62 63 68 69 70 76
a 13 14 19 20 21 22 28 31 39 42 43 47 51 53 54 55 57 62 63 68 69 70 76
a 13 14 19 21 22 28 31 33 39 42 43 47 51 53 54 55 57 62 63 68 69 70 76
a 13 14 19 21 22 28 29 31 33 39 42 43 47 51 54 55 57 62 63 68 69 70 76
a 13 14 19 21 22 29 31 33 39 42 43 47 49 51 54 55 57 62 63 68 69 70 76
a 8 14 19 21 22 29 31 33 39 42 43 47 49 51 54 55 57 62 63 68 69 70 76
a 8 14 19 22 29 31 33 39 42 43 47 49 51 54 55 57 62 63 65 68 69 70 76
a 8 14 19 22 28 29 31 33 39 42 43 47 51 54 55 57 62 63 65 68 69 70 76
a 8 14 19 21 22 28 29 31 33 39 42 43 47 51 54 55 57 62 63 65 68 69 76
a 4 8 14 19 21 22 28 29 31 33 39 42 43 47 51 54 55 57 62 63 65 69 76
a 4 8 14 19 21 22 28 29 31 33 39 42 43 47 51 54 55 57 62 65 69 71 76
a 4 8 14 19 21 22 29 31 33 39 42 43 47 49 51 54 55 57 62 65 69 71 76
a 4 8 14 19 21 22 29 31 33 39 42 43 47 49 51 54 55 62 65 66 69 71 76
a 4 8 14 19 21 22 29 31 33 39 42 43 47 49 51 54 55 62 63 65 66 69 76
a 8 14 19 21 22 29 31 33 39 42 43 47 49 51 54 55 62 63 65 66 69 73 76
a 8 11 14 19 21 29 31 33 39 42 43 47 49 51 54 55 62 63 65 66 69 73 76
a 8 11 12 14 19 21 29 31 33 42 43 47 49 51 54 55 62 63 65 66 69 73 76
a 4 8 11 14 19 21 29 31 33 42 43 47 49 51 54 55 62 63 65 66 69 73 76
a 4 8 11 14 19 21 29 31 42 43 47 49 51 54 55 62 63 64 65 66 69 73 76
a 4 11 14 16 19 21 29 31 42 43 47 49 51 54 55 62 63 64 65 66 69 73 76
a 4 11 14 15 16 19 21 29 31 42 43 47 49 51 54 55 62 63 64 65 66 73 76
a 4 14 15 16 19 21 29 31 39 42 43 47 49 51 54 55 62 63 64 65 66 73 76
a 4 14 15 16 19 21 29 31 38 39 42 43 47 49 51 54 55 62 63 64 65 66 73
a 2 4 14 15 16 21 29 31 38 39 42 43 47 49 51 54 55 62 63 64 65 66 73
a 1 2 4 14 15 16 21 29 31 38 39 42 47 49 51 54 55 62 63 64 65 66 73
a 1 2 4 14 15 16 21 29 31 33 38 39 42 47 49 51 54 55 62 63 65 66 73
a 2 4 14 15 16 21 24 29 31 33 38 39 42 47 49 51 54 55 62 63 65 66 73
a 2 4 14 15 16 21 22 24 29 31 33 38 39 47 49 51 54 55 62 63 65 66 73
a 2 4 14 15 16 21 22 24 27 29 31 33 38 39 47 49 51 54 62 63 65 66 73
a 2 3 4 14 15 16 21 22 24 27 29 31 33 38 39 47 49 51 62 63 65 66 73
a 2 3 4 14 15 16 21 22 24 27 29 31 33 39 47 49 51 55 62 63 65 66 73
a 2 3 4 14 15 16 21 22 27 29 31 33 39 47 49 51 55 62 63 65 66 73 77
a 3 4 14 15 16 19 21 22 27 29 31 33 39 47 49 51 55 62 63 65 66 73 77
a 3 4 14 16 19 21 22 27 29 31 33 39 47 49 51 55 62 63 65 66 73 76 77
a 3 4 14 16 19 21 22 27 29 33 39 47 49 51 55 59 62 63 65 66 73 76 77
a 3 4 14 16 19 21 22 25 27 29 33 39 47 49 51 59 62 63 65 66 73 76 77
a 3 4 14 16 19 21 22 25 27 29 33 39 42 47 49 51 59 62 63 65 66 73 76
a 4 14 16 19 21 22 25 27 29 33 39 42 43 47 49 51 59 62 63 65 66 73 76
a 4 16 19 21 22 25 27 29 33 39 42 43 47 49 51 52 59 62 63 65 66 73 76
a 3 4 16 19 21 22 25 27 29 33 39 42 47 49 51 52 59 62 63 65 66 73 76
a 3 4 16 19 21 22 25 27 33 39 41 42 47 49 51 52 59 62 63 65 66 73 76
a 3 4 16 21 22 25 27 33 39 40 41 42 47 49 51 52 59 62 63 65 66 73 76
a 3 4 16 21 22 25 27 33 34 39 40 41 42 47 49 51 52 59 62 63 65 66 76
a 3 4 16 21 22 25 27 30 33 34 39 40 41 42 47 49 51 52 59 62 65 66 76
a 3 4 16 21 22 25 27 30 33 34 39 40 41 42 47 49 51 52 55 59 62 65 76
a 3 4 16 21 22 25 27 30 33 39 40 41 42 47 49 51 52 55 59 62 65 73 76
a 3 4 16 21 22 25 27 33 39 40 41 42 47 49 51 52 55 59 62 63 65 73 76
a 3 16 21 22 25 27 33 39 40 41 42 47 49 51 52 55 59 62 63 65 69 73 76
a 3 16 21 22 25 27 31 33 39 40 41 42 47 49 51 52 55 62 63 65 69 73 76
a 3 16 21 22 24 25 27 31 33 39 40 41 42 47 49 51 52 55 62 63 65 69 73
a 3 16 21 22 24 25 27 29 31 33 39 40 42 47 49 51 52 55 62 63 65 69 73
a 3 16 21 22 24 25 27 29 30 31 33 39 40 42 47 49 51 52 55 62 65 69 73
a 3 16 21 22 24 25 27 29 30 31 33 39 40 42 47 49 51 52 55 62 65 66 69
a 3 16 21 22 24 25 27 29 30 33 34 39 40 42 47 49 51 52 55 62 65 66 69
a 3 16 22 24 25 27 29 30 33 34 38 39 40 42 47 49 51 52 55 62 65 66 69
a 16 22 24 25 27 29 30 33 34 38 39 40 42 47 49 51 52 54 55 62 65 66 69
a 16 22 24 25 27 29 33 34 38 39 40 42 47 49 51 52 54 55 62 63 65 66 69
a 14 16 22 24 25 27 29 33 34 38 39 40 42 47 49 51 54 55 62 63 65 66 69
a 14 16 22 24 25 27 33 34 38 39 40 41 42 47 49 51 54 55 62 63 65 66 69
a 14 16 22 24 25 27 33 34 38 39 40 41 42 47 51 53 54 55 62 63 65 66 69
a 14 16 21 22 24 25 27 33 34 38 39 40 41 42 47 51 53 54 55 62 63 65 66
a 14 16 22 24 25 27 33 34 37 38 39 40 41 42 47 51 53 54 55 62 63 65 66
a 14 16 22 24 25 27 33 34 37 38 39 40 41 42 47 48 51 53 54 55 62 65 66
a 2 14 16 22 24 25 27 33 34 37 38 39 40 42 47 48 51 53 54 55 62 65 66
a 2 4 14 22 24 25 27 33 34 37 38 39 40 42 47 48 51 53 54 55 62 65 66
a 2 4 8 14 22 24 25 27 33 34 37 38 39 40 42 47 48 51 53 55 62 65 66
a 2 4 8 14 15 22 24 25 27 33 34 37 38 39 40 42 47 48 51 53 55 62 65
a 2 3 4 8 14 15 22 24 25 27 33 34 37 38 40 42 47 48 51 53 55 62 65
a 2 4 8 12 14 15 22 24 25 27 33 34 37 38 40 42 47 48 51 53 55 62 65
a 2 4 8 12 14 15 22 24 25 27 33 34 37 38 42 47 48 51 53 55 57 62 65
a 4 8 12 14 15 22 24 25 27 33 34 37 38 41 42 47 48 51 53 55 57 62 65
a 4 8 12 14 15 22 24 25 27 33 34 37 38 41 42 47 51 53 55 57 62 63 65
a 2 4 8 12 14 15 22 24 25 27 33 34 37 38 42 47 51 53 55 57 62 63 65
a 2 4 8 12 14 15 24 25 27 33 34 37 38 42 47 51 53 55 57 60 62 63 65
a 2 3 4 8 12 15 24 25 27 33 34 37 38 42 47 51 53 55 57 60 62 63 65
a 3 4 8 12 15 24 25 27 33 34 37 38 41 42 47 51 53 55 57 60 62 63 65
a 3 4 8 12 24 25 27 33 34 37 38 41 42 47 51 53 55 57 60 62 63 65 69
a 3 4 12 24 25 27 28 33 34 37 38 41 42 47 51 53 55 57 60 62 63 65 69
a 3 4 12 22 24 25 27 28 33 34 37 38 41 42 47 51 53 55 57 62 63 65 69
a 3 4 8 12 22 24 25 27 28 33 34 37 38 41 42 51 53 55 57 62 63 65 69
a 4 8 12 22 24 25 27 28 33 34 37 38 41 42 51 53 54 55 57 62 63 65 69
a 4 8 22 24 25 27 28 33 34 37 38 39 41 42 51 53 54 55 57 62 63 65 69
a 4 8 22 24 25 27 28 33 34 37 38 39 41 42 47 51 53 54 55 57 62 63 65
a 4 8 14 22 25 27 28 33 34 37 38 39 41 42 47 51 53 54 55 57 62 63 65
a 4 8 14 21 22 25 27 28 33 34 38 39 41 42 47 51 53 54 55 57 62 63 65
a 4 8 14 15 21 22 25 27 28 33 34 38 39 41 42 47 51 53 54 55 57 62 65
a 2 4 8 14 15 21 22 25 27 28 33 34 38 39 42 47 51 53 54 55 57 62 65
a 2 4 8 14 15 21 22 25 27 28 31 33 38 39 42 47 51 53 54 55 57 62 65
a 2 4 8 14 15 21 22 25 27 28 31 33 38 39 42 43 47 51 53 55 57 62 65
a 2 4 8 14 15 21 22 25 27 28 33 38 39 42 43 47 48 51 53 55 57 62 65
a 2 4 8 14 15 21 22 25 27 28 33 38 39 42 43 47 48 51 55 57 62 65 73
a 2 4 8 14 15 21 22 25 27 28 33 38 42 43 47 48 51 54 55 57 62 65 73
a 2 4 8 14 15 21 22 25 27 28 33 38 39 42 43 47 48 51 54 55 57 62 65
a 2 4 8 15 21 22 25 27 28 30 33 38 39 42 43 47 48 51 54 55 57 62 65
a 2 4 8 15 21 22 25 27 28 29 30 33 38 39 42 43 47 48 51 55 57 62 65
a 2 4 8 15 21 22 25 27 29 30 33 38 39 42 43 47 48 49 51 55 57 62 65
a 2 4 8 14 15 21 22 25 27 29 33 38 39 42 43 47 48 49 51 55 57 62 65
a 2 4 8 14 15 21 22 24 25 27 29 33 38 39 42 43 47 49 51 55 57 62 65
a 2 4 8 14 15 21 22 24 25 27 29 33 38 39 42 43 47 49 51 54 55 57 65
a 2 4 8 14 15 21 22 24 25 27 28 29 33 38 39 42 43 47 51 54 55 57 65
a 2 4 8 14 15 21 22 24 25 27 28 29 33 38 39 42 43 47 51 54 55 63 65
a 2 4 8 14 15 21 22 24 25 27 29 33 38 39 42 43 47 51 54 55 62 63 65
a 2 4 8 14 15 21 22 24 25 27 28 29 33 38 39 42 43 47 51 55 62 63 65
a 2 8 14 15 21 22 24 25 27 28 29 33 38 39 42 43 47 51 55 57 62 63 65
a 2 8 14 15 21 22 24 25 27 28 29 33 38 39 42 43 47 51 54 55 57 62 63
a 2 8 14 15 21 22 24 25 27 28 29 31 33 38 39 43 47 51 54 55 57 62 63
a 2 8 14 21 22 24 25 27 28 29 31 33 38 39 42 43 47 51 54 55 57 62 63
a 4 8 14 21 22 24 25 27 28 29 31 33 38 39 42 43 47 51 54 55 57 62 63
a 4 14 21 22 24 25 27 28 29 31 33 38 39 42 43 47 51 54 55 57 62 63 73
a 4 14 15 22 24 25 27 28 29 31 33 38 39 42 43 47 51 54 55 57 62 63 73
a 4 14 15 22 24 25 27 28 29 31 33 38 39 42 43 47 51 54 55 62 63 65 73
a 4 14 15 20 22 24 25 27 28 29 31 33 39 42 43 47 51 54 55 62 63 65 73
a 4 14 15 20 22 24 25 27 28 29 31 33 38 39 42 43 47 51 54 55 62 63 65
a 4 14 15 20 22 24 25 27 28 29 31 33 37 38 39 42 43 47 51 54 55 62 65
a 4 14 15 20 22 24 25 27 28 31 33 37 38 39 42 43 47 51 54 55 57 62 65
a 4 12 14 15 20 22 24 25 27 28 31 33 37 38 42 43 47 51 54 55 57 62 65
a 4 12 14 15 20 22 24 25 27 28 33 37 38 42 43 47 51 53 54 55 57 62 65
a 4 8 12 14 15 22 24 25 27 28 33 37 38 42 43 47 51 53 54 55 57 62 65
a 4 8 12 14 15 22 24 27 28 33 37 38 42 43 47 51 53 54 55 57 62 65 71
a 4 8 12 13 14 15 22 27 28 33 37 38 42 43 47 51 53 54 55 57 62 65 71
a 4 8 12 13 14 15 22 27 28 33 37 38 42 43 44 47 51 53 54 55 57 65 71
a 4 8 11 12 13 14 15 27 28 33 37 38 42 43 44 47 51 53 54 55 57 65 71
a 4 8 11 12 13 14 15 17 27 28 33 37 42 43 44 47 51 53 54 55 57 65 71
a 4 8 11 12 13 14 15 17 27 28 33 37 43 44 47 51 53 54 55 57 65 71 77
a 4 8 11 12 13 15 17 27 28 33 37 43 44 47 51 53 54 55 57 65 71 76 77
a 4 8 11 12 13 15 17 27 28 33 37 44 47 51 53 54 55 57 65 67 71 76 77
a 8 11 12 13 15 17 27 28 33 37 44 47 51 53 54 55 57 58 65 67 71 76 77
a 8 11 12 13 15 17 27 28 33 37 44 51 53 54 55 57 58 65 67 71 76 77 78
a 8 10 11 12 13 15 17 27 28 33 37 44 53 54 55 57 58 65 67 71 76 77 78
c Step: 420
#END: [Tue Sep  5 06:53:56 2023]