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 WW% Ll %S Posix-Lexing:threads=2elapsed=14.798cpu=27.364gc=1.340factor=1.857zXZִF! ]ŗXf1-/6vR[2u)qS?'CΠPhuK!ͶuZa_f 2`4v-4J7f`IҾ@S Z ȡoS穥FlxJpxQS#MB<ZIaUfҴQn@I\<`r,+g??;c6t$ꩇ7ݏ+Sֽ+: ^ٗz5/UH~rk~!J?9kw:g5ZFêM<,TK1/B93UB¥]z % Posix-Lexing#᪻Oܼ#l Rcʝthx?9.y//U5 ^[ђgz]OՖ~im39(LEv,~v+u^\O,mՀ3gt?/oR%隧A@W$q6oBAg^x$vLmgz~:9Cц+Z''RrOK D6B^IkᓟL+=fεÂ^*Ds&K+OCX"q\oӷO06ҙM;3ĹgYZ7zXZִF! Ms]ŗXi%VeVo4lq$ O[@x G36҇+yr碳h"8 G5-ˊfA:awX?g)%OKfN Ef [#$]4^:Qy @Ai1u_W׎!2{ \Pz:tZ{g2'BH`v8uY{(׾ae?S-\l;s'CW׽q!Fr ȇWS/F*B%ԡ3oK%t$;QtC9S4`ap+d2wO?~QVA-h*/qI!+(bfga, D^Dla1xbьB84u=)UdZ<)HTf/C4=AཾN RdG38;΅tח oH-2vW{p#GӦ#ăOKCbY0FU^Ϟ~zk"5#EF׆lp"w&r ^SL:8S*&Bq~ F˔!M^z_FM?U$%+^a_dt %L?PW[_Ur %VMrȪ$}PQo #⢨.sM#M5yOu5ؼTPظܹzI'rzt撄 ܡ Rwg6pE+QD(\8 |! :9B^W~Yܪ+lUV%3N3_̫> [q2^4+ 5fa;`wvk`n9֫Đ$^j}<O0O@lɜ@Xg B%Ztؿ"*DUv |Ql2)1$=OLOZ#aw/~)#C,㵟`)^gOZKP؂""_Z2a sY-$>sv9 s/ hElx0{\g Gt9gYZ155e566ffe279a8228ba65d38dbe9f08ac4811dd 53a44ac630dd30bd987648a68f2c704fd95ec4ba 70b6156516dedf8c4b101f9047d7e1717eb03406 f4cce8ef5dffddbb021b83d6b068aeb73038c0fd f767bbdb8c9f31d324c4ae5b483b56c867852e4080f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 9aa367bb8061c194cb2caef837c811362fe2f146 2cd9ae536e69f6a93c882766c3378b172435dbf5