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 kk -Ll %/ BinarySearchTree:threads=2elapsed=3.192cpu=6.336gc=0.260factor=1.997zXZִF! 7]ŗXf1-/6vRZkc-X{8)aI_tTʅ>!diP;m?Fv8LMGۆ#^!ُ wGH6Kl?o J|6hƖhWE$ f'~(䌨fր "?/,St{+RCϓJ!h?sJ o68$O5&A]^(`YN;t  ;xx{'wPe$we5/bn#I&AaC_1SX{g QTy8ԃkv*fiZF͐dDE PZ-HV'  yKLjͱMz CgN,bfgǁ@hŁ9(h >#mYQgjh!7$?2 ]G5Ҏ8 n.^f 9 - BinarySearchTree.|4Rhee,dgYZ7zXZִF! m]ŗXi%B׆c`3:MyylFRz[p ,4 CkBB7hٽhq9 J'$eDUP>ZcKauL5Q > p]3rj9ș1 R87buדFv&%64~kie%C yc 7zw23#0 f:p]$UmU?C422! X