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 d- TT ]S]Relation_Algebra:threads=2elapsed=25.452cpu=48.932gc=2.524factor=1.927zXZִF! ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci+b.ֵMqѷWU0 Aeїk_n֩%OIZ-ctu%i,o@7RVAJ9 _B ž-:h*p+}~#[nqQzlp!|y{f0^!tig]^~U79'IJڱ'hA%``@.Xu>0҈}CW{P94 qO&Ń%׿Npu[ZϹQ2§nUͰ!:+\17k@0(!NJ@SC+' &}cɉț|M+("]-8S Q$L:p9d%>@&`P466ͼKl)1hav7 D`H!«;Rg #hfM;s0=e“ .^Ox|Ϗc`ڗ_"$:XKk Ouɲ*݊@bY0fk^J/m%Mkubϭ۠0SXzŞ&-y3[8ӷOTAխR?hwt66fOH=l+\tN\oؿ˕z|^!=={h \f8 re=^ , r.z)Mo#<yضgYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%֓$`]8!@ӠƕePYc7A'H4&N[xD^WDE/5 ү -t6܅<2)﷜S\ÛvS; !ȵ;H_?%N67\qqn|{%7}vjUmcP7\s `h8<_ gYZ7zXZִF! :c]ŗXi%>gk1"zD~u^}0:.VEok!4peϢq+ഄdoV{7{V( "K JO5'ējjWPZȠ_S\5.SrF&FW8N I),ݖG`25`=`B5H tTž7t"U$aV֖ae/!*q]dZo-w! GRuLWXSe'Sv?WWgke8/4G#7e5IRuum|܄ kGO׃sIyI%&1Eymkh}1̉{`챃`Q>N~_M~IC_h9f9VrO:`aUNȗO$OX8E;cR_̊BOU؀5d)oh`^K7>6.Qل[ry˦k5ĻL*5xǸ[~u؈0 j D)Krt7XE \!d--4Vm Tx@YDNh#7;И+a| MLpQtHb8VPc S>m!{\LuC -".%kAdA2DybOō-XJߢf_t3 ;t{oIG$]4 ֕9dSefmc(%grRB/9'f ʡp늡2!Qv+a Qh5PXR06e4&kCWܴcjgHk5R:j3c2gdM qGm)OvٔyHEFA XZz}=d;듻 7g4)PwI rʦd$FYTB8]oU0+^8E=Bx 8\~Lm\q`yp:HhT`\kFӯ9-6  x|*"Pt7##:F"wqt \ ]i9%;=)Us>+F+,ƿ*?4Ȑt=~D1>(ڔ|feU/"ߜL>$24JFsAH\Sȑ$,7 ۿE %8-㾑$adsQКd prŀ)BGlޛa `qgZ%.qđ'ڰɰ-C1@,,H=CJ`)ym:5[ k;||cwD&DsP@^W6Ϳ:W&~_7vq袊;jb~x4~r:ڤ]v] g}h 3n%6Z6IjJVxp4cr$71AMHC+\!KyQ=Tj坭76t-?>!J`yV cC%!7SndY[7Qt+$DSFTOhu*ӼRV&B-W$Ql^ץ6~+ώ{/b֫)o4T6Le'A(M"=-g3eq'D$ItC3g;\OgYZc900de9f4d7b43a9d90bccf32d89def2f33eb35a97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 16c07ab52060a1877247247ac947f7478297781e 555396189cde0180108d4971abbd7a233f4ed800780078155ec86987e2b1d16a8597614ed2a521b6 - Relation_Algebra