nohup: ignoring input NMAX=16 NS=1600 primes<=100000 (9591) prec=400 s box 1/1600 s box 2/1600 s box 3/1600 s box 4/1600 s box 5/1600 s box 6/1600 s box 7/1600 s box 8/1600 s box 9/1600 s box 10/1600 s box 11/1600 s box 12/1600 s box 13/1600 s box 14/1600 s box 15/1600 s box 16/1600 s box 17/1600 s box 18/1600 s box 19/1600 s box 20/1600 s box 21/1600 s box 22/1600 s box 23/1600 s box 24/1600 s box 25/1600 s box 26/1600 s box 27/1600 s box 28/1600 s box 29/1600 s box 30/1600 s box 31/1600 s box 32/1600 s box 33/1600 s box 34/1600 s box 35/1600 s box 36/1600 s box 37/1600 s box 38/1600 s box 39/1600 s box 40/1600 s box 41/1600 s box 42/1600 s box 43/1600 s box 44/1600 s box 45/1600 s box 46/1600 s box 47/1600 s box 48/1600 s box 49/1600 s box 50/1600 s box 51/1600 s box 52/1600 s box 53/1600 s box 54/1600 s box 55/1600 s box 56/1600 s box 57/1600 s box 58/1600 s box 59/1600 s box 60/1600 s box 61/1600 s box 62/1600 s box 63/1600 s box 64/1600 s box 65/1600 s box 66/1600 s box 67/1600 s box 68/1600 s box 69/1600 s box 70/1600 s box 71/1600 s box 72/1600 s box 73/1600 s box 74/1600 s box 75/1600 s box 76/1600 s box 77/1600 s box 78/1600 s box 79/1600 s box 80/1600 s box 81/1600 s box 82/1600 s box 83/1600 s box 84/1600 s box 85/1600 s box 86/1600 s box 87/1600 s box 88/1600 s box 89/1600 s box 90/1600 s box 91/1600 s box 92/1600 s box 93/1600 s box 94/1600 s box 95/1600 s box 96/1600 s box 97/1600 s box 98/1600 s box 99/1600 s box 100/1600 s box 101/1600 s box 102/1600 s box 103/1600 s box 104/1600 s box 105/1600 s box 106/1600 s box 107/1600 s box 108/1600 s box 109/1600 s box 110/1600 s box 111/1600 s box 112/1600 s box 113/1600 s box 114/1600 s box 115/1600 s box 116/1600 s box 117/1600 s box 118/1600 s box 119/1600 s box 120/1600 s box 121/1600 s box 122/1600 s box 123/1600 s box 124/1600 s box 125/1600 s box 126/1600 s box 127/1600 s box 128/1600 s box 129/1600 s box 130/1600 s box 131/1600 s box 132/1600 s box 133/1600 s box 134/1600 s box 135/1600 s box 136/1600 s box 137/1600 s box 138/1600 s box 139/1600 s box 140/1600 s box 141/1600 s box 142/1600 s box 143/1600 s box 144/1600 s box 145/1600 s box 146/1600 s box 147/1600 s box 148/1600 s box 149/1600 s box 150/1600 s box 151/1600 s box 152/1600 s box 153/1600 s box 154/1600 s box 155/1600 s box 156/1600 s box 157/1600 s box 158/1600 s box 159/1600 s box 160/1600 s box 161/1600 s box 162/1600 s box 163/1600 s box 164/1600 s box 165/1600 s box 166/1600 s box 167/1600 s box 168/1600 s box 169/1600 s box 170/1600 s box 171/1600 s box 172/1600 s box 173/1600 s box 174/1600 s box 175/1600 s box 176/1600 s box 177/1600 s box 178/1600 s box 179/1600 s box 180/1600 s box 181/1600 s box 182/1600 s box 183/1600 s box 184/1600 s box 185/1600 s box 186/1600 s box 187/1600 s box 188/1600 s box 189/1600 s box 190/1600 s box 191/1600 s box 192/1600 s box 193/1600 s box 194/1600 s box 195/1600 s box 196/1600 s box 197/1600 s box 198/1600 s box 199/1600 s box 200/1600 s box 201/1600 s box 202/1600 s box 203/1600 s box 204/1600 s box 205/1600 s box 206/1600 s box 207/1600 s box 208/1600 s box 209/1600 s box 210/1600 s box 211/1600 s box 212/1600 s box 213/1600 s box 214/1600 s box 215/1600 s box 216/1600 s box 217/1600 s box 218/1600 s box 219/1600 s box 220/1600 s box 221/1600 s box 222/1600 s box 223/1600 s box 224/1600 s box 225/1600 s box 226/1600 s box 227/1600 s box 228/1600 s box 229/1600 s box 230/1600 s box 231/1600 s box 232/1600 s box 233/1600 s box 234/1600 s box 235/1600 s box 236/1600 s box 237/1600 s box 238/1600 s box 239/1600 s box 240/1600 s box 241/1600 s box 242/1600 s box 243/1600 s box 244/1600 s box 245/1600 s box 246/1600 s box 247/1600 s box 248/1600 s box 249/1600 s box 250/1600 s box 251/1600 s box 252/1600 s box 253/1600 s box 254/1600 s box 255/1600 s box 256/1600 s box 257/1600 s box 258/1600 s box 259/1600 s box 260/1600 s box 261/1600 s box 262/1600 s box 263/1600 s box 264/1600 s box 265/1600 s box 266/1600 s box 267/1600 s box 268/1600 s box 269/1600 s box 270/1600 s box 271/1600 s box 272/1600 s box 273/1600 s box 274/1600 s box 275/1600 s box 276/1600 s box 277/1600 s box 278/1600 s box 279/1600 s box 280/1600 s box 281/1600 s box 282/1600 s box 283/1600 s box 284/1600 s box 285/1600 s box 286/1600 s box 287/1600 s box 288/1600 s box 289/1600 s box 290/1600 s box 291/1600 s box 292/1600 s box 293/1600 s box 294/1600 s box 295/1600 s box 296/1600 s box 297/1600 s box 298/1600 s box 299/1600 s box 300/1600 s box 301/1600 s box 302/1600 s box 303/1600 s box 304/1600 s box 305/1600 s box 306/1600 s box 307/1600 s box 308/1600 s box 309/1600 s box 310/1600 s box 311/1600 s box 312/1600 s box 313/1600 s box 314/1600 s box 315/1600 s box 316/1600 s box 317/1600 s box 318/1600 s box 319/1600 s box 320/1600 s box 321/1600 s box 322/1600 s box 323/1600 s box 324/1600 s box 325/1600 s box 326/1600 s box 327/1600 s box 328/1600 s box 329/1600 s box 330/1600 s box 331/1600 s box 332/1600 s box 333/1600 s box 334/1600 s box 335/1600 s box 336/1600 s box 337/1600 s box 338/1600 s box 339/1600 s box 340/1600 s box 341/1600 s box 342/1600 s box 343/1600 s box 344/1600 s box 345/1600 s box 346/1600 s box 347/1600 s box 348/1600 s box 349/1600 s box 350/1600 s box 351/1600 s box 352/1600 s box 353/1600 s box 354/1600 s box 355/1600 s box 356/1600 s box 357/1600 s box 358/1600 s box 359/1600 s box 360/1600 s box 361/1600 s box 362/1600 s box 363/1600 s box 364/1600 s box 365/1600 s box 366/1600 s box 367/1600 s box 368/1600 s box 369/1600 s box 370/1600 s box 371/1600 s box 372/1600 s box 373/1600 s box 374/1600 s box 375/1600 s box 376/1600 s box 377/1600 s box 378/1600 s box 379/1600 s box 380/1600 s box 381/1600 s box 382/1600 s box 383/1600 s box 384/1600 s box 385/1600 s box 386/1600 s box 387/1600 s box 388/1600 s box 389/1600 s box 390/1600 s box 391/1600 s box 392/1600 s box 393/1600 s box 394/1600 s box 395/1600 s box 396/1600 s box 397/1600 s box 398/1600 s box 399/1600 s box 400/1600 s box 401/1600 s box 402/1600 s box 403/1600 s box 404/1600 s box 405/1600 s box 406/1600 s box 407/1600 s box 408/1600 s box 409/1600 s box 410/1600 s box 411/1600 s box 412/1600 s box 413/1600 s box 414/1600 s box 415/1600 s box 416/1600 s box 417/1600 s box 418/1600 s box 419/1600 s box 420/1600 s box 421/1600 s box 422/1600 s box 423/1600 s box 424/1600 s box 425/1600 s box 426/1600 s box 427/1600 s box 428/1600 s box 429/1600 s box 430/1600 s box 431/1600 s box 432/1600 s box 433/1600 s box 434/1600 s box 435/1600 s box 436/1600 s box 437/1600 s box 438/1600 s box 439/1600 s box 440/1600 s box 441/1600 s box 442/1600 s box 443/1600 s box 444/1600 s box 445/1600 s box 446/1600 s box 447/1600 s box 448/1600 s box 449/1600 s box 450/1600 s box 451/1600 s box 452/1600 s box 453/1600 s box 454/1600 s box 455/1600 s box 456/1600 s box 457/1600 s box 458/1600 s box 459/1600 s box 460/1600 s box 461/1600 s box 462/1600 s box 463/1600 s box 464/1600 s box 465/1600 s box 466/1600 s box 467/1600 s box 468/1600 s box 469/1600 s box 470/1600 s box 471/1600 s box 472/1600 s box 473/1600 s box 474/1600 s box 475/1600 s box 476/1600 s box 477/1600 s box 478/1600 s box 479/1600 s box 480/1600 s box 481/1600 s box 482/1600 s box 483/1600 s box 484/1600 s box 485/1600 s box 486/1600 s box 487/1600 s box 488/1600 s box 489/1600 s box 490/1600 s box 491/1600 s box 492/1600 s box 493/1600 s box 494/1600 s box 495/1600 s box 496/1600 s box 497/1600 s box 498/1600 s box 499/1600 s box 500/1600 s box 501/1600 s box 502/1600 s box 503/1600 s box 504/1600 s box 505/1600 s box 506/1600 s box 507/1600 s box 508/1600 s box 509/1600 s box 510/1600 s box 511/1600 s box 512/1600 s box 513/1600 s box 514/1600 s box 515/1600 s box 516/1600 s box 517/1600 s box 518/1600 s box 519/1600 s box 520/1600 s box 521/1600 s box 522/1600 s box 523/1600 s box 524/1600 s box 525/1600 s box 526/1600 s box 527/1600 s box 528/1600 s box 529/1600 s box 530/1600 s box 531/1600 s box 532/1600 s box 533/1600 s box 534/1600 s box 535/1600 s box 536/1600 s box 537/1600 s box 538/1600 s box 539/1600 s box 540/1600 s box 541/1600 s box 542/1600 s box 543/1600 s box 544/1600 s box 545/1600 s box 546/1600 s box 547/1600 s box 548/1600 s box 549/1600 s box 550/1600 s box 551/1600 s box 552/1600 s box 553/1600 s box 554/1600 s box 555/1600 s box 556/1600 s box 557/1600 s box 558/1600 s box 559/1600 s box 560/1600 s box 561/1600 s box 562/1600 s box 563/1600 s box 564/1600 s box 565/1600 s box 566/1600 s box 567/1600 s box 568/1600 s box 569/1600 s box 570/1600 s box 571/1600 s box 572/1600 s box 573/1600 s box 574/1600 s box 575/1600 s box 576/1600 s box 577/1600 s box 578/1600 s box 579/1600 s box 580/1600 s box 581/1600 s box 582/1600 s box 583/1600 s box 584/1600 s box 585/1600 s box 586/1600 s box 587/1600 s box 588/1600 s box 589/1600 s box 590/1600 s box 591/1600 s box 592/1600 s box 593/1600 s box 594/1600 s box 595/1600 s box 596/1600 s box 597/1600 s box 598/1600 s box 599/1600 s box 600/1600 s box 601/1600 s box 602/1600 s box 603/1600 s box 604/1600 s box 605/1600 s box 606/1600 s box 607/1600 s box 608/1600 s box 609/1600 s box 610/1600 s box 611/1600 s box 612/1600 s box 613/1600 s box 614/1600 s box 615/1600 s box 616/1600 s box 617/1600 s box 618/1600 s box 619/1600 s box 620/1600 s box 621/1600 s box 622/1600 s box 623/1600 s box 624/1600 s box 625/1600 s box 626/1600 s box 627/1600 s box 628/1600 s box 629/1600 s box 630/1600 s box 631/1600 s box 632/1600 s box 633/1600 s box 634/1600 s box 635/1600 s box 636/1600 s box 637/1600 s box 638/1600 s box 639/1600 s box 640/1600 s box 641/1600 s box 642/1600 s box 643/1600 s box 644/1600 s box 645/1600 s box 646/1600 s box 647/1600 s box 648/1600 s box 649/1600 s box 650/1600 s box 651/1600 s box 652/1600 s box 653/1600 s box 654/1600 s box 655/1600 s box 656/1600 s box 657/1600 s box 658/1600 s box 659/1600 s box 660/1600 s box 661/1600 s box 662/1600 s box 663/1600 s box 664/1600 s box 665/1600 s box 666/1600 s box 667/1600 s box 668/1600 s box 669/1600 s box 670/1600 s box 671/1600 s box 672/1600 s box 673/1600 s box 674/1600 s box 675/1600 s box 676/1600 s box 677/1600 s box 678/1600 s box 679/1600 s box 680/1600 s box 681/1600 s box 682/1600 s box 683/1600 s box 684/1600 s box 685/1600 s box 686/1600 s box 687/1600 s box 688/1600 s box 689/1600 s box 690/1600 s box 691/1600 s box 692/1600 s box 693/1600 s box 694/1600 s box 695/1600 s box 696/1600 s box 697/1600 s box 698/1600 s box 699/1600 s box 700/1600 s box 701/1600 s box 702/1600 s box 703/1600 s box 704/1600 s box 705/1600 s box 706/1600 s box 707/1600 s box 708/1600 s box 709/1600 s box 710/1600 s box 711/1600 s box 712/1600 s box 713/1600 s box 714/1600 s box 715/1600 s box 716/1600 s box 717/1600 s box 718/1600 s box 719/1600 s box 720/1600 s box 721/1600 s box 722/1600 s box 723/1600 s box 724/1600 s box 725/1600 s box 726/1600 s box 727/1600 s box 728/1600 s box 729/1600 s box 730/1600 s box 731/1600 s box 732/1600 s box 733/1600 s box 734/1600 s box 735/1600 s box 736/1600 s box 737/1600 s box 738/1600 s box 739/1600 s box 740/1600 s box 741/1600 s box 742/1600 s box 743/1600 s box 744/1600 s box 745/1600 s box 746/1600 s box 747/1600 s box 748/1600 s box 749/1600 s box 750/1600 s box 751/1600 s box 752/1600 s box 753/1600 s box 754/1600 s box 755/1600 s box 756/1600 s box 757/1600 s box 758/1600 s box 759/1600 s box 760/1600 s box 761/1600 s box 762/1600 s box 763/1600 s box 764/1600 s box 765/1600 s box 766/1600 s box 767/1600 s box 768/1600 s box 769/1600 s box 770/1600 s box 771/1600 s box 772/1600 s box 773/1600 s box 774/1600 s box 775/1600 s box 776/1600 s box 777/1600 s box 778/1600 s box 779/1600 s box 780/1600 s box 781/1600 s box 782/1600 s box 783/1600 s box 784/1600 s box 785/1600 s box 786/1600 s box 787/1600 s box 788/1600 s box 789/1600 s box 790/1600 s box 791/1600 s box 792/1600 s box 793/1600 s box 794/1600 s box 795/1600 s box 796/1600 s box 797/1600 s box 798/1600 s box 799/1600 s box 800/1600 s box 801/1600 s box 802/1600 s box 803/1600 s box 804/1600 s box 805/1600 s box 806/1600 s box 807/1600 s box 808/1600 s box 809/1600 s box 810/1600 s box 811/1600 s box 812/1600 s box 813/1600 s box 814/1600 s box 815/1600 s box 816/1600 s box 817/1600 s box 818/1600 s box 819/1600 s box 820/1600 s box 821/1600 s box 822/1600 s box 823/1600 s box 824/1600 s box 825/1600 s box 826/1600 s box 827/1600 s box 828/1600 s box 829/1600 s box 830/1600 s box 831/1600 s box 832/1600 s box 833/1600 s box 834/1600 s box 835/1600 s box 836/1600 s box 837/1600 s box 838/1600 s box 839/1600 s box 840/1600 s box 841/1600 s box 842/1600 s box 843/1600 s box 844/1600 s box 845/1600 s box 846/1600 s box 847/1600 s box 848/1600 s box 849/1600 s box 850/1600 s box 851/1600 s box 852/1600 s box 853/1600 s box 854/1600 s box 855/1600 s box 856/1600 s box 857/1600 s box 858/1600 s box 859/1600 s box 860/1600 s box 861/1600 s box 862/1600 s box 863/1600 s box 864/1600 s box 865/1600 s box 866/1600 s box 867/1600 s box 868/1600 s box 869/1600 s box 870/1600 s box 871/1600 s box 872/1600 s box 873/1600 s box 874/1600 s box 875/1600 s box 876/1600 s box 877/1600 s box 878/1600 s box 879/1600 s box 880/1600 s box 881/1600 s box 882/1600 s box 883/1600 s box 884/1600 s box 885/1600 s box 886/1600 s box 887/1600 s box 888/1600 s box 889/1600 s box 890/1600 s box 891/1600 s box 892/1600 s box 893/1600 s box 894/1600 s box 895/1600 s box 896/1600 s box 897/1600 s box 898/1600 s box 899/1600 s box 900/1600 s box 901/1600 s box 902/1600 s box 903/1600 s box 904/1600 s box 905/1600 s box 906/1600 s box 907/1600 s box 908/1600 s box 909/1600 s box 910/1600 s box 911/1600 s box 912/1600 s box 913/1600 s box 914/1600 s box 915/1600 s box 916/1600 s box 917/1600 s box 918/1600 s box 919/1600 s box 920/1600 s box 921/1600 s box 922/1600 s box 923/1600 s box 924/1600 s box 925/1600 s box 926/1600 s box 927/1600 s box 928/1600 s box 929/1600 s box 930/1600 s box 931/1600 s box 932/1600 s box 933/1600 s box 934/1600 s box 935/1600 s box 936/1600 s box 937/1600 s box 938/1600 s box 939/1600 s box 940/1600 s box 941/1600 s box 942/1600 s box 943/1600 s box 944/1600 s box 945/1600 s box 946/1600 s box 947/1600 s box 948/1600 s box 949/1600 s box 950/1600 s box 951/1600 s box 952/1600 s box 953/1600 s box 954/1600 s box 955/1600 s box 956/1600 s box 957/1600 s box 958/1600 s box 959/1600 s box 960/1600 s box 961/1600 s box 962/1600 s box 963/1600 s box 964/1600 s box 965/1600 s box 966/1600 s box 967/1600 s box 968/1600 s box 969/1600 s box 970/1600 s box 971/1600 s box 972/1600 s box 973/1600 s box 974/1600 s box 975/1600 s box 976/1600 s box 977/1600 s box 978/1600 s box 979/1600 s box 980/1600 s box 981/1600 s box 982/1600 s box 983/1600 s box 984/1600 s box 985/1600 s box 986/1600 s box 987/1600 s box 988/1600 s box 989/1600 s box 990/1600 s box 991/1600 s box 992/1600 s box 993/1600 s box 994/1600 s box 995/1600 s box 996/1600 s box 997/1600 s box 998/1600 s box 999/1600 s box 1000/1600 s box 1001/1600 s box 1002/1600 s box 1003/1600 s box 1004/1600 s box 1005/1600 s box 1006/1600 s box 1007/1600 s box 1008/1600 s box 1009/1600 s box 1010/1600 s box 1011/1600 s box 1012/1600 s box 1013/1600 s box 1014/1600 s box 1015/1600 s box 1016/1600 s box 1017/1600 s box 1018/1600 s box 1019/1600 s box 1020/1600 s box 1021/1600 s box 1022/1600 s box 1023/1600 s box 1024/1600 s box 1025/1600 s box 1026/1600 s box 1027/1600 s box 1028/1600 s box 1029/1600 s box 1030/1600 s box 1031/1600 s box 1032/1600 s box 1033/1600 s box 1034/1600 s box 1035/1600 s box 1036/1600 s box 1037/1600 s box 1038/1600 s box 1039/1600 s box 1040/1600 s box 1041/1600 s box 1042/1600 s box 1043/1600 s box 1044/1600 s box 1045/1600 s box 1046/1600 s box 1047/1600 s box 1048/1600 s box 1049/1600 s box 1050/1600 s box 1051/1600 s box 1052/1600 s box 1053/1600 s box 1054/1600 s box 1055/1600 s box 1056/1600 s box 1057/1600 s box 1058/1600 s box 1059/1600 s box 1060/1600 s box 1061/1600 s box 1062/1600 s box 1063/1600 s box 1064/1600 s box 1065/1600 s box 1066/1600 s box 1067/1600 s box 1068/1600 s box 1069/1600 s box 1070/1600 s box 1071/1600 s box 1072/1600 s box 1073/1600 s box 1074/1600 s box 1075/1600 s box 1076/1600 s box 1077/1600 s box 1078/1600 s box 1079/1600 s box 1080/1600 s box 1081/1600 s box 1082/1600 s box 1083/1600 s box 1084/1600 s box 1085/1600 s box 1086/1600 s box 1087/1600 s box 1088/1600 s box 1089/1600 s box 1090/1600 s box 1091/1600 s box 1092/1600 s box 1093/1600 s box 1094/1600 s box 1095/1600 s box 1096/1600 s box 1097/1600 s box 1098/1600 s box 1099/1600 s box 1100/1600 s box 1101/1600 s box 1102/1600 s box 1103/1600 s box 1104/1600 s box 1105/1600 s box 1106/1600 s box 1107/1600 s box 1108/1600 s box 1109/1600 s box 1110/1600 s box 1111/1600 s box 1112/1600 s box 1113/1600 s box 1114/1600 s box 1115/1600 s box 1116/1600 s box 1117/1600 s box 1118/1600 s box 1119/1600 s box 1120/1600 s box 1121/1600 s box 1122/1600 s box 1123/1600 s box 1124/1600 s box 1125/1600 s box 1126/1600 s box 1127/1600 s box 1128/1600 s box 1129/1600 s box 1130/1600 s box 1131/1600 s box 1132/1600 s box 1133/1600 s box 1134/1600 s box 1135/1600 s box 1136/1600 s box 1137/1600 s box 1138/1600 s box 1139/1600 s box 1140/1600 s box 1141/1600 s box 1142/1600 s box 1143/1600 s box 1144/1600 s box 1145/1600 s box 1146/1600 s box 1147/1600 s box 1148/1600 s box 1149/1600 s box 1150/1600 s box 1151/1600 s box 1152/1600 s box 1153/1600 s box 1154/1600 s box 1155/1600 s box 1156/1600 s box 1157/1600 s box 1158/1600 s box 1159/1600 s box 1160/1600 s box 1161/1600 s box 1162/1600 s box 1163/1600 s box 1164/1600 s box 1165/1600 s box 1166/1600 s box 1167/1600 s box 1168/1600 s box 1169/1600 s box 1170/1600 s box 1171/1600 s box 1172/1600 s box 1173/1600 s box 1174/1600 s box 1175/1600 s box 1176/1600 s box 1177/1600 s box 1178/1600 s box 1179/1600 s box 1180/1600 s box 1181/1600 s box 1182/1600 s box 1183/1600 s box 1184/1600 s box 1185/1600 s box 1186/1600 s box 1187/1600 s box 1188/1600 s box 1189/1600 s box 1190/1600 s box 1191/1600 s box 1192/1600 s box 1193/1600 s box 1194/1600 s box 1195/1600 s box 1196/1600 s box 1197/1600 s box 1198/1600 s box 1199/1600 s box 1200/1600 s box 1201/1600 s box 1202/1600 s box 1203/1600 s box 1204/1600 s box 1205/1600 s box 1206/1600 s box 1207/1600 s box 1208/1600 s box 1209/1600 s box 1210/1600 s box 1211/1600 s box 1212/1600 s box 1213/1600 s box 1214/1600 s box 1215/1600 s box 1216/1600 s box 1217/1600 s box 1218/1600 s box 1219/1600 s box 1220/1600 s box 1221/1600 s box 1222/1600 s box 1223/1600 s box 1224/1600 s box 1225/1600 s box 1226/1600 s box 1227/1600 s box 1228/1600 s box 1229/1600 s box 1230/1600 s box 1231/1600 s box 1232/1600 s box 1233/1600 s box 1234/1600 s box 1235/1600 s box 1236/1600 s box 1237/1600 s box 1238/1600 s box 1239/1600 s box 1240/1600 s box 1241/1600 s box 1242/1600 s box 1243/1600 s box 1244/1600 s box 1245/1600 s box 1246/1600 s box 1247/1600 s box 1248/1600 s box 1249/1600 s box 1250/1600 s box 1251/1600 s box 1252/1600 s box 1253/1600 s box 1254/1600 s box 1255/1600 s box 1256/1600 s box 1257/1600 s box 1258/1600 s box 1259/1600 s box 1260/1600 s box 1261/1600 s box 1262/1600 s box 1263/1600 s box 1264/1600 s box 1265/1600 s box 1266/1600 s box 1267/1600 s box 1268/1600 s box 1269/1600 s box 1270/1600 s box 1271/1600 s box 1272/1600 s box 1273/1600 s box 1274/1600 s box 1275/1600 s box 1276/1600 s box 1277/1600 s box 1278/1600 s box 1279/1600 s box 1280/1600 s box 1281/1600 s box 1282/1600 s box 1283/1600 s box 1284/1600 s box 1285/1600 s box 1286/1600 s box 1287/1600 s box 1288/1600 s box 1289/1600 s box 1290/1600 s box 1291/1600 s box 1292/1600 s box 1293/1600 s box 1294/1600 s box 1295/1600 s box 1296/1600 s box 1297/1600 s box 1298/1600 s box 1299/1600 s box 1300/1600 s box 1301/1600 s box 1302/1600 s box 1303/1600 s box 1304/1600 s box 1305/1600 s box 1306/1600 s box 1307/1600 s box 1308/1600 s box 1309/1600 s box 1310/1600 s box 1311/1600 s box 1312/1600 s box 1313/1600 s box 1314/1600 s box 1315/1600 s box 1316/1600 s box 1317/1600 s box 1318/1600 s box 1319/1600 s box 1320/1600 s box 1321/1600 s box 1322/1600 s box 1323/1600 s box 1324/1600 s box 1325/1600 s box 1326/1600 s box 1327/1600 s box 1328/1600 s box 1329/1600 s box 1330/1600 s box 1331/1600 s box 1332/1600 s box 1333/1600 s box 1334/1600 s box 1335/1600 s box 1336/1600 s box 1337/1600 s box 1338/1600 s box 1339/1600 s box 1340/1600 s box 1341/1600 s box 1342/1600 s box 1343/1600 s box 1344/1600 s box 1345/1600 s box 1346/1600 s box 1347/1600 s box 1348/1600 s box 1349/1600 s box 1350/1600 s box 1351/1600 s box 1352/1600 s box 1353/1600 s box 1354/1600 s box 1355/1600 s box 1356/1600 s box 1357/1600 s box 1358/1600 s box 1359/1600 s box 1360/1600 s box 1361/1600 s box 1362/1600 s box 1363/1600 s box 1364/1600 s box 1365/1600 s box 1366/1600 s box 1367/1600 s box 1368/1600 s box 1369/1600 s box 1370/1600 s box 1371/1600 s box 1372/1600 s box 1373/1600 s box 1374/1600 s box 1375/1600 s box 1376/1600 s box 1377/1600 s box 1378/1600 s box 1379/1600 s box 1380/1600 s box 1381/1600 s box 1382/1600 s box 1383/1600 s box 1384/1600 s box 1385/1600 s box 1386/1600 s box 1387/1600 s box 1388/1600 s box 1389/1600 s box 1390/1600 s box 1391/1600 s box 1392/1600 s box 1393/1600 s box 1394/1600 s box 1395/1600 s box 1396/1600 s box 1397/1600 s box 1398/1600 s box 1399/1600 s box 1400/1600 s box 1401/1600 s box 1402/1600 s box 1403/1600 s box 1404/1600 s box 1405/1600 s box 1406/1600 s box 1407/1600 s box 1408/1600 s box 1409/1600 s box 1410/1600 s box 1411/1600 s box 1412/1600 s box 1413/1600 s box 1414/1600 s box 1415/1600 s box 1416/1600 s box 1417/1600 s box 1418/1600 s box 1419/1600 s box 1420/1600 s box 1421/1600 s box 1422/1600 s box 1423/1600 s box 1424/1600 s box 1425/1600 s box 1426/1600 s box 1427/1600 s box 1428/1600 s box 1429/1600 s box 1430/1600 s box 1431/1600 s box 1432/1600 s box 1433/1600 s box 1434/1600 s box 1435/1600 s box 1436/1600 s box 1437/1600 s box 1438/1600 s box 1439/1600 s box 1440/1600 s box 1441/1600 s box 1442/1600 s box 1443/1600 s box 1444/1600 s box 1445/1600 s box 1446/1600 s box 1447/1600 s box 1448/1600 s box 1449/1600 s box 1450/1600 s box 1451/1600 s box 1452/1600 s box 1453/1600 s box 1454/1600 s box 1455/1600 s box 1456/1600 s box 1457/1600 s box 1458/1600 s box 1459/1600 s box 1460/1600 s box 1461/1600 s box 1462/1600 s box 1463/1600 s box 1464/1600 s box 1465/1600 s box 1466/1600 s box 1467/1600 s box 1468/1600 s box 1469/1600 s box 1470/1600 s box 1471/1600 s box 1472/1600 s box 1473/1600 s box 1474/1600 s box 1475/1600 s box 1476/1600 s box 1477/1600 s box 1478/1600 s box 1479/1600 s box 1480/1600 s box 1481/1600 s box 1482/1600 s box 1483/1600 s box 1484/1600 s box 1485/1600 s box 1486/1600 s box 1487/1600 s box 1488/1600 s box 1489/1600 s box 1490/1600 s box 1491/1600 s box 1492/1600 s box 1493/1600 s box 1494/1600 s box 1495/1600 s box 1496/1600 s box 1497/1600 s box 1498/1600 s box 1499/1600 s box 1500/1600 s box 1501/1600 s box 1502/1600 s box 1503/1600 s box 1504/1600 s box 1505/1600 s box 1506/1600 s box 1507/1600 s box 1508/1600 s box 1509/1600 s box 1510/1600 s box 1511/1600 s box 1512/1600 s box 1513/1600 s box 1514/1600 s box 1515/1600 s box 1516/1600 s box 1517/1600 s box 1518/1600 s box 1519/1600 s box 1520/1600 s box 1521/1600 s box 1522/1600 s box 1523/1600 s box 1524/1600 s box 1525/1600 s box 1526/1600 s box 1527/1600 s box 1528/1600 s box 1529/1600 s box 1530/1600 s box 1531/1600 s box 1532/1600 s box 1533/1600 s box 1534/1600 s box 1535/1600 s box 1536/1600 s box 1537/1600 s box 1538/1600 s box 1539/1600 s box 1540/1600 s box 1541/1600 s box 1542/1600 s box 1543/1600 s box 1544/1600 s box 1545/1600 s box 1546/1600 s box 1547/1600 s box 1548/1600 s box 1549/1600 s box 1550/1600 s box 1551/1600 s box 1552/1600 s box 1553/1600 s box 1554/1600 s box 1555/1600 s box 1556/1600 s box 1557/1600 s box 1558/1600 s box 1559/1600 s box 1560/1600 s box 1561/1600 s box 1562/1600 s box 1563/1600 s box 1564/1600 s box 1565/1600 s box 1566/1600 s box 1567/1600 s box 1568/1600 s box 1569/1600 s box 1570/1600 s box 1571/1600 s box 1572/1600 s box 1573/1600 s box 1574/1600 s box 1575/1600 s box 1576/1600 s box 1577/1600 s box 1578/1600 s box 1579/1600 s box 1580/1600 s box 1581/1600 s box 1582/1600 s box 1583/1600 s box 1584/1600 s box 1585/1600 s box 1586/1600 s box 1587/1600 s box 1588/1600 s box 1589/1600 s box 1590/1600 s box 1591/1600 s box 1592/1600 s box 1593/1600 s box 1594/1600 s box 1595/1600 s box 1596/1600 s box 1597/1600 s box 1598/1600 s box 1599/1600 s box 1600/1600 sup over s in [1,2] of |[z^i] d_s^r H(s,z)|, and the ratio to 3^-i: i r=0 r=1 r=2 |h''|3^i/i^2 1 8.218568e-01 1.102181e+00 2.613573e+00 7.8407 2 4.388484e-01 1.225754e+00 4.608636e+00 10.3694 3 1.590824e-01 6.826725e-01 3.605512e+00 10.8165 4 4.845945e-02 2.812956e-01 1.901823e+00 9.6280 5 1.163505e-02 8.598241e-02 7.157205e-01 6.9568 6 2.655276e-03 2.357141e-02 2.282536e-01 4.6221 7 4.795445e-04 5.067477e-03 5.646396e-02 2.5201 8 1.031510e-04 1.205712e-03 1.421013e-02 1.4568 9 1.495206e-05 2.030593e-04 2.513902e-03 0.6109 10 4.762444e-06 6.444440e-05 7.422776e-04 0.4383 11 8.688317e-07 1.111962e-05 8.871663e-05 0.1299 12 3.822522e-07 5.740724e-06 6.178751e-05 0.2280 13 1.172945e-07 1.846529e-06 1.937447e-05 0.1828 14 4.042172e-08 6.869675e-07 8.109830e-06 0.1979 15 1.339895e-08 2.418049e-07 3.040132e-06 0.1939 16 4.492012e-09 8.608916e-08 1.166544e-06 0.1962 C_2 = max_i |h_i''| 3^i / i^2 = 10.8165 C = C_2/18 = 0.600919 [in |R_k| <= C (k+3)^3 3^-k] K0 = 33 NOTE: C_2 here is a max over i <= NMAX. Extending it to all i needs a tail argument -- the Cauchy bound on the pole-free part supplies one, and is only needed for i > NMAX where it is far less lossy.