This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=latex 2011.5.7)  14 AUG 2013 19:09
entering extended mode
 Source specials enabled.
 %&-line parsing enabled.
**prob.tex
(./prob.tex
LaTeX2e <2009/09/24>
Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, loaded.
(/usr/share/texmf-texlive/tex/latex/base/article.cls
Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
(/usr/share/texmf-texlive/tex/latex/base/size10.clo
File: size10.clo 2007/10/19 v1.4h 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
) (./amath.sty (./prova.sty
\pfindent=\skip43
\pftopsep=\skip44
\pfbotsep=\skip45
\pfsep=\skip46
\stepsep=\skip47
\pfbox=\box26
\c@pfhidelevel=\count87
\pfshortNumberLevel=\count88
\c@pf@sidenumberdepth=\count89
\pf@sidenumberoutdent=\skip48
\pfLevelCount=\count90
\pfStepCount=\count91
\pf@outdent=\skip49
\c@pf@conjCounter=\count92
\c@pfenum=\count93
\c@pfenumdepth=\count94
\enumindent=\skip50
\c@pfenumi=\count95
\c@pfenumii=\count96
\c@pfenumiii=\count97
) (/usr/share/texmf-texlive/tex/latex/graphics/color.sty
Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC)

(/etc/texmf/tex/latex/config/color.cfg
File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
)
Package color Info: Driver file: dvips.def on input line 130.

(/usr/share/texmf-texlive/tex/latex/graphics/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
)
(/usr/share/texmf-texlive/tex/latex/graphics/dvipsnam.def
File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
(/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks14
)
(/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty
Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)

(/usr/share/texmf-texlive/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/etc/texmf/tex/latex/config/graphics.cfg
File: graphics.cfg 2009/08/28 v1.8 graphics configuration of TeX Live
)
Package graphics Info: Driver file: dvips.def on input line 91.
)
\Gin@req@height=\dimen103
\Gin@req@width=\dimen104
)
(/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip51

For additional information on amsmath, use the `?' option.
(/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01

(/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks15
\ex@=\dimen105
))
(/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen106
)
(/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count98
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count99
\leftroot@=\count100
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count101
\DOTSCASE@=\count102
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@=\box27
\strutbox@=\box28
\big@size=\dimen107
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
\macc@depth=\count103
\c@MaxMatrixCols=\count104
\dotsspace@=\muskip10
\c@parentequation=\count105
\dspbrk@lvl=\count106
\tag@help=\toks16
\row@=\count107
\column@=\count108
\maxfields@=\count109
\andhelp@=\toks17
\eqnshift@=\dimen108
\alignsep@=\dimen109
\tagshift@=\dimen110
\tagwidth@=\dimen111
\totwidth@=\dimen112
\lineht@=\dimen113
\@envbody=\toks18
\multlinegap=\skip52
\multlinetaggap=\skip53
\mathdisplay@stack=\toks19
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
(/usr/share/texmf-texlive/tex/latex/amscls/amsthm.sty
Package: amsthm 2004/08/06 v2.20
\thm@style=\toks20
\thm@bodyfont=\toks21
\thm@headfont=\toks22
\thm@notefont=\toks23
\thm@headpunct=\toks24
\thm@preskip=\skip54
\thm@postskip=\skip55
\thm@headsep=\skip56
\dth@everypar=\toks25
LaTeX Info: Redefining \qed on input line 283.
)
(/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2009/06/22 v3.00

(/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support
\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 96.
))
(/usr/share/texmf-texlive/tex/latex/jknapltx/mathrsfs.sty
Package: mathrsfs 1996/01/01 Math RSFS package v1.0 (jk)
\symrsfs=\mathgroup6
)
(/usr/share/texmf-texlive/tex/generic/xypic/xypic.sty
(/usr/share/texmf-texlive/tex/generic/xypic/xy.sty
(/usr/share/texmf-texlive/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes,
docmode, (/usr/share/texmf-texlive/tex/generic/xypic/xyrecat.tex)
(/usr/share/texmf-texlive/tex/generic/xypic/xyidioms.tex)

 Xy-pic version 3.7 <1999/02/16>
 Copyright (c) 1991-1998 by Kristoffer H. Rose <krisrose@ens-lyon.fr>
 Xy-pic is free software: see the User's Guide for details.

Loading kernel: messages; fonts; allocations: state,
\X@c=\dimen114
\Y@c=\dimen115
\U@c=\dimen116
\D@c=\dimen117
\L@c=\dimen118
\R@c=\dimen119
\Edge@c=\toks26
\X@p=\dimen120
\Y@p=\dimen121
\U@p=\dimen122
\D@p=\dimen123
\L@p=\dimen124
\R@p=\dimen125
\Edge@p=\toks27
\X@origin=\dimen126
\Y@origin=\dimen127
\X@xbase=\dimen128
\Y@xbase=\dimen129
\X@ybase=\dimen130
\Y@ybase=\dimen131
\X@min=\dimen132
\Y@min=\dimen133
\X@max=\dimen134
\Y@max=\dimen135
\lastobjectbox@=\box29
\zerodotbox@=\box30
\almostz@=\dimen136
 direction,
\d@X=\dimen137
\d@Y=\dimen138
\K@=\count110
\KK@=\count111
\Direction=\count112
\K@dXdY=\dimen139
\K@dYdX=\dimen140
\xyread@=\read1
\xywrite@=\write3
\csp@=\count113
\quotPTK@=\dimen141

utility macros; pictures: \xy, positions,
\swaptoks@@=\toks28
\connectobjectbox@@=\box31
 objects,
\styletoks@=\toks29
 decorations;
kernel objects: directionals, circles, text; options; algorithms: directions,
edges, connections;  Xy-pic loaded)

LaTeX Warning: You have requested package `xypic',
               but the package provides `xy'.

Package: xy 1999/02/16 Xy-pic version 3.7
) (/usr/share/texmf-texlive/tex/generic/xypic/xyv2.tex
 Xy-pic option: Version 2 Compatibility v.3.4

Xy-pic Warning: `\stop' redefined.

(/usr/share/texmf-texlive/tex/generic/xypic/xyframe.tex
 Xy-pic option: Frame and Bracket extension v.3.7 loaded)
(/usr/share/texmf-texlive/tex/generic/xypic/xymatrix.tex
 Xy-pic option: Matrix feature v.3.4
\Row=\count114
\Col=\count115
\queue@=\toks30
\queue@@=\toks31
\qcount@=\count116
\qcount@@=\count117
\matrixsize@=\count118
 loaded)
(/usr/share/texmf-texlive/tex/generic/xypic/xyarrow.tex
 Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) loaded))
(/usr/share/texmf-texlive/tex/latex/pstricks/pst-node.sty
(/usr/share/texmf-texlive/tex/latex/pstricks/pstricks.sty
Package: pstricks 2008/11/26 v0.40 LaTeX wrapper for `PSTricks' (RN,HV)

(/usr/share/texmf-texlive/tex/generic/pstricks/pstricks.tex
`PSTricks' v1.29  <2009/05/19> (tvz)
\pst@dima=\dimen142
\pst@dimb=\dimen143
\pst@dimc=\dimen144
\pst@dimd=\dimen145
\pst@dimg=\dimen146
\pst@dimh=\dimen147
\pst@hbox=\box32
\pst@boxg=\box33
\pst@cnta=\count119
\pst@cntb=\count120
\pst@cntc=\count121
\pst@cntd=\count122
\pst@cntg=\count123
\pst@cnth=\count124
\pst@toks=\toks32
(/usr/share/texmf-texlive/tex/generic/pstricks/pstricks.con)
\psunit=\dimen148
\psxunit=\dimen149
\psyunit=\dimen150
\pslinewidth=\dimen151
\pst@customdefs=\toks33
\pslinearc=\dimen152
\everypsbox=\toks34
\psframesep=\dimen153
\pslabelsep=\dimen154
\pst@shift=\dimen155
\theoverlaybox=\box34
)
File: pstricks.tex 2009/05/19 v1.29 `PSTricks' (tvz,hv)

(/usr/share/texmf/tex/latex/xcolor/xcolor.sty
Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK)

(/etc/texmf/tex/latex/config/color.cfg
File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
)
Package xcolor Info: Driver file: dvips.def on input line 225.
LaTeX Info: Redefining \color on input line 702.
Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337.
Package xcolor Info: Model `RGB' extended on input line 1353.
Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355.
Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356.
Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357.
Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358.
Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359.
Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360.
))
Package: pst-node 2006/01/01 package wrapper for pst-node.tex

