view texts/archimedesOldCVSRepository/archimedes/chunking/specific_chuncks/biancani-specific-chunks.xml @ 16:6fa5e8c4e0dd

new version
author Klaus Thoden <kthoden@mpiwg-berlin.mpg.de>
date Thu, 02 May 2013 11:52:14 +0200
parents 22d6a63640c6
children
line wrap: on
line source

<?xml version="1.0"?>
<!DOCTYPE archimedes SYSTEM "../../dtd/chunks.dtd" >
<archimedes>
<chunk>
<name>titles</name>
<description></description>
<nodeset>
<link xlink:href="009.xml#id.002583"/>
<link xlink:href="009.xml#id.002586"/>
<link xlink:href="009.xml#id.002587"/>
<link xlink:href="009.xml#id.002600"/>
<link xlink:href="009.xml#id.002601"/>
<link xlink:href="009.xml#id.002660"/>
<link xlink:href="009.xml#id.002661"/>
<link xlink:href="009.xml#id.002673"/>
<link xlink:href="009.xml#id.002674"/>
<link xlink:href="009.xml#id.002706"/>
<link xlink:href="009.xml#id.002707"/>
<link xlink:href="009.xml#id.002730"/>
<link xlink:href="009.xml#id.002731"/>
<link xlink:href="009.xml#id.002738"/>
<link xlink:href="009.xml#id.002739"/>
<link xlink:href="009.xml#id.002868"/>
<link xlink:href="009.xml#id.002869"/>
<link xlink:href="009.xml#id.002879"/>
<link xlink:href="009.xml#id.002880"/>
<link xlink:href="009.xml#id.002917"/>
<link xlink:href="009.xml#id.002918"/>
<link xlink:href="009.xml#id.002944"/>
<link xlink:href="009.xml#id.002945"/>
<link xlink:href="009.xml#id.002959"/>
<link xlink:href="009.xml#id.002960"/>
<link xlink:href="009.xml#id.002971"/>
<link xlink:href="009.xml#id.002972"/>
<link xlink:href="009.xml#id.002974"/>
<link xlink:href="009.xml#id.002975"/>
<link xlink:href="009.xml#id.002993"/>
<link xlink:href="009.xml#id.002994"/>
<link xlink:href="009.xml#id.002996"/>
<link xlink:href="009.xml#id.002997"/>
<link xlink:href="009.xml#id.003004"/>
<link xlink:href="009.xml#id.003005"/>
<link xlink:href="009.xml#id.003015"/>
<link xlink:href="009.xml#id.003016"/>
<link xlink:href="009.xml#id.003028"/>
<link xlink:href="009.xml#id.003029"/>
<link xlink:href="009.xml#id.003061"/>
<link xlink:href="009.xml#id.003062"/>
<link xlink:href="009.xml#id.003104"/>
<link xlink:href="009.xml#id.003105"/>
<link xlink:href="009.xml#id.003133"/>
<link xlink:href="009.xml#id.003134"/>
<link xlink:href="009.xml#id.003143"/>
<link xlink:href="009.xml#id.003144"/>
<link xlink:href="009.xml#id.003161"/>
<link xlink:href="009.xml#id.003162"/>
<link xlink:href="009.xml#id.003186"/>
<link xlink:href="009.xml#id.003187"/>
<link xlink:href="009.xml#id.003214"/>
<link xlink:href="009.xml#id.003215"/>
<link xlink:href="009.xml#id.003234"/>
<link xlink:href="009.xml#id.003235"/>
<link xlink:href="009.xml#id.003245"/>
<link xlink:href="009.xml#id.003246"/>
<link xlink:href="009.xml#id.003253"/>
<link xlink:href="009.xml#id.003254"/>
<link xlink:href="009.xml#id.003265"/>
<link xlink:href="009.xml#id.003266"/>
<link xlink:href="009.xml#id.003274"/>
<link xlink:href="009.xml#id.003275"/>
</nodeset>
</chunk>


