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  tODXcrsGve`?JJ9|Nfpc*UX"_DLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=1.136cpu=2.204gc=0.000V& sQw_,}YZ7zXZִF! ]ŗXi%90žm9kTUџq3Gw EtWn.1l7 G?ڹ,$󹙥|y7уZ:sO! <.+jm߽:ރFzUգK]Npp:voiXQIzuUD{Dԧ?HJ~OTEmFo4eVfk6`iRe+4:ݢ,og,qFljLP,% 6d"FyVqg|{8\ L ~$7$RKG ?XP0S]ܕS4@'yف$} |7$JW-j1?k^@66,7`@'tfU< c[ Wo=Q~gD(V)4"_٥4Հ-C-ؓqK yDI?LrxgYZ8f9f276157c579e8ce150eb2e1211f0ac0fe412162858bf7fdf2d16c6c85785e129356049e07047a 91f84b8d0d5f1c5d3cbd22557f0db5f1ab6f6a8c b968a3598e18f78a38a4319f8fd77de2165ed05d 9a5026c0c480f26dcc4fc2ed21b042ada7d18ea2 5036d07b4d11b808587ac5924085b440fd3c6d2c $O HOL-Nonstandard_Analysis-Examples