SQLite format 3@ .C  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 z9~|<\ ] HOL-Datatype_Benchmark:threads=6elapsed=482.193cpu=1960.104gc=721.5527zXZִF! 4x]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;z_ qIFV^vύFM~XE\.CM!Gݭi iҔʑչTw)ԊqsVaC-ŋ4qN"B)CLՁ99%2_ Hzgpri `ini6G^4r D pi+~ ]nAV^0o3pa4bWyI㽵9t>%6F~((bԿTv|rkJ= 9 HOL-Datatype_Benchmark P9I5 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.tex7zXZִF! '>]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(58W1M~Vu {> /Т +3$?eP>)m;u1K3m֋uU7^Ҽ{h࿑$ڒƪ[l1P&F[)c_u:HW\HRzB!m3[dCNϋZrɧޔިz:D>^Ql+8|=3]:51qmT695ŝnb-2faߺYFDn\lDQQ0,AvӅn;8۷D9[lixcX9oRʖim V)j2z* אu*J<|Qx`G%R>UCy~4^$dD:"$G;޴ M!5ud?~۟(SoUfSox WbW[ef*-pF{2n~sdYcik5?_!ӝdbd_H-3q rV/ $b$qL9G3HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.texP9K7HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.texM9G5HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.htmlQ9K9HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.htmlN9I5HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.texN9I7 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.html  `P9I5 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.tex7zXZִF! '>]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(58W1M~Vu {> /Т +3$?eP>)m;u1K3m֋uU7^Ҽ{h࿑$ڒƪ[l1P&F[)c_u:HW\HRzB!m3[dCNϋZrɧޔިz:D>^Ql+8|=3]:51qmT695ŝnb-2faߺYFDn\lDQQ0,AvӅn;8۷D9[lixcX9oRʖim V)j2z* אu*J<|Qx`G%R>UCy~4^$dD:"$G;޴ M!5ud?~۟(SoUfSox WbW[ef*-pF{2n~sdYcik5?_!ӝdbd_H-3q rV/gYZ ff9K9 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.html7zXZִF! eN]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*wvE{ϝ\6H@UjMD%UFJXDIՉO7&~4y9W 9L;G gđY.SᎫsMA0.nhSY 2ʓH c^h^CD Xx0F11R:ULnQW4 eHrm̲ۡ Jڲ9 LڎQj(gě2Vu;TfwO=PUL?v^Fw S2DEBBAZœo\h M02cei Y7{N]h9۫|zc2&>_ ~xµJhSx0 TqC2nlS2k}z?ɖ*IGb,tChMh(KWi1J2h_-ZJװݧci>_~@gic6"~EzSEe_lj;kry͚Ywd0_GzrqR]j"KѯztKuv+)hdP) %jٶlH~<}]_y1=iMQ+NgE:tW1{џ!{v(Oᨩ&3LS-!buٲ Q v:G6MQɫ(TVyq+}B8,~Zv$Jh: tp3w9Q]<lh)NEy姸V#BCKY 3z$)5 qۓ+8-e}$vhr]J=z,ygƃu|l? hm &PIi@J}bIzRsk4ZEBhs[52.m1&Ǿ^W!!Z1 C JhѸNu[nI}p(?m'۝#}EzN J Ԫu"/<ݻ2o`Y@|+ fr,RFD4hLfoݐkƑ$^X[ĐYbڊZAҰΉ$p:IE}Sni{Flhi; qx wyέ8QwǂɦdR" a~m겹[^jAK]Vo~Ӽ1Et#T.D5My f_"$=2x{h cܤ }\6ӭ@#yHD&K9v~ޤYs>,J'S{vG%*+̕!8z X*Ԭ8 R )L= 33;4H-ezd' ;|-A#~@Yk`RfL!Wvv-rj{B`3eA٭~>IڇXSi= ^%CrnMbl:m@sJK[2g aL9>xĐ$J1vҎLACPqJ yR;I-QF6SB{0G -uJQ޻9??RG+*O`:r kk'UBLgH*M #zAumti1>Oކd:Smɔ=o)vln;~zƠ!P a{H>#6ݍ"s[ &SLCh? B̘?&ApXZJ%9JA5=vtVeoc3&jK^D$ꩢ Dͯx!/(AP3rVr 浗}g6 i@5G8f҆q,WJL*~^K2wv[pJVB{!RͰBwvNöH4ㆦ287c>V0KHJ4((b;:UT"ПUE_LUR'w^ue!{Atױ\µh}ܧTMĪ>beUyRџzKUȗ%ijhᢜ-+J͍2Gb㵩Fg"Re&dաPFAhwBPk+*wO`ޯ#v4TPQBolR2ه4a&4*3/*rȁ6%@'-;:*6Dr; Оs:;qm}*"׊%n X|]!Nx)~| T"=z`'Vz~ ZbGK4cg\o8hDtvFDN[Qe)S5d`hLݗ`v2 $;Uo֊JxPQ5r%`:2,ѕ7F]g6$"^шATBNJuU `wIGxedoIjx[VT^erGBA]|>ۊlȵ0;`((Yz;;R?Sj5Wd]ѨAbl A΄<<]+iqHB{GJD!2eS?oC!YⰹS-xWS b!ciV,@9O =B:_jMrV hgD U<%=w𿰴U {4iMD:)՞Toʕz=RiL¾Svlj|:,|hB]Ve:XOA0d|6dDMb>@n }9J)Pדn rgYZʪxҺ]:dK9U2ZdDEзӹ~!I. "Z"qjn6օ'17,*<a¾KQG)#2f3Z "Ͼ˜w(E- ;XR)|q/#0vE8F>WC_ZʗElQ&2~1toQ{(͗בKfU; n ΧNK Fsl}l"l\{2 osJ3ueia4YC<|q&çT=Oz6q0}TE .c"l_ kMNDkZQeƌȌ R)$0$oL`f,n]/p; 4bac [{WbL;Xfڐ#\|uګS^㩱)dۻoh*8E=΢dX%=k$g[aX=:3VK*ߢ=ЕO`BžDztLmTh&ۧͩ)x %[\uMhHz3+XbnFt8@3.)dq{K% )\Cd%j@Yq{ꁓhBIV c(/^b%#+/O}@d-*_܅ XzXD'~@9wy,f[Gޝ' Vkм/}榝0M-T0Q$%R Byk3)=g}y·agy|NS vvg0krZ0.+:6~0"@i%Gy'>󆬝)K8$KۗFu͝)ZTܼ~{@|͜1#[IO֚ kv}V]nf/ʌu=B7ks$bZC k$)I<FI5UX2qRT <>Կ%$TAߏq0ymc.Sp28Z\w _eLӆ(%(5!0x!147%q'!7V.G֫s)I|QVAՂ~}'pGBM夨> ߁rrRw<~(WLjZ/pd,z:spkS~-ڇ uܒ33_VM[H3(xh-/8{’=Qgp.Q ? :!N&uG`˘R)ͧtE(wi{/)qjv 9Q`JIuը+AW0n`SKg-nb٘@K6ؽ"L݌u5Է=ǟXo8P'+/6ɍᔰ,1Aۣ#SM,XGUs#;~Iƹha5}M)5pQ }Z"E[I6"wP5Ǚ +aO0 ɽ2Y8nURv1zۑD.76ʼ4-MBQ2|]sA.T|ŕbdbD|E?]䕐TyR2gS}>@MI uO!lfdT0)?]G3[Ig]z_F`1nnp352~VaO%Ay0j_Q*mRGGK Msߵ#KhJȅ5wNY<Y/=% 5daroYoJ9eoW.3q00GDe\s@g;=WF#ɲW3.aI>X/ɺs0G)/fփv7?0K8<9HOpg$[t-"Y=5Ґ wsf;.H1`ӢEGŀjF/] ^kx)8u3OH=yP9 ߽%27nE[ }g!i-Wa~{@|Y%,¯9@+'Y!v. | 3"thCj(Ԃ٠ }wW@F}f <%G{8i>!!3D,?fr)Y|E^;zZho` coa2O & S:{\zf&VnH %Ք-t5v^X i"`2kyR5^bÒy+&7+ڞ7p0v!}зaW`_ܯ45Rdf@,5Q4+D S}\KvU'2x_ 7#˞ZN[|P_DrWG;A7g>u |P}ď50ۯS&~٭WVH\y ľRm8\%$`گ-;2!д/wSIGpゟZ8$p wP.$ZxvGI/SN*҇kMnavǞ$M/(XY'HB\ziix=r9OGvZܓ]Bԗ+}>lF\jRaX{wf&w?l 0aW!utqz?w!BP oZChZBIly5tbჱ68GGRXes$k2@ >t~ml9=/AsRde,nj2RDف0)W0=%bVO{17(3f6C5s\׭O } z )NdjP/LNZUAʇs©Q oW8Ś;OVB7V9-0XNUc#`xm- S2Ek-n-i}.]6#;NHtXy8yK=t=o^N_!zˌ^i^/T\!3}Dϣc@'og] A(ϓ'!r6a1+g2۹j m ;?@D!Dą[n0|=-7-zOZѓ$G Yj (+2Qj$z1  tqgMrrĚY5 .3OJ.2{k`5p@s!.3Boc<99SHw bP#3Pm\ٍq b3Ar@ ؕ[b2=/2%ADYG޼~z;y[w~Qob:@) zg(}^ Bm]ђS^_oԾewTcm*`HqMX'ۇ,?`e X5yr2 =? N֜;4{ڗWa0GMDy:g`Bz Yω{> s0ɰl<+Pso $y0՜Kxʸ8'KٷgYZ \ 5\N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)%SpBc?`ߴinO Y֑!wetnDeVn!6ka>rɦ"-H4'cEa]/_w#,Ft#s$e E%xJqY#֔۠e0I2roI%%#7/ŵG#e(_:Y.faԔ. 5怄 i2U0,ҩ'.}H8pYO A.!uϡ"HA 4]ǰY[TNP֤JGcL< fvYr'0K6%0 r3Lp1Dbm:Oand5'}`sqhY-8 ʪWz?uN-fegAȚEĊgL6܂4d~Å!k6>yȄQ5ߟk!%yzUD&rT _wJƪ2.5wE˵+ &;:Ki3gC9dm.(;B&<އaH"P,~8dݙL|8RX宕#ZTP8%+&uzwLաv)<:{pB0 DH;^ yPe |ֺnf|!CK!?-H;Iיhw3+I@Աa^oltO0iXX4"݄떖+{t0잙1*0oK1~J،oMkfv1_[{ĬӬW~:QMThO(x͆UaMe9uZ02c6j*@${w.Dam-%䊿x!R{x+u3ҮmQ;˚‚9Ǽ`iAJ?~Ԝ̂g"tB~z s~S1VD|dX&X'5f@5"*p#[,Z )3XWs^Z37^a+nlRVT'tЃ~3A66]+D0;&4ߋH JnvKO5"-I/2brҍ3hC+]Dr7@~uMf% 6eRp /un^1i"TZsCfؗ+Ø sYBZ<f!k(^,LuzcYb`}w /p:`a%(et[`  l^Eg,C$̅*͈S2?lYR-Ɨ !oC :Z$+YE!p41›>zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ @,o>ȼ5q*G}(N.☋9Z5V1?{罏g9ìC@~bF;17f#$rUIQuKZdS|fCڞ+#ƶK i3^ͧ;uB3,]z1୪ nYL@:Z#SVyf ##]ng9Mq~AK⏔#+⍙!zj|ۿOl rQ<阘ߥ`*FL*zߕbηV%yBD:l q*D?"TK CWCܯt(RwHr`РQS;' Zaڌ1f0]@w"L,CF?F*Zg8Gn9iX7b_m|ø09r4^dPUIʒj Lm[싨2β5r |c#lo] Ls_PQ: 3 !ܡۥp3-N"0 O;^ ]\dYn%'KkK>+9tK{ò;'9ڭV*W-Igz'5ZpwsD0ߥKڍBnxtΣtg<\^=c.7||K}RZ:/ߡ>C_Y0vۓH8ZaQ |TGA < h~gYZ7zXZִF!  ]ŗXiɟ1)*u%9|4$^g"@۹}W:t]m+:8gnq=c0j=!Tj.9Wz cBC1\%}UylQOD{FC ɨ_/Z)i^9jw_y]<˛lʺP1a|K аfSQ$Ce_]<.3k;1FO;bkK}S 63ep.7@Tυ\GML\~^$J j }3f{J}ndp5K9V(0R]}M:ȍA|nӚ(~W ,FQ߲UcTn;n K2ʞg 05'"W̜ŝ(D9C_%5 [ܟhtZ^ZEfYCRN,yrZAx]0WGȁ RI+;aR\irV3J9CYm3ހl%`2 04o[B_X}˨}=BmQFC9Mb{E+Y`| gbfGNT'Η DYakY>_2y ҰJDpĆ֚Ŗ@4F8T p %q݆g`:O#zw!拘3gjj:R?8&Kmt25> pRC1n% \Gג8ZF/%Ҳ3'ڻ]a/KsN?5 SB3m;?ڤ fOXC2M[qIlֵ$“47$&> ťCAUSX5,hZh<:^qofZݞi[PmOȊ=jd}ap[keݰ13$w0j\#N@ܒ鵲\9>#ABsjR5Od '-jI ޅ)4%#VX;7JG$A*y>k*: NrT蕺< ~99;*4.Zkoi5L' 4چѺ̝O<.j.vmܑGdoAF1W`_\4̻֘ B**M5f"N7ք+8i KtO S} d8ܨ4CD|P)^3kݭ8I J׶n0;#ETw㻾ĉy%B> jl0g}tlv tY*kH94Ă0R>O92s gdQ,r%7vNi4gF7,L]jX;`D[!?2oG~'kwGK?-3_xb{ᵁk]ւ:CTH hlkB\cVlHY1.Eiէ$D _؍dy_5N"x.@HrOE I}rS8Et/OAcZkj)Rbo)aZ 30 GI,.cRA m1^j)Py 0W(?صWlW oXςPN ņG"7SU W:Q)F4;OIΖ%svK.f';=f S|^};"d<9q Z3lQokH;_(Wj9f̥S}ͺF_Q]7Mb[/YYkQ;W%a=P|/ʨF ziQi;;yaֶkf̰C(xT&1~4ڸkF;\*_E8a>+Зԕͬ>jh+"!6)N^?,KK>q723L4wZ NNkb?j"E0V`dat:s8z͗z'/3}-zEOWٷ-}Y3%Bgf&K.!uK+n:]قf vAьZN яH]bgڲ|jjW]ΑDڜ؝I!U'ԕ=1Z!rp`V:8IkU:X/j$˙`R qnQ&Cd7:Xә&á|I(H&徢8XȪcskyh%:"r~G~u%"~UD̳Fc,qjzX2Wŵ&uf qk)[s|tq %?ߤJlO>bh&P/jHEvp&y[jDb ̩a qAl_;EBA&ܶk2?3:MK#U~Z4=& K%XS6cyuu,wk[Rh1S(ُ].k f: XC ?Fô$if輋;խ ս*mnLCCA!Q۪5STI7*5BRXrDtgбMxeB˵QwNZ7XLR>=۬tm [ \ "aefLƧMػtzU/ Wq+b?r,oꃅ Q #{=| UY$z;XAs#s5 (@K8sKBlG{3U?,ލ$#* *+t[oLV '|Ćv-vU:H|#Պ17[JnN^4:7-KŔU, b~ WUGjF1k069 ME\a꣟rYbt5X#9 ̴unZW2은6L9!Byt C Rc̨$?2GH/amAxdgbxn%V.2)3f2ˬ= OCyŨ.$=5>3]mEgG8Zk efNdOYA1?UV +iw*@/'({ A;4./dسA;.*dlzw1\t h_"&y8f X&O| )7h_Wi(x#*|TN NB}ښ:ֳ-nh(]$qFR5E7ъ6f2^a ?~7č"д Q<#1NCͨ~(l?"xmEQ'Rj#Bݦ\zB6PukPk;vioOkz7 @TȢҸvvK PB&vXpjQ>Mo]##h.G䕴MJ_e+4~I[];X,-)8%+j=5 FodgTJ0Wt nUPfz1qWtޒH3l&DU ;]٧+*]NfO#3Z:^\5v=nn_E[K_%lЎ@%%: [TݗT 3dK'?nj/X0ՎJ 5 uD[a=i$ƴ _JuQak0EMU̟M62qq 25k,mB/s'?h j:\⯀U>p%I>ع`bvvIK\dPaǴjR8z$8F[)Pz+twBJ%&Ar/,CD_irV|Ykh)%^[@% HĎ/sb[/em?LJF`zh %9ƣfAZdwqmB$~Fy5ZN7iyiUp/8Xz\“d3;4g#dn$dYWh?9X#M^tp@z]cyX3 ]D~gӣS%ƳJb̴Hr  Mv)\j|XB7Q,<*v9"ZR* Sj G`A$0frGMݟ)~sۓaȐu4[YM8º@#i ̑-Fia $X´1R,77rǝyl>K^ ƄXdm<0".A^(P}Dr^sG*wԝV|Tmc}YfD{\xq}ٿdC>l EwZwfҁI& ıko䈠YהTddj8+"PLp d m儬]V,t]kD9$&Ӧ0A_QVe7KGyr/'AҷvÊI{D6PK8aMp }jCȒ/k{T{S8oGpt3r 'qo?'љy> %"ګ]0S55(@ F>L<:̜ _J?8;!kmڨq)-g4糢u񈐨<Ɉ stG5|Oj!aEe_ץng- r=fԱ` SWqx< tզXщ݊3Мd'g.Rb;Vep%ϟ^d2^b) CC}d ,/֟ 5 |q W<9_p8?.DPG4]Uڐ[J}Ph"wNs%ER<!Qj-}^^ WqztZ&Rʸ5C BߚGj\j[% m783@2;e3Z% QQ ]`V WQ܁ۨ"95[73Cl{qP}@ i҈MQAǑDa7^p8M|J5iwpYK~1nz7s4.>;Uq[ m!8'bc6uX"e]IʇkWڨ HzxU.su pMvs,pi) V <ƛh:]&աVo #N^sw[u k u`E'X?nIEVjs?s;OÜX*Ǜr4r,H}O],*E`f1GoI_A W&ia9Np\YvBGn # $5h2 gze0(pcyBSe!^'/ʍYr~N/z|y7JŬ7pd"`!m%(ÅH ls{>A8}J8ٜcSs["mCqUYW/eG1Q>XI&UiHbBM}v@چ=YJH ȃpLK:64- 7xU4j1?; p~A ڽ< e*nMW[Sf VȦ@k *jTVbBCwMGwWc[J(Lt'KJ_CGsrM[4ƇZK6ӷz>SS5*8l51B2m@OQ:qFB-2KZ`dsl.EBXyBf蹰] c8bZ%Q*'JOR{֠hrԖy{rs8J پo]븽<>\;$a n})Lrewų;JS 'y6tPω+,ڋW:Ū] e:Z|k}/XeN4t^oKi 1Bu7}@z ʐA{szReܣf⅑@8J2\vX3ɥϟ-- ϣo!|a23CY4mly; }(֎ltY>[3@E_f\ԅ,JmxUނj/%$cy~ b I{w?rBL٠T֠^!,vTMg{hU(#<}f>=y ST*+J,IoE2%Q X*-yg>Gjm&|Y5Ht o:e,R_ȕ4yor I+EIatÍ@qD 2B)xE[b"+FCvϔL1|by8RS̋i9LD]8qVܛ|zB]+堮vM5D [ҝ>_ڦSSɐire=:[H{nQ7KRoBgšpz'&9›4?m`EXXyBQ. -=iǃ4wZL՝bޔv?5(] 3I,mʣp1*y(FiPh>~-[MFHgNt#1V5In\Jb=uQ e z[ < aU>5wmYɟ'Ţ1E $zZQػ;p䴁8 ȵ'sJ=ɉ_z*>zO k}t؉2PrW1sbX=}3aTzp{WweODv9(wŒFLjte^^ZWuZ0H@§KT%I#rlEZSL:{K{'D.vLn %0bv|ʯdž.Â&B+Sqy) `/D<NĸӤwdPqŮC”sqhjqQN@%=9Rc9lr1kI82edh[՛w랗Snz< "I`xuEe97  9جD#solKrсHKBSx>}t%c}wשv(I;`o0^kOĤ.kFdnez h՛}و^XaT9\L˔y5 j\Aa!,xa{w'}ܙuq̎fG4|Z79HZLm$[x<ۅZF=1JP& B5 FnXTRk:;\M[׫fF =l;O d&HDK*t'Hߥ[S\.\$ΊOT,O#xt0-Ym0D9T5Ha.VTmf\pUVΧ>ipٵ #fx:y]}|<|GW+S=i9Y$[EEuq\S3+xTmF w&%r̯x͌^`FD=Q.@돨G71ŠXKNL`z=gh[95y= jR2q`ߨJ i@23 ≮&Y*0IFXj{Bp(uU ISo3$uapQ \IwLTP3M]0х?ݺZEH~! cdKUֽoRQE=BALY[fWDFԥNqfDےB6ɧtbB‘'xWӋۚ%${!X,%E)SGv+l; O*\mDQkVXk  6fTLX` q"WKc{ܓ ܷ[hw)0)7fJXu Mm6Dq4Ⲡ͛SW`^Y y9`0ZG%lZDQ[y,.'k>ymy5&4 `J b tfG.6$%('O9ln ܵEg.⎕.oκF>۳"dl T/Wϭ#/]'XXCe0϶hMXˉ >pP <0|Q B̳wVzNY=jUq?OڲM-L'ݼXlQ +=)v1/1S߮N&D7CO~5u9wI,ͥlBA6\R R0ΤSE%ب xÆ5 6Q2W.vT\Cte%|(5?c::OseL=~ؓmJ|eR1ڱG4a}#8EO1ΤbI`J1gO"IKqK1ؿߢe wmMɇZM#q:6@Ձ߶ԶR`7s̀ȱR9pB+}w>TMu>+\-ʎ454(; QcUp%_Xa gq9+@w:'`# _m XE dBK8j![ dO+k$ fA R l!nCT5\F3z,YN ~aA1mey^9SX$;N@(CEl~Y,رj919 }(ZNB'`9M*óG fTvRn~ ʅ$~FqO|O1 ̒->=/_VR,Z9zJ&3k5|nD<3)ZG7պs"7_S?lihn'd-q 4[BAn&Vf2Ҷhԧհsl" DO F5ɟŲoe)%MnZg4eT=KW5k0ͳXY2P7ݩ\}/>XYS <Ĕ镫%˷l9B2Vg 0BQ_^ RM8[ft9){Y`hY9{z̊BG}7s*y:ƈw 8;/xua;|;^qL FREa2J"]X^ ]SuXofՆ5ө":'` R"jr+x(L/NN]O W߶cDLg{ۍ!eE.P:v靌kqw/bv~\240mt(l<Mey=b R-9! Uknwc~ίKji N%4K¹V%hm)ے1Fn;T87]7 DMSYQHNlnNeʻ9+dC:#ޝþY 5nh ktAYCh9;݌eL^ۄr3VcrK4޻hXӥ\N-Do6$n4Λ|f&K&Ra<1U > F8GO1p#, m:ktLw.P>*.~NŘ{(=~ #pK5 s$37bnA\H-ԃ0iy)v/XONca3@ 5$GL +IيArrL$r;تk%q-iE©\HpWb)ucX&j4|dx;=>]]djqǦya6D_ͬ72Tw=^e)̦G#Kb#n(ƾ ad^`t$Mt*kn^tVVV/~ ¿yFZjiӪ"m83X,45Tt Dnd~lvVkӖB"jQ@щ[se=:jYKC:2lYݩoM@[c E1Ȟlm83l5e-^e]#b9=C7O:~GSfb;՛ZԀƦE_}jbܲe$E)"XGke[HBE\s7sX _Qf/gus/ h>tWEEY\?{;M<|^IncR>.mc9(DoEH,2o";1$XD"6Ҥ}n1+q;8܀ ]V}.x7)`.w6CW-;9 \ޖsX- EJC?IT(Ȭ^)TŇԮ9_lϊ1y_ OT=h,i6S4ںF* I"/Sʚ\|HfO*3,.U1'&Q"gP@סrfzC9pԇ٤D ˓i.Iw +C3O Clu0z}O ʥ13^$kH~S gKT| (]~[ӶqLnEYl5LInWm2ӮeNmW?ZJVi%ԟQPڭ$=nm'$bCBߔECm?#i]XcDaL΂dAbmGW* 4>e2׍TLL'2oUsy% "UW# 8uV%,ysQ)\ ޲1]j2ocSOFgqą#:?7͔{ڼ,^LE=9O>xc^9+886$'i[#j )T!$za2 yS}^/7Y0df<xWguKTŤcV3Ųh.)? _r {"N!-7QTL\mߎO(=;5]u`/2} lNcúxg L_9!N ^Q { qC"vK[G!cUR#2**ڊҭD\aui@e;w8%LO5U5(An3>jͨ*3 eqϵPc&A5qTZ`Q:>) "Xj/o/>?a"w^ eKl_i<@c_qR*g6+Y;/F炫|szFH: j?VT8t:Sr3wZj?;m"Bԓ$,n6pQ,T"ھ~SCWVPeT:S_S ɂ+t&`$TR+%h󍗝4#bX/k`8>C$XrE_zN?H&B6^6s;eP#K#ҡS]n=W7zhng U7ux6уTXlB%Mu'7J fyֆY j&9 GIS jũّgq Y^ X2+s$DS*f_IKpYqͳOzư[ZCˡD]Ex ;ɍILam3S5'w(bjfa]kTRc;*?!O(R< mF2 OmG v6r u)FzK?2}3T$S1I)Bc~_ZUV;[]oXt#0g𐨇 Hi҈?5f9 <ծiWzyy?b[!w/.h7O0t뼬s)Soa} lBT+"iHԸRYsӅX U 18?˽/-v򾕏O:lpb$Wgݔoɳij7jKe$k(%!_V%pP/vC@TRv ;,IHJP|m5"v"N14!sĘ"ϙVD&)J@õqpJG3j*_e-cϔ}05fa/ `?+&e=yf=8'%IǛdL IʆrBLk]P_1W(H0^s~!_#9 ,@S 省4Dw,D/`u簔,Ɔ 7dچvPUFִ* _=}!ni2GɈvZg*&G TYWsHoM<)QTVd^롣!4#%Ƞ̑MtA_)} یN֗6zI^[}wM%:M˜L*I:`NR`R$Vlf"S Yy~]&ZB.N] IP=2t6a\?>IOpΟqƝANF6dvsݦZjgJs؈F &M'HXv߹&Ovt#¤U {h|Ji)ےy%Ad0ƽ$7iADtUG: #q$2,bl}lx#S\2AZ BzuA}֜3c#fnJʃ+i##MpҮ^`bCòq /!C<< < T{хq@v\I*f˴i!g /Β]A]miIF ԙ/asQ.u@ONUst{#qhG`V JW\ v|~چmCa^/pra#<|P8v;zAlѠU^)-'$@)Gh2{.A!5Vxȓ7C~S\*'{,cxV8œ$# `UXc/ػ.ĪzB2F˅N|e4͔UY J,I;N aVytԔ7-ĩǾ}5h,\ՖC-‘"L1in"l) 2kbV7攷pXT1oZ\Zg\;_0{{:KsN3Ϥk}\g-4`8U6֧j58X,dBdcI;yZ|䌷 g*?OhDx ]c$L2U0P4`| 5t:6m+xK+!taM1qw5BJ{K}l| !TJ-M;XOqx쀛Ҏj"5m-v|W/ _K|CGK /љiZrNX :'u3$ª&`ɫK|9ӘYRxuQkf .&:tkzG9mx|N `dpvWe1qȂRvT 7>اHk`~8r0AqAN g+wC @d4kzIHU%\jUI 1A8S IkH ,-VޕH-(DqZGuQP$JnZY PMAσPԛh`<gi%1f%WB `"2OGO ? 5az| Eh ?U!] 쳅-egMYk<- !k^SI|n-tyym&\n%OQR%.""9VBAhQChU1 %Co2^ Er0BF`˒M>I+g3w2`h/mkvuKa+MGz r - Ox_.Z=jň\zQo%܋J[_* nإ kc.lT=R"4 + My~6nߺ@O#Հ[ԍb6/y"0]h]-6!IasE=/~kRᅊ~kpjH001Qq/ߛnhcvlf*'A㈠{4{}:ncy_g*aLn3}T!Wh,pB[>۫$j"˒BtgOP !EtIGIvK-A#s^rndtph%rj} @Տ݅ke#wnee.?c?Hcy*yvijqߏDI [dҘm36͓"`Yf3{t)#{m }֠ G}qklBB ׈707'O~>֠TV:/]7]8R, (h,R(0*sUzwS,1QiW_&Q_hۙU\1_r{LaY&++{9(_$]''BwUNݖyysŎԅR? ټT5~CJs5 r'S- @8>\Xa(xS&b+ \q}ПJaq)QYz]iU("R1}sTNJ_;0=f#\ W=԰NU3>uH!`+GaZ3Qmww_#B`@"Np6g/u(M #T  O7ˀtZGP禤!#^s+(l<+0V- <45Y0nt~aIrj?D9'b/9 )9EM g+ؐn~-S˷M> =8ѹK_EI؇u.K?zRV[k#lhuvʴhCѤ(:c y CW[=w蔅H!1Nde,f 4Cg$[oXk".N- a\tK2.){E;хm0jmbm-Pt A[V`byz‘Po m\kʜĕJ%2BXLc[㜝0 qǂFYs2i=nͲ fa4P`IV'o3fKm}3ZD`MҚS,*@YOX8PLf 4e2Pt Ue4c,r 0oPpi:ؙіaLُ/a^?*s"Ά l>F&727wq`hH|8()S&@qN״;%]=gLk9w@,l=%զߺ3rg&$Wܡr~A8"#iQ  %ϚOxHk15K5̑՟ۅĵ9Di P5 BVsdUی3&_. gMD)lFpƠSך@nob&tz@9JC*%Ti'`ǦһViN, f?6xR)sGX'Oxb2W@kKD:wXyw'Ej7~cM!tpXz»t{Õ}jp8Tcb2Gcc$ ur ߵ`7@;UG9)(2SIϲUﲝC9T-DE(/h<,i;up[Edlfֺ(\Y7nNyq كloR;L'A2]pD;|maQoOf0gdN06"ب̲zMBb2@/˽y 6&U'dYC<jJRuZfq;^oAJ!Zl 28ȴ; n ];Z$4T$M&+6CI]o=cNTAIA iRӑ##)^мP%M\}?ApcoAoFY8ŰB/º*hjt)n;8"mBb@{0-}`~YU oJ X6X ?֧QD]nO]$jC\+B^o~ ]K m.Bpd9tlP@EiW(Z+J9fTOفŎNXDה]~]w]bL-rg+g+ܡJ*1>ټG .ٿMw%M2b^a[RK12s͉z"7dљˣ0Bxy(:`t1Kppq]ÞԶtp a Cf|qṼ! tqy% *W}酔N0qLϝYhm&ίʦi\o&J.2v oA3S@T g,9h ;% <&<d;O (-@v *})Ws}-OaRO˳->Qn* d?G zhR$O~[Ó#b wwi8eʽs&LxHEt%px6)pN>$Th(T-q#YwP߅M9|HZ-LA:d<gЮli^>N海JV| +bEO; 7eWsO6_Y[v>V"2NXflxZbL<(ǣ`F f ^QZvyj]+^ڏ>+[ .! nk LrTf~}61ҭeRw TTj'`;Eζe*^qa|u-!\wej/mG>5l%w G}5Moɶn9$訏t  gPm@ϱ4^ic*bWp!o0dqG 9mILi t 8>X痂Mo7晪9.pĔ.GH^#?Du_[J0tV} GTJ3ݳ?ejy0lp5u^MHJEҥgwI}0Uʹ!Ϸd5\)M)[nlun՗ї1}]ne(+iCA p0I/)AdDA p*v=b9 :ȿՔOMzoӼl` RpI#6ȿ6bN| T9Qؽʱc+D &KJ_9kxGr^M'itp NC(qgB3.jKqa_EF ᣑ!VU p5 wQ g[ sU8w9P_lfNUy*&ז=l%sSv]d|={=|K T0g3J+ (s!՞i Ӵl!^ǣ+vɃ OBPC6qމ8rDFL!0`ۆM.ݷ!+![$~8r~EEzSla %LbKIGY.vs(͞3`)ƧO bt[yU d]_z5]:ŝNؕdd6E[fVw |ea[<ōQbUXm8YKU]Ap_Pf8K>h8?ECj L)vyÙ*W号x_fܼx;a˓=0ڄpCPs ̑q"BwC-F3pC ž Ď*AX%/>[&Qc^QKC. S| -Ɏݢ좕{7=Q3C$26I`"{0ݍ3;fY7i` w"ѥسyyKKGb'J=d8 Ŭrۓn֧w qWWokb7R}տ;rB.(@fՠl?*8rW1fUǮH0F Ds8 $+guRm*Y!wXH_n4g̻ie&XdT+#sAwF 8Q3#'nYyrf9[.~e 9=0$؊ۢՑi\"ZT'x|\S ?P_'v6#v2+e#Z^%Ylcr Oޟ*ڎs`%e JLo9P|ՠ[7jx s1֫ ~:tSFAn[LPB]7Eyu<,Ϙ9r+h8|݊ 75žq=P e`"K1XubT8 ċ [;ARrё09^ $ 2 dH-_(!H;V 7٫X3v&w - U b/َanZ5o}iF[pǖoRXVšs=[τsYrzjO̱6=44w_X/zm8+CH0QAdPlv,.5|HD+<곏>Wy\" rQGzz:v`ڠJONG}\bF.^YԮa"`tU<'fշq&Di5<5B"gJXM Xe *C b2D/B| 0:A(~A˥{8mu퀲%V9F=96O)Go3 }|2:P 6UuQŝ!cuRI6(R} hѸ-.̨U>QXwMȉ.ruv.,C⿛oΘze=way?> f?}ֹX䑎AZk]wRVtu>s{Wtypek-^uk.1 xakZ< '}Ӕv #*hTM]Տ:/,ݽۜbJk_~øyt.v;)V$OkߎSHdF 7j&b 5?UdPW)909Iܦ \ _kRjυtBFCӞNŧְM"b L8缿w)Xg]tlKqoW*X%=sF}|Cw?Hy*Md 3؆+y1BԺBXɢE@ jb,i# [eoq\ zN$ ;V=e=}9 gHP?BA!ԊJ(͘fs+$U2quM(f}0{8v0%ب`ɞ >^o0>:hW wUڕJZau;{a3h/8ee {Յ2W08mov0]u('م7-o]w Fe-@wtoN@* ʆ{ !l `31<Ֆ]Y拢zpJjNԗpC '>pPIxTߜFn|Q2<"jIuBe:pv)F98k1/SlASQ1g{A+*n3T FE6^CwfGoecl^]-EDll{ _Kq-xogC܋#SPɨ^A#ݛ|}%ͩJ N$-mq#)qӉ3juVXrOA'e|Q#gZS&:*Xx‰H}ZL )xc>s]\!BIcn]i‘BLa܁S,(iF|}JWSC>Wv ⶹa%JȔP 6f/ljUpY H԰]puSRUgλl jP $sS8<=T{"cVzӷ{65= UHO*0KAwJ_ڦ"ؓkHX^^oνi̳n,S)}*eFMW2/W)R-Tm#+ɯ|pI\NFNR|Jp}+_ u_)Z mR(k:UZ.Ա̟Qsl*#vЮ[ҨwY ~)>*u 30t@OPrf)/=qȮx.Vӷ2R֓:ZpUi>0%L&`_$4EBp٢9Um.f7[.ű*q/rX2LYUl /_NddoЀ hbNV*M~G L~%/n]T)<;3_jrN#@l||-ލ;+[q{f/xYY{+FUh䒂)"Ql*c+%gYZf90a516864e50673cb964aba5b8b0ec342326c5eff9ec311f2965b5256157dc51e673f62af8e5ca5 10a38f173e27565186798ec789d35427da220c73 aef3817a777436681838cc0007076dd38ff517ff