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 ##Z t| ]w Lp:threads=2elapsed=40.050cpu=69.440gc=1.488factor=1.737zXZִF! &.]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\fuFSDphh'[O0𯺊1>+0Ԯk5vIbo.Փev8+z]%Z:=~ ̞!ղF>iMF@ dҁ?/M\1?b"ApY$$&T O`"w/F,>/la@W ߑ+KB]~Y(3kK܎CWE5wŧ(f9mqEabg wr[XkOR][7{VK|G:4ʙl(y:6^EKMcYE?݇,~bjA 'ʉϥNzM&nZWb91+~bXwqn\ dG]}Z.76RWx;=q965/UQ")~" dJ_|h0ƲXUP(wF01<$)GdIC7ySNzɃHV@c) d7 wȰ'/DyÊ$ms/#DO{?4l)Eϖ,X/fclsjur֎ߝu5P8KiqZZ i4=`N*!a&igrt_Q`H^N}(Jo_ 2={:Hz P8>U]wBΠ Atd l^X!:mƦ7 .\|_!NXBUj?JX`]m0PJ:]h+s"DjC1xT!YKT!,+9;Yrhb=JHL>2ej{cMf<#!eL ȾNݘ=g2. }k,f]De *76}LDKpgYZ7zXZִF! | ]ŗXi%6țb Zז: 0:,\ N^[eY$- \oͽ8Zz6[ȋ[ Nd5$ OfX'Zd*B"5)I|W o 0I _oI)TRƅ6Nzg ' 0=8w<Ūf͕tڻ$m##GX?US̡+z톨3-4Ov&Cx7x_0)e&fq^=JV-4O:P hgYZ21a6cc5961e912beb926b46e58132f6501692146e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 76a68048e9407415394a8191e7fd2daca1c1bb2e 5e546206093ae54dc23dc992734f62db1f8934a4 c0d293a29d8802b36aa4afa92b8e33b032a21e03  Lp