> restart

60 CP
> Ra d K15
2
1
Ra := 15 C P (1)
2
(2)
60 CP
> Rb d C45
2
1
Rb := 75 C P (3)
2
0 (4)
d
> Ra$x
dP
1
x (5)
2
d
> Ra$ x K 60 CP $ x K10
dP
1
K x C10 (6)
2
d
> Ra$x CRb$ x K20 K 60 CP $ x K10
dP
0 (7)
> Pd0
P := 0 (8)
1
> Ra$ x K 60 CP $ x K10 $ K x C10
2
1
K45 x C600x C10 K (9)
2
> Ra$x CRb$ x K20 K 60 CP $ x K10 $ 2 x K20
30 x K900 2 x K20 (10)
>
>
10 20
1 1
> Ra$x$ x dx C K45 x C600 K x C10 dx
2 2
0 10
2500 (11)
> x d 25
x := 25 (12)
> Ra$ x K 60 CP $ x K10
K525 (13)
> Ra$x CRb$ x K20 K 60 CP $ x K10
K150 (14)
>