puzzle_input = """cbjq: 7
mlvt: 4
ssrc: 3
mttw: svdm * ctfr
tbjw: zfct * zbmn
jggl: 3
jsjg: trjp + wdzq
wzgv: phds + zcbz
nnwh: dwjh * fwhq
mggd: 3
vfsg: 8
hlhj: fddl * wpjm
bpcv: 1
wdwq: 2
tbcd: zdnl - wqph
vnsf: vllg * gjmg
ncnb: 5
prqz: ngmc + gplf
cvlh: 6
jqpl: 3
hzts: qrmj + pwzt
lggf: ptjw * cvdl
mppc: 2
rzpv: 3
phlq: 12
czcq: zsrj * mgsc
qspw: 5
hgsf: dtlf + jvcn
zgmr: nfws / rvwj
mgsc: zjvv + ctbc
gwtw: 2
ctnq: pbft + lqhw
njlb: pnmd + tfhg
dtlm: hfnt * wrdr
bsgz: dsbn * mmwh
zhft: 4
dzcg: vpmt / vctn
zjnr: hswt + mcgq
rnmt: clcv + tzjs
dvwp: 5
blpn: 2
jbrm: jdfm * stzn
hwdg: wptp + lrdq
lprt: 3
qmrn: vlht - qfqq
czhv: 5
pzwq: 4
pdqp: 5
jglm: fvnr * zscn
ccpn: 1
nlmw: 2
ncqh: 2
hddd: srqz / vnct
rwlh: 13
fljq: rhjd * gchv
bsvp: 15
dnsq: 3
cfnv: 4
jsqv: 2
dvbj: 2
thsn: 4
bqmj: lhzj * fhbl
zfhl: jmdl * zfmm
czbc: qqwz + cltq
vdsb: ztgn * qfvd
ngts: 15
gdfw: 8
wgbs: 2
dggf: 3
rpql: 2
fjmw: msws + mjzg
qrhm: 9
lfqr: 19
znhn: tmsw * ddcr
qwhn: rhgh * rjwt
tqvg: lpjc + rgss
gplf: prgg * jqqp
mfgg: clfv * hrnn
slcp: wthl + whcg
llrw: jzwh + rvnj
csjt: 5
dwgb: fbww + pzzw
bwdc: 20
prvs: 4
hnrv: mdjz * stvw
qbwr: 3
tvdn: hzts + cnsn
sdzn: 4
sgmr: 5
mcgq: 12
pfqn: wrhs * fcmb
hhgv: jqjl + ngdp
vzjg: 3
cdgh: gtwr + bbws
jhds: ssrc * hbpj
hhqs: 5
rvnj: hjpf * bnts
hqcp: gmcb + cqfq
cfrw: hpwq * nvtd
szzh: 3
mgtt: 2
hdgd: 11
trpt: 4
gqpw: fbrz * sqsn
lbvn: hvqz * qjjj
wvmr: 3
snvf: 19
wqjg: 14
hzbb: vbtg + vdzp
nqmq: hlzh + nmpd
rglm: csjl * psqr
gswf: 2
njdt: bntb + zgzt
rcmt: 9
wvmv: jplg * qsdm
phll: 15
hqln: dlqt * rppl
mlzt: 1
cspv: wmvj * vphm
whqb: tvwj + wwrp
jmsn: cjbj * rvsj
qqlp: tvjc - hlqv
sbll: jvrl * ggqw
dznv: 7
bwpb: 16
bmrh: 4
qbff: wqsd / htzq
qdvq: zhzd - brtg
zvqf: zhhs - hswz
mjqh: tsvv + dwgh
vwzb: 4
rlsd: 8
wwdn: 1
qqpz: tvrm + vpbv
rjwc: 4
zgnz: mhcf + rgcj
zzcf: 12
qvrg: 10
tbwf: zvqf * bzvb
ztgb: 4
fvph: njlb + sftq
vlvt: 2
pgnl: hddd - zclq
wcqj: 3
lbbd: vmqb * vnzm
ffbl: rfjj * tndp
rppl: tfzr / pmvv
wghm: 8
mmjp: bvtc / lwhv
rpdq: ndsm * sdzn
qjvq: 2
mmrb: jjzq * ccmt
wdfs: 2
srdb: spvm + ggbv
rdds: stpr * gwgf
chfc: 6
rlgh: 5
bstz: czrq + ppfd
lhbq: hzcn / sgbz
jlbr: ggdl + ntjz
wpbz: vzvw * zzpp
lpwv: 3
rcrz: jdcm * rsfd
lqdb: pwvn + dlcw
ztgn: jjpw * lvsz
rjbm: sfqf - gtwn
fpnp: 4
dpft: jhjg - ndgw
zgfg: 2
rcwp: zrvc - dpft
bfrz: 3
dnqd: 7
vhcj: 2
nlpn: 2
snpf: fwwm / pghl
gprm: fgnv * gqrq
mprn: mcwd + hlmj
mcml: 2
bwms: 2
vnrt: bwfp + jdtg
dbqc: 18
svzd: rbjg * tjqc
snrm: 2
tlbp: dtlm / mvdr
jvmr: nflh * lmrp
zdnl: llrw * bjhw
sgbz: 3
rchq: cltf + sqcl
lhnp: 2
tlfv: 2
fzrt: 2
gfhf: czbc + zmhw
tfmt: ltts * sgsq
hzhb: lqls * vwzb
jrcs: 3
wthl: ncqh * vslb
vbtv: sqpt + thsn
qwtz: 2
ntgp: 3
cmvv: 5
snvj: gdhp * fgdg
zjwm: lszc + qrnd
jwqs: 2
pqsd: 7
rlhz: 7
cdvs: 1
cpmh: wmrp + wzzj
jzhm: rclw + gpwn
twlj: vdbt * fljq
lttd: 3
cnsn: 4
cpfz: 2
fdgr: 7
wwbc: 1
mnhm: 5
vgqp: hdgd * wjdj
hpzh: tbtn * ttds
wpdb: nlfj + fcvb
sbdl: 3
wppn: 10
pdhd: 8
gldj: 2
lvhc: 6
pbnm: 3
rmtq: ztgb + vsth
cvmw: 3
ndqn: tlbp + hvgw
ggfq: 5
nhvz: 2
cbdz: 3
ggbd: dqcw - sjsh
frmc: 3
bpws: scwb * rjmj
zndt: rcwp - jcvb
shws: 20
rqqh: 5
rghr: crqf + rqqh
sjcg: bsjf + lswg
npnm: bnmv * jcrv
tjdq: hvnp * pdrc
lgcp: hvgq - ztpb
bntb: gwrv * hjwp
bwzf: 3
qjfv: 4
ghzt: 2
qrmj: 12
pfqq: 3
hbbm: jmbz * hccd
hhpg: grtl * cnlv
rlhc: 10
vsth: wppn + bjfn
blzr: bphh * nqpl
tbss: gltw * cpmh
wgvs: 2
qhfn: fddf + gscm
bctj: 2
dhwd: 10
wvhq: 2
hnhb: 4
qqsc: sgqh * trqv
phds: 1
tgvt: 7
rjhq: 2
wqph: lhnp * ccpg
gltq: gbph + jnvl
lbmr: 9
qqrl: rqlj * gzbh
cpzf: 5
zcbz: hffn * rjbw
msqr: lrfr * zpqr
tlzl: rzbr - hnwz
mrcn: sbsm + dqcb
strj: 2
ctwz: 2
ldpw: 17
bhrc: dhnd + ztgs
pwfv: 4
fchq: brjt * zppw
dgwq: 11
swbb: gqnw + rmwm
hmfw: 2
lpjc: twlj + brcl
vgsn: 9
vvzc: fdmm + jvtj
jvzb: 15
rfzf: hgdb * jhws
qlqz: jdrm + rzbv
qcpw: 4
vvjz: 4
cdgs: 19
gmpd: 2
fslc: tczq + gjvs
cbws: hdng * nhqq
vsrw: 2
brdg: whnv / blpn
qltl: 2
fdbd: wscg * hscc
mqvf: 2
vsjz: rjwc * pvdq
psqr: 5
clnj: 2
rnjt: 3
lmss: qlqz * qhwr
vttv: cqjr * lrvn
htht: qthv * sqtw
bmgm: 19
qbhz: fblv * gdnd
hstb: 3
jfcq: 4
qdcz: 5
qphr: jlnq - qfcq
scfv: djdz * rlvp
drbc: 4
hlmj: ztjz + zwqw
wrhs: 2
lvsz: 3
dlwm: fslc + njvb
snnz: zhfh + brqs
rbpn: 19
tvqg: 3
hncf: hfwv * zsbz
qqsw: cvsp * blzq
znbf: dlbl * tbrs
blqp: 7
ngfj: 2
fbrz: fdgg * fqhj
zhfh: vsts * rjbm
ztjz: tjcb * jmjh
vfzj: 3
tfpg: dddp + tbzn
nbmf: 11
zmbq: 5
tbtn: 3
zmnl: 17
bqsm: wqjg / vbhv
npbg: 2
lbdh: 4
hptd: dbmm * ddpl
trsd: cbws * vqwn
mnbc: 4
gnmr: tdsp + dfws
zsrj: 3
dmlg: ljmt * vrnd
fndf: 13
jcrv: jjmq * gqpb
sjsh: cqqd + rngs
nndl: njdt * mbgv
pzrd: hrvt + ltlr
ljcj: 2
cprd: 2
qnrb: 3
vpfc: 3
mrjf: 9
flpm: rcrz + tlzl
vpzz: 4
hjcm: 2
cjbt: 17
cqlp: cntw * nspb
trjp: mlvj * plpc
gdgw: vvjm + cqvz
qhsz: vncd + dmnv
chnq: lfqr * cpfz
mjnf: swns * crdc
qfvd: 3
rmls: 2
qjqq: bvzt * jshs
dlcw: 4
cwnp: 2
zszf: qjrr * vqtl
lgnn: 5
pshl: dbdb * pnjc
vvpc: 12
qprf: 4
mdsv: 4
fpbl: dfls * sshs
jvvt: qmbj + wffg
pllr: rfpw * zcnw
dbtw: 18
qsrw: 5
gqdw: 3
pgdc: tvdn + nrlz
gtwr: zhhh * bvqq
hqvw: vfpv * lthj
mmwh: ctdc * mnhf
qltz: 7
shjb: 4
mbzd: cnbm * zspj
zmlj: wdfs * wmhp
wjjv: 14
crgf: qvfg + dwtg
hmzs: rsdb * dvdl
pvmb: 2
zwqw: fjds / lfgt
gmcb: 6
svtr: 13
stnn: rnzd * pvmb
lpws: jpts + gwqd
hwwz: 18
vgmc: btwp + zjwm
wvqw: 14
shdj: 4
rjbw: 2
wmcs: 6
ptlf: 4
pnrd: 9
zlqn: 2
qttt: 4
zscn: lfhj * swzz
cpnc: zgzb * gcbb
vnbs: 2
brpl: wqvs * rbrr
sbzd: pbpf + dvwp
vgtq: 19
wshl: 3
qcjn: ggbd / fdgr
nsbb: hfzh + blmc
dqcb: 1
qdsp: 2
dmdz: gnvn + whqb
pdpb: 3
cngm: qmnc + szhd
crzc: 3
szrj: djph + humn
cltq: dsqc / lmmz
vlnc: 8
vbcc: jggl * ftzv
rqzl: bvng * gclz
lgrr: zlfq / pggp
hrvt: shnh / gvcb
rfwd: 2
npbc: 8
bmdp: 2
gsbc: dzqc * rhzv
rhgh: tsgc + rnmt
bphn: qqqv * bgsd
jhws: nmsz + tltd
fqpp: mzzs * dpnp
hrtw: mjqh / bqrm
rpfw: vnsf + ltbh
rjvt: vtgj + zrcv
dqsn: hhld * cfrw
bnff: nbdg * lnqn
vpfg: 5
vplq: 3
plpc: 2
rdhb: snqn + zfvm
clph: znbf - tqvg
jdmr: fjvd * fqbz
pbmf: 7
ffzw: 3
bsfp: 2
strd: 2
glgl: 1
slqb: bqqf + qgsv
cvzd: tddh + qbvc
pgvm: 2
shng: 2
grll: vqdf * wzzd
fznc: 2
ncrj: 2
lzzp: mhpl * tgld
hrnn: vjqt + rmgl
lwhv: 2
dfws: nqvm * ncfp
hcqt: 3
hqcj: 10
qfqq: 2
clbq: 2
zwqr: vmvj + nrpl
ldpl: vfsg * qnrb
nmhp: 6
grdm: 3
vgqh: rthn * tfgz
wsrr: bhrc * jsqv
vnzm: 3
lflg: 9
ctlj: 3
vgst: 18
cqjr: 2
mbrs: 2
wmhp: mgdb + glbc
jmbz: 3
vcpb: sghj * vgvb
stzn: jpdt * fnjs
gtpm: vzfs * pgdv
lfnp: ncbj + sslf
zzss: 2
hmfb: cmvp - rfbr
nhbs: tzcz * qrhm
srfj: 7
bqtz: 2
sslf: lvtb + cbjq
grfm: 2
tjbp: 2
jlmn: czcq * qqlp
ctfr: bssb * hzms
bfmj: hshz + sbll
rmpg: 8
qngh: 2
blqh: fndf * vjvt
lcgf: 1
lllg: gdfm * pgnl
zzff: 3
vzvw: 13
csmr: npnm + ltlc
fzwm: 5
gfmd: mmjp * vdns
csqj: 3
rlwp: wgrd + bgtn
rfpm: wclc * lgdf
hqnz: 1
dfds: 2
zdzg: hvct + prgc
mcsm: 3
rrtz: 2
lnhl: 2
bpmz: 5
vnps: hztp * slhr
jqqp: fmqr - tbss
sbbb: 2
mbgq: 4
mhgq: 2
lmbn: 19
dmnv: rplv + ppfg
rfpw: 2
rncq: jqmb * fgnm
fhpq: zgjl * jrpq
mpcp: bpcv + rgpd
qhsw: 3
sqrf: flpb / mjjt
msnp: lgrr + wvmv
jzns: 1
gccg: pgvm * mgjq
bjpn: wsrr * fflm
chwt: 3
mdgn: 5
jjsc: 5
llvj: 2
zfmm: srdb + gvtv
zhzd: cvzd * mppc
pdmh: rghc * zttg
sqtw: 5
trff: rlwp * vfzj
vlft: 5
rqmd: rhlj - qphr
lvzv: zqww * tnvg
tmlj: vcpb + rjnw
gwtb: 11
jngs: mpcp * nzjb
bnts: 3
ztrz: 2
cjvb: whzp * vbtv
qpqt: 1
jdpf: jgql - mfbl
gjsw: hjcm * lrnq
ngdt: 2
mgcw: 3
bcdw: fzwf * qhdc
szhd: gjht * sfcs
rhvm: 5
sgfn: bfsc * frmc
vzdv: 4
jdcm: jtsz + prpt
clcv: dgll * ngzp
vdtr: mcsm * hszm
hcfs: 3
fbmd: flpm / grfm
vmfb: blzr + tbwf
jwfz: pzrd * hbcl
gclz: 3
hbfq: 3
gwgb: qstj * cplg
vmvp: 3
dhhf: rdzc * rbpn
jqjl: wmcs + lzgd
vrnd: wwwc - fqpp
wlbv: 3
rstl: rncq + ghzt
tscj: fvmd + rzpv
ztvq: zhmm - gfhf
twmh: 5
zglr: qlgv - cqqb
wgst: 3
nzsv: 15
hzcn: rhmb * hcqt
qjns: 5
rslg: lszn + hgqc
nfnd: 5
jgdn: twjl * cjbt
dwpg: 3
cfnr: zjnr + bwgr
vfjv: lbbd * fpld
wqsd: vmvd * cdgs
bwqv: qqbt * mmdd
cdhf: cpnc - lgcp
grgp: 5
vwwg: 5
tbcn: snpf * lprt
hcnr: 20
jdtg: 1
tgph: 6
ssrm: fvtr * jwfz
mtnf: wcpl + hbbm
cjbq: qjtv + tvcz
nlzc: jqpl * hldr
sgfl: bwzf * shtn
wdms: 6
wzfs: vrnc + dgjh
shtn: wvqw - jdsj
qcsq: 2
pdqq: 2
vwrv: 8
wnnt: hstb + zvqb
jqmb: 2
sszn: dmbl + zdzg
wlhz: gtqs * wbjr
tltd: 3
cfrs: 4
tqfr: wnnt * lpgn
sqvl: 2
nrbp: 4
htmb: 2
dvzq: 4
njvb: 4
dzwb: 2
hshz: sjcn * sgfl
dbpb: 1
twjl: 3
gsbm: 3
vvjm: vqfv * qmsh
zmwv: 5
cwsv: cpvw * jggt
bgtn: 6
sffr: 1
zngh: scgb * qsfc
fcmb: bvrd - qhft
wmnt: bwdc + crzc
pmht: qbwr * thbb
whsh: rlrq * ssvp
gzmz: 17
rftz: pnvb * lbhm
dhwj: gwgb + fjfb
zrcv: twtd * gjff
nnvp: 2
lszn: rlhc + grrh
fcqj: jtmf * rqzn
lwfg: 3
rbmj: 2
cnlv: 2
lpjz: 1
lghv: vftn * pccl
rgcj: 1
tzcz: qltz * tfpc
tfbh: qdvq * lzhf
svrw: 3
rwls: 1
fjdp: 13
wfcn: 2
hblq: 4
qgdq: 7
vslb: 10
fzpj: zdbj - ftwv
cbcd: 13
cnrw: 12
cqvn: 2
svfm: 5
hfnt: mbgg * jshh
rcjj: qmfc - mrmg
vbgm: 5
hbcl: jlmw / ljcj
gbfv: mdmc + chfc
qmfb: tfpg + jglm
pgpd: hwjr - pdht
lmrp: qqsw / bmdp
hgqc: wpwm * clnj
nhtb: qjsc * sgqc
lsbv: mgtt * lvcj
rbzw: 3
hffn: 11
fdcw: gqpw / mlsw
cmlb: dgbd + lllg
rqzn: nvwv * pmht
jnhb: 6
blpq: mjcw * fvph
tsns: qhvf * cprd
jclv: 11
pmct: ngfj * vgtq
jlbs: vzdv + hhrb
trqv: 3
lrfr: bzpl + mjpb
mjjt: 2
tfpc: 3
brjt: 16
jbdd: zszq + bblf
mcwd: nhtb + mrrt
zfct: 2
ppfg: 5
lclt: 3
jhtb: qgdq * gwwn
cvgb: 7
thzg: 15
ngmc: nvfw + smzz
hwjr: szrj / ltjn
rhrv: cmvv + lgnf
gdfm: 2
dwrr: 3
hscc: 8
llft: 2
jcvb: 4
zrvc: fbfh - sdzb
gtwn: qdsp * qqsc
bstb: 2
ctdc: zjtz + dwgb
rtwl: 2
pghl: 2
nvzq: mttp + clph
nzjs: pdsq + thzg
jnsc: 2
gncr: 3
zlfs: bppp * ffzw
ftwv: 4
mvnp: zwlf + mdsv
jrhn: bhbf + pbrd
mnqt: 2
gjtb: 19
mfwf: lscn - wjfh
nhsc: 9
zlww: sgrv * nmhp
sddv: 5
rzcm: bgth * wdrm
nstn: phsj / dwpg
nwsb: jhvh * dwcb
tvzw: wghm + bfmj
rfcr: 4
lswm: qmrn + fhpq
mfpj: 2
stsh: jnhb + crjq
ttqd: dhwj * fjlh
mzzh: qpct / fbzh
gjwd: 10
mfbv: cjss * cjlb
vfrh: 5
gztz: llfs + phbw
ddbv: 12
qhhq: dgqw + zlcn
fzjg: 2
rthn: 2
jmpd: wzfs + nwlh
cqfq: 10
rrws: 3
prcg: 2
lzgd: 2
tlfs: nssg * vhws
ffwl: zfqf * sccj
cpvw: 5
hlwq: sllh * hmfw
nwlt: gdgw + qrbv
zhhs: frmf * nhtp
rgcq: cbnd * nbjs
tqws: scbz + whsh
gdhp: jbnz * gzcm
hstt: 3
jnsd: jmpd + pfdm
gcbb: 11
jgql: qgvj / brcs
hvct: cgqh / qngh
sjfm: lrjg * bdnz
cnnm: rcvf - fqdc
gdnd: 11
zzpp: 2
jhjg: dvtv + blqp
blsl: wzps + znzf
cmvp: drqz * dcvs
fzdv: lprn * bwqn
wzfj: jbrm + qmfb
wjsp: 5
nvlh: 5
fhbl: lnlr + tgvt
cvzb: vmvp * zwqr
zlmb: ttbw + npfq
zszq: qttl - sgmr
crwf: 2
wffg: ctnq + vjjp
phsj: czsn + snnz
ddbw: 3
nshc: 2
zwlf: dwhv + zlqn
qmbj: hntj - gwtw
jfhb: 4
wclc: 2
flgz: 2
zdjr: gnvf * sbzd
gdfd: swvf + rfzf
gcqr: ltbb + pdpb
swns: wplb + rwnf
phhl: nqrt * qnjt
pptn: 3
ddpl: mjqb * hwhg
cvtj: nlzc * bmqv
czsn: dlsn * phhl
ndsm: pwtn - gjwd
lgrc: 7
mgdm: 14
chqn: 2
jzbq: mjsb * hqfs
ztpb: 5
jlnq: hmrq - wmll
zssb: crws - gtpm
dwtg: msnp - mfdz
flnc: 6
ncbj: qbff + nzvd
qqbt: 3
vdns: 2
qttl: ldpw + cspv
dgbd: qwmm + mjnf
hmzp: wjjv - njrh
ljmt: 2
sdzb: gdwb + ndvm
sqcl: 5
sdqz: 2
rjmj: 7
pmvv: 2
scbm: 6
pplz: 3
fjfb: bmlq + ztvq
vhlj: 3
zbmn: 12
pwtn: stnn + lmbn
gdsp: 2
mgdj: zlfs + pqrc
rjfm: fzrt * vgqh
jsnf: hjtj + fdpn
qdfl: njqf + fclt
msws: 16
bnmv: 11
ttbw: llvj * cfnv
sllh: szqg + pgdc
lsjr: 5
mgpq: 6
gpjq: cbgh + nwlt
bbrh: 3
pwzg: qcsq * vtfm
bnrr: 17
vmzl: ggfq * gqdw
pfht: fpbl + dfhn
ltbh: 2
gscm: vnrt * dgqr
nspb: 2
wlcp: nzjh + dqhm
fghr: 4
cplg: vlvt * fcgh
nvbl: rhrv * rwqj
hqnh: 3
mctf: dpjp + rlhz
vblb: gpbl * gjsw
ndqf: rtdg * tmsf
rpwl: 2
ngdp: wjsp * pbmf
jtqg: 2
zwgs: 7
mvnd: rfsh * zcns
vzhq: shnp * plgj
dgqr: pfqn / ctwz
hmqq: 11
wjdj: lvlp + cnrw
ggjq: nndl - fslb
gtqs: 2
fqbz: 8
brbd: 4
gwrv: 4
rhmb: rjvt + tqws
lrjg: 11
bpwv: fhbf * fpdm
vzqc: 3
zppw: 3
mznz: 19
shpj: 2
mttp: jnsd * bsvb
pqww: wmnt + scbm
zrtv: 2
fzgg: qltl * qcpw
smvn: 8
vmdn: 6
jwcs: ngtw + mlcd
vqtl: grll / fjsq
hszm: fgsr + npbc
gcld: rmls * nvlh
zclq: hqvw + gvnv
pfhn: 9
jjmq: 14
wgrd: rwvg + ccpn
nrpl: 4
mjqb: 6
cbrq: 6
tfzr: nrpg * cdrw
rnzd: ndgj + zcjm
zlpf: qtsn * zlwm
gdqr: 3
lvtj: 2
vmnl: 3
qhwr: rwls + cvvt
qqwz: tfbh - mttw
pjgf: 5
mvlh: qdss * hbmc
cjlb: 2
hfzh: dbmj - zpns
wbdt: 3
qjhj: 2
jrpq: 5
wrcd: blpq + hmzs
hmsq: 11
nvvm: 2
pbft: 1
hllt: slcp + sgmh
gllc: 2
vjqt: pqfr * rstm
fnjs: lpws / cvmw
rnsw: 2
whlh: scsb * hbfq
qjsc: dwnp + tpbz
whsg: 5
lszc: 5
nqlm: 2
mlvj: gfrf + mzzv
sccj: 2
sgsq: pgbb / mvqs
mfdz: jvvt + bmvv
stgn: 9
hznr: 12
pznl: mprn + jdpf
qtsn: hqdt * pfqq
czbv: 8
npzq: 3
mgjq: 5
jdjm: 2
mzzs: rcmc + cbdd
gqcn: nshc + rfcv
qfjd: ptlf + jswl
pdht: lzcd * fjrs
vjvt: 2
qqht: lhbq * wvhq
jtvl: bwqv + jngs
dvpn: cmvw * mzqw
nzjh: 16
flqb: ffsg + hqcj
dnss: 5
mjsb: 5
gfrf: hqqt * fvvm
lzvz: hqnz + vblb
rvpm: 19
cbgh: fwjp * snjs
dpjp: 16
dzgr: dqsn + bzdt
hlcb: twss * srfj
fmqr: zssb * mnqt
vvsv: crwf * bstz
zhmm: nfsm + wrcd
pddf: fdtv * nntf
hndc: 10
smpg: rddn * qrbl
rzlp: vsdz * wbcc
qjtv: wchd + ztjs
njlr: ddbw * npbg
bsjf: 15
pnjc: qvdt + sgfn
lfmw: dhhf / rfwd
zlwm: rfbg + nnwh
glbc: 4
gqpb: 2
tbrs: zlww + vdjs
nlwl: lzhd * fznc
qhpj: ntzv * wzfj
hwhw: rstl + frrj
mhcf: 6
cmvw: fcqj + dzgr
jmdl: 2
wchd: wgnz + jwgd
bhcj: gdqp * chhd
zlcn: zmnl * mbrs
sqsb: jvql + cvgb
gfht: bhcj * lgrc
qqqv: sczh * vzqz
jhcz: 2
zpqr: rzcm + nzjs
mlcd: tfmq + vflv
rcvf: jfql / psnt
nwlh: ngts + vwsf
jfql: nvzq + dlvf
qhdc: 4
bjhw: 2
sghj: 5
rvsj: 5
wplb: bflh * npdj
rwnf: 5
mjpb: 6
mbgv: 2
sftq: bspr + lnhl
nqjb: mljm + nsbt
gwwn: 3
mhpl: qpls + vmcd
bspr: 4
jfmz: 10
ltbb: 4
llfs: nfrh * stsh
dwlt: 3
tsvv: qwhn + bspl
whqt: rghr * fnfc
prjs: wpfr + smvn
jppq: 4
vctn: 2
zfvm: cmlb / wdwq
ncfp: 3
rqgt: bphn / wvmr
rttf: 3
fvmd: 4
snbb: qgqr + nqjb
lgcn: bstb * thvz
fgnm: 3
fdmm: vdhb * fnpf
zwpw: mqzr * vjms
jvhp: 2
nglh: hpzh + mbmp
gdwb: flrp + hqpr
tbsf: 13
ldwl: 2
wbms: whtl * rpwl
sgrv: hzsp + qcjn
rqgc: qdfl * sqvl
mgdb: mbgq * mqvf
lsch: 2
cfdn: 3
jbnz: 2
nmsz: 4
lqzd: ltqr * lntw
bfsc: 5
gjwm: qjfv + mgcw
tqzb: 12
ntwq: 4
vdbt: 2
ffnq: ttqm * pgvf
gqpp: 13
scbz: rrdh * dght
mtqj: lfpm + dfjf
gjgp: zcrp - qvrg
rvbd: 2
dzhm: 2
nmlm: 5
nbjs: 5
ttds: 3
sjcn: 3
zzlv: brbd * tsns
qstj: tfmt + jzbq
twqn: bnrr * gqpp
bgjp: tbcn + fgcr
pthj: hszv * qdzr
rntz: fpnp + ppnj
fgpc: mvnd - rwlh
cglb: jdjm * hwhw
dwhv: 5
wcdb: 16
prpt: 4
jdsj: 1
mmdt: 4
rtdg: 2
qhft: 1
qbqd: 3
fblv: 5
bzvb: 2
bwgr: 3
tsvd: vfjv + bprw
szqg: nlpn * vbgm
mjzg: zdrd * hntz
djdz: jscc + zfwm
nrlc: 5
llcq: wfmb + hsvs
hwft: 7
tvcz: 4
dmcn: lcgf + zcmv
jgwz: 2
wtbc: ljrw * dwtm
ngtw: 2
fcgh: 7
lncp: 2
sgmh: 4
jtsz: 3
sbdq: 3
pjcf: 9
nmpd: 6
zmhw: pflm + nhbs
cdhq: 11
ddjj: 8
qpct: wczm * rchq
nrbs: njlr + bggr
mtdb: 11
vpmt: gqmw * jmfv
rfcv: cmnc + hqcp
vjms: plwf * fjph
ndgj: ctdp - dzwb
whgm: qrfz / fdrr
jlpn: vvpc + gdth
grrh: ncnb * pdqp
qbwq: 10
vbgp: ffqd * qwjt
frrj: 3
lsfm: 2
swvf: gfvn * vmml
ccmt: 4
lvlp: 11
vfgr: dhwd * btqh
npdj: 3
dlqt: zlpf + msvj
ptnz: 18
tvjc: wpdb / nqhw
tgnn: 3
fjrs: 19
vwtq: zthn * htmb
swbm: 5
jsll: nnng * ffwl
pnvb: 3
dwgh: gfht + svpd
qvgs: 3
bmvv: 3
lhgl: wvdd * cqgf
mdmc: zglr + lsch
sfqf: vbgp + lbvn
cpnv: shws + hcdt
zhcg: jpvm + qjqq
lfjt: nwmz + vvzc
zctl: 2
wzzj: 3
bblf: 9
nqrt: 4
bmrr: 2
nrlz: 2
jzwh: vvnj * hndc
lbbm: 2
fzjl: jndb + nrbp
bwfp: dfct + lbdh
wpfr: vtsr * pptn
dsbv: csqj * fsgq
rshd: bthq * dplg
lnlr: 10
qgwb: 2
rcgb: 5
zbnm: fchq - lbmr
prgg: 9
nqpl: ngdm * wcdb
zmhc: mfbv * cfpd
tpbz: 2
qjjj: 4
jndb: 7
nntf: jlpn * zmwv
fdvc: cbjn + twwq
zpns: 5
gqvv: fgbn + hnsz
fsbc: wlhz + zszf
hccd: rcmt + nsbb
vgvb: tbhl + wwbc
rhzv: 3
gltw: slhl * dzhs
gttp: 2
ffrz: tvrj * ldpd
phmq: 3
tvrj: 2
vnlm: 2
trst: dqts * bmzm
qjts: jrln * dngf
pmvj: 2
hdlg: hsvf * zzss
sqsn: drmg + wlgm
czgf: 2
bmbc: 2
vlgs: 3
pqrc: fbgt * qmln
lprn: zgmr * ntgp
rtlm: vmfb / rlgh
jpgp: lzvn + jrjc
ppdl: 5
dngf: 3
cqvz: 1
jshs: nvbl - dfjm
wchz: 18
fmzh: whsg * qjms
npfq: 3
ztgs: 1
qsdm: vtcw + sbdq
hpwq: 2
zsbz: 2
vftn: 3
nmgm: 6
dtlf: bgjp * jwqs
vllg: 3
wvdd: 13
ntgs: 5
zfwm: 3
wwwc: rntz * jtvl
dvtv: 16
spvm: lbbm * tcqp
qdvn: rpql * lmns
pwzt: 1
vmvd: 2
pnmd: 14
chhd: 3
fqll: bmvn / bmrh
zrvd: qbcp + tvwc
cfpd: brdg + zfhl
nwrn: clwb * jhcz
hfwv: 5
pjrc: ndqn + hhpg
rhlj: prqz / dnsb
zjvv: 4
gvtv: lncp * bbrh
dgjh: 5
qlbj: 8
jrhl: qtfn - mlzt
cbtq: 2
dnsb: 7
bnjc: cpzf * nbmf
pcjv: 19
dgnc: hmpc * cbdz
jttv: 4
jpdt: 3
mnvv: lhgl + npzq
pzhr: pjrc * rtzj
bbws: lzcn - vnps
rvgc: 2
tcfv: jlsr + zhjp
mvfj: 10
pwgg: 2
hplb: drtj * ntgs
fpld: 5
fgsr: 4
pbrd: 1
mlsw: 2
lzhd: vgqp + cbtm
fgmc: rcgb * qdcz
zftf: 19
tjqc: 8
pwsw: rqzl * jmfc
fdpn: 4
bqrm: crdp * lpgd
vnct: 8
bvrd: dfpz * rfqw
ltlc: fgmc * hwdg
hsvf: smmc + jsnf
gwvp: 2
fgrc: gltq - mzmq
ghtl: 2
qtlm: rqjw + fngj
pbpf: 2
nzfj: 3
jzrc: qpsq + mtnf
fpdm: 2
zgcm: 3
bvzt: ptrs + dvzq
bggr: mvjf + ndhz
lfvc: tqzb - qprf
dpnp: qbqd * cbtq
jlfn: thhc + hptd
bvqq: wchz - zdnd
plwf: 2
jmfc: 2
vscd: rrps * sjfm
qjrh: 3
ndgw: 1
rmwm: 6
tbgt: 10
vlfw: 14
hmrq: zfvg * hlgs
dgll: flnc + jlbs
vqdf: sblq + jhtb
rngs: gnmr + dwft
vvbj: sffr + pvct
blzq: tcfd + sjcg
lrlj: ntvf * fsbc
hnlc: 2
sjjt: 3
wmvj: 5
zcns: vsgw + tfsw
qlgv: qttt * gncr
sfcs: 5
bmzm: 4
crws: rdhb / zgnz
fcpb: rvjr * shjb
rstm: 2
bthq: 3
cncp: 3
lfhj: hdlg + vzhw
rrdh: rgcq * nstn
rwwc: 19
dqcw: ctnl * pjcf
bmqv: 3
cqgf: 2
rhpj: 2
qgms: 2
nfsm: bwqg + pzhr
vbtg: 2
gpbl: 3
jswl: 3
ndhz: 11
jnzr: 3
vvct: 2
zrmr: 4
rjnw: drdp * bcbh
lnqn: 4
tcfd: 4
dfjf: vvct * dnss
phbw: brpl + mnvv
bsvb: cngm - nwbh
fbzh: 2
rvjr: jtdn + vzqc
ggcl: 1
hpfl: 11
zzqp: sszn - wvvc
dhqd: wpbz + rcjj
mltn: zqhf + nwrn
fdrr: 3
vvnj: 4
cpls: cfmn * hstt
zqvd: whgm + tqfr
brcn: 3
zfqf: 8
cjbj: 11
zwcq: 2
zhjp: hzhb - slqb
zcrp: prvs * jrhl
qmln: 3
clfv: vgmc * nqlm
vrnc: 1
wqvs: 4
fhdc: 3
swzz: 3
ffdq: jnwd + bzrj
sssg: dszb * chhq
zgjl: 3
qsfc: 4
qbcp: 8
ljbq: 2
mngp: hrbv * hnlc
vsgw: 2
qdcw: rtrc * dnsq
qzrt: 3
jhlw: 3
zdnd: 5
cmvb: cfzr * plzz
cvnr: szzv + tmlj
gdwh: 9
brqs: gztz + mrnf
dfct: 2
hlzh: 1
cmnc: 1
bcbh: 2
flrp: 6
gclg: cqbz + mhnt
nrnp: swbb * ghfv
dgrp: 2
twss: rsvr - tlzq
cnqt: 9
dqts: bbnd * vrjj
qftn: 3
rsdb: 4
hgjj: 11
gdqp: 8
vmqq: 2
dwnp: 5
wdpj: 10
cpbm: fdct * jtqg
ntdh: 20
lzcd: mgdj - tbgt
nzvd: 18
lthv: gmpd + fzgg
vtcw: nbbj + fgct
vbcf: 3
ccpg: 15
wgnz: 5
sfgj: pmct / pwpc
whdg: hmsq * rvdf
dsrl: qqth * dhvt
bwcp: dbpb + wdms
lvcj: ssrm - vcvh
lzhf: bjpn - mrjf
wllf: 2
qzpr: twqn + cdgh
wmrp: 4
wztb: 4
vmqb: 3
lbhm: hlhj - cdvs
tgld: rmtq * qwtz
ghvd: cwqd * fdvc
jplg: fpgd * ztjf
lscn: ncrj * mthr
wdsz: 11
rhjd: 2
cvdl: 4
frmf: lfwg + vwmb
bgth: 3
twtd: qrtz + gdsn
bzrj: sbqg * zcmj
pdvm: vscd + phcp
bwqg: shpj * blsl
vqbm: 2
ccwr: pdqq * rslg
bdnz: 3
wwgz: 5
mbgg: 2
jpvm: mltn - hmvc
znbz: 2
hntz: 5
hlqv: llcq + gdfd
nbdg: 2
zqww: 2
fclt: 3
cjss: vsjz * vsrw
tvwc: tbsf * rtcz
tmcr: 2
hjpf: 7
dtpv: gdqr * fzpj
hpbp: 3
gzbh: 9
snrn: 13
sdsb: zhft * hzbb
tdsp: 13
cbnd: 5
bbnd: strd + lghv
vzqz: 7
zvqb: hmzp * rjhq
qthv: jppq + bfrz
zcst: 3
btpm: vnlm * pvgs
wwrp: mtdb + mddc
vtsr: lfvc * wgvs
vjsj: 5
lzhz: pwfv * hnhb
vgtn: tdcv + wzgv
fcvb: rgnl / cqvn
rgtd: 5
mcvb: 3
qgsv: 10
msvj: flqb * vmjq
wcpl: 8
fgnv: 11
hqwr: bcds * qtst
czrq: wwdn + gjgp
gnvf: 2
bcds: fcpb + fmzh
whnm: tgnn * zmbq
zspj: 11
brcs: 2
snjs: 3
vjjp: lzhz - ggcl
hlqs: 5
nwmz: 17
bzpl: 1
rzrq: dlbf * rgtd
fbww: csjt * dmlg
ggmw: 7
fqdc: zzlv + lfmw
flpb: dvbj * rqgc
pgdv: cqjh + dtpv
lfwg: mgbb * ggjq
jggt: 3
nvfw: hllt + gprm
sdqj: 11
sshs: 3
djtr: dsdz * vpfc
rjwt: 2
bmlq: ppzj + vpcm
hswt: qhmj + flgz
rwqj: 2
tgjf: 5
ctnl: zzqp + fbmd
ctbc: jfcq + rrws
rzbr: vnms / jrhn
rfqw: 2
mrld: 14
hqfs: cbcd * wqfg
cfwt: 11
pzzw: bgtv * wtmd
crdp: 3
wzps: fdpz - rvpz
jdrm: 5
nvtd: 4
ctdp: cwnp * czhv
zfvg: 17
nhhp: 3
sblf: mcvb * wsls
hsvs: dwlt * ncht
pvpr: rfcr * rzlp
rfbg: dzcg + vmzl
vrjj: 2
pwvn: pplz * svrw
zttg: 2
sqhm: csmr * zdzw
hchf: pqww + rmsp
nflh: 2
fgcr: wbhq * cfnr
slhr: grdm * zgcm
nfrh: hhqs * vzjg
bflh: 2
vzfs: 2
hswz: rftz * dzhm
lzvn: twvh + zwpw
sbss: 7
fcdz: 3
nssg: 2
nwbh: 10
vncd: zsjs * vpfg
fddf: lqzd + dlwm
bwfd: 14
gbrz: 2
dbmm: 3
mspg: hjhv * hszz
rrps: hpfl + drln
cdrw: dgvh * rttf
mvqs: 2
njrh: 3
qqth: vpzz * tlfv
lhzj: 3
pflm: ndtb + ffdq
fsgq: 17
bzdt: hlcb + vfgr
rdzc: hncf * mnbc
lpgn: 2
jjzq: 2
sznt: 13
hvgw: 9
hzsp: hmfb + lvwd
nhtp: 3
rsfd: zmlj + dnqd
nbbj: 3
mzmq: qjts * cgfw
vcvh: pdvm / zgfg
wdzq: vfhr + drbc
rtzj: rhpj + fzfn
wdrm: 4
rbct: vqch + hmlh
lqhw: 6
vdzp: nmlm * fzwm
dcft: gllc * zftf
jgfm: djtr + lvhc
snqn: jhds * hlqs
vqhv: 2
rdgv: ttbs + wnbl
wcdj: 2
dlsn: 5
qzjv: 12
ggdl: qhsw * vpdw
prgc: sqrf / shng
wscg: 12
cltf: rdps * nhsc
hwhg: rnjt * mggd
tsgc: cgtn * rpdt
jdpd: dpjg / pmvj
drmg: hrtw * wfcn
fwhq: qhsz - dwrr
wsls: gsbm + bwfd
scsb: tgph + qfjd
cqbz: mmjt * ggmw
zcmj: 11
zfwb: tgjf * wdpj
fjvd: rtwl * nglh
qcgs: wmct * qlbj
rfbr: rpfw * mrcn
qdfs: 5
gvcb: 2
fhtd: 3
gpwn: rdgv * ppdl
rgss: btpm * bzcq
jpcn: mcml * wtbc
vtmz: 10
cvsp: 2
twvh: sbbb * gjtb
dbps: 8
tbhl: 5
cjdq: ntdh + cvlh
pvgs: lrlj / ldwl
rvdf: 3
csjl: 5
gchv: 13
crjd: 2
qftc: lqnl * lqdn
qvfg: qzjv * jvmr
qmnc: 5
brjg: 8
zssq: pbbs * ssbs
slbr: scfv - wdbb
vtfm: zcst * fzjl
pgsh: vqhv * qjfb
mbmp: 4
btqh: fgrc + qqrl
rmsp: 2
dlbf: gqcn + phlq
rvpz: snbb * vbcf
sgpv: jvhp + tnlc
qgvj: nfpw * smqj
fzwf: 7
cvqb: dmcn * zhqt
pccl: 19
vsdz: 3
cbjn: 5
lpgd: 2
tbzn: tmcr * wqqt
cdpv: clbq * zqvd
bmvn: mbzd + hnrv
jbjh: znhn * cjvb
ndpn: hgjj * gswf
gjff: qcgs + qgfp
qrbv: 2
ddcr: 2
hnsz: 6
vqlm: vhlj * cjdq
tjcb: 3
wnbh: lpwv * lqdb
hqdt: 7
qjms: qpqt + tlfs
crdc: vnvd + vtgn
vqfv: 5
hhld: mzzh * zvfq
tddh: dbtw + pdhd
qrfz: fgpc * rbzw
ggqw: 2
dsdz: 3
zcjm: 3
pgvf: vmnl * wwdp
svdm: 4
ztjf: frfq - pqsd
bhbf: 6
hmpc: 3
jjpw: 11
dhvt: qspw * twmh
jlmw: qdcw * nlwl
gjht: 5
nffr: 4
wdfw: dqtq * sqhm
ppzj: mvlh * pdpf
fwjp: bwcp * lvnl
bppp: 11
dplg: 4
vbhv: 2
zjtz: dtlj + dvpn
tlzq: 13
gwqd: qbwq + wbdt
zdrd: zctl * pjgf
czcv: 2
gdth: 5
mddc: qmcn * fjdp
qmsh: 5
grtl: bldd + glgl
qhvf: 7
whcg: nzfj * zbnm
lvwd: zngh + dmdz
shnp: 3
cbmg: 3
ljrw: 2
rghc: pthj / nhhp
dvdl: ffnq + rqgt
fpgd: 2
vwsf: zzcf - gbrz
rbrr: 11
lvnl: vgsn + wbms
qrtz: 17
tczq: vplq * hpbp
hnwz: ccwr + jgdn
lfpm: 1
qpwf: 4
wpwm: tcfv * sdqz
fhbf: lclt * jhlw
wwcg: 10
jvcn: jlmn - lzzp
hvqz: 11
nplr: hvvq + mspg
btcz: grgp * vlft
sgqc: 3
ptrs: 9
wdbb: 12
wzzd: 4
dtlj: znsp * rcwq
jshh: 6
bqnp: 5
nsbt: fpsj + hznr
bvng: hcwr + lsqv
cgtn: 4
bvtc: jgwz * mtqj
zrgd: tvqg * nrlc
sqpt: 3
zthn: hwwz + rglm
vdhb: 2
qhmj: bpwv / qjhj
svpd: pdmh + cfdn
fjph: pfht * vdbr
dlbl: 2
vtgj: crgf * gzmz
hjwp: qjns * mdgn
hgdb: 5
zsjs: jzns + hcnr
cnbm: 2
stpr: bhcn * zlmb
gqnw: 11
wfmb: 4
jtmf: cwjq + gsbc
ntjz: jbjh / shdj
lmns: stgn + wllf
fbgt: 5
mdjz: 2
fjlh: 2
mjcw: vgst * hblq
wqqt: 6
wwdp: 5
lrnq: 5
tcqp: cfwt + cglb
wtmd: fdcw - bwwl
qfcq: trff * zfvn
cqqb: 1
mpcj: 14
dlvf: pvpr - rrcs
vdjs: bwms * jzhm
bwqn: gcld + rcmp
lswg: cltt * pwgg
gwgf: hwft + vlnc
vnms: gvph + dsrl
lsqv: dcft + fhrh
lntw: 2
rlrq: 3
nvwv: 5
bphh: lgcn + lvtj
dzhs: sznt + hhhp
vrcq: 4
wptp: 8
jvql: 4
cqqd: tbvz / pbnm
wnpj: bsvp * hwrd
mvjf: 12
mzzv: jsll / ngdt
zhhh: 2
qrbl: 3
wvvc: qdfs * bwpb
qbvc: 3
qjrr: 3
dwft: vqlm + bmgm
rcnc: mlvt * mngp
ftzv: vqbm * rmpg
wjfh: jfmz * ptnz
vzcw: 1
hjtj: 3
vnvm: rjfm * whsn
chhq: 4
rplv: 6
dmht: czqq + cvtj
lthj: 17
vsts: 3
btwp: 1
cjdc: pfhn + mgdm
whnv: rvgc * dhqd
ngdm: 3
root: lsbv + bsgz
dfhn: 11
rgnl: pwsw + ddbt
nqhw: vnbs + lgcj
jlsr: drmp * jwcs
wcqp: 4
sbsm: 10
vvhf: pdqg + smpg
crqf: 5
fgct: 15
vpcm: cvzb * vvhf
ffsg: blqh / llft
ptgp: 8
hcdt: 6
dgtt: 6
gzcm: 11
hqqt: 5
cjft: 2
hvvq: ffbl * pzwq
wbjr: 8
wpbw: 2
cwjq: swmc + pwlv
jwgd: 8
njrd: fzjg * sgpv
dzqc: pllr + lflg
gqrq: 5
pbbs: nfnd + rlnt
vzhw: 3
hmvc: bqmj + cdhf
lwll: 17
ghhs: 3
nlfj: trpt * pgsh
hldr: 2
mljm: 4
snbj: tzzw + vbcc
fjcb: qgwb * bpws
gmls: 13
bzcq: 2
hlgs: dbps * mnhm
ptdv: nrnp + mmrb
jzbr: 9
ssbs: 3
hhrb: 3
smmc: 3
fvnr: 3
cfqm: 10
vflv: 7
vmml: 2
scgb: 4
nfws: zhcg + lmss
hwdv: 7
jnwd: prjs + cdhq
vnsp: 5
cgfw: 3
jvtj: vfrh * ptdv
wbhq: 2
fddl: 5
pdsq: 14
dgqw: zssq + vgtn
lpzh: 3
thbb: 3
jtdn: 4
vlht: 15
dtrd: sssg + gclg
sczh: 3
wnbl: wcdj * vvjz
dbdb: 2
ddbt: jttv * rqmd
hszz: 5
rrcs: tbjw + gwmw
blmc: msqr / sbss
jmfv: nmgm + dscj
njqf: jdmr / mfpj
dsqc: qzrt * snbj
fflm: 2
nhjv: 2
rmpb: qpwf * nmqj
pvct: 6
drln: lsfm * cnqt
ztjs: qjvq * ddbv
cbtm: wpbw * cwsv
qgqr: 1
tmsw: nlmw * sbmz
gqmw: 3
pdpf: qftc - sjrl
vwmb: cnnm / wgst
lgnf: ptgp * chwt
sblq: 16
rddn: 3
cgqh: tjdq * zjcd
fvtr: hqln + qqht
bssb: mpcj / gwvp
dmbl: rbct * bmrr
ltjn: 3
bhph: fdbd - tfrd
stvw: jdpd + ghvd
rqlj: tstd + wwcg
thvz: 3
gjmg: 3
dszb: bqsm + phll
qjfb: vvsv + rljt
qdss: 17
mrrt: bhph + gfmd
tvwj: 4
pdrc: 2
hszv: 13
rlnt: 2
gwmw: jjsc * tcjf
fvvm: 3
psnt: 2
qrnd: 2
vhhb: 2
mrmg: wmvh / wgbs
rcwq: rzrq + fjcb
tfrd: wtwt + mgpq
lmmz: 3
zcnw: 11
rcmc: wlcp + snvf
wrdr: vmdn + bnff
fzfn: 11
ppnj: lggf + ctlj
nqjf: cqlp - rdds
smqj: wnbh * gdsp
mhnt: 3
vnvd: nvvm * rhvm
rqjw: 6
fdct: qhhq + pddf
ttqm: 5
hhhp: bsfp + brjg
fqhj: 2
qnzz: 7
plgj: 3
rfsh: ljbq + ntwq
bspl: lrqm * lwll
ndtb: lswm * rshd
cvvt: czbv * dgnc
hwrd: 7
hntj: sbdl * tscj
cncq: gwtb * pcjv
swmc: vhns * ldpl
gvzd: 2
vmcd: lwfg * swbm
tcqf: strj * wdsz
zfvn: 3
bsmh: 3
ltqr: gttp * dgtt
wczm: 2
drqz: gqvv + whqt
rsvr: pshl * rnsw
qdpb: qnzz + qtlm
mnhf: 2
humn: 3502
czqq: 5
frfq: rmpb / ghtl
rtcz: 5
lmtb: lsjr * vtmz
tndp: czgf * slbr
brcl: htht * wwgz
fslb: sqsb + rcnc
tcjf: 7
lrvn: 3
vhws: 5
clwb: hplb + jclv
qmfc: rmst + tbcd
jmjh: mvfj - jnzr
dfjm: 17
jhvh: 2
rzbv: mhgq * wcqj
dfpz: 12
qrqg: lvzv * vjsj
htzq: 2
dqhm: jbdd * hcfs
fmrw: 8
hfbb: 11
hvgq: czcv * svtr
jnvl: cjdc * sdqj
pgbb: chqn * chnq
pvdq: 8
lcdq: hgsf / qjrh
twwq: 12
qdzr: 3
nnng: 8
lmmd: 4
bqqf: 7
mmjt: 2
zvfq: 2
djph: hqwr + pwzg
tfmq: 4
sgqh: 3
ggbv: nwsb + sblf
mgbb: 2
dscj: 20
hqpr: 3
hcwr: njrd - vzcw
lvtb: 5
mvdr: 6
fwwm: bcdw + cbrq
vfhr: rvpm * fhtd
dpjg: zfrt * gvzd
tvrm: zrgd * fhdc
szzv: cpnv + dgwq
dfls: 2
tcpj: gdfw * hmqq
dqtq: 2
jdfm: znbz + vnsp
tbvz: qftn * tsvd
rwvg: 6
cwqd: 2
phcp: mfwf / bctj
rmgl: cmvb - gjwm
dmnp: nffr * vmqq
cltt: djzq - cbmg
mmdd: whlh * jrcs
hzms: 2
vfpv: cgqt + jvzb
znzf: trcc * rrtz
vmvj: 3
mrnf: sfgj * fqll
tnlc: 10
qwmm: wlbv * cvnr
rvwj: 8
bldd: tcqf + wshl
dwtm: 19
zcmv: 18
dhnd: 6
drdp: 17
nqvm: 2
scnl: 4
cbdd: 11
vpdw: lzvz * qsrw
dbmj: mrld * nnvp
hdng: 2
tfsw: 5
hztp: 2
vqch: zrmr * bqtz
fdpz: lfnp * vwrv
ntvf: 2
bwwl: rlsd * jsjg
whtl: 5
tmsf: jmsn / vwwg
ppfd: cfrs * mnst
ntzv: 2
ssvp: jpgp * nhjv
ghfv: 3
nzjb: 2
vdbr: 2
fjds: tvzw + cdpv
plzz: 4
nmqj: fmrw + nqmq
rclw: trsd + jlfn
smjm: 5
wmvh: hchf + cjbq
hjhv: vwtq / crjd
drmp: 2
pwlv: qrqg + gpjq
fjsq: 4
fpsj: 12
dwjh: 5
bmbw: 4
pwpc: 2
wmct: 12
slhl: 2
mthr: pznl + rtlm
qpls: 2
shnh: jfhb * btcz
rtrc: 11
qvdt: 14
rcmp: mvnp * zwcq
bjfn: 3
wqfg: 2
jgvp: 5
lqnl: 2
tnvg: 13
gvnv: jzbr * qbhz
nvsl: wdfw + nplr
vphm: 2
qwjt: 9
zgzb: vrcq + lttd
gbpg: 3
bgtv: 17
qtst: fghr + phmq
cfzr: fcdz * sjjt
trcc: vdtr + zrvd
hrbv: 4
jvrl: 19
rpdt: 4
lzcn: hwdv * gdwh
sbqg: 2
wtwt: 20
tvpb: 9
vmjq: rvbd * cncq
dwcb: 4
qnjt: 3
mnst: 2
tdcv: vttv + qdpb
rgpd: zdjr * ddjj
zgzt: fjmw - qvgs
hvnp: 8
jpts: 8
dddp: 7
wbcc: snrn + dbqc
cgqt: smjm + snrm
ltlr: qhfn + mfgg
vpbv: hhgv * tjbp
qgfp: vdsb + rpdq
fnpf: ghhs * zndt
mchh: dtrd * pgpd
wpjm: hqnh * ztrz
zhqt: 3
jscc: 4
zqhf: jlbr / wcqp
fngj: 4
hbmc: tvpb + zrtv
sjrl: 3
thhc: 8
lgdf: cpbm + mchh
qpsq: trst + tcpj
drtj: 6
cntw: qhpj + lcdq
zlfq: lpzh * jzrc
nhqq: 4
gdsn: jnsc * vlgs
cfmn: 3
scwb: 13
pdqg: scnl * dmnp
fhrh: sddv * ffrz
bgsd: 4
wlgm: 15
pggp: 3
fgbn: 5
lqdn: gccg + dggf
dcvs: 5
bhcn: 5
lqls: snbr + nhvz
wmll: wnpj + jpcn
ldpd: 4
fdgg: hlwq - jgfm
hssl: 3
tzzw: ndqf + gbfv
fdtv: 3
djzq: cfqm + rwwc
zjcd: nrbs - lpjz
gnvn: lmtb - gmls
nrpg: 5
qtfn: 12
srqz: rfpm - lfjt
lrdq: 15
ptjw: 4
rlvp: hfbb + cjft
sbmz: vlfw + szzh
vhns: 4
nfpw: whnm + bmbw
tstd: 11
tfhg: 19
zdzw: 2
hmlh: jgvp * dznv
mfbl: dmht * zwgs
dsbn: vnvm + trnv
gvph: nqjf * bmbc
ngzp: 4
rmst: nzsv * bsmh
lgcj: 5
znsp: ttqd / gldj
rbjg: 2
smzz: bqnp * bnjc
rfjj: 2
crjq: 4
fnfc: 12
tfgz: cvqb + lmmd
lhsv: 14
dght: 5
ttbs: cncp * lgnn
rljt: 17
whzp: 5
vqwn: 4
fbfh: snvj * rbmj
jrjc: mctf * nvsl
ffqd: 3
tzjs: mznz + vhhb
mzqw: dsbv + blpg
trnv: zmhc + fzdv
whsn: qqpz * vhcj
brtg: 17
ltts: 2
gfvn: 3
pfdm: 3
pqfr: wztb + gbpg
snbr: lhsv + gcqr
gjvs: cpls + ndpn
zdbj: zfwb + whdg
lfgt: 3
dgvh: 2
hbpj: 3
ndvm: svfm * dgrp
zfrt: 13
gbph: brcn * hssl
qmcn: 2
vtgn: 13
cqjh: svzd * vvbj
ncht: qdvn + vzhq
lrqm: 3
bprw: qzpr / dfds
blpg: bpmz * lthv
rdps: pnrd * qgms
mqzr: sdsb - mmdt
fgdg: 2
jrln: zzff * prcg"""


