#BEGIN: [Tue Sep  5 05:59:19 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-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 -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
TIMEOUT 1800
c send SIGTERM to CID dd2f390b2bcf8eded52490325bcdc5a374e70db9b14c85b05db72a3dbbf320ea
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 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 4 5 10 14 15 18 19 20 24 26 33 36 37 41 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 10 14 15 18 19 20 24 26 30 36 37 41 45
a 4 5 10 14 15 18 19 24 26 30 36 37 41 45 48
a 4 7 10 14 15 18 19 24 26 30 36 37 41 45 48
a 4 7 10 14 15 18 19 24 26 34 36 37 41 45 48
a 4 7 10 14 15 18 19 24 26 34 36 41 43 45 48
a 4 7 10 14 15 18 19 24 26 33 34 36 43 45 48
a 4 7 10 14 15 18 19 20 24 26 33 34 36 43 45
a 7 10 14 15 18 19 20 24 26 29 33 34 36 43 45
a 7 10 14 15 18 19 20 24 26 27 29 33 34 43 45
a 7 10 14 15 18 19 20 24 27 29 33 34 41 43 45
a 7 10 14 15 18 19 20 24 26 29 33 34 41 43 45
a 7 10 14 15 18 19 20 24 29 33 34 36 41 43 45
a 7 10 14 15 18 19 20 24 25 29 33 34 36 43 45
a 7 10 14 15 18 19 20 24 25 29 34 36 43 44 45
a 7 10 14 15 18 19 20 24 25 26 29 34 36 43 45
a 7 10 14 15 18 19 20 24 25 26 33 34 36 43 45
a 10 14 15 18 19 20 24 25 26 29 33 34 36 43 45
a 10 12 14 15 18 19 20 24 25 29 33 34 36 43 45
a 5 10 12 14 15 18 19 20 24 25 29 33 36 43 45
a 5 12 14 15 18 19 20 22 24 25 29 33 36 43 45
a 5 12 14 15 18 19 20 22 23 24 25 33 36 43 45
a 4 5 14 15 18 19 20 22 23 24 25 33 36 43 45
a 4 5 14 15 18 19 20 22 23 24 25 33 36 44 45
a 4 5 14 15 18 19 20 22 23 25 33 36 43 44 45
a 4 7 14 15 18 19 20 22 23 25 33 36 43 44 45
a 4 7 14 15 18 19 20 22 24 25 33 36 43 44 45
a 4 14 15 18 19 20 22 23 24 25 33 36 43 44 45
a 4 7 14 15 18 19 22 23 24 25 33 36 43 44 45
a 4 7 14 18 19 20 22 23 24 25 33 36 43 44 45
a 4 7 14 15 18 19 20 22 23 24 25 33 36 43 44
a 4 7 14 15 18 19 20 22 23 24 25 33 43 44 45
a 4 7 14 15 18 19 20 22 23 24 25 33 34 44 45
a 4 7 14 15 18 20 22 23 24 25 33 34 36 44 45
a 4 7 14 18 19 20 22 23 24 25 33 34 36 44 45
a 4 7 14 18 19 20 22 23 24 25 30 34 36 44 45
a 4 7 14 15 18 19 20 23 24 25 30 34 36 44 45
a 4 7 14 15 18 19 20 24 25 30 34 36 43 44 45
a 7 14 15 18 19 20 22 24 25 30 34 36 43 44 45
a 4 7 14 15 18 19 20 22 24 25 30 34 43 44 45
a 4 14 15 18 19 20 22 23 24 25 30 34 43 44 45
a 12 14 15 18 19 20 22 23 24 25 30 34 43 44 45
a 14 15 18 19 20 22 23 24 25 30 34 36 43 44 45
a 4 14 15 19 20 22 23 24 25 30 34 36 43 44 45
a 7 14 15 19 20 22 23 24 25 30 34 36 43 44 45
a 4 7 14 19 20 22 23 24 25 30 34 36 43 44 45
a 4 14 18 19 20 22 23 24 25 30 34 36 43 44 45
a 4 14 15 18 19 22 23 24 25 30 34 36 43 44 45
a 4 14 15 18 19 20 22 23 24 25 30 36 43 44 45
a 4 7 14 15 18 19 20 22 23 24 25 36 43 44 45
a 4 7 14 15 18 19 20 22 23 24 25 30 36 43 45
a 4 7 14 15 18 19 20 23 24 25 30 34 36 43 45
a 4 7 14 15 18 19 20 23 24 30 34 36 41 43 45
a 4 7 14 15 16 18 19 20 23 24 30 34 36 41 45
a 4 7 15 16 18 19 20 23 24 30 34 36 40 41 45
a 4 7 15 16 18 19 20 24 30 31 34 36 40 41 45
a 4 7 15 16 18 20 24 30 31 34 36 37 40 41 45
a 4 7 15 16 18 20 24 26 30 31 34 36 40 41 45
a 4 7 16 18 20 24 26 30 31 34 36 37 40 41 45
a 4 7 15 16 18 20 24 26 30 31 34 36 37 41 45
a 4 7 15 16 18 20 24 26 30 31 34 36 37 40 41
a 4 7 15 16 18 20 24 26 30 31 36 37 39 40 41
a 4 7 10 15 16 18 20 24 26 30 31 36 37 39 40
a 4 7 10 15 16 18 20 24 26 30 31 34 36 37 39
a 7 8 10 15 16 18 20 24 26 30 31 34 36 37 39
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 30 31 34 37 40 45
a 7 8 10 15 16 18 19 20 24 26 30 31 37 40 45
a 7 8 10 15 16 18 19 20 24 26 27 30 31 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 34 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 18 19 20 24 26 30 31 34 37 45
a 8 10 15 16 18 19 20 24 26 30 31 34 37 40 45
a 8 10 16 18 19 20 24 26 30 31 34 36 37 40 45
a 8 10 15 16 18 19 20 24 26 30 31 34 36 37 45
a 7 8 10 15 16 18 19 24 26 30 31 34 36 37 45
a 7 8 15 16 18 19 20 24 26 30 31 34 36 37 45
a 2 7 8 16 18 19 20 24 26 30 31 34 36 37 45
a 2 7 8 10 16 18 20 24 26 30 31 34 36 37 45
a 2 7 8 10 16 18 19 24 26 30 31 34 36 37 45
a 2 7 8 10 16 18 19 24 26 30 31 34 37 40 45
a 2 7 8 15 16 18 19 24 26 30 31 34 37 40 45
a 2 7 8 10 15 16 18 24 26 30 31 34 37 40 45
a 2 7 8 10 15 16 18 20 24 26 30 31 34 40 45
a 2 8 10 15 16 18 20 24 26 30 31 34 36 40 45
a 2 8 10 15 16 18 20 24 26 30 31 34 37 40 45
a 2 7 8 10 15 16 18 20 24 26 30 31 37 40 45
a 2 7 8 10 15 16 18 19 24 26 30 31 37 40 45
a 2 7 8 10 16 18 19 20 24 26 30 31 37 40 45
a 2 7 8 10 15 16 18 19 20 24 30 31 37 40 45
a 2 7 8 10 15 16 18 19 20 24 30 31 36 40 45
a 2 7 8 10 15 16 18 19 24 30 31 36 40 45 48
a 2 7 8 10 15 16 18 19 24 26 30 31 36 40 45
a 2 7 8 10 15 16 18 19 24 26 30 31 36 40 48
a 2 7 8 10 15 16 18 19 24 26 30 34 36 40 48
a 2 7 8 10 15 16 18 19 24 30 34 36 40 44 48
a 2 7 8 10 15 16 18 19 28 30 34 36 40 44 48
a 2 7 8 15 16 18 19 22 28 30 34 36 40 44 48
a 2 7 8 15 16 18 19 22 28 30 34 36 37 40 44
a 2 8 15 16 18 19 22 23 28 30 34 36 37 40 44
a 2 8 11 15 16 18 19 22 23 28 34 36 37 40 44
a 2 8 11 15 16 18 19 22 23 28 34 36 37 40 45
a 7 8 11 15 16 18 19 22 23 28 34 36 37 40 45
a 7 8 11 15 16 18 19 22 23 28 34 36 37 45 49
a 7 8 11 15 16 18 19 22 23 28 34 36 37 44 45
a 2 7 8 11 15 16 18 19 22 23 28 34 37 44 45
a 2 7 11 14 15 16 18 19 22 23 28 34 37 44 45
a 4 7 11 14 15 16 18 19 22 23 28 34 37 44 45
a 4 7 11 14 15 16 18 19 21 22 23 28 34 37 45
a 4 7 11 14 15 16 18 19 22 23 28 34 36 37 45
a 4 11 14 15 16 18 19 22 23 28 34 36 37 44 45
a 4 11 14 15 16 18 19 22 23 28 34 37 44 45 48
a 4 11 14 15 16 18 22 23 28 34 37 44 45 48 49
a 4 11 14 15 16 18 19 22 23 28 34 37 44 45 49
a 4 11 14 15 16 18 19 21 22 23 28 34 44 45 49
a 4 11 14 15 18 19 21 22 23 28 34 44 45 48 49
a 4 11 15 16 18 19 21 22 23 28 34 44 45 48 49
a 4 11 15 16 18 19 22 23 28 33 34 44 45 48 49
a 4 7 11 15 16 19 22 23 28 33 34 44 45 48 49
a 4 7 11 14 15 16 19 22 23 28 33 34 44 45 48
a 7 11 14 15 16 19 22 23 28 33 34 36 44 45 48
a 7 11 14 15 16 18 19 22 23 28 33 34 36 44 48
a 4 7 11 14 15 16 18 19 22 23 28 33 36 44 48
a 4 7 11 14 15 16 19 22 23 28 33 34 36 44 48
a 4 7 11 14 15 16 19 22 23 28 33 34 44 48 49
a 4 7 11 14 15 16 18 19 22 23 28 33 44 48 49
a 4 7 11 14 15 16 18 19 22 23 33 44 46 48 49
a 4 7 14 15 16 18 19 22 23 33 34 44 46 48 49
a 4 7 14 15 16 18 19 22 23 33 34 44 46 49 52
a 4 7 14 15 16 18 19 22 23 33 34 37 44 46 49
a 4 7 15 16 18 19 22 23 33 34 37 44 46 49 52
a 4 7 15 16 18 19 22 23 33 36 37 44 46 49 52
a 4 7 14 15 16 18 19 22 23 33 36 37 44 46 52
a 4 7 14 15 16 18 19 22 23 36 37 44 46 48 52
a 4 7 15 16 18 19 22 23 33 36 37 44 46 48 52
a 4 7 15 16 18 19 22 23 33 36 37 44 46 48 49
a 4 7 15 16 19 22 23 33 34 36 37 44 46 48 49
a 4 7 15 16 18 19 22 23 33 34 37 44 46 48 49
a 4 7 15 18 19 22 23 33 34 37 44 46 48 49 52
a 4 7 15 18 19 22 23 33 34 36 44 46 48 49 52
a 4 7 14 15 18 19 23 33 34 36 44 46 48 49 52
a 4 7 14 15 16 18 19 23 33 36 44 46 48 49 52
a 4 7 14 15 16 18 19 33 36 37 44 46 48 49 52
a 4 7 14 15 16 18 23 33 36 37 44 46 48 49 52
a 4 7 15 16 18 22 23 33 36 37 44 46 48 49 52
a 4 7 14 15 16 18 22 23 33 37 44 46 48 49 52
a 4 7 14 15 16 18 22 23 33 34 37 44 46 48 49
a 4 7 14 15 16 18 22 23 33 34 36 37 44 48 49
a 4 7 14 15 16 18 22 33 34 36 37 44 48 49 52
a 4 7 14 15 16 18 22 23 33 34 37 44 48 49 52
a 7 14 15 16 18 22 23 33 34 37 44 46 48 49 52
a 12 14 15 16 18 22 23 33 34 37 44 46 48 49 52
a 12 14 16 18 22 23 33 34 35 37 44 46 48 49 52
a 12 14 16 18 22 23 33 34 35 37 38 44 46 48 49
a 12 16 18 22 23 33 34 35 37 38 44 46 48 49 52
a 12 14 16 18 22 23 33 34 35 37 38 44 46 49 52
a 12 14 16 18 22 23 33 34 37 38 44 46 48 49 52
a 12 14 18 22 23 33 34 35 37 38 44 46 48 49 52
a 12 14 18 22 23 33 34 35 38 43 44 46 48 49 52
a 5 12 14 18 22 23 33 35 38 43 44 46 48 49 52
a 5 12 14 22 23 33 35 36 38 43 44 46 48 49 52
a 5 12 14 18 22 33 35 36 38 43 44 46 48 49 52
a 5 12 14 18 22 23 33 35 36 38 43 44 46 49 52
a 5 12 14 18 22 23 25 33 35 36 38 43 44 46 49
a 5 12 14 18 22 23 24 33 35 36 38 43 44 46 49
a 5 12 14 18 22 23 24 35 36 38 43 44 46 48 49
a 5 12 14 18 22 23 24 25 36 38 43 44 46 48 49
a 5 12 14 18 22 23 24 25 35 36 38 43 44 46 48
a 5 14 18 22 23 24 25 35 36 38 43 44 46 48 49
a 5 12 14 18 22 23 24 25 35 36 38 43 44 48 49
a 5 12 14 18 23 24 25 35 36 38 43 44 46 48 49
a 5 12 14 18 23 24 25 33 35 36 38 44 46 48 49
a 12 14 18 23 24 25 33 35 36 38 43 44 46 48 49
a 5 12 14 18 23 24 25 33 35 36 38 43 44 46 49
a 5 14 18 23 24 25 33 35 36 38 43 44 46 48 49
a 14 18 23 24 25 33 34 35 36 38 43 44 46 48 49
a 12 14 18 23 24 25 33 34 35 36 38 44 46 48 49
a 12 14 18 24 25 33 34 35 36 38 43 44 46 48 49
a 12 14 18 23 25 33 34 35 36 38 43 44 46 48 49
a 12 14 18 22 23 25 33 35 36 38 43 44 46 48 49
a 12 14 18 19 22 23 25 33 36 38 43 44 46 48 49
a 5 12 14 18 22 23 25 33 36 38 43 44 46 48 49
a 12 14 18 22 23 25 33 34 36 38 43 44 46 48 49
a 12 14 18 19 22 25 33 34 36 38 43 44 46 48 49
a 12 14 18 19 22 24 25 33 36 38 43 44 46 48 49
a 12 14 18 19 22 23 24 25 36 38 43 44 46 48 49
a 5 12 14 18 19 22 23 24 25 36 38 43 44 46 48
a 2 5 12 14 18 19 22 23 24 36 38 43 44 46 48
a 2 5 12 14 18 22 23 24 35 36 38 43 44 46 48
a 2 5 12 13 14 18 22 23 24 35 38 43 44 46 48
a 2 5 12 13 14 18 22 23 24 35 38 41 43 46 48
a 5 12 13 14 18 22 23 24 27 35 38 41 43 46 48
a 12 13 14 18 22 23 24 27 30 35 38 41 43 46 48
a 2 12 13 14 18 22 23 24 27 30 35 38 41 43 46
a 2 5 12 13 14 22 23 24 27 30 35 38 41 43 46
a 2 5 12 13 22 23 24 27 30 32 35 38 41 43 46
a 2 5 12 13 18 22 23 24 27 30 32 35 41 43 46
a 2 5 12 13 14 18 23 24 27 30 32 35 41 43 46
a 2 5 12 13 14 18 22 24 27 30 32 35 41 43 46
a 2 5 12 13 18 22 24 27 30 32 35 38 41 43 46
a 2 5 13 18 22 23 24 27 30 32 35 38 41 43 46
a 2 5 13 14 18 23 24 27 30 32 35 38 41 43 46
a 2 5 12 13 14 23 24 27 30 32 35 38 41 43 46
a 2 5 12 13 14 22 24 27 30 32 35 38 41 43 46
a 2 5 13 14 22 23 24 27 30 32 35 38 41 43 46
a 5 12 13 14 22 23 24 27 30 32 35 38 41 43 46
a 5 12 13 14 18 22 23 24 27 30 32 35 38 43 46
a 5 12 13 14 18 22 23 24 25 30 32 35 38 43 46
a 5 12 13 14 18 22 23 24 25 32 35 38 43 46 49
a 5 13 14 18 22 23 24 25 32 35 38 43 44 46 49
a 5 14 18 22 23 24 25 32 33 35 38 43 44 46 49
a 5 14 18 22 23 25 32 33 35 38 43 44 46 49 52
a 4 5 14 18 22 23 25 32 33 35 43 44 46 49 52
a 4 5 14 18 22 23 32 33 35 38 43 44 46 49 52
a 4 5 14 18 22 25 32 33 35 38 43 44 46 49 52
a 4 14 18 22 23 25 32 33 35 38 43 44 46 49 52
a 4 5 14 18 22 23 25 32 33 35 38 43 44 49 52
a 4 5 14 18 22 23 25 28 32 33 35 38 43 44 49
a 4 5 14 18 22 23 25 28 33 35 38 43 44 49 52
a 4 5 14 18 19 22 23 25 28 33 38 43 44 49 52
a 4 5 14 18 19 22 23 25 28 33 36 38 44 49 52
a 4 14 18 19 22 23 25 28 33 36 38 44 48 49 52
a 4 14 18 19 22 23 25 33 36 38 44 46 48 49 52
a 4 14 18 19 23 25 33 36 38 43 44 46 48 49 52
a 4 5 14 19 23 25 33 36 38 43 44 46 48 49 52
a 4 5 19 22 23 25 33 36 38 43 44 46 48 49 52
a 4 5 14 19 22 23 25 36 38 43 44 46 48 49 52
a 4 5 18 19 22 23 25 36 38 43 44 46 48 49 52
a 4 5 18 19 22 23 24 25 36 38 43 44 46 48 49
a 4 5 18 19 22 23 24 25 33 36 38 43 44 46 48
a 4 5 18 19 22 23 24 25 30 36 38 43 44 46 48
a 4 5 14 18 19 22 23 24 25 30 36 38 44 46 48
a 4 5 14 18 19 22 23 24 25 33 36 38 44 46 48
a 4 14 18 19 22 23 24 25 33 34 36 38 44 46 48
a 4 14 18 19 22 23 24 25 30 34 36 38 44 46 48
a 4 14 18 19 22 23 24 25 34 36 38 44 46 48 49
a 4 14 18 19 22 23 24 25 34 36 38 44 45 48 49
a 4 7 14 18 19 22 23 24 25 34 36 44 45 48 49
a 4 7 14 18 19 22 23 24 25 30 34 36 44 45 48
a 4 7 18 19 22 23 24 25 30 34 36 43 44 45 48
a 4 14 18 19 22 23 24 25 30 34 36 43 44 45 48
a 4 7 14 18 19 23 24 25 30 34 36 43 44 45 48
a 4 7 14 15 18 19 23 24 30 34 36 43 44 45 48
a 4 7 14 15 18 19 23 24 25 30 34 36 43 44 45
a 4 7 14 15 18 19 22 23 24 25 30 34 36 44 45
a 4 7 15 18 19 22 23 24 25 30 34 36 44 45 48
a 4 7 15 18 19 22 23 24 25 30 36 43 44 45 48
a 4 7 15 19 22 23 24 25 30 34 36 43 44 45 48
a 4 7 15 18 19 22 24 25 30 34 36 43 44 45 48
a 4 14 15 18 19 22 24 25 30 34 36 43 44 45 48
a 4 7 14 15 18 19 22 24 25 30 34 43 44 45 48
a 4 7 14 15 18 19 22 23 24 25 30 34 43 45 48
a 7 14 15 18 19 22 23 24 25 27 30 34 43 45 48
a 7 14 15 18 19 23 24 25 26 27 30 34 43 45 48
a 7 8 15 18 19 23 24 25 26 27 30 34 43 45 48
a 7 8 15 18 19 23 24 26 27 30 34 41 43 45 48
a 7 8 15 18 19 23 24 26 30 34 36 41 43 45 48
a 7 8 15 16 18 19 23 24 26 30 34 36 41 45 48
a 7 8 15 16 18 19 23 24 26 27 30 34 41 45 48
a 2 7 8 15 16 18 19 24 26 27 30 34 41 45 48
a 2 7 8 15 16 18 19 24 26 27 30 31 34 41 48
a 2 7 8 10 15 16 18 24 26 27 30 31 34 41 48
a 2 7 8 10 15 16 18 19 24 26 27 30 31 34 41
a 2 7 8 10 15 16 18 19 24 26 27 31 34 40 41
a 2 7 8 10 15 16 18 19 20 24 26 31 34 40 41
a 2 7 8 10 15 16 18 19 20 24 26 31 34 37 41
a 2 7 8 10 15 16 18 19 24 26 27 31 34 37 41
a 2 7 8 10 15 16 18 19 24 26 31 34 37 40 41
a 2 7 8 10 15 16 18 19 24 26 31 34 37 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 31 37 40 41 45
a 2 7 8 10 15 16 18 19 24 26 30 37 40 41 45
a 2 7 8 10 13 15 16 18 19 24 26 30 40 41 45
a 2 7 8 10 13 15 16 18 19 24 26 30 34 41 45
a 2 7 8 13 15 16 18 19 24 26 30 34 40 41 45
a 2 7 8 13 15 16 18 19 24 26 27 30 34 40 41
a 2 7 8 10 13 15 16 18 19 24 26 27 30 34 41
a 2 7 8 10 13 16 18 19 24 26 27 30 34 41 48
a 2 7 8 10 13 15 16 18 19 24 26 27 34 41 48
a 2 8 10 13 15 16 18 19 24 26 27 30 34 41 48
a 2 8 10 13 15 16 18 24 26 27 30 34 41 45 48
a 2 7 8 10 13 15 16 24 26 27 30 34 41 45 48
a 2 7 8 10 13 15 16 19 26 27 30 34 41 45 48
a 2 7 8 10 13 15 16 18 19 27 30 34 41 45 48
a 2 7 10 13 15 16 18 19 26 27 30 34 41 45 48
a 2 7 10 13 16 18 19 26 27 30 31 34 41 45 48
a 2 7 8 10 13 16 18 19 26 27 30 31 34 41 45
a 2 8 10 13 15 16 18 19 26 27 30 31 34 41 45
a 2 8 10 13 15 16 18 19 26 27 30 31 34 41 48
a 7 8 10 13 15 16 18 19 26 27 30 31 34 41 48
a 7 8 10 13 15 16 18 19 26 27 30 31 34 41 45
a 2 7 8 10 13 15 16 18 19 26 27 30 31 41 45
a 2 7 8 10 13 15 16 18 19 26 27 30 31 40 45
a 2 7 8 10 13 15 16 18 19 26 27 30 31 40 48
a 2 7 8 10 13 15 16 18 19 26 27 30 31 40 41
a 2 7 8 10 13 15 18 19 26 27 30 31 40 41 48
a 2 7 8 10 13 15 18 19 24 26 27 30 40 41 48
a 2 7 8 10 13 15 18 19 24 26 27 30 40 41 45
a 2 7 8 10 13 15 16 18 19 24 26 27 30 41 45
a 2 7 8 10 13 15 16 18 24 26 27 30 31 41 45
a 2 7 8 10 13 16 18 24 26 27 30 31 41 45 48
a 2 7 8 10 13 16 18 19 24 26 30 31 41 45 48
a 2 7 8 10 13 15 16 19 24 26 30 31 41 45 48
a 2 7 8 10 15 16 18 19 24 26 30 31 41 45 48
a 2 7 8 10 15 16 18 19 24 27 30 31 41 45 48
a 2 7 8 10 13 15 16 18 24 27 30 31 41 45 48
a 2 7 8 10 13 15 16 18 26 27 30 31 41 45 48
a 2 8 10 13 15 16 18 19 26 27 30 31 41 45 48
a 2 8 10 13 15 16 18 19 24 26 27 30 31 41 45
a 2 8 10 13 15 18 19 24 26 27 30 31 34 41 45
a 2 10 13 15 16 18 19 24 26 27 30 31 34 41 45
a 2 8 10 15 16 18 19 24 26 27 30 31 34 41 45
a 2 8 10 15 18 19 20 24 26 27 30 31 34 41 45
a 2 8 10 15 16 18 20 24 26 27 30 31 34 41 45
a 2 10 15 16 18 19 20 24 26 27 30 31 34 41 45
a 2 7 10 15 16 18 19 20 24 26 27 30 31 34 45
a 2 7 10 16 18 19 20 24 26 27 30 31 34 41 45
a 2 7 8 10 16 18 19 24 26 27 30 31 34 41 45
a 2 7 8 10 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 45
a 7 8 10 15 18 19 20 24 26 27 30 31 34 41 45
a 7 8 10 15 18 19 20 26 27 30 31 34 37 41 45
a 7 8 10 15 16 18 19 20 26 27 30 31 34 37 45
a 2 7 8 10 15 16 18 19 20 26 27 31 34 37 45
a 2 7 8 10 15 16 18 19 20 26 27 31 34 37 41
a 2 7 10 15 16 18 19 20 26 27 31 34 37 41 45
a 2 7 8 10 15 18 19 20 26 27 31 34 37 41 45
a 2 7 8 10 15 18 19 20 24 26 27 31 34 37 45
a 2 7 8 10 18 19 20 24 26 27 31 34 37 41 45
a 2 7 8 10 19 20 24 26 27 30 31 34 37 41 45
a 2 7 8 10 18 19 20 26 27 30 31 34 37 41 45
a 2 7 8 10 18 19 20 24 27 30 31 34 37 41 45
a 2 7 8 10 18 19 20 24 26 30 31 34 37 41 45
a 2 7 8 10 16 18 19 20 24 26 30 31 34 37 41
a 2 7 8 10 16 19 20 24 26 27 30 31 34 37 41
a 2 7 8 10 15 16 19 20 24 26 30 31 34 37 41
a 2 7 8 10 15 16 19 20 24 26 30 34 37 41 45
a 2 7 8 10 15 16 19 20 24 27 30 34 37 41 45
a 2 7 10 15 16 19 20 24 26 27 30 34 37 41 45
a 7 10 14 15 16 19 20 24 26 27 30 34 37 41 45
a 7 10 14 15 16 18 19 24 26 27 30 34 37 41 45
a 7 10 14 15 16 18 24 26 27 30 34 37 39 41 45
a 2 7 10 14 15 16 18 24 27 30 34 37 39 41 45
a 2 7 10 14 16 18 20 24 27 30 34 37 39 41 45
a 2 10 14 16 18 20 24 27 30 34 37 38 39 41 45
a 2 10 14 16 18 20 24 27 30 34 35 37 38 39 41
a 2 10 12 14 16 18 20 24 30 34 35 37 38 39 41
a 2 10 12 14 16 18 20 24 30 34 35 37 38 39 46
a 2 10 12 14 16 18 20 24 30 32 34 35 37 38 46
a 2 10 12 14 16 18 20 24 30 34 35 37 38 41 46
a 2 10 12 14 16 18 20 24 30 34 35 38 41 46 51
a 2 10 12 14 16 18 20 24 30 32 35 38 41 46 51
a 2 10 12 14 16 18 20 24 32 35 37 38 41 46 51
a 10 12 14 16 18 20 24 30 32 35 37 38 41 46 51
a 10 12 14 16 18 20 24 30 32 34 35 37 38 41 51
a 10 12 14 16 18 20 24 27 30 32 34 35 37 38 51
a 2 10 12 14 16 18 20 24 27 30 32 34 35 38 51
a 2 10 12 14 16 18 20 24 27 30 32 34 35 38 41
a 2 10 12 14 16 18 20 24 27 30 34 35 38 41 46
a 2 10 12 16 18 20 24 27 30 32 34 35 38 41 46
a 2 10 12 16 18 20 27 30 32 34 35 38 41 46 51
a 2 10 12 16 18 20 24 27 30 32 34 35 38 46 51
a 2 10 12 16 18 20 24 30 32 34 35 38 41 46 51
a 2 10 12 14 16 18 20 24 30 32 34 35 38 46 51
a 10 12 14 16 18 20 24 30 32 34 35 37 38 46 51
a 10 12 14 16 18 20 27 30 32 34 35 37 38 46 51
a 10 12 14 16 18 20 24 27 30 32 34 37 38 46 51
a 10 12 14 16 18 20 24 27 30 32 34 35 38 46 51
a 2 10 12 14 16 18 20 24 27 30 32 34 38 46 51
a 2 10 14 16 18 20 24 27 30 32 34 35 38 46 51
a 2 10 12 14 16 20 24 27 30 32 34 35 38 46 51
a 2 10 12 14 16 18 24 27 30 32 34 35 38 46 51
a 2 10 12 14 16 24 27 30 32 34 35 37 38 46 51
a 2 10 12 14 16 18 27 30 32 34 35 37 38 46 51
a 2 10 12 14 16 18 24 27 30 32 34 37 38 46 51
a 2 10 12 14 16 18 20 24 30 32 34 37 38 46 51
a 2 10 12 14 16 20 24 27 30 32 34 37 38 46 51
a 2 10 12 14 16 20 24 27 30 32 37 38 39 46 51
a 2 10 12 14 16 20 24 27 30 32 35 38 39 46 51
a 2 10 12 14 16 18 20 27 30 32 35 38 39 46 51
a 2 10 12 14 16 18 20 27 30 32 34 35 38 39 51
a 2 10 12 14 16 18 20 27 30 32 34 38 39 46 51
a 2 10 12 14 16 18 20 27 30 32 34 37 38 39 46
a 2 10 12 14 16 18 20 27 30 32 34 37 38 39 51
a 2 10 12 14 16 18 27 30 32 34 35 37 38 39 51
a 2 10 12 14 16 18 21 27 32 34 35 37 38 39 51
a 2 10 12 14 16 18 21 27 32 34 35 37 38 46 51
a 2 10 12 14 16 21 27 32 34 35 37 38 39 46 51
a 2 10 12 14 16 21 24 27 32 34 35 37 38 39 46
a 2 10 12 16 21 24 27 32 34 35 37 38 39 40 46
a 2 10 12 21 24 27 32 34 35 37 38 39 40 46 47
a 1 2 10 12 21 24 27 32 34 35 37 38 39 40 46
a 1 2 12 21 24 27 32 34 35 37 38 39 40 46 51
a 1 2 12 21 24 27 32 34 35 37 38 39 46 47 51
a 1 2 12 14 21 27 32 34 35 37 38 39 46 47 51
a 1 2 10 14 21 27 32 34 35 37 38 39 46 47 51
a 1 2 14 21 27 32 34 35 37 38 39 41 46 47 51
a 1 2 10 14 21 27 32 34 35 37 38 39 41 46 51
a 1 2 10 14 21 27 32 34 35 37 38 39 41 46 47
a 1 2 10 14 21 27 32 34 37 38 39 41 46 47 51
a 1 2 10 12 14 21 27 32 34 37 38 39 41 46 47
a 1 2 10 12 14 21 27 32 37 38 39 41 46 47 51
a 1 2 10 12 21 27 32 37 38 39 41 42 46 47 51
a 1 2 10 12 21 27 34 37 38 39 41 42 46 47 51
a 1 2 10 12 21 27 34 35 37 38 39 41 42 47 51
a 1 2 10 12 21 27 32 34 35 38 39 41 42 47 51
a 1 10 12 21 24 27 32 34 35 38 39 41 42 47 51
a 1 10 12 21 24 27 32 34 35 38 39 41 42 46 47
a 10 12 21 24 27 32 34 35 37 38 39 41 42 46 47
a 1 10 12 21 24 27 32 34 35 37 38 39 41 42 46
a 1 10 12 21 24 27 32 34 35 38 39 41 42 46 51
a 1 10 12 21 24 27 32 34 37 38 39 41 42 46 51
a 1 2 10 12 21 27 32 34 37 38 39 41 42 46 51
a 1 2 10 12 21 27 32 34 37 38 39 40 42 46 51
a 1 2 10 12 21 27 34 37 38 39 40 42 46 47 51
a 1 10 12 21 27 32 34 37 38 39 40 42 46 47 51
a 1 2 10 12 21 27 32 34 37 38 39 40 42 46 47
a 1 2 10 12 21 27 32 34 37 38 39 40 46 47 51
a 1 10 12 21 24 27 32 34 37 38 39 40 46 47 51
a 1 10 12 21 24 27 32 34 35 38 39 40 46 47 51
a 1 10 12 21 24 27 32 34 35 37 38 39 40 46 47
a 1 10 12 21 24 27 32 34 35 37 38 39 40 42 47
a 1 10 12 21 24 32 34 35 37 38 39 40 42 46 47
a 1 10 12 21 24 32 34 35 37 38 39 40 42 46 51
a 1 10 12 21 24 27 32 34 35 38 39 40 42 46 51
a 1 10 12 21 24 27 32 34 35 38 39 40 41 42 51
a 1 10 12 24 27 32 33 34 35 38 39 40 41 42 51
a 1 3 10 12 24 27 33 34 35 38 39 40 41 42 51
a 1 3 10 12 24 27 33 34 35 37 38 39 40 42 51
a 1 3 10 12 24 27 33 34 35 37 38 39 40 42 47
a 1 10 12 24 27 33 34 35 37 38 39 40 42 47 48
a 1 3 12 24 27 33 34 35 37 38 39 40 42 47 48
a 1 3 12 16 24 27 33 34 35 37 38 39 40 42 48
a 3 10 12 16 24 27 33 34 35 37 38 39 40 42 48
a 1 3 10 12 24 27 33 34 35 37 38 39 40 42 48
a 1 3 10 12 24 33 34 35 36 37 38 39 40 42 48
a 1 3 12 16 24 33 34 35 36 37 38 39 40 42 48
a 1 12 16 24 33 34 35 36 37 38 39 40 42 48 49
a 1 12 16 24 33 34 35 36 37 38 39 40 42 46 49
a 1 12 16 24 33 34 35 37 38 39 40 42 46 49 51
a 1 3 12 16 33 34 35 37 38 39 40 42 46 49 51
a 1 12 16 33 34 35 36 37 38 39 40 42 46 49 51
a 1 3 12 16 33 34 36 37 38 39 40 42 46 49 51
a 1 3 12 16 33 34 35 36 37 38 39 42 46 49 51
a 1 3 12 16 23 33 34 35 36 37 38 42 46 49 51
a 1 3 12 23 33 34 35 36 37 38 40 42 46 49 51
a 1 3 12 23 33 34 35 36 37 38 42 46 49 51 52
a 1 3 12 23 33 34 36 37 38 40 42 46 49 51 52
a 1 3 23 33 34 35 36 37 38 40 42 46 49 51 52
a 1 3 16 33 34 35 36 37 38 40 42 46 49 51 52
a 1 3 16 33 34 35 37 38 39 40 42 46 49 51 52
a 1 3 12 16 33 34 35 37 38 39 42 46 49 51 52
a 1 3 12 16 33 34 35 37 38 39 40 42 46 51 52
a 1 3 12 16 34 35 37 38 39 40 42 46 49 51 52
a 3 12 16 33 34 35 37 38 39 40 42 46 49 51 52
a 3 12 16 24 33 34 35 37 38 39 40 42 46 49 51
a 3 12 16 24 33 34 35 36 37 38 39 40 42 46 49
a 3 12 16 33 34 35 36 37 38 39 40 42 46 49 52
a 1 3 12 16 33 34 35 36 37 38 39 40 42 46 49
a 1 3 12 16 34 35 36 37 38 39 40 42 46 48 49
a 1 3 12 16 34 35 36 37 39 40 42 46 48 49 51
a 1 3 12 16 34 35 36 37 39 40 42 46 48 49 52
a 1 3 12 16 34 35 36 39 40 42 46 48 49 51 52
a 1 3 12 16 34 35 36 40 42 46 48 49 50 51 52
a 1 3 12 16 34 35 36 37 40 42 48 49 50 51 52
a 1 3 12 16 34 35 36 37 38 40 42 48 50 51 52
a 1 12 16 34 35 36 37 38 40 42 46 48 50 51 52
a 1 12 16 34 35 36 37 38 40 42 46 48 49 50 51
a 1 12 16 23 34 35 36 37 38 42 46 48 49 50 51
a 1 12 23 34 35 36 37 38 40 42 46 48 49 50 51
a 1 12 16 23 34 35 36 37 38 40 42 46 49 50 51
a 1 12 16 23 34 35 37 38 40 42 46 49 50 51 52
a 1 12 16 23 33 34 35 37 38 40 42 46 49 51 52
a 1 3 12 16 33 34 35 37 38 40 42 46 49 51 52
a 1 3 12 16 23 33 34 37 38 40 42 46 49 51 52
a 1 3 12 16 23 33 35 37 38 40 42 46 49 51 52
a 1 3 12 16 23 33 35 36 37 38 40 42 46 49 52
a 1 3 16 23 33 35 36 37 38 40 42 44 46 49 52
a 1 3 12 16 23 33 35 37 38 40 42 44 46 49 52
a 1 3 12 23 33 34 35 37 38 40 42 44 46 49 52
a 1 3 12 23 33 34 35 36 37 38 40 42 44 49 52
a 1 3 12 23 33 34 35 36 38 40 42 44 48 49 52
a 1 3 12 16 23 33 34 35 38 40 42 44 48 49 52
a 1 3 12 16 33 34 35 38 39 40 42 44 48 49 52
a 3 12 16 22 33 34 35 38 39 40 42 44 48 49 52
a 3 12 16 22 33 35 36 38 39 40 42 44 48 49 52
a 3 12 16 22 33 35 36 37 38 39 42 44 48 49 52
a 3 12 16 22 33 35 36 37 38 39 40 42 44 48 52
a 3 12 16 22 33 35 36 37 38 39 40 42 44 46 48
a 3 12 16 22 33 35 36 37 38 39 40 42 44 46 49
a 3 12 16 22 33 35 37 38 39 40 42 44 46 48 49
a 3 12 16 22 34 35 37 38 39 40 42 44 46 48 49
a 3 12 16 22 34 35 37 38 39 40 41 42 46 48 49
a 3 12 16 22 34 35 36 37 38 39 40 41 42 48 49
a 3 12 16 22 23 34 35 36 37 38 40 41 42 48 49
a 3 12 16 22 23 24 34 35 36 37 38 40 41 42 48
a 3 12 16 22 23 24 30 34 35 36 37 38 40 41 48
a 2 12 16 22 23 24 30 34 35 36 37 38 40 41 48
a 2 16 18 22 23 24 30 34 35 36 37 38 40 41 48
a 2 14 16 18 22 23 24 30 34 35 36 37 38 41 48
a 2 14 16 18 22 23 24 30 34 36 37 38 41 45 48
a 2 14 16 18 23 24 26 30 34 36 37 38 41 45 48
a 2 14 16 18 19 23 24 26 30 36 37 38 41 45 48
a 2 5 14 18 19 23 24 26 30 36 37 38 41 45 48
a 2 5 14 18 19 23 24 26 30 36 38 41 43 45 48
c Step: 513
#END: [Tue Sep  5 06:29:20 2023]