SQLite format 3 @ .K B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info OOpD< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.849cpu=3.860gc=0.0007zXZ ִF ! $ ] ŗXiɟH)0!h]ߚU\QubbqufxgdK/+AC3FNㄒLv0MNb-,(&='s0p1mNɟ!ϱ98\ml*}sS8%QrOE Co\ LOg YZ7zXZ ִF ! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.909cpu=1.692gc=0.000 j-D w_,} YZ7zXZ ִF ! C] ŗXi%}VK ?!Q#_8ADU)1\_|K^v`2@7G=k}Ǩ g@?}"<W$f͏uiY%$lsBqZtVB#^X?$ͩie࿉?`Dox1g\Nvm7UNvblӭl wAg#'h(=b+9L9Uď_v6 F\W#c.V 5Ԅ$Ol1v&r%ɩ?ۯmm8$t -3FnwߪU;ҥfJu=KT%.}0q ,h|ЋNl# xƅ$+ P&nyWpx./v 7?-
ة ;nʺ{wdx3I =%l Abg YZ2289d5493ea24adf0b19f92bec6840a1f5de6502ba25d24cc2e874a8354e87d4e48e9c15efe344a0 e9bd04c0bbf88566c8b48c915dcdb7deced6c947 a8cd560d3d087e6b40e8aabd0db773374f47bd00 bb96bdf3044ad9da86f850f4a57c2eec1b2dd7f0 5dd0e8e18ef7bf7fe63b7551c3a20c213fc49dd3 $O HOL-Nonstandard_Analysis-Examples ] ] LOa' dHOL-Nonstandard_Analysis-ExamplesHOL-Nonstandard_Analysis-Examples.NSPrimesPIDE/messages7zXZ ִF ! i] D?7 {?:fH\_Yޕ"5tB[=i!do8""1#*s KݿKLt,D{Jڲs7)d2+w㓨U3*\'Cmg_/[s7Qq{-ڧ*@VC'7>)pT8 c1-k~qCsA\