cz.cuni.mff.d3s.spl.visualization.favicon.ico Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of spl-evaluation-java Show documentation
Show all versions of spl-evaluation-java Show documentation
Stochastice Performance Logic is a formalism for capturing performance
assumptions. It is, for example, possible to capture assumption that
newer version of a function bar is faster than the previous version or
that library foobar is faster than library barfoo when rendering
antialiased text.
The purpose of this framework is to allow evaluation of SPL formulas
inside Java applications.
h F ? ? ? 6 @@ (B ? ( """J"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""J"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?&&#???J???I???D?.,%?.,%???D???I???I?&&#?"""?"""?"""?"""?"""?"""?XO2?tg:?"""?A<+???L???L?A<+?"""?tg:?XO2?"""?"""?"""?"""?"""?"""?^U4?f\6?"""?-+%???M???K?,+%?"""?f\6?^U4?"""?"""?"""?"""?"""?"""?F@,???H?q=???P???P???P???P?q=???I?D?,?"""?"""?"""?"""?+)$???B???J?ȯR??v???s>?"""?"""??s>??u>?ʱS???J???B?+)$?"""?"""???I?F@,?"""???C???L?0.&?ٽW?ٽW?0.&???N???C?"""?F@,???I?"""?"""???K?"""?"""?i_7???H?HB-???a???a?HB-???J?i_7?"""?"""???K?"""?"""?f\6???H?IC-???I???E?@;+?i_7?j_7?@;+???F???J?IC-???H?f\6?"""?"""?"""?30'??{@?ԹV???K?ϴT??}A??}A?ϴT???K?ֻV??y@?30'?"""?"""?"""?"""?"""?UM1?sg9?"""?\S3???I???I?\S3?"""?tg:?UM1?"""?"""?"""?"""?"""?"""?bX5?e[6?"""?"""???K???K?"""?"""?e[6?bX5?"""?"""?"""?"""?"""?"""?>:*???H?GB-???E?od8?od8???E?GB-???H?>:*?"""?"""?"""?"""?"""?"""?"""?XP2??r=?;7)?"""?"""?;7)??r=?XP2?"""?"""?"""?"""?"""I"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""I? ? ( 0 """"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?""""""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""??}A???\???Y???C?,+%?"""?"""?,+%???C???Y???\??}A?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?KE.?δT?('$?.,%??~A?ٽW?IC-?IC-?ؼW??~A?.,%?('$?δT?KE.?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?}o?q=?"""?"""?"""?B=+???[???[?C>,?"""?"""?"""??t>??t>?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?od8???D?"""?"""?-+%?ؼW?dZ5?dZ5?ؼW?-+%?"""?"""???D?od8?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?NH/?պV???B???M?ܿX???_???\???\???_?ܿX???M???B?պV?NH/?"""?"""?"""?"""?"""?"""?"""?"""?IC-???L???Z???^??u>??}A?ʰS?%$#?"""?"""?%$#?ʰS??}A??u>???^???Z???L?IC-?"""?"""?"""?"""?"""??v??պV?h]6?%$#???G?tg:?W?HB-?'&#?wj;?wj;?'&#?HB-?W?tg:???G?%$#?h]6?ԹV??v??"""?"""?"""?[R3?̲S?*($?"""?"""?LE.???^???I?"""???I???a???a???I?"""???I???^?LE.?"""?"""?)($?̲S?[R3?"""?"""??w???y@?"""?"""?"""?$#"???\?aW4?"""?ۿX???a???a?ۿX?"""?aW4???\?$#"?"""?"""?"""??y@??v??"""?"""?A=+?ھW?F@,?"""?"""?dZ5?ؼW?êQ?"""??v????a???a??v??"""?êQ?W?dZ5?"""?"""?E@,?ھW?A<+?"""?"""?"""?UM1?ܿX???F?GB-???L?]T3???P?e[6?"""?E@,?E@,?"""?dZ5???O?^U3???L?HB-???F?ۿX?UM1?"""?"""?"""?"""?"""?)($?zl;?ɯR???a???L???I???Z?^U3?UM1?UM1?]T3???Z???I???L???a?ɯR?zl;?)($?"""?"""?"""?"""?"""?"""?"""?"""?PI/???P?ZR2??q=???K???_???L???L???_???K??q=?ZR2???P?SK0?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?ui:??B?"""?"""?##"???N??}A??{A???N?##"?"""?"""???B?ui:?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""??w??{n?*($?"""?"""?"""?"""?*($??s>?ҷU???_?ֺV?[R3?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?52'???]???C?SL0?|n???]???[??t>?"""?*($???Z??z@???^?^U4?"""?"""?/-&???I???^?D?,?"""?"""?"""?"""?ɯR???G?"""?"""?"""?"""?$#"???X???a?yl;?"""?WO1???a???a???a???a?VN1?"""?xk;???a???X?$#"?"""?"""?"""?"""???G?ȯR?"""?"""?"""?"""???_?TM1?"""?"""?"""?"""?"""???D???_?)($?"""??u>???a???a???a???a??u>?"""?)($???_???D?"""?"""?"""?"""?"""?VN1???_?"""?"""?"""?"""?ɯR???G?"""?"""?"""?"""?$#"???X???a?yl;?"""?WO1???a???a???a???a?VN1?"""?yl;???a???X?$#"?"""?"""?"""?"""???G?ǮR?"""?"""?"""?"""?MG/???^???I?0.&?"""?"""?^U4???^??y@???Z?*($?"""??r=???]???[??r=?"""?*($???Z??y@???^?^U4?"""?"""?0.&???I???^?D?,?"""?"""?"""?"""?"""?A=+?еT???]???D?IC-???I???K?'&#?ۿX???C?"""?"""?"""?"""?"""?"""???C?ۿX?'&#???K???I?IC-???D???]?еT?A=+?"""?"""?"""?"""?"""?"""?"""?##"?e[6?īQ???`???a?ǮR??q=???C???`?LE.?"""?"""?"""?"""?LE.???`???C??q=?ǮR???a???`?īQ?e[6?##"?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?[R3???`???G?ͳT???\???a???a???a???_???_???a???a???a???\?ͳT???G???`?WO1?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?{n,?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?C>,???C?еT???^???`?W??z@?.,%?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?<8*???X???a???a???a???a???a???a???a???M?A<+?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?A<+???M???a???a???a???a???a???a???a???X?<8*?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?%%#?еT???a???a???L?q=??t>???K???^???a???a???`??}A?%%#?"""?"""?"""?"""?"""?"""?%%#??}A???`???a???a???^???K??t>?q=???L???a???a?еT?%%#?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?qe9???a???a?~p=?"""?"""?"""?"""?,+%??x????^???a???a?˲S?:6)?"""?"""?"""?"""?:6)?˲S???a???a???^??y@?,+%?"""?"""?"""?"""??q=???a???a?od8?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?ªP???a?ѷU?##"?"""?"""?"""?"""?"""?"""?;7)???P???a???a???\?QJ0?"""?"""?QJ0???\???a???a???P?<8)?"""?"""?"""?"""?"""?"""?##"?ѷU???a?ªP?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?&&#???_???a??t>?"""?"""?"""?"""?"""?"""?"""?"""?##"??s>???`???a???_?cY5?dZ5???_???a???`??s>?##"?"""?"""?"""?"""?"""?"""?"""?"""??t>???a???_?&&#?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?A=+???a???a?VN1?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?cY5???^???a???`???`???a???^?cY5?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?WO1???a???a?B=+?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?UM1???a???a??;*?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?LE.???\???a???a???\?MF.?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?@;+???a???a?UM1?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?\S3???a???a?<8)?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?ZR2???`???a???a???`?ZR2?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?<8)???a???a?ZR2?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?UM1???a???a?C>,?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?E@,???]???a???]???]???a???]?F@,?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?C>,???a???a?UM1?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?E@,???a???a?QJ0?"""?"""?"""?"""?"""?"""?"""?"""?"""?/-&???X???a???`?ZR2?ZR2???`???a???X?/-&?"""?"""?"""?"""?"""?"""?"""?"""?"""?SK0???a???a?E@,?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?-+%???a???a?la7?"""?"""?"""?"""?"""?"""?"""?"""?##"???O???a???a?od8?"""?"""?od8???a???a???O?##"?"""?"""?"""?"""?"""?"""?"""?"""?ma8???a???a?-+%?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""???\???a??~B?"""?"""?"""?"""?"""?"""?"""?"""??u>???a???a???E?"""?"""?"""?"""???E???a???a??v??"""?"""?"""?"""?"""?"""?"""?"""??~B???a???\?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""???P???a???N?"""?"""?"""?"""?"""?"""?30'?^U4???`???a???]??u>??x???x???x???x???u>???]???a???`?^U4?30'?"""?"""?"""?"""?"""?"""???N???a???P?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""???C???a???\?:6)?g\6??}A???L?ԹV???^???a???a???a???a???a???a???a???a???a???a???a???a???a???a???a???a???^?ԹV???L??}A?g\6?:6)???\???a???C?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?0.&???D???a???a???a???a???a???a???a???a???a???a???a???a???a???]???]???]???]???]???]???a???a???a???a???a???a???a???a???a???a???a???a???a???D?0.&?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?&&#?i_7???N???_???a???a???a???a???a???^?ŭQ???H???M???a???a???I?0.&?"""?"""?"""?"""?"""?"""?"""?"""?0.&???I???a???a???M???H?ŭQ???^???a???a???a???a???a???_???N?i_7?&&#?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?*($??w????Z???a???a???a???a???`???a?ۿX?F@,?$#"?"""?%%#?ӸU???a???[?0.&?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?0.&???[???a?ӸU?%%#?"""?$#"?F@,?ۿX???a???`???a???a???a???a???Z??w??*($?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?oc8???[???a???a???a?ٽW???C?MG/??r=???a???`?52'?"""?"""??w????a???a?nb8?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?ma8???a???a??v??"""?"""?52'???`???a??s>?MG/???C?ٽW???a???a???a???[?nb8?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?+*%???L???a???a???a???N?XP2?"""?"""?"""?;7)???a???a?~p=?"""?85(???^???a???P?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""???P???a???^?85(?"""?~p=???a???a?;7)?"""?"""?##"?aW4?īQ???a???a???a???L?+*%?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?0.&?ϴT???a???a?ѷU?RJ0?"""?"""?"""?"""?"""?"""?īQ???a?ϴT?"""???I???a???`?A=+?"""?"""?"""?"""?i^7?ɯR???_???_?ɯR?i_7?"""?"""?"""?"""?A<+???_???a???I?"""?δT???a?ŬQ?"""?"""?"""?"""?"""?"""?SL0?жU???a???a?ϴT?/-&?"""?"""?"""?"""?"""?"""?"""?"""?"""?##"???P???a???a???F?&&#?"""?"""?"""?"""?"""?"""?"""?qe9???a???a?rf9???`???a???E?"""?"""?"""?"""???E???a???a???a???a???a???a???E?"""?"""?"""?"""???E???a???`?rf9???a???a?tg:?"""?"""?"""?"""?"""?"""?"""?%%#???F???a???a???P?##"?"""?"""?"""?"""?"""?"""?"""?"""?nb8???a???a???C?"""?"""?"""?"""?"""?"""?"""?"""?"""?'&#???[???a???`???a???]?1/&?"""?"""?"""?g\6???a???a???a???a???a???a???a???a?h]6?"""?"""?"""?1/&???]???a???`???a???]?*($?"""?"""?"""?"""?"""?"""?"""?"""?"""???C???a???a?oc8?"""?"""?"""?"""?"""?"""?"""?"""?īQ???a?ҷU?%$#?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""???B???a???a???a??{A?"""?"""?"""?"""?ǮR???a???a???a???a???a???a???a???a?ǮR?"""?"""?"""?"""??{A???a???a???a???F?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?%$#?ҷU???a?êQ?"""?"""?"""?"""?"""?"""?"""?"""???]???a??y@?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?74(???`???a???]?.,%?"""?"""?"""?"""???_???a???a???a???a???a???a???a???a???_?"""?"""?"""?"""?.,%???]???a???`?=9*?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""??y@???a???^?"""?"""?"""?"""?"""?"""?"""?"""???]???a??y@?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?74(???`???a???]?.,%?"""?"""?"""?"""???_???a???a???a???a???a???a???a???a???_?"""?"""?"""?"""?.,%???]???a???`?>:*?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""??y@???a???^?"""?"""?"""?"""?"""?"""?"""?"""?ªP???a?ҷU?%$#?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""???B???a???a???a??{A?"""?"""?"""?"""?ǮR???a???a???a???a???a???a???a???a?ǮR?"""?"""?"""?"""??{A???a???a???a???F?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?%$#?ҷU???a?êQ?"""?"""?"""?"""?"""?"""?"""?"""?nb8???a???a???C?"""?"""?"""?"""?"""?"""?"""?"""?"""?'&#???\???a???`???a???]?1/&?"""?"""?"""?f\6???a???a???a???a???a???a???a???a?g\6?"""?"""?"""?1/&???]???a???`???a???]?*($?"""?"""?"""?"""?"""?"""?"""?"""?"""???C???a???a?nb8?"""?"""?"""?"""?"""?"""?"""?"""?##"???P???a???a???F?&&#?"""?"""?"""?"""?"""?"""?"""?qe9???a???a?oc8???`???a???E?"""?"""?"""?"""???E???a???a???a???a???a???a???E?"""?"""?"""?"""???E???a???`?nb8???a???a?sg9?"""?"""?"""?"""?"""?"""?"""?&&#???F???a???a???P?##"?"""?"""?"""?"""?"""?"""?"""?"""?"""?/-&?ϴT???a???a?ҷU?RJ0?"""?"""?"""?"""?"""?"""?ŬQ???a?δT?"""???I???a???_?A<+?"""?"""?"""?"""?h]6?ɯR???_???_?ɯR?h]6?"""?"""?"""?"""?A<+???_???a???I?"""?ͳT???a?īQ?"""?"""?"""?"""?"""?"""?SL0?ҷU???a???a?ϴT?/-&?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?+*%???L???a???a???a???N?XP2?"""?"""?"""?;7)???a???a?~p=?"""?85(???^???a???P?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""???P???a???^?85(?"""?~p=???a???a?;7)?"""?"""?##"?aW4?īQ???a???a???a???L?+*%?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?oc8???[???a???a???a?ٽW???C?MG/??r=???a???`?52'?"""?"""??v????a???a?nb8?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?nb8???a???a??v??"""?"""?52'???`???a??s>?MG/???C?ٽW???a???a???a???[?nb8?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?*($??v????Z???a???a???a???a???`???a?ܿX?GA-?%$#?"""?%%#?ӸU???a???[?0.&?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?0.&???[???a?ӸU?%%#?"""?%$#?GA-?ܿX???a???`???a???a???a???a???Z??v??*($?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?&&#?i_7???N???_???a???a???a???a???a???^?ƭR???H???M???a???a???I?0.&?"""?"""?"""?"""?"""?"""?"""?"""?0.&???I???a???a???M???H?ƭR???^???a???a???a???a???a???_???N?i_7?&&#?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?0.&???D???a???a???a???a???a???a???a???a???a???a???a???a???a???]???]???]???]???]???]???a???a???a???a???a???a???a???a???a???a???a???a???a???D?0.&?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""???C???a???\?95)?g\6??}A???L?ӸU???^???a???a???a???a???a???a???a???a???a???a???a???a???a???a???a???a???^?ӸU???L??}A?g\6?95)???\???a???C?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""???P???a???N?"""?"""?"""?"""?"""?"""?20'?]T3???`???a???]??s>??x???x???x???x???s>???]???a???`?^U3?20'?"""?"""?"""?"""?"""?"""???N???a???P?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""???\???a??~B?"""?"""?"""?"""?"""?"""?"""?"""??u>???a???a???E?"""?"""?"""?"""???E???a???a??u>?"""?"""?"""?"""?"""?"""?"""?"""??~B???a???\?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?-+%???a???a?la7?"""?"""?"""?"""?"""?"""?"""?"""?##"???O???a???a?pd9?"""?"""?od8???a???a???O?##"?"""?"""?"""?"""?"""?"""?"""?"""?ma8???a???a?-+%?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?E@,???a???a?QJ0?"""?"""?"""?"""?"""?"""?"""?"""?"""?/-&???X???a???`?ZR2?ZR2???`???a???X?/-&?"""?"""?"""?"""?"""?"""?"""?"""?"""?SK0???a???a?E@,?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?UM1???a???a?C>,?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?A=+???]???a???]???]???a???]?F@,?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?C>,???a???a?UM1?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?\S3???a???a?<8)?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?ZR2???_???a???a???`?ZR2?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?<8)???a???a?ZR2?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?UM1???a???a?@;+?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?MG/???\???a???a???\?MG/?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""??;*???a???a?UM1?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?A<+???a???a?WO1?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?dZ5???^???a???`???`???a???^?dZ5?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?VN1???a???a?B=+?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?&&#???_???a??t>?"""?"""?"""?"""?"""?"""?"""?"""?##"??s>???`???a???_?cY5?cY5???_???a???`??t>?##"?"""?"""?"""?"""?"""?"""?"""?"""??t>???a???_?&&#?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""???P???a?ҷU?$#"?"""?"""?"""?"""?"""?"""?<8*?ªP???a???a???\?QJ0?"""?"""?QJ0???\???a???a?êQ?<8*?"""?"""?"""?"""?"""?"""?##"?ѷU???a?ªP?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?od8???a???a??r=?"""?"""?"""?"""?,+%??y@???^???a???a?˲S?95)?"""?"""?"""?"""?95)?˲S???a???a???^??y@?-+%?"""?"""?"""?"""??q=???a???a?od8?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?%%#?еT???a???a???L?q=??u>???K???^???a???a???`??}A?%%#?"""?"""?"""?"""?"""?"""?%%#??}A???`???a???a???^???L??u>?q=???L???a???a?еT?%%#?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?<8*???X???a???a???a???a???a???a???a???M?A<+?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?A<+???M???a???a???a???a???a???a???a???X?<8*?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?-+%??y@?W???`???^?̲S???C?C>,?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?C>,???C?̲S???^???`?W??y@?-+%?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""+"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""+ """?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""? """"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?""" """"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?""" """*"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""?"""* ? ? ? ? ? ? ? ? ? ?