is in the public domain and distributed
    with the following license