Quelle  Chinese_Remainder.thy   Sprache: unbekannt

282A20205469746C653A202020202020
484F4C2F416C67656272612F4368696E
6573655F52656D61696E6465722E7468
790A20202020417574686F723A202020
20205061756C6F20456DC3AD6C696F20
64652056696C68656E610A2A290A0A74
68656F7279204368696E6573655F5265
6D61696E6465720A2020696D706F7274
73205765616B5F4D6F72706869736D73
20496465616C5F50726F647563740A20
2020200A626567696E0A0A0A73656374
696F6E205C3C6F70656E3E4469726563
742050726F64756374206F662052696E
67735C3C636C6F73653E0A0A73756273
656374696F6E205C3C6F70656E3E4465
66696E6974696F6E735C3C636C6F7365
3E0A0A646566696E6974696F6E205244
697250726F64203A3A20222827612C20
276E292072696E675F736368656D6520
5C3C52696768746172726F773E202827
622C20276D292072696E675F73636865
6D65205C3C52696768746172726F773E
20282761205C3C74696D65733E202762
292072696E67220A2020776865726520
225244697250726F6420522053203D20
6D6F6E6F69642E657874656E64202852
205C3C74696D65733E5C3C74696D6573
3E2053290A2020202020202020202020
5C3C6C706172723E207A65726F203D20
6F6E652028286164645F6D6F6E6F6964
205229205C3C74696D65733E5C3C7469
6D65733E20286164645F6D6F6E6F6964
205329292C0A20202020202020202020
20202020616464203D206D756C742028
286164645F6D6F6E6F6964205229205C
3C74696D65733E5C3C74696D65733E20
286164645F6D6F6E6F69642053292920
5C3C72706172723E20220A0A61626272
6576696174696F6E206E696C5F72696E
67203A3A2022282761206C6973742920
72696E67220A2020776865726520226E
696C5F72696E67205C3C65717569763E
206D6F6E6F69642E657874656E64206E
696C5F6D6F6E6F6964205C3C6C706172
723E207A65726F203D205B5D2C206164
64203D20285C3C6C616D6264613E6120
622E205B5D29205C3C72706172723E22
0A0A646566696E6974696F6E20524469
7250726F645F6C697374203A3A202228
2827612C20276E292072696E675F7363
68656D6529206C697374205C3C526967
68746172726F773E20282761206C6973
74292072696E67220A20207768657265
20225244697250726F645F6C69737420
5273203D20666F6C647220285C3C6C61
6D6264613E5220532E20696D6167655F
72696E6720285C3C6C616D6264613E28
612C206173292E206120232061732920
285244697250726F6420522053292920
5273206E696C5F72696E67220A0A0A73
756273656374696F6E205C3C6F70656E
3E42617369632050726F706572746965
735C3C636C6F73653E0A0A6C656D6D61
205244697250726F645F636172726965
723A2022636172726965722028524469
7250726F642052205329203D20636172
726965722052205C3C74696D65733E20
636172726965722053220A2020756E66
6F6C64696E67205244697250726F645F
6465662044697250726F645F64656620
6279202873696D70206164643A206D6F
6E6F69642E64656673290A0A6C656D6D
61205244697250726F645F6164645F6D
6F6E6F6964205B73696D705D3A202261
64645F6D6F6E6F696420285244697250
726F642052205329203D20286164645F
6D6F6E6F6964205229205C3C74696D65
733E5C3C74696D65733E20286164645F
6D6F6E6F6964205329220A2020627920
2873696D70206164643A205244697250
726F645F646566206D6F6E6F69642E64
656673290A0A6C656D6D612052446972
50726F645F72696E673A0A2020617373
756D6573202272696E6720522220616E
64202272696E672053222073686F7773
202272696E6720285244697250726F64
2052205329220A70726F6F66202D0A20
206861766520226D6F6E6F6964202852
44697250726F642052205329220A2020
20207573696E672044697250726F645F
6D6F6E6F69645B4F46206173736D735B
5448454E2072696E672E6178696F6D73
2832295D5D20756E666F6C64696E6720
6D6F6E6F69645F6465660A2020202062
7920286175746F2073696D7020616464
3A2044697250726F645F646566205244
697250726F645F646566206D6F6E6F69
642E64656673290A20207468656E2069
6E746572707265742050726F643A2067
726F757020226164645F6D6F6E6F6964
20285244697250726F64205220532922
202B206D6F6E6F696420225244697250
726F6420522053220A20202020757369
6E672044697250726F645F67726F7570
5B4F46206173736D735B5448454E2061
62656C69616E5F67726F75702E615F67
726F75705B4F462072696E672E69735F
6162656C69616E5F67726F75705D5D5D
0A20202020756E666F6C64696E672052
44697250726F645F6164645F6D6F6E6F
6964206279206175746F0A202073686F
77203F7468657369730A202020206279
2028756E666F6C645F6C6F63616C6573
2C206175746F2073696D70206164643A
205244697250726F645F646566204469
7250726F645F646566206D6F6E6F6964
2E64656673206173736D732072696E67
2E72696E675F73696D7072756C657329
0A7165640A0A6C656D6D612052446972
50726F645F69736F313A0A202022285C
3C6C616D6264613E28782C2079292E20
28792C20782929205C3C696E3E207269
6E675F69736F20285244697250726F64
205220532920285244697250726F6420
53205229220A2020756E666F6C64696E
672072696E675F69736F5F6465662072
696E675F686F6D5F6465662062696A5F
626574775F64656620696E6A5F6F6E5F
6465660A2020627920286175746F2073
696D70206164643A205244697250726F
645F6465662044697250726F645F6465
66206D6F6E6F69642E64656673290A0A
6C656D6D61205244697250726F645F69
736F323A0A202022285C3C6C616D6264
613E28782C2028792C207A29292E2028
28782C2079292C207A2929205C3C696E
3E2072696E675F69736F202852446972
50726F64205220285244697250726F64
20532054292920285244697250726F64
20285244697250726F64205220532920
5429220A2020756E666F6C64696E6720
72696E675F69736F5F6465662072696E
675F686F6D5F6465662062696A5F6265
74775F64656620696E6A5F6F6E5F6465
660A2020627920286175746F2073696D
70206164643A20696D6167655F696666
205244697250726F645F646566204469
7250726F645F646566206D6F6E6F6964
2E64656673290A0A6C656D6D61205244
697250726F645F69736F333A0A202022
285C3C6C616D6264613E2828782C2079
292C207A292E2028782C2028792C207A
292929205C3C696E3E2072696E675F69
736F20285244697250726F6420285244
697250726F6420522053292054292028
5244697250726F642052202852446972
50726F64205320542929220A2020756E
666F6C64696E672072696E675F69736F
5F6465662072696E675F686F6D5F6465
662062696A5F626574775F6465662069
6E6A5F6F6E5F6465660A202062792028
6175746F2073696D70206164643A2069
6D6167655F696666205244697250726F
645F6465662044697250726F645F6465
66206D6F6E6F69642E64656673290A0A
6C656D6D61205244697250726F645F69
736F343A0A2020617373756D65732022
66205C3C696E3E2072696E675F69736F
20522053222073686F77732022285C3C
6C616D6264613E28722C2074292E2028
6620722C20742929205C3C696E3E2072
696E675F69736F20285244697250726F
64205220542920285244697250726F64
2053205429220A20207573696E672061
73736D7320756E666F6C64696E672072
696E675F69736F5F6465662072696E67
5F686F6D5F6465662062696A5F626574
775F64656620696E6A5F6F6E5F646566
0A2020627920286175746F2073696D70
206164643A20696D6167655F69666620
5244697250726F645F64656620446972
50726F645F646566206D6F6E6F69642E
64656673292B0A0A6C656D6D61205244
697250726F645F69736F353A0A202061
7373756D6573202266205C3C696E3E20
72696E675F69736F2053205422207368
6F77732022285C3C6C616D6264613E28
722C2073292E2028722C206620732929
205C3C696E3E2072696E675F69736F20
285244697250726F6420522053292028
5244697250726F642052205429220A20
207573696E672072696E675F69736F5F
7365745F7472616E735B4F462072696E
675F69736F5F7365745F7472616E735B
4F46205244697250726F645F69736F31
205244697250726F645F69736F345B4F
46206173736D735D5D20524469725072
6F645F69736F315D0A20206279202873
696D70206164643A20636173655F7072
6F645F756E666F6C6420636F6D705F64
6566290A0A6C656D6D61205244697250
726F645F69736F363A0A202061737375
6D6573202266205C3C696E3E2072696E
675F69736F20522052272220616E6420
2267205C3C696E3E2072696E675F6973
6F2053205327220A202073686F777320
22285C3C6C616D6264613E28722C2073
292E20286620722C206720732929205C
3C696E3E2072696E675F69736F202852
44697250726F64205220532920285244
697250726F6420522720532729220A20
207573696E672072696E675F69736F5F
7365745F7472616E735B4F4620524469
7250726F645F69736F345B4F46206173
736D732831295D205244697250726F64
5F69736F355B4F46206173736D732832
295D5D0A20206279202873696D702061
64643A20636173655F70726F645F6265
74612720636F6D705F646566290A0A6C
656D6D61205244697250726F645F6973
6F373A0A202073686F77732022285C3C
6C616D6264613E612E2028612C205B5D
2929205C3C696E3E2072696E675F6973
6F205220285244697250726F64205220
6E696C5F72696E6729220A2020756E66
6F6C64696E672072696E675F69736F5F
6465662072696E675F686F6D5F646566
2062696A5F626574775F64656620696E
6A5F6F6E5F6465660A20206279202861
75746F2073696D70206164643A205244
697250726F645F646566204469725072
6F645F646566206D6F6E6F69642E6465
6673290A0A6C656D6D61205244697250
726F645F686F6D313A0A202073686F77
732022285C3C6C616D6264613E612E20
28612C20612929205C3C696E3E207269
6E675F686F6D20522028524469725072
6F642052205229220A20206279202861
75746F2073696D70206164643A207269
6E675F686F6D5F646566205244697250
726F645F6465662044697250726F645F
646566206D6F6E6F69642E6465667329
0A0A6C656D6D61205244697250726F64
5F686F6D323A0A2020617373756D6573
202266205C3C696E3E2072696E675F68
6F6D20532054220A202073686F777320
22285C3C6C616D6264613E28782C2079
292E2028782C206620792929205C3C69
6E3E2072696E675F686F6D2028524469
7250726F642052205329202852446972
50726F642052205429220A2020202061
6E642022285C3C6C616D6264613E2878
2C2079292E20286620782C2079292920
5C3C696E3E2072696E675F686F6D2028
5244697250726F642053205229202852
44697250726F642054205229220A2020
...

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