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  M=T4 w Tail_Recursive_Functions:threads=2elapsed=4.800cpu=8.300gc=0.408factor=1.737zXZִF! #]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+B ޟ:Ӵt35 Wєwu13~XOBSYkK2b=ƥRBtX%A$ x,!wsprXQ}w0#dr4zFr./H`?_ʵ9ۻ L];>/ +${B/"e``K#m3' _i*FN/W)]VX×豲W u)G@鉱gYZ7zXZִF! ]ŗXi%6ukVfuJ'֘r 姤`?߆ cSςɞdV؁Q:4]\f)tx}J2/ OޝqPXo+\ VRRkTqW;34^b۪ R *r5 |`&؝r:Ft qĸ{e](QadȚ{Q6   <vP1!*x9.Cr+ Aw _ ^+y=,R~qS*$j!)<Ee8\s:_^1z #108^*BBŏ p: !Z )1%5J2&3RdXRpU*r.gZʁ Px)=$&6#q!k8c=bbg}JPՐc] 7ĥtb/1"Ҷ$dٹ(lx1wS! 'XPY}4ϢB3z qݞFV抔@Y%w̘%<]/46 y0:]0G_0.C-kޤU۬[fV4_6swE<ۛ+u xEL<+N^1FfAYA%+r)HI _ك), PJ=H2A2LggYZ482081933c65411080eeb8dce3c87e1fed9e7f2f 7284de7108cc21216686417c9c894a2419534c28 bca9497c07ee6e8063469840c42e6880fd3d4705 d82eb56a1238e5e03c7df3267c7b3855ddc4df11 ec0e142c5493a009ca2ee8a268ec69ead48e8128 efff4aee245ec79abd34cf37075c419562228046e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b = Tail_Recursive_Functions