Instantly share code, notes, and snippets.

# int-e/Quine.hs

Last active November 30, 2021 21:20
quine.s2i

# A SMETANA to Infinity! quine

The broad structure of the quine is as follows.

``````Step n+8488. Swap step n with step n+1.
Step 17426. Go to step 150.
This sets up code enterable at step 8939 that performs a cyclic shift of
steps 451 to 8938.

Step 0001. [...] Step 0451.
The main program that is responsible for iterating over the data twice,
once to reproduce itself, and once to reproduce the data.

Step 0452. [...] Step 8938.
Data bits (one bit per instruction) encoded as either `Swap step 8 with
step 9.` for true, or as `Swap step 8 with step 8.` for false.
``````

The quine is generated by running `Quine.hs`, followed by running its output once in a SMETANA to Infinity! interpreter.

This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 {-# LANGUAGE RecursiveDo #-} {-# LANGUAGE BangPatterns #-} {-# LANGUAGE BlockArguments #-} import Control.Monad import Control.Monad.RWS import Data.Monoid import Data.List ------------------------------------------------------------------------------ -- Programs -- See https://esolangs.org/wiki/SMETANA_To_Infinity! data Label = Label{ lMul :: Integer, lOfs :: Integer } deriving Eq data Instr = Output Label | GoTo Label | Swap Label Label | Stop data Step = Step Label Instr | Patch Label Instr type Prog = [Step] applyPatches :: Prog -> Prog applyPatches p = foldl apply [s | s@Step{} <- p] [p | p@Patch{} <- p] where apply p (Patch l s) = [Step l' (if l == l' then s else s') | Step l' s' <- p] -- We use abbreviated syntax below: -- p := {s} -- s := [l ":"] ("out" l | "goto" l | "swap" l l | "stop") -- l := [[num] "n+"] num | [num] "n" ------------------------------------------------------------------------------ -- Printing pProg :: Prog -> String pProg p = p >>= pStep pStep :: Step -> String pStep (Step l i) = "Step " ++ pLabel l ++ ". " ++ pInstr i ++ ".\n" pInstr :: Instr -> String pInstr (Output l) = "Output character " ++ pLabel l pInstr (GoTo l) = "Go to step " ++ pLabel l pInstr (Swap l l') = "Swap step " ++ pLabel l ++ " with step " ++ pLabel l' pInstr Stop = "Stop" pLabel :: Label -> String pLabel (Label 0 i) = show i pLabel (Label 1 0) = "n" pLabel (Label 1 i) = "n+" ++ show i pLabel (Label m 0) = show m ++ "n" pLabel (Label m i) = show m ++ "n+" ++ show i putProg :: Prog -> IO () putProg = putStr . pProg ------------------------------------------------------------------------------ -- Labels nPlus :: Integer -> Integer -> Label nPlus = Label infix 1 `nPlus` fixed :: Integer -> Label fixed = (0 `nPlus`) ------------------------------------------------------------------------------ -- Code generation type Gen a = RWS () (Endo Prog) Label a execGen :: Gen a -> Prog execGen g | (_, _, w) <- runRWS g () (fixed 1) = applyPatches \$ w `appEndo` [] -- get current label lab :: Gen Label lab = get -- set current label org :: Label -> Gen Label org l = put l *> lab -- advance label skip :: Gen () skip = modify (\l -> l{ lOfs = lOfs l + 1 }) -- emit single step step :: Label -> Instr -> Gen () step l i = tell . Endo \$ (Step l i :) -- emit single step patch :: Label -> Instr -> Gen () patch l i = tell . Endo \$ (Patch l i :) -- emit single instruction emit :: Instr -> Gen () emit i = do l <- get step l i skip -- basic operations out :: Label -> Gen () out = emit . Output goto :: Label -> Gen () goto = emit . GoTo swap :: Label -> Label -> Gen () swap l1 l2 = emit \$ Swap l1 l2 stop :: Gen () stop = emit Stop ------------------------------------------------------------------------------ -- Character-oriented output char :: Char -> Gen () char = out . fixed . fromIntegral . fromEnum string :: String -> Gen () string = mapM_ char ------------------------------------------------------------------------------ -- Functions (non-recursive) -- We translate functions as follows: -- s: -- f: goto s -- 'goto e' will happen here (see below) -- To call such a function, we do: -- swap m f -- swap 'goto e' here and 'goto s' in the function -- m: goto e -- 'goto s' will happen here -- e: swap m f -- undo swap type Func = (Label, Label) func' :: Gen a -> Gen (Func, a) func' p = do s <- lab a <- p f <- lab <* goto s return ((f, s), a) func :: Gen a -> Gen Func func p = fst <\$> func' p call :: Func -> Gen () call (f, _) = mdo swap m f m <- lab <* goto e e <- lab <* swap m f return () -- this is shorter but only works if there's only one call to the function onlyCallReturnTo :: Func -> Label -> Gen () onlyCallReturnTo (f, e) l = do goto e patch f (GoTo l) onlyCall :: Func -> Gen () onlyCall f = mdo onlyCallReturnTo f x x <- lab return () here' :: Gen a -> Gen (Func, a) here' p = mdo s <- lab <* swap s (fst (fst f)) f <- func' p return f here :: Gen a -> Gen Func here p = fst <\$> here' p ------------------------------------------------------------------------------ -- Booleans -- Booleans are encoded as a swap instruction. They have two states: -- b: swap 8 9 -- if b = true | b: swap 8 8 -- if b = false -- If-then-else can be implemented based on the idea of observing the -- different effects of `swap 8 9` and `swap 8 8`; this involves patching -- locations 8 and 9. type Boolean = Label bLab1, bLab2 :: Label bLab1 = fixed 8 bLab2 = fixed 9 -- conditional swap cSwap :: Boolean -> Label -> Label -> Gen () cSwap b l1 l2 = mdo swap b lb swap l1 bLab1 swap l2 bLab2 lb <- lab <* stop -- `swap 8 9` or `swap 8 8` from `b` will end up here swap l2 bLab2 swap l1 bLab1 swap b lb ifUncondThen :: Boolean -> Gen a -> Gen b -> Gen a ifUncondThen b u t = mdo cSwap b l1 l2 a <- u -- so here we jump to `lt` if b = true and to `lf` otherwise l1 <- lab <* goto lf l2 <- lab <* goto lt -- b = true: lt <- lab <* swap l1 l2 -- undo swap of `l1` and `l2` t -- b = false: lf <- lab return a ifUncondThenElse :: Boolean -> Gen a -> Gen b -> Gen c -> Gen a ifUncondThenElse b u t f = mdo a <- ifUncondThen b u (t >> goto lx) f lx <- lab return a ifThen :: Boolean -> Gen a -> Gen () ifThen b = ifUncondThen b (return ()) ifThenElse :: Boolean -> Gen a -> Gen b -> Gen () ifThenElse b = ifUncondThenElse b (return ()) ------------------------------------------------------------------------------ -- Advanced stuff digit :: Int -> Bool -> (Gen a, a -> Gen ()) -> (Gen (a, Label), (a, Label) -> Gen ()) digit base final (prt, inc) = (prt', inc') where inc' ~(p, c0) = mdo sequence_ [swap i j | i : j : _ <- tails (c0 : ci)] when (not final) \$ mdo sequence_ [swap i j | i : j : _ <- tails (inc'r : ii)] inc'r <- lab <* inc p ii <- replicateM (base - 1) (lab <* goto inc'e) return () when final \$ do goto inc'e -- a tiny waste ci <- mapM ((lab <*) . char) \$ take (base - 1) "123456789" inc'e <- lab return () prt' = mdo p <- prt c0 <- lab <* char '0' return (p, c0) quine0 :: Integer -> Gen (Gen ()) quine0 len = mdo let zzzz = len + 1 -- number of bits, plus 1 xxxx = lOfs bit + 2*zzzz - 1 s k n = map d [k-1,k-2..0] where d i = toEnum \$ fromIntegral (48 + n `div` 10^i `mod` 10) preamble = do step (1 `nPlus` zzzz) (Swap (1 `nPlus` 0) (1 `nPlus` 1)) step (fixed xxxx) (GoTo (fst getBit)) sStep <- here \$ string "Step " string \$ "n+" ++ s 4 zzzz ++ ". " (sSwap, sStep') <- here' \$ string "Swap" *> here (string " step ") string "n" sWith <- here \$ string " with" >> call sStep' string "n+1.\n" call sStep string \$ s 5 xxxx ++ ". " sGoTo <- here \$ string "Go to" >> call sStep' string \$ s 3 (lOfs (fst getBit)) ++ ".\n" loop1 <- lab <* call getBit ifUncondThenElse' bit -- note: testing the pseudo-bit will `goto loop2` and replace it by `stop` do onlyCall pStep do call getBit ifThenElse' bit do string "Output character " goto ls do onlyCallReturnTo sGoTo ls do call getBit ifThenElse' bit do call sSwap call pNum call sWith goto ls do string "Stop" goto le ls <- lab <* call pNum le <- lab <* string ".\n" goto loop1 loop2 <- lab getBit <- here \$ goto (fixed (lOfs bit + zzzz)) pStep <- ifUncondThenElse bit -- note: testing the pseudo-bit will `stop` do pStep <- here \$ mdo let prt0 = call sStep (prt1,inc1) = digit 10 False . digit 10 False . digit 10 False \$ digit 9 True (prt0, undefined) inc1 a a <- prt1 string ". " call sSwap char '8' call sWith return pStep do char '9' do char '8' lab <* string ".\n" goto loop2 pNum <- func \$ mdo r <- lab <* call getBit ifThenElse' bit do call getBit ifThenElse' bit do call getBit ifThenElse' bit do call getBit ifThenElse' bit do char '0' >> goto r do char '1' >> goto r do call getBit ifThenElse' bit do char '2' >> goto r do char '3' >> goto r do call getBit ifThenElse' bit do call getBit ifThenElse' bit do char '4' >> goto r do char '5' >> goto r do call getBit ifThenElse' bit do char '6' >> goto r do char '7' >> goto r do call getBit ifThen' bit do call getBit ifThenElse' bit do char '8' >> goto r do char '9' >> goto r -- stop -- >> stop -- >> stop -- tweak length bit <- lab <* goto loop2 -- pseudo-bit that exits loop1 return preamble where -- variant conditionals that do not reset the internal `goto`s ifUncondThen' b u t = mdo cSwap b l1 l2 a <- u l1 <- lab <* goto ls l2 <- lab <* goto lt lt <- lab <* do -- swap l1 l2 -- omitted, dealt with by `encode` below t ls <- lab return a ifUncondThenElse' b u t f = ifUncondThen' b u t <* f ifThen' b = ifUncondThen' b (return ()) ifThenElse' b = ifUncondThenElse' b (return ()) quine1 :: Gen () quine1 = mdo let ls = iterate (fromIntegral . length . (>>= encode) . execGen . quine0) 0 (l1, l2) : _ = dropWhile (uncurry (/=)) \$ take 10 \$ zip ls (tail ls) encode (Step _ i) = case i of Output (Label 0 n) -> [(10,1),(11,1)] ++ num n GoTo (Label 0 l) -> [(10,1),(11,0)] ++ num l Swap (Label 0 l) (Label 0 l') -> [(10,0),(12,1)] ++ num l ++ num l' Stop -> [(10,0),(12,0)] num n = (show n >>= dig) ++ [(0,0),(8,0)] dig '0' = [(0,1),(1,1),(2,1),(3,1)] dig '1' = [(0,1),(1,1),(2,1),(3,0)] dig '2' = [(0,1),(1,1),(2,0),(4,1)] dig '3' = [(0,1),(1,1),(2,0),(4,0)] dig '4' = [(0,1),(1,0),(5,1),(6,1)] dig '5' = [(0,1),(1,0),(5,1),(6,0)] dig '6' = [(0,1),(1,0),(5,0),(7,1)] dig '7' = [(0,1),(1,0),(5,0),(7,0)] dig '8' = [(0,0),(8,1),(9,1)] dig '9' = [(0,0),(8,1),(9,0)] bit 0 = swap bLab1 bLab1 bit 1 = swap bLab1 bLab2 bit 2 = bit 0 bits _ [] = return () bits bs ((b,v) : xs) = bit (bs !! b + v) >> bits bs' xs where bs' = take b bs ++ [v] ++ drop (b+1) bs preamble preamble <- quine0 l1 bits (repeat 0) \$ execGen (quine0 l1) >>= encode main :: IO () main = do writeFile "pre-quine.s2i" \$ pProg \$ execGen \$ quine1
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
 Step n+8488. Swap step n with step n+1. Step 17426. Go to step 150. Step 0001. Swap step 1 with step 7. Step 0002. Output character 83. Step 0003. Output character 116. Step 0004. Output character 101. Step 0005. Output character 112. Step 0006. Output character 32. Step 0007. Go to step 2. Step 0008. Output character 110. Step 0009. Output character 43. Step 0010. Output character 56. Step 0011. Output character 52. Step 0012. Output character 56. Step 0013. Output character 56. Step 0014. Output character 46. Step 0015. Output character 32. Step 0016. Swap step 16 with step 29. Step 0017. Output character 83. Step 0018. Output character 119. Step 0019. Output character 97. Step 0020. Output character 112. Step 0021. Swap step 21 with step 28. Step 0022. Output character 32. Step 0023. Output character 115. Step 0024. Output character 116. Step 0025. Output character 101. Step 0026. Output character 112. Step 0027. Output character 32. Step 0028. Go to step 22. Step 0029. Go to step 17. Step 0030. Output character 110. Step 0031. Swap step 31 with step 40. Step 0032. Output character 32. Step 0033. Output character 119. Step 0034. Output character 105. Step 0035. Output character 116. Step 0036. Output character 104. Step 0037. Swap step 38 with step 28. Step 0038. Go to step 39. Step 0039. Swap step 38 with step 28. Step 0040. Go to step 32. Step 0041. Output character 110. Step 0042. Output character 43. Step 0043. Output character 49. Step 0044. Output character 46. Step 0045. Output character 10. Step 0046. Swap step 47 with step 7. Step 0047. Go to step 48. Step 0048. Swap step 47 with step 7. Step 0049. Output character 49. Step 0050. Output character 55. Step 0051. Output character 52. Step 0052. Output character 50. Step 0053. Output character 54. Step 0054. Output character 46. Step 0055. Output character 32. Step 0056. Swap step 56 with step 65. Step 0057. Output character 71. Step 0058. Output character 111. Step 0059. Output character 32. Step 0060. Output character 116. Step 0061. Output character 111. Step 0062. Swap step 63 with step 28. Step 0063. Go to step 64. Step 0064. Swap step 63 with step 28. Step 0065. Go to step 142. Step 0066. Output character 49. Step 0067. Output character 53. Step 0068. Output character 48. Step 0069. Output character 46. Step 0070. Output character 10. Step 0071. Swap step 72 with step 150. Step 0072. Go to step 73. Step 0073. Swap step 72 with step 150. Step 0074. Swap step 451 with step 77. Step 0075. Swap step 82 with step 8. Step 0076. Swap step 83 with step 9. Step 0077. Stop. Step 0078. Swap step 83 with step 9. Step 0079. Swap step 82 with step 8. Step 0080. Swap step 451 with step 77. Step 0081. Go to step 159. Step 0082. Go to step 115. Step 0083. Go to step 84. Step 0084. Swap step 85 with step 150. Step 0085. Go to step 86. Step 0086. Swap step 85 with step 150. Step 0087. Swap step 451 with step 90. Step 0088. Swap step 94 with step 8. Step 0089. Swap step 95 with step 9. Step 0090. Stop. Step 0091. Swap step 95 with step 9. Step 0092. Swap step 94 with step 8. Step 0093. Swap step 451 with step 90. Step 0094. Go to step 114. Step 0095. Go to step 96. Step 0096. Output character 79. Step 0097. Output character 117. Step 0098. Output character 116. Step 0099. Output character 112. Step 0100. Output character 117. Step 0101. Output character 116. Step 0102. Output character 32. Step 0103. Output character 99. Step 0104. Output character 104. Step 0105. Output character 97. Step 0106. Output character 114. Step 0107. Output character 97. Step 0108. Output character 99. Step 0109. Output character 116. Step 0110. Output character 101. Step 0111. Output character 114. Step 0112. Output character 32. Step 0113. Go to step 142. Step 0114. Go to step 57. Step 0115. Swap step 116 with step 150. Step 0116. Go to step 117. Step 0117. Swap step 116 with step 150. Step 0118. Swap step 451 with step 121. Step 0119. Swap step 125 with step 8. Step 0120. Swap step 126 with step 9. Step 0121. Stop. Step 0122. Swap step 126 with step 9. Step 0123. Swap step 125 with step 8. Step 0124. Swap step 451 with step 121. Step 0125. Go to step 137. Step 0126. Go to step 127. Step 0127. Swap step 128 with step 29. Step 0128. Go to step 129. Step 0129. Swap step 128 with step 29. Step 0130. Swap step 131 with step 450. Step 0131. Go to step 132. Step 0132. Swap step 131 with step 450. Step 0133. Swap step 134 with step 40. Step 0134. Go to step 135. Step 0135. Swap step 134 with step 40. Step 0136. Go to step 142. Step 0137. Output character 83. Step 0138. Output character 116. Step 0139. Output character 111. Step 0140. Output character 112. Step 0141. Go to step 145. Step 0142. Swap step 143 with step 450. Step 0143. Go to step 144. Step 0144. Swap step 143 with step 450. Step 0145. Output character 46. Step 0146. Output character 10. Step 0147. Go to step 71. Step 0148. Swap step 148 with step 150. Step 0149. Go to step 8939. Step 0150. Go to step 149. Step 0151. Swap step 451 with step 154. Step 0152. Swap step 301 with step 8. Step 0153. Swap step 302 with step 9. Step 0154. Stop. Step 0155. Swap step 302 with step 9. Step 0156. Swap step 301 with step 8. Step 0157. Swap step 451 with step 154. Step 0158. Swap step 158 with step 293. Step 0159. Swap step 290 with step 275. Step 0160. Swap step 275 with step 276. Step 0161. Swap step 276 with step 277. Step 0162. Swap step 277 with step 278. Step 0163. Swap step 278 with step 279. Step 0164. Swap step 279 with step 280. Step 0165. Swap step 280 with step 281. Step 0166. Swap step 281 with step 282. Step 0167. Swap step 282 with step 283. Step 0168. Swap step 177 with step 266. Step 0169. Swap step 266 with step 267. Step 0170. Swap step 267 with step 268. Step 0171. Swap step 268 with step 269. Step 0172. Swap step 269 with step 270. Step 0173. Swap step 270 with step 271. Step 0174. Swap step 271 with step 272. Step 0175. Swap step 272 with step 273. Step 0176. Swap step 273 with step 274. Step 0177. Swap step 289 with step 257. Step 0178. Swap step 257 with step 258. Step 0179. Swap step 258 with step 259. Step 0180. Swap step 259 with step 260. Step 0181. Swap step 260 with step 261. Step 0182. Swap step 261 with step 262. Step 0183. Swap step 262 with step 263. Step 0184. Swap step 263 with step 264. Step 0185. Swap step 264 with step 265. Step 0186. Swap step 195 with step 248. Step 0187. Swap step 248 with step 249. Step 0188. Swap step 249 with step 250. Step 0189. Swap step 250 with step 251. Step 0190. Swap step 251 with step 252. Step 0191. Swap step 252 with step 253. Step 0192. Swap step 253 with step 254. Step 0193. Swap step 254 with step 255. Step 0194. Swap step 255 with step 256. Step 0195. Swap step 288 with step 239. Step 0196. Swap step 239 with step 240. Step 0197. Swap step 240 with step 241. Step 0198. Swap step 241 with step 242. Step 0199. Swap step 242 with step 243. Step 0200. Swap step 243 with step 244. Step 0201. Swap step 244 with step 245. Step 0202. Swap step 245 with step 246. Step 0203. Swap step 246 with step 247. Step 0204. Swap step 213 with step 230. Step 0205. Swap step 230 with step 231. Step 0206. Swap step 231 with step 232. Step 0207. Swap step 232 with step 233. Step 0208. Swap step 233 with step 234. Step 0209. Swap step 234 with step 235. Step 0210. Swap step 235 with step 236. Step 0211. Swap step 236 with step 237. Step 0212. Swap step 237 with step 238. Step 0213. Swap step 287 with step 222. Step 0214. Swap step 222 with step 223. Step 0215. Swap step 223 with step 224. Step 0216. Swap step 224 with step 225. Step 0217. Swap step 225 with step 226. Step 0218. Swap step 226 with step 227. Step 0219. Swap step 227 with step 228. Step 0220. Swap step 228 with step 229. Step 0221. Go to step 230. Step 0222. Output character 49. Step 0223. Output character 50. Step 0224. Output character 51. Step 0225. Output character 52. Step 0226. Output character 53. Step 0227. Output character 54. Step 0228. Output character 55. Step 0229. Output character 56. Step 0230. Go to step 248. Step 0231. Go to step 248. Step 0232. Go to step 248. Step 0233. Go to step 248. Step 0234. Go to step 248. Step 0235. Go to step 248. Step 0236. Go to step 248. Step 0237. Go to step 248. Step 0238. Go to step 248. Step 0239. Output character 49. Step 0240. Output character 50. Step 0241. Output character 51. Step 0242. Output character 52. Step 0243. Output character 53. Step 0244. Output character 54. Step 0245. Output character 55. Step 0246. Output character 56. Step 0247. Output character 57. Step 0248. Go to step 266. Step 0249. Go to step 266. Step 0250. Go to step 266. Step 0251. Go to step 266. Step 0252. Go to step 266. Step 0253. Go to step 266. Step 0254. Go to step 266. Step 0255. Go to step 266. Step 0256. Go to step 266. Step 0257. Output character 49. Step 0258. Output character 50. Step 0259. Output character 51. Step 0260. Output character 52. Step 0261. Output character 53. Step 0262. Output character 54. Step 0263. Output character 55. Step 0264. Output character 56. Step 0265. Output character 57. Step 0266. Go to step 284. Step 0267. Go to step 284. Step 0268. Go to step 284. Step 0269. Go to step 284. Step 0270. Go to step 284. Step 0271. Go to step 284. Step 0272. Go to step 284. Step 0273. Go to step 284. Step 0274. Go to step 284. Step 0275. Output character 49. Step 0276. Output character 50. Step 0277. Output character 51. Step 0278. Output character 52. Step 0279. Output character 53. Step 0280. Output character 54. Step 0281. Output character 55. Step 0282. Output character 56. Step 0283. Output character 57. Step 0284. Swap step 285 with step 7. Step 0285. Go to step 286. Step 0286. Swap step 285 with step 7. Step 0287. Output character 48. Step 0288. Output character 48. Step 0289. Output character 48. Step 0290. Output character 48. Step 0291. Output character 46. Step 0292. Output character 32. Step 0293. Go to step 82. Step 0294. Swap step 295 with step 29. Step 0295. Go to step 296. Step 0296. Swap step 295 with step 29. Step 0297. Output character 56. Step 0298. Swap step 299 with step 40. Step 0299. Go to step 300. Step 0300. Swap step 299 with step 40. Step 0301. Go to step 306. Step 0302. Go to step 303. Step 0303. Swap step 301 with step 302. Step 0304. Output character 57. Step 0305. Go to step 307. Step 0306. Output character 56. Step 0307. Output character 46. Step 0308. Output character 10. Step 0309. Go to step 148. Step 0310. Swap step 311 with step 150. Step 0311. Go to step 312. Step 0312. Swap step 311 with step 150. Step 0313. Swap step 451 with step 316. Step 0314. Swap step 320 with step 8. Step 0315. Swap step 321 with step 9. Step 0316. Stop. Step 0317. Swap step 321 with step 9. Step 0318. Swap step 320 with step 8. Step 0319. Swap step 451 with step 316. Step 0320. Go to step 422. Step 0321. Go to step 322. Step 0322. Swap step 323 with step 150. Step 0323. Go to step 324. Step 0324. Swap step 323 with step 150. Step 0325. Swap step 451 with step 328. Step 0326. Swap step 332 with step 8. Step 0327. Swap step 333 with step 9. Step 0328. Stop. Step 0329. Swap step 333 with step 9. Step 0330. Swap step 332 with step 8. Step 0331. Swap step 451 with step 328. Step 0332. Go to step 378. Step 0333. Go to step 334. Step 0334. Swap step 335 with step 150. Step 0335. Go to step 336. Step 0336. Swap step 335 with step 150. Step 0337. Swap step 451 with step 340. Step 0338. Swap step 344 with step 8. Step 0339. Swap step 345 with step 9. Step 0340. Stop. Step 0341. Swap step 345 with step 9. Step 0342. Swap step 344 with step 8. Step 0343. Swap step 451 with step 340. Step 0344. Go to step 362. Step 0345. Go to step 346. Step 0346. Swap step 347 with step 150. Step 0347. Go to step 348. Step 0348. Swap step 347 with step 150. Step 0349. Swap step 451 with step 352. Step 0350. Swap step 356 with step 8. Step 0351. Swap step 357 with step 9. Step 0352. Stop. Step 0353. Swap step 357 with step 9. Step 0354. Swap step 356 with step 8. Step 0355. Swap step 451 with step 352. Step 0356. Go to step 360. Step 0357. Go to step 358. Step 0358. Output character 48. Step 0359. Go to step 310. Step 0360. Output character 49. Step 0361. Go to step 310. Step 0362. Swap step 363 with step 150. Step 0363. Go to step 364. Step 0364. Swap step 363 with step 150. Step 0365. Swap step 451 with step 368. Step 0366. Swap step 372 with step 8. Step 0367. Swap step 373 with step 9. Step 0368. Stop. Step 0369. Swap step 373 with step 9. Step 0370. Swap step 372 with step 8. Step 0371. Swap step 451 with step 368. Step 0372. Go to step 376. Step 0373. Go to step 374. Step 0374. Output character 50. Step 0375. Go to step 310. Step 0376. Output character 51. Step 0377. Go to step 310. Step 0378. Swap step 379 with step 150. Step 0379. Go to step 380. Step 0380. Swap step 379 with step 150. Step 0381. Swap step 451 with step 384. Step 0382. Swap step 388 with step 8. Step 0383. Swap step 389 with step 9. Step 0384. Stop. Step 0385. Swap step 389 with step 9. Step 0386. Swap step 388 with step 8. Step 0387. Swap step 451 with step 384. Step 0388. Go to step 406. Step 0389. Go to step 390. Step 0390. Swap step 391 with step 150. Step 0391. Go to step 392. Step 0392. Swap step 391 with step 150. Step 0393. Swap step 451 with step 396. Step 0394. Swap step 400 with step 8. Step 0395. Swap step 401 with step 9. Step 0396. Stop. Step 0397. Swap step 401 with step 9. Step 0398. Swap step 400 with step 8. Step 0399. Swap step 451 with step 396. Step 0400. Go to step 404. Step 0401. Go to step 402. Step 0402. Output character 52. Step 0403. Go to step 310. Step 0404. Output character 53. Step 0405. Go to step 310. Step 0406. Swap step 407 with step 150. Step 0407. Go to step 408. Step 0408. Swap step 407 with step 150. Step 0409. Swap step 451 with step 412. Step 0410. Swap step 416 with step 8. Step 0411. Swap step 417 with step 9. Step 0412. Stop. Step 0413. Swap step 417 with step 9. Step 0414. Swap step 416 with step 8. Step 0415. Swap step 451 with step 412. Step 0416. Go to step 420. Step 0417. Go to step 418. Step 0418. Output character 54. Step 0419. Go to step 310. Step 0420. Output character 55. Step 0421. Go to step 310. Step 0422. Swap step 423 with step 150. Step 0423. Go to step 424. Step 0424. Swap step 423 with step 150. Step 0425. Swap step 451 with step 428. Step 0426. Swap step 432 with step 8. Step 0427. Swap step 433 with step 9. Step 0428. Stop. Step 0429. Swap step 433 with step 9. Step 0430. Swap step 432 with step 8. Step 0431. Swap step 451 with step 428. Step 0432. Go to step 450. Step 0433. Go to step 434. Step 0434. Swap step 435 with step 150. Step 0435. Go to step 436. Step 0436. Swap step 435 with step 150. Step 0437. Swap step 451 with step 440. Step 0438. Swap step 444 with step 8. Step 0439. Swap step 445 with step 9. Step 0440. Stop. Step 0441. Swap step 445 with step 9. Step 0442. Swap step 444 with step 8. Step 0443. Swap step 451 with step 440. Step 0444. Go to step 448. Step 0445. Go to step 446. Step 0446. Output character 56. Step 0447. Go to step 310. Step 0448. Output character 57. Step 0449. Go to step 310. Step 0450. Go to step 310. Step 0451. Go to step 148. Step 0452. Swap step 8 with step 8. Step 0453. Swap step 8 with step 9. Step 0454. Swap step 8 with step 9. Step 0455. Swap step 8 with step 9. Step 0456. Swap step 8 with step 9. Step 0457. Swap step 8 with step 8. Step 0458. Swap step 8 with step 9. Step 0459. Swap step 8 with step 8. Step 0460. Swap step 8 with step 9. Step 0461. Swap step 8 with step 9. Step 0462. Swap step 8 with step 8. Step 0463. Swap step 8 with step 8. Step 0464. Swap step 8 with step 9. Step 0465. Swap step 8 with step 8. Step 0466. Swap step 8 with step 9. Step 0467. Swap step 8 with step 9. Step 0468. Swap step 8 with step 8. Step 0469. Swap step 8 with step 9. Step 0470. Swap step 8 with step 9. Step 0471. Swap step 8 with step 9. Step 0472. Swap step 8 with step 9. Step 0473. Swap step 8 with step 9. Step 0474. Swap step 8 with step 8. Step 0475. Swap step 8 with step 9. Step 0476. Swap step 8 with step 9. Step 0477. Swap step 8 with step 8. Step 0478. Swap step 8 with step 8. Step 0479. Swap step 8 with step 9. Step 0480. Swap step 8 with step 8. Step 0481. Swap step 8 with step 9. Step 0482. Swap step 8 with step 8. Step 0483. Swap step 8 with step 8. Step 0484. Swap step 8 with step 8. Step 0485. Swap step 8 with step 8. Step 0486. Swap step 8 with step 8. Step 0487. Swap step 8 with step 8. Step 0488. Swap step 8 with step 9. Step 0489. Swap step 8 with step 8. Step 0490. Swap step 8 with step 9. Step 0491. Swap step 8 with step 9. Step 0492. Swap step 8 with step 8. Step 0493. Swap step 8 with step 8. Step 0494. Swap step 8 with step 8. Step 0495. Swap step 8 with step 9. Step 0496. Swap step 8 with step 9. Step 0497. Swap step 8 with step 8. Step 0498. Swap step 8 with step 8. Step 0499. Swap step 8 with step 8. Step 0500. Swap step 8 with step 8. Step 0501. Swap step 8 with step 8. Step 0502. Swap step 8 with step 9. Step 0503. Swap step 8 with step 8. Step 0504. Swap step 8 with step 8. Step 0505. Swap step 8 with step 8. Step 0506. Swap step 8 with step 9. Step 0507. Swap step 8 with step 9. Step 0508. Swap step 8 with step 8. Step 0509. Swap step 8 with step 8. Step 0510. Swap step 8 with step 8. Step 0511. Swap step 8 with step 9. Step 0512. Swap step 8 with step 8. Step 0513. Swap step 8 with step 8. Step 0514. Swap step 8 with step 8. Step 0515. Swap step 8 with step 8. Step 0516. Swap step 8 with step 8. Step 0517. Swap step 8 with step 8. Step 0518. Swap step 8 with step 8. Step 0519. Swap step 8 with step 8. Step 0520. Swap step 8 with step 8. Step 0521. Swap step 8 with step 9. Step 0522. Swap step 8 with step 9. Step 0523. Swap step 8 with step 9. Step 0524. Swap step 8 with step 8. Step 0525. Swap step 8 with step 8. Step 0526. Swap step 8 with step 8. Step 0527. Swap step 8 with step 9. Step 0528. Swap step 8 with step 8. Step 0529. Swap step 8 with step 8. Step 0530. Swap step 8 with step 9. Step 0531. Swap step 8 with step 8. Step 0532. Swap step 8 with step 8. Step 0533. Swap step 8 with step 8. Step 0534. Swap step 8 with step 9. Step 0535. Swap step 8 with step 9. Step 0536. Swap step 8 with step 8. Step 0537. Swap step 8 with step 8. Step 0538. Swap step 8 with step 9. Step 0539. Swap step 8 with step 9. Step 0540. Swap step 8 with step 8. Step 0541. Swap step 8 with step 8. Step 0542. Swap step 8 with step 8. Step 0543. Swap step 8 with step 9. Step 0544. Swap step 8 with step 8. Step 0545. Swap step 8 with step 8. Step 0546. Swap step 8 with step 9. Step 0547. Swap step 8 with step 9. Step 0548. Swap step 8 with step 8. Step 0549. Swap step 8 with step 9. Step 0550. Swap step 8 with step 8. Step 0551. Swap step 8 with step 8. Step 0552. Swap step 8 with step 8. Step 0553. Swap step 8 with step 8. Step 0554. Swap step 8 with step 8. Step 0555. Swap step 8 with step 8. Step 0556. Swap step 8 with step 8. Step 0557. Swap step 8 with step 8. Step 0558. Swap step 8 with step 9. Step 0559. Swap step 8 with step 9. Step 0560. Swap step 8 with step 8. Step 0561. Swap step 8 with step 8. Step 0562. Swap step 8 with step 8. Step 0563. Swap step 8 with step 9. Step 0564. Swap step 8 with step 9. Step 0565. Swap step 8 with step 9. Step 0566. Swap step 8 with step 9. Step 0567. Swap step 8 with step 8. Step 0568. Swap step 8 with step 9. Step 0569. Swap step 8 with step 9. Step 0570. Swap step 8 with step 9. Step 0571. Swap step 8 with step 9. Step 0572. Swap step 8 with step 8. Step 0573. Swap step 8 with step 8. Step 0574. Swap step 8 with step 8. Step 0575. Swap step 8 with step 9. Step 0576. Swap step 8 with step 9. Step 0577. Swap step 8 with step 8. Step 0578. Swap step 8 with step 9. Step 0579. Swap step 8 with step 8. Step 0580. Swap step 8 with step 8. Step 0581. Swap step 8 with step 9. Step 0582. Swap step 8 with step 8. Step 0583. Swap step 8 with step 9. Step 0584. Swap step 8 with step 8. Step 0585. Swap step 8 with step 8. Step 0586. Swap step 8 with step 8. Step 0587. Swap step 8 with step 9. Step 0588. Swap step 8 with step 8. Step 0589. Swap step 8 with step 9. Step 0590. Swap step 8 with step 8. Step 0591. Swap step 8 with step 8. Step 0592. Swap step 8 with step 9. Step 0593. Swap step 8 with step 8. Step 0594. Swap step 8 with step 9. Step 0595. Swap step 8 with step 9. Step 0596. Swap step 8 with step 8. Step 0597. Swap step 8 with step 8. Step 0598. Swap step 8 with step 8. Step 0599. Swap step 8 with step 9. Step 0600. Swap step 8 with step 9. Step 0601. Swap step 8 with step 8. Step 0602. Swap step 8 with step 8. Step 0603. Swap step 8 with step 8. Step 0604. Swap step 8 with step 8. Step 0605. Swap step 8 with step 9. Step 0606. Swap step 8 with step 8. Step 0607. Swap step 8 with step 9. Step 0608. Swap step 8 with step 8. Step 0609. Swap step 8 with step 8. Step 0610. Swap step 8 with step 8. Step 0611. Swap step 8 with step 9. Step 0612. Swap step 8 with step 8. Step 0613. Swap step 8 with step 9. Step 0614. Swap step 8 with step 8. Step 0615. Swap step 8 with step 8. Step 0616. Swap step 8 with step 8. Step 0617. Swap step 8 with step 9. Step 0618. Swap step 8 with step 8. Step 0619. Swap step 8 with step 9. Step 0620. Swap step 8 with step 8. Step 0621. Swap step 8 with step 8. Step 0622. Swap step 8 with step 8. Step 0623. Swap step 8 with step 9. Step 0624. Swap step 8 with step 8. Step 0625. Swap step 8 with step 9. Step 0626. Swap step 8 with step 9. Step 0627. Swap step 8 with step 8. Step 0628. Swap step 8 with step 8. Step 0629. Swap step 8 with step 9. Step 0630. Swap step 8 with step 8. Step 0631. Swap step 8 with step 9. Step 0632. Swap step 8 with step 8. Step 0633. Swap step 8 with step 8. Step 0634. Swap step 8 with step 8. Step 0635. Swap step 8 with step 9. Step 0636. Swap step 8 with step 9. Step 0637. Swap step 8 with step 8. Step 0638. Swap step 8 with step 9. Step 0639. Swap step 8 with step 8. Step 0640. Swap step 8 with step 8. Step 0641. Swap step 8 with step 8. Step 0642. Swap step 8 with step 9. Step 0643. Swap step 8 with step 9. Step 0644. Swap step 8 with step 8. Step 0645. Swap step 8 with step 9. Step 0646. Swap step 8 with step 8. Step 0647. Swap step 8 with step 9. Step 0648. Swap step 8 with step 8. Step 0649. Swap step 8 with step 9. Step 0650. Swap step 8 with step 9. Step 0651. Swap step 8 with step 8. Step 0652. Swap step 8 with step 9. Step 0653. Swap step 8 with step 8. Step 0654. Swap step 8 with step 8. Step 0655. Swap step 8 with step 9. Step 0656. Swap step 8 with step 8. Step 0657. Swap step 8 with step 9. Step 0658. Swap step 8 with step 9. Step 0659. Swap step 8 with step 9. Step 0660. Swap step 8 with step 8. Step 0661. Swap step 8 with step 9. Step 0662. Swap step 8 with step 9. Step 0663. Swap step 8 with step 9. Step 0664. Swap step 8 with step 8. Step 0665. Swap step 8 with step 9. Step 0666. Swap step 8 with step 9. Step 0667. Swap step 8 with step 8. Step 0668. Swap step 8 with step 8. Step 0669. Swap step 8 with step 9. Step 0670. Swap step 8 with step 9. Step 0671. Swap step 8 with step 9. Step 0672. Swap step 8 with step 8. Step 0673. Swap step 8 with step 8. Step 0674. Swap step 8 with step 9. Step 0675. Swap step 8 with step 9. Step 0676. Swap step 8 with step 9. Step 0677. Swap step 8 with step 8. Step 0678. Swap step 8 with step 8. Step 0679. Swap step 8 with step 9. Step 0680. Swap step 8 with step 8. Step 0681. Swap step 8 with step 9. Step 0682. Swap step 8 with step 8. Step 0683. Swap step 8 with step 8. Step 0684. Swap step 8 with step 8. Step 0685. Swap step 8 with step 8. Step 0686. Swap step 8 with step 8. Step 0687. Swap step 8 with step 9. Step 0688. Swap step 8 with step 9. Step 0689. Swap step 8 with step 9. Step 0690. Swap step 8 with step 8. Step 0691. Swap step 8 with step 9. Step 0692. Swap step 8 with step 8. Step 0693. Swap step 8 with step 8. Step 0694. Swap step 8 with step 8. Step 0695. Swap step 8 with step 9. Step 0696. Swap step 8 with step 8. Step 0697. Swap step 8 with step 9. Step 0698. Swap step 8 with step 9. Step 0699. Swap step 8 with step 8. Step 0700. Swap step 8 with step 9. Step 0701. Swap step 8 with step 9. Step 0702. Swap step 8 with step 9. Step 0703. Swap step 8 with step 8. Step 0704. Swap step 8 with step 8. Step 0705. Swap step 8 with step 9. Step 0706. Swap step 8 with step 9. Step 0707. Swap step 8 with step 8. Step 0708. Swap step 8 with step 8. Step 0709. Swap step 8 with step 8. Step 0710. Swap step 8 with step 8. Step 0711. Swap step 8 with step 8. Step 0712. Swap step 8 with step 8. Step 0713. Swap step 8 with step 8. Step 0714. Swap step 8 with step 8. Step 0715. Swap step 8 with step 9. Step 0716. Swap step 8 with step 9. Step 0717. Swap step 8 with step 9. Step 0718. Swap step 8 with step 8. Step 0719. Swap step 8 with step 9. Step 0720. Swap step 8 with step 8. Step 0721. Swap step 8 with step 9. Step 0722. Swap step 8 with step 8. Step 0723. Swap step 8 with step 8. Step 0724. Swap step 8 with step 8. Step 0725. Swap step 8 with step 8. Step 0726. Swap step 8 with step 8. Step 0727. Swap step 8 with step 9. Step 0728. Swap step 8 with step 8. Step 0729. Swap step 8 with step 9. Step 0730. Swap step 8 with step 8. Step 0731. Swap step 8 with step 9. Step 0732. Swap step 8 with step 8. Step 0733. Swap step 8 with step 9. Step 0734. Swap step 8 with step 8. Step 0735. Swap step 8 with step 9. Step 0736. Swap step 8 with step 9. Step 0737. Swap step 8 with step 9. Step 0738. Swap step 8 with step 8. Step 0739. Swap step 8 with step 9. Step 0740. Swap step 8 with step 9. Step 0741. Swap step 8 with step 8. Step 0742. Swap step 8 with step 9. Step 0743. Swap step 8 with step 8. Step 0744. Swap step 8 with step 8. Step 0745. Swap step 8 with step 9. Step 0746. Swap step 8 with step 8. Step 0747. Swap step 8 with step 8. Step 0748. Swap step 8 with step 8. Step 0749. Swap step 8 with step 9. Step 0750. Swap step 8 with step 9. Step 0751. Swap step 8 with step 8. Step 0752. Swap step 8 with step 8. Step 0753. Swap step 8 with step 8. Step 0754. Swap step 8 with step 9. Step 0755. Swap step 8 with step 8. Step 0756. Swap step 8 with step 9. Step 0757. Swap step 8 with step 8. Step 0758. Swap step 8 with step 8. Step 0759. Swap step 8 with step 8. Step 0760. Swap step 8 with step 8. Step 0761. Swap step 8 with step 8. Step 0762. Swap step 8 with step 8. Step 0763. Swap step 8 with step 9. Step 0764. Swap step 8 with step 9. Step 0765. Swap step 8 with step 9. Step 0766. Swap step 8 with step 9. Step 0767. Swap step 8 with step 8. Step 0768. Swap step 8 with step 8. Step 0769. Swap step 8 with step 8. Step 0770. Swap step 8 with step 9. Step 0771. Swap step 8 with step 9. Step 0772. Swap step 8 with step 8. Step 0773. Swap step 8 with step 8. Step 0774. Swap step 8 with step 8. Step 0775. Swap step 8 with step 8. Step 0776. Swap step 8 with step 8. Step 0777. Swap step 8 with step 8. Step 0778. Swap step 8 with step 8. Step 0779. Swap step 8 with step 9. Step 0780. Swap step 8 with step 9. Step 0781. Swap step 8 with step 9. Step 0782. Swap step 8 with step 9. Step 0783. Swap step 8 with step 8. Step 0784. Swap step 8 with step 8. Step 0785. Swap step 8 with step 8. Step 0786. Swap step 8 with step 9. Step 0787. Swap step 8 with step 9. Step 0788. Swap step 8 with step 8. Step 0789. Swap step 8 with step 8. Step 0790. Swap step 8 with step 8. Step 0791. Swap step 8 with step 8. Step 0792. Swap step 8 with step 8. Step 0793. Swap step 8 with step 9. Step 0794. Swap step 8 with step 8. Step 0795. Swap step 8 with step 8. Step 0796. Swap step 8 with step 8. Step 0797. Swap step 8 with step 9. Step 0798. Swap step 8 with step 9. Step 0799. Swap step 8 with step 8. Step 0800. Swap step 8 with step 8. Step 0801. Swap step 8 with step 8. Step 0802. Swap step 8 with step 9. Step 0803. Swap step 8 with step 8. Step 0804. Swap step 8 with step 8. Step 0805. Swap step 8 with step 8. Step 0806. Swap step 8 with step 8. Step 0807. Swap step 8 with step 8. Step 0808. Swap step 8 with step 8. Step 0809. Swap step 8 with step 8. Step 0810. Swap step 8 with step 8. Step 0811. Swap step 8 with step 8. Step 0812. Swap step 8 with step 9. Step 0813. Swap step 8 with step 8. Step 0814. Swap step 8 with step 9. Step 0815. Swap step 8 with step 8. Step 0816. Swap step 8 with step 8. Step 0817. Swap step 8 with step 8. Step 0818. Swap step 8 with step 9. Step 0819. Swap step 8 with step 8. Step 0820. Swap step 8 with step 8. Step 0821. Swap step 8 with step 9. Step 0822. Swap step 8 with step 8. Step 0823. Swap step 8 with step 8. Step 0824. Swap step 8 with step 8. Step 0825. Swap step 8 with step 9. Step 0826. Swap step 8 with step 9. Step 0827. Swap step 8 with step 8. Step 0828. Swap step 8 with step 8. Step 0829. Swap step 8 with step 9. Step 0830. Swap step 8 with step 9. Step 0831. Swap step 8 with step 8. Step 0832. Swap step 8 with step 8. Step 0833. Swap step 8 with step 8. Step 0834. Swap step 8 with step 8. Step 0835. Swap step 8 with step 8. Step 0836. Swap step 8 with step 8. Step 0837. Swap step 8 with step 8. Step 0838. Swap step 8 with step 9. Step 0839. Swap step 8 with step 8. Step 0840. Swap step 8 with step 8. Step 0841. Swap step 8 with step 8. Step 0842. Swap step 8 with step 9. Step 0843. Swap step 8 with step 8. Step 0844. Swap step 8 with step 9. Step 0845. Swap step 8 with step 8. Step 0846. Swap step 8 with step 8. Step 0847. Swap step 8 with step 9. Step 0848. Swap step 8 with step 8. Step 0849. Swap step 8 with step 9. Step 0850. Swap step 8 with step 9. Step 0851. Swap step 8 with step 8. Step 0852. Swap step 8 with step 8. Step 0853. Swap step 8 with step 9. Step 0854. Swap step 8 with step 9. Step 0855. Swap step 8 with step 9. Step 0856. Swap step 8 with step 8. Step 0857. Swap step 8 with step 8. Step 0858. Swap step 8 with step 8. Step 0859. Swap step 8 with step 8. Step 0860. Swap step 8 with step 8. Step 0861. Swap step 8 with step 8. Step 0862. Swap step 8 with step 8. Step 0863. Swap step 8 with step 8. Step 0864. Swap step 8 with step 8. Step 0865. Swap step 8 with step 9. Step 0866. Swap step 8 with step 9. Step 0867. Swap step 8 with step 8. Step 0868. Swap step 8 with step 9. Step 0869. Swap step 8 with step 8. Step 0870. Swap step 8 with step 9. Step 0871. Swap step 8 with step 8. Step 0872. Swap step 8 with step 9. Step 0873. Swap step 8 with step 9. Step 0874. Swap step 8 with step 8. Step 0875. Swap step 8 with step 8. Step 0876. Swap step 8 with step 9. Step 0877. Swap step 8 with step 9. Step 0878. Swap step 8 with step 9. Step 0879. Swap step 8 with step 8. Step 0880. Swap step 8 with step 9. Step 0881. Swap step 8 with step 9. Step 0882. Swap step 8 with step 9. Step 0883. Swap step 8 with step 9. Step 0884. Swap step 8 with step 8. Step 0885. Swap step 8 with step 9. Step 0886. Swap step 8 with step 8. Step 0887. Swap step 8 with step 9. Step 0888. Swap step 8 with step 9. Step 0889. Swap step 8 with step 8. Step 0890. Swap step 8 with step 9. Step 0891. Swap step 8 with step 8. Step 0892. Swap step 8 with step 9. Step 0893. Swap step 8 with step 8. Step 0894. Swap step 8 with step 9. Step 0895. Swap step 8 with step 8. Step 0896. Swap step 8 with step 8. Step 0897. Swap step 8 with step 8. Step 0898. Swap step 8 with step 8. Step 0899. Swap step 8 with step 9. Step 0900. Swap step 8 with step 9. Step 0901. Swap step 8 with step 8. Step 0902. Swap step 8 with step 8. Step 0903. Swap step 8 with step 8. Step 0904. Swap step 8 with step 9. Step 0905. Swap step 8 with step 8. Step 0906. Swap step 8 with step 9. Step 0907. Swap step 8 with step 9. Step 0908. Swap step 8 with step 8. Step 0909. Swap step 8 with step 8. Step 0910. Swap step 8 with step 8. Step 0911. Swap step 8 with step 8. Step 0912. Swap step 8 with step 9. Step 0913. Swap step 8 with step 9. Step 0914. Swap step 8 with step 9. Step 0915. Swap step 8 with step 8. Step 0916. Swap step 8 with step 9. Step 0917. Swap step 8 with step 8. Step 0918. Swap step 8 with step 8. Step 0919. Swap step 8 with step 9. Step 0920. Swap step 8 with step 8. Step 0921. Swap step 8 with step 8. Step 0922. Swap step 8 with step 8. Step 0923. Swap step 8 with step 8. Step 0924. Swap step 8 with step 8. Step 0925. Swap step 8 with step 8. Step 0926. Swap step 8 with step 9. Step 0927. Swap step 8 with step 8. Step 0928. Swap step 8 with step 9. Step 0929. Swap step 8 with step 8. Step 0930. Swap step 8 with step 9. Step 0931. Swap step 8 with step 9. Step 0932. Swap step 8 with step 8. Step 0933. Swap step 8 with step 8. Step 0934. Swap step 8 with step 8. Step 0935. Swap step 8 with step 9. Step 0936. Swap step 8 with step 9. Step 0937. Swap step 8 with step 8. Step 0938. Swap step 8 with step 9. Step 0939. Swap step 8 with step 8. Step 0940. Swap step 8 with step 8. Step 0941. Swap step 8 with step 8. Step 0942. Swap step 8 with step 8. Step 0943. Swap step 8 with step 8. Step 0944. Swap step 8 with step 9. Step 0945. Swap step 8 with step 9. Step 0946. Swap step 8 with step 9. Step 0947. Swap step 8 with step 9. Step 0948. Swap step 8 with step 8. Step 0949. Swap step 8 with step 8. Step 0950. Swap step 8 with step 8. Step 0951. Swap step 8 with step 9. Step 0952. Swap step 8 with step 9. Step 0953. Swap step 8 with step 8. Step 0954. Swap step 8 with step 8. Step 0955. Swap step 8 with step 8. Step 0956. Swap step 8 with step 8. Step 0957. Swap step 8 with step 8. Step 0958. Swap step 8 with step 9. Step 0959. Swap step 8 with step 8. Step 0960. Swap step 8 with step 9. Step 0961. Swap step 8 with step 9. Step 0962. Swap step 8 with step 9. Step 0963. Swap step 8 with step 9. Step 0964. Swap step 8 with step 8. Step 0965. Swap step 8 with step 9. Step 0966. Swap step 8 with step 8. Step 0967. Swap step 8 with step 9. Step 0968. Swap step 8 with step 9. Step 0969. Swap step 8 with step 9. Step 0970. Swap step 8 with step 9. Step 0971. Swap step 8 with step 9. Step 0972. Swap step 8 with step 9. Step 0973. Swap step 8 with step 9. Step 0974. Swap step 8 with step 8. Step 0975. Swap step 8 with step 9. Step 0976. Swap step 8 with step 9. Step 0977. Swap step 8 with step 8. Step 0978. Swap step 8 with step 8. Step 0979. Swap step 8 with step 9. Step 0980. Swap step 8 with step 9. Step 0981. Swap step 8 with step 9. Step 0982. Swap step 8 with step 8. Step 0983. Swap step 8 with step 8. Step 0984. Swap step 8 with step 9. Step 0985. Swap step 8 with step 9. Step 0986. Swap step 8 with step 9. Step 0987. Swap step 8 with step 9. Step 0988. Swap step 8 with step 8. Step 0989. Swap step 8 with step 8. Step 0990. Swap step 8 with step 9. Step 0991. Swap step 8 with step 9. Step 0992. Swap step 8 with step 9. Step 0993. Swap step 8 with step 9. Step 0994. Swap step 8 with step 8. Step 0995. Swap step 8 with step 9. Step 0996. Swap step 8 with step 9. Step 0997. Swap step 8 with step 8. Step 0998. Swap step 8 with step 9. Step 0999. Swap step 8 with step 8. Step 1000. Swap step 8 with step 8. Step 1001. Swap step 8 with step 8. Step 1002. Swap step 8 with step 9. Step 1003. Swap step 8 with step 9. Step 1004. Swap step 8 with step 9. Step 1005. Swap step 8 with step 8. Step 1006. Swap step 8 with step 9. Step 1007. Swap step 8 with step 9. Step 1008. Swap step 8 with step 8. Step 1009. Swap step 8 with step 8. Step 1010. Swap step 8 with step 9. Step 1011. Swap step 8 with step 9. Step 1012. Swap step 8 with step 9. Step 1013. Swap step 8 with step 8. Step 1014. Swap step 8 with step 8. Step 1015. Swap step 8 with step 9. Step 1016. Swap step 8 with step 9. Step 1017. Swap step 8 with step 8. Step 1018. Swap step 8 with step 9. Step 1019. Swap step 8 with step 8. Step 1020. Swap step 8 with step 8. Step 1021. Swap step 8 with step 9. Step 1022. Swap step 8 with step 8. Step 1023. Swap step 8 with step 8. Step 1024. Swap step 8 with step 8. Step 1025. Swap step 8 with step 9. Step 1026. Swap step 8 with step 9. Step 1027. Swap step 8 with step 8. Step 1028. Swap step 8 with step 8. Step 1029. Swap step 8 with step 9. Step 1030. Swap step 8 with step 9. Step 1031. Swap step 8 with step 8. Step 1032. Swap step 8 with step 9. Step 1033. Swap step 8 with step 9. Step 1034. Swap step 8 with step 8. Step 1035. Swap step 8 with step 8. Step 1036. Swap step 8 with step 8. Step 1037. Swap step 8 with step 8. Step 1038. Swap step 8 with step 8. Step 1039. Swap step 8 with step 8. Step 1040. Swap step 8 with step 8. Step 1041. Swap step 8 with step 9. Step 1042. Swap step 8 with step 9. Step 1043. Swap step 8 with step 8. Step 1044. Swap step 8 with step 8. Step 1045. Swap step 8 with step 8. Step 1046. Swap step 8 with step 9. Step 1047. Swap step 8 with step 9. Step 1048. Swap step 8 with step 8. Step 1049. Swap step 8 with step 8. Step 1050. Swap step 8 with step 8. Step 1051. Swap step 8 with step 9. Step 1052. Swap step 8 with step 9. Step 1053. Swap step 8 with step 9. Step 1054. Swap step 8 with step 9. Step 1055. Swap step 8 with step 8. Step 1056. Swap step 8 with step 8. Step 1057. Swap step 8 with step 8. Step 1058. Swap step 8 with step 9. Step 1059. Swap step 8 with step 9. Step 1060. Swap step 8 with step 8. Step 1061. Swap step 8 with step 8. Step 1062. Swap step 8 with step 9. Step 1063. Swap step 8 with step 9. Step 1064. Swap step 8 with step 9. Step 1065. Swap step 8 with step 8. Step 1066. Swap step 8 with step 9. Step 1067. Swap step 8 with step 8. Step 1068. Swap step 8 with step 8. Step 1069. Swap step 8 with step 9. Step 1070. Swap step 8 with step 8. Step 1071. Swap step 8 with step 8. Step 1072. Swap step 8 with step 8. Step 1073. Swap step 8 with step 8. Step 1074. Swap step 8 with step 8. Step 1075. Swap step 8 with step 9. Step 1076. Swap step 8 with step 8. Step 1077. Swap step 8 with step 9. Step 1078. Swap step 8 with step 8. Step 1079. Swap step 8 with step 8. Step 1080. Swap step 8 with step 8. Step 1081. Swap step 8 with step 9. Step 1082. Swap step 8 with step 9. Step 1083. Swap step 8 with step 9. Step 1084. Swap step 8 with step 9. Step 1085. Swap step 8 with step 8. Step 1086. Swap step 8 with step 8. Step 1087. Swap step 8 with step 8. Step 1088. Swap step 8 with step 9. Step 1089. Swap step 8 with step 9. Step 1090. Swap step 8 with step 8. Step 1091. Swap step 8 with step 9. Step 1092. Swap step 8 with step 8. Step 1093. Swap step 8 with step 9. Step 1094. Swap step 8 with step 9. Step 1095. Swap step 8 with step 9. Step 1096. Swap step 8 with step 8. Step 1097. Swap step 8 with step 8. Step 1098. Swap step 8 with step 8. Step 1099. Swap step 8 with step 9. Step 1100. Swap step 8 with step 9. Step 1101. Swap step 8 with step 9. Step 1102. Swap step 8 with step 8. Step 1103. Swap step 8 with step 9. Step 1104. Swap step 8 with step 8. Step 1105. Swap step 8 with step 8. Step 1106. Swap step 8 with step 8. Step 1107. Swap step 8 with step 9. Step 1108. Swap step 8 with step 8. Step 1109. Swap step 8 with step 9. Step 1110. Swap step 8 with step 9. Step 1111. Swap step 8 with step 9. Step 1112. Swap step 8 with step 8. Step 1113. Swap step 8 with step 9. Step 1114. Swap step 8 with step 8. Step 1115. Swap step 8 with step 9. Step 1116. Swap step 8 with step 9. Step 1117. Swap step 8 with step 9. Step 1118. Swap step 8 with step 8. Step 1119. Swap step 8 with step 9. Step 1120. Swap step 8 with step 9. Step 1121. Swap step 8 with step 8. Step 1122. Swap step 8 with step 9. Step 1123. Swap step 8 with step 8. Step 1124. Swap step 8 with step 8. Step 1125. Swap step 8 with step 8. Step 1126. Swap step 8 with step 8. Step 1127. Swap step 8 with step 8. Step 1128. Swap step 8 with step 9. Step 1129. Swap step 8 with step 8. Step 1130. Swap step 8 with step 9. Step 1131. Swap step 8 with step 8. Step 1132. Swap step 8 with step 9. Step 1133. Swap step 8 with step 8. Step 1134. Swap step 8 with step 8. Step 1135. Swap step 8 with step 8. Step 1136. Swap step 8 with step 9. Step 1137. Swap step 8 with step 8. Step 1138. Swap step 8 with step 9. Step 1139. Swap step 8 with step 9. Step 1140. Swap step 8 with step 9. Step 1141. Swap step 8 with step 8. Step 1142. Swap step 8 with step 9. Step 1143. Swap step 8 with step 8. Step 1144. Swap step 8 with step 9. Step 1145. Swap step 8 with step 9. Step 1146. Swap step 8 with step 9. Step 1147. Swap step 8 with step 8. Step 1148. Swap step 8 with step 9. Step 1149. Swap step 8 with step 8. Step 1150. Swap step 8 with step 8. Step 1151. Swap step 8 with step 9. Step 1152. Swap step 8 with step 8. Step 1153. Swap step 8 with step 8. Step 1154. Swap step 8 with step 9. Step 1155. Swap step 8 with step 8. Step 1156. Swap step 8 with step 8. Step 1157. Swap step 8 with step 8. Step 1158. Swap step 8 with step 8. Step 1159. Swap step 8 with step 9. Step 1160. Swap step 8 with step 8. Step 1161. Swap step 8 with step 8. Step 1162. Swap step 8 with step 8. Step 1163. Swap step 8 with step 9. Step 1164. Swap step 8 with step 8. Step 1165. Swap step 8 with step 8. Step 1166. Swap step 8 with step 8. Step 1167. Swap step 8 with step 8. Step 1168. Swap step 8 with step 9. Step 1169. Swap step 8 with step 9. Step 1170. Swap step 8 with step 9. Step 1171. Swap step 8 with step 9. Step 1172. Swap step 8 with step 8. Step 1173. Swap step 8 with step 8. Step 1174. Swap step 8 with step 8. Step 1175. Swap step 8 with step 9. Step 1176. Swap step 8 with step 9. Step 1177. Swap step 8 with step 8. Step 1178. Swap step 8 with step 8. Step 1179. Swap step 8 with step 8. Step 1180. Swap step 8 with step 9. Step 1181. Swap step 8 with step 9. Step 1182. Swap step 8 with step 8. Step 1183. Swap step 8 with step 9. Step 1184. Swap step 8 with step 8. Step 1185. Swap step 8 with step 8. Step 1186. Swap step 8 with step 8. Step 1187. Swap step 8 with step 9. Step 1188. Swap step 8 with step 9. Step 1189. Swap step 8 with step 8. Step 1190. Swap step 8 with step 8. Step 1191. Swap step 8 with step 8. Step 1192. Swap step 8 with step 8. Step 1193. Swap step 8 with step 8. Step 1194. Swap step 8 with step 9. Step 1195. Swap step 8 with step 9. Step 1196. Swap step 8 with step 8. Step 1197. Swap step 8 with step 8. Step 1198. Swap step 8 with step 8. Step 1199. Swap step 8 with step 9. Step 1200. Swap step 8 with step 8. Step 1201. Swap step 8 with step 8. Step 1202. Swap step 8 with step 8. Step 1203. Swap step 8 with step 8. Step 1204. Swap step 8 with step 8. Step 1205. Swap step 8 with step 9. Step 1206. Swap step 8 with step 9. Step 1207. Swap step 8 with step 9. Step 1208. Swap step 8 with step 8. Step 1209. Swap step 8 with step 8. Step 1210. Swap step 8 with step 8. Step 1211. Swap step 8 with step 9. Step 1212. Swap step 8 with step 9. Step 1213. Swap step 8 with step 9. Step 1214. Swap step 8 with step 9. Step 1215. Swap step 8 with step 8. Step 1216. Swap step 8 with step 8. Step 1217. Swap step 8 with step 8. Step 1218. Swap step 8 with step 9. Step 1219. Swap step 8 with step 9. Step 1220. Swap step 8 with step 8. Step 1221. Swap step 8 with step 9. Step 1222. Swap step 8 with step 8. Step 1223. Swap step 8 with step 9. Step 1224. Swap step 8 with step 9. Step 1225. Swap step 8 with step 9. Step 1226. Swap step 8 with step 9. Step 1227. Swap step 8 with step 8. Step 1228. Swap step 8 with step 8. Step 1229. Swap step 8 with step 9. Step 1230. Swap step 8 with step 8. Step 1231. Swap step 8 with step 9. Step 1232. Swap step 8 with step 8. Step 1233. Swap step 8 with step 9. Step 1234. Swap step 8 with step 8. Step 1235. Swap step 8 with step 8. Step 1236. Swap step 8 with step 8. Step 1237. Swap step 8 with step 8. Step 1238. Swap step 8 with step 8. Step 1239. Swap step 8 with step 9. Step 1240. Swap step 8 with step 8. Step 1241. Swap step 8 with step 9. Step 1242. Swap step 8 with step 8. Step 1243. Swap step 8 with step 9. Step 1244. Swap step 8 with step 8. Step 1245. Swap step 8 with step 9. Step 1246. Swap step 8 with step 8. Step 1247. Swap step 8 with step 9. Step 1248. Swap step 8 with step 9. Step 1249. Swap step 8 with step 8. Step 1250. Swap step 8 with step 9. Step 1251. Swap step 8 with step 9. Step 1252. Swap step 8 with step 9. Step 1253. Swap step 8 with step 9. Step 1254. Swap step 8 with step 8. Step 1255. Swap step 8 with step 8. Step 1256. Swap step 8 with step 8. Step 1257. Swap step 8 with step 9. Step 1258. Swap step 8 with step 8. Step 1259. Swap step 8 with step 8. Step 1260. Swap step 8 with step 8. Step 1261. Swap step 8 with step 8. Step 1262. Swap step 8 with step 8. Step 1263. Swap step 8 with step 8. Step 1264. Swap step 8 with step 8. Step 1265. Swap step 8 with step 8. Step 1266. Swap step 8 with step 8. Step 1267. Swap step 8 with step 8. Step 1268. Swap step 8 with step 8. Step 1269. Swap step 8 with step 9. Step 1270. Swap step 8 with step 8. Step 1271. Swap step 8 with step 8. Step 1272. Swap step 8 with step 8. Step 1273. Swap step 8 with step 9. Step 1274. Swap step 8 with step 8. Step 1275. Swap step 8 with step 9. Step 1276. Swap step 8 with step 9. Step 1277. Swap step 8 with step 8. Step 1278. Swap step 8 with step 8. Step 1279. Swap step 8 with step 8. Step 1280. Swap step 8 with step 9. Step 1281. Swap step 8 with step 9. Step 1282. Swap step 8 with step 8. Step 1283. Swap step 8 with step 8. Step 1284. Swap step 8 with step 8. Step 1285. Swap step 8 with step 9. Step 1286. Swap step 8 with step 8. Step 1287. Swap step 8 with step 9. Step 1288. Swap step 8 with step 8. Step 1289. Swap step 8 with step 8. Step 1290. Swap step 8 with step 8. Step 1291. Swap step 8 with step 8. Step 1292. Swap step 8 with step 8. Step 1293. Swap step 8 with step 8. Step 1294. Swap step 8 with step 9. Step 1295. Swap step 8 with step 8. Step 1296. Swap step 8 with step 9. Step 1297. Swap step 8 with step 9. Step 1298. Swap step 8 with step 8. Step 1299. Swap step 8 with step 8. Step 1300. Swap step 8 with step 8. Step 1301. Swap step 8 with step 9. Step 1302. Swap step 8 with step 9. Step 1303. Swap step 8 with step 8. Step 1304. Swap step 8 with step 8. Step 1305. Swap step 8 with step 8. Step 1306. Swap step 8 with step 8. Step 1307. Swap step 8 with step 8. Step 1308. Swap step 8 with step 8. Step 1309. Swap step 8 with step 8. Step 1310. Swap step 8 with step 8. Step 1311. Swap step 8 with step 8. Step 1312. Swap step 8 with step 8. Step 1313. Swap step 8 with step 9. Step 1314. Swap step 8 with step 8. Step 1315. Swap step 8 with step 9. Step 1316. Swap step 8 with step 8. Step 1317. Swap step 8 with step 9. Step 1318. Swap step 8 with step 9. Step 1319. Swap step 8 with step 8. Step 1320. Swap step 8 with step 8. Step 1321. Swap step 8 with step 8. Step 1322. Swap step 8 with step 9. Step 1323. Swap step 8 with step 9. Step 1324. Swap step 8 with step 9. Step 1325. Swap step 8 with step 9. Step 1326. Swap step 8 with step 8. Step 1327. Swap step 8 with step 9. Step 1328. Swap step 8 with step 8. Step 1329. Swap step 8 with step 8. Step 1330. Swap step 8 with step 9. Step 1331. Swap step 8 with step 9. Step 1332. Swap step 8 with step 9. Step 1333. Swap step 8 with step 9. Step 1334. Swap step 8 with step 8. Step 1335. Swap step 8 with step 9. Step 1336. Swap step 8 with step 9. Step 1337. Swap step 8 with step 9. Step 1338. Swap step 8 with step 9. Step 1339. Swap step 8 with step 9. Step 1340. Swap step 8 with step 8. Step 1341. Swap step 8 with step 8. Step 1342. Swap step 8 with step 8. Step 1343. Swap step 8 with step 8. Step 1344. Swap step 8 with step 9. Step 1345. Swap step 8 with step 9. Step 1346. Swap step 8 with step 9. Step 1347. Swap step 8 with step 8. Step 1348. Swap step 8 with step 9. Step 1349. Swap step 8 with step 8. Step 1350. Swap step 8 with step 9. Step 1351. Swap step 8 with step 8. Step 1352. Swap step 8 with step 9. Step 1353. Swap step 8 with step 8. Step 1354. Swap step 8 with step 8. Step 1355. Swap step 8 with step 9. Step 1356. Swap step 8 with step 8. Step 1357. Swap step 8 with step 9. Step 1358. Swap step 8 with step 9. Step 1359. Swap step 8 with step 8. Step 1360. Swap step 8 with step 9. Step 1361. Swap step 8 with step 8. Step 1362. Swap step 8 with step 8. Step 1363. Swap step 8 with step 9. Step 1364. Swap step 8 with step 9. Step 1365. Swap step 8 with step 9. Step 1366. Swap step 8 with step 8. Step 1367. Swap step 8 with step 8. Step 1368. Swap step 8 with step 9. Step 1369. Swap step 8 with step 9. Step 1370. Swap step 8 with step 8. Step 1371. Swap step 8 with step 9. Step 1372. Swap step 8 with step 8. Step 1373. Swap step 8 with step 9. Step 1374. Swap step 8 with step 8. Step 1375. Swap step 8 with step 8. Step 1376. Swap step 8 with step 9. Step 1377. Swap step 8 with step 9. Step 1378. Swap step 8 with step 8. Step 1379. Swap step 8 with step 8. Step 1380. Swap step 8 with step 9. Step 1381. Swap step 8 with step 9. Step 1382. Swap step 8 with step 8. Step 1383. Swap step 8 with step 9. Step 1384. Swap step 8 with step 8. Step 1385. Swap step 8 with step 8. Step 1386. Swap step 8 with step 9. Step 1387. Swap step 8 with step 9. Step 1388. Swap step 8 with step 9. Step 1389. Swap step 8 with step 8. Step 1390. Swap step 8 with step 8. Step 1391. Swap step 8 with step 9. Step 1392. Swap step 8 with step 9. Step 1393. Swap step 8 with step 9. Step 1394. Swap step 8 with step 8. Step 1395. Swap step 8 with step 9. Step 1396. Swap step 8 with step 8. Step 1397. Swap step 8 with step 8. Step 1398. Swap step 8 with step 9. Step 1399. Swap step 8 with step 8. Step 1400. Swap step 8 with step 8. Step 1401. Swap step 8 with step 9. Step 1402. Swap step 8 with step 8. Step 1403. Swap step 8 with step 9. Step 1404. Swap step 8 with step 8. Step 1405. Swap step 8 with step 9. Step 1406. Swap step 8 with step 9. Step 1407. Swap step 8 with step 8. Step 1408. Swap step 8 with step 8. Step 1409. Swap step 8 with step 8. Step 1410. Swap step 8 with step 9. Step 1411. Swap step 8 with step 9. Step 1412. Swap step 8 with step 8. Step 1413. Swap step 8 with step 9. Step 1414. Swap step 8 with step 9. Step 1415. Swap step 8 with step 9. Step 1416. Swap step 8 with step 9. Step 1417. Swap step 8 with step 8. Step 1418. Swap step 8 with step 9. Step 1419. Swap step 8 with step 8. Step 1420. Swap step 8 with step 8. Step 1421. Swap step 8 with step 9. Step 1422. Swap step 8 with step 8. Step 1423. Swap step 8 with step 8. Step 1424. Swap step 8 with step 8. Step 1425. Swap step 8 with step 8. Step 1426. Swap step 8 with step 8. Step 1427. Swap step 8 with step 9. Step 1428. Swap step 8 with step 8. Step 1429. Swap step 8 with step 9. Step 1430. Swap step 8 with step 8. Step 1431. Swap step 8 with step 8. Step 1432. Swap step 8 with step 8. Step 1433. Swap step 8 with step 9. Step 1434. Swap step 8 with step 9. Step 1435. Swap step 8 with step 9. Step 1436. Swap step 8 with step 8. Step 1437. Swap step 8 with step 8. Step 1438. Swap step 8 with step 8. Step 1439. Swap step 8 with step 8. Step 1440. Swap step 8 with step 9. Step 1441. Swap step 8 with step 9. Step 1442. Swap step 8 with step 8. Step 1443. Swap step 8 with step 9. Step 1444. Swap step 8 with step 8. Step 1445. Swap step 8 with step 9. Step 1446. Swap step 8 with step 9. Step 1447. Swap step 8 with step 8. Step 1448. Swap step 8 with step 9. Step 1449. Swap step 8 with step 8. Step 1450. Swap step 8 with step 9. Step 1451. Swap step 8 with step 9. Step 1452. Swap step 8 with step 9. Step 1453. Swap step 8 with step 9. Step 1454. Swap step 8 with step 8. Step 1455. Swap step 8 with step 9. Step 1456. Swap step 8 with step 8. Step 1457. Swap step 8 with step 9. Step 1458. Swap step 8 with step 9. Step 1459. Swap step 8 with step 8. Step 1460. Swap step 8 with step 9. Step 1461. Swap step 8 with step 9. Step 1462. Swap step 8 with step 9. Step 1463. Swap step 8 with step 8. Step 1464. Swap step 8 with step 9. Step 1465. Swap step 8 with step 8. Step 1466. Swap step 8 with step 9. Step 1467. Swap step 8 with step 9. Step 1468. Swap step 8 with step 8. Step 1469. Swap step 8 with step 9. Step 1470. Swap step 8 with step 9. Step 1471. Swap step 8 with step 9. Step 1472. Swap step 8 with step 9. Step 1473. Swap step 8 with step 9. Step 1474. Swap step 8 with step 8. Step 1475. Swap step 8 with step 8. Step 1476. Swap step 8 with step 9. Step 1477. Swap step 8 with step 9. Step 1478. Swap step 8 with step 9. Step 1479. Swap step 8 with step 9. Step 1480. Swap step 8 with step 8. Step 1481. Swap step 8 with step 9. Step 1482. Swap step 8 with step 8. Step 1483. Swap step 8 with step 9. Step 1484. Swap step 8 with step 9. Step 1485. Swap step 8 with step 8. Step 1486. Swap step 8 with step 8. Step 1487. Swap step 8 with step 8. Step 1488. Swap step 8 with step 9. Step 1489. Swap step 8 with step 8. Step 1490. Swap step 8 with step 9. Step 1491. Swap step 8 with step 9. Step 1492. Swap step 8 with step 8. Step 1493. Swap step 8 with step 9. Step 1494. Swap step 8 with step 8. Step 1495. Swap step 8 with step 9. Step 1496. Swap step 8 with step 9. Step 1497. Swap step 8 with step 8. Step 1498. Swap step 8 with step 9. Step 1499. Swap step 8 with step 9. Step 1500. Swap step 8 with step 8. Step 1501. Swap step 8 with step 8. Step 1502. Swap step 8 with step 9. Step 1503. Swap step 8 with step 8. Step 1504. Swap step 8 with step 9. Step 1505. Swap step 8 with step 9. Step 1506. Swap step 8 with step 8. Step 1507. Swap step 8 with step 8. Step 1508. Swap step 8 with step 8. Step 1509. Swap step 8 with step 9. Step 1510. Swap step 8 with step 9. Step 1511. Swap step 8 with step 8. Step 1512. Swap step 8 with step 9. Step 1513. Swap step 8 with step 8. Step 1514. Swap step 8 with step 8. Step 1515. Swap step 8 with step 8. Step 1516. Swap step 8 with step 9. Step 1517. Swap step 8 with step 8. Step 1518. Swap step 8 with step 9. Step 1519. Swap step 8 with step 8. Step 1520. Swap step 8 with step 9. Step 1521. Swap step 8 with step 9. Step 1522. Swap step 8 with step 8. Step 1523. Swap step 8 with step 9. Step 1524. Swap step 8 with step 9. Step 1525. Swap step 8 with step 9. Step 1526. Swap step 8 with step 8. Step 1527. Swap step 8 with step 8. Step 1528. Swap step 8 with step 8. Step 1529. Swap step 8 with step 8. Step 1530. Swap step 8 with step 8. Step 1531. Swap step 8 with step 9. Step 1532. Swap step 8 with step 8. Step 1533. Swap step 8 with step 8. Step 1534. Swap step 8 with step 8. Step 1535. Swap step 8 with step 8. Step 1536. Swap step 8 with step 9. Step 1537. Swap step 8 with step 8. Step 1538. Swap step 8 with step 9. Step 1539. Swap step 8 with step 9. Step 1540. Swap step 8 with step 9. Step 1541. Swap step 8 with step 8. Step 1542. Swap step 8 with step 9. Step 1543. Swap step 8 with step 9. Step 1544. Swap step 8 with step 8. Step 1545. Swap step 8 with step 9. Step 1546. Swap step 8 with step 8. Step 1547. Swap step 8 with step 8. Step 1548. Swap step 8 with step 9. Step 1549. Swap step 8 with step 8. Step 1550. Swap step 8 with step 8. Step 1551. Swap step 8 with step 8. Step 1552. Swap step 8 with step 9. Step 1553. Swap step 8 with step 8. Step 1554. Swap step 8 with step 9. Step 1555. Swap step 8 with step 8. Step 1556. Swap step 8 with step 8. Step 1557. Swap step 8 with step 9. Step 1558. Swap step 8 with step 9. Step 1559. Swap step 8 with step 9. Step 1560. Swap step 8 with step 8. Step 1561. Swap step 8 with step 9. Step 1562. Swap step 8 with step 9. Step 1563. Swap step 8 with step 8. Step 1564. Swap step 8 with step 9. Step 1565. Swap step 8 with step 8. Step 1566. Swap step 8 with step 9. Step 1567. Swap step 8 with step 8. Step 1568. Swap step 8 with step 9. Step 1569. Swap step 8 with step 8. Step 1570. Swap step 8 with step 9. Step 1571. Swap step 8 with step 9. Step 1572. Swap step 8 with step 9. Step 1573. Swap step 8 with step 8. Step 1574. Swap step 8 with step 8. Step 1575. Swap step 8 with step 8. Step 1576. Swap step 8 with step 9. Step 1577. Swap step 8 with step 9. Step 1578. Swap step 8 with step 8. Step 1579. Swap step 8 with step 9. Step 1580. Swap step 8 with step 9. Step 1581. Swap step 8 with step 8. Step 1582. Swap step 8 with step 9. Step 1583. Swap step 8 with step 8. Step 1584. Swap step 8 with step 8. Step 1585. Swap step 8 with step 8. Step 1586. Swap step 8 with step 9. Step 1587. Swap step 8 with step 9. Step 1588. Swap step 8 with step 9. Step 1589. Swap step 8 with step 8. Step 1590. Swap step 8 with step 8. Step 1591. Swap step 8 with step 9. Step 1592. Swap step 8 with step 9. Step 1593. Swap step 8 with step 9. Step 1594. Swap step 8 with step 8. Step 1595. Swap step 8 with step 9. Step 1596. Swap step 8 with step 8. Step 1597. Swap step 8 with step 8. Step 1598. Swap step 8 with step 9. Step 1599. Swap step 8 with step 8. Step 1600. Swap step 8 with step 8. Step 1601. Swap step 8 with step 9. Step 1602. Swap step 8 with step 9. Step 1603. Swap step 8 with step 9. Step 1604. Swap step 8 with step 9. Step 1605. Swap step 8 with step 8. Step 1606. Swap step 8 with step 8. Step 1607. Swap step 8 with step 8. Step 1608. Swap step 8 with step 9. Step 1609. Swap step 8 with step 8. Step 1610. Swap step 8 with step 9. Step 1611. Swap step 8 with step 9. Step 1612. Swap step 8 with step 8. Step 1613. Swap step 8 with step 9. Step 1614. Swap step 8 with step 8. Step 1615. Swap step 8 with step 9. Step 1616. Swap step 8 with step 9. Step 1617. Swap step 8 with step 9. Step 1618. Swap step 8 with step 8. Step 1619. Swap step 8 with step 8. Step 1620. Swap step 8 with step 8. Step 1621. Swap step 8 with step 8. Step 1622. Swap step 8 with step 8. Step 1623. Swap step 8 with step 9. Step 1624. Swap step 8 with step 8. Step 1625. Swap step 8 with step 9. Step 1626. Swap step 8 with step 8. Step 1627. Swap step 8 with step 9. Step 1628. Swap step 8 with step 9. Step 1629. Swap step 8 with step 8. Step 1630. Swap step 8 with step 8. Step 1631. Swap step 8 with step 8. Step 1632. Swap step 8 with step 9. Step 1633. Swap step 8 with step 9. Step 1634. Swap step 8 with step 8. Step 1635. Swap step 8 with step 9. Step 1636. Swap step 8 with step 9. Step 1637. Swap step 8 with step 9. Step 1638. Swap step 8 with step 8. Step 1639. Swap step 8 with step 9. Step 1640. Swap step 8 with step 8. Step 1641. Swap step 8 with step 8. Step 1642. Swap step 8 with step 9. Step 1643. Swap step 8 with step 9. Step 1644. Swap step 8 with step 8. Step 1645. Swap step 8 with step 8. Step 1646. Swap step 8 with step 8. Step 1647. Swap step 8 with step 8. Step 1648. Swap step 8 with step 8. Step 1649. Swap step 8 with step 8. Step 1650. Swap step 8 with step 8. Step 1651. Swap step 8 with step 9. Step 1652. Swap step 8 with step 8. Step 1653. Swap step 8 with step 8. Step 1654. Swap step 8 with step 9. Step 1655. Swap step 8 with step 8. Step 1656. Swap step 8 with step 8. Step 1657. Swap step 8 with step 8. Step 1658. Swap step 8 with step 8. Step 1659. Swap step 8 with step 9. Step 1660. Swap step 8 with step 9. Step 1661. Swap step 8 with step 9. Step 1662. Swap step 8 with step 8. Step 1663. Swap step 8 with step 8. Step 1664. Swap step 8 with step 9. Step 1665. Swap step 8 with step 9. Step 1666. Swap step 8 with step 9. Step 1667. Swap step 8 with step 9. Step 1668. Swap step 8 with step 8. Step 1669. Swap step 8 with step 8. Step 1670. Swap step 8 with step 9. Step 1671. Swap step 8 with step 8. Step 1672. Swap step 8 with step 9. Step 1673. Swap step 8 with step 8. Step 1674. Swap step 8 with step 8. Step 1675. Swap step 8 with step 9. Step 1676. Swap step 8 with step 9. Step 1677. Swap step 8 with step 9. Step 1678. Swap step 8 with step 9. Step 1679. Swap step 8 with step 9. Step 1680. Swap step 8 with step 8. Step 1681. Swap step 8 with step 8. Step 1682. Swap step 8 with step 8. Step 1683. Swap step 8 with step 9. Step 1684. Swap step 8 with step 8. Step 1685. Swap step 8 with step 8. Step 1686. Swap step 8 with step 8. Step 1687. Swap step 8 with step 9. Step 1688. Swap step 8 with step 8. Step 1689. Swap step 8 with step 9. Step 1690. Swap step 8 with step 9. Step 1691. Swap step 8 with step 8. Step 1692. Swap step 8 with step 9. Step 1693. Swap step 8 with step 8. Step 1694. Swap step 8 with step 8. Step 1695. Swap step 8 with step 9. Step 1696. Swap step 8 with step 8. Step 1697. Swap step 8 with step 9. Step 1698. Swap step 8 with step 9. Step 1699. Swap step 8 with step 9. Step 1700. Swap step 8 with step 9. Step 1701. Swap step 8 with step 9. Step 1702. Swap step 8 with step 9. Step 1703. Swap step 8 with step 9. Step 1704. Swap step 8 with step 8. Step 1705. Swap step 8 with step 8. Step 1706. Swap step 8 with step 9. Step 1707. Swap step 8 with step 8. Step 1708. Swap step 8 with step 9. Step 1709. Swap step 8 with step 8. Step 1710. Swap step 8 with step 9. Step 1711. Swap step 8 with step 8. Step 1712. Swap step 8 with step 9. Step 1713. Swap step 8 with step 9. Step 1714. Swap step 8 with step 9. Step 1715. Swap step 8 with step 9. Step 1716. Swap step 8 with step 8. Step 1717. Swap step 8 with step 9. Step 1718. Swap step 8 with step 8. Step 1719. Swap step 8 with step 9. Step 1720. Swap step 8 with step 8. Step 1721. Swap step 8 with step 8. Step 1722. Swap step 8 with step 8. Step 1723. Swap step 8 with step 9. Step 1724. Swap step 8 with step 8. Step 1725. Swap step 8 with step 9. Step 1726. Swap step 8 with step 9. Step 1727. Swap step 8 with step 8. Step 1728. Swap step 8 with step 8. Step 1729. Swap step 8 with step 8. Step 1730. Swap step 8 with step 9. Step 1731. Swap step 8 with step 9. Step 1732. Swap step 8 with step 8. Step 1733. Swap step 8 with step 9. Step 1734. Swap step 8 with step 8. Step 1735. Swap step 8 with step 8. Step 1736. Swap step 8 with step 8. Step 1737. Swap step 8 with step 9. Step 1738. Swap step 8 with step 8. Step 1739. Swap step 8 with step 9. Step 1740. Swap step 8 with step 8. Step 1741. Swap step 8 with step 9. Step 1742. Swap step 8 with step 9. Step 1743. Swap step 8 with step 8. Step 1744. Swap step 8 with step 8. Step 1745. Swap step 8 with step 9. Step 1746. Swap step 8 with step 9. Step 1747. Swap step 8 with step 9. Step 1748. Swap step 8 with step 8. Step 1749. Swap step 8 with step 8. Step 1750. Swap step 8 with step 9. Step 1751. Swap step 8 with step 9. Step 1752. Swap step 8 with step 9. Step 1753. Swap step 8 with step 8. Step 1754. Swap step 8 with step 8. Step 1755. Swap step 8 with step 8. Step 1756. Swap step 8 with step 9. Step 1757. Swap step 8 with step 8. Step 1758. Swap step 8 with step 9. Step 1759. Swap step 8 with step 9. Step 1760. Swap step 8 with step 8. Step 1761. Swap step 8 with step 9. Step 1762. Swap step 8 with step 9. Step 1763. Swap step 8 with step 9. Step 1764. Swap step 8 with step 8. Step 1765. Swap step 8 with step 9. Step 1766. Swap step 8 with step 9. Step 1767. Swap step 8 with step 8. Step 1768. Swap step 8 with step 9. Step 1769. Swap step 8 with step 8. Step 1770. Swap step 8 with step 8. Step 1771. Swap step 8 with step 8. Step 1772. Swap step 8 with step 9. Step 1773. Swap step 8 with step 9. Step 1774. Swap step 8 with step 9. Step 1775. Swap step 8 with step 8. Step 1776. Swap step 8 with step 8. Step 1777. Swap step 8 with step 9. Step 1778. Swap step 8 with step 9. Step 1779. Swap step 8 with step 9. Step 1780. Swap step 8 with step 8. Step 1781. Swap step 8 with step 9. Step 1782. Swap step 8 with step 8. Step 1783. Swap step 8 with step 8. Step 1784. Swap step 8 with step 9. Step 1785. Swap step 8 with step 8. Step 1786. Swap step 8 with step 9. Step 1787. Swap step 8 with step 8. Step 1788. Swap step 8 with step 9. Step 1789. Swap step 8 with step 8. Step 1790. Swap step 8 with step 9. Step 1791. Swap step 8 with step 8. Step 1792. Swap step 8 with step 9. Step 1793. Swap step 8 with step 8. Step 1794. Swap step 8 with step 8. Step 1795. Swap step 8 with step 8. Step 1796. Swap step 8 with step 9. Step 1797. Swap step 8 with step 9. Step 1798. Swap step 8 with step 8. Step 1799. Swap step 8 with step 9. Step 1800. Swap step 8 with step 8. Step 1801. Swap step 8 with step 8. Step 1802. Swap step 8 with step 9. Step 1803. Swap step 8 with step 8. Step 1804. Swap step 8 with step 8. Step 1805. Swap step 8 with step 8. Step 1806. Swap step 8 with step 9. Step 1807. Swap step 8 with step 8. Step 1808. Swap step 8 with step 9. Step 1809. Swap step 8 with step 8. Step 1810. Swap step 8 with step 8. Step 1811. Swap step 8 with step 9. Step 1812. Swap step 8 with step 9. Step 1813. Swap step 8 with step 9. Step 1814. Swap step 8 with step 8. Step 1815. Swap step 8 with step 9. Step 1816. Swap step 8 with step 9. Step 1817. Swap step 8 with step 8. Step 1818. Swap step 8 with step 9. Step 1819. Swap step 8 with step 8. Step 1820. Swap step 8 with step 8. Step 1821. Swap step 8 with step 9. Step 1822. Swap step 8 with step 8. Step 1823. Swap step 8 with step 8. Step 1824. Swap step 8 with step 8. Step 1825. Swap step 8 with step 8. Step 1826. Swap step 8 with step 8. Step 1827. Swap step 8 with step 8. Step 1828. Swap step 8 with step 9. Step 1829. Swap step 8 with step 8. Step 1830. Swap step 8 with step 9. Step 1831. Swap step 8 with step 8. Step 1832. Swap step 8 with step 9. Step 1833. Swap step 8 with step 9. Step 1834. Swap step 8 with step 8. Step 1835. Swap step 8 with step 8. Step 1836. Swap step 8 with step 9. Step 1837. Swap step 8 with step 9. Step 1838. Swap step 8 with step 9. Step 1839. Swap step 8 with step 8. Step 1840. Swap step 8 with step 8. Step 1841. Swap step 8 with step 9. Step 1842. Swap step 8 with step 9. Step 1843. Swap step 8 with step 9. Step 1844. Swap step 8 with step 9. Step 1845. Swap step 8 with step 8. Step 1846. Swap step 8 with step 9. Step 1847. Swap step 8 with step 8. Step 1848. Swap step 8 with step 8. Step 1849. Swap step 8 with step 9. Step 1850. Swap step 8 with step 8. Step 1851. Swap step 8 with step 8. Step 1852. Swap step 8 with step 8. Step 1853. Swap step 8 with step 8. Step 1854. Swap step 8 with step 8. Step 1855. Swap step 8 with step 9. Step 1856. Swap step 8 with step 8. Step 1857. Swap step 8 with step 9. Step 1858. Swap step 8 with step 9. Step 1859. Swap step 8 with step 8. Step 1860. Swap step 8 with step 8. Step 1861. Swap step 8 with step 8. Step 1862. Swap step 8 with step 8. Step 1863. Swap step 8 with step 9. Step 1864. Swap step 8 with step 8. Step 1865. Swap step 8 with step 9. Step 1866. Swap step 8 with step 8. Step 1867. Swap step 8 with step 9. Step 1868. Swap step 8 with step 8. Step 1869. Swap step 8 with step 9. Step 1870. Swap step 8 with step 9. Step 1871. Swap step 8 with step 8. Step 1872. Swap step 8 with step 9. Step 1873. Swap step 8 with step 9. Step 1874. Swap step 8 with step 8. Step 1875. Swap step 8 with step 8. Step 1876. Swap step 8 with step 9. Step 1877. Swap step 8 with step 9. Step 1878. Swap step 8 with step 9. Step 1879. Swap step 8 with step 8. Step 1880. Swap step 8 with step 8. Step 1881. Swap step 8 with step 9. Step 1882. Swap step 8 with step 8. Step 1883. Swap step 8 with step 8. Step 1884. Swap step 8 with step 9. Step 1885. Swap step 8 with step 9. Step 1886. Swap step 8 with step 8. Step 1887. Swap step 8 with step 8. Step 1888. Swap step 8 with step 8. Step 1889. Swap step 8 with step 8. Step 1890. Swap step 8 with step 8. Step 1891. Swap step 8 with step 8. Step 1892. Swap step 8 with step 8. Step 1893. Swap step 8 with step 9. Step 1894. Swap step 8 with step 8. Step 1895. Swap step 8 with step 8. Step 1896. Swap step 8 with step 9. Step 1897. Swap step 8 with step 8. Step 1898. Swap step 8 with step 8. Step 1899. Swap step 8 with step 8. Step 1900. Swap step 8 with step 9. Step 1901. Swap step 8 with step 9. Step 1902. Swap step 8 with step 8. Step 1903. Swap step 8 with step 8. Step 1904. Swap step 8 with step 8. Step 1905. Swap step 8 with step 8. Step 1906. Swap step 8 with step 8. Step 1907. Swap step 8 with step 8. Step 1908. Swap step 8 with step 8. Step 1909. Swap step 8 with step 9. Step 1910. Swap step 8 with step 8. Step 1911. Swap step 8 with step 9. Step 1912. Swap step 8 with step 9. Step 1913. Swap step 8 with step 8. Step 1914. Swap step 8 with step 8. Step 1915. Swap step 8 with step 8. Step 1916. Swap step 8 with step 9. Step 1917. Swap step 8 with step 9. Step 1918. Swap step 8 with step 8. Step 1919. Swap step 8 with step 8. Step 1920. Swap step 8 with step 8. Step 1921. Swap step 8 with step 8. Step 1922. Swap step 8 with step 8. Step 1923. Swap step 8 with step 8. Step 1924. Swap step 8 with step 8. Step 1925. Swap step 8 with step 8. Step 1926. Swap step 8 with step 9. Step 1927. Swap step 8 with step 8. Step 1928. Swap step 8 with step 9. Step 1929. Swap step 8 with step 8. Step 1930. Swap step 8 with step 8. Step 1931. Swap step 8 with step 8. Step 1932. Swap step 8 with step 9. Step 1933. Swap step 8 with step 8. Step 1934. Swap step 8 with step 9. Step 1935. Swap step 8 with step 8. Step 1936. Swap step 8 with step 8. Step 1937. Swap step 8 with step 8. Step 1938. Swap step 8 with step 8. Step 1939. Swap step 8 with step 8. Step 1940. Swap step 8 with step 8. Step 1941. Swap step 8 with step 9. Step 1942. Swap step 8 with step 8. Step 1943. Swap step 8 with step 9. Step 1944. Swap step 8 with step 9. Step 1945. Swap step 8 with step 8. Step 1946. Swap step 8 with step 8. Step 1947. Swap step 8 with step 8. Step 1948. Swap step 8 with step 9. Step 1949. Swap step 8 with step 9. Step 1950. Swap step 8 with step 8. Step 1951. Swap step 8 with step 8. Step 1952. Swap step 8 with step 8. Step 1953. Swap step 8 with step 8. Step 1954. Swap step 8 with step 8. Step 1955. Swap step 8 with step 8. Step 1956. Swap step 8 with step 8. Step 1957. Swap step 8 with step 9. Step 1958. Swap step 8 with step 8. Step 1959. Swap step 8 with step 9. Step 1960. Swap step 8 with step 9. Step 1961. Swap step 8 with step 8. Step 1962. Swap step 8 with step 8. Step 1963. Swap step 8 with step 8. Step 1964. Swap step 8 with step 9. Step 1965. Swap step 8 with step 9. Step 1966. Swap step 8 with step 9. Step 1967. Swap step 8 with step 9. Step 1968. Swap step 8 with step 8. Step 1969. Swap step 8 with step 8. Step 1970. Swap step 8 with step 8. Step 1971. Swap step 8 with step 9. Step 1972. Swap step 8 with step 9. Step 1973. Swap step 8 with step 8. Step 1974. Swap step 8 with step 8. Step 1975. Swap step 8 with step 8. Step 1976. Swap step 8 with step 8. Step 1977. Swap step 8 with step 9. Step 1978. Swap step 8 with step 8. Step 1979. Swap step 8 with step 8. Step 1980. Swap step 8 with step 8. Step 1981. Swap step 8 with step 8. Step 1982. Swap step 8 with step 8. Step 1983. Swap step 8 with step 9. Step 1984. Swap step 8 with step 8. Step 1985. Swap step 8 with step 8. Step 1986. Swap step 8 with step 9. Step 1987. Swap step 8 with step 8. Step 1988. Swap step 8 with step 9. Step 1989. Swap step 8 with step 8. Step 1990. Swap step 8 with step 8. Step 1991. Swap step 8 with step 8. Step 1992. Swap step 8 with step 8. Step 1993. Swap step 8 with step 9. Step 1994. Swap step 8 with step 8. Step 1995. Swap step 8 with step 9. Step 1996. Swap step 8 with step 9. Step 1997. Swap step 8 with step 8. Step 1998. Swap step 8 with step 9. Step 1999. Swap step 8 with step 8. Step 2000. Swap step 8 with step 8. Step 2001. Swap step 8 with step 8. Step 2002. Swap step 8 with step 8. Step 2003. Swap step 8 with step 9. Step 2004. Swap step 8 with step 8. Step 2005. Swap step 8 with step 9. Step 2006. Swap step 8 with step 8. Step 2007. Swap step 8 with step 9. Step 2008. Swap step 8 with step 9. Step 2009. Swap step 8 with step 9. Step 2010. Swap step 8 with step 9. Step 2011. Swap step 8 with step 8. Step 2012. Swap step 8 with step 8. Step 2013. Swap step 8 with step 9. Step 2014. Swap step 8 with step 9. Step 2015. Swap step 8 with step 8. Step 2016. Swap step 8 with step 9. Step 2017. Swap step 8 with step 8. Step 2018. Swap step 8 with step 8. Step 2019. Swap step 8 with step 8. Step 2020. Swap step 8 with step 8. Step 2021. Swap step 8 with step 8. Step 2022. Swap step 8 with step 9. Step 2023. Swap step 8 with step 9. Step 2024. Swap step 8 with step 8. Step 2025. Swap step 8 with step 9. Step 2026. Swap step 8 with step 8. Step 2027. Swap step 8 with step 8. Step 2028. Swap step 8 with step 8. Step 2029. Swap step 8 with step 8. Step 2030. Swap step 8 with step 9. Step 2031. Swap step 8 with step 8. Step 2032. Swap step 8 with step 9. Step 2033. Swap step 8 with step 8. Step 2034. Swap step 8 with step 9. Step 2035. Swap step 8 with step 8. Step 2036. Swap step 8 with step 9. Step 2037. Swap step 8 with step 9. Step 2038. Swap step 8 with step 8. Step 2039. Swap step 8 with step 8. Step 2040. Swap step 8 with step 8. Step 2041. Swap step 8 with step 9. Step 2042. Swap step 8 with step 8. Step 2043. Swap step 8 with step 8. Step 2044. Swap step 8 with step 8. Step 2045. Swap step 8 with step 8. Step 2046. Swap step 8 with step 8. Step 2047. Swap step 8 with step 9. Step 2048. Swap step 8 with step 8. Step 2049. Swap step 8 with step 8. Step 2050. Swap step 8 with step 9. Step 2051. Swap step 8 with step 9. Step 2052. Swap step 8 with step 8. Step 2053. Swap step 8 with step 8. Step 2054. Swap step 8 with step 8. Step 2055. Swap step 8 with step 8. Step 2056. Swap step 8 with step 8. Step 2057. Swap step 8 with step 8. Step 2058. Swap step 8 with step 8. Step 2059. Swap step 8 with step 9. Step 2060. Swap step 8 with step 8. Step 2061. Swap step 8 with step 9. Step 2062. Swap step 8 with step 9. Step 2063. Swap step 8 with step 8. Step 2064. Swap step 8 with step 8. Step 2065. Swap step 8 with step 8. Step 2066. Swap step 8 with step 9. Step 2067. Swap step 8 with step 9. Step 2068. Swap step 8 with step 8. Step 2069. Swap step 8 with step 8. Step 2070. Swap step 8 with step 8. Step 2071. Swap step 8 with step 8. Step 2072. Swap step 8 with step 8. Step 2073. Swap step 8 with step 9. Step 2074. Swap step 8 with step 8. Step 2075. Swap step 8 with step 8. Step 2076. Swap step 8 with step 8. Step 2077. Swap step 8 with step 9. Step 2078. Swap step 8 with step 9. Step 2079. Swap step 8 with step 8. Step 2080. Swap step 8 with step 8. Step 2081. Swap step 8 with step 8. Step 2082. Swap step 8 with step 9. Step 2083. Swap step 8 with step 8. Step 2084. Swap step 8 with step 8. Step 2085. Swap step 8 with step 8. Step 2086. Swap step 8 with step 8. Step 2087. Swap step 8 with step 8. Step 2088. Swap step 8 with step 8. Step 2089. Swap step 8 with step 8. Step 2090. Swap step 8 with step 8. Step 2091. Swap step 8 with step 9. Step 2092. Swap step 8 with step 9. Step 2093. Swap step 8 with step 8. Step 2094. Swap step 8 with step 9. Step 2095. Swap step 8 with step 8. Step 2096. Swap step 8 with step 8. Step 2097. Swap step 8 with step 8. Step 2098. Swap step 8 with step 9. Step 2099. Swap step 8 with step 9. Step 2100. Swap step 8 with step 9. Step 2101. Swap step 8 with step 9. Step 2102. Swap step 8 with step 8. Step 2103. Swap step 8 with step 8. Step 2104. Swap step 8 with step 8. Step 2105. Swap step 8 with step 9. Step 2106. Swap step 8 with step 9. Step 2107. Swap step 8 with step 8. Step 2108. Swap step 8 with step 8. Step 2109. Swap step 8 with step 9. Step 2110. Swap step 8 with step 9. Step 2111. Swap step 8 with step 8. Step 2112. Swap step 8 with step 9. Step 2113. Swap step 8 with step 8. Step 2114. Swap step 8 with step 8. Step 2115. Swap step 8 with step 9. Step 2116. Swap step 8 with step 8. Step 2117. Swap step 8 with step 8. Step 2118. Swap step 8 with step 8. Step 2119. Swap step 8 with step 9. Step 2120. Swap step 8 with step 9. Step 2121. Swap step 8 with step 8. Step 2122. Swap step 8 with step 9. Step 2123. Swap step 8 with step 8. Step 2124. Swap step 8 with step 8. Step 2125. Swap step 8 with step 8. Step 2126. Swap step 8 with step 9. Step 2127. Swap step 8 with step 9. Step 2128. Swap step 8 with step 8. Step 2129. Swap step 8 with step 9. Step 2130. Swap step 8 with step 8. Step 2131. Swap step 8 with step 8. Step 2132. Swap step 8 with step 9. Step 2133. Swap step 8 with step 9. Step 2134. Swap step 8 with step 9. Step 2135. Swap step 8 with step 8. Step 2136. Swap step 8 with step 9. Step 2137. Swap step 8 with step 8. Step 2138. Swap step 8 with step 9. Step 2139. Swap step 8 with step 9. Step 2140. Swap step 8 with step 9. Step 2141. Swap step 8 with step 8. Step 2142. Swap step 8 with step 8. Step 2143. Swap step 8 with step 8. Step 2144. Swap step 8 with step 8. Step 2145. Swap step 8 with step 8. Step 2146. Swap step 8 with step 8. Step 2147. Swap step 8 with step 9. Step 2148. Swap step 8 with step 8. Step 2149. Swap step 8 with step 9. Step 2150. Swap step 8 with step 9. Step 2151. Swap step 8 with step 8. Step 2152. Swap step 8 with step 9. Step 2153. Swap step 8 with step 9. Step 2154. Swap step 8 with step 8. Step 2155. Swap step 8 with step 8. Step 2156. Swap step 8 with step 8. Step 2157. Swap step 8 with step 9. Step 2158. Swap step 8 with step 9. Step 2159. Swap step 8 with step 8. Step 2160. Swap step 8 with step 8. Step 2161. Swap step 8 with step 9. Step 2162. Swap step 8 with step 8. Step 2163. Swap step 8 with step 9. Step 2164. Swap step 8 with step 9. Step 2165. Swap step 8 with step 8. Step 2166. Swap step 8 with step 9. Step 2167. Swap step 8 with step 8. Step 2168. Swap step 8 with step 9. Step 2169. Swap step 8 with step 8. Step 2170. Swap step 8 with step 8. Step 2171. Swap step 8 with step 9. Step 2172. Swap step 8 with step 8. Step 2173. Swap step 8 with step 8. Step 2174. Swap step 8 with step 8. Step 2175. Swap step 8 with step 8. Step 2176. Swap step 8 with step 8. Step 2177. Swap step 8 with step 9. Step 2178. Swap step 8 with step 9. Step 2179. Swap step 8 with step 9. Step 2180. Swap step 8 with step 9. Step 2181. Swap step 8 with step 8. Step 2182. Swap step 8 with step 9. Step 2183. Swap step 8 with step 8. Step 2184. Swap step 8 with step 9. Step 2185. Swap step 8 with step 9. Step 2186. Swap step 8 with step 8. Step 2187. Swap step 8 with step 8. Step 2188. Swap step 8 with step 8. Step 2189. Swap step 8 with step 8. Step 2190. Swap step 8 with step 8. Step 2191. Swap step 8 with step 8. Step 2192. Swap step 8 with step 8. Step 2193. Swap step 8 with step 9. Step 2194. Swap step 8 with step 8. Step 2195. Swap step 8 with step 9. Step 2196. Swap step 8 with step 9. Step 2197. Swap step 8 with step 8. Step 2198. Swap step 8 with step 9. Step 2199. Swap step 8 with step 9. Step 2200. Swap step 8 with step 8. Step 2201. Swap step 8 with step 8. Step 2202. Swap step 8 with step 8. Step 2203. Swap step 8 with step 9. Step 2204. Swap step 8 with step 9. Step 2205. Swap step 8 with step 8. Step 2206. Swap step 8 with step 8. Step 2207. Swap step 8 with step 9. Step 2208. Swap step 8 with step 8. Step 2209. Swap step 8 with step 9. Step 2210. Swap step 8 with step 9. Step 2211. Swap step 8 with step 8. Step 2212. Swap step 8 with step 8. Step 2213. Swap step 8 with step 8. Step 2214. Swap step 8 with step 9. Step 2215. Swap step 8 with step 9. Step 2216. Swap step 8 with step 8. Step 2217. Swap step 8 with step 9. Step 2218. Swap step 8 with step 8. Step 2219. Swap step 8 with step 8. Step 2220. Swap step 8 with step 8. Step 2221. Swap step 8 with step 9. Step 2222. Swap step 8 with step 8. Step 2223. Swap step 8 with step 9. Step 2224. Swap step 8 with step 8. Step 2225. Swap step 8 with step 9. Step 2226. Swap step 8 with step 9. Step 2227. Swap step 8 with step 8. Step 2228. Swap step 8 with step 9. Step 2229. Swap step 8 with step 8. Step 2230. Swap step 8 with step 8. Step 2231. Swap step 8 with step 8. Step 2232. Swap step 8 with step 8. Step 2233. Swap step 8 with step 8. Step 2234. Swap step 8 with step 9. Step 2235. Swap step 8 with step 8. Step 2236. Swap step 8 with step 8. Step 2237. Swap step 8 with step 8. Step 2238. Swap step 8 with step 9. Step 2239. Swap step 8 with step 8. Step 2240. Swap step 8 with step 9. Step 2241. Swap step 8 with step 8. Step 2242. Swap step 8 with step 8. Step 2243. Swap step 8 with step 8. Step 2244. Swap step 8 with step 9. Step 2245. Swap step 8 with step 8. Step 2246. Swap step 8 with step 8. Step 2247. Swap step 8 with step 8. Step 2248. Swap step 8 with step 8. Step 2249. Swap step 8 with step 8. Step 2250. Swap step 8 with step 9. Step 2251. Swap step 8 with step 8. Step 2252. Swap step 8 with step 8. Step 2253. Swap step 8 with step 9. Step 2254. Swap step 8 with step 8. Step 2255. Swap step 8 with step 8. Step 2256. Swap step 8 with step 9. Step 2257. Swap step 8 with step 8. Step 2258. Swap step 8 with step 8. Step 2259. Swap step 8 with step 9. Step 2260. Swap step 8 with step 9. Step 2261. Swap step 8 with step 8. Step 2262. Swap step 8 with step 9. Step 2263. Swap step 8 with step 8. Step 2264. Swap step 8 with step 8. Step 2265. Swap step 8 with step 9. Step 2266. Swap step 8 with step 9. Step 2267. Swap step 8 with step 9. Step 2268. Swap step 8 with step 8. Step 2269. Swap step 8 with step 8. Step 2270. Swap step 8 with step 8. Step 2271. Swap step 8 with step 9. Step 2272. Swap step 8 with step 8. Step 2273. Swap step 8 with step 8. Step 2274. Swap step 8 with step 9. Step 2275. Swap step 8 with step 9. Step 2276. Swap step 8 with step 8. Step 2277. Swap step 8 with step 9. Step 2278. Swap step 8 with step 8. Step 2279. Swap step 8 with step 8. Step 2280. Swap step 8 with step 9. Step 2281. Swap step 8 with step 9. Step 2282. Swap step 8 with step 8. Step 2283. Swap step 8 with step 9. Step 2284. Swap step 8 with step 8. Step 2285. Swap step 8 with step 9. Step 2286. Swap step 8 with step 8. Step 2287. Swap step 8 with step 9. Step 2288. Swap step 8 with step 9. Step 2289. Swap step 8 with step 9. Step 2290. Swap step 8 with step 9. Step 2291. Swap step 8 with step 8. Step 2292. Swap step 8 with step 8. Step 2293. Swap step 8 with step 8. Step 2294. Swap step 8 with step 9. Step 2295. Swap step 8 with step 8. Step 2296. Swap step 8 with step 8. Step 2297. Swap step 8 with step 9. Step 2298. Swap step 8 with step 8. Step 2299. Swap step 8 with step 8. Step 2300. Swap step 8 with step 9. Step 2301. Swap step 8 with step 8. Step 2302. Swap step 8 with step 8. Step 2303. Swap step 8 with step 9. Step 2304. Swap step 8 with step 8. Step 2305. Swap step 8 with step 8. Step 2306. Swap step 8 with step 9. Step 2307. Swap step 8 with step 8. Step 2308. Swap step 8 with step 8. Step 2309. Swap step 8 with step 9. Step 2310. Swap step 8 with step 9. Step 2311. Swap step 8 with step 9. Step 2312. Swap step 8 with step 8. Step 2313. Swap step 8 with step 8. Step 2314. Swap step 8 with step 8. Step 2315. Swap step 8 with step 9. Step 2316. Swap step 8 with step 8. Step 2317. Swap step 8 with step 8. Step 2318. Swap step 8 with step 9. Step 2319. Swap step 8 with step 9. Step 2320. Swap step 8 with step 8. Step 2321. Swap step 8 with step 9. Step 2322. Swap step 8 with step 8. Step 2323. Swap step 8 with step 8. Step 2324. Swap step 8 with step 9. Step 2325. Swap step 8 with step 9. Step 2326. Swap step 8 with step 8. Step 2327. Swap step 8 with step 9. Step 2328. Swap step 8 with step 8. Step 2329. Swap step 8 with step 8. Step 2330. Swap step 8 with step 9. Step 2331. Swap step 8 with step 8. Step 2332. Swap step 8 with step 8. Step 2333. Swap step 8 with step 9. Step 2334. Swap step 8 with step 8. Step 2335. Swap step 8 with step 8. Step 2336. Swap step 8 with step 8. Step 2337. Swap step 8 with step 9. Step 2338. Swap step 8 with step 8. Step 2339. Swap step 8 with step 9. Step 2340. Swap step 8 with step 9. Step 2341. Swap step 8 with step 8. Step 2342. Swap step 8 with step 9. Step 2343. Swap step 8 with step 8. Step 2344. Swap step 8 with step 9. Step 2345. Swap step 8 with step 8. Step 2346. Swap step 8 with step 8. Step 2347. Swap step 8 with step 8. Step 2348. Swap step 8 with step 8. Step 2349. Swap step 8 with step 8. Step 2350. Swap step 8 with step 9. Step 2351. Swap step 8 with step 8. Step 2352. Swap step 8 with step 8. Step 2353. Swap step 8 with step 8. Step 2354. Swap step 8 with step 9. Step 2355. Swap step 8 with step 8. Step 2356. Swap step 8 with step 9. Step 2357. Swap step 8 with step 8. Step 2358. Swap step 8 with step 9. Step 2359. Swap step 8 with step 8. Step 2360. Swap step 8 with step 9. Step 2361. Swap step 8 with step 8. Step 2362. Swap step 8 with step 8. Step 2363. Swap step 8 with step 8. Step 2364. Swap step 8 with step 8. Step 2365. Swap step 8 with step 8. Step 2366. Swap step 8 with step 9. Step 2367. Swap step 8 with step 9. Step 2368. Swap step 8 with step 8. Step 2369. Swap step 8 with step 9. Step 2370. Swap step 8 with step 9. Step 2371. Swap step 8 with step 9. Step 2372. Swap step 8 with step 9. Step 2373. Swap step 8 with step 8. Step 2374. Swap step 8 with step 8. Step 2375. Swap step 8 with step 8. Step 2376. Swap step 8 with step 9. Step 2377. Swap step 8 with step 9. Step 2378. Swap step 8 with step 9. Step 2379. Swap step 8 with step 8. Step 2380. Swap step 8 with step 8. Step 2381. Swap step 8 with step 8. Step 2382. Swap step 8 with step 9. Step 2383. Swap step 8 with step 9. Step 2384. Swap step 8 with step 8. Step 2385. Swap step 8 with step 9. Step 2386. Swap step 8 with step 8. Step 2387. Swap step 8 with step 8. Step 2388. Swap step 8 with step 9. Step 2389. Swap step 8 with step 8. Step 2390. Swap step 8 with step 9. Step 2391. Swap step 8 with step 8. Step 2392. Swap step 8 with step 9. Step 2393. Swap step 8 with step 9. Step 2394. Swap step 8 with step 9. Step 2395. Swap step 8 with step 8. Step 2396. Swap step 8 with step 8. Step 2397. Swap step 8 with step 8. Step 2398. Swap step 8 with step 9. Step 2399. Swap step 8 with step 8. Step 2400. Swap step 8 with step 9. Step 2401. Swap step 8 with step 9. Step 2402. Swap step 8 with step 8. Step 2403. Swap step 8 with step 8. Step 2404. Swap step 8 with step 9. Step 2405. Swap step 8 with step 9. Step 2406. Swap step 8 with step 8. Step 2407. Swap step 8 with step 8. Step 2408. Swap step 8 with step 8. Step 2409. Swap step 8 with step 9. Step 2410. Swap step 8 with step 9. Step 2411. Swap step 8 with step 9. Step 2412. Swap step 8 with step 8. Step 2413. Swap step 8 with step 9. Step 2414. Swap step 8 with step 9. Step 2415. Swap step 8 with step 8. Step 2416. Swap step 8 with step 9. Step 2417. Swap step 8 with step 8. Step 2418. Swap step 8 with step 9. Step 2419. Swap step 8 with step 8. Step 2420. Swap step 8 with step 8. Step 2421. Swap step 8 with step 8. Step 2422. Swap step 8 with step 9. Step 2423. Swap step 8 with step 8. Step 2424. Swap step 8 with step 9. Step 2425. Swap step 8 with step 9. Step 2426. Swap step 8 with step 8. Step 2427. Swap step 8 with step 8. Step 2428. Swap step 8 with step 9. Step 2429. Swap step 8 with step 9. Step 2430. Swap step 8 with step 8. Step 2431. Swap step 8 with step 9. Step 2432. Swap step 8 with step 8. Step 2433. Swap step 8 with step 9. Step 2434. Swap step 8 with step 8. Step 2435. Swap step 8 with step 8. Step 2436. Swap step 8 with step 8. Step 2437. Swap step 8 with step 9. Step 2438. Swap step 8 with step 8. Step 2439. Swap step 8 with step 9. Step 2440. Swap step 8 with step 9. Step 2441. Swap step 8 with step 9. Step 2442. Swap step 8 with step 8. Step 2443. Swap step 8 with step 9. Step 2444. Swap step 8 with step 9. Step 2445. Swap step 8 with step 8. Step 2446. Swap step 8 with step 8. Step 2447. Swap step 8 with step 8. Step 2448. Swap step 8 with step 9. Step 2449. Swap step 8 with step 9. Step 2450. Swap step 8 with step 9. Step 2451. Swap step 8 with step 8. Step 2452. Swap step 8 with step 9. Step 2453. Swap step 8 with step 8. Step 2454. Swap step 8 with step 8. Step 2455. Swap step 8 with step 9. Step 2456. Swap step 8 with step 8. Step 2457. Swap step 8 with step 9. Step 2458. Swap step 8 with step 8. Step 2459. Swap step 8 with step 8. Step 2460. Swap step 8 with step 8. Step 2461. Swap step 8 with step 9. Step 2462. Swap step 8 with step 9. Step 2463. Swap step 8 with step 8. Step 2464. Swap step 8 with step 8. Step 2465. Swap step 8 with step 9. Step 2466. Swap step 8 with step 8. Step 2467. Swap step 8 with step 9. Step 2468. Swap step 8 with step 8. Step 2469. Swap step 8 with step 9. Step 2470. Swap step 8 with step 9. Step 2471. Swap step 8 with step 9. Step 2472. Swap step 8 with step 9. Step 2473. Swap step 8 with step 8. Step 2474. Swap step 8 with step 8. Step 2475. Swap step 8 with step 8. Step 2476. Swap step 8 with step 9. Step 2477. Swap step 8 with step 8. Step 2478. Swap step 8 with step 9. Step 2479. Swap step 8 with step 8. Step 2480. Swap step 8 with step 9. Step 2481. Swap step 8 with step 9. Step 2482. Swap step 8 with step 8. Step 2483. Swap step 8 with step 9. Step 2484. Swap step 8 with step 8. Step 2485. Swap step 8 with step 9. Step 2486. Swap step 8 with step 8. Step 2487. Swap step 8 with step 8. Step 2488. Swap step 8 with step 9. Step 2489. Swap step 8 with step 8. Step 2490. Swap step 8 with step 8. Step 2491. Swap step 8 with step 9. Step 2492. Swap step 8 with step 8. Step 2493. Swap step 8 with step 8. Step 2494. Swap step 8 with step 8. Step 2495. Swap step 8 with step 8. Step 2496. Swap step 8 with step 9. Step 2497. Swap step 8 with step 9. Step 2498. Swap step 8 with step 8. Step 2499. Swap step 8 with step 9. Step 2500. Swap step 8 with step 8. Step 2501. Swap step 8 with step 9. Step 2502. Swap step 8 with step 8. Step 2503. Swap step 8 with step 9. Step 2504. Swap step 8 with step 8. Step 2505. Swap step 8 with step 8. Step 2506. Swap step 8 with step 8. Step 2507. Swap step 8 with step 9. Step 2508. Swap step 8 with step 9. Step 2509. Swap step 8 with step 8. Step 2510. Swap step 8 with step 8. Step 2511. Swap step 8 with step 9. Step 2512. Swap step 8 with step 8. Step 2513. Swap step 8 with step 9. Step 2514. Swap step 8 with step 8. Step 2515. Swap step 8 with step 9. Step 2516. Swap step 8 with step 9. Step 2517. Swap step 8 with step 8. Step 2518. Swap step 8 with step 9. Step 2519. Swap step 8 with step 8. Step 2520. Swap step 8 with step 8. Step 2521. Swap step 8 with step 8. Step 2522. Swap step 8 with step 9. Step 2523. Swap step 8 with step 8. Step 2524. Swap step 8 with step 9. Step 2525. Swap step 8 with step 8. Step 2526. Swap step 8 with step 9. Step 2527. Swap step 8 with step 9. Step 2528. Swap step 8 with step 8. Step 2529. Swap step 8 with step 8. Step 2530. Swap step 8 with step 8. Step 2531. Swap step 8 with step 9. Step 2532. Swap step 8 with step 8. Step 2533. Swap step 8 with step 8. Step 2534. Swap step 8 with step 9. Step 2535. Swap step 8 with step 8. Step 2536. Swap step 8 with step 8. Step 2537. Swap step 8 with step 9. Step 2538. Swap step 8 with step 8. Step 2539. Swap step 8 with step 8. Step 2540. Swap step 8 with step 9. Step 2541. Swap step 8 with step 8. Step 2542. Swap step 8 with step 9. Step 2543. Swap step 8 with step 9. Step 2544. Swap step 8 with step 8. Step 2545. Swap step 8 with step 9. Step 2546. Swap step 8 with step 8. Step 2547. Swap step 8 with step 8. Step 2548. Swap step 8 with step 8. Step 2549. Swap step 8 with step 8. Step 2550. Swap step 8 with step 9. Step 2551. Swap step 8 with step 9. Step 2552. Swap step 8 with step 9. Step 2553. Swap step 8 with step 9. Step 2554. Swap step 8 with step 8. Step 2555. Swap step 8 with step 9. Step 2556. Swap step 8 with step 8. Step 2557. Swap step 8 with step 9. Step 2558. Swap step 8 with step 8. Step 2559. Swap step 8 with step 8. Step 2560. Swap step 8 with step 9. Step 2561. Swap step 8 with step 8. Step 2562. Swap step 8 with step 8. Step 2563. Swap step 8 with step 9. Step 2564. Swap step 8 with step 8. Step 2565. Swap step 8 with step 8. Step 2566. Swap step 8 with step 9. Step 2567. Swap step 8 with step 8. Step 2568. Swap step 8 with step 9. Step 2569. Swap step 8 with step 9. Step 2570. Swap step 8 with step 8. Step 2571. Swap step 8 with step 9. Step 2572. Swap step 8 with step 8. Step 2573. Swap step 8 with step 9. Step 2574. Swap step 8 with step 9. Step 2575. Swap step 8 with step 9. Step 2576. Swap step 8 with step 8. Step 2577. Swap step 8 with step 8. Step 2578. Swap step 8 with step 8. Step 2579. Swap step 8 with step 9. Step 2580. Swap step 8 with step 8. Step 2581. Swap step 8 with step 8. Step 2582. Swap step 8 with step 9. Step 2583. Swap step 8 with step 8. Step 2584. Swap step 8 with step 9. Step 2585. Swap step 8 with step 9. Step 2586. Swap step 8 with step 8. Step 2587. Swap step 8 with step 9. Step 2588. Swap step 8 with step 8. Step 2589. Swap step 8 with step 8. Step 2590. Swap step 8 with step 8. Step 2591. Swap step 8 with step 8. Step 2592. Swap step 8 with step 9. Step 2593. Swap step 8 with step 9. Step 2594. Swap step 8 with step 9. Step 2595. Swap step 8 with step 9. Step 2596. Swap step 8 with step 8. Step 2597. Swap step 8 with step 9. Step 2598. Swap step 8 with step 8. Step 2599. Swap step 8 with step 9. Step 2600. Swap step 8 with step 8. Step 2601. Swap step 8 with step 8. Step 2602. Swap step 8 with step 9. Step 2603. Swap step 8 with step 8. Step 2604. Swap step 8 with step 9. Step 2605. Swap step 8 with step 8. Step 2606. Swap step 8 with step 8. Step 2607. Swap step 8 with step 8. Step 2608. Swap step 8 with step 9. Step 2609. Swap step 8 with step 9. Step 2610. Swap step 8 with step 9. Step 2611. Swap step 8 with step 9. Step 2612. Swap step 8 with step 8. Step 2613. Swap step 8 with step 8. Step 2614. Swap step 8 with step 9. Step 2615. Swap step 8 with step 8. Step 2616. Swap step 8 with step 9. Step 2617. Swap step 8 with step 9. Step 2618. Swap step 8 with step 9. Step 2619. Swap step 8 with step 8. Step 2620. Swap step 8 with step 8. Step 2621. Swap step 8 with step 9. Step 2622. Swap step 8 with step 9. Step 2623. Swap step 8 with step 9. Step 2624. Swap step 8 with step 8. Step 2625. Swap step 8 with step 8. Step 2626. Swap step 8 with step 9. Step 2627. Swap step 8 with step 8. Step 2628. Swap step 8 with step 9. Step 2629. Swap step 8 with step 8. Step 2630. Swap step 8 with step 8. Step 2631. Swap step 8 with step 8. Step 2632. Swap step 8 with step 8. Step 2633. Swap step 8 with step 8. Step 2634. Swap step 8 with step 8. Step 2635. Swap step 8 with step 9. Step 2636. Swap step 8 with step 9. Step 2637. Swap step 8 with step 9. Step 2638. Swap step 8 with step 9. Step 2639. Swap step 8 with step 8. Step 2640. Swap step 8 with step 8. Step 2641. Swap step 8 with step 8. Step 2642. Swap step 8 with step 9. Step 2643. Swap step 8 with step 9. Step 2644. Swap step 8 with step 8. Step 2645. Swap step 8 with step 8. Step 2646. Swap step 8 with step 8. Step 2647. Swap step 8 with step 8. Step 2648. Swap step 8 with step 8. Step 2649. Swap step 8 with step 8. Step 2650. Swap step 8 with step 8. Step 2651. Swap step 8 with step 8. Step 2652. Swap step 8 with step 8. Step 2653. Swap step 8 with step 8. Step 2654. Swap step 8 with step 9. Step 2655. Swap step 8 with step 8. Step 2656. Swap step 8 with step 8. Step 2657. Swap step 8 with step 8. Step 2658. Swap step 8 with step 9. Step 2659. Swap step 8 with step 8. Step 2660. Swap step 8 with step 8. Step 2661. Swap step 8 with step 8. Step 2662. Swap step 8 with step 8. Step 2663. Swap step 8 with step 8. Step 2664. Swap step 8 with step 8. Step 2665. Swap step 8 with step 8. Step 2666. Swap step 8 with step 8. Step 2667. Swap step 8 with step 8. Step 2668. Swap step 8 with step 9. Step 2669. Swap step 8 with step 9. Step 2670. Swap step 8 with step 9. Step 2671. Swap step 8 with step 8. Step 2672. Swap step 8 with step 8. Step 2673. Swap step 8 with step 9. Step 2674. Swap step 8 with step 9. Step 2675. Swap step 8 with step 8. Step 2676. Swap step 8 with step 9. Step 2677. Swap step 8 with step 8. Step 2678. Swap step 8 with step 8. Step 2679. Swap step 8 with step 9. Step 2680. Swap step 8 with step 9. Step 2681. Swap step 8 with step 8. Step 2682. Swap step 8 with step 8. Step 2683. Swap step 8 with step 8. Step 2684. Swap step 8 with step 8. Step 2685. Swap step 8 with step 9. Step 2686. Swap step 8 with step 9. Step 2687. Swap step 8 with step 8. Step 2688. Swap step 8 with step 9. Step 2689. Swap step 8 with step 8. Step 2690. Swap step 8 with step 9. Step 2691. Swap step 8 with step 9. Step 2692. Swap step 8 with step 8. Step 2693. Swap step 8 with step 8. Step 2694. Swap step 8 with step 8. Step 2695. Swap step 8 with step 9. Step 2696. Swap step 8 with step 8. Step 2697. Swap step 8 with step 9. Step 2698. Swap step 8 with step 8. Step 2699. Swap step 8 with step 9. Step 2700. Swap step 8 with step 9. Step 2701. Swap step 8 with step 9. Step 2702. Swap step 8 with step 9. Step 2703. Swap step 8 with step 8. Step 2704. Swap step 8 with step 9. Step 2705. Swap step 8 with step 9. Step 2706. Swap step 8 with step 8. Step 2707. Swap step 8 with step 8. Step 2708. Swap step 8 with step 8. Step 2709. Swap step 8 with step 8. Step 2710. Swap step 8 with step 8. Step 2711. Swap step 8 with step 9. Step 2712. Swap step 8 with step 8. Step 2713. Swap step 8 with step 9. Step 2714. Swap step 8 with step 9. Step 2715. Swap step 8 with step 9. Step 2716. Swap step 8 with step 9. Step 2717. Swap step 8 with step 8. Step 2718. Swap step 8 with step 9. Step 2719. Swap step 8 with step 8. Step 2720. Swap step 8 with step 9. Step 2721. Swap step 8 with step 8. Step 2722. Swap step 8 with step 8. Step 2723. Swap step 8 with step 9. Step 2724. Swap step 8 with step 8. Step 2725. Swap step 8 with step 9. Step 2726. Swap step 8 with step 8. Step 2727. Swap step 8 with step 9. Step 2728. Swap step 8 with step 8. Step 2729. Swap step 8 with step 8. Step 2730. Swap step 8 with step 8. Step 2731. Swap step 8 with step 8. Step 2732. Swap step 8 with step 9. Step 2733. Swap step 8 with step 8. Step 2734. Swap step 8 with step 9. Step 2735. Swap step 8 with step 8. Step 2736. Swap step 8 with step 9. Step 2737. Swap step 8 with step 9. Step 2738. Swap step 8 with step 8. Step 2739. Swap step 8 with step 8. Step 2740. Swap step 8 with step 8. Step 2741. Swap step 8 with step 9. Step 2742. Swap step 8 with step 8. Step 2743. Swap step 8 with step 8. Step 2744. Swap step 8 with step 8. Step 2745. Swap step 8 with step 9. Step 2746. Swap step 8 with step 9. Step 2747. Swap step 8 with step 8. Step 2748. Swap step 8 with step 9. Step 2749. Swap step 8 with step 8. Step 2750. Swap step 8 with step 9. Step 2751. Swap step 8 with step 9. Step 2752. Swap step 8 with step 8. Step 2753. Swap step 8 with step 8. Step 2754. Swap step 8 with step 8. Step 2755. Swap step 8 with step 8. Step 2756. Swap step 8 with step 8. Step 2757. Swap step 8 with step 9. Step 2758. Swap step 8 with step 8. Step 2759. Swap step 8 with step 9. Step 2760. Swap step 8 with step 9. Step 2761. Swap step 8 with step 9. Step 2762. Swap step 8 with step 9. Step 2763. Swap step 8 with step 8. Step 2764. Swap step 8 with step 9. Step 2765. Swap step 8 with step 9. Step 2766. Swap step 8 with step 9. Step 2767. Swap step 8 with step 9. Step 2768. Swap step 8 with step 8. Step 2769. Swap step 8 with step 9. Step 2770. Swap step 8 with step 8. Step 2771. Swap step 8 with step 8. Step 2772. Swap step 8 with step 9. Step 2773. Swap step 8 with step 8. Step 2774. Swap step 8 with step 9. Step 2775. Swap step 8 with step 8. Step 2776. Swap step 8 with step 8. Step 2777. Swap step 8 with step 8. Step 2778. Swap step 8 with step 9. Step 2779. Swap step 8 with step 9. Step 2780. Swap step 8 with step 8. Step 2781. Swap step 8 with step 9. Step 2782. Swap step 8 with step 8. Step 2783. Swap step 8 with step 8. Step 2784. Swap step 8 with step 8. Step 2785. Swap step 8 with step 9. Step 2786. Swap step 8 with step 9. Step 2787. Swap step 8 with step 8. Step 2788. Swap step 8 with step 8. Step 2789. Swap step 8 with step 9. Step 2790. Swap step 8 with step 9. Step 2791. Swap step 8 with step 9. Step 2792. Swap step 8 with step 8. Step 2793. Swap step 8 with step 9. Step 2794. Swap step 8 with step 8. Step 2795. Swap step 8 with step 9. Step 2796. Swap step 8 with step 8. Step 2797. Swap step 8 with step 9. Step 2798. Swap step 8 with step 9. Step 2799. Swap step 8 with step 8. Step 2800. Swap step 8 with step 9. Step 2801. Swap step 8 with step 8. Step 2802. Swap step 8 with step 9. Step 2803. Swap step 8 with step 8. Step 2804. Swap step 8 with step 8. Step 2805. Swap step 8 with step 8. Step 2806. Swap step 8 with step 8. Step 2807. Swap step 8 with step 9. Step 2808. Swap step 8 with step 9. Step 2809. Swap step 8 with step 8. Step 2810. Swap step 8 with step 9. Step 2811. Swap step 8 with step 9. Step 2812. Swap step 8 with step 8. Step 2813. Swap step 8 with step 8. Step 2814. Swap step 8 with step 9. Step 2815. Swap step 8 with step 9. Step 2816. Swap step 8 with step 9. Step 2817. Swap step 8 with step 8. Step 2818. Swap step 8 with step 8. Step 2819. Swap step 8 with step 8. Step 2820. Swap step 8 with step 9. Step 2821. Swap step 8 with step 8. Step 2822. Swap step 8 with step 9. Step 2823. Swap step 8 with step 8. Step 2824. Swap step 8 with step 9. Step 2825. Swap step 8 with step 8. Step 2826. Swap step 8 with step 9. Step 2827. Swap step 8 with step 9. Step 2828. Swap step 8 with step 8. Step 2829. Swap step 8 with step 9. Step 2830. Swap step 8 with step 8. Step 2831. Swap step 8 with step 8. Step 2832. Swap step 8 with step 9. Step 2833. Swap step 8 with step 8. Step 2834. Swap step 8 with step 8. Step 2835. Swap step 8 with step 8. Step 2836. Swap step 8 with step 9. Step 2837. Swap step 8 with step 9. Step 2838. Swap step 8 with step 8. Step 2839. Swap step 8 with step 9. Step 2840. Swap step 8 with step 8. Step 2841. Swap step 8 with step 9. Step 2842. Swap step 8 with step 8. Step 2843. Swap step 8 with step 8. Step 2844. Swap step 8 with step 8. Step 2845. Swap step 8 with step 9. Step 2846. Swap step 8 with step 8. Step 2847. Swap step 8 with step 8. Step 2848. Swap step 8 with step 9. Step 2849. Swap step 8 with step 8. Step 2850. Swap step 8 with step 9. Step 2851. Swap step 8 with step 9. Step 2852. Swap step 8 with step 8. Step 2853. Swap step 8 with step 9. Step 2854. Swap step 8 with step 8. Step 2855. Swap step 8 with step 9. Step 2856. Swap step 8 with step 9. Step 2857. Swap step 8 with step 9. Step 2858. Swap step 8 with step 8. Step 2859. Swap step 8 with step 8. Step 2860. Swap step 8 with step 9. Step 2861. Swap step 8 with step 9. Step 2862. Swap step 8 with step 8. Step 2863. Swap step 8 with step 9. Step 2864. Swap step 8 with step 8. Step 2865. Swap step 8 with step 8. Step 2866. Swap step 8 with step 8. Step 2867. Swap step 8 with step 8. Step 2868. Swap step 8 with step 8. Step 2869. Swap step 8 with step 8. Step 2870. Swap step 8 with step 9. Step 2871. Swap step 8 with step 8. Step 2872. Swap step 8 with step 9. Step 2873. Swap step 8 with step 8. Step 2874. Swap step 8 with step 8. Step 2875. Swap step 8 with step 9. Step 2876. Swap step 8 with step 8. Step 2877. Swap step 8 with step 9. Step 2878. Swap step 8 with step 8. Step 2879. Swap step 8 with step 8. Step 2880. Swap step 8 with step 8. Step 2881. Swap step 8 with step 8. Step 2882. Swap step 8 with step 9. Step 2883. Swap step 8 with step 8. Step 2884. Swap step 8 with step 8. Step 2885. Swap step 8 with step 8. Step 2886. Swap step 8 with step 8. Step 2887. Swap step 8 with step 8. Step 2888. Swap step 8 with step 9. Step 2889. Swap step 8 with step 9. Step 2890. Swap step 8 with step 8. Step 2891. Swap step 8 with step 8. Step 2892. Swap step 8 with step 8. Step 2893. Swap step 8 with step 9. Step 2894. Swap step 8 with step 9. Step 2895. Swap step 8 with step 9. Step 2896. Swap step 8 with step 8. Step 2897. Swap step 8 with step 8. Step 2898. Swap step 8 with step 8. Step 2899. Swap step 8 with step 9. Step 2900. Swap step 8 with step 9. Step 2901. Swap step 8 with step 8. Step 2902. Swap step 8 with step 8. Step 2903. Swap step 8 with step 8. Step 2904. Swap step 8 with step 9. Step 2905. Swap step 8 with step 9. Step 2906. Swap step 8 with step 8. Step 2907. Swap step 8 with step 8. Step 2908. Swap step 8 with step 9. Step 2909. Swap step 8 with step 9. Step 2910. Swap step 8 with step 8. Step 2911. Swap step 8 with step 9. Step 2912. Swap step 8 with step 8. Step 2913. Swap step 8 with step 8. Step 2914. Swap step 8 with step 9. Step 2915. Swap step 8 with step 8. Step 2916. Swap step 8 with step 9. Step 2917. Swap step 8 with step 8. Step 2918. Swap step 8 with step 8. Step 2919. Swap step 8 with step 8. Step 2920. Swap step 8 with step 9. Step 2921. Swap step 8 with step 9. Step 2922. Swap step 8 with step 8. Step 2923. Swap step 8 with step 8. Step 2924. Swap step 8 with step 9. Step 2925. Swap step 8 with step 9. Step 2926. Swap step 8 with step 9. Step 2927. Swap step 8 with step 8. Step 2928. Swap step 8 with step 8. Step 2929. Swap step 8 with step 9. Step 2930. Swap step 8 with step 9. Step 2931. Swap step 8 with step 8. Step 2932. Swap step 8 with step 9. Step 2933. Swap step 8 with step 8. Step 2934. Swap step 8 with step 9. Step 2935. Swap step 8 with step 8. Step 2936. Swap step 8 with step 9. Step 2937. Swap step 8 with step 9. Step 2938. Swap step 8 with step 8. Step 2939. Swap step 8 with step 8. Step 2940. Swap step 8 with step 9. Step 2941. Swap step 8 with step 8. Step 2942. Swap step 8 with step 8. Step 2943. Swap step 8 with step 9. Step 2944. Swap step 8 with step 8. Step 2945. Swap step 8 with step 8. Step 2946. Swap step 8 with step 8. Step 2947. Swap step 8 with step 9. Step 2948. Swap step 8 with step 9. Step 2949. Swap step 8 with step 9. Step 2950. Swap step 8 with step 8. Step 2951. Swap step 8 with step 8. Step 2952. Swap step 8 with step 9. Step 2953. Swap step 8 with step 8. Step 2954. Swap step 8 with step 8. Step 2955. Swap step 8 with step 9. Step 2956. Swap step 8 with step 8. Step 2957. Swap step 8 with step 8. Step 2958. Swap step 8 with step 9. Step 2959. Swap step 8 with step 8. Step 2960. Swap step 8 with step 8. Step 2961. Swap step 8 with step 9. Step 2962. Swap step 8 with step 8. Step 2963. Swap step 8 with step 8. Step 2964. Swap step 8 with step 9. Step 2965. Swap step 8 with step 8. Step 2966. Swap step 8 with step 8. Step 2967. Swap step 8 with step 8. Step 2968. Swap step 8 with step 8. Step 2969. Swap step 8 with step 9. Step 2970. Swap step 8 with step 9. Step 2971. Swap step 8 with step 8. Step 2972. Swap step 8 with step 8. Step 2973. Swap step 8 with step 9.