{"pages":[{"page_name":"Home","title":"Home","summary":null,"action":"edited","sha":"5192da61f4d692a08703f95c58a0efb3545bca4a","html_url":"/Seagat2011/Euclid-Automated-Theorem-Prover-JavaScript-Plugin-/wiki/Home"}]}