SQLite format 3@  .;  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 1rl$ ]/ JiveDataStoreModel:threads=4elapsed=9.909cpu=25.136gc=1.1767zXZִF! ]ŗXiɟ7KIxjbk- J-3h=\/vaѩ)ea :>gD[xfCjjP܉w``@S=na[IF_3qZUAU鎱&.[\ :6RB]6Eܟo&*`u&̰VwCrz*т-˼;V]xɒS+I_*+)&^ & e>\Xea\dh9R,ŇFɿ= (Еc[􇄎 Xuü=' +in3X}/Mw %7u/w~ aQB)Iv M FUcX'""[GGT]CQTq8Sb&3_N )zD2ñgYZ7zXZִF!  ]ŗXiɟN$s2a§2M:J1!J4ʗ R^֬Dkޣ V:j!A1Hf;-^@ѤêYVuW5(?b2h|ಹ#tYXk6u# )J~F2Μ= XG1¼94#Ϣ(?4kAkxP53,l4T[{oBv2tPJ]|PMHX!"iBQy4es0P?2p5Os)&8X|[c7BgYZ7zXZִF! P]ŗXi%BzTQM4[h,)-, pzya GxFڽ|0388S;{@[dW͆qjdr]ZW2Y< )u٫`VEPI/! ߬F~U6/أ(q7J4 ѹx߰80ks֑K3O@Q%a9 c@?|EoJ+@E2v@q^-ty:6dq, n>]#P=5`YU32ZhPeh!v_qJ-gxu)hH!ҽUL2W-xKbG )Zdɞ{~S.BΐG͛(q% HfUu*gNn~5Iy\Gi^gXy*OIH+Yv1PL}32yB#7薰>Y꼒Df;*?t1k^o0 w09jń sDWw|i$cBu"B|٬Z\| e5@i}^i hsaAs2-*xrO^;JO(D]@A^<ލ{qwŸ_c*x($3 iRU+At|oP$7z(1Y:y@%e=VD+/ /hxfתžLy@uU3/OC۾7ɾ/hRy&SNwسc@NH s_tYs~ݴ>(|K;sTU+*c 5DX8sQW \b&rȌ`tf:qN ɡ_gYZ2bf92d6574e4443bc34fc270b15539d5d7a59d8196398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 1 JiveDataStoreModel1A% JiveDataStoreModelJiveDataStoreModel.Subtypedocument.tex7zXZִF! Ȓ]A-MՋhvG"uIBm5Ȫ`3f @dzi5IՠUXٗXlQ?ΦQvZt~Ě2{i0+["bPj 1IN|9^v"LtsYFaɰKَy&Ƌi%Z#*W Tɑ?RYE{wJyrtߊ6KG` ЭCf;4|+su m_> ܄fr GYԻ޵]$QO81 C_Ă C)yA`K  w;pá;Eŵ)kP a1509E{0Wuj~xkW59mZNec>g<\ol-:=CaX_AAuF*>?ɼ 9AXB żn LȦW+8X"O#6بPPד)1tT9s*Ix=yۙ+xeG$;|%WJ6`d 1sGxv}p'HsZJt*u: B5' YşeKLӵrj!q7yk/a[6q`Y(HSߩncaᙫ%ltyz{=$%ʐjE-{7}g^hn#!Jrf#:̳FNk6t"gF+7j|PWPWB_c}9''z3u)P6=2|QL&` @?U&O;4+ʰpPbsXbt+Z{KQCQԭhw!NpBp+mU9Y6㦲:4ڶ}sܴ#;]XBvޥn]֘~wđE+3nz< 9LT&{i5u"W< f&-ɮ^&ϩ+.>A7HX9+G&8U<WD0VS( d@K_L؇\q["5ܡo]`VP!ɠ[z[b쑰gڵfQX Ƀ%\ fhí%p|_}\\%R`;Y9|k: ̛*f1=% \JiveDataStoreModelJiveDataStoreModel.Valuedocument.tex7zXZִF! ]A-MՋhvG"uIBm5*#DZ-y`]F3~tGpZ^4:ǻC>OE9(E&F`޿0ĝ-=N=YiUY$R$tonLO\P.vS+ٛ$pZiS#cv݁;R)Gd.:9];n[2\n 5RB&9ݮο1W%,֜XV );T/F".Psf5m|%9%s=j. ZҾ1 fvF/ucaOʣx7 !Gm~a.1JJ:3S| z Jiڼ    C7  | ? ~ F1Q%JiveDataStoreModelJiveDataStoreModel.StorePropertiesdocument.tex <1=%JiveDataStoreModelJiveDataStoreModel.Storedocument.tex ?1C%JiveDataStoreModelJiveDataStoreModel.Locationdocument.tex :19%JiveDataStoreModelJiveDataStoreModel.JMLdocument.tex ?1C%JiveDataStoreModelJiveDataStoreModel.UnivSpecdocument.texF1Q%JiveDataStoreModelJiveDataStoreModel.AttributesIndepdocument.tex>1A%JiveDataStoreModelJiveDataStoreModel.TypeIdsdocument.tex?1C%JiveDataStoreModelJiveDataStoreModel.JavaTypedocument.texE1O%JiveDataStoreModelJiveDataStoreModel.DirectSubtypesdocument.texA1G%JiveDataStoreModelJiveDataStoreModel.Attributesdocument.tex>1A%JiveDataStoreModelJiveDataStoreModel.Subtypedocument.tex;1=% JiveDataStoreModelJiveDataStoreModel.Valuedocument.texA1r A͍DQj7ťf) Q?Ž @)8d77w/VE͇y^wcCлHj_pANzY_PW5S v?x zE$il4Q_UX3 *P&xcs[w3SLmbD) P݅fj|F@pCypKF ZR=~Fem<ŸF"Vg}gMh֯DUi qtPE~*( 9( yWs> qL-omQs&+o\㏸ye38o ^ \p+I/-(3_[+&0Ⱦ~GO̗^gL#s-hX-'o[8,"t騨}̚hClm^|D:c^֍]9%N:| )t3X&@Ỳ?[$={6*1XFܙ,|3CU05-=å"11`t8~&ZooR:}c9^N HajѣyG*CEئ 37o:Ϡ`i1v0Y7olQ٪.yJZ-l_,=~ )ߧǥ)zLJCǞ丧{E.=:;U۩T++#'[g+=ݳSzK1R}+x%xLYE&KC-(#x|-~dre#w^G ҜEc "U:ApaX3_}:a-~{*3.Z@S'iU#CWL6(SL0m>bԠI 1EڻPްAyٴ8é_#nrXY + 'kK$|ʄF¾*a}WG qSC\.K)$UKĖtF AιSB'MdO\MYLEz9! |m{1]k`5liGlB@ n,ӳlP}!vJ*; 2l8;NJ!IYH3^nНHxWJŅpȅ%ߟ6QyL?krG{͹:,'.hnEt=rz+qc)MM+&mG `|L^ۮx V+NzB5}zٶPxd n|)S}pC[Pm ͗;Ngz|- aYcC_#1<)AbmElUL#nw.pEVNjG*&餞Fb[ 1mڭ y])]B"_lݻo_GS06DT'KUeFbQ. #aP/_*(CRP5 u˾ܳQLcώ4U=Wq|<4FLlt'̉AcT \ )tVV^+~G*(JBN|yHCGĆI#VOiwzkArj1Y+3P%u谂Z AVFH!:"'j %P0$T@!VmM<"jvkKg>T5Ȕ薑w>t>/6'Q$_a|N*UYᗀ*\noZaB#IR!IvxE]*.w!{7]N= +qhRȅ )y$WZ`#.5ZO9dA lmhMWүo@m=%dGIK~Dx&!ƾ?t6;H$$LlCJs[t4_ iAl_O=eW/t+BLnmZI6 025%i2.b~7瞗7+H[8ՉHjsGGAMV$o|b܍}"Kl2{b7Ѝ;}Eu=6W;ɧnKa!W4VBT/`$Sӡ0shrw07TzRok$Z3De`E; k޴x[MPq>c}6#(/E}?cA|B1qco:QQվK dyD/U rB,UX2ApdZrC*]E<eDh?8JD ⴳĿ>]XKig8t Fjzr̀p/^ZB1ZM)Ai@ZK/n_r1*?پd E $ڱ=91vNy>zAll;`:J/Ȱ:KK~Ryimw1*r7%:/ 6r,Ffw=^lcVhߕЃFtZ;ck2"  2$y.);Zr)QSmOSJm+\mA+Fغ `PҴ3 k'kG`AlMվF y [Rvkjؑ_V(1Y1?}ЧNJȷYgΓ3}kJUYJ_)9-ʘZ**̻niѫd1H.fQ bXr"\:?Z6eT_~;h5b34o])JHsd!bRk%^ i=qnR7ڻ֟_<~eEףmABLYS2/?4yBk:mHDڃq&If2"S[r=PlePq8w5|Hr.KyèJ-pGpsw`CTT\p#<R:N?A3WLjK}BHptdFn%I-2%7[@kl1-kuˠ O-\CzS;[o3  l?UiY -G)):L񮿃_Bc |*Fh14o,c/Ν]ZZsB*9QWF#N!1i^o/Cw1&=J-aYQ>}y7cR:t/zkdh0>aDŽTjOR7PTҗ=R;~:L *2U6Q9,]48|W_ Tb]Sg#oxÆk!Po{CFc"gYZ _Jx30d%f xװith(ܾƎRD惟=I|ђ*w@y 3S*`wB+W|/=z}FroE{=dݩmYO/ѦP"aH`MERgVnBDm(797r'q1B\Q7͑"{YAx:O26fYB]x[{dLw;!6JCbm a;T,Mɴc :N6\?>$z7soA r@, ,ʴ~n3|9 +4Yja+<]|a䵢olEO()JdJ^ߩЈT|T`H# ~ue~hH9"fF+0ATl@?)l: u}WݣisoPoJFI:;IBHqVJtkugdhv)SABCDD\P_u@Md#,, nP}<#PR9|]e"y*Ǹz|={ z7bχKedz?9rv7?@[XEX?1re qүnEFopMp nu<ͲNB`X۵m!I0i U (4$n'V6VvGU,QeƟsH].IoHaݜӚYHy0+qnd"0-TwI$$ ('^=;[q{5"0}aG4LfzYߦN9ܗ-~#_;ÁvS|O u'LnZvWmgJPĔ=@~ qˇ8 υEE}кgT^78m-sOΰM}Og~-5!{;ik  ʜL:wKY`}}#VSZs(P<=wv1ˡpL"dLNL#G0C(KfsyWt~`Y,S[ 2*Ԇj4fL8Nr\FZD4&E֮~;ILhJI"33ӬyJ5Y5k b%D3 Q%J~k/R6.s/`؝*ۈ'#ήwQpc%?XYbg7lCP@cI-Pv"L ?x|tOW!plBٮk.p Bz۞邱q΃n T;'@):ŜoDkN4vCE?JeԕSE[Y|F=ߦ9ovwkoW%JĤaܤ0y|gH$! $ϰ<,ðR*~KQF?rKױBA ,,)yFw~lnt$cF&`b"&bEGf[|>]3Ws*K-Yd]cJG ѿ10jBAGS%Gc̈́L:w vԱ=m>*gs~2\*Er /:d괠廵ߜafEҢ?pBH+<8݁F*Cm[ 6&{OҬ}҇񡓤P2E)rg)}w`2㊦ްW n6#T<r@e̥Zlz&JOZ@>>s8ҁ_ApDxh(}?y-IN;.t`tT|ûs2]DLWd%+ 28"L3hD2i=~)n[j7|oS%Hl5&h{/X Ĭm\ز/'aps{$C9ipO?!t=c똹f)l5@c1`vPϮl`45󁀳IV:{iM--ۻʆÌEI]jll8ұGjmWzˆ~ EAoq1 egQs&U s3Y6 zY ERMrxF/шRXdB.DITkIű Z.)>u㶖]8aNDY*U`arRh~>ڛsV(JD?2*ȂO%1W!fzE N$Ph/-gd4*ܱgYZ 1A% JiveDataStoreModelJiveDataStoreModel.Subtypedocument.tex7zXZִF! Ȓ]A-MՋhvG"uIBm5Ȫ`3f @dzi5IՠUXٗXlQ?ΦQvZt~Ě2{i0+["bPj 1IN|9^v"LtsYFaɰKَy&Ƌi%Z#*W Tɑ?RYE{wJyrtߊ6KG` ЭCf;4|+su m_> ܄fr GYԻ޵]$QO81 C_Ă C)yA`K  w;pá;Eŵ)kP a1509E{0Wuj~xkW59mZNec>g<\ol-:=CaX_AAuF*>?ɼ 9AXB żn LȦW+8X"O#6بPPד)1tT9s*Ix=yۙ+xeG$;|%WJ6`d 1sGxv}p'HsZJt*u: B5' YşeKLӵrj!q7yk/a[6q`Y(HSߩncaᙫ%ltyz{=$%ʐjE-{7}g^hn#!Jrf#:̳FNk6t"gF+7j|PWPWB_c}9''z3u)P6=2|QL&` @?U&O;4+ʰpPbsXbt+Z{KQCQԭhw!NpBp+mU9Y6㦲:4ڶ}sܴ#;]XBvޥn]֘~wđE+3nz< 9LT&{i5u"W< f&-ɮ^&ϩ+.>A7HX9+G&8U<WD0VS( d@K_L؇\q["5ܡo]`VP!ɠ[z[b쑰gڵfQX Ƀ%\ fhí%p|_}\\%R`;Y9|k: ̛*f1=% \JiveDataStoreModelJiveDataStoreModel.Valuedocument.tex7zXZִF! ]A-MՋhvG"uIBm5*#DZ-y`]F3~tGpZ^4:ǻC>OE9(E&F`޿0ĝ-=N=YiUY$R$tonLO\P.vS+ٛ$pZiS#cv݁;R)Gd.:9];n[2\n 5RB&9ݮο1W%,֜XV );T/F".Psf5m|%9%s=j. ZҾ1 fvF/ucaOʣx7 !Gm~a.1JJ:3S| z JiڼStHBT.+n 22K1G% JiveDataStoreModelJiveDataStoreModel.Attributesdocument.tex7zXZִF! W G]A-MՋhvG"uIBm5TFj9mP3T}Bg6~&@BQ-@yi>[.&pK K 4Lk֝RWoY{3ya8F8sq xihu Aݧ2CMeYK FK;DBo.;Y PY4 <̧\^[,5J\o@֛czQ tnJ\0Ue:qҵT2Y踨6/}לM#Q^3RJ,ǁ4UQ+85X}a3^)aܙ2!\XՕ86B3޻Jvis8mMh5UX*gWuW oi }/.(aٹpNj{ qFh#1޵+3 )EV?$ .NV7N$ᤱ|G>܇a؇_9]dJ(A5|P9GY抔P'u3Ks:俦ltxxio$(w@6A8J5L!#^? 0̌[yjs0"7F)a4,T32My>Z@d%?hO< P#=9žaJL%+X- =\)I >3'DNNYewv` ԜRv:FXL + L\+Fۯ^cyd;w _A*^cBT7l1,e p(BSx&Z"9~4O64)h[!{кz&y^W3u◌,8ݢMcLCV_`\_=:1;]M&Y%p;q}IQ̲%L>e1Lh>9⾷DhҺ}ci]eLZB\xٳYQ-n66@)G7vT5ͬ=# zoa^&+F4jaߞ.-NennU xjA$o>Z 3K념Bt3X0q\F /E$֟sGt-&Y.mn%oj.@5Ͳ-t7 щ ~a̡X' /En[9~ 0€(Za9ʎJBin) %U \ȟlDm* \*J(J\ր 4+ݮ%2WCa0V)4+] ?E\ytJ(, J΃TjQaP׆EM0` 8zs% U{Suf$. -U 3̮\5 p,"n1Bs{ UuA]_ؐw$xjHɇc;$ 8hG•G~'u`JX;Pp'əIؚg959YCDzw㟑Mn9-2HUdx'#"gB.u&O޳;L^w1 lC 5e+EMJL;Kzgj߱P>6G5٬|*.qr?{uowG5$g+و6KKŭ `P㈙(vݔ]kF㻼~FCcl9HNDzU;:$r @3(ٺ x(`ZA-Xz0 >ӬYrykt}]N/ חM2DC+ev\ӗkcj uƂhI/h(pIH-~//Ш?~0ţ֪<u>,׬"׏LZq#LsQ. `rmoSi稀~P|D@Bv:9f^>mS7@ajU$1`K["wsxdckyXh$ՊJ0Lήbn2֟2PV'oȋJ3~CDEM|jCEՄan$k )6n߫\qEy~[_$RAI8G9@?Zy+Sze_+d^t!KaṢ9CbJ(!V@˜@Žzf!Гr#Jz9AԄ_I_Ѵܒ>X!}&{4S&Oiq*H`f5<#ҋ٪ }2߆J {oiLM|fsPџ5%U nК.#!_G=䷜lBd(Y T.EZlk6=qŹ?q| :@A<\GO8'ѳ! b.. qEtގY '4M^ ݥNkL^9IE_tADZ ܍9TiCZL)"-1vOuIjkM7iX_ gYZ &!1C% LJiveDataStoreModelJiveDataStoreModel.JavaTypedocument.tex7zXZִF! ]A-MՋhvG"uIBm5F>}e9õD[;9P!zdԔeJ#ϋR%,$S|j?v׏C:IJ5(ʁ<1_fQ^|A96JrO~`c 30O)s7 Q@ " ϰn ʷJRNko]<|W4([+*o2Ary~3gIxs e[ NY{nR_<,L6 UK&y:7ġ6&%.W6 0oxDfyO >zeՁH[YpjhVUZy +25ρyin8 pZ5+}F+&aWń3,]>P/@GT1OGaZ/Yjf`kN_^z<=pe :;gJxLVS+OccN`*߬:Mcy z\*xyΗ~vZi8x܇*L_>ѬO^g[$3@{S=W|(-,`.kΚd4R!#yp,v=XW\/8zNdb:LP}a'%QCUFQe=chL!,?Mkfj? T?zy ٣AR`kShlPjsCQ"X5;ML^%A-`nT&xϔ! ZQѐl32}NF'9(lȍGѣZxa rcli1F3<ՙ%):,bQ\ K4vJv[xsRw_~M5Zٳi$e:LtEVnud! bBuN.8)c),Wd &ay݇o2n VB>7+QRBW_~l,RoujxqYT)}bL' D t)n隟D1%,27Ў8De vMnɺ PGMA0FdLe,|DzHgDѦSщe+qcYE;{;85=/1PXݨ(,,ם.of=ۼGeE';0qHI =>TkJ\9CVl^xrh˸ȉ죾F֏z:Y?S"|)ƻ6PXu\9mc@c1Jg4~zwДd~3.c|m|utwBa O0[Qf<(l/I.fcG18,~AԸD Gzٹg hu=Moj?W9K.7Q MgYZ  y1C% |JiveDataStoreModelJiveDataStoreModel.UnivSpecdocument.tex7zXZִF! G]A-MՋhvG"uIBm59sC"g۠uIT{JIwK$+O=B|nx\q0Ɗ8i-י*8ng6ݣdqMŲn7c>eܢ-3 koJ GpEXt~PDƤaV2\lk*:"}ns!QBo?w5[ IZh @=RZw~u&,4P>9>|_k rkȬ}3]/L|p;Wf5Qo&,Jl5 CMBhc]xz1TCs5O3ܣK1bLblBrMp:`ʁAfZ5XWnɼ,H>: A,)-Vuh3YIFqd!y'cFwwC{ _xw؃$#?jsA˜YM;̕I5Z³֎zܗnhW#C ʧAx ƣ/4⪔"vVm>b)|4(1,tlQ̊nAq{ vag?lFpgo#Ax'=⩲)$mD_MJԭ `6Y$I`& '|:WO# vas[pv"JWr¦n5݇LW*ԏT;CW/jf5j&kP7%XȨIq^ϗP -*LGw؋ȯ%3 ~ %;K`ܛe0~ugOM$ D1fq|hzldkӖDZٷv8RWlc$[!=Pۣ#LbN⺖P1@Y"z"|O6;昕)Y܇>!`'16g3T]?=#js,aq8ӎ("{tN/1|](ƿmF\B.כ݆R1#@4quh2(6ݬADzdu]o`΄s" _ ܒ6R/Ȧ.X 5L{b|V458Z kq󷢞>\-% pw*K ZʰMaP S 1ʱgYZ@1A% JiveDataStoreModelJiveDataStoreModel.TypeIdsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5u̓-;nU( @p|Bo+>ل`;GKitllhLm8uܿH]7^Xr|L*ج7{Au{'v]%g||]02qeCe}ƭ 2LƮāCLSqMEuX!e5V4V"}&1Ljۚ x'%k86|TN@ӊ^ lrD$3 9>1X"! H<Ntve|+E~ovK#%6Bj\O^gC  v y5)98/+UAB|c0zOE\y"BQG껝hreMp'M#A\ ՐDvH PwխrR"2\4eÇ]KӾOTfVpY5&=Bp6C=m}lw ;4ֽ0׍%00Ly>\FI2l% -TAi|(g~U<|Kʚ5))9Tdr|O6JTRT*4RZ-kk*е+ q%BBQ$6D0b%u 6@t3-9Ǜ&f)y3Uy  ȱgYZ % !%y 1C% |JiveDataStoreModelJiveDataStoreModel.Locationdocument.tex7zXZִF! E w]A-MՋhvG"uIBm5&r˳_3=F F_uk-GF51dւNMh V|azxǀ)WR <=?9odk&Ő\4#:O֦|R٭3a޶| fXmR=Ksf"7ɐma(WyaxAQƾ޽~ą>,'׫%‹Rm_]?-TX86C"L?/" Ųy`\ͺ2yҧ-+=mCGzAE#h%U* s=Z&y{A&EKP4#TyZ" DPgJC}̂.kS94hM n`wF$-xrz }R%fϰcp7+54'78/xV/DYюɗ,2ASXPaTƬaVŢŦ"F]sQlv %â~ g)<.6yKU'@aLQl&MUuӆ'cIK|38} MH`@Ɍ<O8Cm_ǎ8SV:T~28s:hDzRU95|%  eS7؁[Re_l1 gɣ?|5 u &g#>*/{_=pr?YbPF'O9DAI0.yM@[5q3է &E7 qo98.^`:/n=mܸ+MELȖ1Q+U%#klԉ*;~#v(wqr?yp:}xVf!ؗ8e#g\e [ R(Gy~+"Ǧ!51:cI!tm&K0gCyfeZiM{ jwL7W'\8?bqw-!K.#w횃 uӿ0A+wn8OO ЫR凜UGhyI[iaZ"J^$/xdkAew:=}fZ;>^  K/r/Ap{fXYIFB@#Enk>}K#ypSh)zn= ЕB5ȉ&%kaj O 4~OĔw\-V`(Q^8ǣBIa{|:Nfe@sҒ^Xh)'$ҹ[PFY˷ h eoUrA{M_$Fd JL7*D XΓK;F}.i%n^|)2:"!(;Y|O.C69{8{js0#`J:aOarY2ģ9i5JG`r!*)r>1B-I:TXj_ agZz EIajN-[|%U/G*z*QZ~oQ[_Mp yKvu gvw~FOb`(rw_Xy(s 'Dɀg1%aRw/ھ G"/U/baECoV>Jje[FoZ*N$wA˴Ƚ/Zǯ`.;G▛;j5heIM5RjEKM|1Rs)[+y*j)FH̡F J&%8#ڕH`/H.ee11CvPT wY'd?<ڏ-d/Wًw~fH=p PɈ ݾ[ZdZn,a KJ@{X˵3 &xE8%ok3C $GNe;0́$XD LOsoQn96M=:oŀ7n,{P/J+I&7֋gx&* +zB:o$_Z4)u/F_[7-k^i;KInÃ7(FAy4M6 -ڜqŃ&0=WRLх۞vbtj2'Z ;$@B=Pe" ۲IE}jPGHqx?a:Od~'j*4lg'&a7'1wl !q@| :2~S;JiT&:>CXJ~꧸Jn]w!dq0N|\0paPEv"':k^*˚-VP݊JN~uC{qJ1xGfhS-#r Adצ}˲N:phQtif15^MoiC#m.%DД gYZ\ 19% LJiveDataStoreModelJiveDataStoreModel.JMLdocument.tex7zXZִF! _]A-MՋhvG"uIBm5M";;]uy13W^-Da8KS蒻^@kNqMUVͣ^=یaKrqbz[Ks\ +q+q~hh7[L1 7GqXjNZ D2׀d7$P`JK(N7E늫}탅 TOtΐ.aD4WoB ,$HI-&Éu1ϱaQd?B-ƕ-]KAS|)raUדV<õ$A :}!CHvBV@[ܮR8.P8qv~J"4| ;pn L&Y &L5hj,A0?Ke% Q׏j'7 Ɉ\<v%n֍5eN3a\# ";YuԲ̧l1o<܅ır9AFF@]b$?t!.>IF0G_۷k* 3 S[ȩʼplC؊\3I^ʐJϬj_lwβrfmʦ-=_xn~~[ax@bR8EFIH-Fex-F. }g[' )p6j%gh2!% c5Vu̥nAV[;6uoy}8y1 zmGPM/hCJSĸf}yr'fĩcVm|ʂ{8鈈_&iD6RE n#]XԔ,֡G:Ϲw04_^Sjҫ%zfe@2Bʴ 9ر0-*|\@ré7PvZ G_X<ʷ 2WIIrcz`xpd/VooYǐ^=Xvv0B:ƪbSKY|O9~N~֞9GJ>b@ ĩ5, s,qgt0m0$gcerh'[9p#:sd9* Bj?i W)c]X7_f8vJUFE`I!$: 9+c? ZP~eš&!=K=(Sy[0͏S(b4$9oKjrtuKnsm_l*`XF`BPK!<D2hII>ҀIKHC3K7Kx$JYz{~MP?99gd ]5Yvs] y~m9 N-xEvsKO/">eOj泳3Pg͟Fp93ڹƭ`ܷlj}=s F̃2R @)`4+12Qj" wǙ"F~PY jXn(}# ׄG0#nV#£DN*['q"KÌnJc.wd&{]^o=/4a2 MҟcK '|1c>d'Obc<;06e I6\ݑMu~%# {3XFшpsR*W% 96b3Y:n!Fr!o24Od~.|9E`PA'YY%ONz/橮{=|sw6'OZQJ|P~0+8皊B8a^&疨O S Vg݅m6V6htH%,$ j{^#DDRdkNsf7<",3ؽh))}Ʊm!\1aJDέƤC ,37X]xW19t\\9UQ%0;Ӿ^+rD-jX0u an@>YFaK~j8>[gGH5M{l,ʞP{Y״%ø "9?.9%ui)78F4`/s9L婓q+<03LV`O**ɀI̡1y]ѐ%/f 4.`Lbƚ澪eA"U2p.mT$-h%&UVD[/a=R݋S۵1  PzC6zQ7oS*`$sGC=Gq**3YoU6V{% 1!GHPD$wrFDMjը<IpKտI\۰ 32cn2Z6/^ _8 @zgg#+Qx6W#Uqh`][n]3x9]f]g͆y'E姢(ŲGWҡhG%P *5@ƸK&dxOYb}׹TA;L`s6n}#txS? {Rut/ȇtp VóXywIJ5 :qޓT>a*($T;RJhp⺰s45Iw|!D'Ւ^ۙp7;[ $ М?hENM&@B ]_Nfb_j/y< ;:6 $ fC - 8R47 ^:,q74H]%R6fuB-8'KЧȨy`"4(7@F9q'pncdO6t3GLIqjS5;ck5daյ|NdyqFиW3Eh+R!wU^4ϿtЩq #ψ8$\ԛb/]%]RR]Vk 8Pm\V)a.C|S;mÂ]ǟ fȾ!/59 p_:Y; :~@KӰY3o=˃=d,6h绰كR|uhU.ԸX{NU2V lBzޯB/jHY-I\O 7 e>D5 )x(K*4L]b0)K|I`u Ǎ7&+mxd{iivݭS zny䬛(7v|0z''?Gb|G {CzzkXkyӛ4:(B3ZD]H&b% Ww. RV\MQ \B2<&0:%A!w3(`#u>jq# ^.)7NvLC3vj-z[R%Er'PVWk0;Šmz  ĈC5Ɠ!h1Jܧ'UĉaVbXt?W.iNdc5ԺP Fb$1qRcڍE<&@nZ89ў? 2*;eSpRxyH ʠGZm*-1gǁ]ܖ2xW{77{X3W,քzAe*닑hڞ()S{'ekL{82QՠZtmEux9dާтtOnKGN{߼n 5sX5xJDj|)nFC=hrm-J^ӊ3OQWH~(r[R^d l9[yvzQtpVv9ۦ4!'zy bWpu9cNEW2xkMLI'ZѮrlΘջ:L.~A(?$x_ /@IۏDt%Eóthԧ^3s!(Dv`h"%c'< fZ:0쨠),A+7y/Z,=Kw!ɷ 6w]xiK#$v-dȼ!CvU?"+rCH#Myҥ2^,RTGeoȍY%fheMwp 1DO{\iy<^cl3Tq4$75c D`pCNK @&Cf ,S#/ 'J_\te/V{0Rl}t^īna [vOv(.])͠m|` \ٗ>7~Ms 8>26Wë. ]Sm{K/]K'LmuҙNXڱ!diHh1˓h=E٭G8&rt% 'њ|"xz&Ъk@mπvC29=kRƴ# ~2d{Y>$0_D5P\h'vsrHb+ʥ?EARS&H ֹby\}x ԚJ SD&;k3%=u!@J2gҋs#jhj\#JAzc&Ϭ-C(*Is*~kǓoDijC˚ XJc(L7<' '1-W }mF6/ip5K! *g:=EVP!SD+<A`}T#G <-YIVꘒV\҃3:F`Ӄ !!¶ؖXhIpzg0,u7IڌεG"zH!^(=bUݵυӡNNL+;ߎ>N )k@_"tEHfV/pq뾚<}F~{vF:28u*TxSAl&g ]LRY'ҥ5y5C0Ϲ/O5ljn.p j gta[IK7BO S]ҟ5YlHCn%W>ʦ\3 } + H6k=%֟nԍO ^QMt?Qj0 BjbDIU?TnQmQlŰ@Dpb^kMPVUFO<@4k R)Zm@zż7$}4L@=u1g3/IQl54xmk)CyQE V=eAne1}<Jf2&j52C yn h FF| z%HaPT˜d~MEbqٺd|s"3"FԆw c^GV>g著2S Z#0+S-Kx8w>LΖzNH| 53Dm{P> h3^˥qj&/=5Z}20A1N"3{揘Rp+Ja^ix튖g[i\9؇vw&EDA)ѵ"6g DϷVV0>zE כx{dTxZ8]v:ԘkNX@Tba|5n|ԯrR%;XDU?.mf;YB ~x@q0 'ϔy'{ؐ~Q2Vo؃ָ^MQL6| SL%;-Gv{f4f檴cغ:C!F|&~%餠d:4J 8+X\uB"Y 5x3n"ǕJ($"kC =~@U^S+ [ &8F$/9z+ttF gXAyr{ wQYmʠ3SSo{2SNrS̹j$?MI<{>b<ꞹnAZV=ZY.j3f$fst" "KնGH@!o3#*5 9%z:xٲU3Hl˧!-GsnU:v(3FDZ%L}VJGߩ%Btz(n\}W I{NLN}LV/=CT% H$L $ zWX.-3֩JPZLxF:hTz ^0/&Ek-fSidF*!a\ 1uTUIdpsI]ΩnnQ2x9H4oy9Cۤn ol d򯀹o>L%0A8EC%ƸǮ1zZuVkc(}qi9lTeYCTgLak\ۻ3oTob&#d~!2I ZC)o#KzA Y'`RzK̆R;ń{s!!Vn?&wgJys!@b~C1 3)7mKXxmyǺ*u# m/M/Wpg #'.jJhz:+n$tdڞt?Ia_ MECƲBh_p誅V+ˢŲj,0(=rz5Ւ e&T,_5}ϊG#Ŵ g_8eDVRwޕ1Iф" %&ي~N[@ʓaRhݍY능rУ[ZlsDNh8`]UHy'0ʗq_8y=Aqh/h}I0D0}̊ NhEͼϘP 0Al~!D0Gd`FQz¸n6S),pGuԇ ĮhM a' ħE몔ok<#9g=@jZGwgî9[Lq- CU_7賈{0*@!1_+1ClMCn"%1?n*}) 9CD6@zU,"e~m+'si3(7<.78 q-<WE:iԊM[hM A+c~w{}B3}15һe9H2X, ɠe6'R U0|Ε(tlJ|lmrt7m}`'4Dts/1Oj)ӧgQ0~Ydt\?ϪeV)%B'KX@d몈s z&C,Fxߒ9sAؿuv7Cs="q" {Y/\醴&@l&;63}M6fYybwA+6b= Plc ]} A; ҌVD1őO{'iV0|Lx-l!E-BK# ŲILdĩ%hoա\n)@Lל9-y,+dh%?H |p#OkV=ZP,jހN,ɠLXWBfІLکʕ2u>Fa;+eQ0b}UbP삩N)&YEرY˴OS )lNdrURd&[?Uv|V?/ Q2ǤOLpcvUA0הǴL~,[Y>0gV5Cպ{ެIKf!ܰř>TcD{z_ȝHR4:a =_[Pg6CP) \.M,=lVDPzzcH-#FMbqR\~sBes1*_NBUaGP OFba&n)1dsv@,y.ِOy՞U=]("334D44zL/y .=(D. ,kp8}涍®&TrCffl3DcA8xű9CMi&-Dg 0%:Uô%OɑuQ^?+@-/@ *%n~SMah$|V5]*5j,(tGO5Lv7 ~*o&$utraá:<?f(x5rp $RըەD/_Qtl=9q8qk cNIϪ<;'5(#!!7 H@Fcgk~օ_3NGlmoi~17!ˌr ֪t,$f5HxXAU>qxms9o9 AY {V85rs! ?X8k:5hl! +v|FuExä>,a2phMT (.ZyO&Xײ9<_L@/G1ޞF.UF1ؔC3A;-KkƞF fANwtmڤF!F8"-\T40lZ%}ȅyt^O(11 gP/7qJqT}~;2l|0Kw5kml5ݳG7!Bf,^:F6N xu} i _H+5Q(LKWvJ*}Y }ۍެ [~X>>Rvf2#Ԏ穛^@K'6i$kT5qIƝL3^:ES9 @a28g=uKˉ8#?W6@P*R1'd`gKfDz!yB}HͽL71IxjK JGg?S,1ޣ ޙϤAvP)NT1E"˖$߃b޿?XeK!]`蹠π޽"'=w틤`:Wkೝ8@6By BV ڞB,24;mtCEc[B[y]>qV%לo>xKᩅ/ 9Uk.qTP 8Ki:@T6S GiD>}[6`_ d\͵Y+۰Lc)j 40:}˒"!$(dB1vLe԰ |K%%2B B}eO b["u)PGT~aEw;ٞ3Twb kxgYZ   ] 1Q% 4JiveDataStoreModelJiveDataStoreModel.StorePropertiesdocument.tex7zXZִF! 3Q]A-MՋhvG"uIBm5ȩHMڶ̾ߙeIon6N DiGczW#24hgU/Bـq}hq ֪m#p%_~z 2V>>Y*~\`u>{"6=8vE""2BDZzJ0*z }擥œv%q?X 5mo8<ͷXdrRruS(@1YԬV  2E,v2X>%ě|I\ik('oJڶ)V(wAgRu VYw_R|OtM*N.#bUڰ.l2㣭5G9n1HRFHio /vJK ,,ۈDQӠL >El@ qmXS,pvaP&v #m'NJ~VY`h~7:yzbs)戓F鑱0&T caH^>Kц<=6;ٴCӿUwN5 t=%@j=|˄xl^赅VMC VzTEuP]nR/X~%xjx8:sU4#7'?hfL{wÚCG9n@l މNk٪ NM!hGfVO%cQXB ?L[Jd_CFPO!$Y෣"L;\WȽ Rd_?W8y\djf-8(alWa Nnf&ob2܀wMvӮ\.d1|M'D#}BLm&K0 ķl )]2 PJOSknEeS QjaݎVdi(3"$},$,l\ͺ|fw@^|؋4B^ы kjs舻[_Xh3饲*wX1Go* \@M)\=Qzo&VjXpg }\N))t_ 1i2zhPjB=r ̍r-m#owEH*/ $S3TqrA N_Ez-KLq*pE9:"r7j 0t9֞ٹ/a/йˌk隝NG^̟O h{Zw*P3QiWtzl}ju/Yj8 yw}s& &@QoaƦC^t߅^?񄛴H@Zh_ $@qc\B~Dߒ_XYMN"F D'깉d1spEA Kʘ$@ZdStEE(QqY.)SeBՋ0᱐D|oT[h%;@.vٱ cg y #?Ӎ ?qcņ`>)DeD4h3\ɮp+ȢǻSzg' NYP*Tryk;I_v?.x̭y2܅T=8M>wt-(AZ-D 6Y7Gԋ~t>]= >̉+ ~VG>qc ="/!'LNR~Ru$cziXdϽ15yPlɛDFF@»N3ШG!oBBs%g9N 6Sz3p/ TR vkI\EpH2{?tӄ5X%}e"}=sk\١a&dd0rPҼ>_I*}2l&CgbΏc-Gbʦޟ]=_62"k2YMi&pʃc[ELc֓zܖux &b$nIEM2&~ Y^ #V{1~4!QqvpGzW7Eƒ`0e3aO*7 l`y:edUe1 ;|J%X??ʣAh{^i>c^_QDx/󜠨&ja۳0ѦC}6|=Wtd[oc%=lH_>m;nyw2M`2d *(G磢~:eEP9֐%A&bNәFCp /cBxMl)7踬IT8POɑZu-ڒ8< 7 mc ;+@Jі Yﲵ$)eX4l$i:u:<|rċǐco.|CT<: ( G; +`~1OlKO<xF_?F, C* ׾=fcYދR dL[掿5XQ`e:ER& S;oc\g4jh<0 jR5FrFhf0ctKa/q s5$F}Pz2ۂjvkXf'Aٛh=*Vt+-W @YaY{m Z9)߄n5!1ȫ:+]x[nRU";Ṟwҫ0RG gaʍ]Yndiw MeRJz5I>ǎBHʇs/晷F+ S]^J/=w`c3z) H(4DϫNl. 4 rr3Ft3;$o)ɰ- < !@:y:eH ,Gk # E/>s `}r^u4tHfh]FڋWzwioI`}EǍ\xЂ3ƌ9|B}("i_20 [x`ؑ`fMʩ@ׄ.+[RdGv=̏aQv*|c\c7މ4iAE^z0SHMBp x"-YArL9Fϝgio` i>A%U[%bzpd8>)"iE&V}!)L68OJg%P[ =R`utzX4rp90Hp7i2MPʥVE˪w`I 1v0.k9_opZmsZDARY-.jHhL/?9)Z"$y&i1>pywYqǡj!2G$͐\#q-EP?u[-_NEY9zeY2w#$Yg[=ސMP xR6 î.#VYEO/cqIQ}fG緤)jJhFnͶ3=%:8 >| đ(j=vZUHO+k1]@\/Sv`D"6QY8zC`UfMTOMi:Ɩlq°ZOA5v>V}%:s`A_ =#NޝGqټnf-C:u71+ n8a ic%eeQL9U .mn֤CY8c/BHE6ACs)y#*qdc SS*q#m"8=޻װ(Y.IK f]ʋY?bO[㗃e;H#A+Gy]WöcLp=vw+p6XpgJ<@6 j[&)$d ɀ|TzN0C" Aӓ_qKWDWk74Ic| tU '.==.Rm4Zn V 5W*;u搙rI\FYrT[sa%-i'0~fpgsZv\w1:4B A*T(V J ($R;$ Ώ R%Q |c;mVaq'bhiB_ _ :e@Ill_/)Ԝ9pcӥ'.Y#Ȝ}&ǒ:' ʙ{-[/odž_ HM$R@Ye/(@[m- Xb VT!Tr% R$S[6/r]\qnANSVZR% >1$m2nQ'3h39sm6n+M_?**gvMQ 0Zf Xmfi((Rɳ>j@XE(ZÝPh07,%<;K Nd&^)O PZ2?)YL7a;ƵHiGswFžG1g::?*!@H|TC]X ???\ %lQ'LVcՠ, 2f;1dRcxUTn4NTؘ0a:GJX!5M&ʤdA\RGn8E=֒d?X;te;m܋#Oך=Яdau"^)u}8Ѻ| "M1aÁ-`'GfΘ4@Ъ0'JQL|!.O, &BS5^gټ/h'.XYLEs=Q񤬆 !zgC ֞sdƸП;eD9j&e|˟5ӌdZaDɌ<'-p3vIj&ٟ?>»k&L]^E>^![';#;Ɵ-ա]T؞xX7wz:=<lmK,+kHG9(n3k2W Yğ "?4:b;XY;1)ܫOnjCbguoisVAT g;T:+"J:ZIlf jby9V^D}] Tݚ2xnn<+TT= G{KjO\ @ōL*  >$JQf7r=7_M ,53o^ r 3Bo)Υ 25/Sχ Ud\T6[6/Rpx1O#!F|} rv1Y/+zR!a=|/ '50̫AIYnW'& 'DƄa>D%,.dE٪P<ɥ_0Ң 0N j*3pOM!  B[ЧTTTH<;Ӈ&-15DN_ Fva/8kv&i*E|Q^ .}RsU CS6 ⹨vfpri,#őT8nuHdM~Y9%OX4A[+kw^Maڀ })̈3}Y!&-xqe*K`Nx1-<X;TvB߼E SȳJxӳ9!d!Wъ_U>m)݄fC¿uq. u57~q =2 ^J^~pWޝ_I( !t"g ЪFeC@OaCUPSS̚UXe-nk7W bF}"8jyh;ɸ%Nx%jYVyf* ,;.:g9{,_=iB^ ։I7z}v*fmON |`fm]g}Hg cAZMMb)PR?ra c6~TbXp?`,0fR3lBw7bX&7N^ZNJƅUw6G+s SNnǁm.}Z-gъ6cGI¤R^ Q pZyȲ$6BD$1G( IRW!om?x^1V9JrIPt\h0|ɣFA7_x7+W_.Þ;(SK7-C^=u,X6rG1k`C :'O|{" )W H#ϯ\6my\oayC$!NF\-C}@ذ(*:4^Ȝ0,4 n U.׺#AHj\pZ*ִ˯Njxb_̵BDV'KbLvJREzYNvL=Lt~G/AKAu!^<QWd[^rH@-YҫUe}uXh"`M8:8VBh\|{#KA3VՀOR1/׏{*&rp:_{1 0V\M6f&DDLDOj=^ t2VRv݊l]M)ro5 Ȧ𻹑Yg$_qohbriźf.Ccch+<gy1w[؋M_}..;M sy8`#́nvސ ̟K ̻+j܆-JŁc؛D,یhL<8-nU5֌5,FS{ .@(nE|aX҄z' /ؔ5.6pQxfv(y1N dKwwf%S/%+%g3_(։6ڿs퍈*7('cA-o)̳`qlxuR,T{ M1) Eͷeÿ6>ƅv6S/ j9//ȗv(5dLU`C#vNա35]mWXcu 0ܹƚ`tdu KNpBϰgxjdTS>37N(a# +v1aY?:lz6HT@y#5aA羆/9Z2HV *PGٙɭ+Y*¯mkF5|h<[m- je[<I@o^rf#;'ikhvn2iIh}eek츒/@ ,K[ϸqxlu(F%c$(x6v.B&NXZ͌] 8Ъ9CxƖ]\65qAbk 36YfZ=Hf ~'Έ y4Up'&G dꭋGZɯwk+= `,7aokjoۦ[ݝbRh#XH56dA[d-l"bI/z]^Po0ZUè74Tu{Y!tŚ#]G?kpy:;SOјd2):'UA}>0>Aܐy$Tӷ!:uYߗ&hT|*Qq<jINXpb5,CrZyIB_ GZ>+Ov0[ӌ P_X4?V#?y4jpWTĖti.^QïK5}&`$n L/I +y#3w[ȡ.M0YzakA|0FBZd$ "VG >Zy>,:O%Q^8nU f7z&m\!.vWYGPeZS6 I,OZuh'^˙C=YH#,WWC h7\8}&V8ǯg*d TO [v𛡇STQ5:z seXjf u癱gYZ