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 }% dl % Finger-Trees:threads=2elapsed=16.645cpu=26.864gc=1.852factor=1.617zXZִF! W]ŗXf1-/6vRZZ-=X@ 1-PUL7J9k^jgG vR?TِӞGvxr>_rTȦS#Hx~ 2<Ȯa8B"|ƞsUV0g#IoE <}EeghUY2eqP ȃAF1z^^Ůl^;!ah?F;B M)ܧ>XB|lRgk ڃEڬX8HäJnמTJxMׂAfQt!]N*඀/MRPgyC?h1N4S &0(BLv%h-+t)6% % Finger-TreesܾkC ymm NŜf<4]B6,HiUj0:7xL)ǜpO*T;uL7z8!g=M{V"heO+` x-Bee'<]z}9r @G6PjKCD}z<䳔o-vV`].7눶S\1] =ga_~=fXYxAbTߪC$;Bajiga>N?>uJe=g G@[z1!<"i:Äq8rlX5&.+ %\'Qu3EK>G 7-ǭxDEP(|h4o!6ag># AlQꛝֳ]k>hz]4@R>'wPHH\l#b]$}{2=:(0qM^)[ݐ ^|oU0;NZݛ߫I4 jA;ss&<\&y#NLfcI'(PlhڹGJAyO\qsz4a/-HV͖N&=^k.?MtxD` tna/r?wmrH;:qwfz\N&eRi~&[ylEs6լb|m %H~rϧ!x"p9%B߻xi2B (sW $GC.i|D09BZUM*)nv[{g[Oea=)z~~F†,qrߖ 2M iMH dYXM;PjX5WnjCW jS+𖅝;(ŒL]>?b$E=e_mE JmD1W1VkBRhY tԑgYZ7zXZִF! V.]ŗXi%RM&PZ'(C90'I+HgdHكr(e5XnƓϻ!˙c^?#ͶMC"?\6ZC>wx W w?jr_I) sEnh`zu0p+;kUa$/RK4D21ީvz@Zv"$Z))-xhJ]mGri)PKb[ƫ7 >4/]Q\)POҨ^"Ut"G@ĊN- J"HT !4~O M(rZE$RHW/R䌊c2uE;h<-܅GyKqAj/AĺP3 "5k!~$錂+ Ъ -}X ) P*6W Bjuھo5PD{($un^\Pxdۂ"PpsBRtkW [])W)`?j?ԐUq1j "|/(L;1 +Zf%7M}U/&hxVegk71ƀ}$F̀ldRRf=*s1UiIUʩDp8Atl,6*R=·%+E$ј+P)piXYTM:޼#vtc>}> \+8aMq: 57!z# 쭯%Cp^+DI3cvx9e@/U8*SlIlYPuIHwI\?FiNƒi1Po9 0C+ӫRֺ LQCj# +d4U5hcl> 4C=.@+AI7~ K ­Q(i-gYZ0a25eb7f7cc33a321c22d613b0e9417fa2305b72 736b9a2d5fbcf5a74e796743a402a2139e08afd5 8e2ea0588484394bc5cce75549dfba011ac8ef96 ac569f73205503acce84dc3475d1e8e387e281a9 b445cfcf1c121742e2f172367878a61977cb561480f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c