ГОСТ Р ИСО 13584-25—2010
#3359=PROPERTY_VALUE(REAL_VALUE(25.5). #110);
#3352=PROPERTY_VALUE{INTEGER_VALUE(6), #170):
#3353=PROPERTY_VALUE(INTEGER_VALUE(1). #150);
#3354=PROPERTY_VALUE(INTEGER_VALUE(2), #160);
#3355=PROPERTY_VALUE(INTEGER_VALUE{1). #200);
#3356=PROPERTY_VALUE{INTEGER_VALUE(0), #210);
#3357=PROPERTY_VALUE(#2506. #180);
#3400=LIB_F_MODEL_INSTANCE(#130, (#3401. #3408. #3409. #3402. #3403.
#3404. #3405, #3406. #3407), {));
#3401=PROPERTY_VALUE(REAL_VALUE(19.0), #90);
#3408=PROPERTY_VALUE{REAL_VALUE(4.0), #100);
#3409=PROPERTY_VALUE(REAL_VALUE(28.5). #110);
#3402=PROPERTY_VALUE(INTEGER_VALUE(1). #170);
#3403=PROPERTY_VALUE(INTEGER_VALUE(1), #150);
#3404=PROPERTY_VALUE(INTEGER_VALUE(2), #160);
#3405=PROPERTY_VALUE(INTEGER_VALUE(1), #200);
#3406=PROPERTY_VALUE(INTEGER_VALUE(0). #210);
#3407=PROPERTY_VALUE(#2501, #180);
#3410=LIB_F_MODEL_INSTANCE(#130. (#3411, #3418. #3419. #3412. #3413.
#3414. #3415. #3416, #3417). ());
#3411=PROPERTY_VALUE(REAL_VALUE(19.0). #90):
#3418=PROPERTY_VALUE(REAL_VALUE(4.0). #100);
#3419=PROPERTY_VALUE(REAL_VALUE<28.5). #110);
#3412=PROPERTY_VALUE(INTEGER_VALUE(2). #170);
#3413=PROPERTY_VALUE(INTEGER_VALUE(1). #150);
#3414=PROPERTY_VALUE(INTEGER_VALUE(2). #160);
#3415=PROPERTY_VALUE(INTEGER_VALUE(1), #200);
#3416=PROPERTY_VALUE(INTEGER_VALUE(0). #210);
#3417=PROPERTY_VALUE(#2502. #180);
#3420=LIB_F_MODELJNSTANCE(#130. (#3421. #3428. #3429. #3422. #3423.
#3424. #3425. #3426. #3427). ());
#3421=PROPERTY_VALUE(REAL_VALUE(19.0). #90);
#3428=PROPERTY_VALUE(REAL_VALUE(4.0), #100);
#3429=PROPERTY_VALUE(REAL_VALUE{28.5). #110);
#3422=PROPERTY_VALUE(INTEGER_VALUE(3). #170);
#3423=PROPERTY_VALUE(INTEGER_VALUE(1). #150);
#3424=PROPERTY_VALUE{iNTEGER_VALUE(2). #160);
#3425=PROPERTY_VALUE(INTEGER_VALUE(1), #200);
#3426=PROPERTY_VALUE(INTEGER_VALUE(0), #210);
#3427=PROPERTY_VALUE(#2503. #180):
#3430=LIB_F_MODEL_INSTANCE(#130. (#3431. #3438. #3439. #3432. #3433.
#3434. #3435, #3436. #3437). ());
#3431 =PROPERTY_VALUE(REAL_VALUE(19.0). #90);
#3438=PROPERTY_VALUE(REAL_VALUE(4.0). #100);
#3439=PROPERTY_VALUE(REAL_VALUE(28.5). #110);
#3432=PROPERTY_VALUE(INTEGER_VALUE(4). #170);
#3433=PROPERTY_VALUE(INTEGER_VALUE(1), #150);
#3434=PROPERTY_VALUE{INTEGER_VALUE(2), #160);
#3435=PROPERTY_VALUE(INTEGER_VALUE(1), #200);
#3436=PROPERTY_VALUE(INTEGER_VALUE(0). #210);
#3437=PROPERTY_VALUE(#2504. #180);
#3440=LIB_F_MODEL_INSTANCE(#130. (#3441, #3448. #3449, #3442. #3443.
#3444. #3445. #3446. #3447). {));
#3441 =PROPERTY_VALUE(REAL_VALUE(19.0), #90);
#3448=PROPERTY_VALUE(REAL_VALUE(4.0), #100);
#3449=PROPERTY_VALUE(REAL_VALUE(28.5). #110);
#3442=PROPERTY_VALUE(INTEGER_VALUE(5). #170);
#3443=PROPERTY_VALUE{INTEGER_VALUE(1), #150);
#3444=PROPERTY_VALUE(INTEGER_VALUE(2), #160);
#3445=PROPERTY_VALUE(INTEGER_VALUE(1). #200);
#3446=PROPERTY_VALUE(INTEGER_VALUE(0), #210);
70