am42: updates
authorAdam Megacz <adam@megacz.com>
Sat, 19 Sep 2009 22:23:10 +0000 (15:23 -0700)
committerAdam Megacz <adam@megacz.com>
Sat, 19 Sep 2009 22:23:10 +0000 (15:23 -0700)
chips/f2/doc/am42/am42.aux [deleted file]
chips/f2/doc/am42/am42.log [deleted file]
chips/f2/doc/am42/am42.out [deleted file]
chips/f2/doc/am42/am42.pdf [deleted file]
chips/f2/doc/am42/am42.tex

diff --git a/chips/f2/doc/am42/am42.aux b/chips/f2/doc/am42/am42.aux
deleted file mode 100644 (file)
index 74d0255..0000000
+++ /dev/null
@@ -1,30 +0,0 @@
-\relax 
-\ifx\hyper@anchor\@undefined
-\global \let \oldcontentsline\contentsline
-\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
-\global \let \oldnewlabel\newlabel
-\gdef \newlabel#1#2{\newlabelxx{#1}#2}
-\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
-\AtEndDocument{\let \contentsline\oldcontentsline
-\let \newlabel\oldnewlabel}
-\else
-\global \let \hyper@last\relax 
-\fi
-
-\bibstyle{alpha}
-\@writefile{toc}{\contentsline {section}{\numberline {1}Overview of Fleet}{2}{section.1}}
-\@writefile{toc}{\contentsline {section}{\numberline {2}The FleetTwo Dock}{3}{section.2}}
-\@writefile{toc}{\contentsline {section}{\numberline {3}Instructions}{4}{section.3}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Loop Counter}{4}{subsection.3.1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Flags}{4}{subsection.3.2}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Predication}{5}{subsection.3.3}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}The Requeue Stage}{6}{subsection.3.4}}
-\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.4.1}The {\sc  Updating} State}{6}{subsubsection.3.4.1}}
-\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.4.2}The {\sc  Circulating} State}{6}{subsubsection.3.4.2}}
-\@writefile{toc}{\contentsline {section}{\numberline {4}Instructions}{7}{section.4}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}{\tt  move}}{7}{subsection.4.1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}{\tt  set}}{9}{subsection.4.2}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}{\tt  shift}}{10}{subsection.4.3}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}{\tt  abort}}{10}{subsection.4.4}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {4.5}{\tt  head}}{10}{subsection.4.5}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {4.6}{\tt  tail}}{10}{subsection.4.6}}
diff --git a/chips/f2/doc/am42/am42.log b/chips/f2/doc/am42/am42.log
deleted file mode 100644 (file)
index 940d493..0000000
+++ /dev/null
@@ -1,1891 +0,0 @@
-This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=pdflatex 2007.12.29)  29 AUG 2009 18:39
-entering extended mode
-**am42.tex
-(./am42.tex
-LaTeX2e <2003/12/01>
-Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
-ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
-stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
-h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
-kish, ukrainian, nohyphenation, loaded.
-(/opt/local/share/texmf-dist/tex/latex/base/article.cls
-Document Class: article 2004/02/16 v1.4f Standard LaTeX document class
-(/opt/local/share/texmf-dist/tex/latex/base/size10.clo
-File: size10.clo 2004/02/16 v1.4f Standard LaTeX file (size option)
-)
-\c@part=\count79
-\c@section=\count80
-\c@subsection=\count81
-\c@subsubsection=\count82
-\c@paragraph=\count83
-\c@subparagraph=\count84
-\c@figure=\count85
-\c@table=\count86
-\abovecaptionskip=\skip41
-\belowcaptionskip=\skip42
-\bibindent=\dimen102
-)
-(/opt/local/share/texmf-dist/tex/latex/psnfss/palatino.sty
-Package: palatino 2004/09/15 PSNFSS-v9.2 (SPQR) 
-)
-(/opt/local/share/texmf-dist/tex/latex/amsmath/amsmath.sty
-Package: amsmath 2000/07/18 v2.13 AMS math features
-\@mathmargin=\skip43
-
-For additional information on amsmath, use the `?' option.
-(/opt/local/share/texmf-dist/tex/latex/amsmath/amstext.sty
-Package: amstext 2000/06/29 v2.01
-
-(/opt/local/share/texmf-dist/tex/latex/amsmath/amsgen.sty
-File: amsgen.sty 1999/11/30 v2.0
-\@emptytoks=\toks14
-\ex@=\dimen103
-))
-(/opt/local/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
-Package: amsbsy 1999/11/29 v1.2d
-\pmbraise@=\dimen104
-)
-(/opt/local/share/texmf-dist/tex/latex/amsmath/amsopn.sty
-Package: amsopn 1999/12/14 v2.01 operator names
-)
-\inf@bad=\count87
-LaTeX Info: Redefining \frac on input line 211.
-\uproot@=\count88
-\leftroot@=\count89
-LaTeX Info: Redefining \overline on input line 307.
-\classnum@=\count90
-\DOTSCASE@=\count91
-LaTeX Info: Redefining \ldots on input line 379.
-LaTeX Info: Redefining \dots on input line 382.
-LaTeX Info: Redefining \cdots on input line 467.
-\Mathstrutbox@=\box26
-\strutbox@=\box27
-\big@size=\dimen105
-LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
-LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
-\macc@depth=\count92
-\c@MaxMatrixCols=\count93
-\dotsspace@=\muskip10
-\c@parentequation=\count94
-\dspbrk@lvl=\count95
-\tag@help=\toks15
-\row@=\count96
-\column@=\count97
-\maxfields@=\count98
-\andhelp@=\toks16
-\eqnshift@=\dimen106
-\alignsep@=\dimen107
-\tagshift@=\dimen108
-\tagwidth@=\dimen109
-\totwidth@=\dimen110
-\lineht@=\dimen111
-\@envbody=\toks17
-\multlinegap=\skip44
-\multlinetaggap=\skip45
-\mathdisplay@stack=\toks18
-LaTeX Info: Redefining \[ on input line 2666.
-LaTeX Info: Redefining \] on input line 2667.
-)
-(/opt/local/share/texmf-dist/tex/latex/graphics/epsfig.sty
-Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)
-
-(/opt/local/share/texmf-dist/tex/latex/graphics/graphicx.sty
-Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
-
-(/opt/local/share/texmf-dist/tex/latex/graphics/keyval.sty
-Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
-\KV@toks@=\toks19
-)
-(/opt/local/share/texmf-dist/tex/latex/graphics/graphics.sty
-Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR)
-
-(/opt/local/share/texmf-dist/tex/latex/graphics/trig.sty
-Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
-)
-(/opt/local/share/texmf-dist/tex/latex/graphics/graphics.cfg
-File: graphics.cfg 2005/02/03 v1.3 graphics configuration of teTeX/TeXLive
-)
-Package graphics Info: Driver file: pdftex.def on input line 80.
-
-(/opt/local/share/texmf-dist/tex/latex/graphics/pdftex.def
-File: pdftex.def 2002/06/19 v0.03k graphics/color for pdftex
-\Gread@gobject=\count99
-))
-\Gin@req@height=\dimen112
-\Gin@req@width=\dimen113
-)
-\epsfxsize=\dimen114
-\epsfysize=\dimen115
-)
-(/opt/local/share/texmf-dist/tex/latex/graphics/color.sty
-Package: color 1999/02/16 v1.0i Standard LaTeX Color (DPC)
-
-(/opt/local/share/texmf-dist/tex/latex/graphics/color.cfg
-File: color.cfg 2005/02/03 v1.3 color configuration of teTeX/TeXLive
-)
-Package color Info: Driver file: pdftex.def on input line 125.
-)
-(/Users/megacz/.texinputs/bytefield1.sty
-Package: bytefield1 2005/07/31 v1.2a Network protocol diagrams
-
-(/opt/local/share/texmf-dist/tex/latex/tools/calc.sty
-Package: calc 1998/07/07 v4.1b Infix arithmetic (KKT,FJ)
-\calc@Acount=\count100
-\calc@Bcount=\count101
-\calc@Adimen=\dimen116
-\calc@Bdimen=\dimen117
-\calc@Askip=\skip46
-\calc@Bskip=\skip47
-LaTeX Info: Redefining \setlength on input line 59.
-LaTeX Info: Redefining \addtolength on input line 60.
-\calc@denominator=\count102
-)
-\bytefield@height=\skip48
-\bytefield@height@increment=\skip49
-\c@bits@wide=\count103
-\entire@bytefield@picture=\box28
-\bitwidth=\skip50
-\byteheight=\skip51
-\units@wide=\skip52
-\units@tall=\skip53
-\units@high=\skip54
-\header@xpos=\skip55
-\c@header@val=\count104
-\c@iheader@val=\count105
-\c@max@header@val=\count106
-\curlyshrinkage=\skip56
-\curlyspace=\skip57
-\labelspace=\skip58
-\curly@box=\box29
-\wordlabelr@start=\skip59
-\wordlabelr@end=\skip60
-\wordlabell@start=\skip61
-\wordlabell@end=\skip62
-\total@lbox@width=\skip63
-\label@box@width=\skip64
-\label@box@height=\skip65
-\word@label@box=\box30
-)
-(/opt/local/share/texmf-dist/tex/latex/comment/comment.sty
-\CommentStream=\write3
-
-Excluding comment 'comment')
-(/opt/local/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
-\fancy@headwidth=\skip66
-\f@ncyO@elh=\skip67
-\f@ncyO@erh=\skip68
-\f@ncyO@olh=\skip69
-\f@ncyO@orh=\skip70
-\f@ncyO@elf=\skip71
-\f@ncyO@erf=\skip72
-\f@ncyO@olf=\skip73
-\f@ncyO@orf=\skip74
-)
-\@input{megacz.aux}
-\openout2 = `megacz.aux'.
-
-(/Users/megacz/.texinputs/megacz.tex
-(/opt/local/share/texmf-dist/tex/latex/float/float.sty
-Package: float 2001/11/08 v1.3d Float enhancements (AL)
-\c@float@type=\count107
-\float@exts=\toks20
-\float@box=\box31
-\@float@everytoks=\toks21
-\@floatcapt=\box32
-)
-(/opt/local/share/texmf-dist/tex/latex/tools/multicol.sty
-Package: multicol 2004/02/14 v1.6e multicolumn formatting (FMi)
-\c@tracingmulticols=\count108
-\mult@box=\box33
-\multicol@leftmargin=\dimen118
-\c@unbalance=\count109
-\c@collectmore=\count110
-\doublecol@number=\count111
-\multicoltolerance=\count112
-\multicolpretolerance=\count113
-\full@width=\dimen119
-\page@free=\dimen120
-\premulticols=\dimen121
-\postmulticols=\dimen122
-\multicolsep=\skip75
-\multicolbaselineskip=\skip76
-\partial@page=\box34
-\last@line=\box35
-\mult@rightbox=\box36
-\mult@grightbox=\box37
-\mult@gfirstbox=\box38
-\mult@firstbox=\box39
-\@tempa=\box40
-\@tempa=\box41
-\@tempa=\box42
-\@tempa=\box43
-\@tempa=\box44
-\@tempa=\box45
-\@tempa=\box46
-\@tempa=\box47
-\@tempa=\box48
-\@tempa=\box49
-\@tempa=\box50
-\@tempa=\box51
-\@tempa=\box52
-\@tempa=\box53
-\@tempa=\box54
-\@tempa=\box55
-\@tempa=\box56
-\c@columnbadness=\count114
-\c@finalcolumnbadness=\count115
-\last@try=\dimen123
-\multicolovershoot=\dimen124
-\multicolundershoot=\dimen125
-\mult@nat@firstbox=\box57
-\colbreak@box=\box58
-)
-(/opt/local/share/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty
-Package: fancyvrb 1998/07/17
-
-Style option: `fancyvrb' v2.6, with DG/SPQR fixes <1998/07/17> (tvz)
-\FV@CodeLineNo=\count116
-\FV@InFile=\read1
-\FV@TabBox=\box59
-\c@FancyVerbLine=\count117
-\FV@StepNumber=\count118
-\FV@OutFile=\write4
-
-No file fancyvrb.cfg.
-) (/opt/local/share/texmf-dist/tex/latex/hyperref/hyperref.sty
-Package: hyperref 2003/11/30 v6.74m Hypertext links for LaTeX
-\@linkdim=\dimen126
-\Hy@linkcounter=\count119
-\Hy@pagecounter=\count120
-
-(/opt/local/share/texmf-dist/tex/latex/hyperref/pd1enc.def
-File: pd1enc.def 2003/11/30 v6.74m Hyperref: PDFDocEncoding definition (HO)
-)
-(/opt/local/share/texmf-dist/tex/latex/hyperref/hyperref.cfg
-File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive and teTeX
-)
-Package hyperref Info: Option `colorlinks' set `true' on input line 1830.
-Package hyperref Info: Option `bookmarks' set `true' on input line 1830.
-Package hyperref Info: Hyper figures OFF on input line 1880.
-Package hyperref Info: Link nesting OFF on input line 1885.
-Package hyperref Info: Hyper index ON on input line 1888.
-Package hyperref Info: Plain pages ON on input line 1893.
-Package hyperref Info: Backreferencing OFF on input line 1900.
-
-Implicit mode ON; LaTeX internals redefined
-Package hyperref Info: Bookmarks ON on input line 2004.
-(/opt/local/share/texmf-dist/tex/latex/url/url.sty
-\Urlmuskip=\muskip11
-Package: url 2004/03/15  ver 3.1  Verb mode for urls, etc.
-)
-LaTeX Info: Redefining \url on input line 2143.
-\Fld@menulength=\count121
-\Field@Width=\dimen127
-\Fld@charsize=\dimen128
-\Choice@toks=\toks22
-\Field@toks=\toks23
-Package hyperref Info: Hyper figures OFF on input line 2618.
-Package hyperref Info: Link nesting OFF on input line 2623.
-Package hyperref Info: Hyper index ON on input line 2626.
-Package hyperref Info: backreferencing OFF on input line 2633.
-Package hyperref Info: Link coloring ON on input line 2636.
-\c@Item=\count122
-\c@Hfootnote=\count123
-)
-*hyperref using default driver hpdftex*
-(/opt/local/share/texmf-dist/tex/latex/hyperref/hpdftex.def
-File: hpdftex.def 2003/11/30 v6.74m Hyperref driver for pdfTeX
-
-(/opt/local/share/texmf-dist/tex/latex/psnfss/pifont.sty
-Package: pifont 2004/09/15 PSNFSS-v9.2 Pi font support (SPQR) 
-LaTeX Font Info:    Try loading font information for U+pzd on input line 63.
-
-(/opt/local/share/texmf-dist/tex/latex/psnfss/upzd.fd
-File: upzd.fd 2001/06/04 font definitions for U/pzd.
-)
-LaTeX Font Info:    Try loading font information for U+psy on input line 64.
-
-(/opt/local/share/texmf-dist/tex/latex/psnfss/upsy.fd
-File: upsy.fd 2001/06/04 font definitions for U/psy.
-))
-\Fld@listcount=\count124
-\@outlinefile=\write5
-)
-(/opt/local/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
-Package: amssymb 2002/01/22 v2.2d
-
-(/opt/local/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
-Package: amsfonts 2001/10/25 v2.2f
-\symAMSa=\mathgroup4
-\symAMSb=\mathgroup5
-LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
-(Font)                  U/euf/m/n --> U/euf/b/n on input line 132.
-))
-(/opt/local/share/texmf-dist/tex/latex/parskip/parskip.sty
-Package: parskip 2001/04/09 non-zero parskip adjustments
-)
-(/opt/local/share/texmf-dist/tex/latex/sectsty/sectsty.sty
-Package: sectsty 2002/02/25 v2.0.2 Commands to change all sectional heading sty
-les
-)
-(/Users/megacz/.texinputs/empheq.sty
-Package: empheq 2004/04/14 v2.00 Emphasizing equations (MH)
-\l_empheq_equationtype_int=\count125
-\l_empheq_alignmentmode_int=\count126
-\l_empheq_totalwidth_dim=\dimen129
-\l_empheq_displaywidth_dim=\dimen130
-\l_empheq_temp_linewidth_dim=\dimen131
-\EmphEqdelimitershortfall=\dimen132
-\EmphEqdelimiterfactor=\count127
-\g_empheq_toptag_height_dim=\dimen133
-\g_empheq_bottomtag_depth_dim=\dimen134
-\g_empheq_toprow_height_dim=\dimen135
-\g_empheq_bottomrow_depth_dim=\dimen136
-\l_empheq_widesttag_dim=\dimen137
-\empheq_mathdisplay_box=\box60
-\empheq_tag_box=\box61
-\g_empheq_temprow_int=\count128
-\multlinedwidth=\dimen138
-)) (./am42.aux)
-\openout1 = `am42.aux'.
-
-LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 21.
-LaTeX Font Info:    ... okay on input line 21.
-LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 21.
-LaTeX Font Info:    ... okay on input line 21.
-LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 21.
-LaTeX Font Info:    ... okay on input line 21.
-LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 21.
-LaTeX Font Info:    ... okay on input line 21.
-LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 21.
-LaTeX Font Info:    ... okay on input line 21.
-LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 21.
-LaTeX Font Info:    ... okay on input line 21.
-LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 21.
-LaTeX Font Info:    ... okay on input line 21.
-LaTeX Font Info:    Try loading font information for T1+ppl on input line 21.
-
-(/opt/local/share/texmf-dist/tex/latex/psnfss/t1ppl.fd
-File: t1ppl.fd 2001/06/04 font definitions for T1/ppl.
-)
-(/opt/local/share/texmf-dist/tex/context/base/supp-pdf.tex
-(/opt/local/share/texmf-dist/tex/context/base/supp-mis.tex
-loading : Context Support Macros / Miscellaneous (2004.10.26)
-\protectiondepth=\count129
-\scratchcounter=\count130
-\scratchtoks=\toks24
-\scratchdimen=\dimen139
-\scratchskip=\skip77
-\scratchmuskip=\muskip12
-\scratchbox=\box62
-\scratchread=\read2
-\scratchwrite=\write6
-\zeropoint=\dimen140
-\onepoint=\dimen141
-\onebasepoint=\dimen142
-\minusone=\count131
-\thousandpoint=\dimen143
-\onerealpoint=\dimen144
-\emptytoks=\toks25
-\nextbox=\box63
-\nextdepth=\dimen145
-\everyline=\toks26
-\!!counta=\count132
-\!!countb=\count133
-\recursecounter=\count134
-)
-loading : Context Support Macros / PDF (2004.03.26)
-\nofMPsegments=\count135
-\nofMParguments=\count136
-\MPscratchCnt=\count137
-\MPscratchDim=\dimen146
-\MPnumerator=\count138
-\everyMPtoPDFconversion=\toks27
-)
-Package hyperref Info: Link coloring ON on input line 21.
- (/opt/local/share/texmf-dist/tex/latex/hyperref/nameref.sty
-Package: nameref 2003/12/03 v2.21 Cross-referencing by name of section
-\c@section@level=\count139
-)
-LaTeX Info: Redefining \ref on input line 21.
-LaTeX Info: Redefining \pageref on input line 21.
- (./am42.out)
-(./am42.out)
-\openout5 = `am42.out'.
-
-LaTeX Font Info:    Try loading font information for U+msa on input line 24.
- (/opt/local/share/texmf-dist/tex/latex/amsfonts/umsa.fd
-File: umsa.fd 2002/01/19 v2.2g AMS font definitions
-)
-LaTeX Font Info:    Try loading font information for U+msb on input line 24.
-
-(/opt/local/share/texmf-dist/tex/latex/amsfonts/umsb.fd
-File: umsb.fd 2002/01/19 v2.2g AMS font definitions
-)
-
-LaTeX Warning: No \author given.
-
-LaTeX Font Info:    Font shape `T1/ppl/bx/n' in size <9> not available
-(Font)              Font shape `T1/ppl/b/n' tried instead on input line 25.
-
-Underfull \hbox (badness 10000) in paragraph at lines 27--29
-
- []
-
-LaTeX Font Info:    Try loading font information for T1+cmtt on input line 30.
-(/opt/local/share/texmf-dist/tex/latex/base/t1cmtt.fd
-File: t1cmtt.fd 1999/05/25 v2.5h Standard LaTeX font definitions
-) [1
-
-
-
-{/opt/local/share/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
-LaTeX Font Info:    Font shape `T1/ppl/bx/n' in size <14.4> not available
-(Font)              Font shape `T1/ppl/b/n' tried instead on input line 77.
- [2] [3]
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (23.46266pt too wide) in paragraph at lines 168--169
-[][][][] 
- []
-
-LaTeX Font Info:    Font shape `T1/ppl/bx/n' in size <12> not available
-(Font)              Font shape `T1/ppl/b/n' tried instead on input line 187.
-LaTeX Font Info:    Try loading font information for OMS+ppl on input line 202.
-
-(/opt/local/share/texmf-dist/tex/latex/psnfss/omsppl.fd
-File: omsppl.fd 
-)
-LaTeX Font Info:    Font shape `OMS/ppl/m/n' in size <10> not available
-(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 202.
- [4]
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 239--240
- [][][] 
- []
-
-[5]
-LaTeX Font Info:    Font shape `T1/ppl/bx/n' in size <10> not available
-(Font)              Font shape `T1/ppl/b/n' tried instead on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@encoding' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<let>-command' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@family' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@series' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@shape' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\font@name' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\T1/ppl/m/sc/10' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\ignorespaces' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@shape' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\font@name' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\T1/ppl/m/sc/10' on input line 252.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@encoding' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<let>-command' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@family' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@series' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@shape' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\font@name' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\T1/ppl/m/sc/10' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\ignorespaces' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@shape' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\font@name' on input line 281.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\T1/ppl/m/sc/10' on input line 281.
-
-[6]
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 302.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@encoding' on input line 302.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<let>-command' on input line 302.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 302.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@family' on input line 302.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 302.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@series' on input line 302.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 302.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@shape' on input line 302.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 302.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\font@name' on input line 302.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\T1/cmtt/m/n/12' on input line 302.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\ignorespaces' on input line 302.
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (81.79092pt too wide) in paragraph at lines 354--354
-[][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 354--354
-[][][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 354--354
-[][][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 354--355
-[][][][] 
- []
-
-
-Underfull \hbox (badness 2781) in paragraph at lines 360--361
-[]\T1/cmtt/m/n/10 Sh \T1/ppl/m/n/10 - Ship: at an in-put/output dock, wait for 
-the ship suc-ces-
- []
-
-[7]
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 423--424
-[][][][] 
- []
-
-[8]
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 437.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@encoding' on input line 437.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<let>-command' on input line 437.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 437.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@family' on input line 437.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 437.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@series' on input line 437.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 437.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@shape' on input line 437.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 437.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\font@name' on input line 437.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\T1/cmtt/m/n/12' on input line 437.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\ignorespaces' on input line 437.
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 502--502
-[][][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 502--502
-[][][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 502--502
-[][][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 502--502
-[][][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 502--502
-[][][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-[9]
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 545.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@encoding' on input line 545.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<let>-command' on input line 545.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 545.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@family' on input line 545.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 545.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@series' on input line 545.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 545.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@shape' on input line 545.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 545.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\font@name' on input line 545.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\T1/cmtt/m/n/12' on input line 545.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\ignorespaces' on input line 545.
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 575--576
-[][][][] 
- []
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 585.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@encoding' on input line 585.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<let>-command' on input line 585.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 585.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@family' on input line 585.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 585.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@series' on input line 585.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 585.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@shape' on input line 585.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 585.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\font@name' on input line 585.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\T1/cmtt/m/n/12' on input line 585.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\ignorespaces' on input line 585.
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 604--605
-[][][] 
- []
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 609.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@encoding' on input line 609.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<let>-command' on input line 609.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 609.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@family' on input line 609.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 609.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@series' on input line 609.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 609.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@shape' on input line 609.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 609.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\font@name' on input line 609.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\T1/cmtt/m/n/12' on input line 609.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\ignorespaces' on input line 609.
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 627--628
-[][][] 
- []
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 633.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@encoding' on input line 633.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<let>-command' on input line 633.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 633.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@family' on input line 633.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 633.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@series' on input line 633.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 633.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\f@shape' on input line 633.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\<def>-command' on input line 633.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\font@name' on input line 633.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\T1/cmtt/m/n/12' on input line 633.
-
-
-Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
-(hyperref)                removing `\ignorespaces' on input line 633.
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 651--652
-[][][] 
- []
-
-[10]
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (81.79092pt too wide) in paragraph at lines 661--662
-[][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 662--662
-[][][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 662--662
-[][][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 662--664
-[][][][]
- []
-
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 662--664
-[][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 665--667
-[][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 668--669
-[][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 669--669
-[][][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 669--669
-[][][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 669--669
-[][][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 669--669
-[][][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 671--673
-[][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 674--676
-[][][] 
- []
-
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-\height=\dimen147 (locally)
-\depth=\dimen148 (locally)
-\totalheight=\dimen149 (locally)
-\width=\dimen150 (locally)
-
-Overfull \hbox (10.6591pt too wide) in paragraph at lines 677--679
-[][][] 
- []
-
-[11] (./am42.aux) ) 
-Here is how much of TeX's memory you used:
- 4986 strings out of 94500
- 68083 string characters out of 1174972
- 146756 words of memory out of 1000000
- 8011 multiletter control sequences out of 10000+50000
- 37507 words of font info for 82 fonts, out of 500000 for 2000
- 580 hyphenation exceptions out of 1000
- 32i,16n,43p,220b,379s stack positions out of 1500i,500n,5000p,200000b,5000s
-PDF statistics:
- 143 PDF objects out of 300000
- 32 named destinations out of 131072
- 145 words of extra memory for PDF output out of 65536
-</opt/local/share/texmf-dist/fonts/type1/bluesky/cm/cmsy8.pf
-b> </var/tmp/texfonts/pk/ljfour/jknappen/ec/ectt1200.600pk></opt/local/share/te
-xmf-dist/fonts/type1/bluesky/cm/cmsy10.pfb> </var/tmp/texfonts/pk/ljfour/jknapp
-en/ec/ectt0800.375pk> </var/tmp/texfonts/pk/ljfour/jknappen/ec/ectt1000.600pk>{
-/opt/local/share/texmf-dist/fonts/enc/dvips/psnfss/8r.enc}</opt/local/share/tex
-mf-dist/fonts/type1/urw/palatino/uplri8a.pfb></opt/local/share/texmf-dist/fonts
-/type1/urw/palatino/uplr8a.pfb> </var/tmp/texfonts/pk/ljfour/jknappen/ec/ectt08
-00.600pk></opt/local/share/texmf-dist/fonts/type1/urw/palatino/uplb8a.pfb></opt
-/local/share/texmf-dist/fonts/type1/urw/palatino/uplr8a.pfb>
-Output written on am42.pdf (11 pages, 149644 bytes).
diff --git a/chips/f2/doc/am42/am42.out b/chips/f2/doc/am42/am42.out
deleted file mode 100644 (file)
index d6a603c..0000000
+++ /dev/null
@@ -1,16 +0,0 @@
-\BOOKMARK [1][-]{section.1}{Overview of Fleet}{}
-\BOOKMARK [1][-]{section.2}{The FleetTwo Dock}{}
-\BOOKMARK [1][-]{section.3}{Instructions}{}
-\BOOKMARK [2][-]{subsection.3.1}{Loop Counter}{section.3}
-\BOOKMARK [2][-]{subsection.3.2}{Flags}{section.3}
-\BOOKMARK [2][-]{subsection.3.3}{Predication}{section.3}
-\BOOKMARK [2][-]{subsection.3.4}{The Requeue Stage}{section.3}
-\BOOKMARK [3][-]{subsubsection.3.4.1}{The Updating State}{subsection.3.4}
-\BOOKMARK [3][-]{subsubsection.3.4.2}{The Circulating State}{subsection.3.4}
-\BOOKMARK [1][-]{section.4}{Instructions}{}
-\BOOKMARK [2][-]{subsection.4.1}{move}{section.4}
-\BOOKMARK [2][-]{subsection.4.2}{set}{section.4}
-\BOOKMARK [2][-]{subsection.4.3}{shift}{section.4}
-\BOOKMARK [2][-]{subsection.4.4}{abort}{section.4}
-\BOOKMARK [2][-]{subsection.4.5}{head}{section.4}
-\BOOKMARK [2][-]{subsection.4.6}{tail}{section.4}
diff --git a/chips/f2/doc/am42/am42.pdf b/chips/f2/doc/am42/am42.pdf
deleted file mode 100644 (file)
index bf5b629..0000000
Binary files a/chips/f2/doc/am42/am42.pdf and /dev/null differ
index a85e825..bc72048 100644 (file)
@@ -29,6 +29,14 @@ To Do:
 
 \begin{verbatim}
 
+"Supertorpedo" for retrieving dock state.
+
+THEREFORE: I propose that DockTwo only be able to load the counter from the data latch, not from the instruction word.  This gets rid of an entire instruction.  In exchange, I would like to propose that "data predecessor full is a condition of execution" and "drain data predecessor when you execute" be different opcode bits.
+
+
+  - debug capability?  ability to kick the dock in the head to get it
+    to spit out its state?
+
   - tokenhood as address bit
   - signal/path boundary/etc
   - Rename EPI and OD to something more meaningful
@@ -360,6 +368,8 @@ will not cause this transition when the {\tt P} flag is cleared.
 \item {\tt Sh} - Ship: at an input/output dock, wait for the ship successor/predecessor to be empty/full and fill/drain it.
 \end{itemize}
 
+Ability to await and capture, but not drain, data predecessor.
+
 The fabric successor must be empty in order for a {\tt move}
 instruction to attempt execution.
 
@@ -456,15 +466,6 @@ loop counter.
 \end{bytefield}}
 
 \begin{bytefield}{25}
-  \bitheader[b]{0,11-18}\\
-  \bitbox[1]{5}{\raggedleft {\tt Immediate}$\to${\tt LC}}
-  \bitbox[r]{1}{}
-  \bitbox{4}{\tt 1000}
-  \bitbox{3}{\tt 100}
-  \bitbox{12}{\tt Immediate}
-\end{bytefield}
-
-\begin{bytefield}{25}
   \bitheader[b]{12-18}\\
   \bitbox[1]{5}{\raggedleft {\tt Data Latch}$\to${\tt LC}}
   \bitbox[r]{1}{}
@@ -474,21 +475,6 @@ loop counter.
 \end{bytefield}
 
 \begin{bytefield}{25}
-  \bitheader[b]{0,13-18}\\
-  \bitbox[1]{5}{\raggedleft \footnotesize {\tt Sign-Extended Immediate}$\to${\tt Data Latch}}
-  \bitbox[r]{1}{}
-  \bitbox{4}{\tt 0010}
-  \bitbox{1}{\begin{minipage}{0.5cm}{
-\begin{center}
-\tt{\footnotesize{Si
-
-\vspace{-2mm}gn}}
-\end{center}}
-\end{minipage}}
-  \bitbox{14}{\tt Immediate}
-\end{bytefield}
-
-\begin{bytefield}{25}
   \bitheader[b]{0,5,6,11,15-18}\\
   \bitbox[1]{5}{\raggedleft {\tt Update Flags}}
   \bitbox[r]{1}{}
@@ -542,19 +528,20 @@ be used to create a {\tt nop} (no-op) by setting each flag to itself.
 
 
 \pagebreak
-\subsection{{\tt shift}}
+\subsection{{\tt literal}}
 
-\newcommand{\shiftImmediateSize}{19}
+\newcommand{\literalImmediateSize}{19}
 
-Each {\tt shift} instruction carries an immediate of \shiftImmediateSize\ 
-bits.  When a {\tt shift} instruction is executed, this immediate is copied
-into the least significant \shiftImmediateSize\  bits of the data latch,
-and the remaining most significant bits of the data latch are loaded
-with the value formerly in the least significant bits of the data latch.
-In this manner, large literals can be built up by ``shifting'' them
-into the data latch \shiftImmediateSize\ bits at a time.
+Each {\tt literal} instruction carries an immediate of
+\literalImmediateSize\ bits.  When a {\tt literal} instruction is
+executed, this immediate is copied into the least significant
+\literalImmediateSize\ bits of the data latch, and the remaining most
+significant bits of the data latch are loaded with the value formerly
+in the least significant bits of the data latch.  In this manner,
+large literals can be built up by ``shifting'' them into the data
+latch \literalImmediateSize\ bits at a time.
 
-\newcommand{\bitsShift}{
+\newcommand{\bitsLiteral}{
 \setlength{\bitwidth}{5mm}
 {\tt
 \begin{bytefield}{25}
@@ -569,17 +556,13 @@ into the data latch \shiftImmediateSize\ bits at a time.
   \bitbox{1}{0} 
   \bitbox{1}{0} 
 
-  \bitbox{\shiftImmediateSize}{Immediate} 
+  \bitbox{\literalImmediateSize}{Immediate} 
 \end{bytefield}}
 }
-\bitsShift
-
-The FleetTwo implementation is likely to have an unarchitected
-``literal latch'' at the on deck ({\tt OD}) stage, which is loaded
-with the literal {\it at the time that the {\tt shift} instruction
-  comes on deck}.  This latch is then copied into the data latch when
-the instruction executes.
+\bitsLiteral
 
+Need two forms: one of them loads the bottom half and sign-extends it
+into the top half.  The other form loads just the top half.
 
 
 \subsection{{\tt abort}}
@@ -663,7 +646,7 @@ the Requeue Stage for further details.
 \bitsFlush
 
 \vspace{3mm}\hspace{-1cm}{\tt shift}\hspace{1cm}\vspace{-6mm}\\
-\bitsShift
+\bitsLiteral
 
 \vspace{3mm}\hspace{-1cm}{\tt set}\hspace{1cm}\vspace{-6mm}\\
 \bitsSet