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  #r\T ]/]HOL-Nominal:threads=6elapsed=7.247cpu=20.404gc=1.0247zXZִF! m]ŗXiɟH)0%oHfW!z#`o$N@ #]^Ytb?Ǻg1: 5tT4O`x5u}bo [BN<$pP( 6R+`HT{vM 3Ƨ CCmf @F>8ߔPTxRQ&Gu"o8ϿJzL j.ᵎ\ߖ0q61gh˜4z5_,Y=dWα~7s=np~m>]'jo@|uQDB݄Z6yCwĩ+JB(x<6h@8}rҘitTߤ칏'ԕ,("/0ϔTN q[iW!Ul=/GXT#4牯?s/ +SDiÿD 9V_uP((@SΑ.>jFRfQ!F5xMwf<\D;xl+Ӛ,V˺]4'hJؼSY< (Ŧ$!Ų04]9_z*kȺIx^pMG'?`oU91wup%QM,Ⰱͦ6ICx$Cx#6뛫I+l95%=X?IGɼ,uזn̤O?FHi<_t[Ս󮜚\RAsv6h.ɳmR<(&m]>HR9%38 # HOL-Nominal   \@s_ 6J$v_dR?{4^}h!CEb;&4$=2ÈxYG[L0 jr57_;ԨMjꃐ"RRsd1BYe3#G<$I ўQE *ȃ3*ag3&co(L˧ǕY@\N ' F؏`n/-P-| flM8l[dgi*9ve)ɘiE^:Qg/ZILYt O-WE̿ @; fidZ)~J >c?/H'ٮ\$kB)r\e~0iA5ѻgC* ~ڛS+g1}:3 TsjF?sX(Q)#QaQWgv瑄Y!KfVDYCWRhŤS8ij+P1ˬBBq lV=wcѿS"CCjpi<IѮ:f~Nfi{{%=ngoq̡oֽrOR7V֮]Dע>j +v՚ yvq젚Lg~U@N%t!_Z h|8 *:RٺybbPn`m9leds3ﭣcgP1+JYW`"څcyS`t)񭨤fd 4{Y*z;y;zML0kKlLCͨ^`dS${ OuێF:˽9ʄ>`>" @*' }A.ܩep4?Դ'Tǎ0lU7}*թb DEtCaoVSTD~z}yRy8dB=rUzr4o`iOu N)hN37(luYʞp3kqhEkӶ)BK\W( dzz&#\ {|{!;}|e{/=P+.54 Lp2!cOC ֡7y Ƈ)!p֊+Bϰ-[M@k6BIGI5tD(CwBԱEv{w',ʸ*XNKI"z娯B@s{˳GƙaCBot‰L| O cSG[HX˽0IiXT /Udт:דu//s1Q4pΘh Ekvuv́W襥Q.nfx"ޮE AݚRoj2٨KuB{091wo|4k[]29[&tZI1UDU;ZJF<݉WqQE:%& 򺞫vEaC`S tJ1;H(ۛj !.O*.]ᗎŲb󑣈u5ZM4Ut}2)"N ʫnSI$(Cq!Th(=Vj :{O{nO NSc}(%yvL,;^v?7j+ 'k *a ah}0]m!𦀲CH{/̹@}s$,dm'^3_ä`{O{{ m#l4p:|a(qpR 9%9 07sZAڎ08roڀ9.!3"MbRz4a85v+42wˤof1QV3plH nl^i-SSG Xܖ ӽM>#>! @[P>|tG^pRKفaߖSNeUͰ jD Qp'έ]dP_-֒@zSKΕ?_zu7yviE*5y#WX~{ ?~{F^(PP_/Խf>[3a2vYSEvr`D#ubAuA!,A`sys:I#D5Bzv3?2 *T9(OG;U>8r13I5L77"Oj [nZ>1㐠Z{]+?֛z8.znmnwjN-PkjIV)Z{HB&FO]t;M?jkbFjՑ1hfLz\dvxGLNC4wuZO9KG<N\<mc UdQKsC@8S9&hdp$VuA U!B0TkDJE^*]8yv;Fa 5نUa\PlgTv%ELɎs~ h2MOu6_jUGYS5Dkk*]dDd1ͳd*)'jґGy[VBlmyId>)I\:gdBQxL94Hy|Z% !Ucױt%ԞH *7A4sZi{*g:c{Km"ۍ Fۅ+uHXۊůhgG`s ģw;c*6x6R~|$| ج捊 .ώ;-)LddL=b\X ?@Պ[Uխ]EC ߽dW7l8AK풂+v.~s =0ti~b6 -Q !*rr^h9$ZyHVRhƛz@vRf3p:Qf *&?:0[`|xJmE9v:G&#e{iʫT=^@Y6Xl/D;hIH~by$A\x$b5; ژ0n9Rb"7kYWhfS8b0ͷ9PV}^-$#7Sctkt=D|C<F7r{[{Ak gi; /rPiuK$p -vwZUgmWDH>z-ԆᔑȞԼi_1u+lr2<{j@Iؠ\#4I9\ \U(QPY}i 2]QΞ}ިmi>)6{PJŔJrbPzn)^%)Ճ]E"F=Kp&0xvֵŧ<``{F\ue;HDr~& Ļq*ӹɓ;tGsV| cYz}]W.&,~GnBܘUX?ʿ:kWR+S^,".Է$˙]H(-SI-a2[q |VLj^%ΎJ|/dٍS!Z(˱ _x7t==:4%Dg=khP ~O _?ЎcK:#vQN+e?^#M1 K'++\̕кA{ '.; SiTZLa>!IL-ta!rXlŞ⥐pZŠ|0(>0\3$HK Qt"!P`hkL,i' 1M?{JA=(f0'’GQaF:u.g84uS|_u%>AKhO3^5"zsFs*|q.vvw€1#wBMosֳ̭_MitOQ(߮{)zJ`HZ+뫠B4)HF_"^ғO#{MHA6SqќN|&QxKA>t!(c+!yxdA{1wAnԓ#sxTgcwtv A |@dLa7>1-#c$zϤ%%I#7 (t J\q1I)"%-)F 9E)5EXt-ڏA =RYt): 3W5FFZl%WMy_jP@v};\<܇|}Kkum ֧Ee6YOrD6 ٝr&Jвh7q`#4yOa?Hj]q)wB"%GM9=)M{tVE`~{)(, 'J[RN%y0ܨ䝳J4V["%LlJKkb|mI hw$`\in.kEƐIAd;qeY}׺-:voN=<hIA#VO{('-u+ʧ|47V]6b(lɳٝP3(?F5zF5/wl$uIu+5K{g;:Q,c˗7pT4_*cq71 I|E&TY1ZICk{y!tPeϹԐr9-$ǚOiɷ xy&a:rPn.`rFYB6M ǢΗ4&KIR6D g$@ M/+_3H0}J2rĐʩܧ<0= Z*X n-@O !H1vB^] ^n=M)j0l<&~~|#Qώ3 'kPLOcEлGslNW|^5#\nٹ{>QuQfĸjVg p8ߞ;YL7] b|TM>f,]`wCI&aVry0 ^$]\eN:}UOuyz٢JP_ٶQx84Wy-ԟrW.=^%~鏸]!|WbW,f^Hp_6 PY6ʨG1,D~l8âOG}9!?TW>_||Ce%+P`+<͍"dBTvշrk 퐝dP*4r p*v:#f:<V)ʞ*>YULOv1ɝqtt 1pdsYcּ]{JuƲ*VY0<tY_Q[#2 3܁J =$>ƤTخ p?s&gRJG]ik&iH5t;\-jmpsq M~k$*d㼞%jI!i?,bp]ju -WSSsh>^fau/N'Bz`eu ,FK8s&=]f,x c~oX(kGK PFe  "n#bΟHdh=s'=Pe圡)p ?qllX(Lg>IR: .GwB#W;h0S;mGUF@0J7l!SN&6J} WIkF mz* ĝlY<nP×~Mݓ]uQ'̪y{2S(IbdJ_9UA5Wg&+ː((e.@_S4ns([ %1%Z@f[XOu j UO(wmKX3Zas̏rlȲ ~USs'rRG,ء.d9(c怩v}' z{YrnevyavqRK7*#B9\^ACM$~TK-PGco/$QT)WZy0S6Qz1y:YE:FVJ+H"+.sWHS"' SpηbfԿĥ{;g+MvhեS2e}8Z/~\Dz'5 p7%:forQJj<|("ʕQ9j9N̅ >ti[FwdǶ%a0 Qx'}N 55/3Kفrn Ìx<4G0S]p:$<=1Ҍ3j2tӛ-*AxAհ.O^[_Rd>SbV^1 W"_FS %c>.\Z@+3qOZTMgYA7_ַK4L+4bg7BJcƖR=`#4%ab:|RQGo+w".QHݢ $Od)V|>@Q3ni!`޻_/,t"_ uުmW7B^d>q%;. pmx\ uL6 k!66e!342TUN6Y 2+Cuy@螾7!OGW\w8Xe1Rk._d";᳒0̉뷤a.~$AF J%#$3pY!u%6u׺H$+8 C"?̳_dOV9O )ѐB A;t,)&T{~wԫw&]wP:,<9kNY 2PvQrWz7$Mooi?x5WF+s}RuewKQֿ(s 'L.5&\yk^Yޅ㼓bP̓2hYf6pQzb/ꝎAy2lq3UiU"t Q~ c cmIN#*wCkΆY "āv`e hs49nL Rrc|ASi/,.l5&R)J=|V`(e|]ΤEWԖ[{{cԼI63῅oĖB$ON2XK-Qznb9>PE>N<&Nw z"- wע[ )G?؇",RĔ(|pF8eg9&CxȐJY {s |zVXpI=I?6E[Hejk(WTb4+.nw+ KϮNٗ܃*jvw!Z^سp$l^dwex9hCZzJylQe>rF]`̬LzwsV nt09p%N0G1@'Ӷ sk5eCy@~4XۓOM-Bˏ >YGۗ NaG u:9Pp=軟W"a堥 xݒ lbqaܘqB镋#Ͼ)=N*PzΉ{q j#ϪIG8 NU fT>:u4V8]/h4> {S1p.~ugq<(2gbbQEi( 3;#VQQ!;ÅE쒥쿴8Zޅ :Z~q/K&2A19 Vy}'3·*W=]4wG.O r`ƸiOyC߹mT؈'ai=34,~bއ )(߆a]7^{G]3q|]͟ |s~HP,<3itVhpȸIz#whef98["ޚr`w40K4 g_jŀq'C|KJ + /,6sq,QT5Br nk"E::f<JG)H *kyPa*.-e(A3KhRF|Q||m,$D]!itnem{ /F+_BKTJ%F%4>AJl `("P[HDY+w<0嘡GQj"m=wBHܻS17Iskߘ*i0@2D#L;,ۿATx|rUMl>(‹ ˉ+E=_)[Bŀz]w6RvAH.EMvZX?yJxў9,Vެq?|Il7{= DlN\0xxKVU?rⅢԸu\F<o+e9.8Z'ڭoT89DߥŤJ'@P0cg5ZeZ* HٞyB_ ) G4=`x}Ҥ 8@a46sC'g& g[9w㭩5 bC0:[o&k=eVXdEH&{tW?ƪȵ{ڧoBO*5{;pکÇΈ@ 'c`sIFp7TZUKB;׾Cb$)S*zi]׶IoӀo𗇻!JUӶH%̇}2%jAW?|5 ^$0v8'+2GbmD_@б2o(wm [8 ]Aь]9N_ba.bo`Z;ONV,cE'epaޔ *gĸ"M7S8H eb{0,(&Զ#zk*Dl>*tч+{*xhKWܰtxfTZ,<4Tm 8 w+Y@fnK}:!;(GJn,๒thW#nI_֧,,o9JkTJ ʰwRU^-d\T&r^R{|9sseD!Pp#d_fZm,s|yalb*@J䇲9BYŗǁ.|ɉam[b~eUvjبPLA+cdfx^9aH69mn}\npܭR5(6 .^ہ 7WhLq|cMEY Ήv>gFɵMBб≑xW(Rt2Î^Cl\mߏI -OΤ`A՗5gga*]'7}xa#ڦE'xHe *BWrÏGeB)b؃ÚJ~кJ䋭|WZV&8эp)y^+).u ^'d.~:<ecs3pS gtWaDTP.NxuTQCAkCHV6Y\ &T/.=\ȿI}-ƒlb,Z,6f R;P̒%ڸaj)xm=g }o,GѽzK4ob:u0:8V,Ly(sn8tg9c<߄! D#nAE*YV@P{ѻB'"Mzƍ*C\~#OZ /2tj8%{HfS7& ls_MS<˘QSXw*mX ϿVՋX͝KB7M$@h5fJM +OdySTpZG^ەoG㔫eRd=>&ɶ4.}ӹsbV4m|'DP0DZ2R)O:5TigxHFroF`+iZi䪌bnĥHsN G(tFX6NIڥ:4 3q洄OqN&{ A&Z?V)nٺB'>V[eC>ykt@5F}I+F7O6 0gG$*4;9ER~L ҫpƐf񊦑@[SM]1nvҖ$r퐝<@ۥ ^D3Tka^̔Ӄ7?1'ԤsC m^`գj;T0Ueߞld5Ӣ!aM2Z9Hh{\kzs~ys&*5d% Z6O&VyynVh?Vql6lV}|R뺳 &ڊ&p1~h ԟ&{d`k|U3'UJUhAZ66N@4G\??1uh:an\ItKue9]<#o*wf 4STf\K`#=(J%0*!ؘX3D5WGWa.8OLhiQχ!WmnQ$z^J;+ap}o|3g5R A%v!F_WȘpëfK9<IGRQדRL#9h)x@HPiou47GwTq}h,#t'X?r8 Dz< y`*K"*nh?ڕiR %APF#!KZ3ȘG-PMb>hfC1 !vR_G*!!W GaGO/mπb{ݛeB]uBXe6x34 }xI0w󡩏apmhN +U5*E"q]umYT/1vG:ڦ~wDov-O4m^.+l MU\& ma]bB) ,-$x~ǵO9 $ y%km 7NzowA~πdž çpBlsxqUoΌtU58#"db$Ƅ&07{p7 i)qk(x/.#l{f D5eI`ZH%t [2*'w}u l1MbaL+c1WiBUXTiL튌[|g} ^5 %_,iQV4nqd fBvCM*c`*DօUE֕lcS)=zLŶYeZyH[" z`j/σHJ1uM,f\7Kn;:yBLj!L%-͈7nfYF%O*Dk"e"$p3SFHV)C_JpOԁ̆ByH> D[m/K(Vyg{qp=Y+Ug̈~ڼ\j|@M%h F"]\E]a`Lj2Q&w ME42$x$DokX\1̼㔎83O@ܣ,rp(f8ia`PIp dC$:D%d4<CjJ r-<^߯=eєיDH(wDpʿX) coՀSrGOeG]Ȭ/(!iIkU0~omyu AzEiKȧyP\O؍xуL7:o2wkvF ߾ :,?0XcufKLCB5}4Hh+%n357J8mOnxJ%Z81ow]Z){ӎaZt6#'g=˔ @S跣\mI :Q`Zܬ kAsA/$ q\e5?;A>d3&;yKF2(8~+=-']մ0 w׻ZN!+rjq)JvkZ}A_j4>H{ iP[/ݎg!tZNjr^*nsvТY S%9Dw5|ԀXWKP,:j=Nbv|n5K%e~Qegܜ*Y]3}u%J~_k[~437O&\QJV풡E5K :B۾#ܧ~ { t1 ]"vm͗*:fq}I #bSM%HDM1.y.KECm|=]&Y10EfG LT6e($>%`tJq)c}FmTZmYS F,ϙzzim[(Kt37 @U:alМ3^6ؿ=g ۦKW*IKxKI1{jTX})& dw]0[W}H*YTSo od^p_UO0 ?ƎKˊkcP.*ڲeThͰwsC<+WtVAo {@XI 7vTGbPը\d:o-8{m P/pТe |P.kw¹w$/{|WnpT _'Bs1m2j(KJ);MxDmݧ[9ݢa V~ }\QXMD rtK@̝t3x"l P6IPT BK(}(=z?vޝV KЄz`V!O$_ɛ*صSG8Vht\7i%pMneg[I̠x(ӶcZd;A/n3Q"\!ih5IGi!?0+dp0:[ߢD! A¾ M7 5^1[j?lZLԈlЦ<5ܿ4{H]<_Pƞ9( Z9-d|ulZº6=I2kՇ}{l9>0@c>:9 9?; + zujaiȱ_//={mZ+N.ǒ>S˻׈ax5Uփ>럡S0 ~F4Fh ق,!L*꠿H̶nܐGF5; N)վ}*Mx@I$gC2ddkxŞ]+Y+ M5[YGjދH@^%x&dDnw<i<@s#'k%U#SZ+nb7WbYh6˩#:++ϒG%P)^? ޸'M)!@O˕W[9SN#|> UfSe.\yL7t7jBkAuQ4@:/yk INo.1t {aӉޙ #x/,tӂ[{K~qڨ]W+$+z=pxbJ}Eܯzet{H~{* }$U,3fgִa(psYu'];$&8mT_~qT<.t:rl3%,ڵTG1zeeԢɖ ɵ ГZTO?wF?vJS{0$asRè7l;T25I!:+O?Ár:NBj@ ҵ;px vsyw k%fffR:>I`~1ihw.OXdJۘQ'?ƨk&*}k]Aݍ:W7'y?.q"|TVj,W4c%sơ -L2d_NSa;Y6O)}p#+U;u, w(:(D- zćq@Kktv-MsQF3[_#O -caӀS1wES A++S1Tы 4ߊaduz/,o.c/u-mmFD½@{'ըYD;VKcY^@zI{ubxKxPp,#|`+\ult__Wdv-YUdg# fhi (nƒXF&#ahIߒ5&^siǽO `|MѶ|Ĝ4aI;k<+(Rt[iZ):ZgW=ʶl [5QU-z!n>^Lj,么+qejYʭ)ʻ"`(\_Uz.5i ͔I(ᶠϕ\K}-u DÔZf3kд MGn>6Cc8ȯeRJI C3[йJOɢmAT ,n1k d^j i("a®%1s:3إԙ?DuIf*M5:o \R};Q KԼB ιͯl T3R,>kO`c|CGd PV1H7YWȭiԖ`:9AV4s59o\ڻ@E7AjY+ * f{Pi$a/ <hKz+fp+=E,)or8O"#uڞdCIsP@SԳ6Yp2"x_ a-&u7&tvؿ+68 eBz`D9LMR5w^l*46L"BXK"CTY0j (6xl%yYs{wRJ( s ~+n^Szp*?h H;?_+F/fT-FN<~?*k C*] .#So󵋮qz~9"-t0np$!}, sC.7WijIQh<9teX-+Wq1 Q7T؟/ќL$rFQhDM@vC-4J6*>E ^}ha6naz`.p>OR ٗ}{BlA->|:[~)m*/`ƒ jtjKuEpY ʽK$9I٩ëh& n~]u9}*W@:kƴRg-sw0M<e! S͋t 19 ?&C3nr `ÿB$)*SR; klܨRO!Bر;r6m͇wY1%j^` I yT~&~ &(' ӀlPgDibZ5uxa ӱo_l#4l/M$šeD2J/zof CFQ9< KI!K (!mvv8&1oC1g_3~A#4 ʖ;9&(\Ϥ) w~MApĎ0=,(rɉWwa>|@³Ԅ);=:OтODMz|poqwO *)39qv0* ?]{t~)#[|"z%q'F\ıb p&ChyS!80>o-Yl)\MtG_H`ɷf5zV^ZK}>sl#ˋfΧaV\@XŻZnjH TX Zo5Ip/ełI&pyQ ݵfU; 2*`&mxF4`px&l!D)^<%4ޕ*vZ0Oaf8ʋ <djItXnpz;%giZlWjKfB l oc@(݆.we1Nt6B k2QK\UkKNr?nm[VSL΢Xa 㓯2UdL&:i1GثdØo`vb18%P(70kHs׮ܟ( BȞOsDY]ڶ]r-bZGۚ+z&b"f r]kާX O%]G :<:US+7XlXbB3tn]'w*->۬QD@?.rݷ +ձ6 S,N^2yAxiƇ\8mkS]_'֥ cV nuac(|z޸RE(*PqUЇʬ$I梊{MdAB9~% Vq-FI!S(-1\Gmi7F]bS4x( 1ِ`r|+A&? Kf2TWa ?yryJ .^w!:Ed?8."{"5i G>ul^eqMk=)앯#d.Wm).B]0K~.Ȏ}u檌Qsd4ѵa pD]fg5b |1nT` `X Snu ꖷr=Lg0VUeoij ׯfA {:07XRZ~t-o;PιRcm+~{[mz&)xۡH<\yڤ@Ke l6d۷ew=<@Fb@}]$,v'APȞZG+Ig@VpFO8aj9#K.q-?!r$ב ~ W9| 囁.!)"LƆ+=Agb"jg)*ݟ"mf3dMecX( Asg]In K|I+. ;^O"9a(5.cUEK( uf,@o[W%7^a?`cXB!p:#Ӷb1b0 q:/3 Rx:աHCơ{`cJBoJixm ,细QzQ 9ǰQ}TTu\l]c7[覥P M+",!p_^C@~G{_3>TYZ"=A$dxA)-MVZ4GE]h:&s)i^]:DaxIH>@A@YT4|,h`jcrR|D!0;g CTIRs\/}oPv?ӆbg+kU!>k֡xAH+ߗw ^𲲢JπmܟLLըpy dK%K)3/TGKt2嗳IA]&4t5g84?F!7r6[DЋ\i#}˶:>G&nC;&9W $NP ah \{=᳴@6,S[3<o$|#J_K>L&m-;s6`z's sL_JPR/*Dh!a&}!ZP}#>(!ɍQq<ێrgc`(FE :LA9_p`_K85iۓؔ }aI2|ۊ;,(WҎ*[}TzCw)uX1rATR#wsэ% J[s.-RԆ&s?3Zs%mPr1uv/B5t[]egxϋHI]6"~PQlQEGy1$`1ŧJw y~id?N%/fZ{ )Oex |\!WUNT\qXC:/WMW'N?u׬j>};YmuZĂ9کO qj@JȜXC "T>A6u[W^g }W%%ШRAr>Ţl؝ϝd.$ A'/饺y>XÐkQyF=-J,b޸Ssd;A %~?B_|eMDl7[ oJ)^td-4Be/3Z1U+tm?%Hn >D x*+4ڟdPmB&oӄA V#@?wX `vgm䂟O/: 4+]/ǚmh gqZ 2=cbPh p7|HhJ`78bQ6bN݄(b$P`K&70/*dwSrrAv=Գ vZlxlb&'6$JV,>hsS\@o*&ZU݆"~]s D?Ű <v6&oըYfbtp(MI'̤A-MI^s'VÌvڄ[+'IhAt7&[`?N?P]~=^[Srw:|AJͩNtZEH`⢔2zZı:}Ydz^<|N,|JQZZ&[>}u5 5oEyEh㞄X5)"N39 4^K:^qfo=/IHϢ֮Di:tq8@ZV.NVc 3dY!CDNхosKxwq h',V/iW=Ch:]p $OY_l]cYQ%!V%y'A,fo[1is1)k?b&zPuH@=M8p+R#J.%  ?b_f uj\d5!*BhPXQk"^>P Fdc$a T'0Q.kjiwBhKUf&jh"Ş^ y`.D?uG it%r!rApm`eE<7(wtlw6'o4,(`vʩ8|&͠\FnVU%VZ!L0Jgr־UMP 8[zef(̟6.˩x"(_x(ױd9fzI2?x"HIvgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14؏*0|Bz,eA{_5!)d{'>jk.qz$qMykGMV+ 7QQwbW ױgYZ7zXZִF! "k]ŗXi%L&K)|`7# "tϺތ/"`ar&TvjhCFiit_8\=-''l&ZR_ {v@XF^~*,e|qs3z~Vs]bf~5Dx~gYZ2f6c43f61d4c56a23a5f06b506d68653f1a2fc8535a6500ee753652c800a7917e32731ca9b81ba08 09b9a8ab7b35d71c17424618f69192731fdaeecace721d3c4091d1cedcb43230d40329acf5c7d224