#BEGIN: [Tue Sep  5 06:53:46 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance009_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance009_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_instance009_graph001.col /benchmark/random_instance/random_instance009_graph001_01.dat
c /benchmark/random_instance/random_instance009_graph001.col
c /benchmark/random_instance/random_instance009_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID d3b5c235696216df386eb4a9b5f5a58ec4391663d920483a674bca6ff8c20bcf
s 61 47 13 56 103 55 92 19 73 14 111 91 95 23 50 33 85 10 108 34 74 53 88 113 41 110 62 48 86 31 1 15 101
t 92 87 114 43 15 90 73 25 98 42 61 85 8 78 11 100 104 40 10 32 51 41 19 7 103 27 107 80 117 72 31 86 110
a YES
a 1 10 13 14 15 19 23 31 33 34 41 47 48 50 53 55 56 61 62 73 74 85 86 88 91 92 95 101 103 108 110 111 113
a 1 10 13 14 15 19 23 31 33 34 41 47 48 50 53 55 56 61 62 73 85 86 88 91 92 95 101 103 108 110 111 113 114
a 1 10 13 14 15 19 23 31 33 34 41 47 48 50 53 55 56 59 61 62 85 86 88 91 92 95 101 103 108 110 111 113 114
a 1 10 13 14 15 19 23 31 33 34 44 47 48 50 53 55 56 59 61 62 85 86 88 91 92 95 101 103 108 110 111 113 114
a 1 10 13 14 15 18 19 23 31 33 34 47 48 50 53 55 56 59 61 62 85 86 88 91 92 95 101 103 108 110 111 113 114
a 1 10 13 14 15 18 19 23 31 33 34 41 47 48 50 53 55 56 59 61 62 85 86 88 91 92 95 101 103 108 110 113 114
a 1 10 14 15 18 19 23 31 33 34 41 47 48 50 53 55 56 59 61 62 85 86 88 91 92 95 101 103 108 110 111 113 114
a 1 10 13 14 15 18 19 23 31 33 34 41 47 48 50 53 55 56 59 61 62 85 86 88 91 92 101 103 108 110 111 113 114
a 1 10 13 14 15 18 19 23 31 33 34 41 47 48 50 53 55 56 59 60 61 62 85 86 88 91 92 101 103 108 110 111 113
a 1 10 13 14 15 18 19 23 31 33 34 41 44 47 48 50 53 55 56 59 60 61 62 85 86 88 91 92 101 103 108 111 113
a 1 10 14 15 18 19 23 31 33 34 41 44 47 48 50 53 55 56 59 60 61 62 85 86 88 91 92 101 103 108 110 111 113
a 1 10 13 14 15 18 19 23 31 34 41 44 47 48 50 53 55 56 59 60 61 62 85 86 88 91 92 101 103 108 110 111 113
a 1 10 13 14 15 18 19 23 31 33 34 41 44 47 48 50 53 55 56 59 60 61 62 85 86 88 91 92 101 103 110 111 113
a 1 10 13 14 15 18 19 23 31 33 34 41 44 47 48 50 53 55 56 59 61 62 85 86 88 91 92 101 103 110 111 113 114
a 1 10 13 14 15 18 19 23 31 33 34 41 44 47 48 50 53 55 56 59 61 62 85 86 91 92 101 103 108 110 111 113 114
a 1 10 13 14 15 18 19 23 31 34 41 44 47 48 50 53 55 56 59 61 62 85 86 88 91 92 101 103 108 110 111 113 114
a 1 10 13 14 15 18 19 23 29 31 34 44 47 48 50 53 55 56 59 61 62 85 86 88 91 92 101 103 108 110 111 113 114
a 1 13 14 15 18 19 23 29 31 34 44 47 48 50 53 55 56 59 61 62 65 85 86 88 91 92 101 103 108 110 111 113 114
a 1 13 14 15 18 19 23 29 31 34 44 47 48 50 53 55 56 59 61 62 63 65 85 86 88 91 92 101 108 110 111 113 114
a 1 13 14 15 18 19 23 29 31 34 44 45 47 48 50 53 55 56 59 61 62 63 65 85 86 88 91 92 101 108 111 113 114
a 1 10 13 14 15 18 19 23 29 31 34 44 45 47 48 50 53 55 56 59 61 62 63 85 86 88 91 92 101 108 111 113 114
a 1 10 13 14 15 18 19 23 29 31 34 44 45 47 48 50 53 55 56 59 61 62 63 85 86 88 91 92 101 103 108 111 114
a 1 10 13 14 15 18 19 23 29 31 34 45 47 48 50 53 55 56 59 61 62 63 85 86 88 91 92 98 101 103 108 111 114
a 1 10 13 14 15 18 19 23 29 31 33 34 45 47 48 50 53 55 56 59 61 62 63 85 86 88 91 92 101 103 108 111 114
a 1 10 14 15 18 19 23 29 31 33 34 45 47 48 50 53 55 56 59 61 62 63 83 85 86 88 91 92 101 103 108 111 114
a 1 10 14 15 18 19 23 29 31 33 34 45 47 48 50 53 55 56 59 61 62 63 83 85 86 88 91 92 101 103 108 113 114
a 1 10 14 15 18 19 23 29 31 33 34 47 48 50 53 55 56 59 61 62 63 83 85 86 88 91 92 101 103 108 110 113 114
a 1 10 14 18 19 23 29 31 33 34 44 47 48 50 53 55 56 59 61 62 63 83 85 86 88 91 92 101 103 108 110 113 114
a 1 10 14 15 18 19 23 29 31 33 34 44 47 48 50 53 55 56 59 61 62 63 83 85 86 88 92 101 103 108 110 113 114
a 1 10 14 15 18 19 23 29 31 33 34 44 47 48 50 53 55 56 59 61 62 63 83 85 86 88 91 92 101 103 108 110 113
a 1 10 14 15 18 19 23 29 31 33 34 44 47 48 50 53 55 56 59 61 62 63 83 86 88 91 92 101 103 108 110 111 113
a 1 10 14 15 18 19 23 29 31 33 34 44 47 48 50 53 55 56 59 61 62 63 83 85 86 88 91 92 101 103 108 110 111
a 1 10 14 15 18 19 23 29 31 33 34 44 47 48 50 53 55 56 59 61 62 63 83 85 88 91 92 101 103 108 110 111 113
a 1 10 14 15 18 19 23 29 31 33 34 44 48 50 53 55 56 59 61 62 63 83 85 88 91 92 95 101 103 108 110 111 113
a 1 10 13 14 15 18 19 23 29 31 33 34 44 48 50 53 55 56 59 61 62 63 83 85 88 91 92 95 101 103 108 110 113
a 1 10 13 14 15 18 19 23 26 29 31 33 34 44 48 50 53 55 56 59 61 62 63 83 85 88 91 95 101 103 108 110 113
a 1 10 13 14 15 18 19 23 26 29 31 33 34 44 48 50 53 55 56 59 61 62 63 83 85 88 91 95 101 103 108 111 113
a 1 10 13 14 15 18 19 23 26 29 31 33 44 48 50 52 53 55 56 59 61 62 63 83 85 88 91 95 101 103 108 111 113
a 1 10 14 15 18 19 23 26 29 31 33 44 47 48 50 52 53 55 56 59 61 62 63 83 85 88 91 95 101 103 108 111 113
a 1 10 14 15 18 19 23 26 29 31 33 44 47 48 50 52 53 55 56 59 61 63 77 83 85 88 91 95 101 103 108 111 113
a 1 6 10 14 15 18 19 23 26 29 31 33 44 47 48 50 52 53 55 56 59 61 63 77 83 85 91 95 101 103 108 111 113
a 6 10 14 15 18 19 23 26 29 31 33 44 45 47 48 50 52 53 55 56 59 61 63 77 83 85 91 95 101 103 108 111 113
a 1 6 10 14 15 18 19 23 26 29 31 33 44 45 47 48 50 52 53 55 56 59 61 63 77 83 85 91 95 101 103 108 111
a 1 6 10 14 15 18 19 23 26 29 31 33 44 45 47 48 50 52 53 55 56 59 61 63 77 83 85 91 95 101 103 108 113
a 1 6 10 14 15 18 19 23 26 29 31 33 44 45 47 48 50 53 55 56 59 61 63 77 83 85 86 91 95 101 103 108 113
a 1 6 10 14 15 18 19 23 26 29 31 33 34 44 47 48 50 53 55 56 59 61 63 77 83 85 86 91 95 101 103 108 113
a 1 6 10 14 15 18 19 23 26 29 31 33 34 44 47 48 50 53 55 56 59 61 63 77 85 86 91 95 101 103 108 110 113
a 1 6 10 14 15 18 19 23 26 29 31 33 34 44 47 48 50 53 55 56 59 61 63 77 83 85 86 91 95 101 103 108 110
a 1 6 10 14 15 18 19 23 26 29 31 33 34 44 47 48 50 53 55 56 59 61 63 67 77 83 85 91 95 101 103 108 110
a 1 6 10 13 14 15 18 19 23 26 29 31 33 34 44 47 48 50 53 55 56 59 61 63 67 77 83 85 91 95 101 103 108
a 1 6 10 13 14 15 18 19 23 26 29 31 33 34 44 47 48 50 53 55 56 59 61 63 67 77 83 85 91 95 101 103 110
a 1 6 10 13 14 15 18 19 23 26 29 31 33 34 44 47 48 50 53 55 56 59 60 61 63 67 77 83 85 91 95 101 110
a 1 6 10 13 14 15 18 19 26 29 31 33 34 44 47 48 50 52 53 55 56 59 60 61 63 67 77 83 85 91 95 101 110
a 1 6 10 13 14 15 18 19 23 29 31 33 34 44 47 48 50 52 53 55 56 59 60 61 63 67 77 83 85 91 95 101 110
a 1 6 10 13 14 15 18 19 23 29 31 33 34 44 47 48 50 52 53 55 56 59 61 63 67 77 83 85 91 95 101 110 114
a 1 6 10 13 14 15 18 19 23 29 31 33 34 44 47 48 50 52 53 55 56 59 61 63 67 77 83 85 91 92 95 101 114
a 1 6 10 13 14 15 18 19 23 29 31 33 34 44 47 48 50 53 55 56 59 61 63 67 77 83 85 91 92 95 101 103 114
a 1 6 10 13 14 15 18 19 23 29 31 33 34 44 47 48 50 53 55 56 59 61 63 67 77 83 85 91 92 101 103 110 114
a 1 6 10 13 14 15 18 19 23 29 31 33 34 44 48 50 53 55 56 59 61 63 67 77 83 85 91 92 101 103 108 110 114
a 6 10 13 14 15 18 19 23 29 31 33 34 44 48 50 53 55 56 59 61 63 67 77 83 85 91 92 95 101 103 108 110 114
a 1 6 10 13 14 15 18 19 23 29 31 33 34 44 48 50 53 55 56 59 61 63 67 77 83 85 91 92 95 101 103 108 110
a 1 6 10 13 14 15 18 19 23 29 31 33 34 44 48 50 53 55 56 59 61 63 67 77 83 85 91 92 95 98 101 108 110
a 1 6 10 13 14 15 18 19 23 29 31 33 34 44 48 50 53 55 56 59 61 63 67 77 83 85 91 92 95 98 108 110 111
a 1 6 10 13 14 15 18 19 23 29 31 33 34 44 48 50 52 53 55 56 59 61 63 67 77 83 85 91 92 95 108 110 111
a 1 6 10 13 14 15 18 19 23 29 31 33 34 43 44 48 50 52 53 55 56 59 61 63 67 77 83 85 91 92 108 110 111
a 1 6 10 14 15 18 19 23 29 31 33 34 43 44 47 48 50 52 53 55 56 59 61 63 67 77 83 85 91 92 108 110 111
a 1 6 10 13 14 15 18 19 23 29 31 33 34 43 44 47 48 50 52 53 55 56 59 61 63 77 83 85 91 92 108 110 111
a 1 6 10 13 14 15 18 19 23 29 31 33 34 43 44 47 48 50 52 53 55 56 59 61 63 77 83 85 91 92 98 108 110
a 1 6 10 13 14 15 18 19 29 31 33 34 43 44 47 48 50 52 53 55 56 59 61 63 77 83 85 91 92 98 103 108 110
a 1 6 10 13 14 15 18 19 23 29 31 33 34 43 44 47 48 50 53 55 56 59 61 63 77 83 85 91 92 98 103 108 110
a 6 10 13 14 15 18 19 23 29 31 33 34 43 44 47 48 50 53 55 56 59 61 63 77 83 85 91 92 98 99 103 108 110
a 1 10 13 14 15 18 19 23 29 31 33 34 43 44 47 48 50 53 55 56 59 61 63 77 83 85 91 92 98 99 103 108 110
a 1 6 10 13 14 15 18 19 23 29 31 33 34 43 44 47 48 50 53 55 56 59 61 63 77 83 85 91 92 98 99 108 110
a 1 6 10 13 14 15 18 19 23 29 31 33 34 43 44 47 48 50 53 55 56 59 61 62 63 83 85 91 92 98 99 108 110
a 1 6 10 13 14 15 18 19 23 29 33 34 43 44 46 47 48 50 53 55 56 59 61 62 63 83 85 91 92 98 99 108 110
a 1 6 10 13 14 15 18 19 23 29 33 34 43 44 45 46 47 48 50 53 55 56 59 61 62 63 83 85 91 92 98 99 108
a 1 10 13 14 15 18 19 23 29 33 34 43 44 45 46 47 48 50 53 55 56 59 61 62 63 83 85 91 92 98 99 108 117
a 1 13 14 15 18 19 23 29 33 34 43 44 45 46 47 48 50 53 55 56 59 61 62 63 83 85 91 92 98 99 101 108 117
a 1 13 14 15 18 19 23 29 31 33 34 43 44 45 46 47 48 50 53 55 56 59 61 62 63 83 85 91 92 98 99 101 108
a 1 13 14 15 18 19 23 29 31 33 34 43 44 46 47 48 50 53 55 56 59 61 62 63 83 85 91 92 98 99 101 108 110
a 13 14 15 18 19 23 29 31 33 34 43 44 46 47 48 50 53 55 56 59 61 62 63 83 85 91 92 98 99 101 108 110 117
a 13 15 18 19 23 29 31 33 34 43 44 46 47 48 50 53 55 56 59 61 62 63 83 85 88 91 92 98 99 101 108 110 117
a 1 13 15 19 23 29 31 33 34 43 44 46 47 48 50 53 55 56 59 61 62 63 83 85 88 91 92 98 99 101 108 110 117
a 1 13 15 19 23 29 31 33 34 43 44 47 48 50 53 55 56 59 61 62 63 83 85 88 91 92 98 99 101 103 108 110 117
a 1 9 13 15 19 29 31 33 34 43 44 47 48 50 53 55 56 59 61 62 63 83 85 88 91 92 98 99 101 103 108 110 117
a 1 9 13 14 15 19 29 31 33 34 43 44 47 48 50 53 55 56 59 61 62 63 83 85 88 91 92 98 99 101 103 108 117
a 1 9 13 14 15 19 29 31 33 34 43 44 47 48 50 53 55 56 59 61 62 63 83 85 88 91 93 98 99 101 103 108 117
a 1 9 13 14 15 18 19 29 31 33 34 43 44 48 50 53 55 56 59 61 62 63 83 85 88 91 93 98 99 101 103 108 117
a 1 13 14 15 18 19 29 31 33 34 43 44 47 48 50 53 55 56 59 61 62 63 83 85 88 91 93 98 99 101 103 108 117
a 1 13 14 15 18 19 29 31 33 34 43 44 47 48 50 53 55 56 59 61 62 63 83 85 88 91 93 98 99 101 103 108 114
a 1 13 14 15 18 19 26 29 31 33 34 43 44 47 48 50 53 55 56 59 61 62 63 83 85 88 91 93 98 101 103 108 114
a 1 9 13 14 15 18 19 26 29 31 33 34 43 44 47 48 50 53 55 56 59 61 62 63 83 85 88 91 93 98 101 108 114
a 1 9 13 14 15 18 19 26 29 31 33 34 43 44 47 48 50 53 55 56 59 61 62 63 83 85 88 91 93 98 101 103 108
a 1 9 13 14 15 18 19 29 31 33 34 43 44 47 48 50 53 55 56 59 61 62 63 83 85 88 91 93 98 99 101 103 108
a 1 9 13 14 15 18 19 29 31 33 34 43 44 48 50 53 55 56 59 61 62 63 82 83 85 88 91 93 98 99 101 103 108
a 1 9 13 14 15 18 19 29 31 33 34 43 44 48 50 53 55 56 59 61 63 77 82 83 85 88 91 93 98 99 101 103 108
a 1 9 13 14 15 18 19 29 31 33 34 43 44 48 50 53 55 56 59 61 63 77 82 83 85 91 93 98 99 101 103 108 110
a 1 9 13 14 15 18 19 29 31 33 34 43 44 48 50 53 55 56 59 61 63 77 82 83 85 93 98 99 101 103 104 108 110
a 1 9 10 13 14 15 18 19 29 31 33 34 43 44 48 50 53 55 56 59 61 63 77 82 83 85 93 98 99 101 103 104 108
a 1 9 10 13 14 15 18 19 29 31 33 36 43 44 48 50 53 55 56 59 61 63 77 82 83 85 93 98 99 101 103 104 108
a 1 9 10 13 14 15 18 19 29 31 33 36 43 44 48 50 53 55 56 59 61 63 77 82 83 85 91 93 98 99 101 103 108
a 1 3 9 10 13 14 15 18 19 29 31 33 36 43 44 48 50 53 55 56 59 61 63 82 83 85 91 93 98 99 101 103 108
a 1 3 9 10 14 15 18 19 29 31 33 36 43 44 48 50 53 55 56 59 61 63 82 83 85 86 91 93 98 99 101 103 108
a 1 3 9 10 14 15 18 19 29 31 33 36 43 44 48 50 53 55 56 59 61 63 82 83 85 86 93 98 99 101 103 104 108
a 1 3 10 14 15 18 19 29 31 33 36 43 44 48 50 53 55 56 59 61 63 82 83 85 86 88 93 98 99 101 103 104 108
a 1 3 9 14 15 18 19 29 31 33 36 43 44 48 50 53 55 56 59 61 63 82 83 85 86 88 93 98 99 101 103 104 108
a 1 3 9 14 15 18 19 29 31 33 36 43 44 48 50 53 55 56 59 61 63 82 83 85 86 88 91 93 98 99 101 103 108
a 1 3 9 10 14 15 18 19 29 31 33 43 44 48 50 53 55 56 59 61 63 82 83 85 86 88 91 93 98 99 101 103 108
a 1 3 9 10 14 15 18 19 29 31 33 43 44 48 50 53 55 56 59 61 62 63 83 85 86 88 91 93 98 99 101 103 108
a 1 3 9 10 14 15 18 19 29 31 33 34 43 44 48 50 53 55 56 59 61 62 63 83 85 86 88 91 93 98 99 101 103
a 1 3 8 9 10 14 15 18 19 31 33 34 43 44 48 50 53 55 56 59 61 62 63 83 85 86 88 91 93 98 99 101 103
a 1 3 8 9 10 14 15 18 19 26 31 33 34 43 44 48 50 53 55 56 59 61 62 63 83 85 86 88 91 93 98 101 103
a 1 3 8 9 10 15 18 19 26 31 33 34 43 44 48 50 53 55 56 59 61 62 63 83 85 86 88 91 93 98 101 103 114
a 1 3 9 10 13 15 18 19 26 31 33 34 43 44 48 50 53 55 56 59 61 62 63 83 85 86 88 91 93 98 101 103 114
a 1 9 10 13 15 18 19 26 31 33 34 43 44 48 50 53 55 56 59 61 62 63 83 85 86 88 91 93 98 101 103 107 114
a 1 9 10 13 15 18 19 26 31 33 34 43 44 48 50 53 55 56 59 61 62 63 83 85 86 88 91 93 98 101 103 107 110
a 1 9 10 13 14 15 18 19 26 31 33 34 43 44 48 50 53 55 56 59 61 62 63 83 85 86 88 91 93 98 101 103 107
a 1 9 10 13 14 15 18 19 26 31 33 34 43 44 48 50 53 56 59 61 62 63 83 85 86 88 91 93 98 101 103 107 117
a 1 9 10 13 14 15 18 19 26 31 32 33 34 43 44 48 50 56 59 61 62 63 83 85 86 88 91 93 98 101 103 107 117
a 1 9 10 13 14 15 18 19 26 29 31 32 33 34 43 44 48 50 56 59 61 62 63 83 85 86 88 91 93 98 101 103 117
a 1 9 10 13 14 15 18 19 26 29 31 32 33 34 43 44 50 51 56 59 61 62 63 83 85 86 88 91 93 98 101 103 117
a 1 3 9 10 13 14 15 18 19 26 29 31 32 33 34 43 44 50 51 56 59 61 62 63 83 85 86 88 91 93 98 101 103
a 1 3 9 10 13 14 15 18 19 26 29 31 32 33 34 43 44 50 51 56 59 61 62 63 82 83 85 86 88 91 93 98 101
a 1 3 9 10 13 14 15 18 19 26 29 31 32 33 34 43 44 50 51 56 59 61 62 63 82 83 85 86 88 91 93 101 108
a 1 3 9 10 13 14 15 18 19 26 29 31 32 33 34 43 44 50 51 56 59 61 62 63 82 83 85 86 88 91 93 98 108
a 1 9 10 13 14 15 18 19 26 29 31 32 33 34 43 44 50 51 56 58 59 61 62 63 82 83 85 86 88 91 93 98 108
a 1 9 10 13 14 15 18 19 26 29 31 33 34 43 44 50 51 55 56 58 59 61 62 63 82 83 85 86 88 91 93 98 108
a 1 9 10 13 14 15 18 19 26 29 31 33 34 43 44 50 51 55 56 58 59 61 62 63 82 83 85 86 88 91 93 98 101
a 1 9 10 13 14 15 18 19 26 29 31 33 34 43 44 50 51 55 56 58 59 61 62 63 82 83 85 86 88 91 93 98 117
a 1 3 9 10 13 14 15 18 19 26 29 31 33 34 43 44 50 51 55 56 58 59 61 62 63 82 83 85 86 88 91 93 98
a 1 3 9 10 13 14 15 18 19 26 29 31 33 34 43 44 50 51 55 56 58 59 61 62 63 82 83 85 86 88 91 93 95
a 1 3 9 10 13 14 15 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 82 83 85 86 88 91 93
a 1 3 9 10 13 14 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 82 83 85 86 88 91 93 108
a 1 3 9 10 13 14 15 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 82 83 85 86 88 93 108
a 1 9 10 13 14 15 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 82 83 85 86 88 93 101 108
a 1 9 10 13 14 15 18 19 26 29 31 34 38 43 44 50 51 53 55 56 58 59 61 62 63 82 83 85 86 88 93 101 108
a 1 10 13 14 15 18 19 26 29 31 34 38 43 44 50 51 53 55 56 58 59 61 62 63 82 83 85 86 88 93 101 108 111
a 10 13 14 15 18 19 26 29 31 34 38 43 44 50 51 53 55 56 58 59 61 62 63 82 83 85 86 88 91 93 101 108 111
a 10 13 14 15 18 19 26 29 31 34 38 43 44 50 51 53 55 56 58 59 61 62 63 82 83 85 86 88 91 93 95 108 111
a 9 10 13 14 15 18 19 26 29 31 34 38 43 44 50 51 53 55 56 58 59 61 62 63 82 83 85 86 88 91 93 95 111
a 9 10 13 14 15 18 19 26 29 31 34 38 39 43 44 50 51 53 55 56 58 59 62 63 82 83 85 86 88 91 93 95 111
a 9 10 13 14 15 18 19 26 29 31 33 34 39 43 44 50 51 53 55 56 58 59 62 63 82 83 85 86 88 91 93 95 111
a 9 10 13 14 15 18 19 26 29 31 33 34 39 43 44 50 51 53 55 56 58 59 62 63 82 83 85 86 88 91 93 95 98
a 9 10 11 14 15 18 19 26 29 31 33 34 39 43 44 50 51 53 55 56 58 59 62 63 82 83 85 86 88 91 93 95 98
a 9 10 11 14 15 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 82 83 85 86 88 91 93 95 98
a 9 10 11 14 15 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 82 83 85 86 88 91 93 95 98 110
a 9 10 11 15 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 82 83 85 86 88 91 93 95 98 110
a 9 10 11 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 76 82 83 85 86 88 91 93 95 98 110
a 1 9 10 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 76 82 83 85 86 88 91 93 95 98 110
a 1 9 10 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 72 76 82 83 85 86 91 93 95 98 110
a 1 9 10 14 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 76 82 83 85 86 91 93 95 98 110
a 1 9 10 14 18 19 26 29 31 33 34 43 44 47 50 53 55 56 58 59 61 62 63 76 82 83 85 86 91 93 95 98 110
a 9 10 14 18 19 26 29 31 33 34 43 44 47 50 53 55 56 58 59 61 62 63 76 82 83 85 86 91 93 95 98 110 111
a 9 10 14 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 76 82 83 85 86 91 93 95 98 110 111
a 8 9 10 14 18 19 26 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 76 82 83 85 86 91 93 95 98 110 111
a 1 9 10 14 18 19 26 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 76 82 83 85 86 91 93 95 98 110 111
a 1 10 14 18 19 26 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 76 82 83 85 86 91 93 95 98 101 110 111
a 1 10 14 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 82 83 85 86 91 93 95 98 101 110 111
a 1 10 13 14 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 82 83 85 86 91 93 95 98 101 110
a 1 13 14 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 65 82 83 85 86 91 93 95 98 101 110
a 1 9 13 14 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 65 82 83 85 86 91 93 95 98 101
a 1 9 13 14 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 65 68 82 83 85 86 91 93 95 98
a 1 9 13 14 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 65 68 82 83 85 86 90 91 93 98
a 1 9 13 14 18 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 65 68 82 83 85 86 91 93 98 108
a 1 9 13 14 19 26 29 31 33 34 43 44 50 51 53 55 56 58 59 61 62 63 65 68 82 83 85 86 91 93 98 108 111
a 1 9 13 14 19 26 29 31 33 34 43 44 46 50 51 53 55 56 58 59 61 62 63 65 68 82 83 85 86 91 93 98 108
a 1 9 10 13 14 19 26 29 31 33 34 43 44 46 50 51 53 55 56 58 59 61 62 63 68 82 83 85 86 91 93 98 108
a 1 10 13 14 19 26 29 31 33 34 43 44 46 50 51 53 55 56 58 59 61 62 63 68 72 82 83 85 86 91 93 98 108
a 1 10 13 14 19 26 29 31 34 38 43 44 46 50 51 53 55 56 58 59 61 62 63 68 72 82 83 85 86 91 93 98 108
a 1 9 10 13 14 19 26 29 31 34 38 43 44 46 50 51 53 55 56 58 59 61 62 63 68 72 82 83 85 86 91 93 98
a 1 9 10 13 14 19 26 29 31 34 38 39 43 44 46 50 51 53 55 56 58 59 62 63 68 72 82 83 85 86 91 93 98
a 1 9 10 13 14 19 26 29 31 34 38 39 43 44 46 50 51 53 55 56 58 59 62 63 68 72 82 83 85 86 91 93 101
a 1 9 10 13 14 19 26 29 31 34 38 39 43 44 46 50 51 53 55 56 58 59 62 63 68 72 82 83 85 86 91 93 108
a 1 9 10 13 14 17 19 26 29 31 34 38 39 43 44 46 50 53 55 56 58 59 62 63 68 72 82 83 85 86 91 93 108
a 1 9 10 13 14 19 26 29 31 34 38 39 43 44 46 50 53 55 56 58 59 62 63 68 72 82 83 85 86 91 93 95 108
a 1 3 9 10 13 14 19 26 29 31 34 38 39 43 44 46 50 53 55 56 58 59 62 63 68 72 82 83 85 86 91 93 95
a 1 3 9 10 13 14 19 26 29 31 34 38 39 40 43 44 46 50 53 55 56 58 62 63 68 72 82 83 85 86 91 93 95
a 1 3 9 10 13 14 19 26 29 31 34 38 39 40 43 44 46 50 51 53 55 56 58 62 63 68 72 82 83 85 86 91 95
a 1 3 9 10 13 14 19 26 29 31 34 38 39 40 43 44 46 50 51 53 55 56 58 62 63 68 72 82 83 86 91 95 117
a 1 3 9 10 13 14 18 19 26 29 31 34 38 39 40 43 44 46 50 51 53 55 56 58 62 63 68 72 82 83 86 91 95
a 1 3 9 10 13 14 18 19 26 29 31 34 39 40 43 44 46 50 51 53 55 56 58 62 63 68 72 82 83 86 91 95 98
a 1 3 9 13 14 18 19 26 29 31 34 38 39 40 43 44 46 50 51 53 55 56 58 62 63 68 72 82 83 86 91 95 98
a 1 3 9 13 14 18 19 26 29 31 34 38 39 40 43 44 50 51 53 55 56 58 60 62 63 68 72 82 83 86 91 95 98
a 1 3 9 10 13 14 18 19 26 29 31 34 38 39 40 43 44 50 51 53 55 56 58 60 62 63 68 72 82 83 86 91 95
a 1 3 9 10 13 14 18 19 26 29 31 34 38 39 40 43 44 50 51 53 55 56 58 60 62 63 68 72 82 83 86 91 117
a 1 3 9 10 13 14 18 19 26 27 29 31 34 38 39 40 43 44 50 51 53 55 56 58 60 62 63 68 72 82 83 86 91
a 1 3 9 10 13 14 18 19 26 27 29 31 34 38 39 40 43 44 50 51 53 55 56 58 60 62 63 68 72 82 86 91 98
a 1 3 9 10 13 14 18 19 26 27 29 31 34 38 39 40 43 44 50 51 53 55 56 58 60 62 63 68 72 82 86 95 98
a 3 9 10 13 14 18 19 26 27 29 31 34 38 39 40 43 44 50 51 53 55 56 58 60 62 63 68 72 82 86 95 98 106
a 3 9 10 13 14 18 19 26 29 31 34 38 39 40 43 44 50 51 53 55 56 58 60 62 63 68 72 82 83 86 95 98 106
a 3 9 10 13 14 18 19 26 29 31 34 38 39 43 44 50 51 53 55 56 58 60 62 63 68 72 82 83 86 95 98 101 106
a 3 9 10 13 14 18 19 26 29 31 34 38 39 43 44 50 51 53 55 56 58 60 62 63 68 72 82 83 85 86 95 98 101
a 3 9 10 13 14 18 19 26 29 31 34 38 39 43 44 45 50 51 53 55 56 58 60 62 63 72 82 83 85 86 95 98 101
a 3 9 10 13 14 18 19 26 29 31 34 38 39 43 44 45 50 51 53 55 56 58 60 62 63 82 83 85 86 88 95 98 101
a 3 9 10 13 14 18 19 26 29 31 34 38 39 43 44 50 51 53 55 56 58 60 62 63 82 83 85 86 88 95 98 101 110
a 2 3 9 10 13 14 18 19 26 29 31 34 38 39 43 44 50 51 53 55 56 58 60 62 63 82 83 86 88 95 98 101 110
a 2 3 9 10 13 14 18 19 26 29 31 34 38 39 43 44 50 51 53 55 56 58 60 62 63 72 82 83 86 95 98 101 110
a 2 3 9 10 13 14 18 19 26 29 31 34 38 39 43 44 50 51 53 55 56 58 60 62 63 72 82 83 86 95 98 101 117
a 2 3 9 10 13 14 18 19 26 29 31 34 38 39 43 44 50 51 53 55 56 58 60 62 63 82 83 86 88 95 98 101 117
a 2 3 9 10 13 14 18 19 26 31 34 38 39 43 44 45 50 51 53 55 56 58 60 62 63 82 83 86 88 95 98 101 117
a 2 3 9 10 14 18 19 26 29 31 34 38 39 43 44 45 50 51 53 55 56 58 60 62 63 82 83 86 88 95 98 101 117
a 2 3 9 10 14 18 19 26 29 31 34 38 39 43 44 45 49 50 51 53 55 56 58 60 62 63 82 83 86 88 95 101 117
a 2 3 9 10 14 18 19 26 29 31 34 38 39 43 44 45 49 50 51 53 55 56 58 60 62 63 82 83 86 88 95 101 111
a 2 3 9 10 14 18 19 26 29 31 34 38 39 43 44 45 46 49 50 51 53 55 56 58 62 63 82 83 86 88 95 101 111
a 2 3 9 10 14 18 19 26 31 34 38 39 43 44 45 46 49 50 51 53 55 56 58 59 62 63 82 83 86 88 95 101 111
a 2 3 9 10 14 18 19 26 31 34 38 39 43 44 45 46 50 51 53 55 56 58 59 62 63 82 83 86 88 95 101 108 111
a 2 3 9 10 14 18 19 26 31 34 38 39 43 44 45 50 51 53 55 56 58 59 60 62 63 82 83 86 88 95 101 108 111
a 2 9 10 14 18 19 26 31 34 38 39 43 44 45 50 51 53 55 56 58 59 60 62 63 82 83 86 88 95 101 107 108 111
a 2 9 10 14 18 19 26 31 34 38 39 43 44 45 46 50 51 53 55 56 58 59 62 63 82 83 86 88 95 101 107 108 111
a 2 9 10 14 18 19 26 31 34 38 39 43 44 45 46 49 50 51 53 55 56 58 59 62 63 82 83 86 88 95 101 107 111
a 2 9 10 14 18 19 26 31 36 38 39 43 44 45 46 49 50 51 53 55 56 58 59 62 63 82 83 86 88 95 101 107 111
a 2 9 10 14 18 26 31 36 38 39 43 44 45 46 49 50 51 53 55 56 58 59 62 63 82 83 86 88 93 95 101 107 111
a 2 9 10 11 14 18 26 31 36 38 39 43 44 45 46 49 50 51 53 55 56 58 59 62 63 82 83 86 88 93 95 101 107
a 2 9 10 11 14 18 26 31 36 38 39 43 44 45 46 50 51 53 55 56 58 59 62 63 82 83 86 88 91 93 95 101 107
a 2 9 11 14 18 26 31 36 38 39 43 44 45 46 50 51 53 55 56 58 59 62 63 65 82 83 86 88 91 93 95 101 107
a 2 9 11 14 18 26 31 36 38 39 43 44 45 46 50 51 53 55 56 58 59 62 63 65 82 83 86 88 91 93 95 101 111
a 2 9 14 18 26 31 36 38 39 43 44 45 46 50 51 53 55 56 58 59 62 63 65 82 83 86 88 91 93 95 101 108 111
a 2 9 14 18 26 31 35 36 38 39 43 44 45 46 50 51 53 55 56 58 59 62 63 65 82 86 88 91 93 95 101 108 111
a 2 14 18 22 26 31 35 36 38 39 43 44 45 46 50 51 53 55 56 58 59 62 63 65 82 86 88 91 93 95 101 108 111
a 2 15 18 22 26 31 35 36 38 39 43 44 45 46 50 51 53 55 56 58 59 62 63 65 82 86 88 91 93 95 101 108 111
a 15 18 22 26 31 35 36 38 39 43 44 45 46 48 50 51 53 55 56 58 59 62 63 65 82 86 88 91 93 95 101 108 111
a 2 18 22 26 31 35 36 38 39 43 44 45 46 48 50 51 53 55 56 58 59 62 63 65 82 86 88 91 93 95 101 108 111
a 2 4 18 22 26 31 35 36 38 39 43 45 46 48 50 51 53 55 56 58 59 62 63 65 82 86 88 91 93 95 101 108 111
a 2 4 18 22 26 31 35 36 38 39 43 45 48 50 51 53 55 56 58 59 60 62 63 65 82 86 88 91 93 95 101 108 111
a 2 4 18 22 26 31 35 36 38 39 43 45 48 50 51 53 55 56 58 59 60 62 63 65 82 86 88 91 93 95 101 111 112
a 2 4 18 22 26 31 35 36 38 39 43 45 48 50 51 53 55 56 58 59 60 62 63 65 68 82 86 91 93 95 101 111 112
a 2 4 18 22 26 31 35 38 39 43 45 48 50 51 53 55 56 58 59 60 62 63 65 68 72 82 86 91 93 95 101 111 112
a 2 4 18 22 26 35 38 39 43 45 48 50 51 53 55 56 58 59 60 62 63 65 68 72 82 86 91 93 94 95 101 111 112
a 2 4 13 18 22 26 35 38 39 45 48 50 51 53 55 56 58 59 60 62 63 65 68 72 82 86 91 93 94 95 101 111 112
a 2 4 13 18 22 26 29 35 38 39 45 48 50 51 53 55 56 58 59 60 62 63 65 68 72 82 86 91 93 94 95 101 111
a 2 13 18 22 26 29 35 38 39 45 48 50 51 53 55 56 58 59 60 62 63 65 68 72 76 82 86 91 93 94 95 101 111
a 2 10 13 18 22 26 29 35 38 39 45 48 50 51 53 55 56 58 59 60 62 63 68 72 76 82 86 91 93 94 95 101 111
a 2 10 13 18 22 26 29 31 35 38 39 45 48 50 51 53 55 56 58 59 60 62 63 68 72 76 82 86 91 93 95 101 111
a 2 10 13 18 22 26 29 31 35 38 39 45 46 48 50 51 53 55 56 58 59 62 63 68 72 76 82 86 91 93 95 101 111
a 2 10 13 18 22 29 31 35 38 39 45 46 48 50 51 53 55 56 58 59 62 63 68 72 76 82 86 91 93 95 101 111 113
a 10 13 18 22 29 31 35 38 39 44 45 46 48 50 51 53 55 56 58 59 62 63 68 72 76 82 86 91 93 95 101 111 113
a 10 13 18 22 29 31 35 38 39 44 45 48 50 51 53 55 56 58 59 60 62 63 68 72 76 82 86 91 93 95 101 111 113
a 9 10 13 18 22 29 31 35 38 39 44 45 48 50 51 53 55 56 58 59 60 62 63 68 72 76 82 86 91 93 95 101 111
a 9 13 18 22 29 31 35 38 39 44 45 48 50 51 53 55 56 58 59 60 62 63 68 72 76 82 86 91 93 95 101 106 111
a 9 10 13 18 22 29 31 35 38 39 45 48 50 51 53 55 56 58 59 60 62 63 68 72 76 82 86 91 93 95 101 106 111
a 9 10 13 18 22 29 31 35 38 39 45 46 48 50 51 53 55 56 58 59 62 63 68 72 76 82 86 91 93 95 101 106 111
a 9 13 18 22 29 31 35 38 39 45 46 48 50 51 53 55 56 58 59 62 63 65 68 72 76 82 86 91 93 95 101 106 111
a 3 9 13 18 22 29 31 35 38 39 45 46 48 50 51 53 55 56 58 59 62 63 65 68 72 76 82 86 91 93 95 101 111
a 3 9 13 18 19 22 31 35 38 39 45 46 48 50 51 53 55 56 58 59 62 63 65 68 72 76 82 86 91 93 95 101 111
a 3 9 13 18 19 22 31 35 38 39 45 46 48 50 51 55 56 58 59 62 63 65 68 71 72 76 82 86 91 93 95 101 111
a 3 9 13 18 22 31 35 38 39 44 45 46 48 50 51 55 56 58 59 62 63 65 68 71 72 76 82 86 91 93 95 101 111
a 3 9 13 18 31 35 38 39 44 45 46 48 50 51 55 56 58 59 62 63 65 68 71 72 76 82 85 86 91 93 95 101 111
a 3 9 13 18 19 31 35 38 39 44 45 46 48 50 51 55 56 58 59 62 63 65 68 71 72 76 82 85 86 91 93 95 101
a 3 9 13 14 18 19 31 35 38 39 44 45 46 48 50 51 55 56 58 59 62 63 65 68 72 76 82 85 86 91 93 95 101
a 3 9 13 14 18 19 31 35 39 44 45 46 48 50 51 55 56 58 59 62 63 65 68 72 76 82 85 86 90 91 93 95 101
a 3 9 13 14 18 19 26 31 35 39 44 45 46 48 50 51 55 56 58 59 62 63 65 68 72 76 82 85 86 90 91 93 95
a 3 9 13 14 18 19 26 31 35 39 44 45 46 48 50 51 55 56 58 59 62 63 65 68 71 72 76 82 85 90 91 93 95
a 3 9 13 14 18 19 26 31 39 43 44 45 46 48 50 51 55 56 58 59 62 63 65 68 71 72 76 82 85 90 91 93 95
a 3 5 9 13 14 18 19 26 31 39 43 44 45 46 48 50 51 55 56 58 59 63 65 68 71 72 76 82 85 90 91 93 95
a 3 5 9 13 14 18 19 26 31 43 44 45 46 48 50 51 55 56 58 59 61 63 65 68 71 72 76 82 85 90 91 93 95
a 3 9 13 14 18 19 26 31 43 44 45 46 48 50 51 52 55 56 58 59 61 63 65 68 71 72 76 82 85 90 91 93 95
a 3 9 13 14 18 26 31 43 44 45 46 48 50 51 52 55 56 58 59 61 63 65 68 71 72 76 82 85 90 91 93 95 98
a 3 9 13 14 18 26 31 43 44 45 46 48 50 52 55 56 58 59 61 63 65 68 71 72 76 82 85 90 91 93 95 98 106
a 1 3 9 13 14 18 26 31 43 44 45 46 48 50 52 55 56 58 59 61 63 65 68 71 72 76 82 85 90 91 93 95 98
a 3 9 13 14 18 26 31 43 44 45 46 48 50 52 55 56 58 59 61 63 65 68 71 72 76 82 83 85 90 91 93 95 98
a 3 9 13 14 18 26 43 44 45 46 48 50 52 55 56 58 59 61 63 65 68 71 72 76 82 83 84 85 90 91 93 95 98
a 3 9 13 14 18 26 43 44 45 46 48 50 52 55 56 58 59 61 63 65 68 71 72 76 81 82 83 84 85 90 93 95 98
a 3 8 9 14 18 26 43 44 45 46 48 50 52 55 56 58 59 61 63 65 68 71 72 76 81 82 83 84 85 90 93 95 98
a 3 8 9 14 18 26 43 44 45 46 48 50 52 55 56 58 59 61 63 65 68 71 72 76 81 82 83 84 85 93 95 98 111
a 3 8 9 11 14 18 26 43 44 45 46 48 50 52 55 56 58 59 61 63 65 71 72 76 81 82 83 84 85 93 95 98 111
a 3 8 9 11 14 18 26 43 44 45 46 48 50 52 55 56 58 59 61 63 65 72 76 78 81 82 83 84 85 93 95 98 111
a 3 8 9 11 14 18 26 43 44 45 46 48 50 52 55 56 58 59 61 63 65 72 76 78 81 82 83 84 85 90 93 95 98
a 3 8 9 11 14 18 26 43 44 45 48 50 52 55 56 58 59 61 63 65 72 76 78 81 82 83 84 85 90 93 95 98 114
a 8 9 11 14 18 26 43 44 45 48 50 52 55 56 58 59 61 63 65 72 76 78 81 82 83 84 85 90 93 95 98 107 114
a 8 9 11 14 18 26 43 44 45 48 50 52 55 56 58 59 61 63 65 72 76 78 81 82 83 84 85 90 93 95 98 103 107
a 8 9 11 14 18 26 33 43 44 45 48 50 55 56 58 59 61 63 65 72 76 78 81 82 83 84 85 90 93 95 98 103 107
a 8 9 11 14 18 26 33 43 44 45 48 50 55 56 58 59 61 63 65 72 76 78 81 82 83 84 85 90 93 95 98 103 114
a 8 9 10 11 14 18 26 33 43 44 45 48 50 55 56 58 59 61 63 72 76 78 81 82 83 84 85 90 93 95 98 103 114
a 8 9 10 11 14 18 26 33 43 44 48 50 55 56 58 59 61 63 72 76 78 81 82 83 84 85 90 93 95 98 103 110 114
a 8 9 10 11 14 18 26 33 43 44 48 50 55 56 58 59 61 63 72 76 78 81 82 83 84 85 93 95 98 103 110 111 114
a 8 9 10 11 14 18 19 26 33 43 44 48 50 55 56 58 59 61 63 72 76 78 81 82 83 84 85 93 95 98 103 110 111
a 9 10 11 14 18 19 24 26 33 43 44 48 50 55 56 58 59 61 63 72 76 78 81 82 83 84 85 93 95 98 103 110 111
a 10 11 14 18 19 24 26 33 43 44 48 50 55 56 58 59 61 63 72 76 78 81 82 83 84 85 93 95 98 103 110 111 114
a 8 10 11 14 18 19 24 26 33 43 44 48 50 55 56 58 59 61 63 72 76 78 81 82 83 84 85 93 95 98 103 110 114
a 8 10 11 14 18 19 24 26 33 43 44 48 50 55 56 58 59 61 63 72 76 78 81 82 83 84 85 93 98 103 104 110 114
a 8 10 11 14 18 19 24 26 33 43 44 48 50 55 56 58 59 63 72 76 78 81 82 83 84 85 93 98 103 104 110 114 116
a 8 10 11 14 18 19 24 26 33 43 44 48 50 55 56 58 59 72 76 78 81 82 83 84 85 93 98 103 104 110 114 116 117
a 8 10 11 14 18 19 24 26 33 43 44 48 50 55 56 58 59 72 76 78 81 82 83 84 85 93 98 101 103 104 110 114 116
a 3 8 10 11 14 18 19 24 26 33 43 44 48 50 55 56 58 59 72 76 78 81 82 83 84 85 93 98 101 103 104 110 114
a 3 8 10 11 18 19 24 26 33 43 44 48 50 52 55 56 58 59 72 76 78 81 82 83 84 85 93 98 101 103 104 110 114
a 3 8 10 11 15 18 19 24 26 33 43 44 48 50 52 55 56 58 59 72 78 81 82 83 84 85 93 98 101 103 104 110 114
a 3 8 10 11 15 18 19 24 26 33 43 44 48 50 52 56 58 59 64 72 78 81 82 83 84 85 93 98 101 103 104 110 114
a 3 8 10 11 15 18 19 24 26 33 43 44 50 52 56 58 59 64 72 78 80 81 82 83 84 85 93 98 101 103 104 110 114
a 3 8 10 11 15 18 19 24 26 33 43 44 50 52 56 58 59 64 72 78 81 82 83 84 85 93 98 101 103 104 110 111 114
a 3 8 10 11 15 18 19 24 26 33 43 44 50 56 58 59 64 72 78 81 82 83 84 85 86 93 98 101 103 104 110 111 114
a 3 8 10 11 15 18 19 24 26 33 43 44 50 55 56 58 59 72 78 81 82 83 84 85 86 93 98 101 103 104 110 111 114
a 3 8 10 11 15 18 19 24 26 33 43 44 50 52 55 56 58 59 72 78 81 82 83 84 85 93 98 101 103 104 110 111 114
a 3 8 10 11 15 18 19 26 33 34 43 44 50 52 55 56 58 59 72 78 81 82 83 84 85 93 98 101 103 104 110 111 114
a 3 8 10 11 15 18 19 26 33 34 42 43 44 50 52 55 56 58 59 72 78 81 83 84 85 93 98 101 103 104 110 111 114
a 3 8 10 11 15 18 19 26 33 34 42 43 44 50 52 55 56 58 59 72 78 83 84 85 93 98 101 103 104 110 111 112 114
a 3 8 10 11 15 18 19 26 31 33 34 42 43 44 50 52 55 56 58 59 72 78 83 85 93 98 101 103 104 110 111 112 114
a 3 8 10 11 15 18 19 26 31 34 42 43 44 50 52 55 56 58 59 72 78 83 85 93 98 100 101 103 104 110 111 112 114
a 3 8 10 11 15 18 19 26 31 34 42 43 44 50 52 55 56 58 59 72 78 83 85 90 93 98 100 101 103 104 110 112 114
a 3 9 10 11 15 18 19 26 31 34 42 43 44 50 52 55 56 58 59 72 78 83 85 90 93 98 100 101 103 104 110 112 114
a 3 9 10 13 15 18 19 26 31 34 42 43 44 50 52 55 56 58 59 72 78 83 85 90 93 98 100 101 103 104 110 112 114
a 3 9 10 13 15 18 19 26 31 32 34 42 43 44 50 52 56 58 59 72 78 83 85 90 93 98 100 101 103 104 110 112 114
a 3 9 10 13 15 18 19 26 31 32 34 38 42 43 44 50 52 56 58 59 72 78 83 85 93 98 100 101 103 104 110 112 114
a 3 9 10 13 15 18 19 26 31 32 34 38 42 43 44 50 52 56 58 59 72 78 83 85 91 93 98 100 101 103 110 112 114
a 3 9 10 13 15 18 19 26 31 32 34 38 42 43 44 50 52 56 58 59 78 83 85 88 91 93 98 100 101 103 110 112 114
a 3 9 10 13 15 18 19 26 31 32 34 38 42 43 44 50 52 56 58 59 71 83 85 88 91 93 98 100 101 103 110 112 114
a 3 9 10 13 15 18 19 26 31 32 34 38 42 43 44 50 52 56 58 63 71 83 85 88 91 93 98 100 101 103 110 112 114
a 3 9 10 13 15 18 19 26 31 34 38 42 43 44 50 52 55 56 58 63 71 83 85 88 91 93 98 100 101 103 110 112 114
a 3 9 10 13 15 18 19 26 31 34 38 42 43 44 50 52 55 56 58 63 71 83 85 88 91 93 98 100 101 103 110 112 116
a 3 9 10 13 15 18 19 26 31 32 34 38 42 43 44 50 52 56 58 63 71 83 85 88 91 93 98 100 101 103 110 112 116
a 3 9 10 13 18 19 26 31 32 34 38 42 43 44 50 52 56 58 63 71 76 83 85 88 91 93 98 100 101 103 110 112 116
a 9 10 13 18 19 26 31 32 34 38 42 43 44 50 52 56 58 63 71 76 83 85 88 91 93 98 100 101 103 110 112 114 116
a 9 10 11 18 19 26 31 32 34 38 42 43 44 50 52 56 58 63 71 76 83 85 88 91 93 98 100 101 103 110 112 114 116
a 9 11 18 19 26 31 32 34 38 42 43 44 50 52 56 58 63 71 76 83 85 88 91 93 98 100 101 103 110 111 112 114 116
a 9 11 15 18 19 26 31 32 34 38 42 43 44 50 52 56 58 63 71 83 85 88 91 93 98 100 101 103 110 111 112 114 116
a 9 11 15 18 19 26 31 32 34 38 42 43 44 50 52 56 58 62 63 71 83 85 88 91 93 98 100 101 103 110 111 112 114
a 1 9 15 18 19 26 31 32 34 38 42 43 44 50 52 56 58 62 63 71 83 85 88 91 93 98 100 101 103 110 111 112 114
a 1 9 15 18 19 26 32 34 38 42 43 44 50 52 56 58 62 63 64 71 83 85 88 91 93 98 100 101 103 110 111 112 114
a 1 9 15 18 19 26 32 34 38 42 43 44 50 52 56 58 62 63 64 71 83 85 88 91 93 98 100 103 110 111 112 114 116
a 1 9 15 18 19 26 32 34 38 42 43 44 50 52 56 58 62 63 64 71 83 85 88 91 93 98 100 103 107 110 111 112 114
a 1 8 9 15 18 19 26 32 34 42 43 44 50 52 56 58 62 63 64 71 83 85 88 91 93 98 100 103 107 110 111 112 114
a 1 8 9 15 18 19 26 32 34 40 42 43 44 50 52 56 58 62 63 64 71 83 85 88 91 93 98 100 103 107 110 111 114
a 1 8 9 15 18 19 26 32 34 40 42 43 44 50 52 56 58 62 63 64 71 83 85 88 93 98 100 103 104 107 110 111 114
a 1 8 9 15 18 19 26 27 32 34 40 42 43 44 50 56 58 62 63 64 71 83 85 88 93 98 100 103 104 107 110 111 114
a 8 9 15 18 19 26 27 32 34 40 42 43 44 50 56 58 62 63 64 71 83 85 87 88 93 98 100 103 104 107 110 111 114
a 8 9 11 15 18 19 26 27 32 34 40 42 43 44 50 56 58 62 63 64 83 85 87 88 93 98 100 103 104 107 110 111 114
a 8 9 10 11 15 18 19 26 27 32 34 40 42 43 44 50 56 58 62 63 64 83 85 87 88 93 98 100 103 104 107 110 114
a 8 9 10 11 15 18 19 26 27 32 34 40 42 43 44 50 56 58 62 63 64 72 83 85 87 93 98 100 103 104 107 110 114
a 8 9 10 11 15 18 19 26 27 32 34 40 42 43 44 50 56 58 63 64 72 78 83 85 87 93 98 100 103 104 107 110 114
a 8 9 10 11 15 18 19 26 27 32 34 40 42 43 44 50 51 56 63 64 72 78 83 85 87 93 98 100 103 104 107 110 114
a 8 10 11 15 18 19 26 27 32 34 40 42 43 44 50 51 56 63 64 72 78 83 85 87 93 98 100 103 104 107 110 114 117
a 8 10 11 15 18 19 26 27 32 34 40 42 43 44 50 51 56 63 64 72 78 83 85 86 87 98 100 103 104 107 110 114 117
a 8 10 11 15 18 19 26 27 32 34 40 42 43 44 50 51 56 63 72 78 83 85 86 87 90 98 100 103 104 107 110 114 117
a 8 10 11 15 18 19 26 27 31 32 34 40 42 43 50 51 56 63 72 78 83 85 86 87 90 98 100 103 104 107 110 114 117
a 8 10 11 15 18 19 26 27 31 32 34 40 42 43 51 56 61 63 72 78 83 85 86 87 90 98 100 103 104 107 110 114 117
a 8 10 11 15 18 19 26 27 31 32 34 40 42 43 51 56 61 63 72 73 78 85 86 87 90 98 100 103 104 107 110 114 117
a 8 10 11 15 18 19 25 26 27 31 32 34 40 42 43 51 61 63 72 73 78 85 86 87 90 98 100 103 104 107 110 114 117
a 8 10 11 15 18 19 25 26 27 31 32 34 40 41 42 43 51 61 72 73 78 85 86 87 90 98 100 103 104 107 110 114 117
a 8 10 11 15 18 19 25 26 27 31 32 40 41 42 43 51 61 72 73 78 80 85 86 87 90 98 100 103 104 107 110 114 117
a 7 8 10 11 15 19 25 26 27 31 32 40 41 42 43 51 61 72 73 78 80 85 86 87 90 98 100 103 104 107 110 114 117
a 7 8 10 11 15 19 25 27 31 32 40 41 42 43 51 61 72 73 78 80 85 86 87 90 92 98 100 103 104 107 110 114 117
c Step: 339
#END: [Tue Sep  5 07:23:47 2023]