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 e)tT| ] VerifyThis2019:threads=4elapsed=18.841cpu=35.112gc=1.1847zXZִF! 5H]ŗXiɟW;g``ϐd¹)P>_5X|`J~}1u A=^*A$]ߙcFmGBsvZQ;bV]8hAJ栋Sv&}54Mq:I^?R!wkO˟mJ& zB~.URt0Ӭ-]^Q;yw@h ^m슲gF3B,fz0>Ύp ) VerifyThis2019 ;)?% VerifyThis2019VerifyThis2019.Challenge3document.tex7zXZִF! ` ]A-MՋhvG"uIBm5qi4Ѣ"ˆu)zf9p疴0ʊƀq3wGb5X>mq9bAX cEMmFNJ鶱yowխ/: q0C ʹD3U4(AixD?:N 11NQY6Ҍ{&[8d/]~!άc}o//ڐ#YCZ5 !ZATc+@(G~r煼I}=H/jcݴӢntj +&{0lċl>7.o[1Y@!?% ŬPitqJ72씭2h7<EVɪaQpk%u˕U=~XHKiQ^;B|X ;qr+LP!|'I9aV0fݨ֜# =-|I Ю 'Lu%h[b H.9AR&|"i/v[w ErWA y`Y|$]OM>QQe?w \Tj(K_,%=wh u+ L;sgUN_/\{X1C`[@0 ]1fOJٴM꫋1~JDF).jhf"BNԩ2sT!Z+OZ86+!!@X$Nw|wszrQ zj!]a6ZXS82~.5/k(ǬP\T[qR#Ȑj}:O< |e4FY:B f KZE=;xJ'ziJFWѩMK._sN"ٰZXAX>IжmA}MY8̔JC\#ɧs@y#E·9Mhҭ8;HX(}ZΊd:$FBPU>!*VL}n!Bg|7A! lT,k:I̛*(St Åm4c_2h0_5 |SsA0 fkCya10*D.ɎRk2}!p_GhIe(\` \F.mylVځ:ܯtq8tmx-o+9VvAT9dLC7rYs*T; oz~LdeHh5ksœ赸`a's: jMVcg7.WoN)`yfW]Q*~IϭYR.%T@99 1FD E`-X!i~AZB/ < gxG!8I~ܤEQ@ Aڲ:?SpB,̮nkvˈwb!ӯ*) @$彸Y̫٦ZT KMn}cp{`_tqIKPdd%֙Q]h(B&!nO]"MV 3=NVLNTn4_Ÿ\~ny.R qty:1!u(E7+Qi#=f׎˙نHe>( yd|8.aP{'G@`\ K]-= m PA㾗/<$SZX2yu*-;X4)K/U$ЃW (^[= 1ϻY;aƖ٠Kw@$9@eK¨qR ^ ^:@9NRy]@?3ukjq2׶HW` ~xc!8Xn[ɧC*I34N_i1D8.g7z^tцy  vwy;-Jq(WTZR{iNѷ?B\Mbi;W0nuum!#_5" YFc8Pu:n+Ȱg2Hޞ_=G`6h&٬w̐avKg^]5`5Q!I^BR6_*!1EIƳ  I#PeQ>'+EfZr E Z\P;4԰/_bmz*%ZQFiAwԼ[%rZ|bbc%z:8Lp}qs3,ȈWH}oFT3F@bs<`Oy USh`#=x6^j̜E46:жe<63hkCR&$_ՌT)ˇAaDm1L8H~,xX|$9~)&f\vcV4LI%M!TeWcep!& HJ ~efܢ$gK羪^ }Wr6>1UZU)7pEvz6$I\'TsnK.̉Mx3iFVܾ~&}D+LEi^jND)v?:[G?*'K@$b]#})8sT'mc$8Me 'R J%.ڬ7D'wɚ \Z،/=E+M( KmWYuG=mrmչ&^XPWm0. Sj=X8fIī!Ws9Bc wjT;W=Vz'{FÜ =-%4t]ucVA Qd^Pti. l^Nݝav"ZpAOR~=HQ[?"]!"Ϸ:큧yeb{H-x]C~|Z,U쉰Ǘ;f𞵯ȗ^vl,xI=9H7׾^D }l=F5l<.5%Xn>OtB]8$Nl" 2S{KU?*uMdIvRr. ժP+*ՂޫmPZDmsyxeu:S(jBמKB' 6Z`LR_ZIwLE4?uD M  Yu1٤sߘou-&S Z?ᬚMؒaUZ@)!/l'0+lS-Hjw \S{k^TŬcžxg}4cVKxUwЙ؍NG"A"kR(ىLCA -Y^Şs`ks3Z >d@=?qvo: kD6+UowC,$'<' )b^򂨗,ϹF 0.mRB, G"ýA2^^W񋃣?^&G'ya:#@O6~?A 5_0nyqER1ŖD5 /2d7X qRܸu'o}Z,)ø32]=MD+Y-h)NH, p曾T#^Uڑ@OĪ+QIh'`ɗ )D~‘ԼE 5hұT:ǿzEZqM9'+*/C } * nL_u GGmGD1(*Er,RLk]ʵX p-?2`|λCuMV9(pfHUyߌs7GxU/zY5![L wkL"!`1`)귽y,kU6顖5Hbe5ssW*K{";}Y`Ł$q">H bQ/YwS|FhX(":k#Ǚ7ɮ?vSpINI,ial/K$Y\?c龿{K'~ҭ/(. !ˏad3ðeoUʛou2&Qr3j>]Ȋ{6#%!7kk2႖E_⋣%>?hT ^PF)6Tly^[=wuGVߒxN{wVՒkH^SB7A6A- 7794=וϸ4 DCk(Xm}w>RP D`ӈ*;;bζ YtT0K@w\Rw'i `nY ?Q;\$d)>Pթ[=XrGJBKgԴW\| =eI%-Apq# 81mrw:[/_ n{`/F x=0GUTFնOIB~N7DޣNpamQhX+779F7f)Zм;W\?֠k(妋gYZ ;)?% VerifyThis2019VerifyThis2019.Challenge3document.tex7zXZִF! ` ]A-MՋhvG"uIBm5qi4Ѣ"ˆu)zf9p疴0ʊƀq3wGb5X>mq9bAX cEMmFNJ鶱yowխ/: q0C ʹD3U4(AixD?:N 11NQY6Ҍ{&[8d/]~!άc}o//ڐ#YCZ5 !ZATc+@(G~r煼I}=H/jcݴӢntj +&{0lċl>7.o[1Y@!?% ŬPitqJ72씭2h7<EVɪaQpk%u˕U=~XHKiQ^;B|X ;qr+LP!|'I9aV0fݨ֜# =-|I Ю 'Lu%h[b H.9AR&|"i/v[w ErWA y`Y|$]OM>QQe?w \Tj(K_,%=wh u+ L;sgUN_/\{X1C`[@0 ]1fOJٴM꫋1~JDF).jhf"BNԩ2sT!Z+OZ86+!!@X$Nw|wszrQ zj!]a6ZXS82~.5/k(ǬP\T[qR#Ȑj}:O< |e4FY:B f KZE=;xJ'ziJFWѩMK._sN"ٰZXAX>IжmA}MY8̔JC\#ɧs@y#E·9Mhҭ8;HX(}ZΊd:$FBPU>!*VL}n!Bg|7A! lT,k:I̛*(St Åm4c_2h0_5 |SsA0 fkCya10*D.ɎRk2}!p_GhIe(\` \F.mylVځ:ܯtq8tmx-o+9VvAT9dLC7rYs*T; oz~LdeHh5ksœ赸`a's: jMVcg7.WoN)`yfW]Q*~IϭYR.%T@99 1FD E`-X!i~AZB/ < gxG!8I~ܤEQ@ Aڲ:?SpB,̮nkvˈwb!ӯ*) @$彸Y̫٦ZT KMn}cp{`_tqIKPdd%֙Q]h(B&!nO]"MV 3=NVLNTn4_Ÿ\~ny.R qty:1!u(E7+Qi#=f׎˙نHe>( yd|8.aP{'G@`\ K]-= m PA㾗/<$SZX2yu*-;X4)K/U$ЃW (^[= 1ϻY;aƖ٠Kw@$9@eK¨qR ^ ^:@9NRy]@?3ukjq2׶HW` ~xc!8Xn[ɧC*I34N_i1D8.g7z^tцy  vwy;-Jq(WTZR{iNѷ?B\Mbi;W0nuum!#_5" YFc8Pu:n+Ȱg2Hޞ_=G`6h&٬w̐avKg^]5`5Q!I^BR6_*!1EIƳ  I#PeQ>'+EfZr E Z\P;4԰/_bmz*%ZQFiAwԼ[%rZ|bbc%z:8Lp}qs3,ȈWH}oFT3F@bs<`Oy USh`#=x6^j̜E46:жe<63hkCR&$_ՌT)ˇAaDm1L8H~,xX|$9~)&f\vcV4LI%M!TeWcep!& HJ ~efܢ$gK羪^ }Wr6>1UZU)7pEvz6$I\'TsnK.̉Mx3iFVܾ~&}D+LEi^jND)v?:[G?*'K@$b]#})8sT'mc$8Me 'R J%.ڬ7D'wɚ (eu9}D^~NYDҽqv_kU,-sa*2B} Xpvz4=ɨ5n#_z6K0,\?NH&m|kNܹxNI۴u="ՠ @ejʧ7"Krsjs["mnOx[;Z2ku%&n uw lCIǓ07!FCr-3]v0>XرZ i@nT[< 7#;vbjetZo5X$t@#)s>G(W/iZNz(:7L$V>YhHXbtjdB;qmovɮEӕezwBDM$/jИs-󧠟eU\!KCe-v'Lx%6~\|mo(dtyb:Ml/=Y^ukָ޳y| 䦣FFl2 =XN'(LC,U0-78X+ q c]0:p#Ɗ{(ɏaL46І9<%^7A$H[gy<M/wjiIA m*[F!/VYGx'7o?.= 䥢ŽkY_C\w!46v"wdg(p>D/psA{(N='mz@zp(QLgs*pH(Ȃ5Z,H?m.yi1lF̻?5Gl?#}~^q0=zjޒRq׾Uغ|k3o$h`ƄPgNl;嚭+CFf 2"PyLcw?#ewjzG).Ne.>l+&2G-~5w.|.[WCBõ]F;J>J;"(1-$kB >ݕ|hZIpތRJL]L0dnj"!g?D%db#vKSp2˝Q:`\I1Q:v 5H{D+%G$Äc<筫#Dž"iiwM'AvaYΗcHHZҳ-"{?89kA !}6sř_`SɎ[4tlu8E(G.pZp_gx1ͮ-( α(hXh?yxډZע0P߲(TY;@x0"uho\,j=sW~lKZݓP"֘k="*XѮ?KXN$dI]xc17VZ>Dnf 鋓yF! D_U%Rtަ SS0C_JK<a5] ؇gGs xg)KCIQ : QSժOh4=c~ITppʞ }VS8).# +,*:u# 0t0c؁[KC/j[2P kK}8AN~& /n^2,,N$/:0-_T68|w}7ꔄ Vfʄ)!}EL66N)k{ՊV y(9[,*sWut*zlwEw1 F "iRؐX)=2֮ naؒ 4aCׄ?/hZ֒NypX_$[Q膯s'6{mҬ2)pZIF}85fA8lkX-d7hߠ| KUߞ4V5sR(}Gbc@6ޏ/B`1қ}PƜcu |l:O*X+YQЊVRQW@`Tp@doAŗ*JX3=5fJ@Z \e%̻FP£}^hz| DrBa5έ_gP!E p|%EYcrؽ<'/⏧%[ԪgcxucLwMĪMZݚ-Jxz*WLIi(PbKs=DpZs~T@aJN+9I(Q)oPXms9G?} +ɢ/ˀ=srRd&ld̉)vM&2yfiIf_c<&uiYS.i=Cz$,)x{c2Z !j*pώVt]\\X2yP84Ψ^ws\Uo;4!ց> |ܬK\!xYq5a-f{Bg_\PCsP㉭Uߎ[v@r!-B0g9*:i=mk{zP ¬\8vo"AL,81e'gci@NK ϝ,F4{e^3 b8]?xKHvXY-ۊ +R}:X|Jѭ\8%&qPG[];;.e t0nNz[ #|kp.\J/ ~aPFPtv $Nĭ6%rQf練=(99[SUurc ]dnTȏ?cgO_7&+?!)Jn`YZGu >p0ծ_DA~Ł|v8avJ !ĘXZ=ST6E mŧG^}`_k'8 $ [ 闡Ѭ1NKvS\ f?+e-J†/$Jlf xX*5,p37AB>w@Uvx4"U5A籺5SuC7?؄=w2Z\40-2OL%b!\ e[2iR2*Tjɀgauv/ Pl b_JQ՛R5#H)aB fW9!^% kZ?s[RI -qh"L jT29Y j//;*Л֩aYV{TT 5{ f{1#XM1s%Y| ̥͋.1s ,/++b)9W9:*Z̸ ݅@cJ ]"pHq5-?gZvɬTUώI.\Z~v/ \Ipd#cIE^(GGO *J}GNOm"I{Wл1ˁW r s)І5` w`ok7/T/ێ|vC;]7ܸ[sAs 2AmYGX~&]uys% (*&0N b? i kwY@8Rrxh X^fv$(>2 ߀y`hL-bv)vfQ2˽z 2\?!,"+h{5&7ҿA=jcKJ?+aNv`Xnp0o8-VM4lʽoi'3qJ8ȅn7"Iҧ['Ra^XQ|/;uoU`.T+w/'J?/Xqݙto$ 75Y-Q;ܒRVRJ_Ju n~㍿v`܈$=h- UF<(u,u46v vn'/BJaHW   \f@0F>*5?ksB7~+za lGrx=rB@ÚVQ<}L\f( >5"Mm+H6OprM>`JlrO邩`؁uUTwl^?YUPagFcB_^3)ÆQ3WPdQVYDJ;=ADy.9Ϣ+@3m\X]nZX5C-V94"l@:7&2j'li/*hRたt(XEgq Mg2VS 97?T}II bqMgB-P kio=#=R m8XUp|d^9( {W HF4`"4.SPIGn`> #Q)Z^!;걣c3kuBhI!^vO[%C=svcvo^~?Iv4y~u6:i40?`P}xxSv'QO>TO:OcYs!cVI"F-{m7[eMHvH+4Mz'.,?: I2rdI$u,%EGy@zɧ!)hی]JL<nX\ljZ)ñ- :=*y8 "S`bJB/ڽ.IDM-|۠ [̔Hu30UȚ[Ii; FJP~M\u/8YyMq +6`-`4Hu yzڮ5] qh:έjGU lLrDzZᏚBY :q{:rv1± Ym{uwúxTBʮ '(F-8Gw:LY4r$""eg7&WLNUܪ 7$3(hT-H4LE@JKΛw RwbJ 4C }Nw TN(Ad":Q;S Gb_ô\pŏF!D`h:O11]oS&b&j ~ybw5v+pɂ$I@kJ<:hڼsIAk^bU^Oy]H5,)wIxf4Aì,iyJLwFnlW ¬HAlcV%`Y9; dRyTU 6ʝגq&6@c7i]l);n7$cX9չ:WDžżr֔u^EC3 ZyW Sbu߮?UqI~J}NR¹1bM?3`)]ws*.\ qȖ+Z̄OSg*wLClsZX G+k9 v`}H?!4B}Dև tu'y qjg=˦eHI,uW:b !E1I{@+'0aWK,|iKg/8Dxq;¡MO8Ș탺sNj$]WM=ߐUxhlpm`Ri8p\R5yb;)L4|WpF01"i"6~0Kw7RhHq5nWlH^ 6s3\/|]x&[t!V;]U uW2F%3gI<фW:vhϒ';?Irx)*~7.>v7G?oa +U20wECApd+_/3C͖CM:geBjsY( Sq:JڇxmSX\ $j{8@y2T{D2\^-\Z&OBe.3VU!--K~dYlkriC4*\~631 7Bh5Ps=דSւ;G5X]ݵg, _浅|,\Tum]4(ňx O-AB*.7FZT1rku{S4*Z}s`+ U? 0E)LǪ3%qU/8> WEWz)A[rU'l>.'2,a?"]g&֧I ԲT,IA _OChpQ(JʨBm1;J#.mNWzr=y ̫9N zۊjVBMԺ!0LSؾ"ҠC 2.( :Qtz\tԕj4et>,;LKXĴ %AGq f4.rTEZ3whjIcʓog(#a+AS7ՅGCrq+}O\eU [T23'/: Q?CSyQgh1s '⪘R:[r.[{uY'$+(q_3BS{o u)ǖͼ Ča\w64 6`;:/YK0rLSTH˳Y<7_gO4E8~ @g.35~M`9OW"s(@3]u*$9zZc|Y#xLo6Wy'ʫ={gYZ  x)A% VerifyThis2019VerifyThis2019.Challenge1Adocument.tex7zXZִF! z]A-MՋhvG"uIBm5qi4Ѣ"ˆu)}%2f9¤ҏ#.4īh2_v~b'f.F},b殤 "vkvwBSc|b ~ԡ),mfFjc_ood_w)S^pOܽ5N~L@LdQСm1TD7#/0~9|Ga?J6S9-]ȺuB U 8cYVԟ,JF@="Kv$#Y^\-̀Q7pA#"rA~fu)tRYs-C6` ͧy5+`ql=l2ݱ랉8J*r՛4tn,EovoE 1{2txN#͑jW| Z[8ǜ-qF~堬}Rʘ*mCJhv4ud-(}q=-eFj!rؓY kp69bd8+_-m~'$eSj'h7;20M6 #9YGQR&eA0: Q`h 9alsx@ 6A59T>MG*'"Bޘk1$5;*0P:'sZϭ!چ+xx'icxPSeYBw:l9{\D삡@M!`I]9xqϲ⊰@bS㲔QҜ H < %%X)A% DVerifyThis2019VerifyThis2019.Challenge1Bdocument.tex7zXZִF! t \]A-MՋhvG"uIBm5qi4Ѣ"ˆu)}} 9X8B-H_pB#}h)џy!ߏTkjܞj^6BZKM5PZEl6x̘L،4T?LO$k0Lkˉڋ/:;*#+CWт 疟E7o"q%䬈X1/~qv''?(,23j ԅ9J~7#$,QȇgsrR` 5̢37\xOu^ 4^SSar ,Cd{ p̀۬Dh4بp_ABfn GSɚJK^"q!R_PJ&DPb.xXRfwQCXd@j+QZИzpp NIMHВ{g&kKQjj }^33iyc`CeѤI 떷ș I#P3o]4˛ q0~moA-[0@j(ך p/8 | = ؅Ϟ5إ HiMl?'L3:Nmpnc+PaLl0 >jy,߽eG5'͞c2|Be9~Sːׅߐ8I7dP#`r"0[< U5+[V|r,#动/Ã,^}yMaQ gQo2ZPk pVb\r 55r"o*G\(YOyaD1yw:CWQ4p*M4n\7 p1Z yC doAĘT'sci3x8~)39)i9 7-ZWC70 bm7o5 qS.T,d`  3Up̷-GPֽ\-J\Ӏ_,iFrK^@rƶj<ܙ\b MbTIc} QG~oB:;Ng|GyN \eg^%s= +_b*rh:Cmnϥ›FGNS;E yu4D1C.>_]XW8<ڱt7NhvFvG50e#=e tzmLX.MO-d"j>.}JYe]I~$kCO{1)mer $81rGP%~EvP T’Xa.@7ڢp_mfd -U|<:+DT) DaS R*z4S°{ |hHҫvI욯9&:7l, `15% G:}Kߝ9s=(pgTcf6@K$Cُٻ. )u1ca/IM 3$PBz2AU0Yo[7{߹F0fI.ߺm\-'1)Y&\k֝kf.R|1+UpDutЪPP0Iף-w--[0{Cd,TјD5E*3{1ܺ?uJhp᫈^6jisaAm'}wQ )w"_'pnpuiwekK,.K%^¥`rsuT)->5p 4$ue١UT'3sr/^nЩ 0GQDٞhoƣ0Zȳ7v U$xdq -c+Sֻhi&DٞyCY!d.b;tKëF9*BθP0=5jR & i&xZ &ԯ/S1 vAo>#04+mw$i? H@+Kq4m-]Ʒƾ7hٱgYZ   `)A% TVerifyThis2019VerifyThis2019.Challenge2Bdocument.tex7zXZִF! 1a]A-MՋhvG"uIBm5qi4Ѣ"ˆu))}} 9X8B-H_pB#}h)џy!ߏTkfܞj^6BZKM5PZEl6x̘L،4T?LO$k0Lkˉڋ/:;*{<<2I0SQJʓEAFCį3gf.Cb ?5"08rX$7gR–:ӛv$#I+݉sp#CFOOvolD4G,hob2tiQIaYa2kjSgn#AbFgaj9 J! sqȬ {;pu#]8m<~]mk^?k~2>=Q<\jG}ߩfu@v.w,ERSo[ct$$X! &nfC\ۛSG eԶ Rr2B'T\DTOzÞ{)NA`:tu$ka#[n24x*O"/N[eOQ)r`fkF 4RʔQGAE(06!97g>^(N{xslFDZFRWKLڕg*#Fxc1]J-¬:cK(=y^y+,ڂ]G(xoi0{qkC'Vu7a?^[uuHtP)I2(!XEB߁/)E,k3@3hScH_D.5wnG| ,-:ok06!go<}ơؓ5YDr@Ȣ&1 Sp C}lUS{ӫa8}֒v*XeC ʯk~7*hXIp2͜<-yVo.?kL]zp'܌b.af;=Y}2^tY"1bv V 3ܬ$j_g> 3x<.:i1[ )5p,xBp4-S0CEvO15P7h'gѺ9W̌v.'X0-64MFMSARWӾD29+P]@)؃lLgؚũhl+a|YzEZXt*3?e'1^ToZ>4?nO5^$Z?g[ݜ(cB`HݺKjɉ[X]5}V"N3_A.GUp [}SpR6Qe,2U{Aׂ%G &@+?9V_ͳ\# COZ@8+8?&&2W&_xF3wpPFBt +`Erg'^% c7۱gYZ'Oގ77TfLm#l מo@5iކ&1-OGxo?_dn8kȞ =ggaͺ@Dptx[I3LBLge1yHV>䚨 N/G ',~MTiFiP'Xøpؔ@ZȌ"MKr0#DGb?oy2.vEը, |T9Eim9* 0@Enx<UOИ3huENҸEau$Q ۯ-||03@z"`v8a׭v#~ l)/ q #aRkv\RE[/x}&Pbƪ[j-sHHVsV916?ٱgYZ7zXZִF! ]ŗXiɟ@:h-Na[X瘐uIQ55(!3.oNtk_<aⓢO1"zƘUBً{$j}~p!֚HT,4Fn910Z0c^0/F6'q*&_̀p¬6hډjiis`X;/0-E*u=;>c!/6 -3gYZ7zXZִF! 7]ŗXi%BzTG#cЇ)G4h%6ETARSzRQl`/-۳ӑ # ̍-Jle0s&Ih]߇t5sb7p2:41Qѳ0fql3V,@I,̌I^E7Ot=: c \AIts`tJv6)$vxwu>D2&Zv]X?:o4\G`Bg]S't֪w βy~$bP!xt!FiVqȵQTƹm?:}^@`6Du;, 7D<9IƲ=AGe liݞ9V>tJ%.Mr #erte|}J0.]:Ƥ}P.!20Io' A@DGXw>u2bb*PYNú skυNΑ;Cs:"V~Pn*)AKi=M m7F!ހ dU(Y+kg_Wq/Y o&%˾DGI 律V̮]oSϠ =;BBw6Na*~O- !afv,sN]?>|΅%>No }(x ! D1@sp, Um`_R=j+X3#Dcjl\PBq\V^_xA=_yު, Ms `c!OuY&O]nImY|1Ul>+j|E TW%_qcF7c](P8k{SS_,_0ib4(U:=Ji`Ҙj֍pOVO(;/4w*vg%?TCCw,؛Wq9Q>ۀy!EY-MEJ>`vd3oʀދKf,3,쓋rNQ7'+"՝\j1ޒ㌋@K曙RULҼL&+{TXBW3b=ȅIrBY!syh*ڇ005 !z) )R"by" ;)Q&ˁR>gYZ75ae61407b1e73ddb14615487dd638939c19c07f96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 2e9ec065bea7bb68171e9ce3eca85966593c7c91 be6267361e089fce0e44a55994f23b423b755410 37f1ce925bf51770fd9cc724e410f1bf829bd70d 2f96c1499bb51806f260beb2634ea39479052856 35d658022adf56f2e5b0aa230f2c3e5896e8cdfd ecdbe425c03ac88bb1e9ff33e895676b71462322