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=1.755cpu=3.624gc=0.152factor=2.077zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkwԩ! 7uW׍t(a`I%!$iٗtyI7?XK`KFgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.818cpu=1.784gc=0.000̕U7w_,}YZ7zXZִF! ]ŗXi%9(Pּ\lC X} R壅`Dل^ _ݣ.If!D2H)sA :=?#д ֓ޙ~~( ?a7^gh%7bkFoy~W8|f]=‰s|M0I=AM8޴y7gej'HQxec9hVeBL`n>ӥНqWoH B(jvůÃ2Jř#ޣ3F*s!|MH4 EN| NT`T-]'ڤQ0Q5 ӚHFIpp+ipbbyc?\ c6M1b,(UQ.2Nړ~6zHa{AqRA(y R-HM gYZebe5443114da5e8ce2c742b1fe3417f7ed483b515bc7b8609748a10319dc3892a3dee59fdc4e228c 8d4321ea3a63542efcc2eeabd02c563b82b91bad d7bc99ae45fca7aba1a9b28b0f37cf0a9d0057e7 98cfe7110fadc02510d906757053b6e09f4ab532 73f024557f82598fae48ef30746b650acdb6e0cb $O HOL-Nonstandard_Analysis-Examples