declare %vksr_harmonics_offsets_in_millicents[128]:= (...
-3704955 {2/17}, -3679307 {8/67}, -3653273 {4/33}, -3626841 {8/65}, -3600000 {1/8}, -3572736 {8/63}, -3545036 {4/31}, -3516885 {8/61}, ...
-3488269 {2/15}, -3459172 {8/59}, -3429577 {4/29}, -3399468 {8/57}, -3368826 {1/7}, -3337632 {8/55}, -3305865 {4/27}, -3273505 {8/53}, ...
-3240528 {2/13}, -3206910 {8/51}, -3172627 {4/25}, -3137652 {8/49}, -3101955 {1/6}, -3065507 {8/47}, -3028274 {4/23}, -2990224 {8/45}, ...
-2951318 {2/11}, -2911518 {8/43}, -2870781 {4/21}, -2829062 {8/41}, -2786314 {1/5}, -2742483 {8/39}, -2697513 {4/19}, -2651344 {8/37}, ...
-2603910 {2/9}, -2555140 {8/35}, -2504955 {4/17}, -2453273 {8/33}, -2400000 {1/4}, -2345036 {8/31}, -2288269 {4/15}, -2229577 {8/29}, ...
-2168826 {2/7}, -2105865 {8/27}, -2040528 {4/13}, -1972627 {8/25}, -1901955 {1/3}, -1828274 {8/23}, -1751318 {4/11}, -1670781 {8/21}, ...
-1586314 {2/5}, -1497513 {8/19}, -1403910 {4/9}, -1304955 {8/17}, -1200000 {1/2}, -1088269 {8/15}, -968826 {4/7}, -840528 {8/13}, ...
-701955 {2/3}, -551318 {8/11}, -386314 {4/5}, -203910 {8/9}, 0 {1/1}, 203910 {9/8}, 386314 {5/4}, 551318 {11/8}, ...
701955 {3/2}, 840528 {13/8}, 968826 {7/4}, 1088269 {15/8}, 1200000 {2/1}, 1304955 {17/8}, 1403910 {9/4}, 1497513 {19/8}, ...
1586314 {5/2}, 1670781 {21/8}, 1751318 {11/4}, 1828274 {23/8}, 1901955 {3/1}, 1972627 {25/8}, 2040528 {13/4}, 2105865 {27/8}, ...
2168826 {7/2}, 2229577 {29/8}, 2288269 {15/4}, 2345036 {31/8}, 2400000 {4/1}, 2453273 {33/8}, 2504955 {17/4}, 2555140 {35/8}, ...
2603910 {9/2}, 2651344 {37/8}, 2697513 {19/4}, 2742483 {39/8}, 2786314 {5/1}, 2829062 {41/8}, 2870781 {21/4}, 2911518 {43/8}, ...
2951318 {11/2}, 2990224 {45/8}, 3028274 {23/4}, 3065507 {47/8}, 3101955 {6/1}, 3137652 {49/8}, 3172627 {25/4}, 3206910 {51/8}, ...
3240528 {13/2}, 3273505 {53/8}, 3305865 {27/4}, 3337632 {55/8}, 3368826 {7/1}, 3399468 {57/8}, 3429577 {29/4}, 3459172 {59/8}, ...
3488269 {15/2}, 3516885 {61/8}, 3545036 {31/4}, 3572736 {63/8}, 3600000 {8/1}, 3626841 {65/8}, 3653273 {33/4}, 3679307 {67/8}, ...
3704955 {17/2}, 3730229 {69/8}, 3755140 {35/4}, 3779697 {71/8}, 3803910 {9/1}, 3827789 {73/8}, 3851344 {37/4}, 3874582 {75/8}...
)
declare $vksr_max_log2_n:=1024
declare %vksr_log2_n[1024]:= (...
-1022000000, 0, 1000000, 1584963, 2000000, 2321928, 2584963, 2807355, 3000000, 3169925, 3321928, 3459432, 3584963, 3700440, 3807355, 3906891, 4000000, 4087463, 4169925, 4247928, 4321928, 4392317, 4459432, 4523562, 4584963, 4643856, 4700440, 4754888, 4807355, 4857981, 4906891, 4954196, ...
5000000, 5044394, 5087463, 5129283, 5169925, 5209453, 5247928, 5285402, 5321928, 5357552, 5392317, 5426265, 5459432, 5491853, 5523562, 5554589, 5584963, 5614710, 5643856, 5672425, 5700440, 5727920, 5754888, 5781360, 5807355, 5832890, 5857981, 5882643, 5906891, 5930737, 5954196, 5977280, ...
6000000, 6022368, 6044394, 6066089, 6087463, 6108524, 6129283, 6149747, 6169925, 6189825, 6209453, 6228819, 6247928, 6266787, 6285402, 6303781, 6321928, 6339850, 6357552, 6375039, 6392317, 6409391, 6426265, 6442943, 6459432, 6475733, 6491853, 6507795, 6523562, 6539159, 6554589, 6569856, ...
6584963, 6599913, 6614710, 6629357, 6643856, 6658211, 6672425, 6686501, 6700440, 6714246, 6727920, 6741467, 6754888, 6768184, 6781360, 6794416, 6807355, 6820179, 6832890, 6845490, 6857981, 6870365, 6882643, 6894818, 6906891, 6918863, 6930737, 6942515, 6954196, 6965784, 6977280, 6988685, ...
7000000, 7011227, 7022368, 7033423, 7044394, 7055282, 7066089, 7076816, 7087463, 7098032, 7108524, 7118941, 7129283, 7139551, 7149747, 7159871, 7169925, 7179909, 7189825, 7199672, 7209453, 7219169, 7228819, 7238405, 7247928, 7257388, 7266787, 7276124, 7285402, 7294621, 7303781, 7312883, ...
7321928, 7330917, 7339850, 7348728, 7357552, 7366322, 7375039, 7383704, 7392317, 7400879, 7409391, 7417853, 7426265, 7434628, 7442943, 7451211, 7459432, 7467606, 7475733, 7483816, 7491853, 7499846, 7507795, 7515700, 7523562, 7531381, 7539159, 7546894, 7554589, 7562242, 7569856, 7577429, ...
7584963, 7592457, 7599913, 7607330, 7614710, 7622052, 7629357, 7636625, 7643856, 7651052, 7658211, 7665336, 7672425, 7679480, 7686501, 7693487, 7700440, 7707359, 7714246, 7721099, 7727920, 7734710, 7741467, 7748193, 7754888, 7761551, 7768184, 7774787, 7781360, 7787903, 7794416, 7800900, ...
7807355, 7813781, 7820179, 7826548, 7832890, 7839204, 7845490, 7851749, 7857981, 7864186, 7870365, 7876517, 7882643, 7888743, 7894818, 7900867, 7906891, 7912889, 7918863, 7924813, 7930737, 7936638, 7942515, 7948367, 7954196, 7960002, 7965784, 7971544, 7977280, 7982994, 7988685, 7994353, ...
8000000, 8005625, 8011227, 8016808, 8022368, 8027906, 8033423, 8038919, 8044394, 8049849, 8055282, 8060696, 8066089, 8071462, 8076816, 8082149, 8087463, 8092757, 8098032, 8103288, 8108524, 8113742, 8118941, 8124121, 8129283, 8134426, 8139551, 8144658, 8149747, 8154818, 8159871, 8164907, ...
8169925, 8174926, 8179909, 8184875, 8189825, 8194757, 8199672, 8204571, 8209453, 8214319, 8219169, 8224002, 8228819, 8233620, 8238405, 8243174, 8247928, 8252665, 8257388, 8262095, 8266787, 8271463, 8276124, 8280771, 8285402, 8290019, 8294621, 8299208, 8303781, 8308339, 8312883, 8317413, ...
8321928, 8326429, 8330917, 8335390, 8339850, 8344296, 8348728, 8353147, 8357552, 8361944, 8366322, 8370687, 8375039, 8379378, 8383704, 8388017, 8392317, 8396605, 8400879, 8405141, 8409391, 8413628, 8417853, 8422065, 8426265, 8430453, 8434628, 8438792, 8442943, 8447083, 8451211, 8455327, ...
8459432, 8463524, 8467606, 8471675, 8475733, 8479780, 8483816, 8487840, 8491853, 8495855, 8499846, 8503826, 8507795, 8511753, 8515700, 8519636, 8523562, 8527477, 8531381, 8535275, 8539159, 8543032, 8546894, 8550747, 8554589, 8558421, 8562242, 8566054, 8569856, 8573647, 8577429, 8581201, ...
8584963, 8588715, 8592457, 8596190, 8599913, 8603626, 8607330, 8611025, 8614710, 8618386, 8622052, 8625709, 8629357, 8632995, 8636625, 8640245, 8643856, 8647458, 8651052, 8654636, 8658211, 8661778, 8665336, 8668885, 8672425, 8675957, 8679480, 8682995, 8686501, 8689998, 8693487, 8696968, ...
8700440, 8703904, 8707359, 8710806, 8714246, 8717676, 8721099, 8724514, 8727920, 8731319, 8734710, 8738092, 8741467, 8744834, 8748193, 8751544, 8754888, 8758223, 8761551, 8764872, 8768184, 8771489, 8774787, 8778077, 8781360, 8784635, 8787903, 8791163, 8794416, 8797662, 8800900, 8804131, ...
8807355, 8810572, 8813781, 8816984, 8820179, 8823367, 8826548, 8829723, 8832890, 8836050, 8839204, 8842350, 8845490, 8848623, 8851749, 8854868, 8857981, 8861087, 8864186, 8867279, 8870365, 8873444, 8876517, 8879583, 8882643, 8885696, 8888743, 8891784, 8894818, 8897845, 8900867, 8903882, ...
8906891, 8909893, 8912889, 8915879, 8918863, 8921841, 8924813, 8927778, 8930737, 8933691, 8936638, 8939579, 8942515, 8945444, 8948367, 8951285, 8954196, 8957102, 8960002, 8962896, 8965784, 8968667, 8971544, 8974415, 8977280, 8980140, 8982994, 8985842, 8988685, 8991522, 8994353, 8997179, ...
9000000, 9002815, 9005625, 9008429, 9011227, 9014020, 9016808, 9019591, 9022368, 9025140, 9027906, 9030667, 9033423, 9036174, 9038919, 9041659, 9044394, 9047124, 9049849, 9052568, 9055282, 9057992, 9060696, 9063395, 9066089, 9068778, 9071462, 9074141, 9076816, 9079485, 9082149, 9084808, ...
9087463, 9090112, 9092757, 9095397, 9098032, 9100662, 9103288, 9105909, 9108524, 9111136, 9113742, 9116344, 9118941, 9121534, 9124121, 9126704, 9129283, 9131857, 9134426, 9136991, 9139551, 9142107, 9144658, 9147205, 9149747, 9152285, 9154818, 9157347, 9159871, 9162391, 9164907, 9167418, ...
9169925, 9172428, 9174926, 9177420, 9179909, 9182394, 9184875, 9187352, 9189825, 9192293, 9194757, 9197217, 9199672, 9202124, 9204571, 9207014, 9209453, 9211888, 9214319, 9216746, 9219169, 9221587, 9224002, 9226412, 9228819, 9231221, 9233620, 9236014, 9238405, 9240791, 9243174, 9245553, ...
9247928, 9250298, 9252665, 9255029, 9257388, 9259743, 9262095, 9264443, 9266787, 9269127, 9271463, 9273796, 9276124, 9278449, 9280771, 9283088, 9285402, 9287712, 9290019, 9292322, 9294621, 9296916, 9299208, 9301496, 9303781, 9306062, 9308339, 9310613, 9312883, 9315150, 9317413, 9319672, ...
9321928, 9324181, 9326429, 9328675, 9330917, 9333155, 9335390, 9337622, 9339850, 9342075, 9344296, 9346514, 9348728, 9350939, 9353147, 9355351, 9357552, 9359750, 9361944, 9364135, 9366322, 9368506, 9370687, 9372865, 9375039, 9377211, 9379378, 9381543, 9383704, 9385862, 9388017, 9390169, ...
9392317, 9394463, 9396605, 9398744, 9400879, 9403012, 9405141, 9407268, 9409391, 9411511, 9413628, 9415742, 9417853, 9419960, 9422065, 9424166, 9426265, 9428360, 9430453, 9432542, 9434628, 9436712, 9438792, 9440869, 9442943, 9445015, 9447083, 9449149, 9451211, 9453271, 9455327, 9457381, ...
9459432, 9461479, 9463524, 9465566, 9467606, 9469642, 9471675, 9473706, 9475733, 9477758, 9479780, 9481799, 9483816, 9485829, 9487840, 9489848, 9491853, 9493855, 9495855, 9497852, 9499846, 9501837, 9503826, 9505812, 9507795, 9509775, 9511753, 9513728, 9515700, 9517669, 9519636, 9521600, ...
9523562, 9525521, 9527477, 9529431, 9531381, 9533330, 9535275, 9537218, 9539159, 9541097, 9543032, 9544964, 9546894, 9548822, 9550747, 9552669, 9554589, 9556506, 9558421, 9560333, 9562242, 9564149, 9566054, 9567956, 9569856, 9571753, 9573647, 9575539, 9577429, 9579316, 9581201, 9583083, ...
9584963, 9586840, 9588715, 9590587, 9592457, 9594325, 9596190, 9598053, 9599913, 9601771, 9603626, 9605480, 9607330, 9609179, 9611025, 9612868, 9614710, 9616549, 9618386, 9620220, 9622052, 9623881, 9625709, 9627534, 9629357, 9631177, 9632995, 9634811, 9636625, 9638436, 9640245, 9642052, ...
9643856, 9645658, 9647458, 9649256, 9651052, 9652845, 9654636, 9656425, 9658211, 9659996, 9661778, 9663558, 9665336, 9667112, 9668885, 9670656, 9672425, 9674192, 9675957, 9677720, 9679480, 9681238, 9682995, 9684749, 9686501, 9688250, 9689998, 9691744, 9693487, 9695228, 9696968, 9698705, ...
9700440, 9702173, 9703904, 9705632, 9707359, 9709084, 9710806, 9712527, 9714246, 9715962, 9717676, 9719389, 9721099, 9722808, 9724514, 9726218, 9727920, 9729621, 9731319, 9733015, 9734710, 9736402, 9738092, 9739781, 9741467, 9743151, 9744834, 9746514, 9748193, 9749869, 9751544, 9753217, ...
9754888, 9756556, 9758223, 9759888, 9761551, 9763212, 9764872, 9766529, 9768184, 9769838, 9771489, 9773139, 9774787, 9776433, 9778077, 9779719, 9781360, 9782998, 9784635, 9786270, 9787903, 9789534, 9791163, 9792790, 9794416, 9796040, 9797662, 9799282, 9800900, 9802516, 9804131, 9805744, ...
9807355, 9808964, 9810572, 9812177, 9813781, 9815383, 9816984, 9818582, 9820179, 9821774, 9823367, 9824959, 9826548, 9828136, 9829723, 9831307, 9832890, 9834471, 9836050, 9837628, 9839204, 9840778, 9842350, 9843921, 9845490, 9847057, 9848623, 9850187, 9851749, 9853310, 9854868, 9856426, ...
9857981, 9859535, 9861087, 9862637, 9864186, 9865733, 9867279, 9868823, 9870365, 9871905, 9873444, 9874981, 9876517, 9878051, 9879583, 9881114, 9882643, 9884171, 9885696, 9887221, 9888743, 9890264, 9891784, 9893302, 9894818, 9896332, 9897845, 9899357, 9900867, 9902375, 9903882, 9905387, ...
9906891, 9908393, 9909893, 9911392, 9912889, 9914385, 9915879, 9917372, 9918863, 9920353, 9921841, 9923327, 9924813, 9926296, 9927778, 9929258, 9930737, 9932215, 9933691, 9935165, 9936638, 9938109, 9939579, 9941048, 9942515, 9943980, 9945444, 9946906, 9948367, 9949827, 9951285, 9952741, ...
9954196, 9955650, 9957102, 9958553, 9960002, 9961450, 9962896, 9964341, 9965784, 9967226, 9968667, 9970106, 9971544, 9972980, 9974415, 9975848, 9977280, 9978710, 9980140, 9981567, 9982994, 9984418, 9985842, 9987264, 9988685, 9990104, 9991522, 9992938, 9994353, 9995767, 9997179, 9998590...
)
declare %vksr_harmonics_denums[128]:= (...
2, 8, 4, 8, 1, 8, 4, 8, ...
2, 8, 4, 8, 1, 8, 4, 8, ...
2, 8, 4, 8, 1, 8, 4, 8, ...
2, 8, 4, 8, 1, 8, 4, 8, ...
2, 8, 4, 8, 1, 8, 4, 8, ...
2, 8, 4, 8, 1, 8, 4, 8, ...
2, 8, 4, 8, 1, 8, 4, 8, ...
2, 8, 4, 8, 1, 9, 5, 11, ...
3, 13, 7, 15, 2, 17, 9, 19, ...
5, 21, 11, 23, 3, 25, 13, 27, ...
7, 29, 15, 31, 4, 33, 17, 35, ...
9, 37, 19, 39, 5, 41, 21, 43, ...
11, 45, 23, 47, 6, 49, 25, 51, ...
13, 53, 27, 55, 7, 57, 29, 59, ...
15, 61, 31, 63, 8, 65, 33, 67, ...
17, 69, 35, 71, 9, 73, 37, 75...
)
declare %vksr_harmonics_denoms[128]:= (...
17, 67, 33, 65, 8, 63, 31, 61, ...
15, 59, 29, 57, 7, 55, 27, 53, ...
13, 51, 25, 49, 6, 47, 23, 45, ...
11, 43, 21, 41, 5, 39, 19, 37, ...
9, 35, 17, 33, 4, 31, 15, 29, ...
7, 27, 13, 25, 3, 23, 11, 21, ...
5, 19, 9, 17, 2, 15, 7, 13, ...
3, 11, 5, 9, 1, 8, 4, 8, ...
2, 8, 4, 8, 1, 8, 4, 8, ...
2, 8, 4, 8, 1, 8, 4, 8, ...
2, 8, 4, 8, 1, 8, 4, 8, ...
2, 8, 4, 8, 1, 8, 4, 8, ...
2, 8, 4, 8, 1, 8, 4, 8, ...
2, 8, 4, 8, 1, 8, 4, 8, ...
2, 8, 4, 8, 1, 8, 4, 8, ...
2, 8, 4, 8, 1, 8, 4, 8...
)