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  pOD<< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.814cpu=3.644gc=0.156factor=2.017zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkN7? DNe-\C4@6:lP/ @>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.819cpu=1.752gc=0.000:h= Yw_,}YZ7zXZִF! ]ŗXi%9#?pvpB+!Sxf. !Sܧ8 jXH ymic:_PT MO%xs]a~,ɇjREC̫F6#׀4)˵cY-#&t/>o:` Vb(Y5Rd(<M\=*a}DZ(aGGqyx=$[ S @3\FiPYNVjdO ba``Ӗ=~$10lU,y.#U8PUgI3H [gYZ8401ee5d2ed1505da25f1fbfccc4dc53bf49d4bfc2d0fb3b47e8eb977e037c394badcf36d1d2c5a6 b2b478c28d6b0e47d8a42d61ccf723d668135bd8 ca30cf122c68fcafed499ac473b9fe2b3ca2d2c9 074d41fa08d0278e84f70d5d49854b0b4c90218f c0ba42932a4af0fbb57bf914c2fb02eb837e48d1 $O HOL-Nonstandard_Analysis-Examples