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  W-|T %/ BinarySearchTree:threads=2elapsed=3.680cpu=6.716gc=0.292factor=1.827zXZִF! ]ŗXf1-/6vRZkc-X{8)aI_tTʅ>!diP;m?Fv8LMGۆ#^!ُ :dzp芬נ/m̊ZPF( ~fB2Nԃ_R-nM^>Rׯ;Rxɱ^|BF^M%s2cI VKNW|'qie;yof@ 2rpwf9'`!R\Ϸw3|gYZ4f64eca183d2ca10ae5672a18aaeff8524653053 972a71e76429374e8f923d38c3314d7ea58b344b c95c3542f7d09a276a7aaa667e0f6b256423db1b eb898f687919e77e04a2e8ce0bd6df1bfd218912 f6ed8f66eb0af42e1e543b894a1ba4aedf3869cc554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 - BinarySearchTree