1/* 2 * test8600 - 8600 series of the regress.cal test suite 3 * 4 * Copyright (C) 2000 Landon Curt Noll 5 * 6 * Primary author: Landon Curt Noll 7 * 8 * Calc is open software; you can redistribute it and/or modify it under 9 * the terms of the version 2.1 of the GNU Lesser General Public License 10 * as published by the Free Software Foundation. 11 * 12 * Calc is distributed in the hope that it will be useful, but WITHOUT 13 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY 14 * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General 15 * Public License for more details. 16 * 17 * A copy of version 2.1 of the GNU Lesser General Public License is 18 * distributed with calc under the filename COPYING-LGPL. You should have 19 * received a copy with calc; if not, write to Free Software Foundation, Inc. 20 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. 21 * 22 * Under source code control: 2000/12/04 19:57:02 23 * File existed as early as: 2000 24 * 25 * Share and enjoy! :-) http://www.isthe.com/chongo/tech/comp/calc/ 26 */ 27 28/* 29 * test8600 - test builtin functions with 1024 args 30 */ 31 32/* 33 * min with 1024 args, one per line 34 */ 35min_8600 = min( 361009, 371013, 381019, 391021, 401031, 411033, 421039, 431049, 441051, 451061, 461063, 471069, 481087, 491091, 501093, 511097, 521103, 531109, 541117, 551123, 561129, 571151, 581153, 591163, 601171, 611181, 621187, 631193, 641201, 651213, 661217, 671223, 681229, 691231, 701237, 711249, 721259, 731277, 741279, 751283, 761289, 771291, 781297, 791301, 801303, 811307, 821319, 831321, 841327, 851361, 861367, 871373, 881381, 891399, 901409, 911423, 921427, 931429, 941433, 951439, 961447, 971451, 981453, 991459, 1001471, 1011481, 1021483, 1031487, 1041489, 1051493, 1061499, 1071511, 1081523, 1091531, 1101543, 1111549, 1121553, 1131559, 1141567, 1151571, 1161579, 1171583, 1181597, 1191601, 1201607, 1211609, 1221613, 1231619, 1241621, 1251627, 1261637, 1271657, 1281663, 1291667, 1301669, 1311693, 1321697, 1331699, 1341709, 1351721, 1361723, 1371733, 1381741, 1391747, 1401753, 1411759, 1421777, 1431783, 1441787, 1451789, 1461801, 1471811, 1481823, 1491831, 1501847, 1511861, 1521867, 1531871, 1541873, 1551877, 1561879, 1571889, 1581901, 1591907, 1601913, 1611931, 1621933, 1631949, 1641951, 1651973, 1661979, 1671987, 1681993, 1691997, 1701999, 1712003, 1722011, 1732017, 1742027, 1752029, 1762039, 1772053, 1782063, 1792069, 1802081, 1812083, 1822087, 1832089, 1842099, 1852111, 1862113, 1872129, 1882131, 1892137, 1902141, 1912143, 1922153, 1932161, 1942179, 1952203, 1962207, 1972213, 1982221, 1992237, 2002239, 2012243, 2022251, 2032267, 2042269, 2052273, 2062281, 2072287, 2082293, 2092297, 2102309, 2112311, 2122333, 2132339, 2142341, 2152347, 2162351, 2172357, 2182371, 2192377, 2202381, 2212383, 2222389, 2232393, 2242399, 2252411, 2262417, 2272423, 2282437, 2292441, 2302447, 2312459, 2322467, 2332473, 2342477, 2352503, 2362521, 2372531, 2382539, 2392543, 2402549, 2412551, 2422557, 2432579, 2442591, 2452593, 2462609, 2472617, 2482621, 2492633, 2502647, 2512657, 2522659, 2532663, 2542671, 2552677, 2562683, 2572687, 2582689, 2592693, 2602699, 2612707, 2622711, 2632713, 2642719, 2652729, 2662731, 2672741, 2682749, 2692753, 2702767, 2712777, 2722789, 2732791, 2742797, 2752801, 2762803, 2772819, 2782833, 2792837, 2802843, 2812851, 2822857, 2832861, 2842879, 2852887, 2862897, 2872903, 2882909, 2892917, 2902927, 2912939, 2922953, 2932957, 2942963, 2952969, 2962971, 2972999, 2983001, 2993011, 3003019, 3013023, 3023037, 3033041, 3043049, 3053061, 3063067, 3073079, 3083083, 3093089, 3103109, 3113119, 3123121, 3133137, 3143163, 3153167, 3163169, 3173181, 3183187, 3193191, 3203203, 3213209, 3223217, 3233221, 3243229, 3253251, 3263253, 3273257, 3283259, 3293271, 3303299, 3313301, 3323307, 3333313, 3343319, 3353323, 3363329, 3373331, 3383343, 3393347, 3403359, 3413361, 3423371, 3433373, 3443389, 3453391, 3463407, 3473413, 3483433, 3493449, 3503457, 3513461, 3523463, 3533467, 3543469, 3553491, 3563499, 3573511, 3583517, 3593527, 3603529, 3613533, 3623539, 3633541, 3643547, 3653557, 3663559, 3673571, 3683581, 3693583, 3703593, 3713607, 3723613, 3733617, 3743623, 3753631, 3763637, 3773643, 3783659, 3793671, 3803673, 3813677, 3823691, 3833697, 3843701, 3853709, 3863719, 3873727, 3883733, 3893739, 3903761, 3913767, 3923769, 3933779, 3943793, 3953797, 3963803, 3973821, 3983823, 3993833, 4003847, 4013851, 4023853, 4033863, 4043877, 4053881, 4063889, 4073907, 4083911, 4093917, 4103919, 4113923, 4123929, 4133931, 4143943, 4153947, 4163967, 4173989, 4184001, 4194003, 4204007, 4214013, 4224019, 4234021, 4244027, 4254049, 4264051, 4274057, 4284073, 4294079, 4304091, 4314093, 4324099, 4334111, 4344127, 4354129, 4364133, 4374139, 4384153, 4394157, 4404159, 4414177, 4424201, 4434211, 4444217, 4454219, 4464229, 4474231, 4484241, 4494243, 4504253, 4514259, 4524261, 4534271, 4544273, 4554283, 4564289, 4574297, 4584327, 4594337, 4604339, 4614349, 4624357, 4634363, 4644373, 4654391, 4664397, 4674409, 4684421, 4694423, 4704441, 4714447, 4724451, 4734457, 4744463, 4754481, 4764483, 4774493, 4784507, 4794513, 4804517, 4814519, 4824523, 4834547, 4844549, 4854561, 4864567, 4874583, 4884591, 4894597, 4904603, 4914621, 4924637, 4934639, 4944643, 4954649, 4964651, 4974657, 4984663, 4994673, 5004679, 5014691, 5024703, 5034721, 5044723, 5054729, 5064733, 5074751, 5084759, 5094783, 5104787, 5114789, 5124793, 5134799, 5144801, 5154813, 5164817, 5174831, 5184861, 5194871, 5204877, 5214889, 5224903, 5234909, 5244919, 5254931, 5264933, 5274937, 5284943, 5294951, 5304957, 5314967, 5324969, 5334973, 5344987, 5354993, 5364999, 5375003, 5385009, 5395011, 5405021, 5415023, 542503, 5435039, 5445051, 5455059, 5465077, 5475081, 5485087, 549509, 5505099, 5515101, 5525107, 5535113, 5545119, 5555147, 5565153, 5575167, 5585171, 5595179, 5605189, 5615197, 5625209, 563521, 5645227, 565523, 5665231, 5675233, 5685237, 5695261, 5705273, 5715279, 5725281, 5735297, 5745303, 5755309, 5765323, 5775333, 5785347, 5795351, 5805381, 5815387, 5825393, 5835399, 5845407, 585541, 5865413, 5875417, 5885419, 5895431, 5905437, 5915441, 5925443, 5935449, 594547, 5955471, 5965477, 5975479, 5985483, 5995501, 6005503, 6015507, 6025519, 6035521, 6045527, 6055531, 6065557, 6075563, 6085569, 609557, 6105573, 6115581, 6125591, 6135623, 614563, 6155639, 6165641, 6175647, 6185651, 6195653, 6205657, 6215659, 6225669, 6235683, 6245689, 625569, 6265693, 6275701, 628571, 6295711, 6305717, 6315737, 6325741, 6335743, 6345749, 635577, 6365779, 6375783, 6385791, 6395801, 6405807, 6415813, 6425821, 6435827, 6445839, 6455843, 6465849, 6475851, 6485857, 6495861, 6505867, 6515869, 652587, 6535879, 6545881, 6555897, 6565903, 6575923, 6585927, 659593, 6605939, 6615953, 6625981, 6635987, 664599, 6656007, 666601, 6676011, 6686029, 6696037, 6706043, 6716047, 6726053, 6736067, 674607, 6756073, 6766079, 6776089, 6786091, 6796101, 6806113, 6816121, 682613, 6836131, 6846133, 6856143, 6866151, 6876163, 688617, 6896173, 690619, 6916197, 6926199, 6936203, 6946211, 6956217, 6966221, 6976229, 6986247, 6996257, 7006263, 7016269, 7026271, 7036277, 7046287, 7056299, 7066301, 707631, 7086311, 7096317, 7106323, 7116329, 7126337, 7136343, 7146353, 7156359, 7166361, 7176367, 7186373, 7196379, 7206389, 7216397, 722641, 7236421, 7246427, 725643, 7266449, 7276451, 7286469, 729647, 7306473, 7316481, 7326491, 7336521, 7346529, 735653, 7366547, 7376551, 7386553, 7396563, 7406569, 7416571, 7426577, 7436581, 744659, 7456599, 7466607, 747661, 7486619, 7496637, 7506653, 7516659, 7526661, 7536673, 7546679, 7556689, 7566691, 7576701, 7586703, 7596709, 7606719, 761673, 7626733, 7636737, 7646761, 7656763, 766677, 7676779, 7686781, 7696791, 7706793, 7716803, 7726823, 7736827, 7746829, 775683, 7766833, 7776841, 7786857, 7796863, 7806869, 7816871, 7826883, 7836899, 7846907, 785691, 7866911, 7876917, 7886947, 7896949, 7906959, 7916961, 7926967, 7936971, 7946977, 7956983, 7966991, 7976997, 7987001, 799701, 8007013, 8017019, 8027027, 8037039, 8047043, 8057057, 8067069, 8077079, 808709, 8097103, 8107109, 8117121, 8127127, 8137129, 8147151, 8157159, 8167177, 8177187, 818719, 8197193, 8207207, 8217211, 8227213, 8237219, 8247229, 8257237, 8267243, 8277247, 8287253, 829727, 8307283, 8317297, 8327307, 8337309, 8347321, 835733, 8367331, 8377333, 8387349, 8397351, 8407369, 841739, 8427393, 8437411, 8447417, 845743, 8467433, 8477451, 8487457, 8497459, 8507477, 8517481, 8527487, 8537489, 8547499, 8557507, 856751, 8577517, 8587523, 8597529, 8607537, 8617541, 8627547, 8637549, 8647559, 8657561, 866757, 8677573, 8687577, 8697583, 8707589, 8717591, 8727603, 8737607, 874761, 8757621, 8767639, 8777643, 8787649, 8797669, 8807673, 8817681, 8827687, 883769, 8847691, 8857699, 8867703, 8877717, 8887723, 8897727, 890773, 8917741, 8927753, 8937757, 8947759, 8957789, 8967793, 8977817, 8987823, 8997829, 9007841, 9017853, 9027867, 903787, 9047873, 9057877, 9067879, 9077883, 9087901, 9097907, 9107919, 9117927, 9127933, 9137937, 9147949, 9157951, 9167963, 917797, 9187993, 9198009, 9208011, 9218017, 9228039, 9238053, 9248059, 9258069, 9268081, 9278087, 9288089, 929809, 9308093, 9318101, 932811, 9338111, 9348117, 9358123, 9368147, 9378161, 9388167, 9398171, 9408179, 9418191, 9428209, 943821, 9448219, 9458221, 946823, 9478231, 9488233, 9498237, 9508243, 9518263, 9528269, 953827, 9548273, 9558287, 956829, 9578291, 9588293, 9598297, 9608311, 9618317, 9628329, 9638353, 9648363, 9658369, 9668377, 9678387, 9688389, 969839, 9708419, 9718423, 9728429, 9738431, 9748443, 9758447, 9768461, 9778467, 9788501, 9798513, 9808521, 9818527, 982853, 9838537, 9848539, 9858543, 9868563, 987857, 9888573, 9898581, 990859, 9918597, 9928599, 9938609, 9948623, 9958627, 9968629, 997863, 9988641, 9998647, 10008663, 10018669, 10028677, 10038681, 10048689, 10058693, 10068699, 10078707, 10088713, 10098719, 10108731, 10118737, 10128741, 10138747, 10148753, 10158761, 1016877, 10178779, 10188783, 10198803, 10208807, 1021881, 10228819, 10238821, 1024883, 10258831, 10268837, 10278839, 10288849, 10298861, 10308863, 10318867, 1032887, 10338887, 10348893, 10358923, 10368929, 10378933, 10388941, 10398951, 10408963, 10418969, 10428971, 10438999, 10449001, 10459007, 10469011, 10479013, 10489029, 10499041, 10509043, 10519049, 10529059, 10539067, 1054907, 10559091, 10569103, 10579109, 1058911, 10599127); 1060vrfy(min_8600 == 503, "8601: min() called with 1024 args"); 1061 1062/* 1063 * max with 1024 args 1064 */ 1065max_8600 = max(1009, 1013, 1019, 1021, 1031, 1033, 1039, 1049, 1051, 1061, 10661063, 1069, 1087, 1091, 1093, 1097, 1103, 1109, 1117, 1123, 1129, 1151, 1153, 10671163, 1171, 1181, 1187, 1193, 1201, 1213, 1217, 1223, 1229, 1231, 1237, 1249, 10681259, 1277, 1279, 1283, 1289, 1291, 1297, 1301, 1303, 1307, 1319, 1321, 1327, 10691361, 1367, 1373, 1381, 1399, 1409, 1423, 1427, 1429, 1433, 1439, 1447, 1451, 10701453, 1459, 1471, 1481, 1483, 1487, 1489, 1493, 1499, 1511, 1523, 1531, 1543, 10711549, 1553, 1559, 1567, 1571, 1579, 1583, 1597, 1601, 1607, 1609, 1613, 1619, 10721621, 1627, 1637, 1657, 1663, 1667, 1669, 1693, 1697, 1699, 1709, 1721, 1723, 10731733, 1741, 1747, 1753, 1759, 1777, 1783, 1787, 1789, 1801, 1811, 1823, 1831, 10741847, 1861, 1867, 1871, 1873, 1877, 1879, 1889, 1901, 1907, 1913, 1931, 1933, 10751949, 1951, 1973, 1979, 1987, 1993, 1997, 1999, 2003, 2011, 2017, 2027, 2029, 10762039, 2053, 2063, 2069, 2081, 2083, 2087, 2089, 2099, 2111, 2113, 2129, 2131, 10772137, 2141, 2143, 2153, 2161, 2179, 2203, 2207, 2213, 2221, 2237, 2239, 2243, 10782251, 2267, 2269, 2273, 2281, 2287, 2293, 2297, 2309, 2311, 2333, 2339, 2341, 10792347, 2351, 2357, 2371, 2377, 2381, 2383, 2389, 2393, 2399, 2411, 2417, 2423, 10802437, 2441, 2447, 2459, 2467, 2473, 2477, 2503, 2521, 2531, 2539, 2543, 2549, 10812551, 2557, 2579, 2591, 2593, 2609, 2617, 2621, 2633, 2647, 2657, 2659, 2663, 10822671, 2677, 2683, 2687, 2689, 2693, 2699, 2707, 2711, 2713, 2719, 2729, 2731, 10832741, 2749, 2753, 2767, 2777, 2789, 2791, 2797, 2801, 2803, 2819, 2833, 2837, 10842843, 2851, 2857, 2861, 2879, 2887, 2897, 2903, 2909, 2917, 2927, 2939, 2953, 10852957, 2963, 2969, 2971, 2999, 3001, 3011, 3019, 3023, 3037, 3041, 3049, 3061, 10863067, 3079, 3083, 3089, 3109, 3119, 3121, 3137, 3163, 3167, 3169, 3181, 3187, 10873191, 3203, 3209, 3217, 3221, 3229, 3251, 3253, 3257, 3259, 3271, 3299, 3301, 10883307, 3313, 3319, 3323, 3329, 3331, 3343, 3347, 3359, 3361, 3371, 3373, 3389, 10893391, 3407, 3413, 3433, 3449, 3457, 3461, 3463, 3467, 3469, 3491, 3499, 3511, 10903517, 3527, 3529, 3533, 3539, 3541, 3547, 3557, 3559, 3571, 3581, 3583, 3593, 10913607, 3613, 3617, 3623, 3631, 3637, 3643, 3659, 3671, 3673, 3677, 3691, 3697, 10923701, 3709, 3719, 3727, 3733, 3739, 3761, 3767, 3769, 3779, 3793, 3797, 3803, 10933821, 3823, 3833, 3847, 3851, 3853, 3863, 3877, 3881, 3889, 3907, 3911, 3917, 10943919, 3923, 3929, 3931, 3943, 3947, 3967, 3989, 4001, 4003, 4007, 4013, 4019, 10954021, 4027, 4049, 4051, 4057, 4073, 4079, 4091, 4093, 4099, 4111, 4127, 4129, 10964133, 4139, 4153, 4157, 4159, 4177, 4201, 4211, 4217, 4219, 4229, 4231, 4241, 10974243, 4253, 4259, 4261, 4271, 4273, 4283, 4289, 4297, 4327, 4337, 4339, 4349, 10984357, 4363, 4373, 4391, 4397, 4409, 4421, 4423, 4441, 4447, 4451, 4457, 4463, 10994481, 4483, 4493, 4507, 4513, 4517, 4519, 4523, 4547, 4549, 4561, 4567, 4583, 11004591, 4597, 4603, 4621, 4637, 4639, 4643, 4649, 4651, 4657, 4663, 4673, 4679, 11014691, 4703, 4721, 4723, 4729, 4733, 4751, 4759, 4783, 4787, 4789, 4793, 4799, 11024801, 4813, 4817, 4831, 4861, 4871, 4877, 4889, 4903, 4909, 4919, 4931, 4933, 11034937, 4943, 4951, 4957, 4967, 4969, 4973, 4987, 4993, 4999, 5003, 5009, 5011, 11045021, 5023, 503, 5039, 5051, 5059, 5077, 5081, 5087, 509, 5099, 5101, 5107, 11055113, 5119, 5147, 5153, 5167, 5171, 5179, 5189, 5197, 5209, 521, 5227, 523, 11065231, 5233, 5237, 5261, 5273, 5279, 5281, 5297, 5303, 5309, 5323, 5333, 5347, 11075351, 5381, 5387, 5393, 5399, 5407, 541, 5413, 5417, 5419, 5431, 5437, 5441, 11085443, 5449, 547, 5471, 5477, 5479, 5483, 5501, 5503, 5507, 5519, 5521, 5527, 11095531, 5557, 5563, 5569, 557, 5573, 5581, 5591, 5623, 563, 5639, 5641, 5647, 11105651, 5653, 5657, 5659, 5669, 5683, 5689, 569, 5693, 5701, 571, 5711, 5717, 11115737, 5741, 5743, 5749, 577, 5779, 5783, 5791, 5801, 5807, 5813, 5821, 5827, 11125839, 5843, 5849, 5851, 5857, 5861, 5867, 5869, 587, 5879, 5881, 5897, 5903, 11135923, 5927, 593, 5939, 5953, 5981, 5987, 599, 6007, 601, 6011, 6029, 6037, 11146043, 6047, 6053, 6067, 607, 6073, 6079, 6089, 6091, 6101, 6113, 6121, 613, 11156131, 6133, 6143, 6151, 6163, 617, 6173, 619, 6197, 6199, 6203, 6211, 6217, 11166221, 6229, 6247, 6257, 6263, 6269, 6271, 6277, 6287, 6299, 6301, 631, 6311, 11176317, 6323, 6329, 6337, 6343, 6353, 6359, 6361, 6367, 6373, 6379, 6389, 6397, 1118641, 6421, 6427, 643, 6449, 6451, 6469, 647, 6473, 6481, 6491, 6521, 6529, 1119653, 6547, 6551, 6553, 6563, 6569, 6571, 6577, 6581, 659, 6599, 6607, 661, 11206619, 6637, 6653, 6659, 6661, 6673, 6679, 6689, 6691, 6701, 6703, 6709, 6719, 1121673, 6733, 6737, 6761, 6763, 677, 6779, 6781, 6791, 6793, 6803, 6823, 6827, 11226829, 683, 6833, 6841, 6857, 6863, 6869, 6871, 6883, 6899, 6907, 691, 6911, 11236917, 6947, 6949, 6959, 6961, 6967, 6971, 6977, 6983, 6991, 6997, 7001, 701, 11247013, 7019, 7027, 7039, 7043, 7057, 7069, 7079, 709, 7103, 7109, 7121, 7127, 11257129, 7151, 7159, 7177, 7187, 719, 7193, 7207, 7211, 7213, 7219, 7229, 7237, 11267243, 7247, 7253, 727, 7283, 7297, 7307, 7309, 7321, 733, 7331, 7333, 7349, 11277351, 7369, 739, 7393, 7411, 7417, 743, 7433, 7451, 7457, 7459, 7477, 7481, 11287487, 7489, 7499, 7507, 751, 7517, 7523, 7529, 7537, 7541, 7547, 7549, 7559, 11297561, 757, 7573, 7577, 7583, 7589, 7591, 7603, 7607, 761, 7621, 7639, 7643, 11307649, 7669, 7673, 7681, 7687, 769, 7691, 7699, 7703, 7717, 7723, 7727, 773, 11317741, 7753, 7757, 7759, 7789, 7793, 7817, 7823, 7829, 7841, 7853, 7867, 787, 11327873, 7877, 7879, 7883, 7901, 7907, 7919, 7927, 7933, 7937, 7949, 7951, 7963, 1133797, 7993, 8009, 8011, 8017, 8039, 8053, 8059, 8069, 8081, 8087, 8089, 809, 11348093, 8101, 811, 8111, 8117, 8123, 8147, 8161, 8167, 8171, 8179, 8191, 8209, 1135821, 8219, 8221, 823, 8231, 8233, 8237, 8243, 8263, 8269, 827, 8273, 8287, 1136829, 8291, 8293, 8297, 8311, 8317, 8329, 8353, 8363, 8369, 8377, 8387, 8389, 1137839, 8419, 8423, 8429, 8431, 8443, 8447, 8461, 8467, 8501, 8513, 8521, 8527, 1138853, 8537, 8539, 8543, 8563, 857, 8573, 8581, 859, 8597, 8599, 8609, 8623, 11398627, 8629, 863, 8641, 8647, 8663, 8669, 8677, 8681, 8689, 8693, 8699, 8707, 11408713, 8719, 8731, 8737, 8741, 8747, 8753, 8761, 877, 8779, 8783, 8803, 8807, 1141881, 8819, 8821, 883, 8831, 8837, 8839, 8849, 8861, 8863, 8867, 887, 8887, 11428893, 8923, 8929, 8933, 8941, 8951, 8963, 8969, 8971, 8999, 9001, 9007, 9011, 11439013, 9029, 9041, 9043, 9049, 9059, 9067, 907, 9091, 9103, 9109, 911, 9127); 1144vrfy(max_8600 == 9127, "8602: max() called with 1024 args"); 1145 1146/* 1147 * ssq with 1024 args 1148 */ 1149ssq_8600 = ssq(1009, 1013, 1019, 1021, 1031, 1033, 1039, 1049, 1051, 1061, 11501063, 1069, 1087, 1091, 1093, 1097, 1103, 1109, 1117, 1123, 1129, 1151, 1153, 11511163, 1171, 1181, 1187, 1193, 1201, 1213, 1217, 1223, 1229, 1231, 1237, 1249, 11521259, 1277, 1279, 1283, 1289, 1291, 1297, 1301, 1303, 1307, 1319, 1321, 1327, 11531361, 1367, 1373, 1381, 1399, 1409, 1423, 1427, 1429, 1433, 1439, 1447, 1451, 11541453, 1459, 1471, 1481, 1483, 1487, 1489, 1493, 1499, 1511, 1523, 1531, 1543, 11551549, 1553, 1559, 1567, 1571, 1579, 1583, 1597, 1601, 1607, 1609, 1613, 1619, 11561621, 1627, 1637, 1657, 1663, 1667, 1669, 1693, 1697, 1699, 1709, 1721, 1723, 11571733, 1741, 1747, 1753, 1759, 1777, 1783, 1787, 1789, 1801, 1811, 1823, 1831, 11581847, 1861, 1867, 1871, 1873, 1877, 1879, 1889, 1901, 1907, 1913, 1931, 1933, 11591949, 1951, 1973, 1979, 1987, 1993, 1997, 1999, 2003, 2011, 2017, 2027, 2029, 11602039, 2053, 2063, 2069, 2081, 2083, 2087, 2089, 2099, 2111, 2113, 2129, 2131, 11612137, 2141, 2143, 2153, 2161, 2179, 2203, 2207, 2213, 2221, 2237, 2239, 2243, 11622251, 2267, 2269, 2273, 2281, 2287, 2293, 2297, 2309, 2311, 2333, 2339, 2341, 11632347, 2351, 2357, 2371, 2377, 2381, 2383, 2389, 2393, 2399, 2411, 2417, 2423, 11642437, 2441, 2447, 2459, 2467, 2473, 2477, 2503, 2521, 2531, 2539, 2543, 2549, 11652551, 2557, 2579, 2591, 2593, 2609, 2617, 2621, 2633, 2647, 2657, 2659, 2663, 11662671, 2677, 2683, 2687, 2689, 2693, 2699, 2707, 2711, 2713, 2719, 2729, 2731, 11672741, 2749, 2753, 2767, 2777, 2789, 2791, 2797, 2801, 2803, 2819, 2833, 2837, 11682843, 2851, 2857, 2861, 2879, 2887, 2897, 2903, 2909, 2917, 2927, 2939, 2953, 11692957, 2963, 2969, 2971, 2999, 3001, 3011, 3019, 3023, 3037, 3041, 3049, 3061, 11703067, 3079, 3083, 3089, 3109, 3119, 3121, 3137, 3163, 3167, 3169, 3181, 3187, 11713191, 3203, 3209, 3217, 3221, 3229, 3251, 3253, 3257, 3259, 3271, 3299, 3301, 11723307, 3313, 3319, 3323, 3329, 3331, 3343, 3347, 3359, 3361, 3371, 3373, 3389, 11733391, 3407, 3413, 3433, 3449, 3457, 3461, 3463, 3467, 3469, 3491, 3499, 3511, 11743517, 3527, 3529, 3533, 3539, 3541, 3547, 3557, 3559, 3571, 3581, 3583, 3593, 11753607, 3613, 3617, 3623, 3631, 3637, 3643, 3659, 3671, 3673, 3677, 3691, 3697, 11763701, 3709, 3719, 3727, 3733, 3739, 3761, 3767, 3769, 3779, 3793, 3797, 3803, 11773821, 3823, 3833, 3847, 3851, 3853, 3863, 3877, 3881, 3889, 3907, 3911, 3917, 11783919, 3923, 3929, 3931, 3943, 3947, 3967, 3989, 4001, 4003, 4007, 4013, 4019, 11794021, 4027, 4049, 4051, 4057, 4073, 4079, 4091, 4093, 4099, 4111, 4127, 4129, 11804133, 4139, 4153, 4157, 4159, 4177, 4201, 4211, 4217, 4219, 4229, 4231, 4241, 11814243, 4253, 4259, 4261, 4271, 4273, 4283, 4289, 4297, 4327, 4337, 4339, 4349, 11824357, 4363, 4373, 4391, 4397, 4409, 4421, 4423, 4441, 4447, 4451, 4457, 4463, 11834481, 4483, 4493, 4507, 4513, 4517, 4519, 4523, 4547, 4549, 4561, 4567, 4583, 11844591, 4597, 4603, 4621, 4637, 4639, 4643, 4649, 4651, 4657, 4663, 4673, 4679, 11854691, 4703, 4721, 4723, 4729, 4733, 4751, 4759, 4783, 4787, 4789, 4793, 4799, 11864801, 4813, 4817, 4831, 4861, 4871, 4877, 4889, 4903, 4909, 4919, 4931, 4933, 11874937, 4943, 4951, 4957, 4967, 4969, 4973, 4987, 4993, 4999, 5003, 5009, 5011, 11885021, 5023, 503, 5039, 5051, 5059, 5077, 5081, 5087, 509, 5099, 5101, 5107, 11895113, 5119, 5147, 5153, 5167, 5171, 5179, 5189, 5197, 5209, 521, 5227, 523, 11905231, 5233, 5237, 5261, 5273, 5279, 5281, 5297, 5303, 5309, 5323, 5333, 5347, 11915351, 5381, 5387, 5393, 5399, 5407, 541, 5413, 5417, 5419, 5431, 5437, 5441, 11925443, 5449, 547, 5471, 5477, 5479, 5483, 5501, 5503, 5507, 5519, 5521, 5527, 11935531, 5557, 5563, 5569, 557, 5573, 5581, 5591, 5623, 563, 5639, 5641, 5647, 11945651, 5653, 5657, 5659, 5669, 5683, 5689, 569, 5693, 5701, 571, 5711, 5717, 11955737, 5741, 5743, 5749, 577, 5779, 5783, 5791, 5801, 5807, 5813, 5821, 5827, 11965839, 5843, 5849, 5851, 5857, 5861, 5867, 5869, 587, 5879, 5881, 5897, 5903, 11975923, 5927, 593, 5939, 5953, 5981, 5987, 599, 6007, 601, 6011, 6029, 6037, 11986043, 6047, 6053, 6067, 607, 6073, 6079, 6089, 6091, 6101, 6113, 6121, 613, 11996131, 6133, 6143, 6151, 6163, 617, 6173, 619, 6197, 6199, 6203, 6211, 6217, 12006221, 6229, 6247, 6257, 6263, 6269, 6271, 6277, 6287, 6299, 6301, 631, 6311, 12016317, 6323, 6329, 6337, 6343, 6353, 6359, 6361, 6367, 6373, 6379, 6389, 6397, 1202641, 6421, 6427, 643, 6449, 6451, 6469, 647, 6473, 6481, 6491, 6521, 6529, 1203653, 6547, 6551, 6553, 6563, 6569, 6571, 6577, 6581, 659, 6599, 6607, 661, 12046619, 6637, 6653, 6659, 6661, 6673, 6679, 6689, 6691, 6701, 6703, 6709, 6719, 1205673, 6733, 6737, 6761, 6763, 677, 6779, 6781, 6791, 6793, 6803, 6823, 6827, 12066829, 683, 6833, 6841, 6857, 6863, 6869, 6871, 6883, 6899, 6907, 691, 6911, 12076917, 6947, 6949, 6959, 6961, 6967, 6971, 6977, 6983, 6991, 6997, 7001, 701, 12087013, 7019, 7027, 7039, 7043, 7057, 7069, 7079, 709, 7103, 7109, 7121, 7127, 12097129, 7151, 7159, 7177, 7187, 719, 7193, 7207, 7211, 7213, 7219, 7229, 7237, 12107243, 7247, 7253, 727, 7283, 7297, 7307, 7309, 7321, 733, 7331, 7333, 7349, 12117351, 7369, 739, 7393, 7411, 7417, 743, 7433, 7451, 7457, 7459, 7477, 7481, 12127487, 7489, 7499, 7507, 751, 7517, 7523, 7529, 7537, 7541, 7547, 7549, 7559, 12137561, 757, 7573, 7577, 7583, 7589, 7591, 7603, 7607, 761, 7621, 7639, 7643, 12147649, 7669, 7673, 7681, 7687, 769, 7691, 7699, 7703, 7717, 7723, 7727, 773, 12157741, 7753, 7757, 7759, 7789, 7793, 7817, 7823, 7829, 7841, 7853, 7867, 787, 12167873, 7877, 7879, 7883, 7901, 7907, 7919, 7927, 7933, 7937, 7949, 7951, 7963, 1217797, 7993, 8009, 8011, 8017, 8039, 8053, 8059, 8069, 8081, 8087, 8089, 809, 12188093, 8101, 811, 8111, 8117, 8123, 8147, 8161, 8167, 8171, 8179, 8191, 8209, 1219821, 8219, 8221, 823, 8231, 8233, 8237, 8243, 8263, 8269, 827, 8273, 8287, 1220829, 8291, 8293, 8297, 8311, 8317, 8329, 8353, 8363, 8369, 8377, 8387, 8389, 1221839, 8419, 8423, 8429, 8431, 8443, 8447, 8461, 8467, 8501, 8513, 8521, 8527, 1222853, 8537, 8539, 8543, 8563, 857, 8573, 8581, 859, 8597, 8599, 8609, 8623, 12238627, 8629, 863, 8641, 8647, 8663, 8669, 8677, 8681, 8689, 8693, 8699, 8707, 12248713, 8719, 8731, 8737, 8741, 8747, 8753, 8761, 877, 8779, 8783, 8803, 8807, 1225881, 8819, 8821, 883, 8831, 8837, 8839, 8849, 8861, 8863, 8867, 887, 8887, 12268893, 8923, 8929, 8933, 8941, 8951, 8963, 8969, 8971, 8999, 9001, 9007, 9011, 12279013, 9029, 9041, 9043, 9049, 9059, 9067, 907, 9091, 9103, 9109, 911, 9127); 1228vrfy(ssq_8600 == 28585330720, "8603: ssq() called with 1024 args"); 1229 1230/* 1231 * hash with 1024 args 1232 */ 1233hash_8600 = hash(1009, 1013, 1019, 1021, 1031, 1033, 1039, 1049, 1051, 1061, 12341063, 1069, 1087, 1091, 1093, 1097, 1103, 1109, 1117, 1123, 1129, 1151, 1153, 12351163, 1171, 1181, 1187, 1193, 1201, 1213, 1217, 1223, 1229, 1231, 1237, 1249, 12361259, 1277, 1279, 1283, 1289, 1291, 1297, 1301, 1303, 1307, 1319, 1321, 1327, 12371361, 1367, 1373, 1381, 1399, 1409, 1423, 1427, 1429, 1433, 1439, 1447, 1451, 12381453, 1459, 1471, 1481, 1483, 1487, 1489, 1493, 1499, 1511, 1523, 1531, 1543, 12391549, 1553, 1559, 1567, 1571, 1579, 1583, 1597, 1601, 1607, 1609, 1613, 1619, 12401621, 1627, 1637, 1657, 1663, 1667, 1669, 1693, 1697, 1699, 1709, 1721, 1723, 12411733, 1741, 1747, 1753, 1759, 1777, 1783, 1787, 1789, 1801, 1811, 1823, 1831, 12421847, 1861, 1867, 1871, 1873, 1877, 1879, 1889, 1901, 1907, 1913, 1931, 1933, 12431949, 1951, 1973, 1979, 1987, 1993, 1997, 1999, 2003, 2011, 2017, 2027, 2029, 12442039, 2053, 2063, 2069, 2081, 2083, 2087, 2089, 2099, 2111, 2113, 2129, 2131, 12452137, 2141, 2143, 2153, 2161, 2179, 2203, 2207, 2213, 2221, 2237, 2239, 2243, 12462251, 2267, 2269, 2273, 2281, 2287, 2293, 2297, 2309, 2311, 2333, 2339, 2341, 12472347, 2351, 2357, 2371, 2377, 2381, 2383, 2389, 2393, 2399, 2411, 2417, 2423, 12482437, 2441, 2447, 2459, 2467, 2473, 2477, 2503, 2521, 2531, 2539, 2543, 2549, 12492551, 2557, 2579, 2591, 2593, 2609, 2617, 2621, 2633, 2647, 2657, 2659, 2663, 12502671, 2677, 2683, 2687, 2689, 2693, 2699, 2707, 2711, 2713, 2719, 2729, 2731, 12512741, 2749, 2753, 2767, 2777, 2789, 2791, 2797, 2801, 2803, 2819, 2833, 2837, 12522843, 2851, 2857, 2861, 2879, 2887, 2897, 2903, 2909, 2917, 2927, 2939, 2953, 12532957, 2963, 2969, 2971, 2999, 3001, 3011, 3019, 3023, 3037, 3041, 3049, 3061, 12543067, 3079, 3083, 3089, 3109, 3119, 3121, 3137, 3163, 3167, 3169, 3181, 3187, 12553191, 3203, 3209, 3217, 3221, 3229, 3251, 3253, 3257, 3259, 3271, 3299, 3301, 12563307, 3313, 3319, 3323, 3329, 3331, 3343, 3347, 3359, 3361, 3371, 3373, 3389, 12573391, 3407, 3413, 3433, 3449, 3457, 3461, 3463, 3467, 3469, 3491, 3499, 3511, 12583517, 3527, 3529, 3533, 3539, 3541, 3547, 3557, 3559, 3571, 3581, 3583, 3593, 12593607, 3613, 3617, 3623, 3631, 3637, 3643, 3659, 3671, 3673, 3677, 3691, 3697, 12603701, 3709, 3719, 3727, 3733, 3739, 3761, 3767, 3769, 3779, 3793, 3797, 3803, 12613821, 3823, 3833, 3847, 3851, 3853, 3863, 3877, 3881, 3889, 3907, 3911, 3917, 12623919, 3923, 3929, 3931, 3943, 3947, 3967, 3989, 4001, 4003, 4007, 4013, 4019, 12634021, 4027, 4049, 4051, 4057, 4073, 4079, 4091, 4093, 4099, 4111, 4127, 4129, 12644133, 4139, 4153, 4157, 4159, 4177, 4201, 4211, 4217, 4219, 4229, 4231, 4241, 12654243, 4253, 4259, 4261, 4271, 4273, 4283, 4289, 4297, 4327, 4337, 4339, 4349, 12664357, 4363, 4373, 4391, 4397, 4409, 4421, 4423, 4441, 4447, 4451, 4457, 4463, 12674481, 4483, 4493, 4507, 4513, 4517, 4519, 4523, 4547, 4549, 4561, 4567, 4583, 12684591, 4597, 4603, 4621, 4637, 4639, 4643, 4649, 4651, 4657, 4663, 4673, 4679, 12694691, 4703, 4721, 4723, 4729, 4733, 4751, 4759, 4783, 4787, 4789, 4793, 4799, 12704801, 4813, 4817, 4831, 4861, 4871, 4877, 4889, 4903, 4909, 4919, 4931, 4933, 12714937, 4943, 4951, 4957, 4967, 4969, 4973, 4987, 4993, 4999, 5003, 5009, 5011, 12725021, 5023, 503, 5039, 5051, 5059, 5077, 5081, 5087, 509, 5099, 5101, 5107, 12735113, 5119, 5147, 5153, 5167, 5171, 5179, 5189, 5197, 5209, 521, 5227, 523, 12745231, 5233, 5237, 5261, 5273, 5279, 5281, 5297, 5303, 5309, 5323, 5333, 5347, 12755351, 5381, 5387, 5393, 5399, 5407, 541, 5413, 5417, 5419, 5431, 5437, 5441, 12765443, 5449, 547, 5471, 5477, 5479, 5483, 5501, 5503, 5507, 5519, 5521, 5527, 12775531, 5557, 5563, 5569, 557, 5573, 5581, 5591, 5623, 563, 5639, 5641, 5647, 12785651, 5653, 5657, 5659, 5669, 5683, 5689, 569, 5693, 5701, 571, 5711, 5717, 12795737, 5741, 5743, 5749, 577, 5779, 5783, 5791, 5801, 5807, 5813, 5821, 5827, 12805839, 5843, 5849, 5851, 5857, 5861, 5867, 5869, 587, 5879, 5881, 5897, 5903, 12815923, 5927, 593, 5939, 5953, 5981, 5987, 599, 6007, 601, 6011, 6029, 6037, 12826043, 6047, 6053, 6067, 607, 6073, 6079, 6089, 6091, 6101, 6113, 6121, 613, 12836131, 6133, 6143, 6151, 6163, 617, 6173, 619, 6197, 6199, 6203, 6211, 6217, 12846221, 6229, 6247, 6257, 6263, 6269, 6271, 6277, 6287, 6299, 6301, 631, 6311, 12856317, 6323, 6329, 6337, 6343, 6353, 6359, 6361, 6367, 6373, 6379, 6389, 6397, 1286641, 6421, 6427, 643, 6449, 6451, 6469, 647, 6473, 6481, 6491, 6521, 6529, 1287653, 6547, 6551, 6553, 6563, 6569, 6571, 6577, 6581, 659, 6599, 6607, 661, 12886619, 6637, 6653, 6659, 6661, 6673, 6679, 6689, 6691, 6701, 6703, 6709, 6719, 1289673, 6733, 6737, 6761, 6763, 677, 6779, 6781, 6791, 6793, 6803, 6823, 6827, 12906829, 683, 6833, 6841, 6857, 6863, 6869, 6871, 6883, 6899, 6907, 691, 6911, 12916917, 6947, 6949, 6959, 6961, 6967, 6971, 6977, 6983, 6991, 6997, 7001, 701, 12927013, 7019, 7027, 7039, 7043, 7057, 7069, 7079, 709, 7103, 7109, 7121, 7127, 12937129, 7151, 7159, 7177, 7187, 719, 7193, 7207, 7211, 7213, 7219, 7229, 7237, 12947243, 7247, 7253, 727, 7283, 7297, 7307, 7309, 7321, 733, 7331, 7333, 7349, 12957351, 7369, 739, 7393, 7411, 7417, 743, 7433, 7451, 7457, 7459, 7477, 7481, 12967487, 7489, 7499, 7507, 751, 7517, 7523, 7529, 7537, 7541, 7547, 7549, 7559, 12977561, 757, 7573, 7577, 7583, 7589, 7591, 7603, 7607, 761, 7621, 7639, 7643, 12987649, 7669, 7673, 7681, 7687, 769, 7691, 7699, 7703, 7717, 7723, 7727, 773, 12997741, 7753, 7757, 7759, 7789, 7793, 7817, 7823, 7829, 7841, 7853, 7867, 787, 13007873, 7877, 7879, 7883, 7901, 7907, 7919, 7927, 7933, 7937, 7949, 7951, 7963, 1301797, 7993, 8009, 8011, 8017, 8039, 8053, 8059, 8069, 8081, 8087, 8089, 809, 13028093, 8101, 811, 8111, 8117, 8123, 8147, 8161, 8167, 8171, 8179, 8191, 8209, 1303821, 8219, 8221, 823, 8231, 8233, 8237, 8243, 8263, 8269, 827, 8273, 8287, 1304829, 8291, 8293, 8297, 8311, 8317, 8329, 8353, 8363, 8369, 8377, 8387, 8389, 1305839, 8419, 8423, 8429, 8431, 8443, 8447, 8461, 8467, 8501, 8513, 8521, 8527, 1306853, 8537, 8539, 8543, 8563, 857, 8573, 8581, 859, 8597, 8599, 8609, 8623, 13078627, 8629, 863, 8641, 8647, 8663, 8669, 8677, 8681, 8689, 8693, 8699, 8707, 13088713, 8719, 8731, 8737, 8741, 8747, 8753, 8761, 877, 8779, 8783, 8803, 8807, 1309881, 8819, 8821, 883, 8831, 8837, 8839, 8849, 8861, 8863, 8867, 887, 8887, 13108893, 8923, 8929, 8933, 8941, 8951, 8963, 8969, 8971, 8999, 9001, 9007, 9011, 13119013, 9029, 9041, 9043, 9049, 9059, 9067, 907, 9091, 9103, 9109, 911, 9127); 1312vrfy(hash_8600 == 1365716825, "8604: hash() called with 1024 args"); 1313 1314/* 1315 * int(hmean with 1024 args) 1316 */ 1317hmean_8600 = int( 1318 hmean(1009, 1013, 1019, 1021, 1031, 1033, 1039, 1049, 1051, 1061, 13191063, 1069, 1087, 1091, 1093, 1097, 1103, 1109, 1117, 1123, 1129, 1151, 1153, 13201163, 1171, 1181, 1187, 1193, 1201, 1213, 1217, 1223, 1229, 1231, 1237, 1249, 13211259, 1277, 1279, 1283, 1289, 1291, 1297, 1301, 1303, 1307, 1319, 1321, 1327, 13221361, 1367, 1373, 1381, 1399, 1409, 1423, 1427, 1429, 1433, 1439, 1447, 1451, 13231453, 1459, 1471, 1481, 1483, 1487, 1489, 1493, 1499, 1511, 1523, 1531, 1543, 13241549, 1553, 1559, 1567, 1571, 1579, 1583, 1597, 1601, 1607, 1609, 1613, 1619, 13251621, 1627, 1637, 1657, 1663, 1667, 1669, 1693, 1697, 1699, 1709, 1721, 1723, 13261733, 1741, 1747, 1753, 1759, 1777, 1783, 1787, 1789, 1801, 1811, 1823, 1831, 13271847, 1861, 1867, 1871, 1873, 1877, 1879, 1889, 1901, 1907, 1913, 1931, 1933, 13281949, 1951, 1973, 1979, 1987, 1993, 1997, 1999, 2003, 2011, 2017, 2027, 2029, 13292039, 2053, 2063, 2069, 2081, 2083, 2087, 2089, 2099, 2111, 2113, 2129, 2131, 13302137, 2141, 2143, 2153, 2161, 2179, 2203, 2207, 2213, 2221, 2237, 2239, 2243, 13312251, 2267, 2269, 2273, 2281, 2287, 2293, 2297, 2309, 2311, 2333, 2339, 2341, 13322347, 2351, 2357, 2371, 2377, 2381, 2383, 2389, 2393, 2399, 2411, 2417, 2423, 13332437, 2441, 2447, 2459, 2467, 2473, 2477, 2503, 2521, 2531, 2539, 2543, 2549, 13342551, 2557, 2579, 2591, 2593, 2609, 2617, 2621, 2633, 2647, 2657, 2659, 2663, 13352671, 2677, 2683, 2687, 2689, 2693, 2699, 2707, 2711, 2713, 2719, 2729, 2731, 13362741, 2749, 2753, 2767, 2777, 2789, 2791, 2797, 2801, 2803, 2819, 2833, 2837, 13372843, 2851, 2857, 2861, 2879, 2887, 2897, 2903, 2909, 2917, 2927, 2939, 2953, 13382957, 2963, 2969, 2971, 2999, 3001, 3011, 3019, 3023, 3037, 3041, 3049, 3061, 13393067, 3079, 3083, 3089, 3109, 3119, 3121, 3137, 3163, 3167, 3169, 3181, 3187, 13403191, 3203, 3209, 3217, 3221, 3229, 3251, 3253, 3257, 3259, 3271, 3299, 3301, 13413307, 3313, 3319, 3323, 3329, 3331, 3343, 3347, 3359, 3361, 3371, 3373, 3389, 13423391, 3407, 3413, 3433, 3449, 3457, 3461, 3463, 3467, 3469, 3491, 3499, 3511, 13433517, 3527, 3529, 3533, 3539, 3541, 3547, 3557, 3559, 3571, 3581, 3583, 3593, 13443607, 3613, 3617, 3623, 3631, 3637, 3643, 3659, 3671, 3673, 3677, 3691, 3697, 13453701, 3709, 3719, 3727, 3733, 3739, 3761, 3767, 3769, 3779, 3793, 3797, 3803, 13463821, 3823, 3833, 3847, 3851, 3853, 3863, 3877, 3881, 3889, 3907, 3911, 3917, 13473919, 3923, 3929, 3931, 3943, 3947, 3967, 3989, 4001, 4003, 4007, 4013, 4019, 13484021, 4027, 4049, 4051, 4057, 4073, 4079, 4091, 4093, 4099, 4111, 4127, 4129, 13494133, 4139, 4153, 4157, 4159, 4177, 4201, 4211, 4217, 4219, 4229, 4231, 4241, 13504243, 4253, 4259, 4261, 4271, 4273, 4283, 4289, 4297, 4327, 4337, 4339, 4349, 13514357, 4363, 4373, 4391, 4397, 4409, 4421, 4423, 4441, 4447, 4451, 4457, 4463, 13524481, 4483, 4493, 4507, 4513, 4517, 4519, 4523, 4547, 4549, 4561, 4567, 4583, 13534591, 4597, 4603, 4621, 4637, 4639, 4643, 4649, 4651, 4657, 4663, 4673, 4679, 13544691, 4703, 4721, 4723, 4729, 4733, 4751, 4759, 4783, 4787, 4789, 4793, 4799, 13554801, 4813, 4817, 4831, 4861, 4871, 4877, 4889, 4903, 4909, 4919, 4931, 4933, 13564937, 4943, 4951, 4957, 4967, 4969, 4973, 4987, 4993, 4999, 5003, 5009, 5011, 13575021, 5023, 503, 5039, 5051, 5059, 5077, 5081, 5087, 509, 5099, 5101, 5107, 13585113, 5119, 5147, 5153, 5167, 5171, 5179, 5189, 5197, 5209, 521, 5227, 523, 13595231, 5233, 5237, 5261, 5273, 5279, 5281, 5297, 5303, 5309, 5323, 5333, 5347, 13605351, 5381, 5387, 5393, 5399, 5407, 541, 5413, 5417, 5419, 5431, 5437, 5441, 13615443, 5449, 547, 5471, 5477, 5479, 5483, 5501, 5503, 5507, 5519, 5521, 5527, 13625531, 5557, 5563, 5569, 557, 5573, 5581, 5591, 5623, 563, 5639, 5641, 5647, 13635651, 5653, 5657, 5659, 5669, 5683, 5689, 569, 5693, 5701, 571, 5711, 5717, 13645737, 5741, 5743, 5749, 577, 5779, 5783, 5791, 5801, 5807, 5813, 5821, 5827, 13655839, 5843, 5849, 5851, 5857, 5861, 5867, 5869, 587, 5879, 5881, 5897, 5903, 13665923, 5927, 593, 5939, 5953, 5981, 5987, 599, 6007, 601, 6011, 6029, 6037, 13676043, 6047, 6053, 6067, 607, 6073, 6079, 6089, 6091, 6101, 6113, 6121, 613, 13686131, 6133, 6143, 6151, 6163, 617, 6173, 619, 6197, 6199, 6203, 6211, 6217, 13696221, 6229, 6247, 6257, 6263, 6269, 6271, 6277, 6287, 6299, 6301, 631, 6311, 13706317, 6323, 6329, 6337, 6343, 6353, 6359, 6361, 6367, 6373, 6379, 6389, 6397, 1371641, 6421, 6427, 643, 6449, 6451, 6469, 647, 6473, 6481, 6491, 6521, 6529, 1372653, 6547, 6551, 6553, 6563, 6569, 6571, 6577, 6581, 659, 6599, 6607, 661, 13736619, 6637, 6653, 6659, 6661, 6673, 6679, 6689, 6691, 6701, 6703, 6709, 6719, 1374673, 6733, 6737, 6761, 6763, 677, 6779, 6781, 6791, 6793, 6803, 6823, 6827, 13756829, 683, 6833, 6841, 6857, 6863, 6869, 6871, 6883, 6899, 6907, 691, 6911, 13766917, 6947, 6949, 6959, 6961, 6967, 6971, 6977, 6983, 6991, 6997, 7001, 701, 13777013, 7019, 7027, 7039, 7043, 7057, 7069, 7079, 709, 7103, 7109, 7121, 7127, 13787129, 7151, 7159, 7177, 7187, 719, 7193, 7207, 7211, 7213, 7219, 7229, 7237, 13797243, 7247, 7253, 727, 7283, 7297, 7307, 7309, 7321, 733, 7331, 7333, 7349, 13807351, 7369, 739, 7393, 7411, 7417, 743, 7433, 7451, 7457, 7459, 7477, 7481, 13817487, 7489, 7499, 7507, 751, 7517, 7523, 7529, 7537, 7541, 7547, 7549, 7559, 13827561, 757, 7573, 7577, 7583, 7589, 7591, 7603, 7607, 761, 7621, 7639, 7643, 13837649, 7669, 7673, 7681, 7687, 769, 7691, 7699, 7703, 7717, 7723, 7727, 773, 13847741, 7753, 7757, 7759, 7789, 7793, 7817, 7823, 7829, 7841, 7853, 7867, 787, 13857873, 7877, 7879, 7883, 7901, 7907, 7919, 7927, 7933, 7937, 7949, 7951, 7963, 1386797, 7993, 8009, 8011, 8017, 8039, 8053, 8059, 8069, 8081, 8087, 8089, 809, 13878093, 8101, 811, 8111, 8117, 8123, 8147, 8161, 8167, 8171, 8179, 8191, 8209, 1388821, 8219, 8221, 823, 8231, 8233, 8237, 8243, 8263, 8269, 827, 8273, 8287, 1389829, 8291, 8293, 8297, 8311, 8317, 8329, 8353, 8363, 8369, 8377, 8387, 8389, 1390839, 8419, 8423, 8429, 8431, 8443, 8447, 8461, 8467, 8501, 8513, 8521, 8527, 1391853, 8537, 8539, 8543, 8563, 857, 8573, 8581, 859, 8597, 8599, 8609, 8623, 13928627, 8629, 863, 8641, 8647, 8663, 8669, 8677, 8681, 8689, 8693, 8699, 8707, 13938713, 8719, 8731, 8737, 8741, 8747, 8753, 8761, 877, 8779, 8783, 8803, 8807, 1394881, 8819, 8821, 883, 8831, 8837, 8839, 8849, 8861, 8863, 8867, 887, 8887, 13958893, 8923, 8929, 8933, 8941, 8951, 8963, 8969, 8971, 8999, 9001, 9007, 9011, 13969013, 9029, 9041, 9043, 9049, 9059, 9067, 907, 9091, 9103, 9109, 911, 9127)); 1397vrfy(hmean_8600 == 2816, "8605: int(hmean()) called with 1024 args"); 1398 1399/* 1400 * finished with 8600 tests 1401 */ 1402print '8606: Ending test_1024args'; 1403