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 1 TT ?/ HereditarilyFinite:threads=2elapsed=15.391cpu=27.668gc=0.748factor=1.807zXZִF! z "]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kw^x+Ituz;[.*>ē3O Bq58?:ЗP X;"tpE쪧zj] R_5N 1 HereditarilyFinite~؟ 2Ja0u n"Ouh՟qzF +]} Pc a[ 4f`q樬_|7;!+Pnc:(i]+v9+gXG.h~~5"kS[l&vEeM>73o':jWtz"Z;BgD| #x猹'_6uXYhpmETn%E7}FKKTjjeޒи]+)ЛS:B[S ߿ʹ:zWQl ^jK,S!(`1`Rݲ4^h& ޔ( F+tj͵Pf~,_V>?QZA dJAk}ծ04F~Ns6l4zUf=x BFȰNr>fghZN=id\&MdDAY^TDr%o#4R r-JE`O,.jZz5KQHȰIQiLǀG Jǜ]ÀRLlm\|`{ء),(܎ld{.֩8{[uNMAF_wjŪC?)Ue c=R,;6C~:z⑴g(`: 'a T',VaiɝB5<ы<6;}y% }QTiQ{0L$uH\+Y%SǨfo_*L߮c_[JVq#6ދ˟6뙸8,&] YO4 6:TOD iDK^rֈD̅C̐]Nix:l-c=pN>DAnHFQ;ьy6$v[hڃ^XVɹ,bɾ|nFmCpqf}&<#u/i6e7,aŲh@q O5'̯I(Ss 2Eᘛ4L*Z Wr|^;ڐ,i \ <槪ࣖ d67̈J)/)\n^!~(laX܁rqې=o[b!f3¥+UUvH99d<ek? D7^<^Sg])RI6_Ps( ^6w*`u4HPvci ɏed:yB1۪4׹vfb^[ND>`툯 mW)LEX_41@QS<8v N XuI!*U)u5GMbl`,tv'1ntO;5K fP¬E[)2x5t+_@ZQb@cZ. ;NMOxf"iW+ZS [OoZc1ONvdLT>\ 8kݒ3{={?PB''hm( O+ P\;eVrVqXEX93,ĝj[-_ )_n;#"!o^2(^5\6jW"`].Feąg$@t~?e|P_rֆVFDL 4lg\IQߐ֣gAT# =rr7^ב TU[p%2 ^u*pVKI_g".o!;\z0 GڵdR9DYxX3ST U}O9 ("SC~8m ],#:;zo!a୚y1 ju&D[VueEw0b&^XHt D3m,C%Vz݉Dr=ε(&Y=QTZ4I) 9bQyeѹUwŞB%FSG,(:?oLtcy@,Y2ʹ2W̝HAX/)"JҌq}/p%.\6۫oj^MA/%PgJEira E Lu @8خ+|e2-q;gYZ7zXZִF! T$]ŗXi%DQM4(d.A.*&X]`񄫣 u7M FѠK3첣{LsħU4i Ѧ"ECo#2~ӭF}sҐJ\ʪmA̠ڴlަ-}n֘֙/Z kBoYvSu T[ Jѥ9[ ̠ S@bg +fO/nո mSg.7SN|MFnazۼq%]Px*⾯!]O: uL}B@7IW T c+, z;V>=(.)SOgc噤59Wΰق{hzpKrz(a}Ӿ.,* [n!x}RTq-κܚǪh~`D\*\t`Dуj>LsL|@9̻l3S^nRd#3ٛA-xe#ϳ$Z;B=3>G懸xbZUGzI!K#zD %rԄ" 䎇''~B] {SKe$34kX HJY9agn6Q<'I3 URnH;QQ٬jILCi+PkM|<:eH^Pj݄JA< Ox?WZSԱht_J;MS͵ q %A vg9Qfۣw:ER=}'8IMKpw: 8v TxUsm,Axۚ,nRDeUqO~caˇb=xWScJf 6l&R$,U6avۇSOziP\p rq/]˄{ШdV<iB:/zF>&V- Iz^K*zEpRq]k ɸla=ԍ(˱wOuTtErH)ɏ9&2N#]W`9-Qh帶KWi<7q \Q8PN:mTQzIU(Tޢ1dA1 >˰vud'車~ hgYZ127d16065ead19d244d728c87ef165bcf659aa6a 12f77c17f595eedb9c71fc37f436f86ff7647a6c 3c5ac8e26f1721d8e10905b9ea177d85075bc738 45f7fff17fbdbc853dc5f25944b0992e0363c5bc 6ef6bfcd3e21356d78d8377e82c11e1522283f67 a0d7a666e1ef01cff26fe69e59978baa40c126ac ab06ca086aee730a79dddc1d42c28d5bd6136449 df4a72d4c2ccdea476aa2a97ec6d075cba60850b e528a9016bf702bd31b17e02bb7f07c640ce8059 f9ad8b0e4dc237bddb1a7187abcb79226fec1f907df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56