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 X5|tT ] HOL-Complex_Analysis:threads=6elapsed=34.330cpu=160.228gc=4.324factor=4.677zXZִF! Yu]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6 +ĘFOTu}Ah 0;\}kd˨lFy ( :j:oὮ7}t|)Z@ɃtmadQ*jLǸMs o+d2`OB\aAݹ"_(鳄=B8| yn ^GB3\*7m5 Àֹ "|RՖn )d Wp~z-_ 2ƖyYbFf?! +J co~-E$ܣ2 H sO'bH Pn {څnxc, ߏP.qA8`aI4.X}VDjնߓ7[ǠhߚB!r{@aU?2KsKTTa''S U-TH * Ԁ;+mR ܡ{,cY,I#VUM.B 1-!y'xEUb>ާGɾfXd<\JtH{:Tɇ7uQ5R5Y1aըcظxX4osŵDyW9p1t!k<i}j~L* / ^+"_K1+mNmR?T͒w)l9l13Dr3l6U^'zE)e6r B GXo]o辵.uox͋%LQ]7Y)-@9z4~^5;bda`1&XT^sHBe)9XJ16uV3͗crD' OyNO#@9&1Z;`:(-gd3KeEU%8*2D [OCP28_# ؊.m*"H+\O[9 N*[ږ!2y.i))vn$ݍ.8-g1Eb$gYZ7zXZִF! ž ]ŗXi%J6j ٣JygLnxl./;i ֞&.fmsÐ;-2n>![t@ f0!z:RiXLe;sݨHO@e r"g\<&^`шCDDycI2* ݨ_' ԓXڣc3B-;ՂH2t-ɯB[ AB+5W.ʻ$Sm0{Iz8JrCV6ɘ^c9nfsrb7=wNг9aRS:O 1MZxZS8YA,W]2Ow5b-D.Sl((;Lαr*%wvÁ]K1 mG súX;<,*>&O!) a19.0a "' *nwK,sIe/av6/0 T6hFE=H>oS*/zi/U&ϲk6fQ$5yر(5o< M3^B Nߤ$Fe.Ta(G6FQ(ON>텛Ii/tN~ ;8B|'ТH?dA>#ZAvPBhEdi!VxբL8Cx'v&7s9)G7z|$f0?V[nT*K{s5^]]R#؃5hHN1p)#i:S-6N#fekty]fX^nP7 fҳlUmE6JnLLΙ3m(G iN3 {)琸m1ԟa_KjmPZx Y*BeNLۙ(rUr"-vpJ49d2(j8î@\184wyŃ)ʂZv83Pf=#|(_dEUP~8>=`g~O׬aqF6H99 s#~&i_P~,SfbeI=o"_qr>- #]"Ql7fkHƂ<}IszM~R|dB2'r^b#&W37Iu9ۇ!?9 w(Z%S3Mbw4RDN&_)[߬GVLd,=8d;^?ȯD9i? + {},@нt⎦l"Ђ9%\'`wl(帰)ˋ5ůN->̈j); +w(x[fmcäbBSx3R%zitq |_8k]t.OљG\]R CNv[H4RuK]GXFk2^wMy%^?1nַccZ ;ʥDF/D֟x3%ˢ6X!g@ߑ~_17Tө hČvzgIT}3|8(>G=%UA~ }V'*Os#3(j4 Se<{R FI7"-$Z*<7P2o:HPP!ayK 1d}E|Bn ~,X%`C^Nmƶh!DP'c@ϟ7R+pNF׍Oљ1z¿5Yuyۯ:s/Gu"7(ݢl*C/ڮ*٥_.Hj& uN7:qkJ|rZ'@à#$!8DCѾ˕U默LnP($e87X.SYg+NXte 7fF:o