user=vaughan [2013-03-03 00:07:38] 651*2^1241911-1 is not prime. Res64: 62FBDF52D5D7D59F Time : 0.0 sec. user=mdettweiler [2013-03-03 00:08:44] 873*2^1241911-1 is not prime. Res64: 71D7CC593D415E57 Time : 0.0 sec. user=mdettweiler [2013-03-03 00:08:44] 635*2^1241912-1 is not prime. Res64: 552B05FBAE2EF187 Time : 0.0 sec. user=mdettweiler [2013-03-03 00:08:53] 669*2^1241912-1 is not prime. Res64: AEEBC5397D8E816A Time : 0.0 sec. user=mdettweiler [2013-03-03 00:08:54] 683*2^1241912-1 is not prime. Res64: E6C810F1652F70B4 Time : 0.0 sec. user=juhehe [2013-03-03 00:25:38] 625*2^1241911-1 is not prime. Res64: 46D5A320C1FADF37 Time : 0.0 sec. user=mdettweiler [2013-03-03 00:26:14] 977*2^1241912-1 is not prime. Res64: 823734821A48C72C Time : 0.0 sec. user=mdettweiler [2013-03-03 00:26:14] 805*2^1241913-1 is not prime. Res64: D30627B3A6652DA9 Time : 0.0 sec. user=mdettweiler [2013-03-03 00:26:24] 901*2^1241913-1 is not prime. Res64: 7CBECE3594A9586D Time : 0.0 sec. user=mdettweiler [2013-03-03 00:26:25] 623*2^1241914-1 is not prime. Res64: F93F0B0851FE08EC Time : 0.0 sec. user=mdettweiler [2013-03-03 00:43:43] 677*2^1241914-1 is not prime. Res64: A6A0350488F24B86 Time : 0.0 sec. user=mdettweiler [2013-03-03 00:43:43] 717*2^1241914-1 is not prime. Res64: F78294E707DF9AF7 Time : 0.0 sec. user=mdettweiler [2013-03-03 00:43:54] 833*2^1241914-1 is not prime. Res64: 7EAB8457A2792869 Time : 0.0 sec. user=mdettweiler [2013-03-03 00:43:54] 857*2^1241914-1 is not prime. Res64: EBA23CC4D8A4D88B Time : 0.0 sec. user=vaughan [2013-03-03 00:45:27] 699*2^1241912-1 is not prime. Res64: 69AFB359AF7F0360 Time : 0.0 sec. user=mdettweiler [2013-03-03 01:01:13] 971*2^1241914-1 is not prime. Res64: 4CB2FA6C62C9F20D Time : 0.0 sec. user=mdettweiler [2013-03-03 01:01:14] 603*2^1241915-1 is not prime. Res64: A857709A1A7AA81C Time : 0.0 sec. user=mdettweiler [2013-03-03 01:01:24] 741*2^1241915-1 is not prime. Res64: DC3AA9EDDA194506 Time : 0.0 sec. user=mdettweiler [2013-03-03 01:01:25] 759*2^1241915-1 is not prime. Res64: 2A612FA3B4BE69C1 Time : 0.0 sec. user=mdettweiler [2013-03-03 01:18:49] 921*2^1241915-1 is not prime. Res64: 461ED3D2ECD58A3F Time : 0.0 sec. user=mdettweiler [2013-03-03 01:18:50] 943*2^1241915-1 is not prime. Res64: A39D5AD290F4692D Time : 0.0 sec. user=mdettweiler [2013-03-03 01:18:59] 981*2^1241915-1 is not prime. Res64: F15E76B71E41A0E3 Time : 0.0 sec. user=mdettweiler [2013-03-03 01:18:59] 985*2^1241915-1 is not prime. Res64: 08472A9EBC87C145 Time : 0.0 sec. user=vaughan [2013-03-03 01:23:11] 825*2^1241915-1 is not prime. Res64: 596575BB92E065B9 Time : 0.0 sec. user=juhehe [2013-03-03 01:27:15] 693*2^1241915-1 is not prime. Res64: 4B931F3F0D843212 Time : 0.0 sec. user=mdettweiler [2013-03-03 01:36:20] 623*2^1241916-1 is not prime. Res64: F08B8588BC4F6D59 Time : 0.0 sec. user=mdettweiler [2013-03-03 01:36:20] 647*2^1241916-1 is not prime. Res64: 0A0EBEC788236160 Time : 0.0 sec. user=mdettweiler [2013-03-03 01:36:30] 669*2^1241916-1 is not prime. Res64: 9753439871A42445 Time : 0.0 sec. user=mdettweiler [2013-03-03 01:36:30] 689*2^1241916-1 is not prime. Res64: 52FB36457005D44B Time : 0.0 sec. user=juhehe [2013-03-03 01:37:59] 917*2^1241914-1 is not prime. Res64: C235A696105A4B49 Time : 0.0 sec. user=mdettweiler [2013-03-03 01:53:50] 759*2^1241916-1 is not prime. Res64: F8A64C429D2AEE7F Time : 0.0 sec. user=mdettweiler [2013-03-03 01:53:50] 767*2^1241916-1 is not prime. Res64: 639D7010442AE948 Time : 0.0 sec. user=mdettweiler [2013-03-03 01:54:00] 779*2^1241916-1 is not prime. Res64: 70F2116F69199A7B Time : 0.0 sec. user=mdettweiler [2013-03-03 01:54:00] 837*2^1241916-1 is not prime. Res64: 8C9FA6DE39017BC7 Time : 0.0 sec. user=vaughan [2013-03-03 02:01:00] 705*2^1241916-1 is not prime. Res64: A8290FD7B79A5840 Time : 0.0 sec. user=mdettweiler [2013-03-03 02:11:20] 843*2^1241916-1 is not prime. Res64: 4B8FBCE35188295D Time : 0.0 sec. user=mdettweiler [2013-03-03 02:11:21] 867*2^1241916-1 is not prime. Res64: EB44580083EC66ED Time : 0.0 sec. user=mdettweiler [2013-03-03 02:11:30] 887*2^1241916-1 is not prime. Res64: 77EEC07575B08D6F Time : 0.0 sec. user=mdettweiler [2013-03-03 02:11:30] 667*2^1241917-1 is not prime. Res64: C0F30044B77579F6 Time : 0.0 sec. user=mdettweiler [2013-03-03 02:28:50] 777*2^1241917-1 is not prime. Res64: 1BEE3A3F6D335A57 Time : 0.0 sec. user=mdettweiler [2013-03-03 02:28:50] 831*2^1241917-1 is not prime. Res64: FD1D4364A86A269A Time : 0.0 sec. user=mdettweiler [2013-03-03 02:28:59] 847*2^1241917-1 is not prime. Res64: 03B60FAA3F68865C Time : 0.0 sec. user=mdettweiler [2013-03-03 02:28:59] 931*2^1241917-1 is not prime. Res64: 0F221D31431413EB Time : 0.0 sec. user=vaughan [2013-03-03 02:38:47] 757*2^1241917-1 is not prime. Res64: 88097D46620EA711 Time : 0.0 sec. user=mdettweiler [2013-03-03 02:46:21] 935*2^1241918-1 is not prime. Res64: DE941A9BF9C67A90 Time : 0.0 sec. user=mdettweiler [2013-03-03 02:46:23] 957*2^1241918-1 is not prime. Res64: 875E78687F59494D Time : 0.0 sec. user=mdettweiler [2013-03-03 02:46:27] 971*2^1241918-1 is not prime. Res64: 0F6C37551B233643 Time : 0.0 sec. user=mdettweiler [2013-03-03 02:46:28] 977*2^1241918-1 is not prime. Res64: A8698B5A477C2F3C Time : 0.0 sec. user=juhehe [2013-03-03 02:48:52] 759*2^1241917-1 is not prime. Res64: 9B0B76003026B38F Time : 0.0 sec. user=mdettweiler [2013-03-03 03:03:59] 885*2^1241919-1 is not prime. Res64: 3516A5B078BFC1AC Time : 0.0 sec. user=mdettweiler [2013-03-03 03:04:01] 895*2^1241919-1 is not prime. Res64: BC83F56A42BFBA2B Time : 0.0 sec. user=mdettweiler [2013-03-03 03:04:01] 933*2^1241919-1 is not prime. Res64: 8AE355DC21A89924 Time : 0.0 sec. user=mdettweiler [2013-03-03 03:04:01] 605*2^1241920-1 is not prime. Res64: 0CBA2733A1885950 Time : 0.0 sec. user=juhehe [2013-03-03 03:11:42] 775*2^1241919-1 is not prime. Res64: BAFC604ADD7A71D4 Time : 0.0 sec. user=vaughan [2013-03-03 03:16:30] 865*2^1241919-1 is not prime. Res64: 08F43F4BA6242E55 Time : 0.0 sec. user=mdettweiler [2013-03-03 03:21:34] 665*2^1241920-1 is not prime. Res64: 9EC717116E88FC0D Time : 0.0 sec. user=mdettweiler [2013-03-03 03:21:35] 755*2^1241920-1 is not prime. Res64: 5BBFD779A9A1467F Time : 0.0 sec. user=mdettweiler [2013-03-03 03:21:36] 773*2^1241920-1 is not prime. Res64: 66AC5AD55DB19E5B Time : 0.0 sec. user=mdettweiler [2013-03-03 03:21:37] 915*2^1241920-1 is not prime. Res64: C3EB5B9C5562E9F1 Time : 0.0 sec. user=juhehe [2013-03-03 03:25:19] 961*2^1241917-1 is not prime. Res64: 53F46DAAAE850787 Time : 0.0 sec. user=mdettweiler [2013-03-03 03:39:04] 675*2^1241921-1 is not prime. Res64: D0233F79DD186C6B Time : 0.0 sec. user=mdettweiler [2013-03-03 03:39:05] 769*2^1241921-1 is not prime. Res64: 23203B154D166EA1 Time : 0.0 sec. user=mdettweiler [2013-03-03 03:39:07] 889*2^1241921-1 is not prime. Res64: D328636C54E81FB7 Time : 0.0 sec. user=mdettweiler [2013-03-03 03:39:08] 909*2^1241921-1 is not prime. Res64: 018A2A8F34771E38 Time : 0.0 sec. user=juhehe [2013-03-03 03:39:13] 843*2^1241919-1 is not prime. Res64: 58FF1A59EFE3C5E8 Time : 0.0 sec. user=vaughan [2013-03-03 03:54:15] 631*2^1241921-1 is not prime. Res64: 8A6AF49A12CE2E3E Time : 0.0 sec. user=mdettweiler [2013-03-03 03:56:35] 997*2^1241921-1 is not prime. Res64: F55A875FB6A7AD71 Time : 0.0 sec. user=mdettweiler [2013-03-03 03:56:35] 621*2^1241922-1 is not prime. Res64: C15F8A5426D4CB35 Time : 0.0 sec. user=mdettweiler [2013-03-03 03:56:38] 705*2^1241922-1 is not prime. Res64: BDDA0380E5845F3A Time : 0.0 sec. user=mdettweiler [2013-03-03 03:56:38] 725*2^1241922-1 is not prime. Res64: D1565E335F0E1D01 Time : 0.0 sec. user=mdettweiler [2013-03-03 04:14:23] 887*2^1241922-1 is not prime. Res64: AB6EA56D9D4757CF Time : 0.0 sec. user=mdettweiler [2013-03-03 04:14:23] 903*2^1241922-1 is not prime. Res64: ABBEB1D71F1E9A4A Time : 0.0 sec. user=mdettweiler [2013-03-03 04:14:23] 777*2^1241922-1 is not prime. Res64: 6E5F46F26E3D8ECA Time : 0.0 sec. user=mdettweiler [2013-03-03 04:14:24] 815*2^1241922-1 is not prime. Res64: 82F96A2204610325 Time : 0.0 sec. user=vaughan [2013-03-03 04:31:57] 765*2^1241922-1 is not prime. Res64: 3B7CCD160EF8731F Time : 0.0 sec. user=mdettweiler [2013-03-03 04:32:17] 947*2^1241922-1 is not prime. Res64: B54A6C739DC829C9 Time : 0.0 sec. user=mdettweiler [2013-03-03 04:32:18] 631*2^1241923-1 is not prime. Res64: 048F6EB12219DF56 Time : 0.0 sec. user=mdettweiler [2013-03-03 04:32:18] 615*2^1241923-1 is not prime. Res64: 8C110F5D00A2A8B2 Time : 0.0 sec. user=mdettweiler [2013-03-03 04:32:19] 723*2^1241923-1 is not prime. Res64: 03CD6168E56A9DCB Time : 0.0 sec. user=mdettweiler [2013-03-03 04:50:30] 915*2^1241923-1 is not prime. Res64: 6A586A542F43DDB8 Time : 0.0 sec. user=mdettweiler [2013-03-03 04:50:31] 973*2^1241923-1 is not prime. Res64: 67F17502435EB650 Time : 0.0 sec. user=mdettweiler [2013-03-03 04:50:33] 895*2^1241923-1 is not prime. Res64: FF5B2DBAD1E665C3 Time : 0.0 sec. user=mdettweiler [2013-03-03 04:50:33] 901*2^1241923-1 is not prime. Res64: 1F88006E8E795AB4 Time : 0.0 sec. user=mdettweiler [2013-03-03 05:08:13] 623*2^1241924-1 is not prime. Res64: BE951E1010413802 Time : 0.0 sec. user=mdettweiler [2013-03-03 05:08:13] 659*2^1241924-1 is not prime. Res64: 2ABBCB07A66B07C2 Time : 0.0 sec. user=mdettweiler [2013-03-03 05:08:14] 677*2^1241924-1 is not prime. Res64: CB15A4E1DAD0788D Time : 0.0 sec. user=mdettweiler [2013-03-03 05:08:14] 743*2^1241924-1 is not prime. Res64: 158BBA2CB67D3E5F Time : 0.0 sec. user=vaughan [2013-03-03 05:09:44] 871*2^1241923-1 is not prime. Res64: EB765A26C74698F6 Time : 0.0 sec. user=mdettweiler [2013-03-03 05:25:43] 649*2^1241925-1 is not prime. Res64: 8F0650335DB840AC Time : 0.0 sec. user=mdettweiler [2013-03-03 05:25:43] 657*2^1241925-1 is not prime. Res64: FB9EC55D0D11B81C Time : 0.0 sec. user=mdettweiler [2013-03-03 05:25:44] 735*2^1241925-1 is not prime. Res64: 0EFD07F85192BDFF Time : 0.0 sec. user=mdettweiler [2013-03-03 05:25:44] 751*2^1241925-1 is not prime. Res64: 9B9DB5E1828BF24F Time : 0.0 sec. user=juhehe [2013-03-03 05:25:53] 813*2^1241923-1 is not prime. Res64: C5D3837678F6D09C Time : 0.0 sec. user=juhehe [2013-03-03 05:40:17] 609*2^1241924-1 is not prime. Res64: EABC2BAF32F5F386 Time : 0.0 sec. user=mdettweiler [2013-03-03 05:43:12] 927*2^1241925-1 is not prime. Res64: F0BD49D15BCE5E0D Time : 0.0 sec. user=mdettweiler [2013-03-03 05:43:13] 975*2^1241925-1 is not prime. Res64: 2D0EDA5507504A09 Time : 0.0 sec. user=mdettweiler [2013-03-03 05:43:13] 645*2^1241926-1 is not prime. Res64: A6790BB7307656EB Time : 0.0 sec. user=mdettweiler [2013-03-03 05:43:13] 653*2^1241926-1 is not prime. Res64: 76D3FA4CDB6A48DC Time : 0.0 sec. user=vaughan [2013-03-03 05:47:28] 817*2^1241925-1 is not prime. Res64: 257BD8B0D455E3DC Time : 0.0 sec. user=mdettweiler [2013-03-03 06:00:44] 867*2^1241926-1 is not prime. Res64: 87F78F23AB13DE31 Time : 0.0 sec. user=mdettweiler [2013-03-03 06:00:44] 761*2^1241926-1 is not prime. Res64: FCBDECFAB7C5D03D Time : 0.0 sec. user=mdettweiler [2013-03-03 06:00:44] 891*2^1241926-1 is not prime. Res64: C37BFED4FF1438DC Time : 0.0 sec. user=mdettweiler [2013-03-03 06:00:44] 785*2^1241926-1 is not prime. Res64: 8CD67562BEB49799 Time : 0.0 sec. user=juhehe [2013-03-03 06:15:18] 813*2^1241818-1 is not prime. Res64: 9E0AB2EBFE6EBA80 Time : 0.0 sec. user=mdettweiler [2013-03-03 06:18:18] 643*2^1241927-1 is not prime. Res64: 0E5E0FC41867BAC1 Time : 0.0 sec. user=mdettweiler [2013-03-03 06:18:18] 609*2^1241927-1 is not prime. Res64: 8CD29B19FC261509 Time : 0.0 sec. user=mdettweiler [2013-03-03 06:18:18] 799*2^1241927-1 is not prime. Res64: C2A8046978B97A46 Time : 0.0 sec. user=mdettweiler [2013-03-03 06:18:18] 633*2^1241927-1 is not prime. Res64: 73D1342B3519C01F Time : 0.0 sec. user=vaughan [2013-03-03 06:25:09] 945*2^1241926-1 is not prime. Res64: 8EC296FF2F4940C7 Time : 0.0 sec. user=mdettweiler [2013-03-03 06:35:48] 831*2^1241927-1 is not prime. Res64: 0D725EF7D3000140 Time : 0.0 sec. user=mdettweiler [2013-03-03 06:35:48] 615*2^1241928-1 is not prime. Res64: 0B07B5025D2410AA Time : 0.0 sec. user=mdettweiler [2013-03-03 06:35:49] 949*2^1241927-1 is not prime. Res64: 2282E551632C4026 Time : 0.0 sec. user=mdettweiler [2013-03-03 06:35:49] 657*2^1241928-1 is not prime. Res64: 0BDE7E2A2A4E23D5 Time : 0.0 sec. user=mdettweiler [2013-03-03 06:53:17] 887*2^1241928-1 is not prime. Res64: ADD5291116EB7609 Time : 0.0 sec. user=mdettweiler [2013-03-03 06:53:18] 899*2^1241928-1 is not prime. Res64: B70DC6E8701C098D Time : 0.0 sec. user=mdettweiler [2013-03-03 06:53:19] 909*2^1241928-1 is not prime. Res64: F0EC9FB8E14B98C5 Time : 0.0 sec. user=mdettweiler [2013-03-03 06:53:19] 999*2^1241928-1 is not prime. Res64: 79C9D62CD4C4911F Time : 0.0 sec. user=vaughan [2013-03-03 07:02:51] 705*2^1241928-1 is not prime. Res64: 5ED18F4C5E09C8F9 Time : 0.0 sec. user=mdettweiler [2013-03-03 07:10:46] 811*2^1241929-1 is not prime. Res64: 74CAE9D83D461939 Time : 0.0 sec. user=mdettweiler [2013-03-03 07:10:46] 945*2^1241929-1 is not prime. Res64: 405649E084D2AC18 Time : 0.0 sec. user=mdettweiler [2013-03-03 07:10:48] 951*2^1241929-1 is not prime. Res64: 24575B2F166006D3 Time : 0.0 sec. user=mdettweiler [2013-03-03 07:10:48] 615*2^1241930-1 is not prime. Res64: E11802DB2D1F4BE0 Time : 0.0 sec. user=juhehe [2013-03-03 07:26:51] 689*2^1241928-1 is not prime. Res64: AC9E51800133727D Time : 0.0 sec. user=mdettweiler [2013-03-03 07:28:16] 755*2^1241930-1 is not prime. Res64: 043A3988A94B28AA Time : 0.0 sec. user=mdettweiler [2013-03-03 07:28:17] 831*2^1241930-1 is not prime. Res64: 6AEC7C4FCCDD9390 Time : 0.0 sec. user=mdettweiler [2013-03-03 07:28:17] 921*2^1241930-1 is not prime. Res64: 3BAAEC9210BD5A9F Time : 0.0 sec. user=mdettweiler [2013-03-03 07:28:18] 941*2^1241930-1 is not prime. Res64: FC20D0DC7B15A468 Time : 0.0 sec. user=juhehe [2013-03-03 07:40:39] 679*2^1241929-1 is not prime. Res64: AE733D7C0B6348E1 Time : 0.0 sec. user=vaughan [2013-03-03 07:40:42] 741*2^1241930-1 is not prime. Res64: 6CA034A9E1854A27 Time : 0.0 sec. user=mdettweiler [2013-03-03 07:45:45] 1001*2^1241930-1 is not prime. Res64: 0C9221A9AC612BEA Time : 0.0 sec. user=mdettweiler [2013-03-03 07:45:45] 735*2^1241931-1 is not prime. Res64: A42CA4CDA5BE8754 Time : 0.0 sec. user=mdettweiler [2013-03-03 07:45:46] 705*2^1241931-1 is not prime. Res64: BB58FB4505134B57 Time : 0.0 sec. user=mdettweiler [2013-03-03 07:45:46] 739*2^1241931-1 is not prime. Res64: 1BDD5A3D9785E66C Time : 0.0 sec. user=mdettweiler [2013-03-03 08:03:16] 825*2^1241931-1 is not prime. Res64: 41238BA00747E8AE Time : 0.0 sec. user=mdettweiler [2013-03-03 08:03:16] 861*2^1241931-1 is not prime. Res64: 9D22E8A526F05629 Time : 0.0 sec. user=mdettweiler [2013-03-03 08:03:17] 835*2^1241931-1 is not prime. Res64: A1EB51FA39707949 Time : 0.0 sec. user=mdettweiler [2013-03-03 08:03:17] 951*2^1241931-1 is not prime. Res64: 919A05D2B8101307 Time : 0.0 sec. user=vaughan [2013-03-03 08:18:24] 769*2^1241931-1 is not prime. Res64: 26252DCC49ED3B6D Time : 0.0 sec. user=mdettweiler [2013-03-03 08:20:50] 647*2^1241932-1 is not prime. Res64: F5831D4E3A759D69 Time : 0.0 sec. user=mdettweiler [2013-03-03 08:20:50] 665*2^1241932-1 is not prime. Res64: AD3BD48780C7D977 Time : 0.0 sec. user=mdettweiler [2013-03-03 08:20:50] 825*2^1241932-1 is not prime. Res64: F6E3368A140D0619 Time : 0.0 sec. user=mdettweiler [2013-03-03 08:20:51] 627*2^1241933-1 is not prime. Res64: 86FC3AF4D766E2C3 Time : 0.0 sec. user=mdettweiler [2013-03-03 08:38:19] 721*2^1241933-1 is not prime. Res64: 496B2EF09E9EC68C Time : 0.0 sec. user=mdettweiler [2013-03-03 08:38:20] 741*2^1241933-1 is not prime. Res64: 5735D9E5F64F8A03 Time : 0.0 sec. user=mdettweiler [2013-03-03 08:38:20] 861*2^1241933-1 is not prime. Res64: 595D6D80789EA03B Time : 0.0 sec. user=mdettweiler [2013-03-03 08:38:20] 867*2^1241933-1 is not prime. Res64: A8F8CA83A77E5FEF Time : 0.0 sec. user=mdettweiler [2013-03-03 08:55:48] 957*2^1241933-1 is not prime. Res64: 79C765B614B87C46 Time : 0.0 sec. user=mdettweiler [2013-03-03 08:55:49] 979*2^1241933-1 is not prime. Res64: B8009853C960A152 Time : 0.0 sec. user=mdettweiler [2013-03-03 08:55:49] 985*2^1241933-1 is not prime. Res64: 03F946202E798901 Time : 0.0 sec. user=mdettweiler [2013-03-03 08:55:50] 635*2^1241934-1 is not prime. Res64: 3B7D156BAEF4127F Time : 0.0 sec. user=vaughan [2013-03-03 08:56:10] 675*2^1241933-1 is not prime. Res64: F4FCCE2AA9BE5D6F Time : 0.0 sec. user=mdettweiler [2013-03-03 09:13:18] 767*2^1241934-1 is not prime. Res64: 75A1292B38334CAD Time : 0.0 sec. user=mdettweiler [2013-03-03 09:13:19] 797*2^1241934-1 is not prime. Res64: 79C712DAC05051E5 Time : 0.0 sec. user=mdettweiler [2013-03-03 09:13:19] 807*2^1241934-1 is not prime. Res64: 59453CF211DF0F6B Time : 0.0 sec. user=mdettweiler [2013-03-03 09:13:19] 893*2^1241934-1 is not prime. Res64: 9A96869833A7248A Time : 0.0 sec. user=juhehe [2013-03-03 09:28:05] 955*2^1241933-1 is not prime. Res64: A0ACEB4F17E5858F Time : 0.0 sec. user=mdettweiler [2013-03-03 09:30:51] 971*2^1241934-1 is not prime. Res64: EF883557722FE549 Time : 0.0 sec. user=mdettweiler [2013-03-03 09:30:51] 639*2^1241935-1 is not prime. Res64: 6AB2DA5E17DA930E Time : 0.0 sec. user=mdettweiler [2013-03-03 09:30:52] 679*2^1241935-1 is not prime. Res64: 098E37928B09FDEC Time : 0.0 sec. user=mdettweiler [2013-03-03 09:30:52] 789*2^1241935-1 is not prime. Res64: F190F0BD1EA2A132 Time : 0.0 sec. user=vaughan [2013-03-03 09:33:50] 941*2^1241934-1 is not prime. Res64: 9D99ACDBF949F558 Time : 0.0 sec. user=juhehe [2013-03-03 09:41:52] 755*2^1241934-1 is not prime. Res64: 2392E939D724213A Time : 0.0 sec. user=mdettweiler [2013-03-03 09:48:22] 829*2^1241935-1 is not prime. Res64: 1790DF33DCFAB074 Time : 0.0 sec. user=mdettweiler [2013-03-03 09:48:22] 919*2^1241935-1 is not prime. Res64: D045D1D522BAC927 Time : 0.0 sec. user=mdettweiler [2013-03-03 09:48:23] 615*2^1241936-1 is not prime. Res64: FBE0ABFA51C1D62E Time : 0.0 sec. user=mdettweiler [2013-03-03 09:48:23] 635*2^1241936-1 is not prime. Res64: A80271F80D95BABE Time : 0.0 sec. user=mdettweiler [2013-03-03 10:05:52] 855*2^1241936-1 is not prime. Res64: 29CA149A9E5F4CE9 Time : 0.0 sec. user=mdettweiler [2013-03-03 10:05:53] 917*2^1241936-1 is not prime. Res64: 88C3FFCFEF7E1E21 Time : 0.0 sec. user=mdettweiler [2013-03-03 10:05:54] 777*2^1241937-1 is not prime. Res64: 22666196D85F5EE2 Time : 0.0 sec. user=mdettweiler [2013-03-03 10:05:55] 819*2^1241937-1 is not prime. Res64: 119069DAF38BA002 Time : 0.0 sec. user=vaughan [2013-03-03 10:11:34] 767*2^1241936-1 is not prime. Res64: D72518743E355AED Time : 0.0 sec. user=mdettweiler [2013-03-03 10:23:34] 611*2^1241938-1 is not prime. Res64: 33065CCA0680780E Time : 0.0 sec. user=mdettweiler [2013-03-03 10:23:34] 663*2^1241938-1 is not prime. Res64: 0C19220CD2BF7C25 Time : 0.0 sec. user=mdettweiler [2013-03-03 10:23:36] 825*2^1241938-1 is not prime. Res64: 82B29BAFBEA64549 Time : 0.0 sec. user=mdettweiler [2013-03-03 10:23:37] 855*2^1241938-1 is not prime. Res64: BFBCD63BD76C16BF Time : 0.0 sec. user=juhehe [2013-03-03 10:33:42] 677*2^1241936-1 is not prime. Res64: 1EA5FA9467A55F17 Time : 0.0 sec. user=juhehe [2013-03-03 10:33:49] 699*2^1241936-1 is not prime. Res64: 80F0A9AECCEC202F Time : 0.0 sec. user=mdettweiler [2013-03-03 10:41:05] 971*2^1241938-1 is not prime. Res64: 1B5FAEB556BF04A6 Time : 0.0 sec. user=mdettweiler [2013-03-03 10:41:05] 981*2^1241938-1 is not prime. Res64: ED25C9528CE8913A Time : 0.0 sec. user=mdettweiler [2013-03-03 10:41:09] 1001*2^1241938-1 is not prime. Res64: BBECBB5449F65C11 Time : 0.0 sec. user=mdettweiler [2013-03-03 10:41:09] 645*2^1241939-1 is not prime. Res64: 2F9CEC39A298B279 Time : 0.0 sec. user=vaughan [2013-03-03 10:49:16] 857*2^1241938-1 is not prime. Res64: D1DD761A14110EC1 Time : 0.0 sec. user=juhehe [2013-03-03 10:54:32] 957*2^1241938-1 is not prime. Res64: D422EDFAEFB14836 Time : 0.0 sec. user=mdettweiler [2013-03-03 10:58:35] 823*2^1241939-1 is not prime. Res64: EEE0A98B89D2A2F2 Time : 0.0 sec. user=mdettweiler [2013-03-03 10:58:35] 829*2^1241939-1 is not prime. Res64: 3763469AAC5B0F63 Time : 0.0 sec. user=mdettweiler [2013-03-03 10:58:39] 841*2^1241939-1 is not prime. Res64: 3005385CE7771789 Time : 0.0 sec. user=mdettweiler [2013-03-03 10:58:39] 859*2^1241939-1 is not prime. Res64: 3AF1B5B77B118605 Time : 0.0 sec. user=juhehe [2013-03-03 11:04:14] 693*2^1241939-1 is not prime. Res64: E47C1A3F73CC4622 Time : 0.0 sec. user=juhehe [2013-03-03 11:12:00] 703*2^1241939-1 is not prime. Res64: A26643029CCF52BC Time : 0.0 sec. user=mdettweiler [2013-03-03 11:16:05] 609*2^1241940-1 is not prime. Res64: 69A7D4CC49E32BD9 Time : 0.0 sec. user=mdettweiler [2013-03-03 11:16:05] 725*2^1241940-1 is not prime. Res64: BD7BEA3219A2D0D1 Time : 0.0 sec. user=mdettweiler [2013-03-03 11:16:08] 737*2^1241940-1 is not prime. Res64: 8FFC2EA569A98E17 Time : 0.0 sec. user=mdettweiler [2013-03-03 11:16:08] 777*2^1241940-1 is not prime. Res64: 014D3061E9298A73 Time : 0.0 sec. user=vaughan [2013-03-03 11:26:59] 913*2^1241939-1 is not prime. Res64: C00BB185386032CA Time : 0.0 sec. user=juhehe [2013-03-03 11:29:22] 675*2^1241939-1 is not prime. Res64: 10D7A8AF33C8BEB4 Time : 0.0 sec. user=mdettweiler [2013-03-03 11:33:38] 875*2^1241940-1 is not prime. Res64: C6C466EACA213244 Time : 0.0 sec. user=mdettweiler [2013-03-03 11:33:38] 887*2^1241940-1 is not prime. Res64: 63590BFA2345A9E8 Time : 0.0 sec. user=mdettweiler [2013-03-03 11:33:38] 923*2^1241940-1 is not prime. Res64: 2157C0285714074E Time : 0.0 sec. user=mdettweiler [2013-03-03 11:33:39] 927*2^1241940-1 is not prime. Res64: A5EE8D46A2F40D4A Time : 0.0 sec. user=juhehe [2013-03-03 11:40:34] 825*2^1241940-1 is not prime. Res64: 17F8673100A9887B Time : 0.0 sec. user=juhehe [2013-03-03 11:43:08] 799*2^1241939-1 is not prime. Res64: 40DC2DE39A419DF8 Time : 0.0 sec. user=mdettweiler [2013-03-03 11:51:27] 741*2^1241941-1 is not prime. Res64: A1A56A4B9397CB00 Time : 0.0 sec. user=mdettweiler [2013-03-03 11:51:28] 799*2^1241941-1 is not prime. Res64: B730C2F12DABA1BB Time : 0.0 sec. user=mdettweiler [2013-03-03 11:51:29] 645*2^1241942-1 is not prime. Res64: 3677AE49156F0883 Time : 0.0 sec. user=mdettweiler [2013-03-03 11:51:29] 677*2^1241942-1 is not prime. Res64: 1E1B2863F8A12AFA Time : 0.0 sec. user=vaughan [2013-03-03 12:04:45] 619*2^1241941-1 is not prime. Res64: E0EEC88149721B30 Time : 0.0 sec. user=mdettweiler [2013-03-03 12:09:26] 935*2^1241942-1 is not prime. Res64: 350CEBE40FD35EBB Time : 0.0 sec. user=mdettweiler [2013-03-03 12:09:27] 1001*2^1241942-1 is not prime. Res64: 7FF88118A213D39C Time : 0.0 sec. user=mdettweiler [2013-03-03 12:09:27] 825*2^1241942-1 is not prime. Res64: 46B3C481ED6DA029 Time : 0.0 sec. user=mdettweiler [2013-03-03 12:09:28] 827*2^1241942-1 is not prime. Res64: 5762C2D4E0C80DD3 Time : 0.0 sec. user=juhehe [2013-03-03 12:16:55] 683*2^1241942-1 is not prime. Res64: 11C1955533BD4414 Time : 0.0 sec. user=mdettweiler [2013-03-03 12:27:34] 831*2^1241943-1 is not prime. Res64: 95BB098DB43FF2AE Time : 0.0 sec. user=mdettweiler [2013-03-03 12:27:35] 943*2^1241943-1 is not prime. Res64: F8820A215D361FEB Time : 0.0 sec. user=mdettweiler [2013-03-03 12:27:35] 639*2^1241944-1 is not prime. Res64: 4CACEA38282A0BE1 Time : 0.0 sec. user=mdettweiler [2013-03-03 12:27:36] 677*2^1241944-1 is not prime. Res64: EB1F5E2E1D0A51E4 Time : 0.0 sec. user=juhehe [2013-03-03 12:39:16] 741*2^1241943-1 is not prime. Res64: E20E68F272B7C50E Time : 0.0 sec. user=vaughan [2013-03-03 12:42:30] 775*2^1241943-1 is not prime. Res64: B9D7F88E30981014 Time : 0.0 sec. user=mdettweiler [2013-03-03 12:45:21] 827*2^1241944-1 is not prime. Res64: DCC903490F9DA27D Time : 0.0 sec. user=mdettweiler [2013-03-03 12:45:22] 715*2^1241945-1 is not prime. Res64: 19A40EED1C72FA81 Time : 0.0 sec. user=mdettweiler [2013-03-03 12:45:22] 729*2^1241945-1 is not prime. Res64: 4DDE1ED81B06AD95 Time : 0.0 sec. user=mdettweiler [2013-03-03 12:45:22] 831*2^1241945-1 is not prime. Res64: 4B12A9C055E61521 Time : 0.0 sec. user=juhehe [2013-03-03 12:53:16] 719*2^1241944-1 is not prime. Res64: F5F53C3EF5A7736A Time : 0.0 sec. user=mdettweiler [2013-03-03 13:03:00] 615*2^1241946-1 is not prime. Res64: 40DFB806C4A67159 Time : 0.0 sec. user=mdettweiler [2013-03-03 13:03:01] 705*2^1241946-1 is not prime. Res64: C1755A2947984500 Time : 0.0 sec. user=mdettweiler [2013-03-03 13:03:01] 657*2^1241946-1 is not prime. Res64: C222FFEBCFD01833 Time : 0.0 sec. user=mdettweiler [2013-03-03 13:03:02] 735*2^1241946-1 is not prime. Res64: 7FFC63602107F3CF Time : 0.0 sec. user=vaughan [2013-03-03 13:20:16] 949*2^1241945-1 is not prime. Res64: 93CB42AFD8F5652C Time : 0.0 sec. user=mdettweiler [2013-03-03 13:20:41] 673*2^1241947-1 is not prime. Res64: 4FAF30820C54F747 Time : 0.0 sec. user=mdettweiler [2013-03-03 13:20:41] 691*2^1241947-1 is not prime. Res64: 9A2F3511448BD6F0 Time : 0.0 sec. user=mdettweiler [2013-03-03 13:20:43] 775*2^1241947-1 is not prime. Res64: 74F3B45F4C809D05 Time : 0.0 sec. user=mdettweiler [2013-03-03 13:20:43] 805*2^1241947-1 is not prime. Res64: 0D9A5522CC4B7775 Time : 0.0 sec. user=juhehe [2013-03-03 13:30:15] 861*2^1241945-1 is not prime. Res64: 211D49BD25CABE2E Time : 0.0 sec. user=juhehe [2013-03-03 13:32:19] 941*2^1241946-1 is not prime. Res64: C1EDE70EDCBEEA37 Time : 0.0 sec. user=mdettweiler [2013-03-03 13:38:29] 841*2^1241947-1 is not prime. Res64: 999A1A5D156ADD42 Time : 0.0 sec. user=mdettweiler [2013-03-03 13:38:30] 849*2^1241947-1 is not prime. Res64: CF20A23B94A7B874 Time : 0.0 sec. user=mdettweiler [2013-03-03 13:38:32] 975*2^1241947-1 is not prime. Res64: 3968F8CEE778C7E0 Time : 0.0 sec. user=mdettweiler [2013-03-03 13:38:32] 617*2^1241948-1 is not prime. Res64: 4E1FA89042DC8B15 Time : 0.0 sec. user=juhehe [2013-03-03 13:43:50] 937*2^1241945-1 is not prime. Res64: 8505FF4406FD5320 Time : 0.0 sec. user=mdettweiler [2013-03-03 13:56:15] 647*2^1241948-1 is not prime. Res64: 7F36F48D2359F81E Time : 0.0 sec. user=mdettweiler [2013-03-03 13:56:16] 813*2^1241948-1 is not prime. Res64: 6977A914F60C874E Time : 0.0 sec. user=mdettweiler [2013-03-03 13:56:16] 825*2^1241948-1 is not prime. Res64: 5811E9224E487C81 Time : 0.0 sec. user=mdettweiler [2013-03-03 13:56:16] 845*2^1241948-1 is not prime. Res64: 8147BD4E9249BAA6 Time : 0.0 sec. user=vaughan [2013-03-03 13:58:01] 819*2^1241947-1 is not prime. Res64: 11024F913152C141 Time : 0.0 sec. user=mdettweiler [2013-03-03 14:15:11] 999*2^1241948-1 is not prime. Res64: B039DA7BF9C08AFF Time : 0.0 sec. user=mdettweiler [2013-03-03 14:15:11] 789*2^1241949-1 is not prime. Res64: C1E33E63A903FADB Time : 0.0 sec. user=mdettweiler [2013-03-03 14:15:12] 675*2^1241949-1 is not prime. Res64: CEBFE6A20D6A0F64 Time : 0.0 sec. user=mdettweiler [2013-03-03 14:15:12] 889*2^1241949-1 is not prime. Res64: 7D5F569990B4F53C Time : 0.0 sec. user=mdettweiler [2013-03-03 14:33:50] 969*2^1241949-1 is not prime. Res64: C88A56B3A7F236B5 Time : 0.0 sec. user=mdettweiler [2013-03-03 14:33:50] 657*2^1241950-1 is not prime. Res64: FCEF9DA67C6D3853 Time : 0.0 sec. user=mdettweiler [2013-03-03 14:33:50] 681*2^1241950-1 is not prime. Res64: 4A4A8F6FCA5329E7 Time : 0.0 sec. user=mdettweiler [2013-03-03 14:33:51] 731*2^1241950-1 is not prime. Res64: 61660690EA928D1C Time : 0.0 sec. user=vaughan [2013-03-03 14:35:44] 895*2^1241949-1 is not prime. Res64: C71B106C60BEA683 Time : 0.0 sec. user=mdettweiler [2013-03-03 14:52:21] 891*2^1241950-1 is not prime. Res64: D2646FC77621F598 Time : 0.0 sec. user=mdettweiler [2013-03-03 14:52:22] 915*2^1241950-1 is not prime. Res64: 56CF943C715E2FE1 Time : 0.0 sec. user=mdettweiler [2013-03-03 14:52:24] 951*2^1241950-1 is not prime. Res64: 3922275D79A0AB41 Time : 0.0 sec. user=mdettweiler [2013-03-03 14:52:24] 621*2^1241951-1 is not prime. Res64: 9547EA5DD41FEAD3 Time : 0.0 sec. user=juhehe [2013-03-03 14:56:36] 927*2^1241949-1 is not prime. Res64: 4359377916F29259 Time : 0.0 sec. user=mdettweiler [2013-03-03 15:10:49] 811*2^1241951-1 is not prime. Res64: 8ABAAE34F4CE0872 Time : 0.0 sec. user=mdettweiler [2013-03-03 15:10:49] 943*2^1241951-1 is not prime. Res64: 4BFD9EB2E3654DCC Time : 0.0 sec. user=mdettweiler [2013-03-03 15:10:49] 865*2^1241951-1 is not prime. Res64: 4F64DA71BE15D3DE Time : 0.0 sec. user=mdettweiler [2013-03-03 15:10:50] 973*2^1241951-1 is not prime. Res64: 86FFF1080E22A125 Time : 0.0 sec. user=vaughan [2013-03-03 15:13:27] 705*2^1241951-1 is not prime. Res64: 57B7C11BFFAB97A1 Time : 0.0 sec. user=mdettweiler [2013-03-03 15:29:24] 999*2^1241951-1 is not prime. Res64: F0CAA060FA7A54D5 Time : 0.0 sec. user=mdettweiler [2013-03-03 15:29:24] 699*2^1241952-1 is not prime. Res64: 89047696D5DAB4A8 Time : 0.0 sec. user=mdettweiler [2013-03-03 15:29:24] 609*2^1241952-1 is not prime. Res64: 57C0A966844E5028 Time : 0.0 sec. user=mdettweiler [2013-03-03 15:29:24] 899*2^1241952-1 is not prime. Res64: 64EE4E467A67F72F Time : 0.0 sec. user=juhehe [2013-03-03 15:30:39] 741*2^1241950-1 is not prime. Res64: AD446F4D94EC134F Time : 0.0 sec. user=juhehe [2013-03-03 15:45:02] 753*2^1241951-1 is not prime. Res64: 28015B42B2BB9807 Time : 0.0 sec. user=mdettweiler [2013-03-03 15:47:56] 811*2^1241953-1 is not prime. Res64: C295F0E1D118CB66 Time : 0.0 sec. user=mdettweiler [2013-03-03 15:47:56] 817*2^1241953-1 is not prime. Res64: F99152CC029E4DE5 Time : 0.0 sec. user=mdettweiler [2013-03-03 15:47:58] 957*2^1241953-1 is not prime. Res64: 67FC9A6BCAA28CA6 Time : 0.0 sec. user=mdettweiler [2013-03-03 15:47:58] 645*2^1241954-1 is not prime. Res64: 5D0EE425B1D3AA2F Time : 0.0 sec. user=vaughan [2013-03-03 15:51:09] 681*2^1241953-1 is not prime. Res64: 725C66D498D460C6 Time : 0.0 sec. user=mdettweiler [2013-03-03 16:06:30] 671*2^1241954-1 is not prime. Res64: 7C7CC7CC1FDB3121 Time : 0.0 sec. user=mdettweiler [2013-03-03 16:06:31] 717*2^1241954-1 is not prime. Res64: E54C238F3954497F Time : 0.0 sec. user=mdettweiler [2013-03-03 16:06:33] 731*2^1241954-1 is not prime. Res64: 5E11DF7059B36FBD Time : 0.0 sec. user=mdettweiler [2013-03-03 16:06:34] 831*2^1241954-1 is not prime. Res64: 89453A080E847E6C Time : 0.0 sec. user=mdettweiler [2013-03-03 16:25:06] 983*2^1241954-1 is not prime. Res64: 420202281A8F188C Time : 0.0 sec. user=mdettweiler [2013-03-03 16:25:06] 609*2^1241955-1 is not prime. Res64: BFB8A2E0406ED33A Time : 0.0 sec. user=mdettweiler [2013-03-03 16:25:06] 663*2^1241955-1 is not prime. Res64: 2E9CCB9610A2C110 Time : 0.0 sec. user=mdettweiler [2013-03-03 16:25:07] 735*2^1241955-1 is not prime. Res64: 24A508EDF0B3046A Time : 0.0 sec. user=vaughan [2013-03-03 16:28:49] 875*2^1241954-1 is not prime. Res64: 434071DBE204EACA Time : 0.0 sec. user=mdettweiler [2013-03-03 16:43:36] 885*2^1241955-1 is not prime. Res64: FFD21F285DBAB92B Time : 0.0 sec. user=mdettweiler [2013-03-03 16:43:36] 973*2^1241955-1 is not prime. Res64: 652095ABB714A434 Time : 0.0 sec. user=mdettweiler [2013-03-03 16:43:37] 985*2^1241955-1 is not prime. Res64: 696753D5F9BC7658 Time : 0.0 sec. user=mdettweiler [2013-03-03 16:43:37] 675*2^1241956-1 is not prime. Res64: 7428486DEE13CAEB Time : 0.0 sec. user=mdettweiler [2013-03-03 17:02:04] 833*2^1241956-1 is not prime. Res64: A25F56E7DE8486FF Time : 0.0 sec. user=mdettweiler [2013-03-03 17:02:04] 875*2^1241956-1 is not prime. Res64: 6ACB4CC19B604C6D Time : 0.0 sec. user=mdettweiler [2013-03-03 17:02:04] 857*2^1241956-1 is not prime. Res64: 98AF124204947B21 Time : 0.0 sec. user=mdettweiler [2013-03-03 17:02:05] 903*2^1241956-1 is not prime. Res64: 65E227B293C7B8DF Time : 0.0 sec. user=mdettweiler [2013-03-03 17:19:57] 621*2^1241957-1 is not prime. Res64: 8D0C54C5A2DEC690 Time : 0.0 sec. user=mdettweiler [2013-03-03 17:19:57] 631*2^1241957-1 is not prime. Res64: 146FDE4887464DEB Time : 0.0 sec. user=mdettweiler [2013-03-03 17:19:58] 675*2^1241957-1 is not prime. Res64: 3E0B9C62FE615BFB Time : 0.0 sec. user=mdettweiler [2013-03-03 17:19:58] 691*2^1241957-1 is not prime. Res64: 46B4A2310B47160B Time : 0.0 sec. user=juhehe [2013-03-03 17:31:10] 759*2^1241956-1 is not prime. Res64: 92734B18C8685B07 Time : 0.0 sec. user=mdettweiler [2013-03-03 17:38:18] 879*2^1241957-1 is not prime. Res64: A362BB7F4000732A Time : 0.0 sec. user=mdettweiler [2013-03-03 17:38:18] 997*2^1241957-1 is not prime. Res64: 1CA257B2646ED41A Time : 0.0 sec. user=mdettweiler [2013-03-03 17:38:19] 799*2^1241957-1 is not prime. Res64: 0C9F5397C0D41DF8 Time : 0.0 sec. user=mdettweiler [2013-03-03 17:38:19] 825*2^1241957-1 is not prime. Res64: 137FFDA7D184D672 Time : 0.0 sec. user=juhehe [2013-03-03 17:46:11] 765*2^1241956-1 is not prime. Res64: 3067E3C66D0C4E50 Time : 0.0 sec. user=juhehe [2013-03-03 17:51:47] 975*2^1241956-1 is not prime. Res64: 444CA51FDECE84B8 Time : 0.0 sec. user=mdettweiler [2013-03-03 17:56:13] 635*2^1241958-1 is not prime. Res64: 865BE2B111E9810A Time : 0.0 sec. user=mdettweiler [2013-03-03 17:56:13] 683*2^1241958-1 is not prime. Res64: 055157D4506C1E2C Time : 0.0 sec. user=mdettweiler [2013-03-03 17:56:13] 657*2^1241958-1 is not prime. Res64: 0D2899E810163369 Time : 0.0 sec. user=mdettweiler [2013-03-03 17:56:13] 731*2^1241958-1 is not prime. Res64: 3113A1607F46735E Time : 0.0 sec. user=mdettweiler [2013-03-03 18:14:03] 795*2^1241958-1 is not prime. Res64: FC273E6BE2EBC5A8 Time : 0.0 sec. user=mdettweiler [2013-03-03 18:14:03] 875*2^1241958-1 is not prime. Res64: AA8620E57BED87F0 Time : 0.0 sec. user=mdettweiler [2013-03-03 18:14:04] 1001*2^1241958-1 is not prime. Res64: 09CE09B4FFC8A080 Time : 0.0 sec. user=mdettweiler [2013-03-03 18:14:04] 679*2^1241959-1 is not prime. Res64: C2AA650F98B46B87 Time : 0.0 sec. user=mdettweiler [2013-03-03 18:31:51] 681*2^1241959-1 is not prime. Res64: 38C1B56920182F90 Time : 0.0 sec. user=mdettweiler [2013-03-03 18:31:51] 759*2^1241959-1 is not prime. Res64: 0A86E92F179EB09A Time : 0.0 sec. user=mdettweiler [2013-03-03 18:31:51] 765*2^1241959-1 is not prime. Res64: 79587983A5615048 Time : 0.0 sec. user=mdettweiler [2013-03-03 18:31:52] 843*2^1241959-1 is not prime. Res64: 44D91CF54D7E215B Time : 0.0 sec. user=mdettweiler [2013-03-03 18:49:37] 973*2^1241959-1 is not prime. Res64: 9449E7926593B076 Time : 0.0 sec. user=mdettweiler [2013-03-03 18:49:37] 669*2^1241960-1 is not prime. Res64: 708CEA5900159691 Time : 0.0 sec. user=mdettweiler [2013-03-03 18:49:38] 689*2^1241960-1 is not prime. Res64: E963EB7B40BB4105 Time : 0.0 sec. user=mdettweiler [2013-03-03 18:49:38] 755*2^1241960-1 is not prime. Res64: CB425CED8407C47D Time : 0.0 sec. user=mdettweiler [2013-03-03 19:07:23] 983*2^1241960-1 is not prime. Res64: A7215A8CF35C298D Time : 0.0 sec. user=mdettweiler [2013-03-03 19:07:24] 649*2^1241961-1 is not prime. Res64: FCAA6D78D03AE140 Time : 0.0 sec. user=mdettweiler [2013-03-03 19:07:24] 685*2^1241961-1 is not prime. Res64: 45C68AC77F09C324 Time : 0.0 sec. user=mdettweiler [2013-03-03 19:07:24] 705*2^1241961-1 is not prime. Res64: 826FDB45502BA0E0 Time : 0.0 sec. user=mdettweiler [2013-03-03 19:25:10] 735*2^1241961-1 is not prime. Res64: 670BA9E2CE53BB4B Time : 0.0 sec. user=mdettweiler [2013-03-03 19:25:10] 951*2^1241961-1 is not prime. Res64: 7E60134E7761CAF8 Time : 0.0 sec. user=mdettweiler [2013-03-03 19:25:11] 997*2^1241961-1 is not prime. Res64: DE3E9A8D98C8A774 Time : 0.0 sec. user=mdettweiler [2013-03-03 19:25:11] 621*2^1241962-1 is not prime. Res64: AF25CCBF589651DA Time : 0.0 sec. user=juhehe [2013-03-03 19:32:52] 853*2^1241959-1 is not prime. Res64: B7BA2CFAF4BEF93F Time : 0.0 sec. user=mdettweiler [2013-03-03 19:42:56] 651*2^1241962-1 is not prime. Res64: 6DB4E36144208843 Time : 0.0 sec. user=mdettweiler [2013-03-03 19:42:57] 657*2^1241962-1 is not prime. Res64: 6C5130CD8740461B Time : 0.0 sec. user=mdettweiler [2013-03-03 19:42:57] 665*2^1241962-1 is not prime. Res64: 87BEF2AC1023C18F Time : 0.0 sec. user=mdettweiler [2013-03-03 19:42:57] 735*2^1241962-1 is not prime. Res64: 0A822CE235435ADE Time : 0.0 sec. user=juhehe [2013-03-03 19:47:19] 825*2^1241960-1 is not prime. Res64: F1BCC2B961222027 Time : 0.0 sec. user=juhehe [2013-03-03 19:53:47] 645*2^1241962-1 is not prime. Res64: 20160F6121073D64 Time : 0.0 sec. user=mdettweiler [2013-03-03 20:00:42] 813*2^1241962-1 is not prime. Res64: 7F9FB92392441627 Time : 0.0 sec. user=mdettweiler [2013-03-03 20:00:43] 619*2^1241963-1 is not prime. Res64: 607E952BD506D732 Time : 0.0 sec. user=mdettweiler [2013-03-03 20:00:43] 827*2^1241962-1 is not prime. Res64: A70307B0C05287C1 Time : 0.0 sec. user=mdettweiler [2013-03-03 20:00:44] 633*2^1241963-1 is not prime. Res64: 051A00AC448F21E2 Time : 0.0 sec. user=juhehe [2013-03-03 20:12:56] 765*2^1241962-1 is not prime. Res64: B148F68CBB81DCDA Time : 0.0 sec. user=mdettweiler [2013-03-03 20:18:32] 703*2^1241963-1 is not prime. Res64: 32B761CAFA687DC2 Time : 0.0 sec. user=mdettweiler [2013-03-03 20:18:32] 665*2^1241964-1 is not prime. Res64: 5C14BACD7BA595A9 Time : 0.0 sec. user=mdettweiler [2013-03-03 20:18:32] 767*2^1241964-1 is not prime. Res64: ADFC4DF28409E35E Time : 0.0 sec. user=mdettweiler [2013-03-03 20:18:33] 929*2^1241964-1 is not prime. Res64: BD010558C5324161 Time : 0.0 sec. user=mdettweiler [2013-03-03 20:36:18] 945*2^1241964-1 is not prime. Res64: 4E7DF539FA9F1B74 Time : 0.0 sec. user=mdettweiler [2013-03-03 20:36:18] 959*2^1241964-1 is not prime. Res64: 0FA7BA967B4D22E8 Time : 0.0 sec. user=mdettweiler [2013-03-03 20:36:20] 699*2^1241965-1 is not prime. Res64: B996A80550339672 Time : 0.0 sec. user=mdettweiler [2013-03-03 20:36:20] 741*2^1241965-1 is not prime. Res64: 0DAD481340DE6685 Time : 0.0 sec. user=mdettweiler [2013-03-03 20:54:03] 805*2^1241965-1 is not prime. Res64: 8C9801546B0377E3 Time : 0.0 sec. user=mdettweiler [2013-03-03 20:54:04] 877*2^1241965-1 is not prime. Res64: D9D33361DDC266F8 Time : 0.0 sec. user=mdettweiler [2013-03-03 20:54:05] 987*2^1241965-1 is not prime. Res64: CEE85A93DFDD973B Time : 0.0 sec. user=mdettweiler [2013-03-03 20:54:05] 999*2^1241965-1 is not prime. Res64: ECA9F667623FD8B8 Time : 0.0 sec. user=mdettweiler [2013-03-03 21:11:49] 767*2^1241966-1 is not prime. Res64: 60E331E0ABFE7341 Time : 0.0 sec. user=mdettweiler [2013-03-03 21:11:49] 827*2^1241966-1 is not prime. Res64: C3BECBFC2E00B67A Time : 0.0 sec. user=mdettweiler [2013-03-03 21:11:50] 897*2^1241966-1 is not prime. Res64: 1E9B7BF2AE3D0221 Time : 0.0 sec. user=mdettweiler [2013-03-03 21:11:50] 935*2^1241966-1 is not prime. Res64: 83465F8B7A9B47B0 Time : 0.0 sec. user=juhehe [2013-03-03 21:26:45] 741*2^1241966-1 is not prime. Res64: 1CBA3393382A9221 Time : 0.0 sec. user=mdettweiler [2013-03-03 21:29:19] 615*2^1241967-1 is not prime. Res64: BD8D761C4CF7FB84 Time : 0.0 sec. user=mdettweiler [2013-03-03 21:29:19] 941*2^1241966-1 is not prime. Res64: 40F36935F8C8EB6F Time : 0.0 sec. user=mdettweiler [2013-03-03 21:29:19] 873*2^1241967-1 is not prime. Res64: B6019FB709AD32B9 Time : 0.0 sec. user=mdettweiler [2013-03-03 21:29:20] 945*2^1241966-1 is not prime. Res64: E1129DE1476C2DCA Time : 0.0 sec. user=juhehe [2013-03-03 21:33:19] 775*2^1241965-1 is not prime. Res64: C32772EC1BCA2978 Time : 0.0 sec. user=mdettweiler [2013-03-03 21:46:44] 933*2^1241967-1 is not prime. Res64: 3C2EF451FFBE9C60 Time : 0.0 sec. user=mdettweiler [2013-03-03 21:46:44] 979*2^1241967-1 is not prime. Res64: 595B76E4A731AF4C Time : 0.0 sec. user=mdettweiler [2013-03-03 21:46:45] 687*2^1241968-1 is not prime. Res64: 188D76FCE546C4AC Time : 0.0 sec. user=mdettweiler [2013-03-03 21:46:45] 723*2^1241968-1 is not prime. Res64: ECD01FC9E08B72D8 Time : 0.0 sec. user=juhehe [2013-03-03 21:48:11] 617*2^1241966-1 is not prime. Res64: 5A91380F46DD62E6 Time : 0.0 sec. user=mdettweiler [2013-03-03 22:04:09] 915*2^1241968-1 is not prime. Res64: 885DCB108DD2C88E Time : 0.0 sec. user=mdettweiler [2013-03-03 22:04:10] 691*2^1241969-1 is not prime. Res64: 050DFFFB18169881 Time : 0.0 sec. user=mdettweiler [2013-03-03 22:04:10] 711*2^1241970-1 is not prime. Res64: 96BEA349AD5DDC27 Time : 0.0 sec. user=mdettweiler [2013-03-03 22:04:11] 723*2^1241970-1 is not prime. Res64: B17358FC144BF64A Time : 0.0 sec. user=juhehe [2013-03-03 22:05:47] 819*2^1241968-1 is not prime. Res64: DC79AC82D01B16BF Time : 0.0 sec. user=juhehe [2013-03-03 22:11:48] 869*2^1241968-1 is not prime. Res64: 5E81A6E77236BD75 Time : 0.0 sec. user=mdettweiler [2013-03-03 22:21:36] 791*2^1241970-1 is not prime. Res64: E7D5E27C64E94784 Time : 0.0 sec. user=mdettweiler [2013-03-03 22:21:36] 875*2^1241970-1 is not prime. Res64: 10D4DD8DFB57104D Time : 0.0 sec. user=mdettweiler [2013-03-03 22:21:37] 893*2^1241970-1 is not prime. Res64: 2C0FAE67A4A03C99 Time : 0.0 sec. user=mdettweiler [2013-03-03 22:21:37] 963*2^1241970-1 is not prime. Res64: D8E2A9C52B822A9E Time : 0.0 sec. user=mdettweiler [2013-03-03 22:39:00] 663*2^1241971-1 is not prime. Res64: 8C6DE35A39827FBE Time : 0.0 sec. user=mdettweiler [2013-03-03 22:39:01] 733*2^1241971-1 is not prime. Res64: 9068AFB98BBA5454 Time : 0.0 sec. user=mdettweiler [2013-03-03 22:39:01] 751*2^1241971-1 is not prime. Res64: A23595759B057F7B Time : 0.0 sec. user=mdettweiler [2013-03-03 22:39:02] 771*2^1241971-1 is not prime. Res64: 19F8FDEBB68DD337 Time : 0.0 sec. user=juhehe [2013-03-03 22:44:18] 631*2^1241971-1 is not prime. Res64: 0DED94090FE8C541 Time : 0.0 sec. user=mdettweiler [2013-03-03 22:56:25] 975*2^1241971-1 is not prime. Res64: A264C600A947128E Time : 0.0 sec. user=mdettweiler [2013-03-03 22:56:25] 963*2^1241972-1 is not prime. Res64: 1EBBA1CA5F7767B5 Time : 0.0 sec. user=mdettweiler [2013-03-03 22:56:26] 669*2^1241972-1 is not prime. Res64: 482A8549EC96EDF4 Time : 0.0 sec. user=mdettweiler [2013-03-03 22:56:26] 657*2^1241973-1 is not prime. Res64: 24B737B2E7035E8D Time : 0.0 sec. user=mdettweiler [2013-03-03 23:13:50] 837*2^1241973-1 is not prime. Res64: E1E9386DE9770C21 Time : 0.0 sec. user=mdettweiler [2013-03-03 23:13:50] 847*2^1241973-1 is not prime. Res64: 793791C2203C2B2B Time : 0.0 sec. user=mdettweiler [2013-03-03 23:13:51] 921*2^1241973-1 is not prime. Res64: BE7B367C418291F1 Time : 0.0 sec. user=mdettweiler [2013-03-03 23:13:52] 635*2^1241974-1 is not prime. Res64: FC1B63EE1DA4960D Time : 0.0 sec. user=juhehe [2013-03-03 23:21:56] 781*2^1241973-1 is not prime. Res64: 3AA6A09B4AD11AC6 Time : 0.0 sec. user=mdettweiler [2013-03-03 23:31:15] 651*2^1241974-1 is not prime. Res64: 357B28BB69639C75 Time : 0.0 sec. user=mdettweiler [2013-03-03 23:31:15] 707*2^1241974-1 is not prime. Res64: 32B05CB3071E266A Time : 0.0 sec. user=mdettweiler [2013-03-03 23:31:16] 717*2^1241974-1 is not prime. Res64: 29ECAB75DB97E29A Time : 0.0 sec. user=mdettweiler [2013-03-03 23:31:16] 747*2^1241974-1 is not prime. Res64: 16654199349DF9F7 Time : 0.0 sec. user=juhehe [2013-03-03 23:34:17] 843*2^1241971-1 is not prime. Res64: 170F0AC034FD9655 Time : 0.0 sec. user=mdettweiler [2013-03-03 23:48:40] 947*2^1241974-1 is not prime. Res64: 0B8CED836017ADD4 Time : 0.0 sec. user=mdettweiler [2013-03-03 23:48:40] 669*2^1241975-1 is not prime. Res64: 08980143A3B36598 Time : 0.0 sec. user=mdettweiler [2013-03-03 23:48:40] 619*2^1241975-1 is not prime. Res64: 7176CCCA8EC30E05 Time : 0.0 sec. user=mdettweiler [2013-03-03 23:48:41] 721*2^1241975-1 is not prime. Res64: EDA297F1022F4A45 Time : 0.0 sec. user=juhehe [2013-03-04 00:00:39] 885*2^1241974-1 is not prime. Res64: 30917ADBE0F3CFCD Time : 0.0 sec.