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 \5d|l ] HOL-Complex_Analysis:threads=6elapsed=34.587cpu=162.536gc=5.124factor=4.707zXZִF! b,]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6<@<3_i5X{ae.i<ɗ{;wЬ!ŏhؙ47mb\-.S]zp8%!KXD4j0*PS PJU恵6{gM \D@ @^iygp4 K};'ҖƎ:`7=)/5#xj\%ݡUZOҊ#>Zi.u;V W—H6ߔM/ FO F,sU]0 $ 9Y!j'ęϑ~&+ׇm^lo.8+T )xKR[sRe*FIOs S3(t};P4L!z~XУ(dZÄ6gQIZ9W1kWl)r(X/SCL ,&Tw)V^7T)Ր9lKpO1w 9 䯺%,Z5"4b2r[8˘|e %̑&7.WD6m7b/p'^t)_beR?"ԖSi* 1n1VUpk퀁## AY?L*ǣ0g4kbGumu/9c"ACm4"q{wx}J*4fm*V툂jģ僯jUIRGY4 HU`lۂ\ u항D(5Ï% }9jnϊU"02tUEݕhڛНlpta`ٴF.pqۃ[gDǥAL0ƔqKgUBb̐TuVyUC FT;v=(c8w:|bS-!S0-3r{\uAY-Q@61Ъ#)(BG&mF~€Ge#y-@GZG$miou}9aT* ?7k[߯|=QBpEd5c%M4A~S*sK0μ`M.fP Usڤ6Y0k  Ħ%gYZ7zXZִF! 7]ŗXiɟ1p 3]O+EATWKcsn)Xn϶u ;,s4< Rik܎2~&$t 2VV+.@ z3 5 HOL-Complex_Analysis  ^c2 e0q3cX;mGEJ&IH:500{Yf98q0°m_nTh2 )i-%Ȇk +'{0հrkDI[ 9{Q}oI;_tP9V1HXUx{v]yfHy_"[e˝[҄k錈gJpfE@0̳CnG+UzdNR#cpǀ}4 t"!S;x3(JɰLChlBU8Ft9[X4E'pBճi]t9)iC 0J&#e&weT/[S%EEʁo]%hVB (D3lG`2ưeA@8VfϺ/IAԵN}"6U{3\<^AqFy\1R'3s(׻"AĉYeKRy|i#JYmXvG "Vٴ[]E:RFXh5um|A:#CD*Gw`r,PLV+eBOWdI(>ZjͺnoV(AAO&>0O*tx(28ѩQ<^}|Bז4ݲ}BvJv2X6|X5Nį>͆6EgO;̰߳ ^H޾|2Np$UHc1MRP~6qAa}L,8QBОһeK߃{pz$0KVgcˁٽ (!,fEqMcT.c$ (WA{ioq $g"*2' #\er;,5{nhvѸDH)kJ|ÄZ&S{TD]ܷ0.C.~1x* $3!$dT7m>"l%<{`׎D ǮMuʎg(!'2c0i F3XӴFG ЈS eE=Ż;bx0? LAL9n@BO\岊+i(U ɑLRgb͈ɢ{ sP;4qPaנVֹԱqF~Ck).O?y;^v`(CIddz vZw;H-$[|KUiz΀5 |0љAw̉j;0RAI:V8cW E@T]^[[U]B@%65Gǟ{I<y箐@bĒ ^}&0uY V!.3!~/ /*^5n7N9fj+FWHq$FlGA-4>v˾ߕ (A0W+-RGyAL&L*љ<A\u~|{zU蕣"*W@jlOJP|Mz_l-ߥ/ VD\12Jϵxn_O~/ᘏ>1{1>*ג?,Z~[,&vTau׎pJ~,q_@w-PzyjL86m!&*O-y[ҿD<-@gű<%+iX> _W9#)Q@sGWt=Ex@A=.8}գ8-xnq0'u 3Ahf5 $5`7B|6xLV7qk͘QWo^B4?cjZIn|0YShNy~|DtìrVu-JV(L}- ,:$S\c:T2;J;fpg͒xRϿDҺɥ9mq-gR/{5@[UY|ߡaiQM=>ੴُr TO!,hw1[يXχݯ,s=a;cW˿kWQ2r !cu 8oHePf$g|gE89$`chGG:.gzLJ`|4oyUj\0Wn1%ڷd <@'0by܅FKp<6q R f1"=mĪy$2YgxEmc: =Mj;`1ȱUR^dkBH^Sցy* ð@A ;`I4B p@sLW.jAMgYZd521476a102a443d82762c5b9c22bd8593c1f10ac5db3dab9e6bfb790b454ae78a070e672f73382d 0419e68326a7717df44289dfaee028b00cf0bb57 bd12786f0cece603676eb4f30601db3691b63dc6