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 ' Ll ] WorkerWrapper:threads=2elapsed=11.502cpu=21.144gc=0.864factor=1.847zXZִF! ]ŗXf1-/6vR[X"9߫TSݬ2KܦfJcTunLsNBg{@a2Txngx ,2a7LU[rnHA}m⊀ %TQq!iHEw͍l,dUրPbQ^wqDjr 6eIՌCCV [ψetp Gg r=y"b#iWhe8 fI2Ai}fN@Q 8s[zh!'ĆX42'q)^9=,c;FJZ4WזB/z6%{^bXk8KI /;Z$I!2%mgYZ7zXZִF! FeB]ŗXi%ή++ִkи)\4˕EyYJ~az" ʡ'3 j4$~Z禙g dkOe}I :Q`,kѮ%̵Wj=dڕݭlk ÿ\R([Qy1[A@:7IAèҡϟ0mp42ޮM$6Suz k$5q.;6DB 7jL]9mO?^f5~8rHւTownĕJAdye^R+wri=g2`eN.eFd2Ec3aP >P}d_hUIZx, _M\*1s@g!.˯*KEtTpc'kI^i\_ݐiH.Һ{#\|y*9^?&}҂;r\.p?nřW3r)}rR= ,Oߌz~Mj('wp`N*gK%e26:Hm X7N}ߛOr't* =CDS8L'.Ac~T7㾥Nth @"M_i+f#EџT'>QS;pJGJ|@fD%IR9kEmM!?D'JWt-M~g}(ʀ]]zc~M.2I}5 bq^`;%ioZܼIJЭz* umh Q2cPx\e{m`IQn"ۺίomfGX|.5>ziA cr߇`h,D2iVF,6AܵF! J30Cemg/1ٱgYZdad0e83e768f1854259c0a046468c680f19405cd00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 a4b4985b91ebf3c08780c325dd267ae7a781b0b0 ' WorkerWrapper