f1 <= *REMOVE*
f2 <= *REMOVE*
f3 <= *REMOVE*
emptyFS <= *REMOVE*
(f1 1 3 4) <= (*OR* 0 1)
(f1 1 3 6) <= (*NOT* 1 2 3)
(f1 2 4 9 10) <= (*MULTIPLE* 0 1 2 0)
(f1 2 5 12) <= 13
f3 <= f1
(f1 2 5 12) <= 14
(f2 20 21 22) <= 23
(f2 20 21 24) <= (*OR* 0 1)
(f1 2 5 12) <= (f2 20 21 22)
(f1 2 5 12) <= (f2 20)
(f1 2 5 12) <= (f2 20 21)
(f1 2 5 12) <= f2
f1 <= (f2 20 21)
f1 <= f2
f1 <= (f2 20 22)
f2 <= f3
f3 <= 14
f3 <= f2
f3 <= (f1 20 21 22)
f3 <= f2
(f3 1 3 6) <= emptyFS
(f3 2 4 9 10) <= emptyFS
f3 <= emptyFS
(f1 20 21) = *DEFINED*
(f1 20 22) = *DEFINED*
(f1 20 21) = *UNDEFINED*
(f1 20 21 22) = *REMOVE*
(f1 20 21 24) = *REMOVE*
f1 <= f2
(f1 1 3 6) = *REMOVE*
(f1 1 3 4) = *REMOVE*
(f1 2 5) = *REMOVE*
f1 = *REMOVE*
(f1 1 3 4) = (*OR* 0 1)
f1 <= f2
(f1 1 3 4) = (*MULTIPLE* 0 1 2 0)
(f1 2 4 9 10) = (*MULTIPLE* 0 1 2 0)
(f1 2 4 9 10) = 13
(f1 2 4) = (*OR* 0 1)
(f1 1 3 4) = (*OR* 0 1)
f2 <= *REMOVE*
(f2 1 3 6) <= 13
(f2 3 5 7) <= (*MULTIPLE* 0 1 2 0)
(f2 1 3 6) = emptyFS
f1 = f2
(f2 3 5 7) <= (*OR* 0 1)
(f3 10) <= f2
f1 = (f3 10)
f2 <= *REMOVE*
(f2 1 3) <= 13
f1 = f2
f2 <= *REMOVE*
(f2 1 3 4) <= (*NOT* 1 2 3)
f1 = f2
f2 <= *REMOVE*
(f2 1 3 4) <= (*NOT* 0 1 2)
f1 = f2
(f1 1 3 4) == (f2 1 3 5)
(f1 2 6) == (f2 1 3 4)
f2 <= *REMOVE*
(f2 1 3 4) <= (*NOT* 1 2 3)
(f1 2 4) == (f2 1 3 4)
(f1 2 4 9 10) == (f2 1 3 4)
(f1 2 6) =c (*NOT* 0 1 2)
(f1 2 6) =c (*NOT* 1 2 3)
(f1 2 3) =c (*NOT* 1 2 3)
(f1 2 4) =c (*NOT* 1 2 3)
f2 <= *REMOVE*
(f2 1 3 4) <= (*NOT* 0 1 2)
(f1 1 3) > (f2 1 3 4)
(f1 1 4) > (f2 1 3 4)
(f1 1 3 4) > (f2 1 3 4)
(f1 1 3 4) > (f2 1 3)
(f1 1 3 4) > (f2 1 4)
f2 < (f1 1 3 4)
f2 <= *REMOVE*
f2 < (f1 1 3 4)
f2 < (f1 1 3 4)
f2 < (f1 1 3 4)
f2 <= 13
f2 < (f1 1 3 4)
f2 < (f1 1 3 4)
f2 < (f1 2 4)