~/f/ghc-kan-extensions/RPMS.2017 ~/f/ghc-kan-extensions ~/f/ghc-kan-extensions RPMS.2017/ghc-kan-extensions-devel-5.2.5-0.0.x86_64.rpm RPMS/ghc-kan-extensions-devel-5.2.5-0.0.x86_64.rpm differ: byte 225, line 1 Comparing ghc-kan-extensions-devel-5.2.5-0.0.x86_64.rpm to ghc-kan-extensions-devel-5.2.5-0.0.x86_64.rpm comparing the rpm tags of ghc-kan-extensions-devel --- old-rpm-tags +++ new-rpm-tags @@ -180 +180 @@ -/usr/lib64/ghc-9.4.5/lib/kan-extensions-5.2.5/libHSkan-extensions-5.2.5-1nBOp7PexbvGHkzwfeC2dO.a dbfcfae0ad49ed2f0b3aadac8f7ca184e1b22eb2a14934e95cb5e3a5d9ee67e7 0 +/usr/lib64/ghc-9.4.5/lib/kan-extensions-5.2.5/libHSkan-extensions-5.2.5-1nBOp7PexbvGHkzwfeC2dO.a bf5b244eed63ad90a9c70ca3bd8f1dd760356c10443b5554e707250632c278fa 0 comparing rpmtags comparing RELEASE comparing PROVIDES comparing scripts comparing filelist comparing file checksum creating rename script RPM file checksum differs. Extracting packages Package content is identical RPMS.2017/ghc-kan-extensions-prof-5.2.5-0.0.x86_64.rpm RPMS/ghc-kan-extensions-prof-5.2.5-0.0.x86_64.rpm differ: byte 225, line 1 Comparing ghc-kan-extensions-prof-5.2.5-0.0.x86_64.rpm to ghc-kan-extensions-prof-5.2.5-0.0.x86_64.rpm comparing the rpm tags of ghc-kan-extensions-prof --- old-rpm-tags +++ new-rpm-tags @@ -125 +125 @@ -/usr/lib64/ghc-9.4.5/lib/kan-extensions-5.2.5/libHSkan-extensions-5.2.5-1nBOp7PexbvGHkzwfeC2dO_p.a 70662aea3e184cfaa3d7dbacec177f9ec160b4906f7565cdeb5d3c26df580a23 0 +/usr/lib64/ghc-9.4.5/lib/kan-extensions-5.2.5/libHSkan-extensions-5.2.5-1nBOp7PexbvGHkzwfeC2dO_p.a ea05777f2332fe82318200f043dca4cd3e00560887e54b5730010afe147a785d 0 comparing rpmtags comparing RELEASE comparing PROVIDES comparing scripts comparing filelist comparing file checksum creating rename script RPM file checksum differs. Extracting packages /usr/lib64/ghc-9.4.5/lib/kan-extensions-5.2.5/libHSkan-extensions-5.2.5-1nBOp7PexbvGHkzwfeC2dO_p.a/Codensity.p_o differs in ELF sections --- old /usr/lib64/ghc-9.4.5/lib/kan-extensions-5.2.5/libHSkan-extensions-5.2.5-1nBOp7PexbvGHkzwfeC2dO_p.a/Codensity.p_o (objdump) +++ new /usr/lib64/ghc-9.4.5/lib/kan-extensions-5.2.5/libHSkan-extensions-5.2.5-1nBOp7PexbvGHkzwfeC2dO_p.a/Codensity.p_o (objdump) @@ -2331,443 +2331,443 @@ 01b0 732d352e 322e352d 316e424f 70375065 s-5.2.5-1nBOp7Pe 01c0 78627647 486b7a77 66654332 644f3a43 xbvGHkzwfeC2dO:C 01d0 6f6e7472 6f6c2e4d 6f6e6164 2e436f64 ontrol.Monad.Cod - 01e0 656e7369 74792e73 61745f73 6b51593e ensity.sat_skQY> + 01e0 656e7369 74792e73 61745f73 7752513e ensity.sat_swRQ> 01f0 002d3e2a 003c6b61 6e2d6578 74656e73 .->*..->>Codensity + 0230 436f6465 6e736974 792e7361 745f7377 Codensity.sat_sw + 0240 52523e00 2d3e3e43 6f64656e 73697479 RR>.->>Codensity 0250 003c6b61 6e2d6578 74656e73 696f6e73 ..->*..->*..->>->*. + 0300 61745f73 7752573e 002d3e3e 2d3e2a00 at_swRW>.->>->*. 0310 3c6b616e 2d657874 656e7369 6f6e732d .* + 0360 64656e73 69747931 5f727752 393e002a density1_rwR9>.* 0370 003c6b61 6e2d6578 74656e73 696f6e73 .. + 03b0 6e736974 792e7361 745f7377 53323e00 nsity.sat_swS2>. 03c0 2d3e2a00 3c6b616e 2d657874 656e7369 ->*..->*..->*..->>Codensi + 0460 73775334 3e002d3e 3e436f64 656e7369 swS4>.->>Codensi 0470 7479003c 6b616e2d 65787465 6e73696f ty._rkQp>.->Cod + 04d0 633c2a3e 5f727752 683e002d 3e436f64 c<*>_rwRh>.->Cod 04e0 656e7369 7479003c 6b616e2d 65787465 ensity.. + 0540 74795f24 63707572 655f7277 52693e00 ty_$cpure_rwRi>. 0550 2d3e2a00 3c6b616e 2d657874 656e7369 ->*..->*..->*..->>->*..->>->*. + 0650 436f6465 6e736974 79325f72 7752663e Codensity2_rwRf> 0660 002d3e2a 003c6b61 6e2d6578 74656e73 .->*..*..*..->*..->*..->*..->*..->>>-> + 07a0 7361745f 7377536e 3e002d3e 3e3e2d3e sat_swSn>.->>>-> 07b0 2a003c6b 616e2d65 7874656e 73696f6e *..->*..->*..->*..->*..->>-> + 08b0 2e736174 5f737753 753e002d 3e3e2d3e .sat_swSu>.->>-> 08c0 2a003c6b 616e2d65 7874656e 73696f6e *..->*..->*..->*..->*..->>- + 09c0 792e7361 745f7377 53423e00 2d3e3e2d y.sat_swSB>.->>- 09d0 3e2a003c 6b616e2d 65787465 6e73696f >*.. + 0a20 6f64656e 73697479 315f7277 526a3e00 odensity1_rwRj>. 0a30 2d3e436f 64656e73 69747900 3c6b616e ->Codensity..->*..->*..->*..->*..->Codensi + 0b40 5f737753 4a3e002d 3e436f64 656e7369 _swSJ>.->Codensi 0b50 7479003c 6b616e2d 65787465 6e73696f ty..Monad + 0bb0 6c696674 5f727752 763e004d 6f6e6164 lift_rwRv>.Monad 0bc0 5472616e 73003c6b 616e2d65 7874656e Trans..- + 0540 642e436f 2e736174 5f737355 773e002d d.Co.sat_ssUw>.- 0550 3e3e2a00 3c6b616e 2d657874 656e7369 >>*..->*. + 0590 6f2e7361 745f7373 55783e00 2d3e2a00 o.sat_ssUx>.->*. 05a0 3c6b616e 2d657874 656e7369 6f6e732d .*..*.. + 0620 61642e43 6f2e7361 745f7373 557a3e00 ad.Co.sat_ssUz>. 0630 2d3e2a00 3c6b616e 2d657874 656e7369 ->*..->>- + 0670 6f2e7361 745f7373 55413e00 2d3e3e2d o.sat_ssUA>.->>- 0680 3e2a003c 6b616e2d 65787465 6e73696f >*..->>*..->>*..->*..->*.. + 0760 6f6e6164 2e436f2e 675f7373 55453e00 onad.Co.g_ssUE>. 0770 2a003c6b 616e2d65 7874656e 73696f6e *..->*..->*..->>->*..->>->*..- + 0850 63746f72 436f5431 5f727354 663e002d ctorCoT1_rsTf>.- 0860 3e3e436f 54003c6b 616e2d65 7874656e >>CoT..-> + 08a0 2e436f2e 7361745f 7373554e 3e002d3e .Co.sat_ssUN>.-> 08b0 3e436f54 003c6b61 6e2d6578 74656e73 >CoT..Fun + 08f0 436f2e73 61745f73 73554d3e 0046756e Co.sat_ssUM>.Fun 0900 63746f72 003c6b61 6e2d6578 74656e73 ctor..Functor..Functor..Functor..Functor..Functor.< + 0a00 5f727354 6d3e0046 756e6374 6f72003c _rsTm>.Functor.< 0a10 6b616e2d 65787465 6e73696f 6e732d35 kan-extensions-5 0a20 2e322e35 2d316e42 4f703750 65786276 .2.5-1nBOp7Pexbv 0a30 47486b7a 77666543 32644f3a 436f6e74 GHkzwfeC2dO:Cont 0a40 726f6c2e 4d6f6e61 642e436f 2e736174 rol.Monad.Co.sat - 0a50 5f737076 633e0046 756e6374 6f72003c _spvc>.Functor.< + 0a50 5f737355 523e0046 756e6374 6f72003c _ssUR>.Functor.< 0a60 6b616e2d 65787465 6e73696f 6e732d35 kan-extensions-5 0a70 2e322e35 2d316e42 4f703750 65786276 .2.5-1nBOp7Pexbv 0a80 47486b7a 77666543 32644f3a 436f6e74 GHkzwfeC2dO:Cont 0a90 726f6c2e 4d6f6e61 642e436f 2e246641 rol.Monad.Co.$fA 0aa0 70706c69 63617469 7665436f 545f2463 pplicativeCoT_$c - 0ab0 70314170 706c6963 61746976 655f7270 p1Applicative_rp - 0ac0 63373e00 2d3e2a00 3c6b616e 2d657874 c7>.->*..->*..-> + 0b00 61642e43 6f2e665f 73735556 3e002d3e ad.Co.f_ssUV>.-> 0b10 2a003c6b 616e2d65 7874656e 73696f6e *..->*..->*..->*..->*..*. + 0be0 61642e43 6f2e675f 73735557 3e002a00 ad.Co.g_ssUW>.*. 0bf0 3c6b616e 2d657874 656e7369 6f6e732d .->*..->*..->->*..->->*. + 0cd0 72726f72 65436f54 31375f72 7354493e rroreCoT17_rsTI> 0ce0 004d6f6e 61645472 616e7300 3c6b616e .MonadTrans.. + 0d30 64547261 6e73436f 545f7272 4a373e00 dTransCoT_rrJ7>. 0d40 2a003c6b 616e2d65 7874656e 73696f6e *..Monad. + 0d80 7361745f 73735638 3e004d6f 6e616400 sat_ssV8>.Monad. 0d90 3c6b616e 2d657874 656e7369 6f6e732d .->->*..->->*.. + 0e20 6e616449 4f436f54 315f7273 544a3e00 nadIOCoT1_rsTJ>. 0e30 2a003c6b 616e2d65 7874656e 73696f6e *..Monad. + 0e70 7361745f 73735663 3e004d6f 6e616400 sat_ssVc>.Monad. 0e80 3c6b616e 2d657874 656e7369 6f6e732d .->*..->*..*..-> + 0140 6f796f6e 6564615f 72675a66 3e002d3e oyoneda_rgZf>.-> 0150 2a003c6b 616e2d65 7874656e 73696f6e *..- + 0190 6e656461 2e736174 5f736b47 733e002d neda.sat_skGs>.- 01a0 3e3e436f 796f6e65 6461003c 6b616e2d >>Coyoneda..->* + 0200 2463666d 61705f72 6b44593e 002d3e2a $cfmap_rkDY>.->* 0210 003c6b61 6e2d6578 74656e73 696f6e73 ..-> + 0250 6564612e 7361745f 736b477a 3e002d3e eda.sat_skGz>.-> 0260 3e436f79 6f6e6564 61003c6b 616e2d65 >Coyoneda..*..*..->>Coyo + 0310 61745f73 6b474a3e 002d3e3e 436f796f at_skGJ>.->>Coyo 0320 6e656461 003c6b61 6e2d6578 74656e73 neda..*..*..->>Coyoneda._rp9M>.*._rkEf>.*..->>Co + 0480 2e736174 5f736b48 333e002d 3e3e436f .sat_skH3>.->>Co 0490 796f6e65 6461003c 6b616e2d 65787465 yoneda..*..*..->>Coy + 0540 7361745f 736b4864 3e002d3e 3e436f79 sat_skHd>.->>Coy 0550 6f6e6564 61003c6b 616e2d65 7874656e oneda._rp9G>.MonadT + 05b0 632a3e5f 726b4539 3e004d6f 6e616454 c*>_rkE9>.MonadT 05c0 72616e73 003c6b61 6e2d6578 74656e73 rans..*..*..Coyoneda.. + 06d0 615f2463 6d7a6572 6f5f726b 46393e00 a_$cmzero_rkF9>. 06e0 2d3e2a00 3c6b616e 2d657874 656e7369 ->*. + 0720 796f6e65 64612e73 61745f73 6b48713e yoneda.sat_skHq> 0730 002a003c 6b616e2d 65787465 6e73696f .*.. + 0770 6f6e6564 612e7361 745f736b 48723e00 oneda.sat_skHr>. 0780 2d3e3e43 6f796f6e 65646100 3c6b616e ->>Coyoneda. + 07e0 24636578 74656e64 65645f72 6b45733e $cextended_rkEs> 07f0 002d3e43 6f796f6e 65646100 3c6b616e .->Coyoneda..->>Coyoneda.< + 0850 24636475 706c6963 61746564 5f726b45 $cduplicated_rkE + 0860 743e002d 3e3e436f 796f6e65 6461003c t>.->>Coyoneda.< 0870 6b616e2d 65787465 6e73696f 6e732d35 kan-extensions-5 0880 2e322e35 2d316e42 4f703750 65786276 .2.5-1nBOp7Pexbv 0890 47486b7a 77666543 32644f3a 44617461 GHkzwfeC2dO:Data 08a0 2e46756e 63746f72 2e436f79 6f6e6564 .Functor.Coyoned - 08b0 612e7361 745f7370 6a523e00 2d3e436f a.sat_spjR>.->Co + 08b0 612e7361 745f736b 48763e00 2d3e436f a.sat_skHv>.->Co 08c0 796f6e65 6461003c 6b616e2d 65787465 yoneda..Extend..Extend..->*..->*..*..*..->>Coyoneda + 0a10 6b48463e 002d3e3e 436f796f 6e656461 kHF>.->>Coyoneda 0a20 003c6b61 6e2d6578 74656e73 696f6e73 ..*..*..->*..->*..->C + 0b30 78747261 63745f72 6b456e3e 002d3e43 xtract_rkEn>.->C 0b40 6f796f6e 65646100 3c6b616e 2d657874 oyoneda..-> + 0140 6f796f6e 6564615f 72675a66 3e002d3e oyoneda_rgZf>.-> 0150 2a003c6b 616e2d65 7874656e 73696f6e *..- + 0190 6e656461 2e736174 5f736b47 733e002d neda.sat_skGs>.- 01a0 3e3e436f 796f6e65 6461003c 6b616e2d >>Coyoneda..->* + 0200 2463666d 61705f72 6b44593e 002d3e2a $cfmap_rkDY>.->* 0210 003c6b61 6e2d6578 74656e73 696f6e73 ..-> + 0250 6564612e 7361745f 736b477a 3e002d3e eda.sat_skGz>.-> 0260 3e436f79 6f6e6564 61003c6b 616e2d65 >Coyoneda..*..*..->>Coyo + 0310 61745f73 6b474a3e 002d3e3e 436f796f at_skGJ>.->>Coyo 0320 6e656461 003c6b61 6e2d6578 74656e73 neda..*..*..->>Coyoneda._rp9M>.*._rkEf>.*..->>Co + 0480 2e736174 5f736b48 333e002d 3e3e436f .sat_skH3>.->>Co 0490 796f6e65 6461003c 6b616e2d 65787465 yoneda..*..*..->>Coy + 0540 7361745f 736b4864 3e002d3e 3e436f79 sat_skHd>.->>Coy 0550 6f6e6564 61003c6b 616e2d65 7874656e oneda._rp9G>.MonadT + 05b0 632a3e5f 726b4539 3e004d6f 6e616454 c*>_rkE9>.MonadT 05c0 72616e73 003c6b61 6e2d6578 74656e73 rans..*..*..Coyoneda.. + 06d0 615f2463 6d7a6572 6f5f726b 46393e00 a_$cmzero_rkF9>. 06e0 2d3e2a00 3c6b616e 2d657874 656e7369 ->*. + 0720 796f6e65 64612e73 61745f73 6b48713e yoneda.sat_skHq> 0730 002a003c 6b616e2d 65787465 6e73696f .*.. + 0770 6f6e6564 612e7361 745f736b 48723e00 oneda.sat_skHr>. 0780 2d3e3e43 6f796f6e 65646100 3c6b616e ->>Coyoneda. + 07e0 24636578 74656e64 65645f72 6b45733e $cextended_rkEs> 07f0 002d3e43 6f796f6e 65646100 3c6b616e .->Coyoneda..->>Coyoneda.< + 0850 24636475 706c6963 61746564 5f726b45 $cduplicated_rkE + 0860 743e002d 3e3e436f 796f6e65 6461003c t>.->>Coyoneda.< 0870 6b616e2d 65787465 6e73696f 6e732d35 kan-extensions-5 0880 2e322e35 2d316e42 4f703750 65786276 .2.5-1nBOp7Pexbv 0890 47486b7a 77666543 32644f3a 44617461 GHkzwfeC2dO:Data 08a0 2e46756e 63746f72 2e436f79 6f6e6564 .Functor.Coyoned - 08b0 612e7361 745f7370 6a523e00 2d3e436f a.sat_spjR>.->Co + 08b0 612e7361 745f736b 48763e00 2d3e436f a.sat_skHv>.->Co 08c0 796f6e65 6461003c 6b616e2d 65787465 yoneda..Extend..Extend..->*..->*..*..*..->>Coyoneda + 0a10 6b48463e 002d3e3e 436f796f 6e656461 kHF>.->>Coyoneda 0a20 003c6b61 6e2d6578 74656e73 696f6e73 ..*..*..->*..->*..->C + 0b30 78747261 63745f72 6b456e3e 002d3e43 xtract_rkEn>.->C 0b40 6f796f6e 65646100 3c6b616e 2d657874 oyoneda..->>*..->>*..-> + 0160 6965642e 7361745f 7363666f 3e002d3e ied.sat_scfo>.-> 0170 2a003c6b 616e2d65 7874656e 73696f6e *. + 01b0 43757272 6965642e 67315f73 63666b3e Curried.g1_scfk> 01c0 002a003c 6b616e2d 65787465 6e73696f .*..->*..->*..->>Currie + 0260 5f736366 723e002d 3e3e4375 72726965 _scfr>.->>Currie 0270 64003c6b 616e2d65 7874656e 73696f6e d..->>*.< + 02d0 6d61705f 72636635 3e002d3e 3e2a003c map_rcf5>.->>*.< 02e0 6b616e2d 65787465 6e73696f 6e732d35 kan-extensions-5 02f0 2e322e35 2d316e42 4f703750 65786276 .2.5-1nBOp7Pexbv 0300 47486b7a 77666543 32644f3a 44617461 GHkzwfeC2dO:Data 0310 2e46756e 63746f72 2e446179 2e437572 .Functor.Day.Cur - 0320 72696564 2e736174 5f737064 543e002d ried.sat_spdT>.- + 0320 72696564 2e736174 5f736366 793e002d ried.sat_scfy>.- 0330 3e2a003c 6b616e2d 65787465 6e73696f >*..*..->*..->*..->>->*.< + 0420 745f7363 66423e00 2d3e3e2d 3e2a003c t_scfB>.->>->*.< 0430 6b616e2d 65787465 6e73696f 6e732d35 kan-extensions-5 0440 2e322e35 2d316e42 4f703750 65786276 .2.5-1nBOp7Pexbv 0450 47486b7a 77666543 32644f3a 44617461 GHkzwfeC2dO:Data 0460 2e46756e 63746f72 2e446179 2e437572 .Functor.Day.Cur 0470 72696564 2e246646 756e6374 6f724375 ried.$fFunctorCu - 0480 72726965 64315f72 7064743e 002d3e3e rried1_rpdt>.->> + 0480 72726965 64315f72 6366383e 002d3e3e rried1_rcf8>.->> 0490 43757272 69656400 3c6b616e 2d657874 Curried..->>Curri + 04e0 745f7363 66453e00 2d3e3e43 75727269 t_scfE>.->>Curri 04f0 6564003c 6b616e2d 65787465 6e73696f ed..Functor..Functor..->*..->*..*..*..*.< + 0640 65642e73 61745f73 63664c3e 002a003c ed.sat_scfL>.*.< 0650 6b616e2d 65787465 6e73696f 6e732d35 kan-extensions-5 0660 2e322e35 2d316e42 4f703750 65786276 .2.5-1nBOp7Pexbv 0670 47486b7a 77666543 32644f3a 44617461 GHkzwfeC2dO:Data 0680 2e46756e 63746f72 2e446179 2e437572 .Functor.Day.Cur - 0690 72696564 2e736174 5f737065 373e002d ried.sat_spe7>.- + 0690 72696564 2e736174 5f736366 4d3e002d ried.sat_scfM>.- 06a0 3e2a003c 6b616e2d 65787465 6e73696f >*..->>Curried..->>Curried._r - 0760 7064663e 002d3e2a 003c6b61 6e2d6578 pdf>.->*..->*..->Curri + 07b0 61745f73 6366533e 002d3e43 75727269 at_scfS>.->Curri 07c0 6564003c 6b616e2d 65787465 6e73696f ed..Funct + 0820 70757265 5f726366 363e0046 756e6374 pure_rcf6>.Funct 0830 6f72003c 6b616e2d 65787465 6e73696f or..->>*..->>*..->*.< + 0900 69656432 5f726366 333e002d 3e2a003c ied2_rcf3>.->*.< 0910 6b616e2d 65787465 6e73696f 6e732d35 kan-extensions-5 0920 2e322e35 2d316e42 4f703750 65786276 .2.5-1nBOp7Pexbv 0930 47486b7a 77666543 32644f3a 44617461 GHkzwfeC2dO:Data 0940 2e46756e 63746f72 2e446179 2e437572 .Functor.Day.Cur - 0950 72696564 2e67315f 7370656c 3e002d3e ried.g1_spel>.-> + 0950 72696564 2e67315f 73636730 3e002d3e ried.g1_scg0>.-> 0960 2a003c6b 616e2d65 7874656e 73696f6e *. + 09a0 43757272 6965642e 67325f73 6367313e Curried.g2_scg1> 09b0 002a003c 6b616e2d 65787465 6e73696f .*..*..*..*..*..->*..->*..->->> + 0af0 2e736174 5f736367 363e002d 3e2d3e3e .sat_scg6>.->->> /usr/lib64/ghc-9.4.5/lib/kan-extensions-5.2.5/libHSkan-extensions-5.2.5-1nBOp7PexbvGHkzwfeC2dO_p.a/Day.p_o differs in ELF sections --- old /usr/lib64/ghc-9.4.5/lib/kan-extensions-5.2.5/libHSkan-extensions-5.2.5-1nBOp7PexbvGHkzwfeC2dO_p.a/Day.p_o (objdump) +++ new /usr/lib64/ghc-9.4.5/lib/kan-extensions-5.2.5/libHSkan-extensions-5.2.5-1nBOp7PexbvGHkzwfeC2dO_p.a/Day.p_o (objdump) @@ -899,271 +899,271 @@ 0450 37506578 62764748 6b7a7766 65433264 7PexbvGHkzwfeC2d 0460 4f3a4461 74612e46 756e6374 6f722e49 O:Data.Functor.I 0470 6e766172 69616e74 2e446179 2e736174 nvariant.Day.sat - 0480 5f73774e 733e002d 3e2a003c 6b616e2d _swNs>.->*..->*..*..*.. + 0520 742e4461 792e7361 745f7364 75533e00 t.Day.sat_sduS>. 0530 2d3e2a00 3c6b616e 2d657874 656e7369 ->*..->>*..->>*..->> + 05d0 61792e73 61745f73 6475553e 002d3e3e ay.sat_sduU>.->> 05e0 2d3e3e3e 3e446179 003c6b61 6e2d6578 ->>>>Day..->>>Day.. + 06a0 5f246369 6e766d61 705f7264 75343e00 _$cinvmap_rdu4>. 06b0 496e7661 7269616e 74003c6b 616e2d65 Invariant..->>(,)..->>(,)..->>Day..->>Day..(,). + 07c0 792e6461 795f7264 374d3e00 282c2900 y.day_rd7M>.(,). 07d0 3c6b616e 2d657874 656e7369 6f6e732d + 0810 616e742e 4461792e 64735f73 64766f3e ant.Day.ds_sdvo> 0820 00282c29 003c6b61 6e2d6578 74656e73 .(,)..->(,)..->(,)..* + 08c0 2e446179 2e736174 5f736476 483e002a .Day.sat_sdvH>.* 08d0 003c6b61 6e2d6578 74656e73 696f6e73 ..->>*..->>*..->->>> + 0970 7361745f 7364766d 3e002d3e 2d3e3e3e sat_sdvm>.->->>> 0980 3e3e3e44 6179003c 6b616e2d 65787465 >>>Day..->D + 09d0 77617373 6f635f72 6475673e 002d3e44 wassoc_rdug>.->D 09e0 6179003c 6b616e2d 65787465 6e73696f ay..(,)..(,)..(,). + 0a80 61792e64 735f7364 77393e00 282c2900 ay.ds_sdw9>.(,). 0a90 3c6b616e 2d657874 656e7369 6f6e732d .->(,)..*..*..-> + 0b80 4461792e 7361745f 73647736 3e002d3e Day.sat_sdw6>.-> 0b90 3e2a003c 6b616e2d 65787465 6e73696f >*..->>>>>>>Day + 0be0 6477373e 002d3e3e 3e3e3e3e 3e446179 dw7>.->>>>>>>Day 0bf0 003c6b61 6e2d6578 74656e73 696f6e73 ..->Day. + 0c40 736f635f 72647569 3e002d3e 44617900 soc_rdui>.->Day. 0c50 3c6b616e 2d657874 656e7369 6f6e732d .(,)..(,)..->(, + 0cf0 61792e64 735f7364 774d3e00 2d3e282c ay.ds_sdwM>.->(, 0d00 29003c6b 616e2d65 7874656e 73696f6e )..->>*..->>*..->>>> + 0da0 2e736174 5f736477 4b3e002d 3e3e3e3e .sat_sdwK>.->>>> 0db0 44617900 3c6b616e 2d657874 656e7369 Day..->Da + 0e00 61707065 645f7264 756e3e00 2d3e4461 apped_rdun>.->Da 0e10 79003c6b 616e2d65 7874656e 73696f6e y..->>*..->>*..->*..->*..*..*.. + 0520 742e4461 792e7361 745f7364 75533e00 t.Day.sat_sduS>. 0530 2d3e2a00 3c6b616e 2d657874 656e7369 ->*..->>*..->>*..->> + 05d0 61792e73 61745f73 6475553e 002d3e3e ay.sat_sduU>.->> 05e0 2d3e3e3e 3e446179 003c6b61 6e2d6578 ->>>>Day..->>>Day.. + 06a0 5f246369 6e766d61 705f7264 75343e00 _$cinvmap_rdu4>. 06b0 496e7661 7269616e 74003c6b 616e2d65 Invariant..->>(,)..->>(,)..->>Day..->>Day..(,). + 07c0 792e6461 795f7264 374d3e00 282c2900 y.day_rd7M>.(,). 07d0 3c6b616e 2d657874 656e7369 6f6e732d + 0810 616e742e 4461792e 64735f73 64766f3e ant.Day.ds_sdvo> 0820 00282c29 003c6b61 6e2d6578 74656e73 .(,)..->(,)..->(,)..* + 08c0 2e446179 2e736174 5f736476 483e002a .Day.sat_sdvH>.* 08d0 003c6b61 6e2d6578 74656e73 696f6e73 ..->>*..->>*..->->>> + 0970 7361745f 7364766d 3e002d3e 2d3e3e3e sat_sdvm>.->->>> 0980 3e3e3e44 6179003c 6b616e2d 65787465 >>>Day..->D + 09d0 77617373 6f635f72 6475673e 002d3e44 wassoc_rdug>.->D 09e0 6179003c 6b616e2d 65787465 6e73696f ay..(,)..(,)..(,). + 0a80 61792e64 735f7364 77393e00 282c2900 ay.ds_sdw9>.(,). 0a90 3c6b616e 2d657874 656e7369 6f6e732d .->(,)..*..*..-> + 0b80 4461792e 7361745f 73647736 3e002d3e Day.sat_sdw6>.-> 0b90 3e2a003c 6b616e2d 65787465 6e73696f >*..->>>>>>>Day + 0be0 6477373e 002d3e3e 3e3e3e3e 3e446179 dw7>.->>>>>>>Day 0bf0 003c6b61 6e2d6578 74656e73 696f6e73 ..->Day. + 0c40 736f635f 72647569 3e002d3e 44617900 soc_rdui>.->Day. 0c50 3c6b616e 2d657874 656e7369 6f6e732d .(,)..(,)..->(, + 0cf0 61792e64 735f7364 774d3e00 2d3e282c ay.ds_sdwM>.->(, 0d00 29003c6b 616e2d65 7874656e 73696f6e )..->>*..->>*..->>>> + 0da0 2e736174 5f736477 4b3e002d 3e3e3e3e .sat_sdwK>.->>>> 0db0 44617900 3c6b616e 2d657874 656e7369 Day..->Da + 0e00 61707065 645f7264 756e3e00 2d3e4461 apped_rdun>.->Da 0e10 79003c6b 616e2d65 7874656e 73696f6e y..->>*..->>*..->*..->*..*..*.. + 0520 742e4461 792e7361 745f7364 75533e00 t.Day.sat_sduS>. 0530 2d3e2a00 3c6b616e 2d657874 656e7369 ->*..->>*..->>*..->> + 05d0 61792e73 61745f73 6475553e 002d3e3e ay.sat_sduU>.->> 05e0 2d3e3e3e 3e446179 003c6b61 6e2d6578 ->>>>Day..->>>Day.. + 06a0 5f246369 6e766d61 705f7264 75343e00 _$cinvmap_rdu4>. 06b0 496e7661 7269616e 74003c6b 616e2d65 Invariant..->>(,)..->>(,)..->>Day..->>Day..(,). + 07c0 792e6461 795f7264 374d3e00 282c2900 y.day_rd7M>.(,). 07d0 3c6b616e 2d657874 656e7369 6f6e732d + 0810 616e742e 4461792e 64735f73 64766f3e ant.Day.ds_sdvo> 0820 00282c29 003c6b61 6e2d6578 74656e73 .(,)..->(,)..->(,)..* + 08c0 2e446179 2e736174 5f736476 483e002a .Day.sat_sdvH>.* 08d0 003c6b61 6e2d6578 74656e73 696f6e73 ..->>*..->>*..->->>> + 0970 7361745f 7364766d 3e002d3e 2d3e3e3e sat_sdvm>.->->>> 0980 3e3e3e44 6179003c 6b616e2d 65787465 >>>Day..->D + 09d0 77617373 6f635f72 6475673e 002d3e44 wassoc_rdug>.->D 09e0 6179003c 6b616e2d 65787465 6e73696f ay..(,)..(,)..(,). + 0a80 61792e64 735f7364 77393e00 282c2900 ay.ds_sdw9>.(,). 0a90 3c6b616e 2d657874 656e7369 6f6e732d .->(,)..*..*..-> + 0b80 4461792e 7361745f 73647736 3e002d3e Day.sat_sdw6>.-> 0b90 3e2a003c 6b616e2d 65787465 6e73696f >*..->>>>>>>Day + 0be0 6477373e 002d3e3e 3e3e3e3e 3e446179 dw7>.->>>>>>>Day 0bf0 003c6b61 6e2d6578 74656e73 696f6e73 ..->Day. + 0c40 736f635f 72647569 3e002d3e 44617900 soc_rdui>.->Day. 0c50 3c6b616e 2d657874 656e7369 6f6e732d .(,)..(,)..->(, + 0cf0 61792e64 735f7364 774d3e00 2d3e282c ay.ds_sdwM>.->(, 0d00 29003c6b 616e2d65 7874656e 73696f6e )..->>*..->>*..->>>> + 0da0 2e736174 5f736477 4b3e002d 3e3e3e3e .sat_sdwK>.->>>> 0db0 44617900 3c6b616e 2d657874 656e7369 Day..->Da + 0e00 61707065 645f7264 756e3e00 2d3e4461 apped_rdun>.->Da 0e10 79003c6b 616e2d65 7874656e 73696f6e y..->>*..->>*. + 00d0 2e245744 656e7369 74795f72 71706a3e .$WDensity_rqpj> 00e0 002d3e2a 003c6b61 6e2d6578 74656e73 .->*..->>Density.< + 0120 642e4465 6e736974 792e7361 745f7371 d.Density.sat_sq + 0130 47343e00 2d3e3e44 656e7369 7479003c G4>.->>Density.< 0140 6b616e2d 65787465 6e73696f 6e732d35 kan-extensions-5 0150 2e322e35 2d316e42 4f703750 65786276 .2.5-1nBOp7Pexbv 0160 47486b7a 77666543 32644f3a 436f6e74 GHkzwfeC2dO:Cont 0170 726f6c2e 436f6d6f 6e61642e 44656e73 rol.Comonad.Dens 0180 6974792e 24664170 706c6963 61746976 ity.$fApplicativ 0190 6544656e 73697479 5f246366 6d61705f eDensity_$cfmap_ - 01a0 72677844 3e002d3e 2a003c6b 616e2d65 rgxD>.->*..->*..->>Dens + 01f0 61745f73 7147623e 002d3e3e 44656e73 at_sqGb>.->>Dens 0200 69747900 3c6b616e 2d657874 656e7369 ity..->Density.< + 0260 7146703e 002d3e44 656e7369 7479003c qFp>.->Density.< 0270 6b616e2d 65787465 6e73696f 6e732d35 kan-extensions-5 0280 2e322e35 2d316e42 4f703750 65786276 .2.5-1nBOp7Pexbv 0290 47486b7a 77666543 32644f3a 436f6e74 GHkzwfeC2dO:Cont 02a0 726f6c2e 436f6d6f 6e61642e 44656e73 rol.Comonad.Dens - 02b0 6974792e 7361745f 7367475a 3e002d3e ity.sat_sgGZ>.-> + 02b0 6974792e 7361745f 73714768 3e002d3e ity.sat_sqGh>.-> 02c0 44656e73 69747900 3c6b616e 2d657874 Density.. + 0320 75706c69 63617465 645f7271 46413e00 uplicated_rqFA>. 0330 2d3e2a00 3c6b616e 2d657874 656e7369 ->*..->>Density..->>Density..->Density.< + 03f0 7146773e 002d3e44 656e7369 7479003c qFw>.->Density.< 0400 6b616e2d 65787465 6e73696f 6e732d35 kan-extensions-5 0410 2e322e35 2d316e42 4f703750 65786276 .2.5-1nBOp7Pexbv 0420 47486b7a 77666543 32644f3a 436f6e74 GHkzwfeC2dO:Cont 0430 726f6c2e 436f6d6f 6e61642e 44656e73 rol.Comonad.Dens - 0440 6974792e 7361745f 73674864 3e002d3e ity.sat_sgHd>.-> + 0440 6974792e 7361745f 73714776 3e002d3e ity.sat_sqGv>.-> 0450 44656e73 69747900 3c6b616e 2d657874 Density.. + 04b0 6475706c 69636174 655f7271 46783e00 duplicate_rqFx>. 04c0 2d3e2a00 3c6b616e 2d657874 656e7369 ->*..->*..->*..ComonadTr + 0590 5f727146 7a3e0043 6f6d6f6e 61645472 _rqFz>.ComonadTr 05a0 616e7300 3c6b616e 2d657874 656e7369 ans..->>(,)..->>(,)..Fun + 0660 6e736974 79315f72 7146693e 0046756e nsity1_rqFi>.Fun 0670 63746f72 003c6b61 6e2d6578 74656e73 ctor..*..*..*..*..*..*..*.< + 07b0 74792e73 61745f73 7147543e 002a003c ty.sat_sqGT>.*.< 07c0 6b616e2d 65787465 6e73696f 6e732d35 kan-extensions-5 07d0 2e322e35 2d316e42 4f703750 65786276 .2.5-1nBOp7Pexbv 07e0 47486b7a 77666543 32644f3a 436f6e74 GHkzwfeC2dO:Cont 07f0 726f6c2e 436f6d6f 6e61642e 44656e73 rol.Comonad.Dens - 0800 6974792e 7361745f 73674855 3e002a00 ity.sat_sgHU>.*. + 0800 6974792e 7361745f 73714755 3e002a00 ity.sat_sqGU>.*. 0810 3c6b616e 2d657874 656e7369 6f6e732d .- + 0850 73697479 2e736174 5f737147 533e002d sity.sat_sqGS>.- 0860 3e2a003c 6b616e2d 65787465 6e73696f >*..->>Density._rgyS>.Fun + 0910 5f24633c 2e3e5f72 7146763e 0046756e _$c<.>_rqFv>.Fun 0920 63746f72 003c6b61 6e2d6578 74656e73 ctor..*..*..*..*..*..*..->* + 0a60 74792e73 61745f73 7148343e 002d3e2a ty.sat_sqH4>.->* 0a70 003c6b61 6e2d6578 74656e73 696f6e73 .. + 0ab0 6e736974 792e7361 745f7371 48353e00 nsity.sat_sqH5>. 0ac0 2d3e2d3e 3e44656e 73697479 003c6b61 ->->>Density..->*..->*..->>Lan.< + 0110 745f7366 69493e00 2d3e3e4c 616e003c t_sfiI>.->>Lan.< 0120 6b616e2d 65787465 6e73696f 6e732d35 kan-extensions-5 0130 2e322e35 2d316e42 4f703750 65786276 .2.5-1nBOp7Pexbv 0140 47486b7a 77666543 32644f3a 44617461 GHkzwfeC2dO:Data 0150 2e46756e 63746f72 2e4b616e 2e4c616e .Functor.Kan.Lan 0160 2e246641 70706c69 63617469 76654c61 .$fApplicativeLa - 0170 6e5f2463 666d6170 5f723951 543e002d n_$cfmap_r9QT>.- + 0170 6e5f2463 666d6170 5f726669 313e002d n_$cfmap_rfi1>.- 0180 3e2a003c 6b616e2d 65787465 6e73696f >*..- + 01c0 2e4c616e 2e736174 5f736669 503e002d .Lan.sat_sfiP>.- 01d0 3e3e4c61 6e003c6b 616e2d65 7874656e >>Lan.. + 0220 724c616e 5f24633c 245f7266 69343e00 rLan_$c<$_rfi4>. 0230 2d3e3e28 2c29003c 6b616e2d 65787465 ->>(,). + 0280 63617469 76654c61 6e315f72 6668583e cativeLan1_rfhX> 0290 002a003c 6b616e2d 65787465 6e73696f .*..* + 02d0 2e4c616e 2e736174 5f73666a 383e002a .Lan.sat_sfj8>.* 02e0 003c6b61 6e2d6578 74656e73 696f6e73 ..*.< + 0320 616e2e73 61745f73 666a393e 002a003c an.sat_sfj9>.*.< 0330 6b616e2d 65787465 6e73696f 6e732d35 kan-extensions-5 0340 2e322e35 2d316e42 4f703750 65786276 .2.5-1nBOp7Pexbv 0350 47486b7a 77666543 32644f3a 44617461 GHkzwfeC2dO:Data 0360 2e46756e 63746f72 2e4b616e 2e4c616e .Functor.Kan.Lan - 0370 2e736174 5f733955 773e002a 003c6b61 .sat_s9Uw>.*..*..*..*..->*..->*..->>Lan..->>Lan. - 04c0 5f723952 333e002a 003c6b61 6e2d6578 _r9R3>.*..*..*..*..*..*. + 05a0 616e2e4c 616e2e73 61745f73 666a673e an.Lan.sat_sfjg> 05b0 002d3e2a 003c6b61 6e2d6578 74656e73 .->*. + 05f0 616e2e4c 616e2e73 61745f73 666a683e an.Lan.sat_sfjh> 0600 002d3e2d 3e3e4c61 6e003c6b 616e2d65 .->->>Lan._r9R2>.->>Lan. + 0650 2e3e5f72 6669393e 002d3e3e 4c616e00 .>_rfi9>.->>Lan. 0660 3c6b616e 2d657874 656e7369 6f6e732d _r9R1>.*._rfi8>.*..*..*..*..*..->*..->>->Lan..->>Lan + 0840 633c2e5f 72666937 3e002d3e 3e4c616e c<._rfi7>.->>Lan 0850 003c6b61 6e2d6578 74656e73 696f6e73 ..*..*..*..*..*..*..*..*. + 09d0 616e2e4c 616e2e73 61745f73 666b353e an.Lan.sat_sfk5> 09e0 002a003c 6b616e2d 65787465 6e73696f .*..* + 0a20 2e4c616e 2e736174 5f73666b 323e002a .Lan.sat_sfk2>.* 0a30 003c6b61 6e2d6578 74656e73 696f6e73 ..->* + 0a70 616e2e73 61745f73 666b333e 002d3e2a an.sat_sfk3>.->* 0a80 003c6b61 6e2d6578 74656e73 696f6e73 ..->*..->*..->>Ran..->>Ran..*..*..->*..->*..->>->*..->>->*..*.. + 02f0 6e2e5261 6e2e7361 745f7376 52313e00 n.Ran.sat_svR1>. 0300 2d3e3e52 616e003c 6b616e2d 65787465 ->>Ran..->>*..->>*..->*..->*..*..*..->*..->*..->Ran..->Ran.. + 04e0 6f6d706f 73655261 6e5f7276 78473e00 omposeRan_rvxG>. 04f0 2d3e2a00 3c6b616e 2d657874 656e7369 ->*..- + 0530 6e2e5261 6e2e6632 5f737652 673e002d n.Ran.f2_svRg>.- 0540 3e2a003c 6b616e2d 65787465 6e73696f >*..*. + 0580 2e52616e 2e66335f 73765268 3e002a00 .Ran.f3_svRh>.*. 0590 3c6b616e 2d657874 656e7369 6f6e732d .*..*..->*..->*..->Ran. + 0670 7361745f 7376526c 3e002d3e 52616e00 sat_svRl>.->Ran. 0680 3c6b616e 2d657874 656e7369 6f6e732d .->Ran..->Ran.. + 0720 6f696e74 546f5261 6e5f7276 78493e00 ointToRan_rvxI>. 0730 2d3e2a00 3c6b616e 2d657874 656e7369 ->*.. + 0770 6e2e5261 6e2e7361 745f7376 52723e00 n.Ran.sat_svRr>. 0780 2d3e2a00 3c6b616e 2d657874 656e7369 ->*..->*..->*..->*..->*..->*..->*..->Ran. + 08d0 7361745f 7376527a 3e002d3e 52616e00 sat_svRz>.->Ran. 08e0 3c6b616e 2d657874 656e7369 6f6e732d .->* + 0930 74546f52 616e5f72 76784c3e 002d3e2a tToRan_rvxL>.->* 0940 003c6b61 6e2d6578 74656e73 696f6e73 ..*. + 0980 616e2e67 72616e5f 7276784d 3e002a00 an.gran_rvxM>.*. 0990 3c6b616e 2d657874 656e7369 6f6e732d .->>R + 09d0 6e2e7361 745f7376 52463e00 2d3e3e52 n.sat_svRF>.->>R 09e0 616e003c 6b616e2d 65787465 6e73696f an..->(,)..->(,)..->*..->*..->(,)..->(,)..*..*..->>*..->>*..*..*. + 0250 596f6e65 64612e73 61745f73 7a42693e Yoneda.sat_szBi> 0260 002d3e3e 596f6e65 6461003c 6b616e2d .->>Yoneda._ - 02c0 72773737 3e002a00 3c6b616e 2d657874 rw77>.*..*..*..*.. + 0350 6f6e6564 612e7361 745f737a 42713e00 oneda.sat_szBq>. 0360 2d3e3e2a 003c6b61 6e2d6578 74656e73 ->>*.. + 03a0 6f6e6564 612e7361 745f737a 42723e00 oneda.sat_szBr>. 03b0 2a003c6b 616e2d65 7874656e 73696f6e *..->> + 03f0 64612e73 61745f73 7a42733e 002d3e3e da.sat_szBs>.->> 0400 596f6e65 6461003c 6b616e2d 65787465 Yoneda._rw72>.*._rzzi>.*..->Yoneda..->Yoneda.. + 0510 64615f24 63707572 655f727a 7a6a3e00 da_$cpure_rzzj>. 0520 5b5d003c 6b616e2d 65787465 6e73696f []..*..*..->>ShowS.< + 05c0 737a4247 3e002d3e 3e53686f 7753003c szBG>.->>ShowS.< 05d0 6b616e2d 65787465 6e73696f 6e732d35 kan-extensions-5 05e0 2e322e35 2d316e42 4f703750 65786276 .2.5-1nBOp7Pexbv 05f0 47486b7a 77666543 32644f3a 44617461 GHkzwfeC2dO:Data 0600 2e46756e 63746f72 2e596f6e 6564612e .Functor.Yoneda. - 0610 7361745f 73776e4c 3e002d3e 3e3e3e53 sat_swnL>.->>>>S + 0610 7361745f 737a4246 3e002d3e 3e3e3e53 sat_szBF>.->>>>S 0620 686f7753 003c6b61 6e2d6578 74656e73 howS..->>Sho + 0680 7265635f 727a4148 3e002d3e 3e53686f rec_rzAH>.->>Sho 0690 7753003c 6b616e2d 65787465 6e73696f wS..* + 06d0 6564612e 6c766c35 5f737a42 4d3e002a eda.lvl5_szBM>.* 06e0 003c6b61 6e2d6578 74656e73 696f6e73 ..->Sh + 0720 612e7361 745f737a 424f3e00 2d3e5368 a.sat_szBO>.->Sh 0730 6f775300 3c6b616e 2d657874 656e7369 owS..- + 0770 6e656461 2e736174 5f737a42 503e002d neda.sat_szBP>.- 0780 3e3e3e53 686f7753 003c6b61 6e2d6578 >>>ShowS..->> + 07e0 6f774c69 73745f72 7a41473e 002d3e3e owList_rzAG>.->> 07f0 3e53686f 7753003c 6b616e2d 65787465 >ShowS..->>>>ShowS..Show1..Show1..*..*.. + 0930 6f6e6564 612e7361 745f737a 42583e00 oneda.sat_szBX>. 0940 2d3e5374 72696e67 003c6b61 6e2d6578 ->String..String..->[]..->[]..String..String..[]..[]..->[]..->[]..->>ShowS..->>ShowS..*..*..->>*..->>*..*..*. + 0250 596f6e65 64612e73 61745f73 7a42693e Yoneda.sat_szBi> 0260 002d3e3e 596f6e65 6461003c 6b616e2d .->>Yoneda._ - 02c0 72773737 3e002a00 3c6b616e 2d657874 rw77>.*..*..*..*.. + 0350 6f6e6564 612e7361 745f737a 42713e00 oneda.sat_szBq>. 0360 2d3e3e2a 003c6b61 6e2d6578 74656e73 ->>*.. + 03a0 6f6e6564 612e7361 745f737a 42723e00 oneda.sat_szBr>. 03b0 2a003c6b 616e2d65 7874656e 73696f6e *..->> + 03f0 64612e73 61745f73 7a42733e 002d3e3e da.sat_szBs>.->> 0400 596f6e65 6461003c 6b616e2d 65787465 Yoneda._rw72>.*._rzzi>.*..->Yoneda..->Yoneda.. + 0510 64615f24 63707572 655f727a 7a6a3e00 da_$cpure_rzzj>. 0520 5b5d003c 6b616e2d 65787465 6e73696f []..*..*..->>ShowS.< + 05c0 737a4247 3e002d3e 3e53686f 7753003c szBG>.->>ShowS.< 05d0 6b616e2d 65787465 6e73696f 6e732d35 kan-extensions-5 05e0 2e322e35 2d316e42 4f703750 65786276 .2.5-1nBOp7Pexbv 05f0 47486b7a 77666543 32644f3a 44617461 GHkzwfeC2dO:Data 0600 2e46756e 63746f72 2e596f6e 6564612e .Functor.Yoneda. - 0610 7361745f 73776e4c 3e002d3e 3e3e3e53 sat_swnL>.->>>>S + 0610 7361745f 737a4246 3e002d3e 3e3e3e53 sat_szBF>.->>>>S 0620 686f7753 003c6b61 6e2d6578 74656e73 howS..->>Sho + 0680 7265635f 727a4148 3e002d3e 3e53686f rec_rzAH>.->>Sho 0690 7753003c 6b616e2d 65787465 6e73696f wS..* + 06d0 6564612e 6c766c35 5f737a42 4d3e002a eda.lvl5_szBM>.* 06e0 003c6b61 6e2d6578 74656e73 696f6e73 ..->Sh + 0720 612e7361 745f737a 424f3e00 2d3e5368 a.sat_szBO>.->Sh 0730 6f775300 3c6b616e 2d657874 656e7369 owS..- + 0770 6e656461 2e736174 5f737a42 503e002d neda.sat_szBP>.- 0780 3e3e3e53 686f7753 003c6b61 6e2d6578 >>>ShowS..->> + 07e0 6f774c69 73745f72 7a41473e 002d3e3e owList_rzAG>.->> 07f0 3e53686f 7753003c 6b616e2d 65787465 >ShowS..->>>>ShowS..Show1..Show1..*..*.. + 0930 6f6e6564 612e7361 745f737a 42583e00 oneda.sat_szBX>. 0940 2d3e5374 72696e67 003c6b61 6e2d6578 ->String..String..->[]..->[]..String..String..[]..[]..->[]..->[]..->>ShowS..->>ShowS.