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- Q#P1?J0  B4waA>'qʽgP8OMt$I^MY%F4ʀVE{b!`䎓CT)5*wN^]!}TgBm_HIv73 Z_4:";Uz n˰C6@'$Jjzɑͮ.,K% &&5Z"EZ]+BݾXrڵ7hEK?m4҃ю(HDBpA`qs%}?q 2$ nn5,ep)AgCc` N~gt[q6!^^8b;5ྼQ9.Jdmyt~wM'A[HH(%Rb#{:\whZ6Mq>boeӐ: !(w;4kfuk#FʙAPu]0!Gܚwl/j:/.m~@e;\̱gYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%г>UH4D))Pj1Zb[&\RwEmPxf5h[-$|r lU>Y3t0ڹ8pGX;56#ZE eA]ͮ5ɀ^E0*-sOq Sކ)X EPX~G0[g}} ,gYZ7zXZִF! 7]ŗXi%>gd*8Jg[zO]Ug7"x'>cCaD(hdti#;AHFV$ TjCZLA6\nkbpv9 m36yXK3,V$Ik_"wUd^0?}4h.F(LB^ Y(E1E=,ə66۠F>~ FiL-kzYvngTR^!U:] &޲S@=gSKdA*}̎SΟ;a14j+,QbfkL$AU6t`UNvQ^=BVkYrqP-`)./K 4Rއ(k*cP niO.qmƥN/q75R}C kဗ l '_3 ?Y,UL/*E_s%5ᦒe@:0}3bJZw#A @U=RhCkuPmvB+KxYd{lDl.m$ezp'DTs\B+oߌ-SuCbFYRc8fPt &S迼-p @- tp ӯqh>3/OvR 4Wt +/yBdUr{h}ǀ&ZLIU wF45\T{51T\N [{W4U1f"1b| 9$'Qdl f*o\c3숩/M -7J-~lO @A{Z0SC)̬C %(*r? vsZRu-9ɏd G$$ixTgK;0e.ߥJ&]<_@Hn:y_[/Ss0d;/j#)w\cq-am6.o8,Zv6Aޛ5۷XM/ZHbߛcE"3[坅5sL CJlm8]aj݊ |jB@xxAqΙ`uk7C H87]|,/͉;v: _{H2o,BMU.҈J,rIts4Hv]$)~3gU'm0*:=aZ;H#6 = \F6`C㵱)e II__ĖCZgr~uծ}{~E >Wۨ>DY8T-2"b TM̕ ݂t ٓnFA^}15IbZVYH٥(8)$Am#|lj߱gYZ7922eee250f56a5757fda99b887dfa10bb8422e40779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f f3b58575365e1cb2fc83796803a03a08daffa396 152c1ae820a6a53113918e2b53394298f31685af708eb9501320a0aebf4d46a24f907b1ab1882383 - Relation_Algebra