1

 This file has been generated by CoCoSim2.

2


3

 Compiler: Lustre compiler 2 (ToLustre.m)

4

 Time: 03Dec2018 22:18:09

5

#open <conv>

6

node _max_real(x : real;

7

y : real;)

8

returns(z : real;);

9

let

10

z = if (x > y) then

11

x

12

else y;

13

tel

14


15

node _min_real(x : real;

16

y : real;)

17

returns(z : real;);

18

let

19

z = if (x < y) then

20

x

21

else y;

22

tel

23


24

(*

25

Original block name: Assignment7_PP/Saturation

26

*)

27

node Saturation_29_039(In_1 : real;

28

__time_step : real;

29

__nb_step : int;)

30

returns(Out_1 : real;);

31

var lower_1 : real;

32

lower_limit_1 : real;

33

upper_1 : real;

34

upper_limit_1 : real;

35

let

36

lower_1 = _max_real(upper_1, lower_limit_1);

37

lower_limit_1 = 1.000000000000000;

38

upper_1 = _min_real(upper_limit_1, In_1);

39

upper_limit_1 = 4.000000000000000;

40

Out_1 = lower_1;

41

tel

42


43

(*

44

Original block name: Assignment7_PP/Saturation1

45

*)

46

node Saturation1_30_036(In_1 : real;

47

In_2 : real;

48

__time_step : real;

49

__nb_step : int;)

50

returns(Out_1 : real;

51

Out_2 : real;);

52

var lower_1 : real;

53

lower_2 : real;

54

lower_limit_1 : real;

55

upper_1 : real;

56

upper_2 : real;

57

upper_limit_1 : real;

58

let

59

lower_1 = _max_real(upper_1, lower_limit_1);

60

lower_2 = _max_real(upper_2, lower_limit_1);

61

lower_limit_1 = 1.000000000000000;

62

upper_1 = _min_real(upper_limit_1, In_1);

63

upper_2 = _min_real(upper_limit_1, In_2);

64

upper_limit_1 = 2.000000000000000;

65

Out_1 = lower_1;

66

Out_2 = lower_2;

67

tel

68


69

(*

70

Original block name: Assignment7_PP

71

*)

72

node Assignment7_PP(In1_1 : real;

73

In2_1 : real;

74

In2_2 : real;

75

In2_3 : real;

76

In2_4 : real;

77

In2_5 : real;

78

In2_6 : real;

79

In2_7 : real;

80

In2_8 : real;

81

In2_9 : real;

82

In2_10 : real;

83

In2_11 : real;

84

In2_12 : real;

85

In2_13 : real;

86

In2_14 : real;

87

In2_15 : real;

88

In2_16 : real;

89

In2_17 : real;

90

In2_18 : real;

91

In2_19 : real;

92

In2_20 : real;

93

In2_21 : real;

94

In2_22 : real;

95

In2_23 : real;

96

In2_24 : real;

97

In3_1 : real;

98

In3_2 : real;

99

In3_3 : real;

100

In3_4 : real;

101

In3_5 : real;

102

In3_6 : real;

103

In4_1 : real;

104

In4_2 : real;)

105

returns(Out3_1 : real;

106

Out3_2 : real;

107

Out3_3 : real;

108

Out3_4 : real;

109

Out3_5 : real;

110

Out3_6 : real;

111

Out3_7 : real;

112

Out3_8 : real;

113

Out3_9 : real;

114

Out3_10 : real;

115

Out3_11 : real;

116

Out3_12 : real;

117

Out3_13 : real;

118

Out3_14 : real;

119

Out3_15 : real;

120

Out3_16 : real;

121

Out3_17 : real;

122

Out3_18 : real;

123

Out3_19 : real;

124

Out3_20 : real;

125

Out3_21 : real;

126

Out3_22 : real;

127

Out3_23 : real;

128

Out3_24 : real;);

129

var Assignment2_28_248_U_index_1 : int;

130

Assignment2_28_248_U_index_2 : int;

131

Assignment2_28_248_U_index_3 : int;

132

Assignment2_28_248_U_index_4 : int;

133

Assignment2_28_248_U_index_5 : int;

134

Assignment2_28_248_U_index_6 : int;

135

Assignment2_28_248_ind_dim_1_1 : int;

136

Assignment2_28_248_ind_dim_1_2 : int;

