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 qq5lt< ] HOL-Complex_Analysis:threads=6elapsed=34.055cpu=159.228gc=4.428factor=4.687zXZִF! \e]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6u <./?lՏ8ǥb]LʣMDSg !@ uOV+?Gxu= Q׌mH쮞3oX>3jGͭ/mZ0-qE|LҟIӧG^7rÃ.DU[ҕA7D+o-ٛM瞭7sa %2Q3k+:c Em?%+f( "1)+#K1sҕ>H0"S*@ 59<?Z*USvTpH@/UX2ohup>:J8g-3!.oe9OQ &`S*BMt&[>]GYvB@T{:إl_5VϘsngB.NhɈI4mdB4At'0wi GK}7;`haex ۬8YVy vhVvYIߓ,=\ğf.>> @`{.z:K\zp]N%Jwjgy1j&uKoC Sب]Y5CiT)ȷ) `T³ŲKf/*3*T &+JЛ艋V-O-^NZ4AtCZ[,:@Ұkd;$o 1B4?|-&!u9uY6B};o6dmTEH, H' 7B6A4Fyf\<Ħg9jG_wEt7g6,W(*9xkq̥k &/Iq7ÝF^+6׋j>fq_>TF*w9Oy<pkab7 Ut &p'8pFEq%-AR>k`WjT |;Ҙ4A^v.nWWw/hVL"jGfk^]a*f)>2d{G"929#IMVN'Dbޠz;l2,EbCPo7L;n0_?鉐? pqaa%v4H$DnѮP㵴.=d-X#z~ JDzI`:,W{υjO 4nIˌ G|lw}W |}$"1MB'=g ]9"%P#5dM[ O6g!hgǞ  ٌo R's1՗%~69w?΁4?0sb bˍk,uoAFΔ)ds^i:R0%UI@#=)^j?-P$cll3fJLqJ_g=&S wJd<2nT#Ds#6Ogs0'Әx୛}jltv_0jFk%REIw@5dm%19=.O$ơOrn^~oUz/[[yfJH|cl(2 啲b_4_rIew dnc̠':TGQ`Uj_aW&f߇xm5m{%gH4бgYZ7zXZִF! 3]ŗXiɟ1 5 HOL-Complex_Analysis  p 3]O+EATWKcsn)Xn϶u ;,s4<0Q !$e1漢/J= > QOjr76/ۋ~rk$#j&P>㱽b'!hڹOH mrX$@- De/t8s- gQwVɎ9_![|ŨԴ6J|7lxұgYZ7zXZִF! ]ŗXi%I8/E^,U3Nfϒ3iE@z%pA4gRvܸE;rMv{`DOBAj4Ay=Tdȸ ̸?w|nQ&ߐ:.|u{Ati-~wo_|ȴsOPXs :nt綧Im=4<ֶ\ɭ)I閃)ۮZ|ŤPr?4]Һ@p'zo"!-KO 61iaϣJMJHsQG'mu&!r\MqI(xC< "f?Pd#iBڒwXH9E/uOH}mql%S-D2V}d盉lGƸ?Z!qW~k`?mp|`D߁yxᱯG) l뼸b_WoliWK6A"J#adjbG>,bx?K r0( lNmx.u 0|"08f~K9e;vmGU1ۍ+t%Pu_{ksnY%3ɤ t![Ny ÔNj4b61Qْ;.$^X ӏ%e3Le4eiS8b~ꤗdy؀XNVM$hMvܻ5DKgr\\ qm{Z4}aM+9鵟uIt ZQ|!ߙW+<W"pJ#v,e:p>e@.2b(n> nCGcWp:$(9_4Ԙzi'T]BҞ _z+c}Ǧ4E|)\ W #S$;De)<V7u>9jhCuP-#Rq>oOG^agq疯`qO\0> .G;WfaMɑgK䄙,d߻*MSrو.JLм Z ?Yj;::qHMdju +}E:%P@V=r5%x4*aV'V: 9BSh' ʋNG=[ c^i863r޴HD]-6MfʎX1D#JuGm-*@I ?/ eMRO9]!EwT*vVB˒CF~M{%kWG?n-V [bώ+)(G!37?~׸5A )w9G5dv#5֫f%'߯WNjfU]^ܕ?[c!\FږGGCUEbJ(IO,eh>T펯16:F 7UXMg~<^uH:XME8"ڐnlq Qgs#= VQ 5mX|B":n&- [CGTPy;#&7)XѫidxRx¢) =ؚAV> ?a| J){LMj[3L/QZzn<V]yۊ@~TBhF &cycl~~`_n-* }o9Pkх2t%}DSAl)k*Xdߓ2$x./$LƬΑ-8/Zo3N*ӡ/k:2qp0i~ n&6ɟ/̓VUSYT<-|AcBZ ^S޿u=K8 tQ.Y|_< -Eht.PBUTb7H[)c#SH)l[&|șY<]|]X$\΋p2WY%87cOXIA,&Cgg7"?S7my