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 \5Tt ] HOL-Complex_Analysis:threads=6elapsed=34.449cpu=159.360gc=4.132factor=4.637zXZִF! _]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6X9U͌XBC#'ġ5wtto[Ѩ?[p%?Ab # 9Z4a#S2C`z젗>XO05&GϣǕzI5NU: Ni_`}9npA dE4bQK lqr̳h-<|}HdaB>Xo cGEր}ܧ_YقY ?@zvL,,+32!T"Tx{L $@]2j빿`cJ)WItN/:E%?_ڟq)X2؉ѥ|1̱FA"@DɐtSYHYEIʴjC*hVA8 =0 8O59ìի dzoR'ӕo… V$ ؎)qR#Z1YS0`KEjQUUyB7{Cf5ek#E,30ހn/>k,ݤ4Wѣ,iSW3= ?/.}z:nlaamrFp/9-4J+Vsg5}+[+T4R^VF xE-M蝷&/${jnvE{d-kbrԫhsT<5Po]@\|n~ku DG @%(oֵ™_8qVo?d B-pf:Fd^1⑤L"+B#&m$i$ \{OzE'%lIL}7&>]>LdS ɿ%^җ@0K6LVH24| OĹluy.slC5z`!skO{h]$֙5ʿ'CC鉻wJ¼ܠ*92,Y69qJgYZ7zXZִF! 2]ŗXiɟ1p 3]O+EATWKcsn)Xn϶u 5 HOL-Complex_Analysis   ;,s4<"pm,;l1%Fs;r^V337M8fncـ&c7.-#^7yb !#E'DΊPXE&"by7zkj`2 ,|$0/}K?8T:[Ua/(QoǦaA ]5:ܞq6ח,7Ǟ23TX)#WxK>@/)U!݈wmZIy H%%$gYZ7zXZִF! ¼ ]ŗXi%IC6_zOnAgiLKEW#m_Vi~`NS]0ɾũ+GϦU{UقfP p,>:ִ]Ͱ"cW55oj||ĻWٽ2U ӈr;L|uArl.bW֡}z]A FYjD4 Z֦_$g;k1Ȱ 0,0w?eJdpE ? R ǷW~WUt3 !8Ju۪;a e2c۸lVM{qdl:nársYRjeS#g#20G")lPӷ ~ʄ6ir5JBiH;!]ȿ\RQnw}t;YjbmƬ>h w/^3c)_f MOMBz([{Ҩ(p//%)UK0qXeB%[T@QE7ՔRMgF=xh9܈ U ,AM-FZV~5>DI2ρ!~kͪ59V4cO$p!qt塓NEc8íKS-Pd{~n d+B ƚSZ"vKH$$Ṗܾ:PlELٯхSfdtk'Y%ƺ4$fH.X9B"bw@?'[TNư$k+՟~'6`9Nkndt;ӐNg(# G=vgEcv o s2y1ܼXmC<݅(Xbd_rKqCnkfU~R(wgk!U{ʥP_+|,Qu4MOOzyz5^x8U~mȼ,7 SXv#hfRrNy '*xQNf='"׾7^Q0vqQY tW mcL\kd}DspCfQˀ>Ŝc5/x1H{ii a#_nZ;S /F*˯+@jK ҳ1i>W 6M+# 7F8$j qqnV!UZy;ijf_3 X( +jc3.Q+ 'Ca:z轄/LYtlDg i*!|/_TjKr7vˎtC[ [5;]Pa3'QcN |Sxw3&O$cXq@;d0EN5acfk B)iȬ6qPJ|׶/5(:#QQj2E]'7uE_pz}0^c˜te@q~nD 3Y{eI2c>>zec:t|$3-txޒQ&dMx:Z:\_YKn*OVIkG׃y%T Br 7~BWg{ϕmF4nra[.kRԝ@G1[VUEW؁qK&8(]Ġc)2%\+/U[on5hg>9N敷moD=ȝ cZ~n"+]mV' xڱf;g8siȲ'uu1T-2c93 wF99RXn=*8߻=1f$(82$ C.(*cap9| Gr4Wog"4zZ|lj./A+A +D$eBɈ\@.zeb*[(46fJ:p}8,3?oN6(Sqb/>cec!Oy~B ;i M8 I w@B*zKdɣω,B/ :RnR=3T\ ѻiO >˹xO;ۤ8eQ=F(qU" /[:Tb]='\XՊx7}Ea:֊fyTOa8AJUVN3i Q J4/IԂy[o%ًD%l,%k!хWx#UTIvmgڄ{`lPi?.nPW.}p&"Y7V{"[H/?7*trd$Sm\ ١3D+걻|oҜB (մ 3wδpߎ*H ڦvO"nFƣɣ*DD[zIj?eƣE*Њ?w0 Q|DN7H-u6)WzN%=(9X2#.r!o$]?B{u_:Y{)!Yh{ `d&l,o>͚X\:9ar1z雊Ƽׇ><>Xce.N ZkWP!fL$KPz剷ozSdYS:H'zx% N`\u=ha,#;<<+*^'5#{P ipHTJpGQfS#RG?YeL