From c46feecce9c12380faeb1764651ba2ba096fd1f9 Mon Sep 17 00:00:00 2001
From: Andrew Ekstedt <andrew.ekstedt@gmail.com>
Date: Tue, 20 Dec 2022 21:35:31 -0800
Subject: [PATCH] day 21 go+python solution

---
 day21/expr.py |    1 +
 day21/input   | 2037 ++++++++++++++++++++++++++++++++++++++++++++++++
 day21/sol.go  | 2047 ++++++++++++++++++++++++++++++++++++++++++++++++
 day21/sol.py  |   26 +
 day21/sol2.go | 2054 +++++++++++++++++++++++++++++++++++++++++++++++++
 5 files changed, 6165 insertions(+)
 create mode 100644 day21/expr.py
 create mode 100644 day21/input
 create mode 100644 day21/sol.go
 create mode 100644 day21/sol.py
 create mode 100644 day21/sol2.go

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)
+)