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 = L ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.490cpu=22.048gc=1.064factor=2.947zXZִF! H]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVaY4Y0U3iYM}5oI|ňJez%*BD(Xht&>̩JsSVtn6΃8GsXbb6 ;2"aR[Ku "p1*tԽDn@IUaIkOlfez4,%/AŦD>kȫZfh";2kѤeZZ!(. L-~ dVgYZ7zXZִF! ^]ŗXiɟ1$BQ0dE8sM \`Nᵝ^> 5Hغ7Ul> sG"W]v AM| X:15):iJdzjMh&Vwuov.fuFe;2Bg(+&8he[ yҥfsf}gU4GEj"n wǸ[>m ybT ߼=@cO7CØ5OjUd?j.".nDNhy[BbHIVaw;&=,c[p@#e2bf?~X+qn( X͛D[ۼw` ]O &L@(o,y\4e>mC5`O975m#t>ў)dTy[L`ssi ,A"˟Ū8l4-xO7mPN cT[W /~kE4ƾ:Ǘ(CX4EԚ^[Zs_D,kّbޘ0kV C$) v:,G`}dʤDn_X>C˰4W*x]ʳ K2- EG_?KR܃bO}F0+c^.[ T_]E{t|j9^B]@XE?'BQe{6N,N Z>R4OadfTkK/׀?Wd< K2b {?ea&J'YU?Hrl *E1cڠŒFy'H/inxa3K2Fv'n[XW'/t&Ѡ8 xOt1փLKLm[gYZ0209d6f103e505e57ea161a3dc45ce4b0d13292c8fad6a4949c9835d07cc1dcd7a18516b5d86c9a3 26287f7258648103b1684486e4620d0d4bfc2934 ab3cb2ed7f63b936fa49e464dc4e11c5fa3dc928 cb463ebaa18ab67dfd20651ea5c6864d62281421bb56692e356fc95e470b1e8a72b75b0c34521f17 = HOL-Nonstandard_Analysis