1 files changed, 2401 insertions, 0 deletions

diff --git a/2022/21/input b/2022/21/input
new file mode 100644
index 0000000..f3eba58
--- /dev/null
+++ b/2022/21/input
@@ -0,0 +1,2401 @@
+lzvm: ptgl * wvjc
+jlbw: 5
+vgzr: 2
+scpf: 3
+lgtp: 2
+srsp: vdmg * fqbh
+hcmw: 7
+cnpc: 9
+scvq: wzpm - cnwd
+nvml: 3
+rlvv: 7
+ffrw: lscf + jcht
+lprr: 2
+srpn: 2
+hspb: gdhj + fbbc
+bhsc: 4
+hdtw: qfmd * wntp
+sjhs: mfjc - nwcz
+wtgh: 17
+rjvw: hzjt * lnlw
+cwpc: 2
+wtqw: 3
+tnhb: 2
+dvrh: 3
+znnv: wthv / qczc
+qpln: wspn * jpnc
+phbj: wnzd + cnpc
+lhln: mwcz * dvln
+grqn: 3
+crdg: jfzb * pwpj
+lsjd: 4
+tzwh: shgc - bqzv
+rldp: 3
+pjzm: 5
+pwbn: 2
+ljgc: nsbn + jwwz
+vhjj: gjzm + qrzs
+wmfj: dnbb * nbfq
+bjgq: vcdj * sfhl
+rpfm: 9
+bqlm: sdpl * nqdr
+gmjg: nzwv * ljsq
+lptd: humn - mrjt
+rlts: nlnf / wmmj
+nfdl: sbgc * rdwl
+stpr: 3
+fqgm: rvgf * jsvv
+cgrz: 4
+dvfw: vdzq + tfzd
+bwwv: 10
+dfcw: 8
+psrq: hcvr * lvdd
+lltb: qrtt * qpnn
+tlgs: wrqq * wvhs
+whll: 2
+tmfd: 5
+crvv: 2
+thhz: 3
+fhpw: 13
+qwqb: 3
+lfhp: 3
+vszc: 8
+cfgn: 5
+jcjb: rtvp + mpcm
+hwlg: 5
+vqhg: whpc + sgmj
+lhll: qwqb + svtq
+cvjc: zjmz * hcmw
+rszs: wmqd * flhp
+hqbs: lzrr * jfvt
+dpwb: bsmg * vsjs
+dfzj: 10
+zqhb: cvzg * zrpj
+qtwr: vhbm * flrs
+fbtc: bqnw * hzgg
+pdfm: 5
+bllh: 10
+vzhq: 2
+bszl: 2
+cvzg: zbpr + vvfg
+cczs: slws + dvfw
+wvrq: 6
+vrhf: 2
+tphn: tllc + lwhq
+gbmt: qfln * pflg
+nqtb: phjv + dqwf
+qpst: 2
+fsrp: vfgn + ghsm
+fffv: zfvq * lsts
+cvln: psrq / bgcl
+bqvm: 19
+shff: 2
+cjnh: 7
+wrhb: 3
+gpsl: npmt * gcgb
+tmgv: cnzs + sfvt
+hlql: nllh + gnlr
+bsrc: jmvn * fdpt
+fnbp: 19
+ptrl: gpmg * wmjv
+ddsh: cztw + mgpq
+zmtf: nqlj * gmjt
+ctsj: 2
+qnpm: 2
+zhgr: jcpz * msvz
+mfbg: tzcs * qfmj
+hllz: wnhv + twsh
+bbwz: fpcq * nncm
+tlzb: 7
+jjzf: wssz + gbpr
+cqgb: fffv + jtpl
+sgqn: smns + mgws
+tzjc: 9
+dslw: 6
+cdls: 2
+bdqm: mfdc * jpgb
+nzpp: ddrh + bvfb
+mzcl: lcpb / sgqn
+wfcn: msgg / fqcz
+mtvg: 3
+mtpd: 2
+tllc: flzq + pfqz
+wfgh: qpbz * mscj
+zvvw: 15
+zspw: rspv * lgdh
+qwqg: nvqr * vblw
+whpv: vpcb * pzvb
+dtsr: 5
+plpc: fgsc * vnjb
+spln: 13
+fnfm: 1
+jlbv: 2
+blwt: nhfd + nslf
+sgnb: 4
+ntfc: 12
+znhg: 2
+tlvl: 2
+wqrw: 3
+mtvq: wmfj + fldv
+qpnn: rvbm - jnmf
+zcbm: 5
+qmzr: 2
+gqfd: 2
+jgjf: 9
+wrsf: 1
+mgfq: bqgf * qpff
+pjff: tqbl * bfzm
+sfng: qzhl * cslr
+jwqs: 1
+tbzw: 3
+jzmj: cfgn + wfdv
+rznc: 1
+rmhb: 4
+nlmq: jqcr + mwbl
+nsgd: 3
+fdvl: glcn + tvfb
+spfj: bqlm + cmgr
+rcnn: 7
+qdss: hpdr + ntdv
+twhn: gsgv * gcfs
+mwrw: 17
+tghw: wccd - czcj
+dsnv: 3
+mbhp: rrgz * ntld
+plrn: 3
+jcht: 4
+cfqf: 2
+rddd: ctsj + jvwn
+bngj: 3
+hdph: 2
+gqtd: fzjn * chnw
+rzfw: wmfd - tpcz
+qbgv: pvmv * rnqm
+mhjl: qgpq * nbwq
+snzv: qlsw * bgqs
+bwsj: vcgm + jszc
+chhf: vzbv * lmpw
+sgjh: vzws + msgd
+rpsm: 3
+gpdq: dvwl + sgvt
+nghg: hllc + zcmt
+wdqz: 4
+bbfl: 2
+djzd: 6
+cszl: 12
+jdmz: 1
+rcsw: tpnv * bswq
+wrvm: 10
+sdcs: gccn * lprr
+hplm: zwsg + ctvv
+gljv: 4
+mwsb: qlmv * tbqw
+zpzs: 4
+pcdm: rdws * hmlb
+hhgr: 3
+svgd: 5
+wtzw: nlmq * dvms
+ndwq: nrwc + jzjw
+zdhd: gbtd * qbng
+srtn: fcbs * pjgr
+cnwd: rjgc * bngj
+lbws: dhrw + bndv
+gjzm: 15
+wpsc: gdwq * csvt
+wbls: 7
+bnns: 5
+qqnl: 2
+vqgh: 5
+mqtd: lzcq + msvq
+rdql: 5
+vrwp: 11
+dlqn: 3
+bvdn: 3
+cpsq: zbhn * zsld
+zbhv: pdbq + ndhf
+lflz: crpc * njzw
+grdq: 11
+jgzh: 5
+nllh: 6
+sqmg: qjzv * lgnb
+cjlz: dqhs * djtr
+sfhm: thbq * tvql
+ncfn: zdnq + vdzv
+rpgr: ghct * stld
+mrpm: 2
+wpgc: hvtb * rcpd
+nbjl: tjrz * nnfl
+bnsw: ffsv * qmcs
+hrqb: 2
+phjv: 4
+smzg: znhz * fdtg
+jqtw: 3
+zsct: 11
+fsqj: 6
+wrmj: vpvl * nlvn
+rrnt: 3
+qjzv: rrsw / fwtb
+pjwv: 7
+wrjh: 4
+grnw: hlgb / wtdm
+fnhs: 5
+lnhr: 2
+pwss: 8
+ddzd: wbzn * fnbp
+vpcb: 2
+zcdd: 2
+chmz: 2
+mmfs: 1
+tfvp: nqrw * mmvq
+pccl: 1
+dzvb: 3
+pbpp: 11
+jnmf: djnw * lbqj
+qdgb: pwww * lmzt
+rjvj: pfwl / lgtp
+vwsc: vjps + gszw
+rdfb: 14
+thbq: 2
+qhhn: 3
+jjss: 4
+qbng: gbdf + vzzh
+ttnz: zwhw - llcv
+lrgz: 20
+dhrw: 1
+dnqd: tghw * cpdj
+wswz: 3
+hdqn: 4
+vmbp: mrqw / qhjc
+hvvw: 3
+jcvr: tnhb * ncrp
+lbcd: 2
+bjsz: tgvd + pgbc
+gtgn: mdhr + ncwv
+pfgp: 4
+lsgl: dcpw * tvbn
+nqrw: cjqn / lpqt
+chzz: rngm + rptd
+wfdv: 2
+lldr: bgpm - vswd
+jcpz: 5
+lqcb: 7
+fwvg: zdbb * pqms
+jjfb: 1
+sdjw: 8
+zfhw: fcrs * qbnd
+gdsb: chqs * rcnn
+znhz: 2
+mgbh: bzwm * qdnc
+wvjc: 3
+scfn: 2
+bjhp: 2
+ccrm: nsvf * mtpj
+psmd: vdvf * frqg
+pzvh: 2
+dgvb: zlrz * qdss
+hqsl: 2
+lzcq: 8
+qbnd: 15
+mclf: lszg - fmrl
+rrsw: hmbb * ffsh
+mscj: dncs / cfqf
+hwbr: 2
+nhjl: 7
+ldgp: 3
+hthg: hlvm + fdpw
+pbnt: 3
+tcch: 3
+gdjw: qrnp * stfz
+gqjj: 2
+ctwc: dfhc * qlgd
+lzlr: qntm * dqzt
+tvfb: 3
+mrbr: 3
+tppb: 5
+mqrf: qrqv * qjcn
+mzpl: tbsn + sbwn
+pzgg: qdnt / lllq
+lhvt: pwqz * bbwl
+vlbr: lhhb * bjps
+glzz: 2
+psqz: hggq + ncgg
+bdrw: 3
+bmvf: nqvp + tnmw
+jpwg: 2
+rtnq: vdvr - zfqh
+srwf: vtdd + vqhz
+zmgg: snfb * mfbn
+lpbn: dvrh * phwr
+rhlg: 3
+gpmg: 5
+mctq: lhll - rhlg
+mnfl: 8
+pgcs: 7
+wvdq: 6
+tbsn: 10
+fpjw: rtvs * zbhv
+bftt: 3
+nqhq: gjpl * zdbf
+qpzf: hthg + znhd
+gbpr: gbhv * fqsm
+nwfb: nnvt * ldgp
+lbqj: 3
+zlzg: twvj + sbnj
+zwhm: qntz * pmzp
+wzbq: 2
+zhzw: 4
+lzcg: jmrn - bqwv
+hdnq: hnvr * mfbg
+vswd: 1
+qqpc: bsff * nfsq
+snfv: fhnd / sdrt
+qjvh: pdfm * nwfb
+vbhj: 3
+nsvh: 1
+gdvj: 1
+jplg: 4
+dcpw: hwgv + nljn
+pcvd: 3
+mrqw: wgbm * wzgq
+jjlp: 3
+hzgg: bqrf - pzdz
+rdvw: qsbl / tcch
+cvlw: rlvv * lsgg
+rgwm: bdbf * hhcv
+bcpf: 2
+dzql: wtdw - zhgr
+qmss: 8
+vlzr: 2
+hrdq: lhmb - tswg
+mwbl: qrsg + bgpc
+vdql: whsm + crbv
+vdml: nfbd * mbhp
+fhnd: wbfz + jbpq
+lbpc: 3
+gqpf: swbd + dlqr
+dgqz: jlwh + dqwh
+mmqs: vbsd + sdhf
+cpdj: 2
+qfsq: ppvw * wggh
+dffn: thrp * wgrs
+wzpn: gpsl / shff
+zhdr: jczd + qtqr
+fdsq: cdls + vspg
+fgsq: qpzf - bhqz
+jpvs: swzp + crgj
+dmgc: nwsl * pgcs
+dwfh: 2
+mjhg: hhpq * lvrz
+bcpz: 20
+vhrl: 8
+tvql: 5
+npmt: 5
+blth: wmmg * wjjt
+wjvn: smzg + cfsp
+rwfv: hhgr + wpgm
+vdvf: 3
+vhcf: zcrq + hvnl
+nttt: gdrc * wlcd
+hpfl: 2
+mfjg: jpnr + tvgm
+tdrb: 5
+vjpz: 4
+jftw: 4
+rcjw: rtwq * qqgn
+zcfr: 3
+zqjp: wllr + mnsw
+bgcl: 2
+mfwz: 4
+dsgc: 17
+jhpm: 7
+hgpb: 10
+bdrs: sdvg * zjnb
+hcvr: 14
+ffpw: mmbz + nsrl
+rdmw: 4
+pvbm: fhsr + hfdq
+mwvv: vlgw + lgvw
+slfv: 10
+qtqr: grdb * ngrh
+qrsh: 15
+whcc: htfn * ptzp
+bjjd: ljjv * pfnv
+qhbz: bnsw - bhgv
+qbzr: nfsl + bbmd
+hbbt: 3
+jhml: 5
+sjsq: lqdz * mzpl
+mqqz: 14
+cbqg: 17
+vnzn: bqbz * btdr
+msgg: dqrb * srcw
+qcbt: 2
+pwpj: 2
+dfhc: 2
+nhlv: 5
+lspg: fmqf * pgrl
+qdzh: 2
+bnrb: gnvn + phpt
+jnhv: 1
+gpzc: cpdm * nvqt
+mdjt: 2
+rpgb: 10
+cmbv: gmsc * zmct
+mmvq: jspg / dwfh
+vcvv: 13
+pbjw: 7
+cjdd: 5
+mlzt: scmm * ntsh
+prpz: zcfj + hnlw
+zhlb: gmhz * hwjt
+psct: snzz + svfv
+fvvt: hnwq * zlzg
+wbts: rrnt * bsjr
+vfsz: dgnn * bchq
+hwpl: bvls * bmfp
+fqcz: 3
+jjlr: 3
+wjvt: zspw + grjb
+lmvn: nrhz + wvrq
+lszg: nbgh + wqth
+zsld: 3
+trjq: 19
+sbht: 2
+mtmn: 2
+rwwn: 2
+cslf: 1
+blzg: 18
+bcnf: snqd * bbfl
+nbth: 4
+vtfs: 5
+drwb: 5
+dnmp: 15
+wnzd: nzgj * vtfs
+wzct: bghw + ctgd
+tbrw: npqm * nppj
+vjrq: 8
+pzdz: jjlr * fbcq
+qgfm: pbnt * hjrm
+vmmb: nmmj + cvls
+mtjp: 4
+szds: rlts * rvjq
+lwhq: 18
+ccpw: vpcg + mlcg
+bhsj: nzjv + lqgh
+cmbm: psct + wwjb
+bggd: 2
+mzqr: jtvw + mdzh
+dhqd: 4
+pjfm: 14
+lwsq: cpfr * wbgm
+nftd: gcqm * cjdd
+zgtj: ppfz + djcq
+jslf: 2
+dhmq: nsft + npdl
+vwwc: zvsf * hbbg
+gmwv: blgr - tnfh
+bhrc: wfcn - jszw
+cvzz: 12
+hghn: wbts * vrtq
+pdhs: 4
+cfvj: 2
+hsgn: lbcc / zqjp
+rvcs: 2
+hsfl: 4
+dgbl: 4
+rcpf: 2
+whsm: thbn + spfj
+ghnt: 12
+vdzv: nrpt * ljlg
+zrds: 5
+nwjz: 3
+zdss: fpdj + qrnt
+wsvj: 2
+fstv: tpvt * jhgb
+nvzh: 2
+zgtg: wgfl * rmpf
+vpch: wfgh * rjfj
+mdbj: 2
+pdmz: gcqw / fntt
+mbtl: jzhz * hzjs
+szfw: 12
+mnsw: 6
+hjrm: qvdl * qjfr
+wpqs: nhrt * zptt
+gtss: 5
+hcql: mlzt + tnjz
+tczm: 3
+gjpl: 4
+jhzp: tmtb / bcjw
+mlnp: hdtj + sswp
+pzhl: 2
+lnpw: 2
+bcpt: zwgt * whcc
+bglj: qsnt + rcsw
+cbvv: 4
+zhcj: jghv * wsbp
+wtwj: 6
+fsrz: tlds * zmdw
+zjfc: ldhj + bvrp
+vhbg: fwvn * jnst
+cvqw: 4
+lfqv: rtrm + pzbg
+tbqh: fvnm + qnlq
+zlrd: 2
+dprv: hgfd - cslf
+mrdr: mhjl + bfgj
+nzwv: zzmh + nbth
+nnfl: fbrs * svgd
+qvtp: fwqf / chmz
+hzjt: mzjw - hlff
+tdsb: tqmd * thnv
+pwfc: 7
+phpt: vzsg * rdwn
+mchl: 2
+wthv: gljv * vgzj
+fbrs: ldqf + qrvc
+gwdh: 16
+ndhf: wngv / ffdg
+lgdh: bhwj - nrjj
+dzgf: 2
+dtwv: rdbj * qgfm
+jzhz: 2
+rvps: dhfl * lvjp
+flrs: 3
+tqmv: 2
+bfzm: 3
+tdgd: rdmp * cwpc
+dwbg: 2
+pwww: nrqc + tfvp
+nqmd: 2
+jzgd: 5
+jwbf: 20
+cjdh: gtgn + rght
+nsrl: fhjd + jmjb
+crpd: 6
+dmgj: hjzn * mqtv
+gqrw: nmjj * ljdb
+hjnf: 3
+gsdz: fvbn * hwbb
+jmqn: lgzt + vvrz
+ndmz: wzzd * dlzl
+nfvn: rmrl * fpwt
+tvzh: 19
+cfsp: gpbm * mnmj
+dfsh: 7
+nzlf: bglj + grqn
+gdwq: 5
+vnzr: 2
+ngrh: 3
+svcf: srms * zvvt
+pjzb: 9
+spqb: mjpz * ndpl
+ntsh: 3
+hqtz: vzmc + zdzr
+nsft: pwfc * gsnr
+qbsq: 2
+qdnt: hwnz - fgsq
+spnd: mjhg + wsvj
+vpvb: 1
+lnpp: 3
+csdb: 2
+sdnn: 5
+srdb: zwwp - npzs
+hnrs: nlwp + cbtb
+rbwb: hwrw + gbgh
+qfzb: 13
+fjch: 2
+hmlb: 11
+zqmq: dpwb + qvrv
+cpfr: 3
+spzw: lzvm + ltbv
+bmwg: 4
+hfjw: 2
+fcbs: pjzb + qwmw
+nlvn: wgrr + tnrr
+mhwb: pccl + dslw
+wtdw: bwqg * mfsb
+gsnr: hplm * cdhc
+dsmv: 2
+nmls: wrvm * ppcf
+nnmf: 5
+hsmp: tvtg + pbbh
+fdpw: ntjw + hrmm
+qhnl: mqrc + jwlz
+sswp: 6
+jrcw: clcw * hqsl
+fwcp: 3
+hhbf: 6
+mcgv: cwqn + wptt
+dpnj: hnmd + bbhm
+vdsh: cfhz * nscd
+cczt: zqnn + mbvt
+zftd: 2
+wqzc: 9
+nmrh: dprv * njtd
+hggq: pstr + zqdc
+mnmj: ddrr + qrps
+hfdq: 2
+wwzt: pjzm * zsct
+qqqp: 2
+qfpm: 5
+szbq: chgc - flql
+jblv: mnfl - qzmr
+dfzr: jzgd + mfgq
+mbvt: zrjh + qvpc
+ptzp: 3
+zgvl: ndvm + zfdc
+npqm: jqng + fdcb
+lnnr: 13
+pzvb: 17
+qwrb: 4
+zcmt: 3
+nrjh: 17
+mlnh: wvqh + prcw
+rgfq: lmsf * gnnl
+qpff: 2
+fvnm: ljmh * hzzl
+jwdl: vsnn + prnh
+fvtz: dmgc + pljv
+znbg: 7
+pgzw: 2
+cdvg: 2
+fjrh: phbq * wfwc
+vjps: qtwr + nhth
+bsjr: 3
+gmrs: tghv * lftw
+rvzl: hnbm + zqhw
+vqmb: jggh * pdbp
+fvvh: 1
+rdlh: 2
+hvtb: 13
+jgfb: 3
+wzrc: nrtv + cpgt
+lcpb: lqwr + ggcw
+zwjr: sfhm * hlql
+qwmw: cbjp + nqsr
+fwtb: 2
+zfqh: bdrs + zslz
+llvp: gmbl + bpvt
+bfnr: rddd * cbmm
+lfdj: dcjj * zmrd
+hlgb: lspg + gnsn
+svrr: 2
+jrps: srct + twml
+rtvs: 2
+rdws: 3
+ntlc: pgsz / gqpl
+qlrn: 14
+rdvt: 3
+root: cwtl + wqpn
+qbmt: nwjz + bhfh
+ldzl: 2
+cdnp: ssjm + dsrh
+hrmq: mqqz - hmnq
+qzmr: 1
+rrgz: 3
+jgfc: bndp * mjsd
+trsc: rpfm - pzvh
+lqdz: 2
+hmbv: 7
+qntm: llvp * rwjh
+sgsh: jqzb + gqtd
+sglb: ngfd * hhgl
+fvbn: 5
+cstd: gqbp / lqcb
+lrsb: 3
+zpnl: llsv * tsvw
+fbrp: 5
+bqbz: fgfw * qmzr
+tbqw: 3
+wfch: cjzm * dmbm
+gcfs: 2
+tsfb: jgfc + vcdt
+jjcv: zphw + cvlw
+qztz: 5
+fvlw: jrtf * bsmr
+lgvw: dbmb / mgns
+pqms: 2
+hvgr: 2
+gnqc: 6
+cjdb: hgpw + hnsn
+gdfn: stgr + zftd
+mfjc: jhdb + vsbp
+qgwz: 5
+hqpr: 3
+qhgl: 5
+bqzv: 6
+sgmj: 1
+rnqm: vvhw * bwzc
+tvpc: 7
+nmfm: 2
+dtlf: 2
+btdr: ngpb + nbcp
+sdjv: 6
+nlmd: 8
+ctjw: qgwz + wtdc
+thrp: ghhf + mhwg
+rdnt: rmzn + jcmb
+stlj: rcgn * csdb
+sjtp: tpqf * wspw
+qrsg: qtlv * gzfg
+gpfd: 3
+nscd: 2
+tjpr: qjfl + gfsm
+hnvr: 4
+qrgg: lqwh * fdnb
+rzlm: 19
+jtvw: 1
+cwqh: 5
+dbjs: vcrs / gphc
+hcsg: hjlh * ccnm
+nzjm: 19
+ctzf: 12
+ltsm: chhf - rmbd
+sfsh: 4
+vlmp: 2
+clwl: zgdm + vjrq
+fthz: 14
+pflg: 5
+hwgv: tndq + bszl
+hncv: 3
+cdgn: pzqs + vfgd
+llsv: qwlc + pwmv
+dvlr: 3
+dhgd: 1
+rfbh: 5
+tnvq: 3
+rqzf: 3
+bwvh: 2
+mjsd: mdtd + qfsq
+nhrt: 13
+mzbh: 2
+mpcm: 8
+rght: wzpn + fsrz
+crpc: 5
+flzq: pbmz * lfhj
+lwgc: qbmt * mzbh
+dhjr: 5
+mcvl: fmrd * tbfd
+rrbn: 2
+zzmh: 13
+gmvh: 2
+swfb: gtss * srss
+lgwl: mfbs + zvrh
+rfsp: 8
+wssz: jcdj + mtph
+qrtt: 15
+fjbn: 2
+hpfj: grbh + mbtl
+gshm: 5
+gprl: 2
+zqnn: lrgz + mgfq
+dqhs: 2
+dqrs: 2
+wbrs: zvbp + wvfc
+qntj: 4
+gsvm: 2
+nmfn: 13
+wsqq: 14
+ddqj: 3
+tswg: 5
+wspw: 4
+wqth: dmpn * bcrj
+wngb: wtzw * bwvh
+fhbb: 3
+mtph: dfzj * fqph
+clwr: srdb + hfqn
+tpvt: 5
+lfsn: hgql * hsmp
+zjnb: hfcn * jcjb
+tpnv: 2
+wllr: 1
+rngm: bmvf + bfrt
+pbfb: mzzc + jmpp
+pfpz: 10
+hhtp: jsqp * gwcq
+mcht: gmvh * bsjb
+vdqm: 12
+tbnq: pwss * zvvw
+nqsr: 1
+ljmh: 4
+nwcz: gnqc * sfsh
+zmdw: wdpf - rzfw
+rdrz: 6
+nlzl: 17
+gzzs: 12
+sgbt: 17
+pqsd: 4
+ngnz: snfs * qqdf
+zgcq: ndwq + rnnt
+gfdf: 1
+rlcr: zgcq * dsmv
+sphm: srqw * qghp
+vndq: jdmz + zwrg
+dvcm: 16
+qwrv: trgs * ctjw
+pgrl: fhpw * njws
+ltbf: 3
+zwgt: 4
+cdsv: gmjg + mwvv
+rcwb: rmwq * dntt
+fmrd: 2
+hjzn: hlnq + pvpd
+ctjj: 4
+znwn: 5
+crgj: 1
+rfbp: 12
+jpnr: 5
+mlwg: grdq * clwl
+dbff: ccwm * vhrl
+ldww: 11
+qqcb: 2
+tfzd: fcsb + scvq
+vspg: tdrb * hhgm
+snhf: qnqw * rjvw
+hcnl: 3
+crdd: 2
+wspn: gsbb * lpvn
+szhd: bgvs * rnfh
+jhgb: jjqr * hpfl
+sgtf: 6
+hnlw: 1
+pssr: cpqr + mqtd
+vfgd: 2
+whpp: dndw * fjbn
+jznl: gqrw - vjbb
+qzlb: dpzq * lldr
+crbv: ptvr * qcbt
+wtgf: 2
+bdzj: tvpc + tmfz
+lqwr: wpgp * spnd
+bfgj: spln * dsnv
+nppj: 5
+vnjb: 3
+jggh: tqmz + prsp
+nfjw: qzrj + wvjz
+mfvj: 4
+wnwn: zgtj * svfw
+jsvv: 2
+rfwf: 2
+ntdv: 2
+ndsb: vrwp * zrds
+scml: 3
+gzwl: vdqm / ptch
+ggtm: 4
+ptgl: gwmq - crpd
+mbvl: lfsn / dhbz
+mhpg: hfpd * jmqm
+tdsq: ztjm * zwms
+ljdb: vztc + ztdj
+tzhm: btdv + hllz
+dbqs: 3
+nlwp: dpqt * hvgr
+nnmt: 3
+hhpr: tzlr + rdcv
+pdrj: 2
+wgqg: snzv + tmqq
+nzwt: 7
+nbcp: jvhd * dmfq
+gmsc: lhln - vpvb
+jvjr: 3
+wjjt: 4
+bbwl: 11
+ltvf: tnhf - qblw
+pnjs: nnrv / wvdq
+gbtd: 4
+stgr: 5
+gwfs: 5
+fzcl: zwlg + phbj
+srcw: zpnf + scpn
+nrzs: 6
+mrqc: mwsb * hrnj
+pfqz: 19
+zbnc: 1
+fdnb: 2
+qjfl: qqnl * zbwm
+ctdn: 4
+zvbp: qmss * mdjt
+tdgc: 2
+tvbn: 5
+tmqq: pfzs + rzsh
+tpqf: mvth * phlh
+nflf: chtn + dvzz
+cggg: 4
+tnfh: 3
+wmmg: 2
+hfqn: fvvt - hjpp
+chgm: vbzg * gpnz
+vzvc: 2
+fwsg: smwp + hbcm
+njgq: 2
+qvcf: 9
+gsht: 2
+nhfd: 1
+pnfn: pwrl * hfsq
+hmcv: 9
+smtz: zdss + pjqd
+srms: 8
+wgfl: 3
+snzm: mmjl * tdqj
+jghv: 17
+pbmz: 2
+wpgm: 11
+dmqn: 3
+drrz: whgq * jwdl
+gnnl: 2
+wzlh: cwqh * pflt
+tpcz: 2
+nzsn: 4
+hgqm: 3
+qczc: 2
+svfv: 2
+bpvt: gtpl + mlnp
+bqgf: fbmb + qztz
+chqs: gqtq + qdzh
+jjrb: 11
+ppvw: clwr - nllr
+qbpl: tbnq + sjhs
+hwwj: wwvz + crhc
+vrtq: 2
+lvrs: 2
+bhsg: 12
+pwzg: 2
+fldv: bncd * zhcj
+vcgz: nzjm + pvqg
+zphw: sbqg / sqjc
+frqg: gdrq + rfbp
+cpzq: jbnp * bbsc
+cnzs: bbwq * cfvj
+gbgh: 2
+jhcw: rqzf + hsfl
+rvbm: mhpg + zbnc
+wmqd: 2
+fbbc: sgbt * cscj
+lhhb: 3
+wqbh: tdvn * gwnl
+mzlb: 3
+vbsd: cndv + ggtm
+npdl: nftd * sfzl
+rvww: ljqs * qgqt
+pvfl: 2
+hvnl: sdcs * mfvj
+shgc: hqtz + vtbr
+zgcz: 2
+chpv: 13
+mjsr: 5
+prnh: 2
+nnvg: 2
+lgnv: wtrq * tdjw
+dbmb: fhjf * jrtg
+dqrd: qdvp + sjpj
+dldm: 3
+rjgc: 3
+lgpn: 5
+bghw: nvml * grpp
+tszz: 8
+mfdc: qffz + vhpb
+cmjz: wwzt + qslw
+vbnt: 2
+jtzt: wwjt + mrdr
+cpdm: 5
+ptcr: 2
+gsbb: wmbn + jtdn
+sbgm: 7
+tnmw: 3
+vvdq: 6
+jtdn: 12
+crdr: 4
+gqdf: 1
+qvrv: nqvw * ccpw
+nmqh: 20
+qvfp: dgwp * srrn
+cbjp: bfzz / qvfr
+jpgb: 2
+qzcf: 2
+qmcs: 3
+mfbn: 16
+lftq: zpzs * snsq
+sftc: 15
+hbbg: vdsh + stfr
+fpzl: hspb + nbjl
+zszf: tnrj * ndmt
+dvzz: 3
+zwhw: rlwz - sdjw
+wwvh: 11
+djnw: 3
+wtft: 11
+qjww: jjrb * bhrc
+pstr: hpfj * nflb
+nqdr: 17
+vbwg: 3
+qntz: 2
+pqgl: 20
+wdcs: pcjl * wncv
+wqzh: 6
+jpdl: 2
+fwvn: lfqv * vmsm
+fdpn: rqbl * hprr
+rpjh: jhcw + vfsz
+cqjf: wrmj + nqtb
+wbzn: 2
+mfbp: 5
+ccpp: 15
+bwqg: brrc * wswz
+fgpl: srjb + pfrz
+ghsm: fstv / bggd
+nrnc: 3
+lsts: 2
+nbfq: qzgb + rvps
+mvth: 2
+bmlr: 2
+dpqt: 11
+dsnf: mtmn * pbvb
+bswq: mlwb + gstn
+vrnw: vszh + nmvh
+wctc: hmhm + hpgl
+qfng: sphb + dmgj
+zpvn: 3
+zwwp: bjjd + wnch
+mlfp: 17
+dqzt: mpqd + qrfp
+msgd: mmfs + sgtf
+wvzz: 1
+nfbd: 2
+cscj: dcwd * cmws
+hlvm: qjdg * hrqb
+gcqm: 5
+bvpb: gpzc * znhg
+bqwv: 1
+gdhj: hnrs + ndld
+mjpz: 3
+mdtd: hgrg * bpsw
+nrqc: rhpz * djzj
+bqhb: 5
+fwqf: vljb * tmqs
+vddp: ddsh + nvrn
+jdjf: 12
+ntld: wrqv + fvlw
+jhdb: psmd + dwbd
+vmsm: 2
+pbjg: bmlr * jgcr
+vbzg: 3
+pjgr: 19
+ztmz: cvfs + cjrt
+fqnj: qdgb / srpn
+lqgh: dtlf * vbsq
+qrzs: bjhp * drcq
+rpnn: fftj + rnpp
+vlrp: 13
+dqwf: 3
+llzm: 3
+bnrc: rjqf * hmbv
+sqjc: 2
+vszq: 6
+bvvr: 2
+qchw: jjhj * qhjw
+mcwf: zbjz * mdbj
+bchq: 8
+pjqd: hnft * hwpl
+chnw: 4
+zvsf: 3
+rfbf: vlrp * jvnz
+ptfl: 6
+fgfw: 5
+hjvp: 5
+pfzs: qlhn * ngnz
+ncwv: wdzl + gzzs
+wqhr: nzwt * dgmq
+srrn: dzql + wvvf
+htct: 4
+qzhr: 2
+spsb: 7
+vjmp: 3
+tghv: bwlr + rdvt
+lcwc: dcwc + mwhd
+wgzr: 4
+tncv: 8
+hwbb: 3
+czcj: rtnq - wpgc
+jmpp: 11
+nnpd: dddg + ldlh
+rdcv: 8
+bswt: fjdj - bmjp
+glqd: 3
+pfnv: zmrh - rcjw
+pmzp: wsqq + wfch
+mhcl: 8
+tlcr: 2
+smnj: 2
+phwr: 3
+gstn: 1
+hlnq: 8
+pfsl: 3
+pvqm: mbvc * vcqg
+gfgf: vgvf + vzzg
+ffsh: 17
+bcsb: 4
+zdnq: vzjg * nqhq
+frml: 15
+lpqt: 2
+hmbb: 2
+ggcw: nhww * hhtp
+jnvg: zllp * zpsg
+jjhj: 2
+swbd: httg * tvzh
+dnst: qdgq + trpn
+nvrn: 2
+wscd: lltb / bfbq
+lncq: 7
+wqsf: gcgj * wtft
+rjqf: 3
+bmjp: 6
+vvtc: whpv + vqpl
+pflt: 2
+lglf: 3
+bqmq: 2
+jzjw: 8
+vcdt: dgvb * jmfh
+nrtv: ltvf + cttw
+whgq: jmpm + rdvw
+jqzb: gqbd - cbtf
+tjzf: 3
+njgm: 2
+ljjv: dgqz + gdhl
+qhjc: 5
+tjvd: 2
+dpgf: lhlm + rtsd
+nnzw: rwfv / mhzc
+bqsp: 2
+sgrg: frcf / wtbh
+bvcw: ghzl * zjfc
+blzs: 2
+zptt: 3
+vbcw: 2
+pcbw: dvql * jjlp
+fhsr: htlf * ptcr
+lqmz: 5
+pcjl: 3
+whnr: qbgv - jhzp
+dhwp: 5
+wdbb: dgfb * pwqt
+spst: dmzh * gpdq
+qfln: 15
+qdgq: qbbv * lbws
+dmbm: 3
+rdmp: chgm - qpln
+tbjc: 7
+qdjg: 5
+qwhs: wqrw * wrhb
+mhlg: pfmm * rjtt
+lhlm: bdmv * vvdq
+rhpz: 5
+tdgg: pcwf * wbrs
+sdpl: 2
+hpbs: wsvh + nmls
+clzr: mtvq + lgnv
+bqjb: 2
+ndvm: 8
+jbnp: bjsz + cvln
+trgs: 2
+hmtq: 5
+nrhz: 1
+fmqz: mbzb * ccpp
+rptd: llvn * pbpp
+bdmn: wrjf * pqgl
+lfhj: 5
+jspg: plrn * qrgg
+fcsb: hpbs * lmvn
+rmzn: sfzp + mgbh
+tjbd: 7
+sfcl: jhpm + fnfj
+pjbv: 3
+tgvd: rcqr + rfbf
+ghct: vhcf + nqcg
+nstm: zhlb + jznl
+dntt: 2
+qzrj: bdmn / jpwg
+hfpd: 4
+hjgw: fgpl / thhz
+whwn: 5
+fvjj: cbbb + rfct
+qgmf: pvqm + dhgd
+lfmj: grwc + pglf
+tgsv: 3
+bsmr: 3
+jlbz: wvzz + nbbt
+vlgw: mcvl * btzm
+bhgv: 11
+jwlz: 2
+gpzr: 2
+lmbw: bjwm + fllr
+chzq: wjvt / fjfz
+snqd: 3
+wzlt: sqnl + pqrl
+vdjs: hcsc * qhff
+dmzh: 4
+fjtf: fnnv + fmhs
+pffl: 2
+mqrc: vhvn + hvvw
+rqbl: chzz * llzm
+dzqf: 20
+wqjt: 2
+bhqz: pcbp * mmgq
+wmmj: 2
+qnqw: 2
+wggh: pdlg * crlm
+prcw: jvjr + mfwz
+slzn: trtg + dnmp
+vszh: 12
+ljzg: 6
+tmqs: 2
+zbpr: vnch * wnjm
+hgrg: whwm + wngb
+mgrs: ddqj * lrhn
+crqr: hfjw * hmcv
+tnjz: mchl * szds
+rtwq: szsg + trjq
+lvch: 2
+mdhr: bzmq * nbnp
+mflf: qllh + zjcb
+qctf: cdsv + tzwh
+mwbs: qjvh + prtn
+chgc: jqlz * lzsf
+bpsw: hgpb + mhbp
+wccd: dqbg / fnhs
+qwzw: sbgm + dqrd
+jhdp: plhb / bfzs
+sfwr: tfbv + dddc
+ztjm: 5
+zrpj: nhqm + mflf
+fhjf: 3
+dbpj: fnfm + lnhv
+zvzt: jwbf + znnv
+gcqw: hrjr - hcql
+ptlp: 2
+vjqq: 3
+pmbd: qvfp + bcpt
+bvfb: 5
+cmnl: 6
+tsgd: 3
+hdtj: 4
+zcmz: pqwm + tdsb
+frcf: qssg * gdfn
+nllr: wdbb / gshm
+wmlf: 2
+pmmz: rpsm * czfc
+lmpw: 4
+qvmp: 3
+dvms: 2
+jscb: lvsl * lnnr
+cztw: qtjw + ctcj
+snfb: 2
+qzgb: crdr + srwf
+cgtq: gjpj * fdvl
+srpf: dqsj + nnvg
+wngv: ntlc - tdgg
+gbdf: 5
+psfj: lgzj * mrzg
+scpn: lrtq * rdql
+cslr: tbrw + vnzr
+tvtg: 3
+wvqh: nvzh * pvbm
+pvqg: zhzq * jqqc
+nvgn: grnh + gdjw
+wtrq: zczj * mmlj
+bwzn: 1
+hvld: 3
+dmpn: hhfj - qbnt
+dnbb: 5
+plhb: psqz * rfsp
+rmrl: 3
+sdrt: 2
+zdzq: 10
+prtn: zclm + nvqd
+fjfz: 4
+hnbm: tmgv + ldgr
+qsfc: dqgd * dhwp
+ccbn: 5
+pdbp: wzlh + chpv
+fhjd: fdpn + gbmt
+cnsf: hjvp + cszl
+qvwc: nrtl * rnrv
+vfjq: 2
+rfct: qzlb + vvnr
+pdzg: 2
+llqd: bvcw + cnsf
+jmrn: rszz * hgln
+nznc: 5
+ccwm: pnwc * wvwh
+dncs: dhdd + sjsq
+wsbp: 3
+nhth: 1
+dcbh: 3
+nbgh: dbwd * wzlt
+msvq: scpf * ggrh
+rfbl: fzcl / jplg
+phlh: zntc + qzsc
+lqsc: wrsf + djzd
+rlfd: 17
+hgpw: rpjh + ghvb
+bgpc: nfdl - smtz
+tcdz: 3
+hrbb: qzcf * ldww
+dlzl: 2
+pmvn: 5
+frzt: 3
+zbhg: dbff - mhlg
+zvrh: 14
+mljl: 3
+prcb: 3
+rtvp: 5
+lpvn: 2
+vzzh: 2
+gwnl: 8
+grbh: 5
+mfsb: 3
+gcbm: cjdb + dgbf
+nhjz: 4
+szdm: 13
+bfzz: qwrv - bjgq
+sqwr: lthz / pvcj
+grdb: 2
+ghvb: gdsb + qwhs
+zbwm: 7
+jcff: dhmq - cczs
+zsfh: 13
+htfn: nlzl + fthz
+bhjr: mcgv + sgrg
+nsvf: 3
+pmlv: nttt + jjjv
+ffdg: 2
+hnqg: 12
+jcdj: wvqr + nlrg
+wrqv: 2
+sbgc: nflf + pqsm
+tzlr: 9
+wwjt: 15
+vvfg: jhfw + nlvp
+lrtq: lzvv - hvql
+jvnz: 2
+sphb: swfb - hlrd
+dcsf: jnvg - mcwf
+mznv: 12
+lsgg: jhpf * fvjj
+wjtg: 7
+rltj: 3
+jdmn: 7
+nnrv: hqpr * qzbh
+lftw: clbj + nwtz
+gmjt: nttg / rcpf
+sdhf: 12
+tndq: shgf * dvlr
+dcwd: 3
+ggmn: 4
+qblw: 2
+wwnn: 2
+dcwc: 20
+vsjs: tzhm + sgsh
+qvdl: 5
+bbgf: 5
+drbd: 3
+lgnb: 3
+vgjg: wvzm * wqzh
+bbmw: bcnf + bwzn
+gbth: rfsc * jhjt
+gcws: hptp + nfvn
+hwnz: dcsf / mrpm
+qfmd: 3
+bzmq: 11
+ptvr: sbht * qfzb
+wncv: 3
+bftb: 3
+qjjg: bnns * hwlg
+zvvt: 4
+zfdc: tqmv * fwcp
+mmbz: rdlh * pssr
+ldqf: jgjf + vmrt
+fspz: pbjw * whcr
+jszc: sbqh + pfpz
+srjb: frml * mbvl
+bvhj: 2
+wzvl: bftb * dpnj
+jhwf: 6
+bwhj: 4
+trpn: sgjh * plpc
+dvtz: htct * sgnb
+nqpw: 2
+wnrb: 3
+ccnm: nnpd * pjbv
+llvn: hrgr + pzzs
+hrgr: 2
+fvtv: 2
+hmhm: tjbd * qgpr
+gnvn: ptfp + cjdq
+rtsd: 3
+gpzm: 3
+vzsg: 3
+nvqd: zgfl * cwpd
+hvlz: 2
+rmbd: 1
+rcqr: thfd * cggg
+qgpq: jjss + jwlq
+nqcg: rvzl * zcfr
+mmgq: dqst + pjff
+zgqn: 2
+qjcn: fbtc + rgfq
+vhbm: 8
+nbbc: 8
+hcsc: 3
+gqsw: 1
+snfs: 4
+wclz: 2
+pfwl: jmqn + sqmg
+gqbp: bzrp * bbmw
+snsq: mhwb * bcpf
+jfzb: 3
+dsrh: ctzf + tjzf
+gnsn: lfnd * vbcw
+ltbv: bnrb + gdvj
+zbzv: 2
+srqw: 5
+lzhc: 3
+fbbt: tpmm - jcsc
+lgzj: 7
+jlwh: stlj + rpwp
+ljlg: hjvv + fspz
+sfzl: mnds - zcfc
+rfsc: 2
+gphc: 2
+nmjj: 2
+ggrh: 7
+hptc: 5
+lmnz: 17
+jmjb: rcwb / cvqw
+rcgn: spsb + ctjj
+ncgg: fbpf * bhjr
+cmlg: vtvw * zvfn
+dhdd: jsnr + lsgl
+jcvs: 3
+tndh: 2
+jczd: 1
+nntd: 5
+qdvp: 7
+tnqq: 2
+drpm: 9
+fjnf: mdfs + mbnf
+pqhs: jhml * wpfz
+ztsr: 2
+ldgr: 12
+ndlh: dhjd * lclm
+hfcn: 2
+fcdf: hjgw - spzw
+gjjz: jpnd * wtqw
+dwbd: 10
+hgql: jjzf + qhbz
+sqwc: vrhf * vdql
+lsmb: qwzw + rrlr
+qdnc: zhzw * wlqc
+vzmc: 5
+vjsj: 2
+tdjw: 4
+jtjc: dtqn + szhd
+dvwl: lfhp * scfn
+phbq: 2
+twhm: 18
+mmlj: 5
+zwqm: 5
+wzzd: nznh / njzv
+hptp: tbjg * rshd
+wqpn: zcdv * hdtw
+jqcq: 9
+hprr: 2
+lvsl: 17
+rzsh: wrsw + qrsh
+cwrl: ddzd * wjhh
+clbj: 11
+srss: 4
+tnhf: pmvn + hbbt
+mczd: wsbb * srtn
+mhwg: 7
+zdgc: fzbb * nscz
+jnst: ppmm * mrbr
+bvvc: rdfb / wtgf
+zpsg: 8
+qlsw: pwbn * fhbb
+cqcl: 5
+cwvn: jwqs + fjtf
+jpnd: whll * srpf
+zcfj: dfsh * nfhz
+jhjt: pmlv + pgff
+djzj: 5
+lvrz: 3
+tcvc: hhbf * rwwn
+ctdz: hsnj + ztmz
+tgvq: 5
+wtgn: wnlv * cjnh
+qbjl: 13
+gqpl: 3
+jhpf: 3
+jqqc: 2
+znhm: 12
+msvz: 2
+fbcq: 3
+nrjj: pqpl * ndsb
+zzjg: 3
+vmrt: 7
+tpht: 4
+dqwh: 3
+qssg: 2
+cvls: zcjf + vgzr
+qrqv: 2
+qlgd: fbft * fwsg
+gcdm: bvvr * zcmz
+pgbc: 16
+ldrm: dnst + sjtp
+tdrg: 2
+qrnt: snbp * jlbv
+ppcf: 3
+jqcr: bgvb + vpch
+gwmq: dsgc + gpzr
+hmpd: wqqd * nqwj
+fsdc: nvth * hmtq
+hpgl: cqgb + ldrm
+pljn: 1
+fqjn: wrjh + mfhw
+blgr: hptc * zbzv
+dgfb: lgwl * gwfs
+hhgm: blzs + cqcl
+nscz: zgqn + sftc
+bzwm: 6
+rnfh: 8
+mbnf: mczd + jhdp
+vcrg: mrqc + jscb
+rwfb: 19
+mpqd: 5
+dsjl: 5
+ldhj: dhjr + cbcf
+psvh: 1
+wvjz: bzdb * qctf
+gszw: 4
+cvfs: ffpb * rpmf
+bjjq: rbnf * rdrz
+dtqn: dmjf + hnsh
+thnv: 15
+qnbz: pcbw * fjnf
+nbnp: 5
+lzrr: 2
+hrjr: mtjf * wctc
+ddrh: 12
+htlf: 5
+nnvt: 2
+bchr: 3
+jghr: fbrp * gdrd
+hrmm: vnzn - mwrj
+wgrs: 2
+lzhd: trsc * pjwv
+nfsq: 3
+crlm: 5
+ltqm: pnjs * qjjg
+zmct: 5
+flws: 3
+qtlv: cbvv * fqnj
+bndp: qsfc + qpnw
+jpnc: 2
+lbcc: httq + lwzd
+sqnl: lvch + ccbn
+cdgh: 4
+qrmn: 2
+gsdr: 5
+dqrb: 3
+pgsz: fjrh + cpqm
+mlbd: 2
+ctcj: pdzg * dhqd
+httq: lbtm - mclf
+jglz: nnzw * zcdd
+dhsj: lmwb / hfnn
+tbmd: 2
+tmtb: gtgz + fpjw
+wnch: pntq * crdg
+nwtz: bwhj + blth
+dftd: gjjz + twhm
+rdwl: wgzr * gfgf
+clcw: 4
+bfbq: 4
+mhbp: vjpz + qvcf
+wfwc: lflz - zwbt
+pbbh: 3
+vjbb: vjqq * fhnj
+bdbf: cstd * lglf
+qvpc: lqmz * lmnz
+gjdv: 2
+tqmz: 1
+hfrg: qfpm * njgm
+mgws: 3
+bhwj: nstm / pcvd
+snbp: smnj * bqvm
+wnrr: wpsc * bgjv
+cfhz: 3
+wsbb: gjdv * fdsq
+gdrq: hdnq + rznc
+lnhv: fpbl * nnmf
+bqnw: 7
+hbdm: 10
+vtbr: lzgl * brlr
+cpqm: sdbf + mlwg
+jsnr: 19
+cjrt: 3
+tzcs: 12
+jcsj: 2
+rwjh: 2
+njrb: hqlp * lwsq
+fntt: 3
+nncm: 2
+jhfw: jpvs * mlsj
+trtg: 8
+mgpq: vlsj * nswg
+tqbl: 2
+vgqg: 8
+hwjt: njrb + vfzp
+ssjm: tgnd * tnqq
+zbjz: ndsj + tncv
+qhtc: 1
+wmbl: 2
+bgvs: 12
+gbmc: 2
+wvpv: rzps * gsdr
+hwrw: wqzc * wnrb
+mtpj: ndmz - vdjs
+fjdj: wdcs + lzvf
+svtq: 6
+wvqr: dbpj * ncqc
+gpbm: 2
+qhjw: grwq + vgjg
+gtpl: cdnp * vjsj
+jqlz: nmrh + lhvt
+swzp: wmbl * tsgd
+zvjn: llqd + sglb
+hgln: 3
+cwpd: 5
+zdbb: dncl / wbls
+jtpl: fvpb * sppp
+mhzc: 2
+dzhc: 11
+nqvw: 5
+btvn: 1
+nsbn: 1
+tpmm: hvgw * rfhf
+rrbd: 1
+sfvt: 11
+gdhc: 19
+mfgq: 2
+zfvq: cmbv + chrm
+qrnp: 2
+mnrq: 2
+cmhq: 6
+fjbt: 2
+smwp: 9
+fzjn: 5
+rrlr: 5
+lscf: 4
+cttw: 16
+wtdm: 2
+slws: dfzr * wvpv
+nlvp: 10
+brrc: lvnw + jjfb
+bzrp: jhnv + wtgn
+mczs: 2
+pgff: cpsq * sfcl
+zcrq: dgwg * vfjq
+frmf: tphn * lmbw
+vcrs: gcdm * cgrz
+nrtl: 11
+njtd: nsvh + wszg
+mfgw: 16
+nrwc: 3
+thbn: wqbh / mhcl
+dvln: 2
+wpfz: 19
+rpmf: 3
+zlnq: 3
+hfgw: rgwm + frmf
+qnlq: zbhg * pqsd
+vlqt: mmqs * gqjj
+qwqw: 2
+stld: 2
+vzws: 4
+rdwn: 3
+rggr: gqfd * dpgf
+scmm: nnqw + wdqz
+wqqd: 4
+ljsq: 5
+cbcf: 8
+fbmb: 14
+wzpm: dvtz * qqqp
+bgjv: 2
+jzwf: wbqv + bhgh
+dddc: fwvg + zgtg
+cjqn: 14
+wggv: 5
+qrfp: 2
+nznh: bdzj * qnpm
+cjzm: 5
+tvfs: 9
+hmnl: 5
+fdtn: 2
+vlsj: svrr * dcbh
+lmwb: pbjg + bhsg
+fpcq: ggmn * pwzg
+vmjq: 10
+cbtf: 6
+bdmv: 6
+qctm: mtvg + crqr
+hvql: 2
+wgrr: 1
+fvpb: 14
+gnbz: qbsq * pmbd
+mfhw: btvn + ntfc
+gcgb: qbjl * pffl
+qghp: sdjv + zcbm
+zqdc: rctp * qvtp
+hpdr: vmbp / lhpr
+nwsl: 3
+dddg: 3
+lvlv: fvtz + lcwc
+vblw: 13
+vbsq: rrbd + fsqj
+rszz: 6
+gfsm: znhm * hdph
+zslz: zwjr + lnpp
+rlwz: rlcr / wwnn
+qfmj: 2
+pvpd: bnrc + dfcw
+mrjt: fmqz * blzg
+humn: 831
+zcjf: 5
+rfhf: mwpv * wmlf
+vvrz: lzhd + bhsj
+bgqs: jcsj * pmmz
+dvql: 3
+ppmm: fjbt * bvdn
+zvzq: 3
+htjw: vqgh * dtsr
+grnh: wzct / jrmg
+ggtv: qsvl / wqrj
+fpdj: slfv + bchr
+wrtr: mzqr + bwwv
+rmpf: 13
+vvtm: rfbh + nlpb
+lhpr: 2
+ndmt: 2
+qpbz: pljn + njpn
+nqlj: 2
+qmns: 4
+rjdr: hrmq * dldm
+pzsw: 6
+ppfz: 4
+flhp: wscd + lftq
+zwhr: vvtc * spvs
+rcpd: 7
+dgbf: zvdr * ptfl
+gwcq: 3
+dgmq: 2
+jvhd: 2
+bsjg: lgfh * frzt
+nfhz: 3
+grpp: 11
+wcsc: 2
+njzv: 2
+zrjh: rzlm * nmfm
+cdhc: dgbl + zlnq
+zwbt: tvfs * mgrs
+cbmm: 5
+bwzc: wgqg + nvbw
+vdvr: wrtr * wpqs
+ctvv: tbzw + gscq
+fqph: 5
+hzzl: drrz + jrps
+fnfj: wclz * jdjf
+mwpv: jglz + ttln
+sbcr: tjng * tmfd
+fpwt: 7
+mvwr: vddp * hfgw
+pqrl: zjhr * vjmp
+bjps: 2
+vsbp: fbbt - lncq
+fmqr: 5
+gnlb: 2
+nlrg: 7
+nswg: 2
+jrtg: dwbg + ngtr
+gmhz: 5
+ghzl: 16
+gngz: 2
+lvdd: 12
+njzw: pttb - lmgb
+mlcg: 1
+zntc: 5
+qqdf: 2
+fdtg: 14
+bfrt: zmvc + tlzb
+wnlv: dftd + jtzt
+wnhv: fvtv * ztsg
+zvfn: 5
+nmvh: 5
+lhmb: vwsc * hmpd
+dgnn: 2
+sbnj: bthl + cjdh
+httg: 7
+lnlw: 17
+hlff: 5
+pljv: vqhg * znwn
+pcbp: 2
+tnrj: 3
+bbhm: 20
+jfln: 6
+nqvp: hblc * grcq
+qffz: 3
+mmjl: 16
+cttf: spqb + zdzw
+nbwq: 2
+wrsw: 10
+njpn: 10
+bfgs: 7
+vgzj: gsjp * hbdm
+lmwf: rwfb * wqjt
+ffpb: 3
+zcfc: 4
+flsg: 2
+bvrp: 2
+hnsn: rggr + rldp
+jjjv: mfgw * bqhb
+vcqg: 3
+fftj: vwfc * vcvv
+vcgm: 12
+gbhv: pdrj * glqd
+btzm: 4
+jmpm: wcgj * gsdz
+bbwq: 4
+vcdj: 2
+lhtl: mzlb * mtdz
+ztsg: vmmb + zszf
+gsjp: 2
+dlqr: 18
+rspv: 2
+ndpl: 2
+ffsv: 11
+ltcz: 4
+wjhh: 12
+zwwd: 5
+wmjv: 10
+qbbv: qntj * ltcz
+hnmd: 1
+qsnt: 3
+nbbt: rmhb * zdzq
+bvwm: bwsj + cvjc
+wntp: tsfb - vhbg
+fqln: nzpp * hvld
+gdrc: 2
+dqst: 5
+pght: wbmd * qnzs
+pvcj: 2
+pwrl: fqgm + qctm
+zgfl: 7
+vzzg: 8
+fzls: wwvh + dffn
+tfbv: bbgf * pzsw
+vdzq: sdnn * mznv
+bntb: swfp * gcws
+dcjj: 9
+jmqm: zrtt - nnmt
+czfc: 3
+wtbh: 2
+pcwf: flws + tbdf
+rpwp: 3
+grwq: hrbb + vwwc
+spvs: 2
+nggf: wqhr - rltj
+jrmg: 2
+jsbj: 3
+tjng: 2
+tbjg: 20
+jzcp: 11
+gdrd: 5
+nzjv: 5
+bzbg: 2
+hzvq: tpht * stpr
+hhgl: cmhq * rvcs
+jvwn: 5
+lthz: jslf * cmjz
+sbqg: pdmz - wqsf
+fqsm: qvmp * mnrq
+mrzg: 3
+rgnf: 9
+rzps: 3
+dqgd: 4
+sjpj: 3
+gmbl: mljl + bcpz
+qqgn: 2
+tmjp: 4
+nvqt: 3
+gqbd: 18
+vhpb: hfrg + bllh
+fdpt: 3
+rqcz: 5
+rmwq: jlbz * crvv
+qsbl: rbwb + dhzq
+pzbg: wccj * rvww
+nhww: hwbr * tpdq
+zdzw: qhgl * ljzg
+vvhw: 13
+rvjq: 2
+ngpb: 3
+qnzs: 3
+wtdc: pzhl * bcsb
+gqwr: 2
+pnwc: 2
+mrll: 2
+bhfh: btjm * hqbs
+jwcb: 2
+jrtf: 3
+rfph: 2
+wmbn: rjdr + rpnn
+glcn: 8
+lrhn: jcvr + jzmj
+wbfz: gcbm / lrsb
+qjfr: 3
+lwgr: gnbm + tcdc
+btqn: lzlr + qfng
+nljn: 15
+dqsj: pdhs + bvvc
+hjvv: bvpb * cwvn
+nnqw: tdsq * hdll
+nhqm: 3
+zdzr: 4
+mtjf: 2
+zllp: hsgn + gmrs
+wlqc: 2
+lvnw: 6
+vdmg: fpzl * ptlp
+qlhn: 2
+gcgj: mbff + wnrr
+wnjm: lsjd * jgzh
+nvth: gpzm + tszz
+csvt: 5
+lgzt: 5
+jfvt: 4
+pzqs: 10
+fzbb: 2
+thdn: lqwp * szdm
+ftvr: 11
+ldlh: 8
+npzs: pqhs * gwgz
+hcwm: 2
+qtjw: qgmf * nrnc
+gscq: cdgh + ctwq
+ptfp: zvzq * zhdr
+chrm: lsmb * mtpd
+cwtl: gprl * whnr
+whpc: nqpw * jgfb
+qzbh: btqn + fsdc
+tdqj: 2
+swfp: 2
+mtdz: 7
+lbtm: vtbj * qdjg
+qpnw: 3
+vzjg: pcdm + hcwm
+fmqf: snzm / vzvc
+bcrj: 2
+hhft: 2
+wvwh: gnbz / fpgb
+gtgz: gbmc * dsnf
+rshd: 2
+fpbl: 2
+whcr: hrdq + glzz
+tjrz: 5
+zczj: 5
+gsgv: gqsw + hcsg
+pdcg: 2
+wzgq: 5
+tpdq: 9
+qzhl: vlmp * jcvs
+vtbj: dbjs + vcmw
+pdlg: 4
+ljqs: tdgd / dzgf
+hjlh: tnvq * vlzr
+qgpd: 2
+pqrd: tlvl * jlbw
+tlcg: 2
+mgns: 3
+dgwg: zrtn * dmqn
+pntq: dmtb + zqhb
+lclm: 2
+bncd: 2
+vtdd: hzvq * pgzw
+lvjp: 15
+jcmb: lptd * cvzz
+qvfr: 2
+whwm: qjww * cmlg
+tjqh: 3
+tmfz: gqdf + htbb
+ctwq: qlrn + drpm
+bthf: 2
+gcls: jrsl + dsjl
+wvvf: 8
+wwvz: 1
+wgbm: wzvl + sphm
+dmtb: jcff + ffpw
+bzdb: nvgn + vssj
+hhfj: lnpw * ctwc
+hfsq: 2
+wbmd: qbzr + lvlv
+fcrs: nhjl + gzwl
+vwfc: 3
+qrvc: rpgb - ltbf
+hvgw: 3
+njws: 3
+lqwh: 4
+dpzq: 2
+bqrf: lvrs * nmqh
+szsg: ghnt * wtgh
+dmfq: 14
+brlr: vmjq + psvh
+hdll: 3
+grjb: pqrd * zwhm
+bbmd: 15
+pfgr: zwqm * hdqn
+zwms: 5
+jshn: mfjg * dwjd
+pjhn: dtwv / tppb
+dncl: rfph * jvrn
+gdgj: drwb * jsbj
+zmcw: 4
+tqmd: 4
+nqwj: 2
+bsff: 11
+vzbv: 2
+nhwg: htjw - cmnl
+vcmw: rdnt / fjch
+hqlp: 3
+cpgt: wtwj * crdd
+rjtt: tgvq * lqsc
+bfzs: 8
+lgfh: 3
+bhgh: dvcm - qhtc
+zmrh: bswt * tqch
+rctp: vndq + npph
+sgvt: 1
+rbmp: 3
+wvzm: 3
+htbb: bfgs + pfgp
+gqtq: 5
+bbsc: 3
+wptt: 10
+djcq: lwgc / njgq
+pwqt: qpst * gbth
+fbpf: bqmq * njnq
+mbff: 11
+lllq: 2
+zjcb: 5
+jwlq: 3
+ttln: whwn * nsgd
+ntvs: szbq + grnw
+pwmv: qwrb * mzcl
+pljt: wjtg * dmwf
+cjdq: 20
+jcsc: dfpc * nphq
+ncqc: 2
+cslt: vqmb * ccrm
+jjqr: 11
+hlrd: 2
+qgqt: 3
+wdzl: fmqr * qqcb
+zqhw: 6
+lqwp: 5
+mwcz: 4
+tbdd: 17
+mzjw: qqpc + bsjg
+dmjf: zlrd * qwqg
+dmwf: 3
+npgz: 5
+vvnr: 3
+zjhr: lpbn * tlcr
+pzzs: ffrw + bftt
+tnrr: 18
+zvdr: chzq - mwbs
+mqtv: zgvl / tdrg
+gjpj: 13
+npph: qmnt * lbpc
+dhzq: vcgz * nhjz
+ndsj: ltsm + tmjp
+fpgb: 2
+lzgl: 2
+pvmv: ncfn * ctdz
+wsrr: 3
+hfnn: 2
+tsvw: 3
+chtn: wfmt - jrcw
+lmgb: sbcr * ptrl
+zwrg: 6
+pdnf: pjsc * gqwr
+pdmj: 5
+ptch: 2
+sdvg: 3
+njnq: zvjn * hhft
+tqsl: wsrr * prcb
+bmfp: 3
+jvrn: mwrw * jblv
+jmfh: gqpf * zmtf
+zwsg: nhwg + bhsc
+pjsc: jwcb * dhsj
+pbvb: mlnh * tjvd
+jsqp: 3
+pfrz: vcrg + nzjf
+smns: 4
+mfbs: gmwv + jftw
+ghhf: 4
+fcwl: 19
+qslw: bzbg * pjfm
+qjdg: nggf + flsg
+btdv: tdgc + npgz
+zrtt: jdmn + gpfd
+zbhn: 3
+vvtw: nhlv * tndh
+hzjs: vlqt * sdgr
+wqrj: 2
+cbbb: ghdg / mlbd
+twvj: rszs * zmcw
+sdbf: tcvc * rbcv
+rvgf: 5
+sfzp: hhpr * bqjb
+hnwq: gdgj + lmwf
+vbrv: 2
+grcq: 5
+wrjf: zfhw + twhn
+bndv: 6
+hbcm: 10
+jszw: 14
+wlcd: rdmw * dlqn
+fmrl: cwrl / nrzs
+pqsm: 9
+mbzb: 3
+pglf: hcnl * jjcv
+vljb: szfw + tbdd
+wmfd: cmwr + tqsl
+wszg: rgnf - hmln
+qtft: 2
+hmln: 3
+nlpb: 2
+gnlr: 1
+zmrd: 2
+prcl: 2
+hblc: 4
+zgdm: vdml / wcsc
+rnrv: 3
+dhbz: dzvb * vbnt
+nttg: mjsr * bmwg
+dbwd: 4
+rnpp: gwdh + cqjf
+wdpf: bfnr + bbwz
+qhff: 3
+wmgp: vvtm * dbqs
+mwhd: 3
+gnbm: 1
+ndld: wmgp + nzlf
+bsjb: rjvj / qtft
+sdgr: 2
+jbjc: 2
+vwpq: 2
+fqbh: 2
+vfgn: nznc * cmbm
+zcdv: sqwc * qbpl
+ztdj: cpzq / lnhr
+dqbg: rpgr + lfmj
+cmgr: 18
+wsvh: ljgc + gngz
+bsmg: 2
+hhcv: 2
+vtvw: 5
+gccn: dzhc + cqms
+ghdg: hvlz * pfgr
+hsnj: vdws + zdhd
+vfzp: zgcz * htzh
+qgpr: snfv - clzr
+wwjb: 3
+twml: lhtl * bvwm
+ctgd: blwt + gdhc
+wcgj: 2
+hgfd: tgsv + pdmj
+cfhh: 10
+ddrr: 9
+dhfl: 2
+fnnv: tczm * tjqh
+cmws: 5
+tqch: wmzg * hmnl
+wrqq: fdtn + nntd
+srct: snhf - cgtq
+qsvl: qtmv * pbgm
+jgcr: zvzt + gfdf
+lzsf: lwgr * qgpd
+wbgm: 3
+drcq: gcls * prcl
+dwjd: zpvn * jzcp
+lzvv: 13
+jrsl: 8
+vhvn: cdvg * nmfn
+rdbj: jqtw * pbfb
+qbnt: 3
+snzz: jlzq * qvwc
+rnnt: vvtw * vbhj
+vpvl: 2
+mnds: qwqw * mlfp
+shgf: nzsn * gsht
+wccj: 2
+svfw: lzhc * gsvm
+jqng: 1
+mbvc: 2
+zpnf: 12
+fdcb: 5
+tdvn: wjvn / vzhq
+mwrj: bdqm * ldzl
+zhzq: 12
+nphq: 2
+hrnj: 5
+pqpl: 2
+nslf: cfhh - jnhv
+cbtb: tbjc * tlcg
+fmhs: 1
+jlzq: 2
+lmzt: 2
+fllr: rlfd * qzhr
+hnft: nlmd * qmns
+tgnd: 4
+btjm: 4
+nzjf: lbcd * sqwr
+qmnt: 2
+gzfg: 2
+tvgm: bqsp + whpp
+qlmv: 3
+cplb: 3
+zclm: drbd * vhjj
+qtmv: 2
+pfmm: bjjq - ttnz
+dfpc: ggtv - tzjc
+nfsl: zqmq / vgqg
+jhnv: qhnl * wggv
+rtrm: tbqh + mvwr
+wvhs: 3
+nzgj: vzdw * tjpr
+cndv: 3
+bcjw: 2
+lwzd: fqln + mqrf
+fstd: 3
+llcv: 2
+lzvf: cjlz * vbrv
+pqwm: cttf + lzcg
+jwwz: rfwf + hghn
+djtr: 5
+nrpt: ftvr * pqnh
+sbqh: 1
+dgwp: 5
+pqnh: cczt * fcwl
+sbwn: jghr - vszc
+wssq: dqrs * cbqg
+prsp: bdrw * mtjp
+ngtr: 9
+zmvc: hncv * vwpq
+hnsh: 1
+htzh: hwwj * jpdl
+vssj: llfn * cplb
+zjmz: 2
+znhd: wnwn + sfng
+thfd: 17
+qllh: tcdz * qrmn
+crhc: jfln + wzrc
+nlnf: dzqf + pnfn
+ntjw: sfwr + ndlh
+wvfc: 1
+bjwm: rbmp * dcsb
+dhjd: pljt + svcf
+zrtn: prpz / mczs
+pbgm: zmgg + mctq
+jbpq: bntb * jbjc
+vqhz: 15
+bgvb: pdcg * srsp
+pwqz: 2
+grwc: zpnl - jtjc
+rbnf: 19
+bgpm: 8
+cqms: 6
+ngfd: 2
+pdbq: jqcq * hnqg
+llfn: mcht / tbmd
+mppm: 5
+vdws: 13
+hhpq: 3
+rjfj: 2
+vgvf: mppm * fstd
+bwlr: 14
+pttb: ntvs / vbwg
+cwqn: 12
+vztc: dhzf * qnvs
+mzzc: nbbc + qhhn
+vpcg: zdgc / pvfl
+nflb: 2
+mdzh: 6
+sppp: cdgn * rrbn
+qzsc: 2
+rbcv: ctdn + fqjn
+qsjm: slzn + spst
+wmzg: 15
+qrps: 4
+tbfd: 3
+mtbg: ltqm * rqcz
+cpqr: lfdj * qsjm
+sfhl: 4
+zdbf: qnbz + nfjw
+zlrz: jshn - jzwf
+nvqr: 3
+dhzf: pzgg + fcdf
+bthl: fsrp / hhgz
+stfz: zsfh * bvhj
+hllc: 4
+ndfj: 3
+hjpp: thdn * pdnf
+hmnq: 1
+vqpl: 3
+mlsj: 3
+hhgz: 2
+lfnd: dnqd - bsrc
+wpgp: 5
+mlwb: 6
+dndw: 3
+lmsf: psfj + mrll
+nmmj: 16
+twsh: nqmd * pfsl
+tlds: 2
+gpnz: rfbl * vrnw
+vsnn: 15
+dcsb: scml * nghg
+fgsc: 3
+fhnj: qchw / wzbq
+cmwr: 6
+fbft: 2
+tcdc: 6
+tbdf: nrjh * gnlb
+jmvn: pght / hjnf
+vzdw: 2
+bvls: vlbr + fvvh
+wbqv: jhwf + znbg
+vnch: 2
+ncrp: 9
+wfmt: mfbp * lgpn
+qnvs: 2
+stfr: 1
+gwgz: zwwd * fzls
+flql: pjhn / bthf
+gdhl: ndfj * zzjg
+mdfs: mtbg - cslt
+zwlg: tlgs + ztsr
+qwlc: hgqm * zwhr
+nvbw: wssq * vszq