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 --P= lTL ]S]HOL-Nonstandard_Analysis:threads=2elapsed=10.119cpu=18.984gc=1.136factor=1.887zXZִF! -]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒm<;!ɺnKY(.ŏ}cLb(_}4v۱N0hqLσ# z X,zEߙ(|r8"Qw zA3VGmH  2hW'`){wDM(h҅#F[6mgs.2C/Cfrϟ[й`|~$D~-i~<66i!W1 )P(gYZ7zXZִF! a]ŗXiɟ1$BQ0dE8sM \`Nᵝ^> zD츝aGvVLsUN:Pabǜ˲:N{9@<ɭ)w:K:Qݐ'nʗ= s4iOZk)FcMa16/Nh^,~I?;#k@D'tJTߏ}}has_AdM]dtaܲWH v7/{@T ܭt@o)VWbDܩYˇ=/sJuN'Fgp0OeCs U͐ kP QgYZ7zXZִF! F]ŗXi%;dK9,1 Lb=g3K@K2{V5z0\SyHdp*83'=rn\BG>%JMg_?$+S YӸA!sZ :愁oB[>q{ pzgsWn(gtEREPa3xY\6A[pSÝz8t e]rUolwXČF8`[RziC{eyay$ o<,]`qg'H.6Su@\S#9i) "8,]n޹xk?Fgs?o,^}˥ {u̯RƤ'1Zo=uD18nv_4qڃyN %Ms^+΋[skK% [4R Nw+~ĊrZ~@mWRMr'ξWϵqI}s/$MEޙ18/_i^a+_UtmE-~dIvhBfz%l'\fu fW3elp|' rq)~s)o'Lz++ 4dgYZbae1204bf13c173703397574993b4aa2a2429a59047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 2be5e4ce7199151c36f9b47936619b28917fea16 055da0440916fe08346a30595e3a9f318b9f41a40e71ac14a900d86d882179fa46a76581ff8c81d0 = HOL-Nonstandard_Analysis