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 yy DD, ] Datatypes:threads=2elapsed=49.634cpu=70.588gc=5.328factor=1.427zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$x& 6uƊd1uy`~K61EE2 A:0|x+T{54N1aw* <~VZ =KoU-3VU ݻT7iZf axCEsg宓rǮ\/ y057x bi->1K}h5y>";;_Ee_H֑APb~2|`*dLbe~f8/c }SpH^N[u'\.]5tPJ)2#[a:~X FO'k?ĒlŬ_eSh F,Q7LMt`,LSAk4Al $#Vm.Zm 21Mtq\P>yMdO×+dY}qQwTQ%xre,~X)z&Q1խ'BKqߠyRӑ0 p@A5+W[~)Eq%- r˜*^ɋhOgtɷ@'$'j~,YL d/þegYZ7zXZִF! []ŗXiɟ&zLoQgT1l;ąVuY )*5;'E åNPs';pmo?!PZg"VP[, d%A|2 =A $[d2=e7}`(>!;(Mf-ß:yϯM/Iu˸JXUbZ1x ȩ1;%){ӣԳk9Ǽ1Q -:m~ a5qZ+ fYW.~L3Hp3Vfܥa(H+@RIM]rhVD"4 ߬jbIjQZ56e]@!`BH =g /=tq#TMuCΣ63THyV=|i0t M{F yiIԴa2x.FFwJ=waA +Q7BPHm.5t)xZ'=&_Sf44Cr /U kǥVDdOU TjL|TOm}W~i;ᅽ4si3p%z eCw#N^>Fgqo0Rxj+UT5aB_h&Ŀ{F~'Qy.rO/nQXP\#XXy),L<֧YRl[mAVfX̑Lza5Y62$ΚO^&|8sx,&FеI5}bgƟP<ǹ)1Ӷt)Фd šHШH0I@FgRL^dz)'V<2nca}QF'1ĭs '5{!V*3IڿR+*BpyĽZ+]4x;αsogh%ËݒO /,| GTsr :ba<2'|ɏuxQabϖh9sN(& F+~ `JWY!%LnR77;N{?]".Rz}v2VlQh2k;557#hb7b&UտhWM>B ]ș)4ao`'e TR ,N*OTYDYju_{`8P {>z|R,^6k]FKǛwf-i̎"GŅ44Dz?HZ=_MWVE UGxlQN5M'џ|1⋤Iyr)Tqi:Vi mW;+{>*+V9Hwv)zcL>"UWn@V*]d2]< r䌮D!V#9_?#|;ggVx; T>dsdԖ 蜍i^$HkN<7V5,v]sSC}:gXВD/#˙Bevxϑ(Hm]bۦcv(FOxýCAJO$3A1p3!aFYhCd $HÊ4sazNo'* .Rdpyf+ۙbE1-jg,ڤD gte)”5R3{m<$v#B7$bXϼ>~2׬y Z.Р`V8qʯ=вV )~L}/i+ n:5`Xg)wtmpdj G@!!4Ku#vK:2b*(~)xޛ$]t8mYS$L8[`k P xx-ݦB<:@Ѩ5vgG.jɆH!2j1aQ4}2`p݄VauyjkJ~n*1dyݹˋ!YQrWGaCVMP|L^Iנ#NiSMfhX_f In=Ge9u\!Eʾu\egYZcec9cc5fd253a20f6e590ba38c794ea90c1c146bf24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf 419bc3b969ee6b96ed4c10ab362b8ccdb1f404dd   Datatypes