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 ~ < < ]% Bernoulli:threads=2elapsed=14.200cpu=19.376gc=0.532factor=1.367zXZִF! D]ŗXf1-/6vRZkBO&+p_% #*(!1qhV0$ ћkLuj'TL^IOky\m|d걅CL=-/pIA3b[AKts/ 0K7HY mfD5)_[#ٵ)]%vNeta,@ILS M1Ex XDDG!<Q@bhQF%"ŀh 1GpgYZ7zXZִF! 0}]ŗXiɟ ؁#dN9ԝL 3(R bV\ph{A{/+aJeG Kոwӱ}4bȀv׆vB II؎&;k4zR%wGbgYZ7zXZִF! MW]ŗXi%6Su]k+# 2=QyɇuI/YCi9{G L?|܎nwNL^gQ7dk]܅޷# +5H~R\crT_EOMYEvf=t@=xtT˶Ľfbz.+{fURCHWX%HDžetf-(S{,!fKX^K}1[L vFWwkAP4P$,>Ô`X01Tgh=u=j}fp|Gξ?-sEu< ڎGx>, M~tL!{&!PV([Y3=v&DYNVS-g7c`u=(ϖ > 6`v閈[ZÀ=hZ5j4j 1-}g5{"{^)ً?/ax"u}'Gv(* Xj(,DKI A{~2uM ka*/['Q͍wK$ǐ2a} xlBp^6lN:4Fan?3w{_7i7 3.Be7 l h\܍\m!j D LY0Ɯió}pȹfFO989Sl)k#_$lձ?(ooyPt2ڷu}_&/!?