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  #7 d / WHATandWHERE_Security:threads=2elapsed=47.981cpu=91.400gc=2.964factor=1.907zXZִF! .,]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL=S vUz9PC[zkW$]%*bZBb^՟vsˡq(KZ\'< 9Ţ]9(S+[:8 'eTxgvps{9C}DI 4ՎYYqٙOҊԢ|UJ:^AfXrm+g!V*S Y0/f1؏ͭp:~҈IԼ GXZ+q-.b9.4F#vXZ-FߌKl>_-@ݔ+bPdjb@14bTf)c *A[~z 3${qz3/K? 7 WHATandWHERE_Security _=+#ZGѩ4=lvvՔюY~YG~&7u##i Ҵ)=]N5.oF뷋*vZ: !LABĦqrIE@ A`Ȗ1G4_sX?2!hDԢVFۭ͢iM¾r%i/m ej`-"nP56WFתV?!WfSR k^mJ9Y)[>Ɨnde풇G*b*ĕ]{lkQyWd2{Oumϕi$?q\A/:lgGeTj8' M57Ħ*S7ku2S6DOe T@w\gYZ7zXZִF! ]ŗXi% @`~ ͡ş5M_VE!dW( L%&1ݝJcD.s1vrXk`TaOnv[lf5h5+ {el^.āuGJXDS/Wi],0-oYۺw' "9kUjXKw-sD帯=?I EEaiUwJZ <,Ly.eU95A^}xsf NxRZ@% XGw:u]:_ӹ<3cx]D羇Gm]oSZs<䈆,䉉, m` 4n;HxĘYTZ܀luhta@Tq5v=ak%PL[cr;I'VOGb?qez eʠXGj<]t{by@n=쇪2J՛D2A2IfKgc\x:]Pq2eTD1s<"/+ [6NA,:2G!{F[8\U x썲Whσq^ypt2+Kf/X_3¿>Œr!"ʩ툿 [^lBi&NNZ:3?E{X]e!:9c$Utg[ՁV4?)+]+q7γp pj GmV j,?*uxu+D̅Z4ں-fC5!r'1;wEW[#,|P ISZթtgť.tcjDgWԔKh\~"eN[ugQaVY\e3(FSy4p1 0y'ԽYtV!(ɖy(keA/fCB0k@6r/)P]1*/k·{(n\w e{ҧ@8IzlK؜CMO+lrsCO XIJw%v? bPcm&Mޞ_XdxhdWڴֻer2#?su#`AXlK)K fݛ?=)[[jK'PdDoJ)&E}>xW_ DRuݞ$k5ֹ&R R{lԇ 3GI|NsqLI ?dr?GKZ|!.7 L7o&--*kvOVI#MnkfN>SowvWMu3: X+ɜɣ n p[ںXmw460 PP@>َH"0C#CO<$b))S n1Tt , Wע*ـD z"I?S"v֘KvxwѭP^8,b`2)61?}aI z@_x`3֟߇ɓiY\t5=Ym 6+ɌuPe)ai~-| < ,@5JOI$IꡍT9#fb]|ol(vj-}ofOUtydu[h˪6PGc Eݨ&0U =[y wꪉ0CpcVL:9Y ;`Hȸ~<޲@S",>&h̀lRjAHZi[:^$  K^^(y8̱\RLX*e<<}k%r,GM=$wg˽/@UʀnXyRXIT Qpo(9 R'W}I 1U./;ANLb=<ܭf.h_Du8tzTѼ:#^x:؄<9SD1~m U^םU S"K3?F! A/j5 BsSdX+lRzI BxfriyM<`>[=se+=>LfKpWҀ3Iw9`REp[CA(