SQLite format 3@ .0:  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 99<5|>= ^\pے(E$xBfTympq) tඌ.o;(L|FMFPD2m A. mxK0;D8D~!/ʦ;=Y4\T̏ ™m~Li NT"3`Ny7CR nHR IVD )P݁IY^S5cBŶY/d:wn/B q[#P|r[H?(4|StE]+SgM&'ԼE>U&YdGkmضV?y*~6Brn|AD |??3vxdґ'62؃Vm5dzZ *b_I;>زZ%8c>3 Gޱ_^Rx9sqȮQ(Hsv&oW~N`0P%ԓ/X`zsPF'Rcܫ$~վs(v7]̙ȟ!L싅([uR%glۦn]G)x}/сP8>Ǵ'$=3P}2X:?d 5 HOL-Complex_Analysis   | 2 amiq!#L<13 z<+0|-ն0 9d$S"[H=!ˢQx{*S\d3HHa9mIfVיa"t-E1h,ߟ. (1epYD3m2DWֵxskrbYv+M5v:%82kbϟ98e owo&/Fzu ɻ{rg3 yRnɡtnKsC2jzϸ(=FV [m ?]u:''t#bt%-{3L{#K.* "ʇ1Nqo85gކO27-@{ʅw2In{oURzʠ~|L~.bFBxt ߁۞Ew!}+KuOWr܌=|.nohNӋ|> +S62a6 /MۗVP{@ OM{|qH{G?tj&ҦfAoM;c@<6Ll㑁_S5Ddl>01Ɓ+ M aYajI]Mv9Wh5 U+FܖO+%F#Ptu<uCdq(;?|jӗ.mU(&خW(&Kߞ?N5ķIi4~86crH.!h\OTD ɡTI49H2x^$* .0$ v 6mIաmp!{Oz|:J,BZJ(ҟICAw{B.HPU|wZqia>,LĝS{2|5kwcV7iw[%NTHbm7%!c.? .t[Zv{`iŴ.|Vz I;+# 1XԐ5DRJBGcyCPp?CˢT羣Kq94BIa(W/FxLn̽l2ꕅ֣ilւt5_x3ɺ[c #b4β ΂)u9Bܤ,.(˺VISNt <;oCA&W3z&I4{ש% lI"Ү`7?q``L.@Q't̉ k ^(znX&Mw)Ɵkqph1R [ɠdm'>sEmE]zY:\+Obt=(#!OxVi)-?O2 USSr\!z?Du5X$S幵g(I kt~.p7T`d@Q֢I+4/ŲiĚ RPF Ńkg 0Tm8_d[5R $64usr8.phZ+t*`,ݷ(s+Aɞjc||{Dv#EgPY_ޯ՝n_M{ T#͙> 7(NO<֥Gk׾M"\-E ~Y[M:D>83읟7S+V-FMA1er|FPfJ8kLvZ%=u>&/ `ِ/<\6Nur,)`HQvEVNuS9jFw 3s( XTQYz~e~vtW\RIr?YI'2D8#2h,޺8Fjm+p9 ;%rSQ3@Ɯ#IBTK158οeoM GkZƃT$kAy4GCv,($i4v.b<~@G}rc$aq̚M H>>,8܈22;(6!h}uENhm^v{)op]*jo|r\Y@017./>ŤV)M{. ?@b 7|ώy,@kkv 9jHPh! QLN5c hS9I˜)M?;Xt%vH:t;7u6 8`HrXGu!k,yan=QgjщP<ǧ-i J:M?J1q'vE;hSl~Ux;l&[| 8(RC`Tv׳MAc Jgvb\oЍp&8 :bV `".6c2J|;Y; Z%QC 0n-_vq/ױۡƦJy&07Z͖>ɁY\!0]4M3;]nHe^%`A`\KCRUEW;) ; oF 7=  hJmw =: T)@QɪgYZbbb392aa9936e3ab34503b52b73456296502a4122c82039eb3757b51a1431a9f137ac66d6aba80c0 3c598196b8edb81762927ef1907cc30b56624032 6180adc37e2856715290f4279001515cae6992f4