/* 
 * Author: Gregory Wainer <gregoryw3@vt.edu>
 * Date:   10/14/2023
 *
 */

#include <iostream>

int main(int argc, char* argv[]) {
    std::cout << "PRU2" << std::endl;
}