#BEGIN: [Mon Sep  4 21:51:54 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance007_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance007_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_instance007_graph001.col /benchmark/random_instance/random_instance007_graph001_01.dat
c /benchmark/random_instance/random_instance007_graph001.col
c /benchmark/random_instance/random_instance007_graph001_01.dat
s 48 25 11 33 36 22 84 62 80 30 46 24 70 31 12 28 21 9 17 88 83 42 72 78 82 35 40 13 76
t 88 27 17 40 22 58 41 13 57 49 26 61 82 19 31 70 35 21 46 76 8 16 78 87 9 80 33 25 36
a YES
a 9 11 12 13 17 21 22 24 25 28 30 31 33 35 36 40 42 46 48 62 70 72 76 78 80 82 83 84 88
a 9 11 12 13 17 21 22 24 25 27 28 30 31 33 35 36 40 42 46 48 62 70 72 76 78 80 82 83 88
a 9 11 12 13 16 17 21 22 24 25 27 28 30 31 33 35 36 40 42 46 48 62 70 72 76 78 80 82 88
a 9 11 12 13 16 17 21 22 25 27 28 30 31 33 35 36 40 42 46 48 58 62 70 72 76 78 80 82 88
a 8 9 11 13 16 17 21 22 25 27 28 30 31 33 35 36 40 42 46 48 58 62 70 72 76 78 80 82 88
a 8 9 11 13 16 17 21 22 25 27 28 30 31 33 35 36 40 42 46 48 58 61 62 70 76 78 80 82 88
a 8 9 11 13 16 17 21 22 25 27 28 30 31 33 35 36 40 46 48 57 58 61 62 70 76 78 80 82 88
a 8 9 11 13 17 21 22 25 27 28 30 31 33 35 36 40 46 48 57 58 61 62 70 76 78 80 82 87 88
a 8 9 11 13 17 21 22 25 27 28 30 31 33 35 36 40 46 57 58 61 62 70 76 78 80 82 83 87 88
a 9 11 13 17 21 22 25 27 28 30 31 33 35 36 40 46 48 57 58 61 62 70 76 78 80 82 83 87 88
a 9 11 13 17 21 22 25 27 28 30 31 33 35 36 40 46 57 58 61 62 64 70 76 78 80 82 83 87 88
a 9 11 13 14 17 21 22 25 27 28 30 31 33 35 36 40 46 57 58 61 62 64 70 76 80 82 83 87 88
a 8 9 11 13 14 17 21 22 25 27 28 30 31 33 35 36 40 46 57 58 61 62 70 76 80 82 83 87 88
a 8 9 11 13 14 17 21 22 25 27 28 30 31 33 36 40 46 48 57 58 61 62 70 76 80 82 83 87 88
a 9 11 13 14 17 21 22 25 27 28 30 31 33 36 40 46 47 48 57 58 61 62 70 76 80 82 83 87 88
a 9 11 13 14 17 21 22 25 27 28 30 31 33 36 40 46 47 48 57 58 61 62 70 76 80 81 82 83 87
a 9 11 14 17 21 22 25 27 28 30 31 33 36 40 46 47 48 57 58 61 62 64 70 76 80 81 82 83 87
a 9 11 13 14 17 21 22 25 27 28 30 31 33 36 40 46 47 48 57 58 61 62 64 70 76 80 81 83 87
a 9 13 14 17 21 22 25 27 28 30 31 33 35 36 40 46 47 48 57 58 61 62 64 70 76 80 81 83 87
a 9 13 14 17 21 22 25 27 28 30 31 33 35 36 40 46 47 48 57 58 61 62 64 70 76 77 80 81 87
a 9 14 17 21 22 25 27 28 30 31 33 35 36 40 46 47 48 57 58 61 62 64 70 76 77 80 81 83 87
a 9 14 17 21 22 25 27 28 30 31 33 35 36 40 45 46 47 48 57 58 61 62 64 70 76 77 80 81 83
a 9 14 17 21 22 25 27 28 30 31 33 35 36 40 45 46 47 48 57 58 61 62 64 70 76 80 81 83 87
a 9 11 14 21 22 25 27 28 30 31 33 35 36 40 45 46 47 48 57 58 61 62 64 70 76 80 81 83 87
a 9 14 21 22 25 27 28 30 31 33 35 36 40 45 46 47 48 50 57 58 61 62 64 70 76 80 81 83 87
a 9 14 22 25 27 28 30 31 33 35 36 40 45 46 47 48 50 57 58 61 62 64 70 76 80 81 82 83 87
a 9 14 17 22 25 27 28 30 31 33 35 36 40 45 46 47 48 50 57 58 61 62 64 70 76 80 81 82 83
a 9 14 17 21 22 25 27 28 30 33 35 36 40 45 46 47 48 50 57 58 61 62 64 70 76 80 81 82 83
a 9 14 17 21 22 25 27 28 30 31 33 35 36 40 45 46 47 48 50 57 58 61 62 64 70 76 81 82 83
a 9 14 17 21 22 25 27 28 30 31 33 35 36 40 45 46 47 48 50 57 58 61 62 64 70 76 82 83 87
a 9 14 17 21 22 25 27 28 30 31 33 35 36 40 45 46 47 48 50 57 58 61 62 64 70 76 83 87 88
a 9 14 17 21 22 25 27 28 30 31 33 35 40 45 46 47 48 50 57 58 61 62 64 70 76 82 83 87 88
a 9 14 17 21 22 25 27 28 30 31 33 35 40 45 46 47 48 50 56 57 58 61 62 64 70 76 83 87 88
a 9 14 17 21 22 25 27 28 30 31 33 35 40 45 46 47 48 50 56 57 58 61 64 70 76 77 83 87 88
a 9 14 17 21 22 25 27 28 30 31 33 35 40 45 46 47 48 50 56 57 58 61 62 64 70 76 77 87 88
a 9 14 17 21 22 25 27 28 30 31 33 35 36 40 45 46 47 48 50 56 57 58 61 62 64 76 77 87 88
a 9 14 17 21 22 25 27 28 30 31 33 35 36 40 45 46 47 48 50 56 57 58 61 62 64 76 77 86 88
a 9 14 17 21 22 25 27 28 30 31 33 35 36 40 45 46 47 48 50 56 57 58 61 62 64 70 77 86 88
a 9 14 17 21 22 25 27 28 30 31 33 35 36 43 45 46 47 48 50 56 57 58 61 62 64 70 77 86 88
a 14 17 21 22 25 27 28 30 31 33 35 36 43 45 46 47 48 50 56 57 58 61 62 64 65 70 77 86 88
a 14 17 21 22 25 27 28 30 31 33 35 36 43 45 46 47 48 50 56 57 58 61 62 64 65 70 86 87 88
a 14 17 21 25 27 28 30 31 33 35 36 43 45 46 47 48 50 56 57 58 61 62 64 65 70 83 86 87 88
a 14 17 21 25 27 28 30 31 33 35 36 43 45 46 47 48 50 56 57 58 61 62 64 65 70 83 86 87 90
a 14 15 17 21 25 27 28 30 31 33 35 36 43 45 46 47 48 50 56 57 58 61 62 64 65 70 83 86 87
a 14 15 17 21 25 27 28 30 31 33 35 36 43 45 46 47 48 50 56 57 58 61 62 64 65 70 81 83 87
a 14 15 21 25 27 28 30 31 33 35 36 43 45 46 47 48 50 56 57 58 61 62 64 65 70 81 83 86 87
a 4 14 15 21 25 27 28 30 31 33 35 36 43 45 46 47 48 50 56 57 58 61 62 64 65 70 81 83 87
a 4 14 15 21 25 27 28 31 33 35 36 43 45 46 47 48 50 56 57 58 60 61 62 64 65 70 81 83 87
a 4 14 15 21 25 27 28 31 33 35 36 43 45 46 47 48 50 56 57 58 60 61 62 64 65 70 81 86 87
a 4 14 15 21 25 27 28 31 33 35 36 45 46 47 48 50 56 57 58 60 61 62 64 65 70 76 81 86 87
a 4 14 15 21 25 27 31 33 35 36 45 46 47 48 50 56 57 58 60 61 62 63 64 65 70 76 81 86 87
a 4 14 15 21 25 27 31 33 36 45 46 47 48 50 56 57 58 60 61 62 63 64 65 70 76 81 86 87 90
a 4 14 15 17 25 27 31 33 36 45 46 47 48 50 56 57 58 60 61 62 63 64 65 70 76 81 86 87 90
a 4 10 14 15 17 25 27 31 33 36 45 46 47 48 50 56 57 58 60 61 62 63 65 70 76 81 86 87 90
a 1 4 10 14 15 17 25 27 31 33 36 45 46 47 48 50 56 57 58 60 62 63 65 70 76 81 86 87 90
a 1 4 5 10 14 15 17 25 27 31 33 36 45 46 47 48 50 56 57 58 62 63 65 70 76 81 86 87 90
a 1 4 5 10 14 15 17 25 27 31 33 36 45 46 47 48 50 56 57 58 62 63 64 65 70 76 81 86 87
a 1 5 10 14 15 17 25 27 31 33 36 45 46 47 48 50 56 57 58 62 63 64 65 70 76 77 81 86 87
a 1 5 10 14 15 17 21 25 27 31 33 36 45 46 47 48 50 56 57 58 62 63 64 65 70 76 77 86 87
a 1 5 14 15 17 21 25 27 31 33 36 45 46 47 48 50 56 57 58 62 63 64 65 70 76 77 83 86 87
a 1 5 14 15 17 21 25 27 30 31 33 36 45 46 47 48 50 56 57 58 62 63 64 65 70 76 77 83 86
a 1 5 14 15 17 21 25 27 30 31 33 36 45 46 47 48 50 56 57 58 62 63 64 65 76 77 83 86 87
a 1 5 14 15 17 21 25 27 30 31 33 36 45 46 47 48 50 56 57 58 62 63 64 65 76 77 81 83 86
a 1 5 14 15 17 21 25 27 30 33 36 38 45 46 47 48 50 56 57 58 62 63 64 65 76 77 81 83 86
a 1 12 14 15 17 21 25 27 30 33 36 38 45 46 47 48 50 56 57 58 62 63 64 65 76 77 81 83 86
a 1 9 12 14 15 17 21 25 27 30 33 36 38 45 46 47 48 50 56 57 58 62 63 64 76 77 81 83 86
a 1 9 12 14 17 21 25 27 30 33 36 38 45 46 47 48 50 56 57 58 62 63 64 76 77 81 83 86 87
a 1 9 12 17 21 25 27 30 33 36 38 45 46 47 48 49 50 56 57 58 62 63 64 76 77 81 83 86 87
a 1 5 9 12 17 21 25 27 30 33 36 38 45 46 47 48 49 50 56 57 58 62 63 76 77 81 83 86 87
a 1 5 9 12 17 21 25 27 30 33 36 38 45 46 47 49 50 52 56 57 58 62 63 76 77 81 83 86 87
a 1 5 9 10 12 17 21 25 27 30 33 36 38 45 46 47 49 52 56 57 58 62 63 76 77 81 83 86 87
a 1 5 9 10 12 17 21 25 27 30 33 36 38 45 46 47 49 52 56 57 58 62 63 64 76 77 81 83 86
a 1 5 10 12 17 21 25 27 30 33 36 38 41 45 46 47 49 52 56 57 58 62 63 64 76 77 81 83 86
a 1 5 10 12 17 21 25 27 30 33 36 38 41 45 46 47 49 52 56 57 58 62 63 64 76 77 80 81 83
a 1 5 10 12 17 21 25 27 30 33 36 38 41 45 46 47 49 52 56 57 58 62 63 64 76 77 81 83 89
a 1 5 10 12 17 21 25 27 30 33 36 38 41 45 46 47 49 56 57 58 62 63 64 70 76 77 81 83 89
a 5 9 10 12 17 21 25 27 30 33 36 38 41 45 46 47 49 56 57 58 62 63 64 70 76 77 81 83 89
a 5 9 10 12 17 21 25 27 30 33 38 41 45 46 47 49 56 57 58 62 63 64 70 76 77 78 81 83 89
a 1 5 9 10 17 21 25 27 30 33 38 41 45 46 47 49 56 57 58 62 63 64 70 76 77 78 81 83 89
a 1 5 9 10 17 21 25 30 33 38 41 45 46 47 49 54 56 57 58 62 63 64 70 76 77 78 81 83 89
a 1 5 9 10 12 17 21 25 30 33 38 41 45 46 47 49 54 56 57 58 62 63 64 70 76 77 78 81 83
a 1 5 9 10 12 17 21 30 33 38 41 45 46 47 49 54 56 57 58 62 63 64 70 76 77 78 80 81 83
a 1 5 9 10 12 17 21 30 33 38 41 45 46 47 49 54 56 57 58 62 63 64 70 76 77 78 80 81 87
a 1 5 9 10 12 17 21 27 30 33 38 41 45 46 47 49 56 57 58 62 63 64 70 76 77 78 80 81 87
a 1 5 9 10 12 17 21 27 30 33 38 41 45 46 47 49 50 56 57 58 62 63 64 70 76 77 78 80 81
a 1 5 9 10 12 15 17 21 27 30 33 41 45 46 47 49 50 56 57 58 62 63 64 70 76 77 78 80 81
a 1 5 9 10 12 13 15 17 21 27 30 33 41 46 47 49 50 56 57 58 62 63 64 70 76 77 78 80 81
a 1 5 9 10 12 15 17 21 27 30 33 41 46 47 49 50 56 57 58 62 63 64 70 76 77 78 80 81 83
a 1 5 9 10 12 15 17 21 27 30 33 36 41 46 47 49 50 56 57 58 62 63 64 70 76 77 78 81 83
a 1 5 9 12 13 15 17 21 27 30 33 36 41 46 47 49 50 56 57 58 62 63 64 70 76 77 78 81 83
a 1 5 9 10 12 13 15 17 27 30 33 36 41 46 47 49 50 56 57 58 62 63 64 70 76 77 78 81 83
a 1 5 9 10 12 13 15 17 27 30 33 36 38 41 46 47 49 56 57 58 62 63 64 70 76 77 78 81 83
a 1 5 9 10 12 13 15 17 21 27 30 33 36 38 41 46 47 49 56 57 58 62 63 64 70 76 77 78 83
a 1 5 9 10 12 13 15 17 21 25 27 30 33 36 38 41 46 47 49 56 57 62 63 64 70 76 77 78 83
a 1 5 9 10 12 13 15 17 21 25 27 30 36 38 41 46 47 49 56 57 62 63 64 70 76 77 78 81 83
a 1 5 9 10 12 13 15 17 21 25 27 30 33 36 41 46 47 49 56 57 62 63 64 70 76 77 78 81 83
a 1 5 10 12 13 15 17 21 25 27 30 33 36 41 46 47 49 56 57 58 62 63 64 70 76 77 78 81 83
a 1 5 10 12 13 15 17 21 25 27 30 33 36 41 46 47 49 56 57 58 62 63 64 70 76 77 78 81 87
a 1 5 9 10 12 13 15 17 21 25 27 30 33 36 41 46 49 56 57 58 62 63 64 70 76 77 78 81 87
a 1 5 9 10 12 13 15 17 21 25 27 30 33 36 41 46 47 49 56 57 58 62 63 64 70 76 77 78 87
a 1 5 9 10 12 13 15 17 21 25 30 33 36 41 46 47 49 56 57 58 62 63 64 70 76 77 78 81 87
a 1 5 9 10 12 13 15 17 21 25 27 30 33 36 41 46 47 49 56 57 58 62 63 64 76 77 78 81 87
a 1 9 10 12 13 15 17 21 25 27 30 33 36 41 46 47 49 56 57 58 62 63 64 70 76 77 78 81 87
a 1 9 10 12 13 15 17 21 25 27 30 33 36 41 46 47 49 56 57 58 62 63 64 70 76 77 78 81 83
a 1 5 9 10 12 13 15 17 21 25 27 30 33 36 41 46 47 49 56 57 58 62 63 64 70 76 77 78 83
a 1 5 9 10 12 13 15 17 21 25 27 30 33 36 41 46 47 49 56 57 58 62 63 64 70 76 78 80 83
a 1 5 9 10 12 13 15 17 21 25 27 30 33 36 41 46 47 49 56 57 58 62 63 64 70 76 78 80 87
a 1 5 9 10 12 13 15 17 21 25 27 30 31 33 36 41 46 47 49 56 57 58 62 63 64 70 76 78 87
a 1 5 9 10 12 13 15 17 21 25 27 30 31 33 36 41 46 47 49 56 57 58 62 63 64 70 76 81 87
a 1 4 5 10 12 13 15 17 21 25 27 30 31 33 36 41 46 47 49 56 57 58 62 63 64 70 76 81 87
a 1 4 5 10 12 15 17 21 25 27 30 31 33 36 41 46 47 49 56 57 58 62 63 64 70 76 81 87 90
a 1 4 5 10 12 15 17 21 25 27 30 31 33 36 41 46 47 49 56 57 58 62 63 64 70 76 78 81 87
a 1 4 5 10 12 15 17 21 25 27 30 31 33 36 41 45 46 47 49 56 57 58 63 64 70 76 78 81 87
a 1 4 10 12 15 17 21 25 27 30 31 33 36 41 45 46 47 49 56 57 58 63 64 70 76 78 81 87 89
a 4 10 12 15 17 18 21 25 27 30 31 33 36 41 45 46 47 49 56 57 58 63 64 70 76 78 81 87 89
a 4 10 12 15 17 18 21 25 26 27 30 31 33 41 45 46 47 49 56 57 58 63 64 70 76 78 81 87 89
a 4 10 12 15 17 18 21 23 25 26 27 30 31 33 41 45 46 47 49 56 57 58 63 64 70 76 81 87 89
a 4 10 12 15 17 18 21 23 25 26 27 30 31 33 41 46 47 49 56 57 58 63 64 70 76 78 81 87 89
a 4 10 12 15 17 18 21 23 25 26 27 30 31 33 41 46 47 49 56 57 58 63 64 70 76 78 81 86 87
a 4 12 15 17 18 21 23 25 26 27 30 31 33 41 45 46 47 49 56 57 58 63 64 70 76 78 81 86 87
a 4 5 12 15 17 18 21 23 25 26 27 30 31 33 41 45 46 47 49 56 57 58 63 64 70 76 78 81 87
a 4 5 10 15 17 18 21 23 25 26 27 30 31 33 41 45 46 47 49 56 57 58 63 64 70 76 78 81 87
a 4 5 10 12 15 17 18 21 23 25 26 27 30 31 33 41 45 46 47 49 56 57 58 63 64 70 76 78 81
a 4 5 10 12 15 17 18 21 23 25 26 27 30 31 33 41 46 47 49 56 57 58 63 64 70 76 78 81 89
a 4 5 12 15 17 18 21 23 25 26 27 30 31 33 41 46 47 49 56 57 58 63 64 70 76 78 81 83 89
a 4 5 12 13 15 18 21 23 25 26 27 30 31 33 41 46 47 49 56 57 58 63 64 70 76 78 81 83 89
a 4 5 12 13 15 18 21 23 25 27 30 31 33 41 46 47 49 56 57 58 62 63 64 70 76 78 81 83 89
a 5 12 13 15 18 21 23 25 27 30 31 33 41 46 47 49 56 57 58 62 63 64 70 76 77 78 81 83 89
a 5 12 13 15 18 21 23 25 27 30 31 33 41 46 47 49 57 58 62 63 64 70 76 77 78 81 83 87 89
a 5 12 15 18 21 23 25 27 30 31 33 41 46 47 49 56 57 58 62 63 64 70 76 77 78 81 83 87 89
a 5 12 15 18 21 23 25 27 30 31 33 41 46 47 49 56 58 62 63 64 70 76 77 78 81 83 86 87 89
a 12 15 18 21 23 25 27 30 31 33 41 46 47 49 56 57 58 62 63 64 70 76 77 78 81 83 86 87 89
a 12 13 15 18 21 23 25 27 30 31 33 41 46 47 49 56 57 58 62 63 64 70 76 77 78 81 83 87 89
a 12 13 15 17 18 23 25 27 30 31 33 41 46 47 49 56 57 58 62 63 64 70 76 77 78 81 83 87 89
a 5 12 13 15 17 18 25 27 30 31 33 41 46 47 49 56 57 58 62 63 64 70 76 77 78 81 83 87 89
a 5 12 13 15 18 21 25 27 30 31 33 41 46 47 49 56 57 58 62 63 64 70 76 77 78 81 83 87 89
a 5 12 13 15 17 18 21 25 27 30 31 33 41 46 47 49 56 57 58 62 63 64 70 76 77 78 81 83 89
a 5 12 13 15 17 18 21 25 27 30 31 33 41 46 47 49 56 57 58 63 64 70 76 77 78 81 83 87 89
a 5 12 13 17 18 21 25 27 30 31 33 40 41 46 47 49 56 57 58 63 64 70 76 77 78 81 83 87 89
a 5 12 13 15 17 18 21 25 27 30 31 33 40 41 46 47 49 56 57 58 63 64 70 76 77 78 81 83 87
a 5 12 15 17 18 21 25 27 30 31 33 40 41 46 47 49 56 57 58 62 63 64 70 76 77 78 81 83 87
a 5 12 15 18 21 25 27 30 31 33 40 41 45 46 47 49 56 57 58 62 63 64 70 76 77 78 81 83 87
a 1 5 12 15 18 21 25 27 30 31 33 40 41 45 46 47 49 56 57 58 62 63 64 70 76 77 78 81 87
a 1 5 12 15 18 21 25 27 30 31 33 40 41 45 46 47 49 56 57 58 62 63 64 70 76 77 81 87 89
a 1 5 12 15 18 21 27 30 31 33 40 41 45 46 47 49 56 57 58 62 63 64 70 76 77 78 81 87 89
a 1 5 12 15 18 21 27 30 33 38 40 41 45 46 47 49 56 57 58 62 63 64 70 76 77 78 81 87 89
a 1 5 12 15 18 21 27 30 33 36 38 40 41 45 46 47 49 56 57 58 62 63 64 70 76 77 78 87 89
a 1 5 12 15 17 21 27 30 33 36 38 40 41 45 46 47 49 56 57 58 62 63 64 70 76 77 78 87 89
a 1 5 12 15 17 18 21 27 30 33 36 38 40 41 45 46 47 49 56 57 58 62 63 64 70 76 77 78 87
a 1 5 12 15 17 18 21 30 33 36 38 40 41 45 46 47 49 54 56 57 58 62 63 64 70 76 77 78 87
a 1 5 12 15 17 18 21 30 33 36 38 39 40 41 45 46 49 54 56 57 58 62 63 64 70 76 77 78 87
a 1 5 12 15 17 18 21 30 33 36 38 39 40 41 45 46 49 54 56 57 58 62 63 70 76 77 78 83 87
a 1 12 15 17 18 21 25 30 33 36 38 39 40 41 45 46 49 54 56 57 58 62 63 70 76 77 78 83 87
a 1 5 12 15 17 18 21 25 30 33 36 38 39 40 41 45 46 49 54 56 57 58 62 63 70 76 77 78 83
a 1 5 12 15 17 18 21 25 30 33 36 39 40 41 45 46 49 54 56 57 58 62 63 70 76 77 78 81 83
a 1 5 8 15 17 18 21 25 30 33 36 39 40 41 45 46 49 54 56 57 58 62 63 70 76 77 78 81 83
a 1 8 15 17 18 21 25 29 30 33 36 39 40 41 45 46 49 54 56 57 58 62 63 70 76 77 78 81 83
a 1 5 8 15 17 18 21 25 29 30 33 36 39 40 41 45 46 49 54 56 57 62 63 70 76 77 78 81 83
a 1 5 8 15 17 18 21 25 29 30 36 39 40 41 45 46 49 54 56 57 58 62 63 70 76 77 78 81 83
a 1 5 8 15 18 21 25 29 30 33 36 39 40 41 45 46 49 54 56 57 58 62 63 70 76 77 78 81 83
a 1 5 8 15 18 21 25 29 30 31 33 36 39 40 41 45 46 49 54 56 57 58 62 63 70 76 78 81 83
a 1 5 8 15 18 21 25 29 30 31 33 36 39 40 41 45 46 49 54 56 57 58 62 63 70 76 77 81 83
a 1 5 8 15 17 18 21 25 29 30 31 33 36 39 40 41 45 46 49 54 56 57 58 62 63 70 77 81 83
a 1 5 15 17 18 21 25 29 30 31 33 36 39 40 41 45 46 49 54 56 57 58 62 63 70 72 77 81 83
a 1 5 8 15 18 21 25 29 30 31 33 36 39 40 41 45 46 49 54 56 57 58 62 63 70 72 77 81 83
a 1 5 8 15 18 21 25 29 30 31 33 36 39 40 41 45 46 49 54 56 57 58 62 63 70 72 77 78 83
a 1 5 8 15 18 21 25 29 30 33 36 38 39 40 41 45 46 49 54 56 57 58 62 63 70 72 77 78 83
a 1 5 8 15 18 21 25 29 30 33 36 38 39 40 41 45 46 49 54 56 57 58 62 63 70 72 77 78 87
a 1 5 8 15 18 21 25 29 30 33 36 38 39 40 41 45 46 49 56 57 58 62 63 70 72 77 78 83 87
a 1 5 8 15 18 21 25 29 30 33 36 38 39 40 41 45 46 49 56 57 58 62 63 70 72 78 83 87 89
a 1 5 8 15 18 21 25 29 30 33 36 38 39 41 45 46 49 56 57 58 62 63 70 72 76 78 83 87 89
a 1 5 8 15 17 18 21 25 29 30 33 36 38 39 41 45 46 49 56 57 58 63 70 72 76 78 83 87 89
a 1 5 8 15 17 18 21 25 29 30 33 36 38 39 41 45 46 49 54 56 57 58 63 72 76 78 83 87 89
a 1 5 8 15 17 18 21 25 29 30 33 36 38 39 41 45 46 49 54 56 57 58 63 70 72 76 83 87 89
a 1 5 8 15 17 18 21 25 29 30 33 36 38 39 41 45 46 49 54 56 57 58 63 70 72 76 77 83 87
a 1 5 8 15 17 18 21 25 29 30 33 36 38 39 41 45 46 49 52 54 56 57 58 63 72 76 77 83 87
a 1 5 8 15 17 18 21 25 29 30 33 36 38 39 40 41 45 46 49 52 54 56 57 58 63 72 76 77 83
a 1 5 8 15 17 18 21 25 29 30 33 36 38 39 40 41 45 46 49 52 54 56 57 58 63 72 76 77 78
a 1 5 8 15 17 18 21 25 29 30 33 36 38 39 40 41 45 46 49 54 56 57 58 63 70 72 76 77 78
a 1 5 8 15 17 18 21 25 29 30 33 36 38 39 40 41 44 45 46 49 54 56 57 58 63 70 72 76 77
a 1 5 8 15 17 18 21 25 29 30 33 36 38 39 40 41 44 45 46 49 54 56 57 58 63 70 72 76 83
a 1 5 8 15 17 18 21 25 29 30 33 35 36 38 39 40 41 44 45 46 49 54 56 57 58 70 72 76 83
a 1 5 8 15 17 18 21 25 29 30 33 35 36 38 39 40 41 44 45 46 49 54 56 57 58 70 72 76 77
a 1 5 8 15 17 18 21 25 29 30 33 35 36 38 39 40 41 44 45 46 49 54 57 58 70 72 76 77 89
a 1 5 8 15 17 18 21 25 29 30 33 35 36 38 39 40 41 44 45 46 49 54 56 57 58 70 72 76 89
a 1 5 8 15 17 18 21 25 29 30 33 35 36 38 39 40 41 44 45 46 49 54 56 57 58 62 70 72 76
a 1 5 8 15 17 18 21 25 29 30 33 35 36 38 39 40 41 44 45 46 54 56 57 58 62 70 72 76 77
a 1 5 8 15 17 18 21 25 29 30 33 35 36 38 39 40 41 44 45 46 54 56 57 58 62 70 72 77 83
a 1 5 8 15 17 18 21 25 29 30 33 35 36 38 39 40 41 44 45 46 49 54 56 57 58 62 70 72 83
a 1 5 8 15 17 18 21 25 29 30 33 35 36 38 39 40 41 44 45 46 49 54 56 57 58 62 70 72 78
a 1 5 8 15 17 18 21 25 29 30 33 35 36 38 39 41 44 45 46 49 54 56 57 58 62 70 72 78 83
a 1 5 8 15 17 18 21 25 29 30 33 35 36 38 39 41 44 45 46 49 54 56 57 58 62 70 78 83 89
a 1 4 5 8 15 17 18 21 25 29 30 33 36 38 39 41 44 45 46 49 54 56 57 58 62 70 78 83 89
a 1 4 5 8 15 17 18 21 25 29 30 33 36 38 39 41 44 45 46 49 54 56 57 58 62 70 78 87 89
a 1 4 5 8 15 17 18 21 25 29 30 33 36 38 39 41 44 45 46 54 56 57 58 62 70 78 83 87 89
a 1 4 5 8 15 17 18 21 25 29 30 33 35 36 38 39 41 44 45 46 54 56 57 58 62 70 78 83 87
a 1 4 5 8 15 17 18 21 25 29 30 33 35 36 38 39 41 44 45 46 54 56 57 58 62 70 72 83 87
a 1 4 5 8 15 18 21 25 29 30 33 35 36 38 39 41 44 45 46 54 56 57 58 62 70 72 83 87 89
a 1 4 5 8 15 18 21 25 29 30 35 36 38 39 41 44 45 46 54 56 57 58 62 70 72 78 83 87 89
a 1 4 5 8 15 18 21 25 29 30 35 36 38 39 41 44 45 46 54 56 57 58 59 62 70 72 78 83 89
a 1 4 5 8 15 18 21 25 29 30 35 36 38 39 41 44 45 46 54 56 57 58 59 62 70 72 78 81 83
a 1 4 5 8 15 18 19 21 25 29 35 36 38 39 41 44 45 46 54 56 57 58 59 62 70 72 78 81 83
a 1 4 8 15 18 19 21 25 29 35 36 38 39 41 44 45 46 54 56 57 58 59 62 70 72 78 81 83 89
a 1 4 5 8 15 18 19 21 25 29 36 38 39 41 44 45 46 54 56 57 58 59 62 70 72 78 81 83 89
a 1 4 5 8 15 17 18 19 21 25 29 36 38 39 41 44 45 46 54 56 57 58 59 62 70 72 78 81 83
a 1 4 5 8 15 17 18 19 21 25 35 36 38 39 41 44 45 46 54 56 57 58 59 62 70 72 78 81 83
a 1 4 5 8 15 17 18 19 21 25 35 36 38 39 41 44 45 46 54 56 57 58 59 62 70 72 81 83 89
a 1 4 5 8 15 17 18 19 21 25 35 36 38 39 41 44 45 46 54 56 57 58 59 62 70 72 78 81 89
a 1 4 5 8 15 17 18 19 21 25 35 36 38 39 41 44 45 46 54 56 57 58 59 62 70 72 76 78 81
a 1 4 5 8 17 18 19 21 25 29 35 36 38 39 41 44 45 46 54 56 57 58 59 62 70 72 76 78 81
a 1 4 5 8 17 18 19 21 25 29 35 36 38 39 41 44 45 46 54 56 57 58 59 62 70 72 76 78 83
a 1 4 5 8 17 18 19 21 25 29 35 36 38 39 41 44 46 54 56 57 58 59 62 70 72 76 78 83 89
a 1 4 5 8 17 18 19 21 25 29 35 36 38 39 41 44 46 54 55 56 57 58 59 70 72 76 78 83 89
a 1 4 5 8 17 18 19 21 25 29 35 36 38 39 41 44 46 52 54 55 56 57 58 59 72 76 78 83 89
a 1 4 5 8 17 18 19 21 25 29 35 36 38 39 41 44 46 49 52 54 55 56 57 58 59 72 76 78 83
a 1 4 5 8 15 18 19 21 25 29 35 36 38 39 41 44 46 49 52 54 55 56 57 58 59 72 76 78 83
a 1 4 5 8 15 18 19 21 25 29 36 38 39 41 44 46 49 52 54 55 56 57 58 59 72 76 78 83 89
a 1 4 5 8 15 18 19 21 25 29 36 38 39 41 44 46 52 54 55 56 57 58 59 72 76 78 83 88 89
a 1 4 5 8 15 18 19 21 25 29 31 36 39 41 44 46 52 54 55 56 57 58 59 72 76 78 83 88 89
a 1 4 5 8 18 19 21 25 29 31 36 39 41 44 46 49 52 54 55 56 57 58 59 72 76 78 83 88 89
a 4 5 8 17 18 19 21 25 29 31 36 39 41 44 46 49 52 54 55 56 57 58 59 72 76 78 83 88 89
a 4 5 8 15 18 19 21 25 29 31 36 39 41 44 46 49 52 54 55 56 57 58 59 72 76 78 83 88 89
a 4 5 8 15 17 18 19 21 25 29 31 39 41 44 46 49 52 54 55 56 57 58 59 72 76 78 83 88 89
a 5 8 15 17 18 19 21 25 29 31 39 40 41 44 46 49 52 54 55 56 57 58 59 72 76 78 83 88 89
a 5 8 15 17 18 19 21 25 29 31 36 39 40 41 44 46 49 52 54 55 56 57 58 59 72 76 78 83 88
a 5 8 15 17 18 21 25 29 31 36 39 40 41 44 46 49 52 54 55 56 57 58 59 72 76 77 78 83 88
a 5 15 17 18 21 25 29 30 31 36 39 40 41 44 46 49 52 54 55 56 57 58 59 72 76 77 78 83 88
a 5 15 17 18 21 25 29 30 31 36 39 40 41 44 46 49 52 53 54 55 56 57 58 72 76 77 78 83 88
a 5 15 17 18 21 25 26 29 30 31 36 39 40 41 44 46 49 52 53 54 55 56 57 72 76 77 78 83 88
a 15 17 18 21 24 25 26 29 30 31 36 39 40 41 44 46 49 52 53 54 55 56 57 72 76 77 78 83 88
a 12 15 17 18 21 24 25 26 29 30 31 36 39 40 41 44 46 49 52 53 54 55 56 57 72 76 78 83 88
a 1 12 15 17 18 21 24 25 29 30 31 36 39 40 41 44 46 49 52 53 54 55 56 57 72 76 78 83 88
a 1 12 15 17 18 21 24 29 30 31 36 39 40 41 44 46 49 52 53 54 55 56 57 59 72 76 78 83 88
a 1 12 13 15 17 18 21 24 29 30 31 36 39 40 41 44 46 49 52 53 54 55 56 57 59 72 76 78 83
a 1 12 13 15 17 18 21 24 29 31 35 36 39 40 41 44 46 49 52 53 54 55 56 57 59 72 76 78 83
a 1 12 13 15 17 18 21 24 29 31 35 36 39 40 41 44 46 49 52 53 54 55 56 57 59 72 76 78 89
a 1 12 13 15 17 18 21 24 25 29 31 35 36 39 40 41 44 46 49 52 53 54 55 56 57 59 72 76 78
a 1 12 13 15 17 18 21 24 25 29 31 35 36 39 40 41 44 46 49 52 53 54 55 56 57 59 63 72 78
a 1 5 12 13 15 17 18 21 24 25 29 31 35 36 39 40 41 44 46 49 52 53 54 55 56 57 59 72 78
a 1 5 12 13 15 17 18 21 24 25 29 31 35 36 39 40 41 44 46 49 52 53 54 55 56 57 59 72 89
a 1 5 12 13 15 17 18 21 24 25 29 31 35 36 39 40 41 44 46 49 52 53 54 55 57 59 72 78 89
a 1 5 12 13 15 17 18 21 24 25 29 31 35 36 39 40 41 44 46 49 52 53 54 55 56 57 72 78 89
a 1 5 12 13 15 17 18 21 24 25 29 30 31 35 36 39 40 41 44 46 49 52 54 55 56 57 72 78 89
a 1 5 12 13 15 17 18 21 25 29 30 31 35 36 39 40 41 44 46 49 52 54 55 56 57 72 78 83 89
a 1 5 12 13 15 17 18 21 24 25 29 30 31 35 36 39 40 41 44 46 49 52 54 55 56 57 72 78 83
a 1 5 12 13 15 17 18 21 24 25 29 30 31 33 35 36 40 41 44 46 49 52 54 55 56 57 72 78 83
a 1 5 12 13 15 17 18 21 24 25 29 30 31 33 35 36 41 43 44 46 49 52 54 55 56 57 72 78 83
a 5 12 13 15 17 18 21 24 25 26 29 30 31 33 35 36 41 43 44 46 49 52 54 55 56 57 72 78 83
a 5 12 13 15 17 21 24 25 26 29 30 31 33 35 36 39 41 43 44 46 49 52 54 55 56 57 72 78 83
a 5 12 13 15 17 21 24 25 26 29 30 31 33 35 36 39 41 43 44 46 49 52 54 55 56 57 72 78 89
a 5 12 13 15 17 21 24 25 26 29 30 31 33 35 36 39 41 43 44 46 49 52 54 55 56 57 65 72 89
a 5 12 13 15 17 21 24 25 26 29 30 31 35 36 39 41 43 44 46 49 52 54 55 56 57 59 65 72 89
a 5 12 13 15 17 18 21 24 26 29 30 31 35 36 39 41 43 44 46 49 52 54 55 56 57 59 65 72 89
a 5 12 13 15 17 18 21 24 26 29 30 35 36 39 41 43 44 46 49 52 54 55 56 57 59 65 72 83 89
a 5 12 13 15 18 21 24 25 26 29 30 35 36 39 41 43 44 46 49 52 54 55 56 57 59 65 72 83 89
a 5 12 13 15 18 21 24 25 26 29 30 33 35 36 39 41 43 44 46 49 52 54 55 56 57 65 72 83 89
a 5 12 13 15 18 21 25 26 29 30 31 33 35 36 39 41 43 44 46 49 52 54 55 56 57 65 72 83 89
a 5 12 13 15 18 21 25 26 29 30 31 33 36 39 41 43 44 46 49 52 54 55 56 57 58 65 72 83 89
a 5 12 13 15 18 21 25 26 29 30 31 33 35 36 39 41 43 44 46 49 52 54 55 56 57 58 65 72 89
a 5 12 13 15 18 21 25 26 29 30 31 33 36 39 41 43 44 46 49 52 54 55 56 57 58 65 72 77 89
a 5 12 13 15 18 21 25 26 29 30 31 33 36 39 41 43 44 49 52 54 55 56 57 58 65 72 77 88 89
a 5 12 13 15 18 21 25 26 30 31 33 36 39 41 43 44 46 49 52 54 55 56 57 58 65 72 77 88 89
a 5 12 13 15 17 18 21 25 26 30 31 33 36 39 41 43 44 46 49 52 54 55 56 57 58 65 72 77 88
a 5 12 13 15 17 18 21 25 26 30 31 33 36 39 41 43 44 46 49 52 54 56 57 58 65 72 77 87 88
a 5 12 13 15 17 21 25 26 30 31 33 35 36 39 41 43 44 46 49 52 54 56 57 58 65 72 77 87 88
a 5 12 13 15 16 17 21 25 26 30 31 33 35 36 39 41 43 46 49 52 54 56 57 58 65 72 77 87 88
a 5 12 13 15 16 17 21 25 26 30 31 33 35 36 39 41 43 46 49 54 56 57 58 65 70 72 77 87 88
a 5 12 13 15 16 17 21 25 26 30 31 33 35 36 39 41 43 46 49 54 57 58 65 70 72 77 82 87 88
a 5 12 13 15 16 17 21 25 26 30 31 33 35 36 39 41 43 46 49 54 57 58 70 72 77 78 82 87 88
a 5 12 13 15 16 17 21 25 26 30 31 33 35 36 41 43 46 49 54 57 58 70 72 77 78 80 82 87 88
a 5 12 13 15 16 17 21 25 26 27 30 31 33 35 36 41 43 46 49 57 58 70 72 77 78 80 82 87 88
a 5 9 12 13 15 16 17 21 25 26 27 30 31 33 35 36 41 43 46 49 57 58 70 77 78 80 82 87 88
a 5 9 12 13 15 16 17 21 25 26 27 30 31 33 35 36 40 41 46 49 57 58 70 77 78 80 82 87 88
a 5 8 9 13 15 16 17 21 25 26 27 30 31 33 35 36 40 41 46 49 57 58 70 77 78 80 82 87 88
a 8 9 13 15 16 17 21 25 26 27 30 31 33 35 36 40 41 46 49 57 58 61 70 77 78 80 82 87 88
a 8 9 13 16 17 21 25 26 27 30 31 33 35 36 40 41 46 49 57 58 61 70 76 77 78 80 82 87 88
a 8 9 13 16 17 21 22 25 26 27 30 31 33 35 36 40 41 46 49 57 58 61 70 76 78 80 82 87 88
a 8 9 13 16 17 19 21 22 25 26 27 31 33 35 36 40 41 46 49 57 58 61 70 76 78 80 82 87 88
c Step: 277
#END: [Mon Sep  4 22:01:37 2023]