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  pO<-\_{ܺB0R'$+I8u͆̍_~>rU?W#bgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.883cpu=1.752gc=0.000Ls w_,}YZ7zXZִF! ]ŗXi%92t(4.!Re{GH}?!r&jZ =wV4Б7OKCZIh8 *4<ӷpea4U{"Iq|v4 C {܏D 6Sf6YΆf[賍7^xFn1ƿltJ 2h~bV%ɹR3vq5w @bRTvHD+k5q'0A9(L9\E\~Z򚪴U:mƶ{rwk&_M[ hF:B`C[Y"?fw>4=O~1@oE MTv>[,q VlYilxPj 7RY.a_qS>-t7u_櫺AMagYZ7f3e5e8492a07f32fb8ecce394c17e9d63cb53e2b690dd9b4995811857c4fb640c8853723b58ff28 2f035b4a19bddcb32b1e2a5fd47e81076fa7fb4f ef28aa63992d38cae790ea067cfbf614ad2b6a81 e77a7cfba9c2221a01222115ddc20601d8045b3f a973a674ef4b6dd1fa41ec761e2d6317cb981109 $O HOL-Nonstandard_Analysis-Examples