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 YY5Dt ] HOL-Complex_Analysis:threads=6elapsed=34.266cpu=160.604gc=4.756factor=4.697zXZִF! _=]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6b<1Q-ki%ӄLB/X{ODpIR,M=lp:r[?Խ>]$Rx5p2ǽ;+ *D`5^>Ab42OTƺи_p,EZI}d`5w\wR[sK4uy=];D\˭)(͇U$zgj ,O\ N7H= qk#"lEbL4% `ŒhW {i6Dl@|92Hmԫ(ytz~{JOgu$躬>GF I .L` ސdm^ iO0UH ;+^{ 8\^I d'Ka[0u3M)E"n#eog[WwVK=>~MPS^4=^nn2 ZiMZ۷WWbVG8E -38)Jrb ,TG ItOL/?Lw~" x~-bD|t8P)2`~rd$P/2 d6SG06Y <Nڻ޴lV:L2[ȼ< 5Yt w# QkM?Cgx~m2NdxGM;8l-9QA$sJ6gW Ɍm'k$?FK3E7+V+ܷ B$UpEY #'9$@?\~ |KY}㈠xmF>Σ2l0 sQ5ou ҌW䦕[5-yԴ[JY \%jmp޿jy?Xo+^nP[ER*C@WvpV۶n6tA;`5AjJ59Xbnnl= UpMn ^<.gzZz]/@#J"jvvB I6ӨZ4q㿪abY!w&;CRфy3N4EW2Yvg(ju$Et;U46n8T/Gxb'Ci_Ub JB/Qapj!2 {߇t[?A ż\ PRn$nޟ5)"hDDbG+G!'av9gL#UߎS4T.A1VƸxzkά0JxTm56EXr7b6'cR )Vz<UH?r;Vuߩ(hl6kDԿYO_bgYZ7zXZִF! 1] 5 HOL-Complex_Analysis  ŗXiɟ1p 3]O+EATWKcsn)Xn϶u ;,s4<,kBy>cY-bY=D8/9Ama Agh{5|V{߷؇oJOnoޤB>3M- }KKfSLd׉lMmZmFM0+Bp]ӥ^.'_<7o-Tmy&3n(luZ|i-(ox*Bp· SQ#ui "uu:^ރpA'oɧ.G<ͰgYZ7zXZִF! ]ŗXi%GA!Z1 P)HپABk՗EZ5Nh >76Vq%ѻ'OZP`OlƆ§$E, ],Lf.>a8U[@쵍._8#>Prm~ļŴ.5١_Ȯj<7W^6/ޑOI7d ZI Ŝdc1 #plSfa>:z;z\ k.Z6ܨW=BaAciin9B@ B.@HĜ "l^S_ͧ)05Y`1C{ qb@wrǨ8 uT)=Appu@a '='?V7.RQ_~+JM鸏\!s;{+ ]UWwiEhx0>ϭ=t.|W>zu7}-ߨ@s.:='5XB +W;"L vm~f(S"wv!"PXH_߰굺cN?Ȏ2]JZlD['#Za`7m Z';1flrkUc٨z̭6=}*GV.KH|TQT{ d6<w0ȳ:5ZvDͪ(̛<"Lo:EE߯eWimCZe 0 p~BI/IEQ~tz[m;',(63oa{fZCN^Y[TIS`U5Gt5"$mBM٧|F[RKbnk? Κ fDM8phd7DK̔a9d\+D{}p1?~LwIJק:h7UWN Dbe"c[{qőn| ŏ9#(\Rp8A}gҝpChUR 7,v:7@Y(> bFaanHCCאּȵ"z ҁgz-- yuD*jn(VUoW2> 2M#.'wEgqo(G'gP*Ibvn ɸ{ݴJ(N&M_t 4)aQJ/;+LС;,J{m;=oNBc#Ӈ=#T?ɴqE%MnvcYE+SxEpdE>0N/݉2.GU[^zH/o?ȀcSm*ЮCxRn+]N>]ܚs<{J?gO P]R_ o|ZZ</5W}<Å~]ЉH .Zp^BQFM&ӞMr;^qmSKG "0*ZK-Izne^nrv$)ڻk4k8ZhLb.(#.sFOa_Y b6U[5fp/?e;ymDU}܌%7LЙ0squiE0&nȜi ȏie4p..4Ƅv4#(% 5+%rɣQfoF= 7CC{JfBs0V//ˈ#[^2pNݦڲDnƃ#9RFCHElq?{HJ'_5KEC[I#.]=/dl75.JeVU1n .)aٰl>!ݽ_?,Sć&5z֏. Dia?\v)hưT/X*r݋*o $%q$`bcQ#:|x*9Hx YgBzYi&x"h2ck XŸY9UsF3 dz}ɐ31>@>Na whw, d u#J`2}z<P ZD)w`h{KGH|QVEYjn}]le ;DNʄ5T(FbA<}{[Y~O?H[MҔʍv:`+?%vCt%sgRzOkө'=tR-Eb+h](_~$<FG!pv72qWWPqiɦȨǏ>:ƛGZyq)ӕ$$MlCrL=#!ц` LSRe(Uc3ej &@냊?Rc8! ʋG´GM`.x$ԋ# Evt(+.g胗pd_ǧ)u|*4m PjslL#.f[-w1T̝Jc{T݀R1mggT؝!?h%7#ʆN@bo|١"Йe5:Kބ-" 1"sNo}_-]KLXs4{х'_w=39sǬ·2U?]Il/AD( n 뭠1,QMm{bcco U[C}t. 7R/sP߰`J9q/M 9y(5=ӄ_Bn>m@!}N}FA`Tz\X!? wmIK2zH]-}㦸jJK Ez %%JB[6}= 7IyB %uo)ׯRU5$94.uV8\Kf,+*piWeEy j~'A.[)fq\O.2 ewKͦ_P} _ҁ H_2,&mA6YM$Π{ރ xnrgYZ9617c995509b5bf6a431e77dff509c0140911a1ff3ea5aa2f8d11857b657c5935b7de4dc91bd7467 17fecb4a5a4b0fbde672e754c2951e16217e6fc4 cbd7da78c98dfabf5ded70e838945ffe95955796