#BEGIN: [Tue Sep  5 00:30:44 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance010_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance010_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance010_graph001.col /benchmark/random_instance/random_instance010_graph001_01.dat
c /benchmark/random_instance/random_instance010_graph001.col
c /benchmark/random_instance/random_instance010_graph001_01.dat
TIMEOUT 1800
c send SIGTERM to CID 6c1f1fb698ea89a1dba392fd9d3541488750560b4d3def7df807ebbbc7c38d47
s 64 35 14 80 47 114 126 6 25 119 67 21 113 71 82 102 60 130 62 128 65 76 9 123 39 2 112 56 52 34 105 110 103 61 57 4 121 31 43 125 41
t 12 125 44 40 14 70 111 58 9 128 10 4 5 67 37 82 59 79 35 24 48 15 89 62 8 129 127 87 1 83 25 109 57 124 45 105 60 98 116 71 21
a YES
a 2 4 6 9 14 21 25 31 34 35 39 41 43 47 52 56 57 60 61 62 64 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 52 56 57 60 61 62 64 65 67 71 76 80 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 46 52 56 57 60 61 62 64 65 67 71 76 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 46 52 56 57 58 60 61 62 64 65 67 71 82 102 103 105 110 112 113 114 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 46 48 52 56 57 58 60 61 62 64 65 67 71 82 102 103 105 110 112 113 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 48 52 56 57 58 60 61 62 64 65 67 71 80 82 102 103 105 110 112 113 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 48 52 56 57 58 60 61 62 64 65 67 71 80 82 102 103 105 110 111 112 113 119 123 125 126 128 130
a 4 6 9 12 14 21 25 31 34 35 39 41 43 48 52 56 57 58 60 61 62 64 65 67 71 80 82 102 103 105 110 111 112 113 119 121 123 125 126 128 130
a 4 6 9 12 14 21 25 31 34 35 39 41 43 48 52 56 57 60 61 62 64 65 67 71 74 80 82 102 103 105 110 111 112 113 119 121 123 125 126 128 130
a 4 6 9 12 14 21 25 31 34 35 39 41 43 48 52 56 57 60 61 62 64 65 67 71 74 80 82 88 102 103 105 110 111 112 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 48 52 56 57 60 61 62 64 65 67 71 74 80 82 102 103 105 110 111 112 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 48 52 56 57 58 60 61 62 64 65 67 71 80 82 102 103 105 110 111 112 119 121 123 125 126 128 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 48 52 56 57 58 60 61 62 64 65 67 71 80 82 102 103 105 110 111 112 113 119 121 123 125 128 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 48 52 56 57 58 60 61 62 64 65 67 71 80 82 102 103 105 110 111 112 113 119 121 123 125 126 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 48 52 56 57 60 61 62 64 65 67 71 74 80 82 102 103 105 110 111 112 113 119 121 123 125 126 130
a 2 4 6 9 12 14 21 25 31 34 35 39 41 43 48 52 56 57 60 61 62 64 65 67 71 74 76 80 82 102 103 105 110 112 113 119 121 123 125 126 130
a 2 4 6 9 12 14 21 25 27 31 35 39 41 43 48 52 56 57 60 61 62 64 65 67 71 74 76 80 82 102 103 105 110 112 113 119 121 123 125 126 130
a 2 6 9 12 14 21 25 27 31 35 39 41 43 48 52 56 57 60 61 62 64 65 67 71 74 76 80 82 102 103 105 110 112 113 119 121 123 125 126 128 130
a 2 3 6 9 12 14 21 25 27 31 35 39 41 43 48 52 56 57 60 61 62 64 65 67 71 74 76 80 82 102 105 110 112 113 119 121 123 125 126 128 130
a 2 3 4 6 9 12 14 21 25 27 31 35 39 41 43 48 52 56 57 60 61 62 64 65 67 71 74 76 80 82 102 105 110 112 113 119 121 123 125 126 128
a 2 3 4 6 9 12 14 21 25 27 31 35 39 41 43 48 52 56 57 60 61 62 64 65 67 71 74 76 80 82 102 105 110 112 113 119 121 123 125 127 128
a 2 3 4 6 9 12 14 21 25 27 31 35 39 41 43 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 102 105 110 112 113 119 121 123 125 127 128
a 3 4 6 9 12 14 21 25 27 31 35 39 41 43 45 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 102 105 110 112 113 119 121 123 125 127 128
a 4 6 9 12 14 21 25 27 31 35 39 41 43 45 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 102 105 110 112 113 119 121 123 125 126 127 128
a 3 4 6 9 12 14 21 25 27 31 35 39 41 43 45 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 102 105 110 112 113 119 121 123 125 126 128
a 3 4 6 9 12 14 21 25 27 31 35 39 41 43 45 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 102 105 110 112 113 119 121 125 126 128 130
a 3 6 9 12 14 21 25 27 31 35 39 41 43 45 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 102 105 110 112 113 119 121 123 125 126 128 130
a 3 6 12 14 21 25 27 31 35 39 41 42 43 45 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 102 105 110 112 113 119 121 123 125 126 128 130
a 3 6 12 14 21 25 27 31 35 39 41 42 43 45 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 102 105 110 112 113 119 121 123 125 126 127 130
a 3 4 6 12 14 21 27 31 35 39 41 42 43 45 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 102 105 110 112 113 119 121 123 125 126 127 130
a 4 6 12 14 21 25 27 31 35 39 41 42 43 45 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 102 105 110 112 113 119 121 123 125 126 127 130
a 4 6 12 14 21 25 27 31 35 39 41 42 43 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 102 103 105 110 112 113 119 121 123 125 126 127 130
a 2 4 6 12 14 21 25 27 31 35 39 41 42 43 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 102 103 105 110 112 113 119 121 123 125 126 127
a 2 6 12 14 21 25 27 31 35 39 41 42 43 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 102 103 105 110 112 113 119 121 123 125 126 127 128
a 2 6 12 14 25 27 31 35 39 41 42 43 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 102 103 105 110 112 113 119 121 123 125 126 127 128 130
a 2 6 8 12 14 25 27 31 35 39 41 42 43 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 103 105 110 112 113 119 121 123 125 126 127 128 130
a 2 6 8 12 14 21 25 27 31 35 39 41 42 43 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 103 105 110 112 113 119 121 123 125 126 127 128
a 2 6 8 12 14 21 25 27 29 31 35 39 41 42 43 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 103 105 110 112 113 119 121 123 125 126 128
a 2 4 6 8 12 14 21 25 27 29 31 35 39 41 42 43 46 48 52 56 57 60 61 62 64 65 67 71 74 76 82 103 105 110 112 113 119 121 123 125 128
a 2 4 6 8 12 14 25 27 29 31 35 39 41 42 43 46 48 52 56 57 60 61 62 64 65 67 68 71 74 76 82 103 105 110 112 113 119 121 123 125 128
a 2 4 6 8 12 14 25 27 29 31 35 39 41 42 43 46 48 52 56 57 60 61 62 64 65 67 68 71 74 82 103 105 110 111 112 113 119 121 123 125 128
a 2 4 6 8 12 14 25 27 29 31 35 39 41 42 43 46 48 52 56 57 60 61 62 64 65 66 68 71 74 82 103 105 110 111 112 113 119 121 123 125 128
a 2 6 8 12 14 25 27 29 31 35 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 71 74 82 103 105 110 111 112 113 119 121 123 125 128
a 2 4 6 8 12 14 25 29 31 35 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 71 74 82 103 105 110 111 112 113 119 121 123 125 128
a 2 4 6 8 12 14 25 27 29 31 35 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 71 74 82 103 105 110 111 112 113 119 123 125 128
a 2 4 8 12 14 25 27 29 31 35 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 71 74 82 103 105 110 111 112 113 119 121 123 125 128
a 2 4 8 12 14 25 27 29 31 35 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 71 74 82 103 105 110 111 112 113 119 120 121 123 125
a 2 4 8 12 14 25 27 29 31 35 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 71 74 82 103 110 111 112 113 119 120 121 123 125
a 2 4 8 12 14 27 29 31 35 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 71 74 82 85 103 110 111 112 113 119 120 121 123 125
a 2 4 6 8 12 14 27 29 31 35 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 74 82 85 103 110 111 112 113 119 120 121 123 125
a 2 4 6 8 12 14 27 29 31 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 74 82 85 95 103 110 111 112 113 119 120 121 123 125
a 2 4 6 8 12 14 27 29 31 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 74 82 85 95 103 107 110 111 112 113 119 120 121 123 125
a 2 4 6 8 12 14 29 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 74 82 85 95 103 107 110 111 112 113 119 120 121 123 125
a 2 4 6 8 12 14 29 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 74 82 85 95 103 106 107 110 111 112 113 119 120 121 123
a 2 4 6 8 12 14 29 31 34 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 74 82 85 95 103 106 110 111 112 113 119 120 121 123
a 2 4 6 12 14 29 31 34 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 74 82 85 95 103 106 110 111 112 113 119 120 121 123 126
a 4 6 12 14 29 31 34 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 74 82 85 95 103 106 110 111 112 113 119 120 121 123 126 130
a 6 8 12 14 29 31 34 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 74 82 85 95 103 106 110 111 112 113 119 120 121 123 126 130
a 6 8 14 29 31 34 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 74 82 85 95 103 106 110 111 112 113 117 119 120 121 123 126 130
a 6 8 14 27 29 31 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 74 82 85 95 103 106 110 111 112 113 117 119 120 121 123 126 130
a 6 8 14 27 29 31 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 74 82 85 95 103 105 106 110 111 112 113 117 119 120 121 123 126 130
a 6 8 14 27 30 31 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 74 82 85 95 103 105 106 110 111 112 113 117 119 120 121 123 126 130
a 6 8 14 27 30 31 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 74 82 85 95 103 106 110 111 112 113 117 119 120 121 123 126 130
a 6 8 12 14 27 30 31 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 74 82 85 95 103 106 110 111 112 113 117 119 120 121 123 130
a 6 8 12 14 30 31 34 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 74 82 85 95 103 106 110 111 112 113 117 119 120 121 123 130
a 4 6 8 12 14 30 31 34 39 41 42 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 74 82 85 95 103 106 110 111 112 113 117 119 120 121 123
a 4 6 8 12 14 30 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 68 69 74 82 85 95 103 106 107 110 111 112 113 117 119 120 121 123
a 4 6 8 12 14 30 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 68 74 82 85 95 103 105 106 107 110 111 112 113 117 119 120 121 123
a 4 6 8 9 12 14 30 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 68 74 82 95 103 105 106 107 110 111 112 113 117 119 120 121 123
a 4 6 8 9 12 14 30 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 68 74 82 95 103 106 107 110 111 112 113 117 119 120 121 123 130
a 4 6 8 9 12 14 21 30 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 74 82 95 103 106 107 110 111 112 113 117 119 120 121 123 130
a 4 8 9 12 14 21 30 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 72 74 82 95 103 106 107 110 111 112 113 117 119 120 121 123 130
a 4 8 9 12 14 30 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 68 72 74 82 95 103 106 107 110 111 112 113 117 119 120 121 123 130
a 4 8 9 12 14 30 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 68 72 74 82 95 103 105 106 107 110 111 112 113 117 119 121 123 130
a 4 8 9 12 14 30 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 68 72 74 82 95 103 105 106 107 110 111 112 113 117 119 120 121 130
a 8 9 12 14 24 30 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 68 72 74 82 95 103 105 106 107 110 111 112 113 117 119 120 121 130
a 8 9 14 24 25 30 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 68 72 74 82 95 103 105 106 107 110 111 112 113 117 119 120 121 130
a 9 12 14 24 25 30 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 68 72 74 82 95 103 105 106 107 110 111 112 113 117 119 120 121 130
a 9 12 14 24 25 30 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 68 72 74 82 95 103 105 106 107 110 111 112 113 119 120 121 123 130
a 2 9 12 14 24 25 30 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 68 72 74 82 95 103 105 106 107 110 111 112 113 119 121 123 130
a 2 9 12 14 24 25 30 31 34 39 41 43 46 48 52 53 56 57 60 61 62 64 65 66 68 71 72 74 95 103 105 106 107 110 111 112 113 119 121 123 130
a 2 9 12 24 25 30 31 34 39 41 43 46 48 49 52 53 56 57 60 61 62 64 65 66 68 71 72 74 95 103 105 106 107 110 111 112 113 119 121 123 130
a 2 9 12 24 25 30 31 34 39 41 43 46 48 49 52 53 56 57 60 61 62 64 65 66 68 71 72 74 82 95 103 105 106 107 110 111 112 113 119 123 130
a 2 8 12 24 25 30 31 34 39 41 43 46 48 49 52 53 56 57 60 61 62 64 65 66 68 71 72 74 82 95 103 105 106 107 110 111 112 113 119 123 130
a 2 4 8 12 24 25 30 31 34 39 41 43 46 48 49 52 53 56 57 60 61 62 64 65 66 68 72 74 82 95 103 105 106 107 110 111 112 113 119 123 130
a 2 4 8 12 24 25 30 31 34 39 41 43 46 48 49 52 53 56 57 60 61 62 64 65 66 68 72 74 82 95 103 105 106 107 110 111 112 113 119 120 130
a 2 4 8 12 21 24 25 30 31 34 39 41 43 46 48 49 52 53 56 57 60 61 62 64 65 66 72 74 82 95 103 105 106 107 110 111 112 113 119 120 130
a 2 4 8 12 21 24 25 30 31 34 39 41 43 46 48 49 52 53 56 57 58 60 61 62 64 65 66 72 82 95 103 105 106 107 110 111 112 113 119 120 130
a 2 4 8 12 21 24 25 30 31 34 39 41 43 46 48 49 52 53 56 57 58 60 61 62 64 65 66 71 72 82 95 103 105 106 107 110 112 113 119 120 130
a 2 4 8 12 21 22 24 25 30 31 34 39 41 43 46 48 49 52 53 56 57 58 60 61 62 64 65 66 71 72 95 103 105 106 107 110 112 113 119 120 130
a 2 4 8 9 12 21 22 24 25 30 31 34 39 41 43 46 48 49 52 53 56 57 58 61 62 64 65 66 71 72 95 103 105 106 107 110 112 113 119 120 130
a 2 4 8 9 12 14 21 22 24 25 30 31 34 39 41 43 46 48 52 53 56 57 58 61 62 64 65 66 71 72 95 103 105 106 107 110 112 113 119 120 130
a 2 8 9 12 14 21 22 24 25 30 31 34 39 41 43 46 48 52 53 56 57 58 61 62 64 65 66 71 72 95 96 103 105 106 107 110 112 113 119 120 130
a 2 8 9 12 21 22 24 25 30 31 34 39 41 43 46 48 52 53 56 57 58 61 62 64 65 66 71 72 95 96 103 105 106 107 110 111 112 113 119 120 130
a 2 8 12 21 22 24 25 30 31 34 39 41 43 46 48 52 53 56 57 58 61 62 64 65 66 71 72 95 96 103 105 106 107 110 111 112 113 119 120 121 130
a 2 8 12 21 24 25 30 31 34 39 41 43 46 48 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 103 105 106 107 110 111 112 113 119 120 121 130
a 2 8 9 12 21 24 25 30 31 34 39 41 43 46 48 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 103 105 106 107 110 111 112 113 119 120 121
a 8 9 12 14 21 24 25 30 31 34 39 41 43 46 48 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 103 105 106 107 110 111 112 113 119 120 121
a 8 9 12 14 21 24 25 30 31 34 39 41 43 46 48 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 103 105 106 107 110 111 112 113 119 120 130
a 8 9 12 14 21 24 25 30 31 34 39 41 43 46 48 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 103 105 106 107 109 110 111 112 113 119 130
a 8 12 14 21 24 25 30 31 34 39 41 43 46 48 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 103 105 106 107 109 110 111 112 113 119 120 130
a 8 12 14 21 24 25 30 31 34 39 41 43 46 48 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 103 105 106 107 110 111 112 113 119 120 126 130
a 8 12 14 21 24 25 30 31 34 39 41 43 46 48 52 53 56 57 61 62 64 65 66 71 72 74 82 95 96 103 105 106 107 110 111 112 113 119 120 126 130
a 8 12 14 21 24 25 30 31 34 39 41 43 46 48 52 53 56 57 61 62 64 65 66 71 72 74 82 95 96 103 105 106 107 110 111 112 113 119 120 121 126
a 8 12 21 24 25 30 31 34 39 41 43 46 48 49 52 53 56 57 61 62 64 65 66 71 72 74 82 95 96 103 105 106 107 110 111 112 113 119 120 121 126
a 8 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 61 62 64 65 66 71 72 74 82 95 96 103 105 106 107 111 112 113 119 120 121 126
a 8 9 12 21 24 25 30 32 34 39 41 43 46 48 49 52 53 56 57 61 62 64 65 66 71 72 74 82 95 96 103 105 106 107 111 112 113 119 120 121 126
a 8 9 12 21 24 25 30 31 32 34 39 41 43 46 49 52 53 56 57 61 62 64 65 66 71 72 74 82 95 96 103 105 106 107 111 112 113 119 120 121 126
a 8 9 12 21 24 25 30 32 34 39 41 43 46 49 52 53 56 57 61 62 64 65 66 71 72 74 82 95 96 103 105 106 107 111 112 113 119 120 121 123 126
a 8 12 21 24 25 30 31 32 34 39 41 43 46 49 52 53 56 57 61 62 64 65 66 71 72 74 82 95 96 103 105 106 107 111 112 113 119 120 121 123 126
a 8 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 61 62 64 65 66 71 72 74 95 96 103 105 106 107 111 112 113 119 120 121 123 126
a 8 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 61 62 64 65 66 71 72 74 82 95 96 103 105 106 107 111 112 113 119 120 121 123
a 9 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 61 62 64 65 66 71 72 74 82 95 96 103 105 106 107 111 112 113 119 120 121 123
a 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 61 62 64 65 66 71 72 74 82 95 96 103 105 106 107 111 112 113 119 120 121 123 126
a 9 12 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 61 62 64 65 66 71 72 74 82 95 96 103 105 106 107 111 112 113 119 120 121 123 126
a 9 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 61 62 64 65 66 71 72 74 82 95 96 103 105 106 107 111 113 119 120 121 123 126
a 9 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 61 62 64 65 66 71 72 74 82 95 96 103 105 106 107 111 112 113 119 120 121 126
a 4 9 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 61 62 64 65 66 71 72 74 82 95 96 103 105 107 111 112 113 119 120 121 126
a 4 9 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 61 62 64 65 66 71 72 74 95 96 103 105 106 107 111 112 113 119 120 121 126
a 4 9 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 61 62 64 65 66 71 72 74 95 96 105 106 107 111 112 113 119 120 121 123 126
a 4 9 12 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 61 62 64 65 66 71 72 74 95 96 103 105 106 107 111 112 113 119 120 121 123 126
a 4 9 12 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 58 61 62 64 65 66 71 72 95 96 103 105 106 107 111 112 113 119 120 121 123 126
a 4 9 12 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 103 105 106 107 111 112 113 119 120 121 126
a 4 8 9 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 103 105 106 107 111 112 113 119 120 121 126
a 4 8 9 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 103 105 106 107 111 112 119 120 121 126
a 8 9 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 103 105 106 107 111 112 113 119 120 121 126
a 8 9 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 103 105 106 107 111 112 113 119 120 121
a 8 9 10 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 111 112 113 119 120 121
a 4 8 9 10 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 111 112 113 119 120
a 2 4 8 9 10 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 111 112 113 119
a 4 8 9 10 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 111 112 113 119 121
a 4 8 10 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 111 112 113 119 121
a 4 8 9 10 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 111 112 113 121
a 8 9 10 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 111 112 113 120 121
a 9 10 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 111 112 113 119 120 121
a 9 10 12 21 24 30 31 32 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 111 112 113 119 120 121 126
a 8 9 10 12 21 24 30 31 32 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 111 112 113 120 121 126
a 8 9 10 12 21 24 25 30 31 32 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 107 111 112 113 120 121 126
a 8 9 10 12 21 24 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 107 110 111 112 113 120 121 126
a 8 9 10 12 21 24 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 107 110 111 113 119 120 121 126
a 9 10 12 21 24 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 110 111 113 119 120 121 126
a 9 10 12 21 24 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 110 111 112 113 119 120 121
a 8 9 12 21 24 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 110 111 112 113 119 120 121
a 8 12 21 24 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 110 111 112 113 119 120 121 126
a 8 12 21 24 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 98 105 106 107 110 111 112 119 120 121 126
a 3 8 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 98 105 106 107 110 111 112 119 120 121 126
a 8 9 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 98 105 106 107 110 111 112 119 120 121 126
a 8 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 98 105 106 107 110 111 112 119 120 121 126
a 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 98 105 106 107 110 111 112 119 121 126
a 6 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 98 105 106 107 110 111 112 119 121 126
a 6 8 9 10 12 21 25 30 31 34 39 41 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 98 105 106 107 110 111 112 119 120 121 126
a 6 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 98 105 106 107 110 111 112 119 120 121
a 6 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 98 105 106 107 110 111 112 119 120 121 130
a 6 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 98 105 106 107 110 111 112 120 121 130
a 6 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 98 105 106 107 110 111 112 119 120 130
a 6 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 98 105 106 107 109 110 111 112 119 120 130
a 6 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 120 130
a 6 9 10 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 120 121 130
a 6 8 9 10 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 120 121
a 6 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 121
a 6 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 111 112 113 119 120 121
a 6 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 120 121
a 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 62 64 65 66 71 72 82 95 96 105 106 107 109 110 111 112 113 119 120 121
a 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 120 121
a 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 96 105 106 107 109 110 111 112 113 119 120 121 130
a 8 9 10 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 96 105 106 107 109 110 111 112 113 119 120 121 130
a 8 9 10 21 22 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 96 105 106 107 109 110 111 112 113 119 120 121 130
a 9 10 21 22 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 95 96 105 106 107 109 110 111 112 113 119 120 121 130
a 8 9 10 22 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 95 96 105 106 107 109 110 111 112 113 119 120 121 130
a 8 9 10 21 22 25 30 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 95 96 105 106 107 109 110 111 112 113 119 120 121 130
a 8 10 21 22 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 95 96 105 106 107 109 110 111 112 113 119 120 121 130
a 8 10 21 22 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 64 65 66 71 72 95 96 105 106 107 109 110 111 112 113 119 120 121 123 130
a 8 10 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 64 65 66 71 72 82 95 96 105 106 107 109 110 111 112 113 119 120 121 123 130
a 8 9 10 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 64 65 66 71 72 82 95 96 105 106 107 109 110 111 112 113 119 120 123 130
a 9 10 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 109 110 111 112 113 119 120 123 130
a 8 9 10 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 65 66 71 72 82 95 96 105 106 107 109 110 111 112 113 119 120 123 130
a 8 9 10 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 109 110 111 112 113 119 120 123
a 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 109 110 111 112 113 119 120 123
a 8 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 109 110 111 112 113 119 120 123
a 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 109 110 111 112 113 119 120 121 123
a 6 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 120 121 123
a 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 120 121 123
a 6 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 120 123
a 6 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 123
a 4 6 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 123
a 4 6 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 119 123
a 4 6 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 95 96 105 106 107 109 110 111 112 113 119 123
a 4 6 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119
a 6 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 120
a 4 6 8 9 10 12 21 25 30 31 34 39 41 43 46 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 120
a 4 6 8 9 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 120
a 4 8 9 10 12 21 25 30 31 34 39 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 120
a 4 8 9 10 12 21 25 30 31 34 39 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 120 123
a 4 8 9 10 12 21 25 30 31 34 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 89 95 96 105 106 107 109 110 111 112 113 119 120 123
a 4 6 8 9 10 12 21 25 30 31 34 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 89 95 96 105 106 107 109 110 112 113 119 120 123
a 4 8 9 10 12 21 25 30 31 34 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 89 95 96 105 106 107 109 110 112 113 119 120 123
a 4 8 9 10 12 21 25 30 31 34 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 89 95 96 105 106 107 109 110 112 113 119 120 121
a 4 8 9 10 12 21 25 30 31 34 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 89 95 96 106 107 109 110 111 112 113 119 120 121
a 4 8 9 10 12 21 25 30 31 34 41 43 46 48 49 52 53 54 56 57 61 62 64 65 66 71 82 89 95 96 105 106 107 109 110 111 112 113 119 120 121
a 8 9 10 12 21 25 30 31 34 41 43 46 48 49 52 53 54 56 57 61 62 64 65 66 71 82 89 95 96 105 106 107 109 110 111 112 113 119 120 121 123
a 8 10 12 21 25 30 31 34 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 89 95 96 105 106 107 109 110 111 112 113 119 120 121 123
a 3 8 10 12 21 25 30 31 34 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 89 95 96 105 106 107 109 110 111 112 113 119 120 121
a 3 8 9 10 12 21 25 30 31 34 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 89 95 96 105 106 107 109 110 111 112 113 120 121
a 3 8 9 10 12 21 25 30 31 34 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 89 95 96 105 106 109 110 111 112 113 119 120 121
a 3 8 9 12 21 25 30 31 34 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 89 95 96 105 106 107 109 110 111 112 113 119 120 121
a 3 8 9 10 12 21 25 30 31 34 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 89 95 96 105 107 109 110 111 112 113 119 120 121
a 3 8 10 12 21 25 30 31 34 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 89 95 96 105 107 109 110 111 112 113 119 120 121 123
a 3 8 10 12 21 25 30 31 34 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 107 109 110 111 112 113 119 120 121 123
a 3 8 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 109 110 111 112 113 119 120 121 123
a 3 6 8 10 12 21 25 30 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 109 110 111 112 113 119 120 121 123
a 6 8 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 109 110 111 112 113 119 120 121 123
a 6 8 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 109 110 111 112 113 119 120 123
a 6 8 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 106 109 110 111 112 113 120 123
a 6 8 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 106 109 110 111 112 113 119 120 123
a 6 8 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 106 109 110 111 112 113 119 120 130
a 3 6 8 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 106 109 110 112 113 119 120 130
a 3 6 8 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 106 109 110 111 112 113 119 120
a 3 6 8 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 66 71 82 83 89 96 105 106 109 110 111 112 113 119 120
a 3 6 8 9 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 106 109 110 111 112 113 119 120
a 6 8 9 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 106 109 110 111 112 113 119 120 130
a 6 8 9 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 106 109 110 111 112 113 119 120 121
a 8 9 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 106 109 110 111 112 113 119 120 121 130
a 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 106 109 110 111 112 113 119 120 121 130
a 9 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 106 109 110 111 112 113 119 120 121 123 130
a 9 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 83 89 96 105 106 109 110 111 112 113 119 120 121 130
a 9 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 83 89 96 105 106 109 110 111 112 113 119 120 121 123 130
a 9 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 83 89 96 105 106 109 110 111 112 113 119 120 121 123
a 9 10 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 83 89 96 105 106 109 110 111 112 113 119 120 121 123
a 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 83 89 96 105 106 109 110 111 113 119 120 121 123
a 8 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 83 89 96 105 106 110 111 113 119 120 121 123
a 8 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 66 71 72 82 83 89 96 105 106 110 111 113 119 120 121 123 130
a 8 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 83 89 96 105 106 110 111 113 119 120 121 130
a 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 83 89 96 105 106 110 111 113 119 120 121 123 130
a 6 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 106 110 111 113 119 120 121 123 130
a 6 8 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 106 110 113 119 120 121 123 130
a 6 8 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 106 110 112 113 119 120 121 123
a 6 8 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 106 110 111 112 113 119 120 121
a 6 8 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 106 109 110 111 112 113 119 120
a 6 8 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 106 109 110 111 112 113 119 121
a 6 8 9 10 12 21 25 30 31 34 35 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 82 83 89 96 105 106 109 110 111 112 113 119 120 121
a 6 8 9 10 12 21 25 30 31 34 35 41 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 106 109 110 111 112 113 119 120 121
a 6 8 9 10 12 21 25 30 31 34 41 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 82 83 89 96 105 106 107 109 110 111 112 113 119 120 121
a 8 9 10 12 21 25 30 31 34 41 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 83 89 96 105 106 107 109 110 111 112 113 119 120 121
a 8 9 10 12 21 25 30 31 34 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 83 89 96 105 106 107 109 110 111 112 113 119 120
a 8 9 10 12 21 25 31 34 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 83 89 96 105 106 107 109 110 111 112 113 119 120 130
a 8 9 10 12 21 25 31 34 41 43 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 83 89 96 105 106 107 109 110 111 112 119 120 121 130
a 8 9 10 12 21 25 31 34 41 43 45 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 83 89 96 105 106 107 109 110 111 112 119 121 130
a 8 9 10 12 21 25 31 34 41 43 45 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 83 89 96 105 106 107 109 110 111 112 113 119 121
a 8 9 10 12 21 25 31 41 43 45 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 83 89 96 105 106 107 109 110 111 112 113 119 121 127
a 8 9 10 12 21 25 31 41 43 45 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 89 95 96 105 106 107 109 110 111 112 113 119 121 127
a 8 10 12 21 25 31 41 43 45 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 89 95 96 105 106 107 109 110 111 112 113 119 121 123 127
a 8 10 12 21 25 31 39 41 43 45 46 48 49 52 53 54 56 57 58 61 62 64 65 66 71 72 82 95 96 105 106 107 109 110 111 112 113 119 121 123 127
a 3 8 10 12 21 25 31 39 41 43 45 46 48 49 52 53 54 56 58 61 62 64 65 66 71 72 82 95 96 105 106 107 109 110 111 112 113 119 121 123 127
a 3 8 10 12 21 25 27 31 39 41 43 45 46 48 49 52 53 54 56 61 62 64 65 66 71 72 82 95 96 105 106 107 109 110 111 112 113 119 121 123 127
a 3 8 10 12 21 25 27 31 39 41 43 45 46 48 49 52 53 54 56 61 62 64 66 71 72 82 95 96 105 106 107 109 110 111 112 113 119 121 123 127 130
a 3 6 8 10 12 21 25 27 31 39 41 43 45 46 48 49 52 53 54 56 61 62 64 66 71 82 95 96 105 106 107 109 110 111 112 113 119 121 123 127 130
a 3 6 8 10 12 21 25 27 31 39 41 43 45 46 48 49 52 53 54 56 57 61 62 64 66 71 82 95 96 105 106 107 109 110 111 112 113 119 121 123 127
a 3 6 8 10 12 21 25 27 31 39 41 43 45 46 48 49 52 53 54 56 57 61 62 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 121 123 127
a 6 8 9 10 12 21 25 27 31 39 41 43 45 46 48 49 52 53 54 56 57 61 62 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 121 123 127
a 4 6 8 9 10 12 21 25 27 31 39 41 45 46 48 49 52 53 54 56 57 61 62 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 121 123 127
a 4 8 9 10 12 21 24 25 27 31 39 41 45 46 48 49 52 53 54 56 57 61 62 65 66 71 82 95 96 105 106 107 109 110 111 112 113 119 121 123 127
a 4 8 9 10 12 21 24 25 27 31 39 41 45 46 48 49 52 53 54 56 57 61 62 65 66 71 82 95 105 106 107 109 110 111 112 113 119 121 123 127 128
a 4 8 9 10 12 21 24 25 27 31 39 41 45 46 48 49 52 53 54 56 57 61 62 65 66 71 82 95 98 105 106 107 109 110 111 112 119 121 123 127 128
a 4 8 9 10 12 21 24 25 31 39 41 45 46 48 49 52 53 54 56 57 58 61 62 65 66 71 82 95 98 105 106 107 109 110 111 112 119 121 123 127 128
a 4 8 9 10 12 21 24 25 31 39 41 45 46 48 49 52 53 56 57 58 60 61 62 65 66 71 82 95 98 105 106 107 109 110 111 112 119 121 123 127 128
a 4 8 9 10 12 21 24 25 31 39 41 45 48 49 52 53 56 57 58 60 61 62 65 66 71 82 95 98 105 106 107 109 110 111 112 116 119 121 123 127 128
a 4 8 9 10 12 21 24 25 31 41 45 48 49 52 53 56 57 58 60 61 62 65 66 71 82 89 95 98 105 106 107 109 110 111 112 116 119 121 123 127 128
a 4 8 9 10 12 21 24 25 31 41 45 48 49 52 53 56 57 58 60 61 62 65 66 71 79 82 89 95 98 105 106 107 109 110 111 112 116 119 123 127 128
a 4 8 9 10 12 15 21 24 25 31 41 45 48 49 52 53 56 57 58 60 61 62 66 71 79 82 89 95 98 105 106 107 109 110 111 112 116 119 123 127 128
a 4 8 9 10 12 15 21 24 25 31 37 41 45 48 49 52 53 56 57 58 60 61 62 66 71 79 82 89 95 98 105 106 107 109 111 112 116 119 123 127 128
a 4 8 9 10 12 15 21 24 25 31 37 41 45 48 49 52 53 56 57 58 60 61 62 66 71 79 82 87 89 95 98 105 106 107 109 111 112 116 119 127 128
a 4 8 9 10 12 14 15 21 24 25 31 37 41 45 48 52 53 56 57 58 60 61 62 66 71 79 82 87 89 95 98 105 106 107 109 111 112 116 119 127 128
a 4 8 9 10 12 14 15 21 24 25 31 37 41 45 48 52 53 56 57 58 60 61 62 66 71 79 82 87 89 95 98 105 107 109 111 112 116 119 125 127 128
a 4 8 9 10 12 14 15 21 24 25 31 37 41 45 48 52 53 56 57 58 60 61 62 66 70 71 79 82 87 89 95 98 105 109 111 112 116 119 125 127 128
a 4 8 9 10 12 14 15 21 24 25 31 37 41 45 48 52 53 56 57 58 60 61 62 66 70 71 79 82 83 87 89 98 105 109 111 112 116 119 125 127 128
a 4 8 9 10 12 14 15 21 24 25 35 37 41 45 48 52 53 56 57 58 60 61 62 66 70 71 79 82 83 87 89 98 105 109 111 112 116 119 125 127 128
a 1 4 8 9 10 12 14 15 21 24 25 35 37 45 48 52 53 56 57 58 60 61 62 66 70 71 79 82 83 87 89 98 105 109 111 112 116 119 125 127 128
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 45 48 52 53 56 57 58 60 61 62 66 70 71 79 82 83 87 89 98 105 109 111 116 119 125 127 128
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 45 48 52 53 56 57 58 60 62 66 70 71 79 82 83 87 89 98 105 109 111 116 119 124 125 127 128
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 40 45 48 52 53 56 57 58 60 62 66 70 71 79 82 83 87 89 98 105 109 111 116 124 125 127 128
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 40 45 48 53 56 57 58 60 62 66 70 71 79 82 83 87 89 98 105 109 111 116 124 125 127 128 129
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 40 44 45 48 53 57 58 60 62 66 70 71 79 82 83 87 89 98 105 109 111 116 124 125 127 128 129
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 40 44 45 48 57 58 59 60 62 66 70 71 79 82 83 87 89 98 105 109 111 116 124 125 127 128 129
a 1 4 5 8 9 10 12 14 15 21 24 25 35 37 40 44 45 48 57 58 59 60 62 67 70 71 79 82 83 87 89 98 105 109 111 116 124 125 127 128 129
c Step: 283
#END: [Tue Sep  5 01:00:44 2023]