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 GG6C td ] Boolean_Expression_Checkers:threads=2elapsed=17.695cpu=29.964gc=1.560factor=1.697zXZִF! {4]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DFIUw,J #vX1م:}z u+Нmpl\W$xQ7)H XULu8D ~V%^jr 4}ߡ,1_2/ U'["^N\B:[^BJ)a/&,n?#Esh,8xQ HނAiat 9iA7\ j ,c azF P9T[yExgYZ7zXZִF! P]ŗXiɟ$@u$lA{HAu aCԄ+F=_x<ٞ1YNL_Lg^p=똓!-wt s, CgYZ7zXZִF! `2)]ŗXi%9*]_ n쿏(F6?j lʴ=a_+<i_Ĺ#}L5Ljk[Ӳ'6e﨧 ( ë`;}0š 5&tL}aC۳nQ]-)n'MNC`aN>ֶߟYd!L%dP2>I)*{$N#xPtb?%5sZ)2.&+*