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 yyO4E[.Ďo.0p8 c%i:.H_ȴʆԙVR3$Bh3F3e0+B^pQ-<VFԪGww1htT*P\NbNB[?a 2kg G< o0IVa^2L M!Q5O}: A4)Q7L畵IUS}GWB\4E =NűE%W4{뵇mEE'Jbjh_ n9z"ݜZyzgk>jE䋛OAv&*jؼ"mzef6 ((@krUV<{S\Lo%`&/śqo %BJ$N?>㲂r4ynܓa; OCt*h`a*i ΢ćکJq)]Du v˸)3yP<3lgACz#><ߣ]tQ4c[Sn$Jj##+t>T˳CC(8AƳ;*L{UBqM<}!*Ieu UqBׂ&.Ch%֋n +EBy  : lxMmW~'P2+R&h|ŧJ9pv^_&O'KH (ڮ~M m٬vy⾣N ~T|puzƌJi _i4ɦ^┍!0QQ7e6>;S>:qm(\g+Jh6>ް/ /UqlaOoxc{:_<$3a95XwS{At],ٱo[BbffJ)9]>xyf~\RmArlH&jbݵ /j SW%콱m~?9zfnv65)8rؘeȡg̀%r:KPx/+k):9&Qr-z:?l[UΡFI20ݱ^. H7tC]oC%ԢL3mN'k.tOd1kM%t⯃rl0ˠ(Q (B03 *bFWCRh61Yoyf1CFWT:z=ET#Ӭ ;[I"@NI;uDrhćA m2dtbߌ^ ol R+Sn)"Eh?zbr8r%v\gK qAxbU3cF>)ѭ砙6tO0ދgsk\WJT-\v3?"^om ^maĹ&g=ȀQ+ea;QG1%i%Ӡ`a>8$Y8j|'D;\:.6BT::Biq8EFN5J.WyJ(ssnsn!=p0#78:]9CݨL4Ko'& ھ#/h}w9DwC/, _\6U#-q?{YR!؎snQaa{ u.R$^kM@^mG[(HƉgYZb63a66db8dbe94988053ec2c8a8acd0c852ba5c3ad95178f9cc8aa8a55e83db54baad3cdb12343fd 1699cd031ea33bc672c8b13b97dd8c83db33689f 6f1a5e54ec9cebb88fe3f32017a0814fbca3ab55 17c53773c61163e998c5ef8f93ce5911d914bcd5 59547c7b04abb0834de547569de12dd7ead24441 $O HOL-Nonstandard_Analysis-Examples