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 MM(5tt| ] HOL-Complex_Analysis:threads=6elapsed=34.856cpu=160.696gc=4.840factor=4.617zXZִF! b]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_Ą.RL?#Z&0 >D5PUXn#8g6 h(*pߠ$jGrUJ,(<iU2o80u94#Un>`8-At| hԉ5L!$OK.5w'lb 8*Rz-S. @ɧrICg$G)-CJcH;@;S4m6~1U*BQ{"IN? &{Qhֈq6iv4i7㩙8c|W3SwefCWZjJ/-bUWN"7zJRV?}7Q@ԯ#AEz].FKDATנ t _ SQN$h{81Sy FeKh`zUw@/rMlPQ)KD3nU7c!%p;Uo{5{Bw?bX5RoAG+qA}ɭsciTD+80&o}/f.-: SCab;r~Uڞ^!Y;;Q9n,65v-%2V:E|{'Ixw9JR{ưy!CsP8e?|p"؎FգAki }*0ouX!|e OP4UR=D00 G1mAcҀ+qdq2ZqOO u8mİTJM;cK }H̟,Oό3n-$YSn\vאF*R.#I222?q . 瞜'Q4]c=ʛ|2UܽwH$>uGO> L 7_jԙ-T)TWoHRe6> ;`o9l[[#r(X"BFa-ϷE*Zkn{FF$se(1:$ݝc HA b+HI8٬WYK2ӛcLD1~}/Rr'pP)w-α<NJv8|%FHO^dAu"-'CQYd*ަZ&`n;e]<~V xWOXBzҟg.3nPcH  UE妦u^n&3CJAISAiKB.i&QX-b)/ @C֘V뙗aQK(V^X5WcE8_L?t(pؑp~O (&u# 1<-rE|#(>lQH΢=uű*MO eEY.;)ʊ"ПO`o>/ q`^0#o5b. ".u|C}ACYĤ2A| LyF2_ LF((R wF*Tj(y$E182|!:̞8{i\$y>wӐ-IhKEIf.*0 Vf7x Amz8W:puT#˙ q_o~Bs8҄Cnk Ka>;2*L&"6nX&nVWc딞U9JP;!cf CHZΞZ\-H4˚Nɤ-) GygYZ7zXZִF! 5 HOL-Complex_Analysis   3]ŗXiɟ1p 3]O+EATWKcsn)Xn϶u ;,s4<Q]WV+ ,{=.Pc܌Ē@b<ƺ?oP4ۨ]>6%[CnrAIrd?2dEM93Ũj#3w_ާ2k 6՚@:63jCҲhKdRWViQ!a'Ak= ӓnn7ҫTX\Xt*C#Rd9㔪3 [6aw,3F dfoz 4vVu7lxұgYZ7zXZִF! ˜ ]ŗXi%J ˔=11 cτK=u^ E#W϶M0zLeRq\q:l>d?2=SdUct׎KQc_/5ڤWtUHbн  +G[p[>|͋Rْba꿣[R4+ h_pYZ^8t\~͛$&pl|mx-C|!i3_ 'B=䲦gb e8ƖAO4)WZՐjơ>X:v#bl"(Pv,wwkւ0f\xk2yzn0zs)6uy[E[|$ 41W6X\<QP.us_z .hW`=|̽p巢ENS'c|edjL, 1-.Wc )IQGJޒxd֥hdu)B,=bh_aEM/?K۽3u8*,~-F-1t2\:T3VnKPERo\8̊(4e}߇gހ,@`~V>.Z\ E"Gxl`<^bH%3F5_ KJ%QyЙ嫔S(,xm eg]dVE}jt;/8=Б€suQp<-7U4;b}zo-t*TY/P~ ” ihyǯrpv1a_"@oUZm.w[zw;jvԉcYsxO2]"* ]Nw4ugz_4VNM~l? 汜N_YK )UDa nY)do߈q[s+sN 3a,mͶ{XV [> N~t9(B/.vE͒m[7[D%˭UVY!WS}P0 c< 398dEE7տ|߽Ƿmvz4Zg|c]_S2FQ{#?_P&ٳ6E!: DdRe1&۲wbM̬<2ﶀS>.jqCo=?fT7Ello9,7cr.iX RVC(df@;9ry HD^Bg6D-KMYeM<[  >PYaL*,}uDϖJ$Jl]x}tM's.({DA~Q}S @Qst҂/)py>l`iʞO ּr 6X@#ݨWgB2"5WXPa z&F! nȗwye+` XGy3=EJ,JhB#~:nU*=YH.= x{Qȳ,!#ȔIqݠQhOTa_~ )tm}g1觎eoDS?\VԬ$bK_KL\@UG>~RQ; X&5v삚؂AAˊɆ.0SDLO3^`$׳dC{Py#9ลB: s~,4!Nd^incvɞwR'"twb-gvw7 Hә`oFw&,T,-S[8÷k^%F1$丏(:XC!~H(84ĩ?)ӓ؊ C 7jNЌ%.FH{ڕgOl8O2ȱVi 3}pM'4`Ǽٹ|ȞFä_Q#fDӜ(a'V'͔- erޱjU񝗖a,%RhbBo"ٙu'ctw MF`O CR8r@ZkI h3}viw 吶}X֨SL,bgAAS[*f|IsK㬟Т[ iD 7TqתSg/D]v536Bul 5}rjT4?"Dm$!&uXb٣I6qNR\Vh3xM1:u/k!lך8HlB٤i,@JNVoa`ɜKZ5A;K;o;Lqp \0pz%l 4uNMg])mTז@x#PX vd Bȝۍkjt~pxi;), ]ubQf3Rj7`/9/5Nxw.WC"dW8X+FEϊiX ]6gM2wd.890]_VcdBp6JX7>%䩒Xz.XS1(J4Tf5cK-XX ZJTiPVoe&