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  p-LL< ]/ Constructor_Funs:threads=2elapsed=9.850cpu=5.804gc=0.240factor=0.597zXZִF! 6]ŗXf1-/6vRZy ߃&O/GYc񍊗(=Ti1Tϝ/j{z5Bˤq61rxL}ȯR,=\I )Uʦ捉 [agYZ7zXZִF! ^]ŗXiɟ.6j@׵|Ix"V4ǚBhteȼX!wU*lݫ#q )$UqVNʀ3¤ 3%zgYZ7zXZִF! 5]ŗXi%9#qw>n2Q)cH1R=|G0i =gy3^Zd>J$]^+9gAȘค}5F?` u'-= j<`#j[('L2+8z:Ţ^X'zbNu `c^T&K.~SGK%v ߦ¶@ `(]73?boh@uGLAzAةK1^l*Q(.;UcNNƱ=ڝwEMWG4o>E=YYΕv%/1S4vuU-T``N b@х u]S<ܵ"^83ν" #kHm&vzYvO6"F%C';^r;,(pܳnk㣋a*wsVl_~\`x[ZN¡X7Rp^KJKu%u6:ыqQnp@?p,BsU]c(G ŵ8-@|H_ư6 ;NPsž%bS9\ɢwo5bxu/x:O[r܈h@T7ߕal̔\R^`ys꥽*D@_HOp|8Ǒճ 2e bE$U_Akb\gYZf5739d86f0164dee44fcd9c78bc5b1eb05ed92628ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a - Constructor_Funs