ГОСТ Р ИСО 13584-25—2010
#3208=PROPERTY_VALUE(REAL_VALUE(2.0), #100);
#3209=PROPERTY_VALUE(REAL_VALUE(19.5). #110);
#3202=PROPERTY_VALUE(INTEGER_VALUE(1). #170);
#3203=PROPERTY_VALUE(INTEGER_VALUE(1). #150);
#3204=PROPERTY_VALUE(INTEGER_VALUE(2). #160);
#3205=PROPERTY_VALUE(INTEGER_VALUE(1). #200);
#3206=PROPERTY_VALUE{INTEGER_VALUE(0). #210);
#3207=PROPERTY_VALUE(#2501. #180);
#3210=LIB_F_MOOEL_INSTANCE(#130. (#3211. #3218. #3219. #3212. #3213,
#3214. #3215. #3216. #3217), ());
#3211=PROPERTY_VALUE(REAL_VALUE(13.0). #90);
#3218=PROPERTY_VALUE(REAL_VALUE(2.0), #100);
#3219=PROPERTY_VALUE(REAL_VALUE(19.5). #110);
#3212=PROPERTY_VALUE(INTEGER_VALUE(2), #170);
#3213=PROPERTY_VALUE(INTEGER_VALUE(1), #150);
#3214=PROPERTY_VALUE(INTEGER_VALUE(2), #160);
#3215=PROPERTY_VALUE(INTEGER_VALUE(1). #200);
#3216=PROPERTY_VALUE(INTEGER_VALUE(0). #210);
#3217=PROPERTY_VALUE(#2502. #180);
#3220=LIB_F_MODEL_INSTANCE(#130. (#3221, #3228. #3229. #3222. #3223.
#3224. #3225. #3226, #3227). ());
#3221 =PROPERTY_VALUE(REAL_VALUE(13.0). #90);
#3228=PROPERTY_VALUE(REAL_VALUE(2.0), #100);
#3229=PROPERTY_VALUE(REAL_VALUE(19.5). #110);
#3222=PROPERTY_VALUE(INTEGER_VALUE(3), #170);
#3223=PROPERTY_VALUE(INTEGER_VALUE(1). #150);
#3224=PROPERTY_VALUE(INTEGER_VALUE(2). #160);
#3225=PROPERTY_VALUE(INTEGER_VALUE(1), #200);
#3226=PROPERTY_VALUE(INTEGER_VALUE(0). #210);
#3227=PROPERTY_VALUE(#2503. #180);
#3230=LIB_F_MODEL_INSTANCE(#130, (#3231. #3238. #3239. #3232. #3233.
#3234. #3235. #3236. #3237). ());
#3231 =PROPERTY_VALUE(REAL_VALUE(13.0). #90);
#3238=PROPERTY_VALUE(REAL_VALUE(2.0), #100);
#3239=PROPERTY_VALUE(REAL_VALUE(19.5). #110);
#3232=PROPERTY_VALUE(INTEGER_VALUE(4). #170);
#3233=PROPERTY_VALUE(INTEGER_VALUE(1), #150);
#3234=PROPERTY_VALUE(INTEGER_VALUE(2). #160);
#3235=PROPERTY_VALUE(INTEGER_VALUE(1). #200);
#3236=PROPERTY_VALUE(INTEGER_VALUE(0). #210);
#3237=PROPERTY_VALUE(#2504. #180);
#3240=LIB_F_MODEL_INSTANCE(#130. (#3241. #3248. #3249. #3242. #3243.
#3244. #3245. #3246. #3247). ());
#3241 =PROPERTY_VALUE(REAL_VALUE(13.0). #90);
#3248=PROPERTY_VALUE(REAL_VALUE(2.0). #100):
#3249=PROPERTY_VALUE(REAL_VALUE(19.5). #110);
#3242=PROPERTY_VALUE(INTEGER_VALUE(5), #170);
#3243=PROPERTY_VALUE(INTEGER_VALUE(1). #150);
#3244=PROPERTY_VALUE(INTEGER_VALUE(2). #160);
#3245=PROPERTY_VALUE(INTEGER_VALUE(1), #200);
#3246=PROPERTY_VALUE(INTEGER_VALUE(0). #210);
#3247=PROPERTY_VALUE(#2505. #180);
#3250=LIB_F_MODEL_INSTANCE(#130. (#3251. #3258. #3259. #3252. #3253.
#3254. #3255. #3256. #3257), ());
#3251 =PROPERTY_VALUE(REAL_VALUE(13.0). #90);
#3258=PROPERTY_VALUE(REAL_VALUE(2.0). #100);
#3259=PROPERTY_VALUE(REAL_VALUE(19.5). #110);
#3252=PROPERTY_VALUE(1NTEGER_VALUE(6). #170);
#3253=PROPERTY_VALUE(INTEGER_VALUE(1). #150);
#3254=PROPERTY_VALUE(INTEGER_VALUE(2). #160);
#3255=PROPERTY_VALUE(INTEGER_VALUE(1). #200);
68