aoc

My solutions for the Advent of Code
git clone https://git.tronto.net/aoc
Download | Log | Files | Refs | README

input (26471B)


      1 vbrb: chdt * bjwg
      2 fjbm: jwfq * rghb
      3 pqdf: sthb + lfsh
      4 mcpm: 13
      5 wgvm: 8
      6 ljtb: lhfz + swzh
      7 qbgq: wbtc * gvpc
      8 lmhg: bdms * mlnv
      9 nlfm: hfvj - snpz
     10 blfg: zsmt - qbvp
     11 vmdh: wttr + whjh
     12 dtnd: 3
     13 svmj: 2
     14 jctp: lbtn * qwsb
     15 gzwp: 12
     16 ngzm: 5
     17 bcsc: hrvn + jncv
     18 tdmr: 4
     19 lcls: rrbm * glgc
     20 hjzm: vdpq * scgm
     21 vwrp: 1
     22 wwtw: bjwc * sfvn
     23 lzzh: 5
     24 bjwc: qscl + qbbp
     25 rqfs: bqsl * dptf
     26 pmcg: spjd * frjb
     27 bmgr: 1
     28 qdpn: frpm * dlbd
     29 rhtp: 9
     30 qnhh: cwlj * rmsn
     31 qfwr: 2
     32 zscw: 3
     33 dwsr: dfmp - nvdj
     34 wpmz: wmzt + fgbg
     35 gglg: 5
     36 vdsh: nltw + whlp
     37 mdvl: 2
     38 qlrn: 4
     39 qgfr: rnsj / qncv
     40 twsd: zwzd * rqtc
     41 phwf: 9
     42 wbsd: bmvp + shwc
     43 hrvf: 3
     44 lrcz: 5
     45 zbnm: wtrw * hzcc
     46 qrjs: rjbz + tvzh
     47 mhmv: 5
     48 pjbd: 4
     49 hmtl: 3
     50 ghpf: rdgh * gfdr
     51 fjvq: rglj * rpsf
     52 jncv: hwrh * frqm
     53 qmwj: 4
     54 jlwr: 3
     55 bwjf: 2
     56 jbvp: 5
     57 dwsb: cbmq + frmc
     58 mhzp: 19
     59 ncsr: 3
     60 pbcg: bbmn * qrvw
     61 zpbj: rsrl + znqq
     62 qbvp: 3
     63 rjbz: dqcj * qqbd
     64 hslf: 3
     65 zjdf: ndjb * jqqh
     66 tvgm: lpwt * hhjr
     67 drjh: 2
     68 rqvn: jsjg + zvhj
     69 tfds: 3
     70 wtzb: prqq + ptrm
     71 cpqd: qlwc * hnsd
     72 jsgt: vnzw * bncf
     73 smbr: 6
     74 zqsc: hwgd * fzbq
     75 wwdv: 2
     76 crrg: mzwv - bdgc
     77 hrvn: tzgt * pswg
     78 mcdt: fmlp * zhpm
     79 bmrl: gwqj * pztj
     80 tgsc: nltt * mmbs
     81 mdjf: 4
     82 nwcb: 1
     83 qhzc: 3
     84 qgsn: 3
     85 fvsw: ndln + clbh
     86 pvwp: 3
     87 frsf: fslb - bnsh
     88 ftqs: 5
     89 mzjc: ndlv + dwsb
     90 hqhv: vdsh * pdnv
     91 rqjp: bhfs * qbjv
     92 mdpt: plgj + cjmw
     93 sgqb: 2
     94 vsgd: fhcm + nmnd
     95 jgsj: nfdt * lfjp
     96 jzrp: 2
     97 fmlp: 3
     98 gdhf: 5
     99 nwlt: qmqw * fdps
    100 wqjh: 2
    101 bcwb: dlrt + bhmj
    102 qblm: 3
    103 mbtq: 2
    104 wcgd: 17
    105 nwvl: 10
    106 pcdc: 2
    107 smrd: 4
    108 qvww: sgnf * hjrh
    109 qvhr: phjh * pjdp
    110 qrvw: cqsh + rhtg
    111 lqwj: 2
    112 snpz: fszc + fdhr
    113 hdrv: 2
    114 wmnp: 2
    115 fcgr: 2
    116 ljqd: 2
    117 ddsn: 5
    118 wlph: gsbv * scpf
    119 nfbj: rqfs * tdhp
    120 ztzh: mmrg * dmgg
    121 hltt: 2
    122 tztg: 4
    123 jvnc: 3
    124 htjt: jtfh / tztg
    125 vlzg: dqcg * cfdq
    126 zrsj: 3
    127 blrh: 5
    128 gsnm: dcgs * gjns
    129 fzzf: 9
    130 gfdr: wntj + cdpw
    131 tddv: rbpz * tclc
    132 gpnj: zfqd * gnwp
    133 prqq: jddp + qtdr
    134 rtdc: 7
    135 ftpp: 11
    136 bfgt: ptgv * dfdm
    137 rdgh: 2
    138 sbmf: 3
    139 mfpj: 2
    140 bmhj: mmnm * pphg
    141 mzmv: 4
    142 jrst: tjgd - mphq
    143 vbtl: cgtc * jnvg
    144 qrph: bdft * sttt
    145 chhc: 2
    146 clng: vlzg + nrgj
    147 gbst: jpbv * zrjs
    148 mwfs: dmsm * hpcm
    149 mglh: 2
    150 bplp: 2
    151 fdhr: 4
    152 fgdm: vlfd + qdcf
    153 cjht: qtzt + rvgq
    154 gpfn: mqvd / srpg
    155 qflz: wghm - mpqf
    156 nqdj: wsmm / wghp
    157 cslr: 2
    158 jhhw: tfqg / pmws
    159 gmrs: dgpn * tczr
    160 vzph: ftlc * smzf
    161 gfcl: hvjm * gzjb
    162 lghg: 3
    163 vjpt: 5
    164 ttjf: 3
    165 cfdq: qsdr + cwlr
    166 cnts: 19
    167 nlgl: 3
    168 rpsf: mtmg + bhld
    169 mznz: clqz * nhwz
    170 hvgl: qllb * qwrw
    171 smgz: 4
    172 dvbw: psfb + bdcr
    173 svzr: hnbd * gndz
    174 jrsd: gnsq + dmzs
    175 sdrp: qcmm + nlcz
    176 rjhc: fjdn + jdmz
    177 whjp: 4
    178 flhz: rgcf * jzrp
    179 rwzh: 5
    180 vfjj: 17
    181 gjtl: tzsr + tdtv
    182 qmbl: 3
    183 pwvj: pvwp * nbcd
    184 fngw: 11
    185 jqhc: 4
    186 lscz: 3
    187 fcsq: cvfs * rqqq
    188 nnjz: wnrn / blwc
    189 glfs: 5
    190 nvpw: nfjt * bsql
    191 jmfw: 5
    192 qrsw: gpfn + ghpf
    193 hzbg: 2
    194 wdfq: tqtd + pzjh
    195 cggn: 7
    196 fpdq: lsht + vmlb
    197 pwsd: 2
    198 rhlp: vvgm + ngzm
    199 pzjl: 7
    200 nbcd: 7
    201 bzch: 5
    202 cvbp: 7
    203 qgql: 5
    204 wwsq: dhzp / bhrr
    205 zwnq: 2
    206 jbwh: 11
    207 tdcp: 3
    208 zcfn: 10
    209 fwwz: 5
    210 grfb: lgvj * bclh
    211 dsqn: prdr - mzhs
    212 fpgn: lbfv + qhbr
    213 cwwt: 2
    214 lqmv: nsnt + vtps
    215 djjr: 3
    216 vvgm: 6
    217 jgzw: lcvv / djzm
    218 bznq: 9
    219 nlwj: 6
    220 nzvc: 7
    221 nrjd: 5
    222 mnff: 2
    223 nstp: 5
    224 sbcc: 9
    225 tnpf: nbdd * vbhz
    226 zwtt: 2
    227 jwmj: 11
    228 njsr: 20
    229 phjh: 5
    230 szrn: bgqj / mbtq
    231 ccvw: rthp * bnbv
    232 whjh: 3
    233 fzsw: bgct * vbrb
    234 lhfz: 3
    235 rsqz: mmtl + mhnl
    236 gphw: pbfr + lcrw
    237 qmqn: ggst / lfzg
    238 mmln: nqrc + sjhq
    239 frjb: ctff + cjzh
    240 sqbd: wbdl + cncc
    241 mjtn: hzwf + wrzp
    242 zwtw: 2
    243 rjrt: 2
    244 wrwb: 4
    245 gwrr: 8
    246 zwnj: zdsn * zvsw
    247 pmqq: 3
    248 jzlf: 7
    249 vvpn: fvsw + dzgp
    250 gbjm: jcnw / lzwb
    251 mwwv: 2
    252 ftsp: 4
    253 ftgc: 5
    254 hgsf: splb * cvpd
    255 cdjr: 4
    256 btrz: 3
    257 hnsd: rjqm + stmg
    258 lhsz: fsqj + mznz
    259 jpgr: thpr / ltln
    260 zqnr: 5
    261 qzsj: nlwj + mglq
    262 nsrt: bhqg * ldtb
    263 brnc: bspd * gnnd
    264 llcs: fbjj - ffrb
    265 pdpr: gzzw * rjhg
    266 lcnf: 5
    267 gndz: 15
    268 zmmn: jspj * bdhm
    269 plft: 3
    270 zjlw: qdjp * qnhm
    271 lhhv: rhzv * hmtp
    272 jhrj: 5
    273 fdzt: glfh + zcfn
    274 gmvj: frtc + gmnn
    275 wnqs: sqsf + gbdt
    276 qdnw: 14
    277 vbmj: nrmn * bgtp
    278 ptnw: 2
    279 zlhb: 5
    280 rsbn: 5
    281 qhbr: 20
    282 qnhm: 2
    283 gghs: lbjd + mrtm
    284 nblh: 5
    285 vmmr: 3
    286 qscg: wqjh * bcwb
    287 rlbs: vqwj * qnhp
    288 bncf: 4
    289 ttfm: 18
    290 tqbs: 2
    291 nlzh: wpmz + hwvj
    292 bvbm: 17
    293 lcvv: pqqr * szfn
    294 smnb: jmvt * vtsq
    295 mwqj: 3
    296 dwcs: 3
    297 nvrt: wbjs + zmgg
    298 dlbd: rjzn + tlpl
    299 dgvj: sqcf * dctd
    300 vplt: swcp * ssdb
    301 dbhd: pqcq * jbww
    302 hpfg: brwb * dtnd
    303 cbws: 3
    304 lsht: gnsp * dvrw
    305 lqdt: dsqn / cspc
    306 nqqh: gzcc - fzww
    307 tlwf: 2
    308 vpgs: 1
    309 tqjf: 4
    310 hwfn: gwwp + lvjt
    311 hszm: pqgm + bgfc
    312 hdcc: gghs + wpsm
    313 hwch: 5
    314 mlvt: 6
    315 nfjt: 3
    316 ccsf: 14
    317 nblb: 5
    318 gbtr: phtb * nqqf
    319 qscw: 2
    320 cszf: 6
    321 rvjb: 3
    322 smhp: 2
    323 btgr: rszj + pldr
    324 jrbm: trhv / wprj
    325 vdpq: 6
    326 cbvz: 3
    327 qfmp: 9
    328 qnmq: 4
    329 lvrf: ptsq + hvdh
    330 stlz: 7
    331 lptg: 2
    332 wrgg: 2
    333 nwwl: 7
    334 ccfq: lzsq - vbdm
    335 sspj: 11
    336 wzwg: 3
    337 frfb: 3
    338 pfpj: tddv + gvhp
    339 zzdg: 4
    340 dzjn: pnnb + ndbv
    341 ltpc: 5
    342 htwc: 2
    343 mpbf: 2
    344 ntvh: 5
    345 bwsg: 4
    346 zbps: 14
    347 nltt: hdrv + mzsv
    348 cnvw: 2
    349 fqmj: 2
    350 psfb: hzbg * mhsf
    351 wsmr: 2
    352 njvh: 11
    353 bpnp: tqbs * bwsg
    354 slfj: zcnl * fwwz
    355 blsh: 2
    356 dfdm: hvgl + hphc
    357 cncs: tfds + gvbd
    358 jzrs: hgsf + wgsd
    359 ndbv: mhsj * npjp
    360 tbzm: bnwt * fbgq
    361 wjzg: dqtw + fgsj
    362 bbmc: jmfw + bhtp
    363 drjd: qvzd * bfts
    364 bnqh: 4
    365 bfbp: 6
    366 frcr: cvbw + qqgf
    367 cfsc: drgr * mvsc
    368 mmcv: 2
    369 rlvj: dhdm + lhhv
    370 qvdf: 6
    371 vjfd: 2
    372 wlzb: pslg * qjwm
    373 ngpn: cbpz / fcgr
    374 lchm: 3
    375 ttjh: 3
    376 bjwg: mfcf + vvpn
    377 hhtw: htwc * hrsh
    378 rqdj: fmqd + mztg
    379 dnft: vqnj / fcnc
    380 dnsq: 2
    381 mlnv: 8
    382 bqdc: cvbp + ltzz
    383 pfww: sjww + fsnd
    384 vvhp: 19
    385 qjwm: 3
    386 zltt: 2
    387 srpg: 2
    388 cnrp: fwzr + qmhg
    389 thpr: ztls * ptmg
    390 qlwc: 2
    391 gmnn: wmmb * ntvz
    392 wghp: 2
    393 bnwt: 2
    394 mztg: smnb + jtdr
    395 ljzb: 11
    396 ttjw: clfn * mhjt
    397 psvd: zjdf + fhnr
    398 nmgh: 5
    399 gcnb: dsrj - hzdw
    400 rrgq: 5
    401 rjhg: hplr - zphz
    402 plgj: ttls * tdmd
    403 fbzt: hqwv + rllf
    404 wgtw: 2
    405 vnrn: srbg * sqbd
    406 hcnq: qvww * pdww
    407 tqdb: dcqq - nwcb
    408 znmv: 6
    409 bvvf: 2
    410 gchm: 14
    411 nsrp: fpdq * wrjb
    412 zfcb: wbpf + slfj
    413 cbnl: mddl + qfsd
    414 rlmf: 13
    415 nfsp: fgpn + tbbp
    416 fdgc: 11
    417 zwzd: gsvf + mnml
    418 jngd: dflt * zcgs
    419 tdch: 6
    420 qfrn: 3
    421 dwnc: jphm * htdw
    422 vlfd: vfzq * pvwd
    423 gfwh: 2
    424 fbdd: 19
    425 jfbz: 5
    426 gfwl: dtqd + lgrv
    427 cbcl: 2
    428 bcqp: qrtj + mtqj
    429 dmvb: wnth + wgtw
    430 bwsw: mmln * gmnp
    431 hhmc: lzqs - tmlw
    432 bnsm: 4
    433 rzvm: 7
    434 zctj: qgsn * qstr
    435 gdqd: clnq / vfwc
    436 hzdb: 5
    437 wbpf: bgzz + hjzm
    438 hrwf: 5
    439 ptsq: nbqf + mblc
    440 bwdz: 1
    441 cbhp: 5
    442 sgtr: bgpt + fgfh
    443 rgcf: cmzt - zwtv
    444 znls: crlb + rfqj
    445 djzm: 2
    446 rcdb: 1
    447 scpf: 11
    448 bdgc: 1
    449 jnct: 5
    450 hplr: hbmb / pqrw
    451 dprz: 11
    452 pnnz: 4
    453 brvt: svzr + qtbt
    454 gchp: 1
    455 pmnh: gscv * cmqc
    456 mlrh: fjct * zgrh
    457 qfnj: 13
    458 vfrz: 10
    459 qrmb: 3
    460 lcmn: mdzq * fpzc
    461 mprz: dtbr + rrgq
    462 fpqf: 2
    463 tbnm: 4
    464 dbgr: lcmn + dnjz
    465 wntj: dwcs * dnft
    466 rhgc: 2
    467 bzhw: sgll * nbgz
    468 dgpn: 4
    469 qjzh: mllc / wjdv
    470 vmmf: qmqn - qdpn
    471 bjzp: swvv - bmnl
    472 bqhr: psgm + jsdm
    473 tqqv: 2
    474 jcqs: jnps + rlbs
    475 jbww: 3
    476 hhwc: pbgp * rtnj
    477 dmsm: pqdf / pgpd
    478 gczb: gchw - bqnb
    479 hmww: 5
    480 dqnb: 18
    481 chgf: cpgb / cczr
    482 zmvl: 7
    483 rwbs: fcff + mjqv
    484 dprj: 3
    485 dsjw: 2
    486 qmpn: humn - twsd
    487 dhvg: 6
    488 fgmg: jbtg * qfwr
    489 chqt: mtss * gtnj
    490 clbh: lcnm * dbhd
    491 gdbh: 18
    492 sqcf: 2
    493 bbzc: 3
    494 dhdm: 1
    495 qwpv: htjt + qrph
    496 qbzs: thjq + mzbj
    497 nglc: srbp - tbzd
    498 brfg: 5
    499 mlst: lbsv * qjsc
    500 vqsq: 3
    501 cfmz: vmgd + lqmv
    502 plhz: sbjb + qvdf
    503 ddgf: 3
    504 bhjp: 2
    505 wlwg: 4
    506 hjrj: 4
    507 cbgr: zstg * ffjj
    508 rzrj: mcdt - fzzf
    509 trfc: 1
    510 nbcg: 2
    511 zrzq: wgvm * ttdj
    512 vslc: zbnd / zqfr
    513 fppw: bjrg * qrjs
    514 ghqj: mzjc + sjjh
    515 bjrg: dfcm / ftsp
    516 fpdn: 2
    517 fnll: cfsc - hpfg
    518 fcnc: 4
    519 hmtp: 3
    520 zsjj: 9
    521 cwlj: 3
    522 dtbr: bztm * qtlg
    523 vmrb: mmtb * cgwr
    524 lmmc: qmzf * hqlp
    525 drfp: 3
    526 nfdt: swnq + gmrn
    527 qzft: 17
    528 hfvj: vwzt * rswp
    529 rcsz: sphh * mglh
    530 bmnl: bsjp + mhgl
    531 qstr: 2
    532 rllf: htsm * wmwj
    533 hwvj: 6
    534 wvtb: lvqw + rbrt
    535 mllc: bcql - zwnj
    536 frpm: zbps + qpwd
    537 bhvq: 4
    538 mwmc: 2
    539 zwtv: 8
    540 rglj: 3
    541 bwhj: jvbr * dmwm
    542 gztn: 1
    543 nbdd: rnpz + zdvz
    544 pmws: 2
    545 jtnj: 3
    546 zgds: 10
    547 vbww: 2
    548 rmqg: fdjc * bwsw
    549 hfhj: mjsz + rhwv
    550 frnq: 9
    551 wmmb: 2
    552 tsvc: 9
    553 swvv: drjh * hsbq
    554 sthb: tzhb + trrt
    555 rhgr: 1
    556 mpfn: jpgr + czzc
    557 rtgs: 5
    558 gsbv: 5
    559 cgwr: 5
    560 lvmd: 3
    561 nfrw: cszf + vzht
    562 vtsq: hlhf / zjtg
    563 ngzw: 2
    564 mhmm: 9
    565 lhzt: 6
    566 lnnq: 8
    567 mjpv: pvds * wnvh
    568 hzwf: zmrl * wlwg
    569 pqwb: 4
    570 qrzf: wlzb + ccgs
    571 bcns: 1
    572 tbsw: vcnz + tvgm
    573 fhzl: pcmj * lghd
    574 vmbr: qmbt + vtwd
    575 gmrn: ttfm + lltd
    576 mdzq: 2
    577 qfll: 9
    578 jbtg: 13
    579 ccgs: 11
    580 mcnw: rpzm * tgsg
    581 rrwt: qzqs + qfmp
    582 stwh: 8
    583 zdqq: tglb * nscl
    584 tftw: gchm + qzft
    585 cjtm: 1
    586 fvdb: rqsp + jjnc
    587 bbbj: 4
    588 hsbq: lvvl - jflw
    589 zbdc: lnrw + zflr
    590 dnzl: 3
    591 gnjj: 2
    592 ffmh: 3
    593 hvhf: 2
    594 fmqd: 19
    595 jttj: jlwr * psgc
    596 bcwh: dcff + rqjp
    597 jlfc: bnfv - dbhw
    598 dzgp: 18
    599 fszb: 2
    600 rllv: zwbb * dbth
    601 prdr: vjnb + fdcc
    602 jrvp: mwzr + mhmm
    603 gtbc: dcrr * tmww
    604 nvvd: 4
    605 mbtd: 6
    606 ctff: 2
    607 ddwp: 3
    608 hnbd: 3
    609 mtms: qgmw + cjgj
    610 nnjb: 4
    611 bsvj: cnts - pwsd
    612 lfjp: 2
    613 hjjh: qscg / fdnm
    614 mtnb: zgzd * rwqm
    615 dlrt: qblm * jzlf
    616 vtps: mjnn + bzhw
    617 fldd: jqbv + rcql
    618 pfsh: vhcm * frfb
    619 lljh: 4
    620 wpsm: ctgv + lthh
    621 lqrz: blsh * qrmb
    622 blhf: djjr * bhwl
    623 glzq: 5
    624 nsnt: ggsf - mdpt
    625 ndjb: 8
    626 hjcq: tmng * nprw
    627 zflr: mjwn + rrdz
    628 jmtd: 3
    629 bhld: 13
    630 dsnm: 2
    631 hvdh: 3
    632 fcff: 8
    633 qdws: fgdm - fmlr
    634 nqrc: 5
    635 bcql: whcs / lqpp
    636 fvpn: tdcp + vrhl
    637 gnwd: 1
    638 hcfz: jnct * ntln
    639 jtdc: rncr + wgll
    640 fjbn: pwfg + vrfc
    641 scgm: 3
    642 tfqg: fznl * zczg
    643 dtnp: 13
    644 mlfw: lbrq * tvtf
    645 mtss: 4
    646 mjqv: 5
    647 zrjs: 4
    648 gzsm: hnwr * bpws
    649 whmv: psvd * qqrd
    650 tmhm: gtvn * cswd
    651 qpjt: chgf * cvmp
    652 qvqs: 4
    653 bjcf: 2
    654 wgsd: 8
    655 tdmd: 4
    656 dptf: 2
    657 pqpw: 3
    658 lhcv: ntdq + fbfm
    659 rjqn: 3
    660 vdtc: 3
    661 tzsr: svmj * qflz
    662 nmgf: 3
    663 jqbv: tlsb / sdgp
    664 pnnb: hdwd * wqvr
    665 frms: 2
    666 cdwd: 2
    667 jdpn: nmhr / snzf
    668 jphw: 2
    669 wgjw: 4
    670 cnsm: 4
    671 cgtc: 2
    672 cvbw: pcnd + vslc
    673 cjgj: djdz - szjs
    674 zqfr: 2
    675 mcfb: 13
    676 nbqf: gpnj - bvbm
    677 fgsj: nnjb * zjjw
    678 rqjh: rnbh * lstr
    679 slzr: qrsw + mwfs
    680 hwrh: 4
    681 fnrn: hjcq * wvsd
    682 thvj: bnsm + cwpb
    683 tmvt: 6
    684 jssj: cqfw * cdfs
    685 cmqc: 2
    686 zczg: sgdg + wnsr
    687 tdtz: 3
    688 nvtp: vbtl * zrqs
    689 vlww: 2
    690 wgll: 2
    691 twdw: lddq - tzqg
    692 dcmw: 2
    693 ztfs: pcgf + qpjj
    694 ztls: lsfn * jfnf
    695 htnc: cqld - vnms
    696 dqtw: rccb - fptp
    697 vbhz: zrhg * vmbr
    698 bdhm: 5
    699 gbwq: 2
    700 wvmt: rvjb * jrst
    701 dmdn: jlwf * tngp
    702 rfqj: vqsq * mwqj
    703 fznb: 3
    704 gqwg: 8
    705 jcsg: hrvf * cbws
    706 jdmz: wvtb * rzvm
    707 qmbt: 5
    708 fbrv: ztfs + crrg
    709 tvhf: chrm * clng
    710 wmhs: 3
    711 tvjr: nzqn * ppzv
    712 pdww: vzjg + djhf
    713 vdsq: 5
    714 ljnh: 4
    715 bztt: 1
    716 flrt: fslr * lcgf
    717 vhcm: cqrc * bdsb
    718 cmzt: rrch + cqbl
    719 jmvt: 2
    720 qsdr: llvs * gdqm
    721 pjdp: nrjd * pntq
    722 rqqq: 3
    723 vsnc: hqcb * jjhv
    724 mhjb: 2
    725 vhnm: 3
    726 sddr: hlbq * qvqd
    727 qvpp: phwf + fjdl
    728 sdgp: 5
    729 tssr: 5
    730 btmc: qpbn * zwrz
    731 fdjc: cqhs - gchp
    732 bvhl: mbgm * lvdm
    733 cjvf: 4
    734 wmfl: bzmm * dqcq
    735 mgqb: 5
    736 cpgb: rnnf * gtbc
    737 rwgh: gbld + bpcd
    738 qllb: jqsj * dpdw
    739 stht: 2
    740 spvw: sbmf * chgz
    741 fbfm: dvbw * zmvl
    742 cqld: rwtt * rfmr
    743 rrfr: 1
    744 htdw: hgmc / pzjl
    745 lvqw: 3
    746 tvms: jrbc * vqnp
    747 pppn: 3
    748 whzm: 2
    749 hwfz: zctj + vwrp
    750 nzqn: fcbr * wrwb
    751 jhrd: 2
    752 vjqg: 2
    753 gnnd: 2
    754 smcs: nhnm + hzdb
    755 pcgf: 10
    756 ngzt: vzcf * cnvw
    757 pvbp: rbhl * qsmf
    758 zftm: mlpj + jcsg
    759 vrjv: ccvq * rtmc
    760 pfhl: bsvj + rgjw
    761 plzw: 5
    762 nhpj: gsvq + dtnp
    763 rwff: 3
    764 tngp: 5
    765 qpvz: 1
    766 cbmq: vlfl * cbvz
    767 qncm: 5
    768 fcbz: trrr * cdnj
    769 blvm: wmpz + lvgp
    770 gdvv: cdjr * vnhg
    771 qqmp: dqlz + bqvw
    772 zdbr: vfrz + bznq
    773 jjnc: 4
    774 sjww: lddw * ddgf
    775 jjhv: hcdb / rbgd
    776 lwnt: 5
    777 sjvz: zfpq + stzq
    778 lsvn: jgzw * pjbr
    779 csfc: wmfl * dfbg
    780 jdpd: 16
    781 bbdr: 2
    782 fcbr: 4
    783 ptmg: ssnj * pmtp
    784 rfmr: 4
    785 szwb: 7
    786 wbdl: ddtn / tshm
    787 smzf: wdzb + ttjw
    788 ntcq: hcnq / mpbg
    789 dsrj: jrwv * mmcj
    790 stwg: fflp * rblw
    791 sjmp: 3
    792 wbbq: qmjd * prrt
    793 zscz: 2
    794 ppzv: jlmn / cjpr
    795 slfw: 1
    796 dfvf: gdqd * gtfw
    797 vdsf: rvjh * htzf
    798 zhzd: fpdd + rtdc
    799 pmtp: 7
    800 gqtg: 6
    801 vmmc: lscz + zsdz
    802 vhtj: 3
    803 vjlf: nwwl + cbnl
    804 wnvg: 10
    805 rfzh: dmdn + gwrz
    806 qpbb: 2
    807 wmwj: 16
    808 mwgh: jhhw * rdfn
    809 qpbn: 2
    810 swnq: qwpv / hgbw
    811 bdtq: 4
    812 gbld: 12
    813 bmwp: 7
    814 hpcm: 2
    815 pzrg: mcnw / hpgr
    816 sjbl: rzrj - rnrs
    817 csch: 5
    818 wttr: 18
    819 hplm: 3
    820 qnnf: dhvg * vdqb
    821 lcgf: gdhf + zgds
    822 qhwg: 4
    823 dqcg: 3
    824 dmwr: ngvv * mhmv
    825 btcb: 5
    826 qscl: qfjs * mnss
    827 fsbj: pqsm + gljn
    828 lstr: zscw + mrds
    829 gzzw: 2
    830 wmzt: phbv + crgl
    831 dhhn: sddn * ljnh
    832 vqnj: nzvc + jnfm
    833 gvbd: 4
    834 llvs: 2
    835 cfbc: 5
    836 qwsb: 11
    837 bslc: bpnp + flms
    838 lvdm: 10
    839 lbtn: 2
    840 frmc: jcpw - trfc
    841 dpdw: nhnc * wqtt
    842 gjcw: 3
    843 whlp: fgmg + pwvj
    844 qlnm: lsls * qcqq
    845 zcgs: 2
    846 rvgq: 4
    847 lddw: cbnb * ptnw
    848 wqtt: 3
    849 vvlv: 1
    850 mhjt: 5
    851 dflt: zjbv * tzjz
    852 rwtt: 9
    853 ddlb: npcw + lchm
    854 vqnp: 2
    855 sbvw: pqsz + jllj
    856 jhsh: vzph * lvsf
    857 mchc: hbrj + fvdb
    858 hwgd: 4
    859 tlvn: 4
    860 mhzd: nsch * vmmr
    861 rpzn: 9
    862 zgrv: wnbq + jrsd
    863 wbtc: fvjb * nrsc
    864 rcql: wlbf - nsrt
    865 qlcw: 3
    866 rbrt: 4
    867 ncsw: 8
    868 hwqq: 5
    869 fdnm: 2
    870 sczc: 2
    871 htzf: 2
    872 lvrh: vmdn * wlbc
    873 spwr: 2
    874 jwdm: 2
    875 pfhn: bbbj * fhzl
    876 zgpc: cncs * btrz
    877 qncv: 5
    878 pzgf: 3
    879 lvbs: hlbb + fpns
    880 bgqj: sdrp * mdvl
    881 nqpj: bplz * cnrp
    882 lvgp: ftqs * rjrt
    883 crgl: glfs * zdlc
    884 vjmp: 5
    885 rmms: fnll - sdhs
    886 qtbt: fpdn * dswc
    887 tclc: 11
    888 qpwd: jrrp + tvsq
    889 tlpl: qnnf / hgnb
    890 vtvf: 2
    891 jzvg: 4
    892 wnth: 5
    893 hbrj: 12
    894 mmnm: 5
    895 zrhg: 3
    896 tbzd: zppw * mlfw
    897 nhcb: 14
    898 jzjg: 3
    899 cnlm: ccvw - jgqh
    900 lmnj: 1
    901 ghtq: dclw * hvfd
    902 fsnd: 4
    903 mfmj: 12
    904 stsm: 9
    905 jvcb: 2
    906 grrl: 2
    907 rzrp: 5
    908 pjbr: 3
    909 npbj: sbvw + sbvj
    910 npjp: 5
    911 gfmq: rcsz + njmj
    912 gsvq: 8
    913 lvvl: mpfn / rhtp
    914 dcff: 6
    915 fgfh: hwqb - dgjb
    916 cljs: vflp + cdbc
    917 fdps: 3
    918 tvgc: 3
    919 pqsz: cbhp * gzcz
    920 pvds: 2
    921 bhtp: 2
    922 sjph: 8
    923 wpwd: hdzc * rsqz
    924 crth: vvzf - smhp
    925 tcfd: rgjv + hnrs
    926 mvpm: vjps * fszs
    927 zpgq: lfqs * mbtd
    928 tmng: 20
    929 czdb: 4
    930 hqlp: 3
    931 tdbs: hhhj + cjws
    932 swcp: 3
    933 fdmv: pwqp * hwqq
    934 tzgt: 3
    935 sfqb: 1
    936 ltln: 5
    937 wnvh: jfqn * zllr
    938 jzmw: wbbq + nqpj
    939 chrm: 5
    940 mwbc: jrld * ldql
    941 fldv: vfct + tggr
    942 wdnh: dzhl * gbrf
    943 zsdz: qrwt * bplp
    944 rmsn: rmqg - nqdj
    945 dsjc: lcwv * zpgg
    946 bhmj: sdwc * hthn
    947 fbgq: zqnr * fdgc
    948 zqfb: qscw * jfbz
    949 hphc: vjmp * ffld
    950 tmwt: 5
    951 nvbj: 9
    952 fvjb: 7
    953 qpjj: nhpj * bssf
    954 szwq: dhmn * qgql
    955 jgwc: ghcp / bpjn
    956 prdz: jtdc * jlfc
    957 jjmb: 17
    958 fjtw: 2
    959 plsg: 3
    960 tgqf: 8
    961 bljd: 8
    962 gdqm: 5
    963 tsvl: vdsg * ngms
    964 qsbv: ffjd * vfrl
    965 rpzm: 3
    966 qdjp: 13
    967 mqvd: snlq * dqjd
    968 hlbb: jwdm * ldtd
    969 gdzr: jrbm + rctq
    970 fmlr: 5
    971 fdbv: 3
    972 cncc: 20
    973 vtwn: 9
    974 qmqw: ndwj + gwrr
    975 zvhw: zczv * lpfl
    976 fqhj: lhsz * jbrr
    977 cdbc: mrjw * sncr
    978 vzcf: 4
    979 bvsp: 3
    980 mhgl: vdnb * plzw
    981 qdcf: vvhp + dqnb
    982 stmg: bgvt * gzjm
    983 tggr: fvpn * fsvd
    984 lwdt: vrjv + rmsl
    985 qmvj: wwsq + phtm
    986 nmhr: hlsp + pplj
    987 qmdh: 3
    988 zhmz: bncj * bslc
    989 bgtt: qsbv / fdcm
    990 wqnm: brnc / njrw
    991 shwc: lmhg + dwnc
    992 gljn: nzlb * rwnd
    993 gwbf: jphw * dsmm
    994 lccq: 9
    995 mvsc: cjtm + flhz
    996 dqlz: 2
    997 tczr: 2
    998 jnps: 3
    999 vprt: rhfb * cggn
   1000 dbbw: 3
   1001 nhnc: 8
   1002 ztdf: 2
   1003 nlcz: pfww + pvnb
   1004 vrhl: 4
   1005 ctgv: 2
   1006 lszf: zwnq * dsmb
   1007 drfh: dzjn * qlbh
   1008 mqgn: 16
   1009 zppw: 2
   1010 wgnl: qfll * qfnj
   1011 sbvj: qzsj + hhwc
   1012 jftb: 4
   1013 ntlq: 12
   1014 thjq: fbzt * sgcq
   1015 zwbb: 3
   1016 fslb: rpdc * tmcs
   1017 vvvc: hcfz + tzgw
   1018 mjwn: ldlw - gfwl
   1019 jnfm: jhrj + bgmg
   1020 tmcs: 2
   1021 szjs: 13
   1022 gwrz: 18
   1023 vcjn: 8
   1024 jfwb: cbrg * vjqg
   1025 ldtb: 12
   1026 zwmg: 5
   1027 lrcs: 3
   1028 zrqs: 2
   1029 dsvp: 3
   1030 gvpc: 2
   1031 bfts: 11
   1032 prpq: 3
   1033 fszc: lhzt + lqqc
   1034 rtmc: 12
   1035 tglb: 7
   1036 qlbh: 2
   1037 gdcc: frcr / cbcl
   1038 fptp: ttww * lzzh
   1039 dfbg: 4
   1040 cdnj: 2
   1041 dsmm: bfbp * zblh
   1042 vflp: rqdj - hmht
   1043 zlml: 2
   1044 qqrd: mqzv + nlzh
   1045 tlsb: sggt - dwgc
   1046 vjnb: tqqv * zjlw
   1047 ndns: qqbc * lrcz
   1048 hgmc: plhz * sjvz
   1049 bdft: blvm * jftb
   1050 nnwl: 5
   1051 tgpb: ztjb * ngzw
   1052 lcjj: 2
   1053 cswd: 7
   1054 vfzq: 3
   1055 tvtf: 2
   1056 jszt: zzdg * zwrj
   1057 pmjb: hnvd + fdzt
   1058 gbdw: 8
   1059 cfsf: ztzh + cstb
   1060 cltq: 2
   1061 twmc: rhgr + wgjv
   1062 tdbg: 2
   1063 gtgm: 3
   1064 mrds: 4
   1065 gvjc: 2
   1066 jphm: 3
   1067 hdwd: 2
   1068 trpw: grwq * jzcq
   1069 jrdf: 2
   1070 zsmt: 11
   1071 vwzt: 2
   1072 nbgz: 2
   1073 hfvh: 2
   1074 ttww: 3
   1075 rcbw: rrvm * dhcl
   1076 zlzr: 2
   1077 cqhs: wgjw * fngj
   1078 ztjb: vvvc * jrdf
   1079 qwrw: zbqs + nbwz
   1080 vnms: 8
   1081 cqsh: 1
   1082 fjdl: 13
   1083 humn: 909
   1084 zbnd: qqmp * vqzl
   1085 fjct: 2
   1086 rbfl: swnd + fwqb
   1087 nltw: lljh * bqnt
   1088 cvjc: pdgc - mjqq
   1089 ftdh: 3
   1090 pqwg: 10
   1091 cstb: bpcv * stht
   1092 hlbq: blfg + ddsn
   1093 ndlv: 2
   1094 hzcc: 11
   1095 ggsf: msgs * rpqb
   1096 pgzz: 2
   1097 flnw: 5
   1098 zdsn: 7
   1099 hjrh: 6
   1100 dgzf: fzsw * wgnt
   1101 mphq: 1
   1102 mjrq: vlcs * mnff
   1103 jwvv: 2
   1104 wgnt: grrl * gdvv
   1105 drvc: 5
   1106 bhdv: 3
   1107 ndln: qqfj * szwb
   1108 lcmf: cdzd + hblw
   1109 hltf: lcmf * lrcs
   1110 bczb: 2
   1111 dctd: vpgs + nwvl
   1112 ftzb: bwbq * qdnw
   1113 hnpm: pfsh / rjqn
   1114 vdsg: ccfq * cnsm
   1115 jfzt: bjcf + bqhr
   1116 ddtn: mwwv * lvrf
   1117 tfvq: 18
   1118 jspj: 5
   1119 nfjv: 4
   1120 gwqj: 15
   1121 vfvh: 2
   1122 djdz: lvrh - drjd
   1123 rjnp: dbbw * jtgl
   1124 wrjb: 5
   1125 hgdc: 3
   1126 wprj: 2
   1127 czmg: rvvw * qgbn
   1128 wsjr: zqfh * qhwg
   1129 vmgd: qmpn / qncm
   1130 vmlb: 2
   1131 cwlr: vplt * prpq
   1132 jvbr: 2
   1133 hgbw: 2
   1134 nlpg: nblh * qchf
   1135 mfcf: mzmv * zbnm
   1136 mqzv: bcns + sdhq
   1137 vzjg: rppf * vhjr
   1138 zmqf: 10
   1139 sjjh: 4
   1140 mblc: bmgr + tmvt
   1141 mglq: 13
   1142 fcwg: 3
   1143 vzht: 1
   1144 pdnv: dgzf + wwtw
   1145 bwpn: 2
   1146 vqpz: 14
   1147 qwbt: 4
   1148 vbzd: zdbm / gfcl
   1149 cfdl: drvc + slfw
   1150 gcph: 2
   1151 jcgf: tdbs / mjpv
   1152 phzw: zltt * plft
   1153 hjsl: 5
   1154 sggl: 4
   1155 ghcp: hwfn * gnjj
   1156 hvst: 3
   1157 mzhs: ftpp * pfrj
   1158 rpqb: 2
   1159 gplz: 6
   1160 pswg: 3
   1161 nmmf: prmp + hnpm
   1162 pqrw: 2
   1163 rcjh: zpdf * dprj
   1164 mddl: gmrs - zbns
   1165 grwq: tftw * hgbb
   1166 znzc: njsr * bnqh
   1167 ssdb: 3
   1168 bztm: 4
   1169 gmhb: 8
   1170 vhnl: 2
   1171 dlsv: 5
   1172 bclh: 2
   1173 hgbb: 3
   1174 fflp: 5
   1175 nlpr: znnm * tlfm
   1176 tbrs: gmdn * ttjh
   1177 vnhf: tvjr / nfjv
   1178 nbrr: 6
   1179 prmp: 4
   1180 jbrr: 3
   1181 qtzt: 3
   1182 bvwj: 7
   1183 bqjn: hmww + whcp
   1184 vqdb: 4
   1185 gvwp: bmsr + vbmj
   1186 qvzd: 2
   1187 mrjw: 5
   1188 nrgj: tbpv * vmrb
   1189 jrbc: 8
   1190 ldql: 3
   1191 rdfn: 2
   1192 dspw: 2
   1193 snzf: 2
   1194 fszs: cgvz * vflw
   1195 wtlf: dwsr - jbmb
   1196 rwqm: qdws * hchc
   1197 chgz: fcsq + hwql
   1198 dsmb: dgdw + wmnp
   1199 jrld: 3
   1200 rrst: zwmg + bljd
   1201 qhwt: bcnh - fdmv
   1202 fdcm: 3
   1203 lbjd: nvbj + gbtr
   1204 wqfs: 5
   1205 tdjn: 3
   1206 rbcz: pjgc / llcs
   1207 bnfv: rqdl / zlzr
   1208 hpvh: 9
   1209 zgrh: 3
   1210 qqbd: 3
   1211 lbtt: 14
   1212 mpqf: 1
   1213 dmgg: 5
   1214 wlbc: 4
   1215 sdhs: mcnt * bqnh
   1216 sfvn: rrwt * gvmt
   1217 fngj: 2
   1218 pntq: dlsd + bdtq
   1219 jtfh: pmnh * sldv
   1220 pqqr: 2
   1221 fznl: 2
   1222 gvfh: fbdd + gbst
   1223 tdtv: vjpt * vnrn
   1224 cnzs: 3
   1225 fvcs: 7
   1226 bbmn: zbdc + grts
   1227 jwqm: 7
   1228 wsmm: rblh / sqds
   1229 wrtj: rnwc * djpf
   1230 gscv: sgcg + vpmt
   1231 pcjv: 2
   1232 vrnp: bqjn + sthl
   1233 sllv: 4
   1234 dqcq: 3
   1235 bbmr: 3
   1236 pjzg: 4
   1237 jnvg: gztn + tbrs
   1238 pphg: mlrh + lmnj
   1239 rvvw: ddlb + tqdb
   1240 zllr: 2
   1241 cnbj: 4
   1242 qhjg: 6
   1243 qclq: 5
   1244 flqb: bzgh + gvwp
   1245 rpts: 17
   1246 qtdr: pfhn + ssht
   1247 sgcg: dfdq * wghv
   1248 hnwr: 2
   1249 szfn: ccsf + sfpl
   1250 dnjz: cbzf - hrwf
   1251 nblf: phwr * cjvf
   1252 hgnb: 2
   1253 whcs: vzfg + blbq
   1254 fprq: ddnd * scqp
   1255 hqpl: zmmn * mswb
   1256 lcnm: 2
   1257 cczr: 2
   1258 wflp: 2
   1259 zppm: 6
   1260 mdsf: vhmd * wtjj
   1261 lfqs: sfqb + wgnl
   1262 fwqb: lhcz + zzqb
   1263 glff: cvjc * frms
   1264 zftt: bcsp + rcbp
   1265 nswh: dmwr + bvhl
   1266 mlpj: 4
   1267 rbhl: 5
   1268 jsqz: 5
   1269 hlhf: dspw * mmrt
   1270 dmgl: 4
   1271 jcpw: 14
   1272 zhpm: 13
   1273 djpg: 3
   1274 zjtg: 2
   1275 cjbv: pcdc * bgtt
   1276 tssm: zqqt + rlnr
   1277 hmht: 9
   1278 ggst: btgr + jgsj
   1279 cbrg: qlnm + tsvc
   1280 pldr: cpcv * bjzp
   1281 hccw: 2
   1282 hcvs: hjrj * sspj
   1283 jqwb: 11
   1284 zwrz: 13
   1285 vmtz: hqhv + qcbf
   1286 zstg: 6
   1287 lqqc: 1
   1288 pbfr: 1
   1289 zdbm: gdbh * bvhr
   1290 rjzn: qrjp * grvt
   1291 hflp: 8
   1292 chdt: 2
   1293 fslr: 3
   1294 njmj: dsjc + ghgb
   1295 nvdj: 11
   1296 lvsf: 3
   1297 rgjw: chcr * qqrl
   1298 vlfl: 4
   1299 qsfd: fvcs * sllv
   1300 fnzs: vfvh * jdpd
   1301 zczv: 2
   1302 gznc: 3
   1303 brwb: 3
   1304 wnrn: lvft * jctp
   1305 cjmw: 1
   1306 vhmd: 3
   1307 root: wvvv + whqc
   1308 qqfj: mbts + fbcs
   1309 qzsn: 3
   1310 zfpq: 5
   1311 ndwj: znls + hdpr
   1312 fjtt: 1
   1313 lfnd: chrb * qlrr
   1314 mqrc: wpwd + prdz
   1315 mrtm: pjbd * cfdl
   1316 tdhp: 3
   1317 pwqp: tvgc * qfrn
   1318 phqc: 2
   1319 cdzd: qqwp * ghtq
   1320 gnwp: 6
   1321 zjbv: znmv + rcdb
   1322 dfdq: 15
   1323 cbzf: fvfd * pjgz
   1324 cvpd: 3
   1325 tlsz: 5
   1326 rhwv: qpbb * lzqd
   1327 ggmr: 3
   1328 ntdq: qwzr + rqjh
   1329 hhjr: pdpr - fnrn
   1330 wdzb: jfzt / hvgd
   1331 sbjd: ftrn + zvhw
   1332 vgtz: 5
   1333 vzfg: rdhn + brvt
   1334 bztf: mhzd + gzwp
   1335 lrjl: 19
   1336 hblw: jfwb * qzqg
   1337 csfd: npbj * fjtw
   1338 grvt: 3
   1339 sdwc: 4
   1340 rhfb: 2
   1341 vdlm: wqfg + wtvg
   1342 gmnp: 4
   1343 rtnj: 3
   1344 ddfj: cwwt * gqtg
   1345 vnhg: nthb + ljzb
   1346 pfwr: gbwq + hjsl
   1347 cjws: pzgf * hhmc
   1348 jnrm: 4
   1349 tcpp: ttjf * pjng
   1350 scqp: lhcv + trpw
   1351 ffjd: mjrq / smcs
   1352 bssf: 2
   1353 rgjv: 3
   1354 nzlb: cllf * nzbt
   1355 tvsq: qwbt * hwch
   1356 tjgd: 8
   1357 tmvw: 3
   1358 qrtj: pmjb + tmhm
   1359 bpcd: 1
   1360 hjcg: bbdr + zhzd
   1361 fpjt: ndqz * blhf
   1362 zvsw: lszf + flrt
   1363 wnbq: zppm * zbgj
   1364 sphh: rslh * lvbs
   1365 tshm: 2
   1366 psgc: rtmp + dmgl
   1367 hvfd: lgwl + btmc
   1368 sdjp: qgfr - qvhr
   1369 cdtc: 2
   1370 jgfz: 1
   1371 tlhq: ltpc * rhgc
   1372 pslg: 3
   1373 qchf: 5
   1374 zphz: jhrd * wjzg
   1375 rttj: fldd * bvvf
   1376 cdbn: 9
   1377 ldtd: plsg * bhjp
   1378 tbbp: 3
   1379 vhjr: 4
   1380 gnsp: cpqd / dvnb
   1381 glgc: smrd * bbzc
   1382 hzft: lccq - qmnq
   1383 ptgv: sgcs * rmms
   1384 jddp: fwbj * jszt
   1385 dmzs: 5
   1386 wpmf: 20
   1387 hvgd: 2
   1388 hvjm: 2
   1389 bqnt: dsmt * bvsp
   1390 mhsj: 15
   1391 nmrt: 2
   1392 ngms: zpgq + hszm
   1393 lzwb: 4
   1394 lghd: 2
   1395 lffp: 5
   1396 ntvz: lsvn + bhvq
   1397 dplj: vrnp * pcjv
   1398 bdsb: 3
   1399 lvrb: 2
   1400 mswb: 2
   1401 wbsn: tlqc * tdtz
   1402 bclr: 7
   1403 qrwt: 5
   1404 qvqd: 19
   1405 vtpg: 4
   1406 whqc: vmtz * whmv
   1407 mbhh: 5
   1408 fsvd: tlsz * btjh
   1409 tqsw: 2
   1410 shcf: nglp * cfsf
   1411 jpbv: mfpj * ccpn
   1412 mdwm: 6
   1413 zmrw: cljs + bztf
   1414 tbpv: pvpc + vfjj
   1415 zpdf: nfbj * lvmd
   1416 vtls: 5
   1417 jsdm: 1
   1418 qbjv: gsnm + zsph
   1419 tzgw: 1
   1420 jvzb: 3
   1421 srbg: 7
   1422 fsqj: pfhl * cltq
   1423 zjjw: tlhq + lqrz
   1424 gzcc: twdw / nlgl
   1425 qqrl: 2
   1426 wqfg: 6
   1427 qrjp: 5
   1428 rccb: tqsw * zjpd
   1429 qzqs: pqwg * zdbr
   1430 bhqg: 4
   1431 crlb: dcmw * lwnt
   1432 vbvw: tbsw + qhwt
   1433 dgjb: 16
   1434 chrb: 4
   1435 rwnd: 5
   1436 rnnf: 2
   1437 jflw: zhmz + wbsd
   1438 qgmw: 3
   1439 wvsd: wpmf - tdch
   1440 zdvz: fjvq + mqrc
   1441 nqqf: 3
   1442 mwzw: 1
   1443 gbrf: 3
   1444 gwpw: 3
   1445 sgcq: 4
   1446 mhsf: 3
   1447 ngvv: 5
   1448 bsrh: jzrs * tlwf
   1449 bqsl: 3
   1450 rqwg: njvh * rlzg
   1451 sgnf: jwcr * ncsr
   1452 wvvv: mjtn * vbqq
   1453 qcln: jbwh + bwdz
   1454 ccpn: 3
   1455 nzbn: gznc * ndns
   1456 sfcc: 2
   1457 fldt: 3
   1458 hjtq: 2
   1459 gzjm: 2
   1460 zbns: 2
   1461 pqgm: tjwh + rbsb
   1462 zfqd: qmdh * ggmr
   1463 hmfc: 11
   1464 pzjh: tsvl - tnpf
   1465 bzgh: gczb - mttv
   1466 zbqs: qmcg * stwg
   1467 mnss: 7
   1468 pdtf: 4
   1469 hrsh: dmvb + wslb
   1470 ftrn: 6
   1471 rqtc: zgpc / gtgm
   1472 jfnf: 4
   1473 gjns: jgwc + qnmq
   1474 vflw: 2
   1475 vfwc: 3
   1476 crgg: mfmj * hjtq
   1477 snlt: fdbv * szfq
   1478 jqsb: mdsf / hplm
   1479 ndqz: qrzf + gfbh
   1480 rrvm: bmrl + sjbl
   1481 dbmn: glff + qsgj
   1482 lzhn: cdsn + sddr
   1483 mlrz: 10
   1484 ssnj: qsfd / czdb
   1485 fllq: pdtf + fbnq
   1486 jtgl: zjqd - hmzz
   1487 ttls: nhcb + zsjj
   1488 bpcv: twmc + bvwj
   1489 njrw: 2
   1490 psrq: vmmf * ttjn
   1491 bgvt: 11
   1492 tzjz: vbww + cfbc
   1493 fqmb: 11
   1494 frtc: bqdc - mrzt
   1495 cvfs: 3
   1496 mbts: 3
   1497 nbwz: stwh * lwdt
   1498 qqgf: hmmf / mtrg
   1499 ldlw: rbcz * zpfb
   1500 zjqd: 13
   1501 rrdz: nlpg * bwpn
   1502 dcgs: jzgf * dsjw
   1503 jhhg: jrvp * hvhf
   1504 hpgr: 4
   1505 bvhr: jvcb * hqss
   1506 clqz: 2
   1507 fbnq: 4
   1508 wslb: mwmc * jmtd
   1509 wgjv: 5
   1510 hwbc: 2
   1511 fgpn: 10
   1512 tlfm: vqpz / ztdf
   1513 rppf: hwmt / cbst
   1514 fbcs: 4
   1515 qzqg: tgpb - nfsp
   1516 jzcq: 3
   1517 dsmt: 2
   1518 bzmm: 2
   1519 sqsf: 7
   1520 lrcd: 17
   1521 zpgg: 3
   1522 qqzp: zmqf + gnwd
   1523 fpzc: lcnf * vdsq
   1524 ftlc: 2
   1525 bgpt: 4
   1526 fwbj: 4
   1527 sthl: 4
   1528 bqvw: 19
   1529 lgrv: vtls * csch
   1530 fhcm: 5
   1531 blwc: 4
   1532 cjpr: 3
   1533 hdpr: 8
   1534 lhcz: 9
   1535 jgqh: sdjp * smbr
   1536 rqdl: rlmf * phzw
   1537 zpfb: 3
   1538 bshj: 3
   1539 zgsl: brfg + jqwb
   1540 qtfz: pjbc * vgtz
   1541 rsrl: gglg * pqtn
   1542 ssht: 5
   1543 dcrr: 13
   1544 sgdg: 4
   1545 rpdc: jtmm + zgsl
   1546 fzww: wwdv * pdpw
   1547 sdhq: pwjz * hslf
   1548 fdwd: jvnc * mcpm
   1549 gvhp: qctm - fpjt
   1550 wghv: 5
   1551 spjv: 2
   1552 spwm: 2
   1553 ntln: jqhc * hdqh
   1554 fllp: 1
   1555 fpns: crth * zlhb
   1556 fbjj: 10
   1557 mtqj: rrfr + spvw
   1558 hthn: 2
   1559 lpfl: 3
   1560 bgfc: zllc / pztf
   1561 rnbh: qjmg + drjf
   1562 ntmp: rqwg + bmdv
   1563 whcp: 4
   1564 zhcb: 3
   1565 sfpl: qhzc * hhqv
   1566 trrr: 3
   1567 jcjj: 5
   1568 ddnd: 3
   1569 tvdd: 3
   1570 spjd: 10
   1571 lthh: 5
   1572 vbqq: 2
   1573 qsgj: 1
   1574 nscl: 3
   1575 rtmp: 5
   1576 trhv: 14
   1577 rbgd: 3
   1578 msgs: dhhn + dbgr
   1579 stzq: 2
   1580 npcw: 3
   1581 mtpw: jwvv * chqt
   1582 tzqg: pwqb + nvrt
   1583 tvzh: lfnd * fqmj
   1584 qnhp: 2
   1585 cgvz: nmgh + vvlv
   1586 zcwc: 4
   1587 lsfn: vmdh + tqjf
   1588 vmdn: blrh + rrst
   1589 jsjg: 15
   1590 blbq: qnhh - czmg
   1591 sjhq: mgqb + rwff
   1592 cdsn: spwm * bsrh
   1593 dzhl: qvqs + sbcc
   1594 nvjr: fpgn * pzjb
   1595 nthb: vshh * vdgh
   1596 srbp: vbvw / wflp
   1597 mzbj: bcsc * rpsh
   1598 swnd: vcjn + sjmp
   1599 cdsw: jqwv * dlnt
   1600 sgll: rbfl * smdh
   1601 dfmp: gvfh * qwhz
   1602 gvmt: qbgq + bcdr
   1603 pcnd: tpvp * gcnb
   1604 wqvr: 19
   1605 hjcn: 7
   1606 pqsm: nnwl + ntmp
   1607 dhmn: pjzg * bwjf
   1608 jbmb: wfmt * ftdh
   1609 mqnq: 7
   1610 qrcp: fszb * tdmr
   1611 gfbh: tlvn * zscz
   1612 bdcr: 1
   1613 bwbw: tdbg * pqpw
   1614 ftbn: ljqd * stlz
   1615 qjsc: 2
   1616 ggjq: 3
   1617 lbfv: jbvp + qlrn
   1618 pjng: 13
   1619 qfjs: ntlq + rqvn
   1620 lfzg: 3
   1621 wjdv: 9
   1622 vfrl: 3
   1623 jrwv: 7
   1624 pqcq: 4
   1625 tlsn: lcjj * tgqf
   1626 djfs: fjbm + zqsc
   1627 gbdt: dvsf * nzlr
   1628 lnrw: sndj + mprz
   1629 lgvj: nlfm + sbjd
   1630 wtvg: 1
   1631 ghgb: nnjz * pnnz
   1632 zqpv: 3
   1633 gsvf: 4
   1634 mnml: jttj + qspv
   1635 qcmm: jcjj * cnbj
   1636 rcbp: 1
   1637 splb: 13
   1638 wvrv: 3
   1639 hprc: jzvg * qvpp
   1640 cbnb: rlvj + fcbz
   1641 mtmg: njgr + hdff
   1642 rctq: 4
   1643 jcnw: jgbr * hltt
   1644 rthp: shcf * djfs
   1645 bnsh: hmtl * qmbl
   1646 qgbn: vjfd * nfrw
   1647 fltw: lmmc + mwzw
   1648 jrrp: 3
   1649 nrsc: 5
   1650 phtb: 9
   1651 dvmc: nmrt * cnzs
   1652 bgtp: 5
   1653 pwfg: 3
   1654 pvnb: tmwt * ntvh
   1655 rghb: hsmq + brlg
   1656 jgbr: hcvs / gfwh
   1657 drwr: hfhj + nwlt
   1658 phbv: 12
   1659 mwzr: 2
   1660 dhcl: 2
   1661 pdgc: ddfj + zrzq
   1662 mjnn: nnhg + slzr
   1663 vpmt: fjbn - mchc
   1664 jqsj: 4
   1665 fjdn: tfvq * wvrv
   1666 vcqn: 16
   1667 pplj: zwtt * zqfb
   1668 jsfl: 2
   1669 hqss: tvms - dlsv
   1670 qqbc: 2
   1671 hwqb: cjht * nbnh
   1672 gchw: spwr * qpdf
   1673 phtm: qtzw + fppw
   1674 lzsq: bcqp - ldlt
   1675 zwrj: 2
   1676 hhqv: 3
   1677 sggt: sbrq * pfpj
   1678 qclz: fngw + gvjc
   1679 zfzl: 16
   1680 fwzr: rjmw + mdwm
   1681 dswc: mmcv * tssr
   1682 clfn: 5
   1683 vqbv: 12
   1684 lbsv: cvjg + tcfd
   1685 bnbv: wdfq * gwpw
   1686 bsql: 3
   1687 dcpf: qcln * hhtw
   1688 bmvp: fldt * ftbn
   1689 zblh: 2
   1690 fgbg: jgfz + bclr
   1691 fffz: 5
   1692 vpns: rpzn * jfnn
   1693 hhhj: bszp * lghg
   1694 btjh: 4
   1695 fqhn: 3
   1696 rvjh: jjmb + vpns
   1697 fdcc: gfmq * drfp
   1698 zjpd: sggl * gnvv
   1699 djhf: tcpp + mlst
   1700 mmcj: 3
   1701 hlsp: hpvh + rzrp
   1702 fmtq: gwbf + jnrm
   1703 vqzl: zfzl + mqgn
   1704 bhfs: btcb + mpbf
   1705 tpvp: qjpv + zftt
   1706 bgct: 2
   1707 lvft: 2
   1708 rnsj: pbcg + flqb
   1709 jlwf: 5
   1710 ldlt: frsf * spjv
   1711 chcr: 7
   1712 pfrj: bbmc * pmqq
   1713 nprw: 2
   1714 cpcv: 2
   1715 lsls: 4
   1716 ccvq: phqc * mhzp
   1717 qpbr: 4
   1718 gnsq: vjlf - nbrr
   1719 lmmd: 4
   1720 rnrs: 7
   1721 fsdg: 7
   1722 grts: nqqh / lmmd
   1723 lzqd: rbzz + bmwp
   1724 swzh: mlvt + nstp
   1725 dvnb: 2
   1726 lgwl: nlpr - fcrs
   1727 pvpc: hvst * pnbp
   1728 nmnd: 11
   1729 vzvz: 3
   1730 bmdv: 1
   1731 cvjg: 16
   1732 hqwv: lqdt - jdpn
   1733 bcsp: 7
   1734 jwfq: fsbj - lbtt
   1735 dzgf: jngd + jcqs
   1736 vnzw: 4
   1737 dqcj: gbdw + fqhn
   1738 rpsh: 7
   1739 vvzf: pppn * bhdv
   1740 gzjb: 3
   1741 vdgh: jssj + wqfs
   1742 dfcm: qpbr * hjcn
   1743 sbrq: 2
   1744 hnvd: 4
   1745 gtvn: gmhb + wmhs
   1746 sndj: zftm * ffmh
   1747 rrbm: wsjr + fbrv
   1748 lpqs: qmwj + sgtr
   1749 lpwt: jsfl + zcwc
   1750 dlsd: 7
   1751 rjqm: 1
   1752 gttd: dvmc + hprc
   1753 dtqd: bfnw + qvpf
   1754 bwbq: vqdb + thvj
   1755 cvmp: bwhj + qjzh
   1756 gtnj: 2
   1757 bhrr: 2
   1758 hzdw: 4
   1759 ssrb: 5
   1760 fcrs: 6
   1761 dbhw: 10
   1762 qcbf: mtnb + bfgt
   1763 bcdr: pmcg + qzpz
   1764 cdpw: 4
   1765 fvfd: hwfz * lptg
   1766 drgr: 4
   1767 bdms: 11
   1768 rslh: 2
   1769 hdzc: 3
   1770 tqtd: dcpf * lzhn
   1771 zdlc: 7
   1772 lddq: tbnm * qmvj
   1773 wtrw: 2
   1774 nsch: 13
   1775 ttjn: 4
   1776 wrzp: cnlm / fcwg
   1777 fhbr: 8
   1778 dlnt: 7
   1779 zllc: nsrp + zgrv
   1780 mmrg: 3
   1781 qtzw: vbzd - qclz
   1782 hdff: 4
   1783 lqpp: 2
   1784 qtlg: tlsn + ggjq
   1785 hdqh: 2
   1786 ffrb: 3
   1787 rhtg: vqbv / cdtc
   1788 wmpz: 1
   1789 mrzt: 5
   1790 lmhb: 19
   1791 zgzd: wbsn + zlsd
   1792 sncr: hwbc + rwzh
   1793 hmmf: lcls + psrq
   1794 qfsd: bddw / ncsw
   1795 rlnr: bwbw * srtj
   1796 bncj: 5
   1797 zzqb: zhcb + mwgh
   1798 whhl: hltf / dsvp
   1799 pnbp: 3
   1800 vrfc: wdnh * vhnm
   1801 cjzh: 4
   1802 zvhj: 2
   1803 mttv: sjph * vcqn
   1804 mhtc: bczb * vhtj
   1805 lmtp: rjhc + wrtj
   1806 qpdf: hdcc + mvpm
   1807 qjmg: wnqs / sfcc
   1808 vcnz: zfcb + zmrw
   1809 nhnm: 1
   1810 dbth: 2
   1811 wghm: sczc * cjbv
   1812 mjqq: jzjg * sgqb
   1813 hsmq: stsm * rwgh
   1814 nhwz: chhc * qqzp
   1815 bpws: 3
   1816 vdnb: bzch * nblb
   1817 bmtv: ljtb / cslr
   1818 brlg: mtms / dsnm
   1819 zjmj: rcbw + bmtv
   1820 ppfn: vtvf * cdsw
   1821 bqnb: vdsf + jhhg
   1822 qmjd: 3
   1823 mbgm: 3
   1824 vjps: cdbn * lqwj
   1825 qqwp: pfwr + vsgd
   1826 sbjb: 5
   1827 zsph: nblf + rhlp
   1828 drjf: 12
   1829 dmwm: bcwh - rcjh
   1830 mhnl: gzsm * rllv
   1831 clnq: fznb * wtzb
   1832 cdfs: 2
   1833 dhzp: rttj - fqhj
   1834 fhnr: nvpw * mcfb
   1835 lfsh: 19
   1836 jllj: gttd - mlrz
   1837 snlq: glzq * lrjl
   1838 wfmt: 13
   1839 rnpz: fjzj - grfb
   1840 qbbp: jvlb + wvmt
   1841 wnsr: 3
   1842 bmsr: jwmj + lnnq
   1843 rszj: frnq * hjjh
   1844 zmrl: drfh / whzm
   1845 dvrw: 3
   1846 hqcb: htnc / smgz
   1847 dclw: 3
   1848 bgmg: mdjf * fllq
   1849 szfq: 2
   1850 lsdb: 6
   1851 djpf: 2
   1852 rbpz: gdcc - dfvf
   1853 lzgl: rpts * qtln
   1854 pgpd: 2
   1855 qwzr: 2
   1856 gcpb: 7
   1857 lbrq: fldv - crgg
   1858 cwpb: 15
   1859 gwwp: 4
   1860 jlmn: qlcw * wqnm
   1861 qctm: nzbn * bmhj
   1862 vpmg: wcgd * dplj
   1863 wwjd: 2
   1864 rfdr: 5
   1865 cbpz: gcpb * fpqf
   1866 dvsf: 3
   1867 mgpl: rfdr * mhtc
   1868 fzbq: tvhf / ssrb
   1869 pjgz: dgvj / nbcg
   1870 htsm: 2
   1871 pcmj: 4
   1872 mmbs: 7
   1873 vlcs: ntcq / nzzs
   1874 bhwl: 3
   1875 pqtn: zqpv * qzsn
   1876 jtdr: pzrg + pvbp
   1877 hbmb: jcgf + vpmg
   1878 tmlw: jzmw / zlml
   1879 pvwd: 3
   1880 qvvf: 5
   1881 trrt: 1
   1882 rbzz: wzwg * ngzt
   1883 frqm: 8
   1884 qvpf: fmtq + ghqj
   1885 cqrc: qvvf + lsdb
   1886 bszp: gmvj * vlww
   1887 njgr: 2
   1888 rblw: 5
   1889 qlfb: dzgf * vzvz
   1890 smdh: 4
   1891 sqds: 2
   1892 hwql: ftgc * flnw
   1893 pjsm: 11
   1894 tjwh: gjcw * wlph
   1895 jtmm: 1
   1896 vdqb: 3
   1897 sttt: fffz * wrgg
   1898 znnm: 3
   1899 mzsv: 12
   1900 mmtb: lmhb + bztt
   1901 nbnh: 9
   1902 hwmt: tgsc + wnvg
   1903 frlc: pgzz + qhjg
   1904 nnhg: rsbn * lzgl
   1905 dgdw: gcph * mtpw
   1906 qspv: 6
   1907 tgsg: 12
   1908 gnvv: 11
   1909 zcnl: 7
   1910 qtln: 2
   1911 cqbl: gbjm * zwtw
   1912 cbst: 6
   1913 zqqt: gdzr + jhsh
   1914 nzlr: 5
   1915 tlqc: gjtl * zjmj
   1916 rdhn: nglc * vhnl
   1917 qcqq: 2
   1918 nrmn: 3
   1919 qlrr: 5
   1920 rjmw: 1
   1921 bfnw: gqwg + hmfc
   1922 jfnn: 4
   1923 qmzf: 2
   1924 dqjd: 2
   1925 ffld: whhl * bbmr
   1926 nzbt: 5
   1927 lzqs: cfmz * hqpl
   1928 mmtl: 2
   1929 ffjj: 3
   1930 rblh: znzc + nvtp
   1931 mzwv: qpvz + mqnq
   1932 nglp: qtfz + ppfn
   1933 qjpv: 5
   1934 phwr: 3
   1935 rlzg: 5
   1936 cspc: jqsb + fllp
   1937 mcnt: 2
   1938 qsmf: 2
   1939 rswp: jwqm * rhnb
   1940 pbgp: 3
   1941 cqfw: vprt + djpg
   1942 qmnq: 2
   1943 qmcg: 5
   1944 zqfh: mwbc - vdtc
   1945 czzc: qpjt + lqzh
   1946 srtj: 6
   1947 bpjn: 2
   1948 jzgf: 3
   1949 qmhg: 4
   1950 mjsz: bjsp * lvrb
   1951 qzpz: nvjr + dprz
   1952 rhnb: 3
   1953 tmww: 3
   1954 vtwd: wsmr * jtnj
   1955 gmdn: 2
   1956 jwcr: 2
   1957 zbgj: 3
   1958 fjzj: vtwn * rjnp
   1959 pwqb: drwr + qbzs
   1960 rncr: 9
   1961 wbjs: hjcg * rwbs
   1962 jfqn: 3
   1963 lltd: dnsq * gplz
   1964 gtfw: 4
   1965 pzjb: 2
   1966 tzhb: dnzl + jvzb
   1967 mpbg: 2
   1968 bjsp: 3
   1969 cllf: 2
   1970 zmgg: vngp - jsgt
   1971 mmrt: 11
   1972 pjgc: vsnc * hccw
   1973 pjbc: 5
   1974 vqwj: lrcd - vtpg
   1975 bplz: 3
   1976 gzcz: 5
   1977 bsjp: rtgs * szrn
   1978 vfct: cbgr + qclq
   1979 bgzz: 1
   1980 jvlb: fltw * zdqq
   1981 hnrs: nvvd * hgdc
   1982 pwjz: 4
   1983 vshh: 4
   1984 qwhz: 3
   1985 ttdj: 2
   1986 dcqq: vdlm + mbhh
   1987 rnwc: nmmf + snlt
   1988 zlsd: tssm * vnhf
   1989 lqzh: qlfb + ftzb
   1990 vngp: lpqs - mhjb
   1991 ptrm: qrcp + fnzs
   1992 jqwv: 2
   1993 pdpw: lmtp - hflp
   1994 bqnh: 3
   1995 lvjt: 3
   1996 flms: rfzh * zrsj
   1997 hcdb: wtlf * tmvw
   1998 pztj: 2
   1999 wlbf: fdwd * ngpn
   2000 rrch: nmgf * ddwp
   2001 hchc: 3
   2002 sddn: 4
   2003 ltzz: bshj * lffp
   2004 psgm: 9
   2005 sldv: 2
   2006 bspd: fprq + tbzm
   2007 fpdd: 4
   2008 bcnh: jsqz * mgpl
   2009 bddw: fqmb * fhbr
   2010 dwgc: dbmn * vmmc
   2011 jqqh: 9
   2012 pztf: 3
   2013 rqsp: tdjn * gphw
   2014 sgcs: 3
   2015 glfh: 3
   2016 rmsl: csfc + zpbj
   2017 znqq: nswh - pjsm
   2018 wtjj: tvdd + whjp
   2019 rhzv: 2
   2020 lcwv: 3
   2021 mtrg: 8
   2022 nzzs: pqwb + wwjd
   2023 prrt: csfd / cdwd
   2024 hmzz: 2
   2025 vbdm: fjtt + szwq
   2026 lcrw: frlc - hfvh
   2027 rbsb: fsdg * hzft