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  =$d ] HOL-Quickcheck_Benchmark:threads=6elapsed=277.268cpu=1340.496gc=54.308factor=4.837zXZִF!  ]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*KhY>p,w ;2QiOhsPD>*wF 7cf2~)'@tʠܟDŐ4;2eQ}y L@!uKo'ԝmtQվ6!$ɗƱ.;Ud\=KG`D-S+yy{XIoGN B67P]7(} _숺hh8⼡_x[-Fso77#?˄|B$?-M8_%U\qeaT`Qp3oDtA}>g7+МM[>XBq9բ/b׷J+]قm"h5DSήW1xO`\?̍+|I L~7.ӚzDԲS\Rrz,i bF,Ꝟ.[R0I<1WCjiN^j=q򝃬ۂlBigYZ7zXZִF! al]ŗXi%Jz*#:6Wc6loeN6 W"Ζ+|LĜD6 J1({p ,\J&1fm߬!o[-v$>vR'wMEC(g䐏z/ }Nv mD;h31Y/Y. ;!ۚJ{չrz8eԁ"˅"JFeߗj8̨BmQ~F lkVT@3{ hQ^@znexM00`?{>Ky=tVD8K@_U`#;^YFHmSrA@m`;{u =o7=y` KmoA鍬V=NݚK w!ƿZBPlhN-E\~Iמt4%~u4w\ݺ}~M^D0tS}/ |JsY%r"t\Dt~j U = HOL-Quickcheck_Benchmark  Jj/oʉp#'s dN:7jç?<~_9ȡ-PnCkWubn DƊJz/=`ʠKY51r9*<9vehm(u5V+/,Rn#ٗ]{qӉ`c8Ku6QFV -c fu} RnsE& m=b`|>ofw$ Ӳ}nƮ֛z !Gf=N;t; *iUcё~t)1DTM_tm1>?ar|cduƛW!W-`F @Q& |Rux:G.3t/[%F ؛j7>۩].MjûXz|U4ۨ;Z5*G@wŶ#^!g8<CÇ\d:q7D- ?r^Yę|j) B̌Tg82^7VQM} &ǗT?tmoԥEv[رWaMD}2ه[RX58%ҪQϣ} 6*4OVNJZb*#9Z# Kf{Q#wݦW+Z a fJ]t $Pf7t5 IJ-QT֥o&>i~?wDfP;J2r{B %qKHҠ'b}FWY80ll6%@C3˒O<ۘNё"l!麟=Rk$O5m![ryܺ~3FJ2$kE ڱ*Js)h[]6-9~p6 0vbJ˯MA{̂)m9= D]xb[v횈s%<}Q[ Xݽ>wa-ƙ;d[Fw&:'n࿞vIy{ǯz_e#qu5jeZ"0qӏNsR2㐎9&R y ܪ17yޔWͤ%]aЉhhoC!7qrsUPJ on $BK eC&$sHH"]R(qb' X DR]oJS6mvko95" : 2DCrQPW ) bϢ\ϫk<5@I0A[%}^s ?Q3R5Dқ*P&;,c|P3d鍬xg?G֙nyOmD R#iwc!Sj2DHa 5eB^Olq=o":QOMJ3W;,YUV*T+ ;&7<:lY2; ,c%XB`Ca`{{+1jEtȺ:-6*zJ+X*)2_\&6u,Qڟ}[v B'utg| uB/ûEust,AQ*ʁzdF-$?ȇVDV|u;C~{'T!k=)!=u˖nٰKt[B";iFpmBL%Pk#Z I 5dlZܵ -\]7VX5@~}#>I}Hcy)oIU7B"q<0_xJ,{~SSSMyn>x׭eІkuO~R5x)wpӁ4*FTᗛ׌ s{%~DO)>ҝδPH/AHY.R FMS!~E)sn]LS XBq=|? {(tˁ&6`|*8#b (esRZC*=5#ȨW*Z'c uWgkڴPcp =&vwGpُcD0Y'F48KsN%xîx V+ F^I@bF# 2M#9`bSsxRU P$>_vmh1'Dm-һ!g"'р j #M*4l}LmiFh( Hath\GD9y@΂ Qx^a{k2IAyUZݜp7e؊gě -‰}{;t zD8UF(inK) t)S%:,>aqɾ ֣Jў& OڠT0C&r,櫜]a{=ߓ€JyR%iyO\ V^#1);`4=}KilrOjmX+qԔ{)Y]f?)"@}.oedFQPG9y#0q)U=~Ta@(ܢwB*{V~-^kJIKHc}IV5h3cX7GμĶMؾG-q+5}Q2XNm?GTlʁ@Ty]Ԏ4 j P5̇tTFff&pΥ]0b{cR԰mu:YvB(HS ĭI f&nl{c:mh74bG2JǧZ;[Sri!>lݩSEʊ>8ٸs7yxmSQOhrWMcIqwclO˩y8wn7JXVq{@"chI&!H&}L¾պt?FvAdkW?]||^X4Ӗ)>%`R2{)_ưH[<@w*.+w5-RAK`E#;u,!Q8kV>qz`c0)Ɯ=V$"T7/W;;caHn Z/=c\y7ٵk'gYIly7Fh / S"ٯD^K.?Sxݕ0@qK|HKhnrO߃83Ya4yyLpOE1JXNE)yQ ?Y{hEle&jR7Ano`޴iTV4:{q?x把Qf% ucvjmln2x*,9J|Ws( XeO$܎EOh*{]oY$>WP8kIƖoD[L-chl*6y.4r+HAa1!Mib=gӤ ~,|NR#bdL9µ l8`v;AX*Ȗ 5@s9 {Im݈}&Z5EJw>pCʺq!"Ѹ^bB1l$rfƘ mQ(fY8-8Q>X9-#uUS@ٷ\ڀ%wlBFn^6 9^ȅi:z.ֆaq}=4fOAcY#Z(ZҎZac }z @І̥#c(w@"iURi6\"KY dpw^`ÁVˁnnYc4pR@v?I'a_"QE[`xG> !k;@;uo;G"I;Ad)!scHIJΩ=wT Vx.lHׅkkn:|D/ *Z6n3 C_Wy42םbf{~k(<2,Go7Q+嫒Z s(rӴR3=p,%޾~|aA*?cz4KWQ0?\f t;ŸCB2K~,B<Nw$Ĥ2reEScF/a9j#yc (8m4vqӿP*?'߶2%f&ru42Fm=#$\7n5mj_ФD D)ŒLj"UPV3_VUi( iFy95i* /m&Nz]noKƝU sK,P%<o ~Z4O/22^!u;GS3#׍w^)S H6GJ뮘'T=KlR'OߎJdl;cw[0Q a` 8TiSWLo=cd =FYt`?ӧA5m!qg{ٺ _|فnXT5s_rk oi0y QŔ7xP&Tw?}Qts.2V(~H'Qo*0D*J ߈B~cAMl_K}p3i'ʶ߸$ DOc. 0˅ܸlV=wnz/~ݩybgUd&~ANS۵.r~jÚ1takZ,$~=si0:-`k>JUO kq}Ïc"g6x Wפּ;Ahy ( N7 $g+VYc< "@l]#zVӺiB%Iby:bzp =v HP"8ËbbFOM`GP{K0a7n_y]o h T,HɢOFY!< Lp0\5V>C<̏ a$ 5|0S)3)˥*1[]<3f`Fɹ2qkmKSs8)ưV]p] 31' `EO`I`xӐآR,BZr)f\0δxVO/ W))8RcȀa!;q"ɝa/EQO ᦁ Ef$c(}l`ZEx:;ڠ5zjinX ņf †\ 6O09KkE 7b<8"b}|ËëUxNe5.SQ{Rc%aVh̸ۋ4ۍ:7f- 4'rKV\9!s-NG|60u8ieg  Ui!5TH1ӌDŽ8d2tTՉCV+g: c2Ue5WAECo$P=6|F([^,iw<;@:ApY,4$s?B !`6HqryT  xӽr=%@ͨ 0|ԕlOUy%R|#-9쏜B>J+Pi;r9`ȱ+|g^#Bob& vL:Us8#z`5AA X ljwdUpd|B6@H F8TsDo7 Mѳ׳>*2o?5g&QZQo 3=VR:`q4-w59n6V.zFMoZםs!} nsR 4rRDٍ:mN',$|)n-$8fW*ine0IV )%w>+ ݦݙkւRzj p"5|RTl;oyj4==_Q;=*5Qst y<E㖴!e pqK&n m|8ն.0 4ߣDAi;{hI0a bRҫF⮬Jx;mjYV IMEphx Rs0%`Wďc)jޝ/\æ^nI=EKWD<0v,_@T]_|/Nh>5qeގ.\] :J/bNW#d:c`CljLBOsE32䅕^_" OI|j1PwQ>D5/k8a?! 8"k[_mv'IM⭗JC斒cIt;? &Y0".9lJH "LIU(?Z͞'1E!*rOgy&#X>#b7lrW V7 (ҫ׻0;Y 1~k8PVQ8Py4WٚƝ}9q^JWy%8#C'TmDu;Y=ݾѡ%PV3#0FeIt8@^1cH*9lY?!N޷KEl,9{/?^]0 6(q>j:)g/QȇGZte,(iNJ}ɼ3ZUarTԝH=Zw*\um+rW ɾf$D4%Լ͊Q-ُC%k,g!#C6'Wg$Un' Ē$7xΔ;@V|7I5Xc4Ĝ4:mҫx1&d}J%Y5|" SJW >*&Ȣ".LhH3t{+4q{o;R2G?WW/1$aـa_ӫ60Ͼ7@EEu_< Ӈe#d{M  *="2LJ}آ&jG-]aso$8DAl U!2qsyt[{+f:tzxCǽP>mOnߴXj{UjZ{ r_d{aТh/k1v# CB y&H+y#>*%.Sވ\@cHϠyF2<.+ږ4d{w'H +nGwxc w3Y>@jJXԄH|H y:eןPxO߈+ћ7 ?ja}e˒G7~6cUb(Ϸ_UVx2r'.w*wڞvDG)14}}B6fBgu,|8&j3 NqI^0?#dArcyvq=*#U1%n䕓K ziwW?![̦k~s.1'෽?S$qa /㲌K 7ꮳD x%/-:*&la{O/^@4O\T͐$g8ؔO~F02bp"ʋy1nG}r|Si"QjM=9FF^0StB'wm|"lGht@V4QL2BNcMc$@,J]S}A%'DI^>ӻH`SÐQ շX(c|!Q݈3k54277~W s+'&fiEǚPĚ/ Eps4'(͏S$90rVw.2d?[BӟvKa7خ8?Wop}RC Oj(>79Źb%e#3 JYmJmm1 iPގ YaB&SeV"li_}seu bc޺ȁbWq,LNh, #>{p+EyI5O]V䣟}OL}&ccv[Tma>!xJwTj0%Z c)˰.dܐJVaL/eß :?q=z9¤]bu d 5^ RgޓĪliccʬ~6uBoI nkåz/淀S0A}{unr@vMR$C3]=;ɺLݧgIq|E=ݦk ȝrE6R "/64`._?y WlaE ii(zq}#A B)]W@t`*/09dmb#xo>IwHë4s63֪CnZӫ%KǛo)N6)4PTʜ*dpR1>1H3mf]J[Y;//y[ֱ#e9[}M ~Uw ϧq'嫄̮z:ќͰ3}vz{I "ڍ4[s?wXT?h0I |0xT* Z ^dgrM-`}2Af"0H_} aE >%8W̖eltGnS5&~vY&IVǁG}3 ecc,uDMf ~dfthrI荞^ Wv:3*Ң <"tﳛaU3U3'SwELO j3*O/ Ӎiea -O8[(nN`7P^?<ɓ~0HNbE}'4=u]5QqTׇWH [Mri4ezįIVX7rRT__՚?-åYWUZ}'wݠL,ReeMl6 qkqSpA&^4^r B8!?X*,P4 |{-fHv+擱Zi%ӎSQ0CUkRYcDŽ9Yv'^3Yw)oV#j_Wzn46]S'!9iһ)h?J_w/:-l!(Fr^vi(\C!i" 1wʕ^m;a#22^UmҎ.GI,R/%A+QHPBBfGlM6\җ$)xMط/KoxXy+gxKТpe>s LӗVݔ.&7o! ~Y%MXߛ ],_/`s7Vx'SxHeͫ.Y鱄2ԩ1нr+v/ItSљ/ji+{=f,=qQѸ 1p 7;Jb)3os[ѧ]`8{«:0/+?ܹ*Gi4y:qcUڊz=Ý]ts:(=_)p\fY2aiEý"ƴhZXԕMɺ4ڷhWT7S&|* RH{=ԥp(%Fv%?I֥H'bL\1,ii0L-a[9 tg0e6=֖ew'OkI&Y&ڿrGm|m7 ʸ9#v̨8⽮v3YdFcȐ.l`ډKJYOk# 'zn!t>ΫVSq7W2 ~QFGrj7['%ΤM`2(;`[S:ɗPԵnbX|Cطs5a;CC,*5}4Mʜ?ɨI`fƜ vGryb44 W; XB7u,!Q]֤ ƍ$:{vs}fȮ-$kbS/Y0>2ۦaqVey T/[j}KX~W}删̏b  ѣ\RlUyROڰڳ-C8wZ])5}Xa0o3vdiTt٠D?6ڒ|\p$mRT:m>ڰa|[d'oJw9b+PUc|TW/GgL.SI1CLQubƇM~< ?PjņHlkPK]䟘-/8ωZNjX=5hz7,̝,*}fa]rɜ(\Ҳ>3G!GzśWF3D+6`[I5`$]?ͯ$d&2 Β:՗p۫<$8xot2{+@ ɀNst S۰i_8ix7*_dШg GCbq;*Xx'3şvKr8 zֻרt٥eI.`[]- DM6r5ee͟7}*D[&k: sK.G3_ݢ-nՁYt=crkЂIoB)>9t~S$)RzrEwHb4 }m&n8&q>`r.eME=TqvZ3v 0TȦ "4Y\Es"7-aii5Vh!V<Ȧ ,GiFVyL_Ps۟cB?CߝثR c SNj< d?QLU> qDA &Cדr4ɾ@IӥNKDiY Fr:jKֳc9gX,e5E⼯4%Jv!-R@ؖ@Ҝ۟5h7b&!\5[8ѡA7PYp-qGHI19;cM^ycU z\uX~PEd-U:$Lz3lV7eXvEZ(1# O^5Gq?|⺵*^M5n AZC2e]G5I,B[g|  \'vT˜!?2]Y˩U ^9@ͨN+%5_!1܆9GҴ(rVPѡ\ɱIYElXvdΑ!AGU6ЃC?907hR!>s\B)<VC@[U#Z[}JA粳rmn]6n(C>aFiIqKG޽ ф15ÒH@ <Ƃ,2MNvv7?N7Jg!o ,3oD)W(ܭ;Q 4¤6 #ʸJ3|7BdA+ݯ 6E/I+&]۴AI0:S77]ٛh2g uVZ-) 0ElVHʖl:%k=dr=zH4 W ٤Q:?H!S 1 {Qσv:ur,)\AO\!}!OnDJb :԰<Ǥ׃blqA6H]alR#Oés?YfBr%$>{~Jc\P\5[vNO@ Fo<+<'H(TWx oFo?|{]_ O(hN<34Htz5)0[z܉v1=ҟOJ'׾(j[ag^hb4rE|g3%3\qO!Fwxm3YC[|Jz <)%`2 =P !-KQdSA z}um^#im Ri~dtZ1x=RLa!ehqW( 6A3T 5_zC{rə'$C㱣F@>2' c?+ *Q~g oF =(}I3Ʊufcs.Pʄ .ӖZ< @xW4\TO~=Ǩ+z#A3g'JwnhAVZ)n'@VT2qJRG?b$F3|%H]$4&&peom_Iz o6XOGZ?|ȶ{JfDxU)i,͇, 8k s7^6cLCrDiA^ /I-.|EXf /`37c ]xtO1ԭ1m~^ݽ{<.F1\g7(G}#3??sR u8Q6x <;(I k"ScIVr'9Q-h'`h#a˱~J]$3=9XtB#1K7;0·܎ڹ{F} vCr ^7MD5 ~4pTj\I)Sh5YO1z(K.N8\+BUs.=\ SNV>R_(ͷ5{u{eثp=s_7uI {}/,-';H2>M3[W}6gw^t0Ie7ha b;7 ѯW`ǂ)tMB9_$1yorA?ohm͎7eW;ҳ$AŘ䕃ngл=I BH!K۝JHՌXWݥq qr  JPxHqK (ӊ_ZӞ]6wvdYa`~vDSme}.BEGDn%2_xDh ookE$ܰjHN͢aLGI:1h]QH!MCZ@5R2wV R\<ʷL&ͤ-|.T+]k!8Fa-ʷsc=ʭHP"Y}6rjG ,%eaW$97:ayZxprk]1}%ɸܬYN}O_ PX%W,gy`@yk#p!@Ę*ڵ޷'z üm]UZyp2i¤u.#c0t*;mRW%'F6ֈ'a RGL' #.RB?)w]HG߸F2P>XZc۳7-O >B`<'.zwFyqy.*ogmU ge~jJÄ,'}GnLY1,|gf kHc2wڍ8B 4F'* 1$䘚nA67`8Q>-S{]g=ώ fVyZ٢s(]C${ReM 1v>c?3a/̒d~]B_N.|gl~X,Z܅:c Eƻg]Z82ޏ?g ^U?s ݃:6v!W2laxiY$d!(h[Q {!H& ,;b2K Eyy 5\wpJ|[:?NSrݹ&b_s#BhݛNT93@1PR<@xNG q҃gwx| ?첥5D(UF܃d>D9UBpDx mt}xD]]R!W)?3X䯜'F921(~;} sw+Zvb1eg(\($>*^!Ɲd`:ylFDTR}.8{֯.(8M(5D'6 h~Ӕ"K{rDUYx=o,ނK&NY)(#i廖vXᎦ*-ODn>}WMPR"FN#l]\gabZMX܎M($Ynwv3Bopznpe?`FAf81gq^=cHl=^<_І DK,dǝ)ѮqZcQx,F5A;jIX5bf}ah5{ɦl,ӝMH̬'mq'}:O7l%hEغi^ tvy(HW #JNG>K– !t%sШ1/ Q!?M ^\JVeLs7:)rDt[4`T'k9mmVj $c8Ï%G@"M3#-<)'Nf0Y Ξô 1_.%UTły'p5e]>teffl]zo] j6o^ pRf93;`}w";fU?fkM=ߛʉi.ab0)B/{yZ?H wjoJ@P}PD|]p S8+~ï aV|}Q`/ű?X 2L<jCH?e@c O8_UB@1=,s{&3di 2NOL3v~OXsoK}aQoVjOWn[M$t>pPDo1Vq%V9Z $3kؗnbSET«U{(ƌ3$qo9ZIjx ravphF۵6 vjWnٓR2w qB݇܇I!?R$k DM|<DŽAMk5J^VSA5]* CfŧXν{RrĆv.cځl2G?;M^3Um>Dpt,~ lŘWPuqN*$܀:qL$ : Z]E kB/ޣ?TwbE$GDٹ Ydj{_S3zu0(Ӥ^c) ^R,;A= Ph1]00ARyib-q JmKM[ڊ-> yy.Rֿ z\$?YD@A= Gn5 㺲^1`Z~Jnˬ:c?,CFHK+WIp:Uc(tK8Ix,#/߿3 J;$toeW{d&WW6Dmd !qZs8I /_`XCQx p Aӗ@Pb bȼW$KBdrm 9.?wJ(in@9:9Q O2Z`x>ɇ̰{?nH%W[ 3VW܄(a^JvO‰9b!x77r^XccķK.WfXIqE+ 5Uꔊdh_L;,Ln"AU:fӗ?"EO䱸#[tZl1 7nOlֹ(44GӅs)U8BPf %N h3zI{#.)LFG_`> H}oL3GCr@yLj*#$[0N?xr<jFʋG>d?]_)> ܓU^z'y,YрNb1PYq9jٕ0(&HAf#T7Ɵ}nۢ3YЩc2}?qmytU%v|7UPPvS=+g8z2`oF7SAew(9"c#+S?oJ+i-*[8)ApY,mJ$*A,fI6̪rJF|G 8jtC U E~S K8Syf0_o~FHj]W啍%>RoF?zP FݶŰ?ԙ\\BRy;R<2\P NLv&*$:j{CRa__[^L1Q|\Bd>6ݞ:Ko 05M)'\#ytjX'Ec?=AWTtnn@/`u1+o't/P9BC*$ɩתާ0/aqbVW>*4s΃ttIw$%ٗ# Eu '`CK1YkQ+]}ɕo Lk^ U-*/0'0f^J_k"٫/dz 8;<^r&='t, mcղp-*ᯕ-X:gԩ$>QZDZ"M$^`zca3rSFJ.5^z FWLf5g*8F\CJ6[ bdHEm& HS!TUjڔ^ b5E.&W.ϋsǀwšNW„pC| 6ִFb}[&.GbU4~ʫ;Qj*ze4, œ4=ΗK+HOB@١ifp$vdfUp ҝQәu2Uoz7zfq1赎K ק/]fzsa1f҆QK)(@eqxn U XF2utwo ΋X_q)D˺*7C.'M6bBi]YB* W|4e vMO_Q` <˗a׊!@72%mrɭyVTԁ23ϏntX+(D#Eƣv$0Q@%#Mo@ DsӦ59< oa_%3~$dm޼Ao~eX; 0t(6'S~ˉկ1Tfw]@6娞(yυVY̌ₜ9Ι-VF7a1һLaer!āK,aPCEJLzOZ/i$Rf&B'nꡀ F1`@ۢh#O1ݡ;uu{$7.)5[FUuF) WDUx2Ө?#d !\׀a壸e?DPMDobZSE5G^^lB0uNwL{ׇ ƳU"!ߘh5d#I1@d11_hw|3= IJ+?S*rCRX0 v zlKWutV_TaseD:7rom؈c@s{zzD#@͢j~Z?jV[N#=Qӈش}`qY-J͕' >&/GrJg,Oms]96hJ+5OU _>!~QQ-sIp#bR~( fk̰4'VA( S?*pOڔ \b̬$''beZIvMP(8Y'5 ȇ=m]N* nJfR9R`RJ-iX嘔 BX!HX ;B.ne.*@7ji=()@Hjm-=Ʋ1"?jx5ʨzeB( "54[M8X' ł*"{%̱_Α?]Z/!E.M ~tzXWStpĴa~ɚOhfrȅ8v " Egt *d.nh|^QITG0໩,wBt2)2r >qE֋}K4>kj|˜>:NfKwgڏ&Տl7ŁI#tJ.n"@.O*A[C?M-9ax0@i>0΁mI­F? >WW7 hٚY1BV^ IR$ sRP2QPGUIgkjfD`X)8L@ӸW9sT0p@R1d6ۍ=,y3r@¤+4s<8eMjaU%krEr2,9j/)^u:(ƨ[3T=..3'e).[ٲ"u-3{ j ^Ck.U05IrESs Agn@i}-1'AyIm֑^|_nhT>xBnPT,b- rEP hU*Q[7;kw+GꢭHRkC kq%´B<] }N3z)yt!en!7G0g%7Ap"ѷ}|̱^w;ͽDeUY)5eX͜Z1%Og¤4/wSba8mt+IVN8G d1t!=OzqÅ=lfc ?udݘ4{=7!, - P`_+NSن@&4kGf\q#i4Kz>@}1g|"`zAŇ|Ub̺ 8,m焴~ p@n&WY5B]Qju~tyB}D:9_2.Iaa0`۸V/=/G?eUr]عĘ7*5` ѢܶVNi= m"q}M,H|AobJS)Jalr+g%z8bwkŌWa^Ov ܨc{–2I Ŏc[9v!Iun 8FݱzC T7FOݿBD}:Wȏ[+\boX؋) `r"ɈjŰ19"c\7ՏKeBH%aߧN2C(B ,אNv]sghϐ~0f{tYE/WJk(_(VSUl-||x(r.V2ôKD3MvTށHr-4̧ZN2̗ W&oq7ޥ*2sYc&diM=!]99QgDKjdPmxmmHdwAYQ~¨CM=[3JAyΊM"Tiu9^ \%ْ#ᄢW /5CaLx.Sx{鴵 Fb'OBYwj!k+%ƈR@P@酆"@D0wcr$v6틳Rܓ4ޱgYZ5da7ca8ac5389e1e87165fef9bac000503747e67d1779d2ddc889cb6287b2680129b97571dba74da 6b61682130070f87aca58ebeac1f36c985eef21f 5d445d44ac3647af37c7d41288c3b5c2fb2fadc4