#BEGIN: [Mon Sep  4 15:41:09 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-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 --ulimit cpu=1800 -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 04a61099f405054a09064c249c69200c82cfe49d96320c6c85b8a2e9d51a251e
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 5 8 10 15 18 19 20 24 26 29 33 36 41 43 45
a 5 8 10 15 18 19 20 24 25 26 29 33 36 43 45
a 7 8 10 15 18 19 20 24 25 26 29 33 36 43 45
a 7 8 10 15 18 19 20 24 25 29 33 34 36 43 45
a 7 8 10 15 18 19 20 24 25 26 29 33 34 43 45
a 7 8 10 15 18 19 20 24 26 29 33 34 41 43 45
a 8 10 15 18 19 20 24 26 29 33 34 36 41 43 45
a 10 14 15 18 19 20 24 26 29 33 34 36 41 43 45
a 10 14 15 18 19 20 24 25 26 29 33 34 36 43 45
a 7 10 14 15 18 19 20 24 25 26 29 33 34 36 43
a 7 10 14 15 18 19 20 24 25 26 29 33 34 43 45
a 7 10 14 18 19 20 24 25 26 27 29 33 34 43 45
a 7 8 10 18 19 20 24 25 26 27 29 33 34 43 45
a 7 8 10 15 18 19 20 24 25 27 29 33 34 43 45
a 7 10 14 15 18 19 20 24 25 27 29 33 34 43 45
a 7 10 14 15 18 19 24 25 26 27 29 33 34 43 45
a 7 10 14 15 18 19 24 26 27 29 33 34 41 43 45
a 7 10 14 15 18 19 20 24 26 27 29 33 34 41 45
a 7 10 14 15 18 19 20 24 26 27 29 33 34 37 41
a 7 10 15 18 19 20 24 26 27 29 33 34 37 41 45
a 7 8 10 15 18 19 20 24 26 27 29 33 34 41 45
a 7 8 10 15 18 19 20 24 26 29 33 34 36 41 45
a 7 8 10 18 19 20 24 26 29 33 34 36 41 43 45
a 7 8 10 15 18 19 20 24 26 29 34 36 41 43 45
a 7 8 15 18 19 20 24 26 29 33 34 36 41 43 45
a 7 10 15 18 19 20 24 26 29 33 34 36 41 43 45
a 7 8 10 15 18 19 20 24 26 29 33 34 36 43 45
a 7 8 15 18 19 20 24 25 26 29 33 34 36 43 45
a 7 8 15 18 19 20 23 24 25 26 33 34 36 43 45
a 7 8 15 18 19 20 22 23 24 25 33 34 36 43 45
a 4 7 15 18 19 20 22 23 24 25 33 34 36 43 45
a 4 7 14 15 18 19 20 22 23 24 25 33 34 36 43
a 4 7 14 15 18 19 20 23 24 25 26 33 34 36 43
a 4 7 14 15 18 19 20 23 24 25 26 30 34 36 43
a 4 7 14 15 18 19 23 24 25 26 30 34 36 43 45
a 4 7 14 15 18 19 22 23 24 25 30 34 36 43 45
a 4 14 15 18 19 22 23 24 25 30 34 36 43 44 45
a 4 5 14 15 18 19 22 23 24 25 30 36 43 44 45
a 4 5 14 15 18 19 22 23 24 25 33 36 43 44 45
a 4 5 14 15 18 19 20 22 23 24 25 36 43 44 45
a 4 5 14 18 19 20 22 23 24 25 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 30 36 38 43 44
a 5 12 14 18 19 20 22 23 25 30 36 38 43 44 46
a 5 9 12 14 19 20 22 23 25 30 36 38 43 44 46
a 5 9 12 14 19 20 22 23 24 25 30 36 38 43 44
a 5 9 12 14 19 20 22 23 24 30 36 38 43 44 46
a 5 9 12 14 19 20 22 23 24 33 36 38 43 44 46
a 5 9 14 19 20 22 23 24 25 33 36 38 43 44 46
a 4 5 14 19 20 22 23 24 25 33 36 38 43 44 46
a 4 5 14 19 20 22 23 24 25 30 36 38 43 44 46
a 4 5 14 18 19 20 22 23 24 25 30 36 38 43 44
a 4 5 14 18 19 20 22 23 24 25 33 36 38 43 44
a 4 5 14 18 20 22 23 24 25 33 36 38 43 44 46
a 4 14 18 20 22 23 24 25 33 34 36 38 43 44 46
a 14 18 20 22 23 24 25 33 34 35 36 38 43 44 46
a 14 18 20 22 23 24 25 30 34 35 36 38 43 44 46
a 14 18 19 20 22 23 24 25 30 34 36 38 43 44 46
a 4 14 18 19 20 22 23 24 25 34 36 38 43 44 46
a 4 14 18 19 20 22 23 24 25 33 34 36 38 43 44
a 4 14 18 19 20 22 23 24 25 30 34 36 38 43 44
a 4 14 15 18 19 20 22 23 24 25 30 34 36 43 44
a 4 7 14 15 18 19 20 22 23 24 25 30 34 36 44
a 4 7 14 15 18 19 20 22 23 24 25 30 34 43 44
a 4 7 14 15 18 19 20 22 23 24 30 34 43 44 45
a 4 7 14 15 18 19 20 22 23 24 25 30 34 43 45
a 4 7 14 15 18 19 20 22 23 25 30 34 43 44 45
a 4 14 15 18 19 20 22 23 25 30 34 36 43 44 45
a 4 15 18 19 20 22 23 24 25 30 34 36 43 44 45
a 4 14 15 18 19 20 22 23 24 25 30 34 36 43 45
a 4 14 15 18 19 20 22 23 24 30 34 36 41 43 45
a 4 14 15 18 19 20 23 24 26 30 34 36 41 43 45
a 4 7 14 15 19 20 23 24 26 30 34 36 41 43 45
a 4 7 14 15 19 20 23 24 26 30 34 36 37 41 45
a 4 7 15 19 20 23 24 26 30 34 36 37 40 41 45
a 4 7 10 15 19 20 24 26 30 34 36 37 40 41 45
a 4 7 10 15 16 19 20 24 26 30 34 36 37 40 41
a 4 7 10 16 19 20 24 26 30 34 36 37 40 41 45
a 7 10 16 18 19 20 24 26 30 34 36 37 40 41 45
a 7 10 16 18 20 24 26 30 34 36 37 39 40 41 45
a 7 10 15 16 18 20 24 26 30 34 36 37 39 40 45
a 7 10 15 16 18 24 26 30 31 34 36 37 39 40 45
a 7 10 15 16 18 26 30 31 34 36 37 39 40 41 45
a 7 10 16 18 20 26 30 31 34 36 37 39 40 41 45
a 10 16 18 20 24 26 30 31 34 36 37 39 40 41 45
a 10 16 18 20 24 26 27 30 31 34 37 39 40 41 45
a 7 16 18 20 24 26 27 30 31 34 37 39 40 41 45
a 7 10 16 18 20 24 26 27 30 31 34 37 39 41 45
a 7 10 15 16 18 20 24 26 27 30 31 34 37 39 41
a 10 15 16 18 20 24 26 27 30 31 34 37 39 40 41
a 8 10 15 16 18 20 26 27 30 31 34 37 39 40 41
a 8 10 15 18 20 24 26 27 30 31 34 37 39 40 41
a 8 10 15 18 20 24 26 30 31 34 36 37 39 40 41
a 2 8 10 18 20 24 26 30 31 34 36 37 39 40 41
a 2 8 10 15 18 20 24 26 30 31 34 37 39 40 41
a 2 8 10 15 18 20 24 26 30 31 34 36 37 39 40
a 2 8 10 15 16 18 20 24 26 30 31 34 36 37 39
a 2 8 15 16 18 20 24 26 30 31 34 36 37 39 40
a 2 7 8 16 18 20 24 26 30 31 34 36 37 39 40
a 2 7 8 15 16 18 20 24 26 30 31 34 36 37 40
a 2 7 8 15 16 18 19 20 26 30 31 34 36 37 40
a 2 7 8 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 2 7 8 10 15 16 18 19 20 24 26 30 31 34 36
a 7 8 10 15 16 18 19 20 24 26 30 31 34 36 37
a 8 10 15 16 18 19 20 24 26 30 31 34 36 37 40
a 8 15 16 18 19 20 24 26 30 31 34 36 37 40 45
a 8 15 16 18 19 20 24 26 30 31 34 36 37 40 41
a 8 15 16 18 19 20 24 26 27 30 31 34 37 40 41
a 15 16 18 19 20 24 26 27 30 31 34 37 40 41 45
a 8 15 16 18 19 20 24 26 27 30 31 34 37 40 45
a 8 10 15 16 18 19 24 26 27 30 31 34 37 40 45
a 10 15 16 18 19 20 24 26 27 30 31 34 37 40 45
a 7 10 15 16 18 19 20 24 26 27 30 31 37 40 45
a 7 10 15 16 18 19 20 26 27 30 31 34 37 40 45
a 7 10 15 16 18 20 26 27 30 31 34 37 39 40 45
a 7 8 10 15 16 18 20 26 27 30 31 34 39 40 45
a 7 8 10 15 16 18 20 24 26 27 30 31 34 39 45
a 7 8 10 15 16 18 20 24 26 27 30 31 34 37 45
a 7 8 15 16 18 20 24 26 27 30 31 34 37 40 45
a 7 8 10 15 16 18 20 24 27 30 31 34 37 40 45
a 7 8 10 15 16 18 20 24 27 30 31 34 37 39 45
a 2 7 8 10 15 16 18 20 24 27 30 31 34 39 45
a 2 7 8 10 15 16 18 20 24 26 27 30 31 34 45
a 2 8 10 15 16 18 19 20 24 26 27 30 31 34 45
a 2 7 8 15 16 18 19 20 24 26 27 30 31 34 45
a 2 7 8 15 16 18 19 20 24 26 30 31 34 36 45
a 7 8 15 16 18 19 20 24 26 30 31 34 36 40 45
a 7 8 10 15 16 18 19 20 24 26 30 31 36 40 45
a 8 10 15 16 18 19 20 24 26 30 31 36 37 40 45
a 2 8 10 15 16 18 19 20 24 26 30 31 36 40 45
a 2 10 15 16 18 19 20 24 26 30 31 34 36 40 45
a 2 10 15 16 18 19 20 24 26 30 31 34 37 40 45
a 2 15 16 18 19 20 24 26 27 30 31 34 37 40 45
a 2 10 16 18 19 20 24 26 27 30 31 34 37 40 45
a 2 16 18 19 20 24 26 27 30 31 34 37 40 41 45
a 2 8 18 19 20 24 26 27 30 31 34 37 40 41 45
a 8 15 18 19 20 24 26 27 30 31 34 37 40 41 45
a 8 15 16 18 19 20 24 26 27 30 31 37 40 41 45
a 8 15 16 18 19 20 24 26 27 30 31 34 37 41 45
a 8 16 18 19 20 24 26 27 30 31 34 37 40 41 45
a 10 16 18 19 20 24 26 27 30 31 34 37 40 41 45
a 10 15 16 18 19 20 24 26 27 30 31 34 37 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 20 24 26 27 30 34 37 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 30 31 34 37 40
a 7 8 10 16 18 19 20 24 26 27 30 31 34 37 40
a 2 7 8 10 16 18 19 20 24 26 27 30 31 34 37
a 2 8 10 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 7 10 15 16 18 19 20 24 26 27 30 31 37 40
a 2 7 8 10 15 16 18 19 20 24 26 27 30 31 37
a 2 7 8 10 15 16 18 19 20 26 27 30 31 34 37
a 2 8 10 15 16 18 19 20 24 26 27 30 31 34 37
a 2 8 10 16 18 19 20 24 26 27 30 31 34 37 45
a 2 8 10 16 18 19 24 26 27 30 31 34 37 45 48
a 8 10 16 18 19 24 26 27 30 31 34 37 40 45 48
a 7 8 10 18 19 24 26 27 30 31 34 37 40 45 48
a 2 7 8 10 18 19 24 26 27 30 31 37 40 45 48
a 2 8 10 16 18 19 24 26 27 30 31 37 40 45 48
a 8 10 15 16 18 19 24 26 27 30 31 37 40 45 48
a 7 8 10 15 16 18 19 24 26 27 30 31 37 40 48
a 7 8 10 15 16 18 19 20 24 26 27 30 31 37 40
a 7 8 10 15 16 18 20 24 26 27 30 31 37 39 40
a 7 8 10 15 16 18 20 24 26 27 30 31 34 37 39
a 8 10 15 16 18 20 24 26 27 30 31 34 37 39 41
a 2 8 10 15 16 18 20 24 26 27 31 34 37 39 41
a 2 8 10 15 16 18 20 24 26 27 30 31 34 37 39
a 2 8 10 15 16 18 24 26 27 30 31 34 37 39 40
a 8 10 15 16 18 24 26 27 30 31 34 37 39 40 41
a 8 10 15 16 18 24 27 30 31 34 37 39 40 41 45
a 8 10 15 16 18 24 26 27 30 31 34 37 39 40 45
a 10 15 16 18 24 26 27 30 31 34 37 39 40 41 45
a 8 10 16 18 24 26 27 30 31 34 37 39 40 41 45
a 8 10 16 18 20 24 26 27 30 31 34 37 39 40 41
a 8 10 15 16 18 20 24 26 27 30 31 34 37 39 40
a 8 10 15 16 18 20 24 26 27 30 31 37 39 40 41
a 8 10 15 16 20 24 26 27 30 31 34 37 39 40 41
a 8 15 16 18 20 24 26 27 30 31 34 37 39 40 41
a 15 16 18 20 24 26 27 30 31 34 37 39 40 41 45
a 7 15 16 18 20 24 26 27 30 31 34 37 39 40 41
a 7 10 15 16 18 20 24 26 27 30 31 34 37 39 40
a 2 7 10 15 16 18 20 24 26 27 31 34 37 39 40
a 2 7 8 10 15 16 18 20 24 26 27 31 34 39 40
a 2 7 8 15 16 18 20 24 26 27 30 31 34 39 40
a 2 8 10 15 16 18 20 24 26 27 30 31 34 39 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 31 37 40 41
a 8 10 15 16 18 20 24 26 27 30 31 34 37 40 41
a 8 10 15 16 18 20 24 26 27 30 34 37 39 40 41
a 8 10 15 16 18 20 24 27 30 31 34 37 39 40 41
a 10 15 16 18 20 24 27 30 31 34 37 39 40 41 45
a 10 15 16 18 20 24 26 27 30 31 34 37 39 40 45
a 10 15 16 18 20 24 26 30 31 34 37 39 40 41 45
a 7 10 15 16 18 20 24 26 30 31 34 37 40 41 45
a 7 10 15 16 18 20 24 26 27 30 34 37 40 41 45
a 7 10 15 16 18 20 24 26 27 30 31 34 37 41 45
a 7 10 15 16 18 20 24 26 27 30 31 34 37 39 45
a 2 7 10 15 16 18 20 24 26 27 30 31 34 37 39
a 2 7 10 15 16 18 24 26 27 30 31 34 37 39 41
a 7 8 10 15 16 18 24 26 27 30 31 34 37 39 41
a 7 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 31 34 37 39
a 2 7 8 10 15 16 18 24 26 30 31 34 37 39 45
a 2 7 8 10 15 16 18 20 24 26 31 34 37 39 45
a 2 7 8 10 15 16 18 19 20 24 26 31 34 37 45
a 2 7 8 10 15 16 18 19 24 26 31 34 36 37 45
a 2 7 8 10 15 16 18 20 24 26 31 34 36 37 45
a 2 7 8 10 15 16 18 20 24 26 30 31 36 37 45
a 2 8 10 15 16 18 20 24 26 30 31 34 36 37 45
a 2 8 10 16 18 20 24 26 30 31 34 36 37 39 45
a 2 8 10 16 18 20 24 26 30 31 36 37 39 40 45
a 2 8 10 16 18 19 20 24 26 30 31 36 37 40 45
a 8 10 16 18 19 20 24 26 30 31 34 36 37 40 45
a 8 10 16 18 19 24 26 30 31 34 36 37 40 41 45
a 10 16 18 19 20 24 26 30 31 34 36 37 40 41 45
a 10 15 16 19 20 24 26 30 31 34 36 37 40 41 45
a 2 10 15 16 19 20 24 26 30 31 34 36 37 40 45
a 2 8 10 15 16 20 24 26 30 31 34 36 37 40 45
a 2 8 10 15 16 20 24 26 27 30 31 34 37 40 45
a 8 10 15 16 19 20 24 26 27 30 31 34 37 40 45
a 2 8 10 15 16 19 20 24 26 27 30 31 34 37 40
a 2 8 10 15 16 18 19 20 24 27 30 31 34 37 40
a 7 8 10 15 16 18 19 20 24 27 30 31 34 37 40
a 7 8 10 15 16 18 19 20 24 30 31 34 36 37 40
a 2 7 8 10 16 18 19 20 24 30 31 34 36 37 40
a 2 7 8 10 16 18 19 20 24 26 30 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 40
a 2 8 10 15 16 18 19 20 24 26 30 31 34 37 40
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 26 27 30 31 37 40 41
a 8 10 15 16 18 19 20 24 26 27 30 31 40 41 45
a 8 10 15 16 18 19 20 24 26 27 30 31 37 40 45
a 8 10 15 16 18 20 24 26 27 30 31 34 37 40 45
a 8 10 15 16 18 20 24 26 27 30 31 34 40 41 45
a 8 10 15 16 18 20 24 26 27 30 31 34 37 41 45
a 10 15 16 18 19 20 24 26 27 30 31 34 37 41 45
a 10 15 16 18 19 20 24 27 30 31 34 37 40 41 45
a 10 15 16 18 19 20 24 26 27 30 34 37 40 41 45
a 10 15 16 18 19 20 24 26 27 31 34 37 40 41 45
a 10 15 18 19 20 24 26 27 30 31 34 37 40 41 45
a 10 15 16 19 20 24 26 27 30 31 34 37 40 41 45
a 10 15 16 18 20 24 26 27 30 31 34 37 40 41 45
a 8 10 15 18 20 24 26 27 30 31 34 37 40 41 45
a 8 10 15 18 19 20 24 26 27 30 31 34 37 40 41
a 8 10 15 18 19 20 24 26 30 31 34 36 37 40 41
a 8 10 15 18 19 20 24 26 30 31 34 36 37 41 45
a 8 10 15 18 19 20 24 26 30 31 34 36 37 40 45
a 8 10 18 19 20 24 26 30 31 34 36 37 40 41 45
a 2 8 10 18 19 20 24 26 30 31 34 36 37 40 45
a 2 10 18 19 20 24 26 30 31 34 36 37 40 41 45
a 2 10 18 19 20 24 26 27 30 31 34 37 40 41 45
a 2 10 15 18 19 20 24 26 27 30 31 34 37 40 45
a 2 15 18 19 20 24 26 27 30 31 34 37 40 41 45
a 2 10 15 18 19 20 24 26 27 30 31 34 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 8 10 15 16 18 19 20 24 26 30 31 34 37 41
a 8 10 15 16 18 19 20 24 26 30 31 34 36 37 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 10 15 16 18 19 20 26 30 31 34 36 37 40 41 45
a 15 16 18 19 20 24 26 30 31 34 36 37 40 41 45
a 8 15 16 18 19 20 24 26 30 31 36 37 40 41 45
a 10 15 16 18 19 20 24 26 30 31 36 37 40 41 45
a 10 15 16 18 19 24 26 30 31 34 36 37 40 41 45
a 10 15 16 18 19 20 24 26 30 31 34 36 37 40 45
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 8 10 15 20 24 26 30 31 34 36 37 40 41 45
a 2 8 10 20 24 26 30 31 34 36 37 39 40 41 45
a 2 8 10 16 20 24 26 30 31 34 36 37 39 40 41
a 2 10 16 20 24 26 30 31 34 36 37 39 40 41 45
a 2 10 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 7 10 15 16 18 20 24 26 30 31 34 36 37 39 40
a 7 10 15 16 18 20 24 26 30 31 34 36 37 40 41
a 7 10 15 16 18 20 24 26 30 31 34 36 37 39 41
a 10 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 40
a 2 8 10 15 16 18 24 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 26 27 30 31 34 37 39 40
a 2 10 15 16 18 20 24 26 27 30 31 34 37 39 40
a 2 8 10 16 18 20 24 26 27 30 31 34 37 39 40
a 2 8 10 15 16 18 20 24 27 30 31 34 37 39 40
a 2 8 10 15 16 18 20 24 26 27 31 34 37 39 40
a 8 10 15 16 18 20 24 26 27 31 34 37 39 40 45
a 8 10 15 16 18 20 24 26 27 30 31 34 37 39 45
a 10 15 16 18 20 24 26 27 30 31 34 37 39 41 45
a 7 15 16 18 20 24 26 27 30 31 34 37 39 41 45
a 2 7 15 16 18 20 24 26 30 31 34 37 39 41 45
a 2 7 15 16 18 20 24 26 27 30 31 34 39 41 45
a 2 7 10 15 16 18 20 24 26 27 30 31 34 39 45
a 2 7 10 15 16 18 20 24 26 27 30 31 34 39 41
a 7 8 10 15 16 18 20 24 26 27 30 31 34 39 41
a 2 7 8 10 15 16 18 20 24 26 30 31 34 39 41
a 2 7 8 10 15 16 18 20 24 26 30 31 34 39 40
a 2 7 8 10 15 16 18 20 24 26 27 30 34 39 40
a 2 7 8 10 15 16 18 20 24 26 27 30 31 39 40
a 2 8 10 15 16 18 20 24 26 27 30 31 37 39 40
a 2 8 10 15 16 20 24 26 27 30 31 34 37 39 40
a 2 7 8 10 15 20 24 26 27 30 31 34 37 39 40
a 2 7 8 10 15 16 20 24 26 27 30 31 34 37 39
a 7 8 10 15 16 20 24 26 27 30 31 34 37 39 40
a 7 8 10 15 16 18 20 24 26 27 30 31 34 37 40
a 7 8 15 16 18 20 24 26 27 30 31 34 37 39 40
a 7 8 10 15 16 18 20 24 27 30 31 34 37 39 40
a 7 8 10 15 16 18 20 24 26 27 30 31 34 39 40
a 7 8 10 15 16 18 20 24 26 30 31 34 37 39 40
a 7 10 15 16 18 20 24 26 30 31 34 37 39 40 45
a 7 8 10 15 16 18 20 24 26 30 31 34 37 39 45
a 8 10 15 16 18 20 24 26 30 31 34 37 39 41 45
a 8 10 15 16 18 20 24 26 27 30 31 34 39 41 45
a 7 10 15 16 18 20 24 26 27 30 31 34 39 41 45
a 7 8 10 15 16 18 20 26 27 30 31 34 39 41 45
a 7 8 10 16 18 20 26 27 30 31 34 39 40 41 45
a 7 8 10 16 18 20 24 26 27 30 31 34 39 41 45
a 7 8 10 15 18 20 24 26 27 30 31 34 39 41 45
a 7 8 10 15 18 20 24 26 27 30 31 34 37 41 45
a 7 8 10 15 16 18 20 24 26 27 30 31 34 37 41
a 7 8 10 15 16 18 20 24 26 30 31 34 37 41 45
a 7 8 10 15 18 20 24 26 30 31 34 37 40 41 45
a 7 8 10 15 16 18 20 24 26 30 31 34 37 40 45
a 8 10 15 16 18 20 24 26 30 31 34 37 39 40 45
a 4 10 15 16 18 20 24 26 30 31 34 37 39 40 45
a 4 7 10 15 16 18 20 26 30 31 34 37 39 40 45
a 7 10 15 16 18 20 26 30 31 34 37 39 40 41 45
a 2 7 10 15 16 18 20 26 30 31 34 37 39 40 41
a 2 7 10 15 16 18 20 24 26 30 31 37 39 40 41
a 2 7 10 15 16 18 20 24 26 30 31 34 39 40 41
a 2 7 10 15 16 18 20 24 26 30 31 34 37 40 41
a 2 7 10 15 16 18 24 26 30 31 34 37 39 40 41
a 7 8 10 15 16 18 24 26 30 31 34 37 39 40 41
a 8 10 15 16 18 24 26 30 31 34 36 37 39 40 41
a 7 8 10 15 16 18 24 26 30 31 36 37 39 40 41
a 7 8 10 15 16 20 24 26 30 31 36 37 39 40 41
a 4 7 10 15 16 20 24 26 30 31 36 37 39 40 41
a 4 7 10 15 16 19 20 24 26 30 31 36 37 40 41
a 4 10 15 16 19 20 24 26 30 31 34 36 37 40 41
a 4 7 10 15 16 20 24 26 30 31 34 36 37 40 41
a 4 7 10 15 16 20 24 26 30 31 34 36 37 39 41
a 4 7 10 15 16 19 20 24 26 30 31 34 36 37 41
a 7 10 15 16 18 19 20 24 26 30 31 34 36 37 41
a 7 8 15 16 18 19 20 24 26 30 31 34 36 37 41
a 7 8 10 16 18 19 20 24 26 30 31 34 36 37 41
a 7 8 10 16 18 19 20 24 26 30 31 34 36 37 40
a 7 8 10 16 18 19 20 24 26 30 31 34 36 37 45
a 7 8 10 16 18 19 20 24 26 27 30 31 34 37 45
a 8 10 15 16 18 19 20 24 26 27 30 31 34 37 45
a 7 8 10 15 16 19 20 24 26 27 30 31 34 37 45
a 7 8 10 15 16 18 19 20 24 26 27 30 31 34 45
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 26 27 30 31 34 41
a 2 8 10 15 16 18 19 20 24 26 27 30 31 34 41
a 2 8 10 15 16 18 19 20 24 26 27 31 34 41 45
a 2 8 10 15 16 18 20 24 26 27 31 34 39 41 45
a 2 8 10 15 16 18 20 24 26 27 31 34 39 40 45
a 2 8 10 15 16 18 20 24 26 27 31 34 39 40 41
a 2 8 10 15 16 18 20 24 26 27 31 34 40 41 45
a 2 8 10 15 16 18 20 24 26 27 30 31 34 40 45
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 26 27 31 34 37 40
a 2 8 10 15 16 18 20 24 26 27 31 34 37 40 41
a 8 10 15 16 18 19 20 24 26 27 31 34 37 40 41
a 7 8 10 15 16 18 19 20 24 26 27 34 37 40 41
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 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 15 18 19 20 24 26 27 30 31 34 37 40 45
a 8 10 15 18 19 24 26 27 30 31 34 37 40 41 45
a 8 10 15 18 19 20 24 27 30 31 34 37 40 41 45
a 8 10 15 16 18 19 20 24 27 31 34 37 40 41 45
a 8 10 15 16 18 19 20 24 26 27 31 34 37 41 45
a 8 10 15 16 18 19 24 26 27 31 34 37 41 45 48
a 7 8 10 15 18 19 24 26 27 31 34 37 41 45 48
a 2 7 8 10 18 19 24 26 27 31 34 37 41 45 48
a 2 8 10 18 19 24 26 27 30 31 34 37 41 45 48
a 2 8 10 18 24 26 27 30 31 34 37 39 41 45 48
a 2 7 8 10 24 26 27 30 31 34 37 39 41 45 48
a 7 8 10 16 24 26 27 30 31 34 37 39 41 45 48
a 8 10 16 24 26 27 30 31 34 37 39 40 41 45 48
a 7 8 10 16 24 26 27 30 31 34 37 40 41 45 48
a 7 10 16 24 26 27 30 31 34 37 39 40 41 45 48
a 10 15 16 24 26 27 30 31 34 37 39 40 41 45 48
a 10 15 16 18 24 26 27 30 31 34 37 40 41 45 48
a 7 10 16 18 24 26 27 30 31 34 37 40 41 45 48
a 7 10 15 16 18 24 26 27 30 31 34 37 40 45 48
a 7 10 15 16 18 24 26 27 30 31 34 37 40 41 45
a 7 10 15 16 24 26 27 30 31 34 37 39 40 41 45
a 1 7 10 15 16 24 26 27 30 31 34 37 39 40 41
a 1 7 8 10 15 16 24 26 27 30 31 34 37 39 41
a 1 7 8 10 15 16 24 26 27 31 34 37 39 41 48
a 7 8 10 15 16 24 26 27 30 31 34 37 39 41 48
a 7 8 10 15 16 24 26 27 30 31 34 37 40 41 48
a 7 8 10 15 16 24 26 27 30 31 34 37 39 40 48
a 7 10 15 16 24 26 27 30 31 34 37 39 40 45 48
a 7 15 16 24 26 27 30 31 34 37 39 40 41 45 48
a 7 8 15 16 24 26 27 30 31 34 37 39 40 41 48
a 2 7 8 15 24 26 27 30 31 34 37 39 40 41 48
a 2 7 8 10 15 24 26 30 31 34 37 39 40 41 48
a 7 8 10 15 24 26 27 30 31 34 37 39 40 41 48
a 7 8 15 24 26 27 30 31 34 37 39 40 41 45 48
a 7 8 10 15 24 26 27 30 31 34 37 39 40 45 48
a 7 8 10 15 26 27 30 31 34 37 39 40 41 45 48
a 7 8 10 18 26 27 30 31 34 37 39 40 41 45 48
a 7 8 10 18 20 26 27 30 31 34 37 39 40 41 45
a 7 8 10 16 18 20 26 27 30 31 34 37 39 40 41
a 7 8 10 16 18 20 24 26 27 30 31 34 37 40 41
a 2 7 8 10 18 20 24 26 27 30 31 34 37 40 41
a 2 7 8 10 16 18 20 24 26 27 31 34 37 40 41
a 2 8 10 16 18 20 24 26 27 30 31 34 37 40 41
a 2 10 16 18 20 24 26 27 30 31 34 37 38 40 41
a 2 10 16 18 20 24 27 30 31 32 34 37 38 40 41
a 2 10 18 20 24 27 30 31 32 34 37 38 39 40 41
a 10 12 18 20 24 27 30 31 32 34 37 38 39 40 41
a 10 12 16 18 20 24 30 31 32 34 37 38 39 40 41
a 10 12 16 18 20 24 30 31 32 34 35 37 38 39 40
a 10 12 16 18 20 24 27 30 31 32 34 35 37 38 39
a 10 12 16 18 20 24 27 30 31 32 34 35 37 38 41
a 10 12 16 18 20 24 27 31 32 34 35 37 38 39 41
a 10 12 16 18 20 24 27 30 31 34 35 37 38 39 41
a 10 12 16 18 20 24 27 30 31 34 35 37 39 40 41
a 10 12 16 18 20 24 27 30 31 34 35 37 40 41 46
a 10 12 16 18 20 24 27 30 31 32 34 35 37 41 46
a 10 12 16 18 20 24 27 30 31 32 34 35 37 39 41
a 12 16 18 20 24 27 30 31 32 34 35 37 39 40 41
a 12 16 18 20 24 27 30 31 32 34 35 37 40 41 46
a 12 16 18 20 24 27 30 31 32 34 35 37 38 40 41
a 12 16 18 20 24 27 30 31 32 34 35 37 38 39 40
a 10 12 16 18 20 24 27 30 31 32 34 35 37 38 40
a 2 12 16 18 20 24 27 30 31 32 34 35 37 38 40
a 2 12 16 18 20 24 27 30 32 34 35 37 38 39 40
a 2 12 16 20 24 27 30 31 32 34 35 37 38 39 40
a 10 12 16 20 24 27 30 31 32 34 35 37 38 39 40
a 10 12 16 18 20 24 27 30 31 32 35 37 38 39 40
a 10 16 18 20 24 27 30 31 32 34 35 37 38 39 40
a 2 16 18 20 24 27 30 31 32 34 35 37 38 39 40
a 2 10 16 20 24 27 30 31 32 34 35 37 38 39 40
a 10 16 20 24 27 30 31 32 34 35 37 38 39 40 46
a 10 20 24 27 30 31 32 34 35 37 38 39 40 41 46
a 10 20 24 27 30 32 34 35 37 38 39 40 41 46 51
a 3 10 20 24 27 30 34 35 37 38 39 40 41 46 51
a 2 10 20 24 27 30 34 35 37 38 39 40 41 46 51
a 2 10 14 20 24 27 30 34 35 37 38 39 41 46 51
a 2 10 12 14 20 24 27 30 34 35 37 38 39 41 46
a 2 10 12 14 24 27 30 32 34 35 37 38 39 41 46
a 2 10 12 20 24 27 30 32 34 35 37 38 39 41 46
a 2 10 12 20 24 27 30 32 34 35 37 38 41 46 51
a 10 12 20 24 27 30 32 34 35 37 38 39 41 46 51
a 10 12 20 24 27 30 31 32 34 35 37 38 39 41 46
a 10 12 24 27 30 31 32 34 35 37 38 39 40 41 46
a 10 16 24 27 30 31 32 34 35 37 38 39 40 41 46
a 1 10 24 27 30 31 32 34 35 37 38 39 40 41 46
a 1 10 16 24 27 30 31 32 34 35 38 39 40 41 46
a 10 16 18 24 27 30 31 32 34 35 38 39 40 41 46
a 10 16 18 20 24 27 30 31 32 34 35 39 40 41 46
a 12 16 18 20 24 27 30 31 32 34 35 39 40 41 46
a 16 18 20 24 27 30 31 32 34 35 37 39 40 41 46
a 16 18 20 24 27 30 31 32 34 35 37 38 39 40 41
a 2 16 18 24 27 30 31 32 34 35 37 38 39 40 41
a 2 18 20 24 27 30 31 32 34 35 37 38 39 40 41
a 2 12 18 20 24 27 30 31 32 35 37 38 39 40 41
a 2 10 12 18 20 24 27 30 32 35 37 38 39 40 41
a 10 12 16 18 20 24 27 30 32 35 37 38 39 40 41
a 10 12 16 18 20 24 27 30 31 32 35 37 38 39 41
a 10 12 16 18 20 24 27 30 31 32 34 35 38 39 41
a 12 16 18 20 24 27 30 31 32 34 35 37 38 39 41
a 10 16 18 20 24 27 30 31 32 34 35 37 38 39 41
a 10 16 18 20 24 27 30 31 32 34 35 37 39 40 41
a 10 16 18 20 24 27 30 31 34 35 37 38 39 40 41
a 10 16 20 24 27 30 31 32 34 35 37 38 39 40 41
a 10 16 18 20 24 27 31 32 34 35 37 38 39 40 41
a 10 16 18 20 24 27 30 31 32 34 35 38 39 40 41
a 10 18 20 24 27 30 31 32 34 35 37 38 39 40 41
a 12 18 20 24 27 30 31 32 34 35 37 38 39 40 41
a 12 16 18 24 27 30 31 32 34 35 37 38 39 40 41
a 10 12 16 18 24 27 31 32 34 35 37 38 39 40 41
a 10 16 18 24 27 30 31 32 34 35 37 38 39 40 41
a 10 12 16 18 24 27 30 31 32 34 35 37 38 39 40
a 2 10 16 18 24 27 30 31 32 34 35 37 38 39 40
a 2 10 12 16 18 24 27 30 31 32 34 35 37 38 39
a 2 10 12 16 20 24 27 30 31 32 34 35 37 38 39
a 2 10 12 16 18 20 24 30 31 32 34 35 37 38 39
a 10 12 16 18 20 24 30 31 32 34 35 37 38 39 46
a 10 12 16 18 20 30 31 32 34 35 37 38 39 40 46
a 10 12 16 18 24 30 31 32 34 35 37 38 39 40 46
a 10 12 16 18 24 31 32 34 35 37 38 39 40 41 46
a 10 12 16 24 27 31 32 34 35 37 38 39 40 41 46
a 10 12 16 24 27 30 31 32 35 37 38 39 40 41 46
a 10 12 16 18 24 27 30 31 32 35 37 38 39 40 41
a 10 16 18 20 24 27 30 31 32 35 37 38 39 40 41
a 10 16 18 20 27 30 31 32 34 35 37 38 39 40 41
a 10 16 18 20 24 30 31 32 34 35 37 38 39 40 41
a 12 16 18 20 24 30 31 32 34 35 37 38 39 40 41
a 12 16 18 20 24 30 31 32 34 35 37 39 40 41 46
a 10 16 18 20 24 30 31 32 34 35 37 39 40 41 46
a 10 16 18 20 30 31 32 34 35 37 38 39 40 41 46
a 10 16 18 20 24 30 32 34 35 37 38 39 40 41 46
a 10 12 16 18 20 24 30 32 34 37 38 39 40 41 46
a 10 12 16 18 20 24 32 34 35 37 38 39 40 41 46
a 12 16 18 20 24 30 32 34 35 37 38 39 40 41 46
a 2 12 16 18 20 24 32 34 35 37 38 39 40 41 46
a 2 16 18 20 24 27 32 34 35 37 38 39 40 41 46
a 2 12 16 18 20 24 27 32 34 37 38 39 40 41 46
a 2 12 16 18 20 24 27 30 32 34 37 38 40 41 46
a 2 12 16 18 20 23 24 27 30 32 37 38 40 41 46
a 2 12 16 18 20 22 23 24 27 30 37 38 40 41 46
a 2 12 16 18 19 22 23 24 27 30 37 38 40 41 46
a 2 12 16 18 19 22 23 24 27 30 37 38 40 41 45
a 2 12 16 18 19 22 23 24 30 36 37 38 40 41 45
a 2 12 15 16 18 19 22 23 24 30 36 37 40 41 45
a 2 12 15 16 18 19 20 22 23 24 30 36 37 40 41
a 12 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 36 37 40 41
a 7 8 15 16 18 19 20 22 24 30 34 36 37 40 41
a 7 8 15 16 18 20 22 24 30 34 36 37 40 41 46
a 7 8 15 16 18 19 20 22 30 34 36 37 40 41 46
a 7 8 15 16 18 19 22 23 30 34 36 37 40 41 46
a 7 8 15 16 18 19 22 24 30 34 36 37 40 41 46
a 7 15 16 18 19 20 22 24 30 34 36 37 40 41 46
a 7 15 16 18 19 20 22 23 24 30 34 36 37 41 46
a 7 15 16 18 19 20 23 24 30 34 36 37 40 41 46
a 7 15 16 18 19 20 23 24 30 34 36 40 41 46 50
a 7 15 16 18 19 20 22 23 24 30 34 40 41 46 50
a 15 16 18 19 20 22 23 24 30 34 36 40 41 46 50
a 8 15 16 18 19 20 22 23 24 30 34 36 41 46 50
a 8 15 16 18 19 20 22 23 24 30 34 36 37 41 50
a 8 15 16 18 19 20 22 23 24 30 34 36 37 41 45
a 2 8 15 16 18 19 20 22 23 24 30 34 36 37 45
a 2 14 15 16 18 19 20 22 23 24 30 34 36 37 45
a 2 14 16 18 19 20 22 23 24 30 34 36 37 38 45
a 2 14 16 18 19 20 22 23 24 30 34 36 38 41 45
a 2 14 16 18 19 20 23 24 26 30 34 36 38 41 45
a 2 14 16 18 19 23 24 26 30 34 36 38 41 45 48
a 2 14 18 19 23 24 26 30 34 36 38 41 43 45 48
a 2 5 14 18 19 23 24 26 30 36 38 41 43 45 48
c Step: 541
#END: [Mon Sep  4 16:11:10 2023]