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= \T$ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.716cpu=22.072gc=1.044factor=2.867zXZִF! %]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa uE3T5޺=F2^0-B4{`4-D⛧&]xGOz:aJ6.ݙ|HdV8-gx1->F&+q.g(v"t#) @hM\~>:HF͸]kw~U{5)e@:5x{^x: i]lT$55~ 葰2tU_K8}uww'KN-IҜ2E`M7?Pl.s}\qpMrakT#D;ghݡ{O^,7Uӽ҄s;-b?- NA&s Y~aT*cz ucCᬹuG=pmBLźw0УpL0{C'"Ag ݇e!7.ֽ(>"K.s$R&4F(3𖿥aԇP 6E%0#^ TÃ@[#(OحxR KgYZ7zXZִF! %L]ŗXi%94ǥ2AD4YP^gDK25xzP:iIQo}i?QD- pf_OR4:uzZN3R^\oe6{w ۉcUdev?URhX Krݻl%>P(6j:c0?@`PS,VCs1V8t<`e[f ``l7kYLxZF@+D0aHx`8τ׶^^i/305)بxSHn [σĻA\A6dw7xu' 4q>pJTu=;Bm@R{O'5zƍ<U.yßrDZK AfC-?|﹎n I[ lHSGJsVG/($Rn5mB ,qH5dxKj(XVKVOp O~**=S@wFx[^+spoߠO'ò?ZPæր9]ۭC/YmXQEYpMO`G@^7( *^B Cx]gSז0yp{[RSn,(F=prU/c<liK+-/e F=.=+wSn*ɗݙjnd R(JQgJy.WɒKԜ7Rz%Qjۘ_-2CwK= -gYZd925048dc1bd767fbca496a0bf9615adac1c8d768efa791dabbe9fabbba3e8078d5274688c6622fd 537220e845e462fe9dd7dc166f6d3cf6145faab2 c59d84098cd239e6083625801b10283927e883a7 8090cfd9f22ae006ca3954417c04766829356fbade67a987d82c22962d35a17152f5bb9809bbc780 = HOL-Nonstandard_Analysis