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  - -P+T\ ] HOL-Hahn_Banach:threads=4elapsed=3.640cpu=8.268gc=0.112factor=2.277zXZִF! ]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'Qz]IIP4 ۀiy{4 fVf\*j1zk[qMR6%rs24E%]ly=-7|bAGQ Cw pCkL ) XP {T3-aKֺZIqS7R,uF z>yh!FU.w`%jgYZ7zXZִF! 4"]ŗXiɟ1P ~n8nQLh) un0ļݒ`󃍟@K5H־⏹K%61 O nx۰}KV0)5ݩp;Qc]*B_e0ǻ܍4pRƵzn$d{X"n&YQ;I?IEbh-h\iPQ QE4 yfJ+0(gbR;Fޣ>zqj|u)CLmh 87ĩ$!(vȅ7¾TK꽱gYZ7zXZִF! &I]ŗXi%@b^~Z9T^iQ3fr @>Q"U$Ba7ygӓpVH ߘiff͉eF!9lVT15)(bR013hTc-T[LX+_MȆ{} @ F7o&k Y;ךb]#RFn\ݚ7ekC3p[Fkx'Un^g-W62D2+#]2\jic-^+yg-k.  ƤZ7nk_aĞ,ٔu{'*tl3]+Uuv嬭"} flWp.T^ڱW >RJut'MHM*4 d H>#>bJ,{mu1yl9ft߈/EoeK#A4ǁ٪}mc V&ѐgv[+M4e)k%ۇ;ehWh:]DD(c||Dhy攪@wl0{")i~:+r.Znw)™՞ ' taU ӥQg )1#jR)ʫV2ᥗ7jjd;s