Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
atan.pvs
Sprache: Coq
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
6174616E3A205448454F52590D0A252D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D0D0A25
0D0A2520204120666F756E646174696F
6E616C207468656F7279206F66206174
616E28782920666F722074686520696E
74657276616C205B302C70692F325D0D
0A250D0A252020202020202020202044
61766964204C65737465722020202020
2020202020202020202020202020204D
616E6368657374657220556E69766572
736974790D0A25200D0A252D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D2D
2D2D2D2D2D2D2D2D2D0D0A424547494E
0D0A0D0A252020494D504F5254494E47
207265616C73407072656C7564655F61
75785F7265616C732C200D0A2020494D
504F5254494E47207265616C73407371
2C207265616C73407369676D612C2072
65616C7340737172742C207265616C73
40706F6C795F7265770D0A2020494D50
4F5254494E4720616E616C7973697340
64657269766174697665732C20616E61
6C79736973407265737472696374325F
64657269762C20616E616C7973697340
64657269765F646F6D61696E730D0A20
20494D504F5254494E4720616E616C79
73697340646572697661746976655F70
726F70732C20616E616C797369734066
756E64616D656E74616C5F7468656F72
656D0D0A2020494D504F5254494E4720
616E616C7973697340636861696E5F72
756C652C2020616E616C797369734064
6572697661746976655F70726F707320
202025202C20616E616C797369734064
657269766174697665735F6D6F72650D
0A2020494D504F5254494E4720616E61
6C7973697340636F6E74696E756F7573
5F66756E6374696F6E735F70726F7073
2C20616E616C7973697340696E746567
72616C0D0A2020494D504F5254494E47
207265616C7340666163746F7269616C
0D0A2020494D504F5254494E4720616E
616C79736973406E74685F6465726976
6174697665735B7265616C5D2C20616E
616C79736973407461796C6F72735B72
65616C5D0D0A2020494D504F5254494E
47207265616C73406861726D6F6E6963
5F706F6C796E6F6D69616C732C20616E
616C7973697340706F6C796E6F6D6961
6C5F64657269760D0A2020494D504F52
54494E47207265616C734062696E6F6D
69616C2C20616E616C7973697340696E
646566696E6974655F696E7465677261
6C0D0A0D0A20204155544F5F52455752
4954452D206162735F300D0A20204155
544F5F524557524954452D206162735F
6E61740D0A0D0A0D0A2020706F737265
616C5F6765313A204E4F4E454D505459
5F54595045203D207B783A7265616C20
7C2078203E3D20317D20434F4E544149
4E494E4720310D0A0D0A2020782C793A
202020564152207265616C0D0A202070
782C70793A2056415220706F73726561
6C0D0A20206E783A2020202056415220
6E65677265616C0D0A20206E6E783A20
2020564152206E6E7265616C0D0A2020
6E7A783A202020564152206E7A726561
6C0D0A20206E2C6D3A20202056415220
6E61740D0A2020706E3A202020205641
5220706F736E61740D0A0D0A20206174
616E5F64657269765F666E28783A7265
616C293A706F737265616C203D20312F
28312B782A78290D0A0D0A20206F6E65
5F6F7665725F6F6E655F706C75735F74
5F73715F636F6E743A204C454D4D4120
636F6E74696E756F75733F5B7265616C
5D286174616E5F64657269765F666E29
0D0A0D0A20206174616E5F76616C7565
28783A7265616C293A7265616C203D20
496E74656772616C5B7265616C5D2830
2C782C6174616E5F64657269765F666E
290D0A0D0A20206174616E5F76616C75
655F302020202020203A204C454D4D41
206174616E5F76616C75652830292020
3D20300D0A20206174616E5F6E65675F
76616C7565202020203A204C454D4D41
206174616E5F76616C7565282D782920
3D202D6174616E5F76616C7565287829
0D0A20206174616E5F696E765F76616C
7565202020203A204C454D4D41206174
616E5F76616C756528312F707829203D
20322A6174616E5F76616C7565283129
2D6174616E5F76616C7565287078290D
0A20206174616E5F696E765F6E65675F
76616C75653A204C454D4D4120617461
6E5F76616C756528312F6E7829203D20
2D322A6174616E5F76616C7565283129
2D6174616E5F76616C7565286E78290D
0A0D0A20206174616E5F76616C75655F
7374726963745F696E6372656173696E
673A204C454D4D41207374726963745F
696E6372656173696E673F286174616E
5F76616C7565290D0A0D0A2020617461
6E5F76616C75655F6D696E75735F7831
3A204C454D4D41202D312F7079203C20
7820494D504C4945530D0A2020202020
20202020202020206174616E5F76616C
75652878292D6174616E5F76616C7565
28707929203D206174616E5F76616C75
652828782D7079292F28312B782A7079
29290D0A0D0A20206174616E5F76616C
75655F6D696E75735F78323A204C454D
4D412078203C202D312F707920494D50
4C4945530D0A20202020202020202020
202020342A6174616E5F76616C756528
3129202B206174616E5F76616C756528
7829202D206174616E5F76616C756528
7079290D0A2020202020202020202020
20202020202020202020202020202020
20202020202020203D206174616E5F76
616C75652828782D7079292F28312B78
2A707929290D0A20206174616E5F7661
6C75655F6D696E75733A204C454D4D41
0D0A2020282D31203C20782A79203D3E
206174616E5F76616C75652878292D61
74616E5F76616C7565287929203D2061
74616E5F76616C75652828782D79292F
28312B782A7929292920414E440D0A20
2028782A79203C202D3120262079203E
2030203D3E206174616E5F76616C7565
2878292D6174616E5F76616C75652879
292B342A6174616E5F76616C75652831
290D0A20202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020203D20
6174616E5F76616C75652828782D7929
2F28312B782A7929292920414E440D0A
202028782A79203C202D312026207920
3C2030203D3E206174616E5F76616C75
652878292D6174616E5F76616C756528
79292D342A6174616E5F76616C756528
31290D0A202020202020202020202020
20202020202020202020202020202020
2020202020202020202020202020203D
206174616E5F76616C75652828782D79
292F28312B782A792929290D0A0D0A20
2070693A706F737265616C203D20342A
6174616E5F76616C75652831290D0A0D
0A2520207265616C5F6D70695F707069
3A204E4F4E454D5054595F5459504520
3D207B783A7265616C207C2061627328
78293C322A6174616E5F76616C756528
31297D20434F4E5441494E494E472030
0D0A2520207265616C5F6D70695F7070
693A204E4F4E454D5054595F54595045
203D207B783A7265616C207C20616273
287829203C2070692F327D20434F4E54
41494E494E4720300D0A0D0A25202072
65616C5F6162735F6C745F7069323A20
4E4F4E454D5054595F54595045203D20
7B78207C20616273287829203C207069
2F327D20434F4E5441494E494E472030
0D0A20207265616C5F6162735F6C745F
7069323A204E4F4E454D5054595F5459
5045203D207B78207C202D70692F3220
3C207820414E442078203C2070692F32
7D20434F4E5441494E494E4720300D0A
0D0A2520206174616E5F6162735F6C74
5F7069323A204A554447454D454E5420
6174616E287829204841535F54595045
207265616C5F6162735F6C745F706932
0D0A0D0A20206174616E28783A726561
6C293A207265616C5F6162735F6C745F
706932203D206174616E5F76616C7565
2878290D0A0D0A202070695F76616C75
653A204C454D4D41207069203D20342A
6174616E2831290D0A0D0A25206E6F6E
2D41265320646566696E6974696F6E73
0D0A0D0A20206174616E5F7374726963
745F696E6372656173696E673A204C45
4D4D41207374726963745F696E637265
6173696E673F286174616E290D0A0D0A
20206174616E5F62696A202020202020
20202020202020203A204C454D4D4120
62696A6563746976653F5B7265616C2C
7265616C5F6162735F6C745F7069325D
286174616E290D0A20206174616E5F30
20202020202020202020202020202020
3A204C454D4D41206174616E28302920
3D20300D0A0D0A20206174616E5F696E
7620202020202020202020202020203A
204C454D4D41206174616E28312F7078
29203D2070692F322D6174616E287078
290D0A20206174616E5F696E765F6E65
67202020202020202020203A204C454D
4D41206174616E28312F6E7829203D20
2D70692F322D6174616E286E78290D0A
0D0A0D0A252041265320646566730D0A
0D0A20206174616E5F6465663A204C45
4D4D41206174616E287829203D20496E
74656772616C28302C782C284C414D42
44412028783A7265616C293A312F2831
2B782A782929292020252020342E342E
330D0A0D0A202061636F74286E7A783A
6E7A7265616C293A6E7A7265616C2020
20203D206174616E28312F6E7A782920
20202020202020202020202020202020
20202020202020202020202025202034
2E342E380D0A0D0A20206174616E5F6E
65673A204C454D4D41206174616E282D
78292020203D202D6174616E28782920
20202020202020202020202020202020
20202020202020202020202020202025
20342E342E31360D0A202061636F745F
6E65673A204C454D4D412061636F7428
2D6E7A7829203D202D61636F74286E7A
78292020202020202020202020202020
20202020202020202020202020202020
2520342E342E31390D0A0D0A20206174
616E5F6D696E75733A204C454D4D4120
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
2020202520342E342E33340D0A202028
2D31203C20782A79203D3E2020202020
202020206174616E2878292D6174616E
287929202020203D206174616E282878
2D79292F28312B782A7929292920414E
440D0A202028782A79203C202D312026
2079203E2030203D3E206174616E2878
292D6174616E2879292B7069203D2061
74616E2828782D79292F28312B782A79
29292920414E440D0A202028782A7920
3C202D3120262079203C2030203D3E20
6174616E2878292D6174616E2879292D
7069203D206174616E2828782D79292F
28312B782A792929290D0A0D0A202061
74616E5F706C75733A20204C454D4D41
20202020202020202020202020202020
20202020202020202020202020202020
20202020202020202020202020202020
202020202520342E342E33340D0A2020
28782A79203C2031203D3E206174616E
2878292B6174616E2879292020202020
202020202020203D206174616E282878
2B79292F28312D782A7929292920414E
440D0A20202831203C20782A79202620
79203E2030203D3E206174616E287829
2B6174616E2879292D7069203D206174
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|