secondo/bin/assoctest

(DATABASE ASSOCTEST 
    (TYPES) 
    (OBJECTS 
        (OBJECT transactions 
            () 
            (rel 
                (tuple 
                    (
                        (Id int) 
                        (Itemset intset)))) 
            (
                (0 
                    (3 37 456 656 900 913 926)) 
                (1 
                    (165 323 419 432 593 646 742 868)) 
                (2 
                    (164 361 436 517 661 856 872)) 
                (3 
                    (533 623 646 836 897)) 
                (4 
                    (54 134 610 857)) 
                (5 
                    (188 436 491 710 839 917 956 978)) 
                (6 
                    (120 240 334 504 517 954)) 
                (7 
                    (626)) 
                (8 
                    (112 219 377 483 771)) 
                (9 
                    (54 354 553 822)) 
                (10 
                    (48 83 382 421 464 639 855)) 
                (11 
                    (17 232 382 675 975)) 
                (12 
                    (20 491)) 
                (13 
                    (104 165 171 593 618 665)) 
                (14 
                    (20 54 126 528 789 908 981)) 
                (15 
                    (426 445 489 722 934)) 
                (16 
                    (99 275 760 794 833 898 926)) 
                (17 
                    (37 355 362 607 761 790 922 953)) 
                (18 
                    (106 121 352 480 845)) 
                (19 
                    (375 908)) 
                (20 
                    (20 303 578 649 925 930)) 
                (21 
                    (63 924)) 
                (22 
                    (315 483 717)) 
                (23 
                    (237 305 781 858 939 951 969 970)) 
                (24 
                    (25 604 872)) 
                (25 
                    (373 453 637 640 723 793 1000)) 
                (26 
                    (116 710)) 
                (27 
                    (227 279 338 345 347 467 614 672 742 781 919 955)) 
                (28 
                    (17 155 467 690)) 
                (29 
                    (41 233 539 680 997)) 
                (30 
                    (776)) 
                (31 
                    (20 303 729 953 980)) 
                (32 
                    (390 412 550)) 
                (33 
                    (358 570 759 899 918)) 
                (34 
                    (144 180 299 353 696 908)) 
                (35 
                    (237 493 575 858 939 969)) 
                (36 
                    (65 643 836 897)) 
                (37 
                    (167 573 674 690 764 773 904)) 
                (38 
                    (362 766 805 834 843)) 
                (39 
                    (58 326 551 802 920)) 
                (40 
                    (54 340 612 696 781 857)) 
                (41 
                    (57 180 381 506 583 594 826 854)) 
                (42 
                    (115 268 294)) 
                (43 
                    (130 361 902)) 
                (44 
                    (282 972)) 
                (45 
                    (99 142 172 196 245 391)) 
                (46 
                    (3 11 316 334 961)) 
                (47 
                    (80 505)) 
                (48 
                    (77 391 406 419 643 951)) 
                (49 
                    (9 77 126 172 362 971)) 
                (50 
                    (56 820 873)) 
                (51 
                    (126 455 776 862)) 
                (52 
                    (376 403 646)) 
                (53 
                    (2 108 244 375 518 826 907 908)) 
                (54 
                    (260)) 
                (55 
                    (158 487 551 802)) 
                (56 
                    (36 185 698 788)) 
                (57 
                    (242 258 348 508 586 799 805)) 
                (58 
                    (42 283 780)) 
                (59 
                    (579)) 
                (60 
                    (33 180)) 
                (61 
                    (299 461 817 925 930)) 
                (62 
                    (228 326 609 674 690 773 891 926)) 
                (63 
                    (408 645 672 866)) 
                (64 
                    (376 403 646 821)) 
                (65 
                    (912 956)) 
                (66 
                    (54 74 354 553 615 786 822 872)) 
                (67 
                    (304 527 577 905 945)) 
                (68 
                    (157 501 575 588 607 889)) 
                (69 
                    (10 69 105 107 199 256 842 884 926)) 
                (70 
                    (326 646)) 
                (71 
                    (695 711 781 859)) 
                (72 
                    (120 153 239 498)) 
                (73 
                    (80 90 206 318 543)) 
                (74 
                    (517)) 
                (75 
                    (249 346 415)) 
                (76 
                    (61 369 599 635 793 831 916 991)) 
                (77 
                    (126 528 646)) 
                (78 
                    (23 231 258 375 908)) 
                (79 
                    (168 258 538 694 853 914)) 
                (80 
                    (54 267 395 470 906)) 
                (81 
                    (140 602 604)) 
                (82 
                    (152 254 301 480 616 854)) 
                (83 
                    (152 591 662 854)) 
                (84 
                    (3 213 580 762 879)) 
                (85 
                    (754 803)) 
                (86 
                    (636 936)) 
                (87 
                    (26 843)) 
                (88 
                    (395 591 864 911 938)) 
                (89 
                    (37 108 131 153 323 362 375 907 908)) 
                (90 
                    (245 440 768)) 
                (91 
                    (390 550)) 
                (92 
                    (199 336 741 863)) 
                (93 
                    (598 661)) 
                (94 
                    (130 186 602 982)) 
                (95 
                    (163 320 527 674 690 773 825)) 
                (96 
                    (57 134 572 574)) 
                (97 
                    (1 120 305 590 736 794 914)) 
                (98 
                    (291 459 776 930)) 
                (99 
                    (60 168 212 269 385 394 465 815 963)) 
                (100 
                    (471 615 786 872)) 
                (101 
                    (34 144 494 560 611 641)) 
                (102 
                    (107 346 715 716 793 827 908 951)) 
                (103 
                    (126 523 980 984)) 
                (104 
                    (156 874)) 
                (105 
                    (4 28 349 586 589 595 794 966)) 
                (106 
                    (186 240 247 334)) 
                (107 
                    (389 638 826 848 998)) 
                (108 
                    (219 260 378 501 504 925 981)) 
                (109 
                    (36 248 332 472 906)) 
                (110 
                    (26 30 843 844 923)) 
                (111 
                    (16 407 532)) 
                (112 
                    (10 105 842)) 
                (113 
                    (48 107 324 426 490 649 698 719 776 794 994)) 
                (114 
                    (28 231 279 655 698)) 
                (115 
                    (37 58 144 205 353 532 817 908 913)) 
                (116 
                    (58 609 802 920)) 
                (117 
                    (45 217 362 374 431 588 632)) 
                (118 
                    (297 326 470 495 694)) 
                (119 
                    (16 148 481 517 580 581 976)) 
                (120 
                    (28 61 252 571 876)) 
                (121 
                    (16 65 151 342 490 594 643 820 999)) 
                (122 
                    (182 647 649 670 950)) 
                (123 
                    (137 226 303 362 754 763)) 
                (124 
                    (129 374 525)) 
                (125 
                    (136 231 364 509 698 716 731 847 901 904)) 
                (126 
                    (188 203 563 818)) 
                (127 
                    (65 347 368 425 493 952)) 
                (128 
                    (148 474 705)) 
                (129 
                    (60 273 541 831 899)) 
                (130 
                    (13 418 438 664 811 884)) 
                (131 
                    (123 149 156 247 496 527 557 742 781 984 992)) 
                (132 
                    (21 126 224 234 321 427 524 835)) 
                (133 
                    (167 325 374 407 505 532 618 727 837 924)) 
                (134 
                    (54 186 260 487 712)) 
                (135 
                    (369 457 575 635 730 939)) 
                (136 
                    (601 651)) 
                (137 
                    (330 346 694 776 951)) 
                (138 
                    (305 376 403 590 628 646)) 
                (139 
                    (49 97 466 662 666 894 974)) 
                (140 
                    (601 606 960)) 
                (141 
                    (91 154 387 549 583)) 
                (142 
                    (9 16 337 456 549 958)) 
                (143 
                    (190 257 323 331 616 834)) 
                (144 
                    (176 616 691 736 861)) 
                (145 
                    (20 153 235 314 373 596 926)) 
                (146 
                    (39 528 636 989)) 
                (147 
                    (120 438 773 914)) 
                (148 
                    (48 491 497 698 823 847 889)) 
                (149 
                    (96 407 532)) 
                (150 
                    (90 582 836 962)) 
                (151 
                    (6 230 312 941)) 
                (152 
                    (580 707 759 791)) 
                (153 
                    (165 171 593 665)) 
                (154 
                    (576 676 707)) 
                (155 
                    (126 217 295 362 475 968)) 
                (156 
                    (299 654 700 983)) 
                (157 
                    (156 252 582 769 774 836 838)) 
                (158 
                    (252 302 595 596 824 995)) 
                (159 
                    (22 85 148 297 326 376 464 470 646 711 731)) 
                (160 
                    (87 125 793 965)) 
                (161 
                    (180 186 826 922 953)) 
                (162 
                    (496 527 557 781)) 
                (163 
                    (26 802 811 836 886)) 
                (164 
                    (12 54)) 
                (165 
                    (91 142 180 391 467 826)) 
                (166 
                    (10 105 254 480 842)) 
                (167 
                    (107 490 802)) 
                (168 
                    (25 126 182 387 432 572)) 
                (169 
                    (26 107 198 715 827 843 908)) 
                (170 
                    (3 5 126 528 551 594 681 927)) 
                (171 
                    (133 186 263 345 614 781 837 994)) 
                (172 
                    (75 96 834 930 944)) 
                (173 
                    (219 378)) 
                (174 
                    (134 574 600 761)) 
                (175 
                    (107 715 776 906 908)) 
                (176 
                    (88 327 338 487 508 785 881)) 
                (177 
                    (21 375 632 872 921)) 
                (178 
                    (112 137 156 428 615 786 874)) 
                (179 
                    (242 917)) 
                (180 
                    (39 40 62)) 
                (181 
                    (111 207 222 305 549 628 691)) 
                (182 
                    (120 437 509 588 666 758 894)) 
                (183 
                    (436 686)) 
                (184 
                    (249 327 573 764 785 827 881)) 
                (185 
                    (245 315 491 717 823 916)) 
                (186 
                    (36 391 635 643 647 951)) 
                (187 
                    (194 250 562)) 
                (188 
                    (6 120 143 518 594 599 844 857)) 
                (189 
                    (120 132 338 432 953)) 
                (190 
                    (376 415 639 764)) 
                (191 
                    (478 993 997)) 
                (192 
                    (37 188 331 362 517 563 772 802 912)) 
                (193 
                    (581 592 732)) 
                (194 
                    (162)) 
                (195 
                    (244 484 802 859)) 
                (196 
                    (10 105 365 842)) 
                (197 
                    (36 368 549)) 
                (198 
                    (22 139 464)) 
                (199 
                    (579 746)) 
                (200 
                    (144 353 908)) 
                (201 
                    (836)) 
                (202 
                    (42 46 260 469)) 
                (203 
                    (54 120 376 467 504 594 854 857 954)) 
                (204 
                    (105 376 415 465 842 849)) 
                (205 
                    (56 91 250)) 
                (206 
                    (96 381 569 638 833)) 
                (207 
                    (42 84 260 379 645 667 979)) 
                (208 
                    (167 512 597 973)) 
                (209 
                    (9 16 226 303 754 900 942)) 
                (210 
                    (340 612)) 
                (211 
                    (39 150 739 742 856 955)) 
                (212 
                    (790)) 
                (213 
                    (39 142 146 292 636 731)) 
                (214 
                    (331 415 465 539 616 620 764 849)) 
                (215 
                    (56 81 374 518 949)) 
                (216 
                    (37 134 374 471 647)) 
                (217 
                    (75 307)) 
                (218 
                    (211 250 406 419 437 509 543 773 815 832)) 
                (219 
                    (651 811 956)) 
                (220 
                    (228 387 430 572 575 636 913)) 
                (221 
                    (58 91 157 299 654 768 983)) 
                (222 
                    (4 22 139 292 349 464 654)) 
                (223 
                    (80 206 318 494 543)) 
                (224 
                    (90 317 503 577 996)) 
                (225 
                    (722 836)) 
                (226 
                    (75 206 240 334 566 811 950 956)) 
                (227 
                    (35 74 137 264 422 458 467 619 710 872)) 
                (228 
                    (149 156 218 376 945)) 
                (229 
                    (387 461 635 805)) 
                (230 
                    (80 205 441 543 643 747)) 
                (231 
                    (52 103 698 730 826 847 901 949)) 
                (232 
                    (58 490 506 920)) 
                (233 
                    (21 305 375 589 707 742 781 921)) 
                (234 
                    (189 205 594 631 643 694 786 787 925)) 
                (235 
                    (25 302 595 805)) 
                (236 
                    (67 159 260 307 620 697 899)) 
                (237 
                    (92 126 455 539 833 862)) 
                (238 
                    (334)) 
                (239 
                    (20 247 267 321 371 396 410 491 602 737 784 987 995)) 
                (240 
                    (836)) 
                (241 
                    (36 368 492 700 722 955)) 
                (242 
                    (537 930)) 
                (243 
                    (26 240 408 433 596 699)) 
                (244 
                    (89 259 377 537 794)) 
                (245 
                    (85 313 731)) 
                (246 
                    (218 332 376 384 906)) 
                (247 
                    (77 219 692 722 925 939)) 
                (248 
                    (34 263 767)) 
                (249 
                    (10 105 446 842 990)) 
                (250 
                    (228 302 381 425 503 615 636 759)) 
                (251 
                    (368 419 437 452 580 791)) 
                (252 
                    (396 491 654 823 961)) 
                (253 
                    (169 722 773 815 832 991 994)) 
                (254 
                    (63 736 906)) 
                (255 
                    (126 182 424 432 651)) 
                (256 
                    (95 508 620 661 698 846 942)) 
                (257 
                    (104 116 415 465 576 618 764 849)) 
                (258 
                    (63 736)) 
                (259 
                    (71 119 180 182 235 285 438 447 473 556 580 616 791 811 920)) 
                (260 
                    (54 395 490 651 811 872 921)) 
                (261 
                    (42 178 184 260 862 990)) 
                (262 
                    (503 908)) 
                (263 
                    (645)) 
                (264 
                    (107 643 824 934)) 
                (265 
                    (103 260 712 773 873)) 
                (266 
                    (271 379 979)) 
                (267 
                    (81 116 836 897 949)) 
                (268 
                    (263 637 730)) 
                (269 
                    (180 616)) 
                (270 
                    (497 889)) 
                (271 
                    (475 884)) 
                (272 
                    (922 953)) 
                (273 
                    (37 362 376 403 646)) 
                (274 
                    (100 287 391 408 480 643 645 773 866 951)) 
                (275 
                    (26 305 735 885)) 
                (276 
                    (47 53 217 322 376 415 490 596 737 764 820 827)) 
                (277 
                    (97 100 287 662 666 866 974)) 
                (278 
                    (126 152 295 443 475)) 
                (279 
                    (119 333 556 771)) 
                (280 
                    (54 137 299 354 379 553 822)) 
                (281 
                    (275 624 735 760 833 898 926)) 
                (282 
                    (56 77 139 338 347 371 600 794 888)) 
                (283 
                    (390 437 509 550)) 
                (284 
                    (302 696 781)) 
                (285 
                    (239 273 438 480 616 773 802)) 
                (286 
                    (208 323 324)) 
                (287 
                    (121 133 183 305 352 760 781)) 
                (288 
                    (480 942)) 
                (289 
                    (56 473 594)) 
                (290 
                    (126 330 694 730 776)) 
                (291 
                    (6 58 148 263 312 374 525 623 857 913 994)) 
                (292 
                    (299 654 983)) 
                (293 
                    (618 655)) 
                (294 
                    (247 680 947 958)) 
                (295 
                    (25 581 592)) 
                (296 
                    (133 147)) 
                (297 
                    (164 315 575 601 651 661 717 760 787)) 
                (298 
                    (104 576 618)) 
                (299 
                    (83 92 242 260 348 805 874 884)) 
                (300 
                    (389 826 848 998)) 
                (301 
                    (36 333 771 776)) 
                (302 
                    (36 257 282 296 489 589 987 994)) 
                (303 
                    (244 391 494 643 951)) 
                (304 
                    (54 70 354 553 822)) 
                (305 
                    (68 116 258 260 989)) 
                (306 
                    (112 142 219 564 590 699 771)) 
                (307 
                    (203 253 643 731 789 981)) 
                (308 
                    (148 347 376 653 695 711 949 993)) 
                (309 
                    (25 134 323 574 937)) 
                (310 
                    (128 340 455 612 640 788 942)) 
                (311 
                    (279 767 825 904 935)) 
                (312 
                    (37 647)) 
                (313 
                    (26 240 408 632 699)) 
                (314 
                    (158 467 771)) 
                (315 
                    (362 694 741 763)) 
                (316 
                    (637)) 
                (317 
                    (25 151 604 872 999)) 
                (318 
                    (137 169 773 815 832)) 
                (319 
                    (56 77 600 888)) 
                (320 
                    (16 47 524 596)) 
                (321 
                    (148 818)) 
                (322 
                    (1 52 651 949)) 
                (323 
                    (54 115 378 580 624 643 857 925)) 
                (324 
                    (347 353 371 415 465 467 764 821 830 849 904 908 926)) 
                (325 
                    (324 586 595 698 794)) 
                (326 
                    (12 54 57 369 457 790)) 
                (327 
                    (223 412 805 834)) 
                (328 
                    (174 423 656 742 916 971 992)) 
                (329 
                    (36 185 226 303 754)) 
                (330 
                    (54 354)) 
                (331 
                    (242 508)) 
                (332 
                    (4 425 484 615 802 859)) 
                (333 
                    (296 575 743)) 
                (334 
                    (338 432 776)) 
                (335 
                    (61 65 71 599 603 606 694 774)) 
                (336 
                    (279 606 647 780)) 
                (337 
                    (10 168 171 180 538 616 842 853)) 
                (338 
                    (53 119 263 489 522 580 637 750 952)) 
                (339 
                    (3 37 93 656 674 690 773)) 
                (340 
                    (89 126 156 601 793 874)) 
                (341 
                    (232 620 636 936)) 
                (342 
                    (210 316 667 778 910)) 
                (343 
                    (126 263 295 475 951 970 994)) 
                (344 
                    (9 16 549 649 695 711)) 
                (345 
                    (325 745)) 
                (346 
                    (54 139 305 354 553 822)) 
                (347 
                    (28 589)) 
                (348 
                    (36 112 212 257 549 668)) 
                (349 
                    (376 415 517 764 839 849)) 
                (350 
                    (58 134 354 553 574 605 822)) 
                (351 
                    (58 206 363 543 605)) 
                (352 
                    (3)) 
                (353 
                    (63 335 492 729 736)) 
                (354 
                    (153 167 231 258 325 836 897 932)) 
                (355 
                    (340 489 612 624 635 647 975)) 
                (356 
                    (27 335 492 955)) 
                (357 
                    (333 771)) 
                (358 
                    (759 847 899 901)) 
                (359 
                    (4 90 93 120 331 431 588 632 688 894)) 
                (360 
                    (4 16 302 377 408 524 683)) 
                (361 
                    (54 354 637 723 956)) 
                (362 
                    (81 116 949)) 
                (363 
                    (968)) 
                (364 
                    (121 242 360 508 637 723 950)) 
                (365 
                    (97 662 666 974)) 
                (366 
                    (305 781)) 
                (367 
                    (168 171 258 538 594 853 914)) 
                (368 
                    (358 752 900 902 926 960)) 
                (369 
                    (126 376)) 
                (370 
                    (124 150 267 632 916 921 942)) 
                (371 
                    (130 364 412 847 926)) 
                (372 
                    (301 616 789)) 
                (373 
                    (52 317 588 894)) 
                (374 
                    (385 616 980)) 
                (375 
                    (406 439 520 903 930 944 988)) 
                (376 
                    (37 115 259 362 631 635 647 670 736)) 
                (377 
                    (17 40 594)) 
                (378 
                    (57 90 96 126 381 569 572 664 718)) 
                (379 
                    (148 474 705)) 
                (380 
                    (152 226 303 325 399 754 893)) 
                (381 
                    (37 107 260 490 789 937 981)) 
                (382 
                    (56 171 267 746 930)) 
                (383 
                    (461 495 623 742 769 925 945 971 991 992)) 
                (384 
                    (108 375 377 534 567 683 831 907 908 984)) 
                (385 
                    (4 349)) 
                (386 
                    (244 257 467 504 690)) 
                (387 
                    (123 125 149 247 666 758 793 963 965)) 
                (388 
                    (81 116 609)) 
                (389 
                    (249 337 546 683 754 947)) 
                (390 
                    (81 137 609 830 885 949)) 
                (391 
                    (126 211 437)) 
                (392 
                    (3 126 360 455 600 761 862)) 
                (393 
                    (3 475 884)) 
                (394 
                    (217 362 968)) 
                (395 
                    (742 971 992)) 
                (396 
                    (497 498 533 646)) 
                (397 
                    (110 456 628 645 761 862)) 
                (398 
                    (23 171 263 375 503)) 
                (399 
                    (257 610 670)) 
                (400 
                    (42 46 260 469 545 662 747 983)) 
                (401 
                    (48 407 532 580 698 791 917 921)) 
                (402 
                    (45 217 942)) 
                (403 
                    (121 352 391 643 951)) 
                (404 
                    (39 62 376 663 711)) 
                (405 
                    (305 781 916)) 
                (406 
                    (425 615 722 836 924 995)) 
                (407 
                    (20 303 310 408 486 645 769 821)) 
                (408 
                    (49 149 466 894)) 
                (409 
                    (389 826 848 998)) 
                (410 
                    (54 226 297 303 326 354 646 707 754)) 
                (411 
                    (26 213 408 580 762 879)) 
                (412 
                    (58 663 802 920)) 
                (413 
                    (115 736 923 989)) 
                (414 
                    (494 511 611 641)) 
                (415 
                    (36 117 185 647 649 651)) 
                (416 
                    (39 40 62)) 
                (417 
                    (54 553 818 822)) 
                (418 
                    (231 258 260 734)) 
                (419 
                    (159 250 406 419 543)) 
                (420 
                    (331 453 533 623 640 646 793)) 
                (421 
                    (973)) 
                (422 
                    (70 179 359 528 598)) 
                (423 
                    (104 152 260 576 590 618 628 712 909)) 
                (424 
                    (491 823)) 
                (425 
                    (71 136 161 364 716 888)) 
                (426 
                    (902)) 
                (427 
                    (185 299 379 911)) 
                (428 
                    (120 156 604 846 972)) 
                (429 
                    (28 36 248 279 472)) 
                (430 
                    (245 754 803)) 
                (431 
                    (65 203 262 492 643 841 971)) 
                (432 
                    (157 233 331 431 539 645)) 
                (433 
                    (376 533 556 618 623 711)) 
                (434 
                    (330 575 635 694 776 828)) 
                (435 
                    (3 152 239 350 498 992)) 
                (436 
                    (23 34 263 375 580 767 908 945)) 
                (437 
                    (171 247 261 294 410 636 730 784 853)) 
                (438 
                    (596 763)) 
                (439 
                    (9 16 497 592 784 970)) 
                (440 
                    (239 438 480 773)) 
                (441 
                    (90 91 168 171 538 811 853 902 914 956)) 
                (442 
                    (599 722 986)) 
                (443 
                    (9 16 228 299 666 758 784)) 
                (444 
                    (63 275 368 491 549 669 839)) 
                (445 
                    (481 992)) 
                (446 
                    (112 173 219 316 332 637 723 771 906 961)) 
                (447 
                    (504 954)) 
                (448 
                    (56 325 417 521 581 745 759 893 899)) 
                (449 
                    (3 107 446 698 939)) 
                (450 
                    (138 186 244 683)) 
                (451 
                    (9 16 60 273 481 541 784)) 
                (452 
                    (182 235 492)) 
                (453 
                    (126 425 528 615 732)) 
                (454 
                    (96)) 
                (455 
                    (115 226 268 303 754)) 
                (456 
                    (235 316 596 667)) 
                (457 
                    (261 391 643 722 951)) 
                (458 
                    (3 116 305 581 925 989)) 
                (459 
                    (292 387 439 471 516 825 984)) 
                (460 
                    (37 362 715 908)) 
                (461 
                    (219 240 334 378 925)) 
                (462 
                    (89 155 301 302 595 601 742 802 805 817 992)) 
                (463 
                    (117 647 649 917)) 
                (464 
                    (369 457 635)) 
                (465 
                    (785 857)) 
                (466 
                    (6 230 312 941)) 
                (467 
                    (97 182 662 666 974)) 
                (468 
                    (90 261 670)) 
                (469 
                    (16 524 747 767)) 
                (470 
                    (132 321 376 653 711 787)) 
                (471 
                    (240 244 334 691)) 
                (472 
                    (488 523 566 572 598 670 817)) 
                (473 
                    (491 503 568 577 839)) 
                (474 
                    (54 67 244 252 274 369 383 487)) 
                (475 
                    (128 235 596)) 
                (476 
                    (56 376 581 596 651 682)) 
                (477 
                    (103 162 218 245 870)) 
                (478 
                    (36 165 171 368 593 665)) 
                (479 
                    (62 172 191 387 767 811 956)) 
                (480 
                    (95 620 742)) 
                (481 
                    (163 352 670)) 
                (482 
                    (282 638 972)) 
                (483 
                    (794)) 
                (484 
                    (69 156 494 641 874)) 
                (485 
                    (698 900 913 926)) 
                (486 
                    (825)) 
                (487 
                    (595 805 817)) 
                (488 
                    (4 34 144 330 694 776)) 
                (489 
                    (116 837 989)) 
                (490 
                    (117 185 647 649)) 
                (491 
                    (65 131 153 296 342 594 655 825)) 
                (492 
                    (16 17 155 524 692)) 
                (493 
                    (239 438 480 773)) 
                (494 
                    (428 716 827)) 
                (495 
                    (164 265 482 661)) 
                (496 
                    (98 126 589 689 730)) 
                (497 
                    (294 730)) 
                (498 
                    (50 357 873)) 
                (499 
                    (299 730 904 942)) 
                (500 
                    (6 230 312 533 596 623 646 941)) 
                (501 
                    (391 643 951)) 
                (502 
                    (60 244 273 541 826 831)) 
                (503 
                    (107 271 379)) 
                (504 
                    (120 132 259 347 953)) 
                (505 
                    (301 494 616 736)) 
                (506 
                    (91 154 583)) 
                (507 
                    (707 789 817 981)) 
                (508 
                    (34 263 274 383 767)) 
                (509 
                    (267 371 631)) 
                (510 
                    (196 251 584 688 928)) 
                (511 
                    (750 857)) 
                (512 
                    (173 180 215 249 332 580 902 906)) 
                (513 
                    (163 345 856)) 
                (514 
                    (3 11 35 67 137 458 467 619)) 
                (515 
                    (70 828 865)) 
                (516 
                    (126 475)) 
                (517 
                    (163 251 352 584 928)) 
                (518 
                    (151 302 636 730 747 999)) 
                (519 
                    (72 144 167 326 596 597 730)) 
                (520 
                    (79 157 292 323 834 931 942)) 
                (521 
                    (42 46 260 469 793)) 
                (522 
                    (43 391 643 951)) 
                (523 
                    (252 954)) 
                (524 
                    (87 130 364 436 847)) 
                (525 
                    (133 387)) 
                (526 
                    (37 67 84 362 369)) 
                (527 
                    (210 301 314 616 661 778 866 910)) 
                (528 
                    (42 260 696 800)) 
                (529 
                    (139 295 391 464 475 491 643 781 836 897 951)) 
                (530 
                    (89 601)) 
                (531 
                    (58 86 116 163 267 593 609 711 828 949 954)) 
                (532 
                    (21 375 391 643 921 951)) 
                (533 
                    (96 381 521 569 578 664 833 912 956)) 
                (534 
                    (117 546 647 649 833 959)) 
                (535 
                    (25 45 106 242 330 348 508 586 694 776 805 905)) 
                (536 
                    (292 516 643 825)) 
                (537 
                    (26 159 183 407 532 818)) 
                (538 
                    (647 668 942)) 
                (539 
                    (57 59 65 342 444 707 778 910)) 
                (540 
                    (3 4 5 16 164 267 524 551 594 661 927 951)) 
                (541 
                    (9 25 376 456 711 921)) 
                (542 
                    (119 185 215 249 358 556 570 801 902)) 
                (543 
                    (430 495 612 822 945)) 
                (544 
                    (126 730 793)) 
                (545 
                    (80 505 716)) 
                (546 
                    (168 171 258 369 457 538 635 653 853 914)) 
                (547 
                    (112 219 374 387 572 663 771 995)) 
                (548 
                    (33 129 773)) 
                (549 
                    (417 550 954)) 
                (550 
                    (92 211 345 437 509 614 781 991 994)) 
                (551 
                    (25 39 40 62 77 242 257 369 457 635)) 
                (552 
                    (258 347 368 995)) 
                (553 
                    (121 157 239 352 624 842 857)) 
                (554 
                    (35 137 206 318 458 467 543 604 619)) 
                (555 
                    (61 208 219 378 925)) 
                (556 
                    (54 120 354 407 532)) 
                (557 
                    (37 362 497 592 614 970)) 
                (558 
                    (250)) 
                (559 
                    (104 136 140 420 436 576 618 716)) 
                (560 
                    (525 696 800 827)) 
                (561 
                    (226 303 559 754 785)) 
                (562 
                    (528)) 
                (563 
                    (54 354)) 
                (564 
                    (10 105 180 578 842)) 
                (565 
                    (5 117 376 415 647 649 764 849 973)) 
                (566 
                    (98 517 589 742 971 992)) 
                (567 
                    (323 834)) 
                (568 
                    (356 710)) 
                (569 
                    (10 105)) 
                (570 
                    (61 208 252 323 347 371 937)) 
                (571 
                    (156 391 419 602 643 654 679 732 767 921 951)) 
                (572 
                    (58 586 595 651 794 828)) 
                (573 
                    (581 818 900 913 926)) 
                (574 
                    (173 332 339 606 906 954)) 
                (575 
                    (16 144 353 594 908)) 
                (576 
                    (111 250 259 347)) 
                (577 
                    (39 62 247 410 694 784 786 945)) 
                (578 
                    (84 376 415 465 764 849 988)) 
                (579 
                    (45 217 615 731 786 932)) 
                (580 
                    (180 826)) 
                (581 
                    (26 162 208 252 843)) 
                (582 
                    (120 635 647 984)) 
                (583 
                    (63 668 736 942)) 
                (584 
                    (541 848)) 
                (585 
                    (481 494)) 
                (586 
                    (21 91 171 375 834 853 921)) 
                (587 
                    (116 171 374 525 989)) 
                (588 
                    (39 150 374 742 759 837 899 904 955)) 
                (589 
                    (28 391 663 876)) 
                (590 
                    (137 239 302 524 595 608 677 805 823)) 
                (591 
                    (312 547 569 586 647 663)) 
                (592 
                    (9 16 615 784)) 
                (593 
                    (292)) 
                (594 
                    (614 672 693 843)) 
                (595 
                    (120 244 504 616 826 904 954)) 
                (596 
                    (28 34 279 724)) 
                (597 
                    (26 389 497 749)) 
                (598 
                    (52 357 614)) 
                (599 
                    (69 305 325 735)) 
                (600 
                    (586 595 794 849)) 
                (601 
                    (136 252 364 440 612 716 908)) 
                (602 
                    (180 342 347 444 497 592 970)) 
                (603 
                    (36 185 285 920)) 
                (604 
                    (67 126 467 620 730)) 
                (605 
                    (121 352 374 525 698 901)) 
                (606 
                    (37 48 324 335 647 698 796)) 
                (607 
                    (231 258 902)) 
                (608 
                    (37 62 191 362)) 
                (609 
                    (419 594 844)) 
                (610 
                    (164 182 347 637 661 723 951 970 971)) 
                (611 
                    (16 231 456 509 549 904)) 
                (612 
                    (25 36 239 248 674 773 905)) 
                (613 
                    (260 856 913)) 
                (614 
                    (267 371 694 866)) 
                (615 
                    (258 776 925)) 
                (616 
                    (39 56 150 518 739 820)) 
                (617 
                    (10 105 256 789 842 884 926 956 981)) 
                (618 
                    (91 154 184 312 326 583)) 
                (619 
                    (38 237 247 959)) 
                (620 
                    (155 404 639)) 
                (621 
                    (567 647 695 984)) 
                (622 
                    (286 332 387)) 
                (623 
                    (186 247 347 368 479 774)) 
                (624 
                    (83 231 509 639 717 904)) 
                (625 
                    (123 149 156 247 821)) 
                (626 
                    (338 503 552 594 866)) 
                (627 
                    (252 284 654 821)) 
                (628 
                    (215 318 347 698 952)) 
                (629 
                    (34 80 144 206 318 543 560)) 
                (630 
                    (9 16 456 549)) 
                (631 
                    (228 618 636 707 956)) 
                (632 
                    (132 321 324 497 653 698 787)) 
                (633 
                    (10 17 40 105 244 467 594 690 774 842)) 
                (634 
                    (277)) 
                (635 
                    (36 248 257 472 647 668)) 
                (636 
                    (84 319 323 539 646 834)) 
                (637 
                    (119 489 490 556 606 784 885 926)) 
                (638 
                    (853)) 
                (639 
                    (96 381 569 586 595 664 794 833 849)) 
                (640 
                    (453 640 793)) 
                (641 
                    (391 663)) 
                (642 
                    (144 353 439 471 908)) 
                (643 
                    (256 884 926)) 
                (644 
                    (34 144 152 716 800 827)) 
                (645 
                    (492 803)) 
                (646 
                    (33 36 91 154 295 496 583)) 
                (647 
                    (285 523 858 862)) 
                (648 
                    (250 837)) 
                (649 
                    (49 149 466 551 836 886 894)) 
                (650 
                    (168 171 258 538 632 853 914)) 
                (651 
                    (173 332 906)) 
                (652 
                    (110 426 445 456 862 934)) 
                (653 
                    (433 705 868)) 
                (654 
                    (54 126 395 402 470 734 826)) 
                (655 
                    (93 315 717)) 
                (656 
                    (26 231 663 698 811 818)) 
                (657 
                    (244 347 759 899)) 
                (658 
                    (28 110 504 571 633 739 833 876)) 
                (659 
                    (3 360)) 
                (660 
                    (382 421 464 646)) 
                (661 
                    (604 906)) 
                (662 
                    (36 185 348 512 854 930 944 973)) 
                (663 
                    (665)) 
                (664 
                    (165 171 593 665 670)) 
                (665 
                    (16 223 259 265 347 412 482 794)) 
                (666 
                    (3 11 67)) 
                (667 
                    (58 339 505 517 772 802 920)) 
                (668 
                    (91 154 205 583 643 889)) 
                (669 
                    (50 245 827)) 
                (670 
                    (228 301 636 877)) 
                (671 
                    (25 247 257 315 919)) 
                (672 
                    (36 405 496 497 674)) 
                (673 
                    (80 206 543 945)) 
                (674 
                    (299 387 572 654 776 906 983)) 
                (675 
                    (217 362 968)) 
                (676 
                    (694 844 917)) 
                (677 
                    (3 10 105 360 951 970)) 
                (678 
                    (140 420 505 618)) 
                (679 
                    (91 440 557)) 
                (680 
                    (1 132 317 518 613 666 758 794 947 953)) 
                (681 
                    (126 528 722 906)) 
                (682 
                    (97 270 584 722 811 926 956)) 
                (683 
                    (126 230 487 523 980 984)) 
                (684 
                    (156 185 612 801 945)) 
                (685 
                    (75 579 746 930 944)) 
                (686 
                    (134 574)) 
                (687 
                    (202 347 404 759 899)) 
                (688 
                    (17 223 387 412 675 727 905 976)) 
                (689 
                    (70 347 371 882)) 
                (690 
                    (84 490 754 803)) 
                (691 
                    (494 611 641)) 
                (692 
                    (252 346 362 766 843 951)) 
                (693 
                    (491 823)) 
                (694 
                    (73 106 202 362 632 654 766 843 919)) 
                (695 
                    (651 918)) 
                (696 
                    (90 490 589 670 879 886)) 
                (697 
                    (292 516 825)) 
                (698 
                    (34 62 263 541 767 848)) 
                (699 
                    (132 253 309 427 440 473 489 643 769)) 
                (700 
                    (922 953)) 
                (701 
                    (70 112 219 292 372 569 646 651 654 663 771 826 899)) 
                (702 
                    (17 69 148 491 781)) 
                (703 
                    (365 430 495)) 
                (704 
                    (575 588 889)) 
                (705 
                    (126 191 331 707 730)) 
                (706 
                    (12 54 60 889)) 
                (707 
                    (65 67 149 620 643)) 
                (708 
                    (263 637)) 
                (709 
                    (88 230 299 983)) 
                (710 
                    (98 115 268 294 589)) 
                (711 
                    (91 347 375 496 942)) 
                (712 
                    (156 654 679 937)) 
                (713 
                    (382 421 612 635 647 945)) 
                (714 
                    (260 602 962 982)) 
                (715 
                    (28 163 345 589 593 856 905)) 
                (716 
                    (292 516 742 825)) 
                (717 
                    (120 588 606 894 926)) 
                (718 
                    (604 741 821)) 
                (719 
                    (459 649 776 930)) 
                (720 
                    (114 577)) 
                (721 
                    (643 820 940)) 
                (722 
                    (171 173 332 900 906 913 926)) 
                (723 
                    (121 580 620 794)) 
                (724 
                    (35 137 458 467 805 834)) 
                (725 
                    (91 406 620 950)) 
                (726 
                    (333 491 665 771 839)) 
                (727 
                    (65 342 391 643 951)) 
                (728 
                    (836 886)) 
                (729 
                    (71 260 275 575 856 913)) 
                (730 
                    (207 235 263 596 994)) 
                (731 
                    (136 276 318 351 364 459)) 
                (732 
                    (231 258 279 375 484 780 902)) 
                (733 
                    (387 580 583 791)) 
                (734 
                    (70 110 325 528 745 757 893 966)) 
                (735 
                    (39 103 218 739 742)) 
                (736 
                    (635 647)) 
                (737 
                    (488 523 566 716 817 818)) 
                (738 
                    (25 118 381 569 595 610 670 833 872)) 
                (739 
                    (12 54 121 352 834)) 
                (740 
                    (144 353 467 517 690 908)) 
                (741 
                    (716 848)) 
                (742 
                    (6 230 242 381 594 603 643 857)) 
                (743 
                    (3 11 67)) 
                (744 
                    (80 206 318 543)) 
                (745 
                    (382 421 464 494 611 641 823)) 
                (746 
                    (490 589)) 
                (747 
                    (173 232 302 332 826 906 912 913)) 
                (748 
                    (242 381 594)) 
                (749 
                    (242 348 508 586 805)) 
                (750 
                    (180 338 459 984)) 
                (751 
                    (436 586 595 686 794 849)) 
                (752 
                    (205 617 640 643 666 793 916 990)) 
                (753 
                    (236 358 570 659)) 
                (754 
                    (233 918)) 
                (755 
                    (67 149 385 616 620)) 
                (756 
                    (489 512 666 819 980)) 
                (757 
                    (300 579 586 595 746 794)) 
                (758 
                    (676 707)) 
                (759 
                    (368 680)) 
                (760 
                    (65 85 247 267 342 378 681 926)) 
                (761 
                    (26 488 491 523 724 817 839)) 
                (762 
                    (30 66 237 257 827)) 
                (763 
                    (144 353 669 833 908 991)) 
                (764 
                    (34 91 154 263 441 575 583 631 767 803)) 
                (765 
                    (104 137 292 516 618 825)) 
                (766 
                    (9 90 130 148 169 333 653 771 837 968)) 
                (767 
                    (120 588 894)) 
                (768 
                    (119 125 368 601 680)) 
                (769 
                    (205 361 643)) 
                (770 
                    (112 132 212 331 604 660 973)) 
                (771 
                    (139)) 
                (772 
                    (494 674 690 773)) 
                (773 
                    (121 352 601 651)) 
                (774 
                    (173 182 332 338 381 503 759 906)) 
                (775 
                    (34 242 302 489 508 529 592 595 805 817)) 
                (776 
                    (65 342 365 533 646)) 
                (777 
                    (80 206 318 543 649)) 
                (778 
                    (223 282 412 427 489 769 972)) 
                (779 
                    (242 247 378 508 926)) 
                (780 
                    (811)) 
                (781 
                    (60 85 107 212 269 394 465 715 731 747 815 908)) 
                (782 
                    (9 16 447 456 549 694)) 
                (783 
                    (4 302 789 981)) 
                (784 
                    (259 347 794)) 
                (785 
                    (115 953)) 
                (786 
                    (107 199 874)) 
                (787 
                    (676 707)) 
                (788 
                    (26 42 48 159 260 407 514 532)) 
                (789 
                    (20 812 864 866)) 
                (790 
                    (10 101 295)) 
                (791 
                    (140 478 581 592 604 993 997)) 
                (792 
                    (54 120 132 186 396 953)) 
                (793 
                    (53 91 119 154 580 583)) 
                (794 
                    (41 558 651 963)) 
                (795 
                    (342 347 368 511 830 937)) 
                (796 
                    (13 33 180 185)) 
                (797 
                    (33 47 180 299 874)) 
                (798 
                    (6 28 387 571 857 876)) 
                (799 
                    (333 368 771)) 
                (800 
                    (497)) 
                (801 
                    (29 376 384 465 647 764 767 849)) 
                (802 
                    (168 347 368 776 906 924 963)) 
                (803 
                    (91 102 212 260 307 440 884)) 
                (804 
                    (72 347 371 597 646)) 
                (805 
                    (36 368 370 373 467 549 885)) 
                (806 
                    (614 843 941)) 
                (807 
                    (211 296 437 655 743)) 
                (808 
                    (251 584 928)) 
                (809 
                    (89 189 302 315 361 601 646 717 776 957)) 
                (810 
                    (19 351 945)) 
                (811 
                    (240 264 422)) 
                (812 
                    (247 331 616 680 947 958)) 
                (813 
                    (22 206 789)) 
                (814 
                    (5 148 155 171 672 693 742 991 992)) 
                (815 
                    (90)) 
                (816 
                    (239 431 498 588 632 688 831)) 
                (817 
                    (707 798)) 
                (818 
                    (26 96 213 695 711 741 843)) 
                (819 
                    (716 827 954)) 
                (820 
                    (92 582 836)) 
                (821 
                    (70 391 643 695 951)) 
                (822 
                    (33 92 233 260 288 346 645 712 951)) 
                (823 
                    (37 662 984)) 
                (824 
                    (80 85 206 318 543)) 
                (825 
                    (98 130 589 653 817 966)) 
                (826 
                    (480 518 613 675 947)) 
                (827 
                    (581 592)) 
                (828 
                    (126 219 297 326 378 694 786 925 951 970)) 
                (829 
                    (642 695 711 879 921 953)) 
                (830 
                    (385 735 773 811 956)) 
                (831 
                    (39 150 418 438)) 
                (832 
                    (167 299 347 371 613 904 947)) 
                (833 
                    (26 368 680 843)) 
                (834 
                    (342 412)) 
                (835 
                    (120 199 236 504 659 792 954)) 
                (836 
                    (376 392 618 984)) 
                (837 
                    (126 295 322 365 475 672 693 836)) 
                (838 
                    (330 361 694 776)) 
                (839 
                    (47 70 604)) 
                (840 
                    (72 108 167 297 326 375 597 907 908)) 
                (841 
                    (121 163 182 232 257 600)) 
                (842 
                    (69 387)) 
                (843 
                    (6 518 857)) 
                (844 
                    (16 84 319 444 524 790)) 
                (845 
                    (25 307 604 872)) 
                (846 
                    (239 498 973)) 
                (847 
                    (39 112 219 338 495 739 742 771 822 955)) 
                (848 
                    (9 16 784)) 
                (849 
                    (450 746)) 
                (850 
                    (244 426 445 826 934)) 
                (851 
                    (83 126 639 717 826)) 
                (852 
                    (65 228 636 643)) 
                (853 
                    (348 354 662 729 953 980)) 
                (854 
                    (79 361 611 682)) 
                (855 
                    (43 53 119 217 258 362 580 686 968)) 
                (856 
                    (112 219 310 408 486 771)) 
                (857 
                    (506 758)) 
                (858 
                    (292 294 396 419 490 516 594 825 951 970)) 
                (859 
                    (158 711)) 
                (860 
                    (188 203 563 698 836 847 897 901)) 
                (861 
                    (168 171 258 538 853 914)) 
                (862 
                    (25 50 345 357 614 781 873)) 
                (863 
                    (91 177 250 330 673 707 833 884)) 
                (864 
                    (91 250 433 596 768 866)) 
                (865 
                    (107 244)) 
                (866 
                    (62 75 140 155 566)) 
                (867 
                    (376 711)) 
                (868 
                    (487 491 572 598 623 730 823)) 
                (869 
                    (410 497 613 663 784 990)) 
                (870 
                    (44 120 209 279 323 491 606 839 857 937)) 
                (871 
                    (67 417 495 521 623 868)) 
                (872 
                    (277 580)) 
                (873 
                    (440 663 674 690 773 818)) 
                (874 
                    (182 279 581 758)) 
                (875 
                    (54 133 134 147 857)) 
                (876 
                    (126 244 295 475 805 834 865)) 
                (877 
                    (494 611 641 768)) 
                (878 
                    (786)) 
                (879 
                    (50 81 292 357 616 654)) 
                (880 
                    (42 157 250 283 780)) 
                (881 
                    (54 99 186 520 606 724 734 831)) 
                (882 
                    (9 16 456)) 
                (883 
                    (69 107 199 651 665 869)) 
                (884 
                    (601)) 
                (885 
                    (97 182 662 666 974)) 
                (886 
                    (203 262 841 922 953)) 
                (887 
                    (132 649 653 787 905)) 
                (888 
                    (42 63 252 260 331 736)) 
                (889 
                    (116 601 606 960)) 
                (890 
                    (610 635 670 674 889 921)) 
                (891 
                    (98 589)) 
                (892 
                    (263 994)) 
                (893 
                    (19 286 332 351 387 945)) 
                (894 
                    (92 414 547 695 711 865)) 
                (895 
                    (58 787 802 920)) 
                (896 
                    (80 90 387 505 572)) 
                (897 
                    (129 244 951 970)) 
                (898 
                    (134 362 574 763 848)) 
                (899 
                    (152 854 896)) 
                (900 
                    (54 126 186 470 528 695 711 749)) 
                (901 
                    (28 139 571 794)) 
                (902 
                    (89 323 391 601 643 937 951)) 
                (903 
                    (80 99 210 505 716 778 910)) 
                (904 
                    (126 295 475)) 
                (905 
                    (37 134 138 289 362 574)) 
                (906 
                    (6 363)) 
                (907 
                    (9 16 65 152 456 504 549 759 854 899 954)) 
                (908 
                    (60 417 512 575 578)) 
                (909 
                    (3 37 497 592 950 970)) 
                (910 
                    (5 48 235 324 503 596 698 927)) 
                (911 
                    (489 716 820 848)) 
                (912 
                    (91 387 427)) 
                (913 
                    (20 271 303)) 
                (914 
                    (377 683 821 926 952)) 
                (915 
                    (65 91 387 480 539 549 574 643 833)) 
                (916 
                    (58 126 252 342 635)) 
                (917 
                    (523 637 651 853 899 980 984)) 
                (918 
                    (10 67 335 620 788)) 
                (919 
                    (218 527 711 727)) 
                (920 
                    (49 149 287 466 524 594 651 894 981)) 
                (921 
                    (389 826 998)) 
                (922 
                    (263 299 305 599 654 868 994)) 
                (923 
                    (81 128 609 949)) 
                (924 
                    (186 239 438 480 645 773 858)) 
                (925 
                    (490)) 
                (926 
                    (252 376 415 465 764 849)) 
                (927 
                    (49 149 466 894)) 
                (928 
                    (305 590 776 906)) 
                (929 
                    (3 42 58 231 258 260 575 802 821 828 920 926)) 
                (930 
                    (28 279)) 
                (931 
                    (72 167 297 326 597 646)) 
                (932 
                    (348 854 930 944)) 
                (933 
                    (47 218 231 258 374 376)) 
                (934 
                    (65 857)) 
                (935 
                    (247 757 919 986)) 
                (936 
                    (139 273 305 790 831)) 
                (937 
                    (115 268 294 353)) 
                (938 
                    (217 250 323 649 827 924)) 
                (939 
                    (36 200 405 497)) 
                (940 
                    (239 375 438 480 773)) 
                (941 
                    (158 196 245 487 517 551 802)) 
                (942 
                    (165 323 432 593)) 
                (943 
                    (83 90 639)) 
                (944 
                    (497 968 970)) 
                (945 
                    (54 90 395 470 577 618)) 
                (946 
                    (164 204 244 527 750)) 
                (947 
                    (490 493 823)) 
                (948 
                    (54 259 395 470 631 670)) 
                (949 
                    (180 475 491 580 781 811 956)) 
                (950 
                    (316 433 667 759 776 906)) 
                (951 
                    (80 505 716)) 
                (952 
                    (173 332 375 576 694 786 902 906 988)) 
                (953 
                    (494 611 641 707)) 
                (954 
                    (89 601 794)) 
                (955 
                    (70 256 635 647 774)) 
                (956 
                    (38 98 237 332 589 906)) 
                (957 
                    (37 362)) 
                (958 
                    (70 133 134 147 794 861)) 
                (959 
                    (301 488 731 863 917)) 
                (960 
                    (573 575 764 827)) 
                (961 
                    (261 731 750 857 988)) 
                (962 
                    (91 133 219 477 718 925 936)) 
                (963 
                    (217 257 360 483 527 544 583 685 707)) 
                (964 
                    (157 249 252 346 415)) 
                (965 
                    (436 594 631 856 900 913 925 926)) 
                (966 
                    (28 571 876)) 
                (967 
                    (517 696 800)) 
                (968 
                    (491 823)) 
                (969 
                    (4 11 67 523 616 879 886 921 944 953)) 
                (970 
                    (58 551 612 802 920)) 
                (971 
                    (56 523 645 858 862)) 
                (972 
                    (793 949)) 
                (973 
                    (391 643 666 758 951 980 984)) 
                (974 
                    (34 263 767)) 
                (975 
                    (70 130 364 385 828 847)) 
                (976 
                    (37 215 249 796 902)) 
                (977 
                    (71 161 888)) 
                (978 
                    (489 494 611 641 819)) 
                (979 
                    (471 517 624 772 821)) 
                (980 
                    (488 523 566 705 817)) 
                (981 
                    (126 528 594 631 925)) 
                (982 
                    (335 683 722 741 771 788)) 
                (983 
                    (180 491 616 839)) 
                (984 
                    (223 412 502 556)) 
                (985 
                    (91 843)) 
                (986 
                    (106 123 149 156 247 512 517)) 
                (987 
                    (42 260 567 722 984)) 
                (988 
                    (377 537 906)) 
                (989 
                    (4 259 347 794 879 886 921 953)) 
                (990 
                    (126 490 594 820)) 
                (991 
                    (83 260 874 884)) 
                (992 
                    (65 643 730)) 
                (993 
                    (181 480 544 558 685 963)) 
                (994 
                    (112 202 666 758)) 
                (995 
                    (245 282 646 716 827 972)) 
                (996 
                    (67 149 620 666 707 717 758 773)) 
                (997 
                    (674 690 773)) 
                (998 
                    (37 127 391 506 589 643 647 951)) 
                (999 
                    (5 39 61 62 133 134 147 277 580 654 973 989)))) 
        ))