SQLite format 3@ .;  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 EE05\| ] HOL-Complex_Analysis:threads=6elapsed=34.664cpu=161.868gc=4.676factor=4.677zXZִF! a/]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6<@<3_i5XZ6 !5MCfvn掔8LAv!M)p`v,ތ˃,R@] -#3KmEXXt읈͛+ȌG OlQd%o)-y !*(Yi `h][gdGCߞz@CJdB_pn`( jXi X_)@0%騤;F&]MX+B_X.C:4Od_f9 "ZZ!j1 ufw_FeVeu *`+kW+~P6{Wo`%9<-[MUVsL1 }: Q4%nSAtP+CԚ mjYFΙN04,@ Tba(Ƚ :+X:D5a#/;3M!@}l!mLHX鼐yF \Wod.yc# dGs59z%%~RU *GJ2'>3L<׸h "ݔ.:ߡ~q`}e(v^ּ|ǡda+&Di-d[޸H<jsNɉ^/; :mg9&4"]`l*)6)WQܲW\(vs Ϳkw4PjGD>ck朦"4yQ2'A>F3})-:t!A+!Q e[@tT_- '6mZS=zS +`ʲ'"OuA/Wvw:;l^ YHS*7mu=MRZ&F t{a&wHs.=Nm~?1#tyi*|a7}!gce^Pmiq{-)*W Xy#}[.IsHGYfJ%o9OB;%@ Ng )H\ 8rzA#(*>y#~PPYSK۬R0%0ھQy*ws-{dN4J(Si^2҆\ж#0\0hB`^629=4h K]Ùs9Yhx3׮lgYZ7zXZִF! ]ŗXi%IQ*(ԶYu;XR܈,gb3 9~Cqc WHSuݛr0fvǫ3p}*!u10:Zp U/C4M3F @Bl[$ZU:ѹ0o/2DZ%'V0!12B쥜6F6*`XtB5(Z^ K]ӘL+iIn:<.+CӷBD.G(Nba2I e9IRҰCxyѵ\GdePqDJzNh!lΣ #%Nޭ`Я79a-,XG _Fe^S38k Ҋm~s^S$ wŶ;C1\;pǥуt+wsgt)havHC~Ti)ꊻk+Kuc1csTpҝw`7-J3WB ^ȤR*.2B^)/笹@=.)BYgUT7p/ +ʇ L6X&MB: Qp' ]-Ah*o9;^|9 ~Q'Tk;SBA5^(O]V^;|fuI*Lvi nt Ms'lLFlAaaN!2渲|[4u!8섶[(7'9=TZDPFd șKChRw挟P71J}b;(~1B!0_ II<>Ž +_Sb$ݢ1A~>J ~dV`))>+MؿK$!d x Ti7RWC|/_-#V,r+͝aNNj7}KlWiМ+E_4wB̞2|}?YdL[盈TOA5v$xn3b:u)sLu$7o-i^sKԠ7!%'&?䕂>FEF1Wد3.^{Pzf(,kY$O/p)c!=kli_ &&I9S <hzA| *nTT~LR1 MTɪ<i⒑ 3Jbmɜ6'D!Yj9gwhb _Ֆ+6?:Ss+e>qKSݿ)q70IT)*0): J6dzK UFBqK_8xcjH Y;|tl.,*ɪ\Ntn&C@S NHAL!50v=iێeB4-q@ =l[d[0͒kQطF c0$ J?tidR5Rg% %Ci?5.4%idMfܹʛRMځv'ۻf-B )Ba&T oy6~p@e<rf4w_mf[ԗ"$|lToubAzuLV;ars3 ]Y 'Ehh[;_Azd=ʡ[$dMmV>' EfJG{qt) 堀|D+m<=u-DcҤ4&%3LՍei!gXMK Y05hj8DA~X.5_EaRtOK#*}Pڋ}6m1u׿Pni[itIrPk8{Nޙj9Xu]ftOe3xYg9;-[r؅":]XG#"׏Dn9FB Cո/ kkΦOvݑ uH|Xh^UW `!u˺OG^wQYW Ň;WtsHUamPi@C](~M5]&l W0[VD;hTaBD ^'dw¼lMzf(jz[% 8 dj54i,ǐʰSZUn,"t>?+јmLjيg %i[`%gǶ] 39jC5Rf]/ͶZ!؂ч99 K=Hm'Uk&qU5q溻i7>^w_ Yo+ X\N`WᆟBy4~P^auO\yiJ\(vz#֏ jO,\&3cMrPb0I{ hz~W>+~gYZd40d1ceacadcc40c61c093882590c6b35e1c9b54e61d7bad19c83358620faa4245e89410bb30de9a c410e6eaade7b07b89b00f412d8d8aa51c2217ba 9874f55a4e6e165ccd03aaffc215bfeeb8703dec