SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 [[" L,| ] Isar_Ref:threads=8elapsed=8.202cpu=16.787gc=1.398factor=2.057zXZִF! ]]ŗXf1-8>l޷VO +҄RXۼfxAaL*xe/MqӸW{so.Z{ٸPsދ$*g@nQZfʴgSr,Þxeϻx"-({>u5HʺDt0<{,( as ?3q|ƬAƪ>lj>GY)NlL/=ÊX2a*;9;@cevWFL Cz4L0ѫkt&Y կ8Z%a,ݫ'-3;RQE.tqgYZ7zXZִF! 9N]ŗXiɟ]O5-|01 Wg9Ъ,t]LC9m*Ek^vj=pCO\䞐J*~Zohk·GۄFDĻyKlwLMDiD''W~٧_͸{ Yp_T 7=l3 w5uHcbYIk:)s p\1WPׂ|Ӡk@ƣs @rgYZ7zXZִF! )6]ŗXi%>t}^;{Z}+ ;r?bP,|~[-?*./yN1+Tm xh4gT5r$}IX{@>Ý(.! /ddc{@vf7g#&N dWu,D B ~ gEޅJܜw#auj)<Wt?{e2]H ێ[$ol(rɠ€+ 'Y##`hϓ"bFEj>{U.xy]al[K2q}t%cd ˊ ieb7kGa]U3Ab1SrI:gYZ85431f4be6ef731874a7f510ac53347ab4c4e000c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b   Isar_Ref