SQLite format 3@ .;  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   |%l~s;8QLܛ.:K&CX1f; OŲYE #A:E3!p/?bQ1Pekk, ikgYZ7zXZִF! ]ŗXiɟ1M+i<7ˑGJ}umxGfu~'V(z>}"rik"ǜ[Fcx;6QXY4,ܞ6 Z ZQRV EJ\CąEq2@D棌`ڳsK!~ޮlZն]6Sa.q<^gYZ7zXZִF! ]ŗXi%L SH,Lv0V)x.<0f],` _l9='(u=7tV$‚YVIFʤ^AVj㵌Ǥ/&G<_qwY_s4 SRsœti[K62(IOJ ׫z L;IC b#fb!ή<^RPSMa4 S5~.O[ I]NM"B:[S-M}Pe&iEP0VLfm(\҅sN mqT v8u_ְ^%eQnmx<܀pŽ*ftee