#BEGIN: [Mon Sep  4 23:54:23 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance005_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance005_graph004_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance005_graph004.col /benchmark/random_instance/random_instance005_graph004_01.dat
c /benchmark/random_instance/random_instance005_graph004.col
c /benchmark/random_instance/random_instance005_graph004_01.dat
TIMEOUT 1800
c send SIGTERM to CID d3b2390d07fa91c40c6f107167948b84da9468aa327df7547e6eec0f0f9d5568
s 30 51 12 40 23 18 6 54 13 36 28 63 33 58 37 49 46 38
t 49 57 19 12 7 30 65 38 13 63 4 9 50 18 21 40 25 34
a YES
a 6 12 13 18 23 28 30 33 36 37 38 40 46 49 51 54 58 63
a 10 12 13 18 23 28 30 33 36 37 38 40 46 49 51 54 58 63
a 10 12 13 18 23 28 32 33 36 37 38 40 46 49 51 54 58 63
a 9 10 12 13 18 23 28 32 33 37 38 40 46 49 51 54 58 63
a 6 9 12 13 18 23 28 32 33 37 38 40 46 49 51 54 58 63
a 6 9 12 13 18 23 28 32 33 37 38 40 46 51 54 58 61 63
a 9 12 13 18 23 28 32 33 34 37 38 40 46 51 54 58 61 63
a 9 12 13 17 18 23 28 32 33 34 38 40 46 51 54 58 61 63
a 9 10 13 17 18 23 28 32 33 34 38 40 46 51 54 58 61 63
a 2 9 10 13 17 18 23 28 32 33 34 38 40 46 51 54 58 61
a 2 9 12 13 17 18 23 28 32 33 34 38 40 46 51 54 58 61
a 9 10 12 13 17 18 23 28 32 33 34 38 40 46 51 54 58 61
a 9 10 12 13 17 18 23 28 32 33 34 38 40 46 49 51 54 58
a 9 10 12 13 17 18 23 28 32 33 34 38 40 46 49 51 58 63
a 7 9 10 12 13 17 18 23 32 33 34 38 40 46 49 51 58 63
a 7 9 12 13 17 18 21 23 32 33 34 38 40 46 49 51 58 63
a 7 9 12 13 17 18 21 23 32 33 34 38 40 46 49 58 63 65
a 9 12 13 17 18 21 23 32 33 34 38 40 46 49 54 58 63 65
a 7 9 12 13 17 18 21 23 32 34 38 40 46 49 54 58 63 65
a 9 12 13 17 18 21 23 28 32 34 38 40 46 49 54 58 63 65
a 9 12 13 17 18 21 23 28 32 34 38 40 46 49 51 54 58 63
a 12 13 17 18 21 23 28 32 33 34 38 40 46 49 51 54 58 63
a 12 13 17 18 21 23 28 32 33 34 38 40 46 51 54 58 61 63
a 10 13 17 18 21 23 28 32 33 34 38 40 46 51 54 58 61 63
a 10 12 17 18 21 23 28 32 33 34 38 40 46 51 54 58 61 63
a 10 12 13 17 18 21 23 28 32 33 34 38 40 46 51 58 61 63
a 10 12 13 17 18 21 23 28 32 33 34 38 40 46 51 54 58 63
a 9 10 12 13 17 18 21 28 32 33 34 38 40 46 51 54 58 63
a 9 10 12 13 17 18 21 23 32 33 34 38 40 46 51 54 58 63
a 7 9 10 12 13 17 18 21 23 32 33 34 38 40 46 51 54 58
a 2 7 9 10 12 17 18 21 23 32 33 34 38 40 46 51 54 58
a 2 7 9 10 12 17 18 21 23 32 33 34 38 40 46 51 54 63
a 2 9 10 12 17 18 21 23 32 33 34 38 40 46 51 54 61 63
a 2 9 10 12 13 17 18 21 23 32 33 34 38 40 46 51 54 61
a 2 7 9 10 12 13 17 21 23 32 33 34 38 40 46 51 54 61
a 2 7 9 10 12 13 17 18 23 32 33 34 38 40 46 51 54 61
a 2 7 9 10 12 13 17 23 32 33 34 38 40 46 51 54 58 61
a 2 7 9 10 12 13 17 18 23 32 33 34 38 40 46 54 58 61
a 2 7 9 10 12 13 17 18 23 32 33 34 38 40 46 51 54 58
a 2 7 9 10 12 13 17 18 21 32 33 34 38 40 46 51 54 58
a 2 7 10 12 13 17 18 21 23 32 33 34 38 40 46 51 54 58
a 7 10 12 13 17 18 21 23 32 33 34 38 40 46 51 54 58 61
a 7 9 10 12 13 17 18 21 23 32 33 38 40 46 51 54 58 61
a 9 10 12 13 17 18 21 23 32 33 34 38 40 46 51 54 58 61
a 2 9 10 12 17 18 21 23 32 33 34 38 40 46 51 54 58 61
a 2 7 9 10 12 17 18 21 23 32 33 38 40 46 51 54 58 61
a 2 7 9 10 12 13 17 18 21 23 32 33 38 46 51 54 58 61
a 2 9 10 12 13 17 18 21 23 28 32 33 38 46 51 54 58 61
a 9 10 12 13 17 18 21 23 28 32 33 38 40 46 51 54 58 61
a 10 12 13 17 18 21 23 28 32 33 34 38 40 46 51 54 58 61
a 9 10 12 13 17 18 21 23 28 32 33 34 38 40 46 51 58 61
a 9 10 12 17 18 21 23 28 32 33 34 38 40 44 46 51 58 61
a 10 12 17 18 21 23 28 32 33 34 38 40 44 46 51 54 58 61
a 9 10 12 17 18 21 23 28 32 33 34 38 40 44 46 51 54 61
a 9 10 12 17 18 23 28 32 33 34 38 40 44 46 51 54 58 61
a 9 10 12 17 18 21 23 28 32 33 34 38 44 46 51 54 58 61
a 10 12 17 18 21 23 28 32 33 34 38 44 46 51 54 58 61 63
a 10 12 17 21 23 28 32 33 34 38 44 46 51 54 58 61 62 63
a 12 17 21 23 28 32 33 34 38 40 44 46 51 54 58 61 62 63
a 12 17 21 23 28 32 33 34 38 40 44 46 49 51 54 58 62 63
a 12 17 21 23 28 32 33 34 38 44 46 49 51 54 55 58 62 63
a 12 17 21 23 28 32 33 34 38 44 46 51 54 55 58 61 62 63
a 17 21 23 28 32 33 34 38 42 44 46 51 54 55 58 61 62 63
a 17 21 23 28 32 33 34 38 42 44 46 48 51 54 55 61 62 63
a 15 17 21 23 28 32 33 34 38 42 44 46 48 51 54 55 61 62
a 15 17 21 23 28 32 33 34 38 42 44 46 48 49 51 54 55 62
a 15 17 20 21 23 28 32 34 38 42 44 46 48 49 51 54 55 62
a 15 17 20 21 28 32 34 38 42 44 46 48 49 51 54 55 57 62
a 14 15 20 21 28 32 34 38 42 44 46 48 49 51 54 55 57 62
a 14 15 20 21 23 28 32 34 38 42 44 46 48 49 51 54 55 62
a 3 14 15 20 21 23 28 32 34 38 42 44 46 48 49 51 54 55
a 3 14 15 20 21 28 32 34 38 42 44 46 48 49 51 54 55 57
a 3 14 20 21 28 32 34 38 42 44 46 48 49 51 54 55 56 57
a 3 14 20 21 28 32 34 38 42 44 46 48 49 54 55 56 57 62
a 3 14 20 21 28 32 34 38 42 44 46 48 49 51 54 55 56 62
a 3 17 20 21 28 32 34 38 42 44 46 48 49 51 54 55 56 62
a 17 20 21 23 28 32 34 38 42 44 46 48 49 51 54 55 56 62
a 17 20 23 28 32 34 38 42 44 46 48 49 51 54 55 56 62 63
a 10 17 20 23 28 32 34 38 42 44 46 48 49 51 54 56 62 63
a 10 14 17 20 23 28 32 34 38 42 44 46 49 51 54 56 62 63
a 14 17 20 21 23 28 32 34 38 42 44 46 49 51 54 56 62 63
a 14 17 20 21 23 28 32 34 38 42 44 46 51 54 55 56 62 63
a 14 17 20 21 23 28 32 34 38 42 44 46 48 51 54 55 56 62
a 14 17 20 21 23 28 32 34 38 42 44 46 48 49 54 55 56 62
a 14 17 20 21 23 28 32 34 38 42 44 46 48 49 51 54 55 56
a 9 14 17 20 21 23 28 32 34 38 42 44 46 48 49 51 54 55
a 9 17 20 21 23 28 32 34 38 42 44 46 48 49 51 54 55 56
a 9 10 17 20 21 23 28 32 34 38 42 44 46 48 51 54 55 56
a 9 10 17 20 21 23 28 32 34 38 42 44 46 49 51 54 55 56
a 9 10 14 17 20 21 28 32 34 38 42 44 46 49 51 54 55 56
a 9 10 14 20 21 28 32 34 38 42 44 46 48 49 51 54 55 56
a 9 10 14 20 23 28 32 34 38 42 44 46 48 49 51 54 55 56
a 9 10 14 17 20 23 28 32 34 38 42 44 46 48 49 51 54 56
a 10 14 17 20 21 23 28 32 34 38 42 44 46 48 49 51 54 56
a 10 14 15 17 20 21 23 28 32 34 38 42 44 46 48 49 51 54
a 10 14 15 17 20 21 28 32 34 38 42 44 46 48 49 51 54 57
a 9 10 14 15 17 20 21 28 32 34 38 42 46 48 49 51 54 57
a 9 10 14 15 17 20 21 23 28 32 34 38 42 46 48 49 51 54
a 9 10 14 15 17 20 21 23 28 32 34 38 42 44 46 48 49 51
a 9 14 15 17 20 21 23 28 32 34 38 42 44 46 48 49 51 54
a 9 14 15 17 20 21 23 32 34 38 42 44 46 48 49 51 54 55
a 9 14 15 17 20 21 23 28 32 34 38 42 44 46 48 49 51 55
a 9 10 15 17 20 21 23 28 32 34 38 42 44 46 48 49 51 55
a 9 10 15 17 20 21 28 32 34 38 42 44 46 48 49 51 54 55
a 9 10 17 20 21 28 32 34 38 42 44 46 48 49 51 54 55 56
a 9 10 14 17 20 21 28 32 34 38 42 44 46 48 49 51 55 56
a 9 10 14 17 20 23 28 32 34 38 42 44 46 48 49 51 55 56
a 9 10 17 20 23 28 32 34 38 42 44 46 48 49 51 54 55 56
a 9 10 17 20 21 23 28 32 34 38 42 44 48 49 51 54 55 56
a 10 17 20 21 23 28 32 34 38 42 44 46 48 49 51 54 55 56
a 10 17 21 23 28 32 33 34 38 42 44 46 48 49 51 54 55 56
a 17 21 23 28 32 33 34 38 42 44 46 48 49 51 54 55 56 62
a 10 17 21 23 32 33 34 38 42 44 46 48 49 51 54 55 56 62
a 10 21 23 32 33 34 38 42 44 46 48 49 51 54 55 56 62 63
a 10 17 21 23 32 33 34 38 42 44 46 49 51 54 55 56 62 63
a 10 17 21 23 28 32 33 34 38 42 44 46 49 51 54 55 56 62
a 10 17 21 23 28 32 33 34 42 44 46 49 51 54 55 56 62 63
a 10 17 21 23 28 32 33 34 38 42 44 46 49 51 54 55 56 63
a 17 21 23 28 32 33 34 38 42 44 46 49 51 54 55 56 62 63
a 17 21 23 28 32 33 34 38 44 46 48 49 51 54 55 56 62 63
a 21 23 28 32 33 34 38 42 44 46 48 49 51 54 55 56 62 63
a 17 21 23 28 32 34 38 42 44 46 48 49 51 54 55 56 62 63
a 10 21 23 28 32 34 38 42 44 46 48 49 51 54 55 56 62 63
a 10 23 28 32 33 34 38 42 44 46 48 49 51 54 55 56 62 63
a 3 10 23 32 33 34 38 42 44 46 48 49 51 54 55 56 62 63
a 3 10 23 28 32 33 34 38 42 44 46 48 49 51 54 55 56 62
a 3 10 21 23 28 32 34 38 42 44 46 48 49 51 54 55 56 62
a 3 10 17 21 23 28 32 34 38 42 44 46 48 49 51 55 56 62
a 3 10 14 17 21 23 28 32 34 42 44 46 48 49 51 55 56 62
a 3 10 14 17 21 23 28 32 34 39 42 44 46 48 49 51 55 56
a 3 10 14 17 23 28 32 33 34 39 42 44 46 48 49 51 55 56
a 10 14 17 21 23 28 32 33 34 39 42 44 46 48 49 51 55 56
a 8 14 17 21 23 28 32 33 34 39 42 44 46 48 49 51 55 56
a 8 14 17 21 23 28 32 33 34 39 42 44 46 48 49 55 56 62
a 8 14 17 21 23 28 32 33 34 39 42 44 46 49 51 55 56 62
a 8 14 17 23 28 32 33 34 39 42 44 46 49 51 54 55 56 62
a 8 10 14 17 23 32 33 34 39 42 44 46 49 51 54 55 56 62
a 8 10 14 17 23 32 33 34 39 42 44 46 51 54 55 56 58 62
a 8 10 14 17 23 32 34 39 42 44 46 49 51 54 55 56 58 62
a 8 10 14 17 23 32 33 34 39 42 44 46 49 51 54 56 58 62
a 8 10 14 17 23 28 32 33 34 39 42 44 46 51 54 56 58 62
a 8 10 14 17 21 23 28 32 33 34 39 42 44 46 51 56 58 62
a 8 10 14 17 21 28 32 33 34 39 42 44 46 51 54 56 58 62
a 8 10 14 17 21 23 28 32 33 34 39 42 44 46 51 54 56 58
a 8 10 17 21 23 28 32 33 34 39 42 44 46 49 51 54 56 58
a 8 10 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 56
a 8 10 14 17 21 23 28 32 33 34 39 42 44 46 48 49 51 56
a 8 10 14 17 21 23 28 33 34 39 42 44 46 48 49 51 54 56
a 8 10 14 17 23 28 33 34 39 42 44 46 48 49 51 54 55 56
a 8 10 14 17 23 28 32 33 34 39 42 44 46 48 49 51 54 55
a 8 10 14 17 23 28 32 33 34 39 42 44 46 49 51 54 55 62
a 8 14 15 17 23 28 32 33 34 39 42 44 46 49 51 54 55 62
a 8 14 15 17 21 23 28 32 33 34 39 42 46 49 51 54 55 62
a 8 14 15 17 21 23 28 32 33 34 39 42 44 46 49 51 54 55
a 8 14 15 17 21 23 28 32 33 39 42 44 46 48 49 51 54 55
a 8 14 15 17 21 23 28 32 33 34 39 42 46 48 49 51 54 55
a 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 55
a 14 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 55 62
a 14 15 17 21 23 28 32 33 34 39 44 46 48 49 51 54 55 62
a 8 14 17 21 23 28 32 33 34 39 44 46 48 49 51 54 55 62
a 8 14 21 23 28 32 33 34 39 42 44 46 48 49 51 54 55 62
a 8 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 55 62
a 8 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 62
a 8 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54
a 3 8 14 15 17 21 23 28 32 33 34 39 42 44 46 49 51 54
a 3 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54
a 3 14 15 17 21 23 28 32 33 34 42 44 46 48 49 51 54 55
a 3 14 15 17 21 23 28 32 33 34 38 42 44 46 48 49 51 55
a 3 14 15 17 21 23 28 32 34 38 42 44 46 48 49 51 55 63
a 3 14 15 17 21 23 32 34 38 42 44 46 48 49 51 54 55 63
a 3 14 15 17 21 23 28 32 34 38 42 44 46 48 49 51 54 55
a 3 14 15 21 23 28 32 33 34 38 42 44 46 48 49 51 54 55
a 3 10 14 15 21 23 28 33 34 38 42 44 46 48 49 51 54 55
a 3 14 15 17 21 23 28 33 34 38 42 44 46 48 49 51 54 55
a 3 14 15 17 23 28 32 33 34 38 42 44 46 48 49 51 54 55
a 3 10 14 15 17 23 28 32 33 34 38 42 44 46 48 49 51 55
a 3 10 14 15 17 21 23 28 32 33 34 38 42 44 46 48 51 55
a 3 10 14 15 17 21 23 28 32 33 34 38 42 44 46 51 55 63
a 3 10 14 15 17 21 23 28 32 33 34 38 42 44 46 48 51 63
a 10 14 15 17 21 23 28 32 33 34 38 42 44 46 48 49 51 63
a 10 14 15 17 21 23 28 32 33 34 38 42 44 46 48 49 54 63
a 10 14 15 17 21 23 28 32 33 34 38 42 44 46 49 54 62 63
a 10 14 15 17 21 23 28 32 33 34 38 42 44 46 54 61 62 63
a 10 14 15 17 21 23 28 32 33 38 42 44 46 54 55 61 62 63
a 10 14 15 17 21 23 32 33 34 38 42 44 46 54 55 61 62 63
a 10 14 15 17 21 23 28 32 33 34 38 42 44 54 55 61 62 63
a 10 14 15 17 21 23 28 32 33 34 38 42 44 51 54 55 61 62
a 10 14 15 17 21 23 28 32 33 34 38 42 44 49 51 54 55 62
a 10 14 15 17 21 23 28 32 33 34 38 42 44 48 49 51 55 62
a 10 14 15 17 21 23 28 32 33 34 38 42 44 46 48 49 51 55
a 3 10 14 15 17 21 23 28 32 33 34 38 42 44 46 49 51 55
a 3 10 14 15 17 21 23 28 32 33 34 38 42 44 46 51 55 61
a 3 10 14 15 17 21 23 28 32 33 34 38 42 46 48 51 55 61
a 3 10 14 17 21 23 28 32 33 34 38 42 44 46 48 51 55 61
a 3 14 15 17 21 23 28 32 33 34 38 42 44 46 48 51 55 61
a 3 10 14 15 17 21 23 28 32 33 34 38 44 46 48 51 55 61
a 10 14 15 17 21 23 28 32 33 34 38 44 46 48 51 55 61 63
a 14 15 17 21 23 28 32 33 34 38 44 46 48 51 55 61 62 63
a 14 15 17 21 23 28 32 33 34 44 46 48 51 54 55 61 62 63
a 14 15 17 21 23 28 32 33 34 38 44 46 48 51 54 55 61 62
a 14 15 17 21 23 28 33 34 38 42 44 46 48 51 54 55 61 62
a 10 14 15 17 21 23 28 33 34 38 42 44 46 48 51 54 55 61
a 10 14 15 17 23 28 32 33 34 38 42 44 46 48 51 54 55 61
a 10 14 15 17 21 23 28 32 33 34 38 42 46 48 51 54 55 61
a 10 14 15 17 21 23 28 32 33 34 38 42 44 46 48 51 54 55
a 10 14 15 17 21 23 28 32 33 34 38 42 44 46 51 54 55 61
a 10 14 15 17 21 23 28 32 33 34 38 42 44 46 48 51 55 61
a 10 14 15 17 21 23 28 32 33 34 42 44 46 48 51 55 61 62
a 10 14 15 17 21 23 28 32 33 34 42 44 46 48 51 54 55 61
a 10 14 15 17 21 23 28 32 33 34 42 44 46 51 54 55 61 62
a 10 14 15 17 21 23 28 32 33 34 42 44 46 49 51 54 55 62
a 10 14 15 17 21 23 28 32 33 34 38 44 46 49 51 54 55 62
a 10 14 15 17 23 28 32 33 34 38 44 46 48 49 51 54 55 62
a 3 10 15 17 23 28 32 33 34 38 44 46 48 49 51 54 55 62
a 3 10 14 15 17 23 28 32 33 34 38 44 46 48 49 54 55 62
a 3 10 14 15 17 21 23 28 32 33 34 38 44 46 48 54 55 62
a 3 10 14 15 17 20 21 23 28 32 34 38 44 46 48 54 55 62
a 3 10 14 15 17 20 21 23 28 32 34 38 42 46 48 54 55 62
a 3 10 14 15 17 20 21 23 28 32 34 39 42 46 48 54 55 62
a 3 10 14 15 17 20 21 23 28 32 34 39 42 46 48 51 54 62
a 3 14 15 17 20 21 23 28 32 34 39 42 46 48 51 54 55 62
a 14 15 17 20 21 23 28 32 34 39 42 46 48 49 51 54 55 62
a 10 14 15 17 20 21 23 28 32 34 39 42 46 49 51 54 55 62
a 10 14 15 17 20 21 23 28 32 34 39 42 44 46 49 51 55 62
a 10 14 15 20 21 23 28 32 34 39 42 44 46 48 49 51 55 62
a 14 15 20 21 23 28 32 34 39 42 44 46 48 49 51 54 55 62
a 10 14 15 20 21 23 28 32 34 39 42 44 46 48 49 51 54 62
a 10 15 20 21 23 28 32 34 39 42 44 46 48 49 51 54 55 62
a 10 15 17 21 23 28 32 34 39 42 44 46 48 49 51 54 55 62
a 10 15 17 20 21 23 28 32 34 39 42 44 46 49 51 54 55 62
a 3 10 15 17 20 21 23 28 32 34 39 42 44 46 49 54 55 62
a 3 10 14 15 17 20 21 23 28 32 34 39 42 44 46 54 55 62
a 3 10 14 15 17 20 21 23 28 32 34 39 42 44 46 49 54 62
a 3 10 14 15 17 21 23 28 32 34 39 42 44 46 49 51 54 62
a 10 14 15 17 20 21 23 28 32 34 39 42 44 46 49 51 54 62
a 14 15 17 20 21 23 28 32 34 39 42 44 46 49 51 54 55 62
a 15 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 55 62
a 14 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 55 62
a 3 14 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 55
a 3 14 17 20 21 23 28 32 34 39 42 44 46 48 51 54 55 62
a 3 14 17 20 21 23 28 32 34 39 42 46 48 49 51 54 55 62
a 3 14 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 62
a 3 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 55 62
a 3 15 17 20 23 28 32 34 39 42 44 46 48 49 51 54 55 62
a 3 15 17 20 21 23 28 34 39 42 44 46 48 49 51 54 55 62
a 3 14 15 17 20 21 23 28 34 39 42 44 46 48 49 51 54 62
a 3 14 15 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54
a 14 15 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 62
a 8 15 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 62
a 8 10 15 17 20 21 23 28 32 34 39 42 44 46 48 49 54 62
a 10 15 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 62
a 10 14 15 17 20 21 23 28 32 34 39 42 44 46 48 51 54 62
a 10 14 15 17 20 21 23 28 32 34 39 42 46 48 49 51 54 62
a 10 14 15 17 20 21 28 32 34 39 42 46 48 49 51 54 57 62
a 10 14 15 17 21 28 32 34 39 42 44 46 48 49 51 54 57 62
a 3 10 14 15 17 21 28 32 34 39 42 44 46 48 49 51 54 62
a 10 14 15 17 21 28 32 33 34 39 42 44 46 48 49 51 54 62
a 10 14 15 17 21 28 32 34 39 42 44 46 48 49 51 54 55 62
a 10 14 17 21 28 32 33 34 39 42 44 46 48 49 51 54 55 62
a 10 14 15 17 21 28 32 33 34 39 42 44 46 48 49 54 55 62
a 10 15 17 21 28 32 33 34 39 42 44 46 48 49 51 54 55 62
a 10 15 17 21 23 28 32 33 34 39 42 44 46 48 51 54 55 62
a 10 15 17 20 21 23 28 32 34 39 42 44 46 48 51 54 55 62
a 10 14 15 17 20 21 23 28 32 34 39 42 44 48 51 54 55 62
a 10 14 15 17 20 21 23 28 32 34 39 42 48 51 54 55 62 63
a 10 14 15 17 20 21 23 28 32 34 39 42 44 48 51 54 55 63
a 10 14 15 17 20 21 23 28 32 34 39 42 44 46 48 51 55 63
a 10 14 15 17 20 21 23 28 32 34 39 42 44 46 48 49 51 55
a 10 14 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 55
a 14 15 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 55
a 14 15 17 20 23 28 32 34 39 42 44 46 48 49 51 54 55 62
a 14 15 17 20 21 23 28 32 34 39 42 44 46 48 51 54 55 62
a 3 14 15 17 20 21 23 28 32 34 39 42 44 46 48 54 55 62
a 3 14 15 17 20 21 23 28 32 34 39 42 46 48 49 54 55 62
a 3 14 15 20 21 23 28 32 34 39 42 44 46 48 49 54 55 62
a 3 14 15 20 23 28 32 34 39 42 44 46 48 49 51 54 55 62
a 3 14 15 20 21 23 28 34 39 42 44 46 48 49 51 54 55 62
a 3 14 15 20 21 23 28 32 34 39 42 44 46 48 49 51 54 62
a 3 14 15 17 21 23 28 32 34 39 42 44 46 48 49 51 54 62
a 3 14 15 17 21 23 28 32 39 42 44 46 48 49 51 54 62 63
a 14 15 17 21 23 28 32 34 39 42 44 46 48 49 51 54 62 63
a 3 14 15 17 21 23 28 32 34 39 42 44 46 48 49 51 62 63
a 3 14 15 17 21 23 28 32 33 39 42 44 46 48 49 51 62 63
a 3 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51 63
a 3 8 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51
a 3 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51 55
a 3 14 15 17 20 21 23 28 32 34 39 42 44 46 48 49 51 55
a 3 10 14 15 17 20 21 23 28 32 34 39 42 44 46 49 51 55
a 3 8 10 14 15 17 20 21 23 28 32 34 39 42 46 49 51 55
a 3 8 10 14 15 17 20 21 23 28 32 34 39 42 44 46 49 51
a 8 10 14 15 17 20 21 23 28 32 34 39 42 44 46 49 51 55
a 8 10 14 15 17 20 21 23 28 32 34 39 42 44 46 48 49 51
a 3 8 10 14 15 17 20 21 23 28 32 34 39 42 44 48 49 51
a 3 8 10 14 15 17 20 21 23 28 32 34 39 42 44 46 48 49
a 3 8 10 11 14 15 17 20 21 23 28 32 34 39 42 44 48 49
a 3 8 10 14 15 17 20 21 23 28 32 34 39 42 44 48 49 54
a 3 8 10 14 15 17 20 21 23 28 32 34 39 42 44 48 49 55
a 3 8 10 14 15 17 21 23 28 32 33 34 39 42 44 48 49 55
a 8 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 55
a 8 10 14 15 17 21 23 28 32 33 39 42 44 46 48 49 51 55
a 8 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51
a 3 8 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49
a 3 8 10 15 17 21 23 28 32 33 34 39 42 44 46 48 49 62
a 8 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 62
a 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 55 62
a 3 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 55 62
a 3 8 14 15 17 21 23 28 32 33 39 42 44 46 48 49 55 62
a 8 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 55 62
a 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51 55 62
a 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 62
a 14 15 17 21 23 28 32 33 34 39 42 44 48 49 51 54 55 62
a 14 15 17 21 23 28 32 33 34 42 44 46 48 49 51 54 55 62
a 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 55 62
a 10 15 17 21 23 28 32 33 39 42 44 46 48 49 51 54 55 62
a 10 15 17 20 21 23 28 32 39 42 44 46 48 49 51 54 55 62
a 10 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 55 62
a 8 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 55 62
a 8 10 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 62
a 10 14 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 62
a 3 10 14 17 20 21 28 32 34 39 42 44 46 48 49 51 54 62
a 3 14 15 17 20 21 28 32 34 39 42 44 46 48 49 51 54 62
a 3 15 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 62
a 3 15 17 20 21 23 28 32 34 39 42 44 46 48 49 54 55 62
a 3 15 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 55
a 3 10 15 17 20 21 23 28 32 34 39 42 46 48 49 51 54 55
a 3 8 10 15 17 20 23 28 32 34 39 42 46 48 49 51 54 55
a 8 10 15 17 20 23 28 32 34 39 42 44 46 48 49 51 54 55
a 10 14 15 17 20 23 28 32 34 39 42 44 46 48 49 51 54 55
a 10 14 15 17 20 23 28 32 34 39 42 44 46 48 49 51 55 62
a 8 10 14 15 17 23 28 32 34 39 42 44 46 48 49 51 55 62
a 8 10 15 17 21 23 28 32 34 39 42 44 46 48 49 51 55 62
a 8 10 15 17 20 21 28 32 34 39 42 44 46 48 49 51 55 62
a 8 10 17 20 21 28 32 34 39 42 44 46 48 49 51 54 55 62
a 10 15 17 20 21 28 32 34 39 42 44 46 48 49 51 54 55 62
a 8 10 15 17 20 21 28 32 34 39 42 44 46 48 51 54 55 62
a 8 10 15 17 20 21 28 32 34 39 42 44 46 48 49 51 54 62
a 8 10 15 17 20 28 32 34 39 42 44 46 48 49 51 54 55 62
a 8 10 15 17 20 23 28 32 34 39 42 44 46 49 51 54 55 62
a 8 10 15 17 20 23 28 32 34 39 42 44 46 48 49 51 54 62
a 10 15 17 20 23 28 32 34 39 42 44 46 48 49 51 54 62 63
a 10 15 17 20 21 23 32 34 39 42 44 46 48 49 51 54 62 63
a 15 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 62 63
a 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 62 63
a 14 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 62 63
a 3 14 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 62
a 3 10 14 17 23 28 32 33 34 39 42 44 46 48 49 51 54 62
a 3 10 14 23 28 32 33 34 39 42 44 46 48 49 51 54 55 62
a 3 10 14 20 23 28 32 34 39 42 44 46 48 49 51 54 55 62
a 3 8 10 14 20 23 28 32 34 39 42 44 48 49 51 54 55 62
a 3 8 10 14 15 20 23 28 32 34 39 42 44 48 49 51 54 62
a 8 10 14 15 17 20 23 28 32 34 39 42 44 48 49 51 54 62
a 8 10 14 15 17 20 28 32 34 39 42 44 46 48 49 51 54 62
a 8 10 14 15 17 20 23 28 32 34 39 42 44 46 48 49 51 62
a 8 10 14 15 17 20 21 23 28 32 34 39 42 44 46 48 49 62
a 8 14 15 17 20 21 23 28 32 34 39 42 44 46 48 49 55 62
a 8 14 15 17 20 21 23 28 32 34 39 42 44 46 48 49 54 55
a 8 10 14 15 17 21 23 28 32 34 39 42 44 46 48 49 54 55
a 8 10 15 17 20 21 23 28 32 34 39 42 44 46 48 49 54 55
a 8 10 14 15 17 20 21 28 32 34 39 42 44 46 48 49 54 55
a 8 10 14 15 17 20 21 32 34 39 42 44 46 48 49 51 54 55
a 10 14 15 17 20 21 23 32 34 39 42 44 46 48 49 51 54 55
a 10 14 15 17 20 21 23 28 32 34 39 44 46 48 49 51 54 55
a 10 14 15 17 20 21 23 28 32 34 39 42 44 48 49 51 54 55
a 10 14 15 17 20 21 23 28 32 34 39 42 44 46 48 51 54 55
a 10 14 15 17 20 21 23 28 34 39 42 44 46 48 49 51 54 55
a 10 14 15 17 20 21 23 28 32 34 39 42 44 46 48 49 54 55
a 3 10 15 17 20 21 23 28 32 34 39 42 44 46 48 49 54 55
a 10 15 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54 55
a 3 10 15 17 20 21 23 28 32 34 39 42 44 46 48 49 51 54
a 3 10 15 17 20 21 23 28 32 34 39 44 46 48 49 51 54 55
a 10 15 17 20 21 23 28 32 34 39 44 46 48 49 51 54 55 62
a 3 10 15 17 20 21 23 28 32 34 39 44 46 48 49 54 55 62
a 3 10 15 17 20 21 23 28 32 34 39 44 46 48 49 51 54 62
a 3 10 15 17 21 23 28 32 33 34 39 44 46 48 49 51 54 62
a 3 10 14 17 21 23 28 32 33 34 39 44 46 48 49 51 54 62
a 3 10 14 15 17 21 23 28 32 33 34 39 44 46 48 51 54 62
a 3 10 14 15 17 21 23 28 33 34 39 44 46 48 51 54 55 62
a 3 10 14 15 17 21 23 28 32 33 34 39 44 46 48 51 54 55
a 3 8 10 14 15 17 21 23 28 32 33 34 39 44 46 48 51 54
a 3 8 10 14 15 17 21 23 28 32 33 34 39 44 46 48 54 55
a 8 10 14 15 17 21 23 28 32 33 34 39 44 46 48 49 54 55
a 3 8 10 14 15 17 21 23 28 32 33 39 44 46 48 49 54 55
a 8 10 14 15 17 21 23 28 32 33 39 42 44 46 48 49 54 55
a 10 14 15 17 21 23 28 32 33 39 42 44 46 48 49 51 54 55
a 10 14 15 17 21 28 32 33 39 42 43 44 46 48 49 51 54 55
a 14 15 17 21 28 32 33 34 39 42 43 44 46 48 49 51 54 55
a 8 14 15 17 21 28 32 33 34 39 42 43 46 48 49 51 54 55
a 8 14 15 17 21 28 32 33 34 39 42 43 46 48 51 54 55 62
a 8 14 15 17 21 28 32 33 34 39 42 43 44 46 48 51 54 62
a 14 15 17 21 28 32 33 34 39 42 43 44 46 48 49 51 54 62
a 15 17 21 28 32 33 34 39 42 43 44 46 48 49 51 54 55 62
a 8 15 17 21 28 32 33 34 39 42 43 44 46 48 49 51 54 55
a 8 10 15 17 21 28 32 33 34 39 42 43 44 48 49 51 54 55
a 8 10 15 17 21 28 32 34 39 42 43 44 46 48 49 51 54 55
a 8 10 15 17 21 28 32 33 39 42 43 44 46 48 49 51 54 55
a 8 10 15 17 21 28 32 39 42 43 44 46 48 49 51 54 55 62
a 8 10 15 17 21 28 32 34 39 42 43 44 46 48 49 51 55 62
a 8 10 15 17 21 28 32 34 39 42 43 46 48 49 51 54 55 62
a 8 10 15 17 21 28 32 34 39 42 43 44 48 49 51 54 55 62
a 8 10 15 17 21 28 32 34 39 42 44 46 48 49 51 54 55 62
a 8 10 15 17 21 28 32 34 39 42 43 44 46 48 49 54 55 62
a 8 15 17 21 28 32 34 39 42 43 44 46 48 49 51 54 55 62
a 8 15 17 21 28 32 33 34 39 42 43 44 46 48 49 51 54 62
a 8 15 17 21 28 32 33 34 39 42 43 44 46 48 49 54 55 62
a 8 10 15 17 21 28 32 33 34 39 42 43 44 46 48 49 54 55
a 3 8 10 15 17 21 28 32 33 34 39 42 43 44 46 48 49 54
a 3 8 10 15 17 21 28 32 33 34 39 42 43 44 46 48 49 62
a 3 8 10 17 21 28 32 33 34 39 42 43 44 46 48 49 54 62
a 8 10 15 17 21 28 32 33 34 39 42 43 44 46 48 49 54 62
a 3 8 10 15 17 28 32 33 34 39 42 43 44 46 48 49 54 62
a 8 10 15 17 28 32 33 34 39 42 43 44 46 48 49 54 55 62
a 8 15 17 28 32 33 34 39 42 43 44 46 48 49 51 54 55 62
a 10 15 17 28 32 33 34 39 42 43 44 46 48 49 51 54 55 62
a 14 15 17 28 32 33 34 39 42 43 44 46 48 49 51 54 55 62
a 10 14 15 17 28 32 33 34 39 42 43 44 46 48 49 51 54 62
a 10 14 15 17 21 28 32 33 34 39 42 43 44 46 48 49 51 54
a 10 14 15 17 21 28 32 33 39 42 43 44 46 48 49 51 54 62
a 10 14 15 17 21 28 32 33 34 39 42 43 44 46 48 49 51 62
a 10 14 15 17 21 28 32 34 39 42 43 44 46 48 49 51 54 62
a 10 15 17 21 28 32 34 39 42 43 44 46 48 49 51 54 55 62
a 3 10 15 21 28 32 34 39 42 43 44 46 48 49 51 54 55 62
a 3 8 10 15 21 32 34 39 42 43 44 46 48 49 51 54 55 62
a 3 10 15 17 21 32 34 39 42 43 44 46 48 49 51 54 55 62
a 3 10 15 21 32 33 34 39 42 43 44 46 48 49 51 54 55 62
a 3 10 15 21 28 32 33 34 39 42 43 44 46 48 49 51 54 55
a 10 15 17 21 28 32 33 34 39 42 43 44 46 48 49 51 54 55
a 10 14 15 17 21 28 33 34 39 42 43 44 46 48 49 51 54 55
a 10 14 17 21 28 33 34 39 42 43 44 46 48 49 51 54 55 62
a 3 14 17 21 28 33 34 39 42 43 44 46 48 49 51 54 55 62
a 3 4 14 17 28 33 34 39 42 43 44 46 48 49 51 54 55 62
a 3 4 14 17 21 28 34 39 42 43 44 46 48 49 51 54 55 62
a 3 4 14 17 21 28 34 38 42 43 44 46 48 49 51 54 55 62
a 3 4 14 17 19 21 28 34 38 42 43 44 46 48 49 51 55 62
a 3 4 14 17 19 21 28 34 38 42 44 46 48 49 51 55 57 62
a 4 14 17 19 21 28 34 38 42 44 46 48 49 51 55 57 62 63
a 4 9 14 19 21 28 34 38 42 44 46 48 49 51 55 57 62 63
a 4 9 14 19 21 28 30 34 38 42 46 48 49 51 55 57 62 63
a 4 9 14 19 21 28 30 34 38 42 48 49 50 51 55 57 62 63
a 4 9 14 19 21 25 30 34 38 42 48 49 50 51 55 57 62 63
a 4 7 9 14 19 21 25 30 34 38 48 49 50 51 55 57 62 63
a 4 7 9 12 19 21 25 30 34 38 48 49 50 51 55 57 62 63
a 4 7 9 12 18 19 21 25 30 34 38 48 49 50 51 55 57 63
a 4 7 9 12 13 18 19 21 25 30 34 38 48 49 50 51 57 63
a 4 7 9 12 13 18 19 21 25 30 34 38 40 49 50 51 57 63
a 4 7 9 12 13 18 19 21 25 30 34 38 40 49 50 57 63 65
c Step: 444
#END: [Tue Sep  5 00:24:23 2023]