#BEGIN: [Mon Sep  4 23:54:18 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-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 -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 054419bbf602bc8bb93400674a4afb740ffa0448ffcb61aedd307b3f7a313622
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 15 20 22 23 31 32 34 35 39 40 47 52 53 54 55 56 58 62 65
a 8 15 20 22 23 31 32 33 34 35 39 40 47 52 53 55 56 58 62 65
a 8 15 20 23 31 32 33 34 35 39 40 47 52 53 55 56 58 61 62 65
a 8 12 15 20 23 31 32 33 34 35 40 47 52 53 55 56 58 61 62 65
a 8 12 15 20 23 25 31 32 33 34 35 40 47 52 53 55 56 61 62 65
a 8 12 15 20 23 25 31 32 33 34 35 39 40 47 52 53 55 56 62 65
a 8 15 20 22 23 25 31 32 33 34 35 39 40 47 52 53 55 56 62 65
a 8 12 15 20 22 23 25 31 32 33 35 39 40 47 52 53 55 56 62 65
a 8 15 20 22 23 25 31 32 33 35 39 40 41 47 52 53 55 56 62 65
a 8 15 20 22 23 25 31 32 33 34 35 39 40 41 47 52 53 55 56 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 47 52 53 54 55 56 58 65
a 8 15 20 22 23 26 31 32 34 35 39 40 41 47 53 54 55 56 58 65
a 15 20 22 23 24 26 31 32 34 35 39 40 41 47 53 54 55 56 58 65
a 15 20 22 23 24 31 32 34 35 39 40 41 47 52 53 54 55 56 58 65
a 15 20 22 23 24 31 32 33 34 35 39 40 41 47 52 53 55 56 58 65
a 11 15 20 22 23 24 31 32 33 34 39 40 41 47 52 53 55 56 58 65
a 11 15 20 22 23 24 31 32 33 34 39 40 41 47 52 53 55 58 62 65
a 11 15 20 22 23 24 31 32 33 39 40 41 47 52 53 55 57 58 62 65
a 11 15 20 22 23 24 31 32 33 39 40 41 42 47 52 53 55 57 58 65
a 15 20 22 23 24 28 31 32 33 39 40 41 42 47 52 53 55 57 58 65
a 11 15 20 22 23 24 28 31 32 33 39 40 41 47 52 53 55 57 58 65
a 11 15 20 22 23 24 28 31 32 33 39 41 47 52 53 55 57 58 62 65
a 11 15 20 22 23 24 28 31 32 39 41 47 52 53 54 55 57 58 62 65
a 11 15 20 22 23 24 31 32 39 41 47 52 53 54 55 56 57 58 62 65
a 11 15 20 22 23 24 31 32 33 39 41 47 52 53 55 56 57 58 62 65
a 11 15 20 22 23 24 31 32 33 39 40 41 47 52 53 55 56 57 58 65
a 11 15 20 22 23 24 31 32 39 40 41 47 52 53 54 55 56 57 58 65
a 11 15 20 22 23 24 32 39 40 41 47 52 53 54 55 56 57 58 62 65
a 5 11 15 20 22 23 24 32 39 40 41 47 52 53 54 55 56 57 58 62
a 5 11 15 20 22 23 24 32 38 39 40 41 47 52 53 54 55 56 57 58
a 5 11 15 20 22 24 32 38 39 40 41 44 47 52 53 54 55 56 57 58
a 5 11 15 20 22 24 32 38 39 40 41 44 47 52 53 54 55 56 58 62
a 5 11 15 20 22 24 32 38 40 41 44 47 52 53 54 55 56 57 58 62
a 5 11 15 20 22 24 32 38 39 40 41 44 47 52 53 54 55 57 58 62
a 5 15 20 22 24 32 35 38 39 40 41 44 47 52 53 54 55 57 58 62
a 5 20 22 24 32 35 37 38 39 40 41 44 47 52 53 54 55 57 58 62
a 5 20 24 32 35 37 38 39 40 41 44 47 52 53 54 55 57 58 60 62
a 5 15 20 24 32 35 37 38 39 40 41 44 47 53 54 55 57 58 60 62
a 5 15 20 24 32 35 37 38 39 40 41 44 47 52 53 54 55 57 58 60
a 5 15 20 24 32 37 38 39 40 41 44 47 52 53 54 55 56 57 58 60
a 5 15 20 22 24 32 37 39 40 41 44 47 52 53 54 55 56 57 58 60
a 5 15 20 22 24 37 38 39 40 41 44 47 52 53 54 55 56 57 58 60
a 5 15 20 22 24 32 37 38 39 40 41 44 47 52 53 54 55 56 57 58
a 5 15 20 22 24 32 35 37 38 39 40 41 44 47 52 53 54 55 56 58
a 5 15 20 22 24 32 33 35 37 38 39 40 41 44 47 52 53 55 56 58
a 5 7 15 20 22 32 33 35 37 38 39 40 41 44 47 52 53 55 56 58
a 5 7 15 20 22 32 33 35 37 38 39 40 41 44 47 52 53 55 57 58
a 5 7 15 20 22 32 33 37 38 39 40 41 44 47 52 53 55 56 57 58
a 5 7 15 17 20 22 32 33 37 38 39 40 41 44 47 52 53 55 56 57
a 5 7 15 20 22 32 33 35 37 38 39 40 41 44 47 52 53 55 56 57
a 5 7 15 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 56 57
a 5 7 15 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 57
a 5 7 10 15 21 22 25 32 33 35 38 39 40 41 44 47 52 53 55 57
a 5 7 10 21 22 25 32 33 35 38 39 40 41 44 47 52 53 55 56 57
a 5 7 10 20 21 22 25 32 33 35 38 39 40 41 44 47 52 53 56 57
a 5 7 10 15 20 21 22 25 32 33 35 39 40 41 44 47 52 53 56 57
a 5 7 10 15 20 21 22 25 32 33 35 39 40 41 44 47 52 53 55 57
a 5 7 10 15 20 21 25 32 33 35 39 40 41 44 47 52 53 55 56 57
a 5 7 10 15 20 21 22 25 32 33 35 39 40 41 44 52 53 55 56 57
a 5 7 10 15 20 21 22 23 25 32 33 35 39 40 41 52 53 55 56 57
a 5 7 10 15 20 21 23 25 32 33 35 39 40 41 47 52 53 55 56 57
a 5 7 10 15 20 21 23 25 32 33 35 38 39 40 41 47 52 53 55 57
a 5 7 10 20 21 22 23 25 32 33 35 38 39 40 41 47 52 53 55 57
a 7 10 20 21 22 23 25 31 32 33 35 38 39 40 41 47 52 53 55 57
a 7 20 21 22 23 25 31 32 33 35 38 39 40 41 47 52 53 55 56 57
a 7 20 21 22 23 25 31 32 33 35 38 39 40 47 52 53 55 56 57 62
a 7 20 21 22 23 25 31 32 33 35 38 39 40 46 47 52 53 55 56 62
a 20 21 22 23 25 31 32 33 34 35 38 39 40 46 47 52 53 55 56 62
a 15 20 21 22 23 25 31 32 33 34 35 38 39 40 46 47 52 53 56 62
a 15 20 21 22 23 25 31 32 33 34 35 38 39 40 46 47 52 53 55 56
a 15 17 20 21 22 23 25 31 33 34 35 38 39 40 46 47 52 53 55 56
a 15 17 20 21 22 23 25 31 32 33 34 35 38 39 40 46 47 52 53 55
a 15 17 20 21 22 23 25 26 31 32 33 34 35 38 39 40 46 47 53 55
a 12 15 17 20 21 22 23 25 26 31 32 33 34 35 38 39 40 46 47 53
a 12 15 17 20 22 23 25 26 31 32 33 34 35 38 39 40 46 47 53 62
a 12 17 20 21 22 23 25 26 31 32 33 34 35 38 39 40 46 47 53 62
a 17 20 21 22 23 25 26 31 32 33 34 35 38 39 40 46 47 53 55 62
a 17 20 21 22 23 25 26 31 32 33 34 35 38 39 40 46 47 48 53 62
a 17 21 22 23 25 26 31 32 33 34 35 38 39 40 46 47 48 53 56 62
a 17 20 21 22 23 25 26 31 32 33 34 35 38 40 46 47 48 53 56 62
a 17 20 21 22 23 25 26 31 32 33 34 35 38 39 40 46 47 48 56 62
a 20 21 22 23 25 26 31 32 33 34 35 38 39 40 46 47 48 55 56 62
a 17 20 21 22 23 25 26 31 32 33 34 35 38 39 40 46 48 55 56 62
a 17 20 21 22 23 25 26 31 32 33 34 35 38 39 40 46 48 53 56 62
a 17 20 21 22 23 25 26 31 32 33 34 35 38 39 40 46 48 53 55 56
a 17 20 21 22 23 25 26 31 32 33 34 35 38 39 40 48 53 55 56 62
a 17 20 21 22 23 25 26 31 32 33 34 35 38 39 47 48 53 55 56 62
a 17 20 21 22 23 25 26 31 32 33 34 35 38 39 46 47 48 55 56 62
a 17 20 21 22 23 25 26 31 32 33 34 35 39 46 47 48 53 55 56 62
a 17 20 21 22 23 25 26 31 32 33 34 35 38 39 46 47 53 55 56 62
a 17 20 21 22 23 25 26 31 32 33 34 35 38 39 41 47 53 55 56 62
a 17 20 21 22 23 25 26 31 32 33 34 35 38 39 40 41 47 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 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 7 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 15 17 20 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 15 17 20 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 55 56
a 15 17 20 21 22 23 26 32 33 35 38 39 40 41 47 48 53 55 56 62
a 15 17 20 21 22 23 25 26 32 35 38 39 40 41 47 48 53 55 56 62
a 7 15 17 20 21 22 23 25 26 32 38 39 40 41 47 48 53 55 56 62
a 7 15 17 20 21 22 23 25 26 32 33 38 39 40 41 47 48 55 56 62
a 7 15 17 20 21 22 23 25 26 32 33 38 39 40 41 47 48 53 55 56
a 7 15 17 20 21 22 23 25 26 32 33 35 38 39 40 41 48 53 55 56
a 7 10 15 17 20 21 22 23 25 32 33 35 38 39 40 41 48 53 55 56
a 7 10 15 17 20 21 22 23 25 31 32 33 35 38 39 41 48 53 55 56
a 7 10 17 20 21 22 23 25 31 32 33 35 38 39 40 41 48 53 55 56
a 10 15 17 20 21 22 23 25 31 32 33 35 38 39 40 41 48 53 55 56
a 10 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 55 56
a 7 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 55 56
a 7 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53 55 56
a 7 10 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53 55 56
a 7 10 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53 55
a 8 10 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53 55
a 8 10 15 17 20 21 22 23 25 26 31 32 35 38 39 41 47 48 53 55
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53 55
a 10 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 55
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 47 48 53 56
a 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56 62
a 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56 62
a 10 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56 62
a 10 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 8 10 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56
a 8 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 8 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 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 8 15 20 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 40 41 47 48 53
a 8 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 56
a 8 15 17 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 48 53 56
a 8 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 56 62
a 8 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 62
a 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 62
a 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 62
a 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 57
a 15 20 21 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 57 62
a 15 20 21 23 25 26 31 32 33 35 38 39 41 47 48 53 55 56 57 62
a 15 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53 55 56 62
a 8 15 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53 55 56 62
a 8 15 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 8 15 17 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 8 15 17 22 23 25 26 31 32 33 35 38 39 40 41 48 53 55 56 62
a 8 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 48 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 17 21 22 23 25 26 31 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 62
a 17 20 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 38 39 40 41 47 48 53 55 56
a 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 55 56
a 8 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 55 56
a 8 15 17 20 21 22 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 47 48 53 55
a 8 15 17 21 22 23 25 26 31 32 33 35 38 39 40 47 48 53 55 56
a 8 10 15 17 21 22 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 32 33 35 38 39 40 47 48 55
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55
a 8 10 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55
a 8 10 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55
a 8 10 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55
a 10 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55 62
a 10 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 62
a 7 10 15 17 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53 62
a 7 8 10 15 17 21 22 23 25 26 31 33 35 38 39 41 47 48 53 62
a 7 8 10 15 17 20 21 22 23 25 26 31 33 38 39 41 47 48 53 62
a 7 8 10 15 17 20 21 22 23 25 26 31 33 35 38 39 41 47 48 53
a 7 10 15 17 20 21 22 23 25 26 31 33 35 38 39 41 47 48 53 57
a 7 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53 57
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53
a 7 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 56
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 56
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 41 47 48 55 56
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 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 7 15 17 20 21 22 23 25 26 31 32 33 35 38 40 41 47 48 55 57
a 7 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 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 20 21 22 23 25 26 31 32 33 35 38 39 40 47 48 53
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 47 48 62
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 47 56 62
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 56 57 62
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 53 56 62
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 53 55 62
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 53 55 57
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 55 57 62
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 55 57 62
a 7 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 55 57
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 55 57
a 10 15 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55 57
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 57
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 39 41 47 48 55 57
a 15 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55 57
a 10 15 17 20 21 22 23 25 26 31 32 33 35 38 40 41 47 48 55 57
a 10 15 17 20 21 22 23 25 26 31 32 33 38 39 40 41 47 48 55 57
a 8 10 15 17 20 21 22 23 25 26 31 32 33 38 39 40 41 47 48 55
a 8 10 15 17 20 21 22 23 25 26 31 32 33 38 39 40 41 47 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 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 26 31 32 33 35 38 39 40 41 47 48 56 62
a 8 10 15 17 20 21 22 23 26 31 32 33 35 38 39 40 41 47 48 62
a 8 10 15 17 20 21 22 23 26 31 33 35 38 39 40 41 47 48 53 62
a 8 15 17 20 21 22 23 26 31 33 35 38 39 40 41 47 48 53 55 62
a 8 15 17 20 22 23 26 31 32 33 35 38 39 40 41 47 48 53 55 62
a 8 15 17 20 22 26 31 32 33 35 38 39 40 41 47 48 53 55 56 62
a 8 15 17 20 21 22 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 8 17 20 21 22 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 7 8 17 20 21 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56
a 7 8 17 20 21 22 25 26 31 32 33 35 38 39 40 41 47 48 55 56
a 8 10 17 20 21 22 25 26 31 32 33 35 38 39 40 41 47 48 55 56
a 8 17 20 21 22 25 26 31 32 33 35 38 39 40 41 47 48 55 56 62
a 8 17 20 21 22 25 26 31 32 33 35 38 39 40 41 47 48 53 55 62
a 8 17 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 38 39 40 41 47 53 55 62
a 15 17 20 21 22 23 25 26 31 32 33 38 39 40 41 47 48 53 55 62
a 7 15 17 20 21 22 23 25 26 31 32 33 38 39 40 41 48 53 55 62
a 7 17 20 21 22 23 25 26 31 32 33 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 62
a 7 17 20 21 22 23 26 31 32 33 35 38 39 40 41 47 48 53 55 62
a 7 17 20 21 23 26 31 32 33 35 38 39 40 41 47 48 53 55 57 62
a 7 17 20 21 22 23 26 31 32 33 35 38 39 40 41 47 48 53 55 57
a 7 15 17 20 21 22 23 26 31 32 33 35 38 39 40 41 47 48 53 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 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 53 55 56 62
a 15 17 20 21 22 23 25 31 32 33 35 38 39 40 41 48 53 55 56 62
a 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 55 56 62
a 7 17 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 55 56 62
a 7 17 21 22 23 25 26 31 32 33 35 38 39 40 41 48 55 56 57 62
a 7 17 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 55 56 57
a 7 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 53 55 56 57
a 7 17 21 22 23 25 26 31 32 33 35 38 39 40 47 48 53 55 56 57
a 7 10 17 21 22 23 25 26 31 32 33 38 39 40 47 48 53 55 56 57
a 10 17 21 22 23 25 26 31 32 33 35 38 39 40 47 48 53 55 56 57
a 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56 57
a 10 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56 57
a 10 17 21 22 23 25 26 31 32 33 38 39 40 41 47 48 53 55 56 57
a 10 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 26 31 32 33 35 38 39 40 41 47 48 53 55 57 62
a 10 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 62
a 7 10 17 21 22 23 25 26 31 32 35 38 39 40 41 47 48 53 55 62
a 7 17 21 22 23 25 26 31 32 35 38 39 40 41 47 48 53 55 57 62
a 7 10 17 21 22 23 25 26 32 35 38 39 40 41 47 48 53 55 57 62
a 7 10 17 21 22 23 25 26 33 35 38 39 40 41 47 48 53 55 57 62
a 7 10 17 21 22 23 25 26 33 35 38 39 40 41 47 48 53 55 56 57
a 7 10 17 21 22 23 25 26 33 35 38 39 40 41 47 48 53 56 57 62
a 7 15 17 21 22 23 25 26 33 35 38 39 40 41 47 48 53 56 57 62
a 7 15 17 21 22 23 25 33 35 38 39 40 41 47 48 53 55 56 57 62
a 7 15 17 21 22 23 25 31 33 35 38 39 40 41 47 48 53 55 56 62
a 7 15 17 22 23 25 31 33 35 38 39 40 41 47 48 53 55 56 57 62
a 7 15 17 21 22 23 25 31 35 38 39 40 41 47 48 53 55 56 57 62
a 7 8 15 17 21 22 23 25 31 35 38 39 40 41 47 48 53 55 56 62
a 8 15 17 21 22 23 25 31 33 35 38 39 40 41 47 48 53 55 56 62
a 8 15 17 21 22 23 25 26 33 35 38 39 40 41 47 48 53 55 56 62
a 7 8 15 17 21 22 25 26 33 35 38 39 40 41 47 48 53 55 56 62
a 7 15 17 21 22 25 26 32 33 35 38 39 40 41 47 48 53 55 56 62
a 7 10 15 17 21 22 25 26 33 35 38 39 40 41 47 48 53 55 56 62
a 10 15 17 21 22 25 26 32 33 35 38 39 40 41 47 48 53 55 56 62
a 10 15 17 21 22 25 26 31 32 33 35 38 39 40 41 47 48 53 55 62
a 10 17 20 21 22 25 26 31 32 33 35 38 39 40 41 47 48 53 55 62
a 17 20 21 22 25 26 31 32 33 35 38 39 40 41 47 48 53 55 57 62
a 17 21 22 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56 57 62
a 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 57 62
a 17 20 21 22 23 25 26 31 33 35 38 39 40 41 47 48 53 55 57 62
a 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 57
a 17 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 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 15 17 21 22 25 26 31 32 33 35 38 39 40 41 47 48 53 57 62
a 10 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 57
a 10 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 57 62
a 10 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 55 62
a 10 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 55 56
a 10 15 21 22 23 25 26 31 32 33 35 38 39 40 41 48 53 55 56 62
a 10 15 21 22 23 25 26 31 32 33 35 38 39 41 47 48 53 55 56 62
a 10 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56 62
a 20 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56 62
a 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56 57 62
a 15 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 53 55 56 62
a 10 15 21 22 23 26 31 32 33 35 38 39 40 41 47 48 53 55 56 62
a 10 15 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55 56 62
a 10 15 17 21 22 23 25 26 31 32 33 35 38 39 40 41 47 48 55 56
a 10 15 17 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 55 56
a 10 15 17 21 22 23 25 26 32 33 35 38 39 40 41 48 53 55 56 57
a 15 17 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 55 56 57
a 17 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 55 56 57 60
a 15 17 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 55 57 60
a 17 20 21 22 23 25 26 32 33 35 38 39 40 41 47 48 53 55 57 60
a 15 17 20 21 22 25 26 32 33 35 38 39 40 41 47 48 53 55 57 60
a 15 17 20 21 22 25 32 33 35 37 38 39 40 41 47 48 53 55 57 60
a 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 53 55 57 60
a 15 17 20 21 22 25 33 35 37 38 39 40 41 44 47 52 53 55 57 60
a 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 57
a 15 17 20 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 57 60
a 15 17 20 22 25 28 32 33 35 37 38 39 40 41 44 52 53 55 57 60
a 1 15 20 22 25 28 32 33 35 37 38 39 40 41 44 52 53 55 57 60
a 15 20 22 25 28 32 33 35 37 38 39 40 41 44 47 52 53 55 57 60
a 15 20 21 22 25 28 32 33 35 37 38 40 41 44 47 52 53 55 57 60
a 15 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 53 55 57
a 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 53 55 57
a 17 20 21 22 25 28 32 33 35 37 38 40 41 44 47 52 53 55 57 62
a 17 20 21 22 25 28 32 33 35 37 38 40 41 44 47 53 55 57 60 62
a 7 17 20 21 22 25 28 32 33 35 37 38 40 41 44 47 53 55 57 62
a 15 17 20 21 22 25 28 32 33 35 37 38 40 41 44 47 53 55 57 62
a 7 15 17 20 21 22 25 28 32 33 35 37 38 40 41 44 47 55 57 62
a 7 15 17 20 21 22 25 28 32 33 35 37 40 41 44 47 52 55 57 62
a 7 15 17 20 21 22 28 32 33 35 37 40 41 44 47 52 53 55 57 62
a 15 17 20 21 22 25 28 32 33 35 37 40 41 44 47 52 53 55 57 62
a 15 17 20 21 22 25 28 32 33 35 37 38 41 44 47 52 53 55 57 62
a 15 17 20 22 25 28 32 33 35 37 38 39 41 44 47 52 53 55 57 62
a 7 15 17 20 22 25 28 32 33 37 38 39 41 44 47 52 53 55 57 62
a 7 15 17 20 21 22 25 28 32 33 37 38 39 44 47 52 53 55 57 62
a 3 7 15 17 21 22 25 28 32 33 37 38 39 44 47 52 53 55 57 62
a 3 7 15 17 20 21 22 25 28 32 33 37 38 44 47 52 53 55 57 62
a 3 7 15 17 20 21 25 28 32 33 35 37 38 44 47 52 53 55 57 62
a 3 7 15 17 20 21 22 25 28 32 33 35 37 38 44 47 52 53 57 62
a 3 7 15 17 20 21 22 25 28 32 33 35 37 38 44 47 53 55 57 62
a 3 7 15 17 21 22 25 28 32 33 35 37 38 44 47 52 53 55 57 62
a 3 7 15 17 21 22 25 28 32 33 35 37 38 40 44 47 52 53 55 62
a 7 15 17 20 21 22 25 28 32 33 35 37 38 40 44 47 52 53 55 62
a 15 17 20 21 22 25 28 32 33 35 37 38 39 40 44 47 52 53 55 62
a 5 15 17 20 21 22 25 28 32 33 35 37 38 39 40 44 47 52 53 55
a 5 6 15 17 20 21 22 25 28 32 33 35 37 38 39 40 44 47 52 53
a 5 6 7 15 17 20 21 22 25 28 32 33 35 37 38 39 40 44 47 52
a 5 6 7 15 17 20 21 22 25 32 33 35 37 38 39 40 44 47 52 57
a 5 6 7 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 57
a 5 7 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 55 57
a 5 7 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 55 56 57
a 5 7 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 56 57 62
a 5 7 15 17 20 21 22 25 32 33 35 37 38 40 41 44 53 56 57 62
a 5 7 15 17 20 21 22 25 32 33 37 38 39 40 41 44 53 56 57 62
a 5 7 15 17 20 21 22 25 32 33 37 38 40 41 44 53 55 56 57 62
a 5 7 15 17 20 21 22 25 32 33 37 38 39 40 41 44 53 55 56 57
a 5 7 11 15 17 20 21 22 25 32 33 37 38 39 40 41 44 53 55 56
a 5 7 11 15 17 20 21 22 25 28 32 33 37 38 39 40 41 44 53 55
a 7 11 15 17 20 21 22 25 28 32 33 37 38 39 40 41 44 52 53 55
a 7 11 15 17 20 21 22 25 28 32 33 37 38 39 40 41 44 47 52 53
a 5 7 15 17 20 21 22 25 28 32 33 37 38 39 40 41 44 47 52 53
a 5 7 15 17 20 21 22 25 28 32 33 35 37 38 39 41 44 47 52 53
a 5 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 53
a 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 53 57
a 15 17 20 21 22 25 28 32 35 37 38 39 40 41 44 47 52 53 55 57
a 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 53 55 57
a 15 17 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 53 55 57
a 15 17 20 21 22 25 28 32 33 35 37 38 39 41 44 47 52 53 55 57
a 15 17 20 21 22 25 28 32 33 35 37 38 39 44 47 52 53 55 57 62
a 15 17 20 21 22 25 28 32 33 35 37 38 39 40 44 47 52 53 57 62
a 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 53 62
a 7 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 53
a 7 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 53 62
a 5 7 17 20 21 25 28 32 33 35 37 38 39 40 41 44 47 52 53 62
a 5 7 17 20 25 28 32 33 35 37 38 39 40 41 44 47 52 53 55 62
a 5 7 17 20 22 25 28 32 33 35 37 38 39 40 41 44 47 52 53 55
a 5 7 17 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 53 55
a 5 7 15 17 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 53
a 5 7 15 17 20 21 22 28 32 33 35 37 38 39 40 41 44 47 52 53
a 5 7 15 17 20 21 22 32 33 35 37 38 39 40 41 44 47 52 53 56
a 5 15 17 20 21 22 32 33 35 37 38 39 40 41 44 47 52 53 55 56
a 5 7 15 17 20 21 22 33 35 37 38 39 40 41 44 47 52 53 55 56
a 5 7 15 17 20 22 32 33 35 37 38 39 40 41 44 47 52 53 55 56
a 7 15 17 20 22 32 33 35 37 38 39 40 41 44 47 52 53 55 56 57
a 7 15 17 20 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 56
a 7 15 17 20 22 25 28 32 33 35 37 38 39 40 41 44 47 52 53 55
a 5 7 15 20 22 25 28 32 33 35 37 38 39 40 41 44 47 52 53 55
a 5 7 15 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 53 55
a 5 7 15 20 21 22 25 28 32 33 35 37 38 39 40 44 47 52 53 55
a 5 7 15 20 21 22 25 28 32 33 37 38 39 40 41 44 47 52 53 55
a 5 7 15 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 55
a 5 7 15 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 55 56
a 5 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 56
a 5 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 62
a 5 17 20 21 22 25 32 33 35 37 38 39 40 41 47 52 53 55 57 62
a 5 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 57 62
a 5 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 55 57
a 5 17 20 21 22 25 32 33 35 37 38 39 41 44 47 52 53 55 56 57
a 5 17 20 21 22 25 32 33 35 37 38 39 41 44 47 52 53 56 57 62
a 5 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 56 57
a 5 17 20 21 25 32 33 35 37 38 39 40 41 44 47 52 53 55 56 57
a 5 17 20 21 25 32 33 37 38 39 40 41 44 47 52 53 55 56 57 62
a 5 17 20 21 22 25 32 33 37 38 39 40 41 44 47 52 53 55 56 62
a 5 17 20 21 22 32 33 35 37 38 39 40 41 44 47 52 53 55 56 62
a 5 17 20 21 25 32 33 35 37 38 39 40 41 44 47 52 53 55 56 62
a 5 17 20 21 22 25 32 33 35 37 38 39 40 41 44 52 53 55 56 62
a 5 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 52 53 56 62
a 5 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 53 62
a 5 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 62
a 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 57 62
a 7 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 62
a 7 15 17 20 21 22 25 28 32 33 35 37 38 39 41 44 47 52 57 62
a 7 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 57 62
a 7 15 17 20 21 22 25 28 32 33 37 38 39 40 41 44 47 55 57 62
a 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 55 57 62
a 7 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 55 57 62
a 7 15 17 21 22 25 28 32 33 35 37 38 39 40 41 44 53 55 57 62
a 7 15 17 21 22 25 28 32 33 35 37 38 39 40 41 44 52 53 55 57
a 7 15 17 20 21 22 25 28 32 35 37 38 39 40 41 44 52 53 55 57
a 7 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 52 53 55
a 5 7 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 52 53
a 5 7 15 17 20 21 22 25 28 32 33 35 38 39 40 41 44 52 53 60
a 5 7 15 17 20 21 22 25 28 32 33 35 38 39 40 41 44 47 52 53
a 5 7 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52
a 5 7 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 55
a 5 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 44 47 52 55
a 5 7 15 17 20 21 22 25 28 32 33 35 37 38 40 41 44 47 52 55
a 5 7 15 17 20 21 22 25 28 32 33 35 37 38 40 41 44 47 52 60
a 5 7 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 47 52 60
a 5 7 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 47 53 60
a 5 7 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 47 55 60
a 5 6 7 15 17 20 21 22 25 28 32 33 35 37 38 39 40 41 47 60
a 5 6 7 15 17 20 21 22 25 28 32 33 35 37 38 39 40 47 52 60
a 5 7 15 17 20 21 22 25 28 32 33 35 37 38 39 40 47 52 53 60
a 5 7 15 17 20 21 22 25 28 32 33 35 37 38 39 47 52 53 57 60
a 5 7 15 17 20 21 22 25 28 32 33 35 37 38 39 44 47 52 53 60
a 5 7 17 20 21 22 25 28 32 33 35 37 38 39 44 47 52 53 55 60
a 7 17 20 21 22 25 28 32 33 35 37 38 39 40 44 47 52 53 55 60
a 7 15 17 20 21 22 25 28 32 33 35 37 38 39 40 44 47 52 53 55
a 7 15 17 20 21 25 28 32 33 35 37 38 39 40 41 44 47 52 53 55
a 7 15 17 20 21 25 28 32 33 35 37 38 39 40 41 44 47 53 55 60
a 7 15 17 20 21 25 32 33 35 37 38 39 40 41 44 47 53 55 56 60
a 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 53 55 56 60
a 7 15 17 20 21 22 25 32 33 35 37 38 39 40 41 44 47 53 55 56
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 21 22 25 32 33 35 37 38 39 40 44 47 52 53 55 56 60
a 7 15 17 21 22 25 32 33 37 38 39 40 41 44 47 52 53 55 56 60
a 7 15 17 20 21 22 25 32 33 37 38 39 40 41 44 47 52 53 55 56
a 7 15 17 20 21 22 25 32 33 37 38 39 40 41 44 47 48 53 55 56
a 15 17 20 21 22 25 32 33 34 37 38 39 40 41 44 47 48 53 55 56
a 6 15 17 20 21 22 25 32 33 34 37 38 39 40 41 44 47 48 53 56
a 6 15 17 20 22 25 32 33 34 35 37 38 39 40 41 44 47 48 53 56
a 6 15 17 20 22 24 32 33 34 35 37 38 39 40 41 44 47 48 53 56
a 6 15 16 17 20 22 24 32 33 34 35 37 38 39 40 41 44 47 48 56
a 6 15 16 17 20 22 24 33 34 35 37 38 39 40 41 44 47 48 56 60
a 6 15 16 20 22 24 33 34 35 37 38 39 40 41 44 47 48 56 58 60
a 6 15 16 20 22 24 33 34 35 37 39 40 41 44 47 48 56 58 60 65
a 6 15 16 19 20 22 24 33 34 35 37 40 41 44 47 48 56 58 60 65
a 6 13 15 16 19 20 24 33 34 35 37 40 41 44 47 48 56 58 60 65
c Step: 446
#END: [Tue Sep  5 00:24:18 2023]