diff --git a/test_p1p2p3_repro b/test_p1p2p3_repro deleted file mode 100755 index 591539e..0000000 Binary files a/test_p1p2p3_repro and /dev/null differ