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   `OD< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=2.055cpu=4.036gc=0.164factor=1.967zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk[`O&RF)X 2u "׳;C%=ᇤ62OD!9['LOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=1.006cpu=2.044gc=0.0009HDw_,}YZ7zXZִF! ]ŗXi%6Y*UkrnVjw%ْ9/uS6I&ȟs#%Z b2Oˠn\Nheb+JiՑcV _7L\wY[y"ܬudVIBpJ}.&Y}AU'@/*{>9A86@dXC]K4ʠ*s̐G%ɑxwl!SGj8xӑ]E6- Fמ,r ;JWux¢c0%p7cM0j䚥@D֦#Mrj[9Uڃ؀p~wәe?扔*yOxp,vM`rV;|bE_cML!@nx@9fOgYZ06ca47f3fef689bf6a1fbe69de8d83f95415ac92b3fb05f5e50942c4dcc807a50dcc11409ab39906 759571dd32091ee0444743824f9c8116972466af 05ad400047d12a8784473c927a47c6142253e609 678c9a826d19c28c5ce08a97e1e63fb11a4531a7 4167170eafd501a908fc9cb092abf57bd3efa795 $O HOL-Nonstandard_Analysis-Examples