#BEGIN: [Mon Sep  4 21:46:21 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#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 -t4 /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
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 10 12 14 15 18 19 20 24 29 33 36 41 43 45
a 5 10 12 14 15 18 19 20 24 27 29 33 41 43 45
a 5 10 14 15 18 19 20 24 26 27 29 33 41 43 45
a 5 10 14 15 18 19 20 24 26 27 29 33 37 41 45
a 5 10 14 15 18 19 20 24 26 29 33 36 37 41 45
a 5 10 12 14 15 18 19 20 24 29 33 36 37 41 45
a 5 10 12 14 15 18 19 20 24 29 33 36 37 44 45
a 5 8 10 12 15 18 19 20 24 29 33 36 37 44 45
a 5 8 10 12 15 18 19 20 24 29 33 36 43 44 45
a 5 10 12 15 18 19 20 24 25 29 33 36 43 44 45
a 8 10 12 15 18 19 20 24 25 29 33 36 43 44 45
a 7 8 10 15 18 19 20 24 25 29 33 36 43 44 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 36 43 45
a 7 10 15 18 19 20 24 25 26 29 33 34 36 43 45
a 7 10 15 18 19 20 24 25 29 33 34 36 43 44 45
a 8 10 15 18 19 20 24 25 29 33 34 36 43 44 45
a 7 8 10 18 19 20 24 25 29 33 34 36 43 44 45
a 7 8 15 18 19 20 24 25 29 33 34 36 43 44 45
a 7 14 15 18 19 20 24 25 29 33 34 36 43 44 45
a 7 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 29 33 34 36 43 45
a 7 10 14 15 19 20 24 25 29 33 34 36 43 44 45
a 7 10 14 15 19 20 24 25 26 29 33 34 36 43 45
a 7 8 10 15 19 20 24 25 26 29 33 34 36 43 45
a 7 8 10 15 19 24 25 26 29 33 34 36 43 45 48
a 7 8 10 15 18 19 25 26 29 33 34 36 43 45 48
a 7 8 10 15 18 19 25 26 29 33 34 36 43 48 52
a 7 8 10 15 18 19 24 25 26 29 33 34 36 43 48
a 7 8 10 15 18 19 24 26 29 33 34 36 43 45 48
a 7 8 10 15 19 24 26 29 33 34 36 41 43 45 48
a 7 8 10 15 18 19 24 26 29 33 34 36 41 43 45
a 7 8 10 15 18 19 24 26 29 33 34 36 37 41 45
a 7 8 10 15 18 19 24 26 29 33 34 36 37 41 48
a 7 8 10 15 18 24 26 29 33 34 36 37 41 45 48
a 7 8 10 15 18 26 29 33 34 36 37 39 41 45 48
a 7 8 10 15 18 26 29 34 36 37 39 40 41 45 48
a 7 8 10 15 16 18 26 34 36 37 39 40 41 45 48
a 7 8 10 15 16 18 26 27 34 37 39 40 41 45 48
a 7 8 10 15 16 18 19 26 27 34 37 40 41 45 48
a 7 8 10 15 16 18 19 26 33 34 37 40 41 45 48
a 7 8 10 15 16 18 19 26 33 34 36 37 40 41 48
a 8 10 15 16 18 19 24 26 33 34 36 37 40 41 48
a 7 8 10 15 16 19 24 26 33 34 36 37 40 41 48
a 7 8 10 15 16 18 19 24 33 34 36 37 40 41 48
a 7 8 10 15 16 18 19 24 31 34 36 37 40 41 48
a 8 10 15 16 18 19 24 26 31 34 36 37 40 41 48
a 2 8 10 15 16 18 19 24 26 31 34 36 37 40 41
a 2 8 10 15 16 18 19 24 26 31 34 37 40 41 48
a 2 8 10 15 16 18 24 26 31 34 37 39 40 41 48
a 2 8 10 15 16 18 24 26 31 34 37 39 40 41 45
a 2 7 8 10 15 16 18 24 26 31 34 37 40 41 45
a 2 7 8 10 15 16 18 19 24 26 31 34 37 40 45
a 2 7 8 10 15 16 18 19 24 26 27 34 37 40 45
a 2 7 8 10 15 16 18 19 24 26 27 30 34 37 45
a 2 7 8 10 15 16 18 19 24 27 30 34 37 41 45
a 2 7 8 10 15 16 18 19 24 27 30 34 37 40 41
a 2 7 8 10 13 15 16 18 19 24 27 30 34 40 41
a 2 7 8 10 13 15 16 18 19 24 30 31 34 40 41
a 2 7 8 10 13 15 16 18 19 24 27 30 31 34 40
a 2 7 8 10 13 15 16 18 19 24 27 30 34 40 45
a 2 7 8 10 15 16 18 19 20 24 27 30 34 40 45
a 2 7 8 10 15 16 18 19 20 24 26 27 30 34 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 30 34 36 41
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 37
a 2 7 8 10 15 16 18 19 20 24 26 30 31 37 41
a 2 7 8 10 15 16 18 19 20 24 26 30 31 37 45
a 2 7 8 10 15 16 18 19 20 24 26 31 37 41 45
a 2 7 8 10 15 16 18 20 24 26 31 37 39 41 45
a 2 7 8 10 15 16 18 24 26 31 37 39 41 45 48
a 2 7 10 15 16 18 24 26 31 34 37 39 41 45 48
a 2 7 10 14 15 16 18 24 26 34 37 39 41 45 48
a 2 7 8 10 15 16 18 24 26 34 37 39 41 45 48
a 2 7 8 10 15 16 18 21 24 26 34 37 41 45 48
a 2 7 8 10 15 16 18 21 24 26 27 37 41 45 48
a 2 8 10 15 16 18 19 21 24 26 27 37 41 45 48
a 7 8 10 15 16 18 19 21 24 26 27 37 41 45 48
a 2 7 8 10 15 16 18 19 21 24 26 27 37 45 48
a 2 7 8 10 15 16 18 19 21 24 26 27 37 41 48
a 2 7 8 10 15 16 18 19 21 24 26 37 41 48 50
a 2 7 8 10 15 16 18 19 24 26 36 37 41 48 50
a 2 6 7 8 10 15 16 19 24 26 36 37 41 48 50
a 2 6 7 8 10 15 16 19 24 26 36 37 41 45 48
a 2 7 8 10 15 16 19 24 26 34 36 37 41 45 48
a 7 8 10 15 16 19 24 26 33 34 36 37 41 45 48
a 4 7 10 15 16 19 24 26 33 34 36 37 41 45 48
a 4 7 10 14 15 16 19 24 26 33 34 36 37 41 45
a 4 7 10 14 15 16 18 19 26 33 34 36 37 41 45
a 4 7 14 15 16 18 19 26 33 34 36 37 41 45 48
a 4 7 14 15 16 18 19 22 33 34 36 37 41 45 48
a 4 7 11 14 15 16 18 19 22 33 34 36 37 45 48
a 4 7 11 14 15 16 18 19 20 22 33 34 36 37 45
a 4 7 11 14 15 16 18 20 22 28 33 34 36 37 45
a 4 7 11 14 15 16 18 20 28 33 34 36 37 45 51
a 4 7 11 14 15 16 18 20 28 33 34 36 37 44 45
a 4 7 11 14 15 16 18 20 28 33 34 36 37 39 45
a 4 7 11 14 15 16 18 22 28 33 34 36 37 39 45
a 4 7 11 14 15 16 18 22 23 28 33 34 36 37 45
a 4 7 11 14 15 16 18 22 23 28 33 36 37 44 45
a 4 7 11 14 15 16 18 22 23 28 33 34 36 37 44
a 4 7 11 14 16 18 22 23 28 33 34 36 37 44 49
a 4 7 11 14 15 16 18 22 23 33 34 36 37 44 49
a 7 11 14 15 16 18 19 22 23 33 34 36 37 44 49
a 7 11 14 15 16 18 19 22 23 28 33 34 36 37 49
a 4 7 11 14 15 16 18 19 23 28 33 34 36 37 49
a 4 7 11 14 15 16 18 19 22 23 28 33 34 36 37
a 4 7 11 14 15 16 18 19 22 23 28 33 34 36 49
a 4 7 11 14 15 16 18 19 22 23 33 34 36 48 49
a 4 7 11 14 15 16 18 19 22 28 33 34 36 48 49
a 4 7 11 14 15 18 19 22 23 28 33 34 36 48 49
a 4 7 11 14 15 18 19 22 23 28 33 34 36 44 49
a 4 7 11 14 15 18 19 22 23 28 33 34 36 44 45
a 4 7 11 14 15 18 19 22 28 33 34 36 44 45 48
a 4 11 14 15 18 19 22 23 28 33 34 36 44 45 48
a 4 11 14 15 18 19 22 23 33 34 36 44 45 48 49
a 4 7 14 15 18 19 22 23 33 34 36 44 45 48 49
a 4 7 15 18 19 22 23 25 33 34 36 44 45 48 49
a 4 7 15 18 19 22 23 25 28 34 36 44 45 48 49
a 4 7 14 15 18 19 22 23 25 28 34 36 44 48 49
a 4 7 14 15 18 19 22 23 25 34 36 44 45 48 49
a 4 7 14 15 18 19 23 25 34 36 43 44 45 48 49
a 4 7 14 15 18 19 23 25 28 36 43 44 45 48 49
a 4 14 15 18 19 22 23 25 28 36 43 44 45 48 49
a 14 15 18 19 22 23 25 28 33 36 43 44 45 48 49
a 12 14 15 18 19 22 23 25 28 33 36 43 44 45 48
a 5 12 14 15 18 19 22 23 28 33 36 43 44 45 48
a 12 14 15 18 19 22 23 28 33 34 36 43 44 45 48
a 12 14 18 19 22 23 28 33 34 36 38 43 44 45 48
a 12 14 18 19 22 23 28 33 36 38 43 44 45 48 49
a 12 14 18 19 22 23 28 33 34 36 38 43 44 48 49
a 12 14 18 19 22 23 28 33 34 36 43 44 48 49 52
a 12 14 18 19 22 23 28 34 36 38 43 44 48 49 52
a 12 18 19 22 23 28 33 34 36 38 43 44 48 49 52
a 12 18 19 22 25 28 33 34 36 38 43 44 48 49 52
a 5 12 18 19 22 25 28 33 36 38 43 44 48 49 52
a 5 12 14 18 19 22 25 28 33 38 43 44 48 49 52
a 5 12 14 18 19 22 25 28 33 38 43 44 45 48 49
a 5 12 14 15 18 19 22 25 28 33 43 44 45 48 49
a 5 12 15 18 19 22 25 28 33 36 43 44 45 48 49
a 5 15 18 19 22 23 25 28 33 36 43 44 45 48 49
a 5 8 15 18 19 22 23 25 28 33 36 43 44 48 49
a 5 8 15 18 19 22 23 25 28 36 43 44 48 49 52
a 5 8 12 15 18 19 23 25 28 36 43 44 48 49 52
a 8 12 15 18 19 23 25 28 34 36 43 44 48 49 52
a 8 12 15 18 19 22 23 25 28 34 36 43 44 48 52
a 12 14 15 18 19 22 23 25 28 34 36 43 44 48 52
a 4 14 15 18 19 22 23 25 28 34 36 43 44 48 52
a 4 14 18 19 22 23 25 28 34 36 38 43 44 48 52
a 4 14 18 19 22 23 25 28 34 36 38 43 48 49 52
a 4 14 18 19 22 23 25 28 33 34 36 38 43 48 49
a 4 18 19 22 23 25 28 33 34 36 38 42 43 48 49
a 4 18 19 23 25 28 33 34 36 38 42 43 45 48 49
a 4 18 19 23 25 28 33 34 36 42 43 44 45 48 49
a 4 18 19 23 25 28 33 34 36 38 42 43 44 45 48
a 4 14 18 19 23 25 28 33 34 36 38 43 44 45 48
a 4 14 18 19 23 25 28 33 34 36 38 44 45 48 49
a 4 14 18 19 23 25 28 33 34 36 43 44 45 48 49
a 4 7 14 18 19 23 25 28 33 34 36 43 44 48 49
a 4 14 18 19 23 25 28 33 34 36 38 43 44 48 49
a 4 14 18 19 23 25 28 33 34 36 38 43 44 48 52
a 4 14 18 19 23 25 33 34 36 38 43 44 46 48 52
a 4 14 18 19 23 25 33 34 36 43 44 46 48 49 52
a 4 14 18 19 22 23 33 34 36 43 44 46 48 49 52
a 4 7 14 18 19 22 23 33 34 36 43 44 46 48 49
a 4 7 14 18 19 22 23 25 33 34 36 43 44 48 49
a 4 7 14 15 19 22 23 25 33 34 36 43 44 48 49
a 4 7 14 15 19 22 23 25 28 33 34 36 43 44 49
a 4 7 14 15 19 22 23 25 28 33 36 43 44 49 52
a 4 7 14 15 18 19 22 23 25 28 33 36 43 49 52
a 4 7 14 15 18 19 22 23 25 28 33 36 48 49 52
a 4 7 15 18 19 22 23 25 28 33 36 43 48 49 52
a 4 5 15 18 19 22 23 25 28 33 36 43 48 49 52
a 4 5 18 19 22 23 25 28 33 36 38 43 48 49 52
a 4 5 14 18 19 22 23 25 28 33 36 38 43 49 52
a 4 5 18 19 22 23 25 28 33 36 38 43 44 49 52
a 5 14 18 19 22 23 25 28 33 36 38 43 44 49 52
a 5 18 19 22 23 25 28 33 36 38 42 43 44 49 52
a 5 9 19 22 23 25 28 33 36 38 42 43 44 49 52
a 5 9 14 19 22 23 25 28 33 36 38 43 44 49 52
a 5 9 14 19 22 23 25 28 33 36 38 43 44 48 49
a 5 14 18 19 22 23 25 28 33 36 38 43 44 48 49
a 5 14 18 19 22 23 25 28 33 36 38 43 44 48 52
a 5 14 18 19 22 23 25 28 33 38 43 44 48 49 52
a 5 18 19 22 23 25 28 33 38 42 43 44 48 49 52
a 5 18 19 22 23 25 28 33 36 42 43 44 48 49 52
a 5 12 18 19 22 23 25 28 33 36 42 43 44 48 49
a 5 12 18 19 22 23 25 33 36 42 43 44 46 48 49
a 5 12 18 19 22 23 25 33 36 42 43 44 46 48 52
a 5 8 12 18 19 22 23 25 33 36 43 44 46 48 52
a 5 8 12 18 19 22 23 25 33 36 43 44 48 49 52
a 5 8 12 18 19 22 23 25 33 36 42 43 44 48 52
a 5 8 12 18 19 22 23 25 28 33 36 42 44 48 52
a 5 8 12 18 19 22 23 25 28 33 36 42 44 48 49
a 5 8 18 19 22 23 25 28 33 36 40 42 44 48 49
a 5 8 11 18 19 22 23 28 33 36 40 42 44 48 49
a 2 5 8 11 18 19 22 23 28 36 40 42 44 48 49
a 2 5 8 11 18 19 22 23 28 36 40 42 48 49 50
a 2 5 8 11 18 19 22 23 36 40 42 46 48 49 50
a 2 8 11 18 19 22 23 34 36 40 42 46 48 49 50
a 8 11 16 18 19 22 23 34 36 40 42 46 48 49 50
a 2 8 11 16 18 19 22 23 34 36 42 46 48 49 50
a 2 8 11 16 18 22 23 34 35 36 42 46 48 49 50
a 2 8 11 16 18 22 34 35 36 39 42 46 48 49 50
a 2 8 11 18 22 34 35 36 39 40 42 46 48 49 50
a 2 8 12 18 22 34 35 36 39 40 42 46 48 49 50
a 2 12 16 18 22 34 35 36 39 40 42 46 48 49 50
a 2 12 16 18 22 34 35 36 38 40 42 46 48 49 50
a 2 12 16 18 22 23 34 35 36 38 40 42 46 48 49
a 2 12 16 18 22 23 34 35 36 38 40 46 48 49 50
a 2 12 16 18 22 23 34 35 36 38 40 44 46 48 49
a 2 12 16 18 22 23 34 35 36 37 38 40 44 46 48
a 2 12 16 18 19 22 23 34 36 37 38 40 44 46 48
a 12 16 18 19 22 23 33 34 36 37 38 40 44 46 48
a 12 16 18 19 22 23 33 34 36 37 38 40 44 48 49
a 4 16 18 19 22 23 33 34 36 37 38 40 44 48 49
a 4 16 18 19 22 23 33 34 36 37 38 40 42 44 48
a 16 18 19 22 23 33 34 36 37 38 40 42 44 48 49
a 4 16 18 19 22 33 34 36 37 38 40 42 44 48 49
a 4 16 18 19 22 33 34 37 38 40 42 44 46 48 49
a 4 16 18 19 22 33 36 37 38 40 42 44 46 48 49
a 4 16 18 19 22 23 33 36 37 38 40 44 46 48 49
a 4 16 18 19 22 23 33 34 36 37 38 40 44 46 48
a 4 16 18 19 22 23 33 34 36 38 40 44 46 48 49
a 4 18 19 22 23 25 33 34 36 38 40 44 46 48 49
a 4 14 18 19 22 23 25 33 34 36 38 44 46 48 49
a 14 18 19 22 23 25 33 34 36 38 44 46 48 49 52
a 14 18 19 22 23 25 33 34 36 38 43 44 46 48 52
a 4 14 18 19 22 23 25 33 34 36 43 44 46 48 52
a 4 14 18 19 22 23 25 30 34 36 43 44 46 48 52
a 4 14 18 19 22 23 25 28 30 34 36 43 44 48 52
a 4 14 18 22 23 25 28 30 34 35 36 43 44 48 52
a 4 14 18 20 22 23 25 28 30 34 35 36 43 44 52
a 4 14 18 19 20 22 23 25 28 30 34 36 43 44 52
a 4 7 14 18 19 20 22 23 25 30 34 36 43 44 52
a 4 7 14 18 19 20 22 23 25 30 36 43 44 46 52
a 4 7 18 19 20 22 23 25 30 34 36 43 44 46 52
a 7 8 18 19 20 22 23 25 30 34 36 43 44 46 52
a 7 8 15 18 19 20 22 23 25 30 34 43 44 46 52
a 2 7 8 15 18 19 20 22 23 30 34 43 44 46 52
a 2 7 8 15 16 18 19 20 22 23 30 34 44 46 52
a 2 7 8 15 16 18 19 20 22 30 34 37 44 46 52
a 2 7 8 15 16 18 19 20 22 30 34 37 46 50 52
a 2 7 8 15 16 18 19 20 22 30 37 40 46 50 52
a 2 7 8 16 18 19 20 22 30 34 37 40 46 50 52
a 2 7 8 16 18 19 20 22 23 30 34 37 46 50 52
a 2 7 15 16 18 19 20 22 23 30 34 37 46 50 52
a 2 7 15 16 18 19 20 22 23 30 34 37 41 46 50
a 2 7 15 16 18 19 20 22 23 27 30 34 37 41 46
a 2 7 15 16 18 19 20 22 27 30 34 37 40 41 46
a 2 7 8 15 16 18 20 22 27 30 34 37 40 41 46
a 2 7 8 15 16 18 20 27 30 31 34 37 40 41 46
a 2 7 8 15 16 18 20 24 27 30 31 34 37 40 46
a 2 7 8 15 16 18 20 24 27 30 31 34 40 41 46
a 7 8 15 16 18 20 24 27 30 31 34 37 40 41 46
a 7 8 10 15 16 18 20 24 27 30 31 34 37 40 46
a 7 8 10 15 16 18 20 24 27 30 31 34 37 40 41
a 8 10 12 15 16 18 20 24 27 30 31 34 37 40 41
a 8 10 12 15 16 18 24 27 30 31 34 37 40 41 46
a 2 10 12 15 16 18 24 27 30 31 34 37 40 41 46
a 2 10 12 15 16 18 24 27 30 34 37 40 41 46 51
a 2 10 12 15 16 18 20 24 27 30 34 37 40 41 46
a 2 10 12 16 18 20 24 27 30 34 37 40 41 46 51
a 2 10 12 16 18 20 24 30 34 37 40 41 46 50 51
a 2 10 12 16 18 20 24 30 34 38 40 41 46 50 51
a 2 12 16 18 20 24 30 32 34 38 40 41 46 50 51
a 2 12 16 18 20 24 30 34 38 39 40 41 46 50 51
a 2 12 16 18 20 24 30 32 34 38 39 40 41 46 51
a 2 12 16 18 20 24 30 34 36 38 39 40 41 46 51
a 2 12 16 18 20 24 30 34 36 38 39 40 41 46 50
a 2 12 16 18 20 24 30 32 34 38 39 40 41 46 50
a 2 12 16 18 20 30 32 34 37 38 39 40 41 46 50
a 2 12 16 18 20 24 30 32 34 37 38 39 40 41 50
a 2 16 18 20 24 30 32 34 37 38 39 40 41 50 51
a 2 16 18 20 24 30 32 34 37 38 39 40 41 45 51
a 2 10 16 18 20 24 30 32 34 37 38 39 40 41 51
a 2 10 16 18 20 24 27 30 32 37 38 39 40 41 51
a 2 10 12 16 18 20 24 27 30 32 37 38 39 40 41
a 2 10 12 16 20 24 27 30 32 34 37 38 39 40 41
a 2 10 12 16 20 24 30 32 34 37 38 39 40 41 51
a 2 10 12 16 20 30 32 34 37 38 39 40 41 50 51
a 2 10 12 16 20 30 32 34 37 38 39 40 41 46 50
a 1 2 10 12 16 30 32 34 37 38 39 40 41 46 50
a 2 10 12 16 30 32 34 37 38 39 40 41 46 50 51
a 2 10 12 16 30 32 34 35 37 38 39 40 41 46 50
a 2 10 12 16 24 30 32 34 35 37 38 39 41 46 50
a 1 2 10 12 16 24 30 32 34 35 37 38 39 41 46
a 1 2 10 12 16 24 30 32 34 35 37 38 39 41 51
a 1 2 10 12 16 24 30 32 34 37 38 39 41 46 51
a 1 2 10 12 16 24 32 34 37 38 39 40 41 46 51
a 1 2 12 16 24 32 34 37 38 39 40 41 46 49 51
a 1 2 12 16 24 32 34 37 38 39 40 41 42 46 49
a 1 2 12 16 21 24 32 34 37 38 39 40 41 42 46
a 1 2 12 16 21 24 32 34 35 37 38 39 40 42 46
a 1 2 12 16 21 23 24 32 34 35 37 38 40 42 46
a 1 2 12 16 21 23 24 32 34 35 37 38 40 41 42
a 1 2 12 16 21 23 24 32 35 37 38 40 41 42 46
a 1 2 12 16 21 23 24 32 35 37 38 40 41 42 50
a 2 12 16 21 22 23 24 32 35 37 38 40 41 42 50
a 2 12 16 22 23 24 32 35 37 38 40 41 42 46 50
a 2 12 16 23 24 32 35 37 38 40 41 42 46 50 51
a 2 12 16 23 24 30 32 35 37 38 40 41 46 50 51
a 2 12 16 22 23 24 30 32 35 37 38 40 41 46 50
a 2 12 16 22 24 30 32 35 37 38 39 40 41 46 50
a 2 12 16 18 22 24 30 35 37 38 39 40 41 46 50
a 2 12 16 18 22 24 30 34 35 37 38 39 40 46 50
a 12 16 18 22 24 30 34 35 37 38 39 40 41 46 50
a 12 16 18 20 22 24 30 34 35 37 39 40 41 46 50
a 12 16 18 20 22 24 30 34 35 36 39 40 41 46 50
a 12 16 18 20 22 24 34 35 36 39 40 41 42 46 50
a 12 16 18 20 24 34 35 36 38 39 40 41 42 46 50
a 12 16 18 20 22 24 34 35 36 38 40 41 42 46 50
a 8 12 16 18 20 22 24 34 35 36 40 41 42 46 50
a 2 8 12 16 18 20 22 24 34 35 36 40 41 42 46
a 2 8 12 16 18 22 24 34 35 36 40 41 42 46 48
a 2 8 12 16 18 19 22 24 34 36 40 41 42 46 48
a 2 8 12 16 18 19 22 24 27 34 40 41 42 46 48
a 2 8 12 16 18 19 22 24 34 40 41 42 46 48 50
a 2 8 12 16 18 19 22 24 34 36 40 42 46 48 50
a 2 8 12 16 18 19 22 23 24 34 36 40 46 48 50
a 2 6 8 12 16 19 22 23 24 34 36 40 46 48 50
a 2 8 12 16 19 22 23 24 34 36 40 46 48 49 50
a 2 8 12 16 18 19 22 23 34 36 40 46 48 49 50
a 2 8 12 16 18 19 22 23 34 36 37 40 46 49 50
a 2 8 12 16 18 19 22 23 34 36 37 40 41 46 50
a 2 12 16 18 19 22 23 34 36 37 40 41 42 46 50
a 2 12 16 18 19 22 23 34 36 37 38 40 41 46 50
a 2 12 16 18 19 22 23 34 36 37 38 40 41 42 46
a 2 12 16 18 22 23 34 35 36 37 38 40 41 42 46
a 2 12 16 18 22 23 34 35 36 37 38 40 41 42 50
a 2 16 18 22 23 34 35 36 37 38 40 41 42 49 50
a 2 16 18 22 23 24 34 35 36 37 38 40 41 42 49
a 16 18 22 23 24 33 34 35 36 37 38 40 41 42 49
a 16 18 23 24 33 34 35 36 37 38 40 41 42 49 51
a 16 18 24 33 34 35 36 37 38 39 40 41 42 49 51
a 16 18 22 24 33 34 35 36 37 38 39 40 41 42 49
a 3 16 22 24 33 34 35 36 37 38 39 40 41 42 49
a 3 12 16 22 24 33 34 35 36 37 38 40 41 42 49
a 3 16 22 23 24 33 34 35 36 37 38 40 41 42 49
a 3 16 22 23 24 33 34 35 36 37 38 40 42 46 49
a 3 16 22 23 33 34 35 36 37 38 40 42 44 46 49
a 1 3 16 23 33 34 35 36 37 38 40 42 44 46 49
a 1 3 16 33 34 35 36 37 38 39 40 42 44 46 49
a 3 16 22 33 34 35 36 37 38 39 40 42 44 46 49
a 3 16 22 33 34 35 36 37 38 39 40 42 44 46 48
a 3 16 22 33 34 35 37 38 39 40 42 44 46 48 49
a 3 4 16 22 33 34 35 37 38 39 40 42 44 48 49
a 3 4 16 22 33 34 35 37 38 39 40 42 46 48 49
a 3 4 16 22 33 34 35 36 37 38 39 40 42 46 49
a 3 4 16 22 23 33 34 35 36 37 38 40 42 46 49
a 3 4 16 22 23 33 34 35 36 37 40 42 44 46 49
a 3 4 16 22 23 33 34 35 36 40 42 44 46 48 49
a 3 4 16 22 23 33 34 35 36 40 41 42 46 48 49
a 3 4 16 22 23 33 34 35 36 40 42 46 48 49 52
a 3 4 16 22 23 33 34 35 36 40 42 44 46 49 52
a 3 4 16 22 23 33 34 35 36 37 40 42 44 49 52
a 4 16 22 23 28 33 34 35 36 37 40 42 44 49 52
a 4 11 16 22 23 28 33 34 35 36 37 40 42 44 49
a 4 11 16 18 22 23 28 33 34 36 37 40 42 44 49
a 4 11 16 18 22 23 28 33 34 36 37 40 42 45 49
a 4 7 11 16 18 22 23 28 33 34 36 37 40 45 49
a 4 7 11 16 18 22 23 28 33 34 36 37 40 45 48
a 4 7 11 16 18 19 22 23 28 33 34 36 37 40 48
a 4 7 16 18 19 22 23 28 33 34 36 37 40 48 52
a 4 7 16 18 19 22 23 28 33 34 36 37 48 49 52
a 4 7 14 16 18 19 23 28 33 34 36 37 48 49 52
a 4 7 14 16 18 19 23 28 33 34 36 37 45 48 49
a 4 7 14 15 16 18 19 23 28 33 34 36 45 48 49
a 4 7 14 15 16 18 19 22 23 28 33 34 36 45 49
a 4 7 14 16 18 19 22 23 28 33 34 36 45 48 49
a 4 7 14 18 19 22 23 28 33 34 36 43 45 48 49
a 4 7 14 18 19 22 23 33 34 36 41 43 45 48 49
a 4 14 18 19 22 23 33 34 36 38 41 43 45 48 49
a 4 5 14 18 19 22 23 33 36 38 41 43 45 48 49
a 4 5 14 18 19 23 24 33 36 38 41 43 45 48 49
a 4 5 14 18 19 23 24 26 33 36 38 41 43 45 48
a 4 5 14 18 19 23 24 26 30 36 38 41 43 45 48
a 2 5 14 18 19 23 24 26 30 36 38 41 43 45 48
c Step: 381
#END: [Mon Sep  4 21:57:04 2023]