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 o= \\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.836cpu=22.764gc=1.124factor=2.917zXZִF! ?%]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa @J:͒-v׵Lӫ徘t?G)6pJ6ǿ&5q&qmBeV]סo^-:AkItT,O4("d4ஂBS)xU\`Bܒ"Xo9WTWL1LPBb>Ca +0>H)ܮ | ]vgYZ7zXZִF! f]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>\#j[&Lg+oW@|6|>=LNsdx3$dṏ 2V)(r߂u; .uc"jeq@j)0;/Ӟ,yl/T/t,1mSOIG^MG+Ʉ_ׯ~'U|N-E;˅ŭqPP-\T^D[9'T rDB y*pK6*gYZ4b72c717f036233ede9faf60963f8df8efb9c2bc33e372010bd93d78618052a88797c5afe4f11382 7daf0c8bd7744b8053173dc61bbf05acdc7970ef b6f41c0185bf083cb5382e1146e55641d3db64d4 2dec38b21e1cfadf9410f1508211cf808cdd74deb710b2a73f3a822275071e1b3d9d8bfad36cc416 = HOL-Nonstandard_Analysis