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  3-,\ %/ BinarySearchTree:threads=2elapsed=3.526cpu=6.452gc=0.332factor=1.837zXZִF! ]ŗXf1-/6vRZkc-X{8)aI_tTʅ>!diP;m?Fv9_V+4z"w` 4LKhQF'= tnOyzp6 ݕ! $qo?ɫJQ"}_^tT$6.oj3VNN)G^+2: xPaYs$&[gYZ7zXZִF! f]ŗXi%6=Nʩ' Et^E2ʁR-JTE?qv/DO% (u8,c.Y͡e{oxSfLimE2nwL @ǫdžtb&D+zX>1ANBɑ:tڣe bZ}pc{Sy^8r FQML.&\#^s& ťVy{5^dgk(B ʺŋ|B{<2z'Px*ۖdP'}#{4!uK\dꗸw;0Et@u@+Jvf+?ނ"+9$^ r$nu~< Je|r!FY ^7e来KLR3l?8h*/94%z>,Ø4Qcx$V-D8{HY%=r::$./B%MpJL_LVnPoyF jMʩRRyj4KTk\E-œ9v%AN!tepjBɾsPPlEwBّ~QE5$8gYZ4f64eca183d2ca10ae5672a18aaeff8524653053 972a71e76429374e8f923d38c3314d7ea58b344b c95c3542f7d09a276a7aaa667e0f6b256423db1b eb898f687919e77e04a2e8ce0bd6df1bfd218912 f6ed8f66eb0af42e1e543b894a1ba4aedf3869cc238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c - BinarySearchTree