#BEGIN: [Tue Sep 5 06:54:01 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest2 #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 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /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 d5cd0159a2fb7e31d803d460171948f2412e53090516d2d2070d2815cc092fc4 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 19 20 21 22 23 25 31 32 33 36 38 42 43 45 46 47 50 53 56 59 60 71 76 78 82 85 86 98 99 100 104 108 a 2 3 5 8 9 10 18 19 20 21 22 23 25 31 33 36 38 42 43 45 46 47 50 53 56 59 60 71 76 78 82 85 86 98 99 100 104 108 a 2 3 5 8 9 10 18 19 20 21 22 23 25 31 33 36 38 42 43 45 46 47 50 56 59 60 71 76 78 82 85 86 89 98 99 100 104 108 a 2 5 8 9 10 18 19 20 21 22 23 25 31 33 36 38 42 43 45 46 47 50 56 59 60 71 76 78 82 85 86 89 95 98 99 100 104 108 a 2 5 8 10 12 18 19 20 21 22 23 25 31 33 36 38 42 43 45 46 47 50 56 59 60 71 76 78 82 85 86 89 95 98 99 100 104 108 a 2 5 8 10 12 18 19 20 21 22 23 25 31 33 36 38 42 43 45 46 47 50 56 59 60 71 76 78 82 85 86 89 95 98 99 100 104 109 a 2 3 5 8 10 12 18 19 20 21 22 23 25 31 33 36 38 42 43 45 46 47 50 56 59 60 71 76 78 82 85 86 89 98 99 100 104 109 a 2 3 5 8 10 12 18 19 20 21 22 23 25 31 33 36 38 42 43 45 46 47 50 56 59 60 71 76 78 82 85 86 89 98 99 100 104 117 a 2 5 8 10 12 18 19 20 21 22 23 25 31 33 36 38 42 43 45 46 47 50 56 59 60 71 76 78 82 85 86 89 95 98 99 100 104 117 a 2 5 8 10 12 18 19 20 21 22 25 31 33 36 38 42 43 45 46 47 50 56 59 60 71 76 78 82 85 86 89 95 98 99 100 103 104 117 a 2 5 8 10 12 18 19 20 21 22 25 31 33 38 42 43 45 46 47 50 56 59 60 71 76 78 82 85 86 89 94 95 98 99 100 103 104 117 a 2 5 8 10 12 13 18 19 20 21 25 31 33 38 42 43 45 46 47 50 56 59 60 71 76 78 82 85 86 89 94 95 98 99 100 103 104 117 a 2 5 8 10 12 13 18 19 20 21 25 31 33 38 42 43 45 46 47 50 56 59 60 71 76 78 82 85 86 89 94 95 98 100 103 104 110 117 a 2 5 8 10 12 13 14 18 19 20 21 25 31 33 38 42 43 46 47 50 56 59 60 71 76 78 82 85 86 89 94 95 98 100 103 104 110 117 a 5 8 10 12 13 14 18 19 20 21 25 31 33 38 42 43 46 47 50 56 59 60 63 71 76 78 82 85 86 89 94 95 98 100 103 104 110 117 a 5 8 10 12 13 14 18 19 20 21 25 31 33 38 42 43 46 47 50 56 59 60 69 71 76 78 82 85 86 89 94 95 98 100 103 104 110 117 a 5 7 8 10 12 13 14 18 19 20 21 25 31 33 38 42 43 46 47 50 56 59 60 69 76 78 82 85 86 89 94 95 98 100 103 104 110 117 a 5 7 8 10 12 13 14 18 19 20 21 25 31 33 38 42 43 46 47 50 56 59 60 63 76 78 82 85 86 89 94 95 98 100 103 104 110 117 a 5 7 8 10 12 13 14 18 19 20 21 25 31 33 38 42 43 46 47 50 56 59 60 63 76 78 82 85 86 89 94 95 98 100 104 109 110 117 a 5 7 8 10 12 13 14 18 19 20 21 25 31 38 42 43 46 47 50 56 59 60 62 63 76 78 82 85 86 89 94 95 98 100 104 109 110 117 a 5 7 10 12 13 14 18 19 20 21 25 31 38 42 43 46 47 50 56 59 60 62 63 76 78 82 85 86 89 94 95 98 100 104 108 109 110 117 a 5 7 10 12 13 14 15 18 19 20 21 25 31 38 42 43 46 47 50 56 59 60 62 63 76 78 82 85 86 89 94 95 98 100 104 108 109 117 a 5 7 10 12 13 14 15 18 19 20 21 25 31 38 42 43 46 47 50 56 59 60 62 63 76 78 82 85 86 89 94 95 100 104 108 109 114 117 a 7 10 12 13 14 15 18 19 20 21 25 30 31 38 42 43 46 47 50 56 59 60 62 63 76 78 82 85 86 89 94 95 100 104 108 109 114 117 a 7 10 12 13 14 15 18 19 20 21 25 30 31 38 42 43 46 47 50 56 58 59 60 62 63 78 82 85 86 89 94 95 100 104 108 109 114 117 a 7 10 12 13 14 15 18 19 20 21 25 30 31 38 42 43 46 47 50 56 58 59 60 62 69 78 82 85 86 89 94 95 100 104 108 109 114 117 a 7 10 12 13 14 18 19 20 21 25 30 31 38 42 43 46 47 50 56 58 59 60 62 69 78 82 85 86 89 94 95 100 104 108 109 110 114 117 a 7 10 12 13 14 18 19 20 25 30 31 38 42 43 46 47 50 56 58 59 60 62 69 78 82 85 86 89 94 95 100 104 108 109 110 112 114 117 a 2 7 10 12 13 14 18 19 20 25 30 31 38 42 43 46 47 50 56 58 59 60 62 69 78 82 85 86 89 94 95 100 104 108 109 110 112 117 a 2 7 10 12 13 18 19 20 25 30 31 38 42 43 46 47 50 56 58 59 60 62 69 78 82 85 86 89 94 95 98 100 104 108 109 110 112 117 a 2 7 10 12 13 18 19 20 25 31 38 42 43 46 47 50 56 58 59 60 62 65 69 78 82 85 86 89 94 95 98 100 104 108 109 110 112 117 a 2 7 10 12 13 18 19 20 25 38 42 43 46 47 50 51 56 58 59 60 62 65 69 78 82 85 86 89 94 95 98 100 104 108 109 110 112 117 a 2 7 10 12 13 18 19 20 25 38 42 43 46 47 50 51 56 57 58 59 60 62 65 69 82 85 86 89 94 95 98 100 104 108 109 110 112 117 a 2 7 10 12 13 18 19 20 25 38 39 42 43 46 47 50 51 56 57 58 59 60 62 65 69 82 85 86 89 94 95 98 100 104 109 110 112 117 a 2 7 10 12 13 18 19 20 21 25 38 39 42 43 46 47 50 51 56 57 58 59 60 62 65 69 82 85 86 89 94 95 98 100 104 109 110 117 a 2 7 8 10 12 13 18 19 20 21 25 38 39 42 43 46 47 50 51 56 57 58 59 60 62 65 82 85 86 89 94 95 98 100 104 109 110 117 a 2 7 8 10 13 18 19 20 21 25 38 39 42 43 46 47 50 51 56 57 58 59 60 62 65 82 85 86 89 94 95 98 100 101 104 109 110 117 a 2 7 8 10 13 18 19 20 21 25 38 39 42 43 45 46 47 50 51 56 57 58 59 60 62 65 82 85 86 89 94 95 98 100 101 104 109 110 a 2 7 8 10 13 18 19 20 21 23 25 38 39 42 43 45 46 47 50 51 56 57 58 59 60 65 82 85 86 89 94 95 98 100 101 104 109 110 a 2 7 8 10 13 19 20 21 23 25 32 38 39 42 43 45 46 47 50 51 56 57 58 59 60 65 82 85 86 89 94 95 98 100 101 104 109 110 a 2 7 10 13 19 20 21 23 25 32 38 39 42 43 45 46 47 50 51 56 57 58 59 60 65 69 82 85 86 89 94 95 98 100 101 104 109 110 a 2 7 9 10 13 19 20 21 23 25 32 38 39 42 43 45 46 47 50 51 56 57 58 59 60 65 69 82 85 86 89 94 95 98 100 101 104 110 a 2 7 9 10 13 19 20 23 25 32 38 39 42 43 45 46 47 50 51 56 57 58 59 60 65 69 82 85 86 89 94 95 98 100 101 104 110 112 a 2 3 7 9 10 13 19 20 23 25 32 38 39 42 43 45 46 47 50 51 56 57 58 59 60 65 69 82 85 86 89 94 98 100 101 104 110 112 a 2 3 7 9 10 13 19 20 23 25 32 38 42 43 45 46 47 50 51 56 57 58 59 60 65 69 82 85 86 89 94 98 100 101 104 108 110 112 a 2 3 7 9 10 13 19 20 23 25 32 38 42 43 45 46 47 50 51 56 57 58 59 60 65 82 85 86 89 94 98 99 100 101 104 108 110 112 a 2 3 7 8 9 10 13 19 20 23 25 32 38 42 43 45 46 47 50 51 56 58 59 60 65 82 85 86 89 94 98 99 100 101 104 108 110 112 a 2 3 7 8 9 10 13 19 20 23 25 31 32 38 42 43 45 46 47 50 56 58 59 60 65 82 85 86 89 94 98 99 100 101 104 108 110 112 a 2 3 7 8 9 10 13 19 20 23 25 31 32 38 42 43 45 46 47 50 56 58 59 60 65 82 85 86 89 94 98 99 100 101 104 108 110 117 a 2 3 7 8 9 10 13 19 20 23 25 31 32 38 42 43 44 45 46 47 50 56 58 59 60 65 82 85 86 89 94 98 100 101 104 108 110 117 a 2 3 7 8 9 10 13 19 20 23 25 31 32 38 43 44 45 46 47 50 56 58 59 60 65 78 82 85 86 89 94 98 100 101 104 108 110 117 a 2 3 7 8 9 10 13 18 19 20 23 25 31 32 38 43 45 46 47 50 56 58 59 60 65 78 82 85 86 89 94 98 100 101 104 108 110 117 a 2 3 7 8 9 10 13 18 19 20 23 25 31 38 43 45 46 47 49 50 56 58 59 60 65 78 82 85 86 89 94 98 100 101 104 108 110 117 a 3 7 8 9 10 13 18 19 20 23 25 31 38 43 45 46 47 49 50 56 58 59 60 65 78 82 85 86 89 94 98 100 101 104 108 110 112 117 a 3 7 8 9 10 13 19 20 23 25 31 38 43 44 45 46 47 49 50 56 58 59 60 65 78 82 85 86 89 94 98 100 101 104 108 110 112 117 a 3 8 9 10 13 19 20 23 25 31 38 43 44 45 46 47 49 50 56 58 59 60 65 71 78 82 85 86 89 94 98 100 101 104 108 110 112 117 a 3 8 9 10 13 18 19 20 23 25 31 38 43 45 46 47 49 50 56 58 59 60 65 71 78 82 85 86 89 94 98 100 101 104 108 110 112 117 a 2 3 8 9 10 13 18 19 20 23 25 31 38 45 46 47 49 50 56 58 59 60 65 71 78 82 85 86 89 94 98 100 101 104 108 110 112 117 a 2 3 8 9 10 13 18 19 20 23 25 31 38 45 46 47 49 50 56 58 59 60 65 69 71 78 82 85 86 94 98 100 101 104 108 110 112 117 a 2 3 8 9 10 13 18 19 20 23 25 31 38 45 46 47 49 50 56 58 59 60 65 69 71 78 82 85 86 91 94 98 100 101 104 108 110 112 a 2 3 5 8 9 10 13 18 19 20 23 25 31 38 45 46 47 49 50 56 58 59 60 69 71 78 82 85 86 91 94 98 100 101 104 108 110 112 a 2 3 5 8 9 10 13 18 19 20 23 25 31 33 38 45 46 47 49 50 56 58 59 60 69 71 78 82 85 86 91 94 98 100 101 104 108 110 a 2 3 5 8 9 10 13 18 19 20 23 25 31 33 38 45 46 47 49 50 56 58 59 60 69 71 78 82 85 86 91 94 98 100 104 108 110 117 a 2 3 5 8 9 10 13 18 19 20 23 25 33 38 45 46 47 49 50 56 58 59 60 69 71 78 82 85 86 91 94 98 100 101 104 108 110 117 a 2 3 5 8 9 10 13 18 19 20 23 25 33 38 45 46 47 49 50 56 58 59 60 69 71 78 82 85 86 91 94 98 100 101 104 108 110 112 a 2 3 5 8 9 10 13 19 20 23 25 33 38 44 45 46 47 49 50 56 58 59 60 69 71 78 82 85 86 91 94 98 100 101 104 108 110 112 a 2 3 5 8 9 10 13 19 20 23 25 38 44 45 46 47 49 50 56 58 59 60 69 71 78 82 85 86 91 94 98 100 101 104 108 110 112 115 a 2 3 5 8 9 10 13 18 19 20 23 25 38 45 46 47 49 50 56 58 59 60 69 71 78 82 85 86 91 94 98 100 101 104 108 110 112 115 a 2 3 5 8 9 10 13 18 19 20 23 25 31 38 45 46 47 49 50 56 58 59 60 69 71 78 82 85 86 91 94 98 100 104 108 110 112 115 a 2 3 5 8 9 10 13 18 19 23 25 31 38 45 46 47 49 50 56 58 59 60 69 71 78 82 85 86 91 94 98 100 104 108 110 112 115 117 a 2 3 5 8 9 10 13 18 19 20 23 25 31 38 45 46 47 49 50 56 58 59 60 69 71 78 82 85 91 94 98 100 104 108 110 112 115 117 a 2 3 5 8 9 10 13 18 19 20 23 25 31 38 45 46 47 49 50 56 58 59 60 69 71 78 82 85 86 91 94 98 100 108 110 112 115 117 a 2 3 5 9 10 13 18 19 20 23 25 31 38 45 46 47 49 50 56 58 59 60 69 71 78 82 85 86 91 94 98 100 101 108 110 112 115 117 a 2 3 5 8 9 10 13 18 19 20 23 25 31 38 45 46 47 49 50 58 59 60 69 71 78 82 85 86 91 94 98 100 101 108 110 112 115 117 a 3 5 8 9 10 13 18 19 20 23 25 31 38 45 46 47 49 50 58 59 60 69 71 78 82 85 86 89 91 94 98 100 101 108 110 112 115 117 a 3 5 8 9 10 13 18 19 20 23 25 31 38 45 46 47 49 50 56 58 59 60 69 71 78 82 85 86 89 94 98 100 101 108 110 112 115 117 a 2 3 5 8 9 10 13 18 19 20 23 25 31 38 45 46 47 50 56 58 59 60 69 71 78 82 85 86 89 94 98 100 101 108 110 112 115 117 a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 38 45 46 47 50 56 58 59 60 69 78 82 85 86 89 94 98 100 101 108 110 112 115 117 a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 38 45 46 47 49 50 56 58 59 60 69 78 82 85 86 89 94 100 101 108 110 112 115 117 a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 38 45 46 47 49 50 56 59 60 69 76 78 82 85 86 89 94 100 101 108 110 112 115 117 a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 35 38 45 46 47 49 50 56 59 60 69 76 82 85 86 89 94 100 101 108 110 112 115 117 a 3 5 7 8 9 10 13 18 19 20 23 25 31 35 38 45 46 47 49 50 56 59 60 69 76 82 85 86 89 94 100 101 108 110 112 114 115 117 a 3 5 7 8 9 10 13 18 19 20 23 25 31 35 38 45 46 47 49 50 56 59 60 69 76 82 85 86 94 100 101 104 108 110 112 114 115 117 a 3 5 7 8 9 10 13 18 19 20 23 25 31 35 38 42 45 46 47 49 50 56 59 60 69 76 82 85 86 94 100 101 104 108 110 112 114 117 a 3 5 7 8 9 10 13 18 19 20 23 25 31 35 38 42 45 46 47 49 50 56 59 60 69 76 82 85 86 89 94 100 101 104 110 112 114 117 a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 35 38 42 45 46 49 50 56 59 60 69 76 82 85 86 89 94 100 101 104 110 112 114 117 a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 38 39 42 45 46 49 50 56 59 60 69 76 82 85 86 89 94 100 101 104 110 112 114 117 a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 38 39 42 45 46 49 50 56 59 69 76 78 82 85 86 89 94 100 101 104 110 112 114 117 a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 38 39 42 45 46 49 50 56 59 60 69 76 78 82 85 86 89 94 100 101 104 110 114 117 a 2 3 5 7 8 9 10 13 18 19 20 23 25 31 38 39 42 45 46 47 49 50 56 59 60 69 76 78 82 85 86 89 94 100 101 104 110 114 a 2 3 5 7 8 9 10 13 18 19 23 25 31 38 39 42 45 46 47 49 50 56 59 60 69 76 78 82 85 86 89 94 100 101 104 110 112 114 a 2 3 5 7 8 9 10 13 18 19 23 25 31 38 39 45 46 47 49 50 56 59 60 69 76 78 82 85 86 89 94 100 101 104 110 112 114 115 a 2 3 5 7 8 9 10 13 18 19 23 25 31 35 38 39 45 46 47 49 50 56 59 60 69 76 82 85 86 89 94 100 101 104 110 112 114 115 a 2 3 5 7 8 9 10 13 18 19 23 25 31 35 38 39 45 46 47 49 50 56 59 60 69 76 82 85 86 89 94 100 101 104 110 114 115 117 a 2 3 5 7 8 9 10 13 18 19 23 25 31 35 38 39 45 46 47 49 50 56 59 60 69 76 82 85 86 89 94 98 100 101 104 110 115 117 a 2 3 5 7 8 9 10 13 18 19 23 25 31 32 35 38 39 45 46 47 50 56 59 60 69 76 82 85 86 89 94 98 100 101 104 110 115 117 a 2 3 5 7 8 9 10 13 18 19 23 25 31 32 35 38 39 45 46 47 50 56 58 59 60 69 82 85 86 89 94 98 100 101 104 110 115 117 a 2 3 5 7 8 9 10 13 18 19 23 25 31 32 35 38 39 42 45 46 47 50 56 58 59 60 69 82 85 86 89 98 100 101 104 110 115 117 a 2 3 5 7 8 9 10 13 18 19 23 25 31 32 35 38 39 42 45 46 47 50 56 58 59 60 69 82 85 86 89 94 98 100 101 104 110 117 a 2 3 5 7 9 10 13 18 19 23 25 31 32 35 38 39 42 45 46 47 50 56 57 58 59 60 69 82 85 86 89 94 98 100 101 104 110 117 a 2 3 5 7 9 10 13 18 19 23 25 32 35 38 39 42 45 46 47 50 51 56 57 58 59 60 69 82 85 86 89 94 98 100 101 104 110 117 a 2 3 7 8 9 10 13 18 19 23 25 32 35 38 39 42 45 46 47 50 51 56 57 58 59 60 69 82 85 86 89 94 98 100 101 104 110 117 a 3 7 8 9 10 13 18 19 23 25 32 35 38 39 42 45 46 47 50 51 56 57 58 59 60 69 82 85 86 89 94 98 100 101 104 105 110 117 a 2 3 7 8 9 10 13 18 19 23 25 32 35 38 39 45 46 47 50 51 56 57 58 59 60 69 82 85 86 89 94 98 100 101 104 105 110 117 a 2 3 7 9 10 13 18 19 23 25 32 35 38 39 45 46 47 50 51 56 57 58 59 60 69 82 85 86 89 94 98 100 101 104 105 110 112 117 a 2 7 9 10 13 18 19 23 25 30 32 35 38 39 45 46 47 50 51 56 57 58 59 60 69 82 85 86 89 94 98 100 101 104 105 110 112 117 a 2 7 9 10 13 18 19 23 25 30 35 38 39 45 46 47 49 50 51 56 57 58 59 60 69 82 85 86 89 94 98 100 101 104 105 110 112 117 a 2 7 9 10 13 18 19 23 25 30 35 38 39 45 46 47 49 50 51 54 56 57 58 60 69 82 85 86 89 94 98 100 101 104 105 110 112 117 a 2 7 9 10 13 18 19 23 25 30 35 38 39 45 46 47 50 51 54 56 57 58 60 69 82 85 86 89 94 95 98 100 101 104 105 110 112 117 a 2 7 9 10 13 18 19 25 30 35 38 39 45 46 47 50 51 54 56 57 58 60 69 82 85 86 89 94 95 98 100 101 103 104 105 110 112 117 a 2 7 8 9 10 13 18 25 30 35 38 39 45 46 47 50 51 54 56 57 58 60 69 82 85 86 89 94 95 98 100 101 103 104 105 110 112 117 a 2 7 8 9 10 13 18 25 30 35 38 39 45 46 47 50 51 54 56 57 58 60 69 82 85 86 89 94 95 100 101 103 104 105 110 112 114 117 a 2 7 8 9 10 13 18 19 25 30 35 38 39 45 46 47 50 51 54 56 57 58 60 69 82 85 86 89 94 95 100 101 103 104 105 110 112 114 a 2 7 8 9 10 13 14 18 19 25 30 35 38 39 46 47 50 51 54 56 57 58 60 69 82 85 86 89 94 95 100 101 103 104 105 110 112 114 a 7 8 9 10 13 14 17 18 19 25 30 35 38 39 46 47 50 51 54 56 57 58 60 69 82 85 86 89 94 95 100 101 103 104 105 110 112 114 a 7 8 9 10 13 14 17 18 19 25 30 35 38 39 46 47 49 50 51 54 56 57 58 60 69 82 85 86 89 94 100 101 103 104 105 110 112 114 a 8 9 10 13 14 17 18 19 25 30 35 38 39 46 47 49 50 51 54 56 57 58 60 69 82 85 86 89 94 100 101 103 104 105 110 112 114 117 a 8 9 10 13 14 17 18 19 25 30 35 38 39 46 47 49 50 51 54 56 57 58 60 63 82 85 86 89 94 100 101 103 104 105 110 112 114 117 a 8 10 13 14 17 18 19 25 30 35 38 39 46 47 49 50 51 54 56 57 58 60 63 82 85 86 89 94 99 100 101 103 104 105 110 112 114 117 a 8 10 13 14 17 18 19 25 29 30 35 38 39 46 47 49 50 51 54 57 58 60 63 82 85 86 89 94 99 100 101 103 104 105 110 112 114 117 a 10 13 14 17 18 19 25 29 30 35 37 38 39 46 47 49 50 51 54 57 58 60 63 82 85 86 89 94 99 100 101 103 104 105 110 112 114 117 a 10 13 14 17 18 19 25 29 30 35 37 38 39 46 47 49 50 51 54 57 58 60 63 75 82 85 89 94 99 100 101 103 104 105 110 112 114 117 a 10 13 14 17 18 19 26 29 30 35 37 38 39 46 47 49 50 51 54 57 58 60 63 75 82 85 89 94 99 100 101 103 104 105 110 112 114 117 a 10 13 14 17 18 19 26 29 30 35 37 38 39 46 47 49 50 51 57 58 59 60 63 75 82 85 89 94 99 100 101 103 104 105 110 112 114 117 a 10 13 14 17 18 19 26 29 30 35 37 38 39 46 47 49 50 51 57 58 59 60 61 63 75 82 85 89 94 99 100 101 103 104 105 110 112 117 a 10 13 14 17 18 19 26 29 30 35 37 38 39 46 47 49 50 51 57 58 59 60 61 63 75 85 89 94 99 100 101 103 104 105 110 112 113 117 a 8 10 13 14 17 18 19 26 29 30 35 37 38 39 46 47 49 50 51 57 58 59 60 61 63 75 85 89 94 99 100 101 103 104 105 110 112 113 a 8 10 13 14 17 18 19 26 29 30 35 37 38 39 47 49 50 51 57 58 59 60 61 63 75 85 89 94 99 100 101 103 104 105 110 112 113 114 a 8 10 13 14 17 18 19 26 29 30 35 38 39 47 49 50 51 57 58 59 60 61 63 75 85 89 94 99 100 101 103 104 105 110 112 113 114 117 a 1 8 10 13 14 17 18 19 26 29 30 35 39 47 49 50 51 57 58 59 60 61 63 75 85 89 94 99 100 101 103 104 105 110 112 113 114 117 a 1 8 10 13 14 17 18 19 26 29 30 35 39 47 49 50 51 57 58 59 60 61 63 75 85 89 94 99 100 101 102 104 105 110 112 113 114 117 a 1 10 13 14 17 18 19 26 29 30 35 39 46 47 49 50 51 57 58 59 60 61 63 75 85 89 94 99 100 101 102 104 105 110 112 113 114 117 a 1 10 13 14 17 18 19 26 29 30 39 46 47 49 50 51 57 58 59 60 61 63 66 75 85 89 94 99 100 101 102 104 105 110 112 113 114 117 a 1 8 10 13 14 17 18 19 26 29 30 39 46 47 49 50 51 57 58 59 60 61 63 66 75 85 89 94 99 100 101 102 104 105 110 112 114 117 a 1 8 10 13 14 17 18 19 26 29 30 39 46 47 49 50 51 57 58 59 60 61 63 66 75 85 89 94 99 100 101 103 104 105 110 112 114 117 a 8 10 13 14 17 18 19 26 29 30 37 39 46 47 49 50 51 57 58 59 60 61 63 66 75 85 89 94 99 100 101 103 104 105 110 112 114 117 a 8 10 13 14 17 18 19 26 29 30 37 39 46 47 49 50 51 58 59 60 61 63 65 66 75 85 89 94 99 100 101 103 104 105 110 112 114 117 a 8 10 13 14 17 18 19 24 26 29 30 37 39 46 47 49 50 51 59 60 61 63 65 66 75 85 89 94 99 100 101 103 104 105 110 112 114 117 a 8 10 13 14 17 18 19 24 26 29 30 37 39 46 47 49 50 51 58 59 60 61 63 65 66 75 85 89 94 99 100 101 103 104 105 110 112 117 a 8 10 13 14 17 18 19 24 26 27 29 30 37 39 46 47 49 50 51 58 59 60 61 63 65 66 75 85 89 94 99 100 101 103 104 105 110 112 a 10 13 14 17 18 19 24 26 27 29 30 37 39 46 47 49 50 51 58 59 60 61 63 65 66 75 85 89 94 99 100 101 103 104 105 110 112 113 a 10 13 14 17 18 19 24 26 27 29 30 37 39 46 47 49 50 51 58 59 60 61 63 65 66 75 85 89 94 99 100 101 104 105 109 110 112 113 a 10 13 14 17 18 19 24 26 27 29 30 37 39 46 47 49 50 51 58 59 60 61 63 65 66 75 85 89 90 94 99 100 101 104 105 109 110 112 a 13 14 17 18 19 24 26 27 29 30 34 37 39 46 47 49 50 51 58 59 60 61 63 65 66 75 85 89 90 94 99 100 101 104 105 109 110 112 a 13 14 17 18 19 24 26 27 29 30 34 37 39 46 47 49 50 51 58 59 60 61 63 65 66 75 85 89 90 94 99 100 101 102 104 105 110 112 a 13 14 17 18 19 24 26 27 28 29 30 34 37 46 47 49 50 51 58 59 60 61 63 65 66 75 85 89 90 94 99 100 101 102 104 105 110 112 a 13 14 17 18 19 24 26 27 28 29 30 34 37 46 47 49 50 51 58 59 60 61 63 65 66 75 85 89 90 94 99 100 101 102 104 105 110 117 a 13 14 18 19 24 26 27 28 29 30 34 37 46 47 49 50 51 58 59 60 61 63 65 66 75 85 89 90 94 99 100 101 102 104 105 108 110 117 a 13 14 18 19 24 26 27 28 29 30 34 37 47 49 50 51 58 59 60 61 63 65 66 75 85 89 90 91 94 99 100 101 102 104 105 108 110 117 a 13 14 18 19 24 26 27 28 29 30 34 37 46 47 49 50 51 58 59 60 61 63 65 66 75 85 89 90 91 94 99 100 101 102 104 105 108 110 a 13 14 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 65 66 75 85 89 90 91 94 99 100 101 102 104 105 108 110 a 8 13 14 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 65 66 75 85 89 90 91 94 99 100 101 102 104 105 108 a 13 14 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 75 85 89 90 91 94 99 100 101 102 104 105 108 a 13 14 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 75 83 85 89 90 91 94 99 100 101 102 104 105 a 13 14 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 75 83 85 89 90 91 94 99 100 101 102 104 110 a 8 13 14 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 75 83 85 89 90 91 94 99 100 101 102 110 a 8 13 14 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 75 78 83 85 89 90 91 94 99 100 101 102 a 8 13 14 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 70 75 78 83 85 89 90 91 94 99 100 101 a 8 14 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 70 75 78 83 85 89 90 91 94 99 100 101 110 a 8 14 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 70 75 78 83 89 90 91 94 99 100 101 110 112 a 8 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 70 75 78 83 89 90 91 94 99 100 101 105 110 112 a 8 18 19 24 26 27 28 29 30 33 34 37 46 47 50 51 58 59 60 61 63 65 66 70 75 78 83 89 90 91 94 95 99 100 101 105 110 112 a 8 14 18 19 24 26 27 28 29 30 33 34 37 46 47 50 51 58 59 60 61 63 65 66 70 75 78 83 89 90 91 94 95 99 100 101 105 110 a 14 18 19 24 26 27 28 29 30 33 34 37 46 47 50 51 58 59 60 61 63 65 66 70 75 78 83 89 90 91 94 95 99 100 101 105 110 112 a 13 14 18 19 24 26 27 28 29 30 33 34 37 46 47 50 51 58 59 60 61 63 65 66 70 75 78 83 89 90 91 94 95 99 100 101 105 110 a 13 14 18 19 26 27 28 29 30 33 34 37 46 47 50 51 58 59 60 61 63 65 66 70 75 78 82 83 89 90 91 94 95 99 100 101 105 110 a 13 14 18 19 26 27 28 29 30 33 34 37 46 47 50 51 58 59 60 61 63 65 66 70 78 82 83 86 89 90 91 94 95 99 100 101 105 110 a 13 14 18 19 26 27 28 29 30 33 34 37 46 47 50 51 58 59 60 61 63 65 66 78 82 83 86 89 90 91 94 95 99 100 101 104 105 110 a 13 14 18 19 26 27 28 29 30 33 34 37 46 47 50 51 58 59 60 61 63 65 66 73 78 82 83 86 89 90 91 94 95 99 100 101 104 110 a 14 18 19 26 27 28 29 30 33 34 37 46 47 50 51 58 59 60 61 63 65 66 73 78 82 83 86 89 90 91 94 95 99 100 101 102 104 110 a 13 14 18 19 26 27 28 29 30 33 34 37 46 47 50 51 58 59 60 61 63 65 66 73 78 82 83 86 89 90 91 94 95 99 100 101 102 104 a 13 14 18 19 26 27 28 29 30 33 34 37 46 47 50 51 58 59 60 61 63 65 66 73 78 82 83 86 89 90 91 94 99 100 101 102 104 105 a 13 18 19 26 27 28 29 30 33 34 37 46 47 50 51 58 59 60 61 63 65 66 73 78 82 83 86 89 90 91 94 99 100 101 102 104 105 109 a 13 18 19 24 26 27 28 29 30 33 34 37 46 47 50 51 58 59 60 61 63 65 66 73 78 83 86 89 90 91 94 99 100 101 102 104 105 109 a 13 18 19 24 26 27 28 29 30 33 34 37 46 47 50 51 58 59 60 61 63 65 66 73 78 83 85 86 89 90 91 94 99 100 101 102 104 105 a 13 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 73 78 83 85 86 89 90 91 94 99 100 101 102 105 a 8 13 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 73 78 83 85 86 89 90 91 94 99 100 102 105 a 8 13 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 73 78 83 85 86 89 90 91 94 99 100 101 102 a 8 13 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 73 78 83 85 86 89 90 91 94 99 100 101 112 a 8 13 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 73 78 83 85 86 89 90 91 94 99 100 101 109 a 8 13 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 73 78 83 85 86 89 90 91 94 99 100 101 105 a 8 13 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 73 78 83 85 86 89 90 91 94 99 100 104 105 a 8 13 18 19 24 26 27 28 29 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 73 78 83 85 86 89 90 91 94 99 100 101 104 105 a 8 13 18 19 24 26 27 28 29 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 73 78 83 85 86 89 90 91 94 99 100 101 102 104 a 8 13 18 19 24 26 27 28 29 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 90 91 94 99 100 101 102 104 110 a 8 13 18 19 24 26 27 28 29 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 90 91 94 99 100 101 102 104 105 a 8 13 18 19 24 26 27 28 29 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 90 91 94 99 100 101 102 104 113 a 8 13 18 19 24 26 27 28 29 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 90 91 94 99 100 101 104 105 113 a 8 13 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 90 91 94 99 100 101 104 105 a 8 13 18 19 24 26 27 28 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 90 91 94 99 100 101 104 109 a 8 13 18 19 24 26 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 74 78 83 85 86 89 90 91 94 99 100 101 104 109 a 8 13 18 19 24 26 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 74 78 83 85 86 89 90 91 94 99 100 101 104 108 a 8 13 18 19 24 26 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 74 78 83 85 86 89 90 91 94 99 100 101 102 104 a 8 13 18 19 24 26 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 74 78 83 85 86 89 90 91 94 99 100 101 102 108 a 8 13 18 19 24 26 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 90 91 94 99 100 101 102 108 117 a 8 13 18 19 24 26 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 90 91 94 99 100 101 102 104 108 a 8 13 18 19 24 26 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 90 91 94 99 100 101 102 108 110 a 8 13 18 19 24 26 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 90 91 94 99 100 101 104 108 110 a 8 13 14 18 19 24 26 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 90 91 94 99 100 101 104 108 a 8 13 14 18 19 24 26 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 90 91 94 99 100 101 108 113 a 8 13 14 18 19 24 26 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 90 91 94 100 101 102 108 113 a 8 13 14 18 19 24 26 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 90 91 94 100 101 102 113 a 8 13 14 18 19 24 26 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 63 65 66 78 83 86 89 90 91 94 100 101 102 105 113 a 8 13 14 18 19 24 26 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 63 65 66 73 83 86 89 90 91 94 100 101 102 105 113 a 13 14 18 19 24 26 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 63 65 66 73 78 83 86 89 90 91 94 100 101 102 105 113 a 8 13 14 18 19 24 26 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 65 66 73 78 83 86 89 90 91 94 100 101 102 105 113 a 8 13 14 18 19 24 26 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 65 66 73 78 83 86 89 91 94 99 100 101 102 105 113 a 8 13 14 18 19 24 26 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 65 66 73 78 83 86 89 91 94 99 100 101 102 104 105 a 8 13 14 18 19 24 26 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 65 66 73 78 83 86 89 91 94 99 100 101 102 104 113 a 8 13 14 18 19 24 26 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 65 66 73 78 83 86 89 91 94 99 100 101 102 104 109 a 8 13 14 18 19 24 26 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 65 66 78 83 86 89 91 94 99 100 101 102 104 109 117 a 8 13 14 18 19 24 26 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 65 66 78 83 86 89 91 94 99 100 101 102 104 109 112 a 8 13 14 18 19 24 26 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 65 66 78 83 86 89 91 94 99 100 101 102 104 109 113 a 8 13 14 18 19 24 26 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 65 66 78 83 86 89 91 94 99 100 101 102 104 109 110 a 8 13 14 18 19 24 26 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 63 65 66 78 83 86 89 91 94 99 100 101 102 104 110 a 8 13 14 18 19 24 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 63 65 66 78 83 86 89 91 94 99 100 101 102 104 110 112 a 8 13 14 18 19 24 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 63 65 66 78 83 86 89 91 94 99 100 101 102 104 110 113 a 8 14 18 19 24 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 63 65 66 78 83 86 89 91 94 99 100 101 102 104 110 112 113 a 8 14 18 19 24 27 29 30 33 34 37 39 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 91 94 99 100 101 102 104 110 112 113 a 8 13 14 18 19 24 27 29 30 33 34 37 39 47 49 50 51 58 59 60 61 63 65 66 78 83 85 89 91 94 99 100 101 102 104 110 112 113 a 8 14 18 19 24 27 29 30 33 34 37 39 47 49 50 51 58 59 60 61 63 65 66 78 83 85 89 90 91 94 99 100 101 102 104 110 112 113 a 8 14 18 19 24 27 29 30 33 34 37 39 47 49 50 51 58 59 60 61 63 65 66 78 83 85 89 90 91 94 99 100 101 102 104 109 110 112 a 8 14 18 19 24 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 89 90 91 94 99 100 101 102 104 109 112 a 8 14 18 19 24 27 29 30 33 34 37 39 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 89 90 91 94 99 100 102 104 109 112 117 a 8 14 18 19 24 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 89 90 91 94 99 100 102 104 108 109 112 117 a 8 14 18 19 24 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 90 91 94 99 100 102 104 108 109 112 a 8 13 14 18 19 24 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 86 89 90 91 94 99 100 102 108 109 112 a 8 13 14 18 19 24 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 89 90 91 94 99 100 102 104 108 109 112 a 8 13 14 18 19 24 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 83 85 89 90 91 94 99 100 102 108 109 110 112 a 8 13 14 18 19 27 29 30 33 34 37 46 47 49 50 51 58 59 60 61 63 65 66 78 82 83 85 89 90 91 94 99 100 102 108 109 110 112 a 8 13 14 18 19 27 29 30 33 34 37 46 47 49 50 51 58 59 60 63 65 66 78 82 83 85 89 90 91 94 99 100 102 108 109 110 112 117 a 8 13 14 18 19 27 29 30 33 34 37 46 47 49 50 51 58 59 60 63 65 66 71 78 82 83 85 89 90 91 94 99 100 108 109 110 112 117 a 8 13 14 18 19 27 29 30 33 34 37 46 47 49 50 51 58 59 60 63 65 66 70 71 78 82 83 85 89 90 91 94 99 100 108 109 110 112 a 8 12 13 14 18 19 27 29 30 33 37 46 47 49 50 51 58 59 60 63 65 66 70 71 78 82 83 85 89 90 91 94 99 100 108 109 110 112 a 8 12 13 14 18 19 27 29 30 33 37 46 47 49 50 51 58 59 60 63 65 66 70 71 78 83 85 89 90 91 94 99 100 108 109 110 112 113 a 8 12 13 14 18 19 27 29 30 33 37 46 47 49 50 51 58 59 60 63 65 66 70 71 78 83 85 89 90 91 94 99 100 103 108 110 112 113 a 8 12 13 14 18 19 24 27 29 30 33 37 46 47 49 50 51 58 59 60 63 65 66 70 71 78 83 85 89 90 91 94 99 100 103 108 110 113 a 8 12 13 14 18 19 24 27 29 30 33 37 46 47 49 50 51 58 59 60 63 65 66 70 71 78 83 85 86 89 90 91 94 99 100 108 110 113 a 8 12 13 14 18 19 24 27 29 30 33 37 46 47 49 50 51 58 59 60 63 65 66 70 71 78 83 85 86 89 90 91 94 99 100 109 110 113 a 8 12 13 14 18 24 26 27 29 30 33 37 46 47 49 50 51 58 59 60 63 65 66 70 71 78 83 85 86 89 90 91 94 99 100 109 110 113 a 8 10 12 13 14 18 24 26 27 29 30 33 37 46 47 49 50 51 58 59 60 63 65 66 70 71 78 83 85 86 89 90 91 94 99 100 109 110 a 8 10 12 13 14 18 24 26 27 29 30 31 33 37 46 47 49 50 58 59 60 63 65 66 70 71 78 83 85 86 89 90 91 94 99 100 109 110 a 8 10 12 13 14 18 24 26 27 29 30 31 33 37 46 47 49 50 58 59 60 63 65 66 70 71 78 83 85 86 89 90 91 94 99 100 105 109 a 8 10 12 13 14 18 24 26 29 30 31 33 37 39 46 47 49 50 58 59 60 63 65 66 70 71 78 83 85 86 89 90 91 94 99 100 105 109 a 8 10 12 13 14 18 24 26 29 30 33 37 39 46 47 49 50 51 58 59 60 63 65 66 70 71 78 83 85 86 89 90 91 94 99 100 105 109 a 8 10 12 13 14 18 24 26 29 30 33 37 39 46 47 49 50 58 59 60 63 65 66 70 71 78 83 85 86 89 90 91 93 94 99 100 105 109 a 8 10 12 13 18 24 26 29 30 33 37 39 46 47 49 50 58 59 60 63 65 66 70 71 73 78 83 85 86 89 90 91 93 94 99 100 105 109 a 8 10 12 13 18 26 29 30 31 33 37 39 46 47 49 50 58 59 60 63 65 66 70 71 73 78 83 85 86 89 90 91 93 94 99 100 105 109 a 8 10 12 13 18 26 29 30 31 33 37 39 46 47 49 50 58 59 60 63 65 66 70 71 73 78 83 85 86 89 90 91 93 94 99 100 105 113 a 8 10 12 13 18 23 26 29 30 31 33 37 39 46 47 49 50 58 59 60 63 65 66 70 71 73 78 83 85 86 89 90 91 93 94 100 105 113 a 8 10 12 13 18 23 26 29 30 31 33 39 46 47 49 50 55 58 59 60 63 65 66 70 71 73 78 83 85 86 89 90 91 93 94 100 105 113 a 8 10 12 13 18 23 24 26 29 30 31 33 39 46 47 49 50 55 58 59 60 63 65 66 70 71 73 78 83 85 86 89 90 91 93 94 100 105 a 8 10 12 13 18 19 23 24 26 29 30 31 33 39 46 47 49 50 55 58 59 60 63 65 66 70 71 73 78 83 85 86 89 90 91 94 100 105 a 8 10 12 13 18 19 23 24 26 29 30 31 33 39 46 47 49 50 55 58 59 60 63 65 66 70 71 73 78 83 85 86 89 90 91 94 100 109 a 8 10 12 13 18 19 23 24 26 29 30 31 33 46 47 49 50 55 58 59 60 63 65 66 70 71 73 74 78 83 85 86 89 90 91 94 100 109 a 8 10 12 13 18 19 23 24 26 29 30 31 33 46 47 49 50 55 58 59 60 63 65 66 70 71 73 74 78 83 85 86 89 90 91 94 100 113 a 8 10 12 13 18 19 23 24 26 29 30 31 33 46 47 49 50 55 58 59 60 63 65 66 71 73 74 78 83 85 86 89 90 91 94 100 104 113 a 8 10 12 13 18 19 23 24 26 30 31 33 46 47 49 50 55 56 58 59 60 63 65 66 71 73 74 78 83 85 86 89 90 91 94 100 104 113 a 8 10 12 13 18 19 23 24 26 30 31 33 46 47 49 50 55 56 58 59 60 63 65 66 71 73 74 78 83 85 86 89 90 91 94 100 108 113 a 8 10 12 13 18 19 23 24 26 30 31 33 46 47 49 50 56 58 59 60 63 65 66 70 71 73 74 78 83 85 86 89 90 91 94 100 108 113 a 8 10 12 13 18 19 23 24 26 30 31 33 46 47 49 50 56 58 59 60 65 66 70 71 73 74 78 83 85 86 89 90 91 94 100 108 109 113 a 8 10 12 18 19 23 24 26 30 31 33 46 47 49 50 56 58 59 60 65 66 70 71 73 74 78 83 85 86 89 90 91 94 100 105 108 109 113 a 8 10 12 13 18 19 23 24 26 30 31 33 46 47 49 50 56 58 59 60 65 66 70 71 73 74 78 83 85 86 89 90 91 94 100 105 108 109 a 8 10 12 13 18 19 23 26 30 31 33 46 47 49 50 56 58 59 60 65 66 70 71 73 74 78 82 83 85 86 89 90 91 94 100 105 108 109 a 2 8 10 12 13 18 19 23 30 31 33 46 47 49 50 56 58 59 60 65 66 70 71 73 74 78 82 83 85 86 89 90 91 94 100 105 108 109 a 8 10 12 13 18 19 23 30 31 33 46 47 49 50 55 56 58 59 60 65 66 70 71 73 74 78 82 83 85 86 89 90 91 94 100 105 108 109 a 8 10 12 13 18 19 23 26 30 31 33 46 47 49 50 55 56 58 59 60 65 66 70 71 73 74 78 82 83 85 86 89 90 91 94 105 108 109 a 8 10 12 13 18 19 23 26 30 31 33 46 47 50 55 56 58 59 60 65 66 70 71 73 74 78 82 83 85 86 89 90 91 94 95 105 108 109 a 8 10 12 13 18 19 23 26 30 31 33 46 47 50 55 56 58 59 60 65 66 69 70 71 73 78 82 83 85 86 89 90 91 94 95 105 108 109 a 8 12 13 18 19 23 26 28 30 31 33 46 47 50 55 56 58 59 60 65 66 69 70 71 73 78 82 83 85 86 89 90 91 94 95 105 108 109 a 8 12 13 18 19 23 26 28 30 31 33 47 50 55 56 58 59 60 65 66 69 70 71 73 78 79 82 83 85 86 89 90 91 94 95 105 108 109 a 8 12 13 18 19 23 26 28 29 30 31 33 47 50 55 58 59 60 65 66 69 70 71 73 78 79 82 83 85 86 89 90 91 94 95 105 108 109 a 8 13 18 19 23 26 28 29 30 31 33 47 50 55 58 59 60 65 66 69 70 71 73 78 79 82 83 85 86 89 90 91 94 95 101 105 108 109 a 8 13 18 19 23 26 28 29 30 31 33 47 50 58 59 60 65 66 69 70 71 73 78 79 82 83 85 86 89 90 91 94 95 101 105 108 109 112 a 8 13 18 19 23 28 29 30 31 33 45 47 50 58 59 60 65 66 69 70 71 73 78 79 82 83 85 86 89 90 91 94 95 101 105 108 109 112 a 8 18 19 23 26 28 29 30 31 33 45 47 50 58 59 60 65 66 69 70 71 73 78 79 82 83 85 86 89 90 91 94 95 101 105 108 109 112 a 8 18 19 23 26 28 29 30 31 33 45 47 50 58 59 60 65 66 69 70 71 73 78 79 82 83 85 86 89 90 91 94 95 101 105 108 109 110 a 8 13 18 19 23 26 28 29 30 31 33 45 47 50 58 59 60 65 66 69 70 71 73 78 79 82 83 85 86 89 90 91 94 95 101 105 108 110 a 2 8 13 18 19 23 26 28 30 31 33 45 47 50 58 59 60 65 66 69 70 71 73 78 79 82 83 85 86 89 90 91 94 95 101 105 108 110 a 2 8 13 18 19 23 26 28 30 31 33 45 47 50 58 59 60 65 66 69 70 71 73 78 79 82 83 85 86 89 90 91 94 95 100 101 105 108 a 2 8 13 18 19 23 24 26 28 30 31 33 45 47 50 58 59 60 65 66 69 70 71 73 78 79 83 85 86 89 90 91 94 95 100 101 105 108 a 2 8 13 18 19 23 24 26 28 30 31 33 45 46 47 50 58 59 60 65 66 69 70 71 73 78 83 85 86 89 90 91 94 95 100 101 105 108 a 2 8 13 18 19 23 24 26 28 30 31 33 45 46 47 50 58 59 60 65 66 69 70 71 73 78 83 85 86 89 90 91 94 95 100 101 105 110 a 2 8 12 13 18 19 23 24 26 28 30 31 33 45 46 47 50 58 59 60 65 66 69 70 71 73 78 83 85 86 89 90 91 94 95 100 105 110 a 2 8 12 13 18 19 24 26 28 30 31 33 41 45 46 47 50 58 59 60 65 66 69 70 71 73 78 83 85 86 89 90 91 94 95 100 105 110 a 2 8 12 13 18 19 24 26 28 30 31 33 45 46 47 50 58 59 60 65 66 69 70 71 73 78 83 85 86 89 90 91 94 95 100 105 108 110 a 2 8 12 13 18 24 26 28 30 31 33 45 46 47 50 58 59 60 65 66 69 70 71 73 78 83 85 86 89 90 91 93 94 95 100 105 108 110 a 2 8 12 13 18 24 26 28 30 31 45 46 47 50 58 59 60 65 66 69 70 71 73 78 83 85 86 89 90 91 93 94 95 100 105 108 110 115 a 2 8 12 13 18 24 26 28 30 31 45 46 47 50 58 59 60 65 66 69 70 71 73 78 83 85 86 89 90 91 93 94 95 100 105 108 109 110 a 2 8 12 13 18 19 24 26 28 30 31 45 46 47 50 58 59 60 65 66 69 70 71 73 78 83 85 86 89 90 91 94 95 100 105 108 109 110 a 2 8 12 13 18 19 23 24 26 28 30 31 45 46 47 50 58 59 60 65 66 69 70 71 73 78 83 85 89 90 91 94 95 100 105 108 109 110 a 8 12 13 18 19 23 24 26 28 29 30 31 45 46 47 50 58 59 60 65 66 69 70 71 73 78 83 85 89 90 91 94 95 100 105 108 109 110 a 8 12 13 18 19 24 26 28 29 30 31 45 46 47 50 58 59 60 65 66 69 70 71 73 78 83 85 89 90 91 94 95 100 105 108 109 110 113 a 8 12 13 18 19 24 26 28 29 30 31 45 46 47 50 55 58 59 60 65 66 69 70 71 73 78 83 85 89 90 91 94 95 100 105 108 110 113 a 8 12 13 18 19 24 26 28 30 31 45 46 47 50 55 56 58 59 60 65 66 69 70 71 73 78 83 85 89 90 91 94 95 100 105 108 110 113 a 12 13 18 19 23 24 26 28 30 31 45 46 47 50 55 56 58 59 60 65 66 69 70 71 73 78 83 85 89 90 91 94 95 100 105 108 110 113 a 13 18 19 23 24 26 28 30 31 45 46 47 50 55 56 58 59 60 65 66 69 70 71 73 78 83 85 89 90 91 94 95 100 101 105 108 110 113 a 13 18 19 23 24 26 28 30 31 45 46 47 50 55 56 58 59 60 63 65 66 70 71 73 78 83 85 89 90 91 94 95 100 101 105 108 110 113 a 13 18 19 23 24 26 28 30 31 45 46 47 50 55 56 58 59 60 63 65 66 70 71 73 78 83 85 89 90 91 94 95 100 101 105 108 109 110 a 13 18 19 23 24 26 28 30 31 45 46 47 50 56 58 59 60 63 65 66 70 71 73 78 83 85 89 90 91 94 95 100 101 105 108 109 110 112 a 13 18 19 23 24 26 28 30 31 34 45 46 47 50 58 59 60 63 65 66 70 71 73 78 83 85 89 90 91 94 95 100 101 105 108 109 110 112 a 13 18 19 23 24 26 28 30 31 34 45 46 47 50 58 59 60 63 65 66 71 73 78 83 85 89 90 91 94 95 100 101 104 105 108 109 110 112 a 13 18 19 23 24 26 28 30 31 34 45 46 47 50 58 59 60 65 66 69 71 73 78 83 85 89 90 91 94 95 100 101 104 105 108 109 110 112 a 13 18 19 23 24 26 28 30 31 34 45 46 47 50 58 59 60 65 66 69 71 73 78 83 85 86 89 90 91 94 95 100 101 104 105 108 109 112 a 13 18 19 23 24 26 28 30 31 33 34 46 47 50 58 59 60 65 66 69 71 73 78 83 85 86 89 90 91 94 95 100 101 104 105 108 109 112 a 8 13 18 19 23 24 26 28 30 31 33 34 46 47 50 58 59 60 65 66 69 71 78 83 85 86 89 90 91 94 95 100 101 104 105 108 109 112 a 8 13 18 19 23 24 26 28 30 31 33 34 46 47 50 58 59 60 65 66 69 71 78 83 85 86 89 90 91 94 95 100 101 104 108 109 112 117 a 8 18 19 23 24 26 28 30 31 33 34 42 46 47 50 58 59 60 65 66 69 71 78 83 85 86 89 90 91 94 95 100 101 104 108 109 112 117 a 8 18 19 23 24 26 28 30 31 33 34 42 46 47 50 54 58 60 65 66 69 71 78 83 85 86 89 90 91 94 95 100 101 104 108 109 112 117 a 8 18 19 23 24 26 28 30 33 34 42 46 47 50 51 54 58 60 65 66 69 71 78 83 85 86 89 90 91 94 95 100 101 104 108 109 112 117 a 8 18 19 23 24 26 28 30 33 34 42 46 47 50 51 54 58 60 63 65 66 71 78 83 85 86 89 90 91 94 95 100 101 104 108 109 112 117 a 8 18 19 23 24 26 30 33 34 42 46 47 50 51 54 58 60 63 65 66 71 74 78 83 85 86 89 90 91 94 95 100 101 104 108 109 112 117 a 8 18 19 23 24 26 30 33 34 42 46 47 50 51 54 58 60 63 65 66 71 74 78 83 85 86 89 90 91 94 95 99 100 101 108 109 112 117 a 8 18 19 23 24 26 30 33 34 42 46 47 50 51 54 58 60 63 65 66 71 72 74 78 83 86 89 90 91 94 95 99 100 101 108 109 112 117 a 8 10 18 19 23 24 26 30 33 42 46 47 50 51 54 58 60 63 65 66 71 72 74 78 83 86 89 90 91 94 95 99 100 101 108 109 112 117 a 8 10 18 19 23 24 26 30 33 42 47 50 51 54 58 60 63 65 66 71 72 74 78 79 83 86 89 90 91 94 95 99 100 101 108 109 112 117 a 8 10 18 19 23 24 26 30 33 42 47 50 51 54 58 60 61 63 65 66 72 74 78 79 83 86 89 90 91 94 95 99 100 101 108 109 112 117 a 8 10 14 18 19 24 26 30 33 42 47 50 51 54 58 60 61 63 65 66 72 74 78 79 83 86 89 90 91 94 95 99 100 101 108 109 112 117 a 8 10 14 18 19 24 26 27 30 33 42 50 51 54 58 60 61 63 65 66 72 74 78 79 83 86 89 90 91 94 95 99 100 101 108 109 112 117 a 8 10 14 18 19 24 26 27 30 33 42 50 51 54 58 60 61 63 65 66 72 74 78 79 83 86 89 90 91 94 95 99 100 101 103 108 112 117 a 1 8 10 14 18 19 24 26 27 30 33 42 50 51 54 58 60 61 63 65 66 72 74 79 83 86 89 90 91 94 95 99 100 101 103 108 112 117 a 1 8 10 14 18 19 24 26 27 30 33 42 50 51 54 57 58 60 61 63 65 66 72 74 79 86 89 90 91 94 95 99 100 101 103 108 112 117 a 1 8 10 14 18 19 24 26 27 33 42 50 51 54 57 58 60 61 63 65 66 72 74 79 84 86 89 90 91 94 95 99 100 101 103 108 112 117 a 1 8 10 14 18 19 24 26 27 33 42 51 54 57 58 60 61 63 65 66 72 74 79 80 84 86 89 90 91 94 95 99 100 101 103 108 112 117 a 1 5 8 10 14 18 19 24 26 27 33 42 51 54 57 58 60 61 63 66 72 74 79 80 84 86 89 90 91 94 95 99 100 101 103 108 112 117 a 1 5 8 10 14 18 19 24 26 27 33 35 42 51 54 57 58 60 61 63 66 72 74 79 80 84 86 89 90 94 95 99 100 101 103 108 112 117 a 1 5 7 8 10 14 18 19 24 26 27 33 35 42 51 54 57 58 60 61 63 72 74 79 80 84 86 89 90 94 95 99 100 101 103 108 112 117 a 1 5 7 8 10 14 15 18 19 24 27 33 35 42 51 54 57 58 60 61 63 72 74 79 80 84 86 89 90 94 95 99 100 101 103 108 112 117 a 1 5 7 8 10 14 15 18 19 24 27 33 35 42 43 51 54 57 58 60 61 63 72 74 79 80 84 86 90 94 95 99 100 101 103 108 112 117 a 1 5 7 8 10 14 15 18 19 24 27 33 35 42 43 51 54 57 58 60 61 63 72 74 79 80 84 86 90 95 98 99 100 101 103 108 112 117 a 1 5 7 8 10 14 15 18 19 24 27 33 35 42 43 51 54 57 58 60 61 63 72 74 79 80 84 86 90 95 98 99 101 103 108 111 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: 333 #END: [Tue Sep 5 07:24:02 2023]