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   y%4\ ] TortoiseHare:threads=4elapsed=3.658cpu=9.872gc=0.180factor=2.707zXZִF! ]ŗXf[&}HN{u]/PgRarg89^B'OԆ4W*SsG1+/|apbDf4 ҃Ugm~Y H!~@LA ayyjos˞`cPaeR3CRUOt$xnT&RFKG@\Fť:*ImgR4z3a GHTY>M 4Fuwy89km  WgYZ7zXZִF! g]ŗXiɟgbvȂtU v!W烺C/n"5&%(ռ_XDy 0mlzxC?$ڝa?, Q gYZ7zXZִF! !]ŗXi%B4!)Hz {A̛/IOXeRDR*$?0'uDZ/Uv;J^a@&ΫI9LS"8N St_4?ݾ$Qcƨȶшrgf%jEPs+kD7a)-O܊0@]]ds}wK jGed qXq ԸFfK tΩ"Yy~ )XnLfN-?$.Y435& =@514lWpTM$X@퓐DeW}&?g%=goeuWxI=TŬD1X󔐴2@]fvT6L+Gʎg@{RfP ̗eGp y@Hi%Q $]FŋX"\`Z#t(^F(fËRQxf5_'[J*|NI"K&XP1QTŊ6A֞X鳵L/EOjo$߸祝T bj9fȟD*hg/|̶ûtT:h 0S!T3F\usnqΉMF4+޸^}