57 DOUBLE PRECISION weights(256)
58 DOUBLE PRECISION eni(15, 2)
59 DOUBLE PRECISION deo(1, 2)
60 DOUBLE PRECISION units(31)
61 DOUBLE PRECISION input(15)
62 DOUBLE PRECISION output(1)
598 weights(1) = 0.0586755525877
599 weights(2) = 2.66260287155
600 weights(3) = -0.205684950416
601 weights(4) = 0.63186794161
602 weights(5) = -6.99934143687
603 weights(6) = -2.98806842755
604 weights(7) = 0.624556281931
605 weights(8) = 2.49772139325
606 weights(9) = 4.55290874193
607 weights(10) = -4.40320680068
608 weights(11) = 10.5045321111
609 weights(12) = 2.09606444889
610 weights(13) = -25.4880175048
611 weights(14) = 20.6233282314
612 weights(15) = 0.462597916382
613 weights(16) = -0.73528502631
614 weights(17) = -4.61753072897
615 weights(18) = 2.07120425216
616 weights(19) = -0.526758105629
617 weights(20) = 0.059727991516
618 weights(21) = -1.6522747859
619 weights(22) = -1.09414991239
620 weights(23) = 0.172266242542
621 weights(24) = 7.30336419333
622 weights(25) = 0.390545057207
623 weights(26) = 11.4132555147
624 weights(27) = 5.41796634086
625 weights(28) = -66.8077044402
626 weights(29) = 25.6048944158
627 weights(30) = 36.6215471708
628 weights(31) = 5.52492637708
629 weights(32) = 0.679496851907
630 weights(33) = -0.614707063917
631 weights(34) = -0.303725826543
632 weights(35) = -0.395131396707
633 weights(36) = -0.643482565241
634 weights(37) = -0.86468419265
635 weights(38) = -1.29848966045
636 weights(39) = 0.522595775213
637 weights(40) = 0.615259708359
638 weights(41) = 2.20780057426
639 weights(42) = 3.57767752805
640 weights(43) = -2.57119009629
641 weights(44) = -1.6473302987
642 weights(45) = -1.69349893031
643 weights(46) = -2.08150948686
644 weights(47) = 0.766998291334
645 weights(48) = 2.87558206561
646 weights(49) = 2.17072346769
647 weights(50) = -0.0421020374552
648 weights(51) = 0.385296802595
649 weights(52) = -1.55684503986
650 weights(53) = -0.63599166382
651 weights(54) = -2.55858823629
652 weights(55) = -2.1128633918
653 weights(56) = -1.5221868504
654 weights(57) = -2.0268712129
655 weights(58) = 3.19597341044
656 weights(59) = -7.83126166576
657 weights(60) = 15.463092176
658 weights(61) = -13.254758932
659 weights(62) = 2.34393527011
660 weights(63) = -0.444815563938
661 weights(64) = -2.24664836367
662 weights(65) = 0.0477671073407
663 weights(66) = -2.76469643537
664 weights(67) = 0.63029443311
665 weights(68) = -3.52932188768
666 weights(69) = -3.51542750926
667 weights(70) = -3.56465827499
668 weights(71) = -1.36625908062
669 weights(72) = -0.356325731004
670 weights(73) = -1.24408098581
671 weights(74) = 10.7882528506
672 weights(75) = 9.36618696103
673 weights(76) = -2.455757206
674 weights(77) = 8.79927223599
675 weights(78) = 7.60258276331
676 weights(79) = 14.9046690239
677 weights(80) = 4.02976798902
678 weights(81) = 2.7304734218
679 weights(82) = -2.52976473961
680 weights(83) = -0.982209700612
681 weights(84) = -2.12486841038
682 weights(85) = 2.52294357677
683 weights(86) = -2.33692163846
684 weights(87) = 1.28139514172
685 weights(88) = 0.859823516615
686 weights(89) = -4.80392221437
687 weights(90) = -4.33214125953
688 weights(91) = -12.3227038746
689 weights(92) = 24.5079176659
690 weights(93) = -7.81794683044
691 weights(94) = -8.73121761546
692 weights(95) = -5.13840500061
693 weights(96) = 5.39677249345
694 weights(97) = -2.10643268626
695 weights(98) = -1.81493630727
696 weights(99) = -0.66111800259
697 weights(100) = 4.00637523569
698 weights(101) = 6.49901511646
699 weights(102) = -3.81726622753
700 weights(103) = 0.253177193821
701 weights(104) = 0.125976886355
702 weights(105) = -2.23501982173
703 weights(106) = -1.14742937244
704 weights(107) = 0.79071640224
705 weights(108) = -0.262228348409
706 weights(109) = -2.65828800908
707 weights(110) = -4.61273893478
708 weights(111) = -7.28442493591
709 weights(112) = 4.89574060816
710 weights(113) = -4.38650755077
711 weights(114) = -0.593681542897
712 weights(115) = -0.463175335857
713 weights(116) = 0.397001346368
714 weights(117) = -0.484981801368
715 weights(118) = 1.96259431862
716 weights(119) = 1.28608799941
717 weights(120) = -0.438161039004
718 weights(121) = 3.65811560424
719 weights(122) = 4.60080766078
720 weights(123) = 10.3811854671
721 weights(124) = -6.08870590892
722 weights(125) = 23.1300435319
723 weights(126) = -7.34652989784
724 weights(127) = -20.2168335091
725 weights(128) = 23.4210305861
726 weights(129) = 0.800399745093
727 weights(130) = 2.16648182963
728 weights(131) = -0.423620897432
729 weights(132) = 0.0307432811503
730 weights(133) = 1.22234688992
731 weights(134) = 0.555717874965
732 weights(135) = 1.01918567073
733 weights(136) = 4.54096185361
734 weights(137) = -1.74077061689
735 weights(138) = 5.52975004698
736 weights(139) = -1.39477598877
737 weights(140) = -2.15320397661
738 weights(141) = -1.78576061847
739 weights(142) = -29.7260649174
740 weights(143) = -6.04541177381
741 weights(144) = -1.62004675309
742 weights(145) = -0.166208495004
743 weights(146) = -1.90906397486
744 weights(147) = -0.595454229439
745 weights(148) = 0.192089082158
746 weights(149) = 0.964697494121
747 weights(150) = -0.123858732412
748 weights(151) = 0.241978602288
749 weights(152) = -0.525475732945
750 weights(153) = -0.376827020882
751 weights(154) = -3.07477548105
752 weights(155) = 0.674318407993
753 weights(156) = -1.4754686585
754 weights(157) = 3.23063591391
755 weights(158) = 7.25855590511
756 weights(159) = -1.12343326037
757 weights(160) = 0.474100249593
758 weights(161) = -1.58479603643
759 weights(162) = 2.33275637801
760 weights(163) = 1.19245411755
761 weights(164) = -0.963596944951
762 weights(165) = -0.393117700825
763 weights(166) = -0.765694615113
764 weights(167) = -2.02408679663
765 weights(168) = 3.36306831556
766 weights(169) = 4.17882413536
767 weights(170) = -5.03137081937
768 weights(171) = -8.73177336263
769 weights(172) = 3.59230528223
770 weights(173) = 3.17199780802
771 weights(174) = 19.6705604709
772 weights(175) = 1.84609124417
773 weights(176) = -8.66395479804
774 weights(177) = 4.35656158847
775 weights(178) = 0.220563826989
776 weights(179) = -0.0208381899523
777 weights(180) = -0.601353368326
778 weights(181) = 0.267425763933
779 weights(182) = -0.54287897271
780 weights(183) = 0.18580974935
781 weights(184) = -2.03167259563
782 weights(185) = 1.53793792374
783 weights(186) = -2.77176985303
784 weights(187) = -0.926592732803
785 weights(188) = -8.18246826535
786 weights(189) = -43.7649844166
787 weights(190) = 13.0791764852
788 weights(191) = -0.507716761424
789 weights(192) = 0.394498144483
790 weights(193) = -8.28860104493
791 weights(194) = -1.83420129397
792 weights(195) = -0.0826808309374
793 weights(196) = -3.62835269452
794 weights(197) = -4.79178171801
795 weights(198) = 0.731536970641
796 weights(199) = 0.303873579582
797 weights(200) = 4.5942263196
798 weights(201) = 1.73500133711
799 weights(202) = 4.49361982385
800 weights(203) = 7.41268094427
801 weights(204) = 8.33141953307
802 weights(205) = 36.0243992781
803 weights(206) = 18.1717923588
804 weights(207) = 0.879444048519
805 weights(208) = -0.273390298626
806 weights(209) = -0.729375003161
807 weights(210) = -0.0120198775563
808 weights(211) = -0.00489140362444
809 weights(212) = -3.44820713951
810 weights(213) = -2.77012802643
811 weights(214) = -0.548377658694
812 weights(215) = 1.09727392717
813 weights(216) = 2.68554287899
814 weights(217) = -0.319274619203
815 weights(218) = 17.6731901294
816 weights(219) = 10.0874812986
817 weights(220) = 2.69167529495
818 weights(221) = -0.858124991138
819 weights(222) = 12.8762708112
820 weights(223) = -4.39516778432
821 weights(224) = -3.26021928215
822 weights(225) = -27.7983898494
823 weights(226) = 2.66358465215
824 weights(227) = -0.902513181519
825 weights(228) = 12.318391194
826 weights(229) = 8.22864830504
827 weights(230) = 7.25969583306
828 weights(231) = 1.01098479496
829 weights(232) = 7.52375537258
830 weights(233) = -0.649168318822
831 weights(234) = 83.9167355881
832 weights(235) = 44.8367765132
833 weights(236) = -33.5187606871
834 weights(237) = -60.7871179987
835 weights(238) = -41.355153731
836 weights(239) = 78.3768515895
837 weights(240) = 1.05411648006
838 weights(241) = -1.6621215287
839 weights(242) = 0.787553819379
840 weights(243) = 1.97390700994
841 weights(244) = -2.70613088663
842 weights(245) = -5.16845028377
843 weights(246) = -2.23895003275
844 weights(247) = 2.92712023703
845 weights(248) = -1.03390338989
846 weights(249) = 2.48607789495
847 weights(250) = -3.2329771763
848 weights(251) = 1.53187679115
849 weights(252) = 1.93161783885
850 weights(253) = -10.8575127738
851 weights(254) = 2.6803341526
852 weights(255) = -4.14109066838
853 weights(256) = -1.2933394669
855 eni(1, 1) = 2.31023094266
856 eni(2, 1) = 2.43902441785
857 eni(3, 1) = 2.4390243387
858 eni(4, 1) = 2.47349826734
859 eni(5, 1) = 2.76679847216
860 eni(6, 1) = 2.95358645481
861 eni(7, 1) = 3.39805824849
862 eni(8, 1) = 0.592362543029
863 eni(9, 1) = 0.556387488181
864 eni(10, 1) = 0.350000023987
865 eni(11, 1) = 1.02157831172
866 eni(12, 1) = 0.389182288932
867 eni(13, 1) = 1.20973264173
868 eni(14, 1) = 0.8244994333
869 eni(15, 1) = 0.0461388339922
870 eni(1, 2) = -0.0625412471381
871 eni(2, 2) = 0.0304878066509
872 eni(3, 2) = 0.0890243906238
873 eni(4, 2) = 0.127738516552
874 eni(5, 2) = 0.144466402793
877 eni(8, 2) = 0.742355469702
878 eni(9, 2) = 0.330763486471
879 eni(10, 2) = 0.499999976013
880 eni(11, 2) = -0.167549784035
881 eni(12, 2) = 0.460855646998
882 eni(13, 2) = -0.359723723909
884 eni(15, 2) = 0.144898671197
886 deo(1, 1) = 7.56448250039
887 deo(1, 2) = -5.50873083952
889 CALL normcall( weights, conec, 256, units, 31,
890 & inno, 15, outno, 1, eni, deo, input, output )
910 INTEGER conec(256, 2)
911 INTEGER dconecno(450)
915 DOUBLE PRECISION weights(256)
916 DOUBLE PRECISION eni(15, 2)
917 DOUBLE PRECISION ded(1, 15)
918 DOUBLE PRECISION units(31)
919 DOUBLE PRECISION input(15)
920 DOUBLE PRECISION deriv(1, 15)
1924 weights(1) = 0.0586755525877
1925 weights(2) = 2.66260287155
1926 weights(3) = -0.205684950416
1927 weights(4) = 0.63186794161
1928 weights(5) = -6.99934143687
1929 weights(6) = -2.98806842755
1930 weights(7) = 0.624556281931
1931 weights(8) = 2.49772139325
1932 weights(9) = 4.55290874193
1933 weights(10) = -4.40320680068
1934 weights(11) = 10.5045321111
1935 weights(12) = 2.09606444889
1936 weights(13) = -25.4880175048
1937 weights(14) = 20.6233282314
1938 weights(15) = 0.462597916382
1939 weights(16) = -0.73528502631
1940 weights(17) = -4.61753072897
1941 weights(18) = 2.07120425216
1942 weights(19) = -0.526758105629
1943 weights(20) = 0.059727991516
1944 weights(21) = -1.6522747859
1945 weights(22) = -1.09414991239
1946 weights(23) = 0.172266242542
1947 weights(24) = 7.30336419333
1948 weights(25) = 0.390545057207
1949 weights(26) = 11.4132555147
1950 weights(27) = 5.41796634086
1951 weights(28) = -66.8077044402
1952 weights(29) = 25.6048944158
1953 weights(30) = 36.6215471708
1954 weights(31) = 5.52492637708
1955 weights(32) = 0.679496851907
1956 weights(33) = -0.614707063917
1957 weights(34) = -0.303725826543
1958 weights(35) = -0.395131396707
1959 weights(36) = -0.643482565241
1960 weights(37) = -0.86468419265
1961 weights(38) = -1.29848966045
1962 weights(39) = 0.522595775213
1963 weights(40) = 0.615259708359
1964 weights(41) = 2.20780057426
1965 weights(42) = 3.57767752805
1966 weights(43) = -2.57119009629
1967 weights(44) = -1.6473302987
1968 weights(45) = -1.69349893031
1969 weights(46) = -2.08150948686
1970 weights(47) = 0.766998291334
1971 weights(48) = 2.87558206561
1972 weights(49) = 2.17072346769
1973 weights(50) = -0.0421020374552
1974 weights(51) = 0.385296802595
1975 weights(52) = -1.55684503986
1976 weights(53) = -0.63599166382
1977 weights(54) = -2.55858823629
1978 weights(55) = -2.1128633918
1979 weights(56) = -1.5221868504
1980 weights(57) = -2.0268712129
1981 weights(58) = 3.19597341044
1982 weights(59) = -7.83126166576
1983 weights(60) = 15.463092176
1984 weights(61) = -13.254758932
1985 weights(62) = 2.34393527011
1986 weights(63) = -0.444815563938
1987 weights(64) = -2.24664836367
1988 weights(65) = 0.0477671073407
1989 weights(66) = -2.76469643537
1990 weights(67) = 0.63029443311
1991 weights(68) = -3.52932188768
1992 weights(69) = -3.51542750926
1993 weights(70) = -3.56465827499
1994 weights(71) = -1.36625908062
1995 weights(72) = -0.356325731004
1996 weights(73) = -1.24408098581
1997 weights(74) = 10.7882528506
1998 weights(75) = 9.36618696103
1999 weights(76) = -2.455757206
2000 weights(77) = 8.79927223599
2001 weights(78) = 7.60258276331
2002 weights(79) = 14.9046690239
2003 weights(80) = 4.02976798902
2004 weights(81) = 2.7304734218
2005 weights(82) = -2.52976473961
2006 weights(83) = -0.982209700612
2007 weights(84) = -2.12486841038
2008 weights(85) = 2.52294357677
2009 weights(86) = -2.33692163846
2010 weights(87) = 1.28139514172
2011 weights(88) = 0.859823516615
2012 weights(89) = -4.80392221437
2013 weights(90) = -4.33214125953
2014 weights(91) = -12.3227038746
2015 weights(92) = 24.5079176659
2016 weights(93) = -7.81794683044
2017 weights(94) = -8.73121761546
2018 weights(95) = -5.13840500061
2019 weights(96) = 5.39677249345
2020 weights(97) = -2.10643268626
2021 weights(98) = -1.81493630727
2022 weights(99) = -0.66111800259
2023 weights(100) = 4.00637523569
2024 weights(101) = 6.49901511646
2025 weights(102) = -3.81726622753
2026 weights(103) = 0.253177193821
2027 weights(104) = 0.125976886355
2028 weights(105) = -2.23501982173
2029 weights(106) = -1.14742937244
2030 weights(107) = 0.79071640224
2031 weights(108) = -0.262228348409
2032 weights(109) = -2.65828800908
2033 weights(110) = -4.61273893478
2034 weights(111) = -7.28442493591
2035 weights(112) = 4.89574060816
2036 weights(113) = -4.38650755077
2037 weights(114) = -0.593681542897
2038 weights(115) = -0.463175335857
2039 weights(116) = 0.397001346368
2040 weights(117) = -0.484981801368
2041 weights(118) = 1.96259431862
2042 weights(119) = 1.28608799941
2043 weights(120) = -0.438161039004
2044 weights(121) = 3.65811560424
2045 weights(122) = 4.60080766078
2046 weights(123) = 10.3811854671
2047 weights(124) = -6.08870590892
2048 weights(125) = 23.1300435319
2049 weights(126) = -7.34652989784
2050 weights(127) = -20.2168335091
2051 weights(128) = 23.4210305861
2052 weights(129) = 0.800399745093
2053 weights(130) = 2.16648182963
2054 weights(131) = -0.423620897432
2055 weights(132) = 0.0307432811503
2056 weights(133) = 1.22234688992
2057 weights(134) = 0.555717874965
2058 weights(135) = 1.01918567073
2059 weights(136) = 4.54096185361
2060 weights(137) = -1.74077061689
2061 weights(138) = 5.52975004698
2062 weights(139) = -1.39477598877
2063 weights(140) = -2.15320397661
2064 weights(141) = -1.78576061847
2065 weights(142) = -29.7260649174
2066 weights(143) = -6.04541177381
2067 weights(144) = -1.62004675309
2068 weights(145) = -0.166208495004
2069 weights(146) = -1.90906397486
2070 weights(147) = -0.595454229439
2071 weights(148) = 0.192089082158
2072 weights(149) = 0.964697494121
2073 weights(150) = -0.123858732412
2074 weights(151) = 0.241978602288
2075 weights(152) = -0.525475732945
2076 weights(153) = -0.376827020882
2077 weights(154) = -3.07477548105
2078 weights(155) = 0.674318407993
2079 weights(156) = -1.4754686585
2080 weights(157) = 3.23063591391
2081 weights(158) = 7.25855590511
2082 weights(159) = -1.12343326037
2083 weights(160) = 0.474100249593
2084 weights(161) = -1.58479603643
2085 weights(162) = 2.33275637801
2086 weights(163) = 1.19245411755
2087 weights(164) = -0.963596944951
2088 weights(165) = -0.393117700825
2089 weights(166) = -0.765694615113
2090 weights(167) = -2.02408679663
2091 weights(168) = 3.36306831556
2092 weights(169) = 4.17882413536
2093 weights(170) = -5.03137081937
2094 weights(171) = -8.73177336263
2095 weights(172) = 3.59230528223
2096 weights(173) = 3.17199780802
2097 weights(174) = 19.6705604709
2098 weights(175) = 1.84609124417
2099 weights(176) = -8.66395479804
2100 weights(177) = 4.35656158847
2101 weights(178) = 0.220563826989
2102 weights(179) = -0.0208381899523
2103 weights(180) = -0.601353368326
2104 weights(181) = 0.267425763933
2105 weights(182) = -0.54287897271
2106 weights(183) = 0.18580974935
2107 weights(184) = -2.03167259563
2108 weights(185) = 1.53793792374
2109 weights(186) = -2.77176985303
2110 weights(187) = -0.926592732803
2111 weights(188) = -8.18246826535
2112 weights(189) = -43.7649844166
2113 weights(190) = 13.0791764852
2114 weights(191) = -0.507716761424
2115 weights(192) = 0.394498144483
2116 weights(193) = -8.28860104493
2117 weights(194) = -1.83420129397
2118 weights(195) = -0.0826808309374
2119 weights(196) = -3.62835269452
2120 weights(197) = -4.79178171801
2121 weights(198) = 0.731536970641
2122 weights(199) = 0.303873579582
2123 weights(200) = 4.5942263196
2124 weights(201) = 1.73500133711
2125 weights(202) = 4.49361982385
2126 weights(203) = 7.41268094427
2127 weights(204) = 8.33141953307
2128 weights(205) = 36.0243992781
2129 weights(206) = 18.1717923588
2130 weights(207) = 0.879444048519
2131 weights(208) = -0.273390298626
2132 weights(209) = -0.729375003161
2133 weights(210) = -0.0120198775563
2134 weights(211) = -0.00489140362444
2135 weights(212) = -3.44820713951
2136 weights(213) = -2.77012802643
2137 weights(214) = -0.548377658694
2138 weights(215) = 1.09727392717
2139 weights(216) = 2.68554287899
2140 weights(217) = -0.319274619203
2141 weights(218) = 17.6731901294
2142 weights(219) = 10.0874812986
2143 weights(220) = 2.69167529495
2144 weights(221) = -0.858124991138
2145 weights(222) = 12.8762708112
2146 weights(223) = -4.39516778432
2147 weights(224) = -3.26021928215
2148 weights(225) = -27.7983898494
2149 weights(226) = 2.66358465215
2150 weights(227) = -0.902513181519
2151 weights(228) = 12.318391194
2152 weights(229) = 8.22864830504
2153 weights(230) = 7.25969583306
2154 weights(231) = 1.01098479496
2155 weights(232) = 7.52375537258
2156 weights(233) = -0.649168318822
2157 weights(234) = 83.9167355881
2158 weights(235) = 44.8367765132
2159 weights(236) = -33.5187606871
2160 weights(237) = -60.7871179987
2161 weights(238) = -41.355153731
2162 weights(239) = 78.3768515895
2163 weights(240) = 1.05411648006
2164 weights(241) = -1.6621215287
2165 weights(242) = 0.787553819379
2166 weights(243) = 1.97390700994
2167 weights(244) = -2.70613088663
2168 weights(245) = -5.16845028377
2169 weights(246) = -2.23895003275
2170 weights(247) = 2.92712023703
2171 weights(248) = -1.03390338989
2172 weights(249) = 2.48607789495
2173 weights(250) = -3.2329771763
2174 weights(251) = 1.53187679115
2175 weights(252) = 1.93161783885
2176 weights(253) = -10.8575127738
2177 weights(254) = 2.6803341526
2178 weights(255) = -4.14109066838
2179 weights(256) = -1.2933394669
2181 eni(1, 1) = 2.31023094266
2182 eni(2, 1) = 2.43902441785
2183 eni(3, 1) = 2.4390243387
2184 eni(4, 1) = 2.47349826734
2185 eni(5, 1) = 2.76679847216
2186 eni(6, 1) = 2.95358645481
2187 eni(7, 1) = 3.39805824849
2188 eni(8, 1) = 0.592362543029
2189 eni(9, 1) = 0.556387488181
2190 eni(10, 1) = 0.350000023987
2191 eni(11, 1) = 1.02157831172
2192 eni(12, 1) = 0.389182288932
2193 eni(13, 1) = 1.20973264173
2194 eni(14, 1) = 0.8244994333
2195 eni(15, 1) = 0.0461388339922
2196 eni(1, 2) = -0.0625412471381
2197 eni(2, 2) = 0.0304878066509
2198 eni(3, 2) = 0.0890243906238
2199 eni(4, 2) = 0.127738516552
2200 eni(5, 2) = 0.144466402793
2203 eni(8, 2) = 0.742355469702
2204 eni(9, 2) = 0.330763486471
2205 eni(10, 2) = 0.499999976013
2206 eni(11, 2) = -0.167549784035
2207 eni(12, 2) = 0.460855646998
2208 eni(13, 2) = -0.359723723909
2210 eni(15, 2) = 0.144898671197
2212 ded(1, 1) = 17.4757015376
2213 ded(1, 2) = 18.4499575269
2214 ded(1, 3) = 18.4499569282
2215 ded(1, 4) = 18.710734358
2216 ded(1, 5) = 20.9293986247
2217 ded(1, 6) = 22.3423530508
2218 ded(1, 7) = 25.704552156
2219 ded(1, 8) = 4.48091609063
2220 ded(1, 9) = 4.20878341778
2221 ded(1, 10) = 2.64756905658
2222 ded(1, 11) = 7.72771126178
2223 ded(1, 12) = 2.94396261409
2224 ded(1, 13) = 9.15100139855
2225 ded(1, 14) = 6.23691153478
2226 ded(1, 15) = 0.349016402323
2228 CALL normdiff( weights, conec, 256, dconecno, 450,
2229 & dconecmk, units, 31, inno, 15, outno, 1,
2230 & eni, ded, input, deriv)