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   f3 d$\ ] Efficient-Mergesort:threads=2elapsed=10.345cpu=14.272gc=0.716factor=1.387zXZִF! ']ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{LG f! 6Poe&BpQHvsݴ8]Q6dͳ[6m^IfC-6;r<S74:sGO,]>*fʉw>$.d6]2$|HA0/ ٳʱgYZ7zXZִF! VN]ŗXiɟn+c͔(c^=N-Mg>SI#@\t~\&'eWjWQJ}YZ7zXZִF! A]ŗXi%93<kJQE.^Ft; ц^M"}J vp?'֞v@w2X 5QzmذrL⾏o?(~lY굲v/84O>2˰Ї#W3(Sԝޝ;R?hTݠoA =f*ep'@4t|J!Qv:+,/ ?}E1Qf0Qïֹ'x6.4Q´`Xۮh^|9P/Az ܫe$=T-\lq픚#X^P7[~! j5ܧ#7FLv׆B:gU[ Uh $׎(mՍ^lǶAuFs0S[.d-PcFhPXB2_{fs;~DpYGe@YS)7qRFYsrrChSX6BjԷwD6uNF@=>db`^8ByP!W;z腵-7SԡX.1_w#ŋ:|5ueP/p3Ar]|c>smKx ص=4Y, e43`s P9+]_H^ZD+,tG#gYZ68d541bdd4c9aefde7b7d8f164f8be85b2b7b822a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039 3 Efficient-Mergesort