|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Multiset_Permutations.thy
Sprache: Coq
Quellsprache: Binärcode
aufgebrochen in jeweils 16 Zeichen
|
282A20205469746C653A202020202020
484F4C2F4C6962726172792F4D756C74
697365745F5065726D75746174696F6E
732E7468790A20202020417574686F72
3A20202020204D616E75656C20456265
726C20285455204DFC6E6368656E290A
0A446566696E65732074686520736574
206F66207065726D75746174696F6E73
206F66206120676976656E206D756C74
6973657420286F7220736574292C2069
2E652E2074686520736574206F662061
6C6C206C697374732077686F7365200A
656E747269657320636F72726573706F
6E6420746F20746865206D756C746973
65742028726573702E20736574292E0A
2A290A0A73656374696F6E205C3C6F70
656E3E5065726D75746174696F6E7320
6F662061204D756C74697365745C3C63
6C6F73653E0A0A7468656F7279204D75
6C74697365745F5065726D7574617469
6F6E730A696D706F727473200A202043
6F6D706C65785F4D61696E200A20204D
756C74697365740A20205065726D7574
6174696F6E730A626567696E0A0A282A
20544F444F204D6F7665202A290A6C65
6D6D61206D7365745F746C3A20227873
205C3C6E6F7465713E205B5D205C3C4C
6F6E6772696768746172726F773E206D
7365742028746C20787329203D206D73
6574207873202D207B23686420787323
7D220A20206279202863617365732078
73292073696D705F616C6C0A0A6C656D
6D61206D7365745F7365745F696D6167
655F696E6A3A0A2020617373756D6573
2022696E6A5F6F6E20662041220A2020
73686F7773202020226D7365745F7365
742028662060204129203D20696D6167
655F6D736574206620286D7365745F73
6574204129220A70726F6F6620286361
736573202266696E697465204122290A
20206361736520547275650A20206672
6F6D207468697320616E64206173736D
732073686F77203F7468657369732062
792028696E64756374696F6E20412920
6175746F0A7165642028696E73657274
206173736D732C2073696D7020616464
3A2066696E6974655F696D6167655F69
6666290A0A6C656D6D61206D756C7469
7365745F72656D6F76655F696E647563
74205B636173655F6E616D657320656D
7074792072656D6F76655D3A0A202061
7373756D6573202250207B237D222022
5C3C416E643E412E2041205C3C6E6F74
65713E207B237D205C3C4C6F6E677269
6768746172726F773E20285C3C416E64
3E782E2078205C3C696E3E232041205C
3C4C6F6E6772696768746172726F773E
2050202841202D207B2378237D292920
5C3C4C6F6E6772696768746172726F77
3E20502041220A202073686F77732020
2022502041220A70726F6F662028696E
64756374696F6E20412072756C653A20
66756C6C5F6D756C74697365745F696E
64756374290A20206361736520286C65
73732041290A202068656E6365204948
3A202250204222206966202242205C3C
7375627365743E2320412220666F7220
42207573696E67207468617420627920
626C6173740A202073686F77203F6361
73650A202070726F6F66202863617365
73202241203D207B237D22290A202020
206361736520547275650A2020202074
687573203F7468657369732062792028
73696D70206164643A206173736D7329
0A20206E6578740A2020202063617365
2046616C73650A2020202068656E6365
202250202841202D207B2378237D2922
206966202278205C3C696E3E23204122
20666F7220780A202020202020757369
6E6720746861742062792028696E7472
6F20494829202873696D70206164643A
206D7365745F7375627365745F646966
665F73656C66290A2020202066726F6D
2046616C736520616E64207468697320
73686F77202250204122206279202872
756C65206173736D73290A2020716564
0A7165640A0A6C656D6D61206D61705F
6C6973745F62696E643A20226D617020
6720284C6973742E62696E6420787320
6629203D204C6973742E62696E642078
7320286D61702067205C3C636972633E
206629220A20206279202873696D7020
6164643A204C6973742E62696E645F64
6566206D61705F636F6E636174290A0A
6C656D6D61206D7365745F65715F6D73
65745F7365745F696D705F6469737469
6E63743A0A20202266696E6974652041
205C3C4C6F6E6772696768746172726F
773E206D7365745F7365742041203D20
6D736574207873205C3C4C6F6E677269
6768746172726F773E2064697374696E
6374207873220A70726F6F662028696E
64756374696F6E207873206172626974
726172793A2041290A20206361736520
28436F6E7320782078732041290A2020
66726F6D20436F6E732E7072656D7328
32292068617665202278205C3C696E3E
23206D7365745F736574204122206279
2073696D700A20207769746820436F6E
732E7072656D73283129206861766520
5B73696D705D3A202278205C3C696E3E
2041222062792073696D700A20206672
6F6D20436F6E732E7072656D73206861
7665202278205C3C6E6F74696E3E2320
6D7365745F736574202841202D207B78
7D29222062792073696D700A2020616C
736F2066726F6D20436F6E732E707265
6D73206861766520226D7365745F7365
74202841202D207B787D29203D206D73
65745F7365742041202D207B2378237D
220A2020202062792028737562737420
6D7365745F7365745F44696666292073
696D705F616C6C0A2020616C736F2068
61766520226D7365745F736574204120
3D206D73657420287823787329222062
79202873696D70206164643A20436F6E
732E7072656D73290A2020616C736F20
6861766520225C3C646F74733E202D20
7B2378237D203D206D73657420787322
2062792073696D700A202066696E616C
6C792068617665205B73696D705D3A20
2278205C3C6E6F74696E3E2073657420
787322206279202873696D7020616464
3A20696E5F6D756C74697365745F696E
5F736574290A202066726F6D20436F6E
732E7072656D732073686F77203F6361
736520627920286175746F20696E7472
6F213A20436F6E732E49485B6F662022
41202D207B787D225D2073696D703A20
6D7365745F7365745F44696666290A71
65642073696D705F616C6C0A282A2045
4E4420544F444F202A290A0A0A737562
73656374696F6E205C3C6F70656E3E50
65726D75746174696F6E73206F662061
206D756C74697365745C3C636C6F7365
3E0A0A646566696E6974696F6E207065
726D75746174696F6E735F6F665F6D75
6C7469736574203A3A20222761206D75
6C7469736574205C3C52696768746172
726F773E202761206C69737420736574
222077686572650A2020227065726D75
746174696F6E735F6F665F6D756C7469
7365742041203D207B78732E206D7365
74207873203D20417D220A0A6C656D6D
61207065726D75746174696F6E735F6F
665F6D756C7469736574493A20226D73
6574207873203D2041205C3C4C6F6E67
72696768746172726F773E207873205C
3C696E3E207065726D75746174696F6E
735F6F665F6D756C7469736574204122
0A20206279202873696D70206164643A
207065726D75746174696F6E735F6F66
5F6D756C74697365745F646566290A0A
6C656D6D61207065726D75746174696F
6E735F6F665F6D756C7469736574443A
20227873205C3C696E3E207065726D75
746174696F6E735F6F665F6D756C7469
7365742041205C3C4C6F6E6772696768
746172726F773E206D73657420787320
3D2041220A20206279202873696D7020
6164643A207065726D75746174696F6E
735F6F665F6D756C74697365745F6465
66290A0A6C656D6D61207065726D7574
6174696F6E735F6F665F6D756C746973
65745F436F6E735F6966663A0A202022
782023207873205C3C696E3E20706572
6D75746174696F6E735F6F665F6D756C
74697365742041205C3C6C6F6E676C65
667472696768746172726F773E207820
5C3C696E3E232041205C3C616E643E20
7873205C3C696E3E207065726D757461
74696F6E735F6F665F6D756C74697365
74202841202D207B2378237D29220A20
20627920286175746F2073696D703A20
7065726D75746174696F6E735F6F665F
6D756C74697365745F646566290A0A6C
656D6D61207065726D75746174696F6E
735F6F665F6D756C74697365745F656D
707479205B73696D705D3A2022706572
6D75746174696F6E735F6F665F6D756C
7469736574207B237D203D207B5B5D7D
220A2020756E666F6C64696E67207065
726D75746174696F6E735F6F665F6D75
6C74697365745F646566206279207369
6D700A0A6C656D6D61207065726D7574
6174696F6E735F6F665F6D756C746973
65745F6E6F6E656D7074793A200A2020
617373756D6573206E6F6E656D707479
3A202241205C3C6E6F7465713E207B23
7D220A202073686F7773202020227065
726D75746174696F6E735F6F665F6D75
6C74697365742041203D200A20202020
202020202020202020285C3C556E696F
6E3E785C3C696E3E7365745F6D736574
20412E20282823292078292060207065
726D75746174696F6E735F6F665F6D75
6C7469736574202841202D207B237823
7D2929222028697320225F203D203F72
687322290A70726F6F6620736166650A
202066697820787320617373756D6520
227873205C3C696E3E207065726D7574
6174696F6E735F6F665F6D756C746973
65742041220A202068656E6365206D73
65745F78733A20226D73657420787320
3D204122206279202873696D70206164
643A207065726D75746174696F6E735F
6F665F6D756C74697365745F64656629
0A202068656E636520227873205C3C6E
6F7465713E205B5D2220627920286175
746F2073696D703A206E6F6E656D7074
79290A20207468656E206F627461696E
2078207873272077686572652078733A
20227873203D20782023207873272220
62792028636173657320787329207369
6D705F616C6C0A202077697468206D73
65745F78732068617665202278205C3C
696E3E207365745F6D73657420412220
22787327205C3C696E3E207065726D75
746174696F6E735F6F665F6D756C7469
736574202841202D207B2378237D2922
0A20202020627920286175746F207369
6D703A207065726D75746174696F6E73
5F6F665F6D756C74697365745F646566
290A2020776974682078732073686F77
20227873205C3C696E3E203F72687322
206279206175746F0A71656420286175
746F2073696D703A207065726D757461
74696F6E735F6F665F6D756C74697365
745F646566290A0A6C656D6D61207065
726D75746174696F6E735F6F665F6D75
6C74697365745F73696E676C65746F6E
205B73696D705D3A20227065726D7574
6174696F6E735F6F665F6D756C746973
6574207B2378237D203D207B5B785D7D
220A20206279202873696D7020616464
3A207065726D75746174696F6E735F6F
665F6D756C74697365745F6E6F6E656D
707479290A0A6C656D6D61207065726D
75746174696F6E735F6F665F6D756C74
697365745F646F75626C65746F6E3A20
0A2020227065726D75746174696F6E73
5F6F665F6D756C7469736574207B2378
2C79237D203D207B5B782C795D2C205B
792C785D7D220A20206279202873696D
70206164643A207065726D7574617469
6F6E735F6F665F6D756C74697365745F
...
maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!
|
|
|
|
|
|
