Loading Open Internet
    I made a NP-hard proof for the first time and want to see if it is valid