SQLite format 3@ .0:  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 + \l ] HOL-Analysis-ex:threads=4elapsed=19.597cpu=58.168gc=0.724factor=2.977zXZִF! ]ŗXf1-q恈a.WEߏcٮ^XS6".^iKI\" 9z#]J|g2 hVo="9'V7^PX!-M ZL{<|khR}L޽a|+t/pQzq 8POfvci&jMsG>_xzwIn#=dᑍ +r ۤ WIv 12*Ą6W{81a{Pe㗺~;8E~b7TҪݣ>p_]2A" luh#..q,%)Uۯ^;q4:.qdpiLrZ\05TXt}d`V/y`CGP1$iwFL^ܧ4f[YXq#^9gYZ7zXZִF! p]ŗXiɟ1 xupU8Q C'=٬l2 1l g:іr ( =z03wzÏhfZU!)gYZ7zXZִF! o]ŗXi%G 9P^0 iF ۈh/a`r]0;GiO5o8/̐P40[╬L-Y4<|3A,~v CP؞j=kU~?ṇn[ßoRV.=Y_jsVG}_(gNbpf:!P^EBx0ܞXG/>!>6"-Y^17y jސy~nTMN0@h@!{X>ؒ܂ xZl-D Gc5)9Gb"Z\0Ш% fVD-9`%ײS$:s7N$YYc"mE{|@\IG@yA /a]>qYXqiPy/7N[6~4t=H,RP^桙QʳrID FtŕLsY=Zk6R"R[>>$/R, <~R ~eqԢs2a#?z\΋ A4wSd1x݇mŇ|ki}l[S woƔ?QQxt栁IHvUƮ*xp? rZno ū>6:ǖs&ȓͨ]qdF:"2X5U0Za%m}yFpt}u!QBBߐXAmL)_cN^A<6j_p;XKj[v&5l'."dM!^ #,u=^dӕ*Z/ ZF>c)7Yύڥ!vϰH|LGdu3/D2FEYS^.51EQm]"9/ 9Y?O1$\@:j0 UH.MaN`MƵYgI"2! òk92%n)YӕLn$ Lݱ6#P1yIQ=g"M.V"jX0,]qIWznk our.sZϺ1w/Οa߄QmhkYGe,q*I0vŶM Fh@86S =Y JdۨpHL@|cL- JCn^_a@%.G?Ypᔋ?_i|سg[q~[ )78$SH}WA2a{p8? aKCJw8!g$7WN Ť#ǎ /?OWg]R{7ˌ '^?zik, 9K %iPojem3j`VR< >_"$x}Qe7ܴԖ15?1lI;}!Pd@G(anG SXל]ݰVKESeMф0y!ЃP+jG'2[~rT-9y|=ޖ_r!I_y_ӿ>fI@ \ælRqjJԸG]T*+$s鸶U*wO^=j N:{ F{?IpS/}L"57:$±REډXFsΌD٠c. cǭy=P!fǐzt ҏ^֩&?ģ Œqb؄gYZd7f8bcf5a6e5e9a458d3245e3e3fd6378e34340b78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 c8db6564a7ffaed04f8e9e08ffcc3e87fdd94065 + HOL-Analysis-ex