#BEGIN: [Mon Sep  4 15:41:21 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-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 --ulimit cpu=1800 -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 63b86915dda33fd1a32b2939cd28e11a88ae50ee2984b76854d778169b38b762
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 13 14 18 23 28 30 33 36 37 38 40 46 49 51 54 58 63
a 10 13 14 18 23 28 30 33 36 37 38 40 46 49 54 58 63 65
a 10 13 14 18 23 26 28 30 33 36 37 38 40 46 49 54 58 63
a 2 10 13 14 18 23 26 28 30 33 36 37 38 40 46 54 58 63
a 2 10 12 13 18 23 26 28 30 33 36 37 38 40 46 54 58 63
a 2 7 10 12 13 18 23 26 30 33 36 37 38 40 46 54 58 63
a 2 7 10 13 14 18 23 26 30 33 36 37 38 40 46 54 58 63
a 7 10 13 14 18 23 26 30 33 36 37 38 40 46 49 54 58 63
a 7 10 12 13 18 23 26 30 33 36 37 38 40 46 49 54 58 63
a 7 10 12 13 18 23 26 30 33 35 36 37 38 40 49 54 58 63
a 6 7 12 13 18 23 26 30 33 35 36 37 38 40 49 54 58 63
a 6 7 12 13 18 23 26 30 33 35 36 37 38 40 47 54 58 63
a 7 10 12 13 18 23 26 30 33 35 36 37 38 40 47 54 58 63
a 7 10 12 13 18 23 26 30 33 35 36 37 38 47 54 55 58 63
a 2 7 10 12 13 18 23 26 30 33 35 36 37 38 47 54 58 63
a 2 7 10 12 13 18 26 27 30 33 35 36 37 38 47 54 58 63
a 2 7 10 12 13 18 26 27 30 33 36 37 38 46 47 54 58 63
a 2 4 7 12 13 18 26 27 30 33 36 37 38 46 47 54 58 63
a 2 4 6 7 12 13 18 26 27 30 33 36 37 38 46 47 54 63
a 4 6 7 12 13 18 26 27 30 33 36 37 38 46 47 54 63 64
a 4 6 7 12 13 18 26 27 30 33 36 37 38 46 54 55 63 64
a 4 6 7 12 13 18 26 27 30 33 36 37 38 40 46 54 63 64
a 4 6 7 12 13 18 27 30 33 36 37 38 40 46 51 54 63 64
a 4 6 7 12 13 18 27 30 33 36 37 38 40 46 54 63 64 65
a 4 6 7 9 12 13 18 27 30 33 37 38 40 46 54 63 64 65
a 4 6 7 9 12 13 18 25 27 30 33 37 38 40 54 63 64 65
a 2 4 6 9 12 13 18 25 27 30 33 37 38 40 54 63 64 65
a 2 4 6 7 9 12 13 18 25 27 30 33 37 40 54 63 64 65
a 2 4 6 7 9 12 13 17 18 25 27 33 37 40 54 63 64 65
a 2 4 6 7 9 12 13 18 25 27 33 35 37 40 54 63 64 65
a 2 4 6 7 9 12 13 18 25 27 35 37 40 54 61 63 64 65
a 2 4 6 7 9 12 13 18 25 27 33 35 37 40 54 61 63 65
a 2 4 6 7 9 12 13 18 25 27 33 35 37 40 54 61 64 65
a 2 4 6 7 9 12 13 17 18 25 27 33 37 40 54 61 64 65
a 2 4 6 7 9 12 13 17 18 25 27 33 37 40 54 58 61 65
a 2 4 6 7 9 12 13 17 18 27 33 37 40 46 54 58 61 65
a 2 4 5 6 7 9 12 13 17 18 27 33 37 46 54 58 61 65
a 2 4 5 6 7 9 12 13 17 18 27 33 37 40 46 54 58 61
a 2 4 5 6 7 9 12 13 17 18 27 33 37 40 46 51 54 58
a 4 5 6 7 9 12 13 17 18 27 32 33 37 40 46 51 54 58
a 4 5 6 7 9 12 13 17 18 27 32 33 34 37 40 46 54 58
a 5 6 7 9 12 13 17 18 27 32 33 34 37 40 46 49 54 58
a 4 5 7 9 12 13 17 18 27 32 33 34 37 40 46 49 54 58
a 4 5 7 9 12 13 17 18 27 32 33 34 40 46 49 51 54 58
a 4 7 9 12 13 17 18 27 32 33 34 38 40 46 49 51 54 58
a 4 7 9 12 13 15 17 27 32 33 34 38 40 46 49 51 54 58
a 4 7 9 12 13 15 17 21 27 32 33 34 38 40 46 49 51 54
a 7 9 10 12 13 15 17 21 27 32 33 34 38 40 46 49 51 54
a 7 9 10 12 13 15 17 21 27 32 33 34 38 40 46 49 54 58
a 7 9 10 12 13 15 17 21 27 32 34 38 40 46 49 54 58 63
a 9 10 12 13 15 17 21 27 32 34 38 40 46 49 51 54 58 63
a 9 10 12 13 15 17 21 28 32 34 38 40 46 49 51 54 58 63
a 9 10 12 13 15 17 21 28 32 33 34 38 40 46 49 51 54 58
a 9 10 13 15 17 21 28 32 33 34 38 40 42 46 49 51 54 58
a 9 10 13 15 17 21 28 32 33 34 38 42 46 49 51 54 55 58
a 9 10 15 17 21 28 32 33 34 38 42 46 49 51 54 55 58 62
a 9 10 15 17 21 28 32 34 38 42 44 46 49 51 54 55 58 62
a 9 15 17 21 23 28 32 34 38 42 44 46 49 51 54 55 58 62
a 9 10 15 21 23 28 32 34 38 42 44 46 49 51 54 55 58 62
a 10 15 17 21 23 28 32 34 38 42 44 46 49 51 54 55 58 62
a 10 14 15 17 21 23 28 34 38 42 44 46 49 51 54 55 58 62
a 8 10 14 15 17 21 23 28 34 42 44 46 49 51 54 55 58 62
a 8 10 14 15 17 21 23 28 33 42 44 46 49 51 54 55 58 62
a 8 10 14 15 21 23 28 33 34 42 44 46 49 51 54 55 58 62
a 8 10 14 15 17 21 23 28 33 34 42 44 46 49 51 54 55 62
a 8 10 14 15 17 21 23 28 32 33 34 42 44 46 49 51 55 62
a 8 10 14 15 17 21 23 28 32 33 34 42 44 46 49 51 54 62
a 10 14 15 17 21 23 28 32 33 34 42 44 46 49 51 54 58 62
a 10 14 15 17 21 23 28 32 33 34 38 42 44 46 49 51 58 62
a 10 14 15 17 21 23 28 32 33 34 38 42 44 46 48 49 51 62
a 10 14 15 17 21 23 28 32 33 34 38 42 44 46 48 49 51 54
a 10 14 15 17 21 23 28 32 33 34 38 42 44 46 49 51 54 55
a 14 15 17 21 23 28 32 33 34 38 42 44 46 48 49 51 54 55
a 14 15 17 21 23 28 32 33 34 38 42 44 46 48 49 51 54 62
a 14 17 21 23 28 32 33 34 38 42 44 46 48 49 51 54 55 62
a 14 17 21 28 32 33 34 38 42 44 46 48 49 51 54 55 57 62
a 14 21 28 32 33 34 38 42 44 46 48 49 51 54 55 57 62 63
a 17 21 28 32 33 34 38 42 44 46 48 49 51 54 55 57 62 63
a 15 17 21 28 32 33 34 38 42 44 46 48 49 51 54 55 57 63
a 15 17 21 28 32 33 34 38 42 44 46 48 49 51 54 55 57 62
a 15 17 21 28 32 33 34 39 42 44 46 48 49 51 54 55 57 62
a 14 15 17 28 32 33 34 39 42 44 46 48 49 51 54 55 57 62
a 3 15 17 28 32 33 34 39 42 44 46 48 49 51 54 55 57 62
a 3 15 17 21 28 32 33 34 39 42 44 46 48 49 51 54 55 57
a 3 10 15 17 21 28 33 34 39 42 44 46 48 49 51 54 55 57
a 3 10 15 17 21 23 28 33 34 39 42 44 46 48 49 51 54 55
a 3 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 55
a 3 8 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 55
a 3 8 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 39 42 44 46 48 49 51 54
a 3 10 14 15 17 21 23 28 32 33 39 42 44 46 48 49 51 54
a 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54
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 14 15 17 21 23 28 32 33 34 39 42 44 46 48 62
a 3 8 10 14 15 17 21 23 28 32 33 39 42 44 46 48 55 62
a 3 8 10 14 15 17 21 23 28 32 33 39 42 44 46 48 49 55
a 3 8 10 14 15 17 23 28 32 33 39 42 44 46 48 49 51 55
a 3 8 10 14 17 23 28 32 33 34 39 42 44 46 48 49 51 55
a 3 8 10 14 15 17 23 28 32 33 34 39 44 46 48 49 51 55
a 3 8 10 14 15 17 23 28 32 33 34 39 42 44 46 48 49 55
a 3 8 10 14 15 17 23 28 33 34 39 42 44 46 48 49 51 55
a 3 8 10 14 15 17 21 23 28 34 39 42 44 46 48 49 51 55
a 3 8 10 14 15 17 21 23 28 34 39 42 44 46 48 51 55 61
a 3 8 10 14 15 17 21 23 28 32 34 39 42 44 46 48 51 61
a 8 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 51 61
a 3 8 10 14 15 17 21 23 28 32 33 34 39 42 44 46 51 61
a 3 8 10 14 15 17 21 23 28 32 33 34 39 42 44 46 49 51
a 3 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51
a 3 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 51 54
a 3 10 14 15 17 21 23 28 32 33 34 39 42 46 48 51 54 55
a 3 10 14 15 17 21 23 28 32 33 34 39 42 46 48 51 54 61
a 3 10 14 15 17 21 23 28 32 33 39 42 46 48 51 54 55 61
a 3 10 14 15 17 21 23 28 32 33 39 42 46 48 49 51 54 55
a 3 10 14 15 17 21 23 28 32 39 42 44 46 48 49 51 54 55
a 3 8 10 14 15 17 21 23 28 32 39 42 44 46 48 49 54 55
a 3 8 10 14 17 21 23 28 32 39 42 44 46 48 49 51 54 55
a 3 8 10 14 20 21 23 28 32 39 42 44 46 48 49 51 54 55
a 8 10 14 20 21 23 28 32 34 39 42 44 46 48 49 51 54 55
a 8 10 14 21 23 28 32 33 34 39 42 44 46 48 49 51 54 55
a 10 14 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 55
a 3 10 14 21 23 28 32 33 34 39 42 44 46 48 49 51 54 55
a 3 8 10 14 21 23 28 32 33 34 39 42 44 46 48 49 51 54
a 3 8 10 14 17 21 23 28 32 33 34 39 42 44 46 48 49 51
a 3 8 10 14 17 21 23 28 32 33 34 39 42 44 46 48 49 62
a 8 10 14 17 21 23 28 32 33 34 39 42 44 46 48 49 56 62
a 8 10 14 17 21 23 28 32 33 34 39 42 44 46 48 49 51 62
a 10 14 17 21 23 28 32 33 34 39 42 44 46 48 49 51 62 63
a 10 14 17 21 23 28 32 33 34 39 42 44 46 49 51 58 62 63
a 10 14 17 21 23 28 32 33 34 39 42 44 46 49 54 58 62 63
a 10 17 21 23 28 32 33 34 39 42 44 46 49 54 56 58 62 63
a 10 14 17 21 23 28 32 33 34 39 42 46 49 54 56 58 62 63
a 10 14 17 21 23 28 32 33 34 39 40 42 46 49 54 56 58 62
a 10 14 17 20 21 23 28 32 34 39 40 42 46 49 54 56 58 62
a 10 14 17 20 21 23 28 32 34 39 40 42 46 49 51 54 56 58
a 10 17 20 21 23 28 32 34 39 40 42 44 46 49 51 54 56 58
a 10 17 20 21 23 28 32 34 39 40 42 44 46 49 51 56 58 62
a 10 17 20 21 23 28 32 34 39 42 44 46 49 51 55 56 58 62
a 10 14 17 20 21 23 28 32 34 39 42 44 46 49 51 56 58 62
a 14 17 20 21 23 28 32 34 39 42 44 46 49 51 55 56 58 62
a 14 17 20 21 23 28 32 34 39 42 44 46 49 51 54 55 56 58
a 10 14 17 20 23 28 32 34 39 42 44 46 49 51 54 55 56 58
a 10 14 17 20 21 23 28 32 34 39 44 46 49 51 54 55 56 58
a 10 14 17 20 21 23 28 32 34 44 46 49 51 54 55 56 58 63
a 10 14 17 20 21 23 28 32 34 42 44 46 49 54 55 56 58 63
a 10 14 17 20 21 23 28 32 34 38 42 44 46 49 54 55 56 58
a 9 10 14 17 20 21 23 28 32 34 38 42 44 46 49 54 55 58
a 9 10 14 17 20 21 23 28 32 34 38 42 44 46 49 51 54 55
a 9 10 14 17 20 21 23 28 32 34 38 42 44 46 49 51 54 58
a 9 10 17 20 21 23 28 32 34 38 42 44 46 49 51 54 56 58
a 9 14 17 20 21 23 28 32 34 38 42 44 46 49 51 54 56 58
a 9 10 14 17 20 21 23 28 32 34 38 42 44 49 51 54 56 58
a 9 10 14 17 21 23 28 32 34 38 42 44 46 49 51 54 56 58
a 9 10 14 17 20 21 23 28 32 38 42 44 46 49 51 54 56 58
a 9 10 17 20 21 23 28 32 38 42 44 46 49 51 54 56 58 62
a 9 17 20 21 23 28 32 38 42 44 46 49 51 54 55 56 58 62
a 9 15 17 20 21 23 28 32 38 42 44 46 49 51 54 55 58 62
a 9 10 15 20 21 23 28 32 38 42 44 46 49 51 54 55 58 62
a 9 10 14 20 21 23 28 32 38 42 44 46 49 51 54 55 58 62
a 9 10 14 20 21 23 28 32 38 42 44 46 48 49 51 54 55 62
a 3 9 10 14 20 21 23 28 32 38 42 44 46 48 49 51 54 55
a 3 9 10 14 21 23 28 32 34 38 42 44 46 48 49 51 54 55
a 9 10 14 15 21 23 28 32 34 38 42 44 46 48 49 51 54 55
a 10 14 15 17 21 23 28 32 34 38 42 44 46 48 49 51 54 55
a 9 10 15 17 21 23 28 32 34 38 42 44 46 48 49 51 54 55
a 9 10 15 17 20 21 23 28 32 34 38 42 44 46 48 49 51 54
a 9 10 15 17 20 21 23 28 32 34 38 42 44 46 48 49 54 63
a 9 10 15 17 20 21 23 28 32 38 42 44 46 48 49 54 55 63
a 9 10 17 20 21 23 28 32 34 38 42 44 46 48 49 54 55 63
a 9 10 17 20 21 23 28 32 34 38 42 44 46 48 49 55 56 63
a 9 10 17 20 21 23 28 32 34 42 44 46 48 49 54 55 56 63
a 9 10 17 20 21 23 28 32 38 42 44 46 48 49 54 55 56 63
a 9 10 17 20 21 23 28 32 34 38 42 46 48 49 54 55 56 63
a 9 10 20 21 23 28 32 34 38 42 46 48 49 51 54 55 56 63
a 10 17 20 21 23 28 32 34 38 42 46 48 49 51 54 55 56 63
a 3 10 17 20 21 23 28 32 38 42 46 48 49 51 54 55 56 63
a 3 10 17 20 21 23 32 38 42 44 46 48 49 51 54 55 56 63
a 3 10 17 20 21 23 28 32 38 42 44 46 48 49 51 54 55 56
a 3 10 17 20 21 23 28 32 34 38 42 44 46 48 49 51 54 55
a 3 10 17 20 21 23 28 32 34 38 42 44 46 48 49 51 54 56
a 3 10 15 17 20 21 23 28 32 34 38 42 44 46 48 49 51 54
a 3 10 15 17 20 21 23 28 32 34 38 42 44 48 49 51 54 63
a 3 10 15 17 20 21 23 28 32 34 38 42 44 48 49 51 54 55
a 3 10 15 17 20 21 23 28 32 38 42 44 46 48 49 51 54 55
a 3 10 15 17 20 21 23 28 32 34 38 42 44 46 48 51 54 55
a 3 10 15 17 20 21 23 28 32 34 38 42 44 46 51 54 55 63
a 3 10 15 17 20 21 23 28 32 34 38 42 44 46 48 51 54 63
a 3 10 15 17 20 21 23 28 32 34 38 42 44 46 48 51 55 63
a 3 10 14 15 17 20 21 23 28 32 34 38 42 44 46 48 51 55
a 10 14 15 17 20 21 23 28 32 34 38 42 44 46 48 51 54 55
a 10 14 15 17 20 21 23 28 32 34 38 42 44 46 48 51 55 62
a 14 15 17 20 21 23 28 32 34 38 42 44 46 48 49 51 55 62
a 15 17 20 21 23 28 32 34 38 42 44 46 48 49 51 54 55 62
a 17 20 21 23 28 32 34 38 42 44 46 48 49 51 54 55 56 62
a 3 17 20 21 23 28 32 38 42 44 46 48 49 51 54 55 56 62
a 3 17 21 23 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 10 17 20 21 28 32 34 38 42 44 46 48 49 51 54 55 56 62
a 10 17 21 28 32 33 34 38 42 44 46 48 49 51 54 55 56 62
a 3 10 17 21 32 33 34 38 42 44 46 48 49 51 54 55 56 62
a 3 10 17 23 32 33 34 38 42 44 46 48 49 51 54 55 56 62
a 3 10 17 23 28 32 33 34 38 42 44 46 48 49 51 54 55 56
a 3 10 17 23 28 32 33 34 38 42 44 46 48 49 51 55 56 62
a 3 10 17 21 23 28 32 33 34 38 42 44 46 48 49 51 55 56
a 3 10 17 21 23 28 32 33 34 38 42 44 46 48 49 54 55 56
a 3 17 21 23 28 32 33 34 38 42 44 46 48 49 51 54 55 56
a 3 21 23 28 32 33 34 38 42 44 46 48 49 51 54 55 56 62
a 3 9 23 28 32 33 34 38 42 44 46 48 49 51 54 55 56 62
a 3 9 17 23 28 32 33 34 38 42 44 46 48 49 51 54 55 56
a 9 17 21 23 28 32 33 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 10 17 21 28 32 33 34 38 42 44 46 48 49 51 54 55 56 63
a 10 17 21 23 28 32 33 34 38 42 44 46 48 49 51 54 56 63
a 10 21 23 28 32 33 34 38 42 44 46 48 49 51 54 56 62 63
a 10 21 23 28 32 33 34 38 42 44 46 48 49 51 54 55 56 63
a 10 15 21 23 28 32 33 34 38 42 44 46 48 49 51 54 55 63
a 10 14 15 23 28 32 33 34 38 42 44 46 48 49 51 54 55 63
a 10 14 15 21 23 28 32 33 34 38 42 44 48 49 51 54 55 63
a 10 14 15 21 23 28 32 33 34 38 42 44 46 48 51 54 55 63
a 10 14 15 20 21 23 28 32 34 38 42 44 46 48 51 54 55 63
a 10 15 20 21 23 28 32 34 38 42 44 46 48 49 51 54 55 63
a 10 14 15 20 23 28 32 34 38 42 44 46 48 49 51 54 55 63
a 10 14 15 21 23 28 32 34 38 42 44 46 48 49 51 54 55 63
a 10 14 15 20 21 23 28 32 34 42 44 46 48 49 51 54 55 63
a 10 14 15 20 21 23 28 32 34 38 42 44 46 48 49 51 54 55
a 10 14 15 20 21 23 28 32 38 42 44 46 48 49 51 54 55 62
a 10 14 20 21 23 28 32 38 42 44 46 48 49 51 54 55 56 62
a 10 14 21 23 28 32 38 42 44 46 48 49 51 54 55 56 62 63
a 10 14 17 21 23 28 32 38 42 44 46 48 49 51 54 56 62 63
a 10 14 17 23 28 32 38 42 44 46 48 49 51 54 55 56 62 63
a 10 14 17 23 28 32 34 38 42 44 46 48 49 51 54 55 56 62
a 10 14 17 23 28 32 34 39 42 44 46 48 49 51 54 55 56 62
a 10 14 20 23 28 32 34 39 42 44 46 48 49 51 54 55 56 62
a 10 14 17 20 23 28 32 34 39 42 44 46 48 49 51 54 56 62
a 10 14 17 23 28 32 33 34 39 42 44 46 48 49 51 54 56 62
a 10 14 17 21 23 28 32 33 34 39 42 44 46 48 49 54 56 62
a 14 17 21 23 28 32 33 34 39 42 44 46 48 49 54 55 56 62
a 10 17 21 23 28 32 33 34 39 42 44 46 48 49 54 55 56 62
a 10 17 21 23 28 32 33 34 42 44 46 48 49 51 54 55 56 62
a 10 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 55 56
a 10 14 17 21 23 28 32 34 39 42 44 46 48 49 51 54 55 56
a 14 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 55 56
a 10 14 17 21 23 28 32 33 34 39 42 44 46 49 51 54 55 56
a 10 14 17 21 23 28 32 33 34 39 44 46 49 51 54 55 56 62
a 14 17 21 23 28 32 33 34 39 44 46 48 49 51 54 55 56 62
a 3 14 17 21 23 28 32 33 34 39 44 46 48 49 51 54 55 56
a 3 14 17 21 23 28 32 33 34 39 42 44 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 3 14 15 17 21 23 28 32 33 34 39 42 44 46 48 51 54 55
a 8 14 15 17 21 23 28 32 33 34 39 42 44 46 48 51 54 55
a 14 15 17 21 23 28 32 33 34 39 42 44 46 48 51 54 55 63
a 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 51 54 55
a 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51 55
a 3 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 55
a 3 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 55 61
a 3 14 15 17 21 23 28 32 33 34 39 42 44 46 48 54 55 61
a 3 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 54 61
a 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 51 54 61
a 3 14 15 17 21 23 28 32 33 34 39 42 44 46 48 51 54 61
a 8 14 15 17 21 23 28 32 33 34 39 42 44 46 48 51 54 61
a 3 8 14 15 17 21 23 28 32 33 34 39 42 44 46 48 51 61
a 3 8 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 51
a 3 8 10 14 15 17 21 23 28 32 33 34 42 44 46 48 51 61
a 3 10 14 15 17 21 23 28 32 33 34 39 42 44 46 48 51 61
a 3 10 14 15 17 21 23 28 32 33 34 39 42 44 46 51 54 61
a 3 10 14 15 17 21 23 32 33 34 39 42 44 46 48 51 54 61
a 10 14 15 17 21 23 32 33 34 39 42 44 46 48 51 54 55 61
a 14 15 17 21 23 32 33 34 39 42 44 46 48 51 54 55 61 62
a 14 15 17 21 23 28 32 33 34 42 44 46 48 51 54 55 61 62
a 14 15 17 23 28 32 33 34 39 42 44 46 48 51 54 55 61 62
a 14 15 17 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 42 44 46 48 49 51 54 55 62
a 14 15 17 21 23 28 32 33 34 42 44 46 48 49 51 54 62 63
a 14 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 63
a 14 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 55 63
a 14 15 17 23 28 32 33 34 39 42 44 46 48 49 51 54 55 63
a 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 55 63
a 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 55 62 63
a 10 17 21 23 28 32 33 34 39 42 44 46 48 49 51 54 62 63
a 10 15 17 21 23 28 32 33 34 39 42 44 46 48 49 51 62 63
a 10 15 17 21 23 28 32 33 34 39 42 44 46 48 51 54 62 63
a 10 15 17 21 23 28 32 33 34 39 42 44 46 48 51 54 61 62
a 10 15 17 21 23 28 33 34 39 42 44 46 48 51 54 55 61 62
a 10 15 17 21 23 28 32 33 34 39 42 44 46 48 51 55 61 62
a 10 15 17 21 23 28 32 33 34 39 42 44 46 48 51 54 55 62
a 3 10 17 21 23 28 32 33 34 39 42 44 46 48 51 54 55 62
a 3 17 21 23 28 32 33 34 39 42 44 46 48 51 54 55 61 62
a 3 10 17 21 23 28 32 33 34 39 42 44 46 48 51 54 55 61
a 3 10 17 21 23 28 32 33 34 39 42 44 46 48 51 54 61 62
a 3 10 15 17 23 28 32 33 34 39 42 44 46 48 51 54 61 62
a 3 10 15 17 21 23 28 32 33 34 39 42 44 46 48 51 54 61
a 3 15 17 21 23 28 32 33 34 39 42 44 46 48 51 54 61 62
a 3 15 17 21 23 28 32 33 34 39 42 44 46 48 51 54 55 62
a 3 15 17 21 23 28 32 34 39 42 44 46 48 49 51 54 55 62
a 3 15 17 21 23 28 32 33 34 42 44 46 48 49 51 54 55 62
a 3 17 21 23 28 32 33 34 38 42 44 46 48 49 51 54 55 62
a 17 21 23 28 32 33 34 38 42 44 46 48 49 51 54 55 62 63
a 15 21 23 28 32 33 34 38 42 44 46 48 49 51 54 55 62 63
a 15 17 21 23 28 32 33 34 42 44 46 48 49 51 54 55 62 63
a 15 17 21 23 28 32 33 34 38 42 44 46 48 51 54 55 62 63
a 17 21 23 28 32 33 34 38 42 44 46 48 51 54 55 61 62 63
a 14 17 21 23 28 32 33 34 38 42 44 46 48 51 54 55 61 62
a 14 17 21 23 28 32 33 34 38 44 46 48 51 54 55 61 62 63
a 14 17 21 23 28 32 33 34 42 44 46 48 51 54 55 61 62 63
a 14 17 21 23 28 32 33 38 42 44 46 48 51 54 55 61 62 63
a 14 17 21 23 28 33 34 38 42 44 46 48 51 54 55 61 62 63
a 14 15 17 21 28 33 34 38 42 44 46 48 51 54 55 61 62 63
a 14 15 17 21 23 28 33 34 38 42 44 46 48 51 54 55 61 62
a 4 14 15 17 21 28 33 34 38 42 44 46 48 51 54 55 61 62
a 10 14 15 17 21 28 33 34 38 42 44 46 48 51 54 55 61 62
a 10 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 21 23 28 33 34 38 42 44 46 48 51 54 55 60
a 10 14 15 17 21 23 28 33 34 42 44 46 48 51 54 55 60 61
a 10 14 15 17 21 23 28 33 34 42 44 48 51 52 54 55 60 61
a 10 14 15 17 21 23 33 34 42 44 46 48 51 52 54 55 60 61
a 10 14 15 17 21 23 28 33 34 42 44 46 48 52 54 55 60 61
a 10 14 15 17 23 28 33 34 42 44 46 48 52 54 55 60 61 62
a 10 14 15 17 21 23 28 33 34 42 44 46 48 52 54 55 60 62
a 14 15 17 21 23 28 33 34 42 44 46 48 51 52 54 55 60 62
a 14 15 17 21 23 28 33 34 44 46 48 51 52 54 55 60 61 62
a 10 14 15 17 21 23 28 33 34 44 46 48 51 52 54 55 60 61
a 10 14 15 17 21 23 28 33 34 39 44 46 48 51 54 55 60 61
a 10 14 15 17 21 23 28 33 34 39 44 48 51 52 54 55 60 61
a 10 14 15 17 21 23 28 34 39 42 44 48 51 52 54 55 60 61
a 10 14 15 17 21 23 28 33 34 39 42 48 51 52 54 55 60 61
a 8 10 14 17 21 23 28 33 34 39 42 48 51 52 54 55 60 61
a 8 10 17 21 23 28 33 34 39 42 44 48 51 52 54 55 60 61
a 8 10 17 23 28 33 34 39 42 44 46 48 51 52 54 55 60 61
a 8 14 17 23 28 33 34 39 42 44 46 48 51 52 54 55 60 61
a 10 14 17 23 28 33 34 39 42 44 46 48 51 52 54 55 60 61
a 14 17 21 23 28 33 34 39 42 44 46 48 51 52 54 55 60 61
a 10 14 17 21 23 28 33 34 42 44 46 48 51 52 54 55 60 61
a 10 17 21 23 28 33 34 39 42 44 46 48 51 52 54 55 60 61
a 8 17 21 23 28 33 34 39 42 44 46 48 51 52 54 55 60 61
a 8 10 17 21 23 28 33 34 39 42 44 46 48 52 54 55 60 61
a 8 10 14 17 21 23 28 33 39 42 44 46 48 52 54 55 60 61
a 10 14 17 21 23 28 33 39 42 44 46 48 51 52 54 55 60 61
a 10 15 17 21 23 28 33 39 42 44 46 48 51 52 54 55 60 61
a 10 17 21 23 28 33 39 42 44 46 48 51 52 54 55 60 61 62
a 15 17 21 23 28 33 39 42 44 46 48 51 52 54 55 60 61 62
a 14 15 17 21 23 28 33 39 42 44 46 48 51 52 54 55 60 61
a 14 15 21 23 28 33 39 42 44 46 48 51 52 54 55 60 61 62
a 14 15 21 23 28 33 36 39 42 44 46 48 51 52 54 55 60 61
a 14 15 21 23 28 33 34 39 42 44 46 48 51 52 54 55 60 61
a 10 14 21 23 28 33 34 39 42 44 46 48 51 52 54 55 60 61
a 10 14 15 21 23 33 34 39 42 44 46 48 51 52 54 55 60 61
a 10 14 17 21 23 33 34 39 42 44 46 48 51 52 54 55 60 61
a 10 14 17 21 23 28 33 34 39 42 44 46 48 51 52 54 55 60
a 8 14 17 21 23 28 33 34 39 42 44 46 48 51 52 54 55 60
a 8 15 17 21 23 28 33 34 39 42 44 46 48 51 52 54 55 60
a 8 10 15 17 21 23 28 33 34 39 42 46 48 51 52 54 55 60
a 10 14 15 17 21 23 28 33 34 39 42 46 48 51 52 54 55 60
a 14 15 17 21 23 28 33 34 39 42 44 46 48 51 52 54 55 60
a 14 15 17 21 23 28 33 34 39 42 44 46 48 51 52 55 60 63
a 14 15 17 21 23 33 34 39 42 44 46 48 51 52 54 55 60 63
a 14 15 17 21 23 28 33 34 42 44 46 48 51 52 54 55 60 63
a 10 14 15 17 21 23 28 33 34 44 46 48 51 52 54 55 60 63
a 10 14 15 17 21 23 28 33 34 42 46 48 51 52 54 55 60 63
a 10 14 15 17 21 23 28 33 34 39 42 46 48 52 54 55 60 63
a 10 14 15 17 20 21 23 28 34 39 42 46 48 52 54 55 60 63
a 14 15 17 20 21 23 28 34 39 42 44 46 48 52 54 55 60 63
a 10 14 15 17 20 21 23 28 34 39 42 44 46 48 52 54 55 60
a 10 14 17 20 21 23 28 34 39 42 44 46 48 52 54 55 56 60
a 3 14 17 20 21 23 28 34 39 42 44 46 48 52 54 55 56 60
a 3 10 14 17 20 21 23 28 34 39 42 44 46 48 52 54 55 60
a 3 14 17 20 21 23 28 34 39 42 44 46 48 51 52 54 55 60
a 3 14 17 20 23 28 34 39 42 44 46 48 51 52 54 55 60 62
a 3 14 17 20 21 23 28 34 39 42 44 46 48 51 52 54 60 62
a 3 14 17 20 21 23 28 34 39 42 44 46 48 51 52 54 62 63
a 3 17 20 21 23 28 34 39 42 44 46 48 51 52 54 56 62 63
a 3 14 17 20 21 23 28 34 39 42 44 46 48 51 52 54 56 63
a 3 14 17 20 21 23 28 34 39 42 44 46 48 51 52 54 55 56
a 14 17 20 21 23 28 34 39 42 44 46 48 51 52 54 55 56 63
a 14 17 20 21 23 28 34 39 42 44 46 48 51 54 55 56 60 63
a 14 17 20 21 23 28 34 39 42 44 46 48 51 52 54 55 56 60
a 14 17 20 23 28 34 39 42 44 46 48 51 52 54 55 56 60 63
a 14 17 20 21 23 28 34 39 42 44 48 51 52 54 55 56 60 63
a 3 14 17 20 23 28 34 39 42 44 48 51 52 54 55 56 60 63
a 3 14 17 20 23 34 39 42 44 46 48 51 52 54 55 56 60 63
a 3 14 17 20 23 34 39 42 44 46 48 51 52 54 55 56 60 62
a 3 14 15 17 20 23 34 39 42 44 46 48 51 52 54 55 60 62
a 3 14 15 17 20 23 28 34 39 42 46 48 51 52 54 55 60 62
a 3 14 15 17 20 23 28 34 39 44 46 48 51 52 54 55 60 62
a 3 14 15 17 20 23 28 34 39 42 44 46 48 52 54 55 60 62
a 3 14 15 17 20 23 28 34 39 42 44 46 48 52 54 55 62 63
a 3 14 15 17 20 21 23 28 34 39 42 44 46 48 52 54 55 63
a 14 15 17 20 21 23 28 34 39 42 44 46 48 52 54 55 62 63
a 10 14 15 17 21 23 28 34 39 42 44 46 48 52 54 55 62 63
a 10 14 15 17 21 23 28 34 39 42 44 46 48 51 52 54 62 63
a 10 14 15 17 20 21 23 28 34 39 42 44 46 48 51 52 54 63
a 10 14 15 17 20 21 23 28 34 39 42 44 46 48 51 52 62 63
a 10 14 15 17 20 21 23 34 39 42 44 46 48 51 52 60 62 63
a 10 14 15 17 20 21 23 34 39 42 46 48 51 52 55 60 62 63
a 10 14 15 17 20 21 23 28 34 39 42 46 51 52 55 60 62 63
a 10 14 15 17 20 21 23 28 34 39 42 46 48 51 52 55 60 62
a 10 14 17 20 21 23 28 34 39 42 44 46 48 51 52 55 60 62
a 10 14 15 17 20 21 23 28 34 39 42 44 48 51 52 55 60 62
a 8 10 14 15 17 20 21 23 28 34 39 42 48 51 52 55 60 62
a 8 10 14 15 17 20 23 28 34 39 42 46 48 51 52 55 60 62
a 8 10 15 17 20 23 28 34 39 42 44 46 48 51 52 55 60 62
a 8 15 17 20 21 23 28 34 39 42 44 46 48 51 52 55 60 62
a 8 15 20 21 23 28 34 39 42 44 46 48 51 52 54 55 60 62
a 8 15 17 20 23 28 34 39 42 44 46 48 51 52 54 55 60 62
a 10 15 17 20 23 28 34 39 42 44 46 48 51 52 54 55 60 62
a 10 14 15 17 20 23 28 34 39 42 44 46 48 51 52 54 55 60
a 10 14 15 17 20 21 23 34 39 42 44 46 48 51 52 54 55 60
a 10 14 15 17 20 21 23 28 34 39 42 44 46 48 51 52 54 55
a 14 15 17 20 21 23 28 34 39 42 44 46 48 51 52 54 55 63
a 10 14 15 17 20 21 23 28 34 39 42 44 48 51 52 54 55 63
a 3 10 14 15 17 20 21 23 28 34 39 42 44 48 51 52 54 55
a 3 10 14 15 17 20 21 23 28 34 39 42 44 46 48 51 52 54
a 3 8 14 15 17 20 21 23 28 34 39 42 44 46 48 51 52 54
a 3 8 14 17 20 21 23 28 34 39 42 44 46 48 51 52 54 55
a 8 14 17 20 21 23 28 34 39 42 44 46 48 51 52 54 55 60
a 8 14 15 17 20 21 23 28 39 42 44 46 48 51 52 54 55 60
a 3 8 14 15 17 20 21 23 28 39 44 46 48 51 52 54 55 60
a 3 8 14 15 17 20 21 23 28 39 42 44 48 51 52 54 55 60
a 3 8 14 15 17 21 23 28 34 39 42 44 48 51 52 54 55 60
a 3 8 14 15 17 21 23 28 34 42 44 46 48 51 52 54 55 60
a 3 8 14 15 17 23 28 34 39 42 44 46 48 51 52 54 55 60
a 3 8 14 17 20 23 28 34 39 42 44 46 48 51 52 54 55 60
a 3 8 17 20 21 23 28 34 39 42 44 46 48 51 52 54 55 60
a 3 8 14 17 20 21 23 28 34 39 42 44 46 48 52 54 55 60
a 3 8 10 14 17 20 21 23 28 34 42 44 46 48 52 54 55 60
a 3 8 10 14 17 20 21 28 34 42 44 46 48 51 52 54 55 60
a 8 10 14 17 20 21 23 28 34 42 44 46 48 51 52 54 55 60
a 10 14 15 17 20 21 23 28 34 42 44 46 48 51 52 54 55 60
a 10 14 15 17 20 21 23 28 34 39 42 44 46 51 52 54 55 60
a 10 15 17 20 21 23 28 34 39 42 44 46 51 52 54 55 60 62
a 8 10 15 17 20 21 23 28 34 39 42 44 46 51 52 54 55 62
a 8 10 15 17 20 21 23 28 34 39 42 44 46 48 52 54 55 62
a 3 8 10 15 17 20 21 23 28 34 39 42 44 46 48 52 55 62
a 3 10 15 17 20 21 23 28 34 39 42 44 46 48 51 52 55 62
a 3 10 15 17 20 21 23 28 34 39 42 44 46 48 52 55 60 62
a 3 10 15 17 21 23 28 33 34 39 42 44 46 48 52 55 60 62
a 10 14 15 17 21 23 28 33 34 39 42 44 46 48 52 55 60 62
a 10 14 15 17 21 23 28 33 34 39 42 44 46 48 52 54 55 62
a 10 14 17 21 23 28 33 34 39 42 44 46 48 52 54 55 60 62
a 14 17 21 23 28 33 34 39 42 44 46 48 51 52 54 55 60 62
a 10 17 21 23 28 33 34 39 42 44 46 48 51 52 54 55 60 62
a 10 15 17 21 23 28 33 39 42 44 46 48 51 52 54 55 60 62
a 8 15 17 21 23 28 33 39 42 44 46 48 51 52 54 55 60 62
a 15 17 21 23 28 33 34 39 42 44 46 48 51 52 54 55 60 62
a 10 15 21 23 28 33 34 39 42 44 46 48 51 52 54 55 60 62
a 10 15 21 28 33 34 39 42 43 44 46 48 51 52 54 55 60 62
a 10 12 15 21 28 33 34 39 43 44 46 48 51 52 54 55 60 62
a 4 12 15 21 28 33 34 39 43 44 46 48 51 52 54 55 60 62
a 4 12 15 19 21 28 33 34 39 43 44 46 48 51 52 55 60 62
a 4 12 15 19 21 28 33 34 39 44 46 48 51 52 55 60 62 63
a 4 12 15 19 21 28 33 34 39 44 46 48 51 55 57 60 62 63
a 4 9 12 15 19 21 28 33 34 44 46 48 51 55 57 60 62 63
a 4 9 12 15 19 21 28 33 34 38 44 46 51 55 57 60 62 63
a 4 7 9 12 15 19 21 33 34 38 44 46 51 55 57 60 62 63
a 4 7 9 12 15 19 21 33 34 38 44 46 49 51 55 57 62 63
a 4 7 9 12 15 19 21 30 33 34 38 46 49 51 55 57 62 63
a 4 7 9 12 15 19 21 30 33 34 38 40 46 49 51 57 62 63
a 4 7 9 12 13 15 19 21 30 33 34 38 40 46 49 51 57 63
a 4 7 9 12 13 15 19 21 25 30 33 34 38 40 49 51 57 63
a 4 7 9 12 13 18 19 21 25 30 33 34 38 40 49 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: 463
#END: [Mon Sep  4 16:11:22 2023]