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 99<5Dl\ ] HOL-Complex_Analysis:threads=6elapsed=34.716cpu=162.208gc=4.776factor=4.677zXZִF! _K]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ o Ԟy>*bbg l2f$TB"(IgE0KL oqY7[±qw32h9۟3;jI;R_g(>|dc0t9xT;ى]e/n #' ~{ 9jPÏJGZt 3[&׮@AE 1%NU^ ٗӒ=#],ɣb|J~B[%.P]3 t32R*Nԋv8 BD3{ 'nȦa5sa,qU+(Z'<^^Tm>x'z/)YCx,yR;fKu8M>1"ds;tf,Y-C]AwI郆(;*U묯ٷ4ĪtLǎ ]Da^* dcWPQKXrP+}EF;ѽrhg`hU+`hޚV R'O!j7OU*q<>o+ŏ-BQt&#!{%. [N,/qo"N4ܵ7ݳdu_2+|Rs4|RkJ<^⛧ʨSP,M߱Kg$q Ke,Ϣv͑A6aUf1"FLDb]m0hGS䱐м32D)g!YG6Шe A ڀc-e alIjf{y/B/γ NTmFL%-!MS~՘hY; GT,OX")8"P6v(. gXq@M`g ^%:&9/]`=34!:fu K1a6;D[r/@O<;}nkQ2d`3{Po,fub4}ʘx YU|ejZ(;;Od婺BID'}yd "{;$+LuubfUW-YT~o~&lV{SgJ)%d rC!`?⯧ Sc(z2敓pȱgySc̕v ˹< @< OTs-*D~0 )]е3H֛wåͩ9sJ/Le&aGznWn;ړ?z$^ tuB[$n=&>[&r:R:k ~OA{Iy@Mcܲ?| ,1#e&}ĿSoԢ}p,Psv PgAЀ)=GFn"v3Md-,Z_M}PͦA wՊ骾6j07[9cVI%.-"z=dp{_uT5??hN۷ǂs~uvE< =1_4,05+%x($; ~_эMzh#}heM/flbZKO3VɰFh6D#4æQ"Lb{K}( .w`,39b^cxѓ)sݸnLǾ9pr3賯|8̾CxgYZ7zXZִF! /]ŗXiɟ1p 3 5 HOL-Complex_Analysis  ]O+EATWKcsn)Xn϶u ;,s4< QMkO㒞#s%)uyn\n cvjyA>(LE?>[&a!L􅳢4'`|JpV jme9 !oߛ!Gg#w<ЭP2NqÕ}^U H仚vĈ +4q"fT )𢴧҃{«2oQmL6TIR$Θn8-+50v }(!.IgYZ7zXZִF! ]ŗXi%Jx˼/SU/Z 1HAyE  ^e4gCm|+$&k&ózD^Wa SR89B_]3 bHħQSo.q(acȨīƖaC-==8lH&JuЯB'-GNyKmļHo!"*THPn;=$z4,XQ[[mDc{\NM:"{V*>Y3/\(S/LzuRwP @ ii(~pX7[^9п= ef6Ѭnt&a?ds֖t¼E8 TdsQv<yYn^ooMĬr%]Y e*å0d8wli _YxYզ]S vȡZy|AFmy %hqɆPj,hf#D U "@7>!J25{tl"z3sK)}Na-Y"fnހP<П12o0\e\rkY9cfCi,"Ɍ}A#q1]Ӛ;N" 7J+<aToâ`K1hCfO[9 f3매3>4m}S5TCrªbqvຨ0eD%Ғ9=oAax؎#Qsan_jy^Ow?X~ z`9ߒ+ƔlM+ 7%9ࢿxRPH"v8NR)3usY."yaL mD(l2*FP4ʡTB~ѣHrW50jjwڲ)Z)L74"d xdVMg2vK)b?Ua-֔bm&~9Հ2brw cNnM]Nܐ55oTToxW .'\L+dGbVeU K-8bX0(ĢdZzfY}ӹ-\Ԓق'5F\R_u-eBhOe>vˇ"BڔC$1hb+2U{  E}`p]B aºy( AB`QG"s?ܧ7P唿 @H7/M YF*7U,6". ΦT5ﳬ:8`)/J xkNyPTO0\ŮLՋLwEZ]JB~Q̣ۅ?<89[)yM5Bԇ?# pۦS R̡PW2a)|& i Lz_3IQZV[u2/e!W"\y QpՈ_d;ZK|&&`:hLKJÇ6E@Sy]:|kM[5aJ} v*c5z ʬ(2&;Ga@a)'I.pnx*fl1QVEjZnNS|U?aR m>^"u\|߂.x蹗oZ"WNEv `T]* D'kL/ gFPJfVl+.qhh XA q}m&ծƅ ȪgYZ8752a22daaa34eff0d7d2f04628020be8c60ec1a5d3df3e9a808a2e76c9506db8ef56a1f0ac90c5c 99522e89eae0e0595207e8a2cb989772370d8b37 b268b541d0e6725dc012e27c120a1bbe590726d6