set m0 = SubFrom ((intloc 2),(intloc 2));
set m1 = Macro (SubFrom ((intloc 2),(intloc 2)));
set m2 = AddTo ((intloc 4),(intloc 0));
set m3 = SubFrom ((intloc 2),(intloc 0));
set IF = if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))));
set UIF = UsedILoc (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0))))));
set k2 = (intloc 2) := (intloc 0);
set k3 = (intloc 3) := (intloc 0);
set k4 = (intloc 4) := (intloc 0);
set k5 = (intloc 5) := (intloc 0);
let f be FinSeq-Location ; UsedILoc (insert-sort f) = {(intloc 0),(intloc 1),(intloc 2),(intloc 3),(intloc 4),(intloc 5),(intloc 6)}
set i1 = (intloc 2) := (intloc 3);
set i2 = SubFrom ((intloc 3),(intloc 0));
set i3 = (intloc 5) := (f,(intloc 2));
set i4 = (intloc 6) := (f,(intloc 3));
set i5 = (f,(intloc 2)) := (intloc 6);
set i6 = (f,(intloc 3)) := (intloc 5);
set body3 = ((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5));
set Ui123 = UsedILoc ((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2))));
set Ui12 = UsedILoc (((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0))));
set Ub3 = UsedILoc (((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)));
A1: UsedILoc (((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5))) =
(UsedILoc ((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6)))) \/ (UsedIntLoc ((f,(intloc 3)) := (intloc 5)))
by SF_MASTR:30
.=
(UsedILoc ((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6)))) \/ {(intloc 3),(intloc 5)}
by SF_MASTR:17
.=
((UsedILoc (((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3))))) \/ (UsedIntLoc ((f,(intloc 2)) := (intloc 6)))) \/ {(intloc 3),(intloc 5)}
by SF_MASTR:30
.=
((UsedILoc (((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3))))) \/ {(intloc 2),(intloc 6)}) \/ {(intloc 3),(intloc 5)}
by SF_MASTR:17
.=
(((UsedILoc ((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2))))) \/ (UsedIntLoc ((intloc 6) := (f,(intloc 3))))) \/ {(intloc 2),(intloc 6)}) \/ {(intloc 3),(intloc 5)}
by SF_MASTR:30
.=
(((UsedILoc ((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2))))) \/ {(intloc 6),(intloc 3)}) \/ {(intloc 2),(intloc 6)}) \/ {(intloc 3),(intloc 5)}
by SF_MASTR:17
.=
((UsedILoc ((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2))))) \/ ({(intloc 6),(intloc 3)} \/ {(intloc 2),(intloc 6)})) \/ {(intloc 3),(intloc 5)}
by XBOOLE_1:4
.=
((UsedILoc ((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2))))) \/ {(intloc 6),(intloc 3),(intloc 2),(intloc 6)}) \/ {(intloc 3),(intloc 5)}
by ENUMSET1:5
.=
((UsedILoc ((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2))))) \/ {(intloc 6),(intloc 6),(intloc 2),(intloc 3)}) \/ {(intloc 3),(intloc 5)}
by ENUMSET1:64
.=
((UsedILoc ((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2))))) \/ {(intloc 6),(intloc 2),(intloc 3)}) \/ {(intloc 3),(intloc 5)}
by ENUMSET1:31
.=
((UsedILoc ((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2))))) \/ ({(intloc 6),(intloc 2)} \/ {(intloc 3)})) \/ {(intloc 3),(intloc 5)}
by ENUMSET1:3
.=
(((UsedILoc ((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2))))) \/ {(intloc 6),(intloc 2)}) \/ {(intloc 3)}) \/ {(intloc 3),(intloc 5)}
by XBOOLE_1:4
.=
((UsedILoc ((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2))))) \/ {(intloc 6),(intloc 2)}) \/ ({(intloc 3)} \/ {(intloc 3),(intloc 5)})
by XBOOLE_1:4
.=
((UsedILoc ((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2))))) \/ {(intloc 6),(intloc 2)}) \/ {(intloc 3),(intloc 3),(intloc 5)}
by ENUMSET1:2
.=
((UsedILoc ((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2))))) \/ {(intloc 6),(intloc 2)}) \/ {(intloc 3),(intloc 5)}
by ENUMSET1:30
.=
(((UsedILoc (((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0))))) \/ (UsedIntLoc ((intloc 5) := (f,(intloc 2))))) \/ {(intloc 6),(intloc 2)}) \/ {(intloc 3),(intloc 5)}
by SF_MASTR:30
.=
(((UsedILoc (((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0))))) \/ {(intloc 5),(intloc 2)}) \/ {(intloc 6),(intloc 2)}) \/ {(intloc 3),(intloc 5)}
by SF_MASTR:17
.=
((UsedILoc (((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0))))) \/ ({(intloc 5),(intloc 2)} \/ {(intloc 6),(intloc 2)})) \/ {(intloc 3),(intloc 5)}
by XBOOLE_1:4
.=
((UsedILoc (((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0))))) \/ {(intloc 5),(intloc 2),(intloc 6),(intloc 2)}) \/ {(intloc 3),(intloc 5)}
by ENUMSET1:5
.=
((UsedILoc (((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0))))) \/ {(intloc 2),(intloc 2),(intloc 6),(intloc 5)}) \/ {(intloc 3),(intloc 5)}
by ENUMSET1:75
.=
((UsedILoc (((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0))))) \/ {(intloc 2),(intloc 6),(intloc 5)}) \/ {(intloc 3),(intloc 5)}
by ENUMSET1:31
.=
((UsedILoc (((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0))))) \/ ({(intloc 2),(intloc 6)} \/ {(intloc 5)})) \/ {(intloc 3),(intloc 5)}
by ENUMSET1:3
.=
(((UsedILoc (((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0))))) \/ {(intloc 2),(intloc 6)}) \/ {(intloc 5)}) \/ {(intloc 3),(intloc 5)}
by XBOOLE_1:4
.=
((UsedILoc (((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0))))) \/ {(intloc 2),(intloc 6)}) \/ ({(intloc 5)} \/ {(intloc 3),(intloc 5)})
by XBOOLE_1:4
.=
((UsedILoc (((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0))))) \/ {(intloc 2),(intloc 6)}) \/ {(intloc 5),(intloc 3),(intloc 5)}
by ENUMSET1:3
.=
((UsedILoc (((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0))))) \/ {(intloc 2),(intloc 6)}) \/ {(intloc 5),(intloc 5),(intloc 3)}
by ENUMSET1:57
.=
((UsedILoc (((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0))))) \/ {(intloc 2),(intloc 6)}) \/ {(intloc 5),(intloc 3)}
by ENUMSET1:30
.=
(((UsedIntLoc ((intloc 2) := (intloc 3))) \/ (UsedIntLoc (SubFrom ((intloc 3),(intloc 0))))) \/ {(intloc 2),(intloc 6)}) \/ {(intloc 5),(intloc 3)}
by SF_MASTR:31
.=
(({(intloc 2),(intloc 3)} \/ (UsedIntLoc (SubFrom ((intloc 3),(intloc 0))))) \/ {(intloc 2),(intloc 6)}) \/ {(intloc 5),(intloc 3)}
by SF_MASTR:14
.=
(({(intloc 2),(intloc 3)} \/ {(intloc 3),(intloc 0)}) \/ {(intloc 2),(intloc 6)}) \/ {(intloc 5),(intloc 3)}
by SF_MASTR:14
.=
({(intloc 2),(intloc 3),(intloc 3),(intloc 0)} \/ {(intloc 2),(intloc 6)}) \/ {(intloc 5),(intloc 3)}
by ENUMSET1:5
.=
({(intloc 3),(intloc 3),(intloc 2),(intloc 0)} \/ {(intloc 2),(intloc 6)}) \/ {(intloc 5),(intloc 3)}
by ENUMSET1:71
.=
({(intloc 3),(intloc 2),(intloc 0)} \/ {(intloc 2),(intloc 6)}) \/ {(intloc 5),(intloc 3)}
by ENUMSET1:31
.=
(({(intloc 3)} \/ {(intloc 2),(intloc 0)}) \/ {(intloc 2),(intloc 6)}) \/ {(intloc 5),(intloc 3)}
by ENUMSET1:2
.=
({(intloc 3)} \/ ({(intloc 2),(intloc 0)} \/ {(intloc 2),(intloc 6)})) \/ {(intloc 5),(intloc 3)}
by XBOOLE_1:4
.=
({(intloc 3)} \/ {(intloc 2),(intloc 0),(intloc 2),(intloc 6)}) \/ {(intloc 5),(intloc 3)}
by ENUMSET1:5
.=
({(intloc 3)} \/ {(intloc 2),(intloc 2),(intloc 0),(intloc 6)}) \/ {(intloc 5),(intloc 3)}
by ENUMSET1:62
.=
({(intloc 3)} \/ {(intloc 2),(intloc 0),(intloc 6)}) \/ {(intloc 5),(intloc 3)}
by ENUMSET1:31
.=
({(intloc 3)} \/ {(intloc 5),(intloc 3)}) \/ {(intloc 2),(intloc 0),(intloc 6)}
by XBOOLE_1:4
.=
{(intloc 3),(intloc 5),(intloc 3)} \/ {(intloc 2),(intloc 0),(intloc 6)}
by ENUMSET1:3
.=
{(intloc 3),(intloc 3),(intloc 5)} \/ {(intloc 2),(intloc 0),(intloc 6)}
by ENUMSET1:57
.=
{(intloc 3),(intloc 5)} \/ {(intloc 2),(intloc 0),(intloc 6)}
by ENUMSET1:30
;
set n1 = (intloc 5) := (f,(intloc 2));
set n2 = SubFrom ((intloc 5),(intloc 6));
set body2 = (((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0))))));
set Ub2 = UsedILoc ((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))));
A2: UsedILoc (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))) =
({(intloc 5)} \/ (UsedILoc (Macro (SubFrom ((intloc 2),(intloc 2)))))) \/ (UsedILoc ((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))
by SCMFSA9A:43
.=
({(intloc 5)} \/ (UsedIntLoc (SubFrom ((intloc 2),(intloc 2))))) \/ (UsedILoc ((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))
by SF_MASTR:28
.=
({(intloc 5)} \/ {(intloc 2),(intloc 2)}) \/ (UsedILoc ((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))
by SF_MASTR:14
.=
({(intloc 5)} \/ {(intloc 2),(intloc 2)}) \/ ((UsedIntLoc (AddTo ((intloc 4),(intloc 0)))) \/ (UsedIntLoc (SubFrom ((intloc 2),(intloc 0)))))
by SF_MASTR:31
.=
({(intloc 5)} \/ {(intloc 2),(intloc 2)}) \/ ({(intloc 4),(intloc 0)} \/ (UsedIntLoc (SubFrom ((intloc 2),(intloc 0)))))
by SF_MASTR:14
.=
({(intloc 5)} \/ {(intloc 2),(intloc 2)}) \/ ({(intloc 4),(intloc 0)} \/ {(intloc 2),(intloc 0)})
by SF_MASTR:14
.=
({(intloc 5)} \/ {(intloc 2)}) \/ ({(intloc 4),(intloc 0)} \/ {(intloc 2),(intloc 0)})
by ENUMSET1:29
.=
(({(intloc 5)} \/ {(intloc 2)}) \/ {(intloc 2),(intloc 0)}) \/ {(intloc 4),(intloc 0)}
by XBOOLE_1:4
.=
({(intloc 2),(intloc 5)} \/ {(intloc 2),(intloc 0)}) \/ {(intloc 4),(intloc 0)}
by ENUMSET1:1
.=
{(intloc 2),(intloc 5),(intloc 2),(intloc 0)} \/ {(intloc 4),(intloc 0)}
by ENUMSET1:5
.=
{(intloc 2),(intloc 2),(intloc 5),(intloc 0)} \/ {(intloc 4),(intloc 0)}
by ENUMSET1:62
.=
{(intloc 2),(intloc 5),(intloc 0)} \/ {(intloc 4),(intloc 0)}
by ENUMSET1:31
.=
{(intloc 2),(intloc 5),(intloc 0),(intloc 4),(intloc 0)}
by ENUMSET1:9
.=
{(intloc 2)} \/ {(intloc 5),(intloc 0),(intloc 4),(intloc 0)}
by ENUMSET1:7
.=
{(intloc 2)} \/ {(intloc 0),(intloc 0),(intloc 4),(intloc 5)}
by ENUMSET1:75
.=
{(intloc 2)} \/ {(intloc 0),(intloc 4),(intloc 5)}
by ENUMSET1:31
.=
{(intloc 2),(intloc 0),(intloc 4),(intloc 5)}
by ENUMSET1:4
.=
{(intloc 2),(intloc 5),(intloc 4),(intloc 0)}
by ENUMSET1:64
.=
{(intloc 2),(intloc 5)} \/ {(intloc 4),(intloc 0)}
by ENUMSET1:5
;
set WM = (((((intloc 2) := (intloc 0)) ";" ((intloc 3) := (intloc 0))) ";" ((intloc 4) := (intloc 0))) ";" ((intloc 5) := (intloc 0))) ";" ((intloc 6) := (intloc 0));
set j1 = (intloc 1) :=len f;
set j2 = SubFrom ((intloc 1),(intloc 0));
set Uj1 = UsedILoc (((((((intloc 2) := (intloc 0)) ";" ((intloc 3) := (intloc 0))) ";" ((intloc 4) := (intloc 0))) ";" ((intloc 5) := (intloc 0))) ";" ((intloc 6) := (intloc 0))) ";" ((intloc 1) :=len f));
A3: UsedILoc ((((((intloc 2) := (intloc 0)) ";" ((intloc 3) := (intloc 0))) ";" ((intloc 4) := (intloc 0))) ";" ((intloc 5) := (intloc 0))) ";" ((intloc 6) := (intloc 0))) =
(UsedILoc (((((intloc 2) := (intloc 0)) ";" ((intloc 3) := (intloc 0))) ";" ((intloc 4) := (intloc 0))) ";" ((intloc 5) := (intloc 0)))) \/ (UsedIntLoc ((intloc 6) := (intloc 0)))
by SF_MASTR:30
.=
(UsedILoc (((((intloc 2) := (intloc 0)) ";" ((intloc 3) := (intloc 0))) ";" ((intloc 4) := (intloc 0))) ";" ((intloc 5) := (intloc 0)))) \/ {(intloc 6),(intloc 0)}
by SF_MASTR:14
.=
((UsedILoc ((((intloc 2) := (intloc 0)) ";" ((intloc 3) := (intloc 0))) ";" ((intloc 4) := (intloc 0)))) \/ (UsedIntLoc ((intloc 5) := (intloc 0)))) \/ {(intloc 6),(intloc 0)}
by SF_MASTR:30
.=
((UsedILoc ((((intloc 2) := (intloc 0)) ";" ((intloc 3) := (intloc 0))) ";" ((intloc 4) := (intloc 0)))) \/ {(intloc 5),(intloc 0)}) \/ {(intloc 6),(intloc 0)}
by SF_MASTR:14
.=
(((UsedILoc (((intloc 2) := (intloc 0)) ";" ((intloc 3) := (intloc 0)))) \/ (UsedIntLoc ((intloc 4) := (intloc 0)))) \/ {(intloc 5),(intloc 0)}) \/ {(intloc 6),(intloc 0)}
by SF_MASTR:30
.=
(((UsedILoc (((intloc 2) := (intloc 0)) ";" ((intloc 3) := (intloc 0)))) \/ {(intloc 4),(intloc 0)}) \/ {(intloc 5),(intloc 0)}) \/ {(intloc 6),(intloc 0)}
by SF_MASTR:14
.=
((((UsedIntLoc ((intloc 2) := (intloc 0))) \/ (UsedIntLoc ((intloc 3) := (intloc 0)))) \/ {(intloc 4),(intloc 0)}) \/ {(intloc 5),(intloc 0)}) \/ {(intloc 6),(intloc 0)}
by SF_MASTR:31
.=
((((UsedIntLoc ((intloc 2) := (intloc 0))) \/ {(intloc 3),(intloc 0)}) \/ {(intloc 4),(intloc 0)}) \/ {(intloc 5),(intloc 0)}) \/ {(intloc 6),(intloc 0)}
by SF_MASTR:14
.=
((({(intloc 2),(intloc 0)} \/ {(intloc 3),(intloc 0)}) \/ {(intloc 4),(intloc 0)}) \/ {(intloc 5),(intloc 0)}) \/ {(intloc 6),(intloc 0)}
by SF_MASTR:14
.=
(({(intloc 2),(intloc 0)} \/ {(intloc 3),(intloc 0)}) \/ {(intloc 4),(intloc 0)}) \/ ({(intloc 5),(intloc 0)} \/ {(intloc 6),(intloc 0)})
by XBOOLE_1:4
.=
(({(intloc 2),(intloc 0)} \/ {(intloc 3),(intloc 0)}) \/ {(intloc 4),(intloc 0)}) \/ {(intloc 0),(intloc 5),(intloc 6)}
by ENUMSET1:87
.=
({(intloc 0),(intloc 2),(intloc 3)} \/ {(intloc 4),(intloc 0)}) \/ {(intloc 0),(intloc 5),(intloc 6)}
by ENUMSET1:87
.=
({(intloc 0),(intloc 2),(intloc 3)} \/ {(intloc 4),(intloc 0)}) \/ ({(intloc 0)} \/ {(intloc 5),(intloc 6)})
by ENUMSET1:2
.=
(({(intloc 0),(intloc 2),(intloc 3)} \/ {(intloc 4),(intloc 0)}) \/ {(intloc 0)}) \/ {(intloc 5),(intloc 6)}
by XBOOLE_1:4
.=
({(intloc 0),(intloc 2),(intloc 3)} \/ ({(intloc 4),(intloc 0)} \/ {(intloc 0)})) \/ {(intloc 5),(intloc 6)}
by XBOOLE_1:4
.=
({(intloc 0),(intloc 2),(intloc 3)} \/ {(intloc 4),(intloc 0),(intloc 0)}) \/ {(intloc 5),(intloc 6)}
by ENUMSET1:3
.=
({(intloc 0),(intloc 2),(intloc 3)} \/ ({(intloc 0),(intloc 0)} \/ {(intloc 4)})) \/ {(intloc 5),(intloc 6)}
by ENUMSET1:2
.=
(({(intloc 0),(intloc 2),(intloc 3)} \/ {(intloc 0),(intloc 0)}) \/ {(intloc 4)}) \/ {(intloc 5),(intloc 6)}
by XBOOLE_1:4
.=
({(intloc 0),(intloc 0),(intloc 0),(intloc 2),(intloc 3)} \/ {(intloc 4)}) \/ {(intloc 5),(intloc 6)}
by ENUMSET1:8
.=
({(intloc 0),(intloc 2),(intloc 3)} \/ {(intloc 4)}) \/ {(intloc 5),(intloc 6)}
by ENUMSET1:38
.=
{(intloc 0),(intloc 2),(intloc 3),(intloc 4)} \/ {(intloc 5),(intloc 6)}
by ENUMSET1:6
.=
{(intloc 0),(intloc 2),(intloc 3),(intloc 4),(intloc 5),(intloc 6)}
by ENUMSET1:14
.=
{(intloc 0)} \/ {(intloc 2),(intloc 3),(intloc 4),(intloc 5),(intloc 6)}
by ENUMSET1:11
;
set T3 = Times ((intloc 4),(((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5))));
set t1 = (intloc 2) :=len f;
set t2 = SubFrom ((intloc 2),(intloc 1));
set t3 = (intloc 3) := (intloc 2);
set t4 = AddTo ((intloc 3),(intloc 0));
set t5 = (intloc 6) := (f,(intloc 3));
set t6 = SubFrom ((intloc 4),(intloc 4));
set Wg = while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0))))))));
set t16 = ((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)));
set body1 = ((((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) ";" (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))))) ";" (Times ((intloc 4),(((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))));
set Ub1 = UsedILoc (((((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) ";" (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))))) ";" (Times ((intloc 4),(((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5))))));
set Ut16 = UsedILoc (((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4))));
A4: UsedILoc (((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) =
(UsedILoc ((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3))))) \/ (UsedIntLoc (SubFrom ((intloc 4),(intloc 4))))
by SF_MASTR:30
.=
(UsedILoc ((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3))))) \/ {(intloc 4),(intloc 4)}
by SF_MASTR:14
.=
((UsedILoc (((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0))))) \/ (UsedIntLoc ((intloc 6) := (f,(intloc 3))))) \/ {(intloc 4),(intloc 4)}
by SF_MASTR:30
.=
((UsedILoc (((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0))))) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by SF_MASTR:17
.=
(((UsedILoc ((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2)))) \/ (UsedIntLoc (AddTo ((intloc 3),(intloc 0))))) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by SF_MASTR:30
.=
(((UsedILoc ((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2)))) \/ {(intloc 3),(intloc 0)}) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by SF_MASTR:14
.=
((((UsedILoc (((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1))))) \/ (UsedIntLoc ((intloc 3) := (intloc 2)))) \/ {(intloc 3),(intloc 0)}) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by SF_MASTR:30
.=
((((UsedILoc (((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1))))) \/ {(intloc 3),(intloc 2)}) \/ {(intloc 3),(intloc 0)}) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by SF_MASTR:14
.=
(((((UsedIntLoc ((intloc 2) :=len f)) \/ (UsedIntLoc (SubFrom ((intloc 2),(intloc 1))))) \/ {(intloc 3),(intloc 2)}) \/ {(intloc 3),(intloc 0)}) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by SF_MASTR:31
.=
(((({(intloc 2)} \/ (UsedIntLoc (SubFrom ((intloc 2),(intloc 1))))) \/ {(intloc 3),(intloc 2)}) \/ {(intloc 3),(intloc 0)}) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by SF_MASTR:18
.=
(((({(intloc 2)} \/ {(intloc 2),(intloc 1)}) \/ {(intloc 3),(intloc 2)}) \/ {(intloc 3),(intloc 0)}) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by SF_MASTR:14
.=
((({(intloc 2),(intloc 2),(intloc 1)} \/ {(intloc 3),(intloc 2)}) \/ {(intloc 3),(intloc 0)}) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by ENUMSET1:2
.=
((({(intloc 2),(intloc 1)} \/ {(intloc 3),(intloc 2)}) \/ {(intloc 3),(intloc 0)}) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by ENUMSET1:30
.=
(({(intloc 2),(intloc 1),(intloc 3),(intloc 2)} \/ {(intloc 3),(intloc 0)}) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by ENUMSET1:5
.=
(({(intloc 2),(intloc 2),(intloc 3),(intloc 1)} \/ {(intloc 3),(intloc 0)}) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by ENUMSET1:64
.=
(({(intloc 2),(intloc 3),(intloc 1)} \/ {(intloc 3),(intloc 0)}) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by ENUMSET1:31
.=
({(intloc 2),(intloc 3),(intloc 1),(intloc 3),(intloc 0)} \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by ENUMSET1:9
.=
(({(intloc 2),(intloc 3),(intloc 1),(intloc 3)} \/ {(intloc 0)}) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by ENUMSET1:10
.=
(({(intloc 3),(intloc 3),(intloc 1),(intloc 2)} \/ {(intloc 0)}) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by ENUMSET1:75
.=
(({(intloc 3),(intloc 1),(intloc 2)} \/ {(intloc 0)}) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4),(intloc 4)}
by ENUMSET1:31
.=
(({(intloc 3),(intloc 1),(intloc 2)} \/ {(intloc 0)}) \/ {(intloc 3),(intloc 6)}) \/ {(intloc 4)}
by ENUMSET1:29
.=
(({(intloc 3),(intloc 1),(intloc 2)} \/ {(intloc 3),(intloc 6)}) \/ {(intloc 0)}) \/ {(intloc 4)}
by XBOOLE_1:4
.=
({(intloc 3),(intloc 1),(intloc 2),(intloc 3),(intloc 6)} \/ {(intloc 0)}) \/ {(intloc 4)}
by ENUMSET1:9
.=
(({(intloc 3),(intloc 1),(intloc 2),(intloc 3)} \/ {(intloc 6)}) \/ {(intloc 0)}) \/ {(intloc 4)}
by ENUMSET1:10
.=
(({(intloc 3),(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 6)}) \/ {(intloc 0)}) \/ {(intloc 4)}
by ENUMSET1:64
.=
(({(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 6)}) \/ {(intloc 0)}) \/ {(intloc 4)}
by ENUMSET1:31
.=
({(intloc 3),(intloc 2),(intloc 1)} \/ ({(intloc 6)} \/ {(intloc 0)})) \/ {(intloc 4)}
by XBOOLE_1:4
.=
({(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 6),(intloc 0)}) \/ {(intloc 4)}
by ENUMSET1:1
.=
{(intloc 3),(intloc 2),(intloc 1)} \/ ({(intloc 6),(intloc 0)} \/ {(intloc 4)})
by XBOOLE_1:4
.=
{(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 6),(intloc 0),(intloc 4)}
by ENUMSET1:3
.=
{(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 6),(intloc 4),(intloc 0)}
by ENUMSET1:57
;
A5: UsedILoc ((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0))))))) =
(UsedILoc (((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6))))) \/ (UsedILoc (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))
by SF_MASTR:27
.=
((UsedIntLoc ((intloc 5) := (f,(intloc 2)))) \/ (UsedIntLoc (SubFrom ((intloc 5),(intloc 6))))) \/ (UsedILoc (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))
by SF_MASTR:31
.=
({(intloc 2),(intloc 5)} \/ (UsedIntLoc (SubFrom ((intloc 5),(intloc 6))))) \/ (UsedILoc (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))
by SF_MASTR:17
.=
({(intloc 2),(intloc 5)} \/ {(intloc 5),(intloc 6)}) \/ (UsedILoc (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))
by SF_MASTR:14
.=
{(intloc 2),(intloc 5),(intloc 5),(intloc 6)} \/ (UsedILoc (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))
by ENUMSET1:5
.=
{(intloc 5),(intloc 5),(intloc 2),(intloc 6)} \/ (UsedILoc (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))
by ENUMSET1:71
.=
{(intloc 5),(intloc 2),(intloc 6)} \/ ({(intloc 2),(intloc 5)} \/ {(intloc 4),(intloc 0)})
by A2, ENUMSET1:31
.=
({(intloc 5),(intloc 2),(intloc 6)} \/ {(intloc 2),(intloc 5)}) \/ {(intloc 4),(intloc 0)}
by XBOOLE_1:4
.=
{(intloc 2),(intloc 5),(intloc 5),(intloc 2),(intloc 6)} \/ {(intloc 4),(intloc 0)}
by ENUMSET1:8
.=
({(intloc 2),(intloc 5),(intloc 5),(intloc 2)} \/ {(intloc 6)}) \/ {(intloc 4),(intloc 0)}
by ENUMSET1:10
.=
({(intloc 2),(intloc 2),(intloc 5),(intloc 5)} \/ {(intloc 6)}) \/ {(intloc 4),(intloc 0)}
by ENUMSET1:64
.=
({(intloc 2),(intloc 5),(intloc 5)} \/ {(intloc 6)}) \/ {(intloc 4),(intloc 0)}
by ENUMSET1:31
.=
({(intloc 5),(intloc 5),(intloc 2)} \/ {(intloc 6)}) \/ {(intloc 4),(intloc 0)}
by ENUMSET1:60
.=
({(intloc 5),(intloc 2)} \/ {(intloc 6)}) \/ {(intloc 4),(intloc 0)}
by ENUMSET1:30
.=
{(intloc 5),(intloc 2),(intloc 6)} \/ {(intloc 4),(intloc 0)}
by ENUMSET1:3
.=
{(intloc 5),(intloc 2),(intloc 6),(intloc 4),(intloc 0)}
by ENUMSET1:9
;
A6: UsedILoc (((((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) ";" (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))))) ";" (Times ((intloc 4),(((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))))) =
(UsedILoc ((((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) ";" (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0))))))))))) \/ (UsedILoc (Times ((intloc 4),(((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5))))))
by SF_MASTR:27
.=
(UsedILoc ((((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) ";" (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0))))))))))) \/ ((UsedILoc (((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))) \/ {(intloc 4),(intloc 0)})
by SCMFSA9A:44
.=
((UsedILoc (((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4))))) \/ (UsedILoc (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0))))))))))) \/ ((UsedILoc (((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))) \/ {(intloc 4),(intloc 0)})
by SF_MASTR:27
.=
((UsedILoc (((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4))))) \/ ({(intloc 5),(intloc 2),(intloc 6),(intloc 4),(intloc 0)} \/ {(intloc 2)})) \/ ((UsedILoc (((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))) \/ {(intloc 4),(intloc 0)})
by A5, SCMFSA9A:24
.=
((UsedILoc (((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4))))) \/ {(intloc 2),(intloc 5),(intloc 2),(intloc 6),(intloc 4),(intloc 0)}) \/ ((UsedILoc (((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))) \/ {(intloc 4),(intloc 0)})
by ENUMSET1:11
.=
((UsedILoc (((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4))))) \/ ({(intloc 2),(intloc 5),(intloc 2),(intloc 6)} \/ {(intloc 4),(intloc 0)})) \/ ((UsedILoc (((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))) \/ {(intloc 4),(intloc 0)})
by ENUMSET1:14
.=
((UsedILoc (((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4))))) \/ ({(intloc 2),(intloc 2),(intloc 5),(intloc 6)} \/ {(intloc 4),(intloc 0)})) \/ ((UsedILoc (((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))) \/ {(intloc 4),(intloc 0)})
by ENUMSET1:62
.=
((UsedILoc (((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4))))) \/ ({(intloc 2),(intloc 5),(intloc 6)} \/ {(intloc 4),(intloc 0)})) \/ ((UsedILoc (((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))) \/ {(intloc 4),(intloc 0)})
by ENUMSET1:31
.=
((UsedILoc (((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4))))) \/ {(intloc 2),(intloc 5),(intloc 6),(intloc 4),(intloc 0)}) \/ ((UsedILoc (((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))) \/ {(intloc 4),(intloc 0)})
by ENUMSET1:9
.=
((UsedILoc (((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4))))) \/ ({(intloc 6),(intloc 4),(intloc 0)} \/ {(intloc 2),(intloc 5)})) \/ ((UsedILoc (((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))) \/ {(intloc 4),(intloc 0)})
by ENUMSET1:8
.=
((({(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 6),(intloc 4),(intloc 0)}) \/ {(intloc 6),(intloc 4),(intloc 0)}) \/ {(intloc 2),(intloc 5)}) \/ ((UsedILoc (((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))) \/ {(intloc 4),(intloc 0)})
by A4, XBOOLE_1:4
.=
(({(intloc 3),(intloc 2),(intloc 1)} \/ ({(intloc 6),(intloc 4),(intloc 0)} \/ {(intloc 6),(intloc 4),(intloc 0)})) \/ {(intloc 2),(intloc 5)}) \/ ((UsedILoc (((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))) \/ {(intloc 4),(intloc 0)})
by XBOOLE_1:4
.=
(({(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 6),(intloc 4),(intloc 0)}) \/ {(intloc 2),(intloc 5)}) \/ ({(intloc 3),(intloc 5)} \/ ({(intloc 2),(intloc 0),(intloc 6)} \/ {(intloc 4),(intloc 0)}))
by A1, XBOOLE_1:4
.=
(({(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 6),(intloc 4),(intloc 0)}) \/ {(intloc 2),(intloc 5)}) \/ ({(intloc 3),(intloc 5)} \/ {(intloc 2),(intloc 0),(intloc 6),(intloc 4),(intloc 0)})
by ENUMSET1:9
.=
(({(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 6),(intloc 4),(intloc 0)}) \/ {(intloc 2),(intloc 5)}) \/ ({(intloc 3),(intloc 5)} \/ ({(intloc 2)} \/ {(intloc 0),(intloc 6),(intloc 4),(intloc 0)}))
by ENUMSET1:7
.=
(({(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 6),(intloc 4),(intloc 0)}) \/ {(intloc 2),(intloc 5)}) \/ ({(intloc 3),(intloc 5)} \/ ({(intloc 2)} \/ {(intloc 0),(intloc 0),(intloc 4),(intloc 6)}))
by ENUMSET1:64
.=
(({(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 6),(intloc 4),(intloc 0)}) \/ {(intloc 2),(intloc 5)}) \/ ({(intloc 3),(intloc 5)} \/ ({(intloc 2)} \/ {(intloc 0),(intloc 4),(intloc 6)}))
by ENUMSET1:31
.=
(({(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 6),(intloc 4),(intloc 0)}) \/ {(intloc 2),(intloc 5)}) \/ ({(intloc 3),(intloc 5)} \/ {(intloc 2),(intloc 0),(intloc 4),(intloc 6)})
by ENUMSET1:4
.=
(({(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 6),(intloc 4),(intloc 0)}) \/ {(intloc 2),(intloc 5)}) \/ {(intloc 3),(intloc 5),(intloc 2),(intloc 0),(intloc 4),(intloc 6)}
by ENUMSET1:12
.=
(({(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 0),(intloc 4),(intloc 6)}) \/ {(intloc 5),(intloc 2)}) \/ {(intloc 3),(intloc 5),(intloc 2),(intloc 0),(intloc 4),(intloc 6)}
by ENUMSET1:60
.=
({(intloc 3),(intloc 2),(intloc 1)} \/ ({(intloc 0),(intloc 4),(intloc 6)} \/ {(intloc 5),(intloc 2)})) \/ {(intloc 3),(intloc 5),(intloc 2),(intloc 0),(intloc 4),(intloc 6)}
by XBOOLE_1:4
.=
({(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 5),(intloc 2),(intloc 0),(intloc 4),(intloc 6)}) \/ {(intloc 3),(intloc 5),(intloc 2),(intloc 0),(intloc 4),(intloc 6)}
by ENUMSET1:8
.=
({(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 5),(intloc 2),(intloc 0),(intloc 4),(intloc 6)}) \/ ({(intloc 5),(intloc 2),(intloc 0),(intloc 4),(intloc 6)} \/ {(intloc 3)})
by ENUMSET1:11
.=
(({(intloc 3),(intloc 2),(intloc 1)} \/ {(intloc 5),(intloc 2),(intloc 0),(intloc 4),(intloc 6)}) \/ {(intloc 5),(intloc 2),(intloc 0),(intloc 4),(intloc 6)}) \/ {(intloc 3)}
by XBOOLE_1:4
.=
({(intloc 3),(intloc 2),(intloc 1)} \/ ({(intloc 5),(intloc 2),(intloc 0),(intloc 4),(intloc 6)} \/ {(intloc 5),(intloc 2),(intloc 0),(intloc 4),(intloc 6)})) \/ {(intloc 3)}
by XBOOLE_1:4
.=
{(intloc 3),(intloc 2),(intloc 1),(intloc 5),(intloc 2),(intloc 0),(intloc 4),(intloc 6)} \/ {(intloc 3)}
by ENUMSET1:24
.=
({(intloc 3),(intloc 2),(intloc 1),(intloc 5),(intloc 2)} \/ {(intloc 0),(intloc 4),(intloc 6)}) \/ {(intloc 3)}
by ENUMSET1:26
.=
(({(intloc 3)} \/ {(intloc 2),(intloc 1),(intloc 5),(intloc 2)}) \/ {(intloc 0),(intloc 4),(intloc 6)}) \/ {(intloc 3)}
by ENUMSET1:7
.=
(({(intloc 3)} \/ {(intloc 2),(intloc 2),(intloc 5),(intloc 1)}) \/ {(intloc 0),(intloc 4),(intloc 6)}) \/ {(intloc 3)}
by ENUMSET1:64
.=
(({(intloc 3)} \/ {(intloc 2),(intloc 5),(intloc 1)}) \/ {(intloc 0),(intloc 4),(intloc 6)}) \/ {(intloc 3)}
by ENUMSET1:31
.=
({(intloc 3),(intloc 2),(intloc 5),(intloc 1)} \/ {(intloc 0),(intloc 4),(intloc 6)}) \/ {(intloc 3)}
by ENUMSET1:4
.=
({(intloc 1),(intloc 5),(intloc 2),(intloc 3)} \/ {(intloc 0),(intloc 4),(intloc 6)}) \/ {(intloc 3)}
by ENUMSET1:76
.=
{(intloc 1),(intloc 5),(intloc 2),(intloc 3),(intloc 0),(intloc 4),(intloc 6)} \/ {(intloc 3)}
by ENUMSET1:19
.=
({(intloc 1)} \/ {(intloc 5),(intloc 2),(intloc 3),(intloc 0),(intloc 4),(intloc 6)}) \/ {(intloc 3)}
by ENUMSET1:16
.=
({(intloc 1)} \/ ({(intloc 5),(intloc 2),(intloc 3),(intloc 0),(intloc 4)} \/ {(intloc 6)})) \/ {(intloc 3)}
by ENUMSET1:15
.=
(({(intloc 1)} \/ {(intloc 5),(intloc 2),(intloc 3),(intloc 0),(intloc 4)}) \/ {(intloc 6)}) \/ {(intloc 3)}
by XBOOLE_1:4
.=
(({(intloc 1)} \/ {(intloc 5),(intloc 2),(intloc 3),(intloc 0),(intloc 4)}) \/ {(intloc 3)}) \/ {(intloc 6)}
by XBOOLE_1:4
.=
({(intloc 1)} \/ ({(intloc 5),(intloc 2),(intloc 3),(intloc 0),(intloc 4)} \/ {(intloc 3)})) \/ {(intloc 6)}
by XBOOLE_1:4
.=
({(intloc 1)} \/ {(intloc 5),(intloc 2),(intloc 3),(intloc 0),(intloc 4),(intloc 3)}) \/ {(intloc 6)}
by ENUMSET1:15
.=
({(intloc 1)} \/ ({(intloc 5),(intloc 2)} \/ {(intloc 3),(intloc 0),(intloc 4),(intloc 3)})) \/ {(intloc 6)}
by ENUMSET1:12
.=
({(intloc 1)} \/ ({(intloc 5),(intloc 2)} \/ {(intloc 3),(intloc 3),(intloc 4),(intloc 0)})) \/ {(intloc 6)}
by ENUMSET1:64
.=
({(intloc 1)} \/ ({(intloc 5),(intloc 2)} \/ {(intloc 3),(intloc 4),(intloc 0)})) \/ {(intloc 6)}
by ENUMSET1:31
.=
({(intloc 1)} \/ {(intloc 5),(intloc 2),(intloc 3),(intloc 4),(intloc 0)}) \/ {(intloc 6)}
by ENUMSET1:8
.=
({(intloc 1)} \/ ({(intloc 0)} \/ {(intloc 5),(intloc 2),(intloc 3),(intloc 4)})) \/ {(intloc 6)}
by ENUMSET1:10
.=
(({(intloc 1)} \/ {(intloc 0)}) \/ {(intloc 5),(intloc 2),(intloc 3),(intloc 4)}) \/ {(intloc 6)}
by XBOOLE_1:4
.=
({(intloc 0),(intloc 1)} \/ {(intloc 5),(intloc 2),(intloc 3),(intloc 4)}) \/ {(intloc 6)}
by ENUMSET1:1
.=
({(intloc 0),(intloc 1)} \/ {(intloc 2),(intloc 3),(intloc 4),(intloc 5)}) \/ {(intloc 6)}
by ENUMSET1:68
.=
{(intloc 0),(intloc 1),(intloc 2),(intloc 3),(intloc 4),(intloc 5)} \/ {(intloc 6)}
by ENUMSET1:12
.=
{(intloc 0),(intloc 1),(intloc 2),(intloc 3),(intloc 4),(intloc 5),(intloc 6)}
by ENUMSET1:21
;
thus UsedILoc (insert-sort f) =
(UsedILoc ((((((((intloc 2) := (intloc 0)) ";" ((intloc 3) := (intloc 0))) ";" ((intloc 4) := (intloc 0))) ";" ((intloc 5) := (intloc 0))) ";" ((intloc 6) := (intloc 0))) ";" ((intloc 1) :=len f)) ";" (SubFrom ((intloc 1),(intloc 0))))) \/ (UsedILoc (Times ((intloc 1),(((((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) ";" (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))))) ";" (Times ((intloc 4),(((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))))))))
by SF_MASTR:27
.=
(UsedILoc ((((((((intloc 2) := (intloc 0)) ";" ((intloc 3) := (intloc 0))) ";" ((intloc 4) := (intloc 0))) ";" ((intloc 5) := (intloc 0))) ";" ((intloc 6) := (intloc 0))) ";" ((intloc 1) :=len f)) ";" (SubFrom ((intloc 1),(intloc 0))))) \/ ((UsedILoc (((((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) ";" (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))))) ";" (Times ((intloc 4),(((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5))))))) \/ {(intloc 1),(intloc 0)})
by SCMFSA9A:44
.=
((UsedILoc (((((((intloc 2) := (intloc 0)) ";" ((intloc 3) := (intloc 0))) ";" ((intloc 4) := (intloc 0))) ";" ((intloc 5) := (intloc 0))) ";" ((intloc 6) := (intloc 0))) ";" ((intloc 1) :=len f))) \/ (UsedIntLoc (SubFrom ((intloc 1),(intloc 0))))) \/ ((UsedILoc (((((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) ";" (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))))) ";" (Times ((intloc 4),(((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5))))))) \/ {(intloc 1),(intloc 0)})
by SF_MASTR:30
.=
((UsedILoc (((((((intloc 2) := (intloc 0)) ";" ((intloc 3) := (intloc 0))) ";" ((intloc 4) := (intloc 0))) ";" ((intloc 5) := (intloc 0))) ";" ((intloc 6) := (intloc 0))) ";" ((intloc 1) :=len f))) \/ {(intloc 1),(intloc 0)}) \/ ((UsedILoc (((((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) ";" (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))))) ";" (Times ((intloc 4),(((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5))))))) \/ {(intloc 1),(intloc 0)})
by SF_MASTR:14
.=
(((UsedILoc (((((((intloc 2) := (intloc 0)) ";" ((intloc 3) := (intloc 0))) ";" ((intloc 4) := (intloc 0))) ";" ((intloc 5) := (intloc 0))) ";" ((intloc 6) := (intloc 0))) ";" ((intloc 1) :=len f))) \/ {(intloc 1),(intloc 0)}) \/ {(intloc 1),(intloc 0)}) \/ (UsedILoc (((((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) ";" (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))))) ";" (Times ((intloc 4),(((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))))))
by XBOOLE_1:4
.=
((UsedILoc (((((((intloc 2) := (intloc 0)) ";" ((intloc 3) := (intloc 0))) ";" ((intloc 4) := (intloc 0))) ";" ((intloc 5) := (intloc 0))) ";" ((intloc 6) := (intloc 0))) ";" ((intloc 1) :=len f))) \/ ({(intloc 1),(intloc 0)} \/ {(intloc 1),(intloc 0)})) \/ (UsedILoc (((((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) ";" (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))))) ";" (Times ((intloc 4),(((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))))))
by XBOOLE_1:4
.=
(((UsedILoc ((((((intloc 2) := (intloc 0)) ";" ((intloc 3) := (intloc 0))) ";" ((intloc 4) := (intloc 0))) ";" ((intloc 5) := (intloc 0))) ";" ((intloc 6) := (intloc 0)))) \/ (UsedIntLoc ((intloc 1) :=len f))) \/ {(intloc 1),(intloc 0)}) \/ (UsedILoc (((((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) ";" (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))))) ";" (Times ((intloc 4),(((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))))))
by SF_MASTR:30
.=
((({(intloc 2),(intloc 3),(intloc 4),(intloc 5),(intloc 6)} \/ {(intloc 0)}) \/ {(intloc 1)}) \/ {(intloc 1),(intloc 0)}) \/ (UsedILoc (((((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) ";" (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))))) ";" (Times ((intloc 4),(((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))))))
by A3, SF_MASTR:18
.=
(({(intloc 2),(intloc 3),(intloc 4),(intloc 5),(intloc 6)} \/ ({(intloc 0)} \/ {(intloc 1)})) \/ {(intloc 1),(intloc 0)}) \/ (UsedILoc (((((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) ";" (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))))) ";" (Times ((intloc 4),(((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))))))
by XBOOLE_1:4
.=
(({(intloc 2),(intloc 3),(intloc 4),(intloc 5),(intloc 6)} \/ {(intloc 1),(intloc 0)}) \/ {(intloc 1),(intloc 0)}) \/ (UsedILoc (((((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) ";" (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))))) ";" (Times ((intloc 4),(((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))))))
by ENUMSET1:1
.=
({(intloc 2),(intloc 3),(intloc 4),(intloc 5),(intloc 6)} \/ ({(intloc 1),(intloc 0)} \/ {(intloc 1),(intloc 0)})) \/ (UsedILoc (((((((((intloc 2) :=len f) ";" (SubFrom ((intloc 2),(intloc 1)))) ";" ((intloc 3) := (intloc 2))) ";" (AddTo ((intloc 3),(intloc 0)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" (SubFrom ((intloc 4),(intloc 4)))) ";" (while>0 ((intloc 2),((((intloc 5) := (f,(intloc 2))) ";" (SubFrom ((intloc 5),(intloc 6)))) ";" (if>0 ((intloc 5),(Macro (SubFrom ((intloc 2),(intloc 2)))),((AddTo ((intloc 4),(intloc 0))) ";" (SubFrom ((intloc 2),(intloc 0)))))))))) ";" (Times ((intloc 4),(((((((intloc 2) := (intloc 3)) ";" (SubFrom ((intloc 3),(intloc 0)))) ";" ((intloc 5) := (f,(intloc 2)))) ";" ((intloc 6) := (f,(intloc 3)))) ";" ((f,(intloc 2)) := (intloc 6))) ";" ((f,(intloc 3)) := (intloc 5)))))))
by XBOOLE_1:4
.=
{(intloc 0),(intloc 1),(intloc 2),(intloc 3),(intloc 4),(intloc 5),(intloc 6)} \/ {(intloc 0),(intloc 1),(intloc 2),(intloc 3),(intloc 4),(intloc 5),(intloc 6)}
by A6, ENUMSET1:17
.=
{(intloc 0),(intloc 1),(intloc 2),(intloc 3),(intloc 4),(intloc 5),(intloc 6)}
; verum