Control: explicit enumeration produces 4 rooted and 2 free trees on 4 nodes.
Explicit enumeration: all ten unordered/planted classes, n=1..10, agree.
Certified computation finished.
Published amplitude checks: six OEIS decimals, two Genitrini coefficients, corrected identity-free value.
count-limit rooted relative error at n=800 [0.000126295625510639362851150348874380262566650100317824761839682733619969063639353126986070064308871235572096378 +/- 7.15e-112]
count-limit free relative error at n=800 [0.001141191452771457290711893455359199850975055323489674117163456722900892662406592042171045597880007775087760604 +/- 4.67e-112]
count-limit planted relative error at n=800 [0.002004626128629792351289914847458220579308216111626514471503860361298005718209093620419712697222057934738854624 +/- 2.89e-112]
count-limit identity-rooted relative error at n=800 [0.000361156731563602222104644807534984033399246052131296906093196171875602498298178805583021128952064271166858660 +/- 3.90e-112]
count-limit identity-free relative error at n=800 [0.001463485868001604776770026881331887397634183211811100292708483063692109554540263578565017928602899312726264924 +/- 2.65e-112]
count-limit series-reduced-planted relative error at n=800 [0.002273184169482084250944738518108978247151745840646271118858859042024236601221828089070720939976271880813478660 +/- 5.17e-112]
count-limit series-reduced-rooted relative error at n=800 [0.001034276589778863441087304538350673578199092730623716936171996325199810178040581476672643907515823923117673995 +/- 2.36e-112]
count-limit series-reduced-free relative error at n=800 [0.003429050644692266008291505864564584723858604545301259620282859970914946838279153577786578642134983873578997743 +/- 4.83e-112]
count-limit degree-bounded-2 relative error at n=800 [0.001073487160698868648339754515022428499007571147225269660425987094271729798498117423344120386370754944048338955 +/- 4.56e-112]
count-limit degree-bounded-3 relative error at n=800 [0.000277494466624819299885129316068663985217601179089325403625681299860917279603087552419350471982729179642896652 +/- 3.61e-112]
count-limit plane relative error at n=800 [0.000469055376176534231856653883717116620826017696351475235028581092502616109321949560326308679670700905813997248241618739847172414570476849521365916 +/- 6.82e-148]
count-limit plane-binary relative error at n=800 [0.001170335787567213681967291924318674380502373266149706567748079544351776669223249437219623836881231203191527510724861347922693821718581572209938012 +/- 4.64e-148]
count-limit labelled-rooted relative error at n=800 [0.000104161236083039961137511240449922138499604451256586452777667139896250279122630062707022498229408876620618714041308681387439685785759525469153654 +/- 2.59e-148]
count-limit labelled-free relative error at n=800 [0.000104161236083039961137511240449922138499604451256586452777667139896250279122630062707022498229408876620618714041308681387439685785759525469153654 +/- 2.59e-148]
All fourteen agree at 100 and 130 requested digits.
All amplitude identities passed.
Evidence {"rooted": {"N": 410, "max_used": 404, "K": 540, "bits_retained": 381}, "identity": {"N": 802, "max_used": 712, "K": 540, "bits_retained": 380}, "series": {"N": 1923, "max_used": 1782, "K": 540, "bits_retained": 380}, "2": {"N": 802, "max_used": 737, "K": 540, "bits_retained": 379}, "3": {"N": 482, "max_used": 462, "K": 540, "bits_retained": 380}}
Size {'entries': 14, 'longest': 166, 'longest_at': 'plane', 'block_kb': 2.6259765625}
<VerifyReport T482: 14/14 matched, 0 differing, 0 missing, 0 extra>
Stored values: all fourteen verified, independent decimal checks and all nine identities passed.