(cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:2)(cid:4)(cid:6)(cid:7)(cid:7)(cid:5)(cid:8)(cid:4)(cid:9)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:15)(cid:7)(cid:14)(cid:16)(cid:12)(cid:7)(cid:4)(cid:17)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:19)(cid:2)(cid:16)(cid:4)(cid:20)(cid:7)(cid:21)(cid:22)(cid:10)(cid:7) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:2)(cid:4)(cid:6)(cid:7)(cid:7)(cid:5)(cid:8)(cid:4)(cid:9)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:15)(cid:7)(cid:14)(cid:16)(cid:12)(cid:7)(cid:4)(cid:17)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:19)(cid:2)(cid:16)(cid:4)(cid:20)(cid:7)(cid:21)(cid:22)(cid:10)(cid:7) (cid:23)(cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:2)(cid:4)(cid:18)(cid:7)(cid:7)(cid:5)(cid:8)(cid:4)(cid:11)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:21)(cid:7)(cid:14)(cid:16)(cid:12)(cid:7)(cid:4)(cid:11)(cid:24)(cid:24)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:26)(cid:27)(cid:28)(cid:26)(cid:29)(cid:27)(cid:30)(cid:15)(cid:4)(cid:3)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:31)(cid:2)(cid:16) (cid:14)(cid:7)(cid:21)(cid:22)(cid:10)(cid:7) (cid:7)!(cid:7)(cid:13)(cid:4)(cid:22)∀(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:25)(cid:11)!(cid:7)(cid:4)#(cid:7)(cid:10)(cid:2)(cid:4)(cid:12)(cid:2)(cid:13)∀(cid:22)(cid:14)(cid:7)(cid:13)(cid:12)(cid:7)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:25)(cid:11)!(cid:7)(cid:4)(cid:13)(cid:7)!(cid:7)(cid:10)(cid:4)(cid:7)!(cid:7)(cid:13)(cid:4)∃(cid:22)(cid:21)(cid:21)(cid:7)(cid:14)(cid:4)(cid:11) %(cid:22)(cid:10)(cid:24)(cid:4)&(cid:7)∀(cid:2)(cid:10)(cid:7)∋( &(cid:31)) ∗(cid:16)(cid:10)(cid:5)(cid:4)(cid:15)+(cid:7)(cid:24)(cid:24)(cid:22)(cid:13)% (cid:1)(cid:2)(cid:3)(cid:2)(cid:4)(cid:5)(cid:6)(cid:7)(cid:8)(cid:6)(cid:1)(cid:2)(cid:9)(cid:10)(cid:2)(cid:11)(cid:2)(cid:4)(cid:12)(cid:6)(cid:13)(cid:6)(cid:14)(cid:2)(cid:5)(cid:15)(cid:11)(cid:9)(cid:2)(cid:3)(cid:16)(cid:17)(cid:6)(cid:7)(cid:8)(cid:6)(cid:18)(cid:9)(cid:17)(cid:17)(cid:9)(cid:19)(cid:4)(cid:12)(cid:20) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:6)(cid:7)(cid:2)(cid:8)(cid:9)(cid:4)(cid:5)(cid:10)(cid:11)(cid:4)(cid:12)(cid:6)(cid:13)(cid:14)(cid:15)(cid:16)(cid:2)(cid:3)(cid:9)(cid:4)(cid:8)(cid:17)(cid:4)(cid:7)(cid:2)(cid:15)(cid:16)(cid:4)(cid:13)(cid:8)(cid:8)(cid:18)(cid:4)(cid:5)(cid:10)(cid:11)(cid:4)(cid:7)(cid:2)(cid:3)(cid:4)(cid:5)(cid:19)(cid:19)(cid:8)(cid:20)(cid:12)(cid:5)(cid:10)(cid:21)(cid:15)(cid:10)(cid:22)(cid:4)(cid:20)(cid:5)(cid:7)(cid:3)(cid:9)(cid:15)(cid:5)(cid:14)(cid:16)(cid:4)(cid:2)(cid:5)(cid:23)(cid:3)(cid:4)(cid:6)(cid:16)(cid:3)(cid:11)(cid:4)(cid:7)(cid:2)(cid:3)(cid:15)(cid:9) (cid:13)(cid:3)(cid:16)(cid:7)(cid:4)(cid:3)(cid:17)(cid:17)(cid:8)(cid:9)(cid:7)(cid:16)(cid:4)(cid:15)(cid:10)(cid:4)(cid:12)(cid:9)(cid:3)(cid:12)(cid:5)(cid:9)(cid:15)(cid:10)(cid:22)(cid:4)(cid:7)(cid:2)(cid:15)(cid:16)(cid:4)(cid:12)(cid:9)(cid:8)(cid:22)(cid:9)(cid:5)(cid:20)(cid:24)(cid:4)(cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:6)(cid:7)(cid:2)(cid:8)(cid:9)(cid:4)(cid:5)(cid:10)(cid:11)(cid:4)(cid:12)(cid:6)(cid:13)(cid:14)(cid:15)(cid:16)(cid:2)(cid:3)(cid:9)(cid:4)(cid:20)(cid:5)(cid:18)(cid:3)(cid:4)(cid:10)(cid:8)(cid:4)(cid:9)(cid:3)(cid:12)(cid:9)(cid:3)(cid:16)(cid:3)(cid:10)(cid:7)(cid:5)(cid:7)(cid:15)(cid:8)(cid:10) (cid:8)(cid:9)(cid:4)(cid:25)(cid:5)(cid:9)(cid:9)(cid:5)(cid:10)(cid:7)(cid:15)(cid:3)(cid:16)(cid:4)(cid:25)(cid:15)(cid:7)(cid:2)(cid:4)(cid:9)(cid:3)(cid:16)(cid:12)(cid:3)(cid:19)(cid:7)(cid:4)(cid:7)(cid:8)(cid:4)(cid:7)(cid:2)(cid:3)(cid:4)(cid:5)(cid:19)(cid:19)(cid:6)(cid:9)(cid:5)(cid:19)(cid:21)(cid:26)(cid:4)(cid:5)(cid:12)(cid:12)(cid:14)(cid:15)(cid:19)(cid:5)(cid:13)(cid:15)(cid:14)(cid:15)(cid:7)(cid:21)(cid:26)(cid:4)(cid:17)(cid:15)(cid:7)(cid:10)(cid:3)(cid:16)(cid:16)(cid:26)(cid:4)(cid:8)(cid:9)(cid:4)(cid:19)(cid:8)(cid:20)(cid:12)(cid:14)(cid:3)(cid:7)(cid:3)(cid:10)(cid:3)(cid:16)(cid:16)(cid:4)(cid:8)(cid:17)(cid:4)(cid:7)(cid:2)(cid:3) (cid:19)(cid:8)(cid:10)(cid:7)(cid:3)(cid:10)(cid:7)(cid:16)(cid:4)(cid:8)(cid:17)(cid:4)(cid:7)(cid:2)(cid:15)(cid:16)(cid:4)(cid:12)(cid:9)(cid:8)(cid:22)(cid:9)(cid:5)(cid:20)(cid:24)(cid:4)(cid:1)(cid:2)(cid:3)(cid:21)(cid:4)(cid:11)(cid:15)(cid:16)(cid:19)(cid:14)(cid:5)(cid:15)(cid:20)(cid:4)(cid:5)(cid:10)(cid:21)(cid:4)(cid:25)(cid:5)(cid:9)(cid:9)(cid:5)(cid:10)(cid:7)(cid:15)(cid:3)(cid:16)(cid:4)(cid:27)(cid:3)(cid:28)(cid:12)(cid:9)(cid:3)(cid:16)(cid:16)(cid:3)(cid:11)(cid:4)(cid:8)(cid:9)(cid:4)(cid:15)(cid:20)(cid:12)(cid:14)(cid:15)(cid:3)(cid:11)(cid:29)(cid:26) (cid:20)(cid:3)(cid:9)(cid:19)(cid:2)(cid:5)(cid:10)(cid:7)(cid:5)(cid:13)(cid:15)(cid:14)(cid:15)(cid:7)(cid:21)(cid:26)(cid:4)(cid:8)(cid:9)(cid:4)(cid:17)(cid:15)(cid:7)(cid:10)(cid:3)(cid:16)(cid:16)(cid:4)(cid:17)(cid:8)(cid:9)(cid:4)(cid:5)(cid:10)(cid:21)(cid:4)(cid:12)(cid:5)(cid:9)(cid:7)(cid:15)(cid:19)(cid:6)(cid:14)(cid:5)(cid:9)(cid:4)(cid:12)(cid:6)(cid:9)(cid:12)(cid:8)(cid:16)(cid:3)(cid:24)(cid:4)(cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:6)(cid:7)(cid:2)(cid:8)(cid:9)(cid:16)(cid:4)(cid:5)(cid:10)(cid:11)(cid:4)(cid:12)(cid:6)(cid:13)(cid:14)(cid:15)(cid:16)(cid:2)(cid:3)(cid:9)(cid:4)(cid:16)(cid:2)(cid:5)(cid:14)(cid:14)(cid:4)(cid:15)(cid:10) (cid:10)(cid:8)(cid:4)(cid:3)(cid:23)(cid:3)(cid:10)(cid:7)(cid:4)(cid:13)(cid:3)(cid:4)(cid:2)(cid:3)(cid:14)(cid:11)(cid:4)(cid:14)(cid:15)(cid:5)(cid:13)(cid:14)(cid:3)(cid:4)(cid:17)(cid:8)(cid:9)(cid:4)(cid:5)(cid:10)(cid:21)(cid:4)(cid:14)(cid:8)(cid:16)(cid:16)(cid:4)(cid:8)(cid:9)(cid:4)(cid:8)(cid:7)(cid:2)(cid:3)(cid:9)(cid:4)(cid:11)(cid:5)(cid:20)(cid:5)(cid:22)(cid:3)(cid:16)(cid:26)(cid:4)(cid:15)(cid:10)(cid:19)(cid:14)(cid:6)(cid:11)(cid:15)(cid:10)(cid:22)(cid:4)(cid:13)(cid:6)(cid:7)(cid:4)(cid:10)(cid:8)(cid:7)(cid:4)(cid:14)(cid:15)(cid:20)(cid:15)(cid:7)(cid:3)(cid:11)(cid:4)(cid:7)(cid:8)(cid:4)(cid:16)(cid:12)(cid:3)(cid:19)(cid:15)(cid:5)(cid:14)(cid:26) (cid:15)(cid:10)(cid:19)(cid:15)(cid:11)(cid:3)(cid:10)(cid:7)(cid:5)(cid:14)(cid:26)(cid:4)(cid:19)(cid:8)(cid:10)(cid:16)(cid:3)(cid:30)(cid:6)(cid:3)(cid:10)(cid:7)(cid:15)(cid:5)(cid:14)(cid:26)(cid:4)(cid:8)(cid:9)(cid:4)(cid:8)(cid:7)(cid:2)(cid:3)(cid:9)(cid:4)(cid:11)(cid:5)(cid:20)(cid:5)(cid:22)(cid:3)(cid:16)(cid:24)(cid:4)(cid:4)(cid:1)(cid:2)(cid:15)(cid:16)(cid:4)(cid:20)(cid:5)(cid:10)(cid:6)(cid:5)(cid:14)(cid:4)(cid:15)(cid:16)(cid:4)(cid:17)(cid:8)(cid:9)(cid:4)(cid:3)(cid:10)(cid:7)(cid:3)(cid:9)(cid:7)(cid:5)(cid:15)(cid:10)(cid:20)(cid:3)(cid:10)(cid:7)(cid:4)(cid:12)(cid:6)(cid:9)(cid:12)(cid:8)(cid:16)(cid:3)(cid:16)(cid:4) (cid:8)(cid:10)(cid:14)(cid:21)(cid:24)(cid:4)(cid:31)(cid:7)(cid:4)(cid:19)(cid:8)(cid:10)(cid:7)(cid:5)(cid:15)(cid:10)(cid:16)(cid:4)(cid:20)(cid:5)(cid:7)(cid:3)(cid:9)(cid:15)(cid:5)(cid:14)(cid:4)(cid:12)(cid:9)(cid:8)(cid:7)(cid:3)(cid:19)(cid:7)(cid:3)(cid:11)(cid:4)(cid:6)(cid:10)(cid:11)(cid:3)(cid:9)(cid:4)(cid:31)(cid:10)(cid:7)(cid:3)(cid:9)(cid:10)(cid:5)(cid:7)(cid:15)(cid:8)(cid:10)(cid:5)(cid:14)(cid:4)(cid:5)(cid:10)(cid:11)(cid:4) (cid:3)(cid:11)(cid:3)(cid:9)(cid:5)(cid:14)(cid:4)!(cid:8)(cid:12)(cid:21)(cid:9)(cid:15)(cid:22)(cid:2)(cid:7)(cid:4)∀(cid:5)(cid:25)(cid:16)(cid:4)(cid:5)(cid:10)(cid:11)(cid:4) (cid:1)(cid:9)(cid:3)(cid:5)(cid:7)(cid:15)(cid:3)(cid:16)(cid:24)(cid:4)#(cid:10)(cid:21)(cid:4)(cid:6)(cid:10)(cid:5)(cid:6)(cid:7)(cid:2)(cid:8)(cid:9)(cid:15)∃(cid:3)(cid:11)(cid:4)(cid:9)(cid:3)(cid:12)(cid:9)(cid:15)(cid:10)(cid:7)(cid:4)(cid:8)(cid:9)(cid:4)(cid:6)(cid:16)(cid:3)(cid:4)(cid:8)(cid:17)(cid:4)(cid:7)(cid:2)(cid:15)(cid:16)(cid:4)(cid:20)(cid:5)(cid:7)(cid:3)(cid:9)(cid:15)(cid:5)(cid:14)(cid:4)(cid:15)(cid:16)(cid:4)(cid:12)(cid:9)(cid:8)(cid:2)(cid:15)(cid:13)(cid:15)(cid:7)(cid:3)(cid:11)(cid:24) (cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4),(cid:11)%(cid:7)(cid:4)(cid:4)−(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4) (cid:21)(cid:22)(cid:23)(cid:17)(cid:4)(cid:6)(cid:24)(cid:25)(cid:16)(cid:11)(cid:11)(cid:2)(cid:19)(cid:26)(cid:27)(cid:6)(cid:28)(cid:11)(cid:11)(cid:6)(cid:29)(cid:2)(cid:26)(cid:30)(cid:4)(cid:5)(cid:6)(cid:29)(cid:16)(cid:5)(cid:16)(cid:17)(cid:31)(cid:16) (cid:6)!!!∀(cid:1)(cid:16)(cid:9)(cid:17)(cid:19)#(cid:7)!(cid:4)(cid:7)(cid:24)(cid:16) (cid:23)(cid:15)(cid:16)(cid:18)(cid:7)(cid:3)(cid:16)(cid:19)∀(cid:15)(cid:7)(cid:3) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:2)(cid:4)(cid:6)(cid:7)(cid:7)(cid:5)(cid:8)(cid:4)(cid:9)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:15)(cid:7)(cid:14)(cid:16)(cid:12)(cid:7)(cid:4)(cid:17)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:19)(cid:2)(cid:16)(cid:4)(cid:20)(cid:7)(cid:21)(cid:22)(cid:10)(cid:7) (cid:1)(cid:5)(cid:13)(cid:14)(cid:3)(cid:4)(cid:8)(cid:17)(cid:4)!(cid:8)(cid:10)(cid:7)(cid:3)(cid:10)(cid:7)(cid:16) (cid:1)(cid:5)(cid:13)(cid:14)(cid:3)(cid:4)(cid:8)(cid:17)(cid:4)!(cid:8)(cid:10)(cid:7)(cid:3)(cid:10)(cid:7)(cid:16)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)% #(cid:13)(cid:8)(cid:6)(cid:7)(cid:4)(cid:7)(cid:2)(cid:3)(cid:4)#(cid:6)(cid:7)(cid:2)(cid:8)(cid:9)(cid:4)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)& ∋(cid:3)(cid:19)(cid:7)(cid:15)(cid:8)(cid:10)(cid:4)(cid:31)((cid:4)(cid:1)(cid:2)(cid:3)(cid:4))(cid:2)(cid:5)(cid:16)(cid:3)(cid:16)(cid:4)(cid:8)(cid:17)(cid:4)∗(cid:8)(cid:8)(cid:11)(cid:4)∋(cid:3)(cid:11)(cid:6)(cid:19)(cid:7)(cid:15)(cid:8)(cid:10)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)+ (cid:28)(cid:25)(cid:25)(cid:17)(cid:7)(cid:9)(cid:15)(cid:30)(cid:2)(cid:19)(cid:26)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∃ (cid:28)(cid:4)(cid:4)(cid:17)(cid:9)(cid:15)(cid:4)(cid:2)(cid:7)(cid:19)(cid:6)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∃ %(cid:7)(cid:3)(cid:8)(cid:7)(cid:17)(cid:4)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀& (cid:24)(cid:16) (cid:23)(cid:15)(cid:4)(cid:2)(cid:7)(cid:19)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∋∋ ((cid:7)(cid:11)(cid:11)(cid:7)!(cid:6)(cid:23)(cid:25)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∋) ∋(cid:3)(cid:19)(cid:7)(cid:15)(cid:8)(cid:10)(cid:4)(cid:31)(cid:31)((cid:4)(cid:4)(cid:1)(cid:2)(cid:3)(cid:4) (cid:6)(cid:10)(cid:4))(cid:5)(cid:9)(cid:7)(cid:21)(cid:4)(cid:31)(cid:10)(cid:16)(cid:15)(cid:11)(cid:3)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24),− ((cid:16)(cid:16)(cid:11)(cid:6)(cid:4)(cid:30)(cid:16)(cid:6)∗(cid:9)(cid:17)(cid:4)(cid:12)(cid:6)+(cid:19)(cid:5)(cid:2) (cid:16)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∋, (cid:28)(cid:4)(cid:4)(cid:17)(cid:9)(cid:15)(cid:4)(cid:2)(cid:31)(cid:16)(cid:6)−(cid:9)(cid:11)(cid:16)(cid:5)(cid:6)#(cid:9)(cid:31)(cid:16)(cid:6)(cid:4)(cid:30)(cid:16)(cid:6)+(cid:19)(cid:19)(cid:16)(cid:17)(cid:6)∗(cid:9)(cid:17)(cid:4)(cid:12)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∋. /(cid:16)(cid:6)+(cid:19)(cid:6)(cid:4)(cid:30)(cid:16)(cid:6)−(cid:7)(cid:3)(cid:16)(cid:19)(cid:4)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∋0 (cid:29)(cid:16)(cid:31)(cid:16)(cid:17)(cid:5)(cid:9)(cid:11)(cid:6)(cid:7)(cid:8)(cid:6)((cid:7)(cid:15)(cid:23)(cid:5)(cid:20)(cid:6)/(cid:9) (cid:6)/(cid:16)(cid:15)(cid:7)(cid:3)(cid:16)(cid:5)(cid:6)1(cid:7)(cid:7) ∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀22 34(cid:25)(cid:16)(cid:15)(cid:4)(cid:2)(cid:19)(cid:26)(cid:6)(cid:4)(cid:30)(cid:16)(cid:6)((cid:23)(cid:19)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀2, (cid:29)(cid:16)(cid:5)(cid:2)(cid:5)(cid:4)(cid:9)(cid:19)(cid:15)(cid:16)(cid:6)(cid:4)(cid:7)(cid:6)(cid:4)(cid:30)(cid:16)(cid:6)∗(cid:9)(cid:17)(cid:4)(cid:12)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀2, ∋(cid:3)(cid:19)(cid:7)(cid:15)(cid:8)(cid:10)(cid:4)(cid:31)(cid:31)(cid:31)((cid:4)!(cid:8)(cid:10)(cid:23)(cid:3)(cid:9)(cid:16)(cid:5)(cid:7)(cid:15)(cid:8)(cid:10)(cid:4)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)%. 5(cid:30)(cid:16)(cid:6)(cid:28)(cid:25)(cid:25)(cid:17)(cid:7)(cid:9)(cid:15)(cid:30)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀2& (cid:24)(cid:30)(cid:7)!(cid:2)(cid:19)(cid:26)(cid:6)+(cid:19)(cid:4)(cid:16)(cid:17)(cid:16)(cid:5)(cid:4)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀)6 ∗(cid:30)(cid:12)(cid:5)(cid:2)(cid:15)(cid:9)(cid:11)(cid:6)3(cid:5)(cid:15)(cid:9)(cid:11)(cid:9)(cid:4)(cid:2)(cid:7)(cid:19)(cid:20)(cid:6)∗(cid:17)(cid:7)(cid:25)(cid:16)(cid:17)(cid:6)5(cid:7)(cid:23)(cid:15)(cid:30)(cid:6)(cid:24)(cid:30)(cid:7)!(cid:5)(cid:6)+(cid:19)(cid:4)(cid:16)(cid:17)(cid:16)(cid:5)(cid:4)(cid:6)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀)∋ (cid:28)(cid:4)(cid:4)(cid:17)(cid:9)(cid:15)(cid:4)(cid:2)(cid:7)(cid:19)(cid:6)%(cid:7)(cid:19)(cid:31)(cid:16)(cid:17)(cid:5)(cid:9)(cid:4)(cid:2)(cid:7)(cid:19)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀)) 1(cid:16)(cid:4)(cid:4)(cid:2)(cid:19)(cid:26)(cid:6)5(cid:7)(cid:6)(cid:22)(cid:19)(cid:7)!(cid:6)#(cid:16)(cid:17)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀), 7(cid:7)(cid:19)8(cid:29)(cid:16)(cid:9)(cid:15)(cid:4)(cid:2)(cid:31)(cid:2)(cid:4)(cid:12)(cid:20)(cid:6)5(cid:17)(cid:23)(cid:3)(cid:25)(cid:6)(cid:28)(cid:11)(cid:11)(cid:6)#(cid:16)(cid:17)(cid:6)5(cid:16)(cid:5)(cid:4)(cid:5)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀). #(cid:7)(cid:7)(cid:25)(cid:5)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀)9 (cid:5)(cid:30)(cid:2)(cid:4)(cid:6)(cid:4)(cid:16)(cid:5)(cid:4)(cid:5)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀)9 (cid:10)(cid:2)(cid:4)(cid:15)(cid:30)(cid:6)(cid:4)(cid:16)(cid:5)(cid:4)(cid:5)∀(cid:6)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀)0 ∋(cid:3)(cid:19)(cid:7)(cid:15)(cid:8)(cid:10)(cid:4)(cid:31)/((cid:4)(cid:4)∋(cid:3)(cid:11)(cid:6)(cid:19)(cid:7)(cid:15)(cid:8)(cid:10)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)00 (cid:18)(cid:30)(cid:7)(cid:6)(cid:9)(cid:17)(cid:16)(cid:6)(cid:12)(cid:7)(cid:23)(cid:6)(cid:2)(cid:19)(cid:6)(cid:4)(cid:30)(cid:16)(cid:6)(cid:15)(cid:11)(cid:23)(cid:10):(cid:6)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀,, (cid:22)(cid:2)(cid:5)(cid:5)(cid:2)(cid:19)(cid:26)(cid:6)(cid:9)(cid:6)(cid:26)(cid:2)(cid:17)(cid:11)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀,0 3(cid:5)(cid:15)(cid:9)(cid:11)(cid:9)(cid:4)(cid:2)(cid:7)(cid:19)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀,& (cid:1)(cid:9)(cid:5)(cid:4)(cid:6)−(cid:2)(cid:19)(cid:23)(cid:4)(cid:16)(cid:6)(cid:29)(cid:16)(cid:5)(cid:2)(cid:5)(cid:4)(cid:9)(cid:19)(cid:15)(cid:16)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀.2 ∋(cid:3)(cid:19)(cid:7)(cid:15)(cid:8)(cid:10)(cid:4)/((cid:4)∋(cid:3)(cid:28)(cid:6)(cid:5)(cid:14)(cid:4)(cid:1)(cid:3)(cid:19)(cid:2)(cid:10)(cid:15)(cid:30)(cid:6)(cid:3)(cid:4)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)−− (cid:14)(cid:7)(cid:3)(cid:2)(cid:19)(cid:9)(cid:19)(cid:15)(cid:16)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀.9 3(cid:3)(cid:7)(cid:4)(cid:2)(cid:7)(cid:19)(cid:5)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀96 +(cid:3)(cid:3)(cid:16)(cid:17)(cid:5)(cid:2)(cid:7)(cid:19)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀9) ;(cid:9)(cid:17)(cid:2)(cid:16)(cid:4)(cid:12)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀9, /(cid:7)(cid:19)(cid:23)(cid:5)(cid:6)(cid:4)(cid:16)(cid:15)(cid:30)(cid:19)(cid:2)<(cid:23)(cid:16)(cid:5)∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀9, ∋(cid:3)(cid:19)(cid:7)(cid:15)(cid:8)(cid:10)(cid:4)/(cid:31)((cid:4)!(cid:8)(cid:10)(cid:19)(cid:14)(cid:6)(cid:16)(cid:15)(cid:8)(cid:10)(cid:4)(cid:5)(cid:10)(cid:11)(cid:4)1(cid:8)(cid:10)(cid:6)(cid:16)(cid:4)2(cid:3)(cid:5)(cid:11)(cid:15)(cid:10)(cid:22)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)(cid:24)+, (cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4),(cid:11)%(cid:7)(cid:4)(cid:4).(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4) (cid:21)(cid:22)(cid:23)(cid:17)(cid:4)(cid:6)(cid:24)(cid:25)(cid:16)(cid:11)(cid:11)(cid:2)(cid:19)(cid:26)(cid:27)(cid:6)(cid:28)(cid:11)(cid:11)(cid:6)(cid:29)(cid:2)(cid:26)(cid:30)(cid:4)(cid:5)(cid:6)(cid:29)(cid:16)(cid:5)(cid:16)(cid:17)(cid:31)(cid:16) (cid:6)!!!∀(cid:1)(cid:16)(cid:9)(cid:17)(cid:19)#(cid:7)!(cid:4)(cid:7)(cid:24)(cid:16) (cid:23)(cid:15)(cid:16)(cid:18)(cid:7)(cid:3)(cid:16)(cid:19)∀(cid:15)(cid:7)(cid:3) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:2)(cid:4)(cid:6)(cid:7)(cid:7)(cid:5)(cid:8)(cid:4)(cid:9)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:15)(cid:7)(cid:14)(cid:16)(cid:12)(cid:7)(cid:4)(cid:17)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:19)(cid:2)(cid:16)(cid:4)(cid:20)(cid:7)(cid:21)(cid:22)(cid:10)(cid:7) (cid:9)&(cid:2)(cid:16)(cid:5)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:9)(cid:16)(cid:5)(cid:25)(cid:2)(cid:10)) /(cid:22)(cid:10)(cid:21)(cid:5)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)∀(cid:2)(cid:10)(cid:7)(cid:18)(cid:2)(cid:21)(cid:5)(cid:4)01(cid:14)(cid:4)(cid:24)(cid:22)∃(cid:7)(cid:4)(cid:5)(cid:2)(cid:4)(cid:12)(cid:2)(cid:13)%(cid:10)(cid:11)(cid:5)(cid:16)(cid:24)(cid:11)(cid:5)(cid:7)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:2)(cid:13)(cid:4)(cid:31)(cid:2)(cid:16)(cid:10)(cid:4)+(cid:16)(cid:10)(cid:12)(cid:25)(cid:11)(cid:21)(cid:7)(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)(cid:7) &(cid:2)(cid:2)∃2(cid:4)(cid:4)(cid:19)(cid:2)(cid:16)(cid:10)(cid:4)(cid:14)(cid:7)(cid:12)(cid:22)(cid:21)(cid:22)(cid:2)(cid:13)(cid:4)(cid:5)(cid:2)(cid:4)(cid:5)(cid:11)∃(cid:7)(cid:4)(cid:11)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:4)(cid:11)(cid:24)(cid:10)(cid:7)(cid:11)(cid:14)(cid:31)(cid:4)+(cid:16)(cid:5)(cid:21)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:11)(cid:25)(cid:7)(cid:11)(cid:14)(cid:4)(cid:2)∀(cid:4)(cid:11)&(cid:2)(cid:16)(cid:5)(cid:4)345(cid:4)(cid:2)∀(cid:4) (cid:11)(cid:24)(cid:24)(cid:4)(cid:18)(cid:7)(cid:13)2(cid:4)(cid:4)(cid:19)(cid:2)(cid:16)1(cid:24)(cid:24)(cid:4)∀(cid:22)(cid:13)(cid:14)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:14)(cid:7)(cid:12)(cid:22)(cid:14)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:2)(cid:4)(cid:5)(cid:11)∃(cid:7)(cid:4)(cid:12)(cid:25)(cid:11)(cid:10)%(cid:7)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)%(cid:7)(cid:5)(cid:4)(cid:11)(cid:4)(cid:25)(cid:11)(cid:13)(cid:14)(cid:24)(cid:7)(cid:4)(cid:2)(cid:13)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4) (cid:11)(cid:21)+(cid:7)(cid:12)(cid:5)(cid:4)(cid:2)∀(cid:4)(cid:31)(cid:2)(cid:16)(cid:10)(cid:4)(cid:24)(cid:22)∀(cid:7)(cid:4)(cid:3)(cid:22)(cid:24)(cid:24)(cid:4)&(cid:7)(cid:4)(cid:2)(cid:13)(cid:7)(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)&(cid:7)(cid:21)(cid:5)(cid:4)(cid:12)(cid:25)(cid:2)(cid:22)(cid:12)(cid:7)(cid:21)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:25)(cid:11)!(cid:7)(cid:4)(cid:7)!(cid:7)(cid:10)(cid:4)(cid:18)(cid:11)(cid:14)(cid:7)2(cid:4)(cid:4)0(cid:4) ∃(cid:13)(cid:2)(cid:3)(cid:4)(cid:22)(cid:5)(cid:4)(cid:3)(cid:11)(cid:21)(cid:4)∀(cid:2)(cid:10)(cid:4)(cid:18)(cid:7)2 (cid:9)&(cid:2)(cid:16)(cid:5)(cid:4)(cid:5)(cid:25)(cid:10)(cid:7)(cid:7)(cid:4)(cid:31)(cid:7)(cid:11)(cid:10)(cid:21)(cid:4)(cid:11)%(cid:2)(cid:8)(cid:4)0(cid:4)(cid:3)(cid:11)(cid:21)(cid:4)(cid:11)(cid:4)(cid:12)(cid:2)(cid:18)+(cid:24)(cid:7)(cid:5)(cid:7)(cid:4)(cid:24)(cid:2)(cid:21)(cid:7)(cid:10)(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:4)(cid:3)(cid:2)(cid:18)(cid:7)(cid:13)2(cid:4)(cid:4)(cid:15)(cid:16)(cid:10)(cid:7)(cid:8)(cid:4)0(cid:4)(cid:25)(cid:11)(cid:14)(cid:4) ∀(cid:10)(cid:22)(cid:7)(cid:13)(cid:14)(cid:21)(cid:4)(cid:3)(cid:25)(cid:2)(cid:4)(cid:3)(cid:7)(cid:10)(cid:7)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:21)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:7)!(cid:7)(cid:13)(cid:4)(cid:11)(cid:13)(cid:4)(cid:2)(cid:12)(cid:12)(cid:11)(cid:21)(cid:22)(cid:2)(cid:13)(cid:11)(cid:24)(cid:4)%(cid:22)(cid:10)(cid:24)∀(cid:10)(cid:22)(cid:7)(cid:13)(cid:14)(cid:4)(cid:25)(cid:7)(cid:10)(cid:7)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:5)(cid:25)(cid:7)(cid:10)(cid:7)(cid:8)(cid:4)&(cid:16)(cid:5)(cid:4) (cid:13)(cid:2)(cid:13)(cid:7)(cid:4)(cid:2)∀(cid:4)(cid:22)(cid:5)(cid:4)(cid:3)(cid:11)(cid:21)(cid:4)(cid:2)(cid:13)(cid:4)(cid:18)(cid:31)(cid:4)(cid:2)(cid:3)(cid:13)(cid:4)(cid:5)(cid:7)(cid:10)(cid:18)(cid:21)2(cid:4)(cid:4)(cid:17)(cid:25)(cid:11)(cid:5)(cid:4)0(cid:4)(cid:18)(cid:7)(cid:11)(cid:13)(cid:4)(cid:22)(cid:21)6(cid:4)0(cid:4)(cid:25)(cid:11)(cid:14)(cid:4)(cid:11)(cid:4)%(cid:22)(cid:10)(cid:24)∀(cid:10)(cid:22)(cid:7)(cid:13)(cid:14)(cid:4)&(cid:7)(cid:12)(cid:11)(cid:16)(cid:21)(cid:7)(cid:4) (cid:21)(cid:2)(cid:18)(cid:7)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:4)(cid:24)(cid:22)∃(cid:7)(cid:14)(cid:4)(cid:18)(cid:7)6(cid:4)(cid:21)(cid:25)(cid:7)(cid:4)(cid:12)(cid:25)(cid:2)(cid:21)(cid:7)(cid:4)(cid:18)(cid:7)2 0(cid:4)(cid:21)+(cid:7)(cid:13)(cid:5)(cid:4)(cid:11)(cid:4)(cid:24)(cid:2)(cid:13)%(cid:4)(cid:5)(cid:22)(cid:18)(cid:7)(cid:4)(cid:22)(cid:13)(cid:4)(cid:11)(cid:4)(cid:10)(cid:7)(cid:24)(cid:11)(cid:5)(cid:22)(cid:2)(cid:13)(cid:21)(cid:25)(cid:22)+(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:4)(cid:11)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:4)(cid:3)(cid:25)(cid:2)(cid:4)(cid:3)(cid:11)(cid:21)(cid:4)(cid:13)(cid:2)(cid:5)(cid:4)(cid:10)(cid:22)%(cid:25)(cid:5)(cid:4)∀(cid:2)(cid:10)(cid:4)(cid:18)(cid:7)2(cid:4)(cid:4)0(cid:4) (cid:21)+(cid:7)(cid:13)(cid:5)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:24)(cid:11)(cid:21)(cid:5)(cid:4)&(cid:22)(cid:5)(cid:21)(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:10)(cid:7)(cid:24)(cid:11)(cid:5)(cid:22)(cid:2)(cid:13)(cid:21)(cid:25)(cid:22)+(cid:4)(cid:22)(cid:13)(cid:4)∀(cid:7)(cid:11)(cid:10)(cid:8)(cid:4)(cid:11)(cid:21)∃(cid:22)(cid:13)%(cid:4)7(cid:16)(cid:7)(cid:21)(cid:5)(cid:22)(cid:2)(cid:13)(cid:21)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:18)(cid:11)(cid:31)(cid:4)(cid:25)(cid:11)!(cid:7)(cid:4) (cid:11)(cid:21)∃(cid:7)(cid:14)(cid:4)(cid:31)(cid:2)(cid:16)(cid:10)(cid:21)(cid:7)(cid:24)∀2(cid:4)(cid:4)(cid:23)(cid:17)(cid:25)(cid:11)(cid:5)(cid:4)(cid:22)∀(cid:4)0(cid:4)(cid:12)(cid:11)(cid:13)1(cid:5)(cid:4)∀(cid:22)(cid:13)(cid:14)(cid:4)(cid:21)(cid:2)(cid:18)(cid:7)(cid:2)(cid:13)(cid:7)(cid:4)(cid:7)(cid:24)(cid:21)(cid:7)8((cid:4)&(cid:7)(cid:22)(cid:13)%(cid:4)(cid:11)(cid:4)(cid:12)(cid:2)(cid:18)(cid:18)(cid:2)(cid:13)(cid:4)(cid:2)(cid:13)(cid:7)2(cid:4) 9(cid:16)(cid:12)∃(cid:22)(cid:24)(cid:31)(cid:8)(cid:4)0(cid:4)(cid:25)(cid:11)(cid:14)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:12)(cid:2)(cid:16)(cid:10)(cid:11)%(cid:7)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:3)(cid:11)(cid:21)(cid:4)(cid:21)(cid:5)(cid:10)(cid:2)(cid:13)%(cid:4)(cid:7)(cid:13)(cid:2)(cid:16)%(cid:25)(cid:4)(cid:5)(cid:2)(cid:4)(cid:7)(cid:13)(cid:14)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:14)(cid:7)&(cid:11)(cid:12)(cid:24)(cid:7)2 0(cid:4)(cid:21)+(cid:7)(cid:13)(cid:5)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:13)(cid:7):(cid:5)(cid:4);(cid:4)(cid:18)(cid:2)(cid:13)(cid:5)(cid:25)(cid:21)(cid:4)<(cid:27)=(cid:4)%(cid:7)(cid:5)(cid:5)(cid:22)(cid:13)%(cid:4)(cid:3)(cid:2)(cid:18)(cid:7)(cid:13)2(cid:4)(cid:4)0(cid:13)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:12)(cid:2)(cid:16)(cid:10)(cid:21)(cid:7)(cid:4)(cid:2)∀(cid:4);(cid:4)(cid:18)(cid:2)(cid:13)(cid:5)(cid:25)(cid:21)(cid:8)(cid:4)0(cid:4) (cid:25)(cid:2)(cid:2)∃(cid:7)(cid:14)(cid:4)(cid:16)+(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:4)(cid:5)(cid:3)(cid:2)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:21)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:11)%(cid:11)(cid:22)(cid:13)(cid:4)(cid:22)(cid:5)(cid:4)(cid:3)(cid:11)(cid:21)(cid:4)(cid:2)(cid:13)(cid:4)(cid:5)(cid:25)(cid:7)(cid:22)(cid:10)(cid:4)(cid:5)(cid:7)(cid:10)(cid:18)(cid:21)(cid:8)(cid:4)(cid:13)(cid:2)(cid:5)(cid:4)(cid:18)(cid:22)(cid:13)(cid:7)2(cid:4)(cid:4)=(cid:25)(cid:11)(cid:5)(cid:4) (cid:3)(cid:11)(cid:21)(cid:4)(cid:22)(cid:5)2 /(cid:24)(cid:11)(cid:21)(cid:25)(cid:4)∀(cid:2)(cid:10)(cid:3)(cid:11)(cid:10)(cid:14)(cid:4)>(cid:4)(cid:31)(cid:7)(cid:11)(cid:10)(cid:21)2(cid:4)(cid:4)0(cid:4)(cid:25)(cid:11)!(cid:7)(cid:4)(cid:12)(cid:2)(cid:18)+(cid:24)(cid:7)(cid:5)(cid:7)(cid:24)(cid:31)(cid:4)(cid:25)(cid:11)(cid:13)(cid:14)(cid:24)(cid:7)(cid:14)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)(cid:11)(cid:21)+(cid:7)(cid:12)(cid:5)(cid:4)(cid:2)∀(cid:4)(cid:18)(cid:31)(cid:4)(cid:24)(cid:22)∀(cid:7)2(cid:4)(cid:4)01(cid:18)(cid:4) %(cid:2)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:2)(cid:4)(cid:5)(cid:7)(cid:24)(cid:24)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:3)(cid:25)(cid:11)(cid:5)(cid:4)(cid:18)(cid:31)(cid:4)(cid:24)(cid:22)∀(cid:7)(cid:4)(cid:22)(cid:21)(cid:4)(cid:24)(cid:22)∃(cid:7)(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:4)(cid:3)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:13)(cid:2)(cid:3)2(cid:4)(cid:4)(cid:28)(cid:7)(cid:11)(cid:24)(cid:22)#(cid:7)(cid:8)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4) (cid:16)+(cid:12)(cid:2)(cid:18)(cid:22)(cid:13)%(cid:4)+(cid:11)(cid:10)(cid:11)%(cid:10)(cid:11)+(cid:25)(cid:4)(cid:22)(cid:21)(cid:4)(cid:13)(cid:2)(cid:5)(cid:4)(cid:3)(cid:10)(cid:22)(cid:5)(cid:5)(cid:7)(cid:13)(cid:4)(cid:5)(cid:2)(cid:4)∀(cid:24)(cid:11)(cid:21)(cid:25)(cid:4)(cid:18)(cid:31)(cid:4)(cid:7)%(cid:2)(cid:8)(cid:4)(cid:2)(cid:10)(cid:4)(cid:21)(cid:25)(cid:2)(cid:3)(cid:4)(cid:2)∀∀2(cid:4)(cid:4)0(cid:5)(cid:4)(cid:22)(cid:21)(cid:4)(cid:5)(cid:2)(cid:4) (cid:21)(cid:25)(cid:2)(cid:3)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)+(cid:2)(cid:21)(cid:21)(cid:22)&(cid:22)(cid:24)(cid:22)(cid:5)(cid:22)(cid:7)(cid:21)(cid:8)(cid:4)(cid:2)∀(cid:4)(cid:3)(cid:25)(cid:11)(cid:5)(cid:4)(cid:19)(cid:27)(cid:30)(cid:4)(cid:12)(cid:11)(cid:13)(cid:4)(cid:11)(cid:12)(cid:25)(cid:22)(cid:7)!(cid:7)(cid:4)(cid:11)++(cid:24)(cid:31)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:25)(cid:7)(cid:4) ∃(cid:13)(cid:2)(cid:3)(cid:24)(cid:7)(cid:14)%(cid:7)(cid:4)0(cid:4)(cid:11)(cid:18)(cid:4)(cid:11)&(cid:2)(cid:16)(cid:5)(cid:4)(cid:5)(cid:2)(cid:4)(cid:5)(cid:7)(cid:11)(cid:12)(cid:25)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:22)(cid:13)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)&(cid:2)(cid:2)∃2 (cid:17)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)(cid:11)&(cid:16)(cid:13)(cid:14)(cid:11)(cid:13)(cid:5)(cid:8)(cid:4)(cid:5)(cid:25)(cid:7)(cid:31)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)(cid:7)!(cid:7)(cid:10)(cid:31)(cid:3)(cid:25)(cid:7)(cid:10)(cid:7)2(cid:4)(cid:4)0(cid:4)(cid:25)(cid:11)!(cid:7)(cid:4)(cid:18)(cid:16)(cid:24)(cid:5)(cid:22)+(cid:24)(cid:7)(cid:4)(cid:10)(cid:7)(cid:24)(cid:11)(cid:5)(cid:22)(cid:2)(cid:13)(cid:21)(cid:25)(cid:22)+(cid:21)(cid:4) (cid:3)(cid:22)(cid:5)(cid:25)(cid:4)(cid:5)(cid:25)(cid:10)(cid:7)(cid:7)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:21)(cid:4)(cid:3)(cid:25)(cid:2)(cid:4)0(cid:4)(cid:5)(cid:10)(cid:16)(cid:24)(cid:31)(cid:4)(cid:12)(cid:11)(cid:10)(cid:7)(cid:4)(cid:11)&(cid:2)(cid:16)(cid:5)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:24)(cid:2)!(cid:7)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:3)(cid:25)(cid:2)(cid:4)(cid:5)(cid:10)(cid:16)(cid:24)(cid:31)(cid:4)(cid:12)(cid:11)(cid:10)(cid:7)(cid:4)(cid:11)&(cid:2)(cid:16)(cid:5)(cid:4) (cid:11)(cid:13)(cid:14)(cid:4)(cid:24)(cid:2)!(cid:7)(cid:4)(cid:18)(cid:7)2(cid:4)(cid:4)(cid:9)(cid:13)(cid:14)(cid:4)(cid:22)∀(cid:4)0(cid:4)(cid:3)(cid:7)(cid:10)(cid:7)(cid:4)(cid:5)(cid:2)(cid:4)(cid:7)!(cid:7)(cid:10)(cid:4)(cid:3)(cid:11)(cid:13)(cid:5)(cid:4)(cid:5)(cid:2)(cid:4)(cid:21)+(cid:22)(cid:12)(cid:7)(cid:4)(cid:16)+(cid:4)(cid:18)(cid:31)(cid:4)(cid:13)(cid:22)%(cid:25)(cid:5)(cid:8)(cid:4)0(cid:4)(cid:12)(cid:11)(cid:13)(cid:4)(cid:11)(cid:24)(cid:3)(cid:11)(cid:31)(cid:21)(cid:4) %(cid:2)(cid:4)(cid:5)(cid:2)(cid:4)(cid:11)(cid:4)&(cid:11)(cid:10)(cid:8)(cid:4)(cid:12)(cid:24)(cid:16)&(cid:8)(cid:4)(cid:2)(cid:10)(cid:4)+(cid:11)(cid:10)(cid:5)(cid:31)(cid:8)(cid:4)+(cid:22)(cid:12)∃(cid:4)(cid:16)+(cid:4)(cid:11)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)&(cid:10)(cid:22)(cid:13)%(cid:4)(cid:25)(cid:7)(cid:10)(cid:4)(cid:25)(cid:2)(cid:18)(cid:7)(cid:8)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:21)(cid:11)(cid:18)(cid:7)(cid:4)(cid:13)(cid:22)%(cid:25)(cid:5)2(cid:4) (cid:6)(cid:31)(cid:4)(cid:10)(cid:7)(cid:24)(cid:11)(cid:5)(cid:22)(cid:2)(cid:13)(cid:21)(cid:25)(cid:22)+(cid:21)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)(cid:12)(cid:2)(cid:18)+(cid:24)(cid:7)(cid:5)(cid:7)(cid:24)(cid:31)(cid:4)(cid:2)+(cid:7)(cid:13)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:25)(cid:2)(cid:13)(cid:7)(cid:21)(cid:5)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:5)(cid:25)(cid:7)(cid:21)(cid:7)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:21)(cid:4)∃(cid:13)(cid:2)(cid:3)(cid:4)0(cid:4)(cid:11)(cid:18)(cid:4) (cid:13)(cid:2)(cid:5)(cid:4)(cid:7):(cid:12)(cid:24)(cid:16)(cid:21)(cid:22)!(cid:7)(cid:4)(cid:5)(cid:2)(cid:4)(cid:5)(cid:25)(cid:7)(cid:18)(cid:8)(cid:4)(cid:31)(cid:7)(cid:5)(cid:4)(cid:5)(cid:25)(cid:7)(cid:31)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)(cid:11)(cid:24)(cid:24)(cid:4)(cid:7):(cid:12)(cid:24)(cid:16)(cid:21)(cid:22)!(cid:7)(cid:4)(cid:5)(cid:2)(cid:4)(cid:18)(cid:7)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:5)(cid:11)∃(cid:7)(cid:4)(cid:12)(cid:11)(cid:10)(cid:7)(cid:4)(cid:2)∀(cid:4)(cid:18)(cid:7)(cid:4)(cid:22)(cid:13)(cid:4) (cid:7)!(cid:7)(cid:10)(cid:31)(cid:4)(cid:3)(cid:11)(cid:31)2(cid:4)(cid:4)=(cid:25)(cid:7)(cid:31)(cid:4)(cid:12)(cid:2)(cid:2)∃(cid:4)∀(cid:2)(cid:10)(cid:4)(cid:18)(cid:7)(cid:8)(cid:4)&(cid:16)(cid:31)(cid:4)(cid:18)(cid:7)(cid:4)%(cid:22)∀(cid:5)(cid:21)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:14)(cid:2)(cid:4)(cid:18)(cid:31)(cid:4)(cid:24)(cid:11)(cid:16)(cid:13)(cid:14)(cid:10)(cid:31)2(cid:4)(cid:4)(cid:15)(cid:7)(cid:7)(cid:18)(cid:21)(cid:4) (cid:22)(cid:24)(cid:24)(cid:2)%(cid:22)(cid:12)(cid:11)(cid:24)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:11)(cid:4)(cid:3)(cid:2)(cid:18)(cid:11)(cid:13)(cid:4)(cid:18)(cid:22)%(cid:25)(cid:5)(cid:4)(cid:11)(cid:12)(cid:5)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)(cid:3)(cid:11)(cid:31)(cid:8)(cid:4)&(cid:16)(cid:5)(cid:4)01(cid:24)(cid:24)(cid:4)(cid:7):+(cid:24)(cid:11)(cid:22)(cid:13)(cid:4)(cid:25)(cid:2)(cid:3)(cid:4)(cid:22)(cid:5)(cid:4)(cid:11)(cid:24)(cid:24)(cid:4)(cid:12)(cid:11)(cid:13)(cid:4)&(cid:7)(cid:4) (cid:11)(cid:12)(cid:25)(cid:22)(cid:7)!(cid:7)(cid:14)(cid:4)(cid:5)(cid:25)(cid:10)(cid:2)(cid:16)%(cid:25)(cid:2)(cid:16)(cid:5)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:12)(cid:2)(cid:16)(cid:10)(cid:21)(cid:7)(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)&(cid:2)(cid:2)∃2 (cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4),(cid:11)%(cid:7)(cid:4)(cid:4)?(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4) (cid:21)(cid:22)(cid:23)(cid:17)(cid:4)(cid:6)(cid:24)(cid:25)(cid:16)(cid:11)(cid:11)(cid:2)(cid:19)(cid:26)(cid:27)(cid:6)(cid:28)(cid:11)(cid:11)(cid:6)(cid:29)(cid:2)(cid:26)(cid:30)(cid:4)(cid:5)(cid:6)(cid:29)(cid:16)(cid:5)(cid:16)(cid:17)(cid:31)(cid:16) (cid:6)!!!∀(cid:1)(cid:16)(cid:9)(cid:17)(cid:19)#(cid:7)!(cid:4)(cid:7)(cid:24)(cid:16) (cid:23)(cid:15)(cid:16)(cid:18)(cid:7)(cid:3)(cid:16)(cid:19)∀(cid:15)(cid:7)(cid:3) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:2)(cid:4)(cid:6)(cid:7)(cid:7)(cid:5)(cid:8)(cid:4)(cid:9)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:15)(cid:7)(cid:14)(cid:16)(cid:12)(cid:7)(cid:4)(cid:17)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:19)(cid:2)(cid:16)(cid:4)(cid:20)(cid:7)(cid:21)(cid:22)(cid:10)(cid:7) /(cid:24)(cid:11)(cid:21)(cid:25)(cid:4)&(cid:11)(cid:12)∃(cid:4)(cid:5)(cid:2)(cid:4)(cid:18)(cid:31)(cid:4)(cid:14)(cid:11)(cid:31)(cid:21)(cid:4)(cid:11)(cid:21)(cid:4)(cid:11)(cid:4)(cid:24)(cid:2)(cid:21)(cid:7)(cid:10)(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:4)(cid:3)(cid:2)(cid:18)(cid:7)(cid:13)2(cid:4)(cid:4)(cid:1)(cid:2)(cid:3)(cid:4)(cid:14)(cid:22)(cid:14)(cid:4)0(cid:4)(cid:12)(cid:25)(cid:11)(cid:13)%(cid:7)8(cid:4)(cid:4)(cid:17)(cid:7)(cid:24)(cid:24)(cid:8)(cid:4) (cid:24)(cid:22)∃(cid:7)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:14)(cid:22)(cid:14)(cid:4)(cid:5)(cid:2)(cid:14)(cid:11)(cid:31)(cid:8)(cid:4)0(cid:4)&(cid:2)(cid:16)%(cid:25)(cid:5)(cid:4)(cid:11)(cid:13)(cid:4)(cid:7) &(cid:2)(cid:2)∃(cid:4)0(cid:4)(cid:21)(cid:11)(cid:3)(cid:4)(cid:11)(cid:14)!(cid:7)(cid:10)(cid:5)(cid:22)(cid:21)(cid:7)(cid:14)(cid:4)(cid:2)(cid:13)(cid:24)(cid:22)(cid:13)(cid:7)2(cid:4)(cid:4)0(cid:5)(cid:4)(cid:3)(cid:11)(cid:21)(cid:4)%(cid:10)(cid:7)(cid:11)(cid:5)(cid:8)(cid:4) &(cid:16)(cid:5)(cid:4)(cid:22)(cid:5)(cid:4)(cid:3)(cid:11)(cid:21)(cid:13)1(cid:5)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:12)(cid:2)(cid:18)+(cid:24)(cid:7)(cid:5)(cid:7)(cid:4)+(cid:11)(cid:12)∃(cid:11)%(cid:7)2(cid:4)(cid:4)(cid:15)(cid:2)(cid:8)(cid:4)0(cid:4)%(cid:2)(cid:5)(cid:4)(cid:11)(cid:13)(cid:2)(cid:5)(cid:25)(cid:7)(cid:10)(cid:4)(cid:2)(cid:13)(cid:7)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:11)(cid:13)(cid:2)(cid:5)(cid:25)(cid:7)(cid:10)(cid:4)(cid:2)(cid:13)(cid:7)(cid:8)(cid:4) (cid:11)(cid:13)(cid:14)(cid:4)(cid:11)(cid:13)(cid:2)(cid:5)(cid:25)(cid:7)(cid:10)(cid:4)(cid:2)(cid:13)(cid:7)2(cid:4)(cid:4)(cid:9)(cid:24)(cid:24)(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:25)(cid:7)(cid:18)(cid:4)(cid:25)(cid:11)(cid:14)(cid:4)(cid:11)(cid:4)+(cid:22)(cid:7)(cid:12)(cid:7)(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)+(cid:16)##(cid:24)(cid:7)(cid:4)(cid:24)(cid:2)(cid:12)(cid:11)(cid:5)(cid:7)(cid:14)(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:22)(cid:13)(cid:8)(cid:4)&(cid:16)(cid:5)(cid:4) (cid:13)(cid:2)(cid:13)(cid:7)(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:25)(cid:7)(cid:18)(cid:4)(cid:3)(cid:7)(cid:10)(cid:7)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:12)(cid:2)(cid:18)+(cid:24)(cid:7)(cid:5)(cid:7)(cid:4)+(cid:11)(cid:12)∃(cid:11)%(cid:7)2(cid:4)(cid:4) (cid:9)∀(cid:5)(cid:7)(cid:10)(cid:4)(cid:11)(cid:4)(cid:24)(cid:22)(cid:5)(cid:5)(cid:24)(cid:7)(cid:4)(cid:18)(cid:2)(cid:10)(cid:7)(cid:4)(cid:5)(cid:25)(cid:11)(cid:13)(cid:4)(cid:5)(cid:3)(cid:2)(cid:4)(cid:31)(cid:7)(cid:11)(cid:10)(cid:21)(cid:4)(cid:2)∀(cid:4)(cid:10)(cid:7)(cid:11)(cid:14)(cid:22)(cid:13)%(cid:8)(cid:4)(cid:7):+(cid:7)(cid:10)(cid:22)(cid:18)(cid:7)(cid:13)(cid:5)(cid:22)(cid:13)%(cid:4)(cid:22)(cid:13)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)∀(cid:22)(cid:7)(cid:24)(cid:14)(cid:4) ≅&(cid:11)(cid:10)(cid:21)(cid:8)(cid:4)(cid:12)(cid:24)(cid:16)&(cid:21)Α(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:10)(cid:7)(cid:11)(cid:14)(cid:22)(cid:13)%(cid:4)(cid:18)(cid:2)(cid:10)(cid:7)(cid:8)(cid:4)0(cid:4)(cid:25)(cid:11)(cid:14)(cid:4)∀(cid:22)(cid:13)(cid:11)(cid:24)(cid:24)(cid:31)(cid:4)(cid:25)(cid:11)(cid:13)(cid:14)(cid:24)(cid:7)(cid:14)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)(cid:11)(cid:21)+(cid:7)(cid:12)(cid:5)(cid:4)(cid:2)∀(cid:4)(cid:18)(cid:31)(cid:4)(cid:24)(cid:22)∀(cid:7)2(cid:4) =(cid:25)(cid:7)(cid:4)(cid:25)(cid:22)(cid:24)(cid:11)(cid:10)(cid:22)(cid:2)(cid:16)(cid:21)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:22)(cid:10)(cid:2)(cid:13)(cid:22)(cid:12)(cid:4)(cid:5)(cid:25)(cid:22)(cid:13)%(cid:4)(cid:22)(cid:21)(cid:8)(cid:4)(cid:11)∀(cid:5)(cid:7)(cid:10)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)%(cid:7)(cid:5)(cid:4)%(cid:2)(cid:2)(cid:14)(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:4)(cid:3)(cid:2)(cid:18)(cid:7)(cid:13)(cid:8)(cid:4)(cid:22)(cid:5)(cid:4)(cid:12)(cid:2)(cid:18)(cid:7)(cid:21)(cid:4)(cid:21)(cid:2)(cid:4) (cid:13)(cid:11)(cid:5)(cid:16)(cid:10)(cid:11)(cid:24)(cid:24)(cid:31)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:12)(cid:11)(cid:13)1(cid:5)(cid:4)&(cid:7)(cid:24)(cid:22)(cid:7)!(cid:7)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)(cid:3)(cid:11)(cid:21)(cid:4)(cid:21)(cid:2)(cid:18)(cid:7)(cid:5)(cid:25)(cid:22)(cid:13)%(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)+(cid:16)(cid:5)(cid:4)(cid:7)∀∀(cid:2)(cid:10)(cid:5)(cid:4)(cid:22)(cid:13)(cid:5)(cid:2)(cid:4) (cid:12)(cid:2)(cid:13)7(cid:16)(cid:7)(cid:10)(cid:22)(cid:13)%2(cid:4)(cid:4)(cid:19)(cid:2)(cid:16)1(cid:10)(cid:7)(cid:4)%(cid:2)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:2)(cid:4)%(cid:7)(cid:5)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:5)(cid:25)(cid:7)(cid:10)(cid:7)(cid:4)(cid:5)(cid:2)(cid:2)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:5)(cid:25)(cid:7)(cid:13)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:3)(cid:22)(cid:24)(cid:24)(cid:4)(cid:24)(cid:11)(cid:16)%(cid:25)(cid:4)(cid:11)(cid:24)(cid:2)(cid:13)%(cid:4) (cid:3)(cid:22)(cid:5)(cid:25)(cid:4)(cid:18)(cid:7)2(cid:4)(cid:4)(cid:19)(cid:2)(cid:16)1(cid:24)(cid:24)(cid:4)∀(cid:22)(cid:13)(cid:14)(cid:4)(cid:22)(cid:5)1(cid:21)(cid:4)(cid:11)(cid:4)%(cid:10)(cid:7)(cid:11)(cid:5)(cid:4)∀(cid:7)(cid:7)(cid:24)(cid:22)(cid:13)%2 (cid:15)(cid:2)(cid:4)(cid:3)(cid:25)(cid:31)(cid:4)(cid:11)(cid:18)(cid:4)0(cid:4)(cid:3)(cid:10)(cid:22)(cid:5)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)&(cid:2)(cid:2)∃8 (cid:15)+(cid:7)(cid:13)(cid:14)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:24)(cid:11)(cid:21)(cid:5)(cid:4)(cid:5)(cid:3)(cid:2)(cid:4)(cid:31)(cid:7)(cid:11)(cid:10)(cid:21)(cid:4)(cid:3)(cid:2)(cid:10)∃(cid:22)(cid:13)%(cid:4)(cid:22)(cid:13)(cid:4)(cid:11)(cid:4)+(cid:2)+(cid:16)(cid:24)(cid:11)(cid:10)(cid:4)(cid:12)(cid:2)(cid:24)(cid:24)(cid:7)%(cid:7)(cid:4)&(cid:11)(cid:10)(cid:4)(cid:10)(cid:7)(cid:11)(cid:24)(cid:24)(cid:31)(cid:4)(cid:18)(cid:11)(cid:14)(cid:7)(cid:4)(cid:18)(cid:7)(cid:4) (cid:5)(cid:25)(cid:22)(cid:13)∃2(cid:4)(cid:4)Β(cid:7)(cid:12)(cid:11)(cid:16)(cid:21)(cid:7)(cid:4)0(cid:4)(cid:25)(cid:11)(cid:14)(cid:4)&(cid:7)(cid:7)(cid:13)(cid:4)(cid:24)(cid:7)(cid:11)(cid:10)(cid:13)(cid:22)(cid:13)%(cid:4)(cid:11)(cid:4)(cid:24)(cid:2)(cid:5)(cid:4)(cid:11)&(cid:2)(cid:16)(cid:5)(cid:4)∀(cid:7)(cid:18)(cid:11)(cid:24)(cid:7)(cid:4)(cid:5)(cid:2)(cid:4)(cid:18)(cid:11)(cid:24)(cid:7)(cid:4)(cid:22)(cid:13)(cid:5)(cid:7)(cid:10)(cid:11)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:21)(cid:8)(cid:4)0(cid:4) (cid:3)(cid:11)(cid:21)(cid:4)(cid:11)&(cid:24)(cid:7)(cid:4)(cid:5)(cid:2)(cid:4)(cid:21)+(cid:2)(cid:5)(cid:4)(cid:21)(cid:2)(cid:4)(cid:18)(cid:11)(cid:13)(cid:31)(cid:4)(cid:18)(cid:22)(cid:21)(cid:5)(cid:11)∃(cid:7)(cid:21)(cid:4)%(cid:16)(cid:31)(cid:21)(cid:4)(cid:3)(cid:7)(cid:10)(cid:7)(cid:4)(cid:18)(cid:11)∃(cid:22)(cid:13)%(cid:4)(cid:7)!(cid:7)(cid:10)(cid:31)(cid:4)(cid:13)(cid:22)%(cid:25)(cid:5)2(cid:4)(cid:4) 0(cid:4)(cid:21)+(cid:7)(cid:13)(cid:5)(cid:4)(cid:2)!(cid:7)(cid:10)(cid:4).(cid:4)(cid:31)(cid:7)(cid:11)(cid:10)(cid:21)(cid:4)%(cid:2)(cid:22)(cid:13)%(cid:4)(cid:2)(cid:16)(cid:5)(cid:4)(cid:11)(cid:4)(cid:18)(cid:22)(cid:13)(cid:22)(cid:18)(cid:16)(cid:18)(cid:4)(cid:2)∀(cid:4);(cid:4)(cid:13)(cid:22)%(cid:25)(cid:5)(cid:21)(cid:4)(cid:11)(cid:4)(cid:3)(cid:7)(cid:7)∃(cid:8)(cid:4)(cid:18)(cid:2)(cid:21)(cid:5)(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:25)(cid:7)(cid:4) (cid:5)(cid:22)(cid:18)(cid:7)(cid:4)Χ2(cid:4)(cid:4)0(cid:4)(cid:5)(cid:10)(cid:22)(cid:7)(cid:14)(cid:4)(cid:21)(cid:2)(cid:4)(cid:18)(cid:11)(cid:13)(cid:31)(cid:4)(cid:5)(cid:11)(cid:12)(cid:5)(cid:22)(cid:12)(cid:21)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:5)(cid:7)(cid:12)(cid:25)(cid:13)(cid:22)7(cid:16)(cid:7)(cid:21)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:18)(cid:7)(cid:5)(cid:25)(cid:2)(cid:14)(cid:21)(cid:4)(cid:5)(cid:2)(cid:4)%(cid:7)(cid:5)(cid:4)%(cid:2)(cid:2)(cid:14)(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:4) (cid:3)(cid:2)(cid:18)(cid:7)(cid:13)2(cid:4)(cid:4)0(cid:5)(cid:4)(cid:5)(cid:2)(cid:2)∃(cid:4)(cid:18)(cid:7)(cid:4)(cid:11)(cid:4)(cid:24)(cid:2)(cid:13)%(cid:4)(cid:5)(cid:22)(cid:18)(cid:7)(cid:4)(cid:5)(cid:2)(cid:4)(cid:10)(cid:7)(cid:11)(cid:24)(cid:24)(cid:31)(cid:4)(cid:12)(cid:10)(cid:11)(cid:12)∃(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:12)(cid:2)(cid:14)(cid:7)2(cid:4)(cid:4)<(cid:2)(cid:3)(cid:4)(cid:18)(cid:31)(cid:4)(cid:21)(cid:5)(cid:10)(cid:16)%%(cid:24)(cid:7)(cid:4)(cid:22)(cid:21)(cid:4) %(cid:2)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:2)(cid:4)&(cid:7)(cid:4)(cid:5)(cid:2)(cid:4)(cid:31)(cid:2)(cid:16)(cid:10)(cid:4)&(cid:7)(cid:13)(cid:7)∀(cid:22)(cid:5)2 (cid:19)(cid:2)(cid:16)(cid:4)(cid:3)(cid:2)(cid:13)1(cid:5)(cid:4)(cid:13)(cid:7)(cid:7)(cid:14)(cid:4)(cid:5)(cid:2)(cid:4)&(cid:16)(cid:31)(cid:4)?∆(cid:4)(cid:7)&(cid:2)(cid:2)∃(cid:21)(cid:8)(cid:4)4(cid:4)!(cid:22)(cid:14)(cid:7)(cid:2)(cid:4)(cid:12)(cid:2)(cid:16)(cid:10)(cid:21)(cid:7)(cid:21)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:11)(cid:4)+(cid:11)(cid:10)(cid:5)(cid:10)(cid:22)(cid:14)%(cid:7)(cid:4)(cid:22)(cid:13)(cid:4)(cid:11)(cid:4)+(cid:7)(cid:11)(cid:10)(cid:4) (cid:5)(cid:10)(cid:7)(cid:7)2(cid:4)(cid:4)0(cid:4)(cid:12)(cid:11)(cid:13)(cid:4)%(cid:16)(cid:11)(cid:10)(cid:11)(cid:13)(cid:5)(cid:7)(cid:7)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:11)&(cid:21)(cid:2)(cid:10)&(cid:22)(cid:13)%(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)∃(cid:13)(cid:2)(cid:3)(cid:24)(cid:7)(cid:14)%(cid:7)(cid:4)(cid:22)(cid:13)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)&(cid:2)(cid:2)∃(cid:4)(cid:11)(cid:13)(cid:14)(cid:4) (cid:5)(cid:11)(cid:12)∃(cid:24)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:12)(cid:25)(cid:11)(cid:24)(cid:24)(cid:7)(cid:13)%(cid:7)(cid:21)(cid:4)+(cid:10)(cid:7)(cid:21)(cid:7)(cid:13)(cid:5)(cid:7)(cid:14)(cid:4)(cid:22)(cid:13)(cid:4)(cid:18)(cid:31)(cid:4)!(cid:22)(cid:14)(cid:7)(cid:2)(cid:4)(cid:21)(cid:7)(cid:18)(cid:22)(cid:13)(cid:11)(cid:10)(cid:4)(cid:11)(cid:21)(cid:4)(cid:3)(cid:7)(cid:24)(cid:24)(cid:4)(cid:11)(cid:21)(cid:4)(cid:22)(cid:13)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4) &(cid:2)(cid:2)∃(cid:8)(cid:4)(cid:17)099(cid:4)(cid:18)(cid:11)∃(cid:7)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)%(cid:2)(cid:2)(cid:14)(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:4)(cid:3)(cid:2)(cid:18)(cid:7)(cid:13)2(cid:4)(cid:4) <(cid:2)(cid:5)(cid:4)(cid:2)(cid:13)(cid:24)(cid:31)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:8)(cid:4)(cid:22)(cid:5)(cid:4)(cid:3)(cid:22)(cid:24)(cid:24)(cid:4)(cid:18)(cid:11)∃(cid:7)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:18)(cid:2)(cid:10)(cid:7)(cid:4)(cid:12)(cid:2)(cid:13)∀(cid:22)(cid:14)(cid:7)(cid:13)(cid:5)(cid:8)(cid:4)(cid:18)(cid:2)(cid:10)(cid:7)(cid:4)(cid:24)(cid:2)!(cid:22)(cid:13)%(cid:4)(cid:2)∀(cid:4)(cid:31)(cid:2)(cid:16)(cid:10)(cid:21)(cid:7)(cid:24)∀(cid:4)(cid:11)(cid:13)(cid:14)(cid:4) (cid:2)(cid:5)(cid:25)(cid:7)(cid:10)(cid:21)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)Ε(cid:16)(cid:21)(cid:5)(cid:4)(cid:11)(cid:4)(cid:18)(cid:2)(cid:10)(cid:7)(cid:4)(cid:24)(cid:22)∃(cid:11)&(cid:24)(cid:7)(cid:4)∀(cid:10)(cid:22)(cid:7)(cid:13)(cid:14)(cid:24)(cid:31)(cid:4)(cid:2)(cid:16)(cid:5)%(cid:2)(cid:22)(cid:13)%(cid:4)%(cid:16)(cid:31)2 (cid:29):(cid:12)(cid:22)(cid:5)(cid:7)(cid:14)(cid:4)(cid:31)(cid:7)(cid:5)8(cid:4)(cid:4) (cid:17)(cid:7)(cid:24)(cid:24)(cid:4)(cid:3)(cid:10)(cid:22)(cid:5)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)(cid:13)(cid:2)(cid:3)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:24)(cid:2)(cid:2)∃(cid:22)(cid:13)%(cid:4)(cid:11)(cid:5)(cid:4)(cid:3)(cid:25)(cid:11)(cid:5)(cid:4)0(cid:4)(cid:25)(cid:11)!(cid:7)(cid:4)(cid:2)(cid:16)(cid:5)(cid:24)(cid:22)(cid:13)(cid:7)(cid:14)(cid:4)∀(cid:2)(cid:10)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)%(cid:16)(cid:31)(cid:21)(cid:8)(cid:4)01(cid:18)(cid:4) %(cid:7)(cid:5)(cid:5)(cid:22)(cid:13)%(cid:4)+(cid:10)(cid:7)(cid:5)(cid:5)(cid:31)(cid:4)(cid:7):(cid:12)(cid:22)(cid:5)(cid:7)(cid:14)(cid:4)(cid:18)(cid:31)(cid:21)(cid:7)(cid:24)∀∋(cid:4)(cid:4) (cid:15)(cid:2)(cid:4)(cid:24)(cid:7)(cid:5)1(cid:21)(cid:4)%(cid:7)(cid:5)(cid:4)(cid:10)(cid:22)%(cid:25)(cid:5)(cid:4)(cid:22)(cid:13)(cid:5)(cid:2)(cid:4)(cid:22)(cid:5)2(cid:4)(cid:4) (cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4),(cid:11)%(cid:7)(cid:4)(cid:4)>(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4) (cid:21)(cid:22)(cid:23)(cid:17)(cid:4)(cid:6)(cid:24)(cid:25)(cid:16)(cid:11)(cid:11)(cid:2)(cid:19)(cid:26)(cid:27)(cid:6)(cid:28)(cid:11)(cid:11)(cid:6)(cid:29)(cid:2)(cid:26)(cid:30)(cid:4)(cid:5)(cid:6)(cid:29)(cid:16)(cid:5)(cid:16)(cid:17)(cid:31)(cid:16) (cid:6)!!!∀(cid:1)(cid:16)(cid:9)(cid:17)(cid:19)#(cid:7)!(cid:4)(cid:7)(cid:24)(cid:16) (cid:23)(cid:15)(cid:16)(cid:18)(cid:7)(cid:3)(cid:16)(cid:19)∀(cid:15)(cid:7)(cid:3) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:2)(cid:4)(cid:6)(cid:7)(cid:7)(cid:5)(cid:8)(cid:4)(cid:9)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:15)(cid:7)(cid:14)(cid:16)(cid:12)(cid:7)(cid:4)(cid:17)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:19)(cid:2)(cid:16)(cid:4)(cid:20)(cid:7)(cid:21)(cid:22)(cid:10)(cid:7) /(cid:22)(cid:10)(cid:21)(cid:5)(cid:4)(cid:12)(cid:25)(cid:11)+(cid:5)(cid:7)(cid:10)(cid:4)(cid:3)(cid:22)(cid:24)(cid:24)(cid:4)(cid:12)(cid:2)!(cid:7)(cid:10)(cid:4)(cid:21)(cid:2)(cid:18)(cid:7)(cid:5)(cid:25)(cid:22)(cid:13)%(cid:4)!(cid:7)(cid:10)(cid:31)(cid:4)&(cid:11)(cid:21)(cid:22)(cid:12)(cid:8)(cid:4)(cid:31)(cid:7)(cid:5)(cid:4)!(cid:7)(cid:10)(cid:31)(cid:4)(cid:22)(cid:18)+(cid:2)(cid:10)(cid:5)(cid:11)(cid:13)(cid:5)(cid:4)(cid:5)(cid:2)(cid:4)(cid:10)(cid:7)(cid:11)(cid:24)(cid:22)#(cid:7)(cid:4) ∀(cid:2)(cid:10)(cid:4)+(cid:22)(cid:12)∃(cid:22)(cid:13)%(cid:4)(cid:16)+(cid:4)%(cid:22)(cid:10)(cid:24)(cid:21)2(cid:4)(cid:4)=(cid:25)(cid:7)(cid:10)(cid:7)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)(cid:14)(cid:22)∀∀(cid:7)(cid:10)(cid:7)(cid:13)(cid:5)(cid:4)+(cid:25)(cid:11)(cid:21)(cid:7)(cid:21)(cid:4)(cid:5)(cid:2)(cid:4)(cid:11)(cid:13)(cid:4)(cid:22)(cid:13)(cid:5)(cid:7)(cid:10)(cid:11)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:4)&(cid:7)(cid:5)(cid:3)(cid:7)(cid:7)(cid:13)(cid:4)(cid:11)(cid:4) (cid:18)(cid:11)(cid:13)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:3)(cid:2)(cid:18)(cid:11)(cid:13)2(cid:4)(cid:4) (cid:17)(cid:25)(cid:11)(cid:5)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)(cid:5)(cid:25)(cid:7)(cid:31)8(cid:4)(cid:4) (cid:17)(cid:25)(cid:31)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)(cid:5)(cid:25)(cid:7)(cid:31)(cid:4)(cid:22)(cid:18)+(cid:2)(cid:10)(cid:5)(cid:11)(cid:13)(cid:5)8 (cid:1)(cid:2)(cid:3)(cid:4)(cid:3)(cid:22)(cid:24)(cid:24)(cid:4)(cid:22)(cid:5)(cid:4)(cid:22)(cid:18)+(cid:10)(cid:2)!(cid:7)(cid:4)(cid:18)(cid:31)(cid:4)(cid:11)&(cid:22)(cid:24)(cid:22)(cid:5)(cid:31)(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:4)(cid:3)(cid:2)(cid:18)(cid:7)(cid:13)8 (cid:9)(cid:24)(cid:24)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)(cid:12)(cid:2)(cid:18)(cid:22)(cid:13)%(cid:4)(cid:16)+(cid:4)(cid:22)(cid:13)(cid:4)(cid:2)(cid:16)(cid:10)(cid:4)∀(cid:22)(cid:10)(cid:21)(cid:5)(cid:4)(cid:21)(cid:7)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:8)(cid:4)(cid:23)=(cid:25)(cid:7)(cid:4),(cid:25)(cid:11)(cid:21)(cid:7)(cid:21)(cid:4)(cid:2)∀(cid:4)(cid:26)(cid:2)(cid:2)(cid:14)(cid:4)(cid:15)(cid:7)(cid:14)(cid:16)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(2 (cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4),(cid:11)%(cid:7)(cid:4)(cid:4)4(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4) (cid:21)(cid:22)(cid:23)(cid:17)(cid:4)(cid:6)(cid:24)(cid:25)(cid:16)(cid:11)(cid:11)(cid:2)(cid:19)(cid:26)(cid:27)(cid:6)(cid:28)(cid:11)(cid:11)(cid:6)(cid:29)(cid:2)(cid:26)(cid:30)(cid:4)(cid:5)(cid:6)(cid:29)(cid:16)(cid:5)(cid:16)(cid:17)(cid:31)(cid:16) (cid:6)!!!∀(cid:1)(cid:16)(cid:9)(cid:17)(cid:19)#(cid:7)!(cid:4)(cid:7)(cid:24)(cid:16) (cid:23)(cid:15)(cid:16)(cid:18)(cid:7)(cid:3)(cid:16)(cid:19)∀(cid:15)(cid:7)(cid:3) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:2)(cid:4)(cid:6)(cid:7)(cid:7)(cid:5)(cid:8)(cid:4)(cid:9)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:15)(cid:7)(cid:14)(cid:16)(cid:12)(cid:7)(cid:4)(cid:17)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:19)(cid:2)(cid:16)(cid:4)(cid:20)(cid:7)(cid:21)(cid:22)(cid:10)(cid:7) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:6)(cid:7)(cid:8)(cid:9)(cid:10)(cid:8)(cid:11)(cid:12)(cid:2)(cid:8)(cid:13)(cid:12)(cid:14)(cid:15)(cid:2)(cid:15)(cid:8)(cid:6)(cid:16)(cid:8)(cid:17)(cid:6)(cid:6)(cid:18)(cid:8)(cid:1)(cid:2)(cid:18)(cid:19)(cid:3)(cid:4)(cid:5)(cid:6)(cid:7) (cid:29)!(cid:7)(cid:10)(cid:31)(cid:4)(cid:22)(cid:13)(cid:5)(cid:7)(cid:10)(cid:11)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:4)&(cid:7)(cid:5)(cid:3)(cid:7)(cid:7)(cid:13)(cid:4)(cid:11)(cid:4)(cid:18)(cid:11)(cid:13)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:3)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:3)(cid:25)(cid:22)(cid:12)(cid:25)(cid:4)(cid:24)(cid:7)(cid:11)(cid:14)(cid:21)(cid:4)(cid:5)(cid:2)(cid:4)(cid:21)(cid:7):(cid:4)(cid:25)(cid:11)(cid:21)(cid:4)(cid:11)(cid:4) (cid:12)(cid:7)(cid:10)(cid:5)(cid:11)(cid:22)(cid:13)(cid:4)+(cid:10)(cid:2)%(cid:10)(cid:7)(cid:21)(cid:21)(cid:22)(cid:2)(cid:13)2(cid:4)(cid:4)=(cid:25)(cid:7)(cid:4)+(cid:10)(cid:2)%(cid:10)(cid:7)(cid:21)(cid:21)(cid:22)(cid:2)(cid:13)(cid:4)(cid:22)(cid:21)(cid:4)&(cid:10)(cid:2)∃(cid:7)(cid:13)(cid:4)(cid:14)(cid:2)(cid:3)(cid:13)(cid:4)∀(cid:2)(cid:10)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:22)(cid:13)(cid:5)(cid:2)(cid:4)+(cid:25)(cid:11)(cid:21)(cid:7)(cid:21)(cid:4)(cid:5)(cid:2)(cid:4) &(cid:7)(cid:4)(cid:18)(cid:2)(cid:10)(cid:7)(cid:4)(cid:7)(cid:11)(cid:21)(cid:22)(cid:24)(cid:31)(cid:4)(cid:16)(cid:13)(cid:14)(cid:7)(cid:10)(cid:21)(cid:5)(cid:2)(cid:2)(cid:14)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:11)++(cid:24)(cid:22)(cid:7)(cid:14)2(cid:4)(cid:4)0(cid:13)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)(cid:12)(cid:25)(cid:11)+(cid:5)(cid:7)(cid:10)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:3)(cid:22)(cid:24)(cid:24)(cid:4)(cid:24)(cid:7)(cid:11)(cid:10)(cid:13)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4) +(cid:25)(cid:11)(cid:21)(cid:7)(cid:21)(cid:4)(cid:2)∀(cid:4)%(cid:2)(cid:2)(cid:14)(cid:4)(cid:21)(cid:7)(cid:14)(cid:16)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:8)(cid:4)(cid:3)(cid:25)(cid:22)(cid:12)(cid:25)(cid:4)(cid:11)(cid:10)(cid:7)) • (cid:9)++(cid:10)(cid:2)(cid:11)(cid:12)(cid:25) • (cid:9)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13) • Φ(cid:2)(cid:18)∀(cid:2)(cid:10)(cid:5) • (cid:15)(cid:7)(cid:14)(cid:16)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13) • /(cid:2)(cid:24)(cid:24)(cid:2)(cid:3)(cid:4)(cid:16)+ =(cid:25)(cid:7)(cid:4)+(cid:25)(cid:11)(cid:21)(cid:7)(cid:21)(cid:4)(cid:2)∀(cid:4)%(cid:2)(cid:2)(cid:14)(cid:4)(cid:21)(cid:7)(cid:14)(cid:16)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:4)%(cid:2)(cid:4)(cid:22)(cid:13)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)(cid:2)(cid:10)(cid:14)(cid:7)(cid:10)(cid:8)(cid:4)(cid:7)!(cid:7)(cid:10)(cid:31)(cid:4)(cid:5)(cid:22)(cid:18)(cid:7)(cid:8)(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:2)(cid:16)(cid:5)(cid:4)∀(cid:11)(cid:22)(cid:24)2(cid:4)(cid:4)=(cid:25)(cid:7)(cid:4) (cid:5)(cid:22)(cid:18)(cid:7)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:18)(cid:16)(cid:21)(cid:5)(cid:4)(cid:21)+(cid:7)(cid:13)(cid:14)(cid:4)(cid:22)(cid:13)(cid:4)(cid:7)(cid:11)(cid:12)(cid:25)(cid:4)+(cid:25)(cid:11)(cid:21)(cid:7)(cid:4)(cid:22)(cid:21)(cid:4)(cid:12)(cid:2)(cid:18)+(cid:24)(cid:7)(cid:5)(cid:7)(cid:24)(cid:31)(cid:4)(cid:14)(cid:7)+(cid:7)(cid:13)(cid:14)(cid:7)(cid:13)(cid:5)(cid:4)(cid:2)(cid:13)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4) (cid:22)(cid:13)(cid:5)(cid:7)(cid:10)(cid:11)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)2(cid:4)(cid:4) 01!(cid:7)(cid:4)%(cid:2)(cid:13)(cid:7)(cid:4)∀(cid:10)(cid:2)(cid:18)(cid:4)(cid:11)++(cid:10)(cid:2)(cid:11)(cid:12)(cid:25)(cid:4)(cid:5)(cid:2)(cid:4)(cid:21)(cid:7)(cid:14)(cid:16)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:4)(cid:22)(cid:13)(cid:4)(cid:11)(cid:4)(cid:25)(cid:11)(cid:24)∀(cid:4)(cid:11)(cid:13)(cid:4)(cid:25)(cid:2)(cid:16)(cid:10)(cid:4)&(cid:7)∀(cid:2)(cid:10)(cid:7)(cid:8)(cid:4)&(cid:16)(cid:5)(cid:4)01!(cid:7)(cid:4)(cid:11)(cid:24)(cid:21)(cid:2)(cid:4) (cid:21)+(cid:7)(cid:13)(cid:5)(cid:4)∀(cid:22)∀(cid:5)(cid:7)(cid:7)(cid:13)(cid:4)(cid:25)(cid:2)(cid:16)(cid:10)(cid:21)(cid:4)(cid:2)!(cid:7)(cid:10)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:12)(cid:2)(cid:16)(cid:10)(cid:21)(cid:7)(cid:4)(cid:2)∀(cid:4)(cid:11)(cid:4)∀(cid:7)(cid:3)(cid:4)(cid:22)(cid:13)(cid:5)(cid:7)(cid:10)(cid:11)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:21)2(cid:4)(cid:4) 0(cid:5)1(cid:21)(cid:4)!(cid:11)(cid:10)(cid:22)(cid:11)&(cid:24)(cid:7)2(cid:4)(cid:4) (cid:6)(cid:11)(cid:13)(cid:31)(cid:4)+(cid:7)(cid:2)+(cid:24)(cid:7)(cid:4)(cid:22)(cid:13)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:21)(cid:7)(cid:14)(cid:16)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:4)(cid:12)(cid:2)(cid:18)(cid:18)(cid:16)(cid:13)(cid:22)(cid:5)(cid:31)(cid:4)(cid:11)%(cid:10)(cid:7)(cid:7)(cid:8)(cid:4)(cid:11)(cid:21)(cid:4)(cid:14)(cid:2)(cid:4)0(cid:8)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:11)(cid:13)(cid:4)(cid:11)++(cid:10)(cid:2):(cid:22)(cid:18)(cid:11)(cid:5)(cid:7)(cid:4) (cid:11)!(cid:7)(cid:10)(cid:11)%(cid:7)(cid:4)∀(cid:10)(cid:2)(cid:18)(cid:4)(cid:18)(cid:7)(cid:7)(cid:5)(cid:4)(cid:5)(cid:2)(cid:4)(cid:21)(cid:7):(cid:4)≅(cid:2)(cid:10)(cid:4)(cid:21)(cid:7)(cid:14)(cid:16)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)Α(cid:4)(cid:22)(cid:21)(cid:4)(cid:11)&(cid:2)(cid:16)(cid:5)(cid:4)> Χ(cid:4)(cid:25)(cid:2)(cid:16)(cid:10)(cid:21)2 <(cid:2)(cid:3)(cid:4)(cid:22)∀(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)(cid:13)(cid:7)(cid:3)(cid:4)(cid:5)(cid:2)(cid:4)(cid:21)(cid:7)(cid:14)(cid:16)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:4)(cid:2)(cid:10)(cid:4)(cid:13)(cid:7)!(cid:7)(cid:10)(cid:4)(cid:25)(cid:11)(cid:14)(cid:4)(cid:11)(cid:4)(cid:2)(cid:13)(cid:7) (cid:13)(cid:22)%(cid:25)(cid:5) (cid:21)(cid:5)(cid:11)(cid:13)(cid:14)(cid:4)&(cid:7)∀(cid:2)(cid:10)(cid:7)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4) (cid:18)(cid:22)%(cid:25)(cid:5)(cid:4)&(cid:7)(cid:4)(cid:21)(cid:11)(cid:31)(cid:22)(cid:13)%(cid:4)(cid:23)Β(cid:30)99ΓΗ5Ι(cid:8)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:12)(cid:11)(cid:13)1(cid:5)(cid:4)(cid:18)(cid:7)(cid:7)(cid:5)(cid:4)(cid:11)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:25)(cid:11)!(cid:7)(cid:4)(cid:21)(cid:7):(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:4)(cid:25)(cid:7)(cid:10)(cid:4) >(cid:4)(cid:25)(cid:2)(cid:16)(cid:10)(cid:21)(cid:4)(cid:24)(cid:11)(cid:5)(cid:7)(cid:10)∋∋∋( =(cid:11)∃(cid:7)(cid:4)(cid:11)(cid:4)(cid:18)(cid:2)(cid:18)(cid:7)(cid:13)(cid:5)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:18)(cid:11)∃(cid:7)(cid:4)(cid:11)(cid:4)∀(cid:16)(cid:13)(cid:4)(cid:10)(cid:7)(cid:11)(cid:24)(cid:22)#(cid:11)(cid:5)(cid:22)(cid:2)(cid:13)2(cid:4)(cid:4)Β(cid:31)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:7)(cid:13)(cid:14)(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)&(cid:2)(cid:2)∃(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:3)(cid:22)(cid:24)(cid:24)(cid:4) (cid:25)(cid:11)!(cid:7)(cid:4)(cid:24)(cid:7)(cid:11)(cid:10)(cid:13)(cid:7)(cid:14)(cid:4)(cid:11)(cid:24)(cid:24)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:22)(cid:21)(cid:4)(cid:13)(cid:7)(cid:12)(cid:7)(cid:21)(cid:21)(cid:11)(cid:10)(cid:31)(cid:4)(cid:5)(cid:2)(cid:4)(cid:14)(cid:2)(cid:4)(cid:7):(cid:11)(cid:12)(cid:5)(cid:24)(cid:31)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)2(cid:4)(cid:4)(cid:28)(cid:7)(cid:11)(cid:24)(cid:24)(cid:31)(cid:4)(cid:24)(cid:7)(cid:5)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:21)(cid:22)(cid:13)∃(cid:4)(cid:22)(cid:13)(cid:4) ∀(cid:2)(cid:10)(cid:4)(cid:11)(cid:4)(cid:18)(cid:2)(cid:18)(cid:7)(cid:13)(cid:5)2 =(cid:25)(cid:7)(cid:10)(cid:7)(cid:4)(cid:22)(cid:21)(cid:4)(cid:11)(cid:4)∃(cid:7)(cid:31)(cid:4)+(cid:2)(cid:22)(cid:13)(cid:5)(cid:4)0(cid:4)(cid:3)(cid:11)(cid:13)(cid:5)(cid:4)(cid:5)(cid:2)(cid:4)(cid:16)(cid:13)(cid:14)(cid:7)(cid:10)(cid:21)(cid:5)(cid:11)(cid:13)(cid:14)(cid:4)(cid:10)(cid:22)%(cid:25)(cid:5)(cid:4)(cid:13)(cid:2)(cid:3)(cid:4)(cid:11)(cid:5)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)&(cid:7)%(cid:22)(cid:13)(cid:13)(cid:22)(cid:13)%(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4) &(cid:2)(cid:2)∃2(cid:4)(cid:4) =(cid:25)(cid:7)(cid:10)(cid:7)(cid:4)(cid:22)(cid:21)(cid:4)(cid:13)(cid:2)(cid:5)(cid:25)(cid:22)(cid:13)%(cid:4)(cid:21)(cid:24)(cid:7)(cid:11)#(cid:31)(cid:8)(cid:4)%(cid:10)(cid:22)(cid:18)(cid:31)(cid:8)(cid:4)(cid:21)(cid:12)(cid:16)(cid:18)(cid:18)(cid:31)(cid:8)(cid:4)(cid:2)(cid:10)(cid:4)(cid:16)(cid:13)(cid:14)(cid:7)(cid:10)(cid:25)(cid:11)(cid:13)(cid:14)(cid:7)(cid:14)(cid:4)(cid:11)&(cid:2)(cid:16)(cid:5)(cid:4)(cid:21)(cid:24)(cid:7)(cid:7)+(cid:22)(cid:13)%(cid:4) (cid:3)(cid:22)(cid:5)(cid:25)(cid:4)(cid:11)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:4)(cid:11)(cid:13)(cid:4)(cid:25)(cid:2)(cid:16)(cid:10)(cid:4)(cid:11)∀(cid:5)(cid:7)(cid:10)(cid:4)(cid:31)(cid:2)(cid:16)1!(cid:7)(cid:4)(cid:18)(cid:7)(cid:5)(cid:4)(cid:25)(cid:7)(cid:10)2(cid:4)(cid:4) (cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4),(cid:11)%(cid:7)(cid:4)(cid:4);(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4) (cid:21)(cid:22)(cid:23)(cid:17)(cid:4)(cid:6)(cid:24)(cid:25)(cid:16)(cid:11)(cid:11)(cid:2)(cid:19)(cid:26)(cid:27)(cid:6)(cid:28)(cid:11)(cid:11)(cid:6)(cid:29)(cid:2)(cid:26)(cid:30)(cid:4)(cid:5)(cid:6)(cid:29)(cid:16)(cid:5)(cid:16)(cid:17)(cid:31)(cid:16) (cid:6)!!!∀(cid:1)(cid:16)(cid:9)(cid:17)(cid:19)#(cid:7)!(cid:4)(cid:7)(cid:24)(cid:16) (cid:23)(cid:15)(cid:16)(cid:18)(cid:7)(cid:3)(cid:16)(cid:19)∀(cid:15)(cid:7)(cid:3) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:2)(cid:4)(cid:6)(cid:7)(cid:7)(cid:5)(cid:8)(cid:4)(cid:9)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:15)(cid:7)(cid:14)(cid:16)(cid:12)(cid:7)(cid:4)(cid:17)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:19)(cid:2)(cid:16)(cid:4)(cid:20)(cid:7)(cid:21)(cid:22)(cid:10)(cid:7) (cid:1)(cid:2)(cid:3)(cid:7)!(cid:7)(cid:10)(cid:8)(cid:4)(cid:11)(cid:4)(cid:24)(cid:2)(cid:5)(cid:4)(cid:2)∀(cid:4)(cid:16)(cid:21)(cid:8)(cid:4)(cid:22)(cid:13)(cid:12)(cid:24)(cid:16)(cid:14)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:18)(cid:7)(cid:4)(cid:2)∀(cid:4)(cid:2)(cid:24)(cid:14)(cid:8)(cid:4)(cid:25)(cid:11)!(cid:7)(cid:4)&(cid:7)(cid:7)(cid:13)(cid:4)(cid:21)(cid:2)(cid:12)(cid:22)(cid:11)(cid:24)(cid:24)(cid:31)(cid:4)(cid:12)(cid:2)(cid:13)(cid:14)(cid:22)(cid:5)(cid:22)(cid:2)(cid:13)(cid:7)(cid:14)(cid:4) (cid:5)(cid:2)(cid:4)(cid:5)(cid:25)(cid:22)(cid:13)∃(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)(cid:3)(cid:11)(cid:31)2(cid:4)(cid:4) (cid:15)(cid:2)(cid:4)(cid:25)(cid:2)(cid:3)(cid:4)(cid:12)(cid:11)(cid:13)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)%(cid:7)(cid:5)(cid:4)(cid:2)!(cid:7)(cid:10)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)8 /(cid:22)(cid:10)(cid:21)(cid:5)(cid:4)(cid:5)(cid:25)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:2)(cid:4)∃(cid:13)(cid:2)(cid:3)(cid:4)(cid:22)(cid:21)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:3)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)9(cid:27)ϑ(cid:29)(cid:4)(cid:21)(cid:7):2(cid:4)(cid:4)=(cid:25)(cid:7)(cid:31)(cid:4)9(cid:27)ϑ(cid:29)(cid:4)(cid:22)(cid:5)(cid:4)Ε(cid:16)(cid:21)(cid:5)(cid:4)(cid:11)(cid:21)(cid:4)(cid:18)(cid:16)(cid:12)(cid:25)(cid:4) 0/(cid:4)<(cid:27)=(cid:4)(cid:6)(cid:27)(cid:28)(cid:29)(cid:4)(cid:5)(cid:25)(cid:11)(cid:13)(cid:4)(cid:3)(cid:7)(cid:4)(cid:14)(cid:2)2(cid:4)(cid:4)=(cid:25)(cid:22)(cid:13)∃(cid:4)(cid:11)&(cid:2)(cid:16)(cid:5)(cid:4)(cid:22)(cid:5)(cid:8)(cid:4)(cid:5)(cid:25)(cid:7)(cid:31)(cid:4)(cid:25)(cid:11)!(cid:7)(cid:4)(cid:11)&(cid:2)(cid:16)(cid:5)(cid:4)−∆(cid:4)(cid:5)(cid:22)(cid:18)(cid:7)(cid:21)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4) (cid:21)(cid:7)(cid:13)(cid:21)(cid:22)(cid:5)(cid:22)!(cid:22)(cid:5)(cid:31)(cid:4)(cid:14)(cid:2)(cid:3)(cid:13)(cid:4)(cid:5)(cid:25)(cid:7)(cid:10)(cid:7)2(cid:4)(cid:4)0(cid:4)(cid:12)(cid:11)(cid:13)(cid:4)(cid:13)(cid:2)(cid:5)(cid:4)(cid:7)!(cid:7)(cid:13)(cid:4)(cid:22)(cid:18)(cid:11)%(cid:22)(cid:13)(cid:7)(cid:4)(cid:3)(cid:25)(cid:11)(cid:5)(cid:4)(cid:11)(cid:13)(cid:4)(cid:2)(cid:10)%(cid:11)(cid:21)(cid:18)(cid:4)∀(cid:7)(cid:7)(cid:24)(cid:21)(cid:4)(cid:24)(cid:22)∃(cid:7)(cid:4)∀(cid:2)(cid:10)(cid:4) (cid:5)(cid:25)(cid:7)(cid:18)2(cid:4)(cid:4) (cid:27)(cid:13)(cid:12)(cid:7)(cid:4)0(cid:4)(cid:11)(cid:21)∃(cid:7)(cid:14)(cid:4)(cid:2)(cid:13)(cid:7)(cid:4)(cid:2)∀(cid:4)(cid:18)(cid:31)(cid:4)%(cid:22)(cid:10)(cid:24)∀(cid:10)(cid:22)(cid:7)(cid:13)(cid:14)(cid:21)(cid:4)(cid:3)(cid:25)(cid:11)(cid:5)(cid:4)(cid:22)(cid:5)(cid:4)∀(cid:7)(cid:24)(cid:5)(cid:4)(cid:24)(cid:22)∃(cid:7)(cid:4)(cid:5)(cid:2)(cid:4)(cid:25)(cid:11)!(cid:7)(cid:4)(cid:11)(cid:13)(cid:4)(cid:11)(cid:18)(cid:11)#(cid:22)(cid:13)%(cid:4) (cid:2)(cid:10)%(cid:11)(cid:21)(cid:18)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:21)(cid:25)(cid:7)(cid:4)(cid:21)(cid:11)(cid:22)(cid:14)(cid:4)(cid:23)0(cid:5)1(cid:21)(cid:4)(cid:11)(cid:24)(cid:18)(cid:2)(cid:21)(cid:5)(cid:4)(cid:11)(cid:21)(cid:4)(cid:22)∀(cid:4)0Κ(cid:18)(cid:4)(cid:21)(cid:7)(cid:7)(cid:22)(cid:13)%(cid:4)%(cid:2)(cid:14)(cid:8)(cid:4)Ε(cid:16)(cid:21)(cid:5)(cid:4)∀(cid:2)(cid:10)(cid:4)(cid:11)(cid:4)(cid:18)(cid:2)(cid:18)(cid:7)(cid:13)(cid:5)(2(cid:4)(cid:4) (cid:17)(cid:27)(cid:17)∋∋ 0(cid:4)(cid:12)(cid:2)(cid:18)+(cid:11)(cid:10)(cid:7)(cid:4)(cid:18)(cid:11)(cid:24)(cid:7)(cid:4)(cid:2)(cid:10)%(cid:11)(cid:21)(cid:18)(cid:4)(cid:5)(cid:2)(cid:4)(cid:7)(cid:11)(cid:5)(cid:22)(cid:13)%(cid:4)(cid:11)(cid:4)(cid:10)(cid:7)(cid:11)(cid:24)(cid:24)(cid:31)(cid:4)(cid:14)(cid:7)(cid:24)(cid:22)(cid:12)(cid:22)(cid:2)(cid:16)(cid:21)(cid:4)(cid:12)(cid:25)(cid:7)(cid:7)(cid:21)(cid:7)(cid:12)(cid:11)∃(cid:7)(cid:4)(cid:2)(cid:10)(cid:4)(cid:21)(cid:2)(cid:18)(cid:7)(cid:5)(cid:25)(cid:22)(cid:13)%(cid:8)(cid:4) &(cid:16)(cid:5)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)Ε(cid:16)(cid:21)(cid:5)(cid:4)(cid:18)(cid:22)%(cid:25)(cid:5)(cid:4)&(cid:7)(cid:4)(cid:18)(cid:7)(cid:8)(cid:4)0(cid:4)9(cid:27)ϑ(cid:29)(cid:4)∀(cid:2)(cid:2)(cid:14)(cid:4)(cid:25)(cid:11)(cid:25)(cid:11)2 (cid:29)(cid:22)(cid:5)(cid:25)(cid:7)(cid:10)(cid:4)(cid:3)(cid:11)(cid:31)(cid:8)(cid:4)(cid:5)(cid:25)(cid:22)(cid:13)∃(cid:4)(cid:11)&(cid:2)(cid:16)(cid:5)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)∀(cid:22)(cid:10)(cid:21)(cid:5)2 (cid:15)(cid:7)(cid:12)(cid:2)(cid:13)(cid:14)(cid:8)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)%(cid:2)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:2)(cid:4)(cid:24)(cid:7)(cid:11)(cid:10)(cid:13)(cid:4)(cid:25)(cid:2)(cid:3)(cid:4)(cid:5)(cid:2)(cid:4)(cid:24)(cid:7)(cid:11)(cid:14)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:4)(cid:5)(cid:25)(cid:10)(cid:2)(cid:16)%(cid:25)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:22)(cid:13)(cid:5)(cid:7)(cid:10)(cid:11)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:4) ∀(cid:10)(cid:2)(cid:18)(cid:4)(cid:18)(cid:7)(cid:7)(cid:5)(cid:4)(cid:5)(cid:2)(cid:4)(cid:21)(cid:7):2(cid:4)(cid:4)(cid:15)(cid:25)(cid:7)(cid:4)(cid:22)(cid:21)(cid:4)%(cid:2)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:2)(cid:4)(cid:7)(cid:13)Ε(cid:2)(cid:31)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:10)(cid:22)(cid:14)(cid:7)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:3)(cid:25)(cid:2)(cid:24)(cid:7)(cid:4)(cid:3)(cid:11)(cid:31)2(cid:4)(cid:4)(cid:9)(cid:13)(cid:14)(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:4) (cid:21)(cid:7):(cid:16)(cid:11)(cid:24)(cid:4)(cid:5)(cid:7)(cid:12)(cid:25)(cid:13)(cid:22)7(cid:16)(cid:7)(cid:21)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:18)(cid:22)(cid:13)(cid:14)(cid:21)(cid:7)(cid:5)(cid:21)(cid:4)01(cid:18)(cid:4)%(cid:2)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:2)(cid:4)(cid:5)(cid:7)(cid:11)(cid:12)(cid:25)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:24)(cid:11)(cid:5)(cid:7)(cid:10)(cid:8)(cid:4)(cid:21)(cid:25)(cid:7)1(cid:21)(cid:4)%(cid:2)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:2)(cid:4) &(cid:7)(cid:4)(cid:2)(cid:13)(cid:7)(cid:4)!(cid:7)(cid:10)(cid:31)(cid:4)(cid:21)(cid:11)(cid:5)(cid:22)(cid:21)∀(cid:22)(cid:7)(cid:14)(cid:4)(cid:3)(cid:2)(cid:18)(cid:11)(cid:13)2 (cid:15)(cid:2)(cid:8)(cid:4)(cid:25)(cid:11)(cid:10)(cid:14)(cid:4)(cid:11)(cid:21)(cid:4)(cid:22)(cid:5)(cid:4)(cid:18)(cid:11)(cid:31)(cid:4)&(cid:7)(cid:8)(cid:4)0(cid:4)(cid:3)(cid:11)(cid:13)(cid:5)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:5)(cid:2)(cid:4)%(cid:7)(cid:5)(cid:4)(cid:2)!(cid:7)(cid:10)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:21)(cid:5)(cid:22)%(cid:18)(cid:11)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:3)(cid:7)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)(cid:14)(cid:2)(cid:22)(cid:13)%(cid:4) (cid:11)(cid:13)(cid:31)(cid:5)(cid:25)(cid:22)(cid:13)%(cid:4)(cid:21)(cid:24)(cid:7)(cid:11)#(cid:31)(cid:4)(cid:25)(cid:7)(cid:10)(cid:7)2(cid:4)(cid:4) 0(cid:5)1(cid:21)(cid:4)(cid:11)(cid:12)(cid:5)(cid:16)(cid:11)(cid:24)(cid:24)(cid:31)(cid:4)7(cid:16)(cid:22)(cid:5)(cid:7)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:2)++(cid:2)(cid:21)(cid:22)(cid:5)(cid:7)2(cid:4)(cid:4) (cid:19)(cid:2)(cid:16)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)(cid:14)(cid:2)(cid:22)(cid:13)%(cid:4)(cid:3)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:11)(cid:4)/(cid:9)ϑ(cid:27)(cid:28)2(cid:4)(cid:4)(cid:6)(cid:2)(cid:21)(cid:5)(cid:4)(cid:18)(cid:7)(cid:13)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)(cid:15)(cid:27)(cid:4)(cid:18)(cid:22)(cid:21)(cid:7)(cid:10)(cid:11)&(cid:24)(cid:7)(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:21)(cid:4) (cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:18)(cid:2)(cid:21)(cid:5)(cid:4)(cid:3)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:21)+(cid:7)(cid:13)(cid:14)(cid:4)(cid:5)(cid:25)(cid:7)(cid:22)(cid:10)(cid:4)(cid:5)(cid:22)(cid:18)(cid:7)(cid:4)(cid:5)(cid:11)(cid:24)∃(cid:22)(cid:13)%(cid:4)(cid:11)&(cid:2)(cid:16)(cid:5)(cid:4)(cid:25)(cid:2)(cid:3)(cid:4)(cid:16)(cid:13)(cid:21)(cid:11)(cid:5)(cid:22)(cid:21)∀(cid:22)(cid:7)(cid:14)(cid:4)(cid:5)(cid:25)(cid:7)(cid:31)(cid:4)(cid:11)(cid:10)(cid:7)2(cid:4)(cid:4) 335(cid:4)(cid:2)∀(cid:4)(cid:18)(cid:7)(cid:13)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)&(cid:11)(cid:14)(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:4)(cid:3)(cid:2)(cid:18)(cid:7)(cid:13)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:25)(cid:11)(cid:24)∀(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:10)(cid:7)(cid:18)(cid:11)(cid:22)(cid:13)(cid:22)(cid:13)%(cid:4)+(cid:7)(cid:10)(cid:12)(cid:7)(cid:13)(cid:5)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)%(cid:11)(cid:31)2(cid:4) (cid:15)(cid:2)(cid:4)+(cid:10)(cid:7)+(cid:11)(cid:10)(cid:7)(cid:4)(cid:5)(cid:2)(cid:4)&(cid:7)(cid:4)(cid:3)(cid:7)(cid:24)(cid:12)(cid:2)(cid:18)(cid:7)(cid:14)(cid:4)(cid:22)(cid:13)(cid:5)(cid:2)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)∆245(cid:4)(cid:2)∀(cid:4)(cid:25)(cid:7)(cid:5)(cid:7)(cid:10)(cid:2)(cid:21)(cid:7):(cid:16)(cid:11)(cid:24)(cid:4)(cid:18)(cid:7)(cid:13)(cid:4)(cid:3)(cid:25)(cid:2)(cid:4)(cid:12)(cid:11)(cid:13)(cid:4)(cid:10)(cid:2)(cid:12)∃(cid:4) (cid:11)(cid:4)(cid:3)(cid:2)(cid:18)(cid:11)(cid:13)1(cid:21)(cid:4)(cid:3)(cid:2)(cid:10)(cid:24)(cid:14)2 (cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4),(cid:11)%(cid:7)(cid:4)(cid:4)Χ(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4) (cid:21)(cid:22)(cid:23)(cid:17)(cid:4)(cid:6)(cid:24)(cid:25)(cid:16)(cid:11)(cid:11)(cid:2)(cid:19)(cid:26)(cid:27)(cid:6)(cid:28)(cid:11)(cid:11)(cid:6)(cid:29)(cid:2)(cid:26)(cid:30)(cid:4)(cid:5)(cid:6)(cid:29)(cid:16)(cid:5)(cid:16)(cid:17)(cid:31)(cid:16) (cid:6)!!!∀(cid:1)(cid:16)(cid:9)(cid:17)(cid:19)#(cid:7)!(cid:4)(cid:7)(cid:24)(cid:16) (cid:23)(cid:15)(cid:16)(cid:18)(cid:7)(cid:3)(cid:16)(cid:19)∀(cid:15)(cid:7)(cid:3) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:2)(cid:4)(cid:6)(cid:7)(cid:7)(cid:5)(cid:8)(cid:4)(cid:9)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:15)(cid:7)(cid:14)(cid:16)(cid:12)(cid:7)(cid:4)(cid:17)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:19)(cid:2)(cid:16)(cid:4)(cid:20)(cid:7)(cid:21)(cid:22)(cid:10)(cid:7) (cid:20)(cid:21)(cid:21)(cid:22)(cid:6)(cid:14)(cid:3)(cid:12)(cid:5)(cid:7)(cid:23) <(cid:2)(cid:3)(cid:4)(cid:22)∀(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:25)(cid:11)!(cid:7)(cid:13)1(cid:5)(cid:4)(cid:11)(cid:24)(cid:10)(cid:7)(cid:11)(cid:14)(cid:31)(cid:4)(cid:3)(cid:11)(cid:5)(cid:12)(cid:25)(cid:7)(cid:14)(cid:4)(cid:18)(cid:31)(cid:4)(cid:15)(cid:7)(cid:18)(cid:22)(cid:13)(cid:11)(cid:10)(cid:8)(cid:4)(cid:23)(cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:2)(cid:4)(cid:9)++(cid:10)(cid:2)(cid:11)(cid:12)(cid:25)(cid:4)(cid:9)(cid:13)(cid:31)(cid:4) (cid:26)(cid:22)(cid:10)(cid:24)(cid:8)(cid:4)(cid:9)(cid:13)(cid:31)(cid:3)(cid:25)(cid:7)(cid:10)(cid:7)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:29):+(cid:24)(cid:2)(cid:14)(cid:7)(cid:4)(cid:19)(cid:2)(cid:16)(cid:10)(cid:4)Φ(cid:2)(cid:13)∀(cid:22)(cid:14)(cid:7)(cid:13)(cid:12)(cid:7)(cid:4)=(cid:2)(cid:14)(cid:11)(cid:31)((cid:4)0(cid:4)(cid:3)(cid:2)(cid:16)(cid:24)(cid:14)(cid:4)(cid:7)(cid:13)(cid:12)(cid:2)(cid:16)(cid:10)(cid:11)%(cid:7)(cid:4) (cid:31)(cid:2)(cid:16)(cid:4)(cid:5)(cid:2)(cid:4)(cid:22)(cid:18)(cid:18)(cid:7)(cid:14)(cid:22)(cid:11)(cid:5)(cid:7)(cid:24)(cid:31)2 (cid:9)++(cid:10)(cid:2)(cid:11)(cid:12)(cid:25)(cid:22)(cid:13)%(cid:8)(cid:4)(cid:11)(cid:24)(cid:21)(cid:2)(cid:4)∃(cid:13)(cid:2)(cid:3)(cid:13)(cid:4)(cid:11)(cid:21)(cid:4)(cid:2)+(cid:7)(cid:13)(cid:22)(cid:13)%(cid:8)(cid:4)(cid:22)(cid:21)(cid:4)(cid:13)(cid:2)(cid:5)(cid:4)(cid:14)(cid:22)∀∀(cid:22)(cid:12)(cid:16)(cid:24)(cid:5)2(cid:4)(cid:4)(cid:19)(cid:2)(cid:16)(cid:4)(cid:12)(cid:2)(cid:16)(cid:24)(cid:14)(cid:4)&(cid:7)(cid:4)(cid:21)(cid:22)(cid:5)(cid:5)(cid:22)(cid:13)%(cid:4) (cid:11)(cid:5)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)&(cid:11)(cid:10)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:3)(cid:25)(cid:7)(cid:13)(cid:4)(cid:11)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:4)(cid:2)(cid:10)(cid:14)(cid:7)(cid:10)(cid:21)(cid:4)(cid:11)(cid:4)(cid:14)(cid:10)(cid:22)(cid:13)∃(cid:4)(cid:21)(cid:11)(cid:31)(cid:4)(cid:23)(cid:2)(cid:25)(cid:4)(cid:3)(cid:25)(cid:11)(cid:5)(cid:4)(cid:11)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:22)(cid:7)(cid:4)(cid:14)(cid:10)(cid:22)(cid:13)∃∋((cid:4)(cid:2)(cid:10)(cid:4) (cid:17)(cid:1)(cid:9)=(cid:29)ϑ(cid:29)(cid:28)(cid:8)(cid:4)&(cid:11)(cid:18)(cid:8)(cid:4)(cid:21)(cid:25)(cid:7)(cid:4)(cid:22)(cid:21)(cid:4)(cid:2)+(cid:7)(cid:13)(cid:7)(cid:14)2 Β(cid:31)(cid:4)(cid:2)+(cid:7)(cid:13)(cid:22)(cid:13)%(cid:4)(cid:2)(cid:10)(cid:4)(cid:11)++(cid:10)(cid:2)(cid:11)(cid:12)(cid:25)(cid:22)(cid:13)%(cid:8)(cid:4)(cid:2)(cid:16)(cid:10)(cid:4)(cid:2)(cid:13)(cid:24)(cid:31)(cid:4)%(cid:2)(cid:11)(cid:24)(cid:4)(cid:22)(cid:21)(cid:4)(cid:5)(cid:2)(cid:4)(cid:21)(cid:5)(cid:11)(cid:10)(cid:5)(cid:4)(cid:11)(cid:13)(cid:4)(cid:22)(cid:13)(cid:5)(cid:7)(cid:10)(cid:11)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)2(cid:4)(cid:4)0(cid:5)(cid:4)(cid:12)(cid:2)(cid:16)(cid:24)(cid:14)(cid:4) (cid:7)!(cid:7)(cid:13)(cid:4)&(cid:7)(cid:4)(cid:13)(cid:2)(cid:13)(cid:4)!(cid:7)(cid:10)&(cid:11)(cid:24)2(cid:4)(cid:4)(cid:9)(cid:4)(cid:24)(cid:2)(cid:5)(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:22)(cid:18)(cid:7)(cid:21)(cid:4)(cid:22)∀(cid:4)(cid:11)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:4)&(cid:16)(cid:18)+(cid:21)(cid:4)(cid:22)(cid:13)(cid:5)(cid:2)(cid:4)(cid:18)(cid:7)(cid:4)01(cid:24)(cid:24)(cid:4)Ε(cid:16)(cid:21)(cid:5)(cid:4)(cid:11)(cid:12)(cid:5)(cid:4)(cid:24)(cid:22)∃(cid:7)(cid:4) (cid:21)(cid:25)(cid:7)(cid:4)(cid:28)(cid:29)(cid:9)99(cid:19)(cid:4)(cid:25)(cid:16)(cid:10)(cid:5)(cid:4)(cid:18)(cid:7)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:3)(cid:22)(cid:24)(cid:24)(cid:4)(cid:2)+(cid:7)(cid:13)(cid:4)(cid:25)(cid:7)(cid:10)2(cid:4)(cid:4) 0∀(cid:4)(cid:21)(cid:25)(cid:7)(cid:4)(cid:3)(cid:7)(cid:10)(cid:7)(cid:4)(cid:5)(cid:2)(cid:4)(cid:21)(cid:11)(cid:31)(cid:4)&(cid:16)(cid:18)+(cid:4)(cid:22)(cid:13)(cid:5)(cid:2)(cid:4)(cid:31)(cid:2)(cid:16)(cid:10)(cid:4)(cid:7)(cid:24)&(cid:2)(cid:3)(cid:4)(cid:3)(cid:25)(cid:22)(cid:24)(cid:7)(cid:4)+(cid:11)(cid:21)(cid:21)(cid:22)(cid:13)%(cid:8)(cid:4)%(cid:10)(cid:11)&(cid:4)(cid:22)(cid:5)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)∀(cid:11)∃(cid:7)(cid:4)(cid:11)(cid:4) (cid:18)(cid:7)%(cid:11)(cid:4)(cid:22)(cid:13)Ε(cid:16)(cid:10)(cid:31)(cid:4)(cid:23)(cid:2)(cid:3)(cid:3)(cid:3)(cid:3)(cid:3)(cid:3)(cid:3)(cid:3)(cid:3)(cid:8)(cid:4)(cid:2)(cid:25)(cid:4)(cid:18)(cid:31)(cid:4)(cid:16)(cid:25)(cid:25)(cid:25)(cid:4)(cid:2)(cid:3)(cid:3)(cid:3)(cid:3)(cid:3)(cid:3)((cid:4)(cid:3)(cid:25)(cid:22)(cid:24)(cid:7)(cid:4)(cid:24)(cid:2)(cid:2)∃(cid:22)(cid:13)%(cid:4)(cid:11)(cid:5)(cid:4) (cid:25)(cid:7)(cid:10)(cid:4)(cid:21)(cid:2)(cid:10)(cid:5)(cid:4)(cid:2)∀(cid:4)(cid:14)(cid:7)!(cid:22)(cid:24)(cid:22)(cid:21)(cid:25)(cid:24)(cid:31)2(cid:4)(cid:4)(cid:26)(cid:7)(cid:5)(cid:21)(cid:4)(cid:11)(cid:4)(cid:24)(cid:11)(cid:16)%(cid:25)(cid:4)(cid:7)!(cid:7)(cid:10)(cid:31)(cid:4)(cid:5)(cid:22)(cid:18)(cid:7)2 0∀(cid:4)(cid:31)(cid:2)(cid:16)1!(cid:7)(cid:4)<(cid:29)ϑ(cid:29)(cid:28)(cid:4)(cid:14)(cid:2)(cid:13)(cid:7)(cid:4)(cid:11)(cid:4)(cid:12)(cid:2)(cid:24)(cid:14)(cid:4)(cid:11)++(cid:10)(cid:2)(cid:11)(cid:12)(cid:25)(cid:4)(cid:2)(cid:10)(cid:4)(cid:2)+(cid:7)(cid:13)(cid:7)(cid:10)(cid:4)&(cid:7)∀(cid:2)(cid:10)(cid:7)(cid:8)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:18)(cid:2)(cid:21)(cid:5)(cid:4)(cid:24)(cid:22)∃(cid:7)(cid:24)(cid:31)(cid:4) (cid:25)(cid:11)!(cid:7)(cid:4)(cid:11)(cid:4)(cid:24)(cid:2)(cid:5)(cid:4)(cid:2)∀(cid:4)(cid:11)(cid:13):(cid:22)(cid:7)(cid:5)(cid:31)(cid:4)(cid:11)&(cid:2)(cid:16)(cid:5)(cid:4)(cid:22)(cid:5)2(cid:4)(cid:4)=(cid:25)(cid:11)(cid:5)1(cid:21)(cid:4)(cid:27)∗2(cid:4)(cid:4) (cid:17)(cid:11)(cid:5)(cid:12)(cid:25)(cid:4)(cid:18)(cid:31)(cid:4)(cid:21)(cid:7)(cid:18)(cid:22)(cid:13)(cid:11)(cid:10)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:3)(cid:2)(cid:10)∃(cid:4)(cid:2)(cid:13)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:12)(cid:25)(cid:11)(cid:24)(cid:24)(cid:7)(cid:13)%(cid:7)(cid:21)(cid:4)(cid:24)(cid:22)(cid:21)(cid:5)(cid:7)(cid:14)(cid:4)(cid:22)(cid:13)(cid:4)(cid:5)(cid:25)(cid:7)(cid:10)(cid:7)2(cid:4)(cid:4)=(cid:25)(cid:7)(cid:31)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4) %(cid:2)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:2)(cid:4)%(cid:7)(cid:5)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:2)!(cid:7)(cid:10)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)(cid:11)(cid:13):(cid:22)(cid:7)(cid:5)(cid:31)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)%(cid:7)(cid:5)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:11)++(cid:10)(cid:2)(cid:11)(cid:12)(cid:25)(cid:22)(cid:13)%(cid:4)(cid:3)(cid:2)(cid:18)(cid:7)(cid:13)2 =(cid:25)(cid:7)(cid:4)(cid:21)(cid:7)(cid:18)(cid:22)(cid:13)(cid:11)(cid:10)(cid:4)(cid:3)(cid:22)(cid:24)(cid:24)(cid:4)(cid:25)(cid:11)(cid:13)(cid:14)(cid:24)(cid:7)(cid:4)(cid:11)(cid:24)(cid:24)(cid:4)(cid:2)∀(cid:4)(cid:31)(cid:2)(cid:16)(cid:10)(cid:4)(cid:11)++(cid:10)(cid:2)(cid:11)(cid:12)(cid:25)(cid:22)(cid:13)%(cid:4)(cid:13)(cid:7)(cid:7)(cid:14)(cid:21)(cid:8)(cid:4)(cid:21)(cid:2)(cid:4)(cid:24)(cid:7)(cid:5)(cid:21)(cid:4)(cid:18)(cid:2)!(cid:7)(cid:4)(cid:2)(cid:13)(cid:4)(cid:5)(cid:2)(cid:4) (cid:5)(cid:25)(cid:7)(cid:4)(cid:13)(cid:7):(cid:5)(cid:4)+(cid:25)(cid:11)(cid:21)(cid:7)2 (cid:20)(cid:4)(cid:4)(cid:22)(cid:14)(cid:3)(cid:4)(cid:5)(cid:6)(cid:7) (cid:27)(cid:13)(cid:12)(cid:7)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:25)(cid:11)!(cid:7)(cid:4)(cid:2)+(cid:7)(cid:13)(cid:7)(cid:14)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:13)(cid:7):(cid:5)(cid:4)+(cid:11)(cid:10)(cid:5)(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:22)(cid:13)(cid:5)(cid:7)(cid:10)(cid:11)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:4)∀(cid:2)(cid:12)(cid:16)(cid:21)(cid:7)(cid:21)(cid:4)(cid:11)(cid:10)(cid:2)(cid:16)(cid:13)(cid:14)(cid:4) (cid:11)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:4)(cid:5)(cid:2)(cid:4)(cid:31)(cid:2)(cid:16)2(cid:4)(cid:4)0(cid:13)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:2)(cid:24)(cid:14)(cid:4)(cid:14)(cid:11)(cid:31)(cid:21)(cid:8)(cid:4)+(cid:7)(cid:2)+(cid:24)(cid:7)(cid:4)≅(cid:18)(cid:7)(cid:4)(cid:22)(cid:13)(cid:12)(cid:24)(cid:16)(cid:14)(cid:7)(cid:14)Α(cid:4)(cid:3)(cid:2)(cid:16)(cid:24)(cid:14)(cid:4) (cid:18)(cid:7)(cid:18)(cid:2)(cid:10)(cid:22)#(cid:7)(cid:4)∀(cid:16)(cid:13)(cid:13)(cid:31)(cid:4)(cid:21)(cid:5)(cid:2)(cid:10)(cid:22)(cid:7)(cid:21)(cid:4)(cid:2)(cid:10)(cid:4)(cid:24)(cid:22)(cid:5)(cid:5)(cid:24)(cid:7)(cid:4)%(cid:22)(cid:18)(cid:18)(cid:22)(cid:12)∃(cid:21)(cid:4)(cid:5)(cid:2)(cid:4)(cid:16)(cid:21)(cid:7)(cid:4)(cid:5)(cid:2)(cid:4)(cid:11)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:8)(cid:4)(cid:12)(cid:11)(cid:24)(cid:24)(cid:7)(cid:14)(cid:4) (cid:10)(cid:2)(cid:16)(cid:5)(cid:22)(cid:13)(cid:7)(cid:21)2 =(cid:25)(cid:22)(cid:21)(cid:4)(cid:22)(cid:21)(cid:4)(cid:11)(cid:4)(cid:5)(cid:25)(cid:22)(cid:13)%(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)+(cid:11)(cid:21)(cid:5)2(cid:4)(cid:4) (cid:19)(cid:2)(cid:16)(cid:10)(cid:4)(cid:2)(cid:13)(cid:24)(cid:31)(cid:4)Ε(cid:2)&(cid:4)(cid:22)(cid:13)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)+(cid:2)(cid:22)(cid:13)(cid:5)(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:22)(cid:13)(cid:5)(cid:7)(cid:10)(cid:11)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:4)(cid:22)(cid:21)(cid:4)(cid:5)(cid:2)(cid:4)(cid:25)(cid:11)!(cid:7)(cid:4)∀(cid:16)(cid:13)(cid:4)(cid:12)(cid:2)(cid:13)!(cid:7)(cid:10)(cid:21)(cid:11)(cid:5)(cid:22)(cid:2)(cid:13)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4) (cid:21)(cid:25)(cid:2)(cid:3)(cid:4)(cid:25)(cid:7)(cid:10)(cid:4)(cid:25)(cid:2)(cid:3)(cid:4)(cid:12)(cid:2)(cid:2)(cid:24)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:11)(cid:10)(cid:7)2(cid:4)(cid:4) (cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4),(cid:11)%(cid:7)(cid:4)(cid:4)Λ(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4) (cid:21)(cid:22)(cid:23)(cid:17)(cid:4)(cid:6)(cid:24)(cid:25)(cid:16)(cid:11)(cid:11)(cid:2)(cid:19)(cid:26)(cid:27)(cid:6)(cid:28)(cid:11)(cid:11)(cid:6)(cid:29)(cid:2)(cid:26)(cid:30)(cid:4)(cid:5)(cid:6)(cid:29)(cid:16)(cid:5)(cid:16)(cid:17)(cid:31)(cid:16) (cid:6)!!!∀(cid:1)(cid:16)(cid:9)(cid:17)(cid:19)#(cid:7)!(cid:4)(cid:7)(cid:24)(cid:16) (cid:23)(cid:15)(cid:16)(cid:18)(cid:7)(cid:3)(cid:16)(cid:19)∀(cid:15)(cid:7)(cid:3) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:2)(cid:4)(cid:6)(cid:7)(cid:7)(cid:5)(cid:8)(cid:4)(cid:9)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:15)(cid:7)(cid:14)(cid:16)(cid:12)(cid:7)(cid:4)(cid:17)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:19)(cid:2)(cid:16)(cid:4)(cid:20)(cid:7)(cid:21)(cid:22)(cid:10)(cid:7) 0(cid:4)(cid:18)(cid:7)(cid:11)(cid:13)(cid:4)(cid:12)(cid:2)(cid:2)(cid:24)(cid:4)(cid:22)(cid:13)(cid:4)(cid:11)(cid:4)!(cid:7)(cid:10)(cid:31)(cid:4)&(cid:10)(cid:2)(cid:11)(cid:14)(cid:4)(cid:3)(cid:11)(cid:31)2(cid:4)(cid:4) (cid:29)!(cid:7)(cid:10)(cid:31)(cid:2)(cid:13)(cid:7)(cid:4)(cid:22)(cid:21)(cid:4)(cid:12)(cid:2)(cid:2)(cid:24)(cid:4)(cid:5)(cid:2)(cid:4)(cid:21)(cid:2)(cid:18)(cid:7)(cid:2)(cid:13)(cid:7)2(cid:4)(cid:4)(cid:9)(cid:13)(cid:14)(cid:4)(cid:22)∀(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)(cid:11)(cid:4)∀(cid:16)(cid:13)(cid:8)(cid:4)(cid:12)(cid:2)(cid:13)∀(cid:22)(cid:14)(cid:7)(cid:13)(cid:5)(cid:8)(cid:4)(cid:2)(cid:16)(cid:5)(cid:4)%(cid:2)(cid:22)(cid:13)%(cid:4) (cid:21)(cid:2)(cid:12)(cid:22)(cid:11)(cid:24)(cid:4)%(cid:16)(cid:31)(cid:8)(cid:4)(cid:3)(cid:25)(cid:22)(cid:12)(cid:25)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:3)(cid:22)(cid:24)(cid:24)(cid:4)&(cid:7)(cid:4)&(cid:31)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:7)(cid:13)(cid:14)(cid:4)(cid:2)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)&(cid:2)(cid:2)∃(cid:8)(cid:4)(cid:31)(cid:2)(cid:16)1(cid:24)(cid:24)(cid:4)&(cid:7)(cid:4)(cid:12)(cid:2)(cid:2)(cid:24)(cid:4)(cid:5)(cid:2)(cid:4)(cid:9)(cid:4) 9(cid:27)=(cid:4)(cid:2)∀(cid:4)%(cid:22)(cid:10)(cid:24)(cid:21)2 (cid:23)9(cid:7)(cid:5)1(cid:21)(cid:4)(cid:21)(cid:7)(cid:7)(cid:4)(cid:22)∀(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)(cid:12)(cid:25)(cid:22)(cid:12)∃(cid:4)(cid:3)(cid:22)(cid:24)(cid:24)(cid:4)(cid:24)(cid:22)∃(cid:7)(cid:4)(cid:18)(cid:7)(cid:4)∀(cid:2)(cid:10)(cid:4)(cid:18)(cid:7)2((cid:4)(cid:4)0(cid:21)(cid:4)(cid:18)(cid:31)(cid:4)(cid:2)(cid:13)(cid:24)(cid:31)(cid:4)(cid:18)(cid:22)(cid:13)(cid:14)(cid:21)(cid:7)(cid:5)(cid:4)(cid:14)(cid:16)(cid:10)(cid:22)(cid:13)%(cid:4) (cid:11)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)2 =(cid:25)(cid:22)(cid:21)(cid:4)∀(cid:16)(cid:13)(cid:4)%(cid:16)(cid:31)(cid:4)(cid:22)(cid:21)(cid:4)%(cid:2)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:2)(cid:4)(cid:21)(cid:5)(cid:7)(cid:18)(cid:4)∀(cid:10)(cid:2)(cid:18)(cid:4)(cid:11)(cid:4)(cid:5)(cid:7)(cid:12)(cid:25)(cid:13)(cid:22)7(cid:16)(cid:7)(cid:4)0(cid:4)(cid:5)(cid:2)(cid:16)(cid:12)(cid:25)(cid:7)(cid:14)(cid:4)(cid:2)(cid:13)(cid:4)(cid:22)(cid:13)(cid:4)(cid:18)(cid:31)(cid:4)(cid:21)(cid:7)(cid:18)(cid:22)(cid:13)(cid:11)(cid:10)(cid:8)(cid:4) (cid:5)(cid:25)(cid:7)(cid:4)(cid:22)(cid:13)(cid:13)(cid:7)(cid:10)(cid:4)+(cid:11)(cid:10)(cid:5)(cid:31)2(cid:4)(cid:4)(cid:17)(cid:7)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)%(cid:2)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:2)(cid:4)%(cid:2)(cid:4)(cid:18)(cid:16)(cid:12)(cid:25)(cid:4)∀(cid:16)(cid:10)(cid:5)(cid:25)(cid:7)(cid:10)(cid:4)(cid:22)(cid:13)(cid:5)(cid:2)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)(cid:12)(cid:2)(cid:13)(cid:12)(cid:7)+(cid:5)2(cid:4)(cid:4)0(cid:5)(cid:4)(cid:25)(cid:11)(cid:21)(cid:4)(cid:22)(cid:5)(cid:21)(cid:4) (cid:2)(cid:3)(cid:13)(cid:4)(cid:21)(cid:7)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:4)&(cid:7)(cid:12)(cid:11)(cid:16)(cid:21)(cid:7)(cid:4)(cid:22)(cid:5)(cid:4)(cid:22)(cid:21)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:22)(cid:18)+(cid:2)(cid:10)(cid:5)(cid:11)(cid:13)(cid:5)2(cid:4)(cid:4) Μ(cid:16)(cid:21)(cid:5)(cid:4)(cid:10)(cid:7)(cid:12)(cid:2)%(cid:13)(cid:22)#(cid:7)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:11)∀(cid:5)(cid:7)(cid:10)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:2)+(cid:7)(cid:13)(cid:4)(cid:11)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:8)(cid:4)(cid:21)(cid:25)(cid:7)(cid:4)(cid:3)(cid:22)(cid:24)(cid:24)(cid:4)&(cid:7)(cid:4)(cid:14)(cid:7)(cid:12)(cid:22)(cid:14)(cid:22)(cid:13)%(cid:4)(cid:2)!(cid:7)(cid:10)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:12)(cid:2)(cid:16)(cid:10)(cid:21)(cid:7)(cid:4) (cid:2)∀(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:13)(cid:7):(cid:5)(cid:4)?∆(cid:4)(cid:21)(cid:7)(cid:12)(cid:2)(cid:13)(cid:14)(cid:21)(cid:4)(cid:5)(cid:2)(cid:4)4(cid:4)(cid:18)(cid:22)(cid:13)(cid:16)(cid:5)(cid:7)(cid:21)(cid:4)(cid:22)∀(cid:4)(cid:21)(cid:25)(cid:7)(cid:4)(cid:22)(cid:21)(cid:4)(cid:11)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:7)(cid:14)(cid:4)(cid:5)(cid:2)(cid:4)(cid:31)(cid:2)(cid:16)2(cid:4)(cid:4) 0(cid:4)(cid:3)(cid:2)(cid:16)(cid:24)(cid:14)(cid:4)(cid:21)(cid:11)(cid:31)(cid:4)(cid:22)(cid:5)1(cid:21)(cid:4)(cid:16)(cid:21)(cid:16)(cid:11)(cid:24)(cid:24)(cid:31)(cid:4)(cid:11)(cid:4)(cid:21)(cid:25)(cid:2)(cid:10)(cid:5)(cid:7)(cid:10)(cid:4)(cid:11)(cid:18)(cid:2)(cid:16)(cid:13)(cid:5)(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:22)(cid:18)(cid:7)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:11)!(cid:7)(cid:10)(cid:11)%(cid:7)(cid:21)(cid:4)(cid:2)(cid:16)(cid:5)(cid:4)(cid:5)(cid:2)(cid:4)&(cid:7)(cid:4) (cid:11)&(cid:2)(cid:16)(cid:5)(cid:4).(cid:4)(cid:18)(cid:22)(cid:13)(cid:16)(cid:5)(cid:7)(cid:21)2 (cid:27)(cid:13)(cid:12)(cid:7)(cid:4)(cid:21)(cid:25)(cid:7)(cid:4)(cid:22)(cid:21)(cid:4)(cid:11)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:7)(cid:14)(cid:4)(cid:5)(cid:2)(cid:4)(cid:31)(cid:2)(cid:16)(cid:8)(cid:4)(cid:22)(cid:5)(cid:4)&(cid:10)(cid:22)(cid:13)%(cid:21)(cid:4)(cid:16)(cid:21)(cid:4)(cid:5)(cid:2)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:13)(cid:7):(cid:5)(cid:4)+(cid:25)(cid:11)(cid:21)(cid:7)(cid:4)(cid:2)∀(cid:4)(cid:11)(cid:4)(cid:21)(cid:7)(cid:14)(cid:16)(cid:12)(cid:5)(cid:22)!(cid:7)(cid:4) (cid:22)(cid:13)(cid:5)(cid:7)(cid:10)(cid:11)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:8)(cid:4)(cid:12)(cid:2)(cid:18)∀(cid:2)(cid:10)(cid:5)∋ (cid:24)(cid:6)(cid:25)(cid:16)(cid:6)(cid:22)(cid:4) =(cid:25)(cid:7)(cid:4)+(cid:25)(cid:11)(cid:21)(cid:7)(cid:4)(cid:2)∀(cid:4)(cid:12)(cid:2)(cid:18)∀(cid:2)(cid:10)(cid:5)(cid:8)(cid:4)(cid:2)(cid:10)(cid:4)(cid:10)(cid:11)++(cid:2)(cid:10)(cid:5)(cid:8)(cid:4)(cid:22)(cid:21)(cid:4)(cid:3)(cid:25)(cid:7)(cid:10)(cid:7)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:5)(cid:3)(cid:2)(cid:4)%(cid:7)(cid:5)(cid:4)(cid:5)(cid:2)(cid:4)∃(cid:13)(cid:2)(cid:3)(cid:4)(cid:7)(cid:11)(cid:12)(cid:25)(cid:4)(cid:2)(cid:5)(cid:25)(cid:7)(cid:10)2(cid:4) (cid:15)(cid:25)(cid:7)1(cid:21)(cid:4)%(cid:2)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:2)(cid:4)(cid:11)(cid:21)∃(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)7(cid:16)(cid:7)(cid:21)(cid:5)(cid:22)(cid:2)(cid:13)(cid:21)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:10)(cid:7)!(cid:7)(cid:11)(cid:24)(cid:4)(cid:24)(cid:2)(cid:5)(cid:21)(cid:4)(cid:2)∀(cid:4)(cid:5)(cid:25)(cid:22)(cid:13)%(cid:21)(cid:4)(cid:11)&(cid:2)(cid:16)(cid:5)(cid:4)(cid:25)(cid:7)(cid:10)(cid:4)(cid:21)(cid:7)(cid:24)∀2 (cid:17)(cid:9)(cid:28)<0<(cid:26))(cid:4)(cid:4)(cid:20)(cid:2)(cid:4)(cid:13)(cid:2)(cid:5)(cid:4)(cid:18)(cid:11)∃(cid:7)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)(cid:11)(cid:13)(cid:4)(cid:22)(cid:13)(cid:5)(cid:7)(cid:10)!(cid:22)(cid:7)(cid:3)2 Φ(cid:2)(cid:18)∀(cid:2)(cid:10)(cid:5)(cid:4)(cid:22)(cid:21)(cid:4)<(cid:27)=) • (cid:17)(cid:25)(cid:11)(cid:5)1(cid:21)(cid:4)(cid:31)(cid:2)(cid:16)(cid:10)(cid:4)(cid:13)(cid:11)(cid:18)(cid:7)8(cid:4) • (cid:17)(cid:25)(cid:7)(cid:10)(cid:7)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)∀(cid:10)(cid:2)(cid:18)8(cid:4) • (cid:17)(cid:25)(cid:11)(cid:5)(cid:4)(cid:14)(cid:2)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:14)(cid:2)(cid:4)∀(cid:2)(cid:10)(cid:4)(cid:11)(cid:4)(cid:24)(cid:22)!(cid:22)(cid:13)%8(cid:4) • (cid:20)(cid:2)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:24)(cid:22)∃(cid:7)(cid:4)(cid:14)(cid:2)%(cid:21)8(cid:4)(cid:4) • (cid:1)(cid:2)(cid:3)(cid:4)(cid:18)(cid:11)(cid:13)(cid:31)(cid:4)(cid:21)(cid:22)&(cid:24)(cid:22)(cid:13)%(cid:21)(cid:4)(cid:14)(cid:2)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:25)(cid:11)!(cid:7)8(cid:4) (cid:9)(cid:10)(cid:7)(cid:4)(cid:3)(cid:7)(cid:4)&(cid:2)(cid:10)(cid:7)(cid:14)(cid:4)(cid:31)(cid:7)(cid:5)8 (cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4),(cid:11)%(cid:7)(cid:4)(cid:4)3(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4) (cid:21)(cid:22)(cid:23)(cid:17)(cid:4)(cid:6)(cid:24)(cid:25)(cid:16)(cid:11)(cid:11)(cid:2)(cid:19)(cid:26)(cid:27)(cid:6)(cid:28)(cid:11)(cid:11)(cid:6)(cid:29)(cid:2)(cid:26)(cid:30)(cid:4)(cid:5)(cid:6)(cid:29)(cid:16)(cid:5)(cid:16)(cid:17)(cid:31)(cid:16) (cid:6)!!!∀(cid:1)(cid:16)(cid:9)(cid:17)(cid:19)#(cid:7)!(cid:4)(cid:7)(cid:24)(cid:16) (cid:23)(cid:15)(cid:16)(cid:18)(cid:7)(cid:3)(cid:16)(cid:19)∀(cid:15)(cid:7)(cid:3) (cid:1)(cid:2)(cid:3)(cid:4)(cid:5)(cid:2)(cid:4)(cid:6)(cid:7)(cid:7)(cid:5)(cid:8)(cid:4)(cid:9)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:15)(cid:7)(cid:14)(cid:16)(cid:12)(cid:7)(cid:4)(cid:17)(cid:2)(cid:18)(cid:7)(cid:13)(cid:4)(cid:19)(cid:2)(cid:16)(cid:4)(cid:20)(cid:7)(cid:21)(cid:22)(cid:10)(cid:7) (cid:19)(cid:2)(cid:16)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)(cid:11)(cid:5)(cid:4)(cid:11)(cid:4)&(cid:11)(cid:10)(cid:4)(cid:5)(cid:2)(cid:4)(cid:25)(cid:11)!(cid:7)(cid:4)/(cid:30)<2(cid:4)(cid:4)(cid:6)(cid:11)∃(cid:7)(cid:4)(cid:12)(cid:2)(cid:18)∀(cid:2)(cid:10)(cid:5)(cid:4)∀(cid:16)(cid:13)∋(cid:4)(cid:4)0(cid:4)(cid:24)(cid:22)∃(cid:7)(cid:4)(cid:5)(cid:2)(cid:4)(cid:11)(cid:21)∃(cid:4)%(cid:2)(cid:2)∀(cid:31)(cid:4) 7(cid:16)(cid:7)(cid:21)(cid:5)(cid:22)(cid:2)(cid:13)(cid:21)(cid:4)(cid:5)(cid:2)(cid:4)∀(cid:22)(cid:13)(cid:14)(cid:4)(cid:2)(cid:16)(cid:5)(cid:4)(cid:18)(cid:2)(cid:10)(cid:7)(cid:4)(cid:11)&(cid:2)(cid:16)(cid:5)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)+(cid:7)(cid:10)(cid:21)(cid:2)(cid:13)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:18)(cid:11)∃(cid:7)(cid:4)(cid:5)(cid:25)(cid:7)(cid:18)(cid:4)∀(cid:7)(cid:7)(cid:24)(cid:4)(cid:12)(cid:2)(cid:18)∀(cid:2)(cid:10)(cid:5)(cid:11)&(cid:24)(cid:7)(cid:4) (cid:3)(cid:22)(cid:5)(cid:25)(cid:4)(cid:18)(cid:7)(cid:4)(cid:22)(cid:13)(cid:4)(cid:11)(cid:4)/(cid:30)<(cid:4)(cid:3)(cid:11)(cid:31)2 0∀(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:25)(cid:11)(cid:14)(cid:4)(cid:5)(cid:2)(cid:4)(cid:7)(cid:11)(cid:5)(cid:4)(cid:7)(cid:22)(cid:5)(cid:25)(cid:7)(cid:10)(cid:4)+(cid:22)##(cid:11)(cid:4)(cid:2)(cid:10)(cid:4)(cid:21)(cid:5)(cid:7)(cid:11)∃(cid:4)?(cid:4)(cid:18)(cid:7)(cid:11)(cid:24)(cid:21)(cid:4)(cid:11)(cid:4)(cid:14)(cid:11)(cid:31)(cid:4)∀(cid:2)(cid:10)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:10)(cid:7)(cid:21)(cid:5)(cid:4)(cid:2)∀(cid:4)(cid:31)(cid:2)(cid:16)(cid:10)(cid:4)(cid:24)(cid:22)∀(cid:7)(cid:4) (cid:3)(cid:25)(cid:22)(cid:12)(cid:25)(cid:4)(cid:3)(cid:2)(cid:16)(cid:24)(cid:14)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:12)(cid:25)(cid:2)(cid:21)(cid:7)8(cid:4)(cid:4)(cid:19)(cid:2)(cid:16)(cid:4)∃(cid:13)(cid:2)(cid:3)(cid:8)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)∃(cid:22)(cid:13)(cid:14)(cid:4)(cid:2)∀(cid:4)(cid:21)(cid:5)(cid:16)∀∀2 (cid:27)&!(cid:22)(cid:2)(cid:16)(cid:21)(cid:24)(cid:31)(cid:8)(cid:4)(cid:3)(cid:7)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)(cid:13)(cid:2)(cid:5)(cid:4)%(cid:2)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:2)(cid:4)(cid:18)(cid:11)∃(cid:7)(cid:4)(cid:7)!(cid:7)(cid:10)(cid:31)(cid:4)7(cid:16)(cid:7)(cid:21)(cid:5)(cid:22)(cid:2)(cid:13)(cid:4)(cid:24)(cid:22)∃(cid:7)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)2(cid:4)=(cid:25)(cid:7)(cid:10)(cid:7)(cid:4)(cid:22)(cid:21)(cid:4)(cid:10)(cid:2)(cid:2)(cid:18)(cid:4) ∀(cid:2)(cid:10)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)(cid:18)(cid:2)(cid:10)(cid:7)(cid:4)&(cid:2)(cid:10)(cid:22)(cid:13)%(cid:4)(cid:2)∀(cid:4)7(cid:16)(cid:7)(cid:21)(cid:5)(cid:22)(cid:2)(cid:13)(cid:21)2(cid:4)(cid:4) =(cid:25)(cid:7)(cid:4)(cid:18)(cid:2)(cid:21)(cid:5)(cid:4)(cid:22)(cid:18)+(cid:2)(cid:10)(cid:5)(cid:11)(cid:13)(cid:5)(cid:4)(cid:5)(cid:25)(cid:22)(cid:13)%(cid:4)(cid:22)(cid:21)(cid:4)(cid:5)(cid:2)(cid:4)(cid:13)(cid:2)(cid:5)(cid:4)(cid:18)(cid:11)∃(cid:7)(cid:4)(cid:22)(cid:5)(cid:4)∀(cid:7)(cid:7)(cid:24)(cid:4)(cid:24)(cid:22)∃(cid:7)(cid:4)(cid:11)(cid:4)(cid:21)(cid:16)(cid:10)!(cid:7)(cid:31)2(cid:4)(cid:4)<(cid:2)&(cid:2)(cid:14)(cid:31)(cid:4)(cid:24)(cid:22)∃(cid:7)(cid:21)(cid:4) (cid:21)(cid:16)(cid:10)!(cid:7)(cid:31)(cid:21)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:11)(cid:21)∃(cid:22)(cid:13)%(cid:4)7(cid:16)(cid:7)(cid:21)(cid:5)(cid:22)(cid:2)(cid:13)(cid:21)(cid:4)(cid:22)(cid:13)(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)(cid:18)(cid:11)(cid:13)(cid:13)(cid:7)(cid:10)(cid:4)(cid:3)(cid:22)(cid:24)(cid:24)(cid:4)7(cid:16)(cid:22)(cid:12)∃(cid:24)(cid:31)(cid:4)(cid:18)(cid:11)∃(cid:7)(cid:4)(cid:25)(cid:7)(cid:10)(cid:4)(cid:24)(cid:2)(cid:21)(cid:7)(cid:4) (cid:11)(cid:5)(cid:5)(cid:10)(cid:11)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)(cid:4)∀(cid:2)(cid:10)(cid:4)(cid:31)(cid:2)(cid:16)2(cid:4)(cid:4) (cid:15)(cid:25)(cid:7)(cid:4)(cid:3)(cid:22)(cid:24)(cid:24)(cid:4)∀(cid:22)(cid:13)(cid:14)(cid:4)(cid:22)(cid:5)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:5)(cid:2)(cid:4)&(cid:7)(cid:4)&(cid:2)(cid:10)(cid:22)(cid:13)%2 (cid:9)(cid:24)(cid:21)(cid:2)(cid:8)(cid:4)(cid:5)(cid:2)(cid:16)(cid:12)(cid:25)(cid:22)(cid:13)%(cid:4)(cid:2)(cid:13)(cid:4)(cid:12)(cid:2)(cid:18)(cid:18)(cid:2)(cid:13)(cid:11)(cid:24)(cid:22)(cid:5)(cid:22)(cid:7)(cid:21)(cid:4)(cid:22)(cid:21)(cid:4)(cid:11)(cid:4)%(cid:10)(cid:7)(cid:11)(cid:5)(cid:4)(cid:3)(cid:11)(cid:31)(cid:4)(cid:5)(cid:2)(cid:4)&(cid:16)(cid:22)(cid:24)(cid:14)(cid:4)(cid:12)(cid:2)(cid:18)∀(cid:2)(cid:10)(cid:5)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4) (cid:12)(cid:2)(cid:13)(cid:5)(cid:22)(cid:13)(cid:16)(cid:7)(cid:4)(cid:12)(cid:2)(cid:13)!(cid:7)(cid:10)(cid:21)(cid:11)(cid:5)(cid:22)(cid:2)(cid:13)2(cid:4)(cid:4)0∀(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)∀(cid:22)(cid:13)(cid:14)(cid:4)(cid:21)(cid:2)(cid:18)(cid:7)(cid:5)(cid:25)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)&(cid:2)(cid:5)(cid:25)(cid:4)(cid:22)(cid:13)(cid:5)(cid:2)(cid:8)(cid:4) (cid:7):(cid:12)(cid:22)(cid:5)(cid:7)(cid:14)(cid:24)(cid:31)(cid:4)(cid:5)(cid:11)(cid:24)∃(cid:4)(cid:11)&(cid:2)(cid:16)(cid:5)(cid:4)(cid:22)(cid:5)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:31)(cid:2)(cid:16)Κ(cid:24)(cid:24)(cid:4)(cid:21)(cid:2)(cid:2)(cid:13)(cid:4)∀(cid:7)(cid:7)(cid:24)(cid:4)(cid:11)(cid:21)(cid:4)(cid:22)∀(cid:4)(cid:31)(cid:2)(cid:16)Κ!(cid:7)(cid:4)∃(cid:13)(cid:2)(cid:3)(cid:13)(cid:4)(cid:7)(cid:11)(cid:12)(cid:25)(cid:4)(cid:2)(cid:5)(cid:25)(cid:7)(cid:10)(cid:4) ∀(cid:2)(cid:10)(cid:7)!(cid:7)(cid:10)2 =(cid:2)(cid:16)(cid:12)(cid:25)(cid:22)(cid:13)%(cid:4)(cid:22)(cid:21)(cid:4)(cid:11)(cid:13)(cid:4)(cid:7):(cid:5)(cid:10)(cid:7)(cid:18)(cid:7)(cid:24)(cid:31)(cid:4)(cid:22)(cid:18)+(cid:2)(cid:10)(cid:5)(cid:11)(cid:13)(cid:5)(cid:4)+(cid:11)(cid:10)(cid:5)(cid:4)(cid:2)∀(cid:4)(cid:12)(cid:2)(cid:18)∀(cid:2)(cid:10)(cid:5)2(cid:4)(cid:4)(cid:20)(cid:16)(cid:10)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:25)(cid:22)(cid:21)(cid:4)+(cid:25)(cid:11)(cid:21)(cid:7)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4) (cid:3)(cid:11)(cid:13)(cid:5)(cid:4)(cid:5)(cid:2)(cid:4)&(cid:7)(cid:4)(cid:7)(cid:21)(cid:12)(cid:11)(cid:24)(cid:11)(cid:5)(cid:22)(cid:13)%(cid:4)(cid:31)(cid:2)(cid:16)(cid:10)(cid:4)(cid:5)(cid:2)(cid:16)(cid:12)(cid:25)(cid:22)(cid:13)%(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:25)(cid:7)(cid:10)(cid:4)+(cid:25)(cid:31)(cid:21)(cid:22)(cid:12)(cid:11)(cid:24)(cid:4)(cid:12)(cid:2)(cid:18)∀(cid:2)(cid:10)(cid:5)(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:4)(cid:31)(cid:2)(cid:16)2(cid:4)(cid:4) (cid:17)(cid:7)(cid:4)(cid:3)(cid:22)(cid:24)(cid:24)(cid:4)%(cid:2)(cid:4)(cid:22)(cid:13)(cid:5)(cid:2)(cid:4)(cid:18)(cid:16)(cid:12)(cid:25)(cid:4)(cid:18)(cid:2)(cid:10)(cid:7)(cid:4)(cid:14)(cid:7)(cid:5)(cid:11)(cid:22)(cid:24)(cid:4)(cid:2)(cid:13)(cid:4)(cid:5)(cid:2)(cid:16)(cid:12)(cid:25)(cid:22)(cid:13)%(cid:4)(cid:22)(cid:13)(cid:4)(cid:11)(cid:4)∀(cid:16)(cid:5)(cid:16)(cid:10)(cid:7)(cid:4)(cid:21)(cid:7)(cid:12)(cid:5)(cid:22)(cid:2)(cid:13)2(cid:4)∗(cid:7)(cid:7)+(cid:4)(cid:22)(cid:13)(cid:4) (cid:18)(cid:22)(cid:13)(cid:14)(cid:4)(cid:31)(cid:2)(cid:16)1(cid:10)(cid:7)(cid:4)Ε(cid:16)(cid:21)(cid:5)(cid:4)%(cid:7)(cid:5)(cid:5)(cid:22)(cid:13)%(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)&(cid:11)(cid:21)(cid:22)(cid:12)(cid:21)(cid:4)(cid:24)(cid:11)(cid:22)(cid:14)(cid:4)(cid:2)(cid:16)(cid:5)(cid:4)∀(cid:2)(cid:10)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:10)(cid:22)%(cid:25)(cid:5)(cid:4)(cid:13)(cid:2)(cid:3)2 (cid:9)(cid:13)(cid:2)(cid:5)(cid:25)(cid:7)(cid:10)(cid:4)+(cid:11)(cid:10)(cid:5)(cid:4)(cid:2)∀(cid:4)(cid:12)(cid:2)(cid:18)∀(cid:2)(cid:10)(cid:5)(cid:4)(cid:22)(cid:21)(cid:4)(cid:5)(cid:22)(cid:18)(cid:7)(cid:4)(cid:21)+(cid:7)(cid:13)(cid:5)(cid:4)(cid:5)(cid:2)%(cid:7)(cid:5)(cid:25)(cid:7)(cid:10)2(cid:4)(cid:4)(cid:6)(cid:11)(cid:13)(cid:31)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:21)(cid:4)(cid:3)(cid:22)(cid:24)(cid:24)(cid:4)∀(cid:7)(cid:7)(cid:24)(cid:4) (cid:12)(cid:2)(cid:18)∀(cid:2)(cid:10)(cid:5)(cid:11)&(cid:24)(cid:7)(cid:4)(cid:3)(cid:22)(cid:5)(cid:25)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:11)∀(cid:5)(cid:7)(cid:10)(cid:4)−∆(cid:4)(cid:2)(cid:10)(cid:4).∆(cid:4)(cid:18)(cid:22)(cid:13)(cid:16)(cid:5)(cid:7)(cid:21)(cid:8)(cid:4)(cid:21)(cid:2)(cid:18)(cid:7)(cid:4)(cid:18)(cid:11)(cid:31)(cid:4)(cid:5)(cid:11)∃(cid:7)(cid:4)?(cid:4)(cid:25)(cid:2)(cid:16)(cid:10)(cid:21)2(cid:4)(cid:4)(cid:15)(cid:2)(cid:4) (cid:3)(cid:25)(cid:11)(cid:5)(cid:4)(cid:14)(cid:2)(cid:4)(cid:3)(cid:7)(cid:4)(cid:14)(cid:2)(cid:4)(cid:22)∀(cid:4)(cid:22)(cid:5)(cid:21)(cid:4)−)∆∆(cid:9)(cid:6)(cid:8)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)Ε(cid:16)(cid:21)(cid:5)(cid:4)(cid:18)(cid:7)(cid:5)(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:5)(cid:25)(cid:7)(cid:4)&(cid:11)(cid:10)(cid:21)(cid:4)(cid:12)(cid:24)(cid:2)(cid:21)(cid:7)(cid:4)(cid:11)(cid:5)(cid:4).)∆∆(cid:9)(cid:6)8 (cid:17)(cid:7)(cid:4)=(cid:22)(cid:18)(cid:7)(cid:4)(cid:3)(cid:11)(cid:10)+2 (cid:19)(cid:7)(cid:21)(cid:8)(cid:4)0(cid:4)(cid:14)(cid:22)(cid:14)(cid:4)(cid:21)(cid:11)(cid:31)(cid:4)(cid:5)(cid:22)(cid:18)(cid:7)(cid:4)(cid:3)(cid:11)(cid:10)+(cid:8)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)0(cid:4)(cid:11)(cid:18)(cid:4)(cid:21)(cid:7)(cid:10)(cid:22)(cid:2)(cid:16)(cid:21)2(cid:4)(cid:4) 0∀(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:18)(cid:7)(cid:5)(cid:4)(cid:11)(cid:4)%(cid:22)(cid:10)(cid:24)(cid:4)(cid:11)(cid:5)(cid:4)(cid:23)&(cid:11)(cid:10)(cid:4)(cid:11)((cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:31)(cid:2)(cid:16)1(cid:10)(cid:7)(cid:4)(cid:25)(cid:22)(cid:5)(cid:5)(cid:22)(cid:13)%(cid:4)(cid:22)(cid:5)(cid:4)(cid:2)∀∀(cid:8)(cid:4)(cid:21)(cid:16)%%(cid:7)(cid:21)(cid:5)(cid:4)(cid:5)(cid:2)(cid:4)(cid:25)(cid:7)(cid:10)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:25)(cid:7)(cid:10)(cid:4) %(cid:10)(cid:2)(cid:16)+(cid:4)(cid:2)∀(cid:4)∀(cid:10)(cid:22)(cid:7)(cid:13)(cid:14)(cid:21)(cid:4)(cid:5)(cid:25)(cid:11)(cid:5)(cid:4)(cid:31)(cid:2)(cid:16)(cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:31)(cid:2)(cid:16)(cid:10)(cid:4)%(cid:10)(cid:2)(cid:16)+(cid:4)(cid:11)(cid:10)(cid:7)(cid:4)%(cid:2)(cid:22)(cid:13)%(cid:4)(cid:2)!(cid:7)(cid:10)(cid:4)(cid:5)(cid:2)(cid:4)(cid:23)&(cid:11)(cid:10)(cid:4)&((cid:4)(cid:11)(cid:13)(cid:14)(cid:4)(cid:5)(cid:25)(cid:7)(cid:31)(cid:4) (cid:21)(cid:25)(cid:2)(cid:16)(cid:24)(cid:14)(cid:4)(cid:12)(cid:2)(cid:18)(cid:7)2 (cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4),(cid:11)%(cid:7)(cid:4)−(cid:4)(cid:4)∆(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4)(cid:4) (cid:21)(cid:22)(cid:23)(cid:17)(cid:4)(cid:6)(cid:24)(cid:25)(cid:16)(cid:11)(cid:11)(cid:2)(cid:19)(cid:26)(cid:27)(cid:6)(cid:28)(cid:11)(cid:11)(cid:6)(cid:29)(cid:2)(cid:26)(cid:30)(cid:4)(cid:5)(cid:6)(cid:29)(cid:16)(cid:5)(cid:16)(cid:17)(cid:31)(cid:16) (cid:6)!!!∀(cid:1)(cid:16)(cid:9)(cid:17)(cid:19)#(cid:7)!(cid:4)(cid:7)(cid:24)(cid:16) (cid:23)(cid:15)(cid:16)(cid:18)(cid:7)(cid:3)(cid:16)(cid:19)∀(cid:15)(cid:7)(cid:3)