SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  ]-4 ] Ptolemys_Theorem:threads=2elapsed=2.407cpu=4.296gc=0.084factor=1.787zXZִF! ]ŗXf1-/6vR[3FEªӏk44TYz9߆cG٬C^t`6.ATFl+as|aPvCW˝7Q4}!ge_q{v ye[ >WgYZ7zXZִF! UE]ŗXiɟ˘@ Z^ĝ_xךxȌ2^ 5^ݪ2pB)gaV h}YZ7zXZִF! C]ŗXi%ύw4Ñ/"e b;2Q3D]ĴR &6F g7m0*|SR|Y,H7(Kl-?A5rٔ({]P @j2 kc|ߨ7s\Ï.`ԀrȀ?D4Hy pQK:sO1 5Sh62zmsy~̖9kP3<iԙYXlf.%@@0ݏ:5 $P ]֒3:%f*B!d־\X'"ö@$g xג[(Bi<7۸UDH=?0eTzK8JgYZ848809f79010726f1a29f70e2a04cbc00b3b07d6d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 6dc5e2d880388f6ebb4721373e1be4f7149a3e3f - Ptolemys_Theorem