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   lOD<4 ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.916cpu=3.824gc=0.264factor=2.007zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk<_ ۫D:n/`m?{Ʉ.ߗCy*H_%@5cELOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.906cpu=1.880gc=0.000; QMw_,}YZ7zXZִF! ]ŗXi%96+*%eD =kv")Cq0R$AT>?ln Tl1qzFOb;pi)ѝdiP=P~g.e`~/ }@/Xb;۱SVy@HZ Ơ C8BXm﫴f%k 9·]9Ik1)Q/Se{l R,nm5t{sƾ~r_d6zQ(a35wVj\Vo:&R VgB_,Ρ3h?(,ޔ@BRv[tZ19(j,zVhYG". ٕHgG&E0; " YWϩf;f"Zjé4 oGKK ^OqSq4a;\/ Q{ҟ^MgYZ0e15727f7c66c33e71a65152064b2381b3b61d022e856cdbc8976d5457a0edc209f4bdbd9f5500c1 dca18b1724a67012412f5a3a93399814c4427184 b769adbc3df07dcd5b16efd671cea4c743e929b6 9285dc1bfbf779be31f16ffc4ca589e124e73db8 744fb4bc0b3df0e4b80fc64d9d168ace6d40f2d3 $O HOL-Nonstandard_Analysis-Examples