<chunk>
<name>premises</name>
<description></description>
<nodeset>
<link xlink:href="009.xml#id.002590"/>
<link xlink:href="009.xml#id.002591"/>
<link xlink:href="009.xml#id.002592"/>
<link xlink:href="009.xml#id.002593"/>
<link xlink:href="009.xml#id.002594"/>
<link xlink:href="009.xml#id.002595"/>
<link xlink:href="009.xml#id.002596"/>
<link xlink:href="009.xml#id.002597"/>
<link xlink:href="009.xml#id.002598"/>
<link xlink:href="009.xml#id.002599"/>
<link xlink:href="009.xml#id.002604"/>
<link xlink:href="009.xml#id.002605"/>
<link xlink:href="009.xml#id.002606"/>
<link xlink:href="009.xml#id.002607"/>
<link xlink:href="009.xml#id.002608"/>
<link xlink:href="009.xml#id.002609"/>
<link xlink:href="009.xml#id.002710"/>
<link xlink:href="009.xml#id.002742"/>
<link xlink:href="009.xml#id.002787"/>
<link xlink:href="009.xml#id.002884"/>
<link xlink:href="009.xml#id.002885"/>
<link xlink:href="009.xml#id.002886"/>
<link xlink:href="009.xml#id.002887"/>
<link xlink:href="009.xml#id.002888"/>
<link xlink:href="009.xml#id.002889"/>
<link xlink:href="009.xml#id.002890"/>
<link xlink:href="009.xml#id.002891"/>
<link xlink:href="009.xml#id.002892"/>
<link xlink:href="009.xml#id.002893"/>
<link xlink:href="009.xml#id.002894"/>
<link xlink:href="009.xml#id.002895"/>
<link xlink:href="009.xml#id.002896"/>
<link xlink:href="009.xml#id.002897"/>
<link xlink:href="009.xml#id.002898"/>
<link xlink:href="009.xml#id.002899"/>
<link xlink:href="009.xml#id.002900"/>
<link xlink:href="009.xml#id.002901"/>
<link xlink:href="009.xml#id.002902"/>
<link xlink:href="009.xml#id.002924"/>
<link xlink:href="009.xml#id.002925"/>
<link xlink:href="009.xml#id.002926"/>
<link xlink:href="009.xml#id.003038"/>
<link xlink:href="009.xml#id.003039"/>
<link xlink:href="009.xml#id.003065"/>
<link xlink:href="009.xml#id.003066"/>
<link xlink:href="009.xml#id.003067"/>
<link xlink:href="009.xml#id.003068"/>
<link xlink:href="009.xml#id.003108"/>
<link xlink:href="009.xml#id.003168"/>
<link xlink:href="009.xml#id.003169"/>
<link xlink:href="009.xml#id.003170"/>
<link xlink:href="009.xml#id.003278"/>
</nodeset>
</chunk>


<chunk>
<name>problems</name>
<description></description>
<nodeset>
<link xlink:href="009.xml#id.002610"/>
<link xlink:href="009.xml#id.002611"/>
<link xlink:href="009.xml#id.002614"/>
<link xlink:href="009.xml#id.002618"/>
<link xlink:href="009.xml#id.002624"/>
<link xlink:href="009.xml#id.002632"/>
<link xlink:href="009.xml#id.002664"/>
<link xlink:href="009.xml#id.002677"/>
<link xlink:href="009.xml#id.002678"/>
<link xlink:href="009.xml#id.002689"/>
<link xlink:href="009.xml#id.002711"/>
<link xlink:href="009.xml#id.002785"/>
<link xlink:href="009.xml#id.002786"/>
<link xlink:href="009.xml#id.002872"/>
<link xlink:href="009.xml#id.002921"/>
<link xlink:href="009.xml#id.002922"/>
<link xlink:href="009.xml#id.002923"/>
<link xlink:href="009.xml#id.002948"/>
<link xlink:href="009.xml#id.002963"/>
<link xlink:href="009.xml#id.002990"/>
<link xlink:href="009.xml#id.003019"/>
<link xlink:href="009.xml#id.003124"/>
<link xlink:href="009.xml#id.003137"/>
<link xlink:href="009.xml#id.003151"/>
<link xlink:href="009.xml#id.003152"/>
<link xlink:href="009.xml#id.003153"/>
<link xlink:href="009.xml#id.003154"/>
<link xlink:href="009.xml#id.003171"/>
<link xlink:href="009.xml#id.003172"/>
<link xlink:href="009.xml#id.003173"/>
<link xlink:href="009.xml#id.003190"/>
<link xlink:href="009.xml#id.003218"/>
<link xlink:href="009.xml#id.003219"/>
<link xlink:href="009.xml#id.003238"/>
<link xlink:href="009.xml#id.003239"/>
<link xlink:href="009.xml#id.003240"/>
<link xlink:href="009.xml#id.003249"/>
<link xlink:href="009.xml#id.003262"/>
<link xlink:href="009.xml#id.003269"/>
<link xlink:href="009.xml#id.003279"/>
<link xlink:href="009.xml#id.003280"/>
<link xlink:href="009.xml#id.003290"/>
</nodeset>
</chunk>