operation = { "+": lambda x,y:x+y, \
              "-": lambda x,y:x-y, \
              "*": lambda x,y:x*y, \
              "/": lambda x,y:x//y }

inverse_operation_a = { "+": lambda x,y:x-y, \
                        "-": lambda x,y:x+y, \
                        "*": lambda x,y:x//y, \
                        "/": lambda x,y:x*y }

inverse_operation_b = { "+": lambda x,y:x-y, \
                        "-": lambda x,y:y-x, \
                        "*": lambda x,y:x//y, \
                        "/": lambda x,y:y//x }

class Monkey():
    def __init__(self,name,operation,number,dependencies):
        self.name = name
        self.number = number
        self.dependencies = dependencies
        self.operation = operation

# Read puzzle data
monkey = dict()
lines = puzzle_input.split("\n")
for line in lines:
    monkey_name = line.split(":")[0]
    if ("+" in line) or ("-" in line) or ("*" in line) or ("/" in line):
        monkey_operation = line.split(" ")[2]
        monkey_dependencies = []
        monkey_dependencies.append(line.split(" ")[1])
        monkey_dependencies.append(line.split(" ")[3])
        monkey_number = None
    else:
        monkey_operation = None
        monkey_dependencies = []
        monkey_number = int(line.split(" ")[1])
    new_monkey = Monkey(monkey_name, monkey_operation, monkey_number, monkey_dependencies)
    monkey[monkey_name] = new_monkey

def getMonkeyValue(monkey_name):
    global monkey
    if monkey[monkey_name].number != None:
        return monkey[monkey_name].number
    else:
        a = getMonkeyValue(monkey[monkey_name].dependencies[0])
        b = getMonkeyValue(monkey[monkey_name].dependencies[1])
        return operation[monkey[monkey_name].operation](a,b)

def containsHumnValue(monkey_name):
    global monkey
    if monkey_name == "humn":
        return True
    elif monkey[monkey_name].number != None:
        return False
    else:
        a = containsHumnValue(monkey[monkey_name].dependencies[0])
        b = containsHumnValue(monkey[monkey_name].dependencies[1])
        return a or b

def findHumnValue(monkey_name,target_value):
    global monkey
    if monkey_name == "humn":
        if target_value != None:
            return target_value
    elif monkey[monkey_name].number != None:
        None
    else:
        # Get dependencies
        monkey_a = monkey[monkey_name].dependencies[0]
        monkey_b = monkey[monkey_name].dependencies[1]
        if containsHumnValue(monkey_a):
            # Expect b to be known, we can now calculate new target_value for a
            b = getMonkeyValue(monkey[monkey_name].dependencies[1])
            new_target_value_for_a = inverse_operation_a[monkey[monkey_name].operation](target_value,b)
            return findHumnValue(monkey[monkey_name].dependencies[0],new_target_value_for_a)
        else:
            # Expect a to be known, we can now calculate new target_value for b
            a = getMonkeyValue(monkey[monkey_name].dependencies[0])
            new_target_value_for_b = inverse_operation_b[monkey[monkey_name].operation](target_value,a)
            return findHumnValue(monkey[monkey_name].dependencies[1],new_target_value_for_b)

print("Solution part 1:",getMonkeyValue("root"))

monkey_1 = monkey["root"].dependencies[0]
monkey_2 = monkey["root"].dependencies[1]

# Check which branch contains "humn"
if containsHumnValue(monkey_1):
    monkey_known = monkey_2
    monkey_unknown = monkey_1
else:
    monkey_known = monkey_1
    monkey_unknown = monkey_2

target_value = getMonkeyValue(monkey_known)
print("Solution part 2:",findHumnValue(monkey_unknown,target_value))