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   hOD<, ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.838cpu=3.648gc=0.164factor=1.987zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk;1Xp X6?vNUgaWhk?O3wCQ'۷@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.866cpu=1.712gc=0.000|~?30w_,}YZ7zXZִF! ]ŗXi%94:c5z0cJ?ҿ/lYm!7*Mz #ط81[cR?+Bk䱚MLPeѻ]l@]rÜL #~hN{*oJ8s͸0,̿r4WN#fIFYt:*Nrmp1"3zi`( v.#g?{~-YX g V޷y?umWG* NTu P،s?ƨn}M_S*+ \q)i: dھHP{ R:܍{фN];"(=!Ԑ|K X;I f7Py*BHirOREC>. @ T.+[VĚ*߭4þR5ߙ 6SgCR6Y gYZ37f1124ec58e798dfd5ea23c399f5393cb26912df854ea4eb03a9c8a56164c4c9f9900e0cc800a63 2dd6e587916382bba3afcf62799d4ed12fe0eb85 0b5c4fad93a63d638535e624edb4f37620e0eb93 f81ab2e071bb5a4ec4097fe1a613616b92b25dfa b6fc385cf210d4d0d2dbb3e63c78b6c4276e4bda $O HOL-Nonstandard_Analysis-Examples