diff --git a/Reports/2026/06_04_2026_Solana-P-Token-Formal_Verification.pdf b/Reports/2026/06_04_2026_Solana-P-Token-Formal_Verification.pdf
new file mode 100644
index 0000000..fdb2dd0
Binary files /dev/null and b/Reports/2026/06_04_2026_Solana-P-Token-Formal_Verification.pdf differ