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 ) tT4 ]/ HOL-Statespace:threads=2elapsed=17.097cpu=19.912gc=0.832factor=1.167zXZִF! ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]B Ȧ|{ !VJV[rxu4w[qit^{tTx|EF7f _'(ۈҰ_Z] |H{oWtUa 'JXGxAC CCm}J0F_} %N7H쐍 D-V;Ŕ LigYZ7zXZִF! ]ŗXiɟ1.F+hzl-M'-Mzɜ kS"?5Nߞڎk(̖2pDڑ<7R@:w8 iH h@Ib\چ ]GF2̼Y38EFhYZuMM`.gYZ7zXZִF! ]]ŗXi%;X;iX!eOp3%. \?;ҧ-+܂Wahӗ[ Ϫ`X[z"ST\=J33N8Yĺ'{vʋqR|aq WnОypztkD#%&%=ⷰfk\Z=iu yfɰ`^Aw_4$D<X@P"4hu*ޅV;tZ!PdU(b3-ow(N1 +E>6뱴8z%q`Qdf(ҭiYJV_3lB.ҦXT(DjT,~]+nqD+;SRb^Ps>M:4-,y  uؓsK)hG8aW H([ ؁@*in̻ מ:Peê]^hDJ[1{fLO rgb't7~vPw]pԁïJ{؉3qB0*g, a@*BKGkbĜ> ܲ֘n Fk?:ݸTqv  5IlgYZ5f6dab08ee38ba6195b080e8cee42f988c23bc8c848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 ) HOL-Statespace