SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 gg1 L|, ]S HOL-Probability-ex:threads=6elapsed=28.172cpu=46.264gc=1.392factor=1.647zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1DcpNNK@IK)Ɇn:#h*8tCm؎M2E.6:GX٬HW(ɬoCḵ~!lqyS8du"|oS ~@7oiVBg},oIXWd''?4>M-J]t0aXC]ɭ^H&ec gy.J,bn HuqA]\ێ\7Ai?j`@&g/Yh݀bk" u֟OyaSM,9A^[*rkTXVkh觝i gYZ7zXZִF! m]ŗXi%96D7%80pi._Df>r'4hx]4*GͧpVX8O(>5upțk }iǤ"K7_Azƃ/)2ܢRE]ŨS99%RaW #Iw9'Bw=rsgRڇ+{uݺ3/NH3WMk'W&0\\A %uڀobs7g~TwJk^oRt-"gy0WoE0+iQ,o@p~مKRV EI9xmFܾfP)G\:u\=eMEm8QHty69_{dPk,R+6&˲/C :cQH xp w.v48B[&60}' %T}v4949p^* WFs.&VIq )'*Kl}~1?yD+|.J;jа+ǝ -сa=ђX!5 ÛU0#]{ukDQNt-lҌF ;_iOneܓ/0vs{ OIRVJ˦|e:r=v LL Ԉ;?(cv"PBDp=VJРIvVd#(c gҝ?~ vVE!7