#BEGIN: [Tue Sep  5 06:23:45 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance005_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance005_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_instance005_graph005.col /benchmark/random_instance/random_instance005_graph005_01.dat
c /benchmark/random_instance/random_instance005_graph005.col
c /benchmark/random_instance/random_instance005_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID 65d12e26aabf9db4c3813a500b4eb072e7cb2917b663c7da2057312c70ab7096
s 10 8 59 9 53 1 43 5 47 3 20 19 26 32 39 51 46 58 41 13
t 29 44 28 48 43 19 15 14 51 7 62 32 46 6 13 58 10 53 55 21
a YES
a 1 3 5 8 9 10 13 19 20 26 32 39 41 43 46 47 51 53 58 59
a 1 3 4 5 8 9 10 13 19 20 26 32 39 41 43 46 47 51 53 58
a 1 3 4 5 8 9 10 13 19 20 26 30 32 39 41 43 47 51 53 58
a 1 3 4 5 8 9 10 13 19 20 26 30 32 39 41 43 47 51 53 54
a 1 3 4 5 8 9 13 19 20 26 30 32 39 41 43 47 51 53 54 56
a 1 3 4 5 9 13 19 20 26 30 32 39 41 43 47 51 53 54 55 56
a 1 3 4 5 9 13 19 20 26 27 30 32 39 41 43 47 51 53 54 56
a 1 3 4 5 9 10 13 19 20 26 27 30 32 39 41 43 47 51 53 54
a 1 3 4 5 9 10 13 19 20 26 27 30 32 39 41 43 47 53 54 55
a 1 3 5 9 10 13 19 20 26 27 30 32 39 41 43 47 53 54 55 59
a 1 3 5 9 10 13 19 20 27 30 32 39 41 43 47 53 54 55 59 60
a 1 3 5 9 13 19 20 27 30 32 39 41 43 47 53 54 55 56 59 60
a 1 3 5 9 13 16 19 20 27 30 32 39 41 43 47 53 54 56 59 60
a 1 3 4 5 9 13 16 19 20 27 30 32 39 41 43 47 53 54 56 60
a 1 3 4 5 9 13 19 20 27 30 32 39 41 43 47 53 54 55 56 60
a 1 3 4 5 9 13 19 20 27 30 32 41 43 47 51 53 54 55 56 60
a 1 3 5 9 13 19 20 27 30 32 41 43 47 51 53 54 55 56 59 60
a 1 3 5 9 13 19 20 26 27 30 32 41 43 47 51 53 54 55 56 59
a 1 3 5 9 13 20 26 27 30 32 39 41 43 47 51 53 54 55 56 59
a 1 3 5 9 13 19 20 26 30 32 39 41 43 47 51 53 54 55 56 59
a 1 3 5 8 9 13 19 20 26 30 32 39 41 43 47 51 53 54 56 59
a 1 3 5 8 9 13 19 20 26 30 32 39 41 47 51 52 53 54 56 59
a 1 5 8 9 11 13 19 20 26 30 32 39 41 47 51 52 53 54 56 59
a 1 5 8 9 11 13 19 20 30 32 39 41 47 51 52 53 54 56 59 60
a 1 5 8 9 11 13 19 20 30 32 39 41 49 51 52 53 54 56 59 60
a 1 5 8 9 11 13 16 19 20 30 32 39 41 49 52 53 54 56 59 60
a 1 5 8 11 13 16 19 20 30 32 39 41 49 52 53 54 56 57 59 60
a 1 5 8 11 13 14 16 19 20 30 32 39 41 49 52 53 54 56 57 59
a 1 5 8 13 14 16 19 20 26 30 32 39 41 49 52 53 54 56 57 59
a 5 8 13 14 16 17 19 20 26 30 32 39 41 49 52 53 54 56 57 59
a 2 5 8 13 14 16 17 19 20 26 30 39 41 49 52 53 54 56 57 59
a 2 5 8 13 14 16 17 19 20 26 30 39 41 47 52 53 54 56 57 59
a 2 5 8 11 13 14 16 19 20 26 30 39 41 47 52 53 54 56 57 59
a 2 5 8 11 13 14 16 19 20 30 39 41 47 52 53 54 56 57 59 61
a 2 5 8 11 13 16 19 20 30 39 41 47 52 53 54 56 57 59 60 61
a 2 5 8 9 11 13 16 19 20 30 39 41 47 52 53 54 56 59 60 61
a 2 5 8 9 11 13 16 19 20 30 38 39 41 47 52 54 56 59 60 61
a 2 5 8 9 11 13 16 20 30 38 39 41 47 50 52 54 56 59 60 61
a 2 5 8 9 11 13 16 18 20 30 38 39 47 50 52 54 56 59 60 61
a 2 5 8 9 11 13 16 18 20 21 30 38 39 50 52 54 56 59 60 61
a 2 5 8 11 13 16 18 20 21 30 38 39 50 52 54 56 57 59 60 61
a 2 5 8 11 13 16 18 20 21 30 38 39 50 52 54 57 59 60 61 64
a 2 5 8 11 13 14 16 18 20 21 30 38 39 50 52 54 57 59 61 64
a 2 5 8 11 13 14 16 18 20 21 30 38 44 50 52 54 57 59 61 64
a 2 5 8 13 14 16 17 18 20 21 30 38 44 50 52 54 57 59 61 64
a 2 5 8 13 16 17 18 20 21 30 38 44 45 50 52 54 57 59 61 64
a 2 5 6 8 13 16 17 18 20 21 30 38 44 45 50 52 54 57 61 64
a 2 5 6 8 13 16 17 18 20 21 30 35 38 45 50 52 54 57 61 64
a 2 5 6 8 13 14 16 17 18 20 21 30 35 38 50 52 54 57 61 64
a 2 5 8 13 14 16 17 18 20 21 30 35 38 50 52 54 57 59 61 64
a 2 5 8 13 14 16 17 18 20 21 30 35 38 40 50 52 54 57 59 61
a 2 5 8 13 14 16 17 18 20 30 35 38 40 47 50 52 54 57 59 61
a 2 8 13 14 16 17 18 20 30 35 38 40 47 50 52 54 57 59 61 64
a 2 8 13 16 17 18 20 30 35 38 39 40 47 50 52 54 57 59 61 64
a 2 8 13 16 17 18 20 30 35 38 39 40 47 50 52 54 56 57 59 61
a 2 8 11 13 16 18 20 30 35 38 39 40 47 50 52 54 56 57 59 61
a 2 3 8 13 16 18 20 30 35 38 39 40 47 50 52 54 56 57 59 61
a 2 3 8 13 16 18 20 21 30 35 38 39 40 50 52 54 56 57 59 61
a 2 3 8 13 16 18 20 21 30 35 38 39 40 50 52 54 57 59 61 64
a 2 3 8 13 16 18 20 30 35 38 39 40 47 50 52 54 57 59 61 64
a 2 3 8 13 16 18 20 30 35 38 39 40 47 50 52 57 59 60 61 64
a 2 3 8 13 16 18 20 30 34 35 38 39 40 47 50 52 57 60 61 64
a 2 3 6 8 13 16 18 20 30 34 35 38 40 47 50 52 57 60 61 64
a 2 6 8 11 13 16 18 20 30 34 35 38 40 47 50 52 57 60 61 64
a 2 6 8 11 13 16 18 20 21 30 34 35 38 40 50 52 57 60 61 64
a 2 6 8 11 13 16 18 20 21 30 34 35 38 40 45 50 52 57 61 64
a 2 6 8 13 16 17 18 20 21 30 34 35 38 40 45 50 52 57 61 64
a 2 6 8 13 14 16 17 18 20 21 30 34 35 38 40 50 52 57 61 64
a 2 6 8 13 14 16 17 18 20 21 30 34 38 40 44 50 52 57 61 64
a 2 5 6 13 14 16 17 18 20 21 30 34 38 40 44 50 52 57 61 64
a 5 6 13 14 16 17 18 20 21 30 34 38 40 44 50 52 54 57 61 64
a 5 6 13 14 16 17 18 20 21 30 34 35 38 40 50 52 54 57 61 64
a 5 6 8 13 14 16 17 18 20 21 30 34 35 38 40 50 52 54 57 61
a 6 8 13 14 16 17 18 20 21 30 34 35 38 40 50 52 54 57 61 64
a 8 13 14 16 17 18 20 21 30 34 35 38 39 40 50 52 54 57 61 64
a 2 8 13 16 17 18 20 21 30 34 35 38 39 40 50 52 54 57 61 64
a 2 8 13 16 17 18 20 30 34 35 38 39 40 47 50 52 54 57 61 64
a 2 8 14 16 17 18 20 30 34 35 38 39 40 47 50 52 54 57 61 64
a 2 8 13 14 17 18 20 30 34 35 38 39 40 47 50 52 54 57 61 64
a 2 7 8 13 14 17 18 20 30 34 35 38 39 40 47 50 52 57 61 64
a 2 7 8 13 17 18 20 30 34 35 38 39 40 47 50 52 57 60 61 64
a 2 6 7 8 13 17 18 20 30 34 35 38 40 47 50 52 57 60 61 64
a 2 4 6 7 8 13 17 18 20 30 34 35 38 40 47 50 57 60 61 64
a 2 4 5 6 7 8 13 17 18 20 30 34 35 38 40 47 57 60 61 64
a 2 4 5 6 7 8 13 17 20 30 34 35 38 40 47 57 60 61 62 64
a 2 4 5 6 7 8 13 17 20 30 34 35 38 40 47 57 58 60 61 62
a 2 4 5 6 7 8 13 17 20 21 30 34 35 38 40 57 58 60 61 62
a 2 4 5 6 7 8 13 17 20 21 30 34 35 38 40 51 57 58 60 62
a 2 4 5 6 7 8 13 17 20 21 30 34 35 38 40 51 57 58 60 61
a 2 4 5 6 7 8 13 17 20 21 30 31 34 35 38 40 51 58 60 61
a 2 5 6 7 8 13 17 20 21 30 31 34 35 38 40 51 58 60 61 64
a 2 5 6 7 8 10 13 20 21 30 31 34 35 38 40 51 58 60 61 64
a 2 5 6 7 8 9 10 13 20 21 30 31 34 38 40 51 58 60 61 64
a 2 4 5 6 7 8 9 10 13 21 30 31 34 38 40 51 58 60 61 64
a 2 4 5 6 7 8 9 10 13 30 31 34 38 40 47 51 58 60 61 64
a 4 5 6 7 8 9 10 13 20 30 31 34 38 40 47 51 58 60 61 64
a 2 4 5 6 7 8 9 10 13 20 30 31 34 38 40 47 51 58 61 64
a 2 4 5 6 7 8 9 10 13 20 30 31 34 38 40 47 51 60 61 64
a 2 5 6 7 8 9 10 11 13 20 30 31 34 38 40 47 51 60 61 64
a 2 5 6 7 8 10 11 13 20 30 31 34 35 38 40 47 51 60 61 64
a 2 5 6 7 8 11 13 18 20 30 31 34 35 38 40 47 51 60 61 64
a 2 5 6 7 8 11 13 18 20 30 31 34 38 40 45 47 51 60 61 64
a 2 5 6 7 8 11 13 18 20 30 31 34 38 40 45 47 51 57 60 64
a 2 6 7 8 11 13 18 20 30 31 34 38 40 45 47 51 57 60 61 64
a 2 6 7 8 11 13 18 20 30 31 34 38 40 44 45 47 51 57 61 64
a 2 6 7 8 11 13 18 20 21 30 31 34 38 40 44 45 51 57 61 64
a 2 6 7 8 11 13 20 21 30 31 34 38 40 44 45 51 57 61 62 64
a 2 6 7 8 10 11 13 20 21 30 31 34 38 40 44 51 57 61 62 64
a 2 6 7 8 10 13 20 21 24 30 31 34 38 40 44 51 57 61 62 64
a 2 6 7 8 10 13 20 21 24 30 34 38 40 44 50 51 57 61 62 64
a 2 6 7 8 10 13 20 21 24 30 34 35 38 40 50 51 57 61 62 64
a 2 7 8 10 13 20 21 24 30 34 35 38 39 40 50 51 57 61 62 64
a 2 7 8 10 13 20 21 24 30 34 35 38 39 40 43 50 51 57 61 62
a 2 3 7 8 10 13 20 21 24 30 35 38 39 40 43 50 51 57 61 62
a 2 3 7 8 10 13 20 24 30 35 38 39 40 41 43 50 51 57 61 62
a 2 3 7 8 10 13 20 24 30 35 38 39 40 41 43 50 51 57 60 62
a 2 3 7 8 10 13 20 24 30 35 38 39 40 41 43 50 57 60 61 62
a 2 3 7 8 10 13 20 24 35 38 39 40 41 43 50 57 60 61 62 65
a 2 3 7 8 10 13 20 21 24 35 38 39 40 43 50 57 60 61 62 65
a 2 3 5 7 8 10 13 20 21 35 38 39 40 43 50 57 60 61 62 65
a 2 3 5 7 8 10 13 20 35 38 39 40 41 43 50 57 60 61 62 65
a 2 3 5 7 8 10 13 20 35 38 39 40 41 43 47 50 57 60 61 62
a 2 3 5 7 8 10 13 20 30 35 38 39 40 41 43 47 50 57 60 61
a 2 3 5 7 8 10 13 20 35 38 39 40 41 43 46 47 50 57 60 61
a 2 3 5 8 10 13 20 35 38 39 40 41 43 46 47 50 57 59 60 61
a 2 3 5 7 8 10 13 20 35 38 39 40 41 43 46 47 50 57 59 61
a 2 3 4 5 7 8 10 13 20 35 38 39 40 41 43 46 47 50 57 61
a 2 3 4 5 7 8 10 13 14 20 38 39 40 41 43 46 47 50 57 61
a 2 3 4 5 8 10 12 13 14 20 38 39 40 41 43 46 47 50 57 61
a 1 3 4 5 8 10 12 13 14 20 38 39 40 41 43 46 47 50 57 61
a 1 3 5 8 10 12 13 14 20 38 39 40 41 43 46 47 50 57 59 61
a 1 2 3 5 8 10 12 13 14 20 38 39 40 41 46 47 50 57 59 61
a 1 2 3 5 8 12 13 14 20 38 39 40 41 42 46 47 50 57 59 61
a 1 2 3 5 8 12 13 14 20 38 39 40 41 42 46 47 50 54 57 59
a 1 2 3 5 8 10 12 13 14 20 38 39 40 41 46 47 50 54 57 59
a 1 2 3 5 8 10 12 13 14 20 34 38 39 40 41 46 47 50 54 57
a 1 2 3 5 8 12 13 14 20 34 38 39 40 41 46 47 50 54 57 61
a 1 2 3 5 8 10 13 14 20 34 38 39 40 41 46 47 50 54 57 61
a 1 2 3 5 8 13 14 20 34 38 39 40 41 46 47 50 54 56 57 61
a 2 3 5 8 13 14 20 34 35 38 39 40 41 46 47 50 54 56 57 61
a 2 3 5 8 13 14 20 34 35 38 39 40 41 46 47 50 52 54 56 57
a 3 5 8 13 14 20 34 35 38 39 40 41 46 47 50 52 54 56 57 61
a 5 8 13 14 17 20 34 35 38 39 40 41 46 47 50 52 54 56 57 61
a 5 8 13 14 17 20 34 35 38 39 40 41 46 49 50 52 54 56 57 61
a 5 8 13 14 17 20 30 34 35 38 39 40 41 49 50 52 54 56 57 61
a 5 8 11 13 14 20 30 34 35 38 39 40 41 49 50 52 54 56 57 61
a 5 8 13 14 20 30 34 35 38 39 40 41 42 49 50 52 54 56 57 61
a 4 5 8 13 14 20 30 34 35 38 39 40 41 42 49 50 54 56 57 61
a 4 5 8 13 14 20 30 34 35 38 39 40 41 42 47 50 54 56 57 61
a 3 4 5 8 13 14 20 30 34 35 38 39 40 41 42 47 50 56 57 61
a 3 4 5 13 14 20 30 34 35 38 39 40 41 42 47 50 54 56 57 61
a 3 4 5 13 14 20 30 34 35 38 39 40 41 42 49 50 54 56 57 61
a 3 4 5 13 14 20 34 35 38 39 40 41 42 46 49 50 54 56 57 61
a 3 4 5 13 14 20 34 35 38 39 40 41 42 46 48 49 50 54 56 61
a 3 4 5 13 20 34 35 38 39 40 41 42 46 48 49 50 54 56 61 65
a 3 4 5 13 34 35 38 39 40 41 42 43 46 48 49 50 54 56 61 65
a 3 4 5 13 34 35 38 39 40 41 42 43 46 48 49 50 56 61 62 65
a 3 4 5 13 16 34 35 38 39 40 41 42 43 46 48 49 50 56 61 62
a 3 4 5 13 16 31 34 35 38 39 40 41 42 43 46 48 49 56 61 62
a 3 4 5 9 13 16 31 34 38 39 40 41 42 43 46 48 49 56 61 62
a 3 4 5 9 13 16 20 31 34 38 39 40 41 42 43 46 48 49 56 61
a 3 4 5 9 13 16 20 31 34 38 40 41 42 43 45 46 48 49 56 61
a 3 4 5 9 13 16 20 31 34 38 40 41 42 43 45 46 48 49 56 62
a 3 4 5 9 13 16 20 34 38 40 41 42 43 45 46 48 49 50 56 62
a 3 4 5 6 9 13 16 20 34 38 40 41 42 43 45 46 48 49 50 62
a 3 5 6 9 13 16 20 34 38 40 41 42 43 45 46 48 49 50 61 62
a 3 5 6 9 12 13 16 20 34 38 40 41 42 43 45 46 48 50 61 62
a 3 4 5 6 9 12 13 16 20 34 38 40 41 42 43 45 46 48 50 61
a 3 4 5 6 9 12 13 16 20 34 40 41 42 43 45 46 48 50 54 61
a 3 4 5 6 9 12 13 16 20 22 34 40 41 42 43 45 46 48 54 61
a 3 4 5 6 9 12 13 16 20 22 34 40 41 42 43 45 46 47 54 61
a 3 4 5 6 8 12 13 16 20 22 34 40 41 42 43 45 46 47 54 61
a 3 4 5 6 8 12 13 16 20 22 34 40 41 42 43 46 47 50 54 61
a 2 3 4 5 6 8 12 13 16 20 22 34 40 41 43 46 47 50 54 61
a 2 3 4 5 6 8 12 13 16 20 22 34 40 41 43 46 47 50 54 60
a 1 2 3 4 5 6 8 12 16 20 22 34 40 41 43 46 47 50 54 60
a 1 2 3 4 5 8 12 16 20 22 34 40 41 43 46 47 50 54 60 61
a 1 2 3 4 5 8 9 12 16 20 22 34 40 41 43 46 47 50 54 60
a 1 2 3 4 5 8 9 12 16 20 22 34 41 43 46 47 50 54 60 61
a 1 2 3 4 5 8 9 12 16 20 34 41 43 45 46 47 50 54 60 61
a 1 2 3 4 5 8 9 12 16 20 31 34 41 43 45 46 47 54 60 61
a 1 2 3 4 5 8 12 16 20 31 34 41 43 45 46 47 54 57 60 61
a 1 2 3 4 5 8 10 12 16 20 31 34 41 43 46 47 54 57 60 61
a 1 2 3 4 5 8 10 12 16 20 34 41 43 46 47 50 54 57 60 61
a 1 2 3 4 5 8 9 10 12 16 20 34 41 43 46 47 50 54 60 61
a 1 2 3 4 5 6 8 9 10 12 16 20 34 41 43 46 47 50 60 61
a 2 3 4 5 6 8 9 10 12 16 20 34 41 43 46 47 50 60 61 62
a 2 3 4 5 6 8 9 10 12 16 20 34 38 41 43 46 47 60 61 62
a 2 3 4 5 6 7 8 9 10 12 20 34 38 41 43 46 47 60 61 62
a 3 4 5 6 7 8 9 10 12 20 34 38 40 41 43 46 47 60 61 62
a 3 4 5 7 8 9 10 12 20 34 38 39 40 41 43 46 47 60 61 62
a 3 4 5 7 8 9 10 12 20 34 38 39 40 41 43 46 47 58 60 61
a 3 4 5 7 8 9 10 12 13 20 34 38 39 40 41 43 46 47 58 61
a 3 4 5 6 7 8 9 10 12 13 20 34 38 40 41 43 46 47 58 61
a 3 4 5 6 7 8 10 12 13 20 34 38 40 41 43 46 47 57 58 61
a 3 4 5 6 7 8 10 13 20 34 35 38 40 41 43 46 47 57 58 61
a 3 4 5 6 7 8 13 20 34 35 38 40 41 43 45 46 47 57 58 61
a 3 4 5 6 7 8 13 20 34 35 38 40 41 43 45 46 47 57 58 62
a 3 4 5 6 7 8 10 13 20 34 35 38 40 41 43 46 47 57 58 62
a 3 5 6 7 8 10 13 20 34 35 38 40 41 43 46 47 57 58 61 62
a 3 6 7 8 10 13 20 24 34 35 38 40 41 43 46 47 57 58 61 62
a 3 6 7 8 10 13 20 24 30 34 35 38 40 41 43 47 57 58 61 62
a 3 6 7 8 10 13 14 20 30 34 35 38 40 41 43 47 57 58 61 62
a 6 7 8 10 11 13 14 20 30 34 35 38 40 41 43 47 57 58 61 62
a 6 7 8 10 11 13 20 24 30 34 35 38 40 41 43 47 57 58 61 62
a 6 7 8 10 11 13 20 24 30 34 35 38 40 41 43 47 51 57 58 61
a 6 7 8 10 11 13 14 20 30 34 35 38 40 41 43 47 51 57 58 61
a 6 8 10 11 13 14 20 30 34 35 38 40 41 43 47 51 57 58 61 62
a 6 8 10 11 13 14 20 30 34 35 38 40 41 43 49 51 57 58 61 62
a 6 8 10 11 13 14 20 23 30 34 35 38 40 41 43 49 51 58 61 62
a 6 8 10 11 13 20 23 24 30 34 35 38 40 41 43 49 51 58 61 62
a 6 8 10 11 13 20 23 24 30 31 34 35 38 40 41 43 49 51 58 61
a 6 7 8 10 11 13 20 23 24 30 31 34 35 38 40 41 43 51 58 61
a 6 7 8 10 11 13 20 23 24 31 34 35 38 40 41 43 51 58 61 62
a 6 7 10 11 13 20 23 24 31 34 35 38 40 41 43 51 58 60 61 62
a 2 6 7 10 11 13 20 23 24 31 34 35 38 40 41 43 51 58 61 62
a 6 7 10 11 13 20 23 24 30 31 34 35 38 40 41 43 51 58 61 62
a 2 7 10 11 13 20 23 24 30 31 34 35 38 40 41 43 51 58 61 62
a 2 10 11 13 20 23 24 30 31 34 35 38 40 41 43 51 58 60 61 62
a 2 7 10 11 13 20 23 24 30 31 34 35 38 40 41 43 51 58 60 62
a 2 7 10 11 13 20 21 23 24 30 31 34 35 38 40 43 51 58 60 62
a 2 6 7 10 11 13 20 21 23 24 30 31 34 35 38 40 43 51 58 62
a 2 6 7 10 11 13 20 23 24 30 31 34 35 38 40 41 43 51 58 62
a 2 6 7 10 11 13 23 24 28 30 31 34 35 38 40 41 43 51 58 62
a 2 6 7 10 11 13 23 24 28 30 31 34 35 40 41 43 51 53 58 62
a 2 6 7 10 11 13 21 23 24 28 30 31 34 35 40 43 51 53 58 62
a 2 6 10 11 13 21 23 24 28 30 31 34 35 40 43 51 53 58 62 64
a 2 6 10 11 13 21 23 24 28 30 31 34 35 38 40 43 51 58 62 64
a 2 6 10 11 13 20 21 23 24 30 31 34 35 38 40 43 51 58 62 64
a 2 6 10 11 13 20 21 23 24 26 30 31 34 35 38 43 51 58 62 64
a 2 6 10 11 13 20 21 23 24 26 29 30 34 35 38 43 51 58 62 64
a 2 4 6 10 11 13 20 21 23 26 29 30 34 35 38 43 51 58 62 64
a 2 4 6 10 11 13 20 21 26 29 30 34 35 38 43 51 57 58 62 64
a 2 4 6 10 11 13 20 21 26 29 30 34 35 38 43 50 51 58 62 64
a 2 4 6 10 11 13 20 21 26 29 30 34 35 38 43 50 51 55 58 64
a 2 4 6 10 11 13 19 20 21 26 29 30 34 35 38 43 51 55 58 64
a 2 4 5 6 10 11 13 19 20 21 26 29 30 34 35 38 43 55 58 64
a 2 4 5 6 10 11 13 19 20 21 26 29 30 34 38 43 44 55 58 64
a 2 4 5 6 10 11 13 14 19 20 21 26 29 30 34 38 43 44 55 64
a 2 4 5 6 10 11 13 14 19 20 21 26 29 30 34 38 43 55 57 64
a 2 4 5 6 10 11 13 19 20 21 26 29 30 34 35 38 43 55 57 64
a 2 4 5 6 10 11 13 14 19 20 21 26 29 30 34 35 38 43 55 57
a 2 4 5 6 10 11 13 14 19 20 21 26 29 30 34 35 38 43 55 62
a 2 4 5 6 10 11 13 14 19 20 21 26 29 30 34 38 43 55 62 64
a 2 4 5 6 10 11 13 14 19 20 21 26 29 30 34 43 53 55 62 64
a 2 4 5 6 10 11 13 14 19 20 21 26 29 30 34 43 55 57 62 64
a 2 4 6 10 11 13 14 19 20 21 26 29 30 34 43 53 55 57 62 64
a 2 4 6 10 11 13 14 19 20 21 26 29 30 43 44 53 55 57 62 64
a 2 4 6 10 11 13 14 15 19 20 21 26 29 30 43 44 55 57 62 64
a 4 6 10 11 13 14 15 19 20 21 26 29 30 32 43 44 55 57 62 64
a 4 6 7 10 11 13 14 19 20 21 26 29 30 32 43 44 55 57 62 64
a 4 6 7 10 11 13 14 19 20 21 26 29 30 32 43 44 53 55 62 64
a 4 6 7 10 11 13 14 19 20 21 26 29 30 32 43 44 53 55 57 64
a 4 6 7 10 11 13 14 19 20 21 26 29 30 34 43 44 53 55 57 64
a 4 6 10 11 13 14 15 19 20 21 26 29 30 34 43 44 53 55 57 64
a 4 6 7 10 11 13 14 15 19 20 21 26 29 30 34 43 44 55 57 64
a 4 6 7 10 11 13 14 15 19 20 21 26 29 30 32 43 44 55 57 64
a 4 6 7 10 11 13 14 15 19 20 21 26 29 30 32 43 51 55 57 64
a 4 7 10 11 13 14 15 19 20 21 26 29 30 32 43 44 51 55 57 64
a 4 7 10 11 13 14 15 20 21 26 29 30 32 43 44 50 51 55 57 64
a 4 7 10 11 13 14 15 20 21 26 29 30 43 44 50 51 55 57 62 64
a 4 6 7 10 11 13 14 15 20 21 26 29 30 43 44 51 55 57 62 64
a 4 6 7 10 11 13 14 15 20 21 29 30 32 43 44 51 55 57 62 64
a 4 6 7 10 11 13 14 15 19 20 21 29 30 32 44 51 55 57 62 64
a 4 6 7 10 11 13 14 15 19 20 21 29 30 32 43 44 51 55 57 62
a 4 6 7 10 11 13 14 15 19 20 21 26 29 30 43 44 51 55 57 62
a 4 6 7 10 11 13 14 15 19 20 21 26 29 30 43 44 51 55 57 64
a 6 7 10 11 13 14 15 19 20 21 26 29 30 43 44 51 55 57 58 64
a 6 7 10 11 13 15 19 20 21 24 26 29 30 43 44 51 55 57 58 64
a 6 7 10 11 13 15 19 20 21 24 26 29 30 43 51 53 55 57 58 64
a 6 7 10 11 13 15 19 20 21 24 26 29 30 32 51 53 55 57 58 64
a 6 7 10 11 15 19 20 21 24 26 29 30 32 51 53 55 57 58 62 64
a 6 7 10 11 15 19 20 21 26 29 30 32 44 51 53 55 57 58 62 64
a 6 7 10 11 13 15 19 20 21 26 29 30 32 44 51 53 55 57 58 62
a 6 7 10 11 13 15 19 21 26 29 30 32 43 44 51 53 55 57 58 62
a 4 6 7 10 11 13 15 19 21 26 29 30 43 44 51 53 55 57 58 62
a 4 5 6 7 10 11 13 19 21 26 29 30 43 44 51 53 55 57 58 62
a 4 5 6 7 10 11 13 14 19 21 26 29 30 43 44 51 53 55 57 58
a 4 6 7 10 11 13 14 19 21 26 29 30 43 44 51 53 55 57 58 64
a 4 6 7 10 11 13 14 15 19 21 26 29 30 43 44 51 53 55 57 64
a 4 6 7 10 11 13 14 15 19 20 21 26 29 30 43 44 51 53 55 57
a 4 6 7 10 11 13 14 19 20 21 26 29 30 43 44 51 53 55 57 64
a 2 4 6 7 10 11 13 14 19 20 21 26 29 30 43 44 51 53 55 57
a 2 4 6 7 10 11 13 14 19 20 21 26 29 30 43 44 51 55 57 64
a 2 4 6 7 10 11 13 14 19 20 21 26 29 30 38 43 44 51 55 64
a 2 4 6 7 11 13 14 19 20 21 26 29 30 38 43 44 51 55 57 64
a 2 4 6 7 11 13 14 19 20 21 26 29 30 35 38 43 51 55 57 64
a 2 4 5 6 7 11 13 14 19 20 26 29 30 35 38 43 51 55 57 64
a 2 4 5 6 7 11 13 14 18 19 20 26 30 35 38 43 51 55 57 64
a 2 4 5 7 11 13 14 18 19 20 26 30 35 38 39 43 51 55 57 64
a 2 4 5 11 13 14 18 19 20 26 30 35 38 39 43 51 54 55 57 64
a 2 4 5 13 14 18 19 20 26 30 34 35 38 39 43 51 54 55 57 64
a 2 4 5 13 14 18 19 20 26 30 34 35 38 39 42 43 51 54 57 64
a 2 4 5 13 14 18 19 20 30 34 35 38 39 42 43 51 54 57 61 64
a 2 4 5 11 13 14 18 19 20 30 34 35 38 39 43 51 54 57 61 64
a 2 4 5 6 11 13 14 18 19 20 30 34 35 38 43 51 54 57 61 64
a 2 4 5 6 11 13 14 18 19 20 30 34 35 38 43 47 54 57 61 64
a 2 4 5 6 11 13 18 19 20 30 34 35 38 43 47 54 57 60 61 64
a 2 4 5 6 11 13 18 20 30 34 35 38 43 45 47 54 57 60 61 64
a 2 4 5 6 11 13 18 20 30 31 34 35 38 43 45 47 54 60 61 64
a 2 4 5 6 13 18 20 30 31 34 35 38 42 43 45 47 54 60 61 64
a 2 4 5 6 9 13 18 20 30 31 34 38 42 43 45 47 54 60 61 64
a 2 4 5 6 9 13 18 20 30 31 34 38 40 42 43 45 54 60 61 64
a 2 4 5 6 9 13 16 18 20 30 31 34 38 40 42 45 54 60 61 64
a 2 4 5 6 9 13 16 18 20 30 31 34 38 40 42 45 49 54 60 61
a 2 4 5 6 8 9 13 16 18 20 31 34 38 40 42 45 49 54 60 61
a 2 4 5 6 8 9 13 17 18 20 31 34 38 40 42 45 49 54 60 61
a 2 4 5 6 8 9 13 17 20 31 34 38 40 42 45 46 49 54 60 61
a 2 4 5 6 8 9 12 13 17 20 31 34 38 40 42 45 46 49 54 60
a 2 4 5 6 8 9 12 13 17 20 21 31 34 38 40 42 45 46 49 54
a 2 4 5 6 8 9 12 13 17 20 21 31 34 38 40 42 45 46 48 49
a 2 4 5 6 8 9 12 13 17 18 20 21 31 34 38 40 42 45 46 49
a 2 4 5 6 8 9 12 13 16 17 18 20 21 31 34 38 40 42 45 49
a 2 4 5 6 8 9 12 13 16 17 18 20 21 31 38 40 42 45 49 61
a 2 4 6 8 9 12 13 16 17 18 20 21 31 38 40 42 45 48 49 61
a 2 4 5 6 8 9 12 13 16 17 18 20 21 31 38 40 42 45 48 49
a 2 4 5 6 8 9 12 13 16 17 18 20 21 31 38 40 42 45 48 60
a 2 4 5 6 9 12 13 16 17 18 20 21 31 34 38 40 42 45 48 60
a 2 4 5 6 9 12 13 16 17 18 20 21 31 34 38 40 42 45 60 61
a 2 4 5 6 12 13 16 17 18 20 21 31 34 38 40 42 45 57 60 61
a 2 4 5 6 8 12 13 16 17 18 20 21 31 34 38 40 42 45 57 61
a 2 4 5 6 8 13 16 17 18 20 21 30 31 34 38 40 42 45 57 61
a 2 4 5 6 8 13 16 17 18 21 30 31 34 38 40 42 45 57 60 61
a 2 4 5 6 8 13 16 18 21 30 31 34 35 38 40 42 45 57 60 61
a 2 5 6 8 13 16 17 18 21 30 31 34 35 38 40 42 45 57 60 61
a 2 4 5 6 8 13 16 17 18 30 31 34 35 38 40 42 45 57 60 61
a 2 4 5 6 8 13 16 17 18 20 30 31 34 35 38 42 45 57 60 61
a 2 4 5 6 8 13 16 17 18 20 30 31 34 35 38 40 42 45 57 60
a 2 4 5 6 8 13 16 17 18 20 30 31 34 35 38 40 42 45 54 60
a 2 4 5 6 8 13 16 18 20 21 30 31 34 35 38 40 42 45 54 60
a 2 4 6 8 13 16 17 18 20 21 30 31 34 35 38 40 42 45 54 60
a 2 4 6 8 13 16 17 18 20 21 30 31 34 35 38 42 45 54 57 60
a 2 4 5 6 8 13 16 17 18 21 30 31 34 35 38 42 45 54 57 60
a 2 4 5 6 8 13 16 17 18 21 30 31 34 35 38 40 42 45 57 60
a 2 4 5 6 8 13 16 17 18 30 31 34 35 38 40 42 45 47 57 60
a 2 4 5 6 8 16 17 18 20 30 31 34 35 38 40 42 45 47 57 60
a 2 4 5 6 8 16 17 18 20 30 31 34 35 40 42 45 47 54 57 60
a 2 4 5 6 8 16 17 18 20 30 31 34 35 40 42 45 47 54 60 61
a 2 4 5 6 8 16 17 18 20 30 31 34 35 40 42 45 47 54 60 64
a 2 4 5 6 8 16 17 18 20 31 34 35 38 40 42 45 47 54 60 64
a 2 4 5 6 8 13 16 17 18 20 31 34 35 38 40 42 45 47 54 60
a 2 4 5 6 8 13 16 17 18 20 30 31 34 35 40 42 45 47 54 60
a 2 4 5 6 8 13 16 18 20 30 31 34 35 40 42 45 47 54 57 60
a 2 4 5 6 13 16 18 20 30 31 34 35 38 40 42 45 47 54 57 60
a 2 3 4 5 6 13 16 18 20 30 31 34 35 38 40 42 45 47 54 57
a 2 3 4 5 6 8 13 16 18 20 30 31 34 35 38 40 42 45 47 54
a 2 3 4 5 6 8 13 16 18 20 30 31 34 35 38 40 42 47 54 57
a 2 3 4 5 6 8 13 16 18 20 30 31 34 35 38 40 42 54 57 64
a 2 3 4 5 6 8 13 16 18 20 30 31 34 35 38 40 42 45 54 57
a 3 4 5 6 8 13 16 18 20 30 31 34 35 38 40 42 45 47 54 57
a 2 3 4 5 8 13 16 18 20 30 31 34 35 38 40 42 45 47 54 57
a 2 3 4 5 8 13 16 18 20 30 31 34 35 38 40 42 47 54 57 61
a 2 3 4 5 8 13 16 18 20 31 34 35 38 40 42 46 47 54 57 61
a 2 3 4 5 8 13 16 18 20 31 34 35 38 40 42 45 46 54 57 61
a 2 3 4 8 13 16 18 20 31 34 35 38 40 42 45 46 47 54 57 61
a 2 3 4 6 8 13 16 18 20 31 34 35 38 40 42 45 47 54 57 61
a 2 4 6 8 13 16 18 20 31 34 35 38 40 42 45 47 54 57 60 61
a 2 4 6 13 16 18 20 30 31 34 35 38 40 42 45 47 54 57 60 61
a 2 6 13 16 18 20 30 31 34 35 38 40 42 45 47 54 57 60 61 64
a 2 6 11 13 16 18 20 30 31 34 35 38 40 45 47 54 57 60 61 64
a 2 6 11 13 16 18 20 30 31 34 38 40 45 47 52 54 57 60 61 64
a 2 5 6 11 13 16 18 20 30 31 34 38 40 45 47 52 54 57 60 64
a 2 5 6 11 13 16 18 20 30 31 34 35 38 45 47 52 54 57 60 64
a 2 4 5 6 11 13 16 18 20 30 31 34 35 38 45 47 54 57 60 64
a 2 4 5 6 11 13 16 18 20 31 34 35 38 45 47 54 57 60 61 64
a 2 4 5 6 11 13 16 18 20 30 31 34 38 45 47 54 57 60 61 64
a 2 4 5 6 8 11 13 16 18 20 30 31 34 38 45 47 54 57 60 61
a 2 4 5 6 8 11 13 16 18 20 30 31 34 38 45 47 54 57 60 64
a 2 4 5 6 8 11 13 16 18 20 30 31 34 38 40 45 47 54 57 60
a 2 4 5 6 11 13 16 18 20 30 31 34 35 38 40 45 47 54 57 60
a 2 4 5 6 8 11 13 16 18 20 30 31 34 35 38 40 45 47 57 60
a 2 4 5 6 8 11 13 16 20 30 31 34 35 38 40 45 47 57 60 62
a 2 4 5 6 8 11 13 16 20 30 31 34 35 38 40 47 57 60 61 62
a 2 4 5 6 8 11 13 16 20 30 31 34 35 40 47 53 57 60 61 62
a 2 4 5 6 7 8 11 13 20 30 31 34 35 40 47 53 57 60 61 62
a 2 4 5 6 8 11 13 20 30 31 34 35 40 43 47 53 57 60 61 62
a 2 4 5 6 8 11 13 20 21 30 31 34 35 40 43 53 57 60 61 62
a 4 5 6 8 10 11 13 20 21 30 31 34 35 40 43 53 57 60 61 62
a 4 5 6 8 10 11 13 20 21 30 31 34 35 40 43 53 60 61 62 64
a 4 5 6 7 8 10 11 13 20 21 30 31 34 35 40 43 53 60 61 62
a 2 4 5 6 7 8 10 11 13 20 21 30 31 34 35 40 43 53 60 61
a 4 5 6 7 8 10 11 13 20 21 30 31 34 35 40 43 53 57 60 61
a 4 5 6 7 8 10 11 13 20 21 30 31 34 35 38 40 43 57 60 61
a 5 6 7 8 10 11 13 20 21 30 31 34 35 38 40 43 57 60 61 64
a 4 5 6 7 8 10 13 20 21 30 31 34 35 38 40 43 57 60 61 64
a 3 4 5 6 8 10 13 20 21 30 31 34 35 38 40 43 57 60 61 64
a 3 4 5 6 8 10 13 20 21 30 31 34 35 38 40 43 57 60 61 62
a 3 4 5 6 7 8 10 13 20 21 30 31 34 35 38 40 43 57 60 61
a 3 4 5 6 7 8 10 13 21 30 31 34 35 38 40 43 57 60 61 62
a 3 4 5 6 7 8 10 13 20 21 30 31 34 35 38 43 57 60 61 62
a 3 4 5 6 7 8 10 13 20 21 30 31 34 35 38 57 60 61 62 64
a 3 4 5 6 7 8 10 13 20 21 30 31 34 35 38 40 57 60 61 64
a 3 4 5 6 7 8 10 20 21 30 31 34 35 38 40 57 60 61 62 64
a 2 3 4 5 6 7 8 10 20 21 30 31 34 35 38 40 57 60 62 64
a 2 3 4 5 6 7 8 10 20 21 30 34 35 38 40 43 57 60 62 64
a 2 3 4 6 7 8 10 13 20 21 30 34 35 38 40 43 57 60 62 64
a 2 3 4 5 6 7 8 10 13 20 21 30 34 38 40 43 57 60 62 64
a 2 3 4 5 6 7 8 10 13 20 21 30 34 38 40 43 44 57 62 64
a 2 3 4 5 6 7 8 10 13 14 20 21 30 34 38 43 44 57 62 64
a 3 4 5 6 7 8 10 13 14 20 21 26 30 34 38 43 44 57 62 64
a 3 4 5 6 7 10 13 14 20 21 26 30 34 38 43 44 55 57 62 64
a 2 4 5 6 7 10 13 14 20 21 26 30 34 38 43 44 55 57 62 64
a 4 5 6 7 10 13 14 20 21 26 30 34 38 43 44 51 55 57 62 64
a 2 4 5 6 7 10 13 14 20 21 26 30 34 38 43 44 51 55 57 62
a 2 3 4 5 6 7 10 13 14 20 21 26 30 34 38 43 44 51 57 62
a 2 3 4 6 7 10 13 14 15 20 21 26 30 34 38 43 44 51 57 62
a 2 3 4 6 7 10 13 14 15 20 21 26 30 34 38 43 44 51 58 62
a 2 3 4 6 7 10 13 14 15 20 21 26 30 34 38 43 44 50 51 58
a 3 4 6 7 10 13 14 15 20 21 26 30 34 38 43 44 50 51 55 58
a 4 6 7 10 13 14 15 20 21 26 29 30 34 38 43 44 50 51 55 58
a 4 6 7 10 13 14 15 20 21 26 29 30 34 38 43 44 50 51 55 64
a 4 6 7 10 13 14 15 20 21 26 29 30 34 38 43 44 50 51 55 62
a 4 6 7 10 13 14 15 20 21 23 26 29 30 34 38 43 44 50 51 62
a 4 6 7 10 13 14 15 20 21 23 26 30 34 38 43 44 50 51 62 64
a 4 6 7 10 13 14 15 20 21 23 26 30 34 38 43 44 50 51 55 62
a 4 6 7 10 11 13 14 15 20 21 23 26 30 34 38 43 44 50 51 55
a 4 6 7 10 11 13 14 15 20 21 23 26 30 34 38 43 44 50 55 62
a 4 6 7 10 11 13 14 15 20 21 23 26 29 30 34 38 43 50 55 62
a 2 4 6 7 10 11 13 14 15 20 21 23 26 29 30 34 38 43 50 62
a 2 4 6 7 10 13 14 15 20 21 23 26 29 30 34 38 43 50 55 62
a 2 4 6 7 10 13 14 15 20 21 23 26 29 30 34 38 50 55 62 64
a 2 4 7 10 11 13 14 15 20 21 23 26 29 30 34 38 50 55 62 64
a 2 4 6 7 11 13 14 15 20 21 23 26 29 30 34 38 50 55 62 64
a 2 4 6 7 10 11 13 14 15 20 21 23 26 29 30 34 38 50 55 62
a 2 4 6 10 11 13 14 15 20 21 23 26 29 30 34 38 44 50 55 62
a 2 4 6 10 11 13 14 15 20 21 23 26 29 30 34 38 44 50 58 62
a 2 4 6 11 13 14 15 20 21 23 26 29 30 34 38 44 50 55 58 62
a 2 4 6 10 11 13 14 15 20 21 23 26 29 30 34 38 44 50 55 58
a 2 4 6 10 11 13 14 15 20 21 23 26 29 30 34 38 44 50 58 64
a 2 4 6 7 10 11 13 14 15 20 21 23 26 29 30 34 38 44 50 58
a 2 4 6 7 10 11 14 15 20 21 23 26 29 30 34 38 44 50 55 58
a 2 4 6 7 10 11 15 20 21 23 26 29 30 34 38 44 50 55 58 64
a 2 4 6 7 10 11 14 15 20 21 23 26 29 30 34 44 50 55 58 64
a 2 4 6 7 10 11 13 14 15 20 21 23 26 29 30 34 44 50 55 64
a 2 4 6 7 10 11 13 15 20 21 23 26 29 30 34 44 50 55 62 64
a 2 4 6 7 10 11 13 14 15 20 21 23 26 29 30 34 44 50 55 62
a 2 4 6 7 11 13 14 15 20 21 23 26 29 30 34 38 44 50 55 62
a 2 4 6 7 11 13 14 15 20 21 23 26 29 30 34 44 50 55 62 64
a 2 4 6 7 11 13 14 15 20 21 23 26 29 30 34 44 50 55 58 62
a 2 4 6 7 11 13 14 15 20 21 23 26 29 30 34 43 44 50 55 58
a 2 4 6 7 10 11 13 14 15 20 21 23 26 29 30 34 43 44 50 55
a 2 6 7 10 11 13 14 15 20 21 23 26 29 30 34 43 44 50 55 64
a 2 6 7 10 11 13 14 15 20 21 23 29 30 34 38 43 44 50 55 64
a 2 6 7 10 11 13 14 15 20 21 23 26 29 34 38 43 44 50 55 64
a 2 4 6 7 10 11 13 14 15 20 21 23 26 29 34 38 43 44 50 64
a 2 4 6 7 10 11 13 14 15 20 21 23 26 29 34 38 43 44 62 64
a 2 4 6 7 10 11 13 14 15 20 21 23 26 29 34 38 43 44 55 62
a 2 4 6 7 10 11 13 14 15 20 21 26 29 30 34 38 43 44 55 62
a 2 4 6 7 10 11 13 14 15 20 21 26 29 30 38 43 44 55 58 62
a 2 4 6 7 10 11 13 14 15 20 21 26 29 30 43 44 51 55 58 62
a 4 6 7 10 11 13 14 15 20 21 26 29 30 32 43 44 51 55 58 62
a 4 6 7 10 13 14 15 19 20 21 26 29 30 32 43 44 51 55 58 62
a 4 6 7 10 13 14 15 19 21 26 29 30 32 43 44 51 53 55 58 62
a 4 6 7 10 13 14 15 19 21 26 29 32 43 44 46 51 53 55 58 62
a 4 6 7 10 13 14 15 19 21 29 32 43 44 46 48 51 53 55 58 62
a 6 7 10 13 14 15 19 21 28 29 32 43 44 46 48 51 53 55 58 62
c Step: 455
#END: [Tue Sep  5 06:53:46 2023]