workshop-ocaml-2023-wasocaml/figure_ocaml_float1.mps
2023-07-12 23:50:10 +02:00

192 lines
5.4 KiB
Plaintext

%!PS
%%BoundingBox: -542 -495 764 46
%%HiResBoundingBox: -541.88895 -494.06215 763.49677 45.33156
%%Creator: MetaPost 2.02
%%CreationDate: 2023.07.12:1752
%%Pages: 1
%*Font: cmr10 82.71204 9.96265 30:ffe000000000549098
%*Font: cmmi10 82.71204 9.96265 3a:8
%%BeginProlog
%%EndProlog
%%Page: 1 1
0.67844 0.84706 0.90196 setrgbcolor
newpath 33.20886 -43.256 moveto
33.20886 43.256 lineto
-33.20886 43.256 lineto
-33.20886 -43.256 lineto
closepath fill
0 0 0 setrgbcolor 0 4.15111 dtransform truncate idtransform setlinewidth pop
[] 0 setdash 1 setlinejoin 10 setmiterlimit
newpath 33.20886 -43.256 moveto
33.20886 43.256 lineto
-33.20886 43.256 lineto
-33.20886 -43.256 lineto
closepath stroke
49.8133 -26.65157 moveto
(12) cmr10 82.71204 fshow
132.52583 -26.65157 moveto
(:) cmmi10 82.71204 fshow
155.50134 -26.65157 moveto
(13) cmr10 82.71204 fshow
newpath 254.81833 -43.256 moveto
254.81833 43.256 lineto
33.20886 43.256 lineto
33.20886 -43.256 lineto
closepath stroke
0.67844 0.84706 0.90196 setrgbcolor
newpath -473.39566 -257.57466 moveto
-473.39566 -191.1567 lineto
-539.81339 -191.1567 lineto
-539.81339 -257.57466 lineto
closepath fill
0 0 0 setrgbcolor
newpath -473.39566 -257.57466 moveto
-473.39566 -191.1567 lineto
-539.81339 -191.1567 lineto
-539.81339 -257.57466 lineto
closepath stroke
0.56471 0.93333 0.56471 setrgbcolor
newpath -373.76907 -257.57466 moveto
-373.76907 -191.1567 lineto
-473.39566 -191.1567 lineto
-473.39566 -257.57466 lineto
closepath fill
1 0.5 0.5 setrgbcolor
newpath -373.76907 -240.97023 moveto
-373.76907 -207.76112 lineto
-406.97794 -207.76112 lineto
-406.97794 -240.97023 lineto
closepath fill
0 0 0 setrgbcolor
newpath -373.76907 -257.57466 moveto
-373.76907 -191.1567 lineto
-473.39566 -191.1567 lineto
-473.39566 -257.57466 lineto
closepath stroke
newpath -373.76907 -257.57466 moveto
-373.76907 -191.1567 lineto
-473.39566 -191.1567 lineto
-473.39566 -257.57466 lineto
closepath stroke
0.56471 0.93333 0.56471 setrgbcolor
newpath -274.14249 -257.57466 moveto
-274.14249 -191.1567 lineto
-373.76907 -191.1567 lineto
-373.76907 -257.57466 lineto
closepath fill
1 0.5 0.5 setrgbcolor
newpath -274.14249 -240.97023 moveto
-274.14249 -207.76112 lineto
-307.35135 -207.76112 lineto
-307.35135 -240.97023 lineto
closepath fill
0 0 0 setrgbcolor
newpath -274.14249 -257.57466 moveto
-274.14249 -191.1567 lineto
-373.76907 -191.1567 lineto
-373.76907 -257.57466 lineto
closepath stroke
newpath -274.14249 -257.57466 moveto
-274.14249 -191.1567 lineto
-373.76907 -191.1567 lineto
-373.76907 -257.57466 lineto
closepath stroke
0.56471 0.93333 0.56471 setrgbcolor
newpath -174.5159 -257.57466 moveto
-174.5159 -191.1567 lineto
-274.14249 -191.1567 lineto
-274.14249 -257.57466 lineto
closepath fill
1 0.5 0.5 setrgbcolor
newpath -174.5159 -240.97023 moveto
-174.5159 -207.76112 lineto
-207.72476 -207.76112 lineto
-207.72476 -240.97023 lineto
closepath fill
0 0 0 setrgbcolor
newpath -174.5159 -257.57466 moveto
-174.5159 -191.1567 lineto
-274.14249 -191.1567 lineto
-274.14249 -257.57466 lineto
closepath stroke
newpath -174.5159 -257.57466 moveto
-174.5159 -191.1567 lineto
-274.14249 -191.1567 lineto
-274.14249 -257.57466 lineto
closepath stroke
0.67844 0.84706 0.90196 setrgbcolor
newpath -39.17152 -267.62167 moveto
-39.17152 -181.10968 lineto
-105.58925 -181.10968 lineto
-105.58925 -267.62167 lineto
closepath fill
0 0 0 setrgbcolor
newpath -39.17152 -267.62167 moveto
-39.17152 -181.10968 lineto
-105.58925 -181.10968 lineto
-105.58925 -267.62167 lineto
closepath stroke
-22.5671 -251.01724 moveto
(6) cmr10 82.71204 fshow
18.78868 -251.01724 moveto
(:) cmmi10 82.71204 fshow
41.76431 -251.01724 moveto
(28318530717958623) cmr10 82.71204 fshow
newpath 761.4212 -267.62167 moveto
761.4212 -181.10968 lineto
-39.17152 -181.10968 lineto
-39.17152 -267.62167 lineto
closepath stroke
0.67844 0.84706 0.90196 setrgbcolor
newpath 53.88687 -491.98659 moveto
53.88687 -405.47461 lineto
-12.53085 -405.47461 lineto
-12.53085 -491.98659 lineto
closepath fill
0 0 0 setrgbcolor
newpath 53.88687 -491.98659 moveto
53.88687 -405.47461 lineto
-12.53085 -405.47461 lineto
-12.53085 -491.98659 lineto
closepath stroke
70.4913 -475.38216 moveto
(42) cmr10 82.71204 fshow
153.20384 -475.38216 moveto
(:) cmmi10 82.71204 fshow
176.17935 -475.38216 moveto
(0) cmr10 82.71204 fshow
newpath 234.13956 -491.98659 moveto
234.13956 -405.47461 lineto
53.88687 -405.47461 lineto
53.88687 -491.98659 lineto
closepath stroke
0 33.20886 dtransform truncate idtransform setlinewidth pop 1 setlinecap
newpath -440.1868 -224.36568 moveto 0 0 rlineto stroke
0 4.15111 dtransform truncate idtransform setlinewidth pop
newpath -440.1868 -224.36568 moveto
-58.92336 -30.03346 lineto stroke
newpath -51.16765 -45.09288 moveto
-33.20341 -17.16234 lineto
-66.37402 -15.5702 lineto
closepath fill
0 33.20886 dtransform truncate idtransform setlinewidth pop
newpath -340.56021 -224.36568 moveto 0 0 rlineto stroke
0 4.15111 dtransform truncate idtransform setlinewidth pop
newpath -340.56021 -224.36568 moveto
-37.05315 -412.8737 lineto stroke
newpath -45.71716 -426.72066 moveto
-12.52908 -427.89372 lineto
-28.10713 -398.56615 lineto
closepath fill
0 33.20886 dtransform truncate idtransform setlinewidth pop
newpath -240.93362 -224.36568 moveto 0 0 rlineto stroke
0 4.15111 dtransform truncate idtransform setlinewidth pop
newpath -240.93362 -224.36568 moveto
-134.3469 -224.36568 lineto stroke
newpath -134.34727 -240.97011 moveto
-105.5876 -224.36568 lineto
-134.34727 -207.76125 lineto
closepath fill
showpage
%%EOF