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 w= |L ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.677cpu=25.632gc=1.380factor=3.347zXZִF! ?w]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXL!nj #&Xn._1HF)*"{/^5 * dbEl+=RTf~y/l?qr'QkAUZpѨ{oHZDۢbi7UsRJ|%ecKc_j>+ \j1>7b[GZij ?RbJ#\oaI)KDrxzHл^P*U{kFqRq&]9xSvgYZ7zXZִF! ^]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>mꇼZe zִ>nU;2aUdBB5j>~zm 8-}qP5@2HFN)wX1ܣ0\M snZw 󿜬{ȳt/WF[x܁f-j:V{ ^ y=q̣ݻ;, >VUK(O ],0R|#=4WEWE>9 lU >In:&yZg_Vmi9CA%D.r'VHa:@itJL "> Fij \#Z<[ 2kuMԫ2MYRavHoҿ'X` -RUZY%L7הّ͢c"Wp 6^$(R׆5wnjP*>#/gcٻm nI3#+tʍ*hݢJX4NH϶+wAojKד+g+]֪=Ԑ!{:Q J 2aLij 8f8z|LvLRfmwL.= h! GwNr2~4cJ4u+ӽ(}**7OF?Y.0.|ئInpq3D;U๊8Xh %^ІbI#o3W&DNU0硗.| ЊwhKGwtP6\ZGn)hݚ;&"\=5JHNMKBgYZ4a38ae52cde06718a9aa9595cbec51ce63690b12fa95ed0464f30ce78a23f18378a450505aac44e2 33766297751265f96298d96dfa2ce2f96fd564b0 e3b4e0b699f05ce3febc45161dbf3eff25d7bd15 1ed6fd76347e0881529035b57b9aeb0e2b269736e3261682ff2231f48b7ffd127fe84be445b2cd6f = HOL-Nonstandard_Analysis