SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ^ l4 w/ FinFun:threads=2elapsed=6.036cpu=11.160gc=0.536factor=1.857zXZִF! =/]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6Q#qj 8R7*t*:K[h GTܹ?Iqlz7VV )B{6p@wx@Vk(:_W*FpX^d|[le:1Ϡ.AtK > S'3+a+ǟ9-䋙.Y liz˿W gC<k $'y bAo 8njH*A,Wl+dmJjt. dQ Jfg;YALTmg\`+v᠈,OaOAxk#[U/A=DLcx9!Šqǯ.o"?6):,[Q3*,Uvoϡ1p:gɣQ7]   FinFund(EN[5j"gʈ`$R#$=k0PI; ӐŰF ЂmBet0NS{=d'3tkϖ,,~"}Pm)Y9O@1BbD2}Yg$Gbɧeɖ<-w -|d]W^46VȡCx͊ =?nR5!#% U ~eiµRd;1Eڬ2J9̗ez[T1J 7@( C5<߽_W)giOgщ版&^G/X-|Tc,%tֹ(RWa8g՗mli~%ߪ1}e ;@] [|t*ͦDF{.LSz1TJ44z.e׾X2B4%.Ӿjf<ameZ` Zo;;h^ hv>]AEƢRV&CL=Gsa6#MnK48 ?dlLDa[5X=j2A{?!^b(m6 G*uPЉvB*l {HKwƬ 昭ܸPG BYX,ܛy;6VK)}׍,zN{f63{ qq bm@^}R?E~p_ FkI` sTaL3ɯYF0[d$}@Jpm Ų,R #C z>NgYZ7zXZִF! ']ŗXi%?5JRJ~GHjJM4v4zp%G$efgl.T HkRCRVrmZ2F;o*ufAg-L „腓Ⱥ6fw;B7n9yŗ(W>Z)gR'w+&3Ese;(SΛ[< 홀JfѥVm]T0,]i_+oE,zLAi Rb򼔦숶,Su(G*(YxL[ G!Z}̻Va{^!}^DĆA+O|)(iWE0R\Hd L[ Zr#18[FȨ2Ie  Ʉ>ZeNFֿSu mo3 taN ߬$m ( d(ul3QhZNXDP+@zc[X ,a;k& 6:Cs=@4y'PX-;Pm*CN~4k806c`mIhi>:]ǛL,8Jg. ?y-wW,%R5hXw7D~\uC [,uGHzȍȉ%@zhM[kOZcKui,t`e,PLl%f{8g Y) -X`f4;֍7 :n7)OBpW}GORޱgYZ00373f1096635d47f99703056d4932b2c263cfc2 4cee7a4a8ff3a6a412156b24cb39563781feeea5 71871fb9c404b998341648f6e2a0066c41f02fe4 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd11878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449