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  k;L4 ]]Stone_Relation_Algebras:threads=2elapsed=56.147cpu=102.956gc=4.308factor=1.837zXZִF! C]]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQTGKXdRˆd00kӑ?ɾvH?} iB5S_0jn S@̎`;6qf"ve .|) ,u^IeO+B*_.U޿-OG*bQvBE8jw9v M~dz7M]ecensgmRj`۪z)15˜(MUQ,&zȕ&ЍkKCFNU&2UN( uOfm!aWY×tꟃMnБl"%jՊ[Ѭ_w(6xLi3S *ɣO BN&2oꦅ>4_ 8ThkvJ~ucRiJy:N^?,91A'i6~ZC5i<-4ΖJN5;.}QnSTl`"}[A_ Yb€{$o9Y+45 U]m`[̾\ !OC4 D6 I%= TldlȝH_(kYz;q,n4ݸPSG4?z T*6Le= M۰mC5B,?K^VO`< _LjvEcfC|B8@p./#75Z^H#WCՁ'Pl9\kHN(ŸcV{I&XMAՋ٨/Ee'4@~jmZqf~b;xXF@2HFUZCQQ{oU <tj.mi Ͷ@^NBVI֖4LyaF~W>g8?3;#[xre(*>lf,wkeٴ3*$i~rYm|]UȏD/ti,Fh H#qPZ\'`~``75mh_,% ZAGLlL^/vҳ֥5D*lq]"-#XhU=0^X.k+dlAHE% 'JH o! )Ɲ5(ql,9 ‡d]gYZ7zXZִF! 4]ŗXiɟ3:WX2V^M '7xwB.]Y1(Z9X#ڑi1 ; Stone_Relation_Algebras  i0/Ēm>0x,=ymZ jF"?+}d`VYOs z}B| Vv`D2-XXPLju+p;]zGZ:7O1F [>ގ;XRpD'1EJygYZ7zXZִF! A]ŗXi%>g}3x׋v/2ojF_"i9S5bKܪn1tHݟz0`ÁuRoJk( +(-fef6]tQC'Bg)Y}tl0Cu O:|fdr&0=̐"Ssv EL˂k$2?Ċ-u%i`sW\M~pEѺ\;5!aUZbMSIG#Fq Sp]PP<^OKל__Jl]&KpY"9ŅћԝNyJNK< E:$g! Pa΋Dm^|["O ǁ"K%=!j:fg (C-554R0dx]s,Zl5},9HvX9_d] vN7FԿv'ўGNr|3C`ƊN2_.B LXT 50Tw/ 5͔=*2^sES~)^!}regW;ħ`7up :B0!'ΰ/J}fIAHe6~+IYY;>Yω1hv P~ccZ r6[ܬ` 6郋J@b1v#}p3RJc9]|(+xDyi{B5w' ºL`=`-+&7jߕyH s΂HFVF\(O1a/sq3(R6|myqjէԘG:zQ"@$z*9't&| %E >4vj;X?QDnwkD}1ylλgS~K.\O Vjkܢ ffh4CZxt؄E?ìLm`[/,V^N];da <\iniaCǁ%;ݠ;ݍCvK4N\r.Cyl{Ѻ._<7b-FSL[P 4sv63G#ۆe߿ ?2Kj8rq5g=3JNq5Ku+*XRtP*-(+ndKV@P=OK'42TWP2J$~[n?C=僚 W/gى=}v[oJ; ~6P wmh_,Q\՘pƽcrX<3Q}5lc?EE)*2eGob==)ܘN?У{Gu=26V6. Nnb׽?DY|mMꛏ!!lQA-ho*i-0D+ g-:Ղ:: Sv57\ 9ûs|T)V ?!yҁ# iSoQҷci߱eqSiLla*cދ݃#c v=Wre߸-5p<5C71o?+da?+'^a>f?QL9gYZ15bf151e48f9fd93414c555c3ead0f49e76802f3a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 db4a79f903e03b1240f8ce40935a87b1121dd1ae9b17b8805e0a1ef30633a3fc3362e51f3bf604aa