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 X5dD ] HOL-Complex_Analysis:threads=6elapsed=34.925cpu=162.528gc=4.604factor=4.657zXZִF! b]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6s/Mcs /BLbs9D 7`Mvm:"m(@DLqm?4VJ>h5S;Rt@AW'|lAjG1.7ہ *[*m(.r@z_9 5w6#$CpZr0he*K,keP;T-$x78~,u)~p>dG}h#IxWG|2TKYP{nR>^\]BN/c;|EೡYAav9izHLQr]`y]-J3Y%$X#~_8Ts/w@y#26V'*$9Tf6jϷs$%W'J6_qzN_+3U{F >9+{ _Z:V|ԧı .ECz=[0_0~Q饣i0+Y})Dv#ekdrb xj<)*쟼-,Ho`2Y8.@)J PeD'TenwEt2BF1IJ#OicӏoyC凲` ^"Ʌr0UBT F!3Fb 8/3ZwRA[E |hIs7A?ډK8/n[YsTtb Knχnţ0hv4Uºr-ːI`M4`f=yOSč ~%t蚿ö[aLmN[? Ш"NR-:r~}m-xoWf^zbC<0|}rMcٮ5}#O!]ӂ觹&1bPlx?Q=:̘ kS'@RZ6l Ov}H`T#ޒ)35A! d)JaC+zlwЏ.Na oYV+<8@QhTL4bv,e98&1"WIiLϢ2F𺿔g_ .FJ~Dͧa\x&UL$`x˧N #w$Ζ0 R\ u*ȱPK=;.uyh<1MhhkIsY"^e~}P#tR1d1@t|meQmU R P4x\̋i"CC\Acs@(_Ϯ<zh?̝Jl ;q:$WO0h@T5"}5[;qӌ'_Z\xB=&-fxW>ܣűgYZ7zXZִF! +]ŗXiɟ 5 HOL-Complex_Analysis  1p 3]O+EATWKcsn)Xn϶u ;,s4<wM4Dۘdqͺ&^@Iȓ4Co=]mhO6ҞvoV1 rW.`ɇl)JH n$C ұK}$YA BPF^zW8{%[q-52[a"b'bIv: :l:Nj j49h#͕Uk2̤#ŰH{b@T%~Sy{OGtZ+>gYZ7zXZִF!  ]ŗXi%IZ]KP('rdLd^S+q?-PC1\P Z ^Y_CvB/ 31JF]d?(֔n.$)v81I>Fn9ޤglX8,|%5=AlQQ,P:h2d"L.Ǎ),c5K'7#*n˞bL%!E3]@I5 d|=[Aڴ}Չ&KC.mt&\dgk8U2,-'YA,DxK8@^ƺ)kK<RWeTѱlt9~%'$`,yLY@EAq2TJSUDoDq"E?nڏ"|M^MXtM"G)yB٣j'rЈo?*L׷#|CzT"" p !qd-/f<4pgB8 g yw E6cs Y=SY3*y;+18<>9L 8svIr)'=W`:"%ԩ ye6vJbxaRp>`^ٳه౼[ՆfԢ @C sh)-ǖ4KTbO?ZD.7 N"rolkAK9X(= nEU.+"5#Q xY?m;'VV70[ȯw}W߮-1+ CoHމ5{U|+n CA#{R jRw×Pɮ~6M&w1"):bKF|)eg844a0?Ngs T:H_ 9wI? C8'ߊ+b (2 d݈)aa(-4o&R艏їk\2،s,(u)4d)d^FJk-XjҊM`/wH!#+>4?MCNI1>@}'PN^l{Q1~ڟL k ݽO D`cvIo3f ٴaZa^gl( Hp!e=wyu<@jhı\^:0>4{-&4!^A^1QvƦ+k^g0$I;쑶Ι=}!yOk[r3mI"=0P+^5 5֥vwӐ\(Y@Bmaym|Yb6)qFů~ .xz0Zo>G֦_4}m-]"@YG,{ 鲦cdĎ8;딳ϸE[*m7' :>ЮZ\#*շޙiaˁ)ιO(.F}~d MU! ^)d,i?b練WH vT :Yb!`7oǰ#!S]-,%c~Y9iūܝ.яd6-tmKIjM..mz)qvvpW,$6"(!=fwSjqo?y0nFImzǙ_:k:i:)iy?U`:V,4d_{ 8|zr:˫7b1`V]8M@RJ.MAT_LW* >\~d܈-D""dyRvG7Zm#~pe ^~n@LBɟRM$k Eǀ3 \kÌ%yϽcqt\{q&>#ȿ@f'bBs*d57,W`asRP( UrK]f:*S6o*y{g5F>'#|)]gbVNd=dN;E0<yT jy mT\RIyGu<+zHz\wC12gX!@ ]蟍O,xR<~̶#P(6+{',/4Q{ 6u~Wj` $%5yeyNFz~.;ٟU-- x