#!/usr/bin/php

Checking equalitysymmetric.prf
Proof checked OK. 2 inferences. <br />
<b>Warning</b>:  fopen(dependencies/equalitysymmetric.prfdep): Failed to open stream: Permission denied in <b>/usr/home/beeson/public_html/michaelbeeson/research/papers/programs/array_to_file.php</b> on line <b>10</b><br />
<br />
<b>Fatal error</b>:  Uncaught TypeError: fwrite(): Argument #1 ($stream) must be of type resource, bool given in /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/array_to_file.php:17
Stack trace:
#0 /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/array_to_file.php(17): fwrite(false, '3 1 2\n')
#1 /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/CheckProofs.php(1233): array_to_file('equalitysymmetr...', 'dependencies', Array)
#2 /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/CheckProofs.php(1244): check_proof('equalitysymmetr...')
#3 {main}
  thrown in <b>/usr/home/beeson/public_html/michaelbeeson/research/papers/programs/array_to_file.php</b> on line <b>17</b><br />