From 3b52cc2dd20d4471b3ef60038d1fc0ba6d716e75 Mon Sep 17 00:00:00 2001
From: Jonathan Chan <jonathanhwchan@gmail.com>
Date: Wed, 21 Dec 2022 00:18:01 -0800
Subject: [PATCH] Day 21 lol

---
 src/21-part1.rkt | 1679 ++++++++++++++++++++++++++++++++++++++++++++++
 src/21-part2.rkt | 1679 ++++++++++++++++++++++++++++++++++++++++++++++
 src/21.rkt       |   31 +
 3 files changed, 3389 insertions(+)
 create mode 100644 src/21-part1.rkt
 create mode 100644 src/21-part2.rkt
 create mode 100644 src/21.rkt

diff --git a/src/21-part1.rkt b/src/21-part1.rkt
new file mode 100644
index 0000000..7f996ea
--- /dev/null
+++ b/src/21-part1.rkt
@@ -0,0 +1,1679 @@
+#lang racket
+(define (rmmz) 2)
+(define (vdjz) 4)
+(define (rqbd) 3)
+(define (zvqw) 4)
+(define (sshm) (* (qhnd) (lrcj)))
+(define (dtzl) (+ (rnbs) (gppj)))
+(define (gnzq) 5)
+(define (zlpv) (* (pmng) (wgvj)))
+(define (nqgr) 4)
+(define (tftg) 1)
+(define (fhjc) (/ (sbpb) (nhcr)))
+(define (fwbm) (* (jcch) (qhlj)))
+(define (wtlq) 3)
+(define (nzhf) (* (fjzn) (bnws)))
+(define (nqpq) 2)
+(define (jqzv) 2)
+(define (crrj) (/ (vnbv) (grww)))
+(define (glpw) 8)
+(define (cnbg) (* (jmbp) (jnqv)))
+(define (bdcm) 2)
+(define (bcww) 11)
+(define (wrbf) 2)
+(define (hpvb) (* (zswl) (qpbz)))
+(define (qffb) (+ (jvqz) (qgtf)))
+(define (mfmc) (* (hnbn) (twwv)))
+(define (cnzj) (* (qqdn) (pvtb)))
+(define (wbnh) (* (cshj) (snvw)))
+(define (swds) (+ (bmlj) (scdn)))
+(define (twtb) 3)
+(define (dlgc) (+ (gfbw) (djgh)))
+(define (bvzn) 2)
+(define (gwpm) (+ (rrll) (zshp)))
+(define (rtnf) (+ (qbwf) (bqnn)))
+(define (sdmb) 15)
+(define (mtjq) 2)
+(define (dpmg) 3)
+(define (drct) (+ (bvfr) (rtmh)))
+(define (zrpj) (* (gfml) (tsms)))
+(define (gwlm) 2)
+(define (msdr) 3)
+(define (fqbl) (+ (wbbf) (pbgr)))
+(define (zwqw) (- (lnqm) (nzdj)))
+(define (lbvn) (+ (zwbh) (btbn)))
+(define (dggg) (/ (bnmf) (trpv)))
+(define (bjwg) (+ (trdj) (lpqs)))
+(define (bnzl) (* (vfhg) (pjds)))
+(define (qtmp) 2)
+(define (llpf) 2)
+(define (zwqn) (+ (lfhb) (spcf)))
+(define (trpt) (* (mdrm) (qdrc)))
+(define (lzgm) (+ (jzvg) (qlzg)))
+(define (swhh) 2)
+(define (tpnf) 15)
+(define (rgrp) 7)
+(define (zswl) 3)
+(define (gzbv) (+ (djgb) (dvwj)))
+(define (ppfs) 5)
+(define (nfhf) 5)
+(define (pgrc) (* (pdmb) (qgwg)))
+(define (jjwr) 6)
+(define (fvsf) 2)
+(define (qmvq) (* (hlzp) (zvvd)))
+(define (twjq) 2)
+(define (twsj) 5)
+(define (mwrc) 2)
+(define (sbpb) (* (djpm) (pfpt)))
+(define (cbjq) (- (ztqg) (tzls)))
+(define (mgsl) 2)
+(define (vzgd) (+ (qmcb) (wfbz)))
+(define (qrll) 2)
+(define (slpm) (* (fbpz) (jjwr)))
+(define (rffd) (/ (mfmc) (csdf)))
+(define (jjbm) (* (slpc) (bncr)))
+(define (pjds) (+ (cpqv) (ldtj)))
+(define (btfl) (+ (qvfg) (lqdf)))
+(define (sfcv) 7)
+(define (vtnq) 5)
+(define (fzdp) (* (fzrd) (slww)))
+(define (cwjp) 9)
+(define (mpnj) 2)
+(define (wnbb) (+ (zssf) (qnld)))
+(define (nfgv) (+ (lzhf) (mqzw)))
+(define (pszs) 4)
+(define (chpt) 2)
+(define (bhpw) (+ (cnbg) (zrnz)))
+(define (dfps) 5)
+(define (pzqv) 3)
+(define (fjzz) 8)
+(define (ffqr) 16)
+(define (bqvg) (+ (lrqh) (wpdn)))
+(define (qlmg) (+ (mpvz) (wpvg)))
+(define (lfhb) (+ (jscq) (bpnt)))
+(define (pqqj) 2)
+(define (qhtv) 5)
+(define (wchl) (+ (ffqr) (mdnp)))
+(define (vcwt) (+ (llfg) (wjtc)))
+(define (nfbp) 2)
+(define (bbcn) 8)
+(define (smld) 2)
+(define (mvmj) (* (lqdc) (bhmz)))
+(define (mqph) (+ (jjgt) (vtjg)))
+(define (brmz) (+ (mpfm) (zcgs)))
+(define (ttdb) (+ (zncl) (nqpv)))
+(define (bcsc) 6)
+(define (frjj) 9)
+(define (jcjf) (+ (lgpg) (qmvq)))
+(define (pmfh) 3)
+(define (drrf) 9)
+(define (lmht) 7)
+(define (sstg) (+ (vrct) (wfjn)))
+(define (swhz) (* (zvvp) (dbvt)))
+(define (rtpz) (+ (nnsc) (zmlh)))
+(define (qrzq) 2)
+(define (rtmt) 12)
+(define (pmds) 3)
+(define (vfzw) (* (jhlw) (vmzc)))
+(define (smhv) (* (ffnt) (gtwp)))
+(define (vdzv) 5)
+(define (btqb) 3)
+(define (wclq) (+ (rwth) (drln)))
+(define (vzrz) (+ (bsvc) (vmjn)))
+(define (ztct) (/ (zscd) (lhml)))
+(define (zvvd) (- (tcqz) (cmnv)))
+(define (mfrc) (+ (jmcp) (lpvs)))
+(define (sdrn) 9)
+(define (jfvq) (+ (pgdw) (vbvt)))
+(define (qjrs) (+ (qvpw) (cpdf)))
+(define (tnnt) (+ (psfr) (hjlz)))
+(define (fqlp) (+ (bblh) (dbfm)))
+(define (nwhm) 3)
+(define (rlcw) 2)
+(define (rwjc) (+ (ljzj) (zdrh)))
+(define (tfqh) 5)
+(define (crqg) 3)
+(define (nrps) (+ (lrdn) (hmfb)))
+(define (pmng) (+ (gzrs) (vtns)))
+(define (gmzt) (* (tlmq) (bfzd)))
+(define (fhdz) 6)
+(define (fwzf) 4)
+(define (tzls) (+ (fnqf) (fpcs)))
+(define (pvtb) 2)
+(define (gpdf) (* (zslv) (qwqc)))
+(define (zcgs) (* (jlmb) (crnb)))
+(define (clbn) 2)
+(define (wghf) (- (fwbm) (jcjf)))
+(define (vffj) (+ (frjp) (mrtq)))
+(define (gfbw) (+ (csfh) (rlvd)))
+(define (tzth) (* (tvtj) (bnvg)))
+(define (vwhb) 2)
+(define (scwp) 3)
+(define (rpbm) 3)
+(define (zdhf) 2)
+(define (fdmf) 3)
+(define (lqdf) 2)
+(define (rndt) (+ (wtbs) (lrsc)))
+(define (jnzr) 5)
+(define (qpqs) (/ (bcng) (nwdv)))
+(define (tmhg) (- (vtvn) (nzbp)))
+(define (dtfz) (* (bdgd) (dfdl)))
+(define (pnvc) (* (brqb) (drrq)))
+(define (mfnh) (* (rdhg) (rmvq)))
+(define (vjgb) 3)
+(define (czvm) 18)
+(define (qhnd) 3)
+(define (dhfw) (+ (jmcf) (vjjw)))
+(define (nqpv) (+ (bhvg) (zmvz)))
+(define (rhcv) (/ (ddtd) (jqzv)))
+(define (lqqh) 5)
+(define (mspl) 5)
+(define (ngps) 11)
+(define (bcmp) 2)
+(define (nlsw) (* (gnjq) (vzrz)))
+(define (mhlj) 4)
+(define (bqnn) (- (pgrc) (bwff)))
+(define (fbqs) 11)
+(define (cnln) (* (sqml) (wlqd)))
+(define (vjbz) 5)
+(define (vhhz) (* (pwpn) (dsng)))
+(define (crmb) 5)
+(define (wbgs) 3)
+(define (qhvn) 3)
+(define (lsnd) 1)
+(define (hhcv) 2)
+(define (vmjn) 12)
+(define (fbtc) 2)
+(define (jgnj) 4)
+(define (jmcp) 2)
+(define (mfhg) 2)
+(define (ztdn) 2)
+(define (zttf) 3)
+(define (tjwt) 16)
+(define (lzzh) 11)
+(define (rnns) (* (frrn) (pnmc)))
+(define (ffnn) 3)
+(define (wpvg) (* (qvpv) (frqq)))
+(define (wjds) 3)
+(define (nnmh) 5)
+(define (jswz) (- (vthd) (jjrh)))
+(define (qjqw) 2)
+(define (bndd) 7)
+(define (mdpg) 2)
+(define (wtwb) 2)
+(define (nbfg) (* (vwvc) (rbtb)))
+(define (nmts) (* (pfml) (jqqs)))
+(define (nvjf) (* (mddc) (lrbp)))
+(define (gqgh) (* (wzsh) (tqzv)))
+(define (btqt) (+ (qbzv) (wtrh)))
+(define (cblz) 5)
+(define (nvpd) 3)
+(define (vldc) 2)
+(define (drhw) (* (dngq) (nmlt)))
+(define (bpjf) (+ (ndlf) (tjwt)))
+(define (dpgl) 2)
+(define (ggnd) 3)
+(define (qzpn) 2)
+(define (ttvz) 2)
+(define (qwqc) 3)
+(define (zhmb) 15)
+(define (nzdj) (+ (svvh) (qplw)))
+(define (rrnp) (+ (qrnj) (hmvq)))
+(define (mbvg) (/ (sgzh) (mdpg)))
+(define (mlbw) (* (jwwv) (jhzw)))
+(define (wvfb) (+ (mvmj) (phjj)))
+(define (tzhp) 15)
+(define (zjcn) (* (pgfr) (dgvh)))
+(define (wbbf) (* (ghvn) (dfrb)))
+(define (mfsz) (* (fpvs) (lzgm)))
+(define (bfpq) (* (tmhg) (nvlv)))
+(define (vpvl) (* (blnq) (jfsr)))
+(define (pnrv) (- (lfrb) (qwnt)))
+(define (lbgc) (* (bzdh) (wszm)))
+(define (pbdd) (* (dcpm) (nrsd)))
+(define (jsrb) 13)
+(define (bbzt) 8)
+(define (mhdn) (* (bsmm) (rzzg)))
+(define (jpcd) 2)
+(define (ldzb) (* (nqpr) (qnds)))
+(define (nmlg) 2)
+(define (pnpc) 5)
+(define (rbqt) 5)
+(define (dsqb) (/ (mrjc) (ftqd)))
+(define (zhqg) (* (lpjr) (zttf)))
+(define (dphz) 3)
+(define (gbzd) (* (ttvz) (tsjq)))
+(define (cldm) 4)
+(define (ftbq) 5)
+(define (rzff) (+ (gdpg) (cgvs)))
+(define (tzcd) 1)
+(define (gzwh) (* (bjfh) (qtfp)))
+(define (qgnb) (+ (vdgt) (zwwb)))
+(define (jzvg) 5)
+(define (qqwz) (* (pnwh) (wlmv)))
+(define (jbtg) 9)
+(define (rrgh) 2)
+(define (bvfr) (+ (jzcd) (gjbv)))
+(define (mwdl) (* (rlcw) (jffq)))
+(define (chfs) (- (mrlq) (cgvv)))
+(define (gwmr) (* (hbwh) (wzdj)))
+(define (qcml) 3)
+(define (zbhj) (* (ctqb) (hfbg)))
+(define (zshp) (* (wphq) (hzpr)))
+(define (pvcs) 4)
+(define (sszh) 2)
+(define (jdsc) 15)
+(define (ndnm) 8)
+(define (lrlz) 1)
+(define (wpbs) 2)
+(define (bcpn) 7)
+(define (glts) (- (gpdf) (vznc)))
+(define (qnld) (* (jrvp) (smnv)))
+(define (hrtv) (* (bdcm) (cgnr)))
+(define (zbbf) (+ (shtz) (fvsb)))
+(define (vvbz) (* (bqht) (zwqn)))
+(define (vvjg) (* (zgzs) (sbpp)))
+(define (lrlg) 10)
+(define (zpht) 10)
+(define (ndtz) (+ (cnzj) (qsml)))
+(define (stcv) 3)
+(define (jjrh) (* (mlwr) (dqjz)))
+(define (hsbr) (/ (dbcs) (zngg)))
+(define (wtrh) (+ (sclr) (chsm)))
+(define (jfqs) 15)
+(define (hjgd) 12)
+(define (hgnr) 9)
+(define (brqb) 4)
+(define (ndsm) (+ (tmhl) (ddln)))
+(define (fjgh) (+ (cbjl) (pchr)))
+(define (tptf) 3)
+(define (njcj) (* (ppll) (psfp)))
+(define (jjvz) (+ (vhqz) (fmvw)))
+(define (grww) 2)
+(define (jvqf) 2)
+(define (sgvm) (* (vhwz) (gzgm)))
+(define (zscd) (* (dshq) (tbwl)))
+(define (mgjl) 3)
+(define (bfgp) (* (jbvq) (ppcl)))
+(define (mpst) (* (zzpd) (qcnn)))
+(define (wjzd) (* (vwht) (pzcc)))
+(define (wqdj) (+ (zvmv) (sntb)))
+(define (csdf) 2)
+(define (cgwj) 3)
+(define (rccr) 2)
+(define (vsgw) 3)
+(define (pvwn) (* (fpwz) (wnjc)))
+(define (mfql) 3)
+(define (dspn) (+ (qlvz) (bcsc)))
+(define (llcn) 4)
+(define (dcph) 4)
+(define (npcs) (+ (lrvc) (mcfr)))
+(define (wgvj) 4)
+(define (bblh) 1)
+(define (dmrn) 9)
+(define (qbzv) 1)
+(define (lrdn) 3)
+(define (wzfr) (+ (nltq) (lrlz)))
+(define (bwnc) 2)
+(define (dswn) 11)
+(define (bnws) 2)
+(define (cdnp) (* (zvst) (cwjp)))
+(define (fddw) (* (zhgt) (mfst)))
+(define (nbbd) (* (flvw) (thlz)))
+(define (lbzc) (* (jfrn) (gdgd)))
+(define (sntb) (* (bhrb) (lhgv)))
+(define (vzts) 6)
+(define (jvfw) (+ (hlms) (lwlc)))
+(define (mqcv) 2)
+(define (jhzw) 5)
+(define (lhpf) (* (dqzt) (fjld)))
+(define (znjr) 2)
+(define (wrvl) (* (pdbt) (qlvg)))
+(define (cdwt) 6)
+(define (vtjg) (* (stcr) (bvzn)))
+(define (dvnh) (* (brqv) (jdmt)))
+(define (pcgq) (* (jtcf) (qssh)))
+(define (nhjt) 2)
+(define (pmqh) (* (dflc) (rzsn)))
+(define (zrwb) (* (gtqh) (fwjg)))
+(define (zphs) (+ (bcww) (sbtd)))
+(define (nmvn) (* (vrpp) (mdht)))
+(define (sbvl) 3)
+(define (bcdf) (* (rhwm) (zbhj)))
+(define (jhwn) (* (mgjl) (tprm)))
+(define (ftjv) 3)
+(define (ncnm) (* (vzcr) (wqfg)))
+(define (bgwj) (/ (qlqt) (dnwd)))
+(define (hrbr) (+ (gvmj) (vspf)))
+(define (qljb) 3)
+(define (vdsz) 3)
+(define (nhpf) (+ (rdpg) (qrll)))
+(define (gvfn) (/ (drnb) (fhmz)))
+(define (ppts) (* (zhrs) (lccp)))
+(define (fvhm) 7)
+(define (rrqr) 2)
+(define (lnqm) (+ (rwjc) (vnvr)))
+(define (qwnz) (+ (hfbh) (vdbp)))
+(define (cgvr) 3)
+(define (lvrc) 4)
+(define (vcfm) 5)
+(define (zhgt) 3)
+(define (nvdh) 3)
+(define (llfg) (* (cgcc) (nqhg)))
+(define (wjgf) 2)
+(define (nztj) (+ (wqfz) (tdlw)))
+(define (shpt) 2)
+(define (gzmv) 3)
+(define (tqzv) (+ (rtpz) (glqr)))
+(define (pdmb) 2)
+(define (fpcs) 5)
+(define (mwmp) 6)
+(define (hcfs) 2)
+(define (bshp) (+ (chvq) (pdbc)))
+(define (gppj) 1)
+(define (pzpp) 5)
+(define (ltnz) (* (dswn) (tsqc)))
+(define (wzdj) 3)
+(define (frst) 5)
+(define (scdn) 6)
+(define (fpsh) 2)
+(define (gzwm) 2)
+(define (jmbs) (* (lwlb) (sqcb)))
+(define (rqsw) 5)
+(define (bnvg) 3)
+(define (tfwb) 2)
+(define (snwm) 6)
+(define (zvrq) 5)
+(define (vnpq) (+ (djjs) (rmrj)))
+(define (cfbh) 4)
+(define (ntnh) (* (jvfw) (jzdn)))
+(define (jnwv) (* (tlnz) (zqpw)))
+(define (npvl) (* (sbqm) (zmmd)))
+(define (tpwq) (/ (jnll) (flhf)))
+(define (flhs) (+ (qcml) (zmdq)))
+(define (pnvd) (+ (cwvl) (dgpr)))
+(define (zvvp) 3)
+(define (fcql) 20)
+(define (jrvp) 17)
+(define (wbvt) (+ (bftg) (tlzh)))
+(define (vwht) 3)
+(define (pzvr) 3)
+(define (qncp) 3)
+(define (bcgz) (/ (tpjp) (bngr)))
+(define (dcbt) (+ (rctr) (wltv)))
+(define (csgr) (/ (wrvl) (znjr)))
+(define (rsdv) (* (vcwt) (mqcv)))
+(define (fnqf) 2)
+(define (hzrc) (+ (jdbp) (jnwv)))
+(define (cdvw) (+ (sjfs) (fzvh)))
+(define (bsvc) (/ (pwln) (nrjc)))
+(define (tlwr) 3)
+(define (hjmr) 3)
+(define (spjg) 5)
+(define (mqgl) (* (mqlt) (jlnf)))
+(define (mzzd) 3)
+(define (dqnv) (* (mhnm) (zhqg)))
+(define (lqcm) (/ (ffqs) (zvrq)))
+(define (sqzp) 5)
+(define (drvt) (* (hhws) (llpf)))
+(define (ghvn) (+ (vrjj) (vfrh)))
+(define (hfbh) 16)
+(define (wtlg) 19)
+(define (dsgt) (* (hhcv) (npcs)))
+(define (vvzh) 6)
+(define (sclr) (* (dddm) (nttr)))
+(define (jqqs) (+ (znlh) (ffnn)))
+(define (zprq) (* (jmnj) (mwqc)))
+(define (dczh) (* (vvvb) (wcpr)))
+(define (lpzb) (+ (bqvg) (mlgj)))
+(define (dqsv) (* (pmfh) (zrbc)))
+(define (hgzs) 3)
+(define (vrpp) 10)
+(define (snbm) 4)
+(define (tdrq) (* (hqdv) (csln)))
+(define (tbwl) (* (sdmb) (zrfw)))
+(define (jdmt) (- (btwt) (gwpm)))
+(define (fzgj) 4)
+(define (vnvr) (* (pmqh) (pwlt)))
+(define (mcht) 2)
+(define (ztrt) (* (vlhc) (swds)))
+(define (bncr) (- (wpcs) (pcgq)))
+(define (nqsl) (+ (qcfn) (fsgb)))
+(define (cclc) (+ (hjfj) (cfdl)))
+(define (ztpd) (+ (dzlc) (zcgn)))
+(define (lfrb) (* (rbsf) (hzjj)))
+(define (pvfv) 2)
+(define (swpl) 2)
+(define (csnf) 1)
+(define (ptdz) 2)
+(define (nvhn) 2)
+(define (rdhg) (* (nnhm) (wpbs)))
+(define (jclb) 2)
+(define (cscm) (* (lclg) (mrwz)))
+(define (fcgj) (* (hmrz) (nwbt)))
+(define (hgwm) (* (mspl) (rmfv)))
+(define (rqbq) 2)
+(define (wjtc) (+ (fszd) (tpmp)))
+(define (dpvl) 8)
+(define (nwdv) 3)
+(define (zcgn) (* (lzzh) (brfc)))
+(define (jvrt) (/ (bhzq) (rqsw)))
+(define (zmdq) (+ (sdwj) (mwdl)))
+(define (rtsd) (+ (rcmc) (jtjd)))
+(define (nqzz) 11)
+(define (dshq) (* (rtnf) (chvn)))
+(define (mddc) 2)
+(define (rpwz) 3)
+(define (pmlg) 8)
+(define (blmp) (* (vwmr) (ndpf)))
+(define (hqbb) 2)
+(define (chtt) 2)
+(define (cchg) 2)
+(define (bntz) (* (tvrd) (ncsp)))
+(define (gvgp) 3)
+(define (vvhm) (* (mspb) (dpgl)))
+(define (nlcv) 5)
+(define (rwcd) (+ (qffb) (nzcv)))
+(define (rfcq) 6)
+(define (zgdb) 2)
+(define (mggl) (* (cchg) (crcm)))
+(define (mwjg) (* (vjwz) (vsmt)))
+(define (rbbh) 13)
+(define (mqlt) (* (gwlm) (mqvg)))
+(define (ddtd) (+ (qcnv) (wjzv)))
+(define (hpmm) 3)
+(define (cjlm) 6)
+(define (cpdf) (* (jjbm) (mtnb)))
+(define (gqrp) (+ (tdrq) (djrh)))
+(define (zmtg) 8)
+(define (vwdl) (* (hzmn) (nqms)))
+(define (ggpn) 11)
+(define (mtfr) (* (jlqg) (dlgc)))
+(define (nsfm) 4)
+(define (cftm) 18)
+(define (wcdm) (* (tsbf) (wgvv)))
+(define (jcch) 2)
+(define (zqjp) (- (tzhp) (nldv)))
+(define (wjmq) 6)
+(define (cbgj) (* (mdjm) (tqfr)))
+(define (jmnj) (+ (ppts) (fqbl)))
+(define (tlnz) (* (vfgt) (vdjz)))
+(define (fqjd) 2)
+(define (ngzp) 11)
+(define (trdj) 10)
+(define (qrch) (+ (nfhf) (vhtl)))
+(define (hmrz) (* (qjrs) (rtsd)))
+(define (rvnh) 3)
+(define (humn) 4481)
+(define (jstb) 5)
+(define (vqlt) 2)
+(define (vlqd) (* (ndgh) (zptr)))
+(define (vjjw) (/ (mrlc) (pvfv)))
+(define (mnlp) (+ (svdw) (mtjq)))
+(define (jtcf) 4)
+(define (lwlc) (* (qqtm) (cnvb)))
+(define (jdgq) 2)
+(define (vznc) 2)
+(define (dcfw) (* (qvvc) (wqdj)))
+(define (fqwz) (+ (twtb) (vtnq)))
+(define (hhbn) 4)
+(define (wrpp) 14)
+(define (mmnw) 3)
+(define (rdpb) 10)
+(define (hcsc) 5)
+(define (nfvj) 4)
+(define (qznt) (* (zfjw) (wfld)))
+(define (flvw) 5)
+(define (wphq) 5)
+(define (bpwd) 2)
+(define (cbfh) 2)
+(define (bcbw) (* (jtvm) (cdnm)))
+(define (dvwj) (* (zwgg) (dspn)))
+(define (tnbt) (* (qdfp) (bpwd)))
+(define (qlzt) 12)
+(define (rjfh) 5)
+(define (cprt) 3)
+(define (qgwg) (+ (jrgs) (sphc)))
+(define (zpbt) (/ (swfp) (mldc)))
+(define (drln) 6)
+(define (jdcd) 3)
+(define (jzcd) (- (nvjl) (swpl)))
+(define (sbpp) 17)
+(define (ttwm) 5)
+(define (rdbs) (* (wsml) (drrf)))
+(define (pfpt) (* (pmrt) (fvsf)))
+(define (rfbw) (+ (ntpj) (vwpq)))
+(define (bqld) (+ (zqjp) (rbzl)))
+(define (rrmg) 19)
+(define (rbsf) 3)
+(define (mlgj) (+ (vvgt) (dmsz)))
+(define (jfcd) (/ (bsqn) (blgf)))
+(define (sjrh) 7)
+(define (djjd) (+ (fddw) (svvq)))
+(define (jhgd) (* (fjnh) (bbzt)))
+(define (nlts) (- (fjgh) (cnln)))
+(define (ppwc) (- (lhpf) (zprq)))
+(define (gptt) 2)
+(define (bvvl) 20)
+(define (ssnq) (+ (cfmw) (wfnm)))
+(define (gmhz) 4)
+(define (nnsc) (+ (cvqf) (vpvl)))
+(define (zbzf) (* (nlth) (dhfw)))
+(define (jhvm) 16)
+(define (mrrt) 7)
+(define (pmrt) (* (mwrc) (mnhc)))
+(define (rddj) (/ (fbcd) (tfwb)))
+(define (wszm) (+ (hsbr) (rscq)))
+(define (pbgr) (* (glqw) (qqnm)))
+(define (hzlh) 2)
+(define (qnbn) (- (jpvr) (bgzz)))
+(define (hrcp) (* (fjvg) (vjbz)))
+(define (dnwd) (* (lqrf) (flhd)))
+(define (rvlz) 3)
+(define (stcr) (+ (cblz) (nfnw)))
+(define (ptvh) 3)
+(define (vmnc) 5)
+(define (bmwf) (* (rpbm) (cvgt)))
+(define (jzdn) 2)
+(define (djrh) (* (ccjf) (fqgl)))
+(define (lwlb) 5)
+(define (bqht) (* (cldm) (btqb)))
+(define (brfj) (+ (prbr) (qqwz)))
+(define (rlqm) 2)
+(define (mdht) (- (jflm) (trpt)))
+(define (lbbj) 2)
+(define (blnq) 6)
+(define (chfz) 3)
+(define (sqsc) 5)
+(define (mwrt) (+ (slnh) (thcc)))
+(define (nvrb) 3)
+(define (lgrj) (* (qnvn) (tnbt)))
+(define (pvcn) (* (qhwm) (smld)))
+(define (fbgc) 2)
+(define (mqnl) (* (drlt) (bbhp)))
+(define (bdtp) (* (gzpf) (qdnl)))
+(define (wdwf) (- (fhjc) (zpbt)))
+(define (hhjc) (+ (qbvr) (fmwn)))
+(define (jzlv) (* (cftm) (rhtv)))
+(define (smwb) (+ (dgbr) (rbbh)))
+(define (bhvg) (+ (lpfz) (bjnj)))
+(define (zmmd) (+ (smsm) (jfcd)))
+(define (mdld) (+ (zzqd) (bdmw)))
+(define (qlqt) (+ (zfbq) (ntqb)))
+(define (dgbr) (* (sbwd) (cgvr)))
+(define (rwsm) 10)
+(define (jnll) (* (nztj) (vzgb)))
+(define (dbht) (* (jdcd) (rccr)))
+(define (bhmz) 3)
+(define (mrlq) (+ (bbjs) (drdl)))
+(define (fzdg) 2)
+(define (jbsh) 2)
+(define (svzv) 2)
+(define (zjmw) 3)
+(define (tcgm) 2)
+(define (nzcv) 6)
+(define (rmrj) (+ (mtsv) (snlb)))
+(define (bjnj) 2)
+(define (qsml) 18)
+(define (mfts) (* (mwjg) (pjsp)))
+(define (ffqs) (- (rhcv) (rrnt)))
+(define (dbcw) (* (gtbs) (mbvg)))
+(define (wpcs) (* (phbh) (mnhf)))
+(define (rvhs) 2)
+(define (qmcb) 17)
+(define (hlms) 11)
+(define (vwpq) 2)
+(define (wslz) (/ (szhq) (hstj)))
+(define (jpvr) (+ (sflt) (drvt)))
+(define (hcdz) (* (nfhw) (qgjf)))
+(define (svvq) (* (twdf) (rhqj)))
+(define (lgpg) (+ (wglc) (gwmr)))
+(define (mlwr) (+ (zfmv) (hbqm)))
+(define (hbqm) 1)
+(define (fgbm) (+ (lltp) (fwmw)))
+(define (cjlh) (* (btfl) (mpnj)))
+(define (tlmq) (* (fqwz) (lwhp)))
+(define (zzqd) (/ (vnpq) (rlqm)))
+(define (drdl) (* (hzlh) (btqt)))
+(define (sdjb) (* (ssnq) (gzwm)))
+(define (ntmt) 3)
+(define (rwth) (+ (tdjh) (cstb)))
+(define (jjgt) (* (crqg) (dmrn)))
+(define (mpvz) (* (ppwc) (chpt)))
+(define (qbmm) (+ (rqpj) (rfcm)))
+(define (zdrh) (+ (csml) (cvvv)))
+(define (trft) (* (lbbv) (nlgg)))
+(define (dqjz) 7)
+(define (gfrq) 4)
+(define (vvgt) (/ (zrwb) (rfcq)))
+(define (tsft) (+ (sstg) (ngfs)))
+(define (gzpf) 2)
+(define (tfpw) (* (gmln) (hqbd)))
+(define (cddt) 6)
+(define (rlbp) 1)
+(define (ndph) (* (ztzq) (jgzl)))
+(define (blbc) (* (jfvq) (cprt)))
+(define (cvhn) (* (jdgq) (llcn)))
+(define (zncl) (+ (mwrt) (dbgp)))
+(define (rthb) 2)
+(define (jfld) 4)
+(define (gdgd) 7)
+(define (lrsc) (* (vdzv) (czst)))
+(define (gzgm) 4)
+(define (bhrb) (/ (pnvc) (smdh)))
+(define (bsmm) 2)
+(define (qnds) (* (sbvl) (szmm)))
+(define (bhzq) (* (zhmb) (qfss)))
+(define (vwvc) 17)
+(define (qmgt) 3)
+(define (gfml) 4)
+(define (tjqj) (* (glpw) (zsns)))
+(define (vlmc) 4)
+(define (qlnr) (+ (ndph) (twtq)))
+(define (fvph) 3)
+(define (jgzl) (+ (drct) (vwdt)))
+(define (wnjc) 2)
+(define (ffbb) 2)
+(define (hzmn) (+ (pgbv) (rwbg)))
+(define (rpbj) (* (shrh) (jvqf)))
+(define (sqmd) 2)
+(define (ndcd) (* (sdgs) (spjg)))
+(define (mmbs) 3)
+(define (mhbr) (+ (wggq) (grcv)))
+(define (nsqq) (* (cvfw) (ffmp)))
+(define (wgvv) 2)
+(define (rvmp) (* (nnzp) (dbcw)))
+(define (dwnz) 2)
+(define (jvtz) (+ (fctt) (bfpq)))
+(define (nzzv) (* (jbcl) (llnl)))
+(define (cqcg) 3)
+(define (nrvw) 2)
+(define (qqtm) 3)
+(define (fvng) 19)
+(define (phrv) 3)
+(define (tlzh) 11)
+(define (twjs) (- (ltnz) (ltsv)))
+(define (lhgv) (+ (nwqz) (qflq)))
+(define (rctr) (* (mhdn) (mvnc)))
+(define (snlb) 4)
+(define (dfgh) 7)
+(define (tvtj) 13)
+(define (flcb) 2)
+(define (nqpr) 3)
+(define (jmbp) 4)
+(define (rcmc) (/ (bpjf) (qrzq)))
+(define (mnpl) (- (pbdd) (qpct)))
+(define (twcj) 3)
+(define (nlth) 2)
+(define (drrq) 13)
+(define (fszd) (+ (bmwf) (qspw)))
+(define (mlrz) 2)
+(define (jvgd) (- (dvnh) (mpjj)))
+(define (jtvw) (- (nzhf) (wfnl)))
+(define (ftvm) 3)
+(define (cgcz) (- (njcj) (bjbr)))
+(define (dfzw) 2)
+(define (tdhw) (* (rzjm) (qrgn)))
+(define (qwnt) 2)
+(define (mspb) (+ (dggg) (ghtd)))
+(define (fhmz) 2)
+(define (dqzt) 5)
+(define (brfc) (- (dczh) (tfpw)))
+(define (hstj) 2)
+(define (rzjm) 5)
+(define (jbcl) 3)
+(define (zhpq) (* (gpzn) (cnmq)))
+(define (hmrs) (* (ltqr) (hslj)))
+(define (mtdh) 8)
+(define (lwhp) 5)
+(define (wnvf) 8)
+(define (qqdn) 3)
+(define (wrmw) (* (fwrh) (rbmm)))
+(define (gzrs) (* (jclb) (zjpc)))
+(define (nzwc) 3)
+(define (wflc) (/ (cbgj) (qllm)))
+(define (gtwp) 3)
+(define (trbs) 2)
+(define (zsns) 2)
+(define (vvvb) (- (wrpp) (qrsg)))
+(define (cstb) (* (dfps) (svwg)))
+(define (gcmv) (* (whbb) (mfnh)))
+(define (vrjj) (* (lbbj) (jgnj)))
+(define (rrll) (* (scdt) (zjmw)))
+(define (wgsb) (* (jqrl) (jlwb)))
+(define (scdt) (* (vlmc) (qfln)))
+(define (wqqv) (* (nrps) (pnwz)))
+(define (szhq) (* (nchp) (ndtz)))
+(define (tqzf) 3)
+(define (wpqd) (* (jqsn) (przh)))
+(define (vmzc) (* (nhpf) (gcqh)))
+(define (pjlz) 2)
+(define (mdjm) 3)
+(define (qgjf) (+ (pgvq) (spgw)))
+(define (qnhq) (* (rncj) (rllb)))
+(define (hfbg) 2)
+(define (jfsr) 8)
+(define (nfhw) 2)
+(define (cstm) (* (rgzs) (nbcb)))
+(define (ghvl) (+ (dbfd) (qbmm)))
+(define (tzcl) 2)
+(define (pzzg) (- (ltmj) (mfts)))
+(define (cdqv) (+ (dfgh) (mnlp)))
+(define (wcpr) 5)
+(define (jdrg) (+ (qmpm) (hlmn)))
+(define (gtqh) 8)
+(define (hlmn) (+ (rdnj) (sjcd)))
+(define (hnqc) (/ (mfsz) (hbzt)))
+(define (sphc) (* (vrcl) (nhfw)))
+(define (bnlr) (* (qhvn) (vvzh)))
+(define (dbfd) (/ (bcnp) (ffvs)))
+(define (hpzh) (+ (snwm) (rrnp)))
+(define (ghqp) 5)
+(define (dfql) (* (dzwg) (snbl)))
+(define (hbzt) (+ (shwr) (rthb)))
+(define (chsm) (* (crmb) (scwp)))
+(define (lpjq) (* (wlpd) (fcgs)))
+(define (plfd) (* (sqsc) (hvsd)))
+(define (vbvt) (* (ghqp) (qmjq)))
+(define (rdpg) 7)
+(define (vhds) 12)
+(define (rmfv) 5)
+(define (smft) (* (crmw) (msdr)))
+(define (wlpd) 2)
+(define (cvvw) 2)
+(define (bsqn) (+ (wlfp) (sdjb)))
+(define (svcp) (+ (jfmb) (rwsm)))
+(define (qflq) (* (scrz) (dtfz)))
+(define (bwwc) 3)
+(define (wqfg) (* (qmzt) (chfz)))
+(define (lbqn) 5)
+(define (zbhw) (+ (wcdm) (hhjc)))
+(define (jlnf) 3)
+(define (nlst) (+ (wmzt) (twjs)))
+(define (zfjw) (+ (tbdh) (rmmz)))
+(define (wfms) 2)
+(define (fjps) 5)
+(define (djpm) (* (pznf) (qlnr)))
+(define (snsc) 2)
+(define (hnlj) 5)
+(define (pvfm) 2)
+(define (cwhc) 3)
+(define (blgg) 15)
+(define (jmwl) (* (rdpb) (zpht)))
+(define (wbsb) (* (jcdb) (ngbz)))
+(define (jwwv) 2)
+(define (jdsd) 5)
+(define (rsnp) 3)
+(define (rrnt) (* (jnnp) (dmtd)))
+(define (nfnw) 2)
+(define (mpfm) (* (mfrc) (qrch)))
+(define (mnzz) (+ (lwld) (jbwd)))
+(define (lfjp) 3)
+(define (qvfg) (* (fdmf) (svst)))
+(define (mjmv) (+ (cdwt) (pzvr)))
+(define (lclg) 8)
+(define (pcvv) (+ (rvmp) (hmrs)))
+(define (wsml) 3)
+(define (gvbp) 3)
+(define (mpjj) 10)
+(define (vcqw) (* (jjjj) (brmz)))
+(define (lhvt) (* (pmds) (tqzf)))
+(define (qpdv) 15)
+(define (mrlc) (* (zbhw) (svzv)))
+(define (bdmw) (* (fpsh) (hwvf)))
+(define (vntv) (* (npvl) (mbqs)))
+(define (cfdl) (* (mfhg) (gzbv)))
+(define (gvww) 2)
+(define (dqhh) (* (gzwh) (thpg)))
+(define (mtnb) (* (mqph) (bnfp)))
+(define (wlfp) (+ (ntsl) (lfhp)))
+(define (zslv) 3)
+(define (lqrr) (* (hhbn) (gmzh)))
+(define (qfzb) (+ (nhjt) (mjmt)))
+(define (ltzm) 12)
+(define (qcnn) (- (mnpl) (wsnf)))
+(define (bhvr) (+ (lflj) (rfjw)))
+(define (wnzr) (* (jbrp) (nnmh)))
+(define (zglw) (* (flcb) (cqmq)))
+(define (svdw) 4)
+(define (pfml) (+ (bnlr) (ndcd)))
+(define (zpqd) 2)
+(define (fjnh) 5)
+(define (rhqj) (+ (qrpv) (ngzp)))
+(define (szmm) 3)
+(define (ztwb) 9)
+(define (npnf) 1)
+(define (wltv) (- (rqfq) (hncq)))
+(define (bwff) (+ (dwdd) (qhzd)))
+(define (slnh) (* (ljnf) (tnfz)))
+(define (ppwz) (* (hqbb) (nlts)))
+(define (hgls) (/ (wnzr) (wwtj)))
+(define (dbvt) 3)
+(define (wrst) (+ (qdrg) (bnfz)))
+(define (rzzg) (+ (rpbj) (fsrm)))
+(define (prbr) (- (hpzh) (zmtg)))
+(define (bvdb) 2)
+(define (jlmb) (- (cmtm) (qbjm)))
+(define (rbpq) (* (wnbb) (glts)))
+(define (jwjj) 15)
+(define (dhts) 8)
+(define (dcpm) 3)
+(define (qvpv) (* (grcn) (cgwj)))
+(define (bbhp) 2)
+(define (sjfs) (- (ztpd) (bnzl)))
+(define (wqpv) (* (fzgj) (rvvn)))
+(define (sdhj) 2)
+(define (wfbz) 2)
+(define (mdnp) (* (gvfn) (tfqh)))
+(define (ctjq) (* (tgvp) (wjzd)))
+(define (mbqs) (* (rrmg) (rnnq)))
+(define (wcfp) 3)
+(define (ftzm) 3)
+(define (nwbt) (* (bhpw) (bhgh)))
+(define (bmsf) (/ (fnws) (bcmp)))
+(define (cmnt) (+ (bvjd) (lccn)))
+(define (wqfz) 4)
+(define (jrgs) (+ (hjgd) (mpst)))
+(define (gmzh) (/ (drhw) (sdsl)))
+(define (pnvs) (* (bmsf) (qljb)))
+(define (gcvn) (+ (wqqv) (dqnv)))
+(define (qbvr) (- (ltds) (vsgw)))
+(define (phbh) (* (snsc) (flhs)))
+(define (shtz) (+ (pnrv) (pvcs)))
+(define (smsm) 4)
+(define (gznh) 7)
+(define (tjch) (* (ncrt) (rrgh)))
+(define (bpnt) (+ (ccfw) (dfql)))
+(define (lljf) 3)
+(define (qfsz) 2)
+(define (dgvh) 3)
+(define (lvbp) (+ (hdrj) (trbs)))
+(define (cdvv) 4)
+(define (qlzg) 2)
+(define (rwbg) 2)
+(define (snff) 4)
+(define (flrw) 3)
+(define (tdnf) 4)
+(define (nzlr) 2)
+(define (ftzc) 2)
+(define (pznf) (* (cllb) (zzcv)))
+(define (zjvz) (* (znfq) (chlt)))
+(define (nvjl) (* (ngzt) (wbgs)))
+(define (qtvv) 2)
+(define (hdff) 4)
+(define (swmh) (+ (vrbh) (jdjq)))
+(define (ghfr) 2)
+(define (ghtd) (* (cfzf) (gnsc)))
+(define (mfmt) (* (cdqv) (chfs)))
+(define (pgtq) (* (phwc) (gbgs)))
+(define (frjp) 17)
+(define (bnfz) 2)
+(define (qfqz) (* (mswh) (slds)))
+(define (djmr) 2)
+(define (crcm) (+ (lsnd) (zbqq)))
+(define (ngbg) (* (jgld) (lhfr)))
+(define (sbqm) 3)
+(define (wlqd) 2)
+(define (jfrn) 3)
+(define (jbqf) (* (cdvw) (dnvm)))
+(define (zhrs) (+ (pjjj) (fngd)))
+(define (lvtv) (/ (nvjf) (nmlg)))
+(define (vclb) (+ (bbcn) (jqhr)))
+(define (qtgd) 2)
+(define (hqbd) 4)
+(define (qqnm) (- (nsqq) (rfbw)))
+(define (nvjh) 6)
+(define (jcgh) (* (pmwl) (hcqw)))
+(define (bgzz) (* (swsv) (qldj)))
+(define (slds) 2)
+(define (lwsn) (+ (hcfs) (rswn)))
+(define (bhgh) (* (hcsc) (mzzd)))
+(define (bjbr) 3)
+(define (tgvp) (/ (smft) (cnhr)))
+(define (dbfm) 9)
+(define (msmm) (* (djmr) (bshp)))
+(define (llqs) (+ (mmps) (pwqg)))
+(define (qqpl) 5)
+(define (pfdc) (+ (mwmp) (zvqs)))
+(define (qlvg) 2)
+(define (wzdv) 3)
+(define (glqr) (* (qqpl) (blgg)))
+(define (vdgt) 5)
+(define (qrnj) (* (fjrq) (nwhm)))
+(define (fbrf) 3)
+(define (gvmj) (/ (ngbg) (vsqt)))
+(define (nrjc) 2)
+(define (sdsl) 2)
+(define (mqvg) (- (tbqq) (bzqw)))
+(define (chvq) (+ (jdsd) (cgcz)))
+(define (lrzn) (+ (gfrq) (drgv)))
+(define (crrm) 2)
+(define (pgbv) (+ (swhz) (dqld)))
+(define (brqv) 2)
+(define (gmln) 2)
+(define (wcmz) 3)
+(define (hbhz) 18)
+(define (vrcl) 5)
+(define (hqdv) 5)
+(define (nchp) (+ (dtzl) (qpdv)))
+(define (bfvd) 7)
+(define (nnhm) (* (pzpp) (dwnz)))
+(define (thpg) 4)
+(define (jpzw) 3)
+(define (vrmt) (- (lqrr) (smrq)))
+(define (hnbn) 2)
+(define (tsbf) (+ (lljf) (mqnl)))
+(define (nbpq) 2)
+(define (csml) (* (lbtn) (zspm)))
+(define (cnmq) 8)
+(define (qbwf) (- (vvhm) (dsqb)))
+(define (jbrp) 11)
+(define (bbzc) (* (ffbb) (lqft)))
+(define (pgfr) 3)
+(define (fmwn) 2)
+(define (lrvc) 10)
+(define (stqc) 5)
+(define (ngzt) (+ (rlbp) (fbjn)))
+(define (mdrm) (+ (jhwn) (lmht)))
+(define (mrtq) (* (rzcm) (nqgr)))
+(define (lpvs) 9)
+(define (lqfq) 3)
+(define (rnnq) 3)
+(define (jdfj) 15)
+(define (tqst) (+ (cjbz) (rvhn)))
+(define (dnzc) (* (mmbs) (qlmw)))
+(define (lwld) 1)
+(define (sgjm) 8)
+(define (bfzd) 17)
+(define (dchw) 4)
+(define (rlrb) (+ (tftg) (qbqm)))
+(define (pchr) (+ (trft) (bcbw)))
+(define (lvhm) (* (dhqh) (dchw)))
+(define (mswh) 5)
+(define (sdgs) 5)
+(define (snfj) 1)
+(define (sdwj) 2)
+(define (qmqt) (/ (wttp) (cgnv)))
+(define (przh) (+ (wqlh) (nqzz)))
+(define (qrpv) (* (sqmd) (tpdj)))
+(define (pjsp) 5)
+(define (hpmw) (* (zdsr) (rlrb)))
+(define (jhlw) 9)
+(define (ntqb) (* (gzmv) (pzzg)))
+(define (qpct) 3)
+(define (rvvn) (* (rrqr) (wflc)))
+(define (lmcj) (+ (szcv) (lqcm)))
+(define (bvjd) 2)
+(define (fngd) (* (wjds) (nrvw)))
+(define (fnws) (+ (jmwl) (rtgr)))
+(define (frqq) 4)
+(define (ltsv) 3)
+(define (cmnv) 7)
+(define (wdqj) (* (vhrn) (hpmw)))
+(define (cjbz) (* (qlzt) (fqjd)))
+(define (rqpj) (* (tqst) (ptdz)))
+(define (lbtn) 8)
+(define (dbgp) (* (lbzn) (jqtj)))
+(define (qbjm) 12)
+(define (ljzj) 15)
+(define (mrvr) 3)
+(define (nght) 2)
+(define (djff) 12)
+(define (jmqh) 14)
+(define (vcpt) (* (ppwz) (zvqw)))
+(define (vsqt) 5)
+(define (tfjw) (* (bhvr) (vjgb)))
+(define (hwvf) (+ (vszg) (lvrc)))
+(define (qgtf) 6)
+(define (mmtj) 6)
+(define (blgf) 3)
+(define (mvmz) (* (qpqb) (cvhn)))
+(define (svhz) (* (jqcf) (nzzv)))
+(define (wfds) 3)
+(define (pnmc) 13)
+(define (szvb) (+ (mdld) (bfgp)))
+(define (bnwj) 2)
+(define (dnvm) (- (msmm) (tqfz)))
+(define (fwrh) (- (wdqj) (dqnp)))
+(define (cspp) (+ (mggl) (rndt)))
+(define (lltp) (* (rwcd) (wfds)))
+(define (smrq) (+ (lrlg) (bwqm)))
+(define (rgzs) 3)
+(define (crmw) (+ (ntmt) (cjlh)))
+(define (dncw) 5)
+(define (rvjf) (* (mttr) (frlv)))
+(define (wlmv) 4)
+(define (fqbj) (* (pfdc) (rqbd)))
+(define (fwjg) (* (vdsz) (brfj)))
+(define (gnsc) 2)
+(define (gtwd) 2)
+(define (qdnl) (- (nmvn) (wpqd)))
+(define (pjjj) (+ (bnjt) (fhdz)))
+(define (ntsl) 1)
+(define (glqw) 3)
+(define (wmzt) 3)
+(define (vjzr) (+ (swmh) (svhz)))
+(define (ncgd) 3)
+(define (bngr) 5)
+(define (qtfp) 2)
+(define (bdqg) 2)
+(define (hzpr) 5)
+(define (tctd) 13)
+(define (jlqg) 4)
+(define (qhlj) (+ (gcvn) (bntz)))
+(define (jtvm) 9)
+(define (szcv) (+ (jswz) (lbvn)))
+(define (sfmn) (+ (wchl) (cscm)))
+(define (lfhp) (* (nght) (wcfp)))
+(define (root) (+ (bsbd) (fcgj)))
+(define (jbwd) 6)
+(define (zrnr) 2)
+(define (hrmz) (* (mthn) (dncw)))
+(define (rfjw) 13)
+(define (hpdh) 2)
+(define (jqrl) (+ (pvwn) (hjmr)))
+(define (vgsm) 5)
+(define (mvgg) (+ (nbfg) (mtfr)))
+(define (hcqw) 14)
+(define (cdtq) (/ (rjrt) (mffc)))
+(define (spgw) (* (wbvt) (clbn)))
+(define (wfjn) 5)
+(define (hrtz) (* (llqs) (rvlz)))
+(define (rzsn) 5)
+(define (fbcd) (+ (mfmt) (humn)))
+(define (vhwz) (+ (mtwg) (fbgc)))
+(define (lvcn) 4)
+(define (grdf) (+ (dbht) (sgvm)))
+(define (pdbc) (* (rsnp) (djqq)))
+(define (qssh) 5)
+(define (wnjl) 9)
+(define (btwt) (* (tzth) (hrtv)))
+(define (hplt) 11)
+(define (mwwr) (* (bsnq) (crrm)))
+(define (smqg) 14)
+(define (dqcj) (+ (blbc) (bghp)))
+(define (ptwr) 7)
+(define (mttr) (* (hnqc) (wfms)))
+(define (pzcc) 5)
+(define (jscq) 1)
+(define (hzcm) 4)
+(define (tsjq) (* (nsfm) (hpdh)))
+(define (fsgb) (+ (vhhz) (jhgd)))
+(define (plvw) (* (zpqd) (rffd)))
+(define (tcqz) (+ (dqhh) (mlrz)))
+(define (mqzp) 2)
+(define (tldn) (* (rjfh) (zwqw)))
+(define (rwmq) (* (tdnf) (jdrg)))
+(define (vnft) (+ (mqrm) (tjch)))
+(define (ztqg) (* (wtwb) (bqld)))
+(define (fjvg) (+ (snfj) (gbzd)))
+(define (nzdz) (+ (sfcv) (qtgd)))
+(define (qrgn) 5)
+(define (tbqq) (* (jplv) (rmzw)))
+(define (tdjh) (* (wrst) (wnjl)))
+(define (qwqw) 5)
+(define (pdbt) 11)
+(define (bnmb) (* (cvnr) (nvrb)))
+(define (lslq) 1)
+(define (twwv) 19)
+(define (rzcm) 6)
+(define (jtjd) 6)
+(define (htgm) 3)
+(define (pjss) 2)
+(define (mrwz) 12)
+(define (djqq) 4)
+(define (jmcf) 12)
+(define (hmqr) (- (zrpj) (nttd)))
+(define (lqdc) 5)
+(define (gpzn) (+ (hpvb) (tpwq)))
+(define (pgdw) 4)
+(define (mwgb) (* (nvdh) (mrrt)))
+(define (wggq) (+ (bgwj) (tldn)))
+(define (mwqc) 2)
+(define (bnfp) 13)
+(define (pwlt) 5)
+(define (hlzp) (+ (phrv) (hrmz)))
+(define (qplw) (* (ncgd) (cmnt)))
+(define (vhqz) (- (pgtq) (ncnm)))
+(define (zptr) 3)
+(define (gtbs) 13)
+(define (zwwb) (* (pqqj) (dpqz)))
+(define (hmfb) 4)
+(define (mffc) 3)
+(define (lqgr) 9)
+(define (bcqm) (+ (vjzr) (jzlv)))
+(define (cbdr) (+ (wbsb) (cspp)))
+(define (bssd) 2)
+(define (dmsz) (+ (vwdl) (rmqt)))
+(define (fpwz) (* (ltsl) (fbqs)))
+(define (rbmm) 2)
+(define (rvhn) (* (ttwm) (tctd)))
+(define (hqjt) 7)
+(define (bftg) (* (ftjv) (lghm)))
+(define (ppjl) (/ (lfpz) (nlcv)))
+(define (nzbp) (* (chtt) (hnst)))
+(define (rwzt) (* (ltgf) (qwqq)))
+(define (zwgg) 5)
+(define (frlv) 3)
+(define (vmgn) 1)
+(define (tvrd) (+ (qnhq) (ldzb)))
+(define (wfld) 8)
+(define (pnwz) (/ (stlr) (fbrf)))
+(define (ndmd) 2)
+(define (fmbj) (* (slmm) (twsj)))
+(define (jqcf) 3)
+(define (jqsn) 15)
+(define (wzsh) 3)
+(define (hjqq) 11)
+(define (cvqf) (* (mpws) (sdrn)))
+(define (wrll) 2)
+(define (vtns) (/ (jvrt) (cjvp)))
+(define (wsnf) 4)
+(define (qfjg) 1)
+(define (rsqz) (- (bbzc) (vfwd)))
+(define (dddm) 2)
+(define (ftmn) (* (wcmz) (hrtz)))
+(define (bcnd) 13)
+(define (qgtc) 3)
+(define (vthd) (* (zbzf) (mmnw)))
+(define (mvnc) 2)
+(define (ndpf) 10)
+(define (pwlh) (+ (hbhz) (rtmt)))
+(define (cfzf) (+ (rlqh) (qfrg)))
+(define (qldj) 2)
+(define (ftqd) (* (nssr) (mqzp)))
+(define (lhml) 7)
+(define (mrmm) (* (pszs) (cjlm)))
+(define (crnb) (+ (ndnm) (lslq)))
+(define (qpbz) 3)
+(define (qspw) 4)
+(define (jtrg) 7)
+(define (nwwb) (* (hfvj) (snmq)))
+(define (rgpt) 4)
+(define (spcf) (* (cdvv) (wpgm)))
+(define (brqh) (+ (bndd) (nbbd)))
+(define (qfrg) (* (hdff) (qmgt)))
+(define (ddmr) (+ (fhzm) (qvbn)))
+(define (lpqs) 1)
+(define (zvqs) 11)
+(define (dfdl) 3)
+(define (vnbv) (* (ldbp) (frjl)))
+(define (bwqm) 19)
+(define (zjpc) 4)
+(define (btbn) (* (cvvw) (hnlf)))
+(define (bpgp) (- (nqlh) (gqgh)))
+(define (jbsn) 3)
+(define (tdlw) 3)
+(define (fsrm) (* (pzqv) (zjcn)))
+(define (rjrt) (* (nzwc) (gcmz)))
+(define (wpdn) (* (rsdv) (wcfj)))
+(define (dzvg) 2)
+(define (rdfn) (* (rbqt) (btzg)))
+(define (zrnz) (* (cbjq) (jmbs)))
+(define (djgb) (+ (mrnr) (ttdb)))
+(define (pwln) (* (vqlt) (mnrr)))
+(define (vfgt) 7)
+(define (tbdh) (* (dzvg) (stcv)))
+(define (jlwb) 3)
+(define (cshj) (+ (pwgj) (rpbg)))
+(define (lzhf) 5)
+(define (hncq) 11)
+(define (nqms) 5)
+(define (lhfr) (/ (fgbm) (mstm)))
+(define (ltdq) 4)
+(define (zssf) 5)
+(define (dqld) (* (sjrh) (zdhf)))
+(define (grcv) (* (pnvs) (gvgp)))
+(define (zfbq) (* (ggbp) (plfd)))
+(define (lmjg) 4)
+(define (lncn) 1)
+(define (qmjq) 5)
+(define (rnbs) (+ (vtgj) (dpmg)))
+(define (mstm) 2)
+(define (pnwh) 2)
+(define (ccfw) 8)
+(define (tsqc) 2)
+(define (gqpj) (+ (hqjt) (fwzf)))
+(define (tnfz) (* (qrln) (nvpd)))
+(define (rhwm) 4)
+(define (bcnp) (/ (dcfw) (nzlr)))
+(define (fvrg) 3)
+(define (vtgj) 5)
+(define (wwtj) 5)
+(define (slmm) (+ (crrj) (bcgz)))
+(define (mjmt) 4)
+(define (zzpd) 2)
+(define (wttp) (- (lbgc) (gnrj)))
+(define (qdfp) (* (qlvw) (hmfd)))
+(define (psfr) (* (wfbp) (wzdv)))
+(define (rlqh) (* (ptwr) (lvbp)))
+(define (mgsz) (* (qqpt) (hgls)))
+(define (cjvp) 2)
+(define (hrjj) 2)
+(define (fjrq) 6)
+(define (qmpm) (* (bwwc) (hcdz)))
+(define (lddq) (+ (rjbz) (ppsl)))
+(define (snbl) (* (vwhb) (szwj)))
+(define (bghp) (* (wgcm) (tfdv)))
+(define (zdnh) 11)
+(define (cbqn) (* (ppfs) (fjps)))
+(define (pbzb) 2)
+(define (rmzw) (+ (ftvm) (mhlj)))
+(define (qpqb) (+ (ptnv) (vhds)))
+(define (jffq) 3)
+(define (rscq) (+ (bcdf) (tfjw)))
+(define (wjzv) (/ (vcqw) (nqpq)))
+(define (ngbz) 2)
+(define (hdrj) 5)
+(define (slpc) (+ (jstb) (lncn)))
+(define (bmzw) 5)
+(define (cmtm) (* (twcj) (tjqj)))
+(define (pwqg) 17)
+(define (dgpr) (/ (bpgp) (lmjg)))
+(define (trpv) 7)
+(define (qnvn) 2)
+(define (gcqh) 3)
+(define (bdgd) 2)
+(define (dbcs) (- (nrqv) (zlpv)))
+(define (nrqv) (* (fvph) (hzrc)))
+(define (cnvb) (* (hrjj) (lbqn)))
+(define (cvgt) (* (qhtv) (vgsm)))
+(define (tqlp) 2)
+(define (sgpj) 11)
+(define (swsv) 7)
+(define (hndh) 2)
+(define (smwv) (+ (gssz) (rgrp)))
+(define (dwdd) (/ (fzdp) (gtwd)))
+(define (jszj) (+ (gqrp) (tpnf)))
+(define (ncrt) (+ (ntnh) (mwgb)))
+(define (rpbg) 1)
+(define (jvsz) (* (ndmd) (hrbr)))
+(define (ffvs) 2)
+(define (mnhf) 3)
+(define (hbwh) (+ (ggpn) (pbzb)))
+(define (tpmp) (* (qjqw) (hzvm)))
+(define (nttr) 3)
+(define (ldbg) (* (cprm) (wrbf)))
+(define (ntpj) 4)
+(define (lbbv) 3)
+(define (vrct) 2)
+(define (lccn) 5)
+(define (nrsd) 10)
+(define (fvzw) (+ (mwwr) (vmgn)))
+(define (vgjq) 2)
+(define (dptm) 6)
+(define (ggbp) (+ (wbnh) (jhvm)))
+(define (qdrg) 5)
+(define (hcpf) 4)
+(define (zrbc) 3)
+(define (tpjw) (/ (shcg) (hjmp)))
+(define (jnqv) (+ (wwqp) (jcgh)))
+(define (fzrd) 2)
+(define (cbjl) (* (jdfj) (bnwj)))
+(define (bnjt) 1)
+(define (czpd) 4)
+(define (fjld) (+ (tpjw) (ghvl)))
+(define (sbwd) 4)
+(define (rqfq) (* (lhmd) (nfvj)))
+(define (pwpn) 3)
+(define (ztzq) (- (nqsl) (vzts)))
+(define (ltqr) (+ (dqcj) (qbgj)))
+(define (nlgg) (* (rvhs) (rqss)))
+(define (ltsl) 2)
+(define (zgzs) 3)
+(define (mqrm) (* (cqcg) (cbdr)))
+(define (fhtw) (+ (fcql) (brqh)))
+(define (zdfg) (+ (blmp) (qwcl)))
+(define (dzwg) 4)
+(define (czst) (- (smwb) (pvcn)))
+(define (ncsp) (- (rddj) (zhpq)))
+(define (bsnq) 3)
+(define (sflt) (+ (qtvv) (ftmn)))
+(define (vsmt) (+ (pwlh) (gztl)))
+(define (vszg) (/ (smqg) (dfzw)))
+(define (tqfz) (/ (wmdp) (mwms)))
+(define (fhzm) (+ (lfjp) (rjtc)))
+(define (wgcm) (/ (dsgt) (tqlp)))
+(define (zsvh) (+ (grdf) (svcp)))
+(define (hjfj) (* (lmcj) (hndh)))
+(define (pqsr) 2)
+(define (lrbp) (/ (wgsb) (htgm)))
+(define (twdf) 2)
+(define (jdbp) (* (pnvd) (ghfr)))
+(define (smdh) 4)
+(define (cjhz) (* (pvfm) (gbtc)))
+(define (psfp) 3)
+(define (cqmq) 13)
+(define (nvlv) 17)
+(define (lrqh) (+ (gmzt) (gmpl)))
+(define (wqlh) 16)
+(define (qrsg) 3)
+(define (zzcv) 14)
+(define (sgzh) (* (mvgg) (zgdb)))
+(define (vrbh) (/ (wqpv) (gwhs)))
+(define (drlt) 5)
+(define (shrh) 13)
+(define (qrln) 2)
+(define (hslj) (* (mgsz) (jddd)))
+(define (mtsv) 3)
+(define (hmfd) 2)
+(define (grcn) 13)
+(define (fctt) (* (smhv) (qzpn)))
+(define (lhmd) (+ (vszd) (nfgv)))
+(define (rtgr) (* (nvhn) (szvb)))
+(define (zmvz) (* (fqbj) (swhh)))
+(define (jdjq) 4)
+(define (vhzf) 2)
+(define (fmvc) (* (fjcg) (dhts)))
+(define (dzlc) (+ (rbpq) (vntv)))
+(define (fbjn) (/ (tvrz) (nvjh)))
+(define (ppcl) 3)
+(define (jjjj) 2)
+(define (wfnm) (* (fvrg) (tzcl)))
+(define (dflc) 2)
+(define (ffnt) (+ (mzfn) (vcpt)))
+(define (zbnt) 3)
+(define (dqnh) 2)
+(define (slww) (+ (stzl) (pcwz)))
+(define (djjs) (+ (ltzm) (qfjg)))
+(define (sqml) 7)
+(define (lghm) 2)
+(define (bsbd) (* (rzff) (wdwf)))
+(define (gwhs) (* (czpd) (jbsh)))
+(define (zqpw) (+ (jsrb) (jwjj)))
+(define (drgv) 3)
+(define (rswn) 5)
+(define (gnjq) 2)
+(define (sjcd) (* (bcpn) (fvzw)))
+(define (fzml) 11)
+(define (mthn) 2)
+(define (cgnr) 4)
+(define (ldbp) (+ (vrmt) (gptt)))
+(define (lqrf) 2)
+(define (gjbv) (* (djff) (stqc)))
+(define (ljnf) (* (rtjb) (wtnp)))
+(define (hjmp) 6)
+(define (mrnr) 2)
+(define (zspm) 5)
+(define (qlvz) (+ (gjzv) (hpmm)))
+(define (tfdv) 2)
+(define (vtvn) (* (hrcp) (wtlq)))
+(define (qlmw) (+ (vcfm) (pqsr)))
+(define (hsmp) (* (rpwz) (wclq)))
+(define (wcfj) 2)
+(define (brst) 5)
+(define (fnrh) 2)
+(define (qhzd) (+ (fqlp) (jpzw)))
+(define (mmps) (* (jfld) (lqgr)))
+(define (lpfz) (* (lqfq) (wgbc)))
+(define (bjcs) (/ (mhbr) (vgjq)))
+(define (tbqc) 2)
+(define (qhwm) 3)
+(define (hzvm) (+ (npnf) (nhnp)))
+(define (nqhg) (+ (tcjb) (hgzs)))
+(define (bzdh) 2)
+(define (gbtc) 3)
+(define (wfnl) 5)
+(define (ndlf) (+ (cdnp) (ddmr)))
+(define (nmlt) (* (pnpc) (hnlj)))
+(define (nhfw) (+ (tbqc) (dnzc)))
+(define (rtbm) 3)
+(define (fbpz) (+ (sqzp) (pjrt)))
+(define (rjtc) (+ (tjtl) (wtlg)))
+(define (vspf) (+ (bnmb) (ndsm)))
+(define (dhqh) (* (dhpp) (zsvh)))
+(define (ddln) 1)
+(define (lbzn) 2)
+(define (vhrn) (- (bjcs) (vnft)))
+(define (cgcc) 6)
+(define (cgvs) 7)
+(define (jqtj) 5)
+(define (wqnp) 12)
+(define (dmtd) (+ (fjzz) (sgpj)))
+(define (rlvd) (/ (vlqd) (mgsl)))
+(define (cvvv) (* (bqtp) (pnwv)))
+(define (rjdp) (+ (qfzb) (csnf)))
+(define (hmvq) 17)
+(define (vjtf) (* (lbzc) (djjd)))
+(define (gbgs) (- (mqfd) (fmbj)))
+(define (wgbc) 3)
+(define (vdbp) 1)
+(define (vtdp) 10)
+(define (cgvv) (* (bfvd) (pbhg)))
+(define (vfhg) (- (nlsw) (qgnb)))
+(define (pcwz) (* (dptm) (frjj)))
+(define (zngg) 4)
+(define (scrz) 2)
+(define (tvrz) (/ (wslz) (dpvl)))
+(define (mqzw) 2)
+(define (zfmv) 10)
+(define (gdmv) 5)
+(define (cgnv) 2)
+(define (qlvw) (+ (rfcv) (nlst)))
+(define (fjzn) (+ (hgnr) (lqml)))
+(define (vzgb) 12)
+(define (dsng) 5)
+(define (pbvh) 3)
+(define (qbqm) 10)
+(define (vwdt) (/ (lgrj) (pmlg)))
+(define (lhsw) (+ (lpjq) (rdbs)))
+(define (hzjj) 3)
+(define (jplv) 3)
+(define (zmlh) (* (nfbp) (fhtw)))
+(define (zwbh) (* (sshm) (rjdp)))
+(define (mhnm) (+ (bwnc) (fzwr)))
+(define (wmdp) (- (tdhw) (gjmt)))
+(define (pbhg) 2)
+(define (qmzt) 9)
+(define (dlws) (* (bssd) (rtbm)))
+(define (rbzl) (* (pjlz) (qfqz)))
+(define (tpjp) (* (jdsc) (wqnp)))
+(define (vlgn) 2)
+(define (phwc) 10)
+(define (bcng) (+ (ctjq) (bdtp)))
+(define (cvnr) (+ (qtmp) (bmzw)))
+(define (bmlj) (+ (fvng) (czvm)))
+(define (llhb) 3)
+(define (nbcb) (+ (rnns) (ldbg)))
+(define (ffmp) (+ (plzd) (tzcd)))
+(define (nnzp) (* (lhsw) (tlwr)))
+(define (szlh) 2)
+(define (gztl) 11)
+(define (mtwg) (* (hcpf) (pjss)))
+(define (mpws) (* (pnfb) (pbvh)))
+(define (fqgl) 3)
+(define (qqpt) 5)
+(define (bqtp) 2)
+(define (nttd) 9)
+(define (svvh) (* (shpt) (fmvc)))
+(define (drnb) (* (lqqh) (mlbw)))
+(define (ptnv) (+ (csgr) (plvw)))
+(define (wtnp) 3)
+(define (ndgh) 4)
+(define (lrgv) 2)
+(define (nrqr) (+ (vvbz) (vfzw)))
+(define (hfvj) 2)
+(define (ctqb) (* (tsft) (lrgv)))
+(define (nqlh) (* (zdfg) (sdhj)))
+(define (nhnp) 13)
+(define (tcjb) 12)
+(define (mnhc) (* (szlh) (pcvv)))
+(define (jnnp) 3)
+(define (zbqq) (* (mtdh) (frst)))
+(define (gjzv) (* (brst) (twjq)))
+(define (shwr) 5)
+(define (gmpl) (/ (qlmg) (cddt)))
+(define (lfpz) (+ (mvmz) (hsmp)))
+(define (tmhl) (* (jbsn) (fhjz)))
+(define (wglc) 14)
+(define (ppll) 5)
+(define (ccbp) 4)
+(define (jflm) (/ (cclc) (rgpt)))
+(define (mwms) 2)
+(define (svwg) 4)
+(define (qfss) 10)
+(define (tjtl) 7)
+(define (vwmr) (+ (lvtv) (tvgm)))
+(define (cllb) 3)
+(define (nssr) 3)
+(define (qcfn) (* (lvcn) (wjmq)))
+(define (rmvq) 2)
+(define (rbtb) (/ (mgmw) (gvww)))
+(define (jcdb) (* (mjmv) (zbnt)))
+(define (cdpw) (* (ngps) (hmqr)))
+(define (zdsr) 2)
+(define (plzd) (* (rvnh) (sszh)))
+(define (phjj) (* (hzcm) (bvdb)))
+(define (bnmf) (* (jtvw) (rdfn)))
+(define (twtq) (- (jbqf) (ztct)))
+(define (qwcl) (/ (jjvz) (tptf)))
+(define (ccjf) 13)
+(define (mrjc) (* (fnrh) (cstm)))
+(define (thlz) 2)
+(define (thcc) (+ (ljtp) (ztwb)))
+(define (fjcg) 2)
+(define (flhd) 3)
+(define (gnrj) (* (ppjl) (mmtj)))
+(define (hnlf) 5)
+(define (tprm) 2)
+(define (vlhc) 13)
+(define (tvgm) (* (gdmv) (dqsv)))
+(define (qvpw) (* (gqpj) (jvtz)))
+(define (vfwd) 5)
+(define (pmwl) (* (lwsn) (lddq)))
+(define (rzbj) 17)
+(define (rncj) 5)
+(define (znfq) 2)
+(define (rjbz) (* (gznh) (mcht)))
+(define (hhws) (+ (vclb) (ftbq)))
+(define (qfln) 3)
+(define (ltmj) (/ (wghf) (zjvz)))
+(define (csln) 17)
+(define (snvw) 3)
+(define (ltgf) 3)
+(define (wfbp) 2)
+(define (hjlz) (+ (qmqt) (jvgd)))
+(define (zvst) 3)
+(define (qvvc) 8)
+(define (bjfh) 3)
+(define (mzfn) (* (cdpw) (ftzm)))
+(define (dqnp) (/ (bcqm) (wjgf)))
+(define (stlr) (* (vzgd) (gvbp)))
+(define (cvfw) 3)
+(define (rtmh) 15)
+(define (rqss) 3)
+(define (jddd) (+ (dcph) (mrvr)))
+(define (gggh) 3)
+(define (gssz) (* (nwwb) (vmnc)))
+(define (tsms) (* (gnzq) (rqbq)))
+(define (lrcj) 19)
+(define (pnfb) 3)
+(define (rtjb) 2)
+(define (zvmv) (* (fvhm) (gmhz)))
+(define (dfrb) (+ (fbtc) (bppp)))
+(define (mcfr) 1)
+(define (pjrt) 1)
+(define (ltds) (* (wrll) (wnvf)))
+(define (fvsb) (* (qncp) (cfbh)))
+(define (nldv) 4)
+(define (cdnm) 3)
+(define (jwqg) 2)
+(define (jvqz) 1)
+(define (sqdd) (+ (rzbj) (mqgl)))
+(define (cwvl) (+ (jszj) (rvjf)))
+(define (qcnv) (+ (nrqr) (wrmw)))
+(define (fhjz) 2)
+(define (svst) (+ (qgtc) (snbm)))
+(define (qdrc) 17)
+(define (cfmw) 1)
+(define (jgld) 5)
+(define (bppp) (* (llhb) (qwqw)))
+(define (wwqp) (+ (vjtf) (rwmq)))
+(define (cprm) 4)
+(define (fcgs) 7)
+(define (swfp) (+ (tnnt) (lvhm)))
+(define (frjl) 2)
+(define (nwqz) 1)
+(define (mldc) 3)
+(define (mgmw) (* (pfvz) (hjqq)))
+(define (mnrr) (/ (vvjg) (gggh)))
+(define (hvtv) (* (qznt) (wzfr)))
+(define (tpdj) 9)
+(define (znlh) 4)
+(define (qbgj) (+ (mhzn) (nmts)))
+(define (cnhr) 3)
+(define (djgh) (+ (bdqg) (nzdz)))
+(define (lccp) 3)
+(define (frrn) 3)
+(define (bbjs) 7)
+(define (gdpg) 8)
+(define (pnwv) (* (lhvt) (ggnd)))
+(define (vhtl) (* (snff) (vldc)))
+(define (vjwz) 2)
+(define (qwqq) 2)
+(define (rdnj) (+ (smwv) (dcbt)))
+(define (nltq) (- (cbqn) (lrzn)))
+(define (fpvs) (/ (jvsz) (fzdg)))
+(define (shcg) (- (qpqs) (snhd)))
+(define (stzl) (+ (rwzt) (mnzz)))
+(define (rfcv) (* (qwnz) (mfql)))
+(define (snhd) (* (jtrg) (sqdd)))
+(define (gjmt) 3)
+(define (btzg) 5)
+(define (vfrh) 9)
+(define (lpjr) (+ (bvvl) (rmvt)))
+(define (nzbz) (* (dqnh) (hplt)))
+(define (dhpp) 2)
+(define (hvsd) 3)
+(define (ldtj) 2)
+(define (chlt) 4)
+(define (rhtv) (* (fzml) (jnzr)))
+(define (wpgm) 5)
+(define (csfh) 2)
+(define (mhzn) (* (zglw) (slpm)))
+(define (wtbs) (* (ltdq) (vhzf)))
+(define (cpqv) 15)
+(define (dngq) 2)
+(define (vszd) 12)
+(define (pgvq) (* (ptvh) (hgwm)))
+(define (smnv) 3)
+(define (zrfw) 7)
+(define (jbvq) 7)
+(define (rmqt) (/ (gcmv) (vlgn)))
+(define (pfvz) 2)
+(define (fmvw) (* (qnbn) (jpcd)))
+(define (jqhr) 4)
+(define (szwj) 3)
+(define (tqfr) (+ (mrmm) (bcnd)))
+(define (rmvt) 3)
+(define (qllm) 3)
+(define (gcmz) (* (zrnr) (vffj)))
+(define (sqcb) (+ (sfmn) (hvtv)))
+(define (chvn) 3)
+(define (fzvh) (* (ztrt) (nbpq)))
+(define (sbtd) 3)
+(define (hnst) (+ (wvfb) (zphs)))
+(define (ljtp) 16)
+(define (lqml) 4)
+(define (dpqz) 3)
+(define (pwgj) (* (flrw) (cbfh)))
+(define (qvbn) 2)
+(define (ppsl) (+ (dlws) (bjwg)))
+(define (jfmb) (* (jbtg) (cwhc)))
+(define (bzqw) 2)
+(define (nhcr) 3)
+(define (llnl) 3)
+(define (fzwr) 5)
+(define (mfst) (/ (cdtq) (qfsz)))
+(define (flhf) 3)
+(define (whbb) 8)
+(define (rllb) 3)
+(define (rfcm) (* (rsqz) (ztdn)))
+(define (lqft) (* (tcgm) (nzbz)))
+(define (snmq) (+ (jwqg) (zdnh)))
+(define (fwmw) (+ (jfqs) (sgjm)))
+(define (ngfs) (* (ccbp) (dphz)))
+(define (mqfd) (/ (lpzb) (ftzc)))
+(define (lflj) (* (vtdp) (cjhz)))
+(define (vzcr) (+ (jmqh) (zbbf)))
+(root)
diff --git a/src/21-part2.rkt b/src/21-part2.rkt
new file mode 100644
index 0000000..5e68359
--- /dev/null
+++ b/src/21-part2.rkt
@@ -0,0 +1,1679 @@
+#lang rosette/safe
+(define (rmmz) 2)
+(define (vdjz) 4)
+(define (rqbd) 3)
+(define (zvqw) 4)
+(define (sshm) (* (qhnd) (lrcj)))
+(define (dtzl) (+ (rnbs) (gppj)))
+(define (gnzq) 5)
+(define (zlpv) (* (pmng) (wgvj)))
+(define (nqgr) 4)
+(define (tftg) 1)
+(define (fhjc) (/ (sbpb) (nhcr)))
+(define (fwbm) (* (jcch) (qhlj)))
+(define (wtlq) 3)
+(define (nzhf) (* (fjzn) (bnws)))
+(define (nqpq) 2)
+(define (jqzv) 2)
+(define (crrj) (/ (vnbv) (grww)))
+(define (glpw) 8)
+(define (cnbg) (* (jmbp) (jnqv)))
+(define (bdcm) 2)
+(define (bcww) 11)
+(define (wrbf) 2)
+(define (hpvb) (* (zswl) (qpbz)))
+(define (qffb) (+ (jvqz) (qgtf)))
+(define (mfmc) (* (hnbn) (twwv)))
+(define (cnzj) (* (qqdn) (pvtb)))
+(define (wbnh) (* (cshj) (snvw)))
+(define (swds) (+ (bmlj) (scdn)))
+(define (twtb) 3)
+(define (dlgc) (+ (gfbw) (djgh)))
+(define (bvzn) 2)
+(define (gwpm) (+ (rrll) (zshp)))
+(define (rtnf) (+ (qbwf) (bqnn)))
+(define (sdmb) 15)
+(define (mtjq) 2)
+(define (dpmg) 3)
+(define (drct) (+ (bvfr) (rtmh)))
+(define (zrpj) (* (gfml) (tsms)))
+(define (gwlm) 2)
+(define (msdr) 3)
+(define (fqbl) (+ (wbbf) (pbgr)))
+(define (zwqw) (- (lnqm) (nzdj)))
+(define (lbvn) (+ (zwbh) (btbn)))
+(define (dggg) (/ (bnmf) (trpv)))
+(define (bjwg) (+ (trdj) (lpqs)))
+(define (bnzl) (* (vfhg) (pjds)))
+(define (qtmp) 2)
+(define (llpf) 2)
+(define (zwqn) (+ (lfhb) (spcf)))
+(define (trpt) (* (mdrm) (qdrc)))
+(define (lzgm) (+ (jzvg) (qlzg)))
+(define (swhh) 2)
+(define (tpnf) 15)
+(define (rgrp) 7)
+(define (zswl) 3)
+(define (gzbv) (+ (djgb) (dvwj)))
+(define (ppfs) 5)
+(define (nfhf) 5)
+(define (pgrc) (* (pdmb) (qgwg)))
+(define (jjwr) 6)
+(define (fvsf) 2)
+(define (qmvq) (* (hlzp) (zvvd)))
+(define (twjq) 2)
+(define (twsj) 5)
+(define (mwrc) 2)
+(define (sbpb) (* (djpm) (pfpt)))
+(define (cbjq) (- (ztqg) (tzls)))
+(define (mgsl) 2)
+(define (vzgd) (+ (qmcb) (wfbz)))
+(define (qrll) 2)
+(define (slpm) (* (fbpz) (jjwr)))
+(define (rffd) (/ (mfmc) (csdf)))
+(define (jjbm) (* (slpc) (bncr)))
+(define (pjds) (+ (cpqv) (ldtj)))
+(define (btfl) (+ (qvfg) (lqdf)))
+(define (sfcv) 7)
+(define (vtnq) 5)
+(define (fzdp) (* (fzrd) (slww)))
+(define (cwjp) 9)
+(define (mpnj) 2)
+(define (wnbb) (+ (zssf) (qnld)))
+(define (nfgv) (+ (lzhf) (mqzw)))
+(define (pszs) 4)
+(define (chpt) 2)
+(define (bhpw) (+ (cnbg) (zrnz)))
+(define (dfps) 5)
+(define (pzqv) 3)
+(define (fjzz) 8)
+(define (ffqr) 16)
+(define (bqvg) (+ (lrqh) (wpdn)))
+(define (qlmg) (+ (mpvz) (wpvg)))
+(define (lfhb) (+ (jscq) (bpnt)))
+(define (pqqj) 2)
+(define (qhtv) 5)
+(define (wchl) (+ (ffqr) (mdnp)))
+(define (vcwt) (+ (llfg) (wjtc)))
+(define (nfbp) 2)
+(define (bbcn) 8)
+(define (smld) 2)
+(define (mvmj) (* (lqdc) (bhmz)))
+(define (mqph) (+ (jjgt) (vtjg)))
+(define (brmz) (+ (mpfm) (zcgs)))
+(define (ttdb) (+ (zncl) (nqpv)))
+(define (bcsc) 6)
+(define (frjj) 9)
+(define (jcjf) (+ (lgpg) (qmvq)))
+(define (pmfh) 3)
+(define (drrf) 9)
+(define (lmht) 7)
+(define (sstg) (+ (vrct) (wfjn)))
+(define (swhz) (* (zvvp) (dbvt)))
+(define (rtpz) (+ (nnsc) (zmlh)))
+(define (qrzq) 2)
+(define (rtmt) 12)
+(define (pmds) 3)
+(define (vfzw) (* (jhlw) (vmzc)))
+(define (smhv) (* (ffnt) (gtwp)))
+(define (vdzv) 5)
+(define (btqb) 3)
+(define (wclq) (+ (rwth) (drln)))
+(define (vzrz) (+ (bsvc) (vmjn)))
+(define (ztct) (/ (zscd) (lhml)))
+(define (zvvd) (- (tcqz) (cmnv)))
+(define (mfrc) (+ (jmcp) (lpvs)))
+(define (sdrn) 9)
+(define (jfvq) (+ (pgdw) (vbvt)))
+(define (qjrs) (+ (qvpw) (cpdf)))
+(define (tnnt) (+ (psfr) (hjlz)))
+(define (fqlp) (+ (bblh) (dbfm)))
+(define (nwhm) 3)
+(define (rlcw) 2)
+(define (rwjc) (+ (ljzj) (zdrh)))
+(define (tfqh) 5)
+(define (crqg) 3)
+(define (nrps) (+ (lrdn) (hmfb)))
+(define (pmng) (+ (gzrs) (vtns)))
+(define (gmzt) (* (tlmq) (bfzd)))
+(define (fhdz) 6)
+(define (fwzf) 4)
+(define (tzls) (+ (fnqf) (fpcs)))
+(define (pvtb) 2)
+(define (gpdf) (* (zslv) (qwqc)))
+(define (zcgs) (* (jlmb) (crnb)))
+(define (clbn) 2)
+(define (wghf) (- (fwbm) (jcjf)))
+(define (vffj) (+ (frjp) (mrtq)))
+(define (gfbw) (+ (csfh) (rlvd)))
+(define (tzth) (* (tvtj) (bnvg)))
+(define (vwhb) 2)
+(define (scwp) 3)
+(define (rpbm) 3)
+(define (zdhf) 2)
+(define (fdmf) 3)
+(define (lqdf) 2)
+(define (rndt) (+ (wtbs) (lrsc)))
+(define (jnzr) 5)
+(define (qpqs) (/ (bcng) (nwdv)))
+(define (tmhg) (- (vtvn) (nzbp)))
+(define (dtfz) (* (bdgd) (dfdl)))
+(define (pnvc) (* (brqb) (drrq)))
+(define (mfnh) (* (rdhg) (rmvq)))
+(define (vjgb) 3)
+(define (czvm) 18)
+(define (qhnd) 3)
+(define (dhfw) (+ (jmcf) (vjjw)))
+(define (nqpv) (+ (bhvg) (zmvz)))
+(define (rhcv) (/ (ddtd) (jqzv)))
+(define (lqqh) 5)
+(define (mspl) 5)
+(define (ngps) 11)
+(define (bcmp) 2)
+(define (nlsw) (* (gnjq) (vzrz)))
+(define (mhlj) 4)
+(define (bqnn) (- (pgrc) (bwff)))
+(define (fbqs) 11)
+(define (cnln) (* (sqml) (wlqd)))
+(define (vjbz) 5)
+(define (vhhz) (* (pwpn) (dsng)))
+(define (crmb) 5)
+(define (wbgs) 3)
+(define (qhvn) 3)
+(define (lsnd) 1)
+(define (hhcv) 2)
+(define (vmjn) 12)
+(define (fbtc) 2)
+(define (jgnj) 4)
+(define (jmcp) 2)
+(define (mfhg) 2)
+(define (ztdn) 2)
+(define (zttf) 3)
+(define (tjwt) 16)
+(define (lzzh) 11)
+(define (rnns) (* (frrn) (pnmc)))
+(define (ffnn) 3)
+(define (wpvg) (* (qvpv) (frqq)))
+(define (wjds) 3)
+(define (nnmh) 5)
+(define (jswz) (- (vthd) (jjrh)))
+(define (qjqw) 2)
+(define (bndd) 7)
+(define (mdpg) 2)
+(define (wtwb) 2)
+(define (nbfg) (* (vwvc) (rbtb)))
+(define (nmts) (* (pfml) (jqqs)))
+(define (nvjf) (* (mddc) (lrbp)))
+(define (gqgh) (* (wzsh) (tqzv)))
+(define (btqt) (+ (qbzv) (wtrh)))
+(define (cblz) 5)
+(define (nvpd) 3)
+(define (vldc) 2)
+(define (drhw) (* (dngq) (nmlt)))
+(define (bpjf) (+ (ndlf) (tjwt)))
+(define (dpgl) 2)
+(define (ggnd) 3)
+(define (qzpn) 2)
+(define (ttvz) 2)
+(define (qwqc) 3)
+(define (zhmb) 15)
+(define (nzdj) (+ (svvh) (qplw)))
+(define (rrnp) (+ (qrnj) (hmvq)))
+(define (mbvg) (/ (sgzh) (mdpg)))
+(define (mlbw) (* (jwwv) (jhzw)))
+(define (wvfb) (+ (mvmj) (phjj)))
+(define (tzhp) 15)
+(define (zjcn) (* (pgfr) (dgvh)))
+(define (wbbf) (* (ghvn) (dfrb)))
+(define (mfsz) (* (fpvs) (lzgm)))
+(define (bfpq) (* (tmhg) (nvlv)))
+(define (vpvl) (* (blnq) (jfsr)))
+(define (pnrv) (- (lfrb) (qwnt)))
+(define (lbgc) (* (bzdh) (wszm)))
+(define (pbdd) (* (dcpm) (nrsd)))
+(define (jsrb) 13)
+(define (bbzt) 8)
+(define (mhdn) (* (bsmm) (rzzg)))
+(define (jpcd) 2)
+(define (ldzb) (* (nqpr) (qnds)))
+(define (nmlg) 2)
+(define (pnpc) 5)
+(define (rbqt) 5)
+(define (dsqb) (/ (mrjc) (ftqd)))
+(define (zhqg) (* (lpjr) (zttf)))
+(define (dphz) 3)
+(define (gbzd) (* (ttvz) (tsjq)))
+(define (cldm) 4)
+(define (ftbq) 5)
+(define (rzff) (+ (gdpg) (cgvs)))
+(define (tzcd) 1)
+(define (gzwh) (* (bjfh) (qtfp)))
+(define (qgnb) (+ (vdgt) (zwwb)))
+(define (jzvg) 5)
+(define (qqwz) (* (pnwh) (wlmv)))
+(define (jbtg) 9)
+(define (rrgh) 2)
+(define (bvfr) (+ (jzcd) (gjbv)))
+(define (mwdl) (* (rlcw) (jffq)))
+(define (chfs) (- (mrlq) (cgvv)))
+(define (gwmr) (* (hbwh) (wzdj)))
+(define (qcml) 3)
+(define (zbhj) (* (ctqb) (hfbg)))
+(define (zshp) (* (wphq) (hzpr)))
+(define (pvcs) 4)
+(define (sszh) 2)
+(define (jdsc) 15)
+(define (ndnm) 8)
+(define (lrlz) 1)
+(define (wpbs) 2)
+(define (bcpn) 7)
+(define (glts) (- (gpdf) (vznc)))
+(define (qnld) (* (jrvp) (smnv)))
+(define (hrtv) (* (bdcm) (cgnr)))
+(define (zbbf) (+ (shtz) (fvsb)))
+(define (vvbz) (* (bqht) (zwqn)))
+(define (vvjg) (* (zgzs) (sbpp)))
+(define (lrlg) 10)
+(define (zpht) 10)
+(define (ndtz) (+ (cnzj) (qsml)))
+(define (stcv) 3)
+(define (jjrh) (* (mlwr) (dqjz)))
+(define (hsbr) (/ (dbcs) (zngg)))
+(define (wtrh) (+ (sclr) (chsm)))
+(define (jfqs) 15)
+(define (hjgd) 12)
+(define (hgnr) 9)
+(define (brqb) 4)
+(define (ndsm) (+ (tmhl) (ddln)))
+(define (fjgh) (+ (cbjl) (pchr)))
+(define (tptf) 3)
+(define (njcj) (* (ppll) (psfp)))
+(define (jjvz) (+ (vhqz) (fmvw)))
+(define (grww) 2)
+(define (jvqf) 2)
+(define (sgvm) (* (vhwz) (gzgm)))
+(define (zscd) (* (dshq) (tbwl)))
+(define (mgjl) 3)
+(define (bfgp) (* (jbvq) (ppcl)))
+(define (mpst) (* (zzpd) (qcnn)))
+(define (wjzd) (* (vwht) (pzcc)))
+(define (wqdj) (+ (zvmv) (sntb)))
+(define (csdf) 2)
+(define (cgwj) 3)
+(define (rccr) 2)
+(define (vsgw) 3)
+(define (pvwn) (* (fpwz) (wnjc)))
+(define (mfql) 3)
+(define (dspn) (+ (qlvz) (bcsc)))
+(define (llcn) 4)
+(define (dcph) 4)
+(define (npcs) (+ (lrvc) (mcfr)))
+(define (wgvj) 4)
+(define (bblh) 1)
+(define (dmrn) 9)
+(define (qbzv) 1)
+(define (lrdn) 3)
+(define (wzfr) (+ (nltq) (lrlz)))
+(define (bwnc) 2)
+(define (dswn) 11)
+(define (bnws) 2)
+(define (cdnp) (* (zvst) (cwjp)))
+(define (fddw) (* (zhgt) (mfst)))
+(define (nbbd) (* (flvw) (thlz)))
+(define (lbzc) (* (jfrn) (gdgd)))
+(define (sntb) (* (bhrb) (lhgv)))
+(define (vzts) 6)
+(define (jvfw) (+ (hlms) (lwlc)))
+(define (mqcv) 2)
+(define (jhzw) 5)
+(define (lhpf) (* (dqzt) (fjld)))
+(define (znjr) 2)
+(define (wrvl) (* (pdbt) (qlvg)))
+(define (cdwt) 6)
+(define (vtjg) (* (stcr) (bvzn)))
+(define (dvnh) (* (brqv) (jdmt)))
+(define (pcgq) (* (jtcf) (qssh)))
+(define (nhjt) 2)
+(define (pmqh) (* (dflc) (rzsn)))
+(define (zrwb) (* (gtqh) (fwjg)))
+(define (zphs) (+ (bcww) (sbtd)))
+(define (nmvn) (* (vrpp) (mdht)))
+(define (sbvl) 3)
+(define (bcdf) (* (rhwm) (zbhj)))
+(define (jhwn) (* (mgjl) (tprm)))
+(define (ftjv) 3)
+(define (ncnm) (* (vzcr) (wqfg)))
+(define (bgwj) (/ (qlqt) (dnwd)))
+(define (hrbr) (+ (gvmj) (vspf)))
+(define (qljb) 3)
+(define (vdsz) 3)
+(define (nhpf) (+ (rdpg) (qrll)))
+(define (gvfn) (/ (drnb) (fhmz)))
+(define (ppts) (* (zhrs) (lccp)))
+(define (fvhm) 7)
+(define (rrqr) 2)
+(define (lnqm) (+ (rwjc) (vnvr)))
+(define (qwnz) (+ (hfbh) (vdbp)))
+(define (cgvr) 3)
+(define (lvrc) 4)
+(define (vcfm) 5)
+(define (zhgt) 3)
+(define (nvdh) 3)
+(define (llfg) (* (cgcc) (nqhg)))
+(define (wjgf) 2)
+(define (nztj) (+ (wqfz) (tdlw)))
+(define (shpt) 2)
+(define (gzmv) 3)
+(define (tqzv) (+ (rtpz) (glqr)))
+(define (pdmb) 2)
+(define (fpcs) 5)
+(define (mwmp) 6)
+(define (hcfs) 2)
+(define (bshp) (+ (chvq) (pdbc)))
+(define (gppj) 1)
+(define (pzpp) 5)
+(define (ltnz) (* (dswn) (tsqc)))
+(define (wzdj) 3)
+(define (frst) 5)
+(define (scdn) 6)
+(define (fpsh) 2)
+(define (gzwm) 2)
+(define (jmbs) (* (lwlb) (sqcb)))
+(define (rqsw) 5)
+(define (bnvg) 3)
+(define (tfwb) 2)
+(define (snwm) 6)
+(define (zvrq) 5)
+(define (vnpq) (+ (djjs) (rmrj)))
+(define (cfbh) 4)
+(define (ntnh) (* (jvfw) (jzdn)))
+(define (jnwv) (* (tlnz) (zqpw)))
+(define (npvl) (* (sbqm) (zmmd)))
+(define (tpwq) (/ (jnll) (flhf)))
+(define (flhs) (+ (qcml) (zmdq)))
+(define (pnvd) (+ (cwvl) (dgpr)))
+(define (zvvp) 3)
+(define (fcql) 20)
+(define (jrvp) 17)
+(define (wbvt) (+ (bftg) (tlzh)))
+(define (vwht) 3)
+(define (pzvr) 3)
+(define (qncp) 3)
+(define (bcgz) (/ (tpjp) (bngr)))
+(define (dcbt) (+ (rctr) (wltv)))
+(define (csgr) (/ (wrvl) (znjr)))
+(define (rsdv) (* (vcwt) (mqcv)))
+(define (fnqf) 2)
+(define (hzrc) (+ (jdbp) (jnwv)))
+(define (cdvw) (+ (sjfs) (fzvh)))
+(define (bsvc) (/ (pwln) (nrjc)))
+(define (tlwr) 3)
+(define (hjmr) 3)
+(define (spjg) 5)
+(define (mqgl) (* (mqlt) (jlnf)))
+(define (mzzd) 3)
+(define (dqnv) (* (mhnm) (zhqg)))
+(define (lqcm) (/ (ffqs) (zvrq)))
+(define (sqzp) 5)
+(define (drvt) (* (hhws) (llpf)))
+(define (ghvn) (+ (vrjj) (vfrh)))
+(define (hfbh) 16)
+(define (wtlg) 19)
+(define (dsgt) (* (hhcv) (npcs)))
+(define (vvzh) 6)
+(define (sclr) (* (dddm) (nttr)))
+(define (jqqs) (+ (znlh) (ffnn)))
+(define (zprq) (* (jmnj) (mwqc)))
+(define (dczh) (* (vvvb) (wcpr)))
+(define (lpzb) (+ (bqvg) (mlgj)))
+(define (dqsv) (* (pmfh) (zrbc)))
+(define (hgzs) 3)
+(define (vrpp) 10)
+(define (snbm) 4)
+(define (tdrq) (* (hqdv) (csln)))
+(define (tbwl) (* (sdmb) (zrfw)))
+(define (jdmt) (- (btwt) (gwpm)))
+(define (fzgj) 4)
+(define (vnvr) (* (pmqh) (pwlt)))
+(define (mcht) 2)
+(define (ztrt) (* (vlhc) (swds)))
+(define (bncr) (- (wpcs) (pcgq)))
+(define (nqsl) (+ (qcfn) (fsgb)))
+(define (cclc) (+ (hjfj) (cfdl)))
+(define (ztpd) (+ (dzlc) (zcgn)))
+(define (lfrb) (* (rbsf) (hzjj)))
+(define (pvfv) 2)
+(define (swpl) 2)
+(define (csnf) 1)
+(define (ptdz) 2)
+(define (nvhn) 2)
+(define (rdhg) (* (nnhm) (wpbs)))
+(define (jclb) 2)
+(define (cscm) (* (lclg) (mrwz)))
+(define (fcgj) (* (hmrz) (nwbt)))
+(define (hgwm) (* (mspl) (rmfv)))
+(define (rqbq) 2)
+(define (wjtc) (+ (fszd) (tpmp)))
+(define (dpvl) 8)
+(define (nwdv) 3)
+(define (zcgn) (* (lzzh) (brfc)))
+(define (jvrt) (/ (bhzq) (rqsw)))
+(define (zmdq) (+ (sdwj) (mwdl)))
+(define (rtsd) (+ (rcmc) (jtjd)))
+(define (nqzz) 11)
+(define (dshq) (* (rtnf) (chvn)))
+(define (mddc) 2)
+(define (rpwz) 3)
+(define (pmlg) 8)
+(define (blmp) (* (vwmr) (ndpf)))
+(define (hqbb) 2)
+(define (chtt) 2)
+(define (cchg) 2)
+(define (bntz) (* (tvrd) (ncsp)))
+(define (gvgp) 3)
+(define (vvhm) (* (mspb) (dpgl)))
+(define (nlcv) 5)
+(define (rwcd) (+ (qffb) (nzcv)))
+(define (rfcq) 6)
+(define (zgdb) 2)
+(define (mggl) (* (cchg) (crcm)))
+(define (mwjg) (* (vjwz) (vsmt)))
+(define (rbbh) 13)
+(define (mqlt) (* (gwlm) (mqvg)))
+(define (ddtd) (+ (qcnv) (wjzv)))
+(define (hpmm) 3)
+(define (cjlm) 6)
+(define (cpdf) (* (jjbm) (mtnb)))
+(define (gqrp) (+ (tdrq) (djrh)))
+(define (zmtg) 8)
+(define (vwdl) (* (hzmn) (nqms)))
+(define (ggpn) 11)
+(define (mtfr) (* (jlqg) (dlgc)))
+(define (nsfm) 4)
+(define (cftm) 18)
+(define (wcdm) (* (tsbf) (wgvv)))
+(define (jcch) 2)
+(define (zqjp) (- (tzhp) (nldv)))
+(define (wjmq) 6)
+(define (cbgj) (* (mdjm) (tqfr)))
+(define (jmnj) (+ (ppts) (fqbl)))
+(define (tlnz) (* (vfgt) (vdjz)))
+(define (fqjd) 2)
+(define (ngzp) 11)
+(define (trdj) 10)
+(define (qrch) (+ (nfhf) (vhtl)))
+(define (hmrz) (* (qjrs) (rtsd)))
+(define (rvnh) 3)
+(define-symbolic humn integer?)
+(define (jstb) 5)
+(define (vqlt) 2)
+(define (vlqd) (* (ndgh) (zptr)))
+(define (vjjw) (/ (mrlc) (pvfv)))
+(define (mnlp) (+ (svdw) (mtjq)))
+(define (jtcf) 4)
+(define (lwlc) (* (qqtm) (cnvb)))
+(define (jdgq) 2)
+(define (vznc) 2)
+(define (dcfw) (* (qvvc) (wqdj)))
+(define (fqwz) (+ (twtb) (vtnq)))
+(define (hhbn) 4)
+(define (wrpp) 14)
+(define (mmnw) 3)
+(define (rdpb) 10)
+(define (hcsc) 5)
+(define (nfvj) 4)
+(define (qznt) (* (zfjw) (wfld)))
+(define (flvw) 5)
+(define (wphq) 5)
+(define (bpwd) 2)
+(define (cbfh) 2)
+(define (bcbw) (* (jtvm) (cdnm)))
+(define (dvwj) (* (zwgg) (dspn)))
+(define (tnbt) (* (qdfp) (bpwd)))
+(define (qlzt) 12)
+(define (rjfh) 5)
+(define (cprt) 3)
+(define (qgwg) (+ (jrgs) (sphc)))
+(define (zpbt) (/ (swfp) (mldc)))
+(define (drln) 6)
+(define (jdcd) 3)
+(define (jzcd) (- (nvjl) (swpl)))
+(define (sbpp) 17)
+(define (ttwm) 5)
+(define (rdbs) (* (wsml) (drrf)))
+(define (pfpt) (* (pmrt) (fvsf)))
+(define (rfbw) (+ (ntpj) (vwpq)))
+(define (bqld) (+ (zqjp) (rbzl)))
+(define (rrmg) 19)
+(define (rbsf) 3)
+(define (mlgj) (+ (vvgt) (dmsz)))
+(define (jfcd) (/ (bsqn) (blgf)))
+(define (sjrh) 7)
+(define (djjd) (+ (fddw) (svvq)))
+(define (jhgd) (* (fjnh) (bbzt)))
+(define (nlts) (- (fjgh) (cnln)))
+(define (ppwc) (- (lhpf) (zprq)))
+(define (gptt) 2)
+(define (bvvl) 20)
+(define (ssnq) (+ (cfmw) (wfnm)))
+(define (gmhz) 4)
+(define (nnsc) (+ (cvqf) (vpvl)))
+(define (zbzf) (* (nlth) (dhfw)))
+(define (jhvm) 16)
+(define (mrrt) 7)
+(define (pmrt) (* (mwrc) (mnhc)))
+(define (rddj) (/ (fbcd) (tfwb)))
+(define (wszm) (+ (hsbr) (rscq)))
+(define (pbgr) (* (glqw) (qqnm)))
+(define (hzlh) 2)
+(define (qnbn) (- (jpvr) (bgzz)))
+(define (hrcp) (* (fjvg) (vjbz)))
+(define (dnwd) (* (lqrf) (flhd)))
+(define (rvlz) 3)
+(define (stcr) (+ (cblz) (nfnw)))
+(define (ptvh) 3)
+(define (vmnc) 5)
+(define (bmwf) (* (rpbm) (cvgt)))
+(define (jzdn) 2)
+(define (djrh) (* (ccjf) (fqgl)))
+(define (lwlb) 5)
+(define (bqht) (* (cldm) (btqb)))
+(define (brfj) (+ (prbr) (qqwz)))
+(define (rlqm) 2)
+(define (mdht) (- (jflm) (trpt)))
+(define (lbbj) 2)
+(define (blnq) 6)
+(define (chfz) 3)
+(define (sqsc) 5)
+(define (mwrt) (+ (slnh) (thcc)))
+(define (nvrb) 3)
+(define (lgrj) (* (qnvn) (tnbt)))
+(define (pvcn) (* (qhwm) (smld)))
+(define (fbgc) 2)
+(define (mqnl) (* (drlt) (bbhp)))
+(define (bdtp) (* (gzpf) (qdnl)))
+(define (wdwf) (- (fhjc) (zpbt)))
+(define (hhjc) (+ (qbvr) (fmwn)))
+(define (jzlv) (* (cftm) (rhtv)))
+(define (smwb) (+ (dgbr) (rbbh)))
+(define (bhvg) (+ (lpfz) (bjnj)))
+(define (zmmd) (+ (smsm) (jfcd)))
+(define (mdld) (+ (zzqd) (bdmw)))
+(define (qlqt) (+ (zfbq) (ntqb)))
+(define (dgbr) (* (sbwd) (cgvr)))
+(define (rwsm) 10)
+(define (jnll) (* (nztj) (vzgb)))
+(define (dbht) (* (jdcd) (rccr)))
+(define (bhmz) 3)
+(define (mrlq) (+ (bbjs) (drdl)))
+(define (fzdg) 2)
+(define (jbsh) 2)
+(define (svzv) 2)
+(define (zjmw) 3)
+(define (tcgm) 2)
+(define (nzcv) 6)
+(define (rmrj) (+ (mtsv) (snlb)))
+(define (bjnj) 2)
+(define (qsml) 18)
+(define (mfts) (* (mwjg) (pjsp)))
+(define (ffqs) (- (rhcv) (rrnt)))
+(define (dbcw) (* (gtbs) (mbvg)))
+(define (wpcs) (* (phbh) (mnhf)))
+(define (rvhs) 2)
+(define (qmcb) 17)
+(define (hlms) 11)
+(define (vwpq) 2)
+(define (wslz) (/ (szhq) (hstj)))
+(define (jpvr) (+ (sflt) (drvt)))
+(define (hcdz) (* (nfhw) (qgjf)))
+(define (svvq) (* (twdf) (rhqj)))
+(define (lgpg) (+ (wglc) (gwmr)))
+(define (mlwr) (+ (zfmv) (hbqm)))
+(define (hbqm) 1)
+(define (fgbm) (+ (lltp) (fwmw)))
+(define (cjlh) (* (btfl) (mpnj)))
+(define (tlmq) (* (fqwz) (lwhp)))
+(define (zzqd) (/ (vnpq) (rlqm)))
+(define (drdl) (* (hzlh) (btqt)))
+(define (sdjb) (* (ssnq) (gzwm)))
+(define (ntmt) 3)
+(define (rwth) (+ (tdjh) (cstb)))
+(define (jjgt) (* (crqg) (dmrn)))
+(define (mpvz) (* (ppwc) (chpt)))
+(define (qbmm) (+ (rqpj) (rfcm)))
+(define (zdrh) (+ (csml) (cvvv)))
+(define (trft) (* (lbbv) (nlgg)))
+(define (dqjz) 7)
+(define (gfrq) 4)
+(define (vvgt) (/ (zrwb) (rfcq)))
+(define (tsft) (+ (sstg) (ngfs)))
+(define (gzpf) 2)
+(define (tfpw) (* (gmln) (hqbd)))
+(define (cddt) 6)
+(define (rlbp) 1)
+(define (ndph) (* (ztzq) (jgzl)))
+(define (blbc) (* (jfvq) (cprt)))
+(define (cvhn) (* (jdgq) (llcn)))
+(define (zncl) (+ (mwrt) (dbgp)))
+(define (rthb) 2)
+(define (jfld) 4)
+(define (gdgd) 7)
+(define (lrsc) (* (vdzv) (czst)))
+(define (gzgm) 4)
+(define (bhrb) (/ (pnvc) (smdh)))
+(define (bsmm) 2)
+(define (qnds) (* (sbvl) (szmm)))
+(define (bhzq) (* (zhmb) (qfss)))
+(define (vwvc) 17)
+(define (qmgt) 3)
+(define (gfml) 4)
+(define (tjqj) (* (glpw) (zsns)))
+(define (vlmc) 4)
+(define (qlnr) (+ (ndph) (twtq)))
+(define (fvph) 3)
+(define (jgzl) (+ (drct) (vwdt)))
+(define (wnjc) 2)
+(define (ffbb) 2)
+(define (hzmn) (+ (pgbv) (rwbg)))
+(define (rpbj) (* (shrh) (jvqf)))
+(define (sqmd) 2)
+(define (ndcd) (* (sdgs) (spjg)))
+(define (mmbs) 3)
+(define (mhbr) (+ (wggq) (grcv)))
+(define (nsqq) (* (cvfw) (ffmp)))
+(define (wgvv) 2)
+(define (rvmp) (* (nnzp) (dbcw)))
+(define (dwnz) 2)
+(define (jvtz) (+ (fctt) (bfpq)))
+(define (nzzv) (* (jbcl) (llnl)))
+(define (cqcg) 3)
+(define (nrvw) 2)
+(define (qqtm) 3)
+(define (fvng) 19)
+(define (phrv) 3)
+(define (tlzh) 11)
+(define (twjs) (- (ltnz) (ltsv)))
+(define (lhgv) (+ (nwqz) (qflq)))
+(define (rctr) (* (mhdn) (mvnc)))
+(define (snlb) 4)
+(define (dfgh) 7)
+(define (tvtj) 13)
+(define (flcb) 2)
+(define (nqpr) 3)
+(define (jmbp) 4)
+(define (rcmc) (/ (bpjf) (qrzq)))
+(define (mnpl) (- (pbdd) (qpct)))
+(define (twcj) 3)
+(define (nlth) 2)
+(define (drrq) 13)
+(define (fszd) (+ (bmwf) (qspw)))
+(define (mlrz) 2)
+(define (jvgd) (- (dvnh) (mpjj)))
+(define (jtvw) (- (nzhf) (wfnl)))
+(define (ftvm) 3)
+(define (cgcz) (- (njcj) (bjbr)))
+(define (dfzw) 2)
+(define (tdhw) (* (rzjm) (qrgn)))
+(define (qwnt) 2)
+(define (mspb) (+ (dggg) (ghtd)))
+(define (fhmz) 2)
+(define (dqzt) 5)
+(define (brfc) (- (dczh) (tfpw)))
+(define (hstj) 2)
+(define (rzjm) 5)
+(define (jbcl) 3)
+(define (zhpq) (* (gpzn) (cnmq)))
+(define (hmrs) (* (ltqr) (hslj)))
+(define (mtdh) 8)
+(define (lwhp) 5)
+(define (wnvf) 8)
+(define (qqdn) 3)
+(define (wrmw) (* (fwrh) (rbmm)))
+(define (gzrs) (* (jclb) (zjpc)))
+(define (nzwc) 3)
+(define (wflc) (/ (cbgj) (qllm)))
+(define (gtwp) 3)
+(define (trbs) 2)
+(define (zsns) 2)
+(define (vvvb) (- (wrpp) (qrsg)))
+(define (cstb) (* (dfps) (svwg)))
+(define (gcmv) (* (whbb) (mfnh)))
+(define (vrjj) (* (lbbj) (jgnj)))
+(define (rrll) (* (scdt) (zjmw)))
+(define (wgsb) (* (jqrl) (jlwb)))
+(define (scdt) (* (vlmc) (qfln)))
+(define (wqqv) (* (nrps) (pnwz)))
+(define (szhq) (* (nchp) (ndtz)))
+(define (tqzf) 3)
+(define (wpqd) (* (jqsn) (przh)))
+(define (vmzc) (* (nhpf) (gcqh)))
+(define (pjlz) 2)
+(define (mdjm) 3)
+(define (qgjf) (+ (pgvq) (spgw)))
+(define (qnhq) (* (rncj) (rllb)))
+(define (hfbg) 2)
+(define (jfsr) 8)
+(define (nfhw) 2)
+(define (cstm) (* (rgzs) (nbcb)))
+(define (ghvl) (+ (dbfd) (qbmm)))
+(define (tzcl) 2)
+(define (pzzg) (- (ltmj) (mfts)))
+(define (cdqv) (+ (dfgh) (mnlp)))
+(define (wcpr) 5)
+(define (jdrg) (+ (qmpm) (hlmn)))
+(define (gtqh) 8)
+(define (hlmn) (+ (rdnj) (sjcd)))
+(define (hnqc) (/ (mfsz) (hbzt)))
+(define (sphc) (* (vrcl) (nhfw)))
+(define (bnlr) (* (qhvn) (vvzh)))
+(define (dbfd) (/ (bcnp) (ffvs)))
+(define (hpzh) (+ (snwm) (rrnp)))
+(define (ghqp) 5)
+(define (dfql) (* (dzwg) (snbl)))
+(define (hbzt) (+ (shwr) (rthb)))
+(define (chsm) (* (crmb) (scwp)))
+(define (lpjq) (* (wlpd) (fcgs)))
+(define (plfd) (* (sqsc) (hvsd)))
+(define (vbvt) (* (ghqp) (qmjq)))
+(define (rdpg) 7)
+(define (vhds) 12)
+(define (rmfv) 5)
+(define (smft) (* (crmw) (msdr)))
+(define (wlpd) 2)
+(define (cvvw) 2)
+(define (bsqn) (+ (wlfp) (sdjb)))
+(define (svcp) (+ (jfmb) (rwsm)))
+(define (qflq) (* (scrz) (dtfz)))
+(define (bwwc) 3)
+(define (wqfg) (* (qmzt) (chfz)))
+(define (lbqn) 5)
+(define (zbhw) (+ (wcdm) (hhjc)))
+(define (jlnf) 3)
+(define (nlst) (+ (wmzt) (twjs)))
+(define (zfjw) (+ (tbdh) (rmmz)))
+(define (wfms) 2)
+(define (fjps) 5)
+(define (djpm) (* (pznf) (qlnr)))
+(define (snsc) 2)
+(define (hnlj) 5)
+(define (pvfm) 2)
+(define (cwhc) 3)
+(define (blgg) 15)
+(define (jmwl) (* (rdpb) (zpht)))
+(define (wbsb) (* (jcdb) (ngbz)))
+(define (jwwv) 2)
+(define (jdsd) 5)
+(define (rsnp) 3)
+(define (rrnt) (* (jnnp) (dmtd)))
+(define (nfnw) 2)
+(define (mpfm) (* (mfrc) (qrch)))
+(define (mnzz) (+ (lwld) (jbwd)))
+(define (lfjp) 3)
+(define (qvfg) (* (fdmf) (svst)))
+(define (mjmv) (+ (cdwt) (pzvr)))
+(define (lclg) 8)
+(define (pcvv) (+ (rvmp) (hmrs)))
+(define (wsml) 3)
+(define (gvbp) 3)
+(define (mpjj) 10)
+(define (vcqw) (* (jjjj) (brmz)))
+(define (lhvt) (* (pmds) (tqzf)))
+(define (qpdv) 15)
+(define (mrlc) (* (zbhw) (svzv)))
+(define (bdmw) (* (fpsh) (hwvf)))
+(define (vntv) (* (npvl) (mbqs)))
+(define (cfdl) (* (mfhg) (gzbv)))
+(define (gvww) 2)
+(define (dqhh) (* (gzwh) (thpg)))
+(define (mtnb) (* (mqph) (bnfp)))
+(define (wlfp) (+ (ntsl) (lfhp)))
+(define (zslv) 3)
+(define (lqrr) (* (hhbn) (gmzh)))
+(define (qfzb) (+ (nhjt) (mjmt)))
+(define (ltzm) 12)
+(define (qcnn) (- (mnpl) (wsnf)))
+(define (bhvr) (+ (lflj) (rfjw)))
+(define (wnzr) (* (jbrp) (nnmh)))
+(define (zglw) (* (flcb) (cqmq)))
+(define (svdw) 4)
+(define (pfml) (+ (bnlr) (ndcd)))
+(define (zpqd) 2)
+(define (fjnh) 5)
+(define (rhqj) (+ (qrpv) (ngzp)))
+(define (szmm) 3)
+(define (ztwb) 9)
+(define (npnf) 1)
+(define (wltv) (- (rqfq) (hncq)))
+(define (bwff) (+ (dwdd) (qhzd)))
+(define (slnh) (* (ljnf) (tnfz)))
+(define (ppwz) (* (hqbb) (nlts)))
+(define (hgls) (/ (wnzr) (wwtj)))
+(define (dbvt) 3)
+(define (wrst) (+ (qdrg) (bnfz)))
+(define (rzzg) (+ (rpbj) (fsrm)))
+(define (prbr) (- (hpzh) (zmtg)))
+(define (bvdb) 2)
+(define (jlmb) (- (cmtm) (qbjm)))
+(define (rbpq) (* (wnbb) (glts)))
+(define (jwjj) 15)
+(define (dhts) 8)
+(define (dcpm) 3)
+(define (qvpv) (* (grcn) (cgwj)))
+(define (bbhp) 2)
+(define (sjfs) (- (ztpd) (bnzl)))
+(define (wqpv) (* (fzgj) (rvvn)))
+(define (sdhj) 2)
+(define (wfbz) 2)
+(define (mdnp) (* (gvfn) (tfqh)))
+(define (ctjq) (* (tgvp) (wjzd)))
+(define (mbqs) (* (rrmg) (rnnq)))
+(define (wcfp) 3)
+(define (ftzm) 3)
+(define (nwbt) (* (bhpw) (bhgh)))
+(define (bmsf) (/ (fnws) (bcmp)))
+(define (cmnt) (+ (bvjd) (lccn)))
+(define (wqfz) 4)
+(define (jrgs) (+ (hjgd) (mpst)))
+(define (gmzh) (/ (drhw) (sdsl)))
+(define (pnvs) (* (bmsf) (qljb)))
+(define (gcvn) (+ (wqqv) (dqnv)))
+(define (qbvr) (- (ltds) (vsgw)))
+(define (phbh) (* (snsc) (flhs)))
+(define (shtz) (+ (pnrv) (pvcs)))
+(define (smsm) 4)
+(define (gznh) 7)
+(define (tjch) (* (ncrt) (rrgh)))
+(define (bpnt) (+ (ccfw) (dfql)))
+(define (lljf) 3)
+(define (qfsz) 2)
+(define (dgvh) 3)
+(define (lvbp) (+ (hdrj) (trbs)))
+(define (cdvv) 4)
+(define (qlzg) 2)
+(define (rwbg) 2)
+(define (snff) 4)
+(define (flrw) 3)
+(define (tdnf) 4)
+(define (nzlr) 2)
+(define (ftzc) 2)
+(define (pznf) (* (cllb) (zzcv)))
+(define (zjvz) (* (znfq) (chlt)))
+(define (nvjl) (* (ngzt) (wbgs)))
+(define (qtvv) 2)
+(define (hdff) 4)
+(define (swmh) (+ (vrbh) (jdjq)))
+(define (ghfr) 2)
+(define (ghtd) (* (cfzf) (gnsc)))
+(define (mfmt) (* (cdqv) (chfs)))
+(define (pgtq) (* (phwc) (gbgs)))
+(define (frjp) 17)
+(define (bnfz) 2)
+(define (qfqz) (* (mswh) (slds)))
+(define (djmr) 2)
+(define (crcm) (+ (lsnd) (zbqq)))
+(define (ngbg) (* (jgld) (lhfr)))
+(define (sbqm) 3)
+(define (wlqd) 2)
+(define (jfrn) 3)
+(define (jbqf) (* (cdvw) (dnvm)))
+(define (zhrs) (+ (pjjj) (fngd)))
+(define (lvtv) (/ (nvjf) (nmlg)))
+(define (vclb) (+ (bbcn) (jqhr)))
+(define (qtgd) 2)
+(define (hqbd) 4)
+(define (qqnm) (- (nsqq) (rfbw)))
+(define (nvjh) 6)
+(define (jcgh) (* (pmwl) (hcqw)))
+(define (bgzz) (* (swsv) (qldj)))
+(define (slds) 2)
+(define (lwsn) (+ (hcfs) (rswn)))
+(define (bhgh) (* (hcsc) (mzzd)))
+(define (bjbr) 3)
+(define (tgvp) (/ (smft) (cnhr)))
+(define (dbfm) 9)
+(define (msmm) (* (djmr) (bshp)))
+(define (llqs) (+ (mmps) (pwqg)))
+(define (qqpl) 5)
+(define (pfdc) (+ (mwmp) (zvqs)))
+(define (qlvg) 2)
+(define (wzdv) 3)
+(define (glqr) (* (qqpl) (blgg)))
+(define (vdgt) 5)
+(define (qrnj) (* (fjrq) (nwhm)))
+(define (fbrf) 3)
+(define (gvmj) (/ (ngbg) (vsqt)))
+(define (nrjc) 2)
+(define (sdsl) 2)
+(define (mqvg) (- (tbqq) (bzqw)))
+(define (chvq) (+ (jdsd) (cgcz)))
+(define (lrzn) (+ (gfrq) (drgv)))
+(define (crrm) 2)
+(define (pgbv) (+ (swhz) (dqld)))
+(define (brqv) 2)
+(define (gmln) 2)
+(define (wcmz) 3)
+(define (hbhz) 18)
+(define (vrcl) 5)
+(define (hqdv) 5)
+(define (nchp) (+ (dtzl) (qpdv)))
+(define (bfvd) 7)
+(define (nnhm) (* (pzpp) (dwnz)))
+(define (thpg) 4)
+(define (jpzw) 3)
+(define (vrmt) (- (lqrr) (smrq)))
+(define (hnbn) 2)
+(define (tsbf) (+ (lljf) (mqnl)))
+(define (nbpq) 2)
+(define (csml) (* (lbtn) (zspm)))
+(define (cnmq) 8)
+(define (qbwf) (- (vvhm) (dsqb)))
+(define (jbrp) 11)
+(define (bbzc) (* (ffbb) (lqft)))
+(define (pgfr) 3)
+(define (fmwn) 2)
+(define (lrvc) 10)
+(define (stqc) 5)
+(define (ngzt) (+ (rlbp) (fbjn)))
+(define (mdrm) (+ (jhwn) (lmht)))
+(define (mrtq) (* (rzcm) (nqgr)))
+(define (lpvs) 9)
+(define (lqfq) 3)
+(define (rnnq) 3)
+(define (jdfj) 15)
+(define (tqst) (+ (cjbz) (rvhn)))
+(define (dnzc) (* (mmbs) (qlmw)))
+(define (lwld) 1)
+(define (sgjm) 8)
+(define (bfzd) 17)
+(define (dchw) 4)
+(define (rlrb) (+ (tftg) (qbqm)))
+(define (pchr) (+ (trft) (bcbw)))
+(define (lvhm) (* (dhqh) (dchw)))
+(define (mswh) 5)
+(define (sdgs) 5)
+(define (snfj) 1)
+(define (sdwj) 2)
+(define (qmqt) (/ (wttp) (cgnv)))
+(define (przh) (+ (wqlh) (nqzz)))
+(define (qrpv) (* (sqmd) (tpdj)))
+(define (pjsp) 5)
+(define (hpmw) (* (zdsr) (rlrb)))
+(define (jhlw) 9)
+(define (ntqb) (* (gzmv) (pzzg)))
+(define (qpct) 3)
+(define (rvvn) (* (rrqr) (wflc)))
+(define (lmcj) (+ (szcv) (lqcm)))
+(define (bvjd) 2)
+(define (fngd) (* (wjds) (nrvw)))
+(define (fnws) (+ (jmwl) (rtgr)))
+(define (frqq) 4)
+(define (ltsv) 3)
+(define (cmnv) 7)
+(define (wdqj) (* (vhrn) (hpmw)))
+(define (cjbz) (* (qlzt) (fqjd)))
+(define (rqpj) (* (tqst) (ptdz)))
+(define (lbtn) 8)
+(define (dbgp) (* (lbzn) (jqtj)))
+(define (qbjm) 12)
+(define (ljzj) 15)
+(define (mrvr) 3)
+(define (nght) 2)
+(define (djff) 12)
+(define (jmqh) 14)
+(define (vcpt) (* (ppwz) (zvqw)))
+(define (vsqt) 5)
+(define (tfjw) (* (bhvr) (vjgb)))
+(define (hwvf) (+ (vszg) (lvrc)))
+(define (qgtf) 6)
+(define (mmtj) 6)
+(define (blgf) 3)
+(define (mvmz) (* (qpqb) (cvhn)))
+(define (svhz) (* (jqcf) (nzzv)))
+(define (wfds) 3)
+(define (pnmc) 13)
+(define (szvb) (+ (mdld) (bfgp)))
+(define (bnwj) 2)
+(define (dnvm) (- (msmm) (tqfz)))
+(define (fwrh) (- (wdqj) (dqnp)))
+(define (cspp) (+ (mggl) (rndt)))
+(define (lltp) (* (rwcd) (wfds)))
+(define (smrq) (+ (lrlg) (bwqm)))
+(define (rgzs) 3)
+(define (crmw) (+ (ntmt) (cjlh)))
+(define (dncw) 5)
+(define (rvjf) (* (mttr) (frlv)))
+(define (wlmv) 4)
+(define (fqbj) (* (pfdc) (rqbd)))
+(define (fwjg) (* (vdsz) (brfj)))
+(define (gnsc) 2)
+(define (gtwd) 2)
+(define (qdnl) (- (nmvn) (wpqd)))
+(define (pjjj) (+ (bnjt) (fhdz)))
+(define (ntsl) 1)
+(define (glqw) 3)
+(define (wmzt) 3)
+(define (vjzr) (+ (swmh) (svhz)))
+(define (ncgd) 3)
+(define (bngr) 5)
+(define (qtfp) 2)
+(define (bdqg) 2)
+(define (hzpr) 5)
+(define (tctd) 13)
+(define (jlqg) 4)
+(define (qhlj) (+ (gcvn) (bntz)))
+(define (jtvm) 9)
+(define (szcv) (+ (jswz) (lbvn)))
+(define (sfmn) (+ (wchl) (cscm)))
+(define (lfhp) (* (nght) (wcfp)))
+(define (root) (assert (eq? (bsbd) (fcgj))))
+(define (jbwd) 6)
+(define (zrnr) 2)
+(define (hrmz) (* (mthn) (dncw)))
+(define (rfjw) 13)
+(define (hpdh) 2)
+(define (jqrl) (+ (pvwn) (hjmr)))
+(define (vgsm) 5)
+(define (mvgg) (+ (nbfg) (mtfr)))
+(define (hcqw) 14)
+(define (cdtq) (/ (rjrt) (mffc)))
+(define (spgw) (* (wbvt) (clbn)))
+(define (wfjn) 5)
+(define (hrtz) (* (llqs) (rvlz)))
+(define (rzsn) 5)
+(define (fbcd) (+ (mfmt) humn))
+(define (vhwz) (+ (mtwg) (fbgc)))
+(define (lvcn) 4)
+(define (grdf) (+ (dbht) (sgvm)))
+(define (pdbc) (* (rsnp) (djqq)))
+(define (qssh) 5)
+(define (wnjl) 9)
+(define (btwt) (* (tzth) (hrtv)))
+(define (hplt) 11)
+(define (mwwr) (* (bsnq) (crrm)))
+(define (smqg) 14)
+(define (dqcj) (+ (blbc) (bghp)))
+(define (ptwr) 7)
+(define (mttr) (* (hnqc) (wfms)))
+(define (pzcc) 5)
+(define (jscq) 1)
+(define (hzcm) 4)
+(define (tsjq) (* (nsfm) (hpdh)))
+(define (fsgb) (+ (vhhz) (jhgd)))
+(define (plvw) (* (zpqd) (rffd)))
+(define (tcqz) (+ (dqhh) (mlrz)))
+(define (mqzp) 2)
+(define (tldn) (* (rjfh) (zwqw)))
+(define (rwmq) (* (tdnf) (jdrg)))
+(define (vnft) (+ (mqrm) (tjch)))
+(define (ztqg) (* (wtwb) (bqld)))
+(define (fjvg) (+ (snfj) (gbzd)))
+(define (nzdz) (+ (sfcv) (qtgd)))
+(define (qrgn) 5)
+(define (tbqq) (* (jplv) (rmzw)))
+(define (tdjh) (* (wrst) (wnjl)))
+(define (qwqw) 5)
+(define (pdbt) 11)
+(define (bnmb) (* (cvnr) (nvrb)))
+(define (lslq) 1)
+(define (twwv) 19)
+(define (rzcm) 6)
+(define (jtjd) 6)
+(define (htgm) 3)
+(define (pjss) 2)
+(define (mrwz) 12)
+(define (djqq) 4)
+(define (jmcf) 12)
+(define (hmqr) (- (zrpj) (nttd)))
+(define (lqdc) 5)
+(define (gpzn) (+ (hpvb) (tpwq)))
+(define (pgdw) 4)
+(define (mwgb) (* (nvdh) (mrrt)))
+(define (wggq) (+ (bgwj) (tldn)))
+(define (mwqc) 2)
+(define (bnfp) 13)
+(define (pwlt) 5)
+(define (hlzp) (+ (phrv) (hrmz)))
+(define (qplw) (* (ncgd) (cmnt)))
+(define (vhqz) (- (pgtq) (ncnm)))
+(define (zptr) 3)
+(define (gtbs) 13)
+(define (zwwb) (* (pqqj) (dpqz)))
+(define (hmfb) 4)
+(define (mffc) 3)
+(define (lqgr) 9)
+(define (bcqm) (+ (vjzr) (jzlv)))
+(define (cbdr) (+ (wbsb) (cspp)))
+(define (bssd) 2)
+(define (dmsz) (+ (vwdl) (rmqt)))
+(define (fpwz) (* (ltsl) (fbqs)))
+(define (rbmm) 2)
+(define (rvhn) (* (ttwm) (tctd)))
+(define (hqjt) 7)
+(define (bftg) (* (ftjv) (lghm)))
+(define (ppjl) (/ (lfpz) (nlcv)))
+(define (nzbp) (* (chtt) (hnst)))
+(define (rwzt) (* (ltgf) (qwqq)))
+(define (zwgg) 5)
+(define (frlv) 3)
+(define (vmgn) 1)
+(define (tvrd) (+ (qnhq) (ldzb)))
+(define (wfld) 8)
+(define (pnwz) (/ (stlr) (fbrf)))
+(define (ndmd) 2)
+(define (fmbj) (* (slmm) (twsj)))
+(define (jqcf) 3)
+(define (jqsn) 15)
+(define (wzsh) 3)
+(define (hjqq) 11)
+(define (cvqf) (* (mpws) (sdrn)))
+(define (wrll) 2)
+(define (vtns) (/ (jvrt) (cjvp)))
+(define (wsnf) 4)
+(define (qfjg) 1)
+(define (rsqz) (- (bbzc) (vfwd)))
+(define (dddm) 2)
+(define (ftmn) (* (wcmz) (hrtz)))
+(define (bcnd) 13)
+(define (qgtc) 3)
+(define (vthd) (* (zbzf) (mmnw)))
+(define (mvnc) 2)
+(define (ndpf) 10)
+(define (pwlh) (+ (hbhz) (rtmt)))
+(define (cfzf) (+ (rlqh) (qfrg)))
+(define (qldj) 2)
+(define (ftqd) (* (nssr) (mqzp)))
+(define (lhml) 7)
+(define (mrmm) (* (pszs) (cjlm)))
+(define (crnb) (+ (ndnm) (lslq)))
+(define (qpbz) 3)
+(define (qspw) 4)
+(define (jtrg) 7)
+(define (nwwb) (* (hfvj) (snmq)))
+(define (rgpt) 4)
+(define (spcf) (* (cdvv) (wpgm)))
+(define (brqh) (+ (bndd) (nbbd)))
+(define (qfrg) (* (hdff) (qmgt)))
+(define (ddmr) (+ (fhzm) (qvbn)))
+(define (lpqs) 1)
+(define (zvqs) 11)
+(define (dfdl) 3)
+(define (vnbv) (* (ldbp) (frjl)))
+(define (bwqm) 19)
+(define (zjpc) 4)
+(define (btbn) (* (cvvw) (hnlf)))
+(define (bpgp) (- (nqlh) (gqgh)))
+(define (jbsn) 3)
+(define (tdlw) 3)
+(define (fsrm) (* (pzqv) (zjcn)))
+(define (rjrt) (* (nzwc) (gcmz)))
+(define (wpdn) (* (rsdv) (wcfj)))
+(define (dzvg) 2)
+(define (rdfn) (* (rbqt) (btzg)))
+(define (zrnz) (* (cbjq) (jmbs)))
+(define (djgb) (+ (mrnr) (ttdb)))
+(define (pwln) (* (vqlt) (mnrr)))
+(define (vfgt) 7)
+(define (tbdh) (* (dzvg) (stcv)))
+(define (jlwb) 3)
+(define (cshj) (+ (pwgj) (rpbg)))
+(define (lzhf) 5)
+(define (hncq) 11)
+(define (nqms) 5)
+(define (lhfr) (/ (fgbm) (mstm)))
+(define (ltdq) 4)
+(define (zssf) 5)
+(define (dqld) (* (sjrh) (zdhf)))
+(define (grcv) (* (pnvs) (gvgp)))
+(define (zfbq) (* (ggbp) (plfd)))
+(define (lmjg) 4)
+(define (lncn) 1)
+(define (qmjq) 5)
+(define (rnbs) (+ (vtgj) (dpmg)))
+(define (mstm) 2)
+(define (pnwh) 2)
+(define (ccfw) 8)
+(define (tsqc) 2)
+(define (gqpj) (+ (hqjt) (fwzf)))
+(define (tnfz) (* (qrln) (nvpd)))
+(define (rhwm) 4)
+(define (bcnp) (/ (dcfw) (nzlr)))
+(define (fvrg) 3)
+(define (vtgj) 5)
+(define (wwtj) 5)
+(define (slmm) (+ (crrj) (bcgz)))
+(define (mjmt) 4)
+(define (zzpd) 2)
+(define (wttp) (- (lbgc) (gnrj)))
+(define (qdfp) (* (qlvw) (hmfd)))
+(define (psfr) (* (wfbp) (wzdv)))
+(define (rlqh) (* (ptwr) (lvbp)))
+(define (mgsz) (* (qqpt) (hgls)))
+(define (cjvp) 2)
+(define (hrjj) 2)
+(define (fjrq) 6)
+(define (qmpm) (* (bwwc) (hcdz)))
+(define (lddq) (+ (rjbz) (ppsl)))
+(define (snbl) (* (vwhb) (szwj)))
+(define (bghp) (* (wgcm) (tfdv)))
+(define (zdnh) 11)
+(define (cbqn) (* (ppfs) (fjps)))
+(define (pbzb) 2)
+(define (rmzw) (+ (ftvm) (mhlj)))
+(define (qpqb) (+ (ptnv) (vhds)))
+(define (jffq) 3)
+(define (rscq) (+ (bcdf) (tfjw)))
+(define (wjzv) (/ (vcqw) (nqpq)))
+(define (ngbz) 2)
+(define (hdrj) 5)
+(define (slpc) (+ (jstb) (lncn)))
+(define (bmzw) 5)
+(define (cmtm) (* (twcj) (tjqj)))
+(define (pwqg) 17)
+(define (dgpr) (/ (bpgp) (lmjg)))
+(define (trpv) 7)
+(define (qnvn) 2)
+(define (gcqh) 3)
+(define (bdgd) 2)
+(define (dbcs) (- (nrqv) (zlpv)))
+(define (nrqv) (* (fvph) (hzrc)))
+(define (cnvb) (* (hrjj) (lbqn)))
+(define (cvgt) (* (qhtv) (vgsm)))
+(define (tqlp) 2)
+(define (sgpj) 11)
+(define (swsv) 7)
+(define (hndh) 2)
+(define (smwv) (+ (gssz) (rgrp)))
+(define (dwdd) (/ (fzdp) (gtwd)))
+(define (jszj) (+ (gqrp) (tpnf)))
+(define (ncrt) (+ (ntnh) (mwgb)))
+(define (rpbg) 1)
+(define (jvsz) (* (ndmd) (hrbr)))
+(define (ffvs) 2)
+(define (mnhf) 3)
+(define (hbwh) (+ (ggpn) (pbzb)))
+(define (tpmp) (* (qjqw) (hzvm)))
+(define (nttr) 3)
+(define (ldbg) (* (cprm) (wrbf)))
+(define (ntpj) 4)
+(define (lbbv) 3)
+(define (vrct) 2)
+(define (lccn) 5)
+(define (nrsd) 10)
+(define (fvzw) (+ (mwwr) (vmgn)))
+(define (vgjq) 2)
+(define (dptm) 6)
+(define (ggbp) (+ (wbnh) (jhvm)))
+(define (qdrg) 5)
+(define (hcpf) 4)
+(define (zrbc) 3)
+(define (tpjw) (/ (shcg) (hjmp)))
+(define (jnqv) (+ (wwqp) (jcgh)))
+(define (fzrd) 2)
+(define (cbjl) (* (jdfj) (bnwj)))
+(define (bnjt) 1)
+(define (czpd) 4)
+(define (fjld) (+ (tpjw) (ghvl)))
+(define (sbwd) 4)
+(define (rqfq) (* (lhmd) (nfvj)))
+(define (pwpn) 3)
+(define (ztzq) (- (nqsl) (vzts)))
+(define (ltqr) (+ (dqcj) (qbgj)))
+(define (nlgg) (* (rvhs) (rqss)))
+(define (ltsl) 2)
+(define (zgzs) 3)
+(define (mqrm) (* (cqcg) (cbdr)))
+(define (fhtw) (+ (fcql) (brqh)))
+(define (zdfg) (+ (blmp) (qwcl)))
+(define (dzwg) 4)
+(define (czst) (- (smwb) (pvcn)))
+(define (ncsp) (- (rddj) (zhpq)))
+(define (bsnq) 3)
+(define (sflt) (+ (qtvv) (ftmn)))
+(define (vsmt) (+ (pwlh) (gztl)))
+(define (vszg) (/ (smqg) (dfzw)))
+(define (tqfz) (/ (wmdp) (mwms)))
+(define (fhzm) (+ (lfjp) (rjtc)))
+(define (wgcm) (/ (dsgt) (tqlp)))
+(define (zsvh) (+ (grdf) (svcp)))
+(define (hjfj) (* (lmcj) (hndh)))
+(define (pqsr) 2)
+(define (lrbp) (/ (wgsb) (htgm)))
+(define (twdf) 2)
+(define (jdbp) (* (pnvd) (ghfr)))
+(define (smdh) 4)
+(define (cjhz) (* (pvfm) (gbtc)))
+(define (psfp) 3)
+(define (cqmq) 13)
+(define (nvlv) 17)
+(define (lrqh) (+ (gmzt) (gmpl)))
+(define (wqlh) 16)
+(define (qrsg) 3)
+(define (zzcv) 14)
+(define (sgzh) (* (mvgg) (zgdb)))
+(define (vrbh) (/ (wqpv) (gwhs)))
+(define (drlt) 5)
+(define (shrh) 13)
+(define (qrln) 2)
+(define (hslj) (* (mgsz) (jddd)))
+(define (mtsv) 3)
+(define (hmfd) 2)
+(define (grcn) 13)
+(define (fctt) (* (smhv) (qzpn)))
+(define (lhmd) (+ (vszd) (nfgv)))
+(define (rtgr) (* (nvhn) (szvb)))
+(define (zmvz) (* (fqbj) (swhh)))
+(define (jdjq) 4)
+(define (vhzf) 2)
+(define (fmvc) (* (fjcg) (dhts)))
+(define (dzlc) (+ (rbpq) (vntv)))
+(define (fbjn) (/ (tvrz) (nvjh)))
+(define (ppcl) 3)
+(define (jjjj) 2)
+(define (wfnm) (* (fvrg) (tzcl)))
+(define (dflc) 2)
+(define (ffnt) (+ (mzfn) (vcpt)))
+(define (zbnt) 3)
+(define (dqnh) 2)
+(define (slww) (+ (stzl) (pcwz)))
+(define (djjs) (+ (ltzm) (qfjg)))
+(define (sqml) 7)
+(define (lghm) 2)
+(define (bsbd) (* (rzff) (wdwf)))
+(define (gwhs) (* (czpd) (jbsh)))
+(define (zqpw) (+ (jsrb) (jwjj)))
+(define (drgv) 3)
+(define (rswn) 5)
+(define (gnjq) 2)
+(define (sjcd) (* (bcpn) (fvzw)))
+(define (fzml) 11)
+(define (mthn) 2)
+(define (cgnr) 4)
+(define (ldbp) (+ (vrmt) (gptt)))
+(define (lqrf) 2)
+(define (gjbv) (* (djff) (stqc)))
+(define (ljnf) (* (rtjb) (wtnp)))
+(define (hjmp) 6)
+(define (mrnr) 2)
+(define (zspm) 5)
+(define (qlvz) (+ (gjzv) (hpmm)))
+(define (tfdv) 2)
+(define (vtvn) (* (hrcp) (wtlq)))
+(define (qlmw) (+ (vcfm) (pqsr)))
+(define (hsmp) (* (rpwz) (wclq)))
+(define (wcfj) 2)
+(define (brst) 5)
+(define (fnrh) 2)
+(define (qhzd) (+ (fqlp) (jpzw)))
+(define (mmps) (* (jfld) (lqgr)))
+(define (lpfz) (* (lqfq) (wgbc)))
+(define (bjcs) (/ (mhbr) (vgjq)))
+(define (tbqc) 2)
+(define (qhwm) 3)
+(define (hzvm) (+ (npnf) (nhnp)))
+(define (nqhg) (+ (tcjb) (hgzs)))
+(define (bzdh) 2)
+(define (gbtc) 3)
+(define (wfnl) 5)
+(define (ndlf) (+ (cdnp) (ddmr)))
+(define (nmlt) (* (pnpc) (hnlj)))
+(define (nhfw) (+ (tbqc) (dnzc)))
+(define (rtbm) 3)
+(define (fbpz) (+ (sqzp) (pjrt)))
+(define (rjtc) (+ (tjtl) (wtlg)))
+(define (vspf) (+ (bnmb) (ndsm)))
+(define (dhqh) (* (dhpp) (zsvh)))
+(define (ddln) 1)
+(define (lbzn) 2)
+(define (vhrn) (- (bjcs) (vnft)))
+(define (cgcc) 6)
+(define (cgvs) 7)
+(define (jqtj) 5)
+(define (wqnp) 12)
+(define (dmtd) (+ (fjzz) (sgpj)))
+(define (rlvd) (/ (vlqd) (mgsl)))
+(define (cvvv) (* (bqtp) (pnwv)))
+(define (rjdp) (+ (qfzb) (csnf)))
+(define (hmvq) 17)
+(define (vjtf) (* (lbzc) (djjd)))
+(define (gbgs) (- (mqfd) (fmbj)))
+(define (wgbc) 3)
+(define (vdbp) 1)
+(define (vtdp) 10)
+(define (cgvv) (* (bfvd) (pbhg)))
+(define (vfhg) (- (nlsw) (qgnb)))
+(define (pcwz) (* (dptm) (frjj)))
+(define (zngg) 4)
+(define (scrz) 2)
+(define (tvrz) (/ (wslz) (dpvl)))
+(define (mqzw) 2)
+(define (zfmv) 10)
+(define (gdmv) 5)
+(define (cgnv) 2)
+(define (qlvw) (+ (rfcv) (nlst)))
+(define (fjzn) (+ (hgnr) (lqml)))
+(define (vzgb) 12)
+(define (dsng) 5)
+(define (pbvh) 3)
+(define (qbqm) 10)
+(define (vwdt) (/ (lgrj) (pmlg)))
+(define (lhsw) (+ (lpjq) (rdbs)))
+(define (hzjj) 3)
+(define (jplv) 3)
+(define (zmlh) (* (nfbp) (fhtw)))
+(define (zwbh) (* (sshm) (rjdp)))
+(define (mhnm) (+ (bwnc) (fzwr)))
+(define (wmdp) (- (tdhw) (gjmt)))
+(define (pbhg) 2)
+(define (qmzt) 9)
+(define (dlws) (* (bssd) (rtbm)))
+(define (rbzl) (* (pjlz) (qfqz)))
+(define (tpjp) (* (jdsc) (wqnp)))
+(define (vlgn) 2)
+(define (phwc) 10)
+(define (bcng) (+ (ctjq) (bdtp)))
+(define (cvnr) (+ (qtmp) (bmzw)))
+(define (bmlj) (+ (fvng) (czvm)))
+(define (llhb) 3)
+(define (nbcb) (+ (rnns) (ldbg)))
+(define (ffmp) (+ (plzd) (tzcd)))
+(define (nnzp) (* (lhsw) (tlwr)))
+(define (szlh) 2)
+(define (gztl) 11)
+(define (mtwg) (* (hcpf) (pjss)))
+(define (mpws) (* (pnfb) (pbvh)))
+(define (fqgl) 3)
+(define (qqpt) 5)
+(define (bqtp) 2)
+(define (nttd) 9)
+(define (svvh) (* (shpt) (fmvc)))
+(define (drnb) (* (lqqh) (mlbw)))
+(define (ptnv) (+ (csgr) (plvw)))
+(define (wtnp) 3)
+(define (ndgh) 4)
+(define (lrgv) 2)
+(define (nrqr) (+ (vvbz) (vfzw)))
+(define (hfvj) 2)
+(define (ctqb) (* (tsft) (lrgv)))
+(define (nqlh) (* (zdfg) (sdhj)))
+(define (nhnp) 13)
+(define (tcjb) 12)
+(define (mnhc) (* (szlh) (pcvv)))
+(define (jnnp) 3)
+(define (zbqq) (* (mtdh) (frst)))
+(define (gjzv) (* (brst) (twjq)))
+(define (shwr) 5)
+(define (gmpl) (/ (qlmg) (cddt)))
+(define (lfpz) (+ (mvmz) (hsmp)))
+(define (tmhl) (* (jbsn) (fhjz)))
+(define (wglc) 14)
+(define (ppll) 5)
+(define (ccbp) 4)
+(define (jflm) (/ (cclc) (rgpt)))
+(define (mwms) 2)
+(define (svwg) 4)
+(define (qfss) 10)
+(define (tjtl) 7)
+(define (vwmr) (+ (lvtv) (tvgm)))
+(define (cllb) 3)
+(define (nssr) 3)
+(define (qcfn) (* (lvcn) (wjmq)))
+(define (rmvq) 2)
+(define (rbtb) (/ (mgmw) (gvww)))
+(define (jcdb) (* (mjmv) (zbnt)))
+(define (cdpw) (* (ngps) (hmqr)))
+(define (zdsr) 2)
+(define (plzd) (* (rvnh) (sszh)))
+(define (phjj) (* (hzcm) (bvdb)))
+(define (bnmf) (* (jtvw) (rdfn)))
+(define (twtq) (- (jbqf) (ztct)))
+(define (qwcl) (/ (jjvz) (tptf)))
+(define (ccjf) 13)
+(define (mrjc) (* (fnrh) (cstm)))
+(define (thlz) 2)
+(define (thcc) (+ (ljtp) (ztwb)))
+(define (fjcg) 2)
+(define (flhd) 3)
+(define (gnrj) (* (ppjl) (mmtj)))
+(define (hnlf) 5)
+(define (tprm) 2)
+(define (vlhc) 13)
+(define (tvgm) (* (gdmv) (dqsv)))
+(define (qvpw) (* (gqpj) (jvtz)))
+(define (vfwd) 5)
+(define (pmwl) (* (lwsn) (lddq)))
+(define (rzbj) 17)
+(define (rncj) 5)
+(define (znfq) 2)
+(define (rjbz) (* (gznh) (mcht)))
+(define (hhws) (+ (vclb) (ftbq)))
+(define (qfln) 3)
+(define (ltmj) (/ (wghf) (zjvz)))
+(define (csln) 17)
+(define (snvw) 3)
+(define (ltgf) 3)
+(define (wfbp) 2)
+(define (hjlz) (+ (qmqt) (jvgd)))
+(define (zvst) 3)
+(define (qvvc) 8)
+(define (bjfh) 3)
+(define (mzfn) (* (cdpw) (ftzm)))
+(define (dqnp) (/ (bcqm) (wjgf)))
+(define (stlr) (* (vzgd) (gvbp)))
+(define (cvfw) 3)
+(define (rtmh) 15)
+(define (rqss) 3)
+(define (jddd) (+ (dcph) (mrvr)))
+(define (gggh) 3)
+(define (gssz) (* (nwwb) (vmnc)))
+(define (tsms) (* (gnzq) (rqbq)))
+(define (lrcj) 19)
+(define (pnfb) 3)
+(define (rtjb) 2)
+(define (zvmv) (* (fvhm) (gmhz)))
+(define (dfrb) (+ (fbtc) (bppp)))
+(define (mcfr) 1)
+(define (pjrt) 1)
+(define (ltds) (* (wrll) (wnvf)))
+(define (fvsb) (* (qncp) (cfbh)))
+(define (nldv) 4)
+(define (cdnm) 3)
+(define (jwqg) 2)
+(define (jvqz) 1)
+(define (sqdd) (+ (rzbj) (mqgl)))
+(define (cwvl) (+ (jszj) (rvjf)))
+(define (qcnv) (+ (nrqr) (wrmw)))
+(define (fhjz) 2)
+(define (svst) (+ (qgtc) (snbm)))
+(define (qdrc) 17)
+(define (cfmw) 1)
+(define (jgld) 5)
+(define (bppp) (* (llhb) (qwqw)))
+(define (wwqp) (+ (vjtf) (rwmq)))
+(define (cprm) 4)
+(define (fcgs) 7)
+(define (swfp) (+ (tnnt) (lvhm)))
+(define (frjl) 2)
+(define (nwqz) 1)
+(define (mldc) 3)
+(define (mgmw) (* (pfvz) (hjqq)))
+(define (mnrr) (/ (vvjg) (gggh)))
+(define (hvtv) (* (qznt) (wzfr)))
+(define (tpdj) 9)
+(define (znlh) 4)
+(define (qbgj) (+ (mhzn) (nmts)))
+(define (cnhr) 3)
+(define (djgh) (+ (bdqg) (nzdz)))
+(define (lccp) 3)
+(define (frrn) 3)
+(define (bbjs) 7)
+(define (gdpg) 8)
+(define (pnwv) (* (lhvt) (ggnd)))
+(define (vhtl) (* (snff) (vldc)))
+(define (vjwz) 2)
+(define (qwqq) 2)
+(define (rdnj) (+ (smwv) (dcbt)))
+(define (nltq) (- (cbqn) (lrzn)))
+(define (fpvs) (/ (jvsz) (fzdg)))
+(define (shcg) (- (qpqs) (snhd)))
+(define (stzl) (+ (rwzt) (mnzz)))
+(define (rfcv) (* (qwnz) (mfql)))
+(define (snhd) (* (jtrg) (sqdd)))
+(define (gjmt) 3)
+(define (btzg) 5)
+(define (vfrh) 9)
+(define (lpjr) (+ (bvvl) (rmvt)))
+(define (nzbz) (* (dqnh) (hplt)))
+(define (dhpp) 2)
+(define (hvsd) 3)
+(define (ldtj) 2)
+(define (chlt) 4)
+(define (rhtv) (* (fzml) (jnzr)))
+(define (wpgm) 5)
+(define (csfh) 2)
+(define (mhzn) (* (zglw) (slpm)))
+(define (wtbs) (* (ltdq) (vhzf)))
+(define (cpqv) 15)
+(define (dngq) 2)
+(define (vszd) 12)
+(define (pgvq) (* (ptvh) (hgwm)))
+(define (smnv) 3)
+(define (zrfw) 7)
+(define (jbvq) 7)
+(define (rmqt) (/ (gcmv) (vlgn)))
+(define (pfvz) 2)
+(define (fmvw) (* (qnbn) (jpcd)))
+(define (jqhr) 4)
+(define (szwj) 3)
+(define (tqfr) (+ (mrmm) (bcnd)))
+(define (rmvt) 3)
+(define (qllm) 3)
+(define (gcmz) (* (zrnr) (vffj)))
+(define (sqcb) (+ (sfmn) (hvtv)))
+(define (chvn) 3)
+(define (fzvh) (* (ztrt) (nbpq)))
+(define (sbtd) 3)
+(define (hnst) (+ (wvfb) (zphs)))
+(define (ljtp) 16)
+(define (lqml) 4)
+(define (dpqz) 3)
+(define (pwgj) (* (flrw) (cbfh)))
+(define (qvbn) 2)
+(define (ppsl) (+ (dlws) (bjwg)))
+(define (jfmb) (* (jbtg) (cwhc)))
+(define (bzqw) 2)
+(define (nhcr) 3)
+(define (llnl) 3)
+(define (fzwr) 5)
+(define (mfst) (/ (cdtq) (qfsz)))
+(define (flhf) 3)
+(define (whbb) 8)
+(define (rllb) 3)
+(define (rfcm) (* (rsqz) (ztdn)))
+(define (lqft) (* (tcgm) (nzbz)))
+(define (snmq) (+ (jwqg) (zdnh)))
+(define (fwmw) (+ (jfqs) (sgjm)))
+(define (ngfs) (* (ccbp) (dphz)))
+(define (mqfd) (/ (lpzb) (ftzc)))
+(define (lflj) (* (vtdp) (cjhz)))
+(define (vzcr) (+ (jmqh) (zbbf)))
+(evaluate humn (solve (root)))
diff --git a/src/21.rkt b/src/21.rkt
new file mode 100644
index 0000000..52cd4b2
--- /dev/null
+++ b/src/21.rkt
@@ -0,0 +1,31 @@
+#lang racket
+
+(require "../lib.rkt")
+
+(let ([bindings
+       (for/list ([yell (problem-input 21)])
+         (match yell
+           [(pregexp "(\\w+): (\\d+)" `(,_ ,monkey ,n))
+            (format "(define (~a) ~a)" monkey n)]
+           [(pregexp "(\\w+): (\\w+) (\\+|-|\\*|/) (\\w+)" `(,_ ,monkey ,monkey1 ,op ,monkey2))
+            (format "(define (~a) (~a (~a) (~a)))" monkey op monkey1 monkey2)]))])
+  (display-lines-to-file
+   `(,"#lang racket" ,@bindings "(root)")
+   "21-part1.rkt" #:exists 'replace))
+
+(let ([bindings
+       (for/list ([yell (problem-input 21)])
+         (match yell
+           [(pregexp "humn: \\d+" `(,_))
+            "(define-symbolic humn integer?)"]
+           [(pregexp "root: (\\w+) (\\+|-|\\*|/) (\\w+)" `(,_ ,monkey1 ,op ,monkey2))
+            (format "(define (root) (assert (eq? (~a) (~a))))" monkey1 monkey2)]
+           [(pregexp "(\\w+): (\\w+) (\\+|-|\\*|/) humn" `(,_ ,monkey ,monkey1 ,op))
+            (format "(define (~a) (~a (~a) humn))" monkey op monkey1)]
+           [(pregexp "(\\w+): (\\d+)" `(,_ ,monkey ,n))
+            (format "(define (~a) ~a)" monkey n)]
+           [(pregexp "(\\w+): (\\w+) (\\+|-|\\*|/) (\\w+)" `(,_ ,monkey ,monkey1 ,op ,monkey2))
+            (format "(define (~a) (~a (~a) (~a)))" monkey op monkey1 monkey2)]))])
+  (display-lines-to-file
+   `(,"#lang rosette/safe" ,@bindings "(evaluate humn (solve (root)))")
+   "21-part2.rkt" #:exists 'replace))
\ No newline at end of file