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 BB;= t\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.708cpu=22.192gc=0.848factor=2.887zXZִF! ]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa y NgGa*6DSSfR"+$ BA?T=q8$ <ۻ"]v+.i K=%ʸ-@QR 3QVks >vu=zG~NN09oЄףb7CUTV0JVV=&8ńY|bV [*gYZ7zXZִF! h]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>#wE/EƛRm'&(i{U9}gB7_SμDϤu-M$~ Ă3*ljUyښ"P˞ٶdڣaawT^w9$I@ -:G%O%͋ƌᚈhvr!$:w⢮^\l<,>3&Ol=8;Mϳ=Df_m@g OvgWA~'Alk^+!R@7-je=oG ʦysuMJOKby"gYZ00c883f5ba923c50c452f96064a8a9ac25595cf31dae994d72a426784accfc4f3275f57abe406926 825dae3757483ec2a6fb4864069860afce4ab143 54b2620f295f821522b54d40e2de4ebeb1f36549 f775cdc18bbdb961e9ff65e445ce0751d39f562729b0590a6ab84b19a9bfebcab54069e6db57da5f = HOL-Nonstandard_Analysis