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 d |D4 ] Datatypes:threads=2elapsed=42.192cpu=61.640gc=4.452factor=1.467zXZִF! v]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$s$D'7CfRKmeS9Цj6 ;Ԯ,DOήD+;˿ըtd%I}Tq{VKBTb#aZT;wq gQ|[{* l|EZ ~lr,+ plaZrs$ V*XA8`J𢡦+E*Zռ^1k@]#' )ǎ7g?";vj/]:;''tu-rdBLJy"&|rO Ϊn;oMy /+tK/*PCF'ZqDM4΁B!pVA};Nvf2 U=] 5Xz~jF0.yO샺l)qjB%ģ !ZO"28B> *>(8A98ްvԥ+cUVK2d-6ڱgYZ7zXZִF! \]ŗXiɟ&zLoA-iY,*GmHgxuu3։9x2NgYZ7zXZִF! ]ŗXi%9*WMPƖ nVUvuogDd^gT<i_o edAvHemlQZAFGMi@)%b$ÁŎ*5_u峝m/n69^C3~m*pK cu#RԥHXq:a`-C)K Y7@;mndiI-r O#|a~97kGQ`H ~ beAr)=>uʼPP #Qܤ==`"('5O~ {e8vb wn -)fߖAYR&6('F @=0]ۑ\θ_S%9Nfp}e$|)?K6߾~_FX۲PGvDѝ4"g|=$Q w:Ck]R). K~n̘fa.fpS%, '+) s{n0H_+pb T!b1$sHG[{8lP0'͚sfv`] ._}" ǘOnxrj9cT>W$v`ssY6V 1Wv+[!Br]uv%N@?rO^"ʍ[iIqlCKpB}3T oCI9 MR#PE} LPmZ9xӖ%< Ԧ7WG*wǕC]^_2&qwLn3N{z ͉@Z0iزdlx[Seɪ5/U^N>r#`W bo)5:;BZcJaT\ N7PD%yEI+Ơ0[ZiRko_ev]F3gHېk%\|AH&^*C0PDǭԽL{x3\)0v̙5R2`fcd\LţOK]]|&hPk.~λ[ew)$t/ GU\OR]9mPO$A^d$f 6;h?-ݷSk͜s=Ţb8!&W"1 YARO9ɆkW2#LH?J g.lR-TDz/Liy }PƧO xk]Yۈ mّbajWL&QXN55,mH|fMH,dӇKȳ:t+ֈnJ)dYj{s m 08˜X?Ky.=Pr]֑'n=N0/GUz^#GA.33g ȸ]3ʮrB60N̥F @WsGvH$P1 lEtyEmqeT9R~Q@b͐چ^amw[Q,/`h4׎lH&Oi><2 l: =㣩V\Ѱt_3j\ն7RM)m/Z+F 7REGq/Byffh[sM٦߇ƨ6]bƜNK];ӻ0;)ַ* 0x֐JY6"Z B mM]B3 (VԪlI]2o-o@5K,p(kFE)Er uV"@48pL.'MZަP莇Iw 4$sgߋȗP3kb35gK(h[{ͯwLR t 4#!X,?[+'Z8.1!URlzV{|{,@-Ni=¯jcj";&zEp El;#uqե{| IbhoSgYZ280e4a1d72f4a3c4f2d5101ae0db94221726cabd1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a 76d136fe2b1f7d0764f431c043fb81a2fa9fedf0   Datatypes