#BEGIN: [Mon Sep  4 21:41:27 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance004_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance004_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 -t4 /benchmark/random_instance/random_instance004_graph001.col /benchmark/random_instance/random_instance004_graph001_01.dat
c /benchmark/random_instance/random_instance004_graph001.col
c /benchmark/random_instance/random_instance004_graph001_01.dat
s 36 27 29 35 40 28 4 7 31 25 46 50 5 14 39
t 3 48 11 7 25 34 21 41 28 19 44 31 42 1 20
a YES
a 4 5 7 14 25 27 28 29 31 35 36 39 40 46 50
a 3 4 5 7 14 25 27 28 29 31 35 39 40 46 50
a 3 4 7 14 20 25 27 28 29 31 35 39 40 46 50
a 4 7 14 20 25 27 28 29 31 35 36 39 40 46 50
a 4 7 14 16 20 25 27 28 31 35 36 39 40 46 50
a 4 5 7 14 16 25 27 28 31 35 36 39 40 46 50
a 3 4 5 7 14 16 25 27 28 31 35 39 40 46 50
a 3 4 5 7 14 16 25 27 28 31 35 40 45 46 50
a 3 4 7 14 16 20 25 27 28 31 35 40 45 46 50
a 3 4 7 12 14 16 20 25 27 28 31 40 45 46 50
a 3 4 7 12 14 16 20 25 28 31 35 40 45 46 50
a 3 4 7 11 12 16 20 25 28 31 35 40 45 46 50
a 3 4 7 12 16 20 25 28 31 35 40 44 45 46 50
a 3 4 7 11 12 16 20 25 28 31 40 44 45 46 50
a 3 4 5 7 11 12 16 25 28 31 40 44 45 46 50
a 3 4 5 7 12 14 16 25 28 31 40 44 45 46 50
a 3 4 5 7 12 14 16 25 28 31 37 44 45 46 50
a 3 4 5 12 14 16 25 28 31 37 40 44 45 46 50
a 4 5 12 14 16 25 28 31 36 37 40 44 45 46 50
a 4 5 12 14 16 25 28 31 36 37 40 42 44 46 50
a 3 4 5 12 14 16 25 28 31 37 40 42 44 46 50
a 3 4 5 12 14 16 28 31 35 37 40 42 44 46 50
a 4 5 7 12 14 16 28 31 35 37 40 42 44 46 50
a 3 4 7 12 14 16 28 31 35 37 40 42 44 46 50
a 3 4 7 12 14 16 25 31 35 37 40 42 44 46 50
a 3 4 7 12 14 16 25 30 31 35 37 40 44 46 50
a 3 4 7 12 14 16 18 25 30 31 35 40 44 46 50
a 3 4 7 12 14 16 18 25 30 35 40 42 44 46 50
a 4 7 12 14 16 18 25 30 31 35 40 42 44 46 50
a 3 4 7 14 16 18 25 30 31 35 40 42 44 46 50
a 3 4 5 7 14 16 18 30 31 35 40 42 44 46 50
a 3 4 5 7 14 16 18 25 30 31 35 40 42 46 50
a 4 5 7 14 16 18 25 30 31 35 40 42 44 46 50
a 3 4 5 7 14 16 18 25 30 31 35 42 44 46 50
a 3 4 5 7 14 16 18 25 30 35 39 42 44 46 50
a 3 5 7 14 16 18 25 30 35 39 40 42 44 46 50
a 3 4 5 7 14 16 18 30 35 39 40 42 44 46 50
a 3 4 5 7 14 18 25 30 35 39 40 42 44 46 50
a 3 4 5 7 14 18 25 30 31 35 40 42 44 46 50
a 3 4 5 7 16 18 25 30 31 35 40 42 44 46 50
a 3 4 5 14 16 18 25 30 31 35 40 42 44 46 50
a 3 4 5 7 14 16 18 25 31 35 40 42 44 46 50
a 3 4 5 7 14 16 18 25 30 31 35 40 42 44 50
a 3 4 5 7 14 16 18 25 30 31 35 40 42 44 46
a 3 4 7 14 16 18 25 30 31 35 39 40 42 44 46
a 3 4 5 7 14 16 18 25 30 31 35 39 42 44 46
a 4 5 7 14 16 18 25 30 31 35 39 42 44 46 50
a 4 5 7 14 18 25 30 31 35 39 40 42 44 46 50
a 4 5 7 14 16 18 25 31 35 39 40 42 44 46 50
a 5 7 14 16 18 25 30 31 35 39 40 42 44 46 50
a 3 5 7 16 18 25 30 31 35 39 40 42 44 46 50
a 3 4 5 7 16 18 25 30 35 39 40 42 44 46 50
a 4 5 7 16 18 25 30 35 36 39 40 42 44 46 50
a 4 5 7 16 18 25 30 31 35 39 40 42 44 46 50
a 4 7 16 18 25 30 31 35 36 39 40 42 44 46 50
a 7 14 16 18 25 30 31 35 36 39 40 42 44 46 50
a 4 7 14 16 18 25 30 31 35 36 39 40 44 46 50
a 3 4 7 14 16 18 25 30 31 35 39 40 44 46 50
a 3 7 14 16 18 25 30 31 35 39 40 42 44 46 50
a 3 4 14 16 18 25 30 31 35 39 40 42 44 46 50
a 4 14 16 18 25 30 31 35 36 39 40 42 44 46 50
a 4 14 16 18 20 25 30 31 35 36 39 40 42 46 50
a 4 14 18 20 25 30 31 35 36 39 40 42 44 46 50
a 4 14 16 18 20 25 30 31 35 36 39 42 44 46 50
a 4 12 14 16 18 20 25 30 31 35 36 42 44 46 50
a 4 14 16 18 20 25 30 31 35 36 40 42 44 46 50
a 4 7 14 16 18 20 25 30 31 36 40 42 44 46 50
a 4 7 16 18 20 25 30 31 35 36 40 42 44 46 50
a 4 7 14 16 18 20 25 30 31 35 36 42 44 46 50
a 4 7 14 16 18 20 25 31 35 36 40 42 44 46 50
a 4 7 14 16 18 25 30 31 35 36 40 42 44 46 50
a 4 7 14 16 18 25 30 35 36 39 40 42 44 46 50
a 7 14 16 18 25 26 30 35 36 39 40 42 44 46 50
a 7 14 16 18 25 26 31 35 36 39 40 42 44 46 50
a 7 14 16 18 20 25 26 31 35 36 39 40 42 44 46
a 1 7 14 16 18 20 25 26 35 36 39 40 42 44 46
a 1 7 14 16 18 20 26 35 36 39 40 42 44 46 50
a 1 14 16 18 20 26 28 35 36 39 40 42 44 46 50
a 1 14 16 18 20 26 28 31 35 36 39 40 44 46 50
a 1 14 16 18 20 25 26 28 31 35 36 39 40 44 46
a 1 7 14 16 18 20 25 26 28 31 35 36 39 40 46
a 1 7 14 16 18 20 25 26 28 31 35 36 39 40 42
a 1 7 14 18 20 25 26 28 31 35 36 39 40 42 44
a 1 7 14 16 18 20 25 26 31 35 36 39 40 42 44
a 1 7 14 16 18 20 25 26 28 31 35 36 39 42 44
a 1 7 14 16 18 20 25 26 28 31 35 36 39 42 46
a 1 7 14 16 18 20 25 26 28 35 36 39 42 44 46
a 1 5 7 14 16 18 25 26 28 35 36 39 42 44 46
a 1 5 7 14 16 18 25 26 28 31 35 36 39 42 44
a 1 5 7 14 16 18 25 26 28 31 35 39 42 44 46
a 1 5 7 14 16 18 25 26 31 35 39 40 42 44 46
a 1 3 5 7 14 16 18 25 26 31 35 39 42 44 46
a 1 3 5 7 14 18 25 26 28 31 35 39 42 44 46
a 1 3 7 14 18 25 26 28 31 35 39 42 44 46 50
a 1 3 5 14 18 25 26 28 31 35 39 42 44 46 50
a 1 3 5 14 18 25 26 28 31 35 39 40 42 44 50
a 1 3 14 16 18 25 26 28 31 35 39 40 42 44 50
a 1 3 14 16 18 25 26 31 35 39 40 42 44 46 50
a 1 3 5 14 18 25 26 31 35 39 40 42 44 46 50
a 1 5 14 18 25 26 28 31 35 39 40 42 44 46 50
a 1 5 14 16 18 25 26 28 31 35 39 40 42 46 50
a 1 3 5 14 16 18 25 28 31 35 39 40 42 46 50
a 1 3 5 14 16 18 25 26 28 31 35 40 42 46 50
a 1 3 14 16 18 25 26 28 31 35 40 42 44 46 50
a 1 3 7 14 18 25 26 28 31 35 40 42 44 46 50
a 1 3 7 14 16 18 25 26 28 31 35 40 42 44 46
a 1 7 14 16 18 25 26 28 31 35 39 40 42 44 46
a 1 7 14 16 18 25 26 28 31 39 40 42 44 46 50
a 1 5 7 14 16 25 26 28 31 39 40 42 44 46 50
a 1 3 5 7 14 16 25 26 28 31 39 42 44 46 50
a 1 3 5 7 14 16 18 25 26 28 39 42 44 46 50
a 3 5 7 14 16 18 25 26 28 39 40 42 44 46 50
a 3 5 7 14 16 18 25 26 28 31 39 40 42 44 50
a 5 7 14 16 18 25 26 28 31 36 39 40 42 44 50
a 1 5 7 14 16 18 25 26 28 31 36 39 40 42 50
a 1 5 7 14 16 18 25 26 28 31 39 40 41 42 50
a 1 5 7 14 16 25 26 28 31 36 39 40 41 42 50
a 1 5 7 14 16 18 25 26 28 31 36 39 40 41 50
a 1 3 5 7 14 16 18 25 26 28 31 39 40 41 50
a 1 5 7 14 16 18 25 26 28 31 39 40 41 44 50
a 1 5 7 14 16 18 25 26 31 39 40 41 42 44 50
a 1 5 7 14 18 25 26 28 31 39 40 41 42 44 50
a 1 5 7 14 16 18 25 28 31 39 40 41 42 44 50
a 1 5 7 14 16 18 25 26 28 31 40 41 42 44 50
a 1 5 7 14 16 18 25 26 28 31 40 41 42 44 46
a 1 5 7 14 16 18 25 26 31 39 40 41 42 44 46
a 1 5 14 16 18 25 26 28 31 39 40 41 42 44 46
a 5 7 14 16 18 25 26 28 31 39 40 41 42 44 46
a 5 7 14 16 25 26 28 31 39 40 41 42 44 46 50
a 5 14 16 18 25 26 28 31 39 40 41 42 44 46 50
a 1 5 14 16 18 26 28 31 39 40 41 42 44 46 50
a 1 5 16 18 26 28 31 36 39 40 41 42 44 46 50
a 5 16 18 25 26 28 31 36 39 40 41 42 44 46 50
a 1 5 16 18 25 26 28 31 36 39 40 42 44 46 50
a 1 16 18 25 26 28 31 36 39 40 41 42 44 46 50
a 1 14 16 18 26 28 31 36 39 40 41 42 44 46 50
a 1 14 16 18 26 28 31 36 38 40 41 42 44 46 50
a 1 14 16 18 25 26 28 31 36 38 40 41 44 46 50
a 1 5 14 16 18 25 26 28 31 36 38 40 41 44 50
a 1 5 12 14 16 18 26 28 31 36 38 40 41 44 50
a 1 5 12 14 16 18 26 28 31 36 40 41 42 44 50
a 5 12 14 16 18 26 28 31 36 38 40 41 42 44 50
a 5 12 14 16 18 25 26 28 31 36 38 40 41 42 44
a 5 7 12 16 18 25 26 28 31 36 38 40 41 42 44
a 1 5 7 12 16 18 25 26 28 31 36 38 41 42 44
a 1 5 7 12 16 18 25 26 28 31 38 41 42 44 50
a 1 5 7 12 14 16 18 25 26 28 31 41 42 44 50
a 1 5 7 14 16 18 25 26 28 31 36 41 42 44 50
a 1 5 7 12 14 16 18 25 26 28 31 36 41 42 44
a 1 5 7 12 14 16 18 25 26 28 31 36 42 44 46
a 1 5 7 12 14 16 25 26 28 31 36 38 42 44 46
a 1 5 7 12 14 16 25 26 28 31 36 38 42 44 50
a 1 5 7 12 14 16 25 26 28 31 38 42 44 46 50
a 1 5 7 12 14 16 25 26 28 31 38 41 42 44 50
a 1 5 7 12 14 16 25 26 28 31 38 40 41 42 50
a 1 3 5 7 12 14 16 25 26 28 31 38 41 42 50
a 1 3 5 7 12 14 25 26 28 31 38 40 41 42 50
a 1 3 5 7 12 14 25 26 28 31 38 40 41 42 44
a 1 3 5 7 12 14 16 25 26 28 31 38 40 41 42
a 1 3 5 7 12 14 16 18 25 26 28 31 38 40 42
a 1 3 5 7 12 14 16 18 25 26 28 38 40 42 46
a 1 3 7 12 14 16 18 25 26 28 31 38 40 42 46
a 1 3 7 12 14 16 18 19 25 26 28 31 38 40 46
a 1 3 7 12 14 16 18 19 25 26 31 38 40 44 46
a 1 3 7 12 14 16 18 19 25 26 31 40 42 44 46
a 3 7 12 14 16 18 19 25 26 31 38 40 42 44 46
a 1 7 12 14 16 18 19 25 26 31 38 40 42 44 46
a 1 7 12 14 16 19 25 26 28 31 38 40 42 44 46
a 1 7 12 14 16 18 19 25 26 28 31 38 40 44 46
a 1 7 12 14 16 18 19 25 28 31 38 40 42 44 46
a 1 7 14 16 18 19 25 28 31 35 38 40 42 44 46
a 1 14 16 18 19 25 28 31 35 36 38 40 42 44 46
a 1 12 14 16 18 19 25 31 35 36 38 40 42 44 46
a 1 12 14 16 18 19 25 28 35 36 38 40 42 44 46
a 7 12 14 16 18 19 25 28 35 36 38 40 42 44 46
a 7 14 16 18 19 25 26 28 35 36 38 40 42 44 46
a 1 7 14 16 18 19 25 26 28 36 38 40 42 44 46
a 1 7 14 16 18 19 25 26 28 35 36 38 42 44 46
a 1 7 12 14 16 18 19 25 28 35 36 38 42 44 46
a 1 7 12 14 16 18 19 25 26 28 35 36 38 42 44
a 1 7 12 16 18 19 25 26 28 35 36 38 42 44 46
a 1 7 12 16 18 19 25 28 31 35 36 38 42 44 46
a 1 7 12 14 16 18 19 25 28 31 36 38 42 44 46
a 1 7 12 14 16 18 19 25 28 31 35 38 42 44 46
a 1 7 12 14 16 18 19 25 26 28 31 35 38 42 44
a 1 7 12 16 18 19 25 26 28 31 35 38 40 42 44
a 1 7 12 16 18 19 25 26 28 31 35 38 40 42 46
a 1 7 12 16 18 19 25 26 28 31 35 36 38 40 42
a 1 7 12 16 18 19 25 26 28 31 35 36 38 40 46
a 1 7 16 18 19 25 26 28 31 35 36 38 40 42 46
a 1 7 12 16 18 19 25 26 28 31 35 36 38 42 46
a 1 7 12 16 18 25 26 28 31 35 36 38 42 46 50
a 1 12 16 18 25 26 28 31 35 36 38 42 44 46 50
a 1 12 14 16 18 25 26 28 31 35 36 42 44 46 50
a 1 7 12 14 16 18 25 26 28 31 36 42 44 46 50
a 7 12 14 16 18 25 26 28 31 36 40 42 44 46 50
a 7 12 14 16 18 25 26 28 31 36 38 40 42 44 46
a 1 7 12 14 16 18 25 26 28 31 36 38 40 42 46
a 1 7 12 14 16 18 25 26 28 31 36 38 40 41 46
a 1 7 12 14 16 18 25 26 28 31 36 38 40 44 46
a 1 5 7 12 14 16 18 25 26 28 31 36 38 44 46
a 1 5 7 12 14 16 25 26 28 31 36 38 44 46 50
a 1 5 7 12 14 16 25 26 28 31 38 41 44 46 50
a 1 5 7 12 14 18 25 26 28 31 38 41 44 46 50
a 1 5 7 12 14 16 18 25 26 28 31 41 44 46 50
a 1 3 5 7 12 14 16 18 25 26 28 31 41 44 46
a 1 3 5 12 14 16 18 25 26 28 31 40 41 44 46
a 1 3 5 12 14 16 18 25 26 28 31 35 40 44 46
a 1 3 5 12 14 16 18 25 28 31 35 38 40 44 46
a 1 3 5 7 12 14 16 18 25 31 35 38 40 44 46
a 1 3 5 7 12 14 16 18 25 28 31 38 40 44 46
a 1 3 5 7 12 14 16 25 26 28 31 38 40 44 46
a 1 3 5 7 12 14 16 25 28 31 35 38 40 44 46
a 1 3 5 7 12 14 16 26 28 31 35 38 40 44 46
a 1 3 5 7 12 14 16 26 28 31 35 38 40 42 44
a 1 3 5 7 12 14 16 26 28 31 35 38 42 44 50
a 1 3 5 7 12 14 16 25 26 28 31 35 38 44 50
a 1 3 5 7 12 14 18 25 26 28 31 35 38 44 50
a 1 3 5 7 12 14 18 25 26 28 31 35 42 44 50
a 1 3 5 7 12 14 16 18 25 26 28 31 35 44 50
a 1 3 5 7 12 14 16 18 25 26 28 31 42 44 50
a 1 3 5 7 12 14 16 18 25 26 28 31 40 42 44
a 1 3 5 12 14 16 18 25 26 28 31 40 42 44 50
a 1 3 5 12 14 16 18 25 26 28 31 38 40 44 50
a 1 3 5 7 14 16 18 25 26 28 31 38 40 44 50
a 1 3 5 7 14 16 18 25 26 28 38 40 44 46 50
a 1 3 5 7 14 16 18 25 26 28 31 38 40 44 46
a 1 3 5 7 12 16 18 25 26 28 31 38 40 44 46
a 1 3 5 7 12 16 18 25 26 28 31 35 40 44 46
a 1 3 5 7 12 16 18 25 26 28 31 35 38 40 44
a 1 3 5 7 12 16 18 25 26 28 31 35 38 44 50
a 1 3 5 7 12 14 16 18 25 26 28 31 38 44 50
a 1 3 5 7 12 14 16 18 25 26 28 38 44 46 50
a 3 5 7 12 14 16 18 25 26 28 38 42 44 46 50
a 3 7 12 14 16 18 25 26 28 35 38 42 44 46 50
a 3 5 7 12 14 16 18 25 26 28 35 38 42 46 50
a 1 3 5 7 12 14 16 18 25 26 28 35 38 42 46
a 1 3 5 12 14 16 18 25 26 28 31 35 38 42 46
a 1 3 5 12 14 18 25 26 28 31 35 38 42 44 46
a 1 3 7 12 14 18 25 26 28 31 35 38 42 44 46
a 1 3 5 7 12 14 18 25 28 31 35 38 42 44 46
a 1 3 5 7 12 14 16 18 28 31 35 38 42 44 46
a 1 3 7 12 14 16 18 26 28 31 35 38 42 44 46
a 1 3 7 12 14 16 18 26 28 31 35 38 44 46 50
a 1 3 7 12 14 16 18 25 26 28 31 38 44 46 50
a 1 3 5 7 12 16 18 25 26 28 31 38 44 46 50
a 1 3 5 12 14 16 18 25 26 28 31 38 44 46 50
a 1 3 5 7 12 14 18 25 26 28 31 38 44 46 50
a 1 3 5 7 12 14 16 18 25 26 28 31 38 44 46
a 1 5 7 12 14 16 18 25 26 28 31 38 44 46 50
a 1 5 7 12 14 16 18 25 26 28 31 38 41 44 46
a 1 5 7 12 14 16 18 25 26 28 31 38 41 46 50
a 1 5 7 12 14 16 18 26 28 31 36 38 41 46 50
a 1 5 7 12 14 16 18 26 28 31 36 38 41 42 46
a 1 5 7 12 14 16 18 26 28 31 36 38 40 42 46
a 1 5 7 12 14 16 18 26 28 31 36 38 40 41 42
a 1 5 7 12 14 16 26 28 31 36 38 40 41 42 44
a 1 5 7 12 14 16 26 28 31 36 38 40 41 44 46
a 1 5 7 14 16 18 26 28 31 36 38 40 41 44 46
a 1 5 7 12 14 16 18 26 28 31 38 40 41 44 46
a 1 5 7 12 14 16 18 26 28 31 38 40 41 44 50
a 1 5 7 12 14 16 18 26 28 38 40 41 44 46 50
a 5 7 12 14 16 18 25 26 28 38 40 41 44 46 50
a 5 7 12 14 16 18 25 26 28 31 38 40 44 46 50
a 3 5 7 12 14 16 18 25 26 28 31 38 44 46 50
a 1 3 5 7 12 14 16 18 25 28 31 38 44 46 50
a 1 3 7 12 14 16 18 25 28 31 38 42 44 46 50
a 1 3 5 7 12 14 16 18 25 28 31 38 42 46 50
a 1 3 5 7 12 14 16 25 28 31 38 42 44 46 50
a 1 3 5 7 12 14 16 25 28 31 41 42 44 46 50
a 1 3 5 12 14 16 25 28 31 38 41 42 44 46 50
a 1 3 5 7 12 14 16 25 28 31 38 41 42 44 46
a 1 3 5 7 12 14 16 25 26 28 31 38 41 42 46
a 3 5 7 12 14 16 25 26 28 31 38 41 42 46 50
a 1 3 5 7 12 14 16 25 26 28 31 38 41 46 50
a 1 3 5 7 12 14 16 18 25 26 28 38 41 46 50
a 1 3 5 7 12 16 18 25 26 28 38 41 44 46 50
a 1 3 5 7 12 16 18 25 26 28 38 41 42 44 46
a 1 3 5 7 12 14 16 18 25 26 28 38 41 42 44
a 1 5 7 12 14 16 18 25 26 28 36 38 41 42 44
a 1 5 7 12 14 16 18 25 26 28 36 38 40 42 44
a 1 5 7 12 14 16 18 25 26 28 36 38 40 41 44
a 1 7 12 14 16 18 19 25 26 28 36 38 40 41 44
a 1 7 12 14 16 18 19 25 26 28 36 38 41 42 44
a 1 7 12 14 16 18 19 25 26 36 38 41 42 44 46
a 1 7 12 14 16 18 19 25 26 31 36 38 41 42 44
a 1 7 12 14 16 18 19 25 26 31 36 38 40 41 42
a 1 5 7 12 14 16 18 25 26 31 36 38 40 41 42
a 1 5 7 12 14 16 18 25 26 31 36 38 40 41 44
a 1 5 7 12 14 16 18 25 26 31 36 38 40 42 44
a 1 5 7 12 14 16 18 25 26 31 36 38 40 42 46
a 1 5 7 12 14 16 18 25 26 28 31 38 40 42 46
a 1 5 7 12 14 16 18 25 26 31 38 40 41 42 46
a 1 5 7 12 14 16 18 25 26 31 38 40 41 46 50
a 1 5 7 12 14 16 18 25 26 31 40 41 42 46 50
a 1 5 7 12 16 18 25 26 31 36 40 41 42 46 50
a 1 5 7 12 13 16 25 26 31 36 40 41 42 46 50
a 1 5 7 12 14 16 25 26 31 36 40 41 42 46 50
a 1 5 7 12 13 14 16 25 26 31 36 40 41 46 50
a 1 5 7 12 14 16 18 25 26 31 36 40 41 46 50
a 1 5 7 12 14 16 18 25 26 31 36 40 41 44 46
a 5 7 12 14 16 18 25 26 28 31 36 40 41 44 46
a 5 7 12 14 16 18 25 26 27 28 31 36 40 41 46
a 5 7 12 14 16 18 25 26 27 28 31 36 40 46 50
a 1 5 7 12 14 16 18 25 26 27 28 31 40 46 50
a 1 5 7 12 14 16 18 25 26 27 28 31 38 46 50
a 1 3 5 7 12 16 18 25 26 27 28 31 38 46 50
a 3 5 7 12 14 16 18 25 26 27 28 31 38 46 50
a 1 3 5 7 12 14 16 18 26 27 28 31 38 46 50
a 1 3 5 7 12 14 16 18 26 27 28 38 41 46 50
a 1 3 5 7 12 14 16 18 26 27 31 38 41 46 50
a 1 3 5 7 12 14 16 18 26 27 31 38 40 46 50
a 1 3 5 7 12 14 16 18 25 26 27 38 40 46 50
a 3 5 7 12 14 16 18 25 26 27 28 38 40 46 50
a 1 3 5 7 12 14 16 18 25 26 27 28 40 46 50
a 3 5 7 12 14 16 18 25 26 27 28 31 40 46 50
a 3 5 7 12 14 16 18 25 26 27 31 38 40 46 50
a 1 3 5 7 12 14 16 18 25 26 31 38 40 46 50
a 1 3 5 7 12 14 16 18 25 26 27 31 38 46 50
a 1 5 7 12 14 16 18 25 26 27 31 38 40 46 50
a 1 5 7 12 14 18 25 26 27 31 36 38 40 46 50
a 5 7 12 14 18 25 26 27 30 31 36 38 40 46 50
a 5 7 12 16 18 25 26 27 30 31 36 38 40 46 50
a 5 7 12 14 16 18 26 27 30 31 36 38 40 46 50
a 5 7 12 14 16 26 27 30 31 36 38 40 41 46 50
a 5 7 12 14 16 25 26 27 30 31 36 38 40 46 50
a 5 7 12 14 16 18 25 26 27 30 31 38 40 46 50
a 5 7 12 14 16 18 25 26 27 31 36 38 40 46 50
a 5 7 12 14 16 18 25 26 30 31 36 38 40 46 50
a 5 7 14 16 18 25 26 27 30 31 36 38 40 46 50
a 5 7 14 16 18 22 25 26 27 30 31 36 38 40 50
a 5 7 14 16 18 22 25 26 30 31 36 38 40 46 50
a 5 7 14 16 18 22 25 26 27 30 31 36 40 46 50
a 5 7 14 16 18 22 25 27 30 31 36 38 40 46 50
a 7 12 14 16 18 22 25 27 30 31 36 38 40 46 50
a 5 7 12 14 16 18 22 25 30 31 36 38 40 46 50
a 5 12 14 16 18 22 25 26 30 31 36 38 40 46 50
a 5 12 14 18 22 25 26 27 30 31 36 38 40 46 50
a 5 7 12 14 22 25 26 27 30 31 36 38 40 46 50
a 5 7 12 14 16 22 25 26 27 30 31 36 38 40 50
a 5 7 12 14 16 22 25 26 27 30 31 38 40 41 50
a 7 12 14 16 22 25 26 27 30 31 38 40 41 46 50
a 5 7 12 14 16 22 25 26 30 31 38 40 41 46 50
a 5 7 12 14 22 25 26 27 30 31 38 40 41 46 50
a 5 7 12 16 22 25 26 27 30 31 38 40 41 46 50
a 5 7 12 14 16 22 25 26 27 30 31 38 40 46 50
a 5 7 12 14 16 22 25 26 27 30 36 38 40 46 50
a 5 12 14 16 22 25 26 27 30 31 36 38 40 46 50
a 5 7 14 16 22 25 26 27 30 31 36 38 40 46 50
a 3 5 7 14 16 22 25 26 27 30 31 38 40 46 50
a 3 5 7 14 16 22 25 26 27 30 31 38 40 41 46
a 3 5 7 14 16 18 22 25 27 30 31 38 40 41 46
a 3 5 7 12 14 16 18 22 25 27 30 38 40 41 46
a 3 5 7 12 14 16 18 22 27 30 31 38 40 41 46
a 3 5 7 12 14 16 18 22 25 27 30 31 38 40 46
a 3 5 7 12 14 16 18 22 25 30 31 38 40 41 46
a 3 5 7 12 14 16 18 25 30 31 38 40 41 46 50
a 3 5 7 12 14 16 22 25 30 31 38 40 41 46 50
a 5 7 12 14 16 22 25 30 31 36 38 40 41 46 50
a 5 7 14 16 22 25 27 30 31 36 38 40 41 46 50
a 7 14 16 22 25 26 27 30 31 36 38 40 41 46 50
a 5 7 14 16 22 25 26 27 30 36 38 40 41 46 50
a 5 12 14 16 22 25 26 27 30 36 38 40 41 46 50
a 5 12 14 16 22 25 26 30 31 36 38 40 41 46 50
a 5 12 14 16 18 22 25 26 31 36 38 40 41 46 50
a 5 12 14 16 18 22 25 26 27 31 38 40 41 46 50
a 5 12 14 18 22 25 26 27 30 31 38 40 41 46 50
a 3 5 14 18 22 25 26 27 30 31 38 40 41 46 50
a 3 5 14 16 18 22 25 26 27 30 31 38 40 46 50
a 5 14 16 18 22 25 26 27 30 31 38 40 41 46 50
a 5 12 14 16 18 22 26 27 30 31 38 40 41 46 50
a 5 12 14 16 18 22 25 26 27 30 31 38 40 41 46
a 12 14 16 18 22 25 26 27 30 31 38 40 41 46 50
a 5 12 14 16 18 22 25 26 27 30 31 38 41 46 50
a 5 7 12 14 16 18 22 25 26 27 30 31 38 46 50
a 5 7 12 16 18 22 25 26 27 30 31 38 40 46 50
a 5 7 12 14 16 18 22 25 26 27 30 38 40 46 50
a 5 7 12 14 16 18 22 25 27 30 36 38 40 46 50
a 5 12 14 16 18 22 25 27 30 31 36 38 40 46 50
a 5 7 12 14 16 18 22 25 27 30 31 36 38 46 50
a 5 12 14 16 18 22 25 26 27 30 31 36 38 46 50
a 5 12 14 18 22 25 26 27 30 31 36 38 41 46 50
a 5 7 12 18 22 25 26 27 30 31 36 38 41 46 50
a 5 7 12 14 18 22 25 26 27 30 31 36 38 46 50
a 5 7 12 14 22 25 26 27 30 31 36 38 41 46 50
a 5 7 12 14 18 22 25 26 27 30 31 36 38 41 46
a 5 7 12 14 18 21 22 25 27 30 31 36 38 41 46
a 5 7 12 14 18 21 22 25 30 31 36 38 41 42 46
a 5 7 12 14 18 21 25 30 31 36 38 41 42 44 46
a 5 7 12 14 18 21 25 28 31 36 38 41 42 44 46
a 3 5 7 12 14 18 21 25 28 31 38 41 42 44 46
a 3 7 12 14 18 19 21 25 28 31 38 41 42 44 46
a 3 7 12 14 18 19 20 21 25 28 31 38 41 42 44
a 1 3 7 12 18 19 20 21 25 28 31 38 41 42 44
a 1 3 7 12 19 20 21 25 28 31 38 41 42 44 48
a 1 3 7 11 12 19 20 21 25 28 31 41 42 44 48
a 1 3 7 11 19 20 21 25 28 31 34 41 42 44 48
c Step: 396
#END: [Mon Sep  4 21:52:26 2023]