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 NN/= dL ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.004cpu=26.804gc=1.384factor=3.357zXZִF! ]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXLAdd&~BX4!H̰ͣ;NT^%Qa LLP#S|1QU8.|^@&|z$&'9hLHaM%vqݡOO޺xBW듗aم:t0 /F(n 3 '##wĸ!Ȱ 3r#]]MFjV9vPx죧j^}Vt8*1peDCQy=;Sw9Ϗ$o\?u} 5&_5 "ꦂ ɼxN&x M._|Il}8[T!4O&WFX~`(*RM ;5 @{Zhȱ+QL( KD4^sw\<8`XNazbsuU( &Did/ % gYZ7zXZִF! (]ŗXi%>lբC&:MMOͧJţ/w.7Z殲I`}e](ӐD)ڌvX?tH`LG]\o؜Y~dV,9+Cxnqsdsw芔ņ 8j-KR{/$~ґ96Rxa O ]e@o O_xu$ºZ_;H :PTY>@HS`IA-DD QXd--rG+q~eYE0U\l-K]0>n2dD}2[u{H`?w)3Yֶ J֧ts4sNd+ٵs%a(N.Ջ@FN,Fq3]+Al{=j(߆mͶCcK혃ܩ- Hfqun !,ɞo+Պ <6C>s5r>,\QkWykȣxfv6G` zÊݩ%_&/q'2)ee7U.X^XIs~:aTd 3nǡ[cæMX E_X) T0/ttd5ɫ^vM=Ws%^fKf}\ u&Do ՝cnZ=X|w@2W $ĒZUuƇ>pBɵ5ZJ1QC:nb&Uhhq/0Ufޜ$b1 .Oh _~7N/2& ~qǾ[5ED gI7-R+4_$e| $gq2s[cUZʮy(zCQZgYZ1fa7b9c808657c14e92c1de326119558a849ab348cd2a2b0485da6972fef25fa342b036cdb7debc8 3de0747a3e437ae3effbdb060d8e4514f50343a5 234d8bad874e90552827302bea0b07698ecd3c8f aeef6809db7b2579057959b32647a2f0cdd65cbb50d0a2e077d2c33576a4540f79e9b4c5194edf9e = HOL-Nonstandard_Analysis