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  H5\t ]]HOL-Complex_Analysis:threads=4elapsed=63.378cpu=199.108gc=4.320factor=3.147zXZִF! % ]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_B)|LdB0;w,5riu6ےJA{Pa?; "AXXCQ|*ƺrYhg|ظ~L&DufVm0A0`{A jpX8ɮԽwv G<@, Y'^[$zR0 4%Z@0ّ L ɻ~05ۄsō7tQ+mR,TF@wך,^g|2jDhe|vp%U;j[- F,؁ U r2\jǬ(l'*&Uۡ$,XR"c ~wevOkD፱z ';Z1iBmkM m]GxD^Id\O4ȅP4b:zxzCsO1U֯XBVy3"D WØiXE-7L n4Sl?SK2c6?Te hqRf[1+Ǵ4ߢruM *-hoС@ܦ_.*ЗGbƹmޗlF3M_6}lcgᠪ}pb\$ F/:, H[[M{h`~[b/]ϩ{#}nŜ„!dB)N ,2W.5ŬaR/T$q£įϬ΍S)-o!Qq7ޅ྿ `b=,3-FZ!Qm5 4~_G`.R*s~,SwW<@ܱ?2:LBӶzu%Cy)CÓqޱ=ںxۜژ2S[Da!~6s(}yٽL{5xZw;)qMh 5 HOL-Complex_Analysis  -DNIw?gێH~/z F]-6+rh-gUQDUCL؟SDeZ\+^35mQ p`_(eXHd`twbCA!sMpF0u.V90⠎ "MS*\36XO0BPT(d^?;[}W9XO;܊vyXüYkJwW)d6 Z丽X$zl!5}dU< ;YEN܌8WClQm~HТ6w=2߬9Y>Ʒ{Ͱ07U޽(pʀ24(7%`?ef˴_M]@a1S 3$G zR]#x  |{ z:#VTeOuAs;< |f3 I_ #_$qhGeez\ċ!7jlh\D_mj]T3}}AJJ] =&Ò< 2M "M/ ,Q;U9熢/>9AHC ѓCBh4'ؙ4G_+X%va3N>& .eDn^+a ή쭻hgT֓1g%,IZ;0#M]/SBM!We}{,R m @(/ Vot-&ÛaHj=WS3WB-4^4Mk0(^U5ERQaV|\|۱sT7{T2-Y@81%V JuʕP1h@aIN={(0WҟNXnYˌoG.l TʼnVMxHWx6sO2\\vJu5^Mᚽ}Z6HΞB7vk&^} 2taA$b]io Xy"9(WSk qHYz!OgR1|Apesp︊Y\ Z|tQ!BFBPCxGd1L> Ie\xhN "2ʙ2\]Lq1WU +3Y7s %n8gF Kcַ#/3Å}"m!/Sn>JB%:ӛD)ERYvtwIMԁcF͊e]u Rn0ʙ|jY D%)m< [gYZ7zXZִF! 4]ŗXiɟ1p 3]O+EATWKcsn)Xn϶u ;,s4<ΖA!\XZ8 A Ya@PW/ sdX;V^&nfA x4I l615igʌl *6^ `rPz66>4rmfhn@9˅EAn xT$ 3+9o}OٚFvy4rwZ|)uI۱4UGJɃD(d+yi5>?Zi%-WKΠm)=}߾t."Jd$b}oqs+Jy gYZ7zXZִF! ᣃ|]ŗXi%L K^{s;2{ ֪fcHVm om6e0ǹe6!)e]+, cQ]p" բb? _ 4n-<|>gva =Jr)ȿLdL8ƣ;2kfߘDƍk\ %ܟeXňĥv$J6.y$e13mVyA&oY$IoBU=6!ʉ"FÏ?@#R:}PZ i[f}W20C T"3%kt!?g6M].OW AVy#BP)d؜jm YX (J2Qe,rKX8sɫ"eQ(%q>{~vzzdз2@qDvO(bրi!KrN d~!Nyn3M +`6RlghY;Zրgph\7+<#vb9P8L[\̰u~Mp2/*C]% 5O6w4@XۄlxL hJ~Ti{}4Vr_E?JP>{(؁ih4ƃ13N}^L|!n{nhlL֫F+-/? yFt`|InIJ&01@ɏ<:܍:GYbo-p˳%s3فZ^|Tcc#NbJڊvAIIn* z .(\ |8.vn{ ~c gg̃)X07,)$s1x|3!7^ ]F/Q?*g`+X D!IUɱdrҨѸ?::>L)Ivv4Ϟ^ ןs ONx ;Yz_5e/ɪ1}A%/i`s|[ Ab:+uPYSC*3vtwjP=Ce ;֝n?n=qy~;aS'; ƕ=U -o 6v?25u&毄=] hBTljp/rD_eaIQrtWĞ_Ж َ^Eq^4UԺ@_sY0LJq,I/)ٶb>HZDW7*BP>ba>} p(XbӘpamA+v/"}#-tG}xr*REsnحrNE<CHZ{c+HqXUྲ{v]0FI::;RMvPb;|S}{cӇ@.ᗚ^BCy 2{Akl}6UB]Q }UL τG|`;hL_q,+ֽ%w4R3KSh`]I?pk3^sЕ.2N-krԣXS Voyy3}C*nV:cBf38pY$#$q6,M\#siEzӮMi*q+Jmw?u[A@Uм⻩˫x=`zAƣlP|lRsV|nSyW~+N%aס *׾Fm0m:!PVXO!3{8oϧ*3 pwz,#znymTуs-֌ͼ or&zy{:lfb5hM)ɠvms'ԿtkUVDqӯη@ bjoρ#YwsF7:#Ї5;"9[Sya_QXAjQ% [scxX@\9;!]ISbQG:=00#O[N Akd3):l"]NY#Rq!T%{whIakm*Ejl4[uU^B;-y=îX zY ݠN8@ϳC35$v@of*{ϒ"Yf%Ƥjlp#I&J_ujV%Y=M`_ Dg>;Kk!Qj ;h0 S8a MsO)t .Ns 'N 7E IAf㵠bV]q4L̐W" jk2d/uN]'S6"!ʕįXMC/˟f>%d!Txd^Topqf4jwwP\ZΣQx#@V3*?vi0ձ&XnaGo6aF)mHj7[o%{m|$h UFʚ 73e/ShW|(*p-ۺW2{Bp\+sɅdNBE[3c.'v+~`lN U Ch>/)qڍ]fV^F|z:e '-# #Сiv};7#ija'Hx웎!w2kxB F|vw9M&v,ez9񦃰qs_򼮴@ǡBo:g 'Bk~EYee|~_χSa%QF f > D|8TU qPw?AECk5m75ŭhżp=La.vkpDzYś*UאpUWkLVEt ]. !Æ0At>3r_$FۯT GVQѠmHliU>ݯb(:a+h["XKҫķ]}r\Ք;Mf.Hd%ȄC{O-k-9^6$fhFک8^@X DZf̥Ra\֑ #*QR˟_Ú_ @(oW&Z$deH [>E==`?`q}[7vE>e`  iG[C YVs(qsՙ]Hyjg[YP6UGCK"1j(_Va15q XR#:Ow#3HA-ZZhpWo}jOVkA1 jBad<+9BMF6wb}#NG*\9>bE1;TsXͭR q]3uUϱRL}G[ܮr3t&Rħ^)m`nw ֒_ x{"zAMyϼk ʩnOM%6ϵ,?7Я߇GG-W&-&ܳZүЙRa\$B`¶Bw'Kc&gxry#$"rgKu)P(l\5NjI\i7sVK0>F+*g ӗV-O [\cz-sA RFT?}}82e吝FkSy v=`4 UV?|j ];b18 ŷӐ! ?Q=4 ͣ;ыOMpQxro>rZIhl\{ w7<,?X(cٸٽHM8bi'~n<*׀o}"JopX͜fewxpQMkQe~.S{q ,DHywۚ1 etR=,0 ]"mi/p-S\J㺵 1GfεU.Oc7RjqCTq#;51BV,b)(PKuB