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 j% l< % Finger-Trees:threads=2elapsed=15.853cpu=26.096gc=1.708factor=1.657zXZִF! Sn]ŗXf1-/6vRZZ-=X@ 1-PUL7J9k^jgHv8] k/rsnՕy_h'[FKC H7Ks-粜z/\|'KzWx(7\*U!C?UCXmջgI|eJ}Eqz?a~M?Esɷ&hpoܪ4l a<$']7'fvRx#-Vb9a"g'`fnTa=0o馅Ɏjm %_D/!&ؐڒu-nJa\ym,M0B}K-A{H@RzA(OE\Qy²` T믓(rpo*gDDλy r0r t%D [RU;/t Wh:P4~Σ3[=x%j19q&fY_!UV͇*Nqzv]"7|8 !mqC-bs0 ΍sCrE؃i}ض! <΋:s16Eh pK${| x.^Z1A2]sŗ#&yp/O!{ Rb[wGo* +8D~Oƒ/!Ȍme5\_LwGވ3#:_Ŕߑ]7zY|fn?D^n,a F%Vr*M=LG[ ϫB:e|.D oCDOdžLD%aJDn?f}RIB,xEи#Xf{.5ƺAg1cwkuJ5.׶ebZ7h5 i寣MW:u/ bJ;zoS쇑1#i&M?=Yf%(<xBQY< Q?"dݢhCeJ_v\A^iq~ H\.+fzh2ֈaduڣىVO !yӪ٠ n4:~pw SڒnŦ"`-R^ 7<> W6b@e'bpg'lѐjaf VjL]rG5Nd(c~Dٟ]zT:b/()r9[Rwsڬ,<[VV%UȟL( ߉< 4CMdpQ=k@OД~st k lF0Sƴ 'A#GS u3d+=|yčs5գi.+rY_6+mh4R>WIH5r|2S]\Uk5mtG޶h M; wt-fDIf+ˠtǠW|\MsF۸ Ҵcؙ4r"M g9. K!jznc2ƑYa9IkNl;lkc 8Ufܦ !hy[2,3j4n} &}7p~K'S%랾zHGQӡG@[ٮx Iē#vXt+G2XWӨf J2uDa]bED3\AfcQj)4}&.pȡ v@0CW.uxl JT=K_9:%e c'dK;9꾻?0l&AÏu?Č)g`sk7{t5ʼnVY;;#N)8룥XUvnf(H%:c=ejJبU5jHbT'$.CIi)ZJ!X jߺ\|`= Nt@,Ϣ,6.nFX+| q}ן$md |MAA}Zpj~OUGGgWFbfKִ {]Asy%rE>{1-B0+_$E< (.dhInDF9 %6?}%h/P0@l u1~)i*jw^y@mHDT:l7@R(YRdЕU,!2E^ _"|Oչ~ـ/FpU"sgO_90_>Ȇ)"uI @g#@]I&ԀDU%t0C޽+S>hb(NEq̅OQ K8[UIGvt~޳"vGHkvt2}xFԞ8eU܇,42)+Z~c薲 bErNe3 ?B~hŰ FFvkM.F=#@>R~>A8F!oJ7bC'-M[b®y{ػܟ .F0._>pD/ށX-9mpSEl| ٱgYZ0a25eb7f7cc33a321c22d613b0e9417fa2305b72 736b9a2d5fbcf5a74e796743a402a2139e08afd5 8e2ea0588484394bc5cce75549dfba011ac8ef96 ac569f73205503acce84dc3475d1e8e387e281a9 b445cfcf1c121742e2f172367878a61977cb56149711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef % Finger-Trees