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  u=T w Tail_Recursive_Functions:threads=2elapsed=4.877cpu=8.444gc=0.380factor=1.737zXZִF! "]ŗXf1-/6vR[k})d4m 4o=>2VW3<g]|cw+B ޟ:Ӵt35 Wњ<xܐW&N$=塂ĝy䴑&, A|e_,tS ln-zhs4ϔZRxꅺ䰤I>BTqcKcoyʝ@CB(.vʤe5U\ݱ'FԾ5PG =^v+4Fn`N- =m55G$9BgYZ7zXZִF! "]ŗXi%6  PulEfL"ʫz$a@ ;Hy /2l 8XE>u ]eЙOXD6sV@:A)2x% ǻXPH&SR;mBZɸ )":2X2Ɖt8GKtm>RLVV҆!ۃ<Vbh#b7]S73q#>:]z16F~ur?bTûbe4HҸOh~Z ,gY$:QFS|,ӿZ{l5n= $D^̂Ro%.k4F1w!Xq^YsUj?AޛZب3ErK*gYZ482081933c65411080eeb8dce3c87e1fed9e7f2f 7284de7108cc21216686417c9c894a2419534c28 bca9497c07ee6e8063469840c42e6880fd3d4705 d82eb56a1238e5e03c7df3267c7b3855ddc4df11 ec0e142c5493a009ca2ee8a268ec69ead48e8128 efff4aee245ec79abd34cf37075c419562228046b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 = Tail_Recursive_Functions