diff --git a/theoretical/semidef_prog_estimate.ggb b/theoretical/semidef_prog_estimate.ggb
new file mode 100644
index 0000000000000000000000000000000000000000..dbd8993091d739c5994fe436a3ba8b94721d3eea
Binary files /dev/null and b/theoretical/semidef_prog_estimate.ggb differ