137

Assignment2_28_248_ind_dim_1_3 : int;

138

Assignment2_28_248_ind_dim_2_1 : int;

139

Assignment2_28_248_ind_dim_3_1 : int;

140

Assignment2_28_248_ind_dim_3_2 : int;

141

Assignment2_28_248_str_Y_index_1_1 : int;

142

Assignment2_28_248_str_Y_index_1_2 : int;

143

Assignment2_28_248_str_Y_index_1_3 : int;

144

Assignment2_28_248_str_Y_index_2_1 : int;

145

Assignment2_28_248_str_Y_index_2_2 : int;

146

Assignment2_28_248_str_Y_index_2_3 : int;

147

Assignment2_28_248_str_Y_index_3_1 : int;

148

Assignment2_28_248_str_Y_index_3_2 : int;

149

Assignment2_28_248_str_Y_index_3_3 : int;

150

Assignment2_28_248_str_Y_index_4_1 : int;

151

Assignment2_28_248_str_Y_index_4_2 : int;

152

Assignment2_28_248_str_Y_index_4_3 : int;

153

Assignment2_28_248_str_Y_index_5_1 : int;

154

Assignment2_28_248_str_Y_index_5_2 : int;

155

Assignment2_28_248_str_Y_index_5_3 : int;

156

Assignment2_28_248_str_Y_index_6_1 : int;

157

Assignment2_28_248_str_Y_index_6_2 : int;

158

Assignment2_28_248_str_Y_index_6_3 : int;

159

Assignment2_1 : real;

160

Assignment2_2 : real;

161

Assignment2_3 : real;

162

Assignment2_4 : real;

163

Assignment2_5 : real;

164

Assignment2_6 : real;

165

Assignment2_7 : real;

166

Assignment2_8 : real;

167

Assignment2_9 : real;

168

Assignment2_10 : real;

169

Assignment2_11 : real;

170

Assignment2_12 : real;

171

Assignment2_13 : real;

172

Assignment2_14 : real;

173

Assignment2_15 : real;

174

Assignment2_16 : real;

175

Assignment2_17 : real;

176

Assignment2_18 : real;

177

Assignment2_19 : real;

178

Assignment2_20 : real;

179

Assignment2_21 : real;

180

Assignment2_22 : real;

181

Assignment2_23 : real;

182

Assignment2_24 : real;

183

Saturation_1 : real;

184

Saturation1_1 : real;

185

Saturation1_2 : real;

186

__time_step : real;

187

__nb_step : int;

188

let

189

Assignment2_28_248_ind_dim_1_1 = 1;

190

Assignment2_28_248_ind_dim_1_2 = 2;

191

Assignment2_28_248_ind_dim_1_3 = 3;

192

Assignment2_28_248_ind_dim_2_1 = real_to_int(Saturation_1);

193

Assignment2_28_248_ind_dim_3_1 = real_to_int(Saturation1_1);

194

Assignment2_28_248_ind_dim_3_2 = real_to_int(Saturation1_2);

195

Assignment2_28_248_str_Y_index_1_1 = Assignment2_28_248_ind_dim_1_1;

196

Assignment2_28_248_str_Y_index_1_2 = Assignment2_28_248_ind_dim_2_1;

197

Assignment2_28_248_str_Y_index_1_3 = Assignment2_28_248_ind_dim_3_1;

198

Assignment2_28_248_U_index_1 = ( (Assignment2_28_248_str_Y_index_1_1 * 1) + ((Assignment2_28_248_str_Y_index_1_2  1) * 3) + ((Assignment2_28_248_str_Y_index_1_3  1) * 12) );

199

Assignment2_28_248_str_Y_index_2_1 = Assignment2_28_248_ind_dim_1_2;

200

Assignment2_28_248_str_Y_index_2_2 = Assignment2_28_248_ind_dim_2_1;

201

Assignment2_28_248_str_Y_index_2_3 = Assignment2_28_248_ind_dim_3_1;

202

Assignment2_28_248_U_index_2 = ( (Assignment2_28_248_str_Y_index_2_1 * 1) + ((Assignment2_28_248_str_Y_index_2_2  1) * 3) + ((Assignment2_28_248_str_Y_index_2_3  1) * 12) );

203

Assignment2_28_248_str_Y_index_3_1 = Assignment2_28_248_ind_dim_1_3;

