Fatal error: Uncaught TypeError: Unsupported operand types: string * int in /workspace/proof.php:14
Stack trace:
#0 /workspace/index.php(18): require_once()
#1 {main}
  thrown in /workspace/proof.php on line 14