#BEGIN: [Mon Sep  4 16:37:52 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance009_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance009_graph005_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_graph005.col /benchmark/random_instance/random_instance009_graph005_01.dat
c /benchmark/random_instance/random_instance009_graph005.col
c /benchmark/random_instance/random_instance009_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID f0ed5d90973a0943e3dddfb2faebe5f92340737b0b743c292a3236a1c5002a2f
s 60 106 3 15 80 77 34 68 75 20 63 70 14 95 83 94 50 72 19 104 92 39 16 99 114 69 102 117 76 116 85 8 55 32 112 2 24 108
t 40 77 79 75 22 111 14 63 52 39 65 57 85 38 46 8 95 19 104 28 55 23 105 66 16 91 10 112 29 82 92 117 71 48 69 76 73 42
a YES
a 2 3 8 14 15 16 19 20 24 32 34 39 50 55 60 63 68 69 70 72 75 76 77 80 83 85 92 94 95 99 102 104 106 108 112 114 116 117
a 2 8 14 15 16 19 20 24 32 34 39 50 55 60 63 68 69 70 72 75 76 77 79 80 83 85 92 94 95 99 102 104 106 108 112 114 116 117
a 2 7 8 14 15 16 19 20 24 32 34 39 50 55 60 63 68 69 70 72 75 76 77 79 80 83 85 92 94 95 99 102 104 106 108 112 116 117
a 2 7 8 14 15 16 19 20 24 32 34 39 50 55 60 63 68 69 70 72 75 76 77 79 80 83 85 92 94 95 99 102 104 108 112 114 116 117
a 2 7 8 14 15 16 19 20 24 32 34 39 50 55 60 63 68 69 70 72 75 76 77 79 80 83 85 92 94 95 99 102 104 108 111 112 116 117
a 2 7 8 14 15 16 19 20 24 32 34 39 50 55 60 63 68 69 70 72 75 76 77 79 80 83 85 92 94 95 99 102 104 108 111 112 114 117
a 2 7 8 14 15 16 20 24 32 34 39 50 55 60 63 68 69 70 72 75 76 77 79 80 81 83 85 92 94 95 99 102 104 108 111 112 114 117
a 2 7 8 14 15 16 20 24 32 34 39 50 55 60 63 68 69 70 72 76 77 79 80 81 83 85 92 94 95 99 102 104 106 108 111 112 114 117
a 7 8 14 15 16 20 24 32 34 39 50 55 60 63 68 69 70 72 75 76 77 79 80 81 83 85 92 94 95 99 102 104 106 108 111 112 114 117
a 7 8 14 15 16 20 24 32 34 38 39 55 60 63 68 69 70 72 75 76 77 79 80 81 83 85 92 94 95 99 102 104 106 108 111 112 114 117
a 7 8 14 15 16 20 24 29 32 34 38 39 55 60 63 68 69 70 72 75 76 77 79 80 81 83 85 92 94 95 99 104 106 108 111 112 114 117
a 7 8 14 15 16 20 24 29 32 34 39 50 55 60 63 68 69 70 72 75 76 77 79 80 81 83 85 92 94 95 99 104 106 108 111 112 114 117
a 7 8 14 15 16 20 24 29 32 34 39 40 50 55 60 63 68 69 70 75 76 77 79 80 81 83 85 92 94 95 99 104 106 108 111 112 114 117
a 7 8 14 15 16 19 20 24 29 32 34 39 40 50 55 60 63 68 69 70 75 76 77 79 80 83 85 92 94 95 99 104 106 108 111 112 114 117
a 7 8 14 15 16 19 20 24 29 32 34 39 40 50 55 60 61 63 68 69 70 75 76 77 79 80 85 92 94 95 99 104 106 108 111 112 114 117
a 7 8 14 15 16 20 24 29 32 34 39 40 50 55 60 61 63 68 69 70 75 76 77 79 80 81 85 92 94 95 99 104 106 108 111 112 114 117
a 7 8 14 15 16 20 24 29 32 34 39 40 50 55 60 61 68 69 70 75 76 77 79 80 81 85 92 94 95 99 104 106 108 111 112 113 114 117
a 2 7 8 14 15 16 20 24 29 32 34 39 40 50 55 60 68 69 70 75 76 77 79 80 81 85 92 94 95 99 104 106 108 111 112 113 114 117
a 2 7 8 14 15 16 20 24 29 32 34 39 50 55 60 68 69 70 72 75 76 77 79 80 81 85 92 94 95 99 104 106 108 111 112 113 114 117
a 2 7 8 14 15 16 20 24 29 32 34 39 50 55 60 68 69 70 72 75 76 77 79 80 81 83 85 92 94 95 99 104 108 111 112 113 114 117
a 7 8 14 15 16 20 24 29 32 34 39 50 55 60 68 69 70 72 75 76 77 79 80 81 83 85 92 94 95 99 104 106 108 111 112 113 114 117
a 7 8 14 15 16 20 24 29 32 34 39 50 55 60 68 69 70 72 75 76 77 79 80 81 83 85 94 95 98 99 104 106 108 111 112 113 114 117
a 7 8 14 15 16 20 24 32 34 39 50 55 60 68 69 70 72 75 76 77 79 80 81 83 85 94 95 98 99 102 104 106 108 111 112 113 114 117
a 2 7 8 14 15 16 20 24 32 34 39 50 55 60 68 69 70 72 75 76 77 79 80 81 83 94 95 98 99 102 104 106 108 111 112 113 114 117
a 2 7 8 14 15 16 20 24 32 34 39 50 55 58 60 68 69 70 72 75 76 77 79 80 81 83 94 95 98 99 102 104 108 111 112 113 114 117
a 2 7 8 14 15 16 20 24 32 34 39 50 55 58 60 68 69 70 72 75 76 77 79 80 81 83 92 94 95 99 102 104 108 111 112 113 114 117
a 2 7 8 14 15 16 20 24 34 39 50 55 58 60 65 68 69 70 72 75 76 77 79 80 81 83 92 94 95 99 102 104 108 111 112 113 114 117
a 2 7 8 14 15 16 20 24 34 39 50 55 58 60 65 68 69 70 72 75 76 77 79 80 81 83 94 95 98 99 102 104 108 111 112 113 114 117
a 2 7 8 14 15 16 20 24 29 34 39 50 55 58 60 65 68 69 70 72 75 76 77 79 80 81 83 94 95 98 99 104 108 111 112 113 114 117
a 2 7 8 14 15 16 20 24 29 32 34 39 50 55 58 60 68 69 70 72 75 76 77 79 80 81 83 94 95 98 99 104 108 111 112 113 114 117
a 2 7 8 12 14 15 16 20 24 29 32 34 39 55 58 60 68 69 70 72 75 76 77 79 80 81 83 94 95 98 99 104 108 111 112 113 114 117
a 2 7 8 12 14 15 16 20 23 24 29 32 34 39 55 58 60 68 69 70 72 75 76 77 79 80 81 94 95 98 99 104 108 111 112 113 114 117
a 2 7 8 12 14 15 16 20 23 24 32 34 39 55 58 60 68 69 70 72 75 76 77 79 80 81 94 95 98 99 102 104 108 111 112 113 114 117
a 2 7 8 14 15 16 20 23 24 32 34 39 50 55 58 60 68 69 70 72 75 76 77 79 80 81 94 95 98 99 102 104 108 111 112 113 114 117
a 2 7 8 14 15 16 20 23 24 32 34 39 50 55 58 60 68 69 70 72 75 76 77 79 80 81 85 94 95 98 99 102 104 108 112 113 114 117
a 2 8 14 15 16 20 23 24 32 34 39 50 55 58 60 68 69 70 72 75 76 77 79 80 81 85 94 95 98 99 102 104 108 111 112 113 114 117
a 2 8 14 15 16 20 23 24 32 34 39 50 55 58 60 68 69 70 72 75 76 77 79 80 81 85 92 94 95 99 102 104 108 111 112 113 114 117
a 2 8 14 15 16 20 23 24 32 34 39 50 55 60 68 69 70 72 75 76 77 79 80 81 85 92 94 95 99 102 104 106 108 111 112 113 114 117
a 8 14 15 16 20 23 24 32 34 39 50 55 60 68 69 70 72 75 76 77 79 80 81 85 92 94 95 99 102 104 106 108 111 112 113 114 116 117
a 8 14 15 16 20 23 24 32 34 39 50 55 60 63 68 69 70 72 75 76 77 79 80 81 85 92 94 95 99 102 104 106 108 111 112 114 116 117
a 2 8 15 16 20 23 24 32 34 39 50 55 60 63 68 69 70 72 75 76 77 79 80 81 85 92 94 95 99 102 104 106 108 111 112 114 116 117
a 2 8 15 16 20 23 24 32 34 37 39 50 55 60 63 68 69 70 72 75 76 77 79 80 81 85 92 94 95 99 102 104 106 108 111 114 116 117
a 2 8 14 15 16 20 23 24 32 34 37 39 50 55 60 63 68 69 70 72 75 76 77 79 80 81 85 92 94 95 99 102 104 106 108 111 114 116
a 2 8 14 15 16 20 23 24 32 34 37 39 50 55 60 63 68 69 70 72 75 76 77 79 80 81 85 94 95 98 99 102 104 106 108 111 114 116
a 2 8 14 15 16 19 20 23 24 32 34 37 39 50 55 60 63 68 69 70 72 75 76 77 79 80 85 94 95 98 99 102 104 106 108 111 114 116
a 2 8 14 15 16 19 20 23 24 32 34 37 39 50 55 60 63 68 69 70 72 75 76 77 79 80 85 92 94 95 99 102 104 106 108 111 114 116
a 2 8 14 15 16 19 20 23 24 32 34 37 39 45 50 55 60 63 68 69 70 72 75 76 77 79 80 85 92 95 99 102 104 106 108 111 114 116
a 2 14 15 16 19 20 22 23 24 32 34 37 39 45 50 55 60 63 68 69 70 72 75 76 77 79 80 85 92 95 99 102 104 106 108 111 114 116
a 2 14 15 16 19 20 22 23 24 32 34 39 45 50 55 60 63 68 69 70 72 75 76 77 79 80 85 92 95 99 102 104 106 108 111 112 114 116
a 2 14 15 16 19 20 22 23 24 32 34 39 45 50 55 60 63 68 69 70 72 75 76 77 79 80 85 95 98 99 102 104 106 108 111 112 114 116
a 2 14 15 16 19 20 22 23 24 32 34 39 42 45 50 55 60 63 68 69 70 72 75 76 77 79 80 85 95 98 99 102 104 106 111 112 114 116
a 2 14 15 16 19 20 22 23 24 32 34 39 42 45 50 55 60 63 68 69 70 72 75 76 77 79 80 85 92 95 99 102 104 106 111 112 114 116
a 2 14 15 16 19 20 22 23 24 32 34 39 42 45 50 55 57 60 63 68 69 70 72 75 76 77 79 80 85 92 95 99 102 106 111 112 114 116
a 2 14 15 16 19 20 22 23 24 32 34 39 42 45 50 55 57 60 63 68 69 70 72 75 76 77 79 80 85 92 95 99 102 104 106 111 112 116
a 2 14 15 16 19 20 22 23 24 32 34 39 42 45 50 51 55 57 60 68 69 70 72 75 76 77 79 80 85 92 95 99 102 104 106 111 112 116
a 2 14 15 16 19 20 22 23 24 32 33 34 39 42 45 50 51 55 57 60 68 69 70 72 75 76 77 79 80 85 92 95 99 102 106 111 112 116
a 2 14 15 16 19 20 22 23 24 32 33 34 39 42 45 50 51 55 57 60 68 69 70 72 75 76 77 79 80 85 95 98 99 102 106 111 112 116
a 2 14 15 16 19 20 22 23 24 32 33 34 39 42 45 48 50 51 55 57 68 69 70 72 75 76 77 79 80 85 95 98 99 102 106 111 112 116
a 2 14 15 16 19 20 22 23 24 32 33 34 39 42 45 48 50 51 55 57 68 69 70 72 75 76 77 79 80 85 92 95 99 102 106 111 112 116
a 2 14 15 16 19 20 22 23 24 26 32 33 34 39 42 45 48 50 51 55 57 68 69 70 72 75 76 77 79 80 85 92 95 99 102 106 112 116
a 2 5 14 15 16 19 20 22 23 24 26 32 33 34 39 42 45 48 50 51 55 57 68 69 70 72 75 76 77 79 80 85 92 95 99 102 106 112
a 2 5 8 14 15 16 19 20 22 23 24 26 32 34 39 42 45 48 50 51 55 57 68 69 70 72 75 76 77 79 80 85 92 95 99 102 106 112
a 2 5 8 15 16 19 20 22 23 24 26 32 33 34 39 42 45 48 50 51 55 57 68 69 70 72 75 76 77 79 80 85 92 95 99 102 106 112
a 5 8 15 16 19 20 22 23 24 26 32 33 34 39 42 45 48 50 51 52 55 57 68 69 70 72 75 76 77 79 80 85 92 95 99 102 106 112
a 8 15 16 19 20 22 23 24 26 32 33 34 39 42 45 48 50 51 52 55 57 68 69 70 72 75 76 77 79 80 85 92 95 99 102 106 111 112
a 8 14 16 19 20 22 23 24 26 32 33 34 39 42 45 48 50 51 52 55 57 68 69 70 72 75 76 77 79 80 85 92 95 99 102 106 111 112
a 8 14 16 19 20 22 23 24 26 32 33 34 39 42 45 48 50 51 52 55 57 68 69 70 72 75 76 77 79 80 85 92 95 99 102 106 112 114
a 8 14 15 16 19 20 22 24 26 32 33 34 39 42 45 48 50 51 52 55 57 68 69 70 72 75 76 77 79 80 85 92 95 99 102 106 112 114
a 8 14 15 16 19 20 22 24 26 32 33 34 39 42 45 48 50 51 52 55 56 57 68 69 70 72 75 76 77 79 80 85 92 99 102 106 112 114
a 8 14 15 16 19 20 22 24 26 32 33 34 39 42 45 48 50 51 52 55 56 57 68 69 70 72 75 76 77 79 80 85 98 99 102 106 112 114
a 8 14 15 16 19 20 22 24 26 32 33 34 39 40 42 45 48 50 51 52 55 56 57 68 69 70 75 76 77 79 80 85 98 99 102 106 112 114
a 8 14 15 16 19 20 22 23 24 26 32 33 34 39 40 42 45 48 50 51 52 55 56 57 68 69 70 75 76 77 79 80 98 99 102 106 112 114
a 8 14 15 16 19 20 22 23 24 26 32 33 34 39 40 42 45 48 50 51 52 55 56 57 68 69 70 75 76 77 79 80 99 102 106 111 112 114
a 8 14 15 16 19 20 22 23 24 26 32 33 34 39 40 45 48 50 51 52 55 56 57 61 68 69 70 75 76 77 79 80 99 102 106 111 112 114
a 8 15 16 19 20 22 23 24 26 32 33 34 39 40 45 48 50 51 52 55 56 57 61 68 69 70 75 76 77 79 80 85 99 102 106 111 112 114
a 8 15 16 19 20 22 23 24 26 32 33 34 39 40 45 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 99 102 106 111 112 114
a 8 15 16 19 20 22 23 24 26 32 33 34 39 40 45 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112
a 8 14 15 16 19 20 22 23 24 26 32 33 34 39 40 45 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 112
a 14 15 16 19 20 22 23 24 26 32 33 34 39 40 45 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 112 116
a 14 15 16 19 20 22 23 24 26 32 33 34 39 40 45 48 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112 116
a 7 14 15 16 19 20 22 23 24 26 32 33 34 39 40 45 48 51 52 55 57 61 68 69 70 75 76 77 80 85 95 98 99 102 106 111 112 116
a 7 14 15 16 19 20 22 23 24 26 32 33 34 39 40 45 48 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112
a 7 14 15 16 19 20 22 23 26 32 33 34 39 40 45 48 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112 116
a 14 15 16 19 20 22 23 26 32 33 34 39 40 45 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112 116
a 7 14 15 16 19 20 22 23 26 32 33 39 40 45 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112 116
a 7 14 15 16 19 20 22 23 26 32 33 34 39 40 45 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112
a 7 14 15 16 19 20 22 23 24 26 32 34 39 40 45 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112
a 7 14 15 16 19 20 22 23 24 26 32 34 39 40 45 48 50 51 52 55 57 61 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112 116
a 7 14 15 16 19 20 22 23 24 26 32 33 34 39 40 45 48 50 51 52 55 57 61 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112
a 14 15 16 19 20 22 23 24 26 32 33 34 39 40 45 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112
a 14 16 19 20 22 23 24 26 32 33 34 39 40 45 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112 114
a 15 16 19 20 22 23 24 26 32 33 34 39 40 45 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112 114
a 14 15 16 19 20 22 23 24 26 32 33 34 39 40 45 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 114
a 14 15 16 19 20 22 23 24 26 32 33 34 39 40 45 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 112 114
a 14 15 16 20 22 23 24 26 32 33 34 39 40 45 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112 114
a 14 15 16 19 20 22 23 24 26 32 33 34 39 40 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112 114
a 14 15 16 19 20 22 23 24 26 32 33 34 39 40 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112 117
a 14 15 16 19 20 22 23 24 26 32 33 34 39 40 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 95 98 99 102 106 112 114 117
a 14 15 16 19 20 22 23 24 26 32 33 34 39 40 48 50 51 52 55 57 61 68 69 70 75 76 77 79 80 85 98 99 102 106 111 112 114 117
a 14 16 19 20 22 23 24 26 32 33 34 39 40 48 50 51 52 55 57 61 66 68 69 70 75 76 77 79 80 85 98 99 102 106 111 112 114 117
a 16 19 20 22 23 24 26 32 33 34 39 40 48 50 51 52 55 57 61 66 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112 114 117
a 7 16 19 20 22 23 24 26 32 33 34 39 40 48 50 51 52 55 57 61 66 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112 114
a 7 8 16 19 20 22 23 24 26 32 33 34 39 40 48 50 51 52 55 57 61 66 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 114
a 8 14 16 19 20 22 23 24 26 32 33 34 39 40 48 50 51 52 55 57 61 66 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 114
a 8 14 16 19 22 23 24 26 32 33 34 39 40 48 50 51 52 55 57 61 66 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 114 117
a 14 16 19 22 23 24 26 32 33 34 39 40 48 50 51 52 55 57 61 66 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112 114 117
a 16 19 22 23 24 26 32 33 34 39 40 48 50 51 52 55 57 61 66 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112 114 116 117
a 16 19 20 22 23 24 26 32 33 34 39 40 48 50 51 52 55 57 61 66 68 69 70 75 76 77 79 80 85 95 98 99 102 106 111 112 114 116
a 16 19 20 22 23 24 26 32 33 34 40 48 50 51 52 55 57 61 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 106 111 112 114 116
a 16 19 20 22 23 24 26 32 33 34 40 48 50 51 52 55 57 61 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 106 111 112 114 117
a 16 19 20 23 24 26 32 33 34 40 48 50 51 52 55 57 61 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 106 111 112 114 116 117
a 14 16 19 20 23 24 26 32 33 34 40 48 50 51 52 55 57 61 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 106 111 112 114 116
a 14 16 19 20 22 23 24 26 32 33 34 40 48 50 51 52 55 57 61 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 106 111 112 114
a 7 14 16 19 20 22 23 24 26 32 33 34 40 48 50 51 52 55 57 61 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 106 111 112
a 7 14 16 19 20 22 23 24 26 32 33 34 40 46 48 50 52 55 57 61 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 106 111 112
a 7 14 16 19 20 22 23 24 26 32 34 40 46 48 50 52 55 57 61 63 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 106 111 112
a 7 14 16 19 20 22 23 24 26 32 34 40 46 48 50 52 55 57 61 63 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 111 112 116
a 7 16 19 20 22 23 24 26 32 34 40 46 48 50 52 55 57 61 63 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 106 111 112 116
a 7 16 19 20 22 23 24 32 34 40 46 48 50 52 55 57 61 63 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 104 106 111 112 116
a 14 16 19 20 22 23 24 32 34 40 46 48 50 52 55 57 61 63 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 104 106 111 112 116
a 14 16 19 20 22 23 24 32 40 46 48 50 52 55 57 61 63 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 104 106 111 112 116 117
a 14 16 19 20 22 23 24 32 34 40 46 48 50 52 55 57 61 63 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 104 106 111 112 117
a 7 14 16 19 20 22 23 24 32 34 40 46 48 50 52 55 57 61 63 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 104 106 111 112
a 7 14 16 19 20 22 23 24 32 34 40 46 48 50 52 55 57 61 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 104 106 111 112 117
a 7 14 16 20 22 23 24 32 34 40 46 48 50 52 55 57 61 63 66 68 69 70 75 76 77 79 80 85 95 98 99 102 103 104 106 111 112 117
a 14 16 20 22 23 24 32 34 40 46 48 50 52 55 57 61 63 66 68 69 70 75 76 77 79 80 81 85 95 98 99 102 103 104 106 111 112 117
a 8 14 16 20 22 23 24 32 34 40 46 48 50 52 55 57 61 63 66 68 69 70 75 77 79 80 81 85 95 98 99 102 103 104 106 111 112 117
a 8 16 20 22 23 24 32 34 40 46 48 50 52 55 57 61 63 66 68 69 70 75 76 77 79 80 81 85 95 98 99 102 103 104 106 111 112 117
a 8 16 20 22 23 24 32 34 40 46 48 50 52 55 57 61 66 68 69 70 75 76 77 79 80 81 85 95 98 99 102 103 104 106 111 112 113 117
a 8 14 16 20 23 24 32 34 40 46 48 50 52 55 57 61 66 68 69 70 75 76 77 79 80 81 85 95 98 99 102 103 104 106 111 112 113 117
a 8 14 16 20 23 24 32 34 40 46 48 50 52 55 57 61 66 68 69 70 75 76 77 79 81 85 95 98 99 101 102 103 104 106 111 112 113 117
a 8 14 16 20 23 24 32 34 40 46 48 50 52 55 57 61 66 68 69 70 76 77 79 81 85 95 98 99 101 102 103 104 106 111 112 113 116 117
a 8 14 16 20 22 23 24 32 34 40 46 48 50 52 55 57 61 66 68 69 70 76 77 79 81 85 95 98 99 101 102 103 104 106 111 112 116 117
a 8 14 16 20 22 23 24 32 34 40 46 48 50 52 55 57 61 66 68 69 70 76 77 79 81 85 95 98 99 101 102 103 104 106 111 112 113 116
a 8 14 16 20 22 23 24 32 34 40 46 48 50 52 55 57 61 66 68 69 70 76 77 79 81 85 95 98 99 101 102 103 104 106 111 113 116 117
a 8 14 16 20 22 23 24 32 34 40 46 48 50 52 55 57 61 66 68 69 70 76 77 79 80 81 85 95 98 99 101 102 103 104 106 111 113 116
a 8 14 16 20 22 23 24 32 34 40 46 48 50 52 55 57 61 66 68 69 70 75 76 79 80 81 85 95 98 99 101 102 103 104 106 111 113 116
a 8 14 16 20 22 23 24 26 32 34 40 46 48 50 52 55 57 61 66 68 69 70 75 76 79 80 81 85 95 98 99 101 102 103 106 111 113 116
a 8 14 16 20 22 23 24 26 32 34 40 46 48 50 52 55 57 61 66 68 69 70 75 76 77 79 80 81 85 95 98 99 101 102 103 106 113 116
a 14 16 20 22 23 24 26 32 34 40 46 48 50 52 55 57 61 66 68 69 70 75 76 77 79 80 81 85 95 98 99 101 102 103 106 111 113 116
a 14 16 20 22 23 24 26 32 34 40 46 48 50 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 95 98 99 101 102 103 106 111 113 116
a 14 16 20 22 23 24 32 34 40 46 48 50 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 95 98 99 101 102 103 104 106 111 113 116
a 7 14 20 22 23 24 32 34 40 46 48 50 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 95 98 99 101 102 103 104 106 111 113 116
a 7 20 22 23 24 32 34 40 46 48 50 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 113 116
a 7 20 22 23 24 32 34 40 46 48 50 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 104 106 111 112 113 116
a 20 22 23 24 32 34 40 46 48 50 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113 116
a 20 22 23 24 26 32 34 40 46 48 50 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 106 111 112 113 116
a 8 20 23 24 26 32 34 40 46 48 50 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 106 111 112 113 116
a 8 22 23 24 26 32 34 40 46 48 50 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 106 111 112 113 116
a 7 8 22 23 24 26 32 34 40 46 50 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 106 111 112 113 116
a 7 8 22 23 24 26 32 34 37 40 46 50 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 106 111 113 116
a 7 8 23 24 26 32 34 37 40 46 48 50 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 106 111 113 116
a 7 8 12 23 24 26 32 34 37 40 46 48 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 106 111 113 116
a 8 12 22 23 24 26 32 34 37 40 46 48 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 106 111 113 116
a 8 12 20 22 23 24 26 32 34 37 40 46 48 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 102 103 106 111 113 116
a 12 14 20 22 23 24 26 32 34 37 40 46 48 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 102 103 106 111 113 116
a 12 14 22 23 24 26 32 34 37 40 46 48 52 57 61 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 106 111 113 116
a 12 14 22 23 24 26 32 34 37 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 106 111 113 116
a 7 12 14 22 23 24 26 32 34 37 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 99 101 102 103 106 111 113 116
a 7 12 14 22 23 24 26 32 34 37 38 40 46 48 52 57 66 67 68 69 70 75 76 77 80 81 85 90 95 98 99 101 102 103 106 111 113 116
a 7 14 20 22 23 24 26 32 34 37 38 40 46 48 52 57 66 67 68 69 70 75 76 77 80 81 85 90 95 98 99 101 102 103 106 111 113 116
a 7 14 20 22 23 24 32 34 37 38 40 46 48 52 57 66 67 68 69 70 75 76 77 80 81 85 90 95 98 99 101 102 103 104 106 111 113 116
a 7 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113 116
a 7 12 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 80 81 85 90 95 98 99 101 102 103 104 106 112 113 116
a 12 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113 116
a 12 14 20 22 23 24 32 34 38 39 40 46 48 52 57 66 67 68 69 70 75 76 77 80 81 85 90 95 98 99 101 102 104 106 111 112 113 116
a 8 12 20 22 23 24 32 34 38 39 40 46 48 52 57 66 67 68 69 70 75 76 77 80 81 85 90 95 98 99 101 102 104 106 111 112 113 116
a 8 12 20 22 23 24 32 34 39 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 104 106 111 112 113 116
a 12 20 22 23 24 32 34 39 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 104 106 111 112 113 116 117
a 7 12 20 22 23 32 34 39 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 104 106 111 112 113 116 117
a 7 12 14 20 22 23 32 34 39 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 104 106 111 112 113 116 117
a 7 12 20 22 23 32 34 38 39 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 104 106 111 112 113 116 117
a 7 12 20 22 23 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 103 104 106 111 112 113 116 117
a 7 12 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 103 104 106 111 112 113 117
a 7 12 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 113 117
a 7 12 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 112 113 117
a 7 12 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 112 113
a 12 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113
a 7 12 14 20 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113
a 7 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113
a 7 12 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 99 101 102 103 104 106 111 112 113
a 7 12 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 103 104 106 111 112 113
a 7 12 14 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113
a 7 12 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113
a 7 12 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 85 90 95 98 99 101 102 103 104 106 111 112 113
a 7 12 14 20 22 23 24 32 34 38 40 46 48 52 57 66 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113
a 7 12 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 102 103 104 106 111 112 113
a 7 12 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 102 103 104 106 111 112 116
a 7 12 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 95 98 99 102 103 104 106 111 112 113 116
a 7 12 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 102 103 104 106 111 112 113 116
a 7 12 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 102 103 104 106 111 112 113 116 117
a 7 12 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 102 103 104 111 112 113 116 117
a 12 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 101 102 103 104 111 112 113 116 117
a 12 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 101 102 103 104 106 111 112 113 116 117
a 12 20 22 23 24 32 34 38 40 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 101 102 103 104 106 111 112 113 114 116 117
a 20 22 23 24 32 34 38 40 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113 114 116 117
a 12 20 22 23 24 32 34 38 40 48 52 57 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113 114 116 117
a 12 14 20 22 23 24 32 34 38 40 48 52 57 67 68 69 70 75 76 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113 114 116 117
a 12 14 20 22 23 24 32 34 38 40 48 52 57 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113 114 117
a 12 14 20 22 23 24 32 34 38 40 48 52 57 67 68 69 70 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 113 114 117
a 12 14 20 22 23 24 32 34 38 40 48 52 57 66 67 68 69 70 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113 114 117
a 14 20 22 23 24 32 34 38 40 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113 114 117
a 14 20 22 23 24 32 34 38 40 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 95 98 99 101 102 103 104 106 111 112 113 114 116 117
a 14 20 22 23 24 32 34 38 40 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113 116 117
a 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 95 98 99 101 102 103 104 106 111 112 113 116 117
a 14 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113 116 117
a 14 20 22 23 24 32 34 38 40 46 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113 116 117
a 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113 116 117
a 12 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 75 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113 117
a 12 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113 117
a 12 14 20 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 113 117
a 12 14 20 23 24 26 32 34 38 40 46 48 52 57 66 67 68 69 70 76 77 79 80 81 85 90 95 98 99 101 102 103 106 107 111 112 113 117
a 12 14 20 23 24 26 32 34 38 40 46 48 52 57 66 67 68 69 70 76 77 79 80 81 85 90 95 98 99 101 102 103 106 107 111 112 113 116
a 12 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 76 77 79 80 81 85 90 95 98 99 101 102 103 106 107 111 112 113 116
a 14 20 22 23 24 26 32 34 38 40 46 48 52 57 66 67 68 69 70 76 77 79 80 81 85 90 95 98 99 101 102 103 106 107 111 112 113 116
a 12 14 20 22 23 24 26 32 34 38 40 46 48 52 57 66 67 68 69 70 76 77 79 80 81 85 90 95 98 99 101 102 103 106 107 111 112 113
a 12 14 20 22 23 24 32 34 38 40 46 48 52 57 66 67 68 69 70 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 113
a 2 12 14 20 22 23 24 32 34 38 40 46 48 57 66 67 68 69 70 76 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 113
a 2 12 14 20 22 23 24 32 34 38 40 46 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 113 117
a 2 12 14 20 22 23 24 32 34 38 40 46 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 113 116
a 2 12 14 20 21 22 23 24 32 34 38 40 46 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 116
a 2 12 14 20 21 22 23 24 26 32 34 38 40 46 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 106 107 111 112 116
a 2 12 14 20 21 22 23 24 26 32 34 38 40 46 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 106 107 112 113 116
a 2 12 14 20 21 22 23 24 26 32 34 38 40 46 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 106 107 112 116 117
a 2 12 14 20 21 22 23 24 26 32 34 38 40 46 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 106 107 112 113 117
a 2 12 14 20 21 22 23 24 32 34 38 40 46 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 112 113 117
a 2 12 14 20 21 22 23 24 32 34 38 46 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 113 117
a 2 7 12 14 20 21 22 23 24 32 34 38 46 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 113
a 2 12 14 20 21 22 23 24 32 34 38 40 46 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 113
a 2 12 14 20 21 22 23 24 32 34 38 40 46 48 57 66 67 68 69 70 77 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 113 116
a 2 7 12 20 21 22 23 24 32 34 38 40 46 48 57 66 67 68 69 70 77 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 113 116
a 2 7 12 14 20 21 23 24 32 34 38 40 46 48 57 66 67 68 69 70 77 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 113 116
a 2 7 8 12 14 20 21 23 24 32 34 38 40 46 48 57 66 67 68 69 70 77 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 116
a 2 7 8 12 14 20 21 22 23 24 32 34 38 40 46 48 57 66 67 68 69 70 77 80 81 85 90 95 98 99 101 102 103 104 106 107 111 116
a 2 7 8 14 20 21 22 23 24 32 34 38 40 46 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 116
a 7 8 14 20 21 22 23 24 32 34 38 40 46 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 113 116
a 7 8 14 20 21 22 23 24 32 34 38 40 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 113 114 116
a 7 8 20 21 22 23 24 32 34 38 40 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 113 114 116
a 7 8 12 20 21 22 23 24 32 34 38 40 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 113 114
a 7 8 12 14 20 21 22 23 24 32 34 38 40 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 103 104 106 107 111 112 113 114
a 7 8 12 14 20 21 22 23 24 32 34 38 40 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 112 113 114
a 7 8 12 14 20 21 22 23 24 32 34 38 40 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 113 114
a 7 8 12 14 20 21 22 23 24 32 34 38 40 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 104 106 111 112 113 114
a 7 8 12 14 20 21 22 23 24 32 34 38 40 48 57 66 67 68 69 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 113 114
a 7 8 12 14 20 21 22 23 24 32 34 38 40 46 48 57 66 67 68 69 77 79 80 81 85 90 95 98 99 101 102 103 104 106 107 111 112 113
a 7 8 12 14 20 21 22 23 24 26 32 34 38 40 46 48 57 66 67 68 69 77 79 80 81 85 90 95 98 99 101 102 103 106 107 111 112 113
a 7 8 12 14 20 21 22 23 24 26 32 34 38 40 46 48 57 66 67 68 69 70 77 79 80 81 85 90 95 98 99 101 102 103 106 107 111 113
a 7 8 12 14 20 21 22 23 24 26 32 33 34 38 40 46 48 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 106 107 111 113
a 7 8 12 14 20 21 22 23 24 26 32 33 34 38 40 46 48 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 106 107 111 116
a 7 8 12 14 19 20 21 22 23 24 26 32 33 34 38 40 46 48 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 106 107 111
a 8 12 14 19 20 21 22 23 24 26 32 33 34 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 106 107 111
a 8 12 14 19 20 21 22 23 24 26 32 33 34 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 106 107 112
a 2 8 12 14 19 20 21 22 23 24 26 32 33 34 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 107 112
a 2 8 14 19 20 21 22 23 24 26 32 33 34 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 106 107 112
a 2 8 12 14 19 20 21 22 23 24 26 32 33 34 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 95 99 101 102 103 106 107 112
a 2 8 12 14 19 20 21 22 23 24 26 32 33 34 38 40 42 46 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 106 107 112
a 2 8 12 14 19 20 21 22 23 24 26 32 33 34 38 40 42 46 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 106 107 111
a 2 8 12 14 19 20 22 23 24 26 32 33 34 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 106 107 111
a 7 8 12 14 19 20 22 23 24 26 32 33 34 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 106 107 111
a 2 7 8 12 14 19 20 22 23 24 26 32 33 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 106 107 111
a 2 7 8 12 14 19 20 22 23 24 26 32 33 34 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 106 107
a 2 7 8 12 14 19 20 21 22 23 24 26 32 33 34 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 106
a 2 7 8 12 14 19 20 21 22 23 24 26 32 33 34 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 112
a 2 7 8 12 14 19 20 21 22 23 24 26 32 33 34 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 98 99 101 102 103 106 112
a 2 7 8 12 14 19 20 21 23 24 26 32 33 34 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 106 112
a 2 7 8 12 14 19 20 21 23 24 26 32 33 34 38 40 42 46 48 57 66 67 68 69 77 79 80 85 90 95 98 99 101 102 103 106 107 112
a 2 7 8 14 19 20 21 23 24 26 32 33 34 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 95 98 99 101 102 103 106 107 112
a 2 7 8 12 14 19 20 21 23 24 26 32 33 34 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 95 99 101 102 103 106 107 112
a 2 8 12 14 19 20 21 23 24 26 32 33 34 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 95 99 101 102 103 106 107 111 112
a 2 8 12 14 19 20 21 22 23 24 26 32 33 38 40 42 46 48 57 66 67 68 69 70 77 79 80 85 90 95 99 101 102 103 106 107 111 112
a 2 8 12 14 19 20 21 22 23 24 26 32 33 38 40 42 46 48 57 66 67 68 69 70 75 77 79 80 85 90 95 99 101 102 103 106 111 112
a 2 8 14 19 20 21 22 23 24 26 32 33 38 40 42 46 48 57 66 67 68 69 70 75 77 79 80 85 90 92 95 99 101 102 103 106 111 112
a 2 8 14 19 20 21 22 23 26 32 33 38 40 42 46 48 57 66 67 68 69 70 75 77 79 80 85 90 92 95 99 101 102 103 106 111 112 117
a 2 8 14 16 19 20 21 22 23 26 32 33 38 40 42 46 48 57 66 67 68 69 70 75 77 79 80 85 92 95 99 101 102 103 106 111 112 117
a 2 8 14 16 19 20 21 22 23 26 32 33 38 40 42 46 48 55 57 66 68 69 70 75 77 79 80 85 92 95 99 101 102 103 106 111 112 117
a 2 8 14 16 19 20 21 22 23 26 32 33 38 40 42 46 48 55 57 66 68 69 75 77 79 80 85 91 92 95 99 101 102 103 106 111 112 117
a 2 8 14 16 19 20 21 22 23 26 28 32 33 38 40 42 46 48 55 57 66 68 69 75 77 79 80 85 91 92 95 99 101 102 106 111 112 117
a 2 8 14 16 19 21 22 23 26 28 32 33 38 40 42 46 48 55 57 66 68 69 71 75 77 79 80 85 91 92 95 99 101 102 106 111 112 117
a 2 8 14 16 19 21 22 23 26 28 29 32 33 38 40 42 46 48 55 57 66 68 69 71 75 77 79 80 85 91 92 95 99 101 106 111 112 117
a 2 8 14 16 19 21 22 23 26 28 29 32 33 38 40 42 46 48 55 57 66 69 71 75 77 79 80 85 91 92 95 99 101 105 106 111 112 117
a 2 8 14 16 19 22 23 26 28 29 32 33 38 39 40 42 46 48 55 57 66 69 71 75 77 79 80 85 91 92 95 99 101 105 106 111 112 117
a 8 14 16 19 22 23 26 28 29 32 33 38 39 40 42 46 48 52 55 57 66 69 71 75 77 79 80 85 91 92 95 99 101 105 106 111 112 117
a 8 14 16 19 22 23 28 29 32 33 38 39 40 42 46 48 52 55 57 66 69 71 75 76 77 79 80 85 91 92 95 99 101 105 106 111 112 117
a 8 10 14 16 19 22 23 28 29 32 33 38 39 40 42 46 48 52 55 57 66 69 71 75 76 77 79 85 91 92 95 99 101 105 106 111 112 117
a 8 10 14 16 19 22 23 28 29 32 33 38 39 40 42 46 48 52 55 57 66 69 71 75 76 77 79 82 85 91 92 95 101 105 106 111 112 117
a 8 10 14 16 19 22 23 28 29 32 38 39 40 42 46 48 52 55 57 66 69 71 75 76 77 79 82 85 91 92 95 101 104 105 106 111 112 117
a 8 10 14 16 19 22 23 28 29 32 38 39 40 42 46 48 52 55 57 63 66 69 71 75 76 77 79 82 85 91 92 95 104 105 106 111 112 117
a 8 10 14 16 19 22 23 28 29 32 38 39 40 42 46 48 52 55 57 63 66 69 71 73 75 76 77 79 82 85 91 92 95 104 105 111 112 117
a 8 10 14 16 19 22 23 28 29 38 39 40 42 46 48 52 55 57 63 65 66 69 71 73 75 76 77 79 82 85 91 92 95 104 105 111 112 117
c Step: 288
#END: [Mon Sep  4 17:07:52 2023]