{"id":"https://openalex.org/W4387673978","doi":"https://doi.org/10.1145/3622834","title":"Equality Saturation Theory Exploration \u00e0 la Carte","display_name":"Equality Saturation Theory Exploration \u00e0 la Carte","publication_year":2023,"publication_date":"2023-10-16","ids":{"openalex":"https://openalex.org/W4387673978","doi":"https://doi.org/10.1145/3622834"},"language":"en","primary_location":{"id":"doi:10.1145/3622834","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622834","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622834","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3622834","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015107110","display_name":"A. Pal","orcid":"https://orcid.org/0009-0006-0692-0707"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]},{"id":"https://openalex.org/I58610484","display_name":"Seattle University","ror":"https://ror.org/02jqc0m91","country_code":"US","type":"education","lineage":["https://openalex.org/I58610484"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Anjali Pal","raw_affiliation_strings":["University of Washington, Seattle, USA"],"raw_orcid":"https://orcid.org/0009-0006-0692-0707","affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, USA","institution_ids":["https://openalex.org/I201448701","https://openalex.org/I58610484"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000095412","display_name":"Brett Saiki","orcid":"https://orcid.org/0009-0002-3482-5767"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]},{"id":"https://openalex.org/I58610484","display_name":"Seattle University","ror":"https://ror.org/02jqc0m91","country_code":"US","type":"education","lineage":["https://openalex.org/I58610484"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brett Saiki","raw_affiliation_strings":["University of Washington, Seattle, USA"],"raw_orcid":"https://orcid.org/0009-0002-3482-5767","affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, USA","institution_ids":["https://openalex.org/I201448701","https://openalex.org/I58610484"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092829091","display_name":"Ryan Tjoa","orcid":"https://orcid.org/0009-0003-0731-5398"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]},{"id":"https://openalex.org/I58610484","display_name":"Seattle University","ror":"https://ror.org/02jqc0m91","country_code":"US","type":"education","lineage":["https://openalex.org/I58610484"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ryan Tjoa","raw_affiliation_strings":["University of Washington, Seattle, USA"],"raw_orcid":"https://orcid.org/0009-0003-0731-5398","affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, USA","institution_ids":["https://openalex.org/I201448701","https://openalex.org/I58610484"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063211555","display_name":"Cynthia Richey","orcid":"https://orcid.org/0009-0008-4456-9406"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]},{"id":"https://openalex.org/I58610484","display_name":"Seattle University","ror":"https://ror.org/02jqc0m91","country_code":"US","type":"education","lineage":["https://openalex.org/I58610484"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cynthia Richey","raw_affiliation_strings":["University of Washington, Seattle, USA"],"raw_orcid":"https://orcid.org/0009-0008-4456-9406","affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, USA","institution_ids":["https://openalex.org/I201448701","https://openalex.org/I58610484"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027136790","display_name":"Amy Zhu","orcid":"https://orcid.org/0000-0001-5766-7090"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]},{"id":"https://openalex.org/I58610484","display_name":"Seattle University","ror":"https://ror.org/02jqc0m91","country_code":"US","type":"education","lineage":["https://openalex.org/I58610484"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Amy Zhu","raw_affiliation_strings":["University of Washington, Seattle, USA"],"raw_orcid":"https://orcid.org/0000-0001-5766-7090","affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, USA","institution_ids":["https://openalex.org/I201448701","https://openalex.org/I58610484"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063351654","display_name":"Oliver Flatt","orcid":"https://orcid.org/0000-0002-0656-235X"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]},{"id":"https://openalex.org/I58610484","display_name":"Seattle University","ror":"https://ror.org/02jqc0m91","country_code":"US","type":"education","lineage":["https://openalex.org/I58610484"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Oliver Flatt","raw_affiliation_strings":["University of Washington, Seattle, USA"],"raw_orcid":"https://orcid.org/0000-0002-0656-235X","affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, USA","institution_ids":["https://openalex.org/I201448701","https://openalex.org/I58610484"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048760480","display_name":"Max Willsey","orcid":"https://orcid.org/0000-0001-8066-4218"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]},{"id":"https://openalex.org/I58610484","display_name":"Seattle University","ror":"https://ror.org/02jqc0m91","country_code":"US","type":"education","lineage":["https://openalex.org/I58610484"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Max Willsey","raw_affiliation_strings":["University of Washington, Seattle, USA"],"raw_orcid":"https://orcid.org/0000-0001-8066-4218","affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, USA","institution_ids":["https://openalex.org/I201448701","https://openalex.org/I58610484"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042187082","display_name":"Zachary Tatlock","orcid":"https://orcid.org/0000-0002-4731-0124"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]},{"id":"https://openalex.org/I58610484","display_name":"Seattle University","ror":"https://ror.org/02jqc0m91","country_code":"US","type":"education","lineage":["https://openalex.org/I58610484"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zachary Tatlock","raw_affiliation_strings":["University of Washington, Seattle, USA"],"raw_orcid":"https://orcid.org/0000-0002-4731-0124","affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, USA","institution_ids":["https://openalex.org/I201448701","https://openalex.org/I58610484"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066993902","display_name":"Chandrakana Nandi","orcid":"https://orcid.org/0000-0001-8633-8413"},"institutions":[{"id":"https://openalex.org/I58610484","display_name":"Seattle University","ror":"https://ror.org/02jqc0m91","country_code":"US","type":"education","lineage":["https://openalex.org/I58610484"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chandrakana Nandi","raw_affiliation_strings":["Certora, Seattle, USA"],"raw_orcid":"https://orcid.org/0000-0001-8633-8413","affiliations":[{"raw_affiliation_string":"Certora, Seattle, USA","institution_ids":["https://openalex.org/I58610484"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5015107110"],"corresponding_institution_ids":["https://openalex.org/I201448701","https://openalex.org/I58610484"],"apc_list":null,"apc_paid":null,"fwci":1.3633,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.85001813,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"7","issue":"OOPSLA2","first_page":"1034","last_page":"1062"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7568159699440002},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6312505006790161},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5618227124214172},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49768856167793274},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4961422383785248},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.47144946455955505},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4568544030189514},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4517665207386017},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.43919292092323303},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.43741321563720703},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.420652836561203},{"id":"https://openalex.org/keywords/metamodeling","display_name":"Metamodeling","score":0.4131910800933838},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.395679771900177},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3676748275756836},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10160082578659058}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7568159699440002},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6312505006790161},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5618227124214172},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49768856167793274},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4961422383785248},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.47144946455955505},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4568544030189514},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4517665207386017},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.43919292092323303},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.43741321563720703},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.420652836561203},{"id":"https://openalex.org/C86610423","wikidata":"https://www.wikidata.org/wiki/Q1925081","display_name":"Metamodeling","level":2,"score":0.4131910800933838},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.395679771900177},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3676748275756836},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10160082578659058},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3622834","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622834","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622834","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3622834","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622834","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622834","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2242405030","display_name":"CCRI: New: Incubating egg: Developing a Scalable, Cohesive Equality Saturation Ecosystem and Community","funder_award_id":"2232339","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5490598831","display_name":null,"funder_award_id":"1749571,2232339","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306078","display_name":"U.S. Department of Defense","ror":"https://ror.org/0447fe631"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387673978.pdf","grobid_xml":"https://content.openalex.org/works/W4387673978.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W364774736","https://openalex.org/W1553352239","https://openalex.org/W1969777579","https://openalex.org/W2014136929","https://openalex.org/W2031872041","https://openalex.org/W2032380869","https://openalex.org/W2055312318","https://openalex.org/W2055477538","https://openalex.org/W2070577487","https://openalex.org/W2152397470","https://openalex.org/W2160145830","https://openalex.org/W2181978274","https://openalex.org/W2485416161","https://openalex.org/W2502658919","https://openalex.org/W2792271488","https://openalex.org/W2886686348","https://openalex.org/W2963581951","https://openalex.org/W2981758446","https://openalex.org/W3003484961","https://openalex.org/W3014415287","https://openalex.org/W3033423882","https://openalex.org/W3033748891","https://openalex.org/W3037623668","https://openalex.org/W3082570516","https://openalex.org/W3153044352","https://openalex.org/W3185574054","https://openalex.org/W3207460439","https://openalex.org/W4221160784","https://openalex.org/W4233013357","https://openalex.org/W4234084457","https://openalex.org/W4235668804","https://openalex.org/W4242955624","https://openalex.org/W4243435342","https://openalex.org/W4244448683","https://openalex.org/W4281813636","https://openalex.org/W4287200955","https://openalex.org/W4293053360","https://openalex.org/W4300127692","https://openalex.org/W4307731837","https://openalex.org/W4311248665","https://openalex.org/W4320063645","https://openalex.org/W4365211818","https://openalex.org/W4386763903","https://openalex.org/W6788364217"],"related_works":["https://openalex.org/W4302559785","https://openalex.org/W2000943029","https://openalex.org/W2950376466","https://openalex.org/W1969483203","https://openalex.org/W2466303427","https://openalex.org/W1511249877","https://openalex.org/W1578828174","https://openalex.org/W4226437312","https://openalex.org/W2949331520","https://openalex.org/W3132540695"],"abstract_inverted_index":{"Rewrite":[0],"rules":[1,31,122],"are":[2,45],"critical":[3],"in":[4,11,152,194,203],"equality":[5,207],"saturation,":[6],"an":[7],"increasingly":[8],"popular":[9],"technique":[10],"optimizing":[12],"compilers,":[13],"synthesizers,":[14],"and":[15,23,40,47,57,69,100,156,172],"verifiers.":[16],"Unfortunately,":[17],"developing":[18,134],"high-quality":[19],"rulesets":[20,187,202],"is":[21],"difficult":[22],"error-prone.":[24],"Recent":[25],"work":[26],"on":[27],"automatically":[28],"inferring":[29],"rewrite":[30],"does":[32,147],"not":[33,148],"scale":[34,118],"to":[35,54,95,119,180],"large":[36],"terms":[37,151],"or":[38],"grammars,":[39],"existing":[41],"rule":[42,98],"inference":[43,56,99],"tools":[44],"monolithic":[46],"opaque.":[48],"Equality":[49],"saturation":[50],"users":[51,65,94],"therefore":[52],"struggle":[53],"guide":[55,97],"incrementally":[58,101],"construct":[59],"rulesets.":[60,71,103],"As":[61],"a":[62,76,86,142,175,189],"result,":[63],"most":[64],"still":[66],"manually":[67],"develop":[68],"maintain":[70],"This":[72],"paper":[73],"proposes":[74],"Enumo,":[75],"new":[77,135,143],"domain-specific":[78],"language":[79],"for":[80,137,166],"programmable":[81],"theory":[82],"exploration.":[83],"Enumo":[84,105,114,171],"provides":[85],"small":[87],"set":[88,191],"of":[89,164,177,192,200],"core":[90],"operators":[91,131],"that":[92,146,161],"enable":[93],"strategically":[96],"build":[102],"Short":[104],"programs":[106,115],"easily":[107],"replicate":[108],"results":[109],"from":[110,123],"state-of-the-art":[111,181],"tools,":[112],"but":[113],"can":[116,157,184],"also":[117],"infer":[120],"deeper":[121],"larger":[124],"grammars":[125],"than":[126],"prior":[127,167],"approaches.":[128],"Its":[129],"composable":[130],"even":[132],"facilitate":[133],"strategies":[136],"ruleset":[138],"inference.":[139],"We":[140,169],"introduce":[141],"fast-forwarding":[144,173],"strategy":[145],"require":[149],"evaluating":[150],"the":[153,198],"target":[154],"language,":[155],"thus":[158],"support":[159],"domains":[160],"were":[162],"out":[163],"scope":[165],"work.":[168],"evaluate":[170],"across":[174],"variety":[176],"domains.":[178],"Compared":[179],"techniques,":[182],"enumo":[183],"synthesize":[185],"better":[186],"over":[188],"diverse":[190],"domains,":[193],"some":[195],"cases":[196],"matching":[197],"effects":[199],"manually-developed":[201],"systems":[204],"driven":[205],"by":[206],"saturation.":[208]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}