SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  OD< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.714cpu=3.468gc=0.000factor=2.027zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk4 ]onDdi4Kq$RQ&&< E @kx`v47@>ɱgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.769cpu=1.412gc=0.0008$bw_,}YZ7zXZִF! ]ŗXi%.Tu5F80M1 Mé 4h֬2 UuiE >=ΪXFj`Řĩd 415*Apn%GY8;wL!!3I3j^ƮN.ëraT[#{őX{)a?w/${o&L\!)S9 X|+XqNHnW>OSJ /]DI0-x;+GiN@GKOC˙"ժ7`l:B]xw _2ץ5sdR7. ]:<!4O]wLXce+Cw8: OPRMk|qbG<=nQ:guJ8ez^2nx2B~'j <ª\ qC RX0OUnq ,1>a8H&c8LW Z{K&X,(ӞSgvഖ_;;qp!)FVW .] 񊹈gYZ99d197539e7688d2f85318da98500f11cc8df7400d299af725467f9971d4b5bdb3afa1308842af77 af5ce7345e4750b754492237c662f5ddd9ff936a d7a3e5c89ce5d4df7e5b3f1633027476403f6d0d 9aefa65b669bd74832b39f1740d15f7c2668ee82 7d3930e28c5f2570bb288483c3b386a2ff6a96c8 $O HOL-Nonstandard_Analysis-Examples