#BEGIN: [Mon Sep  4 16:21:53 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance009_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance009_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_instance009_graph002.col /benchmark/random_instance/random_instance009_graph002_01.dat
c /benchmark/random_instance/random_instance009_graph002.col
c /benchmark/random_instance/random_instance009_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 20108fa6b386ec440c76a5403ac832e3f26a8d830576246fadf77c093eced7d3
s 28 117 114 113 102 51 48 112 92 99 73 26 75 21 109 10 85 29 116 93 86 91 63 106 20 11 43 36 35 70 58 39 47 69 79 55 12 65
t 27 100 26 42 87 98 24 60 52 43 14 85 106 4 110 89 49 41 20 91 107 23 76 47 78 84 45 109 101 21 115 88 57 36 93 30 83 108
a YES
a 10 11 12 20 21 26 28 29 35 36 39 43 47 48 51 55 58 63 65 69 70 73 75 79 85 86 91 92 93 99 102 106 109 112 113 114 116 117
a 10 11 12 20 21 24 26 28 29 35 36 39 43 47 48 51 55 58 63 65 69 70 75 79 85 86 91 92 93 99 102 106 109 112 113 114 116 117
a 7 10 11 12 20 21 24 26 28 29 35 36 39 43 47 48 51 55 58 63 65 69 70 75 79 85 86 91 92 93 99 102 106 109 112 113 114 116
a 7 10 11 12 20 21 24 26 28 29 35 36 39 43 47 51 55 58 63 65 69 70 75 79 85 86 87 91 92 93 99 102 106 109 112 113 114 116
a 10 11 12 20 21 24 26 28 29 35 36 39 43 47 51 55 58 63 65 69 70 75 79 85 86 87 91 92 93 99 102 106 109 112 113 114 116 117
a 10 11 12 20 21 26 28 29 35 36 39 43 47 51 55 58 63 65 69 70 73 75 79 85 86 87 91 92 93 99 102 106 109 112 113 114 116 117
a 10 11 12 16 20 21 26 28 29 35 36 39 43 47 51 55 58 63 65 69 70 73 75 79 85 86 87 91 92 93 99 102 106 109 112 113 114 116
a 10 11 12 16 20 21 23 26 28 29 35 36 39 43 47 51 55 58 63 65 69 70 73 75 79 85 86 87 91 92 93 99 106 109 112 113 114 116
a 7 10 11 12 16 20 21 23 26 29 35 36 39 43 47 51 55 58 63 65 69 70 73 75 79 85 86 87 91 92 93 99 106 109 112 113 114 116
a 7 10 12 16 20 21 23 26 29 35 36 37 39 43 47 51 55 58 63 65 69 70 73 75 79 85 86 87 91 92 93 99 106 109 112 113 114 116
a 7 10 12 16 20 21 23 26 29 35 36 37 39 43 47 51 55 58 63 65 69 70 73 75 79 85 86 87 90 91 92 93 106 109 112 113 114 116
a 7 12 16 20 21 23 26 28 29 35 36 37 39 43 47 51 55 58 63 65 69 70 73 75 79 85 86 87 90 91 92 93 106 109 112 113 114 116
a 7 12 16 20 21 23 24 26 28 29 35 36 37 39 43 47 51 55 58 63 65 69 70 75 79 85 86 87 90 91 92 93 106 109 112 113 114 116
a 12 16 20 21 23 24 26 28 29 35 36 37 39 43 47 51 55 58 63 65 69 70 75 79 85 86 87 90 91 92 93 106 109 112 113 114 116 117
a 12 16 20 21 23 24 26 28 29 35 36 37 39 43 47 51 55 58 63 65 69 70 75 79 85 86 87 91 92 93 99 106 109 112 113 114 116 117
a 7 12 16 20 21 23 24 26 28 29 35 36 37 39 43 47 51 55 58 63 65 69 70 75 79 85 86 87 91 92 93 99 106 109 112 113 114 116
a 7 10 12 16 20 21 23 24 26 29 35 36 37 39 43 47 51 55 58 63 65 69 70 75 79 85 86 87 91 92 93 99 106 109 112 113 114 116
a 7 10 12 16 20 21 23 24 26 29 35 36 37 39 43 47 51 55 57 58 63 65 69 70 75 79 85 86 87 91 92 93 99 106 109 112 113 114
a 7 10 12 16 20 21 23 24 26 29 35 36 37 39 43 47 51 55 57 58 63 65 69 70 75 79 85 86 87 90 91 92 93 106 109 112 113 114
a 7 10 12 16 20 21 23 24 26 28 29 35 36 37 39 43 47 51 55 57 58 63 65 69 70 75 79 85 86 87 90 91 92 93 106 109 112 113
a 7 10 12 16 20 21 23 24 26 28 29 35 36 37 39 43 47 51 55 57 58 63 65 69 70 75 79 85 86 87 90 91 92 93 106 109 111 112
a 7 10 12 16 20 21 23 24 26 28 29 35 36 37 39 43 47 50 51 55 57 58 63 65 69 70 75 79 85 86 87 90 91 92 93 109 111 112
a 7 11 12 16 20 21 23 24 26 28 29 35 36 37 39 43 47 50 51 55 57 58 63 65 69 70 75 79 85 86 87 90 91 92 93 109 111 112
a 7 11 12 16 20 21 23 24 26 28 29 30 35 36 37 39 43 47 50 51 55 57 58 65 69 70 75 79 85 86 87 90 91 92 93 109 111 112
a 7 11 12 16 20 21 23 24 26 28 29 30 36 37 39 43 47 50 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 109 111 112
a 7 11 12 16 20 21 23 24 26 28 29 30 35 36 37 39 43 47 50 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 109 112
a 7 11 12 16 20 21 23 24 26 28 29 30 35 36 37 39 43 47 50 51 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 109 111 112
a 7 10 11 12 16 20 21 23 24 26 28 29 30 35 36 37 39 43 47 50 51 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 109 111
a 7 10 11 12 16 20 21 23 24 26 28 29 30 35 36 37 39 43 47 50 51 55 57 58 65 69 70 75 79 81 82 85 86 91 92 93 109 111
a 10 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 39 43 47 50 51 55 57 58 65 69 70 75 79 81 82 85 86 91 92 93 109 111
a 10 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 39 47 50 51 55 57 58 65 69 70 75 79 81 82 85 86 91 92 93 99 109 111
a 10 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 39 47 50 51 57 58 60 65 69 70 75 79 81 82 85 86 91 92 93 99 109 111
a 10 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 39 47 50 51 53 57 58 60 65 69 75 79 81 82 85 86 91 92 93 99 109 111
a 10 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 39 47 50 51 53 57 58 60 65 69 75 79 81 85 86 87 91 92 93 99 109 111
a 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 39 43 47 50 51 53 57 58 60 65 69 75 79 81 85 86 87 91 92 93 99 109 111
a 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 39 43 47 50 51 57 58 60 65 69 70 75 79 81 85 86 87 91 92 93 99 109 111
a 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 39 43 47 50 51 57 58 60 65 69 70 75 79 81 82 85 86 91 92 93 99 109 111
a 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 39 43 47 50 51 57 58 60 65 69 70 75 79 81 85 86 91 92 93 99 109 111 115
a 11 12 14 16 20 21 23 24 26 28 29 35 36 37 39 43 47 50 51 57 58 60 63 65 69 70 75 79 81 85 86 91 92 93 99 109 111 115
a 11 12 14 16 20 21 23 24 26 28 29 35 36 37 39 43 47 50 51 57 58 60 63 65 69 70 75 79 81 82 85 86 91 92 93 99 109 111
a 11 12 14 16 20 21 23 24 26 28 29 35 36 37 39 43 47 50 51 55 57 58 63 65 69 70 75 79 81 82 85 86 91 92 93 99 109 111
a 11 12 14 16 21 23 24 26 28 29 35 36 37 39 43 47 50 51 55 57 58 63 65 69 70 75 79 81 82 85 86 91 92 93 99 109 111 112
a 11 12 14 16 21 23 24 26 28 29 35 36 37 39 43 47 50 51 55 57 58 63 65 69 70 75 79 81 85 86 87 91 92 93 99 109 111 112
a 10 11 12 14 16 21 23 24 26 28 29 35 36 37 39 43 47 50 51 55 57 58 63 65 69 70 75 79 81 85 86 87 91 92 93 99 109 111
a 10 11 12 14 16 21 23 24 26 28 29 30 35 36 37 39 43 47 50 51 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 99 109 111
a 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 39 43 47 50 51 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 99 109 111
a 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 99 109 111
a 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 99 106 111
a 11 12 14 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 70 73 75 79 81 85 86 87 91 92 93 99 106 111
a 10 11 12 14 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 70 73 75 79 81 86 87 91 92 93 99 106 111
a 10 12 14 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 70 73 75 79 81 86 87 91 92 93 99 106 109 111
a 11 12 14 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 70 73 75 79 81 86 87 91 92 93 99 106 109 111
a 6 11 12 14 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 70 73 75 79 81 86 87 91 92 93 99 106 109
a 6 7 12 14 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 70 73 75 79 81 86 87 91 92 93 99 106 109
a 6 7 12 14 16 20 21 23 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 73 75 79 81 86 87 91 92 93 99 106 109
a 6 7 11 12 14 16 20 21 23 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 73 75 79 81 86 87 91 92 93 99 106
a 6 7 10 11 12 14 16 20 21 23 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 73 75 79 81 86 87 91 92 93 106
a 6 7 10 11 12 14 20 21 23 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 73 75 79 81 86 87 90 91 92 93 106
a 7 10 11 12 14 16 20 21 23 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 73 75 79 81 86 87 90 91 92 93 106
a 7 10 11 12 14 16 20 21 23 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 73 75 79 81 86 87 91 92 93 99 106
a 10 11 12 14 16 20 21 23 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 73 75 79 81 86 87 91 92 93 99 106 109
a 7 10 11 12 14 16 20 21 23 26 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 73 75 79 81 86 87 91 92 93 99 106 109
a 7 10 11 12 14 16 20 21 23 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 69 70 73 75 79 81 86 87 91 92 93 99 106 109
a 7 10 11 12 14 16 20 21 23 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 69 70 73 75 79 81 86 87 90 91 92 93 106 109
a 7 10 11 12 14 16 20 21 23 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 73 75 79 81 86 87 90 91 93 106 109
a 7 10 11 12 14 16 20 21 23 26 28 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 73 75 79 81 86 87 90 91 92 93 106 109
a 10 11 12 14 16 20 21 23 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 73 75 79 81 86 87 90 91 92 93 106 109
a 11 12 14 16 20 21 23 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 73 75 79 81 86 87 90 91 92 93 106 109 111
a 10 11 12 14 16 20 21 23 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 86 87 90 91 92 93 106 109 111
a 10 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 86 87 90 91 92 93 106 109 111
a 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 86 87 90 91 92 93 106 109 111 115
a 11 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 86 87 90 91 92 93 106 109 111
a 10 11 12 14 16 20 21 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 86 87 90 91 92 93 106 109 111
a 10 11 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 86 87 90 91 92 93 106 109
a 11 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 109
a 11 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 65 69 70 75 78 79 81 85 86 87 90 91 92 93 106 109
a 10 11 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 55 57 65 69 70 75 78 79 81 85 86 87 90 91 92 93 106 109
a 10 11 12 14 16 20 21 23 24 26 28 30 33 35 36 37 38 39 43 51 55 57 65 69 70 75 78 79 81 85 86 87 90 91 92 93 106 109
a 10 11 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 65 69 70 75 78 79 81 85 86 87 90 91 92 93 106 109
a 10 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 65 69 70 75 78 79 81 85 86 87 90 91 92 93 106 109 112
a 10 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 65 69 70 75 78 79 81 85 87 90 91 92 93 106 109 111 112
a 10 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 65 69 70 75 78 79 81 85 86 87 90 91 93 106 109 111 112
a 10 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 65 69 70 75 78 79 81 85 86 87 90 91 92 93 106 109 111
a 10 14 16 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 65 69 70 75 78 79 81 85 86 87 90 91 92 93 106 109 111 112
a 10 14 16 20 21 23 24 28 29 30 33 35 36 37 38 39 43 51 55 57 65 69 70 75 78 79 81 85 86 87 90 91 92 93 106 109 111 112
a 10 14 16 20 21 23 24 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 109 111 112
a 10 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 109 111 112
a 10 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 99 106 109 111 112
a 10 12 14 16 21 23 24 26 28 29 30 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 99 106 109 111 112
a 10 12 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 99 106 109 111 112
a 12 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 99 106 109 111 112
a 12 20 21 23 24 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 99 106 109 111 112 113
a 11 12 20 21 23 24 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 99 106 109 111 112
a 11 12 20 21 23 24 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 75 79 81 85 86 87 91 92 93 99 100 106 109 111 112
a 11 12 20 21 23 24 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 75 79 81 85 86 87 91 92 93 99 100 106 109 111 115
a 11 12 16 21 23 24 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 75 79 81 85 86 87 91 92 93 99 100 106 109 111 115
a 11 12 14 16 21 24 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 75 79 81 85 86 87 91 92 93 99 100 106 109 111 115
a 11 12 14 16 21 24 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 99 106 109 111 115
a 11 14 16 20 21 24 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 99 106 109 111 115
a 11 14 16 20 21 24 26 28 29 30 35 36 37 38 39 43 47 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 99 106 109 111 112 115
a 11 14 16 20 21 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 99 106 109 111 112
a 11 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 99 106 109 111
a 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 47 55 57 58 65 69 70 75 79 81 85 86 87 91 92 93 99 106 109 111
a 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 47 55 57 65 69 70 75 78 79 81 85 86 87 91 92 93 99 106 109 111
a 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 47 55 57 65 69 70 75 78 79 81 85 86 87 91 92 93 99 106 111 115
a 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 55 57 65 69 70 75 78 79 81 85 86 87 91 92 93 99 106 109 111 115
a 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 55 57 65 69 70 75 78 79 81 85 86 87 91 92 93 99 106 109 111 115
a 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 65 69 70 75 78 79 81 85 86 87 92 93 99 106 109 111 115
a 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 65 69 70 75 78 79 81 85 86 87 91 92 93 99 106 109 111 115
a 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 99 106 109 111 115
a 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 99 106 109 111 113 115
a 14 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 99 106 109 111 113 115
a 14 20 21 23 24 28 29 30 33 35 36 37 38 39 43 51 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 99 106 109 111 112 113 115
a 14 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 99 106 109 111 112 113
a 11 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 99 106 109 111 112 113
a 11 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 45 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 99 106 109 111 112 113
a 11 20 21 23 24 26 28 29 30 33 35 36 37 38 39 41 43 45 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 106 109 111 112 113
a 11 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 41 43 45 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 106 109 111 113
a 11 16 20 21 23 24 26 29 30 33 35 36 37 38 39 41 43 45 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 106 109 111 112 113
a 11 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 41 43 45 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 106 111 112 113
a 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 41 43 45 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 106 109 111 112 113
a 14 20 21 23 24 26 28 29 30 33 35 36 37 38 39 41 43 45 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 106 109 111 112 113
a 11 14 20 21 23 24 26 28 29 30 33 35 36 37 38 39 41 43 45 57 60 65 69 70 75 78 79 81 85 86 87 91 93 106 109 111 112 113
a 11 14 20 21 23 24 26 28 29 30 33 35 36 37 38 39 41 43 51 57 60 65 69 70 75 78 79 81 85 86 87 91 93 106 109 111 112 113
a 11 14 20 21 24 26 28 29 30 33 35 36 37 38 39 41 43 51 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 106 109 111 112 113
a 11 20 21 23 24 26 28 29 30 33 35 36 37 38 39 41 43 51 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 106 109 111 112 113
a 7 11 20 21 23 24 26 28 29 30 33 35 36 37 38 39 41 43 51 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 106 109 111 113
a 11 14 20 21 23 24 26 28 29 30 33 35 36 37 38 39 41 43 51 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 106 109 111 113
a 11 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 41 43 51 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 106 109 111
a 11 12 14 16 21 23 24 26 28 29 30 33 35 36 37 38 39 41 43 51 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 106 109 111
a 11 12 14 16 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 99 106 109 111
a 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 99 106 109 111
a 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 57 60 65 69 70 75 78 79 81 85 86 87 91 92 93 99 109 111 112
a 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 44 51 57 60 65 69 70 75 78 79 81 85 86 87 91 93 99 109 111 112
a 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 43 44 51 57 60 65 69 70 75 78 79 81 85 86 87 91 93 99 106 109 111 112
a 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 44 51 57 60 65 69 70 75 78 79 81 85 86 87 91 93 99 106 109 111
a 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 44 51 57 60 62 65 69 70 75 78 79 81 85 86 87 91 93 99 106 109 111
a 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 44 51 57 60 62 65 69 70 75 78 79 81 85 86 87 91 93 99 106 111 112
a 11 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 44 51 57 60 62 65 69 70 75 78 79 81 85 86 87 93 99 106 111 112
a 11 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 44 51 57 60 62 65 69 70 75 78 79 81 85 86 87 91 93 99 106 111
a 11 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 44 51 57 60 62 65 69 70 75 78 79 81 85 86 87 91 93 99 106 109 111
a 11 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 44 51 57 60 62 65 69 70 75 78 79 81 85 86 87 91 93 99 106 109
a 11 12 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 44 51 57 60 62 65 69 70 75 78 79 81 85 86 87 91 93 99 106 109 111
a 11 12 16 20 21 23 24 26 28 29 30 33 36 37 38 39 44 51 57 60 62 65 69 70 75 78 79 81 85 86 87 91 93 98 99 106 109 111
a 11 12 14 16 20 21 23 24 26 29 30 33 36 37 38 39 44 51 57 60 62 65 69 70 75 78 79 81 85 86 87 91 93 98 99 106 109 111
a 11 12 14 16 20 21 23 24 26 28 29 30 33 36 37 38 39 44 51 57 60 62 65 69 70 75 78 79 81 85 86 87 93 98 99 106 109 111
a 11 12 14 16 20 21 23 24 26 28 29 30 33 36 37 38 39 44 51 57 60 62 65 70 75 78 79 81 85 86 87 93 98 99 106 109 111 115
a 11 14 16 20 21 23 24 26 28 29 30 33 36 37 38 39 44 51 57 60 62 65 70 75 78 79 81 85 86 87 91 93 98 99 106 109 111 115
a 11 14 16 20 21 23 24 26 28 29 30 33 36 37 38 39 44 51 55 57 62 65 70 75 78 79 81 85 86 87 91 93 98 99 106 109 111 115
a 11 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 44 51 55 57 62 65 70 75 78 79 81 85 86 87 91 93 99 106 109 111 115
a 11 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 44 51 55 57 65 69 70 75 78 79 81 85 86 87 91 93 99 106 109 111 115
a 11 14 16 21 23 24 26 28 29 30 33 35 36 37 38 39 44 51 55 57 65 69 70 75 78 79 81 85 86 87 91 93 99 106 109 111 112 115
a 11 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 44 51 55 57 65 69 70 75 78 79 81 85 86 87 91 93 99 106 109 111 112
a 11 14 16 20 21 23 24 26 29 30 33 35 36 37 38 39 43 44 51 55 57 65 69 70 75 78 79 81 85 86 87 91 93 99 106 109 111 112
a 11 14 16 20 21 23 24 26 29 30 33 35 36 37 38 39 43 44 51 55 57 65 69 70 75 78 79 81 85 86 87 91 93 99 106 109 111 115
a 11 14 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 44 51 55 57 65 69 70 75 78 79 81 85 86 87 91 93 99 106 109 111 115
a 11 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 44 51 55 57 65 69 70 75 78 79 81 85 86 87 91 99 106 109 111 115
a 11 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 65 69 70 75 78 79 81 85 86 87 91 99 106 109 111 112 115
a 11 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 65 69 70 75 78 79 81 85 86 87 90 91 106 109 111 112 115
a 11 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 65 69 70 75 78 79 81 85 86 87 90 91 92 106 109 111 115
a 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 65 69 70 75 78 79 81 85 86 87 90 91 92 93 106 109 111 115
a 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 109 111 115
a 10 14 16 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 109 111 115
a 10 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 109 111 115
a 10 14 16 20 21 23 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 109 111 115
a 10 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 109 115
a 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 109 115
a 12 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 109 113 115
a 12 14 16 20 21 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 109 113 115
a 10 12 14 16 20 21 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 109 115
a 10 11 12 14 16 20 21 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 109
a 10 11 12 14 16 20 21 24 26 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 109 115
a 10 11 12 14 16 21 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 109 115
a 10 12 14 16 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 109 115
a 10 11 12 14 16 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 109
a 10 11 12 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106
a 10 11 12 14 16 20 21 23 24 26 28 29 30 33 35 36 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 115
a 10 12 14 16 20 21 23 24 26 28 29 30 33 35 36 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 111 115
a 10 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 51 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 111 115
a 10 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 45 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 111 115
a 10 11 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 45 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 106 111 115
a 11 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 45 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 106 110 111 115
a 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 45 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 110 111 115
a 14 16 20 21 24 26 28 29 30 33 35 36 37 38 39 43 45 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 108 110 111 115
a 14 16 20 21 23 24 26 28 29 30 33 35 36 37 39 43 45 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 108 110 111 115
a 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 45 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 108 110 111
a 14 16 20 21 23 24 26 28 29 30 33 35 36 37 38 39 43 45 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 108 111 115
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 108 111 115
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 106 108 111 115
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 106 108 109 111
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 106 108 109 115
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 106 108 109 113
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 43 45 47 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 106 108 109 111 113
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 106 108 111 113
a 14 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 106 108 110 111 113
a 14 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 93 106 108 110 111 113
a 14 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 48 55 57 58 65 69 70 75 79 81 85 86 90 91 92 93 106 108 110 111 113
a 14 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 48 55 57 58 65 69 70 75 79 81 86 90 91 92 93 106 108 109 110 111 113
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 70 75 79 81 86 90 91 92 93 106 108 109 110 111 113
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 70 75 79 81 85 86 90 91 92 93 106 108 109 110 111 113
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 70 75 79 81 85 86 91 92 93 106 108 109 110 111 112 113
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 45 47 55 57 58 65 69 70 75 79 81 85 86 90 91 92 93 106 108 109 110 111 112 113
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 45 47 55 57 58 65 69 70 75 79 81 85 86 90 91 92 93 106 108 110 111 112 113
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 45 47 55 57 58 65 69 70 75 79 81 85 86 90 91 92 93 106 108 110 111 112 113 115
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 45 47 55 57 58 65 69 70 75 79 81 85 86 90 91 92 93 106 108 110 112 113 115
a 14 20 21 23 24 26 28 29 30 35 36 37 38 39 45 47 55 57 58 65 69 70 75 79 81 85 86 90 91 92 93 106 108 110 111 112 113 115
a 14 20 21 23 24 26 28 29 30 35 36 37 38 39 45 47 55 57 58 65 69 70 75 79 81 86 87 90 91 92 93 106 108 110 111 112 113 115
a 14 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 70 75 79 81 86 87 90 91 92 106 108 110 111 112 113 115
a 14 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 70 75 79 81 85 86 87 90 91 92 106 108 110 112 113 115
a 14 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 81 85 86 87 90 91 92 100 106 108 110 112 113 115
a 14 16 20 21 23 24 26 28 29 30 35 37 38 39 43 45 47 55 57 58 65 69 75 79 81 85 86 87 90 91 92 100 106 108 110 112 113 115
a 16 20 21 23 24 26 28 29 30 35 37 38 39 43 45 47 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 106 108 110 112 113 115
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 106 108 110 112 113
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 106 108 109 110 112
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 81 85 86 87 90 91 92 93 100 106 108 109 110 111 112
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 106 108 109 111 112
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 106 108 109 111 113
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 81 85 86 90 91 92 93 100 106 108 109 110 111 113
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 75 79 81 85 86 87 90 91 92 93 100 106 108 109 110 111 113
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 75 79 85 86 87 90 91 92 93 100 106 108 109 110 111 113
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 86 87 90 91 92 93 100 106 108 109 110 111 113
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 85 86 87 90 91 92 93 100 106 108 110 111 113
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 86 87 90 91 92 93 100 106 108 110 111 112 113
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 81 86 87 90 91 92 93 100 106 108 110 111 112
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 69 75 79 81 86 87 90 91 92 93 100 106 108 110 111 112 115
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 69 75 79 81 86 87 90 91 92 100 106 107 108 110 111 112 115
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 69 75 79 85 86 87 90 91 92 100 106 107 108 110 111 112 115
a 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 69 79 85 86 87 90 91 92 93 100 106 107 108 110 111 112 115
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 69 79 85 86 87 90 91 92 93 100 106 107 108 109 110 111 112 115
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 69 79 81 85 87 90 91 92 93 100 106 107 108 109 110 111 112 115
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 69 79 81 85 86 87 90 91 92 93 100 106 108 109 110 111 112 115
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 69 75 79 81 85 86 87 90 92 93 100 106 108 109 110 111 112 115
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 69 75 79 81 85 86 87 90 91 92 93 100 106 108 109 110 111 112 115
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 65 69 75 79 81 85 86 87 90 91 92 93 100 106 108 109 110 111 115
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 106 108 109 110 111 115
a 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 108 109 110 111 115
a 20 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 53 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 108 109 110 111 115
a 20 21 23 24 26 28 29 30 35 36 37 38 43 45 47 53 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 108 109 110 111 112 115
a 21 23 24 26 28 29 30 35 36 37 38 39 43 45 47 53 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 108 109 110 111 112 115
a 12 21 23 24 26 28 29 30 35 36 37 38 39 43 47 53 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 108 109 110 111 112 115
a 11 12 21 23 24 26 28 29 30 35 36 37 38 43 47 53 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 108 109 110 111 112 115
a 11 12 21 23 24 26 28 29 30 35 36 37 38 39 43 47 53 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 108 109 110 111 112
a 11 12 14 21 23 24 26 28 29 30 35 36 37 38 39 43 47 53 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 109 110 111 112
a 11 12 14 21 23 24 26 28 29 30 35 36 37 38 39 43 47 53 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 108 109 110 111
a 11 12 14 16 21 23 24 26 28 29 30 35 36 37 38 39 43 47 53 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 108 109 111
a 11 12 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 47 53 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 108 109
a 11 14 16 20 21 23 24 26 28 29 30 35 36 37 38 39 43 47 53 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 108 109 111
a 11 14 16 20 23 24 26 28 29 30 35 36 37 38 39 43 47 53 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 108 109 111 112
a 11 14 16 20 23 24 26 28 29 30 35 36 37 38 39 43 47 51 53 55 57 58 65 69 75 79 81 85 86 87 90 91 92 93 100 109 111 112
a 11 14 16 20 23 26 28 29 30 35 36 37 38 39 43 47 51 53 55 57 58 65 69 73 75 79 81 85 86 87 90 91 92 93 100 109 111 112
a 11 14 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 53 55 57 58 65 69 73 75 79 81 86 87 90 91 92 93 100 109 111 112
a 11 14 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 73 75 79 81 86 87 90 91 92 93 100 106 109 111 112
a 14 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 73 75 79 81 86 87 90 91 92 93 100 106 109 111 112 115
a 14 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 73 75 79 81 86 87 90 91 92 93 100 106 109 110 111 115
a 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 73 75 79 81 86 87 90 91 92 93 100 106 109 110 111 112 115
a 12 16 20 21 23 26 28 30 35 36 37 38 39 43 47 51 55 57 58 65 69 73 75 79 81 86 87 90 91 92 93 100 106 109 110 111 112 115
a 11 12 16 20 21 23 26 28 30 35 36 37 38 39 43 47 51 55 57 58 65 69 73 75 79 81 87 90 91 92 93 100 106 109 110 111 112 115
a 11 12 16 20 21 23 26 28 30 35 36 37 38 39 43 47 51 55 57 58 65 69 73 75 79 81 86 87 90 91 92 93 100 106 109 110 111 112
a 11 12 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 73 75 79 81 86 87 90 91 92 93 100 106 109 110 111 112
a 11 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 73 75 79 81 86 87 90 91 92 93 100 106 109 110 111 112
a 7 11 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 73 75 79 81 86 87 90 91 92 93 100 106 109 110 111
a 7 11 12 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 69 73 75 79 81 86 87 90 91 92 93 106 109 110 111
a 7 11 12 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 106 109 110 111
a 7 11 12 14 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 73 75 79 81 86 87 88 90 91 92 93 106 109 110 111
a 7 11 12 14 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 73 75 79 81 86 87 88 90 91 92 106 107 109 110 111
a 7 11 12 14 16 20 21 23 26 28 29 30 35 36 37 38 39 43 47 51 55 57 58 73 75 79 81 86 87 88 90 91 92 100 106 107 110 111
a 7 11 12 14 16 20 21 23 26 28 29 30 35 36 37 38 39 42 43 47 51 55 57 58 73 75 79 81 86 87 88 90 91 92 100 107 110 111
a 7 11 12 14 16 20 21 23 26 28 29 30 35 36 37 38 39 42 43 47 51 55 57 58 75 79 81 86 87 88 90 91 92 93 100 107 110 111
a 7 11 12 14 16 20 21 23 26 28 29 30 35 36 37 38 39 42 43 47 51 55 57 58 73 75 79 81 86 87 88 90 91 92 93 100 110 111
a 7 11 12 14 16 20 21 26 28 29 30 35 36 37 38 39 42 43 47 51 55 57 58 73 75 79 81 86 87 88 90 91 92 93 100 107 110 111
a 11 12 14 16 20 21 26 28 29 30 35 36 37 38 39 42 43 47 51 53 55 57 58 73 75 79 81 86 87 88 90 91 92 93 100 107 110 111
a 11 12 14 16 20 21 23 26 28 29 30 35 36 37 38 39 42 43 47 51 53 55 57 58 73 75 79 81 86 87 88 90 91 92 93 100 107 111
a 11 12 14 16 20 21 23 26 28 29 30 35 36 37 38 39 42 43 47 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 111
a 11 12 14 16 20 21 23 26 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 111
a 11 12 14 16 20 21 26 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 110 111
a 11 12 14 16 21 23 26 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 110 111
a 11 12 14 16 20 21 23 26 28 29 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 110 111
a 11 12 14 16 20 21 23 26 27 28 29 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 110 111
a 11 12 14 16 20 21 23 26 27 28 29 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 111
a 12 14 16 20 21 23 26 27 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 111
a 14 16 20 21 23 26 27 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 109 111
a 11 14 16 20 21 23 26 27 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 111
a 11 12 14 16 20 21 26 27 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 111
a 11 14 16 20 21 26 27 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 109 111
a 11 14 16 20 21 23 26 27 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 100 109 111
a 11 14 16 21 23 26 27 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 109 111
a 11 12 14 16 21 23 26 27 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 109
a 12 14 16 20 21 23 26 27 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 109
a 11 12 16 20 21 23 26 27 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 109
a 11 12 14 16 20 21 23 26 27 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 100 109
a 11 12 14 16 20 21 23 26 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 109
a 11 12 14 16 20 21 23 26 27 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 109
a 11 12 14 16 20 21 23 26 27 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 115
a 11 14 16 20 21 23 26 27 28 29 30 33 35 36 37 38 39 42 43 51 53 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 111 115
a 11 14 16 20 21 23 26 27 28 29 30 33 35 36 37 38 39 42 43 51 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 106 111 115
a 11 14 16 20 21 23 26 27 28 29 30 33 35 36 37 39 42 43 51 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 106 111 115
a 11 14 16 20 21 23 26 27 28 29 30 33 35 36 37 39 42 43 51 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 110 111 115
a 11 14 16 20 21 23 26 27 28 29 30 33 35 36 37 39 42 43 51 55 57 58 65 73 75 79 81 86 87 88 90 91 92 93 100 106 110 115
a 11 14 16 20 21 23 24 26 27 28 29 30 33 35 36 37 39 42 43 51 55 57 58 65 75 79 81 86 87 88 90 91 92 93 100 106 110 115
a 11 14 16 20 21 23 24 26 27 28 29 30 33 35 36 37 39 42 43 51 55 57 65 75 78 79 81 86 87 88 90 91 92 93 100 106 110 115
a 11 14 16 20 21 23 24 26 27 28 29 30 33 35 36 37 39 41 42 43 51 57 65 75 78 79 81 86 87 88 90 91 92 93 100 106 110 115
a 11 14 16 20 21 23 24 26 27 28 29 30 35 36 37 39 41 42 43 47 51 57 65 75 78 79 81 86 87 88 90 91 92 93 100 106 110 115
a 11 14 16 20 21 23 24 26 27 28 29 30 35 36 37 39 41 42 43 47 51 57 75 78 79 81 86 87 88 90 91 92 93 100 106 107 110 115
a 11 14 16 20 21 23 24 26 27 28 29 30 35 36 37 39 41 42 43 47 51 57 75 78 81 85 86 87 88 90 91 92 93 100 106 107 110 115
a 11 14 16 20 21 23 24 26 27 28 29 30 35 36 37 39 41 42 43 45 47 57 75 78 81 85 86 87 88 90 91 92 93 100 106 107 110 115
a 11 14 20 21 23 24 26 27 28 29 30 35 36 37 39 41 42 43 45 47 57 75 78 81 85 86 87 88 90 91 92 93 100 106 107 108 110 115
a 11 14 20 21 23 24 26 27 28 29 30 35 36 37 39 41 42 43 45 47 57 75 78 81 84 85 86 87 88 91 92 93 100 106 107 108 110 115
a 11 14 20 21 23 24 26 27 28 29 30 36 37 39 41 42 43 45 47 57 75 78 81 83 84 85 86 87 88 91 92 93 100 106 107 108 110 115
a 11 14 20 21 23 24 26 27 28 29 30 36 37 39 41 42 43 45 47 57 78 81 83 84 85 86 87 88 91 92 93 100 106 107 108 109 110 115
a 4 14 20 21 23 24 26 27 28 29 30 36 37 39 41 42 43 45 47 57 78 81 83 84 85 86 87 88 91 92 93 100 106 107 108 109 110 115
a 4 14 20 21 23 24 26 27 29 30 36 37 39 41 42 43 45 47 57 78 81 83 84 85 86 87 88 91 92 93 100 101 106 107 108 109 110 115
a 4 14 20 21 23 24 26 27 29 30 36 37 39 41 42 43 45 47 57 78 81 83 84 85 86 87 88 91 93 98 100 101 106 107 108 109 110 115
a 4 14 20 21 23 24 26 27 29 30 36 39 41 42 43 45 47 57 76 78 81 83 84 85 86 87 88 91 93 98 100 101 106 107 108 109 110 115
a 4 14 20 21 23 24 26 27 29 30 36 41 42 43 45 47 57 60 76 78 81 83 84 85 86 87 88 91 93 98 100 101 106 107 108 109 110 115
a 4 14 20 21 23 24 26 27 29 30 36 41 42 43 45 47 57 60 76 78 81 83 84 85 87 88 89 91 93 98 100 101 106 107 108 109 110 115
a 4 14 20 21 23 24 26 27 29 30 36 41 42 43 45 47 52 57 60 76 78 83 84 85 87 88 89 91 93 98 100 101 106 107 108 109 110 115
a 4 14 20 21 23 24 26 27 30 36 41 42 43 45 47 49 52 57 60 76 78 83 84 85 87 88 89 91 93 98 100 101 106 107 108 109 110 115
c Step: 316
#END: [Mon Sep  4 16:51:53 2023]