From 8113f6148b4ccc2c8a9168a39f9acaa2c920e4f0 Mon Sep 17 00:00:00 2001
From: odow <o.dowson@gmail.com>
Date: Tue, 19 Oct 2021 17:41:43 +1300
Subject: [PATCH 1/3] Build docs as a PDF

---
 .gitignore                       |   1 +
 docs/Project.toml                |   2 +-
 docs/make.jl                     | 172 +++++++++++++++++++------------
 docs/src/assets/latency.png      | Bin 0 -> 25175 bytes
 docs/src/index.md                |  12 +--
 docs/src/manual/standard_form.md |  26 ++---
 docs/src/tutorials/latency.md    |   2 +-
 7 files changed, 127 insertions(+), 88 deletions(-)
 create mode 100644 docs/src/assets/latency.png

diff --git a/.gitignore b/.gitignore
index fe01be8354..4b1315acc8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,7 @@
 *.jl.mem
 .vscode/*
 docs/build/
+docs/latex_build/
 docs/site/
 test/Benchmarks/*.json
 Manifest.toml
diff --git a/docs/Project.toml b/docs/Project.toml
index 084be214a2..894c17310b 100644
--- a/docs/Project.toml
+++ b/docs/Project.toml
@@ -5,6 +5,6 @@ JSONSchema = "7d188eb4-7ad8-530c-ae41-71a32a6d4692"
 MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
 
 [compat]
-Documenter = "0.27"
+Documenter = "0.27.9"
 JSON = "0.21"
 JSONSchema = "0.3"
diff --git a/docs/make.jl b/docs/make.jl
index 93d3030079..6aab1f9764 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -1,12 +1,85 @@
-using Documenter, MathOptInterface
+import Documenter
+import MathOptInterface
 
-"""
-Pass `julia docs/make.jl --fix` to rebuild the doctests.
-"""
+# Pass --fix` to rebuild the doctests.
 const _FIX = findfirst(isequal("--fix"), ARGS) !== nothing
 
-makedocs(
+# A flag to check if we are running in a GitHub action.
+const _IS_GITHUB_ACTIONS = get(ENV, "GITHUB_ACTIONS", "false") == "true"
+
+# Pass --pdf to build the PDF. On GitHub actions, we always build the PDF.
+const _PDF = findfirst(isequal("--pdf"), ARGS) !== nothing || _IS_GITHUB_ACTIONS
+
+# ==============================================================================
+#  Documentation structure
+# ==============================================================================
+
+const _PAGES = [
+    "Introduction" => "index.md",
+    "Background" => [
+        "background/motivation.md",
+        "background/duality.md",
+        "background/naming_conventions.md",
+    ],
+    "Tutorials" => [
+        "tutorials/example.md",
+        "tutorials/implementing.md",
+        "tutorials/mathprogbase.md",
+        "tutorials/bridging_constraint.md",
+        "tutorials/manipulating_expressions.md",
+        "tutorials/latency.md",
+    ],
+    "Manual" => [
+        "manual/standard_form.md",
+        "manual/models.md",
+        "manual/variables.md",
+        "manual/constraints.md",
+        "manual/solutions.md",
+        "manual/modification.md",
+    ],
+    "API Reference" => [
+        "reference/standard_form.md",
+        "reference/models.md",
+        "reference/variables.md",
+        "reference/constraints.md",
+        "reference/modification.md",
+        "reference/nonlinear.md",
+        "reference/callbacks.md",
+        "reference/errors.md",
+    ],
+    "Submodules" => [
+        "Benchmarks" => [
+            "Overview" => "submodules/Benchmarks/overview.md",
+            "API Reference" => "submodules/Benchmarks/reference.md",
+        ],
+        "Bridges" => [
+            "Overview" => "submodules/Bridges/overview.md",
+            "Implementation" => "submodules/Bridges/implementation.md",
+            "API Reference" => "submodules/Bridges/reference.md",
+        ],
+        "FileFormats" => [
+            "Overview" => "submodules/FileFormats/overview.md",
+            "API Reference" => "submodules/FileFormats/reference.md",
+        ],
+        "Utilities" => [
+            "Overview" => "submodules/Utilities/overview.md",
+            "API Reference" => "submodules/Utilities/reference.md",
+        ],
+        "Test" => [
+            "Overview" => "submodules/Test/overview.md",
+            "API Reference" => "submodules/Test/reference.md",
+        ],
+    ],
+    "Release notes" => "release_notes.md",
+]
+
+# ==============================================================================
+#  Build the HTML docs
+# ==============================================================================
+
+@time Documenter.makedocs(
     sitename = "MathOptInterface",
+    authors = "The JuMP core developers and contributors",
     format = Documenter.HTML(
         # See https://github.com/JuliaDocs/Documenter.jl/issues/868
         prettyurls = get(ENV, "CI", nothing) == "true",
@@ -17,67 +90,36 @@ makedocs(
     modules = [MathOptInterface],
     checkdocs = :exports,
     doctest = _FIX ? :fix : true,
-    pages = [
-        "Introduction" => "index.md",
-        "Background" => [
-            "background/motivation.md",
-            "background/duality.md",
-            "background/naming_conventions.md",
-        ],
-        "Tutorials" => [
-            "tutorials/example.md",
-            "tutorials/implementing.md",
-            "tutorials/mathprogbase.md",
-            "tutorials/bridging_constraint.md",
-            "tutorials/manipulating_expressions.md",
-            "tutorials/latency.md",
-        ],
-        "Manual" => [
-            "manual/standard_form.md",
-            "manual/models.md",
-            "manual/variables.md",
-            "manual/constraints.md",
-            "manual/solutions.md",
-            "manual/modification.md",
-        ],
-        "API Reference" => [
-            "reference/standard_form.md",
-            "reference/models.md",
-            "reference/variables.md",
-            "reference/constraints.md",
-            "reference/modification.md",
-            "reference/nonlinear.md",
-            "reference/callbacks.md",
-            "reference/errors.md",
-        ],
-        "Submodules" => [
-            "Benchmarks" => [
-                "Overview" => "submodules/Benchmarks/overview.md",
-                "API Reference" => "submodules/Benchmarks/reference.md",
-            ],
-            "Bridges" => [
-                "Overview" => "submodules/Bridges/overview.md",
-                "Implementation" => "submodules/Bridges/implementation.md",
-                "API Reference" => "submodules/Bridges/reference.md",
-            ],
-            "FileFormats" => [
-                "Overview" => "submodules/FileFormats/overview.md",
-                "API Reference" => "submodules/FileFormats/reference.md",
-            ],
-            "Utilities" => [
-                "Overview" => "submodules/Utilities/overview.md",
-                "API Reference" => "submodules/Utilities/reference.md",
-            ],
-            "Test" => [
-                "Overview" => "submodules/Test/overview.md",
-                "API Reference" => "submodules/Test/reference.md",
-            ],
-        ],
-        "Release notes" => "release_notes.md",
-    ],
+    pages = _PAGES,
 )
 
-deploydocs(
-    push_preview = true,
+# ==============================================================================
+#  Build the LaTeX docs (if needed)
+# ==============================================================================
+
+if _PDF
+    latex_platform = _IS_GITHUB_ACTIONS ? "docker" : "native"
+    @time Documenter.makedocs(
+        sitename = "MathOptInterface",
+        authors = "The JuMP core developers and contributors",
+        format = Documenter.LaTeX(platform = latex_platform),
+        build = "latex_build",
+        pages = _PAGES,
+    )
+    # Hack for deploying: copy the pdf (and only the PDF) into the HTML build
+    # directory! We don't want to copy everything in `latex_build` because it
+    # includes lots of extraneous LaTeX files.
+    cp(
+        joinpath(@__DIR__, "latex_build", "MathOptInterface.pdf"),
+        joinpath(@__DIR__, "build", "MathOptInterface.pdf"),
+    )
+end
+
+# ==============================================================================
+#  Deploy everything in `build`
+# ==============================================================================
+
+Documenter.deploydocs(
     repo = "github.com/jump-dev/MathOptInterface.jl.git",
+    push_preview = true,
 )
diff --git a/docs/src/assets/latency.png b/docs/src/assets/latency.png
new file mode 100644
index 0000000000000000000000000000000000000000..9b51f3b25fc63c559400a3fe628a33348b6e30ff
GIT binary patch
literal 25175
zcmc$`2UJsC*Di{PilPEGRH~o?QWd2)6+yay^bP`s7J4s6R0Jt6(nPA#q=VACB1Njw
zd!&ROkOT-JgxnoOv-!U7+;RT@-1Fae42F5Lv)A5x?KS6o<};tUf*z>Ioj7*!7#SJa
z3Hkdn>SSaG*~rMqnJEtg-<UHT%p@Z_APu>D_ksM~yDSf!pq3C@3o<f}2y+vYQ}?+!
zT1-t%Oj<g)IFC8GtG|31qHf~fTK~EJ;8(NbAA`O%9tt~fKvMe3asG>EeX5%3Dc|!g
zK5f@?nC%^oJr>&s?XwUzM4WQ3e;7_)uCD$n61K+7qN2ddaSa$$iR@!^o8mF)rE@I$
zX_RvuEZ&D-CZ04cI8YSHvUJeo)}`B>(i>-4^jSpMt{-agBY(7b`BG3OThY6Xr(|-4
z5kc`qSqBbezCNj-&ZQt-?Cf{jLe0`kHs~oE|1<To;^^1wE@wiHhaA6fUV7q$8XkLC
znBhXBFpXK<*74&Rm!v<ZQWo{bA3r`4F2GOecjskRvbhNj`IfuC?rk$Q*3knYaGl_u
zkWd!eW#sYWxjj1s0z+qgeg3!lUzjZdp{|TTAh=&Rco5BV_{Bju+4w&ud{+YJ#DFQ)
zve1#YR8}Ut27IO@I}ivVqX0e~0RAolf57a&enEBw`1cg>CzC?{=jcJUl!JdhlQR>4
zcw6JHygcx)hPji4g}w7*s7oewrvWfjKjfi~i;l9As5#V**Ypw8%!1d$&VhIenYf22
z@X^k~#gxUv&eq;p)I)-G_ZOnTXX4j<tSq}faj}tL)lq)Hau@1k!6L}Z&&$s$d5ndH
zMcnC;rKq}$?B40X|4Fbuc5!hK<>PaAcjt8%;DtI_@m&`Y5#i&%!FS^Z5AX{fXHR<<
zQx6_{XSUyi{252a!r9yj;@|>-+OrVHH8q2}x=66H5-;@kzu)(1;Q=9C$=-SIv498U
zBOc+q&dbmDcWmHPapJe44<H^Ewz@J9J79W%Ye?R@DImW4`+qw^x+3UI9nzV?{QJ%X
z9r@QYHJvS-?n3Q=OS(vs-pt-*!3XzF6z3y8IcO$+PxJ1#z&uMH6X*N;&Lof3IGw&q
zMkY-rFLV2$#{uM+{|Cc?M2-#Du8Pv$rdxMDa%zXi>9IUALY@~_9fZ&~)4oe}QAbe<
zHnu#M-cgU2qHuF~Npbc3^o^^6iC>DBr4Am@zh$b#;(MIq*Dv89c$@P&t2I}FPHL98
zGFwf5%z`5_?9pOU&-&PGt}|u`Gs;{kid$G1?@B7#7`Mr*=^sw6>8ka%S}Eyo&+=cj
zBqVRk8OxWUZlbrGvj~Hq%22!?#14>CP|~nSKOuuD^ZhCyAmZog;a;q+Rbw{=1R_Q8
zM$n#>V#dqB@x33Kuu-;8E3D-liTI#wmC-XqS)zXA&k(>*1S_O7PgAo69C<z1r{X7O
z#!5Q#iS!~ldSE8d;yBZt>T{4pg9Ce4CXW0}I&)Q1D-(X??%yi`x3qESZ8#IwH0?sK
z-<2rPNcH`v&lg_^!ZV2nY%19-CLY{)^XLAa)GO2Kc+lRk6?lIDrz~>v*p<KM6&^a&
z<lWV3cfXop=&2RV@G9xZGI`C9^MMUr#WS-fyvmp5Zo^3TR+>_OC!RJLV)wZL8hdni
zu84O$Dh_)t$QB?vr@T1BNOk2jaSnIqXi%Lz;3_Ls4R(fhu$ew$H2C7Il$0BnmVP4X
zWLr+y=lF=YhvWa8Uvp4o^b=G3``ABcj<%<Le)SJZGOY)>KpgxecyLj2{Des$Wb;Ay
zJmy^O(6H$7ji|rRP6k^)H%HAZaZa-5qC{e@yJnQ!-*KPR_n$g19vULqb7O9zUvzsT
z=I?3s9jE5nLxgDOxkH|Me9BHU0KL%Cr@+%kd>&s=w&7xM#ohlqp2<N<?rO^G<T$`J
zXa9M27HN}3N|&m!qC`f*V;k<)W4kl5H#HgT54?U{Ln{O4ta(h!{2l3uv_3iF(j&{k
z#26tqJNdTQzc)q(yFzi;aND}RmLl8)bW<5z55_~H4AAkkY=v~kok2&2PtUno1;$Z(
z_bgz<LyDVutUw2YrR(5ruc*41J!!sv){vKX;OfMTx@~LamWu9seFB_G5|eeN@e$px
zeHA$ebwNY)8>VR2TnI7?Oos4;JS|^#Rbv4?qP~2J*QJlY;`(hfQ{CZtF55`1zei#5
zS7_J@jVqk4xK<@=Ykn_T=@32D3R<0w6f@pvb8qpHm3yz;PX9d*_%M8~MR^cCx0pWW
zwXED`rDqq}mJFJsDA5XbIEv*IT4kpTG^=E={zEebCnS5WQD3&8{Mt{YMLOpIxxPM&
zXjkx&h#w92{oh&T<?)!Wkd`OSV@(z&i3Mu53Lzd<w!GlB1k$N61(xBEUiQ3!#fvfE
zGn7-XtdFz~ZuI9`D3M-m{Tu028)LS@@Ohm}q(zc)1!iO(($KkGeVbbUV+;@IVQ;}6
z3#bzw+GvCbIPIX#OAL!iOYTX%?3oWzFJ<s+86~vguSID|HusFY<0>n*qs0TG7w?da
zJOvt&UOJ`v0w;Rg^3lOwg|ok%-R|MRHS!9+JZt7QstA=bn-3An{=G=j+k~B9`L2q$
zrr1!AR;ioqyZ@P=9rOSaFqCHh7b`vN{MUU`zHtau6|pUIV@oM#=zR_T7zYeAb9o%!
z<K{z{WXuR+9cnaXtiiq{7bKnHOMG(4AHm&g8GW@Cr$9H_Lf%1lDc+32O^#%<WUx@a
z??|`iYgxwd>nFKL?uxSb$^*$C*PPi3%dYSkgO+X+g@USH>UeRJS>9hK27E9{q!7G!
za6_Vu(U_gLk%pyEm%`G>f4S1_O1JTf;DF|nue)QLP*Fy8eQM305o9|o!F_%Pd_nf_
z$WFn^4W#FJNVt9{=*StEU!C^398V?+M@#Pdea>K*=8gPR7n4_y^<CX0&?(%f<`6<`
z>Fjwgmu|}4HYk2h26_ZarMoO;G+9DsE7OpRL#+X%xjjJMcI+$Vk~vg%Yq)@q>gsFK
zA=o@+J7y*)q;(`hrA}!4y{{+`Z%Ky_kSoLD76kH8ZkI6`2!Xt-5w4&sX7GLgCV`DP
z644@o$+(5TGYwjeWU!3-?UK({dRInmB3MmTNUL5thrFZnljz05vIQQncX~nIQTqwi
za9`l%S<nKd$l#-~lU?Xymh5?3Tf_h|sy8eT{Aq&blz%+IZ_hSgUCL%5*H`@c4P!K@
zCszHU#+Oj?T-G^o8D6`<U{+P$Y0xE@(`j&L_x20ZDK6GPZqY~Ba#De!%ai)bqiYw<
z8QgXQo&DA^Qh+Xee&}4uh3lOy=OpQuME~9&%=L^;uVvbW!Z260Gk?DY9LW8YA(_iU
zCPEarbD}$L(SK*OUimZ!-<{Uclt3Zm0}fDN?myMy3(*uaFnZ}yX?Qo(Hcz8|{M26)
zE*Bxk_o^apU$*`}j|r*wb3XZ8oir7;Jg}W#Kg=ft^0r;}g9;oucI>_%D<@RWDZnim
zQWBm|0eXL;0*OBY?mu>Uo65pUdQ|Br()8p%EYp16pT#aJ=bW(cB;5x~;eEi9T@Dxc
z$Pv1K?HQ(wAj1$9oEJluDv+ClD!P{nqbZiXuzDp`>~IfjF62fqP87ga<`6Sqf*cj2
zTY|8&1-D;Cba~U)(vVn<Q@?|;);W&k$I%tEgW7_TPyfyu8H|%MDydku2BLgPRTpfa
zKPwO2G^w+{K@a+}@Ei=~sWl{6c0qUZMJ2^sQuqQ4dYF7{**4V%o)j1XVQUKqU80d3
z?+4}Pr+)eY3cpUf&uOsoM>Zu(0IuiQCneIf(>y-5h63VXq}EqgU<w6=3PG!!43<SX
zeU5cqb}3O@`HFEI=>DWlL}2G(zDphVjdAOU>aQeE&BA{Lh8_2b*6<Vq5KNPPv1%5>
z5ctfLOZ*zX8Jgo^)8oZH8GSS#6+m`HMV>es3H782T5^W!@kFsIf?hS{O^V;)?z7RW
zGe^N@r+4<TTT<W9@e_kx{(iZdH{(tZwvcDK9XEo;c=oR22bu`lfuRP3(gnA<9i;im
zA|_ewGREBCko7(l$50WEpXt`PK6^IC-;2LcCuPW8%kMnoFwgjXN{~TN*gqsj#$+j<
z4A<26rJ!hGqDj7fBw|qd;D%<AJSbe$hf>`H9H1a;#VYwUDYyW@w~@T2>3m=!)-!;K
z*YeaI(hSrW?-^-v5CV+tF2nBG$-X@hDR@ej^kXs@{n^KYwBJq)p7`vS`eENKS-?=N
zY3)LdDS=!orDs46c+?g)8mp!G9CZi4pBJsCEt$_CNXu*R*q)Vcl=ZA!fcbJUcz`hB
zPfMz`z;Gt2WC$Yj^nM6K*RmpuIxX)h_L{yJr<CLCas~9#e}~08sXYvbXlcPyI!yCY
zkPUG<uf<;ji21XnQ+7JvBI{qAEnh^~aPGW<5aa?>c^2yewoumYW;5%vTJdW!_uVJk
zqgykU2EGX;DNLX?YG2Kld2eLu7(=q@W4E=2WySYiWU(~*-hC#kNAq9JK*5%Up9f}N
zCKeNYn9ZC)3v}SIVv5gu%^6t}sG?piXu?8{{<hoDMm-S3c~UQW)He9=(&D4^^Poj)
zFP-9(r1`PMPWHH$4u3n?(o|DM675`&BWV6^rm_Uk5e~p=3%Iq=;*{@eeVb)+!4nr;
zuXNFW<9oaoSNjbTmXuE6{N4tY1>!yJ03__`;AlO`p92q{!TOK>%U=2-cht>j9}Cdx
zB7-3)%qTXBgxGwM1F`5mhqXHg^-)B4s;PoN-p_>7Lw`u7J3ZQ$tG%dKT94BL-miC0
z<+@alC;?m4q@s7Fu;P#k@{RnevC?&aLJ8Idu&~s`e7<n<SlyRM=sH|&>8@`u9*d8F
zh8TR|{K6zE7Q10I7(Fh5>TBgGttv;htt;ms*x}xn7{!07ml%}tEWSELwHGzCuIxqU
zK^9C#NjCB_*u~eMINEMZPhh5o;s;oTzM7hYUPHfP%8;j)+`*0Y_u41_E;v{o&-W!U
zE~${40i}Zf)PO8Fg^>u({C9rEX^C|@fhYPBF+y{k7^Iih0=+U|t^A1B`a~<Q-`EOH
zXMhXXgg6eyB?|#LnB<iu3DULKX@M~NRhVt@V8I#Eo$4E!sKrNE)@vR4NC2(5Vz%$L
ztgq<{>7UjxT33LA*8{q}*z3yJ2LAoke{kK|C|*7p(Xsq@vU)u+*Z*Gm0681XZy^&%
zAYh4pU6e~~j8yy1{LU=t#qE<3ovdQN4(YOMhOQev@FyR*Qb<Vk3nl<qk+%`c+(wLm
zQO!XD+Olmqx*VRlSM5e1yRp%@E&4QWEaB|{j9;V-r!Km^$u%Eq?8D-_6%fdkS%xuG
zT7_5mGHWjujUmRgvv018HxvrX8b##W8>rgE{SIC_dD4DDuaoZs5N<SO%t|jOJu(aw
z)=H>cEJafRjFt{K5J#l$2nhWhAXlW4iH|@9X{B|?_jhZ7P5sULJr59E(H2Y^4>)Bv
zhdqBnwn=!OwZ%wdWpdg>>&Ih?eL!#f{AmseNT^rO#aAW!jLG%X_b0xIDQ8J`Vv<7z
zpy=Sc_5x0e)LuGnP2j{Tl<O~!9x4x1>>&9bTP6TV3zZ6Z(#ZJY!h-gtQfFatH+Poa
z3FT?Mu>glkjg(k;2;iAm^MOezs(^t}Ev3@Ezc~6Dw)GkK+1rlp;pq4j{1&z=oTsd7
zlG0Wb7I4H!VHN%kSC%PEFvs?WJ%{qM`E;-C*r4YDK&o@*tY>eTag@oi1CgzvTQ@U5
zG^?-kLD(DR2K(%e<Xl$Mdb3nh$R*+8mcPXp!)9CTx6!$_98sWUac`8FLCo-D!HlVT
zK2MRMW75Ofq7!-Cr{1_M(OtQCILf^IVYLI%Aj(S)&3FgY;s1CbKbw`LVNzsbDRew!
zncY=PTqE%@UB!aSpVb9Oh7>QC66uZNp=K@8t`N%W_~g6+dTLlG7r(#V_G!C<dxFbF
z`%Y6JItnX+n<nswaxI-C*E^W@2g^T>T&@@cIi8;x$AAU5g%0d0wqKZdApF<RV0mmr
zXHnDt#CMUw+ne;VeqQ~91HP4L>_w+tI1v9ZW#If&p@0<hdxNr9F7g~{tP@uXKXklw
zlojk<Rl5LsOs(JkB4f;141@&gl}SKABmCtT(&DwH-30<xJF#Uum30IuzqOcgeB3~?
zBEC7PCLMDdanvBZ-jL6j{z{z-2Hl6srw+@YrtZo(MK`eyzxOP*n3icVLNa6XMB_tM
z<3qWt$urQ8QHCf!3!#S8^1;$2Mb6qd<1A=UxDVS>JH}7zki-_=I5T+%%N#v-c2-QP
zLc*|i>Qj-6F?M1q)k{WVQNuAOP}hiN6PbjcuSI9d9%zK#vhOgLXnhp-+|sk{^4WVt
zfFq>)bFIKXZl{N^tq*Z?bD-{?cRO**DKb2067+0GiH>b6R(IF0=})$d$dhJDNH;~w
zXN@Bn;yU^7Ied@Ye<z~=7)-1T7iuMHrF57>37pl^a1c{?&xD9m7W)A721VuAvd+xK
zkPydxM$H2Q99A4XtcC}I1$lS=s}H=oFRo|YI%l&lgI&CwasVfKo9o42L$24N<4CqT
z8#rqDH6`#+1K7<FuQ?<;P%A;rhIDM(^RUE#3S<4gf@w9o)fK?9FygNC6`Zf<QMRY8
zT7?gFzpjby?&s`5Co}73zCLr;#GH}=h|8jWTk|eUpXr>Rmug3g`gvWgAq@M7mY8p{
zLAQC$;_uUsNMOgQM8<mh+=|4J@bB+%M_jXywGd<y!w`iZjC(~|d0j()-3VRy$fmi9
z5x+k7N*wiSZGHWtay#3yk7&#cZ?)#3=GtWmCo2j0;ka7<(%No?s0$g_HP;JrH4tUp
zrTP+nE6)whDJII0BjFhs_i7Q*7v@K;xokw};t_oxKker2^h!jh2tagEfPWFv@zo6c
zJ7Hw7j=!j=Sl6w?k7VjBg|I_^QIXKE3H4i~RTM90QY&PPRQi+6K$8qh*g@gbmU|z$
z5bFA*7xa>5&dg0G`LqSxUoy3_tai`qs2JD)1tM5HFW{B{%#rnSfc4%N@JrM>^fuAT
z^`;55PajOh96$8d*9s9BVM)V9x<?91CF4Jt$t_=V5%7Y#owCDn>c_=GRq0cp#01EW
zL&uBXhTb3MP~W$V=WaC#FSU2kuYHHyCgmB@IPwlbwomb<2@wE|q>5j&#d#^P6yBy#
zNvL?O;@7Jhi>g*)N3F1A7&0^P+@5dvp{@Yng={@BN6c#RVrVMo%xYE8uSn1N?y)Xa
zr2E5Y*OioCL?<*~YEWQc85Q{ganCj?u2W_#Kb`1&J{kw`^nBR4QoW>_JCIrUa=v3M
zHrq4G-viFohx#JL%*UN?mSr@v(^9vLLH)?C&1sp*xO@~XO#NleQfU_DSk6c1Gtd?=
zb<q#HT>F}-1MPG?HhUmb%0n2B+O(RFaEE8T{#v`ntiQ9hL(Cr{(r=vEwOe|H-|qEA
zc3vxZfj}tUD$6(>bh}#!eVb|{2a4P#yY3YzD!`~?vPo(1pwce)=-#@=J$AS}K~j;t
zd+4?AT}U}#Ve}U5rdg>>-0P$eQy53F)gTxCysP-VJN>>iOYdLOELZ14pxgZCHyh$W
zWJ7L{hWkHZL$W@%oDVz;T5H3n_SlV)*D-v5ALszNIXS@TsX_J3i@-S*OQ8z+#lnKq
z#UNN_>q_J{9N#F%n|yBo{0tY)T*X9@lA+SyThvb!Bl$xZ6E3l7Hcp7OKHT-NO|=$t
zN3>*W{<eqhC$@BRk#LN0yy_9^>L_%pV`#N?oB_sc8oOhon)yMs*Oi~AH|H83xpQ1Z
z#&B%49zMo-%q;j9JDi?-pn>htrLNmPwo(|R)HklG>?a(AcWll9Ew^^O5#RMa+n{MV
za_XX+odebt$Cnz``n-?Smb9EG68?38A;3H7Jd~rn|CmwN&T<XE@JWDM@VXx~RfK8D
zUod!OUYRh`Nj1_lKH(TrsntBOfGY8uTMA`dL^#v!)_r=;07VOWL)=D4y`-{<Cux<i
z@av|)S3>Vi-=<kdid{7WIenNGg=P2Vr@--IJ<}LY&_pZ4jQj-Dy}E<TRh-X!ojKf3
ziib2T{AXdKchbgR)<kAzO>><Fy*Em3cAz{FUUOmIrmi+2Rv2_B<1#-yzQE}kR8AB>
z?(u4aGn$PabQs`Wz_{z;oqdVW?LF8P;k&Gy^IZLrJjrd4!Cvg~r-T1j`P0WI2H9DT
zg4TP=3E1j*v85k+(Rhv7XEQ=jL9a~Q3P@zunZ4b{S~X~3@jNuMK1x-R!j&Jc#V-5#
zoza?P<BnN$OqB_Jj_^}-ukqpW_3$VyYMku5kC{pK%L*<h$iWQ~OwOw>(B(uxZOewU
zD){O)CyevmdKOhM(ae&Pj`4`xtM(2DVL2t?tP5e0VFP;kaRVAVz|W+QeG;xkl<%x{
z5k4Gywbj=Uzm6l~9~5J9dSdcu(&T8+)K*K?%2!K8m7)&cSyi43e7n@4U|2n|vb)u_
zGe5;CYZjih3l&41J$gy#wtnX9@60kDV=@9l#PssNeVJ@_ZY9V`6nave3l&gj4)aAX
zWk`S+4U^QPQFNCq?7ugJx;^V9Mb7%GXNkP7x7HtCx7*yV4CDbh_Oi>fi)-GpCh!Mx
z_bot2)&I|UT`!3MCQ%;Jcr=fRp)N|b`2EcqNC|Ww7yOZ!?KM*_by9&=Z~t8)t9v%}
zKl?GPE#%v{7HlzM1;~W*<gT}}6kehj_qUT|^l|{a(bjyFTZs1jU;y9D6J$w!Y&K#l
zGd$h=h*A5<v}bfi%%h-2j@cykCc?lg4Y9)q&+-&~<JkNOi|rm~tLjFqK}1~$h54z2
z!(R$_)H2!Oiu1i;)v7sfSbdiiecy`Vw0vE&+q6%H&f*i@YX$qZwIg-kWURGYzqV}t
z?0Au3an&x#XXSZujE&{A$b3S1CDLTrZGHNK5nY+Dh(y%PVT<W0dPI%)w3WzCr_03m
zt{fM*w-xSnv-j+CBm}A_><+LkLakNYG7_b}xF0v&*R?rY;UaFGu@84KMIr4WfI&iB
z_!=J(>Jil&^cO4DpQ8a1TPlV}RitVNpbG#pTLnW@JZ%8exqq+865ZQ>D#%JnHkktD
zA=eY?iig2ShDPVrF16J%6%ukJ_lm{{Xo*Uj0QEz_$@%Zh5o<)82UkIei$*6>+WwL{
z^y~Pyp0}u?eRN{J9E+?8v$sI^fFIs#I}OC+n1qs}Yp~XBD7UnpmC&-s#^$wxY#>Uu
z{usGHpOqevd+t_Xxn2f=N_Qs5{?gJ;P(6(n&2#(i=eEht@K1rf*X{omFK4N!xS_B6
z7~oqpq$Iq#R=%7Vz~{#n5aG|bgXE3DO>)QDOaacs7BqmV7z=*UtEMZuOGzE$T4hJ`
zO?Ss}%}>h(U^zZNd#=60NTIT2i0m54oTw1|t^JsWk9{);FT>QRTez6%EI)gnoswPa
z>2DV7tJgsUWb<Fgs388U4RuO&BV})SG9zbxO$GQWu1E?b9@magL~J%q!adQ#UrS7G
zBBuDAEw_d5Nlu8*zpWT`O%q*Vof>c^{3@CHjh#$kYOw-U1!>OiJ_&9+KPT4aF#d*#
z?tvIz@$7DGzfF(f=*6=d3=Liq@3)1}8?imnw|(*#Cro$ND}CRhcU;^RVlhjqu^3;i
z^u(N<b!uX)vvv8y$MwrfnJti*aFa;NUS=7ySRh}&e5Bu=v}k|{`weLYcTRq|1d5ks
z@1+Z_H<?=bji&^bO~M|61OsJn>)#8qHC?FaJNa&lgqq855jl9s;nBBM>HVNL4cwIF
z>4?!MV>C<j_>?T>zZZdZuskq&7FBVZTBt#-gqn1U{efMsz3mUzeoojvn`BZyW9a5)
zC+vyofl?;i=47j1+e#|q-+~!X={b1p{}SD94AryaXp8)7@no=j!~_<A_-`VJsb6ub
zKF?3Uk)e2{G>{v(f{sk@q&fRrPxYPrr*s;NyH_g#;ud1Hbq8=rkFL$)ijEk!>o++v
zCx;~)ZAvhR(Lh>@B^ad=t9tY&FsNy7zBKI>->ZxO#0%cKC(^7cW!RyL^r&p*?vC<`
z8eK#SGh>)4K4qhy-<47Ye3-XHWs&$xE{mJ2?D;#52jS<b>JpY2^x+{~j^dM>(QtPW
z_s-1cQ;f}spRk$n@R4Rm`UJ567lcRia2BItxY$`lY*z23eoT^KVR-c{Z*??prfQD4
zF@nz23VtnKYgW^hY384byCT~Q9M=Z$>BZ=lJ0jYwk{y~y7Y51`>CSa8DOa7lQMj8i
z(Ho_VFxJWSnLKJ>zHyeMlqwXVXl2*4u&3DQa5O+3A}xj!e7}?Uk_nsKr=+z&X{&JH
z#Gnwuv_ymSrC^dYRy?PdyX?aCIn#etAlSQ?{wRTVHQe_ebpm;#6v{PR%}1RMG|Njx
zcZ6_EH#m={u$MNu8Y<-tsFn`%+mR@!C-n=5ys#bj=jFLd7l=;PS4*9=;#s7Bic&aH
zMR>7os3hf^+sK14WuYLc)K?-u49;H{PrX^`(4KGGtGweYogzu~U|@0OoO_c6=u?2w
zEmTjkN3SID8R^j}b9Mhf$8SsR9xHmM1(H1R6}|pTLoNet1KojvR_qzNb|&9!O6IjA
z?Fn-DwF&D}`8Sk%9S4rcu`e&)Jg%i1x~Sj=RD;$QY66rqkdB6DBRq6r@a3W8Wify2
zC`-V*<{<pM+|CF>CPr(+d&+8Y1Dpu>&&OU<SwGBtCm#8-^vJ#~D&LY_M+{y~R%Az4
zD@Y|6x6Td*8NfH~zM{Ta__-G$CwvR04Wv|vWL6`#V)TqB6TT;~=Lh0c-()8;KX3GF
zqccEwOQ4p;7S#h9!s}jdZ2xNgIUJ=J0{4s?XGqd+6cKN8nO~mm`BAV^pfxr63Yk5H
zY5M6kUhQUZ(P*V@!@>v^wk}NFDndUyV{kGjKc1OUS!&GPv0PqqL&~FEFQ2&})tDeZ
zOu&Dxz|AZx&exhQ3`%CCR?&4vw?WDiFe}qUryCn_wKW8ttyeoWWxaEMy}+N6W-yl=
zaj~cuKV&(!(ot@V9ypu~iS|Y7rQLr6;#R+BOMgP=h8<qY^V+8cdRPC&8-H7xSPd-#
z0qiIBYlq%<+{a@Ztn_+>V%YvJ{sZKvDHf<%X~%Sx4{jXAQtms)^;ifd!-8UCaXJ!A
zb(DYv3xW#zpzO#&g8bER$fnYw*XF)ho=5!p=E45AMMw}bWGPIjfA1)}&``uz_70ri
zP>#No_M}yxIV@34t2_c)^@Y|%_Z(eXO*8LO_2Qy#Nz%Wp&*ZHv@s~1Jcj-l&{$g-g
z$@wG1YgJ{x3c{O|#eDz3L#Nqaqud^q4!!qPKXh`ePJ+me0pKr_{hqP5&h$EwR8L~B
z94Hxc3ZiE6;FOd4WboQzD&Jo0O{t-Th=MbqjN(L|&kH-3VZq<(5KN_+=<G*d5vDOZ
zrZ1RNL+2LSC*eoktXi;LHSE37xs9XuF&Bxst;prb#3=rctgG0@&sUxz1YWaXc+;u6
zh-;DrG{D7YBtr6YGX}d5nSTK4JnEaE&QfQwgyHB0f`||E2A1A^a*m!_?Fm5t#K_e~
z)S^2FvYp(ShLR>l-5!@4b$@kKtO#=)e{R>i-Wv{Aat<7Coq*q0W!lucHW2nwY_n4+
zXU%atUPGR4BEUx@8h#fm%ooMjyxRFAL#&5Rwr%~nI!1WLBG`Faj(VHBKt)n}a+_~`
z>y@oqhCVWZb6t>K`sWtK<i(ri8>52~@b&0xuJq)Iah-FwFQZlf$7P%P04(N^{+$in
zxeL|nJPLXZ{r3QoN18dshO47CsfZ8b0W?)%LVe#0R$`>Ckde@X4)ZP{J1fMtIKbiN
z>!!vDa#Xf5FhC&Td3e?G5gXGLSJIj;JVXKD5b`5Kyre}nNJ)-B=c>nU|M!Sl>w3xm
z|7ieAT+Qk^WMr#|<BY;tA5^N}mV^4!Maoyz84;>AEiLFi@5M`zu`7Tw=IrXk#845%
ztedd{rti+iEIv0Qp*Cq_8bGV3-I==*FG=Yu)?7cABdU!nb6hOHo)(jTFM)Y|s>Y?Y
zq`A6g#mp<M)H9)q-9Fw&1&?|~ohCQ#o2lSy4{zpV^yl|otg4fT?##zpixhwIK;i20
zZ-k+1-gc%fxO)TMwE39$r&%jv5*@mr%bK&55#H0OYF{u(Ew!T%q~`>n(<`ZhwlYh`
zO3sT98id`${P67aJ!_FJ19EjLQXPwkVILPvw2KJB8RC%_=A8W&<@jp;acxthV|IoQ
zlW!$%!-WuD8|Q|w8UE&T@71Cg!>2(%AoggWh2?b8xO&osp<Uv!ezdcQU&65;skKe7
zSbSAYnoQV~^WTV%dNF{AN@`u-{`UTB_>A*vrvHxIJXevbr+=r<iq-t+@<XJmNS#@#
z({W;jb)9*{V_@!{*j0d~Up)0;*%@^!=dG4wm%Cw{Vs+=f)MU|z;tU86D;{%kQmqAK
zRb)Vn)$jhS0`lsGoq!;l=<m&H&T*asXJ5tFzAuUAq#p3j8NUH4gPU*^ekXUN`G;Bd
z?d@E!Yvtb+FB0qH{cE8J5`=wHPXXHsxG!T<FL^+o1{4PDD1R$oAgTBFnd@G?s}7YC
zI0(LgLn_gypSPNpmA6wRQAqXH6uVG7_v&fLzMt0+^`I38sxA!{(5ZQW3_ssErJ9n{
zIe^Ki?j4vn&<T)UR?HdBuBM4Yy3tYJLIFNl^F4rSwa@_IRcvPRxy~r%I|WtCu0C1)
zCdr2{9YCy>C#niPBJX0L#tg!jrhCJ_t;0P{eQ@{baAI%HEqMH@R~-5|_$&eH_aF<s
z+M}9jp0ietEvd!cdg)w~Fze`}p(i}vG2GW9IHgrpi&;w4>;{Am??eexqoL+n{fk&}
z7dQK;4Y>y7q;Qwvpr&enE9$3#zi9gQNO;!vPW-Iaw%bNV<2t8nU4o>tSkLB4PV_P8
zq|#LN$OcmG6Z+@qP+aXl*=UwzW=Dxo$nqC`&fM6_bIXiL0(Ab{+K}ZDfA#blhq+nL
zw&d9<^mCWhmdyEgH-$!b(%0yyt2Gh&JJ?RK)sYXXBhGLAlh7A>InDAJytsU46ARLv
zmKL*O_53g`+VpC#x}tBt70cN+XYTps^VVg&apl9Cn>R`op49X3@^8``x|z+_^<8PS
zj8mN&H&4}F(~yb=`Umtg;R571S+V;IpaQwT|5i%Fx1*GUSJ*GEy}Bo^h3|@MFTTWs
z(|cbE0FMC0IfdT%{;hH@5|LUTL-)9r^4nC1t><YnkW<eMkS-IO%PTvR{`r2yKIyOK
zpW2+JeH_S`9_-0$6`qNJ);UGL1|a)d@6`g8Zh5#LNOoPLsOWfko0{qc_}9pzE>)jG
z^L@RUWQV6>1VH2519;%*M(d;_w|mQ0-n;}e?s~L;l(f%vGeA#p^ADh(w2V(>k^Px8
z5|#;Y1<J9%iB3Tz;X^WSB2b{2{^jQ-_&V1!xVk6q^Gv~b)r@VEpm@Y$>Dy{EDYGpH
z+r_9(Bu==a?@LVf6j4;g{z=*~%g(8XF2|R?pAX^r_BB!&UKGPc(_ER*!<8s!Ix6md
zRdZ#Ju22b9h;=v4>MT*$YM*jHTNkt?vfaif`H$Ojt;ATYbI?sWv|Ha=KwwYB*y&G6
z)+SM&PMh9YH#%o~gR0Q36QQZ*2!=6yB;bcDk-vfa8Fzb3x;2*Q*uMy(@8GwJMpuo$
znOJ&sgt|niDoNqdQVI~`65;LHsbYcTBhVEbx9^qCL~*<sywTckb5%Rr6P;WZI3l+t
z&|t37olrG3wU)QClW}c!ZUDX7-n?WWiCNGvz%BHoS0#7NPX9bFxA{}pKjHnhx|Re!
zly_x&dSgNSm6MrBhVV)&_N?iuKIg#PX5x5@<I8PjfSurmZC0JZWb_pWtvD|DA2Bo5
z_FlREWatfnw~}dgWOX-<6142-1LsQ0#P)yzc*xway9T3?7|0~1juG|Ct<hy{iGI-P
zd$^{&%C}$?Y(v%l5OCsUM74f0WNi4zLnJ9b8@>34o4PnVUThy4oO1=VtjbD%Gw>FC
z)&D61C?4F<ssLB4rD@L}FIMYES?Q%;!QJ`i3dphk4-^@9BS6}I>EJ(27YhQLZ6Pv5
zhfM^{L^aBNpyMW{J1i<}tgc2+3MdXmu`V6X<e2iQT=jX|_i{_N#<&I(XW2WrmBlEq
zOWzhlxRK+Z+%sN{)F#a2?_?|ZbF8>4HLK3z^OcKyl_qXLuDyty96rf~(<(rB<f@L~
zs`|I%XXRb<sReTQR9ov92&dd#M?M!L7ruSe>tG`U95Hi5Rg`1C02QFB*R}s7`B?qZ
zf93p9q)`N0<6avVHVbcm4kd^qm3EonB>#7D#nJ0r09?lUnRBmjNTnx-KTj{-ETiG|
zcJ?*DXxlUR=yZMz`q~D*H=JPIxTuCM)9r67VSjm&$s_Cau=jMQwdDLDb(n@smnK9D
zRqOEBfmbsqknmM-g$ZkI#D(CN%t+^@8nIIq<C`X+u$us<9J4bC^RMM?_OhDtvB{71
zswE8fL>sqHt-K8a`U`j-<ipzfoE&_8AU|q`oJK~29Xq@uKD*j&C%yOU8Xj#%OumJT
z7!(YodJ=m7$k93iE<r)7;xIYl-u*bBUK|Ii7uQ!(PS+M^JN+qsx<>57;JiTJ#X}~U
zr|)}KZXL0JPu_6@ce`l)sePh)f=HA!Kqermrrp`FL21>D-%bqsX7ou`f_o_D+FfL+
zS>OEt<d834l6b8H<aU(5<zdqWLV1Ew2vB{ho)tFp>L2mWmiITw!Qg`56=v`5!>@Nj
zHbaH`F6d#e9t8>yt)rAnkx|b;1`7PXJF@?SP+nFn3;5@hxp#<?U>13hXbg}96KQmn
z|5b1>H^g;rcn1VV;F;HZ(t!#&P@{UQa+3K0;K^^48fgN$*!hNrPd3@6QEC|gA)Kt}
zDLCeO5PQ!^Ky5ZWEaSss4kl)lu4{3gwKNTnpkuxdF;*ZF7afRSA5;}o(?7t!8NjL8
zRvm_&M^-;~$3>~sUU%3P;{fhfb3_VI?}VrGjpQ|pFO)8ZJ~yXZKe^(CA4p}QuL+5S
zibty>#gCQ=Q=4b=sSbx{%x;_}e0wj4J>39TstFOsY=xg__3(x_n)Wl#I?rXfOfG+R
z%ptc~7cGNc+M)CGoMqR}z8u?QBAMkU#Kql7DA@kBy7p?5r!mT3)gl<)r}bvCoEh&`
zdu|DE>0J5F*ul;OUEyWr0H>NzG;6*H!b?X=immHS*fLXl*BI^W=k6p&1}!1q>dHqY
z4>fD77uDbm*lMNuDHk9LbdNNc*Baoh<Ke%|h6dD)a*aC&CQnOkS*{Cl`Dt_J_p})t
zgswrmPOLmTPD%5DVp4KRACB(`#&99tp08UhH|Fuz7NR#t8>Q{IU&>|j#3Z_i5DZ^>
z_seUHN^zeR;`G%wty0}~RKN;1p25to<9+}lJ}p}&3N?7GIV-pf{`lS=DVKBBGLDoh
zvV1@Drx|9EnA+N#B!XA225pP6z`*~jj2Hi05YcAG4iZZO(y85YZYkfNaxQ)ASQ7{~
z(CDa}WB~0;fEm?5uu3-aT(qF0O3HsoImoiIjkRanK3h^e1}JWQGBi(l@TgzjCvMi<
z)7xs*fWt}sgFjmO{}OwYcK}Cm`8MdTiZ6YiQ_dNBnHI_lHej;dF0&yl_H#;LrdxZO
zIR@Hwhp#W{?II_m6yC*)s7D4wOFcOlNe#s+lv&jEw~|s?JWPO~$qQAZHaB?Z8v%$W
z=c&S@Pq}jpU^nM)kEI%6#D5q@36gitqQV$GuJhg7%9Mj_B-MP<8wbGl;_4kyj}(~`
zC?1>Z;U8PiSTq%*zibo>%wEt~QdAhQQnwR+?tj=dhq=lsCb!E;MdL&3iw@SXl`KZ8
zX31+8XYYADY=bzc$W}V}Y0@_MH+8}p&dn&dweTT7KyPuRKKqJ2H>;<F5YkSp!(twG
z0_7iok4fF!5{&K1>?@_8PZlQdF>HB`7gS{HsWpELr_V~V>%S6)E2WZB_3p`^SmDi&
z4nSw=E(5B}o-AfU-!CuyeEJcaf#lD((hQ(P>Gk0Zs)1z7q#~x~cRUz4Gq&kHD_`d4
zl21%Ow6N<p%qp;A95|!8PU_M)ALUwr=Et6|9%}Cg1m;4wS$4+rW_Gf+a2MCx{LPPG
za)jP}Tzv4TVk7qbf?%q5zt2iV@0lce(~FD+263P9m@oL%-2%%HWuOux$;I0G{qAOn
zPp)SIS%ZVXZ<Wo)aHfV(s%$HXYnKM}A$zrH9>+oC<-Z6A7SBf%K3`MYt4)t?H@rVg
zS~!Ar(o*XhKs!kda<?|U9XJNMU^y1(wM}jQUw8Sb15GN2k&->u%!WrvgHrw$BY!8>
zCS^dPDl(YhUJ`;Dh}WWTMS<@>Vo!;zb`jhaP4lKwx@?58O(P)UztH2CE|fQPstRb9
zfDF*fwOQXH3OCIccLT+!uMdseRUma`d}ZWlL68fze`Z`8!#n1C<zB6tR$Od|!VXc$
z%`MrTZaT!?X&}$;G^UZS+K!taa?$R@0Fea(bXjDJn^)BOvpZ)~2R=6#_q{??a8_?P
z?n=7>52<|i^m-P`*Y}@7pvjzbK`q1K<;T_yAjs4V`^^MutEbhBb1pDg<Xenz<n-n-
ze2Rn`w7sjSJsqaT5U4n0nP*|RQk&<#CA@t77KSgR)sf3J7|ojTqarrk9lw2T-i*l}
zQ601{j8SP4kr0Qo=8ASrZs$JlD-$bQnJPv{eip&xRU=i=BABW*1<|;!sw&iVuGxjS
zvDj|J6t&iboIByNp^7#u?u0}lfc&%lR`ogB=qtZyWRDW7k&;#@&tF#lh6s=OcJw@*
z)OK4jp-MG0k&hNTB7y6{v)9JO9v;XoZ;FQ7mpJZZCLFo4Z6LXmlW4!;=_Jrbn8Xl7
z4XwAG-bc@qkug0b?gha3YSGkyYRX+Rd9o7!cnSklUX`BIZyhBPT<e(PQ8bUH6P^jB
zzJse$-%3Xf%}qE$)!=0d(9ge&c=HX7+c9*|8SLmOF(+QQ)M%N^sMq0vaP45+>`_c=
zy5z+|x_{|*0+gT8cbwuQnnr?8neWq^avuAeU}ns5fi;3LG;<hl^Xvbk3Ui=SbM^`-
zHo-WL5;L8Iznz*2h!&Ds5(s@K_K7K9{G$m1UwSlqTFOVs-aXdu&gg<XhcwVswkxDO
zy79kT*pU9TlDo~{ecWtUZoFsRuz6xH!4|sN_RK1=Xh~#-AaV-7$sxRpCaMTm79NxH
z<YkwsO(KBHA+|l)3F`KmTK4s)7DEAo|Mq6lLAA2m5^VBW?!6UCv~JeTDLX}~&T>1K
z4JBT8W0?t>!N@j1RIi#@0R`$gai!V>L;PwyWTcF_W8@_LkDCjtK%PV8C=yw57n+_k
zZ&HFBFV1-se=_d}d+Ui2j!dE$Z7vMOGeP?xOf{%rAdew=D%06-=*q^YG_JT4VGYCK
z=HIMRJEzJAx`IAfosY(cIZyX_Cue0dH|L-jl17Teg;fu)78xp;o*xOcN?>=^_P@2&
zA>$+OE*YAfOzZwjIw2?P8Zqq5J8j);6giDW0;=50^299TR^6MfzPl?v0?2B9VZN#A
zH&ulWewsnspWaclmI&mt!#!th`fgb-FX{KKzxT_(mp)Z)B)o<`GZ23x+D1jhYKkG3
zkWq%PQ{tkEvU#i!P$$p_6(Q6TCSlMtm(6LN!;TDo{?qjH-wqnn8&Wl$0yNVmV-%As
zlh(_L3j?j?blm>#@fcydht-}u(A1FER_j9PxznCQD>);FF$n><=jjCAuj|OkQa)`A
zXNhgUucJekCZC&w@!3m2gPzX76NxiQAV&^xK&e7`mTa$GKfqW?;fZGODXBfr{xiCs
zmqY{UxWg=on?>Z|E<Io&g`qr7K&^jYz{KX`pbcov4xb~o=Rsv()X0?>e%vNy?KFek
zdx?{SV)9A1q`$Ba@EXL_>C0~FG@@JA9Sw>w^)YAXGX1Vmv%+>;XlpIH4vUe@--Pkd
zo@(@eCUXMl3_jLVAPo(mDju_U=N=i-5d#VbqSzmWmvBHKATnLe+ei{n0vDZdt8sKG
z_8XulR(Er_Wlh_7656qSnH;l#E|~ghXPO$Lf{v7gej^gv%QMNwi^@T@tQV*j@iEUl
zAqtP{2HlH-w-k(cUH#Fjbx|AJbFCcqv+QM=IOpxSG41YD&k=P$iLM!^Y5I{y7ZF4G
z*p<y(y@HL^am$71fz*7+V+V+bxEXWn!%1_zOj<`zer&kb&ctcg@%7I?&WtoYWbB$)
z<(kiaxvk2u^2W&Uu0+lWp-ri1x$)+Y{(vUX?!nZOT9{oB)vHO}Z4DL7NWqFKhA<Zo
z8ITJ=<GUBTG(Ba8jh6r_4N)>_H2cz=|E-hc_2?VnGva(JxZGnSSoxg}#AXA|D64;w
zAhY>nOe(80%VqoXT9xm*P8+=n3v=ol$uVEt+}kyv$lF&kof$qmg<BTT+=gO~hxu2G
zf2~l@*U)^rjSJ682uB!r2^hx$w)FLuxL<=sHUoNVqFl=ghwDtfrZ(>+7`nKj2PE$y
z+%zl>4dk<^b=2H|Kj4I{)VFJl7HU6MQn#iz))?S-iblD{9qz?^`zf1$Rsg&6jxhMs
z&rO}SZhP_|Q7e7n9<i58!^>>K>nx5DcU}cyBrxO1d;=mHyP{^Mcg?R`(C(RLb8*Zn
zv`4i&6;5z<^=V_*OQ)@(9kh9H4z%hYtEPxQ3jtbU3phkbHU$V>Ab>O?wv?7cian`6
zbEp;Qyl)e4`ERkP2^XjeL1{M;o9)SIhabeS|25nL<gY09WD%@HTA9x75~=tA7-bJl
z3y;h~=%ASATiH?+NSgDc{v$cC&&gnXMD506+tVO0))OU4&90^Xk(wo|Tz3M=ET2eg
zfb*{$`A49n4+ube<s7Fjpi{h#Mr2=<<J^mK$)V4IqC^*=_Th74q9Y2Fd;3s7lV9ej
z2Ds3kg24Ul#2dU?XHcIHQjNrv1DeI?MwcaNPWJ~hkt;P18WV@Ff9Sb0c6b#?nvO44
z)?~MFq%sDi6QiB86+ByO0ap$vn;%XBs+pe7wdX`>p>rh?@}PM}k{b02WqvF<u(R_7
zc_2Yn^7_5R{u?J2=rTNU1}lXggp%8y5%70MnlX+JAz#pO+3n^H<~ri9EOLd=qRCD=
z<AJ|?*T=2;)yInLc<pgcZ>zR)T=r<SAV+f;Pr<|4dx+~C9AOX<_h8kmI|)b3H6-0<
zYVqtMkF}@Vuiw`W^Icl}3{YD=x4NRg&3f3D5%VvhS^AzvAh?P~&yIAC>*fs*Jb}Um
zdSS!IND!T$`LUYz(BWoY>r#nERA;e6;s<6z`MA$YBC-!E?ibzxnZP8f8x#PRbUc6J
zRZm~|?VvGlQxnnharow~!f6|oC-u@S%O_Sm--}J^Ec>zLhgt;J!4=ba{0o|wp-s!$
zio7=Qe46&trK2^56-R<yB2gUcVVm+jZT?u}3^{9B#MZ;7ts4^$m#JE7WaKrHg;rD-
z9qsrA!o8iP-Y-oK{;tK11j_D!qSLcK5QY3dL6pG$#s8?h_^;*8yF0Wbg5`|Ge82n7
zhUK)$L1qH<)XC23di6MIk&5Olg}lG3aJb>a^ZK#F*GQUVV7DnY;ubzcNnFRf5;oFf
z36>J;aM>oFmv%e4J{D2O4U@REK?ZWX_+f7#W0P3e&Da<M`;ACf92_K1$8Y_26Sg;@
zYBZ{~tG)MU9#wN@<%P3e<$efZf5vy#WxhT7o*KK9o`-+{r=*~;<H%}MCwIHMufxr;
z^`?^BMh%ro<zksx%2h^^dU-V!IQ3gnK$|NB2tC?uvu>F#{+;M{{^e0d=J3*7{Sb2W
z7oe`7nx3!L1w^DacOOB8Q=UX(EmKhhPE;e+4nIGAH-2znuuk}}Iqu<xl$Fk8j_3)-
zV8bkPkr$33toCP&u0^54k;XM;6uG{&xUbBaK#QItpa{C2&L{amB(Q^+$!s+OlBUt&
zPewg4-Y;eqhsuOA5Y<d^wURAf#DJ7$^k7Mjp-cFxDWi&`!EV*rVZ6Y(>d35`h~>In
zd|OdR5;FoV$z0bkWH!s*0I#QJQXz)3XjNzW#dtZEFpO`*SVc8Xp)%ocvy>lmD%$DG
zatz#Arm>`{*bQc86n1xd&CMVO_0Vu7)8Rz!4K$$LWP@#r87w~sirV?d`1~W~f?iO~
zX4i$5X=9Gzrjq!V7q4#f=9E_}8!%5no!2qq1UtiPa7z)cyk_`XI%;cd^+=C|YPG=i
zSA07|#+lTC*X8PVBBMH`1Y+{-ub;ba5QOVlTmB;G=<D_9y!OyoOf#Yd6Ws`LSi!Dx
zC<}BsH`HBNw=ojvDDGcr#rQEZB{5piHGj|nWQHvtFlA2L={}O%i~ehUMMbh}8Jbc1
zNh}tlXT6!?o%enFZh+Q4#W3xhTb20*8~z(jrliUu8LX5-fp1p<Sek|)ZSeI3*b`}9
z-UcW{>g0m!c$B%3Pk{XbDDpu21?U?Rw+mnZa=GXEu8Jw(S|LRS&);_8IKhwGAbhIB
z{e4BKY6Cep;(k4n281^=c=mSrxMgRGC0P{<zuKQ>;oF%a$0on#QGmnBPuW9%w14(D
z6-V|3=6fXV-`O9RK>_e*6VR=T*1U>9w%FDUC}z5G-@GgW#33Q0*4HAo$uwwn9$R%E
z9<O5I!I{nZ%$$F2CmtDzDXd`gzoAr<^VV1;Ijl5{7{!2c#qrXiIF!@Yo#2~CsCySR
z;Fr5&oWj#9sGyqj=2bTuOPf`hxpD?>g>QX**yrEu(9_k7zSazkI<XqOnIQNjb@a2(
zgw9E4dB_|4;v~A@p*_87e`>xr_RG6utGY6jn{%pN1FH2Mf2H%8QX{Hadi#JW)Y{|Z
z=Eb5-4=I;Nh0JP%sM_laeifpshnqRckKk$?w&jl6P!%apqluLiA_FMerQl+lZ2wf1
z6Yk@CXv65d!K?SZPI=fL2c;CX{kLZ(gL^wC%KP8gE3s4;*oz6bPQRNdv398Ow>)DH
zBLns+it>Kjl7|(-5=&S>9rjn1_uP_!t8z%Oqm*d5l;_n(yu1>E$zo#1)<H^Z**jZi
zU{&?g_D9I4q$}bxYR!L&S4;*xay3Bs)GgV5&P>R;x7voF4<h^=oG-GQG<v7BZl}08
zUi_;pZAr1l9x+}z{bQ!u??mX7rhn20LdPr7s5);>I9+<%p5Wc83D|LriQN<Q-ueIZ
zEm9!Hiw8;mmxZ{C71k!8%qabG-oUGUmGHb{H^sUZ9@md&mw}Dy{IQ$3&Q@x+4i+s^
z5TK-aQ!8D3Axp|1*xqle$q9^}o=W3yUw(hfB>Bl@5cdq=x8K_x6|1F*gAgUl_cn8e
z{>;wpZ4YUQ?tNC9vDZPJagU1`WFs-Be{Xj*+B69=DV9R5zv6D2#^SxbV0M$6oIhJG
z<dj8%HXeY{(-7NY^keB*6YU2cunGNyXn-!G#reC+WfmFdkLMd-B1BU8Gq#oW7B2>*
z65Ald7Z?_=M;Gc4=939OIBF|?5ewA8aO^jvW-mfaGG~TX5^@bIJDOI_mW=aX>#*+G
zG4E1oH5)3dGOE>T9B9+E5185Ejde>eFX=5ynuTJP3JSE^8U?h7g^GKtc88xK;{CVM
zUEo*^&Fe)>`KIS4xRlo`2YO<h)0s-UodgQJm^#X%QK$TEjzysf#4Q^dSN+#;bw+)j
zIvf3->X$Qw3J53LT+O^H+JJH)v0W1}&KhHWZPBso0bwlK`z2)#0na<alX<~^KuTP^
z%HZ`q#||IGng!Q<=)?Rm+H(U_PRe|c_ninoG?$c*PjT}4X893LMAWYv;mAcC4I=tR
zD_+r7e}UHZrHzh9wCF%t5aNvjQ+k5nj9T5B_dtVytd2;2kwFFuv(g$A+dWW+)d?<T
zTYb<S^zYlxs50Z9m$6~reYMg<rgDL|W$SGJ8G1j0NY`@Hf<;g?Z!)BPqBVh5Iv=3r
zTG<fXm{*v#N7#NV1~UUJ{I_;DkBR*+Z64FA!!{lgvI_11H>m-ngT{Oi1j)DtCyC0z
zFaN+p&aV}k>{I6^0a}%jx#6-|(=-WtaOU)YVheAin>+LWIjxtBbP=5g_9V-Ajq$Q{
zTB?6F56CsEwI2D3JT=F6>TPdMR>{?ho~skED>!xhOLGseQG5dC`P~3fgLaE9Lww(4
zN6b;;&Pt|BDNJpb8D&p&GfUNMn7aez7;Rq5vz%^5=X*V^w!XaY1qvIlz6_t-1a^p-
zW_1e<zA$L7+N|1@RzXEIkxC&1nXnujO*0(pZZrZks@4R|$pSfIt;enb-fnHO(cg*a
zON+HEdIBFdJAH{__{;~mHdCe4&W@zSwfs?ms3$cgb#1GdE$l(UJ+E7G{pgp)kt@2B
zMssm5jn;eHG5CQQ0B^X^MQh*i0erEpQe^%WwOOe_M^QW6M(TX)yE64kQ3WF&nQbSG
zb)WC-#B=Ya8Y{YG!>N_Vq9r<wEV-JKru6H4j_WRcvN@ZXfSs?@{9{z({`tn22JtTn
zZ(kdxg_?_&*9CvKQt!Qmm<@Uj2p-uqqi5={+Vkk;ItG7Yw~~Ypn3pQ%CN^X$aQvy@
z#k9qeHj)8$X4BeDAdBgN0^WsZzHLcVZX`W*z33l7U~oqbB+q<4n50*gHfh@{;F0~i
z9E2v(sxK2zfV-aDx3SEXKRf0OU)#4UlC1@?LnpZj9@%To4GJC7Cc)&ZtZ6$pWDag{
zPPT#-Fo-=D&Rv$ZPoABtN!kUY#B3N$823?eTML*aMD$I`gA4b=hZd0cSm}W08|#h%
zg%yK9=}$o|w#S=y=Bb%#!?*=yyHhJJ#=1j8DwVPuN7L#pzNi2Rz>OkBIYxX>33C;H
zZU(w5D*aXm-%72zox8}1nGU7=f%g^o_53=3yf692)^I`<Xma=4ZIx0iNP{D*#z)iG
z`7K~m)EO>@vlGo4`A?P>$QONmvt#Yz>MhR>0(JFX)vgS{P45<763^#1?<9?29J2|_
zoygjU*GFRs5<vFQ=j4TnD<-6_zGLS_)FC1>v{w?(RJ!O0!0%&CcM5tdDlD>$j}{C_
ze0krQ?1ze6gVeH1xHmUvje19|IZ~^`38#!^l*7w2uUTyK5^99Ez9BggxMC;hCxL$S
z8OY@L>Z2Gx0s0rlN>>bf&4H?pI-%&Z<L0klwrAnnnO=uICVT58t7197P{UVsgU!{t
zqsl*avDXn6Z$FScJW&RODXfQ-F(YoUV5Zo4v-$@i+34acU~AcbZ3hQ}V5r3yad(az
z|EgR@aj=<V-L`60pA_kUH>0C@^IDn-?O?lbGg;+dcdN7}pHgM3xb4l}F--v51P!p|
z5<E^mF>ZA>tP|&t@lUJ$EIWK77Tklb%VP920SAXO>&g_=Ci>(2@o>&EGv-5jAl&+-
zzV{HSp=HINfICBd>3SpC%S7}F!SHR|I{yt<+Y2CE%nxju+nG^^9jRl?(}v29i{Z+$
z+`XBk?^Q+6h8zNg`V4j&<h}0FksiX<GPD^Uvdvp}O+-u}S#+dKx!|S<2!~6XaC{%D
zmB5!`bVYGOv$E7|een_Y_IxO*?K*;B$EctF4wV0^_$|=jz?PUPk;&I5>j=vY@K7ch
zg<8#l+F7sUOv26rAyO3ECx7`S_zD1+pR|zM#=vJ{nF%9S1o)h3+D)_MQ1bWjdH!yQ
zm7eyEsGUW=C8fmC6#Q^B7w3gUyeuB1xiwilDpOX2?a3Xo8|fx&em*jvjK>F__WqR^
z%3Ct|?Xu*+Rx<kFw>s=LbGQHc3LZDl4EM8ANcN5CF2UZEl1jETTiP&!F5VsnZ^#vM
z_GK*nr-qY7_BeM!Vs904V@+rvKRuSPj9)9mUTIdp8`Lho{i^}r7R#p{*Bl_fJ<vwY
zh}k~k|7Mv$O>nGqhmRL~+w&F>ZZC9TvNvy-d9TqJNVHEs#d*e`AFYXGw)Mgr-KsSE
z+Sohq=9IMh{dAW=falpHIg^lL0W87kTZ3nH*0;qXyBz|Djo*&mdSRN+4#MXZx*0o*
z(e6Alz&v2=@4t<AB~0wJ;b%MQ2s>j0&r6L@7FH7R@oUR*{*j$YV%oki&9Sn^0O`>>
zgy%Y@D%XEr(RjhQ(j_Z6#6LUmiFo*t*E;zGA%&X;92cVPSj%e-x?>B~J&qbfjJoQ4
zw6(sNjp*zI`fmnai$BGLexsmkVRR_}SC;~0@&DP!)SYKur(Ww`d3^eZ{(mp}+siL$
zzWs6by!VF{=N2~{bFy8(Ddw4V*&C1g|KIEPpV)uIeABEQyMk_2)kNxjKCxk64A%_c
zF7{cUfycKzK3z1^J?`t%N#B=j5V}5R{giET@zYM*d|IVHeUEzU)E&=imTvj_18CgD
z@Y<bEY&F*$F@3JRbnWr!PmTKbygIG=-ZN2kon^dcuI)aZ>6K4H<Mk^2xwH$<{)9SH
zdHt`Vlhr{Ho!RHYy`uZ|Pp8UNUY+iJZ}K6pnBsjfC#~KW^J(6ochbf`pxAi%{@=Uz
zZjsj?yEl64tbvBtrZxK0mDIrD6?98T?DLFMweNyXfBliwe9TPsP1W<If1Z^strNWG
zBm7!*&AyoPi;uY9cwxNuM&~AF!~SsH)UK~aSEnoIT&fbez_UJoe@u;M_<Ufrcun7<
z{N~lw)nAuvKlVx1nn~~a*7&_2XSyu~u0(2nbv#F^5`OS)fi}mH+5i(v16|z<d;aTv
uzjpTbo2A7Oe;x$-M}Lae)Oqwe_1}NFt>-kaO>|3S00K`}KbLh*2~7a)f!<XB

literal 0
HcmV?d00001

diff --git a/docs/src/index.md b/docs/src/index.md
index dd010f5dc6..b96507ac82 100644
--- a/docs/src/index.md
+++ b/docs/src/index.md
@@ -1,12 +1,8 @@
-!!! warning
-    This documentation is still under construction. If you need help with JuMP,
-    read the [JuMP documentation](https://jump.dev/JuMP.jl/stable/) instead. If
-    you are writing a solver interface and need help with MOI, join the
-    [developer chatroom](https://gitter.im/JuliaOpt/JuMP-dev) and ask away!
+!!! note
+    This documentation is also available in PDF format:
+    [MathOptInterface.pdf](MathOptInterface.pdf).
 
-# MathOptInterface
-
-# What is MathOptInterface?
+## What is MathOptInterface?
 
 [MathOptInterface.jl](https://github.com/jump-dev/MathOptInterface.jl) (MOI) is
 an abstraction layer designed to provide a unified interface to mathematical
diff --git a/docs/src/manual/standard_form.md b/docs/src/manual/standard_form.md
index bc5a4f094d..7b23e1e0f2 100644
--- a/docs/src/manual/standard_form.md
+++ b/docs/src/manual/standard_form.md
@@ -72,16 +72,16 @@ The one-dimensional set types implemented in MathOptInterface.jl are:
 The vector-valued set types implemented in MathOptInterface.jl are:
 
 * [`Reals(dimension)`](@ref MathOptInterface.Reals):
-  ``\mathbb{R}^\mbox{dimension}``
-* [`Zeros(dimension)`](@ref MathOptInterface.Zeros): ``0^\mbox{dimension}``
+  ``\mathbb{R}^{\mbox{dimension}}``
+* [`Zeros(dimension)`](@ref MathOptInterface.Zeros): ``0^{\mbox{dimension}}``
 * [`Nonnegatives(dimension)`](@ref MathOptInterface.Nonnegatives):
-  ``\{ x \in \mathbb{R}^\mbox{dimension} : x \ge 0 \}``
+  ``\{ x \in \mathbb{R}^{\mbox{dimension}} : x \ge 0 \}``
 * [`Nonpositives(dimension)`](@ref MathOptInterface.Nonpositives):
-  ``\{ x \in \mathbb{R}^\mbox{dimension} : x \le 0 \}``
+  ``\{ x \in \mathbb{R}^{\mbox{dimension}} : x \le 0 \}``
 * [`SecondOrderCone(dimension)`](@ref MathOptInterface.SecondOrderCone):
-  ``\{ (t,x) \in \mathbb{R}^\mbox{dimension} : t \ge \lVert x \rVert_2 \}``
+  ``\{ (t,x) \in \mathbb{R}^{\mbox{dimension}} : t \ge \lVert x \rVert_2 \}``
 * [`RotatedSecondOrderCone(dimension)`](@ref MathOptInterface.RotatedSecondOrderCone):
-  ``\{ (t,u,x) \in \mathbb{R}^\mbox{dimension} : 2tu \ge \lVert x \rVert_2^2, t,u \ge 0 \}``
+  ``\{ (t,u,x) \in \mathbb{R}^{\mbox{dimension}} : 2tu \ge \lVert x \rVert_2^2, t,u \ge 0 \}``
 * [`ExponentialCone()`](@ref MathOptInterface.ExponentialCone):
   ``\{ (x,y,z) \in \mathbb{R}^3 : y \exp (x/y) \le z, y > 0 \}``
 * [`DualExponentialCone()`](@ref MathOptInterface.DualExponentialCone):
@@ -90,14 +90,14 @@ The vector-valued set types implemented in MathOptInterface.jl are:
   ``\{ (t,x) \in \mathbb{R}^{n+1} : x \ge 0, t \le \sqrt[n]{x_1 x_2 \cdots x_n} \}``
   where ``n`` is ``\mbox{dimension} - 1``
 * [`PowerCone(exponent)`](@ref MathOptInterface.PowerCone):
-  ``\{ (x,y,z) \in \mathbb{R}^3 : x^\mbox{exponent} y^{1-\mbox{exponent}} \ge |z|, x,y \ge 0 \}``
+  ``\{ (x,y,z) \in \mathbb{R}^3 : x^{\mbox{exponent}} y^{1-\mbox{exponent}} \ge |z|, x,y \ge 0 \}``
 * [`DualPowerCone(exponent)`](@ref MathOptInterface.DualPowerCone):
-  ``\{ (u,v,w) \in \mathbb{R}^3 : \frac{u}{\mbox{exponent}}^\mbox{exponent}\frac{v}{1-\mbox{exponent}}^{1-\mbox{exponent}} \ge |w|, u,v \ge 0 \}``
-* [`NormOneCone(dimension)`](@ref MathOptInterface.NormOneCone): ``\{ (t,x) \in \mathbb{R}^\mbox{dimension} : t \ge \lVert x \rVert_1 \}`` where ``\lVert x \rVert_1 = \sum_i \lvert x_i \rvert``
+  ``\{ (u,v,w) \in \mathbb{R}^3 : \frac{u}{\mbox{exponent}}^{\mbox{exponent}}\frac{v}{1-\mbox{exponent}}^{1-\mbox{exponent}} \ge |w|, u,v \ge 0 \}``
+* [`NormOneCone(dimension)`](@ref MathOptInterface.NormOneCone): ``\{ (t,x) \in \mathbb{R}^{\mbox{dimension}} : t \ge \lVert x \rVert_1 \}`` where ``\lVert x \rVert_1 = \sum_i \lvert x_i \rvert``
 * [`NormInfinityCone(dimension)`](@ref MathOptInterface.NormInfinityCone):
-  ``\{ (t,x) \in \mathbb{R}^\mbox{dimension} : t \ge \lVert x \rVert_\infty \}`` where ``\lVert x \rVert_\infty = \max_i \lvert x_i \rvert``.
+  ``\{ (t,x) \in \mathbb{R}^{\mbox{dimension}} : t \ge \lVert x \rVert_\infty \}`` where ``\lVert x \rVert_\infty = \max_i \lvert x_i \rvert``.
 * [`RelativeEntropyCone(dimension)`](@ref MathOptInterface.RelativeEntropyCone):
-  ``\{ (u, v, w) \in \mathbb{R}^\mbox{dimension} : u \ge \sum_i w_i \log (\frac{w_i}{v_i}), v_i \ge 0, w_i \ge 0 \}``
+  ``\{ (u, v, w) \in \mathbb{R}^{\mbox{dimension}} : u \ge \sum_i w_i \log (\frac{w_i}{v_i}), v_i \ge 0, w_i \ge 0 \}``
 
 ## Matrix cones
 
@@ -119,9 +119,9 @@ The matrix-valued set types implemented in MathOptInterface.jl are:
   ``\{ (t,u,X) \in \mathbb{R}^{2+\mbox{dimension}^2} : t \le u \log(\det(X/u)), X \mbox{ is a PSD matrix}, u > 0 \}``
 
 * [`NormSpectralCone(row_dim, column_dim)`](@ref MathOptInterface.NormSpectralCone):
-  ``\{ (t, X) \in \mathbb{R}^{1 + \mbox{row_dim} \times \mbox{column_dim}} : t \ge \sigma_1(X), X \mbox{ is a matrix with row_dim rows and column_dim columns} \}``
+  ``\{ (t, X) \in \mathbb{R}^{1 + \mbox{row\_dim} \times \mbox{column\_dim}} : t \ge \sigma_1(X), X \mbox{ is a matrix with row\_dim rows and column\_dim columns} \}``
 * [`NormNuclearCone(row_dim, column_dim)`](@ref MathOptInterface.NormNuclearCone):
-  ``\{ (t, X) \in \mathbb{R}^{1 + \mbox{row_dim} \times \mbox{column_dim}} : t \ge \sum_i \sigma_i(X), X \mbox{ is a matrix with row_dim rows and column_dim columns} \}``
+  ``\{ (t, X) \in \mathbb{R}^{1 + \mbox{row\_dim} \times \mbox{column\_dim}} : t \ge \sum_i \sigma_i(X), X \mbox{ is a matrix with row\_dim rows and column\_dim columns} \}``
 
 Some of these cones can take two forms: `XXXConeTriangle` and `XXXConeSquare`.
 
diff --git a/docs/src/tutorials/latency.md b/docs/src/tutorials/latency.md
index b46de1aaeb..1279a52b9b 100644
--- a/docs/src/tutorials/latency.md
+++ b/docs/src/tutorials/latency.md
@@ -264,7 +264,7 @@ ProfileView.view(flamegraph(tinf))
 ```
 
 Here's how things looked in mid-August 2021:
-![flamegraph](https://user-images.githubusercontent.com/8177701/129137091-fb78c4a0-2208-4418-968f-24ff15370351.png)
+![flamegraph](../assets/latency.png)
 
 There are a few opportunities for improvement (non-red flames, particularly on
 the right). But the main problem is a large red (non-precompilable due to method

From 16a906c881fc12eddb613cdc21b039534ce9a346 Mon Sep 17 00:00:00 2001
From: odow <o.dowson@gmail.com>
Date: Wed, 20 Oct 2021 10:52:58 +1300
Subject: [PATCH 2/3] Fix release notes

---
 docs/make.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/make.jl b/docs/make.jl
index 6aab1f9764..51f295be7b 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -70,7 +70,7 @@ const _PAGES = [
             "API Reference" => "submodules/Test/reference.md",
         ],
     ],
-    "Release notes" => "release_notes.md",
+    "release_notes.md",
 ]
 
 # ==============================================================================

From 926a0c7b543519cce7dfc88c73470d1a9667cfe7 Mon Sep 17 00:00:00 2001
From: odow <o.dowson@gmail.com>
Date: Wed, 20 Oct 2021 11:45:54 +1300
Subject: [PATCH 3/3] Another update

---
 docs/make.jl      | 2 +-
 docs/src/index.md | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/make.jl b/docs/make.jl
index 51f295be7b..6aab1f9764 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -70,7 +70,7 @@ const _PAGES = [
             "API Reference" => "submodules/Test/reference.md",
         ],
     ],
-    "release_notes.md",
+    "Release notes" => "release_notes.md",
 ]
 
 # ==============================================================================
diff --git a/docs/src/index.md b/docs/src/index.md
index b96507ac82..73937f886a 100644
--- a/docs/src/index.md
+++ b/docs/src/index.md
@@ -1,3 +1,5 @@
+# Introduction
+
 !!! note
     This documentation is also available in PDF format:
     [MathOptInterface.pdf](MathOptInterface.pdf).