SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ~~g ,< ;/ ZF-UNITY:threads=2elapsed=23.700cpu=41.116gc=1.600factor=1.737zXZִF! N]ŗXf1-W_X,=k=G^v?({9dC'=0{4NP8W"?c(':D M ?ă$nq 3q8eT jwBDRl,hz56QTh},w{mAlie/ρ "LǬL<73ȧuXJ5kds:3QX*/x_S }OGlajO[ˮNk_U/Wi=/t?zLK9cO9gǰ89NfhvRًar[M7])i7TVy^fl~DzlCJ;@ 8"[m7rh%(xx)Ll2 ʐ.lAƉB!?gn' 'raXe SgvjX&$DbUD )qmE}@}JGԖ!ez/1'hq#:V^+-rLG 53es. VEva!}3)fY3ʖuTݿPDozZ|_c/j[[Gdmf3v-8} rӻKgc/DI+g.?@v+^#꾋Y­~s)t(3#n. uh+'=G\8T Z:cr*M*״6 ɦ   ZF-UNITYT9uk(t*ȝ 0wV9V8Dp17eW K˷C@'09V>54f.Կ l靕;idpnjɒ|SLV 5]||J?sBhT('=D8ۍ %e\ Iޝv9ޚs3OL!kʆĸcP2'ςSULrChAޚ?, E9S0iOy8f`8D٨L M|G\$tZ܃0L9[ R7FhiA)&d9Dr7Jrc#6d'KU&LqȒ5;(' [f|fށ-m<& ŲdLD0hJX}`.6%>)BXj.ƹH1fM߈pt _p_?T)Eg ."u7r$#<^>Nvh$!'17eee/ 1g6ɝ6t`Q\ȅT|E!xȝ(&3P0 mnPX͕%^X0SVGjvC~|=_WŻgg!ɍN vpLUR)viI;j-9D*(J^4p) vqXAie:C,$cZV`]-.$ݯ9lG #R=>E%ǀC ;#2D2 ,%Ҷ'px:x|Vsyf0F::Aɒ ZaԕdmqOYF531/isHF`H.$DJ$[^^TA\l ! 8!ePQBr{}0pSv|qy MQCRftH Sl=O9^8 (?V8|#@;ő&vJP'UB9Eʫ_FW%1j˖3=ؒN|~USe\/yCMkHucc ?QM/Ur\1b̺̤nZ^zP؅)%Ay9s":SDfrjMjeX0/IE"ƻ? :0Z5xJ7$E_-8KQf}CGC\S+ĩ1녑c[/#x*+w98#J`+kAfq'C&R£Jύ nI&gYZ7zXZִF! n]ŗXi%H蚠ՃS̓᳋Ͱ)YG&P0c )2k/D}DzGcBqŴgFK;.΀^KP/5Ħ.?5g†鉙)E[\_ [0z&;*jꜨ_V?j 6M\5ң|4m2cHi^؂1mT=pD"Y8phRA*akSZuQ4 x0~I{}y)Y1ޢ–%Dum=AH(^YX:>+|KE%)v}s>R!FN&jC3mA[ gx`a̽ۮ]CA6Lu\U&KgWxĕxZcs%UkQ/*i TU]\m8;M0juzThn_vP\e-TC8-Ƣ-(p^U3}u;;`=*V{wnx6\Kn5_D Tʯf+!@Ū$# %j֊O\Gc[RE+֦e`}ʛԴw5(ea1H3>t_rǠ(VKkƥ[7dXYk0]sFZ3rU<5WO܏Íީfn3sIj. |6ˡ$* kSd\ZlbV7q{Q^mTRQ`8 ǟ3?5ۆ63/EpQIi<2NQR4֣-a;PIh`+π4X^/"B-· F:&.@t.أSżj8,bg3] eEuY8~5gH>cZٵuu,~'31M=`;P:\ia>wLюnGF l~WjeY>nKS]JP.#@SPU:PJkͼX" `/, RP1&`a|țYxZ*2>?|KgT S:2NM2zi\,&9|' Ķ@hRu mW=\1`1+Z'a0 peц ֢-ynt|>]@fYjE}:zL49浅Vq#lIRl