#BEGIN: [Mon Sep  4 23:54:13 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance004_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance004_graph005_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_instance004_graph005.col /benchmark/random_instance/random_instance004_graph005_01.dat
c /benchmark/random_instance/random_instance004_graph005.col
c /benchmark/random_instance/random_instance004_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID 2cd29cd7e3f5006944d24ebc40094edbd60e01b1ad5628074d352a9902a94aa2
s 29 41 33 26 43 45 9 15 20 24 19 5 10 14 36
t 5 30 43 26 18 45 14 2 23 36 48 38 19 24 41
a YES
a 5 9 10 14 15 19 20 24 26 29 33 36 41 43 45
a 5 10 14 15 18 19 20 24 26 29 33 36 41 43 45
a 4 5 10 14 15 18 19 20 24 26 33 36 41 43 45
a 4 5 10 14 15 18 19 20 24 26 30 36 41 43 45
a 4 5 14 15 18 19 20 23 24 26 30 36 41 43 45
a 4 7 14 15 18 19 20 23 24 26 30 36 41 43 45
a 4 7 14 15 18 19 20 23 24 25 26 30 36 43 45
a 4 7 9 14 15 19 20 23 24 25 26 30 36 43 45
a 4 7 9 14 15 19 20 23 24 25 26 33 36 43 45
a 4 5 9 14 15 19 20 23 24 25 26 33 36 43 45
a 4 5 14 15 18 19 20 23 24 25 26 33 36 43 45
a 4 5 14 15 18 19 20 23 24 25 33 36 43 44 45
a 4 5 14 18 19 20 23 24 25 33 36 38 43 44 45
a 4 5 18 19 20 22 23 24 25 33 36 38 43 44 45
a 4 5 18 19 20 22 23 24 25 33 38 42 43 44 45
a 4 5 18 19 20 22 23 24 25 33 38 42 43 44 46
a 4 5 14 18 19 20 22 23 24 25 33 38 43 44 46
a 4 5 14 18 19 20 22 23 24 25 33 38 43 44 45
a 4 14 18 19 20 22 23 24 25 33 36 38 43 44 45
a 4 5 14 18 19 20 22 23 24 25 33 36 38 43 44
a 5 12 14 18 19 20 22 23 24 25 33 36 38 43 44
a 5 12 14 18 19 22 23 24 25 33 36 38 43 44 45
a 5 12 14 18 19 20 22 23 24 25 36 38 43 44 45
a 5 12 14 18 19 20 22 23 24 25 33 36 43 44 45
a 5 12 14 18 19 20 22 23 24 25 33 36 43 44 46
a 5 12 14 18 19 20 22 23 24 25 30 36 43 44 46
a 5 12 14 18 19 22 23 24 25 30 36 43 44 46 48
a 5 12 14 18 19 22 23 24 25 30 36 38 43 44 48
a 12 14 18 19 22 23 24 25 30 34 36 38 43 44 48
a 12 14 18 19 20 22 23 24 25 30 34 36 38 43 44
a 12 14 18 19 20 22 23 24 25 30 34 36 38 43 46
a 12 14 18 19 20 22 23 24 25 30 34 36 38 43 45
a 12 14 18 19 20 22 23 24 25 30 36 38 43 44 45
a 12 18 19 20 22 23 24 25 30 34 36 38 43 44 45
a 14 18 19 20 22 23 24 25 30 34 36 38 43 44 45
a 4 14 18 19 20 22 23 24 25 30 34 36 43 44 45
a 7 14 18 19 20 22 23 24 25 30 34 36 43 44 45
a 4 7 14 18 19 20 22 23 24 25 30 34 36 44 45
a 4 7 14 18 19 20 22 23 24 25 30 36 43 44 45
a 4 7 14 15 18 19 20 22 24 25 30 36 43 44 45
a 7 14 15 18 19 20 22 23 24 25 30 36 43 44 45
a 7 15 18 19 20 22 23 24 25 30 34 36 43 44 45
a 7 8 15 18 19 20 22 23 24 30 34 36 43 44 45
a 7 8 15 16 18 19 20 22 23 24 30 34 36 44 45
a 7 8 15 16 18 19 20 22 23 24 30 34 36 44 46
a 7 8 15 18 19 20 22 23 24 30 34 36 43 44 46
a 2 7 8 15 18 19 20 23 24 30 34 36 43 44 46
a 2 7 8 15 18 19 20 22 23 30 34 36 43 44 46
a 2 7 8 15 18 19 20 22 23 30 34 36 41 43 46
a 2 7 8 15 18 19 20 22 23 27 30 34 41 43 46
a 2 7 8 13 15 18 19 22 23 27 30 34 41 43 46
a 2 7 8 13 15 16 18 19 22 23 27 30 34 41 46
a 7 8 13 15 16 18 19 22 23 24 27 30 34 41 46
a 7 8 15 16 18 19 22 23 24 27 30 34 37 41 46
a 7 8 16 18 19 22 23 24 27 30 34 37 40 41 46
a 2 7 8 16 18 19 22 23 24 27 30 34 37 40 41
a 7 8 16 18 19 20 22 23 24 27 30 34 37 40 41
a 7 8 16 18 19 20 23 24 26 27 30 34 37 40 41
a 7 8 16 18 19 20 24 26 27 30 31 34 37 40 41
a 7 8 10 16 18 19 20 24 26 27 30 31 34 37 41
a 8 10 15 16 18 19 20 24 26 27 30 31 34 37 41
a 8 10 15 16 18 19 20 24 26 30 31 34 36 37 41
a 2 8 10 15 16 18 19 20 24 26 30 31 34 36 41
a 2 7 8 10 15 16 18 19 20 24 26 30 34 36 41
a 2 7 8 10 15 18 19 20 24 26 30 31 34 36 41
a 2 7 8 10 15 18 19 20 26 30 31 34 36 40 41
a 2 8 10 15 18 19 20 24 26 30 31 34 36 40 41
a 2 8 10 15 18 20 24 26 30 31 34 36 39 40 41
a 8 10 15 16 18 20 24 26 30 31 34 36 39 40 41
a 10 15 16 18 20 24 26 30 31 34 36 37 39 40 41
a 8 10 15 16 18 20 24 26 30 31 34 36 37 39 41
a 8 15 16 18 20 24 26 30 31 34 36 37 39 40 41
a 8 10 15 16 18 20 24 26 30 31 34 36 37 39 40
a 8 10 15 16 18 19 20 24 26 30 31 34 36 37 40
a 7 10 15 16 18 19 20 24 26 30 31 34 36 37 40
a 7 8 10 15 16 18 19 20 24 26 30 31 34 36 37
a 2 7 8 10 15 16 18 19 20 24 26 30 31 34 37
a 2 7 8 10 16 18 19 20 24 26 30 31 34 36 37
a 2 7 8 10 15 16 18 19 20 24 26 31 34 36 37
a 2 7 10 15 16 18 19 20 24 26 30 31 34 36 37
a 2 10 15 16 18 19 20 24 26 30 31 34 36 37 41
a 10 15 16 18 19 20 24 26 30 31 34 36 37 40 41
a 10 15 18 19 20 24 26 30 31 34 36 37 40 41 45
a 2 10 15 19 20 24 26 30 31 34 36 37 40 41 45
a 2 10 15 16 19 24 26 30 31 34 36 37 40 41 45
a 2 10 15 16 18 19 24 26 30 31 34 36 37 40 41
a 2 8 15 16 18 19 24 26 30 31 34 36 37 40 41
a 2 8 15 16 18 19 20 24 26 30 31 34 36 37 40
a 2 10 15 16 18 19 20 24 26 30 31 34 36 37 40
a 2 8 10 15 16 18 19 20 24 30 31 34 36 37 40
a 8 10 12 15 16 18 19 20 24 30 31 34 36 37 40
a 2 8 12 15 16 18 19 20 24 30 31 34 36 37 40
a 2 10 12 15 16 18 19 20 24 30 31 34 36 37 40
a 2 8 10 12 15 16 18 19 20 24 30 31 36 37 40
a 2 8 10 15 16 18 19 20 24 26 30 31 36 37 40
a 2 8 10 15 16 18 19 20 24 26 30 31 36 40 41
a 2 8 10 15 16 18 19 20 24 26 30 31 36 37 41
a 2 8 10 15 16 18 19 20 24 26 30 31 34 36 37
a 2 8 10 15 16 18 19 20 24 26 30 34 36 37 40
a 2 7 8 10 15 16 18 19 20 24 26 30 36 37 40
a 2 7 8 10 15 16 18 19 20 24 26 30 31 37 40
a 2 8 10 15 16 18 19 20 24 26 30 31 34 37 40
a 2 8 10 15 16 18 19 20 26 30 31 34 36 37 40
a 8 10 15 16 18 19 20 26 30 31 34 36 37 40 45
a 8 10 15 16 19 20 24 26 30 31 34 36 37 40 45
a 10 15 16 19 20 24 26 30 31 34 36 37 40 41 45
a 10 15 16 19 24 26 30 31 34 36 37 40 41 45 48
a 2 10 16 19 24 26 30 31 34 36 37 40 41 45 48
a 2 8 10 16 19 24 26 30 31 36 37 40 41 45 48
a 2 8 10 16 19 20 24 26 30 31 36 37 40 41 45
a 2 8 10 16 20 24 26 30 31 36 37 39 40 41 45
a 2 10 16 20 24 26 30 31 34 36 37 39 40 41 45
a 2 10 15 16 20 24 26 30 31 34 36 37 39 40 41
a 2 10 15 16 18 20 24 26 30 31 34 36 37 39 40
a 2 15 16 18 20 24 26 30 31 34 36 37 39 40 41
a 2 10 15 16 18 20 24 26 30 31 34 36 37 39 41
a 2 7 10 16 18 20 24 26 30 31 34 36 37 39 41
a 2 7 16 18 20 24 26 30 31 34 36 37 39 40 41
a 2 7 10 16 18 20 24 26 30 31 34 36 37 39 40
a 2 7 10 15 16 18 20 24 26 30 31 34 37 39 40
a 2 7 10 15 16 18 20 24 26 30 31 34 36 37 39
a 2 7 10 15 16 18 20 24 30 31 34 36 37 39 40
a 7 10 15 16 18 20 24 26 30 31 34 36 37 39 40
a 2 7 10 15 16 18 24 26 30 31 34 36 37 39 40
a 7 8 10 15 16 18 24 26 30 31 34 36 37 39 40
a 7 8 10 15 16 18 20 24 26 30 31 34 36 37 40
a 7 8 10 15 16 18 20 24 26 27 30 31 34 37 40
a 7 8 10 15 16 18 20 24 26 30 31 34 37 39 40
a 2 7 8 10 15 16 18 24 26 30 31 34 37 39 40
a 2 8 10 15 16 18 24 26 27 30 31 34 37 39 40
a 2 7 8 10 15 16 18 24 26 27 30 34 37 39 40
a 2 7 8 10 16 18 20 24 26 27 30 34 37 39 40
a 2 7 8 10 15 16 18 20 24 26 27 30 34 37 40
a 2 8 10 15 16 18 20 24 26 27 30 31 34 37 40
a 2 8 10 15 16 18 20 24 26 27 30 34 37 39 40
a 2 7 8 10 15 16 18 20 24 27 30 34 37 39 40
a 7 8 10 15 16 18 20 24 26 27 30 34 37 39 40
a 2 7 8 10 15 16 18 20 24 26 27 30 37 39 40
a 2 7 8 10 15 16 18 20 24 26 27 30 31 37 40
a 2 7 8 10 15 16 18 19 20 24 26 27 31 37 40
a 2 8 10 15 16 18 19 20 24 26 27 31 34 37 40
a 2 8 10 15 16 18 19 20 24 26 31 34 37 40 45
a 2 8 10 15 16 19 20 24 26 27 31 34 37 40 45
a 2 8 10 15 16 19 20 24 26 31 34 37 40 41 45
a 8 10 15 16 19 20 24 26 30 31 34 37 40 41 45
a 8 10 15 16 18 19 20 24 26 30 31 34 37 40 41
a 8 10 15 16 18 19 20 24 30 31 34 36 37 40 41
a 7 10 15 16 18 19 20 24 30 31 34 36 37 40 41
a 7 10 15 16 18 19 20 26 30 31 34 36 37 40 41
a 7 10 15 16 18 20 26 30 31 34 36 37 39 40 41
a 7 8 10 15 16 18 20 26 30 31 34 36 37 39 41
a 7 10 15 16 18 20 24 26 30 31 34 36 37 39 41
a 7 10 15 16 18 20 24 26 30 31 34 36 37 39 45
a 7 10 15 16 18 20 26 30 31 34 36 37 39 41 45
a 7 10 15 16 18 26 30 31 34 36 37 39 40 41 45
a 10 15 16 18 20 26 30 31 34 36 37 39 40 41 45
a 15 16 18 20 24 26 30 31 34 36 37 39 40 41 45
a 10 15 16 20 24 26 30 31 34 36 37 39 40 41 45
a 8 10 15 16 20 24 26 30 31 34 36 37 40 41 45
a 8 10 15 16 18 20 24 26 30 31 34 36 37 40 41
a 8 10 15 16 19 20 24 26 30 31 34 36 37 40 41
a 8 10 15 16 18 19 20 24 26 31 34 36 37 40 41
a 8 10 15 16 18 19 20 24 26 27 31 34 37 40 41
a 8 10 15 16 18 19 20 24 26 27 31 34 37 40 45
a 10 15 16 18 19 20 24 26 27 30 31 34 37 40 45
a 2 10 15 16 18 19 20 24 26 27 30 31 34 37 40
a 7 10 15 16 18 19 20 24 26 27 30 31 34 37 40
a 2 7 10 16 18 19 20 24 26 27 30 31 34 37 40
a 2 8 10 16 18 19 20 24 26 27 30 31 34 37 40
a 2 8 10 15 16 19 20 24 26 27 30 31 34 37 40
a 2 8 10 15 16 19 20 24 26 30 31 34 36 37 40
a 2 7 8 10 15 16 19 20 24 26 30 34 36 37 40
a 2 7 8 10 15 16 18 19 20 24 26 34 36 37 40
a 2 7 10 15 16 18 19 20 24 26 34 36 37 40 45
a 2 7 10 15 16 18 19 20 24 26 30 34 36 37 40
a 2 7 10 15 16 18 19 20 24 26 30 31 34 36 40
a 7 8 10 15 16 18 19 20 24 26 30 31 34 36 40
a 7 8 10 15 16 18 19 20 24 26 27 30 31 34 40
a 7 8 10 15 16 18 19 20 24 26 27 30 31 34 37
a 7 8 10 15 16 18 19 20 24 27 30 31 34 37 40
a 2 7 8 10 15 16 18 20 24 27 30 31 34 37 40
a 2 7 8 10 15 16 18 20 24 26 27 30 31 34 37
a 2 7 8 10 15 16 18 20 24 26 27 30 31 34 41
a 2 7 8 10 15 16 18 20 24 26 27 30 34 40 41
a 2 7 8 10 15 16 18 20 24 26 27 30 31 34 40
a 2 7 8 10 15 16 18 20 24 27 30 31 34 39 40
a 2 8 10 15 16 18 20 24 27 30 31 34 37 39 40
a 8 10 15 16 18 20 24 27 30 31 34 37 39 40 41
a 8 10 15 16 18 20 24 27 30 31 34 37 40 41 45
a 8 10 15 16 18 19 20 24 27 30 31 34 37 41 45
a 8 10 15 16 18 19 20 24 26 27 30 31 34 37 45
a 8 10 16 18 19 20 24 26 27 30 31 34 37 41 45
a 8 10 16 18 19 20 24 26 27 30 31 34 37 40 45
a 8 10 16 18 19 24 26 27 30 31 34 37 40 41 45
a 8 15 16 18 19 24 26 27 30 31 34 37 40 41 45
a 8 15 16 18 19 20 24 26 27 30 31 34 40 41 45
a 8 10 15 16 18 19 20 24 26 27 31 34 40 41 45
a 10 15 16 18 19 20 24 26 27 30 31 34 40 41 45
a 8 10 15 16 18 19 20 24 26 27 30 31 34 40 41
a 8 10 15 16 18 19 20 24 26 27 30 31 34 37 40
a 7 8 10 15 16 18 19 24 26 27 30 31 34 37 40
a 7 10 15 16 18 19 24 26 27 30 31 34 37 40 45
a 7 8 10 15 16 18 19 24 26 27 30 31 34 37 45
a 2 7 8 10 15 16 18 19 24 26 27 30 31 37 45
a 7 8 10 15 16 18 19 20 24 26 27 30 31 37 45
a 8 10 15 16 18 19 20 24 26 27 30 31 37 41 45
a 8 10 15 16 19 20 24 26 27 30 31 37 40 41 45
a 10 15 16 18 19 20 24 26 27 30 31 37 40 41 45
a 10 15 18 19 20 24 26 27 30 31 34 37 40 41 45
a 7 10 15 18 19 20 24 26 27 30 31 34 37 40 41
a 7 15 16 18 19 20 24 26 27 30 31 34 37 40 41
a 7 10 16 18 19 20 24 26 27 30 31 34 37 40 41
a 7 10 15 16 18 19 20 24 26 27 30 31 34 37 41
a 2 10 15 16 18 19 20 24 26 27 30 31 34 37 41
a 2 7 10 15 16 18 19 20 24 26 27 30 31 34 37
a 2 7 10 15 16 18 19 20 24 26 30 31 34 37 40
a 2 7 10 15 16 18 19 20 24 26 30 31 34 40 41
a 7 10 15 16 18 19 20 24 26 30 31 34 40 41 45
a 7 10 15 16 18 19 20 24 26 30 31 34 37 40 45
a 7 8 10 15 16 18 19 20 24 26 30 31 34 37 45
a 7 8 10 15 16 18 19 20 24 26 27 30 31 34 45
a 2 7 8 10 15 16 18 19 20 24 26 27 30 34 45
a 2 8 10 15 16 18 19 20 24 26 27 30 31 34 45
a 8 10 15 16 18 19 20 24 26 27 30 31 34 41 45
a 8 10 15 16 18 19 20 24 26 27 31 34 37 41 45
a 2 10 15 16 18 19 20 24 26 27 31 34 37 41 45
a 10 15 16 18 19 20 24 26 27 31 34 37 40 41 45
a 2 10 15 16 18 19 20 24 26 27 31 34 37 40 41
a 2 10 15 16 18 19 20 24 26 31 34 36 37 40 41
a 2 10 15 16 18 19 20 24 26 30 31 34 37 40 41
a 2 10 15 16 18 19 20 24 26 30 31 34 37 41 45
a 2 10 15 16 18 19 20 24 26 30 31 34 36 37 45
a 2 7 10 15 16 18 19 20 24 30 31 34 36 37 45
a 2 7 10 15 16 18 19 20 24 30 31 34 37 41 45
a 7 10 15 16 18 19 20 24 30 31 34 37 40 41 45
a 2 7 10 15 16 18 19 20 24 30 31 34 37 40 45
a 2 10 15 16 18 19 20 24 26 30 31 34 37 40 45
a 2 8 10 15 16 18 19 20 26 30 31 34 37 40 45
a 8 10 15 16 18 19 20 26 27 30 31 34 37 40 45
a 8 10 15 16 18 19 20 24 26 27 30 31 37 40 45
a 8 10 15 16 18 19 20 24 26 27 30 34 37 40 45
a 8 10 15 16 18 19 20 24 26 27 30 34 37 41 45
a 8 10 15 16 18 19 20 24 26 27 30 34 37 40 41
a 8 10 16 18 19 20 24 26 27 30 31 34 37 40 41
a 10 16 18 19 20 24 26 27 30 31 34 37 40 41 45
a 10 16 18 19 20 24 26 30 31 34 36 37 40 41 45
a 8 10 16 19 20 24 26 30 31 34 36 37 40 41 45
a 8 10 15 19 20 24 26 30 31 34 36 37 40 41 45
a 8 10 18 19 20 24 26 30 31 34 36 37 40 41 45
a 8 10 15 18 19 20 26 30 31 34 36 37 40 41 45
a 8 10 15 16 18 19 20 26 30 31 34 36 37 41 45
a 8 10 15 16 18 19 20 24 26 30 31 34 36 37 45
a 8 15 16 18 19 20 24 26 30 31 34 36 37 40 45
a 15 16 18 19 20 24 26 30 31 34 36 37 40 41 45
a 15 16 18 19 20 24 26 27 30 31 34 37 40 41 45
a 2 15 16 18 19 20 24 26 27 30 31 37 40 41 45
a 2 8 15 16 18 19 20 24 26 27 30 31 37 40 41
a 2 8 15 16 18 19 20 24 26 27 30 31 37 41 45
a 2 8 15 16 18 19 20 24 26 27 30 31 34 37 45
a 2 8 10 15 16 18 20 24 26 27 30 31 34 37 45
a 2 8 10 15 16 18 20 24 26 30 31 34 36 37 45
a 2 8 10 15 16 18 20 24 26 30 31 34 36 37 39
a 2 8 10 15 16 18 20 26 30 31 34 36 37 39 40
a 2 8 10 15 16 18 20 24 26 30 31 34 37 39 40
a 2 8 10 15 16 18 20 24 26 30 31 34 36 37 40
a 2 8 10 15 16 18 20 24 26 31 34 36 37 40 41
a 2 8 10 15 16 18 20 24 26 30 31 34 36 37 41
a 2 8 10 15 16 18 20 24 26 30 31 36 37 40 41
a 2 8 10 15 16 18 20 24 26 30 36 37 39 40 41
a 8 10 15 16 18 20 24 26 30 31 36 37 39 40 41
a 7 8 10 15 16 18 20 24 26 30 31 37 39 40 41
a 7 8 10 15 16 18 19 20 24 26 30 31 37 40 41
a 7 10 15 16 18 19 20 24 26 30 31 36 37 40 41
a 7 10 15 16 18 19 20 24 26 30 31 37 40 41 45
a 7 10 15 16 18 19 20 24 26 30 36 37 40 41 45
a 4 7 10 15 16 18 19 20 24 26 30 36 37 40 41
a 4 7 10 15 16 18 19 20 24 26 30 34 36 37 41
a 4 7 10 15 16 18 19 20 24 26 30 31 34 36 37
a 4 7 10 15 16 18 19 20 24 30 31 34 36 37 40
a 4 7 10 15 16 18 19 20 24 26 30 31 34 37 40
a 7 8 10 15 16 18 19 20 24 26 30 31 34 37 40
a 2 7 8 10 15 16 18 19 20 24 26 30 31 34 40
a 2 8 10 15 16 18 19 20 24 26 30 31 34 36 40
a 2 7 8 10 15 16 18 19 20 24 26 30 31 36 40
a 2 7 8 10 15 16 18 19 20 24 26 30 31 36 37
a 7 8 10 15 16 18 19 20 24 26 30 31 36 37 40
a 7 8 15 16 18 19 20 24 26 30 31 34 36 37 40
a 7 8 15 16 18 19 20 24 26 30 31 34 36 37 41
a 2 7 8 15 16 18 19 20 24 26 30 31 34 36 37
a 2 7 8 15 16 18 19 20 24 26 30 31 34 37 40
a 2 7 8 15 16 18 19 20 24 26 30 31 34 40 41
a 2 7 8 15 16 18 19 20 24 26 30 31 34 37 41
a 2 7 10 15 16 18 19 20 24 26 30 31 34 37 41
a 2 7 10 15 16 18 19 20 24 26 30 31 34 36 41
a 7 10 15 16 18 19 20 24 26 30 31 34 36 37 41
a 7 10 15 18 19 20 24 26 30 31 34 36 37 40 41
a 7 8 10 15 19 20 24 26 30 31 34 36 37 40 41
a 7 8 10 15 16 19 20 26 30 31 34 36 37 40 41
a 7 10 15 16 19 20 24 26 30 31 34 36 37 40 41
a 2 10 15 16 19 20 24 26 30 31 34 36 37 40 41
a 2 10 15 16 19 20 26 30 31 34 36 37 40 41 45
a 2 10 15 16 19 20 24 26 30 31 34 37 40 41 45
a 2 8 10 15 16 19 20 24 26 30 31 34 40 41 45
a 2 8 10 15 16 19 20 24 26 30 31 34 37 40 41
a 2 8 10 15 16 18 19 20 24 26 30 31 34 37 41
a 2 8 10 15 16 18 19 20 24 26 30 31 34 40 41
a 2 8 10 15 16 18 19 24 26 30 31 34 36 40 41
a 2 8 10 15 16 18 19 24 26 30 31 36 37 40 41
a 2 7 8 10 15 16 18 19 24 26 30 31 36 37 40
a 2 7 8 10 15 16 19 24 26 30 31 34 36 37 40
a 2 7 10 15 16 19 20 24 26 30 31 34 36 37 40
a 2 7 8 10 15 19 20 24 26 30 31 34 36 37 40
a 2 7 8 15 16 19 20 24 26 30 31 34 36 37 40
a 2 7 8 15 19 20 24 26 30 31 34 36 37 40 41
a 2 7 8 15 18 20 24 26 30 31 34 36 37 40 41
a 2 7 8 15 18 19 20 24 26 30 31 34 36 37 41
a 2 8 15 18 19 20 24 26 30 31 34 36 37 40 41
a 2 8 10 15 18 19 20 26 30 31 34 36 37 40 41
a 8 10 15 16 18 19 20 26 30 31 34 36 37 40 41
a 8 10 15 16 18 19 20 30 31 34 36 37 40 41 45
a 8 15 16 18 19 20 26 30 31 34 36 37 40 41 45
a 8 15 16 19 20 24 26 30 31 34 36 37 40 41 45
a 8 15 16 18 19 24 26 30 31 34 36 37 40 41 45
a 7 8 15 16 19 24 26 30 31 34 36 37 40 41 45
a 7 15 16 18 19 24 26 30 31 34 36 37 40 41 45
a 7 16 18 19 20 24 26 30 31 34 36 37 40 41 45
a 2 7 16 18 19 20 24 26 30 31 34 36 37 40 41
a 2 7 15 16 18 19 20 26 30 31 34 36 37 40 41
a 2 7 15 16 18 19 20 24 26 30 31 34 37 40 41
a 2 7 8 15 16 18 19 20 24 26 30 31 37 40 41
a 2 7 8 16 18 19 20 24 26 30 31 34 37 40 41
a 2 7 8 16 18 20 24 26 30 31 34 37 39 40 41
a 2 7 8 10 16 18 20 24 26 30 31 34 37 39 41
a 2 7 8 10 16 18 20 24 26 30 31 34 39 40 41
a 2 7 8 10 16 18 20 24 26 30 31 34 37 39 40
a 2 7 8 16 18 20 24 26 30 31 34 36 37 39 40
a 2 7 8 10 16 18 20 24 26 30 31 34 36 37 39
a 2 7 8 10 15 16 18 20 26 30 31 34 36 37 39
a 2 7 8 10 15 16 18 20 26 30 31 34 36 37 40
a 2 7 8 10 15 16 18 24 26 30 31 34 36 37 40
a 2 7 8 10 16 18 20 24 26 30 31 34 36 37 40
a 2 7 8 10 16 18 19 20 26 30 31 34 36 37 40
a 2 7 8 10 15 16 19 20 26 30 31 34 36 37 40
a 2 7 8 10 15 16 18 19 20 26 30 31 34 36 37
a 2 7 8 10 15 16 18 19 20 24 26 30 34 36 37
a 2 7 8 10 15 16 18 19 20 24 26 30 31 34 36
a 2 7 8 10 15 16 18 19 20 24 26 30 31 34 45
a 2 7 8 10 15 16 18 19 20 24 26 30 31 41 45
a 7 8 10 15 16 18 19 20 24 26 30 31 37 41 45
a 8 10 15 16 18 19 20 24 26 30 31 36 37 41 45
a 7 8 10 15 16 18 19 20 24 26 30 31 36 41 45
a 7 8 15 16 18 19 20 24 26 30 31 34 36 41 45
a 7 8 10 15 16 18 19 20 24 26 30 31 34 36 41
a 7 8 10 15 16 18 19 20 24 26 30 34 36 41 45
a 7 8 10 15 16 18 19 24 26 30 34 36 37 41 45
a 7 8 10 15 16 18 19 26 30 31 34 36 37 41 45
a 7 8 15 16 18 19 20 26 30 31 34 36 37 41 45
a 8 15 16 18 19 20 24 26 30 31 34 36 37 41 45
a 8 10 15 16 18 19 20 24 26 30 34 36 37 41 45
a 7 8 15 16 18 19 20 24 26 30 34 36 37 41 45
a 7 8 10 15 16 18 19 20 24 26 30 34 36 37 41
a 7 8 10 15 16 18 19 20 24 26 30 31 34 37 41
a 7 8 10 15 16 18 19 20 24 26 30 31 36 37 41
a 7 8 10 15 16 18 19 20 24 30 31 36 37 40 41
a 7 8 10 15 16 18 19 20 24 30 31 34 36 37 40
a 2 7 8 10 15 16 18 19 20 24 30 31 34 37 40
a 2 7 8 10 15 16 19 20 24 30 31 34 37 40 46
a 2 7 8 10 15 16 18 19 20 24 30 31 34 37 46
a 2 7 8 10 16 18 19 20 24 30 31 34 36 37 46
a 2 7 8 10 16 18 19 20 24 30 34 36 37 40 46
a 7 8 10 16 18 19 20 24 30 34 36 37 40 41 46
a 7 8 10 15 16 18 19 20 30 34 36 37 40 41 46
a 2 7 8 10 15 16 18 19 20 34 36 37 40 41 46
a 2 7 8 10 15 16 18 19 20 31 34 36 37 41 46
a 2 8 10 15 16 18 19 20 31 34 36 37 40 41 46
a 2 10 15 16 18 19 20 30 31 34 36 37 40 41 46
a 2 10 15 16 18 19 20 26 30 31 34 36 37 40 41
a 2 10 15 16 18 20 24 26 30 31 34 36 37 40 41
a 2 8 10 15 16 18 20 26 30 31 34 36 37 40 41
a 2 8 10 15 16 18 20 24 26 30 31 34 37 40 41
a 2 8 10 15 16 18 19 20 24 26 30 31 37 40 41
a 2 8 10 15 16 18 19 20 26 30 31 36 37 40 41
a 2 8 10 15 16 18 19 26 30 31 34 36 37 40 41
a 2 7 8 10 15 16 18 19 26 30 31 34 36 37 40
a 2 7 8 10 15 16 18 19 24 26 30 31 34 37 40
a 2 7 8 10 15 18 19 24 26 30 31 34 36 37 40
a 2 7 8 10 15 18 19 20 24 26 30 31 36 37 40
a 2 7 8 10 15 16 18 19 20 26 30 31 36 37 40
a 2 7 8 10 15 16 18 19 20 26 30 31 36 37 45
a 7 8 10 15 16 18 19 20 26 30 31 34 36 37 45
a 7 10 15 16 18 19 20 26 30 31 34 36 37 41 45
a 2 7 10 15 16 18 19 20 26 30 31 34 36 37 45
a 2 10 15 16 18 19 20 26 30 31 34 36 37 41 45
a 2 15 16 18 19 20 26 30 31 34 36 37 40 41 45
a 2 10 15 16 18 19 20 26 30 31 34 36 37 40 45
a 2 7 10 15 16 18 19 20 26 31 34 36 37 40 45
a 2 10 15 16 18 19 20 26 31 34 36 37 40 41 45
a 2 8 10 15 16 18 19 20 26 31 34 36 37 40 45
a 2 8 10 15 16 18 19 20 26 30 31 36 37 40 45
a 2 7 8 10 15 16 18 19 20 26 31 36 37 40 45
a 2 7 8 10 15 16 18 19 20 31 34 36 37 40 45
a 7 8 10 15 16 18 19 20 24 31 34 36 37 40 45
a 7 8 10 15 16 18 19 20 24 30 31 34 36 37 45
a 7 8 10 15 16 18 19 20 24 26 30 31 34 36 45
a 2 7 10 15 16 18 19 20 24 26 30 31 34 36 45
a 2 7 8 10 15 16 18 19 20 24 26 30 34 36 45
a 2 7 8 10 15 16 18 19 20 24 26 31 34 36 45
a 2 7 10 15 16 18 19 20 24 26 31 34 36 40 45
a 2 7 8 15 16 18 19 20 24 26 31 34 36 40 45
a 2 7 15 16 18 19 20 24 26 31 34 36 37 40 45
a 4 7 15 16 18 19 20 24 26 31 34 36 37 40 45
a 4 7 10 15 18 19 20 24 26 31 34 36 37 40 45
a 4 7 10 15 16 18 19 20 24 26 31 34 36 40 45
a 7 8 10 15 16 18 19 20 24 26 31 34 36 40 45
a 7 8 10 15 16 18 20 24 26 30 31 34 36 40 45
a 8 10 15 16 18 20 24 26 30 31 34 36 37 40 45
a 10 15 16 18 19 20 24 26 30 31 34 36 37 40 45
a 7 10 15 16 18 19 20 24 26 30 34 36 37 40 45
a 7 15 16 18 19 20 23 24 26 30 34 36 37 40 45
a 7 15 16 18 19 20 23 24 30 34 36 37 40 41 45
a 7 8 15 16 18 19 20 24 30 34 36 37 40 41 45
a 2 7 8 15 16 19 20 24 30 34 36 37 40 41 45
a 2 8 15 16 18 19 20 24 30 34 36 37 40 41 45
a 2 8 15 16 18 19 23 24 30 34 36 37 40 41 45
a 2 15 16 18 19 20 23 24 30 34 36 37 40 41 45
a 2 7 15 16 18 19 20 23 24 34 36 37 40 41 45
a 2 7 15 16 18 19 20 22 23 24 34 37 40 41 45
a 2 7 15 16 18 19 20 22 23 24 30 34 37 40 41
a 2 7 8 15 16 18 19 20 22 23 24 30 34 37 41
a 2 7 8 15 16 18 19 20 22 23 24 30 36 37 41
a 2 8 15 16 18 19 20 22 23 24 30 34 36 37 41
a 2 8 15 16 18 19 20 22 23 24 30 34 36 40 41
a 2 7 8 15 16 18 19 20 22 23 24 30 36 40 41
a 2 7 8 15 16 18 19 20 22 23 24 30 34 36 40
a 2 7 8 15 16 18 19 20 22 23 24 30 34 36 41
a 2 7 8 15 16 18 19 20 22 23 24 30 34 36 37
a 7 8 15 16 18 19 20 22 23 24 30 34 36 37 41
a 7 8 15 16 18 19 20 22 23 24 30 34 36 37 40
a 7 8 15 18 19 20 22 23 24 30 34 36 37 40 46
a 7 8 15 16 19 20 22 23 24 30 34 36 37 40 46
a 7 8 15 16 19 20 23 24 30 34 36 37 40 41 46
a 8 15 16 19 20 22 23 24 30 34 36 37 40 41 46
a 8 15 16 18 19 20 22 23 24 30 34 36 37 40 41
a 8 15 16 18 19 20 22 23 24 30 34 37 40 41 50
a 8 15 16 18 19 20 22 23 24 30 34 36 37 40 50
a 8 15 16 18 19 20 22 23 30 34 36 37 40 41 50
a 8 15 16 18 19 20 22 23 30 34 36 40 41 46 50
a 8 15 16 18 19 20 22 23 30 34 36 37 40 41 46
a 15 16 18 19 20 22 23 24 30 34 36 37 40 41 46
a 15 18 19 20 22 23 24 30 34 36 37 40 41 46 50
a 15 16 18 19 20 22 23 24 30 34 36 37 41 46 50
a 8 15 16 18 20 22 23 24 30 34 36 37 41 46 50
a 2 8 15 16 18 22 23 24 30 34 36 37 41 46 50
a 7 8 15 16 18 22 23 24 30 34 36 37 41 46 50
a 7 8 15 16 18 20 22 23 24 30 34 36 37 46 50
a 7 8 15 18 20 22 23 24 30 34 36 37 41 46 50
a 7 8 15 18 19 20 22 23 24 30 34 36 37 46 50
a 7 8 15 18 19 20 22 23 24 30 34 36 37 40 50
a 8 15 18 19 20 22 23 24 30 34 36 37 40 46 50
a 15 16 18 19 20 22 23 24 30 34 36 37 40 46 50
a 7 15 16 18 19 20 22 24 30 34 36 37 40 46 50
a 7 15 16 18 19 20 22 23 24 30 34 36 40 46 50
a 7 16 18 19 20 22 23 24 30 34 36 37 40 46 50
a 7 15 16 18 19 20 22 23 24 30 34 36 37 40 46
a 7 15 16 18 19 20 22 23 24 30 34 36 37 40 45
a 7 15 16 18 19 20 22 23 24 30 34 36 37 41 45
a 7 15 16 18 19 20 23 24 26 30 34 36 37 41 45
a 14 15 16 18 19 20 23 24 26 30 34 36 37 41 45
a 2 14 15 16 18 19 20 23 24 26 30 36 37 41 45
a 2 5 14 15 18 19 20 23 24 26 30 36 37 41 45
a 2 5 14 15 18 19 20 23 24 26 30 36 41 43 45
a 2 5 14 15 18 19 23 24 26 30 36 41 43 45 48
a 2 5 14 18 19 23 24 26 30 36 38 41 43 45 48
c Step: 472
#END: [Tue Sep  5 00:24:13 2023]