#BEGIN: [Mon Sep  4 16:11:11 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#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 /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
TIMEOUT 1800
c send SIGTERM to CID 860fb665b1d19955b984673d4ae42ce5ba8cf881cd4ad232064b00370bdb98c3
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 21 24 25 29 31 32 35 36 41 42 43 45 47 51 56 57 63 65 67 68 73 79 83 84 86 87 91 93 96 99 101
a 2 5 8 21 25 29 31 32 35 36 41 42 43 45 47 51 56 57 63 65 67 68 73 79 83 84 86 87 91 93 96 99 101
a 2 5 8 21 25 29 31 32 35 36 41 42 45 47 51 56 57 63 65 67 68 73 79 83 84 86 87 91 93 95 96 99 101
a 2 5 6 8 21 25 29 31 32 35 36 41 42 45 47 51 56 57 63 65 68 73 79 83 84 86 87 91 93 95 96 99 101
a 2 5 6 8 21 25 29 31 32 35 36 41 42 45 47 51 56 57 59 63 65 68 73 79 83 84 86 87 91 93 95 99 101
a 2 5 6 8 21 25 29 31 32 35 36 41 42 45 47 51 56 57 59 63 65 68 73 79 83 84 86 87 91 93 95 96 99
a 2 5 6 8 21 25 29 31 32 36 41 42 45 47 51 56 57 59 63 65 66 68 73 79 83 84 86 87 91 93 95 96 99
a 2 5 8 21 25 29 31 32 36 41 42 45 47 51 56 57 59 63 65 66 68 73 79 83 84 86 87 91 93 95 96 99 101
a 5 8 21 25 29 31 32 36 41 42 45 47 51 53 56 57 59 63 65 66 68 73 79 83 84 86 87 91 93 95 96 99 101
a 5 8 21 25 29 31 32 36 41 42 45 47 51 53 56 57 59 63 65 66 67 68 73 79 83 84 86 87 91 93 95 96 101
a 5 8 21 25 29 31 32 36 41 42 45 47 51 53 56 57 59 63 65 66 67 68 73 79 83 84 86 87 91 93 96 99 101
a 8 21 25 29 31 32 36 41 42 45 47 51 53 56 57 59 63 65 66 67 68 73 79 83 84 86 87 91 93 95 96 99 101
a 8 21 25 29 31 32 35 36 41 42 45 47 51 53 56 57 59 63 65 67 68 73 79 83 84 86 87 91 93 95 96 99 101
a 8 21 25 29 31 32 35 36 41 42 45 47 51 53 56 57 59 63 65 67 68 73 79 83 84 85 86 87 91 93 95 96 99
a 5 21 25 29 31 32 35 36 41 42 45 47 51 53 56 57 59 63 65 67 68 73 79 83 84 85 86 87 91 93 95 96 99
a 5 8 21 25 29 31 32 35 36 42 45 47 51 53 56 57 59 63 65 67 68 73 79 83 84 85 86 87 91 93 95 96 99
a 5 8 10 21 25 29 31 32 35 36 42 45 47 51 53 57 59 63 65 67 68 73 79 83 84 85 86 87 91 93 95 96 99
a 5 8 10 25 29 31 32 35 36 41 42 45 47 51 53 57 59 63 65 67 68 73 79 83 84 85 86 87 91 93 95 96 99
a 5 8 10 25 29 31 32 35 36 37 41 42 45 47 51 53 57 63 65 67 68 73 79 83 84 85 86 87 91 93 95 96 99
a 2 5 8 10 25 29 31 32 35 36 37 41 42 45 47 51 53 57 63 65 67 68 73 79 83 84 85 86 87 91 93 95 99
a 2 8 10 25 29 31 32 35 36 37 41 42 45 47 51 53 57 63 65 67 68 73 79 83 84 85 86 87 91 93 95 96 99
a 2 8 10 21 25 29 31 32 35 36 37 41 42 45 47 51 53 57 63 65 67 68 73 79 83 84 85 86 87 91 93 96 99
a 2 8 10 21 25 29 31 32 35 36 37 41 42 45 47 51 53 57 63 65 67 68 73 77 79 83 84 85 86 87 91 93 96
a 2 8 10 21 25 29 31 32 35 36 37 41 42 45 47 51 53 57 63 65 67 68 73 77 79 83 84 85 86 91 93 95 96
a 2 8 10 15 21 25 29 31 35 36 37 41 42 45 47 51 53 57 63 65 67 68 73 77 79 83 84 85 86 91 93 95 96
a 2 8 10 15 21 29 31 35 36 37 41 42 45 47 51 53 54 57 63 65 67 68 73 77 79 83 84 85 86 91 93 95 96
a 2 8 10 15 21 29 30 31 36 37 41 42 45 47 51 53 54 57 63 65 67 68 73 77 79 83 84 85 86 91 93 95 96
a 2 8 10 14 15 21 29 30 31 36 37 41 42 45 47 51 53 54 57 63 65 67 68 73 77 79 83 84 86 91 93 95 96
a 2 5 8 10 14 15 21 29 30 31 36 41 42 45 47 51 53 54 57 63 65 67 68 73 77 79 83 84 86 91 93 95 96
a 2 5 8 10 14 15 21 29 30 31 36 37 41 42 45 47 51 53 54 57 63 65 67 68 73 77 79 83 84 86 91 93 95
a 2 5 8 10 14 15 21 29 31 35 36 37 41 42 45 47 51 53 54 57 63 65 67 68 73 77 79 83 84 86 91 93 95
a 2 5 8 10 14 15 21 29 31 35 36 37 41 42 45 47 51 53 54 57 63 65 67 68 73 77 79 83 84 86 91 95 96
a 2 5 8 10 14 15 21 25 29 31 35 36 37 41 42 45 47 51 53 57 63 65 67 68 73 77 79 83 84 86 91 95 96
a 2 5 8 10 12 14 15 21 25 29 31 35 36 37 41 42 45 47 51 53 57 63 65 68 73 77 79 83 84 86 91 95 96
a 2 5 8 10 12 14 15 21 25 29 31 35 36 37 41 42 45 47 51 53 57 63 65 68 73 77 79 83 84 86 91 93 96
a 5 8 10 12 14 15 21 25 29 31 35 36 37 41 42 45 47 51 53 57 63 65 68 73 77 79 83 84 86 87 91 93 96
a 5 8 10 12 14 15 21 25 28 29 31 35 36 37 41 42 45 47 51 53 57 63 65 68 73 77 79 83 84 86 87 91 93
a 2 5 8 10 12 14 15 21 25 28 29 31 35 37 41 42 45 47 51 53 57 63 65 68 73 77 79 83 84 86 87 91 93
a 2 8 10 12 14 15 21 25 28 29 31 35 36 37 41 42 45 47 51 53 57 63 65 68 73 77 79 83 84 86 87 91 93
a 8 10 12 14 15 21 25 28 29 31 35 36 37 41 42 45 47 51 53 57 63 65 68 73 77 79 83 84 86 87 91 93 95
a 8 10 12 14 15 21 25 28 29 31 35 36 41 42 45 47 49 51 53 57 63 65 68 73 77 79 83 84 86 87 91 93 95
a 8 10 14 15 21 25 28 29 31 35 36 41 42 45 47 49 51 53 57 63 65 67 68 73 77 79 83 84 86 87 91 93 95
a 8 10 14 15 21 25 28 29 31 35 36 41 42 45 47 49 51 53 59 63 65 67 68 73 77 79 83 84 86 87 91 93 95
a 8 10 15 21 25 28 29 31 35 36 41 42 45 47 49 51 53 59 63 65 67 68 73 77 79 83 84 85 86 87 91 93 95
a 8 15 21 25 28 29 31 35 36 41 42 45 47 49 51 53 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 93 95
a 15 21 25 28 29 31 35 36 41 42 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 93 95
a 15 21 25 28 29 31 35 36 41 42 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 95 96
a 2 15 21 25 28 29 31 35 36 41 42 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 95
a 2 15 25 28 29 31 35 36 41 42 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 93 95
a 2 15 21 25 28 29 31 35 36 41 42 45 47 49 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 93 95
a 2 15 21 28 29 31 35 36 41 42 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 93 95
a 2 15 21 28 29 31 35 36 41 42 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 95
a 2 15 21 28 29 31 35 36 41 42 45 46 47 49 51 53 57 59 63 65 67 68 73 79 81 83 84 85 86 87 91 95 96
a 2 15 21 28 29 31 35 36 41 42 45 46 47 49 51 53 57 59 63 65 67 73 77 79 81 83 84 85 86 87 91 95 96
a 2 15 21 28 29 31 35 36 41 42 45 46 47 49 50 51 53 57 59 63 65 67 77 79 81 83 84 85 86 87 91 95 96
a 2 15 21 25 28 29 31 35 36 41 42 45 46 47 49 50 51 53 57 59 63 65 67 77 79 81 83 84 85 86 91 95 96
a 2 15 21 25 28 29 31 35 36 41 42 43 45 46 47 49 50 51 53 57 59 63 65 67 77 79 81 83 84 85 86 91 96
a 2 15 21 25 28 29 31 36 41 42 43 45 46 47 49 50 51 53 57 59 63 65 67 68 77 79 81 83 84 85 86 91 96
a 2 15 21 25 28 29 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 77 79 81 83 84 85 86 91 96 101
a 2 15 21 25 28 29 31 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 77 79 81 83 84 85 86 91 93 96 101
a 2 15 21 25 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 77 79 81 83 84 85 86 91 93 96 101
a 2 15 21 25 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 77 79 81 83 84 85 86 87 91 93 101
a 2 15 21 25 28 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 79 81 83 84 85 86 87 91 93 101
a 2 15 21 25 28 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 77 79 81 83 84 86 87 91 93 101
a 2 15 21 25 28 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 77 79 81 83 84 85 86 87 91 93 101
a 2 15 21 25 28 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 93 101
a 2 15 21 25 28 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 83 84 85 86 87 91 93 101
a 2 21 25 28 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 93 101
a 2 21 25 28 31 35 36 41 42 43 45 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 93 96 101
a 2 21 25 28 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 93 96
a 21 25 28 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 93 96
a 2 21 25 28 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 96
a 2 21 25 28 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 77 79 81 83 84 85 86 87 91 93 96
a 2 21 25 28 29 31 35 36 41 42 43 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 93 96
a 2 21 25 28 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 81 83 84 85 86 87 91 93 96
a 2 25 28 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 93 96
a 2 21 25 28 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 93
a 2 15 21 25 28 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 85 86 87 91 93
a 2 15 21 25 28 29 31 35 36 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91 93
a 2 8 15 21 25 28 29 31 35 36 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 91 93
a 2 8 15 21 25 28 29 31 35 36 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 91
a 2 8 15 21 25 28 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 91
a 2 5 8 15 21 25 28 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 91
a 2 5 15 21 25 28 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 91
a 2 5 15 21 25 28 29 31 35 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86
a 2 5 8 15 21 25 28 29 31 35 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86
a 2 5 8 15 21 25 28 29 31 35 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85
a 2 5 8 15 21 25 28 29 31 35 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 85 91
a 5 8 15 21 25 28 29 31 35 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 85 86 91
a 5 15 21 25 28 29 31 35 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 91
a 2 5 15 21 25 28 29 31 35 36 41 42 43 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 91
a 2 5 15 21 28 29 31 35 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 91
a 2 5 15 21 25 28 29 31 35 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 84 85 86 91
a 2 5 8 15 25 28 29 31 35 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 84 85 86 91
a 2 5 8 15 25 28 29 30 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 84 85 86 91
a 2 5 8 15 25 28 29 30 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 79 81 83 84 85 86 91
a 2 5 8 15 21 25 28 29 30 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 79 81 83 84 85 91
a 2 5 8 15 21 25 28 29 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 79 81 83 84 85 86 91
a 5 8 15 21 25 26 28 29 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 79 81 83 84 85 86 91
a 5 8 15 21 25 26 29 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 91
a 5 8 15 21 25 26 29 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87
a 5 8 21 25 26 28 29 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87
a 8 15 21 25 26 28 29 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87
a 8 21 25 26 28 29 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 87 101
a 8 21 25 26 28 29 30 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 101
a 5 8 21 26 28 29 30 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 101
a 2 5 8 21 26 28 30 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 101
a 2 5 8 21 26 28 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 91 101
a 2 5 8 21 28 31 35 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 91 101
a 2 8 21 28 29 31 35 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 91 101
a 2 8 21 28 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 91 93 101
a 2 5 8 21 28 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 85 86 91 93
a 2 5 8 15 21 28 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 73 77 79 81 83 84 85 86 91 93
a 2 5 8 15 21 28 29 31 35 36 41 42 43 45 47 49 51 53 57 59 63 65 67 73 77 79 81 83 84 85 86 91 101
a 2 5 8 15 21 26 28 29 31 36 41 42 43 45 47 49 51 53 57 59 63 65 67 73 77 79 81 83 84 85 86 91 101
a 2 5 8 15 21 26 28 29 31 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 86 91 101
a 2 5 8 15 21 26 28 29 31 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 86 87 91
a 5 8 15 21 26 28 29 31 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 77 79 81 83 84 86 87 91 101
a 5 8 15 21 25 26 28 29 31 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 79 81 83 84 86 87 91 101
a 5 8 15 21 25 26 29 31 36 41 42 43 45 47 49 51 53 57 59 63 65 67 68 73 79 81 83 84 85 86 87 91 101
a 5 15 21 25 26 29 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 79 81 83 84 85 86 87 91 101
a 5 15 21 25 26 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 79 81 83 84 85 86 87 91 99 101
a 5 8 15 21 25 26 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 73 79 81 83 84 85 86 87 91 99 101
a 5 15 21 25 26 29 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 73 79 81 83 84 85 86 87 91 99 101
a 5 15 21 25 26 29 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 79 81 83 84 86 87 91 99 101
a 5 15 21 25 26 28 29 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 79 81 83 84 86 87 99 101
a 5 15 21 25 26 28 29 30 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 79 81 83 84 86 99 101
a 5 8 15 21 25 26 28 29 30 31 41 42 43 45 46 47 49 51 53 57 59 63 65 67 68 73 79 81 83 84 86 99 101
a 5 8 12 15 21 25 26 28 29 30 31 41 42 43 45 46 47 49 51 53 57 59 63 65 68 73 79 81 83 84 86 99 101
a 5 8 12 15 21 25 26 28 29 30 31 41 42 43 45 46 49 51 53 57 59 63 65 68 73 79 81 83 84 86 91 99 101
a 5 8 12 15 21 25 26 28 29 30 31 41 42 43 45 46 49 51 53 57 59 63 65 68 73 79 81 83 84 85 86 91 99
a 5 12 15 21 25 26 28 29 30 31 41 42 43 45 46 47 49 51 53 57 59 63 65 68 73 79 81 83 84 85 86 91 99
a 5 12 15 21 25 26 28 29 30 31 36 42 43 45 46 47 49 51 53 57 59 63 65 68 73 79 81 83 84 85 86 91 99
a 5 12 15 21 25 26 28 29 30 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 68 73 79 81 83 84 85 91 99
a 5 8 12 15 21 25 26 28 30 31 36 41 42 43 45 46 47 49 51 53 57 59 63 65 68 73 79 81 83 84 85 91 99
a 5 8 12 15 21 25 26 28 30 31 36 40 41 42 43 45 46 47 49 51 53 57 59 63 65 68 73 79 81 83 84 91 99
a 8 12 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 51 53 57 59 63 65 68 73 79 81 83 84 91 99
a 8 12 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 51 53 57 59 63 65 68 73 79 81 83 84 86 91
a 8 12 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 51 53 59 63 65 68 73 79 81 83 84 86 91 99
a 8 12 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 51 53 57 59 63 65 68 73 79 81 83 84 86 99
a 8 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 51 53 57 59 63 65 68 73 79 81 83 84 86 91 99
a 8 12 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 53 57 59 63 65 68 73 79 81 83 84 86 91 99
a 12 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 51 53 57 59 63 65 68 73 79 81 83 84 86 91 99
a 2 12 15 21 25 26 28 30 31 36 40 41 42 43 45 46 47 49 51 53 57 59 63 65 68 73 79 81 83 84 86 91 99
a 2 12 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 51 53 57 59 63 65 68 73 79 81 83 84 86 99
a 2 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 51 53 57 59 63 65 73 79 81 83 84 86 99
a 2 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 51 53 57 59 63 65 68 73 79 81 83 86 99
a 2 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 46 47 49 51 53 57 59 63 65 68 73 79 81 83 86 91 99
a 2 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 51 53 57 59 63 65 68 73 79 81 83 86 91 99
a 2 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 51 53 57 59 63 65 68 73 79 81 83 86 91 93 99
a 2 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 51 53 57 59 63 65 68 73 79 81 83 84 86 91 93 99
a 2 12 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 51 53 57 59 65 68 73 79 81 83 84 86 91 93 99
a 2 12 15 21 25 28 29 30 31 36 40 41 42 43 45 47 49 51 53 57 59 63 65 68 73 79 81 83 84 86 91 93 99
a 2 12 15 21 25 28 29 30 31 36 40 41 42 43 45 47 49 51 53 57 59 63 65 68 73 77 79 81 83 84 86 91 93
a 2 12 14 15 21 25 28 29 30 31 36 40 41 42 43 45 47 49 51 53 57 59 63 65 68 73 77 79 81 83 84 86 93
a 2 12 14 15 21 25 28 29 30 31 36 40 41 42 43 45 47 49 51 52 53 57 59 63 65 68 77 79 81 83 84 86 93
a 2 8 12 14 15 21 25 28 29 30 31 36 40 41 42 43 45 47 51 52 53 57 59 63 65 68 77 79 81 83 84 86 93
a 8 12 14 15 21 25 28 29 30 31 36 40 41 42 43 45 47 49 51 52 53 57 59 63 65 68 77 79 81 83 84 86 93
a 8 12 14 15 21 25 26 28 29 30 36 40 41 42 43 45 47 49 51 52 53 57 59 63 65 68 77 79 81 83 84 86 93
a 8 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 51 52 53 57 59 63 65 68 77 79 81 83 84 86
a 8 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 68 77 79 81 83 84 86
a 8 12 14 15 21 25 26 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 68 77 79 81 83 84 86
a 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 68 77 79 81 83 84 86
a 12 14 15 21 25 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 68 77 79 81 83 84 86 93
a 8 12 14 15 21 25 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 68 79 81 83 84 86 93
a 8 12 14 15 25 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 68 77 79 81 83 84 86 93
a 12 14 15 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 68 77 79 81 83 84 86 93
a 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 68 77 79 81 83 84 93
a 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 67 68 77 79 81 83 84 93
a 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 77 79 81 83 84
a 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 63 65 67 68 77 79 81 83 84 86
a 14 15 21 25 26 28 29 30 31 36 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 77 79 81 83 84 86
a 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 57 59 63 65 67 68 77 79 81 83 84 86
a 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 79 81 83 84 86
a 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 53 57 59 63 65 67 68 77 79 81 83 84 86
a 8 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 53 57 59 63 65 67 68 77 79 81 83 84 86
a 8 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 53 57 59 63 65 67 68 77 79 81 84 86
a 8 14 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 77 79 81 84 86
a 8 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 77 79 81 84 86
a 8 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 68 77 79 81 84 86
a 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 77 79 81 84 86
a 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 72 77 79 81 84
a 8 14 15 21 25 26 28 29 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 72 77 79 81 84
a 8 14 15 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 72 77 79 81 84
a 8 14 15 25 26 28 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 72 77 79 81 83 84
a 8 14 15 25 26 28 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 77 79 81 83 84 86
a 8 14 15 21 25 26 28 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 79 81 83 84 86
a 8 14 15 21 25 26 28 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 77 79 81 83 84
a 8 14 15 21 25 26 28 29 30 31 36 40 41 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 77 79 81 83 84
a 8 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 63 65 67 68 77 79 81 83 84
a 8 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 77 79 81 83 84
a 8 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 79 81 83 84 86
a 8 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 67 68 79 81 83 84 86
a 8 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 49 50 51 52 53 57 59 63 65 67 68 79 81 83 84 86 99
a 8 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 49 50 51 52 53 57 59 63 65 67 68 79 81 83 84 86 99
a 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 67 68 79 81 83 84 86 99
a 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 65 67 68 79 81 83 86 99
a 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 65 67 68 79 81 83 86 91 99
a 14 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 67 68 79 81 83 86 91 99
a 14 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 67 68 77 79 81 83 86 91
a 14 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 65 67 68 77 79 81 83 86
a 14 15 21 25 26 28 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 65 67 68 77 79 81 83 86
a 12 14 15 21 25 26 28 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 65 68 77 79 81 83 86
a 12 14 15 21 25 26 28 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 65 68 77 79 81 83 91
a 12 14 21 25 26 28 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 65 68 77 79 81 83 86 91
a 12 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 65 68 77 79 81 83 86 91
a 14 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 65 68 77 79 81 83 86 91
a 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 65 68 77 79 81 83 86
a 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 65 68 72 77 79 81 83
a 8 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 65 68 72 77 79 81
a 8 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 65 68 72 77 79 81 83
a 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 65 68 72 77 79 81 83 91
a 14 15 21 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 65 68 72 77 79 81 83 91
a 2 14 15 21 26 28 29 30 31 36 41 42 43 45 46 47 49 50 51 52 53 55 57 59 63 65 68 72 77 79 81 83 91
a 2 14 15 21 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 68 72 77 79 81 83 91
a 2 12 14 15 21 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 68 72 77 79 81 83 91
a 2 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 57 59 63 65 68 72 77 79 81 83 91
a 2 12 14 15 21 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 57 59 63 65 68 72 77 79 81 83 84 91
a 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 57 59 63 65 68 72 77 79 81 83 84 91
a 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 57 63 65 68 72 77 79 81 83 84 91
a 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 57 59 63 65 68 72 77 79 81 83 84 91
a 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 68 72 77 79 81 83 84 91
a 12 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 68 77 79 81 83 84 91
a 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 68 77 79 81 83 84 91
a 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 68 72 77 79 81 83 84
a 2 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 68 72 77 79 83 84
a 2 8 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 50 51 52 53 57 59 63 65 68 72 77 79 83 84
a 2 8 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 68 72 79 83 84
a 2 8 12 14 15 21 25 26 28 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 68 72 79 83 84
a 2 8 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 51 52 53 57 59 63 65 68 72 79 83 84
a 2 8 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 68 72 83 84
a 2 8 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 65 68 72 79 83 84
a 2 8 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 65 68 72 77 79 84
a 2 8 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 68 72 77 79
a 2 8 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 68 72 77 91
a 2 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 68 72 77 79 91
a 2 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 46 47 49 50 51 52 53 57 59 63 65 68 72 77 79 84
a 2 12 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 68 72 77 79 84 93
a 2 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 67 68 72 77 79 84 93
a 2 8 14 15 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 67 68 72 77 79 93
a 2 8 14 21 25 26 28 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 57 59 63 65 67 68 72 77 79 93 96
a 2 8 14 21 25 26 29 30 31 36 40 41 42 43 45 47 49 50 51 52 53 56 57 59 63 65 67 68 72 77 79 93 96
a 2 8 14 17 21 25 26 29 30 36 40 41 42 43 45 47 49 50 51 52 53 56 57 59 63 65 67 68 72 77 79 93 96
a 2 8 14 17 21 25 26 30 36 40 41 42 43 45 47 49 50 51 52 53 56 57 59 63 65 67 68 72 77 79 92 93 96
a 2 8 14 17 21 25 26 30 36 40 41 42 45 47 49 50 51 52 53 56 57 59 63 65 67 68 72 77 79 92 93 96 102
a 2 8 14 17 21 25 26 30 36 40 41 42 45 47 49 50 51 52 53 56 57 59 63 65 66 67 68 77 79 92 93 96 102
a 2 8 14 17 21 25 26 30 36 41 42 45 47 49 50 51 52 53 56 57 59 63 65 66 67 68 77 79 92 93 95 96 102
a 2 8 14 17 21 25 26 30 34 36 41 42 45 47 49 50 51 52 53 56 57 59 63 66 67 68 77 79 92 93 95 96 102
a 2 8 14 17 21 25 26 30 34 36 41 42 45 47 49 50 51 52 53 56 57 59 63 66 67 68 77 92 93 95 96 102 103
a 2 8 14 17 21 25 26 30 34 36 41 42 47 49 50 51 52 53 56 57 59 63 66 67 68 69 77 92 93 95 96 102 103
a 2 8 14 17 21 25 26 30 34 36 41 42 44 47 50 51 52 53 56 57 59 63 66 67 68 69 77 92 93 95 96 102 103
a 2 8 14 17 21 25 26 30 34 36 37 41 42 44 47 50 51 52 53 56 57 63 66 67 68 69 77 92 93 95 96 102 103
a 2 8 14 17 21 26 30 34 36 37 41 42 44 47 50 51 52 53 56 57 63 66 67 68 69 77 92 93 95 96 97 102 103
a 2 8 14 16 17 21 26 30 34 36 37 41 42 44 47 50 52 53 56 57 63 66 67 68 69 77 92 93 95 96 97 102 103
a 2 8 14 16 17 21 26 30 32 34 37 41 42 44 47 50 52 53 56 57 63 66 67 68 69 77 92 93 95 96 97 102 103
a 2 8 14 16 17 21 30 32 34 37 41 42 44 47 50 52 53 56 57 63 66 67 68 69 75 77 92 93 95 96 97 102 103
a 2 8 14 16 17 21 30 32 34 37 41 42 44 47 50 52 56 57 63 66 67 68 69 75 77 90 92 93 95 96 97 102 103
a 2 8 16 17 19 21 30 32 34 37 41 42 44 47 50 52 56 57 63 66 67 68 69 75 77 90 92 93 95 96 97 102 103
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: 259
#END: [Mon Sep  4 16:41:11 2023]