def inc(ia, incr):
    """create a copy of an int[]. The values of the copy are the original values incremented by a fixed number"""
    iaC = [None] * 9
    for i in range(9):
        iaC[i] = ia[i] + incr
    return iaC