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 3~T,, ]/ HOL-Data_Structures:threads=6elapsed=240.005cpu=1361.528gc=123.6967zXZִF! d]ŗXiɟW;g``ϐ5-Ynˀ+ Q^ȝ`k<',a 8[,_~`̐7שOiRnq0Sx:3e]l/86ghXڸ_qn] d!ۖbjw%75feQC);ʕ'~.osnXA|{]\/z u5{ ߙbCko͔A9Ç{$48C}PD2u7(DK \Q/պGR_Qdj: # >ŧm)}SA8\{קbpD%q>N}+;7tcAeѓߋE[}]^U:`aJ,Pn`00*~ &+QޏlvNo8E`*"((/ Tk\e}S]xKc$xULJTNd=1L:wߑYMa$ގf5#"s{󹋵`Ne1?A_ r|Acwn6F\B]yX/%;"{Z/5T3[;/f^dUDfE7/ $8>:8 Q5sWQPr J +o3xƻTt.u'I5[4 4󅶟}Xtx=`HJzaDZm,gʓԫ]%&"z Co22V{7tav#`cFSIr鵩霰L +QSe]"~\.!c1zi5ԏ(|QNI"%OKCڄYS7QE'bB%yL "OㅸK  ӖhʷJ&_GM<kɺ\K8[.R->tiM!2rE 4)~.z@sG ٞx([ (QQOL@ߑ5>Oic{jp=>F]C0?=ųXV!ish]xQG,Qeiw2>5Qs,l#K}iI[&{³5Dh6T{l`ܓ|G!XuԒ+v>W7ރM8 t,jvQl I`9ҹ0tO;LKލ{&BHc!Y22w|- 6d2ч["fKRoBO!T&,Jp3^2"zG}aH;Sv|Yf~`[vb[Mt32Iս+Ǡ"wfy3SŰ)5vE䝌dMEq/l5huyz7{!cp nj 6XVv0`km(v_2^ǁ{ѵn6# :!z}^n8-k_x!l^/q`-CI8 ڒy([c<:›,K+(l \C`MoɖEa8j7Wo%8yV9řrXt$hhPWE'ɢ=|3䪠[ /fK"e "!_~oݫW7a\{|"n %N<){R.uk}z6.}[JYGVJ߫ή }RhTύhd3~p#eFdA%=.NwTF>X"2{'B9I_RVTC5ȫKBStssgiݸEk8"wu=J+XاT`Q?K^SesИ<y˒7-WF~ m(]L y_@tC . r+ÌG,jkxBIIS) q @Z6~ƝRgFhdsZA<܏-AnVw&JyJ⌊4JT)] m4 eK}Dazݣ1/>q'VB0S)Q󭽴qloeJ8@YI&b5w:'d?/9(G >B[@( ( 2N{6D\emנ~ɷtt#Y2gڣz*I>e:!NI~Z [Vj}T9b҂ɗ  PGV?'j(> t :7JJ c'ϧ'PY[pwV>-ܽC4ޥ44P'zU0-Kon BouC0++T9`+hw*.)ܸ-9VOH7'Q~7 =>@Bq};(gtHFDML(jjؐv!sXfnzp{|V"P@4~pӑrSR@tW<'Cqz<2!/C|u`vDV5*{ %ovمp]ƪ/bRR܄F@oHjBbܐ֦GTŞ:IToĘZ,$?^cQ((Ek쪠TƨUIZJ;v״R/jl;8DL?|F:6ȨLJ?d[; " gk<:3KLkIsYN.\K$nxҙ;3G\*$ ¸9QxHU}5Dr1wXVd; ԯ:=mR[=o5C w_ $YEID\<fJ)ɗ+ձgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떼 />$ n[c&].F5$5Gg HÉ+`4{6!SGFA .u$R#ӯ4b (]㤁]V g5Ǽwp/6ChPHCK8]͚ 1ruf5yw‰OߥlPi\2sVBQ·'j$X6{l(DSx}KHM8G8N{/ "YtHqb ͚[f?̐E1u hRHL +CU鼈O D[~Gʮ&z:ۮVH6\~ڹZ}%ev`JZdKס~!c[9ӣіSDl 9%΢$_)'*e.stxyiseu=`lB sҾYHP$9@ _+aV-I.FGMKR:n13}a:ad8J@::삚,y-.!;&J1w*|G!h]VʆNWvjX!sH( ޵,Md%WV..i X\ERI6i؝n|.kL}sľٛ'"_4ΊRwwwf_GjE.Bw]&n4M/,!LVZ"1ƱgYZ7zXZִF! }XdO]ŗXi%L*x6kcԖA]5* TQz/,b HŹ&ؿ;)w,S~@ G~[RخZ@k_2#W.ZMb{> ц?'[Ch\Z% 9n&@!jK:~<sկT B`a7ʣv$5"E^:ѿ 2H n֟Hg|A)dQ~ fz9/&<1b$=jWec$`,V0oo j 8ֺ ь8n/b@BȦ<IO,*6% Flo%^ bMTPo钵.qb>~x4,)a2 6^d*yެ)U7h.(;d%|cņQ"f5'u=[n^2_C`_ix=c!˘sXVܾr vaeP܌g`ᄍ<5u4w?*\w: ?li=Vn5f]|(SF;bK1 }  ގk4DvزO=|ECcO*U@KrUs 5w-9Lw&i ɑu6S*; y( e~sS<ũC8j-c86ӿ39u"<ZB5ɩBEm̀>pE.33JL2u<ߔn9ݢIUU_Y/}ak* +-sD:a $7koVm ΄!YeOePYі~($QBY5A}MA= Yxm!:E(\fs/.kM> [Bna%PVeԧX:>ԍA cx҉YoU!cPKh?ϴiӋO+m l X= t`Eu%b-Og BJT>ewR۞R׬Od!#A~*@-<&`4z9,*|b}XlƝsTs ymG龵zLb|=TB{uwT5y}8Ռ+]Ɩ$ <SYgJgu֞Hl?FFyӁC^j9+|tuYj<a <ziuwKkhfH\GFQY3Tvs}''zk-{Eڷxc 0=Ұ#|obF0Ɵk.y#4SRAZ,fԋƮ% i)c۟X=p:fr[,;[9+M8x!ș}a" D!Ȃ.tn?/7R9t7p0:G[u+;maAԾd|!#ۑӦb,9~Ͳ.7k<f5~ShJfB̭,|.x8~6 4>Af^M'?*Jcn)6;uA^~STw#Q6vaҩE -Mw5C:<,>(ܙkle?wA"tb=!˳\`csA&mek L/ETRKS XT Ƒ8N Bt-&Pü``Ab_;AIn BM64A 8!-g.{\x4B @X"Am#2H5U٭y8p<鶠~xXSn֚%8$жBi;a%D2BPPL=)<=ķ+nHnWKEZ,G4rYÖ&d`(% vo s@͈|DR$ "6P<&q@ SeSz"ZןtpgGh樷g\ *A)ooN$s`iҷIJ 8Gfi,"= yx$OgOߐ!8_`yVfNJ @ЕH'KA?wW{'3bh)HE5Pa6לnAl1+$E9riRYN\kDUNI{*0VrC=}LJz ]^pW_h{]{$K/ j쉞>snAx .@մ߬`lջ~p1}QJz"ZWsd|^,`zmt&5b0֠ 0wH'*}:NKoʕQQ\t28$BCf :p{qWSƝHc pYx ̯ Q,0'GYgtq8$&[_~m\iۂeKtv0s ꚳE| M0Xc:0PzqA`c%߸hmο&tu`|j4E)팷Czg>(iaӰЖ,9!vnGx.Uۏt:n]+91Fe{ke~!:*yzi#u[yrf@b(aF prb2>98W]{PJ@8@dt 2ʲEwܢ 2[SkԹn&s'"zFJ`upm R* `(T:uCaάW"@o,|)UKMŜOEnuUUtbM(@w8$;hyARɖ'xmT[Dz. u7_YtB\[Lhm=(k?`^_ƕ[/Li93NWy}vp+tX,e۩Af*@}[y륱O$3H"|,?C1rtK|߫bqſF*ns`"#L/'h8lVߍWRєM.LvwP a !t\Thr)tg œ'`%of&ś7L kc@ 68eM=:juF/L3O~wPкAewxG{p{ܵ0ߦL8"нXNWۯX !p<*(DK_xC$ӃD/$L fsɾ+X5\w+mal/FrBJ@ң.6 Roܒxon1М@q5?}" ::vLlFԉcQ[ EA(kQeۘhIt޹gT3P@zI/k" URe 8W e\L;;fHIt`E]SckDA!.NU~M(]yEg@ ;j0 GHA5V0@S(FI.7e*L\} 9nJw!U6C 0L 4/#ӹ)c5sͩTWhLzJ0H;ҵ;DM|(bQT cV7=,WZ? C4 v+n䖌/D%5 ܈U{P*, &ߛyχ'IS٩zD-FA]yA}|;S8)aX/@ץb-DoлɊ_ٟ(ťv@2 dƕP6{n\6Vwwouٌb,Ex͉·`33AXnH R7 _IrlhUхJg$= 1Dbqd,FH!80M):fJ9 $oaZc3lUʃ1EP2+N0'eϽؚ~4j#>?ΨYe[`# ^wԑOg=F RX?Be'[$Y^m =xzs1 ~(0)Ki]6PCŚ M&Z*QpqA ޢmЌZ#D FVلy]Lj/9!uCX4xw$iqDwrDu`@"[Mđ cOoC߆+9Dn("MդZ~|;="ʪ7Q  +1sنfp}T)NAaΕr h/; W|wtJL9Z~I!eo¥Xt\63 I7!j]izQ ~x#TuȗM\$&ajg_A}D$adsE U$ZjՑV>)ּ?[g63I|޽pUi!:vYkz|)3,PkK;vS=CAtIճR/?)uclG} 8"%s(˝s]݆*c|q-h`._ED\Si"}Z vPQ-4䱆DѹUZ=kꈹ.*O O귵ci0pڜ¶*5E K29\VsFC|"<#5FC #lYچH%W=)%:u)@I z9g_C#@&d^s%9A*iDE6T(Zi´ D;lvVkoީͫYZ2/~\;%c(_rr_K2M LI^)Dv6esvmy|*gQ؛ч UNbAJP$obwJǪWR7DK-O*cD.yvzUձ*qT'&_JR.4XuO7^)Ls\$)i*Q M\fq䧍AJw+i)-)JaraY0(_,d']_ffP@inS+)]Ѳn,,q9d#2I=ʮ+&&[.#/. go>:cP/#h Lti"6:T6{$!0rƓYpoT.:IMyVv1C#H0Ʒ(*Mb2+b.- \P.Y͖ M|fy[*VY^i&63{S.s֛h;67l2v/+Yv>,$#NAd f>yWy 崔F;O &T<s_Zx^Osշ"(J3˥Qh`@#B (Hɦ{#)x\,=qKA&y#<6bvvf5t#Af+Bg#C/r;Wby7vTtvU: 2ƚ wSQkVم2=X Lt#nD+Oy[|NݫǷuvF`%Oa;KnH Eeu^$[c\`ϢWḇ*^o$nH]-V󾇘u2ިBG9eN$|gSXetjpэ$abڤɜTֳ&aqy5\Īrkg-@KQ8R'ü&U"K˶XXPT-R~ hx_e\e+{b-].+Ƶd"O*_%rT HֈfsR_#MsI+0w`dj4M3 3Zܘ 8=)B75h6՞NFnOHc[ҔTd^=9C@zyz"F'^* I^ٳIꝗv"UHlwiUִ[M H^H]- xn_YqSP?P 3^)y!Pg@!gY!KՑ{u"EtP?6yKy oe mźJr4a~~Y:eZ-5Z5":vH{ g>󍳽}Oc˜tfU&X81ˋ[ 3)|Ny2ȧ{ D9khC Ne6*0{{\Eށh=aL @) Qk}k"dl#J7l!1?ΊנL)m" Y4eɊ+TL{$Hyx`SUNlN0N hI:7V( df}t&RvJWL J w:{-]'MϚޠ ]3;ʸ`Lvr[A/ԏ(X;V[ qR`x5q4"'vcojG y(fEވ TJ<ƈ0VKlE+p`=C kFaQ 1WjSds.va4sȇ5lC7.n.1s帰o#o]9G>P) 05_T@x_p;Vb'čZ`!z7x*jEoj4˻AG0 6w`~Q"nupbK}QW(yF#:/|hfx\neIʚi_ڮP7D 5fT64A 65 NIEYj9{VFbax#lӲ32MƐќLlLEՅTO!s X4QtIY}>gN7 Aɷ"*#k"hoغ~ήW8탬n/yeE-[ 7\9 ԅRe-6 DCc|#lFjH{?yڑh~\5'LFL)?dԋ%a;趧 S͠69bV]Z_>utӜwՋGtD\ d˶# w}ΧbL A.tT5V2.0] Gw~]5P{^P" rRԃ2C#-3],yc/U*DAa1 g6/2RjJ|Lƃ[Z@Op),?珎"Ho0&?xw0XGc\fcV$Wa܉:I ՟`CD To дnnboQAMD#v7b xfjв4qMyb)4-2I^=kl:v&lJb.X#;= bIj0YTXH7l.afrd/TPʭ(r rAAZݓ7PPszgGɨXEJ >>r ^,lgCA:TtaSwea+Z?&vs7.aPoY3(nP7_k-FT,SVQ+hP$2~ u#9 *?c4(姧C<qvM!͆29n(>:A*33_agԩ\k*wy A‡YvڴPH?|ls~ b0>'W+ܥ\*AWW|OZ%bzҮٶɻ` F(y'OrthiYC I !κ?^@tК6P5,$/ۍ"ݓ'*iJ\Cc[,% hT 9؜wukDM=TErTAމVAܓ1HI&c+brM֬#K} <6|2g_H*˗6-@_*o* M/,ICzxب٦Zyo}]zUq(kAh jQ4wJE!u T׿aMa!Oa@ )-uZW5BZXO[wgP֪ׄӭnhNG++<p2aqЩKGݢ(7 *=>_ bZ^e#E"MgS lԶ[Yy-U33og T`GS}倽aTp]YGVR>_Z/rBG8*Pnqn9 /Vm^?H;pڒAXl߾($tYkHx;)22/vިHyy+=y ֑tABח)A[,QBˬςa ޗa`7˯ FƂ`y XtD.2 EO'KA;FPD!kM JyP?YkÉ<}͑\6I $* e[5{J.鉉 @RQt6 6$HUa?m;/<,a]Kh@h;}.VPK!rGFw DP7. TM`D*1n=ߠ3G3e6@MKb<ΥyxSvUb)VpXD1}زZlû $.d"!y܄סX'@jj{XZZ$!ҠV15`|`1s LGz8'mC&ILK2xĿ(ۃlF00,emCh;틨.ؑMzYQI_S_%`&=ַӒXTrdn,Ȫ/'kk[i_+#wyW LQ5+GcaFCdIa 1q!QX-ϡOIĖIA灧3&hQwg;Xs% YYb88Bf;#kcHӀf:Nq ޒf"ݑw/gAfŪFαN|z!g pxrt#>wt PT P S87GdQ3#r~t\ NVh,Dc[jDŀEæ3D0?c=x2M 'XCjVNp 9Q-Q lW 5OyJ$IFvDj"\mp!5STCA YxS98\< s&X+`k?]aކJ]ÑG&sKxsL0ƅXci O_5@X iZO&c@lt t؄I~HdRDDV]+5, "g"ܖvؐ&ۃ~+ciS)ZIRd9މ(ؔc~=A&&X"$u#Xgۮ0\&!Fjh-Hǡ|W{b3m# 8h.%lUԣ2'JWp2PjrH܋ԪzUmhlEܥ!ה뷶8#Y eJΈ $J:tdA#|P+Nrg[-lQa1O4nJG.ܻFNHixrީ9k>QL;75Y} ( |L.UPɷMާzD=rFt "DY * 1 IEyïP17ʸ9 A;K"`:Ɯ}@: o" Qj<Ƭ ,+A,YLv|zLu=SƓ(eIB_I"}:CLX- 9;)@~U[nHF۾JOV̘Y1_pg7pnS_oJM[; `,D+zk;bxX7ZQ8/l 4ӥOG9u m+?ߺ@Oƀ3I,T-L%q8k32&z3a}rQY q'Ut[񳑂[weGhLPW*Կob8%Z1'2Pݢ(dPo7,Yh;rL:Yhi` ^>DdTΑzfyb.ckEYhjlZ:gjPG>FLP}o:1ITD(*؞UK3]yz+a$N49SJS` uAe>GcH"o)G@ER.iLbxWo_PAKf\cZG9-|#^a2i?ˠһ1jmbN kR;ɍmZR9nv+!yn&éBJOӘ&jF8y|o#=2>s7П5~cB&"a@ uO3UIDR-y V)C"ONԪ :u 0:>ia'zҧ:Sv؍t,,`Ș{~hj21SxtXוKK;.E*ڍS<>)UAL1ɒ>R$=qytw[<~_B;@JH&^-3+KDAl=!WavwOfb-,4\ `Z?\"92B7! jHFsmjbwD eݑ&+}2a SVE_U%iƅ#ύ=&.w6X7V˂U!< u$q,e2%'";d))LeJAњ)k#*xry8 _, ;- A}"I$Ezhxk3( ǩeGۗ. hR~O*c EN&7~ ۤMkfĶ͝/">R:8ߏ^ !yj9&GFpN4{_r٤途88iH:;#xZ <ɢT^%y:VvRLc ܏9ĸ6|۴02n7:7Z^*ڏ;: oi kJ yK!:Vʆ {^FVr`>ˮ+>K vW4~ؖ\Iid4ִҩg"? …B2̮b [qk0 v_"覃Xڕ )T8bw;C 8u22!6'B;0&z!懙w'rZ]i?O #Enܳ|l82+q۶YC*r:i };S]_ F_0 eMك $V6Ru!N ڧc)slO@dF-Pr ,[ _͏S!&}yЛQ5 [ڋ`oqbڝ u;dpEn./Y#Yc.r6?mkhxI8N!4QBrvd*goMP  ;nF* 4ρ|J@Q\Y9`):{e 8*'0\qCs wv6dz9 Zonާ%&" J|.t$T9Ep<9]X]ڹyfrG\1ϔ?#y -uV4kyȝI0pdR*O` x@OeadH˫k4ᯣ#;=[0.ءc[Dc' Ivz8W?uˆIU`xc0y;aG': ܹ[ y蹤 P,Oj~pePv驌U<=)U֩Q.}ͨ$ a#~8"#NX8u޻@_# Dń?@$Y ngYnGd;\(?cĘ |@ |z0S: mIc7Ef;5(9|59JCKa@:!Q2?S,\l7ST YJ{sIZ͢tPMk)unKZ9Tό`EN9B ƶU1^[ p_4{Q['T˷$MAaקTs[&/{WQR5SXie{b>899W`d ,7VE?}1iuqѰ' LjX-]xk,c14,e,"~Q#X{&Zs?s#0e'9&A:d?&%%TF),D.(r{-P4+R3=E6SĐ;X耐M1koK:nX9Cp堒KEVA(iofJ>䷵&ےtQΩ/ H}4!2=ajUB y薖wNҰ83\ ?P=iȫNb{%;j3r8~B=!#DC?(mQ0?j6ۮc{_΢̖P]ΌM؆d7SYH{h׉Z.q }L A}>(!ql-7IcefƈZ b6 eoPAnnV{ƤdhUtHC4Wkk`4XA5|}ӥmr sE(XnQM'` n@h ,F04.1k @> m(a\H3O51Xb/N9!{](e8cٯ;#}яS4`k)mL$W/S 4 G G).rOøYݴEsyWmOϢ)!z0Vbxs_9RM17,V{$.Wv*/>K$oOڍvU,c\/; EgQoTbrb毈50ψ/-'߄8+{exvGw? dLb*k?5Qή-ɓTD߿:un%__|+,%ɉvJ_tfFy%fNmΌ`q*qRG'_g=Ϧ\$%g_DP'Izz֚Hd?%TpҴ^jJһs]In{ pye@_|U燐=tDlQJ*yx XnDn ҚHMs>&Sķ|x+PuOf%~'UHLykq&q6`T#Ņ!fDvܱ`ѻ% .<5F_A-G\>s/X$_%Algj/"y"^?`^W]5>ډkG=?;ЏӠ0GFܼ-h*-%KaV=ANY94HxG)1v3-M'MI* -cbS4( Q}Iz;3#01/7s2#N,Վ3*ߧyBr׼x}ÑG % z"sIy+|`>$HYqP);jDLOB6jQVsg##}Fzbm0k&ZSˇ+OIR`{XUY/LXeھ" o{*%. !ڟ'MAoąSplhT8\UYlD:U p\*)lEih?P'blS.ºV3Yv_=2C$ml/0Nbk=+, cEE@(TϨu1!3 +"~< 6~nch"w:1cl7Mߋ%88諘jЌVj~DqDlCF 4Iuvԗ][=!WEHn溿7G,`f"Yi ߙ.P7nLO~Ҁ6GрH^+BPvyÁ[S"gw!'4%u=nfb7%9&k}>\;›5= J?jp9w=em᭄&mA (Mf2奇!yF ) e5}M=&O#9Œ8lhuԖwg4%3,!a킩9]2Il+] ؄n\8 cQԪU FkhE]>gREnerZ__0Tʕ'A;tWm24(<.[ɓc0"]%{x皔8̶aO3AW >Tk@ّ< 讶[%-]Q ].x^O쇜cn-7pgH5x-龟P<#{OͤPk)3V5'U$OC~/aď_&,{K[v88 Ejhz~NvP':JTFܝ;ZT"*Js5J-X6Zm G#X'F[3korjJ0/уa4i tɀ\w\ Bvldk3S$[(0Ŵc09$p8 AӳrٯԡR/_L~ӳp}ZuB;m"4Iz *YCBE=J^Pacyi\,:]3ptiACP/Ԥ le_s z6L:=j. g8A Qoi:ȳG<增*6=|ɬYtc$NX*1ӥ Nb٨sz(jI2*NS&kl#b*Pד Bf7Gxf܉L;^"\ܹ JJv&줯*Ej?z( Rdndh<~/N6d>ɸ|4TEDϱkY18ǹ7Is]>"\xϏcFi\,Aj&Vj$ÕWt}(**c@WOmHudnH^ A R,A.(ueIJOVH;ǣ1$ ^ -KfMQ1Ok\tc=Ezmmq^y'{{Ipm;iD0O56A> ;r31Zچl&u6iGF['-R9:񡃰\'=C \=v9GW|Wi\̢d_YJ fѽ894%eѱWݱwJ X\!|P A;>_"ѥbe{CW8E.+}}3Uf%TQ/Q%W~g|@ڙȦXp'px0_'.e LL 7죺pOfV͟s@> ia@ʈabSp)OAM-rvlA" \Ci׃ rz .@]{bA~,3foCA|cTw ҈ݡ=}ਜ2VY`P)<‡\7œHBV8~!zg9u](1H}@ "vfx{lO/g.;t|. A)rZvda9xf%yiSdm͘\[+]^0A%-w|#-{v@J`~]=+9Ӻ_BUBK֋(sI8(PVܟm+kr}3cXnf'p(J42.6AMWѢ'b?3g76qx6ྂiْxú1 M|{ m\uCL77f&3?]TI&!z QeP59ӱ\Irq>8!7Kv񧯾ֳ\_?@ c{0f%ns"mleҴب6>x|KYh7${"FJ:7WX|b# IG0~*Wa}Ax˜ 徚\_q 6gl~"Qh&#acR!K®QEII!`"DL?O8Ͼn7W>flWuǹ|"(Y\s/lkJ4ɐOu۠2E*DM4``nC1<>=R TbTXdep87wM$+\L,VӢ)Y&$",r>rTkE Ar$<@( ИC^pќvɔ0RR0zّl*|M#'2xq6v[Ѵb aZHԭcr2@\%pqlyub|uQ+hElÜN%K #ܛo1y42K"E?/~y j~]ˋ:{Y~¦T0^j"&Oo5ejrvw˸ ڳۼd=6hTG"؉`6z!aV5\ԵDjPsAӞ8zRn/ `c %s߱gYZ71fffb3d888cf63186ceb1689c36fda1625a7fddeddcfa062a672f0dad34c5be0cd823fee08f5bb1 6803283bac8240f6b1c8d22324fa1bb842ee176c