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 MM0- |L ]S]Stirling_Formula:threads=2elapsed=16.923cpu=28.256gc=0.872factor=1.677zXZִF! ^]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z2q8 {d@[w Ix}0 h!rvRM ]A!kS/ zt_7C4V%mLGL g8!ۙ4V4d*V%˱gYZ7zXZִF! `]ŗXi%92v"3WLpӧǎB~̬%ĉ7 po^1M `JE8a. X f3A"^YbGC5,Bh(&jY[&fG5pB q2;ؖ^t{Uˁ,9D1\w?$Cٌ/B>U\.ZN&sW%dgSts'rlN>+nc@jTƲ/(]CP17$°SjG/vZgn# 1>V*?)"{;J.g|H8s'9  |Wcw <( }ykIVHZ5IQ2qrC‚Oss*k£dqԔ6ђB HXuqy yMLism3X40.t^j{@a>䯤 HUqj$  Ot\zN -㌂TvOٛ!cvޯtV+&Ղx51?uXS4ɤ\@RvEo45nqә.uꯍV櫿SuiخןYJ ɱDrR*:6c{EsJa@ 8S4S9#~'# [8-Gs4?8b,[e7,wʵ}-+OxR݇)_L\qSRN*=NhS.bU  tQ{= xW A~x/L5uCb?OW΢Ywna:TaG.Ѣi\쪟8T>5ţ4UvX?Sf[=wI.P,J,D?4F7CVcSf٣sqn;T1T1ʄk