This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=pdflatex 2011.11.21) 25 DEC 2012 09:55 entering extended mode %&-line parsing enabled. **sample (./sample.tex LaTeX2e <2005/12/01> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, loaded. (./sig-alternate.cls (/usr/share/texmf-texlive/tex/latex/graphics/epsfig.sty Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (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 2006/02/20 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 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: pdftex.def on input line 90. (/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def File: pdftex.def 2007/01/08 v0.04d Graphics/color for pdfTeX \Gread@gobject=\count79 )) \Gin@req@height=\dimen102 \Gin@req@width=\dimen103 ) \epsfxsize=\dimen104 \epsfysize=\dimen105 ) (/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \@emptytoks=\toks15 \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. )) (/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip41 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=\toks16 \ex@=\dimen106 )) (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen107 ) (/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count80 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count81 \leftroot@=\count82 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count83 \DOTSCASE@=\count84 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=\dimen108 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count85 \c@MaxMatrixCols=\count86 \dotsspace@=\muskip10 \c@parentequation=\count87 \dspbrk@lvl=\count88 \tag@help=\toks17 \row@=\count89 \column@=\count90 \maxfields@=\count91 \andhelp@=\toks18 \eqnshift@=\dimen109 \alignsep@=\dimen110 \tagshift@=\dimen111 \tagwidth@=\dimen112 \totwidth@=\dimen113 \lineht@=\dimen114 \@envbody=\toks19 \multlinegap=\skip42 \multlinetaggap=\skip43 \mathdisplay@stack=\toks20 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) Document Class 'sig-alternate' <23rd. May '12>. Modified by G.K.M. Tobin/Gerry Murray Based in part upon document Style `acmconf' <22 May 89>. Hacked 4/91 by shivers@cs.cmu.edu, 4/93 by theobald@cs.mcgill.ca Excerpts were taken from (Journal Style) 'esub2acm.cls'. ****** Bugs/comments/suggestions/technicalities to Gerry Murray -- murray@hq.ac m.org ****** Questions on the style, SIGS policies, etc. to Adrienne Griscti griscti@acm.org \footheight=\dimen115 \@maxsep=\dimen116 \@dblmaxsep=\dimen117 \aucount=\count92 \originalaucount=\count93 \auwidth=\dimen118 \auskip=\dimen119 \auskipcount=\count94 \auskip=\dimen120 \allauboxes=\dimen121 \addauthors=\toks21 \addauflag=\count95 \subtitletext=\toks22 \savesection=\count96 \sectioncntr=\count97 \c@figure=\count98 \c@table=\count99 \titleboxnotes=\toks23 \titleboxnoteflag=\count100 Document Class: sig-alternate 2012/05/23 - V2.5 - based on acmproc.cls V1.3 (/usr/share/texmf-texlive/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup6 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 47. ) \@acmtitlebox=\box28 \titlenotecount=\count101 \tntoks=\toks24 \tntokstwo=\toks25 \tntoksthree=\toks26 \tntoksfour=\toks27 \tntoksfive=\toks28 \catcount=\count102 \copyrightnotice=\toks29 \conf=\toks30 \confinfo=\toks31 \c@part=\count103 \c@section=\count104 \c@subsection=\count105 \c@subsubsection=\count106 \c@paragraph=\count107 Using 'Abbrev' bibliography style LaTeX Info: Redefining \cite on input line 1211. \bibindent=\dimen122 \colcntr=\count108 \saveb@x=\box29 \copyrtyr=\toks32 \acmcopyr=\toks33 \boilerplate=\toks34 \copyrightetc=\toks35 (/usr/share/texmf-texlive/tex/latex/base/fontenc.sty Package: fontenc 2005/09/27 v1.99g Standard LaTeX package (/usr/share/texmf-texlive/tex/latex/base/t1enc.def File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file LaTeX Font Info: Redeclaring font encoding T1 on input line 43. ) LaTeX Font Info: Try loading font information for T1+aer on input line 100. (/usr/share/texmf-texlive/tex/latex/ae/t1aer.fd File: t1aer.fd 1997/11/16 Font definitions for T1/aer. ))) (/usr/share/texmf-texlive/tex/latex/psnfss/times.sty Package: times 2005/04/12 PSNFSS-v9.2a (SPQR) ) (/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty \Urlmuskip=\muskip11 Package: url 2005/06/27 ver 3.2 Verb mode for urls, etc. ) (/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: pdftex.def on input line 130. ) (/usr/share/texmf-texlive/tex/latex/tools/xspace.sty Package: xspace 2006/05/08 v1.12 Space after command names (DPC,MH) ) (/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty Package: hyperref 2007/02/07 v6.75r Hypertext links for LaTeX \@linkdim=\dimen123 \Hy@linkcounter=\count109 \Hy@pagecounter=\count110 (/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2007/02/07 v6.75r Hyperref: PDFDocEncoding definition (HO) ) (/etc/texmf/tex/latex/config/hyperref.cfg File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive ) (/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty Package: kvoptions 2006/08/22 v2.4 Connects package keyval with LaTeX options ( HO) ) Package hyperref Info: Hyper figures OFF on input line 2288. Package hyperref Info: Link nesting OFF on input line 2293. Package hyperref Info: Hyper index ON on input line 2296. Package hyperref Info: Plain pages OFF on input line 2303. Package hyperref Info: Backreferencing OFF on input line 2308. Implicit mode ON; LaTeX internals redefined Package hyperref Info: Bookmarks ON on input line 2444. LaTeX Info: Redefining \url on input line 2599. \Fld@menulength=\count111 \Field@Width=\dimen124 \Fld@charsize=\dimen125 \Choice@toks=\toks36 \Field@toks=\toks37 Package hyperref Info: Hyper figures OFF on input line 3102. Package hyperref Info: Link nesting OFF on input line 3107. Package hyperref Info: Hyper index ON on input line 3110. Package hyperref Info: backreferencing OFF on input line 3117. Package hyperref Info: Link coloring OFF on input line 3122. Package hyperref Warning: Option `pdfpagelabels' is turned off (hyperref) because \thepage is undefined. \c@Item=\count112 \c@Hfootnote=\count113 ) *hyperref using driver hpdftex* (/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def File: hpdftex.def 2007/02/07 v6.75r Hyperref driver for pdfTeX \Fld@listcount=\count114 ) Package hyperref Info: Option `bookmarksnumbered' set `true' on input line 20. Package hyperref Info: Option `colorlinks' set `true' on input line 20. Package hyperref Info: Option `breaklinks' set `true' on input line 20. (./sample.aux) \openout1 = `sample.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 41. LaTeX Font Info: ... okay on input line 41. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 41. LaTeX Font Info: ... okay on input line 41. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 41. LaTeX Font Info: ... okay on input line 41. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 41. LaTeX Font Info: ... okay on input line 41. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 41. LaTeX Font Info: ... okay on input line 41. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 41. LaTeX Font Info: ... okay on input line 41. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 41. LaTeX Font Info: ... okay on input line 41. LaTeX Font Info: Try loading font information for T1+ptm on input line 41. (/usr/share/texmf-texlive/tex/latex/psnfss/t1ptm.fd File: t1ptm.fd 2001/06/04 font definitions for T1/ptm. ) (/usr/share/texmf/tex/context/base/supp-pdf.tex [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count115 \scratchdimen=\dimen126 \scratchbox=\box30 \nofMPsegments=\count116 \nofMParguments=\count117 \everyMPshowfont=\toks38 \MPscratchCnt=\count118 \MPscratchDim=\dimen127 \MPnumerator=\count119 \everyMPtoPDFconversion=\toks39 ) Package hyperref Info: Link coloring ON on input line 41. (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty Package: nameref 2006/12/27 v2.28 Cross-referencing by name of section (/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty Package: refcount 2006/02/20 v3.0 Data extraction from references (HO) ) \c@section@level=\count120 ) LaTeX Info: Redefining \ref on input line 41. LaTeX Info: Redefining \pageref on input line 41. (./sample.out) (./sample.out) \@outlinefile=\write3 \openout3 = `sample.out'. LaTeX Font Info: Try loading font information for U+msa on input line 71. (/usr/share/texmf-texlive/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 71. (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for U+lasy on input line 71. (/usr/share/texmf-texlive/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions ) (./definitions2.tex LaTeX Font Info: Font shape `T1/ptm/bx/n' in size <9> not available (Font) Font shape `T1/ptm/b/n' tried instead on input line 16. [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} Non-PDF special ignored! ] Overfull \hbox (8.43362pt too wide) in paragraph at lines 79--93 []\T1/ptm/m/n/9 teaching (tra-di-tional, on-line and mas-sively open on-line) c ourses [] LaTeX Font Info: Try loading font information for T1+pcr on input line 316. (/usr/share/texmf-texlive/tex/latex/psnfss/t1pcr.fd File: t1pcr.fd 2001/06/04 font definitions for T1/pcr. ) Overfull \hbox (2.99973pt too wide) in paragraph at lines 326--326 []\T1/pcr/m/n/9 ProvideAction = "I" "[" int "]".[] [] Overfull \hbox (6.22282pt too wide) in paragraph at lines 365--370 []\T1/ptm/m/n/9 an in-stance set pred-i-cate $\OML/cmm/m/it/9 isp\OT1/cmr/m/n/9 (\OML/cmm/m/it/9 i \OT1/cmr/m/n/9 : \OML/cmm/m/it/9 d:Instance\OT1/cmr/m/n/9 ) : \OML/cmm/m/it/9 Boolean$ [] [2] LaTeX Font Info: Try loading font information for T1+phv on input line 375. (/usr/share/texmf-texlive/tex/latex/psnfss/t1phv.fd File: t1phv.fd 2001/06/04 scalable font definitions for T1/phv. ) Overfull \hbox (7.73164pt too wide) in paragraph at lines 370--379 []\T1/ptm/m/n/9 a refu-ta-tion pred-i-cate $\OML/cmm/m/it/9 p\OT1/cmr/m/n/9 (\O ML/cmm/m/it/9 I$ $\OT1/cmr/m/n/9 :$ $\OML/cmm/m/it/9 d:Instance\OT1/cmr/m/n/9 [ ]\OML/cmm/m/it/9 ;$ $S \OT1/cmr/m/n/9 :$ $\OML/cmm/m/it/9 d:Solution$ [] Overfull \hbox (1.24568pt too wide) in paragraph at lines 501--502 \T1/ptm/m/n/9 pro-vide a stronger claim $\OML/cmm/m/it/9 c[]$\T1/ptm/m/n/9 . Th is de-ci-sion is de-noted \T1/ptm/m/it/9 strength- [] File: for-paper2.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 592--593 [] [] [3 <./for-paper2.jpg>] File: SCGStructure.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 704--705 [] [] [4 <./SCGStructure.jpg>] Overfull \hbox (7.62395pt too wide) in paragraph at lines 927--940 []\T1/ptm/m/n/9 Using the model of Tri-adic Game De-sign [[][]11[][]] by Casper Harteveld, [] Overfull \hbox (1.6567pt too wide) in paragraph at lines 950--957 \T1/ptm/b/n/9 Ex-ploratory \T1/ptm/m/n/9 ac-tions are: (1) propos-ing a claim w hich means choos- [] [5] File: SCG-CSP.jpg Graphic file (type jpg) Overfull \hbox (1.84842pt too wide) in paragraph at lines 1258--1259 [] [] Overfull \hbox (6.27377pt too wide) in paragraph at lines 1284--1289 []\T1/ptm/m/n/9 The con-straints for sound-ness we give sep-a-rately for oB-sou ndness [] Overfull \hbox (2.34087pt too wide) in paragraph at lines 1340--1356 []\T1/ptm/m/n/9 The most suc-cess-ful course (us-ing [[][]15[][]] as text-book) was in Spring [] Overfull \hbox (2.92651pt too wide) in paragraph at lines 1391--1391 []\secfnt Crowd Sourc-ing and Hu-man Com-pu-ta-tion [] [6 <./SCG-CSP.jpg>] Overfull \hbox (11.55719pt too wide) in paragraph at lines 1429--1435 []\T1/ptm/m/n/9 Logical Games [[][]22[][]], [[][]12[][]] have a long his-tory g o-ing back to Socrates. [] Overfull \hbox (2.05243pt too wide) in paragraph at lines 1452--1463 \T1/ptm/m/n/9 re-quires care-ful and time-consuming bal-anc-ing. [[][]13[][]] d e-scribes tech- [] Overfull \hbox (12.4194pt too wide) in paragraph at lines 1466--1472 \T1/ptm/m/n/9 http://www.coaste.org/. A socio-technical ecosys-tem sup-ports st raight- [] Overfull \hbox (1.21544pt too wide) in paragraph at lines 1568--1572 \T1/ptm/m/n/9 en-tific Method into the cy-ber-in-fras-truc-ture and make it wid ely avail- [] [7]) (./sample.bbl) [8] (./sample.aux) ) Here is how much of TeX's memory you used: 4400 strings out of 95086 57627 string characters out of 1183254 115159 words of memory out of 1500000 7378 multiletter control sequences out of 10000+50000 53494 words of font info for 64 fonts, out of 1200000 for 2000 28 hyphenation exceptions out of 8191 39i,11n,39p,461b,450s stack positions out of 5000i,500n,6000p,200000b,5000s {/usr/share/texmf-texlive/fonts/enc/dvi ps/base/8r.enc}< /usr/share/texmf-texlive/fonts/type1/urw/times/utmr8a.pfb> Output written on sample.pdf (8 pages, 390794 bytes). PDF statistics: 446 PDF objects out of 1000 (max. 8388607) 112 named destinations out of 1000 (max. 131072) 416 words of extra memory for PDF output out of 10000 (max. 10000000)