axiomsofchoice/pvsnp_visualization archive