P!=NP futures undergo heavy trading