(/usr/share/texmf-texlive/tex/generic/pstricks/pst-node.tex  v1.01, 2008/11/26
\psrow=\count125
\pscol=\count126
\psmatrixcnt=\count127
\psrowsep=\skip57
\pscolsep=\skip58
)
File: pst-node.tex 2008/11/26 1.01 `pst-node' (tvz)
) (/usr/share/texmf-texlive/tex/latex/tools/verbatim.sty
Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements
\every@verbatim=\toks35
\verbatim@line=\toks36
\verbatim@in@stream=\read2
)
(/usr/share/texmf-texlive/tex/latex/geometry/geometry.sty
Package: geometry 2008/12/21 v4.2 Page Geometry

(/usr/share/texmf-texlive/tex/generic/oberdiek/ifpdf.sty
Package: ifpdf 2009/04/10 v2.0 Provides the ifpdf switch (HO)
Package ifpdf Info: pdfTeX in pdf mode not detected.
)
(/usr/share/texmf-texlive/tex/generic/oberdiek/ifvtex.sty
Package: ifvtex 2008/11/04 v1.4 Switches for detecting VTeX and its modes (HO)
Package ifvtex Info: VTeX not detected.
)
\Gm@cnth=\count128
\Gm@cntv=\count129
\c@Gm@tempcnt=\count130
\Gm@bindingoffset=\dimen156
\Gm@wd@mp=\dimen157
\Gm@odd@mp=\dimen158
\Gm@even@mp=\dimen159
\Gm@dimlist=\toks37
)
(/usr/share/texmf-texlive/tex/latex/base/makeidx.sty
Package: makeidx 2000/03/29 v1.0m Standard LaTeX package
)
\@indexfile=\write4
\openout4 = `prob.idx'.


