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 GG6% $ % Finger-Trees:threads=2elapsed=15.860cpu=26.420gc=1.928factor=1.677zXZִF! ]ŗXf1-/6vRZZ-=X@ 1-PUL7J9k^jgGTA;JXuJ 60_(,B /nh0U.˘şv,W,>i`28n7%!kӘln*vJtBiXv5wowF3\TQ .%r娓1~q߆VΥ,kbO9d(vB`/6B%_$z=o|۳vx71!PhOTo?5<Ώg@>g}U4~?#J.BŮ.eU_炀$ls{bYǜՔ$j7yON85Ulw0 2L9} pt` ^:f\\'(oq3gYZ7zXZִF! R*]ŗXi%6y4|%e?Mci#וV)A0Sv<Wh茡ͅq4 *g٥wG:ׯȟ#&ʊ< >#sC =N^\LX#4##rϺ$`ҔjmѝyC ]lRN)O5먇 T@V]e 8s:!4^Pl:II͊( 7R? Vƌ0g[x;ƖZQU|>y[GR2!^<%Élҋr[`'YFd)'>5*x:Ď"L9U~k.DB^\VNs=>O!.͙-n50~ZTKN]XtДS{cS`7JCp]WQu -2UPw"!){YJ$;. L LS'vc2Lxz%1yGzqw7BB'k#Y6:F,6mJz,pLfK;likB v[QDV[zl::DtU/t`D3{lmCU`"{%;谵4Ѭ ;O&6RzEU,p. oV/SwM#v]SHqfd)*O?1y^!-E8T_!xŌY~͞yv/NMȨwސiqArRM oɍTx#+kӪCf@yιbDC0?[Cd"8jdը$(@>/۽+X$nHO2kHJC~usH (.lގz r$]NgYZ0a25eb7f7cc33a321c22d613b0e9417fa2305b72 736b9a2d5fbcf5a74e796743a402a2139e08afd5 8e2ea0588484394bc5cce75549dfba011ac8ef96 ac569f73205503acce84dc3475d1e8e387e281a9 b445cfcf1c121742e2f172367878a61977cb5614554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a % Finger-Trees