#BEGIN: [Mon Sep  4 21:49:15 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance005_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance005_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_instance005_graph003.col /benchmark/random_instance/random_instance005_graph003_01.dat
c /benchmark/random_instance/random_instance005_graph003.col
c /benchmark/random_instance/random_instance005_graph003_01.dat
s 54 38 61 44 11 47 65 36 39 37 33 46 43 42 13 32 40 24 27 17 15 9
t 50 7 10 41 33 3 54 40 46 38 13 62 11 14 9 15 25 12 1 18 34 52
a YES
a 9 11 13 15 17 24 27 32 33 36 37 38 39 40 42 43 44 46 47 54 61 65
a 9 11 13 15 17 24 27 32 33 37 38 39 40 42 43 44 46 47 50 54 61 65
a 9 11 13 15 17 24 27 32 33 37 38 39 40 43 44 46 47 50 54 60 61 65
a 9 11 13 15 17 24 27 32 33 37 38 40 43 44 46 47 50 52 54 60 61 65
a 1 9 11 13 15 17 24 27 32 33 37 38 40 44 46 47 50 52 54 60 61 65
a 1 9 11 13 14 15 17 24 27 33 37 38 40 44 46 47 50 52 54 60 61 65
a 1 5 9 11 13 15 17 24 27 33 37 38 40 44 46 47 50 52 54 60 61 65
a 1 5 9 11 13 15 17 24 27 33 38 40 44 46 47 49 50 52 54 60 61 65
a 1 5 9 11 12 13 15 17 24 27 33 38 40 44 46 47 49 50 52 54 60 61
a 1 5 9 11 13 15 17 24 27 33 37 38 40 44 46 47 49 50 52 54 60 61
a 1 5 11 13 15 17 24 27 33 37 38 40 44 46 47 49 50 52 54 60 61 65
a 1 5 11 13 15 17 24 27 33 37 38 40 46 47 48 49 50 52 54 60 61 65
a 1 5 11 13 14 15 17 24 27 33 37 38 40 46 47 48 50 52 54 60 61 65
a 1 5 11 12 13 14 15 17 24 27 33 38 40 46 47 48 50 52 54 60 61 65
a 1 5 11 12 13 15 17 24 27 33 38 40 46 47 48 49 50 52 54 60 61 65
a 1 5 7 11 12 13 15 17 27 33 38 40 46 47 48 49 50 52 54 60 61 65
a 1 5 7 11 12 13 15 17 27 33 38 40 46 47 48 49 52 54 59 60 61 65
a 1 5 7 12 13 15 17 27 33 38 40 46 47 48 49 52 54 57 59 60 61 65
a 1 5 7 12 13 14 15 17 27 33 38 40 46 47 48 52 54 57 59 60 61 65
a 1 5 7 11 12 13 14 15 17 27 33 38 40 46 47 48 52 54 59 60 61 65
a 1 5 7 11 12 13 14 15 17 27 33 36 38 40 46 47 52 54 59 60 61 65
a 1 5 7 11 12 13 14 15 17 24 27 33 36 38 40 46 47 52 54 60 61 65
a 1 5 7 11 12 13 14 15 17 22 24 27 33 38 40 46 47 52 54 60 61 65
a 1 5 7 10 11 12 13 14 15 17 22 24 27 33 38 40 46 52 54 60 61 65
a 1 5 7 10 11 12 13 14 15 17 24 27 33 36 38 40 46 52 54 60 61 65
a 1 3 5 7 10 11 12 13 14 15 17 24 27 33 36 38 40 46 52 54 61 65
a 1 3 5 7 10 11 12 13 14 15 17 22 24 27 33 38 40 46 52 54 61 65
a 1 3 5 7 9 10 11 12 13 14 15 22 24 27 33 38 40 46 52 54 61 65
a 1 3 5 7 9 10 11 12 13 14 15 24 27 33 38 40 46 50 52 54 61 65
a 1 3 5 7 9 10 11 12 13 14 15 24 27 33 40 46 50 52 54 61 64 65
a 1 3 5 7 9 10 11 12 13 14 15 24 27 33 40 46 50 51 52 61 64 65
a 1 5 7 9 10 11 12 13 14 15 17 24 27 33 40 46 50 51 52 61 64 65
a 1 5 7 9 10 11 12 13 14 15 17 24 27 33 40 46 50 52 54 61 64 65
a 1 5 7 9 10 11 12 13 14 15 17 24 27 33 36 40 46 52 54 61 64 65
a 1 3 5 7 9 10 12 13 14 15 17 24 27 33 36 40 46 52 54 61 64 65
a 1 3 7 9 10 11 12 13 14 15 17 24 27 33 36 40 46 52 54 61 64 65
a 1 3 7 9 10 11 12 13 14 15 17 24 27 33 36 38 40 46 52 54 61 65
a 1 3 7 9 10 11 12 13 14 15 17 19 24 27 36 38 40 46 52 54 61 65
a 1 3 7 9 10 11 12 13 14 15 19 24 27 34 36 38 40 46 52 54 61 65
a 1 3 7 9 10 11 12 13 14 15 19 24 27 34 36 40 46 52 54 61 64 65
a 1 3 7 9 10 11 12 13 14 15 17 19 24 27 36 40 46 52 54 61 64 65
a 1 3 7 9 10 11 12 13 14 15 17 19 24 27 36 40 46 51 52 61 64 65
a 1 3 5 7 9 10 11 12 13 14 15 17 19 24 27 36 40 46 51 61 64 65
a 1 3 5 7 9 10 11 12 13 14 15 17 19 24 27 36 40 46 54 61 64 65
a 1 3 5 7 9 10 11 12 13 14 15 17 19 24 27 36 38 40 46 54 61 65
a 1 5 7 9 10 11 12 13 14 15 17 19 24 27 36 38 40 46 54 60 61 65
a 1 5 7 9 10 11 13 14 15 17 19 24 27 36 38 39 40 46 54 60 61 65
a 1 5 7 9 10 11 13 14 15 17 19 24 27 36 38 40 46 52 54 60 61 65
a 1 5 7 9 10 11 13 14 15 17 19 22 24 27 38 40 46 52 54 60 61 65
a 1 5 7 9 11 12 13 14 15 17 19 22 24 27 38 40 46 52 54 60 61 65
a 1 5 7 9 11 12 13 14 15 19 22 24 27 34 38 40 46 52 54 60 61 65
a 1 5 7 9 12 13 14 15 19 21 22 24 27 34 38 40 46 52 54 60 61 65
a 1 5 7 12 13 14 15 19 21 22 24 27 34 38 40 46 48 52 54 60 61 65
a 1 5 7 12 13 14 15 19 21 22 24 27 34 38 40 46 48 52 54 57 60 61
a 1 5 7 12 13 14 15 19 21 22 24 27 34 38 40 46 48 52 54 57 61 65
a 1 3 5 7 12 13 14 15 19 22 24 27 34 38 40 46 48 52 54 57 61 65
a 1 3 5 7 12 13 14 19 22 24 27 34 38 40 46 48 52 54 57 61 63 65
a 1 5 7 12 13 14 19 21 22 24 27 34 38 40 46 48 52 54 57 61 63 65
a 1 5 7 12 13 14 19 21 22 24 27 34 40 46 48 52 54 57 61 63 64 65
a 1 5 7 12 13 14 19 20 21 22 24 34 40 46 48 52 54 57 61 63 64 65
a 1 5 7 12 13 14 19 21 22 24 34 40 46 47 48 52 54 57 61 63 64 65
a 1 5 7 12 13 14 19 21 22 24 27 34 40 46 47 48 54 57 61 63 64 65
a 1 5 7 12 13 14 19 21 22 24 27 34 38 40 46 47 48 54 57 61 63 65
a 1 5 7 12 13 14 19 21 22 27 34 38 40 46 47 48 53 54 57 61 63 65
a 1 5 7 12 13 14 19 21 22 27 34 38 40 46 47 48 53 54 57 60 61 63
a 1 4 5 7 12 13 14 19 21 22 34 38 40 46 47 48 53 54 57 60 61 63
a 1 4 7 12 13 14 19 21 22 34 38 40 41 46 47 48 53 54 57 60 61 63
a 1 4 7 12 13 14 15 19 21 22 34 38 40 41 46 47 48 53 54 57 60 61
a 1 4 7 12 13 14 15 19 21 22 34 38 40 46 47 48 53 54 57 60 61 65
a 1 7 12 13 14 15 19 21 22 27 34 38 40 46 47 48 53 54 57 60 61 65
a 1 7 12 13 14 15 19 21 22 25 27 34 38 40 46 47 48 53 54 57 60 61
a 1 7 9 12 13 14 15 19 21 22 25 27 34 38 40 46 47 53 54 57 60 61
a 1 7 9 12 13 14 19 21 22 25 27 34 38 40 46 47 53 54 57 60 61 63
a 1 7 9 12 13 14 19 21 22 27 34 38 40 46 47 53 54 57 60 61 63 65
a 1 7 9 12 13 14 15 19 21 22 27 34 38 40 46 47 53 54 57 60 61 65
a 1 4 7 9 12 13 14 15 19 21 22 34 38 40 46 47 53 54 57 60 61 65
a 1 4 7 9 12 13 14 19 21 22 34 38 40 46 47 53 54 57 60 61 63 65
a 1 4 7 12 13 14 19 21 22 34 38 40 46 47 48 53 54 57 60 61 63 65
a 1 4 7 12 13 14 19 20 21 22 34 38 40 46 47 48 54 57 60 61 63 65
a 1 4 5 7 12 13 14 19 20 21 22 34 38 40 46 47 48 54 57 61 63 65
a 1 4 5 7 8 12 13 14 19 20 21 22 34 38 40 46 47 48 54 57 63 65
a 1 4 7 8 12 13 14 19 20 21 22 34 38 40 46 47 48 54 57 60 63 65
a 1 4 7 8 12 13 14 19 20 21 22 34 38 40 46 47 48 54 57 59 60 63
a 1 7 8 12 13 14 19 20 21 22 25 34 38 40 46 47 48 54 57 59 60 63
a 1 7 8 12 13 14 20 21 22 25 34 38 40 46 47 48 52 54 57 59 60 63
a 1 8 12 13 14 20 21 22 25 28 34 38 40 46 47 48 52 54 57 59 60 63
a 1 5 8 12 13 14 20 21 22 25 28 34 38 40 46 48 52 54 57 59 60 63
a 1 5 8 12 13 14 20 21 22 25 28 33 34 38 40 46 48 52 54 57 59 60
a 1 5 8 13 14 20 21 22 25 28 33 34 37 38 40 46 48 52 54 57 59 60
a 1 5 13 14 15 20 21 22 25 28 33 34 37 38 40 46 48 52 54 57 59 60
a 1 5 9 13 14 15 20 21 22 25 28 33 34 37 38 40 46 52 54 57 59 60
a 1 5 9 13 14 15 20 21 22 25 33 34 37 38 40 46 52 54 57 59 60 61
a 1 5 9 13 14 15 20 21 22 25 30 33 34 37 38 40 46 52 54 57 59 61
a 1 5 9 13 14 15 20 21 22 25 30 33 34 37 38 40 44 46 52 54 59 61
a 1 9 13 14 15 18 20 21 22 25 30 33 34 37 38 40 44 46 52 54 59 61
a 1 9 13 14 15 18 20 21 22 25 30 33 34 37 38 40 44 45 46 52 59 61
a 1 9 13 14 15 18 20 21 22 25 33 34 37 38 40 41 44 45 46 52 59 61
a 1 9 12 13 14 15 18 20 21 22 25 33 34 38 40 41 44 45 46 52 59 61
a 1 9 12 13 15 18 20 21 22 25 33 34 38 40 41 44 45 46 49 52 59 61
a 1 9 12 13 15 18 20 21 22 25 33 34 38 40 41 44 46 49 52 54 59 61
a 1 9 12 13 15 18 20 21 22 25 33 34 38 40 41 46 49 52 54 57 59 61
a 1 12 13 15 18 20 21 22 25 33 34 38 40 41 46 48 49 52 54 57 59 61
a 1 12 13 15 18 21 22 25 27 33 34 38 40 41 46 48 49 52 54 57 59 61
a 1 7 12 13 15 18 21 22 25 27 33 34 38 40 41 46 48 49 52 54 57 59
a 1 7 12 13 14 15 18 21 22 25 27 33 34 38 40 41 46 48 52 54 57 59
a 1 7 12 13 14 15 18 21 22 25 27 33 34 38 40 41 46 48 53 54 57 59
a 1 7 12 13 15 18 21 22 25 27 33 34 38 40 41 46 48 49 53 54 57 59
a 1 7 12 13 15 18 22 25 27 33 34 38 40 41 46 48 49 53 54 57 59 60
a 1 7 12 13 15 18 22 25 27 33 34 38 40 41 46 48 49 53 56 57 59 60
a 1 7 12 13 15 18 22 25 33 34 38 40 41 45 46 48 49 53 56 57 59 60
a 1 7 12 13 15 18 22 25 33 34 38 40 41 45 46 48 49 52 56 57 59 60
a 1 7 8 12 13 18 22 25 33 34 38 40 41 45 46 48 49 52 56 57 59 60
a 1 7 8 12 13 18 19 22 25 34 38 40 41 45 46 48 49 52 56 57 59 60
a 1 7 8 12 13 18 19 22 25 34 38 40 41 45 46 48 49 52 56 57 59 62
a 1 7 12 13 15 18 19 22 25 34 38 40 41 45 46 48 49 52 56 57 59 62
a 1 7 12 13 15 18 19 22 25 34 38 40 41 45 46 48 49 52 56 57 59 60
a 1 7 12 13 15 18 19 22 34 38 40 41 45 46 48 49 52 56 57 59 60 61
a 1 7 12 13 15 18 19 22 27 34 38 40 41 46 48 49 52 56 57 59 60 61
a 1 7 12 13 15 18 22 27 33 34 38 40 41 46 48 49 52 56 57 59 60 61
a 1 7 12 13 15 18 22 25 27 33 34 38 40 41 46 48 49 52 56 57 59 60
a 1 7 12 15 18 21 22 25 27 33 34 38 40 41 46 48 49 52 56 57 59 60
a 1 7 12 15 18 19 21 22 25 27 34 38 40 41 46 48 49 52 56 57 59 60
a 1 7 12 15 18 19 21 22 25 27 34 38 40 41 46 48 49 56 57 59 60 61
a 1 7 12 15 18 19 21 22 25 27 34 38 40 41 46 49 52 56 57 59 60 61
a 1 7 12 15 18 21 22 25 27 33 34 38 40 41 46 49 52 56 57 59 60 61
a 1 7 12 14 15 18 21 22 25 27 33 34 38 40 41 46 52 56 57 59 60 61
a 1 7 12 13 14 15 18 21 22 25 27 33 34 38 40 41 46 52 56 57 59 60
a 1 7 12 13 14 15 18 21 22 25 27 33 34 40 41 46 51 52 56 57 59 60
a 1 7 12 13 14 15 18 21 25 27 33 34 40 41 46 50 51 52 56 57 59 60
a 1 7 12 13 14 15 21 25 27 33 34 40 41 46 50 51 52 56 57 59 60 61
a 1 7 9 12 13 14 15 25 27 33 34 40 41 46 50 51 52 56 57 59 60 61
a 1 7 9 12 13 14 15 22 25 27 33 34 40 41 46 51 52 56 57 59 60 61
a 1 7 9 12 13 14 15 22 25 27 33 34 40 41 44 46 51 52 56 59 60 61
a 1 7 9 11 12 13 14 15 22 25 27 34 40 41 44 46 51 52 56 59 60 61
a 1 7 9 11 12 13 14 15 22 25 27 34 40 41 44 46 51 53 56 59 60 61
a 1 7 11 12 13 14 15 19 22 25 27 34 40 41 44 46 51 53 56 59 60 61
a 1 7 11 12 13 14 15 16 19 22 25 27 34 40 41 44 46 51 53 56 59 60
a 1 7 12 13 14 15 16 19 21 22 25 27 34 40 41 44 46 51 53 56 59 60
a 1 7 12 13 14 15 16 21 22 25 27 33 34 40 41 44 46 51 53 56 59 60
a 1 7 12 13 14 15 16 21 22 25 33 34 40 41 44 45 46 51 53 56 59 60
a 1 7 9 12 13 14 15 16 22 25 33 34 40 41 44 45 46 51 53 56 59 60
a 1 7 9 12 13 14 15 16 19 22 25 34 40 41 44 45 46 51 53 56 59 60
a 1 7 9 12 13 14 15 19 22 25 34 40 41 44 45 46 51 53 56 59 60 61
a 1 7 9 12 13 14 15 18 19 22 25 34 40 41 45 46 51 53 56 59 60 61
a 1 7 9 10 12 13 14 15 18 19 22 25 34 40 41 46 51 53 56 59 60 61
a 1 7 9 10 12 13 14 15 16 18 19 22 25 34 40 41 46 51 53 56 59 60
a 1 7 9 10 12 13 14 15 16 18 22 25 33 34 40 41 46 51 53 56 59 60
a 1 7 9 10 12 13 14 15 16 18 21 22 25 33 40 41 46 51 53 56 59 60
a 1 7 9 10 12 13 14 15 16 18 19 21 22 25 40 41 46 51 53 56 59 60
a 1 4 7 9 10 12 13 14 15 16 18 19 21 22 40 41 46 51 53 56 59 60
a 1 4 7 9 10 12 13 14 15 18 19 21 22 40 41 46 51 53 56 59 60 61
a 1 4 7 9 10 12 13 14 18 19 21 22 40 41 46 51 53 56 59 60 61 63
a 1 4 7 9 10 12 13 14 18 19 21 22 34 40 41 46 51 53 56 60 61 63
a 1 4 7 9 12 13 14 18 19 21 22 34 40 41 46 51 53 56 59 60 61 63
a 1 4 7 9 12 13 14 16 18 19 21 22 34 40 41 46 51 53 56 59 60 63
a 1 4 7 9 13 14 16 18 19 21 22 34 39 40 41 46 51 53 56 59 60 63
a 1 4 7 9 13 14 18 19 21 22 34 39 40 41 46 51 53 56 59 60 61 63
a 1 4 7 9 11 13 14 18 19 22 34 39 40 41 46 51 53 56 59 60 61 63
a 1 4 7 9 11 12 13 14 18 19 22 34 40 41 46 51 53 56 59 60 61 63
a 1 4 7 9 11 12 13 14 16 18 19 22 34 40 41 46 51 53 56 59 60 63
a 1 4 7 9 11 12 13 14 16 18 19 20 22 34 40 41 46 51 56 59 60 63
a 1 4 7 9 11 12 13 14 16 18 19 20 22 34 40 41 46 51 56 59 62 63
a 1 4 7 9 11 12 13 14 16 18 19 20 22 34 35 41 46 51 56 59 62 63
a 1 4 7 9 11 12 13 14 16 18 19 22 34 35 41 46 51 53 56 59 62 63
a 1 4 9 11 12 13 14 16 18 19 22 34 35 41 46 51 53 55 56 59 62 63
a 4 9 11 12 13 14 16 18 19 22 34 35 41 43 46 51 53 55 56 59 62 63
a 4 9 11 12 13 14 16 18 19 34 35 41 42 43 46 51 53 55 56 59 62 63
a 3 4 9 11 12 13 14 16 18 19 34 35 41 42 43 46 51 53 55 56 62 63
a 3 4 9 11 12 13 14 16 18 19 34 40 41 42 43 46 51 53 55 56 62 63
a 4 9 11 12 13 14 16 18 19 34 40 41 42 43 44 46 51 53 55 56 62 63
a 4 9 11 12 13 14 16 18 19 34 35 41 42 43 44 46 51 53 55 56 62 63
a 9 11 12 13 14 16 18 19 34 35 41 42 43 44 46 51 53 55 56 59 62 63
a 9 11 13 14 16 18 19 34 35 39 41 42 43 44 46 51 53 55 56 59 62 63
a 9 13 14 16 18 19 34 35 39 41 42 43 44 45 46 51 53 55 56 59 62 63
a 4 9 13 14 16 18 34 35 39 41 42 43 44 45 46 51 53 55 56 59 62 63
a 4 9 11 13 14 16 18 34 35 39 41 42 43 44 46 51 53 55 56 59 62 63
a 4 9 11 13 14 16 18 34 35 37 39 41 42 43 44 46 51 53 55 56 59 62
a 4 9 11 13 14 15 16 18 34 35 37 39 41 42 43 44 46 51 53 56 59 62
a 4 9 11 13 14 15 16 18 22 34 35 37 39 41 43 44 46 51 53 56 59 62
a 1 4 9 13 14 15 16 18 22 34 35 37 39 41 43 44 46 51 53 56 59 62
a 4 9 13 14 15 16 18 22 33 34 35 37 39 41 43 44 46 51 53 56 59 62
a 4 9 13 14 15 16 18 33 34 35 37 39 41 42 43 44 46 51 53 56 59 62
a 4 9 13 14 15 16 33 34 35 37 39 41 42 43 44 45 46 51 53 56 59 62
a 4 9 13 14 15 16 33 34 37 39 40 41 42 43 44 45 46 51 53 56 59 62
a 4 9 13 14 15 16 19 34 37 39 40 41 42 43 44 45 46 51 53 56 59 62
a 4 9 13 14 15 16 19 34 35 37 39 41 42 43 44 45 46 51 53 56 59 62
a 4 9 13 14 15 16 18 34 35 37 39 41 42 43 44 45 46 51 53 56 59 62
a 4 9 13 14 15 16 18 19 34 37 39 41 42 43 44 45 46 51 53 56 59 62
a 4 9 13 14 16 18 19 34 37 39 41 42 43 44 45 46 51 53 55 56 59 62
a 4 9 13 14 16 18 19 29 34 37 39 41 42 43 44 45 46 51 55 56 59 62
a 4 9 13 14 15 16 18 19 29 34 37 39 41 42 43 44 45 46 51 56 59 62
a 4 9 13 14 15 16 18 29 33 34 37 39 41 42 43 44 45 46 51 56 59 62
a 4 9 13 14 16 18 29 33 34 37 39 41 42 43 44 45 46 51 55 56 59 62
a 4 9 13 14 18 29 33 34 37 39 41 42 43 44 45 46 51 55 56 59 62 64
a 4 9 13 14 18 22 29 33 34 37 39 41 43 44 45 46 51 55 56 59 62 64
a 4 9 13 14 18 19 22 29 34 37 39 41 43 44 45 46 51 55 56 59 62 64
a 4 9 13 14 18 19 22 29 34 39 41 43 44 45 46 51 55 56 59 62 63 64
a 1 4 9 13 14 18 19 22 29 34 39 41 43 44 45 46 51 55 56 59 62 63
a 1 4 9 13 14 18 19 22 29 34 37 39 41 43 44 45 46 51 55 56 59 62
a 1 4 9 13 14 18 19 22 34 35 37 39 41 43 44 45 46 51 55 56 59 62
a 1 4 9 13 14 15 18 19 22 34 35 37 39 41 43 44 45 46 51 56 59 62
a 1 4 9 13 14 15 18 22 34 35 37 39 41 43 44 45 46 51 56 59 62 64
a 1 4 9 13 14 15 18 22 29 34 37 39 41 43 44 45 46 51 56 59 62 64
a 1 4 9 13 14 15 18 19 22 29 34 37 39 41 43 44 45 46 51 59 62 64
a 1 4 9 13 14 15 18 22 29 33 34 37 39 41 43 44 45 46 51 59 62 64
a 1 4 9 13 14 18 22 29 33 34 37 39 41 43 44 45 46 51 55 59 62 64
a 1 9 13 14 18 22 29 33 34 37 39 41 43 44 45 46 51 55 56 59 62 64
a 1 9 13 14 16 18 22 29 33 34 37 39 41 43 44 45 46 51 55 56 59 62
a 1 9 13 14 16 18 22 25 29 34 37 39 41 43 44 45 46 51 55 56 59 62
a 1 9 13 14 16 18 22 25 34 35 37 39 41 43 44 45 46 51 55 56 59 62
a 1 9 13 14 15 16 18 22 25 34 35 37 39 41 43 44 45 46 51 56 59 62
a 1 9 13 14 15 16 18 25 34 35 37 39 41 43 44 45 46 50 51 56 59 62
a 1 9 13 14 15 18 25 34 35 37 39 41 43 44 45 46 50 51 56 59 62 64
a 1 9 13 14 15 18 25 33 34 35 37 39 41 43 44 45 46 50 51 59 62 64
a 1 9 13 14 15 18 25 33 34 35 37 39 41 43 44 45 46 50 51 59 61 64
a 1 9 13 14 15 18 25 33 34 35 37 41 43 44 45 46 50 51 52 59 61 64
a 1 9 13 14 15 25 33 34 35 37 41 43 44 45 46 50 51 52 56 59 61 64
a 1 9 13 14 25 33 34 35 37 41 43 44 45 46 50 51 52 55 56 59 61 64
a 1 9 13 25 26 33 34 35 37 41 43 44 45 46 50 51 52 55 56 59 61 64
a 1 9 13 25 26 27 33 34 35 37 41 43 44 46 50 51 52 55 56 59 61 64
a 1 9 13 14 25 27 33 34 35 37 41 43 44 46 50 51 52 55 56 59 61 64
a 1 9 13 14 15 25 27 33 34 35 37 41 43 44 46 50 51 52 56 59 61 64
a 1 9 13 14 15 25 27 33 34 35 37 41 43 44 46 47 50 51 52 59 61 64
a 1 9 12 13 14 15 25 27 33 34 35 41 43 44 46 47 50 51 52 59 61 64
a 1 9 12 13 14 15 21 25 27 33 34 35 41 44 46 47 50 51 52 59 61 64
a 1 9 12 13 14 15 21 25 27 33 34 35 36 41 44 46 47 51 52 59 61 64
a 7 9 12 13 14 15 21 25 27 33 34 35 36 41 44 46 47 51 52 59 61 64
a 7 9 11 12 13 14 15 25 27 33 34 35 36 41 44 46 47 51 52 59 61 64
a 1 9 11 12 13 14 15 25 27 33 34 35 36 41 44 46 47 51 52 59 61 64
a 1 7 9 11 12 13 14 15 25 27 33 34 35 36 41 44 46 51 52 59 61 64
a 1 7 9 12 13 14 15 21 25 27 33 34 35 36 41 44 46 51 52 59 61 64
a 1 7 12 13 14 15 21 25 27 33 34 35 36 41 44 46 47 51 52 59 61 64
a 1 7 12 13 14 15 21 25 27 33 34 36 40 41 44 46 47 51 52 59 61 64
a 1 7 12 13 14 15 21 25 27 33 34 36 40 41 44 46 47 51 52 59 60 61
a 1 7 12 13 14 15 21 25 27 33 34 36 40 41 46 47 51 52 57 59 60 61
a 1 7 9 12 13 14 15 21 25 27 33 34 36 40 41 47 51 52 57 59 60 61
a 1 7 9 12 13 14 15 21 25 27 33 34 36 40 41 47 51 52 57 59 61 64
a 1 7 9 12 13 14 15 20 21 25 33 34 36 40 41 47 51 52 57 59 61 64
a 1 7 9 12 13 14 15 20 21 25 33 34 36 40 41 47 51 52 57 59 60 61
a 1 7 12 13 14 15 20 21 25 33 34 36 40 41 47 48 51 52 57 59 60 61
a 1 7 12 13 14 15 20 21 25 33 34 36 40 41 47 48 52 54 57 59 60 61
a 1 7 12 13 14 15 20 21 22 25 33 34 40 41 47 48 52 54 57 59 60 61
a 1 7 12 13 14 15 19 20 21 22 25 34 40 41 47 48 52 54 57 59 60 61
a 1 5 7 12 13 14 15 19 20 21 22 25 34 40 47 48 52 54 57 59 60 61
a 1 5 7 12 13 14 15 19 21 22 25 27 34 40 47 48 52 54 57 59 60 61
a 1 5 7 9 12 13 14 15 19 21 22 25 27 34 40 47 52 54 57 59 60 61
a 1 5 7 9 12 13 14 15 19 21 25 27 34 36 40 47 52 54 57 59 60 61
a 1 5 7 9 12 13 14 15 19 21 25 27 34 36 40 47 53 54 57 59 60 61
a 1 5 7 9 12 13 14 15 19 21 27 34 36 40 47 53 54 57 59 60 61 65
a 1 5 7 12 13 14 15 19 21 27 34 36 40 47 48 53 54 57 59 60 61 65
a 1 5 7 12 13 14 15 19 21 22 27 34 40 47 48 53 54 57 59 60 61 65
a 1 5 7 12 13 14 15 19 21 22 27 34 40 47 48 52 54 57 59 60 61 65
a 5 7 12 13 14 15 19 21 22 27 34 40 46 47 48 52 54 57 59 60 61 65
a 5 7 12 13 15 19 21 22 27 34 40 46 47 48 49 52 54 57 59 60 61 65
a 1 5 7 12 13 15 21 22 27 34 40 46 47 48 49 52 54 57 59 60 61 65
a 1 5 7 12 13 15 21 22 24 27 34 40 46 47 48 49 52 54 57 60 61 65
a 1 5 7 12 13 15 19 21 22 24 27 34 40 46 47 48 49 52 57 60 61 65
a 1 5 7 12 13 15 19 20 21 22 24 34 40 46 47 48 49 52 57 60 61 65
a 1 5 7 12 13 15 19 20 21 22 24 34 38 40 46 47 48 49 52 57 60 61
a 1 5 7 12 13 15 19 20 21 24 34 36 38 40 46 47 48 49 52 57 60 61
a 1 5 7 12 13 14 15 19 20 21 24 34 36 38 40 46 47 48 52 57 60 61
a 1 5 7 12 13 14 15 19 20 21 24 34 36 38 46 47 48 52 57 60 61 65
a 1 5 7 12 13 14 15 19 20 21 22 24 34 38 46 47 48 52 57 60 61 65
a 1 5 7 12 13 14 15 19 20 21 22 24 34 38 47 48 52 54 57 60 61 65
a 1 5 7 12 13 15 19 20 21 22 24 34 38 47 48 49 52 54 57 60 61 65
a 1 5 7 12 13 15 19 20 21 22 34 38 47 48 49 52 54 57 59 60 61 65
a 1 5 7 12 13 15 19 21 22 27 34 38 47 48 49 52 54 57 59 60 61 65
a 1 5 7 12 13 19 21 22 27 34 38 47 48 49 52 54 57 59 60 61 63 65
a 1 5 7 8 12 13 19 21 22 27 34 38 47 48 49 52 54 57 59 60 63 65
a 1 5 7 8 12 13 19 21 22 27 34 38 40 47 48 49 52 54 57 60 63 65
a 1 5 7 8 12 13 19 21 22 24 27 34 38 40 47 48 52 54 57 60 63 65
a 1 5 7 12 13 19 21 22 24 27 34 38 40 47 48 52 54 57 60 61 63 65
a 1 5 7 13 19 21 22 24 27 34 38 40 47 48 49 52 54 57 60 61 63 65
a 1 5 7 12 13 19 21 22 24 27 34 38 40 47 48 49 52 54 57 60 61 65
a 1 5 7 12 13 21 22 24 27 33 34 38 40 47 48 49 52 54 57 60 61 65
a 1 5 7 12 13 21 22 27 33 34 38 40 47 48 49 52 54 57 59 60 61 65
a 1 5 7 12 13 21 22 27 34 38 40 47 48 49 52 54 57 59 60 61 63 65
a 1 5 7 12 13 21 22 25 27 34 38 40 47 48 49 52 54 57 59 60 61 63
a 1 7 12 13 21 22 25 27 34 38 40 41 47 48 49 52 54 57 59 60 61 63
a 1 7 12 13 21 22 25 27 34 38 40 41 47 48 49 53 54 57 59 60 61 63
a 1 5 7 12 13 21 22 25 27 34 38 40 47 48 49 53 54 57 59 60 61 63
a 1 5 7 12 13 21 22 25 27 34 38 40 46 47 48 49 53 54 57 59 61 63
a 1 7 12 13 21 22 25 27 34 38 40 46 47 48 49 53 54 57 59 60 61 63
a 1 7 12 13 21 22 25 27 34 38 40 46 47 48 49 52 54 57 59 60 61 63
a 1 7 12 13 21 22 27 34 38 40 46 47 48 49 52 54 57 59 60 61 63 65
a 1 7 12 13 15 21 22 27 34 38 40 46 47 48 49 52 54 57 59 60 61 65
a 1 7 9 12 13 15 21 22 27 34 38 40 46 47 49 52 54 57 59 60 61 65
a 1 7 9 12 13 15 21 22 24 27 34 38 40 46 47 49 52 54 57 60 61 65
a 1 7 9 12 13 19 21 22 24 27 34 38 40 46 47 49 52 54 57 60 61 65
a 1 7 9 12 13 19 20 21 22 24 34 38 40 46 47 49 52 54 57 60 61 65
a 1 5 9 12 13 19 20 21 22 24 34 38 40 46 47 49 52 54 57 60 61 65
a 1 9 12 13 15 19 20 21 22 24 34 38 40 46 47 49 52 54 57 60 61 65
a 1 5 9 12 13 15 19 20 21 22 24 34 38 40 47 49 52 54 57 60 61 65
a 1 5 9 12 13 15 19 20 21 22 24 28 34 38 40 47 49 52 54 57 60 65
a 1 5 9 12 13 14 15 19 20 21 22 24 28 34 38 40 47 52 54 57 60 65
a 1 5 9 12 13 14 15 19 21 22 24 27 28 34 38 40 47 52 54 57 60 65
a 1 5 9 12 13 14 15 19 21 22 24 27 34 38 40 47 52 54 57 60 61 65
a 1 5 7 9 12 13 14 15 19 21 22 24 27 34 38 40 47 52 54 57 60 65
a 1 5 7 9 12 13 14 15 21 22 24 27 33 34 38 40 47 52 54 57 60 65
a 1 5 7 9 12 13 15 21 22 24 27 33 34 38 40 47 49 52 54 57 60 65
a 1 5 7 9 12 13 15 19 21 22 24 27 34 38 40 47 49 52 54 57 60 65
a 1 5 7 9 12 13 15 19 21 22 27 34 38 40 47 49 52 54 57 59 60 65
a 1 5 7 9 12 13 19 21 22 27 34 38 40 47 49 52 54 57 59 60 63 65
a 1 5 9 12 13 19 21 22 27 28 34 38 40 47 49 52 54 57 59 60 63 65
a 1 5 9 12 13 14 19 21 22 27 28 34 38 40 47 52 54 57 59 60 63 65
a 1 5 9 12 13 14 19 21 22 25 27 28 34 38 40 47 52 54 57 59 60 63
a 1 5 9 12 13 14 15 19 21 22 25 27 28 34 38 40 47 52 54 57 59 60
a 1 5 9 12 13 14 15 19 21 22 25 27 28 34 38 40 47 53 54 57 59 60
a 1 5 9 12 13 14 15 21 22 25 27 28 34 38 40 46 47 53 54 57 59 60
a 1 5 9 13 14 15 21 22 25 27 28 34 37 38 40 46 47 53 54 57 59 60
a 1 5 9 13 14 15 21 22 25 27 34 37 38 40 46 47 53 54 57 59 60 61
a 1 5 9 13 14 15 21 22 27 34 37 38 40 46 47 53 54 57 59 60 61 65
a 1 5 9 12 13 14 15 21 22 27 34 38 40 46 47 53 54 57 59 60 61 65
a 1 5 9 12 13 15 19 21 22 27 34 38 40 46 47 53 54 57 59 60 61 65
a 1 5 9 12 13 14 15 19 21 22 27 34 38 40 46 47 53 54 59 60 61 65
a 1 5 12 13 14 15 19 21 22 27 34 38 40 44 46 47 53 54 59 60 61 65
a 1 4 5 12 13 14 15 19 21 22 34 38 40 44 46 47 53 54 59 60 61 65
a 1 4 5 13 14 15 19 21 22 34 38 39 40 44 46 47 53 54 59 60 61 65
a 1 4 5 11 13 14 15 19 22 34 38 39 40 44 46 47 53 54 59 60 61 65
a 1 4 5 7 11 13 14 15 19 22 34 38 40 44 46 47 53 54 59 60 61 65
a 1 4 5 7 9 11 13 14 15 19 22 34 38 40 46 47 53 54 59 60 61 65
a 1 4 5 7 9 11 12 13 14 15 22 34 38 40 46 47 53 54 59 60 61 65
a 1 4 7 9 11 12 13 14 15 22 33 34 38 40 46 47 53 54 59 60 61 65
a 1 4 7 9 10 11 12 13 14 15 22 33 34 38 40 46 53 54 59 60 61 65
a 1 4 7 9 10 11 12 13 14 15 18 22 33 34 38 40 46 53 54 59 60 61
a 1 4 7 9 10 11 12 13 14 15 18 33 34 38 40 41 46 53 54 59 60 61
a 1 7 9 10 11 12 13 14 15 18 25 33 34 38 40 41 46 53 54 59 60 61
a 1 7 9 10 11 12 13 14 15 18 25 33 34 38 40 41 46 50 54 59 60 61
a 1 7 9 10 11 12 13 14 15 18 25 33 34 38 40 41 46 50 52 54 60 61
a 1 3 7 9 10 11 12 13 14 15 18 25 33 34 38 40 41 46 50 52 54 61
a 1 3 7 9 10 11 12 13 14 15 18 25 33 34 38 40 41 46 50 52 54 62
c Step: 330
#END: [Mon Sep  4 21:59:26 2023]