#BEGIN: [Tue Sep 26 05:27:54 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance007_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance007_graph002_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_instance007_graph002.col /benchmark/random_instance/random_instance007_graph002_01.dat
c /benchmark/random_instance/random_instance007_graph002.col
c /benchmark/random_instance/random_instance007_graph002_01.dat
s 51 76 72 10 65 79 47 81 19 71 70 84 89 36 35 26 74 27 14 25 11 8 41 55 12 50 34 62 4 38
t 48 82 59 87 2 35 17 47 39 33 42 12 89 83 43 49 67 91 58 34 26 71 25 22 44 75 66 55 11 21
a YES
a 4 8 10 11 12 14 19 25 26 27 34 35 36 38 41 47 50 51 55 62 65 70 71 72 74 76 79 81 84 89
a 4 8 10 11 12 14 19 25 26 27 34 35 38 41 42 47 50 51 55 62 65 70 71 72 74 76 79 81 84 89
a 4 6 8 10 11 12 14 19 25 26 27 34 35 38 41 42 47 50 51 55 62 65 71 72 74 76 79 81 84 89
a 4 6 8 10 11 12 14 19 25 26 27 35 38 41 42 43 47 50 51 55 62 65 71 72 74 76 79 81 84 89
a 4 5 6 8 10 11 12 14 19 25 26 35 38 41 42 43 47 50 51 55 62 65 71 72 74 76 79 81 84 89
a 4 5 6 7 8 10 11 12 14 19 25 26 35 38 42 43 47 50 51 55 62 65 71 72 74 76 79 81 84 89
a 4 5 6 7 8 10 11 12 14 19 25 26 35 38 42 43 47 50 51 55 58 62 65 71 72 74 76 79 81 84
a 4 5 6 7 8 10 11 12 14 19 25 26 35 38 42 43 47 50 51 55 58 62 65 71 72 76 79 81 84 87
a 4 5 6 7 8 10 11 12 14 18 19 25 26 35 38 42 43 47 50 51 55 58 62 65 71 72 79 81 84 87
a 4 5 6 7 8 10 11 12 14 18 19 25 26 35 38 42 43 47 50 51 55 58 62 65 71 72 79 81 84 89
a 4 5 6 7 8 10 11 12 14 18 19 25 26 35 38 42 43 47 50 51 55 58 62 65 71 74 79 81 84 89
a 4 5 6 7 8 10 11 12 14 19 25 26 27 35 38 42 43 47 50 51 55 58 62 65 71 74 79 81 84 89
a 4 5 6 7 8 10 11 12 14 18 19 25 26 27 35 38 42 43 47 50 51 55 58 62 65 71 74 79 84 89
a 4 5 6 7 8 10 11 12 14 18 19 25 26 27 35 38 42 47 50 51 55 58 62 65 71 74 79 84 85 89
a 4 5 6 7 8 10 11 12 14 18 19 25 26 35 38 42 47 50 51 55 58 62 65 71 74 79 81 84 85 89
a 4 5 6 7 8 10 11 12 14 18 25 26 35 38 42 47 50 51 55 58 62 65 71 74 76 79 81 84 85 89
a 4 5 7 8 10 11 12 14 18 19 25 26 35 38 42 47 50 51 55 58 62 65 71 74 76 79 81 84 85 89
a 4 5 6 7 8 10 11 14 18 19 25 26 35 38 42 47 50 51 55 58 62 65 71 74 76 79 81 84 85 89
a 4 5 6 7 8 10 11 14 18 19 25 26 27 35 38 42 50 51 55 58 62 65 71 74 76 79 81 84 85 89
a 4 5 6 7 8 10 11 14 18 19 25 26 27 35 38 42 43 50 51 55 58 62 65 71 74 76 79 81 84 89
a 4 5 6 7 8 10 11 14 18 19 25 26 27 35 38 42 43 47 50 51 55 58 62 65 71 74 76 79 81 89
a 4 5 6 7 8 11 14 18 19 25 26 27 35 38 42 43 47 50 51 55 58 62 65 71 74 76 79 81 84 89
a 4 5 6 7 8 10 11 14 18 19 26 27 35 38 42 43 47 50 51 55 58 62 65 71 74 76 79 81 84 89
a 4 5 6 7 8 10 11 14 18 26 27 35 38 42 43 47 50 51 55 58 61 62 65 71 74 76 79 81 84 89
a 4 5 6 7 8 11 14 18 25 26 27 35 38 42 43 47 50 51 55 58 61 62 65 71 74 76 79 81 84 89
a 4 5 6 7 11 14 18 25 26 27 35 38 42 43 45 47 50 51 55 58 61 62 65 71 74 76 79 81 84 89
a 4 5 6 7 11 14 18 25 26 27 35 38 42 45 47 50 51 55 58 61 62 65 71 74 76 79 81 84 85 89
a 4 5 6 7 11 12 14 18 25 26 27 35 38 42 45 47 50 51 55 58 61 62 65 71 74 76 79 81 85 89
a 4 5 6 7 11 12 14 18 19 25 26 27 35 38 42 45 47 50 51 55 58 62 65 71 74 76 79 81 85 89
a 4 5 6 7 11 12 18 19 25 26 27 35 38 42 45 47 50 51 55 58 62 65 71 74 76 79 81 84 85 89
a 4 5 6 7 9 12 18 19 25 26 27 35 38 42 45 47 50 51 55 58 62 65 71 74 76 79 81 84 85 89
a 4 5 6 7 9 12 18 19 26 27 35 38 40 42 45 47 50 51 55 58 62 65 71 74 76 79 81 84 85 89
a 4 5 6 7 12 18 19 25 26 27 35 38 40 42 45 47 50 51 55 58 62 65 71 74 76 79 81 84 85 89
a 4 5 6 7 12 18 19 25 26 27 35 36 38 40 45 47 50 51 55 58 62 65 71 74 76 79 81 84 85 89
a 4 5 6 7 9 12 19 25 26 27 35 36 38 40 45 47 50 51 55 58 62 65 71 74 76 79 81 84 85 89
a 4 5 6 7 9 12 18 19 25 26 27 35 36 38 40 45 47 50 51 55 58 62 65 71 74 76 79 84 85 89
a 4 5 6 7 9 12 18 25 26 27 35 36 38 40 45 47 50 51 55 58 62 65 69 71 74 76 79 84 85 89
a 4 5 6 7 9 12 14 18 25 26 27 35 36 38 40 45 47 51 55 58 62 65 69 71 74 76 79 84 85 89
a 4 5 6 7 9 12 14 18 25 26 27 35 38 40 45 47 51 55 58 62 65 69 71 74 76 79 81 84 85 89
a 4 5 6 7 9 14 18 25 26 27 35 36 38 40 45 47 51 55 58 62 65 69 71 74 76 79 81 84 85 89
a 4 5 6 7 9 12 14 18 25 26 27 35 36 38 40 45 47 51 55 58 62 65 69 71 74 76 79 81 84 85
a 4 5 6 7 9 12 14 18 25 26 27 35 36 40 45 47 51 55 58 62 65 69 71 72 74 76 79 81 84 85
a 4 5 6 7 9 12 14 18 26 27 35 36 38 40 45 47 51 55 58 62 65 69 71 72 74 76 79 81 84 85
a 4 5 6 7 9 14 18 25 26 27 35 36 38 40 45 47 51 55 58 62 65 69 71 72 74 76 79 81 84 85
a 4 5 6 7 9 12 18 25 26 27 35 36 38 40 45 47 51 55 58 62 65 69 71 72 74 76 79 81 84 85
a 5 6 7 9 12 14 18 25 26 27 35 36 38 40 45 47 51 55 58 62 65 69 71 72 74 76 79 81 84 85
a 5 6 7 9 12 14 18 25 26 27 35 36 38 40 45 47 50 51 55 58 62 65 69 71 72 74 76 79 81 85
a 5 6 7 9 10 12 14 18 25 26 27 35 36 38 45 47 50 51 55 58 62 65 69 71 72 74 76 79 81 85
a 5 6 7 8 9 10 12 14 18 25 26 27 35 36 38 47 50 51 55 58 62 65 69 71 72 74 76 79 81 85
a 5 6 7 8 9 10 12 14 18 19 25 26 27 35 36 38 47 50 51 55 58 62 65 71 72 74 76 79 81 85
a 5 7 8 9 10 12 14 18 19 25 26 27 35 36 38 47 50 51 55 58 62 65 71 72 74 76 79 81 84 85
a 5 7 8 9 10 12 14 18 19 25 26 27 35 36 38 47 50 51 55 58 62 65 71 72 76 79 81 84 85 87
a 4 5 7 8 9 10 14 18 19 25 26 27 35 36 38 47 50 51 55 58 62 65 71 72 76 79 81 84 85 87
a 4 5 7 8 9 10 12 14 18 19 25 26 27 35 36 38 47 50 51 55 58 62 65 71 72 76 79 84 85 87
a 4 5 6 7 8 9 10 14 18 19 25 26 27 35 36 38 47 50 51 55 58 62 65 71 72 76 79 84 85 87
a 4 6 7 8 9 10 12 14 18 19 25 26 27 35 36 38 47 50 51 55 58 62 65 71 72 76 79 84 85 87
a 4 6 7 8 9 10 12 14 18 19 25 26 27 35 36 38 47 50 51 55 58 62 65 71 76 79 84 85 87 89
a 4 6 7 8 9 10 12 14 18 19 25 26 27 35 36 38 47 50 51 55 58 62 65 71 74 76 79 84 85 89
a 4 5 6 7 8 9 10 12 14 18 19 25 26 27 35 36 38 47 50 51 55 58 62 65 71 74 76 79 84 89
a 4 5 6 7 8 9 10 12 14 18 19 25 26 35 36 38 47 50 51 55 58 62 65 71 74 76 79 84 85 89
a 4 5 6 7 8 9 10 12 14 18 19 25 26 27 35 36 38 47 50 51 55 58 62 65 74 76 79 84 85 89
a 4 5 6 7 8 9 10 12 14 18 19 25 26 27 35 36 38 47 50 51 55 58 62 65 74 76 79 81 84 89
a 4 5 6 7 8 9 10 12 14 18 19 25 26 27 35 38 43 47 50 51 55 58 62 65 74 76 79 81 84 89
a 4 5 6 7 8 9 10 12 14 18 25 26 27 35 38 43 47 50 51 55 58 61 62 65 74 76 79 81 84 89
a 4 5 6 7 8 9 10 12 14 18 25 26 27 35 38 43 47 50 51 55 58 61 62 65 69 74 76 79 81 89
a 2 4 5 6 7 8 9 10 12 14 18 25 26 27 35 38 43 47 51 55 58 61 62 65 69 74 76 79 81 89
a 2 4 5 6 7 8 9 10 12 14 18 25 26 27 35 38 43 47 51 55 58 61 62 65 69 74 76 79 84 89
a 4 5 6 7 8 9 10 12 14 18 25 26 27 35 38 43 47 51 55 58 61 62 65 68 69 74 76 79 84 89
a 2 4 5 6 7 8 9 10 12 14 18 25 26 27 35 38 43 47 51 55 58 61 62 65 68 69 74 76 79 89
a 2 4 5 6 7 8 9 10 12 18 25 26 27 35 38 43 47 51 55 58 61 62 65 68 69 74 76 79 84 89
a 2 4 5 6 7 8 9 10 12 18 25 26 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 84
a 2 4 5 6 7 8 9 10 12 18 25 26 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 89
a 2 4 5 6 7 8 9 10 12 14 18 25 26 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 89
a 2 4 5 6 7 8 9 10 12 14 18 25 26 27 35 38 42 43 47 51 55 58 61 62 65 68 69 71 74 76
a 2 4 5 6 7 8 9 10 14 18 25 26 27 35 38 42 43 47 51 55 58 61 62 65 68 69 71 74 76 84
a 2 4 5 7 8 9 10 12 14 18 25 26 27 35 38 42 43 47 51 55 58 61 62 65 68 69 71 74 76 84
a 2 4 7 8 9 10 12 14 18 25 26 27 35 38 42 43 47 51 55 58 61 62 65 68 69 71 74 76 79 84
a 2 4 7 8 9 10 12 14 18 25 26 27 35 38 42 43 47 51 55 58 61 62 65 68 69 71 74 76 79 90
a 2 4 7 8 9 10 12 14 25 26 27 35 38 42 43 47 51 55 58 61 62 65 68 69 71 74 76 79 84 90
a 2 5 7 8 9 10 12 14 25 26 27 35 38 42 43 47 51 55 58 61 62 65 68 69 71 74 76 79 84 90
a 2 4 5 7 8 9 10 12 14 25 26 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 84 90
a 2 4 5 6 7 8 9 10 12 14 25 26 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 84
a 2 4 5 6 7 8 9 10 12 14 18 25 26 27 35 38 42 43 47 51 55 58 61 62 65 69 74 76 79 84
a 2 4 5 6 7 8 9 10 12 14 18 25 26 27 35 38 43 47 51 55 58 61 62 65 69 74 76 79 81 84
a 2 4 5 6 7 8 9 10 12 14 18 25 26 27 35 38 42 43 47 51 55 58 61 62 65 69 74 76 79 81
a 2 4 6 7 8 9 10 12 14 18 25 26 27 35 38 39 42 43 47 51 55 58 61 62 65 69 74 76 79 81
a 2 4 6 7 8 9 10 12 14 18 25 26 27 35 38 39 42 43 47 51 55 58 61 62 68 69 74 76 79 81
a 2 6 7 8 9 10 12 14 18 25 26 27 35 38 39 42 43 47 51 55 58 61 62 68 69 74 76 79 81 84
a 2 6 7 8 9 10 12 14 18 25 27 35 38 39 42 43 47 51 55 58 61 62 68 69 74 76 79 81 84 86
a 2 6 7 8 9 10 12 14 18 25 27 35 38 39 42 43 47 51 55 58 61 62 68 69 74 76 79 84 86 90
a 2 5 6 7 8 9 10 12 14 18 25 27 35 38 42 43 47 51 55 58 61 62 68 69 74 76 79 84 86 90
a 2 5 6 8 9 10 12 14 18 25 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 84 86 90
a 2 4 5 8 9 10 12 14 18 25 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 84 86 90
a 2 4 5 6 8 10 12 14 18 25 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 84 86 90
a 2 4 5 6 8 9 12 14 18 25 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 84 86 90
a 2 4 5 6 7 8 9 12 14 25 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 84 86 90
a 2 4 5 6 7 8 9 12 14 25 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 81 84 86
a 2 4 5 6 7 8 9 10 14 25 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 81 84 86
a 2 5 6 7 8 9 10 14 18 25 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 81 84 86
a 2 4 5 6 7 8 10 14 18 25 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 81 84 86
a 2 4 5 6 7 8 10 16 18 25 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 81 84 86
a 2 4 5 6 7 8 9 10 16 18 25 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 81 84
a 2 4 5 6 7 8 9 10 16 18 25 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 84 90
a 2 4 5 6 7 8 9 10 16 18 25 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 84 89
a 2 4 5 6 7 8 9 10 16 18 25 27 35 38 42 47 51 55 58 61 62 65 68 69 74 76 79 84 86 89
a 2 4 5 6 7 8 9 10 16 18 25 27 35 38 42 47 51 58 61 62 65 68 69 74 76 79 81 84 86 89
a 2 4 5 6 7 8 9 10 16 18 25 27 35 38 42 43 47 51 58 61 62 65 68 69 74 76 79 81 84 89
a 2 4 5 6 7 8 9 10 16 18 25 27 35 38 42 43 47 51 58 61 62 65 68 69 74 76 79 81 84 86
a 2 4 5 6 7 8 9 10 16 18 25 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 81 86
a 2 4 5 6 7 8 9 10 14 18 25 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 81 86
a 2 5 6 7 8 9 10 14 18 25 27 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 81 86 89
a 2 4 5 6 7 8 9 10 14 18 25 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 81 86 89
a 2 4 5 6 7 8 9 10 14 18 25 26 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 81 89
a 2 4 5 6 7 8 9 10 16 18 25 26 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 81 89
a 2 4 6 7 8 9 10 16 18 25 26 31 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 81 89
a 2 4 6 7 8 9 10 14 18 25 26 31 35 38 42 43 47 51 55 58 61 62 65 68 69 74 76 79 81 89
a 2 4 6 7 8 9 10 14 18 25 26 31 35 38 42 43 47 51 52 55 58 61 62 65 68 69 74 76 79 81
a 2 4 7 8 9 10 14 18 25 26 31 35 38 42 43 47 51 52 55 58 61 62 65 68 69 71 74 76 79 81
a 2 4 7 8 9 10 16 18 25 26 31 35 38 42 43 47 51 52 55 58 61 62 65 68 69 71 74 76 79 81
a 2 4 7 8 9 10 16 18 25 26 31 35 38 39 42 43 47 51 52 55 58 61 62 65 68 69 71 74 76 79
a 2 4 7 8 9 10 12 16 18 25 26 31 38 39 42 43 47 51 52 55 58 61 62 65 68 69 71 74 76 79
a 2 4 7 9 10 12 16 18 25 26 31 38 39 42 43 47 51 52 55 58 61 62 65 68 69 71 74 76 79 89
a 2 4 6 7 9 10 12 16 18 25 26 31 38 39 42 43 47 51 52 55 58 61 62 65 68 69 71 74 76 79
a 2 4 6 7 9 10 12 16 18 25 26 31 35 38 39 42 43 47 51 52 55 58 61 62 65 68 69 74 76 79
a 2 4 6 7 9 10 12 16 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 69 74 76 79
a 2 4 6 7 8 9 10 12 16 18 25 26 27 31 35 38 39 42 43 47 51 55 58 62 65 68 69 74 76 79
a 2 4 6 7 8 9 10 12 14 18 25 26 27 31 35 38 39 42 43 47 51 55 58 62 65 68 69 74 76 79
a 2 4 6 7 8 9 10 14 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 69 74 76 79
a 2 4 6 8 9 10 14 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 69 71 74 76 79
a 2 4 6 7 8 10 14 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 69 71 74 76 79
a 2 6 7 8 10 14 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 69 71 74 76 79 89
a 2 4 6 7 8 10 14 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 69 71 74 76 79 89
a 2 4 6 8 10 14 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 69 71 74 76 79 89
a 4 6 7 8 10 14 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 69 71 74 76 79 89
a 4 6 7 8 9 10 14 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 69 71 74 76 89
a 4 6 7 8 9 10 14 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 69 74 76 81 89
a 4 6 7 8 9 10 14 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 69 71 74 76 81
a 4 6 7 9 10 14 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 69 71 74 76 81 89
a 4 6 7 9 10 14 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 69 71 74 76 79 81
a 4 6 7 9 10 14 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 69 71 74 76 79 89
a 4 6 7 9 10 14 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 69 71 74 76 79 90
a 2 4 6 7 9 10 14 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 71 74 76 79 90
a 2 4 6 7 9 10 14 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 71 74 76 79 89
a 2 4 6 7 9 10 16 18 25 26 27 31 35 38 39 42 43 47 51 55 58 61 62 65 68 71 74 76 79 89
a 2 4 6 7 9 10 16 18 25 26 27 31 35 38 39 42 43 47 48 55 58 61 62 65 68 71 74 76 79 89
a 2 4 6 7 9 10 16 18 26 27 31 35 38 39 42 43 47 48 55 58 61 62 65 68 71 74 76 77 79 89
a 2 4 6 7 10 11 16 18 26 27 31 35 38 39 42 43 47 48 55 58 61 62 65 68 71 74 76 77 79 89
a 2 4 6 7 10 11 16 18 26 27 31 35 38 39 42 43 47 48 55 58 61 62 65 68 71 74 76 77 81 89
a 2 4 6 7 10 11 16 18 26 27 31 35 38 39 42 43 47 48 58 61 62 65 68 71 74 76 77 79 81 89
a 2 4 6 7 10 16 18 26 27 31 35 38 39 42 43 44 47 48 58 61 62 65 68 71 74 76 77 79 81 89
a 2 4 6 7 10 12 16 18 26 27 31 35 38 39 43 44 47 48 58 61 62 65 68 71 74 76 77 79 81 89
a 2 6 7 10 12 16 18 26 27 31 35 38 39 42 43 44 47 48 58 61 62 65 68 71 74 76 77 79 81 89
a 2 6 7 10 12 16 18 26 27 31 35 38 39 42 43 44 47 48 58 59 62 65 68 71 74 76 77 79 81 89
a 2 6 7 10 12 16 18 26 27 31 35 38 39 43 44 47 48 58 59 60 62 65 68 71 74 76 77 79 81 89
a 2 6 7 10 12 16 18 20 26 27 31 35 38 39 43 44 47 48 58 59 60 62 65 68 74 76 77 79 81 89
a 2 6 7 10 12 16 18 20 27 31 35 38 39 43 44 47 48 58 59 60 62 65 68 74 76 77 79 81 86 89
a 2 4 6 7 10 12 16 18 20 27 31 35 38 39 43 44 47 48 58 59 60 62 65 68 74 76 77 79 81 89
a 2 4 6 7 10 12 16 18 27 31 35 38 39 43 44 47 48 58 59 60 62 65 68 71 74 76 77 79 81 89
a 2 4 6 7 9 10 12 16 18 27 31 35 38 39 43 44 47 48 58 59 60 65 68 71 74 76 77 79 81 89
a 2 4 6 7 10 12 16 18 26 27 31 35 38 39 43 44 47 48 58 59 60 65 68 71 74 76 77 79 81 89
a 2 4 7 9 10 12 16 18 26 27 31 35 38 39 43 44 47 48 58 59 60 65 68 71 74 76 77 79 81 89
a 2 4 6 7 9 10 12 16 18 26 27 31 35 38 39 43 44 47 48 58 59 65 68 71 74 76 77 79 81 89
a 2 4 6 7 9 10 12 16 18 26 27 31 35 38 39 43 44 47 48 58 59 60 65 71 74 76 77 79 81 89
a 2 4 6 7 9 10 12 16 18 26 27 31 35 38 39 43 44 47 48 58 60 61 65 71 74 76 77 79 81 89
a 2 4 6 7 9 10 12 16 18 26 27 31 38 39 43 44 47 48 58 60 61 65 71 73 74 76 77 79 81 89
a 2 4 6 7 9 10 12 16 18 26 27 31 38 39 43 47 48 58 60 61 62 65 71 73 74 76 77 79 81 89
a 2 4 6 7 9 10 12 16 18 20 26 27 31 38 39 43 47 48 58 60 61 62 65 73 74 76 77 79 81 89
a 4 6 7 9 10 12 16 18 20 26 27 31 38 39 43 45 47 48 58 60 61 62 65 73 74 76 77 79 81 89
a 4 7 9 10 12 16 18 20 26 27 31 38 39 43 45 47 48 58 60 61 62 65 68 73 74 76 77 79 81 89
a 4 7 9 10 12 16 18 20 26 27 31 38 39 43 44 45 47 48 58 60 61 62 65 68 73 74 76 77 81 89
a 4 7 9 10 12 16 18 20 26 27 31 38 39 43 44 45 47 48 58 60 61 62 65 68 73 74 76 77 79 81
a 4 7 10 12 16 18 20 26 27 31 38 39 43 44 45 47 48 58 60 61 62 65 68 73 74 76 77 79 81 89
a 4 7 10 12 16 18 26 27 31 38 39 43 44 45 47 48 58 60 61 62 65 68 71 73 74 76 77 79 81 89
a 4 6 7 10 12 16 18 26 27 31 38 39 43 44 45 47 48 60 61 62 65 68 71 73 74 76 77 79 81 89
a 4 6 7 10 12 16 18 26 27 31 38 39 43 44 45 47 48 58 60 61 62 65 68 71 73 74 76 77 79 89
a 4 6 7 9 10 12 16 18 26 27 31 38 39 44 45 47 48 58 60 61 62 65 68 71 73 74 76 77 79 89
a 4 6 7 9 10 12 16 18 26 27 31 38 39 43 44 45 47 48 58 60 61 62 65 71 73 74 76 77 79 89
a 4 7 9 10 12 16 18 26 27 31 38 39 43 44 45 47 48 58 60 61 62 65 71 73 74 76 77 79 81 89
a 4 7 9 10 12 16 18 26 27 31 35 38 39 43 44 45 47 48 58 60 61 62 65 71 74 76 77 79 81 89
a 2 4 7 9 10 12 16 18 26 27 31 35 38 39 43 44 47 48 58 60 61 62 65 71 74 76 77 79 81 89
a 2 7 9 10 12 16 18 26 27 31 35 38 39 43 44 47 48 58 60 61 62 65 68 71 74 76 77 79 81 89
a 2 6 7 9 10 12 16 18 26 27 31 35 38 39 43 44 47 48 58 60 61 62 65 68 71 76 77 79 81 89
a 2 6 7 9 10 12 16 18 26 31 34 35 38 39 43 44 47 48 58 60 61 62 65 68 71 76 77 79 81 89
a 2 6 7 9 10 12 16 18 26 31 34 35 38 39 43 44 47 48 58 59 60 62 65 68 71 76 77 79 81 89
a 2 6 7 10 11 12 16 18 26 31 34 35 38 39 43 44 47 48 58 59 60 62 65 68 71 76 77 79 81 89
a 2 6 7 10 11 12 16 18 22 26 31 34 35 39 43 44 47 48 58 59 60 62 65 68 71 76 77 79 81 89
a 2 6 7 10 11 12 16 22 26 31 34 35 39 43 44 47 48 58 59 60 62 65 67 68 71 76 77 79 81 89
a 2 6 7 10 11 12 16 21 22 26 31 34 35 39 43 44 47 48 58 59 60 62 65 67 68 71 76 77 79 89
a 2 6 7 10 11 12 16 21 22 26 31 34 35 39 43 44 47 48 58 59 60 62 66 67 68 71 76 77 79 89
a 2 6 7 10 11 12 16 21 22 26 31 34 35 39 42 43 44 47 48 58 59 62 66 67 68 71 76 77 79 89
a 2 6 7 11 12 16 21 22 26 31 34 35 39 42 43 44 47 48 58 59 62 66 67 68 71 76 77 79 83 89
a 2 6 11 12 16 21 22 26 31 34 35 39 42 43 44 47 48 55 58 59 62 66 67 68 71 76 77 79 83 89
a 2 6 11 12 16 21 22 25 26 31 34 35 39 42 43 44 47 48 55 58 59 62 66 67 68 71 76 79 83 89
a 2 6 11 12 16 21 22 25 26 31 34 35 39 42 43 44 47 48 55 58 59 62 66 67 68 71 76 82 83 89
a 2 6 11 12 16 21 22 25 26 31 33 34 35 39 42 43 44 47 48 55 58 59 62 66 67 68 71 82 83 89
a 2 6 11 12 16 21 22 25 26 31 33 34 35 39 42 43 44 47 48 49 55 58 59 66 67 68 71 82 83 89
a 2 6 11 12 16 21 22 25 26 33 34 35 39 42 43 44 47 48 49 55 58 59 66 67 68 71 82 83 89 91
a 2 11 12 16 21 22 25 26 33 34 35 39 42 43 44 47 48 49 55 58 59 66 67 68 71 75 82 83 89 91
a 2 11 12 17 21 22 25 26 33 34 35 39 42 43 44 47 48 49 55 58 59 66 67 68 71 75 82 83 89 91
a 2 11 12 17 21 22 25 26 33 34 35 39 42 43 44 47 48 49 55 58 59 66 67 71 75 82 83 87 89 91
c Step: 199
#END: [Tue Sep 26 05:36:39 2023]