Quelle  multi_polynomial.pvs   Sprache: unbekannt

6D756C74695F706F6C796E6F6D69616C
203A205448454F52590A424547494E0A
0A2020494D504F5254494E4720726561
6C734070726F647563745F6E61742C20
0A202020202020202020202020726561
6C7340706F6C796E6F6D69616C732C0A
09202020207369676D615F7365744073
69676D615F62696A656374696F6E5B6E
61745D2C0A2020202020202020202020
207574696C2C0A09202020207265616C
734073710A0A20202525252525252525
25252525252525252525252525252056
61726961626C65732025252525252525
2525252525252525252525252525250A
0A2020706F6C796465676D6F6E6F2C0A
2020706F6C796465676D6F6E6F312C0A
2020706F6C796465676D6F6E6F322020
20203A20564152204465677265654D6F
6E6F0A20206D706F6C792C0A20206D70
6F6C79312C6D706F6C79322020203A20
564152204D756C7469506F6C796E6F6D
69616C0A20207070726F642C0A202070
70726F64312C7070726F64322020203A
2056415220506F6C7970726F64756374
0A202061202020202020202020202020
2020203A20564152207265616C0A2020
582C41766172732C4276617273202020
3A2056415220566172730A2020762C6A
6A2020202020202020202020203A2056
4152206E61740A20206E766172732C74
65726D732C0A20207465726D73312C74
65726D73322020203A2056415220706F
736E61740A202063662C6366312C6366
322020202020203A2056415220436F65
66660A202072656C202020200920203A
20564152205B5B7265616C2C7265616C
5D2D3E626F6F6C5D0A2020626F756E64
65647074732C0A2020696E74656E6470
74730920203A2056415220496E746572
76616C456E64706F696E74730A0A2020
25252525252525252525252525252525
252525252525204576616C756174696E
6720506F6C796E6F6D69616C73202525
25252525252525252525252525252525
25250A0A2020706F6C7970726F647563
745F6576616C287070726F642C706F6C
796465676D6F6E6F2C6E766172732928
5829203A207265616C203D200A202020
2070726F6475637428302C6E76617273
2D312C4C414D4244412028693A6E6174
293A706F6C796E6F6D69616C28707072
6F642869292C706F6C796465676D6F6E
6F28692929285828692929290A0A2020
6D756C7469706F6C795F6576616C286D
706F6C792C706F6C796465676D6F6E6F
2C63662C6E766172732C7465726D7329
285829203A207265616C203D0A202020
207369676D6128302C7465726D732D31
2C4C414D4244412028693A6E6174293A
2063662869292A706F6C7970726F6475
63745F6576616C286D706F6C79286929
2C706F6C796465676D6F6E6F2C6E7661
727329285829290A0A20202525252525
2525252525252525205472616E736C61
74696E6720746F2074686520496E7465
7276616C205B302C315D202525252525
252525252525250A0A2020706F6C7970
726F645F7472616E736C617465287070
726F642C706F6C796465676D6F6E6F2C
6E76617273292841766172732C427661
72732C626F756E646564707473292869
3A6E617429203A20506F6C796E6F6D69
616C203D0A2020202049462020202062
6F756E64656470747328692960312041
4E4420626F756E646564707473286929
6032205448454E0A202020202020706F
6C795F7472616E736C61746528707072
6F642869292C706F6C796465676D6F6E
6F286929292841766172732869292C42
76617273286929290A20202020454C53
494620626F756E646564707473286929
6031205448454E20706F6C795F747261
6E736C6174655F696E665F706F732870
70726F642869292C706F6C796465676D
6F6E6F28692929284176617273286929
290A20202020454C53452020706F6C79
5F7472616E736C6174655F696E665F6E
6567287070726F642869292C706F6C79
6465676D6F6E6F286929292842766172
73286929290A20202020454E4449460A
0A20206D756C7469706F6C795F747261
6E736C617465286D706F6C792C706F6C
796465676D6F6E6F2C6E766172732C62
6F756E64656470747329284176617273
2C427661727329286B3A6E617429203A
2020506F6C7970726F64756374203D20
0A20202020706F6C7970726F645F7472
616E736C617465286D706F6C79286B29
2C706F6C796465676D6F6E6F2C6E7661
7273292841766172732C42766172732C
626F756E646564707473290A0A20206D
756C7469706F6C795F7472616E736C61
74655F64656E6F726D616C697A653A20
4C454D4D41200A202020206C745F6265
6C6F773F286E76617273292841766172
732C42766172732920414E4420626F75
6E6465645F706F696E74735F6578636C
75736976653F286E766172732928626F
756E6465647074732920414E440A2020
202028464F52414C4C202869693A6265
6C6F77286E7661727329293A20284E4F
542028626F756E646564707473286969
29603120414E4420626F756E64656470
7473286969296032292920494D504C49
45532058286969292F3D30290A202020
20494D504C4945530A2020202020204C
45542070636F6E7374203D2070726F64
75637428302C6E766172732D312C4C41
4D4244412028693A6E6174293A200A20
20202020202020202020202020202020
20202020202020202020202020202020
202020204946204E4F542028626F756E
646564707473286929603120414E4420
626F756E646564707473286929603229
205448454E200A202020202020202020
20202020202020202020202020202020
20202020202020202020202020205828
69295E706F6C796465676D6F6E6F2869
29200A20202020202020202020202020
20202020202020202020202020202020
2020202020202020454C534520312045
4E444946290A202020202020494E0A20
202020202020206D756C7469706F6C79
5F6576616C286D756C7469706F6C795F
7472616E736C617465286D706F6C792C
706F6C796465676D6F6E6F2C6E766172
732C626F756E64656470747329284176
6172732C4276617273292C0A20202020
20202020202020202020202020202020
20706F6C796465676D6F6E6F2C63662C
6E766172732C7465726D732928582920
0A20202020202020203D0A2020202020
20202070636F6E73742A6D756C746970
6F6C795F6576616C286D706F6C792C70
6F6C796465676D6F6E6F2C63662C6E76
6172732C7465726D73290A2020202020
20202020202020202020202020202020
20202020202020202864656E6F726D61
6C697A655F6C616D626461286E766172
732C582C626F756E6465647074732928
41766172732C427661727329290A0A20
206D756C7469706F6C795F7472616E73
6C6174655F6E6F726D616C697A653A20
4C454D4D41200A202020206C745F6265
6C6F773F286E76617273292841766172
732C4276617273290A20202020414E44
2028464F52414C4C202869693A62656C
6F77286E7661727329293A2028626F75
6E64656470747328696929603120494D
504C494553200A202020202020202020
58286969292F3D417661727328696929
2D312920414E442028626F756E646564
70747328696929603220494D504C4945
532058286969292F3D42766172732869
69292B3129290A20202020414E442062
6F756E6465645F706F696E74735F6578
636C75736976653F286E766172732928
626F756E646564707473290A20202020
2020494D504C4945530A202020202020
4C45542070636F6E7374203D2070726F
6475637428302C6E766172732D312C4C
414D4244412028693A6E6174293A200A
20202020202020202020202020202020
20202020202020202020202020202020
202020202049462028626F756E646564
707473286929603120414E44204E4F54
20626F756E6465647074732869296032
29205448454E200A2020202020202020
20202020202020202020202020202020
20202020202020202020202020202028
582869292D41766172732869292B3129
5E706F6C796465676D6F6E6F2869290A
20202020202009090920202020202020
092020202020454C5349462028626F75
6E646564707473286929603220414E44
204E4F5420626F756E64656470747328
6929603129205448454E200A20202020
20202020202020202020202020202020
20202020202020202020202020202020
2020202842766172732869292B312D58
286929295E706F6C796465676D6F6E6F
2869290A090909092020202020454C53
45203120454E444946290A2020202020
20494E0A202020202020202070636F6E
73742A6D756C7469706F6C795F657661
6C286D756C7469706F6C795F7472616E
736C617465286D706F6C792C706F6C79
6465676D6F6E6F2C6E766172732C626F
756E646564707473292841766172732C
4276617273292C0A2020202020202020
20202020202020202020202020706F6C
796465676D6F6E6F2C63662C6E766172
732C7465726D7329286E6F726D616C69
7A655F6C616D626461286E766172732C
582C626F756E64656470747329284176
6172732C42766172732929203D0A2020
2020202020206D756C7469706F6C795F
6576616C286D706F6C792C706F6C7964
65676D6F6E6F2C63662C6E766172732C
7465726D73292858290A0A20206D756C
7469706F6C795F7472616E736C617465
5F626F756E6465645F6465663A204C45
4D4D41200A20202020626F7862657477
65656E3F286E76617273292841766172
732C42766172732C696E74656E647074
732C626F756E64656470747329285829
20414E44200A20202020626F756E6465
645F706F696E74735F747275653F286E
766172732928626F756E646564707473
2920494D504C4945530A202020206D75
6C7469706F6C795F6576616C286D756C
7469706F6C795F7472616E736C617465
286D706F6C792C706F6C796465676D6F
6E6F2C6E766172732C626F756E646564
707473292841766172732C4276617273
292C0A20202020202020202020202020
202020202020706F6C796465676D6F6E
6F2C63662C6E766172732C7465726D73
29286E6F726D616C697A655F6C616D62
6461286E766172732C582C626F756E64
6564707473292841766172732C427661
72732929203D0A202020206D756C7469
706F6C795F6576616C286D706F6C792C
706F6C796465676D6F6E6F2C63662C6E
766172732C7465726D73292858290A0A
20206D756C7469706F6C795F7472616E
736C6174655F6465663A204C454D4D41
200A202020206C745F62656C6F773F28
6E76617273292841766172732C427661
72732920414E44200A20202020626F75
6E6465645F706F696E74735F6578636C
75736976653F286E766172732928626F
756E6465647074732920494D504C4945
530A20202020464F52414C4C20287265
6C3A5265616C4F72646572293A0A2020
2020202028464F52414C4C202858293A
20626F786265747765656E3F286E7661
727329287A65726F65732C6F6E65732C
0A20202020202020696E74657276616C
5F656E64706F696E74735F696E665F74
72616E732841766172732C4276617273
2C696E74656E647074732C626F756E64
6564707473292C626F756E6465647074
735F747275652928582920494D504C49
4553200A2020202020202072656C286D
756C7469706F6C795F6576616C286D75
...

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