#BEGIN: [Mon Sep  4 21:52:15 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance007_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance007_graph003_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_graph003.col /benchmark/random_instance/random_instance007_graph003_01.dat
c /benchmark/random_instance/random_instance007_graph003.col
c /benchmark/random_instance/random_instance007_graph003_01.dat
s 79 50 76 31 56 85 15 82 11 87 45 13 34 81 29 36 72 58 47 6 46 9 12 33 86 88 77 18 91 20 17 43
t 67 15 45 19 22 66 56 79 91 27 49 43 4 90 18 40 82 6 36 42 20 3 88 46 32 28 85 81 70 33 65 76
a YES
a 6 9 11 12 13 15 17 18 20 29 31 33 34 36 43 45 46 47 50 56 58 72 76 77 79 81 82 85 86 87 88 91
a 6 9 11 12 13 15 17 18 20 22 29 31 33 34 36 43 45 46 47 50 56 58 72 76 77 79 81 82 85 86 88 91
a 9 11 12 13 15 17 18 20 22 29 31 33 34 36 43 45 46 47 50 56 58 62 72 76 77 79 81 82 85 86 88 91
a 4 11 12 13 15 17 18 20 22 29 31 33 34 36 43 45 46 47 50 56 58 62 72 76 77 79 81 82 85 86 88 91
a 4 11 12 13 15 17 18 20 22 24 29 31 33 34 36 43 45 46 47 50 56 58 62 72 77 79 81 82 85 86 88 91
a 11 12 13 15 17 18 20 22 24 29 31 33 34 36 43 45 46 47 50 56 58 62 72 77 79 81 82 85 86 88 89 91
a 11 12 13 15 17 18 20 22 24 29 31 33 34 36 43 44 45 46 47 50 56 58 62 77 79 81 82 85 86 88 89 91
a 11 12 13 15 17 18 20 22 29 31 33 34 36 43 44 45 46 47 50 56 58 62 76 77 79 81 82 85 86 88 89 91
a 4 11 12 13 15 17 18 20 22 29 31 33 34 36 43 44 45 46 47 50 56 58 62 76 77 79 81 82 85 86 88 91
a 1 4 11 12 13 15 17 18 20 22 29 31 33 34 36 43 44 45 46 47 56 58 62 76 77 79 81 82 85 86 88 91
a 1 11 12 13 15 17 18 20 22 29 31 33 34 36 43 44 45 46 47 56 58 62 76 77 79 80 81 82 85 86 88 91
a 1 11 12 15 17 18 20 22 29 31 33 34 36 43 44 45 46 47 56 58 62 65 76 77 79 80 81 82 85 86 88 91
a 1 11 12 15 17 18 20 22 29 31 33 34 36 40 43 44 45 46 47 56 58 62 65 76 77 79 80 81 82 85 88 91
a 1 11 12 15 17 18 20 22 29 31 33 34 36 40 43 44 45 46 47 54 56 58 62 65 76 77 80 81 82 85 88 91
a 1 11 12 15 17 18 20 28 29 31 33 34 36 40 43 44 45 46 47 54 56 58 62 65 76 77 80 81 82 85 88 91
a 1 11 12 15 17 18 20 28 29 31 33 34 36 40 43 44 45 46 47 53 54 56 58 62 65 76 77 80 81 85 88 91
a 1 11 12 15 17 18 20 29 31 33 34 36 40 41 43 44 45 46 47 53 54 56 58 62 65 76 77 80 81 85 88 91
a 1 11 12 15 17 18 20 29 31 33 34 36 40 41 43 44 45 46 47 53 56 58 62 65 76 77 80 81 85 88 89 91
a 1 11 12 15 17 18 20 28 29 31 33 34 36 40 41 43 44 45 46 47 53 56 58 62 65 76 77 80 81 85 88 91
a 1 11 12 15 18 20 28 29 31 33 34 36 40 41 43 44 45 46 47 53 54 56 58 62 65 76 77 80 81 85 88 91
a 1 11 12 15 18 20 28 29 33 34 36 40 41 43 44 45 46 47 53 54 56 58 62 65 76 77 80 81 85 87 88 91
a 1 11 12 15 17 20 28 29 33 34 36 40 41 43 44 45 46 47 53 54 56 58 62 65 76 77 80 81 85 87 88 91
a 1 9 11 12 15 17 20 28 29 33 34 36 40 41 43 44 45 46 47 53 54 56 58 62 76 77 80 81 85 87 88 91
a 1 9 11 12 15 17 20 28 29 33 34 36 40 41 43 44 45 46 47 53 56 58 60 62 76 77 80 81 85 87 88 91
a 1 9 11 12 15 17 20 28 29 33 34 36 40 41 43 44 45 46 47 53 56 58 60 62 71 76 77 80 85 87 88 91
a 1 2 9 11 12 15 17 20 28 29 33 34 36 40 41 43 44 45 46 47 56 58 60 62 71 76 77 80 85 87 88 91
a 1 2 11 12 15 17 18 20 28 29 33 34 36 40 41 43 44 45 46 47 56 58 60 62 71 76 77 80 85 87 88 91
a 1 2 11 12 15 17 18 20 28 29 33 34 36 40 43 44 45 46 47 56 58 60 62 71 76 77 80 82 85 87 88 91
a 1 2 6 11 12 15 17 18 20 28 29 33 34 36 40 43 44 45 46 47 56 58 60 71 76 77 80 82 85 87 88 91
a 1 2 6 11 12 15 17 18 20 28 29 33 34 36 40 41 43 44 45 46 47 56 58 60 71 76 77 80 85 87 88 91
a 1 2 6 11 12 15 17 18 20 28 29 33 34 36 40 41 43 44 45 46 47 56 58 60 74 76 77 80 85 87 88 91
a 1 2 6 11 12 15 17 18 20 28 29 33 34 36 40 41 43 44 45 46 47 56 58 60 74 76 77 78 80 87 88 91
a 2 6 11 12 15 17 18 20 28 29 33 34 36 40 41 43 44 45 46 47 56 58 60 74 76 77 78 80 81 87 88 91
a 2 6 9 11 12 15 17 18 20 28 29 33 34 36 40 41 43 44 45 46 47 56 58 60 74 76 77 78 80 81 87 88
a 2 9 11 12 15 17 18 20 28 29 33 34 36 40 41 43 44 45 46 47 49 56 58 60 74 76 77 78 80 81 87 88
a 2 9 11 12 15 17 18 20 28 29 33 34 36 40 41 43 44 45 46 47 49 56 58 60 74 76 77 78 79 80 87 88
a 2 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 49 56 58 60 71 74 76 77 78 79 80 87 88
a 1 2 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 60 71 74 76 77 78 79 80 87 88
a 1 2 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 60 71 74 76 77 78 79 80 86 88
a 1 2 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 60 74 76 77 78 79 80 86 87 88
a 1 2 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 60 65 74 76 77 78 79 80 86 87 88
a 1 2 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 60 65 74 76 77 78 79 80 85 86 88
a 1 2 11 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 60 65 74 76 77 78 79 80 85 86 87 88
a 1 2 9 11 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 60 74 76 77 78 79 80 85 86 87 88
a 1 2 9 11 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 60 62 74 76 77 78 79 80 85 86 87
a 1 2 9 11 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 60 62 74 76 77 78 79 85 86 87 88
a 2 9 11 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 60 62 74 76 77 78 79 80 85 86 87 88
a 2 9 11 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 60 62 74 76 77 78 79 80 85 86 87 91
a 2 11 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 60 62 74 76 77 78 79 80 85 86 87 88 91
a 1 2 11 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 60 74 76 77 78 79 80 85 86 87 88 91
a 1 2 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 60 74 76 77 78 79 80 85 86 87 88
a 1 2 6 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 60 74 76 77 78 79 80 85 86 87
a 1 2 6 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 60 74 76 77 79 80 85 86 87
a 1 2 6 9 11 12 15 17 18 20 28 29 31 33 34 36 41 43 44 45 46 47 56 58 74 76 77 79 80 85 86 87
a 1 2 6 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 74 76 77 79 80 85 86 87 88
a 1 2 6 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 74 77 79 80 85 86 87 88 91
a 1 2 6 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 56 58 71 74 77 79 80 85 86 87 88
a 1 2 6 9 11 12 15 17 18 28 29 31 33 34 36 41 43 44 45 46 47 56 58 71 74 77 79 80 85 86 87 88
a 1 2 6 9 11 12 15 17 18 28 29 31 33 34 36 41 43 44 45 46 47 56 58 71 74 79 80 85 86 87 88 91
a 1 2 6 9 11 12 15 17 18 20 28 29 31 33 34 36 41 43 44 45 46 47 56 58 71 74 79 80 85 86 87 88
a 1 2 6 9 11 12 15 17 18 20 28 29 31 33 34 36 41 43 44 45 46 47 58 71 74 77 79 80 85 86 87 88
a 1 2 6 11 12 15 17 18 20 28 29 31 33 34 36 41 43 44 45 46 47 56 58 71 74 77 79 80 85 86 87 88
a 1 2 6 9 11 12 15 17 18 20 28 29 31 33 34 36 41 43 44 45 46 47 56 58 71 77 79 80 85 86 87 88
a 1 2 6 9 11 12 15 17 18 20 28 29 31 33 34 36 41 43 44 45 46 47 56 58 74 77 79 80 85 86 87 88
a 1 2 6 9 12 15 17 18 20 28 29 31 33 34 36 41 43 44 45 46 47 56 58 74 77 79 80 85 86 87 88 91
a 1 2 6 9 11 12 15 17 18 20 28 29 31 33 34 36 41 43 44 45 46 47 56 58 74 77 79 80 85 86 87 91
a 1 2 6 9 11 12 15 17 18 20 28 31 33 34 36 41 43 44 45 46 47 56 58 74 76 77 79 80 85 86 87 91
a 2 6 9 11 12 15 17 18 20 28 31 33 34 36 41 43 44 45 46 47 50 56 58 74 76 77 79 80 85 86 87 91
a 2 6 9 11 12 15 17 18 20 28 29 31 33 34 36 41 43 44 45 46 47 50 56 58 74 76 77 79 80 85 86 87
a 2 6 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 50 56 58 74 76 77 79 80 85 86 87 88
a 2 6 11 12 15 17 18 20 27 28 29 33 34 36 41 43 44 45 46 47 50 56 58 74 76 77 79 80 85 86 87 88
a 2 6 11 12 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 50 56 58 74 76 77 79 80 85 86 87 88 89
a 2 6 11 12 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 50 56 58 60 74 76 77 79 80 85 86 87 88
a 2 11 12 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 50 56 58 60 74 76 77 79 80 81 85 86 87 88
a 2 11 12 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 50 56 58 60 74 76 77 78 79 80 81 85 86 87
a 2 11 12 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 74 76 77 78 79 80 81 85 86
a 2 6 11 12 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 74 76 77 78 79 80 81 85
a 2 6 11 12 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 74 76 77 79 80 81 85 88
a 2 6 11 12 15 17 18 20 27 29 33 34 36 41 43 44 45 47 49 50 56 58 60 74 76 77 79 80 81 85 88 91
a 6 11 12 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 74 76 77 79 80 81 85 88 91
a 6 11 12 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 74 76 77 79 80 81 85 87 91
a 6 11 12 15 17 18 20 27 33 34 36 41 43 44 45 46 47 49 50 56 58 60 74 76 77 78 79 80 81 85 87 91
a 2 6 11 12 15 17 18 20 27 33 34 36 41 43 44 45 47 49 50 56 58 60 74 76 77 78 79 80 81 85 87 91
a 2 6 11 12 15 17 18 20 27 33 34 36 41 43 44 45 47 49 50 56 58 60 65 74 76 77 78 79 80 85 87 91
a 2 6 11 12 15 17 18 20 27 33 34 36 41 43 44 45 47 49 50 56 58 60 65 74 76 77 78 79 80 85 87 89
a 2 6 11 12 15 17 18 20 27 29 33 34 36 41 43 44 45 47 49 50 56 58 60 65 74 76 77 78 79 80 85 89
a 2 6 11 12 15 17 18 20 27 29 33 34 36 41 43 44 45 47 49 50 56 58 60 65 74 76 77 78 79 81 85 89
a 2 6 11 12 15 17 18 20 27 29 33 36 41 43 44 45 47 49 50 56 58 60 65 74 76 77 78 79 81 85 89 91
a 2 6 11 12 15 17 18 20 27 29 33 36 41 43 44 45 46 47 49 50 56 58 60 65 74 76 77 78 79 81 85 91
a 6 11 12 15 17 18 20 27 29 33 36 41 43 44 45 46 47 49 50 56 58 60 65 74 76 77 78 79 81 85 89 91
a 6 11 12 15 17 18 20 27 29 33 36 41 43 44 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 81 85 89
a 6 11 12 15 17 18 20 27 29 33 36 41 43 44 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 81 88 89
a 6 11 12 15 17 18 20 27 33 36 41 43 44 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 80 81 88 89
a 6 11 12 15 17 18 20 27 29 33 36 41 43 44 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 80 81 88
a 6 11 12 15 17 18 20 27 29 33 36 41 43 44 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 80 81 91
a 6 11 12 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 60 65 74 76 77 79 80 81 91
a 6 11 12 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 65 74 76 77 78 79 80 81 91
a 2 6 11 12 15 17 20 27 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 65 74 76 77 78 79 80 81 91
a 2 6 11 12 15 17 20 27 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 65 74 76 77 78 79 80 85 91
a 2 6 11 12 15 17 20 27 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 65 74 76 77 78 79 80 85 86
a 2 6 11 12 15 17 20 27 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 65 74 76 77 78 79 80 85 87
a 2 6 11 12 15 17 18 20 27 29 33 36 41 43 44 45 46 47 49 50 56 58 60 65 74 76 77 78 79 80 85 87
a 2 6 11 12 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 65 74 76 77 78 79 80 87
a 2 6 12 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 65 74 76 77 78 79 80 86 87
a 2 12 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 65 74 76 77 78 79 80 81 86 87
a 2 6 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 65 74 76 77 78 79 80 81 86 87
a 6 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 80 81 86 87
a 6 12 15 17 18 20 27 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 80 81 86
a 6 12 15 17 18 20 27 33 34 36 41 43 44 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 80 81 86 91
a 6 11 12 15 17 18 20 33 34 36 41 43 44 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 80 81 86 91
a 6 11 12 15 17 18 20 33 34 36 41 43 44 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 80 81 86 87
a 6 11 12 15 17 18 20 33 34 36 41 43 44 45 46 47 49 50 53 56 58 60 65 74 76 77 78 79 80 81 86 88
a 6 11 12 15 17 18 20 33 34 36 41 42 43 44 45 46 47 49 50 53 56 58 60 65 74 76 77 79 80 81 86 88
a 2 6 11 12 15 17 18 20 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 65 74 76 77 79 80 81 86 88
a 2 6 11 12 17 18 20 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 65 74 76 77 79 80 81 86 88 91
a 2 6 11 12 15 17 20 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 65 74 76 77 79 80 81 86 88 91
a 2 6 11 12 15 17 20 27 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 65 74 77 79 80 81 86 88 91
a 2 6 11 12 15 17 19 20 27 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 77 79 80 81 86 88 91
a 2 6 11 12 15 17 18 19 20 27 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 77 79 80 81 86 88 91
a 2 6 11 12 15 17 18 19 20 27 34 36 41 42 43 45 46 47 49 50 56 58 60 74 77 79 80 81 86 87 88 91
a 2 6 11 12 15 17 18 19 20 27 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 77 79 80 81 86 87 91
a 2 6 11 12 15 17 18 19 20 27 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 77 79 80 81 86 91
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 77 79 80 81 91
a 2 6 11 12 15 17 18 19 20 27 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 77 79 80 81 85 91
a 2 6 11 12 15 17 18 19 20 27 28 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 77 79 80 81 85 91
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 79 80 81 85 91
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 76 79 80 81 85
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 46 47 49 50 56 58 60 65 74 76 79 80 81 85 86
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 46 47 49 50 56 58 60 65 74 76 79 81 85 86 87
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 76 79 81 86 87
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 76 77 79 81 86
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 76 77 78 79 86
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 76 78 79 86 91
a 2 6 11 12 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 76 78 79 86 88 91
a 2 6 11 12 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 76 78 79 86 87 88
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 76 78 79 86 87
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 76 78 79 86 87 91
a 2 6 11 12 15 17 18 19 20 27 28 33 34 36 41 42 43 45 46 47 50 56 58 60 74 76 77 78 79 86 87 91
a 2 6 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 50 56 58 60 74 76 77 78 79 86 87 91
a 2 6 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 50 56 58 60 74 76 77 78 79 80 86 87
a 2 6 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 76 77 78 79 86 87
a 2 6 9 11 12 15 17 18 19 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 76 77 78 79 85 86 87
a 2 6 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 76 77 78 79 85 87
a 2 6 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 76 77 78 79 81 85
a 2 6 9 11 12 15 17 18 19 20 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 76 77 78 79 81 85 87
a 2 6 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 49 50 58 60 74 76 77 78 79 81 85 87
a 2 6 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 49 50 58 60 74 76 77 79 81 85 87 88
a 2 6 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 49 50 58 60 74 76 77 79 81 85 86 87
a 2 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 76 77 79 81 85 86 87
a 2 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 76 77 79 80 81 86 87
a 2 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 76 77 79 80 85 86 87
a 2 6 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 76 77 79 80 85 86
a 2 6 9 11 12 15 18 19 20 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 76 77 79 80 85 86 87
a 2 6 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 77 79 80 85 86 87
a 2 6 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 77 78 79 80 85 86
a 2 6 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 77 78 79 80 85 88
a 2 6 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 76 77 78 79 85 88
a 2 6 9 11 12 15 17 18 19 20 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 74 76 78 79 85 87 88
a 2 6 9 11 12 15 17 18 20 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 74 76 78 79 85 87 88
a 2 6 9 11 12 15 17 18 20 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 74 76 78 79 80 85 87
a 6 9 11 12 15 17 18 20 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 74 76 78 79 80 85 87 88
a 9 11 12 15 17 18 20 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 74 76 78 79 80 85 86 87 88
a 9 11 12 15 17 18 20 28 33 34 36 41 42 43 44 45 46 47 49 50 56 58 60 74 76 78 79 80 81 85 86 87
a 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 49 50 56 58 60 74 76 78 79 80 81 85 86 87
a 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 60 74 76 78 79 80 81 85 86
a 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 60 74 76 78 79 80 81 85 91
a 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 46 47 49 50 53 56 58 60 74 76 78 79 80 81 85 88
a 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 47 49 50 53 56 58 60 74 76 78 79 80 81 85 88 91
a 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 47 49 50 53 56 58 60 74 76 78 80 81 85 86 88 91
a 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 47 49 50 53 56 58 60 74 76 78 79 80 81 85 86 88
a 6 9 11 12 15 17 18 20 28 29 33 34 36 41 43 44 45 47 49 50 53 56 58 60 74 76 78 79 80 81 85 86
a 6 9 11 12 17 18 20 28 29 33 34 36 41 43 44 45 47 49 50 53 56 58 60 69 74 76 78 79 80 81 85 86
a 6 9 12 17 18 20 28 29 33 34 36 41 43 44 45 47 49 50 53 56 58 60 69 74 76 78 79 80 81 85 86 87
a 6 9 12 17 18 20 28 29 33 34 36 41 43 44 45 47 49 50 53 56 58 60 69 74 76 78 79 80 85 86 87 88
a 6 9 17 18 20 28 29 33 34 36 41 43 44 45 47 49 50 53 56 58 60 69 74 76 78 79 80 85 86 87 88 91
a 6 9 17 18 20 28 29 33 34 36 41 43 44 45 47 49 50 53 56 58 60 69 74 76 78 79 80 81 85 86 87 88
a 2 6 9 17 18 20 28 29 33 34 36 41 43 44 45 47 49 50 56 58 60 69 74 76 78 79 80 81 85 86 87 88
a 2 6 9 12 17 18 20 28 29 33 34 36 41 43 44 45 49 50 56 58 60 69 74 76 78 79 80 81 85 86 87 88
a 6 9 12 17 18 20 28 29 33 34 36 41 43 44 45 49 50 56 58 60 69 74 76 78 79 80 81 85 86 87 88 91
a 2 9 12 17 18 20 28 29 33 34 36 41 43 44 45 49 50 56 58 60 69 74 76 78 79 80 81 85 86 87 88 91
a 2 9 12 15 17 18 20 28 29 33 34 36 41 43 44 45 49 50 56 58 60 74 76 78 79 80 81 85 86 87 88 91
a 2 9 12 15 17 18 20 28 29 33 34 35 41 43 44 45 49 50 56 58 60 74 76 78 79 80 81 85 86 87 88 91
a 2 9 12 15 17 18 20 28 29 33 35 41 43 44 45 49 50 56 58 60 67 74 76 78 79 80 81 85 86 87 88 91
a 9 12 15 17 18 20 28 29 30 33 35 41 43 44 45 49 50 56 58 60 67 74 76 78 79 80 81 85 86 87 88 91
a 9 11 12 17 18 20 28 29 30 33 35 41 43 44 45 49 50 56 58 60 67 74 76 78 79 80 81 85 86 87 88 91
a 6 9 11 12 17 18 20 28 29 30 33 35 41 43 44 45 49 50 56 58 60 67 74 76 78 80 81 85 86 87 88 91
a 6 9 11 12 17 18 20 28 29 30 33 35 41 43 44 45 49 50 56 58 60 67 74 76 78 79 80 81 85 86 87 88
a 2 6 9 11 17 18 20 28 29 30 33 35 41 43 44 45 49 50 56 58 60 67 74 76 78 79 80 81 85 86 87 88
a 2 6 9 11 12 17 18 20 28 29 30 33 35 41 43 44 49 50 56 58 60 67 74 76 78 79 80 81 85 86 87 88
a 2 6 9 11 12 15 17 20 28 29 30 33 35 41 43 44 49 50 56 58 60 67 74 76 78 79 80 81 85 86 87 88
a 2 6 9 11 12 15 17 18 20 28 29 30 33 35 41 43 44 49 50 56 58 60 67 74 76 78 79 80 85 86 87 88
a 2 6 9 11 12 15 17 18 20 28 29 30 33 35 41 43 44 49 50 56 58 60 67 74 76 78 79 80 81 85 86 87
a 2 6 9 11 12 15 17 18 20 28 29 30 33 35 41 43 44 49 50 56 58 60 67 74 76 78 79 80 81 85 86 88
a 2 6 9 11 12 15 17 18 28 29 30 33 35 41 43 44 49 50 56 58 60 67 74 76 78 79 80 81 85 86 88 91
a 2 6 9 11 12 17 18 20 28 29 30 33 35 41 43 44 49 50 56 58 60 67 74 76 78 79 80 81 85 86 88 91
a 2 6 9 12 15 17 18 20 28 29 30 33 35 41 43 44 49 50 56 58 60 67 74 76 78 79 80 81 85 86 88 91
a 2 6 9 11 12 15 17 18 20 28 30 33 35 41 43 44 49 50 56 58 60 67 74 76 78 79 80 81 85 86 88 91
a 2 6 9 11 12 15 17 20 28 30 33 35 41 43 44 45 49 50 56 58 60 67 74 76 78 79 80 81 85 86 88 91
a 2 6 9 11 12 15 17 18 20 28 30 33 35 41 43 44 45 49 50 56 58 60 67 74 76 78 79 80 85 86 88 91
a 2 6 9 11 12 15 17 18 20 28 30 33 35 41 43 44 45 49 50 56 58 60 67 74 76 78 79 80 81 85 86 91
a 2 6 11 12 15 17 18 20 27 28 30 33 35 41 43 44 45 49 50 56 58 60 67 74 76 78 79 80 81 85 86 91
a 2 6 11 12 15 17 18 20 24 27 28 30 33 35 41 43 44 45 49 50 56 58 60 67 74 78 79 80 81 85 86 91
a 2 6 11 12 15 17 18 20 24 27 28 30 33 35 41 43 44 45 49 50 56 58 60 74 78 79 80 81 85 86 88 91
a 2 6 11 12 15 17 18 20 24 27 28 30 33 41 43 44 45 49 50 56 58 60 74 77 78 79 80 81 85 86 88 91
a 6 11 12 15 17 18 20 24 27 28 30 33 41 43 44 45 49 50 56 58 60 67 74 77 78 79 80 81 85 86 88 91
a 6 11 12 15 17 18 19 20 24 27 28 30 33 41 43 45 49 50 56 58 60 67 74 77 78 79 80 81 85 86 88 91
a 6 11 12 15 17 18 19 20 24 27 28 33 36 41 43 45 49 50 56 58 60 67 74 77 78 79 80 81 85 86 88 91
a 6 11 12 15 17 19 20 24 27 28 33 36 41 42 43 45 49 50 56 58 60 67 74 77 78 79 80 81 85 86 88 91
a 2 6 11 12 15 17 19 20 24 27 28 33 36 41 42 43 45 49 50 56 58 60 67 74 77 78 79 80 81 85 88 91
a 2 6 11 12 15 17 19 20 24 27 28 33 36 42 43 45 49 50 56 58 60 67 74 77 78 79 80 81 85 86 88 91
a 6 11 12 15 17 18 19 20 24 27 28 33 36 42 43 45 49 50 56 58 60 67 74 77 78 79 80 81 85 86 88 91
a 2 6 11 12 15 17 18 19 20 24 27 28 33 36 42 43 45 49 50 56 58 60 67 74 77 78 79 80 81 85 86 88
a 2 6 11 12 15 17 18 19 20 24 27 28 33 36 42 43 45 49 50 56 58 60 65 67 74 77 78 79 80 81 85 86
a 2 6 11 12 15 17 18 19 20 24 27 28 33 36 41 42 43 45 49 50 56 58 60 65 67 74 77 78 79 80 85 86
a 2 6 11 12 15 17 18 19 20 24 27 28 33 36 41 42 43 45 49 50 56 58 60 65 74 77 78 79 80 81 85 86
a 2 6 11 12 15 17 18 19 20 24 27 28 36 41 42 43 45 46 49 50 56 58 60 65 74 77 78 79 80 81 85 86
a 2 6 11 12 15 17 18 19 20 24 27 28 36 41 42 43 45 46 49 50 56 58 60 65 74 77 78 79 80 81 85 88
a 2 6 11 12 15 17 18 19 20 24 27 28 33 36 41 42 43 45 49 50 56 58 60 65 74 77 78 79 80 81 85 88
a 2 6 11 12 15 17 18 19 20 24 27 33 36 41 42 43 45 49 50 56 58 60 65 74 77 78 79 80 81 85 88 91
a 2 6 11 15 17 18 19 20 24 27 28 33 36 41 42 43 45 49 50 56 58 60 65 74 77 78 79 80 81 85 88 91
a 2 6 11 15 17 18 19 20 24 27 28 33 34 36 41 42 43 45 49 50 56 58 60 65 74 77 78 79 80 81 85 88
a 2 6 11 15 17 18 19 20 24 27 28 33 34 36 41 42 43 45 49 50 56 58 60 65 74 77 78 79 80 81 85 91
a 2 6 11 15 17 18 19 20 24 27 28 33 34 36 41 42 43 45 46 49 50 56 58 60 65 74 77 78 79 80 81 91
a 2 6 11 15 17 18 19 20 24 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 77 78 79 80 81
a 2 11 15 17 18 19 20 24 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 77 78 79 80 81 85
a 2 11 15 17 18 19 20 24 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 77 78 79 80 85 91
a 11 12 15 17 18 19 20 24 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 65 74 77 78 79 80 85 91
a 11 12 15 17 19 20 24 27 28 33 34 36 41 42 43 45 46 47 49 50 56 58 60 62 65 74 77 78 79 80 85 91
a 11 12 15 17 19 20 22 24 27 28 33 34 36 42 43 45 46 47 49 50 56 58 60 62 65 74 77 78 79 80 85 91
a 11 12 15 17 19 20 22 24 27 28 33 34 36 42 43 45 46 47 49 50 56 58 60 62 65 77 78 79 80 82 85 91
a 11 12 15 17 18 19 20 22 24 27 28 33 34 36 42 43 45 46 47 49 50 56 58 60 62 65 77 78 79 80 85 91
a 11 12 15 17 18 19 20 22 24 27 28 33 34 36 42 43 45 46 47 49 50 56 60 62 65 77 78 79 80 81 85 91
a 11 12 15 18 19 20 22 24 27 28 33 34 36 42 43 45 46 47 49 50 56 60 62 65 77 78 79 80 81 82 85 91
a 11 12 15 17 18 19 20 22 24 27 28 33 34 36 42 43 45 46 47 49 50 56 60 62 65 77 78 79 80 81 82 91
a 11 12 15 17 18 19 20 22 24 27 28 33 34 36 42 43 46 47 49 50 56 58 60 62 65 77 78 79 80 81 82 91
a 11 12 17 18 19 20 22 24 27 28 33 34 36 42 43 45 46 47 49 50 56 58 60 62 65 77 78 79 80 81 82 91
a 11 12 15 17 18 19 20 22 24 27 28 33 34 36 42 43 45 46 47 49 56 58 60 62 65 77 78 79 80 81 82 91
a 11 12 15 17 18 19 20 22 24 27 28 33 34 36 42 43 45 46 47 49 56 58 60 62 65 77 78 79 80 81 82 88
a 11 12 15 17 18 19 20 22 24 27 28 33 34 36 42 43 45 46 47 49 56 58 60 62 65 77 78 79 81 82 88 91
a 11 15 17 18 19 20 22 24 27 28 33 34 36 42 43 45 46 47 49 56 57 58 60 62 65 77 78 79 81 82 88 91
a 11 15 17 18 19 20 22 24 27 28 33 34 36 42 43 45 46 47 49 56 57 58 60 62 65 72 77 79 81 82 88 91
a 11 14 15 17 19 20 22 24 27 28 33 34 36 42 43 45 46 47 49 56 57 58 60 62 65 72 77 79 81 82 88 91
a 11 14 15 17 19 22 24 27 28 33 34 36 42 43 45 46 47 49 56 57 58 60 62 65 72 77 79 81 82 85 88 91
a 4 11 14 15 17 19 22 24 27 28 33 34 36 42 43 45 46 47 49 56 57 58 60 62 65 72 77 81 82 85 88 91
a 4 11 15 17 19 22 24 25 27 28 33 34 36 42 43 45 46 47 49 56 57 58 60 62 65 72 77 81 82 85 88 91
a 4 11 15 17 19 22 25 27 28 33 34 36 42 43 45 46 47 49 56 57 58 60 62 65 72 76 77 81 82 85 88 91
a 4 15 17 19 22 25 27 28 33 34 36 42 43 45 46 47 49 56 57 58 60 62 65 70 72 76 77 81 82 85 88 91
a 4 15 17 19 22 25 27 28 33 34 36 42 43 45 46 47 49 56 57 58 60 62 65 70 72 76 81 82 85 88 90 91
a 4 15 19 22 25 27 28 33 34 36 42 43 45 46 47 49 56 57 58 60 62 65 70 72 76 79 81 82 85 88 90 91
a 3 4 15 19 22 25 27 28 33 34 36 42 43 45 46 47 49 56 57 60 62 65 70 72 76 79 81 82 85 88 90 91
a 3 4 15 18 19 22 27 28 33 34 36 42 43 45 46 47 49 56 57 60 62 65 70 72 76 79 81 82 85 88 90 91
a 3 4 15 18 19 20 22 27 28 33 34 36 42 43 45 46 47 49 56 57 60 65 70 72 76 79 81 82 85 88 90 91
a 3 4 15 18 19 20 22 27 28 32 33 36 42 43 45 46 47 49 56 57 60 65 70 72 76 79 81 82 85 88 90 91
a 3 4 6 15 18 19 20 22 27 28 32 33 36 42 43 45 46 47 49 56 60 65 70 72 76 79 81 82 85 88 90 91
a 3 4 6 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 47 49 56 60 65 70 76 79 81 82 85 88 90 91
a 3 4 6 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 49 56 60 65 67 70 76 79 81 82 85 88 90 91
a 3 4 6 15 18 19 20 22 27 28 32 33 36 40 42 43 45 46 49 56 65 66 67 70 76 79 81 82 85 88 90 91
c Step: 256
#END: [Mon Sep  4 22:01:24 2023]