#BEGIN: [Mon Sep  4 23:54:53 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#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 /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 503c3233bfd30094c41c3a27e58fa8adf8d87c484d8514a5207479f5b140e1dd
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 11 12 15 17 21 24 27 29 31 36 43 44 47 49 52 57 63 73 75 77
a 4 5 6 11 12 15 17 21 24 27 29 31 36 40 43 44 47 49 52 63 73 75 77
a 4 5 6 12 15 17 21 24 25 27 29 31 36 40 43 44 47 49 52 63 73 75 77
a 4 5 6 12 14 15 17 21 24 25 27 29 31 36 40 43 44 47 49 63 73 75 77
a 4 5 6 11 12 14 15 17 21 24 27 29 31 36 40 43 44 47 49 63 73 75 77
a 4 5 6 11 12 14 15 17 21 24 27 29 31 36 40 42 43 44 47 49 63 73 75
a 4 5 6 11 12 15 17 21 24 27 29 31 36 40 42 43 44 47 49 52 63 73 75
a 4 5 6 11 15 16 17 21 24 27 29 31 36 40 42 43 44 47 49 52 63 73 75
a 4 5 6 15 16 17 21 24 27 29 31 36 40 42 43 44 47 49 52 63 66 73 75
a 4 5 6 15 16 17 21 24 27 29 31 36 39 42 43 44 47 49 52 63 66 73 75
a 5 6 15 16 17 21 24 27 29 31 36 39 40 42 43 44 47 49 52 63 66 73 75
a 6 11 15 16 17 21 24 27 29 31 36 39 40 42 43 44 47 49 52 63 66 73 75
a 4 6 11 15 16 17 21 24 27 29 31 36 39 40 42 43 44 47 49 52 63 66 73
a 4 6 11 15 16 17 21 24 27 29 31 36 39 40 42 43 44 47 52 63 66 73 75
a 4 11 15 16 17 21 24 27 29 31 36 39 40 42 43 44 47 52 54 63 66 73 75
a 4 11 15 16 17 21 24 27 29 31 36 39 40 42 43 44 47 49 54 63 66 73 75
a 4 11 15 16 17 21 24 27 29 31 36 39 42 43 44 47 49 52 54 63 66 73 75
a 4 15 16 17 21 24 25 27 29 31 36 39 42 43 44 47 49 52 54 63 66 73 75
a 4 15 16 17 21 24 25 27 29 31 36 39 40 42 43 44 47 49 52 54 63 66 75
a 4 5 15 16 17 21 24 25 27 29 31 36 39 40 42 43 44 47 49 54 63 66 75
a 5 15 16 17 21 24 25 27 29 31 36 39 40 42 43 44 47 49 54 63 66 73 75
a 15 16 17 21 24 25 27 29 31 36 39 40 42 43 44 47 49 54 63 65 66 73 75
a 16 17 21 24 25 27 29 31 36 39 40 42 43 44 47 49 52 54 63 65 66 73 75
a 6 16 17 21 24 25 27 29 31 36 39 40 42 43 44 47 49 52 63 65 66 73 75
a 4 6 16 17 21 24 25 27 29 31 36 39 40 42 43 44 47 49 52 63 66 73 75
a 4 6 16 17 21 24 25 27 29 31 36 39 40 42 43 44 47 49 52 63 65 66 73
a 4 6 16 17 21 25 27 29 31 36 39 40 42 43 44 47 49 52 63 65 66 73 76
a 6 15 16 17 21 25 27 29 31 36 39 40 42 43 44 47 49 52 63 65 66 73 76
a 4 6 15 16 17 21 25 27 29 31 36 39 40 42 43 44 47 52 63 65 66 73 76
a 4 15 16 17 21 25 27 29 31 33 36 39 40 42 43 44 47 52 63 65 66 73 76
a 4 15 16 17 21 25 27 29 31 33 36 39 40 42 43 44 47 49 52 65 66 73 76
a 4 14 15 16 17 21 25 27 29 31 33 36 39 40 42 43 44 47 49 65 66 73 76
a 4 14 15 16 17 25 27 29 31 33 36 39 40 42 43 44 47 49 65 66 73 75 76
a 4 14 15 16 17 25 27 29 31 33 36 39 40 42 43 44 47 49 63 65 66 73 75
a 14 15 16 17 24 25 27 29 31 33 36 39 40 42 43 44 47 49 63 65 66 73 75
a 14 15 16 17 24 25 27 29 31 33 36 39 40 42 43 44 47 49 54 63 65 66 75
a 14 15 16 17 24 25 27 29 31 33 36 39 40 42 43 44 47 49 51 54 63 65 66
a 14 15 16 22 24 25 27 29 31 33 36 39 40 42 43 44 47 49 51 54 63 65 66
a 4 14 15 22 24 25 27 29 31 33 36 39 40 42 43 44 47 49 51 54 63 65 66
a 4 8 14 15 22 24 25 27 29 31 33 36 39 40 42 43 44 47 49 51 54 63 66
a 4 8 12 14 15 22 24 25 27 29 31 33 36 40 42 43 44 47 49 51 54 63 66
a 4 8 12 14 15 21 24 25 27 29 31 33 36 40 42 43 44 47 49 51 54 63 66
a 4 8 12 14 15 17 21 25 27 29 31 33 36 40 42 43 44 47 49 51 54 63 66
a 2 8 12 14 15 17 21 25 27 29 31 33 36 40 42 43 44 47 49 51 54 63 66
a 2 4 8 14 15 17 21 25 27 29 31 33 36 40 42 43 44 47 49 51 54 63 66
a 2 4 8 12 14 15 17 21 25 27 29 31 33 36 40 42 43 44 47 49 51 54 63
a 2 4 8 12 14 15 17 21 25 27 29 31 33 36 40 42 43 44 47 51 54 63 66
a 2 4 8 12 14 15 21 24 25 27 29 31 33 36 40 42 43 44 47 51 54 63 66
a 2 4 8 14 15 21 24 25 27 29 31 33 36 40 42 43 44 47 49 51 54 63 66
a 4 8 14 15 21 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63 66
a 4 14 15 21 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63 65 66
a 8 14 15 21 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63 65 66
a 8 12 14 15 21 24 25 29 31 33 36 38 40 42 43 44 47 49 51 54 63 65 66
a 4 8 12 14 15 21 24 25 29 31 33 36 38 40 42 43 44 47 49 51 63 65 66
a 4 8 12 15 21 22 24 25 29 31 33 36 38 40 42 43 44 47 49 51 63 65 66
a 4 8 12 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 63 65
a 4 8 12 15 21 22 24 25 27 29 33 36 38 40 42 43 44 47 49 51 54 63 65
a 4 8 12 15 21 22 24 25 27 29 33 36 38 40 42 43 44 47 49 54 63 65 75
a 4 8 12 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 54 63 75
a 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 54 63 75
a 8 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 54 63 65 75
a 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 54 63 65 75
a 4 12 14 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 54 63 65 75
a 4 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 54 63 65
a 4 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 54 65 66
a 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 54 63 65 66
a 4 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 54 63 66
a 4 12 14 15 21 22 24 25 27 29 31 33 38 40 42 43 44 47 49 54 63 66 73
a 4 12 14 15 21 22 24 25 27 31 33 36 38 40 42 43 44 47 49 54 63 66 73
a 4 12 14 15 21 22 24 25 27 31 33 36 38 40 42 43 44 47 49 51 54 63 73
a 4 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63
a 4 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 63
a 4 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 63 65
a 4 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 51 63 65
a 4 8 12 14 15 21 22 24 25 27 31 33 36 38 40 42 43 44 47 49 51 63 65
a 4 8 12 14 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 63 65
a 4 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 65
a 2 4 8 12 14 15 21 22 24 25 27 31 33 36 38 40 42 43 44 47 49 51 65
a 2 4 8 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 65
a 2 4 8 14 15 21 22 24 25 27 28 29 31 33 36 38 40 42 43 44 47 51 65
a 2 4 8 14 15 21 22 24 25 27 28 29 31 33 35 36 38 40 42 43 44 47 65
a 2 4 8 14 15 21 22 24 25 27 28 31 33 35 36 38 40 42 43 44 47 63 65
a 2 4 8 14 15 21 22 24 25 27 28 31 33 35 36 38 40 42 43 47 54 63 65
a 4 8 12 14 15 21 22 24 25 27 28 31 33 35 36 38 40 42 43 47 54 63 65
a 4 8 12 14 15 21 22 24 25 27 28 29 31 33 35 36 38 40 42 43 47 54 63
a 4 8 12 14 15 21 24 25 27 28 29 31 33 35 36 38 40 42 43 47 54 63 65
a 4 8 12 14 15 21 22 24 25 27 28 29 31 33 35 36 38 40 42 43 54 63 65
a 4 8 12 14 15 21 22 24 25 27 28 29 31 33 35 36 38 40 42 43 63 65 73
a 4 8 12 14 15 21 22 24 25 27 28 29 31 33 35 36 38 40 42 54 63 65 73
a 4 8 12 14 15 21 22 24 25 27 28 29 31 33 35 36 38 40 42 63 65 73 75
a 4 8 12 14 15 21 22 24 25 27 28 29 31 33 35 36 38 40 42 54 63 65 75
a 4 12 14 15 21 22 24 25 27 28 29 31 33 35 36 38 40 42 44 54 63 65 75
a 4 12 14 15 21 22 24 25 27 28 29 31 33 35 36 38 40 42 54 63 65 73 75
a 4 12 14 15 21 22 24 25 27 28 29 31 33 35 36 38 40 42 43 63 65 73 75
a 4 12 14 15 21 22 24 25 27 29 31 33 35 36 38 40 42 43 44 63 65 73 75
a 4 12 14 15 21 22 24 27 29 31 33 35 36 38 40 42 43 44 54 63 65 73 75
a 4 10 12 14 15 21 22 24 27 29 31 33 35 36 38 40 43 44 54 63 65 73 75
a 4 10 14 15 16 21 22 24 27 29 31 33 35 36 38 40 43 44 54 63 65 73 75
a 4 10 14 15 16 18 21 22 24 27 29 31 33 35 36 38 40 43 44 63 65 73 75
a 4 14 15 16 18 21 22 24 27 28 29 31 33 35 36 38 40 43 44 63 65 73 75
a 4 14 15 16 18 21 22 24 27 28 31 33 35 36 38 39 40 43 44 63 65 73 75
a 4 14 15 16 18 21 22 24 28 31 33 35 36 38 39 40 43 44 63 65 70 73 75
a 4 14 15 16 18 21 22 24 28 31 35 36 38 39 40 43 44 63 64 65 70 73 75
a 4 14 15 16 18 21 22 24 29 31 35 36 38 39 40 43 44 63 64 65 70 73 75
a 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 63 64 65 70 73 75
a 14 15 16 18 21 22 28 29 31 35 36 38 39 40 43 44 50 63 64 65 70 73 75
a 14 15 16 18 21 24 28 29 31 35 36 38 39 40 43 44 50 63 64 65 70 73 75
a 4 14 15 16 18 21 24 28 29 31 35 36 38 39 40 43 44 50 64 65 70 73 75
a 4 14 15 16 18 21 24 28 29 31 35 36 38 39 40 43 44 50 63 64 70 73 75
a 4 14 15 16 18 21 24 28 31 35 36 38 39 40 43 44 50 63 64 65 70 73 75
a 4 14 15 16 18 21 22 24 31 35 36 38 39 40 43 44 50 63 64 65 70 73 75
a 14 15 16 18 21 22 24 28 31 35 36 38 39 40 43 44 50 63 64 65 70 73 75
a 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 64 70 73 75
a 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 64 70 75
a 10 11 14 15 16 18 21 24 28 29 31 35 36 38 39 40 43 44 50 63 64 70 75
a 11 14 15 16 18 21 24 28 29 31 35 36 38 39 40 43 44 50 63 64 65 70 75
a 10 14 15 16 18 21 24 28 29 31 35 36 38 39 40 43 44 50 63 64 65 70 75
a 4 14 15 16 18 21 24 28 29 31 35 36 38 39 40 43 44 50 63 64 65 70 75
a 4 10 14 15 16 18 21 24 28 29 31 35 36 38 39 40 43 44 50 63 64 65 70
a 4 6 10 15 16 18 21 24 28 29 31 35 36 38 39 40 43 44 50 63 64 65 70
a 4 6 10 15 16 18 21 24 29 31 35 36 38 39 40 43 44 50 52 63 64 65 70
a 6 10 15 16 18 21 24 29 31 35 36 38 39 40 43 44 50 52 63 64 65 70 78
a 6 10 15 16 18 21 24 29 31 35 36 38 39 40 43 44 50 52 63 64 65 70 75
a 6 10 15 16 18 21 22 24 31 35 36 38 39 40 43 44 50 52 63 64 65 70 75
a 6 10 15 16 18 21 22 24 29 31 35 36 38 40 43 44 50 52 63 64 65 70 75
a 10 15 16 18 21 22 24 29 31 35 36 38 39 40 43 44 50 52 63 64 65 70 75
a 6 10 15 16 18 21 22 29 31 35 36 38 39 40 43 44 50 52 63 64 65 70 75
a 6 10 16 18 21 22 24 29 31 35 36 38 39 40 43 44 50 52 63 64 65 70 75
a 6 10 15 16 18 21 22 24 29 31 35 36 38 39 40 43 44 50 52 63 64 65 70
a 4 6 10 15 16 18 21 22 24 29 31 35 36 39 40 43 44 50 52 63 64 65 70
a 4 6 10 15 16 18 21 22 24 29 31 35 36 38 39 40 43 44 50 63 64 65 70
a 4 6 15 16 18 21 22 24 29 31 35 36 38 39 40 43 44 50 52 63 64 65 70
a 4 6 10 15 16 18 21 22 24 31 35 36 38 39 40 43 44 50 52 63 64 65 70
a 4 6 10 15 16 18 21 22 24 28 31 35 36 38 39 40 43 44 50 52 63 64 65
a 4 6 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 52 63 64 65
a 4 6 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 52 63 64 65 75
a 6 10 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 52 63 64 65 75
a 6 10 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 52 63 64 75
a 6 10 15 16 18 21 22 24 28 29 31 35 36 38 39 43 44 50 52 63 64 65 75
a 6 10 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 64 65 75
a 6 10 15 16 18 21 24 28 29 31 35 36 38 39 40 43 44 50 52 63 64 65 75
a 6 10 15 16 18 21 22 24 29 31 35 36 38 39 40 43 44 50 52 63 64 65 75
a 6 10 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 52 63 65 75
a 6 10 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 50 52 63 64 65 75
a 4 6 10 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 50 52 63 64 65
a 4 10 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 52 63 64 65
a 4 6 10 15 16 18 21 22 24 28 29 31 35 36 39 40 43 44 50 52 63 64 65
a 4 6 10 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 52 64 65
a 4 6 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 64 65
a 4 6 10 14 15 16 18 21 22 24 28 29 31 35 36 38 40 43 44 50 63 64 65
a 4 6 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 64
a 2 4 6 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 64
a 4 6 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 64 75
a 6 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 64 75
a 4 6 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 64 75
a 4 6 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 64 70
a 4 6 10 14 15 16 18 21 22 28 29 31 35 36 38 39 40 43 44 50 63 64 70
a 4 6 10 14 15 16 18 21 22 28 29 31 35 36 38 39 40 43 44 50 63 64 65
a 4 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 64 65
a 4 6 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 65
a 4 6 10 14 15 16 18 22 24 28 29 31 35 36 38 39 40 43 44 50 63 65 75
a 4 6 10 14 15 16 18 22 24 28 29 31 35 36 38 39 40 44 50 63 65 70 75
a 4 6 10 14 15 16 18 22 24 28 29 31 35 36 38 39 40 43 50 63 65 70 75
a 4 6 10 14 15 16 18 22 24 28 29 31 35 36 38 39 40 43 44 50 63 65 70
a 4 6 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 65 70
a 6 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 65 70
a 4 6 10 14 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 65 70
a 4 6 10 14 16 18 21 22 24 28 29 31 35 36 38 39 40 43 50 63 64 65 70
a 4 6 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 50 63 65 70
a 4 6 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 50 63 64 65 70
a 4 6 10 14 15 16 18 21 22 24 29 31 35 36 38 39 40 43 50 63 64 65 70
a 4 6 10 14 15 16 18 21 22 24 28 29 31 35 36 39 40 43 50 63 64 65 70
a 4 10 14 15 16 18 21 22 24 28 29 31 35 36 39 40 43 44 50 63 64 65 70
a 4 7 10 14 15 16 18 21 22 24 28 29 31 35 36 39 40 43 44 50 64 65 70
a 4 6 7 10 14 15 16 18 21 22 24 28 29 31 35 36 39 40 43 44 64 65 70
a 4 6 7 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 65 70
a 4 6 7 10 14 15 16 18 21 22 28 29 31 35 36 38 39 40 43 44 64 65 70
a 4 6 7 10 14 15 16 21 22 28 29 31 35 36 38 39 40 43 44 50 64 65 70
a 4 6 7 10 14 15 16 21 22 24 28 31 35 36 38 39 40 43 44 50 64 65 70
a 4 6 7 14 15 16 18 21 22 24 28 31 35 36 38 39 40 43 44 50 64 65 70
a 6 7 10 14 15 16 18 21 22 24 28 31 35 36 38 39 40 43 44 50 64 65 70
a 6 7 10 14 15 16 18 21 22 28 29 31 35 36 38 39 40 43 44 50 64 65 70
a 6 7 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 64 65
a 4 6 7 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 64
a 4 6 7 10 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 64 73
a 4 6 7 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 44 50 64 73
a 4 6 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 44 50 63 64 73
a 6 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 64 73
a 6 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 64 70
a 10 14 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 64 70 73
a 6 10 14 15 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 64 70 73
a 4 6 10 14 15 18 21 22 24 28 31 35 36 38 39 40 43 44 50 63 64 70 73
a 2 4 6 10 14 15 18 21 22 24 28 31 36 38 39 40 43 44 50 63 64 70 73
a 2 6 10 14 15 18 21 22 24 28 31 35 36 38 39 40 43 44 50 63 64 70 73
a 2 4 6 10 14 15 18 21 22 24 28 31 35 38 39 40 43 44 50 63 64 70 73
a 4 6 10 14 15 18 21 22 24 28 31 35 38 39 40 43 44 50 63 64 70 73 75
a 4 6 10 15 18 21 22 24 28 31 35 36 38 39 40 43 44 50 63 64 70 73 75
a 6 10 15 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 64 70 73 75
a 6 10 15 16 18 21 22 24 28 31 35 36 38 39 40 43 44 50 63 64 70 73 75
a 6 10 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 64 70 73 75
a 6 10 15 16 18 21 22 24 28 29 31 35 38 39 40 43 44 50 63 64 70 73 75
a 10 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 64 70 73 75
a 10 15 16 18 21 22 24 28 29 31 35 36 38 39 40 43 44 50 63 65 70 73 75
a 10 15 16 21 22 24 28 29 31 35 36 38 39 40 43 44 50 54 63 65 70 73 75
a 15 16 21 22 24 28 29 31 35 36 38 39 40 42 43 44 50 54 63 65 70 73 75
a 15 16 21 22 24 25 28 29 31 35 36 38 39 40 42 43 44 50 54 63 65 73 75
a 15 16 21 22 24 25 27 28 29 31 35 36 38 39 40 42 43 44 54 63 65 73 75
a 15 16 21 22 25 27 28 29 31 33 35 36 38 39 40 42 43 44 54 63 65 73 75
a 4 15 16 21 22 25 28 29 31 33 35 36 38 39 40 42 43 44 54 63 65 73 75
a 4 15 16 21 22 25 27 28 29 31 33 35 36 38 39 40 42 43 44 54 63 65 75
a 15 16 21 22 25 27 28 29 31 33 35 36 38 39 40 42 43 44 47 54 63 65 75
a 4 15 16 21 22 25 27 28 29 33 35 36 38 39 40 42 43 44 47 54 63 65 75
a 4 15 16 21 22 24 25 27 28 29 35 36 38 39 40 42 43 44 47 54 63 65 75
a 4 15 16 21 22 24 25 27 28 29 35 36 38 39 40 42 43 47 54 62 63 65 75
a 4 14 15 16 21 22 24 25 27 28 35 36 38 39 40 42 43 47 54 62 63 65 75
a 4 14 16 21 22 24 25 27 28 29 35 36 38 39 40 42 43 47 54 62 63 65 75
a 4 14 16 21 22 24 25 27 29 35 36 38 39 40 42 43 47 49 54 62 63 65 75
a 4 14 15 16 21 22 24 25 27 29 35 36 38 39 40 43 47 49 54 62 63 65 75
a 14 15 16 21 22 24 25 27 29 35 36 38 39 40 42 43 47 49 54 62 63 65 75
a 2 14 15 16 21 22 24 25 27 29 35 36 38 39 40 42 43 47 49 54 62 63 65
a 2 4 14 15 16 21 22 24 25 27 29 35 36 39 40 42 43 47 49 54 62 63 65
a 2 4 14 15 16 21 22 24 25 27 29 33 35 36 39 40 42 43 49 54 62 63 65
a 2 4 14 15 16 21 22 24 25 27 29 33 35 36 38 39 40 42 43 49 54 62 65
a 2 4 14 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 49 54 62 65
a 2 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 49 52 54 62 65
a 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 49 52 54 62 63 65
a 4 15 16 22 24 25 27 29 31 33 36 38 39 40 42 43 49 51 52 54 62 63 65
a 4 15 16 22 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63 65
a 4 15 16 21 22 25 27 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63 65
a 4 15 16 21 22 25 27 29 31 33 36 38 39 40 42 47 49 51 52 54 62 63 65
a 4 15 16 21 22 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62 63 65
a 4 15 16 21 22 25 27 29 31 33 36 38 39 40 42 43 47 49 51 52 54 62 65
a 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 51 52 54 62 65
a 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 51 52 54 62 65 73
a 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 51 52 62 65 66 73
a 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 51 52 62 63 65 66
a 14 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 47 51 62 63 65 66
a 14 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 51 54 62 63 65 66
a 14 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 51 54 62 63 65 73
a 14 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 51 54 63 65 73
a 14 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 49 51 54 63 65 73
a 14 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 73
a 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 73
a 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 66 73
a 16 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 66 73
a 16 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 65 66
a 16 21 22 24 25 27 29 31 33 36 39 40 42 43 44 47 49 51 52 54 63 65 66
a 16 21 22 24 25 27 29 31 36 38 39 40 42 43 44 47 49 51 52 54 63 65 66
a 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 65
a 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63
a 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 63 73
a 15 16 21 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54 63 73
a 15 16 21 24 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 73
a 15 16 21 22 24 25 27 29 30 31 33 36 38 39 40 42 44 47 49 51 52 54 73
a 15 16 21 22 24 25 27 29 30 33 36 38 39 40 42 43 44 47 49 51 52 54 73
a 15 16 21 22 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 73
a 4 15 21 22 25 27 29 30 31 33 36 38 39 40 42 43 44 47 49 51 52 54 73
a 4 15 16 21 22 25 27 29 30 31 33 36 38 40 42 43 44 47 49 51 52 54 73
a 4 16 21 22 24 25 27 29 30 31 33 36 38 40 42 43 44 47 49 51 52 54 73
a 4 15 16 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 52 54 73
a 4 15 16 21 22 24 25 27 30 31 33 36 38 40 42 43 44 47 49 51 52 54 73
a 4 15 16 21 22 24 25 27 29 30 31 33 36 38 40 42 43 44 47 49 51 52 54
a 4 15 16 21 22 24 25 27 29 30 31 33 38 40 42 43 44 47 49 51 52 54 66
a 4 15 16 21 22 24 25 27 29 30 31 33 38 39 40 42 43 44 47 49 51 52 54
a 4 15 16 21 22 24 25 27 29 30 31 33 38 39 40 42 43 44 47 49 51 52 73
a 4 15 16 21 22 24 25 27 29 31 33 38 39 40 42 43 44 47 49 51 52 63 73
a 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 63
a 4 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 52 54
a 4 14 15 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54
a 2 4 14 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54
a 2 4 14 16 21 22 24 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 65
a 2 4 14 16 21 22 24 25 29 31 33 36 38 39 40 42 43 44 47 49 51 54 65
a 2 4 14 16 21 22 24 25 27 29 31 33 36 38 39 40 42 44 47 49 51 54 65
a 2 4 16 21 22 24 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 65
a 2 4 14 16 21 22 25 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 65
a 2 4 14 16 21 22 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 65 66
a 2 4 14 16 21 22 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 66
a 2 4 14 16 22 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 65 66
a 2 14 16 21 22 27 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 65 66
a 2 14 15 16 21 22 27 29 31 33 36 38 39 42 43 44 47 49 51 54 63 65 66
a 2 14 16 21 22 24 27 29 31 33 36 38 39 42 43 44 47 49 51 54 63 65 66
a 2 14 16 21 22 24 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63 65 66
a 2 14 16 21 22 24 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 65 66
a 2 14 15 16 21 22 24 29 31 33 36 38 39 40 42 43 44 47 49 51 63 65 66
a 2 14 15 21 22 24 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 65 66
a 2 14 15 21 22 25 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 65 66
a 2 14 15 21 22 25 29 31 36 38 39 40 42 43 44 47 49 51 54 63 65 66 73
a 2 14 15 21 22 25 29 31 33 36 38 39 40 42 43 44 47 49 51 54 63 65 73
a 2 12 14 15 21 22 25 29 31 33 36 38 40 42 43 44 47 49 51 54 63 65 73
a 2 8 12 14 15 21 22 25 31 33 36 38 40 42 43 44 47 49 51 54 63 65 73
a 2 12 14 15 21 22 25 27 31 33 36 38 40 42 43 44 47 49 51 54 63 65 73
a 2 12 14 15 21 22 24 25 27 31 33 36 38 40 42 43 44 47 49 51 54 63 65
a 2 12 14 15 21 22 24 25 27 31 33 36 38 40 42 43 44 47 49 51 63 65 73
a 2 12 14 15 21 22 24 25 27 31 33 36 40 42 43 44 47 49 51 54 63 65 73
a 2 4 12 14 15 21 22 24 25 27 31 33 36 42 43 44 47 49 51 54 63 65 73
a 4 8 12 14 15 21 22 24 25 27 31 33 36 42 43 44 47 49 51 54 63 65 73
a 4 8 12 14 15 21 22 24 25 27 29 31 33 36 42 43 44 47 49 51 63 65 73
a 4 8 12 14 15 21 22 24 25 27 29 31 33 36 40 42 43 44 47 49 63 65 73
a 4 8 12 14 15 21 22 24 25 27 29 31 33 36 40 42 43 44 47 49 51 63 73
a 4 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 73
a 4 8 12 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 73
a 4 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54
a 4 8 12 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63
a 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63
a 4 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 49 51 54 63
a 4 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 51 54 63
a 4 8 12 14 15 21 22 24 25 27 29 31 33 36 38 42 43 44 47 49 51 54 63
a 4 8 12 14 15 21 22 24 25 27 29 31 33 36 38 42 44 47 49 51 54 63 66
a 4 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 44 47 49 51 54 63 66
a 4 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 49 51 54 63 66
a 4 12 14 15 21 22 24 25 27 29 31 33 36 38 40 43 44 47 49 51 54 63 66
a 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63 66
a 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63 66 73
a 4 14 15 21 22 24 25 27 29 31 33 36 40 42 43 44 47 49 51 54 63 66 73
a 4 8 14 15 21 22 24 25 27 29 31 33 36 40 42 43 44 47 49 51 54 63 73
a 8 12 14 15 21 22 24 25 27 29 31 33 36 40 42 43 44 47 49 51 54 63 73
a 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 47 49 51 54 63 73
a 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 63 73
a 8 12 14 15 21 22 24 25 27 29 33 36 38 40 42 43 44 47 49 51 54 63 73
a 12 14 15 21 22 24 25 27 29 33 36 38 40 42 43 44 47 49 51 54 63 66 73
a 12 14 15 21 22 24 25 29 31 33 36 38 40 42 43 44 47 49 51 54 63 66 73
a 4 14 15 21 22 24 25 29 31 33 36 38 40 42 43 44 47 49 51 54 63 66 73
a 4 12 14 15 21 22 24 25 29 31 33 36 38 40 42 43 44 47 49 51 54 63 66
a 4 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 66
a 2 4 12 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 66
a 2 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 66
a 2 4 12 14 15 21 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 66
a 2 4 12 14 15 21 24 25 29 31 33 36 38 40 42 43 44 47 49 51 54 63 66
a 2 4 12 14 15 21 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63
a 2 4 8 14 15 21 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63
a 2 4 8 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54
a 2 4 8 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 49 51 54 63
a 2 8 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63
a 2 8 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 63 73
a 8 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63 73
a 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63 73
a 4 12 14 15 21 22 24 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63 73
a 4 12 14 15 21 22 24 25 29 31 33 36 38 40 42 43 44 47 49 51 54 63 73
a 4 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 73
a 2 4 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 73
a 2 4 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 44 47 49 51 54 73
a 2 4 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54
a 2 4 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 51 54 73
a 2 4 12 14 15 21 22 24 25 29 31 33 36 38 40 42 43 44 47 51 54 63 73
a 2 4 12 14 15 21 22 24 25 29 31 33 38 40 42 43 44 47 49 51 54 63 73
a 2 12 14 15 21 22 24 25 29 31 33 36 38 40 42 43 44 47 49 51 54 63 73
a 2 12 14 15 21 22 25 29 31 33 36 38 40 42 43 44 47 49 51 54 63 66 73
a 12 14 15 21 22 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63 66 73
a 2 14 15 21 22 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63 66 73
a 2 4 14 15 21 22 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 66 73
a 4 8 14 15 21 22 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 66 73
a 4 8 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 73
a 4 8 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63
a 4 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 54 63
a 4 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 44 47 49 51 54 63
a 2 4 8 12 14 15 21 22 24 25 27 31 33 36 38 40 42 44 47 49 51 54 63
a 2 4 8 12 14 15 21 22 24 25 27 31 33 36 38 40 42 43 47 49 51 54 63
a 2 4 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 49 51 54 63
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 49 51 54 63 65
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 49 51 54 63 65 66
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 44 49 51 54 65 66
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 49 51 54 65
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 49 54 63 65
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 49 51 54 63
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 40 42 43 44 49 51 54 63 73
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 44 49 51 54 63 73
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 49 51 54 63 73
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 38 42 43 44 49 51 54 63 73
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 38 42 43 44 47 49 54 63 73
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 38 42 43 44 47 49 63 66 73
a 2 8 12 14 15 21 22 24 25 27 29 31 33 38 42 43 44 47 49 63 65 66 73
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 38 42 43 44 47 49 63 65 66
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 63 65
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 49 54 65
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 54 65 66
a 2 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 54 63 66
a 2 8 12 14 15 21 22 24 25 29 31 33 36 38 40 42 43 44 47 54 63 66 73
a 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 54 63 66 73
a 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 51 54 63 66
a 8 12 15 21 22 24 25 27 29 31 33 36 38 40 42 43 44 47 51 54 63 65 66
a 8 12 15 22 24 25 27 29 31 33 36 37 38 40 42 43 44 47 51 54 63 65 66
a 8 12 15 22 24 25 27 28 29 31 33 36 37 38 40 42 43 44 47 51 54 63 65
a 8 12 15 22 24 25 27 28 29 31 33 37 38 40 42 43 44 47 51 54 55 63 65
a 8 12 15 22 24 25 27 28 29 31 33 37 38 42 43 44 47 51 54 55 57 63 65
a 8 12 15 22 24 25 27 28 29 31 33 37 38 42 43 44 51 54 55 57 63 65 78
a 8 12 13 15 22 25 27 28 29 31 33 37 38 42 43 44 51 54 55 57 63 65 78
a 8 12 13 15 22 25 27 28 29 31 33 37 42 43 44 51 54 55 57 63 65 76 78
a 8 12 13 15 22 25 27 28 31 33 37 42 43 44 51 53 54 55 57 63 65 76 78
a 8 12 13 15 17 25 27 28 31 33 37 42 43 44 51 53 54 55 57 63 65 76 78
a 8 11 12 13 15 17 27 28 31 33 37 42 43 44 51 53 54 55 57 63 65 76 78
a 8 11 12 13 15 17 27 28 31 33 37 42 43 44 51 53 54 55 57 65 71 76 78
a 8 11 12 13 15 17 27 28 31 33 37 43 44 51 53 54 55 57 58 65 71 76 78
a 8 11 12 13 15 17 27 28 31 33 37 44 51 53 54 55 57 58 65 71 76 77 78
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: 395
#END: [Tue Sep  5 00:24:54 2023]