SQLite format 3@ M.C  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 o;xDd, ]/ HOL-Quickcheck_Examples:threads=4elapsed=217.173cpu=325.920gc=8.1567zXZִF! ]ŗXiɟ:iD~?+GNQbTۦ{c|cNN0 #-Ĭ(. v Wo!#tx!M1q'XMNJݲ(Z\2-"Rѯ:U3i߯83[Pµ#o@=Eф -Q$ɌGaû 0 ~0Z?V'psЧ'>Vٛ.B?'K}!pr,mW3F&,ܝuY=55"b^wb"jZ:߯+o"ůV%#F8=2& ü9/ O%S֜ RTxHk"8_($XK^nW5v/i˘2!;} _I\yךiѸyW/j:mJ ۄ"#h H򼻰E8gzY7NGzR9IT0ѽMtc1gr>~?+Bg4P"WMk:?BtZed簖`c^׋8Bk,Ў|rߒfIߩ#ovv3V]Z=/tPx0bZ\'VCw/~lZ- r.]J9 `f%JOxWċ:D@#K?s)G@7D阔a˫:8Yw35 ] shިZKfU#E~-Ci;=71~C1V:ĕzlͯ /}f#@i3JTO\XkX?A[~r-ˇ_BmjG+K4.*Nی eufjׅ 4֮T%xTߜRNxI;O \s_|J9 npLWM>_Ljg!:~Z<0)O']h-H_+6C$ǝC1@k=h :8:ʃVv8+$0?PTgYZ7zXZִF! (]ŗXiɟ1˦r+ bVj mG+Yzmѡ5K_?CAN _;C]do!k Y}Mˆ Q@#~v91֓TDy3À"-(M-A |VEN^aPK+V; Tj@ \aaJR[6Q\O/ #0]f'a,pqMgR_{yܬ p|y 2տg+jAO8׎F: ޣFūFФ4I~{HQC_/),oܞ mƬ]>]䫟~l r7a _WXun&yM l=) Ę?"ߦXכc,JxR2ze9d↕Ja8LV͈ ᎩgYZ7zXZִF! ?]ŗXi%N ˱<vqn˥>A`tX}?זz;㷳+D~s+hLb%1?9J ; HOL-Quickcheck_ExamplestH~yt";CE $HOL-Quickcheck_ExamplesHOL-Library.DAList_Multisetdocument/DAList_Multiset.tex7zXZִF! ᠌ ]A-MՋhvG"uIBm56h dDaɑx8=xW-z\޵osҤcQe:!ajZ9quTmI?itGp|KbMk/m}SV1˲@]h ߕy\GߕhUV2݋wDwY _ OyVz=j$P!HܻyfJ&cxR)N/32DP zIXCalJ d ?DEɔ'qE%q b`6J)Ι7K ){Ԛ]e"*7[0l1ͅ0lu*آn,hSĿc 9&XVi{ M[y-ZUW!]\,bl(~㐈4tCx[W2p rƕC}8~L)6E䌆!Ua=&+gRvqLs@Ol*-F//J*Y@ .p(|9 J8&d`Txl(L8;][d_4\_܀[2$ULu`z8mf;dz]e*I^, v-AI[f!KI Oyʹ蘴7V,O,!^Jr .sנ) =^Cu_AEL8zui}}3`;JmTݤ~KkE J#lD8OEZD;m<\ڋ|]8ń/ gƸfSq( dRW" 3(_3ꧤ܃SJu8RĿ 5IQӫGiԗxkc ig^zD^\=t.ȯ׮pڸk n#E;.M6)BTsk-Pa &@-]I)\'krk~.Oߩbĕ5cKOB.y>b>.Kx;Vmt;M266ʓ)57!B' yrLbV؏a0Lb*@,hRLs )`T'Ea@b-Fl7Bga%%|b\'0mh_ʰ FJM`1vPV%9rbӉNssVzp59I60K^(̳X.eB捡1$TQ~zZ2,sv( ZۊU^m)w-v&gi.l协3Ea*Րr)Le?w5" Q-})YD7Snjﺨa 㰒hT\`~.ç|򓪷w}"En==X2{'q#5%{SR&@s!M E"< H|y;'to*Fd^5GC(-/R1p5H*PD+; ږQfpT,:LR$ݩHcbv[Etay!GƉLli^Ԝ|eŦ ׽S-%Of<-Sܰ./q}Xʲ3۩;tvnX[uN3(i94X|VNnh.6aX9yLS?`oCG}']Lyos9곸mpsۯyOrT{iv~MQ?"~;ȸvK,3[~H{g.b)]絿{Bc1M#bqJ1 Wv`2z afLO0TW?إ9]FG@C5^M>p똞h|8yPi99R3bVEa' %Fp_p:뱱v3m-r /ݜ G2i|k(,d8/&+j pFz]CuѴIY! Ѹ{R6fP)c[HO}%;-yY gA;ͬF]sY@A!xi0hi8UԢ.䫌{Y!J9= Eo` v>/ j^Qv"0UL>n#W"rq6[d_Jl /6a掚['53vMŝC/-^Ր{"߻طbpC#OaVþ ZP;5'HOL-Quickcheck_ExamplesHOL-Library.MultisetPIDE/messages)<;5#HOL-Quickcheck_ExamplesHOL-Library.MultisetPIDE/markup(F;57HOL-Quickcheck_ExamplesHOL-Library.Multisetdocument/Multiset.tex'\;q'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/messages&Z;q#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/markup%T;a'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/messages$R;a#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/markup#>;9#HOL-Quickcheck_ExamplesHOL-Library.ConfluencePIDE/markup"W;g'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/messages!U;g#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/markup ];s'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/messages[;s#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/markupB;='HOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/messages@;=#HOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/markup;;/'HOL-Quickcheck_ExamplesHOL-Library.AListPIDE/messages9;/#HOL-Quickcheck_ExamplesHOL-Library.AListPIDE/markupH;I'HOL-Quickcheck_ExamplesHOL-Library.Confluent_QuotientPIDE/messagesF;I#HOL-Quickcheck_ExamplesHOL-Library.Confluent_QuotientPIDE/markupv;q[HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_Exampledocument/Quickcheck_Nesting_Example.texf;aKHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nestingdocument/Quickcheck_Nesting.texl;gQHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Interfacesdocument/Quickcheck_Interfaces.texJ;9;HOL-Quickcheck_ExamplesHOL-Library.Confluencedocument/Confluence.texx;s]HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_Examplesdocument/Quickcheck_Lattice_Examples.texN;=?HOL-Quickcheck_ExamplesHOL-Library.Cancellationdocument/Cancellation.tex@;/1HOL-Quickcheck_ExamplesHOL-Library.AListdocument/AList.texZ;IKHOL-Quickcheck_ExamplesHOL-Library.Confluent_Quotientdocument/Confluent_Quotient.tex<;1'HOL-Quickcheck_ExamplesHOL-Library.DAListPIDE/messages:;1#HOL-Quickcheck_ExamplesHOL-Library.DAListPIDE/markup;;/'HOL-Quickcheck_ExamplesHOL-Library.DlistPIDE/messages 9;/#HOL-Quickcheck_ExamplesHOL-Library.DlistPIDE/markup N;U'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/messages L;U#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/markup U;c'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/messages S;c#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/markupE;C'HOL-Quickcheck_ExamplesHOL-Library.DAList_MultisetPIDE/messagesC;C#HOL-Quickcheck_ExamplesHOL-Library.DAList_MultisetPIDE/markupB;13HOL-Quickcheck_ExamplesHOL-Library.DAListdocument/DAList.tex@;/1HOL-Quickcheck_ExamplesHOL-Library.Dlistdocument/Dlist.texZ;U?HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Completenessdocument/Completeness.texh;cMHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesdoCn;]_HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/Predicate_Compile_Quickcheck.tex*  ^7Kܹ<~iΡmѓɳ5waǧդ;ܷ6X I a88xγUØ+8 V~0Ȣ-N"^n-l٢)I@H3?]xeT WS6)*xN;~cCi=M5q{u>5/B9͝V@S˂3fcgAti&6%`쥛qRX¢4U:(t6C}:7?9 M1XΖIƗl1"oh+iGnC7!ejmd Yg.h@} 3dN(:C=-U^Y ScN'עO)Ec~,G;!3k:W7miBTq#Kn<3tdlI^ pV|Se1Ebύ> %|sL]&[`mHÈ~z΄q4z@bw{&o(j&ocNx֢wۛ)'% M Gؚ%v Α\S#",O&LKg[4|ȯpG\(IwpHcn&yz~!;& "ѵ)4<떇dgvૉ3a`pod8}! v*) rd'-,P5XSL7Z&CrL!PovŲ0T@;\-ro%OfkO!aluM=y3X ^qg48+9~!pvMsxl qݽ ں> 8ihe@U*Cm윎+x~!?~AbI۔+oٔjwҮU{p5ĥ`x2#&tDG'"jΰ"bo!-k4)xn\ Ӳ^#_whR4uHyr">-f?DoWW_&cFIWZ}eqRfuf0K)6:K<}ނRP\8Dxr=eI?a\#a NLBOrE*k#:UxiIj+r%kih9O+Qr]ٌlȦ. f;~4 N,pODZs.*iYݠrE'[>QrfKZ &W{% F6CQ$D:[`3Pe >-7ԳcVj >gU;c&RRpUHt6d03q9cwz<~֤z:Qo! ٮ'Ca)b~ub>3;h\̘l%1lցCQXGeͬl9'*2HCCO-F~f|VWYḴ,:_}GuwȅOADQ!P6˞Oŕ`7J~/$/+[KoƬ r8.cͲyԠBc& rWE@ExP.axq'L21ӊvjw{`6zp .^eT3a&#rgԷ+R_YUg.;Ѿ,jQs8𳸳(&aÃPD $t0g0pʲbF7Z}8#3;@}$g>NHK1ߐD,j~?wOs'0*X3%ގWA/J+,x^#Rs(LBhB,mҐّ wبlGYOb1|=!Vq¨!QL kVݏmAҳS_=M(S @Og$QoFCr6W憼-? ߎHDF|{?Q׶~ݔ$)ՕT?o3Aδ]ђĿK\T~ eG4l wynH'Ox6|aKwX!]GfwPcH03ܝkq%޺8G;|2獮lMA_5&0e+%ZԝS T=KFhFї{J;)<+Ǵ7A]S4Hc0%2;XFex9iӬ}u(/h!E*M d2lSf1W`lL^s{8ЊT B\ebYJ/9BPH^5(zqaiB{gmA`DiHfR s{2ژlӣԩP2c3d|AIӼi6ܦ0LcI`U>] 7?CwBq.s %@6lV23t27[o񲃛 \Sg{xA#I"]Pg/%;umȶb,dc #?s9";HN<"< :D93H,kWPZY-|f.M; VC.!=ai(W'WEم&1K:kؽ=nF"$fr͟$voeh-?aKWH=4[6q*%*"DxC1Suu|Ʈi#(h'L;NN*$mH7Sċf$TiF1[<>-K<6qMtЀeg 3{+ڤ*#0YۊS5wlq=L->V~2R~L40*LNءFD1,\̍D挀(GAf`I\T/_:?)I YnײNW* N/X m=u:r2x3GMތхx ^3MSpza %wl\WyeKz.&7lG_ fkU8p]`rZw 2ܺY\}X*c{yr`,&)s":cߊzhKsxsU]a2;feÛH4:Rǘ eFyjVQtZ(aqb6֕]Z84^!!Cz԰7g;kЍQX/-x%[ElF2C7xI;bvKc`wbD\i N6~㉶޼sOY4Êcw`&p (L@ nm۾QyRӗh7Ef5'觧Wq>d7R| 9様+K>Eڄ߷Qvn>˱gYZJ0؄ad̍gbrFiF}ϵd.ݓy@Ef_V'+cJU+cb*{2`e)4lIQA=nʚƷW삽]Wd"p(25g._GD=<<*K}N z"XY=jY~_Fb^F="?dQTXٺiKb|=Ϗ"mpíSҖ!1__ $6cD׷9g$FW}{%hG5-_L0ӴelDN1"{B𰉴z;I- Wښ3!bI[򍋲8W?Zm .Ћ.zS!)Iky#HFٽ7PAo[> _(jjpY|I v6LKDGIE2/P9+)U>IA\r%(:yCp]'ExA= `x6<] P ϰ?y7sRƐ–OJ)TXܠZyA-fo3P$FhqsùʸVxa3E4_H!M+1WP Q7,찓i7b[&g-A`9, aR3E9L);G0ڢiaG\~bi5b ;䏂Cc{MUgsܕ5[ t`Uc>QoɊHm>\ح ظ7II>Jˊ apD<IKt"^ٞIB_" үqJ:K=#\q?to4heȟ\ۣ,Pε =V&eS%cd8pJ-=3|'`B^ؼ5ًUG3i_TMMTs{~}nz5pZbԾJa)Xh|> F+#"(1;T0M;O_gC<ңj1Jkq64edm 6i+$|*@$ˋ YL[T {v=E#4*CP,b_B.v&|K UXțzY@O_9!L7a߃M*\3.9~G7➠.t>; ng&&(=6X$\3hʿk *hw+d*Gle$^FZ!m+NTiHgE!CFqf"RSΪxtw_9bU> Nd8MH ,2ʂ 4Y&yHفAUUi"H}#8 _hl8choY5m_H b0Tx-xPKDaFF? dhok_By{%@Sk v%t]`H}xP]؉s4_z OҹO&df<.uVWI2^j(0/#To'Z_6!\ToLAʦe {!{?Qp#d -KpHu`4;$- Թj@/&5,j~eagtm &XWAVHUx-,@'{ [80%k|;*]a'O-x`nD ut߹8#ԏboȬU4=\yR͓r95ԲD)]Km[dϡҝj(/B]\}qB\m0$ڔӘh;]4P#ab:7`AYn#M2\:732> C0n-tC6x!\m ٖڢ#wۧMm|vfS*d?ńve S7e@Ast~9/|+ST_u#uHPg˖?^[W4: 着 }R1 ZcVN׎mQYuxl㾚REDXdǮ?;<~>>XYHk]xUeAICc26lT۰ WO,8ܘ132D"ĩ*r5KXR=1۲մi<*Zt{}š A{}&,YوڵaO%RL6]Vn/sw-T&d"f7>]*`m;A%֔|PиõLKf_׳ (S 4oz];Bv…HЭHmTy"H#hu-* fMgM_yHVw1N4MasqCbRHF3e#jGS^ wz GdLÊGZ sA19*mLvK,[.-^F0T<=ԠiQ̕OOkQ`/ V({щ#;||UedV `0!ߐg.Svĕ!J*5.7#N- sVЩd?dD<^qe|p,cD0Pha @w״ CЭy6jN4EB8`-V5 =Vj.G<<,aCSN(ڥmEtxPߝPh}3G43h0IܫO< oTN(/0^-?BI3Ϥ= ?([S9Qe-(Dgki5S N[A^,ٖYk<).BDw=J.å7eAO2"?.2A,XVT9.3ܺJbzV3-X[ṷ;9h,:O0"ˆS5w V ,)k|Th9p%V$ByqӾ-TS(-u*J3<,Bz|% fp-P8k{% "nZ<V:t-.^[^DL4bkCDf,;1̊4hE5y6D>J ZEal)SZ.G?Mip9[(wOl?ȬйWt t)=i&R|::=:i`M%m9UkcݝV;J}ԤUf?‹]͹ުقZJ(W;k!$0ŲbKBGM.kYiV^]gziu"hm쑷67I= S'EJGKZtM3HdgYZ SS";CE $HOL-Quickcheck_ExamplesHOL-Library.DAList_Multisetdocument/DAList_Multiset.tex7zXZִF! ᠌ ]A-MՋhvG"uIBm56h dDaɑx8=xW-z\޵osҤcQe:!ajZ9quTmI?itGp|KbMk/m}SV1˲@]h ߕy\GߕhUV2݋wDwY _ OyVz=j$P!HܻyfJ&cxR)N/32DP zIXCalJ d ?DEɔ'qE%q b`6J)Ι7K ){Ԛ]e"*7[0l1ͅ0lu*آn,hSĿc 9&XVi{ M[y-ZUW!]\,bl(~㐈4tCx[W2p rƕC}8~L)6E䌆!Ua=&+gRvqLs@Ol*-F//J*Y@ .p(|9 J8&d`Txl(L8;][d_4\_܀[2$ULu`z8mf;dz]e*I^, v-AI[f!KI Oyʹ蘴7V,O,!^Jr .sנ) =^Cu_AEL8zui}}3`;JmTݤ~KkE J#lD8OEZD;m<\ڋ|]8ń/ gƸfSq( dRW" 3(_3ꧤ܃SJu8RĿ 5IQӫGiԗxkc ig^zD^\=t.ȯ׮pڸk n#E;.M6)BTsk-Pa &@-]I)\'krk~.Oߩbĕ5cKOB.y>b>.Kx;Vmt;M266ʓ)57!B' yrLbV؏a0Lb*@,hRLs )`T'Ea@b-Fl7Bga%%|b\'0mh_ʰ FJM`1vPV%9rbӉNssVzp59I60K^(̳X.eB捡1$TQ~zZ2,sv( ZۊU^m)w-v&gi.l协3Ea*Րr)Le?w5" Q-})YD7Snjﺨa 㰒hT\`~.ç|򓪷w}"En==X2{'q#5%{SR&@s!M E"< H|y;'to*Fd^5GC(-/R1p5H*PD+; ږQfpT,:LR$ݩHcbv[Etay!GƉLli^Ԝ|eŦ ׽S-%Of<-Sܰ./q}Xʲ3۩;tvnX[uN3(i94X|VNnh.6aX9yLS?`oCG}']Lyos9곸mpsۯyOrT{iv~MQ?"~;ȸvK,3[~H{g.b)]絿{Bc1M#bqJ1 Wv`2z afLO0TW?إ9]FG@C5^M>p똞h|8yPi99R3bVEa' %Fp_p:뱱v3m-r /ݜ G2i|k(,d8/&+j pFz]CuѴIY! Ѹ{R6fP)c[HO}%;-yY gA;ͬF]sY@A!xi0hi8UԢ.䫌{Y!J9= Eo` v>/ j^Qv"0UL>n#W"rq6[d_Jl /6a掚['53vMŝC/-^Ր{"߻طbpC#OaVþ ZP Nkjq*fKG:hTuP)\{+6zގ'z))wGXo2oDl_䣆nh&7JI.lpDZP+s&-ZC^B%bF0oy8pT*>& 8`0>$$jAL[ǚ:hm(aUh@gXw&"t1H#$_Q;~"OZ%p蔈3S4Pn-@ oN)N]X/QL~:>߫C 8WU_,ɥ?wfnMX+娍 T-0,R\tL#{,wBߜptTu@u()u5YBmK۰],rXgr\A8K!["^/r$I2RYuTp%ccŬ`Xu呷p%?>u6UgtGCP/ oJazgei_Cj2ڌsfaשcW-z?W:v* H +H~w ŭ4C2$o|Ll]ܖ7VPrWtcմR7SdRqfHU+dD ieX+ۺiE X7z%hV Wm #D-ri7!S@'_$ŋ_HMF8x05&' l.6ҖUvaI0RTEB@kmr20+HӶiJTO#i@)A@PCg6|Jus&m^:?.+rr/%Xj C! +΢?j7q,e>, #> w˥|(h9\2 OUoPʙ=׉r#lO}}$D܄ CKN~Lc|adj:۝MNAV?^4EcwrOq%(ھfYI/U/f Ȁf>?!ٵ鰐|,Yİc2kv%0w‹G3>ܰƥ)1׉,hBi+\"؝S#IlLSHI&-W̾>^uY-,.D;[37~Y׳(eo@h-W\o[g[bZSQ½ )W9 TGS- s6S뻑EO8H73kB!=5VALH=\2I_^12SMjvA$xNMGo L9t/X&&GBs7VPU EE8;U? DHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Completenessdocument/Completeness.tex7zXZִF! ആ]A-MՋhvG"uIBm5XKjͫ:-"&3C=9O0r͇ =*HXޡ!2=f@6V"\8r6ePLr .&YЩLs |5~x:hN;׹N ba/S\n&#isX"̃;X&mMYrKÐ̀ ^|˴vExm92m)?D]*Z3bVGޙ6OtTfĐɷWnFᓀ? +Qa[P1׸>h hhYh^^5ݪ !0Z "#'1p?hWuWC\RQ!eko%$u  zףϳoRsؼ.U-% #^Ziu8 f?|츈T2㷑a신q1 @x.|u{ 72ı+цDʯ =/@MK(yjtxB_5yo z tG-‹Rʒ 2~VɌ#줼sfGNb ZPDćTpkΫقn綮gC5JD__c>oI/NQ bkÅG.UꎊYJ+%FFZ R Cvq^/ Sqn0)Xɪ/Ix "lơlcl%Xc)hݚ*xy 8]Tr ;>T C>J.jʬ{BO!;CԪLi_7OЂ{xH]iR̢jUE(paaq4clu̼0@Vb(?Dۢ#WdX5>VUKDӛ!ݩJG~͡+trcN&ߧ*n??E"_t"*zkAW>DO}"|n>%Gv=,xR_\f{ajGpaE0oY3-D .g Ϧf5 3 aaPnIK^տ\ӝ(T 8Sf:uf?k.:mYןUmȄzi]]#v{EBE԰p TZudw05[a䰜JmBV 2V0}u"خ vی>I]2A`0jT{rf}ܟ5nA#9JF09XU!Fw&PceP < NQ6d _]o酆+AQ*۴֬be'eG7t]v.n僇p!r}P_01\UhP7s ~Nu'iK&4PA1K;7W1QJGpz;#Ԟ o}>Fz87,(zf|ķdS]Ɨνq`4M)*#tzG, -kxL>:hMk.F6bD}*'"㳍dKЦkkz;)M qơ3%.F?~>F-F[@/ЩGЊ! {lqQ=J CLD`Og=h,R'C|W->,g&QmvWԣIO!@NE47u1/B| A>Q({ݠM4^}1E+!:!,4 xn0eLhBBW!Y7{#"ONQD*ccD90{.3Fhٕy\؈;2z"IDqaaC*s,`; Ӆvu^JHON729 L6{Y"6J̯Gz[|fs~.MsBTg4bE| <4BHrxoմr~ˀtF#! X+7\uk ѵ\| P~OED}ldHZ%^ӣd ݱgch(fiun/! ^J>iBՖ_D(É:`^0&2pmz]&nHq3CL'<}yV;jS~W+&x|vGT$Jfc[ʴW[_utP)jz=K!qrt\Y{+x^o|)̥j`pK=w[Lj!j.a'£S%q"ʣ+4|#"17ƒwhT}կ8hUf?ar!A Ԁ d0h4vh\#$:e \vu/WR"r,^xZZ-#^z;*x~?6쎵;eOf $vbة5#2~\>:`j&`xq0XR˾QI)NȻz'}!3Bd̽5%_f"t2KI$QhyMT2r&7y4 U\N4ʛ}q;h,Q^Φ=a*RWEqUz"Xw85iڀ|–O V+nv\ KY;> RWd4}+04s$xb\48eEHZR( JLssPv/a_$*"['a۠)邗M o;91j-G l"oWg[K(=L#PQ>i`i8WtgYZVCkpW:HZ74{~w~PhӚZ$f`X9~{AkhRնZWiSi_ZV5I.9b\z5\mc!غ}uslX晽?[X% hL;wD wީSM,9T D C5Eqۗ5i6kߪH0y8*ad^S#FT gŵh)yStLNrG_gܴ4`stRg-O Hi6kS(KHٝg3+X?s]c2lSACՌP فRD3xEJܤ=[Sӯqwj4iЮu m*8Ν &;ʬc!.Ջ޹օ`)= &9`Ee<栚h?1h"; @@*DmPO%+E92W MrkP"\WZޒ,Ȼ-ޜ嫽y%Z'Ռo i~`B^#>Rd ;78R&A9T| \lwʶǙkc,f?p&i+op]#@zu1sj͗Fs da#'r/! Ȱ YLjwu Ly=k,hIȘ,⎝[S}l x|7kLrHU+8hhW$l"?'%j;Y@xA"%'6JC#=D_.\go@o>\r]ɶ`KgϯR4R`}c8ƁJtuZ";F$\>Ӯ>!\q~1̵+19\yMxA ~0ãpvpnn͟Ėï=8ᬯgVck{1iAʁuVrseC47 bVn2QJʹj_(n3wYEb?k Kyb{:55qqJD-(ŽP#Eca*:[n &&0:SںH=Q;s 0[fIQ.昏b<H}cQ"bn|V$ Ԟ#9'9Ϩn&ib}f9ўvCzN~a#5Ur1QEgHA:]8`5y@oڸ5+b/|uJb}9ɼ| jhWCP:ZG&ay,75b2마歈̑4XmHb[~;!, yؗb+-NF W\%h#vn>SÜ: کbS2$[OL۽^ˮ,BY8-Zj&a/.*%t%jzoذq9zH!}riB0'=^q$uއOMUp<[GyT ,?^CaNY {,C2<6ILZL$Lȫ΋Ȝ~x@LjI<NsR^ 4N{Ƕ}VC Cy-N9{@swWbOWax?ezz=XzXrejĪmg{w `sfdDdEnvw(4ZzJ(#~g^Q]t;E"Q+h୵D*TO,WۻY%K&Q~@JqREiOa-MYboV 13Kfԧ@B3ZБ߶@aK{=~oW/_D.zYCEzKH#t y ,t* lH?H);1~kަՇ: 3AdCGbݪ6>g#BHLP0~D|^ o~{żJ!6f;=U|XWLmӁd^\X3O'|V' }j BOn506ʰ0LhQJoHk涰R!I|AI=A0=d7BP:kE @p~,YTEzCAx>l9dzaj6zR!Գ;e+8m # ڄ_1Ia# .}t;13 lHOL-Quickcheck_ExamplesHOL-Library.DAListdocument/DAList.tex7zXZִF! p]A-MՋhvG"uIBm5\Ӂ{qo 1UZS*/]_;$6Д "C`XV-?_xSi"~Y`tɁ9q3j10c5yͻ2NjEPm-/ts\jYI9çdG{(6Ml(>\ uGn^tu~MJv!ch8yZ 6n5`J- v H@HY8wRonYbKN6͠zRe~zelӝTEzao[tb@p_z7szef,} n jF[WVDnna2ǽUZC my}؂2ޙ DN6wuDΨfߡAg ohRN ˖xK+ >?:c:8_=POYre*#!oq)waJ!1z@H50+B:OsܡqW$ fD|x+N+͋&O9_A!PKOܶvj7'xZ'Q**8a(mDz8qMvDÇ2Sr.h^@VjBm1 cmKF/)d28HiNY=^HT);T@- '/CB^k>Iϼw0opO]^b}ԧƗo3p6 ~!ǎ4 Rĥ7ĴX=L}JB$l4ڪ` ovؾ&LDPf ᗚ|q|HR> F0qm fV30h[>eTOYES }.Yp$K̘R3_9 2?|sy5”à|ԂAzuY|uD E@"/ #%me_:3yZ҃iP48]|p>t9k(e9n@vcwPJ^og(%Wˈj1b!4  E]+8ɏL!+!2gބ.ݜz{!dt6hC>,$A.Vcpuni;XBq̳t,ʶ ^_Y"e ݄8 Qoi 6v0L L.T*L.ΩtҼP+dgsX y?͹oi;:#/uj,~y%-KoRo䮑:^XRNz ,<ۙ`rQ]wu(~:;nuKYB6P{tTYgvmcs[*E+fdWVd5dɨ80|^y1Tm&+$(XTllEeVC()uZfrg\ Cެ>ʚF2T?~\O+ ˠEu: T)xy6پ4,_CcBΘa|qrEAKnI-oo)T#!L74Q"zpO1ۛS3´  ?* b1r|uX}?GX6avɶ {Job|Zl[Qml bJ!oނ7bY]q `&>pl&/23!"[wdO)F^ItL@lGϣI4/u%Gyߞĕ}w;rUixa믁^A`Gt2Z ^\{ם%Lp '4 y,|c5U`0d>y#7C%1>=Q)m;vs;8nfn:p)O`Ø$1ٚyR0,9`Ax9&W}F}ssAӸBgtY!.}7)1X|lQzסj_o"nb.ț#HfGPqx{^ 4{* yst--^˧;ek2![WvlMt1A"c(9ƥ n+i40(HGb%?*61 .VOhɯ=Js*hu2 ?EC :VW/R?wNIEirtב{agYZ:%Gw7 U*/)C6Dksz@x^ D4n0A-2#aE*KBaYn;;cIo9X7&WAj*s^[0BѰvK8IɸEzK.R:a`S5" hqPdkN'g J"ƀd (HI Iul=N~BJXzaSOzj `Qﻅ<~g61&`'5HZgkXHK];qMV&Ϩf뛨gD=>4LWCt& ~}K;͞iYj@KObeM9wl8$[3Ip5go&m[~ftLA:t; n"ET&51tʘaν)w|:iLV5{)8e_ VHCq4*%CQ\g\feL~\cpR nZ"<\ߏ1ajүG09]bb}:$gG{npuS89vy t 'gM\W~"XzǸ Xo{̽ 0p R٢N!?y_ХȰ_Zxi=~rySa6ulH- ax;~|uR.-†ypYS|ߠh>äE?M/Mk- p >iMOR^ȇŇpLNeM.2'#?'+2Wlt_(bCF˲;|u4tןm )*U&uq)Ank)H#@a\o kldx-!e%qۨL 7ƩʛG$FJ .]h?z"mBYҷwHYsjʹ;ѥ7o u Q™֓T&u16^1}cp;:m񴽴f<@)#!~R:@>x3FSෛ~;>0MpPG)W{ ̖#NhhT?eB:4n/{2U y4`C$U6iÊi7bVae [Ͻ֭eFLV񤻱x֛<)R^n;O;RTvN 3HT#e"{مzD?J1 w:qzmbaJWd֍#qnv{{փ9ZC`zo"`\tDkrszNJstY.-S"/}@(@9^|XewKP/^.L/7kЏ& =#M62(^]k.S:1H* j}uȡ㳮#8e%$JM8|ĚlLVcMRʢ5lӐ^ߩZ} YJ2?'},n?-*3+64]}HN| xD ӾD"w|Ђ+|^km!hI#@9qaBR+ rWnT B 95QE.X[6V!;#Z߭&e:K|6 vv )sXkkPRiPHU<6uDv7u zʞ~%<`j +lE9N<_MU5r-O(+ x"s#J>*ýe0_4ng.@rql9zи 4 +j QX1kV9[y2t||}HGE]/% ;gJE]"twM.q: 2p"5;)9]Xb9k{cFx&{ض$><ے@̵$h\s4Uc,MBm)sFZe;?ntYEzz([QI /4[pGq|yfS@x$Rg2{# ^'@Z 5j}nm ,5ڏһt&Wcs߯|g5˦1/dGmnx[u81\+P)huZdUx$"6! gYZ  6 ;c# |HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/markup7zXZִF! a[] !M젗OFK?|S!FC3eeR\K{A~˨ɏOT|S.C=u3e2e_M־0t 7fߢBGtܭ-`OAܺ=Y|C1}zO ޙQa Ztl#28M ZOg %aϑ P2^a|:\dʲ&4:4/`|⬊*JwLMty6lCr :~dm)w*Owq/[^ .Y2!g'S jPw '{\=ku\КvWniXTf{YKaH\[W '#a9t k\Pkc1GZpXNu(%ܱ+,>+9>)Ytz5YҬ9X䔅Rj(l[US[p!Z*R=>mKf{ '%fD-iG;C' HOL-Quickcheck_ExamplesHOL-Library.DAList_MultisetPIDE/messages7zXZִF! )>]·Iq n[:|&[z(f[y>W$y% - nҘT@?oa$ :b暺`pfFNkq(;,4M5dYAsg?B%9|'68C#?;0CSb3/Ι? @;Nw^vboLJn^-J}mB`h?efPZ+'L`L<3˝Ug&)E&S]jLA4P_bU qIE^܊KbbHel/On/4x OQ؞-DY]HAU_Zb3NGa3,5z.2;ͪ.}3{ِ(wCYX "MT ڇu35>?܏عLW&t`J^'Ki*9l`%U9YK-=yƆķ)=Y]j?]F hG k8?<mRB"2RvjϭșЉYZ9O:b5vI7>7=JꊜOK#k dqQLv:[NPH4$5EwqZLSۦSG+O2TbxN5+# )!ݕL1Fͪ =?}7Bv96qs; nvWuNH HRm.tyhx?[4{V[.z(=cAPi6 _)o.zâmk 4+!/9!oJܗrzBO2 nlQEB&P?3i!ᢖyfӕgfye[\bS;䡇h#6}+Q$q"g~#5;ń9Tb#8o7%VGxV*k}8Wt5[Ed)fwف3s+YWrټEúoM[O 7![~V0|n$M$}iq}5 ;)x)!ojNߕ  ށjtaX xK#O |1=RT>+>Z}NDs;=՜5X8iaԫץ)'2X)|^y*S;8j)Gȭ-OUKcSW0)٩DM5pk,7l?2mfdl}p[`2*K*é·pk/]gQi4f-. J7R AwS:^ {eB;‘MBJҜ+C 4a[ $)XcUQ#xPH 9"=-)  8UJ+oHY?9n>yKVV& %b3´ Թ{*t21!En_S3's@&ziqKx h9%ҧL݇K b( #$:w)s|/79)8p^nM7Z(?B!!hs(bQOs.v.Z&DA#xڨT*O-b$,h: 5ht(a ?~s6vڔ4S;7`WP;LQ.!32STq`:]ˠN<)fI͛4e5+BGD:ci\*&(8]JჂ҄K:N_a>EТ4=NqT-EB8Gh_앴HVxrŖR Mʪgٕ #8SVm)z`Sg;zHE`\fb է~7`U!L$-S>(j]STzHL#®FÇqU23,fI|[ڧϡ~Fkj=p5g=*`I&$ +T&UHO|{2FSf).vȖ /Hmr1![u*ȫ[qD:H20=e&=U/sq f$OСbP.{鑽S x8WkzQB'hۍKy2/]GKœ%B^Mһ׃\ȀF_ȱ|vz\GمN5VS~jTD g"NWDOçSq5IGc[ ]-@bbT3J+ڜM}?5(MƑie/ 4`.lɆ~8' ,c=[)?BLȽz@L/G ۴$Zw#Dl`TyBߕ+ wR Qnڃf $7$ Qߜxޟ]kc:B~`Ωaͪ3)x4*ȶҩE /Hd>'jq *MNִs*zq0Ox ^PI隋yv~`{=B-cօ&[3v qum%*&HЍ,~vdcgjݛ@ᱜD um,a7(|dkL .J wdP;oL*(-~Pu~G !CB7.n{G2q; 0;-bFfd1f]n7 {Wxg`* 9pH{JxnUb5HÍ,x}U Sm@+_+wU^7 ?w&s+jSk }!О.xK;__dđ9:F4hb3Fag/ȿ_ȉ[(PHiˋ[QYm!BO:fYNyKa7H"^0b^eAO:g<9 8!FHə$0ǜW{t-~:diXx]]`bˌbhoӭ8L#t:w7~:Ӑ͞9-KpQ"-@+%㵼alk, ٺk,sZfJp ꨎqIwc{$V𬣻xLS{-0Puυ-J( *HWb0hz&/mhQgԍ Q|a1O[" PC眱A U&cl;a 3Ubd*^~jSa$DUt7 w }*d9HWfk ӹGgFjzNN4f8rb <窍0Yw4\6~2l#$Ie'(z,ŗ|~\MLЌP4Z:4O vxPcC(<qMU$R|wߖ*+|,ϐ[(Ț?AHy:ǐ뿵 }3`p'obY5qIr.bWv ~'S@UK^~b $"3dQr!,,[~(?S,9>FXtD7&~.&?_j>MEq~&>E/>Ҏ$VȮE3]7pլ$Z%՞ۃ4(?6{*\_iј8.4{e_uWX& e̟Au'}BJvқ#䤏s2t0%Ńnz*x̀+^::0U?* VBb !@!)b_"zy*˻Hv*b~hu}Q?%=um3nX;^&hz~̸"p@nS) $7iBD;Vpsw&ZMt]EF d'yQZJ,ԗjs*sdYLh/WZ#vl0@ 8gz\Gej|BׇN@2zyS_D%v[~4d($qV|lxy۾z˵UVMBO~@ՐI~h码xq!-Wv0/׺[̢Ԛ#1 ל=aSb>(UD^>/7dGH9*zG2c0؀4dّ/w?T}1yEwebq"/_O洠+hUNR1g8\iO㐢šVAEa8-&zOT{E2((汲3;bj|}.u_X[^ixݮ3ῢ<#HZ(#wT8N3&]0)0?+0nXQ0EF~a{+/k>,-hF0 #$LTgYZVA(E\)/cӜYTUb Ȅ~9n,f;cS7+"\JqH'[̙2ZޢXb$JlD{P/i};1$K:kRhE5ȯ䉺URvqߥ(cm,] f;d?S18x m*Xi<y*yj]cNlzVZo9( <~[P],XJ9k*|L`Nx@(qs[۶6ԼH w7PGV<+6 cĬԛΦZxLd๜Oz}]WԂ1%.LܲMkL_ԧ#IIm"0Z}^̒ G D>kdJe6P̈́t: JP+]o+on.jP0_4DiMOnj|11 [Lbmnc>D6qSK|O u*̷而4Awm9,oS)MNuS)uПIVPi>$s,5_Ktgn@=E/~n#;)!{^e (Ua!~‘ǽ:>ˊ̔+r$? FóP:}<,Q>uUTjyհؒ iVrtLӖ+5PB-+M%`zD~1Lt90.J*ܨ 0Y;=-G6 Uy2v}1M埩~o) ǧUj4u,CTEtwc[]Qt|cH(ubY8Vu_\V_"~t:΋)>3_!43,F/ΊR:U Zh8*ˑNh[BLQThz𑑡 iF+H{ٗ`DዝsqjyGmr؄z&2&89Hx\-ޑ{HM%)`S5Q̨w,n@l9ۥ9t ĐǑ,V!e~(2{ HZ]%qrkpj S_dR$%|9k[&N9zQvfNۘTvWLLBײRRR@< aZ%=)Q-"%,dNl2P qǁKߧj2mw`mWcUh=9f\H3zvy# r bpӶHXP3vHʇEbVJLZ7jNXf Jȧa?9w&ʸ(GrCZO焿iCqpktqAo2ˣaGH4S#hѺ>yDffcnŷŵ=SyNx[!ߏOum }>u?(2×q]Kl h VZ Zh >E"H*/!3(+CǥQcqhLՊm Oig,` %TɒX*Do<6)S<$-՞NKɄ%'Aݵjþ~( +5x2=rD>ZTx3?M<(l1_/20ZV ~.B w>VF~ҙ?: xlFE_ m^ߦ`D^ֱZrQ[R I)~8.Ί)*2aU\m< 49oAL{G\O$ xZ 0߻\&ut{Tj.T+4|ݡXO-/N>2B|*7dO.vZ$SC/ /r$3nSՏCL$]N _ v0G)fC)%ZRR#+Gɠs6}u 9h`+ zEQ<#(h6䷊Y9.r^ɒ}7*Mm7 Ii/漊:b[vB-.psa~O5P /cΙ}sd2t x1sqj&Y_5e0E75g ^_1 zCq\@a%p~„2AfKJҖjəM^~xfwg+1g2q;6? ׫9ǮNF3;!\Abe@.@^]ʈV@<_*)]q8qj(FZC9h.LB ;>4璩 qX^+ ]l-S'# vlZHT6]Oj< NLz6X >ldJ@ fEq[록ٌwj:ۉpSDc}12 C*rc,^NZܫ*~ǿ$9yOAK6i.|0R \b#HB#Bj'C=i6g\p(QEd@{J 2ww- { OdнD:ESL1 F;hN4;5}Fd5ww8۬ߤ@s4B)GnP/i D< 1@tpp3B2ISaխ(-w#6U y~s`4^pBڔ)|q1-&!3y:Q21DhɎ93g-D3 #Fmma773 xa` 0B2l9}㾗*MN[ &7Gd6ˎDY-j˭`Slk OeR[<͘îci+(օDh{y"IǯIE%ĉd ݁$vXWaV斂8x\'DJj\olӜϓ磒 |=:Ib!wڤ\M4Mo!c0q5;qw÷(mܵ`a<9r#Y*U?NHtqUB,ܸt`EXJd 0o;01iISS;r4.bpJ_dX[s].;`#"l=JU?Xm l3 0Cv(Y CŘ*{W\hLX ۲q셷oeʮ.L[Šc+lpsxlNc~᫭d" [p7Ҳ>A8Ζ \{e^6eEu"*isy.c~\l^H%.8!:Hb= Oiiux9(K9ں /Akl&84M72$Eur&!ON:K2[WLjےzѵ"eR0Wq\I ~aQAɯ/JΦJHO^P Dޔ<y;杌x,ZC &) HTZ,fEGS՚a^FnvcעUrR)[}ܻ% T׆G]-C?&ǾT-ʍ@ZsNZYYBNi^9?%mqnx>(Qh"lk)Mۀb j4[/v-:mK~M\:8ϒ< (j7mcTlG9M$c.˔fM>gu -+/4A23*U=ѩ${]墌~4nVtylp(|tMǖ2܇(#G8òV~vr k(v,!CbeOΧeqJ0v?e &BÆ6J*nL,=ֹn5yLOR:>r!Lېĉ0ePV]@8urc&G՚MjkIkʳaT[+ !Poif+%Sv_:5v#;g R&U(OhW_fYd?v )PP %,-wm3ʬ=\0a7RpcjJ)NIlyuFJTD g#? y ! DŽ볗ŬKxRXd!_\ӿcu4vsg M7_Y~ 7?ih4WZsMLMGS8/e ǵtat78OU[:^2Q䜉^7$ .er6Mo]rɺEJR1v2YrN'8#c0&L3ḩ-8K{( ꝈHz+09E_]{K^po>1!A ?B G8|aʑlWچOdF$ x\CNt4j^pg+S$c^8qszSX1#w*/0#yN aWсpTtB{]y[Ĺ!U=MQ)I\,U׬< wbu5 +^ ~3lFo⑎>8siĕ U63Pqq" 10hOh4^o㊃eRb/^PJo^FWO,K:5F$:/tڳG#.ˆJ>ne-Y-6%ww{"S60Rfl;'Oԯ0)4& `;A7wd›Ѷ}!_}|Y"1bfѭj [<Ȟee-U@ %_8=5at֙ZʑPWݺȺ"FpCI3h"SPcA)ua H@XUF!LA>>JȀI:4jak^t +jg[TcG5\޲bKRtxbk[2i=FF EV8M ?ޜ4'5=d{՟&=4kz|"+3+ACQj!z AVƂ{flgfL4q{24&—)y5w>H|r $rUIQbfl%xx 58!x[ $KnMhPb3 w|![M6TTb26$E;-d.GϱAϓ({8FZrF7퉀_ QiʠYRl*hn pr˽I]~W1 o~0tV.jeS*%Kzl_"HKMˆo eXBS_1!X{kB'h"7&g bAK}g'z::-"[!п>nC7T*VvqGn rF` ;Ƥ.|}5PdyS)PãD@ S蕐AzO+lt>ZҊ'*ݵe&"nk!<.; ysc,%kEˈMgucyн2dX2jwbX8?d p7YS@A#PL^ #ł)2k>XYuL=${vFзٝw?$_js2ַ=.L2+ ~ESI#bۿ 9gu@wȷ؆oUsNbKwv3݇lGBj`>_糴tY[xϫm$ q%2څE3ߥ/P`u덇0ԘM J!c&=9SخXfG Zݶ} -,:] ] GP+r,WyWu /)M^|w?L/)'cďuk4'N=4aވ dXZجU`x?!H{]rS8)hCHϴa¯uo1Ҋ܂g,YCcJ#uƹQLFđc'sR&~ ,7b?IN9\A{feX!/OI9^"Qv[6\_f}2u$n ^5 F#xImT2X 2̜چQ&2֔qs*0g@SV2 f4i+’E\j|X- l5%9Zt }a?mw3@jFҔurEdZ{]Rc&l<525^Ø(j+Eu:ZLpm] 5#Ck˛lC%}igv|8t9ElR1ي#n3K.Pntwޙw><>_OT ԅ6Rv0Y@1P,j3bw?){!!:. D9M%F)1=/ᅣZdVDB6Dv .'\2oAg'L:fJx Q6-GPw,I[pBґzmVJϞk:2䰜@_ܦ"\,=\#txIBy[@S&-xl1ِ @`qws1᩵ xJh j2 ɦZI>sKwR扅̟ =[2CtZA=RMMB.)Ƴpb!6ke^$`2u"3gd eiF|v#Ca@ >̯(+iL? o[jeG6nE5/Z EN+KΘL낡SR _ۿxc4Юi,81'nWx~º*f uNAM&*Ǽ/'4ZIl(1Dݺ.(=kuXP"cՑsLl6>EClUy*?p8k.>YjTy@v~8SSϋ)HPr0u0K>Y~|J;G##mK >r`u%8#Wܩg-hzIw]jhT7GݓyM]B3?j{!XWPŦVČB2Lk~o}J&{:"pI_yU.FݭvS=VpP 2D)Cc5w'&)u'ެz$ND- >cy6cߟ'I3D [VBQ[Y+{oкm|6o0lqxaGp|E_22sA?-r"e +Z .#jT5&DbԵn,=6y'mJӣ1cERќ | ;U' dHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/messages7zXZִF! =k]D?7 {?:fH\:MDxǧ;^ \_8"/l/zdЋTȊ?6PX (I>n"@mJ T+5vT#WԜ kPSHj-@)J"&720n9F]?>  !Ν<̃N.k?Ù:}vBzw~yHar4u+uMzo䕰*'\Ȕ9{`zb Fᠴ4)hsyz'ߐ)kj(-'z`{4b 3=K6#T8wjU#_gA[J^,aKrr|d*Jx쎺dt6Ɲ5($+,zJּy݌d\/_SD|Y 1wڧ}G |RxN>(*.=#;ON2[.ʅD|$; lTJņVrz !U{@ kZd"@wFf>'ޭ(Rݤ{֭3uO)έj:AWL t}3 21$Hr9DXcb^u`^QAFMFKչ0sLhvb(|,.$[dQ>d4̩&ۚ#TifB#qg{?o(]]#덫[Ε<7&㵀!;FT:?rAhm6bTF]{͹ךB@f<:>RtcЗͨe5R\f ޘm\xh&`9TݯNLɓMQ 8c?sncn27zk+ v[,zQUEgܭ5e0}Y:TZnn9YwoK-v[B݉K_4%R Y #W)[Ы)mXevE׃fxV_tS^txuˋ(묯<Ѽ$"H{uo)ōQ]Z1W?zm.];mh.pv% 8kdO& Z|?p<ۅ~c 8B{6~꧍h! m');Q4[LraZ}ݨqeٖxETx2V~ #ۛp1"[,g zd cah⾐E&Ft c)X|CYHxP._1 |kM;LD2cR)! 0ZKk P ;c!(6 pJGO"{&/X^:Sag {gYZv ;U# \HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/markup7zXZִF! Ag] !M젗OFK?|S!FC3z(88%v/m;OST=^ ,>utxUł@4WZwQ<6.{EAHeKL~$!2~y38!wK$3 ?zpPAW T4k|gIBƖz}0Z}BmZ0)CX,=bU.CDVJ{$)Na9"?)R&:cf1fo]B')& gۊ LRkf:n<)6KlҦ-uQE >;m?9seHhgYVܰc2 `zKJA@'Q31 {SKI]Z"Hd5!}^i*$|o8FzI<<K\Be5z@(OO8ʠaڰr:|mi2F`e1f+WQg5c7V<jCjk?ZI{'K 寺՚7f9] r}8sm83,] ૜~X~`D=LJԆjV P+{RX6_aEI?cb_(zD7U:igJYYz++_F6Yew.u;:ЌIr|z]eS`Ӈ|̨BGoe~`%n(84Jq][ͅ4gwOcUMos"9 Ymad+5Th(@ ڶA 3 7thL'()Q59}QOq$oIHgRQNk;wj4-7A =hd Ve>CNgM-t2JDCRV.rUu${xEs2^/ ۘT ;fh?b$ȁ8ƪUOflл.&YWZ2lq:@XZc`[%o8_"ڪ<4Xp#6w;cf+07u\FT VD&A@3H RDFaq.cЛ1y0qcwN}kla4ER^>f l$h?O Hh]fbDĊ,•'Aoȅ LJAq2}ao$ٔ4&v?sjd,>[љ,8ĘER%#Lr /' ؍;QE59HPK6{HEQ3젋E^RBMu8{&ⶦZOGa5a!'dMxVu<'3xn,* xX(qXsl8߷/gYZ 66G ;/# $HOL-Quickcheck_ExamplesHOL-Library.DlistPIDE/markup7zXZִF! / J] #o:>طEݻ⛉@;.#޽_XnKڪ>Cznߚdݐp%_|1e _$%WpwBTX;̤N+K O#Of w20 `Rx/H(ďѫ_d&c7ơۡ&\2qw>G7ޙeЁ)ޝ{80ǚ1zR~Ύ:d&a_Y6b "*I;v`aԣRq[%"ydJ۰4ժRWi-g.7M|쫬a!uL  I1\$>|-ybhF#+n,쇽 @ޙo7Im.GNϥTkVE}Y:Lg H81=h<\'ifhP$L-䧿VO,$w'ma1CD|Xlh'Cs!S>j~U%۬)0A2 |&#@ /c=^_ hQGR~ ɨNtR.+Bttٔ(Jafz,Lu=8,?r%OFsXdWmH2$Cn)a_ 潌s<]K8AT"j}w!yl3 *\d:*8*9ugX<6s2H}b"?Fȓ)ie@"lȔy9f:b}ErvG`7Eh҈ˤ9gC] b9E`iw `-9|hpLB I֎@}z*b4Wά8DD_:Rì!´qʆ>=2tSʄ _ђcai"(<5DEj@K.,d dCE?`bm!}nV291-I+8Ä(bӿ&CVd G\v5U)%ƻZWL\%KoX0jvjܦVvW^iZx9F}t ǁS[Q6=ӻ~ZD'ȓ$ ,LV8 qcطkb!j^$ +Q^YjsUUԱ>} sςOT pKvF vP4N~ 'Qd1JDh1̥ö|L=ihP^7GܚJL # 6M" c!̄sֿY `TVy 1Ez sg)}*n&<{Z/DSZ{#F4iHU_IHٯ`][DMUY6) *`MB*,=KZH0o@ \97x@~}LuO` cN@9iJ/S 1OewH2aꮘS>/jVijG^ȫҏwQXZ`nt_k9km!A蜀 n ĻKɝGB Lq*Id G_4 ]  staqWh?'2lӮhO=wC01w˚#ekrs-]>Ճf#|(pNk%3kG?k[ZK|p(SD3 ~Q O.4K%+p=;~84qt!>%ڨPD\tY6kʬbz06y'e5{1e"TXd*:P%WD5(zasN?O߈p9X^Smb3v/: }W1wr>gn͹܇`vk1<1Z u!fuᰶ(6k@cQLAgigCD,m/}YIb*G/xg&1) G%e' I5fVNMAu+41SqbP neKX47b6`ĚGygY]p\Mvf 9U! H .n?a*mq !|RS7-/x.T3hv:Ů 1{pكc9)_I&L0vc $O9 g;C|œ^4T=Df EY+Q%kMU:á跔~գpkk06c&fx+9A-c/(\#UY3Ώ^Tkyr+F  Tc؀.[ʁO:Q=\KPgi_W ([+ tuya^o>aύ.̝ӫ/@xfDG^5_rdGFme~ Wd}S\pst->b?nBcVMk0xuE{Q8,5bkG ] ]N4 L*HvG\9!.7NX}aЊawa|]=uEu G ?I84Maz ^ gYZ  D;1# HOL-Quickcheck_ExamplesHOL-Library.DAListPIDE/markup7zXZִF! ] !M젗OFK?;uL2am Κ͙C;A+sO |Ļu%T"kQ<%Bd6{_(ifsIM Pi2dѐ3C4^"0J!륌?`Y<[^qsS8ub0adG8:t+ v ϨFJ`;Vɻ~H0֬o woUEgstWf%[˭_W)QbY%Hj/!Ė!s5G PyD|(x s~'ˠR]V4l.V͜3(MIї 3b=IF%~~j&: . ln,h`4{{*nqNŅCjjHUrno/ٴl ia1Y8!ß՝9_Ac|{d]tu=bc U/R>S~ J0^RbL oMݳj=̻;QtjE&JT/Oc x)s@6mzM+E1nJP wFJGܓ$Y 6Ab 2GnNmFL󯊉"97Ͼhtva[@Gcg]kA_+1~ZE e^p7giܱh&ZLW:l.7mx-m'Գˆ#2xYٕ~=DL} w4`@+ѻ)$zpI5/Ir@[M.0djm^R[ce:Na ;Fc?HvY3%L 7$ȹXZTVoZfč=d<JytJE}D`cD44P=L`w4sidݹx/?i_x+>?cYO ԉ(eQ%[r%{PsE)1RqY~S;[mF,jNjҊ$Ʀ &n-!+*17._-t`I>*t¦+ 1ִ_rU檫!ύ 85i;d iKw޿d 7_ gYZ ;/' {gʵ<*vԾNNla!_d.%V^DCE򛠊ZU &e|4jP]ZyÜ2@O11E]gpy#>N21/{o f锢=>͑2QR@i6v@j2w0rؓIJ @!CEU;̔qGCH64kݩkN 1|&0^yn圻5CfJ׸5f tYIp,mMh-N)s$S$9Bm| ZyƦWʢi%oPS)5dz'9&?'H6ޟ4e)6Hwp+y(teӔ{Ɠb4TnB9T<دDvJ ُbpĦx6!>${Twpf p"8/qL4ֳϳ֝,(Np77kӰP<:/j]qKgsN{^TCrHJmGK.TdW6gOekc2ʵaY[#gm c-M>`}D"̼"j Bt] ' w?o(YUy Ijr/Dܨh}2(^Яth"+yxYd)zEwʓsL\TIXg]!oBi#C}Z|'y I:: Y^Cu2Yl(ښocy-qAjZ5?&l%uu%XױgYZ N;1' ,HOL-Quickcheck_ExamplesHOL-Library.DAListPIDE/messages7zXZִF! ax]D?7 {?:fH\ІG$6gaꃫ414c ?eEH~eG$Yaw Cys'nфWC@IwR@ORx;2:X1⍙YT! jM {HL{VNNjV@q"#\C5c8]B1egXԞ?RCIgTxiWDLEcΌR&Y]='S'Q4cNvm3nqΧ4K BSҩjj@d7AWe*'SV^ţW8LJe:XfSFR Mv޹%4ȅYFpDko" xY_p*.1{gxPUqMTfeRض_.27ͧV)Y*ˠGqF&o[[B;]ܒOtleIPc05^ZFfIXFϞVFU4a C~9QicD,Pz;l5=%s.sj1=g 2 \{>4,08o-<[|ͦ!2'Yc?1RR_K_yW:v;_X ,,H!sQ8&;\^6P/mP>03ot4]>7aXb4d3R`cNZ\r_/acnFQ$JZgS"oa0Qf=/~,G,:cՕvNP$>P-- =̇d4҉D=P~:E~e/?4 T4Lw~<0[˳mZ4zL} va129ᄰK͠IG e£>Ƭq2R~̟Zxr:*&zX7EWwLz_qX4uwʩJqF1S!sQLc煀'QM\[TC5p9u Uu&SATLϋEL Q([҂M\OtM;"/cQ"^ӟjl`ǚо(aVrΒDK.ŏ,K_'E)@4'!FEFx X}n>pCO?iVkq}!Nn:Jti'1'7b7ȱ`Fa>Hw|`*Wރ]6 HBu5$B-V/PR%ǀЗx-K~h}NZ(Mh*na^=s `OE6TLw ;:&zy憎FH/ol SE6so|A}܉?/M[+>'BYx}|MT>ZQ>j#'t!Fh8gS% ˧Ώԉ.#7c 1uoǃEkw;"^3E7MV[lcBQ:,{6٠=P_Y;{y5 ?K1d*>jHĥmSqڷsڇp1 V]; o7gYZ \;IK HOL-Quickcheck_ExamplesHOL-Library.Confluent_Quotientdocument/Confluent_Quotient.tex7zXZִF! _]A-MՋhvG"uIBm5TMH]!s$h5cſt/!(goltW-'ǥ%b83Ka81DW]>ӯ=c @\VRy_\\S/[*BavsӵpP~Qu0z!@5WA $Aj>sa1sμWC_~ 8S!+~KA4lS6Mؙ Gw^Rc #M֬I) ;DgYM3fc_VUcKn DԊ̹ BJaxЙ'+B/dߨ*nod' zK7IN\s q"c{nt]\3ى.Rr昮TRt׌ROAgk"ѸpT7ǝs |4@ֱ,j[{(d:Ijj%tD6>l"xl ndњde 's7MZw$`hbV#bYK_0zL{fB3ɴ7R& Ӫ}|zvٌ3\(jE ]QEۚ9KV(D4 ICD2PQMćytZ:XʑCaA( P܎ !䋆p˫ioS$3*,bt1 0T~)Ȉ,SԸK I @ rd51G`|"bQ-w3cvY _@U'<`g}'B8%+TO9m_Q׫ʟ᫙ĕأPL5wHBưCZF;gQ E~I #cQ)о QMQ8U>i$6Kw6X\8PMlbz? Pf|` -越+P֘g?|_ 6tΒp&И.4tҢ\x'ּ0(=Z'`#IH~E|rLρnP(wUTm%Lo挹AY0 v"U9gylAnYUR ]hɹT땂R+>ߪ+ M'&xPHhJ9E'm;!!{;OAÇ)ZϗC1X4ʺdgS{Pۉo=e@73(FtDŠ,8-lq]e6,0ɂHК9P2jM5<`GXN N[z;4n\^' KwIDvV`V7Lu8tM98=FOvx MuUY߻lݝh`r`'ȼ%_Đ6'rjebs8_D0V=צToJI{,sjdڤ>2+bSKOئǎ͔E>D0cLQU<>?>R93mNRwmL6 檐vSiSn&m3yc^UG-~oRо0g3 {53/W^bκG\"zb` '@/ABtW8):WOH_>N?/Ȁv!jWw2uh-]HSl|;&X ZُaVž-14ՈRU=jBl7$uƲ+SiOo3e\7QvKt[D&uֈٕfڊIơ 0 y5+MR"D|&GE}#kx8]T@eM)S} k!]?:ˎ"Rr&vzͅ GID'#9&mm,% sx qcGho&:nsmi_ /\\t?)GȘ?C]ݗ*M>Vƴ6d/@6Hjn$yrx*ҰpM0J0 m(N`@bOg SL:({"_#$z`6j~Mwse˓zTn\p2CH8lB^@n@|>ζV+\~hW2&Yq⸅99EOv4]G5v&X~Y z/M Vk$EnO,lkrQ~b o`lCHczVn(N* ʮʬs,! o&Rz,<@n{UrWݺns.JڈؾSI<4)tڊMcpTA{֖Ŧw{_p3O„-.^K];bBjSYtb0Rخ$x<gV X1WG$xuŵ_v^ H3|.4G|ܾD?Z?vҩYz 9TYINs}߬ۢsOfMDwgbL~rIi 1dG\-}Mh~o45WzVƙuE;>@]􉆷.U|2!K:͑kh* ʯ~1W8d~/1I3=@zk1DCa x[ ea2v #kd™Љ:g?fy/ra87pb^]ܶN(//'~lA(*5x“ͫzh Lϥvk:c{nMBN \!K|dǁ#aCz3oMmf2~GWy_wl@DGOq߷'bq`$Wb#o҈A2%avxڳî1DSd'ڽhbfz3!]``( &`{k@j?WRt[B \t=y#~ ta@u0l;~TD%M%}+x@5G_{W8jM|JPNyowTR%KW?{[WGP#7~W-ս/mA5|\gÁ,њtc;&DėX,Q %L(l᏿b8-7Xn^T' gRa @ZM+)xS15yԷA4a?b{Y#MkC('l4x]?/ zq"WAϦ< lLiS6:MDrJ#-̣.lF2UBj3)I-u0*?O3st,|y(at)IYR~8W_wqTs(;1L흫L )`q}_ˬ.*aZ zm*C>߾Z"ń4Lj%^Ip1 Me >vWI, ej[yѪ)PW, 3'lX9q{Ur8=q~CND^fWw:c7'39X$i(9\w3Ґbi;XI`25懢$*`*c9#b~ċOV:tYH)::W71qCx a@*qeq\h3QBgDx 1KOᷳe#nOܭNxYfPߦz7q4s{eNc^cVbaq Oۘ*i )yQn0f'G=|vsB%xv"IW2{VDx],uoniB𽗄3۲~/ﲨhk+|* W N vggƋZͨ_zNjI _`,q&({ 4W%&3.Zq! -igLxć9H̩ji:X 5YF{2d%a9#*( $AOs<'ѾM}F>>@h2f# *۪hD¶z3<}+cǚ .Zf"/f D% 9:}RX>*ݼTAa"d<` V`MbpU"ATLzg:bdY2К9FO )koorIT}k2oxtZUz7sA*3nxّ%eXl2i7QK w0`ɽ-ǻ"i6M>k;3Ai}U/ v/1A]Ju1jS(lF&;Jq=H"'3PRQ#+B_୛[|8y|HD?m|n+OU7 Nh[8B2Q;T*:As/J9+jl\?җr :@SBliKN)A *'q}gcV@]e,`֚Bۏp8ҿw- ~S ɨJ(5 +| zhiVTg%P_ny#Ѫgqx) _]ʪlͷxNṄeg%):)^: RICZ16<ԝ 0J/hX9 -(DQ} u:7 ڻ)0T +".2l^3ȿ|fIWQQ")эÚEz`g`D&q!(w޸vB [N~_YNJ)*30q%\܊ A+52.E kXȶz4R9iKq%>-6[J6sjfP oZ&wuuWf۞Y<1e#aص@syXo]<mpUL+~ЍoH0!Hm5swh!|U*gufO͋XWa)` _Zn_,&DNwvUk41 +Zۼq YKi#Ec!fENM]C8֤pg(^ư%nr|zN_.VDݬnBw E:淋e( 7a+U(P៭EIȵ 7܉w\fyzϓM·1S厏+V@\{'lOPmHdW)7  F7Aqr\f{WqЇޘ/v]/t"y]N?T)QA F+sp-l'yjS_M'&%_4Q?N#?tA@=n|Ea sAMRO[GM=T *4$!4W9g׌#5ֶ|@w+Q\''Pbn+\<:KÙdTN?+_dM״|<,FCTcBu%}aJҫ4u OԠμ(ԋ=('[bsėꥍL ox^䄷E41a|@\:H?(SpDeؘ.XY ڈ Xڰ{ΤQ=w< wbv-6LFY=-a$T_ Xjn,f4po*,nĹ;TKhCZ1$S?fǍ/f0CC7/*qT6 duvHK8k8)SM*^CyNHؔ[*02!lv&/32Rt- ޏQ83c\-~ԺsS|7AJ8ݩX/29eSfN<(ݽ.;3arPT|w T Ώѐ)]?utgak6㘟o!om!F)s:By[ۧ_7-q2cn &UY4lYڐϘs MctJ,ME ҉,(q/Lӆ`k/2Ugk:VKg{2go[Qӹ?OnweAlz!O% (zKv YN:ܼjpxw?WinT¦nKx2怊[]qow417o!< >Vhpvu: 1x$>}ٞHtSZUb!i"'<h#Ҟj`k cY*Y ji|eЫi?d`abXq/3$Օ#-GBqfD뱕TtDv1 xvۗgت}}&iiRT&Y i6ǥr1~:߉Shj+ տz^@xW Oc( >!lQl FVU#715%VE;!w䫐Ik}E'NF@Iokјf(;GQ@ip!/enk!@;+l?Gs-|%H#H0ygV QdvѳWvU02fU%<^ !b]&I)0|PaCqiWf߇]Jn$"`AM&v0V ginԆQqB8ҟb)/sPt 6—v 0ެ))^o ϕ)O"cW+qw!N-Exj{}E)\2T/n;P5^vMBe־Pb aQH'eF> mǿ0;WFWpZ~a2ѱ Hvozs&_0%iׂكQw9A~wma:mso[Ao]^O-q`(RoXߙg0τAc Skk[?,Da7{?eݢd62+q;#J`[d#NeS###B rH>R˵']!3NNM 6[aV$ܛzU_8&Sf;ߢcLV\wg@i+LM]Ύ6_|=^% ڵki8bo^ȴf 5Jz'1]$}}0@7o@ww=La?Y#H b{#BMˣ&^e$ w ִ;hA7d 6|>t'ʹe%iU\j3?s JwJ,@I)$ ŤS<[L^)"`wV j>{xe:nDtSeV$7+yH`o߹/N=]9*@(הs~wU-؅+;EHTkAކ v{³^ku6v!oQ?-?8ח7-6ǰ ?<zLx4wL zj__#HN@AU57":i1xs2@@|D.)Gƍ-7m +YG6's<-$b e"A6'WL5+M5WN\N's51?6rd p)r{ 5t|5x5eE@m5߈^6aB̄KF0Q6PTX>wa]MFSWBK 27t!͖c:3hxrNH_WeЬt]ȅYqzh+ǼX_36,9BS *5N7Xw2*Hv,O,5|[Jߞ!7sV ;3:Xt+luEaW"aAD|H*KM68ƎJvi $]KC@\7m'?ee F?{6OkJntzc ,o=H$5lU荕2{j %.<̂ θOlB[!Lے5p`{} b۩9SHb=ܞ-{nu})^% yDQ5.MJjC'5N RwMWTt$սONKķoUP 3m * aMxxCŠKk x͘P<pm -5g?詵cxG#EieSYZ}#Q|ci[$63͛9q'\[w.xV載6rrJf񳴂خ8k8 +ި,H7sU "ΓQ5Xd(WЌ} a;C!EAG F&uǿgV.7"L!{ 3/+3GnzCBD 6qT:Xp^[!'ڄvp ?} pP@&J^}X|(!5牢 +3o >,%d'̜&NH%%J+|P+!J" 7^i/K)ߩB6))<09zo.3Jqq *ŀnH~)lcEQ?؜s0_q ;=? lHOL-Quickcheck_ExamplesHOL-Library.Cancellationdocument/Cancellation.tex7zXZִF! dKp]A-MՋhvG"uIBm5 Q((2B}77_^(ix6kضHү>`ٰS J:>pv݉$]}٦;ճeӵ .JOᦗB6EgDtVj\zb%(n\g,eaϾ4CދdUaT[9֎ň鉱os=Wg{ OCot9ݭb~Qp䮰VTib97^ IK4,(59|2/Qxz+OMP .ԭzLC lƖ]S@](BvECܛ1mNKOp>" k,I/koeez]1IfXX 7<(Cԕndq O$g7= qRHڬQI= :ڗ54Mbkyjh0KgYZ ;;B;s] HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_Examplesdocument/Quickcheck_Lattice_Examples.tex7zXZִF! z]A-MՋhvG"uIBm5e!T(]_nj8ThB> ^qߩfSa]ꐫtՙ"~MkҮefK Ut-,vSE$^nD>ML*CJN^%sE!tk~89`HK:N/"p% ӵ\c"8?;%vZy_.t;֋l׌xA *{J`bXAV*8#%+ ݚL~ъw_2JE_7O;Q, R[+QQdx'&9Tʼn2:$+,DTcqGۦ#P3[JvToԛ}T3]gtjVt^h-ؑ`ԱVKqƁD"LwKĤbwX7Yqa!#$t&,uo$lnRPp"b߄8`SO8Np$VrƉ3t h!#[sQi"Q3ʼn;ߗjW% qn嚴(V]|lH,3ΕkʾkoPK, (o!YF_0\=PfV#~:j|u{Q "x]q2AbuCLG ĥC|5 5OJFVziXⴐܪyj,pMÊ" R=mZTy݅/r8fp4Q]}kUtjg*,vۣIT6翕^ vyvJlkX,\Cgjw/W]0j^:g5B# )v6A3`UBç[~bP[i7o÷ Kʅ 5ŭ;3l9`oCEVΤ;:g #zZE=G" F&(d)q^vLDw s4+렡d.T Ȉ؍bk;~3 =>,ϫQfed#5 v"`Bz76q?{U*e j-AY%4vD廻lJ..-K9J;RlƘwo*hI U:qF^0OKBb" hyȴ7z+fP-RO͉R4ՒdQگ}'JLU+x6|=)t??%)Ghف;+/x)+2l&hruNo$ܮ:#H$o$KQ)S\sl"P^RUdC/mQ,[cU*I#Irkº.og%5&6^>TX8 ׉4SZ_[MA$~gYZ   ;gQ DHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Interfacesdocument/Quickcheck_Interfaces.tex7zXZִF! ]A-MՋhvG"uIBm5e!T(]_nj8ThB> XUT1܌ɉ qy5(@I{ V]bYer&j*A}RFf;RH^kH$T(^"ɫkm {6Ry~Y?L͝.I@!_ j 2ɭ>&S: Ytod7@>!862\H)UwMoJU8aB'eRT]`PMdg,Ȍpݴ>|Eyӗ}JoMr y[v%R\ ܴ펨_?|w_,f̏ _OS)>b&A'5ts$}l ҟ =黨D8V,9! d5X,'Y qoxP-;_ -gYZp;9; THOL-Quickcheck_ExamplesHOL-Library.Confluencedocument/Confluence.tex7zXZִF! W]c]A-MՋhvG"uIBm5TM j;J.za@ZVTz7^/=!| S:ØjԮV<[- f aH*hohk*~a!뵚ݎ*fj=$)u&4L<\W)7ߏj+jڲ=%:kz;T^'e>Q򏺨w`0nZX6 d)\3BON sx՟J/q02 dxɫ( Jw>1E 2 9*(,7ڤ=\ ane.pxp:k"*?RK>l+^K% H 0~RgM:F&\'Y H@6,㡏 x:${ewnOt4\ߘ9VuomJUCM=Lxf؆:J5Hx!m?,r޴984f5 Uف]m?"EbbnS%44HDžѺF-Eғ'>xx a!krY|Tk`akQfΦ8AxM 2 \\+x  czNY6* {'0KNcV#"NvwJC^R 6D:DOc~O2aj/=]#[I. HvwLtg=y@3%I Y!/S5=lƨsQ? *~H΅.>&@-,WnSt6KwLq(zY<n"`ԍS I䭗}*a A,vhܧcK̤ yYՀPaL|n2bԮ~ǿ>JGd$ɾj޻v{}(]eAJi׌r! kEkaC޳ŅE uTy稖|/'5 82 %=86䲑-i^UXyu4،;UA:-Ӱ2>fS H5ЕhHj?tnD&kD3K-{} f欛$xGE'zjkRƗ$Ь%cmnJTίCmXVhp wVX.o8 !s1YmrOh\s_!#nkHڣ6hczv[D 7b^!jha'ˣoknl\n'90Y,}WHM )OKd_/fg5h`WUip =)@oœ:?{URw~h˂31lS}MxS.OQӳP[ o0mdXJ9d VXmZ9%֞Ch!|;as8X) &-Ơy1w˩6Eh(8s+y:FPP'M穗07e՞ge{]qE/ubDKOs\Ϭ&eMZ`&иVRt&h,Ά(<++X,?bVD: )@%kA rwQh3݉ bףc_kb1SޮNהgYZ  ";I' |HOL-Quickcheck_ExamplesHOL-Library.Confluent_QuotientPIDE/messages7zXZִF! 9u]D?7 {?:fH\@Kf6o~f-DzAnJ8hR^*2%(Xm?V7wBO9>F"]wtg5<T$#I!p2 \/O|?NBqǙF l9!V>>ߌ}4sAIQպ"oz3|wgOݮ6GHj+ˏ ęT;Y:JOpjc~@lܙXS&upTsJ uZg#SAɋa&z4A_ ?K(FvA%$shżu,#{ItJYx\R{5gSTps]YP;D,G=5'Sԣonq]V6kHm@ v<.ێM1KEO(q&m}v>Bk_߭ȅ'!%RA6~#>qrO@dZe` \ ꣢R?HX/NzMS8q(A69pߡ67_cK[G#Qj=qK+%~)Q-"%C501aS5v:܎]Nޜ}P(q詭JW"QN C2bޅ)U lkgKH/mࢣSp* 14:t~ڲhVW1\Q@(O ^ vT.$(MqY2!/ }1$f[r5`)+l{D%=z@$fDlä 䕠 %mF@-[KZ7oU%yM8 9ŗƾ&5Ksҋ;gYZd;I# DHOL-Quickcheck_ExamplesHOL-Library.Confluent_QuotientPIDE/markup7zXZִF! ]:F. w&FO9ewSLY@$}ߖ8ioϠ/FεEYpx+г*";ǹeAƦi)%g*qM+/[]/L{pAB2 LFo&}s1JN&*c0B9o#[=C29 u)E]TfOx$$'6uĮ= UKa2g6 WW Bj\M+@8Fؙrb"wUL8.-uyEFOpM 0wL e rLyxX 2]-0>r۰@s)0w|!,5ۂhg8TfTe=[r%8EB#F~fBkZnڃэvݘ >`dda & Ph`ߧ(zM򆍨k3ӯ6ϧ޾yD~ p #Ι~Mt+F fOL MgN&X#_2,o҃\`euՆjXIFX=c LѯG~V/=qX.TSsQē|`GQ} ,a? ]E. &b{ ՚}ZtfʔS5 ukP: zQeUrJ_40@0B̸$oĸà ¸7$2!:PfCv ·KU^&aa-&u m33O췑= ؟9 mJF! k0ƽ7BUFfaiq۸N}zb~&<)8SV{| ^ӺSkw(Hȡ2Z[L |L珵R%#-7E~!ͭ}bmkj\T2e\~h1໤|std|6>[̎1 1 s;YxFh"8sC }q#1#vH:w8A"p/= `侔 ЊaҲ{K'Yf{ze"@NC RZq,a vpԌ#-N oc*|ĉDbspO_.9+@vS%Pcw_UT8 !"gYZ<;q[ HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_Exampledocument/Quickcheck_Nesting_Example.tex7zXZִF! ]A-MՋhvG"uIBm5e!T(]_nj8ThB> cQtrg|2e:aug,R,lc0C?}4(?Pj?^,t.s(()@uBdW('h#Xz{ZquzF֐S_UVbs:`"Zr CI5oɶ! eB/L+ %YjlDyYw/=o#EiҠԇ+v; T5}˜ #< L cLpS$#fǾjPM6}<]h)59CVD gYZ;aK tHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nestingdocument/Quickcheck_Nesting.tex7zXZִF! >t]A-MՋhvG"uIBm5e!T(]_nj8ThB> cQtrd+Q+E?(R I_sеD{v=D%7O'q܊̺wUh~zC#j,a\l>. =G,R[0mxot(;]$u7QU;HHFc'’c9@V_pS?*Бnj+ֿ -H 58 ׂaR#b:Qh81ǟ\p%=2ٟf+Qe>Ga_pN.K'XA\e (#V:039Cl{شfFm9\>V1(6OP6Hː= %Wmԭn < 䰷YfL>\=J೺!,uӜNP_72|iB{(ԜEI9k͖j%@.Uau=F[T |3Wo-g0Ҫ|ɍ輈o :V~kGAH H[jgahd{fZ3čضZ<!hlD+hA]!`eI"[kn(ѿ7qI\GO΅ C^Ca!a@+ غlPWpy_jO+0LgUffО6 Dr6$4ozɌ,mA?Vו/U4>XnPi?|tLt+/F]'P ^{bg*Fn~mWosfObdSS")STQm6 ο{ߥY\LjHN;ּyE;4d&6cDDwM:7V*$ҢP/|HkA-i8D M)f>oxeSֈFMmF\Bu/:"D* ˦i='+R%(y %1&cXYYopҹv~f)K jSzgx= @id%kv  囻ɬ4ji?ur:s(Gt1fXYb#442 vEb :[?OvY|!G*ֆQ}=5 K:zv..ڹ6l/F#Y-LjQfy%G. A"&_lC-O)K[?E(tKρlN[a{u'G<8.C[ޫ~I`[D4-r )ie_usA|=kٯ̜csn*hu*ȺX +J 9%'q~CmȌ1SV~31l:f!7nbm+DnB18#-_i JCX:Px(A!!A9ݳ5I&d(kgE|>8q P$}׻9̔T>;(jV_*rY,q*͛ 84In848R5}8-Qm N:ElMx*AvjDwM j)ߙFn 5,H3d:N L)#Am=mU+lJy{~ B:kٛ9R.ń0ͳ\_1;z:?Glޥ;O٨b({t{:R5$1띟Zq!\OL*+@ +_"X9<9'6_~*-3<[Pb<7|;ru _EG-y&B Kr A]cݳ(ʁndyL&7\"FaVV&>$㗑0|DŽGtI&KI~5$Lj#t^LwXZ^R単M'e&UVlOAJGvL55}^hLEWUNjMsӝ>-;%)ߛ\Vny89L#b?m5$L0"\i9P9[ƫo@1VVSG~ Կ(N*+"lAs[L;zP6KxEG>qT:) "Au5+ x,5Ii)PCSz<T\//Gl6j101O bwqR#TXA("u nO_4A%La,(-d(A;Ω"6kh k 92᷼N+;U-R@?̱gYZ %;/' \HOL-Quickcheck_ExamplesHOL-Library.AListPIDE/messages7zXZִF! 8]D?7 {?:fH\ SƺO:R[<#Dq\&쒍ѼPuy.8S}` ̅Z$?~3ň+nrB\W e4g9]vabO:c?WfрL|%r2nڔ\m|K`pB R],30Vs**rk 7)?g|WZ bP^a1Z (!dHo9RFLe ծp$$g$vʣ]VNAiwamzjWm 0k}xpıfgYZ{;/# HOL-Quickcheck_ExamplesHOL-Library.AListPIDE/markup7zXZִF! o~] !M젗OFK?;uL2aON1̛ EZs1L>jZ4lXg@VJ BaiUFnwm/բvON_ř^.ֆ!gn3 6o\m] 1lnY+B\5R*JƔE.j,.'m (f7M=|EJ6 V y'%nK`D?#&h З, 8>-:.H-3eM}^zV;đ/QɫRPH*"S"X:KlG<7LZ1W+;a|p HYQh+ORc QP i z64a [nxR]p]r*Y𦩯$c(6Ɣk{9%~O~%$PwEYLߤjS j!9xQf`U+e@7uYL|&4SDH9 ko Ts,@)?Ϫg#:1fݏUI9> 7@ <S[bkU0[-9tVTJD45h{3%(-&/0 ̘̒g;\)M,-mK 57>" ҽHO=D@d,޸b3ߘvDˆ?F;03?|P'Ui!W=X ڡrǛq}ihO2vݕ0tD-/x/x?_OhPZ3"xε_(*LY;:G܎-^F:>R0sbr2ynۦ&ƺ".CoFl;r B LD n+ܝsQOE ξ|yrX>8UӹZK=LI~OdLIof:ĝC5}y\$˜-6|(柭wQ42:JY:7ٸT6ĘNra;f|ne&[L\3j@#c*O_PRp}.iXTԢ V /yi^2(&y72b% ŅUa5Ȭ nJ 8O0V.nPt_ۭʗE%V4'8@ʪS6079/(篺[T9l7z0{m+GPwDuDW3rφ1 gc1*(8W&~@2L!Ah[6U#VSݞfclB @Cwq?;YVq!)VR t0*:4Mʔ_>3$pwMa9mŒ.{lFZ*j`r(Q@cxoU|n6X3Ç{if15!;诂?{툱>vAqbZ).c!(a$[vH9+펥HfJYjo4 vh_00ᒛ>Ӥj1dOjG.p<ıNYɨ)@鈓"  _8];s# HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/markup7zXZִF! ] !M젗OFK?|S!FC35  *Wvn(;rŽC62nn`'$Q]z_/(f?ߴTKicJ8f2K/V> g>̌JD3niaMSG^O9Yɺ`@H>؀,dWiVُ^[)! j*G2A%{?`%Bv wfp?gaN&dņ6;T#xcY/ 'G_wb'YcAGӫئ}b i&˒*|ʚj"8J< YR,uLYQf/Iˡyu=̛5>W g`u&qJ2nb9UQJu,aIj~|Ӊ V56rFK^no6˳t*j}a}VdwK+z1_ N(P rXs@-%p\R3.SyiJ%XTEX~1ϳG+ dqȽ_v\Q( ,KJmT&#(n;7Txm>faHR>ze| 7&V2PAdTqDBL-݂W0'&4!7lz *iGcPE}ogWñ5rK!ɽr{scwdL B[[),\Ek"4:?81Clۓ߻(3-0U8h^GLtN o+;>TLR&}`1FF7|nN-ABk93TbǙv_ ٬I>ʝr̅\ O1ɩGzXsӆD\5Z|IлOaYSܚO3MJk)z23WY(,yuO+zt۝7qHM's-s*v%'O>Bܧ=/'syqpvP= .XQgYZ$;=' LHOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/messages7zXZִF! ]·Iq n[:|&[zxlFA7 irecRB70?1PyUy؊SQ\ă- v+t > ȃ.&0=6INe+{%MA뼟0@ɾBKvL3 N}5]\S:Ő jnp$OmnDSX`}v˫REokBXuGѶ"ж?6\)jpK8q{ls9450DGALBː0DV0#3.oB1I9*aр G37e4{;9}'h=`"guKmSdaFY2rdƾ,fc:;0[ʦw&MVijnGItk kgL"G/T5!"|N𑋁k 叩}O 6 5~s1P'6"@?dL)-IX(?UX[rwې,=9'l>0R ,% 0oalT)RSwu qˎY!Q2Q4MLF߈YR3&Tl9Ro@ 9 gYZ;=# DHOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/markup7zXZִF! ;] !M젗OFK?;uL2a聳rX<ͼs&Ã>ؽ uZh?PЮc*GtsaBM|A 46F~&:F6`HVn}D YPeãWk[< bv P;j*;z>ҧbfd~"ڽe۝u}@~8)6H~)Fcs3Z^n{CӰ3/?l;Vj!&Fӛ˖F~od">۶]i&Η VV+ 9V{r =<{GF&aGk8;F  BG<'pi11 }X£5 Hs3eZX)J}dе,4 0xb4HMrךز +j{҂يùG}C]0 P9Z 9x4Ƕv|V#yc.DlAh 5gLI8 tǯ(-k ]n|JH?h\ ~CWhzNs.\ͲN?}&|YUXr| xt/hȉ#7|j(ӲtrNuY8r0#'X4?u(_lB܉v,~ diHOɶ9o@RZ\~:z8NԌ- ^GkjAm'IcR]8` /d #nI%3*'hˉ}!Ȇ$x1&Ԧc ʺX\ }. 9LvA.׊wu^eH0 ѱ"}DDWS>f{'J5s% u;M_/i&/ %fZ٬*ʚFjT`E'){Þ k%P(AwTjZ z\¸> ̾%trOˍ|-Y"h  gYZ .!;g' |HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/messages7zXZִF! pv]·Iq n[:|&[zƔO\GRzA& _q>[|H^;} A/Tl'$h9MUoٮ6xw k;ղ<(Zx}hųߒ-!jW%V$ϐo 8 䄧vd#ߪGT)eק3_^6°e.uOG!In7ay%,٦MLRM$Rե?\q\W:nuq\r$0"fK39WwԨ Ƕ"`(ϢqVNݬ1;wYpDiu揍ĺQࡦLתm j(;I פd9kFhE*gYZ ;g# tHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/markup7zXZִF! ]:F./=Voob5O$ը-!c[8(S +3%G2s6⢤j86[J^rrՅ;VdJ7ʀJTk#O6N=Keƍ "GuF3&rܧn?[~R}zL1L1+Y=`=% x:D+6ܝ8-KIq%q ݧ00(+fp߃ȊU&~yeܲ蔈Dl'ʠGۣN}BP(my.Źe~ 5 dCeޤ Z| g?H R QpBi)#^^an.m'F8tqc &ve(֭Q nڱR05rWȍ_~wة=szTΘ@%YEסi Daѵr ]Q)63GSZ9+>FdyѲ;3%VflԢױ jZ:&V) @kxHƒooOXvu'9FI܏}z_ rEbK yD Sze-%/oѠClNϖHk.Mab$җk t8 HWtjaG XQ0ܩ_RE$npp I|i0z1-$8<ޣ- WEABB#!23 :/V(ݑ‘{g-uL@]bg%00PhA77b5Mo4s>YI<^>> ^9dCd6>ތ#F3'.| wDvX<`{_v%,J#9ϳ? *aN"$CV([ZngqÜ *,^6{A79fG*k]cFwN@|vn&G12rCf0ZҾ5 r&inrB`,t%y=PU|UD?f)naܲџvSr`tE\H ˄3te4 "Q{5_0AF

]gJ/7ˁ9/EǪN E4R Fi9{Oܠ/~9V D27Rb LN@`EuB {թae&g!"#]P^` %\?j_# ]GqH=^9Agvw){?1RqۣߔM\/TDڸihJzVl w1u%nou&=LUTa9/ Ri)N*YeG1Fx/S鋷;Fdž DC+8𘙅l⾒Ϥz>8tn;5n*lxф.LXM#&0yqҮ:j`*NmL|lqB\llTJ3ٚ5*[V]kenk6S_To&`#POTܗ"9ߘ U4.L2x #&) OH)Of)FJV)թ [SyZ,XDBO~!H?G*(Vt"y"xP>g(N):MqebJ_\[~zK$ uyc$[Q6)A~pD?%]] ) 1K##-<<Иg=k@ނ;(f=tJ==eıgYZ   F*&;q' $HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/messages7zXZִF! p ]·Iq n[:|&[z-D7va\QL.֔qn̼b̠oYٹ\{ ͇w䴄z*' k}փYpu!Ov aûƃvsDr2T^zi<tD(ds֒YY5|( c >_0Hd}Čyra.?45SjDUX~Bre\)*1($[+XΎsFxq86 !9X^)Ԕ|uF?7e/wPA}"áqOa۬B7=;_c^a &6 $U{q:e Es@ƪ;-5Z^~ OnCK@ґicєfoSiΔ쓸Jа(TrY{%4Q5&&99v#[MȔZM`\-*hᨅTgYZG%;q#bHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/markuptheory Quickcheck_Nesting_Example imports Quickcheck_Nesting begin datatype x = X "x list" lemma "X a = X b" writelnserial=3393216writelnserial=3393282quickcheck[exhaustive, size = 4, expect = counterexample] oops end F$;a' lHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/messages7zXZִF! ]·Iq n[:|&[z`cȟ nR> ew~/w[OɠDPƚ]n~JpP2(2\̈++skӛf]yw$˛`̺?3IVDy~`" u#F`ӟ뱣 bgYZ8#;a# THOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/markup7zXZִF! "]:F./=Voo _p{0o<7dl-P;(4팻eP9xn&w) q2" @6P62H/]+YkF' `gƶZNjt~`h+,XBq!},ye5OS H&IB >Uq#^L!6aѨD_#b_lcLMC&|t y +Zxa/d$ ߹R fS yҫٔ,$@P t8M\^E>"=1gYZ|";9# HOL-Quickcheck_ExamplesHOL-Library.ConfluencePIDE/markup7zXZִF! {]:F. w&F6_"$zljF^6TN}#u;v0X3$VY$ܬzP2:V-^of16_*i8jQ@`?jO{p՜UV41 z߈~:O9|-~,3r5farOkG<ϗB a ̜pέ|_CPInHI OOD *]RTE0ܦjQqTv_cA:p1,@+L^=jXBHY2`[ ;𭹋Vڂ!YV-Y,򾸇XK(-OzkGM_qė^Ha޴h%$Sk@$tGNNH3FnD}d%' -iŁ_g I+ I&@iY8HlԱi}fEN_}yIqyQT`QQiN_xRc6HP(~'؋_ZcI ){l:$Q$+i0 7;ՌyU Xt =76#d#՘ej)JQsD[s 9k!vgvrnS3"c~aM̳?sjz`0a֓r,`9ĩ~ @vSjG&GdRPmi$E|-[K4s w$f$HRIjRrAH"pAp+yzAMK}Vw!-\ gYZ(8;]O\AD؁Нeg (k}'y*]<m{E/Śm$v U ׀sԸ~ab0[`*S[Mvtqд4m\InNސZXT"(ָu/^(xHY^l PQv,R}z'Udd.Q0.hM ~tB][ rE'ԂȖ[Ki|e:Tb")T^M=tR8/i㕻Uک+%⌁$E*l&Y<.h;XM=7t|YTd`(K lhV+#O`y&@yb j{U RpGӶn0 }67Γf&݃A~]RxTbSiQJ]/=ּpe1-vQ~9]h?zGn=:SP4A_ JYfvJSV{|/E8*9lfie, Ofu X>@'';~*^禅VnPzE⾾00Gt5ʳ {ͩ>-ûo?c7`V#"dzcl/Ɯ"].Iէ.ӿ^ V^1b~[U)r/Ol\mCjS=mB:H\lTd^]GA\a{k#ޚ5oj/_/N:Dž@:c4Am 8`/i oZdcYƜҍgKïEPV%@U BGWU ^4$˹\s7Ë✚cǦ}DArd?߄-I"'<(ADŽk9N^id6OOuBc.d[7O-%V9A}`h̄JKqQ䧎 "疤˹j/93C~'2o@,Mfհ|dVˏuu f蛝D{h87HP:{=a$c\LG$3VL1@:(<.CRco09CTzŰR(-cJm`RO[;YE^Oɕ돁[cH\(AFKə_Nya)gmћ(;BE/ y\ȕf*{l wr@.$ 4ʑf;j녙_pIfW |ɷ@kpwgduqvPє c9 ۲fɵCح &޳*]`Bn!{c}Y~FNJN%bwKZB;sF*_\ISsa fgf Z0/"I_rdOAm*=QmTtqZ -4)XB H2]tڄ8slm'`qB腇9wH- d?\D Jњ/. 爢eMA\f֦dTQhVrv3 WrZWPȷY\ش;0 k~ 9Yd=K0̍M'ycA#Z;{"0"+Y<~E\pL6;Ŏ抒V2;0.7E`3=>i'R|V<0.FdCT lF:lpLBpVN!0E;$ߦ`u3ҥ-ښ¡g%zȽ>B"Õպ fՋ?c}n+M`$%a΢V04WHljS4gA=ы{FDSixZH{'G9iRJ\7j_"- >=ya慁E5l{_1){fwjm89xX(CG5$ ݆Sx^yI8k85zbL5q^j86b[p? P3y&+']TK~>1Dw"fn(UTD(-A#{E0O}M (҃8Ih>^\kQ({6G[]vS+Z/!%op>j'B6)mnG_4L-|'O2Bep%b rB߄K-k?>S oVHARF0<*ZO[QgπK <#mʤ4viv6㟀N~wHkXkuՈʵ cNgН:ZK uFv݋DN+?Ժ<boCB'\!3 =tf xLkT\4'[^1֌xEv&`#ֆ>+C*N=7ަ%qQͣal.+*xX9yl+>k8iH *C`q)~qf`MlnGQÓ6]4=6~G` 0B|x& J6GKhwTW/˅O`4WRg2Ьڽ~ELl5ٌ Y7_!C'Yy15׌r"a;6z* f /kffP*dDd OV%bAFm<#oM|G1D[+:y K@<_;$6aM^aj>ĚQñ߬p9Vq$UE#-EW73 e'BB-"vwkd[aÎ"6<'e ĞEhor6W '1z‚=՘,0޺ͪRB^5_|9 gQAH69&SDP*5m;SՈlt)Bb83ݛwH@ݓz ~<7Xf$@]*YT>kx^F@ zy֮@ l@=hr,Mix5-w#4E]ʩayWnh#O_<xiŐ1XnZ6 mwm9fp}!Fppyo(@ALh56!{nA׼W]GmE ޶Ⱦ\'ݴAn6a7=X4 鑿}lwH)]$(ǹ!FHڅE&nP/Qʙ:o#4(u$1cD5;^x6>g%E,@SC@pf #,ňSoSGŋɘyH=4'4myKQɥƄ 8X7eׄj})C| d+Ow[sIiQ` "ʮ2?PSvȌH˟@0L|;{FA2g)}jd}z&JaHµ]7l am5" uM #(N*{)#СeO=͸HA3^&FO~FSDW}~Z+}솼tL;2;PgiþdC˗&Ngc9Mױk4?P[l-0g)#E2kq }ìq 17jiA{FMuȳ![ `C&:aH95)n˻=~ zE áUMe;jȤǦt6NtZ>[BlJ +G* rp)I-5|]oxV:?ى Dz9.Lo=l?qLIWxj];dxi/#pTW@֔UIP7rfPY E&( ӈ#RQMK c (3]>X^tSqHRP⾑%b̕"`?H˓AQò-ׂ'R:b4z6$!(#pXtbѱ9ǰ6AhnK~7"D zYhEyn dWgł#,TpSjC JzLj3м^>ބ&Ѐ0`4sAӫiiK+j9}O?C {J;Yst!>x"yS]q`,`L>˃Uy9@CPncўjYNO/o&˿W 3$v`wA7$ӡ?URn0eJ8qk=ᛘRb/;gL( U)8G(jmǥt3(1t%xBznuU[9/zţۡª&o5Z9*/,\r./'%/q$[Y\a8{0AaܼTήhf2=\rLkC,G8ZoC:#IN$]RehY3U,$GSDo`~ǶV4w'ٟ8gjnv0a qwR#碬޸ҋT.M}rrã~r6FE~%|bcVZ4:ƪ PEhxҼU?(x v!7J%#0޹%!9m-Ĵ`/buc~ͅGQ %V:"̐wQ7xrc ֳW8hWշδ9'Q,xp geo\+WtIi7~kVFz(wnph?RBK֪ۛpMAhC}[yXµ{lW4ns%۵ Fz ,Mb{+GLW*=Qnr#a 1όC)!▜3+6=~{n*ьy߽.c98e>* )Lz&w98_idr]xf {'ک.g[ Iw0 t]*\,^ƪjN_1 =zMӇss}vn$L1;f >{ %4GbwU$ղ8"^1/p]РVb3]ҁ-^}R┟WoKϥ(L̟&LpsD!FÑhkܜ4;<".R04wΔӉٴ VQ n9OPf|Lp𵘰,Tu#:DjAq?;$JOJxt@`mn6qnyq4{S"# +D4#@&;Igcՙ1^?[l.$>HQ[^ĭ IAɜŠ%V'5lM9 *qjۢԻ48l1-iXam-Kh>,} OY=]ǕW[i.t%, aqmȍyM&vٯPYN $&젻~.v/?!d)o5zl?KWcU! Ԋ}ƻn7 cQiE!utq".&"P/kz= ѡ#Ԛy?&ēˏy4FYDgjDr 'qPSsꄥKx.7d"ؖϞ'rNFp| ڷQ5ƞ5#D$5Usr=1hG[ Qum+b\g:U_ PK)56 ݭrhy:앂'q(3ܽ2'b0sVq)$/eHPWphk675>j䳱 \؀G1:asy6Y1tWي ̀`=7J}iLɷֈ^`Ͼ52ZysbxkU݃l nژ _|Ps:,FI+.x1n` blk@Fu ;hЊ?`jQ }7Cø)B*oT}Оxq+N!9{G0~@,"k)V&'blM"7~e}vB\\.Ӏ]eXBɍeaOZvA,Nda P Hp\Tio F#1q\)?h\#Ti*O#KB',"7RbQz.qeuƀ%$N2cJї4g6Ǝ4^EF.Ƌ`o8v (3LPe,2YRlȎMj1h4UL}f@I&å7 q*\ z2T*Y>s``۸?2^zhZMg%سUXE C>l4(5W`}8mD}&jC&,M M/h m#,uC3Xy"7h*>imU;R;~,?=+n)0DaejcQO[ Џ:{CDqҁ}*9ʨyH1Y ͚Rp ב92%$xJ艄⿣h:J C=7j%ՖAG 4RoL]<1x,J藎4zf߸B VZ'h c&c]g̾ _[rر15an#Pj\J{5حakķGTv7A\'vA55Ҫ̸ȏ_rQ1]螔CWNldjtӓ,O[F!V}/vy49ݫ-!aJL :1xek9V.GS$ߤ4@34~ڇ*p9]ߧyEvoFp2WqIvjJ%z!VĤz(B%nB+)i e,mki:%Ϥ@p^Vd8,#IGB`1;حx;+‘d IC *j_G%f^f:N 3-G];=PRe*+@jB. S]zL%(4gTX' kJ84$G܇pM2̀fR*Zj*}>hk,;ڭL/SKg O?j(?)}Fi4.^7JY1/=LrETo =)Tv㔐~T&Z2:/. *2iIh@ AJL__[o Hb":K=pŬjLY^ e6=&ǬaVY|GړVe:Wc&Tz6BmFL}1cuR=n4\z,5(K nBPr*,o Sc $=tlc[;bpu#GTp8z@j<=^gToQ,QKh1ZClk]H+T2 Xbymz$xțTdCNJy2')X7?AI+s3QDh3$@uR { E,+}ArdN+r5yw07>A@ANN9JyN۸FM/jyu:Iꉀb5~,Q !u XПQSܹ_yf(|=9RkLLb^9s3{F%+FPoޔM/||L U]J%`AfW i>2jҁ3pJ,h+!tp}_X2 g2ScDTT,O_ HY;=ߢ<?@u%.R󱘮%eH/[h?vğEbF[algc""Yg?+XW rhxR[3:Fy <5:~ߎ>Om:6bmvρ߬(ϻw,2|Rv 3;9ғ+ B+N m*+ y7ɲf '9&M F[z?޿ *wr_ hƻy(,cpX@{Ni^FV[~59ֿ(Lq _V6PjxK>枡&-eYmUAɦ} J<7PưHgLdp]|%a3T5\Y|i@- }Qz4wPR{7R&E\i3UaqBS;* Zlb#PׯbtN99;`bTۖKy.ڥ'Zya`)n0ڑKĚ[_Stb29LCNN"`$jlhLIٞ柉!N3.i1/g? 9TNx] v$T^u>IFfѧX:M=||_s’7IWU4l=5LLH(xe"<:6r"Gn ~Lnr^irtv҃=CFLk_E\BK)~ } :)&~5e-J8m&\nҷ֏=}]IETN/\w , do^e}f:(AL!c[D{ QB iᵗMsm-ԫd 0M&;1Uu﵌~ iIOl,e]f S Ϙ,̝~E}c=%D7H/?F q,'3xJgG˽i%4˙6pt7㸖wQ5<[t԰P.axs?h5|ؤ=e$|..Q'~k%_tc:> /mJ +hB N^fC?JigzȪx'wyמM6 $b3NF"y8VHC _E^?Hq{15;mdK~f܈{Bb{k{-rZniΗU 5Bw~UAI.@7Ƙ_~7ت-(vq?-#|fp~ 1c&HZ q" p݊mco}KOle w׀G8zHlr@) +U­٪!HoYR&=sMvW!>Hhl%8m(*Zr '8]< UPАj^LbzW&c-vQ3v}> h|Iq~X~F4"ϟ`J})y`!nҮ7Tad[-l&fDHgK_U+SO-$2JGz\ZVWCB߽Y  9&+M2+*|Uz׌oW ҂ن!('@.Z,,!|?ܒ{hʨ >#©ߩi1tE#jK9NZ{3v|&o%@04;6yοΫ1 p޼l,Vjmmq7Hi^?5D̤ל U+8eM)J%pэ:뗗=Bi%c-z <,"EI.Zw,BМ<)g]-¸X59l3k葔|vڪL%$P.==D3(N}8ۏ[|D o;x"A,9H1:كs-=N:z@p`. yӤG8VHU$SQ1+ҍYhtXgUc{o%%{iؽ})uNfh^ta3I+kQhӣI-ϊ=O7cըS,ڟ'3w,#Z ; F سЭ9U%N yU#F ] *MsȜx|d:W#q1v'\S{acb`OvO{wz )&N9`P,ȐIT+#XEᬔ/͚$^aŨf|4.*n5rSQz\ÍǼg?@x􇔃v'g5z2'zxmy SvyE,0..gm#r2"L" ,h"?|g gMܑfy`>#lK`1Lhr0PDIQjjDKs .Pp޽] ,]RX*Q}3vݤۭ$FI5X@E'dTbDAM)_Nc`]3w+{?.%R݅9U#ggnY뒒#\G~MML3kw Q>duRVnpVu'l P(U8^7cDzWr#+d1]"U^i9 rϵ~\(۩(x14H4g: eY,"e {=p>Չjoʅ(Vc[%IGr+ێ "kѭ"1 2rOWkf[t<=/Gv<@Smۆ2"}a54/H{pz̬ vϘ.<#6ДNd[YuC<\ؔK MhW45rS@3SH"'KE눺{lxC6VԴOg3#n$mq,8|mFJbgr핸>&LgIpIm ܓZҞF uFTanђrzFŕU%6@s_>#0|n&V(qG5@qE>c>S: h,d2KcSY>ەQ;HpY&+ڈY+Z6nH?7(f8 RAۀL*"T0a T)e3`E8>%@`"atL؟ k ה-ybbo"RT01~J]oà@sAr9)0; |7jEb'O@]ig8|3t?;M;OnK|RzA^stߚ ^CCiw`cŵbWS|\[z~fLCp0$3vtO 5<=o<0<][S(5 N8 Te+\2E]R .G!ŋn+K ?a l 84lR0lיgsӵxuiHZ"AB;k'˪%U=7&u?9UQf8h!&<>]]pV;bF.[hz(V܂GRE͞ 3vK-N7S5:E\E;J :E5ѧGhK. IxTV~+r%v羚^mi[|K*}`YX 3/tK-WCAci,\ [g%i06/e@ aDeJR1MkM'{q!3w{{f#EYsj?i*ZfxqTiPq\A%]pծXzPX=Kv@Z3#Zu;b&XYF*L:p4ra`ɵU52\6|rFԾfyaʶBO塷MUߟcҜx;E+o-l(c\A򡋢gji߆x$;&3$k1uVk:u1q7I?YFơ6~'H6uj99P)k^8ƦUSq~oe 8u02z[-$8GE,3Vp-v7~J7ЋyK<j6Sp慈,8yajʿi\N>e^"jp)rD2fItIFvh$Zv%͘-UIIZi!~epSLBV*}AEYŀ\p֌zdƇE|كrv{ #Az/u,IAxiJi.mI0x'~aYâh#0ދQpWo&Gl=@ezYN$f6ZdHR#BrBsb?ernOsXGia2*3YywLj(y{w݂|- Q^n|ի3!^b6 6=H̗₽Z-Wr-e=/yJ G22Psq"5DB87{zPZ:]]1 Y/Ǜq4ؓPhch&D Wdb$,p"O[~H+V!CzgQUo `nB4?omaУDy0z"1Ҁߩj zeQ];hSS ]lJagZΙj+eA6U$r+(n ƌ ywq ?WXnJn%g6IQK/ RasDwrQ`_Chb\UU!(c4nGq"ƃ/^M\WoO6%É@i$!5kCNz #%C |CgBK.<ǹ},ir }`}icOZDǍb1/YhIyx#y9g  ?69ޙε{ p݋gדASM 4!LUBO,- h!>mydmtAYbE^m6ɂl * |~X(/pcϗhhfI3'?Fܖ“aVMZN8o)Zl#G6~?F6tKI;:7cZn~Ry>vSXIynx*{. F":%&#~Spr{t_Q5I*0ht[7 uՇ9]%^hVCH}UHBFwZU]!\{VG7{Ɏjfq.cf>FeLFvkF\KCPelx)<%r)AܬnHKK۾! 7#W <7+w(\ s= g.F(b!׽/L:5U+/\&`$ A)sY6wWvwB1oSJqWFko[Ol##8H䠝hqA})Qs@^6wyHG亝xGT_Y\lS%P*D$6Ӥ)d] dB_- l*zO3~J}$a磖2b|ܒ`]˃q1n+*kX2Zp>2ٖsF{23)ɟ% GU[$7Rvbc &R摀kd;KM>,t^쑂66AmH<>uM @aT*>и,i߿3Oy@ <"b9F;eF1 K[Yl-(&^*:[Oݚbs^CȻq:_񥐧یӜ+y8gs/.RހRZ0zA; [ E7:SF-?JiVQpS] z&_Ygh>q I7*g˚t>-ЪOIb9U-3=ڦ4UWapV#hEx9۩r4PImEa|v? OL>-j&.zvW渟alq[W[jFc -rGAȥޒ~ Lv?1(Re|bP`y<OXݼxmTsMSfK*Mվ]|{$ ՚-@*Xjq܂dp(fvwZapYi<|9Sͯ} ܶ)Baa >/$)2 zS[wdpx<$@z:YWd裂Xw/r )R|rPSPYmM*(H#Gv] \ӟ>Fh:W?Dr%VCTPp/ OfT ?=m0< i>UeO~2q#C.J'q-S뺤2_H#wk8&y0hKx5Ft}lP /igavN)xuTB!ի+ϧ ͞'Ge:5 ,1G$.ֲ]ٙ~/jgkT+^'kB(~e?d ".WzTQ.|ןl 8\-D Yԍc7's%k?;^'^J܎S0`&g(o )yn2O@:_{DA=4hۅ,bO(:%ښ'J12J[:V߬F$w{>8s*e71b*3pb"{pɃȿiţShNJTֺiZ7rHZ" QB$/#g( b5,}覗V57iKhlC@e'&2؃B?LL~_Ёo1?$j7g/w]Dy+(ey~^׸W.&6w\~\ u6e=ȏ!ALvq~ks`8r8 #8_r8 T*Q&3>v󌑯@R&5vyJ.lqZbuޭq$W+&?!a] SX0ٮJ /v,)MB39FX(ap7C >ImgMXg !7&Lʕ|g1VŚ RP뎗b,rDzr#"0B ^sGVbXơ6Bt.K7+ < 97KFs $bM]6ͮ9DP凖 O .*z9޻P͉C",q*9JWYU& *prFj0-p /'4 ]?Y|LMμQ,@mN%ShyڿjY$h`e P1"? 9 $(sQsCTL7T.N'bNdʵ_\JHضͥ+/Y7ӊup̎iVg0> T!iLszdD%'A9=-~GIpV<"/ q mz~&'?h~3VgUAq=Z**U/'~x.No70a]1Uz,n# tVmmj9:@PʬX~dd{{i?)]spv:cٓSo >WU\)9޿y90鋂[!W3G>h+C.)Ho6Kej<3FR2ŖѐCӞCL84T, l? ҋ2J3t!af^uVu%E/0B9ď~b.>]lLo-{Rycdq/c@7lD2nSLz !n-BGzQtJS~WW|{t`2#.x zhT6Yb7%P ݆%YN)G}rl {I72H:k'+!CQ8N%/flIk/ӛ;˸p|U'{!M KVlVlYP4MtG:z/wb5W. Li72>.[))#Vd59vaqst"ɻ*]D6ϺO0%-pPhޡ_C9ub,P̟'uqrbHO}hG^gI{+R2TRc`zla|jgl䣈R%``EW&a)w hDӭІN#1dU`T8rh fРM!H`}wv#SOހzg"SF4cjCF˟lc.NPbLlķ6Լ 1H  wb)*F9+bM+З=zL//JG' &VD"3Q9=T;G1絔8Bm¡?;w/~y%;3U6zmLٚc 44JdFLs" c0^Q|Zly/0Y3}8N|eC>x~\tZeВ bxT nH.%0nQ'K`F߻h?M'| 4\V3UP[9y'oMiG kRX]FY;eNQkK8H*+RurLmoˍ~Σrax?Ik ʞܗg=O7b'T[iX='%<!½4^#Uՙ]0ŵۺBІLJs I&l^'o֬gasE1 OlE-T`tsGc|YWdx#\0$r<} q=7&\ٿ}RqndAfmKfyz)4B6խΝk~(d;G F(>o`hZ^}8 K̼R.ΌUEW,ㅓbG8ϖ2D4SvJ?u c2k;/kR~^vi(EռbQisJdgZEqKۈoE&̟u(5wYVTم(#=P?AUgёꙿ3|7/}l>=r|GVٷ)v<,}9qq<Ѵ/ fp&7d#UX. Sc-Q6[6 ,^Zs-@پBbY!|cЀu;*(P1wz;ECvS G+hNZ_gC|8(8JriGj䡦O%P2I6Is^.zRދ?vK#YKb}D~V)y )&n<+j/4S dG'鼖2Ƣ+1>=MW;Y߭=dff\3jBJ}fРa'عM}cٕi^ATÂIr8 %庋)Q߉u@"1q(VL$<_Ƚ~C$t zpvSp%T?a.ھKS{7]Ԣbh?f' `v,봞E7  B庉,58ִ-o_pƛ@H%RIÇ,Qm|RDl `XACSVJ 3c=Ł<<$yگ:m4T?j`MM$!-o,0{LjFrHyl)]7zOW#=ٞK +/ V3? *!FIg6fKQ~ڤSʗ'!˂|/$E48c YwV @6\8hεhwyzInbUмYݥ(.L̯/:ɷ0v;䁷9Yd$d:qN(䳳Owsپ/re']" kf+d:bmRu*wUK~K ~ W$&V^E#A2?2YģQr's9Xo߰٧H.M]'6O|!S|$ E5? |<>㤶#3rƘ04hL!t ca׷g+1}9?zK1o}ϛ˪bDBb%j0Wȡoɣ[Ί`lUXx0|5O[YI/`O,yѥafQ$L(6 ך=3RN ٫[NKTdm菺?`oHV$1F]!jIWiݎ֢1}wH-zi^U C;҃>Qj7j-!QqRKYʜv =BZT`Ɓu.Owz #a׏{bљ衚$-0cVdփud!9Z4!UE&*As&ٳB$H(x} R6q)'!*6rȂwXt}zo :>Y ~;?0B)1q_`b I cY:H0N-+^a Β} ?֭- ݿgΕB+UlO?v d.LpF(C)X#=5$_p 6=gctXέk QsV3F<_ì"!D*V_ ?Kq3n2qR(>b!d2.k'C(SGgAn<1Ko2=ZjEj@kĮCmB{^\,0;+wDLQ= Ĉ$g"pim e$@H̉ E_? 1ֈҒkJ%hhQ\<RO~.C \vХր __Q7Օ~zd> 7y<${;&)i*{H羇V0 L%Y=\45l J񊈫i?]@֕$ݥT+3aS:^h}Huo1tN vyOy$Ua-юSru;-ĸVĵ6xgD+h{6o5NIwWș3' 6%w&J<6'PzSὴ. %QRi MlQP5Gt1q | p9ACH+Yy;r5t=2a*:)l%}Op::J_&PNbI"7_T.-e @$IkA7=/)ߏR>GRmdmFT'"TdAғSZ0 b mqV]O QSdxW"hĠV.Ip"7AuCH E7"@M: UcwK }2-?|H5iX#NtV=kAP݋y4dd YdqT@5;V>E?(4=25{ֶRC%Rl2ٗW9a(R,2kDIINQ4 մ-t0HdxNjxY&*2^6paGܐLear$kB9i167n[(@Q nEX\6[6d& ] 4 Lg|J5%~MXEOSj(NiOI8 Ga]3jdT3F+{q0>yFMӽIQ2}HQ\Yߌg ΏR$ęC:6O>cP'TtV:@jTsbaW80p) y'2 ͰR^ XU/PcE P'R4<{=ϧҴ76_zA( tx9'}M NBl6ޅE_چH?&*';mYgѼ5nGW!DE2a+; 34iə+R)$7=0Eg&x%ey%q bqQ_DƅR&n;ޢ~ڬq9G(SZ3nǍ2seZӻ=AX`զk ̨z `~2;@@FH\lr3.S@HucY׎|@Vop tkJ\^y]XofS> Y-Y~DCϳe,óK^c卯JAWմ;%~E 1_{@_c~TI6u4 @+zfQ+l|Lڝd r`1/hx>f81Mo p-3GÅftu {.[5G0`XTLުz/u& wWQqCˣvf@,wՠo%'<+4 n*~A>z,]e:u1qrန_! N{|s(Y2n% A$ S湹l(V,;x2B+:]H?4yy#cf)$4 ͥkDQZ毓_ܓ=TluzQ@G\W >3*CM Kf|-ImPeص{}zM =(/8Xb\,G8 r(uS&:%Mv˧jRw/HY>P3!DdSťN\ Mυ1[aL6wLx:5ÌPî*nR!=ڏnLlGrUwo]W i#>fٲo]>4&_n ~$YS+2YGjƴ6@ &~'E!C$*u!̲-]qd =H0n+M0NkAl yc @:w=gH [ҷJe+>RKG"+d\3Qwf DIpM=ǜI\[H֡eT!_fO2h<ľgUcNE{~ѓ ͬQ"%\bN㖑q6:#5;I4+M}Ӝ)O>hw L 3Ppt-3܃| (q<zpMSFy(,mg̈ D f FL_d@f)VO1h- ЌpJy4 ̍91?Wx6EkgJ׷͙K៉)5g}4[6aj9eEB 4WZz,ױLh ɹ쓡Jn0W|!-& ')no;lLMR,]"uOB!>y=J?Tߤ_Ѭ$TQ޸"V6+5}a/U=ZK BfI DӲ]Q)qsA ~A!KK+*]ڧ=Ln!ռWNS l#m {|:bk{ &Ԓ ؖ`c+? ə9Jv-- Sx$\{k,RtFރȔ'@&s 6!n6P~؀O{ g -6W嶾籹߂Ul?.9$Vx]cxݎnp=-n/3!gA|vwn&SÓ~}mB}`[;>Viߏ>pP^N!dܬfĦ!@50 {ތ$2t~{ tstKX=?lr,:v%uAATÊ#"@xDW>]0+ى5)8|eWzi}mE#-(sMCkYzʍ[ŏ7a {))PA7ױQr )Fݰƅy . cfA*#br$U1rGP=Ηۉ:4)`82넿7Ͷu0`-lXېre{eE ?+JuOLѱHDԻn˦ [;3МkG.rQƘJt?N6PTQq!cE,+ N p6ؽMcJ4ṔwIܕv}٠jd뾉~|/nVnS*dlFQ|["Җ/u}40uf^p/'PYZ!rS;j z)X ),-XsE*FC"/B 4N7Nc7@a)I{@fM4AWN^'y-ߔi|vPe1 & |'et_dU 1+@P#N)~\WTń#p!a:irӺﭿj{u#C˳8l_ᜥkSHp>GrzL)ڄ2sZ-/WVǭC/aj* HyyN/8!M)H𵾤j@LoN5Qx/ˬȄfɅjl"4OZo$'C*vX+WGPx%O4-͊q>Zz}t'S"э!* 9[11a|.}@hxj(!ZJ'?1@oMc6Y[\یnZ -C/?%3=w?։܄A +oumAAKa7U$1}fq1M``C"Ѝ_fH&BzL3_iA1a}|[cSou-:v-Ө$͋T j)ᙾw}>Wъ-no@e#8QύVڛY)G'kmo1=]}yH++'G,$WT-}U'Q89o.WX*L )5iܢ;c4vp) ;(du\$:p9=FP"%`):<&YPf-l](ePֿg6F"6߲'rA7grpM<,Kq4:BC5߽ }zWD^V"]syCtcڧKV)md U};T/̪ƣ-/;IqQ1XJIO1:eΈ`'?IX=DN8|W Es [+}~b@O@ϸ@^ݗFg saa+?tRFzXZZ]9CKJ1RK%Ctre7#_B-m4m՞{iDAvj ˔tcXHR̍h,oqĽyacwU=~1l>g>z T8b'?)Roͯ{+y99e'@h\ǡs*6:T\oLa1헱v 0(h)! r=À@ju?#rwibhg7w2VIS{R">'07Un6Eeߒ)TeЦAiYnWhT`'7{)cv%>'UN H^ɕ8.wpVHa'>S6W 8w.u[ͨRr 18-pi.8 bkE! A콨"|% p)ݩ擅}eg=.)Pkr+rKoTWލǧ,. Z8lM7 6G ̍]A09I֏^\t ӑ]D Kӕ []$!vn=] C?F]GJcRz\jvrˬYyr0(χ.T덂Rů ԍ3euI1߻襵:!R[zTI:1SI^kq;wSǣ-~47Xo ^8 s_+>j ˭LE<,J&vڙXD;u#VIt*z~3cfBװ)`DM߯%?IfQ:nqs%Oj+h1KcW5ŴHŀ`)7W%/?L7ֳM !%ov=4^p%KpGU  bj -6AM~ٌB5-y1.K?e/̜%NT>>:֬mwޝpGA 7u4es2,Rdǧ- Iԟ0ǭ˝M;ONk~rȌ3aS nU솶#bZn5E7^dJu3 ᮲;qxlCG_`I1oёkj&nbVJ5S% rιU>|nwdlv)$#%2^ɭ*p03`0. r輈\tҞۣí=6Wz,ݵ(R%ǧ)=;nI5`AM-w6zWv)S;Sf4" srpz&^N=!؅{c|q ]2dP< m[Oݡµ}c(Dh4c4ZJ|ZU/}6+Gϕ%A oP[N[r1oXr2/q%{3tZFk)_9 +po5E5D޴Ld~'C;̵ذlN/9<ܾ:6ZE0d5K7`,Ѥ"wV[vWSLoh:J{٬C:1_(L$$p>ܑ+Ee} :0~c9v?:?PWy}\QxUnXsk6rBD.4 rNw# 7jc`r\+@S,38lI7+o D!dP0] u5Mc%ZBWi V+-,C(&ٯǁ};=&8R1ԣ>$yX܏Z/M̙ '`{.Mj4uMt6SaYpc;d,sjrpQJӕ;A_*"]*. Α}H01ŸucS)KE,ӘB: -CD=;_aMt%mjT1x4ш)viGڼiU,#s>"@8;Xqo  &w 8 *QI}?N@(fg;3r >hghr +rɢG%6lkiY_ e,kF(dy/6 1O`ǿ0gaQF+-hCX+zTC=,SRbó6ENpO1s.h, -\P4KZ_L fM {lVEdook*E84'M>Ծ+.DwYأw޽2] xY*[ ΩUagEH SiJJɫtj7*(# rbA.S,z^6 ;έf9oE 7E9Gq *OT+`Z$.\ B|уZ}\Fh7Rab@4ʢAFp_nTr jG4BxZFx䄝p};e雞&q^!RUѧ:Cc K3 .J1Lvo"8K@(4rY_qAm^1OMorFr,u('av±l][5YjR!Eft[XnM%!1#{kAfM923#@T涅k.K3uΈ96IS[XLT(<ژL/ͺ.JYI]!$O͂曳qLyFG{mrwjL@9%p>]g?:if(<+ Y4U>0 _w2෸LgX: &7ϷŻԭ-_מώ-zs%ۮy/J)Z@[_VEB%ٓ)@NcH H4Sθe[/uGm!vvJXۓ6Bk|}M"o_5#oMyYi^T,)qnQVmHg*Շj pJ8)TP0y,Uv$+ T=j\:X}IV5M\iʢ/dQ-.,$dν+~J\p)@}.IEfqwQS@ڞk8uM󭏧]_>w;8I֩RMhfs h'gSftǯ3 [/*{M7^Aq6.cWpU_up^n,8=+v)][~qSNe _MԤ"<jOK0bq 4EQj5Ӿf|2i_pG*B9Mvk`^dCVP`JӦ g.Ȉ,|N5f_LENtK+1DvyEV{); ĄrWN#dUYCH^,!gy~jkGT|\N_5nܛ #)Pl8_iB{4QHUy$[pҾeU=*lԜ4sdܨm}|lA b_p?a5,i=(n%/V<mQO6=={,B4c>#w)ŞTuLi )E+G>:EzX3ś벺Nj T~7: A`k[6o'DU`Ҝ;SRC]3JG?~*zEv$ W< V/S6 6HٔdzHlT@\_+oiXb~"$JMIB`Awty&YPƔƗUuA;)6L$"!*LDVvZSQ#!R4h'ɻcf::/ya\@CϿߚq'n](X^R6FNKpZ9qk#~/s0˵`^Fʛ4[:?T/$)$6zd\4{ANY¶e_ic̼gvo%q$mA:aCNnRAvP{%;x9^:% ZnDw%8Hp;iRx&*gZ ˿퍥dn_XWBt[ہ]=WAHS> 9v]Dl'A%l`[Lu]妏@ ImsqqjIpM:890!I=G޹wC5/tӒڐ1<`3yKAtҘh49k8#f3WB28!626و7]Q^;Y,8F ^C-Ix~X%X{RI̼P4Т!omx^`nѬb֏RYOyOgD?D4 K,:VLRϰG@F?#{m,@SsvK5i_=pH+:D~)B(U'>g6+[ VXrR ~[–r[ 7&J- :1[4[d9gW,EE28hZ'u+\G /\{:oxW;c)$<ơdzBTUP@Ԣ u a`)ܢKʾW6l7.DglD\̘Pro;F4|[lC㖆YN' +s׽IDPdž@ـ[Ϥ)cɾ0 @*""dY=Cm V#bgW(N3M9͡X{b.+oL7nV:!;Ѹ槣IpޗO V6u@0$}~epRڈ86/( l`s/qLdIJn$=f &db|uf,T.-P zf#լ %qQ؞5=n6P 7 @/1 m X YS>GI.It^!ZҜx]/fWKӱʂx6aHZio!%,'^U4Qx S([3*,Fpċw"x|BK* D/ےtyi,e/_mAşo:(3NNk|vEſU,J.%hz)bZP% Dʂ1JlM/s,M'! 5j̈#ѵxw e>'v!|x6HEUBU] x7scQev[,>s%_N1Qqu+U=BN{ ]OH` J.q"ϴ>ݷϕvvQj} 'L: ͸ѽZUM)l}r댻 =&fKYXÎR /B8~7F=Tk]Vk~R<ML *Kv Xx1NL=]`p>]M *w1+k|vi9=&mf\O>pv*Ζ[m{syPB%B|bQ,SX-C}Zuu `4GXR{pbu~HrgJTp/jRcǗX^I3<7wEL{M_/͚r&ʬnY93'(FG6/'+?LS?,qrqkT<'[=H}L bs}Q(A%I󧍽3Fֲf.x\nGrbq5]6 ,YU\4lu>{IB\Xdۉ؂: :,)On 񿆼Y:qru׾FX^ 4BBC\x0Z<*}mN"ȇߎNjLS$=񤮤 %ix<'m&<=?ha%lʒ}!}Fᾱzϕ-!t ,͂{y2XJũJN9͂,9 :}*R%Z wޜ Vci7z3X\^F][E-FjmR(5>xIpr=ШB-xW\췦Ñ[iWur(O"{ea]]ꐕe4eP6;VM8O8\Jې=غԶTdKmA2FIa앸Տ6H5U:[7P8eWlQ~MFϧUX7;vISkw󛴼Ȁ39r*! hIN'!8X84?7Q?Eby&kBÎ3Pro{*Q^Vtեv+$0n؋ /;0smOHD㾾 oW V #8lg!]@;aT8 S. Qwv]$5,fL+ <1?Һ*h2hr\C/gz]apb5e` 5S0]Q&_M5=)6g'DB]K $-(y+G(i%-:;) P^7Lw-'_ {&U8sMuWxoM[v }SP^~d-ƯV?uX<{oBj6NO\צfIWGIPi~qU4>?ˡ@3w;'dkNN)tmK+Dm (>׶Y:^:軪P@,t3Vuq]4b̤ -.P $>X'&15;GD w3_ ?ۆ(Q g9\p|ƣGr{-͗,_UWkWU!!xfʄ4|eo"͇ٻ~l-h@Uw TrJ>$ ?L?U_O>u`%=fr7>׽d5pOkڷH#2?QY?9>j^aPhGNȞKMQB^a8o]0',]JBE)|ĈM\Qn|NXROԮQs@+Zu6l).%OlP_虗cn)e@/T};;Jy޳ lJAiBxz:wy/h'c9oQN :vr}BqjJϡ2Jj ʺWvR/vǝ"-$ 81~s^O ~Du"|.9JECYY=mgfv%Ȍ(Z1Z? N/FT}ɖzAD3%d눙!Lγ?z4וNOVI@/l lfݒͳw:̕n{\3)qblM~1uWWTqrX2#D:O{ :J, !?VH>IUK%25Z?ʃIK9%mv7V5t^8g1r7N\a6;s&'ܐx{4W!w>JPWol?H6;7^JYmh]]H w&D`J&f],RP'ypaǓ tC4ksn|zsw\2zkH6Ոz57V,u4zL v6j B{҉}"oΪv4f{Yh}ݨ.l%Qo(oE$P^<óaźc{ *#uu V@@:bG ?{4N_ d;]e#79feDj\{[ D4m.{K b0n@(ϼT_T !2[%D+ϽڊU&ݮ㨋00,eN 'CA7/ iMiG-9D)Ϙq:5uhN H ivs YEwCڅ6>[@UyQG>b05s"MY~9* I<.ȓtnƳc61y3ij}ו`x#j)/ԈWZ-:yB MN43môc{:n 7>.$ 4ߤ^y:&f7 T,P!o/F8%` T=se~*3cG1s5A.GcJL:.6[@[g,|lQYւbzB@h$#`̀m&1UHHaYe%F4E @ Ý܄ 32+8>l(گ<#ym*hJj?4#< (u$1P롓K:,8ۀ_!q۔4KbRoTYjCd' dŌl.`d)2+m4I;twsF%cT<&5Y`5T7ŎD#sRAaXY4'ƧQxqU(V0?2jJV?Gf7ʘ`> H@}WDWA`&q Uhb8^IjWT姹9bJ]v+J҅o,YQ3z\O:ZsuSNs=+`ҶӵroHA7κ[*+D$SSk djO`[WQIي9Klj Vx<&DiDMah$% !3\u jC}WY~^ze-\ƃԱ1 $0'S!uWo$? -{qʤ!tg>DB.%VQ@tx.N9PI}vdE#MF *+=bU2[7Gj\GδFce D>zo+@&a[Y0o'" @0-voF)\ɒ<^Vtex^&KDZ_OlÁ[z-XD,g٨LD>ZLOl̏mIcC\2Mpح4A"` Z@_"ғ4}I2CJ|aZ7/3] Kgh|D5pϮir_APa$'@~j`Ւ Z锗: lyDUL5rDl˹ȃ֚ݯMWMʨK.hz $F~%xv^dH愅ޭTWm7]U$%?oL.8foե!cL2S@yqht!ԧ*&ɴȊٶP7%WU]6؅ [M) C9xhV* :{ !Kr9"i8HʐƆP"V^_[QۍO24`9f/$ i|ÕP|RoinrYՀG\I]vI]oRf˪.>%OdQFh{ּu>=~(-m:ⴠIhŻ}d:G~XTGՅ$ PwIZ,@R8C)y>Ǟ)<5Hgڀ'tBxK~׉3-*o%-uhtNGdVkepq߁`>i#HG% zÚ4c/sZ\zL94krepphFf< w λu@.T}ͳZ=Ed׭8!%3*mge5"Zp!n˄T,;4hEq`]uATRP[3Â':rCc?{NH<]_5S?4wSaJ~j\gys+=U GO)Oh Z.ƺ,$ȡUSE_n*k~ 4C\\j EdX0"+]9 յ|̍N6o{M%8BVC#n*CGJP:IO4IUZMEQ5ܢTgr tBƇZ;uzۋWCpBkЉtԥqlOжQxW3Sp-Oآt󐖄-RKD^ɠ6<1MhGAq425'^]:|0bͮRgɓnKDl̖L3E1}|R[HaQJ}|BsSXlVNbץy{s>ZE>K=@8>UDGR>1P$zc=_?"w~_G[qZVxZZr_)[QHE.)AMTe I qEr c31D%O"L*Eb k"wήrm!٦rXIhEY[E/BUG3MgO([[3uE{gW>tQ'x'  L{Y2$^t< @ ҁȏM7;鉴qɡBR#WȖogEF=K;+1O,1 |^^ؐe+ ljY:L?JiEoC/^q u` xD1+_x纇gG#.d -], .m8m+wJ8>_+ĀP# u>D;fUQ}whA$zI~ֵAMȐBuq1$)`?:vdHs?H҃\7넺ع_/aBs>⻻vn1h,$t?Z! [I͗L'::/xȑTG!+ Qg{{sH|&AS'%+׆t峡Q nsk!+ҡN@-Ӽ1c _^mr@,宮B>H*̫nƲ ے83m4ohAٔ~el_VgusHqq Siz!S/t pXRPvXfbhKDCnfA$Rr Sl2yd7M$7k7)VO9Ys&KC!OX(W 8B\}qzݘ 2xh1Lݘ}z&4~]qޭ#X 7w wDQӲ)2<M42+dU;]$y:'"JfDR mWW7٨B䕝$JEr)'\Z [P^>QxN_V{Kyz7~sbX脥j&>M_;: WwHl8~h] zԤlRm'aŅ9CQRo_PpaiD,Vm7)t i@ eH!599$]-3RM%hȾ*; 7 yZ\Lll}a i vaw!a? tik{Z(v+$лl'W_ԽzIxSa\!j%D9bVKr%;6 (zGxqu{I Nsh;7MH3r{=훎筯_h ErXN? ۺ͛ߢ:#jo>)GMs_EC4ڂ 2 {p7Sf=OP_ 't-k)cγg75`8wkfdFz~t{*DEʍՕ}\*&]L4XJ8kLQpM)"`l0+߿R@J_{ 4C<( ˲[˿t/ bo@*c/E;$fE|kkG C3 d0}~5kgs~qV%\;mhjIzҕ!AKgT"TyDŽq\]xޘ1 $%F q=#'_6 C(vYEaqāDU^IDq0j`U>eģ섰Pk:.Dv.xYlHwQx7@c!,oX˳mX ltɧn6 9ㅜw$u#h?Y '>PdDR vD܏}E^W%`w!+ ICGh~&8!W e3:_8i 3"b{#)#oqke<ǟ0Ԩ:.c"XդUEXVSGe b+%MZT$JԦ-yHn`^s#s?dat%( vWo qprɤ[${JnxJ{OIsޱZ=K nZc"<Լ;B$КHd.i*|g-$W0^=!Z4䬷^1%{<H~ ;Rq ԛb8Pmd{@9>ʲ")N'2(SH:bg|0z!\CXٮ{3.Q.~).Or=f)CN'0pj *q n兝O$Z.f-i^ GY:IC*QWrdd˘d28q&L0Y[CF/2c Ra ucւAW[Qrcxa_`mKYc'>ݷ@mewC̸lW6Ƿ(o{>QVjtU$ܽVýyOOkM~F ` ao2 ˤI,g!bh1}X)6W^C'P (6YuGK# IմNGɡ+[g3?Rll8]{ 4jHEĢD1V H0$ =dTvTJye>= I}{З&ui<&"o ?ɵCiF^k"kD1P#YLF:gpz_]ed!컮XeӎtZ~-$S) MT1z_lIrc}~- Bj^@Qnk@i%BRW 7Qd0CP7/f"+܃qW$4N= ksJFfUS[k õ٧`) Eo0cAZoύ8^eL9Vcm>|mQg}dzdĞM7'Hfa?Xűn5IkS]zDVdB;t!(8Ze%Eߗ#ơI8yR!hggvslo#C~DcSl}11{ql7/n4+ li[ EiVQtT =EZz(N\ŕ*s#r9[X_BG,^]ޓe>΢)!kqz œSMnB$?1=b y^;9ΰR">:G^|CTeJ%㔁 UJaM]cDd|8@Neʀ\QmT#7!p%URBwi+6?Ÿ& jc_Wѷ9{1Lt_e #DW&!n?|D!s_ǐonw^r.]&xƛa"MKjga&ac̸WH, ƴO"1*@1V $8%'AF+p&$baa~ Jڥa=٤Dx썻T-h9,v)lrxH[Y`<9d9':'imr]J)U#{L+MRk4SYE]v"Vf|#M;Y{WudHXgaoT}cUƲZ)Aj6v_cbÄ =n< &4 "ԭg+ lߵ=G"yP 5鎗+O^ǣT3`P_tLuv(\Rw_ J{.C%@!! Rj~'WS0,zڄx}ztīk;ۢ +QJ4L265"W7|Ի'PJTLE5`Ax 2/j,,6da:Cxm],b&6-{*xwDcwV4OCU }+,>4=L!Ჵw)<Ǹ3ߴ'j B– qv ۟@R k U'g2ԣ  ?3&P_OpgL)Vo ~+xV:yŒ>8x'('>A|F&F !#b$XoIyr~^Uz jnN9[^BݧT*c!;HAN7!č$(#Fy[ݷzJV\Rn+gYZ 1' ;57 \HOL-Quickcheck_ExamplesHOL-Library.Multisetdocument/Multiset.tex7zXZִF! p]A-MՋhvG"uIBm5h\~"EY$ Sht)KߏEh]Ι>2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg)tP  jWoFOu;%؛hΒ}ei"kGPϚb;f+e  K\"hgBfeeXiV]^0B oVX{iB^f=BXF]Yҽ~d1ǣ3ҜbS[ TT݊B}^[/%id"}&4ӛyܢ_{SRJx)gi9Lc!71xDcgRhRpQ2XMEGESI' xvaL GSd0W'`N?}0wk~NҬVjS3Yi^*r^ݬuZdBE eiHM"B~зVK/Nf;;ӿ_h05r|@ {g$M^A tz(AIDb8,=3St6 fE.=z]n@\ S b O(ф%eS^Tw`s%{W\o(jơƝGUvOZwJ;RE H\zw{aaj;^E j X"ݽ2For>>i!PRt5 Gr)yڜ*o$]Ƕ׭$+|YJ 1s +: H!^XR-swrb6Uq_dz$ꘈkwQǝXG Dԧmpm0čEA}7 yN1!̔,;9P!t3dV'wZݙ2#5|i !nN .oXv$rA)ER.բ%}kc ^ |ۖFř!=SS aMfdl z.)>{?f 0>ȋ^phGl,3FcCQ̹:OqAË_b8 h3Ff#w)z!d$Ft hK..@i" C*a 2/Դ]Bt#j\g<Zwz/T_ sZGx|NCqD9!$!E Б g#O1sbh-+ɪUe؇])m p&hr߄<F-$rg![m-khb}uv{+ǽA z*WDx ovDo!Q Hx˿$l)ӫ=-eM=^z{ P#sa}J[~bs=K\'wU\@#a"hI^EG!ǵ:'@mP2b[#1PB.dДQnwr{)qOmh5".*%Ho[ uiT6Bf4!/" )6a(5'RҬĺ E~Kfr@Һ->=>E%;e2{Q@>@)|<"4N'4njAX7#9^Wu`Uj D+ETr0G9 tX;Y[haH9Jj0r@9 cy13rWK܍عY|Mǣ9Us 6Ptt0$9^4A¢~rJ) 4FI) kƶ8 lⅠ'mSzݕ*UK_&._I :1_l{Vw JPڭALZ؆'V0C_x,ԧ_AӬ vk6 L}_Ǝ~h}Y|LGq>K[:pZ4D Drք̵f.XjA*#4f.a2*U+Wdq;EP=Ɖ"Q9''7)}v Gۦca,eS# ;JA.m ]+J<oS9 󹰂1?Ag ѭ+{ `/jN̓ C* TmgMg"V)J10y#_hmв|0U|y%VC6ZR6%'ۮu$O!)їq%3N4"F€27T #oMguX:u+F݅KגMJ6t zGQg 7͎gT[M..˯bKu bZĝL#MnV5Dρ .֟@.cM B/6hK 9?D2O[ƞ_iL|Y^쮚#K%0Vn]|^O%ްPy[N6n`pI"[\yRѡ]F& %Ch s'ze{ĤY {lU$~!}L:̬ ;*Juf[+#\5'U p+5cz-pt3w(b [Ws0!ˢF0-A*^( bkdy@Jr?s1ˍYcؠu,ǫ {kgA+jQ^}{F~gA8BٯqznKC0ro]F6t0s3`v v#;C:qԚ!X^ -m- 7Z̿b[:x]Bpo*z¡F@uuS" Q[hʸ4suf`v&os 'y."4#XO fog2:/lLr@os) K=zA$1Yw lœ碄2)1rwcyN#PHfvI횫e Rפ \`l LG¤h L)4se^2#?'U1xB#?)u\s1Ȩ=*t 7wjm[э9H72;ogh5LT=TXjMWr>?"?Q@0∈l)ۜmI~ =5ٿq19/)ɄoR w*("M)(SZNDD@#!%*ISzVX諃m̜onB\ә,տ,\B?%z.|fogB/YnNknX7İY%;+(T{֙)%<H΁a+D0. Z |ug `PlMSw`bK>_ 4lk#菃*hǘ0j{`ӫoSl !o[hf '藣\Z xxipN@toxPhM!w 0Dm`SNnMB3uq'T"'[ϻUԾg) v6tC&uZ[A@Bh\NLBNHS`8jē)9גf~@im+AWMn-ivdڀ3bʐӆЀ\wB^?Y:蒑,WI{$-8~e%Q6xʧE~ 2]鰑,ή9C4H$GuS$R(>^?h}0o6gd-xnd4(lBz]=CW-=an!&(fBRڴ`:Ãv;$OiZrOaҘy5ÉQs#T-iJG|WNQ7V"I{j*z,Q{[_5 .$9&yxW%,ԧ`CEc}tMӶ}Ezݾ)IpFe|X !N9n'JP( 0T:Iu΀}$':ߙF1mbӛ9w5a2AV&eL2Y͔Ckk ۲R24 LK#F1'ρ!JfF`Hdh"%ޑ4e.+JNJ}YOjE]!F6@BPV YxjWnH?" GZ1efUA@@0ه"+'UfE5q$#LBa Nut÷]U; Wdf~PҶM% {+-LWlTm4]N9[m+:R[Gq2icB68^/X;3T;QO#T4W٭|N_UY^:OA*0 tE@?O :GWY)[g"A\LElj 8e;b~ V/ڀTB-?=߶_հ6H~cMS42}4P1.}yU˱eFgKaGu!ීǂڷ9~uA/pm^9 QI tr &1N UUM?=nNa[a~eb-*Dkul~wl|c5:oCwfr῔pC !dSzeD|Žz6M HZ)e!*-~ƚs00^ gA,dKNl(3[a+wЗ}-pj~?|%,VfuuT ծDĕ;P/:\u 3 '~MM~R#m^󩯧8#.Tӈr%`M̓W+ny6\BZ? AyB(8:4Ü'E'xM=vZo{; ('UEg_j#PgJsv4->jtl,Dn bc|D'9e)+MTIO7 Y1[BQ 8dT圪{:=!E+Gu3@efbO)/{o^S|+VpK~:HUKD`Gsk <0rcG3޽H *15zᇜ-TDF+IZB)A"u q|x|g㵵X}Wݪ5l]6*0sѼ[A_#"&4D:},Iol^Lnr_8gp0?U[Ϗ2Nffk?b %VYROw\o"#?-3mmJIwy.!~JHuqi5)g/4Ra?欼O&%~:Oi{7, Wqt`m@oC*EwMR_Wo,֯%b{^yo-} YeuG3(6A{0d2c@SMxX4$ja׊c vNR'uuSO%&3 R8N(! X?#h#+#D5jJP0°~E'8Ss|G@ԏGv._j3|w0@f(M3(yW[hlç@x"׭8(M~=p B3yߩ]AeUWc>9b碫9+"υ flMYS7L)VV=q!$ļ"~_n!:P#evDѶ$/q܍{K hId8OYY,kqN " ;q^jkBMN!"HtTkw˨S 5Hk?y/#8!E 6] Ld@47]ሙ׌-0'ueHxG8^ q;߻$5& \0>峎 ~b֊ˮʜ}Je3o,,=!o7+A\+Nyٝ ZS;a?q9$xkӫb&(`SvgҤD ;kPz!DU8Ld+E*L9^h$pBK~ :ЕZ5]u*zÙkʨL=;Il޽ڲR$%=,8XD}T7$kelre=;`oq}6[8b39r]+f-\9/2%-X:mLa'q|MhP4<]4 v?qy͢3ӂW(pI,oV:7ql<Ұ%4 9 )7CY ?8L ڕה6HT>} Kg߶[V!}ɥ8gE!g6IąP\(h.*}ݦz]dAC> 9~aP~LCSt_ 1ާ֣9fJܱm2_# @YP|θ}D8ĺD=%g|5asShF漮qRmsrdsBqyouTVkrA>AɗDaWn/]~l"E6T*ƢRigcPp/I_< vBO >o7;EpbsPvb ܾo{g 0 %}axر)կ 5\Pݦx2tͰ&f ؛QCPy#v}]潱3yL?Ec\LM诂x)خiKsWc~W=Kh)ZK:Wԓ-iwo)dLiŘsV皗oHWg(DWh5s=G{ޥV v/ӦiCq96[WQ}mk(wdvlt_ e1 ZmZЮ_%f v62z{a NG8[+px,a~F뫎bwXUFN8[O`>y4(h+I"*+ިqeTa|S}ޘWѮns5>_5W;>b.\ g$_ %P $jIarHka~{]0WZ~~sz0Տqŋh̳- 6!jܦr|2•NlO15d\˻}H?ƞs=EYK,&`j݊*%js uڜg!#^Q8SNW)k*:E-Գ@S:]1.8)#tJU@E~V$d8 jR$pXq%TRy8cWQ#a3ӗH? 6X`q)ȴÇ^NVj =D7uu| iҗ$11 %UU'< U P$`}al'n{`-gjωƛJRVƚYY鲩mad+1c!f䮞L'cmH$ .\;$~r g*ۄ{ 5luu-Jl2$_P}QS&NëGt- \h|{QsglQP7_ghYDhJ0{1; X5Oe_`R/-(#YR( ӻ-yw!:ʎЗ|x3#8 <$tĬ3DNVǒKE}=韰bShЗ/uLj&pTt`{דy6o[*l늆dO?ac)5axVⱜ Va(!G'7E+F6]P=vD(f 1[Ƣy-gdM 7#ʄl[BO> #"vzE]e-,(&/>75g_|4㬱l&dV9jnmWKCfb-ݍ( m`tOO~]qWi[ts4|f|ݽ&@X7jNx-vt +c+P@eDg/f r>M;A-8 $XlrZPiPaL͛|mokGL<`)3X߶w lׂ.*In|UMn}g ό>c gc֦8\"\Ltm\(t JaՁpB1,v Am)RI7w9,ҼQ/ ʐP`9p E:wgQFxcdЍx#Du'Ѷ0br!u7ؓ-;uAsZ23> zGMQi+k1e!J$Cg#h$1^D݅z?!K3^F5k.0N4w_ [erZ€|L`@T1i~=MIVe#qfi$G,ߏUndMY7;ڗ3/W Z)Of*s5AJu20>yn?`p(GTdh¡",?:"2xHN~AL>k0SbB''d觇akpWaC/;ʘHDGe2}@:8inK*鍑"9%Q )>DP+y=6eGH(!wl;PpnڝJJqGI>Z @8D*ILdrI.t%[>)*a_tC:>Q`vn <1])RtPmT - 1 00KDN=t^ЌR-r&k=,`Y5 ɵZv Btq0 \5::p::Xڒ.VN^<]zژmyN7y *TrN!S,IŶӈ[ֺ2F~g1nH$Ȥx Ӗ)J~Ŭ؆CiGy֔!iMD:"+9tQJ$C$ srfrc8Js,1ݭ;AC *hp4oDw!DF@* &E,(Eav+2sc52N|&t1{ػ!%ˆ%גDWRa02(^Wĭ([ hQhއ6Nh=t 9H:U^6D}=մ1K$2%RAζZh-qc8-,K 5OΊHfNNYqo퐌.*q"`74% ;f2{{EdS (;PvmǮـyLTrg Y$4>!XGxx-YC͸ kh,ͽ^3#{tm9lg og*Gaq [,[f"JsK$>\^&m$_O≸lsCMj8f诉>na.XTwm^y {e:x/3v[d ehzx366{"M98I#]lDQdU9kLvסO<B¦$Ou#8ۖ~G{p*FW9{=pt50'$_p:n1tPVAK; <4Lhygˠe^E|r yqxc+ի0dv ҌY쩑{/k{w ɍ:RȠ*FRo-V+з,|x9S% ߚ0K!_OđRLZ$8n 1y;fjyOs@f|pB=BdLE N:"0|C5X^d+%x 8X$FAp]J򃼶}|)™}qk CCq6P0$8UVKm㏫GdoMlܐl(&a&T* ??+#겨k9CP`5uΞ[tMM>LP>|Avz lrΪ@r{~ g`EHfj.aߥbkB.|=J߇Чlfoa-n* x]evTE`=c؀^aTZ] _긫~ )^˸gJFF}6!iU߭#_G'hSD0[Ag]$] 5JB!SnT 9)fEy%J,6*E(u'uhYA&P{[?L77}HVP30YGQ<`0`u9أdt?_Eė'hYv߄5< ݼSOB\/WIwDc}ϣ~I(es3O ߁:Up^vzMۗ .r@GM[(o+$,Zڰ5 1Q)/Xgkk_ ARk znYJ}qµ^Y`J)Uĵ>Ѕ[ lMfb?L֢WJ.)X&Px+L0KxFZs΂-Y:Zxkꆓ=6þnRWvWݘTb*$.ءfxK"r8Tx"|U>l#yĤݙlg_eD OnIy* B,@n}fIxjk}%=1$Xx'f+;rb)<4:v=̗Dצ1i@"}晴xfʏk49ro;!o،A- Je,r1Vv5J-_!3 <};Ky:_v0:"G7|}ς42S 0 Rliee2:`'VD Ƥ^#ثfc5bQJ2> B_)`3kS( L#cIb=`kȺc;j|@xmݟf9ϥc1VZU7a9l ldh_0-8vr&(tY&o 2;32gm})")d> wdwCmHg8P+" Zmf_jh؉avZ5߳&\pڠ* )&6xwb1G}Dw@< H2%u6_-Q3btLJE$侣SsN6m{CUsq zTc.R-2b[J,FlkViBX>Ov3 wIPB>ҟ#tX6=*EXUeX}6$6 (Bpye;AP `UgcWOB 2= T|͋ne Q;MW83F{nhSN8ٳr8G:WWMEeOR:w6(s~tddm16WSEVfmY]}cOlRB`k-X 'WQ wUaQ 7pJQ$sas,)*:ȱ} cY=S兇QA;Sg3,#)չQ@"AqF1;GjH}'@$mm,TkHU6RSɀfrM.]skXPSie0!sg4P՚w[N瘡ݣ#]`ώlG¨1yKCi*?%Z%NŸT.A3=Xղ݌HB\<\a|-㠵ԍR{JPn-ԕ@֒>m skdL8 ۙ\3>TJiˁE5戔AZ4ViPuxu#'+'dr{|xzg"zb [[GިAv[FlZ6&RdrT7w+\ KsTONTtR1S{(fYt&Ȓc+2ܴ*xNdxf1x>uS%5ie'EWR nu/ᵫzIaR;IK#|WlEH}ô,.IzAIxU ,[D1 7+b=oqG9O eIV#q/牌vw2TqN{Iم?FI5igd2欸u%wz4\coF£mHs>^X i=O-= `^"1|dr20'[VtbPY0Q'hA!S>Yl[\JavjsQ?5 =JK7SX٤03Ԣ_ " }|RYOoYꟵ3B<]G&Znf-ozSa5 j96$%x2֗_763&pv8 溼_YwH'')%jj 8DtnjY_^ 73@iալnS+95կϞ2ObN0s\(v%#1!F#!BM®n Φ`Ng=ooA x5O4U(8W/kn5g3t.%(PscK LD:e`ULmJZ11њtN`"9'mdρ&_T }$EG_8ɮd hȎO&|.Ȥd᱇IF&njkP`oe|G?FJѠYlĖn5Ą;KYc, F0Y6ejӝ>Q@HlhId,hj3wLhA8_GoAhW4{٪xAw?(hS㶒8lp몚e==uܶ.f 9G# @Yf:!#TcO J)/eOvLG6@z 9 ʹ6o9gP)W9J"w {!"n; 㔅tϥĪYU0jb0jo}I5~fIeQ}S }(e I̵<|O]RU8}VEM K.@0:Nboʧڥ@0)(khZk W^~0?cy6TЪбjDIAZڌ ڐ=>dJLp6!$o#Y J=Dꈊ9sR,b31[@Mqg>Wõ齜Wjzӷ7eKue9;fHsIacJ {qHv =:%C-& zL+@b8p7 "Pcd靲5HW`ޗ 2 wnuY6~Ջv8L_%4KZP"(IQ+%Ăx Oև' # dF[Aj` wCA=bi, [+#J!1?GxgS6Eb'Mm%FD~jdP[ 4CD n R $%X6hdMH5Xw xk{ b97%Vi6뽙a:FP,/JU``~@_gyp7'"JIt nZPS]Ǫs\l? obFU6V9XO1Q6V-ȕu"" Da٩fljL.>ћiOa;@ ʈƿ֛[qۺTqdj TݳZ嗌"Fn #M?2ԓy-{þ2(ןΡ{ص6OI_J:J LH=(/NgFj'w2צ*?wȑ xĥ%e 2 @,ZU/:=1#K]MW t.}3*9*֤]~z}tUH7 |n|"CzRb!%#z/7ҘSk_ s.wrQɴ_azL]&B^@iSxT*%3]!0ćaX1"N`X? #9ͼ@~#X+KV%R8<~\=}wքTRz*+]WE}0I=Ymt p7J5Ы9%{|{(S'1\_' ;a*s{(Ը E) A'ꎒ' HD%n^|0/ZPSdҷhhc4U8;b^/|vL`a!gc̠D'Cv^^&)B(,s L-IJmsrx}'Τ7'мW*O؂B}{ ;6\{fL* T`(%s5'Y! Њi,Z|DAFG)~n sv5tg7#Ol$f9"LRC8njZûL*Zie[36ד[]Oˣ0ٗ+_}^Q2|:cÈ$hc$`~v(80Z]rD[צl?%B_tB/>CKNIݿq 5@z3 6Z>`^!Y7zRAiĿGADO9JH0nJv) lY:/qB(-"JLhPϪ255ijE/鮩4_TiIGVD"k<0i|G#p %/Th֋v,gUG# ^?fq7:!.1uy|'/!D Ahy5pt0Xr.m>IQT^0&~is816-ge2E~[-"s,Gkx0JFEA:|F t2!FK_Ne~~bSh3׉,(OG~XVpr z i8ˍiB+W1:'h6bKb}t_\M\6ܝ )ò|ly6=Xk-$Lu̍HT*5@m3'|t l̜Z7qmw~ 4xAj:nՄ{@N#J#qmf=Ec #z&b:AŮH?d: Ie]_{kT'T\B*?~J=–a„yP;ȣWUX~k 1yR`T!/e+ 8<Oskڶ#W5;p&]Gᔔ#=ou5rI>A]1Y[`*1O^e-E(Y-; 'nh :|Zͪ.3\VP em6U=ƠڋLs?nW½k&/klW0U=h'Z@;U=h!u5g!b|{I .)``zThv,Nus^XvAw3P,vG O'NӘnB!ղLu`*sдd|Wo(fzBD,X<iH*&"B[I~.;Cs&EuaV8'z^ 5c]U@(T[t0fa<Yx[B{3}m+u@+$rGxXnPvu9Yx7NNa>lq'6 JOa4o.* NP-,kN| VXj;HGՙKS' ]no1SB t SGkO²#^&\=+ys\{ZlZ*[eBҀ)$ӄMtAVbɽވ:pn#|A(WedߺHP{'']of KԯE2j6i߱ER ``Ghl`eLvD)<̊1P|$7;dJmdF.>df9g/A[wΜ:,}'Xh./h{n}mt/ fw",e7.@K=M_~%f$'ۚ D5B VHF$X]3kAQ3L/V[ s2 ۄi7ܾWNH.'5zz|3ZO3#p= 8Eۣs7U(yQEV:'m+raZDWN~U؝tu6S` [[A +uT)'BUǑ&z6x!V :4 h1ڲ{2?<8}%?s" `B/?*CCP鍥7O-^;`krqw,L>ҳ6Q@CbE/zgqԾUwƓV^?]I9G}h&ɹCLP~WPr G75+5"BΉC.!-Wl.m13{94y͕l _9c{O_$K+*8,uj !T$3v~rp{s%m]X DGe!zT~Lv?Dzr-J?Q\ 5uY_M!ӥ07`kL=刞21}q='>nCDrQhئƸq2'WnW]// y F{Dш4Ƌ  qv!8 ޺ 03)IR3RygC樛4by6f0Jvgr#6xD,S>Q!/mRĶPN$yԼAWM_Iw{j=})>%{,zgݛ&^ 5*Ugs66HO7HL9h/N=5V\!;8+6K.c5(ftiF4"Clڍ $Uiҝf4&coUg(hhQd.&Q:NSjN&[6=%%8I3;{|-zR( !#Q}=ТTw&9j5] s4#K($1۰i2f+ls84,.4sa.)jħ8bՉz:ZӁNB\2?p|dR #@5C }|GpyWK:~4@73MmD8Gm_0Z9FgGB=z6 cz}nW/>3+aNbHE,** vm[=Wu&̺j_.f/|un[}eeɫ^7/P /ސ?Sӝ <(JaSʎ'j#'&EG\y}:/vN7cЭah11r1hFQI8hw6Č^}hkq.Jܗ=_^'<_5&YM5ed&PV* +X:wM|ۂ݆>B@Bz4DM%mv5$!_)V2~J$P;s2>ʁYXYS=NH/ 8o3kooz-ɥߴpnW FVnv"M( :Kەxɖk _)kF"(S<:F%jSCfOI&yfvexg֭Vqy,]23G(m B2YXUԝx0d+gOIv hT(W@I-0oc~2:vV$TX mPRef5%jG綌äe . mYܹ5Qdö@ؽ2P =^z !z 8'# VQE ˠ0JNff}p|9\!.k>׍ؾ,hQ(# (,2݇k8%xD^0Oc%]"VI"}ch X *9>y6ה}o#i2sL/VݧnGz`Oz MHP=Ba6bZl! my;b'Z NLr_(*wmL,W 8qg~.l ct:|,R$|Nw]8쒖j+sxo;g ~wED/:;1T!M,[4#Pw0pJhArni!YeA?˔m ׳"v.ؚQ1!Y ;OnNM[]k7_?-!ۓ2[g*'ۿzԘǎzn)gZРż2u9=Dqf9V-_ۡ5Xj%$K'e-&D7" ([:w Ǩ+a.*66?)2$qUj\;-ҬR8x[ŨrڤE'ߠ"+'C( 6"j:n~~""N12}7ⴢ" wC@B,HP2 VI?wT+nJA3Xޱ SjڭUh>n?Sl TI>d%|=)c]-xb5#`Ѡ,”/[ طÙb~@ BTώvI|$AS F2EВ@fwt;9>:Tf/~6˳NPTkxU39KM}Jכӑmt'7V='croI)LeV\/Ji1ٿ;}C]nRds& =Q~Sf=LYxgVAk/AS:&p +䙸IN(YTa$[xk Q1Ud 7.:gYZ /( ;5# lHOL-Quickcheck_ExamplesHOL-Library.MultisetPIDE/markup7zXZִF! D z] !M젗OFK?;uL2a 6ýxZkCzS| *tċ{  ;|$LAWJ.(L s88m G{>%jnz1K]Ov@r?k>2>mZDO,4טɤG >]pZdᇻOzY\F:HJUL([VUd*Fq'Szkl-Ut'ΐxj2nG51 }[I8[2ZtikE_ : Y/ujթH?ZOE jR𑘰MVDyVuM*NbUeRe"WTP#"Kh^`"oÕ1-W<~dN ȕL0ZJf2x=b^6/8g-V.,s?!{vo$m} ˾[Cl(d0yc,.ulXLz8W9C=Y?1 \#\dR~2 ޫ@w0#4){r§%g " !llC"hn %vŠ}s&hꆲ/\>蚱zjƙzY0GMwG'jƓo4Rciش&Τi| ɩ Nѭ˿kW*N>Kt %Vb6"j  pk ٤j?*H/9rLm!pFs2MZH7VkKпMOj=ي_1Ƞoc6ݢЭJzFH8U|*(LԇsO o 1sF4ʨa9ič_UI ,qp˂$NmXW龵ړ ctFoz1~P0f'SOhUV U'l?m&u,+BwGW{#F1NdTGZ v);m6~O6@> OpnA@A73UO[ݭHjL@x>j Vᄱ> VYᯱtGԢZ֤+(B> &E <2\O4_G _@OCTtEn %M5ƭ1NP@8uMK<飽5.Fs d_8hlF9*[0]V4 ^o0yE!',._ hLP:Sh EE2SGoNA>i 4};ؓG|~xq鋨/̢x1$ 01t#B(0.PƯ{3DB Mz5U6sn2+٘TeM_'ܔ./C!Q}K#))]³ *Lbww*X!(Z[f*uY~T=cJe6C"dqF} ƣgZ~ r=Jk&t1#WCfBML5g U x0N2FBuVX/vVe s3PBQ)cy"f=ViOڙL YP((ۈ>+Sn_]M)&Mck`hDfu) &_oL/gG\h\ҬpJY^p>6&qIw [Ȃk|C@A CFe&0F!((rtw0R4 @M87vųZIXPƽ';_8_Α4KNFfn{C] Q$B;94;eym6#m39 @PFޞL xͬ |A_X<% ߾ AcQe Dʰğ CaF/?blpd:}G<#vB]AiH2KҍݴCs<篳]atV2P̺KXP},>* )\~g4 ʷx^asyS3 V[m_eDIz-# :Y ߝO#OQ#<.qip7A>=@[91ATQ\n;aBiaB~v䋋E_Ty8WLg-P'@Xɮ\cEly)Q8NVk%I4ؚrRsK%B9^rZ>LkM+2-Ļ&>exV*yۋxn z^_ZrUvMFXLt/$Z GiC0Ii @Uy=s&L(,f:<BȐOhZT+O[P'gvo 4JuGSYv iJ{W ?ˠtߌ\f1I1M406Q+W쪄8s:՝'Bdeҙ4AuQ^I6e^@F<}]ыO/2} Z isX_RMHϷXzʠZrf-9ȸ-j8]|R)C@M'UiUcn:߰ p&.pS2kƗ-臄 3GAASWr5T!IVF-nQNp,Tw!fuY`I2@?/n ^ؐO}n) 0n>7V#Ǵ 6O]{a-$ XK.V Y~WLwVa:ԲV<)ӌ{s6?)ۋ H+)1v<-'@}'Ô)Iom1opR3}V̜o4@d^TǼDFAP7 @p!V>R)>e 0},BYʼn%q>Q?JSL(2ɮ!?+YY4iH'IYL -,¡ycbӷ{Q3i-EX{7e 5ly( 3䢭H+6êⳖ;_@!H|t 8wf@f饐OX򉔘 <_-Us*]ςe1GL>=&0A7^쒫6 WrBMz[p 'glKEG'ޜ}ی( o j41"`yQ%7–0H_|ՌK)\jǮզk!!>aG٠~WD:ؽOFպSri+)9Y|vo\FٺK/x 5Yy28kJ# {ØN&)IJ<ͧj1mWg_,1͸XeeVz9Fw7plwrRY-8 "wm7|9MJD"#?P8M#\{';(b\i BtGۭzs6teOE0Oƀ͗s0fu0A}l?~msִ]܈A/LHJ!pB A~7 -E R`yT_F:%rO;51x:)tGZe Z^}JbꥤܜJ[̠2;-Up],2ecVA*Rۚ.kז=)ez=Ѵ[մ [;^98t@ #W([;GO`2qb]?g>K4r7Uu;?b$6{.h&JdO/~(tDQ@l]-ZJ.~9Ϫp2K:2عF*L/o9WTwGpOc[6Pebg;kOӳm8DJo-ز`XBXњa-&T"ae~!͊G9x Q~zQ q`:'ř攄̛B*shGa]eIFR!̢^面liV ]:2pHAB'ˮ'L  A'/=]ة~v3*jVc+[LtX͹|mL>C+8lԂ|hUWA_¹AΎ|\0X+ZK ޽qOa;KF32 #D)rb vo("z0ZgjLgM}>y?R ғ,|PꛡPŸnAϲJ-NN,K.>Vv|Zd/]ǵ[l׀o۬E= ~ՅxKT$Z0ćc '-" ЅC͂m`TaC&qmXK|r=cq*ԥMmSIՑƗTR>ΟӰv:b0{CUvO8|)N=pWϫ{8 JE3cJ:d.stp"5 g {XզʼwV%27e(>-a++kw Il?֢7Ƚh%BLEӟ[M+q ⁰Cݘ~-L/Dvd6.X[tYQ*iISY}cN3<@{,VYhن33-#`K#rI&%Z;[rrCZ)+&D]Ϝ%f!A>xfVtn*○l2Fxozv_?"uι4e!*R];nJ٠ N}št4w3tS*eV=A,&9±gYZ  =(,;]' 4HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messages7zXZִF! $_]Άxʆ5.f-9 rq9 rL>#^lT5Pnf-~mJIx ;ۧsZrQ" .gV3)P]O#)#/#1PJ%Δέ pO`om:ܛN=7tʋxXkl\ŌإM[@_ ^Qe+ %c(CdtnLLRmMHPp*HJ]vB-rjhxnLuX'(\*iP2Ƹx 3,Jyk`0/Yn(4#}i j"*k{մn` #gEv Fj݇Ճ 6C3W9=;`sTo7}8o]58|!(xR;'u͑""}Rjȸ=4ˋٗ.)'hlTAt/ͪOeEyZ)Q:JJ1w͜nnƒ n[}τ;SYRqB 1@ơ2<5L Z(p\n[>?9i9a?Tr%LBؘS*ϔjvxJA G^߼wwv#u/~a ?}tFO  *Kr.Jgx B+h?K% grY\B.?ӐHf2A|l/A3Uc.T6v [#$ՃLPx56^#/g6Ưw´\pI[JJFƒZ8F mYEEw`Ԛ/,hN # MAв>ۦp!P3j-έ btU,oBծ|ZV0{b߄SςU%gWYزUR%=[j<ΩHIñgYZ6+;]# THOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup7zXZִF! 0!] !M젗OFK?;uL2a(3o-$~3ҐBI Ტ^vy} ykR V3.o?S1 kD}tw?s< MMg8n~R gkf{pg=d|kjCO~iI3R.ј8 fGxDpwwB` :0SE AsgYZ8);5' |HOL-Quickcheck_ExamplesHOL-Library.MultisetPIDE/messages7zXZִF! !$8]D?7 {?:fH\!85hVVZGB$qyBHXKB:eJ =jK|(^9O E5[S39Ӭ=RI@;x9c1'FݮJs(sˋc@k>JpKќHjMQ/ָ{._)_53^V2=Q u{/_ߑVɲ֯/Рh7oq嬷l?*!?5NGA!ϝԋšJeVl1!s 7T 'b!gm%DHߚiY 3YղȘbDCglMhZpB<܀Nh^?odE gO v/oc>%򁮿}AXL|dpְQe|~1V8U3> 8@C"U#AV@+y{O}g\v}G׌;jXϯ\toÜ_P"i"\5[:<DwV~.$c}KD' 1:$q2NehOҿ0N]ҩSS?l"ف™ d釬*sUϤOi@%wpSQ2[+*{Y#ЧDjl;+I/r" *ȸ) z\~K!t}oX>)xс׏V˽W~tK \LPQ™ڹ$_jflo *6wKm, tŝYQOB;k3$UqkSRwRz`VFV%o #@m}Rd3b-AXt ZdίmA)*.^Jz[ڗlNBPFx㬮Qlzoz}N ֕ۡb5^2C"ԛ\J}# iN@es-mߐ'/u 5ɂଘ4NL{sJ)g0 ª?bsHWV[D/)dQ"hw sPz6 ֲ5Vk'EKyhXFlJUy @im&|Ɖd,s#Bl|LnCLĎeS(sxq=^6׋(fJ,,`$eaN",s`h-^[|{ z,L3d>ok Imb }U ձPLLؽ{ؤJ$޳u-IF$lSM-TJFi89R),#|kwR)88BKR$p!?OJfNsQN"[d4sB~SxgfBETT7lx_7&_K%si.4Gf7R-jW;FS@BuNIq9r/|Bn%, E)SxA/~`:_ʃJ>4t0xs(˱Yr߅*JK*aj2h 1TBP4 C׍ŝc'|iuykm6/s?0M*d ~>hKqGK)Ew-C/V%'K򐢝C>~nQ2gXU&֙R&}c`z>GU\FOujvFHq49br+}?@nkC_+$;k!.e3lO_KJG2EbsåB'`;wKtj^' +svY,TbձKT_?J;(*{CaG,$}]SQ" $Bnb3 :d˲b$Y5cOG"riɘ:h&*^D$?X쒭Q-_alэܠ_x^āj b F= ?s'H8Ue]k߲XCJז'Z:˵zMhaZEX7Y}}$O$ YaP _&'?d7NQqO|e_ y]nͯY FD{ Z0LGk:6y{=;nDrÂď&.>zPwU#(ks0-FU1YzժWfLZ=>BXiߙg*Z(r-WЍT14!#˹KjZeC)aO6ᯇ 03Q8Tg.v`A*gx,,FӠ^C,* `I.Я[dx?^oW>tfIMZ-Anqg[{;q+?|]I6(*_`(64%D,ϓIS4 ]¢\%}n%K8)Њf W yCN Y{Ļ$f(ogEɭJ)zN9#!j@>-[~p9ZY1Rhuר-]+j\[!!ٛN2еV]:Qg2wi3y̅8NF^:[A)W8?QU\Шk.((ϕ Aiؖ:݇?`\178яmV ,n jV yB)EZc&#C%b\LT% wZſLeD]Q لoX29ҟ5i5Q& =~V ĤͳBl\Zpl('< ay5$'y>qʤR-NcYߝ`hAwGds:&-XؔZ J";nw|*{>HLު7aݎB_*zAVWV Fge9^8qH(պ/YKP JC) o̗6h:]XM"MO ,gYZ N0;WA lHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_Exampledocument/Hotel_Example.tex7zXZִF! ;0]A-MՋhvG"uIBm5 9NkQa[פs3^X)-'֑'~p=n_Vr,I~(|ۗWzӹB!c<O4grƖO[3|` w* ;%6>YWdԽ+ߌAݽ sMM AC-9#I>0(;܊3x-="~rG f1C&_*&g8]J,<&>*De3(i7 kZQ;& m(.{)XJ#! M"G}&8QQBYrAGUBZ/;i' HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages7zXZִF! \=]·Iq n[:|&[z7׼-2ؚ`|=a*G!+;bp+޳a48- rQqvLWhKw ̝[W WPH3TrR8-ƒJ`.WIeRB(cF1ŒwEBp =(h<Ú3 GfCiumu~ݞOqo^+ۨmR-;r.OsO7 <hP(~ةn=FדĜE].۔\Fap)`bRnnDgYZ(.;i# ,HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markup7zXZִF! ( ] !M젗OFK?;uL2a(3o-$~3ҎnVwȘZ״'GwN 4u(-&Kj/ꂷM+k)y jrKUe-q ЮAmNዩ LDnb_C_!ѬTLi[sVACkfI4dò^i==``4ohvӅҶƳrgr4~UʯI<qEp%ahwi}ġj71I󦎥Ş3u 2'Hfŧ>S ƖZSW#OhE,.WMkf!iZ5i(jx~eA+۴DvG~JL<<Y:BR 姀0UMewtTcp)'\:PdG] t-SNf խ=>$ '_b~d47>{ןy==o`=T!Vd/ZM$.1w^oXѨ>`@ `ص"ݯ7R-4/UXG߂kfLp#CAJ%KNp[Q+t)E;C]v2 2c䅗gƕe5U*z~ͥw {1p'Mt0s̕c0h]D]Ƣ 8hmBi6Nł`Wփ{xSoG ^ǘAz((C5Bt#{mMHC+=o *BEB3>(QX߮RayLAC*to%?J5lN%V<9^I}xU% 7$qh5 5¨ןЖf>|xMZ2~۾ d`^}#zT LRY"mC];fr14诞5gH>0-Ȍp5 Z [1jsoB9V\\_ce-vF y a Ie^g_tj+O)|9:1ݮ9>@[|w>fѕN{ ex{ְRto~p:;|MSreedq-x6M0J?@舄OC&`.~aڢlš[T˥3T4vLFےwEt9OL0YJY[\.1gR/hGK@$USt!71Ufy]jִΐΈVL>2As\>XA2¼,*p ɶcϥ;~R4-Ea0 b/L7a[İ@iVBM҆Aa y HPPC )kz?O`V7(gC[F[QքgYZ -;ik THOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.tex7zXZִF! Ra]A-MՋhvG"uIBm5LvfNaUk#NyP8,3TO QsZv9Wm{M^zl 2Wj%2m6q撛Lɹ߰wӠ&han%nCZvX F,`0`¯gdc=y(ܐN #҆"#rVr2&/1HGN.=Kf u ŴDm+9-Q`H u"8["UJLehY#-x. p\L@yrcqTceלM̨n_[z uCaM my :>CPgfMb]%OJsEHUcǿ(WޭTy~y,o3PoʖMbUfhZJ"êiYXWXXڇw]Jp< yx;ovGa ׀a#m_ws sXјI%ݚd`6 I:_zu;2K0[!`gҠffǰ쀧&sll$βMU3i_uE %(}nDѪX^Na4SdaTݯGo |/[3mqZ_!K(Qk0'`-=) 7ۤM<ٙ$H +U$S\#y>}ҶԮ|.)4xd1@6Mסw7zϿ-G:=]IlI{sO}Jn{H Hֵ@R?kš]'eWW\CzQlG{, aI!)obޑ"抹5Ѽi( (yYxtRGAc?a8]7qI5v~3x?~ť[ď6}`}ֱLrJ w^TIO;>㐫~nrgrK:@O$]@;HxJ^u-WPlڵ}C1e߭ٿ$5t*7MЯ$X&v[_3fEH6cQ p#|lZS][NDVI*T1'-=-x&:VZp1^nS/m<=;(砎<'u2/cUxEh%e Z:(k|HMIƢRIIuʭa}3CmHNVe쏾%)ӲmuIX30/O[,#@ܗy7@6EvP+:wɓMUYvFQq҂'bA< YT nn3?jsΚ`9;CB[Ǒ7vD&p0Zl b^Lkno?ޡ݋n Eǐ{gC^Rw9W|4wI4$0A: R %z/4M7"qx? S|K/&-o؁H@ǓIJqxf*k,Z|:ka|ѥwI8 8ICSc*F;oh=a.+M&*Kҙp'L8;Vf6OmuCTp0m͍ %SxXd;vSlJĔZzM=4A "?kӟ=nWI.u/*ֿ·/|eIXW. Fe~+һ-t_A[MHѠQ.хk]aBS?+O]"׎h1J4ëy-`Dc2X~w]g`}\OGb@'< 3Eja}{Pۤz:r= Fm9^YbmV`Rt1VQAYv HCۼ] EwabCz\bs]r?bCyx@c?K"^ĬGzn#o1HGwftS67)Y n| #!aKdI5y6|߈\8dx[F hBEɩ8M)`Q;e7 JD3->6ʎ R$ԍW:5jϩ*6G`q^rmۘ3Ժf$Mp,lIfKGUD13TS iċV cUE2in`LՅܝeΈ2212vJeia4s]NM͖Rhfḱ3o`+PN`Nd G}my$_Hlnt ybaECbH0>bf#Ո y|rd7HQ])<$?b1M4h-iM#=LUX{tFΒwS&fKNİw<#~Lkb5Cux7|pO*@pGtsq(`&K`v]$aE@p*Cw:5mcθ=m'&l!pi6m C[5~H0r{;a:@eNǾL87WlObZ&D?kʷ vw[D3UL+;=)xYZ'%¬3u&d@3cAjA4pN>~BYrTwQIIUhny)@V^`&F/ƄK❖V=sӂ{g/" $g0;w/#gh.^^P(7\áE[_?K fأ,W9H:O"_E fdм3܁2H H|BSF[^cyjUD%h3$t=“)Ei2}桋N_ӆ1 QxyWlP[UB' ĵ6bL.2%vq!u<6#ʝp2¨b߫ATSy>~ڕAYO0.qjYPqk>Rh0"ji{Ef|3cEj(ΌpMOV4V2w 8>O]8 yu~r]1Ϣw;8V?_u:I SY! fb ƷpE7Xlpq땓ӶE|D<%." o6ҦJ@J, A_p3-TK +M@Yiē!q㓮>&jM1*TaG۩dU}K,2wnsa~[t^MurU+8~e%/~ ^:ծF9. ىKA~d<~C&̊1 R)7)SH|1WnL? Pn KKlq֐^oR9^xT 7Wu!38h慺C/8xg:UF xœCUǎ MWUL!\'x3EώUHa=Bst=RG8é(޴J7{~\yy;]R{ 5CpU_[7>`t9mT jOY?QK.䔻rq}9{saϣf~TK!kc 7ݦgYZ  e" { e K d  Z XsE  0C h B( #x]AHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_Exampledocument/Hotel_Example.tex0X;i'HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/messages/V;i#HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Alternative_DefsPIDE/markup.z;ikHOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/Predicate_Compile_Alternative_Defs.tex-R;]'HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/messages,P;]#HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_QuickcheckPIDE/markup+o_HOL-Quickcheck_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/Predicate_Compile_Quickcheck.tex*>;5'HOL-Quickcheck_ExamplesHOL-Library.MultisetPIDE/messages)<;5#HOL-Quickcheck_ExamplesHOL-Library.MultisetPIDE/markup(F;57HOL-Quickcheck_ExamplesHOL-Library.Multisetdocument/Multiset.tex'`'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/messages&Z;q#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/markup%'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/messages$R;a#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/markup#>;9#HOL-Quickcheck_ExamplesHOL-Library.ConfluencePIDE/markup"h'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/messages!U;g#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/markup ];s'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/messages[;s#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/markupB;='HOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/messages@;=#HOL-Quickcheck_ExamplesHOL-Library.CancellationPIDE/markup;;/'HOL-Quickcheck_ExamplesHOL-Library.AListPIDE/messages9;/#HOL-Quickcheck_ExamplesHOL-Library.AListPIDE/markupH;I'HOL-Quickcheck_ExamplesHOL-Library.Confluent_QuotientPIDE/messagesF;I#HOL-Quickcheck_ExamplesHOL-Library.Confluent_QuotientPIDE/markup BK[HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_Exampledocument/Quickcheck_Nesting_Example.tex BKHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nestingdocument/Quickcheck_Nesting.tex BmQHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Interfacesdocument/Quickcheck_Interfaces.texJ;9;HOL-Quickcheck_ExamplesHOL-Library.Confluencedocument/Confluence.tex y]HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_Examplesdocument/Quickcheck_Lattice_Examples.texN;=?HOL-Quickcheck_ExamplesHOL-Library.Cancellationdocument/Cancellation.tex@;/1HOL-Quickcheck_ExamplesHOL-Library.AListdocument/AList.texZ;IKHOL-Quickcheck_ExamplesHOL-Library.Confluent_Quotientdocument/Confluent_Quotient.tex<;1'HOL-Quickcheck_ExamplesHOL-Library.DAListPIDE/messages:;1#HOL-Quickcheck_ExamplesHOL-Library.DAListPIDE/markup;;/'HOL-Quickcheck_ExamplesHOL-Library.DlistPIDE/messages 9;/#HOL-Quickcheck_ExamplesHOL-Library.DlistPIDE/markup F'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/messages L;U#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/markup U;c'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/messages S;c#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/markupE;C'HOL-Quickcheck_ExamplesHOL-Library.DAList_MultisetPIDE/messagesC;C#HOL-Quickcheck_ExamplesHOL-Library.DAList_MultisetPIDE/markupB;13HOL-Quickcheck_ExamplesHOL-Library.DAListdocument/DAList.tex@;/1HOL-Quickcheck_ExamplesHOL-Library.Dlistdocument/Dlist.tex?HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Completenessdocument/Completeness.texh;cMHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Examplesdocument/Quickcheck_Examples.texS;CE HOL-Quickcheck_ExamplesHOL-Library.DAList_Multisetdocument/DAList_Multiset.tex 4d BX C ~ " K4 { & d _;w'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Narrowing_ExamplesPIDE/messages5];w#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Narrowing_ExamplesPIDE/markup4O;W'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_ExamplePIDE/messages3M;W#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_ExamplePIDE/markup2v;q[HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_Exampledocument/Quickcheck_Nesting_Example.tex\;q'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/messages&Z;q#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_ExamplePIDE/markup%f;aKHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nestingdocument/Quickcheck_Nesting.texT;a'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/messages$R;a#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_NestingPIDE/markup#|;waHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Narrowing_Examplesdocument/Quickcheck_Narrowing_Examples.tex1x;s]HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_Examplesdocument/Quickcheck_Lattice_Examples.tex];s'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/messages[;s#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Lattice_ExamplesPIDE/markupl;gQHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Interfacesdocument/Quickcheck_Interfaces.texW;g'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/messages!U;g#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_InterfacesPIDE/markup h;cMHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Examplesdocument/Quickcheck_Examples.texU;c'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/messages S;c#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_ExamplesPIDE/markup\;WAHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_Exampledocument/Hotel_Example.tex0Z;U?HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Completenessdocument/Completeness.texN;U'HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/messages L;U#HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.CompletenessPIDE/markup F1;wa HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Narrowing_Examplesdocument/Quickcheck_Narrowing_Examples.tex7zXZִF! ]A-MՋhvG"uIBm5e!T(]_nj8ThB> d&&J]gY,Q[\o;n,'=HG浞>|)*]b Mʊ_q} GEjlj3ߜIqij2mOT5~GUR*Mxnya ~彁~H 1}U"_ZY X&zڀQGu88$(8mm IF {Wܓ𳼲pFiI(I|޲Cԡ}{ 9wVTzi Z|y>Iz`ShWe<8ȍ3qҴ7jn5 VkwMZn+eނ84Eҍt'Uw[E0h f?=,}9m&p˛ ǜ_@U0?4p&4a$psHLtib4:)no)F8C aѮ:p"I]3s$LAp]x$K$PF\#A+%gsr+`ә2)LXfİ-7{@}X`{^ǹq4G|[EB┺FDBI-\?]O߼'7Ix̶@6Ђ*/P3\!G_N0:`jn[w*JC@y~>J$,I`b@ЀU^:EǐSZe~~0s[^%F~v [z@lVRZqYi*s*H޷N2!U9) 'D!!o۫3)ZLzho}v Z&LpE^[l~PͷfΑ(E“ZfGZtP<$>@պ>˿VOR0dG`=.+:VXÂ>e(VZv߷暪7̳RG@4>7@u[PU?4G 7ldzB6-0>&^tKg'EeHZY@za.)Tk9q3;~q4N'u=[Q:.Ig-kiSzQIJ}_o@  Y+cUxL{N, -C _Y[Yl#5Ɗ8Ru^ kselȑxkj"%~Ӎ^J7V %(@mjlC@R铙(Zܬb"4R:c3'd.a2J x 5/yOl۰zLru)]4F.,*R^ݕeijndz~OfqLJFIݰϱ ΐC͸YGwHV' ' os,< >`d;o^6y+1v)nsM|y m2lTZ3Fq@i6{3mXX8v] 9!63zp8Cl2 lV9S@h)E]PWu/:eL83GoĦNU C~AFҺ!#9{߾Xc_@.UN I{@2| 'v@͒ao/-3ofQg٠*S.}]D1?/gl[6\)V9Yk5Y~cVU`*Y҆Frz KuπMׄ@y7>I]^v~F$[c DGUpBb[п]bd+cRARR:WfNn-V֟VN.YO(D`.t{nq@4ɴrGk梓h"- C?2 ^>CI.'[q2a*vτ 9ʱ EU7ga!ǟN.*CErbWlX*y l^dSj^D`IsxQ'{eB-&(ZTSCoNU:ZJTO'έ6@zԴ\lH> M1uKdAh} #zf̀2IQ{Ջ(#YA\AfE)о˃bkI.I$Nr0F+oʩgݛݖ)J/qjoga,'Aۄcl70NX9RcO%"Wr8To| vM{/T`_h4~.Re̔I| ::}r99XTs6Րfa(5q0)sV:]]u-6dbE8e,i $=i ?uˎT7"[mm I;$NL?BA\xm> 7t+^37&8 em|  やb{ES)YZ\]zě(b" [*qU{͂RqnK$ >>91̚?2s6W3]2!˫fMpdg.F!mnTC[FB{rLbr"?ʹ#9y-*S A?#BaJ}oN#__^a7 brhrzW:]C13i]Ҏ/a-%ӯ3q$X}6Q1dICCĀPdcLjAZ;f٦{.R_PC.2O"2ksm0M43nK\Ci^Z}/_,1XQyLM~*=4A$,, #%:JX%&f"dΉ1sqW@"V5艁v9|'(#/F.C>"Z[rr.ip-~}x"Si W P&a,DM\Q~h /1B&_'m ||P"4V*ѻʘrwQgWaDQx/C&9Мj2krDâ8:wx-&]Vɺy[; "lA׎={eVt7! \r'?X]ƶ(QD{7;̆WLS @IIj*s>:25zSPvZ$+(FMŷ.j6(iݘ^%vFSnji2% 4~~gexwm ~% N/t7x;X+tЩaub ށ2N;蠅*8LVA/Z 7bGbQ, ^Y0و\%;hzkIy0#h^7A֙α(0_U[yqI_DĬ;"H uQ˾FŰOKN}dF->dSH#}: 4A㪡txb⍑JkFb{.f*3v,s͂Yi_0Pl xH:>lDP$~`/Inab*f#=yN]Xׄ'MP\ЃLM%f}2._x׿"i*fx) -r`1ZKhӣQ` 4mPvOeiWwM4In Y(%`Z.C^{<هc*PMq1] oRs]oV;ݥ5zC LkoK3Qe¡ .21zl .\9r/)%\կKrF3,vvFvUɼEH.$B!RB(U(+/DA< QHiܞ˨K^~b`1bmp{wkFF,6~[ym~H1D]ݫBhw26[' $QΡ@"B"> ].P(JM泝;C\}:'~`],*ut:aȥ#ECfdm5KNii*.Q}DZ4qODAXv^v5mfdI s9A,Q0LDusbj2I?`|BQN.[iKjEԏ)2(w?CH˿{/l+-Vd?S›1NrN-yyF?3,!V㹾Lytt[Eܖޥ~Hc=u.o7*̘}Uc^z`Jf ˽3֛bWvZv͞03(QC{ZӉ$: twCއw]RuT᛹>a"Kt>2rh?SXGHYܮfG1/ 7syXLc&XDmRMvGtQ`9Sj7H<1?T<&i~I*Sl /va./&I h(8!MgXKxl*`< =+c @x9))/ \pֻT1[ʅ|AO2Qj# S0{34Ć>(뽺u)IFMV5y @hH*Y= CWVh=HjhiܺȊ̱i`]7ܠB) 5H^&OJ[A’Ë2Ӭw<_ %Mo /Uqc HE$?gYZ 00M3;W' HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_ExamplePIDE/messages7zXZִF! ;]D?7 {?:fH\c ަlj`<{g͍X||x«'}3"*E5Fy*+ܧ͎rz9 cտO7Qh#HG__jd<{Iаih4vַJlXϧWL@S:>_^9 /B]+ԓM^C'C68FȾ-Eম?-hCRNSĘۣjb3gwJr$^W.~Ț~(mXLMH)Y}yќӚx]s7hHmE b\ϏprKȐA5*y4釴Q_殾F=qK/K5UQ\)wd;ebPN$TYKRhN 473ZUJP iIB_ԋ#."7'P˗EuZ̳Rby~SPWG >bI!w= |9RN|LP0:q1,X"*$lnZgXm UTevONX\=0)7B8k޷~!TQjxpl:,~I@fL3ɳJW֤ص{.['Oj"ֵS'̆1p~r3"=(Bw;h ,mπ Gɔ D; m;cQ--ZKޤV9d!tda$` O7lfp«2TbIog~ƣTpz^u{騶m i(w:c70nBc(S~m]ebixj˱ M{7LCf{|7YF"mVƱhP΄C : x޼:Z -k"ř$MtZvʳ#A.f$(J7; m6/t5v+;'YQu(&^pXḮ U'^Y|qR̀!|dUO6ӌ!?.rqqƜ̓h𔺄nxB:Y'|m 1-%ڛeM[ИAL؍u>@}.>wC7ft٭Myu*,kH"Sճ@i)+8Xm[*iM[bQSd{yE{Q6 26eurC1gLTQ<}Ec*^ g?*%\EӸU:b\V'&,5ӐTDw'PzeJH'HN{^=}[KNif*V֪ٟ~"z =E%xB*Xl̔ w"ٳ4yN d3- 7ܥ1 _w㩿8āTfQgwSbx:hI,7GpC7̕e ݩ>&dQm_4+(XL=\ɃVpYX*Aϝ7xGԈxT%{A0bDtxTo=*%79 4 ?Gm&ѹXɼ0߈ kqdz hc Xݕ0i1)'.yt{v.}O(!CNfqM1iIZ- ^?9cu:+h.~[nr)&G˷\ kZI7\a lj?[CjukMHBM-ix|bLֆo53'OIFoZRz[xH/H^1X=V$X M TO̶%cw$,pn r6& jkyH*cDga:0Uzo{O$˾K)p2e0܄uH8]DiBݺm*|lmlZ}I Pg]ȟv%5#Pߑ7Mpԅ>'wndt58H<| |l5o^019;Hfd Ĵ Yj*aq%(*oi+t=XȒE=Et=G2wW-31$?a8yAn=ܛz3&zp,UQ5ϗL W2"գߜN,}kjb VѨʳ.p\\t~ZBB*VN#[W~AG$&v[`ѫ̜Y<ly7uR]wOY<ѕu]JŮGUF( r=n?E圆ݷH'_/iZSM+ i?)hBv.e~vד}^_( y Hb_e@^(k%R[\y͏9tGI Mp9翚k窜OЋ X7rP$1?alFdJ5e}8MJ ¸G/V湡JH@5#Ȓy+ˈm6G?>$4qPe$vS$b`#x蕭߳/8vq@w%궎j>&&&{, dj# %]U? 5g5ٌ|@S3^JO Cdvgqyem?4ZYnHn$: 1"$+0vx` R`3SXQ0VtNAUR&)%ݨPTdm b.咦C '7z1.\S`E^o,ꧪdsl)*-]vJ4N;+VllrI۱x9^(N|}E0zP{ͭ@P`-5cpW &܌β_ΟQ~XH{A:gȤ./ pt_“M]13`]_uП\)]!SQv96N{݉a-;fݿoB-b;bYicLka ;DSEN2$, #ۺ1S3S!Sܾv`^niiZ^ t3]%5 P@oV`Bm§Gd@8l(@e{Knb'kϬ*S>ytػYkoCn` s FHܫr 8;J~FDi]ړC!Ps9od;/qTu%KQ|Uzz+W}Djݥ`: Vr֬@W7uͦ:Ц((Vt¿ę9,!@dphV^ʇMjAL#4HyDx$F_N7N},nXj6x5 KMi)0L&OeMzaBC_ֺx=2ont ,!%5M]әٽz"7idߗ(UkS_79emˉ{աYmI|&Nͤp\ql|Lb0D({TRDN-q !:0c[\9lJ"UҤ i"JґSx]>I]liTdƪ5;t$>̮_6Z4.QCT4`9M?Lxs5 F>h<\7P~~wRΈI ;t./dgf71`RFPI!QEwpĀ BAS\[Oߜ`KUiW1Тՙbi 612x^DB*1oۙ~pУD0p[@8 )Yޗ.[u~{YbgoL0 &*eVӦsAXj{ c$Fv ??b=xcH:wՇUΔ\@=1 P#8լH[;=LB顾׈-JJOJלM5# VUF2޺8Ub*FX ğNJhI W_zc׍%TDOd>I_A'S'+*(=X,mg}G$26S-쇘Ё^~:/io' ^c#+H=7+]gYZp!=Nz|H` 1y~=a۠jk?6utC1p'z&M*I2{oFS-GG]oUVu>ٲ^v`߶v.xÄ]H$̵#Hf'sk .n X kbh$*qKAfqzzND[sh[sg4Fx f`~ԽpiȒ|A$Qu^=~fr+ -S( 0s;MWoUF> ]f:#Q+5DNo(Bٔj|Kq"6A0a\ xhhJ@lҳۏQ#=$wcbrR] ap]#$#v/|!Ҏnpթ*.Ã;0`WpӒ$I"^ay JzM=W'~,-aJ) 9RzDmԛW7jgZ\W ZC5)l]X&݅٧)rah\'P[V#muË="fΥ^(aX` >٭Jeo3|d 'O^=FW Xi/XG 3Px"U? grcܘAU.ڛ%ܺ*MTP6hZ0\o# !!Al!&n8?5y%IU_؜u:"vr+{eG54bGd Nc^(?glr=IdM}aU]-qS:Wz"f]?qݟMm]V:2:;Fb mDaȎ  P/?k,mS,oy@T\bkC.}'ׂ/` lS|-x$1]lѢ#'ASl4?Rl@il0(T\X #M@C_[uO锩&csYDC6yCQNpT0m,ѱ&ϣfX&Z&z-d<דE~ɰPY,8e5 ZEԵ)'=K8钫%Eql^ N~@N-MRFn"7^^j3"MPMSp][]@&+&g^@R9qTwO">؆~D}&b":8cw,1 dp!IZ;8 /I{_=M!$mj<Î޷Q%O&N2`F86[ 2֑)W4@OF '$B\j$u*:q9_y¬,\f gM\"ӵ 1>` 6;@4FG`K1XrX4դ JSLe9?[t`~qpj%ܙ/X)LI4H+!ZB ӏ2_etIx`9VF>n=AVJ*ES%hD pڒޒGs[DVQA52ŽB^#u67 9v w>KRf[\UDT!GmTkWF)m4eN]ppti 3۩ 2.T# Í=c!)E }G':md ^)vlbE`z϶܍Ebs__> "'߫\Vii}Īqk7\R^ԫ 7R.)޾)%xF#1?*Ny2qiuwJ"u+4[ g殐no_IZmRGC  QbC&b#"eV rC}}2V4Νg)P0H? eӡCKY%bU>^Ʀ)| .s $\2b dT\_rr -<&-)Xn̜Eӣ/&H%R$L1|(OH¨i4Q0` 1wՓ^9IDSמ*ө 4t6c#>SDYJ\<ځAcꩬfnBԁ '~Dlٹ谢[[drd7PF`u&ѽf6MC(~ Ն]Gi\Bo` ˈǑlSH]<"$!X@eIŬd.ݵVRix 4rp`Oo7A4ARЈq$eD?JHyzP_O*^ZE:Eu)Q9!Kҡ?0sXՓ8=yɺm<_ oD[I AGaH^B+RY֢ 4fjf[WB=k!SY5?wg7mjʹyK`%H_]kU}XXo2EÀ 4e@\R5͂#Q0 O=oy76Ǹ>..eéEk) o6B_^޳wh5*{xKJ*%h? <6?2S*C(.Hև@L@)bXlitfYSIoV,}Sǔt2|,I~dU!Y_]PP7ve}y}=2r2Z%{} 5I;Fpkȼ*? zЪ+CFƙJ][7JKY8ȯIdH1aqE)2SE^7A[DoP][8j@X g~)o`0{**czTVm%Sִ[Ȫi ӥ}ت 5jN䟡Kr20;},n77նkʮGޱjMutQB)M>|=id_;OKiOr9~nz `ݚWKd%CpϪduHOa=l<=ƿِRoJ%dgYZKC%R ۣM 9*A8s#>yu4&eLSуN۾$|4G^MRG*ŷ Ϙ KӪZin=@)8CR)6Ġ]@_@IdAZ\뢝$ne>Xy@ϒb 7Z̜O5٫Z<a5Co-}S&M2w;ȀC5C9~OlᖉG]6%^"^@ftJRԎ|E9(G+h#.@)J" $s,SM ٝG R74pk`l*X+hfoS\u&2.ԶG ~6Sb-t =rjįl$D/_ٵ-ʒA5Wiw|ጵyGE9.K.&vۤWs ;2Qv)atT+ , !8?mѦ)nx3iĞrZ%ւcJ>ME4+cAf) OPyӟ)K, sq ZFco'[JҖ֥)<ܙ$Liu^v`x#²P>KR̆ v!1{I׭4+ Rlq|5ѮpZi)oeӴF+akiGOΡѺ50%TxJ$;2){rʑG ەjR$❤ A{|ָ˷R`L<V r LIS[XkLD; fB*"ec؟1/|[FB'Ek45@%1:`B!$V M^dRsT3^ST'Fmd&#t+Y0TENju* qO")y+l}ighDՂɈ3nj[nyv1>6/,Wy%j%o oE(#q(>@,-#8Wj Ff̕dƝ:l\S@[^S$`sn1sz(29,iAUȞ&Kmn{'3fi i<6t25B|$vYM;08WQT *|T.j N"?W' O f6T}T$(DN4q|C\ U}ٕO"[w5Z`A]LWq0ʵe+s6%íJCki mT}>w\\'!GiC OZ(e v{ΰCul=^/7M7ͺ#IF+tV3).AmRjnhmOJ|Os_!rŦ`#a}p'<ZO} Ln?F@Ni2Nu{o*3(nJ-.B!W+gqZ/UȻw t6}$"NʀnJ~q(Bx_UݟUᵘy(SJ/N~58ihec`*"%ʟ"!K@KU`{2z?aCY8CX>AƓhAZ5h֎_ߗ*d@ΖŰO,֞@7}fB(_H˭e5N0GAH2x;ǧT쒅f\ߍ[q^a ,ZG["Zc}@F!MFe; 3%QT//,;v%94s U89OhjKd("uweaxʉ@"wOf)&P@CT{L YT^-|Zr"o3ֽ=U1 }<v>{!286_(rNzg_rB7m(S73vv ܃o%` :\}>:*+ٍRu'K_<1Wn4+e0 k1㉉ 8ͺTU|Y}6xac  ;A@KEד0kRW֚s-a{?zFS=P=E3UD2:%o]bgqf/\dKp.Q`jC?ٛ9)f=ҩk.3̸$Nukƫ]IW@\vaFrrY߄(ʗ@!@=$ LbAvyQjԳj2Lٚ k>(fB{GOyd`_$Lj|39%)1'\JYY&/'lȣz'M66IEzE w CAܠ7^—#SvCj2J#9*b@ sjV ƕϠMM^|<\صR/;˩ َUTe} mѿ`k])漐55k4&7Fn98X,{xrBk,yNNw\ukR}/ܐ SLhl.UNgm>|;-m>pn*jk즪%L@e x4iI;IDڈub]dn*'2Li)cN )H4.h@>ΐC[ܺck/ޗaRmA$Ce.I-^gYV_r{}0Vr uӳt$4^맺KUq% c_%}5G~T*ګfz S];3dPDau]\M+by_S`cϮպ@E?!'NOzM { $PKZR^Ś# L=.U "U\FiM#bXU"Fv!s- b0u6B0Pex;HQkơ ;ʅFk TZҵLbV[Zlj#4(f R.2$헡Yg-CWSـOd 0G /M\ $Qg]^uB'm7W*ժ xic"%O+!mc!y%kHu6VSN ~&ML!7PY糴dp]eJ0%ypkdA!nms*5t"paOL$܅ s6#YnL@>?Lldмp<0y"W:^Toqv}SZ?#_"rD"N@kEQ C Mkp~Ҷ.o%)qCBc ?~((c,>R3kı@cQ8-.XRxMWPiFԥBLh;!@"8[CU7mZJ8:M]PaGa,%Ց /&Y_*x ,Bt #jQx{gUm[BzWhN2E7>PO^GKxͅʅ9'I`"[aJ>&\HG! {<ЅU(eb ,isP Ǟ 2ra4#ñ)fJ0U+̳&>e{b Upᵘ 9}ePBh 7 c!(ym7GgVc"`nL$зX+"%? Q+QݕS8^U'Es)_R+`T9)Q!e.+bep~_3 g'kz".B堨<2|IbLp<Κl]&nmG(ţzUM#C'ja% #=1PJq(qr9纛>u76i 9%QY\zZ;Y^ݘHJ>Bc` OJ(p $zq`zɒ)>}ھ{>)9Km44ZCA.٨b[_9ߠf˒*B]">!cϽċ!#,K  ԺZWƬ_ʹ)6Xţl꥛s= |?nQ\)sǰ!MISzIU4@*99 p/<\_&߹aIF]6rDjVdT`oX n? ]APdRdAv53E #.E7*3U a;vۨ/l~ϔo[7C;ݷY\RXP=\`~=Y'g~,4)Pq&04<f7*qwRGX-dlh;M]<-|7.d/#S&r+LBJn6*9aǒ7vAI?kN8fDt/nf=992V?dF亂CY6/b쁀2ЖT qg9M5}%5CpܘM,Cȑ⅄)T\+iZf TznX zJM겿4'CO7imoQkISk<ڭ)uʹLl1}8jK`곴-4}fz )}>;ŏ-elLQ{sTDۈ5$ 1XW[+-qi*? /g{yEۜWTnt"iIZZ `.ΡYxU{XX} W:7Z[oF2` s dˏNGH?`19˰!GTLvd܆ T]~7VH+'~~e@~͢ΫNȜ9@DdWd멯m Q'4OǷ(>D&Z36&.;Gt-%[zz|WlkMd޸uǨYg#$a+;ɭn0WS!=^‰&k\¾&*-ϛp'g`x6c0,隼˄Y{PbwiM `RBmzgi8h!ϸE*lw,է$sN%EOԔH7n5:4%}FG(e_ --! A_;RYkT]yq{\M΂ Ig~IAyYЬٺĜqm$k+}(ݧOj9i1s=BPQvoeXvNmZΦ67XZOF$HɄyE ˫4]cW]kߍ>4 QԸ7Ԟ툀5.4ۨ"[^IWsi_%Yg 9 ZVF`82֍t\4KkՏ, ~xDO%ʕXJAR5y+ "赀?[hU;"N+/ʶ袉oI|s! uj -AM)zx&^+=@lU/y"DGZ"@lB`t+u UZe:2^c.fN@6}mWGS[:p(&<Bٯ#a;Z;q]dq>ll#sv)SY|,r=<1RF6\YC/ItdQ5:)ש+줯K. MG9WDDU~] `vosv 0S cR6? yiP)l* EE*[@mk)p5PXW '4N/T)gxcBdx6c8AnE.`*(BⷈκVUjHͥkj;d%Fl= o0-Xi[Pr볣ΐo~OD"@NdAMQ`|~V4L!l ^yÑ?dm+lw6w1ݐДx.Ҷ"7k$g3(KS㉓(7_`έ`ogqbnԟEUF4˿տ#>1.l;vpv"r" w4&$Z+dL-XFoktPVW3?N\d/}cY q~+ jS|=Ǫ3~ouiUs1}ƂFZ);k@ 5(b?&DLL-ΛP#Z;1XLJ,'jS_čVLS6u4U &c7#k5{[ [ aŸPc$Dkq .lSh{jD+<+-?<G[VRヴLtDbcHE2d!X#\umUOw[Uc_ƂS>t&ZnQZO#dkE}7[L)ʯCxkԾ-Δm0\mфiCkV~ؐBZ5E H0aV-˾>1?Cזy2g!lqXo;E =4gYAB#a^KAgVmƅ1e30}ڸkuP(\]cF-;9JQnp1n6ӛẢy|蜅&VƖI&rtAE=xhZw򠫨,(5=9§ ֭ۤ)Ĝz̨' gۖ|I<s>b5H_r 3dI1,r/o|̌L3xYN=G} oBѭ8Sr9GJhWόP`RmU?m@[ܬJؙ*~P,{j́͡@8B)Ae/4XKMv3(6l`IB?~/%np2Ԡ:PUsqa VoVn px\O b*Mւ)ao݌3W\@\u3 cʦJ ܊1̜Θq~"-#G6ƒ*[B@¬V!+MdZr w^zq?7<ѕgNΗ^јdjG!r'*Z<I(+އ|czpܾ~캻B NTԕ4Tc|gKHL0̺h<1+WFA8:5Ki3E~>0{PϵdasNv?nOio\&3_pJlbnG FROHjjuΊ‘4ҍ Ɉt_+9ipvހt&GgipR4,_k aUOѦ-I9!bYԿca'=C"#wg9Ӧ,I՚C j޾t6ޟ/òQt&)HgϛgDdG?TŎUҚyq!/{'߅3I ,xqHӠSѶ?H |8m`g0~|Fց!׽Sf_{`-+0fYTPXvB1)kouV%v}&l`(:R`p9:DsQӽ[f ֨;Ϩ&_^:f%tzcj`l ~5hG:o:rxΫZ40~=e*hb S.mcB3ňXZfHNDDxcXHAug.ܘV-*`E#0fv\XGv̶w5Z;W44Ԇ U1q:#f'$okCRkQD^P-VH^q2!ZΜ5)!<ZWVH{/`@(1dIxS`Z}V;>`/2#m`_oP(s63eϱl&Z$䭳o T-"5 1ijoQdH4z#jZLkB rb"k gIN:CF+B=6 awePV}L+>383ow''VOxp!jv7`~[9H6B%(OWxbPwpXQD,/c]6%+3#@\k~7텏 ghdABu}V~.*ǐtV6$X-БCko֠ U#YUlj@?G$:!*VI_zOM"<uO6;v̊Bɚ8yz;o/}[Jw6e靴{o}!ja7F]"9Gk*ȓ|_3t}".)Y" 8ePo͊P]r;\1NRcA%Q[8t,?Ă35oT9. s׸z.gyqCHd@z\:[yn~Req-̋UR- * `[ƈp`VEצ4AKU^@,9u䇢,K6Y2jLn f@:ph H16z4 %nR33\/jo*` RlW !k)Cgׯ(t/zbҩ2ɰW ?w} R }>k;"ҥN+j(_e0pC[ 2f.z-{hxBHPr`߶P#r;IL ?3y&_x7 I vG86w-ӤlC"4GM]Gli0E'd?ѽ~SLE0Wo󢣡P.A'jv3yU#E`Y'i362AsG Qj BG?n2.6]'a:x;q)rIDl5Ɏ i`?Ym6ׄ_YhUOh0CqlNdx%9xXE&:K1/&g?qr;5XC1ph[.*nkZ(w)'?&$ph>m{>#:ػpKp F :CW<.O!hK M &:WgQ]>Lm2\Z_X d2ucK[ґM1 %jGVq\$0I%m(mh'^dK,6Fٌ'ؾ%Gl5h:?Qp(4f*X=`Ǚ9c{SpH!:bTmX^ H{ (2V u\I>$Raฐ޲AhRŭ#<}_^9XWv7LŎ߈jYZIpo>lݨ: ;)OjэSf6VBJ(G5suL s`~f컷T yƹx8-yHn|=clǦw/9̶N]øu=>EOTdQ|/zWqiSybphL=洸+ 'Q$b. ͟})ls$O $ΖςgX|9RDWGn","k4t6őg9@Z+^Xmu:;郜u].oD:Q8=4bI(bo-tDӕ;kJڮzL>w&KTQ`@BD