aboutsummaryrefslogtreecommitdiffstats
path: root/AoC2022
diff options
context:
space:
mode:
authorOscar Najera <hi@oscarnajera.com>2023-01-13 18:33:01 +0100
committerOscar Najera <hi@oscarnajera.com>2023-01-13 18:33:01 +0100
commita03b7549a73f016a4dd854bc9346a9bca155ffdc (patch)
tree3d0b63ad01b8e51f3f4350f774b373ddfdee9f97 /AoC2022
parent25957c30efdefce0c349a9ddf9100a458fa3e6ab (diff)
downloadscratch-a03b7549a73f016a4dd854bc9346a9bca155ffdc.tar.gz
scratch-a03b7549a73f016a4dd854bc9346a9bca155ffdc.tar.bz2
scratch-a03b7549a73f016a4dd854bc9346a9bca155ffdc.zip
day 21
Diffstat (limited to 'AoC2022')
-rw-r--r--AoC2022/21/eg-in15
-rw-r--r--AoC2022/21/input2733
-rw-r--r--AoC2022/21/solver.lisp26
3 files changed, 2774 insertions, 0 deletions
diff --git a/AoC2022/21/eg-in b/AoC2022/21/eg-in
new file mode 100644
index 0000000..e14be60
--- /dev/null
+++ b/AoC2022/21/eg-in
@@ -0,0 +1,15 @@
+root: pppw + sjmn
+dbpl: 5
+cczh: sllz + lgvd
+zczc: 2
+ptdq: humn - dvpt
+dvpt: 3
+lfqf: 4
+humn: 5
+ljgn: 2
+sjmn: drzm * dbpl
+sllz: 4
+pppw: cczh / lfqf
+lgvd: ljgn * ptdq
+drzm: hmdt - zczc
+hmdt: 32
diff --git a/AoC2022/21/input b/AoC2022/21/input
new file mode 100644
index 0000000..7dbb825
--- /dev/null
+++ b/AoC2022/21/input
@@ -0,0 +1,2733 @@
+mdwb: 1
+mqwc: vcpn * ffjw
+fpgf: 3
+slsz: 3
+hhdw: 18
+dwpm: lmts / qtwh
+vmcc: qqjr * dtsp
+zqsv: 4
+gcpc: 3
+zgfz: 12
+bwqd: cvfs + hnzq
+lblz: scfb + slcl
+lgmp: ppsw + tnrc
+htfz: pffr + nhbz
+tjll: 3
+pgvv: 4
+jmqj: 3
+wwdl: qsdp * jhfg
+ftww: vbhb * vdlz
+jmvr: fmzg + bvfr
+lvwv: 5
+rpgr: 3
+mwlj: ptgc * qsht
+rdld: pbrj - ccbg
+nwvs: gjrf * jfcc
+bcrp: 7
+tzrj: 4
+vdff: mqjr + mqwc
+pgzs: cmsg * bcjm
+whrj: fssf / tflm
+jllz: 2
+mrsv: smfc + zjtb
+tlbs: 3
+ltmg: vvms * lcmp
+swpq: 5
+dtwl: 1
+fdsm: dscb * mcvv
+dnzf: 3
+bfvr: bgpr * cnnb
+blgc: 18
+qrbj: 16
+ptbh: 2
+zlbw: 7
+ndrd: rbnh - czqr
+glsc: vgnz + nlsn
+rjwv: 5
+qnlt: 1
+wnhv: dbmm * nhsw
+dwjj: nbtc * llzn
+wbjl: nrzc * sdvs
+jmwq: sqdz * flgg
+wrht: czrb * cpwp
+mpfr: vwzj + qgvz
+hclc: 3
+dnqw: 13
+lwtd: 9
+tdhb: cfjw / ttsz
+trpt: zcmw * hmbn
+gvpf: fclc / dzcl
+rnsv: 2
+gphq: 10
+lvwq: wgzh + jrnr
+jtws: 3
+rdlz: dgsf + gdvj
+czrb: 4
+gtph: qlwm - zdst
+bffq: 17
+dsdz: 14
+rjsv: fcjb * nsqd
+cwbr: vdff / sfrc
+ppcp: 5
+jtgg: 4
+gwfv: 2
+hqng: qftt * wscn
+dltn: qsbc * ctpn
+zpqm: 7
+swcr: 2
+sbld: mfbd + mnpd
+fqtz: 11
+qzdz: brhv * wcqd
+qvdc: msnb + jtpn
+rzfp: 4
+trng: ndmp + ndtf
+zbvn: 4
+qwhz: 3
+pwlb: vvfl * mgtl
+gmmc: 2
+pfhf: fsjh + zlqd
+gbzj: jpdl + qlzp
+rbnh: dsdz * dtlj
+qlsm: zbrh + gwlr
+szpf: 20
+dhtt: zvcm + chfw
+wbnm: blbv * lvld
+nbjs: 15
+vvpr: nfwc + hgbf
+bcsh: 3
+grwz: 5
+zzwm: 5
+nfdm: 3
+ldtb: 2
+gsdn: 3
+lqvv: hsfr + qqdg
+rqsn: cszb - gpsg
+vjvf: dvjz * ddbd
+cptn: bdzl - rdlz
+bcnz: 2
+zmjb: 4
+nwmd: tqzd + tdnr
+qglw: nhvf * gqsn
+htft: tbhs / pplz
+tzdl: tzcf - zlzr
+hllw: vlll * jstr
+fbhq: szfs * clhc
+gqfj: 2
+grgg: 2
+tpvz: 2
+zbpw: vdmv / dsdf
+vgnz: jtfn * hlsb
+phjz: 6
+slqs: 4
+ntcj: 3
+tfhg: 2
+bfbs: 4
+qnmd: 4
+wzdf: 4
+rmhd: djqq - cjzh
+snpt: rzdq * hssc
+vgcp: 13
+zpmv: 2
+hhzq: 5
+cltv: wgrz + smww
+hbbh: 3
+cphw: 1
+hbdw: 2
+rhtc: 3
+hzdp: 2
+vcjn: gwtc - nnwm
+hvzg: 4
+wbvq: 3
+fznd: dzvv + ffjz
+tjmd: hpcr * pdzh
+mjfl: cqrv * bwrs
+qcfd: mwtr * qrlj
+lhzb: lqvv * nfdm
+ctwm: 3
+clhm: llfn - jmnz
+zjlc: gdrr * lnjv
+zpsc: zpgt + wfdj
+zcqc: 2
+lrht: jbvw + ldcl
+jsbn: gdlr * gnjs
+cmcn: mrtw * whrj
+vsbz: smhv - gvpp
+whdw: dptm + bfmm
+hrrh: bmjp + fznm
+mbfd: 5
+bcrq: jzfz * ggjh
+qcdj: dzvl + zbct
+qccq: 3
+pvqq: stnn * mnnz
+ffwp: 18
+cmhv: wfng + fgzq
+gpms: dlss * mzpp
+ztfj: 2
+rrth: hmtf + pwdz
+fqfv: 9
+jgzw: 4
+hlfs: lgsc * rngl
+bjrm: fjph / nvfq
+ffpd: 7
+mcrf: llbb * mdcw
+qgjq: gwth - mrsb
+fcmf: zqhc * rrpl
+nmwt: gslq + rlgd
+lqdv: 5
+nrwr: 2
+dmcd: ndnb + fqfv
+vqsw: 2
+mvlw: 2
+ssdh: sbhg * rsdn
+jrnr: 18
+tcgb: 4
+gdmc: fhmr + qzdz
+drgw: 3
+mwmp: 6
+whjj: zcvz * wvrm
+bhlb: 2
+lwjc: 7
+dshn: fhnm * bsfb
+vmvn: 13
+cgzs: 2
+qrfl: zsvz + wpwp
+gmlw: 4
+sdqd: 3
+rncr: lrfp + tvpg
+pbrj: hzdp * ppbl
+rlgd: vzsr + dznt
+tqvs: vhvv * cddm
+jnmd: 15
+qpmq: 3
+zwtr: jrhm + wwdz
+ngzq: zrgb * rfmz
+nzvl: 3
+rjcv: 3
+gpll: 5
+sjmg: bjvr - szcv
+svrl: rjqh + sggv
+pdzh: 2
+mmzc: 3
+gqdv: 2
+dbrz: szqb * tfqr
+hltz: qbvz * zrmd
+fbgv: tjlp * drhw
+svmz: tqlw - bdmc
+cdlh: 3
+dgnl: 1
+nhwg: 3
+fggn: rbmd - lrnq
+wcbv: qjdh * gwfv
+jgjg: bvtl + pgqz
+jbvw: wzjv * rsjg
+dzmq: 8
+drhw: ccmj + nhgw
+hrlr: 11
+vlsj: 2
+rjvr: svbp * cmzj
+tbnl: cncf + nvbm
+mgpr: tzmz * frmz
+llfn: qvdl * brpd
+vstc: nrds * mqdf
+pcbl: 3
+zgfv: 2
+wlcz: 3
+wncf: mswm * btqm
+szjg: rncr - jsdm
+brwj: 2
+tcgg: gjmp + stcm
+lfqv: 3
+smnd: jqmb + vhsw
+gnjf: rqvn + rshh
+tqjd: 2
+dgnv: gfbc * vpqb
+vsjn: wmft - ttrs
+zrqm: 8
+qvhr: glgg * rqpw
+lfvb: bscz / fccr
+svwh: 1
+nzmr: 3
+jhsj: mpbl + tgdl
+qhlf: bjrm + zdhf
+whjw: qwpd * hrlr
+cpwp: 6
+njvl: vqvt + fqmw
+nbfm: mvzv + jrwv
+bbqj: 5
+bsfb: ggwc * jfqj
+lbwn: gpll * dsqq
+qmfw: 3
+hzdm: cttm * fnql
+rzfw: 2
+bsfj: 7
+pbfh: dldw + qlwj
+cvft: 8
+zvgq: 5
+jqvl: 2
+gdvw: bzcc - mrdp
+qfnd: hhdw * mdds
+jqdd: 18
+mwdr: 3
+dvjz: 2
+bjvr: qswb / jdrt
+qhvm: ghff / thfc
+rvbr: 3
+vbrf: 2
+wctp: 2
+jhqf: pjgt + ftcz
+whdq: 2
+mwmv: 2
+llmh: 5
+mjdt: 3
+ltrd: fnqz * vscm
+ttrs: tfrf + jvwt
+mpcc: qlrq + mdtf
+lfjb: trsd * nzsj
+pjvs: cwzm * whlr
+shzs: hrnv * zlhg
+tpff: 3
+tqvg: 3
+hdlj: 3
+vwjg: 2
+vvnw: 2
+wbnl: lrnn + jzpt
+sjpn: 7
+mmvm: zfdq + fnvw
+wqld: grqq + wvvd
+fpnc: 3
+dmsg: 3
+nrds: 4
+mqjr: flhw * mdmr
+vljd: 3
+jdpl: nqwl * wgsg
+hzzp: 11
+nlsn: 2
+htbz: 3
+dgdv: 2
+fgpp: 3
+rrpl: 5
+mndz: 2
+lvcc: shsn * qlwv
+crwm: jlqz + ptsm
+fftf: 3
+fnhg: jpmd - ddvt
+ttll: ndrd + whdf
+sgrh: 2
+fwfq: ttdq * hgzw
+jfgl: 8
+wvlf: 20
+rsjg: lbbq + zgfb
+zrwg: qtzj * zcvh
+pdmw: 2
+dbsd: qgwf * hvfl
+sffj: 2
+wwfb: jjsn * zzwm
+wtqn: trjs + mfwt
+gchg: gvrz + nnpt
+fmch: fdsm + pjtf
+grtw: ppqz * ssfw
+hglw: 2
+wjjp: qhbn / dnzm
+zvhj: 3
+hbqm: 17
+zpjb: 6
+dndg: 19
+wfdj: 12
+qjdf: 10
+dgdb: wlfm + cgfw
+bzcc: lfzp * wrrj
+zlzd: htfz * pgvv
+sbhr: mzhw + wvdr
+zfdq: tsln - dscr
+ttgr: rbdr * jqzm
+trcq: nnrt + cccg
+pgqz: 18
+dftp: 3
+qnsp: 3
+vhhj: 2
+qvdh: 4
+ltmp: lnwl * svrl
+zbgb: 2
+pmls: 4
+wspl: fsdb * fspl
+gzpm: dtwl + fzgp
+hbbc: 14
+nbtc: 4
+qbtd: 4
+fhwg: bnzf * cdvd
+cddm: 7
+fsdb: 5
+mbzz: rvbr * vmdw
+bqnz: bwqd + llmh
+rbmd: lqdv * rhzf
+bwrs: 2
+hcqv: 13
+blbv: tqwr + svdw
+mvnw: ttwr * sznf
+zdpr: 3
+hvqd: vqsw + jrwj
+bntp: 1
+zpfn: 7
+wdjs: 4
+hjvg: pqgj + vcqv
+rzjd: 1
+wnpz: 5
+bgsd: vbgn * mmcz
+ftbs: 3
+zlzr: 4
+hhcw: pznr / sdtl
+cqjr: qjdw * whjj
+bgtg: 5
+qjdw: 11
+jhnv: 3
+hdhv: 4
+mmrs: 3
+cshg: ltrd + vplc
+gdwz: jnsl + cqmd
+rwqz: 2
+zrng: tjll * cnhb
+lcvw: dzlh + djbt
+vplc: bcrp * zzlh
+dclp: flvr + pwll
+lhtc: fzqz + zlnz
+cqcf: cqpb * tlcb
+hbvc: qfmd - dltj
+ffbf: 2
+qlwj: nqlj * ghzs
+zfnd: znhd * wsqj
+ttwr: 6
+dbdg: bhnz * brrp
+pjdm: tnmb * pqzc
+scsp: pdjh + bpqs
+cldn: 9
+lcbr: dzqm / mtzr
+nghf: csfp - nwlh
+vscm: mrgl / rnsv
+vpsw: mcrf + vzqp
+njsh: tjjl - tjws
+jzmw: 2
+vbqn: sbrm * dvwr
+cwtd: gdtl + tjmd
+cmtq: 1
+wshr: mgwh * pvzn
+qhpl: mbfm / hthf
+cvpm: bcbr * mblb
+rvss: 4
+pptt: bzrm * lppd
+wqfq: 2
+wmlw: ttst + htjs
+jngn: vbsr + mzpd
+pvvs: nqgg + gzpm
+zffc: dpng + hzsq
+rzqp: tjpl * nfjq
+tfrf: dgdb * gwvr
+gzdg: 1
+lrnn: 1
+fdnh: 3
+ghff: nmsq + whjw
+jgfv: zfpq * jzgs
+jjbz: glpn - qtzz
+dsst: 2
+rblm: 7
+mtrm: gqmc * pchl
+wvrt: zwjz * psdz
+qsdh: 2
+zvvt: 2
+fnvw: bhjf * vpjw
+fwnd: qgqh * wqdb
+fvmw: 3
+nthr: 6
+cccg: cqcf + fvdn
+bdrb: qvdc * sgrh
+msqb: 5
+lrdn: hwjb * gtrw
+pgzq: 8
+tjdz: cvdn + vdfv
+bzwc: 3
+hsgd: wfql * smzj
+jsws: qbsj + drhp
+fwsp: tqjd * cvts
+pfql: 4
+dsdf: cmgm + djbh
+pfvw: sjbb * npqj
+lbvm: 3
+jjdn: zzmf * cdwp
+slcl: qglr * hmbg
+pptg: 2
+qhbn: tvbm * mvrv
+fzpt: ngjw + fbdw
+fpng: 1
+tjpl: 2
+gjfv: vjdf + bwzg
+lmcq: 3
+fznm: 7
+bzrm: 2
+sjrz: tghz / cvft
+fnsq: 11
+wphd: lfvb * jtws
+cndh: rfzg * rdtv
+nzsj: pmls + bfbs
+rmbr: 16
+cqbr: svwh + jchd
+nctv: 3
+cmcp: lhht * tfwq
+srgd: rpwp * fhvh
+mfwp: 3
+dvsf: 5
+wtdg: pcms + bfzs
+vcpn: 13
+jbbz: 2
+jgpr: 15
+cnnb: wtdm - bfqn
+nlns: 2
+svsl: lcdd * rzfn
+mwcc: scsj + vcfv
+nlln: 3
+jbdl: 3
+sfhw: 2
+bndp: 3
+vngs: wntf + zzbj
+fprl: stwf + qmpc
+pphb: 2
+bmrm: 13
+nhnj: qjpb * vbws
+vlqq: vbdw * clmn
+hzds: bzwc * pcjh
+ldcl: mnbb * jdzb
+glgg: znvr + jdpj
+rsdn: 3
+gtnd: 3
+hsfr: 6
+vpfs: pdnl * zvpw
+tdpm: rbdb * mmzc
+qsht: 3
+hlgp: rbns * gnmr
+dzqm: fnfl + rvwl
+lpcv: gtvv * fhvt
+nznl: mwmp * zfdg
+bbrr: 2
+pbgd: 2
+hssc: ffss + phdf
+bjwj: zlbw * mrmq
+bjqj: 2
+ppbl: 6
+rpwp: 2
+mgtl: 5
+gqgs: 2
+mrgl: dnhm * ftrb
+ggrm: 5
+fspl: 11
+qgvz: 3
+jnmm: 3
+dtcw: 7
+nwcw: rlcn * fswb
+fclh: 4
+bplg: 4
+sgbr: 15
+vlgl: smvt + jhsj
+rfmz: 2
+hpcr: 6
+ggwf: 5
+qgqh: 11
+mblb: 4
+nqhr: 4
+wgjd: jngn * jqpn
+msvs: 3
+nhgv: 3
+gnws: nfgq - jtlz
+tzcf: fscf + dnqw
+ldpc: qcnh / jvnb
+ntqf: 1
+ccnm: rcrw / mvlw
+sdvv: 2
+bjqv: vhsn * hvfp
+scwv: nrbs * gmng
+nrjf: vprf * tqbz
+zpgt: fnlq - msbf
+tfqr: 5
+smhv: vwnv + lztw
+ztdw: 5
+fccr: 2
+sbzg: 12
+rhzf: 5
+dqbz: 5
+ctjh: vrlw * ljnm
+qzqq: 4
+dlgb: dcdp + mcvg
+ptrg: 4
+qjrd: nqdb * gnnd
+nccn: 2
+pscz: plzm + zqms
+dnzm: 2
+dplj: tpff * qgpq
+gllf: 14
+llff: 4
+gwlv: 8
+msft: rsth * bjmd
+wlml: 2
+njlw: bgzs * nlns
+bgmj: mpsb + nrll
+trjs: gbfm * plpp
+cbrb: lvcc - hbvw
+mqtw: 8
+zlbj: 2
+wmft: jdhz / wblw
+ccrd: rnll + sjwh
+sznf: msrg * gztd
+znln: 5
+vmdw: bvsz + gwzw
+zhrw: ppwp / wblr
+tzhz: jclp * plwj
+rcjj: 2
+pzcj: vmcc * fpbf
+cpdc: 3
+jhqc: jpjg + dnss
+hdcc: fwvg * jwvs
+cvfs: btjz * dwgt
+prjn: 2
+jpjg: jfhr - cdzl
+bcbg: qdbv + sfdc
+qdmr: 1
+trvd: 3
+wpml: fpnc * qggh
+snvj: jgzw * slcj
+fdlw: mpcc + jmnv
+vpfl: gnjn * dccm
+rcmw: 3
+gswc: lpjd * fjhs
+rlcn: 2
+gdpz: nhwg * jgfv
+vdqh: 3
+whlp: 11
+mjcr: 4
+tqwr: 17
+qfmz: rjgp - vsjb
+wlwt: zmnd + mwmv
+pcfh: 3
+jqfb: 2
+znhd: lmrq * jphs
+hmbn: 3
+qtsr: rrth + tzrj
+rqwr: 7
+nvfq: 2
+zthj: rtzt * vlpf
+zbrh: smwt + lwvd
+dtqq: 2
+plfr: 3
+nphs: tfqq + cssl
+cgsb: fqcn + mcmj
+zpmm: 14
+vggr: 3
+gddf: 5
+wnfl: 5
+bphf: tphf + cqjr
+tmrv: hndb * mjcr
+vznf: wlwt * nqtg
+grqq: wncc / fjrl
+ljhh: plfr * gcbd
+zcmw: 3
+lljd: bpsp + zffc
+qfzq: gdpz + jtgg
+fwvd: hptn + qbvj
+wvvd: shmb * mjfl
+zlfp: 6
+crwn: 3
+qcmg: bwnc + ftqj
+wntf: lcbp * brcs
+frmf: 2
+zvwf: fjfz + qwtv
+hzgg: 11
+vpjw: 6
+fpbf: 5
+mqcl: 7
+stgs: 3
+hldg: 2
+tgqw: 3
+rjzp: mhvp * ztrc
+ppbw: 2
+tlcb: 2
+hqtz: mlbg * qrbj
+fpnb: jfzh * vlsj
+ggbf: 4
+gtrp: zjlc * bplv
+lpjd: 3
+plpp: lnlm * cwcn
+mhnd: vzpt / qbfs
+vfnq: 2
+rnds: vlnf * hlng
+pfvn: lgtq * nntv
+mvsw: qccz - gvlf
+lpvw: fdjs * tlvs
+mlsw: 19
+sjhr: sqfd + hwcr
+vtwc: bfmq - tpct
+hnzq: zzml * slgp
+vzqp: wplq * csgb
+qsdp: 2
+zncv: 3
+lznj: 2
+httn: 2
+fmzv: 3
+cchl: 5
+wqzn: sjmv * gqlq
+mscr: 5
+hgzw: 3
+cncj: vvnw + ptlb
+jmnv: ddjd * wgjd
+vzsz: qwjm + wqpz
+ntrt: 10
+gwcq: 6
+gdcn: rzps * gtph
+lddb: jgfr + gbvt
+lbsr: gnth + cztt
+fgwr: pgzl * lfmw
+lbqg: 5
+pptr: ghcb + hhqs
+swvd: wqgs * zqsv
+qgmz: fvzg / pttj
+mdnp: 6
+pqzc: 7
+fnpw: zbdb * qwqc
+mqdf: 2
+vvfl: 5
+fvrb: 2
+lqmg: dswd + qhvm
+vjvb: gtmz * ppbw
+qdmd: fftf * zsjd
+rwwb: 4
+rjpm: 2
+dbct: 2
+fthr: 2
+vvwl: qtrh * msvs
+mqql: 5
+qwgn: 5
+pchl: 3
+lhht: 3
+qcsn: 2
+sdjz: 2
+hbpf: 4
+qrlj: 3
+svbp: 2
+gnjn: 2
+rgvh: hmjm * wgtl
+ljls: 2
+scfb: fwzz * rmsb
+qrph: 3
+vccc: ptfd + nvbp
+jpmd: vngs / lnfc
+jrjg: fzjv + jftz
+zsjd: hlfs / dftp
+rfmr: 4
+fwqs: nwcw * zffm
+pznr: hnjd * fdmd
+mgwh: 2
+zcnp: 2
+mnzc: 2
+cctg: wfst + mfgq
+csnh: rbff + fwsp
+phdf: pjrq / fhqd
+cqpb: 5
+hqcc: fghl * rcgt
+jhjs: vczh + vfpp
+hhdn: rcnp * gvrb
+mwsc: 4
+zzml: 4
+vqtf: 3
+zsht: 4
+qbvj: jcrc * jdnl
+gfmh: wfft + rwlq
+dldj: dfmv + zpsc
+htrf: crqv * vsjn
+qpzv: 4
+zfdg: lpcv + wdhf
+wdhf: wcws + trmg
+cjzh: 2
+qfwz: zlgc + cmcp
+vpqb: 5
+wlvc: 1
+rbnc: 2
+tgmt: twft + rmns
+nnrt: zpgj + nchr
+dbrl: ccww * tgcb
+jcdn: 2
+glsp: 4
+plwd: 2
+jjgw: mbmr - gwdv
+ptlb: 5
+nfwc: 5
+bhzj: 3
+jsgz: 3
+mrsb: jhqf * pvjp
+nhsw: 2
+hhzf: tcrj * zshl
+pwll: hstn * cpdc
+cwzm: 2
+dccr: whlm * vzhs
+zbct: 3
+zlsp: vgcp * jvls
+bbmc: 3
+wqpz: mfcf / qwgb
+dlbg: ffnt + zcmc
+smvt: 2
+cldm: 13
+zbwh: 11
+smlr: rnbj - lfnb
+cfzb: 2
+sjzg: slnr * gvvq
+cwpf: 8
+gzqt: 3
+gqmg: fjjt + wdgv
+dzhv: mdrl + tcgb
+gtjv: 5
+zjnz: 4
+nftn: 1
+tgbl: pfvw + cdpt
+hsvs: 17
+vhcr: scsp * tdpv
+zzmf: 3
+rjgp: jrsl / ldhw
+tmng: 13
+sqtt: jvnn / drgw
+vnht: crwn * jnmg
+vqsb: frmf + nstq
+cnnq: zdnq + vnht
+msmm: 3
+vcmm: fdlw * rtcd
+vnbw: qbls + hltz
+rzps: 2
+hrpv: 2
+vbdv: 1
+ttdq: 3
+vvwd: 3
+zwlw: 2
+dwnz: sffj * vrlj
+ggnp: 2
+pmpz: 2
+lqgm: fqtl * jpqm
+hwvw: tpvz * znvt
+hzst: 5
+vlll: 4
+jlsd: 3
+rcgt: dblm * hsdj
+zwjz: 3
+wcws: 6
+gmqn: lrwb / brgf
+nsrf: twmj + rjwv
+djpw: 3
+ftzp: tfhg * rdpg
+fclc: smns * svsl
+dfhr: 4
+mjlq: 2
+mvsq: 5
+pjtf: mgdm - hvnp
+qqzn: wcmh / shsf
+ntsp: jmqd * rrcb
+bbdp: 20
+mhws: 4
+rrmj: szln * chlz
+mzpp: qvdh * gcqn
+fjts: 6
+wgtz: 11
+qbvz: 2
+jvnb: 4
+whrc: 16
+wflg: nqzm * jfwm
+vprf: 3
+lpqv: 3
+tzzr: fcmf + lbsr
+wzhs: 3
+pcpj: 7
+hcrt: dndg + lfjb
+nmlm: 3
+cssm: dsqn * pphb
+vwzj: 4
+brbw: 2
+hgjn: jcwf * vmsz
+tcrd: 11
+ztwl: 2
+srzz: 5
+bhfb: 5
+rqvn: 15
+cfgm: tgmt * gqdv
+brjp: hcjz * crwm
+gdlh: qgpd * trnb
+glms: 3
+zlqd: wprj - cfcm
+mhft: 2
+rtqb: zfgz * wcnv
+nmpt: 2
+hqjr: 6
+dljn: fpnb - zrvg
+rbdr: vszp + gpvr
+llzq: dgnv * ftzp
+lvts: lhzb + blcq
+nlmv: hbzl * nmqp
+bwnc: pptr / bjqj
+qrff: dzhv * jmvr
+tsnm: gnws * cldm
+rwjs: bbph * gzsj
+djgc: 6
+wbcg: 3
+fhpr: 2
+lrnz: 4
+lcmb: zvwf * mhft
+jfqt: 2
+hsdj: 13
+rccm: 8
+hdvw: 10
+cttm: 5
+sqwf: hhzq * lsdz
+bnzf: 2
+cmlp: 16
+zspj: 7
+bcms: rvqz * hcnw
+jsnl: mbpw - qdrn
+qtvg: lqfh / sjpn
+blgq: qnsp + dsnc
+mcpq: bzll + lpvw
+mbwh: 8
+gwtc: pcbc + qdmd
+djbt: 9
+ltsg: 2
+bfzs: vjdw * qtmn
+mfml: qfnd - cnsr
+bvcb: 3
+spvh: qhpl - nzpn
+nhqd: 5
+czzh: 1
+btjz: hhdq * strn
+ggdl: tmhr + czzh
+nbdw: 6
+vcpv: 4
+gztd: 3
+tvjs: 6
+sczg: 1
+dzhh: 2
+wwqj: 14
+bmjw: lmcq + jjtw
+wvdr: zqvg * qnjm
+zplm: 2
+tpjg: trpd * nvpm
+pcms: gpgn - vjbd
+wdgv: 4
+tsbc: 4
+scsj: rljv - lgdt
+bvtl: 13
+fdmd: 3
+nnhs: rcqc * nbjs
+hvfl: ccnv + ghlq
+ddfp: 2
+nhgw: 3
+czhm: 17
+zrgs: 13
+gdpr: 10
+gcbd: 11
+mcmq: 2
+zmnd: 5
+pqhr: 4
+vslz: 4
+mvsn: bbrr * vzsz
+czqr: lwfc + bhsg
+sfqt: 3
+tdpv: 4
+jhfg: 3
+fzqz: 17
+fvln: pvmn * dmns
+rpbw: 1
+rnbj: wbvq * hhqw
+tbhs: zcnp * vttw
+wnwt: 3
+llhz: 1
+czhv: 2
+hgqm: 1
+fgfb: sbmj * wqzm
+nqlj: 11
+hzsc: 19
+vvms: gqgs * tblw
+wmqv: lfqn + zwfv
+fswb: bnhz + cltn
+tlvr: 5
+bqvv: nmlm * htrd
+hgwz: dtqg + qjcm
+vpzz: 7
+gvvq: 3
+dnjg: tzjj + bgvm
+lmrq: 5
+zdfq: gvtt + btwc
+jggg: fbwl * gmlw
+tfsc: 3
+ngtl: snvj * pzcn
+mrzz: rjrm + znvw
+rbns: 2
+qlcd: 5
+vhsn: 2
+vqvt: mvsn - qfbq
+cnnn: vsgz - cptm
+wqps: 5
+sgzw: 4
+hvqp: srgd * bhzj
+zqhg: 2
+vwzc: tdpm + hwvw
+mndv: zmjb * jgjg
+mzrc: cqbj + jmwq
+hnhb: 4
+pqjl: gntn + mwlj
+mbmr: shzs + mrsv
+sbrm: 3
+frqp: nhjc + ffzh
+dgsf: vdph * jsnl
+qmpv: 3
+nqfn: 7
+vttw: sqvh / mbfd
+rdpg: 19
+dzlh: znln * hzsh
+szfs: gwbv + qtvg
+dwhg: 5
+htrd: mvsq * dqbz
+mpbl: brwj * csnh
+brsz: ppcp * jllz
+pwdz: 7
+czww: jnmm * bplz
+cgst: sqgj + mpfw
+pwmw: cmcn + mfbh
+jzgs: 3
+trml: 3
+rjdb: 17
+mrmq: 7
+jsnc: lprp + hzzp
+jstr: 13
+hfzt: 3
+rgtl: gqwf + fvln
+ftqj: zsgc * jqfb
+dpcp: 7
+ssfw: bfvm + fgzj
+cgnf: stgs + ggbf
+nzql: 7
+hvnp: wqzn / fjts
+nzws: 6
+vpzc: dbmt + ndhl
+ttsz: 3
+nsjw: 9
+svdj: bwnl * jhvn
+jpdl: mvjz + jvlg
+pdfv: nwzp * rmlw
+chzc: tftl * wtlj
+vgzf: 20
+bsjs: cptn / wmbj
+qvsm: 2
+wtdm: zjgz * pfdn
+llzn: 2
+fzdt: wcbv + mvsw
+bcbw: 10
+rwjm: lqmg * zqdn
+cvts: 4
+vvqd: 1
+trnb: 2
+tbcp: 2
+nrbs: 3
+dwgq: hnhb * brql
+vwsg: jwzg + zwnt
+qwqc: grbz * scld
+qfbj: jcdb - svdj
+gprv: 11
+jdrp: lvwq - frrg
+fqml: rrfp + wbjl
+ztjl: 19
+qccz: vbcg * qfsr
+plhs: 19
+gfbc: 3
+mrph: 14
+frwl: 7
+mlwp: 2
+fhvh: 7
+mlbg: vtwc + wnzm
+sfdc: 5
+qglr: 3
+lzft: jnjg + rfwr
+chfw: fjmj / wzhs
+zntr: 4
+cdnm: pvqq + sgrs
+cqms: 2
+nrll: 8
+bgqc: slww * fhwt
+pffr: 5
+gvtt: mssm + tzgp
+gjrf: 2
+lwsb: msdj + lzft
+lztw: vhhw * mlwp
+fjhs: 2
+bsww: mjnw - fnpm
+nfgq: vpfl / ptnc
+lnwl: 2
+tjjl: bchb * fmzv
+nnfb: 9
+jmnz: tbql * dwpm
+bnch: nzqt * hfqj
+qjsf: vggr * vqtf
+zcqq: bdjg / mjvm
+dvcm: 7
+gghb: 5
+smns: cdlg * mpfr
+zmvd: 3
+zbgf: hnbc * lzln
+tzmn: 9
+rtcd: 19
+rngl: 15
+mdfh: snpt - nldf
+fjrl: 3
+ghvs: blrp / zbvj
+fpsl: bghj + dsst
+wgsg: rmtg / svzl
+bdzl: wrvd + nwmd
+svwf: 2
+qtrs: lhfn * ggzj
+wvjp: ljgv + tntm
+zjnp: 16
+mcvv: 5
+jqzm: 2
+tstw: 3
+mhcz: 2
+hpcq: 2
+fmzg: rwjs * nzvl
+jclv: rzjd + vgjd
+clsh: bndl + jlhh
+bpgd: cgql + mlwl
+crtz: mqcl * qwfp
+wfql: 5
+dbfj: lhmf + qrff
+jjtw: 4
+pgnf: pscz / vcvt
+tvfd: dbdg + rgvh
+dwgt: 3
+mcmj: mbwh + mjvj
+shmb: 2
+wcmh: 14
+ldhw: 2
+vdgf: 5
+cmzj: vvwd * qfzq
+jdzv: 4
+hwcr: 2
+wprj: rrpg * rzfw
+hbnt: 3
+phsb: 10
+whlr: 13
+tspc: wbqd - bphf
+wwdz: btgz * zswl
+znrz: lvwv + gjfq
+zhbq: szvq * mrlv
+bghj: 5
+rmsb: 5
+bpqp: 4
+dlmv: lwtd + tbgq
+hlrs: 2
+sfzh: 5
+rvwl: cvpm * fhjr
+tbcd: 5
+dmmf: ctwm * ggqb
+zrnd: 14
+ftrb: 2
+vgjd: 10
+mfbv: mhnd * lvwg
+fhnm: 5
+fjfz: 4
+thcm: fznd + wwbb
+vcqv: wzmn * mflg
+gfwr: sfpj * wpfr
+fmgb: rbpr + dsdp
+vmsz: 4
+jcdb: ngls * zwlw
+jjbd: 2
+fpbm: llqg + cdff
+qgpq: 5
+glgs: 4
+lzhl: bbdp + tdrp
+gqsn: 3
+twft: wczr * hzgg
+ptnc: 2
+rrml: zqnr / httn
+msdh: rwwb * hqjr
+vhhw: 5
+tftp: lmph * ztdw
+tqzd: jpzr + fhcd
+btgz: 4
+ccnv: 18
+qwpd: 3
+wlfm: mqrc - hpmw
+vvnl: htpc + zdwz
+tmgp: 17
+wqtz: 2
+pjwm: 14
+vjdf: qrhw + ghvn
+sjbb: qtsr + tbnl
+jwgn: bhjg + mdvc
+ldsw: 9
+hfvb: hhsg + wjjp
+slnr: 3
+gntn: 1
+smhz: 6
+rwjl: jfpp + zwtr
+fhqd: 2
+nstq: lcbf * bfsm
+hzsq: hfzt * dhhz
+nnrr: djgc * jgzp
+lsdz: pfql + zvls
+rhbl: 5
+vsgz: bpnr * qccq
+wctl: 5
+rvqz: wgls + wvlf
+qdrn: llzg * dbwg
+pvpc: tjsn + cldt
+dspz: 2
+nwss: wndh * bqcf
+wblr: 6
+mqrc: 16
+mdsv: ghvs - nznl
+fqgp: vrfj - cbrb
+sqgj: jhzv * fnsq
+cszb: dphf + lpqv
+ntjw: 19
+bwzg: 5
+rgtb: 5
+vvsv: 7
+zshl: 4
+qzjz: dhnr + hzdm
+cppl: 5
+pchs: jwpg * trng
+mzgb: wctl * vsrt
+rmwz: 2
+bvzv: fhwg + gfwr
+blcq: swss + qzdc
+nhgl: vmbc + dnjg
+zwnt: 13
+fhcd: splf * mbnb
+bzfb: tbfq * smlr
+fqtl: 7
+fhjr: 5
+rtzt: 2
+qwgb: 2
+hvfp: sbzg + nhqd
+zswl: 7
+mbdp: vwpd + vrgq
+cmjh: jgpr + cgvw
+clrn: 2
+pbzw: 3
+hhcr: bpqp + drlc
+qzdc: fdnh * cpld
+pdnl: 2
+nzlf: ftbc / zwtf
+clmn: 2
+cncf: pjjv / zqhg
+vdnt: rjvr - hnqs
+nzpn: 1
+vgbq: 3
+tntm: thvp * zsht
+vgrq: zncq - nzws
+zjjd: wqps + zlsp
+smqp: 5
+fnpb: rcjj * ntzw
+dnvd: jmbr + gcvv
+zrvg: 3
+sdtl: 2
+tfwq: 5
+wfwb: qhfh + shcl
+wqzm: rzfp * nghf
+tlsc: jggg * lcvw
+mhqd: vfzf - nftn
+smfc: 1
+ndhl: gpms + nbsm
+wdvd: 4
+tvts: 2
+nwds: 10
+zpmf: 2
+cpnp: 1
+rrdh: wwdl + wsmb
+wcnv: 2
+vmvz: crwt * zlcp
+fvdn: 2
+pzns: 5
+mcrg: trpn * hcrt
+qphv: 5
+vvfr: hsgd + rmrv
+mmcz: 5
+pjhz: 9
+nqbg: 2
+jcbz: 2
+tnrm: pqpp * tltp
+drqg: 14
+blqt: pzcj / jwph
+nsqd: hznm * lbvm
+cblq: 19
+qqph: ppfj * bjmt
+plwj: 2
+dlgm: cdlh * tsfc
+zqms: dbzg * nbgg
+ngnn: 2
+gjfq: 9
+wblw: 2
+fbwl: 4
+wgrz: vhhj * nqfn
+nmjc: 2
+plmq: gqqd + mdwb
+vlnf: pcfh * qlnr
+jnvs: 2
+pzwh: 16
+fsbc: 3
+gtbw: 2
+zvls: 7
+nldf: brtl + lbfh
+rcqw: hffm + zrgs
+smwt: 5
+gbfm: 3
+vvvp: mvsg + trcq
+dbmt: nsvr * jllw
+hvrw: gwhr + rgtw
+dlst: 2
+mhlv: 3
+zmbj: rlqw / ngdb
+wsqj: 16
+qlch: 2
+dmbm: 5
+rdsf: 2
+qvrw: 2
+cfcm: tztz + tlsc
+ffzh: 5
+dswd: snmg * dzdj
+qrhw: dmnd + bnzd
+dpjh: 2
+pndc: hfvn * nqbg
+gnnd: slfl + hbpf
+mzwt: 4
+djpp: 4
+jgbf: wdvd * jfgl
+stwf: vvqq * hlrs
+shsn: 2
+rmgw: 13
+qjdh: tvsq + jshj
+pntc: 11
+wvrm: 5
+jrrl: mrph / dqzz
+zlcp: 7
+sszn: 3
+lrnh: 2
+jdrt: 2
+rgzf: wdjs * jwjr
+vvdw: jdrp - gqmg
+dzhl: 4
+hwbv: ltsg * gphq
+lllr: 3
+lbgs: hhrp * lggl
+tftl: bqml * dvfc
+cpsv: ntsp + gvcz
+rnll: 1
+vrsh: 3
+vdmv: ffpd * lpqn
+mwvp: 5
+zdst: 4
+jmnq: 17
+tlnt: 3
+ddpl: pbft + fwnd
+fjlc: 2
+qgrr: 10
+tpct: cmsp * mhws
+ggqb: 3
+vcfv: dtcw * qvqd
+ddjg: hgjn + jmnq
+srwd: 20
+hhrp: vsbz - rccm
+jlqz: 3
+mcfh: mmrs * hzsc
+mvjz: tmrv * ccrv
+nfmr: 8
+hcnw: 2
+wvgv: wvjp - bmnj
+dtjr: 8
+zjfc: qgrr * tstw
+wbqd: mswf + bmwg
+ggjh: bsqj * bzsv
+clng: 2
+nmfl: tftp * gmqn
+rmlw: 10
+mqlp: 2
+sdvs: 6
+nwpb: 3
+cnhb: 2
+grvw: lbgs + pwmw
+lptd: 5
+nfbs: 4
+jgzp: rtrh * flfq
+dzpb: nrjf * zfbh
+nhvf: rmzz + dtjr
+htvd: 1
+ftcz: cssm + wgtz
+tjws: 2
+vhpf: 9
+zqqw: 6
+fdjs: dgbv / rwqz
+zrmd: zdjv * vqsv
+gcqn: rnwv + tsbc
+fttl: 7
+zhqz: 7
+dlwb: lljd - mgtn
+lcgg: 3
+tphf: nfbf * wwqj
+dpqf: vznq + bvrg
+hwsb: tfmb + zlfp
+gphs: 2
+shsf: 2
+rpzm: 3
+zmzf: cppl * spcg
+gvrz: whdv * ghvj
+qswb: hhcw + lrzs
+gfcb: 5
+vzsr: rjdb + fqgp
+lgtq: spvh + gdmc
+cgqf: 3
+fnlq: qtdj + prmt
+rpjd: ggdm * jbdl
+fmpg: 4
+hptn: 2
+qbbh: jclv * nlbm
+ggdm: 5
+btqm: 5
+lchv: zpmv * dlcs
+szln: 3
+vbdw: btsf + zmmj
+bhjf: 5
+hzsh: 2
+fnqz: 3
+btjg: zdgw * hcpn
+hfqj: 2
+cqqn: 2
+root: sdgh + cdvj
+sqvh: wmsr + dcnb
+zmvg: 17
+hmpv: 2
+jchd: 6
+dcdp: cshg - ppvs
+npjr: 3
+tqbz: 3
+gmrs: 3
+ntzw: 5
+cqmd: 1
+tgms: 5
+pprb: fpbm * gzqt
+ngrv: cqns + fsfl
+mdrl: 19
+btsf: 1
+rtrh: 13
+gbvt: sjmg * trml
+hvhb: 6
+bsgr: 16
+jsss: 19
+bshw: 2
+pcjh: nfzn + fpng
+mhgp: 17
+tltp: slbc * dlgc
+vqqh: 9
+vhnr: mvgd * ptrg
+jvls: 2
+lqjt: 2
+frrg: 12
+pzcn: 3
+smww: ndtl + vngg
+scms: 3
+qwjm: nccn * gpzz
+spzl: 9
+htjf: bztq * gnzw
+hbzl: 3
+fgzj: hnpq + vljd
+jwjr: pjdq + fztq
+sqdz: 11
+qzzb: vvnl * tbcd
+jcfm: ddbq * wbcg
+tsvq: gjfv + nhdn
+wndh: 2
+bwbq: dwss + mndv
+djhh: gqqr + clrg
+rrcb: 3
+zqgd: phsb - sfqt
+vqsv: fprl + gjvj
+jfzh: zhqz + jpjd
+snzr: zgzh + wzdf
+sfbw: wrvf + mnfn
+zdch: 12
+jphs: 5
+prmt: 5
+ppwp: mfbv + pnhn
+bzll: thrp + fwfq
+hcjz: 3
+nrzc: 6
+cptm: dwjj - wlvc
+zlgc: bshw * bnnv
+rbbw: 7
+brpd: ttll * hpcq
+zzlh: 16
+gsgc: nwjr * srfq
+gvfr: mhlv * cltt
+bfsm: 3
+jmqg: bmrm * jndm
+qtpn: 2
+msvz: 3
+jwqh: 3
+gnth: 5
+qsbc: 8
+hprn: tzdl + brjp
+mlwl: 14
+gdtl: llhz + hhdn
+shrw: 4
+nqwl: 4
+bqtv: 4
+hnbc: 5
+rgnm: lfqv + zvgq
+tsfc: qvtm * qlcd
+gzqn: 8
+nllt: 2
+dwsc: 6
+dwss: wpww * nhgv
+wnzm: 8
+jlhp: vgrq - szpf
+qmpc: vbdv + htrs
+wmwn: tnrm + wshr
+jcwf: 3
+tgdl: qfhp + nbfm
+zlwz: grtw / vslz
+njsf: zmzf + fdjq
+tcnp: cnfj + dclp
+cdzl: nqhr * tpjg
+spbd: ccnb * gfcb
+mfbh: plwd * jhqc
+zglh: 3
+pggn: twzz + pcpj
+cnsr: rzpg + hgwz
+tsmd: tnfs + qlvh
+bnnv: 8
+dznt: gfgb * dtqq
+glsg: sqmh * jwgn
+jpqm: 5
+zvpw: pvvs * ljls
+fhmr: 1
+qvlf: 3
+mdmw: vbld + nlrf
+fbdw: 3
+swlm: 9
+pglv: sjcs * trwm
+hjmr: 3
+tdnr: lblz * wnfl
+gtvv: rvss * qvsm
+gwth: twcs * bjlq
+qvfz: gnjf * dmsg
+jpzr: bsfj + zpmb
+zdjv: 5
+lcbf: 3
+jfbf: dbrl * zvvt
+nlgw: nzlf - vpzc
+jbcl: zjfc + pvjn
+wmmj: 5
+qbzr: 2
+rhgq: 2
+vbhb: jhlb + qwgn
+cdrf: 2
+mbnb: 2
+sjhs: rgtb * bndp
+qlvh: hgqm + spbd
+lnjv: 2
+dcnb: hvrw + pfvn
+ghvj: psnm * pfwm
+nmcw: 3
+cdff: 6
+zzbj: fgwr * pmtf
+hcpn: 15
+vlpf: dbfj * qnmd
+znvr: 5
+mnnz: 2
+tpbc: wvgv + vvdw
+zlhg: 2
+cmsg: 8
+vsrt: 5
+sqbt: lcgg + rgpb
+wbjn: ddpl + vjvf
+dsws: 2
+pgbj: 2
+tnfs: 1
+wdrs: crtz * zzgm
+qsqn: swcr * jjgw
+hhsg: vvsv + wbtz
+qvqd: bgqd / clrn
+cgql: jjcn + hzds
+nrvn: vpvz + ggsq
+wzpj: 3
+gfgb: 3
+vbcg: 5
+mbfm: 14
+sbmj: fddj * dpqf
+hgbf: 2
+fhwn: nmfl - mcpq
+gdlr: 2
+nzzv: 15
+zdwz: tqtt * pdrg
+swss: qnzj * bfsv
+nhdn: 14
+svnp: bwbq + dhtt
+hffm: rnvr * sdvv
+qtwh: 3
+ccww: 2
+jllw: wtqn + vvvp
+djqq: qgnv * plbj
+vjdw: 2
+wgzh: tchv - pvdj
+wnfn: ncvf - jgbf
+tdlt: ttgr / dpjh
+phrj: ggtd * wjgw
+mqhj: 7
+jmbr: pvmv * jvzs
+lmts: trvd * vzmm
+zgqf: tzhz / nllt
+qhzj: 3
+lfqp: rjjq * wvrt
+bvsz: mdcg * fgpp
+jwpg: nsrf + zntr
+vbwl: 11
+tmhr: 12
+vwbg: hfzl * zcwq
+tlmn: 5
+cdvj: sgbr * qzzb
+bfvm: 2
+wfjr: 5
+hfvn: 15
+ltcv: 3
+fztq: ghsw * vvmv
+bmnj: 1
+dppm: bjzv * zjnp
+tdrc: 3
+rvvr: gfmh + jrjg
+mmrh: 3
+lpzl: 4
+twzz: 3
+dtzm: rnds - vdnt
+lnfc: 4
+schv: 5
+jghr: 2
+wwbb: 3
+hnqs: gbzj / ftzq
+jwzg: 11
+htgg: dshn - rwjm
+zfgz: 13
+jszl: 2
+zncq: jsws + dgdv
+stnn: zpmf * qngr
+cvtq: mzrc + zvlt
+rzpg: fgbp * llfp
+vcnp: 4
+sbcm: hdlj + csrh
+pwsp: 2
+zwzl: 13
+lhfn: 2
+zdhf: 3
+rljv: pqjl * dzmq
+jwsg: vpzn * jqcf
+rqpw: 2
+crqt: zgsc * cgqf
+dncd: vhwm + wbnm
+hhqw: 3
+gnzw: zpmm + jrjz
+hvrf: zcqq + nzzv
+lvpr: httq + zthj
+srvf: qwpq * zgfz
+bcfw: 7
+svzl: 2
+pnfh: whlp * vfnq
+ncts: 1
+mgdm: jcbz * qcmg
+gjmp: lqgm + cpqq
+rshh: qlch * fnhm
+sqmh: 5
+zmmj: hglw * vgbq
+jdnl: jghr * bmjw
+jqcf: 15
+npqj: 3
+hwjb: 4
+wmnw: 2
+fjph: sszn * drqg
+tcrj: frsn * vcjn
+ghlq: hqfs + vqsb
+vfmr: 18
+jzpt: pndc + mzbc
+zrpv: wrrn + tdhb
+wpjd: qgmz - grvw
+bqcf: wpml + btcz
+vfpp: 2
+clhc: rmhd * fvrb
+qgwf: hdgc + qllc
+fnpd: 5
+zlnz: hvrf / qcsn
+lqfh: wdrs * svnp
+ttst: 2
+bvrg: mfml + clhm
+qllc: 5
+mzzt: 4
+sjcs: 5
+gjvj: 4
+szcv: dbrz + gdlh
+fsjh: nljs * clbh
+zdnq: rhlv * pnfh
+trsb: pgzq * pzhf
+tjsn: cdrw + bmpd
+ndnb: 4
+lprp: 3
+hjbb: phrj / fthr
+zfvd: msww + hhzf
+tztz: pgnf * pcbl
+bpsw: 6
+wzmn: schv + jfqt
+ptwl: fnhg * nctv
+bgls: 3
+mhnj: dlwb + pqgc
+spcg: 3
+ccnb: 3
+svjw: smcj * gcpc
+hfzl: rfmr * zrqm
+cldt: 3
+swwr: mhnj + zwmt
+wwvz: zplm * zjjd
+gqqr: twhb * lvpr
+hmjm: dwsc + cphw
+jwqd: 3
+mdtn: djhh * sdjz
+zfpq: 3
+qvwb: qmtd - qtrs
+mcvg: pggn * wfsb
+tqtt: mhwq * tspc
+tppc: 2
+jdzb: vpsw - nlpw
+ngqd: 7
+psnm: gdwz + scwv
+sbhg: 3
+jrcw: 15
+mnzg: 2
+rhlv: wtdg / ggrm
+mnpd: pprb + vpfs
+wbdh: tcrd * pdmw
+sggv: qrfl + dppm
+ndtg: 9
+hnwr: 6
+mhwq: rtmj + qzjz
+cgfw: 2
+qcnh: zfff + wfnb
+bnzd: 8
+ptrc: ntrr * nsjw
+ggzj: mjpv / rbnc
+dptm: 1
+zsvn: gdtt + cldn
+vszp: lqgp * dmzb
+msdj: wqcj + fhwn
+zgzh: qvlf * gvjc
+ncsd: 12
+zrgb: 11
+fvzg: ptwl + ftww
+zgfb: 16
+mhvc: bpsw * zlbj
+humn: 557
+htrs: rhtc + nlln
+sfpj: 3
+ccrv: 2
+mdvc: lwsb + dltn
+mswm: 5
+hgqt: llzh + bcrq
+phts: 3
+cwzt: 2
+lwqz: hvfh + gvpf
+ffjz: 3
+lcbp: qqph - hjbb
+dhnr: 7
+zcvh: bnch - sczg
+smfb: 14
+nsvr: 4
+qlgv: rjsv / npjr
+zvlt: qbbh * bzvf
+zhgh: jjcg * bvlf
+wrrn: sbhr + swbm
+lvwg: 2
+jljd: tbcp * jbcl
+rdvj: jjwp * pglv
+rcrw: dlbg * mcmq
+tqlw: prjn * rnlv
+pvdj: 13
+vwrm: zrnd - zcfj
+brhv: 2
+stcm: 1
+nwzp: 2
+ggsq: 1
+jhvn: 5
+qcjq: gdvw + pgzs
+tbfq: 3
+lhqp: 5
+cgwq: szjg * jcdn
+jrlg: 2
+dzcl: 2
+bplv: 2
+qcqz: ddjg + blgc
+nwjr: vbhq + blqt
+pssj: 2
+nbsm: npml * sqwf
+mhmd: mndz * mnlj
+jwgh: 5
+lmph: 2
+vpvj: smqp * wpnc
+bgvm: jqdd + wphd
+pvmn: hnlh * vdgf
+dblm: 5
+rrgs: 2
+tlvs: 2
+crwt: 2
+rldp: 2
+rnwv: 3
+rrfp: hsvs + zsvn
+wplq: gdcn * vbrf
+lzrg: 4
+jhzv: mwvp * hbqm
+shcl: 5
+pbft: 4
+szvq: 12
+wqcj: 7
+bzgj: 17
+nsjr: 2
+nlbm: 2
+bhdj: 2
+pjgt: gdpr * tvjs
+jwqq: 4
+scsr: 1
+jgcl: 3
+vhst: pjwm * njbz
+btwc: vpgr * cwzt
+gqlq: pwsp * frht
+hcsp: lmbq * wqhs
+nlrf: wbnl * jhjs
+tgcb: 7
+wpnc: 2
+spfd: wqld + gsgc
+lvdg: 14
+dtrj: 1
+pqpp: 6
+fhvt: 3
+tbqd: 11
+dsnc: 4
+vpvz: 9
+hncj: pcmb * tlnt
+pvhq: 2
+wbtz: 5
+jdhz: rmzg + cdns
+rsth: 7
+frht: 5
+rlhm: fpgf * dldj
+gpgn: hprn - dplj
+zcwq: nvwp * wmnw
+fcjb: mgpr + hdvw
+hfdc: 5
+vvmv: ctjh + gzdg
+hnjd: gnbc + lbwn
+llfp: 10
+qfvs: 6
+hmrw: jlhp + bqvv
+bpnr: mzzt * zbvn
+lpzp: tfsc * hgbq
+fnfl: jjbz / llwg
+lwfc: 5
+zjtb: 6
+zgwc: 2
+ndtf: crqt + rwbl
+vncc: vwzc + rdvj
+wjnr: 5
+hwzb: 2
+vvqq: 4
+gwlr: prnj * bplg
+gnbc: tdrc * rcln
+wqdb: 5
+sntj: lhml * sbld
+wscn: 3
+mdtf: tjdz * wqtd
+vmbc: wbdh * qswl
+vhsw: 1
+tvbm: 2
+qvdl: 2
+hgbq: 3
+zqdn: 2
+ljnm: 4
+msjs: tgbl * gbqq
+dpng: fqtz + pjdm
+sqfd: 5
+lvld: 16
+ltvb: 10
+pdjh: ssmm * gtnd
+mfwt: 4
+vbgn: 9
+brcs: 2
+tbbm: 6
+mzjz: 2
+cnfj: zggf * wfwb
+qfhp: 4
+nmwd: 14
+lhml: 7
+vhql: 13
+mqch: 2
+qwpq: njlw + wmmj
+nhvp: dmmf * hbnt
+sfrc: 2
+hqfr: vvfr * pptg
+vbhq: rhgq * hqmm
+cltt: cblq * wlcz
+csrh: 4
+nhbz: nngq * hclc
+zzgm: 3
+drhp: nmjc * rsbm
+sdgh: fqph / bflb
+bfmm: gprv * cqms
+scmp: 2
+vhlb: htgg * lqjt
+znzr: dbcc * sbdn
+zfbh: 7
+znvt: 5
+gqwn: vgzf * zgwc
+ljnv: 4
+qtzj: cmtq + wwzq
+zqnr: pggv * jjlp
+zcvz: 11
+tdbd: 7
+bhnz: 8
+hmwg: 2
+csss: 2
+flgg: 2
+vngg: 3
+qggh: 13
+ntvd: 16
+lhtb: 5
+rzcc: ltvb + gqfj
+rwbl: wflg + ssvh
+hlzs: mjbs * tppc
+scld: 2
+jqpn: sfbw / pzcg
+lswz: rqwr + gltv
+tbql: hhth + ntvd
+cdwp: 17
+mfcm: hllw + hqng
+nqdb: 3
+rwlq: szzm * frqp
+qqvc: rnhs * sfhw
+wtlj: 2
+gvhj: 4
+ppvs: nwvs + nsjr
+vdfv: srvf + nwss
+vbld: jrrl * grss
+wwzq: plmq + hzst
+pgzl: 5
+zsgc: mbdp / dbct
+gwdv: 2
+qfmd: bqnz + nhnj
+wcll: 5
+mmzz: 3
+jndm: 3
+jzfz: 4
+wjgw: ggrp * nrvn
+fhwt: bffq * pbzw
+qtzz: vhnr * jwgh
+jrsl: zdch * gzqn
+strn: vwcb * dhtn
+bfpn: qqvc * crcj
+cltn: frwl * nwpb
+rbms: jwqd + jwqq
+bshc: wcll + bntp
+vwcb: 3
+fwvg: 3
+gwzw: pdfv / nwzs
+hnlh: 2
+jvwt: vbwl * nmpt
+vznq: rhbl * bcrs
+pvmv: 2
+ptsb: cfdd * vcnp
+njbz: 17
+nrbb: mhvc * qwhz
+lppd: msft / dpcp
+tvpg: bzgj * nzmr
+bzvf: 5
+dzdj: 13
+gslq: tpbc / jgdf
+hmtf: smnd * rcmw
+dscb: 2
+gvjc: 3
+bgpr: 6
+nvzs: szpp + lrnz
+nvwp: 11
+grss: sdtt + hjvg
+gjcp: plhs * bzmf
+slcj: 2
+qgqb: 7
+tblw: 19
+flvr: bjwj + dhpw
+hpct: wzpj * mmrh
+cmss: jbbs + tpsn
+qlmf: 2
+sqsr: cjsc + wrht
+qtrh: qnlt + bshc
+dqsm: 2
+rhmg: dqsm * brsz
+flfq: 2
+tchv: qmpf + qcqz
+nwlh: tvfd * sjrz
+rqrv: 4
+rfjh: 3
+jfcc: 12
+qwfp: 3
+vpzn: lqqh * hwzb
+lmbq: 4
+jgbv: 2
+zmbl: msmm * nsdl
+rmzz: 11
+wsmn: 13
+jjcn: rpgr + bcbg
+qwtv: 3
+nqgg: 16
+qlzp: rjzp - htvd
+gpzz: cfgm / dzfb
+gccg: 3
+dmns: lhtc + jjqm
+pplz: 2
+wsmb: qfbj / rjcv
+vwst: 8
+mjhs: spzl * nhvp
+cpqq: vcql - smfb
+vdlz: mjmz * pvpc
+djbh: 2
+gbqq: wnfn / pzrb
+csgb: 7
+rjrr: 2
+llzh: dnzf * dmjv
+ndgl: czct + ltmg
+stzc: 2
+grrs: 3
+ljgv: gddf + ztwl
+mtzr: 5
+frsn: 2
+qfbq: dtrd * htft
+dphf: bgsd + jtpg
+vpgr: hqcc + mzwt
+wfst: vmvz * jqzd
+lrzs: qqzn * mrzz
+mrdp: lrnh + pzns
+bhml: 5
+sfvp: 16
+jvnn: vwst * ndtg
+plbj: 17
+snmg: 12
+wgls: 3
+cbhd: spfd / bgls
+dbcr: fbww * ncsd
+qqdg: hjlr + fmch
+svdw: 8
+nhjc: 2
+tzgp: nnfb * hbbh
+ggwc: mdtn / jqvl
+dtlj: pjvs * qlmf
+ptgc: 2
+lfht: 2
+rbdb: 3
+zwfv: 5
+dqzz: 2
+wlgj: 6
+jjlp: vncc / mqch
+blrp: snzs + pfhf
+htjs: 6
+sgrs: vjvb + hzcv
+cfjw: cdpl * hfvb
+qbdq: 4
+btcz: mtlp * qvhr
+zwmt: 6
+tfqq: jwpr - tjgp
+gpvr: ntnr * rpjd
+bcjm: 10
+snzs: sfvp * lnhl
+qbsj: hpct + chzc
+phhf: 2
+gvcz: cctg + bvmz
+jpjd: jnqc + djpw
+bmpd: snzr * mnzg
+mrhc: 2
+gvrb: 5
+dzvl: 8
+ddvt: mqql * cqld
+glfs: lwqz * lqsf
+jnjg: ccnm * sbcm
+dnhm: vvwl + dlmv
+llzg: 5
+qmtd: qfbp * gswc
+jtwv: 2
+zjjs: 6
+dmzb: ghrg + wmlw
+bhjg: gjwc * dlgm
+dbmm: dzpb + rqsn
+wrvd: vvrs * rrml
+ssvh: clng * qjrd
+pbsw: 2
+zjzz: 9
+jqzd: whdw + qbnf
+cqbj: rcqw * lhqp
+qnjm: 3
+ppsw: 3
+vzhs: 5
+pmtf: twnp * gwlv
+hjlr: nfmr * msvz
+tfpv: 3
+szzm: 3
+lbfh: gmmc * rlhm
+jbbs: hvqp + glms
+rtgq: jqcq * bqdr
+fwzz: 14
+dttt: clsh + cpsv
+dqnf: 2
+rfwr: 2
+zvbm: dzhl * ngtl
+ztrc: 2
+bgqd: jgbv * bcfw
+dhhz: 9
+nvpm: dlst * vpzz
+bflb: 3
+wfft: 10
+lrwb: gdhz + dpvr
+hlng: 2
+bcrs: dmcd * sqsr
+pfwm: 2
+bdrp: 7
+lsdv: gvhj * zqqw
+rcnp: 2
+jjwp: 5
+hhqs: qjdf + rjpm
+cdvd: nttr * nrwr
+bqdr: 17
+vbsr: 18
+mswf: chcd * wctp
+bsqj: vbqn / hgtr
+rnvr: 9
+mrtw: 2
+vrlj: 4
+whdf: cwbr - sjhr
+nmqp: jdzv + bvcb
+vcql: czhm * rdzt
+dlcs: 4
+lbbq: 11
+pttj: vltg + sjzg
+dtsp: cnnn - rzcc
+zcmc: zspj * fnpd
+gthf: tzzr / cdrf
+gfrl: 2
+lfmw: 3
+nvjj: 2
+rzdq: 2
+bcbr: rrdh - mwsc
+qlrq: rssb / ddfp
+plzr: 3
+dbwg: 5
+wrjn: 2
+thvp: 3
+bvfr: 9
+rjcz: 5
+cmgm: 5
+jmqd: qlsm + ptrc
+hnpq: vlqq + sqtt
+llbb: 3
+rssb: blzv * llwt
+tbnp: 3
+zwtf: 4
+jvlg: wrjn * zqtj
+ghsw: 2
+btms: sljt * fsbc
+nvbm: hlgp * hmwg
+bmjp: znrg * zjzz
+lnhl: 6
+ggrh: 4
+sdtt: nmwd + dncd
+ngjw: 14
+zbdb: 2
+bjlq: 3
+hnpw: vtch * phnt
+dvfc: ncts + zjjs
+lnlm: 3
+lrnq: bqtv + tlbs
+vzjr: dgnl + tbbm
+vhvv: bsjs / cwpf
+mvml: 4
+vbws: 4
+bflc: 20
+blzv: smhz + lptd
+qgnv: 3
+zggf: 2
+bmld: ztfj * drgz
+bjmt: lcbr - zdfq
+cdpl: 3
+jqcq: 2
+pvjn: bmld / mjlq
+bjmd: mhqd + wnhv
+dlss: 12
+gvlf: pchs * tdbd
+zcfj: 4
+wfng: 2
+dsdp: jljd + nnrr
+jnsl: 12
+hhth: 13
+lfqn: 2
+szpp: rdzw * jjbd
+httq: fmgb * qglw
+qgpd: mfcm + qfvs
+wqgs: 16
+rjjq: zfch * qmfw
+ssmm: 10
+thfc: 2
+vczh: 4
+nlpw: jsbn * gllf
+jtlz: 4
+wcqd: 5
+ldlb: 5
+ccwp: bhdj * rvvr
+cvdn: glfs / jrlg
+fvgz: vnpd * tdgg
+lbww: tlpp / zmvd
+slfl: jjhf + pbsw
+cfdd: 4
+tfmb: lpzl + gtnf
+pqgj: zvbm + vvqd
+nvfj: bcms + rpbw
+jtfn: vmvn - gtbw
+dvvm: 2
+ppzd: hlzs + qpsp
+jgfr: lzrg * cmss
+vjgs: 3
+gwvr: hjnt - rhmg
+lfnb: 2
+jhlb: 8
+rdrd: mzgb + vwrm
+vmgd: gsdn * qjcr
+nfjq: brbw * nbdw
+znrg: jhnv + jwlz
+tflm: 2
+hstn: 9
+grbz: 7
+ffjw: 13
+fnql: 15
+nvbp: 2
+hznm: 2
+rgpb: 4
+lzln: 5
+zpgj: 5
+rbpr: qsqn + bgqc
+rlqw: rjcz * fqtp
+pnqg: 3
+zbvj: 7
+ghcb: pmpz * sqbt
+tnmb: 4
+twcs: cbhd - pptt
+srfq: 5
+ghzs: 2
+rjqh: chsc + sdqz
+mnbb: bjqv / nbcm
+vrfj: rblm * msqb
+crcj: vbpz + wrmr
+tlpp: jgcl * djnt
+crlt: 5
+ndtl: 4
+gcvv: 1
+tqfz: htjf / scmp
+qbnf: qmqc + cchl
+ffss: dbsd + jbgs
+dnss: fbgv - zpqm
+pjrq: htrf + lvts
+mjnw: 12
+mpsb: 3
+wjgn: 2
+fjmj: qbsm * pjtm
+rdtv: mqhj * vvpr
+lhmf: hhlb + glsc
+rwzr: 3
+qrbs: hdfp * dqnf
+mwtr: phjz + qdmr
+tdvr: 5
+jgdf: 2
+jnqc: 3
+dhpw: 7
+hlsb: 2
+bfrv: zlzd + wbjn
+gpsg: mwdr * mfwp
+qwwz: mdmw + cgst
+cdns: ndgl * wnpz
+jlmr: qgjq / tdvr
+gtrw: 9
+vbqp: fvgz + mjhs
+grhz: nvzs + hplq
+znvw: qvwb / mvml
+bfsv: 2
+mjpv: gwqg * tdlt
+drlc: hvhb + gsls
+bndl: bfpn * gzrw
+pjdq: 5
+mvrv: zjnz + qpmq
+dsqq: 5
+cdpt: wpjd / rdsf
+jrhm: mqtw * llff
+pgbl: 3
+fqtp: 17
+hhdq: 3
+fnpm: 1
+tzmz: tgqw * wnwt
+nzqt: 4
+wmgc: 2
+bqtj: 12
+fsfl: cfzb * vlgl
+ctrw: grhz - rgnm
+fqmw: dbcr * zhgh
+pjjv: jpdc + ljdc
+vwpd: phnd + hdhv
+gzrw: cncj * bpgd
+twnp: 3
+nnpt: njvl * vznf
+splf: svjw + ldtb
+chlz: 4
+dpvr: znzr + nlmv
+dltj: bfrv / bbmc
+mrlv: qmpv * jszl
+hhlb: srwd + vqqh
+jwph: 5
+fscf: lhtb * svwf
+pfdn: 5
+hthf: 2
+gdvj: hldg * cmjh
+tzjj: dlgb * wlml
+dfmv: 4
+vnpd: 3
+slbc: 5
+vvwb: 12
+trqj: 3
+hvfh: vpcs * zrng
+bgzs: 6
+qngr: lrdn - blgq
+dvwr: grrs + lchv
+czct: 4
+mvzv: 7
+psdz: 3
+fczb: vwsg + nzql
+slww: 3
+fgbp: zpgm * plzr
+qbsm: 3
+rmtg: lznj * cwtd
+fwtm: 14
+nsdl: 3
+rsbm: lcmb + lllr
+brgf: 4
+vtch: bqtj + ntqf
+ppqz: 4
+ntnr: 4
+ghrg: 5
+chcd: zhbq + hvgv
+frmz: 3
+vsjb: 11
+mgqg: tsmd * whdq
+mflg: 6
+gwhr: bcbw * qpzv
+pqgc: wqtz * qbdq
+jvtm: 2
+ndgt: mnqf / dmbm
+qpsp: 19
+lgdt: 16
+gtnf: hbbc + ggdl
+whlm: lsdv / gfrl
+zbzp: mmvm + llzq
+vmbf: 3
+hzcv: fclh * wwvz
+pnhn: jdpl * ccrd
+msnb: wjnr * qhnl
+hvgv: ccwp + zrwg
+nbgg: 3
+qczv: 2
+ghrw: lfht + hncj
+bpsp: 6
+tdrp: 11
+jfhr: zfvd - rwjl
+ljdc: mzjz * tbqd
+msbf: 6
+gnjs: 16
+jrsn: humn - vccc
+lpfg: qfwz * zcqc
+twhb: rqrv * ntrt
+rzfn: 5
+mpfw: czww + zmbj
+jshj: dtzm * bvzv
+rmzg: jrsn * ljhh
+hdgc: crzc * cmhv
+ptfd: gqwn + tcgg
+zgsc: njsf * scms
+grns: 5
+cdrw: qbtd * fhpr
+rdzw: 3
+hrnv: mcfh / rhpc
+sjmv: trpt * bbwp
+gdtt: 4
+tvsq: gthf * bdrb
+dbzg: qvfz / slsz
+vcvt: lvdg / ffbf
+chsc: qtvh - tvts
+sdqz: tmgp * qfwj
+gmng: 6
+cztt: pqhr * ldpc
+zvcm: ldlb * tsvq
+ppfj: 2
+qfbp: cndh + jlmr
+jjqm: 9
+qjcm: dvvm * qrbs
+zqvg: 2
+bchb: 3
+qtvh: gtjv * jsgz
+tpsn: ggnp * zbwh
+bwnl: 5
+ptsm: 6
+wrmr: mlsw * mhzr
+fqph: vhlb + zhrw
+hqmm: jwqh * pffg
+cqrv: rgzf + dnvr
+qswl: qcdj * bgtg
+sbdn: 13
+brtl: zlwz + hwbv
+fzjv: rtqb / jzmw
+bmwg: tqfz + zfnd
+tsln: tcnp * snlh
+hbvw: 3
+hndb: 5
+qdbv: 8
+dtqg: hvqd * lrnw
+mjvj: dnvd * mdnp
+cwvm: gwmd * ggwf
+fddj: 2
+pcbc: wmgc + vgfc
+mtlp: 5
+qvdg: whrc * pgbj
+dsgl: 1
+bbph: 3
+bdjg: rmwz * rmgw
+dnvr: hcqv * trqj
+jwpr: ndgt + fqml
+twmj: 2
+mdcw: hbvc + hltw
+dldw: 1
+mjbs: qbzr * vhql
+llwt: vnbw * hrpv
+clbh: 2
+bvmt: bhfb + fwvd
+whdv: dvsf * fzdt
+ccmj: 3
+snlh: 2
+rgtw: nnhs + hhcr
+mfcf: jjdn * hqfr
+cssl: 7
+pzhf: wmqv * zvhj
+rmrv: 8
+jlhh: wjgn * lrht
+bscz: qsdh * gvgl
+djqb: 3
+bdmc: 5
+jclp: 19
+fjjt: 3
+djnt: djpp + vzjr
+vdph: 2
+mzpd: 13
+nnwm: 14
+cpld: 3
+vzpt: hmpv * hwsb
+zscn: vrsh + glsp
+qlwv: 6
+vzmm: phhf + bsww
+hsnq: 4
+sdtd: bflc + ghpm
+wrvf: wncf * jbbz
+qfsr: glsg + sntj
+mvgd: 19
+lqqh: 3
+lggl: 3
+bbwp: 3
+gnjb: 4
+csfp: mcrg * bfvr
+zsvz: tqvg + vcpv
+trwm: 3
+sgsr: stjj + fgfb
+fssf: hqtz / vstc
+dhzs: rrmj - ngnn
+pzrb: 2
+tdgg: qrph * zpfn
+vgfc: shrw * cgzs
+qmpf: 3
+ntrr: 9
+hmvt: 4
+dmnd: 3
+jrwj: 5
+qvtm: 5
+wfnb: rbms + ggrh
+vrgq: bdrp * tlvr
+phnd: jnmd + hmvt
+qbfs: 2
+mvsg: zqgd + nrbb
+qtmn: vfmr + rdld
+gvpp: rpzm * vwjg
+nljs: ltmp / hbdw
+fghl: 3
+zpgm: 5
+ftzq: 5
+gdrr: 8
+fzgp: cltv + tzmn
+mdds: qgqb * swlm
+jbgs: rrgs * sdtd
+bzmf: 5
+mnlj: qtpn * ngrv
+wgtl: 5
+dtrd: hnwr + ngqd
+jfwm: 5
+zqhc: 5
+nfbf: 11
+jmsj: 5
+nmsq: mdsv + vbqp
+wmbj: 2
+npml: 5
+vfzf: vmbf * dhzs
+nntv: 19
+jwlz: 5
+mbpw: ptbh * swwr
+hplq: lbww * mhcz
+lrnw: smmh - zncv
+zdgw: hsnq * sfzh
+wpww: jlsz - swvd
+zqtj: pbgd * zpjb
+nttr: 13
+vrlw: 3
+mnqf: tmng * gghb
+lgsc: 3
+drgz: 19
+lcmp: 5
+dzfb: 2
+cgvw: crlt + vvwb
+crzc: 2
+jpdc: dwnz * tbnp
+bvmz: cwvm * pgbl
+zpzm: 2
+cwcn: 3
+gvgl: zjbj + nphs
+cqld: dccr + gwtt
+gsls: 12
+cdlg: 2
+ggtd: pbsc + sgzw
+zjgz: sllh * tfpv
+dbcc: 9
+mzhw: 1
+qbls: 1
+bmpl: 17
+swbm: 7
+jftz: jmsj * sdqd
+tnrc: 20
+hhdj: 4
+nbcm: 2
+brql: 2
+bplz: 10
+ffnt: ssdh * gnjb
+dlgc: 5
+jbmr: zmbl * zdpr
+flhw: rwzr * fvmw
+hjnv: 2
+hjnt: htbz * pbfh
+rjrm: ffwp + cnnq
+vltg: 2
+cfcr: rtgq + mvnw
+pvzn: zgqf + jfbf
+msrg: 5
+bjzv: 5
+dmjv: 3
+wrrj: 11
+nqzm: 2
+rmns: stzc * dljn
+wfsb: tqvs / cqbr
+pcmb: nwds + zwzl
+gwmd: ppzd + fggn
+mjmz: 2
+lqsf: 2
+jtpn: fwqs + cgsb
+zffm: 17
+ftbc: msjs + cdnm
+mdcg: zrpv + fnpb
+mssm: cmlp * cqqn
+qhfh: 2
+fbww: 4
+sllh: 3
+hgtr: 3
+gwbv: hcsp * hrrh
+jjcg: lpfg / rldp
+qnzj: qcfd + srzz
+jcrc: 3
+vvrs: 2
+tjlp: 5
+jdpj: zscn * zpzm
+bhsg: cpnp + fczb
+jtpg: qhlf + scsr
+ghvn: msdh + jsss
+dzvv: dwhg + gwcq
+llqg: vpvj + mnpc
+rcqc: 3
+trsd: 3
+jvzs: 5
+hcwf: 4
+ctpn: zbzp / rbbw
+jnmg: lzhl + fnpw
+rfzg: 19
+cjsc: dtrj + mtrm
+nqtg: vhcr + nhgl
+plzm: hmrw * mrhc
+gzsj: 3
+smzj: 9
+nlwl: cvtq / cgnf
+jsdm: mjdt * vjgs
+qhnl: wspl + ctrw
+htpc: qfzl * mgqg
+phnt: 6
+hdfp: 5
+lqgp: jsnc / nvjj
+mhvp: qvdg + mwcc
+vpcs: bgmj + hdcc
+ddbq: 3
+qfwj: 3
+trmg: cgwq / grgg
+mgtn: 19
+wncc: mdfh + vwbg
+bfmq: pwlb + hnpw
+hpmw: 5
+lwvd: jrcw + jnvs
+sbwm: 1
+rtmj: vhst + gvfr
+pggv: 2
+rdzt: 3
+zfch: 2
+jrwv: 2
+fdjq: 2
+hshd: fttl + vmgd
+hmbg: rzqp + hfdc
+bfqn: 4
+nwzs: 2
+tbgq: 7
+glpn: zbgb * lddb
+hltw: dsws * hgqt
+qpft: 10
+sjwh: mscr + wfjr
+rcln: jmqg + hshd
+rhpc: 3
+llwg: 2
+ddjd: znrz + gccg
+gwtt: dvcm * pntc
+wpwp: 6
+dccm: 17
+gjwc: gphs * ntjw
+ndmp: pzwh * pjhz
+wpfr: glgs + qphv
+wzjv: jbmr * wlgj
+bnhz: bbqj * pssj
+pbsc: lpzp * zglh
+tghz: dwgq * ztjl
+gdhz: rjrr * bvmt
+mfgq: rgtl / jlsd
+jlsz: cnfw + zbpw
+hqfs: 2
+smcj: 3
+jfpp: tgms * zmvg
+ncvf: nthr * thcm
+gqmc: 2
+jfqj: fbhq + vcmm
+vwnv: svmz * pnqg
+dgbv: 14
+cmsp: hvzg + dftv
+brrp: gtrp / fjlc
+lrfp: dfbv * bhml
+qjpb: 17
+szqb: vhpf * nmcw
+fqcn: dspz * tsnm
+pffg: 7
+mjvm: 2
+prnj: slqs + wwfb
+dscr: jwsg / czhv
+thrp: nmwt + btms
+vbpz: qczv + bzfb
+rnhs: 3
+gqwf: trsb + grwz
+qlnr: mhmd / fmpg
+mnfn: 8
+nfzn: qzqq * pvhq
+mzbc: ljnv * ntcj
+mhzr: 2
+bzsv: 2
+wmsr: lswz * grns
+rbff: 5
+ngdb: 5
+qlwm: ftbs * mhgp
+wqhs: cfcr + gmrs
+wczr: 3
+mfbd: bsgr + wmwn
+smmh: 14
+gqht: mnzc * jmqj
+pjtm: qcjq + btjg
+pvjp: 7
+vhwm: gjcp + zbgf
+msww: ghrw * vdqh
+mnpc: 1
+gwqg: 2
+crqv: 2
+qmqc: 12
+wqtd: 3
+clrg: dttt * mmzz
+jjhf: 5
+pzcg: 2
+nlsj: nlgw * dfhr
+cnfw: nlwl * nfbs
+jwvs: dsgl + rmbr
+ddbd: swpq * bhlb
+bztq: hhdj * qfmz
+dfbv: 5
+ccbg: 1
+tjgp: bcnz * ldsw
+ghpm: qjsf + mqlp
+rrpg: mbzz + nlsj
+nchr: 6
+qqjr: 2
+gtmz: wqfq * nvfj
+zfff: jcfm + hcwf
+fgzq: 5
+zjbj: hjmr * fpsl
+bvlf: 2
+pdrg: wsmn * qwwz
+jjsn: 3
+gqqd: qhzj * jvtm
+mdmr: lwjc * phts
+trpd: 2
+bqml: 2
+gnmr: bmpl * dzhh
+qfzl: sgsr * bcsh
+qjcr: 7
+ngls: lfqp - njsh
+dsqn: 16
+nngq: 3
+jrjz: 5
+lfzp: 20
+dhtn: 3
+bpqs: fwtm / qvrw
+qftt: 17
+dftv: 4
+sljt: 4
+ggrp: 6
+lpqn: sjhs + ngzq
+slgp: gqht + sbwm
+vjbd: djqb * ltcv
+qtdj: zgfv * ptsb
+lcdd: 7
+rnlv: qpft - jtwv
+fnhm: qlgv / csss
+jqmb: 6
+zpmb: rdrd - lbqg
+stjj: gchg * rfjh
+trpn: 2
+gltv: hjnv * lgmp
+cqns: tlmn * fzpt
diff --git a/AoC2022/21/solver.lisp b/AoC2022/21/solver.lisp
new file mode 100644
index 0000000..fa28e31
--- /dev/null
+++ b/AoC2022/21/solver.lisp
@@ -0,0 +1,26 @@
+(ql:quickload '(fiveam uiop cl-ppcre trivia))
+
+(defun build-monkey-table (filename)
+ (let ((table (make-hash-table :test #'eq)))
+ (with-open-file (stream filename)
+ (loop for line = (read-line stream nil nil)
+ while line
+ do
+ (cond
+ ((ppcre:register-groups-bind ((#'read-from-string monkey dep1 op dep2))
+ ("(\\w+): (\\w+) ([*+/-]) (\\w+)" line)
+ (setf (gethash monkey table) (list op dep1 dep2))))
+ ((ppcre:register-groups-bind ((#'read-from-string monkey number))
+ ("(\\w+): (\\d+)" line)
+ (setf (gethash monkey table) number))))))
+ table))
+
+(defun resolver (entry table)
+ (trivia:match entry
+ ((list op a b) (funcall op
+ (resolver (gethash a table) table)
+ (resolver (gethash b table) table)))
+ (a a)))
+
+(let ((table (build-monkey-table "input")))
+ (= 56490240862410 (resolver (gethash 'root table) table)))