SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 n \| ]]]ZF:threads=4elapsed=15.222cpu=42.052gc=2.532factor=2.767zXZִF! pB]ŗXf1-) enȈA XR„Bk?O۶^Lѿ(ڳU^/oCsxa* 9rh< iw?<'::JwP);,`7+wڴ[BX_ntA&@LJۛ`qaH +*֙ kBVbZ޽;(5+EOM_?IP6q5׀_ZyFb5*p~s08Q9OBZOO _ k+(b[q7 ?+ݭjcM/;}D>Emcj$"3El_`yJܧ {#&cZ>K+ፐIF0gI]ADf*7} ]Sl<#=DÕ?&X1gYZ7zXZִF! (]ŗXiɟ 1FE`u$[,rocHXRf zoP )~˂щ:.+#Rgl)LJHk: D`[p/@JTY"J< 7/.-hD(IAGBe7lբP>'Z|Wq̵+o\?P StK#kPII 1ҭ҂o([ -V5>hR"=S0l#?_:)+:u%&" WjLR\+E3L+lDH$ 2@Gom1[LխȡiKen?rCTx/ǔ u#mo<^d5N[/Vqv Å{6l?^JUcpVI\ 6/A c^V\jң01ZҗM2g~?W@0~*YFM'+?ӇߟM<Bͻ\.YܱgYZ7zXZִF! Ew]ŗXi%G3hmM)W*.cj& e֫qxCڷ$F / y9F֕UIg#8ý' pgͤ>FIr P*L\@%I3&-OQnQt6(zaD(7)M4֐20G:K ".kqIw\[`^K\iǣcPX2nPygD_aoGb2V6٧;*З(d,|FUw&Ƅ8Oۙ,:גּZN+yD !+V*Ĕ `3_`@mv&.MP* 2I \\Byr:"UmDx1D`)/(:IG1 WCYBr]?_}8REcG{¸u@|q%^PW[ q^$m Λ<N%xlG!mO=]xA;zͧRuR]4(bE6Hp,rq O}#]tWT "5_0ge_֯ŋ{PӃzJwJ%~/S7ք>HR7~?LKG ȘP4)T i0dqC)r O  O9PöYZO~$bH$tocJ]>V $Ccy;{k?7P-;RTaPwo^ӺQZc\N#nyuJǰ?ՏNwRnc$/D OCQ2 ձ=X ze`9*?Eڶk2H D7ehHL{uoU> fm6DQ*\Ṣ]Js]s:2TDdu?  SrHN\UQ7JyI4_2sE@xq1XE&%,5y|A- vK+"0A#y|]aq9gEbc]mzc$Z)S2pk2M!m/Mm47 1*'*˱Ɂ(-S: {lA5\y#T>oOjfo,0»Gsb]yiPĢ|z@\D7f#C]҈ ZdG7} bHS`@&~YuS 5ׇ Z쪬߳mZqq1)~+} u8[-R?,q,xEzh Ժ>% ./BinO.ǂ>5