SQLite format 3@ . BBh77otableisabelle_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 PP-1 ||| ] Separation_Algebra:threads=2elapsed=18.730cpu=31.520gc=1.664factor=1.687zXZִF! 5]ŗXf1-/6vR[]]uRlindBkTi 3A \A~z[UqtV$ֹ:v Fq6 Q_K2\tū#rœy`[\I^ΨJ>B1y!8> u{̫e>΁~Q$bVvwã -(^nv冻r:o,VhTŷ1~Szf¹M[w A-QOh~ey]7#a|ͩ2đ;rFK e8\un¦6q}g;gd6Œ3(QsmPO cs>_D/;^H1vCL補 ǹH~]7=OSdr~߼ŠVXA3o)Xo;9R;Q@%dLLTw&^ox4䏡tF{ꚘƫHt0u_W?f♑ã؅U!1eQm_ {)! gYZ7zXZִF! ^8]ŗXiɟ1S:J'h?H6 #G7sx,'RKE!a@NEm)g njp7t{Xܸ^FC MQ ) [g(e9p]oGP9wP@kwjtbިM%u(LY/! (n+~]aȅBHhoo`@$W뒓3dёV@Ԙ-YJIeS?5yJ&AB@ jwpy>frmHf!@gYZ7zXZִF! gv]ŗXi%ή++U$& >W=<, Y#aO|*cOR傘nͷmYblQ ߓ}x"?y.#5 OFHLPmF<m&Ijmobt !7،$zL{,y)p%+b0UK3?5;6STQ2Ң ^, d^܅\7hȌOjdL3AvU.٣)jPN~Uy}}|i%7zU5s8)WƼZ7÷Рo3-To}Yh1iqf`9GIOjɕ׷{iynH$\b&,R!<tMw5_$!hh.Acg_ʄJ尋#+&ĮJM*,F ^Z6t<2= {biT:rn8C"̣1Vگ \Jimrq]m)*[&B>1QK zAQ?.pqzlj΢S-6j,6\Y#Fj9$6..Ru_S);Ldә]LSf tј@CBn&XcY؟vw=0CPbAC B@Ƌbm[P%9U'&7aOxJ U䔧<7"(mI;`g볩0.%UɆ/B̓2u:lq`yj016Y, ]]Dſ?|\ 奲\Tn̰|FT6- ŠUfĩ#T 0vFk ^6>{Ju*lyj*ц+nck?w;ZL_H NO$wmTFL9ωvL~eP]v#KAbYk6$]v5폥x'xAZFZ2ʀsGхC`ERzG)f7XO:Gbm%#Y