SQLite format 3@ #&#.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  8 8EplTD ] ]Pure:threads=1elapsed=1.288cpu=1.328gc=0.0007zXZִF! n]ŗXiɟHVҭٽD,tAƧCE)yiTIU1,"zߺa-PdŸq+ArV(b@5>@ :ܽX`gYZ7zXZִF! d]ŗXiɟ˚Ћ. k$wq[!I ,j[}۹y|7[t6LKs,42'-2?@Q@q_ˬCLfgwfr㶱gYZ7zXZִF! z]ŗXi%5}fM^sjlCi,xSK/a'6 Ӿ,߬*x<}U+K_,[wνIugScW[clLxؕ2z{sE<$#1˃;تd_ tfÃǎoG"-&Ko,QJ^6V|{x_/יNI̊7@.:=MRvYf0yd:,kĘ%{r5/G7*X;دkwHV&$U cσ؅n$Q]ed]WMb_M9MߍatIx{ 1ޭUzL-@ k?- ؔBE8y)l-GMFb4.QkK*212ۼ|ƬNۃD%js>cpL)n_=RHk۶P3o|G9ݽSG/[ɮ%f! u48jZBC:7V?q*] +aYC,bD`}i{2 ˼9A+js S9s5bPu@ ťʋwuh| IAw9a5eu5/[,gYZ7968cb39bc8a9056890738002d09f43fbc903cdb640c93dd9b059e57f250a6bde56ed91b11370523  Pure &F9R! |PurePureproofs/7147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJI_efX~`xWQlHG~.)gYZR! |PurePureproofs/7127zXZִF! v]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU g hL6PwRpQgYZ~! TPurePureproofs/7107zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?km(^Pv3sW,mƿnp<-8'ReꗑzogYZ.! 4PurePureproofs/7007zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =޲%BtUo:;gYZ.! 4PurePureproofs/6987zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ¹K\Ȭexzo:;gYZ! \PurePureproofs/6967zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE jc"IY}ZA=DZgYZ& ! $PurePureproofs/6867zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 *2Xr$O8ucE#fgzӱgYZ& ! $PurePureproofs/6847zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 >QP7t!A OgzӱgYZ ! \PurePureproofs/6827zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hm]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4627zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4447zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4267zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,$w#spoi a P B 3 % yjO4 *  m R 7   z _ D )  l Q 6  y ^ C ( kP5v[@% hM2ukR9 qX?& w ^ E<[dB$''PurePure.SessionsPIDE/messagesy"'#PurePure.SessionsPIDE/markupx!'!PurePure.SessionsPIDE/filesw''-PurePure.SessionsPIDE/document_idv#%'PureML_BootstrapPIDE/messagesu!%#PureML_BootstrapPIDE/markupt %!PureML_BootstrapPIDE/filess&%-PureML_BootstrapPIDE/document_idr#PurePurePIDE/markupq%PurePurePIDE/markup2p%PurePurePIDE/markup1o!PurePurePIDE/filesn-PurePurePIDE/document_idm,'7PurePure.Sessionsdocument/Sessions.texl/%?PureML_Bootstrapdocument/ML_Bootstrap.texk/PurePuredocument/Pure.texj)PurePuretheory/parentsi-PurePuretheory/constdefsh#PurePuretheory/thmsg%PurePureproofs/43520f%PurePureproofs/43516e%PurePureproofs/43512d%PurePureproofs/43508c%PurePureproofs/43504b%PurePureproofs/43500a%PurePureproofs/43496`%PurePureproofs/43492_%PurePureproofs/43488^%PurePureproofs/43484]%PurePureproofs/43480\%PurePureproofs/43476[%PurePureproofs/43472Z%PurePureproofs/43468Y%PurePureproofs/43464X%PurePureproofs/43460W%PurePureproofs/43456V%PurePureproofs/43452U%PurePureproofs/43448T%PurePureproofs/43444S%PurePureproofs/43440R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43256N%PurePureproofs/43222M%PurePureproofs/43218L%PurePureproofs/43216K%PurePureproofs/43212J%PurePureproofs/43208I%PurePureproofs/43200H%PurePureproofs/43182G%PurePureproofs/43178F%PurePureproofs/43116E%PurePureproofs/43112D%PurePureproofs/43110C%PurePureproofs/43106B%PurePureproofs/43102A%PurePureproofs/43094@%PurePureproofs/43090?%PurePureproofs/43084>%PurePureproofs/43072=%PurePureproofs/43068<%PurePureproofs/43062;%PurePureproofs/43058:%PurePureproofs/430529%PurePureproofs/429968%PurePureproofs/429927%PurePureproofs/429906%PurePureproofs/429865%PurePureproofs/429824%PurePureproofs/429783%PurePureproofs/429622%PurePureproofs/429581%PurePureproofs/429500%PurePureproofs/42866/%PurePureproofs/42862.%PurePureproofs/42860-%PurePureproofs/42810,%PurePureproofs/42806+%PurePureproofs/42804*%PurePureproofs/42750)%PurePureproofs/42746(%PurePureproofs/42712'%PurePureproofs/42708&%PurePureproofs/42706%%PurePureproofs/42704$%PurePureproofs/42656#%PurePureproofs/42652"%PurePureproofs/42618!%PurePureproofs/42614 %PurePureproofs/42612%PurePureproofs/42610%PurePureproofs/42608!PurePureproofs/790!PurePureproofs/788!PurePureproofs/786!PurePureproofs/776!PurePureproofs/774!PurePureproofs/772!PurePureproofs/762!PurePureproofs/760!PurePureproofs/758!PurePureproofs/714!PurePureproofs/712!PurePureproofs/710!PurePureproofs/700!PurePureproofs/698!PurePureproofs/696!PurePureproofs/686 !PurePureproofs/684 !PurePureproofs/682 !PurePureproofs/664 !PurePureproofs/662 !PurePureproofs/660!PurePureproofs/650!PurePureproofs/648!PurePureproofs/646!PurePureproofs/480!PurePureproofs/462!PurePureproofs/444! PurePureproofs/426   9W  b OKF9R! |PurePureproofs/7147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJI_efX~`xWQlHG~.)gYZR! |PurePureproofs/7127zXZִF! v]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU g hL6PwRpQgYZ~! TPurePureproofs/7107zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?km(^Pv3sW,mƿnp<-8'ReꗑzogYZ.! 4PurePureproofs/7007zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =޲%BtUo:;gYZ.! 4PurePureproofs/6987zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ¹K\Ȭexzo:;gYZ! \PurePureproofs/6967zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE jc"IY}ZA=DZgYZ& ! $PurePureproofs/6867zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 *2Xr$O8ucE#fgzӱgYZ& ! $PurePureproofs/6847zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 >QP7t!A OgzӱgYZ ! \PurePureproofs/6827zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hm]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4627zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4447zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4267zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV 3gt~ gYZ . m \ +|Xm%% TPurePureproofs/427067zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ/g+L|@\-kv5^쿹gYZH$% dPurePureproofs/427047zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/426567zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U7!y[WFZO9n16_lWgYZh"% $PurePureproofs/426527zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{woOhF8('~p B!Iۚ0gYZ4!% }rWڢm>~%19ogYZh% $PurePureproofs/426127zXZִF! 9]ŗԠQlP@K!7; [|EuoP u@Z %{ޭ% &eF̘U"‡EjߙE=o&@?.V&Ϲ0 %?fwngYZ % PurePureproofs/426107zXZִF! D]ŗԠQlP@KI,%Q7B1(P׬{Y*h4UZaa90QM !`8_gYZ,% ,PurePureproofs/426087zXZִF! N]ŗԠQlP@K!7; [ $F(q#sY2۽O*Oj0zYgYZ>! TPurePureproofs/7907zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H:_w^JfLyBiҡSAgYZ>! TPurePureproofs/7887zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H@,ij1B;gOESAgYZ*! ,PurePureproofs/7867zXZִF!  ]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB3t̏"wA 6hwAo[UIX憲"{M. :wgYA KuFE}gYZ>! TPurePureproofs/7767zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2329H%ɐ0w+J~)pgYZ>! TPurePureproofs/7747zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2-pWGW BaЫ Rn~)pgYZ! tPurePureproofs/7727zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B==|!m4мD ;['0 5Bm!䕺LճRG_d*1˳y1rHC~g⼜BֆȤϗkföugYZ>! TPurePureproofs/7627zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2kbЖHsD =}䁱gYZ>! TPurePureproofs/7607zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k{D]֙#9 3%aP h}䁱gYZ! tPurePureproofs/7587zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй!/QiEF>.+^ A%o䞩gYZ V"   uV3% PurePureproofs/429787zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZD2% \PurePureproofs/429627zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhQmJ旜+v.=+JF83gYZ1% PurePureproofs/429587zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/429507zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$Aũ'Zp$Nf ](@=E7 SgYZ8-% DPurePureproofs/428607zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1@HgYZ+% tPurePureproofs/428067zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%N2{w> j.󷘵Ÿޯ^NF'bפFiWZa|_o8 m坱gYZH*% dPurePureproofs/428047zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\jOAzU3?eci זܐ Eb:^o\O@j<̅s}t1H<Z؉IG`VXWw:x1o1Q(4\~ķV mtqhۄ/xkNV^02V |~* gYZt)% ƶ1bXⶕs_xOح>q4EKdq?;]gYZx&% DPurePureproofs/427087zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I%cTP>#0g{U\ 8gYZ  '   jg5* B% PurePureproofs/431067zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ><4w:|UQ/Zs HagYZA% dPurePureproofs/431027zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPb9+9z$ɤzMN I*gYZ(@% $PurePureproofs/430947zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%孌>#t]b5%*-hwY \gYZ?% dPurePureproofs/430907zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט4W4DwHl " j;8gYZ$>% PurePureproofs/430847zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/430727zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|G)կ|-?Mj[,}M\ K XqױgYZ<% TPurePureproofs/430687zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*u]x<͎ED =gYZ$;% PurePureproofs/430627zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% TPurePureproofs/430587zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+6L`C ewaڣA{2N41]jTϚBHB/xʻ'.eFy u5bԗ٩4Nb?yXt&::#lWy*>ޠB Um`v:Q?R=BiS',BHNXH#۵a'J06,>*3"(ZenU͡ޘ'I,,5 \ ѯ36Z^] >yGI0kύ#Pge^!GN+Ebo "sȶP@~fྶ?uM%tuL=ҡbAD? $U@ Q݊BnJ2gYZ|O% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@cU}̗IzMwpǐTlA*ɷs6XNMb;w~iyxD״]r6h#X-y|cs7=^NRrEQKʾf v-%M6;#X?oS@ysSG xgYZLK% lPurePureproofs/432167zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&kuEЭ~]Wl~}jV  sI枫$IaB0q4. fIgYZJ% |PurePureproofs/432127zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛYy- 2 ±gYZ\I% PurePureproofs/432087zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z>n/;xK}O (U)I ?igYZlF% ,PurePureproofs/431787zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/431167zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo7V"rjLc0+JjĶgYZlD% ,PurePureproofs/431127zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^о=N  ZV _k)gYZDC% \PurePureproofs/431107zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z"ZtaiN<<džO&'|vXVs0?Lؼ V#5{k2z9OgYZ  8 E8aata% ƶ1bXⶕs_xO/I~f2aD9~pJ]gYZH_% dPurePureproofs/434927zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U7%ɑuauRe %jlWgYZ4^% ~HDE!V1SAgYZ@\% TPurePureproofs/434807zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/434767zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/434727zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/434687zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/434647zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/434607zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/434567zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/434527zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/434487zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/434447zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/434407zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eapӊiZnySge¦o9lR2gYZEQ' \PurePuretheory/axioms7zXZִF! f]a0{rg+5\CJHa=O݅vBfI_B ȋl2 ޲Wo0ORXyɑ- C,Xysp;d'Gm,ߣkΥ6 oU)N*ދIȤ:# lCKqֳTMe7%t+bPB#vl7Fyjj!$9qpew|2Z*>qYvJ? #JkL/Zg;.0 SD]h̓}3m-gYZ   , MWi) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZsg# ~W ~G%|l z%S:Exo`.G;ʈq]ra.~7Nc!}l..s*o1/WF 㧥:1Sx9SA@y2wt_ZB9#g~硒𚡌ps`5 ʺL8vԧbCPɁZMtU۹D8pf8|&Wy ?q5DTC,/, N%pOlǕn=^8mW]k,^SV"dA4򣒁xAAԸJb" SNԊP1?k O>[!z,ۮ.kZW'Ge|[=՜ )FL>2&+!E RZH|wz YbJ&d;"3=DSL5< =a+B3ypͼ4ϱkJ x>o[ڭ*W ]C(|φ5ثZF! k:?eYm Cօ}C6SVvj̹OMԫ .~SEN*>ap|$n dY0EW*WBۜ4j*z7=h6NTJƌ$os!x1xx7%(䖮CF:x!Uϖ/v u fcdZDNU6m.:h6?B- \~C9<,쨄x|lPB5^`L5^sVn4PE{ D`Mywb8V|Jf g(".vhk&O"z5 /K!^Ղn'`V?^fdf6i7̫W[6״S'{& *s~WP ?{&C"RB@Q4cw|7m'm3GaI:N2vcem}712%_$[_h0P>w_NVZJdŁ,bֽ%^QBvQv]PQ"4u2nX<;9ձeUM/faſmSu+lwqERZxla$:Jߺ/~A%,sOxqn3!}U|ve 񿶝{CsLjPfn$vqZDh+~ĺ xdA`ύ\ r)'Y_OUXt̾0"/OITˮnƜ~fš  SoT M-"ZOnUڇG$%/2H70*U ܃RB@ʰsyrBL&ǡE aHȑUTЂjyy '-EW~Fv=t<:zTBroVjW,ďT6/+CرgYZ\f% PurePureproofs/435207zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUo7 2U:M$AWu@2V/jĶgYZ|d% LPurePureproofs/435127zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"fs UwBZ%5(F^8,gYZtc% x|6:mb ר&wdZbF.ItģAG`I! XFŒ1gj!1IfUs$uwq~ey1.B%U٪J%Gf'yM4]>~J,W#hHY0UҁlQ |H5: ұ =RЖO (+]ZUdO SHj">v1.92;o>Ű41;f諟P6(O`Q=u:X[U( 8B;BƐ`OYerA7{,e&mR)kjR,I*AȤAU{80\!18xM%?FflnI׼j.4ڬ9RܿCn&sDW[ G5!_^;EPD 9vMG[)y; MZ(և$\˴'6kLD/[g9Tp4;TiS Zw1x!~_!AըK$YM(q'۱("V 3lز>NW,يQ[`&E4 vM"4RSϗڑ>@ạ c0AEmVCS,rȼ*Vh{g:X5檴Xw8kuu.i}E^10]~qM3V!A[7/KY_41wըmlw#Io/?* ,9yζF.HcՔ<dhDaDY& B"X~k/jQ_ UvGP[ѽ^4=BRLBf:@ SC%_ܳy Ywaש+!0>GOl. `z 6 Oitg 5\LPc:QeG0E|9Z9mݙ|Wx"0YfX] v2ݵ*Zc} x &⪂C7{zI ܤ7<聗LygwӺl55c娗el"8 i~Pt81[\w O1^)3c)û r<ʤf336YHy:eEZg6TDтQ=Gi2dN1o8$6'y[wƎ+HYocC:Y{#oL^2֬dGvo_G m%հ˲c ,2r*.J?|]5DģSpANuB C! `@d:9.)*_UciӯL卬؅=LW=QcDIGL@ H6L-B.:gqL~@"H>rCDa!i)N븴8WJ'R /'ׯ5@ɱ:tAPQ3m;*QdrG$ߊ,Kr68FCH̅qa5Y*2"49Ý a.r Rok`6 ÀXKWX?Q!$~x}S"%zx !S$.&53)3 [W$&m)xPe]!0gN~|(^F#, 2k( wm98 _K\^|*P{sU{ft&U.ۦ0F 4d/FOGju}ppؼK hэ4فW2 qf+Sl7zp*8?븛%NaUKq\ O%[lo .ZCG5_.xX^ؑDEĉL)8}~\УNBDEOYHNؽ6V2 zR##oiZw (}8ף([*$'Sy%xYSOӥx4 !.I! >^7I$>G4Ȃ ~;jG?ѴGAfO:IF/%eˍ6e^J%Ÿ@!c8hmZ VI M vj9Rl/qc=5/+>pDeEpUT&QuN8f^0aqm H1 B#9JUds/&Q}(v IQCl/Md*I'^jᷫw0jqʍ JB {[$ʫnǩ M^a(Ϗ [~Q/%H΁.T+n$rf0 YGT|ޏGffA{ <'B"Ig!:-uM*Ӝy8wWRʶȷfcJ$$VހEMO~*#6'Z~stRAdRn,g4ůYVQ>!il0&y?LEx5.mY}#p=f1)ϙJ|",^]"}5Du6R1m\cHPl:[D~h*l4L)-YmfHvO(n;E+T' -pJYdF*ɈN]s}{ BxGR2>Xvq({)~Jk@W-JvoTQ8Ó,59{+쌹YڼUUqlD;c>+h)@ =>NS&pq v0؎2"g e*$=$ ڑ`F!KR=9)G+zR*L:MxD@B \սȐf`Bx%:lz&6%U,nyl>ǘ:Wb-cDE4|{-)7Zc@e!>ٙ?ezzͨ+>uRN%9>x8*hnT!"ad"3<:=N :5W_-_f`빝"|+W{]^0)a!$ s7`in&Ɋ㍯*'RPyj߿S|0Y!*N;8У6YrHWt1ŀ h*&c[JٙBrR؛[ڰ191hDt8Eo< 325伇 aed{yM$|p/@s@Suک0^ǔviH/{I"{̍f˱/}wd0muö6N擭6(';GUc9"fLcO._PhdzGA4so{s/ԽI+q@%a*]Pȋ fbBRqk!c0v6äJz gsFܩ]V`@ff85oJұ^F)5(tJS;( fYm'`P߷0_I'In{ˑ^ϯY#S*^cmhǢOʇ*%C?;bxGZfL.7_M}5,V&n0LB C9t /pR˞BG xQIz>ܕ9Js]7ۤM vTɬ1y/Uͅ =;ݰ(MwސFS'jΝ?ݙgʈ"o[FһHn1|nh g*4y;dzgk%T7X]gO}H=[-ouqBTs "ͶŝjE&-0t2?̕CٳX.z82Ix:8ڢXiڎbS‚ ?7jC [^yP6QJϱ5^f)m8FzU[SC 7ڔNz_: XOI-&]Yu"=RR3.  8ڿ$hK32i"n.Ex@|GԘ?yJO`+ۀ̪?6NCYn(vܝyL7-喀":I%OdA:dug6]IW&SaUt) 1 E Dx9;IoY50 CoLp-Lٺe,P<7Z ] E0"׬qO5++nK jEqgx_CpGELkMCFQk3rCWeKԍ/~9'[ntuvozʈvA~|G(>"D8-.8D@]Oi\<7KLoP2n{Z$Tt=t2$y<4n!7`7+^܂\sYM•A(妽ߵ >^~9_5(mn)fםF[ة{e-NIo[O0%cҼIo˥p`o7Oak[Qa!ǯ` Sle>e Тmn!ɠKO:%"4p-d_3`;gsm jWFp?SQޑ.%CP"p%ɱ [` S^6ۖf/Bk3z|YE=(( &UR9::!{04x.WbCr4M)<&ƿ**#L&{~3Ump4X3QId\(y߁Kp#~V 7=}f:-^)y O!%MdNz?҃&='+A%*z;|V<3qb R?-<^h#P`ZH)LsF鿌YP"9=8ߝDS-qz`řLf]*Q|df!3Wd|%[Gfs,EWniN\{f͎kܿ,PǤrm{`sHA$],;$y5!xtq M GYgNk*_H 5BO_N|V]ȅxi4D@?)HE4 ϟfe~#.Nϴ1Kj0VRL$%52_q:xqXkF,i>{pjvYy \مŮ ][쐳[opZm! RuvhkR~sh/p<e-u zHVvf"-ems.Nue=v[QVcRx>wISH 簊 ;!=}e#,I* V[3X}{8<&JFSʍ_}sD/1pgiE2T(i%N4mrM wfIe-ړ(ٴcʞEH1K=4>VC`8f1prߵ[a XLE$l,xIr X:Z3-P/B0U=7q[&(z&mVFIVcE8~Iar[RJ~Ӛ24z]~b.-Z|E'#5owc1L΃|fIWG: 4(^ jQ8sU,qdeNV;R"l5[ᄲkO0T,C 6E_zi"eUμFԖ'p邐 AL0qX`\Ӯ6mYUaX{*碲޸, nг͓쳼@?=zer@NZa!/ %JnYg3^%4X-m;kv)k. M׷ ɇ%Y-u!mbhző;䀆ZS Vo!Yeڔ#en{ gY# K C]E/ie5|_nQ`Jw:΢$AMicv_8k㍚OvQ5ϟ43TnN RZwעy L10^YnD.MvlxaOd!==OeWo5b#MǓBﴞ}C×je vwD?v!Vb0!9~- ~Y׺?ICpܨ¨ sU ~}]=`cppJ># Liz`w\PvJTTSO57?P1=d>Zd%Up&*K7Y:zrk:!m3#VZlo#9op(GǼۻ6Qmt>_S^ܪV,FsJug̃sK|dd#o O܆ه#c z>};/HÉbIm=p Bh-F8pD&Rvn}A!pXPʵk!Z/m)"ʠ`t(/b[ԳV.l#&7JGyY%0>&a=j7&AgL"nGC'Tl@eUmJXE"@TQ_߂Ui[||u}҈ Ut z mi1lrc-RLMh0ͪ0 d-fcG T=Gb gfKUI ϐNoXԹQ-1&LqD,4й~uMZj%f+.?Hm_w!v=ʮd`v*+CN)/OH6-d%aBȻqmQ9b[ !J&Otb`@^Gݮ*v{xıaFnBw!AFL>R}W`B|,B^ތ)a *I%-.*;k޴v{ dYiɰ*ޭT`ڀ4%:k##3;m26L*PrgR*^_1v/EPo:{H eiߩ^Ƌ\iDbTv%M8;;`5+Gl=_}\jPbM7+zֈZӂC)Y*r 2RYlqwUUz^uݏNێQ=UAV.W!m%Au7Nc ޯE4Ӎ~w piJF P4H:Aro2@ЇT}fe P|&O(P8MBČ LL!pTF+ v² @qp[("긩Q[Ym>)zvެpdD\%` @`/@smI ƌ$ 1 xB^v#3}˔3}Hµ( (^G#|x/df~;tpSYa-U<"'qޱž[Q_. aUH0 w)SQW1Yٵ7d64S 9-u,.+OIaѡJ%RLv|_]7 iNR"L:)"1n:޴l}]X4ۨ;y,Fmጅ5mnTaCDE&jӝ@z}I^+w}n-1wy\bg2Fꦱ:Ou24$XNU{5%H|.@Փdoc%&ayc FEc%!WL+"QDք޲)a:lOn_q9UC#,\hN5;]فW]z[mct1Ǜ5_U Ǽ5t(k-Ȕ'o  Qv24dM/$S ʢ)1<85>_]fFsGlIc}z #f ^Zbɰ桚AX5g55J>{1:+OqS5WPӏc2P Pzdi\#U2dgc3rLm<'KQO{Ña6}=m-;c9 $\4.cjqzAe>tFYS-L<, k䷝mkyO9\У[4НдHtf 1*ln0)`3=-iϣ% @j'ΐ T3 m癢vҥihwR5k <&%I](3ΓfGQ, 0ஹ+dwNڧ~׎n( uЖ, wU#y/ գfQ M +%XK ?ѩ'Ire>$-7HS܀b~'93UQia`_dr2peǁJ93HQpUKb(mpMʄB0 q!.zUJŇ7Xp'oI>} qmVLjz4A#>4-20kѓ3}A:(1n9@Mw"+k E'#̿01M+"E.n=ȍRya\2栯Eٳ=¥?9~*[A7 r$A$ ,WO0{nPA]2ˑVzp܅e-V-g@UW3ZLDadѡD3&u@ZF46,`:Mnܟ,pcnĠ"²@sz sruR?CS>xiJP!i!.3Z+pKi]2-{&!O ST䞋rIbrf`8>vK\hmw')BS?oRN[?} fA%+s=AchV%Ar "h2Y'Dn93ʃV ol L(>j0rsLHOOwloHF`k^C#Efh]BSP5`ՙIx8_^"٥nRFCO˰*L)]c#:]jEI7 cmK:"I;Y:N k93LFS7h5gxd}?]v8l߰2jТDQ,KGSԂe{*7k eʤe@Űio{'Xk%AniʐAvRp/-JjW$<89*sɿPJaT]nR1&"!l V$x5Z+O]:"ƀs:z^Ѥǜk4 ^{vk3vwg+7K!>n?2d,vfKt+Y#ܾqk,R}ب`-4yx][dYt `Х iNJ\U~=y[f FlјVA%Ee@;@'oG=\>י!G XE~PaA_+\Nüe  4(KKb!"IzR*7ke"9iVɆK a(0j]`ueJ4z-XѿiڌՈ4?!TlBG #WQcex*m;Fi%^ÖFU ,(Rvm!A 1lBDOlzxcdR"!5 `I{M#efnmS+b*5e7ދ &~y= (7/!$:^hˎ=`c5'Z&M{Zgn6G" 3fo7Kk;{=KU[7dlvvox;Mzپ6uW\&pRy{4Q!+Rʞu(D {WL Iq<9E}~4,mxeK'5]?aZ*gɿ Y IFYLM/KT͢ 0Uj0hpwUpF{]G NQrt ?SߕS+KB>svl)n>s"(R]4V 6"?[酡þ[inRI(ZtSJÁn0[3P { Gdig- 9 uߏX4E's fFw+,73 /S'!P]'+GϸV-[POȝRo' Eo>ӎHܞo(H* )@3_LR`%AQ?EDKjkϬ[jm- ޡȺiܠ V^C3ID0K5D(%]OO$bHx@Ȣ1ʅj'4=ZY|[4l 1IS% >1E*sDk!0 ?'O'AmVNztdThc@cUU2fQw'Fz+KR &ýo+޴ hhm0j. PȬۍHh|(r-ضDx*xlȂ4S/ޝFu [RC>_^7X>8c1uv4p A\$r-No3{xglZ?.Oe1O_m>GE)r8}MLp6czNB)*Gی%L$lre.Y݁5I-shIGW a(󗖴&2,6)7iCÈgW{G~_Qɜ74~AFAQ.]"kqJj}tW:aSmo͂{G}˭ʡ(6ѪM@>o#睅}PK?o碵ר+uFmmǴ8_k"얠BykC~񡜾1zvo+j&xTzDb>Nz:O9*nD9姛с7]ȸB2@|8";$&;.ɹ) 1 H,mEl;?)!JbYEꔌF9a:]K^S,7?Hhoh@.~աc/ռ7/DHuH vQW0K>=V2r=e/6ZRAhg&v̚x[ϓ7͖orBaƭRI^R*fZ8xgYZ  Zso% \PurePurePIDE/markup17zXZִF! ,] tlHXw<2!vpU<޺v[xX{8@ߒ ;aYeTtpag, 2X[:'h4.:{DmCgュ O.Osg⦔_P[ko| rdɠk\EIk ygձgYZWn!PurePurePIDE/files~~/src/Pure/Pure.thy ~~/src/Pure/ROOT0.ML ~~/src/Pure/ROOT.ML m-PurePurePIDE/document_id2Bl'7 4PurePure.Sessionsdocument/Sessions.tex7zXZִF! aS]A-MՋhvG"uIBm5ȢED:F' Roo-" gNo1.vzXp>p 4fLkS DZw<U&<\`VY`x:UMبJ$\rGo6sҒن#/~F9^O#΅C:w$,U-1NlSO֩ 6ao͢;A.пЗK 13,QW&rϴVc2KIoZC}%gYZk%? \PureML_Bootstrapdocument/ML_Bootstrap.tex7zXZִF!  %]A-MՋhvG"uIBm55zaLAG*),d{B+E#=Ā cWUxOQg6u6W\ٍs"lo?>_Hǽ(84H (!YfM #;uL1~[O?yh a\țƃ/,a>~QqҦk=f!$Җ "S^tȧ{,b /}R]{mhuqXn *Sßp=UZߥaBOq<5y|ihwqP77ˊ[yW;2Ns]:xD`rj~*בeihlRTqX aޘNHƤTb؍=91RG1"H0k>ݒ %i]4Wٺ)*ʲ3uEe>m[yE*UoKܽ p+V\ְ7άu1vԌ3F96o)!}91[7Wq)j%eMIH?LMʢvkQDPޞg C}x+ۏUA W҈j9q^T+b戂 l,_A!X״6R#ߩTX?b3|~;tcP0-Rr*Ip8cXJiY?v[]7 0 ]̋:YTMADlʞ9(텛Z3d+ͻgBGi0UJE៞ep tg)ҁ}N|&$'A 1)Ci\՜k;Ef@,1 5$#'6Jh`f.WqgYZrj / ,PurePuredocument/Pure.tex7zXZִF! A]A-MՋhvG"uIBm5N9Vm6rTpѢ&hEVC*>5d<%''[Skݤөxg0I$lu^ި!qQ7Lv_sYP;l <_[g/z>xm0ė!PRA sTY'Pn?-f-eq6,ԹSEQM*=6EsEA:(' K#Gq]JO + ܆6 `YǏ빛2-%o4QIyj3`S_%pxy_ṰxCpU;kee+KH&{LԨ& k/id .d@j >tPT V=`j~$).طmݿT8cwVs2[djor%M0{S`矉nEŎOGe>MTd )bŨ)M>s.^k,晧%r8L0hWߑj0} [vɴu'k#k+ё6 (툍q)0;nyL}exW & #Um8ZӜhU~RiOg|s%[KA/WsϺg2Ȣ6V~0"W= $cݗo{Ȋ'yU]-+,ڪg𹌣 Jy^UfQ_hଥ,QSSm#06v~4ݺx4&Ph-9H!BjMĔ#m "+.E=ta$0R٢fdzeSHॲi WLcZD1Az:Fpk3̦v Dy4K0-]q_E MgYZRn #R'koRؿFD# UImP`hs)Nd9y-eljd[W0hG w$#r/m\y4R۷*Ec yM"zbxnbKFn_^)sg(9@33[9្Pj;~kA/nLVZ͎NQ/Ybr<43^\,ilkI)٩!Z9X

