#BEGIN: [Tue Sep  5 06:00:53 2023]
#HOST: s08
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance005_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance005_graph001_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_instance005_graph001.col /benchmark/random_instance/random_instance005_graph001_01.dat
c /benchmark/random_instance/random_instance005_graph001.col
c /benchmark/random_instance/random_instance005_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 3a90cf5f8cb2971fbfac76a43e37bb48a872225900c0232f46086f81a6d323ec
s 55 62 40 58 31 56 39 64 12 65 57 35 24 47 61 20 53 23 52 32
t 41 16 48 34 65 19 35 13 40 44 56 33 47 60 37 15 58 20 24 6
a YES
a 12 20 23 24 31 32 35 39 40 47 52 53 55 56 57 58 61 62 64 65
a 12 20 23 24 31 32 34 35 39 40 47 52 53 55 56 58 61 62 64 65
a 12 15 20 23 24 31 32 34 35 39 40 47 52 53 55 56 58 61 62 65
a 12 15 19 20 23 24 31 32 34 35 40 47 52 53 55 56 58 61 62 65
a 12 15 19 20 23 24 32 33 34 35 40 47 52 53 55 56 58 61 62 65
a 1 12 15 19 20 23 24 32 33 34 35 40 47 52 53 55 58 61 62 65
a 1 3 12 15 19 20 23 24 32 33 34 35 40 47 52 53 55 58 61 62
a 1 3 12 15 20 23 24 32 33 34 35 39 40 47 52 53 55 58 61 62
a 1 3 12 15 20 23 24 31 32 33 34 35 39 40 47 52 53 55 58 61
a 1 12 15 20 23 24 31 32 33 34 35 39 40 47 52 53 55 58 61 65
a 1 12 15 20 23 24 31 32 33 34 35 39 40 42 47 52 53 55 61 65
a 1 12 15 20 23 24 32 33 34 35 39 40 42 47 52 53 55 58 61 65
a 1 12 15 20 23 24 28 33 34 35 39 40 42 47 52 53 55 58 61 65
a 1 12 15 20 23 24 28 32 33 34 35 39 40 42 47 52 53 55 58 65
a 1 3 12 15 20 23 24 28 32 33 34 35 39 40 42 47 52 53 55 65
a 1 3 12 15 20 23 24 28 32 33 34 35 39 40 47 52 53 55 62 65
a 1 3 8 12 15 20 23 28 32 33 34 35 39 40 47 52 53 55 62 65
a 1 3 8 12 15 20 23 28 32 33 34 35 39 40 47 52 53 55 61 65
a 1 3 8 12 15 19 20 23 28 32 33 34 35 40 47 52 53 55 61 65
a 1 3 8 12 15 20 23 28 32 33 34 35 40 47 52 53 55 60 61 65
a 1 3 8 12 15 23 28 32 33 34 35 39 40 47 52 53 55 60 61 65
a 3 8 12 15 23 28 32 33 34 35 39 40 47 52 53 55 60 61 62 65
a 3 8 12 15 28 32 33 34 35 37 39 40 47 52 53 55 60 61 62 65
a 3 8 12 15 20 28 32 33 34 35 37 39 40 47 52 53 55 60 61 65
a 3 5 8 12 15 20 28 32 33 34 35 37 39 40 47 52 53 55 60 61
a 1 3 5 8 12 15 20 28 32 33 34 35 37 39 40 47 52 53 60 61
a 1 5 8 12 15 20 28 32 33 34 35 37 39 40 47 52 53 60 61 62
a 1 3 5 8 12 15 20 28 32 33 34 35 37 39 40 47 52 53 61 62
a 1 3 5 8 12 15 20 28 32 33 34 35 37 39 40 47 52 60 61 62
a 1 3 5 8 12 15 20 32 33 34 35 37 39 40 47 52 53 60 61 62
a 1 3 5 8 12 20 28 32 33 34 35 37 39 40 47 52 53 60 61 62
a 1 3 5 8 12 20 25 28 32 33 34 35 37 39 40 47 52 53 60 62
a 1 3 5 8 12 20 22 25 28 32 33 34 35 37 39 40 47 52 53 60
a 1 3 5 8 12 20 22 25 28 32 33 34 35 37 39 40 47 52 60 62
a 1 3 5 8 12 15 20 22 25 28 32 33 34 35 37 39 40 47 52 60
a 1 3 5 7 8 12 15 20 22 25 28 32 33 35 37 39 40 47 52 60
a 1 3 7 8 12 15 20 22 25 28 32 33 35 37 39 40 47 52 55 60
a 1 3 4 7 8 15 20 22 25 28 32 33 35 37 39 40 47 52 55 60
a 1 3 4 7 15 20 22 25 28 32 33 35 37 38 39 40 47 52 55 60
a 1 4 7 15 20 22 25 28 32 33 35 37 38 39 40 47 52 55 57 60
a 1 4 7 15 20 22 25 28 33 35 37 38 39 40 47 52 53 55 57 60
a 1 4 7 15 20 22 25 28 32 33 35 37 38 39 40 47 52 53 55 60
a 1 3 4 7 15 22 25 28 32 33 35 37 38 39 40 47 52 53 55 60
a 1 3 4 7 20 22 25 28 32 33 35 37 38 39 40 47 52 53 55 60
a 1 3 4 5 7 20 25 28 32 33 35 37 38 39 40 47 52 53 55 60
a 1 3 4 5 7 15 20 25 28 32 33 35 37 38 39 40 47 52 53 55
a 1 3 4 5 7 15 20 25 28 32 33 35 37 38 39 40 44 47 52 55
a 1 3 4 5 7 15 20 25 28 32 33 35 37 38 39 40 44 47 51 52
a 1 3 4 5 7 15 20 25 28 32 33 35 37 38 39 40 44 47 51 60
a 1 3 4 5 7 15 20 22 25 28 32 33 35 37 38 39 40 44 47 60
a 1 3 4 5 7 15 20 22 25 28 32 33 35 37 38 39 40 44 52 60
a 1 3 4 5 7 15 20 22 25 28 32 35 37 38 39 40 44 52 60 63
a 1 3 4 5 7 15 16 20 22 25 28 32 35 37 38 39 40 44 52 63
a 1 3 4 5 7 15 16 20 22 25 28 32 35 37 38 39 40 44 52 60
a 1 3 4 5 7 15 16 20 22 25 28 32 35 37 38 39 40 44 60 63
a 1 3 4 5 7 15 16 20 22 28 32 35 37 38 39 40 44 57 60 63
a 1 3 4 5 7 15 20 22 28 32 35 37 38 39 40 44 53 57 60 63
a 1 3 4 5 7 15 20 22 28 32 35 37 38 39 40 44 51 53 57 60
a 1 3 4 5 7 15 20 22 28 32 35 37 38 39 40 44 51 52 53 57
a 1 3 4 5 7 15 20 22 28 32 35 37 38 39 40 44 51 52 53 63
a 1 3 4 5 7 8 15 20 22 28 32 35 37 38 39 40 51 52 53 63
a 1 3 4 5 7 8 15 22 28 32 35 37 38 39 40 51 52 53 60 63
a 1 3 4 5 7 8 15 20 22 28 32 35 37 38 39 40 51 52 53 60
a 1 3 4 5 7 8 15 20 22 28 32 35 37 38 39 40 52 53 58 60
a 1 3 4 5 7 8 15 20 22 28 35 37 38 39 40 43 52 53 58 60
a 1 3 4 5 7 8 15 20 22 28 32 35 38 39 40 43 52 53 58 60
a 1 3 4 5 7 8 15 20 22 28 32 35 38 39 40 43 51 52 53 60
a 1 3 4 5 7 15 20 22 28 32 35 37 38 39 40 43 51 52 53 60
a 1 3 4 5 15 20 22 28 32 34 35 37 38 39 40 43 51 52 53 60
a 1 3 4 5 9 15 20 22 28 32 34 35 37 38 39 40 43 51 52 60
a 1 3 4 5 9 15 20 22 24 28 32 34 35 37 38 39 40 43 52 60
a 1 3 4 5 9 15 20 22 24 28 32 34 35 37 38 39 40 52 53 60
a 1 3 4 5 15 20 22 24 28 32 34 35 37 38 39 40 47 52 53 60
a 1 3 4 5 15 20 22 24 28 32 34 35 36 37 38 40 47 52 53 60
a 1 3 4 5 15 20 22 24 28 32 34 35 36 37 38 44 47 52 53 60
a 1 3 4 5 15 20 22 24 28 32 34 35 36 38 40 44 47 52 53 60
a 1 3 4 5 15 20 22 24 28 32 34 35 36 37 38 40 44 47 52 53
a 1 3 4 5 15 20 22 24 28 32 34 35 36 37 38 40 44 47 52 58
a 1 3 4 5 15 20 24 28 32 34 35 36 37 38 40 44 47 52 58 61
a 1 3 4 5 15 20 24 28 32 34 35 36 37 38 40 44 47 52 53 58
a 1 3 4 5 15 20 24 28 32 34 35 36 37 38 40 43 44 47 52 58
a 1 3 4 5 15 20 24 28 32 34 35 36 37 38 40 43 44 47 52 60
a 1 3 4 15 20 24 28 32 34 35 36 37 38 40 43 44 47 52 58 60
a 1 3 4 6 15 20 24 28 32 34 35 36 38 40 43 44 47 52 58 60
a 3 4 6 15 20 24 28 32 34 35 36 38 40 43 44 47 52 53 58 60
a 3 4 6 15 20 24 28 32 34 35 36 37 38 40 43 44 47 52 53 58
a 3 4 6 15 20 24 28 32 34 35 36 37 38 40 43 44 47 50 52 53
a 3 4 6 15 19 20 24 28 32 34 35 36 37 38 40 43 44 47 50 52
a 3 4 6 15 19 20 22 24 28 32 34 35 36 37 38 40 43 44 47 52
a 3 4 15 19 20 22 24 28 32 34 35 36 37 38 40 43 44 47 52 55
a 3 4 15 19 20 22 24 28 32 34 35 36 37 38 40 43 44 47 52 53
a 1 3 4 15 19 20 22 24 28 32 34 35 36 37 38 40 43 44 52 53
a 1 3 4 15 19 20 22 24 28 32 35 36 37 38 40 43 44 52 53 55
a 1 4 15 19 20 22 24 28 32 35 36 37 38 40 41 43 44 52 53 55
a 1 4 15 19 20 22 24 28 32 35 36 37 38 40 41 43 52 53 54 55
a 1 4 15 19 20 22 24 28 34 35 36 37 38 40 41 43 52 53 54 55
a 1 4 19 20 22 24 28 32 34 35 36 37 38 40 41 43 52 53 54 55
a 1 4 5 19 20 22 24 28 32 34 35 36 37 38 40 41 43 52 53 54
a 1 5 19 20 22 24 28 32 34 35 36 37 38 40 41 43 44 52 53 54
a 1 5 19 20 22 24 28 32 34 35 36 37 38 40 43 44 52 53 54 60
a 1 5 19 20 22 24 28 32 34 35 36 37 38 40 42 43 44 52 53 60
a 1 5 15 19 20 22 24 28 32 34 35 36 37 38 40 42 43 44 52 60
a 1 4 5 15 19 20 22 24 28 32 35 36 37 38 40 42 43 44 52 60
a 1 4 5 15 16 19 20 22 24 28 32 35 36 37 38 40 42 44 52 60
a 1 4 5 15 16 19 20 22 28 32 35 36 37 38 40 42 44 52 58 60
a 1 4 5 15 16 19 20 22 32 34 35 36 37 38 40 42 44 52 58 60
a 1 4 5 15 16 19 20 22 32 34 35 36 37 38 40 41 42 44 58 60
a 4 5 15 16 19 20 22 32 34 35 36 37 38 40 41 42 44 58 60 63
a 1 4 5 15 16 19 20 22 32 34 35 36 37 38 40 41 42 58 60 63
a 1 4 5 15 16 19 20 22 28 32 34 35 36 37 38 40 41 42 58 60
a 1 4 5 15 16 19 20 22 28 34 35 36 37 38 40 41 42 58 60 63
a 1 4 5 15 16 20 22 28 32 34 35 36 37 38 40 41 42 58 60 63
a 1 4 5 16 19 20 22 28 32 34 35 36 37 38 40 41 42 58 60 63
a 1 4 5 19 20 22 28 32 34 35 36 37 38 40 41 42 55 58 60 63
a 1 4 5 19 20 22 28 32 34 35 36 37 38 40 41 42 53 55 58 60
a 1 4 5 19 20 22 28 32 34 35 36 37 38 40 41 42 43 53 55 58
a 1 4 5 19 22 24 28 32 34 35 36 37 38 40 41 42 43 53 55 58
a 1 4 5 19 22 24 28 32 34 35 36 37 38 40 41 42 43 53 55 60
a 1 4 5 19 20 22 24 28 32 34 35 36 37 38 40 41 42 53 55 60
a 1 4 5 19 20 22 24 28 32 34 35 36 37 38 40 42 52 53 55 60
a 1 4 5 19 20 22 24 28 32 34 35 36 37 38 40 41 42 52 53 55
a 1 4 5 15 19 20 22 24 28 32 34 35 36 37 38 40 41 42 52 55
a 1 4 5 15 19 20 22 24 28 32 34 35 36 37 38 40 41 42 43 52
a 1 4 5 15 19 20 22 24 28 32 34 35 36 37 38 40 41 43 52 53
a 1 3 4 5 15 19 20 22 24 28 32 34 35 36 37 38 40 43 52 53
a 1 3 4 5 15 20 22 24 28 32 34 35 36 37 38 40 42 43 52 53
a 1 3 4 5 15 22 24 28 32 34 35 36 37 38 40 42 43 52 53 63
a 1 3 4 15 20 22 24 28 32 34 35 36 37 38 40 42 43 52 53 63
a 1 3 4 6 15 20 22 24 28 32 34 35 36 37 38 40 42 43 52 53
a 1 3 4 5 6 15 20 22 24 28 32 34 35 36 37 38 40 42 52 53
a 1 3 4 5 6 15 19 20 22 24 28 32 34 35 36 37 38 40 42 52
a 1 3 4 5 6 15 19 20 22 24 28 32 34 35 36 37 38 40 42 53
a 1 3 4 5 6 9 15 19 20 22 24 28 32 35 36 37 38 40 42 53
a 1 3 4 5 6 9 15 19 20 22 24 28 32 35 37 38 40 42 43 53
a 1 3 4 5 6 9 15 19 20 22 24 28 32 35 36 37 38 40 42 43
a 1 3 4 5 9 15 19 20 22 24 28 32 35 36 37 38 40 42 43 55
a 1 3 4 5 9 15 19 20 22 24 28 32 35 36 38 40 42 43 53 55
a 1 3 4 5 9 15 19 20 22 24 28 32 34 35 36 38 40 42 53 55
a 1 3 4 5 9 15 19 20 22 24 28 34 35 36 38 40 42 53 55 63
a 1 3 4 5 9 15 19 20 22 24 28 35 36 38 40 42 53 55 57 63
a 1 3 4 5 9 15 19 20 22 24 28 32 35 36 38 40 42 53 55 63
a 1 3 4 5 15 19 20 22 24 28 32 35 36 38 40 42 53 55 57 63
a 1 3 4 5 15 19 20 22 24 28 32 35 36 37 40 42 53 55 57 63
a 1 3 4 5 15 19 20 22 24 28 32 35 36 37 38 40 42 53 55 57
a 1 4 5 9 15 19 20 22 24 28 32 35 36 37 38 40 42 53 55 57
a 1 4 5 9 15 19 20 24 28 32 35 36 37 38 40 42 53 55 57 58
a 1 4 5 9 15 19 20 24 28 32 35 36 37 38 40 41 42 53 57 58
a 1 4 5 9 15 19 20 22 24 28 32 35 36 37 38 40 41 42 53 58
a 4 5 9 15 19 20 22 24 28 32 35 36 37 38 40 41 42 53 57 58
a 1 5 9 15 19 20 22 24 28 32 35 36 37 38 40 41 42 53 57 58
a 1 4 5 9 15 19 20 22 24 28 32 35 36 37 38 40 42 53 57 58
a 1 3 4 5 9 15 19 20 22 24 28 32 35 36 37 38 42 53 57 58
a 1 3 4 5 6 9 15 19 20 22 24 28 32 35 36 37 38 42 53 57
a 1 3 4 5 6 9 15 19 20 22 24 28 32 35 36 37 38 42 52 53
a 1 3 4 5 6 9 15 19 20 22 24 28 32 35 36 38 42 44 52 53
a 1 3 4 5 6 9 15 19 20 22 24 28 32 35 36 37 38 42 44 52
a 1 3 4 5 6 9 19 20 22 24 28 32 35 36 37 38 42 44 52 60
a 1 3 4 5 6 9 19 20 22 24 28 32 35 36 37 38 42 44 52 53
a 1 3 4 5 6 9 15 19 20 22 24 28 32 35 36 37 38 42 44 53
a 1 3 4 5 9 15 19 20 22 24 28 32 35 36 37 38 42 44 52 53
a 1 3 4 5 6 9 15 19 20 22 28 32 35 36 37 38 42 44 52 53
a 1 4 5 6 9 15 19 20 22 28 32 35 36 37 38 41 42 44 52 53
a 1 4 5 6 9 15 19 20 22 24 28 32 35 36 37 38 41 42 44 52
a 1 4 5 6 9 15 19 20 22 24 28 35 36 37 38 41 42 43 44 52
a 1 5 6 9 15 19 20 22 24 28 35 36 37 38 41 42 43 44 52 58
a 1 4 5 6 9 15 19 20 22 24 28 35 36 37 38 41 42 43 44 58
a 1 4 5 6 9 15 19 20 22 24 28 32 35 36 37 38 41 42 43 44
a 1 4 6 9 15 19 20 22 24 28 32 35 36 37 38 40 41 42 43 44
a 1 4 6 9 15 19 20 22 24 28 32 35 36 37 38 40 41 43 44 58
a 1 4 5 6 9 15 19 20 22 24 28 32 35 36 37 38 40 43 44 58
a 1 4 5 6 9 15 19 20 22 24 28 32 35 36 37 38 40 43 44 60
a 1 4 5 6 9 15 19 20 22 24 28 32 35 36 37 38 40 43 58 60
a 1 4 5 6 9 15 19 20 22 24 28 32 35 36 37 38 40 42 43 58
a 1 4 5 6 9 15 19 20 22 24 28 32 35 36 37 38 40 42 43 53
a 1 3 4 5 9 15 19 20 22 24 28 32 35 36 37 38 40 42 43 53
a 1 3 4 5 9 15 19 20 22 24 28 32 35 36 37 38 40 42 43 60
a 1 4 5 9 15 19 20 22 24 28 32 35 36 37 38 40 42 43 53 60
a 1 4 5 9 15 19 20 22 24 28 32 35 36 37 38 40 42 43 53 58
a 1 4 5 9 15 19 20 22 24 28 32 35 36 37 38 40 42 43 44 53
a 1 4 5 9 15 19 20 22 24 28 32 35 36 37 38 40 42 43 44 55
a 1 4 5 9 15 19 20 22 24 28 32 35 36 37 38 40 41 42 44 55
a 1 4 5 9 19 20 22 24 28 32 35 36 37 38 40 41 42 44 55 58
a 1 4 5 9 19 20 22 24 28 32 34 35 36 37 38 40 41 42 44 55
a 1 4 5 9 19 20 22 24 28 32 34 35 36 37 38 40 41 42 43 44
a 1 4 5 9 19 20 22 24 28 32 34 35 36 37 38 40 41 42 44 53
a 1 4 5 9 19 20 22 24 28 32 34 35 36 37 38 40 41 42 43 53
a 1 4 5 9 19 20 22 24 28 32 34 35 36 37 38 40 42 43 44 53
a 1 4 5 6 9 19 20 22 24 28 32 34 35 36 37 38 40 42 43 44
a 1 4 5 6 9 19 20 22 24 28 32 34 35 36 37 40 42 43 44 53
a 1 3 4 5 6 9 19 20 22 24 28 34 35 36 37 40 42 43 44 53
a 1 3 4 5 6 9 15 19 20 22 24 28 34 35 36 37 42 43 44 53
a 1 4 5 6 9 15 19 20 22 24 28 34 35 36 37 38 42 43 44 53
a 1 5 6 9 15 19 20 22 24 28 34 35 36 37 38 42 43 44 49 53
a 1 5 6 9 15 19 20 22 24 28 34 35 36 37 38 41 42 43 49 53
a 1 4 5 6 9 15 19 20 22 24 28 34 35 37 38 41 42 43 49 53
a 1 4 5 6 9 15 19 20 22 24 28 34 35 37 41 42 43 44 49 53
a 1 4 5 6 9 15 19 20 22 24 28 34 35 41 42 43 44 49 53 58
a 1 4 5 6 9 15 19 20 22 24 28 34 35 41 42 43 44 49 58 60
a 1 4 5 6 9 15 19 20 22 24 28 35 37 41 42 43 44 49 58 60
a 1 4 5 6 9 15 19 20 22 24 28 35 36 37 41 42 43 44 49 60
a 1 4 5 6 9 15 19 20 22 24 28 35 36 37 41 42 44 49 60 63
a 1 4 5 6 9 15 16 19 20 22 24 28 35 36 37 41 42 44 49 63
a 1 4 5 6 9 15 16 19 20 22 24 28 35 36 37 40 41 42 44 49
a 1 4 5 6 9 15 16 19 20 22 24 28 35 36 37 40 41 42 49 63
a 1 4 5 6 9 15 16 19 20 22 24 28 35 36 37 40 41 42 49 60
a 1 4 5 6 9 16 19 20 22 24 28 35 36 37 40 41 42 49 60 63
a 1 4 5 6 9 16 19 20 22 24 28 35 36 37 40 41 42 49 57 63
a 1 4 5 6 9 15 16 19 20 22 24 28 35 36 40 41 42 49 57 63
a 1 4 5 6 9 15 16 19 20 22 24 28 35 36 40 41 42 44 57 63
a 1 4 5 6 9 15 16 19 20 22 24 28 35 36 38 40 42 44 57 63
a 1 4 6 9 15 16 19 20 22 24 28 35 36 38 40 42 44 49 57 63
a 1 3 4 6 9 15 16 19 22 24 28 35 36 38 40 42 44 49 57 63
a 1 3 4 6 9 15 16 19 20 22 24 28 35 36 38 40 42 44 49 57
a 1 3 4 6 9 15 16 19 20 22 24 35 36 38 40 42 44 49 57 60
a 1 3 4 5 6 9 15 16 19 20 22 24 35 36 38 40 42 44 49 57
a 1 3 4 5 6 9 15 16 19 20 22 24 35 36 38 40 42 44 49 60
a 1 3 5 6 9 15 16 19 20 22 24 28 35 36 38 40 42 44 49 60
a 1 5 6 9 15 16 19 20 22 24 28 35 36 37 38 40 42 44 49 60
a 1 4 5 6 9 15 16 19 20 22 28 35 36 37 38 40 42 44 49 60
a 1 3 4 5 6 9 15 16 19 20 22 28 35 36 37 38 40 42 44 60
a 1 3 4 5 6 9 15 16 19 20 22 24 28 35 36 37 38 40 44 60
a 1 4 5 6 9 15 16 19 20 22 24 28 35 36 37 38 40 41 44 60
a 1 4 5 6 9 15 16 19 20 22 24 28 35 36 37 38 40 41 44 49
a 1 4 5 6 9 15 16 19 20 22 24 28 35 36 37 38 40 41 49 57
a 4 5 6 9 15 16 19 20 22 24 28 35 36 37 38 40 41 44 49 57
a 4 6 9 15 16 19 20 22 24 28 35 36 37 38 40 41 42 44 49 57
a 4 5 6 9 15 16 19 20 22 24 28 35 36 37 38 41 42 44 49 57
a 4 5 6 9 15 16 19 20 22 24 28 35 36 38 41 42 44 49 57 59
a 4 5 6 9 15 16 19 20 22 24 28 35 36 38 41 42 44 57 59 63
a 4 5 9 15 16 19 20 22 24 28 35 36 38 41 42 44 49 57 59 63
a 4 5 9 14 15 16 19 20 22 24 28 35 36 38 41 42 44 49 57 63
a 4 5 6 9 14 15 16 19 20 22 24 35 36 38 41 42 44 49 57 63
a 4 5 6 9 14 15 16 19 20 22 24 27 35 36 38 41 42 44 49 57
a 4 5 6 9 14 15 16 17 19 20 22 24 27 35 36 38 41 42 44 49
a 4 6 9 14 15 16 17 19 20 22 24 27 28 35 36 38 41 42 44 49
a 4 6 9 14 16 17 19 20 22 24 27 28 35 36 38 41 42 44 49 63
a 1 4 6 9 14 16 19 20 22 24 27 28 35 36 38 41 42 44 49 63
a 1 4 6 9 14 15 16 19 20 22 24 28 35 36 38 41 42 44 49 63
a 1 4 5 6 9 14 15 16 19 20 22 24 28 35 36 38 41 42 44 49
a 1 4 5 6 9 14 15 16 19 20 22 24 27 28 35 36 38 41 42 44
a 1 4 5 6 9 14 15 16 19 20 22 24 27 28 35 36 37 38 41 42
a 1 4 5 6 9 14 15 16 19 20 22 24 27 28 35 36 37 38 42 63
a 1 4 5 6 9 14 15 16 19 20 22 24 27 28 35 36 38 42 59 63
a 1 4 5 6 9 14 15 16 19 20 22 24 27 28 35 36 38 42 44 59
a 1 4 5 6 9 14 15 16 19 20 22 24 27 28 35 36 38 44 57 59
a 4 5 6 9 14 15 16 17 19 20 22 24 27 28 35 36 38 44 57 59
a 4 5 6 9 11 14 15 16 17 19 20 22 24 27 28 36 38 44 57 59
a 4 5 6 9 11 14 15 16 17 19 20 22 24 27 28 36 38 41 44 59
a 4 5 6 9 11 14 15 16 17 19 20 22 24 27 28 36 38 41 44 63
a 4 5 6 9 11 14 15 16 17 19 20 22 27 28 36 38 41 44 57 63
a 4 5 6 9 11 14 15 16 17 19 20 22 25 27 28 36 38 41 44 57
a 4 5 6 9 11 14 15 16 17 19 20 22 25 27 28 36 37 38 44 57
a 4 5 6 9 11 14 15 16 17 19 20 22 25 27 28 36 37 38 41 44
a 4 5 6 9 11 15 16 17 19 20 22 25 27 28 36 37 38 41 44 49
a 4 5 6 9 11 14 15 16 17 20 22 25 27 28 36 37 38 41 44 49
a 4 5 6 9 11 14 15 16 17 19 20 22 27 28 36 37 38 41 44 49
a 4 6 9 11 14 15 16 17 19 20 22 27 28 36 37 38 41 44 49 60
a 4 5 6 9 11 14 15 16 17 19 20 22 27 28 36 38 41 44 49 60
a 4 5 6 9 11 14 15 16 17 19 20 22 27 28 36 38 41 42 44 60
a 4 5 6 9 11 14 15 16 17 19 20 22 27 28 36 37 38 41 42 44
a 4 6 9 11 14 15 16 17 19 20 22 27 28 36 37 38 41 42 44 60
a 4 6 9 11 14 15 16 17 19 22 27 28 36 37 38 41 42 44 57 60
a 4 6 9 11 14 15 16 17 19 20 22 27 28 36 37 38 42 44 57 60
a 4 6 9 11 14 16 17 19 20 22 27 28 36 37 38 41 42 44 57 60
a 4 6 9 11 15 16 17 19 20 22 27 28 36 37 38 41 42 44 57 60
a 4 6 9 11 14 15 16 17 19 20 22 27 28 36 37 38 41 42 44 57
a 4 5 6 9 11 14 15 16 17 19 20 22 27 36 37 38 41 42 44 57
a 4 5 6 9 11 14 15 16 17 19 20 22 27 28 36 37 38 41 42 57
a 4 5 6 11 14 15 16 17 19 20 22 27 28 36 37 38 41 42 49 57
a 4 5 6 11 14 15 16 17 19 20 22 27 28 36 37 38 41 49 57 60
a 4 5 11 14 15 16 17 19 20 22 27 28 36 37 38 41 44 49 57 60
a 4 5 6 11 14 15 16 17 19 20 22 27 28 37 38 41 44 49 57 60
a 4 5 6 7 11 14 15 16 17 19 20 22 27 28 37 38 41 44 49 57
a 4 5 7 11 14 15 16 17 19 20 22 27 28 33 37 38 41 44 49 57
a 4 5 7 11 14 15 16 17 19 20 22 27 28 33 37 38 41 44 49 60
a 4 5 6 7 11 14 15 17 19 20 22 27 28 33 37 38 41 44 49 60
a 4 5 6 7 11 14 15 17 19 20 22 25 27 28 33 37 38 41 44 49
a 4 5 6 7 11 14 15 16 17 19 20 22 25 27 28 33 37 38 41 44
a 4 5 6 7 11 14 15 16 17 20 22 25 27 28 33 37 38 39 41 44
a 4 5 6 7 11 15 16 17 20 22 25 27 28 33 37 38 39 41 44 60
a 5 6 7 11 15 16 17 20 22 25 27 28 33 37 38 39 41 44 57 60
a 5 6 7 11 15 16 17 20 22 25 27 28 33 37 38 39 44 52 57 60
a 5 6 7 11 15 16 17 20 22 25 27 28 33 37 38 39 41 44 52 57
a 5 6 7 11 15 16 17 20 22 27 28 33 37 38 39 41 42 44 52 57
a 4 5 6 11 15 16 17 20 22 27 28 33 37 38 39 41 42 44 52 57
a 4 5 6 11 16 17 20 22 27 28 33 37 38 39 41 42 44 47 52 57
a 4 6 11 15 16 17 20 22 27 28 33 37 38 39 41 42 44 47 52 57
a 4 5 6 11 15 16 17 22 27 28 33 37 38 39 41 42 44 47 52 57
a 4 5 6 11 15 16 20 22 27 28 33 37 38 39 41 42 44 47 52 57
a 4 5 6 11 15 16 20 22 27 28 33 37 38 39 42 44 47 52 57 60
a 4 5 6 11 15 16 20 22 27 28 33 37 38 39 41 42 44 47 52 60
a 4 5 6 11 15 16 20 22 27 28 33 37 38 39 41 42 44 52 57 60
a 4 5 6 11 15 16 20 22 24 27 28 33 37 38 39 41 42 44 57 60
a 4 5 6 11 15 16 20 22 24 28 33 37 38 39 41 42 44 57 58 60
a 4 5 6 11 15 16 20 22 24 28 33 37 38 39 41 42 44 52 57 58
a 4 5 6 11 15 16 20 22 24 28 33 37 38 39 41 42 44 52 57 60
a 3 4 5 6 11 15 16 20 22 24 28 33 37 38 39 42 44 52 57 60
a 1 3 4 5 6 15 16 20 22 24 28 33 37 38 39 42 44 52 57 60
a 1 3 4 5 6 15 16 19 20 22 24 28 33 37 38 42 44 52 57 60
a 1 3 4 5 6 15 16 19 20 22 24 28 33 37 38 42 44 52 57 58
a 1 3 4 5 6 15 16 19 20 22 24 28 33 37 38 42 44 47 52 58
a 1 3 4 5 6 15 16 19 20 22 24 28 33 37 38 42 44 47 52 57
a 1 3 4 5 6 15 16 19 22 24 28 33 37 38 40 42 44 47 52 57
a 1 3 4 5 6 15 16 19 20 22 24 28 33 38 40 42 44 47 52 57
a 1 3 4 6 15 16 19 20 22 24 28 33 35 38 40 42 44 47 52 57
a 1 3 4 6 15 16 19 20 22 24 28 35 36 38 40 42 44 47 52 57
a 1 3 4 6 15 16 19 20 22 24 28 35 36 38 40 42 44 52 57 60
a 1 4 5 6 15 16 19 20 22 24 28 35 36 38 40 42 44 52 57 60
a 1 3 4 5 6 15 16 19 20 22 24 28 35 36 38 42 44 52 57 60
a 3 4 5 6 15 16 19 20 22 24 28 35 36 38 40 42 44 52 57 60
a 1 3 4 5 6 15 16 19 20 22 24 28 35 36 38 40 42 52 57 60
a 1 3 4 5 6 15 19 20 22 24 28 35 36 38 40 42 43 52 57 60
a 1 3 4 5 15 19 20 22 24 28 35 36 38 40 42 43 44 52 57 60
a 1 3 4 5 6 15 19 20 22 24 28 35 38 40 42 43 44 52 57 60
a 1 3 4 5 6 15 20 22 24 28 35 37 38 40 42 43 44 52 57 60
a 1 3 4 5 6 15 20 22 24 28 36 37 38 40 42 43 44 52 57 60
a 1 3 4 5 6 15 19 20 22 24 28 36 37 38 40 42 43 44 52 57
a 1 3 4 5 6 9 15 20 22 24 28 36 37 38 40 42 43 44 52 57
a 1 3 4 5 6 9 15 19 20 22 24 28 36 37 38 42 43 44 52 57
a 1 3 4 5 6 9 15 19 20 22 24 28 36 37 38 43 44 52 57 60
a 1 3 4 5 6 9 15 19 20 22 24 28 35 37 38 43 44 52 57 60
a 1 3 4 5 6 9 15 19 20 22 24 28 35 36 37 38 43 44 57 60
a 1 3 4 5 9 15 19 20 22 24 28 35 36 37 38 43 44 57 58 60
a 1 3 4 5 9 15 19 20 22 24 28 35 36 37 38 40 43 44 58 60
a 1 4 5 9 15 19 20 22 24 28 35 36 37 38 40 42 43 44 58 60
a 1 4 5 9 15 19 20 22 24 27 28 35 36 37 38 42 43 44 58 60
a 1 4 5 9 15 19 20 22 24 27 28 35 36 37 38 41 42 43 44 58
a 1 4 5 6 9 19 20 22 24 27 28 35 36 37 38 41 42 43 44 58
a 1 4 6 9 19 20 22 24 27 28 35 36 37 38 41 42 43 44 57 58
a 1 4 5 6 9 19 20 22 27 28 35 36 37 38 41 42 43 44 57 58
a 1 4 5 6 9 19 22 27 28 35 36 37 38 41 42 43 44 52 57 58
a 1 4 5 6 9 19 22 27 28 35 36 37 38 41 42 43 44 52 58 60
a 1 4 5 6 9 19 22 24 27 28 35 36 37 38 41 42 43 44 52 58
a 1 5 6 9 19 22 24 27 28 35 36 37 38 41 42 43 44 52 58 60
a 1 5 6 9 19 20 22 24 27 28 35 36 37 38 41 42 44 52 58 60
a 1 5 6 9 19 20 22 24 27 28 35 36 37 41 42 44 52 57 58 60
a 1 4 5 6 9 19 20 22 24 27 28 35 36 37 41 42 44 52 57 58
a 4 5 6 9 19 20 22 24 27 28 35 36 37 41 42 43 44 52 57 58
a 1 4 5 6 9 19 20 22 24 27 28 35 36 37 41 42 43 44 52 58
a 1 4 5 6 9 19 20 22 24 27 28 35 36 37 41 42 43 44 52 57
a 1 4 5 6 9 15 19 20 24 27 28 35 36 37 41 42 43 44 52 57
a 1 4 5 6 9 15 19 20 24 27 28 35 36 37 41 42 44 52 57 60
a 1 4 5 6 9 15 19 20 24 27 28 35 36 37 41 42 44 52 58 60
a 1 4 5 6 9 15 19 20 24 27 28 36 37 41 42 43 44 52 58 60
a 1 4 5 6 9 15 20 24 27 28 36 37 41 42 43 44 52 57 58 60
a 1 4 5 6 9 13 15 20 27 28 36 37 41 42 43 44 52 57 58 60
a 1 4 5 6 9 13 20 24 27 28 36 37 41 42 43 44 52 57 58 60
a 1 4 5 6 9 13 19 20 27 28 36 37 41 42 43 44 52 57 58 60
a 1 4 5 6 9 13 19 20 27 28 34 36 37 41 42 43 44 52 58 60
a 1 4 5 6 9 13 19 24 27 28 34 36 37 41 42 43 44 52 58 60
a 1 2 4 5 6 9 13 19 24 27 28 34 36 37 41 42 43 44 58 60
a 1 2 4 6 9 13 19 24 27 28 34 36 37 41 42 43 44 52 58 60
a 1 2 4 6 9 13 15 19 24 27 28 34 36 37 41 43 44 52 58 60
a 1 2 4 9 13 15 19 24 27 28 34 36 37 41 42 43 44 52 58 60
a 1 2 4 9 13 15 19 24 27 28 34 37 41 42 43 44 52 58 60 63
a 1 2 4 9 13 15 19 24 27 28 36 37 41 42 43 44 52 58 60 63
a 1 2 4 9 13 19 24 27 28 34 36 37 41 42 43 44 52 58 60 63
a 1 2 4 5 9 13 19 24 27 28 34 36 37 41 42 43 44 52 58 60
a 1 2 4 5 9 13 19 24 27 28 34 36 41 42 43 44 52 58 60 63
a 1 2 4 5 9 13 19 24 27 28 34 36 37 41 42 43 44 52 60 63
a 1 2 4 5 9 13 19 24 27 28 34 36 37 42 43 44 52 58 60 63
a 1 2 4 5 9 13 19 24 27 28 34 36 37 41 42 43 44 58 60 63
a 2 4 5 9 13 19 24 27 28 34 36 37 41 42 43 44 52 58 60 63
a 1 4 5 9 13 19 24 27 28 34 36 37 41 42 43 44 52 58 60 63
a 1 4 5 9 13 19 20 24 27 28 34 36 37 41 42 43 44 52 58 63
a 1 4 5 6 9 13 19 20 24 27 28 34 36 37 41 42 43 44 52 58
a 1 4 5 6 9 13 15 19 20 24 27 28 34 36 37 41 42 43 44 52
a 1 4 5 6 9 13 15 19 20 24 27 28 34 36 37 41 42 43 44 60
a 1 5 6 9 13 15 19 20 24 27 28 34 36 37 41 42 43 44 60 63
a 1 4 5 6 9 13 15 19 20 24 27 28 34 37 41 42 43 44 60 63
a 1 4 5 6 9 13 15 19 20 27 28 34 36 37 41 42 43 44 60 63
a 1 2 4 5 6 9 13 15 19 20 27 28 34 36 37 41 42 44 60 63
a 1 2 4 5 6 9 13 15 19 20 27 28 34 36 37 41 42 43 44 63
a 1 2 4 5 6 9 13 15 19 20 27 28 34 37 41 42 43 44 52 63
a 1 2 4 5 6 9 13 15 19 20 27 28 34 36 37 41 42 43 44 52
a 1 4 5 6 9 13 15 19 20 27 28 34 36 37 41 42 43 44 52 60
a 1 4 5 6 9 13 15 19 20 24 27 28 34 36 37 41 42 43 52 60
a 4 5 6 9 13 15 19 20 24 27 28 34 36 37 41 42 43 52 58 60
a 2 4 5 6 9 13 15 19 20 24 27 28 34 36 37 41 42 43 52 60
a 2 4 5 6 9 13 15 19 20 24 27 28 36 37 41 42 43 52 57 60
a 2 4 5 6 9 13 15 19 20 24 27 28 36 37 41 42 43 44 52 57
a 1 2 4 5 6 9 13 15 19 20 24 27 28 36 37 41 43 44 52 57
a 1 2 4 5 6 9 13 15 19 20 24 28 36 37 41 42 43 44 52 57
a 1 4 5 6 9 13 15 19 20 24 28 36 37 41 42 43 44 52 57 58
a 1 5 6 9 13 15 19 20 24 27 28 36 37 41 42 43 44 52 57 58
a 1 2 5 6 9 13 15 19 24 27 28 36 37 41 42 43 44 52 57 58
a 1 2 4 5 6 13 15 19 24 27 28 36 37 41 42 43 44 52 57 58
a 1 2 4 5 6 13 15 20 24 27 28 36 37 41 42 43 44 52 57 58
a 1 2 4 5 6 13 19 20 24 27 28 36 37 41 42 43 44 52 57 58
a 1 2 4 5 6 13 15 19 20 24 27 28 36 37 41 42 43 44 52 57
a 1 2 4 5 6 9 13 15 19 20 24 27 28 36 37 42 43 44 52 57
a 1 2 4 5 6 9 13 15 19 20 24 27 28 36 37 42 43 52 57 63
a 1 2 4 5 6 9 13 15 19 20 24 28 36 37 42 43 44 52 57 63
a 1 2 4 5 6 9 13 15 19 20 24 28 36 41 42 43 44 52 57 63
a 1 2 4 5 6 9 13 15 19 20 24 27 28 36 41 42 43 44 52 57
a 1 2 4 5 6 9 13 15 19 20 24 27 28 36 37 41 42 44 52 57
a 1 2 4 5 6 9 13 19 20 24 27 28 36 37 41 42 43 44 52 57
a 1 4 5 6 9 13 19 20 24 27 28 36 37 41 42 43 44 52 57 58
a 1 2 4 5 6 9 13 19 24 27 28 36 37 41 42 43 44 52 57 58
a 1 2 4 5 6 9 13 15 24 27 28 36 37 41 42 43 44 52 57 58
a 1 2 4 5 6 9 13 15 24 27 28 36 37 41 42 43 44 52 57 60
a 1 2 4 5 9 13 15 20 24 27 28 36 37 41 42 43 44 52 57 60
a 1 2 4 5 6 9 13 15 20 24 27 28 36 41 42 43 44 52 57 60
a 1 2 4 5 6 9 13 15 20 24 27 28 37 41 42 43 44 52 57 60
a 1 2 4 5 6 9 15 20 22 24 27 28 37 41 42 43 44 52 57 60
a 1 2 4 5 6 9 15 19 22 24 27 28 37 41 42 43 44 52 57 60
a 1 4 5 6 9 15 19 22 24 27 28 36 37 41 42 43 44 52 57 60
a 1 4 5 6 9 15 19 20 22 24 27 28 36 37 41 42 43 44 52 60
a 1 4 5 6 9 15 19 20 22 24 27 28 36 37 41 42 43 44 52 57
a 1 4 5 6 9 15 16 19 20 22 24 27 28 36 37 41 42 44 52 57
a 1 4 5 6 9 15 16 19 20 22 24 27 28 36 37 38 41 42 44 52
a 1 4 5 6 9 15 16 19 20 22 24 27 28 35 36 37 38 41 44 52
a 1 4 5 6 9 15 16 19 20 22 24 28 32 35 36 37 38 41 44 52
a 1 4 5 6 9 15 16 19 20 22 24 32 35 36 37 38 41 44 52 57
a 1 5 6 9 15 16 19 20 22 24 32 35 36 37 38 40 41 44 52 57
a 1 4 5 6 15 16 19 20 22 24 32 35 36 37 38 40 41 44 52 57
a 1 4 5 6 9 15 16 19 20 22 24 32 35 36 38 40 41 44 52 57
a 1 4 5 6 9 15 16 19 20 22 24 32 35 36 38 40 41 42 52 57
a 1 4 5 6 9 15 16 19 20 22 24 32 35 36 38 40 41 42 44 52
a 1 4 5 6 9 15 16 19 20 22 24 32 35 38 40 41 42 44 52 57
a 1 4 5 9 15 16 19 20 22 24 28 32 35 38 40 41 42 44 52 57
a 1 4 5 9 10 15 16 19 22 24 28 32 35 38 40 41 42 44 52 57
a 1 4 5 6 9 10 15 16 19 22 24 28 32 35 38 40 41 42 44 57
a 1 4 5 6 9 10 15 19 22 24 28 32 35 38 40 41 42 44 53 57
a 1 4 6 9 10 15 19 22 24 28 32 35 36 38 40 41 42 44 53 57
a 1 4 5 6 9 10 15 19 22 24 28 32 35 36 38 40 42 44 53 57
a 1 4 5 6 9 10 15 19 22 24 28 32 35 36 38 40 42 43 44 53
a 3 4 5 6 9 10 15 19 22 24 28 32 35 36 38 40 42 43 44 53
a 3 4 5 6 9 10 15 19 22 24 28 32 35 38 40 42 43 44 52 53
a 3 4 5 6 9 10 15 19 22 24 32 35 36 38 40 42 43 44 52 53
a 3 4 5 6 9 15 19 20 22 24 32 35 36 38 40 42 43 44 52 53
a 3 4 5 6 9 15 19 20 22 24 28 32 35 36 38 40 42 43 44 52
a 3 4 5 6 9 15 19 20 22 24 28 32 35 36 37 38 40 42 43 52
a 1 3 4 6 9 15 19 20 22 24 28 32 35 36 37 38 40 42 43 52
a 1 3 4 6 9 15 19 20 22 24 28 35 36 37 38 40 42 43 52 58
a 1 3 4 5 6 15 19 20 22 24 28 35 36 37 38 40 42 43 52 58
a 1 3 4 5 6 9 15 19 20 22 24 28 35 36 38 40 42 43 52 58
a 1 3 4 5 6 9 19 20 22 24 28 35 36 37 38 40 42 43 52 58
a 1 3 4 5 6 9 19 20 24 28 32 35 36 37 38 40 42 43 52 58
a 1 3 4 6 9 19 20 22 24 28 32 35 36 37 38 40 42 43 52 58
a 1 3 4 5 9 19 20 22 24 28 32 35 36 37 38 40 42 43 52 58
a 3 4 5 6 9 19 20 22 24 28 32 35 36 37 38 40 42 43 52 58
a 1 3 4 5 6 9 19 20 22 24 28 32 35 36 37 38 42 43 52 58
a 1 3 4 5 6 9 15 19 20 22 24 28 32 35 36 38 42 43 52 58
a 1 3 4 5 6 9 15 19 20 22 24 28 32 35 36 38 43 52 57 58
a 1 3 4 5 6 9 15 19 20 22 24 28 32 35 36 38 40 43 52 57
a 1 3 4 5 6 9 15 19 20 22 28 32 35 36 38 40 43 44 52 57
a 1 3 4 5 6 9 15 19 20 22 28 32 35 36 38 40 42 43 44 52
a 1 3 4 5 6 9 15 19 20 22 28 32 35 36 37 38 40 43 44 52
a 1 3 4 5 6 9 15 19 20 24 28 32 35 36 37 38 40 43 44 52
a 1 3 4 5 6 9 15 19 20 24 28 32 34 35 36 37 38 40 43 44
a 1 3 4 5 6 15 19 20 24 28 32 34 35 36 37 38 40 43 44 58
a 1 3 4 5 6 15 19 20 24 28 32 34 35 37 38 40 43 44 58 60
a 1 3 4 5 6 15 19 20 24 28 32 33 34 35 37 38 40 44 58 60
a 1 3 4 5 6 15 16 19 20 24 28 32 33 34 35 37 40 44 58 60
a 1 3 4 5 6 15 16 19 20 24 32 33 34 35 37 40 44 47 58 60
a 1 3 4 6 15 16 19 20 24 32 33 34 35 37 40 44 47 48 58 60
a 3 4 6 15 16 19 20 24 32 33 34 35 37 40 44 47 48 58 60 65
a 3 4 6 13 15 16 19 20 24 33 34 35 37 40 44 47 48 58 60 65
a 4 6 13 15 16 19 20 24 33 34 35 37 40 41 44 47 48 58 60 65
a 6 13 15 16 19 20 24 33 34 35 37 40 41 44 47 48 56 58 60 65
c Step: 460
#END: [Tue Sep  5 06:30:54 2023]