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 = ldL ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.111cpu=23.112gc=1.116factor=2.857zXZִF! >-]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.P2L$FO6$QCEeU7wg.*qpi\1J9Q Qu)~"p  gZ4 v_z좞@<=G6U w]o _34ϰ%ȏ z`_Mo_]Un͚:)wwV+V3'.fbu.CBi{ ioyñgYZ7zXZִF! i]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>?B)wf{^Ge`2\W, IU0؁*$ E# X[wVpvWfŴ k%sq<WMض#ՃIAsC Rpdgdn7_Zw" %+@=ci7,^2u8Cڿmp|0w +) U}~ UI?MhͪT f/y6/9Q1ˌT+Œch2!Z,tkq L:&nOT-o ga;-%/2IfAݚB6k,D"N^y70 SۅGeG Ttyk|jD^Anar=s+&yR?'G.=a) ~,Ӈ]21NѢ?B(Y5k IEV$h}*rzZ{kS8Un#B~\v8V焏l  _1 QҀ5 iɲ2ņ4}+ 3Q x5au3E K JP}s/TXaUNH62U^Z$ GQ%@WT{.)H4 ؼpՉ8I wc"=am);yqcBBd ӽL"< &\+٪!/nK ګRa lm1υS;1J(;[U!ߐFʻ:[BIkn'ޖx?wrXm#":f/;:o񵪍 p(m~c[)^]|ƞ:~T\Jt#IG'wR}:v_w.qdoœp0N2XF@ qfٵã ټhy3&CdaqPUܒ\gYZ061e0cf38022f952c7da2e39158c14b9e764159360153fda7f67c400babeac5ff8410bde1cb89937 979fcfd417ee7f5d3ccae23097201bc6a61b502d 02174d5517afee9459b8e12a7e4eb13ca591789b ae7448821807254c32dcef99301e8cab7c3e48366b716ac57efba1ffb091d30b954b1a2b89895501 = HOL-Nonstandard_Analysis