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 99D) tL< ]/ HOL-Statespace:threads=2elapsed=15.050cpu=17.532gc=0.788factor=1.167zXZִF! ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]B Ȧ|{ !VJV[red0ᜃG8׍jQ*.fJǠu[cna mO#l`28QUɂZ U鏊a9GҏP`xjg'Uh}$3+=|AV[k|)oxs8"d<`M: #gYZ7zXZִF! ]ŗXiɟ1.F+hzl-M'-MzŷZS/4 BfzQ{Cp] ^P{S|lhMiaw Xq'˗4֑ # 9eo^k)QgE&fgYZ7zXZִF! TS]ŗXi%;P.L))՞$ٽЎw6Eaih,K=܉ϓ0G.tڠ~A}ֳiK=Dndo4E\ǁYb ǍG$剆+-g:‫GKiŀo~FB[k޻UI..|nZ3hjcpIi;8@MρNNUW||RH ".^鸋Jw9j㬔3K@p{v)Fd ,5&&{T Ϊ"lJ@JfHj0{Z H!CP6Dd?"2QΣ[ M:r;ʜ,7/TP\ 43W45a1K7 D!sKǕVÃxhrzfN{*W@a߳ng] X_6s 7: W1D%@g;}eJZ%ޑcҝ r<ص~БJ* 9GHK*q?SM+c.s0໲\V[իcd1O[a_ Yj\+ J{S;aAz[ﳎZ[PgUgaߥO\͔[}ŋmP˟+9>?{j G$ *ޏ7nB'W5wR.#)Aj:xV*GN_:gD舻"nL̘t=(?aa'ɞ-H SagE} @]Wͣr_~KƊw>M#%>ʩf'c|jAq: Z3"v fmE%xmS T C^岦g&fq@! 1hcu*k@61z@%ž$g`{^}Of ݿcMKy. L[(OzjU*hKvס'ZɘG/PP ԨX(gYZ676a473e78aefaa08a4432bd99a8e22b888fc4dd4b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 ) HOL-Statespace