aocc22

Advent of Code 2022
git clone git://www.tkruger.se/aocc22.git
Log | Files | Refs | README

input (31363B)


      1 vbfg: 2
      2 dwgb: 3
      3 ctlr: 3
      4 rzwt: fdqz + hpqd
      5 qwlr: 3
      6 hgbz: 2
      7 mbqp: cfmj + gqrj
      8 tmrn: 3
      9 hbvn: rnrm * brjj
     10 pjjr: bvpg + tfqn
     11 fdnr: 10
     12 vgcz: jngf * mgzw
     13 zzvb: 2
     14 cgnn: 5
     15 jqqq: fmvt * vhzd
     16 wlgc: 3
     17 qmjl: 2
     18 pjsd: gzgp * vnsp
     19 vtsq: hctt / lmqf
     20 blgq: 1
     21 nrch: 13
     22 lvjf: tjzh * ffsc
     23 jczs: 5
     24 rfrs: 3
     25 vjwh: mwdw * bhnw
     26 wpvc: jlzw * mfvr
     27 rgbh: 2
     28 htzb: mttr + mqmv
     29 bwbl: pmhf * lfsd
     30 zfdj: 1
     31 pjzf: tppt * ftnh
     32 wzfg: hhjv * dlph
     33 lddf: qjnr / ffvl
     34 jtfj: 17
     35 vqhs: 5
     36 tlrl: 4
     37 httg: hhjb * zhzb
     38 dbrq: hfgs * qlwz
     39 qgjz: hqmg * jchz
     40 jfbw: 2
     41 swmc: rldn + cdgs
     42 jpms: 2
     43 jmmr: 5
     44 lfjw: qngl + tbhl
     45 lstl: 5
     46 gfrz: 2
     47 hldd: 11
     48 mdrm: 19
     49 bnqb: 8
     50 stbv: dwsv + bvhp
     51 glwg: jpzc + djqc
     52 qdcm: lgsd + fjwr
     53 sfgh: 2
     54 bdsr: phdn - gpmn
     55 hldm: mjsp * djsm
     56 wlqt: 6
     57 rftc: twcq * fgnd
     58 qrcn: rntw + gcdg
     59 nntn: 2
     60 vljq: bbnn * gprr
     61 mstq: 2
     62 rbhz: schl + jwtq
     63 mdwj: zhbj + qrfp
     64 cfgp: pnhq - zfdj
     65 nwnh: 7
     66 dvgv: 2
     67 wmrl: wjrw + llvf
     68 ldzp: mlwd + mqcz
     69 cnvf: jqfj / nmdl
     70 qqbg: njsw + dvnc
     71 mzmm: 3
     72 ncwm: 2
     73 wrmh: dprw / jjsd
     74 qrht: zprs * jsqg
     75 znlm: cmgv * lqpm
     76 jlsn: 6
     77 fjfv: ljql + fppt
     78 ffjf: 5
     79 gzsp: 5
     80 ptrh: 13
     81 vfsw: dvvp + gjvc
     82 slgm: 3
     83 lpcg: dsnq + btnn
     84 rhlb: zhrc + jcjv
     85 chfc: 10
     86 dptd: 2
     87 mlhh: cpwr / nbsf
     88 sfqb: 2
     89 zvtn: cbsp * zwsm
     90 bbcc: tmtp + prfm
     91 jwwb: nfdz * zhdj
     92 zhdt: jdfz + fhpp
     93 sdwq: 3
     94 pwcz: vmgn * gwlt
     95 lfcz: 2
     96 pzfh: hjmt / zpfg
     97 hctt: nfwb * wgrs
     98 msgl: 6
     99 lqlw: vnfc + qlwn
    100 lddp: mchv * htwg
    101 zrtc: pwjc + nrpb
    102 nsmp: 2
    103 nrwj: 2
    104 rhhp: cnvf + rjrf
    105 lltr: qbzq + jszc
    106 qrfp: 4
    107 fbtv: nvql + fsrg
    108 nhqr: 3
    109 hghw: pmsr / mmsw
    110 wldw: 3
    111 hfvw: vqjf + wfgc
    112 cmpc: 2
    113 wrst: 2
    114 ntzz: 5
    115 ccvh: 2
    116 fftf: gfpp + cfmn
    117 sfcf: vtsq - dzwb
    118 pltq: 3
    119 lljs: 2
    120 pqfd: 3
    121 wtbg: 5
    122 mhpf: 3
    123 mccg: wbhc * grrr
    124 mfrl: zcvd / chld
    125 rnfh: wqgg * dfrr
    126 fscc: 4
    127 sfrv: 7
    128 frtg: 2
    129 hnmn: 3
    130 hhzv: 2
    131 rstc: rwwl * ftjl
    132 qtdr: vnch + ntbv
    133 jmcf: 5
    134 mgsh: tmbg * lswz
    135 rqsh: 11
    136 blmh: tbhz - vhbg
    137 vwgj: nzvn * gfrz
    138 qclt: nnvb / cmpc
    139 jhrh: 3
    140 lbqs: 4
    141 zbwc: ntsp + rnfh
    142 ndvz: zsfr + ftzh
    143 rwdr: fdpq * pccw
    144 qzlq: gfbc - vtnb
    145 hwfd: ftmf / gjdb
    146 hcfd: 17
    147 hbdp: 3
    148 vzhw: nhqw * tmlc
    149 gpzt: lglv + hldd
    150 dtns: 8
    151 ttbq: 3
    152 cnnw: hdnh + bhlv
    153 vmcn: 4
    154 ddgb: 3
    155 cdrj: 4
    156 jqfl: 2
    157 lnfg: 4
    158 hcgp: 6
    159 pfjs: 3
    160 frdt: bhfn + vqdw
    161 mpgn: 3
    162 hgvp: 2
    163 przl: 5
    164 ptqz: 2
    165 zzvh: qntv * cbsb
    166 gfdw: ctlm * rctr
    167 nhsd: 3
    168 nrld: rjww * wsns
    169 bjng: gldg * zpcv
    170 crwm: jttb + bwbl
    171 cdnl: hjwh / hgrg
    172 mjvl: 2
    173 mhjs: lcqf / drlq
    174 sglg: 3
    175 hchl: wbzs / wjwc
    176 nnwg: 8
    177 hghd: rwdw * cmmf
    178 lnlh: mddj * vrzs
    179 sjpp: dwlz + qnwt
    180 hdcw: vszc * cgzl
    181 hlbd: qrht + lnlh
    182 lzlg: vmpw * bvqq
    183 thlv: clnz * qvcb
    184 hlnl: 2
    185 tjwc: 3
    186 fzmp: htvj / fszn
    187 fvfj: 2
    188 wphb: hlcj * mwcc
    189 qtgr: 2
    190 bjvp: fsjv * zsjb
    191 gfvf: 5
    192 chjr: nntt * gplc
    193 hwls: rsgc * slwr
    194 rmcv: 14
    195 lrhw: 3
    196 pnhq: ljts + gbhr
    197 lwqq: bccm * wjlz
    198 cqlp: cgjf + gfvf
    199 nfgv: hwcq * qvdd
    200 prlb: 12
    201 tdcr: zbdn + tfzl
    202 spbs: fbtv + zcvh
    203 dfnv: 1
    204 tmjj: 7
    205 mjsp: tbtc * hdqf
    206 hbjl: glqm * crss
    207 dbfs: 2
    208 jfqs: 3
    209 spww: zppb * mrmc
    210 msvh: tfmq + hrzl
    211 rbvb: ljnn * pftv
    212 lzpw: clll + slzl
    213 tfcs: 4
    214 bgwg: 3
    215 mgpj: pnwt + pbrt
    216 zhrh: fcvq * rnwn
    217 zlwg: 9
    218 ncgt: 3
    219 hvlv: 2
    220 gcdg: hnwb - zbmj
    221 tpww: 5
    222 qsqw: wldw * zlhb
    223 lfdm: 3
    224 bbtq: 2
    225 ghch: 2
    226 bjqp: ssgw * nchg
    227 qzrv: pcdv + mwzc
    228 mbgb: mhvg + drft
    229 gzbc: 5
    230 ncrd: qqwf * phjw
    231 hpzf: 2
    232 rntw: cnzm / nrpt
    233 tllp: 2
    234 wrff: vjmp - zpfh
    235 llcq: 14
    236 lfdd: 5
    237 blcm: rjzv * phrq
    238 htbc: 13
    239 hqnl: 5
    240 mbjt: 2
    241 mldp: 12
    242 lgnh: rbvd - gvrm
    243 cfmg: 10
    244 fgsd: 2
    245 sgws: zwcl * tqrl
    246 lgcw: 20
    247 cmzt: fmvz * zjlh
    248 fssb: bgcs * rrvs
    249 ntzh: 2
    250 rfpp: 2
    251 jgfg: 2
    252 ppvj: 4
    253 bcvc: gtpb + wjvz
    254 spfg: 4
    255 csvr: hlbd / vrqz
    256 rphf: 2
    257 hdnh: 16
    258 fjwr: fjvf * nwlt
    259 hlqg: ccmz + hzfj
    260 hpdp: qlhd + jwwb
    261 hmgd: 5
    262 zbdh: rmvv * bggc
    263 hpcn: cdnl + zltq
    264 dnhd: vjbn * bhtd
    265 mlnf: 12
    266 hnzz: 20
    267 zlsq: mhpf * htnm
    268 jqcj: 4
    269 mlct: 5
    270 nzmv: bttg * vshr
    271 jwdq: zhzl * hsgn
    272 crww: 3
    273 lzcp: dhtg * pltq
    274 hggn: 2
    275 qdfs: 3
    276 rqlv: sfss + mqpr
    277 lbcq: drrb * gvld
    278 jqtj: 3
    279 fsqs: 5
    280 wjrw: jzps * ptjz
    281 lgpw: jjcq * fgfg
    282 rzzz: 15
    283 fmwb: 19
    284 mmtb: 3
    285 cgfp: 2
    286 chmm: 3
    287 ljgz: csvr + lppw
    288 vqfq: hfhc + ngml
    289 ldmt: 4
    290 zhhm: 9
    291 fzpt: 3
    292 ssdr: 13
    293 fwnf: pjpr * gtvw
    294 bbqf: bjng - msgl
    295 bbjt: 7
    296 fdpp: 14
    297 nntt: 2
    298 dpst: 2
    299 gnmt: 15
    300 wngv: 4
    301 vzjm: jdzc * cwtn
    302 jfpl: njls + gdgj
    303 cqfh: vcmt + qglp
    304 dzwb: 2
    305 mvwr: hbml + dbsd
    306 zsbm: qnsj * mwjn
    307 lfqf: 2
    308 vqdw: zrwd + hppn
    309 rrvs: 10
    310 rsbb: 2
    311 crzd: flnb - pshd
    312 cgzl: 2
    313 zvrn: mvzw + wmrl
    314 ftmf: wzcw - vssf
    315 pjpr: 5
    316 hswl: gczz / nnth
    317 vnww: 5
    318 dbsd: 3
    319 tghv: zgsm * hcfm
    320 ttzb: phzt + ntnq
    321 ppmn: hrwm * rjhr
    322 ndmn: 5
    323 zhvq: mgfs - bnfw
    324 zqfw: 3
    325 hwmd: 7
    326 hlmh: 3
    327 ndlp: 13
    328 vbgt: 14
    329 vqsz: ccpw * wqsm
    330 ldsz: 3
    331 wdqs: 1
    332 zwsm: 4
    333 ldfp: lzcp + nfgv
    334 ffdv: gwqq + wpqr
    335 crmv: 2
    336 fwlf: hfcg / jsbq
    337 dqvm: bvbt / nrvs
    338 qwhg: hnng / tdrs
    339 rnqm: btjz + zvfv
    340 rhqg: nzzq + sbqt
    341 vwmm: mrwm * zdbn
    342 zbfs: 2
    343 thnm: swtb * whdm
    344 qvpm: bcvh * hnjc
    345 pjdr: 2
    346 qvzl: 5
    347 ppjb: 2
    348 cmbj: ccpc + qfpd
    349 hhjb: 2
    350 wpcs: jswt * zcnh
    351 jqhd: pmvv + jdvv
    352 nsln: 3
    353 fshs: 5
    354 vrpw: 2
    355 sqgq: 7
    356 pmhf: rhln + frbr
    357 hcrj: jwhp - jnwm
    358 mswg: hrcv + fqlc
    359 gtnp: hvpg * qsfc
    360 vsbz: ljfn + sjpp
    361 ssqs: 2
    362 lqqg: 4
    363 bhlv: gtmz * sjlw
    364 lnvg: rldv * fhmj
    365 rwwl: gslb * svzn
    366 fmql: vwfn + bzcd
    367 tnqc: chbz * nrbv
    368 cqhd: gdvb / swsc
    369 vgqb: wnfn - wldl
    370 vhbg: 5
    371 pmcp: 13
    372 pflz: tjnh * wcwl
    373 dvnp: lqzn * jmdr
    374 lsgf: vpmd + tggg
    375 sszs: ndhf * jncv
    376 qqnq: gmnc * gmbp
    377 lcmt: cdrj + gdmt
    378 wsmp: fstv * zvrn
    379 rhvw: psbw * lfgf
    380 htdr: spbs - pdrt
    381 mtrz: rmjp * glfz
    382 mzvv: hzbh + qmjl
    383 pmvv: mljh / dwfs
    384 bjnm: fdsj + dwlf
    385 jjrr: 19
    386 dqch: 2
    387 rmnr: 8
    388 qtnb: cbwc * mdzm
    389 dwzg: 16
    390 nggz: 6
    391 zsmn: 4
    392 hnng: rqtc * cbph
    393 qjbg: tjcz * thwh
    394 fqtt: humn - jvzc
    395 gwqq: zffv / jwmg
    396 wqqh: 3
    397 slzl: frhj * nsjn
    398 mljb: 4
    399 wcrr: mhnh + tgzm
    400 fgnd: 5
    401 ndps: wjdd * hgbz
    402 rjqv: 7
    403 cftz: 2
    404 thdb: gqpf * ccrg
    405 zffv: tddq + qpdb
    406 jqmv: dhpt + nfvw
    407 mjmc: 17
    408 hwvn: 19
    409 bngh: 2
    410 pnrp: 4
    411 jtjc: 2
    412 glzn: 13
    413 bbmz: 7
    414 hjwt: dhtw * tpjh
    415 prlg: gdcz * ljsb
    416 jlbt: 3
    417 wmwq: 4
    418 fqwr: 3
    419 qzvd: vtff - lpcb
    420 bjhf: 5
    421 tllg: vpqs + dcfb
    422 gnht: 5
    423 qpwh: qlmp * gcvh
    424 zcvd: svrv * bwsq
    425 wbzs: ntzh * rhvw
    426 hrqs: jhqr * vhhr
    427 hpfc: 2
    428 bqtt: 4
    429 nchg: jznm - zzlw
    430 gpwn: 3
    431 hcwt: 7
    432 wcvv: bfcn + vmcn
    433 rwfm: 2
    434 mgmr: gnvg + fshs
    435 dvnc: nhfw + nrzh
    436 tddg: chpw * wfqb
    437 djlv: 2
    438 nbrv: 17
    439 vpth: 15
    440 ccrg: nggz * prht
    441 cjbz: gswq + ppcg
    442 gbdg: 6
    443 bnfw: 16
    444 dlpb: nmpj * dnpd
    445 qvgz: 11
    446 swsc: 3
    447 sctw: 2
    448 fjrq: 3
    449 hblv: 5
    450 qpvf: hgqf * zrtc
    451 cmms: jsjd - tbth
    452 tstv: dplp / nnjb
    453 pgzc: rnds * qtrs
    454 scwc: cwsc + ppmn
    455 nwcn: 12
    456 nzpn: 13
    457 vssf: ncwm * rzwt
    458 ljsh: nggd * htjn
    459 jdgt: pgzc * gnht
    460 scmj: 3
    461 lgdd: 3
    462 pwgf: 3
    463 btml: mtjr * hwmd
    464 msvj: 1
    465 rmpc: qmfm + rrws
    466 qccw: 9
    467 nvqd: 2
    468 cvpw: bbtq * smzb
    469 rjvr: hzcg - tgtp
    470 ctlm: 2
    471 nrzh: btsl * lgqq
    472 mnmq: jqtr * qzct
    473 jdzs: 2
    474 pbff: 2
    475 zhzc: gcfc + nmfc
    476 bwwz: mztz * zgfb
    477 wldl: jdfv * wjwp
    478 brns: 8
    479 zsfr: 1
    480 lccj: qjbg - mzbz
    481 lnbv: 5
    482 qbzq: nnws * hlvd
    483 hlwz: dvhc * ngdf
    484 stbf: 5
    485 hvgv: 3
    486 dqjb: 3
    487 zpfg: 2
    488 wmzn: 2
    489 ssdb: 3
    490 sdsg: cccn + msqr
    491 jdzc: 11
    492 blsf: pnmj * bngh
    493 dcpd: 3
    494 ptmd: 3
    495 wlch: rgdw - nlqt
    496 tsdf: dvcz * mglc
    497 jmjw: dzdf / lpcg
    498 prvw: 3
    499 mcdz: bqtt + wpfb
    500 mrfv: 12
    501 zqvt: 5
    502 dlph: 12
    503 wdpv: 5
    504 wpfw: 3
    505 wwwc: qvds * ztjs
    506 rjfs: 5
    507 jvdd: 15
    508 tjvl: dhvd - wfqq
    509 fppj: 12
    510 mgzw: dfmg + mlnf
    511 cnrn: nswf * mstq
    512 mhsd: 2
    513 bzdd: srzw * srlt
    514 wgjt: hrvl + gznh
    515 zbmj: jtjc * rvdz
    516 gldg: 7
    517 vgsr: vwmp * mvvj
    518 grqv: qpls * hchl
    519 vcgw: 2
    520 ddcb: 10
    521 nwhj: zzlq * lzdj
    522 fndj: ppdj * hbtv
    523 cwcv: 5
    524 qzzs: zzmg - djgj
    525 qntv: 2
    526 rhln: lqvp * mmgv
    527 zpwf: nqfw * tmjj
    528 plvm: 2
    529 hcmb: 5
    530 wgwv: jfpl * wlhm
    531 cmbf: spzt * lhcn
    532 drdc: 5
    533 swnc: dsnd - tnvf
    534 zvrs: 2
    535 bvhp: mgds * gqbq
    536 rchm: 3
    537 clll: tmmz + thqn
    538 gplr: 11
    539 gwww: jcmg + ccvh
    540 tzlt: zvgj + phdc
    541 zhgr: 2
    542 wpfb: stcj * tfqj
    543 lcqs: mmzw + dpvw
    544 jctj: flhq * wclf
    545 zfdf: 3
    546 wssf: vgft + zgvh
    547 wjrm: 10
    548 vncm: 4
    549 lttb: gpwn * hdpf
    550 zlph: smbf - hcmb
    551 mjpl: 2
    552 fwgr: hvlv + bzdd
    553 chvp: 4
    554 rptg: 7
    555 zpcv: 5
    556 tzfp: bjnf / sfgh
    557 pmzj: fwhp + wcvw
    558 jmdn: 3
    559 nzjg: 11
    560 cjzn: 5
    561 lzbf: 3
    562 ltsn: hqqp + zbfs
    563 hlwv: rbfv * wtnt
    564 dvvp: 5
    565 mzpf: 2
    566 rrmg: 5
    567 hqqq: 5
    568 wjwp: jdzs * hsrq
    569 mlqm: 8
    570 sntl: 5
    571 phdc: wgjt * bqcb
    572 vhgq: 4
    573 vcbv: wqtw + qdfm
    574 qvnj: vcmg * nsrm
    575 mwzc: thdb + scjj
    576 nslr: 4
    577 zqvd: 3
    578 wqsm: 6
    579 tbzv: zzvh * ghch
    580 swtb: pbhn * hhqv
    581 hcvh: 16
    582 tczg: 2
    583 mnfg: 7
    584 qnrt: mtml * tjjs
    585 vnwg: rslr + pflz
    586 fbnl: 3
    587 wdng: 2
    588 tqdf: 11
    589 wgfd: 8
    590 jbwv: hzjv * fphs
    591 rmvv: 5
    592 nqvq: 3
    593 gcld: 10
    594 slbf: 5
    595 rhwv: hrnv * qvtp
    596 rwdw: dgvf * dbhl
    597 hqfv: 15
    598 hnmz: tqpv * hjdd
    599 smjz: 3
    600 ztvv: 10
    601 tscq: zjwz - jjjt
    602 zchz: qbjd * rzzz
    603 bpns: wgrt - brfg
    604 ljbd: gfhl + pmzj
    605 tfqn: cczl * ztvv
    606 ndpn: 3
    607 btbn: wlqt + wdpv
    608 cbsp: 4
    609 rlfn: mslj / jlsg
    610 srgf: 2
    611 gcww: cqhd / nvqd
    612 dshb: tppn * jrmg
    613 cnjr: fnwv / tqrq
    614 fstv: 5
    615 nvgq: sdfm * fbwc
    616 cmrt: chht + wncd
    617 pncc: hpnn * nwqw
    618 gfsb: jqfl * qszr
    619 hlng: lszc + hjrd
    620 nldc: 20
    621 wsdr: 9
    622 dvfp: 5
    623 ffqv: hcdc * prdt
    624 hjwh: gbsl * mjpl
    625 dtpf: wphb + tblh
    626 bdww: 12
    627 hcrm: 5
    628 vzfc: 6
    629 rvjc: rwjl * ntzw
    630 sjqq: 13
    631 lrvl: 2
    632 bszg: zhgr + wnnf
    633 plzr: 19
    634 bcpv: bgzj * dfbh
    635 qjjd: 16
    636 csjp: glgt + hqjf
    637 bgtp: rtnm * hbdh
    638 ctqr: 2
    639 hqsp: 2
    640 rjww: 2
    641 fnpj: 17
    642 lwfm: 2
    643 msff: vlgf - qjgt
    644 mgds: 3
    645 vrzs: brng * rpnq
    646 qwph: rgfh + msfq
    647 prjh: 2
    648 bsqc: hlng / tntr
    649 zcwc: 2
    650 fhpw: rmnr + srcq
    651 dplp: ncvh * mjvl
    652 mdgl: bqht + lztt
    653 tdch: 6
    654 ngvh: 10
    655 cbsb: 11
    656 ndtc: 3
    657 ngsm: qgqp * pnzq
    658 gbfm: 4
    659 humn: 1953
    660 jlsg: 2
    661 cmmf: gbtc * rhqb
    662 zbtz: 3
    663 bqhf: zvcw + vqfq
    664 czsf: ddll * hlmh
    665 vdvd: 4
    666 dzgh: 11
    667 jqhr: ssdr * vfbf
    668 fmvz: gvgb + cclh
    669 dhtw: hfrz * mclw
    670 gtvw: pqdc * dqch
    671 tgzm: 11
    672 tqrl: 3
    673 wmwn: tfrr + mhjs
    674 lvpq: 1
    675 tqrq: 2
    676 mcsc: 4
    677 lszc: bpll / lnfg
    678 hwwm: 18
    679 jqmz: trpm * lstl
    680 phlw: npgp * rjqv
    681 nsvt: 3
    682 tgtp: ctvm * vpjw
    683 jjzc: lmqm + jmcf
    684 qvjs: spzc + jrdq
    685 qzph: 2
    686 pnzl: 2
    687 nfdz: 7
    688 mzgg: 10
    689 srrv: 13
    690 nnjz: 5
    691 nfhv: 2
    692 rdgt: 3
    693 tfmq: gvwq * grtl
    694 cjrd: bgtg * hswl
    695 wtnp: fqbr + hggn
    696 bvlv: 2
    697 qdsg: 7
    698 cnjg: zsrs * gtfc
    699 ffvl: 4
    700 zpmq: 3
    701 mbmg: 5
    702 rfbv: 10
    703 hcqj: 5
    704 sqzv: 4
    705 lsbv: wrff * jvdd
    706 htvj: mtzp + wrmh
    707 ddfm: 5
    708 qmfm: mjzd / spct
    709 spcc: 17
    710 fvcn: 20
    711 fbgz: nqmm + pwcz
    712 sfzn: 6
    713 vjnd: grnb * ffqv
    714 tpjh: 2
    715 frbr: dbht + rgpc
    716 nhtr: 3
    717 dtvr: 8
    718 cpwr: zhrs - tcbz
    719 dsnq: 4
    720 jshl: rvjc * jhdc
    721 ljpg: zzdv - lbsd
    722 tmmr: 9
    723 fdpq: 2
    724 hdqf: 5
    725 jqtr: 2
    726 bpct: 3
    727 ggzj: ctqr * wssf
    728 gcpq: tlzg + wdqs
    729 vqrn: mwgz + bjqp
    730 bppf: hddh + sqgq
    731 vdmp: qrhv * mpgw
    732 mwqn: pbfj / mzvv
    733 fgfg: 3
    734 hhjv: 17
    735 dhbb: jfbw * wlzg
    736 nbsf: 5
    737 rslm: 13
    738 dvss: 19
    739 dwsv: 3
    740 fsrg: 16
    741 prvm: 2
    742 hblr: jbvr * jqts
    743 wdcn: 13
    744 bmfs: pnbv + rnls
    745 mnms: sfqw * sfrv
    746 phnv: vnft + pprw
    747 tfmw: dsll + hwjm
    748 brwh: sntl * mtrw
    749 zgsr: 2
    750 qwhh: 3
    751 tlpz: tmvc * sdlv
    752 wbwv: zhmn + hdvc
    753 jwzn: 7
    754 sfwf: 3
    755 mgmb: ndtc * pbgc
    756 ngsf: 4
    757 vwfn: qvlz + ghcl
    758 hcdp: gfsb + qzph
    759 qvtp: 2
    760 qglg: mczm * wwhh
    761 lssr: jthc * dbrt
    762 gcwt: 3
    763 jzbm: dghp * tscd
    764 ltft: gwtl - cmzt
    765 bzcd: stnh * mzhm
    766 nfpn: gjhd * jztm
    767 mlnn: 2
    768 fqft: 8
    769 gfpp: 8
    770 flmd: sfwf * smjz
    771 zcvh: 3
    772 bmnn: grqv + rmcv
    773 qnsj: scmj * mppn
    774 tbjg: 4
    775 njdw: mgjp + mjpf
    776 vccs: lnbd + lvjf
    777 zdfz: 3
    778 pbhn: 17
    779 fmjd: 10
    780 mjcn: vrvs * qvlq
    781 zwqv: zqvd * jzln
    782 bhfj: 4
    783 mjgm: rfmd - nqmg
    784 rnrm: 2
    785 brzn: 2
    786 hjnl: 5
    787 dzhp: wzhv - qjcn
    788 vjbn: fstb + rjmh
    789 vlst: qnlg + fjfv
    790 dmzf: mmzm * tnnr
    791 qwvn: 3
    792 mclw: 2
    793 dhtf: 2
    794 wrgb: zvpl + lltr
    795 ssvs: zjrg + tbsd
    796 rcwr: gvwh * nchp
    797 cpcd: 3
    798 prfm: 4
    799 vhhz: gmpz * clws
    800 gtzp: 8
    801 fbwc: 7
    802 dctr: 3
    803 tgqm: 7
    804 qmtr: mjzm + qpvf
    805 qbjd: 2
    806 ngtq: rprp - cmwp
    807 zrtf: 2
    808 ssbq: 2
    809 dpvw: 15
    810 rbgz: wtbg + mrfv
    811 svvz: 2
    812 ccvp: 4
    813 fmbs: hglh * qzwb
    814 ljtq: 3
    815 cbwc: 4
    816 srsg: tqqv * zcwq
    817 zqjl: lzpw + zbwc
    818 zdhv: flmd + mmgp
    819 npbs: 10
    820 mhnh: 2
    821 tscd: nsln * hzrz
    822 pbhd: 4
    823 ldrw: btrt / wpmm
    824 zlbn: dtvr + hgsr
    825 pwjc: rgfm * rfpp
    826 rvtm: 2
    827 zpqr: dhtf + wfbv
    828 glqm: zpqr / fqwr
    829 hlcj: 4
    830 wzvg: jmgz / zqtb
    831 cjpm: ndpt * wqfv
    832 pvcw: fsbz * tzlt
    833 mnwm: dvpw * zhhm
    834 clws: ptvc * lhrm
    835 zvgj: svzm * hrmm
    836 fvsc: 13
    837 fmzw: zjnr * csrz
    838 dzrf: jtnc * hqsp
    839 zlwh: 3
    840 pwmd: 2
    841 flft: shzs * bjnm
    842 tqfv: ptvl * jfld
    843 bgtg: zmgl * hqnl
    844 qlhd: ldzp * cnnz
    845 zwwq: 1
    846 jjpm: 14
    847 wzhv: tpgr + pttl
    848 vlgf: tssl * lmvt
    849 gnfg: cggn * pmpn
    850 sffq: 8
    851 fbqz: zqdc + nbjm
    852 vhng: 13
    853 zzwt: 2
    854 qzgd: zlsq * frjt
    855 gzmq: vzhw + qwqr
    856 fvrq: 19
    857 gctq: nrch * ctgl
    858 rdzh: jthv * shsv
    859 mqbv: jdgt - wbrs
    860 vmbr: fvsc * cqgf
    861 fppt: 10
    862 pzzm: nwnh * fsgd
    863 lchq: 4
    864 fbws: 1
    865 qfpd: 8
    866 srzw: 11
    867 cwsc: rjzw + hszg
    868 nfwb: lnvg - zwmh
    869 nwrd: 2
    870 jrjs: 2
    871 gjvn: fvcc * lfcz
    872 tmzr: pbqh * fzvm
    873 cbdp: wzvg * msdv
    874 zlgw: qwhh * jcjq
    875 nvnh: 14
    876 rrbn: 3
    877 pjlf: jmmr * mbqp
    878 qngd: 5
    879 nmhz: pncc + drpt
    880 bljd: 5
    881 fqlc: nzpg + qvpm
    882 whhj: bzjj + qfms
    883 hfvl: 11
    884 pnbv: cnjr + hlnh
    885 bgrg: lssr / fvfj
    886 vcss: 2
    887 gnvg: 1
    888 vgts: 1
    889 bpjh: 3
    890 dhht: vdds + tlbr
    891 whdm: 5
    892 tjcz: 7
    893 gjvc: 2
    894 vflg: 3
    895 dtwp: nvgq + pjzf
    896 gwtl: hbph + ngtq
    897 zwds: djjg / wwwt
    898 bfsf: 11
    899 gvwq: 3
    900 rdgj: 5
    901 pprw: vzlr * stbf
    902 gmzl: 20
    903 scmn: 2
    904 tncz: vqhz + nfcq
    905 sfsl: 5
    906 hmhn: 3
    907 zvfv: hltv - pjdr
    908 phdn: zlts * rjpw
    909 nrhb: ddjw * tjdh
    910 nqmg: 6
    911 nsjn: bdsr + vmbr
    912 bnmd: chfc + phnv
    913 djsm: 7
    914 lztt: dnlg * mmtb
    915 qjgt: rdzh * rcss
    916 dbhl: 20
    917 zzlq: 2
    918 btrj: 7
    919 prdm: mhbb * vrzv
    920 wjwl: zspq + cmrt
    921 pwtr: 2
    922 tsnb: zwqv - ghwp
    923 rwtt: 5
    924 nzvn: qqnq + gzsp
    925 ffwm: 3
    926 lnwn: 2
    927 nnws: 3
    928 bpqn: 3
    929 cbph: pvcw - qpwh
    930 mgfs: wcvv * dnsj
    931 tbrq: spcc * rjmz
    932 jgls: 3
    933 pllq: lbpv + dhgh
    934 rnls: msvh * cchj
    935 qfht: 9
    936 dwsq: mtzt + mjcn
    937 hltv: jqtj + dbrq
    938 mqpr: rsbb * tbrq
    939 tpwt: 2
    940 fqbr: 5
    941 dsnd: dwsq / tpww
    942 hjdv: hdcw / dpst
    943 rtnm: 3
    944 tqqv: jzbm - gmzl
    945 lgfn: hbjl * qjhj
    946 wjqd: 11
    947 vpvv: 5
    948 btcn: rnqm + svwm
    949 hwbc: qfmj * szcb
    950 vrbp: 2
    951 rldv: 4
    952 jznm: fflq * nlvv
    953 rzsf: ndps * vsjp
    954 crss: 2
    955 vsmj: bvrr - mmrf
    956 bwbm: sqtr + vttq
    957 ptjz: bnqb + vzfh
    958 qqfq: 3
    959 jrmg: 5
    960 chld: 2
    961 cchj: 7
    962 jcws: lwqq / jwdq
    963 nzpg: tmrn * clzb
    964 jcjq: 7
    965 hppn: 16
    966 ngpp: ngtf + zdhv
    967 jstz: bbcc + bdww
    968 htnm: mzmm * ssdb
    969 drhd: jrpn * rhgt
    970 jncv: 4
    971 pbqh: vnwg + trgv
    972 fdsj: swnc / zlwh
    973 pqgn: rcdg + tgqm
    974 qfms: bwbm + bqhf
    975 jthv: jwzn * mvwr
    976 ldcd: 13
    977 hcfm: pzdm * vrpw
    978 tmvc: dqjb * fwpn
    979 qpdb: dbrv * cmbj
    980 dwqf: 2
    981 lcvr: ssqs * nmcr
    982 blww: hcgp * nznl
    983 ghcl: rphf * ldzq
    984 dhgh: cftz * jpjc
    985 zzfj: wnvb * svvz
    986 ptmg: 3
    987 dvbb: qwgc * dzhp
    988 wjvz: crvz * mgrb
    989 dhpt: 17
    990 jsqn: 4
    991 phdb: 10
    992 zzlw: 1
    993 llcd: ztjw * rnlc
    994 crld: sdsg * fpdc
    995 jfnt: rqlv + hlqg
    996 dbsp: rzlh + jsqn
    997 wzdj: 5
    998 szcs: bglw * cnsh
    999 wwqm: bbdm * tlwp
   1000 dnrs: 5
   1001 mdgb: 6
   1002 mmzm: ggzj + gwww
   1003 cphp: 5
   1004 wbrs: jqmv + pzdl
   1005 qvnp: 2
   1006 wpqr: 15
   1007 ccmz: wncw * nzpn
   1008 frtq: 5
   1009 dpqn: 2
   1010 grnb: 3
   1011 brjj: lfjp * clfq
   1012 hjbn: ndpn * qwvn
   1013 msfq: gctq + blgq
   1014 wtpm: 2
   1015 gbsw: 3
   1016 mfvr: llcq + slgm
   1017 jcmg: cwhp + fjnj
   1018 tfzl: 19
   1019 spcz: 9
   1020 cqpp: tpzb * sjld
   1021 qqhb: 2
   1022 nhst: cjpm - gghd
   1023 ztjw: 2
   1024 wwsn: 4
   1025 dfcc: mwnz * pnbt
   1026 zjsh: 5
   1027 ppfp: 2
   1028 rcss: qbqs * fqtd
   1029 dcmv: 9
   1030 njfv: tfmw + zbdh
   1031 bvqq: bwhh * nlhz
   1032 jswt: 5
   1033 jpzc: 4
   1034 zltq: 1
   1035 pshd: lqlw - mdgb
   1036 sgnm: 2
   1037 gbbq: 5
   1038 zmgl: 5
   1039 ddll: 2
   1040 vstm: 14
   1041 tjdh: hvbp * hfmn
   1042 pgfv: 3
   1043 pdrt: ltvh / pnzl
   1044 vpvf: 2
   1045 jbdd: 2
   1046 zwqn: ldnq - hcvv
   1047 sgwj: vmhg - dwpl
   1048 wjdd: 3
   1049 qwdv: 2
   1050 zbdn: qqfq * llcd
   1051 cclh: nntn * vzgp
   1052 cwlg: lmcq * pnbm
   1053 bpwc: wgqm + rhlb
   1054 jzpf: lbcq * dppz
   1055 fstb: 3
   1056 mczm: 2
   1057 mttr: vhgq * qljl
   1058 mmsw: 2
   1059 wqtt: ndmc * jngv
   1060 mbdz: 8
   1061 mdgh: 8
   1062 zhrc: phdb * pwnl
   1063 wjlw: dwhf + dtns
   1064 pbvr: ldrb * dnvq
   1065 gdvb: rcns * pfjs
   1066 ptvl: 2
   1067 wqtw: 4
   1068 zjnr: 3
   1069 nqnn: fcvf * gbdg
   1070 vhvp: bgnn + jcsh
   1071 rqtc: 6
   1072 wzcw: ldfp * jjbt
   1073 ssgw: 2
   1074 jhbf: 4
   1075 ndmc: 7
   1076 pvvz: 2
   1077 zhmn: dfcc + tmvl
   1078 nswf: fjms - wsmp
   1079 mtjr: gdvg - qbsm
   1080 zgbb: 3
   1081 vpqm: jqqw + bwnj
   1082 pqfg: 2
   1083 bwcz: 5
   1084 prht: 4
   1085 qtrs: 5
   1086 rslz: 3
   1087 njls: tmmr * sctw
   1088 tbqc: qtnb + twjg
   1089 ntbv: 1
   1090 dpvt: 6
   1091 shhr: wncg * scgw
   1092 nmfc: 2
   1093 wmdt: 16
   1094 hgqf: mgsh / pbff
   1095 hnjc: 2
   1096 hsgn: 4
   1097 hgwl: vgsr + ttzb
   1098 qmvr: 2
   1099 gcvh: 3
   1100 fhpp: 3
   1101 jwsj: 2
   1102 mjjf: cjsd / bvmw
   1103 vgcg: lgcw + jtfj
   1104 tthn: jcws + qdsg
   1105 tfqj: 5
   1106 mrjs: 3
   1107 dcsb: 2
   1108 prnv: 3
   1109 dsqj: tsdf + wphl
   1110 npst: 12
   1111 gglj: 2
   1112 htlq: 5
   1113 sjjl: 20
   1114 pnzq: tfnn * scpz
   1115 ztwq: gtjp + wzfg
   1116 zvbt: 3
   1117 hrnz: 5
   1118 bggc: sfsl + dpvt
   1119 ssvq: 9
   1120 jldh: hcqj * cqnp
   1121 slmj: qvbl + npst
   1122 dqgq: 17
   1123 zthw: 2
   1124 wnfn: jthn + lrsg
   1125 nwpb: mmjw / dgll
   1126 lpjr: whhj + tddn
   1127 bpnb: ngsm - wrgb
   1128 cdvw: lpjr * dmnw
   1129 njgs: fpgc + ndff
   1130 grrr: tfts * ljgz
   1131 tmvl: ljvj * svgf
   1132 nfmp: 3
   1133 qchv: jbwv + mccg
   1134 zjwz: qvhf * ghsz
   1135 gvwl: cqpp + wltv
   1136 mhvg: qnrt + ndjs
   1137 gvld: 2
   1138 gtwm: mdfq * qdfb
   1139 wsgm: fddr * cqqs
   1140 vnws: lhbs + thnm
   1141 mvwj: 2
   1142 dgzv: dbsp * bfhf
   1143 tlzg: zpnf * pwmd
   1144 brcq: 5
   1145 ptmf: dwgb * wngv
   1146 tbvd: mcbz * wmwn
   1147 cqgf: ctlv * fppj
   1148 vwjh: mmgs * rwdr
   1149 qjnr: pzdz * wjpv
   1150 cwhp: zqmp * zlwg
   1151 fjtm: bmnn / ptqz
   1152 dgls: wpvc - mgtj
   1153 ltfj: 7
   1154 bzfd: 3
   1155 gzrg: 2
   1156 hpnn: tzfp * nhsd
   1157 hwcq: 2
   1158 tbth: 7
   1159 jsqg: 3
   1160 qcql: lqvb * mrjs
   1161 djgc: 2
   1162 chbz: 3
   1163 jwmg: 2
   1164 wdfp: 5
   1165 qvdd: ggdj + dmvg
   1166 mlwd: rvmp * rvss
   1167 dmnw: 3
   1168 gdcr: 4
   1169 pcvc: 9
   1170 frjt: 3
   1171 shdm: 5
   1172 zcnh: 3
   1173 wlhm: 3
   1174 nnds: crwm + nwpb
   1175 btjz: rdvt * pbvr
   1176 ptvc: 2
   1177 hhrr: 2
   1178 tbhz: 16
   1179 jdfc: bwpv * ncgt
   1180 pwnl: qnsp + tqdf
   1181 rlbl: wpcs * jqtg
   1182 gzgp: 2
   1183 mzhm: 4
   1184 hdpf: lfdd * dbrj
   1185 qvds: 5
   1186 tdqv: 5
   1187 pbnc: flft - dgwl
   1188 mdfq: qvnp * wdms
   1189 lqvb: 3
   1190 nlhz: zbtz + mvnl
   1191 vvlc: 2
   1192 vpmd: 11
   1193 glpb: 7
   1194 vrzv: 2
   1195 ppcg: bjhf * mrmn
   1196 gprr: 2
   1197 cddq: fqms * stcs
   1198 lswz: rbhb + rstc
   1199 bfcn: splb + cnhh
   1200 mrmc: 3
   1201 crvz: vnww + ztzz
   1202 wqfv: vhcc + vsbz
   1203 frzw: 7
   1204 plft: 2
   1205 svzm: dsfh * qhgn
   1206 lcqf: lfqr + nwmw
   1207 mzmr: 10
   1208 nhtg: bnmd / zgbb
   1209 vszc: qzgd - gjvn
   1210 zfdl: 6
   1211 hjrd: ldsg + cnrn
   1212 mtzp: qzrv + tslf
   1213 wsmb: rmpc * lgdd
   1214 lhzr: 5
   1215 szgj: 2
   1216 qvbl: 1
   1217 dwrj: twqp * ncrs
   1218 fzlc: tscz * wjrm
   1219 vrqz: 6
   1220 rfmd: hwgg + brmm
   1221 mslj: lfhs + nrst
   1222 dzdf: vstl * bgrg
   1223 jchz: 2
   1224 dgwl: mbrc + jshl
   1225 jdnv: 2
   1226 wfbn: 4
   1227 dbrj: 5
   1228 tqpv: fzbj * vtdn
   1229 bvrr: ffwm * gtzz
   1230 svwm: 6
   1231 tddq: vvfq * tbjg
   1232 jsjd: wjlw * fqrr
   1233 clpf: 5
   1234 vbsd: hjwt / cgfp
   1235 pszc: swmc + vqsz
   1236 jqts: 6
   1237 tssl: htvm + vjmf
   1238 jrpn: 5
   1239 qftr: 2
   1240 zgvh: dctr * cjbz
   1241 vzfh: sdwq + rgnv
   1242 jvzc: jqhd * gwgn
   1243 hfcs: 2
   1244 hhvd: btbr * jjdn
   1245 qdfb: 3
   1246 dhvd: cphp * crld
   1247 rwbw: 13
   1248 nggd: 3
   1249 cvpf: chvp * hflv
   1250 ctgl: 2
   1251 tvhs: 4
   1252 gmpz: 4
   1253 gjnm: frzw * qvgz
   1254 qfwr: 2
   1255 nwft: 5
   1256 jszc: srsg + ffdv
   1257 tdlf: 5
   1258 qnwt: ddjh - dsqj
   1259 wzvl: dvfp + msvj
   1260 djfb: wnfr - bbmz
   1261 ltcm: 2
   1262 ddqm: 10
   1263 zppb: 12
   1264 hflv: 17
   1265 vzmq: scmn * ddns
   1266 scpz: 3
   1267 nmpj: nhtg * vcss
   1268 vtff: qszg / ztvq
   1269 dnrb: 3
   1270 mrlh: 2
   1271 stcj: 5
   1272 lmcr: 17
   1273 sbhb: 1
   1274 zrvl: 3
   1275 rctr: 17
   1276 cgjf: vgfd / fnzr
   1277 hlnh: hwvn + wfbn
   1278 hrzl: 10
   1279 lfsd: 2
   1280 hrcv: 20
   1281 rhqb: 2
   1282 qrhw: 12
   1283 lmqf: 2
   1284 gfbc: qngd * rrmg
   1285 hlgt: 2
   1286 phjw: cdvw * vljq
   1287 rrws: 1
   1288 gghd: jrgw * fmql
   1289 frtl: 10
   1290 rcdg: 12
   1291 fjvf: crzd + lddf
   1292 ggdj: wlgc * ljlw
   1293 fmvt: 2
   1294 pnmj: 3
   1295 rcns: qfwr * rvrj
   1296 zqmp: 3
   1297 bsmz: 2
   1298 rjzw: lgjm * vhng
   1299 jdvv: hrtr * pnrp
   1300 mbtd: nlpl + wtnp
   1301 qjqs: 2
   1302 tlfd: 4
   1303 hvlb: 3
   1304 ntsp: hjbn * mplg
   1305 tlbr: 3
   1306 flld: 5
   1307 twcq: 5
   1308 ggtc: pqqz * zcpn
   1309 tscz: 3
   1310 zhzl: 2
   1311 shzs: 10
   1312 mrwm: 4
   1313 zlts: 14
   1314 lwjz: 4
   1315 lqvp: 9
   1316 lgqq: 2
   1317 gjhd: 3
   1318 vqhz: mbdz * hrnz
   1319 vqjf: jftm * vfsw
   1320 dwpl: 5
   1321 flnb: rjff + mjmc
   1322 cnzm: hrgh * hfhn
   1323 spzc: czsf * zvsm
   1324 hzbh: 5
   1325 ljlw: qtdr * zcwc
   1326 vmpw: 5
   1327 cwmm: tczg * gjnm
   1328 nbjm: zsmn * jbmg
   1329 dbmt: vjtq * vbfg
   1330 wdtp: bwcz * btbn
   1331 tjnh: fnqw + vstm
   1332 phrq: 13
   1333 ncjl: 7
   1334 pcdv: fftf - ddqm
   1335 ftrr: 3
   1336 hrvl: 2
   1337 cqnp: tdlf + hcrj
   1338 nmcr: 3
   1339 zmzt: sbhb + vjnd
   1340 srfg: 5
   1341 htvm: 18
   1342 dnvd: zmfh * nqwb
   1343 wfqq: prlb * nfpn
   1344 smmb: gtzp * hqmp
   1345 ftnh: ddst + ppvw
   1346 wlth: 5
   1347 psmd: 4
   1348 nchp: 3
   1349 splb: ddsl - lzpm
   1350 flhq: nqnn * tfhp
   1351 snmh: ccvp * plft
   1352 zzmg: dwzg + grml
   1353 lfqr: zvjs + dwnf
   1354 mwcc: 5
   1355 ldrb: 3
   1356 zbfl: 2
   1357 wjpv: 4
   1358 hhqv: rgpp / qdnm
   1359 wdwj: nldc / nwrd
   1360 bncz: 3
   1361 gjws: 12
   1362 gvtw: zpwf - jhwt
   1363 wlsr: wdtp * tglj
   1364 dfjd: 3
   1365 pjqj: 20
   1366 qcdj: jbqm * hblv
   1367 wjlz: 16
   1368 njdb: tddg - glwg
   1369 qwqr: vgsn * vvmv
   1370 ztvq: 3
   1371 gpgm: 2
   1372 tddn: hpsd * qqhj
   1373 bfvc: 2
   1374 dnng: 2
   1375 rjpw: hlgt * jlsn
   1376 trdt: qclt + qzzs
   1377 mljh: gbph * mwqn
   1378 mjst: njcd + lcmg
   1379 dvpw: 3
   1380 lgjm: 2
   1381 ncvh: vhhz + lzlg
   1382 vmjm: brtb + mbgb
   1383 hfhn: ssvs + ddcb
   1384 wltv: wwlv * hfvw
   1385 hcnw: 7
   1386 lctq: 5
   1387 jhfp: gjws + bmsg
   1388 jzjb: 2
   1389 dbrt: 2
   1390 jngv: lgnh + wsgm
   1391 gnfl: hvfd - lrlp
   1392 qdcs: 4
   1393 zpnf: 3
   1394 fsjv: 2
   1395 bvpg: 3
   1396 zhbj: 3
   1397 nwlt: chtn + sdfs
   1398 pqqz: 5
   1399 qwws: rpwc + pdzc
   1400 lbpv: zqwh + fssb
   1401 cfrc: lljs * ndlp
   1402 gzrc: 2
   1403 gvgb: 1
   1404 hzrz: 3
   1405 jltf: blcm + lptn
   1406 jhqr: 3
   1407 lbsd: qmzb / clpf
   1408 zqnj: 18
   1409 ftws: 19
   1410 zvjs: fpjl + jptg
   1411 fvml: vqhs + lvpq
   1412 fzbj: 2
   1413 gtjp: 1
   1414 njcd: fqft + lqgq
   1415 tmmz: nnds * qtwf
   1416 pnbm: 4
   1417 hwjm: bwmp * tbcf
   1418 wphl: mzmr + qdjf
   1419 hlhh: 2
   1420 dgvf: 12
   1421 dfzs: hqqq + ssgn
   1422 hlbq: tvhs * vccs
   1423 vbng: spqh * pwvm
   1424 pbfj: wbwv + mzfm
   1425 bfhf: cnnw + plmd
   1426 zbbv: 12
   1427 zczp: 17
   1428 wwhh: rlbl + fsbf
   1429 gbtc: hlwv + hlwz
   1430 tpsm: 2
   1431 pdbt: pjlf + srhs
   1432 jqtg: 2
   1433 fbcb: nfmp * tphz
   1434 vvfq: qhnc + jldh
   1435 spct: 8
   1436 nhqw: jqqq / bsmz
   1437 pvps: 2
   1438 tggg: 12
   1439 rjrf: htbc + frdt
   1440 mzbz: 6
   1441 dfbh: 3
   1442 hsjh: lzfr / lqrj
   1443 wqsg: hpzf * zlph
   1444 rgdw: ntwd + pvps
   1445 bqcz: 5
   1446 gdmt: btml - rslm
   1447 ndpt: 2
   1448 mppn: 19
   1449 shsv: 7
   1450 gswq: 1
   1451 rjzv: 5
   1452 zhdj: jhrh * zhzc
   1453 grml: pqfd + fdnr
   1454 vqjn: 10
   1455 wdnj: sgcw + cgcn
   1456 dsdj: mbsv + mjjf
   1457 ssnl: 11
   1458 mddj: 5
   1459 rmjp: vpvv * ppfp
   1460 rvdz: 7
   1461 vjmb: 2
   1462 ljts: hpfc * hsjh
   1463 lmqm: 1
   1464 bhfn: dvct * fbcb
   1465 ftzh: vqjn * crww
   1466 hwgg: 2
   1467 cqqs: 3
   1468 hjgj: 2
   1469 jztm: 13
   1470 ghbc: 6
   1471 wncg: 3
   1472 rjmz: 2
   1473 htbv: 11
   1474 ndnp: 5
   1475 rfzz: 3
   1476 wfgc: dpqn + tlpz
   1477 dvcz: 3
   1478 qwmt: rrbn * zthb
   1479 hwcm: 4
   1480 mptj: zfdf * rptg
   1481 tbcf: hbvn + zhvq
   1482 sbqt: vfnm * pdjp
   1483 tphz: 3
   1484 pnbt: bszg + gnmt
   1485 wnvb: gpfh + cmbf
   1486 qbqs: hnfp + wjqd
   1487 vshl: rbvb + pjvn
   1488 jrpc: nrqq + hblr
   1489 zcpn: 5
   1490 fnzr: cvnq + tfcs
   1491 vmfl: ctlr + qjjd
   1492 dhhf: 5
   1493 ndhf: cvpw / plrw
   1494 zvcw: 6
   1495 fjms: vsmj / lhzr
   1496 bhtd: fnpj * dptd
   1497 vfnm: 14
   1498 hvfd: hpdp + mgpj
   1499 twcs: tdrv * hvls
   1500 tmlc: 3
   1501 dsll: hgwl * vncm
   1502 vcmt: vjcb * snbr
   1503 bjnf: srgf * ftts
   1504 scsh: 13
   1505 qrpr: dbmt + zbbv
   1506 llvf: 13
   1507 dfpr: 7
   1508 gvgd: 1
   1509 lqpl: 4
   1510 ngdf: nbrv * wwwc
   1511 hbtv: 2
   1512 lfrj: 2
   1513 mbrc: tbzv - ptmf
   1514 bhnw: qqbg + vwmm
   1515 gcfc: 7
   1516 bmfr: wflc * gzgr
   1517 wbrc: lnwn * cjzn
   1518 dgll: 2
   1519 ddsl: 17
   1520 vzgp: 5
   1521 cwmp: 4
   1522 ddns: rrph + zchz
   1523 znfh: fgsd * hcss
   1524 mvnl: 4
   1525 mwjn: 2
   1526 vwds: mpcm + blww
   1527 brtb: 7
   1528 zwls: 7
   1529 hhpm: 3
   1530 gtmz: 5
   1531 pgcb: qdpl * dnrb
   1532 tcrn: qwmt * lchq
   1533 qzhb: frtq * drdc
   1534 prcm: wjwl / czhc
   1535 mtzt: fjvj * gjfs
   1536 fdqz: brwh + chjr
   1537 plrw: 2
   1538 gqhb: mpgn * rvjs
   1539 qtjc: 18
   1540 hrtr: 4
   1541 mwgz: 17
   1542 snbr: 2
   1543 dnsj: 3
   1544 rrcs: qccw * ptmd
   1545 rnds: 5
   1546 nbdr: smmb / vjnm
   1547 gczz: wjwd * jwsj
   1548 hqmg: 17
   1549 zzdv: nnjz * sfzn
   1550 fhph: 3
   1551 qwgc: 2
   1552 dvhl: bpjh * rrpl
   1553 rpwc: lqgf + stbv
   1554 gntr: 2
   1555 wwwt: 5
   1556 jdcc: 1
   1557 bmsg: 1
   1558 blqg: vshl + dwrj
   1559 vssd: nsmp * wgfd
   1560 dfrr: zwqn / wwld
   1561 vpqs: rgjv * hpcn
   1562 wsns: 7
   1563 thwh: prcm - spqb
   1564 ndzs: qwhg + pqwf
   1565 jfjm: 3
   1566 hjdd: 2
   1567 wwld: 6
   1568 tgzr: ljtq + lvwj
   1569 hvls: 4
   1570 mdzm: 3
   1571 fmjw: dphm * wmzn
   1572 lbrm: dplt + ndvz
   1573 vzlr: 3
   1574 tlch: ljbd - fndj
   1575 vcmg: cbdp + dvnp
   1576 ncjj: lfrj * fbgz
   1577 ssgn: fpvg * qdcs
   1578 hbdh: sfqb * btcn
   1579 stcs: mdwj + shhr
   1580 mqzv: wzbf * rslz
   1581 sjlw: 3
   1582 smzb: zwnh + wmdt
   1583 gpch: gwdq + zlgw
   1584 lglv: 2
   1585 wflc: tdch + zwds
   1586 lpnz: 14
   1587 svgf: 11
   1588 thpp: pglz + hcrm
   1589 ncsb: ljlz + jmdn
   1590 tstt: 4
   1591 cpcs: bbjt * hcwt
   1592 pwhq: rqbs + nmzd
   1593 tglj: jrjs * pjjr
   1594 tlpg: zdfz * nmrr
   1595 jjjt: 16
   1596 gfhl: tdqv + cvpf
   1597 ntzw: 2
   1598 hcss: 3
   1599 wlzg: 3
   1600 zwnh: 7
   1601 rrph: sqqt / brzn
   1602 vstl: mrlh + dhhf
   1603 bbdm: 2
   1604 vdds: hwbc / jgjd
   1605 tppt: 5
   1606 ljnn: nczc + fvml
   1607 nfcq: srfg * pvhj
   1608 qnsp: 2
   1609 drlq: 2
   1610 qszg: vgcz + hwfd
   1611 fzvm: 2
   1612 rqhj: ptmg * wcrr
   1613 vnch: mbtd * htlq
   1614 lzpm: 4
   1615 jptg: rwch * bhfj
   1616 hdtm: 4
   1617 jcjv: rhhp * cpcd
   1618 wncw: nsvt + vwwf
   1619 mgtj: 2
   1620 wpjd: pszc * dhpr
   1621 twjg: 11
   1622 gjfs: 14
   1623 hnfp: ldcd * wqns
   1624 jmdr: scwc * wwsn
   1625 lbng: hjnl + rzsf
   1626 zprs: bjbz + nwft
   1627 plmd: zzwt * gvwl
   1628 mmgv: hhzv + lpnz
   1629 ppwp: jhbf * qgjz
   1630 zjrg: nbdr * tllp
   1631 nrpb: fdbz * bmfs
   1632 vnft: 14
   1633 nbjv: 6
   1634 lpcb: hjdv * mlgf
   1635 bbnn: 3
   1636 fjnj: 2
   1637 fmmj: 6
   1638 zthb: 5
   1639 lqpm: 3
   1640 lhcn: 4
   1641 rnlc: 5
   1642 sjld: 7
   1643 ztzz: 1
   1644 bcvh: 3
   1645 lrlp: rqhj * bpct
   1646 jjdn: 13
   1647 tdrs: 2
   1648 thqn: ffsg + fbqz
   1649 tvwz: 3
   1650 ltvh: 12
   1651 vwwf: 4
   1652 mrmn: 2
   1653 cnnz: 2
   1654 ffsc: 4
   1655 mgrb: 2
   1656 mcbz: 2
   1657 gwdq: djgc * gbfm
   1658 rrgm: zwls + snmh
   1659 dtmn: 6
   1660 tpzb: 3
   1661 mpcm: sfcf * jpms
   1662 dnpd: 2
   1663 dqgt: tlsg * pdtt
   1664 tnjc: bvlv + tbqc
   1665 qvmf: ncsb + mgmb
   1666 jppv: fmjd + fmzw
   1667 lptn: lrhw * rbgz
   1668 cjsd: cjrd + ngjn
   1669 clfq: 3
   1670 jtbh: dzjc * mnms
   1671 dbht: pdbt + fcjn
   1672 vtlz: mtpf + ccjz
   1673 csjz: jqhz * qmvr
   1674 nqfw: 5
   1675 wtnt: qwph * dvbb
   1676 rvnn: 3
   1677 nfvw: 2
   1678 zwmh: 5
   1679 hqqp: nzmv / rwlz
   1680 wcwl: 4
   1681 dhtg: nqvq * blsh
   1682 chht: mqzh * jmnq
   1683 gdcz: vwgj - cqlp
   1684 grtl: 3
   1685 dzvt: sjjl + vvlc
   1686 pbgc: 3
   1687 bwjq: qjqs * bncz
   1688 jhwt: 6
   1689 dfmg: gcpq + jstz
   1690 rrpl: bgtp / tnqc
   1691 cppm: 3
   1692 qlwz: 5
   1693 pccw: 4
   1694 qpls: 2
   1695 dcfb: rjfs * rllj
   1696 llqz: bljd * ssnl
   1697 hvqw: nwcn * ldsz
   1698 dwfs: 5
   1699 qzwb: 12
   1700 mtzq: 3
   1701 gqpt: vzfc + tbpt
   1702 qtwf: 3
   1703 ngjn: qzlq + tghv
   1704 htwg: 2
   1705 zrdq: nvnh * lrvl
   1706 djjg: ptfh * hmgd
   1707 dzjc: 3
   1708 djgj: 6
   1709 mglc: 5
   1710 fpgc: nfhv * cwlg
   1711 brmm: dvhl / qhdp
   1712 cnsh: 2
   1713 lqzn: ccbp * swnz
   1714 gwgn: vdps + phgf
   1715 msnl: vwds / hfcs
   1716 chpw: 5
   1717 sgpg: 10
   1718 lhrm: lwjz + fvrq
   1719 mftq: 2
   1720 tslf: hhvd * ddfm
   1721 wncd: bpns + wqtt
   1722 nwmw: bpnb * mzpf
   1723 jmgz: rdgt * cfwv
   1724 gbfc: 7
   1725 vjtq: 4
   1726 lsft: tncz - gpzt
   1727 gpmn: jszb * brcq
   1728 nczc: 5
   1729 dnvq: 2
   1730 fcvf: 2
   1731 glhl: 1
   1732 qgqp: tstv + mlhh
   1733 vmqz: 3
   1734 tlwp: 11
   1735 ddst: 5
   1736 gjqh: 2
   1737 nmdl: 3
   1738 qrhv: przl * gbbq
   1739 lvwj: 16
   1740 clnz: lsft * wqsg
   1741 zfbf: fqtt / jppn
   1742 rwfc: 2
   1743 jbmg: nlsz / mlnn
   1744 psbw: 7
   1745 ljql: 13
   1746 cvmv: jffp * szgj
   1747 bwnj: mqzv + cvmv
   1748 wwlv: 2
   1749 qglp: 1
   1750 qjhj: 2
   1751 jzps: 2
   1752 ffsg: tqlc - fjhp
   1753 qjcn: tlch + qrcn
   1754 fjhp: glzn * cmms
   1755 rlpn: hnmz - qtfs
   1756 szcb: cqfh + gnfr
   1757 zqwg: gnfg * lqqg
   1758 lrpn: 2
   1759 sqqt: lvlm * trdt
   1760 bvmw: 2
   1761 zpvw: 5
   1762 rwlz: 2
   1763 schl: gcwt + nrcl
   1764 drpt: lhzq * qmtr
   1765 bqsb: dnfc - vlst
   1766 jdfz: 5
   1767 nlvv: 4
   1768 rjmh: lctq * lfqf
   1769 dwlz: cwmm + nwhj
   1770 dvct: 3
   1771 tcbz: rjvr / prjh
   1772 tcfq: 4
   1773 qvcb: hwls / hpcs
   1774 mwhs: 16
   1775 gznh: 5
   1776 swnz: 3
   1777 thcn: srrv * jdnv
   1778 tmbg: 2
   1779 ljsb: 16
   1780 qnnz: ldmt * hhrr
   1781 qdfm: mwhs * bfvc
   1782 vgfd: qsqw * nhtr
   1783 cvcc: mzrm * lmbd
   1784 hzjv: mcdz * prnv
   1785 zhfp: vrpd * wdnj
   1786 mlgf: 14
   1787 nmzd: rgbh * bpqn
   1788 cmwp: wfjz * gjqh
   1789 tfhp: 3
   1790 root: zhfp + hghd
   1791 vtnb: nrwj + rhwv
   1792 ltpp: vcgw * hqdl
   1793 wbhc: zgtr + scrb
   1794 wzzh: 8
   1795 ccpw: mhsd * zmzt
   1796 mtgn: 16
   1797 drgf: 13
   1798 rnwm: 16
   1799 hfhc: nwvr * zjsh
   1800 tfts: 4
   1801 tjjs: mcqw + fsqs
   1802 glfz: 2
   1803 ldzq: zzgp + nbjv
   1804 cdgs: bldp + dtwp
   1805 zlhb: 4
   1806 wclf: dcmv * gdcr
   1807 hszg: fcwq + htzb
   1808 cwzd: 2
   1809 jbgd: 5
   1810 jbvr: 13
   1811 vtdn: 7
   1812 dppz: 2
   1813 ldsg: gqpt + njgs
   1814 tfrr: vpth * fmmj
   1815 vvmr: 4
   1816 ztjs: cvcc - gtnp
   1817 jszb: 5
   1818 tbpt: srhg + tblr
   1819 fpvg: 2
   1820 fdbd: 12
   1821 ljlz: 19
   1822 lnbd: lntr + ptrh
   1823 twqp: zqnj + rqsh
   1824 mhbb: hlnl * vbsd
   1825 nzsq: 1
   1826 rdvt: 2
   1827 ppvw: 7
   1828 ddjw: hlbq - vwjh
   1829 wgrt: vdmp + lttb
   1830 mvzw: plvm * qfht
   1831 fszn: 7
   1832 mchv: 5
   1833 bwmp: 2
   1834 drft: 4
   1835 bgqp: 7
   1836 trgv: tbvp - qzmc
   1837 nwqw: vtlz * qchv
   1838 ntwd: llqz / rdgj
   1839 jfld: 7
   1840 tblr: tlrl * rwbw
   1841 dmvg: bqsb / jbdd
   1842 nqwb: 3
   1843 tnnr: 2
   1844 hzcg: wmwz * nnwg
   1845 fcjn: 12
   1846 lcmg: 8
   1847 cczl: qrpr + jgfg
   1848 rgfm: vqrn + dzrf
   1849 fpdc: 7
   1850 pqdc: 5
   1851 rdml: 1
   1852 nttj: 3
   1853 qszr: 7
   1854 qmzb: qvzl * bgqp
   1855 pwsb: 2
   1856 lzdj: 19
   1857 bldp: dvss * jhfp
   1858 ljvj: rwtt + prvm
   1859 vgsn: tcrn - ftws
   1860 ngtf: 10
   1861 wzbf: 2
   1862 pvhj: 2
   1863 fvdm: 14
   1864 mmjw: gvtw * dlpb
   1865 jlzw: 2
   1866 qhnc: zczp * gzrc
   1867 thvj: 4
   1868 mgjp: 1
   1869 qgnb: 3
   1870 nmrr: 3
   1871 bqht: pvvz * fppf
   1872 fqtd: lcqs + jllt
   1873 nznl: nslr + qlpn
   1874 qlpn: 2
   1875 rgjv: sqzv + hbdp
   1876 mcqw: 6
   1877 nnvb: ltfj * hcvh
   1878 sdfs: 10
   1879 mdmt: 2
   1880 zhrs: jrcb * ndzs
   1881 rgpc: qvql * dnng
   1882 jllt: 7
   1883 pzdm: gtwm / mrhp
   1884 pzdz: ztwq + qglg
   1885 czhc: 7
   1886 jffp: 17
   1887 mbqh: vtzz / zvzw
   1888 hfmn: 2
   1889 srlt: 2
   1890 cmgv: lrwv + zgsr
   1891 wdms: 7
   1892 rvrj: 11
   1893 lczw: ftrr * gbfc
   1894 ncvt: sgpg + rrcs
   1895 vttq: 6
   1896 hcdc: 2
   1897 vzbv: lfqp * qtgr
   1898 wgqm: fdpp + dgls
   1899 fnqw: 3
   1900 lfhs: gpch * hpbj
   1901 wfqw: spww - mlqm
   1902 hqvl: cddq / qwvp
   1903 fppf: jtbh + dqgt
   1904 rjff: pdvb * fnrn
   1905 bsvl: 10
   1906 mtml: 3
   1907 hrgh: 7
   1908 ptfh: sgws / bgwg
   1909 ndjs: drgf + pbhd
   1910 gvrm: 4
   1911 btsl: 4
   1912 zqdc: rbhz * nnph
   1913 fpjl: wtlp + dfjd
   1914 cnqb: 2
   1915 hsjv: hndr + jrtn
   1916 nqmm: qgnb + wzvl
   1917 fzzd: rchm * lswh
   1918 qlmp: qtjc + dfnv
   1919 nrzl: drhd * bcvc
   1920 cfmn: lsbv / hlhh
   1921 mtrw: 5
   1922 rzlh: lzbf * jfzc
   1923 gplc: vgcg + zvtn
   1924 qvlz: mjgm + ghbc
   1925 gnfr: 1
   1926 spqh: 5
   1927 csrz: jfjm + lqpl
   1928 rwch: wtpm * dbgl
   1929 hmsc: vmfl * cfgp
   1930 rwdh: zpmq * mqfb
   1931 vjnm: ppvj * ltcm
   1932 lmlt: cwmp * cnqb
   1933 ccjz: vqmg + pllq
   1934 mqfb: wfqw + hhpm
   1935 vsjp: 3
   1936 lntr: 2
   1937 zwcl: 17
   1938 rpqc: hfvl * mbqh
   1939 fcwq: hwwm * lfdm
   1940 bttg: rlpn + ctvz
   1941 lqrj: 2
   1942 djqc: 5
   1943 nrst: bppf * hcnw
   1944 wfbv: dshb + ngpp
   1945 svrv: 2
   1946 zgtr: 5
   1947 rzbs: bgwp * pwhq
   1948 jzln: 3
   1949 jnwm: 1
   1950 lqgf: psmd * pqgn
   1951 zjlh: 2
   1952 lfqp: 3
   1953 vbbs: mtzq * rfrs
   1954 smbf: lbrm * dbfs
   1955 jcsh: 11
   1956 sdlv: 5
   1957 lwjh: fwnf + jfqs
   1958 tdlm: 19
   1959 mzfm: tsjf * cwcv
   1960 cfmj: wdng * ngsf
   1961 gtzz: hhvv + ldrw
   1962 phgf: 2
   1963 ldtq: 5
   1964 wfqb: scsh - mtrj
   1965 jpmr: 2
   1966 dvhc: hvlb * bdlr
   1967 rwjl: ncjl - qtzz
   1968 vsrz: 2
   1969 ctlv: 3
   1970 zdsb: 1
   1971 ctvm: 8
   1972 lswh: frtg * mdgh
   1973 hpbj: vhvp - jbfp
   1974 jbqm: 2
   1975 bbjh: 4
   1976 vdps: 7
   1977 zqwh: njdw + vqsp
   1978 drrb: phlw + jjrr
   1979 mtrj: 2
   1980 qdnm: 2
   1981 fsbf: dtmn + qzhb
   1982 fvcc: 11
   1983 jstj: mdrm + zqwg
   1984 hrwm: thcn + mnwm
   1985 srhs: rdml + fmjw
   1986 bzjj: vmqz * wqqh
   1987 jwhp: vgts + bwwz
   1988 zzgp: 5
   1989 lfjp: 3
   1990 bpll: djlv * fzmp
   1991 qbsm: 2
   1992 qqwz: lgpw - jjzc
   1993 hqmp: dqgq - qwlr
   1994 lfgf: 3
   1995 tjzh: 2
   1996 wqsn: zdcw * vmjm
   1997 nhfw: pwtr * dfzs
   1998 zrwd: 3
   1999 pjvn: nqpj + twcs
   2000 ntnq: 7
   2001 qngl: tlpg + rfbv
   2002 jmnq: zfbf + nrzl
   2003 jjsp: 2
   2004 jpjc: tthn - zvrs
   2005 msqr: nzjg * zrvl
   2006 fshf: 2
   2007 jqhh: wlsr + vjvh
   2008 ctwp: 2
   2009 nrvs: 2
   2010 cglc: 3
   2011 zsjb: 5
   2012 pbrt: fmbs + cpcs
   2013 zmfh: mqbv + dhht
   2014 glgt: hhqf + njnt
   2015 pwvm: hwvg + ncjj
   2016 vjcb: 3
   2017 vjmf: tcfq * lnbv
   2018 wgrs: 2
   2019 vdbd: 2
   2020 gtfc: tjwc + qcdj
   2021 htjn: ltft * tllg
   2022 hqdl: swvg - mcsc
   2023 rvss: 16
   2024 lqgq: 15
   2025 bccm: czgc - gvgd
   2026 bwsq: rwdh - cfrc
   2027 vrpd: 8
   2028 jjbs: 4
   2029 gslb: fbws + rnwm
   2030 vshr: 2
   2031 mjzm: gzmq * tlfd
   2032 grfl: 3
   2033 jqhc: 3
   2034 zvzw: 2
   2035 prdt: glhl + hqvl
   2036 rslr: hsjv * tdlm
   2037 rldn: vzjm * jgls
   2038 vwmp: brns + lczw
   2039 wjwc: 2
   2040 rgnv: 3
   2041 gggz: 6
   2042 bgzj: 5
   2043 qfmj: qmql + jpmr
   2044 hfrz: 13
   2045 jjcq: 15
   2046 dbgl: 5
   2047 gmnc: 7
   2048 rgfh: lrpn * htdr
   2049 gtrl: 17
   2050 fqms: 4
   2051 lvlm: 2
   2052 hqjf: tqfv * jjpm
   2053 jdfv: gpff * tstt
   2054 nsrm: 2
   2055 dphm: 3
   2056 fdbz: 3
   2057 stnh: hnfd * fjrq
   2058 nnph: 13
   2059 lmcq: 8
   2060 zfcc: 20
   2061 tdrv: 7
   2062 ngml: 2
   2063 lzfr: cwzd * fmwb
   2064 ghsz: zzvb * mbts
   2065 svjq: mjst * hnmn
   2066 tnrg: 6
   2067 hvpg: qdfs + fvcn
   2068 dbqh: 2
   2069 mmgp: 2
   2070 qsfc: mzgg + sjqq
   2071 hhqf: dnhd + jbth
   2072 vfbf: thlv - msff
   2073 qhrs: nhst / zhfg
   2074 brfg: tqpw * fhpw
   2075 tpgr: zvbt * dtpf
   2076 jjbt: 2
   2077 dqbp: vjwh / jjsp
   2078 scgw: 5
   2079 phzt: gbsw * vrbp
   2080 mwdw: 2
   2081 ptls: 12
   2082 jrcb: 2
   2083 bgnn: htbv * fshf
   2084 wnnf: bcpv - zqcf
   2085 vnsp: qrhw + gzbc
   2086 gbhr: nrld * blmh
   2087 jfzc: 3
   2088 mplg: vpqm + tcfl
   2089 tppn: 2
   2090 jtbp: nmhz - bsqc
   2091 srcq: 3
   2092 pttl: rfzz * dnvd
   2093 jttb: zqvt * pcvc
   2094 fnrn: 6
   2095 vhpz: 7
   2096 npgp: nhqr * rwfc
   2097 cnhh: 2
   2098 nlpl: 1
   2099 wjmt: vflg * hmsc
   2100 brng: 3
   2101 mbts: lddp + nzsq
   2102 qljl: vzbv + mbjt
   2103 rhgt: mdwp * vpvf
   2104 fwpn: 2
   2105 mdwp: 3
   2106 rvmp: 2
   2107 zqtb: 3
   2108 ncrs: 2
   2109 mmrf: dmzf + rpqc
   2110 zspq: jzpf * tpwt
   2111 dsfh: 3
   2112 mpgw: 5
   2113 btrt: tbvd - prlg
   2114 jbfp: lmlt + mvwj
   2115 hgsr: 3
   2116 rllj: 2
   2117 wqgg: hrqs + rpgq
   2118 nrcl: slmj + gvgp
   2119 hpsd: 3
   2120 qqwf: ncvt * bpwc
   2121 tlsg: 5
   2122 hfcg: frpb * jstj
   2123 wmwz: jdfc + tmsb
   2124 bglw: mptj + hhtm
   2125 tdvc: tjvl * gglj
   2126 tcfl: wlnb * fbnl
   2127 njnt: sqrh + cjjr
   2128 fjvj: ldtq + rvtm
   2129 jqqw: hnzz * gplr
   2130 lmvt: zqjl + wjmt
   2131 cggn: 3
   2132 gvgp: 11
   2133 gpff: 3
   2134 jngf: mnfg + cfmg
   2135 jrgw: 4
   2136 qzmc: zhrh + tdcr
   2137 dghz: 4
   2138 zhzb: fzlc + btrj
   2139 mrhp: 7
   2140 jthc: dhbb + zwwq
   2141 jgjd: 4
   2142 cgcn: fbmv + lcvr
   2143 nnjb: 2
   2144 ttsv: 13
   2145 gdvg: 10
   2146 mmgs: 3
   2147 hbml: 4
   2148 jppn: 4
   2149 spzt: mswg * qqhb
   2150 gbph: 5
   2151 cfgt: gfdw - bfsf
   2152 hwvg: dcpd * hqfv
   2153 bwhh: 5
   2154 lmgz: shdm * vdvd
   2155 zhfg: 4
   2156 jsbq: 2
   2157 hdvc: dghz * wbrc
   2158 vmgn: 5
   2159 ddjh: jqmz + rzbs
   2160 vnfc: qftr * wmwq
   2161 hddh: zfcc * hjgj
   2162 tqlc: crmv * sdlz
   2163 lrsg: jctj - fwlf
   2164 qqhj: spcz * ssvq
   2165 ftts: qvnj / hgvp
   2166 hpqd: thpp + hldm
   2167 cfwv: dqvm - dgzv
   2168 tmtp: 6
   2169 rbvd: dzgh * jqhc
   2170 bwpv: jcgd + vssd
   2171 hzfj: wlch * bjvp
   2172 hfgs: 2
   2173 rbhb: rvnn * pmcp
   2174 gzgr: 3
   2175 ljfn: lmcr * pjqj
   2176 gmbp: 3
   2177 cvnq: 2
   2178 ldnq: lcmt * njdb
   2179 btbr: gtrl + lwfm
   2180 qwvp: 4
   2181 zpfh: 3
   2182 tbhl: 2
   2183 vjmp: ndnp + lbqs
   2184 mbmd: 5
   2185 hndr: 5
   2186 qtzz: 1
   2187 pftv: tsnb + mljb
   2188 mjpf: gcww * ctwp
   2189 srtz: 2
   2190 dnlg: nsgc + lwjh
   2191 cccn: rdhq * cfgt
   2192 vpjw: qvjs / srtz
   2193 nrqq: ggtc + tnrg
   2194 hrnv: 3
   2195 rjhr: 2
   2196 fqrr: 4
   2197 pdzc: rcwr * vdbd
   2198 qvhf: 4
   2199 gwlt: 2
   2200 tmsb: fvdm * wdwj
   2201 jthn: wgwv * wzdj
   2202 sfqw: 2
   2203 vhzd: pgcb - nrhb
   2204 vvmv: mfrl * zbfl
   2205 vrvs: 2
   2206 tnvf: vzmq * vjmb
   2207 rprp: znlm * tvwz
   2208 vtzz: fwgr + frtl
   2209 sdfm: 3
   2210 dghp: 7
   2211 qdpl: tdvc / dcsb
   2212 hcvv: hcfd * thvj
   2213 msdv: ntzz * zpvw
   2214 spqb: dsdj * sgnm
   2215 svzn: 2
   2216 sdlz: csjp * cppm
   2217 zsrs: 2
   2218 dhpr: 5
   2219 mwnz: 5
   2220 gpfh: 9
   2221 rnwn: ndmn * flld
   2222 mqcz: 15
   2223 jcgd: 1
   2224 pzdl: 4
   2225 dprw: wqsn + ljsh
   2226 hhtm: mftq * rhqg
   2227 trpm: 5
   2228 nwvr: 3
   2229 blsh: 4
   2230 vhcc: qzvd * fdbd
   2231 nlsz: dvgv * njfv
   2232 vgft: 20
   2233 mjzd: qnnz * glhz
   2234 ppdj: 5
   2235 scrb: mtgn + cnjg
   2236 jtnc: 20
   2237 rvjs: 3
   2238 qnlg: gcld * ddgb
   2239 jftm: 2
   2240 sfss: ppwp / qwdv
   2241 vqsp: gnfl + gntr
   2242 mztz: 3
   2243 zvpl: qqwz + pjsd
   2244 dbrv: 14
   2245 nzzq: 3
   2246 tfnn: 3
   2247 hjmt: 12
   2248 nrbv: 2
   2249 mqmv: sffq + zqfw
   2250 wpmm: 5
   2251 wqns: 2
   2252 wlnb: 11
   2253 fsgd: 3
   2254 mbsv: dzvt + wsmb
   2255 glhz: csjz + fsvs
   2256 pdjp: ngvh - wpfw
   2257 lrwv: 9
   2258 jrdq: 16
   2259 qhgn: 5
   2260 gqbq: bsvl - grfl
   2261 cwtn: znfh + tnjc
   2262 qhdp: 3
   2263 pmsr: pzfh + hcdp
   2264 gbsl: sglg * gpgm
   2265 rbfv: qdcm * sgwj
   2266 jbth: msnl * hdtm
   2267 rqbs: slbf * mbmg
   2268 wjwd: vvmr * wdcn
   2269 hbph: 2
   2270 zpbn: prdm + tscq
   2271 ghwp: 2
   2272 swvg: cgnn + mldp
   2273 vmhg: 18
   2274 hpcs: 2
   2275 frpb: 2
   2276 jhdc: jdcc + vcbv
   2277 pqwf: pbnc / ssbq
   2278 qvql: ltpp + prvw
   2279 fcvq: 5
   2280 gqrj: 4
   2281 qmql: lgfn / jjbs
   2282 hlvd: 4
   2283 sgcw: jtbp / spfg
   2284 tqpw: 4
   2285 hsrq: npbs + qcql
   2286 nljr: dqbp * nttj
   2287 mvvj: 2
   2288 zdcw: fzzd + jppv
   2289 gdgj: 5
   2290 zcwq: 5
   2291 jrtn: 2
   2292 dplt: 16
   2293 ccbp: httg + lsgf
   2294 tsjf: 6
   2295 bgcs: 6
   2296 vgls: 19
   2297 rsgc: 2
   2298 vhhr: pwgf + gggz
   2299 btnn: 3
   2300 rpgq: 4
   2301 dwhf: vhpz * fhph
   2302 nqpj: 19
   2303 njsw: 5
   2304 czgc: hwcm + hvgv
   2305 fsvs: jlbt * tpsm
   2306 cjjr: 18
   2307 ddmt: 3
   2308 tntr: 2
   2309 bdlr: wpjd + jqhh
   2310 zgfb: 2
   2311 fnwv: hghw * zrtf
   2312 scjj: mlct * ttsv
   2313 fflq: 2
   2314 nlqt: 4
   2315 hpnh: qvmf * bbqf
   2316 qzct: 5
   2317 tbtc: 3
   2318 wfjz: ppjb * ffjf
   2319 mzrm: plzr * rwfm
   2320 hvbp: 7
   2321 fwhp: lfjw * bqcz
   2322 wtlp: lmgz + qwws
   2323 zgsm: 2
   2324 nvql: bbjh + blsf
   2325 sqrh: 19
   2326 gvwh: 3
   2327 mtpf: mdgl - svjq
   2328 gjdb: wqmg * pgfv
   2329 sqtr: wdfp * mgmr
   2330 zfnh: 2
   2331 bjbz: chmm * dbqh
   2332 hglh: 5
   2333 bqcb: jczs + pqfg
   2334 bvbt: rlfn * zpbn
   2335 jqfj: zfdl * vgls
   2336 tbvp: jfnt * dwqf
   2337 wnfr: zzfj / zfnh
   2338 ctvz: 8
   2339 lgsd: vgqb * bzfd
   2340 pdtt: pzzm + gzrg
   2341 tbsd: fzpt * lbng
   2342 lhbs: lccj * jzjb
   2343 rdhq: 2
   2344 rpnq: 3
   2345 jjsd: 2
   2346 jwtq: wwqm * pwsb
   2347 rgpp: glpb + rrgm
   2348 pnwt: 3
   2349 frhj: 5
   2350 fddr: 14
   2351 slwr: szcs + nljr
   2352 lmbd: hvqw + rftc
   2353 gqpf: ptls + ljpg
   2354 srhg: cglc * jmjw
   2355 nsgc: ltsn + jbgd
   2356 lppw: 4
   2357 qvlq: qhrs - hpnh
   2358 hgrg: 2
   2359 vjvh: bmfr * blqg
   2360 dwnf: tmzr / zthw
   2361 clzb: 5
   2362 pglz: zhdt * gqhb
   2363 qdjf: hmhn * mdmt
   2364 pdvb: vbgt + bwjq
   2365 vqmg: jqcj * fjtm
   2366 hnfd: dnrs + vsrz
   2367 wqmg: 2
   2368 chtn: 1
   2369 ccpc: 4
   2370 qlwn: mnmq + tgzr
   2371 ftjl: 2
   2372 fphs: 3
   2373 lhzq: ncrd + jqhr
   2374 hhvv: zsbm + jltf
   2375 mmzw: 15
   2376 hhsl: zrdq * zlbn
   2377 pmpn: 7
   2378 dwlf: sszs * dfpr
   2379 mqzh: mtrz * mbmd
   2380 ndff: 4
   2381 jqhz: 20
   2382 dnfc: vnws / ttbq
   2383 zdbn: wsdr + zdsb
   2384 zqcf: 4
   2385 fbmv: 11
   2386 fsbz: 2
   2387 nnth: fscc * wrst
   2388 bgwp: 4
   2389 nrpt: 7
   2390 hnwb: vbbs * wlth
   2391 wcvw: djfb + jrpc
   2392 gtpb: wzzh + ddmt
   2393 zvsm: 11
   2394 hrmm: 3
   2395 qtfs: 5
   2396 fhmj: 12
   2397 tblh: vbng + hhsl