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 ""[= ,\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.827cpu=22.540gc=1.012factor=2.887zXZִF!  ]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.Xs_k૎ĞByYt\L!6->ho|7^]e6 K5lx,dpGq_Y񧐧Y%aTܕpn/Uaw|#2О1`kw`]|$U C*ձM3oH.?dGg! ^gYZ7zXZִF! f]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>tվὼb=Q ,= @QEMgYZ7zXZִF! %H]ŗXi%;kAglL7*sFZzO_bmz]` *y3OZhyNʜ>j= ͮ鳡VI-8^@|wu!x0UfcaaS $MրOVXybܢN#кTۺ`aKlFvb,TM ^C9?Z\ (7QbISt/CYT.Jt3:H~[x#XGQeħ1 o|LU2k O;~: VeMm9EeU--넼 [t&~.]ؐ),B7$2f](|H(E'@^'d7%lއ:>j< LS'6hM̪4JZy4!6w01/_[pJ?SK xһDceXB- zGDOɴ:_ՆKE!ng>N'|t^֘nF^'}-tla,P 7 x*S5= R9\-|ilOg?>Tu6Mj;Apߵ( 4BƭG#N-C 4)pC$A-$^gߟ2L31`i`1 PU8ڗRӡn5p4j6i;wD=AҩcjђdC Pϔ\zȤJH shxw)};FEXŌn?kKdHgYZ77e1bcb3f781cc81d7078476baee24b4ee9b30221667ce1fcb30adc5ce6fcdb5feb10204550c27ec e9aae1d42c4adf660df67523aa6bdbf83e56d019 f1d068c99c2f76c530db5071deed5b4eaab1d8f0 3986d1ab32630c2a041f5b03a505055cb1563f322cec4d1f0214d237cbd9e156196733bf48125201 = HOL-Nonstandard_Analysis