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 &&W= D\| ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.979cpu=22.840gc=1.060factor=2.867zXZִF! ']ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa!3Y4Y0U3iYM;ի&GqA֍kAi2aU;=px37_c~z  X%uOCPՈmaAGVrH6F$2Iz渤PC+ӱp8=FE'ݥ[ p.PS`a1 NgYZ7zXZִF! e]ŗXiɟ1$BQ0dE8sM \`Nᵝ^> U(VW\SU AlFopx*,?^8V.dqh #˱gYZ7zXZִF! %7]ŗXi%;%k4njd}Gk>3dޗ? h.KeBs& qkd[{a/~m>ni, Ɇ9=T&{vȌ<˼ ]k{j7g&J^7BHt5h$bN!3!g1g LcUrkdֆǏŎ_tG׾0ŀ:TThרK`n.n<_^ Uld=#1{/d$IX9"葎}GT6f*p;FaM['{F^H.]B"(R,7R]2MaæES6k->sBmA+{i͟ƶvy sͳfSD [k4*x6½ƥ ~HNLޠnkSV"Q k1z:c89~ڷ>sJ3@^hE\H3k C')Hw ȓKu܎gYZd1ff34821d93481afbc172bc83209ac58b7fcfc9b121211610e458dc97d612673bcd7347cff880b9 1a49b8a85ced53b842cab647e6c466047ce342b2 f09c2300a0729d3f40460de3221a99f80cdae554 b1c8c1a997dc34aab196d4f526d68129572e7a016b6e8b4fafcc251b8cec976e5ad85b4215658183 = HOL-Nonstandard_Analysis