#BEGIN: [Mon Sep  4 16:26:45 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance009_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance009_graph003_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_graph003.col /benchmark/random_instance/random_instance009_graph003_01.dat
c /benchmark/random_instance/random_instance009_graph003.col
c /benchmark/random_instance/random_instance009_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID c10dfc0dad38584f92e84dee16bf2371ce9906d16e917c613e6a84cf67178f95
s 33 23 21 31 20 76 18 38 2 99 34 53 8 43 25 98 71 19 32 108 22 65 104 59 78 45 60 86 3 47 85 36 42 100 46 9 50 82
t 80 35 108 5 111 54 72 15 86 33 61 1 10 103 18 95 14 117 42 7 51 43 68 74 63 19 101 90 24 60 57 84 112 99 27 98 8 79
a YES
a 2 3 8 9 18 19 20 21 22 23 25 31 32 33 34 36 38 42 43 45 46 47 50 53 59 60 65 71 76 78 82 85 86 98 99 100 104 108
a 2 3 5 8 9 18 19 20 21 22 23 25 31 32 33 34 36 38 42 43 45 46 47 50 53 59 60 71 76 78 82 85 86 98 99 100 104 108
a 2 3 5 8 9 18 20 21 22 23 25 31 32 33 34 36 38 42 43 45 46 47 50 53 59 60 71 76 78 82 85 86 93 98 99 100 104 108
a 2 3 5 8 9 18 20 21 22 23 25 31 32 33 34 36 38 42 43 45 46 47 50 53 58 59 60 71 78 82 85 86 93 98 99 100 104 108
a 2 3 5 8 9 18 20 21 22 23 25 31 32 33 34 35 36 38 42 43 45 46 47 50 53 58 59 60 71 82 85 86 93 98 99 100 104 108
a 2 3 5 8 9 18 20 21 22 23 25 31 32 33 34 35 36 38 42 43 45 46 47 50 53 59 60 71 76 82 85 86 93 98 99 100 104 108
a 2 3 5 8 9 18 20 21 22 23 25 31 32 33 34 35 36 38 39 42 43 45 46 47 50 53 59 60 71 76 82 85 86 93 98 99 100 104
a 2 3 5 8 9 18 19 20 21 22 23 25 31 32 33 34 35 36 38 39 42 43 45 46 47 50 53 59 60 71 76 82 85 86 98 99 100 104
a 2 3 5 8 9 18 19 20 21 22 23 25 31 32 33 34 35 36 38 39 42 43 45 46 47 50 53 58 59 60 71 82 85 86 98 99 100 104
a 2 5 8 9 18 19 20 21 22 23 25 31 32 33 34 35 36 38 39 42 43 45 46 47 50 53 58 59 60 71 82 85 86 95 98 99 100 104
a 5 8 9 18 19 20 21 22 23 25 29 31 32 33 34 35 36 38 39 42 43 45 46 47 50 53 58 59 60 71 82 85 86 95 98 99 100 104
a 5 8 9 18 20 21 22 23 25 29 31 32 33 34 35 36 38 39 42 43 45 46 47 50 53 58 59 60 71 82 85 86 93 95 98 99 100 104
a 2 5 8 9 18 20 21 22 23 25 31 32 33 34 35 36 38 39 42 43 45 46 47 50 53 58 59 60 71 82 85 86 93 95 98 99 100 104
a 2 5 8 9 18 20 21 22 23 25 31 32 33 34 35 36 38 39 42 43 45 46 47 50 53 59 60 71 76 82 85 86 93 95 98 99 100 104
a 2 5 8 9 18 20 21 22 23 25 31 32 33 34 36 38 39 42 43 45 46 47 50 53 59 60 71 76 78 82 85 86 93 95 98 99 100 104
a 2 5 8 9 18 20 21 22 25 27 31 32 33 34 36 38 39 42 43 45 46 47 50 53 59 60 71 76 78 82 85 86 93 95 98 99 100 104
a 2 5 8 9 18 20 21 22 25 27 31 32 33 34 36 38 42 43 45 46 47 50 53 59 60 71 76 78 82 85 86 93 95 98 99 100 104 108
a 2 5 8 9 15 18 20 21 22 25 27 31 32 33 34 36 38 42 43 45 46 47 50 53 59 60 71 76 78 82 85 86 93 95 98 100 104 108
a 2 5 8 9 10 15 18 20 21 22 25 27 31 32 33 36 38 42 43 45 46 47 50 53 59 60 71 76 78 82 85 86 93 95 98 100 104 108
a 2 5 8 10 15 18 20 21 22 25 27 31 32 33 36 38 42 43 45 46 47 50 53 59 60 71 76 78 82 85 86 93 95 98 100 104 108 109
a 2 5 8 10 15 18 20 21 22 25 27 31 32 33 36 38 42 43 45 46 47 50 53 59 60 71 76 78 82 85 93 95 98 99 100 104 108 109
a 2 5 8 10 15 18 20 21 22 25 27 31 32 33 36 38 42 43 45 46 47 50 53 59 60 71 76 78 82 90 93 95 98 99 100 104 108 109
a 2 5 8 10 12 15 18 20 21 22 25 27 31 32 33 36 38 42 43 45 46 47 50 53 59 60 71 76 78 82 90 95 98 99 100 104 108 109
a 2 8 10 12 15 18 20 21 22 25 27 31 32 33 36 38 42 43 45 46 47 50 53 59 60 65 71 76 78 82 90 95 98 99 100 104 108 109
a 2 10 12 15 18 20 21 22 25 27 31 32 33 36 38 42 43 45 46 47 50 53 59 60 65 71 76 78 82 90 93 95 98 99 100 104 108 109
a 2 10 12 15 18 20 21 22 25 27 31 32 33 36 38 42 43 45 46 47 50 59 60 65 71 76 78 82 90 93 95 98 99 100 104 108 109 117
a 2 10 12 15 18 20 21 22 25 27 31 32 33 38 42 43 45 46 47 50 59 60 65 71 76 78 82 90 93 94 95 98 99 100 104 108 109 117
a 2 10 12 15 18 20 21 22 25 27 30 31 32 33 38 42 43 45 46 47 50 59 60 65 71 76 78 82 90 93 95 98 99 100 104 108 109 117
a 2 10 12 15 18 20 21 22 25 27 30 31 32 33 38 42 43 45 46 47 50 59 60 65 71 76 78 82 89 90 93 95 98 99 100 108 109 117
a 2 10 12 14 15 18 20 21 22 25 27 30 31 32 33 38 42 43 46 47 50 59 60 65 71 76 78 82 89 90 93 95 98 99 100 108 109 117
a 2 10 12 14 15 20 21 22 25 27 30 31 32 33 36 38 42 43 46 47 50 59 60 65 71 76 78 82 89 90 93 95 98 99 100 108 109 117
a 2 10 12 14 15 20 21 22 25 27 30 31 32 33 36 38 42 43 46 47 50 59 60 65 71 76 78 82 89 90 93 95 98 99 100 104 109 117
a 2 10 12 14 15 20 21 22 25 27 30 31 32 33 36 38 42 43 46 47 50 59 60 65 71 76 78 82 86 89 90 93 95 98 99 100 104 109
a 2 10 12 14 15 20 21 22 25 27 30 31 32 36 38 42 43 46 47 50 59 60 65 71 76 78 82 85 86 89 90 93 95 98 99 100 104 109
a 2 10 12 14 15 20 21 22 25 27 30 31 32 36 38 42 43 46 47 50 59 60 65 71 76 78 81 82 85 86 89 90 93 95 98 99 100 109
a 2 10 12 14 15 20 21 22 25 27 30 31 32 33 36 38 42 43 46 47 50 59 60 65 71 76 78 81 82 86 89 90 93 95 98 99 100 109
a 2 7 10 12 14 15 20 21 22 25 27 30 31 32 33 36 38 42 43 46 47 50 59 60 65 76 78 81 82 86 89 90 93 95 98 99 100 109
a 2 10 12 14 15 18 20 21 22 25 27 30 31 32 33 36 38 42 43 46 47 50 59 60 65 76 78 81 82 86 89 90 93 95 98 99 100 109
a 2 10 12 14 15 18 20 21 22 25 27 30 31 32 33 36 38 42 43 46 47 50 57 59 60 65 76 81 82 86 89 90 93 95 98 99 100 109
a 2 10 12 14 15 18 19 20 21 22 25 27 30 31 32 33 36 38 42 43 46 47 50 57 59 60 65 76 81 82 86 89 90 95 98 99 100 109
a 2 7 12 14 15 18 19 20 21 22 25 27 30 31 32 33 36 38 42 43 46 47 50 57 59 60 65 76 81 82 86 89 90 95 98 99 100 109
a 2 7 10 12 14 15 18 19 20 21 22 25 27 30 31 32 33 36 38 42 43 46 47 50 57 59 60 65 76 81 82 86 89 90 95 98 99 109
a 2 7 10 12 14 15 18 19 20 21 22 25 27 30 31 32 33 36 38 42 43 46 47 50 57 59 60 65 76 81 82 89 90 95 98 99 100 109
a 2 7 10 12 14 15 18 20 21 22 25 27 30 31 32 33 36 38 42 43 46 47 50 57 59 60 65 76 81 82 89 90 93 95 98 99 100 109
a 2 7 8 10 12 14 15 18 20 21 22 25 27 30 31 32 33 36 38 42 46 47 50 57 59 60 65 76 81 82 89 90 93 95 98 99 100 109
a 2 7 8 10 12 14 15 18 20 21 22 25 27 30 31 32 33 36 38 42 46 47 50 57 59 60 65 76 81 82 89 90 93 95 98 99 100 104
a 2 7 8 10 12 14 15 18 20 21 22 25 27 30 32 33 36 38 42 46 47 50 57 59 60 65 76 81 82 89 90 93 95 98 99 100 104 108
a 2 7 8 10 12 14 15 18 20 21 22 25 27 30 32 33 36 38 42 46 47 57 59 60 65 76 81 82 86 89 90 93 95 98 99 100 104 108
a 2 7 8 10 12 14 15 18 20 21 22 25 27 30 32 33 36 38 42 47 50 57 59 60 65 76 81 82 86 89 90 93 95 98 99 100 104 108
a 2 7 8 10 12 14 15 18 20 21 22 25 27 30 32 33 36 38 42 46 47 50 57 59 60 65 76 81 82 86 89 90 93 95 98 99 100 104
a 2 7 8 10 12 14 15 18 20 21 22 25 27 30 32 33 36 38 42 43 46 47 50 57 59 60 65 76 81 82 86 89 90 95 98 99 100 104
a 2 7 8 10 12 14 15 18 20 21 22 25 27 30 31 32 33 36 38 42 43 46 47 50 57 59 60 65 76 81 82 86 89 90 95 98 99 104
a 7 8 10 12 14 15 18 20 21 22 25 27 30 31 32 33 36 38 42 43 46 47 50 57 59 60 65 76 81 82 86 89 90 95 98 99 100 104
a 7 8 10 12 14 15 18 21 22 25 27 30 31 32 33 36 38 42 43 46 47 50 57 59 60 65 76 81 82 86 89 90 95 98 99 100 104 105
a 7 8 10 12 14 15 18 21 22 25 27 30 31 32 33 36 38 43 46 47 50 57 59 60 65 76 81 82 86 89 90 95 98 99 100 104 105 108
a 7 8 10 12 14 15 18 21 22 25 27 30 31 32 33 36 38 43 46 47 50 57 59 60 65 76 81 82 86 89 90 95 98 99 104 105 108 109
a 7 8 10 12 14 15 18 21 22 25 27 30 31 32 33 36 38 43 46 47 50 59 60 65 76 78 81 82 86 89 90 95 98 99 104 105 108 109
a 7 8 10 12 14 15 18 21 22 25 27 30 31 32 33 36 38 43 46 47 50 59 65 73 76 78 81 82 86 89 90 95 98 99 104 105 108 109
a 8 10 12 14 15 18 21 22 25 27 30 31 32 33 36 38 43 46 47 50 59 65 71 73 76 78 81 82 86 89 90 95 98 99 104 105 108 109
a 8 10 12 14 15 18 21 22 25 27 30 31 32 33 36 38 43 46 47 50 59 65 71 73 76 78 81 82 86 89 90 93 95 98 99 104 108 109
a 8 10 12 14 15 18 21 22 25 27 30 31 32 36 38 43 46 47 50 59 62 65 71 73 76 78 81 82 86 89 90 93 95 98 99 104 108 109
a 8 10 12 14 15 18 21 22 25 27 30 31 32 36 38 43 46 47 50 59 62 65 71 73 76 78 81 82 86 89 90 93 95 98 104 105 108 109
a 8 10 12 14 15 18 21 22 25 27 30 31 32 36 38 43 46 47 50 59 60 62 65 71 76 78 81 82 86 89 90 93 95 98 104 105 108 109
a 8 10 12 14 15 18 21 22 25 27 30 31 32 36 38 43 46 47 50 53 59 60 62 65 71 76 78 81 82 86 90 93 95 98 104 105 108 109
a 8 10 12 14 15 18 21 22 25 27 30 31 32 36 38 43 46 47 50 53 59 60 62 65 71 73 76 78 81 82 86 90 93 95 98 105 108 109
a 2 8 10 12 14 15 18 22 25 27 30 31 32 36 38 43 46 47 50 53 59 60 62 65 71 73 76 78 81 82 86 90 93 95 98 105 108 109
a 2 8 10 12 14 15 18 22 25 27 30 31 32 36 38 43 46 47 50 59 60 62 65 71 73 76 78 81 82 86 89 90 93 95 98 105 108 109
a 2 10 12 14 15 18 21 22 25 27 30 31 32 36 38 43 46 47 50 59 60 62 65 71 73 76 78 81 82 86 89 90 93 95 98 105 108 109
a 2 10 12 14 15 18 21 22 25 27 30 31 32 33 36 38 43 46 47 50 59 60 65 71 73 76 78 81 82 86 89 90 93 95 98 105 108 109
a 2 10 12 14 15 18 19 21 22 25 27 30 31 32 33 36 38 43 46 47 50 59 60 65 71 73 76 78 81 82 86 89 90 95 98 105 108 109
a 2 10 12 14 15 18 19 21 22 25 27 30 31 32 36 38 43 46 47 50 59 60 62 65 71 73 76 78 81 82 86 89 90 95 98 105 108 109
a 2 10 12 14 15 18 19 21 22 25 27 30 31 32 36 38 43 46 47 50 59 60 62 65 71 73 76 78 81 82 86 89 90 95 98 100 105 108
a 2 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 73 76 78 81 82 86 89 95 98 100 105 108
a 2 10 12 14 15 18 19 21 22 25 27 30 31 32 33 36 37 38 43 46 47 50 59 60 65 71 73 76 78 81 82 86 89 95 98 100 105 108
a 2 10 12 14 15 18 19 21 22 25 27 30 31 32 33 36 37 38 43 47 50 59 60 65 71 73 76 78 81 82 86 89 95 98 100 104 105 108
a 2 10 12 14 15 18 19 21 22 27 30 31 32 33 36 37 38 43 47 50 59 60 65 71 73 76 78 81 82 86 89 90 95 98 100 104 105 108
a 2 10 12 14 15 18 19 21 22 27 30 31 32 36 37 38 43 47 50 59 60 62 65 71 73 76 78 81 82 86 89 90 95 98 100 104 105 108
a 2 10 12 14 15 18 19 21 22 27 30 31 32 36 37 38 43 47 50 59 60 62 65 71 73 76 78 81 82 86 89 90 95 98 100 104 105 109
a 2 10 12 14 15 18 19 21 22 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 73 76 78 81 82 86 89 90 95 98 100 104 105
a 2 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 73 76 78 81 82 86 89 90 95 98 100 104
a 2 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 73 76 78 81 82 89 90 95 98 100 104 105
a 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 73 76 78 81 82 86 89 90 95 98 100 104 105
a 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 73 76 78 81 82 89 90 95 98 100 104 105 109
a 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 73 78 81 82 89 90 95 98 100 104 105 109
a 10 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 73 78 81 82 85 89 90 95 98 100 104 105 109
a 10 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 100 104 105 109
a 10 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 98 100 104 109
a 10 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 73 78 81 82 85 86 89 95 98 100 104 108 109
a 10 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 73 78 81 82 85 86 89 95 98 100 104 105 109
a 10 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 73 78 81 82 85 86 89 95 100 104 105 109 114
a 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 73 78 81 82 85 86 89 95 99 100 104 105 109 114
a 10 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 73 78 81 82 85 86 89 95 99 104 105 109 114
a 10 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 73 78 81 82 85 86 89 95 99 100 104 105 109 114
a 10 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 73 78 81 82 85 89 90 95 99 100 104 105 109 114
a 10 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 99 104 105 109 114
a 10 15 18 19 21 22 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 99 104 105 108 109 114
a 10 18 19 21 22 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 99 100 104 105 108 109 114
a 10 15 18 19 21 22 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 99 100 104 105 108 109
a 10 15 18 19 21 22 27 30 32 36 37 38 43 46 47 50 51 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 99 100 104 105 108 109
a 10 15 18 19 22 25 27 30 32 36 37 38 43 46 47 50 51 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 99 100 104 105 108 109
a 10 18 19 22 25 27 30 32 36 37 38 43 46 47 50 51 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 108 109
a 8 10 18 19 22 25 27 30 32 36 37 38 43 46 47 50 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 108 109
a 8 10 18 19 22 25 27 30 32 36 37 38 43 46 47 50 51 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 109
a 8 18 19 22 25 27 30 32 36 37 38 43 46 47 50 51 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 108 109
a 8 18 19 21 22 25 27 30 32 36 37 38 43 46 47 50 51 58 59 60 62 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 108 109
a 8 18 19 21 22 25 30 32 36 37 38 43 46 47 50 51 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 108 109
a 15 18 19 21 22 25 30 32 36 37 38 43 46 47 50 51 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 108 109
a 18 19 21 22 25 27 30 32 36 37 38 43 46 47 50 51 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 108 109
a 14 18 19 21 22 25 27 30 32 36 37 38 43 46 47 50 51 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 109
a 12 14 18 19 21 25 27 30 32 36 37 38 43 46 47 50 51 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 109
a 10 12 14 19 21 25 27 30 32 36 37 38 43 46 47 50 51 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 109
a 10 14 18 19 21 25 27 30 32 36 37 38 43 46 47 50 51 58 59 60 62 65 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 109
a 10 14 18 19 21 22 25 27 30 32 36 37 38 43 46 47 50 51 58 59 62 65 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 109
a 10 12 14 18 19 21 22 25 27 30 32 36 37 38 43 46 47 50 51 58 59 62 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 109
a 10 12 14 15 18 19 21 22 25 27 30 32 36 37 38 43 46 47 50 51 58 59 62 71 73 78 82 85 86 89 90 95 98 99 100 104 105 109
a 10 14 15 18 19 21 22 25 27 30 32 36 37 38 43 46 47 50 51 58 59 62 65 71 73 78 82 85 86 89 90 95 98 99 100 104 105 109
a 10 14 15 18 19 21 22 25 27 30 32 36 37 38 43 46 47 50 51 58 59 65 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 109
a 10 14 15 18 19 21 22 27 30 32 33 36 37 38 43 46 47 50 51 58 59 65 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 109
a 10 14 15 18 19 21 22 25 27 30 32 33 36 37 38 43 46 47 51 58 59 65 71 73 78 81 82 85 86 89 90 95 98 99 100 104 105 109
a 10 14 15 18 19 21 22 25 27 30 32 33 36 37 38 43 46 47 51 58 59 65 71 78 81 82 85 86 89 90 95 98 99 100 104 105 109 117
a 10 14 15 18 19 21 22 25 27 30 32 33 36 37 38 43 46 47 51 58 59 60 65 71 78 81 82 85 86 89 90 95 98 99 104 105 109 117
a 10 14 18 19 21 22 25 27 30 32 33 36 37 38 43 46 47 51 58 59 60 65 71 78 81 82 85 86 89 90 95 98 99 104 105 108 109 117
a 14 15 18 19 21 22 25 27 30 32 33 36 37 38 43 46 47 51 58 59 60 65 71 78 81 82 85 86 89 90 95 98 99 104 105 108 109 117
a 12 14 15 18 19 21 22 25 27 30 32 33 36 37 38 43 46 47 51 58 59 60 65 71 78 81 82 85 86 89 90 95 98 99 104 105 108 109
a 10 12 14 15 18 19 21 22 25 27 30 32 33 36 37 38 43 46 51 58 59 60 65 71 78 81 82 85 86 89 90 95 98 99 104 105 108 109
a 10 12 14 15 18 19 21 22 25 27 30 32 33 36 37 38 43 46 47 51 58 59 60 65 78 81 82 85 86 89 90 95 98 99 104 105 108 109
a 10 12 14 18 19 21 22 25 27 30 32 33 36 37 38 43 46 47 51 58 59 60 65 71 78 81 82 85 86 89 90 95 98 99 104 105 108 109
a 10 12 14 18 19 21 22 25 27 30 32 33 36 37 38 43 46 47 50 51 58 59 60 65 71 78 81 82 85 86 89 90 95 98 99 104 105 109
a 10 12 14 18 19 21 22 25 27 30 32 33 36 37 38 43 46 47 50 51 58 59 60 71 78 81 82 85 86 89 90 95 98 99 100 104 105 109
a 10 12 14 18 19 21 22 25 27 30 32 33 36 37 38 43 46 47 50 51 58 59 60 71 78 81 82 86 89 90 95 98 99 100 104 105 108 109
a 10 12 14 15 18 19 21 22 25 27 30 32 33 36 37 38 43 46 47 50 51 58 59 60 71 78 81 82 86 90 95 98 99 100 104 105 108 109
a 10 14 15 18 19 21 22 25 27 30 32 33 36 37 38 43 46 47 50 51 58 59 60 71 78 81 82 86 89 90 95 98 99 100 104 105 108 109
a 10 14 15 18 19 21 22 25 27 30 31 32 33 36 37 38 43 46 47 50 58 59 60 71 78 81 82 86 89 90 95 98 99 100 104 105 108 109
a 10 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 71 78 81 82 86 89 90 95 98 99 100 104 105 108 109
a 10 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 78 81 82 86 89 90 95 98 99 100 104 105 109
a 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 78 81 82 86 89 90 95 98 99 100 104 109
a 10 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 78 81 82 86 89 90 95 98 99 100 104 108 109
a 10 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 62 65 71 78 81 82 86 89 90 95 98 99 100 104 105 108 109
a 10 12 14 15 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 62 65 71 78 81 82 86 89 90 95 98 99 100 104 105 108 109
a 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 62 65 78 81 82 86 89 90 95 98 99 100 104 105 108 109
a 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 78 82 86 89 90 95 98 99 100 104 105 108 109
a 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 65 71 78 82 86 89 90 95 98 99 100 104 105 108 109
a 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 65 71 78 81 82 89 90 95 98 99 100 104 105 108 109
a 8 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 65 71 78 81 82 89 90 95 98 99 100 105 108 109
a 8 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 78 81 89 90 95 98 99 100 105 108 109
a 8 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 78 81 89 90 95 98 99 100 104 105 108 109
a 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 58 59 60 62 65 71 78 81 82 89 90 95 98 99 100 104 105 108 109
a 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 89 90 95 98 99 100 104 105 108 109
a 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 86 89 90 95 98 99 100 104 105 108
a 12 14 15 18 19 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104 105 108
a 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104 105
a 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104 105 109
a 14 15 18 19 21 22 25 27 30 31 32 36 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104 105 109 117
a 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104 105 109 117
a 12 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104 105 109 117
a 8 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104 105 109 117
a 8 15 18 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104 105 109 117
a 12 15 18 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104 105 109 117
a 12 14 15 18 21 22 25 27 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104 105 109 117
a 8 12 14 18 21 22 25 27 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104 105 109 117
a 8 12 14 18 19 21 22 25 27 31 32 36 37 38 43 46 47 50 59 60 62 65 76 78 81 82 85 86 89 90 95 98 99 100 104 105 109 117
a 8 12 14 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 76 78 81 82 85 86 89 90 95 98 99 104 105 109 117
a 8 12 14 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 76 78 81 82 85 86 89 90 95 98 99 100 104 105 109 117
a 8 12 14 15 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 76 78 81 85 86 89 90 95 98 99 100 104 105 109 117
a 8 12 14 15 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 85 86 89 90 95 98 99 100 104 105 109
a 8 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 85 86 89 90 95 98 99 104 105 109
a 8 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 85 86 89 90 95 98 99 100 105 109
a 8 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 85 86 89 90 95 98 99 100 104 105
a 2 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 85 86 89 90 95 98 99 100 104 105
a 2 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104
a 2 12 14 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104 109
a 2 12 14 18 19 20 21 22 25 27 30 31 32 36 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104 109
a 2 12 14 18 19 21 22 25 27 30 31 32 36 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104 105 109
a 2 12 14 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104 105
a 2 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 95 98 99 100 104 105
a 2 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 76 78 81 82 85 86 89 95 98 99 100 104 105
a 2 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 76 78 81 82 85 86 89 90 95 98 99 100 104
a 2 10 12 14 15 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 99 100 104
a 2 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 98 99 100 104
a 2 8 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 98 100 104
a 2 8 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 98 100
a 2 8 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 85 86 89 90 95 100 114
a 2 8 10 12 14 15 18 19 21 22 25 27 30 31 32 36 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 86 89 90 95 100 105 114
a 2 8 10 12 14 15 18 19 21 22 25 27 30 31 32 37 38 43 46 47 50 59 60 62 65 71 76 78 81 82 83 86 89 90 95 100 105 114
a 2 8 10 12 14 15 18 19 21 22 25 27 30 31 32 37 38 43 46 47 50 59 60 62 65 71 76 78 82 83 86 89 90 94 95 100 105 114
a 2 8 10 12 14 15 18 19 21 22 25 27 30 31 37 38 43 46 47 50 59 60 62 65 71 76 78 82 83 86 89 90 94 95 100 103 105 114
a 2 8 10 12 14 15 18 21 22 25 27 30 31 37 38 43 46 47 50 59 60 62 65 71 76 78 82 83 86 89 90 94 95 99 100 103 105 114
a 2 8 10 12 13 14 15 18 21 25 27 30 31 37 38 43 46 47 50 59 60 62 65 71 76 78 82 83 86 89 90 94 95 99 100 103 105 114
a 2 10 12 13 14 15 18 19 21 25 27 30 31 37 38 43 46 47 50 59 60 62 65 71 76 78 82 83 86 89 90 94 95 99 100 103 105 114
a 10 12 13 14 15 18 19 21 25 27 30 31 37 38 43 46 47 50 59 60 62 63 65 71 76 78 82 83 86 89 90 94 95 99 100 103 105 114
a 10 12 14 15 18 19 21 25 27 30 31 37 38 41 43 46 47 50 59 60 62 63 65 71 76 78 82 83 86 89 90 94 95 99 100 103 105 114
a 10 12 13 14 15 18 19 21 25 27 30 31 37 38 41 43 46 47 50 59 60 62 65 71 76 78 82 83 86 89 90 94 95 99 100 103 105 114
a 2 10 12 13 14 15 18 19 21 27 30 31 37 38 41 43 46 47 50 59 60 62 65 71 76 78 82 83 86 89 90 94 95 99 100 103 105 114
a 2 10 12 13 14 18 19 21 25 27 30 31 37 38 41 43 46 47 50 59 60 62 65 71 76 78 82 83 86 89 90 94 95 99 100 103 105 114
a 2 10 12 13 14 18 19 21 25 27 30 31 37 38 41 43 46 47 49 50 59 60 62 65 71 76 78 82 83 86 89 90 94 99 100 103 105 114
a 10 12 13 14 18 19 21 25 27 30 31 37 38 41 43 46 47 49 50 59 60 62 63 65 71 76 78 82 83 86 89 90 94 99 100 103 105 114
a 10 12 13 14 18 19 21 25 27 30 31 37 38 43 46 47 49 50 59 60 62 63 65 71 76 78 82 83 86 89 90 94 99 100 103 104 105 114
a 10 13 14 18 19 21 25 27 30 31 37 38 43 46 47 49 50 59 60 62 63 65 71 76 78 82 83 86 89 90 94 99 100 101 103 104 105 114
a 10 13 14 18 19 21 25 27 30 31 37 38 43 46 47 49 50 59 60 62 63 65 71 76 78 82 83 86 89 90 94 99 100 101 104 105 114 117
a 13 14 18 19 21 25 27 30 31 34 37 38 43 46 47 49 50 59 60 62 63 65 71 76 78 82 83 86 89 90 94 99 100 101 104 105 114 117
a 13 14 18 19 21 25 27 30 31 34 37 38 43 46 47 49 50 59 60 62 63 65 71 76 78 82 83 86 89 90 94 99 100 101 103 104 105 114
a 13 14 18 19 21 25 27 30 31 34 37 38 43 46 47 49 50 59 60 62 63 65 71 76 78 82 83 86 89 94 99 100 101 103 104 105 108 114
a 13 14 15 18 19 21 25 30 31 34 37 38 43 46 47 49 50 59 60 62 63 65 71 76 78 82 83 86 89 94 99 100 101 103 104 105 108 114
a 13 14 15 18 19 21 25 30 31 34 37 38 43 46 47 49 50 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 101 103 104 105 108
a 13 14 15 18 19 21 25 30 31 34 37 38 42 43 46 47 49 50 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 101 103 104 105
a 13 14 15 18 19 21 25 27 30 31 34 37 38 42 43 46 47 49 50 59 60 62 63 65 71 76 78 83 85 86 89 94 99 100 101 103 104 105
a 13 14 15 18 19 21 25 27 30 31 34 37 42 43 46 47 49 50 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 101 103 104 105
a 14 15 18 19 21 25 27 30 31 34 37 38 42 43 46 47 49 50 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 101 103 104 105
a 8 15 18 19 21 25 27 30 31 34 37 38 42 43 46 47 49 50 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 101 103 104 105
a 8 15 18 19 21 25 27 30 31 34 38 42 43 45 46 47 49 50 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 101 103 104 105
a 8 15 18 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 101 103 104
a 8 15 18 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 59 60 62 63 65 71 76 78 82 83 85 86 89 94 100 101 103 104 108
a 8 15 18 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 101 103 108
a 8 13 15 18 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 101 108
a 8 13 15 18 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 101 108
a 8 13 15 18 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 59 60 62 63 65 71 76 78 82 83 85 86 89 94 100 101 103 108
a 8 13 15 18 19 20 21 25 27 30 34 42 43 45 46 47 49 50 55 59 60 62 63 65 71 76 78 82 83 85 86 89 94 100 101 103 104 108
a 8 13 15 18 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 59 60 62 63 65 71 76 78 82 83 85 86 89 94 100 103 104 108
a 8 13 15 18 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 103 104
a 8 13 15 18 19 20 21 25 27 30 31 34 43 45 46 47 49 50 55 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 101 103 104
a 9 13 15 18 19 20 21 25 27 30 31 34 43 45 46 47 49 50 55 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 101 103 104
a 9 15 18 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 101 103 104
a 9 15 18 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 103 104 117
a 9 15 18 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 103 104 114 117
a 9 15 18 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 103 104 114 117
a 9 15 18 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 103 104 117
a 9 15 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 103 104 108 117
a 9 15 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 103 108 114 117
a 13 15 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 103 108 114 117
a 15 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 103 104 108 114 117
a 15 19 20 21 25 27 30 31 34 42 43 45 47 49 50 55 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 101 103 104 108 114 117
a 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 101 103 104 108 114 117
a 15 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 101 103 104 108 114
a 13 15 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 101 103 104 108
a 9 13 15 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 101 103 104
a 9 15 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 101 103 104 108
a 9 19 20 21 25 27 30 31 34 42 43 45 46 47 49 50 55 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 101 103 104 108 117
a 9 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 101 103 104 108 117
a 9 13 19 20 25 27 30 31 34 38 42 43 45 46 47 49 50 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 101 103 104 108 117
a 9 13 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 58 59 60 62 63 65 71 78 82 83 85 86 89 94 100 101 103 104 108 117
a 9 13 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 101 103 104 108
a 9 13 15 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 101 103 104 108
a 9 13 15 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 103 104 108
a 9 13 15 18 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 103 108
a 9 15 18 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 58 59 60 62 63 65 71 78 82 83 85 86 89 94 99 100 101 103 108
a 9 15 18 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 59 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 101 103 108
a 9 15 18 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 101 103 104 108
a 9 13 15 18 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 60 62 63 65 71 76 78 82 83 85 86 89 94 99 100 101 103 104
a 9 13 15 18 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 58 60 62 63 65 71 78 82 83 85 86 89 94 99 100 101 103 104
a 9 13 15 18 19 20 21 25 27 30 31 34 38 42 43 46 47 49 50 58 60 62 63 65 71 78 82 83 85 86 89 94 99 100 101 103 104 108
a 9 13 15 18 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 58 60 62 63 65 71 78 82 83 85 86 89 94 99 100 101 103 108
a 9 13 15 18 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 58 60 62 63 65 71 78 82 83 85 86 89 94 99 100 103 104 108
a 8 9 13 15 18 19 20 21 25 27 30 31 34 38 42 43 45 46 47 49 50 58 60 62 63 65 71 78 82 83 85 86 89 94 99 100 103 108
a 8 9 13 15 18 19 20 21 25 27 30 34 38 42 43 45 46 47 49 50 51 58 60 62 63 65 71 78 82 83 85 86 89 94 99 100 103 108
a 8 9 15 18 19 20 21 25 27 30 34 38 42 43 45 46 47 49 50 51 58 60 62 63 65 71 78 82 83 85 86 89 94 99 100 101 103 108
a 8 9 15 18 19 20 21 25 27 30 33 34 38 42 43 45 46 47 49 50 51 58 60 63 65 71 78 82 83 85 86 89 94 99 100 101 103 108
a 8 9 15 18 19 21 25 27 30 33 34 38 42 43 45 46 47 49 50 51 58 60 63 65 71 78 82 83 85 86 89 94 99 100 101 103 108 117
a 8 9 15 18 19 21 25 27 30 33 34 38 42 43 45 46 47 50 51 58 60 63 65 71 78 82 83 85 86 89 94 95 99 100 101 103 108 117
a 8 9 15 18 19 21 25 27 33 34 38 42 43 45 46 47 50 51 54 58 60 63 65 71 78 82 83 85 86 89 94 95 99 100 101 103 108 117
a 7 8 9 15 18 19 21 25 27 33 34 38 42 43 45 46 47 50 51 54 58 60 63 65 78 82 83 85 86 89 94 95 99 100 101 103 108 117
a 7 8 9 10 15 18 19 21 25 27 33 38 42 43 45 46 47 50 51 54 58 60 63 65 78 82 83 85 86 89 94 95 99 100 101 103 108 117
a 7 8 10 15 18 19 21 25 27 33 38 42 43 45 46 47 50 51 54 58 60 63 65 78 82 83 85 86 89 90 94 95 99 100 101 103 108 117
a 7 8 10 15 18 19 25 27 33 38 42 43 45 46 47 50 51 54 58 60 63 65 78 82 83 85 86 89 90 94 95 99 100 101 103 108 112 117
a 7 8 10 15 18 19 25 27 33 38 42 43 45 47 50 51 54 58 60 63 65 78 79 82 83 85 86 89 90 94 95 99 100 101 103 108 112 117
a 7 8 10 14 15 18 19 25 27 33 38 42 43 47 50 51 54 58 60 63 65 78 79 82 83 85 86 89 90 94 95 99 100 101 103 108 112 117
a 7 8 10 14 15 18 19 25 27 33 38 42 43 47 50 51 54 58 60 63 65 72 78 79 82 83 86 89 90 94 95 99 100 101 103 108 112 117
a 5 7 8 10 14 15 18 19 25 27 33 38 42 43 47 50 51 54 58 60 63 72 78 79 82 83 86 89 90 94 95 99 100 101 103 108 112 117
a 5 7 8 10 14 15 18 19 25 27 33 35 38 42 43 47 50 51 54 58 60 63 72 79 82 83 86 89 90 94 95 99 100 101 103 108 112 117
a 5 7 8 10 14 15 18 19 25 27 33 35 38 42 43 50 51 54 58 60 63 72 79 82 83 84 86 89 90 94 95 99 100 101 103 108 112 117
a 5 7 8 10 14 15 18 19 25 27 33 35 38 42 43 50 51 54 58 60 63 72 79 82 84 86 89 90 94 95 98 99 100 101 103 108 112 117
a 5 7 8 10 14 15 18 19 25 27 33 35 38 42 43 51 54 57 58 60 63 72 79 82 84 86 89 90 94 95 98 99 100 101 103 108 112 117
a 5 7 8 10 14 15 18 19 27 33 35 38 42 43 51 54 57 58 60 61 63 72 79 82 84 86 89 90 94 95 98 99 100 101 103 108 112 117
a 5 7 8 10 14 15 18 19 27 33 35 38 42 43 51 54 57 58 60 61 63 72 74 79 82 84 86 89 90 94 95 98 99 101 103 108 112 117
a 5 7 8 10 14 15 18 19 27 33 35 38 42 43 51 54 57 60 61 63 68 72 74 79 82 84 86 89 90 94 95 98 99 101 103 108 112 117
a 5 7 8 10 14 15 18 19 27 33 35 38 42 43 51 54 57 60 61 63 68 72 74 79 80 84 86 89 90 94 95 98 99 101 103 108 112 117
a 5 7 8 10 14 15 18 19 24 27 33 35 42 43 51 54 57 60 61 63 68 72 74 79 80 84 86 89 90 94 95 98 99 101 103 108 112 117
a 1 5 7 8 10 14 15 18 19 24 27 33 35 42 43 51 54 57 60 61 63 68 72 74 79 80 84 86 89 90 95 98 99 101 103 108 112 117
a 1 5 7 8 10 14 15 18 19 24 27 33 35 42 43 51 54 57 60 61 63 68 72 74 79 80 84 86 90 95 98 99 101 103 108 111 112 117
c Step: 277
#END: [Mon Sep  4 16:56:46 2023]