1. doubled defi

    Closed
    #171751121 0 0 1 0

  2. (no comment)

    Closed
    #171751014 3 0 0 0