204

Assignment2_28_248_str_Y_index_3_2 = Assignment2_28_248_ind_dim_2_1;

205

Assignment2_28_248_str_Y_index_3_3 = Assignment2_28_248_ind_dim_3_1;

206

Assignment2_28_248_U_index_3 = ( (Assignment2_28_248_str_Y_index_3_1 * 1) + ((Assignment2_28_248_str_Y_index_3_2  1) * 3) + ((Assignment2_28_248_str_Y_index_3_3  1) * 12) );

207

Assignment2_28_248_str_Y_index_4_1 = Assignment2_28_248_ind_dim_1_1;

208

Assignment2_28_248_str_Y_index_4_2 = Assignment2_28_248_ind_dim_2_1;

209

Assignment2_28_248_str_Y_index_4_3 = Assignment2_28_248_ind_dim_3_2;

210

Assignment2_28_248_U_index_4 = ( (Assignment2_28_248_str_Y_index_4_1 * 1) + ((Assignment2_28_248_str_Y_index_4_2  1) * 3) + ((Assignment2_28_248_str_Y_index_4_3  1) * 12) );

211

Assignment2_28_248_str_Y_index_5_1 = Assignment2_28_248_ind_dim_1_2;

212

Assignment2_28_248_str_Y_index_5_2 = Assignment2_28_248_ind_dim_2_1;

213

Assignment2_28_248_str_Y_index_5_3 = Assignment2_28_248_ind_dim_3_2;

214

Assignment2_28_248_U_index_5 = ( (Assignment2_28_248_str_Y_index_5_1 * 1) + ((Assignment2_28_248_str_Y_index_5_2  1) * 3) + ((Assignment2_28_248_str_Y_index_5_3  1) * 12) );

215

Assignment2_28_248_str_Y_index_6_1 = Assignment2_28_248_ind_dim_1_3;

216

Assignment2_28_248_str_Y_index_6_2 = Assignment2_28_248_ind_dim_2_1;

217

Assignment2_28_248_str_Y_index_6_3 = Assignment2_28_248_ind_dim_3_2;

218

Assignment2_28_248_U_index_6 = ( (Assignment2_28_248_str_Y_index_6_1 * 1) + ((Assignment2_28_248_str_Y_index_6_2  1) * 3) + ((Assignment2_28_248_str_Y_index_6_3  1) * 12) );

219

Assignment2_1 = if (Assignment2_28_248_U_index_6 = 1) then

220

In3_6

221

else if (Assignment2_28_248_U_index_5 = 1) then

222

In3_5

223

else if (Assignment2_28_248_U_index_4 = 1) then

224

In3_4

225

else if (Assignment2_28_248_U_index_3 = 1) then

226

In3_3

227

else if (Assignment2_28_248_U_index_2 = 1) then

228

In3_2

229

else if (Assignment2_28_248_U_index_1 = 1) then

230

In3_1

231

else In2_1;

232

Assignment2_2 = if (Assignment2_28_248_U_index_6 = 2) then

233

In3_6

234

else if (Assignment2_28_248_U_index_5 = 2) then

235

In3_5

236

else if (Assignment2_28_248_U_index_4 = 2) then

237

In3_4

238

else if (Assignment2_28_248_U_index_3 = 2) then

239

In3_3

240

else if (Assignment2_28_248_U_index_2 = 2) then

241

In3_2

242

else if (Assignment2_28_248_U_index_1 = 2) then

243

In3_1

244

else In2_2;

245

Assignment2_3 = if (Assignment2_28_248_U_index_6 = 3) then

246

In3_6

247

else if (Assignment2_28_248_U_index_5 = 3) then

248

In3_5

249

else if (Assignment2_28_248_U_index_4 = 3) then

250

In3_4

251

else if (Assignment2_28_248_U_index_3 = 3) then

252

In3_3

253

else if (Assignment2_28_248_U_index_2 = 3) then

254

In3_2

255

else if (Assignment2_28_248_U_index_1 = 3) then

256

In3_1

257

else In2_3;

258

Assignment2_4 = if (Assignment2_28_248_U_index_6 = 4) then

259

In3_6

260

else if (Assignment2_28_248_U_index_5 = 4) then

261

In3_5

262

else if (Assignment2_28_248_U_index_4 = 4) then

