Ignore:
Timestamp:
Mar 7, 2012, 5:10:31 PM (13 years ago)
Author:
cecile
Message:

Decomposition de papier en fichier

File:
1 edited

Legend:

Unmodified
Added
Removed

  • papers/FDL2012/FDL2012.log

    r49 r52  
    1 This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2011) (format=pdflatex 2012.2.19)  5 MAR 2012 17:30
     1This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2011) (format=pdflatex 2012.2.19)  7 MAR 2012 16:44
    22entering extended mode
    33 restricted \write18 enabled.
    … …  
    10751075\openout1 = `FDL2012.aux'.
    10761076
    1077 LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 38.
    1078 LaTeX Font Info:    ... okay on input line 38.
    1079 LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 38.
    1080 LaTeX Font Info:    ... okay on input line 38.
    1081 LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 38.
    1082 LaTeX Font Info:    ... okay on input line 38.
    1083 LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 38.
    1084 LaTeX Font Info:    ... okay on input line 38.
    1085 LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 38.
    1086 LaTeX Font Info:    ... okay on input line 38.
    1087 LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 38.
    1088 LaTeX Font Info:    ... okay on input line 38.
    1089 LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 38.
    1090 LaTeX Font Info:    Try loading font information for TS1+cmr on input line 38.
     1077LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 40.
     1078LaTeX Font Info:    ... okay on input line 40.
     1079LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 40.
     1080LaTeX Font Info:    ... okay on input line 40.
     1081LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 40.
     1082LaTeX Font Info:    ... okay on input line 40.
     1083LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 40.
     1084LaTeX Font Info:    ... okay on input line 40.
     1085LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 40.
     1086LaTeX Font Info:    ... okay on input line 40.
     1087LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 40.
     1088LaTeX Font Info:    ... okay on input line 40.
     1089LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 40.
     1090LaTeX Font Info:    Try loading font information for TS1+cmr on input line 40.
    10911091 (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd
    10921092File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
    10931093)
    1094 LaTeX Font Info:    ... okay on input line 38.
    1095 LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 38.
    1096 LaTeX Font Info:    ... okay on input line 38.
    1097 LaTeX Font Info:    Try loading font information for T1+lmr on input line 38.
     1094LaTeX Font Info:    ... okay on input line 40.
     1095LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 40.
     1096LaTeX Font Info:    ... okay on input line 40.
     1097LaTeX Font Info:    Try loading font information for T1+lmr on input line 40.
    10981098
    10991099(/usr/share/texlive/texmf-dist/tex/latex/lm/t1lmr.fd
    … …  
    11011101)
    11021102\AtBeginShipoutBox=\box57
    1103 Package hyperref Info: Link coloring OFF on input line 38.
     1103Package hyperref Info: Link coloring OFF on input line 40.
    11041104
    11051105(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
    … …  
    11111111\c@section@level=\count139
    11121112)
    1113 LaTeX Info: Redefining \ref on input line 38.
    1114 LaTeX Info: Redefining \pageref on input line 38.
    1115 LaTeX Info: Redefining \nameref on input line 38.
     1113LaTeX Info: Redefining \ref on input line 40.
     1114LaTeX Info: Redefining \pageref on input line 40.
     1115LaTeX Info: Redefining \nameref on input line 40.
    11161116
    11171117(./FDL2012.out) (./FDL2012.out)
    … …  
    11491149))
    11501150ABD: EveryShipout initializing macros
    1151 LaTeX Info: Redefining \degres on input line 38.
     1151LaTeX Info: Redefining \degres on input line 40.
    11521152
    11531153
    11541154Package frenchb.ldf Warning: The definition of \@makecaption has been changed,
    11551155(frenchb.ldf)                frenchb will NOT customise it;
    1156 (frenchb.ldf)                reported on input line 38.
    1157 
    1158 LaTeX Info: Redefining \dots on input line 38.
    1159 LaTeX Info: Redefining \up on input line 38.
    1160 LaTeX Info: Redefining \microtypecontext on input line 38.
     1156(frenchb.ldf)                reported on input line 40.
     1157
     1158LaTeX Info: Redefining \dots on input line 40.
     1159LaTeX Info: Redefining \up on input line 40.
     1160LaTeX Info: Redefining \microtypecontext on input line 40.
    11611161Package microtype Info: Generating PDF output.
    11621162Package microtype Info: Character protrusion enabled (level 2).
    … …  
    11751175(RS)
    11761176)
    1177 LaTeX Font Info:    Try loading font information for OT1+lmr on input line 42.
     1177LaTeX Font Info:    Try loading font information for OT1+lmr on input line 44.
    11781178
    11791179(/usr/share/texlive/texmf-dist/tex/latex/lm/ot1lmr.fd
    11801180File: ot1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern
    11811181)<<ot1.cmap>>
    1182 LaTeX Font Info:    Try loading font information for OML+lmm on input line 42.
     1182LaTeX Font Info:    Try loading font information for OML+lmm on input line 44.
    11831183
    11841184(/usr/share/texlive/texmf-dist/tex/latex/lm/omllmm.fd
    11851185File: omllmm.fd 2009/10/30 v1.6 Font defs for Latin Modern
    11861186)
    1187 LaTeX Font Info:    Try loading font information for OMS+lmsy on input line 42.
     1187LaTeX Font Info:    Try loading font information for OMS+lmsy on input line 44.
    11881188
    11891189
    … …  
    11911191File: omslmsy.fd 2009/10/30 v1.6 Font defs for Latin Modern
    11921192)
    1193 LaTeX Font Info:    Try loading font information for OMX+lmex on input line 42.
     1193LaTeX Font Info:    Try loading font information for OMX+lmex on input line 44.
    11941194
    11951195
    … …  
    11981198)
    11991199LaTeX Font Info:    External font `lmex10' loaded for size
    1200 (Font)              <12> on input line 42.
     1200(Font)              <12> on input line 44.
    12011201LaTeX Font Info:    External font `lmex10' loaded for size
    1202 (Font)              <8> on input line 42.
     1202(Font)              <8> on input line 44.
    12031203LaTeX Font Info:    External font `lmex10' loaded for size
    1204 (Font)              <6> on input line 42.
    1205 LaTeX Font Info:    Try loading font information for U+msa on input line 42.
     1204(Font)              <6> on input line 44.
     1205LaTeX Font Info:    Try loading font information for U+msa on input line 44.
    12061206
    12071207(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
    … …  
    12111211File: mt-msa.cfg 2006/02/04 v1.1 microtype config. file: AMS symbols (a) (RS)
    12121212)
    1213 LaTeX Font Info:    Try loading font information for U+msb on input line 42.
     1213LaTeX Font Info:    Try loading font information for U+msb on input line 44.
    12141214
    12151215(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
    … …  
    12191219File: mt-msb.cfg 2005/06/01 v1.0 microtype config. file: AMS symbols (b) (RS)
    12201220)
     1221(./introduction.tex
    12211222LaTeX Font Info:    External font `lmex10' loaded for size
    1222 (Font)              <10> on input line 73.
     1223(Font)              <10> on input line 15.
    12231224LaTeX Font Info:    External font `lmex10' loaded for size
    1224 (Font)              <7> on input line 73.
     1225(Font)              <7> on input line 15.
    12251226LaTeX Font Info:    External font `lmex10' loaded for size
    1226 (Font)              <5> on input line 73.
    1227 
    1228 
    1229 LaTeX Warning: Citation `GrumbergLong91assume_guarantee' on page 1 undefined on
    1230  input line 73.
    1231 
    1232 
    1233 LaTeX Warning: Citation `HQR98assume_guarantee' on page 1 undefined on input li
    1234 ne 73.
    1235 
    1236 [1{/usr/share/texlive/texmf/fonts/map/pdftex/updmap/pdftex.map}
     1227(Font)              <5> on input line 15.
     1228 [1{/usr/share/texlive/texmf/fonts/map/pdftex/updmap/pdftex.map}
    12371229
    12381230
    12391231
    12401232]
    1241 
    1242 LaTeX Warning: Citation `GrafSaidi97abstract_construct' on page 2 undefined on
    1243 input line 77.
    1244 
    1245 
    1246 LaTeX Warning: Citation `clarke00cegar' on page 2 undefined on input line 80.
    1247 
    1248 
    1249 Overfull \hbox (1.1072pt too wide) in paragraph at lines 80--81
     1233Overfull \hbox (1.1072pt too wide) in paragraph at lines 22--23
    12501234[]\T1/lmr/m/n/10 (-20) A few years later, an in-ter-est-ing abstraction-refinem
    12511235ent
    12521236 []
    12531237
    1254 
    1255 LaTeX Warning: Citation `XieBrowne03composition_soft' on page 2 undefined on in
    1256 put line 82.
    1257 
    1258 
    1259 LaTeX Warning: Citation `PMT02compositional_MC' on page 2 undefined on input li
    1260 ne 85.
    1261 
    1262 
    1263 LaTeX Warning: Citation `SNBE06property_based' on page 2 undefined on input lin
    1264 e 89.
    1265 
    1266 
    1267 LaTeX Warning: Citation `microsoft04SLAM' on page 2 undefined on input line 92.
    1268 
    1269 
    1270 
    1271 LaTeX Warning: Citation `berkeley07BLAST' on page 2 undefined on input line 92.
    1272 
    1273 
    1274 
    1275 LaTeX Warning: Citation `Kroening_al07vcegar' on page 2 undefined on input line
    1276  92.
    1277 
    1278 
    1279 LaTeX Warning: Citation `pwk2009-date' on page 2 undefined on input line 95.
    1280 
    1281 
    1282 LaTeX Warning: Citation `Kunz_al11ipc_abs' on page 2 undefined on input line 95
    1283 .
    1284 
    1285 
    1286 LaTeX Warning: Citation `braunstein07ctl_abstraction' on page 2 undefined on in
    1287 put line 98.
    1288 
    1289 
    1290 LaTeX Warning: Citation `bara08abs_composant' on page 2 undefined on input line
    1291  98.
    1292 
    1293 
    1294 LaTeX Warning: Citation `clarke00cegar' on page 2 undefined on input line 104.
    1295 
    1296 
    1297 LaTeX Warning: Citation `braunstein07ctl_abstraction' on page 2 undefined on in
    1298 put line 108.
    1299 
    1300 LaTeX Font Info:    Try loading font information for TS1+lmr on input line 114.
    1301 
    1302 (/usr/share/texlive/texmf-dist/tex/latex/lm/ts1lmr.fd
     1238) (./framework.tex [2]
     1239LaTeX Font Info:    Try loading font information for TS1+lmr on input line 23.
     1240 (/usr/share/texlive/texmf-dist/tex/latex/lm/ts1lmr.fd
    13031241File: ts1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern
    1304 ) [2]
    1305 LaTeX Font Info:    Try loading font information for U+bbold on input line 144.
    1306 
    1307  (./Ubbold.fd)
    1308 <our_CEGAR_Loop_Enhanced_2S_PNG.png, id=88, 238.64156pt x 119.69719pt>
     1242)
     1243<our_CEGAR_Loop_Enhanced_2S_PNG.png, id=122, 238.64156pt x 119.69719pt>
    13091244File: our_CEGAR_Loop_Enhanced_2S_PNG.png Graphic file (type png)
    13101245
    13111246<use our_CEGAR_Loop_Enhanced_2S_PNG.png>
    13121247Package pdftex.def Info: our_CEGAR_Loop_Enhanced_2S_PNG.png used on input line
    1313 182.
     124835.
    13141249(pdftex.def)             Requested size: 238.64096pt x 119.69688pt.
    1315 
    1316 
    1317 LaTeX Warning: Citation `braunstein07ctl_abstraction' on page 3 undefined on in
    1318 put line 190.
    1319 
    1320 
    1321 LaTeX Warning: Citation `bara08abs_composant' on page 3 undefined on input line
    1322  190.
    1323 
    1324 
    1325 LaTeX Warning: Citation `ucberkeley96vis' on page 3 undefined on input line 192
    1326 .
    1327 
    1328 [3 <./our_CEGAR_Loop_Enhanced_2S_PNG.png>]
    1329 Underfull \hbox (badness 10000) in paragraph at lines 224--230
     1250 [3 <./our_CEGAR_Loop_Enhanced_2S_PNG.png>]
     1251LaTeX Font Info:    Try loading font information for U+bbold on input line 86.
     1252 (./Ubbold.fd)) (./abstraction_refinement.tex
     1253Underfull \hbox (badness 10000) in paragraph at lines 28--34
    13301254
    13311255 []
    13321256
    13331257
    1334 Underfull \hbox (badness 10000) in paragraph at lines 224--230
     1258Underfull \hbox (badness 10000) in paragraph at lines 28--34
    13351259
    13361260 []
    13371261
    13381262
    1339 Underfull \hbox (badness 10000) in paragraph at lines 224--230
     1263Underfull \hbox (badness 10000) in paragraph at lines 28--34
    13401264
    13411265 []
    13421266
    13431267
    1344 Underfull \hbox (badness 10000) in paragraph at lines 238--241
     1268Underfull \hbox (badness 10000) in paragraph at lines 42--45
    13451269
    13461270 []
    13471271
    13481272
    1349 Underfull \hbox (badness 10000) in paragraph at lines 238--241
     1273Underfull \hbox (badness 10000) in paragraph at lines 42--45
    13501274
    13511275 []
    13521276
    1353 
    1354 Overfull \hbox (0.81122pt too wide) in paragraph at lines 244--245
     1277[4]
     1278Overfull \hbox (0.81122pt too wide) in paragraph at lines 48--49
    13551279[]\T1/lmr/m/it/10 (-20) If $\OMS/lmsy/m/n/10 8\OML/lmm/m/it/10 k$ \T1/lmr/m/it/
    1356128010 (-20) we have $[] \OMS/lmsy/m/n/10 ^^R \OML/lmm/m/it/10 V[]$ \T1/lmr/m/it/10
    … …  
    13601284
    13611285
    1362 Overfull \hbox (3.01537pt too wide) in paragraph at lines 261--264
     1286Overfull \hbox (3.01537pt too wide) in paragraph at lines 67--70
    13631287\OML/lmm/m/it/10 max\OT1/lmr/m/n/10 (-20) (\OML/lmm/m/it/10 depth\OT1/lmr/m/n/1
    136412880 (-20) (\OML/lmm/m/it/10 Gv[]\OT1/lmr/m/n/10 (-20) )\OML/lmm/m/it/10 ; depth\O
    … …  
    13681292 []
    13691293
    1370 [4]
    1371 Underfull \hbox (badness 10000) in paragraph at lines 296--297
     1294
     1295Underfull \hbox (badness 10000) in paragraph at lines 103--104
    13721296
    13731297 []
    13741298
    1375 <Dependency_graph_weight_PNG.png, id=118, 112.16907pt x 167.12437pt>
     1299[5] <Dependency_graph_weight_PNG.png, id=165, 112.16907pt x 167.12437pt>
    13761300File: Dependency_graph_weight_PNG.png Graphic file (type png)
    13771301
    13781302<use Dependency_graph_weight_PNG.png>
    1379 Package pdftex.def Info: Dependency_graph_weight_PNG.png used on input line 319
     1303Package pdftex.def Info: Dependency_graph_weight_PNG.png used on input line 126
    13801304.
    13811305(pdftex.def)             Requested size: 112.16878pt x 167.12395pt.
    13821306
    1383 Underfull \hbox (badness 10000) in paragraph at lines 344--345
     1307Underfull \hbox (badness 10000) in paragraph at lines 151--152
    13841308
    13851309 []
    13861310
    1387 [5 <./Dependency_graph_weight_PNG.png>]
    1388 Overfull \hbox (11.93875pt too wide) in paragraph at lines 357--358
     1311
     1312Overfull \hbox (11.93875pt too wide) in paragraph at lines 164--165
    13891313[]$\OML/lmm/m/it/10 S[] \OT1/lmr/m/n/10 (-20) = \OMS/lmsy/m/n/10 f\OML/lmm/m/it
    13901314/10 s[]; s[]; s[]; :::; s[]; s[]; :::; s[]\OMS/lmsy/m/n/10 g$
    13911315 []
    13921316
    1393 <K_sigma_i_S_PNG.png, id=126, 33.12375pt x 213.79875pt>
     1317<K_sigma_i_S_PNG.png, id=166, 33.12375pt x 213.79875pt>
    13941318File: K_sigma_i_S_PNG.png Graphic file (type png)
    13951319
    13961320<use K_sigma_i_S_PNG.png>
    1397 Package pdftex.def Info: K_sigma_i_S_PNG.png used on input line 380.
     1321Package pdftex.def Info: K_sigma_i_S_PNG.png used on input line 187.
    13981322(pdftex.def)             Requested size: 33.12366pt x 213.79822pt.
    13991323
    … …  
    14011325LaTeX Warning: `!h' float specifier changed to `!ht'.
    14021326
    1403 
    1404 Underfull \hbox (badness 10000) in paragraph at lines 420--421
     1327[6 <./Dependency_graph_weight_PNG.png> <./K_sigma_i_S_PNG.png>]
     1328Underfull \hbox (badness 10000) in paragraph at lines 227--228
    14051329
    14061330 []
    14071331
    1408 
    1409 Underfull \hbox (badness 10000) in paragraph at lines 436--437
     1332)
     1333Underfull \hbox (badness 10000) in paragraph at lines 75--76
    14101334
    14111335 []
    14121336
    1413 [6 <./K_sigma_i_S_PNG.png>]
    1414 No file FDL2012.bbl.
    1415 Package atveryend Info: Empty hook `BeforeClearDocument' on input line 462.
    1416 [7
     1337(./FDL2012.bbl [7])
     1338Package atveryend Info: Empty hook `BeforeClearDocument' on input line 101.
     1339 [8
    14171340
    14181341]
    1419 Package atveryend Info: Empty hook `AfterLastShipout' on input line 462.
     1342Package atveryend Info: Empty hook `AfterLastShipout' on input line 101.
    14201343 (./FDL2012.aux)
    1421 Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 462.
    1422 Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 462.
     1344Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 101.
     1345Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 101.
    14231346Package rerunfilecheck Info: File `FDL2012.out' has not changed.
    1424 (rerunfilecheck)             Checksum: BA9407F3BD913632A2377663C2D85E5A;965.
    1425 
    1426 
    1427 LaTeX Warning: There were undefined references.
     1347(rerunfilecheck)             Checksum: 0706271851781CA86C089B6E9054600F;1151.
    14281348
    14291349
    … …  
    14321352 )
    14331353Here is how much of TeX's memory you used:
    1434  18495 strings out of 492508
    1435  332547 string characters out of 3115493
    1436  452738 words of memory out of 3000000
    1437  21197 multiletter control sequences out of 15000+200000
    1438  69857 words of font info for 127 fonts, out of 3000000 for 9000
     1354 18602 strings out of 492508
     1355 333954 string characters out of 3115493
     1356 452425 words of memory out of 3000000
     1357 21205 multiletter control sequences out of 15000+200000
     1358 80503 words of font info for 162 fonts, out of 3000000 for 9000
    14391359 1648 hyphenation exceptions out of 8191
    1440  56i,10n,68p,951b,935s stack positions out of 5000i,500n,10000p,200000b,50000s
    1441 {/usr/share/texlive/texmf-dist/fonts/enc/dvips/lm/lm-ts1.enc}{/usr/share/texl
    1442 ive/texmf-dist/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texlive/texmf-dist/
    1443 fonts/enc/dvips/lm/lm-rm.enc}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/lm/
    1444 lm-mathit.enc}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/lm/lm-ec.enc}{/usr
     1360 56i,10n,68p,1177b,935s stack positions out of 5000i,500n,10000p,200000b,50000s
     1361{/usr/share/texlive/texmf-dist/fonts/enc/dvips/lm/lm-ec.enc}{/usr/share/texli
     1362ve/texmf-dist/fonts/enc/dvips/lm/lm-ts1.enc}{/usr/share/texlive/texmf-dist/font
     1363s/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/lm/
     1364lm-rm.enc}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/lm/lm-mathit.enc}{/usr
    14451365/share/texlive/texmf-dist/fonts/enc/dvips/lm/lm-mathex.enc}<./bbold10.pfb></usr
    14461366/share/texlive/texmf-dist/fonts/type1/public/lm/lmbx10.pfb></usr/share/texlive/
    14471367texmf-dist/fonts/type1/public/lm/lmbx12.pfb></usr/share/texlive/texmf-dist/font
    1448 s/type1/public/lm/lmbxi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
    1449 /lm/lmex10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmmi10.pfb>
    1450 </usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmmi5.pfb></usr/share/texl
    1451 ive/texmf-dist/fonts/type1/public/lm/lmmi7.pfb></usr/share/texlive/texmf-dist/f
    1452 onts/type1/public/lm/lmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
    1453 c/lm/lmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmr5.pfb></
    1454 usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmr7.pfb></usr/share/texlive
    1455 /texmf-dist/fonts/type1/public/lm/lmri10.pfb></usr/share/texlive/texmf-dist/fon
    1456 ts/type1/public/lm/lmri12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
    1457 /lm/lmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmsy5.pfb><
    1458 /usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmsy7.pfb></usr/share/texli
    1459 ve/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/share/texliv
    1460 e/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
    1461 Output written on FDL2012.pdf (7 pages, 353282 bytes).
     1368s/type1/public/lm/lmbx9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/l
     1369m/lmbxi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmex10.pfb><
     1370/usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmmi10.pfb></usr/share/texl
     1371ive/texmf-dist/fonts/type1/public/lm/lmmi5.pfb></usr/share/texlive/texmf-dist/f
     1372onts/type1/public/lm/lmmi7.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
     1373c/lm/lmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmr12.pfb><
     1374/usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmr5.pfb></usr/share/texliv
     1375e/texmf-dist/fonts/type1/public/lm/lmr7.pfb></usr/share/texlive/texmf-dist/font
     1376s/type1/public/lm/lmr9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/lm
     1377/lmri10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmri12.pfb></u
     1378sr/share/texlive/texmf-dist/fonts/type1/public/lm/lmri9.pfb></usr/share/texlive
     1379/texmf-dist/fonts/type1/public/lm/lmsy10.pfb></usr/share/texlive/texmf-dist/fon
     1380ts/type1/public/lm/lmsy5.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/
     1381lm/lmsy7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols
     1382/msam10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/
     1383msbm10.pfb>
     1384Output written on FDL2012.pdf (8 pages, 445373 bytes).
    14621385PDF statistics:
    1463  223 PDF objects out of 1000 (max. 8388607)
    1464  186 compressed objects within 2 object streams
    1465  40 named destinations out of 1000 (max. 500000)
    1466  21652 words of extra memory for PDF output out of 24883 (max. 10000000)
    1467 
     1386 285 PDF objects out of 1000 (max. 8388607)
     1387 243 compressed objects within 3 object streams
     1388 58 named destinations out of 1000 (max. 500000)
     1389 24228 words of extra memory for PDF output out of 24883 (max. 10000000)
     1390
Note: See TracChangeset for help on using the changeset viewer.