SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ++R/ L< ]/ FeatherweightJava:threads=4elapsed=8.044cpu=22.048gc=0.708factor=2.747zXZִF! ]ŗXf[&%Ym7۷kX@s /Ya*`7U0~\bwݞ:"Sj9hڮsHߞ> NxCǫ϶dnYگoDnoQŌ;GNP /M @pO} `]C]dbY7Uů5b"ZUFUiGc><Ù|!Xdod1Z!q~ x}*?w\wnnoGlsٛāŢ% W%?iJY3}`e{5vc%Y1+inkOCllPPf=+yO1[EKhjy "3> G(n'*sQx6h6Z y$gYZ7zXZִF! ]ŗXiɟ6>*NWk,@uO#QkkJK+X_Vn(*>:s·&T> [y.ȩɈf뛀qkұDmvdQP1'WKgYZ7zXZִF! B]ŗXi%B:g,TH(Z]YtWl,$?QÕS$xgxHk){<.,^%wn>Xǜ(K>9;7=-0Q>%Q8іI0NK𠄏lVJ*Kdd H:/EoN<2^+kEi `rS'%x?䟠|KRXFY-(y )ў.WqNMFw.9V,O(4A~!};(Aʧފ /x/MR_?㿕T`Qdxze>GD_Lu> gPc^XSU[aFng?ι$6 baNywBYZO[fuH'"\<ѼZFuqiB`ݎMm#08.]Zf4ʼnfSc-vBDn3bvf>NsJK>ϓ^u4xc8$*hIRZdC4T V}26ǡn.c\K"- B^V? 0D+ɵnx0a8θm+-ILZFSQ%trG22k;'A耓6ϱ):"u*Dޒ( , :cvIAlGȷ| 58\@ t8-&oe(>ZPux zA$#@wIK~<