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 &&W L,l ]/]HOLCF:threads=4elapsed=15.955cpu=41.396gc=2.552factor=2.597zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{m%غ| tWA{tlL@rtɪݷe~3#.8̎jO,"EAw8]kJ=R|2K'4VUyro8_z+${|n dC6;|_z? o vi- 6#h3N-f3n \BzLO ?c4 mգ>HUZl4lͪx~/rO6]wb:̤w bW΁28pf4=KT +ve@>:SKmҬG'p4ʝ[+ό3ῼ.1;o+0q\&c;m|?=5(²Խ %o=1$Z4yEz h5Rn+iX<,VQ=?A|2xp84 N "\uVɻ@˩ćx i?*<_'zz mRl_d_%Pvс ۊ%3u1+gYZ7zXZִF! }]ŗXi%I o80aU}q/ЕnR^F'Qx)E!xU@`''Ч @Q`5|nTJ?DBj3ʤ%tϻFRJ\Tf*r'BU"zjhUB E 0\(V_nGȅPYKZ6 ty=igz=X1-(YUB#]/؎ CŶL ᠈ ýzV34{GF `"]sn .Os%?TWKV(+*6YPG0y,Sw}'[зJޮ t2Xnܸ 26wB`D@P~>ltHΒ"7^2bfA&,3Y5(õbE/?o-Zm{,T8ls *^F2kYS`c/=Im5'r_6BѮhlpQP? qՆ0$9j^G!sNR- c7" "X^H! {UYLAko(EEmDzS} ,[Kt-S _V%lHd8dCC l0BKY$jHaPnCQ>$iI٬Zj7KTg_bXkRx =`"6˗Zwz~M3^k_LP7PӰ,-3 n?^km!#5Qsk\ȧR@%17Mȃiri[_AК&.lMkv+D~Gwcr=) ]wF ب[>k2!P5*0uv| 0L(pS O!z}L17l{+Y1U"=EF0b?ؾsf|!)[42zRfeqMf]i[14 <u;Gv9k.,qźc>fqҐg>:h3.3p%0Na؇$ mJ߯;M,fm*i#qO ͖QOG>3jwCy\ڥ#2|(CùN3?mJ?ӝCH8h&l75k':!bqv}r*2}ՑD4<6PÊ ``ZlK Ysg4$KVw>`< )Z.@9=H^ sh37#M hu8䶍+Lz^j.si>?NG@T=;Zƻ X0Mmy[2i-őy 4M7MCkR݃<<:\ع3)2vFYOiqꮭ@`1o,u,zBXKs ~{5]َ#Y Z4${wl[fӖجmn}&eYP?"*-D΃