<chunk>
<name>terminology</name>
<description></description>
<nodeset>
<link xlink:href="009.xml#id.002713"/>
<link xlink:href="009.xml#id.002933"/>
<link xlink:href="009.xml#id.002934"/>
<link xlink:href="009.xml#id.002935"/>
<link xlink:href="009.xml#id.002936"/>
<link xlink:href="009.xml#id.002937"/>
<link xlink:href="009.xml#id.002938"/>
<link xlink:href="009.xml#id.002939"/>
<link xlink:href="009.xml#id.002940"/>
<link xlink:href="009.xml#id.002941"/>
<link xlink:href="009.xml#id.002942"/>
<link xlink:href="009.xml#id.002943"/>
<link xlink:href="009.xml#id.002964"/>
<link xlink:href="009.xml#id.002978"/>
<link xlink:href="009.xml#id.002979"/>
<link xlink:href="009.xml#id.002980"/>
<link xlink:href="009.xml#id.002981"/>
<link xlink:href="009.xml#id.002982"/>
<link xlink:href="009.xml#id.002983"/>
<link xlink:href="009.xml#id.002984"/>
<link xlink:href="009.xml#id.002985"/>
<link xlink:href="009.xml#id.002986"/>
<link xlink:href="009.xml#id.002987"/>
<link xlink:href="009.xml#id.002988"/>
<link xlink:href="009.xml#id.002989"/>
<link xlink:href="009.xml#id.003000"/>
<link xlink:href="009.xml#id.003001"/>
<link xlink:href="009.xml#id.003002"/>
<link xlink:href="009.xml#id.003033"/>
<link xlink:href="009.xml#id.003034"/>
<link xlink:href="009.xml#id.003035"/>
<link xlink:href="009.xml#id.003036"/>
<link xlink:href="009.xml#id.003037"/>
<link xlink:href="009.xml#id.003069"/>
<link xlink:href="009.xml#id.003070"/>
<link xlink:href="009.xml#id.003071"/>
<link xlink:href="009.xml#id.003072"/>
<link xlink:href="009.xml#id.003073"/>
<link xlink:href="009.xml#id.003074"/>
<link xlink:href="009.xml#id.003075"/>
<link xlink:href="009.xml#id.003076"/>
<link xlink:href="009.xml#id.003088"/>
<link xlink:href="009.xml#id.003089"/>
<link xlink:href="009.xml#id.003090"/>
<link xlink:href="009.xml#id.003091"/>
<link xlink:href="009.xml#id.003092"/>
<link xlink:href="009.xml#id.003093"/>
<link xlink:href="009.xml#id.003094"/>
<link xlink:href="009.xml#id.003095"/>
<link xlink:href="009.xml#id.003096"/>
<link xlink:href="009.xml#id.003097"/>
<link xlink:href="009.xml#id.003098"/>
<link xlink:href="009.xml#id.003099"/>
<link xlink:href="009.xml#id.003100"/>
<link xlink:href="009.xml#id.003101"/>
<link xlink:href="009.xml#id.003102"/>
<link xlink:href="009.xml#id.003109"/>
<link xlink:href="009.xml#id.003110"/>
<link xlink:href="009.xml#id.003111"/>
<link xlink:href="009.xml#id.003112"/>
<link xlink:href="009.xml#id.003113"/>
<link xlink:href="009.xml#id.003114"/>
<link xlink:href="009.xml#id.003115"/>
<link xlink:href="009.xml#id.003116"/>
<link xlink:href="009.xml#id.003117"/>
<link xlink:href="009.xml#id.003118"/>
<link xlink:href="009.xml#id.003119"/>
<link xlink:href="009.xml#id.003120"/>
<link xlink:href="009.xml#id.003121"/>
<link xlink:href="009.xml#id.003122"/>
<link xlink:href="009.xml#id.003123"/>
<link xlink:href="009.xml#id.003147"/>
<link xlink:href="009.xml#id.003148"/>
<link xlink:href="009.xml#id.003149"/>
<link xlink:href="009.xml#id.003150"/>
<link xlink:href="009.xml#id.003257"/>
<link xlink:href="009.xml#id.003258"/>
<link xlink:href="009.xml#id.003259"/>
<link xlink:href="009.xml#id.003260"/>
<link xlink:href="009.xml#id.003261"/>
<link xlink:href="009.xml#id.003273"/>
</nodeset>
</chunk>


