eqsolve.json

{"nodes":{"Mul-12387560786700169190":{"op":"Mul","children":["Neg-7746371651277702137","Neg-15851071669356068435"],"eclass":"7895","cost":1.0},"Mul-15090012464600648991":{"op":"Mul","children":["Num-5871781006564002453","Neg-18398664468182199516"],"eclass":"7674","cost":1.0},"Mul-3346273450431105878":{"op":"Mul","children":["Add-14614675543993090514","Neg-12629945713292891336"],"eclass":"7271","cost":1.0},"Mul-6307885266371396121":{"op":"Mul","children":["Add-18353944775094350290","Neg-13098416373429778050"],"eclass":"7788","cost":1.0},"Mul-15030250790331775229":{"op":"Mul","children":["Add-16007481065985611276","Mul-15030250790331775229"],"eclass":"8400","cost":1.0},"Mul-16659588569808676101":{"op":"Mul","children":["Add-17358264402332005659","Neg-7746371651277702137"],"eclass":"7895","cost":1.0},"Mul-11049602436315167230":{"op":"Mul","children":["Add-12059963319036504470","Num-5871781006564002453"],"eclass":"7674","cost":1.0},"Mul-11586477243732248065":{"op":"Mul","children":["Var-1133650922057509460","Add-14614675543993090514"],"eclass":"7271","cost":1.0},"Mul-13957938641138162427":{"op":"Mul","children":["Add-16423624095598228922","Add-18353944775094350290"],"eclass":"7788","cost":1.0},"Mul-18423662638510686853":{"op":"Mul","children":["Add-5361560286576489349","Mul-3346273450431105878"],"eclass":"2199","cost":1.0},"Mul-10999255016440724806":{"op":"Mul","children":["Mul-18423662638510686853","Add-6790697920710585826"],"eclass":"2199","cost":1.0},"Mul-5266642687132160971":{"op":"Mul","children":["Add-16007481065985611276","Mul-5266642687132160971"],"eclass":"3782","cost":1.0},"Mul-7137693311015096515":{"op":"Mul","children":["Mul-15030250790331775229","Mul-7137693311015096515"],"eclass":"3566","cost":1.0},"Mul-4226285113100616856":{"op":"Mul","children":["Neg-7746371651277702137","Mul-4226285113100616856"],"eclass":"1569","cost":1.0},"Mul-9735135725783961766":{"op":"Mul","children":["Num-5871781006564002453","Mul-9735135725783961766"],"eclass":"2199","cost":1.0},"Mul-4385392017171882544":{"op":"Mul","children":["Add-14614675543993090514","Mul-17426213519451403580"],"eclass":"8041","cost":1.0},"Mul-225731731461088154":{"op":"Mul","children":["Add-18353944775094350290","Num-15952540911656918845"],"eclass":"2731","cost":1.0},"Mul-12387914788783245604":{"op":"Mul","children":["Add-6790697920710585826","Mul-18353944775094350290"],"eclass":"7565","cost":1.0},"Mul-539166511482087941":{"op":"Mul","children":["Add-16007481065985611276","Neg-7953912162959396339"],"eclass":"6056","cost":1.0},"Mul-12178250264603092918":{"op":"Mul","children":["Mul-15030250790331775229","Neg-1043189590696155427"],"eclass":"4935","cost":1.0},"Mul-16335255534690814203":{"op":"Mul","children":["Neg-7746371651277702137","Neg-1614899503549274621"],"eclass":"4950","cost":1.0},"Mul-14674046436029569552":{"op":"Mul","children":["Num-5871781006564002453","Neg-11694066399268347150"],"eclass":"8137","cost":1.0},"Mul-7388177793699926441":{"op":"Mul","children":["Add-11187938092886357607","Add-14614675543993090514"],"eclass":"6056","cost":1.0},"Mul-13156581930975084890":{"op":"Mul","children":["Add-1458051121199355882","Add-18353944775094350290"],"eclass":"8137","cost":1.0},"Mul-14404285020828003117":{"op":"Mul","children":["Add-3959727711465520030","Add-6790697920710585826"],"eclass":"2731","cost":1.0},"Mul-11875263455870555568":{"op":"Mul","children":["Num-1662802108035088514","Add-16007481065985611276"],"eclass":"7565","cost":1.0},"Mul-13049607585485046663":{"op":"Mul","children":["Add-2133885291976398591","Mul-15030250790331775229"],"eclass":"4935","cost":1.0},"Mul-14270906589880227552":{"op":"Mul","children":["Add-4575406821421685880","Neg-7746371651277702137"],"eclass":"8041","cost":1.0},"Mul-15382162901413150548":{"op":"Mul","children":["Add-7331248136095663991","Num-5871781006564002453"],"eclass":"4950","cost":1.0},"Mul-18353944775094350290":{"op":"Mul","children":["Add-1154744785014960577","Add-8015440740293929112"],"eclass":"7565","cost":1.0},"Mul-13459656550383317102":{"op":"Mul","children":["Num-15121139857639374588","Add-14614675543993090514"],"eclass":"6931","cost":1.0},"Mul-3709380845353301628":{"op":"Mul","children":["Add-18353944775094350290","Num-2494203162052632771"],"eclass":"7061","cost":1.0},"Mul-15141101087834150610":{"op":"Mul","children":["Add-6790697920710585826","Mul-13459656550383317102"],"eclass":"6931","cost":1.0},"Mul-12757062853141836851":{"op":"Mul","children":["Mul-382580412612515415","Add-16007481065985611276"],"eclass":"5343","cost":1.0},"Mul-8757394476709999184":{"op":"Mul","children":["Num-0","Mul-11586477243732248065"],"eclass":"5343","cost":1.0},"Mul-12897867242988687415":{"op":"Mul","children":["Num-13406364121163093420","Mul-15030250790331775229"],"eclass":"7098","cost":1.0},"Mul-7968760440567659087":{"op":"Mul","children":["Mul-7968760440567659087","Neg-7746371651277702137"],"eclass":"2900","cost":1.0},"Mul-4337355202264688708":{"op":"Mul","children":["Num-5040379952546458196","Num-5871781006564002453"],"eclass":"7867","cost":1.0},"Mul-382580412612515415":{"op":"Mul","children":["Add-13156581930975084890","Mul-8757394476709999184"],"eclass":"5343","cost":1.0},"Mul-17426213519451403580":{"op":"Mul","children":["Var-17627030480522586708","Add-6090274480652560547"],"eclass":"8041","cost":1.0},"Neg-4573325300741877138":{"op":"Neg","children":["Neg-6342552680240885858"],"eclass":"8304","cost":1.0},"Neg-3014470449589173932":{"op":"Neg","children":["Neg-1820139001690972132"],"eclass":"8312","cost":1.0},"Neg-13043256726240897670":{"op":"Neg","children":["Neg-9772989158401139229"],"eclass":"8390","cost":1.0},"Neg-7899106517853592373":{"op":"Neg","children":["Mul-4226285113100616856"],"eclass":"8222","cost":1.0},"Neg-17772325911264814563":{"op":"Neg","children":["Mul-18423662638510686853"],"eclass":"8200","cost":1.0},"Neg-1716545746891663238":{"op":"Neg","children":["Add-9546635517109887197"],"eclass":"8258","cost":1.0},"Neg-15642646152466683198":{"op":"Neg","children":["Num-9249358851075372135"],"eclass":"8382","cost":1.0},"Neg-9772989158401139229":{"op":"Neg","children":["Mul-14270906589880227552"],"eclass":"1262","cost":1.0},"Neg-18398664468182199516":{"op":"Neg","children":["Mul-6307885266371396121"],"eclass":"7674","cost":1.0},"Neg-13098416373429778050":{"op":"Neg","children":["Mul-11049602436315167230"],"eclass":"7788","cost":1.0},"Neg-10811753723058839481":{"op":"Neg","children":["Mul-3709380845353301628"],"eclass":"8228","cost":1.0},"Neg-5613328872690344839":{"op":"Neg","children":["Add-5305338633138379727"],"eclass":"7061","cost":1.0},"Neg-11694066399268347150":{"op":"Neg","children":["Mul-16335255534690814203"],"eclass":"8137","cost":1.0},"Neg-15851071669356068435":{"op":"Neg","children":["Mul-12178250264603092918"],"eclass":"7895","cost":1.0},"Neg-1043189590696155427":{"op":"Neg","children":["Mul-12387560786700169190"],"eclass":"4935","cost":1.0},"Neg-12629945713292891336":{"op":"Neg","children":["Mul-539166511482087941"],"eclass":"7271","cost":1.0},"Neg-7953912162959396339":{"op":"Neg","children":["Num-11743562013128004906"],"eclass":"6056","cost":1.0},"Neg-1614899503549274621":{"op":"Neg","children":["Mul-13156581930975084890"],"eclass":"4950","cost":1.0},"Neg-3796729891830136847":{"op":"Neg","children":["Mul-15141101087834150610"],"eclass":"8184","cost":1.0},"Neg-13460992765227359179":{"op":"Neg","children":["Neg-13460992765227359179"],"eclass":"5343","cost":1.0},"Neg-6706722081412310850":{"op":"Neg","children":["Mul-12897867242988687415"],"eclass":"7867","cost":1.0},"Neg-17566909412081578845":{"op":"Neg","children":["Num-15069166229198181934"],"eclass":"8238","cost":1.0},"Neg-1820139001690972132":{"op":"Neg","children":["Num-3377577844511369682"],"eclass":"1276","cost":1.0},"Neg-11487056890711267569":{"op":"Neg","children":[],"eclass":"8284","cost":1.0},"Neg-8005177787234436165":{"op":"Neg","children":[],"eclass":"8292","cost":1.0},"Neg-2654018070290051287":{"op":"Neg","children":["Neg-6706722081412310850"],"eclass":"7098","cost":1.0},"Neg-2131980772338128056":{"op":"Neg","children":["Num-16783941965674463102"],"eclass":"7565","cost":1.0},"Neg-263585164078265617":{"op":"Neg","children":["Mul-11875263455870555568"],"eclass":"3032","cost":1.0},"Neg-6342552680240885858":{"op":"Neg","children":["Num-10080759905092916392"],"eclass":"1226","cost":1.0},"Neg-7746371651277702137":{"op":"Neg","children":["Num-12574963067145549163"],"eclass":"8400","cost":1.0},"Neg-14813546111989135632":{"op":"Neg","children":["Add-18353944775094350290"],"eclass":"7893","cost":1.0},"i64-9249358851075372135":{"op":"11","children":[],"eclass":"i64-9249358851075372135","cost":0.0},"Num-9249358851075372135":{"op":"Num","children":["i64-9249358851075372135"],"eclass":"3782","cost":1.0},"i64-10912160959110460649":{"op":"5","children":[],"eclass":"i64-10912160959110460649","cost":0.0},"Num-10912160959110460649":{"op":"Num","children":["i64-10912160959110460649"],"eclass":"7895","cost":1.0},"i64-15952540911656918845":{"op":"9","children":[],"eclass":"i64-15952540911656918845","cost":0.0},"Num-15952540911656918845":{"op":"Num","children":["i64-15952540911656918845"],"eclass":"2731","cost":1.0},"i64-6703182060581546710":{"op":"-2","children":[],"eclass":"i64-6703182060581546710","cost":0.0},"Num-6703182060581546710":{"op":"Num","children":["i64-6703182060581546710"],"eclass":"6056","cost":1.0},"i64-17615343019692007359":{"op":"3","children":[],"eclass":"i64-17615343019692007359","cost":0.0},"Num-17615343019692007359":{"op":"Num","children":["i64-17615343019692007359"],"eclass":"8137","cost":1.0},"i64-5871781006564002453":{"op":"1","children":[],"eclass":"i64-5871781006564002453","cost":0.0},"Num-5871781006564002453":{"op":"Num","children":["i64-5871781006564002453"],"eclass":"8400","cost":1.0},"i64-14237765175180637677":{"op":"-7","children":[],"eclass":"i64-14237765175180637677","cost":0.0},"Num-14237765175180637677":{"op":"Num","children":["i64-14237765175180637677"],"eclass":"7788","cost":1.0},"i64-4208978898528913939":{"op":"7","children":[],"eclass":"i64-4208978898528913939","cost":0.0},"Num-4208978898528913939":{"op":"Num","children":["i64-4208978898528913939"],"eclass":"7674","cost":1.0},"i64-11743562013128004906":{"op":"2","children":[],"eclass":"i64-11743562013128004906","cost":0.0},"Num-11743562013128004906":{"op":"Num","children":["i64-11743562013128004906"],"eclass":"7271","cost":1.0},"i64-7534583114599090967":{"op":"-5","children":[],"eclass":"i64-7534583114599090967","cost":0.0},"Num-7534583114599090967":{"op":"Num","children":["i64-7534583114599090967"],"eclass":"4935","cost":1.0},"i64-2494203162052632771":{"op":"-9","children":[],"eclass":"i64-2494203162052632771","cost":0.0},"Num-2494203162052632771":{"op":"Num","children":["i64-2494203162052632771"],"eclass":"7061","cost":1.0},"i64-1662802108035088514":{"op":"-6","children":[],"eclass":"i64-1662802108035088514","cost":0.0},"Num-1662802108035088514":{"op":"Num","children":["i64-1662802108035088514"],"eclass":"7565","cost":1.0},"i64-831401054017544257":{"op":"-3","children":[],"eclass":"i64-831401054017544257","cost":0.0},"Num-831401054017544257":{"op":"Num","children":["i64-831401054017544257"],"eclass":"4950","cost":1.0},"i64-15121139857639374588":{"op":"12","children":[],"eclass":"i64-15121139857639374588","cost":0.0},"Num-15121139857639374588":{"op":"Num","children":["i64-15121139857639374588"],"eclass":"6931","cost":1.0},"i64-15069166229198181934":{"op":"-10","children":[],"eclass":"i64-15069166229198181934","cost":0.0},"Num-15069166229198181934":{"op":"Num","children":["i64-15069166229198181934"],"eclass":"7081","cost":1.0},"i64-16783941965674463102":{"op":"6","children":[],"eclass":"i64-16783941965674463102","cost":0.0},"Num-16783941965674463102":{"op":"Num","children":["i64-16783941965674463102"],"eclass":"3032","cost":1.0},"i64-3377577844511369682":{"op":"10","children":[],"eclass":"i64-3377577844511369682","cost":0.0},"Num-3377577844511369682":{"op":"Num","children":["i64-3377577844511369682"],"eclass":"2900","cost":1.0},"i64-13406364121163093420":{"op":"-4","children":[],"eclass":"i64-13406364121163093420","cost":0.0},"Num-13406364121163093420":{"op":"Num","children":["i64-13406364121163093420"],"eclass":"7098","cost":1.0},"i64-0":{"op":"0","children":[],"eclass":"i64-0","cost":0.0},"Num-0":{"op":"Num","children":["i64-0"],"eclass":"5343","cost":1.0},"i64-5040379952546458196":{"op":"4","children":[],"eclass":"i64-5040379952546458196","cost":0.0},"Num-5040379952546458196":{"op":"Num","children":["i64-5040379952546458196"],"eclass":"7867","cost":1.0},"i64-10080759905092916392":{"op":"8","children":[],"eclass":"i64-10080759905092916392","cost":0.0},"Num-10080759905092916392":{"op":"Num","children":["i64-10080759905092916392"],"eclass":"6234","cost":1.0},"i64-12574963067145549163":{"op":"-1","children":[],"eclass":"i64-12574963067145549163","cost":0.0},"Num-12574963067145549163":{"op":"Num","children":["i64-12574963067145549163"],"eclass":"7893","cost":1.0},"Add-10232177342155300978":{"op":"Add","children":["Neg-9772989158401139229","Neg-1820139001690972132"],"eclass":"4661","cost":1.0},"Add-1814219545097473100":{"op":"Add","children":["Neg-9772989158401139229","Neg-6342552680240885858"],"eclass":"4679","cost":1.0},"Add-8282815230849313373":{"op":"Add","children":["Neg-6342552680240885858","Neg-9772989158401139229"],"eclass":"7233","cost":1.0},"Add-14986528294555474704":{"op":"Add","children":["Neg-6342552680240885858","Mul-10999255016440724806"],"eclass":"2304","cost":1.0},"Add-7356343215175917434":{"op":"Add","children":["Neg-1820139001690972132","Mul-9735135725783961766"],"eclass":"2037","cost":1.0},"Add-9546635517109887197":{"op":"Add","children":["Neg-15851071669356068435"],"eclass":"3566","cost":1.0},"Add-4401246301431814451":{"op":"Add","children":["Num-10912160959110460649","Num-9249358851075372135"],"eclass":"6835","cost":1.0},"Add-6064579412591517586":{"op":"Add","children":["Add-17358264402332005659","Mul-14404285020828003117"],"eclass":"6846","cost":1.0},"Add-11418925148283590190":{"op":"Add","children":["Var-1976739436905633066"],"eclass":"2731","cost":1.0},"Add-18305316171623601686":{"op":"Add","children":["Add-11418925148283590190","Mul-12387560786700169190"],"eclass":"3042","cost":1.0},"Add-3988160791814836020":{"op":"Add","children":["Mul-4226285113100616856","Num-17615343019692007359"],"eclass":"2689","cost":1.0},"Add-10075725453707108395":{"op":"Add","children":["Neg-9772989158401139229","Mul-17426213519451403580"],"eclass":"4675","cost":1.0},"Add-17391480311582806627":{"op":"Add","children":["Mul-18423662638510686853","Add-7257044568349014056"],"eclass":"6027","cost":1.0},"Add-1458051121199355882":{"op":"Add","children":["Num-6703182060581546710","Mul-16659588569808676101"],"eclass":"8137","cost":1.0},"Add-11187938092886357607":{"op":"Add","children":["Add-3959727711465520030"],"eclass":"6056","cost":1.0},"Add-8015440740293929112":{"op":"Add","children":["Add-1154744785014960577"],"eclass":"6056","cost":1.0},"Add-14614675543993090514":{"op":"Add","children":["Mul-14674046436029569552"],"eclass":"8400","cost":1.0},"Add-1154744785014960577":{"op":"Add","children":["Neg-11694066399268347150","Mul-12757062853141836851"],"eclass":"8137","cost":1.0},"Add-531946248928339764":{"op":"Add","children":["Num-17615343019692007359","Mul-5266642687132160971"],"eclass":"6921","cost":1.0},"Add-220635481405798461":{"op":"Add","children":["Add-1458051121199355882","Add-5305338633138379727"],"eclass":"6931","cost":1.0},"Add-3959727711465520030":{"op":"Add","children":["Add-1154744785014960577"],"eclass":"2731","cost":1.0},"Add-13156581930975084890":{"op":"Add","children":["Mul-14674046436029569552","Mul-15030250790331775229"],"eclass":"7867","cost":1.0},"Add-18353944775094350290":{"op":"Add","children":["Mul-13156581930975084890","Add-6090274480652560547"],"eclass":"8400","cost":1.0},"Add-6090274480652560547":{"op":"Add","children":["Mul-14404285020828003117","Neg-15642646152466683198"],"eclass":"6056","cost":1.0},"Add-7257044568349014056":{"op":"Add","children":["Neg-2131980772338128056","Mul-7388177793699926441"],"eclass":"8041","cost":1.0},"Add-6790697920710585826":{"op":"Add","children":["Num-1662802108035088514","Num-4208978898528913939"],"eclass":"8400","cost":1.0},"Add-814969657264198065":{"op":"Add","children":["Add-12971388877808872995","Mul-12387914788783245604"],"eclass":"2459","cost":1.0},"Add-4400088013457261949":{"op":"Add","children":["Mul-11875263455870555568","Mul-4385392017171882544"],"eclass":"5772","cost":1.0},"Add-3617905768809577345":{"op":"Add","children":["Mul-14270906589880227552","Mul-18353944775094350290"],"eclass":"7203","cost":1.0},"Add-12971388877808872995":{"op":"Add","children":["Mul-17426213519451403580","Mul-3346273450431105878"],"eclass":"7565","cost":1.0},"Add-5305338633138379727":{"op":"Add","children":["Neg-7953912162959396339","Num-9249358851075372135"],"eclass":"2731","cost":1.0},"Add-4575406821421685880":{"op":"Add","children":["Num-6703182060581546710","Num-1662802108035088514"],"eclass":"8041","cost":1.0},"Add-2133885291976398591":{"op":"Add","children":["Add-11187938092886357607","Num-831401054017544257"],"eclass":"4935","cost":1.0},"Add-16423624095598228922":{"op":"Add","children":["Add-8015440740293929112","Add-2133885291976398591"],"eclass":"7788","cost":1.0},"Add-12059963319036504470":{"op":"Add","children":["Add-6090274480652560547","Add-11418925148283590190"],"eclass":"7674","cost":1.0},"Add-16007481065985611276":{"op":"Add","children":["Mul-539166511482087941","Neg-11694066399268347150"],"eclass":"8400","cost":1.0},"Add-5361560286576489349":{"op":"Add","children":["Mul-7388177793699926441","Neg-10811753723058839481"],"eclass":"7674","cost":1.0},"Add-17358264402332005659":{"op":"Add","children":["Neg-7953912162959396339","Mul-15090012464600648991"],"eclass":"7895","cost":1.0},"Add-10606471733098492228":{"op":"Add","children":["Num-6703182060581546710","Mul-4226285113100616856"],"eclass":"2782","cost":1.0},"Add-7331248136095663991":{"op":"Add","children":["Add-11187938092886357607"],"eclass":"4950","cost":1.0},"String-1976739436905633066":{"op":"\"x\"","children":[],"eclass":"String-1976739436905633066","cost":0.0},"Var-1976739436905633066":{"op":"Var","children":["String-1976739436905633066"],"eclass":"7895","cost":1.0},"String-1133650922057509460":{"op":"\"z\"","children":[],"eclass":"String-1133650922057509460","cost":0.0},"Var-1133650922057509460":{"op":"Var","children":["String-1133650922057509460"],"eclass":"7271","cost":1.0},"String-17627030480522586708":{"op":"\"y\"","children":[],"eclass":"String-17627030480522586708","cost":0.0},"Var-17627030480522586708":{"op":"Var","children":["String-17627030480522586708"],"eclass":"7867","cost":1.0}},"root_eclasses":[],"class_data":{"7895":{"type":"Expr"},"8400":{"type":"Expr"},"7674":{"type":"Expr"},"7271":{"type":"Expr"},"7788":{"type":"Expr"},"2199":{"type":"Expr"},"3782":{"type":"Expr"},"3566":{"type":"Expr"},"1569":{"type":"Expr"},"8041":{"type":"Expr"},"2731":{"type":"Expr"},"7565":{"type":"Expr"},"6056":{"type":"Expr"},"4935":{"type":"Expr"},"4950":{"type":"Expr"},"8137":{"type":"Expr"},"6931":{"type":"Expr"},"7061":{"type":"Expr"},"5343":{"type":"Expr"},"7098":{"type":"Expr"},"2900":{"type":"Expr"},"7867":{"type":"Expr"},"8304":{"type":"Expr"},"1226":{"type":"Expr"},"8312":{"type":"Expr"},"1276":{"type":"Expr"},"8390":{"type":"Expr"},"1262":{"type":"Expr"},"8222":{"type":"Expr"},"8200":{"type":"Expr"},"8258":{"type":"Expr"},"8382":{"type":"Expr"},"8228":{"type":"Expr"},"8184":{"type":"Expr"},"8238":{"type":"Expr"},"7081":{"type":"Expr"},"8284":{"type":"Expr"},"6637":{"type":"Expr"},"8292":{"type":"Expr"},"5873":{"type":"Expr"},"3032":{"type":"Expr"},"6234":{"type":"Expr"},"7893":{"type":"Expr"},"i64-9249358851075372135":{"type":"i64"},"i64-10912160959110460649":{"type":"i64"},"i64-15952540911656918845":{"type":"i64"},"i64-6703182060581546710":{"type":"i64"},"i64-17615343019692007359":{"type":"i64"},"i64-5871781006564002453":{"type":"i64"},"i64-14237765175180637677":{"type":"i64"},"i64-4208978898528913939":{"type":"i64"},"i64-11743562013128004906":{"type":"i64"},"i64-7534583114599090967":{"type":"i64"},"i64-2494203162052632771":{"type":"i64"},"i64-1662802108035088514":{"type":"i64"},"i64-831401054017544257":{"type":"i64"},"i64-15121139857639374588":{"type":"i64"},"i64-15069166229198181934":{"type":"i64"},"i64-16783941965674463102":{"type":"i64"},"i64-3377577844511369682":{"type":"i64"},"i64-13406364121163093420":{"type":"i64"},"i64-0":{"type":"i64"},"i64-5040379952546458196":{"type":"i64"},"i64-10080759905092916392":{"type":"i64"},"i64-12574963067145549163":{"type":"i64"},"4661":{"type":"Expr"},"4679":{"type":"Expr"},"7233":{"type":"Expr"},"2304":{"type":"Expr"},"2037":{"type":"Expr"},"5960":{"type":"Expr"},"6835":{"type":"Expr"},"6846":{"type":"Expr"},"7063":{"type":"Expr"},"3042":{"type":"Expr"},"2689":{"type":"Expr"},"4675":{"type":"Expr"},"6027":{"type":"Expr"},"2786":{"type":"Expr"},"1946":{"type":"Expr"},"1960":{"type":"Expr"},"6921":{"type":"Expr"},"7172":{"type":"Expr"},"2459":{"type":"Expr"},"5772":{"type":"Expr"},"7203":{"type":"Expr"},"2782":{"type":"Expr"},"3022":{"type":"Expr"},"String-1976739436905633066":{"type":"String"},"String-1133650922057509460":{"type":"String"},"String-17627030480522586708":{"type":"String"}}}