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 EE05\t$ ] HOL-Complex_Analysis:threads=6elapsed=34.372cpu=159.436gc=4.328factor=4.647zXZִF! `]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6/NdF};~ NI']v,hNYbznG=cH鳡\#pn D/_hfgF\3H4 'ˤTV)#~ ર2ZK/<"H*AK_v)ʧ# lbrVqG;3ZFϷ2,y"O`QZ Sn+T|wh볧x.da`K'7}5Hr8㰙zxD.!34OV5%BDcj"^l ohf_H@0oۨ0vK(, *GGUw1'ڀ=YJ&=xU, 2bʰsNҟ,kLqA  mUȐNt-NW%;4P9I 5xYM>exPDc[c/ 7ruJp?>K磅r;#̶݀\Fi+I7:^><&@%W\a?9k2v\l*sw%y~>|n]#G/L@puk28E$Ē7{3K4 Fz1OX4D39Da+I[4Q71Tucõq؉4 lP( q$P`qe+I _򘖄Bw n5,RcɦAz3Jm;}+mv>phrqs3Nl*oItVoW;y~cjzW3gyL &ˍۻ]o$V1JPV;^\XMp7Ddro>S*7u9:` K#'Y(WF=yȤ+ìH&0qeY2=mMs$8%;mg1KHl?2餅)j8kɢ~ [+!k.CFMhEG1ҧ$1T5v| u!x5 E $g3F:8r $.gx $5i ݰU߾qMw>#[n7}b)J<GN._ic<@M}}LaLO~ur26̗$'oVjpAry䳧+ExX~:KЄF՜jS*TkA*rt%P@u{G2XF5vw[;̙zbMCj|**34>}a-8ϙ569xcfSʡrv*&= qkXDqQP S; ܑ gYZ7zXZִF! 1]ŗX 5 HOL-Complex_Analysis  iɟ1p 3]O+EATWKcsn)Xn϶u ;,s4< U΁8rUp/y^Vӈ-0ՌRqP;ƦFk9w Vj[VƿffKbk5֩Ɖ8!cJK;0!. _qɸ:ՠn.V I/u=}4zucnZ,l Fq4XZL  ]`^TeJ + =wjBfE5(h|f0@xUDKuL)]9tǕB|8m?aǽDWETrTpld쪞W )ruvO!(\`cyf}i:8͉I @e&q2$)wutl)*Z/p pNF~_\b#CS/)8Gc:k!L"UOns0]Jg{NE2e<1~D=Sk1+CrXcjuxeP8!֓~MK ̠?=]+r'+Tc2 v/O~eN;PN:^)peڂ˘9UtǟP9%P7kPdƬhO mɑ  VbCj{p}qDr~{{`_ m?a$;._1H'7 ͅmWy?:KR܂ ,c^mwnAV?>z+ӿuMG|b@N\ԘCQ10cΰDy7)U1Xf9"P / H\P8>a90֚%10MW 8u RW=׆$mD,3*t {,TY%4>hAx:O|/ՒrLZ#oNlvM(8H>#(R8ko>xݢIn *& C|h+YOSMo ޛXjvx}BPYcQXfnMfcm &te#p.8N3=$1[jԒpXKw] [8Z8\Tj10cˮ`+ tԑa~P4us8p^lk&c5ɔk|f60tb)op=WDz~wr=e0FEMO.jz" {)>?# (©G-cvԾl 3HXRo`CX9Dhms3o0:K#\bB+="_x,L]!b.!nm|MXHB[ ٟ]y՗!oV_#XCIk@ဝQkG >Bw[,슩,nWXx; z9[3X:6ʹ&bw<Ԍ~Z ̏O}rD5IAW+Ce߾\ <6ײfCN'm2&ZQ+D F'FP~N"&QE" S~xhv[HFbJ Q%a86pR:ir#bq& v6ZO8dgm31,{1HQse"dT +dRa1İpb\4(cis/$SV0Jn x%dPXL4rnsYJpa$O8nnj+ѥ Bަ'Xfg>!nJ=2\vFN9S-[ՙO;sa V!M +ppc<!ArlN@ 3#  fʓ*|{ӤwI%U4Q&zȞAQ';{K_)Q ѐyAKVP*Z10R+.TxyYVc%5qZCPphbI2cNniB$r1JZ{9:c Kp{$PoȊXٔurbO% 9 LHhIw}:+:O~xC= >*FB,=69uEONe9R+LcP)DE{d_}/bJ /TgK{ꤘs8RuVɄ׿w]bȳ C%]/ WB FKyq\2>ZQ,dyLf@9RdˑX?`98H HvM&h!UquȓVޫT+h~E~\O]}m,;զ~7cՂUUs4GR;82Ф`nA\(쇘676/'WhfSGBcp2oh?XE˚8 l3r-:@<(!tUVuMG 3I6EOI3x?~ 9pC%1[B㚋yѳwgs ҡ3gYZ93eef745b7def229f9eae57d538fc0af61c19b2283cc805694bc9911202d3d5491fa3857d91ca92e 1267aff52d0486a39f53972086158f862dd66e5f 2ec641af83b0d11d8d903ee7b2351f52989df763