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]HOL-Nonstandard_Analysis:threads=6elapsed=8.140cpu=23.448gc=1.204factor=2.887zXZִF! <]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.I#v4,E.ɳ܇O/*3):a ^EpZEGoKIUF H#|3'o)ɍ 4)\|iೞXO`H+ܐ;Jf:n+( X:*5oJIǜ"4XVf6A]z=*_;FX0gXJC.r"M}AQ #w+敋xN&E~?ٸ ygYZ7zXZִF! e]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>?B)w(dzksN{?Xگ+=I87z/6庢l~g1C_eg=OZ_E{}U g`(00K0 p\A_AbMJ@~).assǸ>f_4^eb6Fx>5x=J_{6HE3y4` b\Jhn ;O#4XtW>fB+Q9  ڱG}%U噲0d8}Wu_i®vBT94i"'#T_|w=b4<>Ia9ü79ŗa#8z"etNOȆ?7%g;^J `!l!lf|kxVJ/?#-l< Y1؇p)'BcUTkJI"'k1;. ˸Lx!B> .O[77J$6fh' q,#xKAL)^DܑxyL#]IxE5sd8E14dp +z2 {WW_^M ݑ1G/&P0,$*DG9vWQU{ECP6.gYZd1ff34821d93481afbc172bc83209ac58b7fcfc9ed6caa966bb75077c120e012673453f69d500802 269c54a80d587c3b365ca98028240e5f8391db0a 777cf8dd54e76baf8f45a139697e479ae8b5c1b1 35a31e0123299e9d3cf64f85b842c2f90dc09c7c84f8967d5aeb7b6d494ce83885c444768f78e05a = HOL-Nonstandard_Analysis