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 Z=,D ]/ Universal_Turing_Machine:threads=4elapsed=277.372cpu=821.524gc=10.240factor=2.967zXZִF! :gP]ŗXf1-q恈͐7ӺV GeBD?a ;#!y[7⬯ Mku 5iEW|rSq8H|Q.ғ!q*^vY,\_k; q"%վX "1?9a4(3}E#Y^9uFͭ0/fEbzsKnv+{/cq䩨]y{5F3x wP8ܐmD{?=z- 7:5\qHXm)}>*>V'z"rl$eriÚ܅#%hv = Universal_Turing_Machine  }Qns(5[];[:9[d .婸J*ؤ7(fGOPn: #".AαXrT䣴/"nbKlP BwL@73EI•Ou]U|SIܹO=yl Pm\dᮛtqƏuݢ&Qa7Em ZL qeTs[4< He8GXŠgȳa1hDM,>.^'S[[a8s1roH-2w"ȵHg-7¸Wԫj5z)NqUsXH.:~(Xi4ySxKCD8ŅoX 3Kp"jE2u67@"]8ک%1-thk2ԽJ|V. 5-衝Cjx:eF9ݽ h)"HT2Ј \"8mŠbkhVOҺv󦨏o.23]3)YϽ3~PBk~ZpLJ, `N״K}>F5ENWc9;˚=/|q OzPr_]l`qԌ0N @BfEo].M&Bi9v{lO}8׎wPF_̾W 1ݵ)H[N̯sFa=R N|t\W6'I אbbqsP\ ŸjCϞxn%tÞ!`sUʼ =W?x?WG0&?AQWD*w2IU_K5pm ֠#QYaJv`? e$:qCj` C6 V"Y91 ]_Ir}_q_8|שhH8 +D#V!t SG0 ؂º&/)vY]QjƁeo^:6$eP#\QVB:ҢO#Eln~)+S\cy DwN*°.֞R̝;4^B>z>;CA$XsWܟ59 7RWט|֝(џq0Ô-a[ҡc~JXIWY.@1H+Aa4-X^1/6SYmIvzR Y,vZL}y͖̑~(mx5$gM{Y`{;D,ba;zh#jJ[{niCYC[̏%мc%} 1Ty+Glu=J;譳CAgn&}R ОZ9&>259LSk$(FqS_X/{ #DEoAM{[S xT-PTҺ&9AeƳ;m Ldi1 f6w/OP6 _HJdjDJGhw`""]HE(lp zU-*}(W<8ƱMIvA{a⩔])]F5{`ߚ9GjmN'fbf歠e;T!c@E*G!I)v%N+jGw.8We5 qm{LVaVnڇ\Cla緤ޯY"mrT.L'\MgM1piV i<T;+U.bN,KsBoj=un׉бnݯrz$wB}VVVMa LS;p?3w %6j&+nRwHʬo^umWMJX>>MVaL3 (eu]7vôc761",0PQKܞh\{Gsu KUZt!xP.LǺۗzJLQ(exrqNuP\%CeRyLv7y#O]doїPĪ븐+ }WRsd#4YR͕ G6/2$hE(75"ƸYvfiր]mv>hjxX.σgП JkPcb&\۟c~G=8{}"sChad[&z[͝˘b6Ԝ5AB'V!>-3&v~/!jcF^h-kM0&)@^;2:a=:^ ]hyG=_ ( VA].se{uO*+5}r-jr1ٽЬ7hМ{kȢ$@9J Ai'UjzͧFؾqnPS0!(1]A7ѫ0j4Bt'!s~Re5j(d` V1:CYd96_w8 hx=Զu8_ h.[0| CY:{W 5d{Eo홸ek5: MS j2qf X ^P1V Ⓛ(l:r)# Z'yv~9ri7L}o3N$s"Bi5#F 춐:iaG=7H":^(%w4KACJ-c[}Y [7]l 5"R^2Q*2jڶ_d*l(Vif>l9hT6`|0G2wFOx.) 7GcـwG6oIwREJp9p$ { VkB x:Xu"ECE@ QU9C+a(Zw,]59\PcΝR`=#&C'q{t&Tש,ԗd+[8"hr+4 U'UkVpTyu |b LAM]X6E i)DC񕃐CfؚAQO$u@%(قg8;O{B'')ԊqQ!2Om/RܲXK$On|,Y#AJhВQ=p-z hpyD^Bڰh %<2A寠KXWZf .Pt>Љ3uE#»: sRFeV_ҖhT+iO* iN;G3@li&qݩNSoFl&8N/ƒʚ8Zé $ |Jqǐ6ng&ߣ̇+$.Y-- B|_eAL`]pn!>D`w{X%_NyZ$&bmیI.Fk޴Of|21y8rdg 0 FtcRj9h'i Kh@ۚmrL:~~Љ $# :T.(<ZV'h9ٮ5N=wݘii#D'%p^UFZI T fTt!>A5CJ_5e3E{rl 01O!kLj1錺N*E@-u3rd}s(-fru+ C}X%b7J%PR~Zi^3.&|x|Za)qt?V5Ypl.`t ڒǝjW L\WjH|?KH HrX5YUЪ +D(^L]27=5sd`~a3aH"UH&7</}ܛ.AƷsx V?l  JEd?UAڈY ʇ;5.q~X[ WXާ =!W+f\7d8ͯPjnʮXd0}ƱgYZ7zXZִF! []ŗXiɟhoŭƍAGk?Z q% ?IKxDt3PQpM0c)KC L,9MӃ }̛.Fxs#1tmDd v1UK姘zM1=.לrVIxs5l!--xGƙ4j\ldlTcN8i6-՝DO>L 'uE.)r"cnG,dvX{?x 9. C.%u}&6S$)ѐ'뜱ŗױpO1 hob I$gYZ7zXZִF! {T]ŗXi%B}y (_.Leðu9huj5h8Wy x>SR ZT&`7trWo>Uսug8-Y`&}㉶(M6Ϣk|vJ6I32D&*9I }׀zDMjk](~i>MC鍂gu"$BՓ.4?#pTGMjC5w)2zH;~8Cһ܉ɒ|t 7YkuJrs?ETΧ@ފ]c_xGLDFAVNjH5BdqS>|2XD%[ N[1þBK[e>^˳"`;2a6SeWdͻz0+\iT̥eF@mۦN޵t}FJ&v U$Bf,v5zLkB)2A>v_=w%Zhr[ HhyxCZ Z;*t2mf6ڹ9?^WȘ$aH%]^WvG*ix (ؾ:,[J$Y=#!Ν!9 -^Sj=:=ް\ě{S:AHt ~%kC5 hzǷJ{ae7q|pM`^Փ}8k绔dwi/薨ʭҿf[{W@fK5#<0~:ԫ+c;w2 '&Q-&mRJo¼xnqĉIhP:j?Yc`~r(|n?A2f 9cUCL,""dC?0RsaqqY . l//ˋ{Ԛ&E#(6U92b)x|}n3H\3%Ծ)^$V(ԍLm=%,^Ryyk#<6!jv""ҧPeL}}^֜tHǚS<@ |6mnHw-ݰ!_bjش`CkdH[9x(;vNgUp*ˁW tR oK}X+V&@xhlJF 2$+R˿\G%i{0w䪜`)rc@bU$EZEepnkg9,mD~{ص<=|u.^PL$?=K-qW]"4}NR!e.c\VU6 ?5fCN%v:Be,݅Җl[' _&H 0Q4o't﫵D.*rC!GՎka=.5fbEu`掙ss@ Fw&N=&гY&7Dwo8!C¾bx`Zaf` N9[Xβ āCmmɺ {65n.;ӂ r#T2E͹^-z4%X 7q0s_?%Ei1_>WnK-6gz<܃{.*ļi4_S=-;v; >ă8>imU3Sa =a{̹vu`m悬2s@? 7 @Zf99cr6@(ҍc>%oB3Ů + V:N7t<*z9`CpD3yI4zqnlyx(T \{鞠ٱKunGN>3J4=4QӗT)!DUX2 v Db=r/20)!6#[@$~h߁HȰ:GǷWSIU*/.~h Uj,`f岒׼h%s0C{ps2p/.ِǠ ZLۿY  &;,C;Jz_a{G)ce&:(}6=P*0f4{h+zҫkS)T12|*y:(G_ApӞ?]5/qgә4dǷT6ԗĩ,5n*K NA*Q-I~>\h-=s#)F qiRI?80j99眆VbƖFO,?!}n$pMa: yTIxDiK:$è:Gv)uUmA(TCEr lpkbpPNx8[#0I>e%5X"^5kcuCaf|&);e`qNLkl8Jg4箊xuP尯. q:˷sjlEZ9i ui;AIA^q]^=f<gYæƄjE]!-r(H@  ur:1`ok&l*;6EʋD'k3M1!VT<&WYTrI%w~]㟎w~yXlhR%r6bcBz>Q|R5»(J$ˡ[5s3R+S7} 71S{XT'6ȑ}FT5s߄@ֽpL:[eܻYS91<m=m{PrI"#&ֶ|BV>eOnpkk)0D&̌WedkPezCWĢ.=Cu(b gt&_h_^nl5^'f֚g>[vH/S#h e qvă}>lS-Q_GN:40 LSx nFAWk<ZJTL7߲JnW@[NOauX$ ȑ=ƛ;v njr(j [AֶCwZ;yHL*Xnbu bݬ5H[_6[#;U9YZ/>Kcp!ФN=ژZQ\Y֬'b^#n[]䏽G w(!2Bw?{KFmN8A}ڸeXZsU ; 5@?x.+,zzx-< 920ef  衣ӒW .Ki62k&QY'8)W#XH Eq:3\y i{7G$ 6dO18}EYj̄rFc-vKra7T,;6A7HYpQ-xFdX_\NjdS2 (q@FI6-7li{=wlgwA2:mt.l*m+=[T03ةFv&a.H68PĦq<˱:E9G%mP΢4;vB;ʒ\5װț;0w+[O]rU1P,6u.2Ǭd#?D =8o*'(ߔ.uC!zPZ! }iFeI'zk39=u z9\@S]Tmax8`FPd smjsSƨm:g` |"+~UK[=(=[m9["6_ѼºFU#@/(< GƦSʗx>.9p-w]?y|R4k 49k묵3h.QD$ۅg~tN;L~d\_|hֱz̰s4pO =~|_E{E$5eJ4nuA6)FkvhW,Z|7Z}ľL^u[OjBEMʌ:$ T5X@ryeD$"2FJɳw*XR@c\_7A]@d$ ^էr=*ItJw=1%rQu^~uV b6ـ2CN7Yt ftSOΨ2!G?n)89 µqJ[(zOnC[V}tHvsAϓ[g컉O Di\YoeaDKeKXR͝DCHW g`]4TX-)t}Z czL6y]D!3V4, a. {Ku)r1[6>чX _/7B\Bh*u hfؾ#\l q r̅Ut'lnI[ĺ^̶yQgVf, V^Q󯕞 ѫm7``]b, !Wrh{:t^nv:ַ 5:=9G/ q,OΈ#-)o2쿭s7ɼGQ kR%GYM0fk5Jˏ5 廴ϣ3iz5aq&J>7]OGfǹ|Lԯgu?eVcYxy~s79&jp|_U;K`- {ŝcw vQCMJrQn3D1WUDa` Bnə4!8E3{$1JK%@*4c/2W^#JE(xć2! 7{%o!o])$v$,?mw/m];?y߻%vgj\0Be8TgjBFxsס#79ȱ 㵡J!ߝDEP]$D۸mE@s^"+YMTeW-3>9C;m QGЭikL4Ɛ'**mLWHq/C{ivruʟ/+P)mv[Y^㕤l3.$8 O1u;yK1!NJSAfsu:VP)̌(韃lqPfvVۏn$WaB1 ИI?(6b׃xrWY+*@`:}g/ePVtAȾ{hq5`xgekzJ|t|O(Q6(3w v0$.u1?؉ "C>{~=IvdFd v\~t *ѲuegDAWES)aWIˊbtp8彝E~!=X_<.WakʫTޘO+DIՐuP~s>54aP\ɞs#v,6 u/l$Un} ?$uMF:&:_&ߖkc<!k(ď*+KM|8oCWAK1[䜣DÊ B-|W?ދ'%W%ge^@Vk/qnC:Hr #qf<.>[pt:ZSm"!cuZFū j>h'A9W͛͠&3N: mϒAi=-Fd@'[4ĭˏ^8r}$c${.[4G_MC4c,rZ(/>3(sVIt!چ*KGph|I \V*DPrͭiYu;bh&YpOD&;{ZPD,hI~Z~ %wSH@Zs!{C#0LV$~#qy<&=M3(÷- de ?AM4,"i}GC+ MI.𿓠A ±{" 6*;a# ]poz{3c@-(|G5\wØʅO;["N֡Aڠ]1*&1Ȩ9LD&6O |uk[ÑHD~nvɴZ:Nv5j J\*Bc NxEոy}oxfn!` <>%)'G(ۀ2׼ofq擴@4ͪ)a ì.TK|]Us \8G3 4!C( fmC>Ӊ; :iZ7Rq׏sg[VEM:2i~5`H /3x(wgV#QFlET$,0'}G#-d}G삏ȄUUG$#<Ʌ=\!)BVWS&'Ҿy,w,6>]Z^((:߯ͣ3a{^F~+Mv 'eM`Us|QX~^_Ei'{F[]NB6M+/0 ir,ZD,b,!5H>h=` &6e"h,%ˣn\YsQ23vB0>sj\篓ߟ#z%ëÜI?4S* $w,f_J}j3w$-N5>WR%P-ռHk ()uhJI }EC-C$q3%b^z 唭tne[GAYYZ.mA'tW#\G`AS VV %Eѷc"C4'=ՖlKP–{5k*v#c#Ws 0Nڙ\0WPυ?ŞoӀyz1|#}ZE3G$i{:?Ɩ^E3% Ñ`4 Nr'R`3 LENoxЛCD1>Sa6ѹс"R؃4JKv7(m1\@G)=:C|;q:$I!e> ]sܭ~HHQpִϕ?VVw*ILLq fΌSщ8^F_A.vqƜ v2")< >)h2WAC <r8k:R؊]%^fi^,'gѠ > 0񍫬bzGXA_ylҼbN ? N.3O>%LFo ey!3:-w%ᒾů>pvڧ-:'>>>cO9![a]K骜wu J(QprU4ѝ„Lb jvԈn-\r4͊uf%,T*ӝ /d tG.v~mZ'𳗭ן)U}ԿS."ȀWa[}vF[ѐq+<(8߇t P](Q#l y錠yl]C#t]}yq~=y] IrؖKU)5?aO݌*P}9KHO~'11Eh9 z˺8s$=A xpQ,mi,vDZovIo>ɲNALVRrΩ0ܲ~ qbUV*f%k"5s CpHĥv 哢3{̓'): %@Y[2^3c&Pv!w6rN  IߎnPpdua~GpYgJR0[Z24i`~-~йkhumYZ!N+p .g8WsM8و_(8 aLBh+7< _R rvPOn8NJ?W_ iz^f*U#|ZT`*4Oi8%: FӁjX4 NC-%^*Hk #(=ݐ@|^xz~ئa\j6z~(ϯ0Qxӱ wz8Ûk~ zz_rG)%T&O ȌIa=7n򏖱,[/˙K/qD +V40> GjMsbD)}eY g'EۨBM0<ѥ\GIŤDs߄b[H"] O˝h'H]TpM7܏+6;z ̧J2wKn,'ES3YTȸZr"]Mu %0(2^>6ts&^1=fo3,nO%4E=U5#ɰUrb&t^L؏}e( Q"6c/qH'1*bC<0T+hU0A0}iIwwbOk_Q${>&\2gҾfoV3LڳP{75wv#-?K(i.vTϾd\,p3WJnuI6 >df9&v RVCJ2m~p[+VyQ"pͳ*a'A?wGKf`ku}"|SǺl#u~}N6sO$TɕC{9qd>Z3WLįF-eBY=fR4 d5:6"/DzLADyb(L'et a3" B=? 9 :IQ~< w~9rm 'H\k^|nVZ hY_hC|C~ٵ=dH( ?$C [C zV:s"Ȧ7R3YEJ6p?+<$ B ^ =*gz-({ق۲ZM2W{"5/CÀ-9qcMILP tʡU}22{0X<3Tc2 E聱M[[e%`Qq X\9^:i>07ȯf8Up 2SaŒDB2_a):suVӪPgzK':E3Fщs;" ŋ qT?Q+1_TXcnMY!xA8 OAЮrq:TU(OAMAeKP"|W6w'ɪ{W'&#ޙPjGH*977\4C먘a鯞](8S*8յxfy"wi盡BDc\Q1Jgw&ևsb+OC +fz2Nۃdûn+3Ax2힣]7k1ѻzC%L3b ϠAQZryojк!43Jrjv`b%mt;X \fmf[+ّu AŅ&4m//`% d*qPp1®F=ul[Vb4bi3wܝ~4v֏/֌6䩨M +ڣ85`if$>fJӀQԑquc&.aFM>8#]~y?-+&&&AoGV"˜` _Śco!f)Uxbeߩ6bTQ^P+qQRݓC^(p%Oa|n b}hM%Aj[ʳ_Jne1AYHk]tًZ [ 6v8ҹ'c̞\{9Li܇[ fѬk\$ch>YORf)~Ѐ٧$KqPp9LG׼-^x k_|c{{@S8'^c:kxD\OзK+ќam S CX%R֨-r] f4zG]|˭DFX_MY ƄC( @:N[!f2}d WPo+lj[&؏3 L4_F=%>\u Q;kO b3d0e=7iE` 1:e |]sA&Tp9VxfFB$IS$zT+J'=".0"c{ڿ.0r=45ˌd9"-`)X_ESୈmO 1P쮞 7_n~4$Ai>u{0L8rgs\$-)h-Dž_9>UCL\h 1Ж5d>W ivަO\[Bq橴\v%qm*SpSdK Q&Ʉz}l' H^lp *Um^Ecj`ճXp~4 S>v)t-ᵃl;4ayǚ|'6Bdu7oCSgݢ5CzǨ }ɠ3 'd ֨6GЯw Tش{S"Y{@=g +ˍoh^ׄ ˊ ~֝[, 8E:hfyCkz t[46{q|2 V) ՅJ R7Z80YqHpak"WN`~kݦ3~ߊwڟfQHAzp2s"(svs$IU*8@VQ;p/FY3i~U&ƵADb*a`@Q9]ʘ*Cʪi%&BѫW;Qd!<\Ͷ7 Cbk1.kNt)^D(AѪGMz]خYmG8ȄԱ9P;IĀ ²w9|1hR.al(E99=U]0c]Q$E6 ~? ?{?:Pߡ@4@T+a,ۘ{7?ohOf;QR|+>쯺]K!&\x}L6cPn|IPV&]`ClAuRH1NWfeͳQan\.TBLÛ> 3Pq)f6r+98N 1!J̱MCtِAb W&c#F n܋V=h;!? ĴǾi<n.܊*V gQYm(-k? !|]tAy}#CuC՜^jPW2g /sfpFqDl=@3#x A%Q+,Bu sa&?UbPե *_`9d}3CƩg3'24qD,LFt2Y31Z,d6кI1G <묖ЂNa  '5@s0DC~k(}!\$5Jɗ1H;pf)Kfރ!x@ YA~g+SSۘ>W3u1"~3nF&=BK8Vi/$~a};yȇ#cu kZv@h*6iŒ3I4P) hL' k* j$$!qjv/CG`6;jy8&$u&4}fc>/՚˔a:od@cƎ)У!:P뜇+D6zy?tTygFV VyώؼZE EB闘IdJ+ Ÿ7$ce|3>>_ ̕ێZ=nJeͣo)EL"'Xk.(0U};2UE*ؘuH\jѸKmmLֱPuy>o4~>Ow01tT;Dm٠5C!9n aJ<*3Jҏ~a@ْ٣ymRD oȄh'<Y@M':XIc=RTH_=qΩկ;X.uΛ&߄A^QȑffnԯmeT0cN9w9|lN"c2Y6QXq6 Y'a@"3!-~GD^ w2NOj}4,*+FO,/m*UE'00,Z5leΦ5Z8V`I ?4:?R D(՛ x(T ҷGBD9"_|BOx cVg;@ZMl"vЮ3!^ML!Hh~?.SbKjk)BRXt# lu&hdx_\꥜a'W]~9`SH" a\ۛϙ_syF^e_0Ofm@r̗GX$B,")kPovQBk0 [:yvCNjmDMm0N]&#FEtFaRݣ1j qx*_#jÓWG[vʓW|vQ`ɾ?#ؖ&{*nÝYDi^MxG-2GZ Ǹiflt8J#qP#૧T3 E_PJ?~,M|NQbŨ͛м\#8czӜ^t[z/4qf@,qT+3by_dm`<UtW=kSh' 0}{jfy0UX߫ V{4s1jHvbxK2SQjkWblceZ2T,2¹0Kt3%;(9_C4)frEE3Y9PÆMɨɭteT)l FC BD@QyzM+f$ƘD~*}[Ms?bHBUV*\@B7!GIxV4D5L'W)*ĮU {hJvz rT ˤZ\8$/=iB VC͹w(ϓtCb TMQTIӫgmnpeP!H8T d8©Ҝf]AdϕT3);nՊMؠpy̠q hR +pAņ'Fلjɵ.;PҮ4-lm =7陌~ 0|, ^Nj`a |+@ǀ, o:e udYkJRg87WpPiDėkDtoC!t^%%/_+lػ MF r,40-tTdV:r Y1(t%?7yc iA`_'s`|O jxw;E\sv}" c;8kRe (ʎP?9}1 XN-=ݖ{8f▰% (J;,k42yv=WƒQz`AHE gZ=%A$bVan5[etnrjR/#i@U}т3!UXsi>M[^hHC}}=X]|#Iǃ]4ZCH;)Ț^y~)ZN~}y)GqsǂA#n~/3Kd-W<8pʌ.JvHH7kGAjq tڗUEv S)"52*$|5P7ѹLPN17>Pj2ńS9L Gw˱^K~{B}@2F@.`o%@=uĸg͐&s76%NOu:[bj Q`uyNBmhEOM4 HK jZY~s9M ϸuS"u^j͡yLGtl~#w)"0]Inp mRkScmy@ɱl*Z^-i*p)zԼl,REpp[~kq:" 8uO}ԢN[i9nv/ӚW!&L!WFꙋ^B A_ܤ0(Idž 88 ղ^d>5pSo9\xd+,b -kLh3#c 52:G3pᡐճF?d3jѽ~Ӝ$q ӷߘb`Q{ QE@X1+nb'.sU*8b2"48\VK r\-`0 wTIƤȆ>Wܒ0-wk،F՗c~r# Z$tӤFYe8& VRp LD0B95das-GX2=!"<5Ugqn}"#t,:'YUO h¼&VM}V %R#E.3<O6|ڑNtHx}EoTr+k+#t^V>(]Ԃu^h|h#`(Y3A- >6ƒ̝tn:=0p֓$U~JrR{ؐϙ[xS兌w l:SwIvOEs|\ej쓐P ˫%5n~Br D Ru{>&k]=Z!0iT%)igQ: naxe:M+Pq3ʒ(6 ..OK$w8]^ +{L,T_ * )R c;šxb3*تB dV+0Y0a?kj54ŸVf0~_+9ErNEP&<.erut\$QɎ}BOБhO|Sx&ۼd<=|`%}SSrܥ~_m2wٲcݎx~qsirj9Cbː6ُ2 G^j;ΰ[>#GFWL, D螱п)rII54;I"'gtj'󚀫y˂|pkPCLcjʻNˣΏvaa(>C4 P!H ]d*=rshTht=Nذu^X"6;t͔ {A˵'#2}W@^$mbA2u8N1#W jd[m PkL,LߣP]+]ԷH٢ j} pL-i쨌8!^¡UҊ_оR뀯5pW1/߄A? "kosKy2Hi9 DFm]>ja-ZE1>V>$aR&[A8pž٣g"wt1(sj2#w\v e"YKBن}Ʀ<`.j}G&k/Mڮ1:/KDr9Q&cY\w#y9ĒK.16Wh\W#" ^*qKZR_͋%'M gYZ16071da55afa6778bdd0ff25797bf2457c5e0ee5c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a