diff --git a/day21/expr.py b/day21/expr.py new file mode 100644 index 0000000..8b70c74 --- /dev/null +++ b/day21/expr.py @@ -0,0 +1 @@ +eql(div(add(add(add(num(2),num(13)),add(mul(mul(num(4),mul(num(5),num(2))),sub(mul(num(11),num(2)),num(5))),add(num(4),num(3)))),mul(num(3),sub(add(mul(mul(num(2),add(mul(add(mul(mul(add(num(4),num(3)),num(3)),num(19)),mul(num(2),sub(mul(num(16),mul(num(2),mul(num(7),num(7)))),mul(num(3),add(num(10),add(num(2),num(17))))))),mul(add(mul(num(3),add(mul(num(10),num(3)),add(num(4),mul(num(3),num(3))))),add(num(4),mul(num(2),add(num(11),mul(num(4),num(3)))))),add(num(1),num(6)))),mul(num(2),add(mul(num(7),sub(mul(mul(num(2),mul(add(mul(num(4),mul(num(3),div(mul(div(mul(mul(num(11),num(2)),num(3)),mul(num(2),num(3))),num(3)),num(3)))),add(add(mul(num(5),num(5)),mul(num(2),num(4))),mul(num(2),num(4)))),num(2))),mul(div(mul(num(2),mul(num(3),add(num(4),num(3)))),num(2)),add(add(num(20),mul(num(4),num(4))),add(num(7),mul(num(3),mul(num(4),num(2))))))),mul(add(add(mul(num(12),num(5)),add(num(18),add(num(2),add(add(num(19),num(2)),mul(num(2),num(4)))))),add(num(10),mul(num(2),num(9)))),add(mul(add(add(add(num(5),num(2)),num(16)),num(8)),add(num(1),mul(num(2),num(11)))),mul(mul(mul(num(2),num(3)),num(2)),num(8)))))),mul(add(mul(mul(num(2),add(num(17),num(14))),mul(mul(num(3),add(num(2),num(5))),num(3))),mul(num(2),mul(add(sub(sub(add(mul(num(5),num(7)),mul(num(5),num(14))),mul(num(4),num(2))),mul(num(4),num(7))),num(4)),add(mul(num(3),num(3)),mul(num(4),add(add(num(3),num(18)),add(add(mul(num(4),num(3)),num(4)),mul(num(3),num(2))))))))),mul(mul(num(2),num(4)),add(num(2),add(num(4),num(5))))))))),mul(mul(div(mul(num(2),add(mul(div(mul(num(4),num(6)),num(2)),mul(num(5),num(5))),add(add(add(div(add(mul(num(3),mul(num(4),num(4))),mul(mul(num(3),num(3)),num(6))),num(3)),sub(sub(add(add(mul(num(12),num(2)),num(10)),add(sub(mul(mul(num(3),num(3)),num(3)),mul(num(4),num(2))),mul(mul(num(2),num(4)),num(5)))),mul(num(2),add(num(8),num(3)))),num(2))),mul(add(add(num(18),add(num(10),num(3))),add(mul(num(2),num(11)),mul(div(mul(add(num(3),num(4)),add(num(2),num(4))),num(6)),num(3)))),num(2))),mul(mul(num(2),add(num(3),num(3))),mul(num(2),div(mul(add(num(3),add(num(4),num(6))),num(2)),num(2))))))),num(2)),sub(num(8),num(1))),mul(num(3),add(add(num(17),add(num(19),num(2))),div(div(mul(div(num(12),num(2)),mul(add(num(1),add(add(num(10),add(add(num(5),num(2)),num(2))),add(num(4),num(17)))),num(2))),num(3)),num(4)))))),mul(add(mul(num(2),mul(num(2),add(div(mul(add(mul(num(13),num(11)),mul(num(6),num(15))),num(3)),num(3)),mul(add(num(1),num(9)),num(14))))),mul(mul(mul(num(5),num(3)),num(5)),num(15))),mul(add(mul(mul(add(div(mul(mul(num(3),add(mul(add(mul(num(2),add(mul(num(2),mul(num(8),num(2))),num(14))),mul(num(13),num(3))),num(3)),mul(mul(num(17),num(2)),add(mul(add(num(3),num(8)),num(2)),num(9))))),mul(num(4),mul(mul(num(2),add(add(num(6),num(13)),num(4))),num(2)))),num(2)),add(div(mul(add(add(mul(mul(num(3),num(3)),add(mul(num(8),mul(num(5),num(5))),add(mul(sub(div(mul(sub(mul(mul(num(3),num(4)),num(5)),add(num(3),mul(num(2),add(num(5),num(2))))),num(3)),num(3)),mul(num(6),num(2))),num(2)),mul(num(5),num(17))))),add(mul(num(3),mul(mul(num(3),num(3)),num(17))),mul(add(mul(num(4),num(7)),num(3)),num(7)))),mul(num(4),add(mul(num(5),mul(num(5),add(num(1),sub(mul(num(2),add(num(5),mul(mul(num(2),num(4)),num(3)))),num(16))))),mul(mul(num(3),add(mul(num(2),add(num(1),mul(num(2),num(5)))),add(num(2),num(5)))),mul(num(4),add(num(4),num(2))))))),num(2)),num(2)),mul(add(mul(num(3),num(8)),num(2)),mul(num(3),sub(mul(add(mul(num(4),num(18)),div(mul(add(add(mul(mul(num(3),num(2)),num(4)),mul(num(5),num(5))),add(num(11),num(7))),num(2)),num(2))),num(2)),mul(num(7),sub(mul(num(3),num(3)),num(2)))))))),add(num(11),num(12))),num(7)),mul(add(add(add(mul(mul(num(7),mul(num(2),add(add(num(3),num(3)),num(1)))),num(17)),add(div(add(mul(add(num(3),num(12)),mul(num(3),num(12))),mul(add(mul(num(2),num(13)),num(20)),num(3))),num(3)),mul(add(mul(mul(num(4),num(2)),num(8)),sub(mul(num(3),num(13)),mul(num(2),num(6)))),num(5)))),mul(add(num(3),mul(div(add(mul(num(3),num(11)),mul(num(6),num(13))),num(3)),num(2))),add(mul(mul(mul(num(2),num(7)),num(2)),num(2)),add(mul(num(3),num(6)),num(5))))),add(mul(add(add(add(mul(num(5),num(5)),sub(mul(mul(mul(num(2),num(3)),num(2)),sub(add(num(17),num(6)),num(6))),mul(add(mul(num(4),num(4)),num(9)),num(2)))),add(add(num(11),mul(sub(mul(num(2),num(13)),num(7)),num(3))),mul(num(17),mul(num(3),num(3))))),add(mul(num(14),num(17)),mul(num(3),add(add(num(18),num(11)),mul(num(6),mul(num(3),num(4))))))),num(6)),div(mul(div(mul(sub(num(10),num(3)),num(2)),num(2)),sub(mul(mul(num(3),mul(num(2),add(mul(num(5),num(2)),num(1)))),add(add(mul(add(num(3),num(3)),num(2)),add(num(9),mul(num(2),mul(num(2),num(7))))),mul(mul(num(3),mul(num(2),num(3))),num(3)))),mul(div(mul(mul(num(2),div(mul(num(3),add(add(add(num(1),mul(num(2),num(3))),add(mul(num(11),num(3)),num(1))),mul(mul(num(3),add(add(num(2),mul(num(3),num(3))),num(2))),num(3)))),num(6))),div(mul(num(7),num(3)),num(3))),num(7)),add(num(3),num(5))))),num(7)))),mul(add(mul(add(num(4),num(3)),num(3)),sub(add(num(18),sub(mul(num(2),add(num(9),mul(num(2),num(4)))),add(num(5),mul(num(2),num(3))))),num(3))),add(mul(num(3),num(18)),add(mul(add(num(4),div(mul(add(num(4),num(3)),num(2)),num(2))),num(3)),mul(add(num(5),mul(mul(num(3),add(num(3),num(4))),num(2))),num(2))))))),num(13)))),div(sub(mul(num(2),add(mul(sub(add(mul(num(4),num(4)),add(num(1),mul(num(2),div(mul(num(2),num(13)),num(2))))),mul(num(3),num(4))),mul(num(4),num(3))),div(sub(mul(add(mul(sub(mul(num(11),num(5)),num(3)),sub(div(add(add(add(add(add(mul(num(2),add(num(9),add(num(4),num(4)))),mul(num(3),num(9))),mul(num(2),sub(add(num(19),num(10)),num(6)))),mul(sub(add(mul(num(5),num(4)),add(num(5),num(14))),num(9)),mul(num(2),num(9)))),mul(num(2),mul(num(5),num(2)))),add(div(add(mul(sub(mul(num(2),add(add(num(17),add(mul(num(4),num(4)),add(mul(add(add(num(13),add(mul(num(3),num(3)),num(1))),num(14)),num(2)),num(15)))),div(sub(div(add(num(8),mul(num(2),sub(mul(add(add(mul(add(num(20),add(mul(mul(num(4),num(2)),num(8)),div(mul(num(3),add(mul(num(3),num(5)),sub(add(num(2),mul(num(3),sub(mul(num(5),num(5)),num(2)))),add(mul(num(3),num(5)),num(4))))),num(3)))),num(2)),add(mul(add(num(3),num(4)),mul(num(5),num(5))),mul(num(3),add(num(6),num(1))))),div(sub(mul(num(2),sub(div(add(div(num(20),num(2)),mul(add(num(16),num(16)),sub(div(add(div(add(div(mul(div(mul(num(4),sub(add(add(div(mul(num(2),add(add(num(8),sub(add(add(num(3),num(4)),mul(num(6),num(4))),num(2))),num(12))),num(2)),num(14)),add(mul(add(add(mul(add(num(5),num(2)),num(14)),add(sub(num(15),num(4)),num(1))),num(3)),num(4)),mul(add(add(mul(add(mul(num(2),num(5)),sub(num(8),num(1))),num(2)),mul(mul(num(3),num(5)),num(3))),num(4)),num(3)))),mul(num(7),num(13)))),num(2)),num(2)),num(4)),mul(mul(num(3),num(3)),sub(mul(sub(div(add(sub(mul(num(8),mul(add(mul(num(7),num(5)),num(8)),num(2))),add(mul(num(10),mul(num(5),num(4))),mul(num(3),add(num(5),num(2))))),div(add(sub(mul(num(2),add(add(mul(num(4),div(mul(num(4),add(add(num(4),num(3)),div(mul(num(2),mul(num(2),add(num(6),mul(num(7),num(5))))),num(2)))),num(4))),mul(num(2),num(4))),mul(sub(div(add(div(sub(mul(add(mul(add(add(num(20),sub(mul(sub(mul(num(5),num(2)),num(3)),num(4)),num(5))),mul(num(5),num(2))),sub(num(12),num(3))),mul(add(num(8),add(mul(num(10),num(2)),num(19))),add(mul(div(add(add(num(5),num(1)),sub(div(mul(add(num(2),mul(div(add(sub(sub(add(num(11),add(add(num(1),mul(num(3),num(2))),add(num(9),add(add(num(3),add(mul(num(5),num(3)),add(num(1),mul(num(2),num(7))))),num(4))))),num(4)),num(17)),mul(num(3),num(3))),num(4)),num(5))),num(3)),num(3)),mul(num(7),num(3)))),num(4)),num(5)),div(sub(x,mul(mul(add(mul(num(2),num(6)),num(1)),num(7)),num(3))),num(2))))),num(2)),mul(mul(add(num(12),mul(num(5),num(7))),num(4)),num(2))),num(8)),mul(add(sub(add(sub(mul(num(4),mul(num(4),num(2))),num(9)),mul(num(2),mul(num(2),num(6)))),num(7)),num(1)),num(13))),num(4)),mul(add(mul(num(5),div(mul(num(2),add(mul(num(3),mul(num(4),num(2))),num(5))),num(2))),add(add(add(num(4),sub(add(num(2),mul(add(num(1),add(num(3),num(4))),num(4))),mul(num(3),num(3)))),mul(num(3),num(4))),add(add(num(12),num(18)),add(sub(mul(num(3),num(3)),num(3)),num(11))))),num(3))),mul(num(3),num(4))))),mul(mul(num(5),num(5)),mul(num(5),num(5)))),add(num(4),mul(num(3),add(mul(num(5),num(3)),div(num(12),num(2)))))),num(2))),num(10)),add(mul(mul(num(3),num(5)),add(num(4),num(16))),add(mul(add(num(15),num(4)),mul(num(5),num(5))),add(mul(num(5),num(5)),add(mul(mul(num(3),num(3)),num(3)),num(1)))))),num(2)),mul(mul(num(4),sub(add(add(num(9),add(mul(num(5),mul(num(2),num(4))),num(3))),add(sub(mul(sub(mul(num(3),num(3)),num(2)),div(mul(num(7),num(3)),num(3))),num(7)),add(num(15),num(18)))),mul(num(19),num(2)))),num(2))))),sub(num(10),num(3))),mul(add(mul(num(2),num(5)),num(1)),mul(num(2),num(11)))),add(num(2),num(7))),mul(num(2),mul(num(2),div(mul(num(2),add(mul(add(add(add(num(1),num(13)),num(3)),num(14)),num(2)),mul(num(17),num(7)))),num(2))))))),num(2)),sub(mul(num(5),num(5)),num(2)))),mul(num(12),num(19))),num(3))),num(3)),mul(mul(num(5),num(5)),mul(num(2),num(3)))))),num(4)),mul(num(5),mul(num(5),add(num(1),mul(num(5),num(2)))))),mul(num(3),num(3))))),mul(num(2),mul(add(div(mul(sub(num(19),num(6)),num(4)),num(2)),num(3)),num(2)))),num(3)),mul(add(add(mul(num(2),add(add(num(3),mul(num(2),add(num(10),mul(num(3),num(3))))),num(11))),num(5)),mul(num(12),num(4))),num(2))),num(2)),mul(add(num(1),mul(num(2),num(3))),add(div(mul(mul(num(3),add(num(1),num(10))),num(4)),num(3)),num(17))))),num(4)),mul(mul(num(4),num(8)),mul(add(num(7),num(4)),num(2))))),mul(num(8),add(add(mul(add(num(9),num(2)),num(3)),mul(num(4),num(4))),num(4)))),num(2)),add(add(mul(mul(num(2),div(mul(num(2),add(add(num(1),mul(num(3),num(12))),add(add(div(mul(div(add(mul(num(2),add(num(8),num(5))),mul(num(16),num(2))),num(2)),num(2)),num(2)),num(18)),add(mul(num(2),num(8)),add(num(5),num(2)))))),num(2))),num(3)),add(mul(num(2),mul(num(2),mul(add(num(3),add(num(2),mul(num(2),num(3)))),num(2)))),add(num(2),mul(add(mul(num(5),num(3)),mul(num(4),num(2))),num(3))))),add(mul(mul(sub(num(12),num(3)),num(3)),num(6)),add(add(num(7),num(12)),mul(num(3),num(2)))))),num(4)))),mul(num(9),sub(add(num(19),mul(num(2),num(17))),add(num(2),num(4))))),num(3))))),num(2)),mul(mul(add(mul(add(mul(add(num(2),num(8)),mul(num(2),add(sub(mul(num(5),num(9)),num(6)),num(14)))),add(add(mul(num(17),num(7)),mul(num(4),mul(num(2),sub(add(num(20),mul(num(2),mul(num(2),div(mul(div(num(14),num(2)),num(2)),num(2))))),num(7))))),mul(num(2),mul(add(mul(num(13),num(2)),mul(num(3),div(mul(num(7),num(2)),num(2)))),num(13))))),num(4)),mul(add(mul(num(2),mul(num(2),add(num(6),mul(add(num(3),num(4)),add(num(4),add(num(4),num(3))))))),add(mul(num(13),num(5)),mul(num(3),num(8)))),num(7))),mul(add(add(mul(num(3),mul(num(2),add(add(num(3),num(3)),num(1)))),add(mul(add(num(15),num(16)),num(2)),add(mul(mul(num(2),num(5)),num(3)),num(5)))),add(add(num(2),div(mul(num(11),num(2)),num(2))),num(15))),num(3))),mul(num(13),add(mul(mul(div(mul(num(2),add(num(19),mul(add(add(sub(mul(num(2),num(17)),num(9)),mul(add(mul(num(2),add(num(4),num(7))),add(num(2),num(5))),num(2))),mul(num(2),mul(div(mul(num(2),num(11)),num(2)),num(3)))),num(2)))),num(2)),num(2)),mul(mul(num(10),num(4)),num(8))),add(mul(add(mul(num(5),num(5)),num(4)),add(add(mul(mul(mul(num(2),num(5)),num(3)),num(5)),mul(add(num(5),mul(mul(num(3),num(3)),num(2))),num(7))),add(mul(mul(num(5),num(5)),add(add(add(num(4),num(3)),mul(num(3),num(4))),num(3))),mul(num(2),mul(num(2),add(add(add(mul(num(2),num(13)),mul(num(4),num(7))),num(19)),mul(mul(num(4),num(3)),num(3)))))))),add(mul(mul(num(10),add(add(mul(add(num(8),add(num(4),num(5))),num(3)),num(8)),mul(mul(num(11),num(2)),num(2)))),mul(num(5),div(mul(add(num(2),mul(num(3),num(7))),num(2)),num(2)))),mul(add(add(add(num(7),mul(num(2),num(3))),add(mul(num(5),num(2)),add(num(4),num(3)))),mul(num(2),sub(div(mul(mul(num(2),num(3)),num(7)),num(3)),num(1)))),add(mul(add(mul(num(17),num(17)),mul(sub(div(mul(num(2),div(sub(mul(mul(num(2),add(mul(num(2),num(3)),num(5))),num(5)),num(16)),num(2))),num(2)),mul(num(3),num(3))),num(5))),num(2)),add(mul(add(num(9),num(4)),add(mul(mul(num(2),mul(num(2),num(3))),num(5)),add(mul(num(3),add(num(5),num(6))),sub(mul(add(num(3),num(6)),num(3)),add(num(5),num(2)))))),mul(add(mul(num(3),mul(num(7),num(3))),mul(mul(num(2),num(5)),mul(num(19),num(2)))),num(2))))))))))) diff --git a/day21/input b/day21/input new file mode 100644 index 0000000..67ea229 --- /dev/null +++ b/day21/input @@ -0,0 +1,2037 @@ +mlgm: dssb * wjbz +ptqp: 2 +ncnt: 5 +hzfs: gbsq * fbbz +htwj: qcnb * rlmh +qlzl: 2 +hrfp: 5 +hbsl: ddqr * ffgz +vcsd: 2 +pght: 17 +mvwb: 10 +mmpr: 3 +mhhm: rcsd + cmbv +ldjn: 4 +rjcv: qqbm / qlgp +hbcq: hmtb * mzsr +ctgj: 7 +qzjg: mwdq * fdfd +bpgs: 3 +qfpf: 2 +ztmc: 3 +thpt: lsrn / wsqj +zwmj: tdsz * drch +btgl: 3 +jnpp: hdpn * hrfp +lbbz: cfww * prtb +sbqc: rmrr * ppms +fprb: 3 +hvmh: 8 +sznb: 9 +nstl: fmcd * zwml +gwtg: 3 +rmtm: 14 +dprf: nccf - jnwn +gtjs: gfgq + shbd +mnjj: 2 +dtdm: 6 +wchv: 4 +tqjb: tncc + gpvj +zcwf: 12 +nhrm: dvwr + htlb +wrmb: 19 +rjrr: 3 +dcpr: 2 +zpqz: 2 +bgvb: 3 +pdrt: zctw + npqm +ftzd: 15 +nvdv: pfmm * lpjf +wbmq: 5 +cbnh: pgdp * fnnc +ldvc: 6 +bbrw: glvt * hvqw +gnwd: fdmq * gfth +tvwm: pltv * nrmf +gcch: 4 +wpnl: 3 +rhbv: wtpl / vtcg +flcm: 3 +tcwd: 2 +zlph: 4 +mddn: 5 +gqrt: nnpd * ctnm +qsjp: fzdp + vzsg +pwlw: 3 +fgzn: 4 +fpfj: 18 +jfrg: 8 +pgrl: dnld * pdmm +wdcw: jdpt + zsqb +nnll: dcmm + cztp +vvjn: pmrj * qzjc +jnbb: 12 +dwzs: 3 +lfqp: 5 +nlzp: pcgz * mjpt +jbrz: 11 +mvfc: cfjh * tcll +ntst: trnf + swwz +brhf: mcss + lrzj +fmjt: mhjp * zlph +gpvj: qnrh * shpm +nnjb: 17 +hntz: 2 +wzsr: rgwr * rwgf +rsjz: sfnv * dwnf +qpdl: prql * thwj +hqds: 2 +swlc: 3 +zzdt: 2 +vsgq: sqtl + vvdr +zwdn: vpgz + mmrw +hmmf: vgbc * vgjp +gfrn: 13 +cfww: 2 +plvz: qfmq - lqlt +nglb: bfdv * lrmg +vdrs: shjn * rtnv +ttjg: jnbb * chhb +jlsm: rbwl * lnns +zhmh: czsn + zdht +sjqr: pclc * lmrj +dsqb: 2 +vddn: 5 +sjzh: 17 +dcvl: nlbr * gszg +wwvf: pjdl * gdrj +bbbj: dwsq + chgm +mssl: lcgh * gphz +grfn: mgzr * hnvz +spqt: czph + shps +wtsh: 18 +qblr: qflh * cmwq +czng: glsq + tclf +rcbq: jjlm + bwst +dwmz: vmrg * zcdd +vzsg: lgrr + lhmf +flvt: qjzj - dtdm +lgrr: mbmr * hfww +wlmt: htrp * pgzb +dzln: 2 +tjmw: 1 +grpq: 10 +szgj: rhjh + cpjw +rhcc: 3 +rwrb: btvv * dqrg +ncll: gzrq + mffv +tcll: jpsb - nqwd +rsrh: spds + vcpq +gsnv: 2 +rphm: 12 +bzqg: bpsh - jvfh +jdvh: 4 +zpcw: brfj + btmp +mfld: ttjg + gtws +dzmg: 2 +bghn: gqtg + gvff +rlqq: tbzl - lcpv +mlcg: 3 +rdnz: rdnp + jfdb +qqvt: 4 +wvwh: 13 +mljl: nsbg * bfvg +zfhs: qnqc + pztt +rqdc: nflf - prhq +root: rcsj + zfsf +wstc: rpbc * gwfp +lnzd: dwwp + czng +zlcr: 3 +hbvv: svdn + jzdg +vsnl: smqm + tptg +ldzd: 6 +wpsg: jftj * ngrw +wgjf: 3 +npqm: gbvt + njnf +rwjb: 3 +nnqd: 4 +rdlm: ljzj * hcns +lqrg: ntpc * pbwb +tpqw: 8 +lsrn: prgt * dmtc +hlfj: hqds * hgvl +pwrh: 3 +vtcg: 2 +fnnc: 2 +csfz: 11 +nzbn: bmqg * fwrp +nqcg: 5 +swzv: wdft + ljtt +tbtn: nzbn + wzcn +twff: 2 +rndm: 2 +tdsz: 17 +qmzh: 20 +gstp: vqpd * ttnq +ncqz: dlpm - ptgf +ctrq: 2 +bnsh: tvnr + lfcw +lmdr: 2 +chps: 16 +glhl: ghvv * jqsd +qmvm: 3 +njgm: vjgn + tpcn +qtjf: jplf + tlnw +qnqc: hssv * wrmb +prtb: 7 +ncwg: 12 +flqr: 2 +wdrv: 5 +pmgn: sfsj * wgfl +vmrs: 5 +pqmf: trqq / blsb +rmjs: 3 +qpvr: fmwn * dlpp +pqzq: snzz + vldf +hblv: mqsg + lrgs +dsjl: rdjh + lfqp +sspw: nswz + wcgw +nngg: 4 +qzsv: ggdg * tdrt +mshb: cbgn * pqjz +vnqg: 3 +cmbv: rfhv + ljdn +swsm: 4 +vtbt: 4 +sjgw: 3 +lnwf: dbbv * jvlg +whzm: cfrr * qrpw +vtsq: tbsr + mgnl +bmzt: 6 +bcpz: 9 +vjvd: pzqq * wgjf +dwnf: bpnp + hlqb +dlws: fthn * mqmd +dwtj: bdvl / twtm +pcgz: 3 +lbpv: jvtt * crrq +vbsw: 1 +wqnm: mzqb + hjtw +wprh: 3 +cpjw: 6 +pvwh: gnvg * gtsh +hbmp: jzmc + mctq +jrgj: jsdf * mtgd +dhgt: 5 +bbgt: 2 +ffgz: qqdd - phrz +zbms: 3 +pgwb: zrfn * gvhb +bsrb: zrtn + dcvl +mqzr: tbnw * hdgz +tmlm: 3 +shmz: 8 +dvjt: 3 +fqnd: lpbq * wjqv +vtvb: dvtj * nltb +bscm: 2 +lhjl: stns + rgnf +pzqq: 3 +wnqv: vwbt + vjwr +qmsc: bshb + phqn +mjpt: 4 +bmqg: pfff * rndm +lhmj: pmrz + rdlm +mmrz: rqmg + cbgc +tgsn: 2 +tcpc: 3 +wgcw: gqrg * twmj +lvsf: qwwh * qrmn +qjpj: mljr * lpdb +hjlh: lwgr * jbth +tdrf: 1 +grdm: 3 +zddz: dztc * wpsj +lnwd: 2 +nflf: fqnd * flvt +stgz: 4 +bjcg: bfdb + hbmm +zsqb: 1 +vcgs: sdwm * tgqs +rmdl: mppz * dslv +pjlw: flrs * lhtj +zzvn: brhf + qcdg +wbzw: sqsh * gwgz +jnnw: cjwj * zffj +gpzz: ltgb * zlcw +dpnb: prvr + hwgh +lwpw: 1 +npnz: qcsv - hpbn +ppjr: 20 +bqcp: 2 +lpmg: 13 +rdhl: jtqc + pvbc +zctw: tlqq * pnrq +wnvw: vczv + zbpn +clwz: 2 +pbzv: 2 +dbbv: 3 +phqn: wfgw + qbwb +fcvz: dcbz * vsnl +ltzg: thpt - wlhl +pdwg: qbrv / qbzz +tnzd: vffw * jqdj +fgfd: 2 +fvld: 2 +sjfc: tvvs / npff +rbfg: 3 +pclc: 13 +jlfh: qdrp + cjlc +lsmd: 2 +zrtn: whzm * ndsl +chns: lqlr * cjjn +cwdd: 4 +fspj: dtts * jmnr +hhms: sbtw - vsnj +qgph: 3 +slmq: 7 +btzq: sqqv + tqpq +pmjs: wnvc + dhjs +pwfv: sczh / jcsh +zvzj: 17 +lmrj: 5 +prgt: gpsz + zffw +dlpp: mptw / tdrd +cgcv: 2 +qndw: 3 +mgmm: 4 +brcn: 2 +hnmc: zfnz + dmqm +sbnn: 5 +tpcn: prqp * spqt +pdmm: 4 +mdvd: 5 +lzhv: 2 +zvpr: 1 +qbrv: fghj * qdgn +vdcr: 5 +gzcg: 3 +qnfp: vjfs + dvbg +mbnw: rtzt - zvcq +bdtg: rfts / wcsz +tncc: zznh - jgml +trrg: 16 +chgm: brcv * vqht +mqmd: 4 +slpg: gsnv * qqcp +rjgf: 3 +vpgg: pdwg + wprn +bzpc: 13 +pnhr: hwht * vphq +chfj: whqw * qzjg +chhb: 5 +ztcz: qhzv + dwdz +dcmm: 3 +shbd: fbfq + shlt +qtmg: jjvz + ctpt +ldgj: 2 +cwlt: mnzl * qgph +twbh: wbmq * jbjh +lrqd: 2 +csnr: 5 +fwwh: 3 +pngg: bgwh / lmgh +qppw: vsnh / zpcw +prmv: cpvn * nqcv +hsdf: rvvt - tvmf +zvcq: tnzd - mdth +zfnz: qtjf + tvwm +jwsn: 2 +whgr: mvhg * fmlt +fthn: 2 +dfnq: 4 +jmrv: 2 +znqf: 2 +zrtw: gpvp * lswh +svfd: 3 +rlqt: hjmr * grdm +smqm: rdzs / zvvl +hdpn: 2 +dwwj: mnnf + crst +mpfp: nwgq + wcmp +btmp: 7 +szgd: smjw - fjhv +dvnz: 3 +grnc: 5 +pbwb: 9 +jdpt: 5 +dvwr: sjfj - sbvb +lcpv: dbjq * qddj +whdh: 3 +mvhg: 3 +tvtm: tpzh + dgnj +qnpj: 3 +rlmh: 5 +jtqc: htsm * rlqq +mgvq: tlqt * mbnw +hmlv: 1 +qswc: gzwt + htzd +tslb: cwlt * lpwr +cswf: jghl * zszj +pmmr: rlfc * mssl +rbdb: 3 +wwbg: 17 +jbbv: 2 +vhvc: wssb * rhfw +psbd: npnj * dwwj +vjnr: wnvw * szmt +trdw: ctqv + dqcn +fpjt: vcgs - lqnp +tvnr: hsdf * gmnz +szlp: 2 +nmwp: gfqt * hfjz +trmb: 4 +gsvv: bpgs + hsqw +qvbv: 3 +psbv: 9 +qnrh: tnmn + vlgm +nqtd: 4 +bhqn: chhp + mfst +vvgb: csqq * gfcb +qcdg: bfvr * pwlw +bhwr: zzwv * rrjj +gvqq: 3 +tbjm: pjzl * srpt +jlhz: tmbs * rdvd +cwpb: tffm * jlsm +qmcs: 3 +nvht: 4 +flnv: jhvw * snts +hdnn: nnjb * rncp +vpfn: 2 +nncq: zjtv - sndh +qmrn: cgwh * sslp +smdv: 5 +tzmg: qgcn + jllc +rhfw: 7 +wqtf: 7 +ntgd: 4 +gddd: jpfm * fvmg +gwfp: 3 +sndh: 7 +zwml: 8 +dlfm: fjgm * qwsm +wlgn: 7 +ggdg: 2 +ccrm: 10 +fwfq: 11 +bdgj: 3 +fqpl: 16 +jvvt: 3 +hdgz: rpfs - mddc +gddl: 1 +jztz: 3 +pgdp: mvfc / hzsn +vmhl: llnt * qrst +qdjm: 2 +plds: 2 +zfvl: 5 +qmhp: szwn - qmcs +dtpz: 11 +cpvn: vgrj + hvmh +lzcp: nnqd * lzgc +qvvs: 1 +ngjs: 4 +jbqv: 6 +pfmm: sznb + rzsc +prvr: 7 +fbfq: 4 +fjgc: 8 +zcmz: 17 +nhvl: 2 +dsjd: mlcg + tpqw +zcbb: 3 +mnnf: 4 +wjhq: zfhs * bzfw +mmqn: fmrw * gllr +dmcc: 5 +zfrn: 4 +phrz: qgmv * hhnt +qfnr: 2 +btgd: 13 +gnrh: rdjz * nmbc +rgnf: lmhr * cfrf +rmvm: 5 +zgzh: dpnb + wfdd +jsqn: 3 +clhv: dwtj + btpf +nfpq: 2 +twhs: 3 +jvwb: mcbz + bjsl +dvtj: 13 +qsgq: 5 +ghvv: 4 +rzsc: 2 +qvfv: pqzq - cdth +hzmt: 4 +mpbm: vgjj + gfzd +wclq: rbdb * wrvl +lmwb: tdlw + wscg +rdjh: vstg * dpcg +qzlv: 4 +gslh: 2 +hhch: tmzs * qggg +rhlr: 8 +lspc: bsnr + wchv +gdrj: prnv + wcvd +wqjg: dptg + vfsg +nvrp: 4 +rdvd: 3 +qjwv: jddt * tfbh +shcw: httv - fmjt +lnmh: njfj + dqsc +zdht: 3 +zscv: 4 +msqs: gvfj + btzq +wpmg: 4 +jtht: hlcd * whnd +hljq: phsl + sfgc +jhts: 1 +gtjt: fqjb * qrpj +vjwr: tnwv * gtjs +hswd: 5 +tvvs: sjgj + qlfs +wlsf: sjtm * flpv +crwl: jgpw * fnzw +zzjn: 5 +fbzw: qmrn + lmbf +gptp: zcbb + tqlr +hpbn: 3 +vqpd: vtvb + qztv +fghj: shwg * hbvv +jcdg: 4 +crst: 3 +pswd: 2 +zrqm: pjlw + slgc +zfgq: 2 +fdfd: jpqb / zmcl +ntfc: qdsm * fvld +swwz: sbmj + sdrn +rlft: jfhm * pbwn +dgmc: 2 +qftf: 4 +wvgd: rzsv + qpzq +fnqc: 8 +mcqn: 10 +htzt: 5 +ljzj: ncll + zzqf +tlnw: mrzn * flnv +mbbg: zztr + zstf +sldc: 2 +htzd: 4 +psfr: bzfm * qhps +mppn: 12 +ltqj: gftl + cjbs +vplf: 2 +dhpr: 5 +pqjz: sqtf + mgpr +wsjh: vbzp * spvq +sllp: 2 +rdnf: fjtg + bnff +hbvq: mdvd * vmrs +qbsd: shcw * bhmf +jfdb: qzmz * tbtn +mhpc: 5 +sbtw: rcbp * tnbp +jvfh: 3 +njvw: 2 +rbwl: zstt + vhwd +mbmr: mcqn * lqss +qwtt: 5 +sbwq: 20 +prhl: mlls + csch +hppv: rhbb * shqz +nmdc: nncq + qvvs +vdmp: pshg + nqcg +nwcl: vsdw + ztng +bfvm: 2 +gvhr: 5 +trhc: 3 +tnwv: jztz + jqjn +lwsf: nvht * fpfj +prjq: 2 +tzhf: pzsq + jjmh +vpgz: 2 +ptbj: tdvv * nstl +vlgf: 7 +sfsj: 5 +gvff: vjvd + dwjf +tqhr: 18 +mffv: whgr * vnht +mrqp: 7 +ssvp: 4 +tflv: 12 +bhwn: 2 +qvqm: chpb + vtsd +cprd: 3 +sntc: 4 +psfj: 1 +dpjc: swwv * bmzt +lpft: 3 +gjvr: 5 +snts: 9 +jrdw: 3 +ztfh: 3 +smlv: ldvc * nlzp +jgwr: 14 +znpv: ljqw + gzlz +mmzh: htzw * csbn +llnt: 2 +sczc: hvlg * lrqd +thgb: bmnw * svfd +bshb: npqr * dnpf +rtfc: 3 +mrzn: ztcz - wdqz +brfq: gddm + lzfs +smjh: 5 +gdgj: vfbb + vrtp +nvfr: djwn * dsrt +nrmf: tlwr * ztfb +vjbm: 2 +vcpq: 9 +jqzn: pvph - wpsg +chpb: 18 +fjdr: lldn + jccs +htmz: 4 +bpbg: mcsc * tvhv +pnhc: 7 +spds: cnpv * vtbt +pmrj: qmhp * ltdp +rpbc: swsm + tmqj +hdff: 2 +btqt: 17 +wtjg: 5 +cqpd: nnll * clwz +wpns: 2 +lqnp: 2 +gqrg: ntst + rcbq +zstf: 5 +hsnc: 2 +vnlt: 14 +pnsn: ghhc * lbzf +thwj: bdsw - pgwb +pttq: dvdc * rvbt +svdn: pmjs * swlc +qwvh: 6 +dvnb: wptw / rsbs +chwj: mfnn * pmss +shgs: 4 +zfsf: cvmj * hfbg +wbgs: 11 +gfqt: 3 +dppj: zbbt * mzhc +vmzm: bgfl * wtpr +nljh: pbzv * mwtl +tnmn: stgs * bjcg +slwg: vlcw * gzvg +gdnd: mshh + dfpp +rgnz: hntz * dmjr +dnqj: gvqq * lbcr +cmzj: 3 +nnnn: jntt * cwch +wwqb: 5 +pscq: nnpb + vvjz +wscg: 14 +bfrg: 3 +lsng: wvpz * wgps +qhnv: nmgs * szsc +hswm: jjdb - sngh +cwch: 3 +rmlg: dgmc + lnwf +pmls: hsnc * qcqm +dpvl: rbpm * vddn +lwwq: 4 +vphf: 2 +djwn: ncpc * bncg +dsvb: rcnr * zfvl +tmbs: mjjt * ldjn +hgpp: 2 +mwdq: 2 +qwwh: drhc + vtsq +gfcb: 3 +hnvz: 2 +btnn: 13 +lhmf: qvnp * mhhm +nnpb: 5 +hsjl: wdfz * zdpw +bnzm: 2 +rpff: tphg / hzmt +hzsn: 2 +btvv: 3 +mtgd: 3 +ddhf: swsd + ghhh +prnv: pltz + lwpm +zmrz: 7 +nglg: 4 +lmqj: 2 +jzbb: 4 +rvcs: 3 +wzfh: hswm + lfcr +cjjn: crwl / bgvb +sqrj: qttr * rfdz +hnpz: npvs - swbl +qlfs: zgfr * hhms +hfww: htzt * jlpp +vhlg: zqld - qpnc +pnrq: zpgc - wdrv +zqlb: tgcm * zjqf +tlqt: 2 +znzt: 4 +tmqq: czzb * nlhw +jsdf: bhqn + tbvn +tbzl: hnmc / vtjt +ftpf: bdtg - wrvp +qhzv: zhww * zfrn +qctj: 2 +qztj: 11 +fmvc: 6 +szhl: twbh * lqzn +ztfb: 2 +bphv: dzmg + mcpt +lmhr: 2 +hmtz: 1 +jftj: 4 +wrvp: nhpg * gbjf +rfdz: 5 +wcjw: 10 +qbwb: 15 +dqrg: 3 +nqcv: mwjt * ccmh +jplf: crpm + zmbc +spvq: 4 +fpts: 3 +rsbs: 4 +mgzq: 3 +cfrr: 5 +cfft: sddg + mbhc +ctvj: 5 +scjl: 3 +srpt: qswc * zrqm +prqp: 3 +dtsz: 6 +mvqd: wlgn * lmvf +vncb: jcgg / hdqs +qzmz: hpmc + cswf +tzzr: 5 +zrfn: jhtm * mhpc +ffvf: 3 +hqwp: 10 +wdqz: 9 +mspd: rdnf * pgmc +qbzz: 2 +rdsp: 3 +lwbp: vwcb + npbl +vwmt: 3 +mbsm: 2 +jzrw: 2 +vlgm: brcn + dhpr +jfrm: qmvm * qgmp +wlwm: 6 +blsb: 4 +tlwr: 5 +mwss: dwzs * shgs +wdbp: 2 +lsfd: qslr * jfbv +zzqf: 4 +nswz: lppg + jdqs +rpwm: 2 +srzq: sqwj + tzmg +tnnl: zrgq - ztmc +pmqb: gtjc * mmgt +lpwg: 1 +zdjz: 4 +rjdd: 2 +mjnq: rgnz + bzgv +rgwr: tqjb + nljh +bljn: vdcr * bbnj +wjbz: 3 +hdrl: 4 +ffms: 3 +lrth: 2 +hqvc: 5 +jnwn: jdlg + rbrt +rjqm: dsjl + rmfj +wnzl: fbbg * hsdc +wdft: 4 +qwvg: 2 +wpsj: zrtw + pbwr +llzs: fzhr * cbjm +dfzs: ftzd + nwsb +sjtb: cmzz * lgfh +htsm: dsvb - ffvf +mfjn: 12 +wjcm: hhch + hvlh +wnrb: zrwt + qcrn +ljdn: brfq * ffvc +pvph: mfqr + hjlh +jfhm: 2 +zcbt: 4 +vnqc: rzcl + fwsw +rlmq: sswz * spjv +ltcp: 11 +qhjn: psvj * gnwd +jbjh: 3 +jmvh: 14 +wcdt: bfvm * vsgs +mrrc: 3 +rtnv: 9 +zgfr: pwrh * mgzq +fwtt: stgz + vpgt +mpzf: smjh * qtgf +tdlw: dwmz / jmrv +gfgq: 4 +jwrp: 5 +mjbf: 6 +rgtm: wgcw + vflt +wcvd: tvdr * mwss +lszr: 16 +ggpt: 1 +jccs: mmqn + tjmw +bpnp: sbwq + hbcq +hrhw: 2 +vwbt: 6 +njst: vhlg * wprh +qtgf: 5 +mpqb: 3 +trnf: ptlc + rqdc +hjtw: 2 +wjpl: zgzd + qbqc +bmnw: jqqj + vmsf +lcgh: 5 +snhj: mbsm * msqs +qdsm: 11 +jfbr: 5 +qhmc: rfpg * slpg +fbzr: 3 +zcdd: mcgm + tflv +tsbz: 4 +nflz: 3 +dbjq: nqtd * rhlr +jbth: 14 +wrsq: 2 +czsn: tsbz * mqwv +fnzw: 3 +jlgt: 2 +dslv: 2 +rhjh: 5 +fmzz: vqll + psjp +tmzs: 2 +grtw: 17 +ftlg: 3 +ptlc: gmvz * mnqv +pmss: 5 +qngc: 1 +gbsq: jnpp + bngb +gvjw: rmdl / hhtd +flrs: 3 +bgpg: chps * vqgq +ffhs: 3 +zfgh: sbjf + lgpj +bhmq: wbwg * gldd +gcph: 2 +ghhh: ctww + hjfz +scpn: zrgr + hqwp +lhrd: ftpf / nlsm +nntq: zgvw - fqpl +bwrh: 3 +bvrq: 4 +wfgw: gjtl * mrdv +shlt: 3 +rmfj: mppn * fgzn +ddqr: 7 +dstt: 4 +dhjs: btnn * jddd +prhq: rsrh * cwsl +nwgq: lptq + wzfh +mnzd: 2 +vzqf: qghr * mrbt +jhvm: tggw + tvtm +mbtw: 1 +qgmv: mfld + szvl +chzd: 2 +pwlt: mdhl / fjgc +vqlg: 2 +chgs: jsmm / whdh +mfcp: 19 +fmqp: hbmh * ppvl +nqgz: 4 +ppvl: 2 +bfrv: 3 +zcvw: 3 +bzds: 9 +dmtc: 3 +lzgc: 2 +pgzb: znqf * bhzh +jqdt: 17 +dgnj: 5 +sngh: 4 +qjzj: lstj + llqv +mwqr: bbbj + bsrb +nvdz: dqpd * fspj +hzbm: 7 +mjlf: tqbh * wnqv +dzpd: 3 +mvhr: dprf / dfnq +lhnr: 7 +qlns: 13 +btwg: gsfj * mrvr +dflq: flqr + bbjs +jtrn: qplb + dfzs +crlt: 15 +rbgm: lpft * pcwf +pnsf: 2 +dwwp: 9 +znmp: jstc * zrfs +ppwb: 2 +wlfc: 19 +qcsv: bnhn + sqtc +cbcc: dpmr / fsmf +vffw: 5 +bfdb: 4 +lfcw: rjqm * bphn +wwqv: pwtq * hbvq +bvrr: 16 +hvqw: lgpg - bgrt +rtql: 1 +fndt: 5 +npqr: 4 +gnzd: gjvr * gmgz +qwfw: hbbw + vzqf +mgnz: ldlm + jsjt +dshq: 3 +stgs: 2 +swwv: 2 +wtpl: htrz * csfz +fzhr: bmbf / mrjm +cgmw: wqrl * btgd +ghhc: fddg * vdmp +mnzf: szhl * crlt +lsvj: 2 +pbsn: rmlg - fbpw +jlzq: 11 +zzwv: 2 +mrvr: 12 +mdhl: mmzh - gwrd +wpmr: 3 +bdcw: hlsw + qhwt +lmbf: sfmr * wzfv +hndn: 18 +lqss: rbvr + mnhz +cvmj: rvzs * jrgj +qcnz: 10 +tdvv: pwfv * dsqb +gtgn: tmqq + jgwr +wqbj: mnjj * bljh +jcsh: 2 +dlpm: trdw + tslp +ztng: wwpj - ghhp +pprv: 10 +zsmv: 4 +gwth: 3 +vgjj: mhsn * rjrr +hsqw: dcpr * wfms +npnj: 3 +hvsj: 7 +hfjb: vpgg * sjcm +npff: ccrm - csgb +sthj: 2 +fjtg: rjsn + jwqb +tpst: psfr * dcqv +tpnf: hbtc * pwqj +zfmb: humn - znmp +qbqb: rbgm - rjgf +tjlg: 2 +gtws: wtsh + tlzt +pltv: 2 +ntws: wgzt + pgrl +tbpg: 2 +qdrp: zzfs + vbqr +fvjs: 5 +jcqr: 2 +tccg: jphm * jbqv +gldd: pwtp - vhqg +vtbn: qvfv - sjzh +znbt: mbzb * cspv +jdlg: rwmw + mjnq +fbbz: wrqs * jlzq +jsdz: 2 +glbm: jfbr * mddn +tvdr: fvjg - thgb +glvt: 9 +lptq: wqnm * rrpf +vsnj: glhl * zssl +llqv: 6 +fqzs: qzsv - zstc +mzjn: fgng + fhvd +gqtg: 13 +bhww: gzwj * rjdd +hhqv: ztwn * hnnc +cpbz: hdnn + sqrj +smmr: mmrz + jmvh +wdrp: 5 +qqdd: pmls * rsjz +nwnp: ddww / vmgb +czzb: 2 +mddc: nhrw * bjrb +rqmg: hmlv + mwhj +qrgf: tcwd * tprs +zshv: vnqc * rbfj +vldf: ghzr + wnrb +rprp: tfbz + dstt +rvzs: lctp + zshv +lqrb: qltm * rzzf +crrq: jtht + pbsn +hdpb: 5 +ldfb: bzbl * pnlz +mppz: qwhr + hsjl +rqqn: vsgq * wzth +bjrb: ncrf + bqgg +mmrw: cjzd + bhsh +lqhf: 4 +gzsm: pjwm + qmsc +hvzn: 2 +qgcn: 4 +rznw: 4 +cppm: 17 +rfzs: 3 +rfts: fdzl + qpdl +hvlg: 19 +hbbw: vfwh + pdrt +gwrd: fmlp * ptqp +dpmr: sbqc - bbrw +vmgb: 2 +lmgh: 2 +rlfc: 5 +rqzz: 6 +nlbr: 2 +pnlz: 3 +cdbz: 5 +ltsf: lnzd + jtrn +qrmn: 2 +hsdc: 2 +tmtn: 19 +pgmc: 2 +jsch: znzc * grtw +jstc: mcbs * mgph +cztz: 4 +cgwh: 2 +cggv: 2 +mqzc: 4 +vstg: 2 +cjzd: 4 +vrgr: 7 +tfdh: 6 +bnff: qztj + ftmr +rtcz: bbmq * jwrp +twdz: 13 +fzfs: 3 +mnhq: bchd + njgm +njnf: 3 +bvff: 4 +sdhz: 3 +qcst: 17 +bbfz: 3 +btpf: vnpb * bjst +bbjs: 17 +lgpg: nvls + bhwr +zgrr: qlrq * gwth +wgps: 2 +hwrl: 5 +vjmn: hjml + sqpb +ctpt: 10 +shpm: 2 +mqbn: 2 +sljf: 16 +whqw: 2 +dtvh: nsbn * mflw +gfzd: mfnh + rlqt +ntwf: zvpr + vhvc +pfdc: 4 +qpzq: 4 +hbmh: chwj + jnwd +bnwp: jcbl * dghg +nlsm: dhjc * gqbq +rbrt: vvjn + zgzh +sjfj: zhfg * fmqp +mdhf: dnfj + gbwc +qcrn: qwvz + pfdc +mnhz: qtvj * rngf +tqlr: 4 +dhgc: bzds + wvgd +zssl: 2 +cwvj: 2 +zztr: mpsc * lzcp +ctmz: 2 +dqcn: 4 +zqld: mbjv * tqdc +sfgt: hccs + gfrn +swmc: qngc + gmjd +bgrt: prjq + nglg +zvvf: 7 +tznj: mgnz + dvnb +vfbb: 10 +pqtc: rbfg + wvgs +rdnp: shtz + ltqj +lspv: 1 +mwjt: 2 +mmgt: 7 +mzqb: 5 +bgzb: 3 +fjws: 15 +qzjc: 6 +rszl: 7 +mwtl: rhbv * zlcr +qrpw: 5 +lzfs: qrgb * sczc +vsnh: sjfc + hzfs +wbwg: 3 +rcwr: 12 +qvtj: ntfc * cmzj +zvgg: 4 +nccf: rdhl * bndg +gpdb: vbsw + nhfb +dqsc: pght * mrqp +hnnc: dhgt * zwzg +bjst: qppw - chfj +wlhl: qbrs * dvnz +mcbz: wlsf * tpst +cnpv: 4 +mgph: 7 +bprq: pptd * wvwh +fsmf: 3 +jvlg: slwg - jhsc +lwpm: grtd * qqvt +flpv: wjhq + tqtf +vjwv: 2 +jhtm: 5 +zrgq: 12 +rbfj: 7 +msld: 15 +qqtv: 2 +fddg: 2 +htrz: 2 +fnwh: hlfj * mhmz +wngq: gdnw + wlmt +mfnh: 4 +bhsh: 5 +ngrw: 2 +wzdb: 2 +fjgm: 3 +jvdv: zjmm - dppj +jrjd: 14 +vbqr: 3 +dnlb: hqvc * nlbs +qrpj: tcpc + zsmv +vhqg: ztmf * fpjt +dstg: wgsh + qhmc +mrwd: rgzm + fbdq +tclf: 3 +fwwv: fqzs * hrvg +mcnd: ltcp * vjwv +lldn: qwtt * swmd +pmzr: 8 +qzzp: fzfs * qrgf +jfbv: 3 +jdqz: 3 +cbgn: rwjb * mrrc +vbvn: tmvn + trrg +jvcs: 10 +ctnm: bwvl * wwwj +crcv: 2 +glsq: wwwg * dlws +vwfr: 3 +csbn: 2 +jpsb: lmwb + lhmj +wzfv: 3 +fpvj: 8 +vhwd: gdgj + sspl +ljqw: qrql * pmzr +bchd: wwvf - sjfb +sczh: thjr * ffjl +sfmr: fbvr / bzbb +dmmn: 5 +bdsw: djbl * flcm +bfdv: dnlb + wnzl +gllr: 3 +dpcg: gsvv + jbrz +zbbt: 2 +lbbl: 1 +qzcd: 3 +dztl: vbvn * nfpq +pbwr: zfmb / hrhw +hdbv: ptbj + qsjp +mctq: 5 +sjcm: bjzh + mfjn +qttr: hbwf - hmsq +hdqs: 2 +hcpm: dnps + vgjs +rhbb: 3 +fgng: 10 +fmcd: qcnz * mjrb +bgwh: scrh * wwtg +tphg: sntc * jlfh +fqjb: 3 +wwtg: 4 +wvgs: 4 +bndg: 2 +rmrr: 2 +mcbs: dpjc + jhts +gfwh: 9 +dvpl: 2 +dcqv: gjjl * tznj +hwht: zjpf * lrzm +dwww: 4 +jtnv: 4 +zjqf: nnnn * jqdt +mdhs: 2 +cmwq: rtql + rzql +prql: 2 +vnjc: 2 +wtpr: 8 +mcsc: jmcz + fbzw +szqv: dsjd * mqbn +sbrf: 5 +mgpr: bhww + jsch +pwjt: 3 +lwgr: 5 +dcgq: 3 +cbjm: hzqz * rmvm +vqll: 3 +swls: 2 +vmrg: 2 +tfbz: jzbb * cnfm +fbfd: sjgw * bbgt +jbcq: 4 +frds: lqrg - fmvc +qltm: ppjr + tzhf +fbgq: nhrm / grpq +bnhn: 18 +hwgh: 12 +jlhw: hzjc * chns +tqtv: jcdg * fjhr +ctww: spgr * lqnw +jqvj: lwsf + rcrn +tvmf: mdhs * rsnj +vflt: mqzr / hcqw +pjdl: 2 +humn: 3705 +zffw: pqmf * ctvj +gzwt: jqzn - vptl +tmqj: 3 +tdrt: 13 +lpjf: 3 +ljtt: 2 +mzsr: 4 +mfst: dztl + hbmp +lmvf: 7 +schc: 18 +qrql: 3 +dqpd: 4 +pjfg: 2 +mcss: cgmw + pmqb +pshg: lsmd * qvdq +lnns: 2 +nqhq: mhbw * mrwd +gdnq: prmv + fdhl +mcgm: pbsq + ncqz +czph: ncnt * fnfv +dnps: fmzz * jfrm +rfcv: lzhv * rcmt +sqtf: qncv * mpzf +pltz: cwdd * rpff +zsrr: 3 +drns: 3 +dmjh: 1 +hqhr: 2 +tvmh: 2 +mjrb: 4 +thvl: wwqb + twff +gjjl: 3 +lpwr: 2 +gchm: pngg + rhdj +wrvl: 5 +sfgz: swmc * znzt +hpmc: 3 +nnpd: 7 +zbpn: mfps * jtnz +tprs: pmgn + gddl +szvl: rvnb + vdrs +mzhc: 6 +vtgl: 11 +qgld: grfn + pmjj +hznw: ntbs * psnm +hhtd: 2 +dtbn: hlcb + jdqz +ttnq: 3 +zdpw: pmmr + ztqs +pnqz: 4 +bgfl: 2 +dqgt: 18 +jvjh: dffc + wdbp +zwzg: 4 +jpfm: 19 +wszn: hmmf + jvdv +qqpg: qzlv * hznw +lctp: gdnq * nvrp +rvbt: ptmh * qwvh +qfmq: nppj * rhcc +tbnw: rsgb / dsvv +wrqg: bfdg * lbbz +sjfb: bljn * wbcz +gsll: 2 +lstj: 17 +cbgc: 3 +rpfs: qzzp * rffd +zgzd: fvgl + zgcw +vjfs: hwrl * cvcz +hfbg: twdz * hdbv +gjqp: bgpg - pvwh +tqdc: 5 +tnjh: sbrf + pjfg +ldgz: 5 +qgsd: zsrr * qqtv +ghzr: mbtw + fbvs +dptg: wclq * lcbf +fnds: rlmq / mnzd +wfdd: cmbb * grzc +mbbf: wstc + npnz +slgc: rcnm * rjlj +qztv: wlwm * msld +jjmh: lbpv / hcsb +pcdc: cvgr * rfzs +hvlh: msdb * cgcv +wgsh: 20 +dnld: 2 +jqnc: jrjd / tgsn +rfph: 5 +sdzz: 1 +nctj: sdhz * nnjg +fbvs: bfrg * vlls +qcnb: 2 +lfdr: 19 +hcns: 3 +hsrg: twhs + ftlg +vwcb: psgb + lsfd +hzjc: 4 +qqbm: nmwp + tccg +dmqm: nnvh + fcvz +jllc: ndmj * bdcw +lhmt: wzdb * nwnp +gftl: hcpm / bfrv +tqtf: czjc * mpfg +wwwg: 5 +thjr: 2 +tfbh: 3 +dsvv: 2 +hgsl: 5 +sfnl: pwrf * rfcv +rvvt: rmst * qmfp +bzbb: 6 +jpqb: gsll * lnmh +qsfd: 4 +vptl: bvrq * nwng +gdnw: vvcl + bpbg +cvcz: 2 +dztc: vdjv + vjmn +fvjg: hwgr / lwwq +dvgv: gnzd + ntwf +wsdn: wjcm / jwsn +plgl: 4 +lrmg: 3 +qrgb: jbbv * cdbz +hjsb: 13 +ctqv: 3 +qrst: 3 +nnqm: 2 +dnfj: 9 +lhds: 2 +hwgr: pwlt + slnf +tqpq: vmzm + thvl +trnr: 2 +cjlc: jhwj / gmld +wcgw: 16 +frpw: nbmj / zlcn +szwn: 12 +qpnc: fbzr + rlft +nmbc: dtsz + lpwg +znzc: 5 +lwcv: 2 +hcww: 2 +vsdw: 4 +jhwj: vphf * hwmv +tmvn: 15 +mcpt: mcnd / zzdt +lrzj: 19 +rngf: 2 +gszg: hqhr * zzvn +gnwp: 4 +wcsz: 4 +pgjl: ncwg + fwpp +gqsg: zwmj + qqpg +cmzz: 2 +vsgs: 13 +psvj: bnzm * zfgh +gtsh: wcjw + dflq +qpzd: tnmv - hhsp +fvmg: 2 +sbjf: 17 +nsbg: zbms * dtvh +jrpp: 2 +qncv: 8 +djzl: jrdw * jhvm +ddww: pnsn - lszr +zvvl: 3 +bfvr: zscv * lgfv +tnbp: 2 +qbjl: qjpj + szgd +shps: rcwr / szlp +czjc: 2 +njfj: smmr * vczm +jzmc: htwj * fqfs +drhc: 3 +qhwt: jbcq * psdd +rljg: mhbf * vplf +nlhw: sbwv * rjzg +zdbq: 2 +npbl: vvgb + lbbl +jhvw: 2 +jqsd: ltsf - gddd +mbjv: frqv * rznw +gsfj: 3 +szlc: 3 +ghhp: zspb * bgfr +fjlb: ppwb * mnsm +mlqv: 4 +htzw: fpcb + zddz +rcsj: qwfw / vnjc +fzdp: vtfv * mwqr +vpgt: 3 +cqnw: zhmh * vlgf +dvbg: qftf + ffms +nmnt: zqlb + cqnw +mzqw: dnsw * gwts +fdhl: gqsg + lbfn +rcsd: cpbz * pcrb +dmjr: nrqs * lvsf +wssb: 2 +sjhq: znpv * bhmq +swbl: 6 +pbwn: dmcc + ctmz +gvhl: 2 +stsn: nzcd * dshq +hssv: fwtt * bgzb +cllf: 7 +rwgp: qlzl * fcvm +jmcz: schc + mzjn +mhhr: rlhj + cfft +csch: wfmt * frpw +tpzh: 2 +mfnn: 7 +pwrf: 2 +mhbf: 5 +zffj: 6 +wgts: 2 +wnvc: ldgj * gtgn +mlvg: 4 +vlls: 2 +jcgg: wsdn * pgfl +mnmh: 13 +hbtc: 2 +sqwj: tjdg * mpbm +jcbl: 2 +mmzg: wdcw + ltzg +lgpj: 14 +mhsn: 10 +hlsw: 11 +szng: wtjg * lhbm +mgtd: 5 +tjdg: 3 +fdzl: 8 +tlmv: vjrj + qnfp +gzwj: tmsh - ggvg +cztp: dwww + gbzz +jjvz: 1 +vrtp: gnvr + gcph +hcqw: 7 +wgqt: nbbt - qqdr +fwpp: grnc * rszl +nltb: 11 +ffvc: 2 +dwjf: 1 +mrbt: jvwb - cbcc +vczm: 2 +tnmv: 10 +wzcn: jnnw + dmmn +dtts: 4 +zwtw: fnwh / wpmr +ptgf: 2 +zpfp: qhjn + tbjm +psgb: 1 +gnqf: 13 +wprn: gvjw + sjhq +hjfz: pscq * ghpl +rbvr: zgrr + nhgc +qwhr: mshb + nmnt +grzc: 2 +mwhj: 13 +zrmv: frmb + wsjh +zstt: 1 +qwsm: lwbp + hjqv +gmnz: 3 +zhww: 5 +rtfb: 5 +lfmc: gstp / qnpj +gjtl: bghn + chbw +wgfl: 2 +dttm: 3 +qcqm: gdtq * lsvj +twfd: plvz + dpvl +ncpc: 3 +gtjc: 4 +cnnh: trmb * gvhl +rzzf: 2 +dhjc: 3 +rcrn: mspd / trnr +wrqs: 2 +bvqc: lqrb + fcdp +spjv: 2 +vhtw: 5 +dvdc: 2 +dnsw: 12 +fvvc: 3 +tbsr: 2 +nccv: qvqm + smlv +ptmh: 2 +rhdj: 3 +jqqj: hdpb * mwgm +wtfc: 4 +spgr: zdjz + fnds +tpvs: tbpg * mdhf +jggh: dtbn + nctj +brcv: zzjn + nvfr +qddj: lspc * lmdr +dnpf: 4 +bwvl: 2 +ltdp: 3 +ffjl: vgdg + wzsr +jzrf: wgqt - cggv +lmpt: 3 +sspl: cccs + zvzj +lpbq: vpfn * mmpr +crpm: twlz + qhnv +qhps: gmpr - tdrf +sbwv: 8 +vgrj: 2 +vvjz: gtjt * chzd +mqsg: cprd * slsp +qdgn: bdfc * qcvd +zrgr: rphm * lmqj +ldhd: 4 +slnf: nmdc * bzpc +pmrz: mpfp * lqhf +mlls: lpmg * gzqv +dmtv: 2 +fmwn: pprw - zpqz +zjmr: 2 +gnvr: psjl + nnqm +qvdl: tslb * fnqc +lzqw: 5 +szmt: 13 +gbwc: wgts * bgsb +stjz: ssvp * swzv +jtnz: mbbf * ddhf +lrgs: mjbf * qlns +wqrl: 2 +sfgc: vrgr * sbnn +bzfw: srzq * nggm +fjhv: 1 +shtz: gqrt * btqt +gmpl: jfrg + vwfr +nppj: drns * dvjt +lnlb: tjlg * mrqr +gwgz: ldhd * qfpf +gpvp: mmzg / ntgd +gdtq: jlhw + zrmv +vqht: 7 +zszj: 2 +gmrz: 11 +hmsq: scrf * dzpd +gbjf: gvhr * gpdb +hcsb: 3 +jghl: hblv / rvcs +mdth: 2 +lbzf: 5 +ltgb: bjll * lhdz +rzsv: 4 +jgpw: qvtj / lnlb +gzqh: 3 +dzjc: 16 +gzvg: 5 +wzth: 14 +rtzt: clhv / jrpp +mjjt: 2 +qbrs: 7 +bgfr: 3 +mpsc: 3 +vjgn: 4 +jhwr: jlgt + hdrl +hjml: mvwb * rpwm +gcdc: qsfd + lzqw +jnwz: nwcl + plhd +vslq: fjlb + mnzf +tvhv: 2 +mffq: rprp + qgsd +gmgz: 3 +wgzt: tmtn + jzrw +wptw: cwpb / rtfc +gbvt: 4 +rbpm: gslh * mlvg +pgfl: 2 +dwsq: gpzz * mgtd +qslr: 2 +tslp: ldzd * jdvh +hbwf: lhmt / crcv +rsgb: qpzd * nhvl +bncg: 3 +mbpg: nvdz - bcpz +sqpb: 19 +vgbc: mgmm * qhld +mptw: wqtf * fvvc +cnfm: 3 +zrwt: 9 +zjtv: mbpg + pttq +qvdq: 3 +rdjz: 3 +ztwn: 10 +vgdg: 19 +mwrp: zpfp * zpgm +vczv: hfjb * pnhc +mljv: prhl * gnqf +fcdp: rcdt + gnrh +lqzn: 5 +hlcd: 3 +zpgm: wqbj * zwdn +qplb: qpvr - hzbm +csqq: 11 +pbsq: 8 +rrjj: 17 +fhvd: 3 +fwsw: sjqr + jpvr +mhbw: 3 +lppg: 5 +jntt: 3 +trqq: vtbn + hppv +ztmf: 7 +lgfh: snhj / tvmh +dghg: bprq / swls +psjp: 12 +cwsl: 2 +zlml: gwtg + hndn +bngb: 1 +bdfc: 4 +npvs: mfcp + jvcs +sfnv: hmgc / sllp +jwqb: fvjs * rtfb +lhqf: 2 +pprw: tmlm * bwrh +vbzp: 2 +pptd: 2 +sswz: pnqz + fpts +zmbc: sldc * hnpz +fmrw: bgfj * dttm +hgvl: 3 +shqz: 3 +wvpz: qwvg + tcns +rcnr: 11 +lqnw: 3 +bphn: 2 +frqv: 3 +fcct: 6 +gtmf: 2 +vmsf: jnwz + gdnd +tdrd: 3 +vnht: 3 +vgjp: 8 +cfjh: 4 +hlqb: cllf + wbzw +vtjt: 4 +mnzl: 2 +bjzh: 11 +ntpc: 5 +cfrf: 5 +grtd: 2 +mfps: rdnz + rgtm +cmbb: 3 +gmpr: 8 +pwtq: lvml + qcjh +cspv: 4 +fpcb: wjpl * tnnl +mqwv: 7 +qmfp: gzsm + lhrd +nbmj: zvvf * wrsq +hccs: 6 +sqqv: vncb + tqjr +wwwj: zmcb + ggpt +smjw: 8 +gzlz: 2 +lbfn: shgv * mljv +lrpd: 6 +qqcp: scwf / qctj +scwf: jqnc * lnwd +qgmp: 12 +sqtl: 1 +tgqs: 3 +pzsq: cnnh * dzvc +sjbb: hswd + jlhz +dcbz: dmjh + prnl +bjsl: vslq * vjnr +ncrf: 3 +dnqg: 2 +rwgf: 2 +hzqz: 5 +sdrn: qcst * rwrb +vphq: stsn / vnqg +qggg: bmmc + vhtw +fbbg: 4 +jjnv: 3 +wfms: pprv + ldfb +nlsf: 3 +vgjs: gprp * vnmn +jmnr: 2 +bqgg: 5 +jzdg: bnbz * qwhg +vtsd: 11 +cjbs: wszn * ldgz +mshh: lrlj + tqhr +sjtm: 2 +shjn: 2 +rjlj: zlml + mffq +bpsh: rfph * hgpp +qrqn: plgl * htmz +gfth: 3 +tqbh: 2 +dlpg: 7 +hfmd: 2 +mwgm: jrbp / wslm +hlcb: 4 +tptg: 17 +zpgc: wbgs * jcqr +zlcn: 2 +sqsh: 3 +ffvn: 3 +gmld: 2 +jddt: 2 +fqfs: 3 +zgcw: qcfb - tzzr +sbmj: dtpz + fwwv +lbcr: 5 +vrhl: 2 +wcmp: 3 +djbl: bvqc + chgs +fzzv: rdsp * qndw +dzvc: 8 +bljh: 4 +gzrq: qbjl * lhrv +vfsg: wwqv + fjdr +bbmq: 5 +rrpf: 14 +zrfs: 3 +zfrm: 1 +qvnp: tlmv + tpnf +pfff: bhwn * lhnr +lgfv: 3 +nqwd: zmrz * mnmh +vnpb: bvrr + sljf +bzgv: bscm + nglb +tqjr: 18 +hmtb: 4 +lvml: 15 +gqbq: 3 +pwtp: jqvj * zfgq +rcnm: 4 +qfjr: wpnl + jsqn +zdjb: 6 +cccs: 4 +szsc: 9 +sblz: 8 +qgwm: bqfv + zvgg +tggw: dvpl * lhjl +jjlm: vnlt * zcmz +zmcl: 2 +nhfb: mmpc * wfgs +gddm: bdgj * pcdc +sjgj: cbnh / mchb +tlzt: dnqg + ntws +ggvg: rqzz * lwcv +pchb: qfjr + sdzz +swsd: trhc * dqgt +tzvz: zfrm + bnwp +jgml: 9 +gpsz: 2 +gphz: lspv + nntq +mrqr: 3 +fwrp: 2 +frfm: 5 +rzcl: vcsd * mjlf +nzcd: 7 +ppms: qbsd + mvhr +zgvw: fgfd * sjbb +twmj: 6 +sqtc: tpvs - jjnm +bhzh: cqpd / njvw +bnbz: cppm * dzln +pcwf: 3 +rfhv: nvgj * mhhr +dfpp: qbqb + vtgl +nrqs: 2 +rsnj: gchm * qdjm +lrzm: dlfm / fcct +gprp: wcdt + qmzh +rgzm: 5 +zhfg: 8 +jphm: gzcg * jvvt +tsfc: 3 +psnm: dstg - ctgj +pztt: vrhl * gjqp +qcfb: bzqg * gzqj +cdth: 4 +qflh: sspw + sblz +nvgj: qmbj + cjfz +mpfg: hbsl + mwrp +jrbp: mqpc * mbbg +wsqj: 3 +wmvv: 4 +hhnt: qblr + qvdl +mljr: 2 +nnjg: 4 +lhrv: 2 +vvcl: rjcv + jzrf +mnsm: tsgb * hlcp +zznh: wpns * wwbg +jsmm: mgvq - mzqw +rncp: 17 +mgnl: qntf * lmpt +zmcb: btgl + ztfh +qlgp: 3 +qcvd: rwgp * hcww +chbw: 14 +mbzb: 2 +qqdr: lhqf * gmpl +shwg: 3 +mhjp: 3 +ztqs: djzl * stjz +fbpw: dnqj + wpmg +gmvz: 5 +rcdt: gptp * szng +qntf: 2 +fnfv: 3 +lqlt: zcbt * hvzn +pwqj: zwtw - psfj +jfbj: 5 +mgzr: rmjs + qzcd +htrp: zdbq * hsrg +lqlr: 3 +bgsb: 4 +ndsl: jggh + ffhs +wfmt: 3 +wwpj: hfmd + sfgz +tcns: mpqb * dlpg +fjhr: 4 +jpvr: zcvw * shmz +qtvj: fwfq * vjbm +rjzg: 2 +pcrb: 2 +rvnb: 10 +bgwd: 2 +bsnr: 7 +bfdg: 2 +wbcz: smdv * fndt +fbvr: pqtc * jhwr +lhtj: 3 +tmsh: njst / scjl +sftz: 3 +wdfz: 4 +hmgc: pswd * psbd +nvls: 19 +cwvw: sthj * pchb +hrvg: 3 +zspb: 3 +nbbt: scpn + twfd +phsl: 6 +scrf: 3 +chhp: vwmt * cwvw +sslp: 11 +zlcw: 3 +lrlj: 12 +pvbc: qwgr * qgwm +fcvm: sfgt + wtfc +whnd: 5 +vvdr: 9 +zpvn: mbss + qsgq +pmjj: psbv + wrqg +mmpc: 5 +nmgs: 3 +ghpl: 2 +mrjm: 2 +stns: 1 +hwmv: bgwd * hljq +fdmq: ffvn * zpvn +hjqv: jdlv * fprb +bqfv: nvdv + tqtv +vlcw: 5 +cjfz: 4 +bfvg: 3 +nhrw: pnhr / hvsj +frmb: glbm + znbt +nlbs: 3 +bhmf: wmvv * fwwh +tmsz: 6 +vdjv: 8 +zstc: 7 +mfqr: wdrp * slmq +vnmn: 3 +plhd: szlc * jtnv +bvth: sftz * qtmg +lswh: 5 +mhmz: 7 +ldlm: 17 +zzfs: 4 +bjll: 2 +jlpp: lsng / jrzs +mbhc: mlgm - tnjh +wfgs: 2 +sbvb: hhqv + nqhq +ntbs: 2 +tzdb: llzs + wngq +jjdb: 15 +qghr: 3 +twtm: 2 +fbdq: 2 +wjqv: 2 +hjmr: 3 +dsrt: 2 +sddg: jjnv * szgj +rmst: 2 +rfpg: 2 +hhsp: 3 +gzqj: 4 +jjnm: hgsl + qjwv +mqpc: 2 +cmrj: 13 +twlz: lhds * dhgc +mchb: 4 +qcjh: 4 +swmd: 5 +wslm: 2 +sdwm: 3 +bzfm: fjzc / cwvj +prnl: pnsf * bmcs +hlcp: lfmc + rqqn +nsbn: 2 +vjrj: bztz + vmhl +shgv: 2 +csgb: 3 +fmlp: pgjl * nngg +dssb: qvbv + tfdh +slsp: 11 +rjsn: fbfd * szjr +vfwh: ctrq + cmrj +msdb: 16 +fmlt: 5 +jdqs: 2 +pjzl: 2 +zjmm: nflz * hjsb +mbss: 2 +brfj: 2 +nhpg: 5 +fjzc: vqlg * tzdb +nggm: hmtz + lrpd +jqjn: 4 +cjwj: 3 +jddd: 3 +psdd: 3 +bzbl: 3 +pjwm: 17 +nwng: 7 +qwgr: 8 +gmjd: dcgq + mqzc +mflw: 3 +fvgl: 20 +tgcm: 3 +gwts: 19 +qhld: 2 +hbmm: 7 +jrzs: 2 +nhgc: 8 +rcbp: fbgq - wqjg +tlqq: ngjs * rljg +vqgq: plds * mvqd +lfcr: 1 +dffc: dmtv + fzzv +vtfv: rtcz + gcch +qlrq: fpvj + gcdc +rffd: qgld + mljl +jnwd: 8 +lhbm: 5 +lpdb: 5 +bmcs: 3 +tbvn: bphv + fjws +ftmr: 7 +qwhg: szqv + gfwh +gbzz: 6 +gvfj: lwpw + btwg +nwsb: 18 +cvgr: 7 +bgfj: 3 +bztz: 7 +rzql: gtmf * gmrz +qbqc: csnr * lrth +rlhj: sfnl * jfbj +bwst: pwjt * nccv +shvb: 14 +qwvz: tsfc + dvgv +psjl: 5 +lhdz: 5 +rwmw: sjtb * bbfz +ccmh: frds + rmtm +hfjz: bvff * mlqv +bdvl: 20 +lcbf: cztz + dzjc +bbnj: 5 +mnqv: 5 +ndmj: 2 +jsjt: wlfc + hdff +tsgb: 2 +qmbj: 9 +tffm: zcwf / zjmr +bmbf: nqgz * zdjb +jdlv: gzqh * jvjh +bmmc: 8 +szjr: 4 +dwdz: frfm + shvb +gzqv: 2 +gnvg: 3 +jqdj: 5 +scrh: lfdr - tmsz +rcmt: 3 +mrdv: 2 +jhsc: 2 +nnvh: bnsh / jsdz +snzz: 11 +drch: 7 +rdzs: bvth * gnwp +jvtt: 3 +httv: qrqn + tzvz +zjpf: 2 +htlb: mnhq / qfnr +gvhb: bqcp * nlsf diff --git a/day21/sol.go b/day21/sol.go new file mode 100644 index 0000000..7e621b0 --- /dev/null +++ b/day21/sol.go @@ -0,0 +1,2047 @@ +package main + +import "fmt" + +func main() { + fmt.Println(root) +} + +var ( + mlgm = dssb * wjbz + ptqp = 2 + ncnt = 5 + hzfs = gbsq * fbbz + htwj = qcnb * rlmh + qlzl = 2 + hrfp = 5 + hbsl = ddqr * ffgz + vcsd = 2 + pght = 17 + mvwb = 10 + mmpr = 3 + mhhm = rcsd + cmbv + ldjn = 4 + rjcv = qqbm / qlgp + hbcq = hmtb * mzsr + ctgj = 7 + qzjg = mwdq * fdfd + bpgs = 3 + qfpf = 2 + ztmc = 3 + thpt = lsrn / wsqj + zwmj = tdsz * drch + btgl = 3 + jnpp = hdpn * hrfp + lbbz = cfww * prtb + sbqc = rmrr * ppms + fprb = 3 + hvmh = 8 + sznb = 9 + nstl = fmcd * zwml + gwtg = 3 + rmtm = 14 + dprf = nccf - jnwn + gtjs = gfgq + shbd + mnjj = 2 + dtdm = 6 + wchv = 4 + tqjb = tncc + gpvj + zcwf = 12 + nhrm = dvwr + htlb + wrmb = 19 + rjrr = 3 + dcpr = 2 + zpqz = 2 + bgvb = 3 + pdrt = zctw + npqm + ftzd = 15 + nvdv = pfmm * lpjf + wbmq = 5 + cbnh = pgdp * fnnc + ldvc = 6 + bbrw = glvt * hvqw + gnwd = fdmq * gfth + tvwm = pltv * nrmf + gcch = 4 + wpnl = 3 + rhbv = wtpl / vtcg + flcm = 3 + tcwd = 2 + zlph = 4 + mddn = 5 + gqrt = nnpd * ctnm + qsjp = fzdp + vzsg + pwlw = 3 + fgzn = 4 + fpfj = 18 + jfrg = 8 + pgrl = dnld * pdmm + wdcw = jdpt + zsqb + nnll = dcmm + cztp + vvjn = pmrj * qzjc + jnbb = 12 + dwzs = 3 + lfqp = 5 + nlzp = pcgz * mjpt + jbrz = 11 + mvfc = cfjh * tcll + ntst = trnf + swwz + brhf = mcss + lrzj + fmjt = mhjp * zlph + gpvj = qnrh * shpm + nnjb = 17 + hntz = 2 + wzsr = rgwr * rwgf + rsjz = sfnv * dwnf + qpdl = prql * thwj + hqds = 2 + swlc = 3 + zzdt = 2 + vsgq = sqtl + vvdr + zwdn = vpgz + mmrw + hmmf = vgbc * vgjp + gfrn = 13 + cfww = 2 + plvz = qfmq - lqlt + nglb = bfdv * lrmg + vdrs = shjn * rtnv + ttjg = jnbb * chhb + jlsm = rbwl * lnns + zhmh = czsn + zdht + sjqr = pclc * lmrj + dsqb = 2 + vddn = 5 + sjzh = 17 + dcvl = nlbr * gszg + wwvf = pjdl * gdrj + bbbj = dwsq + chgm + mssl = lcgh * gphz + grfn = mgzr * hnvz + spqt = czph + shps + wtsh = 18 + qblr = qflh * cmwq + czng = glsq + tclf + rcbq = jjlm + bwst + dwmz = vmrg * zcdd + vzsg = lgrr + lhmf + flvt = qjzj - dtdm + lgrr = mbmr * hfww + wlmt = htrp * pgzb + dzln = 2 + tjmw = 1 + grpq = 10 + szgj = rhjh + cpjw + rhcc = 3 + rwrb = btvv * dqrg + ncll = gzrq + mffv + tcll = jpsb - nqwd + rsrh = spds + vcpq + gsnv = 2 + rphm = 12 + bzqg = bpsh - jvfh + jdvh = 4 + zpcw = brfj + btmp + mfld = ttjg + gtws + dzmg = 2 + bghn = gqtg + gvff + rlqq = tbzl - lcpv + mlcg = 3 + rdnz = rdnp + jfdb + qqvt = 4 + wvwh = 13 + mljl = nsbg * bfvg + zfhs = qnqc + pztt + rqdc = nflf - prhq + root = rcsj + zfsf + wstc = rpbc * gwfp + lnzd = dwwp + czng + zlcr = 3 + hbvv = svdn + jzdg + vsnl = smqm + tptg + ldzd = 6 + wpsg = jftj * ngrw + wgjf = 3 + npqm = gbvt + njnf + rwjb = 3 + nnqd = 4 + rdlm = ljzj * hcns + lqrg = ntpc * pbwb + tpqw = 8 + lsrn = prgt * dmtc + hlfj = hqds * hgvl + pwrh = 3 + vtcg = 2 + fnnc = 2 + csfz = 11 + nzbn = bmqg * fwrp + nqcg = 5 + swzv = wdft + ljtt + tbtn = nzbn + wzcn + twff = 2 + rndm = 2 + tdsz = 17 + qmzh = 20 + gstp = vqpd * ttnq + ncqz = dlpm - ptgf + ctrq = 2 + bnsh = tvnr + lfcw + lmdr = 2 + chps = 16 + glhl = ghvv * jqsd + qmvm = 3 + njgm = vjgn + tpcn + qtjf = jplf + tlnw + qnqc = hssv * wrmb + prtb = 7 + ncwg = 12 + flqr = 2 + wdrv = 5 + pmgn = sfsj * wgfl + vmrs = 5 + pqmf = trqq / blsb + rmjs = 3 + qpvr = fmwn * dlpp + pqzq = snzz + vldf + hblv = mqsg + lrgs + dsjl = rdjh + lfqp + sspw = nswz + wcgw + nngg = 4 + qzsv = ggdg * tdrt + mshb = cbgn * pqjz + vnqg = 3 + cmbv = rfhv + ljdn + swsm = 4 + vtbt = 4 + sjgw = 3 + lnwf = dbbv * jvlg + whzm = cfrr * qrpw + vtsq = tbsr + mgnl + bmzt = 6 + bcpz = 9 + vjvd = pzqq * wgjf + dwnf = bpnp + hlqb + dlws = fthn * mqmd + dwtj = bdvl / twtm + pcgz = 3 + lbpv = jvtt * crrq + vbsw = 1 + wqnm = mzqb + hjtw + wprh = 3 + cpjw = 6 + pvwh = gnvg * gtsh + hbmp = jzmc + mctq + jrgj = jsdf * mtgd + dhgt = 5 + bbgt = 2 + ffgz = qqdd - phrz + zbms = 3 + pgwb = zrfn * gvhb + bsrb = zrtn + dcvl + mqzr = tbnw * hdgz + tmlm = 3 + shmz = 8 + dvjt = 3 + fqnd = lpbq * wjqv + vtvb = dvtj * nltb + bscm = 2 + lhjl = stns + rgnf + pzqq = 3 + wnqv = vwbt + vjwr + qmsc = bshb + phqn + mjpt = 4 + bmqg = pfff * rndm + lhmj = pmrz + rdlm + mmrz = rqmg + cbgc + tgsn = 2 + tcpc = 3 + wgcw = gqrg * twmj + lvsf = qwwh * qrmn + qjpj = mljr * lpdb + hjlh = lwgr * jbth + tdrf = 1 + grdm = 3 + zddz = dztc * wpsj + lnwd = 2 + nflf = fqnd * flvt + stgz = 4 + bjcg = bfdb + hbmm + zsqb = 1 + vcgs = sdwm * tgqs + rmdl = mppz * dslv + pjlw = flrs * lhtj + zzvn = brhf + qcdg + wbzw = sqsh * gwgz + jnnw = cjwj * zffj + gpzz = ltgb * zlcw + dpnb = prvr + hwgh + lwpw = 1 + npnz = qcsv - hpbn + ppjr = 20 + bqcp = 2 + lpmg = 13 + rdhl = jtqc + pvbc + zctw = tlqq * pnrq + wnvw = vczv + zbpn + clwz = 2 + pbzv = 2 + dbbv = 3 + phqn = wfgw + qbwb + fcvz = dcbz * vsnl + ltzg = thpt - wlhl + pdwg = qbrv / qbzz + tnzd = vffw * jqdj + fgfd = 2 + fvld = 2 + sjfc = tvvs / npff + rbfg = 3 + pclc = 13 + jlfh = qdrp + cjlc + lsmd = 2 + zrtn = whzm * ndsl + chns = lqlr * cjjn + cwdd = 4 + fspj = dtts * jmnr + hhms = sbtw - vsnj + qgph = 3 + slmq = 7 + btzq = sqqv + tqpq + pmjs = wnvc + dhjs + pwfv = sczh / jcsh + zvzj = 17 + lmrj = 5 + prgt = gpsz + zffw + dlpp = mptw / tdrd + cgcv = 2 + qndw = 3 + mgmm = 4 + brcn = 2 + hnmc = zfnz + dmqm + sbnn = 5 + tpcn = prqp * spqt + pdmm = 4 + mdvd = 5 + lzhv = 2 + zvpr = 1 + qbrv = fghj * qdgn + vdcr = 5 + gzcg = 3 + qnfp = vjfs + dvbg + mbnw = rtzt - zvcq + bdtg = rfts / wcsz + tncc = zznh - jgml + trrg = 16 + chgm = brcv * vqht + mqmd = 4 + slpg = gsnv * qqcp + rjgf = 3 + vpgg = pdwg + wprn + bzpc = 13 + pnhr = hwht * vphq + chfj = whqw * qzjg + chhb = 5 + ztcz = qhzv + dwdz + dcmm = 3 + shbd = fbfq + shlt + qtmg = jjvz + ctpt + ldgj = 2 + cwlt = mnzl * qgph + twbh = wbmq * jbjh + lrqd = 2 + csnr = 5 + fwwh = 3 + pngg = bgwh / lmgh + qppw = vsnh / zpcw + prmv = cpvn * nqcv + hsdf = rvvt - tvmf + zvcq = tnzd - mdth + zfnz = qtjf + tvwm + jwsn = 2 + whgr = mvhg * fmlt + fthn = 2 + dfnq = 4 + jmrv = 2 + znqf = 2 + zrtw = gpvp * lswh + svfd = 3 + rlqt = hjmr * grdm + smqm = rdzs / zvvl + hdpn = 2 + dwwj = mnnf + crst + mpfp = nwgq + wcmp + btmp = 7 + szgd = smjw - fjhv + dvnz = 3 + grnc = 5 + pbwb = 9 + jdpt = 5 + dvwr = sjfj - sbvb + lcpv = dbjq * qddj + whdh = 3 + mvhg = 3 + tvtm = tpzh + dgnj + qnpj = 3 + rlmh = 5 + jtqc = htsm * rlqq + mgvq = tlqt * mbnw + hmlv = 1 + qswc = gzwt + htzd + tslb = cwlt * lpwr + cswf = jghl * zszj + pmmr = rlfc * mssl + rbdb = 3 + wwbg = 17 + jbbv = 2 + vhvc = wssb * rhfw + psbd = npnj * dwwj + vjnr = wnvw * szmt + trdw = ctqv + dqcn + fpjt = vcgs - lqnp + tvnr = hsdf * gmnz + szlp = 2 + nmwp = gfqt * hfjz + trmb = 4 + gsvv = bpgs + hsqw + qvbv = 3 + psbv = 9 + qnrh = tnmn + vlgm + nqtd = 4 + bhqn = chhp + mfst + vvgb = csqq * gfcb + qcdg = bfvr * pwlw + bhwr = zzwv * rrjj + gvqq = 3 + tbjm = pjzl * srpt + jlhz = tmbs * rdvd + cwpb = tffm * jlsm + qmcs = 3 + nvht = 4 + flnv = jhvw * snts + hdnn = nnjb * rncp + vpfn = 2 + nncq = zjtv - sndh + qmrn = cgwh * sslp + smdv = 5 + tzmg = qgcn + jllc + rhfw = 7 + wqtf = 7 + ntgd = 4 + gddd = jpfm * fvmg + gwfp = 3 + sndh = 7 + zwml = 8 + dlfm = fjgm * qwsm + wlgn = 7 + ggdg = 2 + ccrm = 10 + fwfq = 11 + bdgj = 3 + fqpl = 16 + jvvt = 3 + hdgz = rpfs - mddc + gddl = 1 + jztz = 3 + pgdp = mvfc / hzsn + vmhl = llnt * qrst + qdjm = 2 + plds = 2 + zfvl = 5 + qmhp = szwn - qmcs + dtpz = 11 + cpvn = vgrj + hvmh + lzcp = nnqd * lzgc + qvvs = 1 + ngjs = 4 + jbqv = 6 + pfmm = sznb + rzsc + prvr = 7 + fbfq = 4 + fjgc = 8 + zcmz = 17 + nhvl = 2 + dsjd = mlcg + tpqw + zcbb = 3 + mnnf = 4 + wjhq = zfhs * bzfw + mmqn = fmrw * gllr + dmcc = 5 + zfrn = 4 + phrz = qgmv * hhnt + qfnr = 2 + btgd = 13 + gnrh = rdjz * nmbc + rgnf = lmhr * cfrf + rmvm = 5 + zgzh = dpnb + wfdd + jsqn = 3 + clhv = dwtj + btpf + nfpq = 2 + twhs = 3 + jvwb = mcbz + bjsl + dvtj = 13 + qsgq = 5 + ghvv = 4 + rzsc = 2 + qvfv = pqzq - cdth + hzmt = 4 + mpbm = vgjj + gfzd + wclq = rbdb * wrvl + lmwb = tdlw + wscg + rdjh = vstg * dpcg + qzlv = 4 + gslh = 2 + hhch = tmzs * qggg + rhlr = 8 + lspc = bsnr + wchv + gdrj = prnv + wcvd + wqjg = dptg + vfsg + nvrp = 4 + rdvd = 3 + qjwv = jddt * tfbh + shcw = httv - fmjt + lnmh = njfj + dqsc + zdht = 3 + zscv = 4 + msqs = gvfj + btzq + wpmg = 4 + jtht = hlcd * whnd + hljq = phsl + sfgc + jhts = 1 + gtjt = fqjb * qrpj + vjwr = tnwv * gtjs + hswd = 5 + tvvs = sjgj + qlfs + wlsf = sjtm * flpv + crwl = jgpw * fnzw + zzjn = 5 + fbzw = qmrn + lmbf + gptp = zcbb + tqlr + hpbn = 3 + vqpd = vtvb + qztv + fghj = shwg * hbvv + jcdg = 4 + crst = 3 + pswd = 2 + zrqm = pjlw + slgc + zfgq = 2 + fdfd = jpqb / zmcl + ntfc = qdsm * fvld + swwz = sbmj + sdrn + rlft = jfhm * pbwn + dgmc = 2 + qftf = 4 + wvgd = rzsv + qpzq + fnqc = 8 + mcqn = 10 + htzt = 5 + ljzj = ncll + zzqf + tlnw = mrzn * flnv + mbbg = zztr + zstf + sldc = 2 + htzd = 4 + psfr = bzfm * qhps + mppn = 12 + ltqj = gftl + cjbs + vplf = 2 + dhpr = 5 + pqjz = sqtf + mgpr + wsjh = vbzp * spvq + sllp = 2 + rdnf = fjtg + bnff + hbvq = mdvd * vmrs + qbsd = shcw * bhmf + jfdb = qzmz * tbtn + mhpc = 5 + sbtw = rcbp * tnbp + jvfh = 3 + njvw = 2 + rbwl = zstt + vhwd + mbmr = mcqn * lqss + qwtt = 5 + sbwq = 20 + prhl = mlls + csch + hppv = rhbb * shqz + nmdc = nncq + qvvs + vdmp = pshg + nqcg + nwcl = vsdw + ztng + bfvm = 2 + gvhr = 5 + trhc = 3 + tnwv = jztz + jqjn + lwsf = nvht * fpfj + prjq = 2 + tzhf = pzsq + jjmh + vpgz = 2 + ptbj = tdvv * nstl + vlgf = 7 + sfsj = 5 + gvff = vjvd + dwjf + tqhr = 18 + mffv = whgr * vnht + mrqp = 7 + ssvp = 4 + tflv = 12 + bhwn = 2 + qvqm = chpb + vtsd + cprd = 3 + sntc = 4 + psfj = 1 + dpjc = swwv * bmzt + lpft = 3 + gjvr = 5 + snts = 9 + jrdw = 3 + ztfh = 3 + smlv = ldvc * nlzp + jgwr = 14 + znpv = ljqw + gzlz + mmzh = htzw * csbn + llnt = 2 + sczc = hvlg * lrqd + thgb = bmnw * svfd + bshb = npqr * dnpf + rtfc = 3 + mrzn = ztcz - wdqz + brfq = gddm + lzfs + smjh = 5 + gdgj = vfbb + vrtp + nvfr = djwn * dsrt + nrmf = tlwr * ztfb + vjbm = 2 + vcpq = 9 + jqzn = pvph - wpsg + chpb = 18 + fjdr = lldn + jccs + htmz = 4 + bpbg = mcsc * tvhv + pnhc = 7 + spds = cnpv * vtbt + pmrj = qmhp * ltdp + rpbc = swsm + tmqj + hdff = 2 + btqt = 17 + wtjg = 5 + cqpd = nnll * clwz + wpns = 2 + lqnp = 2 + gqrg = ntst + rcbq + zstf = 5 + hsnc = 2 + vnlt = 14 + pnsn = ghhc * lbzf + thwj = bdsw - pgwb + pttq = dvdc * rvbt + svdn = pmjs * swlc + qwvh = 6 + dvnb = wptw / rsbs + chwj = mfnn * pmss + shgs = 4 + zfsf = cvmj * hfbg + wbgs = 11 + gfqt = 3 + dppj = zbbt * mzhc + vmzm = bgfl * wtpr + nljh = pbzv * mwtl + tnmn = stgs * bjcg + slwg = vlcw * gzvg + gdnd = mshh + dfpp + rgnz = hntz * dmjr + dnqj = gvqq * lbcr + cmzj = 3 + nnnn = jntt * cwch + wwqb = 5 + pscq = nnpb + vvjz + wscg = 14 + bfrg = 3 + lsng = wvpz * wgps + qhnv = nmgs * szsc + hswm = jjdb - sngh + cwch = 3 + rmlg = dgmc + lnwf + pmls = hsnc * qcqm + dpvl = rbpm * vddn + lwwq = 4 + vphf = 2 + djwn = ncpc * bncg + dsvb = rcnr * zfvl + tmbs = mjjt * ldjn + hgpp = 2 + mwdq = 2 + qwwh = drhc + vtsq + gfcb = 3 + hnvz = 2 + btnn = 13 + lhmf = qvnp * mhhm + nnpb = 5 + hsjl = wdfz * zdpw + bnzm = 2 + rpff = tphg / hzmt + hzsn = 2 + btvv = 3 + mtgd = 3 + ddhf = swsd + ghhh + prnv = pltz + lwpm + zmrz = 7 + nglg = 4 + lmqj = 2 + jzbb = 4 + rvcs = 3 + wzfh = hswm + lfcr + cjjn = crwl / bgvb + sqrj = qttr * rfdz + hnpz = npvs - swbl + qlfs = zgfr * hhms + hfww = htzt * jlpp + vhlg = zqld - qpnc + pnrq = zpgc - wdrv + zqlb = tgcm * zjqf + tlqt = 2 + znzt = 4 + tmqq = czzb * nlhw + jsdf = bhqn + tbvn + tbzl = hnmc / vtjt + ftpf = bdtg - wrvp + qhzv = zhww * zfrn + qctj = 2 + qztj = 11 + fmvc = 6 + szhl = twbh * lqzn + ztfb = 2 + bphv = dzmg + mcpt + lmhr = 2 + hmtz = 1 + jftj = 4 + wrvp = nhpg * gbjf + rfdz = 5 + wcjw = 10 + qbwb = 15 + dqrg = 3 + nqcv = mwjt * ccmh + jplf = crpm + zmbc + spvq = 4 + fpts = 3 + rsbs = 4 + mgzq = 3 + cfrr = 5 + cfft = sddg + mbhc + ctvj = 5 + scjl = 3 + srpt = qswc * zrqm + prqp = 3 + dtsz = 6 + mvqd = wlgn * lmvf + vncb = jcgg / hdqs + qzmz = hpmc + cswf + tzzr = 5 + zrfn = jhtm * mhpc + ffvf = 3 + hqwp = 10 + wdqz = 9 + mspd = rdnf * pgmc + qbzz = 2 + rdsp = 3 + lwbp = vwcb + npbl + vwmt = 3 + mbsm = 2 + jzrw = 2 + vlgm = brcn + dhpr + jfrm = qmvm * qgmp + wlwm = 6 + blsb = 4 + tlwr = 5 + mwss = dwzs * shgs + wdbp = 2 + lsfd = qslr * jfbv + zzqf = 4 + nswz = lppg + jdqs + rpwm = 2 + srzq = sqwj + tzmg + tnnl = zrgq - ztmc + pmqb = gtjc * mmgt + lpwg = 1 + zdjz = 4 + rjdd = 2 + mjnq = rgnz + bzgv + rgwr = tqjb + nljh + bljn = vdcr * bbnj + wjbz = 3 + hdrl = 4 + ffms = 3 + lrth = 2 + hqvc = 5 + jnwn = jdlg + rbrt + rjqm = dsjl + rmfj + wnzl = fbbg * hsdc + wdft = 4 + qwvg = 2 + wpsj = zrtw + pbwr + llzs = fzhr * cbjm + dfzs = ftzd + nwsb + sjtb = cmzz * lgfh + htsm = dsvb - ffvf + mfjn = 12 + wjcm = hhch + hvlh + wnrb = zrwt + qcrn + ljdn = brfq * ffvc + pvph = mfqr + hjlh + jfhm = 2 + zcbt = 4 + vnqc = rzcl + fwsw + rlmq = sswz * spjv + ltcp = 11 + qhjn = psvj * gnwd + jbjh = 3 + jmvh = 14 + wcdt = bfvm * vsgs + mrrc = 3 + rtnv = 9 + zgfr = pwrh * mgzq + fwtt = stgz + vpgt + mpzf = smjh * qtgf + tdlw = dwmz / jmrv + gfgq = 4 + jwrp = 5 + mjbf = 6 + rgtm = wgcw + vflt + wcvd = tvdr * mwss + lszr = 16 + ggpt = 1 + jccs = mmqn + tjmw + bpnp = sbwq + hbcq + hrhw = 2 + vwbt = 6 + njst = vhlg * wprh + qtgf = 5 + mpqb = 3 + trnf = ptlc + rqdc + hjtw = 2 + wjpl = zgzd + qbqc + bmnw = jqqj + vmsf + lcgh = 5 + snhj = mbsm * msqs + qdsm = 11 + jfbr = 5 + qhmc = rfpg * slpg + fbzr = 3 + zcdd = mcgm + tflv + tsbz = 4 + nflz = 3 + dbjq = nqtd * rhlr + jbth = 14 + wrsq = 2 + czsn = tsbz * mqwv + fnzw = 3 + jlgt = 2 + dslv = 2 + rhjh = 5 + fmzz = vqll + psjp + tmzs = 2 + grtw = 17 + ftlg = 3 + ptlc = gmvz * mnqv + pmss = 5 + qngc = 1 + gbsq = jnpp + bngb + gvjw = rmdl / hhtd + flrs = 3 + bgpg = chps * vqgq + ffhs = 3 + zfgh = sbjf + lgpj + bhmq = wbwg * gldd + gcph = 2 + ghhh = ctww + hjfz + scpn = zrgr + hqwp + lhrd = ftpf / nlsm + nntq = zgvw - fqpl + bwrh = 3 + bvrq = 4 + wfgw = gjtl * mrdv + shlt = 3 + rmfj = mppn * fgzn + ddqr = 7 + dstt = 4 + dhjs = btnn * jddd + prhq = rsrh * cwsl + nwgq = lptq + wzfh + mnzd = 2 + vzqf = qghr * mrbt + jhvm = tggw + tvtm + mbtw = 1 + qgmv = mfld + szvl + chzd = 2 + pwlt = mdhl / fjgc + vqlg = 2 + chgs = jsmm / whdh + mfcp = 19 + fmqp = hbmh * ppvl + nqgz = 4 + ppvl = 2 + bfrv = 3 + zcvw = 3 + bzds = 9 + dmtc = 3 + lzgc = 2 + pgzb = znqf * bhzh + jqdt = 17 + dgnj = 5 + sngh = 4 + qjzj = lstj + llqv + mwqr = bbbj + bsrb + nvdz = dqpd * fspj + hzbm = 7 + mjlf = tqbh * wnqv + dzpd = 3 + mvhr = dprf / dfnq + lhnr = 7 + qlns = 13 + btwg = gsfj * mrvr + dflq = flqr + bbjs + jtrn = qplb + dfzs + crlt = 15 + rbgm = lpft * pcwf + pnsf = 2 + dwwp = 9 + znmp = jstc * zrfs + ppwb = 2 + wlfc = 19 + qcsv = bnhn + sqtc + cbcc = dpmr / fsmf + vffw = 5 + bfdb = 4 + lfcw = rjqm * bphn + wwqv = pwtq * hbvq + bvrr = 16 + hvqw = lgpg - bgrt + rtql = 1 + fndt = 5 + npqr = 4 + gnzd = gjvr * gmgz + qwfw = hbbw + vzqf + mgnz = ldlm + jsjt + dshq = 3 + stgs = 2 + swwv = 2 + wtpl = htrz * csfz + fzhr = bmbf / mrjm + cgmw = wqrl * btgd + ghhc = fddg * vdmp + mnzf = szhl * crlt + lsvj = 2 + pbsn = rmlg - fbpw + jlzq = 11 + zzwv = 2 + mrvr = 12 + mdhl = mmzh - gwrd + wpmr = 3 + bdcw = hlsw + qhwt + lmbf = sfmr * wzfv + hndn = 18 + lqss = rbvr + mnhz + cvmj = rvzs * jrgj + qcnz = 10 + tdvv = pwfv * dsqb + gtgn = tmqq + jgwr + wqbj = mnjj * bljh + jcsh = 2 + dlpm = trdw + tslp + ztng = wwpj - ghhp + pprv = 10 + zsmv = 4 + gwth = 3 + vgjj = mhsn * rjrr + hsqw = dcpr * wfms + npnj = 3 + hvsj = 7 + hfjb = vpgg * sjcm + npff = ccrm - csgb + sthj = 2 + fjtg = rjsn + jwqb + tpst = psfr * dcqv + tpnf = hbtc * pwqj + zfmb = humn - znmp + qbqb = rbgm - rjgf + tjlg = 2 + gtws = wtsh + tlzt + pltv = 2 + ntws = wgzt + pgrl + tbpg = 2 + qdrp = zzfs + vbqr + fvjs = 5 + jcqr = 2 + tccg = jphm * jbqv + gldd = pwtp - vhqg + vtbn = qvfv - sjzh + znbt = mbzb * cspv + jdlg = rwmw + mjnq + fbbz = wrqs * jlzq + jsdz = 2 + glbm = jfbr * mddn + tvdr = fvjg - thgb + glvt = 9 + lptq = wqnm * rrpf + vsnj = glhl * zssl + llqv = 6 + fqzs = qzsv - zstc + mzjn = fgng + fhvd + gqtg = 13 + bhww = gzwj * rjdd + hhqv = ztwn * hnnc + cpbz = hdnn + sqrj + smmr = mmrz + jmvh + wdrp = 5 + qqdd = pmls * rsjz + nwnp = ddww / vmgb + czzb = 2 + mddc = nhrw * bjrb + rqmg = hmlv + mwhj + qrgf = tcwd * tprs + zshv = vnqc * rbfj + vldf = ghzr + wnrb + rprp = tfbz + dstt + rvzs = lctp + zshv + lqrb = qltm * rzzf + crrq = jtht + pbsn + hdpb = 5 + ldfb = bzbl * pnlz + mppz = qwhr + hsjl + rqqn = vsgq * wzth + bjrb = ncrf + bqgg + mmrw = cjzd + bhsh + lqhf = 4 + gzsm = pjwm + qmsc + hvzn = 2 + qgcn = 4 + rznw = 4 + cppm = 17 + rfzs = 3 + rfts = fdzl + qpdl + hvlg = 19 + hbbw = vfwh + pdrt + gwrd = fmlp * ptqp + dpmr = sbqc - bbrw + vmgb = 2 + lmgh = 2 + rlfc = 5 + rqzz = 6 + nlbr = 2 + pnlz = 3 + cdbz = 5 + ltsf = lnzd + jtrn + qrmn = 2 + hsdc = 2 + tmtn = 19 + pgmc = 2 + jsch = znzc * grtw + jstc = mcbs * mgph + cztz = 4 + cgwh = 2 + cggv = 2 + mqzc = 4 + vstg = 2 + cjzd = 4 + vrgr = 7 + tfdh = 6 + bnff = qztj + ftmr + rtcz = bbmq * jwrp + twdz = 13 + fzfs = 3 + mnhq = bchd + njgm + njnf = 3 + bvff = 4 + sdhz = 3 + qcst = 17 + bbfz = 3 + btpf = vnpb * bjst + bbjs = 17 + lgpg = nvls + bhwr + zgrr = qlrq * gwth + wgps = 2 + hwrl = 5 + vjmn = hjml + sqpb + ctpt = 10 + shpm = 2 + mqbn = 2 + sljf = 16 + whqw = 2 + dtvh = nsbn * mflw + gfzd = mfnh + rlqt + ntwf = zvpr + vhvc + pfdc = 4 + qpzq = 4 + hbmh = chwj + jnwd + bnwp = jcbl * dghg + nlsm = dhjc * gqbq + rbrt = vvjn + zgzh + sjfj = zhfg * fmqp + mdhf = dnfj + gbwc + qcrn = qwvz + pfdc + mnhz = qtvj * rngf + tqlr = 4 + dhgc = bzds + wvgd + zssl = 2 + cwvj = 2 + zztr = mpsc * lzcp + ctmz = 2 + dqcn = 4 + zqld = mbjv * tqdc + sfgt = hccs + gfrn + swmc = qngc + gmjd + bgrt = prjq + nglg + zvvf = 7 + tznj = mgnz + dvnb + vfbb = 10 + pqtc = rbfg + wvgs + rdnp = shtz + ltqj + lspv = 1 + mwjt = 2 + mmgt = 7 + mzqb = 5 + bgzb = 3 + fjws = 15 + qzjc = 6 + rszl = 7 + mwtl = rhbv * zlcr + qrpw = 5 + lzfs = qrgb * sczc + vsnh = sjfc + hzfs + wbwg = 3 + rcwr = 12 + qvtj = ntfc * cmzj + zvgg = 4 + nccf = rdhl * bndg + gpdb = vbsw + nhfb + dqsc = pght * mrqp + hnnc = dhgt * zwzg + bjst = qppw - chfj + wlhl = qbrs * dvnz + mcbz = wlsf * tpst + cnpv = 4 + mgph = 7 + bprq = pptd * wvwh + fsmf = 3 + jvlg = slwg - jhsc + lwpm = grtd * qqvt + flpv = wjhq + tqtf + vjwv = 2 + jhtm = 5 + zrgq = 12 + rbfj = 7 + msld = 15 + qqtv = 2 + fddg = 2 + htrz = 2 + fnwh = hlfj * mhmz + wngq = gdnw + wlmt + mfnh = 4 + bhsh = 5 + ngrw = 2 + wzdb = 2 + fjgm = 3 + jvdv = zjmm - dppj + jrjd = 14 + vbqr = 3 + dnlb = hqvc * nlbs + qrpj = tcpc + zsmv + vhqg = ztmf * fpjt + dstg = wgsh + qhmc + mrwd = rgzm + fbdq + tclf = 3 + fwwv = fqzs * hrvg + mcnd = ltcp * vjwv + lldn = qwtt * swmd + pmzr = 8 + qzzp = fzfs * qrgf + jfbv = 3 + jdqz = 3 + cbgn = rwjb * mrrc + vbvn = tmvn + trrg + jvcs = 10 + ctnm = bwvl * wwwj + crcv = 2 + glsq = wwwg * dlws + vwfr = 3 + csbn = 2 + jpsb = lmwb + lhmj + wzfv = 3 + fpvj = 8 + vhwd = gdgj + sspl + ljqw = qrql * pmzr + bchd = wwvf - sjfb + sczh = thjr * ffjl + sfmr = fbvr / bzbb + dmmn = 5 + bdsw = djbl * flcm + bfdv = dnlb + wnzl + gllr = 3 + dpcg = gsvv + jbrz + zbbt = 2 + lbbl = 1 + qzcd = 3 + dztl = vbvn * nfpq + pbwr = zfmb / hrhw + hdbv = ptbj + qsjp + mctq = 5 + sjcm = bjzh + mfjn + qttr = hbwf - hmsq + hdqs = 2 + hcpm = dnps + vgjs + rhbb = 3 + fgng = 10 + fmcd = qcnz * mjrb + bgwh = scrh * wwtg + tphg = sntc * jlfh + fqjb = 3 + wwtg = 4 + wvgs = 4 + bndg = 2 + rmrr = 2 + mcbs = dpjc + jhts + gfwh = 9 + dvpl = 2 + dcqv = gjjl * tznj + hwht = zjpf * lrzm + dwww = 4 + jtnv = 4 + zjqf = nnnn * jqdt + mdhs = 2 + cmwq = rtql + rzql + prql = 2 + vnjc = 2 + wtpr = 8 + mcsc = jmcz + fbzw + szqv = dsjd * mqbn + sbrf = 5 + mgpr = bhww + jsch + pwjt = 3 + lwgr = 5 + dcgq = 3 + cbjm = hzqz * rmvm + vqll = 3 + swls = 2 + vmrg = 2 + tfbz = jzbb * cnfm + fbfd = sjgw * bbgt + jbcq = 4 + frds = lqrg - fmvc + qltm = ppjr + tzhf + fbgq = nhrm / grpq + bnhn = 18 + hwgh = 12 + jlhw = hzjc * chns + tqtv = jcdg * fjhr + ctww = spgr * lqnw + jqvj = lwsf + rcrn + tvmf = mdhs * rsnj + vflt = mqzr / hcqw + pjdl = 2 + humn = 3705 + zffw = pqmf * ctvj + gzwt = jqzn - vptl + tmqj = 3 + tdrt = 13 + lpjf = 3 + ljtt = 2 + mzsr = 4 + mfst = dztl + hbmp + lmvf = 7 + schc = 18 + qrql = 3 + dqpd = 4 + pjfg = 2 + mcss = cgmw + pmqb + pshg = lsmd * qvdq + lnns = 2 + nqhq = mhbw * mrwd + gdnq = prmv + fdhl + mcgm = pbsq + ncqz + czph = ncnt * fnfv + dnps = fmzz * jfrm + rfcv = lzhv * rcmt + sqtf = qncv * mpzf + pltz = cwdd * rpff + zsrr = 3 + drns = 3 + dmjh = 1 + hqhr = 2 + tvmh = 2 + mjrb = 4 + thvl = wwqb + twff + gjjl = 3 + lpwr = 2 + gchm = pngg + rhdj + wrvl = 5 + sfgz = swmc * znzt + hpmc = 3 + nnpd = 7 + zbpn = mfps * jtnz + tprs = pmgn + gddl + szvl = rvnb + vdrs + mzhc = 6 + vtgl = 11 + qgld = grfn + pmjj + hznw = ntbs * psnm + hhtd = 2 + dtbn = hlcb + jdqz + ttnq = 3 + zdpw = pmmr + ztqs + pnqz = 4 + bgfl = 2 + dqgt = 18 + jvjh = dffc + wdbp + zwzg = 4 + jpfm = 19 + wszn = hmmf + jvdv + qqpg = qzlv * hznw + lctp = gdnq * nvrp + rvbt = ptmh * qwvh + qfmq = nppj * rhcc + tbnw = rsgb / dsvv + wrqg = bfdg * lbbz + sjfb = bljn * wbcz + gsll = 2 + lstj = 17 + cbgc = 3 + rpfs = qzzp * rffd + zgzd = fvgl + zgcw + vjfs = hwrl * cvcz + hfbg = twdz * hdbv + gjqp = bgpg - pvwh + tqdc = 5 + tnjh = sbrf + pjfg + ldgz = 5 + qgsd = zsrr * qqtv + ghzr = mbtw + fbvs + dptg = wclq * lcbf + fnds = rlmq / mnzd + wfdd = cmbb * grzc + mbbf = wstc + npnz + slgc = rcnm * rjlj + qztv = wlwm * msld + jjmh = lbpv / hcsb + pcdc = cvgr * rfzs + hvlh = msdb * cgcv + wgsh = 20 + dnld = 2 + jqnc = jrjd / tgsn + rfph = 5 + sdzz = 1 + nctj = sdhz * nnjg + fbvs = bfrg * vlls + qcnb = 2 + lfdr = 19 + hcns = 3 + hsrg = twhs + ftlg + vwcb = psgb + lsfd + hzjc = 4 + qqbm = nmwp + tccg + dmqm = nnvh + fcvz + jllc = ndmj * bdcw + lhmt = wzdb * nwnp + gftl = hcpm / bfrv + tqtf = czjc * mpfg + wwwg = 5 + thjr = 2 + tfbh = 3 + dsvv = 2 + hgsl = 5 + sfnl = pwrf * rfcv + rvvt = rmst * qmfp + bzbb = 6 + jpqb = gsll * lnmh + qsfd = 4 + vptl = bvrq * nwng + gdnw = vvcl + bpbg + cvcz = 2 + dztc = vdjv + vjmn + fvjg = hwgr / lwwq + dvgv = gnzd + ntwf + wsdn = wjcm / jwsn + plgl = 4 + lrmg = 3 + qrgb = jbbv * cdbz + hjsb = 13 + ctqv = 3 + qrst = 3 + nnqm = 2 + dnfj = 9 + lhds = 2 + hwgr = pwlt + slnf + tqpq = vmzm + thvl + trnr = 2 + cjlc = jhwj / gmld + wcgw = 16 + frpw = nbmj / zlcn + szwn = 12 + qpnc = fbzr + rlft + nmbc = dtsz + lpwg + znzc = 5 + lwcv = 2 + hcww = 2 + vsdw = 4 + jhwj = vphf * hwmv + tmvn = 15 + mcpt = mcnd / zzdt + lrzj = 19 + rngf = 2 + gszg = hqhr * zzvn + gnwp = 4 + wcsz = 4 + pgjl = ncwg + fwpp + gqsg = zwmj + qqpg + cmzz = 2 + vsgs = 13 + psvj = bnzm * zfgh + gtsh = wcjw + dflq + qpzd = tnmv - hhsp + fvmg = 2 + sbjf = 17 + nsbg = zbms * dtvh + jrpp = 2 + qncv = 8 + djzl = jrdw * jhvm + ddww = pnsn - lszr + zvvl = 3 + bfvr = zscv * lgfv + tnbp = 2 + qbjl = qjpj + szgd + shps = rcwr / szlp + czjc = 2 + njfj = smmr * vczm + jzmc = htwj * fqfs + drhc = 3 + qhwt = jbcq * psdd + rljg = mhbf * vplf + nlhw = sbwv * rjzg + zdbq = 2 + npbl = vvgb + lbbl + jhvw = 2 + jqsd = ltsf - gddd + mbjv = frqv * rznw + gsfj = 3 + szlc = 3 + ghhp = zspb * bgfr + fjlb = ppwb * mnsm + mlqv = 4 + htzw = fpcb + zddz + rcsj = qwfw / vnjc + fzdp = vtfv * mwqr + vpgt = 3 + cqnw = zhmh * vlgf + dvbg = qftf + ffms + nmnt = zqlb + cqnw + mzqw = dnsw * gwts + fdhl = gqsg + lbfn + rcsd = cpbz * pcrb + dmjr = nrqs * lvsf + wssb = 2 + sjhq = znpv * bhmq + swbl = 6 + pbwn = dmcc + ctmz + gvhl = 2 + stsn = nzcd * dshq + hssv = fwtt * bgzb + cllf = 7 + rwgp = qlzl * fcvm + jmcz = schc + mzjn + mhhr = rlhj + cfft + csch = wfmt * frpw + tpzh = 2 + mfnn = 7 + pwrf = 2 + mhbf = 5 + zffj = 6 + wgts = 2 + wnvc = ldgj * gtgn + mlvg = 4 + vlls = 2 + jcgg = wsdn * pgfl + mnmh = 13 + hbtc = 2 + sqwj = tjdg * mpbm + jcbl = 2 + mmzg = wdcw + ltzg + lgpj = 14 + mhsn = 10 + hlsw = 11 + szng = wtjg * lhbm + mgtd = 5 + tjdg = 3 + fdzl = 8 + tlmv = vjrj + qnfp + gzwj = tmsh - ggvg + cztp = dwww + gbzz + jjvz = 1 + vrtp = gnvr + gcph + hcqw = 7 + wgqt = nbbt - qqdr + fwpp = grnc * rszl + nltb = 11 + ffvc = 2 + dwjf = 1 + mrbt = jvwb - cbcc + vczm = 2 + tnmv = 10 + wzcn = jnnw + dmmn + dtts = 4 + zwtw = fnwh / wpmr + ptgf = 2 + zpfp = qhjn + tbjm + psgb = 1 + gnqf = 13 + wprn = gvjw + sjhq + hjfz = pscq * ghpl + rbvr = zgrr + nhgc + qwhr = mshb + nmnt + grzc = 2 + mwhj = 13 + zrmv = frmb + wsjh + zstt = 1 + qwsm = lwbp + hjqv + gmnz = 3 + zhww = 5 + rtfb = 5 + lfmc = gstp / qnpj + gjtl = bghn + chbw + wgfl = 2 + dttm = 3 + qcqm = gdtq * lsvj + twfd = plvz + dpvl + ncpc = 3 + gtjc = 4 + cnnh = trmb * gvhl + rzzf = 2 + dhjc = 3 + rcrn = mspd / trnr + wrqs = 2 + bvqc = lqrb + fcdp + spjv = 2 + vhtw = 5 + dvdc = 2 + dnsw = 12 + fvvc = 3 + tbsr = 2 + nccv = qvqm + smlv + ptmh = 2 + rhdj = 3 + jqqj = hdpb * mwgm + wtfc = 4 + spgr = zdjz + fnds + tpvs = tbpg * mdhf + jggh = dtbn + nctj + brcv = zzjn + nvfr + qddj = lspc * lmdr + dnpf = 4 + bwvl = 2 + ltdp = 3 + ffjl = vgdg + wzsr + jzrf = wgqt - cggv + lmpt = 3 + sspl = cccs + zvzj + lpbq = vpfn * mmpr + crpm = twlz + qhnv + qhps = gmpr - tdrf + sbwv = 8 + vgrj = 2 + vvjz = gtjt * chzd + mqsg = cprd * slsp + qdgn = bdfc * qcvd + zrgr = rphm * lmqj + ldhd = 4 + slnf = nmdc * bzpc + pmrz = mpfp * lqhf + mlls = lpmg * gzqv + dmtv = 2 + fmwn = pprw - zpqz + zjmr = 2 + gnvr = psjl + nnqm + qvdl = tslb * fnqc + lzqw = 5 + szmt = 13 + gbwc = wgts * bgsb + stjz = ssvp * swzv + jtnz = mbbf * ddhf + lrgs = mjbf * qlns + wqrl = 2 + sfgc = vrgr * sbnn + bzfw = srzq * nggm + fjhv = 1 + shtz = gqrt * btqt + gmpl = jfrg + vwfr + nppj = drns * dvjt + lnlb = tjlg * mrqr + gwgz = ldhd * qfpf + gpvp = mmzg / ntgd + gdtq = jlhw + zrmv + vqht = 7 + zszj = 2 + gmrz = 11 + hmsq = scrf * dzpd + gbjf = gvhr * gpdb + hcsb = 3 + jghl = hblv / rvcs + mdth = 2 + lbzf = 5 + ltgb = bjll * lhdz + rzsv = 4 + jgpw = qvtj / lnlb + gzqh = 3 + dzjc = 16 + gzvg = 5 + wzth = 14 + rtzt = clhv / jrpp + mjjt = 2 + qbrs = 7 + bgfr = 3 + mpsc = 3 + vjgn = 4 + jhwr = jlgt + hdrl + hjml = mvwb * rpwm + gcdc = qsfd + lzqw + jnwz = nwcl + plhd + vslq = fjlb + mnzf + tvhv = 2 + mffq = rprp + qgsd + gmgz = 3 + wgzt = tmtn + jzrw + wptw = cwpb / rtfc + gbvt = 4 + rbpm = gslh * mlvg + pgfl = 2 + dwsq = gpzz * mgtd + qslr = 2 + tslp = ldzd * jdvh + hbwf = lhmt / crcv + rsgb = qpzd * nhvl + bncg = 3 + mbpg = nvdz - bcpz + sqpb = 19 + vgbc = mgmm * qhld + mptw = wqtf * fvvc + cnfm = 3 + zrwt = 9 + zjtv = mbpg + pttq + qvdq = 3 + rdjz = 3 + ztwn = 10 + vgdg = 19 + mwrp = zpfp * zpgm + vczv = hfjb * pnhc + mljv = prhl * gnqf + fcdp = rcdt + gnrh + lqzn = 5 + hlcd = 3 + zpgm = wqbj * zwdn + qplb = qpvr - hzbm + csqq = 11 + pbsq = 8 + rrjj = 17 + fhvd = 3 + fwsw = sjqr + jpvr + mhbw = 3 + lppg = 5 + jntt = 3 + trqq = vtbn + hppv + ztmf = 7 + lgfh = snhj / tvmh + dghg = bprq / swls + psjp = 12 + cwsl = 2 + zlml = gwtg + hndn + bngb = 1 + bdfc = 4 + npvs = mfcp + jvcs + sfnv = hmgc / sllp + jwqb = fvjs * rtfb + lhqf = 2 + pprw = tmlm * bwrh + vbzp = 2 + pptd = 2 + sswz = pnqz + fpts + zmbc = sldc * hnpz + fmrw = bgfj * dttm + hgvl = 3 + shqz = 3 + wvpz = qwvg + tcns + rcnr = 11 + lqnw = 3 + bphn = 2 + frqv = 3 + fcct = 6 + gtmf = 2 + vmsf = jnwz + gdnd + tdrd = 3 + vnht = 3 + vgjp = 8 + cfjh = 4 + hlqb = cllf + wbzw + vtjt = 4 + mnzl = 2 + bjzh = 11 + ntpc = 5 + cfrf = 5 + grtd = 2 + mfps = rdnz + rgtm + cmbb = 3 + gmpr = 8 + pwtq = lvml + qcjh + cspv = 4 + fpcb = wjpl * tnnl + mqwv = 7 + qmfp = gzsm + lhrd + nbmj = zvvf * wrsq + hccs = 6 + sqqv = vncb + tqjr + wwwj = zmcb + ggpt + smjw = 8 + gzlz = 2 + lbfn = shgv * mljv + lrpd = 6 + qqcp = scwf / qctj + scwf = jqnc * lnwd + qgmp = 12 + sqtl = 1 + tgqs = 3 + pzsq = cnnh * dzvc + sjbb = hswd + jlhz + dcbz = dmjh + prnl + bjsl = vslq * vjnr + ncrf = 3 + dnqg = 2 + rwgf = 2 + hzqz = 5 + sdrn = qcst * rwrb + vphq = stsn / vnqg + qggg = bmmc + vhtw + fbbg = 4 + jjnv = 3 + wfms = pprv + ldfb + nlsf = 3 + vgjs = gprp * vnmn + jmnr = 2 + bqgg = 5 + jzdg = bnbz * qwhg + vtsd = 11 + cjbs = wszn * ldgz + mshh = lrlj + tqhr + sjtm = 2 + shjn = 2 + rjlj = zlml + mffq + bpsh = rfph * hgpp + qrqn = plgl * htmz + gfth = 3 + tqbh = 2 + dlpg = 7 + hfmd = 2 + mwgm = jrbp / wslm + hlcb = 4 + tptg = 17 + zpgc = wbgs * jcqr + zlcn = 2 + sqsh = 3 + ffvn = 3 + gmld = 2 + jddt = 2 + fqfs = 3 + zgcw = qcfb - tzzr + sbmj = dtpz + fwwv + lbcr = 5 + vrhl = 2 + wcmp = 3 + djbl = bvqc + chgs + fzzv = rdsp * qndw + dzvc = 8 + bljh = 4 + gzrq = qbjl * lhrv + vfsg = wwqv + fjdr + bbmq = 5 + rrpf = 14 + zrfs = 3 + zfrm = 1 + qvnp = tlmv + tpnf + pfff = bhwn * lhnr + lgfv = 3 + nqwd = zmrz * mnmh + vnpb = bvrr + sljf + bzgv = bscm + nglb + tqjr = 18 + hmtb = 4 + lvml = 15 + gqbq = 3 + pwtp = jqvj * zfgq + rcnm = 4 + qfjr = wpnl + jsqn + zdjb = 6 + cccs = 4 + szsc = 9 + sblz = 8 + qgwm = bqfv + zvgg + tggw = dvpl * lhjl + jjlm = vnlt * zcmz + zmcl = 2 + nhfb = mmpc * wfgs + gddm = bdgj * pcdc + sjgj = cbnh / mchb + tlzt = dnqg + ntws + ggvg = rqzz * lwcv + pchb = qfjr + sdzz + swsd = trhc * dqgt + tzvz = zfrm + bnwp + jgml = 9 + gpsz = 2 + gphz = lspv + nntq + mrqr = 3 + fwrp = 2 + frfm = 5 + rzcl = vcsd * mjlf + nzcd = 7 + ppms = qbsd + mvhr + zgvw = fgfd * sjbb + twmj = 6 + sqtc = tpvs - jjnm + bhzh = cqpd / njvw + bnbz = cppm * dzln + pcwf = 3 + rfhv = nvgj * mhhr + dfpp = qbqb + vtgl + nrqs = 2 + rsnj = gchm * qdjm + lrzm = dlfm / fcct + gprp = wcdt + qmzh + rgzm = 5 + zhfg = 8 + jphm = gzcg * jvvt + tsfc = 3 + psnm = dstg - ctgj + pztt = vrhl * gjqp + qcfb = bzqg * gzqj + cdth = 4 + qflh = sspw + sblz + nvgj = qmbj + cjfz + mpfg = hbsl + mwrp + jrbp = mqpc * mbbg + wsqj = 3 + wmvv = 4 + hhnt = qblr + qvdl + mljr = 2 + nnjg = 4 + lhrv = 2 + vvcl = rjcv + jzrf + mnsm = tsgb * hlcp + zznh = wpns * wwbg + jsmm = mgvq - mzqw + rncp = 17 + mgnl = qntf * lmpt + zmcb = btgl + ztfh + qlgp = 3 + qcvd = rwgp * hcww + chbw = 14 + mbzb = 2 + qqdr = lhqf * gmpl + shwg = 3 + mhjp = 3 + ztqs = djzl * stjz + fbpw = dnqj + wpmg + gmvz = 5 + rcdt = gptp * szng + qntf = 2 + fnfv = 3 + lqlt = zcbt * hvzn + pwqj = zwtw - psfj + jfbj = 5 + mgzr = rmjs + qzcd + htrp = zdbq * hsrg + lqlr = 3 + bgsb = 4 + ndsl = jggh + ffhs + wfmt = 3 + wwpj = hfmd + sfgz + tcns = mpqb * dlpg + fjhr = 4 + jpvr = zcvw * shmz + qtvj = fwfq * vjbm + rjzg = 2 + pcrb = 2 + rvnb = 10 + bgwd = 2 + bsnr = 7 + bfdg = 2 + wbcz = smdv * fndt + fbvr = pqtc * jhwr + lhtj = 3 + tmsh = njst / scjl + sftz = 3 + wdfz = 4 + hmgc = pswd * psbd + nvls = 19 + cwvw = sthj * pchb + hrvg = 3 + zspb = 3 + nbbt = scpn + twfd + phsl = 6 + scrf = 3 + chhp = vwmt * cwvw + sslp = 11 + zlcw = 3 + lrlj = 12 + pvbc = qwgr * qgwm + fcvm = sfgt + wtfc + whnd = 5 + vvdr = 9 + zpvn = mbss + qsgq + pmjj = psbv + wrqg + mmpc = 5 + nmgs = 3 + ghpl = 2 + mrjm = 2 + stns = 1 + hwmv = bgwd * hljq + fdmq = ffvn * zpvn + hjqv = jdlv * fprb + bqfv = nvdv + tqtv + vlcw = 5 + cjfz = 4 + bfvg = 3 + nhrw = pnhr / hvsj + frmb = glbm + znbt + nlbs = 3 + bhmf = wmvv * fwwh + tmsz = 6 + vdjv = 8 + zstc = 7 + mfqr = wdrp * slmq + vnmn = 3 + plhd = szlc * jtnv + bvth = sftz * qtmg + lswh = 5 + mhmz = 7 + ldlm = 17 + zzfs = 4 + bjll = 2 + jlpp = lsng / jrzs + mbhc = mlgm - tnjh + wfgs = 2 + sbvb = hhqv + nqhq + ntbs = 2 + tzdb = llzs + wngq + jjdb = 15 + qghr = 3 + twtm = 2 + fbdq = 2 + wjqv = 2 + hjmr = 3 + dsrt = 2 + sddg = jjnv * szgj + rmst = 2 + rfpg = 2 + hhsp = 3 + gzqj = 4 + jjnm = hgsl + qjwv + mqpc = 2 + cmrj = 13 + twlz = lhds * dhgc + mchb = 4 + qcjh = 4 + swmd = 5 + wslm = 2 + sdwm = 3 + bzfm = fjzc / cwvj + prnl = pnsf * bmcs + hlcp = lfmc + rqqn + nsbn = 2 + vjrj = bztz + vmhl + shgv = 2 + csgb = 3 + fmlp = pgjl * nngg + dssb = qvbv + tfdh + slsp = 11 + rjsn = fbfd * szjr + vfwh = ctrq + cmrj + msdb = 16 + fmlt = 5 + jdqs = 2 + pjzl = 2 + zjmm = nflz * hjsb + mbss = 2 + brfj = 2 + nhpg = 5 + fjzc = vqlg * tzdb + nggm = hmtz + lrpd + jqjn = 4 + cjwj = 3 + jddd = 3 + psdd = 3 + bzbl = 3 + pjwm = 17 + nwng = 7 + qwgr = 8 + gmjd = dcgq + mqzc + mflw = 3 + fvgl = 20 + tgcm = 3 + gwts = 19 + qhld = 2 + hbmm = 7 + jrzs = 2 + nhgc = 8 + rcbp = fbgq - wqjg + tlqq = ngjs * rljg + vqgq = plds * mvqd + lfcr = 1 + dffc = dmtv + fzzv + vtfv = rtcz + gcch + qlrq = fpvj + gcdc + rffd = qgld + mljl + jnwd = 8 + lhbm = 5 + lpdb = 5 + bmcs = 3 + tbvn = bphv + fjws + ftmr = 7 + qwhg = szqv + gfwh + gbzz = 6 + gvfj = lwpw + btwg + nwsb = 18 + cvgr = 7 + bgfj = 3 + bztz = 7 + rzql = gtmf * gmrz + qbqc = csnr * lrth + rlhj = sfnl * jfbj + bwst = pwjt * nccv + shvb = 14 + qwvz = tsfc + dvgv + psjl = 5 + lhdz = 5 + rwmw = sjtb * bbfz + ccmh = frds + rmtm + hfjz = bvff * mlqv + bdvl = 20 + lcbf = cztz + dzjc + bbnj = 5 + mnqv = 5 + ndmj = 2 + jsjt = wlfc + hdff + tsgb = 2 + qmbj = 9 + tffm = zcwf / zjmr + bmbf = nqgz * zdjb + jdlv = gzqh * jvjh + bmmc = 8 + szjr = 4 + dwdz = frfm + shvb + gzqv = 2 + gnvg = 3 + jqdj = 5 + scrh = lfdr - tmsz + rcmt = 3 + mrdv = 2 + jhsc = 2 + nnvh = bnsh / jsdz + snzz = 11 + drch = 7 + rdzs = bvth * gnwp + jvtt = 3 + httv = qrqn + tzvz + zjpf = 2 + htlb = mnhq / qfnr + gvhb = bqcp * nlsf +) diff --git a/day21/sol.py b/day21/sol.py new file mode 100644 index 0000000..a32b291 --- /dev/null +++ b/day21/sol.py @@ -0,0 +1,26 @@ + + +import sys +import z3 + +x = z3.Int('x') +def mul(a,b): return a*b +def div(a,b): + quo = a / b + return z3.If(z3.Or(a % b == 0, a >= 0), + quo, + z3.If(b >= 0, quo + 1, quo - 1)) +def add(a,b): return a+b +def sub(a,b): return a-b +def num(a): return z3.IntVal(a) +def eql(a,b): return a==b + +z = eval(open("expr.py").read()) + +s = z3.Solver() +s.add(z) +print(s.check()) + +m = s.model() +print(m) + diff --git a/day21/sol2.go b/day21/sol2.go new file mode 100644 index 0000000..de502f1 --- /dev/null +++ b/day21/sol2.go @@ -0,0 +1,2054 @@ +package main + +import "fmt" + +func main() { + fmt.Println(root) +} + +func eql(a, b string) string { return fmt.Sprintf("eql(%s,%s)", a, b) } +func mul(a, b string) string { return fmt.Sprintf("mul(%s,%s)", a, b) } +func add(a, b string) string { return fmt.Sprintf("add(%s,%s)", a, b) } +func div(a, b string) string { return fmt.Sprintf("div(%s,%s)", a, b) } +func sub(a, b string) string { return fmt.Sprintf("sub(%s,%s)", a, b) } +func num(a int) string { return fmt.Sprintf("num(%d)", a) } + +var ( + mlgm = mul(dssb, wjbz) + ptqp = num(2) + ncnt = num(5) + hzfs = mul(gbsq, fbbz) + htwj = mul(qcnb, rlmh) + qlzl = num(2) + hrfp = num(5) + hbsl = mul(ddqr, ffgz) + vcsd = num(2) + pght = num(17) + mvwb = num(10) + mmpr = num(3) + mhhm = add(rcsd, cmbv) + ldjn = num(4) + rjcv = div(qqbm, qlgp) + hbcq = mul(hmtb, mzsr) + ctgj = num(7) + qzjg = mul(mwdq, fdfd) + bpgs = num(3) + qfpf = num(2) + ztmc = num(3) + thpt = div(lsrn, wsqj) + zwmj = mul(tdsz, drch) + btgl = num(3) + jnpp = mul(hdpn, hrfp) + lbbz = mul(cfww, prtb) + sbqc = mul(rmrr, ppms) + fprb = num(3) + hvmh = num(8) + sznb = num(9) + nstl = mul(fmcd, zwml) + gwtg = num(3) + rmtm = num(14) + dprf = sub(nccf, jnwn) + gtjs = add(gfgq, shbd) + mnjj = num(2) + dtdm = num(6) + wchv = num(4) + tqjb = add(tncc, gpvj) + zcwf = num(12) + nhrm = add(dvwr, htlb) + wrmb = num(19) + rjrr = num(3) + dcpr = num(2) + zpqz = num(2) + bgvb = num(3) + pdrt = add(zctw, npqm) + ftzd = num(15) + nvdv = mul(pfmm, lpjf) + wbmq = num(5) + cbnh = mul(pgdp, fnnc) + ldvc = num(6) + bbrw = mul(glvt, hvqw) + gnwd = mul(fdmq, gfth) + tvwm = mul(pltv, nrmf) + gcch = num(4) + wpnl = num(3) + rhbv = div(wtpl, vtcg) + flcm = num(3) + tcwd = num(2) + zlph = num(4) + mddn = num(5) + gqrt = mul(nnpd, ctnm) + qsjp = add(fzdp, vzsg) + pwlw = num(3) + fgzn = num(4) + fpfj = num(18) + jfrg = num(8) + pgrl = mul(dnld, pdmm) + wdcw = add(jdpt, zsqb) + nnll = add(dcmm, cztp) + vvjn = mul(pmrj, qzjc) + jnbb = num(12) + dwzs = num(3) + lfqp = num(5) + nlzp = mul(pcgz, mjpt) + jbrz = num(11) + mvfc = mul(cfjh, tcll) + ntst = add(trnf, swwz) + brhf = add(mcss, lrzj) + fmjt = mul(mhjp, zlph) + gpvj = mul(qnrh, shpm) + nnjb = num(17) + hntz = num(2) + wzsr = mul(rgwr, rwgf) + rsjz = mul(sfnv, dwnf) + qpdl = mul(prql, thwj) + hqds = num(2) + swlc = num(3) + zzdt = num(2) + vsgq = add(sqtl, vvdr) + zwdn = add(vpgz, mmrw) + hmmf = mul(vgbc, vgjp) + gfrn = num(13) + cfww = num(2) + plvz = sub(qfmq, lqlt) + nglb = mul(bfdv, lrmg) + vdrs = mul(shjn, rtnv) + ttjg = mul(jnbb, chhb) + jlsm = mul(rbwl, lnns) + zhmh = add(czsn, zdht) + sjqr = mul(pclc, lmrj) + dsqb = num(2) + vddn = num(5) + sjzh = num(17) + dcvl = mul(nlbr, gszg) + wwvf = mul(pjdl, gdrj) + bbbj = add(dwsq, chgm) + mssl = mul(lcgh, gphz) + grfn = mul(mgzr, hnvz) + spqt = add(czph, shps) + wtsh = num(18) + qblr = mul(qflh, cmwq) + czng = add(glsq, tclf) + rcbq = add(jjlm, bwst) + dwmz = mul(vmrg, zcdd) + vzsg = add(lgrr, lhmf) + flvt = sub(qjzj, dtdm) + lgrr = mul(mbmr, hfww) + wlmt = mul(htrp, pgzb) + dzln = num(2) + tjmw = num(1) + grpq = num(10) + szgj = add(rhjh, cpjw) + rhcc = num(3) + rwrb = mul(btvv, dqrg) + ncll = add(gzrq, mffv) + tcll = sub(jpsb, nqwd) + rsrh = add(spds, vcpq) + gsnv = num(2) + rphm = num(12) + bzqg = sub(bpsh, jvfh) + jdvh = num(4) + zpcw = add(brfj, btmp) + mfld = add(ttjg, gtws) + dzmg = num(2) + bghn = add(gqtg, gvff) + rlqq = sub(tbzl, lcpv) + mlcg = num(3) + rdnz = add(rdnp, jfdb) + qqvt = num(4) + wvwh = num(13) + mljl = mul(nsbg, bfvg) + zfhs = add(qnqc, pztt) + rqdc = sub(nflf, prhq) + root = eql(rcsj, zfsf) + wstc = mul(rpbc, gwfp) + lnzd = add(dwwp, czng) + zlcr = num(3) + hbvv = add(svdn, jzdg) + vsnl = add(smqm, tptg) + ldzd = num(6) + wpsg = mul(jftj, ngrw) + wgjf = num(3) + npqm = add(gbvt, njnf) + rwjb = num(3) + nnqd = num(4) + rdlm = mul(ljzj, hcns) + lqrg = mul(ntpc, pbwb) + tpqw = num(8) + lsrn = mul(prgt, dmtc) + hlfj = mul(hqds, hgvl) + pwrh = num(3) + vtcg = num(2) + fnnc = num(2) + csfz = num(11) + nzbn = mul(bmqg, fwrp) + nqcg = num(5) + swzv = add(wdft, ljtt) + tbtn = add(nzbn, wzcn) + twff = num(2) + rndm = num(2) + tdsz = num(17) + qmzh = num(20) + gstp = mul(vqpd, ttnq) + ncqz = sub(dlpm, ptgf) + ctrq = num(2) + bnsh = add(tvnr, lfcw) + lmdr = num(2) + chps = num(16) + glhl = mul(ghvv, jqsd) + qmvm = num(3) + njgm = add(vjgn, tpcn) + qtjf = add(jplf, tlnw) + qnqc = mul(hssv, wrmb) + prtb = num(7) + ncwg = num(12) + flqr = num(2) + wdrv = num(5) + pmgn = mul(sfsj, wgfl) + vmrs = num(5) + pqmf = div(trqq, blsb) + rmjs = num(3) + qpvr = mul(fmwn, dlpp) + pqzq = add(snzz, vldf) + hblv = add(mqsg, lrgs) + dsjl = add(rdjh, lfqp) + sspw = add(nswz, wcgw) + nngg = num(4) + qzsv = mul(ggdg, tdrt) + mshb = mul(cbgn, pqjz) + vnqg = num(3) + cmbv = add(rfhv, ljdn) + swsm = num(4) + vtbt = num(4) + sjgw = num(3) + lnwf = mul(dbbv, jvlg) + whzm = mul(cfrr, qrpw) + vtsq = add(tbsr, mgnl) + bmzt = num(6) + bcpz = num(9) + vjvd = mul(pzqq, wgjf) + dwnf = add(bpnp, hlqb) + dlws = mul(fthn, mqmd) + dwtj = div(bdvl, twtm) + pcgz = num(3) + lbpv = mul(jvtt, crrq) + vbsw = num(1) + wqnm = add(mzqb, hjtw) + wprh = num(3) + cpjw = num(6) + pvwh = mul(gnvg, gtsh) + hbmp = add(jzmc, mctq) + jrgj = mul(jsdf, mtgd) + dhgt = num(5) + bbgt = num(2) + ffgz = sub(qqdd, phrz) + zbms = num(3) + pgwb = mul(zrfn, gvhb) + bsrb = add(zrtn, dcvl) + mqzr = mul(tbnw, hdgz) + tmlm = num(3) + shmz = num(8) + dvjt = num(3) + fqnd = mul(lpbq, wjqv) + vtvb = mul(dvtj, nltb) + bscm = num(2) + lhjl = add(stns, rgnf) + pzqq = num(3) + wnqv = add(vwbt, vjwr) + qmsc = add(bshb, phqn) + mjpt = num(4) + bmqg = mul(pfff, rndm) + lhmj = add(pmrz, rdlm) + mmrz = add(rqmg, cbgc) + tgsn = num(2) + tcpc = num(3) + wgcw = mul(gqrg, twmj) + lvsf = mul(qwwh, qrmn) + qjpj = mul(mljr, lpdb) + hjlh = mul(lwgr, jbth) + tdrf = num(1) + grdm = num(3) + zddz = mul(dztc, wpsj) + lnwd = num(2) + nflf = mul(fqnd, flvt) + stgz = num(4) + bjcg = add(bfdb, hbmm) + zsqb = num(1) + vcgs = mul(sdwm, tgqs) + rmdl = mul(mppz, dslv) + pjlw = mul(flrs, lhtj) + zzvn = add(brhf, qcdg) + wbzw = mul(sqsh, gwgz) + jnnw = mul(cjwj, zffj) + gpzz = mul(ltgb, zlcw) + dpnb = add(prvr, hwgh) + lwpw = num(1) + npnz = sub(qcsv, hpbn) + ppjr = num(20) + bqcp = num(2) + lpmg = num(13) + rdhl = add(jtqc, pvbc) + zctw = mul(tlqq, pnrq) + wnvw = add(vczv, zbpn) + clwz = num(2) + pbzv = num(2) + dbbv = num(3) + phqn = add(wfgw, qbwb) + fcvz = mul(dcbz, vsnl) + ltzg = sub(thpt, wlhl) + pdwg = div(qbrv, qbzz) + tnzd = mul(vffw, jqdj) + fgfd = num(2) + fvld = num(2) + sjfc = div(tvvs, npff) + rbfg = num(3) + pclc = num(13) + jlfh = add(qdrp, cjlc) + lsmd = num(2) + zrtn = mul(whzm, ndsl) + chns = mul(lqlr, cjjn) + cwdd = num(4) + fspj = mul(dtts, jmnr) + hhms = sub(sbtw, vsnj) + qgph = num(3) + slmq = num(7) + btzq = add(sqqv, tqpq) + pmjs = add(wnvc, dhjs) + pwfv = div(sczh, jcsh) + zvzj = num(17) + lmrj = num(5) + prgt = add(gpsz, zffw) + dlpp = div(mptw, tdrd) + cgcv = num(2) + qndw = num(3) + mgmm = num(4) + brcn = num(2) + hnmc = add(zfnz, dmqm) + sbnn = num(5) + tpcn = mul(prqp, spqt) + pdmm = num(4) + mdvd = num(5) + lzhv = num(2) + zvpr = num(1) + qbrv = mul(fghj, qdgn) + vdcr = num(5) + gzcg = num(3) + qnfp = add(vjfs, dvbg) + mbnw = sub(rtzt, zvcq) + bdtg = div(rfts, wcsz) + tncc = sub(zznh, jgml) + trrg = num(16) + chgm = mul(brcv, vqht) + mqmd = num(4) + slpg = mul(gsnv, qqcp) + rjgf = num(3) + vpgg = add(pdwg, wprn) + bzpc = num(13) + pnhr = mul(hwht, vphq) + chfj = mul(whqw, qzjg) + chhb = num(5) + ztcz = add(qhzv, dwdz) + dcmm = num(3) + shbd = add(fbfq, shlt) + qtmg = add(jjvz, ctpt) + ldgj = num(2) + cwlt = mul(mnzl, qgph) + twbh = mul(wbmq, jbjh) + lrqd = num(2) + csnr = num(5) + fwwh = num(3) + pngg = div(bgwh, lmgh) + qppw = div(vsnh, zpcw) + prmv = mul(cpvn, nqcv) + hsdf = sub(rvvt, tvmf) + zvcq = sub(tnzd, mdth) + zfnz = add(qtjf, tvwm) + jwsn = num(2) + whgr = mul(mvhg, fmlt) + fthn = num(2) + dfnq = num(4) + jmrv = num(2) + znqf = num(2) + zrtw = mul(gpvp, lswh) + svfd = num(3) + rlqt = mul(hjmr, grdm) + smqm = div(rdzs, zvvl) + hdpn = num(2) + dwwj = add(mnnf, crst) + mpfp = add(nwgq, wcmp) + btmp = num(7) + szgd = sub(smjw, fjhv) + dvnz = num(3) + grnc = num(5) + pbwb = num(9) + jdpt = num(5) + dvwr = sub(sjfj, sbvb) + lcpv = mul(dbjq, qddj) + whdh = num(3) + mvhg = num(3) + tvtm = add(tpzh, dgnj) + qnpj = num(3) + rlmh = num(5) + jtqc = mul(htsm, rlqq) + mgvq = mul(tlqt, mbnw) + hmlv = num(1) + qswc = add(gzwt, htzd) + tslb = mul(cwlt, lpwr) + cswf = mul(jghl, zszj) + pmmr = mul(rlfc, mssl) + rbdb = num(3) + wwbg = num(17) + jbbv = num(2) + vhvc = mul(wssb, rhfw) + psbd = mul(npnj, dwwj) + vjnr = mul(wnvw, szmt) + trdw = add(ctqv, dqcn) + fpjt = sub(vcgs, lqnp) + tvnr = mul(hsdf, gmnz) + szlp = num(2) + nmwp = mul(gfqt, hfjz) + trmb = num(4) + gsvv = add(bpgs, hsqw) + qvbv = num(3) + psbv = num(9) + qnrh = add(tnmn, vlgm) + nqtd = num(4) + bhqn = add(chhp, mfst) + vvgb = mul(csqq, gfcb) + qcdg = mul(bfvr, pwlw) + bhwr = mul(zzwv, rrjj) + gvqq = num(3) + tbjm = mul(pjzl, srpt) + jlhz = mul(tmbs, rdvd) + cwpb = mul(tffm, jlsm) + qmcs = num(3) + nvht = num(4) + flnv = mul(jhvw, snts) + hdnn = mul(nnjb, rncp) + vpfn = num(2) + nncq = sub(zjtv, sndh) + qmrn = mul(cgwh, sslp) + smdv = num(5) + tzmg = add(qgcn, jllc) + rhfw = num(7) + wqtf = num(7) + ntgd = num(4) + gddd = mul(jpfm, fvmg) + gwfp = num(3) + sndh = num(7) + zwml = num(8) + dlfm = mul(fjgm, qwsm) + wlgn = num(7) + ggdg = num(2) + ccrm = num(10) + fwfq = num(11) + bdgj = num(3) + fqpl = num(16) + jvvt = num(3) + hdgz = sub(rpfs, mddc) + gddl = num(1) + jztz = num(3) + pgdp = div(mvfc, hzsn) + vmhl = mul(llnt, qrst) + qdjm = num(2) + plds = num(2) + zfvl = num(5) + qmhp = sub(szwn, qmcs) + dtpz = num(11) + cpvn = add(vgrj, hvmh) + lzcp = mul(nnqd, lzgc) + qvvs = num(1) + ngjs = num(4) + jbqv = num(6) + pfmm = add(sznb, rzsc) + prvr = num(7) + fbfq = num(4) + fjgc = num(8) + zcmz = num(17) + nhvl = num(2) + dsjd = add(mlcg, tpqw) + zcbb = num(3) + mnnf = num(4) + wjhq = mul(zfhs, bzfw) + mmqn = mul(fmrw, gllr) + dmcc = num(5) + zfrn = num(4) + phrz = mul(qgmv, hhnt) + qfnr = num(2) + btgd = num(13) + gnrh = mul(rdjz, nmbc) + rgnf = mul(lmhr, cfrf) + rmvm = num(5) + zgzh = add(dpnb, wfdd) + jsqn = num(3) + clhv = add(dwtj, btpf) + nfpq = num(2) + twhs = num(3) + jvwb = add(mcbz, bjsl) + dvtj = num(13) + qsgq = num(5) + ghvv = num(4) + rzsc = num(2) + qvfv = sub(pqzq, cdth) + hzmt = num(4) + mpbm = add(vgjj, gfzd) + wclq = mul(rbdb, wrvl) + lmwb = add(tdlw, wscg) + rdjh = mul(vstg, dpcg) + qzlv = num(4) + gslh = num(2) + hhch = mul(tmzs, qggg) + rhlr = num(8) + lspc = add(bsnr, wchv) + gdrj = add(prnv, wcvd) + wqjg = add(dptg, vfsg) + nvrp = num(4) + rdvd = num(3) + qjwv = mul(jddt, tfbh) + shcw = sub(httv, fmjt) + lnmh = add(njfj, dqsc) + zdht = num(3) + zscv = num(4) + msqs = add(gvfj, btzq) + wpmg = num(4) + jtht = mul(hlcd, whnd) + hljq = add(phsl, sfgc) + jhts = num(1) + gtjt = mul(fqjb, qrpj) + vjwr = mul(tnwv, gtjs) + hswd = num(5) + tvvs = add(sjgj, qlfs) + wlsf = mul(sjtm, flpv) + crwl = mul(jgpw, fnzw) + zzjn = num(5) + fbzw = add(qmrn, lmbf) + gptp = add(zcbb, tqlr) + hpbn = num(3) + vqpd = add(vtvb, qztv) + fghj = mul(shwg, hbvv) + jcdg = num(4) + crst = num(3) + pswd = num(2) + zrqm = add(pjlw, slgc) + zfgq = num(2) + fdfd = div(jpqb, zmcl) + ntfc = mul(qdsm, fvld) + swwz = add(sbmj, sdrn) + rlft = mul(jfhm, pbwn) + dgmc = num(2) + qftf = num(4) + wvgd = add(rzsv, qpzq) + fnqc = num(8) + mcqn = num(10) + htzt = num(5) + ljzj = add(ncll, zzqf) + tlnw = mul(mrzn, flnv) + mbbg = add(zztr, zstf) + sldc = num(2) + htzd = num(4) + psfr = mul(bzfm, qhps) + mppn = num(12) + ltqj = add(gftl, cjbs) + vplf = num(2) + dhpr = num(5) + pqjz = add(sqtf, mgpr) + wsjh = mul(vbzp, spvq) + sllp = num(2) + rdnf = add(fjtg, bnff) + hbvq = mul(mdvd, vmrs) + qbsd = mul(shcw, bhmf) + jfdb = mul(qzmz, tbtn) + mhpc = num(5) + sbtw = mul(rcbp, tnbp) + jvfh = num(3) + njvw = num(2) + rbwl = add(zstt, vhwd) + mbmr = mul(mcqn, lqss) + qwtt = num(5) + sbwq = num(20) + prhl = add(mlls, csch) + hppv = mul(rhbb, shqz) + nmdc = add(nncq, qvvs) + vdmp = add(pshg, nqcg) + nwcl = add(vsdw, ztng) + bfvm = num(2) + gvhr = num(5) + trhc = num(3) + tnwv = add(jztz, jqjn) + lwsf = mul(nvht, fpfj) + prjq = num(2) + tzhf = add(pzsq, jjmh) + vpgz = num(2) + ptbj = mul(tdvv, nstl) + vlgf = num(7) + sfsj = num(5) + gvff = add(vjvd, dwjf) + tqhr = num(18) + mffv = mul(whgr, vnht) + mrqp = num(7) + ssvp = num(4) + tflv = num(12) + bhwn = num(2) + qvqm = add(chpb, vtsd) + cprd = num(3) + sntc = num(4) + psfj = num(1) + dpjc = mul(swwv, bmzt) + lpft = num(3) + gjvr = num(5) + snts = num(9) + jrdw = num(3) + ztfh = num(3) + smlv = mul(ldvc, nlzp) + jgwr = num(14) + znpv = add(ljqw, gzlz) + mmzh = mul(htzw, csbn) + llnt = num(2) + sczc = mul(hvlg, lrqd) + thgb = mul(bmnw, svfd) + bshb = mul(npqr, dnpf) + rtfc = num(3) + mrzn = sub(ztcz, wdqz) + brfq = add(gddm, lzfs) + smjh = num(5) + gdgj = add(vfbb, vrtp) + nvfr = mul(djwn, dsrt) + nrmf = mul(tlwr, ztfb) + vjbm = num(2) + vcpq = num(9) + jqzn = sub(pvph, wpsg) + chpb = num(18) + fjdr = add(lldn, jccs) + htmz = num(4) + bpbg = mul(mcsc, tvhv) + pnhc = num(7) + spds = mul(cnpv, vtbt) + pmrj = mul(qmhp, ltdp) + rpbc = add(swsm, tmqj) + hdff = num(2) + btqt = num(17) + wtjg = num(5) + cqpd = mul(nnll, clwz) + wpns = num(2) + lqnp = num(2) + gqrg = add(ntst, rcbq) + zstf = num(5) + hsnc = num(2) + vnlt = num(14) + pnsn = mul(ghhc, lbzf) + thwj = sub(bdsw, pgwb) + pttq = mul(dvdc, rvbt) + svdn = mul(pmjs, swlc) + qwvh = num(6) + dvnb = div(wptw, rsbs) + chwj = mul(mfnn, pmss) + shgs = num(4) + zfsf = mul(cvmj, hfbg) + wbgs = num(11) + gfqt = num(3) + dppj = mul(zbbt, mzhc) + vmzm = mul(bgfl, wtpr) + nljh = mul(pbzv, mwtl) + tnmn = mul(stgs, bjcg) + slwg = mul(vlcw, gzvg) + gdnd = add(mshh, dfpp) + rgnz = mul(hntz, dmjr) + dnqj = mul(gvqq, lbcr) + cmzj = num(3) + nnnn = mul(jntt, cwch) + wwqb = num(5) + pscq = add(nnpb, vvjz) + wscg = num(14) + bfrg = num(3) + lsng = mul(wvpz, wgps) + qhnv = mul(nmgs, szsc) + hswm = sub(jjdb, sngh) + cwch = num(3) + rmlg = add(dgmc, lnwf) + pmls = mul(hsnc, qcqm) + dpvl = mul(rbpm, vddn) + lwwq = num(4) + vphf = num(2) + djwn = mul(ncpc, bncg) + dsvb = mul(rcnr, zfvl) + tmbs = mul(mjjt, ldjn) + hgpp = num(2) + mwdq = num(2) + qwwh = add(drhc, vtsq) + gfcb = num(3) + hnvz = num(2) + btnn = num(13) + lhmf = mul(qvnp, mhhm) + nnpb = num(5) + hsjl = mul(wdfz, zdpw) + bnzm = num(2) + rpff = div(tphg, hzmt) + hzsn = num(2) + btvv = num(3) + mtgd = num(3) + ddhf = add(swsd, ghhh) + prnv = add(pltz, lwpm) + zmrz = num(7) + nglg = num(4) + lmqj = num(2) + jzbb = num(4) + rvcs = num(3) + wzfh = add(hswm, lfcr) + cjjn = div(crwl, bgvb) + sqrj = mul(qttr, rfdz) + hnpz = sub(npvs, swbl) + qlfs = mul(zgfr, hhms) + hfww = mul(htzt, jlpp) + vhlg = sub(zqld, qpnc) + pnrq = sub(zpgc, wdrv) + zqlb = mul(tgcm, zjqf) + tlqt = num(2) + znzt = num(4) + tmqq = mul(czzb, nlhw) + jsdf = add(bhqn, tbvn) + tbzl = div(hnmc, vtjt) + ftpf = sub(bdtg, wrvp) + qhzv = mul(zhww, zfrn) + qctj = num(2) + qztj = num(11) + fmvc = num(6) + szhl = mul(twbh, lqzn) + ztfb = num(2) + bphv = add(dzmg, mcpt) + lmhr = num(2) + hmtz = num(1) + jftj = num(4) + wrvp = mul(nhpg, gbjf) + rfdz = num(5) + wcjw = num(10) + qbwb = num(15) + dqrg = num(3) + nqcv = mul(mwjt, ccmh) + jplf = add(crpm, zmbc) + spvq = num(4) + fpts = num(3) + rsbs = num(4) + mgzq = num(3) + cfrr = num(5) + cfft = add(sddg, mbhc) + ctvj = num(5) + scjl = num(3) + srpt = mul(qswc, zrqm) + prqp = num(3) + dtsz = num(6) + mvqd = mul(wlgn, lmvf) + vncb = div(jcgg, hdqs) + qzmz = add(hpmc, cswf) + tzzr = num(5) + zrfn = mul(jhtm, mhpc) + ffvf = num(3) + hqwp = num(10) + wdqz = num(9) + mspd = mul(rdnf, pgmc) + qbzz = num(2) + rdsp = num(3) + lwbp = add(vwcb, npbl) + vwmt = num(3) + mbsm = num(2) + jzrw = num(2) + vlgm = add(brcn, dhpr) + jfrm = mul(qmvm, qgmp) + wlwm = num(6) + blsb = num(4) + tlwr = num(5) + mwss = mul(dwzs, shgs) + wdbp = num(2) + lsfd = mul(qslr, jfbv) + zzqf = num(4) + nswz = add(lppg, jdqs) + rpwm = num(2) + srzq = add(sqwj, tzmg) + tnnl = sub(zrgq, ztmc) + pmqb = mul(gtjc, mmgt) + lpwg = num(1) + zdjz = num(4) + rjdd = num(2) + mjnq = add(rgnz, bzgv) + rgwr = add(tqjb, nljh) + bljn = mul(vdcr, bbnj) + wjbz = num(3) + hdrl = num(4) + ffms = num(3) + lrth = num(2) + hqvc = num(5) + jnwn = add(jdlg, rbrt) + rjqm = add(dsjl, rmfj) + wnzl = mul(fbbg, hsdc) + wdft = num(4) + qwvg = num(2) + wpsj = add(zrtw, pbwr) + llzs = mul(fzhr, cbjm) + dfzs = add(ftzd, nwsb) + sjtb = mul(cmzz, lgfh) + htsm = sub(dsvb, ffvf) + mfjn = num(12) + wjcm = add(hhch, hvlh) + wnrb = add(zrwt, qcrn) + ljdn = mul(brfq, ffvc) + pvph = add(mfqr, hjlh) + jfhm = num(2) + zcbt = num(4) + vnqc = add(rzcl, fwsw) + rlmq = mul(sswz, spjv) + ltcp = num(11) + qhjn = mul(psvj, gnwd) + jbjh = num(3) + jmvh = num(14) + wcdt = mul(bfvm, vsgs) + mrrc = num(3) + rtnv = num(9) + zgfr = mul(pwrh, mgzq) + fwtt = add(stgz, vpgt) + mpzf = mul(smjh, qtgf) + tdlw = div(dwmz, jmrv) + gfgq = num(4) + jwrp = num(5) + mjbf = num(6) + rgtm = add(wgcw, vflt) + wcvd = mul(tvdr, mwss) + lszr = num(16) + ggpt = num(1) + jccs = add(mmqn, tjmw) + bpnp = add(sbwq, hbcq) + hrhw = num(2) + vwbt = num(6) + njst = mul(vhlg, wprh) + qtgf = num(5) + mpqb = num(3) + trnf = add(ptlc, rqdc) + hjtw = num(2) + wjpl = add(zgzd, qbqc) + bmnw = add(jqqj, vmsf) + lcgh = num(5) + snhj = mul(mbsm, msqs) + qdsm = num(11) + jfbr = num(5) + qhmc = mul(rfpg, slpg) + fbzr = num(3) + zcdd = add(mcgm, tflv) + tsbz = num(4) + nflz = num(3) + dbjq = mul(nqtd, rhlr) + jbth = num(14) + wrsq = num(2) + czsn = mul(tsbz, mqwv) + fnzw = num(3) + jlgt = num(2) + dslv = num(2) + rhjh = num(5) + fmzz = add(vqll, psjp) + tmzs = num(2) + grtw = num(17) + ftlg = num(3) + ptlc = mul(gmvz, mnqv) + pmss = num(5) + qngc = num(1) + gbsq = add(jnpp, bngb) + gvjw = div(rmdl, hhtd) + flrs = num(3) + bgpg = mul(chps, vqgq) + ffhs = num(3) + zfgh = add(sbjf, lgpj) + bhmq = mul(wbwg, gldd) + gcph = num(2) + ghhh = add(ctww, hjfz) + scpn = add(zrgr, hqwp) + lhrd = div(ftpf, nlsm) + nntq = sub(zgvw, fqpl) + bwrh = num(3) + bvrq = num(4) + wfgw = mul(gjtl, mrdv) + shlt = num(3) + rmfj = mul(mppn, fgzn) + ddqr = num(7) + dstt = num(4) + dhjs = mul(btnn, jddd) + prhq = mul(rsrh, cwsl) + nwgq = add(lptq, wzfh) + mnzd = num(2) + vzqf = mul(qghr, mrbt) + jhvm = add(tggw, tvtm) + mbtw = num(1) + qgmv = add(mfld, szvl) + chzd = num(2) + pwlt = div(mdhl, fjgc) + vqlg = num(2) + chgs = div(jsmm, whdh) + mfcp = num(19) + fmqp = mul(hbmh, ppvl) + nqgz = num(4) + ppvl = num(2) + bfrv = num(3) + zcvw = num(3) + bzds = num(9) + dmtc = num(3) + lzgc = num(2) + pgzb = mul(znqf, bhzh) + jqdt = num(17) + dgnj = num(5) + sngh = num(4) + qjzj = add(lstj, llqv) + mwqr = add(bbbj, bsrb) + nvdz = mul(dqpd, fspj) + hzbm = num(7) + mjlf = mul(tqbh, wnqv) + dzpd = num(3) + mvhr = div(dprf, dfnq) + lhnr = num(7) + qlns = num(13) + btwg = mul(gsfj, mrvr) + dflq = add(flqr, bbjs) + jtrn = add(qplb, dfzs) + crlt = num(15) + rbgm = mul(lpft, pcwf) + pnsf = num(2) + dwwp = num(9) + znmp = mul(jstc, zrfs) + ppwb = num(2) + wlfc = num(19) + qcsv = add(bnhn, sqtc) + cbcc = div(dpmr, fsmf) + vffw = num(5) + bfdb = num(4) + lfcw = mul(rjqm, bphn) + wwqv = mul(pwtq, hbvq) + bvrr = num(16) + hvqw = sub(lgpg, bgrt) + rtql = num(1) + fndt = num(5) + npqr = num(4) + gnzd = mul(gjvr, gmgz) + qwfw = add(hbbw, vzqf) + mgnz = add(ldlm, jsjt) + dshq = num(3) + stgs = num(2) + swwv = num(2) + wtpl = mul(htrz, csfz) + fzhr = div(bmbf, mrjm) + cgmw = mul(wqrl, btgd) + ghhc = mul(fddg, vdmp) + mnzf = mul(szhl, crlt) + lsvj = num(2) + pbsn = sub(rmlg, fbpw) + jlzq = num(11) + zzwv = num(2) + mrvr = num(12) + mdhl = sub(mmzh, gwrd) + wpmr = num(3) + bdcw = add(hlsw, qhwt) + lmbf = mul(sfmr, wzfv) + hndn = num(18) + lqss = add(rbvr, mnhz) + cvmj = mul(rvzs, jrgj) + qcnz = num(10) + tdvv = mul(pwfv, dsqb) + gtgn = add(tmqq, jgwr) + wqbj = mul(mnjj, bljh) + jcsh = num(2) + dlpm = add(trdw, tslp) + ztng = sub(wwpj, ghhp) + pprv = num(10) + zsmv = num(4) + gwth = num(3) + vgjj = mul(mhsn, rjrr) + hsqw = mul(dcpr, wfms) + npnj = num(3) + hvsj = num(7) + hfjb = mul(vpgg, sjcm) + npff = sub(ccrm, csgb) + sthj = num(2) + fjtg = add(rjsn, jwqb) + tpst = mul(psfr, dcqv) + tpnf = mul(hbtc, pwqj) + zfmb = sub(humn, znmp) + qbqb = sub(rbgm, rjgf) + tjlg = num(2) + gtws = add(wtsh, tlzt) + pltv = num(2) + ntws = add(wgzt, pgrl) + tbpg = num(2) + qdrp = add(zzfs, vbqr) + fvjs = num(5) + jcqr = num(2) + tccg = mul(jphm, jbqv) + gldd = sub(pwtp, vhqg) + vtbn = sub(qvfv, sjzh) + znbt = mul(mbzb, cspv) + jdlg = add(rwmw, mjnq) + fbbz = mul(wrqs, jlzq) + jsdz = num(2) + glbm = mul(jfbr, mddn) + tvdr = sub(fvjg, thgb) + glvt = num(9) + lptq = mul(wqnm, rrpf) + vsnj = mul(glhl, zssl) + llqv = num(6) + fqzs = sub(qzsv, zstc) + mzjn = add(fgng, fhvd) + gqtg = num(13) + bhww = mul(gzwj, rjdd) + hhqv = mul(ztwn, hnnc) + cpbz = add(hdnn, sqrj) + smmr = add(mmrz, jmvh) + wdrp = num(5) + qqdd = mul(pmls, rsjz) + nwnp = div(ddww, vmgb) + czzb = num(2) + mddc = mul(nhrw, bjrb) + rqmg = add(hmlv, mwhj) + qrgf = mul(tcwd, tprs) + zshv = mul(vnqc, rbfj) + vldf = add(ghzr, wnrb) + rprp = add(tfbz, dstt) + rvzs = add(lctp, zshv) + lqrb = mul(qltm, rzzf) + crrq = add(jtht, pbsn) + hdpb = num(5) + ldfb = mul(bzbl, pnlz) + mppz = add(qwhr, hsjl) + rqqn = mul(vsgq, wzth) + bjrb = add(ncrf, bqgg) + mmrw = add(cjzd, bhsh) + lqhf = num(4) + gzsm = add(pjwm, qmsc) + hvzn = num(2) + qgcn = num(4) + rznw = num(4) + cppm = num(17) + rfzs = num(3) + rfts = add(fdzl, qpdl) + hvlg = num(19) + hbbw = add(vfwh, pdrt) + gwrd = mul(fmlp, ptqp) + dpmr = sub(sbqc, bbrw) + vmgb = num(2) + lmgh = num(2) + rlfc = num(5) + rqzz = num(6) + nlbr = num(2) + pnlz = num(3) + cdbz = num(5) + ltsf = add(lnzd, jtrn) + qrmn = num(2) + hsdc = num(2) + tmtn = num(19) + pgmc = num(2) + jsch = mul(znzc, grtw) + jstc = mul(mcbs, mgph) + cztz = num(4) + cgwh = num(2) + cggv = num(2) + mqzc = num(4) + vstg = num(2) + cjzd = num(4) + vrgr = num(7) + tfdh = num(6) + bnff = add(qztj, ftmr) + rtcz = mul(bbmq, jwrp) + twdz = num(13) + fzfs = num(3) + mnhq = add(bchd, njgm) + njnf = num(3) + bvff = num(4) + sdhz = num(3) + qcst = num(17) + bbfz = num(3) + btpf = mul(vnpb, bjst) + bbjs = num(17) + lgpg = add(nvls, bhwr) + zgrr = mul(qlrq, gwth) + wgps = num(2) + hwrl = num(5) + vjmn = add(hjml, sqpb) + ctpt = num(10) + shpm = num(2) + mqbn = num(2) + sljf = num(16) + whqw = num(2) + dtvh = mul(nsbn, mflw) + gfzd = add(mfnh, rlqt) + ntwf = add(zvpr, vhvc) + pfdc = num(4) + qpzq = num(4) + hbmh = add(chwj, jnwd) + bnwp = mul(jcbl, dghg) + nlsm = mul(dhjc, gqbq) + rbrt = add(vvjn, zgzh) + sjfj = mul(zhfg, fmqp) + mdhf = add(dnfj, gbwc) + qcrn = add(qwvz, pfdc) + mnhz = mul(qtvj, rngf) + tqlr = num(4) + dhgc = add(bzds, wvgd) + zssl = num(2) + cwvj = num(2) + zztr = mul(mpsc, lzcp) + ctmz = num(2) + dqcn = num(4) + zqld = mul(mbjv, tqdc) + sfgt = add(hccs, gfrn) + swmc = add(qngc, gmjd) + bgrt = add(prjq, nglg) + zvvf = num(7) + tznj = add(mgnz, dvnb) + vfbb = num(10) + pqtc = add(rbfg, wvgs) + rdnp = add(shtz, ltqj) + lspv = num(1) + mwjt = num(2) + mmgt = num(7) + mzqb = num(5) + bgzb = num(3) + fjws = num(15) + qzjc = num(6) + rszl = num(7) + mwtl = mul(rhbv, zlcr) + qrpw = num(5) + lzfs = mul(qrgb, sczc) + vsnh = add(sjfc, hzfs) + wbwg = num(3) + rcwr = num(12) + qvtj = mul(ntfc, cmzj) + zvgg = num(4) + nccf = mul(rdhl, bndg) + gpdb = add(vbsw, nhfb) + dqsc = mul(pght, mrqp) + hnnc = mul(dhgt, zwzg) + bjst = sub(qppw, chfj) + wlhl = mul(qbrs, dvnz) + mcbz = mul(wlsf, tpst) + cnpv = num(4) + mgph = num(7) + bprq = mul(pptd, wvwh) + fsmf = num(3) + jvlg = sub(slwg, jhsc) + lwpm = mul(grtd, qqvt) + flpv = add(wjhq, tqtf) + vjwv = num(2) + jhtm = num(5) + zrgq = num(12) + rbfj = num(7) + msld = num(15) + qqtv = num(2) + fddg = num(2) + htrz = num(2) + fnwh = mul(hlfj, mhmz) + wngq = add(gdnw, wlmt) + mfnh = num(4) + bhsh = num(5) + ngrw = num(2) + wzdb = num(2) + fjgm = num(3) + jvdv = sub(zjmm, dppj) + jrjd = num(14) + vbqr = num(3) + dnlb = mul(hqvc, nlbs) + qrpj = add(tcpc, zsmv) + vhqg = mul(ztmf, fpjt) + dstg = add(wgsh, qhmc) + mrwd = add(rgzm, fbdq) + tclf = num(3) + fwwv = mul(fqzs, hrvg) + mcnd = mul(ltcp, vjwv) + lldn = mul(qwtt, swmd) + pmzr = num(8) + qzzp = mul(fzfs, qrgf) + jfbv = num(3) + jdqz = num(3) + cbgn = mul(rwjb, mrrc) + vbvn = add(tmvn, trrg) + jvcs = num(10) + ctnm = mul(bwvl, wwwj) + crcv = num(2) + glsq = mul(wwwg, dlws) + vwfr = num(3) + csbn = num(2) + jpsb = add(lmwb, lhmj) + wzfv = num(3) + fpvj = num(8) + vhwd = add(gdgj, sspl) + ljqw = mul(qrql, pmzr) + bchd = sub(wwvf, sjfb) + sczh = mul(thjr, ffjl) + sfmr = div(fbvr, bzbb) + dmmn = num(5) + bdsw = mul(djbl, flcm) + bfdv = add(dnlb, wnzl) + gllr = num(3) + dpcg = add(gsvv, jbrz) + zbbt = num(2) + lbbl = num(1) + qzcd = num(3) + dztl = mul(vbvn, nfpq) + pbwr = div(zfmb, hrhw) + hdbv = add(ptbj, qsjp) + mctq = num(5) + sjcm = add(bjzh, mfjn) + qttr = sub(hbwf, hmsq) + hdqs = num(2) + hcpm = add(dnps, vgjs) + rhbb = num(3) + fgng = num(10) + fmcd = mul(qcnz, mjrb) + bgwh = mul(scrh, wwtg) + tphg = mul(sntc, jlfh) + fqjb = num(3) + wwtg = num(4) + wvgs = num(4) + bndg = num(2) + rmrr = num(2) + mcbs = add(dpjc, jhts) + gfwh = num(9) + dvpl = num(2) + dcqv = mul(gjjl, tznj) + hwht = mul(zjpf, lrzm) + dwww = num(4) + jtnv = num(4) + zjqf = mul(nnnn, jqdt) + mdhs = num(2) + cmwq = add(rtql, rzql) + prql = num(2) + vnjc = num(2) + wtpr = num(8) + mcsc = add(jmcz, fbzw) + szqv = mul(dsjd, mqbn) + sbrf = num(5) + mgpr = add(bhww, jsch) + pwjt = num(3) + lwgr = num(5) + dcgq = num(3) + cbjm = mul(hzqz, rmvm) + vqll = num(3) + swls = num(2) + vmrg = num(2) + tfbz = mul(jzbb, cnfm) + fbfd = mul(sjgw, bbgt) + jbcq = num(4) + frds = sub(lqrg, fmvc) + qltm = add(ppjr, tzhf) + fbgq = div(nhrm, grpq) + bnhn = num(18) + hwgh = num(12) + jlhw = mul(hzjc, chns) + tqtv = mul(jcdg, fjhr) + ctww = mul(spgr, lqnw) + jqvj = add(lwsf, rcrn) + tvmf = mul(mdhs, rsnj) + vflt = div(mqzr, hcqw) + pjdl = num(2) + humn = "x" + zffw = mul(pqmf, ctvj) + gzwt = sub(jqzn, vptl) + tmqj = num(3) + tdrt = num(13) + lpjf = num(3) + ljtt = num(2) + mzsr = num(4) + mfst = add(dztl, hbmp) + lmvf = num(7) + schc = num(18) + qrql = num(3) + dqpd = num(4) + pjfg = num(2) + mcss = add(cgmw, pmqb) + pshg = mul(lsmd, qvdq) + lnns = num(2) + nqhq = mul(mhbw, mrwd) + gdnq = add(prmv, fdhl) + mcgm = add(pbsq, ncqz) + czph = mul(ncnt, fnfv) + dnps = mul(fmzz, jfrm) + rfcv = mul(lzhv, rcmt) + sqtf = mul(qncv, mpzf) + pltz = mul(cwdd, rpff) + zsrr = num(3) + drns = num(3) + dmjh = num(1) + hqhr = num(2) + tvmh = num(2) + mjrb = num(4) + thvl = add(wwqb, twff) + gjjl = num(3) + lpwr = num(2) + gchm = add(pngg, rhdj) + wrvl = num(5) + sfgz = mul(swmc, znzt) + hpmc = num(3) + nnpd = num(7) + zbpn = mul(mfps, jtnz) + tprs = add(pmgn, gddl) + szvl = add(rvnb, vdrs) + mzhc = num(6) + vtgl = num(11) + qgld = add(grfn, pmjj) + hznw = mul(ntbs, psnm) + hhtd = num(2) + dtbn = add(hlcb, jdqz) + ttnq = num(3) + zdpw = add(pmmr, ztqs) + pnqz = num(4) + bgfl = num(2) + dqgt = num(18) + jvjh = add(dffc, wdbp) + zwzg = num(4) + jpfm = num(19) + wszn = add(hmmf, jvdv) + qqpg = mul(qzlv, hznw) + lctp = mul(gdnq, nvrp) + rvbt = mul(ptmh, qwvh) + qfmq = mul(nppj, rhcc) + tbnw = div(rsgb, dsvv) + wrqg = mul(bfdg, lbbz) + sjfb = mul(bljn, wbcz) + gsll = num(2) + lstj = num(17) + cbgc = num(3) + rpfs = mul(qzzp, rffd) + zgzd = add(fvgl, zgcw) + vjfs = mul(hwrl, cvcz) + hfbg = mul(twdz, hdbv) + gjqp = sub(bgpg, pvwh) + tqdc = num(5) + tnjh = add(sbrf, pjfg) + ldgz = num(5) + qgsd = mul(zsrr, qqtv) + ghzr = add(mbtw, fbvs) + dptg = mul(wclq, lcbf) + fnds = div(rlmq, mnzd) + wfdd = mul(cmbb, grzc) + mbbf = add(wstc, npnz) + slgc = mul(rcnm, rjlj) + qztv = mul(wlwm, msld) + jjmh = div(lbpv, hcsb) + pcdc = mul(cvgr, rfzs) + hvlh = mul(msdb, cgcv) + wgsh = num(20) + dnld = num(2) + jqnc = div(jrjd, tgsn) + rfph = num(5) + sdzz = num(1) + nctj = mul(sdhz, nnjg) + fbvs = mul(bfrg, vlls) + qcnb = num(2) + lfdr = num(19) + hcns = num(3) + hsrg = add(twhs, ftlg) + vwcb = add(psgb, lsfd) + hzjc = num(4) + qqbm = add(nmwp, tccg) + dmqm = add(nnvh, fcvz) + jllc = mul(ndmj, bdcw) + lhmt = mul(wzdb, nwnp) + gftl = div(hcpm, bfrv) + tqtf = mul(czjc, mpfg) + wwwg = num(5) + thjr = num(2) + tfbh = num(3) + dsvv = num(2) + hgsl = num(5) + sfnl = mul(pwrf, rfcv) + rvvt = mul(rmst, qmfp) + bzbb = num(6) + jpqb = mul(gsll, lnmh) + qsfd = num(4) + vptl = mul(bvrq, nwng) + gdnw = add(vvcl, bpbg) + cvcz = num(2) + dztc = add(vdjv, vjmn) + fvjg = div(hwgr, lwwq) + dvgv = add(gnzd, ntwf) + wsdn = div(wjcm, jwsn) + plgl = num(4) + lrmg = num(3) + qrgb = mul(jbbv, cdbz) + hjsb = num(13) + ctqv = num(3) + qrst = num(3) + nnqm = num(2) + dnfj = num(9) + lhds = num(2) + hwgr = add(pwlt, slnf) + tqpq = add(vmzm, thvl) + trnr = num(2) + cjlc = div(jhwj, gmld) + wcgw = num(16) + frpw = div(nbmj, zlcn) + szwn = num(12) + qpnc = add(fbzr, rlft) + nmbc = add(dtsz, lpwg) + znzc = num(5) + lwcv = num(2) + hcww = num(2) + vsdw = num(4) + jhwj = mul(vphf, hwmv) + tmvn = num(15) + mcpt = div(mcnd, zzdt) + lrzj = num(19) + rngf = num(2) + gszg = mul(hqhr, zzvn) + gnwp = num(4) + wcsz = num(4) + pgjl = add(ncwg, fwpp) + gqsg = add(zwmj, qqpg) + cmzz = num(2) + vsgs = num(13) + psvj = mul(bnzm, zfgh) + gtsh = add(wcjw, dflq) + qpzd = sub(tnmv, hhsp) + fvmg = num(2) + sbjf = num(17) + nsbg = mul(zbms, dtvh) + jrpp = num(2) + qncv = num(8) + djzl = mul(jrdw, jhvm) + ddww = sub(pnsn, lszr) + zvvl = num(3) + bfvr = mul(zscv, lgfv) + tnbp = num(2) + qbjl = add(qjpj, szgd) + shps = div(rcwr, szlp) + czjc = num(2) + njfj = mul(smmr, vczm) + jzmc = mul(htwj, fqfs) + drhc = num(3) + qhwt = mul(jbcq, psdd) + rljg = mul(mhbf, vplf) + nlhw = mul(sbwv, rjzg) + zdbq = num(2) + npbl = add(vvgb, lbbl) + jhvw = num(2) + jqsd = sub(ltsf, gddd) + mbjv = mul(frqv, rznw) + gsfj = num(3) + szlc = num(3) + ghhp = mul(zspb, bgfr) + fjlb = mul(ppwb, mnsm) + mlqv = num(4) + htzw = add(fpcb, zddz) + rcsj = div(qwfw, vnjc) + fzdp = mul(vtfv, mwqr) + vpgt = num(3) + cqnw = mul(zhmh, vlgf) + dvbg = add(qftf, ffms) + nmnt = add(zqlb, cqnw) + mzqw = mul(dnsw, gwts) + fdhl = add(gqsg, lbfn) + rcsd = mul(cpbz, pcrb) + dmjr = mul(nrqs, lvsf) + wssb = num(2) + sjhq = mul(znpv, bhmq) + swbl = num(6) + pbwn = add(dmcc, ctmz) + gvhl = num(2) + stsn = mul(nzcd, dshq) + hssv = mul(fwtt, bgzb) + cllf = num(7) + rwgp = mul(qlzl, fcvm) + jmcz = add(schc, mzjn) + mhhr = add(rlhj, cfft) + csch = mul(wfmt, frpw) + tpzh = num(2) + mfnn = num(7) + pwrf = num(2) + mhbf = num(5) + zffj = num(6) + wgts = num(2) + wnvc = mul(ldgj, gtgn) + mlvg = num(4) + vlls = num(2) + jcgg = mul(wsdn, pgfl) + mnmh = num(13) + hbtc = num(2) + sqwj = mul(tjdg, mpbm) + jcbl = num(2) + mmzg = add(wdcw, ltzg) + lgpj = num(14) + mhsn = num(10) + hlsw = num(11) + szng = mul(wtjg, lhbm) + mgtd = num(5) + tjdg = num(3) + fdzl = num(8) + tlmv = add(vjrj, qnfp) + gzwj = sub(tmsh, ggvg) + cztp = add(dwww, gbzz) + jjvz = num(1) + vrtp = add(gnvr, gcph) + hcqw = num(7) + wgqt = sub(nbbt, qqdr) + fwpp = mul(grnc, rszl) + nltb = num(11) + ffvc = num(2) + dwjf = num(1) + mrbt = sub(jvwb, cbcc) + vczm = num(2) + tnmv = num(10) + wzcn = add(jnnw, dmmn) + dtts = num(4) + zwtw = div(fnwh, wpmr) + ptgf = num(2) + zpfp = add(qhjn, tbjm) + psgb = num(1) + gnqf = num(13) + wprn = add(gvjw, sjhq) + hjfz = mul(pscq, ghpl) + rbvr = add(zgrr, nhgc) + qwhr = add(mshb, nmnt) + grzc = num(2) + mwhj = num(13) + zrmv = add(frmb, wsjh) + zstt = num(1) + qwsm = add(lwbp, hjqv) + gmnz = num(3) + zhww = num(5) + rtfb = num(5) + lfmc = div(gstp, qnpj) + gjtl = add(bghn, chbw) + wgfl = num(2) + dttm = num(3) + qcqm = mul(gdtq, lsvj) + twfd = add(plvz, dpvl) + ncpc = num(3) + gtjc = num(4) + cnnh = mul(trmb, gvhl) + rzzf = num(2) + dhjc = num(3) + rcrn = div(mspd, trnr) + wrqs = num(2) + bvqc = add(lqrb, fcdp) + spjv = num(2) + vhtw = num(5) + dvdc = num(2) + dnsw = num(12) + fvvc = num(3) + tbsr = num(2) + nccv = add(qvqm, smlv) + ptmh = num(2) + rhdj = num(3) + jqqj = mul(hdpb, mwgm) + wtfc = num(4) + spgr = add(zdjz, fnds) + tpvs = mul(tbpg, mdhf) + jggh = add(dtbn, nctj) + brcv = add(zzjn, nvfr) + qddj = mul(lspc, lmdr) + dnpf = num(4) + bwvl = num(2) + ltdp = num(3) + ffjl = add(vgdg, wzsr) + jzrf = sub(wgqt, cggv) + lmpt = num(3) + sspl = add(cccs, zvzj) + lpbq = mul(vpfn, mmpr) + crpm = add(twlz, qhnv) + qhps = sub(gmpr, tdrf) + sbwv = num(8) + vgrj = num(2) + vvjz = mul(gtjt, chzd) + mqsg = mul(cprd, slsp) + qdgn = mul(bdfc, qcvd) + zrgr = mul(rphm, lmqj) + ldhd = num(4) + slnf = mul(nmdc, bzpc) + pmrz = mul(mpfp, lqhf) + mlls = mul(lpmg, gzqv) + dmtv = num(2) + fmwn = sub(pprw, zpqz) + zjmr = num(2) + gnvr = add(psjl, nnqm) + qvdl = mul(tslb, fnqc) + lzqw = num(5) + szmt = num(13) + gbwc = mul(wgts, bgsb) + stjz = mul(ssvp, swzv) + jtnz = mul(mbbf, ddhf) + lrgs = mul(mjbf, qlns) + wqrl = num(2) + sfgc = mul(vrgr, sbnn) + bzfw = mul(srzq, nggm) + fjhv = num(1) + shtz = mul(gqrt, btqt) + gmpl = add(jfrg, vwfr) + nppj = mul(drns, dvjt) + lnlb = mul(tjlg, mrqr) + gwgz = mul(ldhd, qfpf) + gpvp = div(mmzg, ntgd) + gdtq = add(jlhw, zrmv) + vqht = num(7) + zszj = num(2) + gmrz = num(11) + hmsq = mul(scrf, dzpd) + gbjf = mul(gvhr, gpdb) + hcsb = num(3) + jghl = div(hblv, rvcs) + mdth = num(2) + lbzf = num(5) + ltgb = mul(bjll, lhdz) + rzsv = num(4) + jgpw = div(qvtj, lnlb) + gzqh = num(3) + dzjc = num(16) + gzvg = num(5) + wzth = num(14) + rtzt = div(clhv, jrpp) + mjjt = num(2) + qbrs = num(7) + bgfr = num(3) + mpsc = num(3) + vjgn = num(4) + jhwr = add(jlgt, hdrl) + hjml = mul(mvwb, rpwm) + gcdc = add(qsfd, lzqw) + jnwz = add(nwcl, plhd) + vslq = add(fjlb, mnzf) + tvhv = num(2) + mffq = add(rprp, qgsd) + gmgz = num(3) + wgzt = add(tmtn, jzrw) + wptw = div(cwpb, rtfc) + gbvt = num(4) + rbpm = mul(gslh, mlvg) + pgfl = num(2) + dwsq = mul(gpzz, mgtd) + qslr = num(2) + tslp = mul(ldzd, jdvh) + hbwf = div(lhmt, crcv) + rsgb = mul(qpzd, nhvl) + bncg = num(3) + mbpg = sub(nvdz, bcpz) + sqpb = num(19) + vgbc = mul(mgmm, qhld) + mptw = mul(wqtf, fvvc) + cnfm = num(3) + zrwt = num(9) + zjtv = add(mbpg, pttq) + qvdq = num(3) + rdjz = num(3) + ztwn = num(10) + vgdg = num(19) + mwrp = mul(zpfp, zpgm) + vczv = mul(hfjb, pnhc) + mljv = mul(prhl, gnqf) + fcdp = add(rcdt, gnrh) + lqzn = num(5) + hlcd = num(3) + zpgm = mul(wqbj, zwdn) + qplb = sub(qpvr, hzbm) + csqq = num(11) + pbsq = num(8) + rrjj = num(17) + fhvd = num(3) + fwsw = add(sjqr, jpvr) + mhbw = num(3) + lppg = num(5) + jntt = num(3) + trqq = add(vtbn, hppv) + ztmf = num(7) + lgfh = div(snhj, tvmh) + dghg = div(bprq, swls) + psjp = num(12) + cwsl = num(2) + zlml = add(gwtg, hndn) + bngb = num(1) + bdfc = num(4) + npvs = add(mfcp, jvcs) + sfnv = div(hmgc, sllp) + jwqb = mul(fvjs, rtfb) + lhqf = num(2) + pprw = mul(tmlm, bwrh) + vbzp = num(2) + pptd = num(2) + sswz = add(pnqz, fpts) + zmbc = mul(sldc, hnpz) + fmrw = mul(bgfj, dttm) + hgvl = num(3) + shqz = num(3) + wvpz = add(qwvg, tcns) + rcnr = num(11) + lqnw = num(3) + bphn = num(2) + frqv = num(3) + fcct = num(6) + gtmf = num(2) + vmsf = add(jnwz, gdnd) + tdrd = num(3) + vnht = num(3) + vgjp = num(8) + cfjh = num(4) + hlqb = add(cllf, wbzw) + vtjt = num(4) + mnzl = num(2) + bjzh = num(11) + ntpc = num(5) + cfrf = num(5) + grtd = num(2) + mfps = add(rdnz, rgtm) + cmbb = num(3) + gmpr = num(8) + pwtq = add(lvml, qcjh) + cspv = num(4) + fpcb = mul(wjpl, tnnl) + mqwv = num(7) + qmfp = add(gzsm, lhrd) + nbmj = mul(zvvf, wrsq) + hccs = num(6) + sqqv = add(vncb, tqjr) + wwwj = add(zmcb, ggpt) + smjw = num(8) + gzlz = num(2) + lbfn = mul(shgv, mljv) + lrpd = num(6) + qqcp = div(scwf, qctj) + scwf = mul(jqnc, lnwd) + qgmp = num(12) + sqtl = num(1) + tgqs = num(3) + pzsq = mul(cnnh, dzvc) + sjbb = add(hswd, jlhz) + dcbz = add(dmjh, prnl) + bjsl = mul(vslq, vjnr) + ncrf = num(3) + dnqg = num(2) + rwgf = num(2) + hzqz = num(5) + sdrn = mul(qcst, rwrb) + vphq = div(stsn, vnqg) + qggg = add(bmmc, vhtw) + fbbg = num(4) + jjnv = num(3) + wfms = add(pprv, ldfb) + nlsf = num(3) + vgjs = mul(gprp, vnmn) + jmnr = num(2) + bqgg = num(5) + jzdg = mul(bnbz, qwhg) + vtsd = num(11) + cjbs = mul(wszn, ldgz) + mshh = add(lrlj, tqhr) + sjtm = num(2) + shjn = num(2) + rjlj = add(zlml, mffq) + bpsh = mul(rfph, hgpp) + qrqn = mul(plgl, htmz) + gfth = num(3) + tqbh = num(2) + dlpg = num(7) + hfmd = num(2) + mwgm = div(jrbp, wslm) + hlcb = num(4) + tptg = num(17) + zpgc = mul(wbgs, jcqr) + zlcn = num(2) + sqsh = num(3) + ffvn = num(3) + gmld = num(2) + jddt = num(2) + fqfs = num(3) + zgcw = sub(qcfb, tzzr) + sbmj = add(dtpz, fwwv) + lbcr = num(5) + vrhl = num(2) + wcmp = num(3) + djbl = add(bvqc, chgs) + fzzv = mul(rdsp, qndw) + dzvc = num(8) + bljh = num(4) + gzrq = mul(qbjl, lhrv) + vfsg = add(wwqv, fjdr) + bbmq = num(5) + rrpf = num(14) + zrfs = num(3) + zfrm = num(1) + qvnp = add(tlmv, tpnf) + pfff = mul(bhwn, lhnr) + lgfv = num(3) + nqwd = mul(zmrz, mnmh) + vnpb = add(bvrr, sljf) + bzgv = add(bscm, nglb) + tqjr = num(18) + hmtb = num(4) + lvml = num(15) + gqbq = num(3) + pwtp = mul(jqvj, zfgq) + rcnm = num(4) + qfjr = add(wpnl, jsqn) + zdjb = num(6) + cccs = num(4) + szsc = num(9) + sblz = num(8) + qgwm = add(bqfv, zvgg) + tggw = mul(dvpl, lhjl) + jjlm = mul(vnlt, zcmz) + zmcl = num(2) + nhfb = mul(mmpc, wfgs) + gddm = mul(bdgj, pcdc) + sjgj = div(cbnh, mchb) + tlzt = add(dnqg, ntws) + ggvg = mul(rqzz, lwcv) + pchb = add(qfjr, sdzz) + swsd = mul(trhc, dqgt) + tzvz = add(zfrm, bnwp) + jgml = num(9) + gpsz = num(2) + gphz = add(lspv, nntq) + mrqr = num(3) + fwrp = num(2) + frfm = num(5) + rzcl = mul(vcsd, mjlf) + nzcd = num(7) + ppms = add(qbsd, mvhr) + zgvw = mul(fgfd, sjbb) + twmj = num(6) + sqtc = sub(tpvs, jjnm) + bhzh = div(cqpd, njvw) + bnbz = mul(cppm, dzln) + pcwf = num(3) + rfhv = mul(nvgj, mhhr) + dfpp = add(qbqb, vtgl) + nrqs = num(2) + rsnj = mul(gchm, qdjm) + lrzm = div(dlfm, fcct) + gprp = add(wcdt, qmzh) + rgzm = num(5) + zhfg = num(8) + jphm = mul(gzcg, jvvt) + tsfc = num(3) + psnm = sub(dstg, ctgj) + pztt = mul(vrhl, gjqp) + qcfb = mul(bzqg, gzqj) + cdth = num(4) + qflh = add(sspw, sblz) + nvgj = add(qmbj, cjfz) + mpfg = add(hbsl, mwrp) + jrbp = mul(mqpc, mbbg) + wsqj = num(3) + wmvv = num(4) + hhnt = add(qblr, qvdl) + mljr = num(2) + nnjg = num(4) + lhrv = num(2) + vvcl = add(rjcv, jzrf) + mnsm = mul(tsgb, hlcp) + zznh = mul(wpns, wwbg) + jsmm = sub(mgvq, mzqw) + rncp = num(17) + mgnl = mul(qntf, lmpt) + zmcb = add(btgl, ztfh) + qlgp = num(3) + qcvd = mul(rwgp, hcww) + chbw = num(14) + mbzb = num(2) + qqdr = mul(lhqf, gmpl) + shwg = num(3) + mhjp = num(3) + ztqs = mul(djzl, stjz) + fbpw = add(dnqj, wpmg) + gmvz = num(5) + rcdt = mul(gptp, szng) + qntf = num(2) + fnfv = num(3) + lqlt = mul(zcbt, hvzn) + pwqj = sub(zwtw, psfj) + jfbj = num(5) + mgzr = add(rmjs, qzcd) + htrp = mul(zdbq, hsrg) + lqlr = num(3) + bgsb = num(4) + ndsl = add(jggh, ffhs) + wfmt = num(3) + wwpj = add(hfmd, sfgz) + tcns = mul(mpqb, dlpg) + fjhr = num(4) + jpvr = mul(zcvw, shmz) + qtvj = mul(fwfq, vjbm) + rjzg = num(2) + pcrb = num(2) + rvnb = num(10) + bgwd = num(2) + bsnr = num(7) + bfdg = num(2) + wbcz = mul(smdv, fndt) + fbvr = mul(pqtc, jhwr) + lhtj = num(3) + tmsh = div(njst, scjl) + sftz = num(3) + wdfz = num(4) + hmgc = mul(pswd, psbd) + nvls = num(19) + cwvw = mul(sthj, pchb) + hrvg = num(3) + zspb = num(3) + nbbt = add(scpn, twfd) + phsl = num(6) + scrf = num(3) + chhp = mul(vwmt, cwvw) + sslp = num(11) + zlcw = num(3) + lrlj = num(12) + pvbc = mul(qwgr, qgwm) + fcvm = add(sfgt, wtfc) + whnd = num(5) + vvdr = num(9) + zpvn = add(mbss, qsgq) + pmjj = add(psbv, wrqg) + mmpc = num(5) + nmgs = num(3) + ghpl = num(2) + mrjm = num(2) + stns = num(1) + hwmv = mul(bgwd, hljq) + fdmq = mul(ffvn, zpvn) + hjqv = mul(jdlv, fprb) + bqfv = add(nvdv, tqtv) + vlcw = num(5) + cjfz = num(4) + bfvg = num(3) + nhrw = div(pnhr, hvsj) + frmb = add(glbm, znbt) + nlbs = num(3) + bhmf = mul(wmvv, fwwh) + tmsz = num(6) + vdjv = num(8) + zstc = num(7) + mfqr = mul(wdrp, slmq) + vnmn = num(3) + plhd = mul(szlc, jtnv) + bvth = mul(sftz, qtmg) + lswh = num(5) + mhmz = num(7) + ldlm = num(17) + zzfs = num(4) + bjll = num(2) + jlpp = div(lsng, jrzs) + mbhc = sub(mlgm, tnjh) + wfgs = num(2) + sbvb = add(hhqv, nqhq) + ntbs = num(2) + tzdb = add(llzs, wngq) + jjdb = num(15) + qghr = num(3) + twtm = num(2) + fbdq = num(2) + wjqv = num(2) + hjmr = num(3) + dsrt = num(2) + sddg = mul(jjnv, szgj) + rmst = num(2) + rfpg = num(2) + hhsp = num(3) + gzqj = num(4) + jjnm = add(hgsl, qjwv) + mqpc = num(2) + cmrj = num(13) + twlz = mul(lhds, dhgc) + mchb = num(4) + qcjh = num(4) + swmd = num(5) + wslm = num(2) + sdwm = num(3) + bzfm = div(fjzc, cwvj) + prnl = mul(pnsf, bmcs) + hlcp = add(lfmc, rqqn) + nsbn = num(2) + vjrj = add(bztz, vmhl) + shgv = num(2) + csgb = num(3) + fmlp = mul(pgjl, nngg) + dssb = add(qvbv, tfdh) + slsp = num(11) + rjsn = mul(fbfd, szjr) + vfwh = add(ctrq, cmrj) + msdb = num(16) + fmlt = num(5) + jdqs = num(2) + pjzl = num(2) + zjmm = mul(nflz, hjsb) + mbss = num(2) + brfj = num(2) + nhpg = num(5) + fjzc = mul(vqlg, tzdb) + nggm = add(hmtz, lrpd) + jqjn = num(4) + cjwj = num(3) + jddd = num(3) + psdd = num(3) + bzbl = num(3) + pjwm = num(17) + nwng = num(7) + qwgr = num(8) + gmjd = add(dcgq, mqzc) + mflw = num(3) + fvgl = num(20) + tgcm = num(3) + gwts = num(19) + qhld = num(2) + hbmm = num(7) + jrzs = num(2) + nhgc = num(8) + rcbp = sub(fbgq, wqjg) + tlqq = mul(ngjs, rljg) + vqgq = mul(plds, mvqd) + lfcr = num(1) + dffc = add(dmtv, fzzv) + vtfv = add(rtcz, gcch) + qlrq = add(fpvj, gcdc) + rffd = add(qgld, mljl) + jnwd = num(8) + lhbm = num(5) + lpdb = num(5) + bmcs = num(3) + tbvn = add(bphv, fjws) + ftmr = num(7) + qwhg = add(szqv, gfwh) + gbzz = num(6) + gvfj = add(lwpw, btwg) + nwsb = num(18) + cvgr = num(7) + bgfj = num(3) + bztz = num(7) + rzql = mul(gtmf, gmrz) + qbqc = mul(csnr, lrth) + rlhj = mul(sfnl, jfbj) + bwst = mul(pwjt, nccv) + shvb = num(14) + qwvz = add(tsfc, dvgv) + psjl = num(5) + lhdz = num(5) + rwmw = mul(sjtb, bbfz) + ccmh = add(frds, rmtm) + hfjz = mul(bvff, mlqv) + bdvl = num(20) + lcbf = add(cztz, dzjc) + bbnj = num(5) + mnqv = num(5) + ndmj = num(2) + jsjt = add(wlfc, hdff) + tsgb = num(2) + qmbj = num(9) + tffm = div(zcwf, zjmr) + bmbf = mul(nqgz, zdjb) + jdlv = mul(gzqh, jvjh) + bmmc = num(8) + szjr = num(4) + dwdz = add(frfm, shvb) + gzqv = num(2) + gnvg = num(3) + jqdj = num(5) + scrh = sub(lfdr, tmsz) + rcmt = num(3) + mrdv = num(2) + jhsc = num(2) + nnvh = div(bnsh, jsdz) + snzz = num(11) + drch = num(7) + rdzs = mul(bvth, gnwp) + jvtt = num(3) + httv = add(qrqn, tzvz) + zjpf = num(2) + htlb = div(mnhq, qfnr) + gvhb = mul(bqcp, nlsf) +)