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 UU 5Ll ] HOL-Complex_Analysis:threads=6elapsed=34.629cpu=160.072gc=4.484factor=4.627zXZִF! `]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6A?tpώJMP_,k(Զ*;?Qi,f70݈'ݪ@M0 v4\>ŔVkOm$bBK`qt0k |A1I͝Q*q,Xt6 !>WIi MdivFE<&FW;K,B*JU2)0OX:L>uQ`70iT[S|_ l*)N:|r#! Kr ـQv"<fkzsVm}Vz׎HDŽGQ=,ܧNxzޔC\?p6]YTe'aa"=Nr 'z<>6x E Z>ÞsP9t^m ec`ѷ0gVh'-pursbG4 c.Gվ0(Pe_¯HLUhAyuEIxqvTE)FGC=>>"_?:٠9Nʋ/B=HpU(q 0c+*\v830klRÝO\8e"q3#{]p GZŌ RO{DI~'50&BKx“2)+ߠeB`jõ/孉}[ǪAg~=fiF # ,2(RĊ({W}B54Vk ~xY o:JCV1D޷3 ՏoXs027O, 5CKM 'T-z@G gܡgYZ7zXZִF! 0] 5 HOL-Complex_Analysis  ŗXiɟ1p 3]O+EATWKcsn)Xn϶u ;,s4 p<@AUw A ̞ӸhMOh> FءM= ƘQRԢ\8h#Q!Ҕz=_Gh[5-(v[Sm_(]rQi6 } 潄3s A렿Syre9TgYZ7zXZִF! ]ŗXi%Gbp ,32=\V"psR%-(<ݞEϞO4B"v)<2'I;`Qa>ƤP51}d`T9{|IG}ۘQh_voZ3\|=93K* ӮZrlW6N ܶCB|C^ /2\ڄ5W]R!KfҞ7)ޛpKp@55 F>/⌚fV-HΥ$ip&~}ޝd Eէ췼t⁜'5{C%98=%(-E@\gxgDy˴H'SH"7'w9dӷ s'2hȴ:%E[nM/ beGi󖁬oאXSF8P`?K",7aQLrt K'd2Y:x 7zZGʃhn͹,8Mqm2`i+fk;pښ7JFvWaNI l0q ^1,!kmWXU쳐-_pSSf9ñ I"9g_$\*[\( {[-1_3hq5wFo퐷=E D6*>+ȍK<[f ! f2:#z$Og8ؐav(8@nGz?5JM tJ6{ L+:tgU>J}aqR,eֆQx B92uhLKޞX2Dߵ0  t <֧6/ G;؝ ElX]-sIe7hIV!5*p@#7J&-x7?\0^0(`%2%QiVՒ"/m]iIEu[v3 zd{;"2<ڟe?Y `*$elje3ȁq M}R/*Y쮇zMd6GxҠA/6EB~,ǍxSOƏ. ZK(N^HP^ߑT/!;7'<~r`r(:ݺ.aD4fmI ʾI-Y_op8kΒM,6`PcxH6mpY鈛#_Ù8,5?@6'R8N)cw@?R@pމDBigl'<}f#Lͷ4szhz-yu *7BRƭ4?7wދ;-̒t<e&$R*;ucԐQ|~2ϋ>Q$WmUPt4+ T9"supyS90I etgھ dK^AV+R^C x۪Gg|if P4`Nm-)eiVi |*5pNYx_H!v%Q[6OÅF|zA3M㧝ͼ^<*{B5NIqw#!a b$xҩ87.~L+Z>ӆ65&?`/D,"PԨ]R>Ѳ.=bW MoTp CҸ?6pބ>̏\T.rNߟՋ3`Tr]"'bȽnB82-;&폥SH3J.bZ@$ ߴ,L2n}dDӧh&S*Rܴ2Qy3{Lk99VeQaE:0(BX!a{k~SH\V)!^-ݥ=|Sޮc nR!/^fj|#zx.Z *% TJ#S_ӫ)6S[E3@2`AމF_/#Mduq\GmjgEO N*1HÛb%wO]֘G5e aA0Ab%~6HeٰRtŵ,`۷v;6/!^EgٲOa3o8鳘m QhIVPqt&޳2B*Hg DgDYٍ܃B~!߰pO8`ğwSk] +vD̫DbJz@+m(i1赸R͎0S^^(OR57'C/.'v,4\s40gN(lJ&#bNg"6G1')K7t,ؚ[ #~£l%Tl{cQ_Wa[>׳I ټkHG$HJ~,7 >tDr^KEӵ*:2Ntښ*޶zƿ#mfu5&QƖG~`^R c(7MIj͚rA K+gYA#QwZ.D|%'jc ,JV.#;foRt3K- ؙV!ڛQQ&.7)6=yo\WltaRau-H)7"姕nWB pFtV0dӸz ~YanW$7)jc\Ʋ_o [aJ{-Z6,L`PM܃3>F>$~7);Klڳc8zMn M(qnŔvXG0`T0s7 ș%;>'ǞV5X՚ᬫF*X6w\\I'] 8k7QD՞>Lc;wGYu(hLT]Izea.m=rBXsevr#s4QG+ Hu`oJf~Ԍ)Sʏ}$0LTfW.Dy=IFM;i.lK#';sui9U[׈{8qtq+27&"*\D1HGn1_8D;D_E^7[WC~kOu5yޕM?Y!|;74# r"b5P( Žqi+iS