ГОСТ Р ИСО 13584-25—2010
#3256=PROPERTY_VALUE(INTEGER_VALUE(0). #210);
#3257=PROPERTY_VALUE(#2506. #180);
#3300=LIB_F_MODEL_INSTANCE(#130, (#3301. #3308. #3309. #3302. #3303.
#3304. #3305. #3306. #3307), ());
#3301 =PROPERTY_VALUE{REAL_VALUE(17.0). #90):
#3308=PROPERTY_VALUE{REAL_VALUE(3.0). #100):
#3309=PROPERTY_VALUE(REAL_VALUE(25.5). #110):
#3302=PROPERTY_VALUE(INTEGER_VALUE(1). #170):
#3303=PROPERTY_VALUE(INTEGER_VALUE(1), #150):
#3304=PR0PERTY_VALUE{INTEGER_VALUE(2), #160);
#3305=PROPERTY_VALUE(INTEGER_VALUE(1), #200);
#3306=PROPERTY_VALUE(INTEGER_VALUE(0). #210);
#3307=PROPERTY_VALUE(#2501, #180);
#3310=LIB_F_MODEL_INSTANCE(#130. (#3311. #3318. #3319. #3312. #3313.
#3314. #3315. #3316. #3317), {));
#3311=PROPERTY_VALUE(REAL_VALUE(17.0). #90);
#3318=PROPERTY_VALUE(REAL_VALUE(3.0), #100):
#3319=PROPERTY_VALUE(REAL_VALUE<25.5). #110);
#3312=PROPERTY_VALUE(INTEGER_VALUE(2). #170);
#3313=PROPERTY_VALUE(INTEGER_VALUE(1). #150);
#3314=PROPERTY_VALUE(INTEGER_VALUE(2). #160);
#3315=PROPERTY_VALUE(INTEGER_VALUE(1), #200);
#3316=PROPERTY_VALUE(INTEGER_VALUE(0). #210);
#3317=PROPERTY_VALUE(#2502, #180);
#3320=LIB_F_MODEL_INSTANCE(#130. (#3321. #3328. #3329. #3322. #3323,
#3324. #3325. #3326. #3327). ());
#3321=PROPERTY_VALUE(REAL_VALUE(17.0). #90);
#3328=PROPERTY_VALUE(REAL_VALUE(3.0). #100);
#3329=PROPERTY_VALUE(REAL_VALUE(25.5). #110);
#3322=PROPERTY_VALUE(INTEGER_VALUE(3). #170);
#3323=PROPERTY_VALUE(INTEGER_VALUE(1). #150);
#3324=PROPERTY_VALUE(INTEGER_VALUE(2), #160);
#3325=PROPERTY_VALUE(INTEGER_VALUE(1). #200);
#3326=PROPERTY_VALUE(INTEGER_VALUE(0). #210);
#3327=PROPERTY_VALUE{#2503. #180);
#3330=LIB_F_MODEL_INSTANCE(#130. (#3331. #3338. #3339. #3332. #3333.
#3334. #3335. #3336. #3337), ());
#3331=PROPERTY_VALUE(REAL_VALUE(17.0), #90):
#3338=PROPERTY_VALUE(REAL_VALUE(3.0). #100):
#3339=PROPERTY_VALUE(REAL_VALUE(25.5). #110);
#3332=PROPERTY_VALUE(INTEGER_VALUE(4). #170);
#3333=PROPERTY_VALUE(INTEGER_VALUE(1). #150);
#3334=PROPERTY_VALUE(INTEGER_VALUE(2), #160);
#3335=PROPERTY_VALUE(INTEGER_VALUE(1). #200);
#3336=PROPERTY_VALUE(INTEGER_VALUE(0). #210):
#3337=PROPERTY_VALUE(#2504. #180):
#3340=LIB_F_MODEL_INSTANCE(#130, (#3341. #3348. #3349. #3342. #3343.
#3344. #3345. #3346. #3347). ());
#3341 =PROPERTY_VALUE(REAL_VALUE( 17.0). #90);
#3348=PROPERTY_VALUE{REAL_VALUE(3.0), #100);
#3349=PROPERTY_VALUE(REAL_VALUE(25.5). #110);
#3342=PROPERTY_VALUE(INTEGER_VALUE(5). #170);
#3343=PROPERTY_VALUE(INTEGER_VALUE(1), #150);
#3344=PROPERTY_VALUE{INTEGER_VALUE(2), #160);
#3345=PROPERTY_VALUE(INTEGER_VALUE(1). #200);
#3346=PROPERTY_VALUE(INTEGER_VALUE(0), #210);
#3347=PROPERTY_VALUE{#2505. #180);
#3350=LIB_F_MOOEL_INSTANCE(#130. (#3351. #3358. #3359. #3352. #3353.
#3354. #3355. #3356. #3357), ());
#3351 =PROPERTY_VALUE(REAL_VALUE(17.0), #90);
#3358=PROPERTY_VALUE(REAL_VALUE(3.0). #100);
69