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  {3|T ]/ Partial_Function_MR:threads=4elapsed=5.258cpu=7.740gc=0.276factor=1.477zXZִF! ]ŗXf[&з>V=-t>&[oXzZ?=s[G$ D|>nr:b[KѢacd(2fISN8>G:ZdPV2~%+]W+w{\i>Z~-.9hjȋ#&qgYZ7zXZִF! _]ŗXiɟ1˦rnzx <@0+gMLS~9=c7jrܩA#h64+%eT8nbD 7Υn~3"7 !wfK΄)Zh$\0kX,sq>0%CHгe$> gYZ7zXZִF! 1]ŗXi%Bo :^n@=㒭."Z8G =U[pDK8oPN7p倸e*?b yG0'sz Jʉ5lwJsH:_OЗ2)lu75 ;ޑe(6l>BY֓ Il]j E?JtD@Ԋ+ߩ=  6(ÿ"5)pϩs2zo*ɈBM<)vϹ=du!MKd-to>h _( :%-ALJ+XwVNӳeU_:s쪥gVV+t0Ksֈ@Xɲ|e sSC#ʐu9׍@7SˆCMNIv*{;|" >)tnCZPFl'sSlEv,9<̗Uzd6b&x,m߼zUxdP~e. h$?N6I1 % Ld\>CUw V Ӭw~vHl_&}k |x|z&;(CWJ}z }_=UdoA_5:Ʉ^5{CtDQ8~ؒW|  me d⪵>GHt@9=7Q+=.Ǭ1t>:SG.$!