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   hOD<, ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.895cpu=3.776gc=0.188factor=1.997zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk<~*U@PΌ ߇vn Y]_"F}.xޠ2v&IK:sRy@~&_LOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.888cpu=1.812gc=0.000 w_,}YZ7zXZִF! ]ŗXi%96AY[B仈I2d>aߩ]Ѝ؝:V 1$h84aq,g9p{DS-Ev/|@̉=\!=앞;+s:aQL@[FW A%F>\]1Fcs9*-opW9SκnK=K}GϓBXϗd묩W# Jl"r1Jd<z + eploܲ~3 Mn¡ ~mncՃ 1S:͗~O0 }߂,RvAG*JICM'yXG'GB&jLwcI:2btN4HBqgdR S,rɫ8!41JJAsLאXB]&*X`$gYZ59b5757ea9282c60426eb294a60cdbdfe8c4eadead9522bc18e2b2a6cf26599b560f2a9ea7596aee b002d126cf91bb7c3419b108b7ca31e9b00c41f3 51a7ed38d58663905bdb7495d49784a0156b7357 1ece5777e44b30c001dfec68d47589a6ea8e9b93 d5dcc74b3e58386c57714dca6bc75533f408c8c0 $O HOL-Nonstandard_Analysis-Examples