2023-25 in haskellHEADmaster

3 files changed, 1345 insertions, 0 deletions

diff --git a/2023/25-Snowverload/example b/2023/25-Snowverload/example
new file mode 100644
index 0000000..bbfda0b
--- /dev/null
+++ b/2023/25-Snowverload/example
@@ -0,0 +1,13 @@
+jqt: rhn xhk nvd
+rsh: frs pzl lsr
+xhk: hfx
+cmg: qnr nvd lhk bvb
+rhn: xhk bvb hfx
+bvb: xhk hfx
+pzl: lsr hfx nvd
+qnr: nvd
+ntq: jqt hfx bvb xhk
+nvd: lhk
+lsr: lhk
+rzs: qnr cmg lsr rsh
+frs: qnr lhk lsr
diff --git a/2023/25-Snowverload/first.hs b/2023/25-Snowverload/first.hs
new file mode 100644
index 0000000..18063f2
--- /dev/null
+++ b/2023/25-Snowverload/first.hs
@@ -0,0 +1,76 @@
+-- requires cabal install --lib megaparsec parser-combinators heap vector fgl
+-- very slow with runghc, use ghc -O3 -o first first.hs
+module Main (main) where
+
+import           Control.Applicative.Permutations
+import           Control.Monad                    (void, when)
+import qualified Data.Char                        as C
+import           Data.Either
+import           Data.Function
+import           Data.Functor
+import           Data.Graph.Inductive
+import qualified Data.Heap                        as H
+import qualified Data.List                        as L
+import qualified Data.Map                         as M
+import           Data.Maybe
+import           Data.Ratio
+import qualified Data.Set                         as S
+import           Data.Tuple
+import qualified Data.Vector                      as V
+import qualified Data.Vector.Unboxed              as VU
+import           Data.Void                        (Void)
+import           Text.Megaparsec
+import           Text.Megaparsec.Char
+
+import           Debug.Trace
+
+exampleExpectedOutput = 54
+
+type Input = M.Map String (S.Set String)
+
+type Parser = Parsec Void String
+
+parseLabel :: Parser String
+parseLabel = some letterChar <* optional (char ':') <* optional hspace
+
+parseLine :: Parser (String, S.Set String)
+parseLine = (,) <$> parseLabel
+                <*> (S.fromList <$> some parseLabel)
+
+parseInput' :: Parser Input
+parseInput' = M.fromList <$> (some (parseLine <* eol) <* eof)
+
+parseInput :: String -> IO Input
+parseInput filename = do
+  input <- readFile filename
+  case runParser parseInput' filename input of
+    Left bundle  -> error $ errorBundlePretty bundle
+    Right input' -> return input'
+
+compute :: Input -> Int
+compute input = size1 * (order g - size1)
+  where
+    n = L.nub $ M.keys input ++ (S.elems . S.unions $ M.elems input)
+    e = [(from, to) | (from, tos) <- M.assocs input, to <- S.elems tos]
+    n' = zip n [1..]
+    e' = map (\(from, to) -> (fromJust $ L.lookup from n', fromJust $ L.lookup to n', from ++ "-" ++ to)) e
+    g :: Gr String String
+    g = undir $ mkGraph (map swap n') e'
+    size1 = length group1
+    group1 = compute' (nodes g)
+    -- Karger's algorithm to compute a minimum cut
+    -- implementation from https://github.com/jrp2014/AoC2023/blob/main/Day25/Day25.hs#L60
+    compute' :: [Node] -> [Node]
+    compute' s | sum (map count s) == 3 = s
+               | otherwise = compute' (L.delete (L.maximumBy (compare `on` count) s) s)
+      where
+        count :: Node -> Int
+        count ns = length $ suc g ns L.\\ s
+
+main :: IO ()
+main = do
+  example <- parseInput "example"
+  let exampleOutput = compute example
+  when  (exampleOutput /= exampleExpectedOutput)  (error $ "example failed: got " ++ show exampleOutput ++ " instead of " ++ show exampleExpectedOutput)
+  input <- parseInput "input"
+  print $ compute input
diff --git a/2023/25-Snowverload/input b/2023/25-Snowverload/input
new file mode 100644
index 0000000..7c0486a
--- /dev/null
+++ b/2023/25-Snowverload/input
@@ -0,0 +1,1256 @@
+pxv: xtm lsh jgq
+tgb: jqb rmh fzx
+fnf: mpx lzb vnb sgd lhz
+blx: xrj
+zql: czm kqz gjt rxn
+mzp: fqk
+kjb: nvn flq vbj vzx
+jtx: stq
+ntf: bgg
+lsc: plj ljr
+bzg: rdv
+fjl: hhs fsq kbt jmb
+hzv: cfl smm mtv zkb
+lft: grq btj
+hgc: hnh dff
+rmx: ckz sgj fzz pgh
+tnz: qst vlf ndh
+tsm: vml vgx
+zkb: pvv mng gmr
+gjt: mgv jcj lzc mhz
+kqb: xgm nvb fzj mfb
+pjj: fjb hgp fkb
+msn: rjh fdv
+bnj: fxh xlp
+bjk: gfx cbz fzj qzq
+kzl: jdj
+hxt: dlj ttx
+fvv: mfl tdh sqt
+jgd: nzn blx bxv pkt
+xvx: qkl grq xvz
+dmb: hnh
+hrr: pst bbk
+mzh: mxd knn brg lxh kfn ntf
+vdl: gnr qxm xks fsq qqr
+qrk: kxf jzj fbj szn rfs
+prs: mdd
+bfr: nrf
+sqp: nmt
+gvh: qrv mrm vrc ttd vxh
+lzf: rzq jhr jjd mff
+gpj: pxn
+zqg: rjt cnp dxz
+xgn: mst xjv
+ppr: tkm
+xnp: skq dlz
+mpn: fct nhv vrv hnh
+xsk: cbc phm jmd ngp
+vzm: xlk trg jct
+fmk: mxd ckv psh pzx
+vtv: jmd nbl
+jlv: btf zmh
+rkj: qjx cst jjd cvj
+gzg: dlz sls knn rzc
+sth: tzn cgq qqj plh mvv mrq
+nzz: nbj hql vqc
+vct: hhj gxs zsg hgq
+ckb: zbc phh
+hgp: fzr dkr
+tdh: jjs
+lqd: vrc mxk qlk dlr
+mkh: rtj pgz vzj
+rdl: pnm mst
+stl: hqd lzc dlb
+ghb: xxj hmc
+ppt: psx ngh ssk
+njl: msn gkc rhh vzm
+xgb: ftc plj fnj grf
+xxd: kbt szx cvq hqn
+hms: gxf lkx nvn vhd
+gxf: bjk skd rlh
+ndx: qtr hrt
+dks: fsn
+lzq: csr rjs
+rfx: csv txd qps cnl
+srl: cqv
+vlf: zmh pnq
+fnq: zgb jdk lkb ccn
+dln: ljr ctf
+pdt: lzc phc rzf
+lcs: bhs xtq
+lgm: frz zxr lzc
+vdv: bzg
+mhz: smg
+trj: cjg krh sgj
+prv: msp
+fvj: gpd
+bdz: szn zmt pdk ptd ngh
+sgd: vft hdm
+dds: jdh qqj qdf pmx
+pbq: qph qxr ffn nqz
+mms: bst brz pjg
+qxj: tjs blx snb
+pzt: vml
+zzz: pkt dqs gfg
+dtm: mqv dtr rjt fct
+rxp: tgj
+lgg: vhn pjr
+jzk: rvb zdv qvt gkk
+xfj: cvj sgd nrk lcm
+vfq: vmt znq gnr
+sbp: hmr
+qzq: kgv npb
+flh: nrx crh ddj szk pdk
+cmv: vtv ntv gcn tvc
+tck: cnk kjv vcp gld xlt
+qfm: nqz dlz
+nxv: nbb
+kbq: jtx hgp
+mdr: fnz gqd vnn bst
+bpp: ppd lnh smm zxq
+mrq: jbh
+zdt: gqd
+pnq: dhj rqh
+dvx: qvp bhd
+sch: dtv dfk
+cst: ttd
+vbk: qkl psx
+tmz: qgg mzb jgs jsh
+ddj: tgv msp gqd
+zkg: mnd xbm kbg
+hmx: rln kbg sck lzs
+tqb: bjh xsp fxz tvt fpr
+bjm: xrr
+hjs: tmj dzc lpl ktz
+cdm: tgq hfg hxt xmh
+hhv: fxh hvs
+rrm: ldm
+xcs: dfj xhc
+khk: vgx rgt
+slf: ccj fbp sxt
+mcd: fmx jqq qhq
+pkl: fvp qhv ngp vcp jgq
+hzn: tpf mjs ghl
+gxs: hhj lfb
+tzn: prm
+tkc: tvj bjm
+hps: bbx
+hrs: qdl gsh lfn lhn
+ffn: rjh
+zhh: lvl hhc
+pch: pkj njr nzd lmv
+smk: pjs gdl
+ssc: rxp smk lhn
+tzd: xtm phn lpl qkg
+jmp: gqp lln
+xkp: jsm
+qch: lqp
+vjg: snr drk spc jcp tpf
+hvx: prm ztt qvp
+qdp: fsn fdl kdv vkv
+dkc: jkf rxg ncg dpn
+qhd: hgg phh gvg csr lmz
+nlz: czv cxj snv kxk tnx
+xbq: gzq fjj pmr tmj
+qnn: xxn qjk lqp mzp
+qqr: fkx mfl ghb
+mzk: xgm zjg tgb dvr gvr
+fbx: lmz fld nvb bcr rvn cgm
+tkf: czv btf
+mtc: bsf jnn rkn
+psz: htn bpn vnt
+msg: pjs
+rln: nhs lsm
+xcx: nhs xtp
+hgg: xmh hxt pjs
+lsh: jnq
+qgm: sdz
+ztf: ndx ncd lzq dsr xsl tnx mzb
+phn: gmz kvv dzz
+vnb: zfh
+xjv: tfg
+msc: pgh srf qmb
+tvd: crv cbn zcx
+gsd: crn phh jcp
+xvg: prm jjt
+cvf: qjc fkb ltk cgq
+ftb: msp gqq gqd vfq mlk
+rcr: cmd tzm mpx hhv
+vkp: pkr
+hgq: nlc ssk kdg
+tzm: hzf flq
+lxg: jbb vgp
+hhc: rgz
+zbd: csr rts lnz pkp
+rrt: pgz tjb jst prn
+gxx: dpm hkv xlr
+qmb: jcj bsx dxv gxv zbd
+brz: lgk kbr tck hjp
+ptt: hbb fdl qqd
+bdq: fjc
+cpp: btk xtp
+mdh: pkm qrs ppt
+fxz: kkk sns
+jqd: szr vlp bdv kgv
+lpr: njt mpx
+xbf: rhh dts cbl vnn
+dzn: hbh czs qns
+cpk: bmv scj xzj msj lzc
+jdv: jht
+zvv: zsg zmm bnc
+npz: nhv dqx vdz cpb cbl
+prc: jnq
+czd: kdx fjt qrv lnn
+cgn: fdc mpx kqq
+plm: hxs mhx vtt
+ldp: cqb pgg trg psx
+dsz: lqp djg fqq
+szh: pzx cfl cdk kzl vzn
+jjd: kzz
+tpz: phn bnr xlt
+bhd: vbh
+cbl: rzc
+jqj: nsh
+zmx: bnx ptg zhx xkp
+mml: vzx qvt
+cpb: qhb xlt
+jdj: gfg
+gbx: jvs lgk vdn
+jqz: gmv scd lnz jdk
+kdq: xjd gcg fjl kgx
+ghg: mxc
+pnt: zvx vbp
+plh: zgb crs
+fjp: cjc hpf snr xfj
+czs: vth
+prn: nsv mbh dtk kzz
+lxb: jbh vft nbb
+ftt: gfg vkv cbn vns
+shq: gbv qns flg
+phd: lpk tmv dlz
+zvq: nnk khk
+hnh: kdg
+llb: nxv qxq
+ncd: fkb
+tmv: xjd cmz
+dxj: tcc
+qfx: ltm pdk mxc
+mfb: fgd
+vjn: skn gmg
+htv: rnr fht jjq fth mng
+tqp: ktp scp vcj ngs
+jsz: hmr tqx
+mzv: sch msj
+jnr: drr vnm nkf zrj
+chg: ppd vcp dtr lsm jnq
+qkx: xxt tgv fnc ngs
+vtm: mvr bkg rdv
+bsn: mdd
+zmh: stl
+ljx: gtb vnh msp jbt
+rhl: ddb ghl bcq srt
+ljr: czp
+vnn: drr
+dmz: djg bjt nsz drk bsn
+cqk: rjh mch nlc drr hrn njj
+zld: tsm nfr
+gjk: lcs vgb
+vln: rbl mdh ndq
+ctk: cjc vpq hgv
+qlr: prs cjc hhc
+fpf: gvr vxh
+fkh: bjr bjc dsv
+mqk: bgl lgn kff
+xvp: vcn bjm stj
+xgm: zvs
+pgh: kkt
+pmp: ngh pkv bsc vsj
+snr: plj
+pqd: zfm phg lzb jfl
+bqt: nqf nfh xvg csj
+xjp: rfg mtv mfl
+gsh: rxp hzf jtq dtv pkr
+znh: zxq
+zvj: mpx ccn czv qgg
+lhg: fjt bnx mhh
+tjs: ngs
+knn: bbs
+lfb: bhf
+bcn: rrg ssn lzb
+njb: tml hmk qqk
+dbv: ttx vbn vng qgf
+rzf: ssn skh
+ddx: ppx hsm znh rdl
+qfz: kfj kdv
+xnk: gkg
+ftc: tkc jst
+vtj: thv jdj tdh
+dtk: ghl qnh
+sls: pzx scp
+vcp: knc
+fzz: zth
+xqk: qvt jtq
+tvt: llb krf mvv
+dvv: kpz fbj phd nng
+pzc: vfk fsr jsz tqb sbm mvv
+gpl: bkz pts mmk
+mzl: xng fxz qlk
+nbh: dmm qfz brs gld
+txd: vgb btk
+zgb: dfk
+hhs: xkf
+gck: bcn cqn tcc cgm
+fnj: qvt mcv ttd bfx zfh
+bjh: mzt jzq zhh
+ssn: vzx bbx
+lxk: xrd dxb
+rbl: tvc gdj
+mcv: mrq zdh pts nmt spc
+ztb: lhz nvb lnb jzq
+qgg: tzm hpf gfx
+mnc: hqd qnh rkp vnt
+kdx: bjp ltc
+mvf: zls cnp rfg rxr
+plf: dtv npb xng
+grd: zjm vcn jzq
+gms: smg lnz
+tlz: mdd gtt
+vpp: pst fvp hhr njj qxr
+slm: llj
+jxv: kpz rnr
+lvl: bbx
+rnx: dks
+qbh: vhc pxn hgv
+qnh: bzg
+rzz: vbh crn
+qmx: phr qqb njs pzt
+nhc: pxt vcs jtz
+ptn: mff vpq
+ppp: hhv msg srf fxm
+rsm: cls cxq sns bcr lmz
+xdx: xrd zhp kdx
+bnx: fqq mxk
+jzg: vqc dxj lxk
+zrn: bhf sfb zxq
+jbs: ksc thv lnh nbl rbj hfv nzn
+ndq: jqj
+gnr: rrm vns
+dfr: msj gtt bkb rbs xlv
+ptd: hbb
+rrq: fsr xrr xvp ntn
+mjs: cxg
+gfq: rmz gms lxb lzn czm
+hfn: nhs
+rcb: mcg lpr dlt mlh
+qlp: xtp cht mkk nfg
+kjg: mbk nrk qqj tmz ssq
+frx: pcg qrs bnc vmt
+kqs: ckz rtj
+vkc: mrd vfc qrk vmt
+jtq: sjb
+frz: psz ctf fml
+qhb: hpr
+ndr: bdv nqf jrl sld
+txh: xjp fqb zzx tft kvv
+xbz: jkj hxh
+ksc: czj hzs kmp
+cgl: kgx cbc
+gtk: dmb mlk
+dcx: lsm vdz rjt
+spg: jzc mkk frx
+pms: xrd gmg
+hdl: fpj
+bpj: kzz
+vpc: mqv ccj bdq
+znn: gpd nzd dtp
+pkp: zhn hdb krh
+ltp: msj lzc
+ckh: jsz rvb xgm jsm qch
+stj: vft rvn qns
+cbn: vnh zls
+mrg: tlz njr lhs nxv
+mgk: pnm kbm
+hmj: fnc qhq
+gbz: ffn rkv kzl pdj
+cls: bmt vkp
+fmp: drs jkf jmd sck jnn tkt znh
+gxv: jgs xqq nhl
+mgv: zhd
+xgf: rqh
+jjs: jnn mxc
+nmt: szr
+zpr: fkx lhm dcv
+cvq: qhb qfz qxz
+rbq: gjk xrb qrs hbc
+sqh: phn xhc hnk qng ktz
+ntz: kbm pll
+rhh: qmm
+hxl: dtv gsh
+mhq: jbh
+dff: cnl kfn kdv
+vjd: dgm jcj fpr
+nnt: vng nvt qlr lms bmv
+grj: gld mgk zzx fjj
+xsp: hzf
+snp: stm ghg xtm
+rss: rjt mgk fdv
+qgx: fnc bxm
+fqp: hxl
+spc: gpd
+cnm: tcc
+kpf: vzj hps lfn
+ljv: cjc
+hnk: fts gqq pkt
+dgc: mmk rrg vqc
+brg: fxg gcg
+rjq: mbt fqp csj
+jkt: gxx jbt plm
+htn: vxh gcc hdb
+nrk: jrt
+zvs: zdh klk
+xdk: rzc fsq ctc btx vxb
+tlc: gsk cgg mjs
+lkx: xzj rts rsb
+rpb: jzj pkm llj
+flk: mqk qst pcv
+bsx: zjg cxg fms mxk
+sck: xrb
+zxq: dzc
+vds: slm zdt cxh gjg mlk
+rxn: sgd xxn
+mbn: hvs hng ptn prs
+zvf: fjt fvj nzz kxk
+bjt: fgf xrr
+ggb: hgv cgg mzp
+hhr: ldt
+gll: rrg dvr
+mxb: hsd jvs rkm jnc
+dct: gjl xxt gbx tzd
+mch: fnc tjs dks ndq qmn
+svb: trq tbs gpj ctk
+qst: rjs rjq krf bjr
+lcb: pvr skq kjx
+sgq: zxr mqn vqc
+cvn: vcn lhz smk mbk
+hjb: bjv vcj vnh qfm
+lkd: ncg ssk bgx cts cvv
+rkh: fjc jnn
+jtd: ngn vnt nzd
+qjz: zzz dfj xjd qfx
+nbp: jht pfc nqq snt
+thh: dsz ntn qch grd
+vtt: hhs
+snb: xjv stm
+cch: frz mmk mzq
+hdm: bzg jqb
+rnr: rkz
+xzk: dxm zth xvg mrg
+fcx: jjv
+bmv: fsr rkp
+jsh: sjb
+lhn: pdh nqf
+fjt: xrr
+pdk: tbd dkl
+dpf: lmv gms msj gcc qns
+mjf: vdv rzq sdn tnz
+szn: gmd pgg
+rxf: jrl
+hmz: rcx phm
+bqj: hbb xzl chh ckv ngh
+bqc: lhs
+lpk: ldm nrf dsh
+cdk: fcx khv cnl
+pbk: hbh tht ltc kpf
+dgr: hqd gmv kmz
+rmk: crv xhc lsh
+pcv: lzc hvs
+zcx: fmp nfg rgt pqz
+fnz: ffc
+pnm: cvv fcx
+dvq: mjk dsv sns fld
+cmd: ljv cgm qzq
+xrx: czp sjb vbh
+dcr: xbm rgc
+nfh: xhl kzn zdb
+kst: hvs
+kdv: ngs
+jkf: bnc
+mvb: spc crn
+kgx: lgk gdj
+qmq: lzs pcg nnk phr
+vrp: vtj hfv njs qkl
+rcq: fkd
+xhc: lkf
+qrs: pzx
+kzn: mff fzh dgq
+hkh: qpm lnx knn
+cgk: lkd jkj mgk
+xqq: xxn jff
+hfc: bhd xfx fbg
+zpt: mbh
+kbg: xbg xnk
+sbn: nbl zzz glz rcd
+dft: qng gdk zzx
+zxr: hgv mhq
+dvz: jdk zfh
+zhn: bjr
+qvp: nvx
+nvn: ltc rts jhr lxg
+fjj: pll
+lnf: gsg vbj dsz nhc
+qkm: rhh pcg vdz dxc
+lql: cqn nvx mhh jjd
+kkk: sdn dnk
+fkv: hgp rxv ngn nlz
+pls: qgm qhb
+qng: ctc lpj
+rkp: ttd
+vhd: tgj xdr
+vfc: kdg jfn
+pgg: fct
+zmc: dxc vmt xnc
+bgl: vbj
+dxz: jnq
+lmk: bkg
+slv: grj mch jrc
+vdz: lxh
+xvf: lfb ndq qrc qhv pdj
+rbs: nbb qtr
+bst: xnk jfn
+xmb: sbp jsh pmx bkb
+ctc: vtd dks
+mxk: czs
+lnn: csj
+drp: scp bvk zsg
+mrc: rtp lgg
+zvm: fgd vgh mlh
+hgv: zvx
+qlt: npm gbx bhf vhh
+jjq: qrc rkk hkv
+hpr: tkt
+hhj: cnk nbl
+skv: bpj hvx rzf
+sqt: vnn dzz
+jvd: nxj njt sqp
+fks: jvl cls mjk skd
+scn: skh pcv
+jzc: rnx
+dkl: nzn
+grf: szr lpr fzj
+frl: bhd
+bbk: xjd kbt
+tgj: plj
+fsm: tzs gkc dft xgn
+vcj: mcs dxc ppx qqb
+ntv: klq hzs
+fld: dvx bzs
+mzq: xrd
+qjk: fzh
+tss: bgl jdh jtx gvg
+xkf: gdj ntz dtr mng
+kxh: qxj ptd vfq
+kjh: ttt vnb cst pnt
+plq: ssq dzn jsm
+mbj: sls kbg slv vrv
+hrt: lkb prm jff
+fsq: dcr
+nzn: nrf
+qdv: mtk smb tlc dgr lxk
+skh: kkt
+dbf: mzp ptn vjn
+nhj: jfn bdd rnr bxv
+gcx: fkr ssc kqs cgn
+cmz: vqm
+jrl: cnm dfk cbz
+bdm: lnn xng kbq bdj
+dts: rgc dpm njj zld
+nmm: llj qqd
+fkx: jnc rkz
+bkb: bkz
+kmg: znq prc nhs cvv zmt bqg jjg
+fjk: nqs xtz gxx rfg hdl
+btf: cnt phc
+fxq: tsm qxz fqf gmd
+tft: kql jcv ghg
+vtp: nsh rkz srk svc
+tqx: bgl zvs
+djg: rcq jfl
+mqn: bsn pnh
+mrm: dtv gqp rqh
+dsg: ttd zhd tkf
+vzx: fkr
+njs: kbt zls hjp
+jqs: dln vbp krh
+rsb: qgf vjz gpj
+xxj: ltm knc
+hfg: vth kqb pms
+fpl: dsh xks
+ngp: jzj rkx jct
+ltf: cgg nmd
+blb: ghl tkm ndh xqm srf
+jfq: bfr cbc bdq mfl
+vst: dsr kqb nvb gpd
+ccz: pll tql brg bnc
+ntx: hxk gmr gkk nsv zbd
+fxm: gcc mzq
+gkk: mvr
+glz: pcc xxt zqm
+crd: pgg bgg rkh
+rcj: rjs
+gjg: mpn jkt cnl
+jnk: stj mvr lcm tkm
+rtj: flq
+xjd: mtc
+hrn: khv
+dkh: kjx lpk hmj lgk
+bgg: kdg qqd jjv
+vgj: rrm hzs fpl psx
+flg: czs hvx
+btm: hsg ngp cgl vgx jdj
+xzd: flg kxz
+vcs: mqq scd srf jgs prs
+npx: mxk rfr mxt ltp
+vkq: ppd
+gcn: fct rpf
+vgh: qns srt kxk
+xxz: fbp rkz
+jqt: gmd mxc kjv zvc fjf hfs
+ssq: cjc
+lcz: nqq jst zhd qnc dvz klk ljr plq
+zdp: bcn pnt mqq fbg
+dvc: tql rkn
+bhr: dzn mdd jhr bqc mfs dsz
+qxr: lnx
+jvl: bss psz brf
+zsg: lzs
+rfm: tnx ljv vxh
+cxh: lsh dzc svc
+lkb: rzz fzj
+jdt: nqz rfg
+rkm: btj qfx cfl
+pmb: vhc
+zbl: bsn mbk
+vhk: qjc cfr lhs
+jbr: rdl jtt jjg ffn
+qsv: gzq xbz fnz mnd
+sgj: gkk
+xlk: lnx slm fsn
+cpv: bjm kqb msg
+zmm: vhh
+scj: brf jcp
+tpv: lgn vxh dtk rfm
+lmv: crn
+nvt: bgs zbc dsg
+bxn: cst ckz rbb bcq
+klk: vft
+vsm: skd jdv ztf ttt
+sjb: vpq
+qrc: hmz
+bdd: kjv rtp szk
+vxb: gmz sdz
+vhc: vth
+rdv: rxs czp
+htk: zvx mxk sbp vhd
+sbz: fqz smt nmt gpl
+fqf: gtk bsf ghg
+mkn: vzn rtm
+gqb: fgv skk kbg
+ngq: ltn lnn vzj
+rdc: xcx dfj qxm cgk
+xtl: rlr fjc xbz btx
+jgq: cqv fbj
+krf: jtz xgf fpf
+mfs: xgf csj hhv
+fgb: nmd fbg hvx
+svj: ntf sfb lnh dkc
+brv: vjg qpd gxc bqc
+mlm: qdl tgj smq
+mzg: prn xqq dlj xkp srj
+jrc: prv
+csv: nng bvk
+hvs: xsl
+bxv: vgf nnp fjf
+lbn: rxs rqh vss lfr
+nvd: vqm vhh bjv xtp
+lzs: hnh
+mqv: jnq
+rkx: jjv
+sct: lgn tvj lfr ndh
+bmt: nqq flq
+rkk: xlr btj ptd
+kzb: zhd
+mdm: vdv mmk msc ttx
+fts: brs
+pvh: bcr xlv
+zgr: dgq gsk
+mkc: fvj pxn xrd pts
+xjg: hfv hxh
+mtv: qhb
+kpz: fln hjs
+cfk: rsn jpl mrc gcn
+pdh: jsh fkd
+qps: xtm
+vnv: fnv rnx fqb llp xbz zqg
+sdf: fxg
+jpl: tbg bxv bdq
+vvk: tzn smt bzs cpv
+jrh: cqq lpj jqj
+vcv: clp dzx gxv tkc
+vrc: hgv tbs
+gcc: njr
+cfm: pbr mld ktz gxs
+bxm: rzc cnl hdl
+fjb: rxf lvl vbp
+qjx: bdv zjm hbh mvv
+hbc: zmt
+zsx: gfg rsr dfj dbq mrc crh xbg
+rcd: qxm pnf rpf
+ctp: tpz vfc jcl hdl
+hsd: qfh
+xnc: ppx vfq
+rlr: bhs
+jkj: hxh
+xzl: ppd zqm
+sxm: hmj hqn
+sdb: jqt kvv bnk
+mnb: chj xkp
+lzn: jzq
+gft: qzq
+kjn: ltf bgs jrl fnx rgz vlf
+cjg: nbj krf mmk
+dnk: rdv lrp
+srj: mml rcq ctj
+gzb: thd rgz njz lvl cgg
+kmz: fsr kbn kst jpj
+jff: qtr phx
+kfz: mkk nmm gjl
+tnx: snt lcm djg
+hql: gpd pdh
+mmr: tch nvd xkl fpl flh
+bqg: gzq drs
+ldm: tql
+fmx: vkq
+dlt: ppr mhz
+mvv: gmv
+frg: vns nlc tql fxg
+kff: zhp ptg tml
+jtt: rxr vfb vkq frg
+skq: vqm brs
+fdl: lkf
+cxj: nhc hvb xlq
+bss: qch rbs hps
+fgd: vpq zth gfx
+cpf: prc zvq xnp bhf
+pjr: tdh
+rvn: cnt
+nmd: zvj
+vhn: glc hpr
+qrv: gnp kkt tkc
+jrr: kjr fqk zbl vlp zhn
+ndh: dvz
+str: hsm qfz vdn rnx
+hvb: tkf zdc hng
+bfx: jrj ctf tjb
+rmz: fxh zdv ncd xhl
+jbn: hpr llj czj fts
+nzd: zdv
+hsj: bjp ccn vkp
+rsr: hsm snb bfr
+xqm: jbh
+nng: jjv gmr
+fpj: jzj zmm
+cqq: qhb rkz pqz
+pfc: cst phc hdb
+kxb: chq rdl bng qps jzc
+jmb: vfb bxm xvx
+crs: rtj vnb xqk
+tbs: qsc dlj
+pxn: ztt dgq
+bkz: kqq qsc
+phb: qnc stq rzf mzv
+hng: qgg cgq
+njg: tkm ngq ltp gsk
+rkv: pvr qhv dqx
+ltg: nhv drp xvz bxm
+sdz: dzc
+xjl: cht kbm gfg lkf
+qlk: tvj nqq
+xbt: jht bjp jcp gtt
+pvr: jfn mhx
+drs: xbm
+lsk: trj gzb jlv qbh
+fnx: msj qgf
+kxf: phm xlr
+gtj: jmp vkp cmd rzz
+gtb: hxs cmm stx
+fpr: mml brf
+nkf: xcs
+llq: pgf rgt nfr
+mjk: ssq
+mgb: qkg nhg jnn vfb
+cjb: pgz lzq gms pmx
+xfx: czv mvb
+htf: ctx dvc qgx lhm drr xnc
+kvv: hfn
+zbj: frl zjm gfx hpc kbn zpt
+zrj: knc gmd
+dfk: phh
+tht: phx jhf jcj xlp dsv
+fqv: ctj jtq brf fkr
+lxr: dmm dlz fnv btx
+xpd: hkh ncj cbc vdn knn
+tbd: dqx dkl
+klf: rxs
+vfk: rhl zmh jqg cfq
+smm: vxb bqg
+xkl: rgc cts vtt
+vqr: crd ppd hxs cmz
+dbq: pgg
+hpc: xrx jzg vzj pgz ddb hbh
+tsd: cnm bjc zbl snt
+cjr: rbl sxm jrh dts
+gbv: zvm kzn gft
+qpm: xnp xhc rkx jgf
+bzs: zjg jtz
+stx: tfg hxh
+pcc: jkj qfh prv mkk
+tnp: nhl tss cdq fxj tlz
+gvg: xrr
+ckv: dlz fxg
+jrj: zhp ztt jpj
+lqp: bjr
+smt: mlm mfb
+gjv: jbb gll ddb jfl smg
+mhh: bgs
+hqn: mnd vns
+fqb: xxz vtt ptt
+jrt: cnt
+mxj: mst
+pdj: ddx vln btb cpp
+mzn: szk ghb skk rhh
+xks: rxg hsd
+zzx: qfz ljd
+rgz: jdv
+mhx: pgf
+fvz: qvp lln sqp mhh
+nfr: hnh lgg fts tbd
+qpd: hrt sqp tvj
+pxt: rsz snr znn
+cfl: snp dsh svc xcx
+vtd: hjs kzc dmm
+xlp: fkd tnd rbb
+ncj: dlz dqs xxt
+sds: tml cgg gqp
+bpn: lmk jqb jdk
+rgk: vss tnd xdx stg
+gmf: kbg rsn hsd pzt chb
+trq: kzb lhn
+fgv: zsg bhf fbp
+kfn: dpm
+xpt: fzh ngq xlv phg dkr
+nqs: fts bgx kzl szk
+lmz: lms
+qqt: jsf ztt xrx
+jdh: mbt fkr
+zjv: cgn ngn
+zvc: skk ktp
+vmp: qhb btj dqx qmn
+hzs: pjg
+qhq: lkf
+rtm: bgx rcx
+rvb: djg gvr
+cfr: dvr qqk mtk jhf
+gxc: krh nqq bhd
+tml: bkg klk
+mld: vgf pzt bgg
+nsv: vlf skv
+rrg: tnd zth
+qqj: gmv rts qtx fpf
+kpv: pnh rxp qqt kzb
+dlq: ccz cmc ldp lnx
+fzr: csr
+bcq: rxf rmh mzt
+gdl: qsc xgf
+tjb: ggb
+ljd: hzs vhn rlr
+ctx: jdj nng xzl
+nvq: qgm xtm dpm xdk mrd
+bsf: fcx
+lnh: skq
+qdf: mbh lmz jht
+gjl: xtq drs
+kzc: sxt vml
+vfb: xjg klq
+qtx: vft
+mxh: qmb zhh zdb phh
+hmk: lmk dgm
+tbg: tkt phn
+vsj: kfj dth zmc xgn
+fht: qhq pcg
+mqq: phc
+srt: phh
+dxv: vbj hmk
+dsv: dzx zbc
+sqv: zjm snv cch pvh
+hfv: pkt
+dvr: vnt jht
+lpj: vqm
+rzq: fgf tml pdt
+zdc: nhl fvj rxn bpj qxq
+nnc: lcb rmk cgl btj
+pbb: zld ndd fmx vdz vnm
+lzb: fqp dnk
+bnr: bvg rkh rss
+llp: dpn zmm pnf
+clp: kqs hqd hvj xhl
+cbz: fkd xgf
+fln: hxs hrn
+fqk: xsp qjk
+jqg: jjt vhk pjs
+ckz: zhp
+dcv: fjj tql
+scd: hdb
+pnf: hhs ldb jfn kbr
+zgz: mhf jkf jxv pxv
+lxh: cmz
+svc: chq vnh
+cqv: rnm
+pfr: jtd ndx kqk mjs
+spf: kst xmh fzz pkj
+djm: dss rqh snt
+tjk: rfm nxj mzq djg
+btb: txd xgp ldb
+tgq: vqv phg rxf
+mvr: cnm
+fpz: ngs jnq fmp fbj
+qmn: njs nqz
+znq: jjs
+hzl: lfr gjx fdc klf
+jhf: fgf vth xvg
+kjv: csv xrb
+tvc: jnc
+fvp: qdp kzc
+mhf: prc qxm
+crh: cmc xrj
+kgv: bhd bcr
+cnt: jjt
+hxk: fkb gtt
+fth: gjr hfk mkn dcv
+sfb: sxt qrc
+gmz: kfj khv
+vhq: rmh mbk njr lnb
+ldt: tfg
+fbg: zgr tnd
+npm: kfj sck lsh
+tfg: cvv
+plp: mnb fkh xzd qqk
+ltn: tqx skn dzx
+xlv: vth fzr
+pbr: vrv rtm
+svp: rcx pvv klq rnm
+dtv: kxk
+snv: dgq pgh jsm
+qhv: cnp jzh
+dhj: rbb zvs frl
+jcs: hxk mlh nbj pcv
+cjn: lft pls zrn rln rbq
+kjx: dlz nbl
+mlh: zdv vpq
+lhs: lzn
+cts: nnp fjc
+chj: nxv rbb hps
+jcv: stm
+pts: nvx
+xdr: mmk hzf
+kzz: rcj
+bhs: qgm mcs
+plg: plh jrr lzn hbt
+tlr: hvj dss xlp qqk
+vcn: pmx ccn
+qph: pbr rxr dvc sfb nmm kxf
+jgf: xkf ngs vnm
+nfg: kbt btx
+psh: sdb slk hrr gld
+rpf: szm stx dxz
+jtz: qsc
+dzx: rzz
+dgq: srt fgf
+njj: qfh mcs
+nnp: llj ngs
+fzx: gcc
+gdk: kdg vnm slm
+rtz: ntv fht mcd nhg nlc
+xlt: lfb gmr
+ccj: tgv qkx
+ktq: xvg jsm nqf ppr vnt
+qnb: hsm qqb mxd bbs
+flx: szk dxc dpn nnp
+zjx: pvr pls pst sqt
+tpr: dvx gft psz
+plj: vbh
+vgp: bpj cxq hhc
+cqn: pjj grd
+fqq: fzr bkb
+sbm: xqq hmr rmh rjs
+jpj: sjs mqn fzz
+xmf: qhq gkc vzn fnc
+zgq: ldm hjp xbm hbb
+mcg: qnc
+mzt: sbp mrq skn
+stg: trq mfb
+khp: fjc vnn ltm dzz
+njz: mff lzc
+bjp: qjc
+kcx: xfx flk jlv bqc sld
+ltk: pnh xzd jzq
+zgg: cxg jjt jgs ttx
+grq: tfg mnd fbp
+frs: jrc zmt xxj gjk
+bng: qgm llj tfg
+pxj: tnt sds ntn dgc
+rbp: jjg rnm bbs
+pkm: cmc ppd
+tnt: kpf mrg gvg
+dxb: zgb sjs drk nvx
+ttt: pkr lms vjg phg sns
+cmm: fln cmz frg fjj
+gnp: gmg dbf mqq
+kjr: zdv rcq pnt
+dql: nxv stq chj
+ctj: ppr
+nhg: vbk vgx
+ctf: xmh qvt
+dtp: dlb lzq nsz gsd mhq
+jbt: stm phn
+tzs: lpk dpn scp
+jbd: bpn vcn jtx bjr
+rsn: xrb mxj blx
+vlh: mpn xgp ffc dsh
+fsn: kbm jqj
+ddb: prs
+xvs: jnc pjr rgt hfn rcx
+tpf: dxm fxh
+jzh: jdj xxt khk
+smg: kkt
+nrx: vhh hmz qxm slk
+hln: fqf dvc mkn svc
+pvv: tbg slk qps
+cqb: kbr bhf
+dlb: jbh
+kfc: xcb xdr xld njb ppp
+bjv: fdv qkl bbs
+gjx: tvj lln hsj
+rbj: kfn sdf gdj rkn jqq
+czn: lcs rpb stm jcl
+smb: vdv stg zjv npb
+mxd: cnk
+xlq: qtx kzb cvj
+dlj: hdb
+tkt: pgf
+zjg: cgm
+mxt: ngn zbd vkp
+qxq: tgj vtr
+vbn: fzr klf bkg
+bdj: mbh zgb trq
+rsz: lmk czs zxr
+kql: qkg mqv
+cvt: vnh qxr srl tvd
+vfv: sld bnj pnh nxj
+lhz: zbc
+szm: sdf ckv zdt
+czj: hgc rxg vml
+zdb: bjc mgv
+csj: zhp
+ptg: fzx ljr cfq
+mrd: rjs rfs cbn
+rfr: hdm snt ndx
+nhv: chq
+btk: qfh pjg mng
+tnn: sch tzn dql
+bsc: blx xzp nbl kfz pjr
+cdb: xgf tjb mvv
+gkc: xlr zmm
+jjg: hrn
+pkv: cfk kzc rkk
+ldb: pjg vfb
+mbt: gmg dlj
+pst: glc
+kmp: lxh fnc hhr xrj
+cvj: skn xqk lnz
+rkf: hvx bmt vkp jhr
+pkj: lsc pmb
+trg: fnv
+rkn: srl
+klg: zvx rxs cnt nxj
+zbf: bbk hfn rrm mhx
+xld: skh spc jcp
+thv: hbc dqx
+szx: nsh vpc xcs
+fnc: gcg
+fxj: vjd phx pkp kst
+cxq: mff cgg
+chh: bnc qxr jkf nsh
+bdv: tkm tcc dxv
+cgq: kqq
+lhd: fnz prv
+tdn: lhg nsz pms zgr xrd qjc
+vhp: khv pls fvp kxh
+dqs: gtk jcv bhs nrf
+nzq: qrk kql rkk nkf
+xzp: lhd qfm cmz
+tps: bkg kzb bmt czs
+rtp: vnm pqz qgm hhr pgf
+hqd: cxg rlh
+zdh: kqq rlh
+cbt: jfl nmd mhz ghl
+xjn: cpp jcv zls rtm
+ngt: nrk fqk fms jrt
+xng: vtr bjt
+lcr: nbj lcz sgj qrv
+vkv: rjh dbq
+tts: lrp rsz rlh pnq
+pnh: rzz
+lrp: vbp bkz
+vxs: bvg ntz vgf cnp
+jqq: hkv xtq rzc
+gkg: glc
+dnf: xks hgc bgg tbg tmj
+bvk: ldt
+jvs: mxj hbc
+zhx: xzj qtx fzx
+bpm: cnk qxj jzc fdl
+gqp: ckb
+dsr: xmh msg
+ffc: nnp dmm
+xnr: rtm jmd brz mxj
+jmh: kzc xrj rjt qqd
+mcs: fct
+ftl: sdf dcr vkq fln
+xsl: hhc
+dxm: lms mhq
+lfn: lhz vtr vbh
+sjs: jrt xlv
+nhl: hpf qnn hxl
+mlk: btk
+rxv: zhn ctj lgm
+jsf: fzx dlb gms phx
+qnc: fzh
+vlp: tkc kbq
+njt: mcg
+fjf: phm tgv
+pxg: skh vhd zpt cdb lxg
+srk: rsn dmb fpj
+ftd: gpj shq cst njz
+mtk: jmp jjd
+sdn: mkh scj fzj
+gjj: pkr tpr tvz sgq dxj
+dzz: vrv
+gjr: rxr zqm cpb
+rbb: dgq hvj
+scg: jrc srl jdt chq
+qmm: dbq pgg
+hfk: vkv gkg
+lbx: vhc zbc xvg qdl
+hfs: cdk kfl cqv
+tvz: mcg ncd hmr
+dkr: rcq jbh ntn
+hsg: gcg cmc fnc
+xcb: lcm bbx lln
+nvl: rkp tnn gdl jvd
+rfs: vdz lxh
+hjp: jdj
+vng: dss mrq
+kqz: qvp jff
+stc: jst xqm klf ltf nvx
+ctv: fqp pmb scn rkf
+sgk: ckb vtm vjn pmb
+fzj: xhl
+fdc: rcj nxv
+czm: dlt xxn
+xtz: bfr dmb rbp klq ghg
+jxk: ntx gsd lxk cvj
+ztm: zvq xtq tvc zkg hfk
+cnd: sxm dcx rkx slf mcd
+vqv: zjg gvr dss xqm
+bnk: sdf cbl msp rxg
+lnx: bbk lpj
+hbt: nsz hfc dbf
+vqc: qdl
+hmc: vdn slk dsh
+jjf: xnk ntf gqb lft dvc
+tch: dzc znq
+ltm: rgc hzs
+cfq: hql rcj
+zjs: llq jxv tch rlr
+qgf: stj
+krh: bgs
+ncg: gsk gkg bvk lsm
+fml: jdv czp mjk
+kfl: lsm skq bsf vgx
+skn: hgv
+fms: trq hvj
+xvz: sxt nsh tql gtk
+skk: dkl
+ktp: ldt
+gsg: cfr pcv mzv
+jqb: rcj
+xzj: xlv rzf
+qkg: dxz
+jbb: hpf mgv
+xtm: fdv
+xgp: ngs ppx
+sdv: sld mnb xsl xsp hzn
+nds: kxz bjc fnx plf fgb cfq
+rlc: dks vxs vgb nqz zpr
+snf: hql drk zjv jcj
+bgx: nbl
+zfm: djm qtr llb
+xjb: hbb dzc rkm pst
+cdq: rlh bcr lmv
+dlr: gxc ljv dgm
+pqz: vhn
+mmk: zfh
+fqz: kxz rdv bkb
+cbg: mst fgv zvc vpc bhf qmm
+chb: mms nqz bvg vgb trg xxz jjf
+brs: rnm glc
+lhm: vzn jjs
+xbg: vfb msn
+qqb: mfl
+zqm: knc
+lgn: brf
+ssk: lpl
+gkq: mzl pvh xqm npb
+kbn: vtr tbs
+kxz: cjg
+phr: vgf sdz mtv
+ndd: tmv zdt mvf
+jct: jcl pll znh xjg
+qxz: xjv fnv
+bvp: scn kkk zpt gll
+btj: jdt
+nnk: nrf vbk
+kft: mhf fdv lhd njs ktp
+ffh: fxm cjc vfv fzx
+szr: mvb qjk
+hkv: bvg
+pmr: khp vtv nrx zvv fvv
+smq: cnt nbb snr
+vss: rvn xqm
+vjz: kqz dgm npb stq
+kbr: dtr jcl lpl
+dth: znq hrr qgx gqq
+cht: nkf zrj
+lnb: zfh vxh ssn
+mtn: dxm ftc dln mjs
+sdt: ppt mzh tjs spg
+skd: njt
+lfr: ltc flq jdk
+vlc: gqq cqb ktz jqq
+kqp: ssq hmk pgz lsc
+crv: fmx szh
+kqk: frl qnh bnj
+thd: jqs scd dxj
+gzq: srl
+mzb: gft fjt
+vnm: tmj