#BEGIN: [Mon Sep  4 21:57:05 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance008_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance008_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_instance008_graph001.col /benchmark/random_instance/random_instance008_graph001_01.dat
c /benchmark/random_instance/random_instance008_graph001.col
c /benchmark/random_instance/random_instance008_graph001_01.dat
s 63 65 99 101 36 32 96 87 24 79 45 37 8 68 93 51 56 31 91 73 35 42 21 29 41 86 57 5 47 67 83 25 84
t 93 104 21 34 41 16 52 30 66 69 67 57 19 95 102 2 77 75 56 32 50 42 37 44 103 90 92 96 68 63 17 97 8
a YES
a 5 8 21 24 25 29 31 32 35 36 37 41 42 45 47 51 56 57 63 65 67 68 73 79 83 84 86 87 91 93 96 99 101
a 5 8 19 21 24 25 29 31 32 35 36 37 41 42 45 47 51 56 57 63 65 67 68 73 79 83 84 87 91 93 96 99 101
a 5 8 19 21 25 29 31 32 35 36 37 41 42 45 47 51 56 57 63 65 67 68 73 79 83 84 87 91 93 95 96 99 101
a 5 8 19 21 25 29 31 32 35 36 37 41 42 45 47 51 56 57 63 65 68 73 79 83 84 85 87 91 93 95 96 99 101
a 5 8 19 21 25 29 31 32 36 37 41 42 45 47 51 56 57 63 65 66 68 73 79 83 84 85 87 91 93 95 96 99 101
a 5 8 19 21 25 29 31 32 37 41 42 45 47 51 56 57 63 65 66 68 73 74 79 83 84 85 87 91 93 95 96 99 101
a 5 8 19 21 25 26 29 31 32 37 41 42 45 47 51 56 57 63 65 66 68 73 79 83 84 85 87 91 93 95 96 99 101
a 5 8 19 21 25 26 29 31 32 37 41 42 45 47 51 56 57 63 65 67 68 73 79 83 84 85 87 91 93 95 96 99 101
a 5 8 21 25 26 29 31 32 37 41 42 45 47 51 53 56 57 63 65 67 68 73 79 83 84 85 87 91 93 95 96 99 101
a 5 8 21 25 26 29 31 32 37 41 42 45 47 51 52 53 56 57 63 65 67 68 79 83 84 85 87 91 93 95 96 99 101
a 5 8 21 25 26 29 31 32 36 37 41 42 45 47 51 52 56 57 63 65 67 68 79 83 84 85 87 91 93 95 96 99 101
a 5 8 21 26 29 31 32 36 37 41 42 45 47 51 52 56 57 63 65 66 67 68 79 83 84 85 87 91 93 95 96 99 101
a 5 8 26 29 31 32 36 37 41 42 45 47 51 52 53 56 57 63 65 66 67 68 79 83 84 85 87 91 93 95 96 99 101
a 5 8 25 26 29 31 32 36 37 41 42 45 47 51 52 53 56 57 63 65 66 67 68 79 83 84 85 87 91 93 95 96 99
a 5 8 25 26 29 31 32 36 37 41 42 45 47 51 52 53 56 57 63 65 66 67 68 79 83 84 85 87 91 93 95 96 101
a 5 8 25 29 31 32 36 37 41 42 45 47 51 52 53 56 57 63 65 66 67 68 79 83 84 85 86 87 91 93 95 96 101
a 5 8 15 25 29 31 36 37 41 42 45 47 51 52 53 56 57 63 65 66 67 68 79 83 84 85 86 87 91 93 95 96 101
a 5 8 15 25 29 30 31 36 37 41 42 45 47 51 52 53 56 57 63 65 66 67 68 79 83 84 85 86 91 93 95 96 101
a 5 8 15 21 25 29 30 31 36 37 41 42 45 47 51 52 53 56 57 63 65 66 67 68 79 83 84 85 86 91 93 95 96
a 5 8 15 21 25 28 29 30 31 36 37 41 42 45 47 51 52 53 57 63 65 66 67 68 79 83 84 85 86 91 93 95 96
a 5 8 15 21 25 28 29 30 31 36 37 41 42 45 47 51 52 53 57 63 65 66 67 68 79 83 84 85 86 91 93 95 101
a 5 8 15 21 25 26 28 29 30 31 36 37 41 42 45 47 51 52 53 57 63 65 66 67 68 79 83 84 85 86 91 93 95
a 5 8 15 21 25 26 28 29 30 31 36 37 41 42 45 47 51 52 53 57 63 65 66 67 68 77 79 83 84 85 86 91 95
a 5 8 15 21 26 28 29 30 31 36 37 41 42 45 47 51 52 53 57 63 65 66 67 68 77 79 83 84 85 86 91 94 95
a 5 8 15 21 26 28 29 30 31 36 37 41 42 45 47 51 52 53 57 63 65 66 67 68 77 79 83 84 85 86 91 94 96
a 5 8 15 21 26 28 29 30 31 36 37 41 42 45 47 51 52 53 57 63 65 66 67 68 77 79 81 83 84 85 86 91 94
a 5 8 15 21 26 28 29 30 31 36 37 41 42 45 47 51 52 53 57 63 65 66 67 68 77 79 81 83 84 86 91 94 101
a 5 8 21 26 28 29 30 31 36 37 41 42 45 47 51 52 53 57 63 65 66 67 68 77 79 81 83 84 86 91 94 95 101
a 5 8 21 25 26 28 29 30 31 36 37 41 42 45 47 51 52 53 57 63 65 66 67 68 77 79 81 83 84 86 91 95 101
a 5 8 21 25 26 28 29 30 31 32 36 37 41 42 45 47 51 52 53 57 63 65 66 67 68 77 79 81 83 84 86 91 101
a 2 8 21 25 26 28 29 30 31 32 36 37 41 42 45 47 51 52 53 57 63 65 66 67 68 77 79 81 83 84 86 91 101
a 2 8 9 21 25 26 28 29 30 31 32 36 37 41 42 45 47 51 52 53 57 63 66 67 68 77 79 81 83 84 86 91 101
a 2 8 9 21 25 26 28 29 30 31 32 36 37 41 42 45 47 51 52 53 57 63 66 67 68 77 79 81 83 84 86 93 101
a 2 8 9 21 25 26 28 29 30 31 32 36 37 41 42 45 47 51 53 57 63 66 67 68 73 77 79 81 83 84 86 93 101
a 2 8 9 21 25 26 28 29 30 31 32 36 37 41 42 45 47 51 53 57 63 66 67 68 73 77 79 83 84 85 86 93 101
a 2 8 9 21 25 26 28 29 30 31 32 36 37 41 42 47 51 53 57 63 66 67 68 73 77 79 83 84 85 86 91 93 101
a 2 8 21 25 26 28 29 30 31 32 36 37 41 42 45 47 51 53 57 63 66 67 68 73 77 79 83 84 85 86 91 93 101
a 2 8 10 21 25 28 29 30 31 32 36 37 41 42 45 47 51 53 57 63 66 67 68 73 77 79 83 84 85 86 91 93 101
a 2 5 8 10 21 25 28 29 31 32 36 37 41 42 45 47 51 53 57 63 66 67 68 73 77 79 83 84 85 86 91 93 101
a 2 5 8 10 21 28 29 31 32 36 37 41 42 45 47 51 53 57 63 65 66 67 68 73 77 79 83 84 85 86 91 93 101
a 2 5 8 21 28 29 30 31 32 36 37 41 42 45 47 51 53 57 63 65 66 67 68 73 77 79 83 84 85 86 91 93 101
a 2 5 8 21 28 29 30 31 32 36 37 41 42 45 47 51 53 54 57 63 66 67 68 73 77 79 83 84 85 86 91 93 101
a 3 5 8 21 28 29 30 31 32 36 37 41 42 45 47 51 53 54 57 63 66 67 68 73 77 79 83 84 85 86 91 93 101
a 3 5 8 21 28 29 30 32 36 37 41 42 45 47 51 53 54 57 63 66 67 68 73 77 79 83 84 85 86 91 93 101 102
a 2 5 8 21 28 29 30 32 36 37 41 42 45 47 51 53 54 57 63 66 67 68 73 77 79 83 84 85 86 91 93 101 102
a 2 5 8 21 28 29 30 32 36 37 41 42 45 47 51 53 54 57 63 66 67 68 77 79 83 84 85 86 91 93 94 101 102
a 2 5 8 10 21 28 29 30 32 36 37 41 42 45 47 51 53 54 57 63 66 67 68 77 79 83 84 85 86 91 93 94 101
a 2 5 8 10 21 28 29 30 32 36 37 41 42 45 51 53 54 57 63 66 67 68 77 79 83 84 85 86 91 93 94 96 101
a 2 8 10 21 28 29 30 32 36 37 41 42 45 51 52 53 54 57 63 66 67 68 77 79 83 84 85 86 91 93 94 96 101
a 2 8 10 21 28 29 30 32 36 37 41 42 45 51 52 53 54 57 63 66 67 68 79 83 84 85 86 91 93 94 96 99 101
a 2 8 10 21 28 29 30 32 36 37 41 42 45 47 51 52 53 54 57 63 66 67 68 79 83 84 85 86 91 93 94 99 101
a 2 8 10 21 28 29 30 32 36 37 41 42 45 47 51 52 53 54 57 63 65 66 67 68 79 83 84 85 86 91 93 94 99
a 2 8 10 21 28 29 30 32 36 37 40 41 42 45 47 51 52 53 54 57 63 65 66 67 68 79 83 84 86 91 93 94 99
a 2 8 21 28 29 30 32 36 37 40 41 42 45 47 51 52 53 54 57 63 65 66 67 68 79 83 84 86 91 93 94 99 102
a 2 8 21 28 29 30 32 36 37 40 41 42 45 47 51 52 53 54 57 63 65 66 67 68 79 81 83 84 86 91 93 94 99
a 2 8 21 28 29 30 32 36 37 41 42 45 47 51 52 53 54 57 63 65 66 67 68 79 81 83 84 85 86 91 93 94 99
a 2 8 21 28 29 30 32 36 37 41 42 45 47 51 52 53 54 57 63 66 67 68 79 81 83 84 85 86 91 93 94 99 101
a 2 8 21 29 30 32 36 37 41 42 45 47 51 52 53 54 57 63 65 66 67 68 79 81 83 84 85 86 91 93 94 99 101
a 2 8 21 29 30 32 36 37 41 42 45 47 51 52 53 54 57 63 65 66 67 68 79 81 83 84 85 86 91 93 94 101 102
a 2 8 21 29 30 32 36 37 41 42 47 51 52 53 54 57 63 65 66 67 68 79 81 83 84 85 86 91 93 94 96 101 102
a 2 8 21 29 30 32 36 37 40 41 42 47 51 52 53 54 57 63 65 66 67 68 79 81 83 84 86 91 93 94 96 101 102
a 2 8 21 29 30 32 36 37 41 42 45 47 51 52 53 54 57 63 65 66 67 68 79 81 83 84 86 91 93 94 96 101 102
a 2 8 21 28 29 30 32 37 41 42 45 47 51 52 53 54 57 63 65 66 67 68 79 81 83 84 86 91 93 94 96 101 102
a 2 8 21 28 29 30 32 37 40 41 42 45 47 52 53 54 57 63 65 66 67 68 79 81 83 84 86 91 93 94 96 101 102
a 2 8 21 28 29 30 32 36 37 40 41 42 45 47 52 53 54 57 63 65 66 67 68 79 83 84 86 91 93 94 96 101 102
a 2 5 8 21 28 29 30 32 36 37 40 41 42 45 47 52 53 54 57 63 65 66 67 68 79 83 84 86 91 93 94 96 101
a 2 5 8 15 21 28 29 30 36 37 40 41 42 45 47 52 53 54 57 63 65 66 67 68 79 83 84 86 91 93 94 96 101
a 2 5 15 21 28 29 30 31 36 37 40 41 42 45 47 52 53 54 57 63 65 66 67 68 79 83 84 86 91 93 94 96 101
a 5 8 15 21 28 29 30 31 36 37 40 41 42 45 47 52 53 54 57 63 65 66 67 68 79 83 84 86 91 93 94 96 101
a 5 8 15 21 28 29 30 31 36 40 41 42 45 47 52 53 54 57 63 65 66 67 68 79 83 84 86 91 93 94 96 99 101
a 5 8 9 15 21 28 29 30 31 36 40 41 42 45 47 52 53 54 57 63 66 67 68 79 83 84 86 91 93 94 96 99 101
a 5 8 9 15 21 28 29 30 31 40 41 42 45 47 52 53 54 57 63 66 67 68 74 79 83 84 86 91 93 94 96 99 101
a 5 8 9 15 21 28 29 30 31 40 41 42 45 47 51 52 53 54 57 63 66 67 68 74 79 83 84 86 91 94 96 99 101
a 2 5 8 9 15 21 28 29 30 31 40 41 42 45 47 51 52 53 54 57 63 66 67 68 74 79 83 84 86 91 94 96 99
a 2 5 8 9 15 21 28 29 30 31 40 41 42 45 47 49 51 52 53 54 57 63 66 67 68 74 79 83 84 91 94 96 99
a 2 5 8 9 15 21 28 29 30 31 40 41 42 45 47 49 51 52 53 54 57 59 63 66 67 68 74 79 83 84 91 94 99
a 2 5 8 9 15 21 28 29 30 31 40 41 42 45 47 49 51 52 53 54 59 63 66 67 68 74 79 83 84 91 94 99 101
a 2 5 8 9 10 15 21 28 29 30 31 40 41 42 45 47 49 51 52 53 54 59 63 66 67 68 74 79 83 84 91 94 101
a 2 5 8 9 10 15 21 28 29 30 31 40 41 42 45 47 49 51 52 53 54 59 63 66 67 68 74 83 84 91 93 94 101
a 5 8 9 10 15 21 28 29 30 31 40 41 42 45 47 49 51 52 53 54 59 63 66 67 68 74 83 84 91 93 94 99 101
a 5 8 9 10 21 28 29 30 31 40 41 42 45 47 49 51 52 53 54 59 63 66 67 68 74 83 84 91 93 94 96 99 101
a 2 5 8 9 10 21 28 29 30 31 40 41 42 45 47 49 51 52 53 54 59 63 66 67 68 74 83 84 91 93 94 96 99
a 2 5 8 9 10 21 28 29 30 31 40 41 42 45 47 49 51 52 53 54 57 59 63 67 68 74 83 84 91 93 94 96 99
a 2 5 8 9 10 14 21 28 29 30 31 40 41 42 45 47 49 51 52 53 54 57 59 63 67 68 74 83 84 91 93 94 96
a 2 5 8 9 10 21 28 29 30 31 40 41 42 45 47 49 51 52 53 54 57 59 63 67 68 74 83 84 91 93 94 96 101
a 2 5 8 9 10 21 28 29 31 35 40 41 42 45 47 49 51 52 53 54 57 59 63 67 68 74 83 84 91 93 94 96 101
a 2 5 8 9 10 12 21 28 29 31 35 40 41 42 45 47 49 51 52 53 54 57 59 63 68 74 83 84 91 93 94 96 101
a 2 4 5 8 9 10 12 21 28 29 31 35 40 41 42 45 47 49 51 52 53 54 57 59 63 68 74 83 84 91 93 94 96
a 2 4 5 8 9 10 12 21 28 29 35 40 41 42 45 47 49 51 52 53 54 57 59 60 63 68 74 83 84 91 93 94 96
a 2 4 5 8 9 10 12 15 21 28 29 35 40 41 42 45 47 49 51 52 53 54 57 59 60 63 68 83 84 91 93 94 96
a 2 4 5 8 9 10 12 15 21 29 35 40 41 42 45 47 49 51 52 53 54 57 59 60 63 68 83 84 91 93 94 96 99
a 2 4 5 8 9 10 12 15 21 29 35 40 41 42 45 47 49 51 52 53 54 57 59 63 68 83 84 91 93 94 96 99 101
a 2 4 5 8 9 10 12 15 21 29 35 40 41 42 47 49 51 52 53 54 57 59 63 68 83 84 86 91 93 94 96 99 101
a 2 4 5 8 10 12 15 21 29 35 40 41 42 47 49 51 52 53 54 57 59 63 65 68 83 84 86 91 93 94 96 99 101
a 2 4 5 8 10 12 15 21 29 35 41 42 47 49 51 52 53 54 57 59 63 65 68 83 84 86 91 93 94 96 99 101 102
a 2 4 5 8 10 12 15 21 29 31 35 41 42 47 49 51 52 53 54 57 59 63 65 68 83 84 86 91 93 94 96 99 101
a 2 4 5 8 10 12 15 21 29 31 35 41 42 47 49 51 52 53 54 57 59 63 68 83 84 85 86 91 93 94 96 99 101
a 2 4 5 8 10 12 15 21 29 31 35 41 42 47 49 51 52 53 54 57 59 63 68 77 83 84 85 86 91 93 94 96 101
a 2 4 5 8 12 15 21 29 31 35 41 42 47 49 51 52 53 54 57 59 63 68 77 81 83 84 85 86 91 93 94 96 101
a 2 4 5 8 9 12 15 21 29 31 35 41 42 47 49 51 52 53 54 57 59 63 68 77 81 83 84 85 86 91 93 96 101
a 2 4 5 8 9 12 15 21 25 29 31 35 41 42 47 49 51 52 53 57 59 63 68 77 81 83 84 85 86 91 93 96 101
a 2 4 5 8 9 12 15 21 25 28 29 31 35 41 42 47 49 51 52 53 57 59 63 68 77 81 83 84 85 86 91 93 96
a 2 4 5 8 9 12 15 21 25 28 29 31 35 41 42 47 49 51 52 53 57 59 63 68 72 77 81 83 84 85 91 93 96
a 2 4 5 8 9 12 15 21 25 28 29 31 35 36 41 42 47 49 51 52 53 57 59 63 68 77 81 83 84 85 91 93 96
a 2 4 5 8 9 15 21 25 28 29 31 35 36 41 42 45 47 49 51 52 53 57 59 63 68 77 81 83 84 85 91 93 96
a 2 4 5 8 9 21 25 28 29 31 35 36 41 42 43 45 47 49 51 52 53 57 59 63 68 77 81 83 84 85 91 93 96
a 2 4 5 8 9 14 21 25 28 29 31 35 36 41 42 43 45 47 49 51 52 53 57 59 63 68 77 81 83 84 91 93 96
a 2 4 5 8 9 14 21 25 28 29 31 35 36 41 42 45 47 49 51 52 53 57 59 63 68 72 77 81 83 84 91 93 96
a 2 4 5 8 9 14 21 25 26 28 29 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 77 81 83 84 91 93 96
a 4 5 8 9 12 14 21 25 26 28 29 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 77 81 83 84 91 93 96
a 4 5 8 9 12 21 25 26 28 29 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 77 81 83 84 85 91 93 96
a 4 5 8 9 12 21 25 26 28 29 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 77 81 83 84 85 91 96 101
a 2 4 5 8 9 12 21 25 26 28 29 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 77 81 83 84 85 96 101
a 2 4 8 9 12 15 21 25 26 28 29 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 77 81 83 84 85 96 101
a 2 4 8 9 12 15 21 25 26 27 28 29 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 77 81 83 85 96 101
a 2 4 8 9 12 15 21 25 26 27 28 29 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 77 81 83 85 95 96
a 2 4 8 9 12 15 21 25 26 27 28 29 31 36 41 42 43 45 47 49 51 52 53 57 59 63 68 72 77 81 83 85 96
a 2 8 9 12 15 21 25 26 27 28 29 30 31 36 41 42 43 45 47 49 51 52 53 57 59 63 68 72 77 81 83 85 96
a 2 8 9 12 15 21 25 26 27 28 29 30 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 77 81 83 85 95 96
a 2 5 8 9 12 15 21 25 26 27 28 29 30 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 77 81 83 95 96
a 2 5 8 9 12 15 21 25 26 27 28 29 30 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 81 83 95 96 99
a 2 5 9 12 15 21 25 26 27 28 29 30 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 81 83 85 95 96 99
a 2 5 9 12 14 15 21 25 26 27 28 29 30 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 81 83 95 96 99
a 5 8 9 12 14 15 21 25 26 27 28 29 30 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 81 83 95 96 99
a 4 5 8 9 12 14 15 21 25 26 27 28 29 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 81 83 95 96 99
a 4 5 8 9 12 15 21 25 26 27 28 29 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 81 83 85 95 96 99
a 4 5 8 9 12 15 21 25 26 27 28 29 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 81 83 85 93 95 96
a 4 5 8 9 12 15 21 25 26 28 29 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 81 83 84 85 93 95 96
a 2 4 5 8 9 12 15 21 25 26 28 29 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 81 83 84 85 93 95
a 2 4 5 8 9 12 21 25 26 28 29 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 81 83 84 85 93 95 99
a 2 4 5 8 9 12 21 25 26 28 29 31 36 41 42 45 47 49 51 52 53 57 59 63 68 72 81 83 84 85 91 93 99
a 2 4 5 8 9 12 21 25 26 28 29 31 36 41 42 45 47 49 51 53 57 59 63 68 72 73 81 83 84 85 91 93 99
a 2 4 5 8 9 12 21 25 26 28 29 36 41 42 45 47 49 51 53 57 59 63 68 72 73 81 83 84 85 91 93 99 102
a 2 4 5 8 12 21 25 26 28 29 36 41 42 45 47 49 51 53 57 59 63 65 68 72 73 81 83 84 85 91 93 99 102
a 2 4 5 8 12 21 25 26 28 29 36 41 42 45 47 49 51 53 57 59 63 65 68 72 73 81 83 84 85 91 93 95 102
a 2 4 5 8 12 15 21 25 26 28 29 36 41 42 45 47 49 51 53 59 63 65 68 72 73 81 83 84 85 91 93 95 102
a 2 4 5 8 15 21 25 26 28 29 36 41 42 45 47 49 51 53 59 63 65 67 68 72 73 81 83 84 85 91 93 95 102
a 2 4 5 8 15 21 25 26 28 29 41 42 45 47 49 51 53 57 59 63 65 67 68 72 73 81 83 84 85 91 93 95 102
a 4 5 8 15 21 25 26 28 29 41 42 45 47 49 51 53 57 59 63 65 67 68 72 73 81 83 84 85 91 93 95 101 102
a 4 5 8 15 21 25 26 28 29 38 42 45 47 49 51 53 57 59 63 65 67 68 72 73 81 83 84 85 91 93 95 101 102
a 2 4 5 8 15 21 25 26 28 29 42 45 47 49 51 53 57 59 63 65 67 68 72 73 81 83 84 85 91 93 95 101 102
a 2 4 5 8 9 15 21 25 26 28 29 42 45 47 49 51 53 57 59 63 67 68 72 73 81 83 84 85 91 93 95 101 102
a 2 5 8 9 15 21 25 26 28 29 30 42 45 47 49 51 53 57 59 63 67 68 72 73 81 83 84 85 91 93 95 101 102
a 2 5 8 9 15 21 25 26 28 29 30 42 45 47 49 51 53 57 59 63 67 68 73 81 83 84 85 86 91 93 95 101 102
a 2 5 8 9 15 21 25 26 28 29 30 42 45 47 49 51 53 57 59 63 67 68 73 77 81 83 84 85 86 91 93 95 101
a 2 5 8 9 15 21 25 28 29 30 42 45 47 49 51 53 57 59 63 67 68 73 77 81 83 84 85 86 91 93 95 96 101
a 2 5 8 9 15 21 25 28 29 30 36 42 45 47 49 51 53 57 59 63 67 68 73 77 81 83 84 85 86 91 93 95 96
a 2 5 8 9 15 21 25 28 29 30 36 42 45 47 49 51 53 57 59 63 67 68 73 77 79 81 83 84 85 86 91 93 96
a 2 5 8 9 12 15 21 25 28 29 30 36 42 45 47 49 51 53 57 59 63 68 73 77 79 81 83 84 85 86 91 93 96
a 2 5 8 9 12 15 21 25 28 29 30 36 42 45 47 49 51 53 57 59 63 66 68 73 77 79 81 83 84 85 86 91 93
a 2 5 8 9 12 15 21 25 28 29 36 42 45 47 49 51 53 57 59 63 66 68 73 77 79 81 83 84 85 86 87 91 93
a 2 5 8 9 12 15 21 25 27 28 29 36 42 45 47 49 51 53 57 59 63 66 68 73 77 79 81 83 85 86 87 91 93
a 2 5 8 9 12 15 21 25 27 28 29 36 42 45 46 47 49 51 53 57 59 63 66 68 73 77 79 81 83 85 86 87 91
a 2 5 8 9 12 15 21 25 27 28 29 36 42 45 46 47 49 51 53 57 59 63 66 68 73 77 79 81 83 85 86 87 96
a 2 5 8 9 12 15 21 25 28 29 36 42 45 46 47 49 51 53 57 59 63 66 68 73 77 79 81 83 85 86 87 95 96
a 2 5 8 9 12 15 21 25 26 28 29 36 42 45 46 47 49 51 53 57 59 63 66 68 73 77 79 81 83 85 86 87 95
a 2 5 8 9 12 15 21 25 26 28 29 36 42 46 47 49 51 53 57 59 63 66 68 73 77 79 81 83 85 86 87 88 95
a 2 5 8 9 12 15 21 25 26 28 29 36 42 46 47 49 51 53 57 59 63 66 68 73 77 79 81 83 85 86 87 88 96
a 2 5 8 9 12 15 21 25 26 28 29 36 42 46 47 49 51 53 57 59 63 66 68 73 77 79 81 83 84 86 87 88 96
a 2 5 8 9 12 14 15 21 25 26 28 29 36 42 46 47 49 51 53 57 59 63 66 68 77 79 81 83 84 86 87 88 96
a 2 5 8 9 12 14 15 21 25 26 28 29 36 42 46 47 49 51 53 57 59 63 66 68 73 77 79 81 83 84 87 88 96
a 2 5 8 9 12 14 15 21 25 26 28 29 36 42 46 47 49 51 53 57 59 63 66 68 73 77 79 81 83 84 87 88 95
a 2 5 8 9 12 14 15 21 25 26 28 29 36 41 42 46 47 49 51 53 57 59 63 66 68 73 77 79 81 83 84 88 95
a 2 4 5 8 9 12 14 15 21 25 26 28 29 36 41 42 46 47 49 51 53 57 59 63 66 68 73 77 81 83 84 88 95
a 2 5 8 9 12 14 15 21 25 26 28 29 36 41 42 46 47 49 51 53 57 59 63 66 68 73 77 81 83 84 87 88 95
a 2 5 8 9 12 15 21 25 26 28 29 36 41 42 46 47 49 51 53 57 59 63 66 68 73 77 81 83 84 85 87 88 95
a 2 8 9 12 15 21 25 26 28 29 36 41 42 46 47 49 51 53 57 59 63 66 68 73 77 81 83 84 85 86 87 88 95
a 2 8 9 12 15 21 25 28 29 36 41 42 46 47 49 51 53 57 59 63 66 68 73 77 81 83 84 85 86 87 88 91 95
a 2 4 8 9 12 15 21 25 29 36 41 42 46 47 49 51 53 57 59 63 66 68 73 77 81 83 84 85 86 87 88 91 95
a 2 4 8 9 12 15 21 25 26 29 41 42 46 47 49 51 53 57 59 63 66 68 73 77 81 83 84 85 86 87 88 91 95
a 2 4 9 12 15 21 25 26 29 41 42 46 47 49 51 53 57 59 63 66 68 73 77 81 83 84 85 86 87 88 91 95 101
a 2 4 8 9 12 15 21 26 29 41 42 46 47 49 51 53 57 59 63 66 68 73 77 81 83 84 85 86 87 88 91 95 101
a 2 4 8 9 12 15 21 26 27 29 41 42 46 47 49 51 53 57 59 63 66 68 73 77 81 83 85 86 87 88 91 95 101
a 2 4 8 9 12 15 21 26 27 29 31 41 42 46 49 51 53 57 59 63 66 68 73 77 81 83 85 86 87 88 91 95 101
a 2 4 8 9 12 15 21 26 27 29 31 41 42 46 47 49 51 53 57 59 63 66 68 73 77 81 83 85 86 87 88 91 101
a 2 4 8 9 12 15 21 26 27 29 31 41 42 47 49 51 53 57 59 63 66 68 73 77 81 83 85 86 87 88 91 93 101
a 2 4 8 9 12 15 21 25 26 27 29 31 41 42 47 49 51 53 57 59 63 66 68 73 77 81 83 85 86 87 88 91 93
a 2 4 8 12 15 21 25 26 27 29 31 41 42 47 49 51 53 57 59 63 66 68 73 77 81 83 85 86 87 88 91 93 101
a 2 4 8 9 12 15 21 25 26 27 29 31 41 42 47 51 53 57 59 63 66 68 73 77 81 83 85 86 87 88 91 93 101
a 2 4 8 9 12 15 21 25 26 27 29 31 41 42 43 47 51 53 57 59 63 68 73 77 81 83 85 86 87 88 91 93 101
a 2 4 8 9 12 15 21 25 26 27 29 31 41 42 43 47 49 53 57 59 63 68 73 77 81 83 85 86 87 88 91 93 101
a 2 4 8 9 12 15 21 25 26 27 28 29 31 41 42 43 47 49 53 57 59 63 68 73 77 81 83 85 87 88 91 93 101
a 2 4 9 12 15 21 25 26 27 28 29 31 36 41 42 43 47 49 53 57 59 63 68 73 77 81 83 85 87 88 91 93 101
a 2 8 9 12 15 21 25 26 27 28 29 31 36 41 42 43 47 49 53 57 59 63 68 73 77 81 83 85 87 88 91 93 101
a 2 8 9 11 12 15 21 25 26 27 28 29 31 36 41 42 43 47 49 53 57 59 63 68 73 77 81 85 87 88 91 93 101
a 2 8 9 11 12 15 21 25 26 27 28 29 31 36 41 42 43 46 47 49 53 57 59 63 68 73 77 81 85 87 88 91 101
a 2 8 9 11 12 15 21 25 26 27 28 29 31 34 36 41 42 43 46 47 49 53 57 59 63 68 73 77 81 85 87 88 101
a 2 8 9 11 12 15 21 25 26 27 28 29 31 34 36 41 42 43 46 47 49 53 57 59 63 68 73 77 79 81 85 88 101
a 2 8 9 11 12 15 21 25 26 27 28 29 31 34 36 41 42 43 46 47 49 52 53 57 59 63 68 77 79 81 85 88 101
a 2 8 9 11 12 15 21 25 26 27 28 29 31 34 36 41 42 43 46 47 49 52 53 55 57 59 63 68 77 79 81 85 88
a 2 8 9 11 12 15 21 25 26 27 28 29 31 34 36 41 42 43 46 47 49 52 53 55 57 59 63 68 79 81 85 88 99
a 2 8 9 11 12 15 21 25 26 27 28 29 31 34 36 41 42 46 47 49 52 53 55 57 59 63 66 68 79 81 85 88 99
a 2 8 9 11 12 15 21 25 26 27 28 29 31 34 36 41 42 46 47 49 52 53 55 57 59 63 66 68 79 81 85 88 101
a 2 8 9 11 12 15 21 25 26 27 28 29 31 34 36 41 42 46 47 49 52 53 55 57 59 63 68 79 81 85 86 88 101
a 2 8 9 11 12 15 21 26 27 28 29 31 34 36 41 42 46 47 49 52 53 55 57 59 63 68 79 81 85 86 88 97 101
a 2 8 9 11 12 15 21 26 27 28 29 31 34 36 41 42 46 47 49 50 52 53 55 57 59 63 68 79 81 85 86 88 97
a 2 8 9 11 12 15 21 26 27 28 29 34 36 41 42 46 47 49 50 52 53 55 57 59 63 68 79 81 85 86 88 97 102
a 2 8 9 11 12 15 21 25 26 27 28 29 34 36 41 42 46 47 49 50 52 53 55 57 59 63 68 79 81 85 86 88 102
a 2 8 9 11 12 15 21 25 26 27 28 29 34 36 41 42 46 47 49 50 52 53 55 57 59 63 68 79 81 85 86 88 95
a 2 8 9 11 12 21 25 26 27 28 29 30 34 36 41 42 46 47 49 50 52 53 55 57 59 63 68 79 81 85 86 88 95
a 2 8 9 11 12 21 25 26 27 28 29 30 34 36 41 42 47 49 50 52 53 55 57 59 63 68 79 81 85 86 88 95 99
a 2 8 9 11 12 21 25 26 27 28 29 30 34 36 41 42 47 49 50 52 53 55 57 59 63 68 79 81 85 86 88 93 95
a 2 8 9 11 12 21 25 26 27 28 29 34 36 41 42 47 49 50 52 53 55 57 59 60 63 68 79 81 85 86 88 93 95
a 2 8 9 11 12 21 25 26 27 28 29 34 36 41 42 47 49 50 52 53 55 57 59 60 63 79 81 85 86 88 93 95 99
a 2 8 9 11 12 25 26 27 28 29 34 36 41 42 47 49 50 52 53 55 57 59 60 63 66 79 81 85 86 88 93 95 99
a 2 8 9 11 12 17 25 26 27 29 34 36 41 42 47 49 50 52 53 55 57 59 60 63 66 79 81 85 86 88 93 95 99
a 2 8 9 11 12 17 26 27 29 34 36 41 42 47 49 50 52 53 54 55 57 59 60 63 66 79 81 85 86 88 93 95 99
a 2 8 9 11 12 17 26 27 29 34 36 41 42 47 49 50 52 53 54 55 57 59 60 63 66 79 81 85 86 88 89 93 95
a 2 8 9 12 17 26 27 29 34 36 41 42 47 49 50 52 53 54 55 57 59 60 63 66 68 79 81 85 86 88 89 93 95
a 2 8 9 12 17 26 27 29 34 36 41 42 47 49 50 52 53 54 55 57 59 60 63 66 68 79 81 85 86 88 89 93 97
a 2 8 9 12 16 17 26 27 29 34 41 42 47 49 50 52 53 54 55 57 59 60 63 66 68 79 81 85 86 88 89 93 97
a 2 8 9 12 16 26 27 28 29 34 41 42 47 49 50 52 53 54 55 57 59 60 63 66 68 79 81 85 86 88 89 93 97
a 2 8 9 11 12 16 26 27 28 29 34 41 42 47 49 50 52 53 54 55 57 59 60 63 66 68 79 81 85 86 88 89 97
a 2 8 9 11 12 16 26 27 28 29 34 36 41 42 47 49 50 52 53 54 55 57 59 60 63 66 68 79 81 85 86 88 89
a 2 8 9 11 12 16 21 26 27 28 29 34 36 41 42 47 49 50 52 53 54 55 57 59 60 63 66 68 79 81 85 86 88
a 2 8 9 11 12 16 21 26 27 28 34 36 41 42 47 49 50 52 53 54 55 57 59 60 63 66 68 79 81 85 86 88 92
a 8 9 11 12 16 21 26 27 28 34 36 41 42 47 49 50 52 53 54 55 57 59 60 63 66 68 79 81 85 86 88 89 92
a 8 9 11 12 16 21 26 27 28 34 36 41 42 47 49 50 52 53 54 57 59 60 63 66 68 79 81 82 85 86 88 89 92
a 8 9 11 12 16 21 26 27 28 34 36 41 42 47 49 50 52 53 54 57 59 60 63 66 68 69 81 82 85 86 88 89 92
a 2 8 9 11 12 16 21 26 27 28 34 36 41 42 47 49 50 52 53 54 57 59 60 63 66 68 69 81 82 85 86 88 89
a 2 8 9 11 12 16 21 26 27 28 34 36 41 42 47 49 50 52 53 54 57 59 60 63 66 68 69 81 82 85 86 88 92
a 2 8 9 11 12 16 21 26 27 28 34 36 41 42 47 49 50 52 53 54 57 59 60 63 66 68 81 82 85 86 88 92 93
a 2 8 11 12 16 21 26 27 28 34 36 41 42 47 49 50 52 53 54 57 59 60 63 66 68 81 82 85 86 88 92 93 95
a 2 11 12 15 16 21 26 27 28 34 36 41 42 47 49 50 52 53 54 57 59 60 63 66 68 81 82 85 86 88 92 93 95
a 2 8 11 12 15 16 21 26 27 28 34 36 41 42 47 49 50 52 53 54 57 59 60 63 66 68 81 82 85 86 88 92 95
a 2 8 11 12 15 16 21 26 27 28 34 36 41 42 47 49 50 52 53 54 57 59 60 63 66 68 81 82 85 86 89 92 95
a 2 8 11 12 15 16 21 26 27 28 30 34 36 41 42 47 49 50 52 53 54 57 59 63 66 68 81 82 85 86 89 92 95
a 2 8 11 12 15 16 21 26 27 28 30 34 36 41 42 47 49 50 52 53 54 57 59 63 66 68 77 81 82 85 86 92 95
a 2 8 11 12 15 16 21 26 27 28 30 34 36 41 42 47 49 50 52 53 54 57 59 63 66 68 77 81 82 85 92 95 102
a 2 8 11 12 15 16 21 26 27 28 30 34 36 41 42 47 50 52 53 54 57 59 63 66 68 77 81 82 85 92 93 95 102
a 2 8 11 12 15 16 21 26 27 28 30 34 36 41 42 47 50 52 53 54 57 59 63 66 68 77 81 85 92 93 95 97 102
a 2 8 11 12 15 16 21 27 28 30 34 36 41 42 47 50 52 53 54 57 59 63 66 68 69 77 81 85 92 93 95 97 102
a 2 8 11 12 15 16 21 27 28 30 34 36 41 42 47 50 52 53 54 57 59 63 66 68 69 77 81 92 93 95 96 97 102
a 2 8 11 12 15 16 17 21 27 30 34 36 41 42 47 50 52 53 54 57 59 63 66 68 69 77 81 92 93 95 96 97 102
a 2 8 11 12 15 16 17 21 27 30 34 36 41 42 47 50 52 53 54 56 57 59 63 66 68 69 77 92 93 95 96 97 102
a 2 8 11 12 16 17 21 27 30 34 36 41 42 47 50 52 53 54 56 57 59 63 66 68 69 77 92 93 95 96 97 102 103
a 2 8 12 16 17 21 27 30 34 36 41 42 44 47 50 52 53 54 56 57 59 63 66 68 69 77 92 93 95 96 97 102 103
a 2 8 12 16 17 21 27 30 34 36 41 42 44 50 52 53 54 56 57 59 63 66 68 69 77 92 93 95 96 97 102 103 104
a 2 8 12 16 17 19 21 27 30 34 36 41 42 44 50 52 54 56 57 59 63 66 68 69 77 92 93 95 96 97 102 103 104
a 2 8 16 17 19 21 27 30 32 34 36 41 42 44 50 52 54 56 57 59 63 66 68 69 77 92 93 95 96 97 102 103 104
a 2 8 16 17 19 21 27 30 32 34 36 37 41 42 44 50 52 54 56 57 63 66 68 69 77 92 93 95 96 97 102 103 104
a 2 8 16 17 19 21 27 30 32 34 37 41 42 44 50 52 54 56 57 63 66 68 69 75 77 92 93 95 96 97 102 103 104
a 2 8 16 17 19 21 27 30 32 34 37 41 42 44 50 52 56 57 63 66 68 69 75 77 90 92 93 95 96 97 102 103 104
a 2 8 16 17 19 21 30 32 34 37 41 42 44 50 52 56 57 63 66 67 68 69 75 77 90 92 93 95 96 97 102 103 104
c Step: 243
#END: [Mon Sep  4 22:06:21 2023]