Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/digraphs/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 28.9.2014 mit Größe 5 kB image not shown  


Quelle  relations_extra.prf   Sprache: unbekannt

Quellsprache: Binärcode

aufgebrochen in jeweils 16 Zeichen
2872656C6174696F6E735F6578747261
0A20287374726963745F6F726465725F
69735F6173796D6D657472696320300A
2020287374726963745F6F726465725F
69735F6173796D6D65747269632D3120
6E696C20333331343533393732360A20
202028222220286772696E64203A6966
2D6D61746368206E696C290A20202020
282822222028696E7374202D20227821
3222202279213122202278213222290A
20202020202028282222202861737365
72742920282822222028696E73743F29
206E696C206E696C2929206E696C2929
206E696C29290A202020206E696C290A
202020282869727265666C6578697665
3F20636F6E73742D6465636C2022626F
6F6C222072656C6174696F6E73206E69
6C290A20202020287472616E73697469
76653F20636F6E73742D6465636C2022
626F6F6C222072656C6174696F6E7320
6E696C290A2020202028626F6F6C6561
6E206E6F6E656D7074792D747970652D
6465636C206E696C20626F6F6C65616E
73206E696C290A2020202028626F6F6C
206E6F6E656D7074792D747970652D65
712D6465636C206E696C20626F6F6C65
616E73206E696C290A20202020284E4F
5420636F6E73742D6465636C20225B62
6F6F6C202D3E20626F6F6C5D2220626F
6F6C65616E73206E696C290A20202020
285420666F726D616C2D747970652D64
65636C206E696C2072656C6174696F6E
735F6578747261206E696C290A202020
20287072656420747970652D65712D64
65636C206E696C20646566696E65645F
7479706573206E696C290A2020202028
7374726963745F6F726465723F20636F
6E73742D6465636C2022626F6F6C2220
6F7264657273206E696C290A20202020
286173796D6D65747269633F20636F6E
73742D6465636C2022626F6F6C222072
656C6174696F6E735F6578747261206E
696C29290A2020206E696C29290A2028
6173796D6D65747269635F69735F616E
746973796D6D657472696320300A2020
286173796D6D65747269635F69735F61
6E746973796D6D65747269632D31206E
696C20333331343533393732360A2020
2028222220286A756467656D656E742D
74636329206E696C206E696C290A2020
202828626F6F6C65616E206E6F6E656D
7074792D747970652D6465636C206E69
6C20626F6F6C65616E73206E696C290A
2020202028626F6F6C206E6F6E656D70
74792D747970652D65712D6465636C20
6E696C20626F6F6C65616E73206E696C
290A20202020284E4F5420636F6E7374
2D6465636C20225B626F6F6C202D3E20
626F6F6C5D2220626F6F6C65616E7320
6E696C290A20202020285420666F726D
616C2D747970652D6465636C206E696C
2072656C6174696F6E735F6578747261
206E696C290A20202020287072656420
747970652D65712D6465636C206E696C
20646566696E65645F7479706573206E
696C290A20202020286173796D6D6574
7269633F20636F6E73742D6465636C20
22626F6F6C222072656C6174696F6E73
5F6578747261206E696C290A20202020
28616E746973796D6D65747269633F20
636F6E73742D6465636C2022626F6F6C
222072656C6174696F6E73206E696C29
290A2020206E696C29290A2028617379
6D6D65747269635F69735F6972726566
6C657869766520300A2020286173796D
6D65747269635F69735F69727265666C
65786976652D31206E696C2033333134
3533393732360A20202028222220286A
756467656D656E742D74636329206E69
6C206E696C290A2020202828626F6F6C
65616E206E6F6E656D7074792D747970
652D6465636C206E696C20626F6F6C65
616E73206E696C290A2020202028626F
6F6C206E6F6E656D7074792D74797065
2D65712D6465636C206E696C20626F6F
6C65616E73206E696C290A2020202028
4E4F5420636F6E73742D6465636C2022
5B626F6F6C202D3E20626F6F6C5D2220
626F6F6C65616E73206E696C290A2020
2020285420666F726D616C2D74797065
2D6465636C206E696C2072656C617469
6F6E735F6578747261206E696C290A20
202020287072656420747970652D6571
2D6465636C206E696C20646566696E65
645F7479706573206E696C290A202020
20286173796D6D65747269633F20636F
6E73742D6465636C2022626F6F6C2220
72656C6174696F6E735F657874726120
6E696C290A202020202869727265666C
65786976653F20636F6E73742D646563
6C2022626F6F6C222072656C6174696F
6E73206E696C29290A2020206E696C29
290A2028646963686F746F6D6F75735F
69735F74726963686F746F6D6F757320
300A202028646963686F746F6D6F7573
5F69735F74726963686F746F6D6F7573
2D31206E696C20333331343533393732
360A20202028222220286A756467656D
656E742D74636329206E696C206E696C
290A2020202828626F6F6C65616E206E
6F6E656D7074792D747970652D646563
6C206E696C20626F6F6C65616E73206E
696C290A2020202028626F6F6C206E6F
6E656D7074792D747970652D65712D64
65636C206E696C20626F6F6C65616E73
206E696C290A20202020284E4F542063
6F6E73742D6465636C20225B626F6F6C
202D3E20626F6F6C5D2220626F6F6C65
616E73206E696C290A20202020285420
666F726D616C2D747970652D6465636C
206E696C2072656C6174696F6E735F65
78747261206E696C290A202020202870
72656420747970652D65712D6465636C
206E696C20646566696E65645F747970
6573206E696C290A2020202028646963
686F746F6D6F75733F20636F6E73742D
6465636C2022626F6F6C22206F726465
7273206E696C290A2020202028747269
63686F746F6D6F75733F20636F6E7374
2D6465636C2022626F6F6C22206F7264
657273206E696C29290A2020206E696C
29290A20286F726465725F69735F7472
616E73697469766520300A2020286F72
6465725F69735F7472616E7369746976
652D31206E696C203333313831383034
34350A2020202822222028736B6F6C65
6D2D7479706570726564290A20202020
282822222028657870616E6420226F72
6465723F222920282822222028666C61
7474656E29206E696C206E696C292920
6E696C2929206E696C290A2020202828
6F726465723F20636F6E73742D646563
6C2022626F6F6C222072656C6174696F
6E735F6578747261206E696C290A2020
2020287072656420747970652D65712D
6465636C206E696C20646566696E6564
5F7479706573206E696C290A20202020
285420666F726D616C2D747970652D64
65636C206E696C2072656C6174696F6E
735F6578747261206E696C290A202020
20284E4F5420636F6E73742D6465636C
20225B626F6F6C202D3E20626F6F6C5D
2220626F6F6C65616E73206E696C290A
2020202028626F6F6C206E6F6E656D70
74792D747970652D65712D6465636C20
6E696C20626F6F6C65616E73206E696C
290A2020202028626F6F6C65616E206E
6F6E656D7074792D747970652D646563
6C206E696C20626F6F6C65616E73206E
696C29290A2020206E696C29290A2028
6F726465725F69735F616E746973796D
6D657472696320300A2020286F726465
725F69735F616E746973796D6D657472
69632D31206E696C2033333138313830
3434352028222220286A756467656D65
6E742D74636329206E696C206E696C29
0A2020202828626F6F6C65616E206E6F
6E656D7074792D747970652D6465636C
206E696C20626F6F6C65616E73206E69
6C290A2020202028626F6F6C206E6F6E
656D7074792D747970652D65712D6465
636C206E696C20626F6F6C65616E7320
6E696C290A20202020284E4F5420636F
6E73742D6465636C20225B626F6F6C20
2D3E20626F6F6C5D2220626F6F6C6561
6E73206E696C290A2020202028542066
6F726D616C2D747970652D6465636C20
6E696C2072656C6174696F6E735F6578
747261206E696C290A20202020287072
656420747970652D65712D6465636C20
6E696C20646566696E65645F74797065
73206E696C290A20202020286F726465
723F20636F6E73742D6465636C202262
6F6F6C222072656C6174696F6E735F65
78747261206E696C290A202020202874
72616E7369746976653F20636F6E7374
2D6465636C2022626F6F6C222072656C
6174696F6E73206E696C290A20202020
28616E746973796D6D65747269633F20
636F6E73742D6465636C2022626F6F6C
222072656C6174696F6E73206E696C29
290A2020206E696C29290A2028706172
7469616C5F6F726465725F69735F6F72
64657220300A2020287061727469616C
5F6F726465725F69735F6F726465722D
31206E696C2033333138313830343435
2028222220286A756467656D656E742D
74636329206E696C206E696C290A2020
202828626F6F6C65616E206E6F6E656D
7074792D747970652D6465636C206E69
6C20626F6F6C65616E73206E696C290A
2020202028626F6F6C206E6F6E656D70
74792D747970652D65712D6465636C20
6E696C20626F6F6C65616E73206E696C
290A20202020284E4F5420636F6E7374
2D6465636C20225B626F6F6C202D3E20
626F6F6C5D2220626F6F6C65616E7320
6E696C290A20202020285420666F726D
616C2D747970652D6465636C206E696C
2072656C6174696F6E735F6578747261
206E696C290A20202020287072656420
747970652D65712D6465636C206E696C
20646566696E65645F7479706573206E
696C290A20202020287061727469616C
5F6F726465723F20636F6E73742D6465
636C2022626F6F6C22206F7264657273
206E696C290A20202020287072656F72
6465723F20636F6E73742D6465636C20
22626F6F6C22206F7264657273206E69
6C290A20202020287265666C65786976
653F20636F6E73742D6465636C202262
6F6F6C222072656C6174696F6E73206E
696C290A20202020287472616E736974
6976653F20636F6E73742D6465636C20
22626F6F6C222072656C6174696F6E73
206E696C290A2020202028616E746973
796D6D65747269633F20636F6E73742D
6465636C2022626F6F6C222072656C61
74696F6E73206E696C290A2020202028
6F726465723F20636F6E73742D646563
6C2022626F6F6C222072656C6174696F
6E735F6578747261206E696C29290A20
20206E696C29290A2028737472696374
5F6F726465725F69735F6F7264657220
300A2020287374726963745F6F726465
725F69735F6F726465722D31206E696C
20333331383138303434350A20202028
222220286772696E64203A69662D6D61
746368206E696C290A20202020282822
222028696E7374202D20227821322229
0A202020202020282822222028696E73
74202D20227821322220227921312220
22782132222920282822222028617373
65727429206E696C206E696C2929206E
696C29290A2020202020206E696C2929
0A202020206E696C290A202020282869
727265666C65786976653F20636F6E73
742D6465636C2022626F6F6C22207265
6C6174696F6E73206E696C290A202020
2028626F6F6C65616E206E6F6E656D70
74792D747970652D6465636C206E696C
20626F6F6C65616E73206E696C290A20
20202028626F6F6C206E6F6E656D7074
792D747970652D65712D6465636C206E
696C20626F6F6C65616E73206E696C29
0A20202020284E4F5420636F6E73742D
...

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