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  \ \!3 \$\ ] Efficient-Mergesort:threads=2elapsed=9.905cpu=13.692gc=0.616factor=1.387zXZִF! ']ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{Lͩz[*bx%Lc>]: ;ခ|ҋ86̅Z2u f,տO7f8$8#%^\W~wWi,]XȎ|u'trDϡ6L  AL+|2(+$\ NgYZ7zXZִF! VN]ŗXiɟn+c͔(c^=N-Mgƅ߄U٥ƃ5c~\@B0`3ƒjWQJ}YZ7zXZִF! <]ŗXi%r)Z>P?~Cg#?o8M͈LtwC}qr{_MO"@K`-IQɒʛ؜\S'@*Ro*:j E z1"Z'f{@g L7gu+QCO,-:htLK_׸;I|J};cBF`'T $-[/$̭܍rտP(3\.:kY3PsB;.B`gXF; 2 Illf? -#5'+7xPXWEt2F`w^+E7j# o>`6L%-Z?'R-Z,,A o8*t"g*ښtWL ԀkmB*jy8˙5Jm!ZZobjq[(|="q$jdG,~.lNm[)MϘs+'ـQ1UF./$6F̉o&BWfA;$:9ǔIe?=(iӖػxH򚡶HV$3|:׉5OP=xcySTyFt1gYZ53ae534f902a756eb656f36030f4f949b8b39a6bd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 168e61d6daf9a7158612b10229e94661664eac03 3 Efficient-Mergesort