Quelle  Ball_Volume.thy   Sprache: unbekannt

282A0A20202046696C653A2020202020
484F4C2F416E616C797369732F42616C
6C5F566F6C756D652E7468790A202020
417574686F723A2020204D616E75656C
20456265726C2C205455204DC3BC6E63
68656E0A2A290A0A73656374696F6E20
5C3C6F70656E3E54686520566F6C756D
65206F6620616E205C3C6F70656E3E6E
5C3C636C6F73653E2D44696D656E7369
6F6E616C2042616C6C5C3C636C6F7365
3E0A0A7468656F72792042616C6C5F56
6F6C756D650A2020696D706F72747320
47616D6D615F46756E6374696F6E204C
656265736775655F496E74656772616C
5F537562737469747574696F6E0A6265
67696E0A0A74657874205C3C6F70656E
3E0A2020576520646566696E65207468
6520766F6C756D65206F662074686520
756E69742062616C6C20696E20746572
6D73206F66207468652047616D6D6120
66756E6374696F6E2E204E6F74652074
686174207468650A202064696D656E73
696F6E206E656564206E6F7420626520
616E20696E74656765723B2077652061
6C736F20616C6C6F7720667261637469
6F6E616C2064696D656E73696F6E732C
20616C74686F75676820776520646F0A
20206E6F742075736520746869732063
617365206F722070726F766520616E79
7468696E672061626F75742069742066
6F72206E6F772E0A5C3C636C6F73653E
0A646566696E6974696F6E5C3C5E6D61
726B65723E5C3C6F70656E3E74616720
696D706F7274616E745C3C636C6F7365
3E20756E69745F62616C6C5F766F6C20
3A3A20227265616C205C3C5269676874
6172726F773E207265616C2220776865
72650A202022756E69745F62616C6C5F
766F6C206E203D20706920706F777220
286E202F203229202F2047616D6D6120
286E202F2032202B203129220A0A6C65
6D6D6120756E69745F62616C6C5F766F
6C5F706F73205B73696D705D3A20226E
205C3C67653E2030205C3C4C6F6E6772
696768746172726F773E20756E69745F
62616C6C5F766F6C206E203E2030220A
202062792028666F7263652073696D70
3A20756E69745F62616C6C5F766F6C5F
64656620696E74726F3A206469766964
655F6E6F6E6E65675F706F73290A0A6C
656D6D6120756E69745F62616C6C5F76
6F6C5F6E6F6E6E6567205B73696D705D
3A20226E205C3C67653E2030205C3C4C
6F6E6772696768746172726F773E2075
6E69745F62616C6C5F766F6C206E205C
3C67653E2030220A2020627920287369
6D70206164643A206475616C5F6F7264
65722E7374726963745F696D706C6965
735F6F72646572290A0A74657874205C
3C6F70656E3E0A202057652066697273
74206E656564207468652076616C7565
206F662074686520666F6C6C6F77696E
6720696E74656772616C2C2077686963
682069732061742074686520636F7265
206F660A2020636F6D707574696E6720
746865206D656173757265206F662061
6E205C3C6F70656E3E6E202B20315C3C
636C6F73653E2D64696D656E73696F6E
616C2062616C6C20696E207465726D73
206F6620746865206D65617375726520
6F6620616E0A20205C3C6F70656E3E6E
5C3C636C6F73653E2D64696D656E7369
6F6E616C206F6E652E0A5C3C636C6F73
653E0A6C656D6D6120656D6561737572
655F6362616C6C5F6175785F696E7465
6772616C3A0A202022285C3C696E7465
6772616C3E5C3C5E7375703E2B782E20
696E64696361746F72207B2D312E2E31
7D2078202A2073717274202831202D20
785C3C5E7375703E3229205E206E205C
3C7061727469616C3E6C626F72656C29
203D0A202020202020656E6E7265616C
202842657461202831202F2032292028
7265616C206E202F2032202B20312929
220A70726F6F66202D0A202068617665
202228285C3C6C616D6264613E742E20
7420706F777220282D31202F20322920
2A202831202D20742920706F77722028
7265616C206E202F2032292920686173
5F696E74656772616C0A202020202020
2020202042657461202831202F203229
20287265616C206E202F2032202B2031
2929207B302E2E317D220A2020202075
73696E67206861735F696E7465677261
6C5F426574615F7265616C5B6F662022
312F322220226E202F2032202B203122
5D2062792073696D700A202066726F6D
206E6E5F696E74656772616C5F686173
5F696E74656772616C5F6C6562657367
75655B4F46205F20746869735D206861
76650A202020202022656E6E7265616C
202842657461202831202F2032292028
7265616C206E202F2032202B20312929
203D0A20202020202020206E6E5F696E
74656772616C206C626F72656C20285C
3C6C616D6264613E742E20656E6E7265
616C20287420706F777220282D31202F
203229202A202831202D20742920706F
777220287265616C206E202F20322920
2A0A2020202020202020202020202020
20202020202020202020202020202020
2020696E64696361746F72207B305E32
2E2E315E327D20742929220A20202020
6279202873696D70206164643A206D75
6C745F616320656E6E7265616C5F6D75
6C742720656E6E7265616C5F696E6469
6361746F72290A2020616C736F206861
766520225C3C646F74733E203D20285C
3C696E74656772616C3E5C3C5E737570
3E2B20782E20656E6E7265616C202878
5C3C5E7375703E3220706F7772202D20
2831202F203229202A202831202D2078
5C3C5E7375703E322920706F77722028
7265616C206E202F203229202A202832
202A207829202A0A2020202020202020
20202020202020202020202020202020
2020696E64696361746F72207B302E2E
317D207829205C3C7061727469616C3E
6C626F72656C29220A20202020627920
287375627374206E6E5F696E74656772
616C5F737562737469747574696F6E5B
77686572652067203D20225C3C6C616D
6264613E782E2078205E20322220616E
64206727203D20225C3C6C616D626461
3E782E2032202A2078225D290A202020
20202020286175746F20696E74726F21
3A20646572697661746976655F65715F
696E74726F7320636F6E74696E756F75
735F696E74726F732073696D703A2073
65745F626F72656C5F6D656173757261
626C655F646566290A2020616C736F20
6861766520225C3C646F74733E203D20
285C3C696E74656772616C3E5C3C5E73
75703E2B20782E2032202A20656E6E72
65616C20282831202D20785C3C5E7375
703E322920706F777220287265616C20
6E202F203229202A20696E6469636174
6F72207B302E2E317D207829205C3C70
61727469616C3E6C626F72656C29220A
2020202062792028696E74726F206E6E
5F696E74656772616C5F636F6E675F41
452041455F495B6F66205F205F20227B
307D225D290A20202020202020286175
746F2073696D703A20696E6469636174
6F725F64656620706F77725F6D696E75
7320706F77725F68616C665F73717274
206669656C645F73706C69745F73696D
707320656E6E7265616C5F6D756C7427
290A2020616C736F206861766520225C
3C646F74733E203D20285C3C696E7465
6772616C3E5C3C5E7375703E2B20782E
20656E6E7265616C20282831202D2078
5C3C5E7375703E322920706F77722028
7265616C206E202F203229202A20696E
64696361746F72207B302E2E317D2078
29205C3C7061727469616C3E6C626F72
656C29202B0A20202020202020202020
20202020202020202020285C3C696E74
656772616C3E5C3C5E7375703E2B2078
2E20656E6E7265616C20282831202D20
785C3C5E7375703E322920706F777220
287265616C206E202F203229202A2069
6E64696361746F72207B302E2E317D20
7829205C3C7061727469616C3E6C626F
72656C29220A2020202028697320225F
203D203F49202B205F22292062792028
73696D70206164643A206D756C745F32
206E6E5F696E74656772616C5F616464
290A2020616C736F206861766520223F
49203D20285C3C696E74656772616C3E
5C3C5E7375703E2B20782E20656E6E72
65616C20282831202D20785C3C5E7375
703E322920706F777220287265616C20
6E202F203229202A20696E6469636174
6F72207B2D312E2E307D207829205C3C
7061727469616C3E6C626F72656C2922
0A20202020627920287375627374206E
6E5F696E74656772616C5F7265616C5F
616666696E655B6F66205F20222D3122
20305D290A2020202020202028617574
6F2073696D703A20696E64696361746F
725F64656620696E74726F213A206E6E
5F696E74656772616C5F636F6E67290A
202068656E636520223F49202B203F49
203D205C3C646F74733E202B203F4922
2062792073696D700A2020616C736F20
6861766520225C3C646F74733E203D20
285C3C696E74656772616C3E5C3C5E73
75703E2B20782E20656E6E7265616C20
282831202D20785C3C5E7375703E3229
20706F777220287265616C206E202F20
3229202A0A2020202020202020202020
20202020202020202028696E64696361
746F72207B2D312E2E307D2078202B20
696E64696361746F727B302E2E317D20
782929205C3C7061727469616C3E6C62
6F72656C29220A202020206279202873
75627374206E6E5F696E74656772616C
5F616464205B73796D6D65747269635D
2920286175746F2073696D703A20616C
67656272615F73696D7073290A202061
6C736F206861766520225C3C646F7473
3E203D20285C3C696E74656772616C3E
5C3C5E7375703E2B20782E20656E6E72
65616C20282831202D20785C3C5E7375
703E322920706F777220287265616C20
6E202F203229202A20696E6469636174
6F72207B2D312E2E317D207829205C3C
7061727469616C3E6C626F72656C2922
0A2020202062792028696E74726F206E
6E5F696E74656772616C5F636F6E675F
41452041455F495B6F66205F205F2022
7B307D225D2920286175746F2073696D
703A20696E64696361746F725F646566
290A2020616C736F206861766520225C
3C646F74733E203D20285C3C696E7465
6772616C3E5C3C5E7375703E2B20782E
20656E6E7265616C2028696E64696361
746F72207B2D312E2E317D2078202A20
73717274202831202D20785C3C5E7375
703E3229205E206E29205C3C70617274
69616C3E6C626F72656C29220A202020
2062792028696E74726F206E6E5F696E
74656772616C5F636F6E675F41452041
455F495B6F66205F205F20227B312C20
2D317D225D290A202020202020202861
75746F2073696D703A20706F77725F68
616C665F73717274205B73796D6D6574
7269635D20696E64696361746F725F64
6566206162735F7371756172655F6C65
5F310A20202020202020202020616273
5F7371756172655F65715F3120706F77
725F646566206578705F6F665F6E6174
5F6D756C74205B73796D6D6574726963
5D20656D6561737572655F6C626F7265
6C5F636F756E7461626C65290A202066
696E616C6C792073686F77203F746865
736973202E2E0A7165640A0A6C656D6D
61207265616C5F737172745F6C655F69
6666273A202278205C3C67653E203020
5C3C4C6F6E6772696768746172726F77
3E2079205C3C67653E2030205C3C4C6F
6E6772696768746172726F773E207371
72742078205C3C6C653E2079205C3C6C
6F6E676C65667472696768746172726F
773E2078205C3C6C653E2079205E2032
...

maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!