LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1517) Real eigs are: [ -2.84404 0 0.417039 0.629864 1.90006 2.88606 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ 2.88606 1.90006 0.417039 0.629865 -2.11087e-07 -2.84404 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ -1.03625e-06 -7.44004e-07 8.41846e-07 4.70479e-07 8.35475e-08 -6.26575e-08 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1517) Real eigs are: [ -0.654904 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ -0.654904 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ 0 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ 0 0 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ 0 0 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ 0.190154 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ 0 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1517) Real eigs are: [ -3.5347 -1.18921 -1.18921 0.112661 1.23087 3.8242 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ 3.82421 1.23087 0.112661 -1.18921 -1.18921 -3.5347 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ 4.82735e-07 -8.87371e-07 -6.94569e-07 -4.67233e-07 -7.29563e-08 -1.18943e-07 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1517) Real eigs are: [ -1.95297 -1.75653 -0.437818 0 1.73026 3.00852 3.33099 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ 3.33098 3.00852 1.73026 -1.95297 -0.437818 3.55807e-08 -1.75653 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ 1.51036e-06 -1.39312e-06 -3.5415e-07 4.77916e-07 3.12202e-07 -4.72487e-07 -5.09113e-08 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1517) Real eigs are: [ -3.0434 0 3.0434 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ -3.0434 -1.50166e-07 3.0434 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ 2.01977e-07 -5.61097e-07 -1.17717e-07 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ 0 0 0 0 0 0 0 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ 0 0 0 0 0 0 0 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ 4.70457 -3.96406 -2.74864 -1.86455 -0.342333 1.01906 0.33152 2.42649 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ -2.80454e-06 -1.90452e-06 -9.52103e-07 1.40127e-06 -5.32662e-07 1.45051e-09 3.43804e-07 4.70559e-07 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1517) Real eigs are: [ -3.74325 -2.55034 -1.25781 0.244664 3.43812 3.43812 4.16699 4.16699 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ 3.43812 4.16699 4.16699 3.43812 -1.25781 0.244664 -3.74325 -2.55034 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ 4.34948e-06 1.87145e-06 1.16366e-06 -1.13721e-06 3.89172e-07 -2.09567e-08 -1.39284e-07 -2.77424e-07 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1517) Real eigs are: [ -2.06495 0.459159 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ 0.459159 -2.06495 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ 0 0 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1517) Real eigs are: [ -1.47336 0 1.79204 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ -1.47336 -4.67164e-08 1.79204 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ 1.61796e-07 -8.54e-09 -1.53256e-07 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ 0 0 0 0 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ 0 0 0 0 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ 3.63643 -5.218 -4.06789 -2.67191 2.9643 -1.63663 -1.03019 1.49342 1.18967 0.78469 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ 5.1483e-06 -3.88894e-06 2.46457e-06 -2.20791e-06 -1.70979e-06 -1.13621e-06 -4.71081e-07 -2.77474e-07 5.07791e-07 1.53349e-06 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1517) Real eigs are: [ -0.653719 0 1.09424 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ -0.653719 1.01351e-08 1.09424 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ -2.01705e-07 3.2337e-08 4.82292e-07 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1517) Real eigs are: [ -4.44564 -4.44564 -3.11448 -0.865777 0.937198 2.60935 2.87938 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ -4.44564 -4.44564 -3.11448 -0.865777 0.937197 2.87938 2.60935 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ -4.25567e-06 -3.07843e-06 -1.45631e-06 1.84264e-06 -1.86787e-07 2.43943e-07 6.61932e-07 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1517) Real eigs are: [ 0.434626 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ 0.434626 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ 0 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ 0 0 0 0 0 0 0 0 0 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ 0 0 0 0 0 0 0 0 0 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ -3.11938 -0.365125 1.30091 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ -1.97537e-06 -2.28842e-07 1.18047e-07 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1517) Real eigs are: [ -1.09797 1.11133 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ -1.09797 1.11133 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ 0 0 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1517) Real eigs are: [ -5.01016 -3.86978 -1.68421 -1.21503 -1.21503 0 0.410625 2.16906 3.53853 4.40566 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ -1.21503 -5.01016 -3.86978 4.40566 3.53852 2.16906 -1.68421 -1.21503 0.410625 -2.10437e-07 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ -4.60984e-06 6.40101e-06 4.70802e-06 2.72452e-06 -1.98539e-06 -1.39851e-06 4.74132e-07 3.439e-07 1.48221e-08 -2.42813e-07 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1517) Real eigs are: [ -4.37539 -3.52068 -1.3632 -0.907146 0 1.89928 2.73092 4.51363 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1523) Found eigs are: [ 4.51363 -4.37539 -3.52068 -1.3632 -1.78463e-07 -0.907146 2.73092 1.89928 ]
LOG ([5.5]:UnitTestEigSp():matrix-lib-test.cc:1531) Eigs of difference are [ 1.98671e-06 2.18404e-06 -1.69189e-06 -1.04933e-06 -1.89909e-07 2.52929e-07 9.01506e-07 -5.5376e-07 ]
LOG ([5.5]:MatrixUnitTest():matrix-lib-test.cc:4618) Point B
LOG ([5.5]:MatrixUnitTest():matrix-lib-test.cc:4625) Point C
LOG ([5.5]:UnitTestSvd():matrix-lib-test.cc:1300) M [
-0.54607 -0.906547 -0.603693 0.0731903
-1.28803 -0.033197 0.486949 2.70113
-1.0337 -0.542213 -0.70862 -0.0543172
-0.863982 -0.397693 1.87725 0.400603 ]
LOG ([5.5]:UnitTestSvd():matrix-lib-test.cc:1304) s [ 3.29436 1.96229 1.50019 0.431217 ]
LOG ([5.5]:UnitTestSvd():matrix-lib-test.cc:1305) U [
0.0611799 -0.477036 0.456375 -0.748609
0.892516 -0.237801 -0.383123 -0.00908924
0.0833813 -0.538881 0.512994 0.662942
0.438999 0.652299 0.61788 -0.00310902 ]
LOG ([5.5]:UnitTestSvd():matrix-lib-test.cc:1306) Vt [
-0.500391 -0.0925485 0.352936 0.785162
0.285511 0.241109 0.906379 -0.197046
-0.546503 -0.616513 0.222855 -0.521136
-0.607805 0.743783 -0.065179 -0.27039 ]
LOG ([5.5]:UnitTestSvd():matrix-lib-test.cc:1300) M [
-1.13694 0.144641 -0.122638
-1.59447 -0.65395 0.318174
-0.0671411 0.3067 -0.244947
-1.07743 -2.06564 0.386645 ]
LOG ([5.5]:UnitTestSvd():matrix-lib-test.cc:1304) s [ 2.86528 1.36236 0.264038 ]
LOG ([5.5]:UnitTestSvd():matrix-lib-test.cc:1305) U [
0.237204 -0.678662 -0.411503
0.567584 -0.467853 0.537651
-0.0716076 -0.215335 -0.660485
0.785147 0.523606 -0.324586 ]
LOG ([5.5]:UnitTestSvd():matrix-lib-test.cc:1306) Vt [
-0.70353 -0.691259 0.164945
0.710447 -0.689857 0.139146
0.0176027 0.215078 0.976438 ]
LOG ([5.5]:UnitTestSvdNodestroy():matrix-lib-test.cc:1368) M [
1.6997 0.807206 -0.0675389 0.950451
-1.32972 0.444411 1.02605 0.268448
-0.708418 -1.11874 -1.56505 -0.221207
0.767181 1.025 -0.0343272 -0.323434
2.0625 -0.596048 -0.303946 -1.29604 ]
LOG ([5.5]:UnitTestSvdNodestroy():matrix-lib-test.cc:1371) v [ 3.24581 2.57286 1.45894 0.795993 ]
LOG ([5.5]:UnitTestSvdNodestroy():matrix-lib-test.cc:1372) U [
0.468693 -0.425021 0.652455 0.225714
-0.450759 -0.334706 -0.312678 0.0192824
-0.148112 0.733076 0.445383 -0.254384
0.269662 -0.254145 -0.0633174 -0.925554
0.694614 0.324559 -0.523603 0.165286 ]
LOG ([5.5]:UnitTestSvdNodestroy():matrix-lib-test.cc:1373) Vt [
0.967547 0.0634933 -0.148726 -0.194171
-0.125244 -0.686355 -0.603197 -0.386502
0.0553307 0.0936526 -0.617307 0.779166
0.212381 -0.718412 0.482665 0.453668 ]
LOG ([5.5]:UnitTestSvdNodestroy():matrix-lib-test.cc:1368) M [
-1.51624 0.00880102 0.0722385 1.72976
0.50637 0.284538 -2.71004 0.778832
0.0507579 0.337932 -0.358011 -0.552063
1.27547 -1.04237 0.23402 0.0289736 ]
LOG ([5.5]:UnitTestSvdNodestroy():matrix-lib-test.cc:1371) v [ 2.90239 2.51511 1.46585 0.0707488 ]
LOG ([5.5]:UnitTestSvdNodestroy():matrix-lib-test.cc:1372) U [
-0.160626 -0.871948 0.353898 -0.297762
-0.979385 0.178223 0.0579944 0.0753552
-0.0659158 0.150804 -0.412289 -0.896064
0.103245 0.43035 0.837503 -0.320512 ]
LOG ([5.5]:UnitTestSvdNodestroy():matrix-lib-test.cc:1373) Vt [
-0.0427386 -0.141256 0.926938 -0.344972
0.782821 -0.140982 -0.198504 -0.572636
0.368429 -0.677219 0.144622 0.620257
0.499625 0.708199 0.283665 0.410322 ]
LOG ([5.5]:MatrixUnitTest():matrix-lib-test.cc:4634) Point D
LOG ([5.5]:UnitTestIo():matrix-lib-test.cc:2505) SpMatrix IO: [ ]
LOG ([5.5]:UnitTestIo():matrix-lib-test.cc:2505) SpMatrix IO: [
-2.11284
-1.25038 1.00162
-0.449323 -1.27293 1.19005
1.21303 -2.04072 -0.962799 -0.206689
2.05912 -0.0423758 0.328784 1.25785 -0.96731
0.668432 -0.149582 -0.581956 0.27412 0.600438 -0.732071 ]
LOG ([5.5]:UnitTestIo():matrix-lib-test.cc:2505) SpMatrix IO: [
0.0216955
-0.209847 1.43655
-0.0561008 0.775542 0.724482
-0.299647 0.407363 -0.54794 -0.476424
-0.326432 0.549169 -0.498914 1.18478 0.907328
-0.484239 -0.347007 0.347196 -0.671276 1.49567 0.357572 ]
LOG ([5.5]:UnitTestIo():matrix-lib-test.cc:2505) SpMatrix IO: [
0.0185239
-2.01698 0.325256
-1.56499 0.472444 0.0439577
-1.05094 -1.83787 0.147563 0.338671 ]
LOG ([5.5]:UnitTestIo():matrix-lib-test.cc:2505) SpMatrix IO: [
0.742469
-1.43064 -0.804583
-0.240331 0.821265 -2.46554
-0.273611 -2.42234 1.16943 -0.288523
0.207739 -1.00046 0.421191 -1.13095 1.18866
-0.720923 0.109022 0.436103 1.22036 1.22204 -0.502151
-0.306902 -0.674298 -0.271081 0.99575 0.0281702 -0.0031093 -0.260825 ]
VLOG[3] ([5.5]:ReadHtk():kaldi-matrix.cc:2343) HTK header: Num Samples: 15; Sample period: 10000; Sample size: 60; Sample kind: 8
VLOG[3] ([5.5]:ReadHtk():kaldi-matrix.cc:2343) HTK header: Num Samples: 10; Sample period: 10000; Sample size: 48; Sample kind: 8
VLOG[3] ([5.5]:ReadHtk():kaldi-matrix.cc:2343) HTK header: Num Samples: 11; Sample period: 10000; Sample size: 60; Sample kind: 8
VLOG[3] ([5.5]:ReadHtk():kaldi-matrix.cc:2343) HTK header: Num Samples: 13; Sample period: 10000; Sample size: 48; Sample kind: 8
VLOG[3] ([5.5]:ReadHtk():kaldi-matrix.cc:2343) HTK header: Num Samples: 19; Sample period: 10000; Sample size: 44; Sample kind: 8
LOG ([5.5]:MatrixUnitTest():matrix-lib-test.cc:4641) Point E
Condition number of random matrix large 2609.066162, trying again (this is normal)
Condition number of random matrix large 548.792236, trying again (this is normal)
Condition number of random matrix large 104.377747, trying again (this is normal)
Condition number of random matrix large 929.403015, trying again (this is normal)
Condition number of random matrix large 948.872009, trying again (this is normal)
Condition number of random matrix large 123.927238, trying again (this is normal)
Condition number of random matrix large 386.528015, trying again (this is normal)
Condition number of random matrix large 212.025681, trying again (this is normal)
Condition number of random matrix large 246.466827, trying again (this is normal)
Condition number of random matrix large 476.498322, trying again (this is normal)
Condition number of random matrix large 144.948380, trying again (this is normal)
Condition number of random matrix large 102.708084, trying again (this is normal)
Condition number of random matrix large 130.419632, trying again (this is normal)
Condition number of random matrix large 508.476746, trying again (this is normal)
Condition number of random matrix large 273.180450, trying again (this is normal)
LOG ([5.5]:UnitTestPowerAbs():matrix-lib-test.cc:1107) [ 0.37613 0.483741 0.644947 0.0284376 0.15717 0.205191 0.7495 0.271877 1.30699 5.06327 0.00988437 ]
LOG ([5.5]:UnitTestPowerAbs():matrix-lib-test.cc:1109) [ 0.613294 0.695515 0.803086 0.168635 0.396446 0.45298 0.865737 0.521418 1.14324 2.25017 0.0994202 ]
LOG ([5.5]:UnitTestPowerAbs():matrix-lib-test.cc:1111) [ 0.37613 0.483741 0.644947 0.0284376 0.15717 0.205191 0.7495 0.271877 1.30699 5.06327 0.00988437 ]
LOG ([5.5]:UnitTestPowerAbs():matrix-lib-test.cc:1107) [ 0.434396 0.182906 1.18135 0.131137 0.319116 2.33174 0.718947 0.97334 0.615726 3.68084 1.11619 0.0380666 3.18389 2.15575e-05 1.01601 0.436738 ]
LOG ([5.5]:UnitTestPowerAbs():matrix-lib-test.cc:1109) [ 0.659087 0.427675 1.0869 0.362129 0.564903 1.527 0.847908 0.98658 0.784682 1.91855 1.0565 0.195107 1.78435 0.004643 1.00797 0.660862 ]
LOG ([5.5]:UnitTestPowerAbs():matrix-lib-test.cc:1111) [ 0.434396 0.182906 1.18135 0.131137 0.319116 2.33174 0.718947 0.97334 0.615726 3.68084 1.11619 0.0380666 3.18389 2.15575e-05 1.01601 0.436738 ]
LOG ([5.5]:UnitTestPowerAbs():matrix-lib-test.cc:1107) [ 0.000193566 0.137393 0.212896 0.0058623 2.87729 0.0268319 1.88153 0.0449874 0.41864 1.79869 0.00104409 0.245515 ]
LOG ([5.5]:UnitTestPowerAbs():matrix-lib-test.cc:1109) [ 0.0139128 0.370665 0.461406 0.0765657 1.69626 0.163804 1.37169 0.212102 0.647024 1.34115 0.0323124 0.495495 ]
LOG ([5.5]:UnitTestPowerAbs():matrix-lib-test.cc:1111) [ 0.000193566 0.137393 0.212896 0.0058623 2.87729 0.0268319 1.88153 0.0449874 0.41864 1.79869 0.00104409 0.245515 ]
LOG ([5.5]:UnitTestPowerAbs():matrix-lib-test.cc:1107) [ 0.125053 1.51617 0.0511934 0.285836 0.0028431 0.357583 0.104671 1.50216 3.4947 0.0682017 1.97095 0.0223357 0.111502 4.75599 1.4296 ]
LOG ([5.5]:UnitTestPowerAbs():matrix-lib-test.cc:1109) [ 0.353628 1.23133 0.226259 0.534636 0.0533208 0.597983 0.323529 1.22563 1.86941 0.261155 1.40391 0.149451 0.333919 2.18082 1.19566 ]
LOG ([5.5]:UnitTestPowerAbs():matrix-lib-test.cc:1111) [ 0.125053 1.51617 0.0511934 0.285836 0.0028431 0.357583 0.104671 1.50216 3.4947 0.0682017 1.97095 0.0223357 0.111502 4.75599 1.4296 ]
LOG ([5.5]:UnitTestPowerAbs():matrix-lib-test.cc:1107) [ 1.14364 1.11573 2.4404 0.15282 0.241195 0.547428 0.621663 6.18858 0.296252 1.25268 0.00206824 1.63347 0.0171003 0.431545 0.179029 2.21702 0.39137 ]
LOG ([5.5]:UnitTestPowerAbs():matrix-lib-test.cc:1109) [ 1.06941 1.05628 1.56218 0.390922 0.491116 0.739884 0.788456 2.48769 0.544291 1.11923 0.0454779 1.27807 0.130768 0.656921 0.423118 1.48897 0.625595 ]
LOG ([5.5]:UnitTestPowerAbs():matrix-lib-test.cc:1111) [ 1.14364 1.11573 2.4404 0.15282 0.241195 0.547428 0.621663 6.18858 0.296252 1.25268 0.00206824 1.63347 0.0171003 0.431545 0.179029 2.21702 0.39137 ]
Condition number of random matrix large 238.793671, trying again (this is normal)
Condition number of random matrix large 107.482849, trying again (this is normal)
LOG ([5.5]:MatrixUnitTest():matrix-lib-test.cc:4657) Point F
Condition number of random matrix large 176.075104, trying again (this is normal)
Condition number of random matrix large 124.564117, trying again (this is normal)
Condition number of random matrix large 157.394592, trying again (this is normal)
Condition number of random matrix large 348.525604, trying again (this is normal)
Condition number of random matrix large 498.178589, trying again (this is normal)
m = 18, n = 12
LOG ([5.5]:UnitTestTraceProduct():matrix-lib-test.cc:1287) -9.28277 -9.28277
m = 10, n = 14
LOG ([5.5]:UnitTestTraceProduct():matrix-lib-test.cc:1287) 2.71777 2.71777
m = 19, n = 16
LOG ([5.5]:UnitTestTraceProduct():matrix-lib-test.cc:1287) 15.837 15.837
m = 10, n = 11
LOG ([5.5]:UnitTestTraceProduct():matrix-lib-test.cc:1287) 9.20086 9.20086
m = 13, n = 16
LOG ([5.5]:UnitTestTraceProduct():matrix-lib-test.cc:1287) -15.5022 -15.5022
LOG ([5.5]:MatrixUnitTest():matrix-lib-test.cc:4666) Point G
LOG ([5.5]:MatrixUnitTest():matrix-lib-test.cc:4670) Point H
ASSERTION_FAILED ([5.5]:UnitTestRange():matrix-lib-test.cc:2698) Assertion failed: (sub.Sum() == V.Range(lenStart, lenEnd-lenStart).Sum())