Quelle  Orbits.thy   Sprache: unbekannt

282A2020417574686F723A2020202020
4C617273204E6F736368696E736B690A
2A290A0A73656374696F6E205C3C6F70
656E3E5065726D75746174696F6E206F
72626974735C3C636C6F73653E0A0A74
68656F7279204F72626974730A696D70
6F7274730A202022484F4C2D4C696272
6172792E46756E63536574220A202022
484F4C2D436F6D62696E61746F726963
732E5065726D75746174696F6E73220A
626567696E0A0A73756273656374696F
6E205C3C6F70656E3E4F726269747320
616E64206379636C6963207065726D75
746174696F6E735C3C636C6F73653E0A
0A696E647563746976655F736574206F
72626974203A3A2022282761205C3C52
696768746172726F773E20276129205C
3C52696768746172726F773E20276120
5C3C52696768746172726F773E202761
207365742220666F7220662078207768
6572650A2020626173653A2022662078
205C3C696E3E206F7262697420662078
22207C0A2020737465703A202279205C
3C696E3E206F7262697420662078205C
3C4C6F6E6772696768746172726F773E
20662079205C3C696E3E206F72626974
20662078220A0A646566696E6974696F
6E206379636C69635F6F6E203A3A2022
282761205C3C52696768746172726F77
3E20276129205C3C5269676874617272
6F773E20276120736574205C3C526967
68746172726F773E20626F6F6C222077
686572650A2020226379636C69635F6F
6E20662053205C3C6C6F6E676C656674
72696768746172726F773E20285C3C65
78697374733E735C3C696E3E532E2053
203D206F726269742066207329220A0A
6C656D6D61206F726269745F616C7464
65663A20226F7262697420662078203D
207B2866205E5E206E292078207C206E
2E2030203C206E7D222028697320223F
4C203D203F5222290A70726F6F662028
696E74726F207365745F657149206966
6649290A202066697820792061737375
6D65202279205C3C696E3E203F4C2220
7468656E2073686F77202279205C3C69
6E3E203F52220A202020206279202869
6E647563742072756C653A206F726269
742E696E647563742920286175746F20
73696D703A206578495B776865726520
783D315D206578495B77686572652078
3D22537563206E2220666F72206E5D29
0A6E6578740A20206669782079206173
73756D65202279205C3C696E3E203F52
220A20207468656E206F627461696E20
6E207768657265202279203D20286620
5E5E206E29207822202230203C206E22
20627920626C6173740A20207468656E
2073686F77202279205C3C696E3E203F
4C220A202070726F6F662028696E6475
6374696F6E206E206172626974726172
793A2079290A20202020636173652028
537563206E29207468656E2073686F77
203F6361736520627920286361736573
20226E203D2030222920286175746F20
696E74726F3A206F726269742E696E74
726F73290A20207165642073696D700A
7165640A0A6C656D6D61206F72626974
5F7472616E733A0A2020617373756D65
73202273205C3C696E3E206F72626974
2066207422202274205C3C696E3E206F
7262697420662075222073686F777320
2273205C3C696E3E206F726269742066
2075220A20207573696E67206173736D
7320627920696E647563742028617574
6F20696E74726F3A206F726269742E69
6E74726F73290A0A6C656D6D61206F72
6269745F7375627365743A0A20206173
73756D6573202273205C3C696E3E206F
72626974206620286620742922207368
6F7773202273205C3C696E3E206F7262
697420662074220A20207573696E6720
6173736D732062792028696E64756374
2920286175746F20696E74726F3A206F
726269742E696E74726F73290A0A6C65
6D6D61206F726269745F73696D5F7374
65703A0A2020617373756D6573202273
205C3C696E3E206F7262697420662074
222073686F77732022662073205C3C69
6E3E206F726269742066202866207429
220A20207573696E67206173736D7320
627920696E6475637420286175746F20
696E74726F3A206F726269742E696E74
726F73290A0A6C656D6D61206F726269
745F737465703A0A2020617373756D65
73202279205C3C696E3E206F72626974
20662078222022662078205C3C6E6F74
65713E2079222073686F777320227920
5C3C696E3E206F726269742066202866
207829220A20207573696E6720617373
6D730A70726F6F6620696E6475637469
6F6E0A20206361736520287374657020
7929207468656E2073686F77203F6361
73652062792028636173657320227820
3D2079222920286175746F20696E7472
6F3A206F726269742E696E74726F7329
0A7165642073696D700A0A6C656D6D61
2073656C665F696E5F6F726269745F74
72616E733A0A2020617373756D657320
2273205C3C696E3E206F726269742066
207322202274205C3C696E3E206F7262
697420662073222073686F7773202274
205C3C696E3E206F7262697420662074
220A20207573696E67206173736D7328
322C312920627920696E647563742028
6175746F20696E74726F3A206F726269
745F73696D5F73746570290A0A6C656D
6D61206F726269745F737761703A0A20
20617373756D6573202273205C3C696E
3E206F72626974206620732220227420
5C3C696E3E206F726269742066207322
2073686F7773202273205C3C696E3E20
6F7262697420662074220A2020757369
6E67206173736D7328322C31290A7072
6F6F6620696E64756374696F6E0A2020
636173652062617365207468656E2073
686F77203F6361736520627920286361
7365732022662073203D207322292028
6175746F20696E74726F3A206F726269
745F73746570290A6E6578740A202063
61736520287374657020782920746865
6E2073686F77203F6361736520627920
2863617365732022662078203D207322
2920286175746F20696E74726F3A206F
726269745F73746570290A7165640A0A
6C656D6D61207065726D75746174696F
6E5F73656C665F696E5F6F726269743A
0A2020617373756D657320227065726D
75746174696F6E2066222073686F7773
202273205C3C696E3E206F7262697420
662073220A2020756E666F6C64696E67
206F726269745F616C74646566207573
696E67207065726D75746174696F6E5F
73656C665B4F46206173736D732C206F
6620735D2062792073696D70206D6574
69730A0A6C656D6D61206F726269745F
616C746465665F73656C665F696E3A0A
2020617373756D6573202273205C3C69
6E3E206F726269742066207322207368
6F777320226F7262697420662073203D
207B2866205E5E206E292073207C206E
2E20547275657D220A70726F6F662028
696E74726F207365745F657149206966
6649290A202066697820782061737375
6D65202278205C3C696E3E207B286620
5E5E206E292073207C206E2E20547275
657D220A20207468656E206F62746169
6E206E207768657265202278203D2028
66205E5E206E29207322206279206175
746F0A20207468656E2073686F772022
78205C3C696E3E206F72626974206620
7322207573696E67206173736D732062
792028636173657320226E203D203022
2920286175746F2073696D703A206F72
6269745F616C74646566290A71656420
286175746F2073696D703A206F726269
745F616C74646566290A0A6C656D6D61
206F726269745F616C746465665F7065
726D75746174696F6E3A0A2020617373
756D657320227065726D75746174696F
6E2066222073686F777320226F726269
7420662073203D207B2866205E5E206E
292073207C206E2E20547275657D220A
20207573696E67206173736D73206279
2028696E74726F206F726269745F616C
746465665F73656C665F696E20706572
6D75746174696F6E5F73656C665F696E
5F6F72626974290A0A6C656D6D61206F
726269745F616C746465665F626F756E
6465643A0A2020617373756D65732022
2866205E5E206E292073203D20732220
2230203C206E222073686F777320226F
7262697420662073203D207B2866205E
5E206D2920737C206D2E206D203C206E
7D220A70726F6F66202D0A202066726F
6D206173736D73206861766520227320
5C3C696E3E206F726269742066207322
0A20202020627920286175746F207369
6D70206164643A206F726269745F616C
7464656629206D65746973200A202074
68656E206861766520226F7262697420
662073203D207B2866205E5E206D2920
737C6D2E20547275657D222062792028
72756C65206F726269745F616C746465
665F73656C665F696E290A2020616C73
6F206861766520225C3C646F74733E20
3D207B2866205E5E206D2920737C206D
2E206D203C206E7D220A202020207573
696E67206173736D730A202020206279
20286175746F2073696D703A2066756E
706F775F6D6F645F657120696E74726F
3A206578495B776865726520783D226D
206D6F64206E2220666F72206D5D290A
202066696E616C6C792073686F77203F
746865736973202E0A7165640A0A6C65
6D6D612066756E706F775F696E5F6F72
6269743A0A2020617373756D65732022
73205C3C696E3E206F72626974206620
74222073686F777320222866205E5E20
6E292073205C3C696E3E206F72626974
20662074220A20207573696E67206173
736D732062792028696E64756374206E
2920286175746F20696E74726F3A206F
726269742E696E74726F73290A0A6C65
6D6D612066696E6974655F6F72626974
3A0A2020617373756D6573202273205C
3C696E3E206F72626974206620732220
73686F7773202266696E69746520286F
726269742066207329220A70726F6F66
202D0A202066726F6D206173736D7320
6F627461696E206E207768657265206E
3A202230203C206E2220222866205E5E
206E292073203D2073220A2020202062
7920286175746F2073696D703A206F72
6269745F616C74646566290A20207468
656E2073686F77203F74686573697320
627920286175746F2073696D703A206F
726269745F616C746465665F626F756E
646564290A7165640A0A6C656D6D6120
73656C665F696E5F6F726269745F7374
65703A0A2020617373756D6573202273
205C3C696E3E206F7262697420662073
222073686F777320226F726269742066
202866207329203D206F726269742066
2073220A70726F6F662028696E74726F
207365745F6571492069666649290A20
20666978207420617373756D65202274
205C3C696E3E206F7262697420662073
22207468656E2073686F77202274205C
3C696E3E206F72626974206620286620
7329220A202020207573696E67206173
736D7320627920286175746F20696E74
726F3A206F726269745F73746570206F
726269745F73696D5F73746570290A71
656420286175746F20696E74726F3A20
6F726269745F737562736574290A0A6C
656D6D61207065726D75746174696F6E
5F6F726269745F737465703A0A202061
7373756D657320227065726D75746174
696F6E2066222073686F777320226F72
6269742066202866207329203D206F72
62697420662073220A20207573696E67
206173736D732062792028696E74726F
2073656C665F696E5F6F726269745F73
746570207065726D75746174696F6E5F
73656C665F696E5F6F72626974290A0A
...

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