SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 - $\ ]S]Relation_Algebra:threads=4elapsed=20.449cpu=63.088gc=2.380factor=3.097zXZִF! I]ŗXf[&&AINxOforZ>Q#P1?J0 ȗ-T 8U XBF"1k0Zo?h0E)وeQ3U*] }bF*66l.? j}PC|#TjNaZGb 2α^qA|N_/w=;-R;#kU x̧ l;O5.kaPq$r8 oH8oC<{= ɛm cH@)};i0%pW1 vL%{[QIS8]Ы` Ę!8$<]B}EP~b5lޝ~|騸2=ŏPULDD"}R#+f˜En4uZ{0| TVw3gMbFQ}.eBm0aS1p~],tlɬU_{ C2bo~+Bx .ڶou3z"@dxYÖDpi'kh >gqt% x[p;ik$ڏ>1.w U8إ櫏 5M3 G 8eWИ6rgO:Q^Hը\i ߌs&ƳeQw_ w-(ՕIPAgYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%g!Xi@]8?Hޭ3%ɢʣ>`' G 2MufޯK߉쇂0k@恒.bLrsb/Ve- g nJP$.I  n椵n}_pit7 OVƔ¼by0WIJgYZ7zXZִF! ]ŗXi%GVZXm>}K~!oB0Mô mo1/TxM(@8jfl}Ey;9Ar}4Vgo>սSs+΢}MroBU &!2֘)y]8m1qcx|X3"1#_[٣zC\ݻ0z8D9ւg}ه7!/ Rut /X~@1g} G֊8k>@E'0 bR^?vM1dl Oⱻm+j  C AIE?7N2p&8aB)F`BoN}q 8A z  R,-z6^ҕ@WRI:ZV[ -c#yr`䩳u;)3ZQ -x=e7;i3QzVl;0|SILJRA=;\FDÊ+qLl1ҿO8b;klo;zA0 j'he!+hnCGc $}&enCnpo;d74/bP S.іT]DK> QS `{5WXOcK|-PhqXw a RQR!{[HJ27@*['vLIZ]rp @[LdB6_}Ȱ옎7gTErX`C#r^4t `䌉8dF#D@W𯰣_zx:{@0K`QGaxih.'3$6y^-/It-cSVyqkSQ[źsFu;kGW.G|5 (, ooTvO V ++qF1pd,CNIUe^dz6*rbf;hxpѱ>I*J mPq+Mګ g:k칬jJ!'.?͝{鿄9T`QF"Xi=\ϯ)ԤXN?J}6E+g={|>z& ĂU6HW}ƛ!L 0wؾ+r]JQ^o:pskHjc7]HU2 !-&A~W5DWz4‹J,-Br[3%1g [Z$cw4|͒Hjd!=)F]?JHjFXyy14v~D_Z`l1;&͟)CSnL,w0oy]Dc|'}:ExBF1Qt$X=\סw,ĘAmOR*Tq*+b1dc*mUϿY%fyZt0RP:b*[JrtOfOk[/Pj_H檷Kb!|;ʟ7"ʃ/좧EWy|OMĸ{t>s ռfK!X +Bfу n&(Ok[%>t7/ı*VONş[b)q02vx8_kzTCW]F""񂛖dq&/bGUo2SUVd< 5@u!%+bY-ev1~AD('[[{K'C7x1P-27݁M(Y"Q_sKұʱ/_xLx"]ğzv'[m 0p?/+8*7ɏYVFf>b(ZWxh< e^<< m!k! <:ٹ.T[zSeı~3'S:x4zN[ZN [ү/}3jtDpereZ^3h15g^:`k5VnYFu0t}wFꟉOm&5/d ٸUb"TvAGFX fq4 77Y櫰ccs[6RgYZ83efaa6f75e1c0d8f19d61cccfadc72881aa96614b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 b7ba101425f83f697343d91839379dcca204d185 0ddf3cb88d4abdd21062714e5ab41bc88da8c557f2748f51864b2fec156c4096641536c549e69aec - Relation_Algebra