SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info LL%% ld I/ TortoiseHare:threads=2elapsed=7.907cpu=12.496gc=0.296factor=1.587zXZִF! +]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHly{3 JR̎Y̷G'="×]]o;F?:o2ۺڵylMh#Ӑ OyK_D % TortoiseHaren yi"it*Yܨ 7ЧKenĻfvTa\c$&}ML #XB3k26z,8ٺ-Žf<s/ښ?0+`CƮ4ghu]6N:LJq2{?j:[6opÕW,L<ѓ QQ U+AgqZ qlO|u2},VF+xa]Ri'`hk *W=^vgYZ7zXZִF! 1j]ŗXi%B׆]@6?5|8=n.qz ,le}G=pr㵄9bHؗ1L_5P E{"hlR(擊VXQ A4e৩3D z`*JC^ю:4EfqY?u˜V0]XADؠ#@XMRw>1aF>?8 "ߤ~I(W' ,{//d q*_%^H,O  & ^ 8` Vx0Ix~s[Wt!ypVmy ıSa,r%" 2 sJs4GU.i5ɁFp}ŠW[:zphqvӽ-;#ũWx%ΒeԐ`a ]mDp8չvՋ]*~kM\}s'edQu]'05W6ópK`Nt[FRPMٛ" dPʠ{.9BSS{rmZFC#^GI6U6OoB-VDEԯ]FTkI}ncԳ.C l$XI2;y<.+S٤_\؂ ܑE/|iaiA@.Rel|IXȔvӒǢaAO<ňOX1ȓ.T;K4sű7%x AjEw'xYLQSbQሏ6jjxWWQve@2f߉ΌBb2 gYZ059b39b3c71e408ea02474875982517bfad13772 19e2cf0910b7071efb7af8472164cf296f5e5ce5 42400f19e8830f3eb7eef1e599b0298d3a617449 8b68cf377068d359bb682e8177940c0d05e33582 cef405a4eae01a712fb3cd3a2ac870a2a29b7033 e6620216318191273215b663199973260548bbd2 fec8b66b788018618e3c3d8415bb381ba89fb008d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295