Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_9_Buildings.Controls.OBC.ASHRAE.G36_PR1.AHUs.SingleZone.VAV.Economizers.Subsequences.Validation.Enable_FreProSta_ZonSta.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 9.1.3-maint.9.1.x/package.mo", uses=false) Using package Buildings with version 9.1.3 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 9.1.3-maint.9.1.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_PR1.AHUs.SingleZone.VAV.Economizers.Subsequences.Validation.Enable_FreProSta_ZonSta,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|enaDis.yOutDamPosMax|enaDis.yRetDamPosMin|enaDis.yRetDamPosMax|enaDis.andEnaDis.y|enaDis.truFalHol.y|enaDis1.yOutDamPosMax|enaDis1.yRetDamPosMin|enaDis1.yRetDamPosMax|enaDis1.andEnaDis.y|enaDis1.truFalHol.y",fileNamePrefix="Buildings_9_Buildings.Controls.OBC.ASHRAE.G36_PR1.AHUs.SingleZone.VAV.Economizers.Subsequences.Validation.Enable_FreProSta_ZonSta") translateModel(Buildings.Controls.OBC.ASHRAE.G36_PR1.AHUs.SingleZone.VAV.Economizers.Subsequences.Validation.Enable_FreProSta_ZonSta,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|enaDis.yOutDamPosMax|enaDis.yRetDamPosMin|enaDis.yRetDamPosMax|enaDis.andEnaDis.y|enaDis.truFalHol.y|enaDis1.yOutDamPosMax|enaDis1.yRetDamPosMin|enaDis1.yRetDamPosMax|enaDis1.andEnaDis.y|enaDis1.truFalHol.y",fileNamePrefix="Buildings_9_Buildings.Controls.OBC.ASHRAE.G36_PR1.AHUs.SingleZone.VAV.Economizers.Subsequences.Validation.Enable_FreProSta_ZonSta") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001157/0.001157, allocations: 115.8 kB / 16.43 MB, free: 6.496 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.001085/0.001085, allocations: 184.9 kB / 17.35 MB, free: 5.754 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.185/1.185, allocations: 222.9 MB / 241 MB, free: 15.16 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 9.1.3-maint.9.1.x/package.mo): time 1.965/1.965, allocations: 390.2 MB / 0.6655 GB, free: 0.6602 MB / 0.5294 GB Notification: Performance of FrontEnd - Absyn->SCode: time 2.224e-05/2.225e-05, allocations: 4.672 kB / 0.9515 GB, free: 7.656 MB / 0.7325 GB Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.ASHRAE.G36_PR1.AHUs.SingleZone.VAV.Economizers.Subsequences.Validation.Enable_FreProSta_ZonSta): time 0.005075/0.005109, allocations: 3.952 MB / 0.9554 GB, free: 3.672 MB / 0.7325 GB Notification: Performance of NFInst.instExpressions: time 0.002496/0.007617, allocations: 1.548 MB / 0.9569 GB, free: 2.121 MB / 0.7325 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.0004762/0.008104, allocations: 19.94 kB / 0.9569 GB, free: 2.102 MB / 0.7325 GB Notification: Performance of NFTyping.typeComponents: time 0.0004089/0.00852, allocations: 174 kB / 0.9571 GB, free: 1.93 MB / 0.7325 GB Notification: Performance of NFTyping.typeBindings: time 0.0003847/0.008913, allocations: 166.4 kB / 0.9573 GB, free: 1.766 MB / 0.7325 GB Notification: Performance of NFTyping.typeClassSections: time 0.001211/0.01015, allocations: 0.7531 MB / 0.958 GB, free: 1.012 MB / 0.7325 GB Notification: Performance of NFFlatten.flatten: time 0.001689/0.01184, allocations: 1.895 MB / 0.9598 GB, free: 15.11 MB / 0.7481 GB Notification: Performance of NFFlatten.resolveConnections: time 0.00172/0.01357, allocations: 1.537 MB / 0.9613 GB, free: 13.53 MB / 0.7481 GB Notification: Performance of NFEvalConstants.evaluate: time 0.0007382/0.01432, allocations: 0.7206 MB / 0.962 GB, free: 12.81 MB / 0.7481 GB Notification: Performance of NFSimplifyModel.simplify: time 0.0007447/0.01507, allocations: 0.7041 MB / 0.9627 GB, free: 12.1 MB / 0.7481 GB Notification: Performance of NFPackage.collectConstants: time 0.0003036/0.01538, allocations: 236 kB / 0.963 GB, free: 11.87 MB / 0.7481 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0002723/0.01566, allocations: 248 kB / 0.9632 GB, free: 11.63 MB / 0.7481 GB Notification: Performance of combineBinaries: time 0.001294/0.01696, allocations: 2.102 MB / 0.9652 GB, free: 9.504 MB / 0.7481 GB Notification: Performance of replaceArrayConstructors: time 0.000608/0.01758, allocations: 1.231 MB / 0.9664 GB, free: 8.254 MB / 0.7481 GB Notification: Performance of NFVerifyModel.verify: time 0.0002474/0.01783, allocations: 259.2 kB / 0.9667 GB, free: 8 MB / 0.7481 GB Notification: Performance of FrontEnd: time 0.0002002/0.01804, allocations: 150.9 kB / 0.9668 GB, free: 7.852 MB / 0.7481 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 363 (351) * Number of variables: 347 (335) Notification: Performance of Bindings: time 0.005296/0.02334, allocations: 6.454 MB / 0.9731 GB, free: 1.191 MB / 0.7481 GB Notification: Performance of FunctionAlias: time 0.0007782/0.02412, allocations: 1.063 MB / 0.9742 GB, free: 104 kB / 0.7481 GB Notification: Performance of Early Inline: time 0.004059/0.02819, allocations: 4.686 MB / 0.9788 GB, free: 11.35 MB / 0.7637 GB Notification: Performance of simplify1: time 0.0002696/0.02847, allocations: 271.6 kB / 0.979 GB, free: 11.09 MB / 0.7637 GB Notification: Performance of Alias: time 0.008893/0.03737, allocations: 9.186 MB / 0.988 GB, free: 1.176 MB / 0.7637 GB Notification: Performance of simplify2: time 0.000139/0.03752, allocations: 159.8 kB / 0.9881 GB, free: 1.02 MB / 0.7637 GB Notification: Performance of Detect States: time 0.001369/0.0389, allocations: 1.728 MB / 0.9898 GB, free: 15.24 MB / 0.7794 GB Notification: Performance of Events: time 0.001069/0.03998, allocations: 1.033 MB / 0.9908 GB, free: 14.18 MB / 0.7794 GB Notification: Performance of Partitioning: time 0.001421/0.04141, allocations: 1.493 MB / 0.9923 GB, free: 12.57 MB / 0.7794 GB Error: Internal error NBSorting.tarjan failed to sort system: system vars Variables (197/216) ********************************* (1) [DISC] (1) protected Boolean enaDis.hysOutEnt.y (2) [ALGB] (1) protected Real enaDis1.outDamSwitch.y (3) [DISC] (1) protected Boolean enaDis1.hysOutTem.y (4) [DISC] (1) Boolean $SEV_29 (5) [DISC] (1) Boolean $SEV_28 (6) [DISC] (1) Boolean $SEV_27 (7) [DISC] (1) Boolean $SEV_26 (8) [DISC] (1) protected Boolean enaDis.hysOutTem.y (9) [DISC] (1) Boolean $SEV_25 (10) [DISC] (1) protected Boolean enaDis1.hysOutEnt.y (11) [DISC] (1) Boolean $SEV_24 (12) [DISC] (1) Boolean $SEV_23 (13) [ALGB] (1) protected flow Real enaDis1.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (14) [DISC] (1) Boolean $SEV_21 (15) [DISC] (2) protected Boolean[2] enaDis.truFalHol.initialStep.outPort.available (16) [DISC] (1) protected Boolean enaDis1.truFalHol.outputTrue.newActive (17) [DISS] (1) protected Boolean enaDis1.truFalHol.outputFalse.oldActive (18) [DISC] (1) Boolean $SEV_20 (19) [DISC] (1) Boolean $TEV_9 (20) [DISC] (1) Boolean $TEV_8 (21) [DISC] (1) Boolean $TEV_7 (22) [ALGB] (1) protected Real enaDis.minRetDamSwitch.y (23) [DISC] (1) Boolean enaDis1.andEnaDis.y (24) [DISC] (1) Boolean $TEV_6 (25) [DISC] (1) Boolean $TEV_4 (26) [DISC] (1) Boolean $TEV_2 (27) [DISC] (1) Boolean $TEV_1 (28) [ALGB] (1) protected flow Real enaDis.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (29) [ALGB] (1) protected Real enaDis.outDamSwitch.y (30) [DISC] (1) Boolean $TEV_0 (31) [DISC] (1) Boolean $TEV_39 (32) [ALGB] (1) protected Real enaDis1.sub1.y (33) [DISC] (1) Boolean $TEV_38 (34) [DISC] (1) Boolean $TEV_37 (35) [DISC] (1) Boolean $TEV_35 (36) [DISC] (1) Boolean $TEV_34 (37) [DISC] (1) Boolean $TEV_33 (38) [DISC] (1) Boolean $TEV_32 (39) [DISC] (1) protected Boolean enaDis1.truFalHol.initialStep.outerStatePort.localActive = enaDis1.truFalHol.initialStep.outerStatePort.localActive (40) [DISC] (1) protected Boolean[1] enaDis1.truFalHol.outputFalse.outPort.reset (41) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.initialStep.outPort.reset (42) [DISC] (1) protected Boolean enaDis1.and1.y (43) [DISC] (1) Boolean $TEV_30 (44) [ALGB] (1) protected flow Real enaDis1.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (45) [DISS] (1) protected Boolean enaDis.truFalHol.initialStep.oldActive (46) [DISC] (2) Boolean[2] $SEV_19[$i1] (47) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse.outPort.occupied (48) [DISC] (1) protected final Boolean enaDis1.truFalHol.toTrue.localCondition = enaDis1.truFalHol.toTrue.localCondition (49) [DISC] (2) Boolean[2] $SEV_36[$i1] (50) [DISC] (1) Boolean $SEV_18 (51) [DISC] (1) Boolean $SEV_17 (52) [DISC] (1) Boolean $SEV_16 (53) [DISC] (1) Boolean $SEV_15 (54) [DISS] (1) protected Boolean enaDis1.truFalHol.outputTrue.oldActive (55) [ALGB] (1) protected Real enaDis.sub1.y (56) [DISC] (2) Boolean[2] $SEV_14[$i1] (57) [DISC] (1) Boolean $SEV_12 (58) [DISC] (1) Boolean $SEV_11 (59) [DISC] (1) Boolean $SEV_10 (60) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse1.outPort.occupied (61) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.outputTrue.inPort.occupied (62) [DISC] (1) protected Boolean enaDis.and1.y (63) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse.inPort.available (64) [DISC] (1) protected Boolean[1] enaDis.truFalHol.outputFalse.outPort.reset (65) [DISC] (1) Boolean $TEV_29 (66) [DISC] (1) Boolean $TEV_28 (67) [DISS] (1) protected Boolean enaDis.truFalHol.outputTrue.oldActive (68) [DISC] (1) Boolean $TEV_27 (69) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue.inPort.available (70) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.outputFalse.inPort.occupied (71) [DISC] (1) Boolean $TEV_25 (72) [DISC] (1) Boolean $TEV_23 (73) [DISC] (1) Boolean $TEV_22 (74) [DISC] (1) protected Boolean enaDis.truFalHol.initialStep.newActive (75) [DISC] (1) Boolean $TEV_21 (76) [DISC] (1) protected Boolean enaDis.intEqu1.y (77) [DISC] (1) Boolean $TEV_20 (78) [DISS] (1) protected Real enaDis.truFalHol.onDel2.t_next (79) [DISC] (2) protected Boolean[2] enaDis.truFalHol.outputFalse.inPort.set (80) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse.inPort.available (81) [DISS] (1) protected Boolean enaDis1.truFalHol.onDel1.y (82) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse1.outPort.set (83) [DISS] (1) protected Real enaDis1.truFalHol.onDel2.t_next (84) [ALGB] (1) protected flow Real enaDis1.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (85) [DISC] (1) Boolean $FUN_9 (86) [ALGB] (1) protected flow Real enaDis.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (87) [DISC] (1) Boolean $FUN_8 (88) [DISC] (1) Boolean $FUN_7 (89) [ALGB] (1) protected Real enaDis1.sub2.y (90) [DISC] (1) Boolean $FUN_6 (91) [DISC] (1) protected Boolean enaDis1.intEqu1.y (92) [DISC] (1) protected Boolean enaDis.truFalHol.outputTrue.newActive (93) [DISC] (1) Boolean $FUN_4 (94) [DISC] (1) protected Boolean enaDis1.truFalHol.outputFalse.outerStatePort.localActive = enaDis1.truFalHol.outputFalse.outerStatePort.localActive (95) [DISC] (1) Boolean $FUN_3 (96) [DISC] (1) Boolean $TEV_19 (97) [DISC] (1) Boolean $FUN_2 (98) [DISC] (1) Boolean $TEV_18 (99) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse.outPort.set (100) [DISC] (1) Boolean $FUN_1 (101) [DISC] (1) Boolean $TEV_17 (102) [DISC] (1) Boolean $TEV_16 (103) [DISC] (1) Boolean $TEV_14 (104) [DISC] (2) Boolean[2] $SEV_41[$i1] (105) [DISC] (1) Boolean $TEV_13 (106) [DISC] (2) Boolean[2] $SEV_13[$i1] (107) [DISC] (1) Boolean $TEV_12 (108) [DISC] (1) Boolean $TEV_11 (109) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue.outPort.occupied (110) [ALGB] (1) protected Real enaDis.sub2.y (111) [DISS] (1) protected Boolean enaDis1.truFalHol.initialStep.oldActive (112) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse.outPort.set (113) [DISC] (1) protected final Boolean enaDis.truFalHol.toTrue1.localCondition = enaDis.truFalHol.toTrue1.localCondition (114) [DISC] (1) protected Boolean enaDis1.truFalHol.outputTrue.outerStatePort.localActive = enaDis1.truFalHol.outputTrue.outerStatePort.localActive (115) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse.outPort.occupied (116) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.initialStep.outPort.available (117) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue1.outPort.set (118) [DISC] (2) protected Boolean[2] enaDis.truFalHol.initialStep.outPort.reset (119) [DISC] (1) protected Boolean[1] enaDis.truFalHol.outputTrue.outPort.available (120) [DISC] (1) protected Integer enaDis.truFalHol.stateGraphRoot.activeSteps (121) [DISC] (1) protected Boolean[1] enaDis.truFalHol.outputTrue.outPort.reset (122) [DISC] (1) Boolean $FUN_11 (123) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue1.outPort.occupied (124) [DISC] (1) Boolean $FUN_10 (125) [DISC] (1) protected Boolean enaDis.truFalHol.outputTrue.outerStatePort.localActive = enaDis.truFalHol.outputTrue.outerStatePort.localActive (126) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse1.outPort.occupied (127) [DISC] (1) protected Boolean enaDis1.truFalHol.initialStep.newActive (128) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue.outPort.set (129) [DISS] (1) protected Boolean enaDis1.truFalHol.onDel2.y (130) [ALGB] (1) protected Real enaDis1.minRetDamSwitch.y (131) [DISC] (1) Boolean $SEV_9 (132) [DISC] (1) Boolean $SEV_8 (133) [DISC] (1) Boolean $SEV_7 (134) [DISC] (1) Boolean $SEV_6 (135) [DISC] (1) Boolean $SEV_5 (136) [ALGB] (1) protected flow Real enaDis1.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (137) [DISC] (1) Boolean $SEV_4 (138) [ALGB] (1) protected flow Real enaDis.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (139) [DISC] (1) protected Boolean enaDis.truFalHol.outputFalse.outerStatePort.localActive = enaDis.truFalHol.outputFalse.outerStatePort.localActive (140) [DISC] (1) protected Boolean[1] enaDis1.truFalHol.outputFalse.outPort.available (141) [DISC] (1) protected Boolean enaDis1.nor1.y (142) [DISC] (1) protected Integer enaDis1.truFalHol.stateGraphRoot.activeSteps (143) [DISC] (1) protected final Boolean enaDis.truFalHol.toTrue.localCondition = enaDis.truFalHol.toTrue.localCondition (144) [ALGB] (1) protected flow Real enaDis.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (145) [DISC] (1) protected Boolean enaDis.intEqu.y (146) [DISC] (1) protected Boolean enaDis.nor1.y (147) [DISS] (1) protected Boolean enaDis.truFalHol.onDel1.y (148) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse1.inPort.available (149) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue1.inPort.available (150) [DISS] (1) protected Real enaDis.truFalHol.onDel1.t_next (151) [DISS] (1) protected Boolean enaDis.truFalHol.outputFalse.oldActive (152) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue1.outPort.set (153) [DISC] (2) protected Boolean[2] enaDis.truFalHol.outputFalse.inPort.occupied (154) [DISS] (1) protected Real enaDis1.truFalHol.onDel1.t_next (155) [DISC] (1) protected Boolean enaDis1.intEqu.y (156) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.outputTrue.inPort.set (157) [DISC] (2) Boolean[2] $SEV_44[$i1] (158) [DISC] (1) Boolean $SEV_48 (159) [DISC] (1) protected final Boolean enaDis1.truFalHol.toFalse.localCondition = enaDis1.truFalHol.toFalse.localCondition (160) [DISC] (1) Boolean $SEV_47 (161) [DISC] (1) Boolean $SEV_46 (162) [DISC] (1) Boolean $SEV_45 (163) [DISC] (2) Boolean[2] $SEV_22[$i1] (164) [DISC] (1) Boolean $SEV_43 (165) [DISC] (1) Boolean $SEV_42 (166) [DISC] (1) Boolean $SEV_40 (167) [DISC] (1) protected Boolean enaDis.truFalHol.outputFalse.newActive (168) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue.outPort.set (169) [DISC] (1) protected final Boolean enaDis1.truFalHol.toTrue1.localCondition = enaDis1.truFalHol.toTrue1.localCondition (170) [DISC] (1) protected Boolean[1] enaDis1.truFalHol.outputTrue.outPort.available (171) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue.inPort.available (172) [DISC] (2) protected Boolean[2] enaDis.truFalHol.outputTrue.inPort.occupied (173) [DISS] (1) protected Boolean enaDis.truFalHol.onDel2.y (174) [DISC] (1) Boolean $SEV_39 (175) [DISC] (1) Boolean $SEV_38 (176) [DISC] (1) Boolean $SEV_37 (177) [DISC] (1) Boolean $SEV_35 (178) [DISC] (1) Boolean $SEV_34 (179) [DISC] (1) protected Boolean enaDis.truFalHol.initialStep.outerStatePort.localActive = enaDis.truFalHol.initialStep.outerStatePort.localActive (180) [DISC] (1) Boolean $SEV_33 (181) [DISC] (1) Boolean $SEV_32 (182) [DISC] (1) Boolean $SEV_31 (183) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse1.outPort.set (184) [DISC] (1) Boolean $SEV_30 (185) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue1.outPort.occupied (186) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue1.inPort.available (187) [DISC] (1) protected Boolean[1] enaDis.truFalHol.outputFalse.outPort.available (188) [DISC] (1) protected Boolean enaDis1.truFalHol.outputFalse.newActive (189) [DISC] (1) protected Boolean[1] enaDis1.truFalHol.outputTrue.outPort.reset (190) [DISC] (2) protected Boolean[2] enaDis1.truFalHol.outputFalse.inPort.set (191) [DISC] (1) protected final Boolean enaDis.truFalHol.toFalse.localCondition = enaDis.truFalHol.toFalse.localCondition (192) [DISC] (1) protected Boolean enaDis1.truFalHol.toTrue.outPort.occupied (193) [DISC] (1) protected Boolean enaDis1.truFalHol.toFalse1.inPort.available (194) [DISC] (1) Boolean enaDis.andEnaDis.y (195) [DISC] (2) protected Boolean[2] enaDis.truFalHol.outputTrue.inPort.set (196) [DISC] (1) Boolean $TEV_41 (197) [DISC] (1) Boolean $TEV_40 system eqns Equations (213/232) ********************************* (1) [SCAL] (1) enaDis.truFalHol.outputTrue.outPort[1].reset = false ($RES_SIM_204) (2) [FOR-] (2) ($RES_SIM_205) (2) [----] for $i1 in 1:2 loop (2) [----] [SCAL] (1) enaDis.truFalHol.outputTrue.inPort[$i1].set = false ($RES_SIM_206) (2) [----] end for; (3) [SCAL] (1) enaDis.truFalHol.initialStep.outPort[2].reset = enaDis.truFalHol.toFalse1.outPort.set ($RES_SIM_364) (4) [WHEN] (1)when false then (4) [----] enaDis1.truFalHol.outputTrue.oldActive := enaDis1.truFalHol.outputTrue.outerStatePort.localActive (4) [----] end when; (5) [SCAL] (1) enaDis.truFalHol.initialStep.outPort[2].available = enaDis.truFalHol.toFalse1.inPort.available ($RES_SIM_365) (6) [SCAL] (1) enaDis.truFalHol.outputTrue.outPort[1].available = enaDis.truFalHol.outputTrue.outerStatePort.localActive ($RES_SIM_207) (7) [SCAL] (1) enaDis1.truFalHol.toTrue1.localCondition = not $SEV_10 ($RES_SIM_82) (8) [SCAL] (1) enaDis1.truFalHol.outputTrue.newActive = $SEV_20 ($RES_SIM_122) (9) [SCAL] (1) enaDis.truFalHol.initialStep.outPort[1].reset = enaDis.truFalHol.toTrue1.outPort.set ($RES_SIM_366) (10) [FOR-] (2) ($RES_SIM_208) (10) [----] for $i1 in 1:2 loop (10) [----] [SCAL] (1) enaDis.truFalHol.outputTrue.inPort[$i1].occupied = if $SEV_13[$i1] then enaDis.truFalHol.outputTrue.outerStatePort.localActive else $SEV_41[$i1] ($RES_SIM_209) (10) [----] end for; (11) [SCAL] (1) enaDis1.truFalHol.outputTrue.outerStatePort.localActive = $TEV_13 ($RES_SIM_123) (12) [SCAL] (1) enaDis.truFalHol.initialStep.outPort[1].available = enaDis.truFalHol.toTrue1.inPort.available ($RES_SIM_367) (13) [SCAL] (1) enaDis.truFalHol.toFalse1.outPort.set = enaDis.truFalHol.outputFalse.inPort[2].set ($RES_SIM_368) (14) [SCAL] (1) enaDis1.truFalHol.toFalse1.outPort.set = $SEV_11 ($RES_SIM_85) (15) [SCAL] (1) enaDis1.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if enaDis1.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_125) (16) [SCAL] (1) enaDis.truFalHol.toFalse1.outPort.occupied = enaDis.truFalHol.outputFalse.inPort[2].occupied ($RES_SIM_369) (17) [SCAL] (1) enaDis1.truFalHol.toTrue.outPort.set = $SEV_21 ($RES_SIM_129) (18) [SCAL] (1) $TEV_22 = $PRE.enaDis.hysOutTem.y ($RES_EVT_450) (19) [SCAL] (1) $TEV_23 = $PRE.enaDis.truFalHol.toFalse1.outPort.set ($RES_EVT_451) (20) [SCAL] (1) $TEV_25 = $PRE.enaDis.truFalHol.toTrue1.outPort.set ($RES_EVT_453) (21) [SCAL] (1) $TEV_27 = $PRE.enaDis.truFalHol.initialStep.oldActive ($RES_EVT_455) (22) [SCAL] (1) $TEV_28 = $PRE.enaDis.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_456) (23) [SCAL] (1) $TEV_29 = $PRE.enaDis.truFalHol.initialStep.newActive ($RES_EVT_457) (24) [SCAL] (1) $TEV_30 = $PRE.enaDis.truFalHol.toFalse.outPort.set ($RES_EVT_458) (25) [WHEN] (1)when false then (25) [----] enaDis.truFalHol.outputTrue.oldActive := enaDis.truFalHol.outputTrue.outerStatePort.localActive (25) [----] end when; (26) [SCAL] (1) enaDis.truFalHol.outputTrue.newActive = $SEV_42 ($RES_SIM_211) (27) [SCAL] (1) enaDis.truFalHol.toTrue.outPort.set = enaDis.truFalHol.outputTrue.inPort[2].set ($RES_SIM_370) (28) [SCAL] (1) enaDis.truFalHol.outputTrue.outerStatePort.localActive = $TEV_34 ($RES_SIM_212) (29) [SCAL] (1) enaDis.truFalHol.toTrue.outPort.occupied = enaDis.truFalHol.outputTrue.inPort[2].occupied ($RES_SIM_371) (30) [SCAL] (1) enaDis.truFalHol.toTrue1.outPort.set = enaDis.truFalHol.outputTrue.inPort[1].set ($RES_SIM_372) (31) [SCAL] (1) enaDis.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if enaDis.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_214) (32) [SCAL] (1) enaDis.truFalHol.toTrue1.outPort.occupied = enaDis.truFalHol.outputTrue.inPort[1].occupied ($RES_SIM_373) (33) [SCAL] (1) enaDis1.truFalHol.toTrue1.outPort.set = $SEV_12 ($RES_SIM_92) (34) [SCAL] (1) enaDis.truFalHol.toTrue.outPort.set = $SEV_43 ($RES_SIM_218) (35) [SCAL] (1) enaDis1.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_134) (36) [FOR-] (2) ($RES_SIM_135) (36) [----] for $i1 in 1:2 loop (36) [----] [SCAL] (1) enaDis1.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_136) (36) [----] end for; (37) [FOR-] (2) ($RES_SIM_97) (37) [----] for $i1 in 1:2 loop (37) [----] [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_98) (37) [----] end for; (38) [SCAL] (1) enaDis1.truFalHol.outputFalse.outPort[1].available = enaDis1.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_137) (39) [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[2].reset = enaDis1.truFalHol.toFalse1.outPort.set ($RES_SIM_296) (40) [FOR-] (2) ($RES_SIM_138) (40) [----] for $i1 in 1:2 loop (40) [----] [SCAL] (1) enaDis1.truFalHol.outputFalse.inPort[$i1].occupied = if $SEV_13[$i1] then enaDis1.truFalHol.outputFalse.outerStatePort.localActive else $SEV_22[$i1] ($RES_SIM_139) (40) [----] end for; (41) [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[2].available = enaDis1.truFalHol.toFalse1.inPort.available ($RES_SIM_297) (42) [FOR-] (2) ($RES_SIM_99) (42) [----] for $i1 in 1:2 loop (42) [----] [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[$i1].available = if $SEV_13[$i1] then enaDis1.truFalHol.initialStep.outerStatePort.localActive else $SEV_14[$i1] ($RES_SIM_100) (42) [----] end for; (43) [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[1].reset = enaDis1.truFalHol.toTrue1.outPort.set ($RES_SIM_298) (44) [SCAL] (1) enaDis1.truFalHol.initialStep.outPort[1].available = enaDis1.truFalHol.toTrue1.inPort.available ($RES_SIM_299) (45) [SCAL] (1) $TEV_32 = $PRE.enaDis.truFalHol.outputTrue.oldActive ($RES_EVT_460) (46) [SCAL] (1) $TEV_33 = $PRE.enaDis.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_461) (47) [SCAL] (1) $TEV_34 = $PRE.enaDis.truFalHol.outputTrue.newActive ($RES_EVT_462) (48) [SCAL] (1) $TEV_35 = $PRE.enaDis.truFalHol.toTrue.outPort.set ($RES_EVT_463) (49) [SCAL] (1) $TEV_37 = $PRE.enaDis.truFalHol.outputFalse.oldActive ($RES_EVT_465) (50) [SCAL] (1) $TEV_38 = $PRE.enaDis.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_466) (51) [SCAL] (1) $TEV_39 = $PRE.enaDis.truFalHol.outputFalse.newActive ($RES_EVT_467) (52) [SCAL] (1) $TEV_40 = $PRE.enaDis.truFalHol.onDel2.t_next ($RES_EVT_468) (53) [SCAL] (1) $TEV_41 = $PRE.enaDis.truFalHol.onDel1.t_next ($RES_EVT_469) (54) [SCAL] (1) enaDis1.truFalHol.toFalse1.outPort.set = enaDis1.truFalHol.outputFalse.inPort[2].set ($RES_SIM_300) (55) [SCAL] (1) enaDis1.truFalHol.toFalse1.outPort.occupied = enaDis1.truFalHol.outputFalse.inPort[2].occupied ($RES_SIM_301) (56) [SCAL] (1) enaDis1.truFalHol.toTrue.outPort.set = enaDis1.truFalHol.outputTrue.inPort[2].set ($RES_SIM_302) (57) [SCAL] (1) enaDis1.truFalHol.toTrue.outPort.occupied = enaDis1.truFalHol.outputTrue.inPort[2].occupied ($RES_SIM_303) (58) [SCAL] (1) enaDis1.truFalHol.toTrue1.outPort.set = enaDis1.truFalHol.outputTrue.inPort[1].set ($RES_SIM_304) (59) [SCAL] (1) enaDis1.truFalHol.toTrue1.outPort.occupied = enaDis1.truFalHol.outputTrue.inPort[1].occupied ($RES_SIM_305) (60) [SCAL] (1) enaDis.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_223) (61) [SCAL] (1) enaDis.truFalHol.toFalse.outPort.set = enaDis.truFalHol.outputFalse.inPort[1].set ($RES_SIM_382) (62) [FOR-] (2) ($RES_SIM_224) (62) [----] for $i1 in 1:2 loop (62) [----] [SCAL] (1) enaDis.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_225) (62) [----] end for; (63) [SCAL] (1) enaDis.truFalHol.toFalse.outPort.occupied = enaDis.truFalHol.outputFalse.inPort[1].occupied ($RES_SIM_383) (64) [WHEN] (1)when false then (64) [----] enaDis1.truFalHol.outputFalse.oldActive := enaDis1.truFalHol.outputFalse.outerStatePort.localActive (64) [----] end when; (65) [SCAL] (1) enaDis.truFalHol.outputFalse.outPort[1].reset = enaDis.truFalHol.toTrue.outPort.set ($RES_SIM_384) (66) [SCAL] (1) enaDis.truFalHol.outputFalse.outPort[1].available = enaDis.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_226) (67) [SCAL] (1) enaDis1.truFalHol.outputFalse.newActive = $SEV_23 ($RES_SIM_141) (68) [SCAL] (1) enaDis.truFalHol.outputFalse.outPort[1].available = enaDis.truFalHol.toTrue.inPort.available ($RES_SIM_385) (69) [FOR-] (2) ($RES_SIM_227) (69) [----] for $i1 in 1:2 loop (69) [----] [SCAL] (1) enaDis.truFalHol.outputFalse.inPort[$i1].occupied = if $SEV_13[$i1] then enaDis.truFalHol.outputFalse.outerStatePort.localActive else $SEV_44[$i1] ($RES_SIM_228) (69) [----] end for; (70) [SCAL] (1) enaDis1.truFalHol.outputFalse.outerStatePort.localActive = $TEV_18 ($RES_SIM_142) (71) [WHEN] (1)when false then (71) [----] enaDis.truFalHol.outputFalse.oldActive := enaDis.truFalHol.outputFalse.outerStatePort.localActive (71) [----] end when; (72) [SCAL] (1) enaDis1.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if enaDis1.truFalHol.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_144) (73) [SCAL] (1) enaDis.truFalHol.outputTrue.outPort[1].reset = enaDis.truFalHol.toFalse.outPort.set ($RES_SIM_388) (74) [SCAL] (1) enaDis.truFalHol.outputTrue.outPort[1].available = enaDis.truFalHol.toFalse.inPort.available ($RES_SIM_389) (75) [SCAL] (1) enaDis1.truFalHol.stateGraphRoot.activeSteps = -integer(enaDis1.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_148) (76) [WHEN] (1)when $SEV_24 then (76) [----] enaDis1.truFalHol.onDel2.t_next := enaDis1.truFalHol.onDel2.t_past (76) [----] else when not enaDis1.truFalHol.outputTrue.outerStatePort.localActive then (76) [----] enaDis1.truFalHol.onDel2.t_next := enaDis1.truFalHol.onDel2.t_past (76) [----] else when enaDis1.truFalHol.outputTrue.outerStatePort.localActive then (76) [----] enaDis1.truFalHol.onDel2.t_next := time + enaDis1.truFalHol.onDel2.delayTime (76) [----] else when initial() then (76) [----] enaDis1.truFalHol.onDel2.t_next := if not enaDis1.truFalHol.onDel2.delayOnInit then enaDis1.truFalHol.onDel2.t_past else time + enaDis1.truFalHol.onDel2.delayTime (76) [----] end when; (77) [SCAL] (1) $FUN_1 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.outputFalse.inPort.set) ($RES_$AUX_427) (78) [SCAL] (1) $FUN_2 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.outputFalse.outPort.reset) ($RES_$AUX_426) (79) [SCAL] (1) $SEV_4 = zonSta1.k == enaDis1.conInt1.k ($RES_EVT_474) (80) [SCAL] (1) $FUN_3 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.outputTrue.inPort.set) ($RES_$AUX_425) (81) [SCAL] (1) $SEV_5 = freProSta1.k == enaDis1.conInt.k ($RES_EVT_475) (82) [SCAL] (1) $FUN_4 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.outputTrue.outPort.reset) ($RES_$AUX_424) (83) [SCAL] (1) $SEV_6 = enaDis1.truFalHol.outputTrue.outerStatePort.localActive and supFanSta.k ($RES_EVT_476) (84) [SCAL] (1) $SEV_7 = enaDis1.hysOutTem.y or enaDis1.hysOutEnt.y ($RES_EVT_477) (85) [SCAL] (1) $FUN_6 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.initialStep.outPort.reset) ($RES_$AUX_422) (86) [SCAL] (1) $SEV_8 = not $PRE.enaDis1.hysOutEnt.y and enaDis1.sub2.y > enaDis1.hysOutEnt.uHigh or $PRE.enaDis1.hysOutEnt.y and enaDis1.sub2.y >= enaDis1.hysOutEnt.uLow ($RES_EVT_478) (87) [SCAL] (1) $FUN_7 = Modelica.Math.BooleanVectors.anyTrue(enaDis1.truFalHol.outputFalse.inPort.set) ($RES_$AUX_421) (88) [SCAL] (1) $SEV_9 = not $PRE.enaDis1.hysOutTem.y and enaDis1.sub1.y > enaDis1.hysOutTem.uHigh or $PRE.enaDis1.hysOutTem.y and enaDis1.sub1.y >= enaDis1.hysOutTem.uLow ($RES_EVT_479) (89) [SCAL] (1) $FUN_8 = Modelica.Math.BooleanVectors.anyTrue(enaDis1.truFalHol.outputFalse.outPort.reset) ($RES_$AUX_420) (90) [SCAL] (1) enaDis1.truFalHol.toFalse.outPort.set = enaDis1.truFalHol.outputFalse.inPort[1].set ($RES_SIM_314) (91) [SCAL] (1) enaDis1.truFalHol.toFalse.outPort.occupied = enaDis1.truFalHol.outputFalse.inPort[1].occupied ($RES_SIM_315) (92) [SCAL] (1) enaDis.truFalHol.outputFalse.newActive = $SEV_45 ($RES_SIM_230) (93) [SCAL] (1) enaDis1.truFalHol.outputFalse.outPort[1].reset = enaDis1.truFalHol.toTrue.outPort.set ($RES_SIM_316) (94) [SCAL] (1) enaDis.truFalHol.outputFalse.outerStatePort.localActive = $TEV_39 ($RES_SIM_231) (95) [SCAL] (1) enaDis1.truFalHol.outputFalse.outPort[1].available = enaDis1.truFalHol.toTrue.inPort.available ($RES_SIM_317) (96) [SCAL] (1) enaDis.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if enaDis.truFalHol.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_233) (97) [WHEN] (1)when $SEV_24 then (97) [----] enaDis1.truFalHol.onDel2.y := enaDis1.truFalHol.outputTrue.outerStatePort.localActive (97) [----] else when not enaDis1.truFalHol.outputTrue.outerStatePort.localActive then (97) [----] enaDis1.truFalHol.onDel2.y := false (97) [----] else when enaDis1.truFalHol.outputTrue.outerStatePort.localActive then (97) [----] enaDis1.truFalHol.onDel2.y := not enaDis1.truFalHol.onDel2.delayTime > 0.0 (97) [----] else when initial() then (97) [----] enaDis1.truFalHol.onDel2.y := if not (enaDis1.truFalHol.onDel2.delayOnInit and enaDis1.truFalHol.onDel2.delayTime > 0.0) then enaDis1.truFalHol.outputTrue.outerStatePort.localActive else false (97) [----] end when; (98) [WHEN] (1)when $SEV_25 then (98) [----] enaDis1.truFalHol.onDel1.y := enaDis1.truFalHol.outputFalse.outerStatePort.localActive (98) [----] else when not enaDis1.truFalHol.outputFalse.outerStatePort.localActive then (98) [----] enaDis1.truFalHol.onDel1.y := false (98) [----] else when enaDis1.truFalHol.outputFalse.outerStatePort.localActive then (98) [----] enaDis1.truFalHol.onDel1.y := not enaDis1.truFalHol.onDel1.delayTime > 0.0 (98) [----] else when initial() then (98) [----] enaDis1.truFalHol.onDel1.y := if not (enaDis1.truFalHol.onDel1.delayOnInit and enaDis1.truFalHol.onDel1.delayTime > 0.0) then enaDis1.truFalHol.outputFalse.outerStatePort.localActive else false (98) [----] end when; (99) [SCAL] (1) enaDis.truFalHol.stateGraphRoot.activeSteps = -integer(enaDis.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_237) (100) [WHEN] (1)when $SEV_25 then (100) [----] enaDis1.truFalHol.onDel1.t_next := enaDis1.truFalHol.onDel1.t_past (100) [----] else when not enaDis1.truFalHol.outputFalse.outerStatePort.localActive then (100) [----] enaDis1.truFalHol.onDel1.t_next := enaDis1.truFalHol.onDel1.t_past (100) [----] else when enaDis1.truFalHol.outputFalse.outerStatePort.localActive then (100) [----] enaDis1.truFalHol.onDel1.t_next := time + enaDis1.truFalHol.onDel1.delayTime (100) [----] else when initial() then (100) [----] enaDis1.truFalHol.onDel1.t_next := if not enaDis1.truFalHol.onDel1.delayOnInit then enaDis1.truFalHol.onDel1.t_past else time + enaDis1.truFalHol.onDel1.delayTime (100) [----] end when; (101) [WHEN] (1)when $SEV_46 then (101) [----] enaDis.truFalHol.onDel2.t_next := enaDis.truFalHol.onDel2.t_past (101) [----] else when not enaDis.truFalHol.outputTrue.outerStatePort.localActive then (101) [----] enaDis.truFalHol.onDel2.t_next := enaDis.truFalHol.onDel2.t_past (101) [----] else when enaDis.truFalHol.outputTrue.outerStatePort.localActive then (101) [----] enaDis.truFalHol.onDel2.t_next := time + enaDis.truFalHol.onDel2.delayTime (101) [----] else when initial() then (101) [----] enaDis.truFalHol.onDel2.t_next := if not enaDis.truFalHol.onDel2.delayOnInit then enaDis.truFalHol.onDel2.t_past else time + enaDis.truFalHol.onDel2.delayTime (101) [----] end when; (102) [SCAL] (1) enaDis1.andEnaDis.y = $SEV_26 ($RES_SIM_153) (103) [WHEN] (1)when $SEV_46 then (103) [----] enaDis.truFalHol.onDel2.y := enaDis.truFalHol.outputTrue.outerStatePort.localActive (103) [----] else when not enaDis.truFalHol.outputTrue.outerStatePort.localActive then (103) [----] enaDis.truFalHol.onDel2.y := false (103) [----] else when enaDis.truFalHol.outputTrue.outerStatePort.localActive then (103) [----] enaDis.truFalHol.onDel2.y := not enaDis.truFalHol.onDel2.delayTime > 0.0 (103) [----] else when initial() then (103) [----] enaDis.truFalHol.onDel2.y := if not (enaDis.truFalHol.onDel2.delayOnInit and enaDis.truFalHol.onDel2.delayTime > 0.0) then enaDis.truFalHol.outputTrue.outerStatePort.localActive else false (103) [----] end when; (104) [SCAL] (1) enaDis.intEqu1.y = $SEV_27 ($RES_SIM_156) (105) [SCAL] (1) enaDis.intEqu.y = $SEV_28 ($RES_SIM_158) (106) [SCAL] (1) $SEV_10 = enaDis1.entSubst1.k and enaDis1.nor1.y or not enaDis1.entSubst1.k and not enaDis1.nor1.y ($RES_EVT_480) (107) [SCAL] (1) $FUN_9 = Modelica.Math.BooleanVectors.anyTrue(enaDis1.truFalHol.outputTrue.inPort.set) ($RES_$AUX_419) (108) [SCAL] (1) $SEV_11 = (not enaDis1.truFalHol.toTrue1.localCondition and enaDis1.truFalHol.toFalse1.inPort.available) and not enaDis1.truFalHol.toFalse1.outPort.occupied ($RES_EVT_481) (109) [SCAL] (1) $FUN_10 = Modelica.Math.BooleanVectors.anyTrue(enaDis1.truFalHol.outputTrue.outPort.reset) ($RES_$AUX_418) (110) [SCAL] (1) $SEV_12 = (enaDis1.truFalHol.toTrue1.localCondition and enaDis1.truFalHol.toTrue1.inPort.available) and not enaDis1.truFalHol.toTrue1.outPort.occupied ($RES_EVT_482) (111) [SCAL] (1) $FUN_11 = Modelica.Math.BooleanVectors.anyTrue(enaDis1.truFalHol.initialStep.outPort.reset) ($RES_$AUX_417) (112) [FOR-] (2) ($RES_EVT_483) (112) [----] for $i1 in 1:2 loop (112) [----] [SCAL] (1) $SEV_13[$i1] = $i1 == 1 ($RES_EVT_484) (112) [----] end for; (113) [FOR-] (2) ($RES_EVT_485) (113) [----] for $i1 in 1:2 loop (113) [----] [SCAL] (1) $SEV_14[$i1] = enaDis1.truFalHol.initialStep.outPort[$i1 - 1].available and not enaDis1.truFalHol.initialStep.outPort[$i1 - 1].reset ($RES_EVT_486) (113) [----] end for; (114) [SCAL] (1) $SEV_15 = enaDis1.truFalHol.initialStep.outerStatePort.localActive and not $FUN_11 ($RES_EVT_487) (115) [SCAL] (1) $SEV_16 = enaDis1.truFalHol.onDel1.y and enaDis1.truFalHol.toTrue1.localCondition ($RES_EVT_488) (116) [SCAL] (1) $SEV_17 = enaDis1.truFalHol.onDel2.y and not enaDis1.truFalHol.toTrue1.localCondition ($RES_EVT_489) (117) [SCAL] (1) enaDis1.truFalHol.outputTrue.outPort[1].reset = enaDis1.truFalHol.toFalse.outPort.set ($RES_SIM_320) (118) [SCAL] (1) enaDis1.truFalHol.outputTrue.outPort[1].available = enaDis1.truFalHol.toFalse.inPort.available ($RES_SIM_321) (119) [WHEN] (1)when $SEV_47 then (119) [----] enaDis.truFalHol.onDel1.y := enaDis.truFalHol.outputFalse.outerStatePort.localActive (119) [----] else when not enaDis.truFalHol.outputFalse.outerStatePort.localActive then (119) [----] enaDis.truFalHol.onDel1.y := false (119) [----] else when enaDis.truFalHol.outputFalse.outerStatePort.localActive then (119) [----] enaDis.truFalHol.onDel1.y := not enaDis.truFalHol.onDel1.delayTime > 0.0 (119) [----] else when initial() then (119) [----] enaDis.truFalHol.onDel1.y := if not (enaDis.truFalHol.onDel1.delayOnInit and enaDis.truFalHol.onDel1.delayTime > 0.0) then enaDis.truFalHol.outputFalse.outerStatePort.localActive else false (119) [----] end when; (120) [WHEN] (1)when $SEV_47 then (120) [----] enaDis.truFalHol.onDel1.t_next := enaDis.truFalHol.onDel1.t_past (120) [----] else when not enaDis.truFalHol.outputFalse.outerStatePort.localActive then (120) [----] enaDis.truFalHol.onDel1.t_next := enaDis.truFalHol.onDel1.t_past (120) [----] else when enaDis.truFalHol.outputFalse.outerStatePort.localActive then (120) [----] enaDis.truFalHol.onDel1.t_next := time + enaDis.truFalHol.onDel1.delayTime (120) [----] else when initial() then (120) [----] enaDis.truFalHol.onDel1.t_next := if not enaDis.truFalHol.onDel1.delayOnInit then enaDis.truFalHol.onDel1.t_past else time + enaDis.truFalHol.onDel1.delayTime (120) [----] end when; (121) [SCAL] (1) enaDis.andEnaDis.y = $SEV_48 ($RES_SIM_242) (122) [SCAL] (1) enaDis1.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps + enaDis1.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps + enaDis1.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps + enaDis1.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_243) (123) [SCAL] (1) enaDis.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps + enaDis.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps + enaDis.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps + enaDis.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_244) (124) [SCAL] (1) enaDis.and1.y = $SEV_29 ($RES_SIM_160) (125) [SCAL] (1) enaDis.nor1.y = not $SEV_30 ($RES_SIM_162) (126) [SCAL] (1) enaDis.minRetDamSwitch.y = if not enaDis.andEnaDis.y then enaDis.retDamPhyPosMaxSig.k else enaDis.retDamPhyPosMinSig.k ($RES_SIM_163) (127) [SCAL] (1) enaDis.outDamSwitch.y = if not enaDis.andEnaDis.y then outDamPosMin.k else outDamPosMax.k ($RES_SIM_164) (128) [SCAL] (1) enaDis.sub1.y = TOutBelowCutoff.k - TOutCut.k ($RES_SIM_165) (129) [SCAL] (1) enaDis.sub2.y = hOutBelowCutoff.k - hOutCut.k ($RES_SIM_166) (130) [SCAL] (1) enaDis.hysOutEnt.y = $SEV_31 ($RES_SIM_167) (131) [SCAL] (1) enaDis.hysOutTem.y = $SEV_32 ($RES_SIM_168) (132) [SCAL] (1) $SEV_18 = (enaDis1.truFalHol.toFalse.localCondition and enaDis1.truFalHol.toFalse.inPort.available) and not enaDis1.truFalHol.toFalse.outPort.occupied ($RES_EVT_490) (133) [FOR-] (2) ($RES_EVT_491) (133) [----] for $i1 in 1:2 loop (133) [----] [SCAL] (1) $SEV_19[$i1] = enaDis1.truFalHol.outputTrue.inPort[$i1 - 1].occupied or enaDis1.truFalHol.outputTrue.inPort[$i1 - 1].set ($RES_EVT_492) (133) [----] end for; (134) [SCAL] (1) $SEV_20 = $FUN_9 or enaDis1.truFalHol.outputTrue.outerStatePort.localActive and not $FUN_10 ($RES_EVT_493) (135) [SCAL] (1) $SEV_21 = (enaDis1.truFalHol.toTrue.localCondition and enaDis1.truFalHol.toTrue.inPort.available) and not enaDis1.truFalHol.toTrue.outPort.occupied ($RES_EVT_494) (136) [FOR-] (2) ($RES_EVT_495) (136) [----] for $i1 in 1:2 loop (136) [----] [SCAL] (1) $SEV_22[$i1] = enaDis1.truFalHol.outputFalse.inPort[$i1 - 1].occupied or enaDis1.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_496) (136) [----] end for; (137) [SCAL] (1) $SEV_23 = $FUN_7 or enaDis1.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_8 ($RES_EVT_497) (138) [SCAL] (1) $SEV_24 = time >= $PRE.enaDis1.truFalHol.onDel2.t_next ($RES_EVT_498) (139) [SCAL] (1) $SEV_25 = time >= $PRE.enaDis1.truFalHol.onDel1.t_next ($RES_EVT_499) (140) [SCAL] (1) $SEV_26 = (enaDis1.and1.y and enaDis1.intEqu.y) and not enaDis1.intEqu1.y ($RES_EVT_500) (141) [SCAL] (1) $SEV_27 = zonSta.k == enaDis.conInt1.k ($RES_EVT_501) (142) [SCAL] (1) enaDis.truFalHol.toTrue1.localCondition = not $SEV_33 ($RES_SIM_171) (143) [SCAL] (1) $SEV_28 = freProSta.k == enaDis.conInt.k ($RES_EVT_502) (144) [SCAL] (1) $SEV_29 = enaDis.truFalHol.outputTrue.outerStatePort.localActive and supFanSta.k ($RES_EVT_503) (145) [SCAL] (1) $SEV_30 = enaDis.hysOutTem.y or enaDis.hysOutEnt.y ($RES_EVT_504) (146) [SCAL] (1) enaDis.truFalHol.toFalse1.outPort.set = $SEV_34 ($RES_SIM_174) (147) [SCAL] (1) $SEV_31 = not $PRE.enaDis.hysOutEnt.y and enaDis.sub2.y > enaDis.hysOutEnt.uHigh or $PRE.enaDis.hysOutEnt.y and enaDis.sub2.y >= enaDis.hysOutEnt.uLow ($RES_EVT_505) (148) [SCAL] (1) $SEV_32 = not $PRE.enaDis.hysOutTem.y and enaDis.sub1.y > enaDis.hysOutTem.uHigh or $PRE.enaDis.hysOutTem.y and enaDis.sub1.y >= enaDis.hysOutTem.uLow ($RES_EVT_506) (149) [SCAL] (1) $SEV_33 = enaDis.entSubst1.k and enaDis.nor1.y or not enaDis.entSubst1.k and not enaDis.nor1.y ($RES_EVT_507) (150) [SCAL] (1) $SEV_34 = (not enaDis.truFalHol.toTrue1.localCondition and enaDis.truFalHol.toFalse1.inPort.available) and not enaDis.truFalHol.toFalse1.outPort.occupied ($RES_EVT_508) (151) [SCAL] (1) $SEV_35 = (enaDis.truFalHol.toTrue1.localCondition and enaDis.truFalHol.toTrue1.inPort.available) and not enaDis.truFalHol.toTrue1.outPort.occupied ($RES_EVT_509) (152) [SCAL] (1) $TEV_0 = $PRE.enaDis1.hysOutEnt.y ($RES_EVT_428) (153) [SCAL] (1) $TEV_1 = $PRE.enaDis1.hysOutTem.y ($RES_EVT_429) (154) [WHEN] (1)when false then (154) [----] enaDis1.truFalHol.initialStep.oldActive := enaDis1.truFalHol.initialStep.outerStatePort.localActive (154) [----] end when; (155) [SCAL] (1) enaDis1.truFalHol.initialStep.newActive = $SEV_15 ($RES_SIM_102) (156) [SCAL] (1) enaDis1.truFalHol.initialStep.outerStatePort.localActive = $TEV_8 ($RES_SIM_103) (157) [SCAL] (1) enaDis1.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if enaDis1.truFalHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_105) (158) [SCAL] (1) enaDis1.truFalHol.toTrue.localCondition = $SEV_16 ($RES_SIM_106) (159) [FOR-] (2) ($RES_EVT_510) (159) [----] for $i1 in 1:2 loop (159) [----] [SCAL] (1) $SEV_36[$i1] = enaDis.truFalHol.initialStep.outPort[$i1 - 1].available and not enaDis.truFalHol.initialStep.outPort[$i1 - 1].reset ($RES_EVT_511) (159) [----] end for; (160) [SCAL] (1) enaDis1.intEqu1.y = $SEV_4 ($RES_SIM_67) (161) [SCAL] (1) enaDis1.truFalHol.toFalse.localCondition = $SEV_17 ($RES_SIM_107) (162) [SCAL] (1) enaDis.truFalHol.toTrue1.outPort.set = $SEV_35 ($RES_SIM_181) (163) [SCAL] (1) $SEV_37 = enaDis.truFalHol.initialStep.outerStatePort.localActive and not $FUN_6 ($RES_EVT_512) (164) [SCAL] (1) enaDis1.intEqu.y = $SEV_5 ($RES_SIM_69) (165) [SCAL] (1) $SEV_38 = enaDis.truFalHol.onDel1.y and enaDis.truFalHol.toTrue1.localCondition ($RES_EVT_513) (166) [SCAL] (1) $SEV_39 = enaDis.truFalHol.onDel2.y and not enaDis.truFalHol.toTrue1.localCondition ($RES_EVT_514) (167) [SCAL] (1) $SEV_40 = (enaDis.truFalHol.toFalse.localCondition and enaDis.truFalHol.toFalse.inPort.available) and not enaDis.truFalHol.toFalse.outPort.occupied ($RES_EVT_515) (168) [SCAL] (1) $TEV_2 = $PRE.enaDis1.truFalHol.toFalse1.outPort.set ($RES_EVT_430) (169) [FOR-] (2) ($RES_EVT_516) (169) [----] for $i1 in 1:2 loop (169) [----] [SCAL] (1) $SEV_41[$i1] = enaDis.truFalHol.outputTrue.inPort[$i1 - 1].occupied or enaDis.truFalHol.outputTrue.inPort[$i1 - 1].set ($RES_EVT_517) (169) [----] end for; (170) [FOR-] (2) ($RES_SIM_186) (170) [----] for $i1 in 1:2 loop (170) [----] [SCAL] (1) enaDis.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_187) (170) [----] end for; (171) [SCAL] (1) $TEV_4 = $PRE.enaDis1.truFalHol.toTrue1.outPort.set ($RES_EVT_432) (172) [SCAL] (1) $SEV_42 = $FUN_3 or enaDis.truFalHol.outputTrue.outerStatePort.localActive and not $FUN_4 ($RES_EVT_518) (173) [FOR-] (2) ($RES_SIM_188) (173) [----] for $i1 in 1:2 loop (173) [----] [SCAL] (1) enaDis.truFalHol.initialStep.outPort[$i1].available = if $SEV_13[$i1] then enaDis.truFalHol.initialStep.outerStatePort.localActive else $SEV_36[$i1] ($RES_SIM_189) (173) [----] end for; (174) [SCAL] (1) $SEV_43 = (enaDis.truFalHol.toTrue.localCondition and enaDis.truFalHol.toTrue.inPort.available) and not enaDis.truFalHol.toTrue.outPort.occupied ($RES_EVT_519) (175) [SCAL] (1) $TEV_6 = $PRE.enaDis1.truFalHol.initialStep.oldActive ($RES_EVT_434) (176) [SCAL] (1) $TEV_7 = $PRE.enaDis1.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_435) (177) [SCAL] (1) $TEV_8 = $PRE.enaDis1.truFalHol.initialStep.newActive ($RES_EVT_436) (178) [SCAL] (1) $TEV_9 = $PRE.enaDis1.truFalHol.toFalse.outPort.set ($RES_EVT_437) (179) [SCAL] (1) $TEV_11 = $PRE.enaDis1.truFalHol.outputTrue.oldActive ($RES_EVT_439) (180) [SCAL] (1) enaDis1.truFalHol.toFalse.outPort.set = $SEV_18 ($RES_SIM_110) (181) [SCAL] (1) enaDis1.and1.y = $SEV_6 ($RES_SIM_71) (182) [SCAL] (1) enaDis1.nor1.y = not $SEV_7 ($RES_SIM_73) (183) [SCAL] (1) enaDis1.minRetDamSwitch.y = if not enaDis1.andEnaDis.y then enaDis1.retDamPhyPosMaxSig.k else enaDis1.retDamPhyPosMinSig.k ($RES_SIM_74) (184) [SCAL] (1) enaDis1.outDamSwitch.y = if not enaDis1.andEnaDis.y then outDamPosMin.k else outDamPosMax.k ($RES_SIM_75) (185) [SCAL] (1) enaDis1.truFalHol.outputTrue.outPort[1].reset = false ($RES_SIM_115) (186) [SCAL] (1) enaDis1.sub1.y = TOutBelowCutoff.k - TOutCut.k ($RES_SIM_76) (187) [FOR-] (2) ($RES_SIM_116) (187) [----] for $i1 in 1:2 loop (187) [----] [SCAL] (1) enaDis1.truFalHol.outputTrue.inPort[$i1].set = false ($RES_SIM_117) (187) [----] end for; (188) [FOR-] (2) ($RES_EVT_520) (188) [----] for $i1 in 1:2 loop (188) [----] [SCAL] (1) $SEV_44[$i1] = enaDis.truFalHol.outputFalse.inPort[$i1 - 1].occupied or enaDis.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_521) (188) [----] end for; (189) [SCAL] (1) enaDis1.sub2.y = hOutBelowCutoff.k - hOutCut.k ($RES_SIM_77) (190) [WHEN] (1)when false then (190) [----] enaDis.truFalHol.initialStep.oldActive := enaDis.truFalHol.initialStep.outerStatePort.localActive (190) [----] end when; (191) [SCAL] (1) enaDis1.hysOutEnt.y = $SEV_8 ($RES_SIM_78) (192) [SCAL] (1) enaDis.truFalHol.initialStep.newActive = $SEV_37 ($RES_SIM_191) (193) [SCAL] (1) enaDis1.truFalHol.outputTrue.outPort[1].available = enaDis1.truFalHol.outputTrue.outerStatePort.localActive ($RES_SIM_118) (194) [SCAL] (1) $SEV_45 = $FUN_1 or enaDis.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_2 ($RES_EVT_522) (195) [SCAL] (1) enaDis1.hysOutTem.y = $SEV_9 ($RES_SIM_79) (196) [SCAL] (1) enaDis.truFalHol.initialStep.outerStatePort.localActive = $TEV_29 ($RES_SIM_192) (197) [FOR-] (2) ($RES_SIM_119) (197) [----] for $i1 in 1:2 loop (197) [----] [SCAL] (1) enaDis1.truFalHol.outputTrue.inPort[$i1].occupied = if $SEV_13[$i1] then enaDis1.truFalHol.outputTrue.outerStatePort.localActive else $SEV_19[$i1] ($RES_SIM_120) (197) [----] end for; (198) [SCAL] (1) $SEV_46 = time >= $PRE.enaDis.truFalHol.onDel2.t_next ($RES_EVT_523) (199) [SCAL] (1) $SEV_47 = time >= $PRE.enaDis.truFalHol.onDel1.t_next ($RES_EVT_524) (200) [SCAL] (1) enaDis.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if enaDis.truFalHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_194) (201) [SCAL] (1) $SEV_48 = (enaDis.and1.y and enaDis.intEqu.y) and not enaDis.intEqu1.y ($RES_EVT_525) (202) [SCAL] (1) $TEV_12 = $PRE.enaDis1.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_440) (203) [SCAL] (1) enaDis.truFalHol.toTrue.localCondition = $SEV_38 ($RES_SIM_195) (204) [SCAL] (1) $TEV_13 = $PRE.enaDis1.truFalHol.outputTrue.newActive ($RES_EVT_441) (205) [SCAL] (1) enaDis.truFalHol.toFalse.localCondition = $SEV_39 ($RES_SIM_196) (206) [SCAL] (1) $TEV_14 = $PRE.enaDis1.truFalHol.toTrue.outPort.set ($RES_EVT_442) (207) [SCAL] (1) $TEV_16 = $PRE.enaDis1.truFalHol.outputFalse.oldActive ($RES_EVT_444) (208) [SCAL] (1) enaDis.truFalHol.toFalse.outPort.set = $SEV_40 ($RES_SIM_199) (209) [SCAL] (1) $TEV_17 = $PRE.enaDis1.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_445) (210) [SCAL] (1) $TEV_18 = $PRE.enaDis1.truFalHol.outputFalse.newActive ($RES_EVT_446) (211) [SCAL] (1) $TEV_19 = $PRE.enaDis1.truFalHol.onDel2.t_next ($RES_EVT_447) (212) [SCAL] (1) $TEV_20 = $PRE.enaDis1.truFalHol.onDel1.t_next ($RES_EVT_448) (213) [SCAL] (1) $TEV_21 = $PRE.enaDis.hysOutEnt.y ($RES_EVT_449) =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 140 var 2 --> eqn 200 var 3 --> eqn 213 var 4 --> eqn 156 var 5 --> eqn 155 var 6 --> eqn 153 var 7 --> eqn 152 var 8 --> eqn 141 var 9 --> eqn 151 var 10 --> eqn 209 var 11 --> eqn 150 var 12 --> eqn 149 var 13 --> eqn 80 var 14 --> eqn 19 var 15 --> eqn 188 var 16 --> eqn 189 var 17 --> eqn 9 var 18 --> eqn 71 var 19 --> eqn 145 var 20 --> eqn 194 var 21 --> eqn 193 var 22 --> eqn 192 var 23 --> eqn 136 var 24 --> eqn 110 var 25 --> eqn 191 var 26 --> eqn 186 var 27 --> eqn 181 var 28 --> eqn 165 var 29 --> eqn 133 var 30 --> eqn 137 var 31 --> eqn 164 var 32 --> eqn 57 var 33 --> eqn 202 var 34 --> eqn 56 var 35 --> eqn 55 var 36 --> eqn 54 var 37 --> eqn 53 var 38 --> eqn 52 var 39 --> eqn 51 var 40 --> eqn 168 var 41 --> eqn 37 var 42 --> eqn 40 var 43 --> eqn 41 var 44 --> eqn 197 var 45 --> eqn 26 var 46 --> eqn 17 var 47 --> eqn 208 var 48 --> eqn 143 var 49 --> eqn 144 var 50 --> eqn 70 var 51 --> eqn 170 var 52 --> eqn 171 var 53 --> eqn 172 var 54 --> eqn 142 var 55 --> eqn 126 var 56 --> eqn 125 var 57 --> eqn 124 var 58 --> eqn 5 var 59 --> eqn 138 var 60 --> eqn 122 var 61 --> eqn 123 var 62 --> eqn 35 var 63 --> eqn 116 var 64 --> eqn 114 var 65 --> eqn 61 var 66 --> eqn 215 var 67 --> eqn 216 var 68 --> eqn 134 var 69 --> eqn 82 var 70 --> eqn 66 var 71 --> eqn 25 var 72 --> eqn 24 var 73 --> eqn 27 var 74 --> eqn 23 var 75 --> eqn 75 var 76 --> eqn 44 var 77 --> eqn 45 var 78 --> eqn 22 var 79 --> eqn 21 var 80 --> eqn 20 var 81 --> eqn 210 var 82 --> eqn 232 var 83 --> eqn 112 var 84 --> eqn 231 var 85 --> eqn 109 var 86 --> eqn 67 var 87 --> eqn 15 var 88 --> eqn 128 var 89 --> eqn 106 var 90 --> eqn 4 var 91 --> eqn 84 var 92 --> eqn 169 var 93 --> eqn 115 var 94 --> eqn 219 var 95 --> eqn 97 var 96 --> eqn 95 var 97 --> eqn 207 var 98 --> eqn 93 var 99 --> eqn 173 var 100 --> eqn 28 var 101 --> eqn 90 var 102 --> eqn 78 var 103 --> eqn 88 var 104 --> eqn 230 var 105 --> eqn 86 var 106 --> eqn 229 var 107 --> eqn 98 var 108 --> eqn 85 var 109 --> eqn 228 var 110 --> eqn 226 var 111 --> eqn 225 var 112 --> eqn 182 var 113 --> eqn 183 var 114 --> eqn 223 var 115 --> eqn 120 var 116 --> eqn 121 var 117 --> eqn 221 var 118 --> eqn 195 var 119 --> eqn 31 var 120 --> eqn 139 var 121 --> eqn 166 var 122 --> eqn 81 var 123 --> eqn 154 var 124 --> eqn 13 var 125 --> eqn 99 var 126 --> eqn 47 var 127 --> eqn 48 var 128 --> eqn 49 var 129 --> eqn 184 var 130 --> eqn 185 var 131 --> eqn 7 var 132 --> eqn 107 var 133 --> eqn 1 var 134 --> eqn 119 var 135 --> eqn 34 var 136 --> eqn 117 var 137 --> eqn 30 var 138 --> eqn 18 var 139 --> eqn 167 var 140 --> eqn 29 var 141 --> eqn 105 var 142 --> eqn 199 var 143 --> eqn 96 var 144 --> eqn 94 var 145 --> eqn 92 var 146 --> eqn 91 var 147 --> eqn 89 var 148 --> eqn 132 var 149 --> eqn 87 var 150 --> eqn 33 var 151 --> eqn 102 var 152 --> eqn 42 var 153 --> eqn 198 var 154 --> eqn 83 var 155 --> eqn 222 var 156 --> eqn 104 var 157 --> eqn 113 var 158 --> eqn 135 var 159 --> eqn 129 var 160 --> eqn 6 var 161 --> eqn 14 var 162 --> eqn 130 var 163 --> eqn 79 var 164 --> eqn 10 var 165 --> eqn 76 var 166 --> eqn 77 var 167 --> eqn 108 var 168 --> eqn 177 var 169 --> eqn 64 var 170 --> eqn 62 var 171 --> eqn 205 var 172 --> eqn 206 var 173 --> eqn 220 var 174 --> eqn 174 var 175 --> eqn 218 var 176 --> eqn 217 var 177 --> eqn 212 var 178 --> eqn 147 var 179 --> eqn 148 var 180 --> eqn 36 var 181 --> eqn 187 var 182 --> eqn 180 var 183 --> eqn 100 var 184 --> eqn 101 var 185 --> eqn 8 var 186 --> eqn 211 var 187 --> eqn 103 var 188 --> eqn 11 var 189 --> eqn 12 var 190 --> eqn 111 var 191 --> eqn 179 var 192 --> eqn 178 var 193 --> eqn 176 var 194 --> eqn 163 var 195 --> eqn 158 var 196 --> eqn 214 var 197 --> eqn 161 var 198 --> eqn 160 var 199 --> eqn 159 var 200 --> eqn 16 var 201 --> eqn 157 var 202 --> eqn 65 var 203 --> eqn 50 var 204 --> eqn 73 var 205 --> eqn 74 var 206 --> eqn 127 var 207 --> eqn 38 var 208 --> eqn 39 var 209 --> eqn 224 var 210 --> eqn 63 var 211 --> eqn 46 var 212 --> eqn 131 var 213 --> eqn 2 var 214 --> eqn 3 var 215 --> eqn 59 var 216 --> eqn 58 equation to variable ********************** eqn 1 --> var 133 eqn 2 --> var 213 eqn 3 --> var 214 eqn 4 --> var 90 eqn 5 --> var 58 eqn 6 --> var 160 eqn 7 --> var 131 eqn 8 --> var 185 eqn 9 --> var 17 eqn 10 --> var 164 eqn 11 --> var 188 eqn 12 --> var 189 eqn 13 --> var 124 eqn 14 --> var 161 eqn 15 --> var 87 eqn 16 --> var 200 eqn 17 --> var 46 eqn 18 --> var 138 eqn 19 --> var 14 eqn 20 --> var 80 eqn 21 --> var 79 eqn 22 --> var 78 eqn 23 --> var 74 eqn 24 --> var 72 eqn 25 --> var 71 eqn 26 --> var 45 eqn 27 --> var 73 eqn 28 --> var 100 eqn 29 --> var 140 eqn 30 --> var 137 eqn 31 --> var 119 eqn 32 --> var -1 eqn 33 --> var 150 eqn 34 --> var 135 eqn 35 --> var 62 eqn 36 --> var 180 eqn 37 --> var 41 eqn 38 --> var 207 eqn 39 --> var 208 eqn 40 --> var 42 eqn 41 --> var 43 eqn 42 --> var 152 eqn 43 --> var -1 eqn 44 --> var 76 eqn 45 --> var 77 eqn 46 --> var 211 eqn 47 --> var 126 eqn 48 --> var 127 eqn 49 --> var 128 eqn 50 --> var 203 eqn 51 --> var 39 eqn 52 --> var 38 eqn 53 --> var 37 eqn 54 --> var 36 eqn 55 --> var 35 eqn 56 --> var 34 eqn 57 --> var 32 eqn 58 --> var 216 eqn 59 --> var 215 eqn 60 --> var -1 eqn 61 --> var 65 eqn 62 --> var 170 eqn 63 --> var 210 eqn 64 --> var 169 eqn 65 --> var 202 eqn 66 --> var 70 eqn 67 --> var 86 eqn 68 --> var -1 eqn 69 --> var -1 eqn 70 --> var 50 eqn 71 --> var 18 eqn 72 --> var -1 eqn 73 --> var 204 eqn 74 --> var 205 eqn 75 --> var 75 eqn 76 --> var 165 eqn 77 --> var 166 eqn 78 --> var 102 eqn 79 --> var 163 eqn 80 --> var 13 eqn 81 --> var 122 eqn 82 --> var 69 eqn 83 --> var 154 eqn 84 --> var 91 eqn 85 --> var 108 eqn 86 --> var 105 eqn 87 --> var 149 eqn 88 --> var 103 eqn 89 --> var 147 eqn 90 --> var 101 eqn 91 --> var 146 eqn 92 --> var 145 eqn 93 --> var 98 eqn 94 --> var 144 eqn 95 --> var 96 eqn 96 --> var 143 eqn 97 --> var 95 eqn 98 --> var 107 eqn 99 --> var 125 eqn 100 --> var 183 eqn 101 --> var 184 eqn 102 --> var 151 eqn 103 --> var 187 eqn 104 --> var 156 eqn 105 --> var 141 eqn 106 --> var 89 eqn 107 --> var 132 eqn 108 --> var 167 eqn 109 --> var 85 eqn 110 --> var 24 eqn 111 --> var 190 eqn 112 --> var 83 eqn 113 --> var 157 eqn 114 --> var 64 eqn 115 --> var 93 eqn 116 --> var 63 eqn 117 --> var 136 eqn 118 --> var -1 eqn 119 --> var 134 eqn 120 --> var 115 eqn 121 --> var 116 eqn 122 --> var 60 eqn 123 --> var 61 eqn 124 --> var 57 eqn 125 --> var 56 eqn 126 --> var 55 eqn 127 --> var 206 eqn 128 --> var 88 eqn 129 --> var 159 eqn 130 --> var 162 eqn 131 --> var 212 eqn 132 --> var 148 eqn 133 --> var 29 eqn 134 --> var 68 eqn 135 --> var 158 eqn 136 --> var 23 eqn 137 --> var 30 eqn 138 --> var 59 eqn 139 --> var 120 eqn 140 --> var 1 eqn 141 --> var 8 eqn 142 --> var 54 eqn 143 --> var 48 eqn 144 --> var 49 eqn 145 --> var 19 eqn 146 --> var -1 eqn 147 --> var 178 eqn 148 --> var 179 eqn 149 --> var 12 eqn 150 --> var 11 eqn 151 --> var 9 eqn 152 --> var 7 eqn 153 --> var 6 eqn 154 --> var 123 eqn 155 --> var 5 eqn 156 --> var 4 eqn 157 --> var 201 eqn 158 --> var 195 eqn 159 --> var 199 eqn 160 --> var 198 eqn 161 --> var 197 eqn 162 --> var -1 eqn 163 --> var 194 eqn 164 --> var 31 eqn 165 --> var 28 eqn 166 --> var 121 eqn 167 --> var 139 eqn 168 --> var 40 eqn 169 --> var 92 eqn 170 --> var 51 eqn 171 --> var 52 eqn 172 --> var 53 eqn 173 --> var 99 eqn 174 --> var 174 eqn 175 --> var -1 eqn 176 --> var 193 eqn 177 --> var 168 eqn 178 --> var 192 eqn 179 --> var 191 eqn 180 --> var 182 eqn 181 --> var 27 eqn 182 --> var 112 eqn 183 --> var 113 eqn 184 --> var 129 eqn 185 --> var 130 eqn 186 --> var 26 eqn 187 --> var 181 eqn 188 --> var 15 eqn 189 --> var 16 eqn 190 --> var -1 eqn 191 --> var 25 eqn 192 --> var 22 eqn 193 --> var 21 eqn 194 --> var 20 eqn 195 --> var 118 eqn 196 --> var -1 eqn 197 --> var 44 eqn 198 --> var 153 eqn 199 --> var 142 eqn 200 --> var 2 eqn 201 --> var -1 eqn 202 --> var 33 eqn 203 --> var -1 eqn 204 --> var -1 eqn 205 --> var 171 eqn 206 --> var 172 eqn 207 --> var 97 eqn 208 --> var 47 eqn 209 --> var 10 eqn 210 --> var 81 eqn 211 --> var 186 eqn 212 --> var 177 eqn 213 --> var 3 eqn 214 --> var 196 eqn 215 --> var 66 eqn 216 --> var 67 eqn 217 --> var 176 eqn 218 --> var 175 eqn 219 --> var 94 eqn 220 --> var 173 eqn 221 --> var 117 eqn 222 --> var 155 eqn 223 --> var 114 eqn 224 --> var 209 eqn 225 --> var 111 eqn 226 --> var 110 eqn 227 --> var -1 eqn 228 --> var 109 eqn 229 --> var 106 eqn 230 --> var 104 eqn 231 --> var 84 eqn 232 --> var 82