import random


def Partition(t, n):
    """Splits a sequence into two random partitions.
    
    Side effect: shuffles t
    
    Args:
        t: sequence of values
        n: size of the first partition

    Returns:
        two lists of values
    """
    random.shuffle(t)
    return t[:n], t[n:]