#BEGIN: [Mon Sep  4 21:51:00 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-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 --ulimit cpu=1800 -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
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 2 4 5 6 12 15 17 21 24 25 27 28 29 31 36 43 44 47 52 57 63 73 77
a 2 4 5 6 12 15 17 21 24 25 27 28 29 31 36 42 43 44 47 52 57 63 73
a 2 4 5 6 12 15 17 21 24 25 27 28 29 31 36 42 43 44 51 52 57 63 73
a 2 4 5 6 12 15 17 21 24 25 27 28 29 31 36 43 44 51 52 57 63 73 77
a 2 5 6 12 15 17 21 24 25 27 28 29 31 36 43 44 47 51 52 57 63 73 77
a 2 5 6 12 15 17 18 21 24 27 28 29 31 36 43 44 47 51 52 57 63 73 77
a 2 5 6 12 14 15 17 18 21 24 27 28 29 31 36 43 44 47 51 57 63 73 77
a 2 4 5 6 12 14 15 17 18 21 24 27 28 29 31 36 43 47 51 57 63 73 77
a 2 4 5 6 12 14 15 17 21 24 27 28 29 31 36 43 44 47 51 57 63 73 77
a 2 4 5 6 8 12 14 15 17 21 27 28 29 31 36 43 44 47 51 57 63 73 77
a 2 4 6 8 12 14 15 17 21 24 27 28 29 31 36 43 44 47 51 57 63 73 77
a 2 4 6 8 12 14 15 17 21 24 27 28 29 31 36 42 43 44 47 51 57 63 73
a 2 4 5 6 8 12 14 15 17 21 24 27 28 29 31 36 42 43 44 47 51 63 73
a 2 4 5 6 8 12 14 15 17 21 24 27 28 29 31 36 43 44 47 51 63 73 77
a 2 4 5 6 8 12 14 15 17 21 24 25 27 28 29 31 43 44 47 51 63 73 77
a 2 4 5 6 8 12 14 15 17 21 24 25 27 28 29 31 43 44 47 51 57 63 73
a 2 4 5 6 12 14 15 17 21 24 25 27 28 29 31 43 44 47 51 57 63 73 77
a 2 4 5 6 8 12 14 15 17 21 25 27 28 29 31 43 44 47 51 57 63 73 77
a 2 4 5 6 8 12 14 15 17 21 25 26 27 28 29 31 43 47 51 57 63 73 77
a 2 4 5 6 8 12 14 15 17 21 25 26 27 28 29 31 43 47 57 63 73 76 77
a 2 4 5 6 8 12 14 15 17 21 25 26 27 28 29 31 36 43 57 63 73 76 77
a 2 4 5 6 8 12 14 15 17 21 25 26 27 29 31 36 43 47 57 63 73 76 77
a 2 4 5 6 8 12 14 15 17 21 25 26 27 29 31 36 43 47 51 63 73 76 77
a 2 4 5 6 8 12 13 14 15 17 21 25 26 27 29 36 43 47 51 63 73 76 77
a 2 4 5 6 8 12 13 14 15 17 21 25 26 29 31 36 43 47 51 63 73 76 77
a 2 4 5 6 8 12 13 14 15 17 21 25 26 27 29 31 36 43 47 51 63 73 76
a 2 4 5 6 8 12 13 14 15 17 21 25 26 27 29 31 36 47 51 57 63 73 76
a 2 4 5 6 8 12 13 14 15 17 21 25 26 27 29 31 36 43 47 51 57 73 76
a 2 4 5 6 8 12 13 14 15 17 21 25 27 29 31 36 43 44 47 51 57 73 76
a 2 4 5 6 8 12 13 14 15 17 21 25 27 29 31 36 43 44 47 51 63 73 76
a 2 4 5 6 8 12 13 14 15 17 25 27 29 31 36 37 43 44 47 51 63 73 76
a 2 4 5 6 8 12 13 14 15 17 25 27 29 31 36 37 43 44 47 51 63 73 77
a 2 4 5 6 8 12 14 15 17 25 27 28 29 31 36 37 43 44 47 51 63 73 77
a 2 4 5 6 8 12 14 15 17 27 28 29 31 36 37 43 44 47 51 63 73 76 77
a 4 5 6 8 11 12 14 15 17 27 28 29 31 36 37 43 44 47 51 63 73 76 77
a 4 5 6 11 12 14 15 17 18 27 28 29 31 36 37 43 44 47 51 63 73 76 77
a 4 5 6 11 14 15 17 18 27 28 29 31 36 37 43 44 47 51 57 63 73 76 77
a 4 5 6 11 14 15 17 18 27 28 29 31 36 37 43 44 47 57 63 73 75 76 77
a 4 5 6 11 14 15 16 17 18 27 28 29 31 36 37 43 44 47 57 63 73 75 76
a 4 5 6 11 14 15 16 17 27 28 29 31 36 37 43 44 47 57 63 73 75 76 77
a 4 5 6 11 14 15 16 17 18 27 28 31 36 37 43 44 47 57 63 73 75 76 77
a 4 5 6 11 14 15 16 17 18 27 28 29 31 36 37 43 44 47 57 63 73 76 77
a 4 5 6 11 14 15 16 17 18 27 28 29 31 36 37 43 44 47 57 63 73 74 76
a 4 5 6 11 14 15 16 17 18 27 28 29 31 36 37 43 44 57 63 73 74 76 77
a 4 5 6 11 15 16 17 18 27 28 29 31 36 37 43 44 57 63 73 74 75 76 77
a 4 5 6 11 15 16 17 27 28 29 31 36 37 43 44 47 57 63 73 74 75 76 77
a 4 5 6 11 14 15 16 17 27 28 29 31 36 43 44 47 57 63 73 74 75 76 77
a 4 5 6 11 14 15 16 17 21 27 28 29 31 36 43 44 47 57 63 73 74 75 77
a 4 5 6 11 15 16 17 18 21 27 28 29 31 36 43 44 47 57 63 73 74 75 77
a 4 5 6 11 15 16 17 18 21 24 27 28 29 31 36 44 47 57 63 73 74 75 77
a 4 5 6 11 15 16 17 18 21 24 27 28 29 31 36 44 47 52 57 63 73 74 77
a 4 5 11 15 16 17 18 21 24 27 28 29 31 36 44 47 52 57 61 63 73 74 77
a 4 5 11 15 16 17 21 24 27 28 29 31 36 44 47 52 54 57 61 63 73 74 77
a 4 5 11 15 16 17 21 24 27 28 29 31 36 44 47 52 54 57 61 63 73 74 75
a 4 5 15 16 17 21 24 25 27 28 29 31 36 44 47 52 54 57 61 63 73 74 75
a 4 5 15 16 17 21 24 25 27 28 29 31 36 43 44 47 52 54 57 61 63 74 75
a 4 5 15 16 17 21 25 27 28 29 31 36 43 44 47 52 54 57 61 63 73 74 75
a 4 5 15 16 17 21 24 25 27 28 29 31 36 43 44 52 54 57 61 63 73 74 75
a 4 5 15 16 17 21 25 27 28 29 31 36 42 43 44 52 54 57 61 63 73 74 75
a 4 5 16 17 21 25 27 28 29 31 36 42 43 44 47 52 54 57 61 63 73 74 75
a 4 5 15 16 17 21 25 27 28 29 31 36 42 44 47 52 54 57 61 63 73 74 75
a 4 5 15 16 17 21 25 27 28 29 31 36 42 43 44 47 52 54 57 61 63 73 74
a 4 15 16 17 21 25 27 28 29 31 36 42 43 44 47 52 54 57 61 63 73 74 75
a 4 5 15 16 17 25 27 28 29 31 36 42 43 44 47 52 54 57 61 63 73 74 75
a 4 5 15 16 17 21 25 27 28 29 31 36 42 43 44 47 52 57 61 63 73 74 75
a 4 15 16 17 21 24 25 27 28 29 31 36 42 43 44 47 52 57 61 63 73 74 75
a 4 5 15 16 17 21 24 25 27 28 29 31 36 43 44 47 52 57 61 63 73 74 75
a 4 5 15 16 17 21 24 25 27 28 29 36 43 44 47 52 57 61 63 73 74 75 77
a 4 5 15 16 17 21 24 25 27 28 29 31 36 43 44 47 52 57 61 73 74 75 77
a 4 5 15 16 17 21 24 25 27 28 29 31 36 44 47 52 54 57 61 73 74 75 77
a 4 5 15 17 21 24 25 27 28 29 31 36 43 44 47 52 54 57 61 73 74 75 77
a 4 5 15 16 17 24 25 27 28 29 31 36 43 44 47 52 54 57 61 73 74 75 77
a 4 5 16 17 21 24 25 27 28 29 31 36 43 44 47 52 54 57 61 73 74 75 77
a 4 5 16 17 21 24 25 27 28 29 31 36 44 47 52 54 57 61 63 73 74 75 77
a 4 5 15 16 17 21 24 25 27 29 31 36 44 47 52 54 57 61 63 73 74 75 77
a 4 5 15 16 17 21 24 25 27 29 31 36 39 44 47 52 54 61 63 73 74 75 77
a 4 5 15 16 17 24 25 27 29 31 36 39 43 44 47 52 54 61 63 73 74 75 77
a 4 5 15 16 17 21 25 27 29 31 36 39 43 44 47 52 54 61 63 73 74 75 77
a 4 5 15 16 17 21 25 28 29 31 36 39 43 44 47 52 54 61 63 73 74 75 77
a 4 5 15 16 17 21 25 27 28 29 31 36 39 43 44 47 52 54 61 63 73 75 77
a 2 4 5 15 16 17 21 25 27 28 29 31 36 39 43 44 47 52 54 61 63 73 77
a 2 4 5 15 16 17 24 25 27 28 29 31 36 39 43 44 47 52 54 61 63 73 77
a 2 4 5 15 16 17 24 25 27 28 29 30 31 36 39 43 44 47 52 54 61 73 77
a 2 4 5 15 17 24 25 27 28 29 30 31 36 39 40 43 44 47 52 54 61 73 77
a 2 4 5 15 16 17 24 25 27 28 29 30 31 36 39 40 43 44 47 52 61 73 77
a 2 4 5 15 16 17 18 24 27 28 29 30 31 36 39 40 43 44 47 52 61 73 77
a 2 4 5 15 16 17 18 24 27 28 29 30 31 36 39 40 43 46 47 52 61 73 77
a 2 4 5 15 16 17 18 24 27 28 29 30 31 36 39 40 43 46 47 51 52 73 77
a 2 4 5 15 17 18 21 24 27 28 29 30 31 36 39 40 43 46 47 51 52 73 77
a 2 4 5 15 16 17 18 21 24 28 29 30 31 36 39 40 43 46 47 51 52 73 77
a 2 4 5 15 16 17 18 21 24 27 28 29 30 36 39 40 43 46 47 51 52 73 77
a 2 4 5 15 16 18 21 24 27 28 29 30 31 36 39 40 43 46 47 51 52 73 77
a 2 3 4 5 15 16 18 21 24 27 28 29 30 31 36 39 40 46 47 51 52 73 77
a 2 3 4 5 6 15 16 18 21 24 27 28 29 31 36 39 40 46 47 51 52 73 77
a 2 3 4 5 6 15 16 17 18 21 24 27 29 31 36 39 40 46 47 51 52 73 77
a 2 3 4 5 6 15 16 17 18 21 24 29 30 31 36 39 40 46 47 51 52 73 77
a 2 3 4 5 6 15 16 17 18 21 27 29 30 31 36 39 40 46 47 51 52 73 77
a 2 3 4 5 6 15 16 17 18 21 24 27 29 30 31 36 39 40 47 51 52 73 77
a 2 3 4 5 6 15 16 17 18 21 24 27 28 29 30 36 39 40 47 51 52 73 77
a 3 4 5 6 15 16 17 18 21 24 27 28 29 30 31 36 39 40 47 51 52 73 77
a 3 4 5 6 11 15 16 17 18 21 24 27 28 29 30 31 36 40 47 51 52 73 77
a 3 4 5 6 11 15 16 17 18 21 24 27 28 29 31 36 40 47 51 52 63 73 77
a 3 4 5 6 11 15 16 17 18 21 24 27 28 29 31 36 40 44 47 51 52 73 77
a 4 5 6 11 15 16 17 18 21 24 27 28 29 31 36 40 44 47 51 52 63 73 77
a 4 5 6 11 15 17 18 21 24 27 28 29 31 36 39 40 44 47 51 52 63 73 77
a 4 5 6 11 15 16 17 18 21 27 28 29 31 36 39 40 44 47 51 52 63 73 77
a 3 4 5 6 11 15 17 18 21 27 28 29 31 36 39 40 44 47 51 52 63 73 77
a 3 4 5 6 11 15 16 17 18 21 27 28 31 36 39 40 44 47 51 52 63 73 77
a 3 4 6 11 15 16 17 18 21 27 28 29 31 36 39 40 44 47 51 52 63 73 77
a 3 4 6 11 15 16 18 21 24 27 28 29 31 36 39 40 44 47 51 52 63 73 77
a 3 4 5 6 11 15 16 18 21 24 27 29 31 36 39 40 44 47 51 52 63 73 77
a 3 4 5 6 11 15 16 18 21 24 27 28 29 31 36 39 44 47 51 52 63 73 77
a 3 4 5 6 11 15 16 17 18 21 24 27 28 29 31 36 39 44 47 52 63 73 77
a 3 4 5 11 15 16 17 18 21 24 27 28 29 31 36 39 44 47 52 61 63 73 77
a 3 4 5 11 15 16 17 18 21 24 27 28 29 31 36 39 44 47 52 63 73 75 77
a 3 4 5 11 15 16 17 18 21 24 27 28 29 31 36 39 44 47 52 63 73 74 75
a 3 4 5 11 15 16 17 18 21 24 27 28 29 31 36 39 44 52 61 63 73 74 75
a 3 4 5 11 15 16 17 18 21 24 27 28 29 31 36 39 40 44 52 61 63 73 74
a 3 4 5 10 11 16 17 18 21 24 27 28 29 31 36 39 40 44 52 61 63 73 74
a 3 4 5 10 11 16 17 18 21 24 27 28 29 31 36 39 40 44 61 63 73 74 75
a 3 4 10 11 16 17 18 21 24 27 28 29 31 33 36 39 40 44 61 63 73 74 75
a 3 4 10 11 15 16 17 18 21 24 27 28 29 31 33 36 39 40 44 61 63 74 75
a 3 4 10 11 15 16 17 18 21 24 27 28 29 31 33 36 39 40 44 61 63 73 74
a 3 4 10 11 15 16 17 18 21 24 27 28 29 31 33 36 39 44 61 63 73 74 75
a 3 4 10 11 15 16 17 18 21 24 27 28 29 31 36 39 40 44 61 63 73 74 75
a 3 4 10 11 15 16 17 18 21 24 27 28 29 31 36 39 40 52 61 63 73 74 75
a 3 4 10 11 15 16 17 18 21 24 27 28 29 31 36 39 40 44 52 61 63 73 75
a 3 4 10 11 15 16 17 18 21 24 27 28 31 36 39 40 44 52 61 63 73 75 77
a 3 4 10 11 15 16 17 18 21 24 27 28 29 31 36 39 40 44 61 63 73 75 77
a 3 4 10 11 15 16 17 18 21 24 27 28 29 31 36 39 40 44 52 61 63 73 77
a 3 4 10 11 15 16 17 18 21 24 27 28 31 36 39 40 44 52 61 63 73 74 77
a 3 4 10 11 15 16 17 18 21 24 27 28 31 36 39 40 44 52 61 63 65 73 77
a 3 4 10 11 15 16 17 18 21 24 27 28 29 31 36 39 40 44 52 61 63 65 73
a 3 4 10 11 15 16 17 18 21 24 27 28 29 31 36 39 40 44 61 63 65 73 77
a 3 4 10 11 15 16 17 18 21 24 27 28 29 31 36 39 40 44 61 65 73 74 77
a 4 10 11 15 16 17 18 21 24 27 28 29 31 36 39 40 43 44 61 65 73 74 77
a 4 10 11 15 16 17 18 21 24 27 28 29 31 36 40 43 44 52 61 65 73 74 77
a 4 10 15 16 17 18 21 24 27 28 29 31 33 36 40 43 44 52 61 65 73 74 77
a 4 10 15 16 17 21 24 27 28 29 31 33 36 40 43 44 52 61 63 65 73 74 77
a 4 10 15 16 17 18 21 24 27 28 29 31 33 36 40 43 52 61 63 65 73 74 77
a 4 10 15 16 17 18 21 24 27 28 29 31 33 36 40 43 44 52 61 63 65 73 77
a 4 10 11 15 16 17 18 21 24 27 28 29 31 33 36 40 43 44 52 61 65 73 77
a 4 10 11 15 16 17 18 21 24 27 28 29 31 33 36 39 40 43 44 52 61 65 77
a 4 10 15 16 17 18 21 24 27 28 29 31 33 36 39 40 43 44 52 61 63 65 77
a 4 10 15 16 17 18 21 24 27 28 29 31 33 36 39 40 44 52 61 63 65 74 77
a 4 10 16 17 18 21 24 27 28 29 31 33 36 39 40 43 44 52 61 63 65 74 77
a 4 10 16 17 18 21 24 27 28 29 31 33 36 39 40 43 52 61 63 65 73 74 77
a 4 10 11 16 17 18 21 24 27 28 29 31 33 36 39 40 43 52 61 63 65 74 77
a 4 10 11 16 17 18 21 24 27 28 29 31 33 36 39 40 44 52 61 63 65 74 77
a 4 10 11 16 17 18 21 24 27 28 29 31 33 36 39 40 43 44 52 61 63 74 77
a 4 10 11 16 17 18 21 24 27 29 31 33 36 39 40 43 44 52 61 63 66 74 77
a 4 10 11 15 16 17 18 21 24 27 29 31 33 36 40 43 44 52 61 63 66 74 77
a 4 10 11 15 16 17 18 21 24 27 29 31 33 36 39 40 43 52 61 63 66 74 77
a 4 10 11 15 16 17 18 21 24 27 29 31 33 36 39 40 43 52 61 66 73 74 77
a 4 10 11 15 16 17 18 21 24 27 29 31 33 36 39 40 43 44 52 61 66 73 77
a 2 4 10 15 16 17 18 21 24 27 29 31 33 36 39 40 43 44 52 61 66 73 77
a 2 4 10 15 16 17 18 21 24 27 29 31 33 36 39 40 43 44 61 63 66 73 77
a 2 4 10 15 16 17 21 24 25 27 29 31 33 36 39 40 43 44 61 63 66 73 77
a 2 4 10 15 16 17 21 24 27 29 31 33 36 39 40 43 44 54 61 63 66 73 77
a 2 4 10 15 16 17 21 24 29 31 33 36 39 40 43 44 52 54 61 63 66 73 77
a 2 4 15 16 17 21 24 29 31 33 36 39 40 43 44 52 54 61 63 65 66 73 77
a 2 4 10 15 16 21 24 29 31 33 36 39 40 43 44 52 54 61 63 65 66 73 77
a 2 4 10 16 17 21 24 29 31 33 36 39 40 43 44 52 54 61 63 65 66 73 77
a 2 10 16 17 21 24 25 29 31 33 36 39 40 43 44 52 54 61 63 65 66 73 77
a 2 4 16 17 21 24 25 29 31 33 36 39 40 43 44 52 54 61 63 65 66 73 77
a 2 4 10 16 17 21 24 25 29 31 33 36 39 43 44 52 54 61 63 65 66 73 77
a 2 4 10 16 17 21 24 25 29 31 33 36 39 40 43 44 52 54 61 65 66 73 77
a 2 4 10 16 17 21 24 25 29 31 33 39 40 43 44 52 54 61 63 65 66 73 77
a 2 4 10 16 17 21 24 25 29 31 33 36 39 40 43 44 52 54 61 63 65 73 77
a 2 4 10 16 17 21 24 25 29 31 33 36 40 43 44 52 54 61 63 65 66 73 77
a 2 4 10 16 17 21 24 25 29 31 33 36 40 43 44 49 52 54 63 65 66 73 77
a 2 4 10 15 16 17 21 24 25 29 33 36 40 43 44 49 52 54 63 65 66 73 77
a 2 4 10 15 16 17 21 24 25 27 29 33 36 40 44 49 52 54 63 65 66 73 77
a 2 10 15 16 17 21 24 25 27 29 31 33 36 40 44 49 52 54 63 65 66 73 77
a 2 4 10 15 16 17 21 25 27 29 31 33 36 40 44 49 52 54 63 65 66 73 77
a 4 10 15 16 17 21 24 25 27 29 31 33 36 40 44 49 52 54 63 65 66 73 77
a 2 4 10 15 17 21 24 25 27 29 31 33 36 40 44 49 52 54 63 65 66 73 77
a 2 4 10 14 15 17 21 24 25 27 29 31 33 36 40 44 49 54 63 65 66 73 77
a 2 4 10 14 15 16 17 21 24 25 27 29 31 33 36 40 49 54 63 65 66 73 77
a 4 10 14 15 16 17 21 24 25 27 29 31 33 36 40 44 49 54 63 65 66 73 77
a 2 4 10 14 15 16 17 21 24 25 27 29 31 33 40 44 49 54 63 65 66 73 77
a 2 4 10 15 16 17 21 24 25 27 29 31 33 40 44 49 52 54 63 65 66 73 77
a 2 10 15 16 17 21 24 25 27 29 31 33 40 43 44 49 52 54 63 65 66 73 77
a 10 15 16 17 21 24 25 27 29 31 33 36 40 43 44 49 52 54 63 65 66 73 77
a 2 10 15 16 17 21 24 25 27 29 31 33 36 40 43 44 49 52 54 63 65 66 73
a 2 10 14 15 16 17 21 24 25 27 29 31 33 36 40 43 44 49 54 63 65 66 73
a 2 14 15 16 17 21 24 25 27 29 31 33 36 40 42 43 44 49 54 63 65 66 73
a 2 4 14 15 17 21 24 25 27 29 31 33 36 40 42 43 44 49 54 63 65 66 73
a 2 4 12 15 17 21 24 25 27 29 31 33 36 40 42 43 44 49 54 63 65 66 73
a 2 4 12 14 15 17 21 24 25 27 29 31 33 36 40 42 43 44 49 54 63 65 66
a 2 4 12 14 15 17 21 24 25 27 29 31 33 36 40 42 43 49 54 63 65 66 73
a 2 4 8 12 14 15 17 21 24 25 27 29 31 33 36 40 42 43 49 54 63 65 73
a 2 4 12 14 15 17 21 24 25 27 29 31 33 36 40 42 43 49 51 54 63 65 73
a 2 4 12 14 15 17 21 24 27 29 31 33 36 40 42 43 44 49 51 54 63 65 73
a 2 4 12 14 17 21 24 27 29 31 33 36 40 42 43 44 49 51 54 63 65 66 73
a 2 4 12 14 15 17 21 24 27 29 31 33 36 40 42 43 44 49 51 54 63 65 66
a 2 8 12 14 15 17 21 24 27 29 31 33 36 40 42 43 44 49 51 54 63 65 66
a 2 4 8 14 15 17 21 24 27 29 31 33 36 40 42 43 44 49 51 54 63 65 66
a 2 4 8 12 14 15 17 21 24 27 29 31 33 36 40 42 43 44 49 51 54 63 65
a 2 4 8 12 14 15 17 24 27 29 31 33 36 40 42 43 44 49 51 54 63 65 66
a 2 4 8 12 14 15 24 27 29 31 33 36 40 42 43 44 49 51 54 63 65 66 73
a 2 4 8 12 14 15 21 24 27 29 31 33 36 40 42 43 44 49 51 54 63 66 73
a 2 4 8 12 14 15 21 24 25 27 29 31 33 36 40 42 43 44 49 51 54 63 66
a 2 4 8 12 14 15 21 24 25 27 29 31 33 36 38 40 42 43 44 49 51 54 63
a 2 4 8 12 14 21 24 25 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63
a 2 4 8 12 14 15 21 24 27 29 31 33 36 38 40 42 43 44 47 49 51 54 63
a 2 4 8 12 14 15 21 24 25 27 31 33 36 38 40 42 43 44 47 49 51 54 63
a 2 4 8 12 14 15 21 24 25 27 31 33 38 40 42 43 44 47 49 51 54 55 63
a 2 4 8 12 14 15 21 22 24 25 31 33 38 40 42 43 44 47 49 51 54 55 63
a 2 4 8 12 14 15 21 22 24 25 31 33 38 40 42 43 44 47 49 51 54 55 73
a 2 4 8 14 15 21 22 24 25 29 31 33 38 40 42 43 44 47 49 51 54 55 73
a 2 8 12 14 15 21 22 24 25 29 31 33 38 40 42 43 44 47 49 51 54 55 73
a 2 4 8 12 14 15 21 22 24 25 29 31 33 38 40 42 43 47 49 51 54 55 73
a 2 4 8 12 14 15 21 22 24 25 27 31 33 38 40 42 43 47 49 51 54 55 73
a 2 4 12 14 15 21 22 24 25 27 29 31 33 38 40 42 43 47 49 51 54 55 73
a 2 4 12 14 15 21 22 24 25 27 29 31 33 38 40 42 43 44 47 49 51 55 73
a 2 4 12 14 15 21 22 24 25 27 29 31 33 38 40 42 43 47 49 51 55 65 73
a 2 4 12 14 15 21 22 24 25 27 29 31 33 38 40 42 43 47 49 51 55 63 73
a 2 4 12 14 15 21 22 24 25 27 29 31 33 38 40 42 43 49 51 55 63 65 73
a 2 4 8 12 14 15 21 22 24 25 27 29 31 33 38 40 42 43 49 51 63 65 73
a 2 4 8 12 14 15 21 22 24 25 27 29 31 33 38 40 42 49 51 55 63 65 73
a 2 4 8 12 14 15 21 22 24 25 27 29 31 33 38 40 42 44 49 51 55 65 73
a 4 8 12 14 15 21 22 24 25 27 29 31 33 38 40 42 44 47 49 51 55 65 73
a 4 8 12 14 15 21 22 24 25 27 29 31 38 40 42 43 44 47 49 51 55 65 73
a 6 8 12 14 15 21 22 24 25 27 29 31 38 40 42 43 44 47 49 51 55 65 73
a 2 6 8 12 14 15 21 22 24 25 27 29 31 40 42 43 44 47 49 51 55 65 73
a 2 6 8 12 14 15 21 22 24 25 27 29 31 38 40 42 43 44 47 49 51 55 73
a 2 6 8 12 14 15 21 22 24 25 27 29 31 38 40 42 43 44 47 49 51 55 66
a 2 4 6 8 12 14 15 21 22 24 25 27 29 31 38 40 42 43 44 47 49 51 66
a 2 4 8 12 14 15 21 22 24 25 27 29 31 38 40 42 43 44 47 49 51 63 66
a 2 4 6 8 14 15 21 22 24 25 27 29 31 38 40 42 43 44 47 49 51 63 66
a 2 4 6 8 14 15 21 22 24 25 27 29 31 38 40 42 43 47 49 51 63 65 66
a 2 4 6 8 14 15 22 24 25 27 29 31 38 40 42 43 47 49 51 55 63 65 66
a 2 4 6 8 12 15 22 24 25 27 29 31 38 40 42 43 47 49 51 55 63 65 66
a 2 4 6 8 12 14 15 22 24 25 27 29 31 38 40 42 43 47 49 51 55 63 65
a 2 4 6 8 12 14 15 21 22 24 25 27 29 31 38 40 42 43 49 51 55 63 65
a 2 6 8 12 14 15 21 22 24 25 27 29 31 38 40 42 43 49 51 55 63 65 73
a 2 4 6 8 12 14 15 21 22 24 25 27 29 31 38 40 42 49 51 55 63 65 73
a 2 4 8 12 14 15 21 22 24 25 27 29 31 38 40 42 44 49 51 55 63 65 73
a 2 4 6 8 12 14 15 21 22 24 25 27 29 31 38 40 42 44 49 55 63 65 73
a 2 4 6 12 14 15 21 22 24 25 27 29 31 38 40 42 43 44 49 55 63 65 73
a 2 4 6 8 12 14 15 21 22 24 25 27 29 31 38 40 42 43 44 49 63 65 73
a 2 4 6 8 14 15 21 22 24 25 27 29 31 38 40 42 43 44 49 51 63 65 73
a 2 4 6 8 14 15 21 22 24 27 29 31 36 38 40 42 43 44 49 51 63 65 73
a 2 4 6 8 12 14 15 21 22 24 27 29 36 38 40 42 43 44 49 51 63 65 73
a 2 4 6 8 12 14 21 22 24 25 27 29 36 38 40 42 43 44 49 51 63 65 73
a 2 4 8 12 14 21 22 24 25 27 29 36 38 40 42 43 44 49 51 54 63 65 73
a 2 4 8 12 14 15 21 22 24 25 27 29 36 38 40 42 43 44 49 51 54 63 73
a 4 8 12 14 15 21 22 24 25 27 29 31 36 38 40 42 43 44 49 51 54 63 73
a 2 4 8 12 14 15 21 22 24 25 27 29 31 36 38 42 43 44 49 51 54 63 73
a 2 4 12 14 15 21 22 24 25 27 29 31 36 38 40 42 43 44 49 51 54 63 73
a 2 4 8 14 15 21 22 24 25 27 29 31 36 38 40 42 43 44 49 51 54 63 73
a 2 4 8 14 15 21 22 24 25 27 29 31 36 38 40 42 43 44 49 51 54 63 66
a 4 8 14 15 21 22 24 25 27 29 31 36 38 40 42 43 44 49 51 54 63 66 73
a 2 4 8 14 15 21 22 24 25 27 29 31 36 38 40 42 43 44 49 51 54 66 73
a 2 4 8 12 14 15 21 22 24 25 27 29 31 36 38 40 42 43 44 49 51 54 66
a 2 4 8 12 14 15 21 22 24 25 27 29 31 38 40 42 43 44 49 51 54 66 73
a 2 4 8 12 14 15 21 22 24 25 27 29 31 38 40 42 43 44 49 51 63 66 73
a 2 4 8 12 14 15 21 22 24 25 27 29 31 36 38 40 42 43 44 49 51 63 66
a 2 4 8 12 14 15 21 22 24 25 27 29 31 36 38 40 42 43 44 49 51 63 65
a 2 4 8 12 14 15 21 22 24 25 27 29 31 36 38 40 42 43 49 51 54 63 65
a 2 4 8 12 14 15 21 22 24 25 27 29 31 36 38 40 42 43 49 51 54 63 73
a 2 4 8 12 14 15 21 22 24 25 27 31 33 36 38 40 42 43 49 51 54 63 73
a 2 4 8 12 14 15 21 22 24 25 27 29 31 33 38 40 42 43 49 51 54 63 73
a 2 4 8 12 14 15 21 22 24 25 27 29 31 33 36 40 42 43 49 51 54 63 73
a 2 4 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 49 51 54 63 73
a 2 4 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 42 49 51 54 63 65
a 2 4 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 44 49 51 54 63 65
a 2 4 8 12 14 15 21 22 24 25 27 29 31 33 36 38 40 44 47 49 51 54 63
a 2 4 8 12 14 21 22 24 25 27 29 31 33 36 38 40 42 44 47 49 51 54 63
a 2 4 8 12 14 21 22 24 25 27 29 31 36 38 40 42 44 47 49 51 54 63 73
a 2 4 8 12 14 21 22 24 25 27 29 31 36 38 40 42 43 44 47 49 51 54 63
a 4 8 12 14 21 22 24 25 27 29 31 36 38 40 42 43 44 47 49 51 54 63 65
a 2 4 8 12 14 21 22 24 25 27 29 36 38 40 42 43 44 47 49 51 54 63 65
a 2 4 8 12 14 21 22 24 25 27 29 31 36 38 40 42 43 47 49 51 54 63 65
a 2 4 8 12 14 21 22 24 25 27 29 31 36 38 40 42 47 49 51 54 63 65 73
a 2 4 8 12 14 21 22 25 27 29 31 36 38 40 42 44 47 49 51 54 63 65 73
a 2 4 8 12 14 21 22 24 25 27 29 31 36 40 42 44 47 49 51 54 63 65 73
a 2 4 8 12 14 15 21 22 24 25 27 29 31 36 40 42 44 47 49 51 54 63 73
a 2 4 8 12 14 15 21 22 24 25 27 29 31 36 38 40 42 44 47 51 54 63 73
a 2 4 8 12 15 21 22 24 25 27 29 31 36 38 40 42 44 47 49 51 54 63 73
a 2 4 8 12 14 15 21 24 25 27 29 31 36 38 40 42 44 47 49 51 54 63 73
a 2 4 8 12 14 15 21 24 25 27 29 31 36 40 42 44 47 49 51 54 63 65 73
a 2 4 8 12 14 15 21 24 25 27 29 31 33 36 40 42 44 47 49 51 54 63 65
a 2 4 8 12 14 15 21 24 25 27 29 31 33 36 42 44 47 49 51 54 57 63 65
a 2 4 8 12 14 15 17 21 24 25 27 29 31 33 36 42 44 47 49 54 57 63 65
a 2 4 8 12 14 15 17 21 24 25 27 29 31 33 42 44 47 49 54 55 57 63 65
a 2 4 8 12 14 15 17 21 25 27 29 31 33 42 44 47 49 54 55 57 63 65 76
a 2 4 8 12 13 14 15 17 21 27 29 31 33 42 44 47 49 54 55 57 63 65 76
a 2 4 8 12 13 14 15 17 21 27 29 31 33 42 44 47 49 54 55 57 65 71 76
a 2 4 8 12 13 14 15 17 21 27 28 29 31 33 42 44 47 54 55 57 65 71 76
a 4 8 11 12 13 14 15 17 21 27 28 29 31 33 42 44 47 54 55 57 65 71 76
a 4 8 11 12 13 14 15 17 21 27 28 29 31 33 44 47 54 55 57 65 71 76 77
a 4 8 10 11 12 13 14 15 17 21 27 28 29 31 33 44 54 55 57 65 71 76 77
a 8 10 11 12 13 14 15 17 21 27 28 29 31 33 44 54 55 57 65 71 76 77 78
a 8 10 11 12 13 14 15 17 27 28 29 31 33 37 44 54 55 57 65 71 76 77 78
a 8 10 11 12 13 14 15 17 27 28 31 33 37 44 53 54 55 57 65 71 76 77 78
a 8 10 11 12 13 15 17 27 28 31 33 37 44 53 54 55 57 58 65 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: 300
#END: [Mon Sep  4 22:00:40 2023]