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 ]]5ltd ] HOL-Complex_Analysis:threads=6elapsed=35.476cpu=165.536gc=5.164factor=4.677zXZִF! dM-]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6d˵E;0_!7=3WY59Jd{ h:_윻>nS᧬'ϋ]"Q{\ڹtR+6(߶ ΁=#uTD]=J =v=35-}:hFǕg5eWi>6w.uZ>kbd!~$8w.$ly1y Hg@4վ{c!S?fcN}]e"DTHq^H"Vct%@vhywwI43w3\ZκoTW ˫S2@چ1xqj̩*p1o\tl`LQ!Ô͐/9ˤ'?>njpCow SU'9ӓ/&'֌SIgo,w|N/uX]ǺtiqzwrU3GS(SƖ1]S*I s ̦355(IL:nsNlD K(L|~yGy57HwS YU0m.mҷ&kQ^+] gST#Wi)֬P^B$Q-HZ1])YÒ ]Z{%[b1XBP;,{e]i`>Ԛ _{(OK'߁#;Q'oVǑJ"0LW϶?a$dlS6&R!\bih]mkpTVh4-]e큈4A|xZoFl[P4BxW a&1?p} mtUa݂}h<-a~.3G^oMQc))k/2-<`ٕ%6hser:IlH/{Y Ձ,o)saǡ<?driNw d#g(A VB9^$"Ď^mTk P#IͷOyҸnJ9Q٦}c}"tDT^_ R^!E6S+b&klKC.ؐ*5'ԷԆ*?Y:_XR>*E[vo!븝}$N|sZDb7?-BMs(Zͼ+JM d/`Ҡ7X ="U涣! : (C0a(DCj :>b0{%5%NS.&*Ǵܬ-yIܱS*\ ^k-6d׫Y}w{ߟ?@˸LjE ͧˢ cYX'D9-`!JOKq,'PWf 4ږ۰9t&+*Q&;vG{rpLҫYQ%ᕩ(19L0~X7V0. Bra~?UG}o*z]ϬK'W6h~دgz癇A~\g,.NreR:oϱ8iJFz:l%:@Xȿ8[ZR-qSU [+,Oփ[PcggYZ7zXZִF! 1]ŗXiɟ1p 3]O+EATWKcsn)Xn϶u ;,s42k?~߶7 5 HOL-Complex_Analysis  ߬򚜛|C]et~gNIT˯aY+^ky:=y%fw] 3-_&tZj{&?8NWΓ긲ʶ ps.inȣ?f !{'ȨG͕<ͰgYZ7zXZִF! Fl]ŗXi%J 7S}]vhxj4wkJ2!zotɝ [B__(>Q\[l ʢC|T LYU@(1`dפ0ɒW YBӚ1DcMjXC1$*Xh oj=W=I @( ,ek['~=`:DڛZ/Ҩj0U~+wRc3wkw/K1޹LGh qF0/Ma"Oo}C0O6_^sy.FCw< B1K' ͂9  )$8&)f]}E7AiMC0z#hq_݀cFj71VGcՒ VV0bՓ8vWpaK¹qts:RFt%'9@:礍]u!8wW8P7n^T>1D[3y!o+zNAGa7:]_7v.vy3ӐWtg.Q=fQ4L~=PxVUYV }r 7tg7{幬Iy7NȕPEM}Z\ rbqD%tWa7gtwo hcnOdL.^nf_0ǯ'jɕoE.OU P? #KL$?(CP vS΁YԜm6 CTq #ܐBh(b{vݶ sT@NH2#5.^y*:L)GBbT:r@x.IUA"g#:jw! s ˻Ԇ, 4VdF*F\2ĕ+&|G}U@xaAg02dwta8Qa8zx{9%$4LRD9AǨP9># Nٖp3`7'Q\UE(kuM,<|=ShUBbb}Bey9ޚPOLJ짅7I6upWD-˸6AR)ŗRGǬp x֗kC7i<;Z V N F t2uziL#H,vP8ɆjߦT}M] d|d{<6MRͣ'Di,V_JQ9pēihC%֊4} Yc. S^4_ӥ 48ΣO2HaA yQk#2֭r<=:}W@#VMX<[3vzWT5vFjYU1X9}ټq^m؝N5Opd0O]w]ɕLK[ŞFx $ve DF4;WEX@PW7};h-\ ) MK<,myu=kAu(bvѢVO~;NT2&CU&mtf_lAWqQx)Tf r۫( QUufDղ|EӖ|0we;h=uuʧ_B3E)Fg5v(/,\:Q̢y0?P} ΅_DwsC.!IÑ\@5T#D+B>pR.#3< X(JּQQ}> xB5 MKoгƹ5OW㎁BGd}2&,0KN-%1^ L?d*d?3Zi2]״UA@Xyfv6`Zlc`O;긫 YrP 3Mz|`ǐ,bgYZ2eee6e0f1bcccf71133cbbb645e47cf4315854c8d2241105d59f024a1ed91dd402ce7df32b8647fc 03456ed43f3268cce21b507c83b43956efbf99ef a1f7a1048a566457a990a10c7f41234ea373e8a1