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 ff= T\l ]S]HOL-Nonstandard_Analysis:threads=4elapsed=9.301cpu=29.728gc=1.228factor=3.207zXZִF!  ]ŗXf1-q恈1`VnȆf ס@wp  қ@\Y|I ] Ha`c<68jKD lETY؁`nL:byMa< hg6 <[NO`xb6[,D Ilj^GZ3~B -F|Hl Ek  zۑ<֊$Jz\>Y 0+ NS\B;d6Ǻv\SnJfZcϩl^O'o\)::F(Z{BCYNRbS6 |;ϽNa7(T%AɆδ* UqiX$:1IUteqyNoJ%?gل"OWMbt|5lW"tBȱgYZ7zXZִF! e]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>|+e`<8ǛGb,ǻ%*[pđi q* r%@+Pԡy:)m[uKKڒKweyxو\ċ Hso3 X; V ۬+,tS3E8+IΔ"P̭>3$҇댲 &ӻV<O!sWX6hKM}7Zb- ?@銍oWOd5mJc,  \(@ #˱gYZ7zXZִF! Vq-]ŗXi%GgzBqk~' cÍ`lEf?!{,'UY+$ 4{&e|ǽqyX Q@U{3^0B% k~4 zE!_xyEtMyXk lm}̤k_v5h*3Ř%@%?4:C`,Yj%1ؠa޾vA-o$縊vy^۳'~YY5 2@7VxtĶh'#Nj~T88cvVNcg(R֏)%T[Z«] v7ZԌkLbGX^l U| k#5X10g0窱31!|~UŔD0z|Ad)yIC:#dҢG5;@}2EAi:5ۉe1ElCFj*(uS239+z"*8qrS"7{89Tj;!._])8tQ\!ʉDsNTi5& dM ,&JXPdh"4sߧi C`S6oLcP0ě  ׵^gɁIT"-`'qZ乸,<4H^+M}EyHfN[`2&AMSs07:b&yH~!I,8uf]$:|'I!ot;YZBϫ&0 /1H5>mftK :5ɿʓ"ptpA[eu +GDUՠ(Nց ݔ0$z.cI12Xp`#?>ޖF ml7)ǂw/6zMY.(_a-Ǟ$pBK3SrsFHo1Pvk*u  =,ڰ5ƳnBVTTȓؕׄvKN) ?;X"d:CnRbH/˦iȼ=fmA&cn3aU͙lٕ?ş<֊ Sj0<^_A$gc }D`/P2 zzԝ%=v+EV,) V_~\&'hTP뿿w>5B,ɸF1myL#l.U"V8THa\ICV.TsWsJw/K 0#xk N}UfumY =TձgYZb0a10b5313306e181cb70c618081268bda2288f11795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be f492cb8444ec798d386f376215f7b1d35a403d0c572961a51146649fbe1a2099f8812ff7711ea2e5 = HOL-Nonstandard_Analysis