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 %%X- \D ]S]Relation_Algebra:threads=4elapsed=18.703cpu=59.456gc=2.444factor=3.187zXZִF! !>]ŗXf[&&AINxOforZ>Q#P1?J0 ȗ-T 8UֳPH{3k d[?q/;WN|V/?X}( X`"j4h~[Guh&-qpY'2@v<{TGԃ( @US8+nBƉ ʆ&ʵ'/zїT/mN$rJF p0F}LV 2rrF ◦4IFdB.l3KCyp2$y^B8?.p>d0z$4}1,ͣfg,y hj7WG&*\&|'=T#[.51_o0I6//r"6[W9 k]Mx7}H>W+͡(\}VWҦxߜYYn A(H帒Fsj!qouOISfNqie+)-MDoѧlTDaSj-wܘA85R綘b S"'h5y[_[OZm i<uxGw 屍xEh$-ܰt9G7aaL(Ή [FΈavB )h*"OׂX{ǦFrcW~Z'O| Ukᔀp_oP@ֺuk;sĕ^Ef_8PQW/mW}4jteONǠpcR0 rj5.*ms c2`)CL&{=QTM= 6,vAF'3ByQyb=2z2CA^Y;DͶ޺CИd0Al%$I,̀E_өmng52]e@&Tǡ<FRe2;aVl3((`$)-!ڏ%i vp]Z85qv %iBs;hE J#w$gaN+p}({Ѵ좰!ԕVT1 jI/yO;\Vg!_a,}7*LG(}ۣ>C!T\|.2iU yJ <=IC :f,K D#ͽW0F(!_edc2`C k pd/W2~DPkg/AO(pfDwGX8%L (&Έ=KXז/^@ )^~jPh#1X"dG6X.Pu I'<&p"pn,ZX&9v=uuta7$SHX,t`B x8# ZdߡhJEAhC۽.kAƏjк~F $'BN@~u3SLmJ]Rom̏7$>xq f?>b?C.VMX'(lC;b׮_o'W2Ռ)%>,.ذwG'X[ ~b I0uzk+7<VK34Dɨ)/ݜ)Pm^{dg2h׃1׹LUk>>)dž9+KXxksEd 1aKJ\~sDz50\C'!I­S, Lݿw׋t3 ;H/U.5*RZe>и]HoVZT4*W[J'PJGXF:4Zp.r߉ip7,;w6?dNL)w&lXD{?2c(UfjcTPTw)5B5k"%#yt.bYb7;JCJx=Ï)3IҋE){)X!XY`,~7sOM'/WigXa x N!uuk{0m:݈+ %]ܞl'h<ךW|zu3 Q=l(u>W)ů'Z gYZ83efaa6f75e1c0d8f19d61cccfadc72881aa96614b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 1b6dd4c6f68494b908b97dd6f4ab365790a44f49 07ffb7f626e676fb3c8dba6e3856537e863e0c02eeb3ed6a05ef01be0723850aaedb20511dc6a544 - Relation_Algebra