Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_11_Buildings.Controls.OBC.ASHRAE.G36.ZoneGroups.Validation.OperationMode.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 11.1.0-maint.11.x/package.mo", uses=false) Using package Buildings with version 11.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.1.0-maint.11.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.ZoneGroups.Validation.OperationMode,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|opeModSel.yOpeMod|opeModSel.u1Occ|opeModSel.u1HigOccCoo|opeModSel.u1OccHeaHig|opeModSel.tNexOcc|opeModSel.maxCooDowTim|opeModSel.maxWarUpTim|TZonHeaSetUno.y|TZonCooSetUno.y|TZonHeaSetOcc.y|TZonCooSetOcc.y|opeModSel.TZonMin",fileNamePrefix="Buildings_11_Buildings.Controls.OBC.ASHRAE.G36.ZoneGroups.Validation.OperationMode") translateModel(Buildings.Controls.OBC.ASHRAE.G36.ZoneGroups.Validation.OperationMode,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|opeModSel.yOpeMod|opeModSel.u1Occ|opeModSel.u1HigOccCoo|opeModSel.u1OccHeaHig|opeModSel.tNexOcc|opeModSel.maxCooDowTim|opeModSel.maxWarUpTim|TZonHeaSetUno.y|TZonCooSetUno.y|TZonHeaSetOcc.y|TZonCooSetOcc.y|opeModSel.TZonMin",fileNamePrefix="Buildings_11_Buildings.Controls.OBC.ASHRAE.G36.ZoneGroups.Validation.OperationMode") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001165/0.001166, allocations: 115.9 kB / 16.43 MB, free: 6.523 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.00112/0.00112, allocations: 182 kB / 17.36 MB, free: 5.746 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.125/1.125, allocations: 222.9 MB / 241.1 MB, free: 15.16 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.1.0-maint.11.x/package.mo): time 2.193/2.193, allocations: 469.8 MB / 0.7431 GB, free: 3.367 MB / 0.6075 GB Notification: Performance of FrontEnd - Absyn->SCode: time 1.166e-05/1.167e-05, allocations: 4.812 kB / 1.066 GB, free: 13.63 MB / 0.8419 GB Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.ASHRAE.G36.ZoneGroups.Validation.OperationMode): time 0.00531/0.005332, allocations: 4.961 MB / 1.071 GB, free: 8.637 MB / 0.8419 GB Notification: Performance of NFInst.instExpressions: time 0.002943/0.008285, allocations: 2.264 MB / 1.073 GB, free: 6.367 MB / 0.8419 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.0003588/0.008655, allocations: 35.88 kB / 1.073 GB, free: 6.332 MB / 0.8419 GB Notification: Performance of NFTyping.typeComponents: time 0.0004278/0.009089, allocations: 221.3 kB / 1.073 GB, free: 6.113 MB / 0.8419 GB Notification: Performance of NFTyping.typeBindings: time 0.0003058/0.009403, allocations: 178.1 kB / 1.073 GB, free: 5.938 MB / 0.8419 GB Notification: Performance of NFTyping.typeClassSections: time 0.001519/0.01093, allocations: 1.092 MB / 1.074 GB, free: 4.844 MB / 0.8419 GB Notification: Performance of NFFlatten.flatten: time 0.001776/0.01272, allocations: 2.47 MB / 1.077 GB, free: 2.371 MB / 0.8419 GB Notification: Performance of NFFlatten.resolveConnections: time 0.001629/0.01435, allocations: 1.65 MB / 1.078 GB, free: 0.6562 MB / 0.8419 GB Notification: Performance of NFEvalConstants.evaluate: time 0.3842/0.3986, allocations: 0.9364 MB / 1.079 GB, free: 13.71 MB / 0.8419 GB Notification: Performance of NFSimplifyModel.simplify: time 0.0009492/0.3995, allocations: 0.9513 MB / 1.08 GB, free: 13.62 MB / 0.8419 GB Notification: Performance of NFPackage.collectConstants: time 0.0004419/0.4, allocations: 308.4 kB / 1.081 GB, free: 13.62 MB / 0.8419 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0004561/0.4004, allocations: 396.6 kB / 1.081 GB, free: 13.62 MB / 0.8419 GB Notification: Performance of combineBinaries: time 0.001129/0.4016, allocations: 2.888 MB / 1.084 GB, free: 12.07 MB / 0.8419 GB Notification: Performance of replaceArrayConstructors: time 0.0004775/0.4021, allocations: 1.703 MB / 1.085 GB, free: 10.85 MB / 0.8419 GB Notification: Performance of NFVerifyModel.verify: time 0.0002817/0.4024, allocations: 328.8 kB / 1.086 GB, free: 10.79 MB / 0.8419 GB Notification: Performance of FrontEnd: time 0.000402/0.4028, allocations: 198.2 kB / 1.086 GB, free: 10.73 MB / 0.8419 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 506 (491) * Number of variables: 490 (478) Notification: Performance of Bindings: time 0.004542/0.4073, allocations: 5.871 MB / 1.092 GB, free: 7.941 MB / 0.8419 GB Notification: Performance of FunctionAlias: time 0.0006242/0.4079, allocations: 0.7304 MB / 1.092 GB, free: 7.469 MB / 0.8419 GB Notification: Performance of Early Inline: time 0.00382/0.4118, allocations: 4.253 MB / 1.096 GB, free: 4.715 MB / 0.8419 GB Notification: Performance of simplify1: time 0.0008869/0.4127, allocations: 0.6573 MB / 1.097 GB, free: 4.332 MB / 0.8419 GB Notification: Performance of Alias: time 0.009088/0.4218, allocations: 7.895 MB / 1.105 GB, free: 15.57 MB / 0.8575 GB Notification: Performance of simplify2: time 0.0005049/0.4223, allocations: 394.3 kB / 1.105 GB, free: 15.34 MB / 0.8575 GB Notification: Performance of Detect States: time 0.001241/0.4235, allocations: 1.27 MB / 1.106 GB, free: 14.49 MB / 0.8575 GB Notification: Performance of Events: time 0.001549/0.4251, allocations: 1.296 MB / 1.108 GB, free: 13.66 MB / 0.8575 GB Notification: Performance of Partitioning: time 0.001671/0.4268, allocations: 1.408 MB / 1.109 GB, free: 12.67 MB / 0.8575 GB Error: Internal error NBSorting.SuperNode.getEqnIndices failed because elements should not be accessed, only their parents: [327] scalar element of (344) Error: Internal error NBSorting.tarjan failed to sort system: system vars Variables (292/311) ********************************* (1) [DISC] (1) protected Integer opeModSel.addInt2.y (2) [ALGB] (1) protected Real opeModSel.sub3.y (3) [DISC] (1) protected Boolean opeModSel.intGreThr1.y (4) [ALGB] (1) protected flow Real opeModSel.truFalHol1.stateGraphRoot.subgraphStatePort.activeSteps (5) [DISC] (2) protected Boolean[2] opeModSel.truFalHol1.outputTrue.inPort.occupied (6) [DISC] (1) protected Boolean opeModSel.truFalHol.toTrue1.outPort.occupied (7) [DISC] (1) protected Integer opeModSel.setBacMod.y (8) [DISC] (1) protected Boolean opeModSel.endSetBac.y (9) [DISC] (1) protected Boolean opeModSel.truFalHol.outputTrue.newActive (10) [DISC] (1) protected Boolean[1] opeModSel.truFalHol.outputTrue.outPort.reset (11) [DISC] (1) protected Boolean opeModSel.truFalHol1.toFalse1.outPort.occupied (12) [DISC] (1) protected Integer opeModSel.occMod.y (13) [DISC] (1) protected Boolean opeModSel.truFalHol1.toFalse.outPort.occupied (14) [DISC] (1) protected final Boolean opeModSel.truFalHol1.toFalse.localCondition = opeModSel.truFalHol1.toFalse.localCondition (15) [ALGB] (1) protected flow Real opeModSel.truFalHol1.outputTrue.outerStatePort.subgraphStatePort.activeSteps (16) [DISC] (2) protected Boolean[2] opeModSel.truFalHol1.outputFalse.inPort.set (17) [DISS] (1) protected Boolean opeModSel.truFalHol1.onDel1.y (18) [DISC] (1) protected Boolean opeModSel.truFalHol1.toTrue.inPort.available (19) [DISC] (1) protected Boolean opeModSel.truFalHol.toTrue.outPort.set (20) [DISC] (1) protected final Boolean opeModSel.truFalHol.toFalse.localCondition = opeModSel.truFalHol.toFalse.localCondition (21) [ALGB] (1) Real gai.y (22) [DISC] (2) protected Boolean[2] opeModSel.truFalHol1.initialStep.outPort.reset (23) [DISS] (1) protected Real opeModSel.truFalHol.onDel1.t_next (24) [DISS] (1) protected Boolean opeModSel.booToRea6.u (25) [DISC] (2) Boolean[2] $SEV_58[$i1] (26) [DISC] (1) protected Boolean opeModSel.or10.y (27) [ALGB] (1) protected Real opeModSel.booToRea.y (28) [ALGB] (1) protected Real opeModSel.booToRea3.y (29) [DISC] (1) protected Boolean opeModSel.truFalHol.toFalse.outPort.set (30) [DISC] (1) Boolean hys3.y (31) [DISC] (1) Boolean hys1.y (32) [DISC] (1) protected Boolean opeModSel.or6.y (33) [DISS] (1) protected Boolean opeModSel.booToRea3.u (34) [ALGB] (1) Real sin1.y (35) [DISC] (1) protected Boolean opeModSel.and3.y (36) [DISC] (1) protected Boolean opeModSel.truFalHol.outputFalse.newActive (37) [DISC] (1) protected Boolean opeModSel.truFalHol.outputTrue.outerStatePort.localActive = opeModSel.truFalHol.outputTrue.outerStatePort.localActive (38) [ALGB] (1) protected Real opeModSel.booToRea6.y (39) [DISC] (1) protected Boolean opeModSel.truFalHol.toFalse1.inPort.available (40) [DISC] (1) protected Integer opeModSel.truFalHol1.stateGraphRoot.activeSteps (41) [DISC] (1) protected Boolean opeModSel.or9.y (42) [DISC] (1) protected Integer opeModSel.setUpMod.y (43) [ALGB] (1) protected Real opeModSel.swi.y (44) [ALGB] (1) protected Real opeModSel.swi4.y (45) [DISC] (1) Boolean $TEV_9 (46) [DISC] (1) Boolean $TEV_8 (47) [DISC] (1) Boolean $TEV_7 (48) [DISS] (1) protected Real opeModSel.truFalHol.onDel2.t_next (49) [DISS] (1) protected Real opeModSel.truFalHol1.onDel2.t_next (50) [DISC] (1) Boolean $TEV_4 (51) [DISC] (1) Boolean $TEV_2 (52) [DISC] (2) Boolean[2] $SEV_43[$i1] (53) [DISC] (1) Boolean $TEV_1 (54) [DISC] (1) Boolean $TEV_0 (55) [DISC] (1) Boolean booToInt1.u (56) [DISC] (2) protected Boolean[2] opeModSel.truFalHol1.outputTrue.inPort.set (57) [DISC] (1) protected Boolean opeModSel.truFalHol1.outputTrue.newActive (58) [ALGB] (1) protected Real opeModSel.swi1.y (59) [DISC] (1) protected Integer opeModSel.booToInt3.y (60) [DISC] (1) protected Boolean opeModSel.truFalHol.initialStep.newActive (61) [DISC] (1) protected final Boolean opeModSel.truFalHol.toTrue.localCondition = opeModSel.truFalHol.toTrue.localCondition (62) [DISC] (1) protected final Boolean opeModSel.truFalHol.toTrue1.localCondition = opeModSel.truFalHol.toTrue1.localCondition (63) [DISC] (1) protected Integer opeModSel.addInt1.y (64) [ALGB] (1) protected Real opeModSel.sub4.y (65) [ALGB] (1) protected Real opeModSel.corWarUpTim.y (66) [DISC] (1) protected Boolean opeModSel.truFalHol1.toTrue.outPort.occupied (67) [DISC] (1) protected Boolean opeModSel.intGreThr2.y (68) [DISC] (1) protected Boolean[1] opeModSel.truFalHol.outputTrue.outPort.available (69) [ALGB] (1) Real dif2.y (70) [DISC] (2) Boolean[2] $SEV_42[$i1] (71) [ALGB] (1) Real dif1.y (72) [DISC] (1) protected Integer opeModSel.addInt4.y (73) [ALGB] (1) protected Real opeModSel.sub1.y (74) [DISC] (1) protected Boolean opeModSel.truFalHol.toFalse.outPort.occupied (75) [ALGB] (1) protected flow Real opeModSel.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (76) [DISC] (2) protected Boolean[2] opeModSel.truFalHol.outputFalse.inPort.occupied (77) [DISC] (1) protected Boolean opeModSel.truFalHol.toTrue.outPort.occupied (78) [DISC] (1) protected Boolean opeModSel.and5.u1 (79) [DISC] (1) protected Boolean opeModSel.truFalHol.toTrue1.outPort.set (80) [DISC] (1) protected Boolean opeModSel.booToRea.u (81) [DISC] (1) protected Integer opeModSel.truFalHol.stateGraphRoot.activeSteps (82) [DISC] (1) protected Integer opeModSel.addInt7.y (83) [DISC] (1) protected discrete Real occSch.tNext (84) [DISC] (1) protected Boolean opeModSel.hys2.y (85) [DISC] (1) protected Boolean[1] opeModSel.truFalHol1.outputFalse.outPort.available (86) [DISC] (1) protected Integer opeModSel.addInt.y (87) [DISC] (1) Boolean $SEV_82 (88) [DISC] (1) protected Boolean opeModSel.and2.u1 (89) [DISC] (1) Boolean $SEV_81 (90) [DISC] (1) Boolean $SEV_80 (91) [DISC] (1) protected Boolean opeModSel.or2.y (92) [DISS] (1) protected Boolean opeModSel.truFalHol.onDel2.y (93) [DISS] (1) protected Boolean opeModSel.truFalHol1.onDel2.y (94) [DISC] (1) Boolean $SEV_79 (95) [DISC] (1) protected Integer opeModSel.freProSetBacMod.y (96) [DISC] (1) Boolean $SEV_78 (97) [DISC] (1) protected final Boolean opeModSel.truFalHol1.toTrue1.localCondition = opeModSel.truFalHol1.toTrue1.localCondition (98) [DISC] (1) Boolean $SEV_77 (99) [DISC] (1) Boolean $SEV_76 (100) [DISC] (1) Boolean $SEV_75 (101) [DISC] (1) protected Boolean opeModSel.truFalHol1.toFalse.inPort.available (102) [DISC] (1) Boolean $SEV_74 (103) [DISC] (1) Boolean $SEV_73 (104) [ALGB] (1) protected Real opeModSel.corCooDowTim.y (105) [DISC] (1) Boolean $SEV_72 (106) [DISC] (1) Boolean $SEV_71 (107) [DISC] (1) Boolean $SEV_70 (108) [DISS] (1) protected Boolean opeModSel.booToRea4.u (109) [DISC] (1) protected Boolean opeModSel.or5.y (110) [DISC] (1) protected Boolean opeModSel.truFalHol1.outputFalse.outerStatePort.localActive = opeModSel.truFalHol1.outputFalse.outerStatePort.localActive (111) [DISC] (1) protected Boolean opeModSel.truFalHol1.toTrue1.outPort.occupied (112) [DISC] (1) protected Integer opeModSel.setBacMod2.y (113) [DISC] (2) protected Boolean[2] opeModSel.truFalHol.outputFalse.inPort.set (114) [DISC] (1) Boolean booToInt.u (115) [DISC] (1) Integer booToInt1.y (116) [DISC] (1) protected Boolean opeModSel.truFalHol1.outputTrue.outerStatePort.localActive = opeModSel.truFalHol1.outputTrue.outerStatePort.localActive (117) [DISC] (1) Boolean $SEV_69 (118) [DISC] (1) protected Boolean opeModSel.hys10.y (119) [DISC] (1) Boolean $SEV_68 (120) [DISC] (1) Boolean $SEV_67 (121) [DISC] (1) protected Boolean opeModSel.notOcc.y (122) [DISC] (1) protected Boolean opeModSel.booToRea1.u (123) [DISC] (1) Boolean $SEV_65 (124) [DISC] (1) Boolean $SEV_64 (125) [DISC] (1) Boolean $SEV_62 (126) [ALGB] (1) protected Real opeModSel.swi5.y (127) [DISC] (1) Boolean $SEV_61 (128) [DISC] (1) Boolean $SEV_60 (129) [DISC] (1) Integer booToInt.y (130) [DISC] (1) protected Boolean opeModSel.truFalHol1.initialStep.outerStatePort.localActive = opeModSel.truFalHol1.initialStep.outerStatePort.localActive (131) [DISC] (2) Boolean[2] $SEV_66[$i1] (132) [ALGB] (1) Real occSch.tNexNonOcc (133) [DISC] (1) protected Boolean[1] opeModSel.truFalHol.outputFalse.outPort.reset (134) [ALGB] (1) Real ramp1.y (135) [DISC] (1) protected Boolean opeModSel.or6.u2 (136) [DISC] (1) protected Boolean opeModSel.truFalHol.toTrue1.inPort.available (137) [DISC] (2) protected Boolean[2] opeModSel.truFalHol1.outputFalse.inPort.occupied (138) [DISC] (1) Boolean $SEV_59 (139) [ALGB] (1) protected Real opeModSel.swi2.y (140) [DISC] (1) protected Boolean opeModSel.truFalHol.outputFalse.outerStatePort.localActive = opeModSel.truFalHol.outputFalse.outerStatePort.localActive (141) [DISC] (1) Boolean $SEV_57 (142) [DISC] (1) protected Boolean[1] opeModSel.truFalHol1.outputFalse.outPort.reset (143) [DISC] (1) Boolean $SEV_56 (144) [DISC] (1) Boolean $SEV_55 (145) [DISC] (1) Boolean $SEV_54 (146) [DISC] (1) Boolean $SEV_53 (147) [DISS] (1) protected Real opeModSel.truFalHol1.onDel1.t_next (148) [DISC] (1) Boolean $SEV_52 (149) [DISC] (1) Boolean $SEV_50 (150) [ALGB] (1) protected Real opeModSel.sub5.y (151) [DISC] (1) protected Boolean opeModSel.truFalHol1.toTrue.outPort.set (152) [DISC] (1) protected Boolean opeModSel.hys9.y (153) [DISC] (1) protected Boolean opeModSel.truFalHol.toTrue.inPort.available (154) [DISC] (1) protected Boolean opeModSel.allHot.y (155) [DISC] (1) protected Boolean[1] opeModSel.truFalHol1.outputTrue.outPort.reset (156) [DISC] (1) protected discrete Real occSch.tOcc (157) [DISC] (1) Boolean $SEV_49 (158) [ALGB] (1) protected flow Real opeModSel.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (159) [DISC] (1) Boolean $SEV_47 (160) [DISC] (1) Boolean $SEV_46 (161) [DISC] (1) Boolean $SEV_45 (162) [DISC] (1) Boolean $SEV_44 (163) [DISC] (1) protected Integer opeModSel.addInt3.y (164) [ALGB] (1) protected Real opeModSel.sub2.y (165) [DISC] (1) Boolean $SEV_41 (166) [DISC] (1) Boolean $SEV_40 (167) [DISC] (1) protected Boolean opeModSel.allCol.y (168) [DISC] (1) Boolean $FUN_9 (169) [DISC] (1) protected Boolean opeModSel.truFalHol1.toFalse.outPort.set (170) [ALGB] (1) Real $FUN_8 (171) [ALGB] (1) Real $FUN_7 (172) [ALGB] (1) Real $FUN_6 (173) [DISC] (2) Boolean[2] $SEV_51[$i1] (174) [ALGB] (1) Real $FUN_5 (175) [ALGB] (1) Real $FUN_23 (176) [ALGB] (1) Real $FUN_4 (177) [ALGB] (1) Real $FUN_22 (178) [ALGB] (1) Real $FUN_3 (179) [ALGB] (1) Real $FUN_21 (180) [ALGB] (1) Real $FUN_2 (181) [ALGB] (1) Real $FUN_20 (182) [ALGB] (1) Real $FUN_1 (183) [DISC] (2) protected Boolean[2] opeModSel.truFalHol.outputTrue.inPort.set (184) [DISC] (1) protected Integer opeModSel.addInt6.y (185) [DISC] (1) Boolean $SEV_39 (186) [DISC] (1) protected Boolean opeModSel.hys3.y (187) [DISC] (1) Boolean $SEV_38 (188) [DISC] (2) protected Boolean[2] opeModSel.truFalHol.initialStep.outPort.available (189) [DISC] (1) Boolean $SEV_37 (190) [DISC] (1) Integer opeModSel.yOpeMod (191) [DISC] (1) Boolean $SEV_36 (192) [DISC] (1) protected Boolean opeModSel.truFalHol1.toTrue1.inPort.available (193) [DISC] (1) Boolean $SEV_35 (194) [DISC] (1) Boolean $SEV_34 (195) [DISC] (1) Boolean $SEV_33 (196) [DISC] (1) Boolean $SEV_32 (197) [DISC] (1) Boolean $SEV_31 (198) [DISC] (1) Boolean $SEV_30 (199) [DISC] (1) Boolean $TEV_49 (200) [DISC] (1) Boolean $TEV_48 (201) [DISC] (1) Boolean $TEV_47 (202) [DISC] (1) Boolean $TEV_46 (203) [DISC] (1) Boolean $TEV_45 (204) [DISC] (1) Boolean $TEV_44 (205) [DISC] (1) Boolean $FUN_19 (206) [DISC] (2) protected Boolean[2] opeModSel.truFalHol.initialStep.outPort.reset (207) [DISC] (1) Boolean $TEV_43 (208) [DISC] (1) protected Boolean opeModSel.or1.y (209) [DISC] (1) Boolean $FUN_18 (210) [DISC] (1) Boolean $TEV_42 (211) [DISC] (1) Boolean $FUN_17 (212) [DISC] (1) Boolean $TEV_41 (213) [DISC] (1) Boolean $FUN_16 (214) [DISC] (1) Real $TEV_40 (215) [DISC] (1) Boolean $FUN_15 (216) [DISC] (1) Boolean $FUN_14 (217) [DISC] (1) Boolean $FUN_12 (218) [DISC] (1) Boolean $FUN_11 (219) [DISC] (1) protected Boolean opeModSel.truFalHol1.toFalse1.outPort.set (220) [DISC] (1) Boolean $FUN_10 (221) [ALGB] (1) protected Real opeModSel.booToRea1.y (222) [DISC] (1) protected Boolean opeModSel.truFalHol1.outputFalse.newActive (223) [DISC] (1) Boolean $SEV_29 (224) [DISC] (1) protected final Boolean opeModSel.truFalHol1.toTrue.localCondition = opeModSel.truFalHol1.toTrue.localCondition (225) [DISC] (1) Boolean $SEV_28 (226) [DISC] (1) Boolean $SEV_27 (227) [DISC] (1) Boolean $SEV_26 (228) [ALGB] (1) protected flow Real opeModSel.truFalHol1.initialStep.outerStatePort.subgraphStatePort.activeSteps (229) [DISC] (1) Boolean $SEV_25 (230) [DISC] (1) Boolean $SEV_24 (231) [DISC] (1) Boolean $SEV_23 (232) [DISC] (1) Boolean $SEV_22 (233) [DISC] (1) Boolean $SEV_21 (234) [DISC] (1) Boolean $SEV_20 (235) [DISC] (1) protected Boolean opeModSel.or4.y (236) [DISC] (1) Real $TEV_39 (237) [DISC] (1) Boolean $TEV_38 (238) [DISC] (1) Boolean $TEV_37 (239) [DISC] (1) protected Boolean[1] opeModSel.truFalHol.outputFalse.outPort.available (240) [DISC] (2) Boolean[2] $SEV_63[$i1] (241) [DISC] (1) Boolean $TEV_34 (242) [DISC] (1) Boolean $TEV_33 (243) [DISC] (1) Boolean $TEV_32 (244) [DISC] (1) protected Boolean opeModSel.and5.y (245) [DISC] (1) protected Boolean opeModSel.truFalHol.toFalse1.outPort.occupied (246) [ALGB] (1) protected Real opeModSel.booToRea4.y (247) [DISC] (1) protected Boolean opeModSel.truFalHol1.toFalse1.inPort.available (248) [DISC] (1) protected Integer opeModSel.setBacMod1.y (249) [ALGB] (1) protected flow Real opeModSel.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (250) [ALGB] (1) protected flow Real opeModSel.truFalHol1.outputFalse.outerStatePort.subgraphStatePort.activeSteps (251) [DISC] (1) protected Boolean opeModSel.truFalHol1.initialStep.newActive (252) [DISC] (2) Boolean[2] $SEV_48[$i1] (253) [DISS] (1) protected Boolean opeModSel.truFalHol.onDel1.y (254) [DISC] (1) Boolean $SEV_19 (255) [DISC] (1) Boolean $SEV_18 (256) [DISC] (1) Boolean $SEV_17 (257) [DISC] (1) protected Boolean opeModSel.or7.y (258) [DISC] (1) Boolean $SEV_16 (259) [DISC] (1) Boolean $SEV_15 (260) [DISC] (1) Boolean $SEV_14 (261) [DISC] (1) Boolean $SEV_13 (262) [DISC] (1) Boolean $SEV_12 (263) [DISC] (1) Boolean $SEV_11 (264) [DISC] (1) Boolean $TEV_29 (265) [DISC] (1) Boolean $TEV_28 (266) [DISC] (1) protected Boolean opeModSel.and2.y (267) [DISC] (1) Boolean $TEV_27 (268) [ALGB] (1) protected flow Real opeModSel.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (269) [DISC] (1) Boolean $TEV_24 (270) [DISC] (1) Boolean $TEV_22 (271) [DISC] (1) Boolean $TEV_21 (272) [DISC] (1) Real $TEV_20 (273) [DISC] (1) Boolean occSch.occupied (274) [DISC] (1) protected Boolean opeModSel.truFalHol1.toTrue1.outPort.set (275) [DISC] (1) protected Boolean[1] opeModSel.truFalHol1.outputTrue.outPort.available (276) [DISC] (1) Boolean opeModSel.u1HigOccCoo (277) [ALGB] (1) protected Real opeModSel.swi3.y (278) [DISC] (1) Real $TEV_19 (279) [DISC] (1) Boolean $TEV_18 (280) [ALGB] (1) protected Real opeModSel.sub6.y (281) [DISC] (1) Boolean $TEV_17 (282) [DISC] (1) protected Boolean opeModSel.truFalHol.initialStep.outerStatePort.localActive = opeModSel.truFalHol.initialStep.outerStatePort.localActive (283) [DISC] (1) Boolean $TEV_14 (284) [DISC] (1) Boolean $TEV_13 (285) [DISC] (1) Boolean $TEV_12 (286) [DISC] (1) protected Boolean opeModSel.truFalHol.toFalse.inPort.available (287) [DISC] (1) Boolean opeModSel.u1OccHeaHig (288) [DISC] (1) protected Boolean opeModSel.endSetUp.y (289) [DISC] (1) protected Boolean opeModSel.truFalHol.toFalse1.outPort.set (290) [DISC] (2) protected Boolean[2] opeModSel.truFalHol.outputTrue.inPort.occupied (291) [DISC] (1) protected Boolean opeModSel.intGreThr.y (292) [DISC] (2) protected Boolean[2] opeModSel.truFalHol1.initialStep.outPort.available system eqns Equations (305/327) ********************************* (1) [SCAL] (1) opeModSel.truFalHol.outputTrue.outerStatePort.localActive = $TEV_33 ($RES_SIM_254) (2) [SCAL] (1) $SEV_49 = $FUN_17 or opeModSel.truFalHol1.outputTrue.outerStatePort.localActive and not $FUN_18 ($RES_EVT_726) (3) [SCAL] (1) opeModSel.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if opeModSel.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_256) (4) [SCAL] (1) $SEV_50 = (opeModSel.truFalHol1.toTrue.localCondition and opeModSel.truFalHol1.toTrue.inPort.available) and not opeModSel.truFalHol1.toTrue.outPort.occupied ($RES_EVT_727) (5) [FOR-] (2) ($RES_EVT_728) (5) [----] for $i1 in 1:2 loop (5) [----] [SCAL] (1) $SEV_51[$i1] = opeModSel.truFalHol1.outputFalse.inPort[$i1 - 1].occupied or opeModSel.truFalHol1.outputFalse.inPort[$i1 - 1].set ($RES_EVT_729) (5) [----] end for; (6) [SCAL] (1) opeModSel.truFalHol1.outputTrue.outPort[1].reset = opeModSel.truFalHol1.toFalse.outPort.set ($RES_SIM_510) (7) [SCAL] (1) opeModSel.truFalHol1.outputTrue.outPort[1].available = opeModSel.truFalHol1.toFalse.inPort.available ($RES_SIM_511) (8) [SCAL] (1) opeModSel.truFalHol1.toFalse.outPort.set = $SEV_47 ($RES_SIM_170) (9) [SCAL] (1) $TEV_17 = $PRE.opeModSel.truFalHol1.outputFalse.outerStatePort.localActive ($RES_EVT_641) (10) [SCAL] (1) $TEV_18 = $PRE.opeModSel.truFalHol1.outputFalse.newActive ($RES_EVT_642) (11) [SCAL] (1) $TEV_19 = $PRE.opeModSel.truFalHol1.onDel2.t_next ($RES_EVT_643) (12) [SCAL] (1) $TEV_20 = $PRE.opeModSel.truFalHol1.onDel1.t_next ($RES_EVT_644) (13) [SCAL] (1) $TEV_21 = $PRE.opeModSel.and2.y ($RES_EVT_645) (14) [SCAL] (1) opeModSel.truFalHol1.outputTrue.outPort[1].reset = false ($RES_SIM_175) (15) [SCAL] (1) $TEV_22 = $PRE.opeModSel.truFalHol.toFalse1.outPort.set ($RES_EVT_646) (16) [FOR-] (2) ($RES_SIM_176) (16) [----] for $i1 in 1:2 loop (16) [----] [SCAL] (1) opeModSel.truFalHol1.outputTrue.inPort[$i1].set = false ($RES_SIM_177) (16) [----] end for; (17) [SCAL] (1) $TEV_24 = $PRE.opeModSel.truFalHol.toTrue1.outPort.set ($RES_EVT_648) (18) [SCAL] (1) opeModSel.truFalHol1.outputTrue.outPort[1].available = opeModSel.truFalHol1.outputTrue.outerStatePort.localActive ($RES_SIM_178) (19) [FOR-] (2) ($RES_SIM_179) (19) [----] for $i1 in 1:2 loop (19) [----] [SCAL] (1) opeModSel.truFalHol1.outputTrue.inPort[$i1].occupied = if $SEV_42[$i1] then opeModSel.truFalHol1.outputTrue.outerStatePort.localActive else $SEV_48[$i1] ($RES_SIM_180) (19) [----] end for; (20) [SCAL] (1) $SEV_52 = $FUN_15 or opeModSel.truFalHol1.outputFalse.outerStatePort.localActive and not $FUN_16 ($RES_EVT_730) (21) [SCAL] (1) opeModSel.truFalHol.toTrue.outPort.set = $SEV_65 ($RES_SIM_260) (22) [SCAL] (1) $SEV_53 = time >= $PRE.opeModSel.truFalHol1.onDel2.t_next ($RES_EVT_731) (23) [SCAL] (1) $SEV_54 = time >= $PRE.opeModSel.truFalHol1.onDel1.t_next ($RES_EVT_732) (24) [SCAL] (1) $SEV_55 = opeModSel.and2.y and not $PRE.opeModSel.and2.y ($RES_EVT_733) (25) [SCAL] (1) $SEV_56 = (not opeModSel.truFalHol.toTrue1.localCondition and opeModSel.truFalHol.toFalse1.inPort.available) and not opeModSel.truFalHol.toFalse1.outPort.occupied ($RES_EVT_734) (26) [SCAL] (1) $SEV_57 = (opeModSel.truFalHol.toTrue1.localCondition and opeModSel.truFalHol.toTrue1.inPort.available) and not opeModSel.truFalHol.toTrue1.outPort.occupied ($RES_EVT_735) (27) [SCAL] (1) opeModSel.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_265) (28) [FOR-] (2) ($RES_EVT_736) (28) [----] for $i1 in 1:2 loop (28) [----] [SCAL] (1) $SEV_58[$i1] = opeModSel.truFalHol.initialStep.outPort[$i1 - 1].available and not opeModSel.truFalHol.initialStep.outPort[$i1 - 1].reset ($RES_EVT_737) (28) [----] end for; (29) [FOR-] (2) ($RES_SIM_266) (29) [----] for $i1 in 1:2 loop (29) [----] [SCAL] (1) opeModSel.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_267) (29) [----] end for; (30) [SCAL] (1) $SEV_59 = opeModSel.truFalHol.initialStep.outerStatePort.localActive and not $FUN_14 ($RES_EVT_738) (31) [SCAL] (1) opeModSel.truFalHol.outputFalse.outPort[1].available = opeModSel.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_268) (32) [SCAL] (1) $SEV_60 = opeModSel.truFalHol.onDel1.y and opeModSel.truFalHol.toTrue1.localCondition ($RES_EVT_739) (33) [FOR-] (2) ($RES_SIM_269) (33) [----] for $i1 in 1:2 loop (33) [----] [SCAL] (1) opeModSel.truFalHol.outputFalse.inPort[$i1].occupied = if $SEV_42[$i1] then opeModSel.truFalHol.outputFalse.outerStatePort.localActive else $SEV_66[$i1] ($RES_SIM_270) (33) [----] end for; (34) [SCAL] (1) opeModSel.truFalHol.initialStep.outPort[2].reset = opeModSel.truFalHol.toFalse1.outPort.set ($RES_SIM_523) (35) [SCAL] (1) opeModSel.truFalHol.initialStep.outPort[2].available = opeModSel.truFalHol.toFalse1.inPort.available ($RES_SIM_524) (36) [SCAL] (1) opeModSel.truFalHol.initialStep.outPort[1].reset = opeModSel.truFalHol.toTrue1.outPort.set ($RES_SIM_525) (37) [SCAL] (1) opeModSel.truFalHol.initialStep.outPort[1].available = opeModSel.truFalHol.toTrue1.inPort.available ($RES_SIM_526) (38) [SCAL] (1) opeModSel.truFalHol.toFalse1.outPort.set = opeModSel.truFalHol.outputFalse.inPort[2].set ($RES_SIM_527) (39) [SCAL] (1) opeModSel.truFalHol.toFalse1.outPort.occupied = opeModSel.truFalHol.outputFalse.inPort[2].occupied ($RES_SIM_528) (40) [SCAL] (1) opeModSel.truFalHol.toTrue.outPort.set = opeModSel.truFalHol.outputTrue.inPort[2].set ($RES_SIM_529) (41) [SCAL] (1) $TEV_27 = $PRE.opeModSel.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_651) (42) [SCAL] (1) $TEV_28 = $PRE.opeModSel.truFalHol.initialStep.newActive ($RES_EVT_652) (43) [SCAL] (1) opeModSel.truFalHol1.outputTrue.newActive = $SEV_49 ($RES_SIM_182) (44) [SCAL] (1) $TEV_29 = $PRE.opeModSel.truFalHol.toFalse.outPort.set ($RES_EVT_653) (45) [SCAL] (1) opeModSel.truFalHol1.outputTrue.outerStatePort.localActive = $TEV_13 ($RES_SIM_183) (46) [SCAL] (1) opeModSel.truFalHol1.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if opeModSel.truFalHol1.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_185) (47) [SCAL] (1) $TEV_32 = $PRE.opeModSel.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_656) (48) [SCAL] (1) $TEV_33 = $PRE.opeModSel.truFalHol.outputTrue.newActive ($RES_EVT_657) (49) [SCAL] (1) $TEV_34 = $PRE.opeModSel.truFalHol.toTrue.outPort.set ($RES_EVT_658) (50) [SCAL] (1) opeModSel.truFalHol1.toTrue.outPort.set = $SEV_50 ($RES_SIM_189) (51) [SCAL] (1) $SEV_61 = opeModSel.truFalHol.onDel2.y and not opeModSel.truFalHol.toTrue1.localCondition ($RES_EVT_740) (52) [SCAL] (1) $SEV_62 = (opeModSel.truFalHol.toFalse.localCondition and opeModSel.truFalHol.toFalse.inPort.available) and not opeModSel.truFalHol.toFalse.outPort.occupied ($RES_EVT_741) (53) [FOR-] (2) ($RES_EVT_742) (53) [----] for $i1 in 1:2 loop (53) [----] [SCAL] (1) $SEV_63[$i1] = opeModSel.truFalHol.outputTrue.inPort[$i1 - 1].occupied or opeModSel.truFalHol.outputTrue.inPort[$i1 - 1].set ($RES_EVT_743) (53) [----] end for; (54) [SCAL] (1) opeModSel.truFalHol.outputFalse.newActive = $SEV_67 ($RES_SIM_272) (55) [SCAL] (1) opeModSel.truFalHol.outputFalse.outerStatePort.localActive = $TEV_38 ($RES_SIM_273) (56) [SCAL] (1) $SEV_64 = $FUN_11 or opeModSel.truFalHol.outputTrue.outerStatePort.localActive and not $FUN_12 ($RES_EVT_744) (57) [SCAL] (1) $SEV_65 = (opeModSel.truFalHol.toTrue.localCondition and opeModSel.truFalHol.toTrue.inPort.available) and not opeModSel.truFalHol.toTrue.outPort.occupied ($RES_EVT_745) (58) [SCAL] (1) opeModSel.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if opeModSel.truFalHol.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_275) (59) [FOR-] (2) ($RES_EVT_746) (59) [----] for $i1 in 1:2 loop (59) [----] [SCAL] (1) $SEV_66[$i1] = opeModSel.truFalHol.outputFalse.inPort[$i1 - 1].occupied or opeModSel.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_747) (59) [----] end for; (60) [SCAL] (1) $SEV_67 = $FUN_9 or opeModSel.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_10 ($RES_EVT_748) (61) [SCAL] (1) $SEV_68 = time >= $PRE.opeModSel.truFalHol.onDel2.t_next ($RES_EVT_749) (62) [SCAL] (1) opeModSel.truFalHol.stateGraphRoot.activeSteps = -integer(opeModSel.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_279) (63) [SCAL] (1) opeModSel.truFalHol.toTrue.outPort.occupied = opeModSel.truFalHol.outputTrue.inPort[2].occupied ($RES_SIM_530) (64) [SCAL] (1) opeModSel.truFalHol.toTrue1.outPort.set = opeModSel.truFalHol.outputTrue.inPort[1].set ($RES_SIM_531) (65) [SCAL] (1) opeModSel.truFalHol.toTrue1.outPort.occupied = opeModSel.truFalHol.outputTrue.inPort[1].occupied ($RES_SIM_532) (66) [SCAL] (1) $TEV_37 = $PRE.opeModSel.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_661) (67) [SCAL] (1) $TEV_38 = $PRE.opeModSel.truFalHol.outputFalse.newActive ($RES_EVT_662) (68) [SCAL] (1) $TEV_39 = $PRE.opeModSel.truFalHol.onDel2.t_next ($RES_EVT_663) (69) [SCAL] (1) $TEV_40 = $PRE.opeModSel.truFalHol.onDel1.t_next ($RES_EVT_664) (70) [SCAL] (1) opeModSel.truFalHol1.outputFalse.outPort[1].reset = false ($RES_SIM_194) (71) [SCAL] (1) $TEV_41 = $PRE.opeModSel.and5.y ($RES_EVT_665) (72) [FOR-] (2) ($RES_SIM_195) (72) [----] for $i1 in 1:2 loop (72) [----] [SCAL] (1) opeModSel.truFalHol1.outputFalse.inPort[$i1].set = false ($RES_SIM_196) (72) [----] end for; (73) [SCAL] (1) $TEV_42 = $PRE.opeModSel.hys10.y ($RES_EVT_666) (74) [SCAL] (1) $TEV_43 = $PRE.opeModSel.hys9.y ($RES_EVT_667) (75) [SCAL] (1) opeModSel.truFalHol1.outputFalse.outPort[1].available = opeModSel.truFalHol1.outputFalse.outerStatePort.localActive ($RES_SIM_197) (76) [SCAL] (1) $TEV_44 = $PRE.opeModSel.and5.u1 ($RES_EVT_668) (77) [FOR-] (2) ($RES_SIM_198) (77) [----] for $i1 in 1:2 loop (77) [----] [SCAL] (1) opeModSel.truFalHol1.outputFalse.inPort[$i1].occupied = if $SEV_42[$i1] then opeModSel.truFalHol1.outputFalse.outerStatePort.localActive else $SEV_51[$i1] ($RES_SIM_199) (77) [----] end for; (78) [SCAL] (1) $TEV_45 = $PRE.opeModSel.and2.u1 ($RES_EVT_669) (79) [SCAL] (1) $SEV_69 = time >= $PRE.opeModSel.truFalHol.onDel1.t_next ($RES_EVT_750) (80) [SCAL] (1) $SEV_70 = opeModSel.and5.y and not $PRE.opeModSel.and5.y ($RES_EVT_751) (81) [WHEN] (1) ($RES_SIM_280) (81) [----] when $SEV_68 then (81) [----] opeModSel.truFalHol.onDel2.y := opeModSel.truFalHol.outputTrue.outerStatePort.localActive (81) [----] else when not opeModSel.truFalHol.outputTrue.outerStatePort.localActive then (81) [----] opeModSel.truFalHol.onDel2.y := false (81) [----] else when opeModSel.truFalHol.outputTrue.outerStatePort.localActive then (81) [----] opeModSel.truFalHol.onDel2.y := not opeModSel.truFalHol.onDel2.delayTime > 0.0 (81) [----] else when initial() then (81) [----] opeModSel.truFalHol.onDel2.y := if not (opeModSel.truFalHol.onDel2.delayOnInit and opeModSel.truFalHol.onDel2.delayTime > 0.0) then opeModSel.truFalHol.outputTrue.outerStatePort.localActive else false (81) [----] end when; (82) [SCAL] (1) $SEV_71 = opeModSel.swi5.y > 0.0 ($RES_EVT_752) (83) [WHEN] (1) ($RES_SIM_281) (83) [----] when $SEV_68 then (83) [----] opeModSel.truFalHol.onDel2.t_next := opeModSel.truFalHol.onDel2.t_past (83) [----] else when not opeModSel.truFalHol.outputTrue.outerStatePort.localActive then (83) [----] opeModSel.truFalHol.onDel2.t_next := opeModSel.truFalHol.onDel2.t_past (83) [----] else when opeModSel.truFalHol.outputTrue.outerStatePort.localActive then (83) [----] opeModSel.truFalHol.onDel2.t_next := time + opeModSel.truFalHol.onDel2.delayTime (83) [----] else when initial() then (83) [----] opeModSel.truFalHol.onDel2.t_next := if not opeModSel.truFalHol.onDel2.delayOnInit then opeModSel.truFalHol.onDel2.t_past else time + opeModSel.truFalHol.onDel2.delayTime (83) [----] end when; (84) [SCAL] (1) $SEV_72 = opeModSel.swi4.y > 0.0 ($RES_EVT_753) (85) [WHEN] (1) ($RES_SIM_282) (85) [----] when $SEV_69 then (85) [----] opeModSel.truFalHol.onDel1.y := opeModSel.truFalHol.outputFalse.outerStatePort.localActive (85) [----] else when not opeModSel.truFalHol.outputFalse.outerStatePort.localActive then (85) [----] opeModSel.truFalHol.onDel1.y := false (85) [----] else when opeModSel.truFalHol.outputFalse.outerStatePort.localActive then (85) [----] opeModSel.truFalHol.onDel1.y := not opeModSel.truFalHol.onDel1.delayTime > 0.0 (85) [----] else when initial() then (85) [----] opeModSel.truFalHol.onDel1.y := if not (opeModSel.truFalHol.onDel1.delayOnInit and opeModSel.truFalHol.onDel1.delayTime > 0.0) then opeModSel.truFalHol.outputFalse.outerStatePort.localActive else false (85) [----] end when; (86) [SCAL] (1) $SEV_73 = opeModSel.swi3.y > 0.0 ($RES_EVT_754) (87) [WHEN] (1) ($RES_SIM_283) (87) [----] when $SEV_69 then (87) [----] opeModSel.truFalHol.onDel1.t_next := opeModSel.truFalHol.onDel1.t_past (87) [----] else when not opeModSel.truFalHol.outputFalse.outerStatePort.localActive then (87) [----] opeModSel.truFalHol.onDel1.t_next := opeModSel.truFalHol.onDel1.t_past (87) [----] else when opeModSel.truFalHol.outputFalse.outerStatePort.localActive then (87) [----] opeModSel.truFalHol.onDel1.t_next := time + opeModSel.truFalHol.onDel1.delayTime (87) [----] else when initial() then (87) [----] opeModSel.truFalHol.onDel1.t_next := if not opeModSel.truFalHol.onDel1.delayOnInit then opeModSel.truFalHol.onDel1.t_past else time + opeModSel.truFalHol.onDel1.delayTime (87) [----] end when; (88) [SCAL] (1) $SEV_74 = opeModSel.swi.y > 0.0 ($RES_EVT_755) (89) [SCAL] (1) opeModSel.truFalHol1.toTrue1.localCondition = $SEV_70 ($RES_SIM_284) (90) [SCAL] (1) $SEV_75 = booToInt1.y > opeModSel.intGreThr2.t ($RES_EVT_756) (91) [SCAL] (1) opeModSel.setUpMod.y = if $SEV_71 then integer($FUN_7) else integer($FUN_8) ($RES_SIM_285) (92) [SCAL] (1) $SEV_76 = not $PRE.opeModSel.hys10.y and opeModSel.sub1.y > opeModSel.hys10.uHigh or $PRE.opeModSel.hys10.y and opeModSel.sub1.y >= opeModSel.hys10.uLow ($RES_EVT_757) (93) [SCAL] (1) opeModSel.freProSetBacMod.y = if $SEV_72 then integer($FUN_5) else integer($FUN_6) ($RES_SIM_286) (94) [SCAL] (1) $SEV_77 = not $PRE.opeModSel.hys9.y and opeModSel.sub2.y > opeModSel.hys9.uHigh or $PRE.opeModSel.hys9.y and opeModSel.sub2.y >= opeModSel.hys9.uLow ($RES_EVT_758) (95) [SCAL] (1) opeModSel.setBacMod.y = if $SEV_73 then integer($FUN_3) else integer($FUN_4) ($RES_SIM_287) (96) [SCAL] (1) $SEV_78 = not $PRE.opeModSel.and5.u1 and opeModSel.sub6.y > opeModSel.hys5.uHigh or $PRE.opeModSel.and5.u1 and opeModSel.sub6.y >= opeModSel.hys5.uLow ($RES_EVT_759) (97) [SCAL] (1) opeModSel.occMod.y = if $SEV_74 then integer($FUN_1) else integer($FUN_2) ($RES_SIM_288) (98) [SCAL] (1) opeModSel.yOpeMod = opeModSel.addInt1.y + opeModSel.addInt4.y ($RES_SIM_289) (99) [SCAL] (1) opeModSel.truFalHol.toFalse.outPort.set = opeModSel.truFalHol.outputFalse.inPort[1].set ($RES_SIM_541) (100) [SCAL] (1) opeModSel.truFalHol.toFalse.outPort.occupied = opeModSel.truFalHol.outputFalse.inPort[1].occupied ($RES_SIM_542) (101) [SCAL] (1) opeModSel.truFalHol.outputFalse.outPort[1].reset = opeModSel.truFalHol.toTrue.outPort.set ($RES_SIM_543) (102) [SCAL] (1) opeModSel.truFalHol.outputFalse.outPort[1].available = opeModSel.truFalHol.toTrue.inPort.available ($RES_SIM_544) (103) [SCAL] (1) opeModSel.truFalHol.outputTrue.outPort[1].reset = opeModSel.truFalHol.toFalse.outPort.set ($RES_SIM_547) (104) [SCAL] (1) opeModSel.truFalHol.outputTrue.outPort[1].available = opeModSel.truFalHol.toFalse.inPort.available ($RES_SIM_548) (105) [SCAL] (1) $TEV_46 = $PRE.opeModSel.hys3.y ($RES_EVT_670) (106) [SCAL] (1) $TEV_47 = $PRE.opeModSel.hys2.y ($RES_EVT_671) (107) [SCAL] (1) $TEV_48 = time < ramp1.startTime ($RES_EVT_672) (108) [SCAL] (1) $TEV_49 = time < (ramp1.startTime + ramp1.duration) ($RES_EVT_673) (109) [SCAL] (1) $SEV_79 = not $PRE.opeModSel.and2.u1 and opeModSel.sub5.y > opeModSel.hys4.uHigh or $PRE.opeModSel.and2.u1 and opeModSel.sub5.y >= opeModSel.hys4.uLow ($RES_EVT_760) (110) [SCAL] (1) $SEV_80 = not $PRE.opeModSel.hys3.y and opeModSel.sub4.y > opeModSel.hys3.uHigh or $PRE.opeModSel.hys3.y and opeModSel.sub4.y >= opeModSel.hys3.uLow ($RES_EVT_761) (111) [SCAL] (1) opeModSel.addInt4.y = opeModSel.addInt3.y + opeModSel.booToInt3.y ($RES_SIM_290) (112) [SCAL] (1) $SEV_81 = not $PRE.opeModSel.hys2.y and opeModSel.sub3.y > opeModSel.hys2.uHigh or $PRE.opeModSel.hys2.y and opeModSel.sub3.y >= opeModSel.hys2.uLow ($RES_EVT_762) (113) [SCAL] (1) opeModSel.addInt3.y = opeModSel.addInt2.y + opeModSel.setUpMod.y ($RES_SIM_291) (114) [SCAL] (1) $SEV_82 = booToInt.y > opeModSel.intGreThr.t ($RES_EVT_763) (115) [SCAL] (1) opeModSel.addInt2.y = opeModSel.setBacMod.y + opeModSel.freProSetBacMod.y ($RES_SIM_292) (116) [SCAL] (1) opeModSel.addInt1.y = opeModSel.occMod.y + opeModSel.addInt.y ($RES_SIM_293) (117) [SCAL] (1) opeModSel.addInt.y = opeModSel.setBacMod1.y + opeModSel.setBacMod2.y ($RES_SIM_294) (118) [SCAL] (1) opeModSel.intGreThr2.y = $SEV_75 ($RES_SIM_295) (119) [SCAL] (1) opeModSel.hys10.y = $SEV_76 ($RES_SIM_297) (120) [SCAL] (1) opeModSel.hys9.y = $SEV_77 ($RES_SIM_298) (121) [SCAL] (1) opeModSel.sub6.y = opeModSel.corWarUpTim.y - (occSch.tOcc - time) ($RES_SIM_299) (122) [SCAL] (1) $SEV_11 = not $PRE.hys1.y and dif1.y > hys1.uHigh or $PRE.hys1.y and dif1.y >= hys1.uLow ($RES_EVT_685) (123) [SCAL] (1) $SEV_12 = not $PRE.hys3.y and dif2.y > hys3.uHigh or $PRE.hys3.y and dif2.y >= hys3.uLow ($RES_EVT_686) (124) [SCAL] (1) $SEV_13 = time >= $PRE.occSch.tNext ($RES_EVT_687) (125) [SCAL] (1) $SEV_14 = gai.y + zonTem.p > TZonCooSetUno.k ($RES_EVT_688) (126) [SCAL] (1) $SEV_15 = TZonHeaSetUno.k > (gai.y + zonTem.p) ($RES_EVT_689) (127) [SCAL] (1) $SEV_16 = gai.y + zonTem.p > TZonCooSetOcc.k ($RES_EVT_690) (128) [SCAL] (1) $SEV_17 = TZonHeaSetOcc.k > (gai.y + zonTem.p) ($RES_EVT_691) (129) [SCAL] (1) $SEV_18 = opeModSel.or5.y or opeModSel.booToRea3.u ($RES_EVT_692) (130) [SCAL] (1) $SEV_19 = opeModSel.or9.y or occSch.occupied ($RES_EVT_693) (131) [SCAL] (1) $SEV_20 = cloWin.k > opeModSel.intGreThr1.t ($RES_EVT_694) (132) [SCAL] (1) $SEV_21 = hys1.y and not $PRE.hys1.y ($RES_EVT_695) (133) [SCAL] (1) $SEV_22 = hys3.y and not $PRE.hys3.y ($RES_EVT_696) (134) [SCAL] (1) $SEV_23 = opeModSel.or4.y or booToInt1.u ($RES_EVT_697) (135) [SCAL] (1) $SEV_24 = opeModSel.or1.y or booToInt.u ($RES_EVT_698) (136) [SCAL] (1) $SEV_25 = opeModSel.addInt7.y == opeModSel.totZon.k ($RES_EVT_699) (137) [SCAL] (1) opeModSel.truFalHol1.initialStep.outPort[2].reset = opeModSel.truFalHol1.toFalse1.outPort.set ($RES_SIM_486) (138) [SCAL] (1) opeModSel.truFalHol1.initialStep.outPort[2].available = opeModSel.truFalHol1.toFalse1.inPort.available ($RES_SIM_487) (139) [SCAL] (1) opeModSel.truFalHol1.initialStep.outPort[1].reset = opeModSel.truFalHol1.toTrue1.outPort.set ($RES_SIM_488) (140) [SCAL] (1) opeModSel.truFalHol1.initialStep.outPort[1].available = opeModSel.truFalHol1.toTrue1.inPort.available ($RES_SIM_489) (141) [SCAL] (1) opeModSel.truFalHol1.toFalse1.outPort.set = opeModSel.truFalHol1.outputFalse.inPort[2].set ($RES_SIM_490) (142) [SCAL] (1) opeModSel.truFalHol1.toFalse1.outPort.occupied = opeModSel.truFalHol1.outputFalse.inPort[2].occupied ($RES_SIM_491) (143) [SCAL] (1) opeModSel.truFalHol1.toTrue.outPort.set = opeModSel.truFalHol1.outputTrue.inPort[2].set ($RES_SIM_492) (144) [SCAL] (1) opeModSel.truFalHol1.toTrue.outPort.occupied = opeModSel.truFalHol1.outputTrue.inPort[2].occupied ($RES_SIM_493) (145) [SCAL] (1) opeModSel.truFalHol1.toTrue1.outPort.set = opeModSel.truFalHol1.outputTrue.inPort[1].set ($RES_SIM_494) (146) [SCAL] (1) opeModSel.truFalHol1.toTrue1.outPort.occupied = opeModSel.truFalHol1.outputTrue.inPort[1].occupied ($RES_SIM_495) (147) [SCAL] (1) $FUN_1 = floor(0.5 + opeModSel.swi.y) ($RES_$AUX_599) (148) [SCAL] (1) $FUN_2 = ceil((-0.5) + opeModSel.swi.y) ($RES_$AUX_598) (149) [SCAL] (1) $FUN_3 = floor(0.5 + opeModSel.swi3.y) ($RES_$AUX_597) (150) [SCAL] (1) $FUN_4 = ceil((-0.5) + opeModSel.swi3.y) ($RES_$AUX_596) (151) [SCAL] (1) $FUN_5 = floor(0.5 + opeModSel.swi4.y) ($RES_$AUX_595) (152) [SCAL] (1) $FUN_6 = ceil((-0.5) + opeModSel.swi4.y) ($RES_$AUX_594) (153) [SCAL] (1) $FUN_7 = floor(0.5 + opeModSel.swi5.y) ($RES_$AUX_593) (154) [SCAL] (1) $FUN_8 = ceil((-0.5) + opeModSel.swi5.y) ($RES_$AUX_592) (155) [SCAL] (1) $FUN_9 = Modelica.Math.BooleanVectors.anyTrue(opeModSel.truFalHol.outputFalse.inPort.set) ($RES_$AUX_591) (156) [SCAL] (1) $FUN_10 = Modelica.Math.BooleanVectors.anyTrue(opeModSel.truFalHol.outputFalse.outPort.reset) ($RES_$AUX_590) (157) [SCAL] (1) $FUN_11 = Modelica.Math.BooleanVectors.anyTrue(opeModSel.truFalHol.outputTrue.inPort.set) ($RES_$AUX_589) (158) [SCAL] (1) $FUN_12 = Modelica.Math.BooleanVectors.anyTrue(opeModSel.truFalHol.outputTrue.outPort.reset) ($RES_$AUX_588) (159) [SCAL] (1) $FUN_14 = Modelica.Math.BooleanVectors.anyTrue(opeModSel.truFalHol.initialStep.outPort.reset) ($RES_$AUX_586) (160) [SCAL] (1) opeModSel.endSetUp.y = $SEV_21 ($RES_SIM_100) (161) [SCAL] (1) $FUN_15 = Modelica.Math.BooleanVectors.anyTrue(opeModSel.truFalHol1.outputFalse.inPort.set) ($RES_$AUX_585) (162) [SCAL] (1) opeModSel.endSetBac.y = $SEV_22 ($RES_SIM_101) (163) [SCAL] (1) $FUN_16 = Modelica.Math.BooleanVectors.anyTrue(opeModSel.truFalHol1.outputFalse.outPort.reset) ($RES_$AUX_584) (164) [SCAL] (1) opeModSel.sub4.y = opeModSel.maxWarCooTime.k - warUpTim.k ($RES_SIM_102) (165) [SCAL] (1) $FUN_17 = Modelica.Math.BooleanVectors.anyTrue(opeModSel.truFalHol1.outputTrue.inPort.set) ($RES_$AUX_583) (166) [SCAL] (1) opeModSel.sub3.y = opeModSel.maxWarCooTime.k - cooDowTim.k ($RES_SIM_103) (167) [SCAL] (1) $FUN_18 = Modelica.Math.BooleanVectors.anyTrue(opeModSel.truFalHol1.outputTrue.outPort.reset) ($RES_$AUX_582) (168) [SCAL] (1) opeModSel.or7.y = $SEV_23 ($RES_SIM_104) (169) [SCAL] (1) $FUN_19 = Modelica.Math.BooleanVectors.anyTrue(opeModSel.truFalHol1.initialStep.outPort.reset) ($RES_$AUX_581) (170) [SCAL] (1) opeModSel.or2.y = $SEV_24 ($RES_SIM_105) (171) [SCAL] (1) $FUN_20 = floor(0.5 + opeModSel.swi1.y) ($RES_$AUX_580) (172) [SCAL] (1) opeModSel.sub1.y = (gai.y + zonTem.p) - opeModSel.endFreProTem.k ($RES_SIM_106) (173) [SCAL] (1) opeModSel.sub2.y = opeModSel.actFreProTem.k - (gai.y + zonTem.p) ($RES_SIM_107) (174) [SCAL] (1) $FUN_21 = ceil((-0.5) + opeModSel.swi1.y) ($RES_$AUX_579) (175) [SCAL] (1) $FUN_22 = floor(0.5 + opeModSel.swi2.y) ($RES_$AUX_578) (176) [SCAL] (1) $FUN_23 = ceil((-0.5) + opeModSel.swi2.y) ($RES_$AUX_577) (177) [SCAL] (1) sin1.y = sin(ramp1.y) ($RES_$AUX_576) (178) [SCAL] (1) opeModSel.allHot.y = $SEV_25 ($RES_SIM_110) (179) [SCAL] (1) opeModSel.allCol.y = $SEV_26 ($RES_SIM_111) (180) [SCAL] (1) opeModSel.and5.y = $SEV_27 ($RES_SIM_113) (181) [SCAL] (1) opeModSel.booToRea.u = $SEV_28 ($RES_SIM_114) (182) [SCAL] (1) opeModSel.setBacMod2.y = if $SEV_29 then integer($FUN_22) else integer($FUN_23) ($RES_SIM_115) (183) [SCAL] (1) opeModSel.swi2.y = smooth(0, if occSch.occupied then opeModSel.unoPerInd.k else opeModSel.booToRea1.y) ($RES_SIM_116) (184) [SCAL] (1) opeModSel.setBacMod1.y = if $SEV_30 then integer($FUN_20) else integer($FUN_21) ($RES_SIM_117) (185) [SCAL] (1) opeModSel.swi1.y = smooth(0, if occSch.occupied then opeModSel.unoPerInd.k else opeModSel.booToRea.y) ($RES_SIM_118) (186) [SCAL] (1) gai.y = gai.k * sin1.y ($RES_SIM_71) (187) [SCAL] (1) hys1.y = $SEV_11 ($RES_SIM_72) (188) [SCAL] (1) opeModSel.truFalHol1.outputFalse.newActive = $SEV_52 ($RES_SIM_201) (189) [SCAL] (1) dif1.y = TZonCooSetUno.k - (gai.y + zonTem.p) ($RES_SIM_73) (190) [SCAL] (1) opeModSel.truFalHol1.outputFalse.outerStatePort.localActive = $TEV_18 ($RES_SIM_202) (191) [SCAL] (1) hys3.y = $SEV_12 ($RES_SIM_74) (192) [SCAL] (1) dif2.y = (gai.y + zonTem.p) - TZonHeaSetUno.k ($RES_SIM_75) (193) [SCAL] (1) opeModSel.truFalHol1.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if opeModSel.truFalHol1.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_204) (194) [WHEN] (4) ($RES_SIM_78) (194) [----] when $SEV_13 then (194) [----] (occSch.tOcc, -(-(occSch.tNexNonOcc + time)), occSch.occupied, occSch.tNext) := Buildings.Controls.OBC.ASHRAE.G36.ZoneGroups.Validation.OperationMode.occSch.getOutput(time, occSch.period, occSch.occupancy, occSch.firstEntryOccupied, 2) (194) [----] end when; (195) [SCAL] (1) booToInt1.y = if booToInt1.u then booToInt1.integerTrue else booToInt1.integerFalse ($RES_SIM_79) (196) [SCAL] (1) opeModSel.truFalHol1.stateGraphRoot.activeSteps = -integer(opeModSel.truFalHol1.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_208) (197) [WHEN] (1) ($RES_SIM_209) (197) [----] when $SEV_53 then (197) [----] opeModSel.truFalHol1.onDel2.y := opeModSel.truFalHol1.outputTrue.outerStatePort.localActive (197) [----] else when not opeModSel.truFalHol1.outputTrue.outerStatePort.localActive then (197) [----] opeModSel.truFalHol1.onDel2.y := false (197) [----] else when opeModSel.truFalHol1.outputTrue.outerStatePort.localActive then (197) [----] opeModSel.truFalHol1.onDel2.y := not opeModSel.truFalHol1.onDel2.delayTime > 0.0 (197) [----] else when initial() then (197) [----] opeModSel.truFalHol1.onDel2.y := if not (opeModSel.truFalHol1.onDel2.delayOnInit and opeModSel.truFalHol1.onDel2.delayTime > 0.0) then opeModSel.truFalHol1.outputTrue.outerStatePort.localActive else false (197) [----] end when; (198) [SCAL] (1) opeModSel.and3.y = $SEV_31 ($RES_SIM_121) (199) [SCAL] (1) opeModSel.notOcc.y = $SEV_32 ($RES_SIM_122) (200) [SCAL] (1) opeModSel.swi5.y = smooth(0, if opeModSel.or6.u2 then opeModSel.unoPerInd.k else opeModSel.booToRea6.y) ($RES_SIM_124) (201) [SCAL] (1) opeModSel.swi4.y = smooth(0, if opeModSel.or6.u2 then opeModSel.unoPerInd.k else opeModSel.booToRea4.y) ($RES_SIM_125) (202) [SCAL] (1) opeModSel.swi3.y = smooth(0, if opeModSel.or6.u2 then opeModSel.unoPerInd.k else opeModSel.booToRea3.y) ($RES_SIM_126) (203) [SCAL] (1) opeModSel.swi.y = smooth(0, if occSch.occupied then opeModSel.occModInd.k else opeModSel.unoPerInd.k) ($RES_SIM_127) (204) [SCAL] (1) opeModSel.or6.y = $SEV_33 ($RES_SIM_128) (205) [SCAL] (1) opeModSel.or5.y = $SEV_34 ($RES_SIM_129) (206) [SCAL] (1) booToInt1.u = $SEV_14 ($RES_SIM_80) (207) [SCAL] (1) booToInt.y = if booToInt.u then booToInt.integerTrue else booToInt.integerFalse ($RES_SIM_81) (208) [WHEN] (1) ($RES_SIM_210) (208) [----] when $SEV_53 then (208) [----] opeModSel.truFalHol1.onDel2.t_next := opeModSel.truFalHol1.onDel2.t_past (208) [----] else when not opeModSel.truFalHol1.outputTrue.outerStatePort.localActive then (208) [----] opeModSel.truFalHol1.onDel2.t_next := opeModSel.truFalHol1.onDel2.t_past (208) [----] else when opeModSel.truFalHol1.outputTrue.outerStatePort.localActive then (208) [----] opeModSel.truFalHol1.onDel2.t_next := time + opeModSel.truFalHol1.onDel2.delayTime (208) [----] else when initial() then (208) [----] opeModSel.truFalHol1.onDel2.t_next := if not opeModSel.truFalHol1.onDel2.delayOnInit then opeModSel.truFalHol1.onDel2.t_past else time + opeModSel.truFalHol1.onDel2.delayTime (208) [----] end when; (209) [SCAL] (1) booToInt.u = $SEV_15 ($RES_SIM_82) (210) [WHEN] (1) ($RES_SIM_211) (210) [----] when $SEV_54 then (210) [----] opeModSel.truFalHol1.onDel1.y := opeModSel.truFalHol1.outputFalse.outerStatePort.localActive (210) [----] else when not opeModSel.truFalHol1.outputFalse.outerStatePort.localActive then (210) [----] opeModSel.truFalHol1.onDel1.y := false (210) [----] else when opeModSel.truFalHol1.outputFalse.outerStatePort.localActive then (210) [----] opeModSel.truFalHol1.onDel1.y := not opeModSel.truFalHol1.onDel1.delayTime > 0.0 (210) [----] else when initial() then (210) [----] opeModSel.truFalHol1.onDel1.y := if not (opeModSel.truFalHol1.onDel1.delayOnInit and opeModSel.truFalHol1.onDel1.delayTime > 0.0) then opeModSel.truFalHol1.outputFalse.outerStatePort.localActive else false (210) [----] end when; (211) [SCAL] (1) opeModSel.u1HigOccCoo = $SEV_16 ($RES_SIM_83) (212) [WHEN] (1) ($RES_SIM_212) (212) [----] when $SEV_54 then (212) [----] opeModSel.truFalHol1.onDel1.t_next := opeModSel.truFalHol1.onDel1.t_past (212) [----] else when not opeModSel.truFalHol1.outputFalse.outerStatePort.localActive then (212) [----] opeModSel.truFalHol1.onDel1.t_next := opeModSel.truFalHol1.onDel1.t_past (212) [----] else when opeModSel.truFalHol1.outputFalse.outerStatePort.localActive then (212) [----] opeModSel.truFalHol1.onDel1.t_next := time + opeModSel.truFalHol1.onDel1.delayTime (212) [----] else when initial() then (212) [----] opeModSel.truFalHol1.onDel1.t_next := if not opeModSel.truFalHol1.onDel1.delayOnInit then opeModSel.truFalHol1.onDel1.t_past else time + opeModSel.truFalHol1.onDel1.delayTime (212) [----] end when; (213) [SCAL] (1) opeModSel.u1OccHeaHig = $SEV_17 ($RES_SIM_84) (214) [SCAL] (1) opeModSel.truFalHol.toTrue1.localCondition = $SEV_55 ($RES_SIM_213) (215) [SCAL] (1) opeModSel.truFalHol.toFalse1.outPort.set = $SEV_56 ($RES_SIM_216) (216) [SCAL] (1) opeModSel.and5.u1 = $SEV_78 ($RES_SIM_300) (217) [SCAL] (1) opeModSel.and2.u1 = $SEV_79 ($RES_SIM_301) (218) [SCAL] (1) opeModSel.sub5.y = opeModSel.corCooDowTim.y - (occSch.tOcc - time) ($RES_SIM_302) (219) [SCAL] (1) opeModSel.hys3.y = $SEV_80 ($RES_SIM_303) (220) [SCAL] (1) opeModSel.hys2.y = $SEV_81 ($RES_SIM_304) (221) [WHEN] (1) ($RES_SIM_305) (221) [----] when {opeModSel.endSetUp.y, opeModSel.or7.y} then (221) [----] opeModSel.booToRea6.u := not opeModSel.endSetUp.y and opeModSel.or7.y (221) [----] else when initial() then (221) [----] opeModSel.booToRea6.u := not opeModSel.endSetUp.y and opeModSel.or7.y (221) [----] end when; (222) [SCAL] (1) opeModSel.or4.y = $SEV_35 ($RES_SIM_130) (223) [WHEN] (1) ($RES_SIM_306) (223) [----] when {opeModSel.hys10.y, opeModSel.hys9.y} then (223) [----] opeModSel.booToRea4.u := not opeModSel.hys10.y and opeModSel.hys9.y (223) [----] else when initial() then (223) [----] opeModSel.booToRea4.u := not opeModSel.hys10.y and opeModSel.hys9.y (223) [----] end when; (224) [SCAL] (1) opeModSel.or9.y = $SEV_36 ($RES_SIM_131) (225) [WHEN] (1) ($RES_SIM_307) (225) [----] when {opeModSel.endSetBac.y, opeModSel.or2.y} then (225) [----] opeModSel.booToRea3.u := not opeModSel.endSetBac.y and opeModSel.or2.y (225) [----] else when initial() then (225) [----] opeModSel.booToRea3.u := not opeModSel.endSetBac.y and opeModSel.or2.y (225) [----] end when; (226) [SCAL] (1) opeModSel.or1.y = $SEV_37 ($RES_SIM_132) (227) [SCAL] (1) opeModSel.intGreThr.y = $SEV_82 ($RES_SIM_308) (228) [SCAL] (1) opeModSel.and2.y = $SEV_38 ($RES_SIM_133) (229) [SCAL] (1) opeModSel.corWarUpTim.y = smooth(0, if opeModSel.hys3.y then warUpTim.k else opeModSel.maxWarCooTime.k) ($RES_SIM_309) (230) [SCAL] (1) opeModSel.booToRea1.u = $SEV_39 ($RES_SIM_134) (231) [SCAL] (1) opeModSel.booToRea3.y = if opeModSel.booToRea3.u then opeModSel.booToRea3.realTrue else opeModSel.booToRea3.realFalse ($RES_SIM_137) (232) [SCAL] (1) opeModSel.booToRea4.y = if opeModSel.booToRea4.u then opeModSel.booToRea4.realTrue else opeModSel.booToRea4.realFalse ($RES_SIM_138) (233) [SCAL] (1) opeModSel.booToRea6.y = if opeModSel.booToRea6.u then opeModSel.booToRea6.realTrue else opeModSel.booToRea6.realFalse ($RES_SIM_139) (234) [SCAL] (1) ramp1.y = ramp1.offset + (if $TEV_48 then 0.0 else if $TEV_49 then (ramp1.height * (time - ramp1.startTime)) / ramp1.duration else ramp1.height) ($RES_SIM_94) (235) [SCAL] (1) opeModSel.truFalHol.toTrue1.outPort.set = $SEV_57 ($RES_SIM_223) (236) [SCAL] (1) opeModSel.or10.y = $SEV_18 ($RES_SIM_95) (237) [SCAL] (1) opeModSel.or6.u2 = $SEV_19 ($RES_SIM_96) (238) [SCAL] (1) opeModSel.addInt7.y = cloWin.k + booToInt1.y ($RES_SIM_97) (239) [SCAL] (1) opeModSel.addInt6.y = cloWin.k + booToInt.y ($RES_SIM_98) (240) [SCAL] (1) opeModSel.intGreThr1.y = $SEV_20 ($RES_SIM_99) (241) [FOR-] (2) ($RES_SIM_228) (241) [----] for $i1 in 1:2 loop (241) [----] [SCAL] (1) opeModSel.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_229) (241) [----] end for; (242) [SCAL] (1) opeModSel.corCooDowTim.y = smooth(0, if opeModSel.hys2.y then cooDowTim.k else opeModSel.maxWarCooTime.k) ($RES_SIM_310) (243) [SCAL] (1) opeModSel.truFalHol1.outputFalse.outerStatePort.subgraphStatePort.activeSteps + opeModSel.truFalHol1.outputTrue.outerStatePort.subgraphStatePort.activeSteps + opeModSel.truFalHol1.initialStep.outerStatePort.subgraphStatePort.activeSteps + opeModSel.truFalHol1.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_313) (244) [SCAL] (1) opeModSel.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps + opeModSel.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps + opeModSel.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps + opeModSel.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_314) (245) [SCAL] (1) opeModSel.booToInt3.y = if not opeModSel.or6.y then opeModSel.booToInt3.integerTrue else opeModSel.booToInt3.integerFalse ($RES_SIM_140) (246) [SCAL] (1) opeModSel.booToRea.y = if opeModSel.booToRea.u then opeModSel.booToRea.realTrue else opeModSel.booToRea.realFalse ($RES_SIM_141) (247) [SCAL] (1) opeModSel.booToRea1.y = if opeModSel.booToRea1.u then opeModSel.booToRea1.realTrue else opeModSel.booToRea1.realFalse ($RES_SIM_142) (248) [SCAL] (1) opeModSel.truFalHol1.toFalse1.outPort.set = $SEV_40 ($RES_SIM_145) (249) [SCAL] (1) $SEV_26 = opeModSel.addInt6.y == opeModSel.totZon.k ($RES_EVT_700) (250) [FOR-] (2) ($RES_SIM_230) (250) [----] for $i1 in 1:2 loop (250) [----] [SCAL] (1) opeModSel.truFalHol.initialStep.outPort[$i1].available = if $SEV_42[$i1] then opeModSel.truFalHol.initialStep.outerStatePort.localActive else $SEV_58[$i1] ($RES_SIM_231) (250) [----] end for; (251) [SCAL] (1) $SEV_27 = opeModSel.and5.u1 and opeModSel.u1OccHeaHig ($RES_EVT_701) (252) [SCAL] (1) $SEV_28 = opeModSel.and2.u1 and opeModSel.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_702) (253) [SCAL] (1) $SEV_29 = opeModSel.swi2.y > 0.0 ($RES_EVT_703) (254) [SCAL] (1) opeModSel.truFalHol.initialStep.newActive = $SEV_59 ($RES_SIM_233) (255) [SCAL] (1) $SEV_30 = opeModSel.swi1.y > 0.0 ($RES_EVT_704) (256) [SCAL] (1) opeModSel.truFalHol.initialStep.outerStatePort.localActive = $TEV_28 ($RES_SIM_234) (257) [SCAL] (1) $SEV_31 = opeModSel.intGreThr1.y and opeModSel.notOcc.y ($RES_EVT_705) (258) [SCAL] (1) $SEV_32 = opeModSel.yOpeMod > opeModSel.notOcc.t ($RES_EVT_706) (259) [SCAL] (1) opeModSel.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if opeModSel.truFalHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_236) (260) [SCAL] (1) $SEV_33 = opeModSel.or10.y or opeModSel.or6.u2 ($RES_EVT_707) (261) [SCAL] (1) opeModSel.truFalHol.toTrue.localCondition = $SEV_60 ($RES_SIM_237) (262) [SCAL] (1) $SEV_34 = opeModSel.booToRea6.u or opeModSel.booToRea4.u ($RES_EVT_708) (263) [SCAL] (1) opeModSel.truFalHol.toFalse.localCondition = $SEV_61 ($RES_SIM_238) (264) [SCAL] (1) $SEV_35 = opeModSel.intGreThr2.y or opeModSel.allHot.y ($RES_EVT_709) (265) [SCAL] (1) opeModSel.truFalHol1.toTrue1.outPort.set = $SEV_41 ($RES_SIM_152) (266) [SCAL] (1) $TEV_0 = $PRE.hys1.y ($RES_EVT_624) (267) [SCAL] (1) $TEV_1 = $PRE.hys3.y ($RES_EVT_625) (268) [SCAL] (1) $TEV_2 = $PRE.opeModSel.truFalHol1.toFalse1.outPort.set ($RES_EVT_626) (269) [FOR-] (2) ($RES_SIM_157) (269) [----] for $i1 in 1:2 loop (269) [----] [SCAL] (1) opeModSel.truFalHol1.initialStep.outPort[$i1].reset = false ($RES_SIM_158) (269) [----] end for; (270) [SCAL] (1) $TEV_4 = $PRE.opeModSel.truFalHol1.toTrue1.outPort.set ($RES_EVT_628) (271) [FOR-] (2) ($RES_SIM_159) (271) [----] for $i1 in 1:2 loop (271) [----] [SCAL] (1) opeModSel.truFalHol1.initialStep.outPort[$i1].available = if $SEV_42[$i1] then opeModSel.truFalHol1.initialStep.outerStatePort.localActive else $SEV_43[$i1] ($RES_SIM_160) (271) [----] end for; (272) [SCAL] (1) $SEV_36 = opeModSel.booToRea1.u or opeModSel.booToRea.u ($RES_EVT_710) (273) [SCAL] (1) $SEV_37 = opeModSel.intGreThr.y or opeModSel.allCol.y ($RES_EVT_711) (274) [SCAL] (1) opeModSel.truFalHol.toFalse.outPort.set = $SEV_62 ($RES_SIM_241) (275) [SCAL] (1) $SEV_38 = opeModSel.and2.u1 and opeModSel.u1HigOccCoo ($RES_EVT_712) (276) [SCAL] (1) $SEV_39 = opeModSel.and5.u1 and opeModSel.truFalHol1.outputTrue.outerStatePort.localActive ($RES_EVT_713) (277) [SCAL] (1) $SEV_40 = (not opeModSel.truFalHol1.toTrue1.localCondition and opeModSel.truFalHol1.toFalse1.inPort.available) and not opeModSel.truFalHol1.toFalse1.outPort.occupied ($RES_EVT_714) (278) [SCAL] (1) $SEV_41 = (opeModSel.truFalHol1.toTrue1.localCondition and opeModSel.truFalHol1.toTrue1.inPort.available) and not opeModSel.truFalHol1.toTrue1.outPort.occupied ($RES_EVT_715) (279) [FOR-] (2) ($RES_EVT_716) (279) [----] for $i1 in 1:2 loop (279) [----] [SCAL] (1) $SEV_42[$i1] = $i1 == 1 ($RES_EVT_717) (279) [----] end for; (280) [SCAL] (1) opeModSel.truFalHol.outputTrue.outPort[1].reset = false ($RES_SIM_246) (281) [FOR-] (2) ($RES_SIM_247) (281) [----] for $i1 in 1:2 loop (281) [----] [SCAL] (1) opeModSel.truFalHol.outputTrue.inPort[$i1].set = false ($RES_SIM_248) (281) [----] end for; (282) [FOR-] (2) ($RES_EVT_718) (282) [----] for $i1 in 1:2 loop (282) [----] [SCAL] (1) $SEV_43[$i1] = opeModSel.truFalHol1.initialStep.outPort[$i1 - 1].available and not opeModSel.truFalHol1.initialStep.outPort[$i1 - 1].reset ($RES_EVT_719) (282) [----] end for; (283) [SCAL] (1) opeModSel.truFalHol.outputTrue.outPort[1].available = opeModSel.truFalHol.outputTrue.outerStatePort.localActive ($RES_SIM_249) (284) [SCAL] (1) opeModSel.truFalHol1.toFalse.outPort.set = opeModSel.truFalHol1.outputFalse.inPort[1].set ($RES_SIM_504) (285) [SCAL] (1) opeModSel.truFalHol1.toFalse.outPort.occupied = opeModSel.truFalHol1.outputFalse.inPort[1].occupied ($RES_SIM_505) (286) [SCAL] (1) opeModSel.truFalHol1.outputFalse.outPort[1].reset = opeModSel.truFalHol1.toTrue.outPort.set ($RES_SIM_506) (287) [SCAL] (1) opeModSel.truFalHol1.outputFalse.outPort[1].available = opeModSel.truFalHol1.toTrue.inPort.available ($RES_SIM_507) (288) [SCAL] (1) $TEV_7 = $PRE.opeModSel.truFalHol1.initialStep.outerStatePort.localActive ($RES_EVT_631) (289) [SCAL] (1) $TEV_8 = $PRE.opeModSel.truFalHol1.initialStep.newActive ($RES_EVT_632) (290) [SCAL] (1) opeModSel.truFalHol1.initialStep.newActive = $SEV_44 ($RES_SIM_162) (291) [SCAL] (1) $TEV_9 = $PRE.opeModSel.truFalHol1.toFalse.outPort.set ($RES_EVT_633) (292) [SCAL] (1) opeModSel.truFalHol1.initialStep.outerStatePort.localActive = $TEV_8 ($RES_SIM_163) (293) [SCAL] (1) opeModSel.truFalHol1.initialStep.outerStatePort.subgraphStatePort.activeSteps = if opeModSel.truFalHol1.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_165) (294) [SCAL] (1) $TEV_12 = $PRE.opeModSel.truFalHol1.outputTrue.outerStatePort.localActive ($RES_EVT_636) (295) [SCAL] (1) opeModSel.truFalHol1.toTrue.localCondition = $SEV_45 ($RES_SIM_166) (296) [SCAL] (1) $TEV_13 = $PRE.opeModSel.truFalHol1.outputTrue.newActive ($RES_EVT_637) (297) [SCAL] (1) opeModSel.truFalHol1.toFalse.localCondition = $SEV_46 ($RES_SIM_167) (298) [SCAL] (1) $TEV_14 = $PRE.opeModSel.truFalHol1.toTrue.outPort.set ($RES_EVT_638) (299) [SCAL] (1) $SEV_44 = opeModSel.truFalHol1.initialStep.outerStatePort.localActive and not $FUN_19 ($RES_EVT_720) (300) [FOR-] (2) ($RES_SIM_250) (300) [----] for $i1 in 1:2 loop (300) [----] [SCAL] (1) opeModSel.truFalHol.outputTrue.inPort[$i1].occupied = if $SEV_42[$i1] then opeModSel.truFalHol.outputTrue.outerStatePort.localActive else $SEV_63[$i1] ($RES_SIM_251) (300) [----] end for; (301) [SCAL] (1) $SEV_45 = opeModSel.truFalHol1.onDel1.y and opeModSel.truFalHol1.toTrue1.localCondition ($RES_EVT_721) (302) [SCAL] (1) $SEV_46 = opeModSel.truFalHol1.onDel2.y and not opeModSel.truFalHol1.toTrue1.localCondition ($RES_EVT_722) (303) [SCAL] (1) $SEV_47 = (opeModSel.truFalHol1.toFalse.localCondition and opeModSel.truFalHol1.toFalse.inPort.available) and not opeModSel.truFalHol1.toFalse.outPort.occupied ($RES_EVT_723) (304) [SCAL] (1) opeModSel.truFalHol.outputTrue.newActive = $SEV_64 ($RES_SIM_253) (305) [FOR-] (2) ($RES_EVT_724) (305) [----] for $i1 in 1:2 loop (305) [----] [SCAL] (1) $SEV_48[$i1] = opeModSel.truFalHol1.outputTrue.inPort[$i1 - 1].occupied or opeModSel.truFalHol1.outputTrue.inPort[$i1 - 1].set ($RES_EVT_725) (305) [----] end for; =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 125 var 2 --> eqn 176 var 3 --> eqn 253 var 4 --> eqn 257 var 5 --> eqn 21 var 6 --> eqn 22 var 7 --> eqn 73 var 8 --> eqn 105 var 9 --> eqn 172 var 10 --> eqn 325 var 11 --> eqn 113 var 12 --> eqn 152 var 13 --> eqn 107 var 14 --> eqn 305 var 15 --> eqn 317 var 16 --> eqn 52 var 17 --> eqn 80 var 18 --> eqn 81 var 19 --> eqn 223 var 20 --> eqn 307 var 21 --> eqn 111 var 22 --> eqn 278 var 23 --> eqn 196 var 24 --> eqn 284 var 25 --> eqn 147 var 26 --> eqn 97 var 27 --> eqn 234 var 28 --> eqn 31 var 29 --> eqn 32 var 30 --> eqn 249 var 31 --> eqn 260 var 32 --> eqn 244 var 33 --> eqn 109 var 34 --> eqn 201 var 35 --> eqn 197 var 36 --> eqn 217 var 37 --> eqn 238 var 38 --> eqn 187 var 39 --> eqn 211 var 40 --> eqn 61 var 41 --> eqn 1 var 42 --> eqn 246 var 43 --> eqn 41 var 44 --> eqn 209 var 45 --> eqn 237 var 46 --> eqn 101 var 47 --> eqn 216 var 48 --> eqn 214 var 49 --> eqn 311 var 50 --> eqn 309 var 51 --> eqn 308 var 52 --> eqn 93 var 53 --> eqn 221 var 54 --> eqn 286 var 55 --> eqn 283 var 56 --> eqn 301 var 57 --> eqn 302 var 58 --> eqn 282 var 59 --> eqn 281 var 60 --> eqn 219 var 61 --> eqn 17 var 62 --> eqn 18 var 63 --> eqn 49 var 64 --> eqn 195 var 65 --> eqn 259 var 66 --> eqn 269 var 67 --> eqn 276 var 68 --> eqn 227 var 69 --> eqn 126 var 70 --> eqn 174 var 71 --> eqn 242 var 72 --> eqn 154 var 73 --> eqn 128 var 74 --> eqn 303 var 75 --> eqn 202 var 76 --> eqn 296 var 77 --> eqn 297 var 78 --> eqn 199 var 79 --> eqn 121 var 80 --> eqn 182 var 81 --> eqn 110 var 82 --> eqn 3 var 83 --> eqn 38 var 84 --> eqn 39 var 85 --> eqn 71 var 86 --> eqn 229 var 87 --> eqn 42 var 88 --> eqn 191 var 89 --> eqn 70 var 90 --> eqn 251 var 91 --> eqn 207 var 92 --> eqn 233 var 93 --> eqn 84 var 94 --> eqn 127 var 95 --> eqn 124 var 96 --> eqn 230 var 97 --> eqn 122 var 98 --> eqn 120 var 99 --> eqn 180 var 100 --> eqn 91 var 101 --> eqn 210 var 102 --> eqn 119 var 103 --> eqn 103 var 104 --> eqn 106 var 105 --> eqn 99 var 106 --> eqn 104 var 107 --> eqn 102 var 108 --> eqn 100 var 109 --> eqn 8 var 110 --> eqn 98 var 111 --> eqn 96 var 112 --> eqn 256 var 113 --> eqn 94 var 114 --> eqn 92 var 115 --> eqn 90 var 116 --> eqn 236 var 117 --> eqn 218 var 118 --> eqn 200 var 119 --> eqn 156 var 120 --> eqn 192 var 121 --> eqn 33 var 122 --> eqn 34 var 123 --> eqn 222 var 124 --> eqn 208 var 125 --> eqn 51 var 126 --> eqn 89 var 127 --> eqn 129 var 128 --> eqn 69 var 129 --> eqn 68 var 130 --> eqn 212 var 131 --> eqn 243 var 132 --> eqn 24 var 133 --> eqn 63 var 134 --> eqn 58 var 135 --> eqn 213 var 136 --> eqn 57 var 137 --> eqn 37 var 138 --> eqn 220 var 139 --> eqn 312 var 140 --> eqn 66 var 141 --> eqn 67 var 142 --> eqn 205 var 143 --> eqn 30 var 144 --> eqn 247 var 145 --> eqn 250 var 146 --> eqn 43 var 147 --> eqn 86 var 148 --> eqn 87 var 149 --> eqn 35 var 150 --> eqn 193 var 151 --> eqn 62 var 152 --> eqn 29 var 153 --> eqn 78 var 154 --> eqn 28 var 155 --> eqn 27 var 156 --> eqn 26 var 157 --> eqn 25 var 158 --> eqn 225 var 159 --> eqn 23 var 160 --> eqn 4 var 161 --> eqn 231 var 162 --> eqn 56 var 163 --> eqn 130 var 164 --> eqn 112 var 165 --> eqn 188 var 166 --> eqn 7 var 167 --> eqn 204 var 168 --> eqn 2 var 169 --> eqn 274 var 170 --> eqn 9 var 171 --> eqn 323 var 172 --> eqn 322 var 173 --> eqn 319 var 174 --> eqn 123 var 175 --> eqn 183 var 176 --> eqn 280 var 177 --> eqn 262 var 178 --> eqn 189 var 179 --> eqn 165 var 180 --> eqn 304 var 181 --> eqn 164 var 182 --> eqn 163 var 183 --> eqn 162 var 184 --> eqn 5 var 185 --> eqn 6 var 186 --> eqn 161 var 187 --> eqn 186 var 188 --> eqn 160 var 189 --> eqn 185 var 190 --> eqn 159 var 191 --> eqn 184 var 192 --> eqn 158 var 193 --> eqn 181 var 194 --> eqn 157 var 195 --> eqn 72 var 196 --> eqn 46 var 197 --> eqn 252 var 198 --> eqn 293 var 199 --> eqn 232 var 200 --> eqn 292 var 201 --> eqn 264 var 202 --> eqn 265 var 203 --> eqn 290 var 204 --> eqn 108 var 205 --> eqn 289 var 206 --> eqn 150 var 207 --> eqn 279 var 208 --> eqn 277 var 209 --> eqn 275 var 210 --> eqn 273 var 211 --> eqn 272 var 212 --> eqn 270 var 213 --> eqn 118 var 214 --> eqn 117 var 215 --> eqn 116 var 216 --> eqn 115 var 217 --> eqn 88 var 218 --> eqn 85 var 219 --> eqn 179 var 220 --> eqn 254 var 221 --> eqn 40 var 222 --> eqn 83 var 223 --> eqn 239 var 224 --> eqn 177 var 225 --> eqn 82 var 226 --> eqn 175 var 227 --> eqn 79 var 228 --> eqn 173 var 229 --> eqn 77 var 230 --> eqn 171 var 231 --> eqn 169 var 232 --> eqn 168 var 233 --> eqn 167 var 234 --> eqn 151 var 235 --> eqn 166 var 236 --> eqn 261 var 237 --> eqn 198 var 238 --> eqn 268 var 239 --> eqn 315 var 240 --> eqn 267 var 241 --> eqn 266 var 242 --> eqn 263 var 243 --> eqn 313 var 244 --> eqn 146 var 245 --> eqn 145 var 246 --> eqn 144 var 247 --> eqn 143 var 248 --> eqn 142 var 249 --> eqn 141 var 250 --> eqn 235 var 251 --> eqn 76 var 252 --> eqn 75 var 253 --> eqn 74 var 254 --> eqn 36 var 255 --> eqn 59 var 256 --> eqn 60 var 257 --> eqn 55 var 258 --> eqn 54 var 259 --> eqn 53 var 260 --> eqn 190 var 261 --> eqn 45 var 262 --> eqn 245 var 263 --> eqn 148 var 264 --> eqn 194 var 265 --> eqn 258 var 266 --> eqn 203 var 267 --> eqn 310 var 268 --> eqn 326 var 269 --> eqn 327 var 270 --> eqn 95 var 271 --> eqn 140 var 272 --> eqn 139 var 273 --> eqn 138 var 274 --> eqn 178 var 275 --> eqn 137 var 276 --> eqn 136 var 277 --> eqn 135 var 278 --> eqn 134 var 279 --> eqn 133 var 280 --> eqn 132 var 281 --> eqn 50 var 282 --> eqn 48 var 283 --> eqn 241 var 284 --> eqn 47 var 285 --> eqn 65 var 286 --> eqn 19 var 287 --> eqn 16 var 288 --> eqn 14 var 289 --> eqn 13 var 290 --> eqn 206 var 291 --> eqn 149 var 292 --> eqn 20 var 293 --> eqn 224 var 294 --> eqn 215 var 295 --> eqn 12 var 296 --> eqn 11 var 297 --> eqn 131 var 298 --> eqn 10 var 299 --> eqn 271 var 300 --> eqn 318 var 301 --> eqn 316 var 302 --> eqn 314 var 303 --> eqn 114 var 304 --> eqn 226 var 305 --> eqn 170 var 306 --> eqn 44 var 307 --> eqn 320 var 308 --> eqn 321 var 309 --> eqn 240 var 310 --> eqn 287 var 311 --> eqn 288 equation to variable ********************** eqn 1 --> var 41 eqn 2 --> var 168 eqn 3 --> var 82 eqn 4 --> var 160 eqn 5 --> var 184 eqn 6 --> var 185 eqn 7 --> var 166 eqn 8 --> var 109 eqn 9 --> var 170 eqn 10 --> var 298 eqn 11 --> var 296 eqn 12 --> var 295 eqn 13 --> var 289 eqn 14 --> var 288 eqn 15 --> var -1 eqn 16 --> var 287 eqn 17 --> var 61 eqn 18 --> var 62 eqn 19 --> var 286 eqn 20 --> var 292 eqn 21 --> var 5 eqn 22 --> var 6 eqn 23 --> var 159 eqn 24 --> var 132 eqn 25 --> var 157 eqn 26 --> var 156 eqn 27 --> var 155 eqn 28 --> var 154 eqn 29 --> var 152 eqn 30 --> var 143 eqn 31 --> var 28 eqn 32 --> var 29 eqn 33 --> var 121 eqn 34 --> var 122 eqn 35 --> var 149 eqn 36 --> var 254 eqn 37 --> var 137 eqn 38 --> var 83 eqn 39 --> var 84 eqn 40 --> var 221 eqn 41 --> var 43 eqn 42 --> var 87 eqn 43 --> var 146 eqn 44 --> var 306 eqn 45 --> var 261 eqn 46 --> var 196 eqn 47 --> var 284 eqn 48 --> var 282 eqn 49 --> var 63 eqn 50 --> var 281 eqn 51 --> var 125 eqn 52 --> var 16 eqn 53 --> var 259 eqn 54 --> var 258 eqn 55 --> var 257 eqn 56 --> var 162 eqn 57 --> var 136 eqn 58 --> var 134 eqn 59 --> var 255 eqn 60 --> var 256 eqn 61 --> var 40 eqn 62 --> var 151 eqn 63 --> var 133 eqn 64 --> var -1 eqn 65 --> var 285 eqn 66 --> var 140 eqn 67 --> var 141 eqn 68 --> var 129 eqn 69 --> var 128 eqn 70 --> var 89 eqn 71 --> var 85 eqn 72 --> var 195 eqn 73 --> var 7 eqn 74 --> var 253 eqn 75 --> var 252 eqn 76 --> var 251 eqn 77 --> var 229 eqn 78 --> var 153 eqn 79 --> var 227 eqn 80 --> var 17 eqn 81 --> var 18 eqn 82 --> var 225 eqn 83 --> var 222 eqn 84 --> var 93 eqn 85 --> var 218 eqn 86 --> var 147 eqn 87 --> var 148 eqn 88 --> var 217 eqn 89 --> var 126 eqn 90 --> var 115 eqn 91 --> var 100 eqn 92 --> var 114 eqn 93 --> var 52 eqn 94 --> var 113 eqn 95 --> var 270 eqn 96 --> var 111 eqn 97 --> var 26 eqn 98 --> var 110 eqn 99 --> var 105 eqn 100 --> var 108 eqn 101 --> var 46 eqn 102 --> var 107 eqn 103 --> var 103 eqn 104 --> var 106 eqn 105 --> var 8 eqn 106 --> var 104 eqn 107 --> var 13 eqn 108 --> var 204 eqn 109 --> var 33 eqn 110 --> var 81 eqn 111 --> var 21 eqn 112 --> var 164 eqn 113 --> var 11 eqn 114 --> var 303 eqn 115 --> var 216 eqn 116 --> var 215 eqn 117 --> var 214 eqn 118 --> var 213 eqn 119 --> var 102 eqn 120 --> var 98 eqn 121 --> var 79 eqn 122 --> var 97 eqn 123 --> var 174 eqn 124 --> var 95 eqn 125 --> var 1 eqn 126 --> var 69 eqn 127 --> var 94 eqn 128 --> var 73 eqn 129 --> var 127 eqn 130 --> var 163 eqn 131 --> var 297 eqn 132 --> var 280 eqn 133 --> var 279 eqn 134 --> var 278 eqn 135 --> var 277 eqn 136 --> var 276 eqn 137 --> var 275 eqn 138 --> var 273 eqn 139 --> var 272 eqn 140 --> var 271 eqn 141 --> var 249 eqn 142 --> var 248 eqn 143 --> var 247 eqn 144 --> var 246 eqn 145 --> var 245 eqn 146 --> var 244 eqn 147 --> var 25 eqn 148 --> var 263 eqn 149 --> var 291 eqn 150 --> var 206 eqn 151 --> var 234 eqn 152 --> var 12 eqn 153 --> var -1 eqn 154 --> var 72 eqn 155 --> var -1 eqn 156 --> var 119 eqn 157 --> var 194 eqn 158 --> var 192 eqn 159 --> var 190 eqn 160 --> var 188 eqn 161 --> var 186 eqn 162 --> var 183 eqn 163 --> var 182 eqn 164 --> var 181 eqn 165 --> var 179 eqn 166 --> var 235 eqn 167 --> var 233 eqn 168 --> var 232 eqn 169 --> var 231 eqn 170 --> var 305 eqn 171 --> var 230 eqn 172 --> var 9 eqn 173 --> var 228 eqn 174 --> var 70 eqn 175 --> var 226 eqn 176 --> var 2 eqn 177 --> var 224 eqn 178 --> var 274 eqn 179 --> var 219 eqn 180 --> var 99 eqn 181 --> var 193 eqn 182 --> var 80 eqn 183 --> var 175 eqn 184 --> var 191 eqn 185 --> var 189 eqn 186 --> var 187 eqn 187 --> var 38 eqn 188 --> var 165 eqn 189 --> var 178 eqn 190 --> var 260 eqn 191 --> var 88 eqn 192 --> var 120 eqn 193 --> var 150 eqn 194 --> var 264 eqn 195 --> var 64 eqn 196 --> var 23 eqn 197 --> var 35 eqn 198 --> var 237 eqn 199 --> var 78 eqn 200 --> var 118 eqn 201 --> var 34 eqn 202 --> var 75 eqn 203 --> var 266 eqn 204 --> var 167 eqn 205 --> var 142 eqn 206 --> var 290 eqn 207 --> var 91 eqn 208 --> var 124 eqn 209 --> var 44 eqn 210 --> var 101 eqn 211 --> var 39 eqn 212 --> var 130 eqn 213 --> var 135 eqn 214 --> var 48 eqn 215 --> var 294 eqn 216 --> var 47 eqn 217 --> var 36 eqn 218 --> var 117 eqn 219 --> var 60 eqn 220 --> var 138 eqn 221 --> var 53 eqn 222 --> var 123 eqn 223 --> var 19 eqn 224 --> var 293 eqn 225 --> var 158 eqn 226 --> var 304 eqn 227 --> var 68 eqn 228 --> var -1 eqn 229 --> var 86 eqn 230 --> var 96 eqn 231 --> var 161 eqn 232 --> var 199 eqn 233 --> var 92 eqn 234 --> var 27 eqn 235 --> var 250 eqn 236 --> var 116 eqn 237 --> var 45 eqn 238 --> var 37 eqn 239 --> var 223 eqn 240 --> var 309 eqn 241 --> var 283 eqn 242 --> var 71 eqn 243 --> var 131 eqn 244 --> var 32 eqn 245 --> var 262 eqn 246 --> var 42 eqn 247 --> var 144 eqn 248 --> var -1 eqn 249 --> var 30 eqn 250 --> var 145 eqn 251 --> var 90 eqn 252 --> var 197 eqn 253 --> var 3 eqn 254 --> var 220 eqn 255 --> var -1 eqn 256 --> var 112 eqn 257 --> var 4 eqn 258 --> var 265 eqn 259 --> var 65 eqn 260 --> var 31 eqn 261 --> var 236 eqn 262 --> var 177 eqn 263 --> var 242 eqn 264 --> var 201 eqn 265 --> var 202 eqn 266 --> var 241 eqn 267 --> var 240 eqn 268 --> var 238 eqn 269 --> var 66 eqn 270 --> var 212 eqn 271 --> var 299 eqn 272 --> var 211 eqn 273 --> var 210 eqn 274 --> var 169 eqn 275 --> var 209 eqn 276 --> var 67 eqn 277 --> var 208 eqn 278 --> var 22 eqn 279 --> var 207 eqn 280 --> var 176 eqn 281 --> var 59 eqn 282 --> var 58 eqn 283 --> var 55 eqn 284 --> var 24 eqn 285 --> var -1 eqn 286 --> var 54 eqn 287 --> var 310 eqn 288 --> var 311 eqn 289 --> var 205 eqn 290 --> var 203 eqn 291 --> var -1 eqn 292 --> var 200 eqn 293 --> var 198 eqn 294 --> var -1 eqn 295 --> var -1 eqn 296 --> var 76 eqn 297 --> var 77 eqn 298 --> var -1 eqn 299 --> var -1 eqn 300 --> var -1 eqn 301 --> var 56 eqn 302 --> var 57 eqn 303 --> var 74 eqn 304 --> var 180 eqn 305 --> var 14 eqn 306 --> var -1 eqn 307 --> var 20 eqn 308 --> var 51 eqn 309 --> var 50 eqn 310 --> var 267 eqn 311 --> var 49 eqn 312 --> var 139 eqn 313 --> var 243 eqn 314 --> var 302 eqn 315 --> var 239 eqn 316 --> var 301 eqn 317 --> var 15 eqn 318 --> var 300 eqn 319 --> var 173 eqn 320 --> var 307 eqn 321 --> var 308 eqn 322 --> var 172 eqn 323 --> var 171 eqn 324 --> var -1 eqn 325 --> var 10 eqn 326 --> var 268 eqn 327 --> var 269