#BEGIN: [Mon Sep  4 15:41:09 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance005_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance005_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance005_graph001.col /benchmark/random_instance/random_instance005_graph001_01.dat
c /benchmark/random_instance/random_instance005_graph001.col
c /benchmark/random_instance/random_instance005_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 6d3858af8f0f55c9c5a08ab17026973ba5a63b5c95ac37e17be641e88c214c65
s 55 62 40 58 31 56 39 64 12 65 57 35 24 47 61 20 53 23 52 32
t 41 16 48 34 65 19 35 13 40 44 56 33 47 60 37 15 58 20 24 6
a YES
a 12 20 23 24 31 32 35 39 40 47 52 53 55 56 57 58 61 62 64 65
a 12 20 23 24 31 32 34 35 39 40 47 52 53 55 56 58 61 62 64 65
a 12 15 20 23 24 31 32 34 35 39 40 47 52 53 55 56 58 61 62 65
a 12 15 20 22 23 24 31 32 34 35 39 40 47 52 53 55 56 58 62 65
a 8 12 15 20 22 23 31 32 34 35 39 40 47 52 53 55 56 58 62 65
a 8 12 15 20 22 23 25 31 32 34 35 39 40 47 52 53 55 56 62 65
a 8 12 15 20 22 23 31 32 33 34 35 39 40 47 52 53 55 56 62 65
a 8 12 15 20 22 23 31 32 33 34 35 39 40 47 52 53 55 56 58 65
a 8 15 20 22 23 31 32 33 34 35 39 40 41 47 52 53 55 56 58 65
a 8 15 20 22 23 31 32 34 35 39 40 41 43 47 52 53 55 56 58 65
a 8 12 15 20 22 23 31 32 34 35 39 40 43 47 52 53 55 56 58 65
a 3 8 12 15 20 22 23 31 32 34 35 39 40 43 47 52 53 55 58 65
a 3 8 12 15 20 22 23 31 32 33 34 35 39 40 47 52 53 55 58 65
a 3 8 12 15 20 22 23 31 32 33 34 35 39 40 47 52 53 55 62 65
a 3 8 12 15 20 22 23 31 32 33 34 35 38 39 40 47 52 53 55 62
a 8 12 15 20 22 23 31 32 33 34 35 38 39 40 47 52 53 55 56 62
a 8 12 15 17 20 22 23 31 32 33 34 35 38 39 40 47 52 53 55 56
a 8 12 15 17 22 23 25 31 32 33 34 35 38 39 40 47 52 53 55 56
a 12 15 17 22 23 25 31 32 33 34 35 38 39 40 46 47 52 53 55 56
a 12 17 21 22 23 25 31 32 33 34 35 38 39 40 46 47 52 53 55 56
a 12 15 17 21 23 25 31 32 33 34 35 38 39 40 46 47 52 53 55 56
a 12 15 17 21 22 23 25 31 32 33 34 35 38 39 40 46 52 53 55 56
a 12 15 17 21 22 23 25 31 32 33 34 38 39 40 46 47 52 53 55 56
a 12 15 17 20 21 22 23 25 31 32 33 34 38 39 40 46 47 52 53 55
a 12 15 17 20 21 22 23 25 31 32 33 34 35 38 39 40 46 52 53 55
a 9 12 15 17 20 21 22 23 25 31 32 34 35 38 39 40 46 52 53 55
a 8 9 12 15 17 20 21 22 23 25 31 32 34 35 38 39 40 52 53 55
a 8 12 15 17 20 21 22 23 25 31 32 33 34 35 38 39 40 52 53 55
a 8 12 15 17 20 21 22 23 25 31 32 33 34 35 38 40 52 53 55 56
a 8 12 15 17 20 21 22 23 25 31 32 33 34 35 38 39 40 52 53 56
a 8 12 15 17 20 21 22 23 25 31 32 34 35 38 39 40 52 53 56 62
a 8 12 15 17 20 21 22 23 25 31 32 34 35 38 39 40 47 52 53 62
a 8 15 17 20 21 22 23 25 31 32 34 35 38 39 40 41 47 52 53 62
a 8 15 17 20 21 22 23 25 31 32 33 34 35 38 39 40 41 47 52 62
a 8 15 17 20 21 22 23 25 32 33 34 35 38 39 40 41 47 52 60 62
a 8 15 17 20 21 22 25 32 33 34 35 37 38 39 40 41 47 52 60 62
a 8 15 17 20 21 22 25 32 33 34 35 37 38 39 40 41 47 52 56 62
a 15 17 20 21 22 25 32 33 34 35 37 38 39 40 41 47 52 53 56 62
a 15 17 21 22 25 32 33 34 35 37 38 39 40 41 47 52 53 56 60 62
a 15 17 20 21 22 25 32 33 34 35 37 38 39 40 47 52 53 56 60 62
a 15 17 20 21 22 25 32 33 34 35 37 38 39 40 41 47 53 56 60 62
a 17 20 21 22 25 32 33 34 35 37 38 39 40 41 44 47 53 56 60 62
a 17 20 21 22 25 32 33 34 35 37 38 39 40 41 44 47 52 53 56 62
a 20 21 22 25 32 33 34 35 37 38 39 40 41 44 47 52 53 56 60 62
a 20 21 22 25 32 33 34 35 37 38 39 40 41 44 47 52 53 55 56 62
a 20 21 22 25 32 33 34 35 37 38 39 40 44 46 47 52 53 55 56 62
a 15 20 21 22 25 32 33 34 35 37 38 39 40 44 46 47 52 53 55 62
a 15 20 21 22 25 32 33 34 35 37 38 39 40 41 44 47 52 53 55 62
a 15 20 21 22 32 33 34 35 37 38 39 40 41 44 47 52 53 55 58 62
a 15 20 21 22 32 33 34 35 37 39 40 41 44 47 52 53 55 56 58 62
a 15 17 20 21 22 32 33 34 35 37 39 40 41 44 47 52 53 55 56 62
a 15 17 20 21 22 32 34 35 37 38 39 40 41 44 47 52 53 55 56 62
a 15 20 21 22 32 33 34 35 37 38 39 40 41 44 47 52 53 55 56 62
a 7 15 20 21 22 32 33 35 37 38 39 40 41 44 47 52 53 55 56 62
a 15 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 56 62
a 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 55 56 62
a 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 55 56 60
a 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 56 60
a 15 17 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 56 60
a 15 17 21 22 25 32 33 35 37 38 39 40 41 44 47 52 55 56 60 62
a 15 17 21 22 25 32 33 35 37 38 39 40 44 47 52 53 55 56 60 62
a 7 15 17 21 22 25 32 33 35 37 38 39 44 47 52 53 55 56 60 62
a 7 15 17 21 22 25 32 33 35 37 38 39 41 44 47 52 53 55 56 62
a 7 15 17 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 56
a 7 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 55 56
a 7 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55
a 7 15 17 20 21 22 25 32 33 35 37 38 39 40 44 47 52 53 55 57
a 7 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 53 55 57
a 7 15 17 20 21 22 25 32 33 35 37 38 39 40 41 47 53 55 56 57
a 7 15 17 20 21 22 25 32 33 35 37 38 39 40 41 47 53 55 57 60
a 7 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 53 55 57 60
a 7 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 60
a 7 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 56
a 5 7 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 56
a 5 7 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 55 56
a 5 7 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55
a 5 7 17 20 21 22 25 32 33 35 37 38 39 40 41 44 52 53 55 57
a 5 7 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 57
a 5 7 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 57 62
a 5 7 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 57 60
a 5 7 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 55 57 60
a 5 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 57 60
a 5 20 21 22 25 32 33 35 37 38 39 40 41 44 52 53 55 56 57 60
a 5 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 56 57
a 5 15 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 57
a 15 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 56 57
a 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 56
a 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 52 53 55 56 62
a 15 17 20 21 25 32 33 35 37 38 39 40 41 44 47 52 53 55 56 62
a 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 53 55 56 62
a 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 48 53 55 56 62
a 8 17 20 21 22 25 32 33 35 37 38 39 40 41 47 48 53 55 56 62
a 7 8 17 20 21 22 25 32 33 35 38 39 40 41 47 48 53 55 56 62
a 7 17 20 21 22 25 32 33 35 37 38 39 40 41 47 48 53 55 56 62
a 7 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 48 53 55 56
a 7 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 48 55 56 57
a 7 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 48 55 56
a 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 48 53 55 56
a 15 20 21 22 25 32 33 34 35 37 38 39 40 41 44 47 48 53 55 56
a 15 17 20 21 22 25 32 33 34 35 37 38 39 40 41 44 47 48 53 55
a 7 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 48 53 55
a 7 15 17 21 22 25 32 33 35 37 38 39 40 41 44 47 48 53 55 62
a 7 10 15 17 21 22 25 32 33 35 38 39 40 41 44 47 48 53 55 62
a 7 10 15 17 21 22 25 32 33 35 38 39 40 41 44 47 48 53 55 56
a 7 10 15 17 21 22 25 32 33 35 38 39 40 41 44 47 48 55 56 62
a 10 15 17 21 22 25 32 33 35 38 39 40 41 44 47 48 53 55 56 62
a 10 17 20 21 22 25 32 33 35 38 39 40 41 44 47 48 53 55 56 62
a 10 17 20 21 22 23 25 32 33 35 38 39 40 41 47 48 53 55 56 62
a 17 20 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 55 56 62
a 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56 57
a 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56 57
a 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 57
a 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 57
a 10 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55 57
a 10 15 17 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 57
a 10 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 57
a 7 10 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 57
a 7 10 15 17 21 23 25 26 31 32 33 35 38 39 40 41 47 48 53 57
a 7 10 15 17 21 23 25 26 31 32 33 35 38 39 40 41 47 48 55 57
a 10 15 17 20 21 23 25 26 31 32 33 35 38 39 40 41 47 48 55 57
a 10 15 17 20 21 23 25 26 31 32 33 35 39 40 41 47 48 53 55 57
a 8 10 15 17 20 21 23 25 26 31 32 33 35 39 40 41 47 48 53 55
a 8 10 15 17 20 21 23 25 26 31 32 33 35 38 39 40 41 47 48 55
a 8 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55
a 8 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48
a 7 8 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47
a 8 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 62
a 8 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 56 62
a 8 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53 56
a 8 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56
a 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56
a 8 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53
a 8 15 17 20 21 22 23 25 31 32 33 35 38 39 40 41 47 48 53 56
a 8 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 56
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 56
a 10 15 17 20 21 22 23 26 31 32 33 35 38 39 40 41 47 48 53 56
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 56
a 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 55 56
a 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 10 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56
a 8 10 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53
a 8 10 15 17 20 21 22 23 25 26 31 32 33 35 39 40 41 47 48 53
a 8 10 15 17 20 21 22 23 25 31 32 33 35 39 40 41 47 48 53 55
a 8 15 17 20 21 22 23 25 31 32 33 35 38 39 40 41 47 48 53 55
a 8 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 47 48 53 55
a 8 15 17 20 21 22 23 25 26 31 32 33 35 39 40 41 47 48 53 55
a 8 17 20 21 22 23 25 26 31 32 33 35 39 40 41 47 48 53 55 56
a 7 17 20 21 22 23 25 26 31 32 33 35 39 40 41 47 48 53 55 56
a 7 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53 55 56
a 7 17 20 21 22 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 7 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55 56
a 7 8 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 56
a 8 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55 56
a 8 17 20 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 55 56
a 8 17 20 21 22 23 25 31 32 33 35 38 39 40 41 47 48 53 55 56
a 8 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 8 17 20 21 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 8 15 17 20 21 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56
a 8 15 17 20 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56
a 8 15 17 20 21 22 25 26 31 32 33 35 38 39 40 41 47 48 53 56
a 8 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56
a 8 15 17 20 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 56
a 7 8 15 17 20 21 22 23 25 26 32 33 35 38 39 41 47 48 53 56
a 7 15 17 20 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 56
a 7 15 17 20 21 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56
a 7 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56
a 7 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56
a 7 10 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 56
a 7 8 10 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 56
a 8 10 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 56
a 7 8 10 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48
a 7 8 10 17 20 21 22 23 25 26 31 32 33 38 39 40 41 47 48 56
a 7 8 10 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 56
a 7 8 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48
a 7 8 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 48 56
a 7 8 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48
a 7 8 10 15 17 20 21 22 23 25 26 31 32 35 38 39 40 41 48 56
a 7 8 10 15 17 20 21 22 23 25 26 31 32 35 38 40 41 48 53 56
a 7 8 10 15 17 20 21 22 23 25 26 31 32 35 38 39 40 41 48 53
a 8 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 55
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 55
a 7 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 55
a 7 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53
a 7 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 56
a 7 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 55 56
a 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 55 56 62
a 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53 55 62
a 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53 55 57
a 15 17 20 21 22 23 25 26 31 32 33 35 38 40 41 47 53 55 56 57
a 15 17 20 21 22 23 25 26 31 32 33 35 40 41 47 48 53 55 56 57
a 15 17 20 21 22 23 25 26 31 32 33 35 39 40 41 48 53 55 56 57
a 10 15 17 20 21 22 23 25 26 31 32 33 35 39 40 41 48 55 56 57
a 10 15 17 20 21 22 23 25 26 31 32 33 35 39 40 41 48 53 56 57
a 10 15 17 20 21 23 25 26 31 32 33 35 39 40 41 48 53 56 57 62
a 10 15 17 20 21 23 25 26 31 32 33 35 38 39 40 41 48 53 56 62
a 10 15 17 20 21 23 25 26 31 32 33 35 38 39 40 41 48 53 55 62
a 10 15 17 20 21 23 25 26 31 32 33 35 38 39 40 47 48 53 55 62
a 10 15 17 20 21 23 25 26 31 32 33 35 38 39 40 41 47 48 53 62
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 62
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55
a 7 10 15 17 20 21 22 23 25 31 32 33 35 38 39 40 41 47 48 55
a 7 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55
a 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 15 17 20 21 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 62
a 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 62
a 7 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 7 17 20 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 55 62
a 7 15 17 20 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 55
a 7 15 17 20 21 22 23 26 31 32 33 35 38 39 40 41 47 48 53 55
a 7 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 7 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 62
a 7 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56 62
a 7 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 62
a 7 15 17 21 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 62
a 7 15 17 20 21 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 7 10 15 17 20 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 10 15 17 20 21 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 10 15 17 20 21 25 26 31 32 33 35 38 39 40 41 47 48 53 55 62
a 10 15 17 20 21 22 26 31 32 33 35 38 39 40 41 47 48 53 55 62
a 10 15 17 20 21 23 26 31 32 33 35 38 39 40 41 47 48 53 55 62
a 10 15 17 20 21 22 23 26 31 32 33 35 38 39 40 41 47 48 55 62
a 10 15 17 20 21 22 23 26 31 32 33 35 38 39 40 41 47 48 53 62
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53 62
a 8 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53
a 8 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 53 62
a 8 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 62
a 8 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 56
a 8 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 56
a 8 10 15 17 20 21 22 25 26 31 32 33 35 38 39 40 41 47 55 56
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 55 56
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 56 62
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 56 62
a 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 55 56 62
a 10 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 55 56 62
a 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 55 56 62
a 15 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53 55 56 62
a 15 17 20 21 22 23 25 26 31 32 33 35 38 39 47 48 53 55 56 62
a 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 55 56 62
a 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 47 48 55 56 62
a 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 47 48 53 55 62
a 7 17 20 21 22 23 25 26 31 32 33 35 38 39 40 47 48 53 55 62
a 7 10 17 20 21 22 23 25 26 31 32 33 35 38 39 40 48 53 55 62
a 7 10 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 55 62
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 55 62
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 53 62
a 7 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 62
a 7 8 15 17 20 21 22 23 25 26 31 32 33 35 38 40 41 48 53 62
a 7 15 17 20 21 22 23 25 26 31 32 33 35 38 40 41 48 53 55 62
a 7 15 17 20 21 22 23 25 26 31 32 33 35 39 40 41 48 53 55 62
a 7 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 53 55 62
a 7 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53 55 62
a 7 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53 55 62
a 7 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 53 55 57 62
a 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53 55 57 62
a 8 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53 55 62
a 8 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 53 55 62
a 8 15 17 20 21 22 23 25 26 32 33 35 38 39 41 47 48 53 55 62
a 7 8 15 17 20 21 22 23 25 26 32 33 35 38 39 41 47 48 53 62
a 7 8 15 17 20 21 22 23 25 26 31 32 33 35 38 41 47 48 53 62
a 7 8 10 17 20 21 22 23 25 26 31 32 33 35 38 41 47 48 53 62
a 7 8 10 17 20 21 22 23 25 26 31 32 33 35 38 40 41 47 48 53
a 8 10 15 17 20 21 22 23 25 26 31 32 33 35 38 40 41 47 48 53
a 7 8 10 15 17 20 21 22 23 25 26 31 32 33 35 38 40 41 47 48
a 7 8 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 47 48
a 7 8 10 15 17 20 21 22 23 25 26 31 32 35 38 39 40 41 47 48
a 7 8 10 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48
a 7 8 10 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53
a 8 10 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53 55
a 8 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53 55
a 8 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 55
a 8 15 17 20 21 22 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 8 10 15 17 20 21 22 25 26 31 32 33 35 38 39 40 41 47 48 55
a 8 10 15 20 21 22 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 8 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 7 8 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 7 8 10 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 8 10 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 8 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 8 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53 55
a 7 8 15 17 20 21 22 23 25 26 31 32 33 35 38 41 47 48 53 55
a 7 8 15 17 20 21 22 23 25 26 31 32 33 35 38 41 47 48 55 56
a 8 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 55 56
a 8 15 17 20 21 22 23 25 26 31 32 33 38 39 40 41 47 48 55 56
a 8 15 17 20 21 23 25 26 31 32 33 35 38 39 40 41 47 48 55 56
a 8 15 20 21 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 8 15 20 21 23 25 26 31 33 35 38 39 40 41 47 48 53 55 56 62
a 8 15 20 21 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56 62
a 8 15 20 21 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 62
a 8 15 20 21 22 23 25 31 32 33 35 38 39 40 41 47 48 53 55 62
a 8 15 17 20 21 22 23 25 32 33 35 38 39 40 41 47 48 53 55 62
a 8 15 17 20 21 22 23 25 28 32 33 35 38 39 40 41 47 53 55 62
a 15 17 20 21 22 23 25 28 32 33 35 38 39 40 41 47 53 55 57 62
a 15 17 20 21 22 23 25 32 33 35 38 39 40 41 47 48 53 55 57 62
a 7 15 17 20 21 22 23 25 32 33 35 38 39 40 41 47 48 53 55 57
a 7 15 17 20 21 22 23 25 32 33 35 38 39 40 41 47 48 55 56 57
a 7 15 17 20 21 22 23 25 26 32 33 35 38 39 40 41 47 48 56 57
a 7 17 20 21 22 23 25 26 32 33 35 38 39 40 41 47 48 56 57 62
a 7 17 20 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 56 57
a 17 20 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 56 57 62
a 17 20 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 55 56 57
a 17 20 21 22 23 25 26 31 32 35 38 39 40 41 47 48 53 55 56 57
a 20 21 22 23 25 26 31 32 35 38 39 40 41 47 48 53 55 56 57 62
a 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56 57 62
a 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56 62
a 20 21 22 23 25 26 31 32 33 34 35 38 39 40 41 47 48 53 56 62
a 21 22 23 25 26 31 32 33 34 35 38 39 40 41 47 48 53 55 56 62
a 17 21 22 23 25 26 31 32 33 34 35 38 39 40 41 47 48 53 55 56
a 17 20 21 22 23 25 26 31 32 33 34 35 38 40 41 47 48 53 55 56
a 20 21 22 23 25 26 31 32 33 34 35 38 39 40 41 47 48 53 55 56
a 15 20 21 22 23 25 26 31 32 33 34 35 38 39 40 41 47 48 53 55
a 15 17 20 21 22 23 25 26 31 32 33 34 35 38 39 40 41 47 48 55
a 8 15 17 20 21 22 23 25 26 31 32 33 34 35 38 39 40 41 47 48
a 8 15 17 20 21 22 23 25 26 31 32 33 34 35 38 39 40 41 48 55
a 7 8 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 55
a 7 8 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48
a 7 8 15 17 20 21 22 23 25 26 31 32 33 38 39 40 41 47 48 53
a 7 10 15 17 20 21 22 23 25 26 31 32 33 38 39 40 41 47 48 53
a 7 10 15 17 21 22 23 25 26 31 32 33 38 39 40 41 47 48 53 55
a 7 8 10 15 17 21 22 23 25 26 31 32 33 38 39 40 41 47 53 55
a 7 8 10 15 17 20 21 22 23 25 26 31 32 33 38 39 40 47 53 55
a 7 8 10 15 17 20 21 22 23 25 26 31 32 33 38 39 40 41 47 55
a 8 10 15 17 20 21 22 23 25 26 31 32 33 38 39 40 41 47 53 55
a 8 10 15 17 21 22 23 25 26 31 32 33 38 39 40 41 47 48 53 55
a 8 10 15 17 21 22 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 8 10 15 17 20 21 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 8 10 15 17 20 21 23 26 31 32 33 35 38 39 40 41 47 48 53 55
a 8 10 15 17 20 21 23 25 26 31 32 33 35 38 39 40 47 48 53 55
a 8 10 15 17 20 21 22 23 25 26 31 33 35 38 39 40 47 48 53 55
a 8 15 17 20 21 22 23 25 26 31 33 35 38 39 40 47 48 53 55 56
a 15 17 20 21 22 23 25 26 31 33 35 38 39 40 47 48 53 55 56 57
a 15 17 20 21 22 23 25 26 31 33 38 39 40 41 47 48 53 55 56 57
a 15 17 20 21 22 23 25 26 31 32 33 38 39 40 41 47 48 53 55 56
a 7 15 17 20 21 22 23 25 26 31 32 38 39 40 41 47 48 53 55 56
a 7 15 17 21 22 23 25 26 31 32 38 39 40 41 47 48 53 55 56 62
a 15 17 21 22 23 25 26 31 32 33 38 39 40 41 47 48 53 55 56 62
a 15 17 20 21 22 23 25 26 31 32 33 39 40 41 47 48 53 55 56 62
a 7 15 17 20 21 22 23 25 26 31 32 33 39 40 41 47 48 53 55 56
a 7 15 17 21 22 23 25 26 31 32 33 38 39 40 41 47 48 53 55 56
a 7 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 7 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53 55 56
a 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 15 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56 57
a 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55 56 57
a 7 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55 56 57
a 10 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55 56 57
a 10 17 20 21 22 23 25 26 31 32 33 35 38 40 41 47 48 55 56 57
a 10 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 55 56 57
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 55 57
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 57
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 57
a 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 57
a 15 17 20 21 22 23 25 31 32 33 35 38 39 40 41 47 48 53 56 57
a 10 15 17 20 21 22 23 25 31 32 33 35 38 39 40 41 47 48 56 57
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 56 57
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 48 55 56 57
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 55 56
a 10 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53 55 56
a 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53 55 56
a 15 17 20 21 22 23 25 26 31 32 33 35 38 40 41 47 48 53 55 56
a 10 15 17 21 22 23 25 26 31 32 33 35 38 40 41 47 48 53 55 56
a 10 15 17 21 22 23 25 26 32 33 35 38 40 41 47 48 53 55 56 62
a 10 17 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 55 56 62
a 10 17 20 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 56 62
a 10 17 20 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 57 62
a 10 17 20 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 55 57
a 10 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 57
a 10 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56 57
a 10 20 21 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56 57
a 17 20 21 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56 57
a 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53 55 56 57
a 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53 55 56 62
a 10 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53 55 56
a 10 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 10 17 20 21 22 23 25 26 31 32 33 35 38 39 40 47 48 53 55 56
a 8 10 17 20 21 22 23 25 26 31 32 33 35 38 39 47 48 53 55 56
a 8 10 17 20 21 22 23 25 26 31 32 33 35 38 39 40 47 48 53 55
a 7 8 10 17 20 21 22 23 25 26 31 32 33 35 38 39 40 47 53 55
a 7 8 10 17 20 21 22 23 25 26 31 32 33 35 38 39 40 47 48 53
a 7 8 10 17 21 22 23 25 26 31 32 33 35 38 39 40 47 48 53 55
a 7 8 10 17 21 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 7 8 10 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53
a 7 8 10 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53 55
a 7 8 10 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53
a 7 10 15 17 20 21 22 25 26 31 32 33 35 38 39 40 41 47 53 62
a 7 10 15 17 20 21 22 25 26 31 32 33 35 38 39 40 41 47 48 53
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 47 48 53
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 47 48 53 57
a 7 10 15 17 21 22 23 25 26 31 32 33 35 38 39 40 47 48 53 57
a 7 10 15 17 21 22 23 25 26 31 33 35 38 39 40 47 48 49 53 57
a 10 15 17 21 22 23 25 26 31 33 35 38 39 40 47 48 49 53 55 57
a 15 17 21 22 23 25 26 31 33 35 38 39 40 47 48 49 53 55 57 62
a 15 17 21 22 23 25 26 31 32 33 35 38 39 40 47 48 53 55 57 62
a 10 17 21 22 23 25 26 31 32 33 35 38 39 40 47 48 53 55 57 62
a 3 10 17 22 23 25 26 31 32 33 35 38 39 40 47 48 53 55 57 62
a 3 7 10 17 22 23 26 31 32 33 35 38 39 40 47 48 53 55 57 62
a 3 7 10 17 21 22 23 26 32 33 35 38 39 40 47 48 53 55 57 62
a 3 7 10 17 21 22 23 25 26 32 33 35 38 39 40 47 48 53 55 57
a 7 10 17 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 55 57
a 7 15 17 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 55 57
a 7 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 57
a 10 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 57
a 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 57 62
a 7 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 57 62
a 7 15 21 22 23 25 26 31 32 35 38 39 40 41 47 48 53 55 57 62
a 15 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 57 62
a 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 57 62
a 10 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 57 62
a 10 15 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 57 62
a 10 15 21 22 23 26 31 32 33 35 38 39 40 41 47 48 53 55 57 62
a 10 15 21 22 23 26 31 33 35 38 39 40 41 47 48 49 53 55 57 62
a 10 17 21 22 23 26 31 33 35 38 39 40 41 47 48 49 53 55 57 62
a 10 21 22 23 26 31 33 35 38 39 40 41 47 48 49 53 55 56 57 62
a 10 21 22 25 26 31 33 35 38 39 40 41 47 48 49 53 55 56 57 62
a 10 17 21 22 25 26 31 33 35 38 39 40 41 47 48 49 53 55 56 62
a 10 17 21 22 25 26 31 33 35 38 40 41 47 48 49 53 55 56 57 62
a 10 17 21 22 23 25 31 33 35 38 40 41 47 48 49 53 55 56 57 62
a 10 17 20 21 22 23 25 31 33 38 40 41 47 48 49 53 55 56 57 62
a 10 17 20 21 22 23 25 31 33 38 39 40 41 47 48 49 53 55 56 57
a 10 17 20 21 22 23 25 31 33 35 38 39 40 41 47 48 49 55 56 57
a 10 15 17 20 22 23 25 31 33 35 38 39 40 41 47 48 49 55 56 57
a 10 15 16 17 20 22 23 25 31 33 35 38 39 40 41 47 48 49 56 57
a 10 15 16 17 20 22 23 24 31 33 35 38 39 40 41 47 48 49 56 57
a 10 15 16 17 19 20 22 23 24 31 33 35 38 40 41 47 48 49 56 57
a 6 10 15 16 17 19 20 22 23 24 33 35 38 40 41 47 48 49 56 57
a 6 10 15 16 17 19 20 22 24 33 35 38 40 41 44 47 48 49 56 57
a 6 15 16 17 19 20 22 24 33 35 37 38 40 41 44 47 48 49 56 57
a 6 15 16 17 19 20 24 33 35 37 38 40 41 44 47 48 49 56 57 60
a 6 15 16 17 19 20 24 33 34 35 37 38 40 41 44 47 48 49 56 60
a 6 15 16 19 20 24 33 34 35 37 38 40 41 44 47 48 49 56 58 60
a 6 13 15 16 19 20 24 33 34 35 37 40 41 44 47 48 49 56 58 60
a 6 13 15 16 19 20 24 33 34 35 37 40 41 44 47 48 56 58 60 65
c Step: 435
#END: [Mon Sep  4 16:11:10 2023]