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   dOD<$ ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=2.028cpu=4.032gc=0.172factor=1.997zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkcol]T~HbS }=H2❰f_Z7I#|&`.+`H 3vmK4LOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=1.010cpu=1.912gc=0.000Ϲw_,}YZ7zXZִF! ]ŗXi%907}+~D瑖ͽ3cH# EPC`~]x+la#ڥQ(ijny>}`}PyOaqC\{À)N4{L134U8øod^oz| !<KY έLLuUdG(l~nĠ{TI)?8>!Nu \ٹ7]qʞY9janl {*DG\to&-OՏ.$fy;≺u?;i#b$1Qw-@+ |*[OU*@qb}ȣ+/3T'w%Jq fXXnE]E@DeV7gYZa71bcdda3a69f02578f1121e09c4304351671d17c3f84dba95bf0709c61a37f27d090eafa0bb6b15 5ec4a71d50b92c5aac197cb7db0025929ac32b1d 22ee0a3c4b20f434779272d6b8481657c3766156 0928814722ccffb98ac334b91ba3e1aca0abb598 fe53a3965f1c67c766fd3cc333e0caf4d161136d $O HOL-Nonstandard_Analysis-Examples