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  `-t, ]/ BinarySearchTree:threads=2elapsed=3.500cpu=6.304gc=0.328factor=1.807zXZִF! `]ŗXf1-/6vRZkc-X{8)aI_tTʅ>!diP;m?Fv9_V+4z"w`\&i#@䦥}c)L Kj!fqtM]rҖWdn,fQمʨ>d[~`^ ̜4B4!t쏡V(yQ]23Tr"ۛm,O&ccy(JU;YCeuVUڍĶ12)B]b&Eh2ͼYnuߚ4^, 7Zo V]<+-gj\P@^C3/qW:Vչ04>})=1/(  }JĶ#QE6q:eKhm uM(p]0i)r Ύسf?"* 6qәb Yܰr/EDo-:<LUq2O bV3&k]2Ux؜{cp8_:u=(|M^XENC ‰:K=ga%\4OXTʏLgt?~nV6j)AngYZ7d6940eb2b5c2cd49405933bfa08ab6e7fd2094879d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f - BinarySearchTree