SQLite format 3@ .  YYQ77Atableisabelle_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, "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 3 T I MonoBoolTranAlgebra:threads=2elapsed=7.927cpu=12.248gc=0.440factor=1.557zXZִF! Q?]ŗXf1-/6vR[;hcjlq[}'Qbxǐ&87a1lBfNV<qKioWZ:R\e& '+zN? >ԉg\)ݍ8)޷o6#)9su~A 5d_ s?"'pI%w2 &A)5h ߋpq {>biT}v2UFkLGvSEx((iZcS265'ωn@T &8H~!x7^&eRv?=M3oǩܥTrG`!hq R'n'\R#vɹYn#ڣV_'Dt2||nG R4.#WI#IϗNa3ʧAJ8ɆwZ[W^~j~J>҆K/|{"5fB!ɀk|xwElT"&k=@!7aO\U$YA^jW] uȻ?uB n,,R׭f+Č^GZz]+UP6L7ĈSE/'s^0xE ĬsK`|ؿK.눥e[NC@G)JyY;=q$@ZTzSbIVNQ^{ tP2,#~ܬȵQq[mwʚ* Wcp:Եj*p':#-۴}gJ&5ƹ1 NZܼ$GBu$\#YM!.׵QG GUW :Xpk8B8*cwⱖI9ץ#`KLz]@gu:1,Pgm1psR|+B@&kHA$uL0}jF>':wR8c⑎$cm^2c` SgYZ7zXZִF! 1d]ŗXi%n8JIfIގłX!B&%. z<T>'E{X\NkMZ\AK)D#KsU);'I:@ |w_븍7WO=fB(ʋcnk4;{:|@ƸKԌӏAxNC䄋H*S2)Bfh@MsMopQ"=X5%yMKvu;DPk(IG{G;3L*2CS*VGڦpgbX˓:c!Lzމ;M0믖ywMkL,2o&j׭wtX<B]cKmz HtĪABCim:w?ي>XHuI'&WL/4G- 2= U ρ̕mp_zZF.'y"Ne[<رŀcEm`[;@fu`1W ZY8mFtŸ-QW@hN@KqSĐ3bٍTgYZ042fecc5c9e40618c8538c5dc0a2d8c3dddd38d8 11684b37621ca381595214a6421fd33c6fbca574 72e9d2c102586c27517df7fa6558aa91fb3a1df9 af4aac2755d20e3b96287a0c09947ca8ebfd5e0d d059e620aa6ac9520de49e5c8cc45d50a113721b f4d333d5486320d9645066cfd4becbb8fac84a73 fb8433826f1694718a1755d0eff1ea067836d684c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 32d2ed00dcb9dc842348dc13d6f7d21b7bd8a48a 3 MonoBoolTranAlgebra