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 = $T ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.793cpu=22.636gc=0.836factor=2.907zXZִF!  I]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa b.C>)' YIy(_ʐCUFX blhr C.BzJPY9Y{F`@*4L?4pTc])!cʊt>+Í$ga 6o_8/wGIoI3Os H*ssO<8oV -vE; i`]b}P]T@eY"l4f9 rD[:`NgYZ7zXZִF! c]ŗXiɟ1$BQ0dE8sM \`Nᵝ^> ~r$Z2iȉc;$0S5ɬ]:-M~BS1g ;F?Ԏئ&"dlAN @+7jK5vɸiTN-㖒MJ1_RZSp"^$?ؠsɹيmߧ<]|37f?җ۽biL`}&E5mG~mwB/;q(ut[ ,zm|NM^)jŋ;uŒ/'RGXxИMPKs_WvF i@vݻ*RP5Mǯ[j CTe fDZgYZ7zXZִF! (A]ŗXi%9(OZҳn9a!w iq*;k$:IgHQ_6aHƱA?soWSD.HcJvWA3ɬ6CFWd*qj#~70CX3%y[LdӼp9j|zȻgoSc`﫟 =Ɇ\NhΟn\Qk h& S@fTeZf A^8M_(Hbx-?VsKwk0u(5"8^-gD^BT m"p8l sXQ[xVQbq#+m0s$JM- Mi!Û{jhOM˅U^tm.Ezc)>kh:Apk}j7~W\J7?(~l-f)N+D `Vu5Yma^܆gJ~&ziWU;ueℨ@ʙ\ Eߧ6l!q{,_h$/QѐqjR 32u9T.kx侯<ʎ{ɜ s s|ryȋ<U*5ǼҵA`4좮 tEF8*-o+%]^6 l_P"$PzhcRWٜFo flhCPfsljtdp{~JㆳQT[n>M^&~!cyŎO8\^CfIPb۱gYZc75236aa817dcba8a65964b8cbe171e402d256f21b1b23cc4f026b8efee00153745c0e90f4bba172 6b2c41334cbdfef77e5fd462241eacf1b847aef6 702227a203ac9c30e306ece801105278eba7c7bf abef45e0b9dafcfe89aa8be37a7ebc3a2d5589190e5584c6af09f342eaaee4ffaf3a212c2c42415f = HOL-Nonstandard_Analysis