263

In3_4

264

else if (Assignment2_28_248_U_index_3 = 4) then

265

In3_3

266

else if (Assignment2_28_248_U_index_2 = 4) then

267

In3_2

268

else if (Assignment2_28_248_U_index_1 = 4) then

269

In3_1

270

else In2_4;

271

Assignment2_5 = if (Assignment2_28_248_U_index_6 = 5) then

272

In3_6

273

else if (Assignment2_28_248_U_index_5 = 5) then

274

In3_5

275

else if (Assignment2_28_248_U_index_4 = 5) then

276

In3_4

277

else if (Assignment2_28_248_U_index_3 = 5) then

278

In3_3

279

else if (Assignment2_28_248_U_index_2 = 5) then

280

In3_2

281

else if (Assignment2_28_248_U_index_1 = 5) then

282

In3_1

283

else In2_5;

284

Assignment2_6 = if (Assignment2_28_248_U_index_6 = 6) then

285

In3_6

286

else if (Assignment2_28_248_U_index_5 = 6) then

287

In3_5

288

else if (Assignment2_28_248_U_index_4 = 6) then

289

In3_4

290

else if (Assignment2_28_248_U_index_3 = 6) then

291

In3_3

292

else if (Assignment2_28_248_U_index_2 = 6) then

293

In3_2

294

else if (Assignment2_28_248_U_index_1 = 6) then

295

In3_1

296

else In2_6;

297

Assignment2_7 = if (Assignment2_28_248_U_index_6 = 7) then

298

In3_6

299

else if (Assignment2_28_248_U_index_5 = 7) then

300

In3_5

301

else if (Assignment2_28_248_U_index_4 = 7) then

302

In3_4

303

else if (Assignment2_28_248_U_index_3 = 7) then

304

In3_3

305

else if (Assignment2_28_248_U_index_2 = 7) then

306

In3_2

307

else if (Assignment2_28_248_U_index_1 = 7) then

308

In3_1

309

else In2_7;

310

Assignment2_8 = if (Assignment2_28_248_U_index_6 = 8) then

311

In3_6

312

else if (Assignment2_28_248_U_index_5 = 8) then

313

In3_5

314

else if (Assignment2_28_248_U_index_4 = 8) then

315

In3_4

316

else if (Assignment2_28_248_U_index_3 = 8) then

317

In3_3

318

else if (Assignment2_28_248_U_index_2 = 8) then

319

In3_2

320

else if (Assignment2_28_248_U_index_1 = 8) then

321

In3_1

322

else In2_8;

323

Assignment2_9 = if (Assignment2_28_248_U_index_6 = 9) then

324

In3_6

325

else if (Assignment2_28_248_U_index_5 = 9) then

326

In3_5

327

else if (Assignment2_28_248_U_index_4 = 9) then

328

In3_4

329

else if (Assignment2_28_248_U_index_3 = 9) then

330

In3_3

331

else if (Assignment2_28_248_U_index_2 = 9) then

332

In3_2

333

else if (Assignment2_28_248_U_index_1 = 9) then

334

In3_1

335

else In2_9;

336

Assignment2_10 = if (Assignment2_28_248_U_index_6 = 10) then

337

In3_6

338

else if (Assignment2_28_248_U_index_5 = 10) then

339

In3_5

340

else if (Assignment2_28_248_U_index_4 = 10) then

341

In3_4

342

else if (Assignment2_28_248_U_index_3 = 10) then

343

In3_3

344

else if (Assignment2_28_248_U_index_2 = 10) then

345

In3_2

346

else if (Assignment2_28_248_U_index_1 = 10) then

347

In3_1

348

else In2_10;

349

Assignment2_11 = if (Assignment2_28_248_U_index_6 = 11) then

350

In3_6

351

else if (Assignment2_28_248_U_index_5 = 11) then

352

In3_5

353

else if (Assignment2_28_248_U_index_4 = 11) then

354

In3_4

355

else if (Assignment2_28_248_U_index_3 = 11) then

356

In3_3

357

else if (Assignment2_28_248_U_index_2 = 11) then

358

In3_2

359

else if (Assignment2_28_248_U_index_1 = 11) then

360

In3_1

361

else In2_11;

362

Assignment2_12 = if (Assignment2_28_248_U_index_6 = 12) then

363

In3_6

