SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   hOD<, ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.998cpu=4.116gc=0.176factor=2.067zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk]WM`$wWE_ʘiCK9^FI-d6:39cbύLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.942cpu=1.724gc=0.000_Ñw_,}YZ7zXZִF! ]ŗXi%@jkMa>5eo${?P1٫cQa#eY/+igXF?pqMTIrDf @!KɓEZyt$#?^$up 3|kJw߳w5]CYзA&SBmtNSi8K((հ^Qhx]p|JJd@ []=KrJd axb^6lV%/',qGK1dL&"lcllJ99vdLXKrvEIµc 5v}%w0}XB.`e}G,SHڠ߉W8ZBY/HQ cLr.3UQ$"} EP)֐t1CqG:+#Ll|ԍvTQL/ 'j JhgYZ78892513c05e61c40d7b1006ee7ed779e67af88929da2f23179d57a846638571d6a47f5129270b51 1af047ad3a6300d370f1c24ae4b47a646085a2da 853634a9e790502c1e5be3a593c83c75706dc51f 5bd1c759140066250e16ee3ceacdbe48c6c7ed04 cc1d4c36ce7954bd380914a9350ba56fe4238a57 $O HOL-Nonstandard_Analysis-Examples