#BEGIN: [Tue Sep  5 00:24:29 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#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 /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 52b44adec6d31c656a36fe2bc631de6e47343432b47e815b3476b9372e432b26
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 25 31 33 34 41 47 48 50 53 55 61 62 73 74 85 86 88 91 92 95 101 103 108 110 111 113
a 1 7 10 13 14 15 19 23 25 31 33 34 41 47 48 53 55 61 62 73 74 85 86 88 91 92 95 101 103 108 110 111 113
a 1 7 10 13 14 15 19 23 25 31 33 34 41 47 48 53 55 60 61 62 73 85 86 88 91 92 95 101 103 108 110 111 113
a 1 7 10 13 14 15 19 23 25 31 33 34 41 47 48 53 55 59 60 61 62 85 86 88 91 92 95 101 103 108 110 111 113
a 1 7 10 13 14 15 19 23 25 29 31 33 34 47 48 53 55 59 60 61 62 85 86 88 91 92 95 101 103 108 110 111 113
a 1 7 10 13 14 15 19 23 25 29 31 33 34 47 48 53 55 60 61 62 73 85 86 88 91 92 95 101 103 108 110 111 113
a 1 7 10 13 14 15 19 23 25 29 31 33 34 43 47 48 53 55 60 61 62 73 85 86 88 91 92 95 101 103 108 110 111
a 1 7 10 13 14 15 19 23 25 29 31 33 34 43 47 48 53 55 60 61 62 73 85 86 88 91 92 95 98 101 103 108 111
a 1 7 10 13 14 15 19 23 25 29 31 33 34 43 47 48 53 55 61 62 73 85 86 88 91 92 95 98 101 103 108 111 114
a 1 7 13 14 15 19 23 25 29 31 33 34 43 47 48 53 55 61 62 73 85 86 88 91 92 95 98 101 103 108 110 111 114
a 7 10 13 14 15 19 23 25 29 31 33 34 43 47 48 53 55 61 62 73 85 86 88 91 92 95 98 101 103 108 110 111 114
a 7 10 13 14 15 19 23 25 29 31 33 34 43 47 48 53 55 61 62 73 85 86 88 91 92 98 99 101 103 108 110 111 114
a 7 10 13 14 15 19 23 25 29 31 33 34 43 47 48 53 55 61 62 73 74 85 86 88 91 92 98 99 101 103 108 110 111
a 7 10 13 14 15 19 23 25 29 31 33 34 43 47 48 53 55 61 62 63 73 74 85 86 88 91 92 98 99 101 108 110 111
a 1 7 10 13 14 15 19 23 25 31 33 34 43 47 48 53 55 61 62 63 73 74 85 86 88 91 92 98 99 101 108 110 111
a 1 7 10 13 14 15 19 23 25 31 33 34 43 47 48 53 55 60 61 62 63 73 85 86 88 91 92 98 99 101 108 110 111
a 1 7 10 13 14 15 19 23 25 31 33 34 43 48 53 55 60 61 62 63 73 85 86 88 91 92 98 99 101 108 109 110 111
a 1 7 10 13 14 15 19 23 25 29 31 33 34 43 48 53 55 60 61 62 63 73 85 86 88 91 92 98 99 101 109 110 111
a 1 7 10 13 14 15 19 23 25 29 31 33 34 43 48 53 55 60 61 62 63 73 85 86 88 91 92 98 99 101 103 109 110
a 1 7 10 13 14 15 19 23 29 31 33 34 43 48 53 55 60 61 62 63 73 85 86 88 91 92 98 99 101 103 108 109 110
a 1 7 10 13 14 15 19 23 29 31 33 34 43 48 53 55 60 61 62 63 68 73 85 86 91 92 98 99 101 103 108 109 110
a 7 10 13 14 15 19 23 29 31 33 34 43 48 53 55 60 61 62 63 68 72 73 85 86 91 92 98 99 101 103 108 109 110
a 1 10 13 14 15 19 23 29 31 33 34 43 48 53 55 60 61 62 63 68 72 73 85 86 91 92 98 99 101 103 108 109 110
a 10 13 14 15 19 23 25 29 31 33 34 43 48 53 55 60 61 62 63 68 72 73 85 86 91 92 98 99 101 103 108 109 110
a 10 13 14 15 19 23 25 29 31 33 34 43 48 51 53 55 60 61 62 63 68 72 73 85 86 91 92 98 99 101 103 108 110
a 10 13 14 15 19 23 25 29 31 34 43 48 51 53 55 60 61 62 63 68 72 73 85 86 91 92 98 99 100 101 103 108 110
a 10 13 14 15 19 23 25 29 31 34 43 48 51 53 55 60 61 62 63 68 72 83 85 86 91 92 98 99 100 101 103 108 110
a 10 13 14 15 19 23 25 29 31 34 43 48 51 53 55 61 62 63 68 72 74 83 85 86 91 92 98 99 100 101 103 108 110
a 10 13 15 19 23 25 29 31 34 43 48 51 53 55 61 62 63 68 72 74 83 85 86 91 92 98 99 100 101 103 108 110 117
a 10 14 15 19 23 25 29 31 34 43 48 51 53 55 61 62 63 68 72 74 83 85 86 91 92 98 99 100 101 103 108 110 117
a 10 14 15 19 23 25 29 31 34 43 48 51 53 55 60 61 62 63 68 72 83 85 86 91 92 98 99 100 101 103 108 110 117
a 10 14 15 19 23 25 29 31 34 43 48 51 53 55 60 61 62 63 68 72 83 85 86 91 92 98 99 100 101 103 108 110 111
a 10 14 15 19 23 25 29 31 34 43 48 50 51 53 55 60 61 62 63 68 72 83 85 86 91 92 98 99 100 101 103 110 111
a 10 14 15 19 23 25 29 31 34 43 48 50 51 53 55 59 60 61 63 68 72 83 85 86 91 92 98 99 100 101 103 110 111
a 10 14 15 19 23 25 29 31 34 43 48 50 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 99 100 101 103 110 111
a 10 14 15 19 23 25 27 29 31 34 43 48 50 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 100 101 103 110 111
a 10 14 15 19 23 25 27 29 31 34 43 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 100 101 103 110
a 10 15 19 23 25 27 29 31 34 43 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 100 101 103 108 110
a 10 14 15 19 23 25 27 29 31 34 43 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 100 101 108 110
a 10 14 15 19 23 25 27 29 31 34 43 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 100 101 103 108
a 10 14 15 19 23 25 27 29 31 34 43 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 101 103 108 110
a 14 15 19 23 25 27 29 31 34 43 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101 103 108 110
a 10 14 15 19 23 25 27 29 31 34 43 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101 103 110
a 10 14 15 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101 103
a 10 14 15 19 23 25 27 29 31 34 43 45 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101 103 108
a 10 13 14 15 19 23 25 29 31 34 43 45 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101 103 108
a 10 13 14 15 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101 103
a 10 13 14 15 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 101 103 108
a 10 13 14 15 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 101 103 108
a 10 13 14 15 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101 108
a 10 14 15 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101 103 108
a 10 14 15 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 92 95 98 101 103 108 111
a 10 14 15 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 103 108 111
a 10 14 15 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101 103 111
a 10 14 15 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 63 68 72 77 83 85 86 91 92 95 98 101 103 111
a 10 13 14 15 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 63 68 72 77 83 85 86 91 92 98 101 103 111
a 10 14 15 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 63 68 72 77 83 85 86 91 92 98 101 103 111
a 10 15 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 63 68 72 77 83 85 86 91 92 98 101 103 111
a 10 14 15 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 63 68 72 77 83 85 86 92 98 101 103 111
a 14 15 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 63 68 72 77 83 85 86 91 92 98 101 103 111
a 10 14 15 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 63 68 72 77 83 85 86 91 92 98 101 103 111
a 10 14 15 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 63 68 72 77 83 85 86 91 92 95 101 103 111
a 10 14 15 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 63 68 72 77 83 85 86 91 92 95 98 101 111
a 10 14 15 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 62 63 68 72 83 85 86 91 92 95 98 101 111
a 10 15 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101 111
a 10 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101 108 111
a 10 14 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 95 98 101 108 111
a 10 14 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 72 83 85 86 91 92 95 98 101 108 111
a 10 13 14 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 72 83 85 86 91 92 95 98 101 108
a 10 13 14 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 92 95 98 101 108
a 10 13 14 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101
a 10 13 14 15 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 91 92 95 98 101
a 10 14 15 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 91 92 95 98 101 108
a 10 14 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101 108
a 10 14 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 101 103 108
a 10 14 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101 103
a 10 14 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 91 92 95 98 101 103 108
a 10 14 18 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101 103 108
a 10 14 15 18 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101 108
a 10 14 15 18 19 23 25 27 29 31 34 43 45 48 50 51 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101 108
a 10 14 15 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 98 101
a 10 14 15 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 95 101 108
a 10 14 15 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 101 103 108
a 10 15 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 100 101 103 108
a 10 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 100 101 103 108
a 10 15 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 100 101 103
a 10 13 15 18 19 23 25 27 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 100 101
a 10 13 15 18 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 99 100 101
a 13 15 18 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 99 100 101 103
a 13 14 15 18 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 99 100 101 103
a 13 14 15 18 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 99 100 101
a 10 14 15 18 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 99 100 101
a 10 13 14 18 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 99 100 101
a 10 13 14 15 18 19 23 25 29 31 34 43 45 48 50 51 53 55 59 60 61 62 63 68 72 83 85 86 91 92 98 99 100
a 10 13 14 15 18 19 23 25 29 31 34 40 43 45 48 50 51 53 55 60 61 62 63 68 72 83 85 86 91 92 98 99 100
a 10 13 14 15 18 19 23 25 29 31 34 40 43 45 48 50 51 53 55 60 61 62 63 68 72 83 85 91 92 98 99 100 106
a 10 13 14 15 18 19 23 25 29 31 34 40 43 45 48 50 51 53 55 60 61 62 63 68 72 73 85 91 92 98 99 100 106
a 10 13 14 15 18 19 25 29 31 34 40 43 45 48 50 51 53 55 60 61 62 63 68 72 73 82 85 91 92 98 99 100 106
a 10 13 14 15 18 19 25 29 31 34 40 43 45 48 50 51 53 55 60 62 63 68 72 73 82 85 91 92 98 99 100 106 108
a 10 14 15 18 19 25 29 31 34 40 43 45 48 50 51 53 55 60 61 62 63 68 72 73 82 85 91 92 98 99 100 106 108
a 10 13 14 15 18 19 25 29 31 34 40 43 45 50 51 53 55 60 61 62 63 68 72 73 82 85 91 92 98 99 100 106 108
a 6 10 13 14 15 18 19 25 29 31 34 40 43 45 50 53 55 60 61 62 63 68 72 73 82 85 91 92 98 99 100 106 108
a 6 10 13 14 15 17 18 19 25 29 31 34 40 43 45 50 53 55 60 61 62 63 68 72 73 82 85 91 92 98 99 100 106
a 6 10 13 14 15 17 18 19 25 31 34 40 43 45 50 53 55 60 61 62 63 68 72 73 82 85 91 92 98 99 100 106 108
a 6 10 13 14 15 17 18 19 25 29 31 34 40 43 45 50 53 55 60 61 62 63 68 72 73 82 85 91 92 98 99 100 108
a 6 10 13 14 15 17 18 19 25 29 31 34 40 45 50 53 55 60 61 62 63 68 72 73 82 85 86 91 92 98 99 100 108
a 6 10 13 14 15 17 18 19 25 29 31 35 40 45 50 53 55 60 61 62 63 68 72 73 82 85 86 91 92 98 99 100 108
a 10 13 14 15 17 18 19 25 29 31 35 40 43 45 50 53 55 60 61 62 63 68 72 73 82 85 86 91 92 98 99 100 108
a 10 13 14 15 17 18 19 25 29 31 35 40 43 45 50 53 55 60 61 62 68 72 73 80 82 85 86 91 92 98 99 100 108
a 10 13 14 15 17 18 19 22 25 29 31 35 40 43 45 50 53 55 60 61 62 68 72 73 80 82 85 86 91 92 98 100 108
a 10 14 15 17 18 19 22 25 29 31 35 40 43 45 50 53 55 60 61 62 68 72 73 80 82 85 86 91 92 98 99 100 108
a 10 14 15 17 18 19 22 25 31 35 40 41 43 45 50 53 55 60 61 62 68 72 73 80 82 85 86 91 92 98 99 100 108
a 10 14 15 17 18 19 22 25 31 35 40 41 43 45 48 50 53 55 60 62 68 72 73 80 82 85 86 91 92 98 99 100 108
a 10 15 17 18 19 22 25 31 35 40 41 43 45 48 50 53 55 60 62 68 72 73 80 82 85 86 91 92 98 99 100 106 108
a 15 17 18 19 22 25 31 35 40 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 100 106 108
a 15 17 18 19 22 25 31 35 39 40 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 91 92 98 99 100 106 108
a 15 17 18 19 22 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 91 92 98 99 100 101 106 108
a 15 17 18 19 22 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 100 101 106
a 15 17 18 19 22 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 100 101 109
a 15 17 18 19 22 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 100 101 107
a 15 17 18 22 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 100 101 106 107
a 15 18 19 22 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 100 101 106 107
a 18 19 22 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 100 101 106 107 109
a 15 19 22 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 100 101 106 107 109
a 15 18 19 22 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 100 101 106 107 109
a 18 19 22 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 100 101 106 107 108 109
a 18 19 22 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 100 101 103 107 108 109
a 18 22 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 100 101 103 107 108 109
a 17 22 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 100 101 103 107 108 109
a 17 18 22 25 31 35 39 41 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 100 101 103 107 108 109
a 17 18 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 100 101 103 107 108 109
a 17 18 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 101 103 107 108 109
a 6 17 18 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 101 103 107 109
a 6 15 17 18 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 99 101 103 107 109
a 6 15 18 19 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 99 101 103 107 109
a 6 15 17 18 19 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 99 101 103 107
a 6 15 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 99 101 107
a 6 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 101 107
a 6 17 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 101 107 109
a 6 17 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 98 99 101 103 107 109
a 6 17 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 101 103 107
a 1 6 17 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 101 107
a 1 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 101 107
a 1 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 101 103 107
a 1 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 99 101 103 107 109
a 1 15 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 99 101 103 109
a 1 15 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 99 103 109
a 1 15 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 103
a 15 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 101 103
a 6 15 17 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 101 103
a 1 6 15 17 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 101 103
a 6 15 17 18 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 101 103
a 6 15 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 101
a 1 6 15 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99
a 1 6 15 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 108
a 1 15 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 108
a 6 15 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 108
a 6 14 15 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 86 91 92 98 99 108
a 6 14 15 17 18 19 22 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 86 91 92 98 99 108 109
a 6 13 14 15 17 18 19 22 25 31 35 39 41 43 45 48 50 53 55 62 65 68 72 73 80 82 86 91 92 98 99 108 109
a 6 13 14 15 17 18 19 22 25 31 35 39 41 45 48 50 53 55 60 62 65 68 72 73 80 82 86 91 92 98 99 108 109
a 1 6 13 14 15 17 18 19 22 25 31 35 39 41 45 48 50 53 60 62 65 68 72 73 80 82 86 91 92 98 99 108 109
a 1 6 13 14 15 17 18 19 22 25 31 35 39 41 45 48 50 53 55 60 62 65 68 72 73 80 82 86 91 92 98 99 109
a 1 6 13 14 15 18 19 22 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 86 91 92 98 99 109
a 1 6 13 14 15 18 19 22 25 27 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 86 91 92 98 109
a 1 6 13 14 15 17 18 19 22 25 27 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 86 91 98 109
a 1 6 13 14 15 17 18 19 22 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 86 91 98 99 109
a 1 6 13 15 17 18 19 22 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 86 91 92 98 99 109
a 6 13 15 17 18 19 22 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 80 82 85 86 91 92 98 99 109
a 6 13 17 18 19 22 25 31 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 76 80 82 85 86 91 92 98 99 109
a 6 13 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 76 80 82 85 86 92 98 99 109
a 6 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 76 80 82 85 86 91 92 98 99 109
a 6 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 73 76 80 82 85 86 91 92 98 99 107
a 6 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 60 62 65 68 72 76 80 82 85 86 91 92 98 99 107 111
a 6 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 59 60 62 65 68 72 76 80 82 85 86 91 92 98 99 111
a 6 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 59 60 62 65 68 72 76 80 82 85 86 91 92 98 99 107
a 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 59 60 62 65 68 72 76 80 82 85 86 91 92 98 99 101 107
a 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 59 60 62 65 68 72 76 80 82 85 86 91 93 98 99 101 107
a 17 18 19 22 25 31 33 39 41 43 45 48 50 53 55 59 60 62 65 68 72 76 80 82 85 86 91 93 98 99 101 107 111
a 17 18 19 22 25 31 33 35 39 41 43 45 48 50 53 55 59 60 62 65 68 72 76 80 82 85 91 93 98 99 101 107 111
a 17 18 19 22 25 31 35 39 41 43 45 48 50 53 55 59 60 62 65 68 72 76 80 82 85 86 91 93 98 99 101 107 111
a 17 18 19 22 25 27 31 35 39 41 43 45 48 50 53 55 59 60 62 65 68 72 76 80 82 85 86 91 93 98 101 107 111
a 18 19 22 25 27 31 35 39 41 43 45 48 50 53 55 59 60 62 65 68 72 76 80 82 85 86 91 93 95 98 101 107 111
a 18 19 22 25 26 27 31 35 39 41 43 45 48 50 53 55 59 60 62 65 68 72 76 80 82 85 86 91 93 95 98 101 107
a 1 18 19 25 26 27 31 35 39 41 43 45 48 50 53 55 59 60 62 65 68 72 76 80 82 85 86 91 93 95 98 101 107
a 1 18 19 25 26 27 31 35 39 41 43 45 48 50 51 53 55 59 60 62 65 68 72 76 80 82 85 86 91 93 98 101 107
a 1 19 25 26 27 31 35 38 39 41 43 45 48 50 51 53 55 59 60 62 65 68 72 76 80 82 85 86 91 93 98 101 107
a 1 18 19 25 26 27 31 35 38 39 41 43 45 48 50 51 53 55 59 60 62 65 68 72 76 80 82 85 86 93 98 101 107
a 1 18 19 25 27 31 35 38 39 41 43 45 48 50 51 53 55 59 60 62 65 68 72 76 80 82 85 86 93 95 98 101 107
a 1 18 19 25 26 27 31 35 38 39 41 43 48 50 51 53 55 59 60 62 65 68 72 76 80 82 85 86 93 95 98 101 107
a 1 18 19 25 26 27 31 35 38 39 41 43 45 48 50 51 53 55 59 60 62 65 68 72 76 80 82 85 86 93 95 98 107
a 1 18 19 22 25 26 27 31 35 38 39 41 43 45 48 50 51 53 55 59 60 62 65 68 72 76 80 82 85 86 93 95 98
a 1 18 19 22 25 27 31 35 38 39 41 43 45 48 50 51 53 55 58 59 60 62 65 68 72 76 80 82 85 86 93 95 98
a 1 18 19 25 27 31 35 38 39 41 43 45 48 50 51 53 55 58 59 60 62 65 68 72 76 80 82 85 86 91 93 95 98
a 18 19 25 26 27 31 35 38 39 41 43 45 48 50 51 53 55 58 59 60 62 65 68 72 76 80 82 85 86 91 93 95 98
a 18 25 26 27 31 35 38 39 41 43 45 48 50 51 53 55 58 59 60 62 65 68 72 76 80 82 85 86 91 93 95 98 101
a 18 22 26 27 31 35 38 39 41 43 45 48 50 51 53 55 58 59 60 62 65 68 72 76 80 82 85 86 91 93 95 98 101
a 18 22 26 27 31 35 38 39 41 43 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 86 91 93 95 98
a 22 26 27 31 35 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 86 91 93 95 98
a 19 26 27 31 35 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 86 91 93 95 98
a 19 22 26 27 31 35 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 86 91 93 95 98
a 22 26 27 31 35 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 86 91 93 95 98 111
a 22 26 27 31 35 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 86 91 93 95 111
a 1 26 27 31 35 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 86 91 93 95 111
a 1 3 27 31 35 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 86 91 93 95 111
a 1 19 27 31 35 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 86 91 93 95 111
a 1 18 19 27 31 35 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 72 76 80 82 85 86 91 93 95 111
a 1 18 19 31 35 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 86 91 93 95 111
a 1 18 19 26 31 35 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 82 85 86 91 93 95 111
a 1 18 19 24 26 31 35 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 82 85 86 93 95 111
a 1 18 19 24 26 27 31 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 82 85 86 93 95 111
a 1 18 19 26 27 31 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 86 93 95 111
a 1 18 19 26 27 31 35 38 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 86 93 95 111
a 18 19 26 27 31 35 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 86 93 95 111
a 1 18 19 26 27 31 35 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 86 93 95
a 1 18 19 22 26 27 31 35 38 39 41 43 44 45 48 50 51 53 55 56 58 59 62 65 68 72 76 80 82 85 86 93 95
a 1 18 19 22 26 27 31 35 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 93 95
a 1 18 19 22 26 27 31 35 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 91 93
a 1 14 18 19 22 26 27 31 35 38 39 41 43 44 45 48 50 51 55 56 58 59 60 62 65 68 72 76 80 82 85 91 93
a 14 18 19 22 26 27 31 35 38 39 41 43 44 45 48 50 51 55 56 58 59 60 62 65 68 72 76 80 82 85 91 93 111
a 14 18 19 22 26 27 31 35 38 39 41 43 44 45 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 91 93 111
a 14 18 19 22 26 27 31 35 38 39 41 43 44 48 50 51 53 55 56 58 59 60 62 65 68 72 76 80 82 85 91 93 111
a 14 18 19 22 26 27 31 35 38 39 41 43 44 48 50 51 55 56 58 59 60 62 65 68 71 72 76 80 82 85 91 93 111
a 14 18 19 22 26 27 31 35 38 39 41 43 44 46 48 50 51 55 56 58 59 62 65 68 71 72 76 80 82 85 91 93 111
a 14 18 19 22 24 26 27 31 35 38 39 41 43 44 46 48 50 51 55 56 58 59 62 65 68 71 72 76 80 82 85 93 111
a 14 18 19 22 24 26 27 31 35 38 39 41 43 44 46 48 50 51 55 56 58 59 62 65 68 71 72 76 80 82 85 86 93
a 14 18 19 22 24 26 27 31 35 38 39 41 43 44 48 50 51 55 56 58 59 60 62 65 68 71 72 76 80 82 85 86 93
a 18 19 22 24 26 27 31 35 38 39 41 43 44 48 50 51 55 56 58 59 60 62 65 68 71 72 76 80 82 85 86 93 111
a 18 22 24 26 27 31 35 38 39 41 43 44 45 48 50 51 55 56 58 59 60 62 65 68 71 72 76 80 82 85 86 93 111
a 18 22 24 26 27 31 35 38 41 43 44 45 48 50 51 55 56 58 59 60 61 62 65 68 71 72 76 80 82 85 86 93 111
a 18 22 26 27 31 35 38 41 43 44 45 48 50 51 55 56 58 59 60 61 62 65 68 71 72 76 80 82 85 86 91 93 111
a 18 22 26 27 31 35 38 41 43 44 45 46 48 50 51 55 56 58 59 61 62 65 68 71 72 76 80 82 85 86 91 93 111
a 19 22 26 27 31 35 38 41 43 44 45 46 48 50 51 55 56 58 59 61 62 65 68 71 72 76 80 82 85 86 91 93 111
a 1 19 26 27 31 35 38 41 43 44 45 46 48 50 51 55 56 58 59 61 62 65 68 71 72 76 80 82 85 86 91 93 111
a 18 19 26 27 31 35 38 41 43 44 45 46 48 50 51 55 56 58 59 61 62 65 68 71 72 76 80 82 85 86 91 93 111
a 18 19 22 26 27 31 35 38 41 43 44 45 46 48 50 51 55 56 58 59 61 62 65 68 71 72 76 80 82 85 91 93 111
a 18 19 22 26 27 31 35 38 41 43 44 45 46 48 50 51 55 56 58 59 61 62 65 68 71 72 76 80 82 85 86 93 111
a 18 19 22 26 27 31 35 38 41 43 44 45 46 48 50 51 53 55 56 58 59 61 62 65 68 72 76 80 82 85 86 93 111
a 14 18 19 22 26 27 31 35 38 41 43 44 45 46 48 50 51 53 55 56 58 59 61 62 65 68 72 76 80 82 85 86 93
a 14 18 19 22 26 27 31 35 38 43 44 45 46 48 50 51 53 55 56 58 59 61 62 65 68 72 76 80 82 85 86 93 98
a 14 18 19 22 26 31 35 38 43 44 45 46 48 50 51 53 55 56 58 59 61 62 65 68 72 76 80 82 85 86 93 95 98
a 14 19 22 26 31 35 38 43 44 45 46 48 50 51 53 55 56 58 59 61 62 65 68 72 76 80 82 85 86 91 93 95 98
a 1 14 19 22 26 31 35 38 43 44 45 46 48 50 51 53 55 56 58 59 61 62 65 68 72 80 82 85 86 91 93 95 98
a 1 14 19 22 26 31 35 38 43 44 45 46 48 50 51 53 55 56 58 59 61 62 65 68 72 76 80 82 85 86 93 95 98
a 1 14 19 22 26 27 31 35 38 43 44 45 46 48 50 51 53 55 56 58 59 61 62 65 68 72 76 80 82 85 86 95 98
a 1 14 19 22 26 27 31 35 38 44 45 46 48 50 51 53 55 56 58 59 61 62 65 68 72 76 80 82 85 86 93 95 98
a 1 14 19 22 26 27 31 35 43 44 45 46 48 50 51 53 55 56 58 59 61 62 65 68 72 76 80 82 85 86 93 95 98
a 1 14 18 19 22 26 27 31 35 43 44 45 46 48 50 51 53 55 56 58 59 61 62 65 68 72 76 80 82 85 86 93 95
a 1 14 18 19 22 26 27 35 41 43 44 45 46 48 50 51 53 55 56 58 59 61 62 65 68 72 76 80 82 85 86 93 95
a 1 14 18 19 22 26 27 35 41 43 44 45 46 48 50 51 53 55 56 58 59 61 62 65 68 72 76 80 82 85 86 91 95
a 1 14 18 19 22 26 27 35 41 43 45 46 48 50 51 53 55 56 58 59 61 62 65 68 72 76 80 82 85 86 91 93 95
a 1 14 18 19 22 26 27 35 41 43 45 46 48 50 51 53 55 56 58 59 61 62 65 68 72 80 82 85 86 91 93 95 98
a 1 9 14 18 19 22 26 27 35 41 43 45 46 48 50 51 53 55 56 58 59 61 62 65 68 72 82 85 86 91 93 95 98
a 1 9 14 18 19 22 26 27 35 38 41 43 45 46 48 50 51 53 55 56 59 61 62 65 68 72 82 85 86 91 93 95 98
a 1 9 14 18 19 22 26 27 35 41 43 45 46 48 50 51 53 55 56 59 61 62 65 68 72 76 82 85 86 91 93 95 98
a 1 9 14 18 19 22 26 27 35 43 45 46 48 50 51 53 55 56 59 61 62 63 65 68 72 76 82 85 86 91 93 95 98
a 1 9 14 18 19 22 26 27 35 43 45 46 48 50 51 53 55 56 58 59 61 62 63 65 68 72 76 82 85 86 91 95 98
a 1 9 14 18 19 22 26 27 43 45 46 48 50 51 53 55 56 58 59 61 62 63 65 68 72 76 82 83 85 86 91 95 98
a 9 14 18 19 22 26 27 38 43 45 46 48 50 51 53 55 56 58 59 61 62 63 65 68 72 76 82 83 85 86 91 95 98
a 14 18 19 22 26 27 38 43 44 45 46 48 50 51 53 55 56 58 59 61 62 63 65 68 72 76 82 83 85 86 91 95 98
a 9 18 19 22 26 27 38 43 44 45 46 48 50 51 53 55 56 58 59 61 62 63 65 68 72 76 82 83 85 86 91 95 98
a 9 14 18 19 22 26 38 43 44 45 46 48 50 51 53 55 56 58 59 61 62 63 65 68 72 76 82 83 85 86 91 95 98
a 9 18 19 22 26 29 38 43 44 45 46 48 50 51 53 55 56 58 59 61 62 63 65 68 72 76 82 83 85 86 91 95 98
a 9 18 19 22 26 29 31 38 43 44 45 46 48 50 51 53 55 56 58 59 61 62 63 65 68 72 76 82 83 85 86 91 95
a 9 13 18 22 26 29 31 38 43 44 45 46 48 50 51 53 55 56 58 59 61 62 63 65 68 72 76 82 83 85 86 91 95
a 9 13 18 26 29 31 34 38 43 44 45 46 48 50 51 53 55 56 58 59 61 62 63 65 68 72 76 82 83 85 86 91 95
a 9 13 18 26 29 31 34 38 43 44 45 46 48 50 53 55 56 58 59 61 62 63 65 68 72 76 82 83 85 86 91 93 95
a 9 13 18 26 29 31 34 43 44 45 46 48 50 53 55 56 58 59 61 62 63 65 68 72 76 82 83 85 86 90 91 93 95
a 9 18 19 26 29 31 34 43 44 45 46 48 50 53 55 56 58 59 61 62 63 65 68 72 76 82 83 85 86 90 91 93 95
a 9 18 19 26 29 31 34 43 44 45 46 48 50 51 53 55 56 58 59 61 62 63 65 68 72 76 82 83 85 86 91 93 95
a 18 19 26 27 29 31 34 43 44 45 46 48 50 51 53 55 56 58 59 61 62 63 65 68 72 76 82 83 85 86 91 93 95
a 18 19 26 27 31 34 43 44 45 46 48 50 51 53 55 56 58 59 61 62 63 65 68 72 76 82 83 85 86 91 93 95 107
a 18 19 26 27 31 34 43 44 45 48 50 51 53 55 56 58 59 61 62 63 65 68 72 76 82 83 85 86 90 91 93 95 107
a 18 19 26 27 31 34 43 44 45 46 48 50 51 53 55 56 58 59 61 63 65 68 72 76 82 83 85 86 90 91 93 95 107
a 19 26 27 31 34 43 44 45 46 48 50 51 53 55 56 58 59 61 63 65 68 72 76 82 83 85 86 90 91 93 95 98 107
a 15 19 26 27 31 34 43 44 45 46 48 50 51 53 55 56 58 59 61 63 65 68 72 82 83 85 86 90 91 93 95 98 107
a 15 19 27 31 34 43 44 45 46 48 50 51 53 55 56 58 59 61 63 65 68 72 82 83 85 86 90 91 93 95 98 107 117
a 11 15 19 27 31 34 43 44 45 46 48 50 51 53 55 56 58 59 61 63 65 72 82 83 85 86 90 91 93 95 98 107 117
a 11 15 19 27 31 34 43 44 46 48 50 51 53 55 56 58 59 61 63 65 72 82 83 85 86 90 91 93 95 98 107 110 117
a 11 15 19 27 31 34 42 43 44 46 48 50 51 53 55 56 58 59 61 63 65 72 83 85 86 90 91 93 95 98 107 110 117
a 11 15 19 27 31 34 42 43 44 48 50 51 53 55 56 58 59 61 63 65 72 83 85 86 90 91 93 95 98 103 107 110 117
a 11 15 19 27 31 34 42 43 44 48 50 51 53 55 58 59 61 63 65 72 83 85 86 90 91 93 95 98 103 107 110 114 117
a 11 15 19 27 31 34 42 43 44 48 50 51 53 55 58 59 61 63 65 72 83 85 86 90 91 93 98 100 103 107 110 114 117
a 8 11 15 19 27 31 34 42 43 44 48 50 51 53 55 59 61 63 65 72 83 85 86 90 91 93 98 100 103 107 110 114 117
a 8 11 15 19 25 27 31 34 42 43 48 50 51 53 55 59 61 63 65 72 83 85 86 90 91 93 98 100 103 107 110 114 117
a 8 11 15 19 25 27 31 34 42 43 48 50 51 53 55 59 61 63 65 72 83 85 86 90 91 92 98 100 103 107 110 114 117
a 8 11 15 19 25 27 31 34 40 42 43 48 50 51 53 55 61 63 65 72 83 85 86 90 91 92 98 100 103 107 110 114 117
a 8 11 15 19 25 27 31 34 40 42 43 48 50 51 55 61 63 65 72 78 83 85 86 90 91 92 98 100 103 107 110 114 117
a 8 10 11 15 19 25 27 31 34 40 42 43 48 50 51 55 61 63 72 78 83 85 86 90 91 92 98 100 103 107 110 114 117
a 8 10 11 15 19 25 27 31 32 34 40 42 43 48 50 51 61 63 72 78 83 85 86 90 91 92 98 100 103 107 110 114 117
a 8 10 11 15 19 25 27 31 32 34 40 42 43 50 51 61 63 72 78 83 85 86 87 90 91 92 98 100 103 107 110 114 117
a 8 10 11 15 19 25 27 31 32 34 40 42 43 50 51 61 63 72 73 78 85 86 87 90 91 92 98 100 103 107 110 114 117
a 8 10 11 15 19 25 27 31 32 34 40 42 43 50 51 61 63 72 73 78 85 86 87 90 92 98 100 103 104 107 110 114 117
a 8 10 11 15 19 25 27 31 32 34 40 41 42 43 50 51 61 72 73 78 85 86 87 90 92 98 100 103 104 107 110 114 117
a 7 8 10 11 15 19 25 27 31 32 34 40 41 42 43 51 61 72 73 78 85 86 87 90 92 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: 296
#END: [Tue Sep  5 00:54:30 2023]