ГОСТ Р ИСО 13584-25—2010
#3105=PROPERTY_VALUE(INTEGER_VALUE(1), #200):
#3106=PROPERTY_VALUE{INTEGER_VALUE(0), #210):
#3107=PROPERTY_VALUE(#2501, #180);
#3110=LIB_F_MODEL_INSTANCE(#130, (#3111. #3118. #3119. #3112. #3113.
#3114. #3115. #3116. #3117). ()):
#3111=PROPERTY_VALUE(REAL_VALUE(11.0). #90):
#3118=PROPERTY_VALUE(REAL_VALUE(1.0), #100);
#3119=PROPERTY_VALUE(REAL_VALUE{16.5). #110);
#3112=PROPERTY_VALUE(INTEGER_VALUE(2), #170):
#3113=PROPERTY_VALUE(INTEGER_VALUE(1), #150):
#3114=PROPERTY_VALUE(INTEGER_VALUE{2). #160);
#3115=PROPERTY_VALUE(INTEGER_VALUE(1). #200);
#3116=PROPERTY_VALUE(INTEGER_VALUE{0). #210);
#3117=PROPERTY_VALUE(#2502. #180);
#3120=LIB_F_MODELJNSTANCE(#130. (#3121. #3128. #3129. #3122. #3123.
#3124. #3125. #3126. #3127), ()):
#3121=PROPERTY_VALUE(REAL_VALUE(11.0). #90);
#3128=PROPERTY_VALUE(REAL_VALUE(1.0), #100);
#3129=PROPERTY_VALUE(REAL_VALUE(16.5). #110);
#3122=PROPERTY_VALUE(INTEGER_VALUE(3), #170);
#3123=PROPERTY_VALUE(INTEGER_VALUE<1). #150);
#3124=PROPERTY_VALUE(INTEGER_VALUE(2), #160);
#3125=PROPERTY_VALUE(INTEGER_VALUE(1). #200);
#3126=PROPERTY_VALUE(INTEGER_VALUE(0), #210);
#3127=PROPERTY_VALUE{#2503. #180);
#3130=LIB_F_MODEL_INSTANCE(#130. (#3131, #3138. #3139. #3132. #3133.
#3134. #3135, #3136. #3137). ());
#3131 =PROPERTY_VALUE(REAL_VALUE(11.0). #90);
#3138=PROPERTY_VALUE(REAL_VALUE(1.0), #100);
#3139=PROPERTY_VALUE(REAL_VALUE(16.5). #110);
#3132=PROPERTY_VALUE(INTEGER_VALUE(4), #170);
#3133=PROPERTY_VALUE{INTEGER_VALUE(1). #150);
#3134=PROPERTY_VALUE(INTEGER_VALUE(2). #160);
#3135=PROPERTY_VALUE(INTEGER_VALUE(1). #200);
#3136=PROPERTY_VALUE(INTEGER_VALUE(0), #210);
#3137=PROPERTY_VALUE(#2504. #180);
#3140=LIB_F_MODEL_INSTANCE(#130. (#3141. #3148. #3149. #3142. #3143.
#3144. #3145. #3146. #3147). ()):
#3141 =PROPERTY_VALUE(REAL_VALUE(11.0). #90);
#3148=PROPERTY_VALUE{REAL_VALUE(1.0). #100);
#3149=PROPERTY_VALUE(REAL_VALUE(16.5). #110);
#3142=PROPERTY_VALUE(INTEGER_VALUE(5). #170);
#3143=PROPERTY_VALUE(INTEGER_VALUE(1). #150);
#3144=PROPERTY_VALUE(INTEGER_VALUE(2). #160);
#3145=PROPERTY_VALUE(INTEGER_VALUE(1). #200);
#3146=PROPERTY_VALUE(!NTEGER_VALUE(0). #210);
#3147=PROPERTY_VALUE{#2505. #180);
#3150=LIB_F_MODEL_INSTANCE(#130. (#3151. #3158. #3159, #3152. #3153.
#3154. #3155. #3156. #3157). {)):
#3151=PROPERTY_VALUE(REAL_VALUE(11.0). #90);
#3158=PROPERTY_VALUE(REAL_VALUE( 1.0). #100);
#3159=PROPERTY_VALUE(REAL_VALUE(16.5). #110);
#3152=PROPERTY_VALUE(INTEGER_VALUE(6). #170);
#3153=PROPERTY_VALUE{INTEGER_VALUE(1). #150);
#3154=PROPERTY_VALUE(INTEGER_VALUE(2). #160);
#3155=PROPERTY_VALUE(INTEGER_VALUE(1). #200);
#3156=PROPERTY_VALUE(INTEGER_VALUE(0), #210);
#3157=PROPERTY_VALUE(#2506. #180);
#3200=LIB_F_MODEL_INSTANCE(#130, (#3201. #3208. #3209. #3202. #3203.
#3204. #3205. #3206, #3207). ());
#3201 =PROPERTY_VALUE(REAL_VALUE(13.0). #90);
67