<chunk>
<name>rhetorical explanations</name>
<description></description>
<nodeset>
<link xlink:href="009.xml#id.002612"/>
<link xlink:href="009.xml#id.002613"/>
<link xlink:href="009.xml#id.002615"/>
<link xlink:href="009.xml#id.002616"/>
<link xlink:href="009.xml#id.002617"/>
<link xlink:href="009.xml#id.002619"/>
<link xlink:href="009.xml#id.002625"/>
<link xlink:href="009.xml#id.002626"/>
<link xlink:href="009.xml#id.002627"/>
<link xlink:href="009.xml#id.002631"/>
<link xlink:href="009.xml#id.002633"/>
<link xlink:href="009.xml#id.002634"/>
<link xlink:href="009.xml#id.002636"/>
<link xlink:href="009.xml#id.002637"/>
<link xlink:href="009.xml#id.002638"/>
<link xlink:href="009.xml#id.002639"/>
<link xlink:href="009.xml#id.002640"/>
<link xlink:href="009.xml#id.002641"/>
<link xlink:href="009.xml#id.002642"/>
<link xlink:href="009.xml#id.002643"/>
<link xlink:href="009.xml#id.002644"/>
<link xlink:href="009.xml#id.002669"/>
<link xlink:href="009.xml#id.002670"/>
<link xlink:href="009.xml#id.002690"/>
<link xlink:href="009.xml#id.002691"/>
<link xlink:href="009.xml#id.002692"/>
<link xlink:href="009.xml#id.002712"/>
<link xlink:href="009.xml#id.002714"/>
<link xlink:href="009.xml#id.002715"/>
<link xlink:href="009.xml#id.002719"/>
<link xlink:href="009.xml#id.002734"/>
<link xlink:href="009.xml#id.002735"/>
<link xlink:href="009.xml#id.002736"/>
<link xlink:href="009.xml#id.002737"/>
<link xlink:href="009.xml#id.002804"/>
<link xlink:href="009.xml#id.002805"/>
<link xlink:href="009.xml#id.002806"/>
<link xlink:href="009.xml#id.002807"/>
<link xlink:href="009.xml#id.002808"/>
<link xlink:href="009.xml#id.002809"/>
<link xlink:href="009.xml#id.002873"/>
<link xlink:href="009.xml#id.002874"/>
<link xlink:href="009.xml#id.002903"/>
<link xlink:href="009.xml#id.002904"/>
<link xlink:href="009.xml#id.002905"/>
<link xlink:href="009.xml#id.002906"/>
<link xlink:href="009.xml#id.002907"/>
<link xlink:href="009.xml#id.002908"/>
<link xlink:href="009.xml#id.002927"/>
<link xlink:href="009.xml#id.002928"/>
<link xlink:href="009.xml#id.002929"/>
<link xlink:href="009.xml#id.002930"/>
<link xlink:href="009.xml#id.002931"/>
<link xlink:href="009.xml#id.002932"/>
<link xlink:href="009.xml#id.002949"/>
<link xlink:href="009.xml#id.002950"/>
<link xlink:href="009.xml#id.002951"/>
<link xlink:href="009.xml#id.002965"/>
<link xlink:href="009.xml#id.002966"/>
<link xlink:href="009.xml#id.002967"/>
<link xlink:href="009.xml#id.002968"/>
<link xlink:href="009.xml#id.002991"/>
<link xlink:href="009.xml#id.002992"/>
<link xlink:href="009.xml#id.003020"/>
<link xlink:href="009.xml#id.003021"/>
<link xlink:href="009.xml#id.003049"/>
<link xlink:href="009.xml#id.003050"/>
<link xlink:href="009.xml#id.003051"/>
<link xlink:href="009.xml#id.003052"/>
<link xlink:href="009.xml#id.003053"/>
<link xlink:href="009.xml#id.003054"/>
<link xlink:href="009.xml#id.003055"/>
<link xlink:href="009.xml#id.003056"/>
<link xlink:href="009.xml#id.003057"/>
<link xlink:href="009.xml#id.003125"/>
<link xlink:href="009.xml#id.003126"/>
<link xlink:href="009.xml#id.003127"/>
<link xlink:href="009.xml#id.003128"/>
<link xlink:href="009.xml#id.003129"/>
<link xlink:href="009.xml#id.003130"/>
<link xlink:href="009.xml#id.003131"/>
<link xlink:href="009.xml#id.003132"/>
<link xlink:href="009.xml#id.003138"/>
<link xlink:href="009.xml#id.003139"/>
<link xlink:href="009.xml#id.003140"/>
<link xlink:href="009.xml#id.003141"/>
<link xlink:href="009.xml#id.003155"/>
<link xlink:href="009.xml#id.003156"/>
<link xlink:href="009.xml#id.003157"/>
<link xlink:href="009.xml#id.003191"/>
<link xlink:href="009.xml#id.003192"/>
<link xlink:href="009.xml#id.003193"/>
<link xlink:href="009.xml#id.003197"/>
<link xlink:href="009.xml#id.003198"/>
<link xlink:href="009.xml#id.003199"/>
<link xlink:href="009.xml#id.003200"/>
<link xlink:href="009.xml#id.003201"/>
<link xlink:href="009.xml#id.003202"/>
<link xlink:href="009.xml#id.003203"/>
<link xlink:href="009.xml#id.003204"/>
<link xlink:href="009.xml#id.003205"/>
<link xlink:href="009.xml#id.003206"/>
<link xlink:href="009.xml#id.003220"/>
<link xlink:href="009.xml#id.003221"/>
<link xlink:href="009.xml#id.003241"/>
<link xlink:href="009.xml#id.003242"/>
<link xlink:href="009.xml#id.003250"/>
<link xlink:href="009.xml#id.003251"/>
<link xlink:href="009.xml#id.003263"/>
<link xlink:href="009.xml#id.003264"/>
<link xlink:href="009.xml#id.003270"/>
<link xlink:href="009.xml#id.003271"/>
<link xlink:href="009.xml#id.003272"/>
<link xlink:href="009.xml#id.003281"/>
<link xlink:href="009.xml#id.003282"/>
<link xlink:href="009.xml#id.003283"/>
<link xlink:href="009.xml#id.003284"/>
<link xlink:href="009.xml#id.003285"/>
<link xlink:href="009.xml#id.003291"/>
<link xlink:href="009.xml#id.003292"/>
<link xlink:href="009.xml#id.003293"/>
</nodeset>
</chunk>


