-
Notifications
You must be signed in to change notification settings - Fork 12
/
Copy pathfoldl.tex
60 lines (60 loc) · 2.2 KB
/
foldl.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
\setlength{\unitlength}{59204sp}%
%
\begingroup\makeatletter\ifx\SetFigFont\undefined%
\gdef\SetFigFont#1#2#3#4#5{%
\reset@font\fontsize{#1}{#2pt}%
\fontfamily{#3}\fontseries{#4}\fontshape{#5}%
\selectfont}%
\fi\endgroup%
\begin{picture}(366,178)(6,621)
\thinlines
\put( 91,719){\circle{24}}
\put(140,719){\circle{24}}
\put(189,719){\circle{24}}
\put(287,719){\circle{24}}
\thicklines
\put(222,719){\line( 1, 0){ 32}}
\put(201,719){\line( 1, 0){ 21}}
\put(254,719){\vector( 1, 0){ 21}}
\thinlines
\put(222,759){\line( 1, 0){ 32}}
\put(222,784){\line( 1, 0){ 32}}
\put(262,784){\line(-1, 0){ 8}}
\put(262,759){\line(-1, 0){ 8}}
\put(213,759){\line( 1, 0){ 9}}
\put(213,784){\line( 1, 0){ 9}}
\put(332,653){\framebox(25,24){}}
\put( 21,759){\framebox(29,25){}}
\thicklines
\put( 9,624){\framebox(360,172){}}
\put(299,719){\line( 1, 0){ 45}}
\put(344,719){\line( 0, 1){ 0}}
\put(344,719){\vector( 0,-1){ 42}}
\put(287,759){\vector( 0,-1){ 29}}
\put(152,719){\vector( 1, 0){ 25}}
\put(103,719){\vector( 1, 0){ 24}}
\put( 34,759){\line( 0,-1){ 40}}
\put( 34,719){\vector( 1, 0){ 45}}
\put(189,759){\vector( 0,-1){ 29}}
\put(140,759){\vector( 0,-1){ 29}}
\put( 91,759){\vector( 0,-1){ 29}}
\thinlines
\put(262,759){\framebox(50,25){}}
\put( 66,759){\framebox(147,25){}}
\put(165,784){\line( 0,-1){ 25}}
\put(115,784){\line( 0,-1){ 25}}
\put( 82,726){\line( 1,-1){ 16.500}}
\put( 82,710){\line( 1, 1){ 16.500}}
\put(132,710){\line( 1, 1){ 16}}
\put(132,726){\line( 1,-1){ 16}}
\put(181,726){\line( 1,-1){ 16}}
\put(181,710){\line( 1, 1){ 16}}
\put(279,710){\line( 1, 1){ 16.500}}
\put(279,726){\line( 1,-1){ 16.500}}
\put(336,661){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}acc'}}}
\put(279,767){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}xn}}}
\put(185,767){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}x3}}}
\put(136,767){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}x2}}}
\put( 87,767){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}x1}}}
\put( 25,767){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}acc}}}
\end{picture}