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.697cpu=3.412gc=0.000factor=2.017zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk9qV0e53m4@0< Qh pY?+QmZ\E"jbLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.809cpu=1.480gc=0.000*oz$G w_,}YZ7zXZִF! (]ŗXi%EX$Z)5F.Js ' tPY 9{䉖oF幐D'ks0cVOi:*B#MpXg)-0;FRI\I\0LPQA޲ٲK |s0XBNjXl<^JY YUXPeu Lx2ѱ?1[L+aizU}$r͂74ysVm}릃w;/-[K„r$(gH'p57H_X$>$mɌ0$?&_n03Hзm |}` vA}xX#ո:,2Z}ۄXR Hz#*yX nQ!G+?$R/!̘sM?)50VaW *0>*f%lC5}:WjE??&daS})f$ _0whO0W/Ć@t7c$B;NhuugLmeÉ&YgYZd4e0478a16800eac93db3c14961026ad81ef572fe732dd65e5ab0cbf3bf6f7494d4fbe0f1d593e8b 395c83d74852f525c9e02bd59cb442d01191d328 55873986695bfc225a8e468ea950bea87a6c9bf0 e4c40c43c5655abeb07f5f064799dd26032499d6 89dfbc486e3e69cce0b273c5ce1252e2de8f8a60 $O HOL-Nonstandard_Analysis-Examples