Selaa lähdekoodia

agregado el putno 15 en LaTeX

Martu 10 vuotta sitten
vanhempi
commit
e59b26dc15
4 muutettua tiedostoa jossa 532 lisäystä ja 0 poistoa
  1. 14 0
      template/templateTP.aux
  2. 482 0
      template/templateTP.log
  3. BIN
      template/templateTP.pdf
  4. 36 0
      template/templateTP.tex

+ 14 - 0
template/templateTP.aux

@@ -0,0 +1,14 @@
+\relax 
+\catcode `"\active 
+\catcode `<\active 
+\catcode `>\active 
+\@nameuse{es@quoting}
+\select@language{spanish}
+\@writefile{toc}{\select@language{spanish}}
+\@writefile{lof}{\select@language{spanish}}
+\@writefile{lot}{\select@language{spanish}}
+\@writefile{toc}{\contentsline {section}{\numberline {1}Tipos}{1}}
+\@writefile{toc}{\contentsline {section}{\numberline {2}Atleta}{1}}
+\@writefile{toc}{\contentsline {section}{\numberline {3}Competencia}{1}}
+\@writefile{toc}{\contentsline {section}{\numberline {4}JJOO}{2}}
+\@writefile{toc}{\contentsline {section}{\numberline {5}Auxiliares}{5}}

+ 482 - 0
template/templateTP.log

@@ -0,0 +1,482 @@
+This is pdfTeX, Version 3.14159265-2.6-1.40.15 (TeX Live 2015/dev/Debian) (preloaded format=pdflatex 2016.9.3)  4 SEP 2016 19:22
+entering extended mode
+ restricted \write18 enabled.
+ %&-line parsing enabled.
+**templateTP.tex
+(./templateTP.tex
+LaTeX2e <2014/05/01>
+Babel <3.9l> and hyphenation patterns for 5 languages loaded.
+(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
+Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
+(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
+File: size10.clo 2014/09/29 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
+)
+(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty
+Package: babel 2014/09/25 3.9l The Babel package
+
+(/usr/share/texlive/texmf-dist/tex/generic/babel-spanish/spanish.ldf
+Language: spanish.ldf 2014/04/24 v5.0n Spanish support from the babel system
+
+(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def
+File: babel.def 2014/09/25 3.9l Babel common definitions
+\babel@savecnt=\count87
+\U@D=\dimen103
+)
+\es@quottoks=\toks14
+\es@quotdepth=\count88
+Package babel Info: Making " an active character on input line 516.
+Package babel Info: Making . an active character on input line 617.
+Package babel Info: Making < an active character on input line 662.
+Package babel Info: Making > an active character on input line 662.
+))
+(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
+Package: inputenc 2014/04/30 v1.2b Input encoding file
+\inpenc@prehook=\toks15
+\inpenc@posthook=\toks16
+
+(/usr/share/texlive/texmf-dist/tex/latex/base/latin1.def
+File: latin1.def 2014/04/30 v1.2b Input encoding file
+))
+(/usr/share/texlive/texmf-dist/tex/latex/framed/framed.sty
+Package: framed 2011/10/22 v 0.96: framed or shaded text with page breaks
+\OuterFrameSep=\skip43
+\fb@frw=\dimen104
+\fb@frh=\dimen105
+\FrameRule=\dimen106
+\FrameSep=\dimen107
+) (./Algo1Macros.tex
+(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
+Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC)
+)
+(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
+Package: amssymb 2013/01/14 v3.01 AMS font symbols
+
+(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
+Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
+\@emptytoks=\toks17
+\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 106.
+))
+(/usr/share/texlive/texmf-dist/tex/latex/tools/multicol.sty
+Package: multicol 2014/10/28 v1.8i multicolumn formatting (FMi)
+\c@tracingmulticols=\count89
+\mult@box=\box26
+\multicol@leftmargin=\dimen108
+\c@unbalance=\count90
+\c@collectmore=\count91
+\doublecol@number=\count92
+\multicoltolerance=\count93
+\multicolpretolerance=\count94
+\full@width=\dimen109
+\page@free=\dimen110
+\premulticols=\dimen111
+\postmulticols=\dimen112
+\multicolsep=\skip44
+\multicolbaselineskip=\skip45
+\partial@page=\box27
+\last@line=\box28
+\maxbalancingoverflow=\dimen113
+\mult@rightbox=\box29
+\mult@grightbox=\box30
+\mult@gfirstbox=\box31
+\mult@firstbox=\box32
+\@tempa=\box33
+\@tempa=\box34
+\@tempa=\box35
+\@tempa=\box36
+\@tempa=\box37
+\@tempa=\box38
+\@tempa=\box39
+\@tempa=\box40
+\@tempa=\box41
+\@tempa=\box42
+\@tempa=\box43
+\@tempa=\box44
+\@tempa=\box45
+\@tempa=\box46
+\@tempa=\box47
+\@tempa=\box48
+\@tempa=\box49
+\c@columnbadness=\count95
+\c@finalcolumnbadness=\count96
+\last@try=\dimen114
+\multicolovershoot=\dimen115
+\multicolundershoot=\dimen116
+\mult@nat@firstbox=\box50
+\colbreak@box=\box51
+\mc@col@check@num=\count97
+)
+(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
+Package: graphicx 2014/04/25 v1.0g Enhanced LaTeX Graphics (DPC,SPQR)
+
+(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
+Package: keyval 2014/05/08 v1.15 key=value parser (DPC)
+\KV@toks@=\toks18
+)
+(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
+Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
+
+(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
+Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
+)
+(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg
+File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
+)
+Package graphics Info: Driver file: pdftex.def on input line 91.
+
+(/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def
+File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX
+
+(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
+Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
+)
+(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
+Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
+)
+\Gread@gobject=\count98
+))
+\Gin@req@height=\dimen117
+\Gin@req@width=\dimen118
+)
+(/usr/share/texlive/texmf-dist/tex/latex/textpos/textpos.sty
+Package: textpos 2014/01/03 v1.7j
+
+Package: textpos 2014/01/03 1.7j, absolute positioning of text on the page
+(/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty
+Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS)
+)
+\TP@textbox=\box52
+\TP@holdbox=\box53
+\TPHorizModule=\dimen119
+\TPVertModule=\dimen120
+\TP@margin=\dimen121
+\TP@absmargin=\dimen122
+
+Grid set 16 x 16 = 37.34424pt x 52.81541pt
+\TPboxrulesize=\dimen123
+\TP@ox=\dimen124
+\TP@oy=\dimen125
+\TP@tbargs=\toks19
+\TP@prevdepth=\dimen126
+TextBlockOrigin set to 0pt x 0pt
+) (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
+Package: geometry 2010/09/12 v5.6 Page Geometry
+
+(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
+Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
+Package ifpdf Info: pdfTeX in PDF mode is detected.
+)
+(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty
+Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO)
+Package ifvtex Info: VTeX not detected.
+)
+(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
+Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
+)
+\Gm@cnth=\count99
+\Gm@cntv=\count100
+\c@Gm@tempcnt=\count101
+\Gm@bindingoffset=\dimen127
+\Gm@wd@mp=\dimen128
+\Gm@odd@mp=\dimen129
+\Gm@even@mp=\dimen130
+\Gm@layoutwidth=\dimen131
+\Gm@layoutheight=\dimen132
+\Gm@layouthoffset=\dimen133
+\Gm@layoutvoffset=\dimen134
+\Gm@dimlist=\toks20
+)
+(/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty
+Package: color 2014/04/23 v1.1a Standard LaTeX Color (DPC)
+
+(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg
+File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
+)
+Package color Info: Driver file: pdftex.def on input line 137.
+)
+\c@exercise=\count102
+\c@consigna=\count103
+)
+(./templateTP.aux)
+\openout1 = `templateTP.aux'.
+
+LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 17.
+LaTeX Font Info:    ... okay on input line 17.
+LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 17.
+LaTeX Font Info:    ... okay on input line 17.
+LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 17.
+LaTeX Font Info:    ... okay on input line 17.
+LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 17.
+LaTeX Font Info:    ... okay on input line 17.
+LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 17.
+LaTeX Font Info:    ... okay on input line 17.
+LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 17.
+LaTeX Font Info:    ... okay on input line 17.
+LaTeX Info: Redefining \. on input line 17.
+LaTeX Info: Redefining \% on input line 17.
+
+(/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii
+[Loading MPS to PDF converter (version 2006.09.02).]
+\scratchcounter=\count104
+\scratchdimen=\dimen135
+\scratchbox=\box54
+\nofMPsegments=\count105
+\nofMParguments=\count106
+\everyMPshowfont=\toks21
+\MPscratchCnt=\count107
+\MPscratchDim=\dimen136
+\MPnumerator=\count108
+\makeMPintoPDFobject=\count109
+\everyMPtoPDFconversion=\toks22
+) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
+Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO
+)
+
+(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifluatex.sty
+Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
+Package ifluatex Info: LuaTeX not detected.
+)
+Package pdftexcmds Info: LuaTeX not detected.
+Package pdftexcmds Info: \pdf@primitive is available.
+Package pdftexcmds Info: \pdf@ifprimitive is available.
+Package pdftexcmds Info: \pdfdraftmode found.
+)
+(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
+Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf
+
+(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
+Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO)
+
+(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty
+Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO)
+))
+(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
+Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
+
+(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
+Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO)
+
+(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty
+Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO)
+Package etexcmds Info: Could not find \expanded.
+(etexcmds)             That can mean that you are not using pdfTeX 1.50 or
+(etexcmds)             that some package has redefined \expanded.
+(etexcmds)             In the latter case, load this package earlier.
+)))
+Package grfext Info: Graphics extension search list:
+(grfext)             [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE
+G,.JBIG2,.JB2,.eps]
+(grfext)             \AppendGraphicsExtensions on input line 452.
+
+(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
+File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
+e
+))
+ABD: EveryShipout initializing macros
+*geometry* driver: auto-detecting
+*geometry* detected driver: pdftex
+*geometry* verbose mode - [ preamble ] result:
+* driver: pdftex
+* paper: a4paper
+* layout: <same size as paper>
+* layoutoffset:(h,v)=(0.0pt,0.0pt)
+* modes: 
+* h-part:(L,W,R)=(28.45274pt, 540.60239pt, 28.45274pt)
+* v-part:(T,H,B)=(28.45274pt, 759.6886pt, 56.9055pt)
+* \paperwidth=597.50787pt
+* \paperheight=845.04684pt
+* \textwidth=540.60239pt
+* \textheight=759.6886pt
+* \oddsidemargin=-43.81725pt
+* \evensidemargin=-43.81725pt
+* \topmargin=-80.81725pt
+* \headheight=12.0pt
+* \headsep=25.0pt
+* \topskip=10.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
+* \@twocolumnfalse
+* \@twosidefalse
+* \@mparswitchfalse
+* \@reversemarginfalse
+* (1in=72.27pt=25.4mm, 1cm=28.453pt)
+
+(./tipos/tipos.tex
+LaTeX Font Info:    Font shape `OT1/cmtt/bx/n' in size <10> not available
+(Font)              Font shape `OT1/cmtt/m/n' tried instead on input line 1.
+) (./tipos/atleta.tex
+LaTeX Font Info:    Try loading font information for OMS+cmr on input line 1.
+
+(/usr/share/texlive/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 1.
+LaTeX Font Info:    Try loading font information for U+msa on input line 4.
+
+(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
+File: umsa.fd 2013/01/14 v3.01 AMS symbols A
+)
+LaTeX Font Info:    Try loading font information for U+msb on input line 4.
+
+(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
+File: umsb.fd 2013/01/14 v3.01 AMS symbols B
+))
+(./tipos/competencia.tex [1
+
+{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]) (./tipos/jjoo.tex [2]) [3
+]
+Overfull \hbox (112.60155pt too wide) in paragraph at lines 170--170
+ []\OT1/cmtt/m/n/10 asegura $\OML/cmm/m/it/10 noGanaronMedallas \OT1/cmr/m/n/10
+ : (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x \OMS/cmsy/m/n/10   \OT1/cmr/m/n/10 [\O
+ML/cmm/m/it/10 noGanoMedallas\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 atl; comp\OT1/cm
+r/m/n/10 )\OMS/cmsy/m/n/10 j\OML/cmm/m/it/10 atl \OMS/cmsy/m/n/10   \OML/cmm/m/
+it/10 result; comp \OMS/cmsy/m/n/10   \OML/cmm/m/it/10 todasLasCompetencias\OT1
+/cmr/m/n/10 (\OML/cmm/m/it/10 j\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; finalizada\O
+T1/cmr/m/n/10 (\OML/cmm/m/it/10 comp\OT1/cmr/m/n/10 )])\OML/cmm/m/it/10 x\OT1/c
+mr/m/n/10 ;$\OT1/cmr/bx/n/10 ; 
+ []
+
+
+Overfull \hbox (136.28015pt too wide) in paragraph at lines 172--172
+ []\OT1/cmtt/m/n/10 asegura $\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 8\OML/cmm/m/it/1
+0 x \OMS/cmsy/m/n/10   \OML/cmm/m/it/10 result; y \OMS/cmsy/m/n/10   \OML/cmm/m
+/it/10 atletas\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 j\OT1/cmr/m/n/10 )\OML/cmm/m/it
+/10 ; nacionalidad\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 y\OT1/cmr/m/n/10 ) == \OML/
+cmm/m/it/10 p\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 competenciasEnLasQueParticipo\OT
+1/cmr/m/n/10 (\OML/cmm/m/it/10 j; x\OT1/cmr/m/n/10 ) \OML/cmm/m/it/10 >\OT1/cmr
+/m/n/10 = \OML/cmm/m/it/10 competenciasEnLasQueParticipo\OT1/cmr/m/n/10 (\OML/c
+mm/m/it/10 j; y\OT1/cmr/m/n/10 )$\OT1/cmr/bx/n/10 ; 
+ []
+
+
+Overfull \hbox (66.19606pt too wide) in paragraph at lines 174--174
+ []\OT1/cmtt/m/n/10 aux competenciasEnLasQueParticipo \OT1/cmr/m/n/10 (j: JJOO,
+ a:Atleta) : $\U/msb/m/n/10 Z$ \OT1/cmr/m/n/10 = $\OML/cmm/m/it/10 long\OT1/cmr
+/m/n/10 ([\OML/cmm/m/it/10 z\OMS/cmsy/m/n/10 j\OML/cmm/m/it/10 z \OMS/cmsy/m/n/
+10   \OML/cmm/m/it/10 todasLasCompetencias\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 j\O
+T1/cmr/m/n/10 )\OML/cmm/m/it/10 ; en\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 a; partic
+ipantes\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 z\OT1/cmr/m/n/10 ))])$\OT1/cmr/bx/n/10
+ ; 
+ []
+
+
+Overfull \hbox (0.29204pt too wide) in paragraph at lines 175--175
+ []\OT1/cmtt/m/n/10 aux noGanoMedallas \OT1/cmr/m/n/10 (atl: Atle-ta, comp: Com
+-pe-ten-cia) : Bool = $\OML/cmm/m/it/10 ciaNumber\OT1/cmr/m/n/10 (\OML/cmm/m/it
+/10 ranking\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 comp\OT1/cmr/m/n/10 )[0]) \OMS/cms
+y/m/n/10 6\OT1/cmr/m/n/10 = \OML/cmm/m/it/10 ciaNumber\OT1/cmr/m/n/10 (\OML/cmm
+/m/it/10 atl\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ^
+ []
+
+
+Overfull \hbox (4.11461pt too wide) in paragraph at lines 189--190
+ \OT1/cmtt/m/n/10 asegura $\OML/cmm/m/it/10 esElPeor \OT1/cmr/m/n/10 : \OML/cmm
+/m/it/10 existe\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 dep \OMS/cmsy/m/n/10   \OML/cm
+m/m/it/10 deportesEnLosQueGano\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 j; result\OT1/c
+mr/m/n/10 ))\OML/cmm/m/it/10 paraTodo\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 f \OMS/c
+msy/m/n/10   \OT1/cmr/m/n/10 [\OML/cmm/m/it/10 ranking\OT1/cmr/m/n/10 (\OML/cmm
+/m/it/10 comp\OT1/cmr/m/n/10 )[0]\OMS/cmsy/m/n/10 j\OML/cmm/m/it/10 comp \OMS/c
+msy/m/n/10  
+ []
+
+
+Overfull \hbox (92.09532pt too wide) in paragraph at lines 189--190
+ \OML/cmm/m/it/10 todasLasCompetencias\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 j\OT1/c
+mr/m/n/10 )\OML/cmm/m/it/10 ; finalizada\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 comp\
+OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ^ j\OML/cmm/m/it/10 ranking\OT1/cmr/m/n/10 (\
+OML/cmm/m/it/10 comp\OT1/cmr/m/n/10 )\OMS/cmsy/m/n/10 j \OML/cmm/m/it/10 > \OT1
+/cmr/m/n/10 0])\OML/cmm/m/it/10 capacidad\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 resu
+lt; dep\OT1/cmr/m/n/10 ) \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = \OML/cmm/m/it/10 c
+apacidad\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 f; prm\OT1/cmr/m/n/10 (\OML/cmm/m/it/
+10 categoria\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 comp\OT1/cmr/m/n/10 ))$\OT1/cmr/b
+x/n/10 ; 
+ []
+
+
+Overfull \hbox (136.8026pt too wide) in paragraph at lines 193--193
+ []\OT1/cmtt/m/n/10 aux deportesEnLosQueGanoOro \OT1/cmr/m/n/10 (j: JJOO, a: At
+le-ta) : [De-por-tes] = $[\OML/cmm/m/it/10 prm\OT1/cmr/m/n/10 (\OML/cmm/m/it/10
+ categoria\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 comp\OT1/cmr/m/n/10 ))\OMS/cmsy/m/n
+/10 j\OML/cmm/m/it/10 comp \OMS/cmsy/m/n/10   \OML/cmm/m/it/10 todasLasCompeten
+cias\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 j\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; fina
+lizada\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 comp\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 
+^
+ []
+
+[4]
+Overfull \hbox (34.03499pt too wide) in paragraph at lines 254--254
+ \OML/cmm/m/it/10 mismos\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 participantes\OT1/cmr
+/m/n/10 (\OML/cmm/m/it/10 cronograma\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 j; jornad
+aActual\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 j\OT1/cmr/m/n/10 ))[\OML/cmm/m/it/10 i
+\OT1/cmr/m/n/10 ])\OML/cmm/m/it/10 ; participantes\OT1/cmr/m/n/10 (\OML/cmm/m/i
+t/10 cronograma\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 pre\OT1/cmr/m/n/10 (\OML/cmm/m
+/it/10 j\OT1/cmr/m/n/10 )\OML/cmm/m/it/10 ; jornadaActual\OT1/cmr/m/n/10 (\OML/
+cmm/m/it/10 j\OT1/cmr/m/n/10 ))[\OML/cmm/m/it/10 i\OT1/cmr/m/n/10 ]))$\OT1/cmr/
+bx/n/10 ; 
+ []
+
+
+Overfull \hbox (33.25468pt too wide) in paragraph at lines 266--266
+ \OMS/cmsy/m/n/10 j\OML/cmm/m/it/10 listaDoping\OT1/cmr/m/n/10 (\OML/cmm/m/it/1
+0 c; atletas\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 c\OT1/cmr/m/n/10 ))\OMS/cmsy/m/n/
+10 j ^^C \OT1/cmr/m/n/10 20 \OMS/cmsy/m/n/10 ^^T []\OT1/cmr/m/n/10 ([\OMS/cmsy/
+m/n/10 j\OML/cmm/m/it/10 lesTocoControlAntiDoping\OT1/cmr/m/n/10 (\OML/cmm/m/it
+/10 comp\OT1/cmr/m/n/10 )\OMS/cmsy/m/n/10 jj\OML/cmm/m/it/10 comp \OMS/cmsy/m/n
+/10   \OML/cmm/m/it/10 cronograma\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 j; jornadaAc
+tual\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 j\OT1/cmr/m/n/10 ))])$\OT1/cmr/bx/n/10 ; 
+
+ []
+
+(./auxiliaresTipos.tex) [5] (./templateTP.aux
+LaTeX Info: Redefining \. on input line 6.
+LaTeX Info: Redefining \% on input line 6.
+) ) 
+Here is how much of TeX's memory you used:
+ 3624 strings out of 494958
+ 49091 string characters out of 6179387
+ 127894 words of memory out of 5000000
+ 6769 multiletter control sequences out of 15000+600000
+ 7923 words of font info for 31 fonts, out of 8000000 for 9000
+ 40 hyphenation exceptions out of 8191
+ 38i,8n,30p,294b,384s stack positions out of 5000i,500n,10000p,200000b,80000s
+</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></u
+sr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/sha
+re/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/tex
+live/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/t
+exmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/texlive/texmf-di
+st/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/font
+s/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1
+/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
+/amsfonts/cm/cmr7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfont
+s/cm/cmss10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/c
+msy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.p
+fb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></u
+sr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
+Output written on templateTP.pdf (5 pages, 161930 bytes).
+PDF statistics:
+ 76 PDF objects out of 1000 (max. 8388607)
+ 54 compressed objects within 1 object stream
+ 0 named destinations out of 1000 (max. 500000)
+ 1 words of extra memory for PDF output out of 10000 (max. 10000000)
+

