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   lOD<4 ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.773cpu=3.584gc=0.160factor=2.027zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk 59>I![lZ葭}db. <1',I.Xo,LOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.833cpu=1.752gc=0.000>(Bw_,}YZ7zXZִF! ]ŗXi%=ɷjUDG oBlhu34:9:У?/*eы y.g}M;=y} \׫JCҭ]Uۓ &!o'JN)dɆL&f ȾS]ŸR"|Pv1gqs՞ֿL\&3#ހ҄4eF T!\8o© 7唗؅{~D0@{X6]zSO*Ic9g'Z>ٷ`^ F1}8ku:)UqN%y'l)XG)<.kf+I;Jm +a2M}7pW0kؼF9|! 4$].wGpӁkXsgYZ713bcd1d73417295a4fb0b0876a05f64cd15d48c0368d846b91517e6bfc74b22aa4589a14a64f868 42798967e97a29eaa625d2ed2073e7fc3fcc184c 680c999822779f6c5360ad6bcf5fd641b0fc1344 f62507887852cacb3963de401122fe7c1dd7d078 893c109395ba30c099497db5a9d0b15b18fee9b8 $O HOL-Nonstandard_Analysis-Examples