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 0 dDd ] Bernoulli:threads=2elapsed=14.300cpu=20.304gc=0.552factor=1.427zXZִF! ]l]ŗXf1-/6vRZkBO&+p_% #*(!1qhV0"uZ?a3# ?2 !WȬN}qpIfaT8!quN>Χ NJ8BY\C s_?0&!/;s)AH 8m@rGzVu2p,ʨ~F`cA&}$Eݓ9xnIMHI fR[jId/v/[XE >{,2MMl}U͔wJT8^ `9+lVc4d,:S2_꣉mPrA! `[[(avk`jMYڂbUgYZ7zXZִF! y]ŗXiɟ ؁#dN9ԝLf˶.׊εi,BIC2xѰ Rx"ۃi! !`^!R"#ǀa!^x`j䳥 ÚDԀuY YԯƎWTX~\#- G]m^gYZ7zXZִF! Ti]ŗXi%93,^ucs)$X3eh䍐},E4J5 Vr$[Ӻ-i fʿ&i'"i-wqFZYp EVz=FYsiGz')D(QM=st:v VMQGaX~_"7YdfNh4W+R C]@(nר6~}6Pc׆y<%9hOa{&Ʒ_]ujj=ujOGrI˻BeP4~I e&ifRkr[ nԦ5pMI(.1Z+&MeO{ +nx1{TS4/Z. êBApTD:4vҾg-5EI? 6ky|r=Rw JaU6d +ƍȯwN1q:}IGa##.pWE69Co[GSC [Fx5EM~WXc*zfZ3HchI`׹H# XPA]$:~M1ZO3iCpFWN/ߴb\画 ~T)DoܷȞC+%CtmW|'D8'͕ &\ot9)VH~Ű|\/qz8!KnNplQ푹d{,o6^(GwO]TcOJ2ַ=.T[fh̅WKDB? (\XC5;ƗCJr(<2۴I5hJc;- A$9xh e_ [()@}UˋpNJqP%(e &/08AH'iA9g@) l}gYZ6eb3533e8b70d828ceebe453fd43924650f84e22a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 450c54405b003d6f4b7501021314e5f7abe09d76   Bernoulli