BIN
template/templateTP.pdf


+ 36 - 0
template/templateTP.tex

@@ -233,6 +233,42 @@
 \end{problema}
 
 \begin{problema}{transcurrirDia}{j: JJOO}{}
+	%//Modificar:
+	%// * Resultados (AKA Ranking) de la competencias ( dados por capacidades )
+	%// * Realizar antidoping a un atleta de cada competencia (al azar)
+	%// * El control antidoping le da positivo a lo sumo a 5% de los controles
+	%\requiere{cantDias(j) > 1}
+	%\requiere{jornadaActual(j) < cantDias(j)}
+	\modifica{j}
+	\asegura{cantDias(j) == cantDias(pre(j))}
+	\asegura{jornadaActual(j) == jornadaActual(pre(j))+1}
+	\asegura{a\tilde{n}o (j) == a\tilde{n}o(pre(j))}
+	\asegura{mismos(atletas(j),atletas(pre(j)))}
+	\asegura{(\forall dia \leftarrow [1..jornadaActual(j))-1])\newline mismos(cronograma(j,dia), cronograma(pre(j),dia))}
+	\asegura{|cronograma(j,jornadaActual(j))|==|cronograma(pre(j),jornadaActual(j))|}
+
+	%Cambian las competencias de jornadaActual
+	\asegura{(\forall i \leftarrow [0, |cronograma(j, jornadaActual(j))|-1])\newline
+		categoria(cronograma(j,jornadaActual(j))[i]) == categoria(cronograma(pre(j),jornadaActual(j))[i])}
+	\asegura{(\forall i \leftarrow [0, |cronograma(j, jornadaActual(j))| -1])\newline
+		mismos(participantes(cronograma(j,jornadaActual(j))[i]),participantes(cronograma(pre(j),jornadaActual(j))[i]))}
+
+	%Esta no compila
+	\asegura{(\forall c \leftarrow cronograma(j, jornadaActual(j)))\newline
+		finalizada(c) == True \wedge incluida(ranking(c), participantes(c))\newline
+		\wedge (\forall x \leftarrow [0..|ranking(c)|-2]) capacidadEnOrden(x,c)}
+
+	\asegura{asegura (\forall c \leftarrow cronograma(j, jornadaActual(j)))\newline
+		(|lesTocoControlAntiDoping(c)|==1 \wedge lesTocoControlAntiDoping(c)[0] \in atletas(c))\newline
+		\vee (|lesTocoControlAntiDoping(c)|==0 \wedge |atletas(c)| == 0)}
+
+	\asegura{(\forall c \leftarrow cronograma(j, jornadaActual(j)))\newline
+		|listaDoping(c,atletas(c))|*20 \leq \sum([|lesTocoControlAntiDoping(comp)| | comp \leftarrow cronograma(j,jornadaActual(j))])}
+
+	\aux{capacidadEnOrden}{x: \ent, c:Competencia}{Bool}{\newline
+	capacidad(ranking(c)[x], prm(categoria(c))) \geq capacidad(ranking(c)[x + 1], prm(categoria(c)))}
+
+	\aux{listaDoping}{c:Competencia, a:[Atleta]}{[Atleta]}{[x|x \leftarrow a, leDioPositivo(c, x)]}
 \end{problema}
 
 \section{Auxiliares}