SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  M M(#4TL ]S]HOL-Algebra:threads=6elapsed=26.947cpu=126.376gc=8.136factor=4.697zXZִF! B]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Z$TOI|ºHzR>'LNR<)[K"Ldű.Fi(?GNkT> z' <# cדߓ=ev!O1q-Cݴp*1Ywl@1 9]yݐ`g#ǻO+BH棙1S/BT.var7c>k]5bk>1c_HDCM\R- D =j/\;l(/5i?aʡ RTQJ^ i;?l>oPUtHbE\G]!3n=} -vF;\ `5fV'HZwGw9$u83dR*RRYp0&#%y!"A:-0M̄}vx8mni;G-) WktќĞ y2\7PG%Lt [rX|JLjuD񓧱V./~J$RcxYWGVUgp%Ȫ\@ҙeIw=k#Y˵[81-FdHz9~N4qQtGb-/D 6ifzөòKe-\M[.o ΋ρLjHimWeSEucΞ%x2jiR({2{..[}On$y2^8LQhMߵJ t0U->hC06C\\ TBm1D͠q5;ANJx,/9DreP~^ա_|]0㛌iN \L_]J5mg'{Zqz@Cby X/LQ#ۦd"4C b`q\IDX40p}z+檍Hk:5 -%Dޡ"1Q2ɁLj'nL `"3Ztr%$!vJ+ɎZDHuGO$<+B*f jRϼTwZ8:@޹ܳ%e1¸!ͧ/[oi.QlvnA?Ά"{b=(\6Xh_~կq8Z,B̲Kxt)f$͔Lg.G d.@#V|ә7 BeU fL)>tL@ˊ\7zc3\<` Ѣ CI|3A~KýW#`[m OA2{!ʗ kZzB1k[&Gz;PX #Q8,%E~prҥ%?KXF8ƄPidÌA-!"R"m7ߨTq!±gYZ7zXZִF! ]ŗXiɟ1`?#DaCu8g#NCVc f[(p,8 Ğ>ދԼsv:%6@\Ä?to<0##D, /:2Cbc Q89;zs] 0D sZQ5 yLoٽro=J!V0Qw՜AR׆!TS/D Tva5msdrAUU` W@H%q(ow\~ԙj|}_Xp!2Fiy Ն,k^ V2@,Y2wJӴ]pRPicz>JJvZzLiJj8n鎻]h~z 4>7,L]#k]c ˱gYZ7zXZִF! {y ]ŗXi%;XW?m₺DzpٕԶ /1M;hRRe!U rmܝ$B/ NL)bgeȁpK렃B8ڎ 9 !b]O7kꓨ8%,O$NYMOl6V/=/a!_n^n > +NECЕ2P=>C5Nҋr[O N0qP/@!ճOW:opXrֳ? tJr*Z*/w8@X6NkiL1oqK8v@BYK=( ^sLw`VnPie%aDY! m>/R- ̧ZYx~0fO%˪"ՐO@KjFl&\ ?Z&'n`w (M{6G}ۃ]zE1ݚ-ыfwWwآ оs$mtƚH;ⷙ.}#K/ZsCl!|mǎ|xh2~6(SIL<T(ϥ@BD.eUVR]CN3Q]9@QAM6ƳHAb4YLoI}*ǔ!i1 5ʸk'?~8\|@}jHE':"X(9S.䵙%_ŭ4PۻPhod˙g~Ũ;N7~%F#>&|'W:ewoKTZ'VAfM6n*J)a4%,$ٱ0{b}ZO,o'B#~*$&ÐaμMTX6坒mO$yC֛,I9M,OCހeFiB,EM6g=@G2LVo}/t,-Z/yT;-eK+z%D/ͧ38Z6O _*}$̇+sJ=Suf"5QJΣofk@6 ED ўQmpf@U9h+Ͳ31_|w]13o]vt0'غ(|_=h|>Z!)n$Q1HwUK:q7 ;P`QǠ=UK`gmm!Ӧ&zJKK$S!!Iv bu7ش#Vn@.cD8 GE{BU11v`,}fjRt/AA鄾ɴf=SuCzrg)`:P&C Zr80CGg{WTĮB ͏Kkj#2dRcv)Lz2 EdWtQPnU@h~6I,I]:\:@DUɩ'- Ngj]XkWdN#9cZM5] fp?F[D?«᫼"ӯmkگ|&"lJ}^G/Aoq=} QH8ѡr^T)Wݨdwz჏^P+Fxt1G;Eb( K2`H|,bעDFOGfcFOc|.×=±lc \F>24%anY_ÁjAIZ) [(\NIDKW#˪܆