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 JJ3 < ]% RSAPSS:threads=2elapsed=22.247cpu=41.656gc=1.612factor=1.877zXZִF! 7]ŗXf1-/6vR[Nk#\S\HId/X!(-*GTrhԃ6U}bNp=P-F],?$| Kr:q]>dCCjt^cnW}9M45_ҕ("|#`a/>%vԷUp~'aH]ID=l49Lx1٠U bFO*;;,IҪ~W0+2OKWqƬe܊=JmUEtƎ:TK3@V` 2vu4ӧu潛ݷߣT^%bB4W:\xtEi,xCl:~XRx~VOqV(W~xlcd :g"y;JJjsvPzYg~>91̏7WlK?5A{WJŽFrԆjL.!W4;7q|d3Tɠ4.}-bS^FU% p-hN͝[jk&DtV+=Z]cfFgҿn/H wa*g$Whhp>Dtcy{&2aq{ǿ֣D 2%E&.`^}Rax. ;U>F&l-yVz@YQg~TSDnGj\Y,dN',z(%dom0N?B=L}6v>^1SU9 -h,'<,Kb;E(8g*iN8v'{gYZ7zXZִF! {$]ŗXi%>g|Zf"ڠ郡Eއ^"xԵ d1 NmLo1ZM*]K~-]Wy>%p9{ V3;.)wv[>J&KØ4r ÖɅJ,L5zUURĪ#lK)( c&[Wö;]kyԳ"]%X8D':Hf %髭Wek4< ^ |QKv(BRa!2! # w;cT[G{+m6ڦr3E0\uh*`B:#+obDZf`kߢh!ٍyŧKet1s}1Vâ,T 8v[V2ơTXq`"<$EjG f^vpXc:RW,<)JkzPH{ݹ}i9̦l$t6Ck5ǜ)mY?:g0_*r X)H/[+O}@f yȚ|[u욃Tyk0P@N?y\``*je-Oo*F(oZ_pl6wIமmjMZ/BuNJ8WV(/c'/lBK2nEٿNu@U \*v8yZJIWE|{?{]@H;% ɼ`ڵWl2`9ӆ\!1qf9mp<