SQLite format 3@ .;  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.800cpu=3.700gc=0.000factor=2.067zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk6Ns'8죾>-^.OV(ɳP"g#7!hMՅLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.795cpu=1.480gc=0.0003zq캧w_,}YZ7zXZִF! ]ŗXi%G<^̟h(sS}{ @UC2&-OPAnguj]0B=oP3Y!uDA,_\_^xik*b(|ytB܆jgeSʑm>J '&[̏U(n _ېFPr'u62e[I^z7{O'%-iM<0U#rW%g ž"tKP&"VZwHbV4*76GS{H,멛-n]DScX{hБXٛBMֿ{`d{朆9o*5\F<4% \/f.x&-3'%hk]I^$BDh/y#_M%0o#+vL0X4-h찒 z.xoRP@Y};z׌G߰cq2| poPN7iC)y1 ?4M>O`6jƺ)~5$ngYZ3e616917cb4c827e37eb94af140314c96c6e1da86c51283dd05522a806b28d3dc91f24fbfd1e774e f637bd9bb9fe8f2c1a8651fd48e5fb645f7ab1c0 ea8947358caf8bce8fe84a381dd04617a23e9278 e27a85c84e8f6d120dcad227ab0dc9b9b1f484ab 976d29496075646f1a21137b746247a6a689aa40 $O HOL-Nonstandard_Analysis-Examples