SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   x3 DD S Efficient-Mergesort:threads=2elapsed=11.278cpu=16.936gc=0.744factor=1.507zXZִF! ]ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{Lz'yWU랞|DDy۩O;L,5sTGk5x? oyx裨p:a5>ُ͛+NR[uGC|`O{XN!=w9W푔:ҢeԖ.]n6VzxZY/Uf>)E+Xnldg)Sc W dR/\z0E\gYZ7zXZִF! <]ŗXi%6ב 3rH 9S 7ArPS~͚v0>wOy$~43 3ʟՔvT^E=(\:} mhs )]M0r% :"l=Տ8 eœSQ>L1*KaN͇g5yD?ofC^O'&iM2l-Q4ĺj@uH ft7¦pj)]kZ\eqpCL{ٸ*AeltܹVMWXݽU~DZ`B'vrv'DYup Ycr%s' &c&1m5V =|~cL91Hra/- ۺVQZŪvˬzPgcpY% s0i wԌd4V>tm6}1ᡭO 0 -/w x0zGaDrq2B[qg 4M2cMsaJZ1:J*KXFY@|tJc.NəFW5Ӛj'oGp ?T"9lH+Oo㦠 ~}vss'=AWtR$BBat($w`'ub[pJ7WM^J>ҖxU UsI%z"o6^WZJ`2;r~*%* ?T9A/L 0zv6 Х-MxRd'[E8c4_jH@@yigYZ17299d3ba8717cd4b2446b784f149c5440aa8081 338f5fc9e0a7f2ef67811da5a8179f13449066e7 6735e2520b3b26c54c995457f3c15c201552842f 994a0fccc0fa771e9040b466dda92c7b26d3507b238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 3 Efficient-Mergesort