{"id":"https://openalex.org/W7169072865","doi":"https://doi.org/10.4230/lipics.sat.2026.26","title":"On Knowledge Compilation for Two-Variable First-Order Logic","display_name":"On Knowledge Compilation for Two-Variable First-Order Logic","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7169072865","doi":"https://doi.org/10.4230/lipics.sat.2026.26"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:26332","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2026.26","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol377-sat2026/LIPIcs.SAT.2026.26/LIPIcs.SAT.2026.26.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},"type":"article","indexed_in":["datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol377-sat2026/LIPIcs.SAT.2026.26/LIPIcs.SAT.2026.26.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053734421","display_name":"Qiaolan Meng","orcid":null},"institutions":[{"id":"https://openalex.org/I4210122106","display_name":"National Institute for Education","ror":"https://ror.org/02k7stp33","country_code":"SK","type":"facility","lineage":["https://openalex.org/I4210122106"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN","SK"],"is_corresponding":false,"raw_author_name":"Meng, Qiaolan","raw_affiliation_strings":["State Key Laboratory of Complex & Critical Software Environment, Beihang University, Beijing, China","National Research Center for Educational Materials, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0003-3413-5421","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Complex & Critical Software Environment, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"National Research Center for Educational Materials, Beijing, China","institution_ids":["https://openalex.org/I4210122106"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101069493","display_name":"Juhua Pu","orcid":"https://orcid.org/0000-0003-3866-8703"},"institutions":[{"id":"https://openalex.org/I4210122106","display_name":"National Institute for Education","ror":"https://ror.org/02k7stp33","country_code":"SK","type":"facility","lineage":["https://openalex.org/I4210122106"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN","SK"],"is_corresponding":false,"raw_author_name":"Pu, Juhua","raw_affiliation_strings":["State Key Laboratory of Complex & Critical Software Environment, Beihang University, Beijing, China","National Research Center for Educational Materials, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-3866-8703","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Complex & Critical Software Environment, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"National Research Center for Educational Materials, Beijing, China","institution_ids":["https://openalex.org/I4210122106"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052934851","display_name":"Hongting Niu","orcid":null},"institutions":[{"id":"https://openalex.org/I105126617","display_name":"Zhejiang International Studies University","ror":"https://ror.org/01vwvvq12","country_code":"CN","type":"education","lineage":["https://openalex.org/I105126617"]},{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Niu, Hongting","raw_affiliation_strings":["Hangzhou International Innovation Institute, Beihang University, Hangzhou, China","State Key Laboratory of Complex & Critical Software Environment, Beihang University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-5005-2317","affiliations":[{"raw_affiliation_string":"Hangzhou International Innovation Institute, Beihang University, Hangzhou, China","institution_ids":["https://openalex.org/I105126617","https://openalex.org/I82880672"]},{"raw_affiliation_string":"State Key Laboratory of Complex & Critical Software Environment, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102730412","display_name":"Yuyi Wang","orcid":"https://orcid.org/0000-0001-7273-9873"},"institutions":[{"id":"https://openalex.org/I4210126257","display_name":"CRRC (China)","ror":"https://ror.org/033g21894","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210126257"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wang, Yuyi","raw_affiliation_strings":["CRRC Zhuzhou Institute, Zhuzhou, China","Tengen Intelligence Institute, Zhuzhou, China"],"raw_orcid":"https://orcid.org/0000-0001-7273-9873","affiliations":[{"raw_affiliation_string":"CRRC Zhuzhou Institute, Zhuzhou, China","institution_ids":["https://openalex.org/I4210126257"]},{"raw_affiliation_string":"Tengen Intelligence Institute, Zhuzhou, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101852624","display_name":"Yuanhong Wang","orcid":"https://orcid.org/0000-0003-1801-9634"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wang, Yuanhong","raw_affiliation_strings":["Jilin University, Changchun, China"],"raw_orcid":"https://orcid.org/0000-0003-1801-9634","affiliations":[{"raw_affiliation_string":"Jilin University, Changchun, China","institution_ids":["https://openalex.org/I194450716"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021262042","display_name":"Ond\u0159ej Ku\u017eelka","orcid":"https://orcid.org/0000-0002-6523-9114"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Ku\u017eelka, Ond\u0159ej","raw_affiliation_strings":["Faculty of Electrical Engineering, Czech Technical University in Prague, Czech Republic"],"raw_orcid":"https://orcid.org/0000-0002-6523-9114","affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Czech Technical University in Prague, Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.75798901,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.40299999713897705,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.40299999713897705,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.28850001096725464,"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/T10028","display_name":"Topic Modeling","score":0.06159999966621399,"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/unary-operation","display_name":"Unary operation","score":0.8270999789237976},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5594000220298767},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5182999968528748},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.5011000037193298},{"id":"https://openalex.org/keywords/literal","display_name":"Literal (mathematical logic)","score":0.48910000920295715},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4494999945163727},{"id":"https://openalex.org/keywords/propositional-formula","display_name":"Propositional formula","score":0.4381999969482422},{"id":"https://openalex.org/keywords/well-formed-formula","display_name":"Well-formed formula","score":0.42980000376701355},{"id":"https://openalex.org/keywords/sentence","display_name":"Sentence","score":0.4284000098705292},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.39800000190734863}],"concepts":[{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.8270999789237976},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5885000228881836},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5594000220298767},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5182999968528748},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.5011000037193298},{"id":"https://openalex.org/C2780882242","wikidata":"https://www.wikidata.org/wiki/Q14235582","display_name":"Literal (mathematical logic)","level":2,"score":0.48910000920295715},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47769999504089355},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4494999945163727},{"id":"https://openalex.org/C74640108","wikidata":"https://www.wikidata.org/wiki/Q1372900","display_name":"Propositional formula","level":5,"score":0.4381999969482422},{"id":"https://openalex.org/C191222856","wikidata":"https://www.wikidata.org/wiki/Q655328","display_name":"Well-formed formula","level":5,"score":0.42980000376701355},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.4284000098705292},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.39800000190734863},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3720000088214874},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.3555999994277954},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.3508000075817108},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.3483000099658966},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.34689998626708984},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.33970001339912415},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32179999351501465},{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.3176000118255615},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3100999891757965},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.3025999963283539},{"id":"https://openalex.org/C96469262","wikidata":"https://www.wikidata.org/wiki/Q1324364","display_name":"Homogeneous space","level":2,"score":0.3019999861717224},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.28929999470710754},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2842999994754791},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.27810001373291016},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2766999900341034},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.27549999952316284},{"id":"https://openalex.org/C194989596","wikidata":"https://www.wikidata.org/wiki/Q211790","display_name":"Logical connective","level":2,"score":0.26899999380111694},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.2655999958515167},{"id":"https://openalex.org/C168993435","wikidata":"https://www.wikidata.org/wiki/Q6501125","display_name":"Ground","level":2,"score":0.26510000228881836},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2637999951839447},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.263700008392334},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26010000705718994},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.25940001010894775},{"id":"https://openalex.org/C14156362","wikidata":"https://www.wikidata.org/wiki/Q3235388","display_name":"Descriptive knowledge","level":2,"score":0.25519999861717224},{"id":"https://openalex.org/C173125200","wikidata":"https://www.wikidata.org/wiki/Q5275729","display_name":"Modal \u03bc-calculus","level":5,"score":0.2529999911785126},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2524999976158142}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:26332","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2026.26","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol377-sat2026/LIPIcs.SAT.2026.26/LIPIcs.SAT.2026.26.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},{"id":"doi:10.4230/lipics.sat.2026.26","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.sat.2026.26","pdf_url":null,"source":{"id":"https://openalex.org/S4393917817","display_name":"Leibniz international proceedings in informatics","issn_l":"1868-8969","issn":["1868-8969"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:26332","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2026.26","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol377-sat2026/LIPIcs.SAT.2026.26/LIPIcs.SAT.2026.26.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3753167796","display_name":null,"funder_award_id":"62577006","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7169072865.pdf","grobid_xml":"https://content.openalex.org/works/W7169072865.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Knowledge":[0],"compilation":[1,62,88,158],"transforms":[2],"logical":[3],"theories":[4,53],"into":[5],"circuit":[6],"representations":[7,56],"that":[8,86,119,167],"support":[9],"efficient":[10],"reasoning.":[11],"We":[12,49,83],"study":[13],"this":[14],"problem":[15],"for":[16,79,150],"propositional":[17,44,126],"groundings":[18,127],"of":[19,24,37,103,128,180],"FO\u00b2,":[20],"the":[21,75,111,121,125,157,177],"two-variable":[22],"fragment":[23],"first-order":[25],"logic":[26],"over":[27,46,100],"finite":[28],"domains.":[29],"Given":[30],"an":[31,95],"FO\u00b2":[32,96,129],"sentence":[33,97],"and":[34,59,64,135,163,188],"a":[35,43,80,101,116,144],"domain":[36,76,102],"size":[38,77,104,108],"n,":[39],"its":[40],"grounding":[41,99],"yields":[42],"theory":[45],"ground":[47,141],"atoms.":[48],"ask":[50],"whether":[51,65],"such":[52],"admit":[54],"compact":[55,87],"in":[57,91,124,143],"DNNF-based":[58],"related":[60],"knowledge":[61],"languages,":[63],"these":[66],"can":[67],"be":[68],"constructed":[69],"efficiently,":[70],"both":[71],"with":[72,170],"respect":[73,171],"to":[74,147,172],"n":[78,105],"fixed":[81],"sentence.":[82],"show":[84,176],"first":[85],"is":[89],"impossible":[90],"general:":[92],"there":[93],"exists":[94],"whose":[98],"requires":[106],"DNNF":[107],"2^\u03a9(n).":[109],"On":[110],"positive":[112],"side,":[113],"we":[114],"develop":[115],"two-stage":[117],"compiler":[118],"exploits":[120],"symmetries":[122],"inherent":[123],"sentences.":[130],"It":[131],"branches":[132],"on":[133],"unary":[134],"binary":[136],"types":[137],"rather":[138],"than":[139,191],"individual":[140],"atoms,":[142],"similar":[145],"spirit":[146],"lifted":[148],"inferences":[149],"probabilistic":[151],"relational":[152],"models.":[153],"Moreover,":[154],"it":[155],"optimizes":[156],"process":[159],"by":[160],"efficiently":[161],"identifying":[162],"caching":[164],"residual":[165],"subproblems":[166],"are":[168],"equivalent":[169],"future":[173],"extensions.":[174],"Experiments":[175],"practical":[178],"efficiency":[179],"our":[181],"approach,":[182],"which":[183],"often":[184],"produces":[185],"smaller":[186],"circuits":[187],"compiles":[189],"faster":[190],"straightforward":[192],"grounding-based":[193],"baselines.":[194]},"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2026-07-17T00:00:00"}