SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 % 4T %S Sturm_Tarski:threads=2elapsed=20.862cpu=34.144gc=0.460factor=1.647zXZִF! \]ŗXf1-/6vR[]S#L35Ά%.y8S)&"7w\ :U@c1JE ZsV}*-i-`M /s˜UdVl5W|o-=Y"v&e𦷸/4!{1^(V:B>,.VW~2@AW+=+%2>$ M)~ӱXYqV3ye\~=tXXGߕKCqcs.vkdk4\%sqH7tDe/@Lv$W4r8߉1! b^$Y_&&Z^T_Kӡ/f@= E#s$P/9ƕ'JiJxl.N<)3|󫖄a+ǀVr%f$$;`dQc"3Q&GƱgYZ7zXZִF! n]ŗXi%61*-/P("PP-ݙGdY;d " Sޅ;.t妳7(; A럄4W;7'NEx*lA͖9y4QO;]F$e x'qEp ݩbyRO7ޓ\F5U rnq)IPA{K#:Ҡde|9uS.DfTD:!"uXMsz\yPCIAi}7BUam[1֢r AbT݅؝wl@ DgPq.6ؔeeA8 9@?|C]3ED]VG&6DD܆SG&E,sg1HÂ` NbRPTQc>#iӰd<ؔgsaM0(k*au?apLVX#r#:ŊaPnt!1Qf,-r 9yhƊ^/)m$ߴW7!M\}/`QܰPeޭ7W2 WUMtT[Bg6X9&Aoأ@'Nl(c3gڧ䣱kmiu #a|r\@cP U"*ɵ=?~S>v*k"_2IClj% [k5B +{ ǯX(+'KeEC"/uaKIVH:pJޞq]r4#I&0o%%+0Ez ZF=>77(!JDMEQ,d GNSʭb[+a4lG/,/xyX ~In ¶qJh.䖽Ȃ(u)Ĺ΋0;}87HOlkSŨ7=^[RݭR/.;]-"&jgkD RgYZ28ab9349f9be4b74f589960d4975586ca3d3aa47 4a24faeb9f331d799bc70a6c9d07fbed3cc27347 8f93cf5fe04be3e267c8f2d2c7b05cd3d346f05b 92c1e31c258336fd9f6fc9bcf86ce88af6df0f71 ea6ea0bae138944372a47cada3ca3d228893ab40e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2 2ab50f6aa0036cbf2405e3e4b145ba8df0a9bb89 % Sturm_Tarski