Writing index file prob.idx
\c@thm=\count131
\c@ax=\count132
\c@domanda=\count133
\c@question=\count134
\c@paradox=\count135
\c@statm=\count136
\c@oss=\count137
\c@numberedproof=\count138
\c@algo=\count139
\c@data=\count140
\c@rem=\count141
) (./prob.aux)
\openout1 = `prob.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 40.
LaTeX Font Info:    ... okay on input line 40.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 40.
LaTeX Font Info:    ... okay on input line 40.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 40.
LaTeX Font Info:    ... okay on input line 40.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 40.
LaTeX Font Info:    ... okay on input line 40.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 40.
LaTeX Font Info:    ... okay on input line 40.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 40.
LaTeX Font Info:    ... okay on input line 40.

*geometry detected driver: dvips*
-------------------- Geometry parameters
paper: a4paper
landscape: --
twocolumn: --
twoside: --
asymmetric: --
h-parts: 89.62709pt, 0.7\paperwidth , 89.6271pt (default)
v-parts: 101.40665pt, 0.7\paperheight , 152.11pt (default)
hmarginratio: 1:1
vmarginratio: 2:3
lines: --
heightrounded: --
bindingoffset: 0.0pt
truedimen: --
includehead: --
includefoot: --
includemp: --
driver: dvips
-------------------- Page layout dimensions and switches
\paperwidth  597.50787pt
\paperheight 845.04684pt
\textwidth  418.25368pt
\textheight 591.5302pt
\oddsidemargin  17.3571pt
\evensidemargin 17.3571pt
\topmargin  -7.86334pt
\headheight 12.0pt
\headsep    25.0pt
\footskip   30.0pt
\marginparwidth 57.0pt
\marginparsep   11.0pt
\columnsep  10.0pt
\skip\footins  9.0pt plus 4.0pt minus 2.0pt
\hoffset 0.0pt
\voffset 0.0pt
\mag 1000

(1in=72.27pt, 1cm=28.45pt)
-----------------------
LaTeX Font Info:    Try loading font information for U+msa on input line 46.
(/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2009/06/22 v3.00 AMS symbols A
)
LaTeX Font Info:    Try loading font information for U+msb on input line 46.

(/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2009/06/22 v3.00 AMS symbols B
)
LaTeX Font Info:    Try loading font information for U+rsfs on input line 46.

(/usr/share/texmf-texlive/tex/latex/jknapltx/ursfs.fd
File: ursfs.fd 1998/03/24 rsfs font definition file (jk)
) [1

] (./prob.toc)
\tf@toc=\write5
\openout5 = `prob.toc'.


[2

]
No file prob.ind.
[1

] (./prob.aux) ) 
Here is how much of TeX's memory you used:
 5936 strings out of 495062
 66274 string characters out of 1182645
 168998 words of memory out of 3000000
 9026 multiletter control sequences out of 15000+50000
 13392 words of font info for 56 fonts, out of 3000000 for 9000
 28 hyphenation exceptions out of 8191
 44i,9n,41p,354b,211s stack positions out of 5000i,500n,10000p,200000b,50000s

Output written on prob.dvi (3 pages, 4904 bytes).