|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Ifexpr.thy
Sprache: PVS
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
282A3C2A290A7468656F727920496665
78707220696D706F727473204D61696E
20626567696E0A282A3E2A290A0A7375
6273656374696F6E5C3C6F70656E3E43
6173652053747564793A20426F6F6C65
616E2045787072657373696F6E735C3C
636C6F73653E0A0A746578745C3C6F70
656E3E5C6C6162656C7B7365633A626F
6F6C65787D5C696E6465787B626F6F6C
65616E2065787072657373696F6E7320
6578616D706C657C287D0A5468652061
696D206F662074686973206361736520
73747564792069732074776F666F6C64
3A2069742073686F777320686F772074
6F206D6F64656C20626F6F6C65616E0A
65787072657373696F6E7320616E6420
736F6D6520616C676F726974686D7320
666F72206D616E6970756C6174696E67
207468656D2C20616E64206974206465
6D6F6E737472617465730A7468652063
6F6E7374727563747320696E74726F64
756365642061626F76652E0A5C3C636C
6F73653E0A0A73756273756273656374
696F6E5C3C6F70656E3E4D6F64656C6C
696E6720426F6F6C65616E2045787072
657373696F6E735C3C636C6F73653E0A
0A746578745C3C6F70656E3E0A576520
77616E7420746F20726570726573656E
7420626F6F6C65616E20657870726573
73696F6E73206275696C742075702066
726F6D207661726961626C657320616E
640A636F6E7374616E7473206279206E
65676174696F6E20616E6420636F6E6A
756E6374696F6E2E2054686520666F6C
6C6F77696E6720646174617479706520
7365727665732065786163746C790A74
68617420707572706F73653A0A5C3C63
6C6F73653E0A0A646174617479706520
626F6F6C6578203D20436F6E73742062
6F6F6C207C20566172206E6174207C20
4E656720626F6F6C65780A2020202020
20202020202020202020207C20416E64
20626F6F6C657820626F6F6C65780A0A
746578745C3C6F70656E3E5C6E6F696E
64656E740A5468652074776F20636F6E
7374616E747320617265207265707265
73656E746564206279205C3C5E746572
6D3E5C3C6F70656E3E436F6E73742054
7275655C3C636C6F73653E20616E640A
5C3C5E7465726D3E5C3C6F70656E3E43
6F6E73742046616C73655C3C636C6F73
653E2E205661726961626C6573206172
6520726570726573656E746564206279
207465726D73206F662074686520666F
726D0A5C3C5E7465726D3E5C3C6F7065
6E3E566172206E5C3C636C6F73653E2C
207768657265205C3C5E7465726D3E5C
3C6F70656E3E6E5C3C636C6F73653E20
69732061206E61747572616C206E756D
626572202874797065205C3C5E747970
3E5C3C6F70656E3E6E61745C3C636C6F
73653E292E0A466F72206578616D706C
652C2074686520666F726D756C612024
504030205C6C616E64205C6E65672050
40312420697320726570726573656E74
656420627920746865207465726D0A5C
3C5E7465726D3E5C3C6F70656E3E416E
64202856617220302920284E65672856
6172203129295C3C636C6F73653E2E0A
0A5C73756273756273656374696F6E7B
5468652056616C7565206F6620612042
6F6F6C65616E2045787072657373696F
6E7D0A0A5468652076616C7565206F66
206120626F6F6C65616E206578707265
7373696F6E20646570656E6473206F6E
207468652076616C7565206F66206974
73207661726961626C65732E0A48656E
6365207468652066756E6374696F6E20
5C3C6F70656E3E76616C75655C3C636C
6F73653E2074616B657320616E206164
646974696F6E616C20706172616D6574
65722C20616E0A5C656D70687B656E76
69726F6E6D656E747D206F6620747970
65205C3C5E7479703E5C3C6F70656E3E
6E6174203D3E20626F6F6C5C3C636C6F
73653E2C207768696368206D61707320
7661726961626C657320746F20746865
69720A76616C7565733A0A5C3C636C6F
73653E0A0A7072696D72656320227661
6C756522203A3A2022626F6F6C657820
5C3C52696768746172726F773E20286E
6174205C3C52696768746172726F773E
20626F6F6C29205C3C52696768746172
726F773E20626F6F6C22207768657265
0A2276616C75652028436F6E73742062
2920656E76203D206222207C0A227661
6C75652028566172207829202020656E
76203D20656E76207822207C0A227661
6C756520284E6567206229202020656E
76203D20285C3C6E6F743E2076616C75
65206220656E762922207C0A2276616C
75652028416E64206220632920656E76
203D202876616C7565206220656E7620
5C3C616E643E2076616C756520632065
6E7629220A0A746578745C3C6F70656E
3E5C6E6F696E64656E740A5C73756273
756273656374696F6E7B49662D457870
72657373696F6E737D0A0A416E20616C
7465726E617469766520616E64206F66
74656E206D6F72652065666669636965
6E7420286265636175736520696E2061
206365727461696E2073656E73650A63
616E6F6E6963616C2920726570726573
656E746174696F6E2061726520736F2D
63616C6C6564205C656D70687B49662D
65787072657373696F6E737D20627569
6C742075700A66726F6D20636F6E7374
616E747320285C3C5E7465726D3E5C3C
6F70656E3E4349465C3C636C6F73653E
292C207661726961626C657320285C3C
5E7465726D3E5C3C6F70656E3E564946
5C3C636C6F73653E2920616E6420636F
6E646974696F6E616C730A285C3C5E74
65726D3E5C3C6F70656E3E49465C3C63
6C6F73653E293A0A5C3C636C6F73653E
0A0A6461746174797065206966657820
3D2043494620626F6F6C207C20564946
206E6174207C20494620696665782069
66657820696665780A0A746578745C3C
6F70656E3E5C6E6F696E64656E740A54
6865206576616C756174696F6E206F66
2049662D65787072657373696F6E7320
70726F636565647320617320666F7220
5C3C5E7479703E5C3C6F70656E3E626F
6F6C65785C3C636C6F73653E3A0A5C3C
636C6F73653E0A0A7072696D72656320
76616C6966203A3A202269666578205C
3C52696768746172726F773E20286E61
74205C3C52696768746172726F773E20
626F6F6C29205C3C5269676874617272
6F773E20626F6F6C222077686572650A
2276616C696620284349462062292020
2020656E76203D206222207C0A227661
6C696620285649462078292020202065
6E76203D20656E76207822207C0A2276
616C6966202849462062207420652920
656E76203D202869662076616C696620
6220656E76207468656E2076616C6966
207420656E760A202020202020202020
20202020202020202020202020202020
20202020202020202020202020202065
6C73652076616C6966206520656E7629
220A0A746578745C3C6F70656E3E0A5C
73756273756273656374696F6E7B436F
6E76657274696E6720426F6F6C65616E
20616E642049662D4578707265737369
6F6E737D0A0A5468652074797065205C
3C5E7479703E5C3C6F70656E3E626F6F
6C65785C3C636C6F73653E2069732063
6C6F736520746F207468652063757374
6F6D61727920726570726573656E7461
74696F6E206F66206C6F676963616C0A
666F726D756C61652C20776865726561
73205C3C5E7479703E5C3C6F70656E3E
696665785C3C636C6F73653E20697320
64657369676E656420666F7220656666
696369656E63792E2049742069732065
61737920746F0A7472616E736C617465
2066726F6D205C3C5E7479703E5C3C6F
70656E3E626F6F6C65785C3C636C6F73
653E20696E746F205C3C5E7479703E5C
3C6F70656E3E696665785C3C636C6F73
653E3A0A5C3C636C6F73653E0A0A7072
696D72656320626F6F6C326966203A3A
2022626F6F6C6578205C3C5269676874
6172726F773E20696665782220776865
72650A22626F6F6C3269662028436F6E
7374206229203D20434946206222207C
0A22626F6F6C32696620285661722078
292020203D20564946207822207C0A22
626F6F6C32696620284E656720622920
20203D2049462028626F6F6C32696620
622920284349462046616C7365292028
43494620547275652922207C0A22626F
6F6C3269662028416E64206220632920
3D2049462028626F6F6C326966206229
2028626F6F6C32696620632920284349
462046616C736529220A0A746578745C
3C6F70656E3E5C6E6F696E64656E740A
4174206C6173742C2077652068617665
20736F6D657468696E67207765206361
6E207665726966793A2074686174205C
3C5E7465726D3E5C3C6F70656E3E626F
6F6C3269665C3C636C6F73653E207072
65736572766573207468650A76616C75
65206F662069747320617267756D656E
743A0A5C3C636C6F73653E0A0A6C656D
6D61202276616C69662028626F6F6C32
696620622920656E76203D2076616C75
65206220656E76220A0A7478745C3C6F
70656E3E5C6E6F696E64656E740A5468
652070726F6F662069732063616E6F6E
6963616C3A0A5C3C636C6F73653E0A0A
6170706C7928696E647563745F746163
2062290A6170706C79286175746F290A
646F6E650A0A746578745C3C6F70656E
3E5C6E6F696E64656E740A496E206661
63742C20616C6C2070726F6F66732069
6E207468697320636173652073747564
79206C6F6F6B2065786163746C79206C
696B6520746869732E2048656E636520
776520646F0A6E6F742073686F772074
68656D2062656C6F772E0A0A4D6F7265
20696E746572657374696E6720697320
746865207472616E73666F726D617469
6F6E206F662049662D65787072657373
696F6E7320696E746F2061206E6F726D
616C20666F726D0A7768657265207468
6520666972737420617267756D656E74
206F66205C3C5E7465726D3E5C3C6F70
656E3E49465C3C636C6F73653E206361
6E6E6F7420626520616E6F7468657220
5C3C5E7465726D3E5C3C6F70656E3E49
465C3C636C6F73653E206275740A6D75
7374206265206120636F6E7374616E74
206F72207661726961626C652E205375
63682061206E6F726D616C20666F726D
2063616E20626520636F6D7075746564
2062790A72657065617465646C792072
65706C6163696E672061207375627465
726D206F662074686520666F726D205C
3C5E7465726D3E5C3C6F70656E3E4946
2028494620622078207929207A20755C
3C636C6F73653E2062790A5C3C5E7465
726D3E5C3C6F70656E3E494620622028
49462078207A20752920284946207920
7A2075295C3C636C6F73653E2C207768
69636820686173207468652073616D65
2076616C75652E2054686520666F6C6C
6F77696E670A7072696D697469766520
7265637572736976652066756E637469
6F6E7320706572666F726D2074686973
207461736B3A0A5C3C636C6F73653E0A
0A7072696D726563206E6F726D696620
3A3A202269666578205C3C5269676874
6172726F773E2069666578205C3C5269
6768746172726F773E2069666578205C
3C52696768746172726F773E20696665
78222077686572650A226E6F726D6966
20284349462062292020202074206520
3D204946202843494620622920742065
22207C0A226E6F726D69662028564946
20782920202020742065203D20494620
285649462078292074206522207C0A22
6E6F726D696620284946206220742065
2920752066203D206E6F726D69662062
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|