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 kk+ $D ]]Sqrt_Babylonian:threads=2elapsed=15.255cpu=24.292gc=0.660factor=1.597zXZִF! ]ŗXf1-/6vR[]9҄պԗzX{olD Ky+ˠ-yRRIa(/Y/so}ڃwnsB+RDeuԙ)^̤~-8:a7X< nUJʩ$MԶ J.hẹ9$l⃔lgd ϶:>o$'X흈尪aI kx% ElӸ&Oƹþ qױgYZ7zXZִF! O]ŗXiɟ'l2ti0a 1(V;.yzCRV-wߞ#^E-`*Y|0ͻ|=PXPmů4ibgYZ7zXZִF! ]]ŗXi%>g=,_BcȮHu (Aq$8XP޶ (njj0 I1|oI bY_69lYc`W*>cɧ?!DұU9- Wo4 ۮ ^S+8ƨhιW'#M9x B%)jҮf9#D|\84N5/IhU- |Ӄ(NFY 0I||" ϪJ!MEMȺBQ:.?4\Ű곸h[x 6Kj'8PC .yP%XOG86~4ڧf.Jz;Nj"`"3hlp ﵭ? L)?J*n " (X~2/.^4p&y9i:J1H|qAV<8e))u[Bɭjl0§hWMB߯կC9N7{tO}9TCjU_b;dXJIUV9H*՘ntӆ`ػmૌ012V~{5fjXM㢕{:7 6]麒ShS\e2J(iM $l v"9D4]Dӟȭ IR ݌V`QLz3W g=moˉ2<8𼅱،Pه6U%8B1tc/)mb$]CCfMn|Ht _`q403 Wǰ-2a( S]LSG&KG7 BPh!*l87C\lrKr La˂ 2E1Q2/=>  %U"d/ġOME@T U9' }d:un[3`+q]l]ks꨻)Ɯk>q8 r&{2