<chunk>
<name>formal explanations</name>
<description></description>
<nodeset>
<link xlink:href="009.xml#id.002620"/>
<link xlink:href="009.xml#id.002621"/>
<link xlink:href="009.xml#id.002622"/>
<link xlink:href="009.xml#id.002623"/>
<link xlink:href="009.xml#id.002628"/>
<link xlink:href="009.xml#id.002629"/>
<link xlink:href="009.xml#id.002630"/>
<link xlink:href="009.xml#id.002635"/>
<link xlink:href="009.xml#id.002645"/>
<link xlink:href="009.xml#id.002646"/>
<link xlink:href="009.xml#id.002647"/>
<link xlink:href="009.xml#id.002648"/>
<link xlink:href="009.xml#id.002649"/>
<link xlink:href="009.xml#id.002650"/>
<link xlink:href="009.xml#id.002651"/>
<link xlink:href="009.xml#id.002652"/>
<link xlink:href="009.xml#id.002653"/>
<link xlink:href="009.xml#id.002654"/>
<link xlink:href="009.xml#id.002655"/>
<link xlink:href="009.xml#id.002656"/>
<link xlink:href="009.xml#id.002665"/>
<link xlink:href="009.xml#id.002666"/>
<link xlink:href="009.xml#id.002667"/>
<link xlink:href="009.xml#id.002668"/>
<link xlink:href="009.xml#id.002679"/>
<link xlink:href="009.xml#id.002680"/>
<link xlink:href="009.xml#id.002681"/>
<link xlink:href="009.xml#id.002682"/>
<link xlink:href="009.xml#id.002686"/>
<link xlink:href="009.xml#id.002687"/>
<link xlink:href="009.xml#id.002688"/>
<link xlink:href="009.xml#id.002693"/>
<link xlink:href="009.xml#id.002694"/>
<link xlink:href="009.xml#id.002695"/>
<link xlink:href="009.xml#id.002696"/>
<link xlink:href="009.xml#id.002697"/>
<link xlink:href="009.xml#id.002716"/>
<link xlink:href="009.xml#id.002717"/>
<link xlink:href="009.xml#id.002718"/>
<link xlink:href="009.xml#id.002743"/>
<link xlink:href="009.xml#id.002744"/>
<link xlink:href="009.xml#id.002745"/>
<link xlink:href="009.xml#id.002746"/>
<link xlink:href="009.xml#id.002770"/>
<link xlink:href="009.xml#id.002771"/>
<link xlink:href="009.xml#id.002772"/>
<link xlink:href="009.xml#id.002773"/>
<link xlink:href="009.xml#id.002774"/>
<link xlink:href="009.xml#id.002775"/>
<link xlink:href="009.xml#id.002776"/>
<link xlink:href="009.xml#id.002777"/>
<link xlink:href="009.xml#id.002778"/>
<link xlink:href="009.xml#id.002779"/>
<link xlink:href="009.xml#id.002780"/>
<link xlink:href="009.xml#id.002781"/>
<link xlink:href="009.xml#id.002782"/>
<link xlink:href="009.xml#id.002783"/>
<link xlink:href="009.xml#id.002784"/>
<link xlink:href="009.xml#id.002788"/>
<link xlink:href="009.xml#id.002789"/>
<link xlink:href="009.xml#id.002790"/>
<link xlink:href="009.xml#id.002791"/>
<link xlink:href="009.xml#id.002792"/>
<link xlink:href="009.xml#id.002793"/>
<link xlink:href="009.xml#id.002794"/>
<link xlink:href="009.xml#id.002795"/>
<link xlink:href="009.xml#id.002796"/>
<link xlink:href="009.xml#id.002797"/>
<link xlink:href="009.xml#id.002798"/>
<link xlink:href="009.xml#id.002799"/>
<link xlink:href="009.xml#id.002800"/>
<link xlink:href="009.xml#id.002801"/>
<link xlink:href="009.xml#id.002802"/>
<link xlink:href="009.xml#id.002803"/>
<link xlink:href="009.xml#id.002875"/>
<link xlink:href="009.xml#id.002876"/>
<link xlink:href="009.xml#id.002877"/>
<link xlink:href="009.xml#id.003008"/>
<link xlink:href="009.xml#id.003009"/>
<link xlink:href="009.xml#id.003010"/>
<link xlink:href="009.xml#id.003011"/>
<link xlink:href="009.xml#id.003012"/>
<link xlink:href="009.xml#id.003013"/>
<link xlink:href="009.xml#id.003024"/>
<link xlink:href="009.xml#id.003025"/>
<link xlink:href="009.xml#id.003026"/>
<link xlink:href="009.xml#id.003027"/>
<link xlink:href="009.xml#id.003040"/>
<link xlink:href="009.xml#id.003041"/>
<link xlink:href="009.xml#id.003042"/>
<link xlink:href="009.xml#id.003043"/>
<link xlink:href="009.xml#id.003044"/>
<link xlink:href="009.xml#id.003045"/>
<link xlink:href="009.xml#id.003046"/>
<link xlink:href="009.xml#id.003047"/>
<link xlink:href="009.xml#id.003048"/>
<link xlink:href="009.xml#id.003077"/>
<link xlink:href="009.xml#id.003078"/>
<link xlink:href="009.xml#id.003079"/>
<link xlink:href="009.xml#id.003080"/>
<link xlink:href="009.xml#id.003081"/>
<link xlink:href="009.xml#id.003082"/>
<link xlink:href="009.xml#id.003083"/>
<link xlink:href="009.xml#id.003084"/>
<link xlink:href="009.xml#id.003085"/>
<link xlink:href="009.xml#id.003086"/>
<link xlink:href="009.xml#id.003087"/>
<link xlink:href="009.xml#id.003142"/>
<link xlink:href="009.xml#id.003158"/>
<link xlink:href="009.xml#id.003159"/>
<link xlink:href="009.xml#id.003174"/>
<link xlink:href="009.xml#id.003175"/>
<link xlink:href="009.xml#id.003176"/>
<link xlink:href="009.xml#id.003177"/>
<link xlink:href="009.xml#id.003178"/>
<link xlink:href="009.xml#id.003179"/>
<link xlink:href="009.xml#id.003180"/>
<link xlink:href="009.xml#id.003181"/>
<link xlink:href="009.xml#id.003182"/>
<link xlink:href="009.xml#id.003183"/>
<link xlink:href="009.xml#id.003184"/>
<link xlink:href="009.xml#id.003185"/>
<link xlink:href="009.xml#id.003194"/>
<link xlink:href="009.xml#id.003195"/>
<link xlink:href="009.xml#id.003196"/>
<link xlink:href="009.xml#id.003222"/>
<link xlink:href="009.xml#id.003223"/>
<link xlink:href="009.xml#id.003224"/>
<link xlink:href="009.xml#id.003225"/>
<link xlink:href="009.xml#id.003226"/>
<link xlink:href="009.xml#id.003227"/>
<link xlink:href="009.xml#id.003228"/>
<link xlink:href="009.xml#id.003229"/>
<link xlink:href="009.xml#id.003230"/>
<link xlink:href="009.xml#id.003231"/>
<link xlink:href="009.xml#id.003232"/>
<link xlink:href="009.xml#id.003243"/>
<link xlink:href="009.xml#id.003244"/>
<link xlink:href="009.xml#id.003252"/>
</nodeset>
</chunk>


