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  n n-d\ %/ BinarySearchTree:threads=2elapsed=3.223cpu=6.416gc=0.276factor=1.997zXZִF! :)]ŗXf1-/6vRZkc-X{8)aI_tTʅ>!diP;m?Fv8LMGۆ#^!ُ o3Py["(dܯQEVRo&M `υ T@!Ov׭Rv`uX݌~vo'#pm,3Bs_={_ŗڑw'DtCw̩w:t_8 ],x /4X.@Q/cc8knSfa@:,j bnnDNۋNc/ηG,Ɏr;iB.ƇEchMu?( 0ۓbO\ӆK">>[ؘ5%H-ȡR_aó<5 Ad✅]"G(e6 K^ǹ+ IWW+Z`F VMQ4mITO -Ǻ. uGbl`{/,ԌgYZ7zXZִF! e]ŗXi% Hﶣk Y7rB^>qe6E$p"M= #Uiǟ+ؓt^ub/2 ?\C(qWj#r[8:$6Lk򴑖%Y,2c");.Ais ]$+͔^,Fr!ɟf2 ׎<ɣP CD6,oW:~3j-fm} AؖAZ0lJׅfs8FvAt.>eə͎3q+QZcQ@]WTuT(|Gj́\X?sqВI0gZWǠQZ«TPԌpy;baj5XǩdEh})cǛ'HGb{O|S: KZȏ&8ffinjf^bby:bf}=&bZ^,`OтQ9FOsaM K;3Quǥ'mhhi: LBEH~gl vyԵQˑ@~~9uvI>s?(IC3gYZ4f64eca183d2ca10ae5672a18aaeff8524653053 972a71e76429374e8f923d38c3314d7ea58b344b c95c3542f7d09a276a7aaa667e0f6b256423db1b eb898f687919e77e04a2e8ce0bd6df1bfd218912 f6ed8f66eb0af42e1e543b894a1ba4aedf3869cc9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 - BinarySearchTree