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 %%P54t ] HOL-Complex_Analysis:threads=6elapsed=34.834cpu=161.420gc=4.084factor=4.637zXZִF! []ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6}Dî=R*6Ch}ұiu1"f#iYl 4l|w X_N/2L55گ}Alg@[b\\-ZGR,O K/Wi`pV[gP困k1*d,%_76.xDH)!Omy]D;ȓ||-ź'0]kD类Fqc4DC}i6uyV|D9Ҁ`Pk&c\i/o0ꦔy1ubL ?*S04MiDm> N˂6sڨ=m}s_v.ߴ%g032!d"Fa63`lM&5d{.~l{$*=׷{P($҄xs7Ѷ]ۃqQq {SCЀLcrᅅCY;ܳY,x#ʲr*ԷB{1ifGTwe[[.&E/$)tvHF\ :jlBD6PWv$ЮяK@ a,WN~w}A@IUUySdK I,hZǘB{6=]PmQb5J{{Cr8ŕڗvvc@tS`(gOrns$D9w2n4?ފh"|8%A-unD% q$T^k`K.BЊ\ :W(Q5x l'4JRнxDSL<ܬg UHO V2(L5S(zjRKp.J2ܗ]W=kny|HVRW1lgF7SżZj*Ήg*@l| GGjwPWL8\Dk!OZKW/{ PJ+$oWAK(H֖uHbFqJsmt 1tiRMTHY1J~Z@ (݆J-!/AA-%k)o B oa, TH>vGgYZ7zXZִF! 2]ŗXiɟ1p 3]O+EATWKcsn)Xn϶u ;,s4< RJkN.ut'"m1l;6 ͝6&xapI0 5 HOL-Complex_Analysis  V^~CMK^Z^z ^tKpH+NO! jƕVSLi8Y?#Ĭтu{IO"̩ѿ,$N{>E0'{S *AͻIVtv}r?yOE9_ЎA.{'oAye ) -mBa3<φ@@QMO$gYZ7zXZִF! ś@]ŗXi%J Hs0 y[~)Pd 5%TZ~D/hLAe}(pg* VA{[SD  559Lv|m'I]l_`.&!~G & Wl|/J4K4LW7r+pEȶ躟oVAE+S5YgPI_ @yRmd[cqaВdb_ l1OiC ?Ԃ6ڠh s3rF2ʒ_#R7*Sf0N甥TQ\Y;E;ֵvvس}ZI8kM!jݭ_-Ap!Ei]E^Pm8WYLͤ2S ̐1gixu3m5e:TlV@!X$=.B si @%ṷuk߾s{zp}2]nMwߎl{+ g\J~F:-t t^6m2U7j=gN F 7w@ t,lu:+hƄz/xWEh[>J%rPQvJunFJt7{BnV31&ͷ(W' Fsb'Q7kO}h=2ma!6 T6ѡzX ~觢G~ltKܛ.ha멒A9O+zMfIТ|a ~JktSV n)Y8EQ_( Ǻ]-M0AXXn%_c~!aNcXjy-AV,~n}rQ}$ID7=ne8Y"tho58Wy4ɏ;c~Dh|{(P8.E:L`) }ZfJT)uy7fZyU4"!/"X[9!%QPv"xn 2zԝ̛]j偺27E:P1>'Gs]C-0h _r8,Cޢ-aL.FTÑ0Ktj,J 9S81t:F3ʪ0KN RK ET}vI h fV>F'~g]Ø}j{ᅣ򺻜#+ŀIsuaL?4!]|D{rNCǒ6d탛Ҏ35 ojY'PM 끝tpy\D[K'TA͍pjj$5r N>5v ֑\-{ ܜD^//3gF0Z_,lA|Dy}νn]KTi 9v_O zz`梠loA!<ތZ$<ҳj+4aD-ox&,[R԰Fk&+;JcCQmT|K(EJÜ!1'D=u;Io-=.BmW+ZJte2߀&FGp#")hFh3<WB-.gT$z7.-GF|3Q{m 5HQ#^Lio6QO7?(s}(NG^V#fZ0' bXb[ps}&DK_=?]K! dWٵ{Ƿo^۾amЃx^*r $;NbR#kiDrc"Isk@٘4,ԩF%EFL5(7 ~\u{s?R5e#xJ׼e=XC#ZvG0@DJ{?;ݴn>"]