Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_10_Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.VAV.SetPoints.Validation.FreezeProtection.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 10.1.1-maint.10.0.x/package.mo", uses=false) Using package Buildings with version 10.1.1 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 10.1.1-maint.10.0.x/package.mo) Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo) Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo) Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo) Running command: translateModel(Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.VAV.SetPoints.Validation.FreezeProtection,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|frePro.uOutDamPosMin|frePro.uOutDam|frePro.yOutDam|frePro.uHeaCoi|frePro.yHeaCoi|frePro.yCooCoi|frePro.uRetDam|frePro.yRetDam|frePro.uSupFan|frePro.ySupFan|frePro.yAla|frePro.yHotWatPlaReq|frePro.TAirSup|frePro.yFreProSta|frePro.u1SofSwiRes",fileNamePrefix="Buildings_10_Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.VAV.SetPoints.Validation.FreezeProtection") translateModel(Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.VAV.SetPoints.Validation.FreezeProtection,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|frePro.uOutDamPosMin|frePro.uOutDam|frePro.yOutDam|frePro.uHeaCoi|frePro.yHeaCoi|frePro.yCooCoi|frePro.uRetDam|frePro.yRetDam|frePro.uSupFan|frePro.ySupFan|frePro.yAla|frePro.yHotWatPlaReq|frePro.TAirSup|frePro.yFreProSta|frePro.u1SofSwiRes",fileNamePrefix="Buildings_10_Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.VAV.SetPoints.Validation.FreezeProtection") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001677/0.001677, allocations: 113.4 kB / 16.42 MB, free: 6.523 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.001788/0.001788, allocations: 182 kB / 17.35 MB, free: 5.746 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.45/1.45, allocations: 222.9 MB / 241.1 MB, free: 15.14 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 10.1.1-maint.10.0.x/package.mo): time 2.555/2.555, allocations: 437 MB / 0.7111 GB, free: 4.422 MB / 0.5762 GB Notification: Performance of FrontEnd - Absyn->SCode: time 2.521e-05/2.537e-05, allocations: 2.281 kB / 1.019 GB, free: 9.41 MB / 0.795 GB Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.VAV.SetPoints.Validation.FreezeProtection): time 0.00902/0.009061, allocations: 6.032 MB / 1.025 GB, free: 3.344 MB / 0.795 GB Notification: Performance of NFInst.instExpressions: time 0.007564/0.01666, allocations: 2.651 MB / 1.028 GB, free: 0.6836 MB / 0.795 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.001711/0.0184, allocations: 39.88 kB / 1.028 GB, free: 0.6445 MB / 0.795 GB Notification: Performance of NFTyping.typeComponents: time 0.00127/0.01968, allocations: 384.6 kB / 1.028 GB, free: 272 kB / 0.795 GB Notification: Performance of NFTyping.typeBindings: time 0.001262/0.02096, allocations: 221.8 kB / 1.028 GB, free: 48 kB / 0.795 GB Notification: Performance of NFTyping.typeClassSections: time 0.003185/0.02425, allocations: 1.051 MB / 1.029 GB, free: 15 MB / 0.8106 GB Notification: Performance of NFFlatten.flatten: time 0.004127/0.02838, allocations: 2.697 MB / 1.032 GB, free: 12.29 MB / 0.8106 GB Notification: Performance of NFFlatten.resolveConnections: time 0.004514/0.03291, allocations: 2.064 MB / 1.034 GB, free: 10.16 MB / 0.8106 GB Notification: Performance of NFEvalConstants.evaluate: time 0.001741/0.03467, allocations: 0.8801 MB / 1.035 GB, free: 9.277 MB / 0.8106 GB Notification: Performance of NFSimplifyModel.simplify: time 0.00158/0.03626, allocations: 0.8945 MB / 1.036 GB, free: 8.379 MB / 0.8106 GB Notification: Performance of NFPackage.collectConstants: time 0.0008097/0.03708, allocations: 284 kB / 1.036 GB, free: 8.102 MB / 0.8106 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0007962/0.03789, allocations: 316 kB / 1.036 GB, free: 7.793 MB / 0.8106 GB Notification: Performance of combineBinaries: time 0.002981/0.04089, allocations: 2.754 MB / 1.039 GB, free: 5.008 MB / 0.8106 GB Notification: Performance of replaceArrayConstructors: time 0.00177/0.04267, allocations: 1.623 MB / 1.041 GB, free: 3.359 MB / 0.8106 GB Notification: Performance of NFVerifyModel.verify: time 0.0007935/0.04348, allocations: 315 kB / 1.041 GB, free: 3.051 MB / 0.8106 GB Notification: Performance of FrontEnd: time 0.0007169/0.0442, allocations: 142.7 kB / 1.041 GB, free: 2.91 MB / 0.8106 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 403 (397) * Number of variables: 395 (389) Notification: Performance of Bindings: time 0.01081/0.05502, allocations: 8.587 MB / 1.049 GB, free: 10.09 MB / 0.8262 GB Notification: Performance of FunctionAlias: time 0.00103/0.05607, allocations: 0.7733 MB / 1.05 GB, free: 9.305 MB / 0.8262 GB Notification: Performance of Early Inline: time 0.008256/0.06434, allocations: 6.623 MB / 1.057 GB, free: 2.621 MB / 0.8262 GB Notification: Performance of simplify1: time 0.0007745/0.06516, allocations: 355.4 kB / 1.057 GB, free: 2.273 MB / 0.8262 GB Notification: Performance of Alias: time 0.01595/0.08112, allocations: 11.04 MB / 1.068 GB, free: 6.234 MB / 0.8419 GB Notification: Performance of simplify2: time 0.0005723/0.08175, allocations: 235.6 kB / 1.068 GB, free: 6.004 MB / 0.8419 GB Notification: Performance of Detect States: time 0.002548/0.08431, allocations: 1.809 MB / 1.07 GB, free: 4.164 MB / 0.8419 GB Notification: Performance of Events: time 0.00218/0.0865, allocations: 1.403 MB / 1.071 GB, free: 2.727 MB / 0.8419 GB Notification: Performance of Partitioning: time 0.002167/0.08868, allocations: 1.645 MB / 1.073 GB, free: 0.9688 MB / 0.8419 GB Error: Internal error NBSorting.tarjan failed to sort system: system vars Variables (229/239) ********************************* (1) [ALGB] (1) Real retDamPos.y (2) [ALGB] (1) Real frePro.heaCoiCon1.P.u (3) [ALGB] (1) protected flow Real frePro.holSta2.stateGraphRoot.subgraphStatePort.activeSteps (4) [DISC] (1) Boolean $SEV_28 (5) [ALGB] (1) Real frePro.supFan.y (6) [DISC] (1) Boolean $SEV_27 (7) [DISC] (1) Boolean $SEV_26 (8) [DISS] (1) protected discrete Real frePro.tim1.entryTime (9) [DISC] (1) Boolean $SEV_25 (10) [DISC] (1) Boolean $SEV_24 (11) [DISC] (2) protected Boolean[2] frePro.holSta2.outputTrue.inPort.set (12) [DISC] (1) Boolean $SEV_23 (13) [DISC] (1) Boolean $SEV_22 (14) [DISC] (1) Boolean $SEV_21 (15) [DISC] (1) Boolean $SEV_20 (16) [ALGB] (1) protected Real frePro.heaCoiCon1.antWinGai.y (17) [DISC] (1) protected Boolean[1] frePro.holSta2.outputTrue.outPort.available (18) [ALGB] (1) Real frePro.heaCoiPos.u1 (19) [DISC] (1) Boolean $TEV_39 (20) [DISC] (1) protected Boolean frePro.holSta2.toTrue.outPort.set (21) [DISC] (1) Boolean $TEV_37 (22) [DISC] (1) Boolean $TEV_36 (23) [DISC] (1) Boolean $TEV_35 (24) [DISC] (1) Boolean $TEV_33 (25) [DISC] (1) protected Boolean frePro.holSta2.toFalse.outPort.set (26) [ALGB] (1) Real frePro.heaCoiMod.lim.u (27) [DISC] (1) protected Boolean frePro.holSta2.outputFalse.outerStatePort.localActive = frePro.holSta2.outputFalse.outerStatePort.localActive (28) [DISC] (1) Boolean $TEV_32 (29) [DISC] (1) Boolean $TEV_31 (30) [DISC] (1) Boolean $TEV_30 (31) [DISS] (1) protected Boolean frePro.holSta2.onDel2.y (32) [DISC] (1) Boolean $SEV_19 (33) [ALGB] (1) protected Real frePro.heaCoiCon1.addPD.u1 (34) [DISC] (1) Boolean $SEV_18 (35) [DISC] (1) Boolean $SEV_17 (36) [DISC] (2) protected Boolean[2] frePro.holSta2.outputFalse.inPort.occupied (37) [DISC] (1) Boolean $SEV_16 (38) [DISC] (1) Boolean $SEV_15 (39) [DISC] (1) Boolean $SEV_14 (40) [ALGB] (1) Real frePro.heaCoiMod.I.u (41) [DISC] (1) Boolean $SEV_13 (42) [DISC] (1) Boolean $SEV_12 (43) [DISC] (1) Boolean $SEV_11 (44) [DISS] (1) protected Boolean frePro.holSta2.initialStep.oldActive (45) [DISS] (1) Boolean frePro.supFan.u2 (46) [ALGB] (1) Real cooCoiPos.y (47) [ALGB] (1) Real frePro.outDam2.y (48) [DISS] (1) protected discrete Real frePro.tim.entryTime (49) [DISC] (1) protected Boolean frePro.holSta2.toFalse.inPort.available (50) [DISS] (1) Boolean frePro.tim5.passed (51) [ALGB] (1) Real frePro.minOutDam.y (52) [ALGB] (1) Real frePro.tim3.y (53) [DISC] (1) Boolean $TEV_28 (54) [DISC] (1) protected final Boolean frePro.holSta2.toFalse.localCondition = frePro.holSta2.toFalse.localCondition (55) [DISC] (1) protected Boolean frePro.holSta2.toFalse1.outPort.set (56) [DISC] (1) Boolean $TEV_26 (57) [DISC] (1) Integer frePro.intSwi2.y (58) [DISC] (1) Boolean $TEV_25 (59) [DISC] (1) Boolean $TEV_24 (60) [DISC] (1) Boolean $TEV_23 (61) [DISC] (1) Boolean $TEV_22 (62) [DISC] (1) Boolean $TEV_21 (63) [DISC] (1) Boolean $TEV_20 (64) [DISS] (1) protected Real frePro.holSta2.onDel1.t_next (65) [DISS] (1) Boolean frePro.tim.passed (66) [DISC] (1) protected Boolean frePro.holSta2.initialStep.newActive (67) [ALGB] (1) Real frePro.retDam2.y (68) [ALGB] (1) Real frePro.outDam.y (69) [ALGB] (1) protected Real frePro.heaCoiMod.antWinGai.y (70) [DISC] (1) Integer frePro.hotWatPlaReq3.y (71) [DISC] (2) Boolean[2] $SEV_29[$i1] (72) [DISC] (1) Boolean $FUN_6 (73) [ALGB] (1) Real supTem.y (74) [DISC] (1) Boolean $FUN_4 (75) [ALGB] (1) Real frePro.heaCoi1.y (76) [ALGB] (1) Real frePro.heaCoiCon1.I.u (77) [DISC] (1) Boolean $FUN_3 (78) [DISC] (1) Boolean $TEV_19 (79) [ALGB] (1) Real heaCoiPos.y (80) [DISC] (1) Boolean $FUN_2 (81) [DISC] (2) Boolean[2] $SEV_35[$i1] (82) [DISC] (1) Boolean $TEV_18 (83) [DISC] (1) Boolean $FUN_1 (84) [DISC] (1) Boolean $TEV_17 (85) [DISC] (1) Boolean $TEV_16 (86) [DISS] (1) Boolean frePro.tim3.passed (87) [DISC] (1) Boolean $TEV_15 (88) [ALGB] (1) Real frePro.heaCoiCon1.controlError.y (89) [ALGB] (1) Real outDamPos.y (90) [DISC] (1) Boolean $TEV_14 (91) [ALGB] (1) Real frePro.cooCoi.y (92) [DISC] (1) Boolean $TEV_13 (93) [DISC] (1) Boolean $TEV_12 (94) [ALGB] (1) protected Real frePro.heaCoiMod.addPD.u1 (95) [DISC] (1) protected Boolean frePro.holSta2.outputTrue.outerStatePort.localActive = frePro.holSta2.outputTrue.outerStatePort.localActive (96) [DISC] (2) Boolean[2] $SEV_30[$i1] (97) [DISS] (1) protected final Boolean frePro.holSta2.toTrue1.localCondition = frePro.holSta2.toTrue1.localCondition (98) [DISC] (1) protected Boolean[1] frePro.holSta2.outputFalse.outPort.available (99) [DISC] (1) Boolean frePro.tim.u (100) [DISC] (1) protected Integer frePro.holSta2.stateGraphRoot.activeSteps (101) [ALGB] (1) Real frePro.tim.y (102) [ALGB] (1) Real frePro.heaCoiMod.controlError.y (103) [DISC] (1) protected Boolean frePro.holSta2.initialStep.outerStatePort.localActive = frePro.holSta2.initialStep.outerStatePort.localActive (104) [DISC] (1) protected Boolean frePro.holSta2.toTrue1.inPort.available (105) [ALGB] (1) Real frePro.tim2.y (106) [ALGB] (1) Real frePro.minOutDam2.y (107) [DISC] (1) Boolean frePro.tim2.u (108) [ALGB] (1) Real frePro.retDam.y (109) [DISC] (1) Integer frePro.intSwi1.y (110) [ALGB] (1) protected flow Real frePro.holSta2.outputTrue.outerStatePort.subgraphStatePort.activeSteps (111) [DISC] (1) Boolean frePro.or2.y (112) [DISC] (1) Integer frePro.intSwi5.y (113) [DISS] (1) Boolean frePro.tim1.passed (114) [ALGB] (1) Real frePro.uSupFan (min = 0.0, max = 1.0) (115) [DER-] (1) Real $DER.frePro.heaCoiMod.addPID.u2 (116) [DER-] (1) Real $DER.frePro.heaCoiCon1.addPID.u2 (117) [ALGB] (1) Real frePro.minVen.y (118) [ALGB] (1) Real frePro.heaCoiCon1.errP.u2 (119) [DISC] (1) protected Boolean[1] frePro.holSta2.outputTrue.outPort.reset (120) [ALGB] (1) protected flow Real frePro.holSta2.outputFalse.outerStatePort.subgraphStatePort.activeSteps (121) [DISC] (1) protected Boolean frePro.holSta2.toTrue1.outPort.occupied (122) [DISC] (1) Boolean frePro.u1SupFan (123) [DISC] (1) Boolean $TEV_71 (124) [DISC] (1) Boolean $TEV_70 (125) [ALGB] (1) Real frePro.heaCoiPos.y (126) [ALGB] (1) Real frePro.heaCoiCon1.errI1.y (127) [DISS] (1) Boolean frePro.outDam2.u2 (128) [DISC] (1) Integer frePro.hotWatPlaReq.y (129) [DISC] (1) Boolean frePro.and2.y (130) [DISC] (2) protected Boolean[2] frePro.holSta2.initialStep.outPort.available (131) [DISC] (1) protected Boolean frePro.holSta2.toFalse1.outPort.occupied (132) [DISC] (1) Boolean frePro.lat2.clr (133) [DISC] (1) protected final Boolean frePro.holSta2.toTrue.localCondition = frePro.holSta2.toTrue.localCondition (134) [DISS] (1) Boolean freRes.y (135) [DISC] (1) Boolean $SEV_52 (136) [ALGB] (1) protected Real frePro.heaCoiMod.antWinErr.y (137) [DISC] (1) Boolean $SEV_51 (138) [DISC] (1) Boolean $SEV_50 (139) [ALGB] (1) Real frePro.tim1.y (140) [DISC] (2) protected Boolean[2] frePro.holSta2.initialStep.outPort.reset (141) [DISC] (1) Boolean frePro.tim1.u (142) [DISC] (1) protected Boolean frePro.holSta2.toFalse1.inPort.available (143) [DISC] (1) Boolean $TEV_69 (144) [DISC] (1) Boolean $TEV_68 (145) [DISC] (1) Boolean $TEV_67 (146) [DISC] (1) Boolean $TEV_66 (147) [DISC] (1) Boolean $TEV_65 (148) [ALGB] (1) Real frePro.heaCoiMod.errI1.u1 (149) [DISC] (1) Boolean $TEV_64 (150) [ALGB] (1) protected Real frePro.heaCoiCon1.antWinErr.y (151) [DISC] (1) Boolean $TEV_63 (152) [DISC] (2) Boolean[2] $SEV_38[$i1] (153) [DISC] (1) Boolean $TEV_62 (154) [ALGB] (1) Real frePro.tim5.y (155) [DISC] (1) protected Boolean frePro.holSta2.outputTrue.newActive (156) [DISC] (1) Boolean $TEV_61 (157) [DISS] (1) protected Boolean frePro.holSta2.outputFalse.oldActive (158) [DISC] (1) Boolean $TEV_60 (159) [DISS] (1) protected discrete Real frePro.tim5.entryTime (160) [ALGB] (1) Real frePro.heaCoiCon1.lim.u (161) [DISC] (1) Boolean frePro.or3.y (162) [DISC] (1) Boolean $SEV_49 (163) [DISC] (1) Integer frePro.intSwi4.y (164) [DISC] (1) Boolean $SEV_48 (165) [DISC] (1) Boolean $SEV_47 (166) [DISC] (1) protected Boolean frePro.holSta2.toTrue.inPort.available (167) [DISC] (1) Boolean $SEV_46 (168) [ALGB] (1) Real frePro.heaCoi1.u1 (169) [DISC] (1) Boolean $SEV_45 (170) [DISC] (1) Boolean $SEV_44 (171) [DISC] (1) Boolean $SEV_43 (172) [DISS] (1) Boolean frePro.tim4.passed (173) [DISC] (1) Boolean $SEV_42 (174) [ALGB] (1) protected Real frePro.heaCoiMod.addPID.u1 (175) [DISC] (1) Boolean $SEV_41 (176) [DISC] (1) Boolean $SEV_40 (177) [ALGB] (1) Real frePro.heaCoiCon1.errI1.u1 (178) [DISC] (2) protected Boolean[2] frePro.holSta2.outputTrue.inPort.occupied (179) [DISC] (1) protected Boolean frePro.holSta2.toTrue1.outPort.set (180) [DISS] (1) protected discrete Real frePro.tim4.entryTime (181) [ALGB] (1) Real frePro.heaCoiMod.P.u (182) [DISC] (1) Boolean $TEV_59 (183) [DISC] (1) Boolean $TEV_58 (184) [DISC] (1) Boolean $TEV_57 (185) [ALGB] (1) Real mixTem.y (186) [DISC] (1) Boolean $TEV_56 (187) [DISS] (1) protected Boolean frePro.holSta2.outputTrue.oldActive (188) [DISC] (1) Boolean $TEV_55 (189) [DISC] (1) Boolean frePro.endStaOne.y (190) [ALGB] (1) Real frePro.heaCoiMod.errP.u2 (191) [DISC] (1) protected Boolean frePro.holSta2.outputFalse.newActive (192) [DISC] (1) Boolean $TEV_54 (193) [DISC] (1) Boolean $TEV_53 (194) [DISC] (1) Boolean $TEV_52 (195) [DISS] (1) protected Real frePro.holSta2.onDel2.t_next (196) [DISC] (1) Boolean $TEV_51 (197) [DISC] (1) Boolean $TEV_50 (198) [ALGB] (1) protected flow Real frePro.holSta2.initialStep.outerStatePort.subgraphStatePort.activeSteps (199) [DISC] (1) Boolean $SEV_39 (200) [DISS] (1) protected discrete Real frePro.tim3.entryTime (201) [DISC] (1) Boolean $SEV_37 (202) [ALGB] (1) Real frePro.heaCoiMod.errI1.y (203) [DISC] (1) Boolean $SEV_36 (204) [DISS] (1) protected Boolean frePro.holSta2.onDel1.y (205) [DISC] (2) protected Boolean[2] frePro.holSta2.outputFalse.inPort.set (206) [DISC] (1) Boolean $SEV_34 (207) [DISC] (1) Boolean $SEV_33 (208) [ALGB] (1) Real frePro.max1.y (209) [DISC] (1) Boolean $SEV_32 (210) [DISC] (1) Boolean $SEV_31 (211) [DISC] (1) protected Boolean frePro.holSta2.toTrue.outPort.occupied (212) [DISC] (1) protected Boolean[1] frePro.holSta2.outputFalse.outPort.reset (213) [DISS] (1) protected discrete Real frePro.tim2.entryTime (214) [DISC] (1) protected Boolean frePro.holSta2.toFalse.outPort.occupied (215) [DISC] (1) Boolean $TEV_49 (216) [ALGB] (1) protected Real frePro.heaCoiCon1.addPID.u1 (217) [DISC] (1) Boolean $TEV_48 (218) [DISC] (1) Boolean $TEV_47 (219) [ALGB] (1) Real frePro.tim4.y (220) [DISC] (1) Boolean $TEV_46 (221) [DISC] (1) Boolean $TEV_45 (222) [DISS] (1) Boolean frePro.hotWatPlaReq.u2 (223) [DISC] (1) Boolean $TEV_44 (224) [DISC] (1) Boolean $TEV_43 (225) [DISC] (1) Boolean frePro.tim4.u (226) [DISC] (1) Boolean $TEV_42 (227) [DISC] (1) Boolean $TEV_41 (228) [DISC] (1) Integer frePro.intSwi3.y (229) [DISC] (1) Boolean $TEV_40 system eqns Equations (237/247) ********************************* (1) [WHEN] (1)when $SEV_40 then (1) [----] frePro.holSta2.onDel2.t_next := frePro.holSta2.onDel2.t_past (1) [----] else when not frePro.holSta2.outputTrue.outerStatePort.localActive then (1) [----] frePro.holSta2.onDel2.t_next := frePro.holSta2.onDel2.t_past (1) [----] else when frePro.holSta2.outputTrue.outerStatePort.localActive then (1) [----] frePro.holSta2.onDel2.t_next := time + frePro.holSta2.onDel2.delayTime (1) [----] else when initial() then (1) [----] frePro.holSta2.onDel2.t_next := if not frePro.holSta2.onDel2.delayOnInit then frePro.holSta2.onDel2.t_past else time + frePro.holSta2.onDel2.delayTime (1) [----] end when; (2) [WHEN] (1)when $SEV_40 then (2) [----] frePro.holSta2.onDel2.y := frePro.holSta2.outputTrue.outerStatePort.localActive (2) [----] else when not frePro.holSta2.outputTrue.outerStatePort.localActive then (2) [----] frePro.holSta2.onDel2.y := false (2) [----] else when frePro.holSta2.outputTrue.outerStatePort.localActive then (2) [----] frePro.holSta2.onDel2.y := not frePro.holSta2.onDel2.delayTime > 0.0 (2) [----] else when initial() then (2) [----] frePro.holSta2.onDel2.y := if not (frePro.holSta2.onDel2.delayOnInit and frePro.holSta2.onDel2.delayTime > 0.0) then frePro.holSta2.outputTrue.outerStatePort.localActive else false (2) [----] end when; (3) [WHEN] (1)when frePro.lat2.clr then (3) [----] frePro.outDam2.u2 := false (3) [----] else when $SEV_14 then (3) [----] frePro.outDam2.u2 := false (3) [----] else when $SEV_15 then (3) [----] frePro.outDam2.u2 := if frePro.lat2.clr then false else $PRE.frePro.outDam2.u2 (3) [----] else when $SEV_16 then (3) [----] frePro.outDam2.u2 := not frePro.lat2.clr (3) [----] else when initial() then (3) [----] frePro.outDam2.u2 := if frePro.lat2.clr then false else frePro.holSta2.outputTrue.outerStatePort.localActive (3) [----] end when; (4) [WHEN] (1)when not freRes.y then (4) [----] frePro.supFan.u2 := false (4) [----] else when $SEV_20 then (4) [----] frePro.supFan.u2 := false (4) [----] else when $SEV_21 then (4) [----] frePro.supFan.u2 := if not freRes.y then false else $PRE.frePro.supFan.u2 (4) [----] else when $SEV_22 then (4) [----] frePro.supFan.u2 := not (not freRes.y) (4) [----] else when initial() then (4) [----] frePro.supFan.u2 := if not freRes.y then false else frePro.or3.y (4) [----] end when; (5) [WHEN] (1)when $SEV_41 then (5) [----] frePro.holSta2.onDel1.y := frePro.holSta2.outputFalse.outerStatePort.localActive (5) [----] else when not frePro.holSta2.outputFalse.outerStatePort.localActive then (5) [----] frePro.holSta2.onDel1.y := false (5) [----] else when frePro.holSta2.outputFalse.outerStatePort.localActive then (5) [----] frePro.holSta2.onDel1.y := not frePro.holSta2.onDel1.delayTime > 0.0 (5) [----] else when initial() then (5) [----] frePro.holSta2.onDel1.y := if not (frePro.holSta2.onDel1.delayOnInit and frePro.holSta2.onDel1.delayTime > 0.0) then frePro.holSta2.outputFalse.outerStatePort.localActive else false (5) [----] end when; (6) [WHEN] (1)when $SEV_41 then (6) [----] frePro.holSta2.onDel1.t_next := frePro.holSta2.onDel1.t_past (6) [----] else when not frePro.holSta2.outputFalse.outerStatePort.localActive then (6) [----] frePro.holSta2.onDel1.t_next := frePro.holSta2.onDel1.t_past (6) [----] else when frePro.holSta2.outputFalse.outerStatePort.localActive then (6) [----] frePro.holSta2.onDel1.t_next := time + frePro.holSta2.onDel1.delayTime (6) [----] else when initial() then (6) [----] frePro.holSta2.onDel1.t_next := if not frePro.holSta2.onDel1.delayOnInit then frePro.holSta2.onDel1.t_past else time + frePro.holSta2.onDel1.delayTime (6) [----] end when; (7) [SCAL] (1) frePro.minOutDam.y = smooth(0, if frePro.supFan.u2 then frePro.con3.k else frePro.minOutDam2.y) ($RES_SIM_82) (8) [SCAL] (1) frePro.or3.y = $SEV_23 ($RES_SIM_122) (9) [SCAL] (1) frePro.tim2.y = if frePro.tim2.u then time - frePro.tim2.entryTime else 0.0 ($RES_SIM_208) (10) [SCAL] (1) frePro.tim5.y = if frePro.holSta2.outputTrue.outerStatePort.localActive then time - frePro.tim5.entryTime else 0.0 ($RES_SIM_83) (11) [SCAL] (1) frePro.tim4.y = if frePro.tim4.u then time - frePro.tim4.entryTime else 0.0 ($RES_SIM_123) (12) [WHEN] (1)when not frePro.tim2.u then (12) [----] frePro.tim2.entryTime := $PRE.frePro.tim2.entryTime (12) [----] else when $SEV_42 then (12) [----] frePro.tim2.entryTime := $PRE.frePro.tim2.entryTime (12) [----] else when frePro.tim2.u then (12) [----] frePro.tim2.entryTime := time (12) [----] end when; (13) [WHEN] (1)when not frePro.holSta2.outputTrue.outerStatePort.localActive then (13) [----] frePro.tim5.entryTime := $PRE.frePro.tim5.entryTime (13) [----] else when $SEV_17 then (13) [----] frePro.tim5.entryTime := $PRE.frePro.tim5.entryTime (13) [----] else when frePro.holSta2.outputTrue.outerStatePort.localActive then (13) [----] frePro.tim5.entryTime := time (13) [----] end when; (14) [WHEN] (1)when not frePro.tim4.u then (14) [----] frePro.tim4.passed := false (14) [----] else when $SEV_24 then (14) [----] frePro.tim4.passed := true (14) [----] else when frePro.tim4.u then (14) [----] frePro.tim4.passed := frePro.tim4.t <= 0.0 (14) [----] end when; (15) [WHEN] (1)when not frePro.holSta2.outputTrue.outerStatePort.localActive then (15) [----] frePro.tim5.passed := false (15) [----] else when $SEV_17 then (15) [----] frePro.tim5.passed := true (15) [----] else when frePro.holSta2.outputTrue.outerStatePort.localActive then (15) [----] frePro.tim5.passed := frePro.tim5.t <= 0.0 (15) [----] end when; (16) [WHEN] (1)when not frePro.tim4.u then (16) [----] frePro.tim4.entryTime := $PRE.frePro.tim4.entryTime (16) [----] else when $SEV_24 then (16) [----] frePro.tim4.entryTime := $PRE.frePro.tim4.entryTime (16) [----] else when frePro.tim4.u then (16) [----] frePro.tim4.entryTime := time (16) [----] end when; (17) [SCAL] (1) frePro.tim4.u = $SEV_25 ($RES_SIM_126) (18) [SCAL] (1) $TEV_71 = time < (outDamPos.startTime + outDamPos.duration) ($RES_EVT_530) (19) [SCAL] (1) frePro.tim3.y = if frePro.tim2.u then time - frePro.tim3.entryTime else 0.0 ($RES_SIM_127) (20) [WHEN] (1)when not frePro.tim2.u then (20) [----] frePro.tim3.passed := false (20) [----] else when $SEV_26 then (20) [----] frePro.tim3.passed := true (20) [----] else when frePro.tim2.u then (20) [----] frePro.tim3.passed := frePro.tim3.t <= 0.0 (20) [----] end when; (21) [WHEN] (1)when not frePro.tim2.u then (21) [----] frePro.tim3.entryTime := $PRE.frePro.tim3.entryTime (21) [----] else when $SEV_26 then (21) [----] frePro.tim3.entryTime := $PRE.frePro.tim3.entryTime (21) [----] else when frePro.tim2.u then (21) [----] frePro.tim3.entryTime := time (21) [----] end when; (22) [SCAL] (1) $SEV_11 = not $PRE.frePro.u1SupFan and frePro.uSupFan > greThr.greHys.t or $PRE.frePro.u1SupFan and frePro.uSupFan > ((-0.01) + greThr.greHys.t) ($RES_EVT_539) (23) [WHEN] (1)when not frePro.tim2.u then (23) [----] frePro.holSta2.toTrue1.localCondition := false (23) [----] else when $SEV_42 then (23) [----] frePro.holSta2.toTrue1.localCondition := true (23) [----] else when frePro.tim2.u then (23) [----] frePro.holSta2.toTrue1.localCondition := frePro.tim2.t <= 0.0 (23) [----] end when; (24) [SCAL] (1) frePro.tim2.u = $SEV_43 ($RES_SIM_211) (25) [SCAL] (1) frePro.endStaOne.y = edge(frePro.tim1.passed) ($RES_SIM_212) (26) [SCAL] (1) frePro.tim1.y = if frePro.tim1.u then time - frePro.tim1.entryTime else 0.0 ($RES_SIM_213) (27) [WHEN] (1)when not frePro.tim1.u then (27) [----] frePro.tim1.passed := false (27) [----] else when $SEV_44 then (27) [----] frePro.tim1.passed := true (27) [----] else when frePro.tim1.u then (27) [----] frePro.tim1.passed := frePro.tim1.t <= 0.0 (27) [----] end when; (28) [WHEN] (1)when not frePro.tim1.u then (28) [----] frePro.tim1.entryTime := $PRE.frePro.tim1.entryTime (28) [----] else when $SEV_44 then (28) [----] frePro.tim1.entryTime := $PRE.frePro.tim1.entryTime (28) [----] else when frePro.tim1.u then (28) [----] frePro.tim1.entryTime := time (28) [----] end when; (29) [WHEN] (1)when frePro.endStaOne.y then (29) [----] frePro.hotWatPlaReq.u2 := false (29) [----] else when $SEV_45 then (29) [----] frePro.hotWatPlaReq.u2 := false (29) [----] else when $SEV_46 then (29) [----] frePro.hotWatPlaReq.u2 := if frePro.endStaOne.y then false else $PRE.frePro.hotWatPlaReq.u2 (29) [----] else when $SEV_47 then (29) [----] frePro.hotWatPlaReq.u2 := not frePro.endStaOne.y (29) [----] else when initial() then (29) [----] frePro.hotWatPlaReq.u2 := if frePro.endStaOne.y then false else frePro.or2.y (29) [----] end when; (30) [SCAL] (1) frePro.intSwi3.y = if frePro.supFan.u2 then frePro.conInt4.k else frePro.intSwi1.y ($RES_SIM_91) (31) [SCAL] (1) frePro.tim1.u = $SEV_48 ($RES_SIM_217) (32) [SCAL] (1) frePro.heaCoiPos.y = smooth(0, if frePro.supFan.u2 then frePro.heaCoiPos.u1 else frePro.heaCoi1.y) ($RES_SIM_92) (33) [SCAL] (1) frePro.intSwi1.y = if frePro.outDam2.u2 then frePro.conInt1.k else frePro.conInt5.k ($RES_SIM_132) (34) [SCAL] (1) frePro.heaCoi1.y = smooth(0, if frePro.hotWatPlaReq.u2 then frePro.heaCoi1.u1 else heaCoiPos.y) ($RES_SIM_218) (35) [SCAL] (1) frePro.retDam2.y = smooth(0, if frePro.outDam2.u2 then frePro.con1.k else retDamPos.y) ($RES_SIM_134) (36) [SCAL] (1) frePro.minOutDam2.y = smooth(0, if frePro.outDam2.u2 then frePro.con.k else minOutDamPos.k) ($RES_SIM_135) (37) [SCAL] (1) $SEV_12 = frePro.u1SupFan and not frePro.supFan.u2 ($RES_EVT_540) (38) [SCAL] (1) frePro.outDam2.y = smooth(0, if frePro.outDam2.u2 then frePro.con.k else frePro.minVen.y) ($RES_SIM_137) (39) [SCAL] (1) $SEV_13 = frePro.tim.passed or frePro.lat2.clr ($RES_EVT_541) (40) [SCAL] (1) frePro.heaCoiMod.antWinGai.y = frePro.heaCoiMod.antWinGai.k * frePro.heaCoiMod.antWinErr.y ($RES_SIM_98) (41) [SCAL] (1) $SEV_14 = (change(frePro.lat2.clr) and $PRE.frePro.lat2.clr == true) and not frePro.holSta2.outputTrue.outerStatePort.localActive ($RES_EVT_542) (42) [SCAL] (1) frePro.heaCoiMod.antWinErr.y = frePro.heaCoiMod.lim.u - frePro.heaCoiPos.u1 ($RES_SIM_99) (43) [SCAL] (1) $SEV_15 = (not frePro.lat2.clr and change(frePro.holSta2.outputTrue.outerStatePort.localActive)) and $PRE.frePro.holSta2.outputTrue.outerStatePort.localActive == true ($RES_EVT_543) (44) [SCAL] (1) $SEV_16 = (not frePro.lat2.clr and change(frePro.holSta2.outputTrue.outerStatePort.localActive)) and $PRE.frePro.holSta2.outputTrue.outerStatePort.localActive == false ($RES_EVT_544) (45) [SCAL] (1) $SEV_17 = frePro.holSta2.outputTrue.outerStatePort.localActive and time >= (frePro.tim5.t + $PRE.frePro.tim5.entryTime) ($RES_EVT_545) (46) [SCAL] (1) $SEV_18 = frePro.heaCoiMod.lim.u > frePro.heaCoiMod.lim.uMax ($RES_EVT_546) (47) [SCAL] (1) $SEV_19 = frePro.heaCoiMod.lim.u < frePro.heaCoiMod.lim.uMin ($RES_EVT_547) (48) [SCAL] (1) $SEV_20 = (change(not freRes.y) and (not $PRE.freRes.y) == true) and not frePro.or3.y ($RES_EVT_548) (49) [SCAL] (1) $SEV_21 = (not (not freRes.y) and change(frePro.or3.y)) and $PRE.frePro.or3.y == true ($RES_EVT_549) (50) [SCAL] (1) frePro.heaCoiCon1.antWinGai.y = frePro.heaCoiCon1.antWinGai.k * frePro.heaCoiCon1.antWinErr.y ($RES_SIM_223) (51) [SCAL] (1) frePro.heaCoiCon1.antWinErr.y = frePro.heaCoiCon1.lim.u - frePro.heaCoi1.u1 ($RES_SIM_224) (52) [SCAL] (1) frePro.heaCoiCon1.lim.u = frePro.heaCoiCon1.addPID.u1 + frePro.heaCoiCon1.addPID.u2 ($RES_SIM_225) (53) [SCAL] (1) frePro.holSta2.toFalse1.outPort.set = $SEV_27 ($RES_SIM_140) (54) [SCAL] (1) frePro.heaCoiCon1.addPID.u1 = frePro.heaCoiCon1.addPD.u1 ($RES_SIM_226) (55) [SCAL] (1) frePro.heaCoiCon1.errP.u2 = frePro.heaCoiCon1.uMea_revAct.k * supTem.y ($RES_SIM_227) (56) [SCAL] (1) frePro.heaCoiCon1.errI1.u1 = frePro.heaCoiCon1.uS_revAct.k * frePro.supTemSet.k ($RES_SIM_228) (57) [SCAL] (1) $SEV_22 = (not (not freRes.y) and change(frePro.or3.y)) and $PRE.frePro.or3.y == false ($RES_EVT_550) (58) [SCAL] (1) frePro.holSta2.toTrue1.outPort.set = $SEV_28 ($RES_SIM_147) (59) [SCAL] (1) $SEV_23 = (frePro.tim3.passed or frePro.tim4.passed) or frePro.con2.k ($RES_EVT_551) (60) [SCAL] (1) $SEV_24 = frePro.tim4.u and time >= (frePro.tim4.t + $PRE.frePro.tim4.entryTime) ($RES_EVT_552) (61) [SCAL] (1) $SEV_25 = not $PRE.frePro.tim4.u and supTem.y < frePro.lesThr2.lesHys.t or $PRE.frePro.tim4.u and supTem.y < (0.25 + frePro.lesThr2.lesHys.t) ($RES_EVT_553) (62) [SCAL] (1) $SEV_26 = frePro.tim2.u and time >= (frePro.tim3.t + $PRE.frePro.tim3.entryTime) ($RES_EVT_554) (63) [SCAL] (1) $SEV_27 = (not frePro.holSta2.toTrue1.localCondition and frePro.holSta2.toFalse1.inPort.available) and not frePro.holSta2.toFalse1.outPort.occupied ($RES_EVT_555) (64) [SCAL] (1) $SEV_28 = (frePro.holSta2.toTrue1.localCondition and frePro.holSta2.toTrue1.inPort.available) and not frePro.holSta2.toTrue1.outPort.occupied ($RES_EVT_556) (65) [SCAL] (1) $TEV_12 = $PRE.frePro.u1SupFan ($RES_EVT_471) (66) [FOR-] (2) ($RES_EVT_557) (66) [----] for $i1 in 1:2 loop (66) [----] [SCAL] (1) $SEV_29[$i1] = $i1 == 1 ($RES_EVT_558) (66) [----] end for; (67) [SCAL] (1) $TEV_13 = $PRE.frePro.tim5.passed ($RES_EVT_472) (68) [SCAL] (1) $TEV_14 = $PRE.frePro.lat2.clr ($RES_EVT_473) (69) [FOR-] (2) ($RES_EVT_559) (69) [----] for $i1 in 1:2 loop (69) [----] [SCAL] (1) $SEV_30[$i1] = frePro.holSta2.initialStep.outPort[$i1 - 1].available and not frePro.holSta2.initialStep.outPort[$i1 - 1].reset ($RES_EVT_560) (69) [----] end for; (70) [SCAL] (1) $TEV_15 = $PRE.frePro.holSta2.outputTrue.outerStatePort.localActive ($RES_EVT_474) (71) [SCAL] (1) $TEV_16 = $PRE.frePro.outDam2.u2 ($RES_EVT_475) (72) [SCAL] (1) $TEV_17 = $PRE.frePro.tim5.entryTime ($RES_EVT_476) (73) [SCAL] (1) $TEV_18 = $PRE.freRes.y ($RES_EVT_477) (74) [SCAL] (1) $TEV_19 = $PRE.frePro.or3.y ($RES_EVT_478) (75) [SCAL] (1) $TEV_20 = $PRE.frePro.supFan.u2 ($RES_EVT_479) (76) [SCAL] (1) frePro.heaCoi1.u1 = homotopy(smooth(0, noEvent(if $SEV_49 then frePro.heaCoiCon1.lim.uMax else if $SEV_50 then frePro.heaCoiCon1.lim.uMin else frePro.heaCoiCon1.lim.u)), frePro.heaCoiCon1.lim.u) ($RES_SIM_230) (77) [SCAL] (1) frePro.heaCoiCon1.I.u = frePro.heaCoiCon1.errI1.y - frePro.heaCoiCon1.antWinGai.y ($RES_SIM_231) (78) [SCAL] (1) frePro.heaCoiCon1.errI1.y = frePro.heaCoiCon1.errI1.u1 - frePro.heaCoiCon1.errP.u2 ($RES_SIM_232) (79) [SCAL] (1) frePro.holSta2.initialStep.outPort[2].reset = frePro.holSta2.toFalse1.outPort.set ($RES_SIM_391) (80) [SCAL] (1) frePro.heaCoiCon1.P.u = frePro.heaCoiCon1.errI1.u1 - frePro.heaCoiCon1.errP.u2 ($RES_SIM_233) (81) [SCAL] (1) frePro.holSta2.initialStep.outPort[2].available = frePro.holSta2.toFalse1.inPort.available ($RES_SIM_392) (82) [SCAL] (1) frePro.holSta2.initialStep.outPort[1].reset = frePro.holSta2.toTrue1.outPort.set ($RES_SIM_393) (83) [SCAL] (1) $DER.frePro.heaCoiCon1.addPID.u2 = frePro.heaCoiCon1.I.k * frePro.heaCoiCon1.I.u ($RES_SIM_235) (84) [SCAL] (1) frePro.holSta2.initialStep.outPort[1].available = frePro.holSta2.toTrue1.inPort.available ($RES_SIM_394) (85) [SCAL] (1) frePro.heaCoiCon1.addPD.u1 = frePro.heaCoiCon1.P.k * frePro.heaCoiCon1.P.u ($RES_SIM_236) (86) [SCAL] (1) frePro.holSta2.toFalse1.outPort.set = frePro.holSta2.outputFalse.inPort[2].set ($RES_SIM_395) (87) [SCAL] (1) frePro.heaCoiCon1.controlError.y = frePro.supTemSet.k - supTem.y ($RES_SIM_237) (88) [FOR-] (2) ($RES_SIM_152) (88) [----] for $i1 in 1:2 loop (88) [----] [SCAL] (1) frePro.holSta2.initialStep.outPort[$i1].reset = false ($RES_SIM_153) (88) [----] end for; (89) [SCAL] (1) frePro.holSta2.toFalse1.outPort.occupied = frePro.holSta2.outputFalse.inPort[2].occupied ($RES_SIM_396) (90) [SCAL] (1) frePro.minVen.y = smooth(0, if frePro.hotWatPlaReq.u2 then outDamPosMin.k else outDamPos.y) ($RES_SIM_238) (91) [SCAL] (1) frePro.holSta2.toTrue.outPort.set = frePro.holSta2.outputTrue.inPort[2].set ($RES_SIM_397) (92) [FOR-] (2) ($RES_SIM_154) (92) [----] for $i1 in 1:2 loop (92) [----] [SCAL] (1) frePro.holSta2.initialStep.outPort[$i1].available = if $SEV_29[$i1] then frePro.holSta2.initialStep.outerStatePort.localActive else $SEV_30[$i1] ($RES_SIM_155) (92) [----] end for; (93) [SCAL] (1) frePro.holSta2.toTrue.outPort.occupied = frePro.holSta2.outputTrue.inPort[2].occupied ($RES_SIM_398) (94) [SCAL] (1) frePro.holSta2.toTrue1.outPort.set = frePro.holSta2.outputTrue.inPort[1].set ($RES_SIM_399) (95) [WHEN] (1)when false then (95) [----] frePro.holSta2.initialStep.oldActive := frePro.holSta2.initialStep.outerStatePort.localActive (95) [----] end when; (96) [SCAL] (1) frePro.holSta2.initialStep.newActive = $SEV_31 ($RES_SIM_157) (97) [SCAL] (1) $SEV_31 = frePro.holSta2.initialStep.outerStatePort.localActive and not $FUN_6 ($RES_EVT_561) (98) [SCAL] (1) frePro.holSta2.initialStep.outerStatePort.localActive = $TEV_32 ($RES_SIM_158) (99) [SCAL] (1) $SEV_32 = frePro.holSta2.onDel1.y and frePro.holSta2.toTrue1.localCondition ($RES_EVT_562) (100) [SCAL] (1) $SEV_33 = frePro.holSta2.onDel2.y and not frePro.holSta2.toTrue1.localCondition ($RES_EVT_563) (101) [SCAL] (1) $SEV_34 = (frePro.holSta2.toFalse.localCondition and frePro.holSta2.toFalse.inPort.available) and not frePro.holSta2.toFalse.outPort.occupied ($RES_EVT_564) (102) [FOR-] (2) ($RES_EVT_565) (102) [----] for $i1 in 1:2 loop (102) [----] [SCAL] (1) $SEV_35[$i1] = frePro.holSta2.outputTrue.inPort[$i1 - 1].occupied or frePro.holSta2.outputTrue.inPort[$i1 - 1].set ($RES_EVT_566) (102) [----] end for; (103) [SCAL] (1) $TEV_21 = $PRE.frePro.tim4.passed ($RES_EVT_480) (104) [SCAL] (1) $TEV_22 = $PRE.frePro.tim4.entryTime ($RES_EVT_481) (105) [SCAL] (1) $SEV_36 = $FUN_3 or frePro.holSta2.outputTrue.outerStatePort.localActive and not $FUN_4 ($RES_EVT_567) (106) [SCAL] (1) $TEV_23 = $PRE.frePro.tim4.u ($RES_EVT_482) (107) [SCAL] (1) $SEV_37 = (frePro.holSta2.toTrue.localCondition and frePro.holSta2.toTrue.inPort.available) and not frePro.holSta2.toTrue.outPort.occupied ($RES_EVT_568) (108) [SCAL] (1) $TEV_24 = $PRE.frePro.tim3.passed ($RES_EVT_483) (109) [FOR-] (2) ($RES_EVT_569) (109) [----] for $i1 in 1:2 loop (109) [----] [SCAL] (1) $SEV_38[$i1] = frePro.holSta2.outputFalse.inPort[$i1 - 1].occupied or frePro.holSta2.outputFalse.inPort[$i1 - 1].set ($RES_EVT_570) (109) [----] end for; (110) [SCAL] (1) $TEV_25 = $PRE.frePro.tim3.entryTime ($RES_EVT_484) (111) [SCAL] (1) $TEV_26 = $PRE.frePro.holSta2.toFalse1.outPort.set ($RES_EVT_485) (112) [SCAL] (1) frePro.holSta2.toTrue1.outPort.occupied = frePro.holSta2.outputTrue.inPort[1].occupied ($RES_SIM_400) (113) [SCAL] (1) $TEV_28 = $PRE.frePro.holSta2.toTrue1.outPort.set ($RES_EVT_487) (114) [SCAL] (1) $TEV_30 = $PRE.frePro.holSta2.initialStep.oldActive ($RES_EVT_489) (115) [SCAL] (1) frePro.holSta2.toFalse.outPort.set = frePro.holSta2.outputFalse.inPort[1].set ($RES_SIM_409) (116) [SCAL] (1) frePro.hotWatPlaReq.y = if frePro.hotWatPlaReq.u2 then frePro.conInt.k else frePro.conInt2.k ($RES_SIM_240) (117) [SCAL] (1) frePro.tim.y = if frePro.tim.u then time - frePro.tim.entryTime else 0.0 ($RES_SIM_241) (118) [WHEN] (1)when not frePro.tim.u then (118) [----] frePro.tim.passed := false (118) [----] else when $SEV_51 then (118) [----] frePro.tim.passed := true (118) [----] else when frePro.tim.u then (118) [----] frePro.tim.passed := frePro.tim.t <= 0.0 (118) [----] end when; (119) [WHEN] (1)when not frePro.tim.u then (119) [----] frePro.tim.entryTime := $PRE.frePro.tim.entryTime (119) [----] else when $SEV_51 then (119) [----] frePro.tim.entryTime := $PRE.frePro.tim.entryTime (119) [----] else when frePro.tim.u then (119) [----] frePro.tim.entryTime := time (119) [----] end when; (120) [SCAL] (1) frePro.tim.u = $SEV_52 ($RES_SIM_244) (121) [SCAL] (1) frePro.holSta2.outputFalse.outerStatePort.subgraphStatePort.activeSteps + frePro.holSta2.outputTrue.outerStatePort.subgraphStatePort.activeSteps + frePro.holSta2.initialStep.outerStatePort.subgraphStatePort.activeSteps + frePro.holSta2.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_245) (122) [SCAL] (1) frePro.holSta2.initialStep.outerStatePort.subgraphStatePort.activeSteps = if frePro.holSta2.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_160) (123) [SCAL] (1) frePro.holSta2.toTrue.localCondition = $SEV_32 ($RES_SIM_161) (124) [SCAL] (1) frePro.holSta2.toFalse.localCondition = $SEV_33 ($RES_SIM_162) (125) [SCAL] (1) frePro.holSta2.toFalse.outPort.set = $SEV_34 ($RES_SIM_165) (126) [SCAL] (1) $SEV_39 = $FUN_1 or frePro.holSta2.outputFalse.outerStatePort.localActive and not $FUN_2 ($RES_EVT_571) (127) [SCAL] (1) $SEV_40 = time >= $PRE.frePro.holSta2.onDel2.t_next ($RES_EVT_572) (128) [SCAL] (1) $SEV_41 = time >= $PRE.frePro.holSta2.onDel1.t_next ($RES_EVT_573) (129) [SCAL] (1) $SEV_42 = frePro.tim2.u and time >= (frePro.tim2.t + $PRE.frePro.tim2.entryTime) ($RES_EVT_574) (130) [SCAL] (1) $SEV_43 = not $PRE.frePro.tim2.u and supTem.y < frePro.lesThr1.lesHys.t or $PRE.frePro.tim2.u and supTem.y < (0.25 + frePro.lesThr1.lesHys.t) ($RES_EVT_575) (131) [SCAL] (1) $TEV_31 = $PRE.frePro.holSta2.initialStep.outerStatePort.localActive ($RES_EVT_490) (132) [SCAL] (1) $SEV_44 = frePro.tim1.u and time >= (frePro.tim1.t + $PRE.frePro.tim1.entryTime) ($RES_EVT_576) (133) [SCAL] (1) $TEV_32 = $PRE.frePro.holSta2.initialStep.newActive ($RES_EVT_491) (134) [SCAL] (1) $SEV_45 = (change(frePro.endStaOne.y) and $PRE.frePro.endStaOne.y == true) and not frePro.or2.y ($RES_EVT_577) (135) [SCAL] (1) $TEV_33 = $PRE.frePro.holSta2.toFalse.outPort.set ($RES_EVT_492) (136) [SCAL] (1) $SEV_46 = (not frePro.endStaOne.y and change(frePro.or2.y)) and $PRE.frePro.or2.y == true ($RES_EVT_578) (137) [SCAL] (1) $SEV_47 = (not frePro.endStaOne.y and change(frePro.or2.y)) and $PRE.frePro.or2.y == false ($RES_EVT_579) (138) [SCAL] (1) $TEV_35 = $PRE.frePro.holSta2.outputTrue.oldActive ($RES_EVT_494) (139) [SCAL] (1) $TEV_36 = $PRE.frePro.holSta2.outputTrue.newActive ($RES_EVT_495) (140) [SCAL] (1) $TEV_37 = $PRE.frePro.holSta2.toTrue.outPort.set ($RES_EVT_496) (141) [SCAL] (1) frePro.holSta2.toFalse.outPort.occupied = frePro.holSta2.outputFalse.inPort[1].occupied ($RES_SIM_410) (142) [SCAL] (1) frePro.holSta2.outputFalse.outPort[1].reset = frePro.holSta2.toTrue.outPort.set ($RES_SIM_411) (143) [SCAL] (1) $TEV_39 = $PRE.frePro.holSta2.outputFalse.oldActive ($RES_EVT_498) (144) [SCAL] (1) frePro.holSta2.outputFalse.outPort[1].available = frePro.holSta2.toTrue.inPort.available ($RES_SIM_412) (145) [SCAL] (1) $TEV_40 = $PRE.frePro.holSta2.outputFalse.outerStatePort.localActive ($RES_EVT_499) (146) [SCAL] (1) frePro.holSta2.outputTrue.outPort[1].reset = frePro.holSta2.toFalse.outPort.set ($RES_SIM_415) (147) [SCAL] (1) frePro.holSta2.outputTrue.outPort[1].available = frePro.holSta2.toFalse.inPort.available ($RES_SIM_416) (148) [SCAL] (1) frePro.u1SupFan = $SEV_11 ($RES_SIM_56) (149) [SCAL] (1) $TEV_41 = $PRE.frePro.holSta2.outputFalse.newActive ($RES_EVT_500) (150) [SCAL] (1) frePro.holSta2.outputTrue.outPort[1].reset = false ($RES_SIM_170) (151) [SCAL] (1) mixTem.y = mixTem.offset + (if $TEV_56 then 0.0 else if $TEV_57 then (mixTem.height * (time - mixTem.startTime)) / mixTem.duration else mixTem.height) ($RES_SIM_57) (152) [SCAL] (1) $TEV_42 = $PRE.frePro.holSta2.onDel2.t_next ($RES_EVT_501) (153) [FOR-] (2) ($RES_SIM_171) (153) [----] for $i1 in 1:2 loop (153) [----] [SCAL] (1) frePro.holSta2.outputTrue.inPort[$i1].set = false ($RES_SIM_172) (153) [----] end for; (154) [SCAL] (1) supTem.y = supTem.offset + (if $TEV_58 then 0.0 else if $TEV_59 then (supTem.height * (time - supTem.startTime)) / supTem.duration else supTem.height) ($RES_SIM_58) (155) [SCAL] (1) $TEV_43 = $PRE.frePro.holSta2.onDel1.t_next ($RES_EVT_502) (156) [SCAL] (1) cooCoiPos.y = cooCoiPos.offset + (if $TEV_60 then 0.0 else if $TEV_61 then (cooCoiPos.height * (time - cooCoiPos.startTime)) / cooCoiPos.duration else cooCoiPos.height) ($RES_SIM_59) (157) [SCAL] (1) $TEV_44 = $PRE.frePro.holSta2.toTrue1.localCondition ($RES_EVT_503) (158) [SCAL] (1) frePro.holSta2.outputTrue.outPort[1].available = frePro.holSta2.outputTrue.outerStatePort.localActive ($RES_SIM_173) (159) [SCAL] (1) $TEV_45 = $PRE.frePro.tim2.entryTime ($RES_EVT_504) (160) [FOR-] (2) ($RES_SIM_174) (160) [----] for $i1 in 1:2 loop (160) [----] [SCAL] (1) frePro.holSta2.outputTrue.inPort[$i1].occupied = if $SEV_29[$i1] then frePro.holSta2.outputTrue.outerStatePort.localActive else $SEV_35[$i1] ($RES_SIM_175) (160) [----] end for; (161) [SCAL] (1) $TEV_46 = $PRE.frePro.tim2.u ($RES_EVT_505) (162) [SCAL] (1) $TEV_47 = $PRE.frePro.tim1.passed ($RES_EVT_506) (163) [WHEN] (1)when false then (163) [----] frePro.holSta2.outputTrue.oldActive := frePro.holSta2.outputTrue.outerStatePort.localActive (163) [----] end when; (164) [SCAL] (1) $SEV_48 = not $PRE.frePro.tim1.u and supTem.y > frePro.greThr.greHys.t or $PRE.frePro.tim1.u and supTem.y > ((-0.25) + frePro.greThr.greHys.t) ($RES_EVT_580) (165) [SCAL] (1) $TEV_48 = $PRE.frePro.tim1.entryTime ($RES_EVT_507) (166) [SCAL] (1) frePro.holSta2.outputTrue.newActive = $SEV_36 ($RES_SIM_177) (167) [SCAL] (1) $SEV_49 = frePro.heaCoiCon1.lim.u > frePro.heaCoiCon1.lim.uMax ($RES_EVT_581) (168) [SCAL] (1) $TEV_49 = $PRE.frePro.endStaOne.y ($RES_EVT_508) (169) [SCAL] (1) frePro.holSta2.outputTrue.outerStatePort.localActive = $TEV_36 ($RES_SIM_178) (170) [SCAL] (1) $SEV_50 = frePro.heaCoiCon1.lim.u < frePro.heaCoiCon1.lim.uMin ($RES_EVT_582) (171) [SCAL] (1) $TEV_50 = $PRE.frePro.or2.y ($RES_EVT_509) (172) [SCAL] (1) $SEV_51 = frePro.tim.u and time >= (frePro.tim.t + $PRE.frePro.tim.entryTime) ($RES_EVT_583) (173) [SCAL] (1) $SEV_52 = not $PRE.frePro.tim.u and supTem.y < frePro.lesThr.lesHys.t or $PRE.frePro.tim.u and supTem.y < (0.25 + frePro.lesThr.lesHys.t) ($RES_EVT_584) (174) [SCAL] (1) $FUN_1 = Modelica.Math.BooleanVectors.anyTrue(frePro.holSta2.outputFalse.inPort.set) ($RES_$AUX_470) (175) [SCAL] (1) frePro.heaCoiMod.lim.u = frePro.heaCoiMod.addPID.u1 + frePro.heaCoiMod.addPID.u2 ($RES_SIM_100) (176) [SCAL] (1) frePro.uSupFan = supFanSpe.offset + (if $TEV_62 then 0.0 else if $TEV_63 then (supFanSpe.height * (time - supFanSpe.startTime)) / supFanSpe.duration else supFanSpe.height) ($RES_SIM_60) (177) [SCAL] (1) frePro.heaCoiMod.addPID.u1 = frePro.heaCoiMod.addPD.u1 ($RES_SIM_101) (178) [SCAL] (1) frePro.heaCoiMod.errP.u2 = frePro.heaCoiMod.uMea_revAct.k * frePro.max1.y ($RES_SIM_102) (179) [WHEN] (1)when $TEV_64 then (179) [----] freRes.y := false (179) [----] else when $TEV_65 then (179) [----] freRes.y := true (179) [----] end when; (180) [SCAL] (1) retDamPos.y = retDamPos.offset + (if $TEV_66 then 0.0 else if $TEV_67 then (retDamPos.height * (time - retDamPos.startTime)) / retDamPos.duration else retDamPos.height) ($RES_SIM_63) (181) [SCAL] (1) frePro.heaCoiMod.errI1.u1 = frePro.heaCoiMod.uS_revAct.k * frePro.con4.k ($RES_SIM_103) (182) [SCAL] (1) heaCoiPos.y = heaCoiPos.offset + (if $TEV_68 then 0.0 else if $TEV_69 then (heaCoiPos.height * (time - heaCoiPos.startTime)) / heaCoiPos.duration else heaCoiPos.height) ($RES_SIM_65) (183) [SCAL] (1) frePro.heaCoiPos.u1 = homotopy(smooth(0, noEvent(if $SEV_18 then frePro.heaCoiMod.lim.uMax else if $SEV_19 then frePro.heaCoiMod.lim.uMin else frePro.heaCoiMod.lim.u)), frePro.heaCoiMod.lim.u) ($RES_SIM_105) (184) [SCAL] (1) frePro.heaCoiMod.I.u = frePro.heaCoiMod.errI1.y - frePro.heaCoiMod.antWinGai.y ($RES_SIM_106) (185) [SCAL] (1) $TEV_51 = $PRE.frePro.hotWatPlaReq.u2 ($RES_EVT_510) (186) [SCAL] (1) outDamPos.y = outDamPos.offset + (if $TEV_70 then 0.0 else if $TEV_71 then (outDamPos.height * (time - outDamPos.startTime)) / outDamPos.duration else outDamPos.height) ($RES_SIM_67) (187) [SCAL] (1) frePro.holSta2.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if frePro.holSta2.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_180) (188) [SCAL] (1) frePro.heaCoiMod.errI1.y = frePro.heaCoiMod.errI1.u1 - frePro.heaCoiMod.errP.u2 ($RES_SIM_107) (189) [SCAL] (1) $TEV_52 = $PRE.frePro.tim1.u ($RES_EVT_511) (190) [SCAL] (1) frePro.and2.y = $SEV_12 ($RES_SIM_68) (191) [SCAL] (1) frePro.heaCoiMod.P.u = frePro.heaCoiMod.errI1.u1 - frePro.heaCoiMod.errP.u2 ($RES_SIM_108) (192) [SCAL] (1) $TEV_53 = $PRE.frePro.tim.passed ($RES_EVT_512) (193) [SCAL] (1) $TEV_54 = $PRE.frePro.tim.entryTime ($RES_EVT_513) (194) [SCAL] (1) $TEV_55 = $PRE.frePro.tim.u ($RES_EVT_514) (195) [SCAL] (1) frePro.holSta2.toTrue.outPort.set = $SEV_37 ($RES_SIM_184) (196) [SCAL] (1) $TEV_56 = time < mixTem.startTime ($RES_EVT_515) (197) [SCAL] (1) $FUN_2 = Modelica.Math.BooleanVectors.anyTrue(frePro.holSta2.outputFalse.outPort.reset) ($RES_$AUX_469) (198) [SCAL] (1) $TEV_57 = time < (mixTem.startTime + mixTem.duration) ($RES_EVT_516) (199) [SCAL] (1) $FUN_3 = Modelica.Math.BooleanVectors.anyTrue(frePro.holSta2.outputTrue.inPort.set) ($RES_$AUX_468) (200) [SCAL] (1) $TEV_58 = time < supTem.startTime ($RES_EVT_517) (201) [SCAL] (1) $FUN_4 = Modelica.Math.BooleanVectors.anyTrue(frePro.holSta2.outputTrue.outPort.reset) ($RES_$AUX_467) (202) [SCAL] (1) $TEV_59 = time < (supTem.startTime + supTem.duration) ($RES_EVT_518) (203) [SCAL] (1) $TEV_60 = time < cooCoiPos.startTime ($RES_EVT_519) (204) [SCAL] (1) frePro.holSta2.outputFalse.outPort[1].reset = false ($RES_SIM_189) (205) [SCAL] (1) $FUN_6 = Modelica.Math.BooleanVectors.anyTrue(frePro.holSta2.initialStep.outPort.reset) ($RES_$AUX_465) (206) [SCAL] (1) $DER.frePro.heaCoiMod.addPID.u2 = frePro.heaCoiMod.I.k * frePro.heaCoiMod.I.u ($RES_SIM_110) (207) [SCAL] (1) frePro.heaCoiMod.addPD.u1 = frePro.heaCoiMod.P.k * frePro.heaCoiMod.P.u ($RES_SIM_111) (208) [SCAL] (1) frePro.intSwi5.y = if frePro.hotWatPlaReq.u2 then frePro.conInt7.k else frePro.conInt8.k ($RES_SIM_72) (209) [SCAL] (1) frePro.heaCoiMod.controlError.y = frePro.con4.k - frePro.max1.y ($RES_SIM_112) (210) [SCAL] (1) frePro.max1.y = max(supTem.y, mixTem.y) ($RES_SIM_113) (211) [SCAL] (1) frePro.intSwi4.y = if frePro.outDam2.u2 then frePro.conInt6.k else frePro.intSwi5.y ($RES_SIM_74) (212) [SCAL] (1) frePro.intSwi2.y = if frePro.supFan.u2 then frePro.conInt1.k else frePro.intSwi4.y ($RES_SIM_75) (213) [SCAL] (1) frePro.hotWatPlaReq3.y = if frePro.supFan.u2 then frePro.conInt3.k else frePro.hotWatPlaReq.y ($RES_SIM_115) (214) [SCAL] (1) frePro.cooCoi.y = smooth(0, if frePro.supFan.u2 then frePro.con1.k else cooCoiPos.y) ($RES_SIM_116) (215) [SCAL] (1) $TEV_61 = time < (cooCoiPos.startTime + cooCoiPos.duration) ($RES_EVT_520) (216) [SCAL] (1) frePro.retDam.y = smooth(0, if frePro.supFan.u2 then frePro.con3.k else frePro.retDam2.y) ($RES_SIM_77) (217) [FOR-] (2) ($RES_SIM_190) (217) [----] for $i1 in 1:2 loop (217) [----] [SCAL] (1) frePro.holSta2.outputFalse.inPort[$i1].set = false ($RES_SIM_191) (217) [----] end for; (218) [SCAL] (1) frePro.outDam.y = smooth(0, if frePro.supFan.u2 then frePro.con3.k else frePro.outDam2.y) ($RES_SIM_117) (219) [SCAL] (1) $TEV_62 = time < supFanSpe.startTime ($RES_EVT_521) (220) [SCAL] (1) frePro.or2.y = $SEV_13 ($RES_SIM_78) (221) [SCAL] (1) $TEV_63 = time < (supFanSpe.startTime + supFanSpe.duration) ($RES_EVT_522) (222) [SCAL] (1) frePro.lat2.clr = edge(frePro.tim5.passed) ($RES_SIM_79) (223) [SCAL] (1) frePro.holSta2.outputFalse.outPort[1].available = frePro.holSta2.outputFalse.outerStatePort.localActive ($RES_SIM_192) (224) [SCAL] (1) frePro.supFan.y = smooth(0, if frePro.supFan.u2 then frePro.con3.k else frePro.uSupFan) ($RES_SIM_119) (225) [SCAL] (1) $TEV_64 = sample(11, freRes.t1, freRes.period) ($RES_EVT_523) (226) [FOR-] (2) ($RES_SIM_193) (226) [----] for $i1 in 1:2 loop (226) [----] [SCAL] (1) frePro.holSta2.outputFalse.inPort[$i1].occupied = if $SEV_29[$i1] then frePro.holSta2.outputFalse.outerStatePort.localActive else $SEV_38[$i1] ($RES_SIM_194) (226) [----] end for; (227) [SCAL] (1) $TEV_65 = sample(12, freRes.t0, freRes.period) ($RES_EVT_524) (228) [SCAL] (1) $TEV_66 = time < retDamPos.startTime ($RES_EVT_525) (229) [WHEN] (1)when false then (229) [----] frePro.holSta2.outputFalse.oldActive := frePro.holSta2.outputFalse.outerStatePort.localActive (229) [----] end when; (230) [SCAL] (1) $TEV_67 = time < (retDamPos.startTime + retDamPos.duration) ($RES_EVT_526) (231) [SCAL] (1) frePro.holSta2.outputFalse.newActive = $SEV_39 ($RES_SIM_196) (232) [SCAL] (1) $TEV_68 = time < heaCoiPos.startTime ($RES_EVT_527) (233) [SCAL] (1) frePro.holSta2.outputFalse.outerStatePort.localActive = $TEV_41 ($RES_SIM_197) (234) [SCAL] (1) $TEV_69 = time < (heaCoiPos.startTime + heaCoiPos.duration) ($RES_EVT_528) (235) [SCAL] (1) $TEV_70 = time < outDamPos.startTime ($RES_EVT_529) (236) [SCAL] (1) frePro.holSta2.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if frePro.holSta2.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_199) (237) [SCAL] (1) frePro.holSta2.stateGraphRoot.activeSteps = -integer(frePro.holSta2.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_203) =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 188 var 2 --> eqn 82 var 3 --> eqn 127 var 4 --> eqn 64 var 5 --> eqn 233 var 6 --> eqn 53 var 7 --> eqn 62 var 8 --> eqn 28 var 9 --> eqn 61 var 10 --> eqn 60 var 11 --> eqn 98 var 12 --> eqn 94 var 13 --> eqn 59 var 14 --> eqn 57 var 15 --> eqn 49 var 16 --> eqn 48 var 17 --> eqn 50 var 18 --> eqn 165 var 19 --> eqn 191 var 20 --> eqn 149 var 21 --> eqn 203 var 22 --> eqn 146 var 23 --> eqn 145 var 24 --> eqn 144 var 25 --> eqn 141 var 26 --> eqn 131 var 27 --> eqn 183 var 28 --> eqn 243 var 29 --> eqn 139 var 30 --> eqn 137 var 31 --> eqn 120 var 32 --> eqn 2 var 33 --> eqn 47 var 34 --> eqn 87 var 35 --> eqn 46 var 36 --> eqn 45 var 37 --> eqn 235 var 38 --> eqn 236 var 39 --> eqn 44 var 40 --> eqn 43 var 41 --> eqn 41 var 42 --> eqn 192 var 43 --> eqn 39 var 44 --> eqn 37 var 45 --> eqn 22 var 46 --> eqn 99 var 47 --> eqn 4 var 48 --> eqn 163 var 49 --> eqn 38 var 50 --> eqn 125 var 51 --> eqn 153 var 52 --> eqn 15 var 53 --> eqn 7 var 54 --> eqn 19 var 55 --> eqn 119 var 56 --> eqn 130 var 57 --> eqn 81 var 58 --> eqn 117 var 59 --> eqn 220 var 60 --> eqn 116 var 61 --> eqn 113 var 62 --> eqn 111 var 63 --> eqn 109 var 64 --> eqn 108 var 65 --> eqn 77 var 66 --> eqn 6 var 67 --> eqn 124 var 68 --> eqn 100 var 69 --> eqn 35 var 70 --> eqn 227 var 71 --> eqn 40 var 72 --> eqn 221 var 73 --> eqn 66 var 74 --> eqn 67 var 75 --> eqn 213 var 76 --> eqn 161 var 77 --> eqn 209 var 78 --> eqn 34 var 79 --> eqn 79 var 80 --> eqn 207 var 81 --> eqn 76 var 82 --> eqn 190 var 83 --> eqn 205 var 84 --> eqn 106 var 85 --> eqn 107 var 86 --> eqn 75 var 87 --> eqn 182 var 88 --> eqn 74 var 89 --> eqn 73 var 90 --> eqn 20 var 91 --> eqn 72 var 92 --> eqn 89 var 93 --> eqn 194 var 94 --> eqn 69 var 95 --> eqn 222 var 96 --> eqn 68 var 97 --> eqn 65 var 98 --> eqn 215 var 99 --> eqn 177 var 100 --> eqn 70 var 101 --> eqn 71 var 102 --> eqn 23 var 103 --> eqn 232 var 104 --> eqn 126 var 105 --> eqn 247 var 106 --> eqn 123 var 107 --> eqn 217 var 108 --> eqn 102 var 109 --> eqn 86 var 110 --> eqn 9 var 111 --> eqn 36 var 112 --> eqn 24 var 113 --> eqn 224 var 114 --> eqn 33 var 115 --> eqn 195 var 116 --> eqn 229 var 117 --> eqn 216 var 118 --> eqn 27 var 119 --> eqn 184 var 120 --> eqn 214 var 121 --> eqn 85 var 122 --> eqn 93 var 123 --> eqn 55 var 124 --> eqn 152 var 125 --> eqn 246 var 126 --> eqn 118 var 127 --> eqn 154 var 128 --> eqn 18 var 129 --> eqn 245 var 130 --> eqn 32 var 131 --> eqn 80 var 132 --> eqn 3 var 133 --> eqn 122 var 134 --> eqn 198 var 135 --> eqn 95 var 136 --> eqn 96 var 137 --> eqn 92 var 138 --> eqn 231 var 139 --> eqn 129 var 140 --> eqn 187 var 141 --> eqn 181 var 142 --> eqn 42 var 143 --> eqn 180 var 144 --> eqn 178 var 145 --> eqn 26 var 146 --> eqn 84 var 147 --> eqn 91 var 148 --> eqn 31 var 149 --> eqn 83 var 150 --> eqn 244 var 151 --> eqn 242 var 152 --> eqn 240 var 153 --> eqn 238 var 154 --> eqn 237 var 155 --> eqn 189 var 156 --> eqn 234 var 157 --> eqn 51 var 158 --> eqn 230 var 159 --> eqn 114 var 160 --> eqn 115 var 161 --> eqn 228 var 162 --> eqn 10 var 163 --> eqn 174 var 164 --> eqn 223 var 165 --> eqn 239 var 166 --> eqn 211 var 167 --> eqn 13 var 168 --> eqn 52 var 169 --> eqn 8 var 170 --> eqn 175 var 171 --> eqn 219 var 172 --> eqn 172 var 173 --> eqn 143 var 174 --> eqn 150 var 175 --> eqn 142 var 176 --> eqn 78 var 177 --> eqn 140 var 178 --> eqn 138 var 179 --> eqn 136 var 180 --> eqn 14 var 181 --> eqn 135 var 182 --> eqn 185 var 183 --> eqn 134 var 184 --> eqn 133 var 185 --> eqn 56 var 186 --> eqn 167 var 187 --> eqn 168 var 188 --> eqn 58 var 189 --> eqn 16 var 190 --> eqn 199 var 191 --> eqn 210 var 192 --> eqn 208 var 193 --> eqn 206 var 194 --> eqn 157 var 195 --> eqn 204 var 196 --> eqn 171 var 197 --> eqn 202 var 198 --> eqn 25 var 199 --> eqn 186 var 200 --> eqn 241 var 201 --> eqn 201 var 202 --> eqn 200 var 203 --> eqn 197 var 204 --> eqn 1 var 205 --> eqn 193 var 206 --> eqn 179 var 207 --> eqn 128 var 208 --> eqn 132 var 209 --> eqn 21 var 210 --> eqn 112 var 211 --> eqn 196 var 212 --> eqn 110 var 213 --> eqn 5 var 214 --> eqn 121 var 215 --> eqn 88 var 216 --> eqn 105 var 217 --> eqn 104 var 218 --> eqn 218 var 219 --> eqn 103 var 220 --> eqn 101 var 221 --> eqn 97 var 222 --> eqn 148 var 223 --> eqn 12 var 224 --> eqn 147 var 225 --> eqn 176 var 226 --> eqn 54 var 227 --> eqn 173 var 228 --> eqn 170 var 229 --> eqn 11 var 230 --> eqn 169 var 231 --> eqn 166 var 232 --> eqn 29 var 233 --> eqn 164 var 234 --> eqn 162 var 235 --> eqn 17 var 236 --> eqn 158 var 237 --> eqn 155 var 238 --> eqn 30 var 239 --> eqn 151 equation to variable ********************** eqn 1 --> var 204 eqn 2 --> var 32 eqn 3 --> var 132 eqn 4 --> var 47 eqn 5 --> var 213 eqn 6 --> var 66 eqn 7 --> var 53 eqn 8 --> var 169 eqn 9 --> var 110 eqn 10 --> var 162 eqn 11 --> var 229 eqn 12 --> var 223 eqn 13 --> var 167 eqn 14 --> var 180 eqn 15 --> var 52 eqn 16 --> var 189 eqn 17 --> var 235 eqn 18 --> var 128 eqn 19 --> var 54 eqn 20 --> var 90 eqn 21 --> var 209 eqn 22 --> var 45 eqn 23 --> var 102 eqn 24 --> var 112 eqn 25 --> var 198 eqn 26 --> var 145 eqn 27 --> var 118 eqn 28 --> var 8 eqn 29 --> var 232 eqn 30 --> var 238 eqn 31 --> var 148 eqn 32 --> var 130 eqn 33 --> var 114 eqn 34 --> var 78 eqn 35 --> var 69 eqn 36 --> var 111 eqn 37 --> var 44 eqn 38 --> var 49 eqn 39 --> var 43 eqn 40 --> var 71 eqn 41 --> var 41 eqn 42 --> var 142 eqn 43 --> var 40 eqn 44 --> var 39 eqn 45 --> var 36 eqn 46 --> var 35 eqn 47 --> var 33 eqn 48 --> var 16 eqn 49 --> var 15 eqn 50 --> var 17 eqn 51 --> var 157 eqn 52 --> var 168 eqn 53 --> var 6 eqn 54 --> var 226 eqn 55 --> var 123 eqn 56 --> var 185 eqn 57 --> var 14 eqn 58 --> var 188 eqn 59 --> var 13 eqn 60 --> var 10 eqn 61 --> var 9 eqn 62 --> var 7 eqn 63 --> var -1 eqn 64 --> var 4 eqn 65 --> var 97 eqn 66 --> var 73 eqn 67 --> var 74 eqn 68 --> var 96 eqn 69 --> var 94 eqn 70 --> var 100 eqn 71 --> var 101 eqn 72 --> var 91 eqn 73 --> var 89 eqn 74 --> var 88 eqn 75 --> var 86 eqn 76 --> var 81 eqn 77 --> var 65 eqn 78 --> var 176 eqn 79 --> var 79 eqn 80 --> var 131 eqn 81 --> var 57 eqn 82 --> var 2 eqn 83 --> var 149 eqn 84 --> var 146 eqn 85 --> var 121 eqn 86 --> var 109 eqn 87 --> var 34 eqn 88 --> var 215 eqn 89 --> var 92 eqn 90 --> var -1 eqn 91 --> var 147 eqn 92 --> var 137 eqn 93 --> var 122 eqn 94 --> var 12 eqn 95 --> var 135 eqn 96 --> var 136 eqn 97 --> var 221 eqn 98 --> var 11 eqn 99 --> var 46 eqn 100 --> var 68 eqn 101 --> var 220 eqn 102 --> var 108 eqn 103 --> var 219 eqn 104 --> var 217 eqn 105 --> var 216 eqn 106 --> var 84 eqn 107 --> var 85 eqn 108 --> var 64 eqn 109 --> var 63 eqn 110 --> var 212 eqn 111 --> var 62 eqn 112 --> var 210 eqn 113 --> var 61 eqn 114 --> var 159 eqn 115 --> var 160 eqn 116 --> var 60 eqn 117 --> var 58 eqn 118 --> var 126 eqn 119 --> var 55 eqn 120 --> var 31 eqn 121 --> var 214 eqn 122 --> var 133 eqn 123 --> var 106 eqn 124 --> var 67 eqn 125 --> var 50 eqn 126 --> var 104 eqn 127 --> var 3 eqn 128 --> var 207 eqn 129 --> var 139 eqn 130 --> var 56 eqn 131 --> var 26 eqn 132 --> var 208 eqn 133 --> var 184 eqn 134 --> var 183 eqn 135 --> var 181 eqn 136 --> var 179 eqn 137 --> var 30 eqn 138 --> var 178 eqn 139 --> var 29 eqn 140 --> var 177 eqn 141 --> var 25 eqn 142 --> var 175 eqn 143 --> var 173 eqn 144 --> var 24 eqn 145 --> var 23 eqn 146 --> var 22 eqn 147 --> var 224 eqn 148 --> var 222 eqn 149 --> var 20 eqn 150 --> var 174 eqn 151 --> var 239 eqn 152 --> var 124 eqn 153 --> var 51 eqn 154 --> var 127 eqn 155 --> var 237 eqn 156 --> var -1 eqn 157 --> var 194 eqn 158 --> var 236 eqn 159 --> var -1 eqn 160 --> var -1 eqn 161 --> var 76 eqn 162 --> var 234 eqn 163 --> var 48 eqn 164 --> var 233 eqn 165 --> var 18 eqn 166 --> var 231 eqn 167 --> var 186 eqn 168 --> var 187 eqn 169 --> var 230 eqn 170 --> var 228 eqn 171 --> var 196 eqn 172 --> var 172 eqn 173 --> var 227 eqn 174 --> var 163 eqn 175 --> var 170 eqn 176 --> var 225 eqn 177 --> var 99 eqn 178 --> var 144 eqn 179 --> var 206 eqn 180 --> var 143 eqn 181 --> var 141 eqn 182 --> var 87 eqn 183 --> var 27 eqn 184 --> var 119 eqn 185 --> var 182 eqn 186 --> var 199 eqn 187 --> var 140 eqn 188 --> var 1 eqn 189 --> var 155 eqn 190 --> var 82 eqn 191 --> var 19 eqn 192 --> var 42 eqn 193 --> var 205 eqn 194 --> var 93 eqn 195 --> var 115 eqn 196 --> var 211 eqn 197 --> var 203 eqn 198 --> var 134 eqn 199 --> var 190 eqn 200 --> var 202 eqn 201 --> var 201 eqn 202 --> var 197 eqn 203 --> var 21 eqn 204 --> var 195 eqn 205 --> var 83 eqn 206 --> var 193 eqn 207 --> var 80 eqn 208 --> var 192 eqn 209 --> var 77 eqn 210 --> var 191 eqn 211 --> var 166 eqn 212 --> var -1 eqn 213 --> var 75 eqn 214 --> var 120 eqn 215 --> var 98 eqn 216 --> var 117 eqn 217 --> var 107 eqn 218 --> var 218 eqn 219 --> var 171 eqn 220 --> var 59 eqn 221 --> var 72 eqn 222 --> var 95 eqn 223 --> var 164 eqn 224 --> var 113 eqn 225 --> var -1 eqn 226 --> var -1 eqn 227 --> var 70 eqn 228 --> var 161 eqn 229 --> var 116 eqn 230 --> var 158 eqn 231 --> var 138 eqn 232 --> var 103 eqn 233 --> var 5 eqn 234 --> var 156 eqn 235 --> var 37 eqn 236 --> var 38 eqn 237 --> var 154 eqn 238 --> var 153 eqn 239 --> var 165 eqn 240 --> var 152 eqn 241 --> var 200 eqn 242 --> var 151 eqn 243 --> var 28 eqn 244 --> var 150 eqn 245 --> var 129 eqn 246 --> var 125 eqn 247 --> var 105