SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info WW-L %/ BinarySearchTree:threads=2elapsed=3.311cpu=6.524gc=0.328factor=1.977zXZִF! ]ŗXf1-/6vRZkc-X{8)aI_tTʅ>!diP;m?Fv8LMGۆ#^!ُ T53{O&6&4CV!2VsM ⵦd=ݷP@uT ˯k- `F2ᩰf[-8P<9w&vuá6ez(_߶/+ڜwQO.  iـڻ\圁P4,#S'qҏ?{ Yc>s 6Q?}yf3;h`]㍟ - BinarySearchTree}+SgYZ7zXZִF! ]ŗXi%m]qhڮ=>\Ё^_<oT/ք}pӘ-P~9[Z;.vpWأN2 7\#Ej4ʋTal?pIJd7#.`M`^=d˹}2l9Sv(b$ݻ;~gEKοsi1&+EJ=}K_ 47<=;)1k=ol(2IrIY.!3+Njn7lX 7N"/@л4ܝ~.qn-YI7&U̠e