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 \D I MonoBoolTranAlgebra:threads=2elapsed=7.817cpu=11.996gc=0.440factor=1.537zXZִF! MR&]ŗXf1-/6vR[;hcjlq[}'Qbxǐ&87a1lBfNV<.dC]ȴDm]սFaONf~`e$̆zR(^an l_i7P[qaXU~+~m飱4mrHBh%zLA${ʍjyqgU>[BI'`=Էr/P`35+_*6u.aRߪe?8)腦(;C10-d-}&71Ouz#9ۺ¢Kokx//nxfN cCɷj#o8KRxU6u ]:i  4ykrnx5aH|8j7jKl-'22C 4(c'V\ ;ggƵ|<Lw X;`$;\Rq?OkmN5)&!>zӿ86 d 'pu b&ݣi/Ih`y_?bjUgWERF{GxlaR+ 38!:Rk[6$.ק?x]q2X-n?ߙtK<~o- ͺh1e?@=:eITϭm6aߋF2,Z,T<8yk6ct RJ.ILKa @4.Tv\U4xU޹٫Si:81rc^~bwO97&z\3"C\{APC曑&hryq_!nWg]lqi'.(<ؠӺS;RvL^薮rs2j&r:r쇂A0p†C8 ,y0@{*_8Jn^z2ԇcĸf7~nbv}s}5 8^]{^o""z8"eVk.wB& xVFw\<)%@ry#r5Өalڢzlc=zw]_?7|-LF cQx yTmVudh } 4XS7,Z )fY ed{5EJ%Ctxakd~ S;gث!T$Fә "0o ""EHUuA"3Gզ<)a ӚigYZ7zXZִF! .\]ŗXi% K7 ,=vN>J0 ~:hņ&eB{4ҥr8TP-V"[Ρ3$D`x]kKRQݪGS7F 6@u/lҳC7y"dK "we4_7͡}"8abT0{]" )JD*mΠDR}ڵi#vXDw7o: JyEf>`M~AHx~5MLBS9w)ǫHV\USZ* ?818aHk4@Mflm ٛyzn)Nmu'e/7:´Se%4_;m)塙6vrf&Oٛqϡq臾rR)ʶ`^hp&穦*MM*_(.uЋP8,#S %KWm$tHdַY%J$#ʄx?SxTlgO`ސ؈?geL \Pg퇑dٛG$ȥ~Fn8`]fgYZ042fecc5c9e40618c8538c5dc0a2d8c3dddd38d8 11684b37621ca381595214a6421fd33c6fbca574 72e9d2c102586c27517df7fa6558aa91fb3a1df9 af4aac2755d20e3b96287a0c09947ca8ebfd5e0d d059e620aa6ac9520de49e5c8cc45d50a113721b f4d333d5486320d9645066cfd4becbb8fac84a73 fb8433826f1694718a1755d0eff1ea067836d6849711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 b0f8c88376f4e8dd0101bc75d25077d1932bfbaa 3 MonoBoolTranAlgebra