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  r $\ ] HOL-Unix:threads=2elapsed=6.748cpu=11.164gc=0.732factor=1.657zXZִF!  ]ŗXf1-q恈>HAHIq"”a;E HvGl "9%i-3SYe]kDʛp HIx@40ZHđ/0W[%MA ȡV,?%ĜYAvIwąxuboqoORxDYJ`*'NkhG,u.)ScsgeR0z2{ %zP꛾k0"ԂG<_ ܗYgYZ7zXZִF! e]ŗXiɟ1Ivx*`(rHQ ɅeXa?Ie%jDHhh4~y5p5s+]lSB=@ciyR=gYZ7zXZִF! .C]ŗXi%96Ua+SৣSEʭvFQ&dŧ LZ;7s-k, ~On [ܧ8`ppa !:c[U57T| ǃBOB#\nKr_9tCr?~(+a:[jꨫo "'`p!3FbJEI߫0ҽ֝Ag?,-7P,d=׸e8|- [5;92)FSxlqoe?]Z]z = ~+D5+W?X`6F"IX ,KKhE1!#|d }G1 J%݁e~~9WnyK6 S4oY>kdɭ4e,;4'nv )?vw0@Pl 2{c HwhG&gVSvt< #bM^j hX8D%C Z|g*twBG B Agv-\qX9 1R0:+E|ЀKk\lgT@Ȳn S t{Sچ D+W1^*zoPCnvIKOtpѯDfy 6/ǒA'0D(t/)1_w0Z_,į UCV.ٶE]q`C9GcBLs,F&UMa1bzpA8"OzY+10;ٌo]5K62gYZ896e1382437181788c44aedd7600a5f5db837d87e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 a63742c749fa990fbc72e4972a8e6e8298291f00   HOL-Unix