Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/ZF/ex/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 91 kB image not shown  


Quelle  GIFImage.dcu   Sprache: unbekannt

Quellsprache: Binärcode

aufgebrochen in jeweils 16 Zeichen
2300001245FF030079A97036A45F1ED5
000208474946496D6167659600003C70
392E2E5C65787465726E657220436F64
65204167656E646120756E6420436F6C
756D626F5C474946496D6167655C4749
46496D6167652E70617373AD32360064
0653797374656D00006607496E746567
6572099966C2660443686172238DBB9A
6606737472696E67B62B7B9F660A416E
7369537472696E67B62B7B9F6719544F
626A6563742E5361666543616C6C4578
63657074696F6EB20AC4846719544F62
6A6563742E4166746572436F6E737472
756374696F6EB30AC4846719544F626A
6563742E4265666F7265446573747275
6374696F6EB40AC4846710544F626A65
63742E4469737061746368B50AC48467
16544F626A6563742E44656661756C74
48616E646C6572B60AC4846713544F62
6A6563742E4E6577496E7374616E6365
B70AC4846714544F626A6563742E4672
6565496E7374616E6365B80AC484670F
544F626A6563742E44657374726F79B9
0AC4846607544F626A6563747CEAAEEC
670E4041627374726163744572726F72
E96070C5660442797465B517E1116607
426F6F6C65616EFA1F9D656607506F69
6E7465729DEF18956604576F72644E88
F911660550436861729375BD5267082E
544F626A6563745FBE8C3E66074C6F6E
67696E74099966C2670546616C736573
C99AF867034F72640000000067074578
636C75646500000000670840496E744F
766572E96070C5670940426F756E6445
7272E96070C5660843617264696E616C
49D0E14B660950416E73694368617293
75BD52670653697A654F660000000067
0D4C6F6164526573537472696E675B57
1662670E404C53747246726F6D417272
617943A17432670C4052616973654578
63657074E96070C5670D404C53747241
72726179436C72FC9D9F19670E404861
6E646C6546696E616C6C79E96070C567
0B404C53747241646452656694146045
6708404C537472436C725CAAAB3E6703
446563000000006703496E6300000000
67064C656E677468000000006708404C
5374724C656E72C516589F905BFB0D67
0644656C65746500000000670B404C53
747244656C657465E96070C56608504C
6F6E67696E74CB8A0EC9670C404C5374
72546F50436861722414C9C767044578
697400000000670846696C6C43686172
0000000067094046696C6C436861729E
240C9A670341627300000000670E544F
626A6563742E437265617465A10AC484
670C40436C617373437265617465E719
56C36712404166746572436F6E737472
756374696F6E8F16834B671240426566
6F72654465737472756374696F6EBA04
53AB670D40436C61737344657374726F
79FCC5E08E67064765744D656D000000
006707404765744D656DF5982BC26713
4048616E646C65416E79457863657074
696F6EE96070C5670B40526169736541
6761696EE96070C5670B40446F6E6545
7863657074E96070C56707467265654D
656D00000000670840467265654D656D
F5982BC2670C544F626A6563742E4672
6565A20AC4846608536D616C6C696E74
6690C2A467034E65770000000067034C
6F770000000067044869676800000000
6707446973706F736500000000670641
73736572740000000067074041737365
7274F33E511A67045472756576C99AF8
670F4054727946696E616C6C79457869
74E96070C5670A5265616C6C6F634D65
6D00000000670B405265616C6C6F634D
656D2CC4AB5C67044D6F76653DC969F0
6705427265616B000000006708416C6C
6F634D656D35AD93716708404973436C
617373931798A1670343687200000000
6708404C537472436D70E96070C56708
41737369676E6564000000006708436F
6E74696E756500000000670840417343
6C61737345DE54D2670D4043616C6C44
796E61496E7374E96070C5670C457863
6570744F626A656374A00AC484671240
48616E646C654F6E457863657074696F
6EE96070C56714544F626A6563742E49
6E68657269747346726F6DAB0AC48467
07496E636C75646500000000670A4578
6365707441646472C10F2E2D670E4865
6170416C6C6F63466C6167733D4BE735
670C4D61696E54687265616449445736
FB4B636407537973496E697400006709
48496E7374616E63655736FB4B636408
5379735574696C730000660945786365
7074696F6EA2FACC2167104578636570
74696F6E2E437265617465C91AE2B966
0C454F75744F664D656D6F72798774C6
8E670D2E454F75744F664D656D6F7279
6A48A4E0670A666D4F70656E52656164
AC7DE7316710666D536861726544656E
7957726974650C7EE731670955707065
7243617365B5E3D743670A2E45786365
7074696F6E85CEAA7366064541626F72
7419579D5667072E4541626F7274FC2A
7BA8670D57696E3332506C6174666F72
6DF85B54E6670A436F6D706172654D65
6D2E05EC7C67085374724C436F707947
638413660D45436F6E76657274457272
6F72EC8D9C5D670E2E45436F6E766572
744572726F72CF617AAF63640757696E
646F7773000066084850414C45545445
49D0E14B660348444349D0E14B660748
4249544D415049D0E14B660554526563
7475FFC11E660544574F524449D0E14B
66075448616E646C6549D0E14B660D54
50616C65747465456E747279D569F6EE
660B544C6F6750616C65747465C0C306
7B660F74616750414C45545445454E54
5259D569F6EE670D4372656174655061
6C65747465420AA65B670C4765744C61
73744572726F721EF1F6E3670D466F72
6D61744D657373616765D07A3B54671A
464F524D41545F4D4553534147455F46
524F4D5F53595354454D2D22F3316713
4C4F43414C455F555345525F44454641
554C542DFEF2316611544269746D6170
496E666F486561646572054614FB660B
5444494253656374696F6EBCEE2EB067
094765744F626A6563745A6873956613
7461674249544D4150494E464F484541
444552054614FB66097461674249544D
4150AE7CC2EE670642495F524742AC7D
E731670C42495F4249544649454C4453
B57DE73166085452474251756164F34F
4F5A6712437265617465436F6D706174
69626C65444306148003670D53656C65
637450616C65747465F0C154C7670E52
65616C697A6550616C65747465061480
036709476574444942697473B307BC76
660B544269746D6170496E666F737A8C
34670E4449425F5247425F434F4C4F52
53AC7DE731670844656C6574654443C0
AA42156611504269746D617046696C65
4865616465725067D7B3661154426974
6D617046696C65486561646572131DCC
6666137461674249544D415046494C45
484541444552131DCC66670C44656C65
74654F626A656374C0AA4215660B5042
69746D6170496E666FA3CD5485670847
6469466C75736810DC1D81660B545379
7374656D496E666F1B794610670D4765
7453797374656D496E666F7FC743AD66
0C5F53595354454D5F494E464F1B7946
10671147657450616C65747465456E74
72696573DD9D54EF670E476C6F62616C
416C6C6F63507472F9461FAB670D474D
454D5F4D4F564541424C45B27DE73167
0D476C6F62616C4672656550747235AD
9371660A54524742547269706C657C25
D87C67164765744E6561726573745061
6C65747465496E6465788EC22DA16706
4D756C44697636BDCD56660A50524742
547269706C65AE6B5DA4660C74616752
4742545249504C457C25D87C660A7461
6752474251554144F34F4F5A660E544D
61784C6F6750616C65747465BD6EED6B
670D50435F4E4F434F4C4C41505345B8
7DE731670E47657453746F636B4F626A
656374C6FF1754670F44454641554C54
5F50414C45545445D97DE731660B504C
6F6750616C65747465E832BA3E670547
65744443061480036715437265617465
48616C66746F6E6550616C6574746506
148003670952656C6561736544434E5D
25346710476574444942436F6C6F7254
61626C65DD9D54EF670C437265617465
4269746D61708A584C166709436F7079
496D616765660F248B670C494D414745
5F4249544D4150AC7DE73167104C525F
434F505952455455524E4F5247B87DE7
3166095449636F6E496E666FC02FDB13
670B47657449636F6E496E666F76C646
4E660954436F6C6F7252656649D0E14B
67155645525F504C4154464F524D5F57
494E33325F4E54B27DE7316716437265
617465436F6D70617469626C65426974
6D6170B6B12199670C53656C6563744F
626A6563748EC22DA167074D61736B42
6C74D06D2C9067084D616B65524F5034
45B12D8B9F392702286707535243434F
50598F724BB46706426974426C74C000
E067670A4E4F54535243434F50594772
80B26706535243414E4481747FB3670C
53657454657874436F6C6F728EC22DA1
670A536574426B436F6C6F728EC22DA1
670A53747265746368426C74E0E9BDF4
67085352435041494E54C173B1B4670D
496E746572736563745265637435DC88
40670B4372656174654576656E74F508
B94267085365744576656E74C0AA4215
670B436C6F736548616E646C65C0AA42
15670D4765744F626A65637454797065
0614800367064F424A5F4443B57DE731
6604544D73673FE917936708494E4649
4E495445BF79DFDE671357616974466F
7253696E676C654F626A6563748EC22D
A1670C574149545F54494D454F555433
F5F2316705536C6565707246DF6A670B
5065656B4D6573736167653163657367
09504D5F52454D4F5645AF7DE7316710
5472616E736C6174654D657373616765
775CBEE5670F44697370617463684D65
73736167657DB19324670F506F737451
7569744D657373616765323277BB6709
457175616C52656374CE78CF3A670952
545F5243444154412A1FBBE567104765
74436C6970626F617264446174610614
8003670A476C6F62616C53697A650614
8003670A476C6F62616C4C6F636BAAB0
9371670C476C6F62616C556E6C6F636B
C0AA4215670943465F4249544D4150B2
7DE731670B476C6F62616C416C6C6F63
8EC22DA16710536574436C6970626F61
7264446174618EC22DA1670A476C6F62
616C4672656506148003671247657443
757272656E7454687265616449641EF1
F6E367175265676973746572436C6970
626F617264466F726D6174784ECA2567
0D476574446576696365436170730E49
BD84670942495453504958454CD07DE7
316706504C414E4553D67DE731636408
47726170686963730000660F45496E76
616C6964477261706869637637FDFF67
102E45496E76616C6964477261706869
63590BDB51660654436F6C6F7249E263
A66607544269746D617061032B386607
5443616E766173B01236386608544772
6170686963C22FF72F67092E54477261
70686963A503D5816710544772617068
69632E4368616E676564ED4F0CC86719
54477261706869632E446566696E6550
726F70657274696573EE4F0CC8671754
477261706869632E4765745472616E73
706172656E74F44F0CC8671154477261
706869632E5265616444617461F74F0C
C8671754477261706869632E53657454
72616E73706172656E74FA4F0CC86715
54477261706869632E4C6F616446726F
6D46696C65FE4F0CC867135447726170
6869632E53617665546F46696C65FF4F
0CC8671054477261706869632E536574
53697A6504500CC8660C54506978656C
...

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