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 t5lt ] HOL-Complex_Analysis:threads=6elapsed=34.677cpu=160.612gc=4.916factor=4.637zXZִF! `]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6Ҕ2 dأĿ PJq|{+f L1AJ:P@N~"-ͥ?!SU,\ 3QTZ,Ȳ;x! Rj;a e\ovusV,t#a*+jSGU[7$L12D惭IszR_+PT%/;تCxuP~r I0ett4 H( ~ XыOSP)'3J&| 0gLZ.p5oV*/xxd |H,87MF_R;u̥?bĿaᬬąyP7/Z 4$c~ CV!eIl4sNgUJ@ܿl uJ-uUhHpM&NQxk~7 MAz<wRơ ;9P8J]=IȳFn Ս\Hv:,-y nK3e %ګ qpOrV;wNofP1ƊntI+?9ȥX3mtH7v߇_*="ahk:pPB m@QR+,`ZqΤ;|3dGnee;C0YL. rH!sE`лfs#Sm>0WIp|r:l5=\Evc_ TTs6>_Ӵ̘!M{BH+a8B>P%z{MgJ= &/De G}̛cDµue%JڴWj7Kߘcks6tN,jF̖-gYZ7zXZִF! 2]ŗXiɟ1p 3]O+EATWKcsn)Xn϶u ;,s4<  5 HOL-Complex_Analysis  U΂m[܂7@)d̝lhdbxB.{/1M O 7rU'Q7s0_-*&ÕlY߀ C|5P2-)T[/5l T^noG9wڠ وM"AUiJaxrAHC "c@po*QBՖا*D.8/z8?x@yfd 4wD!Y)!cX|$$gYZ7zXZִF! ª]ŗXi%JH;uu\waPf`{yo:^J/VUAE Xt+5dNe,v>j"‡uF5rfrfiʩ@}Ԑ2QQuHsՈY K-}=X?9 [h%>ٱ3i[ ASk5/1q! hSnNikKoT∮8dE=V%,ezOrS8p]os5p5㠲>"QcM7<%Lƹcr#95[, @1f;R& <5B&­ME_6E_]cx/{(ZKKW䌬 ׷,Ժ!9JsZ-@n@T.^fWqD}_TVp#ϮD>҅lCbfF/IK6p V^+z@Zo"5rJd.Mࡦ*)MhS :_$d^p KR~;vkҍ3%&|,{6~z,ԟCQ8 ebw|֠wviVIrg.f5\20!)ǖ|Q WǀAl/t>42PW}ODrJ:l{t8f @Tsԥg3 rUyG} 5Λp?z). TT%*6i1@E.^S& kJadJ&(9:tϝE`gD-NF#ؑ%vLEKd1,H M\b"S J<8A kU-m^b|ʓ. ǿyVZ<%æ@ߎ)k *iӫ e~3RZՁ{#vWf?YCC??w5M"q7 Jﴕ&3bϝVȶދ*>,o?=I/Mқ_e$ f]H\땅 Ľ=P>ZoR #`i& a"g oٖ9Cά u#ӴSp%XE9~4 ^</GJFpӽzU@K4-eW.'|n![|9>)mV > WF/qz ψ_Pb$-lL`x,Jf*W ^rtMfuG!4/Y'\Hdy+Mps ڌovmlY1j%SIt0I3G-Ru+Iz#6 M#.IߵvɧvVg,K=żc+k1r#S]H:H ً.5P#&7@z`]{O+4ֱ=&CU9?`qᕌ_?% Vh(oP1 oC~"]@ڠ)TX8v%eXC^& wa[{ٟE[j{`R{O8DmƄ{%7Me!si&6$KM.K?Zs`|_CՕb`2AvI+tM"TYi:k"wѢjh'V&h-t(>'"  n+dJ vğ\9"f"{M!x= z7{Đ_K"֖[288s`)pH^DJ%4r0C"&SzrMAmd;pq_˓p#%Vl~e!F`Vg\IPy?IgX2$F]KdV!udzxXY  Uð 6곽rHcBX`voPkFԜic 0Oi%HQ<:daD/EMaHa6ov/Y1_xaz:es>ބxǮ"rBzJ@ >b~afw;ݎeӶ^cۖժ."Jpi0/1nj )@7ڱrGuyb(}~Nƴw! 19ffq8.nvK_)Е1 u`&b% t=aEm/]8ZwY:]Y  LSL@;,{[ԵhIԢ"pwU;曰aQK8LYզHOeu V:@WenDMjI.]PU,P꼭[敉zkYK^yoGI/H`אٲI: %hh3 e a\2#&\I_=+ŹA+>&sIUZ9)VGFK%uY |o>$cZ Ϟ83. yM{ 갂@E@rAX"Fp cǑ?= :SJ%@,h'21:-Edd2$۬Trm Fn=L+'YowF ȵU:.weW-:POD}180E$