Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_9_Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.VAV.Economizers.Subsequences.Validation.Enable_FreProSta.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.AHUs.MultiZone.VAV.Economizers.Subsequences.Validation.Enable_FreProSta,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|enaDis.yOutDam_max|enaDis.yRetDam_min|enaDis.yRetDam_max|enaDis.andEnaDis.y|enaDis.truFalHol.y|freProSta1.y",fileNamePrefix="Buildings_9_Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.VAV.Economizers.Subsequences.Validation.Enable_FreProSta") translateModel(Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.VAV.Economizers.Subsequences.Validation.Enable_FreProSta,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|enaDis.yOutDam_max|enaDis.yRetDam_min|enaDis.yRetDam_max|enaDis.andEnaDis.y|enaDis.truFalHol.y|freProSta1.y",fileNamePrefix="Buildings_9_Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.VAV.Economizers.Subsequences.Validation.Enable_FreProSta") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001185/0.001185, allocations: 107.3 kB / 16.42 MB, free: 6.488 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.001103/0.001103, allocations: 185.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.169/1.169, 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.941/1.941, allocations: 390.2 MB / 0.6655 GB, free: 0.6484 MB / 0.5294 GB Notification: Performance of FrontEnd - Absyn->SCode: time 3.758e-05/3.77e-05, allocations: 2.281 kB / 0.9515 GB, free: 7.664 MB / 0.7325 GB Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.ASHRAE.G36.AHUs.MultiZone.VAV.Economizers.Subsequences.Validation.Enable_FreProSta): time 0.003649/0.003706, allocations: 2.923 MB / 0.9544 GB, free: 4.719 MB / 0.7325 GB Notification: Performance of NFInst.instExpressions: time 0.00188/0.005601, allocations: 1.251 MB / 0.9556 GB, free: 3.461 MB / 0.7325 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.0002116/0.005825, allocations: 15.94 kB / 0.9556 GB, free: 3.445 MB / 0.7325 GB Notification: Performance of NFTyping.typeComponents: time 0.0002398/0.006071, allocations: 90.94 kB / 0.9557 GB, free: 3.355 MB / 0.7325 GB Notification: Performance of NFTyping.typeBindings: time 0.0001775/0.006281, allocations: 91.06 kB / 0.9558 GB, free: 3.266 MB / 0.7325 GB Notification: Performance of NFTyping.typeClassSections: time 0.001024/0.007313, allocations: 0.538 MB / 0.9563 GB, free: 2.73 MB / 0.7325 GB Notification: Performance of NFFlatten.flatten: time 0.0009505/0.008271, allocations: 1.148 MB / 0.9574 GB, free: 1.578 MB / 0.7325 GB Notification: Performance of NFFlatten.resolveConnections: time 0.0009346/0.009214, allocations: 0.8411 MB / 0.9583 GB, free: 0.7188 MB / 0.7325 GB Notification: Performance of NFEvalConstants.evaluate: time 0.0003627/0.009586, allocations: 442.8 kB / 0.9587 GB, free: 292 kB / 0.7325 GB Notification: Performance of NFSimplifyModel.simplify: time 0.0003927/0.009986, allocations: 442.2 kB / 0.9591 GB, free: 15.85 MB / 0.7481 GB Notification: Performance of NFPackage.collectConstants: time 0.0001491/0.01014, allocations: 140 kB / 0.9592 GB, free: 15.71 MB / 0.7481 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0002005/0.01035, allocations: 168 kB / 0.9594 GB, free: 15.55 MB / 0.7481 GB Notification: Performance of combineBinaries: time 0.0007556/0.01111, allocations: 1.237 MB / 0.9606 GB, free: 14.3 MB / 0.7481 GB Notification: Performance of replaceArrayConstructors: time 0.000348/0.01147, allocations: 0.7078 MB / 0.9613 GB, free: 13.58 MB / 0.7481 GB Notification: Performance of NFVerifyModel.verify: time 0.0001577/0.01163, allocations: 151.6 kB / 0.9614 GB, free: 13.43 MB / 0.7481 GB Notification: Performance of FrontEnd: time 0.0001665/0.01181, allocations: 83.36 kB / 0.9615 GB, free: 13.35 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: 200 (194) * Number of variables: 192 (186) Notification: Performance of Bindings: time 0.003325/0.01514, allocations: 3.815 MB / 0.9653 GB, free: 9.395 MB / 0.7481 GB Notification: Performance of FunctionAlias: time 0.0003113/0.01546, allocations: 359.6 kB / 0.9656 GB, free: 9.027 MB / 0.7481 GB Notification: Performance of Early Inline: time 0.002883/0.01835, allocations: 3.336 MB / 0.9689 GB, free: 5.652 MB / 0.7481 GB Notification: Performance of simplify1: time 0.000195/0.01855, allocations: 163.8 kB / 0.969 GB, free: 5.492 MB / 0.7481 GB Notification: Performance of Alias: time 0.005163/0.02372, allocations: 5.152 MB / 0.974 GB, free: 15.91 MB / 0.7637 GB Notification: Performance of simplify2: time 9.625e-05/0.02383, allocations: 99.8 kB / 0.9741 GB, free: 15.81 MB / 0.7637 GB Notification: Performance of Detect States: time 0.000811/0.02465, allocations: 0.9963 MB / 0.9751 GB, free: 14.8 MB / 0.7637 GB Notification: Performance of Events: time 0.0008054/0.02546, allocations: 0.6712 MB / 0.9758 GB, free: 14.12 MB / 0.7637 GB Notification: Performance of Partitioning: time 0.0008626/0.02634, allocations: 0.852 MB / 0.9766 GB, free: 13.21 MB / 0.7637 GB Error: Internal error NBSorting.SuperNode.getEqnIndices failed because elements should not be accessed, only their parents: [131] scalar element of (142) Error: Internal error NBSorting.tarjan failed to sort system: system vars Variables (114/124) ********************************* (1) [DISC] (1) protected Boolean enaDis.hysOutEnt.y (2) [DISC] (2) protected Boolean[2] enaDis.truFalHol.initialStep.outPort.reset (3) [DISC] (1) protected Boolean[1] enaDis.truFalHol.outputFalse.outPort.reset (4) [DISC] (1) protected Boolean[1] enaDis.truFalHol.outputTrue.outPort.reset (5) [DISC] (1) protected Boolean enaDis.truFalHol.outputTrue.outerStatePort.localActive = enaDis.truFalHol.outputTrue.outerStatePort.localActive (6) [DISC] (2) Boolean[2] $SEV_18[$i1] (7) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse.outPort.set (8) [DISS] (1) protected Boolean enaDis.delRetDam.y (9) [ALGB] (1) protected Real enaDis.sub2.y (10) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue1.inPort.available (11) [DISC] (1) protected Boolean enaDis.and1.y (12) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse1.inPort.available (13) [DISS] (1) protected Real enaDis.truFalHol.onDel2.t_next (14) [DISC] (2) protected Boolean[2] enaDis.truFalHol.outputFalse.inPort.set (15) [DISC] (1) Boolean $SEV_29 (16) [DISS] (1) protected Boolean enaDis.and3.u2 (17) [DISC] (1) protected final Boolean enaDis.truFalHol.toTrue1.localCondition = enaDis.truFalHol.toTrue1.localCondition (18) [DISC] (1) Boolean $SEV_28 (19) [DISS] (1) protected Boolean enaDis.truFalHol.onDel2.y (20) [DISC] (1) Boolean $SEV_27 (21) [DISC] (1) Boolean $SEV_25 (22) [DISC] (1) Boolean $SEV_24 (23) [DISC] (2) protected Boolean[2] enaDis.truFalHol.outputTrue.inPort.occupied (24) [DISC] (1) Boolean $SEV_22 (25) [DISC] (1) Boolean $TEV_37 (26) [ALGB] (1) protected Real enaDis.retDamSwitch.y (27) [DISC] (1) Boolean $FUN_6 (28) [DISC] (1) Boolean $SEV_21 (29) [DISC] (1) Boolean $TEV_36 (30) [DISC] (1) Integer freProSta1.y (31) [DISC] (1) Boolean $SEV_20 (32) [DISC] (1) Boolean $TEV_35 (33) [DISC] (1) Boolean $FUN_4 (34) [DISC] (1) Boolean $TEV_34 (35) [DISC] (2) protected Boolean[2] enaDis.truFalHol.outputTrue.inPort.set (36) [DISC] (1) Boolean $FUN_3 (37) [DISC] (1) Boolean $TEV_33 (38) [DISC] (1) protected Boolean enaDis.truFalHol.initialStep.newActive (39) [DISC] (1) protected Boolean enaDis.maxRetDamSwitch.u2 (40) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse.inPort.available (41) [DISC] (1) Boolean $FUN_2 (42) [DISC] (1) Boolean $TEV_32 (43) [DISC] (1) Boolean $FUN_1 (44) [DISC] (1) Boolean $TEV_31 (45) [DISC] (1) protected final Boolean enaDis.truFalHol.toFalse.localCondition = enaDis.truFalHol.toFalse.localCondition (46) [DISC] (2) Boolean[2] $SEV_17[$i1] (47) [DISS] (1) protected Real enaDis.truFalHol.onDel1.t_next (48) [DISS] (1) protected Boolean enaDis.truFalHol.initialStep.oldActive (49) [ALGB] (1) protected Real enaDis.outDamSwitch.y (50) [ALGB] (1) protected Real enaDis.minRetDamSwitch.y (51) [DISC] (1) protected Integer enaDis.truFalHol.stateGraphRoot.activeSteps (52) [DISC] (1) Boolean $SEV_19 (53) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue.inPort.available (54) [DISC] (1) Boolean $SEV_16 (55) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue.outPort.occupied (56) [DISC] (1) Boolean $SEV_15 (57) [DISC] (1) Boolean $SEV_14 (58) [DISC] (1) Boolean $TEV_29 (59) [ALGB] (1) protected Real enaDis.sub1.y (60) [DISC] (1) Boolean $SEV_13 (61) [DISC] (1) Boolean $TEV_28 (62) [DISC] (1) Boolean $SEV_12 (63) [DISC] (1) Boolean $TEV_27 (64) [DISC] (1) protected Boolean enaDis.truFalHol.outputTrue.newActive (65) [DISC] (1) Boolean $SEV_11 (66) [DISC] (1) Boolean $TEV_26 (67) [DISC] (1) Boolean $SEV_10 (68) [ALGB] (1) protected flow Real enaDis.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (69) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse.outPort.occupied (70) [DISC] (1) Boolean $TEV_24 (71) [DISC] (1) Boolean $TEV_23 (72) [ALGB] (1) protected Real enaDis.maxRetDamSwitch.y (73) [DISC] (2) protected Boolean[2] enaDis.truFalHol.initialStep.outPort.available (74) [DISC] (1) Boolean $TEV_22 (75) [DISC] (1) Boolean $TEV_21 (76) [DISS] (1) protected Boolean enaDis.truFalHol.outputTrue.oldActive (77) [DISC] (1) protected Boolean[1] enaDis.truFalHol.outputTrue.outPort.available (78) [DISC] (1) protected Boolean enaDis.hysOutTem.y (79) [DISC] (2) Boolean[2] $SEV_23[$i1] (80) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue1.outPort.set (81) [DISS] (1) protected Boolean enaDis.truFalHol.onDel1.y (82) [DISC] (1) Boolean $SEV_9 (83) [DISC] (1) protected Boolean enaDis.truFalHol.outputFalse.outerStatePort.localActive = enaDis.truFalHol.outputFalse.outerStatePort.localActive (84) [DISC] (1) Boolean $SEV_8 (85) [DISC] (1) Boolean $SEV_7 (86) [DISC] (1) Boolean $SEV_6 (87) [DISC] (1) Boolean $SEV_5 (88) [DISS] (1) protected Real enaDis.delRetDam.t_next (89) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse1.outPort.occupied (90) [DISC] (1) protected Boolean enaDis.truFalHol.initialStep.outerStatePort.localActive = enaDis.truFalHol.initialStep.outerStatePort.localActive (91) [DISS] (1) Boolean booPul1.y (92) [ALGB] (1) protected flow Real enaDis.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (93) [DISC] (2) Boolean[2] $SEV_26[$i1] (94) [DISS] (1) protected Real enaDis.delOutDamOsc.t_next (95) [DISC] (1) Boolean $TEV_19 (96) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue1.outPort.occupied (97) [DISC] (1) Boolean $TEV_17 (98) [DISC] (1) protected Boolean enaDis.truFalHol.outputFalse.newActive (99) [DISC] (1) Boolean $TEV_16 (100) [DISC] (1) Boolean $TEV_15 (101) [DISC] (1) Boolean $TEV_14 (102) [DISC] (1) Boolean enaDis.andEnaDis.y (103) [DISC] (1) Boolean $TEV_13 (104) [DISC] (1) Boolean $TEV_12 (105) [ALGB] (1) protected flow Real enaDis.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (106) [DISC] (1) protected Boolean[1] enaDis.truFalHol.outputFalse.outPort.available (107) [ALGB] (1) protected flow Real enaDis.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (108) [DISC] (1) protected Boolean enaDis.truFalHol.toFalse1.outPort.set (109) [DISC] (2) protected Boolean[2] enaDis.truFalHol.outputFalse.inPort.occupied (110) [DISS] (1) protected Boolean enaDis.truFalHol.outputFalse.oldActive (111) [DISC] (1) protected final Boolean enaDis.truFalHol.toTrue.localCondition = enaDis.truFalHol.toTrue.localCondition (112) [DISC] (1) protected Boolean enaDis.intEqu.y (113) [DISC] (1) protected Boolean enaDis.outDamSwitch.u2 (114) [DISC] (1) protected Boolean enaDis.truFalHol.toTrue.outPort.set system eqns Equations (122/132) ********************************* (1) [SCAL] (1) enaDis.truFalHol.stateGraphRoot.activeSteps = -integer(enaDis.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_132) (2) [WHEN] (1)when $SEV_6 then (2) [----] enaDis.delRetDam.y := not enaDis.andEnaDis.y (2) [----] else when not (not enaDis.andEnaDis.y) then (2) [----] enaDis.delRetDam.y := false (2) [----] else when not enaDis.andEnaDis.y then (2) [----] enaDis.delRetDam.y := not enaDis.delRetDam.delayTime > 0.0 (2) [----] else when initial() then (2) [----] enaDis.delRetDam.y := if not (enaDis.delRetDam.delayOnInit and enaDis.delRetDam.delayTime > 0.0) then not enaDis.andEnaDis.y else false (2) [----] end when; (3) [WHEN] (1)when $SEV_28 then (3) [----] enaDis.truFalHol.onDel2.t_next := enaDis.truFalHol.onDel2.t_past (3) [----] else when not enaDis.truFalHol.outputTrue.outerStatePort.localActive then (3) [----] enaDis.truFalHol.onDel2.t_next := enaDis.truFalHol.onDel2.t_past (3) [----] else when enaDis.truFalHol.outputTrue.outerStatePort.localActive then (3) [----] enaDis.truFalHol.onDel2.t_next := time + enaDis.truFalHol.onDel2.delayTime (3) [----] else when initial() then (3) [----] enaDis.truFalHol.onDel2.t_next := if not enaDis.truFalHol.onDel2.delayOnInit then enaDis.truFalHol.onDel2.t_past else time + enaDis.truFalHol.onDel2.delayTime (3) [----] end when; (4) [WHEN] (1)when $SEV_7 then (4) [----] enaDis.delOutDamOsc.t_next := enaDis.delOutDamOsc.t_past (4) [----] else when not (not enaDis.andEnaDis.y) then (4) [----] enaDis.delOutDamOsc.t_next := enaDis.delOutDamOsc.t_past (4) [----] else when not enaDis.andEnaDis.y then (4) [----] enaDis.delOutDamOsc.t_next := time + enaDis.delOutDamOsc.delayTime (4) [----] else when initial() then (4) [----] enaDis.delOutDamOsc.t_next := if not enaDis.delOutDamOsc.delayOnInit then enaDis.delOutDamOsc.t_past else time + enaDis.delOutDamOsc.delayTime (4) [----] end when; (5) [WHEN] (1)when $SEV_28 then (5) [----] enaDis.truFalHol.onDel2.y := enaDis.truFalHol.outputTrue.outerStatePort.localActive (5) [----] else when not enaDis.truFalHol.outputTrue.outerStatePort.localActive then (5) [----] enaDis.truFalHol.onDel2.y := false (5) [----] else when enaDis.truFalHol.outputTrue.outerStatePort.localActive then (5) [----] enaDis.truFalHol.onDel2.y := not enaDis.truFalHol.onDel2.delayTime > 0.0 (5) [----] else when initial() then (5) [----] 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 (5) [----] end when; (6) [WHEN] (1)when $SEV_7 then (6) [----] enaDis.and3.u2 := not enaDis.andEnaDis.y (6) [----] else when not (not enaDis.andEnaDis.y) then (6) [----] enaDis.and3.u2 := false (6) [----] else when not enaDis.andEnaDis.y then (6) [----] enaDis.and3.u2 := not enaDis.delOutDamOsc.delayTime > 0.0 (6) [----] else when initial() then (6) [----] enaDis.and3.u2 := if not (enaDis.delOutDamOsc.delayOnInit and enaDis.delOutDamOsc.delayTime > 0.0) then not enaDis.andEnaDis.y else false (6) [----] end when; (7) [WHEN] (1)when $SEV_29 then (7) [----] enaDis.truFalHol.onDel1.y := enaDis.truFalHol.outputFalse.outerStatePort.localActive (7) [----] else when not enaDis.truFalHol.outputFalse.outerStatePort.localActive then (7) [----] enaDis.truFalHol.onDel1.y := false (7) [----] else when enaDis.truFalHol.outputFalse.outerStatePort.localActive then (7) [----] enaDis.truFalHol.onDel1.y := not enaDis.truFalHol.onDel1.delayTime > 0.0 (7) [----] else when initial() then (7) [----] 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 (7) [----] end when; (8) [SCAL] (1) enaDis.intEqu.y = $SEV_8 ($RES_SIM_53) (9) [WHEN] (1)when $SEV_29 then (9) [----] enaDis.truFalHol.onDel1.t_next := enaDis.truFalHol.onDel1.t_past (9) [----] else when not enaDis.truFalHol.outputFalse.outerStatePort.localActive then (9) [----] enaDis.truFalHol.onDel1.t_next := enaDis.truFalHol.onDel1.t_past (9) [----] else when enaDis.truFalHol.outputFalse.outerStatePort.localActive then (9) [----] enaDis.truFalHol.onDel1.t_next := time + enaDis.truFalHol.onDel1.delayTime (9) [----] else when initial() then (9) [----] enaDis.truFalHol.onDel1.t_next := if not enaDis.truFalHol.onDel1.delayOnInit then enaDis.truFalHol.onDel1.t_past else time + enaDis.truFalHol.onDel1.delayTime (9) [----] end when; (10) [SCAL] (1) enaDis.outDamSwitch.u2 = $SEV_9 ($RES_SIM_54) (11) [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_137) (12) [SCAL] (1) enaDis.truFalHol.outputFalse.outPort[1].reset = enaDis.truFalHol.toTrue.outPort.set ($RES_SIM_210) (13) [SCAL] (1) enaDis.truFalHol.toTrue.localCondition = $SEV_20 ($RES_SIM_90) (14) [SCAL] (1) enaDis.and1.y = $SEV_10 ($RES_SIM_55) (15) [SCAL] (1) enaDis.truFalHol.outputFalse.outPort[1].available = enaDis.truFalHol.toTrue.inPort.available ($RES_SIM_211) (16) [SCAL] (1) enaDis.truFalHol.toFalse.localCondition = $SEV_21 ($RES_SIM_91) (17) [SCAL] (1) enaDis.maxRetDamSwitch.u2 = $SEV_11 ($RES_SIM_56) (18) [SCAL] (1) enaDis.minRetDamSwitch.y = if enaDis.maxRetDamSwitch.u2 then retDamPhyPosMax.k else enaDis.retDamSwitch.y ($RES_SIM_58) (19) [SCAL] (1) enaDis.truFalHol.outputTrue.outPort[1].reset = enaDis.truFalHol.toFalse.outPort.set ($RES_SIM_214) (20) [SCAL] (1) enaDis.truFalHol.toFalse.outPort.set = $SEV_22 ($RES_SIM_94) (21) [SCAL] (1) enaDis.maxRetDamSwitch.y = if enaDis.maxRetDamSwitch.u2 then retDamPhyPosMax.k else retDamPosMax.k ($RES_SIM_59) (22) [SCAL] (1) enaDis.truFalHol.outputTrue.outPort[1].available = enaDis.truFalHol.toFalse.inPort.available ($RES_SIM_215) (23) [SCAL] (1) enaDis.truFalHol.outputTrue.outPort[1].reset = false ($RES_SIM_99) (24) [SCAL] (1) $TEV_22 = $PRE.enaDis.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_250) (25) [SCAL] (1) $TEV_23 = $PRE.enaDis.truFalHol.initialStep.newActive ($RES_EVT_251) (26) [SCAL] (1) $TEV_24 = $PRE.enaDis.truFalHol.toFalse.outPort.set ($RES_EVT_252) (27) [SCAL] (1) $TEV_26 = $PRE.enaDis.truFalHol.outputTrue.oldActive ($RES_EVT_254) (28) [SCAL] (1) $SEV_24 = $FUN_3 or enaDis.truFalHol.outputTrue.outerStatePort.localActive and not $FUN_4 ($RES_EVT_290) (29) [SCAL] (1) $TEV_27 = $PRE.enaDis.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_255) (30) [SCAL] (1) $SEV_25 = (enaDis.truFalHol.toTrue.localCondition and enaDis.truFalHol.toTrue.inPort.available) and not enaDis.truFalHol.toTrue.outPort.occupied ($RES_EVT_291) (31) [SCAL] (1) $TEV_28 = $PRE.enaDis.truFalHol.outputTrue.newActive ($RES_EVT_256) (32) [FOR-] (2) ($RES_SIM_100) (32) [----] for $i1 in 1:2 loop (32) [----] [SCAL] (1) enaDis.truFalHol.outputTrue.inPort[$i1].set = false ($RES_SIM_101) (32) [----] end for; (33) [FOR-] (2) ($RES_EVT_292) (33) [----] for $i1 in 1:2 loop (33) [----] [SCAL] (1) $SEV_26[$i1] = enaDis.truFalHol.outputFalse.inPort[$i1 - 1].occupied or enaDis.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_293) (33) [----] end for; (34) [SCAL] (1) $TEV_29 = $PRE.enaDis.truFalHol.toTrue.outPort.set ($RES_EVT_257) (35) [SCAL] (1) enaDis.truFalHol.outputTrue.outPort[1].available = enaDis.truFalHol.outputTrue.outerStatePort.localActive ($RES_SIM_102) (36) [SCAL] (1) $SEV_27 = $FUN_1 or enaDis.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_2 ($RES_EVT_294) (37) [SCAL] (1) $TEV_31 = $PRE.enaDis.truFalHol.outputFalse.oldActive ($RES_EVT_259) (38) [FOR-] (2) ($RES_SIM_103) (38) [----] for $i1 in 1:2 loop (38) [----] [SCAL] (1) enaDis.truFalHol.outputTrue.inPort[$i1].occupied = if $SEV_17[$i1] then enaDis.truFalHol.outputTrue.outerStatePort.localActive else $SEV_23[$i1] ($RES_SIM_104) (38) [----] end for; (39) [SCAL] (1) $SEV_28 = time >= $PRE.enaDis.truFalHol.onDel2.t_next ($RES_EVT_295) (40) [SCAL] (1) $SEV_29 = time >= $PRE.enaDis.truFalHol.onDel1.t_next ($RES_EVT_296) (41) [WHEN] (1)when false then (41) [----] enaDis.truFalHol.outputTrue.oldActive := enaDis.truFalHol.outputTrue.outerStatePort.localActive (41) [----] end when; (42) [SCAL] (1) enaDis.truFalHol.outputTrue.newActive = $SEV_24 ($RES_SIM_106) (43) [SCAL] (1) enaDis.retDamSwitch.y = if not enaDis.andEnaDis.y then retDamPosMax.k else retDamPosMin.k ($RES_SIM_60) (44) [SCAL] (1) enaDis.truFalHol.outputTrue.outerStatePort.localActive = $TEV_28 ($RES_SIM_107) (45) [SCAL] (1) enaDis.outDamSwitch.y = if enaDis.outDamSwitch.u2 then outDamPosMin.k else outDamPosMax.k ($RES_SIM_61) (46) [SCAL] (1) enaDis.hysOutEnt.y = $SEV_12 ($RES_SIM_62) (47) [SCAL] (1) enaDis.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if enaDis.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_109) (48) [SCAL] (1) enaDis.hysOutTem.y = $SEV_13 ($RES_SIM_63) (49) [SCAL] (1) enaDis.sub1.y = TOutBelowCutoff.k - TOutCut.k ($RES_SIM_64) (50) [SCAL] (1) enaDis.sub2.y = hOutBelowCutoff.k - hOutCut.k ($RES_SIM_65) (51) [SCAL] (1) enaDis.andEnaDis.y = $SEV_14 ($RES_SIM_66) (52) [SCAL] (1) enaDis.truFalHol.toFalse1.outPort.set = $SEV_15 ($RES_SIM_69) (53) [SCAL] (1) $TEV_32 = $PRE.enaDis.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_260) (54) [SCAL] (1) $TEV_33 = $PRE.enaDis.truFalHol.outputFalse.newActive ($RES_EVT_261) (55) [SCAL] (1) $TEV_34 = $PRE.enaDis.truFalHol.onDel2.t_next ($RES_EVT_262) (56) [SCAL] (1) $TEV_35 = $PRE.enaDis.truFalHol.onDel1.t_next ($RES_EVT_263) (57) [SCAL] (1) $TEV_36 = sample(3, booPul1.t1, booPul1.period) ($RES_EVT_264) (58) [SCAL] (1) $TEV_37 = sample(4, booPul1.t0, booPul1.period) ($RES_EVT_265) (59) [SCAL] (1) $SEV_5 = enaDis.hysOutTem.y or enaDis.hysOutEnt.y ($RES_EVT_268) (60) [SCAL] (1) $SEV_6 = time >= $PRE.enaDis.delRetDam.t_next ($RES_EVT_269) (61) [SCAL] (1) enaDis.truFalHol.toTrue.outPort.set = $SEV_25 ($RES_SIM_113) (62) [SCAL] (1) freProSta1.y = if booPul1.y then freProSta1.integerTrue else freProSta1.integerFalse ($RES_SIM_34) (63) [WHEN] (1)when $TEV_36 then (63) [----] booPul1.y := false (63) [----] else when $TEV_37 then (63) [----] booPul1.y := true (63) [----] end when; (64) [SCAL] (1) enaDis.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_118) (65) [FOR-] (2) ($RES_SIM_119) (65) [----] for $i1 in 1:2 loop (65) [----] [SCAL] (1) enaDis.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_120) (65) [----] end for; (66) [SCAL] (1) enaDis.truFalHol.initialStep.outPort[2].reset = enaDis.truFalHol.toFalse1.outPort.set ($RES_SIM_190) (67) [SCAL] (1) enaDis.truFalHol.initialStep.outPort[2].available = enaDis.truFalHol.toFalse1.inPort.available ($RES_SIM_191) (68) [SCAL] (1) enaDis.truFalHol.initialStep.outPort[1].reset = enaDis.truFalHol.toTrue1.outPort.set ($RES_SIM_192) (69) [SCAL] (1) enaDis.truFalHol.toTrue1.outPort.set = $SEV_16 ($RES_SIM_76) (70) [SCAL] (1) enaDis.truFalHol.initialStep.outPort[1].available = enaDis.truFalHol.toTrue1.inPort.available ($RES_SIM_193) (71) [SCAL] (1) enaDis.truFalHol.toFalse1.outPort.set = enaDis.truFalHol.outputFalse.inPort[2].set ($RES_SIM_194) (72) [SCAL] (1) enaDis.truFalHol.toFalse1.outPort.occupied = enaDis.truFalHol.outputFalse.inPort[2].occupied ($RES_SIM_195) (73) [SCAL] (1) enaDis.truFalHol.toTrue.outPort.set = enaDis.truFalHol.outputTrue.inPort[2].set ($RES_SIM_196) (74) [SCAL] (1) enaDis.truFalHol.toTrue.outPort.occupied = enaDis.truFalHol.outputTrue.inPort[2].occupied ($RES_SIM_197) (75) [SCAL] (1) enaDis.truFalHol.toTrue1.outPort.set = enaDis.truFalHol.outputTrue.inPort[1].set ($RES_SIM_198) (76) [SCAL] (1) enaDis.truFalHol.toTrue1.outPort.occupied = enaDis.truFalHol.outputTrue.inPort[1].occupied ($RES_SIM_199) (77) [SCAL] (1) $FUN_1 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.outputFalse.inPort.set) ($RES_$AUX_239) (78) [SCAL] (1) $FUN_2 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.outputFalse.outPort.reset) ($RES_$AUX_238) (79) [SCAL] (1) $FUN_3 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.outputTrue.inPort.set) ($RES_$AUX_237) (80) [SCAL] (1) $FUN_4 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.outputTrue.outPort.reset) ($RES_$AUX_236) (81) [SCAL] (1) $SEV_7 = time >= $PRE.enaDis.delOutDamOsc.t_next ($RES_EVT_270) (82) [SCAL] (1) $SEV_8 = freProSta1.y == enaDis.conInt.k ($RES_EVT_271) (83) [SCAL] (1) $FUN_6 = Modelica.Math.BooleanVectors.anyTrue(enaDis.truFalHol.initialStep.outPort.reset) ($RES_$AUX_234) (84) [SCAL] (1) $SEV_9 = not enaDis.andEnaDis.y and enaDis.and3.u2 ($RES_EVT_272) (85) [SCAL] (1) $SEV_10 = enaDis.truFalHol.outputTrue.outerStatePort.localActive and supFanSta.k ($RES_EVT_273) (86) [SCAL] (1) $SEV_11 = not enaDis.andEnaDis.y and not enaDis.delRetDam.y ($RES_EVT_274) (87) [SCAL] (1) $SEV_12 = 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_275) (88) [SCAL] (1) $SEV_13 = 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_276) (89) [SCAL] (1) $SEV_14 = enaDis.and1.y and enaDis.intEqu.y ($RES_EVT_277) (90) [SCAL] (1) enaDis.truFalHol.outputFalse.outPort[1].available = enaDis.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_121) (91) [SCAL] (1) $SEV_15 = (not enaDis.truFalHol.toTrue1.localCondition and enaDis.truFalHol.toFalse1.inPort.available) and not enaDis.truFalHol.toFalse1.outPort.occupied ($RES_EVT_278) (92) [FOR-] (2) ($RES_SIM_122) (92) [----] for $i1 in 1:2 loop (92) [----] [SCAL] (1) enaDis.truFalHol.outputFalse.inPort[$i1].occupied = if $SEV_17[$i1] then enaDis.truFalHol.outputFalse.outerStatePort.localActive else $SEV_26[$i1] ($RES_SIM_123) (92) [----] end for; (93) [SCAL] (1) $SEV_16 = (enaDis.truFalHol.toTrue1.localCondition and enaDis.truFalHol.toTrue1.inPort.available) and not enaDis.truFalHol.toTrue1.outPort.occupied ($RES_EVT_279) (94) [WHEN] (1)when false then (94) [----] enaDis.truFalHol.outputFalse.oldActive := enaDis.truFalHol.outputFalse.outerStatePort.localActive (94) [----] end when; (95) [SCAL] (1) enaDis.truFalHol.outputFalse.newActive = $SEV_27 ($RES_SIM_125) (96) [SCAL] (1) enaDis.truFalHol.outputFalse.outerStatePort.localActive = $TEV_33 ($RES_SIM_126) (97) [FOR-] (2) ($RES_SIM_81) (97) [----] for $i1 in 1:2 loop (97) [----] [SCAL] (1) enaDis.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_82) (97) [----] end for; (98) [SCAL] (1) enaDis.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if enaDis.truFalHol.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_128) (99) [SCAL] (1) enaDis.truFalHol.toTrue1.localCondition = $SEV_5 ($RES_SIM_46) (100) [FOR-] (2) ($RES_SIM_83) (100) [----] for $i1 in 1:2 loop (100) [----] [SCAL] (1) enaDis.truFalHol.initialStep.outPort[$i1].available = if $SEV_17[$i1] then enaDis.truFalHol.initialStep.outerStatePort.localActive else $SEV_18[$i1] ($RES_SIM_84) (100) [----] end for; (101) [WHEN] (1)when $SEV_6 then (101) [----] enaDis.delRetDam.t_next := enaDis.delRetDam.t_past (101) [----] else when not (not enaDis.andEnaDis.y) then (101) [----] enaDis.delRetDam.t_next := enaDis.delRetDam.t_past (101) [----] else when not enaDis.andEnaDis.y then (101) [----] enaDis.delRetDam.t_next := time + enaDis.delRetDam.delayTime (101) [----] else when initial() then (101) [----] enaDis.delRetDam.t_next := if not enaDis.delRetDam.delayOnInit then enaDis.delRetDam.t_past else time + enaDis.delRetDam.delayTime (101) [----] end when; (102) [WHEN] (1)when false then (102) [----] enaDis.truFalHol.initialStep.oldActive := enaDis.truFalHol.initialStep.outerStatePort.localActive (102) [----] end when; (103) [SCAL] (1) enaDis.truFalHol.initialStep.newActive = $SEV_19 ($RES_SIM_86) (104) [SCAL] (1) enaDis.truFalHol.initialStep.outerStatePort.localActive = $TEV_23 ($RES_SIM_87) (105) [SCAL] (1) enaDis.truFalHol.toFalse.outPort.set = enaDis.truFalHol.outputFalse.inPort[1].set ($RES_SIM_208) (106) [SCAL] (1) enaDis.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if enaDis.truFalHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_89) (107) [SCAL] (1) enaDis.truFalHol.toFalse.outPort.occupied = enaDis.truFalHol.outputFalse.inPort[1].occupied ($RES_SIM_209) (108) [SCAL] (1) $TEV_12 = $PRE.enaDis.delRetDam.t_next ($RES_EVT_240) (109) [SCAL] (1) $TEV_13 = $PRE.enaDis.andEnaDis.y ($RES_EVT_241) (110) [SCAL] (1) $TEV_14 = $PRE.enaDis.delOutDamOsc.t_next ($RES_EVT_242) (111) [SCAL] (1) $TEV_15 = $PRE.enaDis.hysOutEnt.y ($RES_EVT_243) (112) [SCAL] (1) $TEV_16 = $PRE.enaDis.hysOutTem.y ($RES_EVT_244) (113) [FOR-] (2) ($RES_EVT_280) (113) [----] for $i1 in 1:2 loop (113) [----] [SCAL] (1) $SEV_17[$i1] = $i1 == 1 ($RES_EVT_281) (113) [----] end for; (114) [SCAL] (1) $TEV_17 = $PRE.enaDis.truFalHol.toFalse1.outPort.set ($RES_EVT_245) (115) [FOR-] (2) ($RES_EVT_282) (115) [----] for $i1 in 1:2 loop (115) [----] [SCAL] (1) $SEV_18[$i1] = enaDis.truFalHol.initialStep.outPort[$i1 - 1].available and not enaDis.truFalHol.initialStep.outPort[$i1 - 1].reset ($RES_EVT_283) (115) [----] end for; (116) [SCAL] (1) $TEV_19 = $PRE.enaDis.truFalHol.toTrue1.outPort.set ($RES_EVT_247) (117) [SCAL] (1) $SEV_19 = enaDis.truFalHol.initialStep.outerStatePort.localActive and not $FUN_6 ($RES_EVT_284) (118) [SCAL] (1) $TEV_21 = $PRE.enaDis.truFalHol.initialStep.oldActive ($RES_EVT_249) (119) [SCAL] (1) $SEV_20 = enaDis.truFalHol.onDel1.y and enaDis.truFalHol.toTrue1.localCondition ($RES_EVT_285) (120) [SCAL] (1) $SEV_21 = enaDis.truFalHol.onDel2.y and not enaDis.truFalHol.toTrue1.localCondition ($RES_EVT_286) (121) [SCAL] (1) $SEV_22 = (enaDis.truFalHol.toFalse.localCondition and enaDis.truFalHol.toFalse.inPort.available) and not enaDis.truFalHol.toFalse.outPort.occupied ($RES_EVT_287) (122) [FOR-] (2) ($RES_EVT_288) (122) [----] for $i1 in 1:2 loop (122) [----] [SCAL] (1) $SEV_23[$i1] = enaDis.truFalHol.outputTrue.inPort[$i1 - 1].occupied or enaDis.truFalHol.outputTrue.inPort[$i1 - 1].set ($RES_EVT_289) (122) [----] end for; =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 49 var 2 --> eqn 102 var 3 --> eqn 103 var 4 --> eqn 12 var 5 --> eqn 23 var 6 --> eqn 47 var 7 --> eqn 123 var 8 --> eqn 124 var 9 --> eqn 19 var 10 --> eqn 2 var 11 --> eqn 53 var 12 --> eqn 74 var 13 --> eqn 14 var 14 --> eqn 71 var 15 --> eqn 3 var 16 --> eqn 68 var 17 --> eqn 69 var 18 --> eqn 43 var 19 --> eqn 6 var 20 --> eqn 105 var 21 --> eqn 42 var 22 --> eqn 5 var 23 --> eqn 38 var 24 --> eqn 30 var 25 --> eqn 28 var 26 --> eqn 40 var 27 --> eqn 41 var 28 --> eqn 20 var 29 --> eqn 61 var 30 --> eqn 46 var 31 --> eqn 87 var 32 --> eqn 129 var 33 --> eqn 60 var 34 --> eqn 65 var 35 --> eqn 128 var 36 --> eqn 59 var 37 --> eqn 84 var 38 --> eqn 58 var 39 --> eqn 32 var 40 --> eqn 33 var 41 --> eqn 83 var 42 --> eqn 57 var 43 --> eqn 110 var 44 --> eqn 17 var 45 --> eqn 22 var 46 --> eqn 82 var 47 --> eqn 56 var 48 --> eqn 81 var 49 --> eqn 39 var 50 --> eqn 16 var 51 --> eqn 120 var 52 --> eqn 121 var 53 --> eqn 9 var 54 --> eqn 109 var 55 --> eqn 48 var 56 --> eqn 18 var 57 --> eqn 1 var 58 --> eqn 126 var 59 --> eqn 15 var 60 --> eqn 73 var 61 --> eqn 78 var 62 --> eqn 55 var 63 --> eqn 93 var 64 --> eqn 36 var 65 --> eqn 52 var 66 --> eqn 92 var 67 --> eqn 31 var 68 --> eqn 91 var 69 --> eqn 29 var 70 --> eqn 45 var 71 --> eqn 90 var 72 --> eqn 27 var 73 --> eqn 89 var 74 --> eqn 104 var 75 --> eqn 114 var 76 --> eqn 26 var 77 --> eqn 25 var 78 --> eqn 21 var 79 --> eqn 106 var 80 --> eqn 107 var 81 --> eqn 24 var 82 --> eqn 127 var 83 --> eqn 44 var 84 --> eqn 37 var 85 --> eqn 51 var 86 --> eqn 131 var 87 --> eqn 132 var 88 --> eqn 72 var 89 --> eqn 7 var 90 --> eqn 88 var 91 --> eqn 101 var 92 --> eqn 86 var 93 --> eqn 85 var 94 --> eqn 63 var 95 --> eqn 62 var 96 --> eqn 108 var 97 --> eqn 76 var 98 --> eqn 111 var 99 --> eqn 66 var 100 --> eqn 113 var 101 --> eqn 34 var 102 --> eqn 35 var 103 --> eqn 4 var 104 --> eqn 125 var 105 --> eqn 80 var 106 --> eqn 122 var 107 --> eqn 100 var 108 --> eqn 119 var 109 --> eqn 118 var 110 --> eqn 117 var 111 --> eqn 54 var 112 --> eqn 116 var 113 --> eqn 115 var 114 --> eqn 50 var 115 --> eqn 94 var 116 --> eqn 11 var 117 --> eqn 70 var 118 --> eqn 96 var 119 --> eqn 97 var 120 --> eqn 99 var 121 --> eqn 13 var 122 --> eqn 8 var 123 --> eqn 10 var 124 --> eqn 64 equation to variable ********************** eqn 1 --> var 57 eqn 2 --> var 10 eqn 3 --> var 15 eqn 4 --> var 103 eqn 5 --> var 22 eqn 6 --> var 19 eqn 7 --> var 89 eqn 8 --> var 122 eqn 9 --> var 53 eqn 10 --> var 123 eqn 11 --> var 116 eqn 12 --> var 4 eqn 13 --> var 121 eqn 14 --> var 13 eqn 15 --> var 59 eqn 16 --> var 50 eqn 17 --> var 44 eqn 18 --> var 56 eqn 19 --> var 9 eqn 20 --> var 28 eqn 21 --> var 78 eqn 22 --> var 45 eqn 23 --> var 5 eqn 24 --> var 81 eqn 25 --> var 77 eqn 26 --> var 76 eqn 27 --> var 72 eqn 28 --> var 25 eqn 29 --> var 69 eqn 30 --> var 24 eqn 31 --> var 67 eqn 32 --> var 39 eqn 33 --> var 40 eqn 34 --> var 101 eqn 35 --> var 102 eqn 36 --> var 64 eqn 37 --> var 84 eqn 38 --> var 23 eqn 39 --> var 49 eqn 40 --> var 26 eqn 41 --> var 27 eqn 42 --> var 21 eqn 43 --> var 18 eqn 44 --> var 83 eqn 45 --> var 70 eqn 46 --> var 30 eqn 47 --> var 6 eqn 48 --> var 55 eqn 49 --> var 1 eqn 50 --> var 114 eqn 51 --> var 85 eqn 52 --> var 65 eqn 53 --> var 11 eqn 54 --> var 111 eqn 55 --> var 62 eqn 56 --> var 47 eqn 57 --> var 42 eqn 58 --> var 38 eqn 59 --> var 36 eqn 60 --> var 33 eqn 61 --> var 29 eqn 62 --> var 95 eqn 63 --> var 94 eqn 64 --> var 124 eqn 65 --> var 34 eqn 66 --> var 99 eqn 67 --> var -1 eqn 68 --> var 16 eqn 69 --> var 17 eqn 70 --> var 117 eqn 71 --> var 14 eqn 72 --> var 88 eqn 73 --> var 60 eqn 74 --> var 12 eqn 75 --> var -1 eqn 76 --> var 97 eqn 77 --> var -1 eqn 78 --> var 61 eqn 79 --> var -1 eqn 80 --> var 105 eqn 81 --> var 48 eqn 82 --> var 46 eqn 83 --> var 41 eqn 84 --> var 37 eqn 85 --> var 93 eqn 86 --> var 92 eqn 87 --> var 31 eqn 88 --> var 90 eqn 89 --> var 73 eqn 90 --> var 71 eqn 91 --> var 68 eqn 92 --> var 66 eqn 93 --> var 63 eqn 94 --> var 115 eqn 95 --> var -1 eqn 96 --> var 118 eqn 97 --> var 119 eqn 98 --> var -1 eqn 99 --> var 120 eqn 100 --> var 107 eqn 101 --> var 91 eqn 102 --> var 2 eqn 103 --> var 3 eqn 104 --> var 74 eqn 105 --> var 20 eqn 106 --> var 79 eqn 107 --> var 80 eqn 108 --> var 96 eqn 109 --> var 54 eqn 110 --> var 43 eqn 111 --> var 98 eqn 112 --> var -1 eqn 113 --> var 100 eqn 114 --> var 75 eqn 115 --> var 113 eqn 116 --> var 112 eqn 117 --> var 110 eqn 118 --> var 109 eqn 119 --> var 108 eqn 120 --> var 51 eqn 121 --> var 52 eqn 122 --> var 106 eqn 123 --> var 7 eqn 124 --> var 8 eqn 125 --> var 104 eqn 126 --> var 58 eqn 127 --> var 82 eqn 128 --> var 35 eqn 129 --> var 32 eqn 130 --> var -1 eqn 131 --> var 86 eqn 132 --> var 87