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 11D5Lld ] HOL-Complex_Analysis:threads=6elapsed=35.101cpu=162.380gc=4.092factor=4.637zXZִF! ]]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY629 T4qc9M3P9BRᅈx Wd_p.n%l7B J ЮX ֧I^|+Pcn[PiY[pE7B>M:ҥP ~ ɟ(ls~;G-~ Y$T$X٘T|4?Z`({+߬Moܽ+ D`b[%%1|uDr)U> s2\Y/Q( wCT#,UasfY4FZKvK>x稷nh&mg~fk'8(|~IvSAZ%qcȳc'w2HXG&/PL̝C<3#/iM)(⧚fkܸ3SP<'G֟_jP-wy>fHYH7-/4{?ʏ.Ipͥ)M2LLr" q{NXBe=lrb}s8KE; $7s^ ϟM#{7zTtء)U=ՉCO1uʡ8*fp1]^L%xP@dxnWkM4KNhɃ逖y_݊|)"Qw @I rjyO:IǭKtΛ8JΉCj8jʕ|ܔ\X7S&5fMK=`m@ғWg?pS(~76!_ԵacQ.s_x-Gqk#~&'jw++ d\ CUZ9NY Z]gvX ͸X2DoPZ[ZJ z֙h%_o+ ;Dz 0 ˸O mUOazE0w\4qͿߙ+"向[4)us[Q!P˛E^"V-N-3BC95 u^d׍$9œz$X\kTd;gDYsp]igSZ퀹מ2L&z\MX>G6%f>hEi0/߼dos<.90JAn Y,(R<#3t)2UMƊƌC;7p5A9ͦ8]b oM1aI3[}?\s"Yqic;MZ}Wf1T:JaXB̥Aej-ŭl4R6wBwf!7MO;wL#V(IMuznKckWG YsWGl1/֔o+OO^[妛>ґ]5 ,J#z蛮 mze" ^ Y2'(aG 8 Y;( ||MjAry:ʵV4k]VQ SyhMD gYZ7zXZִF! .]ŗXiɟ1p 3]O+EATWKcsn)Xn϶u ;,s4< RMqmy$u߬ɍmunЈӜ 5 HOL-Complex_Analysis  MoJ%ۻiF-AGVؓ 3+YᲯ}ђ)M;$Jy sEX}0`Y$^JQUk(?޻G.TQJ{Ք !9Ƿ?8TaLf+l'{c34=LnMhP̱a Cbb[IǃԎޙ6 oPۛ@e:jyؒ6bۜ 3&z<3# qz0+Mټd"6SCömaN!5|RC@͌`(F-uqpP(&A~^gFKMc'%RW0ݹ:ӣ=) 34d۹]Yh08&٫YKH\--x_ژJȼaW5eHi]r\@%- ;Wƿ ;A+2ML)LۭGOIE^N@}{s =>\Xx`NJJyߟG 4CreX,$8$R;9Qiy2Ƽ3WlugD)@8׎NYSd 6^5s,u}^Uphѵ?M(xZ %-ǢmfRxi Myy"̖'r.Hx$y#jۇh_ݚ]g mt-)O Y_5β_/NF[]y"Pfŗxcb0'0+z$i4]R>Ra=usN\=Cgu@շgoAh91Ms!r3X+¨$@Y4=V{?ƻ5H wWaq(<>ʑx Ú';xUƎɭyRBgw|ͦ#1Uy[Oؽ/aTLXiˍXF{BA!0m?:~o]X6x5n]Y]Q<;@D*]H>&Fl$9+900"2?v /#MdjmYHd3}h/$ۼ,nLėަA#~nϵnzM6^!i,Q3wa5&F;+ĈS#fR: C*;!b8#? MyLỎuèf*;<;CWmA@DYAÓVd@bR*.. S[4Jz >д6XxFİk -aZ?/Eˑ,?@*xg:ؽe:DqI}^҅]9}{]AoW7۴CS@[8R+iv}9dS'cJS#zv^eews %1qU [ny\Hyhp`,J"0 GS˅RCV5ͬd i kl},ɨ?wATZmړUp͘%d`X8g&dytBbE5[mJ(g%3yŝ΋݄a:k0{1 if t,ڿ.ߋ ԫo4`;[rx% 0ǴӋ?X@~oð۝XĄ`'rfyZ[jHm]syE#`9O/[L̢57c *b$i0l Db_Egv@yC(VT[îzq(K[,>"v@"XyڈmYAMT5͡E9VK6ɉDD".VdL>+,e]8﮶pǢ9^>0GjƚqrY~:[/};.h +er Q:+ϹM=\.{2h4qI8E4*s/K*9v=݉k,طD/>U jnU%`_!B=Z0(6zQhv2X^.};R„ٍ૶"}Yf֩|QkkRF~}9 yM H("SޗAMc 6 Vr/3^K*S8 [2qâM"x@!hl.hAnR fcC\{<{e@YgYZ730340b960a6244230b795edea5212243292cade4062aa515595763ef834346739d8a019bcbe0e32 36830ebd27e0fcc54eae0ad103c1e5cf7358bd5d 37dba610e62fa04cd6b9bfb859ee03b537f212d6