Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_13_Buildings.Templates.Plants.Controls.StagingRotation.Validation.StageChangeCommand.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo): time 0.001942/0.001942, allocations: 80.88 kB / 21.56 MB, free: 2.922 MB / 18.57 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo): time 0.002045/0.002045, allocations: 162.9 kB / 24.98 MB, free: 9.199 MB / 18.57 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo): time 1.632/1.632, allocations: 177.1 MB / 205.4 MB, free: 5.488 MB / 186.7 MB " [Timeout remaining time 178] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 13.0.2-maint.13.x/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 13.0.2-maint.13.x/package.mo): time 3.323/3.323, allocations: 389.5 MB / 0.6361 GB, free: 12.31 MB / 0.6042 GB " [Timeout remaining time 176] Using package Buildings with version 13.0.2 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 13.0.2-maint.13.x/package.mo) Using package Modelica with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo) Using package Complex with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo) Using package ModelicaServices with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo) Running command: translateModel(Buildings.Templates.Plants.Controls.StagingRotation.Validation.StageChangeCommand,tolerance=1e-06,outputFormat="empty",numberOfIntervals=2500,variableFilter="",fileNamePrefix="Buildings_13_Buildings.Templates.Plants.Controls.StagingRotation.Validation.StageChangeCommand") translateModel(Buildings.Templates.Plants.Controls.StagingRotation.Validation.StageChangeCommand,tolerance=1e-06,outputFormat="empty",numberOfIntervals=2500,variableFilter="",fileNamePrefix="Buildings_13_Buildings.Templates.Plants.Controls.StagingRotation.Validation.StageChangeCommand") [Timeout 300] "Notification: Performance of FrontEnd - Absyn->SCode: time 2.076e-05/2.076e-05, allocations: 3.078 kB / 0.7759 GB, free: 5.367 MB / 0.7292 GB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 13.0.2-maint.13.x/Templates/Plants/Controls/Utilities/PlaceholderLogical.mo:9:3-11:47:writable] Warning: Parameter idxSta.pas.u_internal has no value, and is fixed during initialization (fixed=true), using available start value (start=true) as default value. Notification: Performance of NFInst.instantiate(Buildings.Templates.Plants.Controls.StagingRotation.Validation.StageChangeCommand): time 0.01399/0.01401, allocations: 6.604 MB / 0.7824 GB, free: 14.77 MB / 0.7448 GB Notification: Performance of NFInst.instExpressions: time 0.008943/0.02295, allocations: 3.928 MB / 0.7862 GB, free: 10.84 MB / 0.7448 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.001931/0.02488, allocations: 104.2 kB / 0.7863 GB, free: 10.73 MB / 0.7448 GB Notification: Performance of NFTyping.typeComponents: time 0.002724/0.02761, allocations: 0.7755 MB / 0.7871 GB, free: 9.957 MB / 0.7448 GB Notification: Performance of NFTyping.typeBindings: time 0.002804/0.03041, allocations: 435.4 kB / 0.7875 GB, free: 9.531 MB / 0.7448 GB Notification: Performance of NFTyping.typeClassSections: time 0.003572/0.03398, allocations: 1.287 MB / 0.7887 GB, free: 8.246 MB / 0.7448 GB Notification: Performance of NFFlatten.flatten: time 0.01269/0.04668, allocations: 7.96 MB / 0.7965 GB, free: 368 kB / 0.7448 GB Notification: Performance of NFFlatten.resolveConnections: time 0.01091/0.05758, allocations: 4.432 MB / 0.8008 GB, free: 11.83 MB / 0.7605 GB Notification: Performance of NFEvalConstants.evaluate: time 0.008323/0.06591, allocations: 3.241 MB / 0.804 GB, free: 8.586 MB / 0.7605 GB Notification: Performance of NFSimplifyModel.simplify: time 0.004071/0.06998, allocations: 1.794 MB / 0.8058 GB, free: 6.789 MB / 0.7605 GB Notification: Performance of NFPackage.collectConstants: time 0.001323/0.0713, allocations: 497.1 kB / 0.8062 GB, free: 6.305 MB / 0.7605 GB Notification: Performance of NFFlatten.collectFunctions: time 0.001276/0.07258, allocations: 0.5428 MB / 0.8068 GB, free: 5.762 MB / 0.7605 GB Notification: Performance of combineBinaries: time 0.007078/0.07965, allocations: 4.973 MB / 0.8116 GB, free: 0.7617 MB / 0.7605 GB Notification: Performance of replaceArrayConstructors: time 0.003213/0.08287, allocations: 2.479 MB / 0.814 GB, free: 14.27 MB / 0.7761 GB Notification: Performance of NFVerifyModel.verify: time 0.0009865/0.08385, allocations: 224 kB / 0.8143 GB, free: 14.05 MB / 0.7761 GB Notification: Performance of FrontEnd: time 0.001067/0.08492, allocations: 230 kB / 0.8145 GB, free: 13.82 MB / 0.7761 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 1944 (946) * Number of variables: 1924 (597) Notification: Performance of [SIM] Bindings: time 0.02833/0.1132, allocations: 17.15 MB / 0.8312 GB, free: 12.21 MB / 0.7917 GB Notification: Performance of [SIM] FunctionAlias: time 0.006042/0.1193, allocations: 3.271 MB / 0.8344 GB, free: 8.836 MB / 0.7917 GB Notification: Performance of [SIM] Early Inline: time 0.02946/0.1487, allocations: 15.61 MB / 0.8497 GB, free: 9.078 MB / 0.8073 GB Notification: Performance of [SIM] Simplify 1: time 0.004522/0.1533, allocations: 1.633 MB / 0.8513 GB, free: 7.309 MB / 0.8073 GB Warning: NBAlias.setStartFixed: Multiple variables are fixed and have identical start values. Use -d=dumprepl for more information. Warning: NBAlias.setStartFixed: Multiple variables are fixed with start values that could not be proven equal; picking one arbitrarily. Use -d=dumprepl for more information. Notification: Performance of [SIM] Alias: time 0.03296/0.1862, allocations: 17.78 MB / 0.8686 GB, free: 4.113 MB / 0.823 GB Notification: Performance of [SIM] Simplify 2: time 0.003406/0.1896, allocations: 1.311 MB / 0.8699 GB, free: 2.684 MB / 0.823 GB Notification: Performance of [SIM] Remove Stream: time 0.002341/0.192, allocations: 1.241 MB / 0.8711 GB, free: 1.32 MB / 0.823 GB Notification: Performance of [SIM] Detect States: time 0.006631/0.1986, allocations: 4.109 MB / 0.8751 GB, free: 13.05 MB / 0.8386 GB Notification: Performance of [SIM] Events: time 0.003588/0.2022, allocations: 1.993 MB / 0.8771 GB, free: 11.02 MB / 0.8386 GB Notification: Performance of [SIM] Partitioning: time 0.01063/0.2128, allocations: 5.636 MB / 0.8826 GB, free: 5.023 MB / 0.8386 GB Error: Internal error NBSorting.tarjan failed to sort system: System Variables (366/1191) ***************************** (1|1) [DISS] (1) Boolean chaSta.timDow.passed (2|2) [ALGB] (3) Real[3] chaSta.capEquPar.y (3|5) [DISC] (3) Boolean[3] comSta.enaAndOn.u2 (4|8) [DISC] (5) final Boolean[5] idxSta.staToSta0.localCondition = {idxSta.staToSta0[$staToSta01].condition for $staToSta01 in 1:5} (5|13) [DISC] (3) Boolean[3] staEqu.onToOff.inPort.available (6|16) [DISC] (5) protected Boolean[5] idxSta.sta.outerStatePort.subgraphStatePort.resume (7|21) [DISC] (25) Boolean[5, 5] idxSta.repVec.y (8|46) [ALGB] (3) Real[3] enaEqu.nEquStaRea.u (9|49) [DISS] (5) protected Boolean[5] idxSta.sta.oldActive (10|54) [DISC] (1) protected Boolean chaSta.les.lesHys.y (11|55) [DISC] (1) protected Integer idxSta.truIdxNex.iIdx (12|56) [DISC] (3) Boolean[3, 1] staEqu.off.outPort.reset (13|59) [DISC] (5) Integer[5] chaSta.idxSta.y (14|64) [DISC] (5) Boolean[5] idxSta.truNexHigAva.y1 (15|69) [DISC] (5) Boolean[5] idxSta.pas.y (16|74) [DISC] (5) Boolean[5] idxSta.runAndEna.u2 (17|79) [DISC] (3) Boolean[3] comSta.cha.u (fixed = {true for $f1 in 1:3}, start = {comSta.cha[$cha1].pre_u_start for $cha1 in 1:3}) (18|82) [DISC] (3) Boolean[3] comSta.cha.y (19|85) [DISS] (1) protected discrete Real y1DowHol.entryTimeTrue (20|86) [DISC] (5) Boolean[5] idxSta.andAva1.u2 (21|91) [DISC] (3) Boolean[3] $FUN_9 (22|94) [DISC] (5) Boolean[5] idxSta.phAvaSta.y (23|99) [DISC] (5) Boolean[5] idxSta.sta0.outPort.available (24|104) [DISC] (3) Boolean[3] $FUN_8 (25|107) [ALGB] (1) Real chaSta.capSta.y (26|108) [DISC] (3) Boolean[3] $FUN_7 (27|111) [DISC] (3) Boolean[3] $FUN_6 (28|114) [DISC] (3) Boolean[3, 1] staEqu.on.inPort.set (29|117) [DISC] (5) Boolean[5] $FUN_5 (30|122) [DISC] (5) Boolean[5] $FUN_4 (31|127) [DISC] (5) Boolean[5] idxSta.staToSta0.fire (32|132) [DISC] (1) Integer idxSta.lowAva.u1 (33|133) [DISC] (9) Boolean[3, 3] enaEqu.isReqAltAva.u (34|142) [DISC] (1) Boolean $FUN_3 (35|143) [DISC] (1) Boolean $FUN_2 (36|144) [ALGB] (1) Real $FUN_1 (37|145) [DISC] (1) Integer idxSta.maxInt.y (38|146) [ALGB] (15) Real[3, 5] chaSta.traMatStaEqu.y (39|161) [DISC] (5) Integer[5] chaSta.intScaRep1.y (40|166) [DISC] (1) Boolean idxSta.actUnaHigAva.y (41|167) [ALGB] (3) Real[3] chaSta.capEquSta.u2 (42|170) [DISC] (1) Integer enaEqu.nAltReq.u1 (43|171) [DISC] (3) Boolean[3] comSta.onOrOff.y (44|174) [DISS] (1) Boolean chaSta.timUp.passed (45|175) [DISC] (3) protected Boolean[3] idxSta.upAndEna.uTemp (46|178) [DISC] (3) Boolean[3] staEqu.stateGraphRoot.resume = {false for $f1 in 1:3} (47|181) [DISC] (3) Boolean[3] staEqu.stateGraphRoot.suspend = {false for $f1 in 1:3} (48|184) [DISC] (3) Boolean[3] enaEqu.y1Pre.y (49|187) [ALGB] (1) Real chaSta.capStaLow.y (50|188) [DISC] (1) Integer chaSta.maxInt1.y (51|189) [ALGB] (3) Real[3] enaEqu.reqEquSta.y (52|192) [DISC] (3) Integer[3] enaEqu.nEnaAvaPre.booToInt.y (53|195) [DISC] (1) Boolean enaEqu.cha.up (54|196) [ALGB] (1) Real[1] ratV_flow.y (55|197) [DISC] (3) Boolean[3] enaEqu.isReqAva.u1 (56|200) [DISC] (1) Boolean idxSta.higAva.y (57|201) [ALGB] (1) Real chaSta.splTimCapSta.y (58|202) [DISC] (1) protected Boolean idxSta.sta0.newActive (59|203) [DISC] (3) Integer[3] enaEqu.intScaRep.y (60|206) [DISC] (5) Integer[5] idxSta.intGreEqu.u1 (61|211) [DISC] (1) Integer enaEqu.nAltReq.y (62|212) [DISC] (30) Boolean[5, 6] idxSta.sta.inPort.occupied (63|242) [ALGB] (3) protected Real[3] staEqu.onToOff.t_dummy (64|245) [DISC] (1) Boolean comSta.chaSta.down (65|246) [DISS] (5) protected discrete Real[5] idxSta.tim.entryTime (66|251) [DISC] (3) Boolean[3] u1AvaEqu.y (67|254) [ALGB] (3) flow Real[3] staEqu.stateGraphRoot.subgraphStatePort.activeSteps (68|257) [DISC] (1) protected Boolean y1DowHol.not_u = not (not y1DowHol.not_u) (fixed = true, start = true) (69|258) [ALGB] (3) protected Real[3] staEqu.offToOn.t_dummy (70|261) [DISC] (3) protected Boolean[3] enaEqu.isReqPosAlt.greNoHys.y (71|264) [DISC] (5) Boolean[5] idxSta.sta.active (72|269) [DISC] (3) Boolean[3] enaEqu.logSwi.y (73|272) [DISS] (1) protected discrete Real chaSta.hol.truHol.entryTimeTrue (74|273) [DISC] (3) Boolean[3] comSta.enaAndOn.u1 (75|276) [DISC] (3) protected Boolean[3] staEqu.off.outerStatePort.subgraphStatePort.resume (76|279) [DISC] (1) Integer idxSta.idxFirAct.intSwi.u3 (77|280) [DISS] (3) protected Boolean[3] staEqu.off.oldActive (78|283) [DISC] (5) final Boolean[5] idxSta.sta0ToSta.localCondition = {idxSta.sta0ToSta[$sta0ToSta1].condition for $sta0ToSta1 in 1:5} (79|288) [DISC] (3) Boolean[3] comSta.u1 (80|291) [ALGB] (15) Real[3, 5] enaEqu.traMatStaEqu.y (81|306) [ALGB] (3) Real[3] enaEqu.voiStaZer.y (82|309) [DISC] (5) Boolean[5] idxSta.andAva.y (83|314) [DISC] (1) Integer enaEqu.maxInt.y (84|315) [DISC] (1) Integer enaEqu.nAltReq.u2 (85|316) [ALGB] (3) protected flow Real[3] staEqu.on.outerStatePort.subgraphStatePort.activeSteps (86|319) [DISC] (3) Boolean[3] enaEqu.logSwi.u3 (87|322) [DISC] (25) final Boolean[5, 5] idxSta.staToSta.localCondition = {idxSta.staToSta[$staToSta1, $staToSta2].condition for $staToSta2 in 1:5, $staToSta1 in 1:5} (88|347) [DISS] (1) protected discrete Real ratV_flow.tab.nextTimeEventScaled (fixed = true, start = 0.0) (89|348) [DISS] (1) Boolean chaSta.hol.truHol.y (90|349) [ALGB] (15) Real[3, 5] chaSta.reqEquSta.u (91|364) [DISS] (1) Real chaSta.hol.triSam.y (92|365) [DISS] (1) Boolean chaSta.faiSaf.timPriSet.passed (93|366) [DISC] (3) Integer[3] enaEqu.nReq.booToInt.y (94|369) [DISC] (1) Boolean enaEqu.greZer.y (95|370) [DISC] (5) Boolean[5] idxSta.sta0ToSta.fire (96|375) [ALGB] (3) Real[3] chaSta.capEquSta.y (97|378) [ALGB] (1) Real enaEqu.nEquStaRea.y (98|379) [DISC] (3) Boolean[3, 1] staEqu.off.inPort.set (99|382) [DISC] (5) Boolean[5] idxSta.runAndTrn.u1 (100|387) [DISC] (1) Boolean idxSta.lowAva.y (101|388) [ALGB] (3) Real[3] chaSta.reqEquStaLow.y (102|391) [DISC] (25) Boolean[5, 5] idxSta.staToSta.inPort.available (103|416) [ALGB] (3) Real[3] enaEqu.reaScaRep.y (104|419) [ALGB] (1) flow Real idxSta.stateGraphRoot.subgraphStatePort.activeSteps (105|420) [ALGB] (3) Real[3] enaEqu.isReqPosAlt.u (106|423) [DISC] (1) Boolean comSta.preAnyCha.y (107|424) [DISC] (1) Boolean $WC_9 (108|425) [DISC] (1) Boolean $WC_8 (109|426) [DISC] (1) Boolean $WC_7 (110|427) [DISC] (1) Boolean idxSta.sta0.localActive (111|428) [DISC] (1) Boolean $WC_6 (112|429) [DER-] (1) Real $DER.chaSta.capReq.movAve.mu (113|430) [DISC] (1) Boolean $WC_5 (114|431) [DISC] (1) Boolean $WC_4 (115|432) [DISC] (5) Integer[5] idxSta.intGreEqu.u2 (116|437) [DISC] (1) Boolean $WC_3 (117|438) [DISS] (3) protected discrete Real[3] staEqu.offToOn.t_start (118|441) [DISC] (1) Boolean $WC_2 (119|442) [ALGB] (1) protected Real chaSta.capReq.movAve.muDel (120|443) [DISC] (1) Boolean $WC_1 (121|444) [ALGB] (1) Real chaSta.splTimCapStaLow.y (122|445) [DISC] (1) Boolean $WC_0 (123|446) [DISC] (1) Boolean chaSta.effOrFaiSaf.u1 (124|447) [DISC] (3) Boolean[3] enaEqu.isNotReqNoAlt.y (125|450) [DISC] (1) Boolean idxSta.idxNexHigAva.intEqu.y (126|451) [DISC] (1) Integer idxSta.truIdxNex.u (127|452) [DISC] (3) Boolean[3] enaEqu.isReqAva.y (128|455) [DISC] (5) Boolean[5] idxSta.andAva.u2 (129|460) [DISC] (3) Boolean[3, 1] staEqu.on.outPort.available (130|463) [DISC] (5) Boolean[5] idxSta.una.u (131|468) [DISC] (3) Boolean[3] staEqu.y1_actual (132|471) [ALGB] (3) protected Real[3] enaEqu.isNotReqNoAlt.lesNoHys.u (133|474) [DISC] (3) Boolean[3, 1] staEqu.off.inPort.occupied (134|477) [DISC] (5) Boolean[5] idxSta.idxNexHigAva.u1 (135|482) [ALGB] (15) Real[3, 5] chaSta.reqEquStaLow.u (136|497) [DISC] (3) Boolean[3] staEqu.y1 (137|500) [DISC] (5) protected Boolean[5] idxSta.sta.newActive (138|505) [DISC] (3) Boolean[3] enaEqu.isReqAltAva.y (139|508) [DISC] (3) Integer[3] staEqu.stateGraphRoot.activeSteps (140|511) [DISC] (1) Boolean comSta.allTru.y (141|512) [DISC] (1) protected Boolean y1DowHol.not_y = not y1DowHol.y (142|513) [ALGB] (5) protected flow Real[5] idxSta.sta.outerStatePort.subgraphStatePort.activeSteps (143|518) [DISC] (3) Boolean[3] enaEqu.truArrCon.y1 (144|521) [DISS] (5) Boolean[5] idxSta.tim.passed (start = {false for $f1 in 1:5}) (145|526) [DISC] (3) Boolean[3] staEqu.offToOn.inPort.available (146|529) [DISC] (1) Integer enaEqu.intLes.u1 (147|530) [DISC] (1) Integer enaEqu.truArrCon.u (148|531) [DISC] (5) Boolean[5] idxSta.rep1.y (149|536) [DISC] (3) Integer[3] chaSta.intScaRep2.y (150|539) [DISC] (1) protected Integer idxSta.truNexHigAva.iTru (151|540) [DISC] (5) Integer[5] idxSta.idxNexHigAva.booToInt.y (152|545) [DISC] (3) Boolean[3] staEqu.on.active (153|548) [ALGB] (3) Real[3] chaSta.capEquStaLow.y (154|551) [DISC] (1) Integer idxSta.truNexHigAva.u (155|552) [DISC] (3) Boolean[3] staEqu.onToOff.outPort.occupied (156|555) [DISC] (3) Boolean[3] comSta.enaAndOn.y (157|558) [DISC] (5) Boolean[5] idxSta.idxFirAct.u1 (158|563) [DISC] (1) Boolean comSta.anyCha.y (fixed = true, start = comSta.preAnyCha.pre_u_start) (159|564) [ALGB] (1) Real chaSta.setZer.y (160|565) [DISC] (1) Integer chaSta.uSta (min = 0.0, max = 5.0) (161|566) [DISC] (1) Boolean idxSta.dowAndEna.y (162|567) [DISC] (5) Integer[5] idxSta.idxFirAct.booToInt.y (163|572) [DISC] (25) Boolean[5, 5] idxSta.rep3.y (164|597) [DISC] (3) Boolean[3] comSta.disAndOff.u1 (165|600) [DISC] (5) Boolean[5] idxSta.idxFirAva.u1 (166|605) [DISC] (1) Boolean idxSta.upOrDow.y (167|606) [DISC] (5) Boolean[5] idxSta.upOrDowOrActUna.y (168|611) [DISC] (1) protected Integer enaEqu.truArrCon.iIdx (169|612) [DISC] (1) Boolean chaSta.timUp.u (170|613) [DISC] (1) Boolean idxSta.upAndEna.y (171|614) [ALGB] (3) Real[3] staEqu.onToOff.t (172|617) [DISC] (1) Boolean comSta.y1End (173|618) [DISC] (5) Integer[5] idxSta.intLesEqu.u1 (174|623) [DISC] (3) final Boolean[3] staEqu.onToOff.localCondition = {staEqu[$staEqu1].onToOff.condition for $staEqu1 in 1:3} (175|626) [ALGB] (1) Real chaSta.capReq.capReq.y (176|627) [DISC] (1) Integer idxSta.stateGraphRoot.activeSteps (177|628) [DISS] (1) Boolean comSta.lckAnyCha.y (178|629) [DISC] (5) Boolean[5] chaSta.idxStaLesActAva.y (179|634) [ALGB] (1) Real chaSta.capReq.capFlo.y (180|635) [DISC] (5) Integer[5] idxSta.idxFirAva.booToInt.y (181|640) [DISC] (5) Boolean[5] idxSta.intGreEqu.y (182|645) [DISC] (1) Boolean comSta.chaAndMat.y (183|646) [DISS] (1) protected Boolean chaSta.capReq.movAve.mode (fixed = true, start = false) (184|647) [DISC] (5) Integer[5] chaSta.idxLasTru.booToInt.y (185|652) [ALGB] (1) Real V_flow.u (186|653) [DISC] (1) protected Integer idxSta.truIdxNex.iTru (187|654) [DISC] (3) protected Boolean[3] staEqu.on.outerStatePort.subgraphStatePort.suspend (188|657) [DISC] (1) Boolean idxSta.idxFirAct.intEqu.y (189|658) [ALGB] (3) protected Real[3] enaEqu.isReqPosAlt.greNoHys.u (190|661) [ALGB] (3) Real[3] enaEqu.isNotReqNoAlt.u (191|664) [DISS] (1) protected discrete Real chaSta.hol.truHol.entryTimeFalse (192|665) [DISC] (3) protected Boolean[3] staEqu.off.newActive (193|668) [ALGB] (3) protected Real[3] enaEqu.isReq.greNoHys.u (194|671) [DISC] (2) Integer[2] idxEquLeaLag.y (195|673) [DISC] (9) protected Boolean[3, 3] enaEqu.isReqAltAva.uTemp (196|682) [DISC] (5) Boolean[5] idxSta.sta0ToSta.outPort.occupied (197|687) [DISC] (5) Integer[5] idxSta.idxNexLowAva.booToInt.y (198|692) [DISC] (3) Boolean[3] staEqu.notY1.y (199|695) [DISC] (1) Boolean enaEqu.cha.y (200|696) [DISC] (1) Integer enaEqu.cha.u (fixed = true, start = enaEqu.cha.pre_u_start) (201|697) [DISC] (1) Boolean idxSta.idxFirAva.intEqu.y (202|698) [ALGB] (3) protected flow Real[3] staEqu.off.outerStatePort.subgraphStatePort.activeSteps (203|701) [DISC] (3) Boolean[3] enaEqu.nReq.u1 (204|704) [DISC] (1) Boolean idxSta.sta0.active (205|705) [DISC] (3) Boolean[3] enaEqu.isReqPosAlt.y (206|708) [DISC] (3) Boolean[3] enaEqu.isEnaPreAva.u2 (207|711) [DISC] (3) Boolean[3] enaEqu.isReq.y (208|714) [DISC] (1) protected Boolean idxSta.sta0.outerStatePort.subgraphStatePort.suspend (209|715) [DISC] (3) Boolean[3] staEqu.onToOff.fire (210|718) [DISC] (1) Boolean comSta.preAnyCha.u (fixed = false, start = comSta.preAnyCha.pre_u_start) (211|719) [DISC] (3) Boolean[3] enaEqu.y1Pre.u (fixed = {true for $f1 in 1:3}, start = {enaEqu.y1Pre[$y1Pre1].pre_u_start for $y1Pre1 in 1:3}) (212|722) [DISC] (1) protected Integer enaEqu.truArrCon.iTru (213|723) [DISC] (1) Integer[1] idxSta.truIdxNex.uIdx (214|724) [DISC] (25) Boolean[5, 5] idxSta.staToSta.outPort.occupied (215|749) [DISC] (1) Real $TEV_7 (216|750) [DISC] (1) Boolean $TEV_6 (217|751) [DISC] (3) Boolean[3] $TEV_5 (218|754) [DISC] (3) Boolean[3] $TEV_4 (219|757) [DISC] (1) Boolean chaSta.timUp.reset (220|758) [DISC] (3) Boolean[3] $TEV_3 (221|761) [ALGB] (1) Real chaSta.hol.u (222|762) [DISC] (3) Boolean[3] staEqu.offToOn.fire (223|765) [DISC] (5) Boolean[5] $TEV_2 (224|770) [DISC] (3) Boolean[3] enaEqu.isEnaPreAva.u1 (225|773) [DISC] (1) Boolean $TEV_1 (226|774) [DISC] (1) Boolean $TEV_0 (227|775) [DISC] (1) Boolean enaEqu.intLes.y (228|776) [DISC] (1) Boolean chaSta.faiSaf.timPriSet.u (229|777) [DISC] (1) Boolean chaSta.timDow.u (230|778) [DISC] (3) Boolean[3] idxSta.upAndEna.u (231|781) [DISC] (3) Boolean[3] enaEqu.y1 (232|784) [DISC] (5) Boolean[5] idxSta.rep.y (233|789) [DISC] (1) Integer idxSta.idxFirAva.intSwi.u3 (234|790) [ALGB] (1) Real chaSta.faiSaf.dTPriSet.y (235|791) [DISC] (5) Boolean[5] idxSta.runAndTrn.y (236|796) [ALGB] (1) Real V_flow.y (237|797) [DISC] (3) Boolean[3] comSta.disAndOff.u2 (238|800) [DISC] (1) Boolean enaEqu.cha.down (239|801) [ALGB] (1) Real chaSta.capReq.delT.y (240|802) [DISC] (1) Integer chaSta.intScaRep.u (241|803) [DISS] (1) protected discrete Real chaSta.timUp.entryTime (242|804) [DISC] (5) Integer[5] idxSta.intLesEqu.u2 (243|809) [DISC] (1) protected Integer idxSta.truNexHigAva.iIdx (244|810) [DISS] (1) protected discrete Real chaSta.faiSaf.timPriSet.entryTime (245|811) [DISS] (1) protected Boolean idxSta.sta0.oldActive (246|812) [DISC] (3) protected Boolean[3] comSta.allTru.uTemp (247|815) [DISS] (1) protected discrete Real y1DowHol.entryTimeFalse (248|816) [DISC] (1) Integer idxSta.idxNex.u1 (249|817) [DISC] (30) Boolean[5, 6] idxSta.sta.inPort.set (250|847) [DISC] (3) Boolean[3] staEqu.notY1.u (251|850) [DISC] (1) Boolean comSta.lckChaSta.u (252|851) [DISS] (1) protected discrete Real y1UpHol.entryTimeTrue (253|852) [DISC] (1) Boolean idxSta.upOrActUna.u2 (254|853) [DISC] (5) Boolean[5] idxSta.idxLasAva.u1 (255|858) [DISC] (3) protected Boolean[3] enaEqu.isNotReqNoAlt.lesNoHys.y (256|861) [ALGB] (3) Real[3] enaEqu.isReq.u (257|864) [DISC] (1) protected Boolean idxSta.sta0.outerStatePort.subgraphStatePort.resume (258|865) [DISC] (30) Boolean[5, 6] idxSta.sta.outPort.available (259|895) [ALGB] (1) Real chaSta.gre.u1 (260|896) [DISC] (5) Boolean[5] chaSta.idxStaLesAct.y (261|901) [DISC] (5) protected Boolean[5] idxSta.sta.outerStatePort.subgraphStatePort.suspend (262|906) [DISC] (1) Boolean enaEqu.swiEna.y (263|907) [DISC] (3) protected Boolean[3] staEqu.on.newActive (264|910) [DISC] (3) protected Boolean[3] comSta.anyCha.uTemp (265|913) [DISC] (3) protected Boolean[3] enaEqu.isReq.greNoHys.y (266|916) [DISC] (3) Boolean[3] idxSta.dowAndEna.u (267|919) [DISC] (5) Integer[5] idxSta.idxLasAva.booToInt.y (268|924) [DISC] (5) Boolean[5] idxSta.rep2.y (269|929) [DISC] (3) protected Boolean[3] idxSta.dowAndEna.uTemp (270|932) [DISC] (5) Boolean[5] idxSta.staToSta0.outPort.occupied (271|937) [DISC] (3) Boolean[3] $SEV_18 (272|940) [DISC] (1) protected Boolean y1UpHol.not_y = not y1UpHol.y (273|941) [DISC] (3) Boolean[3] $SEV_17 (274|944) [DISC] (3) Boolean[3] staEqu.onToOff.enableFire (275|947) [DISC] (1) Boolean $SEV_16 (276|948) [DISC] (3) Boolean[3] $SEV_15 (277|951) [DISC] (3) Boolean[3] $SEV_14 (278|954) [DISC] (3) Boolean[3] staEqu.off.active (279|957) [DISC] (3) Boolean[3] $SEV_13 (280|960) [DISC] (1) Boolean $SEV_12 (281|961) [DISC] (1) Boolean $SEV_11 (282|962) [DISC] (5) Boolean[5] $SEV_10 (283|967) [DISC] (3) Boolean[3] staEqu.offToOn.enableFire (284|970) [DISC] (1) Integer comSta.chaSta.u (fixed = true, start = comSta.chaSta.pre_u_start) (285|971) [ALGB] (1) Real chaSta.timDow.y (286|972) [DISC] (1) Integer idxSta.booToInt.y (287|973) [DISC] (1) Boolean comSta.chaSta.up (288|974) [DISC] (1) Integer chaSta.maxInt1.u2 (289|975) [ALGB] (1) Real chaSta.faiSaf.timPriSet.y (290|976) [DISC] (1) Integer[1] idxSta.truNexHigAva.uIdx (291|977) [DISC] (1) protected Boolean chaSta.gre.greHys.y (292|978) [DISC] (3) Boolean[3] staEqu.offToOn.outPort.occupied (293|981) [DISC] (30) Boolean[5, 6] idxSta.sta.outPort.reset (294|1011) [DISC] (5) Boolean[5] idxSta.staToSta0.inPort.available (295|1016) [DISS] (3) protected Boolean[3] staEqu.on.oldActive (296|1019) [DISC] (3) Boolean[3] enaEqu.ena.y (297|1022) [ALGB] (1) Real enaEqu.booToRea.y (298|1023) [DISS] (1) protected discrete Real chaSta.timDow.entryTime (299|1024) [DISC] (3) Boolean[3] comSta.disAndOff.y (300|1027) [DISC] (5) Boolean[5] $SEV_9 (301|1032) [DISC] (1) Boolean $SEV_8 (302|1033) [DISC] (1) Boolean $SEV_7 (303|1034) [DISC] (1) Boolean $SEV_5 (304|1035) [DISC] (1) Boolean $SEV_4 (305|1036) [DISC] (1) Boolean $SEV_3 (306|1037) [DISC] (5) Boolean[5] idxSta.tim.u (307|1042) [ALGB] (5) Real[5] idxSta.tim.y (308|1047) [DISC] (1) Boolean $SEV_2 (309|1048) [DISC] (1) Boolean $SEV_1 (310|1049) [DISC] (1) Boolean $SEV_0 (311|1050) [DISC] (5) Boolean[5] idxSta.intLesEqu.y (312|1055) [DISC] (1) protected Boolean y1UpHol.not_u = not (not y1UpHol.not_u) (fixed = true, start = true) (313|1056) [DISC] (1) protected Boolean chaSta.hol.truHol.not_y = not chaSta.hol.truHol.y (314|1057) [DISC] (1) Boolean $WC_28 (315|1058) [DISC] (1) Boolean $WC_27 (316|1059) [DISC] (1) Boolean $WC_26 (317|1060) [DISC] (5) Integer[5] idxSta.idxStaAll.y (318|1065) [DISC] (1) Boolean $WC_25 (319|1066) [DISC] (1) Boolean $WC_24 (320|1067) [DISC] (1) Integer idxSta.idxNexHigAva.intSwi.u3 (321|1068) [DISC] (1) Boolean $WC_23 (322|1069) [ALGB] (3) Real[3] staEqu.offToOn.t (323|1072) [DISC] (1) Boolean $WC_22 (324|1073) [DISC] (1) Boolean $WC_21 (325|1074) [DISC] (1) Boolean $WC_20 (326|1075) [DISC] (1) Integer idxSta.higAva.u1 (327|1076) [DISC] (3) Boolean[3] enaEqu.booScaRep.y (328|1079) [DISC] (3) final Boolean[3] staEqu.offToOn.localCondition = {staEqu[$staEqu1].offToOn.condition for $staEqu1 in 1:3} (329|1082) [DISC] (3) Boolean[3, 1] staEqu.on.inPort.occupied (330|1085) [DISC] (1) Integer idxSta.idxNex.y (331|1086) [DISC] (25) Boolean[5, 5] idxSta.staToSta.fire (332|1111) [DISC] (3) Boolean[3, 1] staEqu.off.outPort.available (333|1114) [DISS] (3) protected discrete Real[3] staEqu.onToOff.t_start (334|1117) [DISC] (3) Boolean[3] enaEqu.isReqAva.u2 (335|1120) [DISC] (5) Boolean[5] idxSta.u1AvaSta (336|1125) [DISC] (3) protected Boolean[3] staEqu.off.outerStatePort.subgraphStatePort.suspend (337|1128) [ALGB] (3) Real[3] chaSta.capEquStaLow.u1 (338|1131) [DISC] (3) protected Boolean[3] staEqu.on.outerStatePort.subgraphStatePort.resume (339|1134) [DISC] (3) Boolean[3] enaEqu.isEnaPreAva.y (340|1137) [DISC] (5) Boolean[5] idxSta.truIdxNex.y1 (341|1142) [DISC] (5) Boolean[5] chaSta.u1AvaSta (342|1147) [DISC] (1) Boolean $WC_19 (343|1148) [DISS] (1) Boolean chaSta.u1StaPro (344|1149) [DISC] (1) Boolean idxSta.upOrActUna.y (345|1150) [DISC] (1) Boolean $WC_18 (346|1151) [DISC] (1) Boolean $WC_17 (347|1152) [DISC] (3) Boolean[3] enaEqu.isReqAltAvaNee.y (348|1155) [DISC] (1) Boolean $WC_16 (349|1156) [DISC] (1) Boolean $WC_15 (350|1157) [DISC] (1) protected Boolean chaSta.faiSaf.lesPriSet.lesHys.y (351|1158) [DISC] (5) Boolean[5] idxSta.una.y (352|1163) [DISC] (1) Boolean $WC_11 (353|1164) [DISC] (3) Boolean[3, 1] staEqu.on.outPort.reset (354|1167) [DISC] (1) Boolean $WC_10 (355|1168) [ALGB] (3) Real[3] chaSta.reqEquSta.y (356|1171) [DISS] (1) protected discrete Real y1UpHol.entryTimeFalse (357|1172) [DISS] (1) protected discrete Real ratV_flow.tab.nextTimeEvent (fixed = true, start = 0.0) (358|1173) [ALGB] (1) protected flow Real idxSta.sta0.outerStatePort.subgraphStatePort.activeSteps (359|1174) [DISC] (1) Integer idxSta.idxNex.u3 (360|1175) [DISC] (5) Boolean[5] idxSta.andAva1.y (361|1180) [DISS] (1) Boolean y1DowHol.y (362|1181) [DISC] (5) Integer[5] idxSta.intScaRep.y (363|1186) [ALGB] (1) Real chaSta.timUp.y (364|1187) [DISC] (1) Integer chaSta.minInt.y (365|1188) [DISC] (3) Integer[3] chaSta.intScaRep.y (366|1191) [DISS] (1) Boolean y1UpHol.y System Equations (707/1211) ***************************** (1|1) [SCAL] (1) idxSta.sta[4].outPort[2].reset = idxSta.staToSta[4, 2].fire; ($RES_SIM_889) (2|2) [SCAL] (1) idxSta.u1AvaSta[5] = idxSta.phAvaSta[5].y; ($RES_SIM_972) (3|3) [SCAL] (1) idxSta.staToSta[4, 3].outPort.occupied = idxSta.sta[3].inPort[4].occupied; ($RES_SIM_888) (4|4) [SCAL] (1) idxSta.u1AvaSta[4] = idxSta.phAvaSta[4].y; ($RES_SIM_971) (5|5) [SCAL] (1) idxSta.staToSta[4, 3].fire = idxSta.sta[3].inPort[4].set; ($RES_SIM_887) (6|6) [SCAL] (1) idxSta.u1AvaSta[3] = idxSta.phAvaSta[3].y; ($RES_SIM_970) (7|7) [SCAL] (1) idxSta.sta[4].outPort[3].available = idxSta.staToSta[4, 3].inPort.available; ($RES_SIM_886) (8|8) [SCAL] (1) idxSta.sta[4].outPort[3].reset = idxSta.staToSta[4, 3].fire; ($RES_SIM_885) (9|9) [SCAL] (1) idxSta.staToSta[4, 4].outPort.occupied = idxSta.sta[4].inPort[4].occupied; ($RES_SIM_884) (10|10) [SCAL] (1) idxSta.staToSta[4, 4].fire = idxSta.sta[4].inPort[4].set; ($RES_SIM_883) (11|11) [SCAL] (1) idxSta.phAvaSta[1].y = idxSta.una[1].u; ($RES_SIM_799) (12|12) [SCAL] (1) idxSta.sta[4].outPort[4].available = idxSta.staToSta[4, 4].inPort.available; ($RES_SIM_882) (13|13) [SCAL] (1) idxSta.phAvaSta[2].y = idxSta.andAva1[2].u2; ($RES_SIM_798) (14|14) [SCAL] (1) idxSta.sta[4].outPort[4].reset = idxSta.staToSta[4, 4].fire; ($RES_SIM_881) (15|15) [SCAL] (1) idxSta.phAvaSta[2].y = idxSta.andAva[2].u2; ($RES_SIM_797) (16|16) [SCAL] (1) idxSta.staToSta[4, 5].outPort.occupied = idxSta.sta[5].inPort[4].occupied; ($RES_SIM_880) (17|17) [SCAL] (1) idxSta.phAvaSta[2].y = idxSta.idxFirAva.u1[2]; ($RES_SIM_796) (18|18) [SCAL] (1) idxSta.phAvaSta[2].y = idxSta.idxLasAva.u1[2]; ($RES_SIM_795) (19|19) [SCAL] (1) idxSta.phAvaSta[2].y = idxSta.una[2].u; ($RES_SIM_794) (20|20) [SCAL] (1) idxSta.phAvaSta[3].y = idxSta.andAva1[3].u2; ($RES_SIM_793) (21|21) [SCAL] (1) idxSta.phAvaSta[3].y = idxSta.andAva[3].u2; ($RES_SIM_792) (22|22) [SCAL] (1) idxSta.phAvaSta[3].y = idxSta.idxFirAva.u1[3]; ($RES_SIM_791) (23|23) [SCAL] (1) idxSta.phAvaSta[3].y = idxSta.idxLasAva.u1[3]; ($RES_SIM_790) (24|24) [SCAL] (1) idxSta.u1AvaSta[2] = idxSta.phAvaSta[2].y; ($RES_SIM_969) (25|25) [SCAL] (1) idxSta.u1AvaSta[1] = idxSta.phAvaSta[1].y; ($RES_SIM_968) (26|26) [SCAL] (1) idxSta.staToSta[4, 5].fire = idxSta.sta[5].inPort[4].set; ($RES_SIM_879) (27|27) [SCAL] (1) idxSta.sta[4].outPort[5].available = idxSta.staToSta[4, 5].inPort.available; ($RES_SIM_878) (28|28) [SCAL] (1) idxSta.sta[4].outPort[5].reset = idxSta.staToSta[4, 5].fire; ($RES_SIM_877) (29|29) [SCAL] (1) idxSta.staToSta[5, 1].outPort.occupied = idxSta.sta[1].inPort[5].occupied; ($RES_SIM_876) (30|30) [SCAL] (1) idxSta.staToSta[5, 1].fire = idxSta.sta[1].inPort[5].set; ($RES_SIM_875) (31|31) [SCAL] (1) idxSta.sta[5].outPort[1].available = idxSta.staToSta[5, 1].inPort.available; ($RES_SIM_874) (32|32) [SCAL] (1) idxSta.sta[5].outPort[1].reset = idxSta.staToSta[5, 1].fire; ($RES_SIM_873) (33|33) [SCAL] (1) idxSta.phAvaSta[3].y = idxSta.una[3].u; ($RES_SIM_789) (34|34) [SCAL] (1) idxSta.staToSta[5, 2].outPort.occupied = idxSta.sta[2].inPort[5].occupied; ($RES_SIM_872) (35|35) [SCAL] (1) idxSta.phAvaSta[4].y = idxSta.andAva1[4].u2; ($RES_SIM_788) (36|36) [SCAL] (1) idxSta.staToSta[5, 2].fire = idxSta.sta[2].inPort[5].set; ($RES_SIM_871) (37|37) [SCAL] (1) idxSta.phAvaSta[4].y = idxSta.andAva[4].u2; ($RES_SIM_787) (38|38) [SCAL] (1) idxSta.sta[5].outPort[2].available = idxSta.staToSta[5, 2].inPort.available; ($RES_SIM_870) (39|39) [SCAL] (1) idxSta.phAvaSta[4].y = idxSta.idxFirAva.u1[4]; ($RES_SIM_786) (40|40) [SCAL] (1) idxSta.phAvaSta[4].y = idxSta.idxLasAva.u1[4]; ($RES_SIM_785) (41|41) [SCAL] (1) idxSta.phAvaSta[4].y = idxSta.una[4].u; ($RES_SIM_784) (42|42) [SCAL] (1) idxSta.phAvaSta[5].y = idxSta.andAva1[5].u2; ($RES_SIM_783) (43|43) [SCAL] (1) enaEqu.isNotReqNoAlt[2].u = enaEqu.isNotReqNoAlt[2].lesNoHys.u; ($RES_SIM_699) (44|44) [SCAL] (1) idxSta.phAvaSta[5].y = idxSta.andAva[5].u2; ($RES_SIM_782) (45|45) [SCAL] (1) enaEqu.isNotReqNoAlt[1].u = enaEqu.isNotReqNoAlt[1].lesNoHys.u; ($RES_SIM_698) (46|46) [SCAL] (1) idxSta.phAvaSta[5].y = idxSta.idxFirAva.u1[5]; ($RES_SIM_781) (47|47) [SCAL] (1) enaEqu.isNotReqNoAlt[3].lesNoHys.y = enaEqu.isNotReqNoAlt[3].y; ($RES_SIM_697) (48|48) [SCAL] (1) idxSta.phAvaSta[5].y = idxSta.idxLasAva.u1[5]; ($RES_SIM_780) (49|49) [SCAL] (1) enaEqu.isNotReqNoAlt[2].lesNoHys.y = enaEqu.isNotReqNoAlt[2].y; ($RES_SIM_696) (50|50) [SCAL] (1) enaEqu.isNotReqNoAlt[1].lesNoHys.y = enaEqu.isNotReqNoAlt[1].y; ($RES_SIM_695) (51|51) [SCAL] (1) idxSta.staToSta[1, 1].outPort.occupied = idxSta.sta[1].inPort[1].occupied; ($RES_SIM_956) (52|52) [SCAL] (1) idxSta.staToSta[1, 1].fire = idxSta.sta[1].inPort[1].set; ($RES_SIM_955) (53|53) [SCAL] (1) idxSta.sta[1].outPort[1].available = idxSta.staToSta[1, 1].inPort.available; ($RES_SIM_954) (54|54) [SCAL] (1) idxSta.sta[1].outPort[1].reset = idxSta.staToSta[1, 1].fire; ($RES_SIM_953) (55|55) [SCAL] (1) idxSta.sta[5].outPort[2].reset = idxSta.staToSta[5, 2].fire; ($RES_SIM_869) (56|56) [SCAL] (1) idxSta.staToSta[1, 2].outPort.occupied = idxSta.sta[2].inPort[1].occupied; ($RES_SIM_952) (57|57) [SCAL] (1) idxSta.staToSta[5, 3].outPort.occupied = idxSta.sta[3].inPort[5].occupied; ($RES_SIM_868) (58|58) [SCAL] (1) idxSta.staToSta[1, 2].fire = idxSta.sta[2].inPort[1].set; ($RES_SIM_951) (59|59) [FOR-] (3) ($RES_EVT_1499) (59|59) [----] for $i1 in 1:3 loop (59|59) [----] [SCAL] (1) $SEV_14[$i1] = enaEqu.isReqPosAlt[$i1].greNoHys.u > 1e-4; ($RES_EVT_1500) (59|59) [----] end for; (60|62) [SCAL] (1) idxSta.staToSta[5, 3].fire = idxSta.sta[3].inPort[5].set; ($RES_SIM_867) (61|63) [SCAL] (1) idxSta.sta[1].outPort[2].available = idxSta.staToSta[1, 2].inPort.available; ($RES_SIM_950) (62|64) [SCAL] (1) idxSta.sta[5].outPort[3].available = idxSta.staToSta[5, 3].inPort.available; ($RES_SIM_866) (63|65) [FOR-] (3) ($RES_EVT_1497) (63|65) [----] for $i1 in 1:3 loop (63|65) [----] [SCAL] (1) $SEV_13[$i1] = enaEqu.isReq[$i1].greNoHys.u > 0.99; ($RES_EVT_1498) (63|65) [----] end for; (64|68) [SCAL] (1) idxSta.sta[5].outPort[3].reset = idxSta.staToSta[5, 3].fire; ($RES_SIM_865) (65|69) [SCAL] (1) $SEV_12 = time >= $PRE.y1DowHol.entryTimeFalse and time >= (1.0 + $PRE.y1DowHol.entryTimeTrue); ($RES_EVT_1496) (66|70) [SCAL] (1) idxSta.staToSta[5, 4].outPort.occupied = idxSta.sta[4].inPort[5].occupied; ($RES_SIM_864) (67|71) [SCAL] (1) $SEV_11 = time >= $PRE.y1UpHol.entryTimeFalse and time >= (1.0 + $PRE.y1UpHol.entryTimeTrue); ($RES_EVT_1495) (68|72) [SCAL] (1) idxSta.staToSta[5, 4].fire = idxSta.sta[4].inPort[5].set; ($RES_SIM_863) (69|73) [SCAL] (1) idxSta.phAvaSta[5].y = idxSta.una[5].u; ($RES_SIM_779) (70|74) [SCAL] (1) idxSta.sta[5].outPort[4].available = idxSta.staToSta[5, 4].inPort.available; ($RES_SIM_862) (71|75) [FOR-] (5) ($RES_EVT_1493) (71|75) [----] for $i1 in 1:5 loop (71|75) [----] [SCAL] (1) $SEV_10[$i1] = idxSta.tim[$i1].u and time >= (900.0 + $PRE.idxSta.tim[$i1].entryTime); ($RES_EVT_1494) (71|75) [----] end for; (72|80) [SCAL] (1) idxSta.sta[5].outPort[4].reset = idxSta.staToSta[5, 4].fire; ($RES_SIM_861) (73|81) [SCAL] (1) not y1UpHol.not_u = idxSta.upAndEna.u[2]; ($RES_SIM_777) (74|82) [SCAL] (1) idxSta.staToSta[5, 5].outPort.occupied = idxSta.sta[5].inPort[5].occupied; ($RES_SIM_860) (75|83) [FOR-] (5) ($RES_EVT_1491) (75|83) [----] for $f5 in 1:5 loop (75|83) [----] [SCAL] (1) $SEV_9[$f5] = not u1Lea.k; ($RES_EVT_1492) (75|83) [----] end for; (76|88) [SCAL] (1) not y1DowHol.not_u = idxSta.dowAndEna.u[2]; ($RES_SIM_776) (77|89) [SCAL] (1) $SEV_8 = chaSta.faiSaf.timPriSet.u and time >= ($PRE.chaSta.faiSaf.timPriSet.entryTime + chaSta.faiSaf.timPriSet.t); ($RES_EVT_1490) (78|90) [SCAL] (1) idxSta.higAva.y = idxSta.upAndEna.u[3]; ($RES_SIM_774) (79|91) [SCAL] (1) idxSta.lowAva.y = idxSta.dowAndEna.u[3]; ($RES_SIM_773) (80|92) [SCAL] (1) idxSta.pas[1].y = idxSta.runAndEna[1].u2; ($RES_SIM_771) (81|93) [SCAL] (1) idxSta.pas[1].y = idxSta.runAndTrn[1].u1; ($RES_SIM_770) (82|94) [SCAL] (1) enaEqu.isReq[1].y = enaEqu.nReq.u1[1]; ($RES_SIM_686) (83|95) [SCAL] (1) enaEqu.isReq[1].y = enaEqu.isReqAva[1].u1; ($RES_SIM_685) (84|96) [SCAL] (1) enaEqu.isReq[2].y = enaEqu.nReq.u1[2]; ($RES_SIM_684) (85|97) [SCAL] (1) enaEqu.isReq[2].y = enaEqu.isReqAva[2].u1; ($RES_SIM_683) (86|98) [SCAL] (1) staEqu[1].on.outerStatePort.subgraphStatePort.suspend = staEqu[1].stateGraphRoot.suspend; ($RES_SIM_599) (87|99) [SCAL] (1) enaEqu.isReq[3].y = enaEqu.nReq.u1[3]; ($RES_SIM_682) (88|100) [SCAL] (1) $WC_28 = y1DowHol.not_u and not $PRE.y1DowHol.not_u; ($RES_WC_1536) (89|101) [SCAL] (1) staEqu[1].on.outerStatePort.subgraphStatePort.suspend = staEqu[1].off.outerStatePort.subgraphStatePort.suspend; ($RES_SIM_598) (90|102) [SCAL] (1) enaEqu.isReq[3].y = enaEqu.isReqAva[3].u1; ($RES_SIM_681) (91|103) [SCAL] (1) $WC_27 = not y1DowHol.not_u and $PRE.y1DowHol.not_u; ($RES_WC_1535) (92|104) [SCAL] (1) staEqu[3].y1 = staEqu[3].notY1.u; ($RES_SIM_597) (93|105) [SCAL] (1) enaEqu.isReqPosAlt[1].y = enaEqu.isReqAltAva[1].u[1]; ($RES_SIM_680) (94|106) [SCAL] (1) $WC_26 = y1DowHol.not_u and not $PRE.y1DowHol.not_u; ($RES_WC_1534) (95|107) [SCAL] (1) staEqu[3].y1 = staEqu[3].offToOn.localCondition; ($RES_SIM_596) (96|108) [SCAL] (1) $WC_25 = not y1DowHol.not_u and $PRE.y1DowHol.not_u; ($RES_WC_1533) (97|109) [SCAL] (1) staEqu[2].y1 = staEqu[2].notY1.u; ($RES_SIM_595) (98|110) [SCAL] (1) $WC_24 = y1DowHol.not_u and not $PRE.y1DowHol.not_u; ($RES_WC_1532) (99|111) [SCAL] (1) staEqu[2].y1 = staEqu[2].offToOn.localCondition; ($RES_SIM_594) (100|112) [SCAL] (1) idxSta.sta[1].outPort[2].reset = idxSta.staToSta[1, 2].fire; ($RES_SIM_949) (101|113) [SCAL] (1) $WC_23 = not y1DowHol.not_u and $PRE.y1DowHol.not_u; ($RES_WC_1531) (102|114) [SCAL] (1) staEqu[1].y1 = staEqu[1].notY1.u; ($RES_SIM_593) (103|115) [SCAL] (1) idxSta.staToSta[1, 3].outPort.occupied = idxSta.sta[3].inPort[1].occupied; ($RES_SIM_948) (104|116) [SCAL] (1) $WC_22 = y1UpHol.not_u and not $PRE.y1UpHol.not_u; ($RES_WC_1530) (105|117) [SCAL] (1) staEqu[1].y1 = staEqu[1].offToOn.localCondition; ($RES_SIM_592) (106|118) [SCAL] (1) idxSta.staToSta[1, 3].fire = idxSta.sta[3].inPort[1].set; ($RES_SIM_947) (107|119) [SCAL] (1) staEqu[3].off.outPort[1].available = staEqu[3].offToOn.inPort.available; ($RES_SIM_591) (108|120) [SCAL] (1) idxSta.sta[1].outPort[3].available = idxSta.staToSta[1, 3].inPort.available; ($RES_SIM_946) (109|121) [SCAL] (1) staEqu[3].off.outPort[1].reset = staEqu[3].offToOn.fire; ($RES_SIM_590) (110|122) [SCAL] (1) idxSta.sta[1].outPort[3].reset = idxSta.staToSta[1, 3].fire; ($RES_SIM_945) (111|123) [SCAL] (1) idxSta.staToSta[1, 4].outPort.occupied = idxSta.sta[4].inPort[1].occupied; ($RES_SIM_944) (112|124) [SCAL] (1) idxSta.staToSta[1, 4].fire = idxSta.sta[4].inPort[1].set; ($RES_SIM_943) (113|125) [SCAL] (1) idxSta.staToSta[5, 5].fire = idxSta.sta[5].inPort[5].set; ($RES_SIM_859) (114|126) [SCAL] (1) idxSta.sta[1].outPort[4].available = idxSta.staToSta[1, 4].inPort.available; ($RES_SIM_942) (115|127) [SCAL] (1) idxSta.sta[5].outPort[5].available = idxSta.staToSta[5, 5].inPort.available; ($RES_SIM_858) (116|128) [SCAL] (1) idxSta.sta[1].outPort[4].reset = idxSta.staToSta[1, 4].fire; ($RES_SIM_941) (117|129) [SCAL] (1) $SEV_7 = not $PRE.chaSta.faiSaf.lesPriSet.lesHys.y and chaSta.faiSaf.dTPriSet.y < (-2.5) or $PRE.chaSta.faiSaf.lesPriSet.lesHys.y and chaSta.faiSaf.dTPriSet.y < (-2.25); ($RES_EVT_1489) (118|130) [SCAL] (1) idxSta.sta[5].outPort[5].reset = idxSta.staToSta[5, 5].fire; ($RES_SIM_857) (119|131) [SCAL] (1) idxSta.staToSta[1, 5].outPort.occupied = idxSta.sta[5].inPort[1].occupied; ($RES_SIM_940) (120|132) [SCAL] (1) idxSta.sta[1].outPort[6].available = idxSta.staToSta0[1].inPort.available; ($RES_SIM_856) (121|133) [SCAL] (1) $SEV_5 = time >= $PRE.chaSta.hol.truHol.entryTimeFalse and time >= (900.0 + $PRE.chaSta.hol.truHol.entryTimeTrue); ($RES_EVT_1487) (122|134) [SCAL] (1) idxSta.sta[2].outPort[6].available = idxSta.staToSta0[2].inPort.available; ($RES_SIM_855) (123|135) [SCAL] (1) $SEV_4 = chaSta.timDow.u and time >= (900.0 + $PRE.chaSta.timDow.entryTime); ($RES_EVT_1486) (124|136) [SCAL] (1) idxSta.sta[3].outPort[6].available = idxSta.staToSta0[3].inPort.available; ($RES_SIM_854) (125|137) [SCAL] (1) $SEV_3 = not $PRE.chaSta.les.lesHys.y and chaSta.gre.u1 < chaSta.splTimCapStaLow.y or $PRE.chaSta.les.lesHys.y and chaSta.gre.u1 < (10.0 + chaSta.splTimCapStaLow.y); ($RES_EVT_1485) (126|138) [SCAL] (1) idxSta.sta[4].outPort[6].available = idxSta.staToSta0[4].inPort.available; ($RES_SIM_853) (127|139) [SCAL] (1) $SEV_2 = chaSta.timUp.u and time >= (900.0 + $PRE.chaSta.timUp.entryTime); ($RES_EVT_1484) (128|140) [SCAL] (1) idxSta.pas[2].y = idxSta.runAndEna[2].u2; ($RES_SIM_769) (129|141) [SCAL] (1) idxSta.sta[5].outPort[6].available = idxSta.staToSta0[5].inPort.available; ($RES_SIM_852) (130|142) [SCAL] (1) $SEV_1 = not $PRE.chaSta.gre.greHys.y and chaSta.gre.u1 > chaSta.splTimCapSta.y or $PRE.chaSta.gre.greHys.y and chaSta.gre.u1 > ((-10.0) + chaSta.splTimCapSta.y); ($RES_EVT_1483) (131|143) [SCAL] (1) idxSta.pas[2].y = idxSta.runAndTrn[2].u1; ($RES_SIM_768) (132|144) [SCAL] (1) idxSta.sta[1].outPort[6].reset = idxSta.staToSta0[1].fire; ($RES_SIM_851) (133|145) [SCAL] (1) $SEV_0 = time >= $PRE.ratV_flow.tab.nextTimeEvent; ($RES_EVT_1482) (134|146) [SCAL] (1) idxSta.pas[3].y = idxSta.runAndEna[3].u2; ($RES_SIM_767) (135|147) [SCAL] (1) idxSta.sta[2].outPort[6].reset = idxSta.staToSta0[2].fire; ($RES_SIM_850) (136|148) [SCAL] (1) $TEV_7 = $PRE.ratV_flow.tab.nextTimeEventScaled; ($RES_EVT_1481) (137|149) [SCAL] (1) idxSta.pas[3].y = idxSta.runAndTrn[3].u1; ($RES_SIM_766) (138|150) [SCAL] (1) $TEV_6 = $PRE.comSta.preAnyCha.u; ($RES_EVT_1480) (139|151) [SCAL] (1) idxSta.pas[4].y = idxSta.runAndEna[4].u2; ($RES_SIM_765) (140|152) [SCAL] (1) idxSta.pas[4].y = idxSta.runAndTrn[4].u1; ($RES_SIM_764) (141|153) [SCAL] (1) idxSta.pas[5].y = idxSta.runAndEna[5].u2; ($RES_SIM_763) (142|154) [SCAL] (1) enaEqu.isReqPosAlt[2].y = enaEqu.isReqAltAva[2].u[1]; ($RES_SIM_679) (143|155) [SCAL] (1) idxSta.pas[5].y = idxSta.runAndTrn[5].u1; ($RES_SIM_762) (144|156) [SCAL] (1) enaEqu.isReqPosAlt[3].y = enaEqu.isReqAltAva[3].u[1]; ($RES_SIM_678) (145|157) [SCAL] (1) enaEqu.isNotReqNoAlt[1].y = enaEqu.isReqAltAva[1].u[2]; ($RES_SIM_677) (146|158) [SCAL] (1) idxSta.intScaRep.y[1] = idxSta.intGreEqu[1].u2; ($RES_SIM_760) (147|159) [FOR-] (3) ($RES_BND_1160) (147|159) [----] for $i1 in 1:3 loop (147|159) [----] [SCAL] (1) staEqu[$i1].stateGraphRoot.resume = false; ($RES_BND_1161) (147|159) [----] end for; (148|162) [SCAL] (1) enaEqu.isNotReqNoAlt[2].y = enaEqu.isReqAltAva[2].u[2]; ($RES_SIM_676) (149|163) [SCAL] (1) enaEqu.isNotReqNoAlt[3].y = enaEqu.isReqAltAva[3].u[2]; ($RES_SIM_675) (150|164) [SCAL] (1) $WC_21 = not y1UpHol.not_u and $PRE.y1UpHol.not_u; ($RES_WC_1529) (151|165) [SCAL] (1) u1AvaEqu[1].y = enaEqu.isEnaPreAva[1].u1; ($RES_SIM_674) (152|166) [SCAL] (1) $WC_20 = y1UpHol.not_u and not $PRE.y1UpHol.not_u; ($RES_WC_1528) (153|167) [SCAL] (1) u1AvaEqu[1].y = enaEqu.isReqAltAva[1].u[3]; ($RES_SIM_673) (154|168) [SCAL] (1) $WC_19 = not y1UpHol.not_u and $PRE.y1UpHol.not_u; ($RES_WC_1527) (155|169) [SCAL] (1) staEqu[2].off.outPort[1].available = staEqu[2].offToOn.inPort.available; ($RES_SIM_589) (156|170) [SCAL] (1) u1AvaEqu[1].y = enaEqu.isReqAva[1].u2; ($RES_SIM_672) (157|171) [SCAL] (1) $WC_18 = y1UpHol.not_u and not $PRE.y1UpHol.not_u; ($RES_WC_1526) (158|172) [SCAL] (1) staEqu[2].off.outPort[1].reset = staEqu[2].offToOn.fire; ($RES_SIM_588) (159|173) [SCAL] (1) u1AvaEqu[2].y = enaEqu.isEnaPreAva[2].u1; ($RES_SIM_671) (160|174) [SCAL] (1) $WC_17 = not y1UpHol.not_u and $PRE.y1UpHol.not_u; ($RES_WC_1525) (161|175) [SCAL] (1) staEqu[1].off.outPort[1].available = staEqu[1].offToOn.inPort.available; ($RES_SIM_587) (162|176) [SCAL] (1) u1AvaEqu[2].y = enaEqu.isReqAltAva[2].u[3]; ($RES_SIM_670) (163|177) [SCAL] (1) $WC_16 = not idxSta.tim[$i1].u; ($RES_WC_1524) (164|178) [SCAL] (1) staEqu[1].off.outPort[1].reset = staEqu[1].offToOn.fire; ($RES_SIM_586) (165|179) [SCAL] (1) $WC_15 = not idxSta.tim[$i1].u; ($RES_WC_1523) (166|180) [SCAL] (1) staEqu[3].on.active = staEqu[3].y1_actual; ($RES_SIM_585) (167|181) [SCAL] (1) staEqu[2].on.active = staEqu[2].y1_actual; ($RES_SIM_584) (168|182) [SCAL] (1) idxSta.staToSta[1, 5].fire = idxSta.sta[5].inPort[1].set; ($RES_SIM_939) (169|183) [SCAL] (1) staEqu[1].on.active = staEqu[1].y1_actual; ($RES_SIM_583) (170|184) [SCAL] (1) idxSta.sta[1].outPort[5].available = idxSta.staToSta[1, 5].inPort.available; ($RES_SIM_938) (171|185) [SCAL] (1) staEqu[3].notY1.y = staEqu[3].onToOff.localCondition; ($RES_SIM_582) (172|186) [SCAL] (1) idxSta.sta[1].outPort[5].reset = idxSta.staToSta[1, 5].fire; ($RES_SIM_937) (173|187) [SCAL] (1) idxSta.sta0.outerStatePort.subgraphStatePort.activeSteps + idxSta.sta[1].outerStatePort.subgraphStatePort.activeSteps + idxSta.sta[2].outerStatePort.subgraphStatePort.activeSteps + idxSta.sta[3].outerStatePort.subgraphStatePort.activeSteps + idxSta.sta[4].outerStatePort.subgraphStatePort.activeSteps + idxSta.sta[5].outerStatePort.subgraphStatePort.activeSteps + idxSta.stateGraphRoot.subgraphStatePort.activeSteps = 0.0; ($RES_SIM_498) (174|188) [SCAL] (1) staEqu[2].notY1.y = staEqu[2].onToOff.localCondition; ($RES_SIM_581) (175|189) [SCAL] (1) idxSta.staToSta[2, 1].outPort.occupied = idxSta.sta[1].inPort[2].occupied; ($RES_SIM_936) (176|190) [SCAL] (1) staEqu[1].stateGraphRoot.subgraphStatePort.activeSteps + staEqu[1].off.outerStatePort.subgraphStatePort.activeSteps + staEqu[1].on.outerStatePort.subgraphStatePort.activeSteps = 0.0; ($RES_SIM_497) (177|191) [SCAL] (1) staEqu[1].notY1.y = staEqu[1].onToOff.localCondition; ($RES_SIM_580) (178|192) [SCAL] (1) idxSta.staToSta[2, 1].fire = idxSta.sta[1].inPort[2].set; ($RES_SIM_935) (179|193) [SCAL] (1) staEqu[2].stateGraphRoot.subgraphStatePort.activeSteps + staEqu[2].off.outerStatePort.subgraphStatePort.activeSteps + staEqu[2].on.outerStatePort.subgraphStatePort.activeSteps = 0.0; ($RES_SIM_496) (180|194) [SCAL] (1) idxSta.sta[2].outPort[1].available = idxSta.staToSta[2, 1].inPort.available; ($RES_SIM_934) (181|195) [FOR-] (2) ($RES_SIM_98) (181|195) [----] for $i1 in 2:3 loop (181|195) [----] [SCAL] (1) comSta.allTru.uTemp[$i1] = comSta.onOrOff[$i1].y and comSta.allTru.uTemp[(-1) + $i1]; ($RES_SIM_99) (181|195) [----] end for; (182|197) [SCAL] (1) staEqu[3].stateGraphRoot.subgraphStatePort.activeSteps + staEqu[3].off.outerStatePort.subgraphStatePort.activeSteps + staEqu[3].on.outerStatePort.subgraphStatePort.activeSteps = 0.0; ($RES_SIM_495) (183|198) [SCAL] (1) idxSta.sta[2].outPort[1].reset = idxSta.staToSta[2, 1].fire; ($RES_SIM_933) (184|199) [SCAL] (1) comSta.allTru.y = comSta.allTru.uTemp[3]; ($RES_SIM_97) (185|200) [SCAL] (1) idxSta.sta[3].outPort[6].reset = idxSta.staToSta0[3].fire; ($RES_SIM_849) (186|201) [SCAL] (1) idxSta.staToSta[2, 2].outPort.occupied = idxSta.sta[2].inPort[2].occupied; ($RES_SIM_932) (187|202) [WHEN] (1) ($RES_SIM_493) (187|202) [----] when {$SEV_0, initial()} then (187|202) [----] ratV_flow.tab.nextTimeEventScaled := Modelica.Blocks.Tables.Internal.getNextTimeEvent(ratV_flow.tab.tableID, 0.001 * time) (187|202) [----] end when; (188|203) [SCAL] (1) idxSta.sta[4].outPort[6].reset = idxSta.staToSta0[4].fire; ($RES_SIM_848) (189|204) [SCAL] (1) idxSta.staToSta[2, 2].fire = idxSta.sta[2].inPort[2].set; ($RES_SIM_931) (190|205) [FOR-] (3) ($RES_SIM_95) (190|205) [----] for $i1 in 1:3 loop (190|205) [----] [SCAL] (1) comSta.onOrOff[$i1].y = comSta.enaAndOn[$i1].y or comSta.disAndOff[$i1].y; ($RES_SIM_96) (190|205) [----] end for; (191|208) [WHEN] (1) ($RES_SIM_492) (191|208) [----] when {$SEV_0, initial()} then (191|208) [----] ratV_flow.tab.nextTimeEvent := if ratV_flow.tab.nextTimeEventScaled < 1e60 then 1000.0 * ratV_flow.tab.nextTimeEventScaled else 1e60 (191|208) [----] end when; (192|209) [SCAL] (1) idxSta.sta[5].outPort[6].reset = idxSta.staToSta0[5].fire; ($RES_SIM_847) (193|210) [SCAL] (1) idxSta.sta[2].outPort[2].available = idxSta.staToSta[2, 2].inPort.available; ($RES_SIM_930) (194|211) [SCAL] (1) comSta.y1End = not chaSta.u1StaPro and $PRE.chaSta.u1StaPro; ($RES_SIM_94) (195|212) [FOR-] (3) ($RES_EVT_1478) (195|212) [----] for $i1 in 1:3 loop (195|212) [----] [SCAL] (1) $TEV_5[$i1] = $PRE.staEqu[$i1].on.newActive; ($RES_EVT_1479) (195|212) [----] end for; (196|215) [SCAL] (1) ratV_flow.y[1] = ratV_flow.tab.p_offset[1] + $FUN_1; ($RES_SIM_491) (197|216) [SCAL] (1) idxSta.sta0ToSta[1].outPort.occupied = idxSta.sta[1].inPort[6].occupied; ($RES_SIM_846) (198|217) [WHEN] (1) ($RES_SIM_93) (198|217) [----] when {comSta.chaAndMat.y, comSta.lckChaSta.u} then (198|217) [----] chaSta.u1StaPro := not comSta.chaAndMat.y and comSta.lckChaSta.u (198|217) [----] end when; (199|218) [SCAL] (1) idxSta.sta0ToSta[2].outPort.occupied = idxSta.sta[2].inPort[6].occupied; ($RES_SIM_845) (200|219) [FOR-] (3) ($RES_EVT_1476) (200|219) [----] for $i1 in 1:3 loop (200|219) [----] [SCAL] (1) $TEV_4[$i1] = $PRE.staEqu[$i1].off.newActive; ($RES_EVT_1477) (200|219) [----] end for; (201|222) [SCAL] (1) idxSta.sta0ToSta[3].outPort.occupied = idxSta.sta[3].inPort[6].occupied; ($RES_SIM_844) (202|223) [FOR-] (3) ($RES_SIM_91) (202|223) [----] for $i1 in 1:3 loop (202|223) [----] [SCAL] (1) comSta.cha[$i1].y = comSta.cha[$i1].u <> $PRE.comSta.cha[$i1].u; ($RES_SIM_92) (202|223) [----] end for; (203|226) [SCAL] (1) idxSta.sta0ToSta[4].outPort.occupied = idxSta.sta[4].inPort[6].occupied; ($RES_SIM_843) (204|227) [WHEN] (1) ($RES_SIM_90) (204|227) [----] when {comSta.lckChaSta.u, comSta.preAnyCha.y} then (204|227) [----] comSta.lckAnyCha.y := not comSta.lckChaSta.u and comSta.preAnyCha.y (204|227) [----] end when; (205|228) [FOR-] (3) ($RES_EVT_1474) (205|228) [----] for $i1 in 1:3 loop (205|228) [----] [SCAL] (1) $TEV_3[$i1] = $PRE.enaEqu.y1Pre[$i1].u; ($RES_EVT_1475) (205|228) [----] end for; (206|231) [SCAL] (1) idxSta.intScaRep.y[1] = idxSta.intLesEqu[1].u2; ($RES_SIM_759) (207|232) [SCAL] (1) idxSta.sta0ToSta[5].outPort.occupied = idxSta.sta[5].inPort[6].occupied; ($RES_SIM_842) (208|233) [SCAL] (1) idxSta.intScaRep.y[2] = idxSta.intGreEqu[2].u2; ($RES_SIM_758) (209|234) [SCAL] (1) idxSta.sta0ToSta[1].fire = idxSta.sta[1].inPort[6].set; ($RES_SIM_841) (210|235) [FOR-] (3) ($RES_BND_1158) (210|235) [----] for $i1 in 1:3 loop (210|235) [----] [SCAL] (1) staEqu[$i1].stateGraphRoot.suspend = false; ($RES_BND_1159) (210|235) [----] end for; (211|238) [FOR-] (5) ($RES_EVT_1472) (211|238) [----] for $i1 in 1:5 loop (211|238) [----] [SCAL] (1) $TEV_2[$i1] = $PRE.idxSta.sta[$i1].newActive; ($RES_EVT_1473) (211|238) [----] end for; (212|243) [SCAL] (1) idxSta.intScaRep.y[2] = idxSta.intLesEqu[2].u2; ($RES_SIM_757) (213|244) [SCAL] (1) idxSta.sta0ToSta[2].fire = idxSta.sta[2].inPort[6].set; ($RES_SIM_840) (214|245) [SCAL] (1) $TEV_1 = $PRE.idxSta.sta0.newActive; ($RES_EVT_1471) (215|246) [SCAL] (1) idxSta.intScaRep.y[3] = idxSta.intGreEqu[3].u2; ($RES_SIM_756) (216|247) [SCAL] (1) $TEV_0 = sample(1, chaSta.capReq.movAve.tStart + chaSta.capReq.movAve.delta, 8.777798510069901e304); ($RES_EVT_1470) (217|248) [SCAL] (1) idxSta.intScaRep.y[3] = idxSta.intLesEqu[3].u2; ($RES_SIM_755) (218|249) [SCAL] (1) idxSta.intScaRep.y[4] = idxSta.intGreEqu[4].u2; ($RES_SIM_754) (219|250) [SCAL] (1) idxSta.intScaRep.y[4] = idxSta.intLesEqu[4].u2; ($RES_SIM_753) (220|251) [SCAL] (1) u1AvaEqu[2].y = enaEqu.isReqAva[2].u2; ($RES_SIM_669) (221|252) [SCAL] (1) idxSta.intScaRep.y[5] = idxSta.intGreEqu[5].u2; ($RES_SIM_752) (222|253) [SCAL] (1) u1AvaEqu[3].y = enaEqu.isEnaPreAva[3].u1; ($RES_SIM_668) (223|254) [SCAL] (1) idxSta.intScaRep.y[5] = idxSta.intLesEqu[5].u2; ($RES_SIM_751) (224|255) [SCAL] (1) u1AvaEqu[3].y = enaEqu.isReqAltAva[3].u[3]; ($RES_SIM_667) (225|256) [SCAL] (1) idxSta.idxStaAll[1].y = idxSta.intGreEqu[1].u1; ($RES_SIM_750) (226|257) [SCAL] (1) u1AvaEqu[3].y = enaEqu.isReqAva[3].u2; ($RES_SIM_666) (227|258) [SCAL] (1) $WC_11 = not chaSta.faiSaf.timPriSet.u; ($RES_WC_1519) (228|259) [SCAL] (1) $WC_10 = not chaSta.faiSaf.timPriSet.u; ($RES_WC_1518) (229|260) [SCAL] (1) $WC_9 = not chaSta.u1StaPro and $PRE.chaSta.u1StaPro; ($RES_WC_1517) (230|261) [SCAL] (1) staEqu[3].on.outPort[1].available = staEqu[3].onToOff.inPort.available; ($RES_SIM_579) (231|262) [SCAL] (1) $WC_8 = chaSta.u1StaPro and not $PRE.chaSta.u1StaPro; ($RES_WC_1516) (232|263) [SCAL] (1) staEqu[3].on.outPort[1].reset = staEqu[3].onToOff.fire; ($RES_SIM_578) (233|264) [SCAL] (1) $WC_7 = not chaSta.u1StaPro and $PRE.chaSta.u1StaPro; ($RES_WC_1515) (234|265) [SCAL] (1) staEqu[2].on.outPort[1].available = staEqu[2].onToOff.inPort.available; ($RES_SIM_577) (235|266) [SCAL] (1) $WC_6 = chaSta.u1StaPro and not $PRE.chaSta.u1StaPro; ($RES_WC_1514) (236|267) [SCAL] (1) staEqu[2].on.outPort[1].reset = staEqu[2].onToOff.fire; ($RES_SIM_576) (237|268) [SCAL] (1) $WC_5 = not chaSta.u1StaPro and $PRE.chaSta.u1StaPro; ($RES_WC_1513) (238|269) [SCAL] (1) staEqu[1].on.outPort[1].available = staEqu[1].onToOff.inPort.available; ($RES_SIM_575) (239|270) [SCAL] (1) $WC_4 = chaSta.u1StaPro and not $PRE.chaSta.u1StaPro; ($RES_WC_1512) (240|271) [SCAL] (1) staEqu[1].on.outPort[1].reset = staEqu[1].onToOff.fire; ($RES_SIM_574) (241|272) [SCAL] (1) idxSta.sta[2].outPort[2].reset = idxSta.staToSta[2, 2].fire; ($RES_SIM_929) (242|273) [SCAL] (1) $WC_3 = not chaSta.timDow.u; ($RES_WC_1511) (243|274) [SCAL] (1) staEqu[3].offToOn.outPort.occupied = staEqu[3].on.inPort[1].occupied; ($RES_SIM_573) (244|275) [SCAL] (1) idxSta.staToSta[2, 3].outPort.occupied = idxSta.sta[3].inPort[2].occupied; ($RES_SIM_928) (245|276) [SCAL] (1) $WC_2 = not chaSta.timDow.u; ($RES_WC_1510) (246|277) [FOR-] (15) ($RES_SIM_489) (246|277) [----] for {$i1 in 1:3, $i2 in 1:5} loop (246|277) [----] [SCAL] (1) chaSta.traMatStaEqu[$i1, $i2].y = ({{1.0, 0.0, 1.0, 0.0, 1.0}, {0.0, 0.5, 0.5, 1.0, 1.0}, {0.0, 0.5, 0.5, 1.0, 1.0}})[$i1, $i2]; ($RES_SIM_490) (246|277) [----] end for; (247|292) [SCAL] (1) staEqu[3].offToOn.fire = staEqu[3].on.inPort[1].set; ($RES_SIM_572) (248|293) [SCAL] (1) idxSta.staToSta[2, 3].fire = idxSta.sta[3].inPort[2].set; ($RES_SIM_927) (249|294) [SCAL] (1) staEqu[2].offToOn.outPort.occupied = staEqu[2].on.inPort[1].occupied; ($RES_SIM_571) (250|295) [SCAL] (1) idxSta.sta[2].outPort[3].available = idxSta.staToSta[2, 3].inPort.available; ($RES_SIM_926) (251|296) [SCAL] (1) staEqu[2].offToOn.fire = staEqu[2].on.inPort[1].set; ($RES_SIM_570) (252|297) [SCAL] (1) idxSta.sta[2].outPort[3].reset = idxSta.staToSta[2, 3].fire; ($RES_SIM_925) (253|298) [SCAL] (1) comSta.anyCha.uTemp[1] = comSta.cha[1].y; ($RES_SIM_89) (254|299) [FOR-] (3) ($RES_SIM_486) (254|299) [----] for $i1 in 1:3 loop (254|299) [----] [SCAL] (1) chaSta.capEquSta[$i1].y = chaSta.reqEquSta[$i1].y * chaSta.capEquSta[$i1].u2; ($RES_SIM_487) (254|299) [----] end for; (255|302) [SCAL] (1) idxSta.staToSta[2, 4].outPort.occupied = idxSta.sta[4].inPort[2].occupied; ($RES_SIM_924) (256|303) [SCAL] (1) idxSta.staToSta[2, 4].fire = idxSta.sta[4].inPort[2].set; ($RES_SIM_923) (257|304) [FOR-] (2) ($RES_SIM_87) (257|304) [----] for $i1 in 2:3 loop (257|304) [----] [SCAL] (1) comSta.anyCha.uTemp[$i1] = comSta.cha[$i1].y or comSta.anyCha.uTemp[(-1) + $i1]; ($RES_SIM_88) (257|304) [----] end for; (258|306) [FOR-] (3) ($RES_SIM_484) (258|306) [----] for $i1 in 1:3 loop (258|306) [----] [SCAL] (1) chaSta.capEquPar[$i1].y = ({1e5, 4.5e5, 4.5e5})[$i1]; ($RES_SIM_485) (258|306) [----] end for; (259|309) [SCAL] (1) idxSta.sta0ToSta[3].fire = idxSta.sta[3].inPort[6].set; ($RES_SIM_839) (260|310) [SCAL] (1) idxSta.sta[2].outPort[4].available = idxSta.staToSta[2, 4].inPort.available; ($RES_SIM_922) (261|311) [SCAL] (1) comSta.anyCha.y = comSta.anyCha.uTemp[3]; ($RES_SIM_86) (262|312) [SCAL] (1) chaSta.capSta.y = chaSta.capSta.k * chaSta.capEquSta.y; ($RES_SIM_483) (263|313) [SCAL] (1) idxSta.sta0ToSta[4].fire = idxSta.sta[4].inPort[6].set; ($RES_SIM_838) (264|314) [SCAL] (1) idxSta.sta[2].outPort[4].reset = idxSta.staToSta[2, 4].fire; ($RES_SIM_921) (265|315) [SCAL] (1) comSta.chaAndMat.y = comSta.lckAnyCha.y and comSta.allTru.y; ($RES_SIM_85) (266|316) [SCAL] (1) chaSta.gre.greHys.y = $SEV_1; ($RES_SIM_482) (267|317) [SCAL] (1) idxSta.sta0ToSta[5].fire = idxSta.sta[5].inPort[6].set; ($RES_SIM_837) (268|318) [SCAL] (1) idxSta.staToSta[2, 5].outPort.occupied = idxSta.sta[5].inPort[2].occupied; ($RES_SIM_920) (269|319) [SCAL] (1) comSta.preAnyCha.y = $TEV_6; ($RES_SIM_84) (270|320) [FOR-] (5) ($RES_SIM_398) (270|320) [----] for $i1 in 1:5 loop (270|320) [----] [SCAL] (1) idxSta.sta[$i1].active = $TEV_2[$i1]; ($RES_SIM_399) (270|320) [----] end for; (271|325) [WHEN] (1) ($RES_SIM_481) (271|325) [----] when {chaSta.timUp.u, chaSta.timUp.reset} then (271|325) [----] chaSta.timUp.entryTime := time (271|325) [----] elsewhen $SEV_2 then (271|325) [----] chaSta.timUp.entryTime := $PRE.chaSta.timUp.entryTime (271|325) [----] elsewhen $WC_0 then (271|325) [----] chaSta.timUp.entryTime := $PRE.chaSta.timUp.entryTime (271|325) [----] end when; (272|326) [SCAL] (1) comSta.lckChaSta.u = comSta.chaSta.u <> $PRE.comSta.chaSta.u; ($RES_SIM_83) (273|327) [WHEN] (1) ($RES_SIM_480) (273|327) [----] when {chaSta.timUp.u, chaSta.timUp.reset} then (273|327) [----] chaSta.timUp.passed := false (273|327) [----] elsewhen $SEV_2 then (273|327) [----] chaSta.timUp.passed := true (273|327) [----] elsewhen $WC_1 then (273|327) [----] chaSta.timUp.passed := false (273|327) [----] end when; (274|328) [SCAL] (1) comSta.chaSta.up = comSta.chaSta.u > $PRE.comSta.chaSta.u; ($RES_SIM_82) (275|329) [FOR-] (5) ($RES_SIM_396) (275|329) [----] for $i1 in 1:5 loop (275|329) [----] [SCAL] (1) idxSta.sta[$i1].newActive = if idxSta.sta[$i1].outerStatePort.subgraphStatePort.resume then idxSta.sta[$i1].oldActive else ($FUN_4[$i1] or idxSta.sta[$i1].active and not $FUN_5[$i1]) and not idxSta.sta[$i1].outerStatePort.subgraphStatePort.suspend; ($RES_SIM_397) (275|329) [----] end for; (276|334) [SCAL] (1) comSta.chaSta.down = comSta.chaSta.u < $PRE.comSta.chaSta.u; ($RES_SIM_81) (277|335) [ALGO] (3) ($RES_SIM_80) (277|335) [----] for $i2 in 1:3 loop (277|335) [----] assert(chaSta.intScaRep.y[$i2] > 0 and chaSta.intScaRep.y[$i2] <= 5, \"In StageChangeCommand.chaSta.reqEquSta: The extract index is out of the range.\", AssertionLevel.warning); (277|335) [----] chaSta.reqEquSta[$i2].y := chaSta.reqEquSta[$i2].u[min(5, max(1, chaSta.intScaRep.y[$i2]))]; (277|335) [----] end for; (278|338) [FOR-] (5) ($RES_SIM_394) (278|338) [----] for $i1 in 1:5 loop (278|338) [----] [WHEN] (1) ($RES_SIM_395) (278|338) [----] [----] when idxSta.sta[$i1].outerStatePort.subgraphStatePort.suspend then (278|338) [----] [----] idxSta.sta[$i1].oldActive := idxSta.sta[$i1].active (278|338) [----] [----] end when; (278|338) [----] end for; (279|343) [SCAL] (1) idxSta.idxStaAll[1].y = idxSta.intLesEqu[1].u1; ($RES_SIM_749) (280|344) [SCAL] (1) idxSta.idxStaAll[2].y = idxSta.intGreEqu[2].u1; ($RES_SIM_748) (281|345) [SCAL] (1) u1Lea.k = idxSta.dowAndEna.u[1]; ($RES_SIM_831) (282|346) [FOR-] (30) ($RES_SIM_392) (282|346) [----] for {$i1 in 1:5, $i2 in 1:6} loop (282|346) [----] [SCAL] (1) idxSta.sta[$i1].inPort[$i2].occupied = if $i2 == 1 then idxSta.sta[$i1].active else idxSta.sta[$i1].inPort[$i2 - 1].occupied or idxSta.sta[$i1].inPort[$i2 - 1].set; ($RES_SIM_393) (282|346) [----] end for; (283|376) [SCAL] (1) idxSta.idxStaAll[2].y = idxSta.intLesEqu[2].u1; ($RES_SIM_747) (284|377) [SCAL] (1) u1Lea.k = idxSta.upAndEna.u[1]; ($RES_SIM_830) (285|378) [SCAL] (1) idxSta.idxStaAll[3].y = idxSta.intGreEqu[3].u1; ($RES_SIM_746) (286|379) [FOR-] (30) ($RES_SIM_390) (286|379) [----] for {$i1 in 1:5, $i2 in 1:6} loop (286|379) [----] [SCAL] (1) idxSta.sta[$i1].outPort[$i2].available = if $i2 == 1 then idxSta.sta[$i1].active else idxSta.sta[$i1].outPort[$i2 - 1].available and not idxSta.sta[$i1].outPort[$i2 - 1].reset; ($RES_SIM_391) (286|379) [----] end for; (287|409) [SCAL] (1) idxSta.idxStaAll[3].y = idxSta.intLesEqu[3].u1; ($RES_SIM_745) (288|410) [SCAL] (1) idxSta.idxStaAll[4].y = idxSta.intGreEqu[4].u1; ($RES_SIM_744) (289|411) [SCAL] (1) idxSta.idxStaAll[4].y = idxSta.intLesEqu[4].u1; ($RES_SIM_743) (290|412) [SCAL] (1) enaEqu.y1[1] = enaEqu.y1Pre[1].u; ($RES_SIM_659) (291|413) [SCAL] (1) idxSta.idxStaAll[5].y = idxSta.intGreEqu[5].u1; ($RES_SIM_742) (292|414) [SCAL] (1) enaEqu.y1[1] = enaEqu.logSwi[1].y; ($RES_SIM_658) (293|415) [SCAL] (1) idxSta.idxStaAll[5].y = idxSta.intLesEqu[5].u1; ($RES_SIM_741) (294|416) [SCAL] (1) enaEqu.y1[2] = enaEqu.y1Pre[2].u; ($RES_SIM_657) (295|417) [SCAL] (1) enaEqu.y1[2] = enaEqu.logSwi[2].y; ($RES_SIM_656) (296|418) [SCAL] (1) enaEqu.y1[3] = enaEqu.y1Pre[3].u; ($RES_SIM_655) (297|419) [SCAL] (1) $WC_1 = not chaSta.timUp.u; ($RES_WC_1509) (298|420) [SCAL] (1) enaEqu.y1[3] = enaEqu.logSwi[3].y; ($RES_SIM_654) (299|421) [SCAL] (1) $WC_0 = not chaSta.timUp.u; ($RES_WC_1508) (300|422) [SCAL] (1) enaEqu.y1Pre[1].y = enaEqu.isEnaPreAva[1].u2; ($RES_SIM_653) (301|423) [SCAL] (1) staEqu[1].offToOn.outPort.occupied = staEqu[1].on.inPort[1].occupied; ($RES_SIM_569) (302|424) [SCAL] (1) enaEqu.y1Pre[1].y = enaEqu.logSwi[1].u3; ($RES_SIM_652) (303|425) [SCAL] (1) staEqu[1].offToOn.fire = staEqu[1].on.inPort[1].set; ($RES_SIM_568) (304|426) [SCAL] (1) enaEqu.y1Pre[2].y = enaEqu.isEnaPreAva[2].u2; ($RES_SIM_651) (305|427) [SCAL] (1) staEqu[3].onToOff.outPort.occupied = staEqu[3].off.inPort[1].occupied; ($RES_SIM_567) (306|428) [SCAL] (1) enaEqu.y1Pre[2].y = enaEqu.logSwi[2].u3; ($RES_SIM_650) (307|429) [SCAL] (1) staEqu[3].onToOff.fire = staEqu[3].off.inPort[1].set; ($RES_SIM_566) (308|430) [SCAL] (1) staEqu[2].onToOff.outPort.occupied = staEqu[2].off.inPort[1].occupied; ($RES_SIM_565) (309|431) [SCAL] (1) staEqu[2].onToOff.fire = staEqu[2].off.inPort[1].set; ($RES_SIM_564) (310|432) [SCAL] (1) idxSta.staToSta[2, 5].fire = idxSta.sta[5].inPort[2].set; ($RES_SIM_919) (311|433) [SCAL] (1) staEqu[1].onToOff.outPort.occupied = staEqu[1].off.inPort[1].occupied; ($RES_SIM_563) (312|434) [SCAL] (1) idxSta.sta[2].outPort[5].available = idxSta.staToSta[2, 5].inPort.available; ($RES_SIM_918) (313|435) [SCAL] (1) chaSta.timUp.y = if chaSta.timUp.u then time - chaSta.timUp.entryTime else 0.0; ($RES_SIM_479) (314|436) [SCAL] (1) staEqu[1].onToOff.fire = staEqu[1].off.inPort[1].set; ($RES_SIM_562) (315|437) [SCAL] (1) idxSta.sta[2].outPort[5].reset = idxSta.staToSta[2, 5].fire; ($RES_SIM_917) (316|438) [SCAL] (1) chaSta.les.lesHys.y = $SEV_3; ($RES_SIM_478) (317|439) [SCAL] (1) staEqu[1].y1_actual = comSta.enaAndOn[1].u2; ($RES_SIM_561) (318|440) [SCAL] (1) idxSta.staToSta[3, 1].outPort.occupied = idxSta.sta[1].inPort[3].occupied; ($RES_SIM_916) (319|441) [WHEN] (1) ($RES_SIM_477) (319|441) [----] when {chaSta.timDow.u, chaSta.timUp.reset} then (319|441) [----] chaSta.timDow.entryTime := time (319|441) [----] elsewhen $SEV_4 then (319|441) [----] chaSta.timDow.entryTime := $PRE.chaSta.timDow.entryTime (319|441) [----] elsewhen $WC_2 then (319|441) [----] chaSta.timDow.entryTime := $PRE.chaSta.timDow.entryTime (319|441) [----] end when; (320|442) [SCAL] (1) staEqu[1].y1_actual = comSta.disAndOff[1].u2; ($RES_SIM_560) (321|443) [SCAL] (1) idxSta.staToSta[3, 1].fire = idxSta.sta[1].inPort[3].set; ($RES_SIM_915) (322|444) [ALGO] (3) ($RES_SIM_79) (322|444) [----] for $i9 in 1:3 loop (322|444) [----] assert(chaSta.intScaRep2.y[$i9] > 0 and chaSta.intScaRep2.y[$i9] <= 5, \"In StageChangeCommand.chaSta.reqEquStaLow: The extract index is out of the range.\", AssertionLevel.warning); (322|444) [----] chaSta.reqEquStaLow[$i9].y := chaSta.reqEquStaLow[$i9].u[min(5, max(1, chaSta.intScaRep2.y[$i9]))]; (322|444) [----] end for; (323|447) [WHEN] (1) ($RES_SIM_476) (323|447) [----] when {chaSta.timDow.u, chaSta.timUp.reset} then (323|447) [----] chaSta.timDow.passed := false (323|447) [----] elsewhen $SEV_4 then (323|447) [----] chaSta.timDow.passed := true (323|447) [----] elsewhen $WC_3 then (323|447) [----] chaSta.timDow.passed := false (323|447) [----] end when; (324|448) [SCAL] (1) idxSta.sta[3].outPort[1].available = idxSta.staToSta[3, 1].inPort.available; ($RES_SIM_914) (325|449) [ALGO] (7) ($RES_SIM_78) (325|449) [----] idxSta.truIdxNex.iTru := 0; (325|449) [----] idxSta.truIdxNex.iIdx := 1; (325|449) [----] idxSta.truIdxNex.y1 := fill(false, 5); (325|449) [----] while idxSta.truIdxNex.iTru < idxSta.truIdxNex.u and idxSta.truIdxNex.iIdx <= 1 then (325|449) [----] if idxSta.truIdxNex.uIdx[idxSta.truIdxNex.iIdx] >= 1 and idxSta.truIdxNex.uIdx[idxSta.truIdxNex.iIdx] <= 5 then (325|449) [----] idxSta.truIdxNex.y1[idxSta.truIdxNex.uIdx[idxSta.truIdxNex.iIdx]] := true; (325|449) [----] idxSta.truIdxNex.iTru := 1 + idxSta.truIdxNex.iTru; (325|449) [----] end if; (325|449) [----] idxSta.truIdxNex.iIdx := 1 + idxSta.truIdxNex.iIdx; (325|449) [----] end while; (326|456) [SCAL] (1) chaSta.timDow.y = if chaSta.timDow.u then time - chaSta.timDow.entryTime else 0.0; ($RES_SIM_475) (327|457) [SCAL] (1) idxSta.sta[3].outPort[1].reset = idxSta.staToSta[3, 1].fire; ($RES_SIM_913) (328|458) [ALGO] (7) ($RES_SIM_77) (328|458) [----] idxSta.truNexHigAva.iTru := 0; (328|458) [----] idxSta.truNexHigAva.iIdx := 1; (328|458) [----] idxSta.truNexHigAva.y1 := fill(false, 5); (328|458) [----] while idxSta.truNexHigAva.iTru < idxSta.truNexHigAva.u and idxSta.truNexHigAva.iIdx <= 1 then (328|458) [----] if idxSta.truNexHigAva.uIdx[idxSta.truNexHigAva.iIdx] >= 1 and idxSta.truNexHigAva.uIdx[idxSta.truNexHigAva.iIdx] <= 5 then (328|458) [----] idxSta.truNexHigAva.y1[idxSta.truNexHigAva.uIdx[idxSta.truNexHigAva.iIdx]] := true; (328|458) [----] idxSta.truNexHigAva.iTru := 1 + idxSta.truNexHigAva.iTru; (328|458) [----] end if; (328|458) [----] idxSta.truNexHigAva.iIdx := 1 + idxSta.truNexHigAva.iIdx; (328|458) [----] end while; (329|465) [WHEN] (1) ($RES_SIM_474) (329|465) [----] when chaSta.u1StaPro then (329|465) [----] chaSta.hol.triSam.y := chaSta.hol.u (329|465) [----] end when; (330|466) [SCAL] (1) idxSta.staToSta[3, 2].outPort.occupied = idxSta.sta[2].inPort[3].occupied; ($RES_SIM_912) (331|467) [ALGO] (3) ($RES_SIM_76) (331|467) [----] for $i108 in 1:3 loop (331|467) [----] assert(enaEqu.intScaRep.y[$i108] > 0 and enaEqu.intScaRep.y[$i108] <= 5, \"In StageChangeCommand.enaEqu.reqEquSta: The extract index is out of the range.\", AssertionLevel.warning); (331|467) [----] enaEqu.reqEquSta[$i108].y := enaEqu.traMatStaEqu[$i108, min(5, max(1, enaEqu.intScaRep.y[$i108]))].y; (331|467) [----] end for; (332|470) [SCAL] (1) chaSta.gre.u1 = smooth(0, if not chaSta.hol.truHol.not_y then chaSta.hol.triSam.y else chaSta.hol.u); ($RES_SIM_473) (333|471) [SCAL] (1) idxSta.staToSta[3, 2].fire = idxSta.sta[2].inPort[3].set; ($RES_SIM_911) (334|472) [ALGO] (5) ($RES_SIM_75) (334|472) [----] enaEqu.truArrCon.iTru := 0; (334|472) [----] enaEqu.truArrCon.iIdx := 1; (334|472) [----] enaEqu.truArrCon.y1 := fill(false, 3); (334|472) [----] while enaEqu.truArrCon.iTru < enaEqu.truArrCon.u and enaEqu.truArrCon.iIdx <= 2 then (334|472) [----] if idxEquLeaLag[enaEqu.truArrCon.iIdx].y >= 1 and idxEquLeaLag[enaEqu.truArrCon.iIdx].y <= 3 then (334|472) [----] enaEqu.truArrCon.y1[idxEquLeaLag[enaEqu.truArrCon.iIdx].y] := true; (334|472) [----] enaEqu.truArrCon.iTru := 1 + enaEqu.truArrCon.iTru; (334|472) [----] end if; (334|472) [----] enaEqu.truArrCon.iIdx := 1 + enaEqu.truArrCon.iIdx; (334|472) [----] end while; (335|477) [SCAL] (1) idxSta.sta[5].inPort[6].set = false; ($RES_SIM_389) (336|478) [WHEN] (1) ($RES_SIM_472) (336|478) [----] when initial() then (336|478) [----] chaSta.hol.truHol.y := chaSta.u1StaPro (336|478) [----] elsewhen {$WC_4, $WC_5, $SEV_5} then (336|478) [----] chaSta.hol.truHol.y := if time >= $PRE.chaSta.hol.truHol.entryTimeFalse and time >= (900.0 + $PRE.chaSta.hol.truHol.entryTimeTrue) then chaSta.u1StaPro else $PRE.chaSta.hol.truHol.y (336|478) [----] end when; (337|479) [SCAL] (1) idxSta.sta[1].active = idxSta.tim[1].u; ($RES_SIM_827) (338|480) [SCAL] (1) idxSta.sta[3].outPort[2].available = idxSta.staToSta[3, 2].inPort.available; ($RES_SIM_910) (339|481) [SCAL] (1) idxSta.sta[4].inPort[6].set = false; ($RES_SIM_388) (340|482) [WHEN] (1) ($RES_SIM_471) (340|482) [----] when initial() then (340|482) [----] chaSta.hol.truHol.entryTimeTrue := if chaSta.hol.truHol.y then time else $PRE.chaSta.hol.truHol.entryTimeTrue (340|482) [----] elsewhen {$WC_6, $WC_7, $SEV_5} then (340|482) [----] chaSta.hol.truHol.entryTimeTrue := if chaSta.hol.truHol.y and not $PRE.chaSta.hol.truHol.y then time else $PRE.chaSta.hol.truHol.entryTimeTrue (340|482) [----] end when; (341|483) [SCAL] (1) idxSta.sta[1].active = idxSta.idxFirAct.u1[1]; ($RES_SIM_826) (342|484) [SCAL] (1) idxSta.sta[3].inPort[6].set = false; ($RES_SIM_387) (343|485) [WHEN] (1) ($RES_SIM_470) (343|485) [----] when initial() then (343|485) [----] chaSta.hol.truHol.entryTimeFalse := if not chaSta.hol.truHol.y then time else $PRE.chaSta.hol.truHol.entryTimeFalse (343|485) [----] elsewhen {$WC_8, $WC_9, $SEV_5} then (343|485) [----] chaSta.hol.truHol.entryTimeFalse := if chaSta.hol.truHol.not_y and not $PRE.chaSta.hol.truHol.not_y then time else $PRE.chaSta.hol.truHol.entryTimeFalse (343|485) [----] end when; (344|486) [SCAL] (1) idxSta.sta[2].active = idxSta.tim[2].u; ($RES_SIM_825) (345|487) [SCAL] (1) idxSta.sta[2].inPort[6].set = false; ($RES_SIM_386) (346|488) [SCAL] (1) idxSta.sta[2].active = idxSta.idxFirAct.u1[2]; ($RES_SIM_824) (347|489) [SCAL] (1) idxSta.sta[1].inPort[6].set = false; ($RES_SIM_385) (348|490) [SCAL] (1) idxSta.sta[3].active = idxSta.tim[3].u; ($RES_SIM_823) (349|491) [SCAL] (1) idxSta.sta[5].outPort[6].reset = false; ($RES_SIM_384) (350|492) [SCAL] (1) idxSta.sta[3].active = idxSta.idxFirAct.u1[3]; ($RES_SIM_822) (351|493) [SCAL] (1) idxSta.sta[4].outPort[6].reset = false; ($RES_SIM_383) (352|494) [SCAL] (1) idxSta.sta[4].active = idxSta.tim[4].u; ($RES_SIM_821) (353|495) [SCAL] (1) idxSta.sta[3].outPort[6].reset = false; ($RES_SIM_382) (354|496) [SCAL] (1) idxSta.sta[4].active = idxSta.idxFirAct.u1[4]; ($RES_SIM_820) (355|497) [SCAL] (1) idxSta.sta[2].outPort[6].reset = false; ($RES_SIM_381) (356|498) [SCAL] (1) idxSta.sta[1].outPort[6].reset = false; ($RES_SIM_380) (357|499) [FOR-] (5) ($RES_SIM_296) (357|499) [----] for $i1 in 1:5 loop (357|499) [----] [SCAL] (1) idxSta.una[$i1].y = not idxSta.una[$i1].u; ($RES_SIM_297) (357|499) [----] end for; (358|504) [SCAL] (1) idxSta.andAva1[1].y = idxSta.idxNexHigAva.u1[1]; ($RES_SIM_734) (359|505) [SCAL] (1) idxSta.andAva1[2].y = idxSta.idxNexHigAva.u1[2]; ($RES_SIM_733) (360|506) [FOR-] (5) ($RES_SIM_294) (360|506) [----] for $i1 in 1:5 loop (360|506) [----] [SCAL] (1) idxSta.staToSta0[$i1].localCondition = idxSta.rep2.y[$i1] and idxSta.runAndEna[$i1].u2; ($RES_SIM_295) (360|506) [----] end for; (361|511) [SCAL] (1) enaEqu.y1Pre[3].y = enaEqu.isEnaPreAva[3].u2; ($RES_SIM_649) (362|512) [SCAL] (1) idxSta.andAva1[3].y = idxSta.idxNexHigAva.u1[3]; ($RES_SIM_732) (363|513) [SCAL] (1) enaEqu.y1Pre[3].y = enaEqu.logSwi[3].u3; ($RES_SIM_648) (364|514) [SCAL] (1) idxSta.andAva1[4].y = idxSta.idxNexHigAva.u1[4]; ($RES_SIM_731) (365|515) [SCAL] (1) idxSta.upOrActUna.u2 = idxSta.una[min(5, max(1, idxSta.maxInt.y))].y; ($RES_SIM_292) (366|516) [SCAL] (1) idxSta.andAva1[5].y = idxSta.idxNexHigAva.u1[5]; ($RES_SIM_730) (367|517) [SCAL] (1) idxSta.maxInt.y = max(1, chaSta.uSta); ($RES_SIM_291) (368|518) [SCAL] (1) staEqu[2].y1_actual = comSta.enaAndOn[2].u2; ($RES_SIM_559) (369|519) [SCAL] (1) staEqu[2].y1_actual = comSta.disAndOff[2].u2; ($RES_SIM_558) (370|520) [SCAL] (1) staEqu[3].y1_actual = comSta.enaAndOn[3].u2; ($RES_SIM_557) (371|521) [SCAL] (1) staEqu[3].y1_actual = comSta.disAndOff[3].u2; ($RES_SIM_556) (372|522) [SCAL] (1) idxSta.sta[3].outPort[2].reset = idxSta.staToSta[3, 2].fire; ($RES_SIM_909) (373|523) [SCAL] (1) idxSta.staToSta[3, 3].outPort.occupied = idxSta.sta[3].inPort[3].occupied; ($RES_SIM_908) (374|524) [SCAL] (1) chaSta.intScaRep.u = max(chaSta.uSta, 1); ($RES_SIM_469) (375|525) [SCAL] (1) idxSta.staToSta[3, 3].fire = idxSta.sta[3].inPort[3].set; ($RES_SIM_907) (376|526) [SCAL] (1) comSta.u1[1] = comSta.disAndOff[1].u1; ($RES_SIM_551) (377|527) [SCAL] (1) idxSta.sta[3].outPort[3].available = idxSta.staToSta[3, 3].inPort.available; ($RES_SIM_906) (378|528) [SCAL] (1) comSta.u1[1] = comSta.enaAndOn[1].u1; ($RES_SIM_550) (379|529) [SCAL] (1) idxSta.sta[3].outPort[3].reset = idxSta.staToSta[3, 3].fire; ($RES_SIM_905) (380|530) [FOR-] (5) ($RES_SIM_466) (380|530) [----] for $i1 in 1:5 loop (380|530) [----] [SCAL] (1) chaSta.idxSta[$i1].y = ({1, 2, 3, 4, 5})[$i1]; ($RES_SIM_467) (380|530) [----] end for; (381|535) [SCAL] (1) idxSta.staToSta[3, 4].outPort.occupied = idxSta.sta[4].inPort[3].occupied; ($RES_SIM_904) (382|536) [SCAL] (1) idxSta.staToSta[3, 4].fire = idxSta.sta[4].inPort[3].set; ($RES_SIM_903) (383|537) [FOR-] (5) ($RES_SIM_464) (383|537) [----] for $i1 in 1:5 loop (383|537) [----] [SCAL] (1) chaSta.idxStaLesAct[$i1].y = chaSta.idxSta[$i1].y < chaSta.intScaRep1.y[$i1]; ($RES_SIM_465) (383|537) [----] end for; (384|542) [SCAL] (1) idxSta.sta[5].active = idxSta.tim[5].u; ($RES_SIM_819) (385|543) [SCAL] (1) idxSta.sta[3].outPort[4].available = idxSta.staToSta[3, 4].inPort.available; ($RES_SIM_902) (386|544) [SCAL] (1) idxSta.sta[5].active = idxSta.idxFirAct.u1[5]; ($RES_SIM_818) (387|545) [SCAL] (1) idxSta.sta[3].outPort[4].reset = idxSta.staToSta[3, 4].fire; ($RES_SIM_901) (388|546) [FOR-] (5) ($RES_SIM_462) (388|546) [----] for $i1 in 1:5 loop (388|546) [----] [SCAL] (1) chaSta.idxStaLesActAva[$i1].y = chaSta.idxStaLesAct[$i1].y and chaSta.u1AvaSta[$i1]; ($RES_SIM_463) (388|546) [----] end for; (389|551) [SCAL] (1) idxSta.staToSta[3, 5].outPort.occupied = idxSta.sta[5].inPort[3].occupied; ($RES_SIM_900) (390|552) [SCAL] (1) idxSta.lowAva.u1 = idxSta.truNexHigAva.uIdx[1]; ($RES_SIM_814) (391|553) [FOR-] (5) ($RES_SIM_288) (391|553) [----] for $i1 in 1:5 loop (391|553) [----] [SCAL] (1) idxSta.idxFirAva.booToInt[$i1].y = if idxSta.idxFirAva.u1[$i1] then ({1, 2, 3, 4, 5})[$i1] else 6; ($RES_SIM_289) (391|553) [----] end for; (392|558) [SCAL] (1) idxSta.idxFirAva.intSwi.u3 = min(idxSta.idxFirAva.booToInt.y); ($RES_SIM_287) (393|559) [SCAL] (1) idxSta.idxFirAva.intEqu.y = idxSta.idxFirAva.intSwi.u3 == idxSta.idxFirAva.conInt.k; ($RES_SIM_286) (394|560) [SCAL] (1) idxSta.lowAva.u1 = if idxSta.idxFirAva.intEqu.y then idxSta.idxFirAva.zer.k else idxSta.idxFirAva.intSwi.u3; ($RES_SIM_285) (395|561) [SCAL] (1) idxSta.idxNex.y = idxSta.truIdxNex.uIdx[1]; ($RES_SIM_720) (396|562) [SCAL] (1) enaEqu.cha.y = enaEqu.cha.u <> $PRE.enaEqu.cha.u; ($RES_SIM_199) (397|563) [FOR-] (5) ($RES_SIM_281) (397|563) [----] for $i1 in 1:5 loop (397|563) [----] [SCAL] (1) idxSta.idxLasAva.booToInt[$i1].y = if idxSta.idxLasAva.u1[$i1] then ({1, 2, 3, 4, 5})[$i1] else 0; ($RES_SIM_282) (397|563) [----] end for; (398|568) [SCAL] (1) enaEqu.cha.up = enaEqu.cha.u > $PRE.enaEqu.cha.u; ($RES_SIM_198) (399|569) [SCAL] (1) idxSta.higAva.u1 = max(idxSta.idxLasAva.booToInt.y); ($RES_SIM_280) (400|570) [SCAL] (1) enaEqu.cha.down = enaEqu.cha.u < $PRE.enaEqu.cha.u; ($RES_SIM_197) (401|571) [FOR-] (3) ($RES_SIM_195) (401|571) [----] for $i1 in 1:3 loop (401|571) [----] [SCAL] (1) enaEqu.y1Pre[$i1].y = $TEV_3[$i1]; ($RES_SIM_196) (401|571) [----] end for; (402|574) [SCAL] (1) comSta.u1[1] = comSta.cha[1].u; ($RES_SIM_549) (403|575) [SCAL] (1) comSta.u1[2] = comSta.disAndOff[2].u1; ($RES_SIM_548) (404|576) [FOR-] (3) ($RES_SIM_193) (404|576) [----] for $i1 in 1:3 loop (404|576) [----] [SCAL] (1) enaEqu.logSwi[$i1].y = if enaEqu.booScaRep.y[$i1] then enaEqu.ena[$i1].y else enaEqu.logSwi[$i1].u3; ($RES_SIM_194) (404|576) [----] end for; (405|579) [SCAL] (1) comSta.u1[2] = comSta.enaAndOn[2].u1; ($RES_SIM_547) (406|580) [SCAL] (1) comSta.u1[2] = comSta.cha[2].u; ($RES_SIM_546) (407|581) [SCAL] (1) comSta.u1[3] = comSta.disAndOff[3].u1; ($RES_SIM_545) (408|582) [FOR-] (3) ($RES_SIM_190) (408|582) [----] for $i1 in 1:3 loop (408|582) [----] [SCAL] (1) enaEqu.nReq.booToInt[$i1].y = if enaEqu.nReq.u1[$i1] then 1 else 0; ($RES_SIM_191) (408|582) [----] end for; (409|585) [SCAL] (1) comSta.u1[3] = comSta.enaAndOn[3].u1; ($RES_SIM_544) (410|586) [SCAL] (1) comSta.u1[3] = comSta.cha[3].u; ($RES_SIM_543) (411|587) [FOR-] (5) ($RES_SIM_459) (411|587) [----] for $i1 in 1:5 loop (411|587) [----] [SCAL] (1) chaSta.idxLasTru.booToInt[$i1].y = if chaSta.idxStaLesActAva[$i1].y then ({1, 2, 3, 4, 5})[$i1] else 0; ($RES_SIM_460) (411|587) [----] end for; (412|592) [SCAL] (1) chaSta.maxInt1.u2 = max(chaSta.idxLasTru.booToInt.y); ($RES_SIM_458) (413|593) [SCAL] (1) chaSta.maxInt1.y = max(1, chaSta.maxInt1.u2); ($RES_SIM_457) (414|594) [FOR-] (3) ($RES_SIM_454) (414|594) [----] for $i1 in 1:3 loop (414|594) [----] [SCAL] (1) chaSta.capEquStaLow[$i1].y = chaSta.capEquStaLow[$i1].u1 * chaSta.reqEquStaLow[$i1].y; ($RES_SIM_455) (414|594) [----] end for; (415|597) [SCAL] (1) chaSta.capStaLow.y = chaSta.capStaLow.k * chaSta.capEquStaLow.y; ($RES_SIM_453) (416|598) [SCAL] (1) chaSta.minInt.y = min(1, chaSta.maxInt1.u2); ($RES_SIM_452) (417|599) [SCAL] (1) chaSta.setZer.y = chaSta.capStaLow.y * CAST(Real, chaSta.minInt.y); ($RES_SIM_450) (418|600) [SCAL] (1) idxSta.phAvaSta[1].y = idxSta.andAva1[1].u2; ($RES_SIM_803) (419|601) [SCAL] (1) idxSta.phAvaSta[1].y = idxSta.andAva[1].u2; ($RES_SIM_802) (420|602) [SCAL] (1) idxSta.phAvaSta[1].y = idxSta.idxFirAva.u1[1]; ($RES_SIM_801) (421|603) [SCAL] (1) idxSta.higAva.y = idxSta.higAva.u1 > chaSta.uSta; ($RES_SIM_279) (422|604) [SCAL] (1) idxSta.phAvaSta[1].y = idxSta.idxLasAva.u1[1]; ($RES_SIM_800) (423|605) [SCAL] (1) idxSta.lowAva.y = idxSta.lowAva.u1 < chaSta.uSta; ($RES_SIM_278) (424|606) [FOR-] (5) ($RES_SIM_360) (424|606) [----] for $i1 in 1:5 loop (424|606) [----] [SCAL] (1) idxSta.sta0ToSta[$i1].fire = (idxSta.sta0ToSta[$i1].localCondition and idxSta.sta0.outPort[$i1].available) and not idxSta.sta0ToSta[$i1].outPort.occupied; ($RES_SIM_361) (424|606) [----] end for; (425|611) [FOR-] (5) ($RES_SIM_276) (425|611) [----] for $i1 in 1:5 loop (425|611) [----] [WHEN] (1) ($RES_SIM_277) (425|611) [----] [----] when idxSta.tim[$i1].u then (425|611) [----] [----] idxSta.tim[$i1].entryTime := time (425|611) [----] [----] elsewhen $SEV_10[$i1] then (425|611) [----] [----] idxSta.tim[$i1].entryTime := $PRE.idxSta.tim[$i1].entryTime (425|611) [----] [----] elsewhen $WC_15 then (425|611) [----] [----] idxSta.tim[$i1].entryTime := $PRE.idxSta.tim[$i1].entryTime (425|611) [----] [----] end when; (425|611) [----] end for; (426|616) [FOR-] (5) ($RES_SIM_274) (426|616) [----] for $i1 in 1:5 loop (426|616) [----] [WHEN] (1) ($RES_SIM_275) (426|616) [----] [----] when idxSta.tim[$i1].u then (426|616) [----] [----] idxSta.tim[$i1].passed := false (426|616) [----] [----] elsewhen $SEV_10[$i1] then (426|616) [----] [----] idxSta.tim[$i1].passed := true (426|616) [----] [----] elsewhen $WC_16 then (426|616) [----] [----] idxSta.tim[$i1].passed := false (426|616) [----] [----] end when; (426|616) [----] end for; (427|621) [SCAL] (1) enaEqu.isReq[3].u = enaEqu.isReq[3].greNoHys.u; ($RES_SIM_712) (428|622) [SCAL] (1) enaEqu.isReq[2].u = enaEqu.isReq[2].greNoHys.u; ($RES_SIM_711) (429|623) [FOR-] (5) ($RES_SIM_272) (429|623) [----] for $i1 in 1:5 loop (429|623) [----] [SCAL] (1) idxSta.tim[$i1].y = if idxSta.tim[$i1].u then time - idxSta.tim[$i1].entryTime else 0.0; ($RES_SIM_273) (429|623) [----] end for; (430|628) [SCAL] (1) enaEqu.voiStaZer[1].y = enaEqu.isReq[1].u; ($RES_SIM_627) (431|629) [SCAL] (1) enaEqu.isReq[1].u = enaEqu.isReq[1].greNoHys.u; ($RES_SIM_710) (432|630) [SCAL] (1) enaEqu.nAltReq.u2 = enaEqu.nReq.sumMul.k * enaEqu.nReq.booToInt.y; ($RES_SIM_189) (433|631) [SCAL] (1) idxSta.dowAndEna.uTemp[1] = idxSta.dowAndEna.u[1]; ($RES_SIM_271) (434|632) [SCAL] (1) enaEqu.voiStaZer[1].y = enaEqu.isNotReqNoAlt[1].u; ($RES_SIM_626) (435|633) [SCAL] (1) enaEqu.voiStaZer[1].y = enaEqu.isReqPosAlt[1].u; ($RES_SIM_625) (436|634) [FOR-] (3) ($RES_SIM_187) (436|634) [----] for $i1 in 1:3 loop (436|634) [----] [SCAL] (1) enaEqu.nEnaAvaPre.booToInt[$i1].y = if enaEqu.isEnaPreAva[$i1].y then 1 else 0; ($RES_SIM_188) (436|634) [----] end for; (437|637) [SCAL] (1) enaEqu.voiStaZer[1].y = enaEqu.nEquStaRea.u[1]; ($RES_SIM_624) (438|638) [SCAL] (1) enaEqu.intLes.u1 = enaEqu.nEnaAvaPre.sumMul.k * enaEqu.nEnaAvaPre.booToInt.y; ($RES_SIM_186) (439|639) [SCAL] (1) enaEqu.voiStaZer[2].y = enaEqu.isReq[2].u; ($RES_SIM_623) (440|640) [SCAL] (1) enaEqu.intLes.y = enaEqu.intLes.u1 < enaEqu.nAltReq.u1; ($RES_SIM_185) (441|641) [SCAL] (1) enaEqu.voiStaZer[2].y = enaEqu.isNotReqNoAlt[2].u; ($RES_SIM_622) (442|642) [SCAL] (1) enaEqu.swiEna.y = enaEqu.cha.y or enaEqu.intLes.y; ($RES_SIM_184) (443|643) [SCAL] (1) enaEqu.voiStaZer[2].y = enaEqu.isReqPosAlt[2].u; ($RES_SIM_621) (444|644) [SCAL] (1) enaEqu.voiStaZer[2].y = enaEqu.nEquStaRea.u[2]; ($RES_SIM_620) (445|645) [FOR-] (3) ($RES_SIM_182) (445|645) [----] for $i1 in 1:3 loop (445|645) [----] [SCAL] (1) enaEqu.isEnaPreAva[$i1].y = enaEqu.isEnaPreAva[$i1].u1 and enaEqu.isEnaPreAva[$i1].u2; ($RES_SIM_183) (445|645) [----] end for; (446|648) [SCAL] (1) enaEqu.maxInt.y = max(1, chaSta.uSta); ($RES_SIM_180) (447|649) [SCAL] (1) chaSta.splTimCapSta.y = chaSta.parPlrSta.ph.k * chaSta.capSta.y; ($RES_SIM_449) (448|650) [SCAL] (1) chaSta.splTimCapStaLow.y = chaSta.parPlrSta.ph.k * chaSta.setZer.y; ($RES_SIM_448) (449|651) [SCAL] (1) chaSta.timUp.reset = not chaSta.u1StaPro and $PRE.chaSta.u1StaPro; ($RES_SIM_446) (450|652) [SCAL] (1) chaSta.capReq.delT.y = (-315.15) + TSupSet.k; ($RES_SIM_445) (451|653) [SCAL] (1) chaSta.capReq.capFlo.y = chaSta.capReq.capFlo.k * V_flow.y; ($RES_SIM_444) (452|654) [SCAL] (1) chaSta.capReq.capReq.y = chaSta.capReq.delT.y * chaSta.capReq.capFlo.y; ($RES_SIM_443) (453|655) [SCAL] (1) chaSta.capReq.capReq.y = $DER.chaSta.capReq.movAve.mu; ($RES_SIM_442) (454|656) [SCAL] (1) chaSta.capReq.movAve.muDel = delay(chaSta.capReq.movAve.mu, chaSta.capReq.movAve.delta, chaSta.capReq.movAve.delta); ($RES_SIM_441) (455|657) [WHEN] (1) ($RES_SIM_440) (455|657) [----] when $TEV_0 then (455|657) [----] chaSta.capReq.movAve.mode := true (455|657) [----] end when; (456|658) [SCAL] (1) idxSta.stateGraphRoot.activeSteps = -integer(idxSta.stateGraphRoot.subgraphStatePort.activeSteps, 0); ($RES_SIM_355) (457|659) [SCAL] (1) enaEqu.isReq[3].greNoHys.y = enaEqu.isReq[3].y; ($RES_SIM_709) (458|660) [SCAL] (1) enaEqu.isReq[2].greNoHys.y = enaEqu.isReq[2].y; ($RES_SIM_708) (459|661) [FOR-] (2) ($RES_SIM_269) (459|661) [----] for $i1 in 2:3 loop (459|661) [----] [SCAL] (1) idxSta.dowAndEna.uTemp[$i1] = idxSta.dowAndEna.u[$i1] and idxSta.dowAndEna.uTemp[(-1) + $i1]; ($RES_SIM_270) (459|661) [----] end for; (460|663) [SCAL] (1) enaEqu.isReq[1].greNoHys.y = enaEqu.isReq[1].y; ($RES_SIM_707) (461|664) [SCAL] (1) idxSta.dowAndEna.y = idxSta.dowAndEna.uTemp[3]; ($RES_SIM_268) (462|665) [SCAL] (1) enaEqu.isReqPosAlt[3].u = enaEqu.isReqPosAlt[3].greNoHys.u; ($RES_SIM_706) (463|666) [SCAL] (1) idxSta.upOrDow.y = idxSta.upAndEna.y or idxSta.dowAndEna.y; ($RES_SIM_267) (464|667) [SCAL] (1) enaEqu.isReqPosAlt[2].u = enaEqu.isReqPosAlt[2].greNoHys.u; ($RES_SIM_705) (465|668) [SCAL] (1) idxSta.idxNex.y = if idxSta.upOrActUna.y then idxSta.idxNex.u1 else idxSta.idxNex.u3; ($RES_SIM_266) (466|669) [SCAL] (1) enaEqu.isReqPosAlt[1].u = enaEqu.isReqPosAlt[1].greNoHys.u; ($RES_SIM_704) (467|670) [SCAL] (1) enaEqu.isReqPosAlt[3].greNoHys.y = enaEqu.isReqPosAlt[3].y; ($RES_SIM_703) (468|671) [FOR-] (5) ($RES_SIM_264) (468|671) [----] for $i1 in 1:5 loop (468|671) [----] [SCAL] (1) idxSta.intLesEqu[$i1].y = idxSta.intLesEqu[$i1].u1 < idxSta.intLesEqu[$i1].u2; ($RES_SIM_265) (468|671) [----] end for; (469|676) [SCAL] (1) enaEqu.voiStaZer[3].y = enaEqu.isReq[3].u; ($RES_SIM_619) (470|677) [SCAL] (1) enaEqu.isReqPosAlt[2].greNoHys.y = enaEqu.isReqPosAlt[2].y; ($RES_SIM_702) (471|678) [SCAL] (1) enaEqu.voiStaZer[3].y = enaEqu.isNotReqNoAlt[3].u; ($RES_SIM_618) (472|679) [SCAL] (1) enaEqu.isReqPosAlt[1].greNoHys.y = enaEqu.isReqPosAlt[1].y; ($RES_SIM_701) (473|680) [SCAL] (1) enaEqu.voiStaZer[3].y = enaEqu.isReqPosAlt[3].u; ($RES_SIM_617) (474|681) [SCAL] (1) enaEqu.isNotReqNoAlt[3].u = enaEqu.isNotReqNoAlt[3].lesNoHys.u; ($RES_SIM_700) (475|682) [FOR-] (5) ($RES_SIM_262) (475|682) [----] for $i1 in 1:5 loop (475|682) [----] [SCAL] (1) idxSta.idxStaAll[$i1].y = ({1, 2, 3, 4, 5})[$i1]; ($RES_SIM_263) (475|682) [----] end for; (476|687) [SCAL] (1) enaEqu.greZer.y = chaSta.uSta > 0; ($RES_SIM_179) (477|688) [SCAL] (1) enaEqu.voiStaZer[3].y = enaEqu.nEquStaRea.u[3]; ($RES_SIM_616) (478|689) [SCAL] (1) enaEqu.booToRea.y = if enaEqu.greZer.y then 1.0 else 0.0; ($RES_SIM_178) (479|690) [SCAL] (1) staEqu[3].on.outerStatePort.subgraphStatePort.resume = staEqu[3].stateGraphRoot.resume; ($RES_SIM_613) (480|691) [FOR-] (3) ($RES_SIM_175) (480|691) [----] for $i1 in 1:3 loop (480|691) [----] [SCAL] (1) enaEqu.voiStaZer[$i1].y = enaEqu.reqEquSta[$i1].y * enaEqu.reaScaRep.y[$i1]; ($RES_SIM_176) (480|691) [----] end for; (481|694) [SCAL] (1) staEqu[3].on.outerStatePort.subgraphStatePort.resume = staEqu[3].off.outerStatePort.subgraphStatePort.resume; ($RES_SIM_612) (482|695) [SCAL] (1) staEqu[3].on.outerStatePort.subgraphStatePort.suspend = staEqu[3].stateGraphRoot.suspend; ($RES_SIM_611) (483|696) [FOR-] (2) ($RES_SIM_173) (483|696) [----] for $i1 in 1:2 loop (483|696) [----] [SCAL] (1) idxEquLeaLag[$i1].y = ({2, 3})[$i1]; ($RES_SIM_174) (483|696) [----] end for; (484|698) [SCAL] (1) staEqu[3].on.outerStatePort.subgraphStatePort.suspend = staEqu[3].off.outerStatePort.subgraphStatePort.suspend; ($RES_SIM_610) (485|699) [FOR-] (3) ($RES_SIM_171) (485|699) [----] for $i1 in 1:3 loop (485|699) [----] [SCAL] (1) u1AvaEqu[$i1].y = true; ($RES_SIM_172) (485|699) [----] end for; (486|702) [SCAL] (1) u1AvaSta[1].k = chaSta.u1AvaSta[1]; ($RES_SIM_523) (487|703) [SCAL] (1) u1AvaSta[1].k = idxSta.u1AvaSta[1]; ($RES_SIM_522) (488|704) [SCAL] (1) u1AvaSta[2].k = chaSta.u1AvaSta[2]; ($RES_SIM_521) (489|705) [SCAL] (1) chaSta.hol.u = if chaSta.capReq.movAve.mode then (chaSta.capReq.movAve.mu - chaSta.capReq.movAve.muDel) / chaSta.capReq.movAve.delta else (chaSta.capReq.movAve.mu - chaSta.capReq.movAve.muDel) / ((0.001 + time) - chaSta.capReq.movAve.tStart); ($RES_SIM_437) (490|706) [SCAL] (1) u1AvaSta[2].k = idxSta.u1AvaSta[2]; ($RES_SIM_520) (491|707) [FOR-] (3) ($RES_EVT_1506) (491|707) [----] for $i1 in 1:3 loop (491|707) [----] [SCAL] (1) $SEV_18[$i1] = staEqu[$i1].onToOff.enableFire and time >= (15.0 + staEqu[$i1].onToOff.t_start); ($RES_EVT_1507) (491|707) [----] end for; (492|710) [SCAL] (1) chaSta.faiSaf.dTPriSet.y = 0.0; ($RES_SIM_435) (493|711) [FOR-] (3) ($RES_EVT_1504) (493|711) [----] for $i1 in 1:3 loop (493|711) [----] [SCAL] (1) $SEV_17[$i1] = staEqu[$i1].offToOn.enableFire and time >= (15.0 + staEqu[$i1].offToOn.t_start); ($RES_EVT_1505) (493|711) [----] end for; (494|714) [SCAL] (1) $SEV_16 = enaEqu.nEquStaRea.y > 0.0; ($RES_EVT_1503) (495|715) [SCAL] (1) chaSta.faiSaf.lesPriSet.lesHys.y = $SEV_7; ($RES_SIM_433) (496|716) [WHEN] (1) ($RES_SIM_432) (496|716) [----] when {chaSta.faiSaf.timPriSet.u, chaSta.timUp.reset} then (496|716) [----] chaSta.faiSaf.timPriSet.entryTime := time (496|716) [----] elsewhen $SEV_8 then (496|716) [----] chaSta.faiSaf.timPriSet.entryTime := $PRE.chaSta.faiSaf.timPriSet.entryTime (496|716) [----] elsewhen $WC_10 then (496|716) [----] chaSta.faiSaf.timPriSet.entryTime := $PRE.chaSta.faiSaf.timPriSet.entryTime (496|716) [----] end when; (497|717) [FOR-] (3) ($RES_EVT_1501) (497|717) [----] for $i1 in 1:3 loop (497|717) [----] [SCAL] (1) $SEV_15[$i1] = enaEqu.isNotReqNoAlt[$i1].lesNoHys.u < 0.9999; ($RES_EVT_1502) (497|717) [----] end for; (498|720) [WHEN] (1) ($RES_SIM_431) (498|720) [----] when {chaSta.faiSaf.timPriSet.u, chaSta.timUp.reset} then (498|720) [----] chaSta.faiSaf.timPriSet.passed := chaSta.faiSaf.timPriSet.u and chaSta.faiSaf.timPriSet.t <= 0.0 (498|720) [----] elsewhen $SEV_8 then (498|720) [----] chaSta.faiSaf.timPriSet.passed := true (498|720) [----] elsewhen $WC_11 then (498|720) [----] chaSta.faiSaf.timPriSet.passed := false (498|720) [----] end when; (499|721) [SCAL] (1) chaSta.faiSaf.timPriSet.y = if chaSta.faiSaf.timPriSet.u then time - chaSta.faiSaf.timPriSet.entryTime else 0.0; ($RES_SIM_430) (500|722) [FOR-] (25) ($RES_SIM_342) (500|722) [----] for {$i1 in 1:5, $i2 in 1:5} loop (500|722) [----] [SCAL] (1) idxSta.staToSta[$i1, $i2].fire = (idxSta.staToSta[$i1, $i2].localCondition and idxSta.staToSta[$i1, $i2].inPort.available) and not idxSta.staToSta[$i1, $i2].outPort.occupied; ($RES_SIM_343) (500|722) [----] end for; (501|747) [FOR-] (5) ($RES_SIM_259) (501|747) [----] for $i1 in 1:5 loop (501|747) [----] [SCAL] (1) idxSta.andAva[$i1].y = idxSta.intLesEqu[$i1].y and idxSta.andAva[$i1].u2; ($RES_SIM_260) (501|747) [----] end for; (502|752) [FOR-] (5) ($RES_SIM_257) (502|752) [----] for $i1 in 1:5 loop (502|752) [----] [SCAL] (1) idxSta.idxNexLowAva.booToInt[$i1].y = if idxSta.andAva[$i1].y then ({1, 2, 3, 4, 5})[$i1] else 0; ($RES_SIM_258) (502|752) [----] end for; (503|757) [SCAL] (1) idxSta.idxNex.u3 = max(idxSta.idxNexLowAva.booToInt.y); ($RES_SIM_256) (504|758) [FOR-] (5) ($RES_SIM_254) (504|758) [----] for $i1 in 1:5 loop (504|758) [----] [SCAL] (1) idxSta.idxNexHigAva.booToInt[$i1].y = if idxSta.idxNexHigAva.u1[$i1] then ({1, 2, 3, 4, 5})[$i1] else 6; ($RES_SIM_255) (504|758) [----] end for; (505|763) [SCAL] (1) idxSta.idxNexHigAva.intSwi.u3 = min(idxSta.idxNexHigAva.booToInt.y); ($RES_SIM_253) (506|764) [SCAL] (1) staEqu[2].on.outerStatePort.subgraphStatePort.resume = staEqu[2].stateGraphRoot.resume; ($RES_SIM_607) (507|765) [SCAL] (1) idxSta.idxNexHigAva.intEqu.y = idxSta.idxNexHigAva.intSwi.u3 == idxSta.idxNexHigAva.conInt.k; ($RES_SIM_252) (508|766) [FOR-] (3) ($RES_SIM_169) (508|766) [----] for $i1 in 1:3 loop (508|766) [----] [SCAL] (1) staEqu[$i1].stateGraphRoot.activeSteps = -integer(staEqu[$i1].stateGraphRoot.subgraphStatePort.activeSteps, 5 + ((-1) + $i1)); ($RES_SIM_170) (508|766) [----] end for; (509|769) [SCAL] (1) staEqu[2].on.outerStatePort.subgraphStatePort.resume = staEqu[2].off.outerStatePort.subgraphStatePort.resume; ($RES_SIM_606) (510|770) [SCAL] (1) idxSta.idxNex.u1 = if idxSta.idxNexHigAva.intEqu.y then idxSta.idxNexHigAva.zer.k else idxSta.idxNexHigAva.intSwi.u3; ($RES_SIM_251) (511|771) [SCAL] (1) staEqu[2].on.outerStatePort.subgraphStatePort.suspend = staEqu[2].stateGraphRoot.suspend; ($RES_SIM_605) (512|772) [SCAL] (1) staEqu[2].on.outerStatePort.subgraphStatePort.suspend = staEqu[2].off.outerStatePort.subgraphStatePort.suspend; ($RES_SIM_604) (513|773) [SCAL] (1) u1AvaSta[3].k = chaSta.u1AvaSta[3]; ($RES_SIM_519) (514|774) [SCAL] (1) u1AvaSta[3].k = idxSta.u1AvaSta[3]; ($RES_SIM_518) (515|775) [SCAL] (1) staEqu[1].on.outerStatePort.subgraphStatePort.resume = staEqu[1].stateGraphRoot.resume; ($RES_SIM_601) (516|776) [SCAL] (1) u1AvaSta[4].k = chaSta.u1AvaSta[4]; ($RES_SIM_517) (517|777) [SCAL] (1) staEqu[1].on.outerStatePort.subgraphStatePort.resume = staEqu[1].off.outerStatePort.subgraphStatePort.resume; ($RES_SIM_600) (518|778) [SCAL] (1) u1AvaSta[4].k = idxSta.u1AvaSta[4]; ($RES_SIM_516) (519|779) [FOR-] (3) ($RES_SIM_161) (519|779) [----] for $i1 in 1:3 loop (519|779) [----] [SCAL] (1) staEqu[$i1].off.outerStatePort.subgraphStatePort.activeSteps = if staEqu[$i1].off.active then 1.0 else 0.0; ($RES_SIM_162) (519|779) [----] end for; (520|782) [SCAL] (1) u1AvaSta[5].k = chaSta.u1AvaSta[5]; ($RES_SIM_515) (521|783) [SCAL] (1) u1AvaSta[5].k = idxSta.u1AvaSta[5]; ($RES_SIM_514) (522|784) [SCAL] (1) ratV_flow.y[1] = V_flow.u; ($RES_SIM_513) (523|785) [SCAL] (1) chaSta.effOrFaiSaf.u1 = chaSta.faiSaf.timPriSet.passed; ($RES_SIM_429) (524|786) [SCAL] (1) not y1UpHol.not_u = chaSta.effOrFaiSaf.u1 or chaSta.timUp.passed; ($RES_SIM_427) (525|787) [SCAL] (1) not y1DowHol.not_u = not chaSta.effOrFaiSaf.u1 and chaSta.timDow.passed; ($RES_SIM_425) (526|788) [SCAL] (1) idxSta.sta0.outerStatePort.subgraphStatePort.activeSteps = if idxSta.sta0.active then 1.0 else 0.0; ($RES_SIM_422) (527|789) [SCAL] (1) idxSta.sta0.localActive = $TEV_1; ($RES_SIM_420) (528|790) [FOR-] (5) ($RES_SIM_336) (528|790) [----] for $i1 in 1:5 loop (528|790) [----] [SCAL] (1) idxSta.runAndTrn[$i1].y = idxSta.runAndTrn[$i1].u1 and idxSta.rep.y[$i1]; ($RES_SIM_337) (528|790) [----] end for; (529|795) [FOR-] (5) ($RES_SIM_247) (529|795) [----] for $i1 in 1:5 loop (529|795) [----] [SCAL] (1) idxSta.intGreEqu[$i1].y = idxSta.intGreEqu[$i1].u1 > idxSta.intGreEqu[$i1].u2; ($RES_SIM_248) (529|795) [----] end for; (530|800) [FOR-] (5) ($RES_SIM_245) (530|800) [----] for $i1 in 1:5 loop (530|800) [----] [SCAL] (1) idxSta.andAva1[$i1].y = idxSta.intGreEqu[$i1].y and idxSta.andAva1[$i1].u2; ($RES_SIM_246) (530|800) [----] end for; (531|805) [SCAL] (1) idxSta.upOrActUna.y = not y1UpHol.not_u or idxSta.upOrActUna.u2; ($RES_SIM_244) (532|806) [FOR-] (3) ($RES_SIM_157) (532|806) [----] for $i1 in 1:3 loop (532|806) [----] [SCAL] (1) staEqu[$i1].off.active = $TEV_4[$i1]; ($RES_SIM_158) (532|806) [----] end for; (533|809) [FOR-] (3) ($RES_SIM_155) (533|809) [----] for $i1 in 1:3 loop (533|809) [----] [SCAL] (1) staEqu[$i1].off.newActive = if staEqu[$i1].off.outerStatePort.subgraphStatePort.resume then staEqu[$i1].off.oldActive else ($FUN_6[$i1] or staEqu[$i1].off.active and not $FUN_7[$i1]) and not staEqu[$i1].off.outerStatePort.subgraphStatePort.suspend; ($RES_SIM_156) (533|809) [----] end for; (534|812) [FOR-] (3) ($RES_SIM_153) (534|812) [----] for $i1 in 1:3 loop (534|812) [----] [WHEN] (1) ($RES_SIM_154) (534|812) [----] [----] when staEqu[$i1].off.outerStatePort.subgraphStatePort.suspend then (534|812) [----] [----] staEqu[$i1].off.oldActive := staEqu[$i1].off.active (534|812) [----] [----] end when; (534|812) [----] end for; (535|815) [SCAL] (1) enaEqu.y1[1] = comSta.u1[1]; ($RES_SIM_506) (536|816) [FOR-] (3) ($RES_SIM_151) (536|816) [----] for $i1 in 1:3 loop (536|816) [----] [SCAL] (1) staEqu[$i1].off.inPort[1].occupied = staEqu[$i1].off.active; ($RES_SIM_152) (536|816) [----] end for; (537|819) [SCAL] (1) enaEqu.y1[1] = staEqu[1].y1; ($RES_SIM_505) (538|820) [SCAL] (1) enaEqu.y1[2] = comSta.u1[2]; ($RES_SIM_504) (539|821) [SCAL] (1) enaEqu.y1[2] = staEqu[2].y1; ($RES_SIM_503) (540|822) [SCAL] (1) idxSta.sta0.newActive = if idxSta.sta0.outerStatePort.subgraphStatePort.resume then idxSta.sta0.oldActive else ($FUN_2 or idxSta.sta0.localActive and not $FUN_3) and not idxSta.sta0.outerStatePort.subgraphStatePort.suspend; ($RES_SIM_419) (541|823) [SCAL] (1) enaEqu.y1[3] = comSta.u1[3]; ($RES_SIM_502) (542|824) [WHEN] (1) ($RES_SIM_418) (542|824) [----] when idxSta.sta0.outerStatePort.subgraphStatePort.suspend then (542|824) [----] idxSta.sta0.oldActive := idxSta.sta0.localActive (542|824) [----] end when; (543|825) [SCAL] (1) enaEqu.y1[3] = staEqu[3].y1; ($RES_SIM_501) (544|826) [FOR-] (5) ($RES_SIM_416) (544|826) [----] for $i1 in 1:5 loop (544|826) [----] [SCAL] (1) idxSta.staToSta0[$i1].outPort.occupied = if $i1 == 1 then idxSta.sta0.localActive else idxSta.staToSta0[$i1 - 1].outPort.occupied or idxSta.staToSta0[$i1 - 1].fire; ($RES_SIM_417) (544|826) [----] end for; (545|831) [FOR-] (5) ($RES_SIM_414) (545|831) [----] for $i1 in 1:5 loop (545|831) [----] [SCAL] (1) idxSta.sta0.outPort[$i1].available = if $i1 == 1 then idxSta.sta0.localActive else idxSta.sta0.outPort[$i1 - 1].available and not idxSta.sta0ToSta[$i1 - 1].fire; ($RES_SIM_415) (545|831) [----] end for; (546|836) [SCAL] (1) idxSta.staToSta0[1].fire = false; ($RES_SIM_413) (547|837) [SCAL] (1) idxSta.staToSta0[2].fire = false; ($RES_SIM_412) (548|838) [SCAL] (1) idxSta.staToSta0[3].fire = false; ($RES_SIM_411) (549|839) [SCAL] (1) idxSta.staToSta0[4].fire = false; ($RES_SIM_410) (550|840) [FOR-] (25) ($RES_SIM_239) (550|840) [----] for {$i1 in 1:5, $i2 in 1:5} loop (550|840) [----] [SCAL] (1) idxSta.staToSta[$i1, $i2].localCondition = idxSta.rep3[$i1].y[$i2] and idxSta.repVec.y[$i1, $i2]; ($RES_SIM_240) (550|840) [----] end for; (551|865) [SCAL] (1) idxSta.actUnaHigAva.y = idxSta.higAva.y and idxSta.upOrActUna.u2; ($RES_SIM_238) (552|866) [FOR-] (5) ($RES_SIM_236) (552|866) [----] for $i1 in 1:5 loop (552|866) [----] [SCAL] (1) idxSta.upOrDowOrActUna[$i1].y = idxSta.runAndTrn[$i1].y or idxSta.rep1.y[$i1]; ($RES_SIM_237) (552|866) [----] end for; (553|871) [SCAL] (1) idxSta.booToInt.y = if u1Lea.k then 1 else 0; ($RES_SIM_234) (554|872) [FOR-] (3) ($RES_SIM_149) (554|872) [----] for $i1 in 1:3 loop (554|872) [----] [SCAL] (1) staEqu[$i1].off.outPort[1].available = staEqu[$i1].off.active; ($RES_SIM_150) (554|872) [----] end for; (555|875) [WHEN] (1) ($RES_SIM_230) (555|875) [----] when initial() then (555|875) [----] y1UpHol.y := not y1UpHol.not_u (555|875) [----] elsewhen {$WC_17, $WC_18, $SEV_11} then (555|875) [----] y1UpHol.y := if time >= $PRE.y1UpHol.entryTimeFalse and time >= (1.0 + $PRE.y1UpHol.entryTimeTrue) then not y1UpHol.not_u else $PRE.y1UpHol.y (555|875) [----] end when; (556|876) [FOR-] (3) ($RES_SIM_147) (556|876) [----] for $i1 in 1:3 loop (556|876) [----] [SCAL] (1) staEqu[$i1].offToOn.fire = $SEV_17[$i1]; ($RES_SIM_148) (556|876) [----] end for; (557|879) [FOR-] (3) ($RES_SIM_145) (557|879) [----] for $i1 in 1:3 loop (557|879) [----] [SCAL] (1) staEqu[$i1].offToOn.t = if staEqu[$i1].offToOn.enableFire then staEqu[$i1].offToOn.t_dummy else 0.0; ($RES_SIM_146) (557|879) [----] end for; (558|882) [FOR-] (3) ($RES_SIM_143) (558|882) [----] for $i1 in 1:3 loop (558|882) [----] [SCAL] (1) staEqu[$i1].offToOn.t_dummy = time - staEqu[$i1].offToOn.t_start; ($RES_SIM_144) (558|882) [----] end for; (559|885) [FOR-] (3) ($RES_SIM_141) (559|885) [----] for $i1 in 1:3 loop (559|885) [----] [WHEN] (1) ($RES_SIM_142) (559|885) [----] [----] when staEqu[$i1].offToOn.enableFire then (559|885) [----] [----] staEqu[$i1].offToOn.t_start := time (559|885) [----] [----] end when; (559|885) [----] end for; (560|888) [SCAL] (1) idxSta.staToSta0[5].fire = false; ($RES_SIM_409) (561|889) [SCAL] (1) idxSta.sta0ToSta[1].fire = false; ($RES_SIM_408) (562|890) [SCAL] (1) idxSta.sta0ToSta[2].fire = false; ($RES_SIM_407) (563|891) [SCAL] (1) idxSta.sta0ToSta[3].fire = false; ($RES_SIM_406) (564|892) [SCAL] (1) idxSta.sta0ToSta[4].fire = false; ($RES_SIM_405) (565|893) [SCAL] (1) idxSta.sta0ToSta[5].fire = false; ($RES_SIM_404) (566|894) [FOR-] (5) ($RES_SIM_402) (566|894) [----] for $i1 in 1:5 loop (566|894) [----] [SCAL] (1) idxSta.sta[$i1].outerStatePort.subgraphStatePort.activeSteps = if idxSta.sta[$i1].active then 1.0 else 0.0; ($RES_SIM_403) (566|894) [----] end for; (567|899) [SCAL] (1) chaSta.gre.greHys.y = chaSta.timUp.u; ($RES_SIM_1466) (568|900) [FOR-] (5) ($RES_SIM_315) (568|900) [----] for $i1 in 1:5 loop (568|900) [----] [SCAL] (1) idxSta.staToSta0[$i1].fire = (idxSta.staToSta0[$i1].localCondition and idxSta.staToSta0[$i1].inPort.available) and not idxSta.staToSta0[$i1].outPort.occupied; ($RES_SIM_316) (568|900) [----] end for; (569|905) [SCAL] (1) chaSta.les.lesHys.y = chaSta.timDow.u; ($RES_SIM_1465) (570|906) [SCAL] (1) chaSta.hol.truHol.y = not chaSta.hol.truHol.not_y; ($RES_SIM_1464) (571|907) [SCAL] (1) chaSta.faiSaf.lesPriSet.lesHys.y = chaSta.faiSaf.timPriSet.u; ($RES_SIM_1463) (572|908) [WHEN] (1) ($RES_SIM_229) (572|908) [----] when initial() then (572|908) [----] y1UpHol.entryTimeTrue := if y1UpHol.y then time else $PRE.y1UpHol.entryTimeTrue (572|908) [----] elsewhen {$WC_19, $WC_20, $SEV_11} then (572|908) [----] y1UpHol.entryTimeTrue := if y1UpHol.y and not $PRE.y1UpHol.y then time else $PRE.y1UpHol.entryTimeTrue (572|908) [----] end when; (573|909) [SCAL] (1) enaEqu.cha.u = chaSta.uSta; ($RES_SIM_1462) (574|910) [WHEN] (1) ($RES_SIM_228) (574|910) [----] when initial() then (574|910) [----] y1UpHol.entryTimeFalse := if not y1UpHol.y then time else $PRE.y1UpHol.entryTimeFalse (574|910) [----] elsewhen {$WC_21, $WC_22, $SEV_11} then (574|910) [----] y1UpHol.entryTimeFalse := if y1UpHol.not_y and not $PRE.y1UpHol.not_y then time else $PRE.y1UpHol.entryTimeFalse (574|910) [----] end when; (575|911) [SCAL] (1) comSta.chaSta.u = chaSta.uSta; ($RES_SIM_1461) (576|912) [WHEN] (1) ($RES_SIM_227) (576|912) [----] when initial() then (576|912) [----] y1DowHol.y := not y1DowHol.not_u (576|912) [----] elsewhen {$WC_23, $WC_24, $SEV_12} then (576|912) [----] y1DowHol.y := if time >= $PRE.y1DowHol.entryTimeFalse and time >= (1.0 + $PRE.y1DowHol.entryTimeTrue) then not y1DowHol.not_u else $PRE.y1DowHol.y (576|912) [----] end when; (577|913) [SCAL] (1) idxSta.truIdxNex.u = 1; ($RES_SIM_1460) (578|914) [WHEN] (1) ($RES_SIM_226) (578|914) [----] when initial() then (578|914) [----] y1DowHol.entryTimeTrue := if y1DowHol.y then time else $PRE.y1DowHol.entryTimeTrue (578|914) [----] elsewhen {$WC_25, $WC_26, $SEV_12} then (578|914) [----] y1DowHol.entryTimeTrue := if y1DowHol.y and not $PRE.y1DowHol.y then time else $PRE.y1DowHol.entryTimeTrue (578|914) [----] end when; (579|915) [WHEN] (1) ($RES_SIM_225) (579|915) [----] when initial() then (579|915) [----] y1DowHol.entryTimeFalse := if not y1DowHol.y then time else $PRE.y1DowHol.entryTimeFalse (579|915) [----] elsewhen {$WC_27, $WC_28, $SEV_12} then (579|915) [----] y1DowHol.entryTimeFalse := if y1DowHol.not_y and not $PRE.y1DowHol.not_y then time else $PRE.y1DowHol.entryTimeFalse (579|915) [----] end when; (580|916) [SCAL] (1) V_flow.y = V_flow.k * V_flow.u; ($RES_SIM_224) (581|917) [FOR-] (15) ($RES_SIM_222) (581|917) [----] for {$i1 in 1:3, $i2 in 1:5} loop (581|917) [----] [SCAL] (1) enaEqu.traMatStaEqu[$i1, $i2].y = ({{1.0, 0.0, 1.0, 0.0, 1.0}, {0.0, 0.5, 0.5, 1.0, 1.0}, {0.0, 0.5, 0.5, 1.0, 1.0}})[$i1, $i2]; ($RES_SIM_223) (581|917) [----] end for; (582|932) [FOR-] (3) ($RES_SIM_139) (582|932) [----] for $i1 in 1:3 loop (582|932) [----] [SCAL] (1) staEqu[$i1].offToOn.enableFire = (staEqu[$i1].offToOn.localCondition and staEqu[$i1].offToOn.inPort.available) and not staEqu[$i1].offToOn.outPort.occupied; ($RES_SIM_140) (582|932) [----] end for; (583|935) [SCAL] (1) enaEqu.nEquStaRea.y = enaEqu.nEquStaRea.k * enaEqu.nEquStaRea.u; ($RES_SIM_220) (584|936) [FOR-] (3) ($RES_SIM_133) (584|936) [----] for $i1 in 1:3 loop (584|936) [----] [SCAL] (1) staEqu[$i1].on.outerStatePort.subgraphStatePort.activeSteps = if staEqu[$i1].on.active then 1.0 else 0.0; ($RES_SIM_134) (584|936) [----] end for; (585|939) [FOR-] (3) ($RES_SIM_1193) (585|939) [----] for $f12 in 1:3 loop (585|939) [----] [SCAL] (1) enaEqu.reaScaRep.y[$f12] = enaEqu.booToRea.y; ($RES_SIM_1194) (585|939) [----] end for; (586|942) [FOR-] (3) ($RES_SIM_1191) (586|942) [----] for $f11 in 1:3 loop (586|942) [----] [SCAL] (1) enaEqu.booScaRep.y[$f11] = enaEqu.swiEna.y; ($RES_SIM_1192) (586|942) [----] end for; (587|945) [ARRY] (5) idxSta.truNexHigAva.y1 = idxSta.sta0ToSta.localCondition; ($RES_SIM_1459) (588|950) [SCAL] (1) idxSta.upAndEna.uTemp[1] = idxSta.upAndEna.u[1]; ($RES_SIM_308) (589|951) [SCAL] (1) idxSta.truNexHigAva.u = idxSta.booToInt.y; ($RES_SIM_1458) (590|952) [SCAL] (1) enaEqu.truArrCon.u = enaEqu.nAltReq.y; ($RES_SIM_1457) (591|953) [FOR-] (2) ($RES_SIM_306) (591|953) [----] for $i1 in 2:3 loop (591|953) [----] [SCAL] (1) idxSta.upAndEna.uTemp[$i1] = idxSta.upAndEna.u[$i1] and idxSta.upAndEna.uTemp[(-1) + $i1]; ($RES_SIM_307) (591|953) [----] end for; (592|955) [SCAL] (1) comSta.preAnyCha.u = comSta.anyCha.y; ($RES_SIM_1456) (593|956) [SCAL] (1) idxSta.upAndEna.y = idxSta.upAndEna.uTemp[3]; ($RES_SIM_305) (594|957) [SCAL] (1) idxSta.sta0.localActive = idxSta.sta0.active; ($RES_SIM_1455) (595|958) [SCAL] (1) y1DowHol.y = not y1DowHol.not_y; ($RES_SIM_1454) (596|959) [FOR-] (5) ($RES_SIM_303) (596|959) [----] for $i1 in 1:5 loop (596|959) [----] [SCAL] (1) idxSta.idxFirAct.booToInt[$i1].y = if idxSta.idxFirAct.u1[$i1] then ({1, 2, 3, 4, 5})[$i1] else 6; ($RES_SIM_304) (596|959) [----] end for; (597|964) [SCAL] (1) y1UpHol.y = not y1UpHol.not_y; ($RES_SIM_1453) (598|965) [SCAL] (1) idxSta.idxFirAct.intSwi.u3 = min(idxSta.idxFirAct.booToInt.y); ($RES_SIM_302) (599|966) [SCAL] (1) idxSta.idxFirAct.intEqu.y = idxSta.idxFirAct.intSwi.u3 == idxSta.idxFirAct.conInt.k; ($RES_SIM_301) (600|967) [FOR-] (3) ($RES_SIM_218) (600|967) [----] for $i1 in 1:3 loop (600|967) [----] [SCAL] (1) enaEqu.isReq[$i1].greNoHys.y = $SEV_13[$i1]; ($RES_SIM_219) (600|967) [----] end for; (601|970) [SCAL] (1) chaSta.uSta = if idxSta.idxFirAct.intEqu.y then idxSta.idxFirAct.zer.k else idxSta.idxFirAct.intSwi.u3; ($RES_SIM_300) (602|971) [FOR-] (3) ($RES_SIM_216) (602|971) [----] for $i1 in 1:3 loop (602|971) [----] [SCAL] (1) enaEqu.isReqAva[$i1].y = enaEqu.isReqAva[$i1].u1 and enaEqu.isReqAva[$i1].u2; ($RES_SIM_217) (602|971) [----] end for; (603|974) [FOR-] (3) ($RES_SIM_214) (603|974) [----] for $i1 in 1:3 loop (603|974) [----] [SCAL] (1) enaEqu.isReqPosAlt[$i1].greNoHys.y = $SEV_14[$i1]; ($RES_SIM_215) (603|974) [----] end for; (604|977) [FOR-] (3) ($RES_SIM_212) (604|977) [----] for $i1 in 1:3 loop (604|977) [----] [SCAL] (1) enaEqu.isNotReqNoAlt[$i1].lesNoHys.y = $SEV_15[$i1]; ($RES_SIM_213) (604|977) [----] end for; (605|980) [FOR-] (3) ($RES_SIM_129) (605|980) [----] for $i1 in 1:3 loop (605|980) [----] [SCAL] (1) staEqu[$i1].on.active = $TEV_5[$i1]; ($RES_SIM_130) (605|980) [----] end for; (606|983) [FOR-] (3) ($RES_SIM_210) (606|983) [----] for $i1 in 1:3 loop (606|983) [----] [SCAL] (1) enaEqu.isReqAltAva[$i1].y = enaEqu.isReqAltAva[$i1].uTemp[3]; ($RES_SIM_211) (606|983) [----] end for; (607|986) [FOR-] (3) ($RES_SIM_127) (607|986) [----] for $i1 in 1:3 loop (607|986) [----] [SCAL] (1) staEqu[$i1].on.newActive = if staEqu[$i1].on.outerStatePort.subgraphStatePort.resume then staEqu[$i1].on.oldActive else ($FUN_8[$i1] or staEqu[$i1].on.active and not $FUN_9[$i1]) and not staEqu[$i1].on.outerStatePort.subgraphStatePort.suspend; ($RES_SIM_128) (607|986) [----] end for; (608|989) [FOR-] (3) ($RES_SIM_125) (608|989) [----] for $i1 in 1:3 loop (608|989) [----] [WHEN] (1) ($RES_SIM_126) (608|989) [----] [----] when staEqu[$i1].on.outerStatePort.subgraphStatePort.suspend then (608|989) [----] [----] staEqu[$i1].on.oldActive := staEqu[$i1].on.active (608|989) [----] [----] end when; (608|989) [----] end for; (609|992) [FOR-] (3) ($RES_AUX_1199) (609|992) [----] for $i1 in 1:3 loop (609|992) [----] [SCAL] (1) $FUN_7[$i1] = Modelica.Math.BooleanVectors.anyTrue(staEqu[$i1].off.outPort.reset); ($RES_AUX_1200) (609|992) [----] end for; (610|995) [FOR-] (3) ($RES_SIM_123) (610|995) [----] for $i1 in 1:3 loop (610|995) [----] [SCAL] (1) staEqu[$i1].on.inPort[1].occupied = staEqu[$i1].on.active; ($RES_SIM_124) (610|995) [----] end for; (611|998) [FOR-] (3) ($RES_SIM_1189) (611|998) [----] for $f10 in 1:3 loop (611|998) [----] [SCAL] (1) enaEqu.intScaRep.y[$f10] = enaEqu.maxInt.y; ($RES_SIM_1190) (611|998) [----] end for; (612|1001) [FOR-] (3) ($RES_AUX_1197) (612|1001) [----] for $i1 in 1:3 loop (612|1001) [----] [SCAL] (1) $FUN_8[$i1] = Modelica.Math.BooleanVectors.anyTrue(staEqu[$i1].on.inPort.set); ($RES_AUX_1198) (612|1001) [----] end for; (613|1004) [FOR-] (3) ($RES_SIM_121) (613|1004) [----] for $i1 in 1:3 loop (613|1004) [----] [SCAL] (1) staEqu[$i1].on.outPort[1].available = staEqu[$i1].on.active; ($RES_SIM_122) (613|1004) [----] end for; (614|1007) [FOR-] (5) ($RES_SIM_1187) (614|1007) [----] for $f9 in 1:5 loop (614|1007) [----] [SCAL] (1) idxSta.rep1.y[$f9] = idxSta.actUnaHigAva.y; ($RES_SIM_1188) (614|1007) [----] end for; (615|1012) [FOR-] (3) ($RES_AUX_1195) (615|1012) [----] for $i1 in 1:3 loop (615|1012) [----] [SCAL] (1) $FUN_9[$i1] = Modelica.Math.BooleanVectors.anyTrue(staEqu[$i1].on.outPort.reset); ($RES_AUX_1196) (615|1012) [----] end for; (616|1015) [FOR-] (25) ($RES_SIM_1185) (616|1015) [----] for {$i1 in 1:5, $f8 in 1:5} loop (616|1015) [----] [SCAL] (1) idxSta.rep3[$i1].y[$f8] = idxSta.upOrDowOrActUna[$i1].y; ($RES_SIM_1186) (616|1015) [----] end for; (617|1040) [FOR-] (25) ($RES_SIM_1183) (617|1040) [----] for $f7 in 1:5 loop (617|1040) [----] [ARRY] (5) idxSta.repVec.y[$f7] = idxSta.truIdxNex.y1; ($RES_SIM_1184) (617|1040) [----] end for; (618|1065) [SCAL] (1) chaSta.traMatStaEqu[1, 1].y = chaSta.reqEquSta[1].u[1]; ($RES_SIM_1099) (619|1066) [SCAL] (1) chaSta.traMatStaEqu[1, 2].y = chaSta.reqEquStaLow[1].u[2]; ($RES_SIM_1098) (620|1067) [FOR-] (5) ($RES_SIM_1181) (620|1067) [----] for $f6 in 1:5 loop (620|1067) [----] [SCAL] (1) idxSta.intScaRep.y[$f6] = chaSta.uSta; ($RES_SIM_1182) (620|1067) [----] end for; (621|1072) [SCAL] (1) chaSta.traMatStaEqu[1, 2].y = chaSta.reqEquSta[1].u[2]; ($RES_SIM_1097) (622|1073) [SCAL] (1) chaSta.traMatStaEqu[1, 3].y = chaSta.reqEquStaLow[1].u[3]; ($RES_SIM_1096) (623|1074) [SCAL] (1) chaSta.traMatStaEqu[1, 3].y = chaSta.reqEquSta[1].u[3]; ($RES_SIM_1095) (624|1075) [SCAL] (1) chaSta.traMatStaEqu[1, 4].y = chaSta.reqEquStaLow[1].u[4]; ($RES_SIM_1094) (625|1076) [SCAL] (1) chaSta.traMatStaEqu[1, 4].y = chaSta.reqEquSta[1].u[4]; ($RES_SIM_1093) (626|1077) [SCAL] (1) chaSta.traMatStaEqu[1, 5].y = chaSta.reqEquStaLow[1].u[5]; ($RES_SIM_1092) (627|1078) [SCAL] (1) chaSta.traMatStaEqu[1, 5].y = chaSta.reqEquSta[1].u[5]; ($RES_SIM_1091) (628|1079) [SCAL] (1) chaSta.traMatStaEqu[2, 1].y = chaSta.reqEquStaLow[2].u[1]; ($RES_SIM_1090) (629|1080) [FOR-] (6) ($RES_SIM_208) (629|1080) [----] for {$i1 in 1:3, $i2 in 2:3} loop (629|1080) [----] [SCAL] (1) enaEqu.isReqAltAva[$i1].uTemp[$i2] = enaEqu.isReqAltAva[$i1].u[$i2] and enaEqu.isReqAltAva[$i1].uTemp[(-1) + $i2]; ($RES_SIM_209) (629|1080) [----] end for; (630|1086) [FOR-] (3) ($RES_SIM_206) (630|1086) [----] for $i1 in 1:3 loop (630|1086) [----] [SCAL] (1) enaEqu.isReqAltAva[$i1].uTemp[1] = enaEqu.isReqAltAva[$i1].u[1]; ($RES_SIM_207) (630|1086) [----] end for; (631|1089) [FOR-] (3) ($RES_SIM_204) (631|1089) [----] for $i1 in 1:3 loop (631|1089) [----] [SCAL] (1) enaEqu.ena[$i1].y = enaEqu.isReqAltAvaNee[$i1].y or enaEqu.isReqAva[$i1].y; ($RES_SIM_205) (631|1089) [----] end for; (632|1092) [SCAL] (1) enaEqu.nAltReq.u1 = if $SEV_16 then integer(floor(0.5 + enaEqu.nEquStaRea.y, 1), 2) else integer(ceil((-0.5) + enaEqu.nEquStaRea.y, 3), 4); ($RES_SIM_203) (633|1093) [SCAL] (1) enaEqu.nAltReq.y = enaEqu.nAltReq.u1 - enaEqu.nAltReq.u2; ($RES_SIM_202) (634|1094) [FOR-] (3) ($RES_SIM_119) (634|1094) [----] for $i1 in 1:3 loop (634|1094) [----] [SCAL] (1) staEqu[$i1].onToOff.fire = $SEV_18[$i1]; ($RES_SIM_120) (634|1094) [----] end for; (635|1097) [FOR-] (3) ($RES_SIM_200) (635|1097) [----] for $i1 in 1:3 loop (635|1097) [----] [SCAL] (1) enaEqu.isReqAltAvaNee[$i1].y = enaEqu.truArrCon.y1[$i1] and enaEqu.isReqAltAva[$i1].y; ($RES_SIM_201) (635|1097) [----] end for; (636|1100) [FOR-] (3) ($RES_SIM_117) (636|1100) [----] for $i1 in 1:3 loop (636|1100) [----] [SCAL] (1) staEqu[$i1].onToOff.t = if staEqu[$i1].onToOff.enableFire then staEqu[$i1].onToOff.t_dummy else 0.0; ($RES_SIM_118) (636|1100) [----] end for; (637|1103) [FOR-] (3) ($RES_SIM_115) (637|1103) [----] for $i1 in 1:3 loop (637|1103) [----] [SCAL] (1) staEqu[$i1].onToOff.t_dummy = time - staEqu[$i1].onToOff.t_start; ($RES_SIM_116) (637|1103) [----] end for; (638|1106) [FOR-] (3) ($RES_SIM_113) (638|1106) [----] for $i1 in 1:3 loop (638|1106) [----] [WHEN] (1) ($RES_SIM_114) (638|1106) [----] [----] when staEqu[$i1].onToOff.enableFire then (638|1106) [----] [----] staEqu[$i1].onToOff.t_start := time (638|1106) [----] [----] end when; (638|1106) [----] end for; (639|1109) [FOR-] (5) ($RES_SIM_1179) (639|1109) [----] for $f5 in 1:5 loop (639|1109) [----] [SCAL] (1) idxSta.rep2.y[$f5] = $SEV_9[$f5]; ($RES_SIM_1180) (639|1109) [----] end for; (640|1114) [FOR-] (3) ($RES_SIM_111) (640|1114) [----] for $i1 in 1:3 loop (640|1114) [----] [SCAL] (1) staEqu[$i1].onToOff.enableFire = (staEqu[$i1].onToOff.localCondition and staEqu[$i1].onToOff.inPort.available) and not staEqu[$i1].onToOff.outPort.occupied; ($RES_SIM_112) (640|1114) [----] end for; (641|1117) [FOR-] (5) ($RES_SIM_1177) (641|1117) [----] for $f4 in 1:5 loop (641|1117) [----] [SCAL] (1) idxSta.rep.y[$f4] = idxSta.upOrDow.y; ($RES_SIM_1178) (641|1117) [----] end for; (642|1122) [FOR-] (3) ($RES_SIM_1175) (642|1122) [----] for $f3 in 1:3 loop (642|1122) [----] [SCAL] (1) chaSta.intScaRep2.y[$f3] = chaSta.maxInt1.y; ($RES_SIM_1176) (642|1122) [----] end for; (643|1125) [FOR-] (5) ($RES_SIM_1173) (643|1125) [----] for $f2 in 1:5 loop (643|1125) [----] [SCAL] (1) chaSta.intScaRep1.y[$f2] = chaSta.uSta; ($RES_SIM_1174) (643|1125) [----] end for; (644|1130) [SCAL] (1) chaSta.traMatStaEqu[2, 1].y = chaSta.reqEquSta[2].u[1]; ($RES_SIM_1089) (645|1131) [SCAL] (1) chaSta.traMatStaEqu[2, 2].y = chaSta.reqEquStaLow[2].u[2]; ($RES_SIM_1088) (646|1132) [FOR-] (3) ($RES_SIM_1171) (646|1132) [----] for $f1 in 1:3 loop (646|1132) [----] [SCAL] (1) chaSta.intScaRep.y[$f1] = chaSta.intScaRep.u; ($RES_SIM_1172) (646|1132) [----] end for; (647|1135) [SCAL] (1) chaSta.traMatStaEqu[2, 2].y = chaSta.reqEquSta[2].u[2]; ($RES_SIM_1087) (648|1136) [SCAL] (1) chaSta.traMatStaEqu[2, 3].y = chaSta.reqEquStaLow[2].u[3]; ($RES_SIM_1086) (649|1137) [SCAL] (1) chaSta.traMatStaEqu[2, 3].y = chaSta.reqEquSta[2].u[3]; ($RES_SIM_1085) (650|1138) [SCAL] (1) chaSta.traMatStaEqu[2, 4].y = chaSta.reqEquStaLow[2].u[4]; ($RES_SIM_1084) (651|1139) [SCAL] (1) chaSta.traMatStaEqu[2, 4].y = chaSta.reqEquSta[2].u[4]; ($RES_SIM_1083) (652|1140) [SCAL] (1) chaSta.traMatStaEqu[2, 5].y = chaSta.reqEquStaLow[2].u[5]; ($RES_SIM_1082) (653|1141) [SCAL] (1) chaSta.traMatStaEqu[2, 5].y = chaSta.reqEquSta[2].u[5]; ($RES_SIM_1081) (654|1142) [SCAL] (1) chaSta.traMatStaEqu[3, 1].y = chaSta.reqEquStaLow[3].u[1]; ($RES_SIM_1080) (655|1143) [FOR-] (3) ($RES_SIM_105) (655|1143) [----] for $i1 in 1:3 loop (655|1143) [----] [SCAL] (1) staEqu[$i1].notY1.y = not staEqu[$i1].notY1.u; ($RES_SIM_106) (655|1143) [----] end for; (656|1146) [FOR-] (3) ($RES_SIM_103) (656|1146) [----] for $i1 in 1:3 loop (656|1146) [----] [SCAL] (1) comSta.enaAndOn[$i1].y = comSta.enaAndOn[$i1].u1 and comSta.enaAndOn[$i1].u2; ($RES_SIM_104) (656|1146) [----] end for; (657|1149) [FOR-] (3) ($RES_SIM_101) (657|1149) [----] for $i1 in 1:3 loop (657|1149) [----] [SCAL] (1) comSta.disAndOff[$i1].y = not (comSta.disAndOff[$i1].u1 or comSta.disAndOff[$i1].u2); ($RES_SIM_102) (657|1149) [----] end for; (658|1152) [SCAL] (1) comSta.allTru.uTemp[1] = comSta.onOrOff[1].y; ($RES_SIM_100) (659|1153) [SCAL] (1) chaSta.traMatStaEqu[3, 1].y = chaSta.reqEquSta[3].u[1]; ($RES_SIM_1079) (660|1154) [SCAL] (1) chaSta.traMatStaEqu[3, 2].y = chaSta.reqEquStaLow[3].u[2]; ($RES_SIM_1078) (661|1155) [SCAL] (1) chaSta.traMatStaEqu[3, 2].y = chaSta.reqEquSta[3].u[2]; ($RES_SIM_1077) (662|1156) [SCAL] (1) chaSta.traMatStaEqu[3, 3].y = chaSta.reqEquStaLow[3].u[3]; ($RES_SIM_1076) (663|1157) [SCAL] (1) chaSta.traMatStaEqu[3, 3].y = chaSta.reqEquSta[3].u[3]; ($RES_SIM_1075) (664|1158) [SCAL] (1) chaSta.traMatStaEqu[3, 4].y = chaSta.reqEquStaLow[3].u[4]; ($RES_SIM_1074) (665|1159) [SCAL] (1) chaSta.traMatStaEqu[3, 4].y = chaSta.reqEquSta[3].u[4]; ($RES_SIM_1073) (666|1160) [SCAL] (1) chaSta.traMatStaEqu[3, 5].y = chaSta.reqEquStaLow[3].u[5]; ($RES_SIM_1072) (667|1161) [SCAL] (1) chaSta.traMatStaEqu[3, 5].y = chaSta.reqEquSta[3].u[5]; ($RES_SIM_1071) (668|1162) [SCAL] (1) chaSta.capEquPar[1].y = chaSta.capEquStaLow[1].u1; ($RES_SIM_1069) (669|1163) [SCAL] (1) chaSta.capEquPar[1].y = chaSta.capEquSta[1].u2; ($RES_SIM_1068) (670|1164) [SCAL] (1) chaSta.capEquPar[2].y = chaSta.capEquStaLow[2].u1; ($RES_SIM_1067) (671|1165) [SCAL] (1) chaSta.capEquPar[2].y = chaSta.capEquSta[2].u2; ($RES_SIM_1066) (672|1166) [SCAL] (1) chaSta.capEquPar[3].y = chaSta.capEquStaLow[3].u1; ($RES_SIM_1065) (673|1167) [SCAL] (1) chaSta.capEquPar[3].y = chaSta.capEquSta[3].u2; ($RES_SIM_1064) (674|1168) [SCAL] (1) $FUN_1 = Modelica.Blocks.Tables.Internal.getTimeTableValueNoDer2(ratV_flow.tab.tableID, 1, 0.001 * time, ratV_flow.tab.nextTimeEventScaled, $TEV_7); ($RES_AUX_1209) (675|1169) [SCAL] (1) $FUN_2 = Modelica.Math.BooleanVectors.anyTrue(idxSta.staToSta0.fire); ($RES_AUX_1208) (676|1170) [SCAL] (1) $FUN_3 = Modelica.Math.BooleanVectors.anyTrue(idxSta.sta0ToSta.fire); ($RES_AUX_1207) (677|1171) [FOR-] (5) ($RES_AUX_1205) (677|1171) [----] for $i1 in 1:5 loop (677|1171) [----] [SCAL] (1) $FUN_4[$i1] = Modelica.Math.BooleanVectors.anyTrue(idxSta.sta[$i1].inPort.set); ($RES_AUX_1206) (677|1171) [----] end for; (678|1176) [FOR-] (5) ($RES_AUX_1203) (678|1176) [----] for $i1 in 1:5 loop (678|1176) [----] [SCAL] (1) $FUN_5[$i1] = Modelica.Math.BooleanVectors.anyTrue(idxSta.sta[$i1].outPort.reset); ($RES_AUX_1204) (678|1176) [----] end for; (679|1181) [FOR-] (3) ($RES_AUX_1201) (679|1181) [----] for $i1 in 1:3 loop (679|1181) [----] [SCAL] (1) $FUN_6[$i1] = Modelica.Math.BooleanVectors.anyTrue(staEqu[$i1].off.inPort.set); ($RES_AUX_1202) (679|1181) [----] end for; (680|1184) [SCAL] (1) chaSta.traMatStaEqu[1, 1].y = chaSta.reqEquStaLow[1].u[1]; ($RES_SIM_1100) (681|1185) [SCAL] (1) idxSta.sta[1].outerStatePort.subgraphStatePort.resume = false; ($RES_SIM_1008) (682|1186) [SCAL] (1) idxSta.sta[1].outerStatePort.subgraphStatePort.resume = idxSta.sta[2].outerStatePort.subgraphStatePort.resume; ($RES_SIM_1007) (683|1187) [SCAL] (1) idxSta.sta[1].outerStatePort.subgraphStatePort.resume = idxSta.sta[3].outerStatePort.subgraphStatePort.resume; ($RES_SIM_1006) (684|1188) [SCAL] (1) idxSta.sta[1].outerStatePort.subgraphStatePort.resume = idxSta.sta[4].outerStatePort.subgraphStatePort.resume; ($RES_SIM_1005) (685|1189) [SCAL] (1) idxSta.sta[1].outerStatePort.subgraphStatePort.resume = idxSta.sta[5].outerStatePort.subgraphStatePort.resume; ($RES_SIM_1004) (686|1190) [SCAL] (1) idxSta.sta[1].outerStatePort.subgraphStatePort.resume = idxSta.sta0.outerStatePort.subgraphStatePort.resume; ($RES_SIM_1003) (687|1191) [SCAL] (1) idxSta.sta[1].outerStatePort.subgraphStatePort.suspend = false; ($RES_SIM_1002) (688|1192) [SCAL] (1) idxSta.sta[1].outerStatePort.subgraphStatePort.suspend = idxSta.sta[2].outerStatePort.subgraphStatePort.suspend; ($RES_SIM_1001) (689|1193) [SCAL] (1) idxSta.sta[1].outerStatePort.subgraphStatePort.suspend = idxSta.sta[3].outerStatePort.subgraphStatePort.suspend; ($RES_SIM_1000) (690|1194) [SCAL] (1) idxSta.sta[1].outerStatePort.subgraphStatePort.suspend = idxSta.sta[4].outerStatePort.subgraphStatePort.suspend; ($RES_SIM_999) (691|1195) [SCAL] (1) idxSta.sta[1].outerStatePort.subgraphStatePort.suspend = idxSta.sta[5].outerStatePort.subgraphStatePort.suspend; ($RES_SIM_998) (692|1196) [SCAL] (1) idxSta.sta[1].outerStatePort.subgraphStatePort.suspend = idxSta.sta0.outerStatePort.subgraphStatePort.suspend; ($RES_SIM_997) (693|1197) [SCAL] (1) idxSta.tim[5].passed = idxSta.pas[5].y; ($RES_SIM_988) (694|1198) [SCAL] (1) idxSta.tim[4].passed = idxSta.pas[4].y; ($RES_SIM_987) (695|1199) [SCAL] (1) idxSta.tim[3].passed = idxSta.pas[3].y; ($RES_SIM_986) (696|1200) [SCAL] (1) idxSta.tim[2].passed = idxSta.pas[2].y; ($RES_SIM_985) (697|1201) [SCAL] (1) idxSta.tim[1].passed = idxSta.pas[1].y; ($RES_SIM_984) (698|1202) [SCAL] (1) idxSta.staToSta[3, 5].fire = idxSta.sta[5].inPort[3].set; ($RES_SIM_899) (699|1203) [SCAL] (1) idxSta.sta[3].outPort[5].available = idxSta.staToSta[3, 5].inPort.available; ($RES_SIM_898) (700|1204) [SCAL] (1) idxSta.sta[3].outPort[5].reset = idxSta.staToSta[3, 5].fire; ($RES_SIM_897) (701|1205) [SCAL] (1) idxSta.staToSta[4, 1].outPort.occupied = idxSta.sta[1].inPort[4].occupied; ($RES_SIM_896) (702|1206) [SCAL] (1) idxSta.staToSta[4, 1].fire = idxSta.sta[1].inPort[4].set; ($RES_SIM_895) (703|1207) [SCAL] (1) idxSta.sta[4].outPort[1].available = idxSta.staToSta[4, 1].inPort.available; ($RES_SIM_894) (704|1208) [SCAL] (1) idxSta.sta[4].outPort[1].reset = idxSta.staToSta[4, 1].fire; ($RES_SIM_893) (705|1209) [SCAL] (1) idxSta.staToSta[4, 2].outPort.occupied = idxSta.sta[2].inPort[4].occupied; ($RES_SIM_892) (706|1210) [SCAL] (1) idxSta.staToSta[4, 2].fire = idxSta.sta[2].inPort[4].set; ($RES_SIM_891) (707|1211) [SCAL] (1) idxSta.sta[4].outPort[2].available = idxSta.staToSta[4, 2].inPort.available; ($RES_SIM_890) =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 447 var 2 --> eqn 306 var 3 --> eqn 307 var 4 --> eqn 308 var 5 --> eqn 439 var 6 --> eqn 518 var 7 --> eqn 520 var 8 --> eqn 506 var 9 --> eqn 507 var 10 --> eqn 508 var 11 --> eqn 509 var 12 --> eqn 510 var 13 --> eqn 269 var 14 --> eqn 265 var 15 --> eqn 261 var 16 --> eqn 1185 var 17 --> eqn 1186 var 18 --> eqn 1187 var 19 --> eqn 1188 var 20 --> eqn 1189 var 21 --> eqn 1040 var 22 --> eqn 1045 var 23 --> eqn 1050 var 24 --> eqn 1055 var 25 --> eqn 1060 var 26 --> eqn 1041 var 27 --> eqn 1046 var 28 --> eqn 1051 var 29 --> eqn 1056 var 30 --> eqn 1061 var 31 --> eqn 1042 var 32 --> eqn 1047 var 33 --> eqn 1052 var 34 --> eqn 1057 var 35 --> eqn 1062 var 36 --> eqn 1043 var 37 --> eqn 1048 var 38 --> eqn 1053 var 39 --> eqn 1058 var 40 --> eqn 1063 var 41 --> eqn 1044 var 42 --> eqn 1049 var 43 --> eqn 1054 var 44 --> eqn 1059 var 45 --> eqn 1064 var 46 --> eqn 637 var 47 --> eqn 644 var 48 --> eqn 688 var 49 --> eqn 338 var 50 --> eqn 339 var 51 --> eqn 340 var 52 --> eqn 341 var 53 --> eqn 342 var 54 --> eqn 438 var 55 --> eqn 455 var 56 --> eqn 178 var 57 --> eqn 172 var 58 --> eqn 121 var 59 --> eqn 530 var 60 --> eqn 531 var 61 --> eqn 532 var 62 --> eqn 533 var 63 --> eqn 534 var 64 --> eqn 458 var 65 --> eqn 459 var 66 --> eqn 460 var 67 --> eqn 461 var 68 --> eqn 462 var 69 --> eqn 1201 var 70 --> eqn 1200 var 71 --> eqn 1199 var 72 --> eqn 1198 var 73 --> eqn 1197 var 74 --> eqn 92 var 75 --> eqn 140 var 76 --> eqn 146 var 77 --> eqn 151 var 78 --> eqn 153 var 79 --> eqn 574 var 80 --> eqn 580 var 81 --> eqn 586 var 82 --> eqn 223 var 83 --> eqn 224 var 84 --> eqn 225 var 85 --> eqn 914 var 86 --> eqn 600 var 87 --> eqn 13 var 88 --> eqn 20 var 89 --> eqn 35 var 90 --> eqn 42 var 91 --> eqn 1012 var 92 --> eqn 1013 var 93 --> eqn 1014 var 94 --> eqn 25 var 95 --> eqn 24 var 96 --> eqn 6 var 97 --> eqn 4 var 98 --> eqn 2 var 99 --> eqn 831 var 100 --> eqn 832 var 101 --> eqn 833 var 102 --> eqn 834 var 103 --> eqn 835 var 104 --> eqn 1001 var 105 --> eqn 1002 var 106 --> eqn 1003 var 107 --> eqn 312 var 108 --> eqn 992 var 109 --> eqn 993 var 110 --> eqn 994 var 111 --> eqn 1181 var 112 --> eqn 1182 var 113 --> eqn 1183 var 114 --> eqn 425 var 115 --> eqn 296 var 116 --> eqn 292 var 117 --> eqn 1176 var 118 --> eqn 1177 var 119 --> eqn 1178 var 120 --> eqn 1179 var 121 --> eqn 1180 var 122 --> eqn 1171 var 123 --> eqn 1172 var 124 --> eqn 1173 var 125 --> eqn 1174 var 126 --> eqn 1175 var 127 --> eqn 836 var 128 --> eqn 147 var 129 --> eqn 838 var 130 --> eqn 203 var 131 --> eqn 888 var 132 --> eqn 560 var 133 --> eqn 105 var 134 --> eqn 157 var 135 --> eqn 167 var 136 --> eqn 154 var 137 --> eqn 162 var 138 --> eqn 176 var 139 --> eqn 156 var 140 --> eqn 163 var 141 --> eqn 255 var 142 --> eqn 1170 var 143 --> eqn 1169 var 144 --> eqn 1168 var 145 --> eqn 517 var 146 --> eqn 277 var 147 --> eqn 278 var 148 --> eqn 279 var 149 --> eqn 280 var 150 --> eqn 281 var 151 --> eqn 282 var 152 --> eqn 283 var 153 --> eqn 284 var 154 --> eqn 285 var 155 --> eqn 286 var 156 --> eqn 287 var 157 --> eqn 288 var 158 --> eqn 289 var 159 --> eqn 290 var 160 --> eqn 291 var 161 --> eqn 1125 var 162 --> eqn 1126 var 163 --> eqn 1127 var 164 --> eqn 1128 var 165 --> eqn 1129 var 166 --> eqn 865 var 167 --> eqn 1163 var 168 --> eqn 1165 var 169 --> eqn 1167 var 170 --> eqn 1092 var 171 --> eqn 205 var 172 --> eqn 206 var 173 --> eqn 207 var 174 --> eqn 327 var 175 --> eqn 950 var 176 --> eqn 953 var 177 --> eqn 954 var 178 --> eqn 159 var 179 --> eqn 160 var 180 --> eqn 161 var 181 --> eqn 235 var 182 --> eqn 236 var 183 --> eqn 237 var 184 --> eqn 571 var 185 --> eqn 572 var 186 --> eqn 573 var 187 --> eqn 597 var 188 --> eqn 593 var 189 --> eqn 469 var 190 --> eqn 468 var 191 --> eqn 467 var 192 --> eqn 634 var 193 --> eqn 635 var 194 --> eqn 636 var 195 --> eqn 568 var 196 --> eqn 215 var 197 --> eqn 95 var 198 --> eqn 97 var 199 --> eqn 102 var 200 --> eqn 603 var 201 --> eqn 649 var 202 --> eqn 822 var 203 --> eqn 998 var 204 --> eqn 999 var 205 --> eqn 1000 var 206 --> eqn 256 var 207 --> eqn 344 var 208 --> eqn 378 var 209 --> eqn 410 var 210 --> eqn 413 var 211 --> eqn 1093 var 212 --> eqn 346 var 213 --> eqn 347 var 214 --> eqn 348 var 215 --> eqn 349 var 216 --> eqn 350 var 217 --> eqn 351 var 218 --> eqn 352 var 219 --> eqn 353 var 220 --> eqn 354 var 221 --> eqn 355 var 222 --> eqn 356 var 223 --> eqn 357 var 224 --> eqn 358 var 225 --> eqn 359 var 226 --> eqn 360 var 227 --> eqn 361 var 228 --> eqn 362 var 229 --> eqn 363 var 230 --> eqn 364 var 231 --> eqn 365 var 232 --> eqn 366 var 233 --> eqn 367 var 234 --> eqn 368 var 235 --> eqn 369 var 236 --> eqn 370 var 237 --> eqn 371 var 238 --> eqn 372 var 239 --> eqn 373 var 240 --> eqn 374 var 241 --> eqn 375 var 242 --> eqn 1103 var 243 --> eqn 1104 var 244 --> eqn 1105 var 245 --> eqn 334 var 246 --> eqn 611 var 247 --> eqn 612 var 248 --> eqn 613 var 249 --> eqn 614 var 250 --> eqn 615 var 251 --> eqn 699 var 252 --> eqn 700 var 253 --> eqn 701 var 254 --> eqn 190 var 255 --> eqn 193 var 256 --> eqn 197 var 257 --> eqn 787 var 258 --> eqn 882 var 259 --> eqn 883 var 260 --> eqn 884 var 261 --> eqn 974 var 262 --> eqn 975 var 263 --> eqn 976 var 264 --> eqn 320 var 265 --> eqn 321 var 266 --> eqn 322 var 267 --> eqn 323 var 268 --> eqn 324 var 269 --> eqn 576 var 270 --> eqn 577 var 271 --> eqn 578 var 272 --> eqn 482 var 273 --> eqn 528 var 274 --> eqn 579 var 275 --> eqn 585 var 276 --> eqn 777 var 277 --> eqn 769 var 278 --> eqn 694 var 279 --> eqn 965 var 280 --> eqn 812 var 281 --> eqn 813 var 282 --> eqn 814 var 283 --> eqn 945 var 284 --> eqn 946 var 285 --> eqn 947 var 286 --> eqn 948 var 287 --> eqn 949 var 288 --> eqn 815 var 289 --> eqn 820 var 290 --> eqn 823 var 291 --> eqn 917 var 292 --> eqn 918 var 293 --> eqn 919 var 294 --> eqn 920 var 295 --> eqn 921 var 296 --> eqn 922 var 297 --> eqn 923 var 298 --> eqn 924 var 299 --> eqn 925 var 300 --> eqn 926 var 301 --> eqn 927 var 302 --> eqn 928 var 303 --> eqn 929 var 304 --> eqn 930 var 305 --> eqn 931 var 306 --> eqn 691 var 307 --> eqn 692 var 308 --> eqn 693 var 309 --> eqn 747 var 310 --> eqn 748 var 311 --> eqn 749 var 312 --> eqn 750 var 313 --> eqn 751 var 314 --> eqn 648 var 315 --> eqn 630 var 316 --> eqn 936 var 317 --> eqn 937 var 318 --> eqn 938 var 319 --> eqn 424 var 320 --> eqn 428 var 321 --> eqn 513 var 322 --> eqn 840 var 323 --> eqn 841 var 324 --> eqn 842 var 325 --> eqn 843 var 326 --> eqn 844 var 327 --> eqn 845 var 328 --> eqn 846 var 329 --> eqn 847 var 330 --> eqn 848 var 331 --> eqn 849 var 332 --> eqn 850 var 333 --> eqn 851 var 334 --> eqn 852 var 335 --> eqn 853 var 336 --> eqn 854 var 337 --> eqn 855 var 338 --> eqn 856 var 339 --> eqn 857 var 340 --> eqn 858 var 341 --> eqn 859 var 342 --> eqn 860 var 343 --> eqn 861 var 344 --> eqn 862 var 345 --> eqn 863 var 346 --> eqn 864 var 347 --> eqn 202 var 348 --> eqn 478 var 349 --> eqn 1065 var 350 --> eqn 1072 var 351 --> eqn 1074 var 352 --> eqn 1076 var 353 --> eqn 1078 var 354 --> eqn 1130 var 355 --> eqn 1135 var 356 --> eqn 1137 var 357 --> eqn 1139 var 358 --> eqn 1141 var 359 --> eqn 1153 var 360 --> eqn 1155 var 361 --> eqn 1157 var 362 --> eqn 1159 var 363 --> eqn 1161 var 364 --> eqn 465 var 365 --> eqn 720 var 366 --> eqn 582 var 367 --> eqn 583 var 368 --> eqn 584 var 369 --> eqn 687 var 370 --> eqn 606 var 371 --> eqn 244 var 372 --> eqn 608 var 373 --> eqn 313 var 374 --> eqn 610 var 375 --> eqn 299 var 376 --> eqn 300 var 377 --> eqn 301 var 378 --> eqn 935 var 379 --> eqn 436 var 380 --> eqn 431 var 381 --> eqn 429 var 382 --> eqn 93 var 383 --> eqn 143 var 384 --> eqn 149 var 385 --> eqn 152 var 386 --> eqn 155 var 387 --> eqn 605 var 388 --> eqn 446 var 389 --> eqn 445 var 390 --> eqn 444 var 391 --> eqn 53 var 392 --> eqn 63 var 393 --> eqn 120 var 394 --> eqn 126 var 395 --> eqn 184 var 396 --> eqn 194 var 397 --> eqn 210 var 398 --> eqn 295 var 399 --> eqn 310 var 400 --> eqn 434 var 401 --> eqn 448 var 402 --> eqn 480 var 403 --> eqn 527 var 404 --> eqn 543 var 405 --> eqn 1203 var 406 --> eqn 1207 var 407 --> eqn 1211 var 408 --> eqn 7 var 409 --> eqn 12 var 410 --> eqn 27 var 411 --> eqn 31 var 412 --> eqn 38 var 413 --> eqn 64 var 414 --> eqn 74 var 415 --> eqn 127 var 416 --> eqn 939 var 417 --> eqn 940 var 418 --> eqn 941 var 419 --> eqn 187 var 420 --> eqn 633 var 421 --> eqn 643 var 422 --> eqn 680 var 423 --> eqn 319 var 424 --> eqn 260 var 425 --> eqn 262 var 426 --> eqn 264 var 427 --> eqn 789 var 428 --> eqn 266 var 429 --> eqn 655 var 430 --> eqn 268 var 431 --> eqn 270 var 432 --> eqn 158 var 433 --> eqn 233 var 434 --> eqn 246 var 435 --> eqn 249 var 436 --> eqn 252 var 437 --> eqn 273 var 438 --> eqn 885 var 439 --> eqn 886 var 440 --> eqn 887 var 441 --> eqn 276 var 442 --> eqn 656 var 443 --> eqn 419 var 444 --> eqn 650 var 445 --> eqn 421 var 446 --> eqn 785 var 447 --> eqn 50 var 448 --> eqn 49 var 449 --> eqn 47 var 450 --> eqn 765 var 451 --> eqn 913 var 452 --> eqn 971 var 453 --> eqn 972 var 454 --> eqn 973 var 455 --> eqn 601 var 456 --> eqn 15 var 457 --> eqn 21 var 458 --> eqn 37 var 459 --> eqn 44 var 460 --> eqn 1004 var 461 --> eqn 1005 var 462 --> eqn 1006 var 463 --> eqn 11 var 464 --> eqn 19 var 465 --> eqn 33 var 466 --> eqn 41 var 467 --> eqn 73 var 468 --> eqn 183 var 469 --> eqn 181 var 470 --> eqn 180 var 471 --> eqn 45 var 472 --> eqn 43 var 473 --> eqn 681 var 474 --> eqn 816 var 475 --> eqn 817 var 476 --> eqn 818 var 477 --> eqn 504 var 478 --> eqn 505 var 479 --> eqn 512 var 480 --> eqn 514 var 481 --> eqn 516 var 482 --> eqn 1184 var 483 --> eqn 1066 var 484 --> eqn 1073 var 485 --> eqn 1075 var 486 --> eqn 1077 var 487 --> eqn 1079 var 488 --> eqn 1131 var 489 --> eqn 1136 var 490 --> eqn 1138 var 491 --> eqn 1140 var 492 --> eqn 1142 var 493 --> eqn 1154 var 494 --> eqn 1156 var 495 --> eqn 1158 var 496 --> eqn 1160 var 497 --> eqn 819 var 498 --> eqn 821 var 499 --> eqn 825 var 500 --> eqn 329 var 501 --> eqn 330 var 502 --> eqn 331 var 503 --> eqn 332 var 504 --> eqn 333 var 505 --> eqn 983 var 506 --> eqn 984 var 507 --> eqn 985 var 508 --> eqn 766 var 509 --> eqn 767 var 510 --> eqn 768 var 511 --> eqn 199 var 512 --> eqn 958 var 513 --> eqn 894 var 514 --> eqn 895 var 515 --> eqn 896 var 516 --> eqn 897 var 517 --> eqn 898 var 518 --> eqn 474 var 519 --> eqn 475 var 520 --> eqn 476 var 521 --> eqn 616 var 522 --> eqn 617 var 523 --> eqn 618 var 524 --> eqn 619 var 525 --> eqn 620 var 526 --> eqn 175 var 527 --> eqn 169 var 528 --> eqn 119 var 529 --> eqn 638 var 530 --> eqn 952 var 531 --> eqn 1007 var 532 --> eqn 1008 var 533 --> eqn 1009 var 534 --> eqn 1010 var 535 --> eqn 1011 var 536 --> eqn 1122 var 537 --> eqn 1123 var 538 --> eqn 1124 var 539 --> eqn 463 var 540 --> eqn 758 var 541 --> eqn 759 var 542 --> eqn 760 var 543 --> eqn 761 var 544 --> eqn 762 var 545 --> eqn 980 var 546 --> eqn 981 var 547 --> eqn 982 var 548 --> eqn 594 var 549 --> eqn 595 var 550 --> eqn 596 var 551 --> eqn 951 var 552 --> eqn 433 var 553 --> eqn 430 var 554 --> eqn 427 var 555 --> eqn 1146 var 556 --> eqn 1147 var 557 --> eqn 1148 var 558 --> eqn 483 var 559 --> eqn 488 var 560 --> eqn 492 var 561 --> eqn 496 var 562 --> eqn 544 var 563 --> eqn 311 var 564 --> eqn 599 var 565 --> eqn 970 var 566 --> eqn 664 var 567 --> eqn 959 var 568 --> eqn 960 var 569 --> eqn 961 var 570 --> eqn 962 var 571 --> eqn 963 var 572 --> eqn 1015 var 573 --> eqn 1016 var 574 --> eqn 1017 var 575 --> eqn 1018 var 576 --> eqn 1019 var 577 --> eqn 1020 var 578 --> eqn 1021 var 579 --> eqn 1022 var 580 --> eqn 1023 var 581 --> eqn 1024 var 582 --> eqn 1025 var 583 --> eqn 1026 var 584 --> eqn 1027 var 585 --> eqn 1028 var 586 --> eqn 1029 var 587 --> eqn 1030 var 588 --> eqn 1031 var 589 --> eqn 1032 var 590 --> eqn 1033 var 591 --> eqn 1034 var 592 --> eqn 1035 var 593 --> eqn 1036 var 594 --> eqn 1037 var 595 --> eqn 1038 var 596 --> eqn 1039 var 597 --> eqn 526 var 598 --> eqn 575 var 599 --> eqn 581 var 600 --> eqn 602 var 601 --> eqn 17 var 602 --> eqn 22 var 603 --> eqn 39 var 604 --> eqn 46 var 605 --> eqn 666 var 606 --> eqn 866 var 607 --> eqn 867 var 608 --> eqn 868 var 609 --> eqn 869 var 610 --> eqn 870 var 611 --> eqn 472 var 612 --> eqn 899 var 613 --> eqn 956 var 614 --> eqn 1100 var 615 --> eqn 1101 var 616 --> eqn 1102 var 617 --> eqn 211 var 618 --> eqn 343 var 619 --> eqn 376 var 620 --> eqn 409 var 621 --> eqn 411 var 622 --> eqn 415 var 623 --> eqn 191 var 624 --> eqn 188 var 625 --> eqn 185 var 626 --> eqn 654 var 627 --> eqn 658 var 628 --> eqn 227 var 629 --> eqn 546 var 630 --> eqn 547 var 631 --> eqn 548 var 632 --> eqn 549 var 633 --> eqn 550 var 634 --> eqn 653 var 635 --> eqn 553 var 636 --> eqn 554 var 637 --> eqn 555 var 638 --> eqn 556 var 639 --> eqn 557 var 640 --> eqn 795 var 641 --> eqn 796 var 642 --> eqn 797 var 643 --> eqn 798 var 644 --> eqn 799 var 645 --> eqn 315 var 646 --> eqn 657 var 647 --> eqn 587 var 648 --> eqn 588 var 649 --> eqn 589 var 650 --> eqn 590 var 651 --> eqn 591 var 652 --> eqn 784 var 653 --> eqn 454 var 654 --> eqn 98 var 655 --> eqn 771 var 656 --> eqn 695 var 657 --> eqn 966 var 658 --> eqn 669 var 659 --> eqn 667 var 660 --> eqn 665 var 661 --> eqn 632 var 662 --> eqn 641 var 663 --> eqn 678 var 664 --> eqn 485 var 665 --> eqn 809 var 666 --> eqn 810 var 667 --> eqn 811 var 668 --> eqn 629 var 669 --> eqn 622 var 670 --> eqn 621 var 671 --> eqn 696 var 672 --> eqn 697 var 673 --> eqn 1086 var 674 --> eqn 1080 var 675 --> eqn 1081 var 676 --> eqn 1087 var 677 --> eqn 1082 var 678 --> eqn 1083 var 679 --> eqn 1088 var 680 --> eqn 1084 var 681 --> eqn 1085 var 682 --> eqn 216 var 683 --> eqn 218 var 684 --> eqn 222 var 685 --> eqn 226 var 686 --> eqn 232 var 687 --> eqn 752 var 688 --> eqn 753 var 689 --> eqn 754 var 690 --> eqn 755 var 691 --> eqn 756 var 692 --> eqn 1143 var 693 --> eqn 1144 var 694 --> eqn 1145 var 695 --> eqn 562 var 696 --> eqn 909 var 697 --> eqn 559 var 698 --> eqn 779 var 699 --> eqn 780 var 700 --> eqn 781 var 701 --> eqn 94 var 702 --> eqn 96 var 703 --> eqn 99 var 704 --> eqn 957 var 705 --> eqn 679 var 706 --> eqn 677 var 707 --> eqn 670 var 708 --> eqn 422 var 709 --> eqn 426 var 710 --> eqn 511 var 711 --> eqn 663 var 712 --> eqn 660 var 713 --> eqn 659 var 714 --> eqn 1196 var 715 --> eqn 1094 var 716 --> eqn 1095 var 717 --> eqn 1096 var 718 --> eqn 955 var 719 --> eqn 412 var 720 --> eqn 416 var 721 --> eqn 418 var 722 --> eqn 473 var 723 --> eqn 561 var 724 --> eqn 51 var 725 --> eqn 56 var 726 --> eqn 115 var 727 --> eqn 123 var 728 --> eqn 131 var 729 --> eqn 189 var 730 --> eqn 201 var 731 --> eqn 275 var 732 --> eqn 302 var 733 --> eqn 318 var 734 --> eqn 440 var 735 --> eqn 466 var 736 --> eqn 523 var 737 --> eqn 535 var 738 --> eqn 551 var 739 --> eqn 1205 var 740 --> eqn 1209 var 741 --> eqn 3 var 742 --> eqn 9 var 743 --> eqn 16 var 744 --> eqn 29 var 745 --> eqn 34 var 746 --> eqn 57 var 747 --> eqn 70 var 748 --> eqn 82 var 749 --> eqn 148 var 750 --> eqn 150 var 751 --> eqn 212 var 752 --> eqn 213 var 753 --> eqn 214 var 754 --> eqn 219 var 755 --> eqn 220 var 756 --> eqn 221 var 757 --> eqn 651 var 758 --> eqn 228 var 759 --> eqn 229 var 760 --> eqn 230 var 761 --> eqn 705 var 762 --> eqn 876 var 763 --> eqn 877 var 764 --> eqn 878 var 765 --> eqn 238 var 766 --> eqn 239 var 767 --> eqn 240 var 768 --> eqn 241 var 769 --> eqn 242 var 770 --> eqn 165 var 771 --> eqn 173 var 772 --> eqn 253 var 773 --> eqn 245 var 774 --> eqn 247 var 775 --> eqn 640 var 776 --> eqn 907 var 777 --> eqn 905 var 778 --> eqn 377 var 779 --> eqn 81 var 780 --> eqn 90 var 781 --> eqn 414 var 782 --> eqn 417 var 783 --> eqn 420 var 784 --> eqn 1117 var 785 --> eqn 1118 var 786 --> eqn 1119 var 787 --> eqn 1120 var 788 --> eqn 1121 var 789 --> eqn 558 var 790 --> eqn 710 var 791 --> eqn 790 var 792 --> eqn 791 var 793 --> eqn 792 var 794 --> eqn 793 var 795 --> eqn 794 var 796 --> eqn 916 var 797 --> eqn 442 var 798 --> eqn 519 var 799 --> eqn 521 var 800 --> eqn 570 var 801 --> eqn 652 var 802 --> eqn 524 var 803 --> eqn 325 var 804 --> eqn 231 var 805 --> eqn 243 var 806 --> eqn 248 var 807 --> eqn 250 var 808 --> eqn 254 var 809 --> eqn 464 var 810 --> eqn 716 var 811 --> eqn 824 var 812 --> eqn 1152 var 813 --> eqn 195 var 814 --> eqn 196 var 815 --> eqn 915 var 816 --> eqn 770 var 817 --> eqn 52 var 818 --> eqn 192 var 819 --> eqn 443 var 820 --> eqn 1206 var 821 --> eqn 30 var 822 --> eqn 234 var 823 --> eqn 58 var 824 --> eqn 204 var 825 --> eqn 471 var 826 --> eqn 1210 var 827 --> eqn 36 var 828 --> eqn 487 var 829 --> eqn 118 var 830 --> eqn 293 var 831 --> eqn 525 var 832 --> eqn 5 var 833 --> eqn 62 var 834 --> eqn 309 var 835 --> eqn 124 var 836 --> eqn 303 var 837 --> eqn 536 var 838 --> eqn 10 var 839 --> eqn 72 var 840 --> eqn 481 var 841 --> eqn 182 var 842 --> eqn 432 var 843 --> eqn 1202 var 844 --> eqn 26 var 845 --> eqn 125 var 846 --> eqn 317 var 847 --> eqn 114 var 848 --> eqn 109 var 849 --> eqn 104 var 850 --> eqn 326 var 851 --> eqn 908 var 852 --> eqn 515 var 853 --> eqn 604 var 854 --> eqn 18 var 855 --> eqn 23 var 856 --> eqn 40 var 857 --> eqn 48 var 858 --> eqn 977 var 859 --> eqn 978 var 860 --> eqn 979 var 861 --> eqn 628 var 862 --> eqn 639 var 863 --> eqn 676 var 864 --> eqn 1190 var 865 --> eqn 379 var 866 --> eqn 380 var 867 --> eqn 381 var 868 --> eqn 382 var 869 --> eqn 383 var 870 --> eqn 384 var 871 --> eqn 385 var 872 --> eqn 386 var 873 --> eqn 387 var 874 --> eqn 388 var 875 --> eqn 389 var 876 --> eqn 390 var 877 --> eqn 391 var 878 --> eqn 392 var 879 --> eqn 393 var 880 --> eqn 394 var 881 --> eqn 395 var 882 --> eqn 396 var 883 --> eqn 397 var 884 --> eqn 398 var 885 --> eqn 399 var 886 --> eqn 400 var 887 --> eqn 401 var 888 --> eqn 402 var 889 --> eqn 403 var 890 --> eqn 404 var 891 --> eqn 405 var 892 --> eqn 406 var 893 --> eqn 407 var 894 --> eqn 408 var 895 --> eqn 470 var 896 --> eqn 537 var 897 --> eqn 538 var 898 --> eqn 539 var 899 --> eqn 540 var 900 --> eqn 541 var 901 --> eqn 1191 var 902 --> eqn 1192 var 903 --> eqn 1193 var 904 --> eqn 1194 var 905 --> eqn 1195 var 906 --> eqn 642 var 907 --> eqn 986 var 908 --> eqn 987 var 909 --> eqn 988 var 910 --> eqn 298 var 911 --> eqn 304 var 912 --> eqn 305 var 913 --> eqn 967 var 914 --> eqn 968 var 915 --> eqn 969 var 916 --> eqn 345 var 917 --> eqn 88 var 918 --> eqn 91 var 919 --> eqn 563 var 920 --> eqn 564 var 921 --> eqn 565 var 922 --> eqn 566 var 923 --> eqn 567 var 924 --> eqn 1109 var 925 --> eqn 1110 var 926 --> eqn 1111 var 927 --> eqn 1112 var 928 --> eqn 1113 var 929 --> eqn 631 var 930 --> eqn 661 var 931 --> eqn 662 var 932 --> eqn 826 var 933 --> eqn 827 var 934 --> eqn 828 var 935 --> eqn 829 var 936 --> eqn 830 var 937 --> eqn 707 var 938 --> eqn 708 var 939 --> eqn 709 var 940 --> eqn 964 var 941 --> eqn 711 var 942 --> eqn 712 var 943 --> eqn 713 var 944 --> eqn 1114 var 945 --> eqn 1115 var 946 --> eqn 1116 var 947 --> eqn 714 var 948 --> eqn 717 var 949 --> eqn 718 var 950 --> eqn 719 var 951 --> eqn 59 var 952 --> eqn 60 var 953 --> eqn 61 var 954 --> eqn 806 var 955 --> eqn 807 var 956 --> eqn 808 var 957 --> eqn 65 var 958 --> eqn 66 var 959 --> eqn 67 var 960 --> eqn 69 var 961 --> eqn 71 var 962 --> eqn 75 var 963 --> eqn 76 var 964 --> eqn 77 var 965 --> eqn 78 var 966 --> eqn 79 var 967 --> eqn 932 var 968 --> eqn 933 var 969 --> eqn 934 var 970 --> eqn 911 var 971 --> eqn 456 var 972 --> eqn 871 var 973 --> eqn 328 var 974 --> eqn 592 var 975 --> eqn 721 var 976 --> eqn 552 var 977 --> eqn 316 var 978 --> eqn 423 var 979 --> eqn 294 var 980 --> eqn 274 var 981 --> eqn 54 var 982 --> eqn 112 var 983 --> eqn 122 var 984 --> eqn 128 var 985 --> eqn 186 var 986 --> eqn 144 var 987 --> eqn 198 var 988 --> eqn 272 var 989 --> eqn 297 var 990 --> eqn 314 var 991 --> eqn 437 var 992 --> eqn 497 var 993 --> eqn 457 var 994 --> eqn 522 var 995 --> eqn 529 var 996 --> eqn 545 var 997 --> eqn 1204 var 998 --> eqn 200 var 999 --> eqn 1208 var 1000 --> eqn 1 var 1001 --> eqn 8 var 1002 --> eqn 14 var 1003 --> eqn 28 var 1004 --> eqn 493 var 1005 --> eqn 32 var 1006 --> eqn 55 var 1007 --> eqn 68 var 1008 --> eqn 80 var 1009 --> eqn 130 var 1010 --> eqn 209 var 1011 --> eqn 132 var 1012 --> eqn 134 var 1013 --> eqn 136 var 1014 --> eqn 138 var 1015 --> eqn 141 var 1016 --> eqn 989 var 1017 --> eqn 990 var 1018 --> eqn 991 var 1019 --> eqn 1089 var 1020 --> eqn 1090 var 1021 --> eqn 1091 var 1022 --> eqn 689 var 1023 --> eqn 441 var 1024 --> eqn 1149 var 1025 --> eqn 1150 var 1026 --> eqn 1151 var 1027 --> eqn 83 var 1028 --> eqn 84 var 1029 --> eqn 85 var 1030 --> eqn 86 var 1031 --> eqn 87 var 1032 --> eqn 89 var 1033 --> eqn 129 var 1034 --> eqn 133 var 1035 --> eqn 135 var 1036 --> eqn 137 var 1037 --> eqn 479 var 1038 --> eqn 486 var 1039 --> eqn 490 var 1040 --> eqn 494 var 1041 --> eqn 542 var 1042 --> eqn 623 var 1043 --> eqn 624 var 1044 --> eqn 625 var 1045 --> eqn 626 var 1046 --> eqn 627 var 1047 --> eqn 139 var 1048 --> eqn 142 var 1049 --> eqn 145 var 1050 --> eqn 671 var 1051 --> eqn 672 var 1052 --> eqn 673 var 1053 --> eqn 674 var 1054 --> eqn 675 var 1055 --> eqn 786 var 1056 --> eqn 906 var 1057 --> eqn 100 var 1058 --> eqn 103 var 1059 --> eqn 106 var 1060 --> eqn 682 var 1061 --> eqn 683 var 1062 --> eqn 684 var 1063 --> eqn 685 var 1064 --> eqn 686 var 1065 --> eqn 108 var 1066 --> eqn 110 var 1067 --> eqn 763 var 1068 --> eqn 113 var 1069 --> eqn 879 var 1070 --> eqn 880 var 1071 --> eqn 881 var 1072 --> eqn 116 var 1073 --> eqn 164 var 1074 --> eqn 166 var 1075 --> eqn 569 var 1076 --> eqn 942 var 1077 --> eqn 943 var 1078 --> eqn 944 var 1079 --> eqn 117 var 1080 --> eqn 111 var 1081 --> eqn 107 var 1082 --> eqn 995 var 1083 --> eqn 996 var 1084 --> eqn 997 var 1085 --> eqn 668 var 1086 --> eqn 722 var 1087 --> eqn 723 var 1088 --> eqn 724 var 1089 --> eqn 725 var 1090 --> eqn 726 var 1091 --> eqn 727 var 1092 --> eqn 728 var 1093 --> eqn 729 var 1094 --> eqn 730 var 1095 --> eqn 731 var 1096 --> eqn 732 var 1097 --> eqn 733 var 1098 --> eqn 734 var 1099 --> eqn 735 var 1100 --> eqn 736 var 1101 --> eqn 737 var 1102 --> eqn 738 var 1103 --> eqn 739 var 1104 --> eqn 740 var 1105 --> eqn 741 var 1106 --> eqn 742 var 1107 --> eqn 743 var 1108 --> eqn 744 var 1109 --> eqn 745 var 1110 --> eqn 746 var 1111 --> eqn 872 var 1112 --> eqn 873 var 1113 --> eqn 874 var 1114 --> eqn 1106 var 1115 --> eqn 1107 var 1116 --> eqn 1108 var 1117 --> eqn 170 var 1118 --> eqn 251 var 1119 --> eqn 257 var 1120 --> eqn 703 var 1121 --> eqn 706 var 1122 --> eqn 774 var 1123 --> eqn 778 var 1124 --> eqn 783 var 1125 --> eqn 101 var 1126 --> eqn 772 var 1127 --> eqn 698 var 1128 --> eqn 1162 var 1129 --> eqn 1164 var 1130 --> eqn 1166 var 1131 --> eqn 775 var 1132 --> eqn 764 var 1133 --> eqn 690 var 1134 --> eqn 645 var 1135 --> eqn 646 var 1136 --> eqn 647 var 1137 --> eqn 449 var 1138 --> eqn 450 var 1139 --> eqn 451 var 1140 --> eqn 452 var 1141 --> eqn 453 var 1142 --> eqn 702 var 1143 --> eqn 704 var 1144 --> eqn 773 var 1145 --> eqn 776 var 1146 --> eqn 782 var 1147 --> eqn 168 var 1148 --> eqn 217 var 1149 --> eqn 805 var 1150 --> eqn 171 var 1151 --> eqn 174 var 1152 --> eqn 1097 var 1153 --> eqn 1098 var 1154 --> eqn 1099 var 1155 --> eqn 177 var 1156 --> eqn 179 var 1157 --> eqn 715 var 1158 --> eqn 499 var 1159 --> eqn 500 var 1160 --> eqn 501 var 1161 --> eqn 502 var 1162 --> eqn 503 var 1163 --> eqn 258 var 1164 --> eqn 271 var 1165 --> eqn 267 var 1166 --> eqn 263 var 1167 --> eqn 259 var 1168 --> eqn 337 var 1169 --> eqn 336 var 1170 --> eqn 335 var 1171 --> eqn 910 var 1172 --> eqn 208 var 1173 --> eqn 788 var 1174 --> eqn 757 var 1175 --> eqn 800 var 1176 --> eqn 801 var 1177 --> eqn 802 var 1178 --> eqn 803 var 1179 --> eqn 804 var 1180 --> eqn 912 var 1181 --> eqn 1067 var 1182 --> eqn 1068 var 1183 --> eqn 1069 var 1184 --> eqn 1070 var 1185 --> eqn 1071 var 1186 --> eqn 435 var 1187 --> eqn 598 var 1188 --> eqn 1132 var 1189 --> eqn 1133 var 1190 --> eqn 1134 var 1191 --> eqn 875 equation to variable ********************** eqn 1 --> var 1000 eqn 2 --> var 98 eqn 3 --> var 741 eqn 4 --> var 97 eqn 5 --> var 832 eqn 6 --> var 96 eqn 7 --> var 408 eqn 8 --> var 1001 eqn 9 --> var 742 eqn 10 --> var 838 eqn 11 --> var 463 eqn 12 --> var 409 eqn 13 --> var 87 eqn 14 --> var 1002 eqn 15 --> var 456 eqn 16 --> var 743 eqn 17 --> var 601 eqn 18 --> var 854 eqn 19 --> var 464 eqn 20 --> var 88 eqn 21 --> var 457 eqn 22 --> var 602 eqn 23 --> var 855 eqn 24 --> var 95 eqn 25 --> var 94 eqn 26 --> var 844 eqn 27 --> var 410 eqn 28 --> var 1003 eqn 29 --> var 744 eqn 30 --> var 821 eqn 31 --> var 411 eqn 32 --> var 1005 eqn 33 --> var 465 eqn 34 --> var 745 eqn 35 --> var 89 eqn 36 --> var 827 eqn 37 --> var 458 eqn 38 --> var 412 eqn 39 --> var 603 eqn 40 --> var 856 eqn 41 --> var 466 eqn 42 --> var 90 eqn 43 --> var 472 eqn 44 --> var 459 eqn 45 --> var 471 eqn 46 --> var 604 eqn 47 --> var 449 eqn 48 --> var 857 eqn 49 --> var 448 eqn 50 --> var 447 eqn 51 --> var 724 eqn 52 --> var 817 eqn 53 --> var 391 eqn 54 --> var 981 eqn 55 --> var 1006 eqn 56 --> var 725 eqn 57 --> var 746 eqn 58 --> var 823 eqn 59 --> var 951 eqn 60 --> var 952 eqn 61 --> var 953 eqn 62 --> var 833 eqn 63 --> var 392 eqn 64 --> var 413 eqn 65 --> var 957 eqn 66 --> var 958 eqn 67 --> var 959 eqn 68 --> var 1007 eqn 69 --> var 960 eqn 70 --> var 747 eqn 71 --> var 961 eqn 72 --> var 839 eqn 73 --> var 467 eqn 74 --> var 414 eqn 75 --> var 962 eqn 76 --> var 963 eqn 77 --> var 964 eqn 78 --> var 965 eqn 79 --> var 966 eqn 80 --> var 1008 eqn 81 --> var 779 eqn 82 --> var 748 eqn 83 --> var 1027 eqn 84 --> var 1028 eqn 85 --> var 1029 eqn 86 --> var 1030 eqn 87 --> var 1031 eqn 88 --> var 917 eqn 89 --> var 1032 eqn 90 --> var 780 eqn 91 --> var 918 eqn 92 --> var 74 eqn 93 --> var 382 eqn 94 --> var 701 eqn 95 --> var 197 eqn 96 --> var 702 eqn 97 --> var 198 eqn 98 --> var 654 eqn 99 --> var 703 eqn 100 --> var 1057 eqn 101 --> var 1125 eqn 102 --> var 199 eqn 103 --> var 1058 eqn 104 --> var 849 eqn 105 --> var 133 eqn 106 --> var 1059 eqn 107 --> var 1081 eqn 108 --> var 1065 eqn 109 --> var 848 eqn 110 --> var 1066 eqn 111 --> var 1080 eqn 112 --> var 982 eqn 113 --> var 1068 eqn 114 --> var 847 eqn 115 --> var 726 eqn 116 --> var 1072 eqn 117 --> var 1079 eqn 118 --> var 829 eqn 119 --> var 528 eqn 120 --> var 393 eqn 121 --> var 58 eqn 122 --> var 983 eqn 123 --> var 727 eqn 124 --> var 835 eqn 125 --> var 845 eqn 126 --> var 394 eqn 127 --> var 415 eqn 128 --> var 984 eqn 129 --> var 1033 eqn 130 --> var 1009 eqn 131 --> var 728 eqn 132 --> var 1011 eqn 133 --> var 1034 eqn 134 --> var 1012 eqn 135 --> var 1035 eqn 136 --> var 1013 eqn 137 --> var 1036 eqn 138 --> var 1014 eqn 139 --> var 1047 eqn 140 --> var 75 eqn 141 --> var 1015 eqn 142 --> var 1048 eqn 143 --> var 383 eqn 144 --> var 986 eqn 145 --> var 1049 eqn 146 --> var 76 eqn 147 --> var 128 eqn 148 --> var 749 eqn 149 --> var 384 eqn 150 --> var 750 eqn 151 --> var 77 eqn 152 --> var 385 eqn 153 --> var 78 eqn 154 --> var 136 eqn 155 --> var 386 eqn 156 --> var 139 eqn 157 --> var 134 eqn 158 --> var 432 eqn 159 --> var 178 eqn 160 --> var 179 eqn 161 --> var 180 eqn 162 --> var 137 eqn 163 --> var 140 eqn 164 --> var 1073 eqn 165 --> var 770 eqn 166 --> var 1074 eqn 167 --> var 135 eqn 168 --> var 1147 eqn 169 --> var 527 eqn 170 --> var 1117 eqn 171 --> var 1150 eqn 172 --> var 57 eqn 173 --> var 771 eqn 174 --> var 1151 eqn 175 --> var 526 eqn 176 --> var 138 eqn 177 --> var 1155 eqn 178 --> var 56 eqn 179 --> var 1156 eqn 180 --> var 470 eqn 181 --> var 469 eqn 182 --> var 841 eqn 183 --> var 468 eqn 184 --> var 395 eqn 185 --> var 625 eqn 186 --> var 985 eqn 187 --> var 419 eqn 188 --> var 624 eqn 189 --> var 729 eqn 190 --> var 254 eqn 191 --> var 623 eqn 192 --> var 818 eqn 193 --> var 255 eqn 194 --> var 396 eqn 195 --> var 813 eqn 196 --> var 814 eqn 197 --> var 256 eqn 198 --> var 987 eqn 199 --> var 511 eqn 200 --> var 998 eqn 201 --> var 730 eqn 202 --> var 347 eqn 203 --> var 130 eqn 204 --> var 824 eqn 205 --> var 171 eqn 206 --> var 172 eqn 207 --> var 173 eqn 208 --> var 1172 eqn 209 --> var 1010 eqn 210 --> var 397 eqn 211 --> var 617 eqn 212 --> var 751 eqn 213 --> var 752 eqn 214 --> var 753 eqn 215 --> var 196 eqn 216 --> var 682 eqn 217 --> var 1148 eqn 218 --> var 683 eqn 219 --> var 754 eqn 220 --> var 755 eqn 221 --> var 756 eqn 222 --> var 684 eqn 223 --> var 82 eqn 224 --> var 83 eqn 225 --> var 84 eqn 226 --> var 685 eqn 227 --> var 628 eqn 228 --> var 758 eqn 229 --> var 759 eqn 230 --> var 760 eqn 231 --> var 804 eqn 232 --> var 686 eqn 233 --> var 433 eqn 234 --> var 822 eqn 235 --> var 181 eqn 236 --> var 182 eqn 237 --> var 183 eqn 238 --> var 765 eqn 239 --> var 766 eqn 240 --> var 767 eqn 241 --> var 768 eqn 242 --> var 769 eqn 243 --> var 805 eqn 244 --> var 371 eqn 245 --> var 773 eqn 246 --> var 434 eqn 247 --> var 774 eqn 248 --> var 806 eqn 249 --> var 435 eqn 250 --> var 807 eqn 251 --> var 1118 eqn 252 --> var 436 eqn 253 --> var 772 eqn 254 --> var 808 eqn 255 --> var 141 eqn 256 --> var 206 eqn 257 --> var 1119 eqn 258 --> var 1163 eqn 259 --> var 1167 eqn 260 --> var 424 eqn 261 --> var 15 eqn 262 --> var 425 eqn 263 --> var 1166 eqn 264 --> var 426 eqn 265 --> var 14 eqn 266 --> var 428 eqn 267 --> var 1165 eqn 268 --> var 430 eqn 269 --> var 13 eqn 270 --> var 431 eqn 271 --> var 1164 eqn 272 --> var 988 eqn 273 --> var 437 eqn 274 --> var 980 eqn 275 --> var 731 eqn 276 --> var 441 eqn 277 --> var 146 eqn 278 --> var 147 eqn 279 --> var 148 eqn 280 --> var 149 eqn 281 --> var 150 eqn 282 --> var 151 eqn 283 --> var 152 eqn 284 --> var 153 eqn 285 --> var 154 eqn 286 --> var 155 eqn 287 --> var 156 eqn 288 --> var 157 eqn 289 --> var 158 eqn 290 --> var 159 eqn 291 --> var 160 eqn 292 --> var 116 eqn 293 --> var 830 eqn 294 --> var 979 eqn 295 --> var 398 eqn 296 --> var 115 eqn 297 --> var 989 eqn 298 --> var 910 eqn 299 --> var 375 eqn 300 --> var 376 eqn 301 --> var 377 eqn 302 --> var 732 eqn 303 --> var 836 eqn 304 --> var 911 eqn 305 --> var 912 eqn 306 --> var 2 eqn 307 --> var 3 eqn 308 --> var 4 eqn 309 --> var 834 eqn 310 --> var 399 eqn 311 --> var 563 eqn 312 --> var 107 eqn 313 --> var 373 eqn 314 --> var 990 eqn 315 --> var 645 eqn 316 --> var 977 eqn 317 --> var 846 eqn 318 --> var 733 eqn 319 --> var 423 eqn 320 --> var 264 eqn 321 --> var 265 eqn 322 --> var 266 eqn 323 --> var 267 eqn 324 --> var 268 eqn 325 --> var 803 eqn 326 --> var 850 eqn 327 --> var 174 eqn 328 --> var 973 eqn 329 --> var 500 eqn 330 --> var 501 eqn 331 --> var 502 eqn 332 --> var 503 eqn 333 --> var 504 eqn 334 --> var 245 eqn 335 --> var 1170 eqn 336 --> var 1169 eqn 337 --> var 1168 eqn 338 --> var 49 eqn 339 --> var 50 eqn 340 --> var 51 eqn 341 --> var 52 eqn 342 --> var 53 eqn 343 --> var 618 eqn 344 --> var 207 eqn 345 --> var 916 eqn 346 --> var 212 eqn 347 --> var 213 eqn 348 --> var 214 eqn 349 --> var 215 eqn 350 --> var 216 eqn 351 --> var 217 eqn 352 --> var 218 eqn 353 --> var 219 eqn 354 --> var 220 eqn 355 --> var 221 eqn 356 --> var 222 eqn 357 --> var 223 eqn 358 --> var 224 eqn 359 --> var 225 eqn 360 --> var 226 eqn 361 --> var 227 eqn 362 --> var 228 eqn 363 --> var 229 eqn 364 --> var 230 eqn 365 --> var 231 eqn 366 --> var 232 eqn 367 --> var 233 eqn 368 --> var 234 eqn 369 --> var 235 eqn 370 --> var 236 eqn 371 --> var 237 eqn 372 --> var 238 eqn 373 --> var 239 eqn 374 --> var 240 eqn 375 --> var 241 eqn 376 --> var 619 eqn 377 --> var 778 eqn 378 --> var 208 eqn 379 --> var 865 eqn 380 --> var 866 eqn 381 --> var 867 eqn 382 --> var 868 eqn 383 --> var 869 eqn 384 --> var 870 eqn 385 --> var 871 eqn 386 --> var 872 eqn 387 --> var 873 eqn 388 --> var 874 eqn 389 --> var 875 eqn 390 --> var 876 eqn 391 --> var 877 eqn 392 --> var 878 eqn 393 --> var 879 eqn 394 --> var 880 eqn 395 --> var 881 eqn 396 --> var 882 eqn 397 --> var 883 eqn 398 --> var 884 eqn 399 --> var 885 eqn 400 --> var 886 eqn 401 --> var 887 eqn 402 --> var 888 eqn 403 --> var 889 eqn 404 --> var 890 eqn 405 --> var 891 eqn 406 --> var 892 eqn 407 --> var 893 eqn 408 --> var 894 eqn 409 --> var 620 eqn 410 --> var 209 eqn 411 --> var 621 eqn 412 --> var 719 eqn 413 --> var 210 eqn 414 --> var 781 eqn 415 --> var 622 eqn 416 --> var 720 eqn 417 --> var 782 eqn 418 --> var 721 eqn 419 --> var 443 eqn 420 --> var 783 eqn 421 --> var 445 eqn 422 --> var 708 eqn 423 --> var 978 eqn 424 --> var 319 eqn 425 --> var 114 eqn 426 --> var 709 eqn 427 --> var 554 eqn 428 --> var 320 eqn 429 --> var 381 eqn 430 --> var 553 eqn 431 --> var 380 eqn 432 --> var 842 eqn 433 --> var 552 eqn 434 --> var 400 eqn 435 --> var 1186 eqn 436 --> var 379 eqn 437 --> var 991 eqn 438 --> var 54 eqn 439 --> var 5 eqn 440 --> var 734 eqn 441 --> var 1023 eqn 442 --> var 797 eqn 443 --> var 819 eqn 444 --> var 390 eqn 445 --> var 389 eqn 446 --> var 388 eqn 447 --> var 1 eqn 448 --> var 401 eqn 449 --> var 1137 eqn 450 --> var 1138 eqn 451 --> var 1139 eqn 452 --> var 1140 eqn 453 --> var 1141 eqn 454 --> var 653 eqn 455 --> var 55 eqn 456 --> var 971 eqn 457 --> var 993 eqn 458 --> var 64 eqn 459 --> var 65 eqn 460 --> var 66 eqn 461 --> var 67 eqn 462 --> var 68 eqn 463 --> var 539 eqn 464 --> var 809 eqn 465 --> var 364 eqn 466 --> var 735 eqn 467 --> var 191 eqn 468 --> var 190 eqn 469 --> var 189 eqn 470 --> var 895 eqn 471 --> var 825 eqn 472 --> var 611 eqn 473 --> var 722 eqn 474 --> var 518 eqn 475 --> var 519 eqn 476 --> var 520 eqn 477 --> var -1 eqn 478 --> var 348 eqn 479 --> var 1037 eqn 480 --> var 402 eqn 481 --> var 840 eqn 482 --> var 272 eqn 483 --> var 558 eqn 484 --> var -1 eqn 485 --> var 664 eqn 486 --> var 1038 eqn 487 --> var 828 eqn 488 --> var 559 eqn 489 --> var -1 eqn 490 --> var 1039 eqn 491 --> var -1 eqn 492 --> var 560 eqn 493 --> var 1004 eqn 494 --> var 1040 eqn 495 --> var -1 eqn 496 --> var 561 eqn 497 --> var 992 eqn 498 --> var -1 eqn 499 --> var 1158 eqn 500 --> var 1159 eqn 501 --> var 1160 eqn 502 --> var 1161 eqn 503 --> var 1162 eqn 504 --> var 477 eqn 505 --> var 478 eqn 506 --> var 8 eqn 507 --> var 9 eqn 508 --> var 10 eqn 509 --> var 11 eqn 510 --> var 12 eqn 511 --> var 710 eqn 512 --> var 479 eqn 513 --> var 321 eqn 514 --> var 480 eqn 515 --> var 852 eqn 516 --> var 481 eqn 517 --> var 145 eqn 518 --> var 6 eqn 519 --> var 798 eqn 520 --> var 7 eqn 521 --> var 799 eqn 522 --> var 994 eqn 523 --> var 736 eqn 524 --> var 802 eqn 525 --> var 831 eqn 526 --> var 597 eqn 527 --> var 403 eqn 528 --> var 273 eqn 529 --> var 995 eqn 530 --> var 59 eqn 531 --> var 60 eqn 532 --> var 61 eqn 533 --> var 62 eqn 534 --> var 63 eqn 535 --> var 737 eqn 536 --> var 837 eqn 537 --> var 896 eqn 538 --> var 897 eqn 539 --> var 898 eqn 540 --> var 899 eqn 541 --> var 900 eqn 542 --> var 1041 eqn 543 --> var 404 eqn 544 --> var 562 eqn 545 --> var 996 eqn 546 --> var 629 eqn 547 --> var 630 eqn 548 --> var 631 eqn 549 --> var 632 eqn 550 --> var 633 eqn 551 --> var 738 eqn 552 --> var 976 eqn 553 --> var 635 eqn 554 --> var 636 eqn 555 --> var 637 eqn 556 --> var 638 eqn 557 --> var 639 eqn 558 --> var 789 eqn 559 --> var 697 eqn 560 --> var 132 eqn 561 --> var 723 eqn 562 --> var 695 eqn 563 --> var 919 eqn 564 --> var 920 eqn 565 --> var 921 eqn 566 --> var 922 eqn 567 --> var 923 eqn 568 --> var 195 eqn 569 --> var 1075 eqn 570 --> var 800 eqn 571 --> var 184 eqn 572 --> var 185 eqn 573 --> var 186 eqn 574 --> var 79 eqn 575 --> var 598 eqn 576 --> var 269 eqn 577 --> var 270 eqn 578 --> var 271 eqn 579 --> var 274 eqn 580 --> var 80 eqn 581 --> var 599 eqn 582 --> var 366 eqn 583 --> var 367 eqn 584 --> var 368 eqn 585 --> var 275 eqn 586 --> var 81 eqn 587 --> var 647 eqn 588 --> var 648 eqn 589 --> var 649 eqn 590 --> var 650 eqn 591 --> var 651 eqn 592 --> var 974 eqn 593 --> var 188 eqn 594 --> var 548 eqn 595 --> var 549 eqn 596 --> var 550 eqn 597 --> var 187 eqn 598 --> var 1187 eqn 599 --> var 564 eqn 600 --> var 86 eqn 601 --> var 455 eqn 602 --> var 600 eqn 603 --> var 200 eqn 604 --> var 853 eqn 605 --> var 387 eqn 606 --> var 370 eqn 607 --> var -1 eqn 608 --> var 372 eqn 609 --> var -1 eqn 610 --> var 374 eqn 611 --> var 246 eqn 612 --> var 247 eqn 613 --> var 248 eqn 614 --> var 249 eqn 615 --> var 250 eqn 616 --> var 521 eqn 617 --> var 522 eqn 618 --> var 523 eqn 619 --> var 524 eqn 620 --> var 525 eqn 621 --> var 670 eqn 622 --> var 669 eqn 623 --> var 1042 eqn 624 --> var 1043 eqn 625 --> var 1044 eqn 626 --> var 1045 eqn 627 --> var 1046 eqn 628 --> var 861 eqn 629 --> var 668 eqn 630 --> var 315 eqn 631 --> var 929 eqn 632 --> var 661 eqn 633 --> var 420 eqn 634 --> var 192 eqn 635 --> var 193 eqn 636 --> var 194 eqn 637 --> var 46 eqn 638 --> var 529 eqn 639 --> var 862 eqn 640 --> var 775 eqn 641 --> var 662 eqn 642 --> var 906 eqn 643 --> var 421 eqn 644 --> var 47 eqn 645 --> var 1134 eqn 646 --> var 1135 eqn 647 --> var 1136 eqn 648 --> var 314 eqn 649 --> var 201 eqn 650 --> var 444 eqn 651 --> var 757 eqn 652 --> var 801 eqn 653 --> var 634 eqn 654 --> var 626 eqn 655 --> var 429 eqn 656 --> var 442 eqn 657 --> var 646 eqn 658 --> var 627 eqn 659 --> var 713 eqn 660 --> var 712 eqn 661 --> var 930 eqn 662 --> var 931 eqn 663 --> var 711 eqn 664 --> var 566 eqn 665 --> var 660 eqn 666 --> var 605 eqn 667 --> var 659 eqn 668 --> var 1085 eqn 669 --> var 658 eqn 670 --> var 707 eqn 671 --> var 1050 eqn 672 --> var 1051 eqn 673 --> var 1052 eqn 674 --> var 1053 eqn 675 --> var 1054 eqn 676 --> var 863 eqn 677 --> var 706 eqn 678 --> var 663 eqn 679 --> var 705 eqn 680 --> var 422 eqn 681 --> var 473 eqn 682 --> var 1060 eqn 683 --> var 1061 eqn 684 --> var 1062 eqn 685 --> var 1063 eqn 686 --> var 1064 eqn 687 --> var 369 eqn 688 --> var 48 eqn 689 --> var 1022 eqn 690 --> var 1133 eqn 691 --> var 306 eqn 692 --> var 307 eqn 693 --> var 308 eqn 694 --> var 278 eqn 695 --> var 656 eqn 696 --> var 671 eqn 697 --> var 672 eqn 698 --> var 1127 eqn 699 --> var 251 eqn 700 --> var 252 eqn 701 --> var 253 eqn 702 --> var 1142 eqn 703 --> var 1120 eqn 704 --> var 1143 eqn 705 --> var 761 eqn 706 --> var 1121 eqn 707 --> var 937 eqn 708 --> var 938 eqn 709 --> var 939 eqn 710 --> var 790 eqn 711 --> var 941 eqn 712 --> var 942 eqn 713 --> var 943 eqn 714 --> var 947 eqn 715 --> var 1157 eqn 716 --> var 810 eqn 717 --> var 948 eqn 718 --> var 949 eqn 719 --> var 950 eqn 720 --> var 365 eqn 721 --> var 975 eqn 722 --> var 1086 eqn 723 --> var 1087 eqn 724 --> var 1088 eqn 725 --> var 1089 eqn 726 --> var 1090 eqn 727 --> var 1091 eqn 728 --> var 1092 eqn 729 --> var 1093 eqn 730 --> var 1094 eqn 731 --> var 1095 eqn 732 --> var 1096 eqn 733 --> var 1097 eqn 734 --> var 1098 eqn 735 --> var 1099 eqn 736 --> var 1100 eqn 737 --> var 1101 eqn 738 --> var 1102 eqn 739 --> var 1103 eqn 740 --> var 1104 eqn 741 --> var 1105 eqn 742 --> var 1106 eqn 743 --> var 1107 eqn 744 --> var 1108 eqn 745 --> var 1109 eqn 746 --> var 1110 eqn 747 --> var 309 eqn 748 --> var 310 eqn 749 --> var 311 eqn 750 --> var 312 eqn 751 --> var 313 eqn 752 --> var 687 eqn 753 --> var 688 eqn 754 --> var 689 eqn 755 --> var 690 eqn 756 --> var 691 eqn 757 --> var 1174 eqn 758 --> var 540 eqn 759 --> var 541 eqn 760 --> var 542 eqn 761 --> var 543 eqn 762 --> var 544 eqn 763 --> var 1067 eqn 764 --> var 1132 eqn 765 --> var 450 eqn 766 --> var 508 eqn 767 --> var 509 eqn 768 --> var 510 eqn 769 --> var 277 eqn 770 --> var 816 eqn 771 --> var 655 eqn 772 --> var 1126 eqn 773 --> var 1144 eqn 774 --> var 1122 eqn 775 --> var 1131 eqn 776 --> var 1145 eqn 777 --> var 276 eqn 778 --> var 1123 eqn 779 --> var 698 eqn 780 --> var 699 eqn 781 --> var 700 eqn 782 --> var 1146 eqn 783 --> var 1124 eqn 784 --> var 652 eqn 785 --> var 446 eqn 786 --> var 1055 eqn 787 --> var 257 eqn 788 --> var 1173 eqn 789 --> var 427 eqn 790 --> var 791 eqn 791 --> var 792 eqn 792 --> var 793 eqn 793 --> var 794 eqn 794 --> var 795 eqn 795 --> var 640 eqn 796 --> var 641 eqn 797 --> var 642 eqn 798 --> var 643 eqn 799 --> var 644 eqn 800 --> var 1175 eqn 801 --> var 1176 eqn 802 --> var 1177 eqn 803 --> var 1178 eqn 804 --> var 1179 eqn 805 --> var 1149 eqn 806 --> var 954 eqn 807 --> var 955 eqn 808 --> var 956 eqn 809 --> var 665 eqn 810 --> var 666 eqn 811 --> var 667 eqn 812 --> var 280 eqn 813 --> var 281 eqn 814 --> var 282 eqn 815 --> var 288 eqn 816 --> var 474 eqn 817 --> var 475 eqn 818 --> var 476 eqn 819 --> var 497 eqn 820 --> var 289 eqn 821 --> var 498 eqn 822 --> var 202 eqn 823 --> var 290 eqn 824 --> var 811 eqn 825 --> var 499 eqn 826 --> var 932 eqn 827 --> var 933 eqn 828 --> var 934 eqn 829 --> var 935 eqn 830 --> var 936 eqn 831 --> var 99 eqn 832 --> var 100 eqn 833 --> var 101 eqn 834 --> var 102 eqn 835 --> var 103 eqn 836 --> var 127 eqn 837 --> var -1 eqn 838 --> var 129 eqn 839 --> var -1 eqn 840 --> var 322 eqn 841 --> var 323 eqn 842 --> var 324 eqn 843 --> var 325 eqn 844 --> var 326 eqn 845 --> var 327 eqn 846 --> var 328 eqn 847 --> var 329 eqn 848 --> var 330 eqn 849 --> var 331 eqn 850 --> var 332 eqn 851 --> var 333 eqn 852 --> var 334 eqn 853 --> var 335 eqn 854 --> var 336 eqn 855 --> var 337 eqn 856 --> var 338 eqn 857 --> var 339 eqn 858 --> var 340 eqn 859 --> var 341 eqn 860 --> var 342 eqn 861 --> var 343 eqn 862 --> var 344 eqn 863 --> var 345 eqn 864 --> var 346 eqn 865 --> var 166 eqn 866 --> var 606 eqn 867 --> var 607 eqn 868 --> var 608 eqn 869 --> var 609 eqn 870 --> var 610 eqn 871 --> var 972 eqn 872 --> var 1111 eqn 873 --> var 1112 eqn 874 --> var 1113 eqn 875 --> var 1191 eqn 876 --> var 762 eqn 877 --> var 763 eqn 878 --> var 764 eqn 879 --> var 1069 eqn 880 --> var 1070 eqn 881 --> var 1071 eqn 882 --> var 258 eqn 883 --> var 259 eqn 884 --> var 260 eqn 885 --> var 438 eqn 886 --> var 439 eqn 887 --> var 440 eqn 888 --> var 131 eqn 889 --> var -1 eqn 890 --> var -1 eqn 891 --> var -1 eqn 892 --> var -1 eqn 893 --> var -1 eqn 894 --> var 513 eqn 895 --> var 514 eqn 896 --> var 515 eqn 897 --> var 516 eqn 898 --> var 517 eqn 899 --> var 612 eqn 900 --> var -1 eqn 901 --> var -1 eqn 902 --> var -1 eqn 903 --> var -1 eqn 904 --> var -1 eqn 905 --> var 777 eqn 906 --> var 1056 eqn 907 --> var 776 eqn 908 --> var 851 eqn 909 --> var 696 eqn 910 --> var 1171 eqn 911 --> var 970 eqn 912 --> var 1180 eqn 913 --> var 451 eqn 914 --> var 85 eqn 915 --> var 815 eqn 916 --> var 796 eqn 917 --> var 291 eqn 918 --> var 292 eqn 919 --> var 293 eqn 920 --> var 294 eqn 921 --> var 295 eqn 922 --> var 296 eqn 923 --> var 297 eqn 924 --> var 298 eqn 925 --> var 299 eqn 926 --> var 300 eqn 927 --> var 301 eqn 928 --> var 302 eqn 929 --> var 303 eqn 930 --> var 304 eqn 931 --> var 305 eqn 932 --> var 967 eqn 933 --> var 968 eqn 934 --> var 969 eqn 935 --> var 378 eqn 936 --> var 316 eqn 937 --> var 317 eqn 938 --> var 318 eqn 939 --> var 416 eqn 940 --> var 417 eqn 941 --> var 418 eqn 942 --> var 1076 eqn 943 --> var 1077 eqn 944 --> var 1078 eqn 945 --> var 283 eqn 946 --> var 284 eqn 947 --> var 285 eqn 948 --> var 286 eqn 949 --> var 287 eqn 950 --> var 175 eqn 951 --> var 551 eqn 952 --> var 530 eqn 953 --> var 176 eqn 954 --> var 177 eqn 955 --> var 718 eqn 956 --> var 613 eqn 957 --> var 704 eqn 958 --> var 512 eqn 959 --> var 567 eqn 960 --> var 568 eqn 961 --> var 569 eqn 962 --> var 570 eqn 963 --> var 571 eqn 964 --> var 940 eqn 965 --> var 279 eqn 966 --> var 657 eqn 967 --> var 913 eqn 968 --> var 914 eqn 969 --> var 915 eqn 970 --> var 565 eqn 971 --> var 452 eqn 972 --> var 453 eqn 973 --> var 454 eqn 974 --> var 261 eqn 975 --> var 262 eqn 976 --> var 263 eqn 977 --> var 858 eqn 978 --> var 859 eqn 979 --> var 860 eqn 980 --> var 545 eqn 981 --> var 546 eqn 982 --> var 547 eqn 983 --> var 505 eqn 984 --> var 506 eqn 985 --> var 507 eqn 986 --> var 907 eqn 987 --> var 908 eqn 988 --> var 909 eqn 989 --> var 1016 eqn 990 --> var 1017 eqn 991 --> var 1018 eqn 992 --> var 108 eqn 993 --> var 109 eqn 994 --> var 110 eqn 995 --> var 1082 eqn 996 --> var 1083 eqn 997 --> var 1084 eqn 998 --> var 203 eqn 999 --> var 204 eqn 1000 --> var 205 eqn 1001 --> var 104 eqn 1002 --> var 105 eqn 1003 --> var 106 eqn 1004 --> var 460 eqn 1005 --> var 461 eqn 1006 --> var 462 eqn 1007 --> var 531 eqn 1008 --> var 532 eqn 1009 --> var 533 eqn 1010 --> var 534 eqn 1011 --> var 535 eqn 1012 --> var 91 eqn 1013 --> var 92 eqn 1014 --> var 93 eqn 1015 --> var 572 eqn 1016 --> var 573 eqn 1017 --> var 574 eqn 1018 --> var 575 eqn 1019 --> var 576 eqn 1020 --> var 577 eqn 1021 --> var 578 eqn 1022 --> var 579 eqn 1023 --> var 580 eqn 1024 --> var 581 eqn 1025 --> var 582 eqn 1026 --> var 583 eqn 1027 --> var 584 eqn 1028 --> var 585 eqn 1029 --> var 586 eqn 1030 --> var 587 eqn 1031 --> var 588 eqn 1032 --> var 589 eqn 1033 --> var 590 eqn 1034 --> var 591 eqn 1035 --> var 592 eqn 1036 --> var 593 eqn 1037 --> var 594 eqn 1038 --> var 595 eqn 1039 --> var 596 eqn 1040 --> var 21 eqn 1041 --> var 26 eqn 1042 --> var 31 eqn 1043 --> var 36 eqn 1044 --> var 41 eqn 1045 --> var 22 eqn 1046 --> var 27 eqn 1047 --> var 32 eqn 1048 --> var 37 eqn 1049 --> var 42 eqn 1050 --> var 23 eqn 1051 --> var 28 eqn 1052 --> var 33 eqn 1053 --> var 38 eqn 1054 --> var 43 eqn 1055 --> var 24 eqn 1056 --> var 29 eqn 1057 --> var 34 eqn 1058 --> var 39 eqn 1059 --> var 44 eqn 1060 --> var 25 eqn 1061 --> var 30 eqn 1062 --> var 35 eqn 1063 --> var 40 eqn 1064 --> var 45 eqn 1065 --> var 349 eqn 1066 --> var 483 eqn 1067 --> var 1181 eqn 1068 --> var 1182 eqn 1069 --> var 1183 eqn 1070 --> var 1184 eqn 1071 --> var 1185 eqn 1072 --> var 350 eqn 1073 --> var 484 eqn 1074 --> var 351 eqn 1075 --> var 485 eqn 1076 --> var 352 eqn 1077 --> var 486 eqn 1078 --> var 353 eqn 1079 --> var 487 eqn 1080 --> var 674 eqn 1081 --> var 675 eqn 1082 --> var 677 eqn 1083 --> var 678 eqn 1084 --> var 680 eqn 1085 --> var 681 eqn 1086 --> var 673 eqn 1087 --> var 676 eqn 1088 --> var 679 eqn 1089 --> var 1019 eqn 1090 --> var 1020 eqn 1091 --> var 1021 eqn 1092 --> var 170 eqn 1093 --> var 211 eqn 1094 --> var 715 eqn 1095 --> var 716 eqn 1096 --> var 717 eqn 1097 --> var 1152 eqn 1098 --> var 1153 eqn 1099 --> var 1154 eqn 1100 --> var 614 eqn 1101 --> var 615 eqn 1102 --> var 616 eqn 1103 --> var 242 eqn 1104 --> var 243 eqn 1105 --> var 244 eqn 1106 --> var 1114 eqn 1107 --> var 1115 eqn 1108 --> var 1116 eqn 1109 --> var 924 eqn 1110 --> var 925 eqn 1111 --> var 926 eqn 1112 --> var 927 eqn 1113 --> var 928 eqn 1114 --> var 944 eqn 1115 --> var 945 eqn 1116 --> var 946 eqn 1117 --> var 784 eqn 1118 --> var 785 eqn 1119 --> var 786 eqn 1120 --> var 787 eqn 1121 --> var 788 eqn 1122 --> var 536 eqn 1123 --> var 537 eqn 1124 --> var 538 eqn 1125 --> var 161 eqn 1126 --> var 162 eqn 1127 --> var 163 eqn 1128 --> var 164 eqn 1129 --> var 165 eqn 1130 --> var 354 eqn 1131 --> var 488 eqn 1132 --> var 1188 eqn 1133 --> var 1189 eqn 1134 --> var 1190 eqn 1135 --> var 355 eqn 1136 --> var 489 eqn 1137 --> var 356 eqn 1138 --> var 490 eqn 1139 --> var 357 eqn 1140 --> var 491 eqn 1141 --> var 358 eqn 1142 --> var 492 eqn 1143 --> var 692 eqn 1144 --> var 693 eqn 1145 --> var 694 eqn 1146 --> var 555 eqn 1147 --> var 556 eqn 1148 --> var 557 eqn 1149 --> var 1024 eqn 1150 --> var 1025 eqn 1151 --> var 1026 eqn 1152 --> var 812 eqn 1153 --> var 359 eqn 1154 --> var 493 eqn 1155 --> var 360 eqn 1156 --> var 494 eqn 1157 --> var 361 eqn 1158 --> var 495 eqn 1159 --> var 362 eqn 1160 --> var 496 eqn 1161 --> var 363 eqn 1162 --> var 1128 eqn 1163 --> var 167 eqn 1164 --> var 1129 eqn 1165 --> var 168 eqn 1166 --> var 1130 eqn 1167 --> var 169 eqn 1168 --> var 144 eqn 1169 --> var 143 eqn 1170 --> var 142 eqn 1171 --> var 122 eqn 1172 --> var 123 eqn 1173 --> var 124 eqn 1174 --> var 125 eqn 1175 --> var 126 eqn 1176 --> var 117 eqn 1177 --> var 118 eqn 1178 --> var 119 eqn 1179 --> var 120 eqn 1180 --> var 121 eqn 1181 --> var 111 eqn 1182 --> var 112 eqn 1183 --> var 113 eqn 1184 --> var 482 eqn 1185 --> var 16 eqn 1186 --> var 17 eqn 1187 --> var 18 eqn 1188 --> var 19 eqn 1189 --> var 20 eqn 1190 --> var 864 eqn 1191 --> var 901 eqn 1192 --> var 902 eqn 1193 --> var 903 eqn 1194 --> var 904 eqn 1195 --> var 905 eqn 1196 --> var 714 eqn 1197 --> var 73 eqn 1198 --> var 72 eqn 1199 --> var 71 eqn 1200 --> var 70 eqn 1201 --> var 69 eqn 1202 --> var 843 eqn 1203 --> var 405 eqn 1204 --> var 997 eqn 1205 --> var 739 eqn 1206 --> var 820 eqn 1207 --> var 406 eqn 1208 --> var 999 eqn 1209 --> var 740 eqn 1210 --> var 826 eqn 1211 --> var 407 " [Timeout remaining time 299] [Calling sys.exit(0), Time elapsed: 7.125335018150508]