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 f+ $, ] HOL-Analysis-ex:threads=2elapsed=39.355cpu=48.932gc=0.760factor=1.247zXZִF! ]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'bzx =#Izth ݞ\DjN|z>ϓٹmRtO~Sz#ī .ף8&NꔖcL~91ToT5 2kjNEe$M2;/(FRH+.8h4`jq*gQQ6LM;2eY{[xJT'ו-Ǽ e`^& 7Nw]ӌPGc)0h8KlJTk2ȯdrA-h|^RE*۱gYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.732cpu=1.444gc=0.000%#,kS T}YZ7zXZִF! ๠]ŗXi%;Mu &S#I70FX@[2bn-8@:VjY Sk*rb{UR{sH1[5[M">H(U615/l!*6br S_-V!*e(fZ҇u쬔WOkY@|LZ;܅'.E7FWF])iRję`wF<{4)][0%VA&y/?Q {K:O04nl zOW>nlAe.gݏWMGTmZ~tH̊08o%9jB8'y637^1~}a'hiU՗G2[',UCzS] @֜:SNEQg ĕ3x?_ mMѼ*}FLpw5TKXۼFПE[q.ժHa+[ݙ)g7gv Wf@/=n cg.DgK=NhVk+%Ek=(k, E%,$,T@/8 ^uo>^aY4 j^V=f>B@ŵډt$j&r~)~ b`~8i?0,qɈ)[U ۵EvQ0>2`:u>5*8!Vi[Ê1>3AC- 37yBC(d?i5f! HsΓH迫&@xWp:ٌUREtPMi?i58&%5N(#k+H~`R?/,^>)"MBpj3헮t㨷䋹 |T[@`HcTki8xΛ]q.Edgf+l QMWup6AJnV#W#s!\IxK,  ^P1 y~]Wg@pb/ ڐHgV=L f~E?FT$ g |ڐ%FdWJ-Wi rP>a-N9([V&T;EoBO/TKMz@y5ɴr鍣ľû$0x>xopH}AĽ] *O|z?5swS+ ^uY" >n#Rq!nhEP1ؕ$7Y--Nﭛ =jH6GGcKD# ePd]+vV~Zb,3fwB&MuE̽P xy5 ~v V YwmhkwZaYq(ixyn9&O8R^I/nzY٢[;EW smU6{&܋$0to:#aLJA:NSIii:eqx,zۣؐxq?]im&hdpI@,q Ѽ:wY2T`e(&5cZ2?`bt^,5";qd+7(N輪Psb,4vAbp,GmSQB3`Ζ*ya#ZD *+esyTYN sBp:_X 8k3pδ#`~-`\:;%&YFWa$xKd(ixfa 9=ԃ]:`2_swCbӕ&yMgYZebeffe858c7e5c0f58631c08d5ba7f83fc9a5219d50d23da2fba2fa66eac370561c930ef78815f64 42ad9fe34f8eb64ea2663c9e76a55f6c21a58507 24a3dd9482651e1a4220ca4aa09e69b8dabf8c99 + HOL-Analysis-ex