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 ,= 4LD ]S]HOL-Nonstandard_Analysis:threads=2elapsed=11.948cpu=22.464gc=1.408factor=1.887zXZִF! iS]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.IX|]N >T##k0Y^1o q!ON`=m'4CqðjEª~w6*Onߕ'{ݻ`!`hS ~ H]ƩEh^YsDyH(SQ <M2j pQݺHGVo_?%K3=y>.r䄈ٯ2mJUM}'%$+upVgYZ7zXZִF! _]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>mꇼ ;jGs:g[mu!Y9rxsc,зYYwS-՘0!FU8!atMjqJRY!-R{Yv>ZJ3m*S,eA҆d+"1wU{2CO5-Ye`!f͸c{SBy?NEvB-]"ePZ5 gGE?ɃG\AeޥN>[: $\gYZ7zXZִF! RVZ]ŗXi%96z3{*&ON'dIdǶ$l_ ūLӓ=]o}JVՃ\Yw2q+U` O^q'Z'q|r% hOzFb]%7Y1 O `3^r/iw1-{9p\_DPz~7Ek#s^ӇJa B#riH 쯨ҹ%z&6=S7鳅!.#/|#ȡ!Aԅp++멪0a#&yZZPT1炨Yǃv:+D*/1q1P01̈ƿ)0gMCº>$ql `YL'k.hgL*FA @W|Q0륅ٝ8=Mm# =mTywPf^ۜAnXr ˇm!3rֱ_u`9K mo|sV<Z u;?q!P5g}3ZXLN8Gף':y_ 9#*  Gûeh* VOHÝAU!.׊k>>tOqLm Ej=NHXT0P|~'׿b DAOLtV"xf8y=9!!J[OZmy:.}ػ`sG 2||&^߉bL@3(]u/<|-e; ÿ{3 &7?@ l6TXwƧ $dp|S}y$a[Dd<Q$v0 G' ]U|x\<6 פ LgYZ85b95e16d3b6c6ce322364b4a338940c7e50ff65ccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d 3653d2dde4cafce91f7a86412f9a6c796dab12b3 c93c98f7c27379200f4605dce1da2bb9c39019f1c3cd286c4d39eda6e2fe00b54389465171e1bc0c = HOL-Nonstandard_Analysis