<chunk>
<name>objections</name>
<description></description>
<nodeset>
<link xlink:href="009.xml#id.002719"/>
<link xlink:href="009.xml#id.002747"/>
<link xlink:href="009.xml#id.002748"/>
<link xlink:href="009.xml#id.002749"/>
<link xlink:href="009.xml#id.002750"/>
<link xlink:href="009.xml#id.002751"/>
<link xlink:href="009.xml#id.002752"/>
<link xlink:href="009.xml#id.002757"/>
<link xlink:href="009.xml#id.002758"/>
<link xlink:href="009.xml#id.002759"/>
<link xlink:href="009.xml#id.002760"/>
<link xlink:href="009.xml#id.002761"/>
<link xlink:href="009.xml#id.002858"/>
<link xlink:href="009.xml#id.002859"/>
<link xlink:href="009.xml#id.002860"/>
<link xlink:href="009.xml#id.002861"/>
<link xlink:href="009.xml#id.002862"/>
<link xlink:href="009.xml#id.002863"/>
<link xlink:href="009.xml#id.002864"/>
<link xlink:href="009.xml#id.002865"/>
<link xlink:href="009.xml#id.002866"/>
<link xlink:href="009.xml#id.002867"/>
<link xlink:href="009.xml#id.002909"/>
<link xlink:href="009.xml#id.002910"/>
<link xlink:href="009.xml#id.002911"/>
<link xlink:href="009.xml#id.002912"/>
<link xlink:href="009.xml#id.002913"/>
<link xlink:href="009.xml#id.002914"/>
<link xlink:href="009.xml#id.002915"/>
<link xlink:href="009.xml#id.002916"/>
<link xlink:href="009.xml#id.002952"/>
<link xlink:href="009.xml#id.002953"/>
<link xlink:href="009.xml#id.002954"/>
<link xlink:href="009.xml#id.002969"/>
<link xlink:href="009.xml#id.003022"/>
<link xlink:href="009.xml#id.003023"/>
<link xlink:href="009.xml#id.003207"/>
<link xlink:href="009.xml#id.003208"/>
<link xlink:href="009.xml#id.003209"/>
</nodeset>
</chunk>


