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;= ld ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.623cpu=22.072gc=1.004factor=2.907zXZִF! G]ŗXf1-q恈1`VnȆf ס@,nsq ødpDM zfd>szBYfRRDO$P2v;6@/'NH.Vgi7z u, !*@n{*OrR~ŻP"[*@mS1ƞ1Y3Nyf\Av'ȱ" J) )"X(?`vdR'TgYZ7zXZִF! j]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>tG 6)P*L*#$Zs;{%@ev:'*M}4v | ,ĔLu.pHȅ})o 3 SwwkK@ta|:7MʶA_H )Zƚf uRI$r_Ieؗ<1v${J O[c'*OF>'sOߝf_}3VjRg^@` KxL|;nI,L=J.lʝW@ --=mR(3f.GG@ U-ODcT^ӜfZb {X>ZydP(P __Ow۫a-;ߞ5x_,y'nla8 C,x21TtT%3 n9X7W -=;~`Ы[nvK]U澎.I1ڼ/los1K]~<.T=U-m`ЩV;c_бVO\9zJ[EFd F:@#8]\wd94Zw'g4(['SRM'ܙaqu1`:^,S2MmzFi NV@0)Ywtp,z^xu3Ѝ2w:%پ!fL*)O4u^mʔyzJKAkgYZ33b20da03925717f48bdb0dacc1d6f968e53965ba46db31bb55395b3dbdfc848f24a96e1b1255d76 d3c5454b647092bc2e8b3ae36c1c54bfb48075f5 2e8decf43b35cf896067cfed44596733da0cc7d3 19fb8a0d94e271c2f8cc4aa7930236860449dd89b92ae864768761ec1cc23e9135a40fbad67418dc = HOL-Nonstandard_Analysis