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 !!T5tD ] HOL-Complex_Analysis:threads=6elapsed=34.365cpu=160.064gc=4.896factor=4.667zXZִF! ar]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6FM3ǒ NОOHTR< HJEG2ស(c!9RV#^|RWs$& 0:^3jvgiwμe7+qrX.?l7sn1yS&ŀVD r$_w&,cQh\y?r%+cF?#hO/.D-k`Ta>ub%T7$ѯc9-xd0_yUNG>а&vW JؗALLJY#7{RATML`t8k!^B8kP9T@%n@UڟΨrR} |`6@"wBd(-#8b0`'4\F>㧱_ )e(h 4Hݵi6WNDQdxx5]O9҉[Sw kc#~ , U;8Bvɏg\u`N[˃#$oV 9K~)_Ɩ¼u>, 9,`EfҐWꌳI/~]g-gíF[qٖgKox uV%mQ̥3-PkՉUZv9i4I_1c5{ $U}{i>w@s, 28; I藍w;sdnli*J)D!.8K%g hQE5B噤C٪@- 5uV+(; SHR3 \[654T_Òڑ'&. v&,>vKXckrJd"2f?&o o{P}풮BK!8$R×cw]4oa}Cn<4yT+@FSI5cޒ+b!h覥"񋥘XI%/B7GC|&Ղ Z 9B*$(X/;׎Jx]`ŤǮ$}=vhMvU{>#s[ioЅ K*32t^@I\ߝFċUe3Ql=MŁ^87$6&N]Z4ji%,?417{ zr $ WȉPGbzkB{^^_ ~~['gYZ7zXZִF! 2]ŗXiɟ1p 5 HOL-Complex_Analysis   3]O+EATWKcsn)Xn϶u ;,s4<Q]WTLn-e hrLxNioD<栗,)`fKehr-3+~L5C,NG w6'S2?|Bnϼ)08XK E'jM(bpx"H%V`ʬL 9\KN<`jƣ+VA6QmV4V izY*: #7&GIQ"r%}C࣫7ʲW2 Z COq$ROSՆ=M:\C i夞x%P]bv]ZF~H쯎_=٪u@ "fϔ.VӶUsxg)ً=`KRP#1>0t@jZ;)qQ`!⑇ȷIo\+MB3f9\ȴT†ț25Ehpe6fܨ1?Nm]dfTjx=!rRdkqEK6+^pJNU9V! +%_+ k5miP{9'0MHz eiA:}:l?ʹm=߬h3 @U62My=; &L~Oޝ %'Ҁ(Im k):9]9pց 1i ~*/7ZNQ+ crĔf,C_o> |ì* ?&6{CFٮĐb(OP;=~ =%?Ҳqqcu9*84+{z( [<!ef|*f7$Ry}'Z'ZԶV}zm0&sV1onĨb;<~D{[&ȂWݦk\CvЃZE`og*h 74 2˔c=@|E_ g蹧Cd O:= *"SOUUsA،A' `D5;$]iTR•;ϊ6K :-=43}[\IU D;\CEFa Z8es qfH_oc.bvmJkUIIցAף y9ڭ1H/@oPe$s2qU'T,~oqd>x V4+ 0Plmb`wΐ_X+wCLa7 Q$\"v|~iJN͍hA1i`_)8H0XV' P0+ǪI ի7ØqiEQ]!ELI3vCe*mwE^t7-&Ej52ht1uY4 xqw//RK!Qjޟ|N^^'OFm Ƭ]4BS4@ #_\^MSp U3|fHj6>r(᎞I :DpRo$KX=Jj*[z (Kēl52d'bjM#d;O4uIĈNͧE_K]VPQ%eW]Jgl'sBtId!6;c JNmQc3&hU&gf Y w\\N0.)uqLG ʑ3^G*ly4WP[mR? *1Ypf-nr>Nj M;Kq