(STRATEGY
    INNERMOST)

(VAR
    x6 x8 x24 x28 x12 x16 x32 x36 x40 x0)
(RULES
    deleteMin#1(E()) -> ErrorHeap()
    deleteMin#1(T(E(),x6,x8)) -> x8
    deleteMin#1(T(T(E(),x24,x28),x12,x16)) -> T(x28,x12,x16)
    deleteMin#1(T(T(T(x32,x36,x40),x24,x28),x12,x16)) -> T(deleteMin#1(T(x32
                                                                        ,x36
                                                                        ,x40))
                                                          ,x24
                                                          ,T(x28,x12,x16))
    main(x0) -> deleteMin#1(x0))