364

else if (Assignment2_28_248_U_index_5 = 12) then

365

In3_5

366

else if (Assignment2_28_248_U_index_4 = 12) then

367

In3_4

368

else if (Assignment2_28_248_U_index_3 = 12) then

369

In3_3

370

else if (Assignment2_28_248_U_index_2 = 12) then

371

In3_2

372

else if (Assignment2_28_248_U_index_1 = 12) then

373

In3_1

374

else In2_12;

375

Assignment2_13 = if (Assignment2_28_248_U_index_6 = 13) then

376

In3_6

377

else if (Assignment2_28_248_U_index_5 = 13) then

378

In3_5

379

else if (Assignment2_28_248_U_index_4 = 13) then

380

In3_4

381

else if (Assignment2_28_248_U_index_3 = 13) then

382

In3_3

383

else if (Assignment2_28_248_U_index_2 = 13) then

384

In3_2

385

else if (Assignment2_28_248_U_index_1 = 13) then

386

In3_1

387

else In2_13;

388

Assignment2_14 = if (Assignment2_28_248_U_index_6 = 14) then

389

In3_6

390

else if (Assignment2_28_248_U_index_5 = 14) then

391

In3_5

392

else if (Assignment2_28_248_U_index_4 = 14) then

393

In3_4

394

else if (Assignment2_28_248_U_index_3 = 14) then

395

In3_3

396

else if (Assignment2_28_248_U_index_2 = 14) then

397

In3_2

398

else if (Assignment2_28_248_U_index_1 = 14) then

399

In3_1

400

else In2_14;

401

Assignment2_15 = if (Assignment2_28_248_U_index_6 = 15) then

402

In3_6

403

else if (Assignment2_28_248_U_index_5 = 15) then

404

In3_5

405

else if (Assignment2_28_248_U_index_4 = 15) then

406

In3_4

407

else if (Assignment2_28_248_U_index_3 = 15) then

408

In3_3

409

else if (Assignment2_28_248_U_index_2 = 15) then

410

In3_2

411

else if (Assignment2_28_248_U_index_1 = 15) then

412

In3_1

413

else In2_15;

414

Assignment2_16 = if (Assignment2_28_248_U_index_6 = 16) then

415

In3_6

416

else if (Assignment2_28_248_U_index_5 = 16) then

417

In3_5

418

else if (Assignment2_28_248_U_index_4 = 16) then

419

In3_4

420

else if (Assignment2_28_248_U_index_3 = 16) then

421

In3_3

422

else if (Assignment2_28_248_U_index_2 = 16) then

423

In3_2

424

else if (Assignment2_28_248_U_index_1 = 16) then

425

In3_1

426

else In2_16;

427

Assignment2_17 = if (Assignment2_28_248_U_index_6 = 17) then

428

In3_6

429

else if (Assignment2_28_248_U_index_5 = 17) then

430

In3_5

431

else if (Assignment2_28_248_U_index_4 = 17) then

432

In3_4

433

else if (Assignment2_28_248_U_index_3 = 17) then

434

In3_3

435

else if (Assignment2_28_248_U_index_2 = 17) then

436

In3_2

437

else if (Assignment2_28_248_U_index_1 = 17) then

438

In3_1

439

else In2_17;

440

Assignment2_18 = if (Assignment2_28_248_U_index_6 = 18) then

441

In3_6

442

else if (Assignment2_28_248_U_index_5 = 18) then

443

In3_5

444

else if (Assignment2_28_248_U_index_4 = 18) then

445

In3_4

446

else if (Assignment2_28_248_U_index_3 = 18) then

447

In3_3

448

else if (Assignment2_28_248_U_index_2 = 18) then

449

In3_2

450

else if (Assignment2_28_248_U_index_1 = 18) then

451

In3_1

452

else In2_18;

453

Assignment2_19 = if (Assignment2_28_248_U_index_6 = 19) then

454

In3_6

455

else if (Assignment2_28_248_U_index_5 = 19) then

456

In3_5

457

else if (Assignment2_28_248_U_index_4 = 19) then

458

In3_4

459

else if (Assignment2_28_248_U_index_3 = 19) then

460

In3_3

461

else if (Assignment2_28_248_U_index_2 = 19) then

462

In3_2

463

else if (Assignment2_28_248_U_index_1 = 19) then

