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   dOD<$ ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.844cpu=3.724gc=0.168factor=2.027zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk4yp TtۑQjsy6OŀF^ !B{β6g2QLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.821cpu=1.628gc=0.0009H۰;gw_,}YZ7zXZִF! ]ŗXi%6[X `T!^O ;ϗŅRb8(CqWgxpiﲴ|֝ WmΕ-ꗐZTV7:H8ȽE|HO֛~Ɇ죿ǒ+orbO|XN.s~2mR~3"@͞E,n^)X5gN7zJ.(Q(uZ8Dd 1Z768̄LxkbIS2unx@ެ71閔ϸ",ޕ |J{|c1y}24g϶Jq`苐aiįY"MTr"\09nw^@Ȉ4\Mswi1a6zygIM@~l2㺱gYZff54ada046faa2df34b7db9fbfaf22de1c888cbe2ab6afc53332b0678cc77dc53d23f8f23ad3ce19 470e85b8ee0fcd8c2c6b9a7daa17d466ca7b3c05 a426063f2358f0b040eb0bca810e8ea748b4bea2 64b40e375ab20f8f20ca910069d685b02babad51 04a6c0a9253ae7280e385556e9b1bf53c71bbaca $O HOL-Nonstandard_Analysis-Examples