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 C= T ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.164cpu=23.752gc=0.948factor=2.917zXZִF!  @]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa b.C򑨰k.BM.6 0ՀfZ\QZ?m٥uٲs k،frzAsy:5> A朚6~%BIy [Sox(&|\+68s Haӝ̣7^ tj.bXm=T6#$;WTo.b)¥X@pY-GgYZ7zXZִF! d]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>$6 abw"_nZVȊJ{2FKZ0l(^u'#uI7]O5,Vj/Ki&^w)+1̂s!,X>B{Y]m9` '8ל'N_2)(D^LŭK o9lY|O.?i!RzdY w\[p73b@"ACiQ5rmԪvy+!=纪l q_"Y7jTRnvz,$t KgYZ7zXZִF! (]ŗXi%6[X1+P9 *w_,)5?_}+wٹ?JB[FW8>2l~oS!%'#% pZh{}bu mGLU3rEI[D DP{Dx9r h&4gyc*zf̺&Po1/q^z~?f&[Ir{['쮓ܼY&+4]ZbuJjϩ5xO)Yk%D^_SFp_)veE 3Jri-aaNC.wi۾QSD[wd0 8'&p:40 .u㰏rPax-gYZddc091a7d75154b045f57c2e8a6eba98d028c70d2ab6afc53332b0678cc77dc53d23f8f23ad3ce19 470e85b8ee0fcd8c2c6b9a7daa17d466ca7b3c05 a426063f2358f0b040eb0bca810e8ea748b4bea2 64b40e375ab20f8f20ca910069d685b02babad5104a6c0a9253ae7280e385556e9b1bf53c71bbaca = HOL-Nonstandard_Analysis