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 @5TlT ] HOL-Complex_Analysis:threads=6elapsed=33.483cpu=157.600gc=4.336factor=4.717zXZִF! \]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6<@<3_i5X'z,ԤV%_ Nν?*Ua-WC燑-^0&"tA A'X#Y7F6|~P}}Q1?ݓl93Dt(pȷee̵.uOa$};ӓ[޼:`<*[X/^4('d~ / r%hp Q\l9^ lGiEP"YB2-@QU?pTF $N1Y9\Y=gz5~5{cDzn誑8}21?ÝL㇝KƁF>b"BC(}|`ViAk~ӢЧYY:ے]z=k2az/u{bIN플@ NR F݂$ʰSMvO#`8>ݝ_KDzla*媫 hjь-#go@/k끾Cz@10$@ZD@fKLgf3dBztp@\@] _Ћ ;f"[C~T} z'4z5Nj BY Kj[1e>lx6vfpNnD˕$8 B%'RNjI+tNij^RL=\FE; e sRR'!QGQ7dSdz]'0 Q}Z*1e$CǸzC@R R@)ҁs>9O#ҫqr6zhYX):7{/w4LwN\t ʊe\Ү-TdShƱg 5 HOL-Complex_Analysis  YZ7zXZִF! .]ŗXiɟ1p 3]O+EATWKcsn)Xn϶u ;,s4< t΂)4$ӫ@+@(' ;1Z-}^&?lsa0 Jy\ذgYZ7zXZִF!  ]ŗXi%IST`nm/U'КK16gvfPX`<`02~ZzWrq\E4\ԖDSCz_r:h{KԚ{g zcJVL[rFIS?u5Ykqؼ8},o$f=ۿ,9AUtz񾷫>Vzu:NJ?7 3k9!qoCޝnBф/o*@?ͲC 2yqJ j=_p&>=/m#j r}lAV5󠩼^!ZLO,XU{ƷL iQe5ˋ+H;[j oxkhj| u}QVK. =B'b4vՃNuz렷UC/Wfha 3*D&ƶ+FKax $o$uz;|ƑFh|؏7 j5u0}D41ըMu˧ Lkq@;F?{=&v0 Ņjxao,!/IfJXWDT֚Mxb%&n(͖ÔAt%VESVnvUñb7j!~\/{~~sl6>7Ž:1F;-<\a7p#t,:iLYCOQV.&YlL[eS_uT*A5Xj7$ccA45e h} oC J? 83abZߎԢX?"6$C4X/K(3ܥ#keo{Y;zm7N72]KЈRޯ\vKlE P Zw{^2۫3}8]0G2tL;[Q!bCh0VQps\w ?IF.b>ݸ#j(]|ƨ0(=94jȠx=ϧQ>.|{ l'/C"+~lBkо?dqX~™ƧLk7V{q+ňݑj q t=\K˹C;6'.T oYL^?g^Ev._˒DLiH*5wIS6)f'[Ъyl_$N̞9Yfbjf.FXm>sYD1CفAq>PpD#ձ1h'mBA G˄ B㋿gI6dTQ%a+J£}ZVutRKi-r`o5{yhi[hI?BPb㖯 )dSR}}eZ$4&|ABEHܭiÜu0B"2x[ aC{b~_n2~ζ9ނbkLbԣ"e` @b*`U+zPJ6o{>\@ɽRo[3wx:D@t:u2_Xmq!o@N[-c9M P X@`ŒyU<2+C7H¹Td841_blq @8Ȍ7mp4tutL(̇*ߠDUvgG(qkB""E,ŰNG>fOzlȺ|$wSq7.Ӝiq{!PPG)afpX{:Eю"]x.s.ad%Zeþ!+%2ah=Ʉ-`ErB4V 9U.ޑl0m_g/uȽ1Zh.Hwu&j+Uy@% h`Eg)K;IjUj Gq06&7XU Awߩ&?=e4^jY7ןmֶe¼QԃλB~ڑne [9py補 qUQM9g\k0r[ExRϬp5ȒP1{z(S}'uAj2C;RUwU~cj .<6:`y"T^}ۓm&mb{f\z{u]# #a[`ѬK71 Nnwh4xc? O.IM* S5{gmB_XpTD+ ~kp Sͳ8gO&el<ݥx >} h󩅭ג3ffK~$K,*B"YrPGQ廠^6]Vhǟ;ty8z&et車QZ!*so4ӎ&q#d=}  xI8rG]fw- D*@aЯ8_<&b@oƓhPĨSv3` T^X>5fɑjϹ`ۂn.(xFFzCۈ[%07&M=)$ / AN"'6ǚ\[@;"`j ӡ̶1p*N[t_[JH~S.{dO6u! @cfڳzSCm6F?Wbq41?HddemIPQ