adventofcode2022

My solutions for Advent of Code 2022
Log | Files | Refs

day21.txt (24867B)


      1 bwmv: 19
      2 dbdl: mjtf * zqpw
      3 bznb: ntgb * rmvp
      4 mdzc: jhmp / rsml
      5 fgzd: 2
      6 fvng: bbmt + zqwq
      7 pwjm: 2
      8 nzgc: crnw * vshp
      9 wrdd: 5
     10 sdtq: 2
     11 zfcc: 3
     12 gzpv: 5
     13 bhbm: 7
     14 gcvp: 3
     15 fvtc: 2
     16 hzqb: 3
     17 srsm: djhv + ngdn
     18 dvsh: cswn + rmgw
     19 swlq: 5
     20 sfcf: hsfd * qhrz
     21 bqpt: mzvw * fhnq
     22 rjdp: 6
     23 nzqb: hnsg + ncdj
     24 njzw: 1
     25 vrgp: prbv + mjfl
     26 cjdb: 2
     27 hbrw: jtpw * nqcp
     28 czcw: 1
     29 vwps: hfjl + cjmf
     30 mpcs: mggp * hvhp
     31 brtt: 2
     32 mcfl: pcfp + vsgw
     33 tnqf: 2
     34 phnn: gdgz / mqfz
     35 vzcv: 2
     36 fzdf: 5
     37 ldms: hvbd + srpj
     38 wpwz: 4
     39 jjrn: 4
     40 rhqs: 3
     41 sjhz: 10
     42 bhmh: 2
     43 sgwj: zmts - lvhv
     44 nmvz: 7
     45 hdnz: 3
     46 msfd: 5
     47 zmpc: 4
     48 zmdd: 8
     49 jbpn: 3
     50 qspm: qwpp * jhlw
     51 mfgh: 4
     52 hcst: 5
     53 wqwm: bnrp + lgcm
     54 nzfw: ntms + smzd
     55 pwwg: jfpt + zgth
     56 bnpq: jngz * nsph
     57 smsl: 3
     58 hzsg: 2
     59 ntsw: dhdf * tvvw
     60 pfgh: 3
     61 rgcs: ndtg + fclp
     62 bjmc: vnqb + zjts
     63 hdsf: pfsv + lrsr
     64 dwcc: dpqc * fcvr
     65 lcfl: 2
     66 cfgh: wphs + grrq
     67 czgs: 6
     68 rwcv: shfq + hcsj
     69 zwdg: fwgm * vmbl
     70 vpcz: 5
     71 mjmt: nfdg / ntrt
     72 dsss: fgzd * pntp
     73 dtrg: 5
     74 pnbz: 3
     75 mjbs: fhlv - fljw
     76 zhmd: 13
     77 znsb: bcwv - lftg
     78 lntf: bmbp * dmsf
     79 jznq: 2
     80 zqjm: 2
     81 mjnf: sbsn - vchq
     82 hhwc: 2
     83 shrg: 3
     84 zljr: wfjm + czcw
     85 qhfm: nmgr - qshc
     86 zgtg: wqbz + nfqj
     87 zpbz: lnpq * ppjh
     88 rvqh: 1
     89 vrhq: pgjl + lzbr
     90 mtth: ghmt * rrrz
     91 qffq: qwrp + zpnq
     92 prpq: vljj * wgwl
     93 mqpl: qssr + wjwv
     94 spbp: jvhh + ldms
     95 zhrn: mcnf + swlc
     96 mjhd: 16
     97 bpmg: 4
     98 hzrz: 4
     99 pntp: 3
    100 stmj: 2
    101 rdrs: 14
    102 ttvr: gfqw * znhz
    103 gvzf: 4
    104 mlsp: 4
    105 mqjv: 4
    106 rgwv: 2
    107 sgbz: tvhj * lnwm
    108 lqgf: 2
    109 fqws: 5
    110 ddvn: 5
    111 vqng: jvlh * ldvf
    112 tzrc: 11
    113 cswn: rpjd * gczj
    114 glgr: 3
    115 hspq: zlgs - cfgh
    116 jjtd: 2
    117 vpgw: 2
    118 qggg: 5
    119 vvql: 2
    120 vcnq: 4
    121 dznt: 3
    122 hzjr: 5
    123 lglh: 1
    124 gchf: 2
    125 vzpf: zhdn + rnfb
    126 nzqh: 5
    127 tdfl: wjsv * wrpz
    128 bhpn: 11
    129 psfv: 2
    130 tvvw: 10
    131 glss: 3
    132 jcvg: 2
    133 phbr: 7
    134 bpwd: lggr - mcfl
    135 pqtc: 5
    136 fhrj: 3
    137 mmhr: rplb + rfnv
    138 lhqj: zrff - dgwl
    139 vmtw: bdgr * glhq
    140 wjsv: 3
    141 msjn: plbv + gsjn
    142 jbmv: 3
    143 htfv: 2
    144 dlpj: 19
    145 szmf: dqzp + rrlm
    146 sfmz: 3
    147 sdqb: hpll * fzwp
    148 fvql: bfwm / jgnd
    149 lcmg: dcff * rfdv
    150 zbtq: svdq + snbf
    151 sqds: 6
    152 tcvr: dqfv / szcj
    153 dnrm: zqcl / bjzz
    154 whmg: 2
    155 vfng: 3
    156 ptmg: cdmz + fqws
    157 rrwc: 2
    158 mfnf: brtl * czzg
    159 jbbn: 2
    160 ztjp: 15
    161 jcnm: 2
    162 bpdt: 9
    163 gtzt: chfw * pjtf
    164 jgbq: zchp * rbht
    165 bnrp: qbrm * wplv
    166 fdfm: vqng * sfmb
    167 qtjw: vzmq + qggg
    168 crlq: nvhn + fqgq
    169 wpwc: 4
    170 glsb: gghd + tnwj
    171 bhzj: 18
    172 rdjw: dznt * wmpj
    173 qdbl: qvmt + jtnm
    174 tndm: bqws + gchf
    175 gjlz: bvng * rdrg
    176 jmtc: bslz + fmtr
    177 pdgw: 3
    178 pgjl: dpvh * ttff
    179 fsqh: 2
    180 tcrj: 5
    181 brtl: gvls + psnv
    182 bvsd: 2
    183 zgqz: 20
    184 bqqt: 8
    185 gswt: vtqp * vmtl
    186 chdn: fzpp - pcfq
    187 dhjr: nhqs * nzjd
    188 hhwj: fdbp / prnn
    189 lznm: 5
    190 whnz: phnn * jvhv
    191 nhhd: 3
    192 vltv: 1
    193 zlpr: qqrd - ggnr
    194 dpnr: 4
    195 jvcz: cfdq + bdsl
    196 vsnt: mtwc * zfdn
    197 pzpn: vsmj * wnvf
    198 hgcc: rhfp * gfvh
    199 zghb: hcww + njrb
    200 lgbl: jcmf + fhht
    201 zfwr: rgjv + spbp
    202 dlcq: nhbg * wmsh
    203 szsm: 4
    204 nthw: 16
    205 dbzd: 5
    206 fvhd: lntf + mvgl
    207 mcds: 11
    208 qztr: vczb / rmcs
    209 rvwr: jtwj + mjhd
    210 fhzn: 2
    211 pjtf: 19
    212 qvfm: cqst * qpmw
    213 ddlj: 11
    214 qjqf: plhv + tldm
    215 jfpt: 4
    216 qmcp: 6
    217 wgqw: 3
    218 svgw: 2
    219 jwsb: fvhw - mvzg
    220 shfq: gspt * bzrs
    221 hpbf: 1
    222 nfcg: bljl + vpfb
    223 mqgg: lrdg + qvdm
    224 jnfw: 2
    225 qjqt: 17
    226 sbnc: 5
    227 gnht: 5
    228 qqbd: 3
    229 nnsm: 2
    230 mrhv: fcct + jnmf
    231 nmbc: hfbt / zcsf
    232 bjwq: 3
    233 wrbj: 3
    234 fzpp: tfjm + wghw
    235 hldn: wtpp + rnzj
    236 dfvc: qnqn * dppz
    237 dzhb: jwjp - cvmg
    238 mjbh: jgrc * szmf
    239 vljj: cpft + vftr
    240 nlvv: vmcn * nqbh
    241 gzjp: 19
    242 vcjt: 16
    243 lqbp: 1
    244 vvqj: bzjh * fhwl
    245 zddr: 10
    246 sqrq: 3
    247 brwq: fnrs + trwn
    248 zvbf: 5
    249 prqd: 4
    250 gmnb: mtdt * vsgp
    251 tdcr: 2
    252 fvpr: jbzq * lbms
    253 tfpl: 3
    254 flmh: 2
    255 fhht: tpvd * dhjh
    256 dqrf: zhmb * ldlp
    257 fhcr: hqpg + vztf
    258 zjbq: 11
    259 wqct: wszs + lpsp
    260 dwmn: 4
    261 sqhc: 6
    262 zjlw: 2
    263 lnft: csvn + qzfw
    264 lrsr: 6
    265 wbtb: 4
    266 nqbm: 3
    267 mvzg: shrg * gsrm
    268 mrpq: prch * ztsb
    269 dgwl: cvhz * jcpf
    270 swtw: 2
    271 rhgp: nwrg + rrwc
    272 nhbg: 2
    273 qqtt: 7
    274 cpft: 16
    275 mtjz: 2
    276 znhp: lnft * vvql
    277 tlvj: 1
    278 jhsv: lqcb / lznm
    279 ggns: hzjr + nchv
    280 dppz: 2
    281 jtnm: cflc * czgh
    282 rfjh: zghb + jmcm
    283 vfzz: 3
    284 cjmf: 3
    285 wzrc: glqg + zcjn
    286 dpvh: cwtl + fnfj
    287 vqvh: 2
    288 lqdl: nzfw + pdlp
    289 bbsv: lclb * dfvc
    290 jmtf: chvq + cvfc
    291 btsq: qtjw * cdnd
    292 czgh: 2
    293 zhcn: dsls * jjsd
    294 hvjt: mwnb + ntzf
    295 dqtl: 5
    296 djrh: tsdw * cbrd
    297 zcsf: 3
    298 fdls: 13
    299 tlgd: bbpd * dnzh
    300 nsdp: 2
    301 lggr: bpmg * plmh
    302 trcq: tdbv * ggzp
    303 vvfl: 3
    304 qrnp: 2
    305 rncb: 3
    306 pbnn: gjzv * fcpl
    307 zlmn: pwnw * lpvz
    308 bshs: rrtq * bfhf
    309 spgv: dlsh - szmq
    310 blhf: 2
    311 zjvq: 4
    312 wvzq: sgbf / jwtb
    313 pvmj: 2
    314 gblc: bjzw * jvcz
    315 hjbq: jznq * vcgh
    316 qvdm: 19
    317 pmfp: 2
    318 zhfh: qvrw * lwqg
    319 gbdl: 5
    320 mnct: 2
    321 wcwl: 2
    322 llvm: 13
    323 pbdb: qztr + ttqr
    324 dhgn: lblh + qfls
    325 bmnb: 3
    326 ntgn: 3
    327 hnfv: stpv + lwmh
    328 cgmr: chtr + gnht
    329 wgwl: 4
    330 qggj: mqjv * lmfc
    331 djfn: hnfv + wclv
    332 vczp: 2
    333 hfbq: 2
    334 bzrs: 3
    335 lbtl: 2
    336 dcvb: 16
    337 bbmt: hgmr + nvqm
    338 vfbf: gnfs - mlsp
    339 wnvf: 5
    340 rmvp: 18
    341 ffdl: cblg * nqbm
    342 szmq: lqbw * zptz
    343 jwjp: hgrl * zgzg
    344 dmpc: zgtg + bpvp
    345 vshp: 11
    346 qjdm: 4
    347 rfpz: 9
    348 lggh: mcln + mcth
    349 prnn: 2
    350 vzgb: 2
    351 tsfr: 16
    352 vchq: rpgb * vwlf
    353 mnqn: 7
    354 pzzz: wczt / vhdw
    355 sjbm: 14
    356 qllr: qdjp + zdld
    357 fdpt: qmcp * gqtl
    358 bmwl: jppw * ldpd
    359 znmb: nflm * jwqz
    360 gcwj: 3
    361 wcqb: nwgz / smls
    362 slwd: mdzc - hdng
    363 rlzb: fvtc * cjtn
    364 gwmp: 2
    365 dwzs: 3
    366 qzrc: 13
    367 cjsp: 5
    368 btsr: 13
    369 dqzp: ffwj * hcst
    370 fcct: 4
    371 scsm: rqcr / ddgl
    372 chtr: 2
    373 ztcm: 2
    374 tlvz: jbcs * sbfs
    375 jvns: 18
    376 hrjv: dpzp + nsbl
    377 ctwq: 2
    378 dvhq: shms / wssb
    379 zhfm: 4
    380 bfhf: 4
    381 ppqf: 5
    382 bntm: 6
    383 bmns: mjfg * bgdj
    384 trzs: 16
    385 fjjb: chsr * hzmp
    386 tgwr: 3
    387 nfqj: 16
    388 hvhp: 2
    389 sdpv: cszr * wlss
    390 hwhr: 2
    391 ndtg: 4
    392 gcnf: bqbc * mrfp
    393 mbnp: hbdc + grgm
    394 bldr: brwq / psfv
    395 bjzz: 2
    396 wqcq: ljqb + mnjp
    397 gpsj: qmnr / nprh
    398 hgdr: fgth * crqr
    399 tnvl: lmlp + sbtn
    400 dfmj: 20
    401 bdgr: fjgn + vhlh
    402 mvll: nhhd * pjqs
    403 jvlh: 2
    404 jmsl: zmmz * bdrq
    405 tczz: 4
    406 zqpw: 16
    407 qssr: 1
    408 phwl: 7
    409 jmlz: 3
    410 dtdl: 4
    411 gnbw: 2
    412 dmhs: 4
    413 lpbg: nrwb - zgqz
    414 qcrq: 5
    415 hcsj: 2
    416 root: mrnz + jwrp
    417 dchh: jzds * zfcc
    418 vhbw: 2
    419 jrct: pclc + wwmh
    420 jrnf: 3
    421 fswn: 2
    422 hdhm: znhp - tbqp
    423 hzps: ttdd * wqsl
    424 vvrp: 16
    425 cfdq: 4
    426 szzs: wvcs * mwjv
    427 tzjf: 5
    428 lbmf: 5
    429 mnjp: jnvp * bmrc
    430 hnsg: dngc + wsjn
    431 hngp: lfpw * dfnw
    432 qmdj: vlhz * vhth
    433 wvrq: wqct + dsvz
    434 svfc: 2
    435 hvmj: wgcs * bpwd
    436 lzjs: dzhb * ppqf
    437 prgf: 3
    438 lqqr: 3
    439 qcpp: 2
    440 jwdc: 2
    441 hsgc: vtrh + pmjn
    442 tlsc: 5
    443 mdpl: svqw + pwhl
    444 bzpt: 5
    445 fvhw: gchv + rnqz
    446 mrnz: hncd / phsp
    447 lnjg: mfqs + zfln
    448 rthd: cpbd * gwqc
    449 bzwc: 4
    450 btcd: bwst + nzmr
    451 bfsh: 15
    452 bldp: 10
    453 vsgw: hldn + rzmp
    454 tpvd: 4
    455 gqwv: tmgv / dqqp
    456 ddtq: 3
    457 mpbq: 17
    458 qwqw: pvmj * hfvz
    459 gfvh: mzrn - vghf
    460 sjlq: fswn + vggq
    461 cfgr: rhqs * dgtn
    462 fszg: chzd + dwcc
    463 jvhv: 2
    464 zlcl: glfw * zcnp
    465 bcwv: gvqz * nzwg
    466 gglj: 6
    467 wssb: 2
    468 dphd: 2
    469 chrg: thzp * gcwj
    470 nbjj: 2
    471 nrlq: prpq - zvjw
    472 vnqb: pjdf + zmls
    473 mjrl: wgqw + zhfm
    474 dzrs: rqts + vwdc
    475 dnzh: 2
    476 tdtb: hggc + ztjp
    477 fpnq: 2
    478 zqcl: rzpj * dbww
    479 ftsc: fhzm * bhlz
    480 rrgr: 3
    481 rbnj: ttfb * mdjl
    482 spwn: 18
    483 zlht: 11
    484 zgth: swhc + jbbb
    485 rdnq: hzrz + ngfn
    486 pldw: rqbp * ftcw
    487 drbn: 5
    488 twsw: bsmt * crzb
    489 qvsj: jvmh * wqwm
    490 dsfm: wdvv * gpbj
    491 bprz: nfmb * pgrj
    492 bfwm: tcjh * bhmh
    493 wjwv: 12
    494 dggm: lgtb * mzlv
    495 wdvz: bfrg + tmwj
    496 wwmh: cnmc * hhwc
    497 zqss: 2
    498 zzwh: zdfp * vjfv
    499 crff: 3
    500 ctfz: 4
    501 jvmz: hpmf / mbbc
    502 rsnh: 2
    503 gjzv: gwmp * btgm
    504 qcqj: mwmw + cmhb
    505 vvrf: 13
    506 tffp: pmfp * drhd
    507 mzvm: 2
    508 lzsp: 2
    509 clsq: vqvh * gljs
    510 qmnb: 5
    511 qznt: 3
    512 wdzq: qzhw + bhbm
    513 mtcv: 8
    514 hmqd: 5
    515 plbh: wdlh / svfc
    516 czmj: 4
    517 zpnq: 12
    518 zpcf: pqfm * qwrm
    519 nflm: wwlm * dsfd
    520 mcln: dtdl * zmpc
    521 nstb: zqss * lvdw
    522 wqpd: msrg * rbgq
    523 jstq: dgdn + dcvb
    524 hbvf: 2
    525 drrb: 1
    526 pcfq: 7
    527 smhn: 5
    528 lfpw: 2
    529 fnrs: jhgg + zvfs
    530 fcsr: 1
    531 lcdv: smwh + vmhf
    532 vvwt: vmtw / cccp
    533 hfqr: 2
    534 jblj: dprq * phrn
    535 mtmc: 5
    536 mmwj: tcsn * bwmv
    537 zqmc: 2
    538 dsql: vmcf + zpcf
    539 rfbr: 3
    540 ncss: 19
    541 psnv: srfz + pzfs
    542 lgff: 8
    543 hwcl: 7
    544 fqjw: jqwh + mhqw
    545 jdvg: 3
    546 qzpg: nhhv * lgjp
    547 gggc: 2
    548 nlrs: 3
    549 vhlh: frph * ddnl
    550 nwpl: 3
    551 zdfp: 5
    552 vpfb: prcl * jcnm
    553 bljj: 3
    554 srnq: 2
    555 qwpp: 7
    556 ljqb: gswt + rzzt
    557 lvhv: 1
    558 brlg: 10
    559 rlnn: 2
    560 jhlw: 2
    561 vzmn: 3
    562 hbls: hzps / gbhc
    563 plvb: 11
    564 nfvl: 4
    565 sljl: plml + lzjv
    566 szvf: 17
    567 rgvt: 4
    568 chzd: dbgr * mttq
    569 rjrn: lmnw / ctpd
    570 bbzc: 4
    571 cbps: zqfj + gtct
    572 pcsf: bpnn * nhvj
    573 cdcr: pbnn / wpwc
    574 bjzw: 3
    575 phpl: 2
    576 dpqc: 3
    577 vqvq: trcq + vwps
    578 fcfz: 6
    579 mpsq: qjqf * lhfm
    580 vnmj: 3
    581 rqrd: rthd + gsgd
    582 fcvr: 5
    583 lhch: hbjt + ljcq
    584 hncd: zfgj + brbv
    585 hvph: 9
    586 srfz: lhmg * nqsw
    587 nrzb: qhfm * jnbm
    588 wdlh: hhwl + rqzm
    589 mstz: mbds + mmph
    590 zqwv: 5
    591 nqsw: 3
    592 qpzm: dbnf * vqlt
    593 ggzp: 8
    594 zfgj: mdmq * mpsq
    595 qzhw: 1
    596 rppp: 16
    597 lhht: 2
    598 rfvv: 13
    599 rpsr: 5
    600 wbwf: 2
    601 cppz: bwtw * qppz
    602 bpvp: dlcq * fzng
    603 rbtw: 3
    604 wmsh: mpcq - dchh
    605 lscm: 11
    606 bhlz: lhch / wdzq
    607 sbcs: tfns + ddtv
    608 rgjv: tsfr + qmdj
    609 zbwg: 9
    610 pgrh: 15
    611 lrdg: 6
    612 dfst: 17
    613 wmvw: vsqr * hljl
    614 gtrp: 2
    615 jlcj: zblj * wglg
    616 wzrr: 16
    617 ggnr: 5
    618 zbfr: gdtz - fdqq
    619 cnmc: gdwd * zjlw
    620 tcjv: jjgj + lglh
    621 rrpb: ltmf + mbfl
    622 zchq: 5
    623 crdv: dvhq - lhmc
    624 sgcm: 2
    625 dcml: bzwj * tbld
    626 nrfw: 3
    627 fnfj: 19
    628 zgld: 5
    629 qbrm: 3
    630 crjf: 3
    631 dsvz: mmhr + nvqg
    632 tljb: rfbl * fqjw
    633 mflf: 4
    634 mtzf: 2
    635 zqfj: nbns + btcd
    636 clrn: 3
    637 smls: 2
    638 tvhj: 6
    639 rvjc: dvsh * gggc
    640 dzpc: qrnp * sjlq
    641 wglg: rrpj + gmnz
    642 thgz: 4
    643 njhc: dncj * mjnf
    644 gfqw: 3
    645 jhjv: hcvc + ghsj
    646 fzmr: 6
    647 chlt: nrfw * jzff
    648 jwqz: rlnn * tcjv
    649 bzjh: qspm + rncb
    650 dfnw: 9
    651 pfnm: cnhz * hdsf
    652 mzvw: 2
    653 mzqr: wcsd + jhsv
    654 wjsh: scsm - rrpb
    655 jbdr: 2
    656 vcbr: wdnj + lgbl
    657 lpvz: qvdg * ljrn
    658 dcnn: cjsp * lbhs
    659 wghw: 10
    660 ndpw: 5
    661 vmcf: 2
    662 nzlh: 1
    663 lbms: qzcj + tzjm
    664 vdgd: 18
    665 dnft: qrtv / vzgb
    666 cccp: 2
    667 smzd: 7
    668 jqrr: pcpp * hvph
    669 mdwj: mjdf * msfd
    670 dncj: 4
    671 qfls: fcsr + hngp
    672 dqdc: 2
    673 qvdg: 17
    674 cblg: 3
    675 ffwj: 13
    676 bzwj: qpbc * mrlh
    677 mplz: 5
    678 vqdq: brlg - zpmq
    679 ljpl: 7
    680 mtwc: 3
    681 qvmt: fqtb * vdlw
    682 fljw: pggm + mmwj
    683 ltmf: zjrj * ztjr
    684 mjdf: 2
    685 zmmz: gtcd + tzpf
    686 hhfr: 5
    687 zlqm: sfcf + frld
    688 rzhq: 8
    689 rqts: 2
    690 jgrc: 13
    691 nzwg: qffq / qrjh
    692 fmhf: fwrq * sjbm
    693 mwwv: vmvq + hgcc
    694 jqwh: tvvn + nmvz
    695 snbf: pnqt * fhds
    696 ljcq: zlmg + lsvh
    697 qmcm: 2
    698 gghd: rjcv * hjsj
    699 bwst: ztgn * bwlf
    700 mnwp: vzcv + dcnn
    701 djfq: 3
    702 rbdd: 20
    703 wlfb: pwcv * lmpt
    704 wphb: wbrv + wcsf
    705 zjrj: zzng * zsvv
    706 vqsh: gbgn + vvgg
    707 fjgn: lrcn * vrhq
    708 sbtn: bqdh * stnp
    709 njmg: bmns / gchz
    710 nfft: qtcz + qhdd
    711 nhjr: dqfp - mfdc
    712 rbgq: 7
    713 lgtb: 3
    714 jzts: sdpv * hbls
    715 gjqq: znsb * nbhz
    716 vftr: wzsl + tjhh
    717 tvtc: 13
    718 wbfs: pdgz * nfvl
    719 fhlf: 6
    720 bswv: 15
    721 rghj: mrcn + sjsb
    722 qsln: gzjp * zfwr
    723 jppw: mtmc * rpsb
    724 zwvq: 4
    725 wplf: pldw + tnvl
    726 lcql: 12
    727 pncm: bprz / fzqm
    728 fclr: 2
    729 szss: 4
    730 vhmc: 7
    731 lqww: ggns * wqls
    732 phsp: 5
    733 dgdc: 2
    734 drpc: 20
    735 hbcz: hwmj * mqpl
    736 pcfp: hrvz - vsnt
    737 rgfj: bpls * mrhv
    738 vmsw: 2
    739 brbp: qdwn + lscm
    740 nphl: dcml - mzqr
    741 dbnf: 3
    742 phzv: 7
    743 rtmp: tznf * nrzb
    744 lsvh: wpzm * qwhb
    745 wgcs: 2
    746 nwgz: mhsz + lbqr
    747 rwgg: 14
    748 ggch: qvfm + gmnb
    749 qlgd: nfdf * hddd
    750 mfhn: fhrj * vqdq
    751 jnbd: bgds + dghv
    752 ndfh: rzbf * hfqq
    753 hfcp: 2
    754 pwst: vhmc * dgwv
    755 tzjm: 4
    756 tjns: 4
    757 bmbp: 2
    758 gbhc: 2
    759 wqsl: lvzs + nhtr
    760 bpsv: 2
    761 mzrp: wqvz - vmsw
    762 lbts: 17
    763 dbgr: 4
    764 pwnw: 2
    765 ftcw: gcvt + lwrb
    766 tbrf: hdwd / jnnz
    767 lqcb: sfdn + fwcv
    768 gsjn: 4
    769 bgfq: cfgr * glsb
    770 gchz: 2
    771 spbt: 2
    772 qtcz: pjgg * rzhq
    773 swts: vjhg + dzzz
    774 tzpg: hzsd * bljj
    775 bgtc: ghtw * dhjr
    776 cnpl: vfct + cdfg
    777 ngcq: 18
    778 fpmj: qdmg + ttzc
    779 tbjt: 2
    780 vztf: fzmm + jmmt
    781 jjgj: qlgd + rppp
    782 gtqw: mszj / jpgc
    783 qcjv: cdcr + vdgd
    784 vvgv: nzgc * dfst
    785 wzzp: jcnb * lwrn
    786 zrff: nhrd * tbzn
    787 rdrg: 5
    788 plml: wlfb * bbzc
    789 dsls: 12
    790 bpzs: lcmg + gtqw
    791 zvqr: 3
    792 tsvw: 4
    793 jsrw: 4
    794 ldcs: 3
    795 tthz: chrg * qqtt
    796 jdgh: rbjq * hpbs
    797 zjnj: 2
    798 mpvz: qsch / bvsd
    799 bgrw: qlzb + zmmg
    800 bsvc: jwsb * sqrq
    801 lwgg: 2
    802 fgrb: hfqr * wpwz
    803 vdlw: 5
    804 zmbv: 3
    805 htls: 2
    806 csrv: vqvb * phpl
    807 thls: ctzp - vfbf
    808 qlmc: 1
    809 dfbs: 4
    810 hggq: vqvq + nhjr
    811 qpmw: 11
    812 lrdb: mflv * zfcg
    813 sqft: rmvc + nvzj
    814 zfcg: 4
    815 gbnz: 6
    816 dsvb: 2
    817 vpmg: 3
    818 grhz: 2
    819 tvjr: mpzw + dgvp
    820 swhc: 10
    821 djhv: 19
    822 gslh: 7
    823 ngfn: gjfn * cmmm
    824 cdnd: hlbj / wfjv
    825 fvjl: bpnw + swnr
    826 scrq: 19
    827 ddjd: cjtt * tlvz
    828 wlgd: 2
    829 vsgp: pttg * zcgl
    830 wtqc: jhjv * hwpf
    831 jhlz: wgdz + rwhs
    832 mmph: 4
    833 ctzz: 2
    834 lnpq: 2
    835 rwgh: cgvl + hfcp
    836 tsnd: 3
    837 vqvb: 3
    838 plbv: 3
    839 hvng: 18
    840 chsr: 2
    841 ntrt: 2
    842 qrmg: hdhm / hrrc
    843 ttqr: ddjd - qzgj
    844 dmbm: 3
    845 stpv: 3
    846 dvvw: ggcz - qlmc
    847 vwdc: mbws / nnsm
    848 qlzw: qmzj * tdcr
    849 nsph: 2
    850 mrnj: 17
    851 jlbg: 2
    852 rtql: 7
    853 dhdf: 2
    854 szvm: 5
    855 pgrj: fmvr * gbtb
    856 rrrz: mcqq + mdpl
    857 dvvn: 3
    858 mhsz: ttpt + czgs
    859 cwtl: jbzl * tvsh
    860 bdsl: 3
    861 rqzm: rwgg + gwmb
    862 mfqs: wdqs * qggt
    863 ljjs: 4
    864 phds: 3
    865 jbcc: hblr + zbfn
    866 vhdw: 3
    867 gbtb: 3
    868 gqbj: tzrc * jbmv
    869 qppz: 3
    870 msmv: 2
    871 lmqb: ctzz * mpbq
    872 fgnm: tbtl + rvqh
    873 dsfd: 7
    874 jnvp: 10
    875 cdmz: mmwf * sqsj
    876 qhnn: 2
    877 jlnl: ttmb + jjrn
    878 trrs: rvhr * nrsc
    879 svqw: 12
    880 wplv: qjdm + dtrs
    881 fwcv: twsw * fqwf
    882 pvgd: 2
    883 mpcq: pwst * mvqf
    884 qjjq: 3
    885 cgvl: 5
    886 rdtm: 5
    887 msfl: 2
    888 ctzp: spwn + drpc
    889 pzzj: 2
    890 ggcz: 8
    891 mhqw: jqbc * vpmg
    892 vjgh: 5
    893 vpcm: 2
    894 hstl: dsfm + vbzn
    895 shms: svgw * tqbv
    896 gjfn: zvqr + wttr
    897 zgpp: lhqj / vpgw
    898 tvsh: hdnp + wrbj
    899 rbmm: lmng + fnws
    900 tcsn: zzww - nqzj
    901 fhtm: 2
    902 fqwn: dnrm * fpmj
    903 ttff: mnwp * zdcg
    904 rmhb: 2
    905 jqwc: bfzr + tdnp
    906 sdgc: 15
    907 ghtw: dwzs * rnnn
    908 tldm: 1
    909 sfmr: 3
    910 dpnl: zgcn * hwhr
    911 hgrl: sdqb * bjmc
    912 vrbp: 4
    913 mwjj: 11
    914 hjlf: 2
    915 jcmf: 5
    916 mszj: btjn * dphd
    917 mbds: 3
    918 lzbr: nzqb * tbnm
    919 frph: qdbl * dmpc
    920 jqbc: tzpg + jjtd
    921 nrwb: bswv * rbld
    922 tmgv: mjbs + nzgw
    923 pbvh: 3
    924 rpgb: vgqm * msfl
    925 qfjm: jmlz * cdhb
    926 zhdn: 4
    927 nctm: 1
    928 bnfz: 3
    929 tsdw: 3
    930 pbnr: 3
    931 grrq: lscs + njzw
    932 fnws: pvqs * fmgh
    933 vlcb: 4
    934 nrsc: frnh * mzvm
    935 jvmh: 9
    936 wnzg: rbdd + lzvf
    937 bvng: flwg + dpnl
    938 gtcd: 5
    939 bpls: 3
    940 qfcn: 3
    941 nvqm: zhcn + glqd
    942 nbhz: 5
    943 qlzb: bfsh * ljgh
    944 vlbp: hnjs + rfgp
    945 ntgj: 20
    946 fqwf: 10
    947 jvvf: 1
    948 rbld: nfcc * qvgq
    949 tnwj: gtrp * gstw
    950 hvbd: ppns + lbts
    951 wpqw: lrdb + lnjg
    952 gdgz: vcjt * qmcm
    953 mbpc: twmg * rmhb
    954 cznr: dbzd * fgzc
    955 jsvp: nbsl + lpbg
    956 qbnr: mfdb + zcjz
    957 lgcm: 2
    958 pwrd: qnhj - szvf
    959 mqfz: 2
    960 wdzc: 2
    961 fjtd: 2
    962 qmnr: dsql + hzsg
    963 nqzj: 2
    964 jmmt: 3
    965 dtqn: 8
    966 swlc: 2
    967 dhpt: mfnf + pwzf
    968 wbrf: plbh * vzmn
    969 jqjn: 7
    970 lgjp: 3
    971 brbv: pbdb + lzjs
    972 mcth: qzrc * gdjw
    973 nbns: dfbs + mtpc
    974 fclp: rbnj * tbtr
    975 gtct: sljl * hdcf
    976 szqm: nhhh + nhgc
    977 tbtr: 3
    978 pwvg: 1
    979 zcmf: qfjm + whrz
    980 rnqz: fmhf * rwgh
    981 zwlj: 3
    982 ntmg: 5
    983 tgvv: lqww * wpqw
    984 twmg: tzjf * jtbf
    985 lmjv: zphc + llvm
    986 lrhn: nfft + vrgp
    987 ctbv: gjlz / szvm
    988 vdjr: hbdd * smtn
    989 cvhz: blrn * ntmg
    990 fqgq: zjbq * fbhf
    991 zlgs: jbbn + ltmg
    992 qmzj: fqwn + njmg
    993 zzng: nnld - vfzv
    994 lfnw: bdvl + dbqw
    995 pggm: szsm * hjtg
    996 wwlm: pnbz * sdtr
    997 bdvl: 3
    998 vczb: lfnw * lwdq
    999 prgs: zbfr + tbrf
   1000 fqtb: 5
   1001 gstw: wcqb + mhfq
   1002 dgdn: 1
   1003 flqb: tdts + thls
   1004 ltjl: btsr * fgrb
   1005 tbqp: fdpt * mfhn
   1006 ngqm: 2
   1007 fgzc: 13
   1008 czcb: tffp + jbcc
   1009 gdvn: ttqq + swts
   1010 hbzz: fdls + qwmm
   1011 lclb: sfmr * nbjj
   1012 prch: 2
   1013 pjhq: 1
   1014 vdch: sgbz + vdgw
   1015 rchm: mplz * dsvb
   1016 ghwr: sqds + hhfr
   1017 fvbt: 8
   1018 wnbl: shcc + ngrj
   1019 czqg: tdjp * phds
   1020 vfzv: 8
   1021 gczj: qznt + rnqv
   1022 mrlh: 2
   1023 jcnb: 9
   1024 plqs: 4
   1025 hwtt: fbbp * vqsh
   1026 fzng: 3
   1027 fmgh: 5
   1028 cqss: 5
   1029 ntms: 1
   1030 vwlf: 7
   1031 hswh: swlq * ndpw
   1032 bthv: pbnr * ffsn
   1033 mvff: pdnh * dnft
   1034 qwvq: sgbq + zwdg
   1035 wfjm: 5
   1036 humn: 959
   1037 nbvp: ffww * ddcf
   1038 wbrv: 3
   1039 psdw: crlq * wlgd
   1040 mggp: njhc - czqg
   1041 grgm: fzmr * spgv
   1042 nlwb: glss * brbp
   1043 zdld: 15
   1044 dnpb: hvjt * htls
   1045 jscw: 2
   1046 zltp: 5
   1047 rdvs: humn - wpmm
   1048 ddfl: mjvw + whwp
   1049 dzrh: 2
   1050 ppns: fvpr + szzs
   1051 pwzf: bmwl + mfbh
   1052 bfbf: sbhh * mbfr
   1053 qrnv: ldbw * dfsp
   1054 tdbv: 5
   1055 jnnw: 2
   1056 tbvd: mpcs + djrh
   1057 jjsd: 11
   1058 vfzd: chpt + ldzl
   1059 rfnv: nhng * nlrs
   1060 lblh: 2
   1061 lwmh: hvdb * ntgn
   1062 dpzp: rpsr + mzsr
   1063 tnzw: jblj - mspv
   1064 tlnn: qgjl * zlwj
   1065 dqfp: cgmr + jtlb
   1066 hlrf: sbfj * jrct
   1067 lhmc: qzwc * wjql
   1068 wsjh: 4
   1069 vvzd: fjjb - jgbq
   1070 jpqt: 17
   1071 bljl: 3
   1072 qdwn: 2
   1073 mdth: jlbg * qrnv
   1074 jvpf: 2
   1075 qggw: btbw + zqwv
   1076 sbfs: jzhg + tlsc
   1077 lwvz: zwlj * zhmd
   1078 pldg: csln / jcvg
   1079 qshc: nhvd * fcfz
   1080 cbhb: 4
   1081 zlvr: mjmt * zmph
   1082 lwqg: znmb + vwrl
   1083 rdhv: smhn * scrc
   1084 bsmp: 11
   1085 qrtv: chlt + cznr
   1086 tdnp: 6
   1087 hpll: rrzp + fmvn
   1088 bwpn: 1
   1089 ffpt: 13
   1090 fbpl: 2
   1091 vjhg: 2
   1092 wrpz: gglj + jfcl
   1093 blbz: wplf * qhnn
   1094 gdwd: 17
   1095 cqst: 3
   1096 jfcl: rqnr + fmnm
   1097 mzlv: vmns + hrrf
   1098 vmvq: qhgr * pwrd
   1099 mspv: jzts + tdfl
   1100 ntgb: 3
   1101 gvls: rfsj + qggw
   1102 fzjn: wqcq * tnqf
   1103 jvhh: 2
   1104 sgbf: ndfh + vvgv
   1105 hbdd: jnfw * scjg
   1106 gttc: 11
   1107 mflv: 3
   1108 fmtr: hhdj + phzv
   1109 tfns: zlpr * bnpq
   1110 dbqw: 9
   1111 jfbb: znmd * ntwd
   1112 dmsf: zpdc * zcgd
   1113 rrlm: 5
   1114 lslm: hdnz * vnmj
   1115 pdps: 3
   1116 sdtm: vvfl * qjns
   1117 hwmj: 2
   1118 rwhs: rdhv + gfhn
   1119 nhvj: 2
   1120 sddb: 5
   1121 zpdc: 7
   1122 hpbs: 3
   1123 gcql: 2
   1124 lbqr: 11
   1125 gplv: 15
   1126 cflc: dvvw + dscv
   1127 jmcm: cfrd * nzqh
   1128 hlcd: 3
   1129 fwgm: 2
   1130 glhq: 2
   1131 wfmj: qwqw * pvgd
   1132 ddnl: mjbh + qvsj
   1133 szcj: 2
   1134 nhqs: bqqt - jlrl
   1135 lnwm: sgvh * rgwv
   1136 tbtl: 18
   1137 mdmq: 3
   1138 rnfb: tvrb * ttsb
   1139 wjld: 5
   1140 tvcq: wzcd - gcvp
   1141 ztjr: 6
   1142 wgmf: 8
   1143 hhwl: 15
   1144 qjns: jtgb * clrn
   1145 pwfw: lqbp + pcjh
   1146 nfmh: zddr * ddvn
   1147 jlzq: 5
   1148 ljgh: 3
   1149 glfw: thgz * vqqm
   1150 lbhs: tcrj + hjlf
   1151 gdjw: ncsb + vltv
   1152 dlsh: zjwm * hspq
   1153 vmcn: phwl * gfrl
   1154 nhtr: qpdl + smjj
   1155 jtwj: 1
   1156 pczh: hvfw * mjqz
   1157 lctm: nlvv - mbfg
   1158 pdlp: ptqt * hqcs
   1159 thzp: prgf * qsrr
   1160 bmzl: 2
   1161 pgzs: hgcd * fbjr
   1162 nqbh: 2
   1163 zjwm: 2
   1164 mwqj: wrnh + jrnf
   1165 tjdc: ljjs + bfqp
   1166 rqlw: blbz - ncpz
   1167 tmwj: qggj + nzlh
   1168 bhwg: hzpl + mztj
   1169 ddgl: 2
   1170 jsfv: ftnb + jqjn
   1171 zlwj: 2
   1172 stbw: 5
   1173 zssm: 19
   1174 fhds: szrz + zzwh
   1175 qvgq: 3
   1176 lhmg: 4
   1177 rjdn: 1
   1178 hbjt: gggn * svzg
   1179 jgnd: 2
   1180 hjtg: 5
   1181 zswz: hstl * scqj
   1182 zcnp: 2
   1183 dhcd: ddlj + zncn
   1184 rmvc: 9
   1185 ldpd: 3
   1186 hgdg: 18
   1187 zzww: wtls / hlsh
   1188 hptd: 2
   1189 hfbt: hzqb * hsgc
   1190 wczt: qdlp * rfbr
   1191 bqwn: 2
   1192 wpmm: jmtf + chdd
   1193 hcvc: 6
   1194 mcqq: ttvr + vvqj
   1195 nhng: gzpv + bqwn
   1196 rfmg: 2
   1197 wzsl: 1
   1198 hcfj: 2
   1199 whwp: tvtc * ttmh
   1200 lpsp: rfvv + wzrr
   1201 fzqm: 4
   1202 lscs: pjhq + zhrn
   1203 ttqq: mtcv + rtmp
   1204 zjts: 5
   1205 rjcv: 3
   1206 qwmm: 4
   1207 fmdn: fvng / dmbm
   1208 mpng: 2
   1209 vmtl: 4
   1210 wdlf: cctn + vqsn
   1211 dhjh: 5
   1212 zsvv: 3
   1213 nmjn: 2
   1214 rfsj: wwvg * brwz
   1215 wzcd: cjtm * szss
   1216 hqpg: 9
   1217 jhgg: 11
   1218 jssr: 2
   1219 zjvm: pfcb + dtrg
   1220 hjsj: gpsj + fftv
   1221 ngdn: mvll * hgdg
   1222 glqg: htfv * zcmf
   1223 gjlr: 3
   1224 fmnm: tstl + pnwl
   1225 ntwd: rvjc - gsfh
   1226 jbcs: 2
   1227 tbnm: 3
   1228 pzfs: nljg + pfvf
   1229 dprq: 6
   1230 cjtm: pdjl * prqd
   1231 bzww: tbvd / mrmv
   1232 vqlt: 8
   1233 jhmp: qlzw - vhnq
   1234 gmnz: 14
   1235 pmjn: wbrf + scfr
   1236 plhv: jssr * rfjh
   1237 mrts: tcnr * hrjv
   1238 cfqr: hwps * chzv
   1239 dtqc: cdsf * njww
   1240 prbv: nthm * dqdc
   1241 tjhh: bwpn + pwfw
   1242 hdnp: 3
   1243 vsmj: lbmf * mslh
   1244 wdvv: 6
   1245 gnwz: bhpn + mtjz
   1246 zgcn: 5
   1247 mdnz: 3
   1248 pcpp: 17
   1249 jtbf: 5
   1250 lmng: wrtv * pctw
   1251 sjrm: 20
   1252 pttg: 13
   1253 rpsb: 5
   1254 bmrc: 9
   1255 scrc: 14
   1256 nhgc: 15
   1257 hddd: grcs + dtrj
   1258 bslz: 15
   1259 rmgw: fbhl + cppz
   1260 rnnn: pbzf + qsln
   1261 zchp: 2
   1262 btbw: 1
   1263 vfnb: phbr + jlnl
   1264 phrn: wvzq + pnjb
   1265 qsrr: 7
   1266 lwrn: 4
   1267 jtgb: 2
   1268 vfzf: zswz + wjsh
   1269 qzfw: mwwv / pzzj
   1270 ctpd: 2
   1271 fhzm: 2
   1272 hlsh: 4
   1273 csln: fpnq * fvql
   1274 lftg: 8
   1275 cftr: 10
   1276 tcjh: pbpt + gclq
   1277 jlrl: 2
   1278 nvqg: 5
   1279 zlmg: 17
   1280 nvrh: jsvp * fqjm
   1281 fmvn: ftrh * wcwl
   1282 mbbc: 2
   1283 wrnh: jjvw * bglg
   1284 pcjh: vsfb * hqph
   1285 zqwq: hlrf + rtql
   1286 jptg: wbtb * zwdj
   1287 ldlp: 4
   1288 mjqz: 2
   1289 pwcv: 3
   1290 rrpj: tfpl * vfzz
   1291 qgjl: zqjm * mwjj
   1292 hcdh: hnws * jnnw
   1293 wwjd: wtbn * jrjn
   1294 rzpj: czhg + dfmj
   1295 qwrm: 4
   1296 pbpt: 1
   1297 btjn: jfdn - hwtt
   1298 mhfq: vlbp / fjtd
   1299 mttq: 2
   1300 qqrd: bbsv / ldcs
   1301 gpbj: 3
   1302 smtn: 2
   1303 zdcg: 2
   1304 hvfw: sdtm + djfq
   1305 vmhf: qpzm / vlcb
   1306 rbht: lctm - wfmj
   1307 hhdj: zfsh + dffw
   1308 vwrl: jmsl + zlnc
   1309 nqsl: 14
   1310 fbhf: 4
   1311 gcvt: bhwg / hgqh
   1312 hlbj: rrvm * dhcd
   1313 qdqg: qfcn * wvvd
   1314 tcvt: jqwc + tjqc
   1315 vcgh: mnql + srcd
   1316 gdbn: 12
   1317 zfln: llst + dvhc
   1318 ldzl: 9
   1319 gsfh: fszg + lgff
   1320 ppjh: dmfp + mdwj
   1321 nfdf: 2
   1322 rrvm: 5
   1323 hgqh: 2
   1324 cvmg: wdlf / rsnh
   1325 pjqs: 3
   1326 mwmw: 6
   1327 hcww: 3
   1328 dzzz: 5
   1329 wqls: 2
   1330 stnp: 2
   1331 hnjs: stbw * bthv
   1332 fzwp: wnps - qwvq
   1333 fwqz: 6
   1334 wszs: vgtg * gjlr
   1335 vggq: 11
   1336 dgwv: 2
   1337 hljl: 2
   1338 nthm: srsm * vvrf
   1339 sdzf: 2
   1340 zchv: whlm / ntld
   1341 wqvz: wtqc + mnqn
   1342 mjfl: tljb * wdzc
   1343 qgzj: 4
   1344 drhd: dzpc + mqgg
   1345 rqbp: 10
   1346 wphs: 4
   1347 nphn: gdvn * bthb
   1348 nfmb: 15
   1349 fbbp: 4
   1350 ncpz: hptd * rgcs
   1351 whrz: mlbv + gslh
   1352 wtpp: rvwr * cbhb
   1353 ngbq: nlwb + rgfj
   1354 pdjl: 2
   1355 nhhh: 10
   1356 ttsb: gnhd + clsq
   1357 lmpt: 5
   1358 wvvd: zbrb / jscw
   1359 chzv: 7
   1360 jbzl: 4
   1361 flwg: 1
   1362 ttzc: rdvs / cbrl
   1363 zhmb: lrnq * sbcs
   1364 mvqf: 2
   1365 lhjq: 15
   1366 vhhm: ltdr + sdjj
   1367 qpdl: mpng * lcql
   1368 zmph: 5
   1369 vsqr: 7
   1370 pjds: nbhq * grhz
   1371 mslh: 5
   1372 plmh: tthz + zgpp
   1373 sjzs: wvrq / sdzf
   1374 tznf: 2
   1375 nvhn: bvfd - vmrb
   1376 lmnw: wtdl * gzmn
   1377 cbrd: mzrp + smsl
   1378 qhrz: jvpf * ttzn
   1379 pmtq: jpqt + gdbn
   1380 pvqs: 19
   1381 vtqp: pjds / pqwz
   1382 sqsj: 3
   1383 tdts: 13
   1384 flnv: zlmn / zgjv
   1385 vhth: 15
   1386 vqqm: 4
   1387 hfqq: 2
   1388 chvq: 20
   1389 fqjm: 2
   1390 nhrd: pfnm + zmfj
   1391 hsfd: wphb + gblc
   1392 rrzp: fscs / hgmm
   1393 ttzn: 3
   1394 jsfw: djcs * bshs
   1395 lhhc: 5
   1396 dnwb: mtth * vvrp
   1397 tbzn: 2
   1398 jtlb: fwqz + mrnj
   1399 gspt: 3
   1400 prcl: 5
   1401 wnps: tqbm + bznb
   1402 rhfp: 3
   1403 znhz: tndm + vdjr
   1404 cdsf: rrgr * dzrh
   1405 mlbv: 7
   1406 crzb: qmnb * zdmv
   1407 cjhp: 2
   1408 ttmh: 4
   1409 mztj: ddfl * zwms
   1410 wvmj: 5
   1411 wbjq: wgfv / bntm
   1412 lrcn: wjst * zlvr
   1413 rsdf: lslm * dzrs
   1414 dqqp: 3
   1415 mfbh: 5
   1416 pdnh: sscc - lgnp
   1417 sdjj: tjns * pldg
   1418 bwtw: cftr + mnbs
   1419 zmfj: slwd / mnct
   1420 mbfg: 3
   1421 vjfv: wphq * trmf
   1422 dscv: 10
   1423 tnnr: 11
   1424 zcjn: 17
   1425 jlss: 2
   1426 dtqh: 3
   1427 lmfc: pzww - rjdn
   1428 wphq: fvjl + ngcq
   1429 dffw: zltp + jvvf
   1430 czhg: 17
   1431 jpgc: 2
   1432 bglg: 2
   1433 vmbl: 5
   1434 jnbm: 2
   1435 fwls: fzdf * wrdd
   1436 mdjl: 3
   1437 gcsd: 13
   1438 cjfg: 3
   1439 bvfd: gqbj * wsjh
   1440 sfdn: 5
   1441 gqtl: 6
   1442 sbsn: mbnp / tbjt
   1443 pfsv: wllz - drrb
   1444 wvcs: bjwq * crff
   1445 ttdd: 2
   1446 frld: rdjw + nthw
   1447 mzsr: wjld * cqss
   1448 sbfj: 2
   1449 mnql: 6
   1450 trwn: rchm + pdgw
   1451 ddtv: jsfw - rghj
   1452 pfdq: 2
   1453 lvdw: zhfh - bgtc
   1454 jzff: 3
   1455 ncmn: sqft * fgnm
   1456 zmts: lhlm * ljpl
   1457 nljg: 4
   1458 rwnb: 2
   1459 gdtz: zgld * wnbl
   1460 cjtn: 17
   1461 nlzc: 2
   1462 jcpf: 2
   1463 bqdh: pcsf + vhhr
   1464 cmhb: 2
   1465 srcd: 17
   1466 pdfg: sddb + dtqn
   1467 qnqn: 7
   1468 zgjv: 2
   1469 cjtt: tlvj + csrv
   1470 svzg: 5
   1471 tjqc: 1
   1472 bpnw: nfcg * hmwb
   1473 btsz: vhhm + hcdh
   1474 zpmq: 3
   1475 ffww: qcrq * rdtm
   1476 rpjd: 2
   1477 tbld: dtqh * fpmv
   1478 trmf: 2
   1479 jtpw: ctfz + bmnb
   1480 pclc: 15
   1481 wwvg: 3
   1482 hqsh: dhpt / jlss
   1483 mtdt: 2
   1484 sjbp: 4
   1485 hrvz: zrfc - rbsd
   1486 smjj: 3
   1487 vzmq: 2
   1488 dqfv: dqrf / gbnz
   1489 nzgw: mrts + qbnr
   1490 jzhg: jfmq * zjnj
   1491 hnws: nmbc + fzjn
   1492 jsdm: 2
   1493 snpw: 2
   1494 rfdv: zchv + lmqb
   1495 gljs: 4
   1496 blrn: djqr + rdrs
   1497 zwdj: 4
   1498 vmrb: gnbw + vzpf
   1499 cbrl: 2
   1500 lmlp: djdl + nphl
   1501 znmd: 3
   1502 vtrh: 10
   1503 hbcr: 4
   1504 cgvb: pczh / wlnp
   1505 zfdn: bldp + hgdr
   1506 qnhj: hbcr * lhjq
   1507 bqbc: zbtq * rdnq
   1508 ttfb: 3
   1509 zlnc: jvmz + vccq
   1510 qcnz: 5
   1511 nqcp: fbpl * wbjq
   1512 jzct: sdgc * hfbq
   1513 ftrh: fwls + hvng
   1514 cctn: dqtl * zlqm
   1515 ghmt: 4
   1516 tqbv: bsmn + cfqr
   1517 frnh: 5
   1518 ddcf: 4
   1519 hggc: ltjl + hqsh
   1520 wsjn: rhps * sgsp
   1521 jnpg: rsdf / hgfq
   1522 jjvw: 7
   1523 zwms: ldlg + pwvg
   1524 tcnr: 2
   1525 bpcc: rhgp * vpcm
   1526 hzpl: bzww - wvgd
   1527 jgcg: jtmz * mwfh
   1528 gfhn: pwwg + nlzc
   1529 zcgd: 2
   1530 qzwc: 4
   1531 bfrg: rmtn * flnv
   1532 zmls: ffpt - ggjl
   1533 ldlg: 6
   1534 mpzw: 6
   1535 dghv: 8
   1536 wlss: 2
   1537 jfdn: bgfq * ptmg
   1538 ctdw: 3
   1539 tfjm: 14
   1540 jzds: 3
   1541 dvhc: 4
   1542 jszb: tscg * hcfj
   1543 nsbl: lcvc + mrpq
   1544 ncdj: pgzs * dhgn
   1545 dmfp: mcds * pbvh
   1546 bnrh: rbmm * whmg
   1547 vgtg: 5
   1548 vccq: pncm * gjqq
   1549 nhhv: 11
   1550 cfbt: bzpt * zchq
   1551 pjdf: 5
   1552 vmns: 12
   1553 lzvf: jszb * bbcc
   1554 tstl: 3
   1555 nmgr: cjdb * zssm
   1556 fzmm: 4
   1557 qhdd: cfbt * hswh
   1558 pdgz: 4
   1559 sdtr: rjrn + fvbt
   1560 hgmm: 2
   1561 htvs: 15
   1562 hqph: 5
   1563 zptz: 3
   1564 vbqb: 6
   1565 tqbm: pmcd * nqsl
   1566 hzmp: bsvc + gqwv
   1567 mfdc: hbvf * dpnr
   1568 gwmb: jvns / lzsp
   1569 cdfg: 3
   1570 smwh: 1
   1571 jngz: 5
   1572 mnbl: zmbv * dvvn
   1573 zcgl: 2
   1574 wpzm: 6
   1575 dbww: 4
   1576 djqr: 3
   1577 nbsl: qllr + bgsh
   1578 ttpt: 5
   1579 jwtb: 5
   1580 gnhd: 3
   1581 scqj: ffdl * mdnz
   1582 fhlv: hggq * htvs
   1583 njww: 2
   1584 ntld: 2
   1585 nbhq: zpvp / lqgf
   1586 rbsd: 8
   1587 rplb: njmf * srnq
   1588 sgsp: lwtd * hlcd
   1589 tscg: 4
   1590 vhhr: 3
   1591 jwrp: bhnt * vfzd
   1592 mjtf: 4
   1593 mbfr: 3
   1594 sdcw: 2
   1595 ddrh: 7
   1596 lpfz: bhzj - zvbf
   1597 ptqt: 3
   1598 wtdl: 2
   1599 nnld: fvhd / ztcm
   1600 dngc: ggch + ngbq
   1601 lslc: 4
   1602 msrg: 3
   1603 prrc: bpsv * gvzf
   1604 jrjn: lbtl + sbnc
   1605 rwcf: wgmf * ctbv
   1606 gclq: 10
   1607 lzgq: 11
   1608 rhps: njgp * msmv
   1609 pzww: 8
   1610 chpt: fsqh * lggh
   1611 zvjw: rwcv * pdps
   1612 trjv: 3
   1613 rrtq: 4
   1614 fgth: 3
   1615 hvdb: ghwr + jsdm
   1616 hbdc: vvzd / vcnq
   1617 hgfq: 2
   1618 lgnp: 5
   1619 rnzj: vfng * bldr
   1620 pdfv: 2
   1621 fhwl: 10
   1622 bthb: nctm + fhlf
   1623 vngb: tgwr * dpbh
   1624 jfmq: 3
   1625 hdcf: 2
   1626 zdmv: 2
   1627 vsfb: 2
   1628 wtls: czcb / qgtp
   1629 gnfs: fmmf + hgtt
   1630 gsrm: 3
   1631 mrcn: 1
   1632 swdz: 5
   1633 ghsj: 1
   1634 qvrw: bpzs * scrq
   1635 rhwr: wcpr + hbzz
   1636 zrnq: qrmg - ncmn
   1637 ltdr: dggm * pgrh
   1638 gsgd: lmjv - wjpz
   1639 brwz: 2
   1640 wtbn: mjrl * jzlt
   1641 sgvh: 3
   1642 jvlw: hbrw + szqm
   1643 ljrn: 2
   1644 tvrb: 3
   1645 csvn: jhlz * nwpl
   1646 czzg: 2
   1647 rfbl: 2
   1648 zblj: 3
   1649 wttr: nmjn * jsrw
   1650 zgzg: vvwt * hwcl
   1651 dtrs: 9
   1652 vghf: nvrh - flqb
   1653 nprh: 2
   1654 wsgm: 3
   1655 crqr: 3
   1656 srpj: ftsc + dbdl
   1657 ztgn: 5
   1658 zrfc: zlht * chdn
   1659 bfzr: 18
   1660 chfw: 3
   1661 hfvz: 4
   1662 bbcc: 12
   1663 qpbc: qjsg / fhtm
   1664 fdqq: wzrc + crdv
   1665 shcc: 2
   1666 dfsp: 2
   1667 wqbz: 7
   1668 lhfm: 2
   1669 zcjz: vngb + hvmj
   1670 swnr: 3
   1671 zmmg: jzct / swtw
   1672 pqfm: 13
   1673 svdq: jdgh * tdtb
   1674 wlnp: 6
   1675 ztsb: 5
   1676 wjql: 2
   1677 qzcj: 2
   1678 jnmf: 7
   1679 pwhl: hjbq * qqbd
   1680 mbws: qcqj * sgwj
   1681 vjhw: 2
   1682 rnqv: 10
   1683 hzsd: 3
   1684 gzmn: gplv - tsvw
   1685 mwnb: vhbw * tvjr
   1686 bsmt: 2
   1687 hbpt: 2
   1688 cdhb: 5
   1689 gchv: 4
   1690 pnqt: ntgj + mpvz
   1691 pfcb: jmtc + rhwr
   1692 btgm: wzzp + hhwj
   1693 qsch: nsdp * tnnr
   1694 lvzs: 4
   1695 wclv: dtqc + dlpj
   1696 djcs: wvmj * vpcz
   1697 zncn: bzwc * lqqr
   1698 lhlm: 2
   1699 fdbp: nrlq + bsmp
   1700 cpbd: sdtq + lhhc
   1701 jppg: zjvm + wnzg
   1702 wcpr: 18
   1703 pfvf: 3
   1704 qdmg: pgwq * nfmh
   1705 ltmg: ncss * lqld
   1706 nhvd: 2
   1707 hfjl: 9
   1708 sbhh: cgvb + qcpp
   1709 pjgg: gtzt + tczz
   1710 nfcc: 2
   1711 nbbp: wqqr + vcbr
   1712 wqqr: 8
   1713 ngrj: qcnz * lpfz
   1714 lrnq: 3
   1715 znnv: mbpc / lcfl
   1716 wmpj: 3
   1717 chdd: tlgd * hbcz
   1718 zbrb: sdcw * msjn
   1719 wgfv: cgcr + mflf
   1720 nfgh: 2
   1721 gvjv: qzpg * sjhz
   1722 bgsh: vtvm + cnpl
   1723 wgdz: mstz * mfgh
   1724 qzgj: mwqj * crjf
   1725 rvhr: 4
   1726 tdjp: djfn * ctwq
   1727 wfjv: 5
   1728 lqbw: 9
   1729 fmmf: 13
   1730 rmtn: 3
   1731 nchv: 2
   1732 qjsg: tvcq + jstq
   1733 bpnn: qjss + ncvv
   1734 qhgr: rfpz + ngqm
   1735 nwrg: 5
   1736 hmch: 2
   1737 cfrd: 2
   1738 cnhz: 13
   1739 pbzf: zjvq * prgs
   1740 hblr: lqdl * dsss
   1741 bbpd: 11
   1742 njrb: 16
   1743 nmch: 3
   1744 grcs: 3
   1745 fwrq: 2
   1746 fcpl: 2
   1747 hztd: 3
   1748 cgcr: znnv * flmh
   1749 dtrj: sjbp * lcdv
   1750 ffsn: 7
   1751 pctw: 10
   1752 rsml: 5
   1753 hwpf: vjgh + fhzn
   1754 dgsp: 2
   1755 rrtg: 10
   1756 pqwz: 2
   1757 wdqs: 4
   1758 mvgl: rwnb * pdfg
   1759 qrjh: 2
   1760 gvqz: 3
   1761 mnbs: 7
   1762 pnjb: fdfm + nphn
   1763 dgvp: jgcg / czmj
   1764 fbhl: 20
   1765 nzmr: jsfv * fclr
   1766 lzjv: pzpn + vbqb
   1767 gggn: 15
   1768 jzlt: zqmc + gbtn
   1769 szrz: 9
   1770 vqsn: gvjv + tnzw
   1771 ftnb: 6
   1772 pgwq: 15
   1773 nzjd: dnwb - lrhn
   1774 vlhz: 3
   1775 fscs: zljr + wbfs
   1776 bgdj: rqrd + tgvv
   1777 jchq: hbpt * pmtq
   1778 ntzf: cjfg * vdch
   1779 tzvl: 2
   1780 vgqm: ntsw + lwvz
   1781 mmwf: 2
   1782 qggt: 4
   1783 jtmz: 4
   1784 bsmn: rqwd * dwmn
   1785 qwrp: nfgh * qjqt
   1786 zfsh: 1
   1787 mrmv: 5
   1788 gfrl: 5
   1789 rzmp: tlnn * mtzf
   1790 mjfg: 2
   1791 lwtd: 8
   1792 bfqp: zbwg + wmvw
   1793 mcnf: 4
   1794 tvvn: lhdf + trrs
   1795 bwlf: 3
   1796 glqd: mdth - jnpg
   1797 vdgw: 5
   1798 hpmf: lwgg * vfzf
   1799 wllz: pdfv * qgzj
   1800 wcsd: trzs + plvb
   1801 pmcd: 3
   1802 lhdf: 3
   1803 vbzn: rjdp * plqs
   1804 tzpf: pwsz * fhcr
   1805 llst: bnfz * rbtw
   1806 wdnj: 4
   1807 wcsf: 5
   1808 hqcs: 3
   1809 hgcd: 2
   1810 wjpz: 15
   1811 jbbb: 15
   1812 vfct: sgcm * vrbp
   1813 sgbq: dgdc + gbdl
   1814 pwsz: wsgm * cjhp
   1815 cvfc: trjv * jdvg
   1816 sscc: vjhw * jnbd
   1817 dgtn: 3
   1818 lqld: 3
   1819 vtvm: 12
   1820 whlm: jbpn * zmdd
   1821 njgp: zwvq + hmch
   1822 lwrb: btsq * stmj
   1823 rqnr: 16
   1824 rbjq: sjzs / pfdq
   1825 hrrf: 1
   1826 vwzp: 3
   1827 ggjl: 4
   1828 dcff: 4
   1829 zpvp: vczp * vfnb
   1830 dpbh: qcjv * pfgh
   1831 zvfs: 2
   1832 qjss: 13
   1833 qgtp: jbdr * nmch
   1834 zphc: sjrm * dgsp
   1835 mwjv: 3
   1836 fftv: 3
   1837 lwdq: rlzb + rgvt
   1838 wvgd: jfbb * spbt
   1839 cszr: 11
   1840 wjst: 2
   1841 jsrh: bqpt + bpcc
   1842 ncsb: snpw * ddtq
   1843 ldbw: wdvz + bgrw
   1844 pnwl: hpbf + qdqg
   1845 bgds: 3
   1846 qdlp: dnpb / lhht
   1847 bqws: swdz + brtt
   1848 zbfn: dmhs * tjdc
   1849 hdng: hztd * jvlw
   1850 mfdb: rrtg * nbvp
   1851 mjvw: tcvt * sfmz
   1852 rfgp: hmqd + gcql
   1853 rqwd: 4
   1854 qwhb: tzvl * gnwz
   1855 cbnf: drbn * jlzq
   1856 rzzt: zpbz / bmzl
   1857 gbgn: jptg * whnz
   1858 fmvr: 4
   1859 ldvf: 8
   1860 fhnq: 10
   1861 wrtv: 2
   1862 rmcs: 2
   1863 jbzq: 3
   1864 fbjr: vwzp * ctdw
   1865 jwgq: jchq * mvff
   1866 hgtt: 1
   1867 lcvc: mnbl * tsnd
   1868 nfdg: rfmg * tcvr
   1869 gbtn: 5
   1870 crnw: 3
   1871 bdrq: jlcj + jsrh
   1872 rzbf: fmdn - wwjd
   1873 ncvv: 1
   1874 qdjp: zlcl + bpdt
   1875 hwps: 3
   1876 scfr: lslc * qjjq
   1877 rqcr: nbbp * bnrh
   1878 fpmv: 3
   1879 sfmb: 9
   1880 mwfh: pqtc + pwjm
   1881 mbfl: cbps + pzzz
   1882 mtpc: 8
   1883 hrrc: 4
   1884 fhgp: 2
   1885 bhnt: gcnf + nstb
   1886 jnnz: 2
   1887 cmmm: 3
   1888 vhnq: jppg * glgr
   1889 njmf: 11
   1890 djdl: jqrr + rwcf
   1891 gwqc: cbnf + sqhc
   1892 vvgg: bfbf * gttc
   1893 mzrn: rqlw / ddrh
   1894 hdwd: prrc * psdw
   1895 hgmr: zrnq * fhgp
   1896 sjsb: wqpd * blhf
   1897 hmwb: 2
   1898 mrfp: btsz + jwgq
   1899 scjg: 13
   1900 ttmb: wbwf * gcsd
   1901 nvzj: jwdc * lzgq