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 NN'5vll$ ] HOL-Complex_Analysis:threads=6elapsed=35.144cpu=165.528gc=5.0087zXZִF! c0]ŗXiɟH)0!h]_{z ݏ!'Ǝ4 ("H~˟#υ6S6OqAQmoQT3=8byhZoL o39]Q S.׫<$ێU"c7D '~ ޓDOk+!Hbک,m=#8aj`{cDXvR\*)2_֌V !.wu7F}1~b}$>[+,0* Z?0jB~1tP\N57,,%pNm߆!X󪝕)P&&Vlq6CvQҦ^^-mjG]|<ҏJrLXyNEQK6qc7I!jO!(֯yjH`IFiҼ꫌=iS|v0z!C~F.F*S$=Hfd! kh"@;U|˂܃]\ʪo:g-I)r`j~] %S#BgWƦa"!D-S&qV)RF:^#ti{ sNwz7 řńЎppb]\Vچ]v+ZeEk19C؆yxQ'0ZF/g8x5:@T#: x(/ )=M..j fy]_8dOnoi xNO@._u+~fY߃ EN(:R ueᯄXOH'KtwU{1dA;aM'rŰqxNamh,,4HW+'n72\d}=賾r8:z/;Uh+6z5] ϩguFT- ŰCEAvܪM|> m9A[,eFa5vۃk50W"v` pev>Z9h*r"\a+zXp HCKPD$z2_0dVlV+]8`; i907N\*.)=]OB9Z#~j<絳dDfP/1TXB#/P4a"|8o(Z)#P˕ZPl!gKmk ܚ.c8x FDli |sQMAŶbe{`Zg=¥܆KɀF+P)->(5_ VBJ㞐cU}`8XqRC&ш,eB"#ݹkWh=+b̈́V;=Vj-k3q=͖r֤ZloƂ~] 塀b Z()C8ʢ ϷUc-阮hTx$)[#\qlR"K3ylEO}] :*2s 2ԟ }&)3DYRB\ e>g*0]W47~1 ,SeW_3yuJp3De>%n"k\BK[\=:0NJl $//or ~cT1X:;WQޭe/kp6^b8/]Lq'N/R73ʝeΰi@8dig rtĝ8z+ضR*^ɯ(GlU-nkŎ-\i0*Hy(irhg3_Ӻv:SbW"̴X*$7W]\Nm #q@~dd׬켔+n>fwj/^F yQ[Ƣ><Z&1HIU[z 7Sw\W_TCr\Otg~lkJy9Hύ(;7p _ &mp50^4cRYVs=` #[+V)=V=tkbeRjc%`F-08gYZ7zXZִF! -]ŗXiɟ1p 3]O+EATWKcsn)Xn϶u ;,s4<5bgOl^L˘[H` P' NҨu8Wgjx$ TĈC?EB3˪lvgh i,  gw%lqDi1 5 HOL-Complex_Analysis  ͸z׶&B`̪t$y?h+ ZD9_ֻcZ} Eeo& GGn㦵m|F6 a\EO;F["u*!gYZ7zXZִF! 0]ŗXi%L&{h'- Ү ]uFkԭY!B{HW yn3Ą LޒG4ǬF} 9xQw A!jfu JT\ C'/ ik&@3ګ0V][2ƯF]Oau7=g[@bW~ٱstAZIggڏqO%]?>Kɫˣ*Xxv+iKT+,C'R@Ԗ61PX2.{O(Hg%bLVt!)#ħݿ7@vWpJK:L4V lKE2v lܵtE+(d| L`:|mTA 3yR=sA6EOc;GCEe赽~Vڑ ~nӣ2?ג,v?Ab'YIS`&ড AuҍvXe=EF:+;Ìw+ zï`O[;˰ g9QC7Drӫ2hiPxw `45g ~߇V9)tJm=pΣIoAy iPx)GrAqÀ N0d5 .)h?n=np?xƖ <'B7|| z'.)1SED|0&/pSwߜo`b5Tk~x%##ݗmx&DXXC0T (+'nj hϫZ/%[YQr5~TT6}om&] ӄ|$W:4/ e3,rt=>ge9+mLan"'pn#gy_h~v]$C; FAw:*X~c=)+ND.Q_‡%cq+fD,j|=ܖd<P+$fHR- GkrCeӱ'N3Ș[ŀttpDUG3KWs@[lQUXc[TAyNf?\T񈀆k."oh5«+YKҕ={D*!$vQH-KX5A(hqN..)ٰ'sϾn2Ψc<蝿LeO#ivQ펻˂2gWW:x9:_6R`6'uH@LHߚ6yj H~4_yMB%",D صu}zLwP0F5 betwc (ԏ p%=>HĴ~}OQ) Bv%!D~x)zZƭzSwF4Xlo"3 !#^J-۸y\ a%+IƆ;{*cN0ta̺AK'=kßB|oI 3e䤬)e#g"o^A+= 3Ȗ$ǴE|˧,E?bv^Sus> 6Hj7~bX$= XviZ|+J/_'[ܚs !j2=hJK;]@<<yݝRtWcx-q|B3C^agj< ^< !SȮnt)*žrz*sj,B$C#xmrX&*V1ܲTrzLrtX*ۈ|լC2A`+$']!)$~ǛLY +g[dk?qP"lXY3l-C{KDBJcΩs*G@vZ)*E:v b^RnT\<mC6ɋ`NՖtUFw_:IY@عn%bzJSu0;;Gy._! iU6Xx![$Kv.N9VSgYZ7ae39f63ef2d0456bb962a3667e2fcd247f9820d1fdedf6012a4ebc6e40000ef24a132020cf3202d 6607fa2666df38d37eeb7f85fc4e19a3f5c65593 33006140b7368977d359bf33de8c660669466554