+ DEPS=bash gcc tar gzip zip bzip2 find ls mv cp rm sed md5sum touch chmod
++ which bash
+ '[' -z /bin/bash ']'
++ which gcc
+ '[' -z /usr/bin/gcc ']'
++ which tar
+ '[' -z /bin/tar ']'
++ which gzip
+ '[' -z /bin/gzip ']'
++ which zip
+ '[' -z /usr/bin/zip ']'
++ which bzip2
+ '[' -z /usr/bin/bzip2 ']'
++ which find
+ '[' -z /usr/bin/find ']'
++ which ls
+ '[' -z /bin/ls ']'
++ which mv
+ '[' -z /bin/mv ']'
++ which cp
+ '[' -z /bin/cp ']'
++ which rm
+ '[' -z /bin/rm ']'
++ which sed
+ '[' -z /bin/sed ']'
++ which md5sum
+ '[' -z /usr/bin/md5sum ']'
++ which touch
+ '[' -z /usr/bin/touch ']'
++ which chmod
+ '[' -z /bin/chmod ']'
+ CYGWIN=false
++ uname
+ '[' -d tmpmetamathsite ']'
+ '[' -d metamathsite ']'
+ echo 'Creating subdirectories...'
Creating subdirectories...
+ '[' -f metamathsite/set.mm~1 ']'
+ '[' -f metamathsite/set.mm ']'
+ rm -rf tmpmetamathsite
+ '[' -d tmpmetamathsite ']'
+ mkdir tmpmetamathsite
+ '[' -f LICENSE.TXT ']'
+ cp -p LICENSE.TXT tmpmetamathsite/
+ '[' -f README.TXT ']'
+ cp -p README.TXT tmpmetamathsite/
+ '[' -f __README.TXT ']'
+ cp -p __README.TXT tmpmetamathsite/
+ '[' -f _award_jars.gif ']'
+ cp -p _award_jars.gif tmpmetamathsite/
+ '[' -f _award_knot.gif ']'
+ cp -p _award_knot.gif tmpmetamathsite/
+ '[' -f _award_scout.gif ']'
+ cp -p _award_scout.gif tmpmetamathsite/
+ '[' -f _award_sparrow.gif ']'
+ cp -p _award_sparrow.gif tmpmetamathsite/
+ '[' -f _dir_assayer.gif ']'
+ cp -p _dir_assayer.gif tmpmetamathsite/
+ '[' -f _dir_backflip.gif ']'
+ cp -p _dir_backflip.gif tmpmetamathsite/
+ '[' -f _dir_britannica.gif ']'
+ cp -p _dir_britannica.gif tmpmetamathsite/
+ '[' -f _dir_dmoz.gif ']'
+ cp -p _dir_dmoz.gif tmpmetamathsite/
+ '[' -f _dir_eduport.gif ']'
+ cp -p _dir_eduport.gif tmpmetamathsite/
+ '[' -f _dir_eevl.gif ']'
+ cp -p _dir_eevl.gif tmpmetamathsite/
+ '[' -f _dir_google.gif ']'
+ cp -p _dir_google.gif tmpmetamathsite/
+ '[' -f _dir_mathforge.gif ']'
+ cp -p _dir_mathforge.gif tmpmetamathsite/
+ '[' -f _dir_mathforum.gif ']'
+ cp -p _dir_mathforum.gif tmpmetamathsite/
+ '[' -f _dir_merlot.gif ']'
+ cp -p _dir_merlot.gif tmpmetamathsite/
+ '[' -f _dir_openhere.gif ']'
+ cp -p _dir_openhere.gif tmpmetamathsite/
+ '[' -f _dir_sciencesearch.gif ']'
+ cp -p _dir_sciencesearch.gif tmpmetamathsite/
+ '[' -f _dir_swansea.gif ']'
+ cp -p _dir_swansea.gif tmpmetamathsite/
+ '[' -f _dir_utyx.gif ']'
+ cp -p _dir_utyx.gif tmpmetamathsite/
+ '[' -f _dir_waterloo.gif ']'
+ cp -p _dir_waterloo.gif tmpmetamathsite/
+ '[' -f _dir_wikipedia.gif ']'
+ cp -p _dir_wikipedia.gif tmpmetamathsite/
+ '[' -f _flag-au.png ']'
+ cp -p _flag-au.png tmpmetamathsite/
+ '[' -f _flag-de-vintage.png ']'
+ cp -p _flag-de-vintage.png tmpmetamathsite/
+ '[' -f _flag-de.png ']'
+ cp -p _flag-de.png tmpmetamathsite/
+ '[' -f _flag-gr.png ']'
+ cp -p _flag-gr.png tmpmetamathsite/
+ '[' -f _flag-ma.png ']'
+ cp -p _flag-ma.png tmpmetamathsite/
+ '[' -f _flag-nl.png ']'
+ cp -p _flag-nl.png tmpmetamathsite/
+ '[' -f _flag-nz.png ']'
+ cp -p _flag-nz.png tmpmetamathsite/
+ '[' -f _flag-pirate.png ']'
+ cp -p _flag-pirate.png tmpmetamathsite/
+ '[' -f _flag-us.png ']'
+ cp -p _flag-us.png tmpmetamathsite/
+ '[' -f _index1mpe.gif ']'
+ cp -p _index1mpe.gif tmpmetamathsite/
+ '[' -f _index2hse.gif ']'
+ cp -p _index2hse.gif tmpmetamathsite/
+ '[' -f _index3qle.gif ']'
+ cp -p _index3qle.gif tmpmetamathsite/
+ '[' -f _index4mms.gif ']'
+ cp -p _index4mms.gif tmpmetamathsite/
+ '[' -f _index5sym.gif ']'
+ cp -p _index5sym.gif tmpmetamathsite/
+ '[' -f _index6mus.gif ']'
+ cp -p _index6mus.gif tmpmetamathsite/
+ '[' -f _metamath-deco.gif ']'
+ cp -p _metamath-deco.gif tmpmetamathsite/
+ '[' -f _nm.png ']'
+ cp -p _nm.png tmpmetamathsite/
+ '[' -f _nmemail.gif ']'
+ cp -p _nmemail.gif tmpmetamathsite/
+ '[' -f _pennywoodpile.jpg ']'
+ cp -p _pennywoodpile.jpg tmpmetamathsite/
+ '[' -f _screen-palmmm.jpg ']'
+ cp -p _screen-palmmm.jpg tmpmetamathsite/
+ '[' -f _screen1.png ']'
+ cp -p _screen1.png tmpmetamathsite/
+ '[' -f _spectrum.png ']'
+ cp -p _spectrum.png tmpmetamathsite/
+ '[' -f _us2penny.jpg ']'
+ cp -p _us2penny.jpg tmpmetamathsite/
+ '[' -f alephfp.png ']'
+ cp -p alephfp.png tmpmetamathsite/
+ '[' -f award2003.html ']'
+ cp -p award2003.html tmpmetamathsite/
+ '[' -f copyright.html ']'
+ cp -p copyright.html tmpmetamathsite/
+ '[' -f donations.html ']'
+ cp -p donations.html tmpmetamathsite/
+ '[' -f downloads ']'
+ '[' -f dvs ']'
+ cp -p dvs tmpmetamathsite/
+ '[' -f edu.html ']'
+ cp -p edu.html tmpmetamathsite/
+ '[' -f email.html ']'
+ cp -p email.html tmpmetamathsite/
+ '[' -f favicon.ico ']'
+ cp -p favicon.ico tmpmetamathsite/
+ '[' -f fontcompare-safari.pdf ']'
+ cp -p fontcompare-safari.pdf tmpmetamathsite/
+ '[' -f fontcompare.gif ']'
+ cp -p fontcompare.gif tmpmetamathsite/
+ '[' -f hidden.html ']'
+ cp -p hidden.html tmpmetamathsite/
+ '[' -f index.html ']'
+ cp -p index.html tmpmetamathsite/
+ '[' -f install.log ']'
+ cp -p install.log tmpmetamathsite/
+ '[' -f install.sh ']'
+ cp -p install.sh tmpmetamathsite/
+ '[' -f latex ']'
+ '[' -f metamath ']'
+ '[' -f mirror.txt ']'
+ cp -p mirror.txt tmpmetamathsite/
+ '[' -f missing.html ']'
+ cp -p missing.html tmpmetamathsite/
+ '[' -f mm.gif ']'
+ cp -p mm.gif tmpmetamathsite/
+ '[' -f mm.html ']'
+ cp -p mm.html tmpmetamathsite/
+ '[' -f mmbig.gif ']'
+ cp -p mmbig.gif tmpmetamathsite/
+ '[' -f mmnotes.txt ']'
+ cp -p mmnotes.txt tmpmetamathsite/
+ '[' -f mmsolitaire ']'
+ '[' -f mpegif ']'
+ '[' -f qlegif ']'
+ '[' -f rdme-downloads.txt ']'
+ cp -p rdme-downloads.txt tmpmetamathsite/
+ '[' -f rdme-home.txt ']'
+ cp -p rdme-home.txt tmpmetamathsite/
+ '[' -f rdme-metamath.txt ']'
+ cp -p rdme-metamath.txt tmpmetamathsite/
+ '[' -f rdme-metamathsite.txt ']'
+ cp -p rdme-metamathsite.txt tmpmetamathsite/
+ '[' -f rdme-mmsolitaire.txt ']'
+ cp -p rdme-mmsolitaire.txt tmpmetamathsite/
+ '[' -f rdme-mpegif.txt ']'
+ cp -p rdme-mpegif.txt tmpmetamathsite/
+ '[' -f rdme-qlegif.txt ']'
+ cp -p rdme-qlegif.txt tmpmetamathsite/
+ '[' -f rdme-symbols.txt ']'
+ cp -p rdme-symbols.txt tmpmetamathsite/
+ '[' -f robots.txt ']'
+ cp -p robots.txt tmpmetamathsite/
+ '[' -f screen1.html ']'
+ cp -p screen1.html tmpmetamathsite/
+ '[' -f set.mm ']'
+ cp -p set.mm tmpmetamathsite/
+ '[' -f set.mm~1 ']'
+ cp -p set.mm~1 tmpmetamathsite/
+ '[' -f symbols ']'
+ '[' -f tdrpage1.jpg ']'
+ cp -p tdrpage1.jpg tmpmetamathsite/
+ '[' -f tdrpage2.jpg ']'
+ cp -p tdrpage2.jpg tmpmetamathsite/
+ '[' -f tdrpage3.jpg ']'
+ cp -p tdrpage3.jpg tmpmetamathsite/
+ '[' -f tdrpage4.jpg ']'
+ cp -p tdrpage4.jpg tmpmetamathsite/
+ '[' -f tdrpage5.jpg ']'
+ cp -p tdrpage5.jpg tmpmetamathsite/
+ '[' -f thanks.html ']'
+ cp -p thanks.html tmpmetamathsite/
+ '[' -f tmpmetamathsite ']'
+ '[' -f unauthorized.html ']'
+ cp -p unauthorized.html tmpmetamathsite/
+ '[' -f valid-html401.png ']'
+ cp -p valid-html401.png tmpmetamathsite/
++ find . -type d -name '?*'
++ egrep -v 'tmpmetamathsite|mpeuni|qleuni'
+ mkdir tmpmetamathsite/./downloads
+ mkdir tmpmetamathsite/./metamath
+ mkdir tmpmetamathsite/./mmsolitaire
+ mkdir tmpmetamathsite/./mpegif
+ mkdir tmpmetamathsite/./qlegif
+ mkdir tmpmetamathsite/./symbols
+ mkdir tmpmetamathsite/./latex
+ '[' -f tmpmetamathsite/install.log ']'
+ rm -f tmpmetamathsite/install.log
+ '[' -f tmpmetamathsite/nohup.out ']'
++ find . -type d -name '?*'
++ egrep -v 'tmpmetamathsite|mpegif|mpeuni|qlegif|qleuni'
+ cp -p ./downloads/Metamath.pdb ./downloads/drule.c ./downloads/eimm.zip ./downloads/megillaward2005eu.pdf ./downloads/megillaward2005he.pdf ./downloads/mmverify.py ./downloads/quantum-logic.tar.bz2 ./downloads/weakd.pdf tmpmetamathsite/./downloads/
+ cp -p ./metamath/big-unifier.mm ./metamath/demo0.mm ./metamath/metamath.c ./metamath/metamath.exe ./metamath/miu.mm ./metamath/mmcmdl.c ./metamath/mmcmdl.h ./metamath/mmcmds.c ./metamath/mmcmds.h ./metamath/mmdata.c ./metamath/mmdata.h ./metamath/mmhlpa.c ./metamath/mmhlpa.h ./metamath/mmhlpb.c ./metamath/mmhlpb.h ./metamath/mminou.c ./metamath/mminou.h ./metamath/mmmaci.c ./metamath/mmmaci.h ./metamath/mmpars.c ./metamath/mmpars.h ./metamath/mmpfas.c ./metamath/mmpfas.h ./metamath/mmunif.c ./metamath/mmunif.h ./metamath/mmutil.c ./metamath/mmutil.h ./metamath/mmveri.c ./metamath/mmveri.h ./metamath/mmvstr.c ./metamath/mmvstr.h ./metamath/mmword.c ./metamath/mmword.h ./metamath/mmwtex.c ./metamath/mmwtex.h ./metamath/peano.mm ./metamath/ql.mm ./metamath/set.mm tmpmetamathsite/./metamath/
+ cp -p ./mmsolitaire/Axiom.class ./mmsolitaire/Connective.class ./mmsolitaire/DrawSymbols.class ./mmsolitaire/PrimFormula.class ./mmsolitaire/QSort.class ./mmsolitaire/State.class ./mmsolitaire/Substitution.class ./mmsolitaire/Unification.class ./mmsolitaire/VariableName.class ./mmsolitaire/_cpblue.gif ./mmsolitaire/_cqblue.gif ./mmsolitaire/_crblue.gif ./mmsolitaire/bart.aye_carumba.au ./mmsolitaire/beep_spring.au ./mmsolitaire/boing.au ./mmsolitaire/bomb.au ./mmsolitaire/bubble1.au ./mmsolitaire/clink.au ./mmsolitaire/drip.au ./mmsolitaire/gate.au ./mmsolitaire/hypspc.au ./mmsolitaire/mm.class ./mmsolitaire/mm.java ./mmsolitaire/mm.java-1.5.gz ./mmsolitaire/mms.html ./mmsolitaire/mmset.html ./mmsolitaire/mmsol-0.2.tar.gz ./mmsolitaire/mmsol-0.5.tar.gz ./mmsolitaire/mmsviewer.html ./mmsolitaire/ni.au ./mmsolitaire/ouch.au ./mmsolitaire/pmproofs-orig.txt ./mmsolitaire/pmproofs.txt ./mmsolitaire/splat.au ./mmsolitaire/whoosh.au ./mmsolitaire/wzzz.au ./mmsolitaire/wzzz2.au ./mmsolitaire/zoom.au tmpmetamathsite/./mmsolitaire/
+ cp -p ./symbols/0.gif ./symbols/0.png ./symbols/1.gif ./symbols/1.png ./symbols/2.gif ./symbols/2.png ./symbols/3.gif ./symbols/3.png ./symbols/4.gif ./symbols/4.png ./symbols/5.gif ./symbols/5.png ./symbols/6.gif ./symbols/6.png ./symbols/7.gif ./symbols/7.png ./symbols/8.gif ./symbols/8.png ./symbols/9.gif ./symbols/9.png ./symbols/_example1.gif ./symbols/_example2.gif ./symbols/a.gif ./symbols/a.png ./symbols/acute.gif ./symbols/acute.png ./symbols/aleph.gif ./symbols/aleph.png ./symbols/alpha.gif ./symbols/alpha.png ./symbols/amalg.gif ./symbols/amalg.png ./symbols/amp.gif ./symbols/amp.png ./symbols/angle.gif ./symbols/angle.png ./symbols/aplbox.gif ./symbols/aplbox.png ./symbols/aplcirc.gif ./symbols/aplcirc.png ./symbols/aplcircbot.gif ./symbols/aplcircbot.png ./symbols/aplcomment.gif ./symbols/aplcomment.png ./symbols/apldownarrowbox.gif ./symbols/apldownarrowbox.png ./symbols/aplinput.gif ./symbols/aplinput.png ./symbols/aplinv.gif ./symbols/aplinv.png ./symbols/aplleftarrowbox.gif ./symbols/aplleftarrowbox.png ./symbols/apllog.gif ./symbols/apllog.png ./symbols/aplminus.gif ./symbols/aplminus.png ./symbols/aplnotdown.gif ./symbols/aplnotdown.png ./symbols/aplnotland.gif ./symbols/aplnotland.png ./symbols/aplnotlor.gif ./symbols/aplnotlor.png ./symbols/aplrightarrowbox.gif ./symbols/aplrightarrowbox.png ./symbols/aplstar.gif ./symbols/aplstar.png ./symbols/apluparrowbox.gif ./symbols/apluparrowbox.png ./symbols/aplvertdown.gif ./symbols/aplvertdown.png ./symbols/apostrophe.gif ./symbols/apostrophe.png ./symbols/approx.gif ./symbols/approx.png ./symbols/approxeq.gif ./symbols/approxeq.png ./symbols/aquarius.gif ./symbols/aquarius.png ./symbols/ascnode_or_leo.gif ./symbols/ascnode_or_leo.png ./symbols/ast.gif ./symbols/ast.png ./symbols/astrosun.gif ./symbols/astrosun.png ./symbols/asymp.gif ./symbols/asymp.png ./symbols/ataribox.gif ./symbols/ataribox.png ./symbols/atsign.gif ./symbols/atsign.png ./symbols/b.gif ./symbols/b.png ./symbols/backepsilon.gif ./symbols/backepsilon.png ./symbols/backp.gif ./symbols/backp.png ./symbols/backprime.gif ./symbols/backprime.png ./symbols/backquote.gif ./symbols/backquote.png ./symbols/backsim.gif ./symbols/backsim.png ./symbols/backsimeq.gif ./symbols/backsimeq.png ./symbols/backtick.gif ./symbols/backtick.png ./symbols/bang.gif ./symbols/bang.png ./symbols/bar.gif ./symbols/bar.png ./symbols/barcx.gif ./symbols/barcy.gif ./symbols/barwedge.gif ./symbols/barwedge.png ./symbols/bba.gif ./symbols/bba.png ./symbols/bbb.gif ./symbols/bbb.png ./symbols/bbbk.gif ./symbols/bbbk.png ./symbols/bbc.gif ./symbols/bbc.png ./symbols/bbd.gif ./symbols/bbd.png ./symbols/bbe.gif ./symbols/bbe.png ./symbols/bbf.gif ./symbols/bbf.png ./symbols/bbg.gif ./symbols/bbg.png ./symbols/bbh.gif ./symbols/bbh.png ./symbols/bbi.gif ./symbols/bbi.png ./symbols/bbj.gif ./symbols/bbj.png ./symbols/bbk.gif ./symbols/bbk.png ./symbols/bbl.gif ./symbols/bbl.png ./symbols/bbm.gif ./symbols/bbm.png ./symbols/bbn.gif ./symbols/bbn.png ./symbols/bbo.gif ./symbols/bbo.png ./symbols/bbp.gif ./symbols/bbp.png ./symbols/bbq.gif ./symbols/bbq.png ./symbols/bbr.gif ./symbols/bbr.png ./symbols/bbs.gif ./symbols/bbs.png ./symbols/bbt.gif ./symbols/bbt.png ./symbols/bbu.gif ./symbols/bbu.png ./symbols/bbumpeq.gif ./symbols/bbumpeq.png ./symbols/bbv.gif ./symbols/bbv.png ./symbols/bbw.gif ./symbols/bbw.png ./symbols/bbx.gif ./symbols/bbx.png ./symbols/bby.gif ./symbols/bby.png ./symbols/bbz.gif ./symbols/bbz.png ./symbols/because.gif ./symbols/because.png ./symbols/bell.gif ./symbols/bell.png ./symbols/beta.gif ./symbols/beta.png ./symbols/beth.gif ./symbols/beth.png ./symbols/between.gif ./symbols/between.png ./symbols/bfa.gif ./symbols/bfa.png ./symbols/bfb.gif ./symbols/bfb.png ./symbols/bfc.gif ./symbols/bfc.png ./symbols/bfca.gif ./symbols/bfca.png ./symbols/bfcb.gif ./symbols/bfcb.png ./symbols/bfcc.gif ./symbols/bfcc.png ./symbols/bfcd.gif ./symbols/bfcd.png ./symbols/bfce.gif ./symbols/bfce.png ./symbols/bfcf.gif ./symbols/bfcf.png ./symbols/bfcg.gif ./symbols/bfcg.png ./symbols/bfch.gif ./symbols/bfch.png ./symbols/bfci.gif ./symbols/bfci.png ./symbols/bfcj.gif ./symbols/bfcj.png ./symbols/bfck.gif ./symbols/bfck.png ./symbols/bfcl.gif ./symbols/bfcl.png ./symbols/bfcm.gif ./symbols/bfcm.png ./symbols/bfcn.gif ./symbols/bfcn.png ./symbols/bfco.gif ./symbols/bfco.png ./symbols/bfcp.gif ./symbols/bfcp.png ./symbols/bfcq.gif ./symbols/bfcq.png ./symbols/bfcr.gif ./symbols/bfcr.png ./symbols/bfcs.gif ./symbols/bfcs.png ./symbols/bfct.gif ./symbols/bfct.png ./symbols/bfcu.gif ./symbols/bfcu.png ./symbols/bfcv.gif ./symbols/bfcv.png ./symbols/bfcw.gif ./symbols/bfcw.png ./symbols/bfcx.gif ./symbols/bfcx.png ./symbols/bfcy.gif ./symbols/bfcy.png ./symbols/bfcz.gif ./symbols/bfcz.png ./symbols/bfd.gif ./symbols/bfd.png ./symbols/bfe.gif ./symbols/bfe.png ./symbols/bff.gif ./symbols/bff.png ./symbols/bfg.gif ./symbols/bfg.png ./symbols/bfh.gif ./symbols/bfh.png ./symbols/bfi.gif ./symbols/bfi.png ./symbols/bfj.gif ./symbols/bfj.png ./symbols/bfk.gif ./symbols/bfk.png ./symbols/bfl.gif ./symbols/bfl.png ./symbols/bfm.gif ./symbols/bfm.png ./symbols/bfn.gif ./symbols/bfn.png ./symbols/bfo.gif ./symbols/bfo.png ./symbols/bfp.gif ./symbols/bfp.png ./symbols/bfq.gif ./symbols/bfq.png ./symbols/bfr.gif ./symbols/bfr.png ./symbols/bfs.gif ./symbols/bfs.png ./symbols/bft.gif ./symbols/bft.png ./symbols/bfu.gif ./symbols/bfu.png ./symbols/bfv.gif ./symbols/bfv.png ./symbols/bfw.gif ./symbols/bfw.png ./symbols/bfx.gif ./symbols/bfx.png ./symbols/bfy.gif ./symbols/bfy.png ./symbols/bfz.gif ./symbols/bfz.png ./symbols/bicycle.gif ./symbols/bicycle.png ./symbols/bigbox.gif ./symbols/bigbox.png ./symbols/bigcap.gif ./symbols/bigcap.png ./symbols/bigcirc.gif ./symbols/bigcirc.png ./symbols/bigcup.gif ./symbols/bigcup.png ./symbols/bigdiamond.gif ./symbols/bigdiamond.png ./symbols/bigdownarrow.gif ./symbols/bigdownarrow.png ./symbols/bighandleft.gif ./symbols/bighandleft.png ./symbols/bighandright.gif ./symbols/bighandright.png ./symbols/bigleftarrow.gif ./symbols/bigleftarrow.png ./symbols/bigleftrightarrow.gif ./symbols/bigleftrightarrow.png ./symbols/biglongleftarrow.gif ./symbols/biglongleftarrow.png ./symbols/biglongleftrightarrow.gif ./symbols/biglongleftrightarrow.png ./symbols/biglongrightarrow.gif ./symbols/biglongrightarrow.png ./symbols/bigodot.gif ./symbols/bigodot.png ./symbols/bigoplus.gif ./symbols/bigoplus.png ./symbols/bigotimes.gif ./symbols/bigotimes.png ./symbols/bigsqcup.gif ./symbols/bigsqcup.png ./symbols/bigstar.gif ./symbols/bigstar.png ./symbols/bigto.gif ./symbols/bigto.png ./symbols/bigtriangledown.gif ./symbols/bigtriangledown.png ./symbols/bigtriangleup.gif ./symbols/bigtriangleup.png ./symbols/biguparrow.gif ./symbols/biguparrow.png ./symbols/bigupdownarrow.gif ./symbols/bigupdownarrow.png ./symbols/biguplus.gif ./symbols/biguplus.png ./symbols/bigvee.gif ./symbols/bigvee.png ./symbols/bigwedge.gif ./symbols/bigwedge.png ./symbols/bij.gif ./symbols/bij.png ./symbols/biohazard.gif ./symbols/biohazard.png ./symbols/blacklozenge.gif ./symbols/blacklozenge.png ./symbols/blacksmiley.gif ./symbols/blacksmiley.png ./symbols/blacksquare.gif ./symbols/blacksquare.png ./symbols/blacktriangle.gif ./symbols/blacktriangle.png ./symbols/blacktriangledown.gif ./symbols/blacktriangledown.png ./symbols/blacktriangleleft.gif ./symbols/blacktriangleleft.png ./symbols/blacktriangleright.gif ./symbols/blacktriangleright.png ./symbols/blank.gif ./symbols/blank.png ./symbols/blitza.gif ./symbols/blitza.png ./symbols/bowtie.gif ./symbols/bowtie.png ./symbols/boxdot.gif ./symbols/boxdot.png ./symbols/boxminus.gif ./symbols/boxminus.png ./symbols/boxplus.gif ./symbols/boxplus.png ./symbols/boxtimes.gif ./symbols/boxtimes.png ./symbols/breve.gif ./symbols/breve.png ./symbols/brokenvert.gif ./symbols/brokenvert.png ./symbols/bullet.gif ./symbols/bullet.png ./symbols/bumpeq.gif ./symbols/bumpeq.png ./symbols/c.gif ./symbols/c.png ./symbols/ca.gif ./symbols/ca.png ./symbols/cala.gif ./symbols/cala.png ./symbols/calb.gif ./symbols/calb.png ./symbols/calc.gif ./symbols/calc.png ./symbols/cald.gif ./symbols/cald.png ./symbols/cale.gif ./symbols/cale.png ./symbols/calf.gif ./symbols/calf.png ./symbols/calg.gif ./symbols/calg.png ./symbols/calh.gif ./symbols/calh.png ./symbols/cali.gif ./symbols/cali.png ./symbols/calj.gif ./symbols/calj.png ./symbols/calk.gif ./symbols/calk.png ./symbols/call.gif ./symbols/call.png ./symbols/calm.gif ./symbols/calm.png ./symbols/caln.gif ./symbols/caln.png ./symbols/calo.gif ./symbols/calo.png ./symbols/calp.gif ./symbols/calp.png ./symbols/calq.gif ./symbols/calq.png ./symbols/calr.gif ./symbols/calr.png ./symbols/cals.gif ./symbols/cals.png ./symbols/calt.gif ./symbols/calt.png ./symbols/calu.gif ./symbols/calu.png ./symbols/calv.gif ./symbols/calv.png ./symbols/calw.gif ./symbols/calw.png ./symbols/calx.gif ./symbols/calx.png ./symbols/caly.gif ./symbols/caly.png ./symbols/calz.gif ./symbols/calz.png ./symbols/cancer.gif ./symbols/cancer.png ./symbols/cap.gif ./symbols/cap.png ./symbols/capricornus.gif ./symbols/capricornus.png ./symbols/cb.gif ./symbols/cb.png ./symbols/cc.gif ./symbols/cc.png ./symbols/cd.gif ./symbols/cd.png ./symbols/cdelta.gif ./symbols/cdelta.png ./symbols/cdh.gif ./symbols/cdh.png ./symbols/cdot.gif ./symbols/cdot.png ./symbols/cdots.gif ./symbols/cdots.png ./symbols/ce.gif ./symbols/ce.png ./symbols/cent.gif ./symbols/cent.png ./symbols/centerdot.gif ./symbols/centerdot.png ./symbols/cf.gif ./symbols/cf.png ./symbols/cg.gif ./symbols/cg.png ./symbols/cgamma.gif ./symbols/cgamma.png ./symbols/ch.gif ./symbols/ch.png ./symbols/check.gif ./symbols/check.png ./symbols/checkmark.gif ./symbols/checkmark.png ./symbols/chi.gif ./symbols/chi.png ./symbols/ci.gif ./symbols/ci.png ./symbols/circ.gif ./symbols/circ.png ./symbols/circeq.gif ./symbols/circeq.png ./symbols/circlearrowleft.gif ./symbols/circlearrowleft.png ./symbols/circlearrowright.gif ./symbols/circlearrowright.png ./symbols/circledast.gif ./symbols/circledast.png ./symbols/circledcirc.gif ./symbols/circledcirc.png ./symbols/circleddash.gif ./symbols/circleddash.png ./symbols/circleds.gif ./symbols/circleds.png ./symbols/cj.gif ./symbols/cj.png ./symbols/ck.gif ./symbols/ck.png ./symbols/cl.gif ./symbols/cl.png ./symbols/clambda.gif ./symbols/clambda.png ./symbols/clock.gif ./symbols/clock.png ./symbols/clubsuit.gif ./symbols/clubsuit.png ./symbols/cm.gif ./symbols/cm.png ./symbols/cn.gif ./symbols/cn.png ./symbols/co.gif ./symbols/co.png ./symbols/colon.gif ./symbols/colon.png ./symbols/comega.gif ./symbols/comega.png ./symbols/comma.gif ./symbols/comma.png ./symbols/complement.gif ./symbols/complement.png ./symbols/cong.gif ./symbols/cong.png ./symbols/conjunction.gif ./symbols/conjunction.png ./symbols/convolution.gif ./symbols/convolution.png ./symbols/coprod.gif ./symbols/coprod.png ./symbols/copyright.gif ./symbols/copyright.png ./symbols/cp.gif ./symbols/cp.png ./symbols/cphi.gif ./symbols/cphi.png ./symbols/cpi.gif ./symbols/cpi.png ./symbols/cpsi.gif ./symbols/cpsi.png ./symbols/cq.gif ./symbols/cq.png ./symbols/cr.gif ./symbols/cr.png ./symbols/cs.gif ./symbols/cs.png ./symbols/csigma.gif ./symbols/csigma.png ./symbols/ct.gif ./symbols/ct.png ./symbols/ctheta.gif ./symbols/ctheta.png ./symbols/cthorn.gif ./symbols/cthorn.png ./symbols/cu.gif ./symbols/cu.png ./symbols/cup.gif ./symbols/cup.png ./symbols/cupsilon.gif ./symbols/cupsilon.png ./symbols/curlyeqprec.gif ./symbols/curlyeqprec.png ./symbols/curlyeqsucc.gif ./symbols/curlyeqsucc.png ./symbols/curlyvee.gif ./symbols/curlyvee.png ./symbols/curlywedge.gif ./symbols/curlywedge.png ./symbols/currency.gif ./symbols/currency.png ./symbols/curvearrowleft.gif ./symbols/curvearrowleft.png ./symbols/curvearrowright.gif ./symbols/curvearrowright.png ./symbols/cv.gif ./symbols/cv.png ./symbols/cw.gif ./symbols/cw.png ./symbols/cx.gif ./symbols/cx.png ./symbols/cxi.gif ./symbols/cxi.png ./symbols/cy.gif ./symbols/cy.png ./symbols/cz.gif ./symbols/cz.png ./symbols/d.gif ./symbols/d.png ./symbols/dagger.gif ./symbols/dagger.png ./symbols/daleth.gif ./symbols/daleth.png ./symbols/dashv.gif ./symbols/dashv.png ./symbols/davidstar.gif ./symbols/davidstar.png ./symbols/ddag.gif ./symbols/ddag.png ./symbols/ddot.gif ./symbols/ddot.png ./symbols/ddots.gif ./symbols/ddots.png ./symbols/defs.gif ./symbols/defs.png ./symbols/delta.gif ./symbols/delta.png ./symbols/desnode.gif ./symbols/desnode.png ./symbols/dh.gif ./symbols/dh.png ./symbols/diagdown.gif ./symbols/diagdown.png ./symbols/diagup.gif ./symbols/diagup.png ./symbols/diameter.gif ./symbols/diameter.png ./symbols/diamond.gif ./symbols/diamond.png ./symbols/diamondsuit.gif ./symbols/diamondsuit.png ./symbols/digamma.gif ./symbols/digamma.png ./symbols/div.gif ./symbols/div.png ./symbols/divideontimes.gif ./symbols/divideontimes.png ./symbols/dollar.gif ./symbols/dollar.png ./symbols/dot.gif ./symbols/dot.png ./symbols/doteq.gif ./symbols/doteq.png ./symbols/doteqdot.gif ./symbols/doteqdot.png ./symbols/dotplus.gif ./symbols/dotplus.png ./symbols/doublebarwedge.gif ./symbols/doublebarwedge.png ./symbols/doublecap.gif ./symbols/doublecap.png ./symbols/doublecup.gif ./symbols/doublecup.png ./symbols/doubles.gif ./symbols/doubles.png ./symbols/downarrow.gif ./symbols/downarrow.png ./symbols/downdownarrows.gif ./symbols/downdownarrows.png ./symbols/downharpoonleft.gif ./symbols/downharpoonleft.png ./symbols/downharpoonright.gif ./symbols/downharpoonright.png ./symbols/e.gif ./symbols/e.png ./symbols/earth.gif ./symbols/earth.png ./symbols/eighthnote.gif ./symbols/eighthnote.png ./symbols/ell.gif ./symbols/ell.png ./symbols/emptyset.gif ./symbols/emptyset.png ./symbols/epsilon.gif ./symbols/epsilon.png ./symbols/eq.gif ./symbols/eq.png ./symbols/eqcirc.gif ./symbols/eqcirc.png ./symbols/eqslantgtr.gif ./symbols/eqslantgtr.png ./symbols/eqslantless.gif ./symbols/eqslantless.png ./symbols/equiv.gif ./symbols/equiv.png ./symbols/eta.gif ./symbols/eta.png ./symbols/eth.gif ./symbols/eth.png ./symbols/exists.gif ./symbols/exists.png ./symbols/f.gif ./symbols/f.png ./symbols/fallingdotseq.gif ./symbols/fallingdotseq.png ./symbols/ffun.gif ./symbols/ffun.png ./symbols/filledsquarewithdots.gif ./symbols/filledsquarewithdots.png ./symbols/finj.gif ./symbols/finj.png ./symbols/finv.gif ./symbols/finv.png ./symbols/flat.gif ./symbols/flat.png ./symbols/forall.gif ./symbols/forall.png ./symbols/fraka.gif ./symbols/fraka.png ./symbols/frakb.gif ./symbols/frakb.png ./symbols/frakc.gif ./symbols/frakc.png ./symbols/frakca.gif ./symbols/frakca.png ./symbols/frakcb.gif ./symbols/frakcb.png ./symbols/frakcc.gif ./symbols/frakcc.png ./symbols/frakcd.gif ./symbols/frakcd.png ./symbols/frakce.gif ./symbols/frakce.png ./symbols/frakcf.gif ./symbols/frakcf.png ./symbols/frakcg.gif ./symbols/frakcg.png ./symbols/frakch.gif ./symbols/frakch.png ./symbols/frakci.gif ./symbols/frakci.png ./symbols/frakcj.gif ./symbols/frakcj.png ./symbols/frakck.gif ./symbols/frakck.png ./symbols/frakcl.gif ./symbols/frakcl.png ./symbols/frakcm.gif ./symbols/frakcm.png ./symbols/frakcn.gif ./symbols/frakcn.png ./symbols/frakco.gif ./symbols/frakco.png ./symbols/frakcp.gif ./symbols/frakcp.png ./symbols/frakcq.gif ./symbols/frakcq.png ./symbols/frakcr.gif ./symbols/frakcr.png ./symbols/frakcs.gif ./symbols/frakcs.png ./symbols/frakct.gif ./symbols/frakct.png ./symbols/frakcu.gif ./symbols/frakcu.png ./symbols/frakcv.gif ./symbols/frakcv.png ./symbols/frakcw.gif ./symbols/frakcw.png ./symbols/frakcx.gif ./symbols/frakcx.png ./symbols/frakcy.gif ./symbols/frakcy.png ./symbols/frakcz.gif ./symbols/frakcz.png ./symbols/frakd.gif ./symbols/frakd.png ./symbols/frake.gif ./symbols/frake.png ./symbols/frakf.gif ./symbols/frakf.png ./symbols/frakg.gif ./symbols/frakg.png ./symbols/frakh.gif ./symbols/frakh.png ./symbols/fraki.gif ./symbols/fraki.png ./symbols/frakj.gif ./symbols/frakj.png ./symbols/frakk.gif ./symbols/frakk.png ./symbols/frakl.gif ./symbols/frakl.png ./symbols/frakm.gif ./symbols/frakm.png ./symbols/frakn.gif ./symbols/frakn.png ./symbols/frako.gif ./symbols/frako.png ./symbols/frakp.gif ./symbols/frakp.png ./symbols/frakq.gif ./symbols/frakq.png ./symbols/frakr.gif ./symbols/frakr.png ./symbols/fraks.gif ./symbols/fraks.png ./symbols/frakt.gif ./symbols/frakt.png ./symbols/fraku.gif ./symbols/fraku.png ./symbols/frakv.gif ./symbols/frakv.png ./symbols/frakw.gif ./symbols/frakw.png ./symbols/frakx.gif ./symbols/frakx.png ./symbols/fraky.gif ./symbols/fraky.png ./symbols/frakz.gif ./symbols/frakz.png ./symbols/frown.gif ./symbols/frown.png ./symbols/frownie.gif ./symbols/frownie.png ./symbols/fullmoon.gif ./symbols/fullmoon.png ./symbols/fullnote.gif ./symbols/fullnote.png ./symbols/g.gif ./symbols/g.png ./symbols/game.gif ./symbols/game.png ./symbols/gamma.gif ./symbols/gamma.png ./symbols/ge.gif ./symbols/ge.png ./symbols/gemini.gif ./symbols/gemini.png ./symbols/geqq.gif ./symbols/geqq.png ./symbols/geqslant.gif ./symbols/geqslant.png ./symbols/gg.gif ./symbols/gg.png ./symbols/gggtr.gif ./symbols/gggtr.png ./symbols/gimel.gif ./symbols/gimel.png ./symbols/gluon.gif ./symbols/gluon.png ./symbols/gnapprox.gif ./symbols/gnapprox.png ./symbols/gneq.gif ./symbols/gneq.png ./symbols/gneqq.gif ./symbols/gneqq.png ./symbols/gnsim.gif ./symbols/gnsim.png ./symbols/grave.gif ./symbols/grave.png ./symbols/gt.gif ./symbols/gt.png ./symbols/gtrapprox.gif ./symbols/gtrapprox.png ./symbols/gtrdot.gif ./symbols/gtrdot.png ./symbols/gtreqless.gif ./symbols/gtreqless.png ./symbols/gtreqqless.gif ./symbols/gtreqqless.png ./symbols/gtrless.gif ./symbols/gtrless.png ./symbols/gtrsim.gif ./symbols/gtrsim.png ./symbols/gvertneqq.gif ./symbols/gvertneqq.png ./symbols/h.gif ./symbols/h.png ./symbols/halfnote.gif ./symbols/halfnote.png ./symbols/handleft.gif ./symbols/handleft.png ./symbols/handright.gif ./symbols/handright.png ./symbols/hat.gif ./symbols/hat.png ./symbols/hbar.gif ./symbols/hbar.png ./symbols/heartsuit.gif ./symbols/heartsuit.png ./symbols/hexagon.gif ./symbols/hexagon.png ./symbols/hexstar.gif ./symbols/hexstar.png ./symbols/hookleftarrow.gif ./symbols/hookleftarrow.png ./symbols/hookrightarrow.gif ./symbols/hookrightarrow.png ./symbols/hslash.gif ./symbols/hslash.png ./symbols/i.gif ./symbols/i.png ./symbols/iiint.gif ./symbols/iiint.png ./symbols/iint.gif ./symbols/iint.png ./symbols/im.gif ./symbols/im.png ./symbols/imath.gif ./symbols/imath.png ./symbols/in.gif ./symbols/in.png ./symbols/inbag.gif ./symbols/inbag.png ./symbols/infty.gif ./symbols/infty.png ./symbols/int.gif ./symbols/int.png ./symbols/intercal.gif ./symbols/intercal.png ./symbols/invbang.gif ./symbols/invbang.png ./symbols/invdiameter.gif ./symbols/invdiameter.png ./symbols/inve.gif ./symbols/inve.png ./symbols/invneg.gif ./symbols/invneg.png ./symbols/invquestion.gif ./symbols/invquestion.png ./symbols/iota.gif ./symbols/iota.png ./symbols/j.gif ./symbols/j.png ./symbols/jackstar.gif ./symbols/jackstar.png ./symbols/jmath.gif ./symbols/jmath.png ./symbols/join.gif ./symbols/join.png ./symbols/jupiter.gif ./symbols/jupiter.png ./symbols/k.gif ./symbols/k.png ./symbols/kappa.gif ./symbols/kappa.png ./symbols/kreuz.gif ./symbols/kreuz.png ./symbols/l.gif ./symbols/l.png ./symbols/lambda.gif ./symbols/lambda.png ./symbols/langle.gif ./symbols/langle.png ./symbols/largetimes.gif ./symbols/largetimes.png ./symbols/laserbeam.gif ./symbols/laserbeam.png ./symbols/lblot.gif ./symbols/lblot.png ./symbols/lbrace.gif ./symbols/lbrace.png ./symbols/lbrack.gif ./symbols/lbrack.png ./symbols/lceil.gif ./symbols/lceil.png ./symbols/ldots.gif ./symbols/ldots.png ./symbols/le.gif ./symbols/le.png ./symbols/leadsto.gif ./symbols/leadsto.png ./symbols/leftarrow.gif ./symbols/leftarrow.png ./symbols/leftarrowtail.gif ./symbols/leftarrowtail.png ./symbols/leftbcircle.gif ./symbols/leftbcircle.png ./symbols/leftcircle.gif ./symbols/leftcircle.png ./symbols/leftcircleb.gif ./symbols/leftcircleb.png ./symbols/leftharpoondown.gif ./symbols/leftharpoondown.png ./symbols/leftharpoonup.gif ./symbols/leftharpoonup.png ./symbols/leftleftarrows.gif ./symbols/leftleftarrows.png ./symbols/leftmoon.gif ./symbols/leftmoon.png ./symbols/leftrightarrow.gif ./symbols/leftrightarrow.png ./symbols/leftrightarrows.gif ./symbols/leftrightarrows.png ./symbols/leftrightharpoons.gif ./symbols/leftrightharpoons.png ./symbols/leftrightsquigarrow.gif ./symbols/leftrightsquigarrow.png ./symbols/leftthreetimes.gif ./symbols/leftthreetimes.png ./symbols/leftturn.gif ./symbols/leftturn.png ./symbols/leqq.gif ./symbols/leqq.png ./symbols/leqslant.gif ./symbols/leqslant.png ./symbols/lessapprox.gif ./symbols/lessapprox.png ./symbols/lessdot.gif ./symbols/lessdot.png ./symbols/lesseqgtr.gif ./symbols/lesseqgtr.png ./symbols/lesseqqgtr.gif ./symbols/lesseqqgtr.png ./symbols/lessgtr.gif ./symbols/lessgtr.png ./symbols/lesssim.gif ./symbols/lesssim.png ./symbols/lfloor.gif ./symbols/lfloor.png ./symbols/libra.gif ./symbols/libra.png ./symbols/lightning.gif ./symbols/lightning.png ./symbols/limg.gif ./symbols/limg.png ./symbols/ll.gif ./symbols/ll.png ./symbols/llangle.gif ./symbols/llangle.png ./symbols/llbrack.gif ./symbols/llbrack.png ./symbols/lleftarrow.gif ./symbols/lleftarrow.png ./symbols/llless.gif ./symbols/llless.png ./symbols/lnapprox.gif ./symbols/lnapprox.png ./symbols/lneq.gif ./symbols/lneq.png ./symbols/lneqq.gif ./symbols/lneqq.png ./symbols/lnot.gif ./symbols/lnot.png ./symbols/lnsim.gif ./symbols/lnsim.png ./symbols/longleftarrow.gif ./symbols/longleftarrow.png ./symbols/longleftrightarrow.gif ./symbols/longleftrightarrow.png ./symbols/longmapsto.gif ./symbols/longmapsto.png ./symbols/longrightarrow.gif ./symbols/longrightarrow.png ./symbols/looparrowleft.gif ./symbols/looparrowleft.png ./symbols/looparrowright.gif ./symbols/looparrowright.png ./symbols/lozenge.gif ./symbols/lozenge.png ./symbols/lp.gif ./symbols/lp.png ./symbols/lplp.gif ./symbols/lplp.png ./symbols/lsh.gif ./symbols/lsh.png ./symbols/lt.gif ./symbols/lt.png ./symbols/ltimes.gif ./symbols/ltimes.png ./symbols/lvertneqq.gif ./symbols/lvertneqq.png ./symbols/m.gif ./symbols/m.png ./symbols/maltese.gif ./symbols/maltese.png ./symbols/mapsto.gif ./symbols/mapsto.png ./symbols/mars.gif ./symbols/mars.png ./symbols/mayazero.gif ./symbols/mayazero.png ./symbols/measuredangle.gif ./symbols/measuredangle.png ./symbols/mercury.gif ./symbols/mercury.png ./symbols/mho.gif ./symbols/mho.png ./symbols/minus.gif ./symbols/minus.png ./symbols/models.gif ./symbols/models.png ./symbols/moon.gif ./symbols/moon.png ./symbols/mp.gif ./symbols/mp.png ./symbols/mu.gif ./symbols/mu.png ./symbols/multimap.gif ./symbols/multimap.png ./symbols/n.gif ./symbols/n.png ./symbols/nabla.gif ./symbols/nabla.png ./symbols/natural.gif ./symbols/natural.png ./symbols/nbigleftarrow.gif ./symbols/nbigleftarrow.png ./symbols/nbigleftrightarrow.gif ./symbols/nbigleftrightarrow.png ./symbols/nbigrightarrow.gif ./symbols/nbigrightarrow.png ./symbols/nc.gif ./symbols/nc.png ./symbols/ncong.gif ./symbols/ncong.png ./symbols/ndres.gif ./symbols/ndres.png ./symbols/ne.gif ./symbols/ne.png ./symbols/nearrow.gif ./symbols/nearrow.png ./symbols/neptune.gif ./symbols/neptune.png ./symbols/newmoon.gif ./symbols/newmoon.png ./symbols/nexists.gif ./symbols/nexists.png ./symbols/ngeq.gif ./symbols/ngeq.png ./symbols/ngeqq.gif ./symbols/ngeqq.png ./symbols/ngeqslant.gif ./symbols/ngeqslant.png ./symbols/ngtr.gif ./symbols/ngtr.png ./symbols/nleftarrow.gif ./symbols/nleftarrow.png ./symbols/nleftrightarrow.gif ./symbols/nleftrightarrow.png ./symbols/nleq.gif ./symbols/nleq.png ./symbols/nleqq.gif ./symbols/nleqq.png ./symbols/nleqslant.gif ./symbols/nleqslant.png ./symbols/nless.gif ./symbols/nless.png ./symbols/nmegill.gif ./symbols/nmegill.png ./symbols/nmegillanim.gif ./symbols/nmid.gif ./symbols/nmid.png ./symbols/notapprox.gif ./symbols/notapprox.png ./symbols/notbackslash.gif ./symbols/notbackslash.png ./symbols/notin.gif ./symbols/notin.png ./symbols/notpreccurlyeq.gif ./symbols/notpreccurlyeq.png ./symbols/notsim.gif ./symbols/notsim.png ./symbols/notslash.gif ./symbols/notslash.png ./symbols/notsubset.gif ./symbols/notsubset.png ./symbols/notsucccurlyeq.gif ./symbols/notsucccurlyeq.png ./symbols/notsupset.gif ./symbols/notsupset.png ./symbols/nparallel.gif ./symbols/nparallel.png ./symbols/nprec.gif ./symbols/nprec.png ./symbols/npreceq.gif ./symbols/npreceq.png ./symbols/nrightarrow.gif ./symbols/nrightarrow.png ./symbols/nrres.gif ./symbols/nrres.png ./symbols/nshortmid.gif ./symbols/nshortmid.png ./symbols/nshortparallel.gif ./symbols/nshortparallel.png ./symbols/nsim.gif ./symbols/nsim.png ./symbols/nsubseteq.gif ./symbols/nsubseteq.png ./symbols/nsubseteqq.gif ./symbols/nsubseteqq.png ./symbols/nsucc.gif ./symbols/nsucc.png ./symbols/nsucceq.gif ./symbols/nsucceq.png ./symbols/nsupseteq.gif ./symbols/nsupseteq.png ./symbols/nsupseteqq.gif ./symbols/nsupseteqq.png ./symbols/ntriangleleft.gif ./symbols/ntriangleleft.png ./symbols/ntrianglelefteq.gif ./symbols/ntrianglelefteq.png ./symbols/ntriangleright.gif ./symbols/ntriangleright.png ./symbols/ntrianglerighteq.gif ./symbols/ntrianglerighteq.png ./symbols/nu.gif ./symbols/nu.png ./symbols/nv2dash.gif ./symbols/nv2dash.png ./symbols/nvdash.gif ./symbols/nvdash.png ./symbols/nvddash.gif ./symbols/nvddash.png ./symbols/nvvddash.gif ./symbols/nvvddash.png ./symbols/nwarrow.gif ./symbols/nwarrow.png ./symbols/o.gif ./symbols/o.png ./symbols/octagon.gif ./symbols/octagon.png ./symbols/octothorpe.gif ./symbols/octothorpe.png ./symbols/odot.gif ./symbols/odot.png ./symbols/oiint.gif ./symbols/oiint.png ./symbols/oint.gif ./symbols/oint.png ./symbols/omega.gif ./symbols/omega.png ./symbols/ominus.gif ./symbols/ominus.png ./symbols/onetoone.gif ./symbols/onetoone.png ./symbols/onetooneonto.gif ./symbols/onetooneonto.png ./symbols/onto.gif ./symbols/onto.png ./symbols/openo.gif ./symbols/openo.png ./symbols/oplus.gif ./symbols/oplus.png ./symbols/opposition.gif ./symbols/opposition.png ./symbols/oslash.gif ./symbols/oslash.png ./symbols/osmallplus.gif ./symbols/osmallplus.png ./symbols/osmalltimes.gif ./symbols/osmalltimes.png ./symbols/otimes.gif ./symbols/otimes.png ./symbols/owns.gif ./symbols/owns.png ./symbols/p.gif ./symbols/p.png ./symbols/parallel.gif ./symbols/parallel.png ./symbols/partial.gif ./symbols/partial.png ./symbols/pd.gif ./symbols/pd.png ./symbols/pentagon.gif ./symbols/pentagon.png ./symbols/percent.gif ./symbols/percent.png ./symbols/period.gif ./symbols/period.png ./symbols/permil.gif ./symbols/permil.png ./symbols/perp.gif ./symbols/perp.png ./symbols/pfun.gif ./symbols/pfun.png ./symbols/phi.gif ./symbols/phi.png ./symbols/phone.gif ./symbols/phone.png ./symbols/photon.gif ./symbols/photon.png ./symbols/pi.gif ./symbols/pi.png ./symbols/pinj.gif ./symbols/pinj.png ./symbols/pisces.gif ./symbols/pisces.png ./symbols/pitchfork.gif ./symbols/pitchfork.png ./symbols/plus.gif ./symbols/plus.png ./symbols/pluto.gif ./symbols/pluto.png ./symbols/pm.gif ./symbols/pm.png ./symbols/pointer.gif ./symbols/pointer.png ./symbols/pounds.gif ./symbols/pounds.png ./symbols/prec.gif ./symbols/prec.png ./symbols/precapprox.gif ./symbols/precapprox.png ./symbols/preccurlyeq.gif ./symbols/preccurlyeq.png ./symbols/preceq.gif ./symbols/preceq.png ./symbols/precnapprox.gif ./symbols/precnapprox.png ./symbols/precneqq.gif ./symbols/precneqq.png ./symbols/precnsim.gif ./symbols/precnsim.png ./symbols/precsim.gif ./symbols/precsim.png ./symbols/prime.gif ./symbols/prime.png ./symbols/prod.gif ./symbols/prod.png ./symbols/propto.gif ./symbols/propto.png ./symbols/psi.gif ./symbols/psi.png ./symbols/psurj.gif ./symbols/psurj.png ./symbols/publicdomain.gif ./symbols/publicdomain.png ./symbols/q.gif ./symbols/q.png ./symbols/quarternote.gif ./symbols/quarternote.png ./symbols/questionmark.gif ./symbols/questionmark.png ./symbols/quote.gif ./symbols/quote.png ./symbols/r.gif ./symbols/r.png ./symbols/radiation.gif ./symbols/radiation.png ./symbols/rangle.gif ./symbols/rangle.png ./symbols/rblot.gif ./symbols/rblot.png ./symbols/rbrace.gif ./symbols/rbrace.png ./symbols/rbrack.gif ./symbols/rbrack.png ./symbols/rceil.gif ./symbols/rceil.png ./symbols/re.gif ./symbols/re.png ./symbols/recorder.gif ./symbols/recorder.png ./symbols/restriction.gif ./symbols/restriction.png ./symbols/rfloor.gif ./symbols/rfloor.png ./symbols/rho.gif ./symbols/rho.png ./symbols/rightarrowtail.gif ./symbols/rightarrowtail.png ./symbols/rightbcircle.gif ./symbols/rightbcircle.png ./symbols/rightcircle.gif ./symbols/rightcircle.png ./symbols/rightcircleb.gif ./symbols/rightcircleb.png ./symbols/rightharpoondown.gif ./symbols/rightharpoondown.png ./symbols/rightharpoonup.gif ./symbols/rightharpoonup.png ./symbols/rightleftarrows.gif ./symbols/rightleftarrows.png ./symbols/rightleftharpoons.gif ./symbols/rightleftharpoons.png ./symbols/rightmoon.gif ./symbols/rightmoon.png ./symbols/rightrightarrows.gif ./symbols/rightrightarrows.png ./symbols/rightsquigarrow.gif ./symbols/rightsquigarrow.png ./symbols/rightthreetimes.gif ./symbols/rightthreetimes.png ./symbols/rightturn.gif ./symbols/rightturn.png ./symbols/rimg.gif ./symbols/rimg.png ./symbols/risingdotseq.gif ./symbols/risingdotseq.png ./symbols/rma.gif ./symbols/rma.png ./symbols/rmb.gif ./symbols/rmb.png ./symbols/rmc.gif ./symbols/rmc.png ./symbols/rmca.gif ./symbols/rmca.png ./symbols/rmcb.gif ./symbols/rmcb.png ./symbols/rmcc.gif ./symbols/rmcc.png ./symbols/rmcd.gif ./symbols/rmcd.png ./symbols/rmce.gif ./symbols/rmce.png ./symbols/rmcf.gif ./symbols/rmcf.png ./symbols/rmcg.gif ./symbols/rmcg.png ./symbols/rmch.gif ./symbols/rmch.png ./symbols/rmci.gif ./symbols/rmci.png ./symbols/rmcj.gif ./symbols/rmcj.png ./symbols/rmck.gif ./symbols/rmck.png ./symbols/rmcl.gif ./symbols/rmcl.png ./symbols/rmcm.gif ./symbols/rmcm.png ./symbols/rmcn.gif ./symbols/rmcn.png ./symbols/rmco.gif ./symbols/rmco.png ./symbols/rmcp.gif ./symbols/rmcp.png ./symbols/rmcq.gif ./symbols/rmcq.png ./symbols/rmcr.gif ./symbols/rmcr.png ./symbols/rmcs.gif ./symbols/rmcs.png ./symbols/rmct.gif ./symbols/rmct.png ./symbols/rmcu.gif ./symbols/rmcu.png ./symbols/rmcv.gif ./symbols/rmcv.png ./symbols/rmcw.gif ./symbols/rmcw.png ./symbols/rmcx.gif ./symbols/rmcx.png ./symbols/rmcy.gif ./symbols/rmcy.png ./symbols/rmcz.gif ./symbols/rmcz.png ./symbols/rmd.gif ./symbols/rmd.png ./symbols/rme.gif ./symbols/rme.png ./symbols/rmf.gif ./symbols/rmf.png ./symbols/rmg.gif ./symbols/rmg.png ./symbols/rmh.gif ./symbols/rmh.png ./symbols/rmi.gif ./symbols/rmi.png ./symbols/rmj.gif ./symbols/rmj.png ./symbols/rmk.gif ./symbols/rmk.png ./symbols/rml.gif ./symbols/rml.png ./symbols/rmm.gif ./symbols/rmm.png ./symbols/rmn.gif ./symbols/rmn.png ./symbols/rmo.gif ./symbols/rmo.png ./symbols/rmp.gif ./symbols/rmp.png ./symbols/rmq.gif ./symbols/rmq.png ./symbols/rmr.gif ./symbols/rmr.png ./symbols/rms.gif ./symbols/rms.png ./symbols/rmt.gif ./symbols/rmt.png ./symbols/rmu.gif ./symbols/rmu.png ./symbols/rmv.gif ./symbols/rmv.png ./symbols/rmw.gif ./symbols/rmw.png ./symbols/rmx.gif ./symbols/rmx.png ./symbols/rmy.gif ./symbols/rmy.png ./symbols/rmz.gif ./symbols/rmz.png ./symbols/rp.gif ./symbols/rp.png ./symbols/rprp.gif ./symbols/rprp.png ./symbols/rrangle.gif ./symbols/rrangle.png ./symbols/rrbrack.gif ./symbols/rrbrack.png ./symbols/rrightarrow.gif ./symbols/rrightarrow.png ./symbols/rsh.gif ./symbols/rsh.png ./symbols/rtimes.gif ./symbols/rtimes.png ./symbols/s.gif ./symbols/s.png ./symbols/sagittarius.gif ./symbols/sagittarius.png ./symbols/saturn.gif ./symbols/saturn.png ./symbols/scissorleft.gif ./symbols/scissorleft.png ./symbols/scissorright.gif ./symbols/scissorright.png ./symbols/scorpio.gif ./symbols/scorpio.png ./symbols/scra.gif ./symbols/scra.png ./symbols/scrb.gif ./symbols/scrb.png ./symbols/scrc.gif ./symbols/scrc.png ./symbols/scrd.gif ./symbols/scrd.png ./symbols/scre.gif ./symbols/scre.png ./symbols/scrf.gif ./symbols/scrf.png ./symbols/scrg.gif ./symbols/scrg.png ./symbols/scrh.gif ./symbols/scrh.png ./symbols/scri.gif ./symbols/scri.png ./symbols/scrj.gif ./symbols/scrj.png ./symbols/scrk.gif ./symbols/scrk.png ./symbols/scrl.gif ./symbols/scrl.png ./symbols/scrm.gif ./symbols/scrm.png ./symbols/scrn.gif ./symbols/scrn.png ./symbols/scro.gif ./symbols/scro.png ./symbols/scrp.gif ./symbols/scrp.png ./symbols/scrq.gif ./symbols/scrq.png ./symbols/scrr.gif ./symbols/scrr.png ./symbols/scrs.gif ./symbols/scrs.png ./symbols/scrt.gif ./symbols/scrt.png ./symbols/scru.gif ./symbols/scru.png ./symbols/scrv.gif ./symbols/scrv.png ./symbols/scrw.gif ./symbols/scrw.png ./symbols/scrx.gif ./symbols/scrx.png ./symbols/scry.gif ./symbols/scry.png ./symbols/scrz.gif ./symbols/scrz.png ./symbols/searchindex.html ./symbols/searrow.gif ./symbols/searrow.png ./symbols/semi.gif ./symbols/semi.png ./symbols/semicolon.gif ./symbols/semicolon.png ./symbols/setminus.gif ./symbols/setminus.png ./symbols/sharp.gif ./symbols/sharp.png ./symbols/shortmid.gif ./symbols/shortmid.png ./symbols/shortminus.gif ./symbols/shortminus.png ./symbols/shortparallel.gif ./symbols/shortparallel.png ./symbols/sigma.gif ./symbols/sigma.png ./symbols/sim.gif ./symbols/sim.png ./symbols/simeq.gif ./symbols/simeq.png ./symbols/sixteenstarlight.gif ./symbols/sixteenstarlight.png ./symbols/skull.gif ./symbols/skull.png ./symbols/smallcirc.gif ./symbols/smallcirc.png ./symbols/smallfrown.gif ./symbols/smallfrown.png ./symbols/smallint.gif ./symbols/smallint.png ./symbols/smallprime.gif ./symbols/smallprime.png ./symbols/smallsetminus.gif ./symbols/smallsetminus.png ./symbols/smallsmile.gif ./symbols/smallsmile.png ./symbols/smile.gif ./symbols/smile.png ./symbols/smiley.gif ./symbols/smiley.png ./symbols/snowflakechevron.gif ./symbols/snowflakechevron.png ./symbols/solidus.gif ./symbols/solidus.png ./symbols/spadesuit.gif ./symbols/spadesuit.png ./symbols/sphericalangle.gif ./symbols/sphericalangle.png ./symbols/spot.gif ./symbols/spot.png ./symbols/sqcap.gif ./symbols/sqcap.png ./symbols/sqcup.gif ./symbols/sqcup.png ./symbols/sqsubset.gif ./symbols/sqsubset.png ./symbols/sqsubseteq.gif ./symbols/sqsubseteq.png ./symbols/sqsupset.gif ./symbols/sqsupset.png ./symbols/sqsupseteq.gif ./symbols/sqsupseteq.png ./symbols/square.gif ./symbols/square.png ./symbols/squarewithdots.gif ./symbols/squarewithdots.png ./symbols/ss.gif ./symbols/ss.png ./symbols/ssubset.gif ./symbols/ssubset.png ./symbols/ssupset.gif ./symbols/ssupset.png ./symbols/star.gif ./symbols/star.png ./symbols/stopsign.gif ./symbols/stopsign.png ./symbols/sub0.gif ./symbols/sub0.png ./symbols/sub1.gif ./symbols/sub1.png ./symbols/sub2.gif ./symbols/sub2.png ./symbols/sub3.gif ./symbols/sub3.png ./symbols/sub4.gif ./symbols/sub4.png ./symbols/sub5.gif ./symbols/sub5.png ./symbols/sub6.gif ./symbols/sub6.png ./symbols/sub7.gif ./symbols/sub7.png ./symbols/sub8.gif ./symbols/sub8.png ./symbols/sub9.gif ./symbols/sub9.png ./symbols/suba.gif ./symbols/suba.png ./symbols/subalpha.gif ./symbols/subalpha.png ./symbols/subb.gif ./symbols/subb.png ./symbols/subbeta.gif ./symbols/subbeta.png ./symbols/subc.gif ./symbols/subc.png ./symbols/subca.gif ./symbols/subca.png ./symbols/subcb.gif ./symbols/subcb.png ./symbols/subcc.gif ./symbols/subcc.png ./symbols/subcd.gif ./symbols/subcd.png ./symbols/subce.gif ./symbols/subce.png ./symbols/subcf.gif ./symbols/subcf.png ./symbols/subcg.gif ./symbols/subcg.png ./symbols/subch.gif ./symbols/subch.png ./symbols/subchi.gif ./symbols/subchi.png ./symbols/subci.gif ./symbols/subci.png ./symbols/subcj.gif ./symbols/subcj.png ./symbols/subck.gif ./symbols/subck.png ./symbols/subcl.gif ./symbols/subcl.png ./symbols/subcm.gif ./symbols/subcm.png ./symbols/subcn.gif ./symbols/subcn.png ./symbols/subco.gif ./symbols/subco.png ./symbols/subcp.gif ./symbols/subcp.png ./symbols/subcq.gif ./symbols/subcq.png ./symbols/subcr.gif ./symbols/subcr.png ./symbols/subcs.gif ./symbols/subcs.png ./symbols/subct.gif ./symbols/subct.png ./symbols/subcu.gif ./symbols/subcu.png ./symbols/subcv.gif ./symbols/subcv.png ./symbols/subcw.gif ./symbols/subcw.png ./symbols/subcx.gif ./symbols/subcx.png ./symbols/subcy.gif ./symbols/subcy.png ./symbols/subcz.gif ./symbols/subcz.png ./symbols/subd.gif ./symbols/subd.png ./symbols/subdelta.gif ./symbols/subdelta.png ./symbols/sube.gif ./symbols/sube.png ./symbols/subepsilon.gif ./symbols/subepsilon.png ./symbols/subeq.gif ./symbols/subeq.png ./symbols/subeta.gif ./symbols/subeta.png ./symbols/subf.gif ./symbols/subf.png ./symbols/subg.gif ./symbols/subg.png ./symbols/subgamma.gif ./symbols/subgamma.png ./symbols/subge.gif ./symbols/subge.png ./symbols/subgt.gif ./symbols/subgt.png ./symbols/subh.gif ./symbols/subh.png ./symbols/subi.gif ./symbols/subi.png ./symbols/subin.gif ./symbols/subin.png ./symbols/subinfty.gif ./symbols/subinfty.png ./symbols/subiota.gif ./symbols/subiota.png ./symbols/subj.gif ./symbols/subj.png ./symbols/subk.gif ./symbols/subk.png ./symbols/subkappa.gif ./symbols/subkappa.png ./symbols/subl.gif ./symbols/subl.png ./symbols/sublambda.gif ./symbols/sublambda.png ./symbols/suble.gif ./symbols/suble.png ./symbols/sublp.gif ./symbols/sublp.png ./symbols/sublt.gif ./symbols/sublt.png ./symbols/subm.gif ./symbols/subm.png ./symbols/subminus.gif ./symbols/subminus.png ./symbols/submu.gif ./symbols/submu.png ./symbols/subn.gif ./symbols/subn.png ./symbols/subnu.gif ./symbols/subnu.png ./symbols/subo.gif ./symbols/subo.png ./symbols/subomega.gif ./symbols/subomega.png ./symbols/subp.gif ./symbols/subp.png ./symbols/subphi.gif ./symbols/subphi.png ./symbols/subpi.gif ./symbols/subpi.png ./symbols/subplus.gif ./symbols/subplus.png ./symbols/subpsi.gif ./symbols/subpsi.png ./symbols/subq.gif ./symbols/subq.png ./symbols/subr.gif ./symbols/subr.png ./symbols/subrho.gif ./symbols/subrho.png ./symbols/subrma.gif ./symbols/subrma.png ./symbols/subrmb.gif ./symbols/subrmb.png ./symbols/subrmc.gif ./symbols/subrmc.png ./symbols/subrmca.gif ./symbols/subrmca.png ./symbols/subrmcb.gif ./symbols/subrmcb.png ./symbols/subrmcc.gif ./symbols/subrmcc.png ./symbols/subrmcd.gif ./symbols/subrmcd.png ./symbols/subrmce.gif ./symbols/subrmce.png ./symbols/subrmcf.gif ./symbols/subrmcf.png ./symbols/subrmcg.gif ./symbols/subrmcg.png ./symbols/subrmch.gif ./symbols/subrmch.png ./symbols/subrmci.gif ./symbols/subrmci.png ./symbols/subrmcj.gif ./symbols/subrmcj.png ./symbols/subrmck.gif ./symbols/subrmck.png ./symbols/subrmcl.gif ./symbols/subrmcl.png ./symbols/subrmcm.gif ./symbols/subrmcm.png ./symbols/subrmcn.gif ./symbols/subrmcn.png ./symbols/subrmco.gif ./symbols/subrmco.png ./symbols/subrmcp.gif ./symbols/subrmcp.png ./symbols/subrmcq.gif ./symbols/subrmcq.png ./symbols/subrmcr.gif ./symbols/subrmcr.png ./symbols/subrmcs.gif ./symbols/subrmcs.png ./symbols/subrmct.gif ./symbols/subrmct.png ./symbols/subrmcu.gif ./symbols/subrmcu.png ./symbols/subrmcv.gif ./symbols/subrmcv.png ./symbols/subrmcw.gif ./symbols/subrmcw.png ./symbols/subrmcx.gif ./symbols/subrmcx.png ./symbols/subrmcy.gif ./symbols/subrmcy.png ./symbols/subrmcz.gif ./symbols/subrmcz.png ./symbols/subrmd.gif ./symbols/subrmd.png ./symbols/subrme.gif ./symbols/subrme.png ./symbols/subrmf.gif ./symbols/subrmf.png ./symbols/subrmg.gif ./symbols/subrmg.png ./symbols/subrmh.gif ./symbols/subrmh.png ./symbols/subrmi.gif ./symbols/subrmi.png ./symbols/subrmj.gif ./symbols/subrmj.png ./symbols/subrmk.gif ./symbols/subrmk.png ./symbols/subrml.gif ./symbols/subrml.png ./symbols/subrmm.gif ./symbols/subrmm.png ./symbols/subrmn.gif ./symbols/subrmn.png ./symbols/subrmo.gif ./symbols/subrmo.png ./symbols/subrmp.gif ./symbols/subrmp.png ./symbols/subrmq.gif ./symbols/subrmq.png ./symbols/subrmr.gif ./symbols/subrmr.png ./symbols/subrms.gif ./symbols/subrms.png ./symbols/subrmt.gif ./symbols/subrmt.png ./symbols/subrmu.gif ./symbols/subrmu.png ./symbols/subrmv.gif ./symbols/subrmv.png ./symbols/subrmw.gif ./symbols/subrmw.png ./symbols/subrmx.gif ./symbols/subrmx.png ./symbols/subrmy.gif ./symbols/subrmy.png ./symbols/subrmz.gif ./symbols/subrmz.png ./symbols/subrp.gif ./symbols/subrp.png ./symbols/subs.gif ./symbols/subs.png ./symbols/subscrh.gif ./symbols/subscrh.png ./symbols/subscrl.gif ./symbols/subscrl.png ./symbols/subset.gif ./symbols/subset.png ./symbols/subseteq.gif ./symbols/subseteq.png ./symbols/subseteqq.gif ./symbols/subseteqq.png ./symbols/subsetneq.gif ./symbols/subsetneq.png ./symbols/subsetneqq.gif ./symbols/subsetneqq.png ./symbols/subsigma.gif ./symbols/subsigma.png ./symbols/subt.gif ./symbols/subt.png ./symbols/subtau.gif ./symbols/subtau.png ./symbols/subtheta.gif ./symbols/subtheta.png ./symbols/subto.gif ./symbols/subto.png ./symbols/subu.gif ./symbols/subu.png ./symbols/subupsilon.gif ./symbols/subupsilon.png ./symbols/subv.gif ./symbols/subv.png ./symbols/subvarepsilon.gif ./symbols/subvarepsilon.png ./symbols/subvarphi.gif ./symbols/subvarphi.png ./symbols/subvarpi.gif ./symbols/subvarpi.png ./symbols/subvarrho.gif ./symbols/subvarrho.png ./symbols/subvarsigma.gif ./symbols/subvarsigma.png ./symbols/subvartheta.gif ./symbols/subvartheta.png ./symbols/subw.gif ./symbols/subw.png ./symbols/subx.gif ./symbols/subx.png ./symbols/subxi.gif ./symbols/subxi.png ./symbols/suby.gif ./symbols/suby.png ./symbols/subz.gif ./symbols/subz.png ./symbols/subzeta.gif ./symbols/subzeta.png ./symbols/succ.gif ./symbols/succ.png ./symbols/succapprox.gif ./symbols/succapprox.png ./symbols/succcurlyeq.gif ./symbols/succcurlyeq.png ./symbols/succeq.gif ./symbols/succeq.png ./symbols/succnapprox.gif ./symbols/succnapprox.png ./symbols/succneqq.gif ./symbols/succneqq.png ./symbols/succnsim.gif ./symbols/succnsim.png ./symbols/succsim.gif ./symbols/succsim.png ./symbols/sum.gif ./symbols/sum.png ./symbols/sun.gif ./symbols/sun.png ./symbols/sup0.gif ./symbols/sup0.png ./symbols/sup1.gif ./symbols/sup1.png ./symbols/sup2.gif ./symbols/sup2.png ./symbols/sup3.gif ./symbols/sup3.png ./symbols/sup4.gif ./symbols/sup4.png ./symbols/sup5.gif ./symbols/sup5.png ./symbols/sup6.gif ./symbols/sup6.png ./symbols/sup7.gif ./symbols/sup7.png ./symbols/sup8.gif ./symbols/sup8.png ./symbols/sup9.gif ./symbols/sup9.png ./symbols/supa.gif ./symbols/supa.png ./symbols/supalpha.gif ./symbols/supalpha.png ./symbols/supast.gif ./symbols/supast.png ./symbols/supb.gif ./symbols/supb.png ./symbols/supbeta.gif ./symbols/supbeta.png ./symbols/supc.gif ./symbols/supc.png ./symbols/supca.gif ./symbols/supca.png ./symbols/supcb.gif ./symbols/supcb.png ./symbols/supcc.gif ./symbols/supcc.png ./symbols/supcd.gif ./symbols/supcd.png ./symbols/supce.gif ./symbols/supce.png ./symbols/supcf.gif ./symbols/supcf.png ./symbols/supcg.gif ./symbols/supcg.png ./symbols/supch.gif ./symbols/supch.png ./symbols/supchi.gif ./symbols/supchi.png ./symbols/supci.gif ./symbols/supci.png ./symbols/supcj.gif ./symbols/supcj.png ./symbols/supck.gif ./symbols/supck.png ./symbols/supcl.gif ./symbols/supcl.png ./symbols/supcm.gif ./symbols/supcm.png ./symbols/supcn.gif ./symbols/supcn.png ./symbols/supco.gif ./symbols/supco.png ./symbols/supcp.gif ./symbols/supcp.png ./symbols/supcq.gif ./symbols/supcq.png ./symbols/supcr.gif ./symbols/supcr.png ./symbols/supcs.gif ./symbols/supcs.png ./symbols/supct.gif ./symbols/supct.png ./symbols/supcu.gif ./symbols/supcu.png ./symbols/supcv.gif ./symbols/supcv.png ./symbols/supcw.gif ./symbols/supcw.png ./symbols/supcx.gif ./symbols/supcx.png ./symbols/supcy.gif ./symbols/supcy.png ./symbols/supcz.gif ./symbols/supcz.png ./symbols/supd.gif ./symbols/supd.png ./symbols/supdelta.gif ./symbols/supdelta.png ./symbols/supe.gif ./symbols/supe.png ./symbols/supepsilon.gif ./symbols/supepsilon.png ./symbols/supeq.gif ./symbols/supeq.png ./symbols/supeta.gif ./symbols/supeta.png ./symbols/supf.gif ./symbols/supf.png ./symbols/supfrown.gif ./symbols/supfrown.png ./symbols/supg.gif ./symbols/supg.png ./symbols/supgamma.gif ./symbols/supgamma.png ./symbols/supge.gif ./symbols/supge.png ./symbols/supgt.gif ./symbols/supgt.png ./symbols/suph.gif ./symbols/suph.png ./symbols/supi.gif ./symbols/supi.png ./symbols/supinfty.gif ./symbols/supinfty.png ./symbols/supiota.gif ./symbols/supiota.png ./symbols/supj.gif ./symbols/supj.png ./symbols/supk.gif ./symbols/supk.png ./symbols/supkappa.gif ./symbols/supkappa.png ./symbols/supl.gif ./symbols/supl.png ./symbols/suplambda.gif ./symbols/suplambda.png ./symbols/suple.gif ./symbols/suple.png ./symbols/suplp.gif ./symbols/suplp.png ./symbols/suplt.gif ./symbols/suplt.png ./symbols/supm.gif ./symbols/supm.png ./symbols/supminus.gif ./symbols/supminus.png ./symbols/supmu.gif ./symbols/supmu.png ./symbols/supn.gif ./symbols/supn.png ./symbols/supnu.gif ./symbols/supnu.png ./symbols/supo.gif ./symbols/supo.png ./symbols/supomega.gif ./symbols/supomega.png ./symbols/supp.gif ./symbols/supp.png ./symbols/supperp.gif ./symbols/supperp.png ./symbols/supphi.gif ./symbols/supphi.png ./symbols/suppi.gif ./symbols/suppi.png ./symbols/supplus.gif ./symbols/supplus.png ./symbols/suppsi.gif ./symbols/suppsi.png ./symbols/supq.gif ./symbols/supq.png ./symbols/supr.gif ./symbols/supr.png ./symbols/suprho.gif ./symbols/suprho.png ./symbols/suprp.gif ./symbols/suprp.png ./symbols/sups.gif ./symbols/sups.png ./symbols/supset.gif ./symbols/supset.png ./symbols/supseteq.gif ./symbols/supseteq.png ./symbols/supseteqq.gif ./symbols/supseteqq.png ./symbols/supsetneq.gif ./symbols/supsetneq.png ./symbols/supsetneqq.gif ./symbols/supsetneqq.png ./symbols/supsigma.gif ./symbols/supsigma.png ./symbols/supt.gif ./symbols/supt.png ./symbols/suptau.gif ./symbols/suptau.png ./symbols/suptheta.gif ./symbols/suptheta.png ./symbols/supu.gif ./symbols/supu.png ./symbols/supupsilon.gif ./symbols/supupsilon.png ./symbols/supv.gif ./symbols/supv.png ./symbols/supvarepsilon.gif ./symbols/supvarepsilon.png ./symbols/supvarphi.gif ./symbols/supvarphi.png ./symbols/supvarpi.gif ./symbols/supvarpi.png ./symbols/supvarrho.gif ./symbols/supvarrho.png ./symbols/supvarsigma.gif ./symbols/supvarsigma.png ./symbols/supvartheta.gif ./symbols/supvartheta.png ./symbols/supw.gif ./symbols/supw.png ./symbols/supx.gif ./symbols/supx.png ./symbols/supxi.gif ./symbols/supxi.png ./symbols/supy.gif ./symbols/supy.png ./symbols/supz.gif ./symbols/supz.png ./symbols/supzeta.gif ./symbols/supzeta.png ./symbols/surd.gif ./symbols/surd.png ./symbols/swarrow.gif ./symbols/swarrow.png ./symbols/symbols.gif ./symbols/symbols.html ./symbols/t.gif ./symbols/t.png ./symbols/tau.gif ./symbols/tau.png ./symbols/taurus.gif ./symbols/taurus.png ./symbols/textdbend.gif ./symbols/textdbend.png ./symbols/therefore.gif ./symbols/therefore.png ./symbols/theta.gif ./symbols/theta.png ./symbols/thickapprox.gif ./symbols/thickapprox.png ./symbols/thicksim.gif ./symbols/thicksim.png ./symbols/thorn.gif ./symbols/thorn.png ./symbols/tilde.gif ./symbols/tilde.png ./symbols/times.gif ./symbols/times.png ./symbols/to.gif ./symbols/to.png ./symbols/top.gif ./symbols/top.png ./symbols/triangledown.gif ./symbols/triangledown.png ./symbols/triangleleft.gif ./symbols/triangleleft.png ./symbols/trianglelefteq.gif ./symbols/trianglelefteq.png ./symbols/triangleq.gif ./symbols/triangleq.png ./symbols/triangleright.gif ./symbols/triangleright.png ./symbols/trianglerighteq.gif ./symbols/trianglerighteq.png ./symbols/twoheadleftarrow.gif ./symbols/twoheadleftarrow.png ./symbols/twoheadrightarrow.gif ./symbols/twoheadrightarrow.png ./symbols/twonotes.gif ./symbols/twonotes.png ./symbols/u.gif ./symbols/u.png ./symbols/uminus.gif ./symbols/uminus.png ./symbols/uparrow.gif ./symbols/uparrow.png ./symbols/updownarrow.gif ./symbols/updownarrow.png ./symbols/upharpoonleft.gif ./symbols/upharpoonleft.png ./symbols/uplus.gif ./symbols/uplus.png ./symbols/upsilon.gif ./symbols/upsilon.png ./symbols/upuparrows.gif ./symbols/upuparrows.png ./symbols/uranus.gif ./symbols/uranus.png ./symbols/v.gif ./symbols/v.png ./symbols/v2dash.gif ./symbols/v2dash.png ./symbols/varaleph.gif ./symbols/varaleph.png ./symbols/varangle.gif ./symbols/varangle.png ./symbols/vareighthnote.gif ./symbols/vareighthnote.png ./symbols/varepsilon.gif ./symbols/varepsilon.png ./symbols/varhexagon.gif ./symbols/varhexagon.png ./symbols/varhexstar.gif ./symbols/varhexstar.png ./symbols/varint.gif ./symbols/varint.png ./symbols/varkappa.gif ./symbols/varkappa.png ./symbols/varneptune.gif ./symbols/varneptune.png ./symbols/varnothing.gif ./symbols/varnothing.png ./symbols/varoint.gif ./symbols/varoint.png ./symbols/varphi.gif ./symbols/varphi.png ./symbols/varpi.gif ./symbols/varpi.png ./symbols/varpluto.gif ./symbols/varpluto.png ./symbols/varpropto.gif ./symbols/varpropto.png ./symbols/varrho.gif ./symbols/varrho.png ./symbols/varsigma.gif ./symbols/varsigma.png ./symbols/varsubsetneq.gif ./symbols/varsubsetneq.png ./symbols/varsubsetneqq.gif ./symbols/varsubsetneqq.png ./symbols/varsupsetneq.gif ./symbols/varsupsetneq.png ./symbols/varsupsetneqq.gif ./symbols/varsupsetneqq.png ./symbols/vartheta.gif ./symbols/vartheta.png ./symbols/vartriangle.gif ./symbols/vartriangle.png ./symbols/vartriangleleft.gif ./symbols/vartriangleleft.png ./symbols/vartriangleright.gif ./symbols/vartriangleright.png ./symbols/varuranus.gif ./symbols/varuranus.png ./symbols/vdash.gif ./symbols/vdash.png ./symbols/vddash.gif ./symbols/vddash.png ./symbols/vdots.gif ./symbols/vdots.png ./symbols/vdvdash.gif ./symbols/vdvdash.png ./symbols/vec.gif ./symbols/vec.png ./symbols/vee.gif ./symbols/vee.png ./symbols/veebar.gif ./symbols/veebar.png ./symbols/venus.gif ./symbols/venus.png ./symbols/vernal_or_aries.gif ./symbols/vernal_or_aries.png ./symbols/vert.gif ./symbols/vert.png ./symbols/vhf.gif ./symbols/vhf.png ./symbols/virgo.gif ./symbols/virgo.png ./symbols/vvdash.gif ./symbols/vvdash.png ./symbols/w.gif ./symbols/w.png ./symbols/wbowtie.gif ./symbols/wbowtie.png ./symbols/wbox.gif ./symbols/wbox.png ./symbols/wdiamond.gif ./symbols/wdiamond.png ./symbols/wedge.gif ./symbols/wedge.png ./symbols/wlozenge.gif ./symbols/wlozenge.png ./symbols/wp.gif ./symbols/wp.png ./symbols/wr.gif ./symbols/wr.png ./symbols/wvarpropto.gif ./symbols/wvarpropto.png ./symbols/x.gif ./symbols/x.png ./symbols/xbox.gif ./symbols/xbox.png ./symbols/xi.gif ./symbols/xi.png ./symbols/y.gif ./symbols/y.png ./symbols/yen.gif ./symbols/yen.png ./symbols/z.gif ./symbols/z.png ./symbols/zeta.gif ./symbols/zeta.png tmpmetamathsite/./symbols/
+ cp -p ./latex/finiteaxiom.tex ./latex/megillaward2003.tex ./latex/megillaward2004-OLD.tex ./latex/megillaward2004.tex ./latex/megillaward2005eu.tex ./latex/megillaward2005he.tex ./latex/metamath.tex tmpmetamathsite/./latex/
+ cd mpegif
+ find . -type f '!' -name '*.html' -exec cp -p '{}' ../tmpmetamathsite/mpegif/ ';'
+ '[' -f ../symbols/_0h.gif ']'
+ '[' -f ../symbols/_0op.gif ']'
+ '[' -f ../symbols/_0r.gif ']'
+ '[' -f ../symbols/_0v.gif ']'
+ '[' -f ../symbols/_0vh.gif ']'
+ '[' -f ../symbols/_10.gif ']'
+ '[' -f ../symbols/_1o.gif ']'
+ '[' -f ../symbols/_1p.gif ']'
+ '[' -f ../symbols/_1q.gif ']'
+ '[' -f ../symbols/_1r.gif ']'
+ '[' -f ../symbols/_1st.gif ']'
+ '[' -f ../symbols/_2nd.gif ']'
+ '[' -f ../symbols/_2o.gif ']'
+ '[' -f ../symbols/__cf.gif ']'
+ '[' -f ../symbols/_a.gif ']'
+ '[' -f ../symbols/_abs.gif ']'
+ '[' -f ../symbols/_astq.gif ']'
+ '[' -f ../symbols/_atoms.gif ']'
+ '[' -f ../symbols/_b.gif ']'
+ '[' -f ../symbols/_bbn0.gif ']'
+ '[' -f ../symbols/_bbrast.gif ']'
+ '[' -f ../symbols/_bbrplus.gif ']'
+ '[' -f ../symbols/_bbzge.gif ']'
+ '[' -f ../symbols/_bigtimes.gif ']'
+ '[' -f ../symbols/_bigveeh.gif ']'
+ '[' -f ../symbols/_c.gif ']'
+ '[' -f ../symbols/_ca.gif ']'
+ '[' -f ../symbols/_capbar.gif ']'
+ '[' -f ../symbols/_card.gif ']'
+ '[' -f ../symbols/_cauchy.gif ']'
+ '[' -f ../symbols/_cb.gif ']'
+ '[' -f ../symbols/_cc.gif ']'
+ '[' -f ../symbols/_ccard.gif ']'
+ '[' -f ../symbols/_cch.gif ']'
+ '[' -f ../symbols/_cd.gif ']'
+ '[' -f ../symbols/_cdfn.gif ']'
+ '[' -f ../symbols/_cdh.gif ']'
+ '[' -f ../symbols/_cdi.gif ']'
+ '[' -f ../symbols/_cdih.gif ']'
+ '[' -f ../symbols/_cdn.gif ']'
+ '[' -f ../symbols/_cdo.gif ']'
+ '[' -f ../symbols/_cdop.gif ']'
+ '[' -f ../symbols/_cdp.gif ']'
+ '[' -f ../symbols/_cdpq.gif ']'
+ '[' -f ../symbols/_cdpr.gif ']'
+ '[' -f ../symbols/_cdq.gif ']'
+ '[' -f ../symbols/_cdr.gif ']'
+ '[' -f ../symbols/_cds.gif ']'
+ '[' -f ../symbols/_cf.gif ']'
+ '[' -f ../symbols/_cg.gif ']'
+ '[' -f ../symbols/_ch.gif ']'
+ '[' -f ../symbols/_chi.gif ']'
+ '[' -f ../symbols/_cj.gif ']'
+ '[' -f ../symbols/_ck.gif ']'
+ '[' -f ../symbols/_cl.gif ']'
+ '[' -f ../symbols/_class.gif ']'
+ '[' -f ../symbols/_cm.gif ']'
+ '[' -f ../symbols/_cn.gif ']'
+ '[' -f ../symbols/_cnmap.gif ']'
+ '[' -f ../symbols/_cnv.gif ']'
+ '[' -f ../symbols/_co.gif ']'
+ '[' -f ../symbols/_cos.gif ']'
+ '[' -f ../symbols/_cp.gif ']'
+ '[' -f ../symbols/_cq.gif ']'
+ '[' -f ../symbols/_cr.gif ']'
+ '[' -f ../symbols/_cs.gif ']'
+ '[' -f ../symbols/_ct.gif ']'
+ '[' -f ../symbols/_cu.gif ']'
+ '[' -f ../symbols/_cupbar.gif ']'
+ '[' -f ../symbols/_cw.gif ']'
+ '[' -f ../symbols/_cx.gif ']'
+ '[' -f ../symbols/_cy.gif ']'
+ '[' -f ../symbols/_cz.gif ']'
+ '[' -f ../symbols/_d.gif ']'
+ '[' -f ../symbols/_ded.gif ']'
+ '[' -f ../symbols/_divg.gif ']'
+ '[' -f ../symbols/_dom.gif ']'
+ '[' -f ../symbols/_e1.gif ']'
+ '[' -f ../symbols/_em1.gif ']'
+ '[' -f ../symbols/_er.gif ']'
+ '[' -f ../symbols/_eta.gif ']'
+ '[' -f ../symbols/_exp.gif ']'
+ '[' -f ../symbols/_f.gif ']'
+ '[' -f ../symbols/_fn.gif ']'
+ '[' -f ../symbols/_fr.gif ']'
+ '[' -f ../symbols/_fun.gif ']'
+ '[' -f ../symbols/_g.gif ']'
+ '[' -f ../symbols/_h.gif ']'
+ '[' -f ../symbols/_hatm.gif ']'
+ '[' -f ../symbols/_hato.gif ']'
+ '[' -f ../symbols/_hatpm.gif ']'
+ '[' -f ../symbols/_if.gif ']'
+ '[' -f ../symbols/_iop.gif ']'
+ '[' -f ../symbols/_isom.gif ']'
+ '[' -f ../symbols/_j.gif ']'
+ '[' -f ../symbols/_k.gif ']'
+ '[' -f ../symbols/_leop.gif ']'
+ '[' -f ../symbols/_lim.gif ']'
+ '[' -f ../symbols/_limsup.gif ']'
+ '[' -f ../symbols/_lnoth.gif ']'
+ '[' -f ../symbols/_log.gif ']'
+ '[' -f ../symbols/_ltbbr.gif ']'
+ '[' -f ../symbols/_ltn.gif ']'
+ '[' -f ../symbols/_ltp.gif ']'
+ '[' -f ../symbols/_ltq.gif ']'
+ '[' -f ../symbols/_ltr.gif ']'
+ '[' -f ../symbols/_m.gif ']'
+ '[' -f ../symbols/_m1r.gif ']'
+ '[' -f ../symbols/_mh.gif ']'
+ '[' -f ../symbols/_mhast.gif ']'
+ '[' -f ../symbols/_minf.gif ']'
+ '[' -f ../symbols/_mop.gif ']'
+ '[' -f ../symbols/_music_shape_be.gif ']'
+ '[' -f ../symbols/_music_shape_fu.gif ']'
+ '[' -f ../symbols/_music_shape_mm.gif ']'
+ '[' -f ../symbols/_mv.gif ']'
+ '[' -f ../symbols/_mvh.gif ']'
+ '[' -f ../symbols/_n.gif ']'
+ '[' -f ../symbols/_nmegill.gif ']'
+ '[' -f ../symbols/_norm.gif ']'
+ '[' -f ../symbols/_normh.gif ']'
+ '[' -f ../symbols/_note.gif ']'
+ '[' -f ../symbols/_o.gif ']'
+ '[' -f ../symbols/_on.gif ']'
+ '[' -f ../symbols/_or.gif ']'
+ '[' -f ../symbols/_orange1circ.gif ']'
+ '[' -f ../symbols/_orange2circ.gif ']'
+ '[' -f ../symbols/_orange3circ.gif ']'
+ '[' -f ../symbols/_ord.gif ']'
+ '[' -f ../symbols/_p.gif ']'
+ '[' -f ../symbols/_pfun.gif ']'
+ '[' -f ../symbols/_pinf.gif ']'
+ '[' -f ../symbols/_plc.gif ']'
+ '[' -f ../symbols/_plfn.gif ']'
+ '[' -f ../symbols/_plh.gif ']'
+ '[' -f ../symbols/_pln.gif ']'
+ '[' -f ../symbols/_plo.gif ']'
+ '[' -f ../symbols/_plop.gif ']'
+ '[' -f ../symbols/_plp.gif ']'
+ '[' -f ../symbols/_plpq.gif ']'
+ '[' -f ../symbols/_plpr.gif ']'
+ '[' -f ../symbols/_plq.gif ']'
+ '[' -f ../symbols/_plr.gif ']'
+ '[' -f ../symbols/_plv.gif ']'
+ '[' -f ../symbols/_po.gif ']'
+ '[' -f ../symbols/_proofstep.gif ']'
+ '[' -f ../symbols/_psi.gif ']'
+ '[' -f ../symbols/_pvh.gif ']'
+ '[' -f ../symbols/_q.gif ']'
+ '[' -f ../symbols/_r.gif ']'
+ '[' -f ../symbols/_r1.gif ']'
+ '[' -f ../symbols/_ran.gif ']'
+ '[' -f ../symbols/_rank.gif ']'
+ '[' -f ../symbols/_rec.gif ']'
+ '[' -f ../symbols/_rel.gif ']'
+ '[' -f ../symbols/_rho.gif ']'
+ '[' -f ../symbols/_s.gif ']'
+ '[' -f ../symbols/_scrch.gif ']'
+ '[' -f ../symbols/_seq.gif ']'
+ '[' -f ../symbols/_seq0.gif ']'
+ '[' -f ../symbols/_seq1.gif ']'
+ '[' -f ../symbols/_set.gif ']'
+ '[' -f ../symbols/_sh.gif ']'
+ '[' -f ../symbols/_shift.gif ']'
+ '[' -f ../symbols/_sigma.gif ']'
+ '[' -f ../symbols/_simq.gif ']'
+ '[' -f ../symbols/_simr.gif ']'
+ '[' -f ../symbols/_sin.gif ']'
+ '[' -f ../symbols/_span.gif ']'
+ '[' -f ../symbols/_squigm.gif ']'
+ '[' -f ../symbols/_squigv.gif ']'
+ '[' -f ../symbols/_states.gif ']'
+ '[' -f ../symbols/_suc.gif ']'
+ '[' -f ../symbols/_sum1inf.gif ']'
+ '[' -f ../symbols/_sup.gif ']'
+ '[' -f ../symbols/_t.gif ']'
+ '[' -f ../symbols/_tau.gif ']'
+ '[' -f ../symbols/_theta.gif ']'
+ '[' -f ../symbols/_tr.gif ']'
+ '[' -f ../symbols/_u.gif ']'
+ '[' -f ../symbols/_ulbrack.gif ']'
+ '[' -f ../symbols/_urbrack.gif ']'
+ '[' -f ../symbols/_v.gif ']'
+ '[' -f ../symbols/_varphi.gif ']'
+ '[' -f ../symbols/_vdash.gif ']'
+ '[' -f ../symbols/_veeh.gif ']'
+ '[' -f ../symbols/_w.gif ']'
+ '[' -f ../symbols/_we.gif ']'
+ '[' -f ../symbols/_wff.gif ']'
+ '[' -f ../symbols/_x.gif ']'
+ '[' -f ../symbols/_y.gif ']'
+ '[' -f ../symbols/_z.gif ']'
+ '[' -f ../symbols/_zeta.gif ']'
+ '[' -f ../symbols/atomic.gif ']'
+ '[' -f ../symbols/bn65_20.gif ']'
+ '[' -f ../symbols/note1.gif ']'
+ '[' -f ../symbols/spacer.gif ']'
+ '[' -f mm.gif ']'
+ '[' -f favicon.ico ']'
+ '[' -f _nmemail.gif ']'
+ cp -p mmbiblio.html mmcomplex.html mmdeduction.html mmhil.html mmmusic.html mmrecent.html mmset.html mmzfcnd.html ../tmpmetamathsite/mpegif/
+ '[' -f mmtheorems.html ']'
+ '[' -f mmdefinitions.html ']'
+ '[' -f mmascii.html ']'
+ cd ..
+ cd qlegif
+ find . -type f '!' -name '*.html' -exec cp -p '{}' ../tmpmetamathsite/qlegif/ ';'
+ '[' -f ../symbols/_ba.gif ']'
+ '[' -f ../symbols/_bb.gif ']'
+ '[' -f ../symbols/_bc.gif ']'
+ '[' -f ../symbols/_bd.gif ']'
+ '[' -f ../symbols/_be.gif ']'
+ '[' -f ../symbols/_bf.gif ']'
+ '[' -f ../symbols/_bg.gif ']'
+ '[' -f ../symbols/_bh.gif ']'
+ '[' -f ../symbols/_bi.gif ']'
+ '[' -f ../symbols/_bi1.gif ']'
+ '[' -f ../symbols/_bi3.gif ']'
+ '[' -f ../symbols/_bj.gif ']'
+ '[' -f ../symbols/_bk.gif ']'
+ '[' -f ../symbols/_bl.gif ']'
+ '[' -f ../symbols/_bm.gif ']'
+ '[' -f ../symbols/_bn.gif ']'
+ '[' -f ../symbols/_bp.gif ']'
+ '[' -f ../symbols/_bq.gif ']'
+ '[' -f ../symbols/_br.gif ']'
+ '[' -f ../symbols/_bt.gif ']'
+ '[' -f ../symbols/_bu.gif ']'
+ '[' -f ../symbols/_bw.gif ']'
+ '[' -f ../symbols/_bx.gif ']'
+ '[' -f ../symbols/_by.gif ']'
+ '[' -f ../symbols/_bz.gif ']'
+ '[' -f ../symbols/_cap3.gif ']'
+ '[' -f ../symbols/_cup3.gif ']'
+ '[' -f ../symbols/_equiv0.gif ']'
+ '[' -f ../symbols/_equiv1.gif ']'
+ '[' -f ../symbols/_equiv2.gif ']'
+ '[' -f ../symbols/_equiv3.gif ']'
+ '[' -f ../symbols/_equiv4.gif ']'
+ '[' -f ../symbols/_equiv5.gif ']'
+ '[' -f ../symbols/_le2.gif ']'
+ '[' -f ../symbols/_noa.gif ']'
+ '[' -f ../symbols/_o6.gif ']'
+ '[' -f ../symbols/_oa.gif ']'
+ '[' -f ../symbols/_term.gif ']'
+ '[' -f ../symbols/_to0.gif ']'
+ '[' -f ../symbols/_to1.gif ']'
+ '[' -f ../symbols/_to2.gif ']'
+ '[' -f ../symbols/_to3.gif ']'
+ '[' -f ../symbols/_to4.gif ']'
+ '[' -f ../symbols/_to5.gif ']'
+ '[' -f ../symbols/cowboy.gif ']'
+ '[' -f ../symbols/l46-7icon.gif ']'
+ '[' -f ../mpegif/_ba.gif ']'
+ '[' -f ../mpegif/_bb.gif ']'
+ '[' -f ../mpegif/_bc.gif ']'
+ '[' -f ../mpegif/_bd.gif ']'
+ '[' -f ../mpegif/_be.gif ']'
+ '[' -f ../mpegif/_bf.gif ']'
+ '[' -f ../mpegif/_bg.gif ']'
+ '[' -f ../mpegif/_bh.gif ']'
+ '[' -f ../mpegif/_bi.gif ']'
+ '[' -f ../mpegif/_bi1.gif ']'
+ '[' -f ../mpegif/_bi3.gif ']'
+ '[' -f ../mpegif/_bj.gif ']'
+ '[' -f ../mpegif/_bk.gif ']'
+ '[' -f ../mpegif/_bl.gif ']'
+ '[' -f ../mpegif/_bm.gif ']'
+ '[' -f ../mpegif/_bn.gif ']'
+ '[' -f ../mpegif/_bp.gif ']'
+ '[' -f ../mpegif/_bq.gif ']'
+ '[' -f ../mpegif/_br.gif ']'
+ '[' -f ../mpegif/_bt.gif ']'
+ '[' -f ../mpegif/_bu.gif ']'
+ '[' -f ../mpegif/_bw.gif ']'
+ '[' -f ../mpegif/_bx.gif ']'
+ '[' -f ../mpegif/_by.gif ']'
+ '[' -f ../mpegif/_bz.gif ']'
+ '[' -f ../mpegif/_cap3.gif ']'
+ '[' -f ../mpegif/_cup3.gif ']'
+ '[' -f ../mpegif/_equiv0.gif ']'
+ '[' -f ../mpegif/_equiv1.gif ']'
+ '[' -f ../mpegif/_equiv2.gif ']'
+ '[' -f ../mpegif/_equiv3.gif ']'
+ '[' -f ../mpegif/_equiv4.gif ']'
+ '[' -f ../mpegif/_equiv5.gif ']'
+ '[' -f ../mpegif/_le2.gif ']'
+ '[' -f ../mpegif/_noa.gif ']'
+ '[' -f ../mpegif/_o6.gif ']'
+ '[' -f ../mpegif/_oa.gif ']'
+ '[' -f ../mpegif/_term.gif ']'
+ '[' -f ../mpegif/_to0.gif ']'
+ '[' -f ../mpegif/_to1.gif ']'
+ '[' -f ../mpegif/_to2.gif ']'
+ '[' -f ../mpegif/_to3.gif ']'
+ '[' -f ../mpegif/_to4.gif ']'
+ '[' -f ../mpegif/_to5.gif ']'
+ '[' -f ../mpegif/cowboy.gif ']'
+ '[' -f ../mpegif/l46-7icon.gif ']'
+ '[' -f favicon.ico ']'
+ '[' -f _nmemail.gif ']'
+ cp -p mmql.html ../tmpmetamathsite/qlegif/
+ '[' -f mmtheorems.html ']'
+ '[' -f mmdefinitions.html ']'
+ '[' -f mmascii.html ']'
+ cd ..
+ cd mmsolitaire
+ '[' -f ../symbols/_cpblue.gif ']'
+ '[' -f ../symbols/_cqblue.gif ']'
+ '[' -f ../symbols/_crblue.gif ']'
+ '[' -f ../mpegif/_cpblue.gif ']'
+ '[' -f ../mpegif/_cqblue.gif ']'
+ '[' -f ../mpegif/_crblue.gif ']'
+ '[' -f mm.gif ']'
+ '[' -f favicon.ico ']'
+ '[' -f _nmemail.gif ']'
+ cd ..
+ cd symbols
+ '[' -f mm.gif ']'
+ '[' -f favicon.ico ']'
+ '[' -f _nmemail.gif ']'
+ cd ..
+ cd latex
+ find . -type f '!' -name '*.tex' -exec rm -f '../tmpmetamathsite/latex/{}' ';'
+ cd ..
+ '[' -f downloads/mpegif.tar.bz2 ']'
+ '[' -f downloads/mpegif.tar.gz ']'
+ '[' -f downloads/mpegif.zip ']'
+ '[' -f downloads/mpeuni.tar.bz2 ']'
+ '[' -f downloads/mpeuni.tar.gz ']'
+ '[' -f downloads/mpeuni.zip ']'
+ '[' -f downloads/qlegif.tar.bz2 ']'
+ '[' -f downloads/qlegif.tar.gz ']'
+ '[' -f downloads/qlegif.zip ']'
+ '[' -f downloads/qleuni.tar.bz2 ']'
+ '[' -f downloads/qleuni.tar.gz ']'
+ '[' -f downloads/qleuni.zip ']'
+ '[' -f downloads/mmsolitaire.tar.bz2 ']'
+ '[' -f downloads/mmsolitaire.tar.gz ']'
+ '[' -f downloads/mmsolitaire.zip ']'
+ '[' -f downloads/symbols.tar.bz2 ']'
+ '[' -f downloads/symbols.tar.gz ']'
+ '[' -f downloads/symbols.zip ']'
+ '[' -f downloads/metamathsite.tar.bz2 ']'
+ '[' -f downloads/metamathsite.tar.gz ']'
+ '[' -f downloads/metamathsite.zip ']'
+ '[' -f downloads/metamath.tar.bz2 ']'
+ '[' -f downloads/metamath.tar.gz ']'
+ '[' -f downloads/metamath.zip ']'
+ '[' -f downloads/metamath.pdf ']'
+ '[' -f downloads/finiteaxiom.pdf ']'
+ '[' -f downloads/megillaward2003.pdf ']'
+ '[' -f downloads/megillaward2004.pdf ']'
+ '[' -f downloads/quantum-logic.tar.gz ']'
+ '[' -f downloads/quantum-logic.zip ']'
+ '[' -f metamath/metamath ']'
+ rm -f tmpmetamathsite/README.TXT tmpmetamathsite/__README.TXT
+ rm -f README.TXT __README.TXT
+ rm -f tmpmetamathsite/LICENSE.TXT
+ rm -rf metamathsite
+ '[' -d metamathsite ']'
+ mv tmpmetamathsite metamathsite
+ '[' -d tmpmetamathsite ']'
+ cd metamath
+ '[' -f metamath.exe ']'
+ chmod +x metamath.exe
+ echo 'Compiling Metamath...'
Compiling Metamath...
+ false
+ gcc metamath.c mmcmdl.c mmcmds.c mmdata.c mmhlpa.c mmhlpb.c mminou.c mmmaci.c mmpars.c mmpfas.c mmunif.c mmutil.c mmveri.c mmvstr.c mmword.c mmwtex.c -o metamath -O3 -funroll-loops -finline-functions -fomit-frame-pointer -Wall -ansi -pedantic
+ cd ..
+ mkdir mpegif-new
+ cp -p metamathsite/mpegif/0ex.mid metamathsite/mpegif/2p2e4.mid metamathsite/mpegif/_0h.gif metamathsite/mpegif/_0op.gif metamathsite/mpegif/_0r.gif metamathsite/mpegif/_0v.gif metamathsite/mpegif/_0vh.gif metamathsite/mpegif/_10.gif metamathsite/mpegif/_1o.gif metamathsite/mpegif/_1p.gif metamathsite/mpegif/_1q.gif metamathsite/mpegif/_1r.gif metamathsite/mpegif/_1st.gif metamathsite/mpegif/_2nd.gif metamathsite/mpegif/_2o.gif metamathsite/mpegif/_78abstri.jpg metamathsite/mpegif/__cf.gif metamathsite/mpegif/_a.gif metamathsite/mpegif/_abs.gif metamathsite/mpegif/_astq.gif metamathsite/mpegif/_atoms.gif metamathsite/mpegif/_b.gif metamathsite/mpegif/_bbn0.gif metamathsite/mpegif/_bbrast.gif metamathsite/mpegif/_bbrplus.gif metamathsite/mpegif/_bbzge.gif metamathsite/mpegif/_bigtimes.gif metamathsite/mpegif/_bigveeh.gif metamathsite/mpegif/_butterfly.jpg metamathsite/mpegif/_c.gif metamathsite/mpegif/_ca.gif metamathsite/mpegif/_calcite.jpg metamathsite/mpegif/_capbar.gif metamathsite/mpegif/_card.gif metamathsite/mpegif/_cauchy.gif metamathsite/mpegif/_cb.gif metamathsite/mpegif/_cc.gif metamathsite/mpegif/_ccard.gif metamathsite/mpegif/_cch.gif metamathsite/mpegif/_cd.gif metamathsite/mpegif/_cdfn.gif metamathsite/mpegif/_cdh.gif metamathsite/mpegif/_cdi.gif metamathsite/mpegif/_cdih.gif metamathsite/mpegif/_cdn.gif metamathsite/mpegif/_cdo.gif metamathsite/mpegif/_cdop.gif metamathsite/mpegif/_cdp.gif metamathsite/mpegif/_cdpq.gif metamathsite/mpegif/_cdpr.gif metamathsite/mpegif/_cdq.gif metamathsite/mpegif/_cdr.gif metamathsite/mpegif/_cds.gif metamathsite/mpegif/_cf.gif metamathsite/mpegif/_cg.gif metamathsite/mpegif/_ch.gif metamathsite/mpegif/_chi.gif metamathsite/mpegif/_cj.gif metamathsite/mpegif/_ck.gif metamathsite/mpegif/_cl.gif metamathsite/mpegif/_class.gif metamathsite/mpegif/_cm.gif metamathsite/mpegif/_cn.gif metamathsite/mpegif/_cnmap.gif metamathsite/mpegif/_cnv.gif metamathsite/mpegif/_co.gif metamathsite/mpegif/_cos.gif metamathsite/mpegif/_cp.gif metamathsite/mpegif/_cq.gif metamathsite/mpegif/_cr.gif metamathsite/mpegif/_cs.gif metamathsite/mpegif/_ct.gif metamathsite/mpegif/_cu.gif metamathsite/mpegif/_cupbar.gif metamathsite/mpegif/_cw.gif metamathsite/mpegif/_cx.gif metamathsite/mpegif/_cy.gif metamathsite/mpegif/_cz.gif metamathsite/mpegif/_d.gif metamathsite/mpegif/_ded.gif metamathsite/mpegif/_divg.gif metamathsite/mpegif/_dom.gif metamathsite/mpegif/_e1.gif metamathsite/mpegif/_em1.gif metamathsite/mpegif/_er.gif metamathsite/mpegif/_eta.gif metamathsite/mpegif/_exp.gif metamathsite/mpegif/_f.gif metamathsite/mpegif/_fn.gif metamathsite/mpegif/_fr.gif metamathsite/mpegif/_fun.gif metamathsite/mpegif/_g.gif metamathsite/mpegif/_h.gif metamathsite/mpegif/_hatm.gif metamathsite/mpegif/_hato.gif metamathsite/mpegif/_hatpm.gif metamathsite/mpegif/_if.gif metamathsite/mpegif/_iop.gif metamathsite/mpegif/_isom.gif metamathsite/mpegif/_j.gif metamathsite/mpegif/_k.gif metamathsite/mpegif/_leop.gif metamathsite/mpegif/_lim.gif metamathsite/mpegif/_limsup.gif metamathsite/mpegif/_lnoth.gif metamathsite/mpegif/_log.gif metamathsite/mpegif/_ltbbr.gif metamathsite/mpegif/_ltn.gif metamathsite/mpegif/_ltp.gif metamathsite/mpegif/_ltq.gif metamathsite/mpegif/_ltr.gif metamathsite/mpegif/_m.gif metamathsite/mpegif/_m1r.gif metamathsite/mpegif/_mh.gif metamathsite/mpegif/_mhast.gif metamathsite/mpegif/_minf.gif metamathsite/mpegif/_mmbrows2p2e4.png metamathsite/mpegif/_mop.gif metamathsite/mpegif/_music_shape_be.gif metamathsite/mpegif/_music_shape_fu.gif metamathsite/mpegif/_music_shape_mm.gif metamathsite/mpegif/_mv.gif metamathsite/mpegif/_mvh.gif metamathsite/mpegif/_n.gif metamathsite/mpegif/_nmegill.gif metamathsite/mpegif/_norm.gif metamathsite/mpegif/_normh.gif metamathsite/mpegif/_note.gif metamathsite/mpegif/_o.gif metamathsite/mpegif/_on.gif metamathsite/mpegif/_or.gif metamathsite/mpegif/_orange1circ.gif metamathsite/mpegif/_orange2circ.gif metamathsite/mpegif/_orange3circ.gif metamathsite/mpegif/_ord.gif metamathsite/mpegif/_p.gif metamathsite/mpegif/_pfun.gif metamathsite/mpegif/_pinf.gif metamathsite/mpegif/_plc.gif metamathsite/mpegif/_plfn.gif metamathsite/mpegif/_plh.gif metamathsite/mpegif/_pln.gif metamathsite/mpegif/_plo.gif metamathsite/mpegif/_plop.gif metamathsite/mpegif/_plp.gif metamathsite/mpegif/_plpq.gif metamathsite/mpegif/_plpr.gif metamathsite/mpegif/_plq.gif metamathsite/mpegif/_plr.gif metamathsite/mpegif/_plv.gif metamathsite/mpegif/_po.gif metamathsite/mpegif/_proofstep.gif metamathsite/mpegif/_psi.gif metamathsite/mpegif/_pvh.gif metamathsite/mpegif/_q.gif metamathsite/mpegif/_r.gif metamathsite/mpegif/_r1.gif metamathsite/mpegif/_ran.gif metamathsite/mpegif/_rank.gif metamathsite/mpegif/_rec.gif metamathsite/mpegif/_rel.gif metamathsite/mpegif/_rho.gif metamathsite/mpegif/_s.gif metamathsite/mpegif/_scrch.gif metamathsite/mpegif/_seq.gif metamathsite/mpegif/_seq0.gif metamathsite/mpegif/_seq1.gif metamathsite/mpegif/_set.gif metamathsite/mpegif/_sh.gif metamathsite/mpegif/_shift.gif metamathsite/mpegif/_sigma.gif metamathsite/mpegif/_simq.gif metamathsite/mpegif/_simr.gif metamathsite/mpegif/_sin.gif metamathsite/mpegif/_span.gif metamathsite/mpegif/_squigm.gif metamathsite/mpegif/_squigv.gif metamathsite/mpegif/_states.gif metamathsite/mpegif/_suc.gif metamathsite/mpegif/_sum1inf.gif metamathsite/mpegif/_sup.gif metamathsite/mpegif/_t.gif metamathsite/mpegif/_tau.gif metamathsite/mpegif/_theta.gif metamathsite/mpegif/_tr.gif metamathsite/mpegif/_u.gif metamathsite/mpegif/_ulbrack.gif metamathsite/mpegif/_urbrack.gif metamathsite/mpegif/_v.gif metamathsite/mpegif/_varphi.gif metamathsite/mpegif/_vdash.gif metamathsite/mpegif/_veeh.gif metamathsite/mpegif/_w.gif metamathsite/mpegif/_we.gif metamathsite/mpegif/_wff.gif metamathsite/mpegif/_x.gif metamathsite/mpegif/_y.gif metamathsite/mpegif/_z.gif metamathsite/mpegif/_zeta.gif metamathsite/mpegif/abeqbi2.mid metamathsite/mpegif/abstri-fsbi.mid metamathsite/mpegif/abstri-ns.mid metamathsite/mpegif/abstri.mid metamathsite/mpegif/abstricombo.mid metamathsite/mpegif/ac2.mid metamathsite/mpegif/arch.mid metamathsite/mpegif/atomic.gif metamathsite/mpegif/ax0id.mid metamathsite/mpegif/ax1id.mid metamathsite/mpegif/ax1ne0.mid metamathsite/mpegif/ax1re.mid metamathsite/mpegif/axaddass.mid metamathsite/mpegif/axaddcl.mid metamathsite/mpegif/axaddcom.mid metamathsite/mpegif/axaddrcl.mid metamathsite/mpegif/axcnex.mid metamathsite/mpegif/axcnre.mid metamathsite/mpegif/axdistr.mid metamathsite/mpegif/axi2m1.mid metamathsite/mpegif/axicn.mid metamathsite/mpegif/axltadd.mid metamathsite/mpegif/axlttri.mid metamathsite/mpegif/axlttrn.mid metamathsite/mpegif/axmulass.mid metamathsite/mpegif/axmulcl.mid metamathsite/mpegif/axmulcom.mid metamathsite/mpegif/axmulgt0.mid metamathsite/mpegif/axmulrcl.mid metamathsite/mpegif/axnegex.mid metamathsite/mpegif/axrecex.mid metamathsite/mpegif/axresscn.mid metamathsite/mpegif/axrnegex.mid metamathsite/mpegif/axrrecex.mid metamathsite/mpegif/axsep.mid metamathsite/mpegif/axsup.mid metamathsite/mpegif/bn65_20.gif metamathsite/mpegif/canth2.mid metamathsite/mpegif/cjvalt.mid metamathsite/mpegif/coass.mid metamathsite/mpegif/dfss4.mid metamathsite/mpegif/equid.mid metamathsite/mpegif/eupick.mid metamathsite/mpegif/exintr.mid metamathsite/mpegif/find.mid metamathsite/mpegif/funfvop.mid metamathsite/mpegif/id1.mid metamathsite/mpegif/isset.mid metamathsite/mpegif/mmbiblio.html metamathsite/mpegif/mmcomplex.html metamathsite/mpegif/mmdeduction.html metamathsite/mpegif/mmhil.html metamathsite/mpegif/mmmusic.html metamathsite/mpegif/mmnotes.txt metamathsite/mpegif/mmnotes2004.txt metamathsite/mpegif/mmrecent.html metamathsite/mpegif/mmset.html metamathsite/mpegif/mmzfcnd.html metamathsite/mpegif/note1.gif metamathsite/mpegif/omex.mid metamathsite/mpegif/peano1.mid metamathsite/mpegif/peano2.mid metamathsite/mpegif/peano3.mid metamathsite/mpegif/peano4.mid metamathsite/mpegif/peano5.mid metamathsite/mpegif/peirce.mid metamathsite/mpegif/php.mid metamathsite/mpegif/pm5.18.mid metamathsite/mpegif/prth.mid metamathsite/mpegif/replim.mid metamathsite/mpegif/ru.mid metamathsite/mpegif/sbth.mid metamathsite/mpegif/spacer.gif metamathsite/mpegif/sqrth-fshbi.mid metamathsite/mpegif/sqrth.mid metamathsite/mpegif/tfi.mid metamathsite/mpegif/tfr2.mid metamathsite/mpegif/weth.mid metamathsite/mpegif/zfpair.mid metamathsite/mpegif/zorn.mid mpegif-new/
+ '[' -f favicon.ico ']'
+ cp -p favicon.ico mpegif-new/
+ '[' -f _nmemail.gif ']'
+ cp -p _nmemail.gif mpegif-new/
+ '[' -f mm.gif ']'
+ cp -p mm.gif mpegif-new/
+ '[' -f symbols/0.gif ']'
+ cp -p symbols/0.gif mpegif-new/
+ '[' -f symbols/1.gif ']'
+ cp -p symbols/1.gif mpegif-new/
+ '[' -f symbols/2.gif ']'
+ cp -p symbols/2.gif mpegif-new/
+ '[' -f symbols/3.gif ']'
+ cp -p symbols/3.gif mpegif-new/
+ '[' -f symbols/4.gif ']'
+ cp -p symbols/4.gif mpegif-new/
+ '[' -f symbols/5.gif ']'
+ cp -p symbols/5.gif mpegif-new/
+ '[' -f symbols/6.gif ']'
+ cp -p symbols/6.gif mpegif-new/
+ '[' -f symbols/7.gif ']'
+ cp -p symbols/7.gif mpegif-new/
+ '[' -f symbols/8.gif ']'
+ cp -p symbols/8.gif mpegif-new/
+ '[' -f symbols/9.gif ']'
+ cp -p symbols/9.gif mpegif-new/
+ '[' -f symbols/amp.gif ']'
+ cp -p symbols/amp.gif mpegif-new/
+ '[' -f symbols/approx.gif ']'
+ cp -p symbols/approx.gif mpegif-new/
+ '[' -f symbols/ast.gif ']'
+ cp -p symbols/ast.gif mpegif-new/
+ '[' -f symbols/backquote.gif ']'
+ cp -p symbols/backquote.gif mpegif-new/
+ '[' -f symbols/backtick.gif ']'
+ cp -p symbols/backtick.gif mpegif-new/
+ '[' -f symbols/bang.gif ']'
+ cp -p symbols/bang.gif mpegif-new/
+ '[' -f symbols/bbc.gif ']'
+ cp -p symbols/bbc.gif mpegif-new/
+ '[' -f symbols/bbn.gif ']'
+ cp -p symbols/bbn.gif mpegif-new/
+ '[' -f symbols/bbq.gif ']'
+ cp -p symbols/bbq.gif mpegif-new/
+ '[' -f symbols/bbr.gif ']'
+ cp -p symbols/bbr.gif mpegif-new/
+ '[' -f symbols/bbz.gif ']'
+ cp -p symbols/bbz.gif mpegif-new/
+ '[' -f symbols/bfch.gif ']'
+ cp -p symbols/bfch.gif mpegif-new/
+ '[' -f symbols/bigcap.gif ']'
+ cp -p symbols/bigcap.gif mpegif-new/
+ '[' -f symbols/bigcup.gif ']'
+ cp -p symbols/bigcup.gif mpegif-new/
+ '[' -f symbols/bigto.gif ']'
+ cp -p symbols/bigto.gif mpegif-new/
+ '[' -f symbols/caln.gif ']'
+ cp -p symbols/caln.gif mpegif-new/
+ '[' -f symbols/calp.gif ']'
+ cp -p symbols/calp.gif mpegif-new/
+ '[' -f symbols/calq.gif ']'
+ cp -p symbols/calq.gif mpegif-new/
+ '[' -f symbols/calr.gif ']'
+ cp -p symbols/calr.gif mpegif-new/
+ '[' -f symbols/cap.gif ']'
+ cp -p symbols/cap.gif mpegif-new/
+ '[' -f symbols/cdot.gif ']'
+ cp -p symbols/cdot.gif mpegif-new/
+ '[' -f symbols/ce.gif ']'
+ cp -p symbols/ce.gif mpegif-new/
+ '[' -f symbols/ci.gif ']'
+ cp -p symbols/ci.gif mpegif-new/
+ '[' -f symbols/circ.gif ']'
+ cp -p symbols/circ.gif mpegif-new/
+ '[' -f symbols/clambda.gif ']'
+ cp -p symbols/clambda.gif mpegif-new/
+ '[' -f symbols/colon.gif ']'
+ cp -p symbols/colon.gif mpegif-new/
+ '[' -f symbols/comma.gif ']'
+ cp -p symbols/comma.gif mpegif-new/
+ '[' -f symbols/csigma.gif ']'
+ cp -p symbols/csigma.gif mpegif-new/
+ '[' -f symbols/cup.gif ']'
+ cp -p symbols/cup.gif mpegif-new/
+ '[' -f symbols/cv.gif ']'
+ cp -p symbols/cv.gif mpegif-new/
+ '[' -f symbols/diagup.gif ']'
+ cp -p symbols/diagup.gif mpegif-new/
+ '[' -f symbols/e.gif ']'
+ cp -p symbols/e.gif mpegif-new/
+ '[' -f symbols/eq.gif ']'
+ cp -p symbols/eq.gif mpegif-new/
+ '[' -f symbols/exists.gif ']'
+ cp -p symbols/exists.gif mpegif-new/
+ '[' -f symbols/forall.gif ']'
+ cp -p symbols/forall.gif mpegif-new/
+ '[' -f symbols/uparrow.gif ']'
+ cp -p symbols/uparrow.gif mpegif-new/
+ '[' -f symbols/i.gif ']'
+ cp -p symbols/i.gif mpegif-new/
+ '[' -f symbols/im.gif ']'
+ cp -p symbols/im.gif mpegif-new/
+ '[' -f symbols/in.gif ']'
+ cp -p symbols/in.gif mpegif-new/
+ '[' -f symbols/langle.gif ']'
+ cp -p symbols/langle.gif mpegif-new/
+ '[' -f symbols/lbrace.gif ']'
+ cp -p symbols/lbrace.gif mpegif-new/
+ '[' -f symbols/lbrack.gif ']'
+ cp -p symbols/lbrack.gif mpegif-new/
+ '[' -f symbols/ldots.gif ']'
+ cp -p symbols/ldots.gif mpegif-new/
+ '[' -f symbols/leftrightarrow.gif ']'
+ cp -p symbols/leftrightarrow.gif mpegif-new/
+ '[' -f symbols/le.gif ']'
+ cp -p symbols/le.gif mpegif-new/
+ '[' -f symbols/lfloor.gif ']'
+ cp -p symbols/lfloor.gif mpegif-new/
+ '[' -f symbols/lnot.gif ']'
+ cp -p symbols/lnot.gif mpegif-new/
+ '[' -f symbols/longrightarrow.gif ']'
+ cp -p symbols/longrightarrow.gif mpegif-new/
+ '[' -f symbols/lp.gif ']'
+ cp -p symbols/lp.gif mpegif-new/
+ '[' -f symbols/lt.gif ']'
+ cp -p symbols/lt.gif mpegif-new/
+ '[' -f symbols/mapsto.gif ']'
+ cp -p symbols/mapsto.gif mpegif-new/
+ '[' -f symbols/minus.gif ']'
+ cp -p symbols/minus.gif mpegif-new/
+ '[' -f symbols/ne.gif ']'
+ cp -p symbols/ne.gif mpegif-new/
+ '[' -f symbols/notin.gif ']'
+ cp -p symbols/notin.gif mpegif-new/
+ '[' -f symbols/omega.gif ']'
+ cp -p symbols/omega.gif mpegif-new/
+ '[' -f symbols/onetoone.gif ']'
+ cp -p symbols/onetoone.gif mpegif-new/
+ '[' -f symbols/onetooneonto.gif ']'
+ cp -p symbols/onetooneonto.gif mpegif-new/
+ '[' -f symbols/onto.gif ']'
+ cp -p symbols/onto.gif mpegif-new/
+ '[' -f symbols/perp.gif ']'
+ cp -p symbols/perp.gif mpegif-new/
+ '[' -f symbols/pi.gif ']'
+ cp -p symbols/pi.gif mpegif-new/
+ '[' -f symbols/plus.gif ']'
+ cp -p symbols/plus.gif mpegif-new/
+ '[' -f symbols/preccurlyeq.gif ']'
+ cp -p symbols/preccurlyeq.gif mpegif-new/
+ '[' -f symbols/prec.gif ']'
+ cp -p symbols/prec.gif mpegif-new/
+ '[' -f symbols/rangle.gif ']'
+ cp -p symbols/rangle.gif mpegif-new/
+ '[' -f symbols/rbrace.gif ']'
+ cp -p symbols/rbrace.gif mpegif-new/
+ '[' -f symbols/rbrack.gif ']'
+ cp -p symbols/rbrack.gif mpegif-new/
+ '[' -f symbols/re.gif ']'
+ cp -p symbols/re.gif mpegif-new/
+ '[' -f symbols/restriction.gif ']'
+ cp -p symbols/restriction.gif mpegif-new/
+ '[' -f symbols/rightsquigarrow.gif ']'
+ cp -p symbols/rightsquigarrow.gif mpegif-new/
+ '[' -f symbols/rmcc.gif ']'
+ cp -p symbols/rmcc.gif mpegif-new/
+ '[' -f symbols/rp.gif ']'
+ cp -p symbols/rp.gif mpegif-new/
+ '[' -f symbols/scrh.gif ']'
+ cp -p symbols/scrh.gif mpegif-new/
+ '[' -f symbols/scrp.gif ']'
+ cp -p symbols/scrp.gif mpegif-new/
+ '[' -f symbols/setminus.gif ']'
+ cp -p symbols/setminus.gif mpegif-new/
+ '[' -f symbols/shortminus.gif ']'
+ cp -p symbols/shortminus.gif mpegif-new/
+ '[' -f symbols/smallsmile.gif ']'
+ cp -p symbols/smallsmile.gif mpegif-new/
+ '[' -f symbols/solidus.gif ']'
+ cp -p symbols/solidus.gif mpegif-new/
+ '[' -f symbols/subseteq.gif ']'
+ cp -p symbols/subseteq.gif mpegif-new/
+ '[' -f symbols/subset.gif ']'
+ cp -p symbols/subset.gif mpegif-new/
+ '[' -f symbols/supast.gif ']'
+ cp -p symbols/supast.gif mpegif-new/
+ '[' -f symbols/surd.gif ']'
+ cp -p symbols/surd.gif mpegif-new/
+ '[' -f symbols/times.gif ']'
+ cp -p symbols/times.gif mpegif-new/
+ '[' -f symbols/to.gif ']'
+ cp -p symbols/to.gif mpegif-new/
+ '[' -f symbols/varnothing.gif ']'
+ cp -p symbols/varnothing.gif mpegif-new/
+ '[' -f symbols/vee.gif ']'
+ cp -p symbols/vee.gif mpegif-new/
+ '[' -f symbols/vert.gif ']'
+ cp -p symbols/vert.gif mpegif-new/
+ '[' -f symbols/wedge.gif ']'
+ cp -p symbols/wedge.gif mpegif-new/
+ '[' -f symbols/varaleph.gif ']'
+ cp -p symbols/varaleph.gif mpegif-new/
+ '[' -f symbols/lessdot.gif ']'
+ cp -p symbols/lessdot.gif mpegif-new/
+ '[' -f symbols/mm.gif ']'
+ mkdir mpeuni-new
+ cp -p mpegif-new/0.gif mpegif-new/0ex.mid mpegif-new/1.gif mpegif-new/2.gif mpegif-new/2p2e4.mid mpegif-new/3.gif mpegif-new/4.gif mpegif-new/5.gif mpegif-new/6.gif mpegif-new/7.gif mpegif-new/8.gif mpegif-new/9.gif mpegif-new/_0h.gif mpegif-new/_0op.gif mpegif-new/_0r.gif mpegif-new/_0v.gif mpegif-new/_0vh.gif mpegif-new/_10.gif mpegif-new/_1o.gif mpegif-new/_1p.gif mpegif-new/_1q.gif mpegif-new/_1r.gif mpegif-new/_1st.gif mpegif-new/_2nd.gif mpegif-new/_2o.gif mpegif-new/_78abstri.jpg mpegif-new/__cf.gif mpegif-new/_a.gif mpegif-new/_abs.gif mpegif-new/_astq.gif mpegif-new/_atoms.gif mpegif-new/_b.gif mpegif-new/_bbn0.gif mpegif-new/_bbrast.gif mpegif-new/_bbrplus.gif mpegif-new/_bbzge.gif mpegif-new/_bigtimes.gif mpegif-new/_bigveeh.gif mpegif-new/_butterfly.jpg mpegif-new/_c.gif mpegif-new/_ca.gif mpegif-new/_calcite.jpg mpegif-new/_capbar.gif mpegif-new/_card.gif mpegif-new/_cauchy.gif mpegif-new/_cb.gif mpegif-new/_cc.gif mpegif-new/_ccard.gif mpegif-new/_cch.gif mpegif-new/_cd.gif mpegif-new/_cdfn.gif mpegif-new/_cdh.gif mpegif-new/_cdi.gif mpegif-new/_cdih.gif mpegif-new/_cdn.gif mpegif-new/_cdo.gif mpegif-new/_cdop.gif mpegif-new/_cdp.gif mpegif-new/_cdpq.gif mpegif-new/_cdpr.gif mpegif-new/_cdq.gif mpegif-new/_cdr.gif mpegif-new/_cds.gif mpegif-new/_cf.gif mpegif-new/_cg.gif mpegif-new/_ch.gif mpegif-new/_chi.gif mpegif-new/_cj.gif mpegif-new/_ck.gif mpegif-new/_cl.gif mpegif-new/_class.gif mpegif-new/_cm.gif mpegif-new/_cn.gif mpegif-new/_cnmap.gif mpegif-new/_cnv.gif mpegif-new/_co.gif mpegif-new/_cos.gif mpegif-new/_cp.gif mpegif-new/_cq.gif mpegif-new/_cr.gif mpegif-new/_cs.gif mpegif-new/_ct.gif mpegif-new/_cu.gif mpegif-new/_cupbar.gif mpegif-new/_cw.gif mpegif-new/_cx.gif mpegif-new/_cy.gif mpegif-new/_cz.gif mpegif-new/_d.gif mpegif-new/_ded.gif mpegif-new/_divg.gif mpegif-new/_dom.gif mpegif-new/_e1.gif mpegif-new/_em1.gif mpegif-new/_er.gif mpegif-new/_eta.gif mpegif-new/_exp.gif mpegif-new/_f.gif mpegif-new/_fn.gif mpegif-new/_fr.gif mpegif-new/_fun.gif mpegif-new/_g.gif mpegif-new/_h.gif mpegif-new/_hatm.gif mpegif-new/_hato.gif mpegif-new/_hatpm.gif mpegif-new/_if.gif mpegif-new/_iop.gif mpegif-new/_isom.gif mpegif-new/_j.gif mpegif-new/_k.gif mpegif-new/_leop.gif mpegif-new/_lim.gif mpegif-new/_limsup.gif mpegif-new/_lnoth.gif mpegif-new/_log.gif mpegif-new/_ltbbr.gif mpegif-new/_ltn.gif mpegif-new/_ltp.gif mpegif-new/_ltq.gif mpegif-new/_ltr.gif mpegif-new/_m.gif mpegif-new/_m1r.gif mpegif-new/_mh.gif mpegif-new/_mhast.gif mpegif-new/_minf.gif mpegif-new/_mmbrows2p2e4.png mpegif-new/_mop.gif mpegif-new/_music_shape_be.gif mpegif-new/_music_shape_fu.gif mpegif-new/_music_shape_mm.gif mpegif-new/_mv.gif mpegif-new/_mvh.gif mpegif-new/_n.gif mpegif-new/_nmegill.gif mpegif-new/_nmemail.gif mpegif-new/_norm.gif mpegif-new/_normh.gif mpegif-new/_note.gif mpegif-new/_o.gif mpegif-new/_on.gif mpegif-new/_or.gif mpegif-new/_orange1circ.gif mpegif-new/_orange2circ.gif mpegif-new/_orange3circ.gif mpegif-new/_ord.gif mpegif-new/_p.gif mpegif-new/_pfun.gif mpegif-new/_pinf.gif mpegif-new/_plc.gif mpegif-new/_plfn.gif mpegif-new/_plh.gif mpegif-new/_pln.gif mpegif-new/_plo.gif mpegif-new/_plop.gif mpegif-new/_plp.gif mpegif-new/_plpq.gif mpegif-new/_plpr.gif mpegif-new/_plq.gif mpegif-new/_plr.gif mpegif-new/_plv.gif mpegif-new/_po.gif mpegif-new/_proofstep.gif mpegif-new/_psi.gif mpegif-new/_pvh.gif mpegif-new/_q.gif mpegif-new/_r.gif mpegif-new/_r1.gif mpegif-new/_ran.gif mpegif-new/_rank.gif mpegif-new/_rec.gif mpegif-new/_rel.gif mpegif-new/_rho.gif mpegif-new/_s.gif mpegif-new/_scrch.gif mpegif-new/_seq.gif mpegif-new/_seq0.gif mpegif-new/_seq1.gif mpegif-new/_set.gif mpegif-new/_sh.gif mpegif-new/_shift.gif mpegif-new/_sigma.gif mpegif-new/_simq.gif mpegif-new/_simr.gif mpegif-new/_sin.gif mpegif-new/_span.gif mpegif-new/_squigm.gif mpegif-new/_squigv.gif mpegif-new/_states.gif mpegif-new/_suc.gif mpegif-new/_sum1inf.gif mpegif-new/_sup.gif mpegif-new/_t.gif mpegif-new/_tau.gif mpegif-new/_theta.gif mpegif-new/_tr.gif mpegif-new/_u.gif mpegif-new/_ulbrack.gif mpegif-new/_urbrack.gif mpegif-new/_v.gif mpegif-new/_varphi.gif mpegif-new/_vdash.gif mpegif-new/_veeh.gif mpegif-new/_w.gif mpegif-new/_we.gif mpegif-new/_wff.gif mpegif-new/_x.gif mpegif-new/_y.gif mpegif-new/_z.gif mpegif-new/_zeta.gif mpegif-new/abeqbi2.mid mpegif-new/abstri-fsbi.mid mpegif-new/abstri-ns.mid mpegif-new/abstri.mid mpegif-new/abstricombo.mid mpegif-new/ac2.mid mpegif-new/amp.gif mpegif-new/approx.gif mpegif-new/arch.mid mpegif-new/ast.gif mpegif-new/atomic.gif mpegif-new/ax0id.mid mpegif-new/ax1id.mid mpegif-new/ax1ne0.mid mpegif-new/ax1re.mid mpegif-new/axaddass.mid mpegif-new/axaddcl.mid mpegif-new/axaddcom.mid mpegif-new/axaddrcl.mid mpegif-new/axcnex.mid mpegif-new/axcnre.mid mpegif-new/axdistr.mid mpegif-new/axi2m1.mid mpegif-new/axicn.mid mpegif-new/axltadd.mid mpegif-new/axlttri.mid mpegif-new/axlttrn.mid mpegif-new/axmulass.mid mpegif-new/axmulcl.mid mpegif-new/axmulcom.mid mpegif-new/axmulgt0.mid mpegif-new/axmulrcl.mid mpegif-new/axnegex.mid mpegif-new/axrecex.mid mpegif-new/axresscn.mid mpegif-new/axrnegex.mid mpegif-new/axrrecex.mid mpegif-new/axsep.mid mpegif-new/axsup.mid mpegif-new/backquote.gif mpegif-new/backtick.gif mpegif-new/bang.gif mpegif-new/bbc.gif mpegif-new/bbn.gif mpegif-new/bbq.gif mpegif-new/bbr.gif mpegif-new/bbz.gif mpegif-new/bfch.gif mpegif-new/bigcap.gif mpegif-new/bigcup.gif mpegif-new/bigto.gif mpegif-new/bn65_20.gif mpegif-new/caln.gif mpegif-new/calp.gif mpegif-new/calq.gif mpegif-new/calr.gif mpegif-new/canth2.mid mpegif-new/cap.gif mpegif-new/cdot.gif mpegif-new/ce.gif mpegif-new/ci.gif mpegif-new/circ.gif mpegif-new/cjvalt.mid mpegif-new/clambda.gif mpegif-new/coass.mid mpegif-new/colon.gif mpegif-new/comma.gif mpegif-new/csigma.gif mpegif-new/cup.gif mpegif-new/cv.gif mpegif-new/dfss4.mid mpegif-new/diagup.gif mpegif-new/e.gif mpegif-new/eq.gif mpegif-new/equid.mid mpegif-new/eupick.mid mpegif-new/exintr.mid mpegif-new/exists.gif mpegif-new/favicon.ico mpegif-new/find.mid mpegif-new/forall.gif mpegif-new/funfvop.mid mpegif-new/i.gif mpegif-new/id1.mid mpegif-new/im.gif mpegif-new/in.gif mpegif-new/isset.mid mpegif-new/langle.gif mpegif-new/lbrace.gif mpegif-new/lbrack.gif mpegif-new/ldots.gif mpegif-new/le.gif mpegif-new/leftrightarrow.gif mpegif-new/lessdot.gif mpegif-new/lfloor.gif mpegif-new/lnot.gif mpegif-new/longrightarrow.gif mpegif-new/lp.gif mpegif-new/lt.gif mpegif-new/mapsto.gif mpegif-new/minus.gif mpegif-new/mm.gif mpegif-new/mmbiblio.html mpegif-new/mmcomplex.html mpegif-new/mmdeduction.html mpegif-new/mmhil.html mpegif-new/mmmusic.html mpegif-new/mmnotes.txt mpegif-new/mmnotes2004.txt mpegif-new/mmrecent.html mpegif-new/mmset.html mpegif-new/mmzfcnd.html mpegif-new/ne.gif mpegif-new/note1.gif mpegif-new/notin.gif mpegif-new/omega.gif mpegif-new/omex.mid mpegif-new/onetoone.gif mpegif-new/onetooneonto.gif mpegif-new/onto.gif mpegif-new/peano1.mid mpegif-new/peano2.mid mpegif-new/peano3.mid mpegif-new/peano4.mid mpegif-new/peano5.mid mpegif-new/peirce.mid mpegif-new/perp.gif mpegif-new/php.mid mpegif-new/pi.gif mpegif-new/plus.gif mpegif-new/pm5.18.mid mpegif-new/prec.gif mpegif-new/preccurlyeq.gif mpegif-new/prth.mid mpegif-new/rangle.gif mpegif-new/rbrace.gif mpegif-new/rbrack.gif mpegif-new/re.gif mpegif-new/replim.mid mpegif-new/restriction.gif mpegif-new/rightsquigarrow.gif mpegif-new/rmcc.gif mpegif-new/rp.gif mpegif-new/ru.mid mpegif-new/sbth.mid mpegif-new/scrh.gif mpegif-new/scrp.gif mpegif-new/setminus.gif mpegif-new/shortminus.gif mpegif-new/smallsmile.gif mpegif-new/solidus.gif mpegif-new/spacer.gif mpegif-new/sqrth-fshbi.mid mpegif-new/sqrth.mid mpegif-new/subset.gif mpegif-new/subseteq.gif mpegif-new/supast.gif mpegif-new/surd.gif mpegif-new/tfi.mid mpegif-new/tfr2.mid mpegif-new/times.gif mpegif-new/to.gif mpegif-new/uparrow.gif mpegif-new/varaleph.gif mpegif-new/varnothing.gif mpegif-new/vee.gif mpegif-new/vert.gif mpegif-new/wedge.gif mpegif-new/weth.mid mpegif-new/zfpair.mid mpegif-new/zorn.mid mpeuni-new/
+ cd mpegif-new
+ ../metamath/metamath 'read '\''../metamath/set.mm'\''' 'show statement */html' 'write theorem_list /theorems_per_page 100' 'write bibliography mmbiblio.html' 'write recent_additions mmrecent.html / limit 10' 'write recent_additions mmrecent.html / limit 100' exit
Metamath - Version 0.07.39 21-May-2008        Type HELP for help, EXIT to exit.
MM> read '../metamath/set.mm'
Reading source file "../metamath/set.mm"...
136308 lines (7006660 characters) were read from "../metamath/set.mm".
The source has 36350 statements; 678 are $a and 9939 are $p.
No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
if you want to check them.
MM> show statement */html
Creating HTML file "mmascii.html"...
381 typesetting statements were read from "../metamath/set.mm".
Creating HTML file "mmtheoremsall.html"...
Creating HTML file "mmdefinitions.html"...
Creating HTML file "dummylink.html"...
Creating HTML file "wn.html"...
Creating HTML file "wi.html"...
Creating HTML file "ax-1.html"...
Reading HTML bibliographic tags from file "mmset.html"...
Creating HTML file "ax-2.html"...
Creating HTML file "ax-3.html"...
Creating HTML file "ax-mp.html"...
Creating HTML file "a1i.html"...
Creating HTML file "a2i.html"...
Creating HTML file "syl.html"...
Creating HTML file "com12.html"...
Creating HTML file "a1d.html"...
Creating HTML file "a2d.html"...
Creating HTML file "imim2.html"...
Creating HTML file "imim1.html"...
Creating HTML file "imim1i.html"...
Creating HTML file "imim2i.html"...
Creating HTML file "imim12i.html"...
Creating HTML file "imim3i.html"...
Creating HTML file "3syl.html"...
Creating HTML file "syl5.html"...
Creating HTML file "syl6.html"...
Creating HTML file "syl7.html"...
Creating HTML file "syl8.html"...
Creating HTML file "imim2d.html"...
Creating HTML file "mpd.html"...
Creating HTML file "syld.html"...
Creating HTML file "imim1d.html"...
Creating HTML file "imim12d.html"...
Creating HTML file "pm2.04.html"...
Creating HTML file "pm2.83.html"...
Creating HTML file "com23.html"...
Creating HTML file "com13.html"...
Creating HTML file "com3l.html"...
Creating HTML file "com3r.html"...
Creating HTML file "com34.html"...
Creating HTML file "com24.html"...
Creating HTML file "com14.html"...
Creating HTML file "com4l.html"...
Creating HTML file "com4t.html"...
Creating HTML file "com4r.html"...
Creating HTML file "a1dd.html"...
Creating HTML file "mp2.html"...
Creating HTML file "mpi.html"...
Creating HTML file "mpii.html"...
Creating HTML file "mpdd.html"...
Creating HTML file "mpid.html"...
Creating HTML file "mpdi.html"...
Creating HTML file "mpcom.html"...
Creating HTML file "syldd.html"...
Creating HTML file "sylcom.html"...
Creating HTML file "syl5com.html"...
Creating HTML file "syl6com.html"...
Creating HTML file "syli.html"...
Creating HTML file "syl5d.html"...
Creating HTML file "syl6d.html"...
Creating HTML file "syl9.html"...
Creating HTML file "syl9r.html"...
Creating HTML file "id.html"...
Creating HTML file "id1.html"...
Creating HTML file "idd.html"...
Creating HTML file "pm2.27.html"...
Creating HTML file "pm2.43.html"...
Creating HTML file "pm2.43i.html"...
Creating HTML file "pm2.43d.html"...
Creating HTML file "pm2.43a.html"...
Creating HTML file "pm2.43b.html"...
Creating HTML file "sylc.html"...
Creating HTML file "pm2.86.html"...
Creating HTML file "pm2.86i.html"...
Creating HTML file "pm2.86d.html"...
Creating HTML file "loolin.html"...
Creating HTML file "loowoz.html"...
Creating HTML file "a3i.html"...
Creating HTML file "a3d.html"...
Creating HTML file "pm2.21.html"...
Creating HTML file "pm2.21i.html"...
Creating HTML file "pm2.21d.html"...
Creating HTML file "pm2.24.html"...
Creating HTML file "pm2.24ii.html"...
Creating HTML file "pm2.18.html"...
Creating HTML file "peirce.html"...
Creating HTML file "looinv.html"...
Creating HTML file "nega.html"...
Creating HTML file "negai.html"...
Creating HTML file "negb.html"...
Creating HTML file "negbi.html"...
Creating HTML file "pm2.01.html"...
Creating HTML file "pm2.01d.html"...
Creating HTML file "con2.html"...
Creating HTML file "con2d.html"...
Creating HTML file "con1.html"...
Creating HTML file "con1d.html"...
Creating HTML file "con3.html"...
Creating HTML file "con3d.html"...
Creating HTML file "con1i.html"...
Creating HTML file "con2i.html"...
Creating HTML file "con3i.html"...
Creating HTML file "pm2.37OLD.html"...
Creating HTML file "pm2.5.html"...
Creating HTML file "pm2.51.html"...
Creating HTML file "pm2.52.html"...
Creating HTML file "pm2.521.html"...
Creating HTML file "pm2.24i.html"...
Creating HTML file "pm2.24d.html"...
Creating HTML file "mto.html"...
Creating HTML file "mtoi.html"...
Creating HTML file "mtod.html"...
Creating HTML file "mt2.html"...
Creating HTML file "mt2i.html"...
Creating HTML file "mt2d.html"...
Creating HTML file "mt3.html"...
Creating HTML file "mt3i.html"...
Creating HTML file "mt3d.html"...
Creating HTML file "mt4d.html"...
Creating HTML file "nsyl.html"...
Creating HTML file "nsyld.html"...
Creating HTML file "nsyl2.html"...
Creating HTML file "nsyl3.html"...
Creating HTML file "nsyl4.html"...
Creating HTML file "nsyli.html"...
Creating HTML file "pm3.2im.html"...
Creating HTML file "mth8.html"...
Creating HTML file "pm2.61.html"...
Creating HTML file "pm2.61-ocatOLD.html"...
Creating HTML file "pm2.61i.html"...
Creating HTML file "pm2.61d.html"...
Creating HTML file "pm2.61d1.html"...
Creating HTML file "pm2.61d2.html"...
Creating HTML file "pm2.61ii.html"...
Creating HTML file "pm2.61nii.html"...
Creating HTML file "pm2.61iii.html"...
Creating HTML file "pm2.6.html"...
Creating HTML file "pm2.65.html"...
Creating HTML file "pm2.65i.html"...
Creating HTML file "pm2.65d.html"...
Creating HTML file "ja.html"...
Creating HTML file "jc.html"...
Creating HTML file "pm3.26im.html"...
Creating HTML file "pm3.27im.html"...
Creating HTML file "impt.html"...
Creating HTML file "expt.html"...
Creating HTML file "impi.html"...
Creating HTML file "expi.html"...
Creating HTML file "bijust.html"...
Creating HTML file "wb.html"...
Creating HTML file "df-bi.html"...
Creating HTML file "bi1.html"...
Creating HTML file "bi2.html"...
Creating HTML file "bi3.html"...
Creating HTML file "biimp.html"...
Creating HTML file "biimpr.html"...
Creating HTML file "biimpd.html"...
Creating HTML file "biimprd.html"...
Creating HTML file "biimpcd.html"...
Creating HTML file "biimprcd.html"...
Creating HTML file "impbi.html"...
Creating HTML file "bii.html"...
Creating HTML file "biigb.html"...
Creating HTML file "bi2.04.html"...
Creating HTML file "pm4.13.html"...
Creating HTML file "pm4.8.html"...
Creating HTML file "pm4.81.html"...
Creating HTML file "pm4.1.html"...
Creating HTML file "bi2.03.html"...
Creating HTML file "bi2.15.html"...
Creating HTML file "pm5.4.html"...
Creating HTML file "imdi.html"...
Creating HTML file "pm5.41.html"...
Creating HTML file "pm4.2.html"...
Creating HTML file "pm4.2i.html"...
Creating HTML file "bicomi.html"...
Creating HTML file "bitr.html"...
Creating HTML file "bitr2.html"...
Creating HTML file "bitr3.html"...
Creating HTML file "bitr4.html"...
Creating HTML file "3bitr.html"...
Creating HTML file "3bitrr.html"...
Creating HTML file "3bitr2.html"...
Creating HTML file "3bitr2r.html"...
Creating HTML file "3bitr3.html"...
Creating HTML file "3bitr3r.html"...
Creating HTML file "3bitr4.html"...
Creating HTML file "3bitr4r.html"...
Creating HTML file "imbi2i.html"...
Creating HTML file "imbi1i.html"...
Creating HTML file "negbii.html"...
Creating HTML file "imbi12i.html"...
Creating HTML file "mpbi.html"...
Creating HTML file "mpbir.html"...
Creating HTML file "mtbi.html"...
Creating HTML file "mtbir.html"...
Creating HTML file "mpbii.html"...
Creating HTML file "mpbiri.html"...
Creating HTML file "mpbid.html"...
Creating HTML file "mpbird.html"...
Creating HTML file "a1bi.html"...
Creating HTML file "sylib.html"...
Creating HTML file "sylbi.html"...
Creating HTML file "sylibr.html"...
Creating HTML file "sylbir.html"...
Creating HTML file "sylibd.html"...
Creating HTML file "sylbid.html"...
Creating HTML file "sylibrd.html"...
Creating HTML file "sylbird.html"...
Creating HTML file "syl5ib.html"...
Creating HTML file "syl5ibr.html"...
Creating HTML file "syl5bi.html"...
Creating HTML file "syl5cbi.html"...
Creating HTML file "syl5bir.html"...
Creating HTML file "syl5cbir.html"...
Creating HTML file "syl6ib.html"...
Creating HTML file "syl6ibr.html"...
Creating HTML file "syl6bi.html"...
Creating HTML file "syl6bir.html"...
Creating HTML file "syl7ib.html"...
Creating HTML file "syl8ib.html"...
Creating HTML file "3imtr3.html"...
Creating HTML file "3imtr4.html"...
Creating HTML file "con1bii.html"...
Creating HTML file "con2bii.html"...
Creating HTML file "wo.html"...
Creating HTML file "wa.html"...
Creating HTML file "df-or.html"...
Creating HTML file "df-an.html"...
Creating HTML file "pm4.64.html"...
Creating HTML file "pm2.54.html"...
Creating HTML file "pm4.63.html"...
Creating HTML file "dfor2.html"...
Creating HTML file "ori.html"...
Creating HTML file "orri.html"...
Creating HTML file "ord.html"...
Creating HTML file "orrd.html"...
Creating HTML file "imor.html"...
Creating HTML file "pm4.62.html"...
Creating HTML file "pm4.66.html"...
Creating HTML file "iman.html"...
Creating HTML file "annim.html"...
Creating HTML file "pm4.61.html"...
Creating HTML file "pm4.65.html"...
Creating HTML file "pm4.67.html"...
Creating HTML file "imnan.html"...
Creating HTML file "oridm.html"...
Creating HTML file "pm4.25.html"...
Creating HTML file "pm1.2.html"...
Creating HTML file "orcom.html"...
Creating HTML file "pm1.4.html"...
Creating HTML file "pm2.62.html"...
Creating HTML file "pm2.621.html"...
Creating HTML file "pm2.68.html"...
Creating HTML file "orel1.html"...
Creating HTML file "orel2.html"...
Creating HTML file "pm2.25.html"...
Creating HTML file "pm2.53.html"...
Creating HTML file "orbi2i.html"...
Creating HTML file "orbi1i.html"...
Creating HTML file "orbi12i.html"...
Creating HTML file "or12.html"...
Creating HTML file "pm1.5.html"...
Creating HTML file "orass.html"...
Creating HTML file "pm2.31.html"...
Creating HTML file "pm2.32.html"...
Creating HTML file "or23.html"...
Creating HTML file "or4.html"...
Creating HTML file "or42.html"...
Creating HTML file "orordi.html"...
Creating HTML file "orordir.html"...
Creating HTML file "olc.html"...
Creating HTML file "orc.html"...
Creating HTML file "orci.html"...
Creating HTML file "olci.html"...
Creating HTML file "orcd.html"...
Creating HTML file "olcd.html"...
Creating HTML file "orcs.html"...
Creating HTML file "olcs.html"...
Creating HTML file "pm2.07.html"...
Creating HTML file "pm2.45.html"...
Creating HTML file "pm2.46.html"...
Creating HTML file "pm2.47.html"...
Creating HTML file "pm2.48.html"...
Creating HTML file "pm2.49.html"...
Creating HTML file "pm2.67.html"...
Creating HTML file "pm3.2.html"...
Creating HTML file "pm3.21.html"...
Creating HTML file "pm3.2i.html"...
Creating HTML file "pm3.37.html"...
Creating HTML file "pm3.43i.html"...
Creating HTML file "jca.html"...
Creating HTML file "jcai.html"...
Creating HTML file "jctl.html"...
Creating HTML file "jctr.html"...
Creating HTML file "jctil.html"...
Creating HTML file "jctir.html"...
Creating HTML file "ancl.html"...
Creating HTML file "ancr.html"...
Creating HTML file "ancli.html"...
Creating HTML file "ancri.html"...
Creating HTML file "ancld.html"...
Creating HTML file "ancrd.html"...
Creating HTML file "anc2l.html"...
Creating HTML file "anc2r.html"...
Creating HTML file "anc2li.html"...
Creating HTML file "anc2ri.html"...
Creating HTML file "anor.html"...
Creating HTML file "ianor.html"...
Creating HTML file "ioran.html"...
Creating HTML file "pm4.52.html"...
Creating HTML file "pm4.53.html"...
Creating HTML file "pm4.54.html"...
Creating HTML file "pm4.55.html"...
Creating HTML file "pm4.56.html"...
Creating HTML file "oran.html"...
Creating HTML file "pm4.57.html"...
Creating HTML file "pm3.1.html"...
Creating HTML file "pm3.11.html"...
Creating HTML file "pm3.12.html"...
Creating HTML file "pm3.13.html"...
Creating HTML file "pm3.14.html"...
Creating HTML file "pm3.26.html"...
Creating HTML file "pm3.26i.html"...
Creating HTML file "pm3.26d.html"...
Creating HTML file "pm3.26bi.html"...
Creating HTML file "pm3.27.html"...
Creating HTML file "pm3.27i.html"...
Creating HTML file "pm3.27d.html"...
Creating HTML file "pm3.27bi.html"...
Creating HTML file "pm3.41.html"...
Creating HTML file "pm3.42.html"...
Creating HTML file "anclb.html"...
Creating HTML file "ancrb.html"...
Creating HTML file "pm3.4.html"...
Creating HTML file "pm4.45im.html"...
Creating HTML file "anim12i.html"...
Creating HTML file "anim1i.html"...
Creating HTML file "anim2i.html"...
Creating HTML file "orim12i.html"...
Creating HTML file "orim1i.html"...
Creating HTML file "orim2i.html"...
Creating HTML file "pm2.3.html"...
Creating HTML file "jao.html"...
Creating HTML file "jaoi.html"...
Creating HTML file "pm2.41.html"...
Creating HTML file "pm2.42.html"...
Creating HTML file "pm2.4.html"...
Creating HTML file "pm4.44.html"...
Creating HTML file "pm5.63.html"...
Creating HTML file "impexp.html"...
Creating HTML file "pm3.3.html"...
Creating HTML file "pm3.31.html"...
Creating HTML file "imp.html"...
Creating HTML file "impcom.html"...
Creating HTML file "pm4.14.html"...
Creating HTML file "pm4.15.html"...
Creating HTML file "pm4.78.html"...
Creating HTML file "pm4.79.html"...
Creating HTML file "pm4.87.html"...
Creating HTML file "pm3.33.html"...
Creating HTML file "pm3.34.html"...
Creating HTML file "pm3.35.html"...
Creating HTML file "pm5.31.html"...
Creating HTML file "imp3a.html"...
Creating HTML file "imp31.html"...
Creating HTML file "imp32.html"...
Creating HTML file "imp4a.html"...
Creating HTML file "imp4b.html"...
Creating HTML file "imp4c.html"...
Creating HTML file "imp4d.html"...
Creating HTML file "imp41.html"...
Creating HTML file "imp42.html"...
Creating HTML file "imp43.html"...
Creating HTML file "imp44.html"...
Creating HTML file "imp45.html"...
Creating HTML file "ex.html"...
Creating HTML file "expcom.html"...
Creating HTML file "exp3a.html"...
Creating HTML file "exp31.html"...
Creating HTML file "exp32.html"...
Creating HTML file "exp4a.html"...
Creating HTML file "exp4b.html"...
Creating HTML file "exp4c.html"...
Creating HTML file "exp4d.html"...
Creating HTML file "exp41.html"...
Creating HTML file "exp42.html"...
Creating HTML file "exp43.html"...
Creating HTML file "exp44.html"...
Creating HTML file "exp45.html"...
Creating HTML file "impac.html"...
Creating HTML file "adantl.html"...
Creating HTML file "adantr.html"...
Creating HTML file "adantld.html"...
Creating HTML file "adantrd.html"...
Creating HTML file "adantll.html"...
Creating HTML file "adantlr.html"...
Creating HTML file "adantrl.html"...
Creating HTML file "adantrr.html"...
Creating HTML file "adantlll.html"...
Creating HTML file "adantllr.html"...
Creating HTML file "adantlrl.html"...
Creating HTML file "adantlrr.html"...
Creating HTML file "adantrll.html"...
Creating HTML file "adantrlr.html"...
Creating HTML file "adantrrl.html"...
Creating HTML file "adantrrr.html"...
Creating HTML file "ad2antrr.html"...
Creating HTML file "ad2antlr.html"...
Creating HTML file "ad2antrl.html"...
Creating HTML file "ad2antll.html"...
Creating HTML file "ad2ant2l.html"...
Creating HTML file "ad2ant2r.html"...
Creating HTML file "ad2ant2lr.html"...
Creating HTML file "ad2ant2rl.html"...
Creating HTML file "simpll.html"...
Creating HTML file "simplr.html"...
Creating HTML file "simprl.html"...
Creating HTML file "simprr.html"...
Creating HTML file "biimpa.html"...
Creating HTML file "biimpar.html"...
Creating HTML file "biimpac.html"...
Creating HTML file "biimparc.html"...
Creating HTML file "pm3.26bda.html"...
Creating HTML file "pm3.27bda.html"...
Creating HTML file "jaob.html"...
Creating HTML file "pm4.77.html"...
Creating HTML file "jaod.html"...
Creating HTML file "jaoian.html"...
Creating HTML file "jaodan.html"...
Creating HTML file "jaao.html"...
Creating HTML file "pm2.63.html"...
Creating HTML file "pm2.64.html"...
Creating HTML file "pm3.44.html"...
Creating HTML file "pm4.43.html"...
Creating HTML file "anidm.html"...
Creating HTML file "pm4.24.html"...
Creating HTML file "anidms.html"...
Creating HTML file "ancom.html"...
Creating HTML file "ancoms.html"...
Creating HTML file "ancomsd.html"...
Creating HTML file "pm3.22.html"...
Creating HTML file "anass.html"...
Creating HTML file "anasss.html"...
Creating HTML file "anassrs.html"...
Creating HTML file "imdistan.html"...
Creating HTML file "imdistani.html"...
Creating HTML file "imdistanri.html"...
Creating HTML file "imdistand.html"...
Creating HTML file "pm5.3.html"...
Creating HTML file "pm5.61.html"...
Creating HTML file "sylan.html"...
Creating HTML file "sylanb.html"...
Creating HTML file "sylanbr.html"...
Creating HTML file "sylan2.html"...
Creating HTML file "sylan2b.html"...
Creating HTML file "sylan2br.html"...
Creating HTML file "syl2an.html"...
Creating HTML file "syl2anb.html"...
Creating HTML file "syl2anbr.html"...
Creating HTML file "syland.html"...
Creating HTML file "sylan2d.html"...
Creating HTML file "syl2and.html"...
Creating HTML file "sylanl1.html"...
Creating HTML file "sylanl2.html"...
Creating HTML file "sylanr1.html"...
Creating HTML file "sylanr2.html"...
Creating HTML file "sylani.html"...
Creating HTML file "sylan2i.html"...
Creating HTML file "syl2ani.html"...
Creating HTML file "syldan.html"...
Creating HTML file "sylan9.html"...
Creating HTML file "sylan9r.html"...
Creating HTML file "mpan9.html"...
Creating HTML file "sylanc.html"...
Creating HTML file "syl2anc.html"...
Creating HTML file "sylancb.html"...
Creating HTML file "sylancbr.html"...
Creating HTML file "pm2.61ian.html"...
Creating HTML file "pm2.61dan.html"...
Creating HTML file "condan.html"...
Creating HTML file "abai.html"...
Creating HTML file "anbi2i.html"...
Creating HTML file "anbi1i.html"...
Creating HTML file "anbi12i.html"...
Creating HTML file "pm5.53.html"...
Creating HTML file "an12.html"...
Creating HTML file "an23.html"...
Creating HTML file "an1s.html"...
Creating HTML file "ancom2s.html"...
Creating HTML file "ancom13s.html"...
Creating HTML file "an1rs.html"...
Creating HTML file "ancom1s.html"...
Creating HTML file "ancom31s.html"...
Creating HTML file "anabs1.html"...
Creating HTML file "anabs5.html"...
Creating HTML file "anabs7.html"...
Creating HTML file "anabsi5.html"...
Creating HTML file "anabsi6.html"...
Creating HTML file "anabsi7.html"...
Creating HTML file "anabsi8.html"...
Creating HTML file "anabss1.html"...
Creating HTML file "anabss3.html"...
Creating HTML file "anabss4.html"...
Creating HTML file "anabss5.html"...
Creating HTML file "anabss7.html"...
Creating HTML file "anabsan.html"...
Creating HTML file "anabsan2.html"...
Creating HTML file "an4.html"...
Creating HTML file "an42.html"...
Creating HTML file "an4s.html"...
Creating HTML file "an42s.html"...
Creating HTML file "anandi.html"...
Creating HTML file "anandir.html"...
Creating HTML file "anandis.html"...
Creating HTML file "anandirs.html"...
Creating HTML file "bi.html"...
Creating HTML file "impbid.html"...
Creating HTML file "impbid1.html"...
Creating HTML file "impbid2.html"...
Creating HTML file "impbida.html"...
Creating HTML file "bicom.html"...
Creating HTML file "bicomd.html"...
Creating HTML file "pm4.11.html"...
Creating HTML file "con4bii.html"...
Creating HTML file "con4bid.html"...
Creating HTML file "con2bi.html"...
Creating HTML file "con2bid.html"...
Creating HTML file "con1bid.html"...
Creating HTML file "bitrd.html"...
Creating HTML file "bitr2d.html"...
Creating HTML file "bitr3d.html"...
Creating HTML file "bitr4d.html"...
Creating HTML file "syl5bb.html"...
Creating HTML file "syl5rbb.html"...
Creating HTML file "syl5bbr.html"...
Creating HTML file "syl5rbbr.html"...
Creating HTML file "syl6bb.html"...
Creating HTML file "syl6rbb.html"...
Creating HTML file "syl6bbr.html"...
Creating HTML file "syl6rbbr.html"...
Creating HTML file "sylan9bb.html"...
Creating HTML file "sylan9bbr.html"...
Creating HTML file "3imtr3d.html"...
Creating HTML file "3imtr4d.html"...
Creating HTML file "3bitrd.html"...
Creating HTML file "3bitrrd.html"...
Creating HTML file "3bitr2d.html"...
Creating HTML file "3bitr2rd.html"...
Creating HTML file "3bitr3d.html"...
Creating HTML file "3bitr3rd.html"...
Creating HTML file "3bitr4d.html"...
Creating HTML file "3bitr4rd.html"...
Creating HTML file "3imtr3g.html"...
Creating HTML file "3imtr4g.html"...
Creating HTML file "3bitr3g.html"...
Creating HTML file "3bitr4g.html"...
Creating HTML file "prth.html"...
Creating HTML file "pm3.48.html"...
Creating HTML file "anim12d.html"...
Creating HTML file "anim12ii.html"...
Creating HTML file "anim1d.html"...
Creating HTML file "anim2d.html"...
Creating HTML file "pm3.45.html"...
Creating HTML file "im2anan9.html"...
Creating HTML file "im2anan9r.html"...
Creating HTML file "orim12d.html"...
Creating HTML file "orim1d.html"...
Creating HTML file "orim2d.html"...
Creating HTML file "orim2.html"...
Creating HTML file "pm2.38.html"...
Creating HTML file "pm2.36.html"...
Creating HTML file "pm2.37.html"...
Creating HTML file "pm2.73.html"...
Creating HTML file "pm2.74.html"...
Creating HTML file "pm2.75.html"...
Creating HTML file "pm2.76.html"...
Creating HTML file "pm2.8.html"...
Creating HTML file "pm2.81.html"...
Creating HTML file "pm2.82.html"...
Creating HTML file "pm2.85.html"...
Creating HTML file "pm3.2ni.html"...
Creating HTML file "orabs.html"...
Creating HTML file "oranabs.html"...
Creating HTML file "pm5.74.html"...
Creating HTML file "pm5.74i.html"...
Creating HTML file "pm5.74d.html"...
Creating HTML file "pm5.74da.html"...
Creating HTML file "pm5.74ri.html"...
Creating HTML file "pm5.74rd.html"...
Creating HTML file "mpbidi.html"...
Creating HTML file "ibib.html"...
Creating HTML file "ibibr.html"...
Creating HTML file "ibi.html"...
Creating HTML file "ibir.html"...
Creating HTML file "ibd.html"...
Creating HTML file "pm5.501.html"...
Creating HTML file "ordi.html"...
Creating HTML file "ordir.html"...
Creating HTML file "jcab.html"...
Creating HTML file "pm4.76.html"...
Creating HTML file "jcad.html"...
Creating HTML file "jctild.html"...
Creating HTML file "jctird.html"...
Creating HTML file "pm3.43.html"...
Creating HTML file "andi.html"...
Creating HTML file "andir.html"...
Creating HTML file "orddi.html"...
Creating HTML file "anddi.html"...
Creating HTML file "bibi2i.html"...
Creating HTML file "bibi1i.html"...
Creating HTML file "bibi12i.html"...
Creating HTML file "negbid.html"...
Creating HTML file "imbi2d.html"...
Creating HTML file "imbi1d.html"...
Creating HTML file "orbi2d.html"...
Creating HTML file "orbi1d.html"...
Creating HTML file "anbi2d.html"...
Creating HTML file "anbi1d.html"...
Creating HTML file "bibi2d.html"...
Creating HTML file "bibi1d.html"...
Creating HTML file "orbi1.html"...
Creating HTML file "anbi1.html"...
Creating HTML file "pm4.22.html"...
Creating HTML file "imbi1.html"...
Creating HTML file "imbi2.html"...
Creating HTML file "bibi1.html"...
Creating HTML file "imbi12d.html"...
Creating HTML file "orbi12d.html"...
Creating HTML file "anbi12d.html"...
Creating HTML file "bibi12d.html"...
Creating HTML file "pm4.39.html"...
Creating HTML file "pm4.38.html"...
Creating HTML file "bi2anan9.html"...
Creating HTML file "bi2anan9r.html"...
Creating HTML file "bi2bian9.html"...
Creating HTML file "pm4.71.html"...
Creating HTML file "pm4.71r.html"...
Creating HTML file "pm4.71i.html"...
Creating HTML file "pm4.71ri.html"...
Creating HTML file "pm4.71rd.html"...
Creating HTML file "pm4.45.html"...
Creating HTML file "pm4.72.html"...
Creating HTML file "iba.html"...
Creating HTML file "ibar.html"...
Creating HTML file "pm5.32.html"...
Creating HTML file "pm5.32i.html"...
Creating HTML file "pm5.32ri.html"...
Creating HTML file "pm5.32d.html"...
Creating HTML file "pm5.32rd.html"...
Creating HTML file "pm5.32da.html"...
Creating HTML file "pm5.33.html"...
Creating HTML file "pm5.36.html"...
Creating HTML file "pm5.42.html"...
Creating HTML file "bianabs.html"...
Creating HTML file "oibabs.html"...
Creating HTML file "exmid.html"...
Creating HTML file "pm2.1.html"...
Creating HTML file "pm2.13.html"...
Creating HTML file "pm3.24.html"...
Creating HTML file "pm2.26.html"...
Creating HTML file "pm5.18.html"...
Creating HTML file "nbbn.html"...
Creating HTML file "pm5.11.html"...
Creating HTML file "pm5.12.html"...
Creating HTML file "pm5.13.html"...
Creating HTML file "pm5.14.html"...
Creating HTML file "pm5.15.html"...
Creating HTML file "pm5.16.html"...
Creating HTML file "pm5.17.html"...
Creating HTML file "pm5.19.html"...
Creating HTML file "dfbi.html"...
Creating HTML file "xor.html"...
Creating HTML file "pm5.24.html"...
Creating HTML file "xor2.html"...
Creating HTML file "xor3.html"...
Creating HTML file "pm5.55.html"...
Creating HTML file "pm5.1.html"...
Creating HTML file "pm5.21.html"...
Creating HTML file "pm5.21ni.html"...
Creating HTML file "pm5.21nii.html"...
Creating HTML file "pm5.21nd.html"...
Creating HTML file "bibif.html"...
Creating HTML file "pm5.35.html"...
Creating HTML file "pm5.54.html"...
Creating HTML file "elimant.html"...
Creating HTML file "baib.html"...
Creating HTML file "baibr.html"...
Creating HTML file "pm5.44.html"...
Creating HTML file "pm5.6.html"...
Creating HTML file "nan.html"...
Creating HTML file "orcanai.html"...
Creating HTML file "intnan.html"...
Creating HTML file "intnanr.html"...
Creating HTML file "intnand.html"...
Creating HTML file "intnanrd.html"...
Creating HTML file "mpan.html"...
Creating HTML file "mpan2.html"...
Creating HTML file "mp2an.html"...
Creating HTML file "mpani.html"...
Creating HTML file "mpan2i.html"...
Creating HTML file "mp2ani.html"...
Creating HTML file "mpand.html"...
Creating HTML file "mpan2d.html"...
Creating HTML file "mp2and.html"...
Creating HTML file "mpdan.html"...
Creating HTML file "mpancom.html"...
Creating HTML file "mpanl1.html"...
Creating HTML file "mpanl2.html"...
Creating HTML file "mpanl12.html"...
Creating HTML file "mpanr1.html"...
Creating HTML file "mpanr2.html"...
Creating HTML file "mpanlr1.html"...
Creating HTML file "mtt.html"...
Creating HTML file "mt2bi.html"...
Creating HTML file "mtbid.html"...
Creating HTML file "mtbird.html"...
Creating HTML file "mtbii.html"...
Creating HTML file "mtbiri.html"...
Creating HTML file "2th.html"...
Creating HTML file "2false.html"...
Creating HTML file "tbt.html"...
Creating HTML file "nbn2.html"...
Creating HTML file "nbn.html"...
Creating HTML file "nbn3.html"...
Creating HTML file "biantru.html"...
Creating HTML file "biantrur.html"...
Creating HTML file "biantrud.html"...
Creating HTML file "biantrurd.html"...
Creating HTML file "mpbiran.html"...
Creating HTML file "mpbiran2.html"...
Creating HTML file "mpbir2an.html"...
Creating HTML file "biimt.html"...
Creating HTML file "pm5.5.html"...
Creating HTML file "pm5.62.html"...
Creating HTML file "biort.html"...
Creating HTML file "biorf.html"...
Creating HTML file "biorfi.html"...
Creating HTML file "bianfi.html"...
Creating HTML file "bianfd.html"...
Creating HTML file "pm4.82.html"...
Creating HTML file "pm4.83.html"...
Creating HTML file "pclem6.html"...
Creating HTML file "biantr.html"...
Creating HTML file "orbidi.html"...
Creating HTML file "biass.html"...
Creating HTML file "biluk.html"...
Creating HTML file "pm5.7.html"...
Creating HTML file "bigolden.html"...
Creating HTML file "pm5.71.html"...
Creating HTML file "pm5.75.html"...
Creating HTML file "bimsc1.html"...
Creating HTML file "ecase2d.html"...
Creating HTML file "ecase3.html"...
Creating HTML file "ecase.html"...
Creating HTML file "ecase3d.html"...
Creating HTML file "ccase.html"...
Creating HTML file "ccased.html"...
Creating HTML file "ccase2.html"...
Creating HTML file "4cases.html"...
Creating HTML file "niabn.html"...
Creating HTML file "dedlem0a.html"...
Creating HTML file "dedlem0b.html"...
Creating HTML file "dedlema.html"...
Creating HTML file "dedlemb.html"...
Creating HTML file "elimh.html"...
Creating HTML file "dedt.html"...
Creating HTML file "con3th.html"...
Creating HTML file "consensus.html"...
Creating HTML file "pm4.42.html"...
Creating HTML file "ninba.html"...
Creating HTML file "prlem1.html"...
Creating HTML file "prlem2.html"...
Creating HTML file "oplem1.html"...
Creating HTML file "rnlem.html"...
Creating HTML file "w3o.html"...
Creating HTML file "w3a.html"...
Creating HTML file "df-3or.html"...
Creating HTML file "df-3an.html"...
Creating HTML file "3orass.html"...
Creating HTML file "3anass.html"...
Creating HTML file "3anrot.html"...
Creating HTML file "3orrot.html"...
Creating HTML file "3ancoma.html"...
Creating HTML file "3ancomb.html"...
Creating HTML file "3anrev.html"...
Creating HTML file "3simpa.html"...
Creating HTML file "3simpb.html"...
Creating HTML file "3simpc.html"...
Creating HTML file "3simp1.html"...
Creating HTML file "3simp2.html"...
Creating HTML file "3simp3.html"...
Creating HTML file "3simp1i.html"...
Creating HTML file "3simp2i.html"...
Creating HTML file "3simp3i.html"...
Creating HTML file "3simp1d.html"...
Creating HTML file "3simp2d.html"...
Creating HTML file "3simp3d.html"...
Creating HTML file "3adant1.html"...
Creating HTML file "3adant2.html"...
Creating HTML file "3adant3.html"...
Creating HTML file "3ad2ant1.html"...
Creating HTML file "3ad2ant2.html"...
Creating HTML file "3ad2ant3.html"...
Creating HTML file "3adantl1.html"...
Creating HTML file "3adantl2.html"...
Creating HTML file "3adantl3.html"...
Creating HTML file "3adantr1.html"...
Creating HTML file "3adantr2.html"...
Creating HTML file "3adantr3.html"...
Creating HTML file "3ad2antl1.html"...
Creating HTML file "3ad2antl2.html"...
Creating HTML file "3ad2antl3.html"...
Creating HTML file "3ad2antr1.html"...
Creating HTML file "3ad2antr2.html"...
Creating HTML file "3ad2antr3.html"...
Creating HTML file "3mix1.html"...
Creating HTML file "3mix2.html"...
Creating HTML file "3mix3.html"...
Creating HTML file "3pm3.2i.html"...
Creating HTML file "3jca.html"...
Creating HTML file "3jcad.html"...
Creating HTML file "3anim123i.html"...
Creating HTML file "3anbi123i.html"...
Creating HTML file "3orbi123i.html"...
Creating HTML file "3anbi1i.html"...
Creating HTML file "3anbi2i.html"...
Creating HTML file "3anbi3i.html"...
Creating HTML file "3imp.html"...
Creating HTML file "3impa.html"...
Creating HTML file "3impb.html"...
Creating HTML file "3impia.html"...
Creating HTML file "3impib.html"...
Creating HTML file "3exp.html"...
Creating HTML file "3expa.html"...
Creating HTML file "3expb.html"...
Creating HTML file "3expia.html"...
Creating HTML file "3expib.html"...
Creating HTML file "3com12.html"...
Creating HTML file "3com13.html"...
Creating HTML file "3com23.html"...
Creating HTML file "3coml.html"...
Creating HTML file "3comr.html"...
Creating HTML file "3adant3r1.html"...
Creating HTML file "3adant3r2.html"...
Creating HTML file "3adant3r3.html"...
Creating HTML file "3an1rs.html"...
Creating HTML file "3imp1.html"...
Creating HTML file "3impd.html"...
Creating HTML file "3imp2.html"...
Creating HTML file "3exp1.html"...
Creating HTML file "3expd.html"...
Creating HTML file "3exp2.html"...
Creating HTML file "3adant1l.html"...
Creating HTML file "3adant1r.html"...
Creating HTML file "3adant2l.html"...
Creating HTML file "3adant2r.html"...
Creating HTML file "3adant3l.html"...
Creating HTML file "3adant3r.html"...
Creating HTML file "syl3anc.html"...
Creating HTML file "syl3an1.html"...
Creating HTML file "syl3an2.html"...
Creating HTML file "syl3an3.html"...
Creating HTML file "syl3an1b.html"...
Creating HTML file "syl3an2b.html"...
Creating HTML file "syl3an3b.html"...
Creating HTML file "syl3an1br.html"...
Creating HTML file "syl3an2br.html"...
Creating HTML file "syl3an3br.html"...
Creating HTML file "syl3an.html"...
Creating HTML file "syl3anb.html"...
Creating HTML file "syl3dan3.html"...
Creating HTML file "syl3dan2.html"...
Creating HTML file "syl3anl1.html"...
Creating HTML file "syl3anl2.html"...
Creating HTML file "syl3anl3.html"...
Creating HTML file "syl3anl.html"...
Creating HTML file "syl3anr1.html"...
Creating HTML file "syl3anr2.html"...
Creating HTML file "syl3anr3.html"...
Creating HTML file "3impdi.html"...
Creating HTML file "3impdir.html"...
Creating HTML file "3anidm12.html"...
Creating HTML file "3anidm13.html"...
Creating HTML file "3anidm23.html"...
Creating HTML file "3ori.html"...
Creating HTML file "3jao.html"...
Creating HTML file "3jaoi.html"...
Creating HTML file "3jaod.html"...
Creating HTML file "3jaoian.html"...
Creating HTML file "3jaodan.html"...
Creating HTML file "syl3an9b.html"...
Creating HTML file "3orbi123d.html"...
Creating HTML file "3anbi123d.html"...
Creating HTML file "3anbi12d.html"...
Creating HTML file "3anbi13d.html"...
Creating HTML file "3anbi23d.html"...
Creating HTML file "3anbi1d.html"...
Creating HTML file "3anbi2d.html"...
Creating HTML file "3anbi3d.html"...
Creating HTML file "3anim123d.html"...
Creating HTML file "3orim123d.html"...
Creating HTML file "an6.html"...
Creating HTML file "mp3an1.html"...
Creating HTML file "mp3an2.html"...
Creating HTML file "mp3an3.html"...
Creating HTML file "mp3an12.html"...
Creating HTML file "mp3an13.html"...
Creating HTML file "mp3an23.html"...
Creating HTML file "mp3an1i.html"...
Creating HTML file "mp3anl1.html"...
Creating HTML file "mp3anl2.html"...
Creating HTML file "mp3anl3.html"...
Creating HTML file "mp3anr1.html"...
Creating HTML file "mp3anr2.html"...
Creating HTML file "mp3anr3.html"...
Creating HTML file "mp3an.html"...
Creating HTML file "mpd3an3.html"...
Creating HTML file "mpd3an23.html"...
Creating HTML file "biimp3a.html"...
Creating HTML file "3anandis.html"...
Creating HTML file "3anandirs.html"...
Creating HTML file "ecase23d.html"...
Creating HTML file "3ecase.html"...
Creating HTML file "meredith.html"...
Creating HTML file "merlem1.html"...
Creating HTML file "merlem2.html"...
Creating HTML file "merlem3.html"...
Creating HTML file "merlem4.html"...
Creating HTML file "merlem5.html"...
Creating HTML file "merlem6.html"...
Creating HTML file "merlem7.html"...
Creating HTML file "merlem8.html"...
Creating HTML file "merlem9.html"...
Creating HTML file "merlem10.html"...
Creating HTML file "merlem11.html"...
Creating HTML file "merlem12.html"...
Creating HTML file "merlem13.html"...
Creating HTML file "luk-1.html"...
Creating HTML file "luk-2.html"...
Creating HTML fi