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   ]/ ZF-AC:threads=4elapsed=3.106cpu=10.572gc=0.232factor=3.407zXZִF! ]ŗXf1-W'UTxlFO` -b7O'W{(eJ0DClQb.o!b.M.cO#2fж1-pQDso6Bsj}i+n 44,!#n%&-ɢ|5;jEnkAL\)3=ń=t. eSb7y3l:zBq(ybh܂E'9f:ۅd(ʮخ @lQ$. эgYZ7zXZִF! ]ŗXiɟ98c tؠL\WO<gԁM0a!sGv9qh7puĮl}a~xuA¨0͔ ͲN=磳?l̖ovk3PiW5Ҫ}n=ZaCWT]! oqh!6{~ǾA,^g[;oϠ>mts:fp{&Iy0c Im߼HTe tlm@Hd~UQ A<~pI+[]L鍾\8d[ wP!7E z6&/Pa:\+cyTI 7D:)ܝͫCm4Eciv+Cd% ]2jlK 5;Z1lY{1)[ICeFRX9 χ ÅhV1SwI+rw5h{++àU=eKlHj@OCnZlW.[ FgWS.HWǣ8)4=λm}2NűCU >y:Wlmc-h\¢E9eߺ/d"Wbr@x̷\|`7Dߍ-A\R{QOeΊEYҵj'+xSM!6xjNg!؏@QZ9ߢMkͅMsE4ʮd0sD hE6EuhW>طPxߘD5.ֆc|K\K& Ju} ,>we/7b#ty1