PERR 2026 @ CAV/FLOC: Call for Participation
"Milovancevic, Dragana" <[email protected]> Mon, 1 Jun 2026 08:44:46 +0000
| Newsgroups | gmane.comp.lang.caml.inria,gmane.science.mathematics.logic.isabelle.user,gmane.science.mathematics.logic.coq.club,gmane.comp.science.types.announce |
|---|---|
| Message-ID | <LOCP265MB8611FF8E6231DA654871034EB5152@LOCP265MB8611.GBRP265.PROD.OUTLOOK.COM> |
--_000_LOCP265MB8611FF8E6231DA654871034EB5152LOCP265MB8611GBRP_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PQ0KICAgICAgICAgICAgICAgICAgICDigILigILigILigIJDQUxMIEZPUiBQ QVJUSUNJUEFUSU9ODQogICAgICAgNnRoIFdvcmtzaG9wIG9uIFByb2dyYW0gRXF1aXZhbGVuY2Ug YW5kIFJlbGF0aW9uYWwgUmVhc29uaW5nDQogICAgICAgICAgICAgICAgMjQgSnVseSAyMDI2IGF0 IElTQ1RFIGNhbXB1cywgTGlzYm9uLCBQb3J0dWdhbA0KICAgICAgICAgICAgICAgICAgYXNzb2Np YXRlZCB3aXRoIENBViAyMDI2IGF0IEZMT0MgMjAyNg0KICAgICAgICAgICAgICAgICAgIGh0dHBz Oi8vcGVyci13b3Jrc2hvcC5naXRodWIuaW8vMjAyNg0KDQo9PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09DQoNClBFUlIg aXMgYW4gYW5udWFsIGludGVybmF0aW9uYWwgd29ya3Nob3AgZGVkaWNhdGVkIHRvIHRoZSBmb3Jt YWwgdmVyaWZpY2F0aW9uIG9mIHByb2dyYW0gZXF1aXZhbGVuY2UgYW5kIHJlbGF0ZWQgcmVsYXRp b25hbCBwcm9ibGVtcy4gSXQgaXMgdGhlIDZ0aCBpbiBhIHNlcmllcyBvZiBtZWV0aW5ncyB0aGF0 IGJyaW5nIHRvZ2V0aGVyIHJlc2VhcmNoZXJzIGZyb20gZGlmZmVyZW50IGFyZWFzIGludGVyZXN0 ZWQgaW4gZXF1aXZhbGVuY2UgYW5kIHJlbGF0ZWQgcXVlc3Rpb25zLiBQRVJSIDIwMjYgd2lsbCBi ZSBhIHdvcmtzaG9wIGF0IEZMT0MgMjAyNiwgYW5kIGEgc2F0ZWxsaXRlIGV2ZW50IHRvIENBViAy MDI2Lg0KDQpSRUdJU1RSQVRJT04NCg0KWW91IGNhbiByZWdpc3RlciBmb3IgUEVSUiAyMDI2IGhl cmU6DQoNCmh0dHBzOi8vd3d3LmZsb2MyNi5vcmcvcmVnaXN0cmF0aW9uDQoNCklOVklURUQgVEFM S1MNCg0KLSBDeW50aGlhIEtvcCwgUmFkYm91ZCBVbml2ZXJpc3R5IE5pam1lZ2VuDQotIFRoaWJh dWx0IERhcmRpbmllciwgTmV3IFlvcmsgVW5pdmVyc2l0eQ0KDQpBQ0NFUFRFRCBQQVBFUlMNCg0K LSBEaWZmZXJlbnRpYWwgVmVyaWZpY2F0aW9uIG9mIE5ldXJhbCBOZXR3b3JrczogVGhlb3J5IGFu ZCBBcHBsaWNhdGlvbnMgYnkgU2FtdWVsIFRldWJlciBhbmQgUGhpbGlwcCBLZXJuDQotIEludGVy YWN0aW9uIEVxdWl2YWxlbmNlIGJ5IEJlbmlhbWlubyBBY2NhdHRvbGksIEFkcmllbm5lIExhbmNl bG90LCBHaXVsaW8gTWFuem9uZXR0byBhbmQgR2FicmllbGUgVmFub25pDQotIFByb2Nlc3MgRXF1 aXZhbGVuY2UgQ2hlY2tpbmcgYXMgQWJzdHJhY3QgSW50ZXJwcmV0YXRpb24gYnkgQmVuamFtaW4g QmlzcGluZw0KLSBQcm92aW5nIFByb2dyYW0gRXF1aXZhbGVuY2UgaW4gRGFmbnkgYnkgTmF0aGFu aWVsIFZpY3RvciwgRHJhZ2FuYSBNaWxvdmFuY2V2aWMgYW5kIFNvcGhpYSBEcm9zc29wb3Vsb3UN Ci0gUmVmdXRpbmcgRXF1aXZhbGVuY2UgaW4gUHJvYmFiaWxpc3RpYyBQcm9ncmFtcyB3aXRoIENv bmRpdGlvbmluZyBieSBLcmlzaG5lbmR1IENoYXR0ZXJqZWUsIEVoc2FuIC0gS2Fmc2hkYXIgR29o YXJzaGFkeSwgUGV0ciBOb3ZvdG7DvSBhbmQgxJBvcsSRZSDFvWlrZWxpxIcNCi0gU2VtYW50aWMg Rm91bmRhdGlvbnMgZm9yIHRoZSBTdGF0aWMgQW5hbHlzaXMgb2YgUHJvZ3JhbSBSZXZpc2lvbnMg YnkgRGFrb3RhIEJyeWFuIGFuZCBCb3ItWXVoIEV2YW4gQ2hhbmcNCi0gU2VtYW50aWNhbGx5IERl c2NyaXB0aXZlIFNpbWlsYXJpdHkgYnkgT3NrYXIgSG92bcO4bGxlciBEaW5lc2VuIGFuZCBDaHJp c3RpYW4gR3JhbSBLYWxoYXVnZQ0KDQpQUk9HUkFNIENPTU1JVFRFRQ0KDQpEcmFnYW5hIE1pbG92 YW5jZXZpYyAoQ28tY2hhaXIpLCBJbXBlcmlhbCBDb2xsZWdlIExvbmRvbiwgVUsNCk1hdHRpYXMg VWxicmljaCAoQ28tY2hhaXIpLCBLYXJsc3J1aGUgSW5zdGl0dXRlIG9mIFRlY2hub2xvZ3ksIEdl cm1hbnkNCkFuZHJ6ZWogTXVyYXdza2ksIFVuaXZlcnNpdHkgb2YgT3hmb3JkLCBVSw0KQ2Fyc3Rl biBGdWhzLCBCaXJrYmVjayBVbml2ZXJzaXR5IG9mIExvbmRvbiwgVUsNCkRlbnlzIFNoYWJhbGlu LCBHb29nbGUsIFN3aXR6ZXJsYW5kDQpOaWtvcyBUemV2ZWxla29zLCBRdWVlbiBNYXJ5IFVuaXZl cnNpdHkgb2YgTG9uZG9uLCBVSw0KT2ZlciBTdHJpY2htYW4sIFRlY2huaW9uLCBJc3JhZWwNClNv dW15YWRpcCBCYW5keW9wYWRoeWF5LCBBQkIgQ29ycG9yYXRlIFJlc2VhcmNoLCBJbmRpYQ0KVmFz aWxlaW9zIEtvdXRhdmFzLCBUcmluaXR5IENvbGxlZ2UgRHVibGluLCBJcmVsYW5kDQo= --_000_LOCP265MB8611FF8E6231DA654871034EB5152LOCP265MB8611GBRP_ Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: base64 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjxzdHlsZSB0eXBlPSJ0ZXh0L2NzcyIgc3R5bGU9 ImRpc3BsYXk6bm9uZTsiPiBQIHttYXJnaW4tdG9wOjA7bWFyZ2luLWJvdHRvbTowO30gPC9zdHls ZT4NCjwvaGVhZD4NCjxib2R5IGRpcj0ibHRyIj4NCjxkaXYgY2xhc3M9ImVsZW1lbnRUb1Byb29m IiBzdHlsZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZvbnQsIEFwdG9zX01T Rm9udFNlcnZpY2UsIENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1zaXplOiAx MnB0OyBjb2xvcjogcmdiKDAsIDAsIDApOyI+DQo9PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PC9kaXY+DQo8ZGl2IGNs YXNzPSJlbGVtZW50VG9Qcm9vZiIgc3R5bGU9ImZvbnQtZmFtaWx5OiBBcHRvcywgQXB0b3NfRW1i ZWRkZWRGb250LCBBcHRvc19NU0ZvbnRTZXJ2aWNlLCBDYWxpYnJpLCBIZWx2ZXRpY2EsIHNhbnMt c2VyaWY7IGZvbnQtc2l6ZTogMTJwdDsgY29sb3I6IHJnYigwLCAwLCAwKTsiPg0KJm5ic3A7ICZu YnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5i c3A7IOKAguKAguKAguKAgkNBTEwgRk9SIFBBUlRJQ0lQQVRJT048L2Rpdj4NCjxkaXYgY2xhc3M9 ImVsZW1lbnRUb1Byb29mIiBzdHlsZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRl ZEZvbnQsIEFwdG9zX01TRm9udFNlcnZpY2UsIENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJp ZjsgZm9udC1zaXplOiAxMnB0OyBjb2xvcjogcmdiKDAsIDAsIDApOyI+DQombmJzcDsgJm5ic3A7 ICZuYnNwOyAmbmJzcDs2dGggV29ya3Nob3Agb24gUHJvZ3JhbSBFcXVpdmFsZW5jZSBhbmQgUmVs YXRpb25hbCBSZWFzb25pbmc8L2Rpdj4NCjxkaXYgY2xhc3M9ImVsZW1lbnRUb1Byb29mIiBzdHls ZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZvbnQsIEFwdG9zX01TRm9udFNl cnZpY2UsIENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1zaXplOiAxMnB0OyBj b2xvcjogcmdiKDAsIDAsIDApOyI+DQombmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7 ICZuYnNwOyAmbmJzcDsgJm5ic3A7IDI0IEp1bHkgMjAyNiBhdCBJU0NURSBjYW1wdXMsIExpc2Jv biwgUG9ydHVnYWw8L2Rpdj4NCjxkaXYgY2xhc3M9ImVsZW1lbnRUb1Byb29mIiBzdHlsZT0iZm9u dC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZvbnQsIEFwdG9zX01TRm9udFNlcnZpY2Us IENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1zaXplOiAxMnB0OyBjb2xvcjog cmdiKDAsIDAsIDApOyI+DQombmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNw OyAmbmJzcDsgJm5ic3A7ICZuYnNwOyBhc3NvY2lhdGVkIHdpdGggQ0FWIDIwMjYgYXQgRkxPQyAy MDI2PC9kaXY+DQo8ZGl2IGNsYXNzPSJlbGVtZW50VG9Qcm9vZiIgc3R5bGU9ImZvbnQtZmFtaWx5 OiBBcHRvcywgQXB0b3NfRW1iZWRkZWRGb250LCBBcHRvc19NU0ZvbnRTZXJ2aWNlLCBDYWxpYnJp LCBIZWx2ZXRpY2EsIHNhbnMtc2VyaWY7IGZvbnQtc2l6ZTogMTJwdDsgY29sb3I6IHJnYigwLCAw LCAwKTsiPg0KJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7 ICZuYnNwOyAmbmJzcDsgJm5ic3A7PGEgaHJlZj0iaHR0cHM6Ly9wZXJyLXdvcmtzaG9wLmdpdGh1 Yi5pby8yMDI2IiB0aXRsZT0iaHR0cHM6Ly9wZXJyLXdvcmtzaG9wLmdpdGh1Yi5pby8yMDI2IiBp ZD0iT1dBMGE3MDM1M2MtMDVmOS1iYzVmLTQxY2EtNDY4NTVhYmNhNmVjIiBjbGFzcz0iT1dBQXV0 b0xpbmsiPmh0dHBzOi8vcGVyci13b3Jrc2hvcC5naXRodWIuaW8vMjAyNjwvYT48L2Rpdj4NCjxk aXYgY2xhc3M9ImVsZW1lbnRUb1Byb29mIiBzdHlsZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRv c19FbWJlZGRlZEZvbnQsIEFwdG9zX01TRm9udFNlcnZpY2UsIENhbGlicmksIEhlbHZldGljYSwg c2Fucy1zZXJpZjsgZm9udC1zaXplOiAxMnB0OyBjb2xvcjogcmdiKDAsIDAsIDApOyI+DQo8YnI+ DQo8L2Rpdj4NCjxkaXYgY2xhc3M9ImVsZW1lbnRUb1Byb29mIiBzdHlsZT0iZm9udC1mYW1pbHk6 IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZvbnQsIEFwdG9zX01TRm9udFNlcnZpY2UsIENhbGlicmks IEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1zaXplOiAxMnB0OyBjb2xvcjogcmdiKDAsIDAs IDApOyI+DQo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PC9kaXY+DQo8ZGl2IGNsYXNzPSJlbGVtZW50VG9Qcm9vZiIg c3R5bGU9ImZvbnQtZmFtaWx5OiBBcHRvcywgQXB0b3NfRW1iZWRkZWRGb250LCBBcHRvc19NU0Zv bnRTZXJ2aWNlLCBDYWxpYnJpLCBIZWx2ZXRpY2EsIHNhbnMtc2VyaWY7IGZvbnQtc2l6ZTogMTJw dDsgY29sb3I6IHJnYigwLCAwLCAwKTsiPg0KPGJyPg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSJlbGVt ZW50VG9Qcm9vZiIgc3R5bGU9ImZvbnQtZmFtaWx5OiBBcHRvcywgQXB0b3NfRW1iZWRkZWRGb250 LCBBcHRvc19NU0ZvbnRTZXJ2aWNlLCBDYWxpYnJpLCBIZWx2ZXRpY2EsIHNhbnMtc2VyaWY7IGZv bnQtc2l6ZTogMTJwdDsgY29sb3I6IHJnYigwLCAwLCAwKTsiPg0KUEVSUiBpcyBhbiBhbm51YWwg aW50ZXJuYXRpb25hbCB3b3Jrc2hvcCBkZWRpY2F0ZWQgdG8gdGhlIGZvcm1hbCB2ZXJpZmljYXRp b24gb2YgcHJvZ3JhbSBlcXVpdmFsZW5jZSBhbmQgcmVsYXRlZCByZWxhdGlvbmFsIHByb2JsZW1z LiBJdCBpcyB0aGUgNnRoIGluIGEgc2VyaWVzIG9mIG1lZXRpbmdzIHRoYXQgYnJpbmcgdG9nZXRo ZXIgcmVzZWFyY2hlcnMgZnJvbSBkaWZmZXJlbnQgYXJlYXMgaW50ZXJlc3RlZCBpbiBlcXVpdmFs ZW5jZSBhbmQgcmVsYXRlZA0KIHF1ZXN0aW9ucy4gUEVSUiAyMDI2IHdpbGwgYmUgYSB3b3Jrc2hv cCBhdCBGTE9DIDIwMjYsIGFuZCBhIHNhdGVsbGl0ZSBldmVudCB0byBDQVYgMjAyNi48L2Rpdj4N CjxkaXYgY2xhc3M9ImVsZW1lbnRUb1Byb29mIiBzdHlsZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBB cHRvc19FbWJlZGRlZEZvbnQsIEFwdG9zX01TRm9udFNlcnZpY2UsIENhbGlicmksIEhlbHZldGlj YSwgc2Fucy1zZXJpZjsgZm9udC1zaXplOiAxMnB0OyBjb2xvcjogcmdiKDAsIDAsIDApOyI+DQo8 YnI+DQo8L2Rpdj4NCjxkaXYgY2xhc3M9ImVsZW1lbnRUb1Byb29mIiBzdHlsZT0iZm9udC1mYW1p bHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZvbnQsIEFwdG9zX01TRm9udFNlcnZpY2UsIENhbGli cmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1zaXplOiAxMnB0OyBjb2xvcjogcmdiKDAs IDAsIDApOyI+DQpSRUdJU1RSQVRJT048L2Rpdj4NCjxkaXYgY2xhc3M9ImVsZW1lbnRUb1Byb29m IiBzdHlsZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZvbnQsIEFwdG9zX01T Rm9udFNlcnZpY2UsIENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1zaXplOiAx MnB0OyBjb2xvcjogcmdiKDAsIDAsIDApOyI+DQo8YnI+DQo8L2Rpdj4NCjxkaXYgY2xhc3M9ImVs ZW1lbnRUb1Byb29mIiBzdHlsZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZv bnQsIEFwdG9zX01TRm9udFNlcnZpY2UsIENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsg Zm9udC1zaXplOiAxMnB0OyBjb2xvcjogcmdiKDAsIDAsIDApOyI+DQpZb3UgY2FuIHJlZ2lzdGVy IGZvciBQRVJSIDIwMjYgaGVyZTo8L2Rpdj4NCjxkaXYgY2xhc3M9ImVsZW1lbnRUb1Byb29mIiBz dHlsZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZvbnQsIEFwdG9zX01TRm9u dFNlcnZpY2UsIENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1zaXplOiAxMnB0 OyBjb2xvcjogcmdiKDAsIDAsIDApOyI+DQo8YnI+DQo8L2Rpdj4NCjxkaXYgY2xhc3M9ImVsZW1l bnRUb1Byb29mIiBzdHlsZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZvbnQs IEFwdG9zX01TRm9udFNlcnZpY2UsIENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9u dC1zaXplOiAxMnB0OyBjb2xvcjogcmdiKDAsIDAsIDApOyI+DQo8YSBocmVmPSJodHRwczovL3d3 dy5mbG9jMjYub3JnL3JlZ2lzdHJhdGlvbiIgdGl0bGU9Imh0dHBzOi8vd3d3LmZsb2MyNi5vcmcv cmVnaXN0cmF0aW9uIiBpZD0iT1dBNjk3NTExMDUtNzE1NS1lZDhiLTgxNWMtNDIyY2EyZWY1MzIx IiBjbGFzcz0iT1dBQXV0b0xpbmsiPmh0dHBzOi8vd3d3LmZsb2MyNi5vcmcvcmVnaXN0cmF0aW9u PC9hPjwvZGl2Pg0KPGRpdiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiIHN0eWxlPSJmb250LWZhbWls eTogQXB0b3MsIEFwdG9zX0VtYmVkZGVkRm9udCwgQXB0b3NfTVNGb250U2VydmljZSwgQ2FsaWJy aSwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwg MCwgMCk7Ij4NCjxicj4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiIHN0eWxl PSJmb250LWZhbWlseTogQXB0b3MsIEFwdG9zX0VtYmVkZGVkRm9udCwgQXB0b3NfTVNGb250U2Vy dmljZSwgQ2FsaWJyaSwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNv bG9yOiByZ2IoMCwgMCwgMCk7Ij4NCklOVklURUQgVEFMS1M8L2Rpdj4NCjxkaXYgY2xhc3M9ImVs ZW1lbnRUb1Byb29mIiBzdHlsZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZv bnQsIEFwdG9zX01TRm9udFNlcnZpY2UsIENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsg Zm9udC1zaXplOiAxMnB0OyBjb2xvcjogcmdiKDAsIDAsIDApOyI+DQo8YnI+DQo8L2Rpdj4NCjxk aXYgY2xhc3M9ImVsZW1lbnRUb1Byb29mIiBzdHlsZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRv c19FbWJlZGRlZEZvbnQsIEFwdG9zX01TRm9udFNlcnZpY2UsIENhbGlicmksIEhlbHZldGljYSwg c2Fucy1zZXJpZjsgZm9udC1zaXplOiAxMnB0OyBjb2xvcjogcmdiKDAsIDAsIDApOyI+DQotIEN5 bnRoaWEgS29wLCBSYWRib3VkIFVuaXZlcmlzdHkgTmlqbWVnZW48L2Rpdj4NCjxkaXYgY2xhc3M9 ImVsZW1lbnRUb1Byb29mIiBzdHlsZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRl ZEZvbnQsIEFwdG9zX01TRm9udFNlcnZpY2UsIENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJp ZjsgZm9udC1zaXplOiAxMnB0OyBjb2xvcjogcmdiKDAsIDAsIDApOyI+DQotIFRoaWJhdWx0IERh cmRpbmllciwgTmV3IFlvcmsgVW5pdmVyc2l0eTwvZGl2Pg0KPGRpdiBjbGFzcz0iZWxlbWVudFRv UHJvb2YiIHN0eWxlPSJmb250LWZhbWlseTogQXB0b3MsIEFwdG9zX0VtYmVkZGVkRm9udCwgQXB0 b3NfTVNGb250U2VydmljZSwgQ2FsaWJyaSwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNp emU6IDEycHQ7IGNvbG9yOiByZ2IoMCwgMCwgMCk7Ij4NCjxicj4NCjwvZGl2Pg0KPGRpdiBjbGFz cz0iZWxlbWVudFRvUHJvb2YiIHN0eWxlPSJmb250LWZhbWlseTogQXB0b3MsIEFwdG9zX0VtYmVk ZGVkRm9udCwgQXB0b3NfTVNGb250U2VydmljZSwgQ2FsaWJyaSwgSGVsdmV0aWNhLCBzYW5zLXNl cmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwgMCwgMCk7Ij4NCkFDQ0VQVEVEIFBB UEVSUzwvZGl2Pg0KPGRpdiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiIHN0eWxlPSJmb250LWZhbWls eTogQXB0b3MsIEFwdG9zX0VtYmVkZGVkRm9udCwgQXB0b3NfTVNGb250U2VydmljZSwgQ2FsaWJy aSwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwg MCwgMCk7Ij4NCjxicj4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiIHN0eWxl PSJmb250LWZhbWlseTogQXB0b3MsIEFwdG9zX0VtYmVkZGVkRm9udCwgQXB0b3NfTVNGb250U2Vy dmljZSwgQ2FsaWJyaSwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNv bG9yOiByZ2IoMCwgMCwgMCk7Ij4NCi0gRGlmZmVyZW50aWFsIFZlcmlmaWNhdGlvbiBvZiBOZXVy YWwgTmV0d29ya3M6IFRoZW9yeSBhbmQgQXBwbGljYXRpb25zIGJ5IFNhbXVlbCBUZXViZXIgYW5k IFBoaWxpcHAgS2VybjwvZGl2Pg0KPGRpdiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiIHN0eWxlPSJm b250LWZhbWlseTogQXB0b3MsIEFwdG9zX0VtYmVkZGVkRm9udCwgQXB0b3NfTVNGb250U2Vydmlj ZSwgQ2FsaWJyaSwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9y OiByZ2IoMCwgMCwgMCk7Ij4NCi0gSW50ZXJhY3Rpb24gRXF1aXZhbGVuY2UgYnkgQmVuaWFtaW5v IEFjY2F0dG9saSwgQWRyaWVubmUgTGFuY2Vsb3QsIEdpdWxpbyBNYW56b25ldHRvIGFuZCBHYWJy aWVsZSBWYW5vbmk8L2Rpdj4NCjxkaXYgY2xhc3M9ImVsZW1lbnRUb1Byb29mIiBzdHlsZT0iZm9u dC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZvbnQsIEFwdG9zX01TRm9udFNlcnZpY2Us IENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1zaXplOiAxMnB0OyBjb2xvcjog cmdiKDAsIDAsIDApOyI+DQotIFByb2Nlc3MgRXF1aXZhbGVuY2UgQ2hlY2tpbmcgYXMgQWJzdHJh Y3QgSW50ZXJwcmV0YXRpb24gYnkgQmVuamFtaW4gQmlzcGluZzwvZGl2Pg0KPGRpdiBjbGFzcz0i ZWxlbWVudFRvUHJvb2YiIHN0eWxlPSJmb250LWZhbWlseTogQXB0b3MsIEFwdG9zX0VtYmVkZGVk Rm9udCwgQXB0b3NfTVNGb250U2VydmljZSwgQ2FsaWJyaSwgSGVsdmV0aWNhLCBzYW5zLXNlcmlm OyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwgMCwgMCk7Ij4NCi0gUHJvdmluZyBQcm9n cmFtIEVxdWl2YWxlbmNlIGluIERhZm55IGJ5IE5hdGhhbmllbCBWaWN0b3IsIERyYWdhbmEgTWls b3ZhbmNldmljIGFuZCBTb3BoaWEgRHJvc3NvcG91bG91PC9kaXY+DQo8ZGl2IGNsYXNzPSJlbGVt ZW50VG9Qcm9vZiIgc3R5bGU9ImZvbnQtZmFtaWx5OiBBcHRvcywgQXB0b3NfRW1iZWRkZWRGb250 LCBBcHRvc19NU0ZvbnRTZXJ2aWNlLCBDYWxpYnJpLCBIZWx2ZXRpY2EsIHNhbnMtc2VyaWY7IGZv bnQtc2l6ZTogMTJwdDsgY29sb3I6IHJnYigwLCAwLCAwKTsiPg0KLSBSZWZ1dGluZyBFcXVpdmFs ZW5jZSBpbiBQcm9iYWJpbGlzdGljIFByb2dyYW1zIHdpdGggQ29uZGl0aW9uaW5nIGJ5IEtyaXNo bmVuZHUgQ2hhdHRlcmplZSwgRWhzYW4gLSBLYWZzaGRhciBHb2hhcnNoYWR5LCBQZXRyIE5vdm90 bsO9IGFuZCDEkG9yxJFlIMW9aWtlbGnEhzwvZGl2Pg0KPGRpdiBjbGFzcz0iZWxlbWVudFRvUHJv b2YiIHN0eWxlPSJmb250LWZhbWlseTogQXB0b3MsIEFwdG9zX0VtYmVkZGVkRm9udCwgQXB0b3Nf TVNGb250U2VydmljZSwgQ2FsaWJyaSwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6 IDEycHQ7IGNvbG9yOiByZ2IoMCwgMCwgMCk7Ij4NCi0gU2VtYW50aWMgRm91bmRhdGlvbnMgZm9y IHRoZSBTdGF0aWMgQW5hbHlzaXMgb2YgUHJvZ3JhbSBSZXZpc2lvbnMgYnkgRGFrb3RhIEJyeWFu IGFuZCBCb3ItWXVoIEV2YW4gQ2hhbmc8L2Rpdj4NCjxkaXYgY2xhc3M9ImVsZW1lbnRUb1Byb29m IiBzdHlsZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZvbnQsIEFwdG9zX01T Rm9udFNlcnZpY2UsIENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1zaXplOiAx MnB0OyBjb2xvcjogcmdiKDAsIDAsIDApOyI+DQotIFNlbWFudGljYWxseSBEZXNjcmlwdGl2ZSBT aW1pbGFyaXR5IGJ5IE9za2FyIEhvdm3DuGxsZXIgRGluZXNlbiBhbmQgQ2hyaXN0aWFuIEdyYW0g S2FsaGF1Z2U8L2Rpdj4NCjxkaXYgY2xhc3M9ImVsZW1lbnRUb1Byb29mIiBzdHlsZT0iZm9udC1m YW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZvbnQsIEFwdG9zX01TRm9udFNlcnZpY2UsIENh bGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1zaXplOiAxMnB0OyBjb2xvcjogcmdi KDAsIDAsIDApOyI+DQo8YnI+DQo8L2Rpdj4NCjxkaXYgY2xhc3M9ImVsZW1lbnRUb1Byb29mIiBz dHlsZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZvbnQsIEFwdG9zX01TRm9u dFNlcnZpY2UsIENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1zaXplOiAxMnB0 OyBjb2xvcjogcmdiKDAsIDAsIDApOyI+DQpQUk9HUkFNIENPTU1JVFRFRTwvZGl2Pg0KPGRpdiBj bGFzcz0iZWxlbWVudFRvUHJvb2YiIHN0eWxlPSJmb250LWZhbWlseTogQXB0b3MsIEFwdG9zX0Vt YmVkZGVkRm9udCwgQXB0b3NfTVNGb250U2VydmljZSwgQ2FsaWJyaSwgSGVsdmV0aWNhLCBzYW5z LXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwgMCwgMCk7Ij4NCjxicj4NCjwv ZGl2Pg0KPGRpdiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiIHN0eWxlPSJmb250LWZhbWlseTogQXB0 b3MsIEFwdG9zX0VtYmVkZGVkRm9udCwgQXB0b3NfTVNGb250U2VydmljZSwgQ2FsaWJyaSwgSGVs dmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwgMCwgMCk7 Ij4NCkRyYWdhbmEgTWlsb3ZhbmNldmljIChDby1jaGFpciksIEltcGVyaWFsIENvbGxlZ2UgTG9u ZG9uLCBVSzwvZGl2Pg0KPGRpdiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiIHN0eWxlPSJmb250LWZh bWlseTogQXB0b3MsIEFwdG9zX0VtYmVkZGVkRm9udCwgQXB0b3NfTVNGb250U2VydmljZSwgQ2Fs aWJyaSwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2Io MCwgMCwgMCk7Ij4NCk1hdHRpYXMgVWxicmljaCAoQ28tY2hhaXIpLCBLYXJsc3J1aGUgSW5zdGl0 dXRlIG9mIFRlY2hub2xvZ3ksIEdlcm1hbnk8L2Rpdj4NCjxkaXYgY2xhc3M9ImVsZW1lbnRUb1By b29mIiBzdHlsZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZvbnQsIEFwdG9z X01TRm9udFNlcnZpY2UsIENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1zaXpl OiAxMnB0OyBjb2xvcjogcmdiKDAsIDAsIDApOyI+DQpBbmRyemVqIE11cmF3c2tpLCBVbml2ZXJz aXR5IG9mIE94Zm9yZCwgVUs8L2Rpdj4NCjxkaXYgY2xhc3M9ImVsZW1lbnRUb1Byb29mIiBzdHls ZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZvbnQsIEFwdG9zX01TRm9udFNl cnZpY2UsIENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1zaXplOiAxMnB0OyBj b2xvcjogcmdiKDAsIDAsIDApOyI+DQpDYXJzdGVuIEZ1aHMsIEJpcmtiZWNrIFVuaXZlcnNpdHkg b2YgTG9uZG9uLCBVSzwvZGl2Pg0KPGRpdiBjbGFzcz0iZWxlbWVudFRvUHJvb2YiIHN0eWxlPSJm b250LWZhbWlseTogQXB0b3MsIEFwdG9zX0VtYmVkZGVkRm9udCwgQXB0b3NfTVNGb250U2Vydmlj ZSwgQ2FsaWJyaSwgSGVsdmV0aWNhLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDEycHQ7IGNvbG9y OiByZ2IoMCwgMCwgMCk7Ij4NCkRlbnlzIFNoYWJhbGluLCBHb29nbGUsIFN3aXR6ZXJsYW5kPC9k aXY+DQo8ZGl2IGNsYXNzPSJlbGVtZW50VG9Qcm9vZiIgc3R5bGU9ImZvbnQtZmFtaWx5OiBBcHRv cywgQXB0b3NfRW1iZWRkZWRGb250LCBBcHRvc19NU0ZvbnRTZXJ2aWNlLCBDYWxpYnJpLCBIZWx2 ZXRpY2EsIHNhbnMtc2VyaWY7IGZvbnQtc2l6ZTogMTJwdDsgY29sb3I6IHJnYigwLCAwLCAwKTsi Pg0KTmlrb3MgVHpldmVsZWtvcywgUXVlZW4gTWFyeSBVbml2ZXJzaXR5IG9mIExvbmRvbiwgVUs8 L2Rpdj4NCjxkaXYgY2xhc3M9ImVsZW1lbnRUb1Byb29mIiBzdHlsZT0iZm9udC1mYW1pbHk6IEFw dG9zLCBBcHRvc19FbWJlZGRlZEZvbnQsIEFwdG9zX01TRm9udFNlcnZpY2UsIENhbGlicmksIEhl bHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1zaXplOiAxMnB0OyBjb2xvcjogcmdiKDAsIDAsIDAp OyI+DQpPZmVyIFN0cmljaG1hbiwgVGVjaG5pb24sIElzcmFlbDwvZGl2Pg0KPGRpdiBjbGFzcz0i ZWxlbWVudFRvUHJvb2YiIHN0eWxlPSJmb250LWZhbWlseTogQXB0b3MsIEFwdG9zX0VtYmVkZGVk Rm9udCwgQXB0b3NfTVNGb250U2VydmljZSwgQ2FsaWJyaSwgSGVsdmV0aWNhLCBzYW5zLXNlcmlm OyBmb250LXNpemU6IDEycHQ7IGNvbG9yOiByZ2IoMCwgMCwgMCk7Ij4NClNvdW15YWRpcCBCYW5k eW9wYWRoeWF5LCBBQkIgQ29ycG9yYXRlIFJlc2VhcmNoLCBJbmRpYTwvZGl2Pg0KPGRpdiBzdHls ZT0iZm9udC1mYW1pbHk6IEFwdG9zLCBBcHRvc19FbWJlZGRlZEZvbnQsIEFwdG9zX01TRm9udFNl cnZpY2UsIENhbGlicmksIEhlbHZldGljYSwgc2Fucy1zZXJpZjsgZm9udC1zaXplOiAxMnB0OyBj b2xvcjogcmdiKDAsIDAsIDApOyI+DQpWYXNpbGVpb3MgS291dGF2YXMsIFRyaW5pdHkgQ29sbGVn ZSBEdWJsaW4sIElyZWxhbmQ8L2Rpdj4NCjwvYm9keT4NCjwvaHRtbD4NCg== --_000_LOCP265MB8611FF8E6231DA654871034EB5152LOCP265MB8611GBRP_--