{"label": "upgrwlkedg", "expanded_label": "upgriswlk", "source": "expanded", "tokens": 9508, "reason": "max_length"}
{"label": "iiconn", "expanded_label": "1re", "source": "expanded", "tokens": 7147, "reason": "max_length"}
{"label": "dprd2db", "expanded_label": "dprdspan", "source": "expanded", "tokens": 7426, "reason": "max_length"}
{"label": "pm2mpf", "expanded_label": "pm2mpval", "source": "expanded", "tokens": 8963, "reason": "max_length"}
{"label": "phllvec", "expanded_label": "isphl", "source": "expanded", "tokens": 10796, "reason": "max_length"}
{"label": "xrlelttr", "expanded_label": "xrlttr", "source": "expanded", "tokens": 6891, "reason": "max_length"}
{"label": "trlres", "expanded_label": "wlkres", "source": "expanded", "tokens": 17184, "reason": "max_length"}
{"label": "pcorev", "expanded_label": "pcorevlem", "source": "expanded", "tokens": 53452, "reason": "max_length"}
{"label": "clwlkclwwlkf1o", "expanded_label": "clwlkclwwlkfo", "source": "expanded", "tokens": 11298, "reason": "max_length"}
{"label": "divcan7", "expanded_label": "divdivdiv", "source": "expanded", "tokens": 9114, "reason": "max_length"}
{"label": "ghmfghm", "expanded_label": "ghmgrp", "source": "expanded", "tokens": 6287, "reason": "max_length"}
{"label": "zrzeroorngc", "expanded_label": "zrtermorngc", "source": "expanded", "tokens": 9359, "reason": "max_length"}
{"label": "srgmgp", "expanded_label": "issrg", "source": "expanded", "tokens": 12562, "reason": "max_length"}
{"label": "m1bits", "expanded_label": "bitscmp", "source": "expanded", "tokens": 15084, "reason": "max_length"}
{"label": "resinhcl", "expanded_label": "sinhval", "source": "expanded", "tokens": 6694, "reason": "max_length"}
{"label": "orngogrp", "expanded_label": "isorng", "source": "expanded", "tokens": 9577, "reason": "max_length"}
{"label": "psrasclcl", "expanded_label": "psrring", "source": "expanded", "tokens": 8539, "reason": "max_length"}
{"label": "usgrexmpl1", "expanded_label": "usgrexmpl1lem", "source": "expanded", "tokens": 23243, "reason": "max_length"}
{"label": "lssnvc", "expanded_label": "lssnlm", "source": "expanded", "tokens": 9394, "reason": "max_length"}
{"label": "xlemul2a", "expanded_label": "xlemul1a", "source": "expanded", "tokens": 17516, "reason": "max_length"}
{"label": "cphphl", "expanded_label": "iscph", "source": "expanded", "tokens": 8762, "reason": "max_length"}
{"label": "fclstop", "expanded_label": "isfcls", "source": "expanded", "tokens": 7205, "reason": "max_length"}
{"label": "lvecprop2d", "expanded_label": "lmodprop2d", "source": "expanded", "tokens": 33457, "reason": "max_length"}
{"label": "drhmsubcALTV", "expanded_label": "srhmsubcALTV", "source": "expanded", "tokens": 13003, "reason": "max_length"}
{"label": "nsmndex1", "expanded_label": "smndex1n0mnd", "source": "expanded", "tokens": 8470, "reason": "max_length"}
{"label": "ringcidALTV", "expanded_label": "ringccatidALTV", "source": "expanded", "tokens": 31357, "reason": "max_length"}
{"label": "ghmima", "expanded_label": "ghmrn", "source": "expanded", "tokens": 8915, "reason": "max_length"}
{"label": "pmatassa", "expanded_label": "matassa", "source": "expanded", "tokens": 9716, "reason": "max_length"}
{"label": "addgt0", "expanded_label": "00id", "source": "expanded", "tokens": 8215, "reason": "max_length"}
{"label": "ser0", "expanded_label": "00id", "source": "expanded", "tokens": 8607, "reason": "max_length"}
{"label": "mulgfn", "expanded_label": "mulgfval", "source": "expanded", "tokens": 15315, "reason": "max_length"}
{"label": "usgrexmpl2", "expanded_label": "usgrexmpl2lem", "source": "expanded", "tokens": 22678, "reason": "max_length"}
{"label": "indistps2ALT", "expanded_label": "indistopon", "source": "expanded", "tokens": 6910, "reason": "max_length"}
{"label": "pfx0", "expanded_label": "swrd0", "source": "expanded", "tokens": 7535, "reason": "max_length"}
{"label": "dprd2db", "expanded_label": "dprd2da", "source": "expanded", "tokens": 71940, "reason": "max_length"}
{"label": "fmfg", "expanded_label": "fgcl", "source": "expanded", "tokens": 8599, "reason": "max_length"}
{"label": "numufl", "expanded_label": "filssufilg", "source": "expanded", "tokens": 9093, "reason": "max_length"}
{"label": "wlkiswwlkupgr", "expanded_label": "wlkiswwlksupgr2", "source": "expanded", "tokens": 12895, "reason": "max_length"}
{"label": "addcomsr", "expanded_label": "addsrpr", "source": "expanded", "tokens": 14104, "reason": "max_length"}
{"label": "mat1rhm", "expanded_label": "matring", "source": "expanded", "tokens": 18352, "reason": "max_length"}
{"label": "dpjid", "expanded_label": "dpjidcl", "source": "expanded", "tokens": 38662, "reason": "max_length"}
{"label": "metcn4", "expanded_label": "met1stc", "source": "expanded", "tokens": 13166, "reason": "max_length"}
{"label": "mhmf", "expanded_label": "ismhm", "source": "expanded", "tokens": 7423, "reason": "max_length"}
{"label": "pr01ssre", "expanded_label": "1re", "source": "expanded", "tokens": 6787, "reason": "max_length"}
{"label": "zcld2", "expanded_label": "recld2", "source": "expanded", "tokens": 7912, "reason": "max_length"}
{"label": "submgmmgm", "expanded_label": "issubmgm2", "source": "expanded", "tokens": 6349, "reason": "max_length"}
{"label": "rehaus", "expanded_label": "tgioo", "source": "expanded", "tokens": 22231, "reason": "max_length"}
{"label": "pmat1op", "expanded_label": "mat1", "source": "expanded", "tokens": 6209, "reason": "max_length"}
{"label": "sincos1sgn", "expanded_label": "1re", "source": "expanded", "tokens": 9636, "reason": "max_length"}
{"label": "wwlksnonfi", "expanded_label": "wwlksnfi", "source": "expanded", "tokens": 6363, "reason": "max_length"}
{"label": "1rp", "expanded_label": "1re", "source": "expanded", "tokens": 6599, "reason": "max_length"}
{"label": "qtopcmp", "expanded_label": "cncmp", "source": "expanded", "tokens": 16895, "reason": "max_length"}
{"label": "sqrtle", "expanded_label": "resqrtcl", "source": "expanded", "tokens": 7775, "reason": "max_length"}
{"label": "opsrsca", "expanded_label": "psrsca", "source": "expanded", "tokens": 6160, "reason": "max_length"}
{"label": "pgpfi2", "expanded_label": "pgpfi", "source": "expanded", "tokens": 18037, "reason": "max_length"}
{"label": "ere", "expanded_label": "1re", "source": "expanded", "tokens": 6736, "reason": "max_length"}
{"label": "sgrp2nmnd", "expanded_label": "sgrp2nmndlem5", "source": "expanded", "tokens": 6277, "reason": "max_length"}
{"label": "tgtopon", "expanded_label": "tgcl", "source": "expanded", "tokens": 9236, "reason": "max_length"}
{"label": "cnptop1", "expanded_label": "iscnp2", "source": "expanded", "tokens": 9488, "reason": "max_length"}
{"label": "fprod0diag", "expanded_label": "fsum0diaglem", "source": "expanded", "tokens": 6497, "reason": "max_length"}
{"label": "zprodn0", "expanded_label": "zprod", "source": "expanded", "tokens": 18101, "reason": "max_length"}
{"label": "ishtpyd", "expanded_label": "ishtpy", "source": "expanded", "tokens": 8698, "reason": "max_length"}
{"label": "axlttrn", "expanded_label": "ltxrlt", "source": "expanded", "tokens": 8594, "reason": "max_length"}
{"label": "xrltletr", "expanded_label": "xrlttr", "source": "expanded", "tokens": 6927, "reason": "max_length"}
{"label": "m2cpmf1o", "expanded_label": "m2cpmfo", "source": "expanded", "tokens": 6756, "reason": "max_length"}
{"label": "lgricngricex", "expanded_label": "gpg5grlic", "source": "expanded", "tokens": 6365, "reason": "max_length"}
{"label": "nnrecre", "expanded_label": "1re", "source": "expanded", "tokens": 6790, "reason": "max_length"}
{"label": "grimedgi", "expanded_label": "grimedg", "source": "expanded", "tokens": 21386, "reason": "max_length"}
{"label": "neg1lt0", "expanded_label": "1re", "source": "expanded", "tokens": 6830, "reason": "max_length"}
{"label": "pi1xfrgim", "expanded_label": "pi1xfrcnv", "source": "expanded", "tokens": 19046, "reason": "max_length"}
{"label": "metreg", "expanded_label": "methaus", "source": "expanded", "tokens": 11319, "reason": "max_length"}
{"label": "fldiv2", "expanded_label": "fldiv", "source": "expanded", "tokens": 15130, "reason": "max_length"}
{"label": "erclwwlkn", "expanded_label": "erclwwlknsym", "source": "expanded", "tokens": 7474, "reason": "max_length"}
{"label": "uvtx2vtx1edg", "expanded_label": "nbgr2vtx1edg", "source": "expanded", "tokens": 8190, "reason": "max_length"}
{"label": "recms", "expanded_label": "recld2", "source": "expanded", "tokens": 7878, "reason": "max_length"}
{"label": "iccordt", "expanded_label": "letsr", "source": "expanded", "tokens": 6694, "reason": "max_length"}
{"label": "crhmsubc", "expanded_label": "srhmsubc", "source": "expanded", "tokens": 12634, "reason": "max_length"}
{"label": "xmul02", "expanded_label": "xmulcom", "source": "expanded", "tokens": 8030, "reason": "max_length"}
{"label": "pcabs", "expanded_label": "pcneg", "source": "expanded", "tokens": 8094, "reason": "max_length"}
{"label": "indisuni", "expanded_label": "indistopon", "source": "expanded", "tokens": 7576, "reason": "max_length"}
{"label": "rngqiprngho", "expanded_label": "rngqiprngghm", "source": "expanded", "tokens": 10189, "reason": "max_length"}
{"label": "peano2re", "expanded_label": "1re", "source": "expanded", "tokens": 6658, "reason": "max_length"}
{"label": "seqabs", "expanded_label": "fsumabs", "source": "expanded", "tokens": 19216, "reason": "max_length"}
{"label": "prmrp", "expanded_label": "coprm", "source": "expanded", "tokens": 7707, "reason": "max_length"}
{"label": "addsub", "expanded_label": "addcom", "source": "expanded", "tokens": 6963, "reason": "max_length"}
{"label": "xmullid", "expanded_label": "xmulcom", "source": "expanded", "tokens": 8165, "reason": "max_length"}
{"label": "lsslmod", "expanded_label": "islss3", "source": "expanded", "tokens": 11153, "reason": "max_length"}
{"label": "mat0dimid", "expanded_label": "matring", "source": "expanded", "tokens": 16819, "reason": "max_length"}
{"label": "1lt4", "expanded_label": "1re", "source": "expanded", "tokens": 6930, "reason": "max_length"}
{"label": "2ndctop", "expanded_label": "tgcl", "source": "expanded", "tokens": 9706, "reason": "max_length"}
{"label": "ordthmeo", "expanded_label": "isocnv", "source": "expanded", "tokens": 6246, "reason": "max_length"}
{"label": "9re", "expanded_label": "1re", "source": "expanded", "tokens": 6826, "reason": "max_length"}
{"label": "addgegt0", "expanded_label": "00id", "source": "expanded", "tokens": 8276, "reason": "max_length"}
{"label": "mdetuni", "expanded_label": "mdetuni0", "source": "expanded", "tokens": 36640, "reason": "max_length"}
{"label": "wlkswwlksen", "expanded_label": "wlkswwlksf1o", "source": "expanded", "tokens": 8077, "reason": "max_length"}
{"label": "cphnlm", "expanded_label": "iscph", "source": "expanded", "tokens": 8530, "reason": "max_length"}
{"label": "algcvgb", "expanded_label": "algcvgblem", "source": "expanded", "tokens": 7042, "reason": "max_length"}
{"label": "neglcm", "expanded_label": "lcmneg", "source": "expanded", "tokens": 8580, "reason": "max_length"}
{"label": "metflem", "expanded_label": "ismet", "source": "expanded", "tokens": 6299, "reason": "max_length"}
{"label": "nmoleub2b", "expanded_label": "nmoleub2lem2", "source": "expanded", "tokens": 13552, "reason": "max_length"}
{"label": "nbedgusgr", "expanded_label": "hasheqf1oi", "source": "expanded", "tokens": 7832, "reason": "max_length"}
{"label": "drhmsubc", "expanded_label": "srhmsubc", "source": "expanded", "tokens": 12663, "reason": "max_length"}
{"label": "nnpw2blenfzo2", "expanded_label": "elfzolborelfzop1", "source": "expanded", "tokens": 7424, "reason": "max_length"}
{"label": "lssvancl2", "expanded_label": "lmodcom", "source": "expanded", "tokens": 11067, "reason": "max_length"}
{"label": "ordthmeo", "expanded_label": "ordthmeolem", "source": "expanded", "tokens": 26266, "reason": "max_length"}
{"label": "ismhmd", "expanded_label": "ismhm", "source": "expanded", "tokens": 7438, "reason": "max_length"}
{"label": "crctcshwlk", "expanded_label": "crctcshlem4", "source": "expanded", "tokens": 6817, "reason": "max_length"}
{"label": "0reALT", "expanded_label": "1re", "source": "expanded", "tokens": 8961, "reason": "max_length"}
{"label": "fsumshft", "expanded_label": "mptfzshft", "source": "expanded", "tokens": 7431, "reason": "max_length"}
{"label": "ltm1", "expanded_label": "1re", "source": "expanded", "tokens": 7209, "reason": "max_length"}
{"label": "subcn", "expanded_label": "addcnlem", "source": "expanded", "tokens": 10706, "reason": "max_length"}
{"label": "bastop", "expanded_label": "tgcl", "source": "expanded", "tokens": 9261, "reason": "max_length"}
{"label": "frgrncvvdeqlem10", "expanded_label": "frgrncvvdeqlem9", "source": "expanded", "tokens": 9599, "reason": "max_length"}
{"label": "upgrwlkupwlkb", "expanded_label": "upgrwlkupwlk", "source": "expanded", "tokens": 12711, "reason": "max_length"}
{"label": "gexdvds2", "expanded_label": "oddvds", "source": "expanded", "tokens": 8924, "reason": "max_length"}
{"label": "mat1ov", "expanded_label": "mat1", "source": "expanded", "tokens": 7234, "reason": "max_length"}
{"label": "pgjsgr", "expanded_label": "gpgusgra", "source": "expanded", "tokens": 8100, "reason": "max_length"}
{"label": "m2cpmghm", "expanded_label": "mat2pmatghm", "source": "expanded", "tokens": 14236, "reason": "max_length"}
{"label": "cnconst", "expanded_label": "cnconst2", "source": "expanded", "tokens": 7114, "reason": "max_length"}
{"label": "4re", "expanded_label": "1re", "source": "expanded", "tokens": 6779, "reason": "max_length"}
{"label": "hausflf", "expanded_label": "hausflimi", "source": "expanded", "tokens": 6580, "reason": "max_length"}
{"label": "gcdmodi", "expanded_label": "modgcd", "source": "expanded", "tokens": 7405, "reason": "max_length"}
{"label": "xmetutop", "expanded_label": "psmetutop", "source": "expanded", "tokens": 14660, "reason": "max_length"}
{"label": "issdrg2", "expanded_label": "issubdrg", "source": "expanded", "tokens": 12046, "reason": "max_length"}
{"label": "uspgrsprf1o", "expanded_label": "uspgrsprfo", "source": "expanded", "tokens": 9662, "reason": "max_length"}
{"label": "subrgsubrng", "expanded_label": "ringrng", "source": "expanded", "tokens": 6980, "reason": "max_length"}
{"label": "symgextf1o", "expanded_label": "symgextf1", "source": "expanded", "tokens": 8019, "reason": "max_length"}
{"label": "mulgp1", "expanded_label": "mulgdir", "source": "expanded", "tokens": 11090, "reason": "max_length"}
{"label": "nbusgrvtx", "expanded_label": "nbumgrvtx", "source": "expanded", "tokens": 6729, "reason": "max_length"}
{"label": "rlimcn1b", "expanded_label": "rlimcn1", "source": "expanded", "tokens": 7000, "reason": "max_length"}
{"label": "subid", "expanded_label": "addrid", "source": "expanded", "tokens": 10979, "reason": "max_length"}
{"label": "rngridlmcl", "expanded_label": "opprrng", "source": "expanded", "tokens": 7855, "reason": "max_length"}
{"label": "fusgr1th", "expanded_label": "finsumvtxdg2size", "source": "expanded", "tokens": 15434, "reason": "max_length"}
{"label": "cnmptc", "expanded_label": "cnconst2", "source": "expanded", "tokens": 6700, "reason": "max_length"}
{"label": "divalgmodcl", "expanded_label": "divalgmod", "source": "expanded", "tokens": 7672, "reason": "max_length"}
{"label": "cpmatsrgpmat", "expanded_label": "cpmatmcl", "source": "expanded", "tokens": 7671, "reason": "max_length"}
{"label": "6re", "expanded_label": "1re", "source": "expanded", "tokens": 6977, "reason": "max_length"}
{"label": "pn0sr", "expanded_label": "1idsr", "source": "expanded", "tokens": 6286, "reason": "max_length"}
{"label": "mat1bas", "expanded_label": "matring", "source": "expanded", "tokens": 15980, "reason": "max_length"}
{"label": "grlicer", "expanded_label": "grlictr", "source": "expanded", "tokens": 11391, "reason": "max_length"}
{"label": "wlk1ewlk", "expanded_label": "wlk1walk", "source": "expanded", "tokens": 20611, "reason": "max_length"}
{"label": "gexdvds2", "expanded_label": "gexdvds", "source": "expanded", "tokens": 17221, "reason": "max_length"}
{"label": "expcncf", "expanded_label": "expcn", "source": "expanded", "tokens": 6499, "reason": "max_length"}
{"label": "reexpcl", "expanded_label": "1re", "source": "expanded", "tokens": 6871, "reason": "max_length"}
{"label": "erclwwlk", "expanded_label": "erclwwlktr", "source": "expanded", "tokens": 10470, "reason": "max_length"}
{"label": "expp1z", "expanded_label": "expaddz", "source": "expanded", "tokens": 11654, "reason": "max_length"}
{"label": "1wlkd", "expanded_label": "1wlkdlem4", "source": "expanded", "tokens": 7723, "reason": "max_length"}
{"label": "symgfixf1o", "expanded_label": "symgfixf1", "source": "expanded", "tokens": 8441, "reason": "max_length"}
{"label": "htpycn", "expanded_label": "ishtpy", "source": "expanded", "tokens": 8322, "reason": "max_length"}
{"label": "ringccatALTV", "expanded_label": "ringccatidALTV", "source": "expanded", "tokens": 36133, "reason": "max_length"}
{"label": "dfnbgrss2", "expanded_label": "dfnbgr6", "source": "expanded", "tokens": 7749, "reason": "max_length"}
{"label": "locfintop", "expanded_label": "islocfin", "source": "expanded", "tokens": 7464, "reason": "max_length"}
{"label": "rngcidALTV", "expanded_label": "rngccatidALTV", "source": "expanded", "tokens": 31264, "reason": "max_length"}
{"label": "unitabl", "expanded_label": "unitgrp", "source": "expanded", "tokens": 19083, "reason": "max_length"}
{"label": "kqt0", "expanded_label": "kqt0lem", "source": "expanded", "tokens": 9261, "reason": "max_length"}
{"label": "recmet", "expanded_label": "recld2", "source": "expanded", "tokens": 8047, "reason": "max_length"}
{"label": "gagrp", "expanded_label": "isga", "source": "expanded", "tokens": 9295, "reason": "max_length"}
{"label": "rngccatALTV", "expanded_label": "rngccatidALTV", "source": "expanded", "tokens": 35837, "reason": "max_length"}
{"label": "mpl1", "expanded_label": "mplsubrg", "source": "expanded", "tokens": 7919, "reason": "max_length"}
{"label": "vtxduhgr0edgnel", "expanded_label": "vtxd0nedgb", "source": "expanded", "tokens": 7459, "reason": "max_length"}
{"label": "pmtrfmvdn0", "expanded_label": "pmtrfrn", "source": "expanded", "tokens": 8866, "reason": "max_length"}
{"label": "psrbagev2", "expanded_label": "psrbagev1", "source": "expanded", "tokens": 7226, "reason": "max_length"}
{"label": "rnghmghm", "expanded_label": "isrnghm", "source": "expanded", "tokens": 8318, "reason": "max_length"}
{"label": "erclwwlk", "expanded_label": "erclwwlksym", "source": "expanded", "tokens": 6259, "reason": "max_length"}
{"label": "numclwwlk2lem3", "expanded_label": "numclwlk2lem2f1o", "source": "expanded", "tokens": 16930, "reason": "max_length"}
{"label": "wwlksnonfi", "expanded_label": "iswwlksnon", "source": "expanded", "tokens": 7618, "reason": "max_length"}
{"label": "erclwwlkn", "expanded_label": "erclwwlkntr", "source": "expanded", "tokens": 13187, "reason": "max_length"}
{"label": "gcdn0cl", "expanded_label": "gcdcllem3", "source": "expanded", "tokens": 15171, "reason": "max_length"}
{"label": "symggen2", "expanded_label": "symggen", "source": "expanded", "tokens": 40700, "reason": "max_length"}
{"label": "mdet0f1o", "expanded_label": "mdet0pr", "source": "expanded", "tokens": 9891, "reason": "max_length"}
{"label": "ringgrp", "expanded_label": "isring", "source": "expanded", "tokens": 8062, "reason": "max_length"}
{"label": "mulginvinv", "expanded_label": "mulginvcom", "source": "expanded", "tokens": 10250, "reason": "max_length"}
{"label": "2zrng0", "expanded_label": "cncrng", "source": "expanded", "tokens": 8315, "reason": "max_length"}
{"label": "wlkv", "expanded_label": "wksfval", "source": "expanded", "tokens": 7814, "reason": "max_length"}
{"label": "isncvsngpd", "expanded_label": "isncvsngp", "source": "expanded", "tokens": 7861, "reason": "max_length"}
{"label": "rlimcn2", "expanded_label": "rlimcn3", "source": "expanded", "tokens": 11998, "reason": "max_length"}
{"label": "ghmco", "expanded_label": "mhmco", "source": "expanded", "tokens": 8559, "reason": "max_length"}
{"label": "qdensere2", "expanded_label": "tgioo", "source": "expanded", "tokens": 20132, "reason": "max_length"}
{"label": "vdgn1frgrv3", "expanded_label": "vdgn1frgrv2", "source": "expanded", "tokens": 8714, "reason": "max_length"}
{"label": "0le1", "expanded_label": "1re", "source": "expanded", "tokens": 6633, "reason": "max_length"}
{"label": "wrdlen2", "expanded_label": "wrdlen2i", "source": "expanded", "tokens": 7494, "reason": "max_length"}
{"label": "wlkiswwlkupgr", "expanded_label": "wlkiswwlks1", "source": "expanded", "tokens": 9327, "reason": "max_length"}
{"label": "nzrpropd", "expanded_label": "ringpropd", "source": "expanded", "tokens": 19645, "reason": "max_length"}
{"label": "unitlinv", "expanded_label": "unitgrp", "source": "expanded", "tokens": 13837, "reason": "max_length"}
{"label": "fmfil", "expanded_label": "fbasrn", "source": "expanded", "tokens": 14221, "reason": "max_length"}
{"label": "odhash2", "expanded_label": "odf1o2", "source": "expanded", "tokens": 12218, "reason": "max_length"}
{"label": "xmulmnf2", "expanded_label": "xmulcom", "source": "expanded", "tokens": 8195, "reason": "max_length"}
{"label": "2arymaptf1o", "expanded_label": "2arymaptfo", "source": "expanded", "tokens": 8887, "reason": "max_length"}
{"label": "ply1plusgpropd", "expanded_label": "psrplusgpropd", "source": "expanded", "tokens": 9265, "reason": "max_length"}
{"label": "1le2", "expanded_label": "1re", "source": "expanded", "tokens": 6748, "reason": "max_length"}
{"label": "uspgrsprf1o", "expanded_label": "uspgrsprf1", "source": "expanded", "tokens": 8507, "reason": "max_length"}
{"label": "numclwwlk1lem2f1o", "expanded_label": "numclwwlk1lem2fo", "source": "expanded", "tokens": 15086, "reason": "max_length"}
{"label": "unben", "expanded_label": "unbenlem", "source": "expanded", "tokens": 13691, "reason": "max_length"}
{"label": "frlmelbas", "expanded_label": "frlmbas", "source": "expanded", "tokens": 9104, "reason": "max_length"}
{"label": "1arith2", "expanded_label": "1arith", "source": "expanded", "tokens": 27416, "reason": "max_length"}
{"label": "1arymaptf1o", "expanded_label": "1arymaptf1", "source": "expanded", "tokens": 7210, "reason": "max_length"}
{"label": "sgrpssmgm", "expanded_label": "mgmnsgrpex", "source": "expanded", "tokens": 7533, "reason": "max_length"}
{"label": "pj1eq", "expanded_label": "pj1id", "source": "expanded", "tokens": 10282, "reason": "max_length"}
{"label": "isghmd", "expanded_label": "isghm", "source": "expanded", "tokens": 7692, "reason": "max_length"}
{"label": "ghmima", "expanded_label": "resghm", "source": "expanded", "tokens": 7045, "reason": "max_length"}
{"label": "znle", "expanded_label": "znval", "source": "expanded", "tokens": 8606, "reason": "max_length"}
{"label": "clnbfiusgrfi", "expanded_label": "fusgrfis", "source": "expanded", "tokens": 7030, "reason": "max_length"}
{"label": "assalmod", "expanded_label": "isassa", "source": "expanded", "tokens": 6614, "reason": "max_length"}
{"label": "xrs1cmn", "expanded_label": "xaddcom", "source": "expanded", "tokens": 6572, "reason": "max_length"}
{"label": "pcelnn", "expanded_label": "pcdvdsb", "source": "expanded", "tokens": 10977, "reason": "max_length"}
{"label": "indistpsALT", "expanded_label": "indistopon", "source": "expanded", "tokens": 7112, "reason": "max_length"}
{"label": "infssuzle", "expanded_label": "uzwo", "source": "expanded", "tokens": 9520, "reason": "max_length"}
{"label": "cpmatsrgpmat", "expanded_label": "1elcpmat", "source": "expanded", "tokens": 8164, "reason": "max_length"}
{"label": "scmatsrng", "expanded_label": "scmatmulcl", "source": "expanded", "tokens": 9402, "reason": "max_length"}
{"label": "oppgmndb", "expanded_label": "oppgmnd", "source": "expanded", "tokens": 7363, "reason": "max_length"}
{"label": "2zrngaabl", "expanded_label": "2zrngagrp", "source": "expanded", "tokens": 6148, "reason": "max_length"}
{"label": "lmodvaddsub4", "expanded_label": "abladdsub4", "source": "expanded", "tokens": 6739, "reason": "max_length"}
{"label": "m1modnnsub1", "expanded_label": "1re", "source": "expanded", "tokens": 7710, "reason": "max_length"}
{"label": "haushmph", "expanded_label": "cnhaus", "source": "expanded", "tokens": 13415, "reason": "max_length"}
{"label": "cncms", "expanded_label": "cncmet", "source": "expanded", "tokens": 9751, "reason": "max_length"}
{"label": "fprodxp", "expanded_label": "fprod2d", "source": "expanded", "tokens": 7010, "reason": "max_length"}
{"label": "fsummulc1", "expanded_label": "fsummulc2", "source": "expanded", "tokens": 10995, "reason": "max_length"}
{"label": "istop2g", "expanded_label": "fiint", "source": "expanded", "tokens": 17441, "reason": "max_length"}
{"label": "opsrlmod", "expanded_label": "psrlmod", "source": "expanded", "tokens": 21192, "reason": "max_length"}
{"label": "psradd", "expanded_label": "psrplusg", "source": "expanded", "tokens": 7929, "reason": "max_length"}
{"label": "phtpyhtpy", "expanded_label": "isphtpy", "source": "expanded", "tokens": 6188, "reason": "max_length"}
{"label": "refld", "expanded_label": "cncrng", "source": "expanded", "tokens": 8397, "reason": "max_length"}
{"label": "kgenuni", "expanded_label": "kgentopon", "source": "expanded", "tokens": 9648, "reason": "max_length"}
{"label": "clsdif", "expanded_label": "clsval2", "source": "expanded", "tokens": 9494, "reason": "max_length"}
{"label": "pm2mpgrpiso", "expanded_label": "pm2mpghm", "source": "expanded", "tokens": 23647, "reason": "max_length"}
{"label": "psrasclcl", "expanded_label": "psrlmod", "source": "expanded", "tokens": 18726, "reason": "max_length"}
{"label": "hashge2el2difb", "expanded_label": "hashge2el2dif", "source": "expanded", "tokens": 8135, "reason": "max_length"}
{"label": "relin01", "expanded_label": "1re", "source": "expanded", "tokens": 7726, "reason": "max_length"}
{"label": "nqerid", "expanded_label": "nqerf", "source": "expanded", "tokens": 7228, "reason": "max_length"}
{"label": "dsmmlmod", "expanded_label": "dsmmlss", "source": "expanded", "tokens": 11428, "reason": "max_length"}
{"label": "rhmisrnghm", "expanded_label": "ringrng", "source": "expanded", "tokens": 6625, "reason": "max_length"}
{"label": "orbstaval", "expanded_label": "gastacl", "source": "expanded", "tokens": 9593, "reason": "max_length"}
{"label": "mat0dim0", "expanded_label": "matring", "source": "expanded", "tokens": 16862, "reason": "max_length"}
{"label": "4pos", "expanded_label": "1re", "source": "expanded", "tokens": 6841, "reason": "max_length"}
{"label": "uspgredgleord", "expanded_label": "uspgredg2v", "source": "expanded", "tokens": 6377, "reason": "max_length"}
{"label": "restt1", "expanded_label": "cnt1", "source": "expanded", "tokens": 6228, "reason": "max_length"}
{"label": "metres2", "expanded_label": "xmetres2", "source": "expanded", "tokens": 6309, "reason": "max_length"}
{"label": "2pos", "expanded_label": "1re", "source": "expanded", "tokens": 8970, "reason": "max_length"}
{"label": "uzfbas", "expanded_label": "uzrest", "source": "expanded", "tokens": 8616, "reason": "max_length"}
{"label": "grpid", "expanded_label": "grprcan", "source": "expanded", "tokens": 10928, "reason": "max_length"}
{"label": "wwlksnextbij0", "expanded_label": "wwlksnextinj", "source": "expanded", "tokens": 17544, "reason": "max_length"}
{"label": "0le2", "expanded_label": "1re", "source": "expanded", "tokens": 9037, "reason": "max_length"}
{"label": "pmatring", "expanded_label": "matring", "source": "expanded", "tokens": 15581, "reason": "max_length"}
{"label": "elicc01", "expanded_label": "1re", "source": "expanded", "tokens": 6735, "reason": "max_length"}
{"label": "gpgprismgr4cycl0", "expanded_label": "gpgprismgr4cycllem11", "source": "expanded", "tokens": 6170, "reason": "max_length"}
{"label": "wlkiswwlks", "expanded_label": "wlkiswwlks1", "source": "expanded", "tokens": 9332, "reason": "max_length"}
{"label": "orbstaval", "expanded_label": "eqger", "source": "expanded", "tokens": 16573, "reason": "max_length"}
{"label": "nlmngp", "expanded_label": "isnlm", "source": "expanded", "tokens": 6526, "reason": "max_length"}
{"label": "cncdrg", "expanded_label": "cnsubrg", "source": "expanded", "tokens": 11658, "reason": "max_length"}
{"label": "txbasex", "expanded_label": "txuni2", "source": "expanded", "tokens": 6234, "reason": "max_length"}
{"label": "neggcd", "expanded_label": "gcdneg", "source": "expanded", "tokens": 6270, "reason": "max_length"}
{"label": "0cnALT2", "expanded_label": "cnegex", "source": "expanded", "tokens": 8302, "reason": "max_length"}
{"label": "xrrest", "expanded_label": "xrtgioo", "source": "expanded", "tokens": 12124, "reason": "max_length"}
{"label": "evls1scafv", "expanded_label": "evls1sca", "source": "expanded", "tokens": 9522, "reason": "max_length"}
{"label": "assaring", "expanded_label": "isassa", "source": "expanded", "tokens": 6337, "reason": "max_length"}
{"label": "ramtub", "expanded_label": "ramcl2lem", "source": "expanded", "tokens": 6234, "reason": "max_length"}
{"label": "gaset", "expanded_label": "isga", "source": "expanded", "tokens": 8960, "reason": "max_length"}
{"label": "ringmgp", "expanded_label": "isring", "source": "expanded", "tokens": 8047, "reason": "max_length"}
{"label": "fusgrvtxdgonume", "expanded_label": "vtxdgoddnumeven", "source": "expanded", "tokens": 8717, "reason": "max_length"}
{"label": "1lt6", "expanded_label": "1re", "source": "expanded", "tokens": 6929, "reason": "max_length"}
{"label": "rngqiprngho", "expanded_label": "rngqiprnglin", "source": "expanded", "tokens": 9300, "reason": "max_length"}
{"label": "addnqf", "expanded_label": "nqerf", "source": "expanded", "tokens": 7503, "reason": "max_length"}
{"label": "1lt10", "expanded_label": "1re", "source": "expanded", "tokens": 6987, "reason": "max_length"}
{"label": "qtopconn", "expanded_label": "cnconn", "source": "expanded", "tokens": 9265, "reason": "max_length"}
{"label": "uvtx2vtx1edgb", "expanded_label": "nbuhgr2vtx1edgb", "source": "expanded", "tokens": 9405, "reason": "max_length"}
{"label": "rngqiprng", "expanded_label": "ringrng", "source": "expanded", "tokens": 6666, "reason": "max_length"}
{"label": "psgnfitr", "expanded_label": "symggrp", "source": "expanded", "tokens": 6239, "reason": "max_length"}
{"label": "resttop", "expanded_label": "tgrest", "source": "expanded", "tokens": 9629, "reason": "max_length"}
{"label": "frgpgrp", "expanded_label": "frgp0", "source": "expanded", "tokens": 17274, "reason": "max_length"}
{"label": "sqrt2irr0", "expanded_label": "sqrt2irr", "source": "expanded", "tokens": 11416, "reason": "max_length"}
{"label": "frgr2wsp1", "expanded_label": "wpthswwlks2on", "source": "expanded", "tokens": 10945, "reason": "max_length"}
{"label": "metelcls", "expanded_label": "met1stc", "source": "expanded", "tokens": 13311, "reason": "max_length"}
{"label": "crhmsubcALTV", "expanded_label": "srhmsubcALTV", "source": "expanded", "tokens": 12910, "reason": "max_length"}
{"label": "sgrp2nmnd", "expanded_label": "sgrp2nmndlem4", "source": "expanded", "tokens": 17737, "reason": "max_length"}
{"label": "phlsrng", "expanded_label": "isphl", "source": "expanded", "tokens": 10453, "reason": "max_length"}
{"label": "subcn", "expanded_label": "subcn2", "source": "expanded", "tokens": 7032, "reason": "max_length"}
{"label": "utoptopon", "expanded_label": "utoptop", "source": "expanded", "tokens": 10837, "reason": "max_length"}
{"label": "metcnp4", "expanded_label": "met1stc", "source": "expanded", "tokens": 13317, "reason": "max_length"}
{"label": "rhmpsrlem1", "expanded_label": "psrbaglefi", "source": "expanded", "tokens": 8707, "reason": "max_length"}
{"label": "fcfelbas", "expanded_label": "fcfval", "source": "expanded", "tokens": 6815, "reason": "max_length"}
{"label": "opprneg", "expanded_label": "grpinvfval", "source": "expanded", "tokens": 7126, "reason": "max_length"}
{"label": "isgrpde", "expanded_label": "ismndd", "source": "expanded", "tokens": 6733, "reason": "max_length"}
{"label": "1lt2", "expanded_label": "1re", "source": "expanded", "tokens": 6790, "reason": "max_length"}
{"label": "hausnlly", "expanded_label": "restnlly", "source": "expanded", "tokens": 7658, "reason": "max_length"}
{"label": "dvdsunit", "expanded_label": "dvdsrtr", "source": "expanded", "tokens": 6678, "reason": "max_length"}
{"label": "nbfiusgrfi", "expanded_label": "fusgrfis", "source": "expanded", "tokens": 7133, "reason": "max_length"}
{"label": "opsrring", "expanded_label": "psrring", "source": "expanded", "tokens": 8414, "reason": "max_length"}
{"label": "dprd0", "expanded_label": "dprdz", "source": "expanded", "tokens": 14331, "reason": "max_length"}
{"label": "recmet", "expanded_label": "cncmet", "source": "expanded", "tokens": 9197, "reason": "max_length"}
{"label": "dvdseq", "expanded_label": "dvdsabseq", "source": "expanded", "tokens": 6996, "reason": "max_length"}
{"label": "telgsumfz0s", "expanded_label": "telgsumfzs", "source": "expanded", "tokens": 12061, "reason": "max_length"}
{"label": "evls1fvcl", "expanded_label": "ressply1evl", "source": "expanded", "tokens": 7459, "reason": "max_length"}
{"label": "t0hmph", "expanded_label": "cnt0", "source": "expanded", "tokens": 8061, "reason": "max_length"}
{"label": "1le3", "expanded_label": "1re", "source": "expanded", "tokens": 6650, "reason": "max_length"}
{"label": "zring0", "expanded_label": "cncrng", "source": "expanded", "tokens": 7883, "reason": "max_length"}
{"label": "ackval42a", "expanded_label": "ackval42", "source": "expanded", "tokens": 6435, "reason": "max_length"}
{"label": "mplsca", "expanded_label": "psrsca", "source": "expanded", "tokens": 6278, "reason": "max_length"}
{"label": "subid1", "expanded_label": "addrid", "source": "expanded", "tokens": 10958, "reason": "max_length"}
{"label": "idmatidpmat", "expanded_label": "mat2pmat1", "source": "expanded", "tokens": 7186, "reason": "max_length"}
{"label": "vtxduhgrun", "expanded_label": "vtxdun", "source": "expanded", "tokens": 13019, "reason": "max_length"}
{"label": "nnwo", "expanded_label": "uzwo", "source": "expanded", "tokens": 8873, "reason": "max_length"}
{"label": "peano2rem", "expanded_label": "1re", "source": "expanded", "tokens": 6713, "reason": "max_length"}
{"label": "usgrlimprop", "expanded_label": "uspgrlim", "source": "expanded", "tokens": 16778, "reason": "max_length"}
{"label": "vdgfrgrgt2", "expanded_label": "vdgn1frgrv2", "source": "expanded", "tokens": 9428, "reason": "max_length"}
{"label": "evls1varsrng", "expanded_label": "evls1var", "source": "expanded", "tokens": 8899, "reason": "max_length"}
{"label": "indf", "expanded_label": "1re", "source": "expanded", "tokens": 7405, "reason": "max_length"}
{"label": "usgrn2cycl", "expanded_label": "uspgrn2crct", "source": "expanded", "tokens": 12349, "reason": "max_length"}
{"label": "addgtge0", "expanded_label": "00id", "source": "expanded", "tokens": 8117, "reason": "max_length"}
{"label": "zringcrng", "expanded_label": "cncrng", "source": "expanded", "tokens": 7480, "reason": "max_length"}
{"label": "restt0", "expanded_label": "cnt0", "source": "expanded", "tokens": 10949, "reason": "max_length"}
{"label": "ring1ne0", "expanded_label": "hashgt12el", "source": "expanded", "tokens": 6637, "reason": "max_length"}
{"label": "cycsubggenodd", "expanded_label": "dfod2", "source": "expanded", "tokens": 22577, "reason": "max_length"}
{"label": "0mat2pmat", "expanded_label": "mat2pmatghm", "source": "expanded", "tokens": 15693, "reason": "max_length"}
{"label": "omndmnd", "expanded_label": "isomnd", "source": "expanded", "tokens": 8458, "reason": "max_length"}
{"label": "nneop", "expanded_label": "nneo", "source": "expanded", "tokens": 6454, "reason": "max_length"}
{"label": "eqg0subgecsn", "expanded_label": "eqg0subg", "source": "expanded", "tokens": 6571, "reason": "max_length"}
{"label": "xltmul2", "expanded_label": "xmulcom", "source": "expanded", "tokens": 14328, "reason": "max_length"}
{"label": "subrgnrg", "expanded_label": "subgngp", "source": "expanded", "tokens": 7882, "reason": "max_length"}
{"label": "pi1buni", "expanded_label": "pi1blem", "source": "expanded", "tokens": 7231, "reason": "max_length"}
{"label": "isoddgcd1", "expanded_label": "coprm", "source": "expanded", "tokens": 7107, "reason": "max_length"}
{"label": "1lt5", "expanded_label": "1re", "source": "expanded", "tokens": 6962, "reason": "max_length"}
{"label": "rellycmp", "expanded_label": "cnllycmp", "source": "expanded", "tokens": 22702, "reason": "max_length"}
{"label": "pm2mprhm", "expanded_label": "matring", "source": "expanded", "tokens": 16674, "reason": "max_length"}
{"label": "icccld", "expanded_label": "difreicc", "source": "expanded", "tokens": 10085, "reason": "max_length"}
{"label": "m2cpmrhm", "expanded_label": "matring", "source": "expanded", "tokens": 17131, "reason": "max_length"}
{"label": "coe1tmfv2", "expanded_label": "coe1tm", "source": "expanded", "tokens": 12134, "reason": "max_length"}
{"label": "tsmscl", "expanded_label": "eltsms", "source": "expanded", "tokens": 8460, "reason": "max_length"}
{"label": "eluzadd", "expanded_label": "zaddcl", "source": "expanded", "tokens": 6242, "reason": "max_length"}
{"label": "sst0", "expanded_label": "cnt0", "source": "expanded", "tokens": 8434, "reason": "max_length"}
{"label": "clwlkclwwlkf1o", "expanded_label": "clwlkclwwlkf1", "source": "expanded", "tokens": 11644, "reason": "max_length"}
{"label": "indistop", "expanded_label": "indistopon", "source": "expanded", "tokens": 7204, "reason": "max_length"}
{"label": "cphnmfval", "expanded_label": "iscph", "source": "expanded", "tokens": 8389, "reason": "max_length"}
{"label": "fclssscls", "expanded_label": "isfcls", "source": "expanded", "tokens": 7916, "reason": "max_length"}
{"label": "2zrng", "expanded_label": "2zlidl", "source": "expanded", "tokens": 9569, "reason": "max_length"}
{"label": "sringcat", "expanded_label": "srhmsubc", "source": "expanded", "tokens": 12711, "reason": "max_length"}
{"label": "xkotopon", "expanded_label": "xkouni", "source": "expanded", "tokens": 7374, "reason": "max_length"}
{"label": "abs2dif2", "expanded_label": "abstri", "source": "expanded", "tokens": 7522, "reason": "max_length"}
{"label": "nrmreg", "expanded_label": "nrmr0reg", "source": "expanded", "tokens": 6220, "reason": "max_length"}
{"label": "evlsrhm", "expanded_label": "evlsval2", "source": "expanded", "tokens": 8301, "reason": "max_length"}
{"label": "clwwlkf1o", "expanded_label": "clwwlkf1", "source": "expanded", "tokens": 16313, "reason": "max_length"}
{"label": "mat2pmatrhm", "expanded_label": "matring", "source": "expanded", "tokens": 26359, "reason": "max_length"}
{"label": "sqrt1", "expanded_label": "1re", "source": "expanded", "tokens": 7104, "reason": "max_length"}
{"label": "sumhash", "expanded_label": "ssfi", "source": "expanded", "tokens": 12417, "reason": "max_length"}
{"label": "pmatcollpw3", "expanded_label": "pmatcollpw", "source": "expanded", "tokens": 12192, "reason": "max_length"}
{"label": "pcprecl", "expanded_label": "pclem", "source": "expanded", "tokens": 9618, "reason": "max_length"}
{"label": "1ne2", "expanded_label": "1re", "source": "expanded", "tokens": 6611, "reason": "max_length"}
{"label": "wlknwwlksnen", "expanded_label": "wlknwwlksnbij", "source": "expanded", "tokens": 7322, "reason": "max_length"}
{"label": "pm2mpf", "expanded_label": "pm2mpcl", "source": "expanded", "tokens": 7149, "reason": "max_length"}
{"label": "m2cpmf1", "expanded_label": "mat2pmatf1", "source": "expanded", "tokens": 7912, "reason": "max_length"}
{"label": "lincsumscmcl", "expanded_label": "lincscmcl", "source": "expanded", "tokens": 12114, "reason": "max_length"}
{"label": "obsrcl", "expanded_label": "isobs", "source": "expanded", "tokens": 7261, "reason": "max_length"}
{"label": "evls1pw", "expanded_label": "evls1rhm", "source": "expanded", "tokens": 6659, "reason": "max_length"}
{"label": "lcmfunsn", "expanded_label": "lcmfunsnlem", "source": "expanded", "tokens": 10953, "reason": "max_length"}
{"label": "zrzeroorngc", "expanded_label": "zrinitorngc", "source": "expanded", "tokens": 9895, "reason": "max_length"}
{"label": "rrxmetfi", "expanded_label": "rrxmet", "source": "expanded", "tokens": 47140, "reason": "max_length"}
{"label": "iicmp", "expanded_label": "1re", "source": "expanded", "tokens": 7086, "reason": "max_length"}
{"label": "rngabl", "expanded_label": "isrng", "source": "expanded", "tokens": 7974, "reason": "max_length"}
{"label": "2re", "expanded_label": "1re", "source": "expanded", "tokens": 8834, "reason": "max_length"}
{"label": "fprodshft", "expanded_label": "mptfzshft", "source": "expanded", "tokens": 7323, "reason": "max_length"}
{"label": "lmhmlem", "expanded_label": "islmhm", "source": "expanded", "tokens": 7650, "reason": "max_length"}
{"label": "cncongr", "expanded_label": "cncongr2", "source": "expanded", "tokens": 14989, "reason": "max_length"}
{"label": "nnssre", "expanded_label": "1re", "source": "expanded", "tokens": 6912, "reason": "max_length"}
{"label": "1elunit", "expanded_label": "1re", "source": "expanded", "tokens": 6868, "reason": "max_length"}
{"label": "cnfldhaus", "expanded_label": "methaus", "source": "expanded", "tokens": 10873, "reason": "max_length"}
{"label": "cnpf", "expanded_label": "iscnp2", "source": "expanded", "tokens": 9405, "reason": "max_length"}
{"label": "sum2id", "expanded_label": "sumeq2ii", "source": "expanded", "tokens": 10306, "reason": "max_length"}
{"label": "dsmmlmod", "expanded_label": "prdslmodd", "source": "expanded", "tokens": 27808, "reason": "max_length"}
{"label": "unitinvcl", "expanded_label": "unitgrp", "source": "expanded", "tokens": 12866, "reason": "max_length"}
{"label": "bcpascm1", "expanded_label": "bcpasc", "source": "expanded", "tokens": 24545, "reason": "max_length"}
{"label": "2arymaptf1o", "expanded_label": "2arymaptf1", "source": "expanded", "tokens": 9368, "reason": "max_length"}
{"label": "xmetf", "expanded_label": "isxmet", "source": "expanded", "tokens": 6591, "reason": "max_length"}
{"label": "coe1tmfv1", "expanded_label": "coe1tm", "source": "expanded", "tokens": 11689, "reason": "max_length"}
{"label": "rlimdmo1", "expanded_label": "rlimo1", "source": "expanded", "tokens": 7587, "reason": "max_length"}
{"label": "nlmlmod", "expanded_label": "isnlm", "source": "expanded", "tokens": 6171, "reason": "max_length"}
{"label": "7re", "expanded_label": "1re", "source": "expanded", "tokens": 6750, "reason": "max_length"}
{"label": "omndtos", "expanded_label": "isomnd", "source": "expanded", "tokens": 8315, "reason": "max_length"}
{"label": "scmatf1o", "expanded_label": "scmatf1", "source": "expanded", "tokens": 10246, "reason": "max_length"}
{"label": "resthaus", "expanded_label": "cnhaus", "source": "expanded", "tokens": 17432, "reason": "max_length"}
{"label": "grplactf1o", "expanded_label": "grplactcnv", "source": "expanded", "tokens": 6922, "reason": "max_length"}
{"label": "bitsinv", "expanded_label": "bitsf1ocnv", "source": "expanded", "tokens": 6737, "reason": "max_length"}
{"label": "cnmptkc", "expanded_label": "xkoccn", "source": "expanded", "tokens": 14863, "reason": "max_length"}
{"label": "sringcatALTV", "expanded_label": "srhmsubcALTV", "source": "expanded", "tokens": 12861, "reason": "max_length"}
{"label": "lcmgcdnn", "expanded_label": "lcmgcd", "source": "expanded", "tokens": 7128, "reason": "max_length"}
{"label": "cncongr", "expanded_label": "cncongr1", "source": "expanded", "tokens": 25677, "reason": "max_length"}
{"label": "re0g", "expanded_label": "cncrng", "source": "expanded", "tokens": 7900, "reason": "max_length"}
{"label": "lmodring", "expanded_label": "islmod", "source": "expanded", "tokens": 22570, "reason": "max_length"}
{"label": "phimul", "expanded_label": "phimullem", "source": "expanded", "tokens": 59881, "reason": "max_length"}
{"label": "cycsubgcld", "expanded_label": "cycsubgcl", "source": "expanded", "tokens": 9718, "reason": "max_length"}
{"label": "zndvds0", "expanded_label": "zndvds", "source": "expanded", "tokens": 8442, "reason": "max_length"}
{"label": "ghmabl", "expanded_label": "ghmgrp", "source": "expanded", "tokens": 6213, "reason": "max_length"}
{"label": "pm2mpghmlem1", "expanded_label": "matring", "source": "expanded", "tokens": 16380, "reason": "max_length"}
{"label": "frgrncvvdeqlem10", "expanded_label": "frgrncvvdeqlem8", "source": "expanded", "tokens": 9143, "reason": "max_length"}
{"label": "pi1xfrgim", "expanded_label": "pi1xfr", "source": "expanded", "tokens": 56581, "reason": "max_length"}
{"label": "grlicer", "expanded_label": "grlicsym", "source": "expanded", "tokens": 9352, "reason": "max_length"}
{"label": "o1const", "expanded_label": "rlimo1", "source": "expanded", "tokens": 8521, "reason": "max_length"}
{"label": "cphssphl", "expanded_label": "cphsscph", "source": "expanded", "tokens": 10434, "reason": "max_length"}
{"label": "islmhmd", "expanded_label": "islmhm", "source": "expanded", "tokens": 7502, "reason": "max_length"}
{"label": "fsumsub", "expanded_label": "fsumadd", "source": "expanded", "tokens": 13138, "reason": "max_length"}
{"label": "kgenftop", "expanded_label": "kgentopon", "source": "expanded", "tokens": 10064, "reason": "max_length"}
{"label": "clwwlkf1o", "expanded_label": "clwwlkfo", "source": "expanded", "tokens": 7535, "reason": "max_length"}
{"label": "mdet0fv0", "expanded_label": "mdet0pr", "source": "expanded", "tokens": 9903, "reason": "max_length"}
{"label": "usgrexmpl", "expanded_label": "usgrexmplef", "source": "expanded", "tokens": 9478, "reason": "max_length"}
{"label": "numclwwlk1lem2f1o", "expanded_label": "numclwwlk1lem2f1", "source": "expanded", "tokens": 19478, "reason": "max_length"}
{"label": "odval2", "expanded_label": "odeq", "source": "expanded", "tokens": 6696, "reason": "max_length"}
{"label": "phiprm", "expanded_label": "phiprmpw", "source": "expanded", "tokens": 17595, "reason": "max_length"}
{"label": "3re", "expanded_label": "1re", "source": "expanded", "tokens": 6728, "reason": "max_length"}
{"label": "ghmf", "expanded_label": "isghm", "source": "expanded", "tokens": 7750, "reason": "max_length"}
{"label": "5re", "expanded_label": "1re", "source": "expanded", "tokens": 6884, "reason": "max_length"}
{"label": "cnmgpabl", "expanded_label": "cncrng", "source": "expanded", "tokens": 7869, "reason": "max_length"}
{"label": "ordtrestixx", "expanded_label": "letsr", "source": "expanded", "tokens": 6760, "reason": "max_length"}
{"label": "filfinnfr", "expanded_label": "fbfinnfr", "source": "expanded", "tokens": 6699, "reason": "max_length"}
{"label": "vtxdfiun", "expanded_label": "vtxdun", "source": "expanded", "tokens": 13496, "reason": "max_length"}
{"label": "cnprcl", "expanded_label": "iscnp2", "source": "expanded", "tokens": 9418, "reason": "max_length"}
{"label": "1arymaptf1o", "expanded_label": "1arymaptfo", "source": "expanded", "tokens": 6423, "reason": "max_length"}
{"label": "pc1", "expanded_label": "pczpre", "source": "expanded", "tokens": 10054, "reason": "max_length"}
{"label": "sshaus", "expanded_label": "cnhaus", "source": "expanded", "tokens": 13569, "reason": "max_length"}
{"label": "8re", "expanded_label": "1re", "source": "expanded", "tokens": 6721, "reason": "max_length"}
{"label": "nmoleub2a", "expanded_label": "nmoleub2lem2", "source": "expanded", "tokens": 13300, "reason": "max_length"}
{"label": "nnesq", "expanded_label": "zesq", "source": "expanded", "tokens": 7574, "reason": "max_length"}
{"label": "vtxdgfusgrf", "expanded_label": "fusgrfis", "source": "expanded", "tokens": 7818, "reason": "max_length"}
{"label": "cphsca", "expanded_label": "iscph", "source": "expanded", "tokens": 7872, "reason": "max_length"}
{"label": "pm2mpf1o", "expanded_label": "pm2mpf1", "source": "expanded", "tokens": 20808, "reason": "max_length"}