#BEGIN: [Tue Sep 26 03:42:30 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance005_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance005_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance005_graph002.col /benchmark/random_instance/random_instance005_graph002_01.dat
c /benchmark/random_instance/random_instance005_graph002.col
c /benchmark/random_instance/random_instance005_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 9f6d43e6b4784cc60ce85310fdc7254272c8064ef07d071e34ed266ae18db923
s 23 16 44 55 18 57 28 31 34 13 52 40 24 3 49 61 19 63 42
t 30 14 43 36 11 4 20 9 6 34 59 44 18 24 49 26 19 32 23
a YES
a 3 13 16 18 19 23 24 28 31 34 40 42 44 49 52 55 57 61 63
a 3 13 14 16 18 19 23 24 31 34 40 42 44 49 52 55 57 61 63
a 3 11 13 14 18 19 23 24 31 34 40 42 44 49 52 55 57 61 63
a 11 13 14 18 19 20 23 24 31 34 40 42 44 49 52 55 57 61 63
a 11 13 14 18 19 20 23 24 34 40 42 44 49 52 55 57 59 61 63
a 11 13 18 19 20 23 24 28 34 40 42 44 49 52 55 57 59 61 63
a 10 11 13 18 20 23 24 28 34 40 42 44 49 52 55 57 59 61 63
a 3 11 13 18 20 23 24 28 34 40 42 44 49 52 55 57 59 61 63
a 3 11 13 18 20 23 24 28 34 40 42 44 49 50 52 55 57 59 63
a 3 11 13 18 20 23 28 34 40 42 44 49 50 52 55 57 59 61 63
a 3 11 13 14 18 20 23 34 40 42 44 49 50 52 55 57 59 61 63
a 3 11 13 14 18 20 23 24 34 40 42 44 49 50 52 55 57 59 63
a 11 13 14 18 19 20 23 24 34 40 42 44 49 50 52 55 57 59 63
a 11 13 14 18 19 20 23 24 26 34 42 44 49 50 52 55 57 59 63
a 11 14 18 19 20 23 24 26 32 34 42 44 49 50 52 55 57 59 63
a 11 13 14 18 19 20 23 24 26 32 34 42 44 49 50 52 55 57 59
a 11 13 14 18 19 20 23 26 32 34 42 44 49 50 52 55 57 59 63
a 13 14 18 19 20 23 24 26 32 34 42 44 49 50 52 55 57 59 63
a 11 13 14 18 19 20 23 24 26 32 42 44 49 50 52 55 57 59 63
a 11 14 18 19 20 21 23 24 26 32 42 44 49 50 52 55 57 59 63
a 11 14 18 19 20 21 23 24 26 32 42 43 44 49 50 52 55 57 59
a 11 14 18 19 20 21 23 24 26 32 34 42 43 44 49 52 55 57 59
a 11 14 18 19 20 21 23 24 26 32 34 42 44 49 52 55 57 59 63
a 14 18 19 20 21 23 24 26 32 34 42 44 49 52 55 57 59 62 63
a 18 19 20 21 23 24 26 32 34 42 44 49 50 52 55 57 59 62 63
a 14 18 19 20 21 23 24 26 32 34 42 44 49 50 52 55 57 59 62
a 11 14 18 19 20 21 23 24 26 32 34 42 44 49 50 52 55 57 59
a 11 14 18 19 20 21 23 24 26 31 32 34 42 44 49 50 52 55 57
a 11 14 19 20 21 23 24 26 31 32 34 42 43 44 49 50 52 55 57
a 11 14 18 19 20 21 23 24 26 31 32 34 42 43 44 49 50 52 55
a 11 14 18 19 20 21 23 24 26 32 34 42 43 44 49 50 52 55 59
a 11 13 14 18 19 20 21 23 24 26 32 34 42 43 44 49 50 52 59
a 11 13 14 18 19 20 21 23 24 26 31 32 34 42 43 44 49 50 52
a 11 13 14 18 19 20 21 23 24 26 31 32 34 42 43 44 49 50 57
a 11 13 14 18 19 20 21 23 24 26 31 32 34 42 43 44 49 52 57
a 11 13 14 18 19 20 21 23 24 26 31 32 34 42 44 49 52 55 57
a 11 13 14 18 19 20 21 24 26 31 32 34 42 44 49 52 55 57 63
a 11 13 14 18 19 20 21 24 26 31 32 34 42 44 49 55 57 61 63
a 11 13 14 18 19 20 21 24 26 31 32 34 42 44 49 52 55 57 61
a 11 13 14 18 19 20 21 24 26 32 34 42 44 49 52 55 57 59 61
a 11 13 14 18 19 20 21 23 24 26 32 34 42 44 49 52 55 57 61
a 13 14 18 19 20 21 23 24 26 32 34 42 44 49 50 52 55 57 61
a 11 13 14 18 19 20 21 23 24 26 32 34 42 44 50 52 55 57 61
a 11 13 14 18 19 20 21 23 24 26 32 34 42 44 49 50 52 55 57
a 11 13 14 18 19 20 21 23 24 26 32 34 42 44 49 50 52 57 59
a 13 14 18 19 20 21 23 24 26 32 34 42 44 49 50 52 55 57 59
a 13 18 19 20 21 23 24 26 32 34 42 44 49 50 52 55 57 59 61
a 3 13 18 19 20 21 23 24 26 32 34 44 49 50 52 55 57 59 61
a 3 13 18 19 21 23 24 26 32 34 42 44 49 50 52 55 57 59 61
a 3 13 14 18 19 21 23 24 26 32 34 42 44 50 52 55 57 59 61
a 3 13 14 18 19 20 21 23 26 32 34 42 44 50 52 55 57 59 61
a 3 8 13 14 18 19 20 21 23 26 32 34 42 50 52 55 57 59 61
a 3 8 13 14 18 19 20 21 23 26 32 34 42 50 52 54 55 57 61
a 3 8 13 14 18 19 20 21 23 26 32 34 41 50 52 54 55 57 61
a 8 13 14 18 19 20 21 23 26 32 34 41 42 50 52 54 55 57 61
a 13 14 18 19 20 21 23 26 32 34 41 42 49 50 52 54 55 57 61
a 13 14 19 20 21 23 26 31 32 34 41 42 49 50 52 54 55 57 61
a 13 14 18 19 20 21 23 26 31 32 34 41 42 49 50 52 54 55 57
a 14 18 19 20 21 23 26 31 32 34 41 42 43 49 50 52 54 55 57
a 8 18 19 20 21 23 26 31 32 34 41 42 43 49 50 52 54 55 57
a 8 11 18 19 20 21 23 26 31 32 34 41 42 43 49 50 52 54 55
a 8 11 13 18 19 20 21 23 26 31 32 34 41 42 43 49 50 52 54
a 8 11 13 14 18 19 20 21 23 26 31 32 34 41 42 43 49 50 54
a 8 11 13 14 18 19 20 21 23 26 31 32 34 41 42 43 49 50 55
a 11 13 14 18 19 20 21 23 26 31 32 34 41 42 43 49 50 54 55
a 13 14 18 19 20 21 23 26 31 32 34 41 42 43 49 50 54 55 57
a 13 14 18 19 20 21 23 26 31 32 34 41 42 43 49 50 52 54 55
a 13 14 19 20 21 23 26 27 31 32 34 41 42 43 49 50 52 54 55
a 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 49 50 52 55
a 8 13 14 19 20 21 23 24 26 27 32 34 41 42 43 49 50 52 55
a 8 13 14 18 19 20 21 23 24 26 32 34 41 42 43 49 50 52 55
a 8 9 14 18 19 20 21 23 24 26 32 34 41 42 43 49 50 52 55
a 1 8 9 14 18 19 20 21 24 26 32 34 41 42 43 49 50 52 55
a 1 8 14 18 19 20 21 24 26 32 34 41 42 43 49 50 52 55 57
a 1 8 14 18 19 20 21 24 26 31 32 34 41 42 43 49 50 52 57
a 1 8 11 14 18 19 20 21 24 26 31 32 34 41 42 43 49 50 57
a 1 3 11 14 18 19 20 21 24 26 31 32 34 41 42 43 49 50 57
a 3 8 11 14 18 19 20 21 24 26 31 32 34 41 42 43 49 50 57
a 3 8 11 14 18 19 20 21 24 26 31 32 34 41 42 43 49 55 57
a 3 8 11 14 18 19 20 21 24 26 31 32 34 41 42 43 48 49 55
a 3 11 14 18 19 20 21 24 26 31 32 34 41 42 43 48 49 52 55
a 3 11 14 18 19 20 21 24 26 31 32 34 41 42 43 48 49 50 55
a 3 6 11 14 18 19 20 21 24 26 31 32 34 41 42 43 48 49 50
a 1 3 6 11 14 18 19 20 21 24 26 31 32 34 41 42 43 48 50
a 1 3 6 11 18 19 20 21 24 26 31 32 34 41 42 43 48 49 50
a 3 6 11 18 19 20 21 24 26 31 32 34 41 42 43 48 49 50 55
a 1 3 6 11 18 19 20 24 26 31 32 34 41 42 43 48 49 50 55
a 1 3 6 11 14 19 20 24 26 31 32 34 41 42 43 48 49 50 55
a 1 3 11 14 18 19 20 24 26 31 32 34 41 42 43 48 49 50 55
a 1 3 6 11 14 18 19 20 26 31 32 34 41 42 43 48 49 50 55
a 1 3 6 11 14 19 20 26 27 31 32 34 41 42 43 48 49 50 55
a 1 3 6 11 14 19 20 21 26 27 31 32 34 41 42 43 48 49 55
a 1 3 6 11 13 14 19 20 21 26 27 32 34 41 42 43 48 49 55
a 3 6 11 13 14 19 20 21 23 26 27 32 34 41 42 43 48 49 55
a 3 6 11 13 14 19 20 23 26 27 32 34 41 42 43 48 49 55 62
a 3 6 11 13 14 19 20 21 23 26 27 32 34 41 42 43 48 49 62
a 3 6 8 11 13 14 20 21 23 26 27 32 34 41 42 43 48 49 62
a 3 6 8 11 13 14 20 21 23 24 27 32 34 41 42 43 48 49 62
a 3 6 8 11 13 14 20 21 23 24 27 31 34 41 42 43 48 49 62
a 3 6 8 11 13 14 20 21 23 24 26 27 34 41 42 43 48 49 62
a 6 8 11 13 14 20 21 23 24 26 27 32 34 41 42 43 48 49 62
a 6 8 11 13 14 20 21 24 26 27 32 34 41 42 43 48 49 50 62
a 6 8 11 13 14 21 24 26 27 31 32 34 41 42 43 48 49 50 62
a 6 11 13 14 21 23 24 26 27 31 32 34 41 42 43 48 49 50 62
a 6 11 13 14 20 21 23 24 26 27 32 34 41 42 43 48 49 50 62
a 6 11 13 14 20 21 23 24 26 27 31 32 34 41 42 43 49 50 62
a 6 11 13 14 19 20 21 23 26 27 31 32 34 41 42 43 49 50 62
a 11 13 14 19 20 21 23 26 27 31 32 34 41 42 43 49 50 52 62
a 11 13 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 62
a 11 13 14 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 62
a 11 13 14 19 20 21 23 26 27 31 34 41 42 43 48 49 50 52 62
a 8 11 13 14 19 20 21 23 26 27 31 34 41 42 43 48 49 50 62
a 8 11 13 14 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50
a 8 11 13 14 19 20 21 23 26 27 31 32 34 41 42 43 48 50 52
a 8 11 13 14 19 20 21 23 26 27 31 32 34 41 43 48 49 50 52
a 3 8 11 13 14 19 20 21 23 26 27 32 34 41 43 48 49 50 52
a 3 8 11 13 14 19 20 21 23 26 27 32 34 41 42 43 48 50 52
a 8 11 13 14 19 20 21 23 26 27 32 34 41 42 43 48 49 50 52
a 11 13 14 19 20 21 23 26 27 32 34 41 42 43 48 49 50 52 55
a 11 13 14 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52
a 11 13 14 19 20 21 26 27 31 32 34 41 42 43 48 49 50 52 55
a 13 14 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 55
a 13 14 19 20 21 23 26 27 31 32 34 41 42 43 48 49 52 54 55
a 13 14 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 54
a 13 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52
a 13 14 17 19 20 23 26 27 31 32 34 41 42 43 48 49 50 52 54
a 13 14 17 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 54
a 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 54
a 14 17 19 20 21 23 26 27 31 32 34 41 42 48 49 50 52 54 55
a 3 17 19 20 21 23 26 27 31 32 34 41 42 48 49 50 52 54 55
a 13 17 19 20 21 23 26 27 31 32 34 41 42 48 49 50 52 54 55
a 13 14 17 20 21 23 26 27 31 32 34 41 42 48 49 50 52 54 55
a 14 17 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 54 55
a 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 54 55
a 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 50 54 55 62
a 14 17 19 20 21 23 26 27 31 32 34 41 42 48 49 50 54 55 62
a 17 19 20 21 23 26 27 31 32 34 41 42 48 49 50 52 54 55 62
a 3 17 19 21 23 26 27 31 32 34 41 42 48 49 50 52 54 55 62
a 3 14 17 21 23 26 27 31 32 34 41 42 48 49 50 52 54 55 62
a 3 14 17 19 21 23 26 27 31 32 34 41 42 48 50 52 54 55 62
a 3 8 14 17 19 21 23 26 27 31 32 34 41 42 48 50 52 54 55
a 8 14 17 19 21 23 26 27 31 32 34 41 42 48 49 50 52 54 55
a 8 14 17 19 21 23 26 27 31 32 34 41 42 48 49 50 52 55 62
a 8 14 17 19 20 21 23 26 27 31 32 34 41 42 48 49 52 55 62
a 8 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 55 62
a 8 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 54 55 62
a 8 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 52 55 62
a 8 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 52 54 55
a 8 14 17 19 20 21 23 26 27 31 32 34 41 42 48 50 52 54 55
a 8 14 19 20 21 23 26 27 31 32 34 41 42 48 49 50 52 54 55
a 8 14 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 54 55
a 14 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 54 55 62
a 8 14 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 54 62
a 8 13 14 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 62
a 8 13 14 17 20 23 26 27 31 32 34 41 42 43 48 49 50 52 62
a 8 13 14 17 19 20 26 27 31 32 34 41 42 43 48 49 50 52 62
a 8 13 14 17 19 20 21 26 31 32 34 41 42 43 48 49 50 52 62
a 8 13 14 17 19 20 21 26 27 31 32 34 41 42 43 48 49 52 62
a 13 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 52 62
a 7 13 14 17 19 20 21 23 26 27 31 32 41 42 43 48 49 52 62
a 13 14 17 19 20 21 23 26 27 31 32 41 42 43 48 49 50 52 62
a 7 13 14 17 19 20 21 23 26 27 31 32 41 42 43 48 49 50 52
a 8 13 14 17 19 20 21 23 26 27 31 32 41 42 43 48 49 50 52
a 7 8 13 14 17 19 20 21 23 26 27 31 32 41 42 43 49 50 52
a 7 8 13 14 17 19 20 21 23 26 27 31 32 41 42 43 48 49 50
a 7 8 13 14 17 19 21 23 26 27 31 32 41 42 43 48 49 50 52
a 8 13 14 17 19 21 23 26 27 31 32 34 41 42 43 48 49 50 52
a 8 13 14 17 19 20 21 26 27 31 32 34 41 42 43 48 49 50 52
a 8 13 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50
a 8 13 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 54
a 8 13 14 17 19 21 23 26 27 31 32 34 41 42 43 48 49 50 54
a 13 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 54
a 13 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 54 62
a 8 13 14 17 19 20 21 23 26 27 31 32 34 41 42 48 49 54 62
a 8 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 54 62
a 8 13 14 17 19 20 21 23 26 27 32 34 41 42 43 48 49 54 62
a 8 13 14 17 19 20 21 23 26 27 32 34 41 42 43 49 54 57 62
a 8 13 14 17 19 20 21 23 26 27 31 32 34 41 42 43 49 54 57
a 8 13 14 17 19 20 21 23 26 27 31 32 34 41 43 49 52 54 57
a 8 13 14 17 19 20 21 23 26 27 31 32 34 41 42 43 52 54 57
a 8 13 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 52 54
a 8 13 14 19 20 21 23 26 27 31 32 34 41 42 43 48 50 52 54
a 8 14 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 54
a 14 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 54 62
a 8 14 19 20 21 26 27 31 32 34 41 42 43 48 49 50 52 54 62
a 8 14 19 21 23 26 27 31 32 34 41 42 43 48 49 50 52 54 62
a 8 14 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 54 62
a 8 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 54
a 8 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 55
a 8 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52
a 8 14 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 53
a 8 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 53 62
a 8 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 62
a 8 13 17 19 20 21 26 27 31 32 34 41 42 43 48 49 50 52 62
a 8 17 19 20 21 26 27 31 32 34 41 42 43 48 49 50 52 54 62
a 8 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 54
a 8 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 50 52 54
a 13 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 50 52 54
a 13 14 17 19 20 21 23 26 27 31 32 34 41 42 43 49 50 52 54
a 13 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 52 54
a 3 13 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 52
a 3 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 52 54
a 3 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 54 55
a 3 14 17 19 20 21 23 26 27 31 32 34 41 42 43 48 49 52 55
a 3 14 17 19 20 21 23 26 27 31 34 41 42 43 48 49 52 54 55
a 3 14 17 19 20 21 23 26 27 31 34 35 41 42 43 48 49 52 55
a 3 14 17 19 20 21 23 26 27 31 34 35 41 42 43 48 49 50 52
a 3 14 17 19 21 23 26 27 31 32 34 35 41 42 43 48 49 50 52
a 14 17 19 21 23 26 27 31 32 34 35 41 42 43 48 49 50 52 62
a 8 14 17 19 21 23 26 27 31 32 34 35 41 42 43 48 49 50 62
a 8 14 17 19 21 23 26 27 32 34 35 41 42 43 48 49 50 55 62
a 8 17 19 21 23 26 27 32 34 35 41 42 43 48 49 50 54 55 62
a 8 17 19 21 23 27 31 32 34 35 41 42 43 48 49 50 54 55 62
a 8 17 19 20 21 23 27 31 32 34 35 42 43 48 49 50 54 55 62
a 3 8 17 19 20 21 23 27 32 34 35 42 43 48 49 50 54 55 62
a 3 8 17 19 20 21 23 27 32 34 35 42 43 48 49 50 52 54 55
a 3 8 17 19 20 21 23 26 27 32 34 35 42 43 49 50 52 54 55
a 3 8 17 19 20 21 23 26 27 31 32 34 35 42 43 49 50 52 54
a 3 8 17 19 20 23 26 27 31 32 34 35 42 43 49 50 52 54 55
a 3 8 17 19 20 21 23 26 27 31 32 34 35 42 43 49 50 52 55
a 3 8 17 19 20 21 23 26 27 31 32 34 35 41 42 43 49 52 55
a 3 8 17 19 20 21 23 26 27 31 32 34 35 41 42 43 49 50 52
a 3 8 17 19 20 21 23 26 27 31 32 34 35 41 42 43 50 52 57
a 3 8 17 19 20 21 26 27 31 32 34 35 41 42 43 50 52 54 57
a 3 8 17 19 20 21 26 27 31 32 34 35 41 42 43 49 50 52 54
a 3 8 14 19 20 21 26 27 31 32 34 35 41 42 43 49 50 52 54
a 1 3 8 14 19 20 21 26 27 31 32 34 35 41 42 43 49 50 52
a 1 3 8 14 19 20 21 26 27 31 32 34 35 41 42 43 48 50 52
a 1 3 8 14 19 20 21 26 27 32 34 35 41 42 43 48 49 50 52
a 1 3 8 19 20 21 26 27 32 34 35 41 42 43 48 49 50 52 54
a 1 3 8 17 19 20 21 26 27 32 34 35 41 42 43 48 49 50 54
a 1 3 8 14 17 20 21 26 27 32 34 35 41 42 43 48 49 50 54
a 1 8 14 17 19 20 21 26 27 32 34 35 41 42 43 48 49 50 54
a 1 8 14 17 19 20 21 26 27 31 32 34 35 42 43 48 49 50 54
a 1 8 14 17 19 20 21 26 27 31 32 34 35 41 42 43 48 49 50
a 8 14 17 19 20 21 26 27 31 32 34 35 41 42 43 48 49 50 52
a 8 14 17 19 20 21 26 27 31 32 35 41 42 43 48 49 50 52 54
a 8 14 17 19 20 21 26 27 31 32 34 35 42 43 48 49 50 52 54
a 8 14 17 20 21 26 27 31 32 34 35 41 42 43 48 49 50 52 54
a 14 17 19 20 21 26 27 31 32 34 35 41 42 43 48 49 50 52 54
a 14 17 19 20 21 26 27 31 32 34 35 41 42 43 49 50 52 54 57
a 14 17 19 20 21 23 26 27 31 32 34 35 41 42 43 50 52 54 57
a 14 17 19 20 21 23 26 27 31 32 34 35 41 42 43 49 50 52 54
a 8 14 17 19 20 21 23 26 27 31 32 34 35 41 42 43 49 52 54
a 8 14 17 19 20 21 23 26 27 31 32 34 35 41 42 43 52 54 57
a 8 14 17 19 20 21 23 26 27 31 32 35 41 42 43 50 52 54 57
a 8 14 17 19 20 21 23 26 27 31 32 35 41 42 49 50 52 54 57
a 8 14 17 19 20 21 23 26 27 31 32 35 41 42 43 49 50 52 54
a 8 14 17 19 21 23 26 27 31 32 34 35 41 42 43 49 50 52 54
a 8 14 17 19 21 26 27 31 32 34 35 41 42 43 49 50 52 54 57
a 8 14 17 19 21 23 26 27 31 32 34 35 41 42 49 50 52 54 57
a 8 14 17 19 20 21 23 26 27 31 34 35 41 42 49 50 52 54 57
a 14 17 19 20 21 23 26 27 31 34 35 41 42 43 49 50 52 54 57
a 8 14 17 19 20 21 23 26 27 31 34 35 41 42 43 49 52 54 57
a 8 14 19 20 21 23 26 27 31 32 34 35 41 42 43 49 52 54 57
a 8 14 19 20 23 26 27 31 32 34 35 41 42 43 49 50 52 54 57
a 8 14 19 20 23 26 27 31 32 34 35 41 42 43 48 49 50 52 54
a 8 14 17 19 20 23 26 31 32 34 35 41 42 43 48 49 50 52 54
a 8 14 17 19 20 23 26 31 32 34 35 41 42 43 48 49 50 54 55
a 8 14 17 19 20 23 26 31 32 34 35 41 43 48 49 50 52 54 55
a 8 14 17 19 20 26 27 31 32 34 35 41 43 48 49 50 52 54 55
a 8 14 17 19 20 21 26 27 32 34 35 41 43 48 49 50 52 54 55
a 8 14 17 19 20 21 23 26 27 32 34 35 41 43 48 49 52 54 55
a 14 17 19 20 21 23 26 27 32 34 35 41 42 43 48 49 52 54 55
a 14 17 19 21 23 26 27 32 34 35 41 42 43 48 49 50 52 54 55
a 14 17 19 20 23 26 27 32 34 35 41 42 43 48 49 50 52 54 55
a 14 17 19 20 21 23 26 27 32 34 41 42 43 48 49 50 52 54 55
a 14 17 19 20 23 26 27 31 32 34 41 42 43 48 49 50 52 54 55
a 8 14 17 19 20 23 26 27 31 32 34 41 42 43 48 50 52 54 55
a 8 13 14 17 19 20 23 27 31 32 34 41 42 43 48 50 52 54 55
a 8 13 14 19 20 23 27 31 32 34 41 42 43 48 49 50 52 54 55
a 8 13 14 19 20 21 23 27 31 32 34 42 43 48 49 50 52 54 55
a 8 13 14 19 20 21 23 31 32 34 41 42 43 48 49 50 52 54 55
a 8 13 19 20 21 23 26 31 32 34 41 42 43 48 49 50 52 54 55
a 8 13 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 54 55
a 8 11 13 20 21 23 26 27 31 32 34 41 42 43 48 49 52 54 55
a 8 11 13 14 20 21 23 26 27 32 34 41 42 43 48 49 52 54 55
a 8 11 13 14 19 20 21 23 26 27 32 34 41 42 43 48 49 54 55
a 8 11 13 14 19 20 21 23 26 27 31 32 34 41 42 43 48 49 54
a 8 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 48 49
a 8 11 13 14 19 20 21 23 24 26 27 31 32 41 42 43 48 49 62
a 8 11 13 14 19 20 21 23 24 26 27 31 32 41 42 48 49 50 62
a 8 11 13 14 19 20 21 23 24 26 27 32 34 41 42 48 49 50 62
a 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 48 49 50 62
a 8 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 48 50 62
a 8 13 14 19 20 21 23 24 26 27 31 32 34 41 42 48 50 52 62
a 8 13 14 19 20 21 23 24 26 27 31 32 34 41 42 48 49 50 52
a 8 13 14 19 20 21 23 24 26 27 31 34 41 42 43 48 49 50 52
a 8 13 14 19 20 21 23 24 26 27 31 34 41 42 43 47 48 49 50
a 8 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 47 48 49
a 8 14 19 20 21 23 24 26 27 31 32 34 41 42 43 47 48 49 62
a 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 47 48 49 62
a 8 13 14 19 20 21 23 24 26 27 31 32 34 41 42 47 48 49 62
a 13 14 19 20 21 23 24 26 27 31 32 34 41 42 47 48 49 50 62
a 8 13 14 19 20 21 23 26 27 31 32 34 41 42 47 48 49 50 62
a 8 13 19 20 21 23 26 27 31 32 34 41 42 43 47 48 49 50 62
a 8 11 13 19 20 21 23 27 31 32 34 41 42 43 47 48 49 50 62
a 8 11 13 14 19 20 21 23 31 32 34 41 42 43 47 48 49 50 62
a 8 11 13 14 19 20 21 23 26 31 32 34 41 42 43 47 48 49 62
a 8 11 13 14 19 20 21 23 24 26 31 32 34 41 42 43 47 48 49
a 8 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 47 48
a 8 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 47 50
a 8 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 47 55
a 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 47 50 55
a 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 50 52 55
a 11 13 14 19 20 21 23 24 26 27 31 34 41 42 43 49 50 52 55
a 11 13 19 20 21 23 24 26 27 31 32 34 41 42 43 49 50 52 55
a 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 49 50 52
a 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 49 50 52 62
a 13 14 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 52 62
a 13 14 19 20 21 23 26 27 32 34 41 42 43 48 49 50 52 55 62
a 13 19 20 21 23 24 26 27 32 34 41 42 43 48 49 50 52 55 62
a 19 20 21 23 24 26 27 31 32 34 41 42 43 48 49 50 52 55 62
a 11 20 21 23 24 26 27 31 32 34 41 42 43 48 49 50 52 55 62
a 11 14 20 21 23 24 26 27 31 32 34 41 42 43 48 49 50 55 62
a 3 11 14 20 21 23 24 26 27 31 32 34 41 42 43 48 49 50 55
a 3 11 14 20 21 23 24 26 27 31 32 34 42 43 48 49 50 52 55
a 3 11 14 20 21 23 24 26 27 31 32 34 41 42 43 48 50 52 55
a 3 11 14 20 21 23 24 27 31 32 34 41 42 43 48 49 50 52 55
a 3 11 14 19 20 21 23 27 31 32 34 41 42 43 48 49 50 52 55
a 3 11 14 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 55
a 3 8 11 14 19 20 21 23 26 27 31 32 41 42 43 48 49 50 55
a 3 8 11 14 19 20 21 23 26 27 31 32 34 41 42 43 48 49 55
a 3 8 11 14 19 20 21 23 24 26 27 31 32 34 42 43 48 49 55
a 3 8 11 14 19 20 21 23 24 26 31 32 34 41 42 43 48 49 55
a 3 8 11 14 19 20 21 23 24 26 27 32 34 41 42 43 48 49 55
a 3 8 11 13 14 19 20 21 23 24 26 27 32 41 42 43 48 49 55
a 3 7 8 11 13 14 19 20 21 23 24 26 27 32 41 42 43 48 49
a 3 7 8 11 13 14 19 20 21 23 24 26 27 32 41 42 48 49 55
a 3 7 8 11 13 14 19 20 21 23 24 26 27 31 32 41 48 49 55
a 3 6 7 8 11 13 14 19 20 21 23 24 26 27 31 32 41 48 55
a 3 6 7 8 11 13 14 19 20 21 23 24 26 27 31 32 41 42 48
a 6 7 8 11 13 14 19 20 21 23 24 26 27 31 32 41 42 43 48
a 3 6 7 8 11 13 14 19 20 21 23 24 26 27 31 41 42 43 48
a 3 6 7 8 11 13 14 19 20 21 23 24 26 27 31 32 42 43 48
a 3 6 7 8 11 13 14 19 20 21 23 26 27 31 32 41 42 43 48
a 3 6 7 8 11 13 14 19 20 21 23 26 31 32 41 42 43 48 49
a 3 6 7 8 11 13 14 19 20 21 23 24 26 31 32 41 43 48 49
a 6 7 8 11 13 14 19 20 21 23 24 26 27 31 32 41 43 48 49
a 7 8 11 13 14 19 20 21 23 24 26 27 31 32 41 42 43 48 49
a 6 8 11 13 14 19 20 21 23 24 26 27 31 32 41 42 43 48 49
a 6 8 11 13 14 19 20 21 23 24 26 27 31 32 41 42 43 49 50
a 6 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 49 50
a 3 6 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 49 50
a 3 6 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 48 49
a 6 8 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 48 49
a 6 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 48 49 50
a 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 48 49 50
a 6 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 48 50
a 6 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 48 49
a 6 8 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 48
a 8 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 43 48 52
a 8 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 48 49 52
a 8 11 13 14 19 20 21 23 24 26 27 32 34 41 42 48 49 50 52
a 8 11 13 14 19 20 21 23 24 26 27 32 34 41 42 43 48 49 50
a 8 11 13 14 19 20 21 23 24 26 27 32 34 42 43 48 49 50 52
a 8 11 13 14 19 20 21 23 24 26 27 31 32 34 42 48 49 50 52
a 8 11 13 14 19 20 21 23 24 26 27 31 32 34 41 42 48 49 50
a 8 11 13 14 19 20 21 23 24 26 27 31 32 34 41 48 49 50 55
a 8 11 13 14 19 20 21 23 24 26 27 32 34 41 43 48 49 50 55
a 8 11 13 14 20 21 23 24 26 27 32 34 41 42 43 48 49 50 55
a 8 11 13 14 19 20 21 23 24 26 27 32 34 41 42 43 48 49 55
a 3 8 11 13 14 19 20 21 23 24 26 27 32 34 41 42 48 49 55
a 3 8 11 13 14 19 20 21 23 24 26 27 31 32 41 42 48 49 55
a 3 8 11 13 14 19 20 21 23 24 26 27 31 32 34 41 48 49 55
a 3 8 11 13 14 19 20 21 23 26 27 31 32 34 41 48 49 54 55
a 8 11 13 14 19 20 21 23 26 27 31 32 34 41 48 49 54 55 62
a 8 11 13 14 19 20 21 23 26 27 31 32 34 41 43 48 49 54 55
a 8 11 13 14 19 20 21 23 26 27 31 32 34 41 43 48 49 50 54
a 8 13 14 19 20 21 23 26 27 31 32 34 41 42 43 48 49 50 54
a 8 11 13 14 19 20 21 23 26 27 31 32 34 41 42 43 48 50 54
a 8 11 14 19 20 21 23 26 27 31 32 34 41 42 43 48 50 54 55
a 8 11 14 19 20 21 23 26 27 32 34 41 42 43 48 49 50 54 55
a 8 11 19 20 21 23 26 27 32 34 41 42 43 48 49 50 52 54 55
a 8 11 14 19 21 23 26 27 32 34 41 42 43 48 49 50 52 54 55
a 8 11 14 19 20 21 23 27 32 34 41 42 43 48 49 50 52 54 55
a 8 14 19 20 21 23 26 27 32 34 41 42 43 48 49 50 52 54 55
a 8 11 14 19 20 21 23 26 27 32 34 41 42 43 48 50 52 54 55
a 11 13 14 19 20 21 23 26 27 32 34 41 42 43 48 50 52 54 55
a 3 11 13 14 19 20 23 26 27 32 34 41 42 43 48 50 52 54 55
a 3 11 13 14 19 20 21 23 26 32 34 41 42 43 48 50 52 54 55
a 3 11 13 14 19 20 21 26 27 32 34 41 42 43 48 50 52 54 55
a 3 11 13 14 19 20 21 26 27 31 34 41 42 43 48 50 52 54 55
a 3 13 14 19 20 21 26 27 31 32 34 41 42 43 48 50 52 54 55
a 3 8 13 14 19 21 26 27 31 32 34 41 42 43 48 50 52 54 55
a 3 8 13 19 21 23 26 27 31 32 34 41 42 43 48 50 52 54 55
a 3 8 13 19 20 21 23 26 27 31 32 34 41 42 43 48 50 52 55
a 3 8 13 20 21 23 26 27 31 32 34 41 42 43 48 50 52 54 55
a 3 8 13 19 20 21 26 27 31 32 34 41 42 43 48 50 52 54 55
a 3 8 11 13 19 21 26 27 31 32 34 41 42 43 48 50 52 54 55
a 3 8 11 13 14 19 21 26 27 31 32 34 41 42 43 48 50 52 54
a 8 11 13 14 19 20 21 26 27 31 32 34 41 42 43 48 50 52 54
a 11 13 14 19 20 21 26 27 31 32 34 41 42 43 48 49 50 52 54
a 8 11 13 14 19 20 21 26 27 31 32 34 41 42 43 48 49 50 52
a 3 8 13 14 19 20 21 26 27 31 32 34 41 42 43 48 49 50 52
a 3 8 13 14 19 20 21 23 26 27 31 32 34 41 42 43 48 50 52
a 3 8 14 19 20 21 23 26 27 31 32 34 41 42 43 48 50 52 54
a 3 8 14 19 20 21 23 26 27 31 32 34 41 42 43 50 52 53 54
a 3 8 14 19 20 21 23 26 27 31 32 34 41 42 50 52 53 54 55
a 3 14 19 20 21 23 26 27 31 32 34 35 41 42 50 52 53 54 55
a 3 19 20 21 23 26 27 31 32 34 35 41 42 43 50 52 53 54 55
a 3 14 19 20 21 23 26 27 31 32 34 35 41 42 43 50 52 53 55
a 14 19 20 21 23 24 26 27 31 32 34 35 41 42 43 50 52 53 55
a 8 19 20 21 23 24 26 27 31 32 34 35 41 42 43 50 52 53 55
a 19 20 21 23 24 26 27 31 32 34 35 41 42 43 50 52 53 55 62
a 9 20 21 23 24 26 27 31 32 34 35 41 42 43 50 52 53 55 62
a 9 19 21 23 24 26 27 31 32 34 35 41 42 43 50 52 53 55 62
a 8 19 21 23 24 26 27 31 32 34 35 41 42 43 50 52 53 55 62
a 8 9 21 23 24 26 27 31 32 34 35 41 42 43 50 52 53 55 62
a 8 9 19 21 23 24 26 27 31 32 34 35 41 42 43 50 52 53 62
a 8 19 21 23 24 26 27 31 32 34 35 41 42 43 50 52 53 57 62
a 8 19 20 21 23 24 26 27 31 32 34 35 41 42 43 50 52 57 62
a 8 19 20 21 23 24 26 27 32 34 35 41 42 43 50 52 53 57 62
a 19 20 21 23 24 26 27 32 34 35 41 42 43 50 52 53 55 57 62
a 19 20 21 23 24 26 27 32 34 35 41 42 43 49 50 52 53 55 57
a 14 19 20 21 23 24 26 27 32 34 35 41 42 43 49 50 52 53 57
a 14 19 20 23 24 26 27 32 34 35 41 42 43 49 50 52 53 55 57
a 14 19 20 21 23 24 26 27 32 34 35 41 43 49 50 52 53 55 57
a 3 14 19 21 23 24 26 27 32 34 35 41 43 49 50 52 53 55 57
a 3 19 20 21 23 24 26 27 32 34 35 41 43 49 50 52 53 55 57
a 3 19 20 21 23 24 26 27 32 34 35 41 42 43 49 50 52 53 55
a 3 19 20 21 23 24 26 27 32 34 35 41 42 43 50 52 53 55 59
a 3 19 20 21 23 24 26 27 32 34 35 41 42 43 49 50 53 55 59
a 19 20 21 23 24 26 27 32 34 35 41 42 43 49 50 52 53 55 59
a 3 19 20 21 23 24 26 27 32 34 35 41 42 43 49 50 52 53 59
a 3 19 20 21 23 24 26 27 32 34 41 42 43 49 50 52 53 57 59
a 19 20 21 23 24 26 27 32 34 41 42 43 49 50 52 53 55 57 59
a 20 21 23 24 26 27 32 34 35 41 42 43 49 50 52 53 55 57 59
a 3 20 21 23 24 26 27 32 34 35 41 42 43 49 50 52 53 55 57
a 3 14 20 21 23 24 26 27 32 34 35 41 42 43 49 50 52 53 57
a 3 14 19 20 21 23 24 26 27 32 34 41 42 43 49 50 52 53 57
a 3 14 19 20 21 23 24 26 27 32 34 41 42 43 49 50 52 53 55
a 14 19 20 21 23 24 26 27 32 34 35 41 42 43 49 50 52 53 55
a 8 14 19 20 21 23 24 26 27 32 34 41 42 43 49 50 52 53 55
a 3 8 14 19 20 21 23 24 26 27 34 41 42 43 49 50 52 53 55
a 3 8 14 19 20 21 23 24 26 27 32 34 41 42 43 49 50 52 55
a 3 8 14 19 20 21 23 24 26 27 32 34 41 42 43 49 50 52 53
a 3 8 14 19 20 21 23 24 26 27 32 35 41 42 43 49 50 52 53
a 3 14 19 20 21 23 24 26 27 32 34 35 41 42 43 49 50 52 53
a 3 8 14 19 20 21 23 24 26 27 32 34 35 41 42 43 50 52 53
a 3 8 14 19 20 21 23 24 26 27 32 34 35 41 42 43 49 50 53
a 3 8 14 19 20 21 23 24 26 27 32 34 35 41 42 43 49 53 57
a 3 14 19 20 21 23 24 26 27 32 34 35 41 42 43 49 53 55 57
a 3 14 19 20 21 23 24 26 27 31 32 34 35 41 42 43 49 53 57
a 3 14 19 20 21 23 24 26 27 31 32 34 35 41 42 43 49 52 53
a 3 14 19 20 21 23 24 26 27 31 32 34 35 41 42 49 52 53 55
a 14 19 20 21 23 24 26 27 31 32 34 35 41 42 43 49 52 53 55
a 14 19 20 21 23 24 26 27 31 32 34 35 41 42 43 49 50 53 55
a 19 20 21 23 24 26 27 31 32 34 35 41 42 43 49 50 53 55 57
a 3 20 21 23 24 26 27 31 32 34 35 41 42 43 49 50 53 55 57
a 3 19 20 21 23 24 26 27 31 32 34 35 41 42 43 49 50 53 55
a 3 9 19 20 21 23 24 26 27 31 32 34 35 41 42 49 50 53 55
a 3 9 14 19 20 21 23 24 26 27 31 32 34 35 41 42 49 50 53
a 3 14 19 20 21 23 24 26 27 31 32 34 35 41 42 43 49 50 53
a 3 14 19 20 21 23 24 26 27 31 32 34 35 41 42 49 50 53 55
a 8 14 19 20 21 23 24 26 27 31 32 34 35 41 42 49 50 53 55
a 9 14 19 20 21 23 24 26 27 31 32 34 35 41 42 49 50 53 55
a 8 9 14 19 20 21 24 26 27 31 32 34 35 41 42 49 50 53 55
a 8 9 19 20 21 24 26 27 31 32 34 35 41 42 47 49 50 53 55
a 8 9 14 19 20 24 26 27 31 32 34 35 41 42 47 49 50 53 55
a 8 9 14 19 20 23 24 26 27 31 32 34 35 42 47 49 50 53 55
a 8 9 14 19 20 23 24 26 27 31 32 34 35 41 42 47 49 50 53
a 8 9 14 19 20 23 24 26 27 31 32 34 35 41 42 47 50 53 55
a 8 9 14 19 20 23 24 26 27 31 32 34 35 41 42 43 47 53 55
a 8 9 14 19 20 23 24 26 27 31 32 34 35 41 42 43 47 49 55
a 6 8 9 14 19 20 23 24 26 27 31 32 34 35 41 43 47 49 55
a 6 8 9 19 20 23 24 26 27 31 32 34 35 41 42 43 47 49 55
a 6 8 9 14 19 20 23 26 27 31 32 34 35 41 42 43 47 49 55
a 6 8 9 14 19 20 26 27 31 32 34 35 41 42 43 47 49 50 55
a 6 8 9 14 19 20 24 26 27 31 34 35 41 42 43 47 49 50 55
a 6 8 9 14 19 20 21 24 26 27 31 34 35 41 42 43 49 50 55
a 8 9 14 19 20 21 23 24 26 27 31 34 35 41 42 43 49 50 55
a 8 9 14 19 20 21 23 24 26 27 31 34 35 41 42 49 50 53 55
a 8 9 14 19 20 21 23 24 26 27 31 34 35 41 42 47 49 50 53
a 8 9 14 19 20 21 23 24 26 27 34 35 41 42 43 47 49 50 53
a 8 9 14 19 20 21 23 24 26 32 34 35 41 42 43 47 49 50 53
a 8 9 14 19 20 21 23 24 26 27 32 34 35 41 42 43 47 49 50
a 8 9 11 14 19 20 21 23 24 26 27 32 34 41 42 43 47 49 50
a 8 9 11 14 19 20 23 24 26 27 31 32 34 41 42 43 47 49 50
a 4 8 9 11 14 19 20 23 24 26 27 31 32 34 41 43 47 49 50
a 4 9 11 14 19 20 23 24 26 27 31 32 34 36 41 43 47 49 50
a 4 6 9 11 14 19 20 23 24 26 27 32 34 36 41 43 47 49 50
a 4 6 9 11 14 19 20 23 24 26 27 32 34 36 41 43 49 50 59
a 4 6 9 11 14 18 19 20 23 24 26 32 34 36 41 43 49 50 59
a 4 6 9 11 14 18 19 20 23 24 26 32 34 36 43 44 49 50 59
a 4 6 9 11 14 18 19 20 23 24 26 30 32 34 36 43 44 49 59
c Step: 485
#END: [Tue Sep 26 04:12:30 2023]