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 W5v t\ ] HOL-Complex_Analysis:threads=6elapsed=36.008cpu=168.016gc=4.5967zXZִF! dG?]ŗXiɟH)0!h]_{z ݏ!'Ǝ4 ("H~˟#υ6S6OqAQmoQT3-a'pYnc&|[F7p߀n]5=16x0SI$hRH6ZNm HDRk!ݷ2 nDp"Q.Y+" :?o^$e &L.8uD6 ˸YƧ>{fq΃&vΐ 8!q-e>mV@ }G \&ZDiRq}] gdPK͠~@s*wNuhNNW <08l= nTKs{QI8%6>2@= =qaS\"GQaPLȭX4oU(OܐǸoAի۴N<'k叅+V F)O.+b {alˢV? 3O5`[b A޻J_!~r.{`FD׽9>osnC+45^L>;uq~tΗ,S MyX e)̍mAxY;uy=;a+]8x)A _Շz TA-dWp:n 68q]h'Yă|*5;ƽ-n5Nh\f+؜ XVocߺѿZx5$ S):uE. vJִE^V\43Џ4Mg)0CS{;ndPI`?]v@ Կ]jr a+=#،)o5nUĚeAsshL{$'(_ *M؁QI?YITnc%9ci_#Ɓ?}v1&%KHGc%qh]Yj0Hb"%%KMjPqJbg!BB NèSIWH#ys;ce: LPP4['hyy%)ĘL %<mEx fU/?:a ]ɎDSJ-6Z>B\5\W=̮LTs~^dEյ( 7^|9Y6uu!S*d?kQ v2В׹0DW6PUJ\dr}>ΈdߚUPZ~H:vV7/%֖C ͛ەbMzW @. X5&~u-HBj *ဨ`1@ O ӄ"ޭ-:G!\^]N @E|C |5ZC{G5h15|*DC&wΑR26lj')9 l~q=?ޟ]_7PJu&cO؍ywJm|ό䅨Z78/XH6~@X)qGQ:Wlڂ2~} ˼y"mL2Z1C2Sc○I0Q"0J18۩SE6d|{T Y7s0uч;½<]ݴD|4e@r/: "GCI#3HxJsHɽSIzb ``V= !ݩJd.C6~+zNt]nmF=#gN|&`>E |)>CpI᲋NzxN-T .P%Y* k2gE8ua`GqKѴG  `eԓXx]}+S1G)c i/=&;{q\X'!е T2b9"4 %TҞ[3-G;u1 'Y 3j5Gj9(fLR]ށ2c(^gYZ7zXZִF! 2]ŗXiɟ1p 3]O+EATWKcsn)Xn϶u ;,s4mFYz!6p\J<:?cYV ϞFҊ/h&("( e06Ubp/ζjaS`,>) & [ڔ\[3n|`j 5 HOL-Complex_Analysis  ⻰9<|9]# 믛] =/>;~cb> N^eEJ]-F3ǩPhC8H=Tm6 Gq#@:nRQœ`7p34+cyNx})b<30ϡnF|K=Jn\9hOFE&d.Q<ɾ^RI~=Fy:8}DY8gU,[YE&NhE. Z.R5}ԟ$ 4'V<wrZPF D*~n&zb bt1jl}هWfpB/Є5UA%AW+q =Ex{4n7J^"]!G kFl xj8j^yDi"4u<IIzU;t+'V"I@^m;GPwrk:>Yٓ$]/4Y #B8UuQ) BRdkE{E%yȡVLU3N DPQ ]{\ 4֦XJ//.h! I/&̟h ,RB0C}=Bؑ{P&ܗ. bu{϶AHR7AAgʐfU mLsӍg>^֔kٚFy0(_60QIp"hm9cR-+̼Z7E(- 2φaNzapa^矴,_lѰ`*Mٵ]_$|πu\П#{^4O-hVZ Ѐ$Τg5+'RC(ug7UN]3&p*M漭/e_ԂުU>10~@YXbGfɉ}X%w%N?P7 ~2%ﯓ&_Z;6Iڂ$qsWb]{dVOM|$-?fϐP1/Eb)9ݮp&1ķu3 9dJfuai%28|-)ڶDMvŲw qCUl:8n tfqwuQ;|3u.z9&`aºĜAk6 7PP_#h_{F&9J6@l쯢xZ?*!y0"05{#yXV( fb+t$z0{sjHּ'x2, KK+\ ` 3(MJNܰ1#V>'O~=1˦[g9+E(0~υ5$ bhtk(y|gq`c Klvx6o)s ϖS90Yz0<)CI E^qfTlDh"RoOZHGV9IRr)aCuvYHK~aĤaF+sW.c/Ggr{@Xr_Z;d~JH{Tc=6搇q)W@TJyw"Ȑu+I4-&wMDVMWG<;$C훤5ZR#ˢBdJƁUT;}+:f0 Ejo=b>~Z E8ÜAo)jBA@I%0ƽQtw<Hh<|<ڐt z2(+ 9+,B?HbJͽ/vۂ*\Le]xWzpU~SK\1IEڝϜmfOrEt7{Rpr ?~;Žԏ*Z|r&;?> nMϘ1^ gM?ENb ̯abi.9Dh؁sM$DJ/-G,7;!P欱gYZfb9f5b431e4dcbc7108ba5deb780c63588c54a3d2378b0ecfe5f199d8fe42ea5ccea70a2a20923a3 229a1d829501cf0a740156509d19e43499ab4bef 41bb92a1b1b96df07dcbbae15ea47b49d1c15c7f