SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   ?5|4 ]S HOL-Nominal-Examples:threads=6elapsed=269.051cpu=1214.688gc=147.764factor=4.517zXZִF! Br)v]ŗXf1-q恈ބԍW_8FbѴ Ny#jx'|h0$q=h!UQ)57?cUѓ̖@?e 7-Q'mȼ2KQxnPCVZIEA [|GEˁ;.Rܔ4}_J/'R˓ãj|*_5Cb8'LOҦk18T *n+0XAۻ}XU!nkJԖ7?aj"r_ AEN@逰 tٮU iUp"̩<95OG>ǭJL ee[W}U)_cT떮p5}ؖI#n!Ň1KLʀCۜjϋЏ]AB[ֳsr0vR PQl̅,_AQPC1_lek3$qLwB&n(htN8ut~jH~Z[,x+jYj'0]#jˢg pto~. M6iTU5~ _Lɨ]!]~$  *}ҍB~"7JSFRXxú#H@3bBl٘6ߖjFoٮyŞkyZUa(@).WaB,KSZ%"= N4ol>YQ /e#ݹ'RE笇ZҪlƖ4[@'K3tFԎT |$ &'huSSJ5#  5 HOL-Nominal-Examples  @ܹp0HVf-5n:RG+ٛO֗9!(nHD;襤s231\I7!yT T5S !_؍N"(;[JP;(IoGP 3zk!y0H /Ww'HF_ʊHrr:zTKju$CjX9F{/oYQKV_ְs";sNy'(Dq^TgU :p]~ݒꀮIYdk 68} @T#Lq؁Am{^'|2 fǥ$ZZFjBS#@_\Af$-N\Gu5+f#fdH{\W'ܞz6gZB-AhV>-5heu08 vڤ79g^vslƻV=.ϝsY[СQv51Bfs>?\0 2 musi{DD/aDZnQ|!%̩Y?i1E(Y=c·Wgg6X|aGNщEAe+G{hS)|NlWgEv&PNQkj ian|M#Au9s?sm0A>/)ywǢ\$e:f(ÅLK'!2Ze 8•QzbN*Tv-&sUlG>ZxI`y6mԧHRu+7?%|y.ȱO K6傊!$kY!~Z]Cvkqۊ66OҞ]856>556@${XiKƐOIl\n-Vuvorf6~WWVQ˿ x+F  3~dI]pͱ<WR^D^#pJ ΊB k9Ǘ`AEl`u|(q%hdtj2:R|(d͐E&%&QwG I`b@6r'V%%JRį+8f\dҰ{;?#e-OzƲ4r@Ê[U% /& :JDk-1玉)lǡ/N{xUK"# 㝓 Iօt -+=ð_6MȧNy\ s\9P+7C8 /J-YK̵fۄXӈ( -O÷ʋ'ܞRs˸%vZGJjj,V[]5?ڒoWs5<{.)gϭ2g5)IA/gL(T OX=lk/A3UQ N_ś+cQu>\p^!UöjUB3 "ʷ }"Oqd"h  AW mm t/Néiロl\D|}A0ϸZ㩻޿UIqi;$$b؎\䢂);d1pݹ -Q_~mfBd!a}q= f4vª>h-lpt:F}{ {i f\([syk=zNwcVZM HљݪwstpJ' K#X YKc5st7, ZOf7GkjeE_򝹷ylH&jxYn<ݭB VJ$/FD3)|R|0iaiK] 1T &/>ǧ%_DfO|=WOkfSkJYG"XXk!X媶)r !hm*OIO*$_eqg/K!D? Q`'ڰ)cI=kGD1deyi5Rm,$q1 }Ʉ4 Ãi-i-S* "7I@.*ژLϮ=8~]IX5]L߰Ic]d=l+Ǻ 8 qz|UHSWs;w,͝|*|n:cXj ]ɇU)Jpw(i|) $z|& ^&Ƥ`F(n* iwT6mN`fkwDU!+R 0cSJ&iP&MӀz(kʆ $ہő})g3;9 5pߔ[+p!F5>UbT|)ʫ uΠW5pfTla'­ %- 6`94e,)Ѻ_ɠ,dSŦ6>u l&=dl.\ C.5n;C7 .Ei=UV7S09zG.Y\O|ǃ+y^@H4t f)KD/h-w'r'+0;qSEpz I3"*.兒r4S\!k/|-Pv72D i '8 ?g]=!{3!ddL=I5 dFvWvvOVp_':9;ɇ({RUmB =CrbJwͲhthc0Dqn9oXQNqWpV9̅Q$IxeQ  ;=0z6_هEMi P4C88ܛT ʁXcEQՒJQ 8lqǥŔch0ǽ}uMa|h!9v_P7E%Ni c#F;5 Zk/&+A IE@VT<{ү/mzp Ǚ_һw[Ƌ5 h| @3*Bܞ.s=Ro$8T~p|;L6 +Ӽ@Է?8}z'X˙|FgyKopp #F6xf2ĕOgqal[SyfZ~zf'it @9(Zx8IV9QDA,Zԏ7g㚿9Ə%\_bѬ KtE8  ㅟ݌j;ݖc^R~{O)iN&~+:>侇\meGrQY"|)a7ݐbD8.;D>D2nDB 1E8g1dQ\ 3f!HN`y˷r;:8qԃC7G!WDF G*uB^,P,@S3Ž -Aqͤr`zA*dvi/cÓ3&m[ {:-Dѱ#\t/K Ʀ޽\4soƳ?ϫ[h⯗c^afrh%fFY$i>O~B~(kǞpكeWdZ N{/R%nFb$8 ѣfVB)J=g9#v3;m6 /'d >fSAOFn9\p\s@ɶQE#òEP ;`A{~<|?H_-4cDؒR^"ٚ/KƋ|H {RW+v&Ts$D ?ZO%sG?ToQ9+ֺ Kn]KXѤ۬3aAZk=w7#+y/-)8| v c!SɆJۜ cs_aNA^ sgwA^I%/ ֵkkLD<8[&{ 4U_9 #`,F4p#܈Xf'*]gyg(+#Y|+DVW ȴQ & P'p` V0Qe W**OQb#*\R۪M9"B׈qRg"*RF b?8Ze]moA=PD=]_d IOgXChGKnmnuS 4JtsY=hPɢTXqֽRbYV:/0Tf_L^%oT 6ܯ(<ⱱ$Hrީ^"ܢs~[85^Qtbj: [ϜSAtke09aqR mF#>0R8Ζx'<`'H2yƝ2o=khوhf#o<ߒ[jR()}|xπfq:J jYS-8wKZN1is,WU)}mYKد5|q~m96[M0:f0"GX&tCZ :D J*{2LNk_a L昱 IBJL y\raO(,'U:lԭ% $7Ï,шZҎc^n2rx_ ա׬L^ ۼn':k%dp[/*URϯd]BT FﳓXylL|nOL*c=A^hu8ɢI)Mq9k2hW[8RvG]NjBDM5΋k T1l8#?J dg|/k8H,W 򔮽K<C1ѱ UAsS/ <(2V.N`.IhY~30TQ8dd8/x8K[5$2TL!x;PzwÇFmlXߞTΰ2C* -p=z7b?c%vmvBeۼ)8rR9s 3wG7#\V A莥,Lf!fgP}=:.|5~}0+8ļǢ~b@n.6?d6oCda=U m,Z04 `<6i['qLηަ"dW-KAU4i5[\.~rCV"Lg~ӞA7E`ʽF,P=f{{hkj WIͧWJ>ޭ:xBԆ` dB~۵'ЏY#/1Hb/M]9; _,$YX(@y[B Ůx^;]}X$Bx3e"ŀecm*qvݺ+BN#S uEPbM1ɇئeG,85pR8zՄW#>3y i/Fc+IfLR E_^x,,{-W;,ꉿ:s/iۗoS-uNß3)YYRc>BF wʔ줅s40\/LbhW,gVС09 #Ի>05܏i_ԁVeK`lI5_@y|cTCX|_e+?l"o衘rPvG K~_k$9Xu|a{כ3V 4{QSDefO+ZSdy_w6bw}{T2eKɭuW)'ۖm~HGFoP>qLK.yQ'}{(9e~! ' !JD\n -ds7ƑwC~ܦ#|դJZ>nVM?o<`mُĻzvq`׫(:n/auQ*3)K t,Fk; Z"SVBH[c7F 3^I:Lf8GlXF7!~R}DSH (Z+M0il eHtJ }S)3T//kD=}Ϡb ,/eerCe9kl^-\|T~hJ A*f=Vk',헚T:#S1}MArVꈻ.B4:YcB)4 tnЃK|hi +sc NYzLV攐ꁽ':0]|0}KhөSޱo!ɈcPC7wmpvX)]xPp'tpcNJr⻀~hMo* (d܉$&-r+W+ND/ۄ 8=WhڊUjBv4d`kybS geOgYZ7zXZִF! s]ŗXiɟ1ʹ l93攀Lx3 aNT^RU%"=TlF9GyB(&FvZ@Jgap} W@PGGK\PY,U ֳUM@]v^Gֵ X`:ܛ"%pML*7'N5#-^e}sy_U/@YrǕƿY6xn{-w'8NWq>̜ ؅9TV, y.n"GkgtKHY.{mQ`mՈ EQguyއT1i*:5 I#O5˹Nwy)τQ$-T"3M}42:Bl 'G4Ԥ%)wޣ15r4#N/c#!ӣE8/>{ C K; }*Π)^@KMIs͐gYZ7zXZִF! F9]ŗXi%>`Cgn3g`(OYd?} _7Yџca?G uK":Z7< xl6)}ppIWؗÆ>q^Cf)R,xeu<*T H\,RSAA/=+V˫)>_t`jJ2 x"aA7ΣND!\Ü$SFH=;s /:U!? VX_NF;`)B҆iq+Vawr8s :6ʸ/NrO &#> l/K25[T?Zua ʸu(.> R6~Vxϡe])Dr`K&լw8!h?px~|Tz,}EN r'?K8˨^$ ?7ǶS5c gSzbë!J<ؓJs!|nJMj!J=x䧈 ⧋ܹ{POzr 0?`6Wr,#)lMٛp>I0^kfOOmA='E% 1PytGG#cw? ֯F4(ir S3B1VXڏ?L2:%Y q&;b1٤2PȓT`R kzVgWU}A0lɺ0?˟C*ɮzs^;dn;(d\ͤ6Ӳ};|Qz"UKWe}qWDqVн"9:q$q? VNSW *Hʚq"SEl֐53ZK ZPt sheԮ H*q72RلJjKkfLfwpQxuȞjw\,!ыsr =ڈsǦzp!)Eg Q=NNy8,mX^..U.Y}AN-R`ˊQV)1Jx&DNՓa46Í-nVE8kz섣d1f5#Uz#gNW]vN/n(!Q?g$UƹU,_fKLl&މlrj5GϏF6ˮ ͽT%ͻKT:p 9(Z'MJPVNc9,_ 2FPS&I ɱpFO{U$ͫs63DKHfhQ F_Cb´ÃwEZuuPĈ* c3;Mڮکl'̭>O!@f%10nAIu+/ bdže/MK +&͋/ ^#8="b5S٣XP@x0a'd=&_sQ˺e!$s5ʽ*Efi^E6AjB.ji^U_k/-T^+I3.1گu/YSԖjҲz"ן7Z~@5f ^~b-O |@X:_eDo㽢9PܱC!O^i$.3*f2uAG|7dÊ-CMK#.r ],-b#` LTJnO}e(ŋxn{34|GrmG62yԦFHꮿ/%>I8mogYIO_9(W(vAMUOMz5]\ ے6$oQ$>+bB,Ѩ "0Pۅ{]}si.s$mGǜL-z$p&l(R~6ի&eҜ~@a MǯmDUEKiޓqޖ n\I].]@ApҚL:QQ9:*pLF,ݺ!"p PŪ߻X~Oz|ʚgrjyf}E=kt!o =UЕ8+c5wmXI]DTͲ~MK@DR3Di=v+M]/MFuKo枳C=bxڼz(_?PM2biLEO9ؽk)!356rF гFpk yr0,?cDDL}iޤujݫ"~6wL1AvS l;Gy"׬_Oa>vA`/dFoSH@r R"&B#d)ٹ 0*Jabtzq37.Dcd -6 bWwfEiE'L Mq^h"B ƸE~Q+/ۆqo$ mAhљ+6}Q0&F$%[˷^,7X?]qyd 7`YX&DQљD~wr7TB 4j ZG-W9񱮯n̄ќ-вЕ~DSH-r}D3RעcXNbbiuRpvg.,H-LY1I;afU7V/c2|~f y\nY=F]_@<^|^~#Kg],w.DoPKgu\[ۓZeOzùwzb~51f ֏ڙ b8*O#f)1'`^3rVf TP٠(Ct|8 -bmVS '}16W㇛@;b#}Լ>Wy6q` TH22rXK:{aH9kk~*3{̈DxӇU~YPt2ₗ_}XJxBx5Hfo,fp~Bz g znؘ_^4HNpB2o &\IEaa|8~~O7zχ#ak#$E< Yh5WjưBjpTgR+s1t0 ]ۋy#kCwue6>sA1m+Ƞq#q9-HTV< "&Uuth'z '4ІYrhGaU :b6}p쒡p1{'j m`h4]1ťj|Z?.?gںZ6t g%,h(|gvqv wdxx:]ˣDO.8H.ڠ_D'Ty]Ч]ijk7奊qTu7_0ȭ,Kʨ#-sN;ߺ$7bȸ[ط!6-; lIOծ+@ZGT̈́a6MDV%bRs!.pi]H[LEʸ.#B>2w,Pcܑ̲ܽ`c?`H#'+x?whIG !o gQ0[V5^,6dpZ> k=t<\dXx`dXmuXpsF,/*_C6ge^uߛ ?eWkФ 氳&bFF0EԺ&p uȏTZ_Bu9霷cKTyR!$HQߨaA`CBD:r%"fBldHt~i M4|njnރ" l8z"SșG&s2W"^R@UG&|yu] U۵騬j1hrPDWk bzuŵ< gbe'`ߒ#F4G~4nfwpzDu"6MaN"xV#>Ac?;|ʰ6JBU$:2HT.$S_A0xZި'\ w:5WI餵bnх.)1e,2XlI5u\@TK[@ ̚p򎒎0;A-q0r}o {&ΣH+qp7̈́t j>WrgW7r 4,[u^7ʣ{1/*k'fjlb)=/vBu!bkO r_hWҒP+f#!׮KHC]+B0\$6H4 &pY'ǜ2Se062D%Ÿ,c'J4fj\61<"W8bőLFhOOջ`.,;ްmPPnbwa\qD2mӃt݄r*OJ'TN!b\`vR#ѕNn/Ux@u9as,>MnV+*9L̳S+Fd;fԸMaBwM+O`ҟ@厷HQp JHylsG z:0꿸VZ\ykW_ s!BJ .[{oq3SiFw(Мalv2ي_!罙3` <,li@+fAaf#;\3>N m(^ *ȼQEq@H^͎@NH\_N4p _ӞqVTsLLUׅ-dZlIn ta@q@7oɊZc;MR7<Ɉ|~a=ӽ-FkZ7O^J@~GЋ8?\=sK},U*9jey+d%Eƾd]zuUê Ppd?kǮA ݟt ӂ eJ:͉]E|R.vW=Lj3?q;kJ$1^qn{@^:bF]Y3đj)a{($:fj/,d<-n7:,b^qv<{ln!p9`}S6Ҹ;~9D)q),Tvwz ro)n.lW˺BCp{ 𤤠)ilYj} ff{x1TT0Ne;EJHbLv |?]E J.uh~2N~FLܩ2r`Vqβ$ۊVħ=S7XcS6aIaUC Btc8'׏u(iqjէU-TZ[_C,dײ>R(aA[t]ީ!9WKu 4jpaD řEQ5)q*KI(5,vfG/AV1z=0%}wq:p~ sX/#@fNn@LunLI@9-m)@ T'v3K>$(fF(r$/H'T BS<+5z *5 Mcql.ژ4ޓ]408MAJ /66Zl {Uc;i1s􀗰\3T;C &E)k|Iլy)Rl*D3;KB<H9@.B[Daϓl)=T@A)5{lE3kf*D~`quX$ak񨕭 ̊Tf$E̢˓S"2@ٲn*0+11nE|V߬HBe;g4ȹ%٧@U/K<vCt̋r);a2Y\!D1 t>`qkT\x}Dyad1,Dn:GH= wn@WNT>d:~\t`4ٙͪ]YPR o!՟g}]sӗ`yoƤv[Qy={oB3gޏ?r_=q߄fU hB'XTpmq'43*]#ҡ:J.R6(8h,hyz?s,zHW~GކBs/ʡGnp6/M"BG؆Z0G%/C[H8d=6pJ@[VZ#E9pA"M1Z36d }F j5v6<üK\f9 Ieߎf4g7jJR6cF5Xw7RrQLw+" 1/:)I' :  |jOSIT*Sf,ݶmR}:BM:P(|h> ){QƦL_81=gM)IZ;h݌tِ06uRlnҵ!8-+7׳&m D7+BD#խX\SoՑ#w@YYhyA*&oE/k<1S %Qtɶ&ωیiR3pvkbAs(gC//f)De6:[~3ԍAyM#Y@t=@N%N D>Mlx&:Qn[Q|^Qi"\++pwZ粼.i(8+>VTpQ?p^Ir??^?:k5Tׂ[; #bL\dcA6㨻TPM̫n *H~auq(μInx2*u$+Q+]Z Z⺔8~ND.H\&_I>(QٔDpQtCEj3F>Gd6QD2xp50/8˘ ^Q|7NI 4ӛxEI"Ξ1VQaH}o`\._CzERSm129s:c#-ٗWR߆o&[.$I$* Kxbe}YNlwWɘzmZ"9nɖ`!96qn V*bYAh W-:Wpaq~D9gT.edp3x`Kуg+BBdO(Rs^b0f]oqo(2B'Ll`6nEBg=?STXmT6@աwR9=E/-pe{_!ƀ1GD|;1Mp7{23PV$d[.U$ .:76GUSob;\&¹@IgF;ӱG[԰>+5:5DŽ#U|̝ٶUoLAN6;9ӜQu|X@m%VlbaY$ 6 VC<07, )w9q-ɖ'FQգf-2qj;5Qq}n0`6`'6i"=12HCvW@0"Yl,~EZ +[4ujaVws5<~V$-ե,M[xE!pТ Ӆ!-Kx!Y%EmP"Hc q?LF%gEUC6K*,FU. 7t-(݁P9ơ2-,(5oc6o gޔ\29deTJn$t y tUDapy`\d8w8jkmQ6xCۀo&6[X¡6/Kj:WژTNP2B4$vLhM]˼&[./fK?^+S`AKnBLr[D8?n;m\/ D␼BvM7|_)^r jH`!W})-YC\Gi9,%#Hpg謄n8*HK<+EsDž9_>Ɖc^R+ڊx#īH'z&81Ö́I  HvUĤ>';X3P]d γvpJj3f>Cbĝ7+&m [hKe魀3Jy  x =EqQ+;T"S}NjPwDŽc=zMm_{CIxPJ\-ֹ3Z s ه[Sڶ5/rF';`eR9'הJH[vNr` NUqE%0_"2 uHY>"[U q$ HPÈ n@XweJB[(J4M*IC FV{AlY&š=:$GL >PJz߆~|#k[gPtʱe|JĠCNv^5 6w5}^H)&ٖ͗}t0"^-u{!988|S/6!%eQӜi[(&!hZiӯ$ςXWly/}QW#"c`3ؑ% p1+8' kTQhyYʷO"Im >a?IxXL.`^!K|&vp?6o##2E`G(}"&52ĎD8=P0͙,d̉9ѯVJYY6,'=>4+_ Ƈq)ņfs"X`sm{@jPiUӑ"e4#(;e:Ύ`֛R’ @ "dD⡐Q|Zac7{5{*|Z_p6,/Ӡ9︿\wwkH:D̄O% V 7\ g2OW \' O`A ^́N>8C[kTc.6'?<ќ[UI= f?=Ğ^u)h Xi%gl'!>Rhpf `SJd3c,T}Ӵ` n;Lb`V_Kw8/oѺJ#A+g ?(Av۶}8 R]XMMѻՒ@/Oz7o:v?sqP}(:?xQhźy,uޖ3o覓"VpV!|wz+1I_աusgp/6J&>iEhQsk 3G欛B [3h(Ku!mh?GblNB}<ĘٻrZoMM[8iCYPMQ}X4 Z_\P&xt Ŋ xGWH}L!mߐ7zɛPNJĬG>uSy(4.N*2E1]7Q;_u9ˊɒDڛs"5"/^.$/& W704)׸Y5=g>R8)H S_%GC!{($(3 ~2> 0]BqbS]/Ix<`Z G6lsʙX{(hғ' 1ΫSb/۩)C1k5qy8[DfkwAEvxH-oޓC2PEn!ydƇJ+`Pʝ}@l؎h%hXud~|EfSXWK. 3c@=J1zDE|xMRm$K5@Y H yX.% ȴ8J}0r4_ ڏ:x3nE ؏k"i5@i#|ۂ½U?9K`GRƸ Sp7d,J.ۉudrJ9uXsXl4kl4i0TBG.G5?l|@wSJb476~X[e`- W#9~^ʇ>5~ݍj7Z`N,*Ƹp ?7soy{Mc1CE]RYYdӬCOΨ|Ho qZm}G$KIG);UB;Ŷ" ߩP$1䲑 熛P^ҠӦ K`k99UUad%%]7meס\cJ:7)R: /e=En.~⬬.9z=갻5rl@q0:1; D/߀EX=Jw![{Y#cGq\E+k16,{+V]MrCUYs-Vowp%Iʙ;;mۊ}wSw%VNW߫Xΐ+YݩmPH<DWR n;>]C*4ucZ 6!(g 4e";LjJH!igA&R[SK@,Q0-aP8}Jp7UZXt &\X(e00V*|l~kۖOa쩹9U{ %d(*2ٗD)eG~fe D]G2KԹdØX@C-@:TJ{_B:[+Þhԕ[et LMt 2S9ya2:Oִqx:)hn2h,%~Z x:ŀWB[X6m@O\gpz)5Y,l=Ejˉ}|TYa뇲$ahܿ^ijdbUoF5#v cnx<~d!tE?ucaS1[^)Ԓ>up 9yX^-|}$P\}0HM[Sj/ "%R{lS[`^E(0Gƶc^zJR~K"PIq5U] %?1lA9BRl M=*tk:3ylY[mބNI87h6,+c{>=_TX>٧Λ5a Kƺw'DŘ@3clr4jh=# af9:eգ>.. ϓ<&( ɎG8s3VU6O0_9܊.O IMt.EG7w阸[k>T_jlДJ-F0轲_x\jN5 `(p;FpxSjpl)˻Y: ;٦ +N7mQ,p)&Sp{{zٳ P\#)v)?oTGQOJll d켳SfL^M }:]iNo^%3SHO`Yy} [ 2bgC 9Y}涺0,x[K,%Rb<09HBS!Ox+7;1Žy$U o5x?U>&| VN^sb6#ӽ=B XP0#Nj~1F |r0=׼X[{xGB?7(DRQT_Rb!ٔ)pL+ ]&|AX>L_1;qHEV6#8k|ŸI'dq!QD9Ph-y"9@? n#^&ݣ聖jR;!~P%}{+B;xb0ʤE:Q鏉_jC":ܸ1e?7]N?6pI(ҹ(6f|i?H`wWALZ3A%W|"O."\٫h &@eܟeiuj-B *F$B).O*3k^aɃ&eؔľyT*;KC$!  U>E'"bLZ@Ip~_|ȿzH̪d &)OͤnW{` !޾@!#M)-XzpnXo$ڔ껆(@;c Axb^aQx?H;U՜-'iG~.U} m칐 vЗųh6H lvm/L"n?Qo֯md_@*zMAj&k_򦚗}KB.yy2H/rGlMv sؗ%E9:[qV-p!+6Z`j@|[#d&کbhe qQI~JOL&4)}x(,BcPkVx!nHx(aaBBg(9 csIO\?Wj5_{kh'HJ`Q D~\.ljr$d4hB^>HՌy>vgYZcd60ee437e8d772deccb586f2e0944cc2c24c66ff6e8c467571f6b6fd723f058bfc31d74652304b2 db42b5600cfea4bc64c4d86c908b1b90546d9cd6 336d3bc6cb0ded842777b10b0e56e325079a5a58 07f3b2d5e0c4437c7eed3fd5b7c6010ce3e867d7