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  / $D #S HOL-UNITY:threads=6elapsed=18.956cpu=89.532gc=3.440factor=4.727zXZִF! 0]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Y64^M-c&C82 . *jˆ^}n#\*„)E\zV3J+X76S$!fCs|'[l;U8a'1{x3 UkAR.tIQ`o$' }zuᘮ s#g/0s+)g9^ɑ0 \B״s]R)`RP7{M$Djf&ɰ*g?O78CR0 :B? 8{Xs >=4T#θEI+ԙʈf.q mk#N$eEZy椑HC/>߽PB:)&g*hpztj9 (-p|;oGk .'*wjƧ::D8KJ;'U:CF]UMD':A9 ^-u7S?0\J LwU0TgF*s 8w=a[3b1w_z)YfʲGMR ͡:GKG蠬'uX8'2p(xP{Ǖ¾}| P丛W5'~2tTVsG.½ e#m'_@0,s^-.T=&tJOt0TAz(\;V.#507P.%#[A U<Wp8+ۅLKrߟ 2nU*ps9AkO/Ӿ8^e.ƹ\>v(]@KO9Bo)¶(C]"b=^@jwKQRo_}׮rԔ=SdleA*%7g2.ZN   HOL-UNITYF5EУ(l3&95) :1b JCd LPsB.1Z1B<9kHW!i%8u#]TzOEE.正}{=rξՔ[w#"hQX>p*v֗'>,MU[uOBwDP%N^ 4+b㨽|2xQ0)Vo_5 a-˥gYZ7zXZִF! Z ]ŗXi%6z^>eh~E4:Euu/%78i/'B:*ȘӺ3=7MmgQ_<;)ǗOz0mFۀK`I?OZVK*_lMLM{muՃb=R QQ㰹WNUFeT4#SR"0SCDi'#tG8W`vTL;=pPAO u7-|=u. ;S*w,`nN:ui LiNf¡\kȶ:T6]VG0{ qˇ%C&nXB2\y2."4UU^}5k( >Av|=CS{'0]֭e-?xWC_yӎf 2r=ϒ գKbD1GmFc r P]H\Nd@- yr@|xڏPZZfB @$Bḇ0ˎѤ)uB'm+FXY- f`"9 .Y-eޛgm.͍9Wi8su.=]@!RsP%ךØc E5޳S3wV.1jfe3yNJIAi;wc&w\znH9ty