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,t ]/ LambdaMu:threads=2elapsed=8.905cpu=13.920gc=0.444factor=1.567zXZִF! w2]ŗXf1-/6vRZVNi2uD0[~1 R5x c.V!"}vOvfOޓv/S {|:q_v|r8aKJ5,,hI& .&98Dhl$> hPbv$ (8Fu mBHJpS@0g]iu{2aBGJ u۔~^+|?B4@` FZGVz/lCVDri Nh厅 U?رgYZ7zXZִF! ]ŗXiɟ؀6t72 ;[8}$Ta|h }-&]m{zS Fȃdo^NA:JwU"v9lJgo|\YlLB Gnל>S'*+7A`}Z花.ŦO{vLdd$ >2WכxoWm_W^b]q b$igYZ7zXZִF! 3t]ŗXi%6SwSbU{SGZ`6f( y | { %' ))K͜4Jذsx.:V[n"cǂzN.-vz_Clg&WG~] ÓsdGcemk_*K5ɑ_Vk~͌ñŒjƞquc- g]f gYZ9fd10b6595caf1e524fb559dac750d6567ee4e78e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc   LambdaMu