@g~ ;9!L}N&(֓/$NCdf@C#膀|"Ju%ùŔP_Y$nKaC(<5Z~g#WNdQcG1lYg4J.@ib>e|[ ,ң^R8 WKW,~z tVIug%*EO>6棍)QA>gav,2֮LAhǽP*t9ej9tܶ|AꈺqjtC=x/7ͨr]|A :VG։CBnyc*@w?Mav@G;#LdO~W`4z)n>IxDoQ~0]wl4Nc-~"&D$$uq\WoMQWlkt3*Q^;SV2~m":Hv Xh*^nwyƴnW:ZXV."DJO'Wbl瞮/k8 :'Lvu{Or̽U_("@&楎MmkV78qYu>iN2a6ܟArOň2E7ue (=;fySГɮ"*`v)!`gv_HNK*mޏ D~ten,sFTn>f=Bߐ-P} y?\i)Ft0`.&ZAP 6^jvR4a vM S  Mz+,U2(19TĖ)=| 0VI2L|ixUZ)/\%h]06qcӰM E].ƾ)8 Ȝ6: }R`nx.i|A<]UXg%B)Hb糀DϪ!H#H7b}|XPE;Ve"NcAȹQ1zsOjMR8 4NFt50ې ?C'?64=2H~ɫm V\2Gi27,pgwߍF}WlnH_* :q(ɣ |Qeftsk+/h'r"Fv<29 <ʉSzlrtWY*Lޖ]Ad]jy;}mlZE59.̪"tq3arg ;1r!5dͪu_Q4w1GNAή_xpItT7߁7n.LPѨ>B'OpEz ".-׀9$B&´b7856 xpmE' )$nAr gJ3;B.mzC&RPp/~c Z157VEYBF]eȐ'7zAY֪2bIPqv-]6$B`T34w^.!`slB|G +&[< )iшrk }> T`|:6jcPg>)Ae }#'yQ{D(:ǻɰ4>dq=6*~Țb젨 m'1,,5Ch\$J?\|SfOv9{%t'A7p?Zs5n?c~v\Z.:nFg)#CCB\\_Pew*de7~ O?Myq I_w_;MS0YP^9p*4HWHYiom:1c-NX|wtrNyNĦb%J1P zkcr% 0/"m :7)Fx<&Sq79}/BX:jf$`\Q\yb Fç\*Ìjbk)!i!UV  ]58Zn8 Q̩;{(CsWNhwApI AY ! W6{D-2b/$cuv<鶙 d- dV1,r4a`|o5y]!IP ~9ūqN8<*|n=hͯKQx(t>bgԑ >QL# R68=[b!\+qh3Jb ܧ2 Y";wV"Cz߉̦ ;@_+{Un' ?Ai`NW,gq("~B8A𵻼+F(C鏙l]?ۋ d7᧰t x{Lً0QD+钅9;f:]3':l t]ƽXf{,Cx ˖B{)qj4[•$&#;je82zRS JNբs?,36"Wo3Zij[~M! /BU` $p7d9xI+lejy\t'kDeH"xw8yy|:Iٓi4C"DR? uCJۙ]cC8=D2kXxj31wо]hPm8sdmd fo7,d=f bc ~yW6ni2WHv?3Zq"Π%;sHko*ۉ4gwedc?H#+v+FPÑp^~t S]e:'`$~A]؛[I 5 &WlTꡠ=9&ct%t4΁lX ݓJ/@/;H-_RQao)(Uk%jd-G 1CghA䪙}:J``A?#.KbR&]|;Qœ89^GJyscaTYn^cç٠+MD z>9{KӵN+6+h=g)x$XԉܞCf4qD,ģJFj3).nfc3 \NemD0nW[5lBfhB}FDݟf4_bGf&hő|M~l6 ׌ L`(g;+v8@q7@yh)?]Qq;d>DC@)pBk8,FY7VoZx.kR ۿ aNQyeYd/&) Z^ *TC@t']]xDL.0pR|Z"=ۊ2ѢY1P+j.?+lGt_LuzTG#6QDP!_ȗ;r˫g7zw9'm _`yy"Q6#YpE [{aZfgȿmgeBjC3C G>Y}2Ձ l߬~>Bl؛53Ϊ{ ,oI{;+ˤo7Ю#m7LJxQugN_whgWB %@>i'ˏ9,ɶ>[iBצOD z/nsF H@Z!em EgF|)LLQ} _4OQROʱ)C»[R(ˉ2*|r.] ~p3c Bχgyb8ratZhj'*j^{0ar?M@`kvVd(ケ[zhP[$~ û$Vm* fGQ7[Xtk' j7ǡ.7=}8 ){@wPU>؊fM.T\ը ͈/l\, +ﯕD\-4-]^j1CSj"\/!6fN%N%7P1 5 zhL tl ,^)_(z{B(9P]SuM3Fodx[gY Mn;wۍ~uN`=Hi6] opϒjiKX;pyFƌ ԔY?rhPb\p|%T`~="ެ;h i*l&ǚ"풥zS]G]6`p5´gw@SA8`%4fTM1rD\<_zdXz٘W8I%Tͽ8vؚiB҆&rx࠿HyEBIT%]I%쬙uyB:%Kv͸&PCԤ:SCvck8Hddj>'X bMw'Hݏ˻4#natAYSVY,;^E7gb""ǽ^b":ҙ zhpAl<_Z<8o06|r)pO[Y*J=n!l_-?$EWLjOƽǓ}j.8+՘¤=}|vޱn&tNUfņuW=[{"B#ɿXڇ-~%uR#w}%>mUMMUu /8!H nٮzšZ׶M bJ[u/VY1qm܄ x$}3ƽ=t\v {xŰE9?%NArͣG[ȝ5ѶHCѽ?DĖ%A7o_= /UqsTT A7Hb!W+J#i^Ͷ:@ Nf870{/&zdd_l>TXL@Jh.֏tMiJ>{[Lˢ ܞCV+{K+b Ff8ž6OmO~S~x2~&ہQϭNJ;s@-?b$M{_tRlqۈv,z<E$I<驴E ɁgHa0&2=D*Y6:XGHbfQʉjQvQt[":.QGFQGN= 3rIa4&4EY%>ݿ>~G}@/;B~Mb [x8{nz ;ܞ)T/ 2&Mϋk0P[ {J+MÊ8w_͉ -O u2ձ-ҬlU. & !/h}?&(_gfC7h_H- !kJﲜ8VWKd E)fyJK+}uz# '@扌(=ۉ˹cD vO6uW2Tt*g5JV{pG5WaugX3*R8rw c(M"Q`[ڻ,Z\W-hh";F%m;ـz1 $Ov~KwRxDP LpuU-[bc/~zRbyY,5M,Od:ZEУ2pLO,7`qDLgM.rsؕXK!i7d \J{Y6895.>ƮA)ss4Po~9Y2?ZQ`;X˔$zdr#$ԴF˖|%(ݾrE ~SJ4_v`x<)%wL>꧋Ik%$.f6":sv_bl`x_e藪)$=Cj vvVTf6H.-IajB `X{7 Gy99F 2*RCzT q*koȲbU8sLWd/&ĶZ^8).ұ6}8 Q(>R-䑀tur}+"~ B5XsNqF)2ՊxIg6}"46%=*?DnH<}HGJ- #:RÑd!yǫ韭tb3 6UZsC@ƯZ9 9' ބ6M^鑧z ng*oO~NJ?mLVN.G/4|CS$wmPWI= B!{k5Y(PwvUh&N}4론QI7n ά_ԫpV88)75XZ̚jG*{SL-V,+6Z63)GD^ a*LhVm<_cfxhT5?Sʁrǎ%K³aT׎T89~q rX3 - qre)L#4Hރ|"t~Jd 47ߺR? &iqG;eA'4LwVf(H0h|y9(@ "ȸ=`J@+t&ۼm$)|t#T+6IJ7GtG4RJjd;_RAC1AKU kW؊Mj`z4,V\1/xY}i@XPĻ,rv͖/!3ڪ;mA3euqИFT˃dZR]9&p%Ҁp+-بHjsGqXsP7t\I˫ykO{ V4B<{ Lc @㛜?΄RS3RT47ΨיDmi)PL26yŶE_? - YnW˭Z#X(TC`YeWNV .v YOzPl12Kkd{KK(N%!141-NC f*i9.P4zx;ݫu%n}O&m-5%+~[ ?򘫰0"O9vc7CRANLׂ MɋB_m*)V6#6 Kl18)@g4[<~Yn9 JNzŐm\ uof&%gsxvH"Uot #0Mߙ;F}f#ǻJdfόf2f{Фās週J&II 6#B녀jl"~u$'QYhTkq0=,C#ŪJ'K ̿6vٚw(ػ|Evj(0 79+o.\ q@q) |SFl{b!a"w'6{I!)'\MY Q!^C`G. {cg\%x&8Nw|X-]:}>q!~bf&|(w,p nJA2s <E@(YBajL˺CBB~Ѵ24}W( a)9ѫrA*!4\췽 }MAQE ,Neȧ3qv4`bOz(CՂtĜzz'a}ɊLU띡ϳK>i[Jt}/9ȁtk='BNڻsD0O;r3KH*mA񘘽ì^`3cDB‰׾#_A ByBE?fPԠL.Jm#OH07!)UGPf1Xk{e0vLռ0$-MlRJzn)> AwIQ1 4*l(m8E|ݠRU&/폺̪b؇{WeJRr-Ϸ>3v rtF|xBF>8t(ZZmg6 x2Ζ9UgTh6uMB|$2\ZÒOu 3J >'-SL%dd! V)x{BtbcDߞU}^u7B ѡ>}c 8 K<\e9?"mm._Ԏ{i=LfέZ!4o'EK԰K `~jҞA3CLVs+IPu/]R[tc(UJ$Ɗ+*4)ca#z-z٠1cOxj)H0KyzhC}O' 1<貺 9L}QQ%#Uu³b]x,SmN=t{{Wd6PŴS HR0!Gz/ ipə=̢5Y3jMk0~b߬AX$~u髗N<&G؝izj2E Gsr -OMII /7A6b|?9(*/2K0@wF#8Kk'sy` P.&ξ8pIg|ꯅg Tf[1+dk?W|bO'c:>#=Uae:MceX/q@Vh>hEo>~-*R]?B7Zx{{v`1=k=ra0+k֦18¦j܎Tx복0du..oGU\AȇҩoCsjW&q$ /oNWz}ߩƸ Hq[ke=UNfiKaE#>raeMcqk֓D[ LT iUu\}Y.ep ۶b?Q-J 0w.l>93 "{a~ nf|Oig#.lu7V,K3x $%sC,4gP@EU } C:3Z cn4[ kE"?6@0iOGo&deRK,lwFz_]HrU^5Z>/i0Z/ RK/p4mw||'N5Dا!!7MRL-2t;&uF1-˱+l!db3e|4mGߎCZocӗY ${\43[e/UȼX\N--@3<=5,3ѿ1!`yyRj{}nIMN/޳"xTA;xiKn ͨOLb\I0K{>}-Hbiî5wŷB $y01M~Z:#c*XrHM B;[mS b8 ٍ(]g7%d0lu3\=_k `:[7@FCUi13^=RXI=.K^0,Lb[z y,qPMN-O̅boš׈2-x#`~k4rqa ~͵On-SY,ڽ-?{.Űiϲ0ijcʈ#W"۶'d>pF )QNh%gEz6͂ @H~)(qV1F ۻKYu & oڑĩqm#Ia mh=AsVqm6 v͙Yf@%VI/Rװt}U彻9i.l4EHoJ;(bHF֪ XH'w3ؤ/;bq$F:gάb&eY%26E.7x-uh߬r1(SV8ƈ; r&u\8F8p p`9,i.:IB# ~_(X~$/ ;>jE"f |Tg÷ oxK9Tn"SiH;5H?2H'[kUQXH_069;L &Iu6N}C5\UKRdw_zGD9n~!N(oʳܔE , Ld/&<܀Vj" 9 藿s;$Xkڊ/%=1Βܥ@3Hs/TLEѫx!gT[qί _,NCԐL]TVEQ^2Ѯjɐۜ>7{yw|ʋ h(wP<7a%NWtD_wq!}Q2x'z'-!>uľP_`N"۩lFut0|_ޝ5Am P:Z՝?}++]^RJ1? E9x& -(NdKml]. $u|/u#U3^-ZJgYɇG]I Z>"áV|eoz@GV LU,:P~N>t z9!}LrVdmp3 x6/43?ذ˛#^j"@+ui,Ƣjsx $.4y;P0b[6^:|B4ܺŕLJni+2:-Dn%E;I]?:c-z<ϤRNG'}neH"wwdfw {"$3)K:Bo- f㤢!{5d嚁]M5u0f:# $Qu4BLlmOR1cΫjCӫWU"LˬQ09 ]5 `/ˀurڮn|ҟvyG0)&]PaZPw@\,gT'=ӽk(ȧH9)J >ւߟ"|w4oAJ o,N 5LylI R0SԢ+X_7&@\psVe_92&j0L4tQjRy&А;27Tb?Y; /+eHǭXXYN bQҡ8wCgKX_kd&[b3adS|.bs;D }]Eo -\.ފNхeǵeX(Z67| v'ɁNo 4.a 6ǫYgl'qn˨Kgm ;zQ:!;gf&w};X1>%s"WF3"7P {ŵk๶ΑbpǔrR}zgD1pW鳀>'򧿠8f+9X,W{˛}FLlMhA`:Q$xKu{ԫvX7=@ {}A|70cHim*~kj> i>RiR$U8dضFףBz)~aw1>)GD5TI0cx뗦Ji>/8%?KfW/-_h,Ƕwhh`I2hI`OFFqߝ؅p59sQ 06U ndFm7KVt;rjێ!9Ir VlBK*6V9b3s5NA9-Dgo GRskr@HLp<\Rhρf@(dD7ZݨgT K9c7?( R,vqyaWB[GW\J?Xz!4 &#+En6W>f#ka<B8Rrv=%AZJǜ9+8[)ܞ `^vUuwW"> ~Վ̉z]]S,5G^O b9hTx9\rZ/{?7?'pUo~9{+ghVCLC ׀K5:2t'OJOZ0۵HgsЇvgO'<]B\c~;6m? jƖTsg2'$p4s͢_ỉQS0l]~]Fz=2"=s:9Fj*f^-VP*䬨F0 ~Ǎ/:Wd)SOM`\'u\s h.ӌ9I= ^ /ڙ;=!>j^, e&6\-pQX'MD>wabgrJ wU̫Əfo136|m.HMڥb݉'-* A#Ԧ89Q!<9#+#k_cNg-7Rǀo/mGS~K_n6\>\CޓL\|ȠpYI֘:6< L7y7KW9,Bn  焙Fԁ+j>+WBtL h5Gٍ_1E vn4c'1Ⴀv4ңA|V/|DYْA9SQjEO6ђvA4jjE}ƈBg90O fߥՇ̓' rTh?;0ԡ7"w \xmQa'2vu݇ 뽈Ëļ:^GO!a 4,D v:6z#5N͐˥ (# oy3sLJ Zm-Ñ࿌b41bD~>(b 쾞8"*<[<Y&4-ޘT)_&<} /fv@"EJpW%^UɀQ&s$!S_LN ]XxLZg ՚ ޻h. 1IW=,￞Ck}.o9[KP{ֱpDÊ R*xX<Є| g:;?84[߅:/u/ 4d+H/%+RJԨP"<;Ǿa3NL&2%VU|y{/@t QAb%R`r uGKQESN@utOXwS` uϠث4_akz)W㷕Lv|-V?$6Liˀ%*,zg ~*]z4qx)9ѱ ; 9ŝrz\LŘkUf+HsVqz|&`S˻`e9ʧa`V'ӑx?gzUX'pS6Df%mOӸ+e'Jr 7Dpl(ƺD|Wx)׽R܈Kb+_7wC7͝I!z 'c],y{?o;{& b7?wl,e;C]c J7JȤ$$ ,j/  /(\WW`"S]0dʾAi&)Uwd]R{*X>unc{!:ߴd`)eq2l7sڜ5;;]ī( bDKv%5 #O,FP=} 2[&Ig a?8B,)^ZMVĤ#9T_!\r {M^uvGg7^|:k$\Ӊvl:2\Ac!c3 E(Qb:d$:}O,f j,#^C*nPJq]T9[S, ,0 }m'Tґ,ai6xо[0bki7hiy6#s{0Uu 7{kIыq@%M.87&d|D7 aHDel:do$cZ}cYDNJkhb2sidcܲZWDl{$*Z#盐NcKaM9n͍^.Zh+ngшe(zIfJ-^[qsI|) ]~.!Yc^e/5QQpJ5DŽ%PÌ4/A:k!#è yXE= ݃ql;m]"$іYv>1'䬥&3-9)Wle4.u|yMX p_$B-(lpFe`;Q0ַl"᠍!$8;yvk+_ڱ^UbA`VP`RΓUF\Gd)h[rѠqV;PjH1KD0 X)}EcFpz#I+Ͼ0Ԛ1m] 6Y: )9R*qG2:6OlЦ7A@j,k*ϼIaD30kK\1'* Kl u3E@qMA jm0iZ4DŽH!r*# */t¥2nu ;IaKǰQk !ulC#y 8'0) [UBHS] ~ xcoj\{jgPj5ֵTb9QOl6=^-z3OTZжUy"=.50s'ju?tX?_S&I*rL`OMZgC 15 ޡ>X-NGtɤ=˫st 7g5&MitrnoT֟l۹h?..Y%++GE_^FmD~d=g~+x2|n$XJ10߉!(YeRńe1 %Xg-S~bIF(/ gi`fT`|KdU`4g м|ԫ˷_㰉fRE5Aʺ@=e7 %;).>;7È0r聹 ̘Vj:J BQp I t#jک2T(Kb S޺@ OŜ|)Fv2^ \'D66ô?5 N_ǼhMu\wɯH30j3B{_Op=9٪02}qj *l$DmI4R~PN[zUQ3çNKZMo [e{CaDJ ͑da q޷;R=n|>}0IOh Ѩla .9*N+IF|aCr[4}~ 2Auت iv_S"]#Yp)b[υfCB]|88ZgA6P)z? @GCW'U2% x`n8b=0!!c.~~7%K`5=EJܖ!KI)>y?HW=c;tI~~"Ц<"B(;qZq=`D/X|waʯ!HS̋2D`@PH=I$G g+鴝o~M#0?_}N}X.#c/;BM9+SK Z{: j:$fdQ"=d{3|vn\-TLNc:ႸyfɎ/Wytrąz6BKcb| 7ymѫD\jūNFD}F{#TQbU/ {۾ oX-$*m:td@l]ƗiOLl/uqڢQBNj4eՀuQ4?A\ I+SV"a3}j=%n0Xm+T(OC j4f=u{l m*ߙ`Hӛ|1 6!bndՂ;D0Wnן>3 ӼFPݾZskZSw9Nq1ѧ$lΖeRei+0>0 DM0OaZ1ɰi=jD.RC-6@`τΛDԃaF4/EM[ n4BOipҊ$>@/Xlܣ䙓GKw-g6OdS-{-E>//bGs[ՊޞU| ޕ7Jઉ ^=ReO[ qqݝn ,BG}<~͌ W.CQ"tlqOMf/&]v̍;Ԯn *Z@v(:D;z͗lDGKcȄgEn'LD wI(B>>BZ7rLwg-cصSiWL?H>@C &EE^Ju.QOR`t,Y $H@E9,0to!q_]6.Fx\}"ee~ڬ+˔Uy~@w>қLЩ.czX#=Y=0foX)hcߢFy:.bH;w˚~m[b5i-cBU =)Od:#k9Q9RJ n{'6IoDo츴mؐxx*7cSJ4ZO0 TLVv*km]#*BX |0)U^OԼ R7`W!'OCJWn 9\b8d&(:Y= '[pl65'A*/*_q 5 eS oUEf;8׹܅!jeI\e° qeW^edF [Eƕ7('pϼ2«V Hr/8:]Hoֻ7G`| ĸZ0楷a(ܫԋ(vT{(vUQ>w \x3AV]Yhi4{,Rewܕ BCT!אWc+o$n#R<8WJCe/$T.&$>;FYJ 9 byn G6 ({R+Tfg՞QLq_6?oD#+I*wG[=MT~z;p?V&kc^'U\7gB[̓xڡWi[e1E2 Aep@ccTp RFQM0אƶr9Ol`Ajt]'yy3A 1xZGj/òG _ht";9'."gՒ !-9=pgSn4Z7}0x`4R^ʑ u2A D[ L`u0Ukva< +qb}>eXOP1Q܀VA _g&Ro(ڵ݂ W 'ga$‚NWKĪrvm>GaFE}Eqѿ?_t Nͪp^wT]՗UsBK wt-t&[Haz0;1䠏yP V,I~*]KyfKc~Z|4͛Bĵ0U[[猓sMRjk?1x;鴺{*koo]A{qC 7g&I`ɬ9z*NSvkDo8ˍB7oɄ1~)gLo!gGw=4&Ԑ޳a1"VyJrzݪjlNpsŀSPQzj1h/EV,yepɩ7RjSA "0Z?ٙ}=nQ*X, 4|?H,Oۤm|Ad:otNnATf]9ÁR_ѵbXiIVnkdR!)Zu61.%m!h>Ih3R[6sO~v @?j/EQ)U_+e $>e4Nz ~iIxho3tV {[E,Xm46rd-v^R77$jFf[&A!dQ4 7P_.4BxФ+. a0Jb6):jEXGLdYؚ,( 0vŒ0noA($! ]4\H]/rP*# / 8M޻9e7~Hs%}j92e =zhZ_1Z03"}ƣm$Xh(WԀ 3.̨zTMψJ!j1kw1B}G;n3$Z 0z#9zgP1Kxsd}bm,F(S!k:Jq nW1ED1u@}Xi ;c2( 16f&fA}|mʒO:ݪ~D[␨`Rغ$b2+mcI1S~ 5nx@* 9"QQ-sGH?k#-!S EWfUM'|wt,H' ,Bkdr,eC(fAk'9rpa g軉㎊uk|5.1OKŻVT'I=~ojA8}f/"FfI>k `tUzG*ox`DF؈Fʲ[gcT}&2YTuSMGU:ɚhr6bJ\j5'xǘeO 53˾O&ᡜƓaUK!Fr3DWU5m 6lD:RqnC-v8݆!*[|k[.`.r| gtU&y;}CL|>۸ڊ5n88Wjtbˇ1 (zc‹-rS,+ wVkr.Z'3Hn&>l+P/u^;ѕ}[~M1g3 |Z$V'yA%Ӌe( ^6/r6Y= jrg@{gv7C ;9벸zFRVYёcI6$rLN2+k˼DEwP$/C6vMrN-Jp#tܥCMQ'/7 4WgԱ((ηocTlZni(G^DNQx{1Xq 6>G(`?: (<1޿_"~>R;Vʒb6΁H_lc`5d4Ҿ]' Bֱ2 q /YYW-b|^~Z½5t} >N"0U8y'YGvpjϦ'v ,LJ- ѭA"ꔉG*䔡Gb)jو⚏(.eZ]JgHԪ%&]V[Y[6@N3  LhĤ1!<؇ q%![IMBw΄mAt'MTݧ4sEBOB"j'w8~hE4Cػ>#커#T^Sڂ=%n/C6zUbtӻ^XZI˸Mq$!ų̈k{  |ކ" un08R #D05%Rͱ"}XeL.ՓD{pAS)yo-uQ=d^)+{Nχ޾'6Kѳj`9GDi#֢:YB/y>K%UPOί)jJ<2zɊz?Z@YdͰ] i 5įVraQ;PkBk`¦aov闒*mogja* :,XXGWFAsւGcw`l+e 2MEaɝj,+B84N,3q!7v4ǻ;La}~F1*B*Q&w{}2J/K3c̟/1V+ni ˴ǼD@=(lOLU~(7tഅ \#pCU];#M%/ }xGt%rڥB!2h$o1$ΊS" DL9f}!khPخew]ibXX<{rr\3'_$kgϖ7:x@жtS=@{u_|ы;Lճ7Ѝ5@u훸/MJ_?!8h˫{ 2ZSXu^ ": c,zA$ɧ. 88,&A!{.^=۬>,Hy,* ~stl`9|'';GnA.y]>8[rmim):zKM6U^>{J67o'+"0x! LLVP87c eU(9"1\" F*:e=FJ<v>O*y &ZlLȬuUcB혋S<*[&^Vf![I1o 6\VtY 8 u; =} Iςl[!JiaW [H +iAW3qS^:],/(iJ]7mJ dF;NDvD~F2G<#ijp0ͿP-=uGVmpKnLiَRsXg2o:D ɪ?fxj ްM8 29Iq`$ ,)GXİb qvkh";:BZfyVI[NY4PߒFR+ih7{Z%U[Z0zwGzD;nT OVckg 'fTG+utZf0caX6Ʈch:ZZEǸ@ء M@:]~]aԠ#ޞDQݷwd'nT`;d~1O%9I׵)}|^H&HPژ ܖ6qYsG%U0흰Qv~G*b,wRsUOhy>b?9DѠEt5~M>.IYCp»9f?<Ƶh 7B}P$#WW?$őJY{J(wcd6R3fb]M=/o>$ RQ,P<&^IX̻h[O 1> YP<ލcۘ^?Ȼ=BG 1k+}( mRI|'*+6*a]U+O BXYX =N:D;>@:KE)).ؿ+:ªwEoC{|SR[GEqdi8SLZ"V#!bNd`N٧-T+gy2HXoA}NqPEF-ӹH}M\-řPQlG0cV7!?xDU`A!z/h lck9\$~+|,þdKwi*=Q5~@q x$}ps) Z$!D|Sq3*[UMee}% 8/FR#ezZ.dO .R Yqw"ЇE >/`J@P%=Uu:/4=b 0}J̭04by{a!`׻ YD},EBU{ 2[ iP?M^AR8Q!Be =$]s~G&YC ,Yd§5D͏,jŃmezsm_@N`(j!hRK5/eH=ৃί'QWK7ip) ]$VEC31<UjW6{d_,?s&7Ь.s;\Vh$VaYvg&0/)R䤡߷Ѕ(eq+^؉A_ٍ/G{W眽.M?r ?I'i!83lmEw %@PKk9BKF7i06-Q>Cu!: kk-COB]Twn*&0O:Mݾ~K2h٥J2Og|T-G޹wv%ڼZ/,4%0|X( s%`o: W0Yg@[Ml]8b+.յ:(S~fQ(6t"flp9>/TB #TvRڥ᫨רs=Ƣũ a,*g>.2K3ȽSjLǞw [aj;h_|OW̾ЙeUIDxVHצQNF q\r1z+_@La塐EC0yc؍O+uYݷ/~zҬh>'E@9:p!oT ŭ 6˭cwv-vO&|fFm>eHTSfZJjW2: PrwNXSV&,zj^H,HI Ujk\2p~\.hO)JXsOI[*q>Pbu1n^W؝~~"T.b%s|mIAYA9?|RU}6d'@e.'ʣ+'K7񠱧'B2IjfDLUMcAV~=/7>m\C&<0j|_t[4;"r#Ԩ^7o2 2MGXFSx4~"-baمWsF2"Ӑ Pv ppcYeī82}=-0oduʣENaq gegNI,̿ܒrQ w5GЍI۰^2ff GF[י$ZuqU-Q}gi{aV~EQm>dl$~xƘ ws(10 ʉx+JTe2~ oE=׳Ҽ_w*ЊO =ٌDdy(4'uյZh׸7EVȇA[B8ip m_(2Lj$lSOo8m~1Ȥ]ʟ/ݘ\6)&UGzȼw@Μ H5ai <4MfՎn٘^*X"V=O7.pOԔ>ԋ^Q=]@9+:Z۬jÅ^I|9"v Z[]\ݞ=aF:+DNrjS_zi%F_ȥ":k3R`c4nNJM2F9H4Q3^JhxW~զr<=_$=qG:c]5S|e2@[J濍)oXҨxB -QBpKy0@'p.ňk<ۃҭh ܸ7%8lhSAouHQ":[6eVKkodPtmRmSXBoD'$1{,ຈs444cé!j{A4x?W=gᆼ^?'Vy^Q'ބb@Ὅl;fl,8=Q3 F-qpإ/jsBԩNacibT=er亽h[3$)]䖏isB7HF9J AX[vpH9&| ~`\ r;*gcY8)ZC yYh X}pr;&g" V8y{lt Pߖ~K3X{\]aai\$/ 9Bu뗹ǫ6ϊUA?DDϐdxhJ:qmswɑF:(#k%mL=; r6jPk„by2">O7Zz+75OS^:ܐ8)59i_jy W۲GL*i22{9E5 ^ >9v񶭶T;MhO@NL*!D,,wp< V*@hy\%-ˁ!mif+|ñ }rT+Cm쀟͆$( Q<|V{Uh'5Qh+{酷}`)JƢN=ۅ-iSc.Ju^1փx>|Lɾf4wDbn,Jh%)-w3=e9L.hFXsE EܬM:#~XOfJ^16%QYUC[ڥcP֞ݿS28Ho^d?t5#ud8Fx #iOKƣGCX(d7eڵ1~,~K:ڔ*7:i;_IbrA[;/K AiFOq̖48xÃOXY.)xs~"{Pq1^n&=GI>,ĺ J4#(tDS=R6Z6xn̥)"8zOCl_:>:qGQ?D;⾥4#&@ 5"LkW?y"I)T~Y5շvZ fʹnqk Y4lScb(JMJ0SLRɲKb.xA?B2ă L+:qw}?LLvMq0Y1b~-X)3=VgH?!nڗ\zS"&ώDSlr _3]&PwٹyM]iRL-(Yk-ﻼ}C2bo| H 'u6a=sWd<2gaRyr!¨U- qt'3PRpKJ2m76ÉF%gRb_11 Hnt<݄ ?aog=vHw^kOgۖZټ9dl,K vic0[t]% I,3`y||z0St|mY,M{^^>;CR] ᔵOƭ1z~lBNlel`ń [ ذ6:"RmS,o$Ҙ"Mwz(A]Dx~Ɯ;j6awf#[҉X2}Q4UG`{z֠-պF$YrY=[:GWXȷq*~]X<-QWl}WjËΌ-rYǜ 289~oA/,qp_0v^/ϑ k~EJ,]-Jp7%ϊ 6TIE+_캒dEa"k*$?$TЊQg{3WV:/1Xr 'Š ӢލS&0vzI*QjM[ծo'tF]q.pc\ܞʊgH [rڐw7ޟ<'cG)*$)!%pm(A0|/zdN؅Ϯ+$x$|WuZyAfH)㵀S J g$ls;7xU -sz(__X4:\ӗz ={44fEԗZ:]nR_eYyԒ8vw#l\%>s^gHm)-wj"^N!ۄ;x㘹q8ikgoCLe@ź)m7)Q cWS n,`z91u1]gNp{BPy.Mc7޲37x' ڕۍv&'6sIff[?ܗE}}.H6zsR~럵pFl ~ҍ 1 ̮f nDڇi;WY 0πCpMUP%!:G )%5Eh]t҇*yéQpVҸ3Q@8Mꭄ>5ٟڣr9er@vƘTr?r@UHRy4(].fgZݰ5c"BIFL"@@7h>7ӢZWuz?yMG|5&p&qYo Fe@4y $q'HFӕ{y ֘#aB o(V"P_#dHl&$| (|M~qPo듽 ]-YyҒXf8f7?, XJӻLAZ=jZYυrtt sUGܴ"PIk%w@.ETRA(ltA߱qLL&HHƳ6G.4 dJ FZa58(dJul.z04O&a/F9vG]F K0cM4و ^(r MܒQAx'eR x&) Z(_2ZbW_l .{SoM*Ҟӣ ʰ?>A3im n>7we釚*|=D^a⍽^ ū#'n lNk'C))w&fJXw%{]c^HݚJ}X!j)eryXmC 'n)tߠtqΙ]7JaH]'(qz s;''Ͻ`u|X {U0,?-IageK {Qҫ]pCHZ3[O]L=!x$P; I$Pĥ @C4¿=pj!i# ~xw'5sIo>5 7Rڶ1vk8fL/$Ӓh n(uה={}P&#hg*%Ȇúe|$NbB$H3iu-Łi3x%:_'-NƮbj>{Giw+ -G,eY #w# 0ĺjH$ 炌XOf)aQi۲7Jh]u/EJqϳU.;*/'SLDՋXo==w8לMWsMҐ]C%\}!(}EO9}0[g z]頸I`,kj$&'>EN pC ԔAB_ics]dCԔp#©[[v5Ԥ;_GWx^-ʷʡj2FcjafLחFj"9m^S$,ύԩǖN_z`/K8m-bĶ`v-,B4=dKpT.ui~\cLCʥh29ۛlR(1Q?9*AnL=?[yi†7 d7MʶɼFo'*X = &x.ػ6ˆ4KS Έ7Ȏ5<á/Sl>x0TzLyx3,SInP/!^v+Yk,, 4OFizq`Dt8uY\ =WҀiqXo9(Q?Lt~C K/1%%Ej0}DK; zE'v҈$Nh(_41,:1rɻc.x';_~K;b۶!P;! m{S d|@噙vZ$ҮvAX0%~CT.+aIߦ:dm1՞2[7*Sc?jJ$JoS䦀Gz I3g̷|!&OHyPOvM:[Kc-oW1kXDҀyn%!זX䔱rъ<-/]G@5 [}T%X@1z+ep5Ԍ UNj&h7dN W݁R=IB띦ӅLpޅ=nM6w>nm- TZ+'Τ~Z*mb{cBY^ϴ>vSaۯ9STjKDy\hd$ch/OS"e2\k=4r%urm-"9}jӈ%ٹfmͨG5gw pTUxװe ѣ7&jAϼ g"^gR35~DEc9ESV.-d5^Y#F=-z iN$`#K͈߹m:;W HXS|:m# ZcMAMHH>Q74V܉pAhC_c 5E{'GՀEbtGخiq3bJmKKsG)Lix;1r/bj q+HLgRMbwDi" b-N/O sasZG|M. Z߅EoSMM|(Ak&%Q)0aNCd{6|gmQ8-]::7h$,,˧l|Կ j>=w8t [|pW1HuOSP)vx7W ֿHz]?ԃm} 4woj п>ՠL.Fr״z#(Fz%CWe>XasMjkٲ\Xf_S#(BM&8*_"cyy(ɼ ʣs]ѓnuar{+cm!,@8Yj7NU?D+^| j0J.sFT Bkjʴ&O6c!`4݉Oe'v=;?(rtԻPĩ'byo\P77^*z950`WU_mWK n2UFL[; )g" r"s=7Avĸ$ǰh`Dρ&]PsG|[+.)hµ0#\"tQpFUҹ<]ErMmXQxnDa{0\dE(\쵾Uh?ϲd g 3\tyN p5&߰uu52IvinQ]Ӈ.J4M3Q)ahym#|E֒{."A_+ʺXCūG%uu6QtAǵp ȎzkԒ} \ #:@ T[ΦgNޱ[[bj ׬rGS%ٝ"&kZ͉]k6ܼJQXF8@]<~0aSLK9Xp!Iܿ]~ >5'6w8&#ӫuT{Zu̧-(J\Oumْ% 2\*AY"K932SK-Ɯ88O$v;("GTP~uݽyNu`knW :=NAY!\ui8_>¦yN%CL ̌"ku\}Թ <v;Hvڥ0W $ָf~oCb}J P7{}1FF ;)׈f6$O%*m8bǴj̺ 8$%teƌg';,67]_N?/ݲ?b^~i<&(UWۍ)VJFpOy/0-A6t4S4N h|/ABYh42cS &λujCm:Lcjx* b.K6KjWWd 퉂V_Zth4 &|͋M ToøcGE_G]6R5*LZN)n-+41 GLԦnLHQ޺&W R5!Œ&j+h ,htnTWr arD`-utAgd0Ry%2G}d&)m0nZuDC*5rK[Qpc곯 ݆B6o!KģR;{np9,EE亯߶LEv^0Z2/mC|#Y!Iavm%D{)^=e rhTSχ)? /^]@h(j`"3pR{K#lda9upo2r-F,) ç/rg r|WV~8_C~{fd'@ }hIg|D2q`<&a;` rݛ+V]>4kL [pP}wVmyǯXhΥOur4ԕSG}?{UeJ^_މ] J-1՘}Ձ),DzxR $<Ρ.oJ>v OQ䯉y' kĉHiwk$}xBBJؽj==tc0˫dG@U:YqCFX[2.:"ʑi[tiie {[|iJC5P=6;f^&x|UdZCI+m +U=xA`o&¾ꄸJqWAiC{`vc!1C kCwfKL`q:Vsf{vv)ykE8FX,Bzaa_x4eg^?ɫ%Jw֫1dم%IUA) -KiӪX\-p6HnF;.yhv"?D(}pmq! o tk9m4ͦdJ@v`=fb>_DdžuWD/-JζsKt@LGv?;nI 2U0_| zCkYo~4NbnXYK)bܐ!@#|2{*p[ _)'(-^6N;rkoeYONY3oԭu)C#[3k+)H uՐ [^lbDD5PD!Ww?ZJ ]Tvܴ1ćj Di =ˀ HYV@r|ﺬH%rGR1#$uĨ5 ib-Iڎ=0Şs,dsV")]xz MEAxS! Xu҃OL"IJΥsRl} {B?J964SuS!//.5IcmMG"G H:,+z4bh_SS"&&8D%E@K: ^A5DjD>|{y f:0 Vz[db`sz8 Y=y 5DƳ$Tm8 g sa^㾶~B~8c;qJT-Ix/fG-o|z)%yRqsS8^FF"]c0\zou-uT O;ۓ a:$_+1V=;N*3 =6e==)*vb̕~=BOMۍND \䈢LUJ[&iA-i DsH}(f@ЪR.tQT -2GND#< DpD|NFK؆Kk 3Art7mI?ڟ TtD>ʏ AnuBPL5DI^JR^m?%jSw]"^UGD-P}k񀴪d7B8h4Gx/19qfhJBG?#KU4YhP9}g4&!Y\̛8d3)TK*y[@oL!5^AS=٤R3[' s/p"~c _\Eo#H=?'~+!vg>E!]oS%ITE ü;Tmż@'AD)ެ|.V.V,0LP~]* s_fuv.CmUB2s$tKҏ|>>Ƶ'EfY٥ȝD3 a`$(Qx~@^4Vh@X()fϥS[-~mBOw$dͿNeR&ة#(2D$܅̹; * qQx y^\FbsuV<~l V' A8Z .iK^`_>2ӥc)Vt볗Q.۞|~jnj~]DPd,3Ϭ.Oi)YOZ+GpUH4]S'$#/ UKpRt:[ځrnrD}yL8&Zw"=>qY2{㔫͇3h{2{/gRSt=pI֐Yj bɷw&pƯXՉ)7u/Λ҂\:W YvqG=uje3pM(|‹KVUqmuBI@^cTGg sFWYM/b6 ЂK҅&ZIklхrAw<3r]ŏ+ 6ƺ_o4QюF5XPלB~̢n)rW_QS}p@H;ɊaYh. 9NB$BN)U$t9?޵ߞ1\VԄ?Y;{9WY|V0K>R %8SGDHa[Mʒ4?~B.Q]ig>|W ZE "b5*z8k*F6j0߾rz DB~Gj~q;%?`T/: a 7yY2wjS;uIvR\]N=frl~jƯX?3i,sJő?FXqΊJsMBL*7k$.T35-!9m{*@';Q?&W?ŋ ECxP+"bbؼԯ z)yej8;`r4@ YLɌ&+;g%PWx Zq& ס̲+bEA*.sGD,*]6ai;Ex499NJƑ#/˳fBGI:MYd'fX"ut]tύ q3ҹ,ͅV`Ⱦb(%4b<\+K4uB t./\DS]}P*?|Tr;+|#LCOh,N87;- sJY&#Uaa48Z]JnYxth #V8&Ҙ*FMOJpP,v3XRqy?Ȅ*LSHQs"Xc\Շ%`;rdڸ 0Y e/ g΢s=RϭJs!81Y{+n@y~,m ̄ έ\(B1#.Uuog&}`1"X;2 PͶue$eiT>)$O8DSg !PG3t^4jDQ7SGr\>" ]$yVmpuRN&t/+{tfOן~mo{R v7Vq%́̕?'0#D+6y dxn})AXg8w)[FiT;՝DH$%H9CGB-\p.|/ **b)G' y!R%QHё[vssŨh`W̢+ L/yn)-)xs!Ո]3]W6X͠ħlJE/&AޝEvB_'l@r{6 e*9>Mk w 皵v6 kpfEő)@FIN5^F&C&95dҟUS_8}R2Lj4kdQOzBO@MW.QhH 3txyǴtNUVY hdH@Fqkcf]<_g^Pܤ 8N,VtWW*P W6ywŤ:S40X t ^#۷K3i' B |? kZww Qdycl͚BaX_-  @nc !TZ>>jӬreö \9%(j OrO<95-G8doD!8ǖ,۱mdlrXHO74{n+t Ʃ^\@\)v_tca9GI(:ǥЁr gy)(d0ĀkЇCҗ"UWSGJWXcپ7@Im#5Qb3>]~=͉bx tye6dZa)/'k,'d_PAЩb޺5kl{MW<<¬ %EbHwԌ[3ѫlP;y%j 4W50QCLV&84uy >+ ~"g>-W=H*5[?*cB/_ £3V`ÈӻCžEz'k/2npC5-bD8|'줤z~o\R(]=4867@|ܓ(/LXsx(#~ 91]/%,e7YdXj4q<!gN5Ei~ǫ3Zh\I ;tL]&4vO5ĵ|oUd>K 't"-w; k3^n_+D + oDoyL.L eQ*7@lS NTY]99#BI12 PJAɅ7SR`u\-rt7q/gM͏_2eBH\MYZ -)4(k).Ÿf0= N(Z {q 泶vh8(ìAA•t8kOZ1sr&z,aXrԁ5.X P H_,xl*\gr8(gT.nNRW-.d+ÎQ38@ kgL=Qul-@_{8s^2H 1|fFP<қೞ܄sL +3@OrJig_I.Q] Q_0kޛ%/p֦&AX8}~B ɦvh0+|Z@[c /ղMGA T: ^='i~BG2RZ-gA*LKw4~u6|,i+x+>.c5Z M%jF0^wLIjzqybP)'ݰF|z/2'8,hv%[ ~d*s}$D79o% zs~. < T\|kؚG+drbۭ^B- ^tJI0ӑl )sӮVQPjWӺ{*.jar/1?5F\ބTR+Kvt "~燤@gNag}v2#f:&}hq{4T Vض9=;hj+> Yv?npfͅ}Ci.M z}go[ gax۬#3< Hl!! U0[al{̥X!GJe?,`(/{ TWbm%fsL =r`8(;_6`>tzRfz=ͱ62khsvQ9~^͏+jjaxYrx]PGyd*;[: $LjVەIc7MBǷe%p(>Egb#"wSh=`ƵZ6 EgŸV()vlQ89COē,<ӥd o>GKq}XIReAW/3:'3u>!Xsld ?qyaxMN*JI\2@w-^a.W JPp9a I1z9NH'rDjkۙNFՉjz>IXۄ2^ ڄfAtUE0RO7~R6 ^=>B8'E܉1dNr+!ϟg iwY=t-%㝌{v'6TZH. ۵z%I3 H_~B t_*V?{VO5|"- qdzB̲ю0爮r,+ ǗF{Zˎ5,;p<>-n%@_\9tLm9Q/{v1_Mp%%#-1|? zvCS9HR) ;hRT=BfBmژoC8ȆOZ0e c_0ᕠ4ܽXaS+WzϟXgPNzy֞fF5f/cW]&|:+["\-65`] O$QmP ؃5ɻ0&1Ȍ6U֊Lw4Ms9O)\WMuV_'Fh#g ,9Pbfceh̏sc996C7{|u% '\vˇb= ?IFp-ԦkCUp73zSP0 *FivmuBtߚι?)[DZ%jJ8VPUZ.>}^ M%voO*P[ׂٓ dȅJ( y-ch )% v׍·ޔ_&-)Mňw}%cZcgFHY3,sK|5 иTrNZiM.c4؃F[rK m+EKDrHx*Yb=U'"mQWmS}>)&C"5m(wcg4Z4m}׀@<=j`DubWa7ٜؓblY\#nXvbLsL|T)Ie:_0hbp_Hp'OHDZC9ܜ>H.A@I gͺA`(] #l)$nQ3 !}C݄Ė?Kx[bgHkEAiמVԙ,X+L/uR4mp7ykRQ|2Wc3鹻цd"5LB0C,G%qfuQ9U»>ZZ[rblTV ##cϡ9x(ӧ#;j͑°^^C5eb奒K+#'9ITn ;i`mUS0(tXlJݬOí\/0]S[sߤ{s)ގ斣iy{q#z0? ߡDaԃݡZ»˖,„Z?ulĈeeܴĢyLrʣA[Qӭ9}9w\i> l~Z S^ƌ̒n ~B|aZ m??_p( 'O?(2ʗS++Ug*`t+r&teюm 'oU銟6?uc\,lpQPАg_4)ӮjhO}4MtsiZWRP"jVBPkFr_ŝ>h|CVm8-mLڀ`:Ga@0\o }GuZc+^2m3dj˴ X;+D%9eO˅ ,z-ɨz3yL6nG 8p9>!qm*Τ:-;siQf wH昧 <1RSj! 󡡭`Lc1t>U0\A_5ѭy?.)xQ^nj)&̉LߴcObfu*7sOl8x7!14b|{;Qwfe9KȉE-S0VK DS]inQ:|_t<43Z֡|d-pt,h'X4툝|`gm{`acS..w_P9yIUE!u!?jhҗpk2Ya$H35'JY!8T0H` T:]s.U,E [/K}HK|a҇* ,/d<>278X€4Kq x)eJj7d!s*14f}:bx#Zow.K@s˃k{L&JK,rC&K] wg#eJJ%Ahisj.,bf Qa[!i*'\gIyKj]8^N$-4ůvffN'YO/)]VQ!~)vh X»?XRe3ͯ7\?)yfb0bDRqūhk\&xaf֗2&nw}{\d%$!޾Y9ssKUИr"` lpGlV &['O)ɍ_ )".ĕ| .#v%kUt@(.VrOt6uk]ۆ%јe4NZu`W{?35ڈ!T(߱FYk`k?L0>\1K{[}{,T >j+[пߕ+ /k勚jh2́d m-bCZ$*De_Lqzp4* ; k#Bk;4n0.b[k%4Wƅs3IRilNX 1?myUhXڔ"H- z,;ql.!ڶI,Fs5;DA RVr@ҋ,HL  DEmb[-a@*r =LȺ7Q~K .O8xeo;o8QPN=aͻj_ J(Z~4m~ŖN:x yy험_'0%'tz`Khk!B*iDqz LS:b}A=3yҺ8+.o5d,KQK%F#s}O&i mFJ^T{tP"Bfmv7u|Al5 7L(HM!g̔ziW8z>eK^#/)t;B"eY*0 4Xwh*%+'牀­Z7Z-K[X!E{^-3-JC<VV49p284@j a(|à>mIa"F4fS۶QOfa ]B|H}Q(;$7opiBAChTGg K l-oM1Y" %ɋQٴ0zvs9 ,UfR~+[입 МOKI|xBR̶(<]tv.Ǥmy㵴}2~Ǩ`h?D|GZXsNBTM N(6 ҮGۦ >n)Lwghl#N~Hnj6/~;P72@evmO &f?͛O 6UڧvOf? J-aFڵ梔5,ZZdGa2-.D+8)nPp&JjƢ̋){eTQOB@d+W^){f `F\Gʦa00{M~s#syDDv cԌlq5'[z:ͼ#B ]ex J.X7^K?+# 8,3ߗPjA/= rY9 Ir gx!-+\MAvӊ%+[imJ/0ㇹmGn#`"葛(0,TvdsFy}:8C-}Gmŏ-SE; }mw S׎L bT؟fsaF/i,APO zw7ALrG'DۀRqfJx"?i"?o? 94V :0q-˲5*ָ7D"9+<~RՑ!uzAeg ijRWlUcqnYr*%^@Zb켁6-= Y4ЫZޛޞEFsY"g;ܵ`4P=Ľ'|KX`h.POq~\SpirKm<="&`[q)BȁgՠՖnqqqV٤Ķ*w,M{߾eZ .c))Mz#vy!Wdr'K%r*(2Kdf|ˁ`#[H?$ ui#·+])5wox  MK?oxJ^r 9}~`G#],Aw1$ѦJŔ6@p{{aᇱM(,v$su%i;0YZ s%!XPureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-test-f86ae3dc1686/x86_64_32-linux/poly(r%-PureML_BootstrapPIDE/document_id4q # tPurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#Oe}ț4!8 lc5Sx8ڔŚ]r9;kP =b~};Ǫxhl8㖨rS0c$e8UV cMf/l27T +mI 2⭘I'AR5hX_EanA(*u43mIUNLt:>1G||EXn,1j?z$}5$\F n!aiq$ U1@V wTpe#ix N@"_? +hu_TMW3N1jUPc"G oNjD hl:Ppj\,_Hb!㢜4 h<0P| a`d0H${d d&yj[S|+ǥ T`W9 5>PF.r"5G},%%$'d V1uѪ#~/63#u(G~Z9/e[ڴ!# W(̌aU讚+?"+_]޻QՂ&_}Tʺ)J:@.Fv 9Ѐ{4u:X08ԾٚʚiaϦdM$Vr}<nj@N *2T3S)r3|@jd [V.X7 cS'V&@Jݐ>o'8DA *:w'!cBqb]sׇRL˭~ShKgOiEpP SFnW`;6, :zhW<`[InLZ.O 4QB!mS_|Rr"X@I򄚌F2?E*To݉ [#u K- W?ǪPV[PV@ xXȕ5 os+!:MC6T ^?\xc>]HZېcFΥM1ۂG&a L0ߡl8ň <&pL>]&.:&@O~o|0*{G_X-uWv FG̴e s π<:z}jOyrC }3֓y3OsKV2wI,.>3DiVf ]39bkM k=8rKlXР53N5QPk m l>M`:B_ioȣܣ_Hx"w $-,oN:]_31^t f_Lyr|xbL[1&SzL T>> ƻ,oJ‡r@U0~ـAWWvr7x=y\;n}ĦCZh+h}:Ooٯ30ճt<ƛV25ї`W#%gt%# PureML_BootstrapPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&'X K ˃ r5ǔz{w*6U }Ɖ]F ^'mkZ#/<ΕnbRi$6;jRݭÖO kno ɋDŔn;LJ+{W_PQ;9M@`\~0}Ugu5*6iUmwwQ5ftWf}^J|!=q襊§sM2#A SXaizU|9RqG6- ԧ#)Y;1,Г-l1 5h8E2_b^r9UFs/~d'Ip> EHK+NZ~qP37o;vR~"߃~x65̏B9Ӡ'j5ۻ ?f("zSfAբR@ψƓ:тw|6"p @L?:E]Kxsi*| &Gk&uVq" %TwKuRGEp/ q$btmN!8U72xX'{wt-":nlT:RʉR"yVl{/O>` 7}YM)].uR]zcc~\Ƭڸ~pfHOqN b>Q&L<*72rЅqLcn M·, h$޷9__2+}&[s \%˳*2oZybfǬXrd|8vФ2ͣt9R7lNZx}ת@d_<72ƷtLFAM|%_!>0ifOo͚P)j~j‹Ql,z.+]{m4<绘t)^CK"-~"pPpB9 /SpF 9%Yz#^6 q`,`)TNWҙf?lƌΓoUC;{G=*VBiT|U+?fp pQXڡr v<8MS49c%ΔB8:uG5068F$]mМ;0[ˎ%J/ޚ>(¾{'րo_u2W)܍ rbX=dS[ gbQ{t09y ف|vʂJabY41Hݩ6Qw&WsWr.44_؈3 t K9,6]Wh|ZnOf,5 XsLm;l7زz Gp_ԅ jh*≮`oݗgYZ^`DM$Ggxѿˣzm0">4uRC/A7Bܳ,E=08=y*].s7犢*ujkm}c@RH,Yu](Ch 1y-?Լ}H %;8/2uK.,e(6GuN-XykDyyU"żX>mB>DKPIڪ.\[y_:qB: h!R\ gA$1x5 3QM:t$XG']MڀH7)FU~ݽGfPC.bYIn[{k~liM^ G"YBqŲl,yA@FL/L O3}Z>{6 vZ eL.ÌuFQ@+syz {7BӱNV,do Zx"Kn>Qb9`7t"i MNzDo>9l5j$N{׍<ֺ"a8e`͎BN뮂| De׎Qyw܋b4Ό@cln_ aNSRSYȖ`3I?_GM&U/sm6RRO|:,y]JV}`o_! $-'\2\ƻTCQP\8BG0_-#Hj*ۺAmC}xī蘍xHYbb>kZY<o"}"5[ݩ3ĊPȧ"~4M =y/9FA*ntb1UR)BĒ2p`Sv&n`qݎ 3M#]BVw+prGmZQ[oՒ?_TGj7u;> s>o<5pPZ|?NBAQhRy3F^@%%xP<[o3F[۽5Z>pErȱ `5 g0f_+I@&$'j;J*Ci۫՗z2aC}fB桄qФ[Z0l(f2NJ*p&Bӫjw 1!̍{ @Xn>jiމHB*Mٗ~SwO̖PVՀ1+fFCe9at~.Wi<7oJjfB^֬:0_$sтcbg:z75T2FNid:oCa.ͽ-zwRǚE#V)>.X0_kHh1DN6}A%'M`pICKr8(bN/Tk~V>$w08kn{eե\ s{yc P_JDqnݹapyxi\Ecj7k2[6/W:2)K9~mkpmm/4J @gnpJ L<9HM7|IR3ȡ^py/gGW&G@vq2Şa|'ѥE'J% Q)3^ހAUV/]ݩBRb`׾/j*SjjkNV,1xd᮷`U ؕR΋6Ԥ冝 ) ڵ?bIDXvJ9z[j)Mmme75!!D(^1M6WL08jO/~@#D5&ۊm^pa5ŲrcU_-#.g-z|iCζ I~mMsG6I21 XoJfz`{ojN?,z杀n0$ZTc>j~dlpySu:&6"KJuWUN5n:jsd>gc ک 5<{b/oomOh_`EپEUdϵ\HW\E C0:5f%hؑCoWDt*g 94]^F/Z3aL^ 0f4u$>A1fLb|눃Bק;JbN`"a@ 7ĀX Uϩj]XZ`z3ᕾ֯[_.oVK2N95)2Csu\Zdz, (D7FO~.=qgFBx+ :|{6esm Y6('INI< cyyRYJ+'90*@缞ӑ=_Đt '׃RC6xbm4U7>y\t}hӛpq3ʤ^&*'c@f:e]V) fmzJ2w,J_qB|J~]/8Z&}Z^@85qn95?6IՓP WDPLrbb?flq+UAI{ =5JotӢ(;KIjLbem-7% p=C}}bExQXwQΚyv-(,ŬdWzF`)#gДH:?*ى4F~tP =EVk&uY1ypqA><0z:ڳEmc"{K[k3s )b1wV:aRP|ҖrsuFŖm=n^Z>P)tPj5).ܐgYZ  y'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zI JHIn -uq۳Xyϐ}lP tŅ!.ލG$=99J etȒucBmAYDKJ1woy%Ggč&k8,+}^\> ȱgYZHx'# TPurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂ#+%0>1Di& ]-⎐PUnH,1dߠ>@{ØKU\3 'f'dˠ35߱&`8;gS8ZܺHE9øb{D&\hDeI%oeZGjimC.`/1'x|KugQڨC\[e[{Fݏ/lߓq9CQ:y.&K R81d)uV;m0;6m>JPzQ1s㏖uwO;5XXfҵ~%xȇ5kB VKG:hfT{K. vK cV( L q l[:p>WPK^|LCx JD<|3ŵ1*OM޹ÎQQ RQUc9`IB bluǪ&m"s0gYZ