This is e-pTeX, Version 3.14159265-p3.7-160201-2.6 (utf8.euc) (TeX Live 2016) (preloaded format=platex 2017.4.13)  25 OCT 2017 17:25
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**midterm.tex
(./midterm.tex
pLaTeX2e <2016/05/07> (based on LaTeX2e <2016/03/31>)
Babel <3.9r> and hyphenation patterns for 83 language(s) loaded.
(/usr/local/texlive/2016/texmf-dist/tex/platex/base/jarticle.cls
Document Class: jarticle 2006/06/27 v1.6 Standard pLaTeX class
\c@@paper=\count81
(/usr/local/texlive/2016/texmf-dist/tex/platex/base/jsize10.clo
File: jsize10.clo 2006/06/27 v1.6 Standard pLaTeX file (size option)
)
\c@part=\count82
\c@section=\count83
\c@subsection=\count84
\c@subsubsection=\count85
\c@paragraph=\count86
\c@subparagraph=\count87
\c@figure=\count88
\c@table=\count89
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\symmincho=\mathgroup4
LaTeX Font Info:    Overwriting symbol font `mincho' in version `bold'
(Font)                  JY1/mc/m/n --> JY1/gt/m/n on input line 593.
\toclineskip=\dimen118
\@lnumwidth=\dimen119
\bibindent=\dimen120
\heisei=\count90
)
(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
\KV@toks@=\toks15
)
(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2016/05/09 v1.0r Standard LaTeX Graphics (DPC,SPQR)

(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
)
(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
File: graphics.cfg 2016/01/02 v1.10 sample graphics configuration
)
Package graphics Info: Driver file: dvipdfmx.def on input line 96.

(/usr/local/texlive/2016/texmf-dist/tex/latex/dvipdfmx-def/dvipdfmx.def
File: dvipdfmx.def 2016/04/06 v4.08 LaTeX color/graphics driver for dvipdfmx (T
eX Live/ChoF)

(/usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/infwarerr.sty
Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO)
)
(/usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO)
)))
\Gin@req@height=\dimen121
\Gin@req@width=\dimen122
)
(./picins.sty Option `picins' Version 3.0 Sep. 1992, TH Darmstadt/HRZ
\@BILD=\box41
\@TEXT=\box42
\d@breite=\dimen123
\d@hoehe=\dimen124
\d@xoff=\dimen125
\d@yoff=\dimen126
\d@shad=\dimen127
\d@dash=\dimen128
\d@boxl=\dimen129
\d@pichskip=\dimen130
\d@tmp=\dimen131
\d@tmpa=\dimen132
\d@bskip=\dimen133
\hsiz@=\dimen134
\p@getot@l=\dimen135
\c@breite=\count91
\c@hoehe=\count92
\c@xoff=\count93
\c@yoff=\count94
\c@pos=\count95
\c@shad=\count96
\c@dash=\count97
\c@boxl=\count98
\c@zeilen=\count99
\@changemode=\count100
\c@piccaption=\count101
\c@piccaptionpos=\count102
\c@picpos=\count103
\c@whole=\count104
\c@half=\count105
\c@tmp=\count106
\c@tmpa=\count107
\c@tmpb=\count108
\c@tmpc=\count109
\c@tmpd=\count110
\d@leftskip=\skip43
\ptoti=\dimen136
\ptotii=\dimen137
\env@box=\box43
\d@envdp=\dimen138
\c@hsize=\count111
\c@envdp=\count112
\d@envb=\dimen139
)
(/usr/local/texlive/2016/texmf-dist/tex/latex/listings/listings.sty
\lst@mode=\count113
\lst@gtempboxa=\box44
\lst@token=\toks16
\lst@length=\count114
\lst@currlwidth=\dimen140
\lst@column=\count115
\lst@pos=\count116
\lst@lostspace=\dimen141
\lst@width=\dimen142
\lst@newlines=\count117
\lst@lineno=\count118
\lst@maxwidth=\dimen143

(/usr/local/texlive/2016/texmf-dist/tex/latex/listings/lstmisc.sty
File: lstmisc.sty 2015/06/04 1.6 (Carsten Heinz)
\c@lstnumber=\count119
\lst@skipnumbers=\count120
\lst@framebox=\box45
)
(/usr/local/texlive/2016/texmf-dist/tex/latex/listings/listings.cfg
File: listings.cfg 2015/06/04 1.6 listings configuration
))
Package: listings 2015/06/04 1.6 (Carsten Heinz)

(./jlisting.sty
Package: jlisting 2006/02/20 0.2 (Thor)
\lst@nextchar=\count121
\lst@inputfile=\read1
)
(/usr/local/texlive/2016/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
\fancy@headwidth=\skip44
\f@ncyO@elh=\skip45
\f@ncyO@erh=\skip46
\f@ncyO@olh=\skip47
\f@ncyO@orh=\skip48
\f@ncyO@elf=\skip49
\f@ncyO@erf=\skip50
\f@ncyO@olf=\skip51
\f@ncyO@orf=\skip52
)
(/usr/local/texlive/2016/texmf-dist/tex/latex/abstract/abstract.sty
Package: abstract 2009/06/08 v1.2a configurable abstracts
\abstitleskip=\skip53
\absleftindent=\skip54
\absrightindent=\skip55
\absparindent=\skip56
\absparsep=\skip57
)
(/usr/local/texlive/2016/texmf-dist/tex/latex/url/url.sty
\Urlmuskip=\muskip10
Package: url 2013/09/16  ver 3.4  Verb mode for urls, etc.
) (./bussproofs.sty
Proof Tree (bussproofs) style macros. Version 1.1.
\theLevel=\count122
\myMaxLevel=\count123
\myBoxA=\box46
\myBoxB=\box47
\myBoxC=\box48
\myBoxD=\box49
\myBoxLL=\box50
\myBoxRL=\box51
\thisAboveSkip=\dimen144
\thisBelowSkip=\dimen145
\newScoreStart=\dimen146
\newScoreEnd=\dimen147
\newCenter=\dimen148
\displace=\dimen149
\leftLowerAmt=\dimen150
\rightLowerAmt=\dimen151
\scoreHeight=\dimen152
\scoreDepth=\dimen153
\htLbox=\dimen154
\htRbox=\dimen155
\htRRbox=\dimen156
\htRRRbox=\dimen157
\htAbox=\dimen158
\htCbox=\dimen159
) (./dummy.tex)

LaTeX Warning: Unused global option(s):
    [9.5pt].

(./midterm.aux)
\openout1 = `midterm.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 53.
LaTeX Font Info:    ... okay on input line 53.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 53.
LaTeX Font Info:    ... okay on input line 53.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 53.
LaTeX Font Info:    ... okay on input line 53.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 53.
LaTeX Font Info:    ... okay on input line 53.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 53.
LaTeX Font Info:    ... okay on input line 53.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 53.
LaTeX Font Info:    ... okay on input line 53.
LaTeX Font Info:    Checking defaults for JY1/mc/m/n on input line 53.
LaTeX Font Info:    ... okay on input line 53.
LaTeX Font Info:    Checking defaults for JT1/mc/m/n on input line 53.
LaTeX Font Info:    ... okay on input line 53.
\c@lstlisting=\count124
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 60.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 60.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 60.
LaTeX Font Info:    Font shape `JT1/mc/bx/n' in size <14.4> not available
(Font)              Font shape `JT1/gt/m/n' tried instead on input line 62.
LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <14.4> not available
(Font)              Font shape `JY1/gt/m/n' tried instead on input line 62.

Underfull \hbox (badness 1275) in paragraph at lines 129--130
[]\JY1/mc/m/n/10 比嘉 \OT1/cmr/m/n/10 (2016)[[]] \JY1/mc/m/n/10 では \OT1/cmr/m
/n/10 CbC \JY1/mc/m/n/10 における \OT1/cmr/m/n/10 Code-Seg-ment \JY1/mc/m/n/10 
、
 []

LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 139.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 139.
File: ../pic/modus-ponens.pdf Graphic file (type pdf)
<../pic/modus-ponens.pdf>
Overfull \hbox (17.80374pt too wide) in paragraph at lines 151--152
 [] 
 []

[1


]
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 237.

 (/usr/local/texlive/2016/texmf-dist/tex/latex/base/omscmr.fd
File: omscmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <10> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 237.
File: ../pic/rbtree.pdf Graphic file (type pdf)

<../pic/rbtree.pdf> (./midterm.bbl) [2] (./midterm.aux) ) 
Here is how much of TeX's memory you used:
 2621 strings out of 493693
 35150 string characters out of 6149787
 348144 words of memory out of 5000000
 6171 multiletter control sequences out of 15000+600000
 13613 words of font info for 54 fonts, out of 8000000 for 9000
 929 hyphenation exceptions out of 8191
 27i,7n,43p,246b,1003s stack positions out of 5000i,500n,10000p,200000b,80000s

Output written on midterm.dvi (2 pages, 15628 bytes).