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   d3 <$ S Efficient-Mergesort:threads=2elapsed=11.309cpu=16.832gc=0.640factor=1.497zXZִF! ]ŗXf1-/6vRZCV4 JpۚF։}fj.gP {{ @> ,BN]9jÜP9si];:4(sl _%v.,`3˿DU)5kȏ: }F;ygSQBGP/='!bNFK^q\\U#5_DޘjfZUG}Op*!գn6lb(L-YZJq\Լ Zit4pܦ ;*Ak-|t<UkxgYZ7zXZִF! <]ŗXi%6y4l`yVq7ȋh;FR{$EBZ-:0ߕ);HyS"Ě=JbXAi%䌲%Qv >j:ehv2QUvwH9J$~pͯt5J~Q 8-fp|[{I&GHŪe5%^fx7rp&|+}`l#X}|^`Zb.UT I!{5NXEb&Qr } UŠ#ynd!u 2"޸m}zs&-JmeDdGx7-W0ȯ5"<4*4Xs5L |g36oy秆|Ztz3>qu`:< [1n `O&`Qc&Td:<2H)fJ=v" BI