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 ii- L\| ]S]Relation_Algebra:threads=2elapsed=26.083cpu=50.428gc=2.564factor=1.937zXZִF! A]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci+b.ֵMqѷWU0 Aeїk(iceM 5=I,M^P);Df|A:pęU?r _ԫj-R r#EifL#OFC"ROE~=sl.o{Fg{vMV!'bgI \Ul w;r2}t:X g.//ݳ ; xzHdzt?,BC5>[X:N|Ck}g9Xoӭ`b" %f;Lo'hbB#!V00oy՝T)UHل{9M*ӿjT$"ScәR04'( >~'a+DHnܖ'ֲGtGK[XxH=3ZG G'A/_X^P4y^TlKٹ,R.doYGmՑ.RK3aO; 2HôS(T{هmz6ҵTpu*/2h=)LI*[@#[gYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%0 p A푼{$u!cҁhEצڏj0;3_2isXS3*˙Lo~;=w>e~B*w%/s1A*Lh'IX(4[-}^K7-|abi.m=_+?JK-!|yA)87QGgYZ7zXZִF! x]ŗXi%>gW Ju_@[3|%`5%R˕ƫ| ^bE{Œ@ٺ-ؠD3lMN[&| -P gF5i|9@yzIϡLIS8VT" ،V b_XZzk#0_}^mĘQYwcx=7V #?Rg/U_ ZZ)}"t({\M2nޓGov Dj|0y٦:q HpߒIgPvn^g?O2j})ݢ]5&#; Ko񰵔ΪC[C=sSd6#߱莧 yyEhq7+h'UJ*!",4QY< |e:=صϖY!EL=/X3YtB1]ets+y1J?!;/8px YI UIcZhei*Mh:l^ ?1Fv=e;:UÚ-~ãp еꠓRY;:$Usrs(׉B|#n@4ͼA#YڻKP8LѲ7n)CRWn^Zli ::iJ ;5~ [xdt%户҃kn.n'IHiDQV|ME.stD`Gb_VFV}}g$.K" &,44#TaDAA}_ JW[,>v ktg*ing/<D۽;bc޻ B4wN'f=RIFm) >Um)+iɩ^+]CEf̟qFlR/Iy8'jr~w"CYh=\ .DsU,ё1gd 84 M2#ġQ߬iKrhJqB~gvu2+t;L׺ g>%jx&sݮjSBcr0g?_[_uL/j1Yv7qj>4oš\J҆iV^ޛ~wWY5-8lO'SuN3(K_V]iƫ0!ưYJW^]vPX XOA%n.s酡;XZqj'FUm' a-O,."2.q~eOѯ|9=uZ? ȝd^ywYѲCS.u[57Mr]9K]#‘OSWԃ¨<z4/;ގ?reM6N2 {r_(}  T GtOЗ- JEgYZc900de9f4d7b43a9d90bccf32d89def2f33eb35a767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 88b4f2682bb4f2e725f7b620eafbecfb10667ae0 ed35ac83d43adb3990c170911b844d77dd2f6b7a726bd2666fed08bac6e24dc5e6931b3550602cdc - Relation_Algebra