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  o o3 \$4 ] Efficient-Mergesort:threads=2elapsed=10.027cpu=13.604gc=0.600factor=1.367zXZִF! ']ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{Lͩz[*bx%LhPa:Ø`=GCsH#9cv#i3Fanӌ=lGֆ8Id,B6 <;bv!&ACym7NoeBމL'%k,WZs>nJ E)tgYZ7zXZִF! VN]ŗXiɟn+c͔(c^=N-Mgƅ?E :%xӓr*Dff˛[kjWQJ}YZ7zXZִF! 8!]ŗXi%9#qw_z2WmD%j IhfwrK^0}[m51Ur{c%+o= _ľŏ@{- WHhC.3NjHMc=B,! <8! }@h&Co"oڼ"hu ;1wI@D\_zU=G¢O,ǭVL+F'g,Pyx5qtD@/uwFŒWe)Fa̢U۪#φL}ǞGEdde A1Zm\2*.G)"xAV*|!WيҪf) f,⌦ Иc T gfT>"o R8Vyi~Nop«z/x@ݹAdZ9pPqRU衆__ vTrG4$I5Tx=S/ C])WJ; I>ᘊ^%RPmvTA=0GLh{{ZKltMz-:U{!)ڎnA>.# p'g!AFOۓn0d_ 3=O [ +d:fv²d% ~GS]eT((Dvaהqa?e,')![l_ڱ{4׼YFxŠ,$*ޠ,EH/#_񙶨xAC]O 9=Kyg@n Dl@ ZzXHeZT7h~qIZ}yΆG5ZN\J2pgYZ4905d84c7e5346a15a0d06b8c6662777fb30e70e8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 3 Efficient-Mergesort