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  O<<| ]% HOL-Nonstandard_Analysis-Examples:threads=2elapsed=2.704cpu=3.360gc=0.128factor=1.247zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk;1Xpp; Rݏp-~TLI hg':J<8,_dYp7gYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.850cpu=1.092gc=0.000.)Pxw_,}YZ7zXZִF! ']ŗXi%9*Wθ0sdZi0O1FI%0k GZKZN;&QhߘbC2D`ALbq#׮4PS";5E|1z䢚,W+DǒΛzgaK67@I#FHf&T3E. `%?'EvVtzMضnۨ!(J=J+OHtAHC] >C'^azE_^G/58<1 rI1t, Byr5 Q%t̀N6:qeC nhVPC^@/%P{܉aUUe^[.#f64?1~Oc`b?P64#ًof)tVӷXb - _IFtOܐBh ʂrU˩ BQgYZebe5443114da5e8ce2c742b1fe3417f7ed483b511f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a 76d136fe2b1f7d0764f431c043fb81a2fa9fedf0 605ae0eb21f7e683e64e6c6163dd5bd94075e385 dfadc0b8bba886001dd18fe770a628760a8851bc $O HOL-Nonstandard_Analysis-Examples