464

In3_1

465

else In2_19;

466

Assignment2_20 = if (Assignment2_28_248_U_index_6 = 20) then

467

In3_6

468

else if (Assignment2_28_248_U_index_5 = 20) then

469

In3_5

470

else if (Assignment2_28_248_U_index_4 = 20) then

471

In3_4

472

else if (Assignment2_28_248_U_index_3 = 20) then

473

In3_3

474

else if (Assignment2_28_248_U_index_2 = 20) then

475

In3_2

476

else if (Assignment2_28_248_U_index_1 = 20) then

477

In3_1

478

else In2_20;

479

Assignment2_21 = if (Assignment2_28_248_U_index_6 = 21) then

480

In3_6

481

else if (Assignment2_28_248_U_index_5 = 21) then

482

In3_5

483

else if (Assignment2_28_248_U_index_4 = 21) then

484

In3_4

485

else if (Assignment2_28_248_U_index_3 = 21) then

486

In3_3

487

else if (Assignment2_28_248_U_index_2 = 21) then

488

In3_2

489

else if (Assignment2_28_248_U_index_1 = 21) then

490

In3_1

491

else In2_21;

492

Assignment2_22 = if (Assignment2_28_248_U_index_6 = 22) then

493

In3_6

494

else if (Assignment2_28_248_U_index_5 = 22) then

495

In3_5

496

else if (Assignment2_28_248_U_index_4 = 22) then

497

In3_4

498

else if (Assignment2_28_248_U_index_3 = 22) then

499

In3_3

500

else if (Assignment2_28_248_U_index_2 = 22) then

501

In3_2

502

else if (Assignment2_28_248_U_index_1 = 22) then

503

In3_1

504

else In2_22;

505

Assignment2_23 = if (Assignment2_28_248_U_index_6 = 23) then

506

In3_6

507

else if (Assignment2_28_248_U_index_5 = 23) then

508

In3_5

509

else if (Assignment2_28_248_U_index_4 = 23) then

510

In3_4

511

else if (Assignment2_28_248_U_index_3 = 23) then

512

In3_3

513

else if (Assignment2_28_248_U_index_2 = 23) then

514

In3_2

515

else if (Assignment2_28_248_U_index_1 = 23) then

516

In3_1

517

else In2_23;

518

Assignment2_24 = if (Assignment2_28_248_U_index_6 = 24) then

519

In3_6

520

else if (Assignment2_28_248_U_index_5 = 24) then

521

In3_5

522

else if (Assignment2_28_248_U_index_4 = 24) then

523

In3_4

524

else if (Assignment2_28_248_U_index_3 = 24) then

525

In3_3

526

else if (Assignment2_28_248_U_index_2 = 24) then

527

In3_2

528

else if (Assignment2_28_248_U_index_1 = 24) then

529

In3_1

530

else In2_24;

531

Saturation_1 = Saturation_29_039(In1_1, __time_step, __nb_step);

532

(Saturation1_1, Saturation1_2) = Saturation1_30_036(In4_1, In4_2, __time_step, __nb_step);

533

Out3_1 = Assignment2_1;

534

Out3_2 = Assignment2_2;

535

Out3_3 = Assignment2_3;

536

Out3_4 = Assignment2_4;

537

Out3_5 = Assignment2_5;

538

Out3_6 = Assignment2_6;

539

Out3_7 = Assignment2_7;

540

Out3_8 = Assignment2_8;

541

Out3_9 = Assignment2_9;

542

Out3_10 = Assignment2_10;

543

Out3_11 = Assignment2_11;

544

Out3_12 = Assignment2_12;

545

Out3_13 = Assignment2_13;

546

Out3_14 = Assignment2_14;

547

Out3_15 = Assignment2_15;

548

Out3_16 = Assignment2_16;

549

Out3_17 = Assignment2_17;

550

Out3_18 = Assignment2_18;

551

Out3_19 = Assignment2_19;

552

Out3_20 = Assignment2_20;

553

Out3_21 = Assignment2_21;

554

Out3_22 = Assignment2_22;

555

Out3_23 = Assignment2_23;

556

Out3_24 = Assignment2_24;

557

__time_step = (0.0 > ((pre __time_step) + 0.200000000000000));

558

__nb_step = (0 > ((pre __nb_step) + 1));

559

tel

560

