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_exports‚h77„otableisabelle_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  Á ÁŠ<OƒD‚<‰T ]ƒ% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.779cpu=3.648gc=0.000factor=2.05ý7zXZæÖ´F!ÿçì à$š]Å—ÔíXf·ÎÁ©é1Ž-ÑÀÅqæˆÖåá1`£VnȆfÙ ³×¡@rO³ƒú«ê½M_–ãÜÖU#­|ònru4V"Nñµd™ pÇ2‹ÔSv•ýYë¡kñŽ:ýœ6”Xò®³î? ¤Ýví½)Pï"ü“µ aÌMAŒ0/”§Ñóè_™½WpˆýäRñ.Ì‹õ¿ëj{¶¥îLO±ÄgûYZý7zXZæÖ´F!ÿçì ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.823cpu=1.508gc=0.000ß³³•NÑ w_,»¶ó}YZý7zXZæÖ´F!ÿçì à ‡#]Å—ÔíXiÊõ%”LEÑ!éëv O(ø-d«Æߪ¨#F_={™¾Ix»šT:Ô G¦…öt´¬]óŒŽ(ßèLJÝdø°ŸûdÇ‹K~ü´5ë.8ßðŽ1«Ê?•»Lß,£·qœò“çA–*Ìî*¢êÜ\]ÛÈ!µÄOZ}¡·owð7ßJò2±˜9…_˜&Qtf³ÍËíï ñœšb›‹8°w^‡FÜ:Ž¡Ûi/×:[ïE#‚…f÷ìîŒ8Tìr¨ðØ}ï³3Ĭ&ž×ðp&BÐKyà/ðÞú@þÙÃ[;aEA²Ô¢¶7€‹šÅD!Q¦OûË[òSe¹ô"?1VØæ%¨1†Ò·f餸Z~£» gx'ÎÉ1a \sS#Ý«Õè`!DNJãÒÎ¥ÖQ9€,‡i|ê]#+Áæ™P”4›•«\7¬8Úc‡¯´8ÌÌúˆûsš¨eBÙÓ@k`ŸŒˆRÎì‡gßéÉóêA»ÒKE0/šÛàigCŸ±ÑBB9!üøía…õìb–vã೫³«3T¼Þ¤[ájšÔdÝJ¸Ò˜irQÐVª&VdœÊç}wC£âmtØæD¾ž”H\¬zŸG˜Ô§jãrÿæ ¾¶B~nãðaSØی簘¢br‡ ôWçöN›7ns-‰§íã(îm¢VJ½%‹‚«i@—½×ড#ÔO¶]¿ˆø×å±ÄgûYZ78f440e9b9ebbddd128154445752ea4a3e0eb9dedc7b69071f5258c3706df73b3e56839183da893e 84b910a66c3fba5a127103a262ea752a51a43f31 a5a5473252b4c3d2702e4dc75c6dccb8b5813758 3c4a9d1709626b529c075cb39b79402dd20856df 90d3d7fa1a214bc609897920edd01abdc5a1ca9d ÛÛ$O HOL-Nonstandard_Analysis-Examples