<chunk>
<name>replies</name>
<description></description>
<nodeset>
<link xlink:href="009.xml#id.002720"/>
<link xlink:href="009.xml#id.002721"/>
<link xlink:href="009.xml#id.002722"/>
<link xlink:href="009.xml#id.002723"/>
<link xlink:href="009.xml#id.002724"/>
<link xlink:href="009.xml#id.002725"/>
<link xlink:href="009.xml#id.002762"/>
<link xlink:href="009.xml#id.002763"/>
<link xlink:href="009.xml#id.002764"/>
<link xlink:href="009.xml#id.002765"/>
<link xlink:href="009.xml#id.002766"/>
<link xlink:href="009.xml#id.002767"/>
<link xlink:href="009.xml#id.002955"/>
<link xlink:href="009.xml#id.002956"/>
<link xlink:href="009.xml#id.002957"/>
<link xlink:href="009.xml#id.002958"/>
<link xlink:href="009.xml#id.003210"/>
<link xlink:href="009.xml#id.003211"/>
<link xlink:href="009.xml#id.003212"/>
<link xlink:href="009.xml#id.003213"/>
</nodeset>
</chunk>


<chunk>
<name>theorems</name>
<description></description>
<nodeset>
<link xlink:href="009.xml#id.002810"/>
<link xlink:href="009.xml#id.002811"/>
<link xlink:href="009.xml#id.002812"/>
<link xlink:href="009.xml#id.002813"/>
<link xlink:href="009.xml#id.002814"/>
<link xlink:href="009.xml#id.002815"/>
<link xlink:href="009.xml#id.002816"/>
<link xlink:href="009.xml#id.002817"/>
<link xlink:href="009.xml#id.002818"/>
<link xlink:href="009.xml#id.002819"/>
<link xlink:href="009.xml#id.002820"/>
<link xlink:href="009.xml#id.002821"/>
<link xlink:href="009.xml#id.002822"/>
<link xlink:href="009.xml#id.002823"/>
<link xlink:href="009.xml#id.002824"/>
<link xlink:href="009.xml#id.002825"/>
<link xlink:href="009.xml#id.002826"/>
<link xlink:href="009.xml#id.002827"/>
<link xlink:href="009.xml#id.002828"/>
<link xlink:href="009.xml#id.002829"/>
<link xlink:href="009.xml#id.002830"/>
<link xlink:href="009.xml#id.002831"/>
<link xlink:href="009.xml#id.002832"/>
<link xlink:href="009.xml#id.002833"/>
<link xlink:href="009.xml#id.002834"/>
<link xlink:href="009.xml#id.002835"/>
<link xlink:href="009.xml#id.002836"/>
<link xlink:href="009.xml#id.002837"/>
<link xlink:href="009.xml#id.002838"/>
<link xlink:href="009.xml#id.002839"/>
<link xlink:href="009.xml#id.002840"/>
<link xlink:href="009.xml#id.002841"/>
<link xlink:href="009.xml#id.002842"/>
<link xlink:href="009.xml#id.002843"/>
<link xlink:href="009.xml#id.002844"/>
<link xlink:href="009.xml#id.002845"/>
<link xlink:href="009.xml#id.002846"/>
<link xlink:href="009.xml#id.002847"/>
<link xlink:href="009.xml#id.002848"/>
<link xlink:href="009.xml#id.002849"/>
<link xlink:href="009.xml#id.002850"/>
<link xlink:href="009.xml#id.002851"/>
<link xlink:href="009.xml#id.002852"/>
<link xlink:href="009.xml#id.002853"/>
<link xlink:href="009.xml#id.002854"/>
<link xlink:href="009.xml#id.002855"/>
<link xlink:href="009.xml#id.002856"/>
<link xlink:href="009.xml#id.002857"/>
</nodeset>
</chunk>


<chunk>
<name>further remarks</name>
<description></description>
<nodeset>
<link xlink:href="009.xml#id.002657"/>
<link xlink:href="009.xml#id.002658"/>
<link xlink:href="009.xml#id.002659"/>
<link xlink:href="009.xml#id.002671"/>
<link xlink:href="009.xml#id.002672"/>
<link xlink:href="009.xml#id.002726"/>
<link xlink:href="009.xml#id.002727"/>
<link xlink:href="009.xml#id.002728"/>
<link xlink:href="009.xml#id.002729"/>
<link xlink:href="009.xml#id.002970"/>
<link xlink:href="009.xml#id.003014"/>
<link xlink:href="009.xml#id.003058"/>
<link xlink:href="009.xml#id.003059"/>
<link xlink:href="009.xml#id.003060"/>
</nodeset>
</chunk>


<chunk>
<name>textual problems</name>
<description></description>
<nodeset>
<link xlink:href="009.xml#id.002753"/>
<link xlink:href="009.xml#id.002754"/>
<link xlink:href="009.xml#id.002755"/>
<link xlink:href="009.xml#id.002756"/>
<link xlink:href="009.xml#id.003233"/>
</nodeset>
</chunk>
</archimedes>