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 22KOpt<\ ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.776cpu=3.716gc=0.0007zXZִF! rt]ŗXiɟH)0%oE[.Ďo.0p8 c%i:.HدCs[cw߷|-Y8 [ZOdE7 (Wv\kI?W\NjuE F! &{o}?MTJuLi4ئPM/.ڵ)W јDQqOr b1Xzz&YaGaL}ML1;&@1irAu_$d=dH&Z4>ʱ4"oI4=}UY$@nIvIḭ_;.=n#22qULSonP*hoT/hjt0|FY;.ǜyQc}9}hO'ĹY+w gťxm>5-"p=EjhS|qI(aDenZ>T:N7yv9FCS+7O]0ÇRA_<+Tб_;=ӷx `'h 5Ӱĵ (%lW?! Boz=PheM+vy-9)nVDb?wFObSAI@c>S6쩠!%+~h+DAlL%JP=f@K^esrITfuKv^2\\/9sp1s"Ll(9? ;bzEq۸-ʗ j2Yˍn@lSs},wxڌgtVsѽ9vv[}=Ib?e%qqv2X|=ELC@$&^ڏ>אBVʡkD @j|ߓd㼲CwV}B[xR3kۈKWU(!WH!Z4Z4J~7= XXȂ>|W߁:!2u8V*T~7fȄ3~#"n픳-| iB(;d~|2AkaBXg}ׂ6@6C_FdI5 -VuA G+rr$:8[sGWlZmivع\Hf<ܴg|csĶ,HȠ*$dPT  jGͻOAq!g>=󭵸F~)\6]]_Ep~l9xR8ƕO lSg"3MN=)\BLZS$(02|ʈVc9rXa4՝G6s01m<n@Gbv1=""t-k_4)&.-0j훳ECуӀЉ3uut,E;Ǜ/[HM} NPJ€㘑LV]v;fKԭIf^|gYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.835cpu=1.540gc=0.000z[9w_,}YZ7zXZִF! ]ŗXi%L%!,;R2& ~Aݮ!'@/.ߞa=>}ёČI!\Uͪ ͝ލ_h%i{$xUN &DI5!ot #ޡ{ >& DqJg\. R 1j MUk EEռfavsA( +m)mV KtKDw #UA3Y/þmNOX{R'%F[PZ)~c6;o4wY9<)gXFkhxؑÄYFC-b* b}~R` %YS_7)e1 6k 3l~jݧT]߫rH9gپAB- Ic}}#  .ŚN*f-)89TJzgYZa8be68c8ddf6210d3cbe0489c65252da93148fe53a09df081446ee0ffc18a782a60162435ff26569 f98620677fe586b256f76996ab9fb926732156c9 95542376cc27ec274bcf1e627a98c02877be4b63 fa334a42b5163d1fd47f5f150ab9e5b10bf42b7f 62b4802d3a8e5310e490e65facab7386bc03d4e5 $O HOL-Nonstandard_Analysis-Examples