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 jj= d$ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.910cpu=26.668gc=1.424factor=3.377zXZִF! A]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXL4<Ĭ(>L;ƚNSfEqaWupu? eS:Q̣Ăs0zBuN{o<*!D y0S²$H-Gވ&iEP%L)߹Ov2ꚆFfyJ6# ZFkUmR(KI)D"wI >rI; >60P((kA"4p#R*Õ޲QDs$lI`)^ nl9E)-gYZ7zXZִF! j]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>8}+A9/*q®S< { rϾD u}!w~#D6Ӣ8fN UG.+;ʧwh^`G/ѷ(Ua/~>Y;J^/) cjj}S&%Adz w ?@,'-O\lzN tIw65(71Zi8jCBMfw_k@ܰ!O΢Q0G~ VֱgYZ7zXZִF! &]ŗXi%> U,=B BquEr]ygj @7@)aޣZ94SB(T#y]>Siܾx1[hfnKqiqWъ[ӡ rǔ9'~ 6(<n/o6O n} lּk\62EN:KE\8hIέ$$:pz<&>7 BuvbF+/pZ;ZD1o_ϮkfI(T숇 w=/n7r?P:`\. G8Էkb7ueo͊G lIy{fm3fˇWMb{:Z]L`t?]S)Ys#h_5vKxDSƈ)P@%Q'H*hxXDo*6sk)gbnmS%a_::nkjo<`ښf׸& %)uw,FS*D@<8q%CmaqBvQH7@*7y֟Mqgwa_:> '#tf ىэ} E>ХS$x@xIrq@&Nn"4__d !E8RBN4e ŔD-SϋˆS^՗*|J`&"8!lAДLm؝n׃$tܘT 3s2נգˢz M eKd6*d#5|Б} ھY)vx@ʇ>ڟ*&dMrgYZ029424bf4fbbb88c72a698e05131b351d3a349fe9562e4e089728e23b6fd144e8ae0b325e248d0f2 2d67f70bb6d3bc3559e2889263b4cf3e2b1e4e9d f9787eef9dac6f88ba0216c94e4366b98c680972 421e0691229feaf508bf2f410c596ceac6f1e1b5bd5611add601bb3fe802920f0a23cb5ecfdc5fb8 = HOL-Nonstandard_Analysis