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  O<<| ]% HOL-Nonstandard_Analysis-Examples:threads=2elapsed=2.835cpu=3.532gc=0.112factor=1.257zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk[LvW Rl$;|"Yblkiy( z7z7LgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.949cpu=1.220gc=0.000YU/0Rw_,}YZ7zXZִF! )]ŗXi%9+~qG)0s(z/L݌zlwLYK"m#fDM5Y| HL+b'$pu#pOMU3,60eNOo4PϮBFhJB~7lĒes `L 5U ]OwqIq R?ռQ r(_r0eP|I݂MZn'.Vvfa6wigԡT{3ыg,7G1%366hCTK̐+rfU/+DCdB.kQMi۬ㄢ|^^שw١'hdu}ܱ tE`>nx҉nvS"D%8^ Ȼ͜S ).E6@ əgYZ4cab42db597b494b69688d28f373b5ce4ec08ddd41dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44 b462911b7460cac74c861650885356046443e0c9 4f2f627e8a2d6fa3c302fc9f069785f1fa1a73a0 aa5776104cc369329164742bd26f19b456b412fd $O HOL-Nonstandard_Analysis-Examples