Quelle  uniform_continuity.pvs   Sprache: unbekannt

756E69666F726D5F636F6E74696E7569
74795B533A547970652B2C64733A5B53
2C532D3E6E6E7265616C5D2C0A202020
20202020202020202020202020202020
543A547970652B2C64743A5B542C542D
3E6E6E7265616C5D5D3A205448454F52
590A252D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D0A2520436F6D706163746E6573730A
250A252020202020417574686F72733A
205269636B79204275746C65722C2020
20202020204E415341204C616E676C65
790A2520202020202020202020202020
20416E74686F6E79204E61726B617769
637A2C20204E415341204C616E676C65
790A250A25202020202056657273696F
6E20312E30202020202020202020382F
32352F323030392020496E697469616C
2056657273696F6E0A250A252D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D0A424547494E
0A0A202020415353554D494E4720494D
504F5254494E47206D65747269635F73
70616365735F6465660A0A2020202020
202066756C6C7365745F535F6D657472
69635F73706163653A20415353554D50
54494F4E206D65747269635F73706163
653F5B532C64735D2866756C6C736574
5B535D290A2020202020202066756C6C
7365745F545F6D65747269635F737061
63653A20415353554D5054494F4E206D
65747269635F73706163653F5B542C64
745D2866756C6C7365745B545D290A0A
202020454E44415353554D494E470A0A
0A20202064735F65715F30202020203A
204C454D4D4120464F52414C4C202878
2C793A20532920203A2078203D207920
49464620647328782C7929203D20300A
20202064735F73796D20202020203A20
4C454D4D4120464F52414C4C2028782C
793A20532920203A20647328782C7929
20203D20647328792C78290A20202064
735F747269616E676C653A204C454D4D
4120464F52414C4C2028782C792C7A3A
2053293A20647328782C7A29203C3D20
647328782C7929202B20647328792C7A
290A20202064745F65715F3020202020
3A204C454D4D4120464F52414C4C2028
782C793A20542920203A20647428782C
792920203D2030204946462078203D20
790A20202064745F73796D2020202020
3A204C454D4D4120464F52414C4C2028
782C793A20542920203A20647428782C
792920203D20647428792C78290A2020
2064745F747269616E676C653A204C45
4D4D4120464F52414C4C2028782C792C
7A3A2054293A20647428782C7A29203C
3D20647428782C7929202B2064742879
2C7A290A0A202020657073696C6F6E2C
2064656C74613A2056415220706F7372
65616C0A0A202020756E69666F726D6C
795F636F6E74696E756F75733F28663A
205B53202D3E20545D2C20413A207365
745B535D293A626F6F6C203D200A2020
202020464F52414C4C20657073696C6F
6E3A204558495354532064656C74613A
200A202020202020202020202028464F
52414C4C2028782C703A20284129293A
200A2020202020202020202020202020
20647328782C7029203C2064656C7461
20494D504C4945532064742866287829
2C6628702929203C20657073696C6F6E
290A0A0A20202020494D504F5254494E
4720636F6E74696E756974795F6D735B
532C64732C542C64745D2C0A20202020
2020202020202020202020636F6D7061
63746E6573735B532C64735D2C0A0920
202020202020636F6D706163746E6573
735B542C64745D0A0A0A202020663A20
564152205B53202D3E20545D0A202020
413A20564152207365745B535D0A0A0A
2020202520556E69666F726D20636F6E
74696E75697479206973206120737472
6F6E67657220636F6E63657074207468
616E20636F6E74696E756974790A0A20
2020756E69665F636F6E745F696D706C
6965735F636F6E743A204C454D4D4120
756E69666F726D6C795F636F6E74696E
756F75733F28662C412920494D504C49
45530A2020200909092020200920636F
6E74696E756F75733F28662C41290A0A
0A0A0A0A0A2020204873657428413A20
7365745B535D2C20657073696C6F6E3A
20706F737265616C2C2066293A207365
745B5B532C706F737265616C5D5D203D
200A2020202020202020202020207B20
703A205B613A20532C20723A20706F73
7265616C5D207C200A20202020202020
20202020202020202020202020202020
204C45542028612C7229203D20702049
4E204128612920414E44200A20202020
20202020202020202020202020202020
202020202020202020464F52414C4C20
28783A2053293A20696E746572736563
74696F6E2862616C6C28612C322A7229
2C41292878290A202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
202020494D504C494553206474286628
78292C6628612929203C20657073696C
6F6E7D0A0A202020487365745F646566
3A204C454D4D4120636F6E74696E756F
75733F28662C412920494D504C494553
0A202020202020202020202020202020
464F52414C4C2028783A284129293A20
4558495354532028703A205B613A2028
41292C20723A20706F737265616C5D29
3A200A20202020202020202020202020
20202020204C45542042203D2062616C
6C5B532C64735D28702920494E0A2020
2020202020202020204873657428412C
657073696C6F6E2C662928702920414E
4420422878290A0A20202062616C6C5F
636F76657228413A207365745B535D2C
20657073696C6F6E3A20706F73726561
6C2C66293A207365745B7365745B535D
5D203D0A202020202020202020202020
202062616C6C5F636F766572696E6728
4873657428412C657073696C6F6E2C66
29290A0A20202062616C6C5F636F7665
725F6C656D3A204C454D4D4120636F6E
74696E756F75733F28662C412920494D
504C4945530A20202020202020202020
2020202020202020202020202020206F
70656E5F636F7665723F2862616C6C5F
636F76657228412C657073696C6F6E2C
66292C41290A0A0A202020593A205641
52207365745B7365745B535D5D0A2020
204B3A20564152207365745B535D0A0A
202020636F6D706163745F62616C6C5F
616C6C3A204C454D4D4120636F6E7469
6E756F75733F28662C412920414E4420
636F6D706163743F284129200A202020
202020494D504C494553200A20202020
20202020202028464F52414C4C202865
7073696C6F6E3A20706F737265616C29
3A200A20202020202020202020202020
20464F52414C4C2028613A2028412929
3A0A2020202020202020202020202020
2020204558495354532028723A20706F
737265616C29203A200A202020202020
2020202020202020202020202020464F
52414C4C2028783A2053293A20696E74
657273656374696F6E2862616C6C2861
2C72292C41292878290A202020202020
20202020202020202020202020202020
202020202020202020202020494D504C
49455320647428662878292C66286129
29203C20657073696C6F6E290A0A2020
20727365745F707265703A204C454D4D
412020636F6E74696E756F75733F2866
2C412920414E4420636F6D706163743F
28412920494D504C4945530A20202020
20206F70656E5F636F7665723F5B532C
2064735D2862616C6C5F636F76657269
6E675B532C2064735D28487365742841
2C20657073696C6F6E2C206629292C20
41293B0A0A0A202020636F6E74696E75
6F75735F66756E732841293A20545950
45203D207B663A205B532D3E545D207C
20636F6E74696E756F75733F28662C41
297D0A0A2020207273657428413A2028
636F6D706163743F5B532C64735D292C
20657073696C6F6E3A20706F73726561
6C2C20663A20636F6E74696E756F7573
5F66756E73284129293A207365745B70
6F737265616C5D203D0A202020202020
20202020202020204C455420284E2C73
657129203D20696478436F7665722841
2C204873657428412C657073696C6F6E
2C66292920494E0A2020202020202020
2020202020202020207B723A20706F73
7265616C207C20455849535453202869
3A2062656C6F775B4E5D293A200A2020
20202020202020202020202020202020
2020204C45542028612C5229203D2073
657128692920494E2072203D20527D0A
0A202020723A2056415220706F737265
616C0A202020727365745F6C656D3A20
4C454D4D4120636F6E74696E756F7573
3F28662C412920414E4420636F6D7061
63743F28412920414E440A2020202020
20202020202020202020202020207273
657428412C657073696C6F6E2C662928
722920494D504C4945530A2020202020
20202020202020202020202020202020
204C455420284E2C73657129203D2069
6478436F76657228412C487365742841
2C657073696C6F6E2C66292920494E0A
20202020202020202020202020202020
20202020202020202020204558495354
532028693A2062656C6F775B4E5D293A
2072203D207365712869296032202020
2020202020202020202020200A202020
20202020202020202020202020202020
0A20200A202020494D504F5254494E47
2066696E6974655F736574735F617578
5B706F737265616C5D0A0A2020207273
65745F66696E6974653A204C454D4D41
20636F6E74696E756F75733F28662C41
2920414E4420636F6D706163743F2841
2920494D504C4945530A202020202020
20202020202020202020202020202020
2069735F66696E6974655B706F737265
616C5D287273657428412C2065707369
6C6F6E2C206629290A0A0A2020207273
65745F6E6F745F656D7074793A204C45
4D4D4120636F6E74696E756F75733F28
662C412920414E4420636F6D70616374
3F28412920414E44204E4F5420656D70
74793F28412920414E440A2020202020
20202020202020202020202020202020
20202020206F70656E5F636F7665723F
2862616C6C5F636F76657228412C2065
7073696C6F6E2C2066292C2041290A20
20202020202020202020202020494D50
4C4945530A2020202020202020202020
20202020202020202020204E4F542065
6D7074793F5B706F737265616C5D2872
73657428412C20657073696C6F6E2C20
6629290A0A0A0A202020252041706F73
746F6C20342E34372028706720393129
0A0A202020494D504F5254494E472066
696E6974655F736574734066696E6974
655F736574735F6D696E6D61785B706F
737265616C2C3C3D5D0A0A2020204865
696E653A205448454F52454D200A2020
20202020636F6E74696E756F75733F28
662C412920414E4420636F6D70616374
3F28412920414E44204E4F5420656D70
74793F2841290A202020202020494D50
4C49455320756E69666F726D6C795F63
6F6E74696E756F75733F28662C41290A
0A2020202520416E206571756976616C
656E742C2073657175656E6365206465
66696E6974696F6E206F6620756E6966
6F726D0A0A202020494D504F5254494E
47207072656C7564655F736574735F61
75780A0A202020756E69666F726D5F63
6F6E74696E756974795F73657175656E
...

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