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 _= T\| ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.489cpu=24.184gc=1.176factor=2.857zXZִF! ;d]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVam3H pvd %͵{ 'Ɉ@?z ;(vKRL*Mcpc)=,Bmqdo\غxΦԫb"9MB~|_>_EIGNtQ`52%#&to'h?dư{g.-v/ TM20! 2"eēnQv~C !m;]#?e(E& 1gM"`#׊ѱgYZ7zXZִF! f]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>5IۢiT_.,o=.a>+W\ls6DX㘽4P|5{ ?ׅ0Vi` FҘQ [B:e%2T%|rp [kU,5eMZ'_ٙfn7o,sѬ~kΧ)j",Laϵh. T6gl;ɰs!a_ؗ >?]ut1w<ȯ训Kb[4CJFZ @QEMgYZ7zXZִF! *Mw]ŗXi%;wp*Oe'=JCȲ4s)X? KQVdU5;.Y).,GU+AR춇06AgDXj% CZMUk)Ev^Fs!`&.FוaedEp @c}2Etky<17E '8\ F}*s4.XX( VlWGGn"s&(GN YPBy iS\ͤyW1ɌsQp-~VSTC"\.ɀ 1uF3Y~uB4-ȈDO7hVv;;%s^5݈އ&T6퓇鍬MS+QTivy(Slt@l@G;Fi鉂7Qc/;nLI'4"qa H4}װo~s4Vp6/\y=E"wl5*Zq445dJ88B %!aƕB_OfozRPt`/{)Ku~ȁ-Ƴ{O/#9m@: is!|P`hn㴄1g)Gvu!d+dToN} 6UD[g,1.޿r lev 3EL-|R(TysgYZd1ff34821d93481afbc172bc83209ac58b7fcfc954cd32f4919d850faca17e94e357093dc43a48d9 f85412ed18f79fc641e57fba244090c4b08a2333 acad73c1eb4ba4dc30e9c99aaa0b98796b40761f dc529e6128005b8e32c9c96b189209626445597dc7f6d9001ce793875c678bfd949a211d6da05863 = HOL-Nonstandard_Analysis