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 --D (kb?xxv MP ڷ0$ 'R@1x6=9wWTS{0BTIy<-DIͿ¯x=s4J%KW3??b&IyA *Jkc'^4ƞSjVVǁ2^ܺ[JO'AZLŗu7`2cl DyD+R+e,FɁ|٣us#*dhG`"pJᘲE9Tý \y,#* 'u+OWy,1/?e yl"'M) [-~ ^ i2x_X6g!UsMkTj^ApOuKW̆V-+N/Xspu_eB„dJbROb [&R %"73t^PN^fݠ{U;͵pQ Mi4ǨCLat9dEG׭j9p:ۣ.z^XBzeRE*|yќ/Ci PSg/+!Ya}PkOaaXԃIrDa ɪ{M2}nꗴFj('ŠU9MCtF(>S9,3wm   AVL-Trees84pQJtղY ÐxX-DwWQ89yl*']Z],ίO B935LR}j+pE0゠AWH9ޫ+`Ov7_*K@[ԾnvrDQW3>А5/_V]`W(qtmK1JNkERi0Qy%nrdkKkj1w$g'x0Y,eM+gYZ7zXZִF! b]ŗXi%m]no=d|lR朳{7 f+&-BH}olL>X,dGty E%"OXS;w,oLI'Mc _0ʰ1M/=-oLʝAYKk) r pS9b`}mv1CxcIZ; 5ZNdԺZh2D! u&2weNu2R ]I 7긘sȊVhivw_V_ AܯY|[[S64Xkng@ 'З8bxR$ZrA#[m.9B}x)GjH% hxJ@y9Ƴ&ftI|d"q~,Ǭl:@<9,*|W{U&\%POLH!e?Sp0sm¦BJTU &";g:*/\끳3՘*?U=*~7VP#a6>;i=ꭍ%JlIZ֠-TKEp08:WPw&G"aB5[{ka$ ƃ$+Ãam$&b hU&'xg_,ZQ?[N8O<|wK` -xW隃?YhiU$:qAZ[-2EX M6rjy$P ȇDAL,|@l 2![ vgI%ؼx*Z)ٟ4Z9qI<Y b%+BxjL'6N'A8Ml;DFd0<N qAIj7(KA9~?I]+R:z->5 4]Aqv;E󲂖 /<.Xm/Jth PD MB;K6 M~mhm.U~:]a ~@Kie\RA&ƿZZKL/Dڀ|tI@b]%9pCs; ߱gYZ2c3b55ebaa85cb86021ad407f3cf8c6c74eb12ff 8d93ac94556ee3dbfc3fc6d874b4bbbe5d35a053 ae64a2f7f2b5f5602f211fda1a0b53d881e9582d bbde08b63895e3505fe3e258627fee67c001962ab9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d