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 qq5|t, ] HOL-Complex_Analysis:threads=6elapsed=34.633cpu=159.564gc=3.868factor=4.617zXZִF! ]]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_1ng^{3>/56W.x( OzGOۼ !a"Tc%/&,Ӭ(f0P[أvIHĔE3iRr=ZOc3Ey)$db<1.ks[[PyM'K#'"k732FU< n> RЉkuV:QdEeYD`V{c,M<wR&A)G6g ~ xRr1skLai>_*LҬv63Ku; D㒛a-pZ :o74(l"փE& Bor%=Z6+^?C~=TA_aow 쥮I~_b-S3B9>5fM:ِn䭾ڧ+P,D:+Kc3?@,$IBJJg1w \uS^bIθ( "&_4ϻ@(8U{v79ʟ|(nVfIKQi0o*i˷6.]1"[-/[]mꀀm)+X_34p%ArM}AEq_*MkS}b넩,Inf#X{"Zr"\gZ V$Xm!$`P)e`Y^5EjGؠUumIJ&4o"iyI>u` tRc}}mLkf֎=7 ~612wZ\K?%1M<%s*Kc[[ZWYӥjCaاg:Q2GvȭXF A? اiΣT?fk,7e*~F=]H{-/+XNDdY5Kս!.^z @0]z:OA*`ȑe;\JiXD]o|wm`$'vaE(x3 JiIx gYZ7zXZִF! 2]ŗXi 5 HOL-Complex_Analysis  1p 3]O+EATWKcsn)Xn϶u ;,s4<Ӕ|H>>iC-k0ٟ]K$vװyUL]g =^?/tg5.*~zan;@k:l-+VӹO!jz7d|ϑ deGr[͚U8BAS*r`#d{]&TI8HC>?Ѧ^V*=Cz >yi2eeup@f1󸺏dvp{Yvb$gYZ7zXZִF! ¾ ]ŗXi%Jz*]>sB'{$\T HZo= y%!=9e8 *Pn:K5LĹ|Jcڇ˸ń(Lj(8b̴JR-+GWBSbj=%04$_,jkK0U2 :4L}_Cۯ2rۅU ]yM%]h#Kq[+v[m׍,pCmQ}f\.1Op$$)hs&!NjZ}EXBBHZX@1r25sm+^n>N1];d7 jkM(Ym*{\T"NU3n->e6cXWKM]G4͸tlj,3T{g"H< DsΑ%6 [$6ý4ݶ•WWLsԤD{DSl yOzcP Ɣ\鸥±v VtK~߭a8R;d3ajX_tUǍ3Ku][Fjxbޫ=6vLEkkb[7S. =xrs‡Nt~^KNxhKlj|9;} /lc yhgxE]sdz[0/f]n*=_whw#8~u2DD\NarJ`)Jya>dLM uIPhԇ“v*rH_ k6ߜ(HYB8f,89G\{2Zm춐k0~4Qʍ^ݤd_hHqa܍(|Yf+8c')fV@Z80րPIQAA0pSnmnDrAICWklkbIϱϣڌeR>[8M$vk}@ //=L]PFpض9kKkL-(l=я!t>{4`ڤo9y~T#I?T/Q䢟X{,3 rGPW–IAReG>bojĹ*'܂˃ %Љy85 s#~Hk50+~.0_W%8u!Wl)gz+zDލ3<Z ^BѦ{g8c3$ ͐1NR.ˋ﹖ C0lxPʳ QhS}:`2Gs9ʴ>0⤴.NUҰ!ܷ~() 'tè/<8BngsKGBӿVo&j9 d%ApLM󄈵Ҋ3ztcA6K-ˌ[^$T Pb]륑#5'2=f۶`9f㷞`1v`9FF3F={C=Zcw~Hޭ$C9Y|қS'ۀ 0L[<~X5<'x ZfUk)3x}Đ@ܹ'E 3oO~of-%>G]ZKyv4-ط Y[I._:kdhT>b-k)R~3d~ {@t{r~҉ ]S16)i} P:,uǪŀf'8LC&̭ζ /(-(p9 e,`8j00J%.(\lYy)h:ڔ}ܗ@o]c0Llx[{Qu'-gID=e|fpu+kMu},s^Q:uLO`( f9wJpUq_֒\ kdW=tfИ!Ц24o?= 9-ƨ)׍tw7Zaы, 詵Az\MR`H5PtxW8Ha΅i"ҨPOЧ7`J}JZtiN)~?]apo ^O 8+\waB`N.+$HwlC$-/N<'@oITXe}9 :FeWM!Om+hyܰ%GĖ:$d^vÍ;0A r*2k=2M|UHɔ.n[9gbx3.[JTBEf51Wkelq<wOS_!F n%PDH_6j2&pΞxgYZ08bd42a38069c3de59637ddedace89ac655e235ed1779d2ddc889cb6287b2680129b97571dba74da 6b61682130070f87aca58ebeac1f36c985eef21f c647f3cf6cf1104e9f4229feea5c75b6c0ebf219