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 zz= \ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.549cpu=25.684gc=1.392factor=3.407zXZִF! /]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXLAdd&~BX4)Hh3.D^:RGv(a0%r8,$'ļfKh6@翖fxrFߣ 39W]9&%[N07pWhuP ?bY{I_t(5b>׍k%~Ʈ50lBSi?srUSHC 'ذ{ S\Fjmg,~t}mtRKi:hnJjZ1" _66G FD Mm+ qgYZ7zXZִF! e]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>tվЀeHe\ZJQnXސ>"3)@ 3el ˷Vn$bTY~<_[ OQ[\ UJŵOl*i@ vf1c"2š3ʫ+/Y ߯=bx-ghGlخĥ|"$!0` =y99(C EqhO:']:z(]ȳ1ss`)"1p;7<-p&_;rJ:BIU aUVEo-9Ǒo$ $շuyEP[Wշڸ.RCaQ%%!7dH|Pi$Fk(WO^`hJK6v}†7y4+_G? -}o`˺[ ?jdCe ιKtim[p.ؤJDwm8uʋvr᳡3mOOR NWLÒ&VK!ͷ_ҁ%4mFYMx|r>&O`B,>0n)W*BTQ՞%JU8ёb%Ӓw?d::(b#5ҐmBt*}DaՆ' SbdSfƽ%"I墷"øAO=@/][S PWbe|nQrCLX 4+*Kx_ LBFGCy= + gvd?#8bq͌/zGfDhv?נ`Ġ7^FMzñgYZebf5868ba33f919f8037fe393ff06d383e2935354604eb2567ec75c8d9622816e4c73711a6b8dd27 772366f2f051916b4acac7b2a3824bb7edbc881b a58f39aafc37e0912c2ddb9c25394a812a4f3016 d877bf16e36c5e7936aaf1b70c6c2f8cd9b989b661d321174b8d2c70fb5fab7b6ba47c4f015d4f6b = HOL-Nonstandard_Analysis