ГОСТ Р ИСО 13584-25—2010
#3011 =PROPERTY_VALUE(REAL_VALUE(10.0). #90);
#3018=PROPERTY_VALUE(REAL_VALUE(1.0). #100):
#3019=PROPERTY_VALUE(REAL_VALUE(15.0). #110);
#3012=PROPERTY_VALUE(INTEGER_VALUE(2). #170);
#3013=PROPERTY_VALUE(INTEGER_VALUE(1). #150);
#3014=PROPERTY_VALUE{INTEGER_VALUE(2). #160);
#3015=PROPERTY_VALUE(INTEGER_VALUE(1). #200);
#3016=PROPERTY_VALUE(INTEGER_VALUE(0). #210);
#3017=PROPERTY_VALUE(#2502. #180);
#3020=LIB_F_MODEL_INSTANCE(#130, (#3021. #3028. #3029. #3022. #3023.
#3024. #3025. #3026. #3027). ());
#3021=PROPERTY_VALUE(REAL_VALUE(10.0). #90);
#3028=PROPERTY_VALUE(REAL_VALUE(1.0), #100):
#3029=PROPERTY_VALUE(REAL_VALUE(15.0). #110);
#3Q22=PROPERTY_VALUE(INTEGER_VALUE(3), #170);
#3023=PROPERTY_VALUE(INTEGER_VALUE(1), #150);
#3024=PROPERTY_VALUE(INTEGER_VALUE(2), #160);
#3025=PROPERTY_VALUE(INTEGER_VALUE(1), #200);
#3026=PROPERTY_VALUE(INTEGER_VALUE(0). #210);
#3027=PROPERTY_VALUE(#2503, #180);
#3030=LIB_F_MODEL_INSTANCE(#130. (#3031. #3038. #3039. #3032. #3033.
#3034. #3035. #3036. #3037). ());
#3031 =PROPERTY_VALUE(REAL_VALUE(10.0). #90);
#3038=PROPERTY_VALUE(REAL_VALUE(1.0). #100);
#3039=PROPERTY_VALUE(REAL_VALUE(15.0). #110);
#3032=PROPERTY_VALUE(INTEGER_VALUE(4), #170);
#3033=PROPERTY_VALUE(INTEGER_VALUE{1). #150);
#3034=PROPERTY_VALUE(INTEGER_VALUE(2). #160);
#3035=PROPERTY_VALUE(INTEGER_VALUE(1). #200);
#3036=PROPERTY_VALUE(INTEGER_VALUE(0). #210);
#3037=PROPERTY_VALUE(#2504. #180);
#3040=LIB_F_MODEL_INSTANCE(#130. (#3041. #3048. #3049. #3042. #3043.
#3044. #3045. #3046. #3047). ());
#3041 =PROPERTY_VALUE(REAL_VALUE(10.0). #90):
#3048=PROPERTY_VALUE(REAL_VALUE(1.0), #100);
#3049=PROPERTY_VALUE(REAL_VALUE(15.0). #110);
#3042=PROPERTY_VALUE(INTEGER_VALUE(5), #170);
#3043=PROPERTY_VALUE(INTEGER_VALUE(1). #150);
#3044=PROPERTY_VALUE(INTEGER_VALUE(2), #160):
#3045=PROPERTY_VALUE(INTEGER_VALUE{1). #200);
#3046=PROPERTY_VALUE(INTEGER_VALUE(0), #210):
#3047=PROPERTY_VALUE(#2505. #180);
#3050=LIB_F_MODEL_INSTANCE(#130. (#3051. #3058. #3059. #3052. #3053.
#3054. #3055. #3056. #3057), ());
#3051 =PROPERTY_VALUE(REAL_VALUE(10.0). #90);
#3058=PROPERTY_VALUE(REAL_VALUE(1.0). #100):
#3059=PROPERTY_VALUE(REAL_VALUE(15.0). #110);
#3052=PROPERTY_VALUE(INTEGER_VALUE<6). #170);
#3053=PROPERTY_VALUE(INTEGER_VALUE(1), #150);
#3054=PROPERTY_VALUE(INTEGER_VALUE(2). #160);
#3055=PROPERTY_VALUE(INTEGER_VALUE(1), #200);
#3056=PROPERTY_VALUE(INTEGER_VALUE(0). #210);
#3057=PROPERTY_VALUE(#2506, #180);
#3100=LIB_F_MODELJNSTANCE(#130, (#3101, #3108. #3109. #3102. #3103.
#3104. #3105. #3106. #3107). {));
#3101 =PROPERTY_VALUE(REAL_VALUE(11.0). #90);
#3108=PROPERTY_VALUE(REAL_VALUE( 1.0). #100);
#3109=PROPERTY_VALUE(REAL_VALUE(16.5). #110);
#3102=PROPERTY_VALUE(INTEGER_VALUE<1), #170);
#3103=PROPERTY_VALUE(INTEGER_VALUE(1). #150);
#3104=PROPERTY_VALUE(INTEGER_VALUE(2). #160);
66