SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 }; >rF1wXɅaNxB2ތࢍ98bRF?30{gs0/Gs\L; ; Stone_Relation_Algebras~j G-$= NױSihdMT]]HW" ZԩVsH0xuYĮb2>:|'`T\l2G[/;gɱ7r5rvX OE1mJ3簘R2țGU7J4jrZڰ9Er3{Sࢋzz&| IU[zڕ6<2pssSc+ @rmIV4X0}T 1gn(Q4I|R"mB{hj]Kg3 Y^R}w&TJg)0އף ,a-F)nVut4ZrSa19_09 ?Uhd ׊e[CB'sZkEn('tuIX26 Úc :1SzCtӯh5|qft$FC ib,j( 0Zti_d-[Ӄyi'å(Gќb֦h$L>Bn IO`8="khȇ6>wΣAl 8^svQ+zt%n#\?XNY>*nlaI+4nk^&h%.Ԭ >K7arki/ϰX"V !<ꦩՌNO?h(ՂU84l)>%v8I6^t[Y֩P@GQfU&  ;ON~|c/X]X갸}K 39lpb9@b06Nj^0'%vUv>qqȖ=kA:v+Wc*[|P?22f;>:&US|0nҡPpMjEc>0:OQT;[w+2whMIɶFW e+ A: EVCWǢy#խFis\1AUh[\ Qt=mt ^Д {Cݤ1zTI(7k U4gQ"̤ ˅q^ͬU2Us"AHkM,(-ɥ gZQ!(@Zɒk #y94 \]úwcA*.CFXrK!nP)vflyq>ζr󺜐i]s x %iNp2|4* 4\r`vjҼٔIN䷛6ުM U,+{i^pF_ȍoK2ww%+v 8vس0hhÉTa8#D<R|x^DeZMGF)jrT,3R4 j;(`-.OQКh+y.[o.l8&c,Uc>0z R D94IVM/ pL ZfH Ax(x6nIҸ7(Hmmx&G)hb)js7Mgss'9vL.P-53%.Lj3h0ːNߊ$caj4YQ]t>/*yLÆ/'B-4|^iD~&ӿ$})=%?pQ1J]yRr94O_^r$~֎05KDR8%Q, C3:͡m!6h̶Yŗ#(68 ΜٞE5q7`OxfĭJȜ-ƅ`^e&WފlV#)IpYpRQ&5㠠(-6KWeֆkM%X={Wh޷ js~>EcV'oճicj1IaR@/؄[S(kc202C56o7]~G|xyaG[9t=_5W+VN||Ii6U&#/A:rZ8,f&M֠bھy0 ~}$ߺ2jIn(`zg&PSo:Jo2z)<տ!=ZYN3xC뗳$q5yy88<烱%ńmaE3SVJ%8_~hU}V9S2hb ClZ> ۼƇOymuDKf+EeXۜ@vO? v4YĮg&x.]F~K2`0=a^*i9&Wߵ4Ligj2"(ck|.GD\UDk=tClH,7IP|[tYpweؓ+Cg$0> 3>am?ӌ(Bd\NfMK1 Y"M]1/ -7/kDϯ`eUeX{}6|\~iAP~Lb G!{8ϤcN1P_.sygţDg)P,WyTl _hr`*p0h#>z].լqflz`ǕO^$:#1 tXn q^`Ȋ$>^ou6R-LYN_)ItiRRD41Hv=i𹙄u u"$ [<&ѽ 쳪kM>fD';4ٽL ]8K_̛Slh< 5cZO H>m K`]T\$.W<٪%(ϛbDxJ@LV_P#ٲͪrQ<8E9LŃ !ë6M ~AW:.,W20 1tfZ#!m@*F\`zfRb v$އsxsx@?4Vj4* XBVO{R9ޕq("0zU=#KK4 l7,h<&+c)J܋V/,woȁ^cd JPP?.=ܖy4D׶BFr•gTmT%WfWmϞ6qc"bnjb}4ks4U38%j=c*SK4q8vN&Taڎws& rj*}$/jX k(rL*}'bױ=8)X.F<&{IFz/cy퟇;J) UFܴr# z=M %~=WE V%G:j]v#ab9סfVt&ƏK!.D Z4,V %-[e4pQte:JVcME9ٛzŸz,qHSIgV\X=\=|aW {1jc#z%[# 2x<3q `!c2X(G7PH x7/q>N! g=*? 4ɡğ&|eV ^U+ -*gP3TA,w)PWIINU JG!Y/]^pYc^o:(HضY,t׆2E )-(&>OO|A<]m-)a9^uQ&A{$GSsR ݊#>0b&H1Q`{6\ŗ]Az*"4oտ_UCvio¼/=[Gmb(bYfX.< a%|fdHBdϹ_{B'ZN &j<+'-4}yijԯaCP9kTD3~ #!+%2b0yzU]K(F >$Ċ2jo^UWD:d+-+%=aX5HABXC7]Li|ǧrƃ&P atMZV,Ft?oKH?EOU4ϊ6Y@iD'4ѳhBw,<ĻO&<#}ڨ{VXr4,J\}`IxpdA\~:'pm"1S*|HO ZM{^">n50"g1HDVs 3mgi% ΅|6c X}UERC$a5LX7'4T ~{|)nte'WZIiL+J*-šKrdYyyU dk^K;"8c,e#k1c ԣYĤKkA723 ]&q^ғ)HW#.U$"7hhE6Y%X47{N ("M31ݷnkNU!x8Z|$&$o:1U؏~<(?sp+5: 'XԴS?&vMGlu!,|YjkAťXTfm>([{p؁$:Nl02plc nlZ <7"8 (aQ+lc֒m$ vA+Lfj7@9n%ֲW׬%<8S9SYh%u窺#n4Xt6p l2gYZ0a28500c9cd54c61d25d49ec3b240af715f8c432 10695c7814284f5bd8111213b7ff4a17bdfdc2f6 2eb9258a93463f0c98dd4d337e90707e66103296 3c8cd887c248fb46907e322f94cefa929221b95c 421747f71fc1992e2ef85097ae041447c7a6f00e 6969c3c300be75bac81b6017a7cadfe044512696 9cf71692657e5b1cc055fd134ecf3fdb9b919708 abf04640ec0c9664d9c8305f14510396f28fad24 c7f3c508346e5bff5867083ea0a1150a6c70e2e1 e291d123f5649812200704f53f7e2eb04737dda1d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 e77c41e8a82dfebdb780b82d9e8da9b9c2db2fa7