user=mdettweiler [2016-04-16 00:11:21] 945*2^1426406-1 is not prime. Res64: 438852D1B9453741 Time : 0.0 sec. user=mdettweiler [2016-04-16 00:11:22] 971*2^1426406-1 is not prime. Res64: B985FAB88D04A0F0 Time : 0.0 sec. user=mdettweiler [2016-04-16 00:11:22] 661*2^1426407-1 is not prime. Res64: 8DEB2720F69F58CC Time : 0.0 sec. user=mdettweiler [2016-04-16 00:11:23] 691*2^1426407-1 is not prime. Res64: 3F59DE0C5D1AC6E8 Time : 0.0 sec. user=mdettweiler [2016-04-16 00:11:23] 879*2^1426407-1 is not prime. Res64: 122F86F61B7165BF Time : 0.0 sec. user=mdettweiler [2016-04-16 00:12:16] 961*2^1426407-1 is not prime. Res64: FAA4DD98BADC20E2 Time : 0.0 sec. user=mdettweiler [2016-04-16 00:12:16] 677*2^1426408-1 is not prime. Res64: 9789559F252B161E Time : 0.0 sec. user=mdettweiler [2016-04-16 00:12:17] 695*2^1426408-1 is not prime. Res64: E35009FF2A6228AC Time : 0.0 sec. user=mdettweiler [2016-04-16 00:12:17] 843*2^1426408-1 is not prime. Res64: 9CB6E7CFA13124D1 Time : 0.0 sec. user=mdettweiler [2016-04-16 00:12:18] 909*2^1426408-1 is not prime. Res64: 0BDE25200898255B Time : 0.0 sec. user=mdettweiler [2016-04-16 00:24:45] 999*2^1426408-1 is not prime. Res64: F87EC7E9A432DF44 Time : 0.0 sec. user=mdettweiler [2016-04-16 00:24:45] 691*2^1426409-1 is not prime. Res64: 6124202C5A393442 Time : 0.0 sec. user=mdettweiler [2016-04-16 00:24:46] 747*2^1426409-1 is not prime. Res64: DA8062411407096F Time : 0.0 sec. user=mdettweiler [2016-04-16 00:24:46] 829*2^1426409-1 is not prime. Res64: 771F985244CD290D Time : 0.0 sec. user=mdettweiler [2016-04-16 00:24:47] 885*2^1426409-1 is not prime. Res64: 2BCED89083486E91 Time : 0.0 sec. user=mdettweiler [2016-04-16 00:40:43] 711*2^1426410-1 is not prime. Res64: F96CB48C27210419 Time : 0.0 sec. user=mdettweiler [2016-04-16 00:40:43] 725*2^1426410-1 is not prime. Res64: E09DE7948F664F06 Time : 0.0 sec. user=mdettweiler [2016-04-16 00:40:43] 777*2^1426410-1 is not prime. Res64: FAAD87F1A48B43FA Time : 0.0 sec. user=mdettweiler [2016-04-16 00:40:44] 941*2^1426410-1 is not prime. Res64: A419206F365C6A48 Time : 0.0 sec. user=mdettweiler [2016-04-16 00:40:44] 957*2^1426410-1 is not prime. Res64: 20C820A4EB73CFF7 Time : 0.0 sec. user=mdettweiler [2016-04-16 00:56:14] 609*2^1426411-1 is not prime. Res64: EA9F7580F7249DFD Time : 0.0 sec. user=mdettweiler [2016-04-16 00:56:14] 715*2^1426411-1 is not prime. Res64: 3509BB9F8FD62B7A Time : 0.0 sec. user=mdettweiler [2016-04-16 00:56:15] 783*2^1426411-1 is not prime. Res64: 0C826F9AA620208A Time : 0.0 sec. user=mdettweiler [2016-04-16 00:56:15] 849*2^1426411-1 is not prime. Res64: C3BC9BCA460A80EC Time : 0.0 sec. user=mdettweiler [2016-04-16 00:56:15] 871*2^1426411-1 is not prime. Res64: C539D83E2A8A1185 Time : 0.0 sec. user=mdettweiler [2016-04-16 00:56:55] 665*2^1426412-1 is not prime. Res64: 05EEAB01A06E1EBF Time : 0.0 sec. user=mdettweiler [2016-04-16 00:56:55] 677*2^1426412-1 is not prime. Res64: 3997B78238D6E20E Time : 0.0 sec. user=mdettweiler [2016-04-16 00:56:56] 755*2^1426412-1 is not prime. Res64: 1DE73754F250F9F5 Time : 0.0 sec. user=mdettweiler [2016-04-16 00:56:56] 767*2^1426412-1 is not prime. Res64: 068529FB6EE4E8B9 Time : 0.0 sec. user=mdettweiler [2016-04-16 00:56:56] 999*2^1426412-1 is not prime. Res64: 96533F73587F60A6 Time : 0.0 sec. user=mdettweiler [2016-04-16 01:09:30] 727*2^1426413-1 is not prime. Res64: DBA1A91730055772 Time : 0.0 sec. user=mdettweiler [2016-04-16 01:09:30] 735*2^1426413-1 is not prime. Res64: 7AE36C55517F9F40 Time : 0.0 sec. user=mdettweiler [2016-04-16 01:09:31] 765*2^1426413-1 is not prime. Res64: 39388D3044B89E10 Time : 0.0 sec. user=mdettweiler [2016-04-16 01:09:31] 789*2^1426413-1 is not prime. Res64: E621C0322BBD9807 Time : 0.0 sec. user=mdettweiler [2016-04-16 01:09:32] 937*2^1426413-1 is not prime. Res64: FA748AB1637A90EB Time : 0.0 sec. user=mdettweiler [2016-04-16 01:25:38] 987*2^1426413-1 is not prime. Res64: F30A12A7032ADD6F Time : 0.0 sec. user=mdettweiler [2016-04-16 01:25:39] 675*2^1426414-1 is not prime. Res64: 9F3A17D99FA9846E Time : 0.0 sec. user=mdettweiler [2016-04-16 01:25:40] 681*2^1426414-1 is not prime. Res64: D0B7B63D5369FB4B Time : 0.0 sec. user=mdettweiler [2016-04-16 01:25:41] 609*2^1426415-1 is not prime. Res64: 55AB6898B85A284B Time : 0.0 sec. user=mdettweiler [2016-04-16 01:25:42] 655*2^1426415-1 is not prime. Res64: 573147B6C5AA3700 Time : 0.0 sec. user=mdettweiler [2016-04-16 01:41:00] 685*2^1426415-1 is not prime. Res64: BF98B01B2D894976 Time : 0.0 sec. user=mdettweiler [2016-04-16 01:41:01] 705*2^1426415-1 is not prime. Res64: AEE95336065C93B9 Time : 0.0 sec. user=mdettweiler [2016-04-16 01:41:02] 913*2^1426415-1 is not prime. Res64: 0D02C683F4ED94E2 Time : 0.0 sec. user=mdettweiler [2016-04-16 01:41:03] 985*2^1426415-1 is not prime. Res64: 14060794162CE2F1 Time : 0.0 sec. user=mdettweiler [2016-04-16 01:41:04] 909*2^1426416-1 is not prime. Res64: B0B4D7B3B0A065A3 Time : 0.0 sec. user=mdettweiler [2016-04-16 01:41:38] 619*2^1426417-1 is not prime. Res64: E5176A6359626FFA Time : 0.0 sec. user=mdettweiler [2016-04-16 01:41:39] 691*2^1426417-1 is not prime. Res64: BC76B60E1FAE1B0C Time : 0.0 sec. user=mdettweiler [2016-04-16 01:41:40] 885*2^1426417-1 is not prime. Res64: 448797EED9E3AF15 Time : 0.0 sec. user=mdettweiler [2016-04-16 01:41:41] 623*2^1426418-1 is not prime. Res64: 88B3DD5BC8399966 Time : 0.0 sec. user=mdettweiler [2016-04-16 01:41:41] 843*2^1426418-1 is not prime. Res64: 8E6A328EFA61A985 Time : 0.0 sec. user=mdettweiler [2016-04-16 01:54:24] 945*2^1426418-1 is not prime. Res64: 36C0CBD48450A3E3 Time : 0.0 sec. user=mdettweiler [2016-04-16 01:54:24] 649*2^1426419-1 is not prime. Res64: FDBC411158FF4B1C Time : 0.0 sec. user=mdettweiler [2016-04-16 01:54:25] 669*2^1426419-1 is not prime. Res64: 620E6378D7EEDF7B Time : 0.0 sec. user=mdettweiler [2016-04-16 01:54:25] 735*2^1426419-1 is not prime. Res64: 36FC6F636BFA09C5 Time : 0.0 sec. user=mdettweiler [2016-04-16 01:54:25] 789*2^1426419-1 is not prime. Res64: 05C198C874CABCC0 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:10:37] 829*2^1426419-1 is not prime. Res64: E70837BE3C713845 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:10:40] 885*2^1426419-1 is not prime. Res64: 370CEE8D786A7348 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:10:42] 895*2^1426419-1 is not prime. Res64: D7A0B0C9A5E627A3 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:10:44] 903*2^1426419-1 is not prime. Res64: 694A0F37135DAE94 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:10:47] 909*2^1426419-1 is not prime. Res64: 5639CA3CB4702D57 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:25:59] 603*2^1426420-1 is not prime. Res64: 7B20D4E6C32EF90B Time : 0.0 sec. user=mdettweiler [2016-04-16 02:26:00] 615*2^1426420-1 is not prime. Res64: F748946F30345565 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:26:00] 635*2^1426420-1 is not prime. Res64: 186155E91CE0899B Time : 0.0 sec. user=mdettweiler [2016-04-16 02:26:00] 695*2^1426420-1 is not prime. Res64: D03B8EEC924ACC44 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:26:01] 717*2^1426420-1 is not prime. Res64: 60294FBE55D1B818 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:26:39] 783*2^1426420-1 is not prime. Res64: CD44186C662F9F21 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:26:39] 873*2^1426420-1 is not prime. Res64: D6C239344033689D Time : 0.0 sec. user=mdettweiler [2016-04-16 02:26:40] 909*2^1426420-1 is not prime. Res64: 842BCF16670CD440 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:26:40] 915*2^1426420-1 is not prime. Res64: 9C2506A87724C63A Time : 0.0 sec. user=mdettweiler [2016-04-16 02:26:41] 927*2^1426420-1 is not prime. Res64: 866AC0CBA7A47783 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:39:17] 939*2^1426420-1 is not prime. Res64: 4EFBB6594CFC0ECA Time : 0.0 sec. user=mdettweiler [2016-04-16 02:39:18] 649*2^1426421-1 is not prime. Res64: A41BBFCFDA439807 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:39:18] 691*2^1426421-1 is not prime. Res64: AB83848BE8790F31 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:39:19] 735*2^1426421-1 is not prime. Res64: 5356F12B8E0ED0D4 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:39:19] 957*2^1426421-1 is not prime. Res64: CD41BF45854A18B6 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:56:02] 997*2^1426421-1 is not prime. Res64: 9B910D694B66D272 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:56:03] 611*2^1426422-1 is not prime. Res64: 115D5E5BD429ABC2 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:56:03] 717*2^1426422-1 is not prime. Res64: B48CAC211C152C42 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:56:03] 891*2^1426422-1 is not prime. Res64: B1638BAD62E67365 Time : 0.0 sec. user=mdettweiler [2016-04-16 02:56:04] 893*2^1426422-1 is not prime. Res64: 0BBA166829D867FD Time : 0.0 sec. user=mdettweiler [2016-04-16 03:10:57] 921*2^1426422-1 is not prime. Res64: 154E02D0D0947199 Time : 0.0 sec. user=mdettweiler [2016-04-16 03:10:58] 615*2^1426423-1 is not prime. Res64: 982C8A527CB3ACB0 Time : 0.0 sec. user=mdettweiler [2016-04-16 03:10:58] 703*2^1426423-1 is not prime. Res64: D49F6152EDEBDFDA Time : 0.0 sec. user=mdettweiler [2016-04-16 03:10:59] 705*2^1426423-1 is not prime. Res64: 4659314DC09DD5EE Time : 0.0 sec. user=mdettweiler [2016-04-16 03:10:59] 783*2^1426423-1 is not prime. Res64: 5D720E5803884DDC Time : 0.0 sec. user=mdettweiler [2016-04-16 03:11:41] 789*2^1426423-1 is not prime. Res64: FB24D555B5330D06 Time : 0.0 sec. user=mdettweiler [2016-04-16 03:11:42] 819*2^1426423-1 is not prime. Res64: FE3D520DCA705729 Time : 0.0 sec. user=mdettweiler [2016-04-16 03:11:42] 829*2^1426423-1 is not prime. Res64: 453BAE548340B636 Time : 0.0 sec. user=mdettweiler [2016-04-16 03:11:43] 895*2^1426423-1 is not prime. Res64: E46C4E37E9A02B6E Time : 0.0 sec. user=mdettweiler [2016-04-16 03:11:43] 973*2^1426423-1 is not prime. Res64: D728369042460B0E Time : 0.0 sec. user=mdettweiler [2016-04-16 03:24:06] 677*2^1426424-1 is not prime. Res64: 11AEF6B047C1B4F2 Time : 0.0 sec. user=mdettweiler [2016-04-16 03:24:07] 689*2^1426424-1 is not prime. Res64: 61C41C018CEB05D6 Time : 0.0 sec. user=mdettweiler [2016-04-16 03:24:07] 759*2^1426424-1 is not prime. Res64: FB9C4EE75CCA3B08 Time : 0.0 sec. user=mdettweiler [2016-04-16 03:24:08] 837*2^1426424-1 is not prime. Res64: 33CD57FDAFFFA9BE Time : 0.0 sec. user=mdettweiler [2016-04-16 03:24:08] 935*2^1426424-1 is not prime. Res64: 6E3A2647477F3BFC Time : 0.0 sec. user=mdettweiler [2016-04-16 03:40:52] 861*2^1426425-1 is not prime. Res64: ABE60F7D229D5DE2 Time : 0.0 sec. user=mdettweiler [2016-04-16 03:40:53] 909*2^1426425-1 is not prime. Res64: 9FA89F7586C62F2F Time : 0.0 sec. user=mdettweiler [2016-04-16 03:40:54] 975*2^1426425-1 is not prime. Res64: 7E5801E2B413E96A Time : 0.0 sec. user=mdettweiler [2016-04-16 03:40:55] 635*2^1426426-1 is not prime. Res64: 8E89DD999DD3A44E Time : 0.0 sec. user=mdettweiler [2016-04-16 03:40:55] 647*2^1426426-1 is not prime. Res64: 1AE518E5B472429D Time : 0.0 sec. user=mdettweiler [2016-04-16 03:55:56] 987*2^1426426-1 is not prime. Res64: CA00C537D9137ECB Time : 0.0 sec. user=mdettweiler [2016-04-16 03:55:57] 993*2^1426426-1 is not prime. Res64: DD9A8D9F412B5993 Time : 0.0 sec. user=mdettweiler [2016-04-16 03:55:57] 643*2^1426427-1 is not prime. Res64: DADC310EADA2A9AF Time : 0.0 sec. user=mdettweiler [2016-04-16 03:55:58] 703*2^1426427-1 is not prime. Res64: E52FF11B43B66D64 Time : 0.0 sec. user=mdettweiler [2016-04-16 03:55:58] 711*2^1426427-1 is not prime. Res64: D30555DA3E848E26 Time : 0.0 sec. user=mdettweiler [2016-04-16 03:56:39] 759*2^1426427-1 is not prime. Res64: 552315BEC39BE238 Time : 0.0 sec. user=mdettweiler [2016-04-16 03:56:40] 825*2^1426427-1 is not prime. Res64: 8803438C05853B4C Time : 0.0 sec. user=mdettweiler [2016-04-16 03:56:40] 843*2^1426427-1 is not prime. Res64: 063A5636BA60DA0C Time : 0.0 sec. user=mdettweiler [2016-04-16 03:56:40] 993*2^1426427-1 is not prime. Res64: 05C5E4C4159F76F2 Time : 0.0 sec. user=mdettweiler [2016-04-16 03:56:41] 627*2^1426428-1 is not prime. Res64: D623EA4844712EB8 Time : 0.0 sec. user=mdettweiler [2016-04-16 04:09:38] 639*2^1426428-1 is not prime. Res64: ED26BF94280A78C2 Time : 0.0 sec. user=mdettweiler [2016-04-16 04:09:38] 663*2^1426428-1 is not prime. Res64: B81D109F34B24C3D Time : 0.0 sec. user=mdettweiler [2016-04-16 04:09:39] 707*2^1426428-1 is not prime. Res64: E6FB000C1CDBAB7A Time : 0.0 sec. user=mdettweiler [2016-04-16 04:09:39] 795*2^1426428-1 is not prime. Res64: E70EFBB30F58F4B0 Time : 0.0 sec. user=mdettweiler [2016-04-16 04:09:39] 867*2^1426428-1 is not prime. Res64: B865128206E37A64 Time : 0.0 sec. user=mdettweiler [2016-04-16 04:27:15] 987*2^1426428-1 is not prime. Res64: 4732AF015620C8DE Time : 0.0 sec. user=mdettweiler [2016-04-16 04:27:15] 609*2^1426429-1 is not prime. Res64: 1CAB1FEEA766B916 Time : 0.0 sec. user=mdettweiler [2016-04-16 04:27:15] 639*2^1426429-1 is not prime. Res64: 642BF33245C766A5 Time : 0.0 sec. user=mdettweiler [2016-04-16 04:27:16] 661*2^1426429-1 is not prime. Res64: 3C944918300BD938 Time : 0.0 sec. user=mdettweiler [2016-04-16 04:27:16] 687*2^1426429-1 is not prime. Res64: FDA791F6295871BD Time : 0.0 sec. user=mdettweiler [2016-04-16 04:41:44] 775*2^1426429-1 is not prime. Res64: 517D56CAFAE8D912 Time : 0.0 sec. user=mdettweiler [2016-04-16 04:41:44] 987*2^1426429-1 is not prime. Res64: 97F84517E7209108 Time : 0.0 sec. user=mdettweiler [2016-04-16 04:41:45] 999*2^1426429-1 is not prime. Res64: 3639797E43374831 Time : 0.0 sec. user=mdettweiler [2016-04-16 04:41:45] 675*2^1426430-1 is not prime. Res64: 05754C29F39784F8 Time : 0.0 sec. user=mdettweiler [2016-04-16 04:41:45] 711*2^1426430-1 is not prime. Res64: 4F481774DB901EDC Time : 0.0 sec. user=mdettweiler [2016-04-16 04:42:38] 773*2^1426430-1 is not prime. Res64: F9CB4BC6BACD9583 Time : 0.0 sec. user=mdettweiler [2016-04-16 04:42:39] 791*2^1426430-1 is not prime. Res64: 3C0A97124C4F321E Time : 0.0 sec. user=mdettweiler [2016-04-16 04:42:39] 971*2^1426430-1 is not prime. Res64: 80A45EA76069FBB7 Time : 0.0 sec. user=mdettweiler [2016-04-16 04:42:39] 613*2^1426431-1 is not prime. Res64: BD5FFA3CFCEC7B8E Time : 0.0 sec. user=mdettweiler [2016-04-16 04:42:40] 651*2^1426431-1 is not prime. Res64: 20AFA06BDDE3E7E8 Time : 0.0 sec. user=mdettweiler [2016-04-16 04:54:37] 741*2^1426431-1 is not prime. Res64: 304CE01189F01CA4 Time : 0.0 sec. user=mdettweiler [2016-04-16 04:54:37] 895*2^1426431-1 is not prime. Res64: 3C41EF5A370A0F2B Time : 0.0 sec. user=mdettweiler [2016-04-16 04:54:38] 695*2^1426432-1 is not prime. Res64: 38CA51FA52E67F5F Time : 0.0 sec. user=mdettweiler [2016-04-16 04:54:38] 743*2^1426432-1 is not prime. Res64: 72EED2A06342246F Time : 0.0 sec. user=mdettweiler [2016-04-16 04:54:38] 779*2^1426432-1 is not prime. Res64: F596E13562B08E13 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:12:13] 807*2^1426432-1 is not prime. Res64: 8A5C4138A4BEAAD4 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:12:13] 869*2^1426432-1 is not prime. Res64: 53BA24ACDD721012 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:12:14] 939*2^1426432-1 is not prime. Res64: C40EBE7DEE93CC27 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:12:14] 697*2^1426433-1 is not prime. Res64: 6C599EA8688598C6 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:12:15] 771*2^1426433-1 is not prime. Res64: 1D7223FF9C926ACB Time : 0.0 sec. user=mdettweiler [2016-04-16 05:26:44] 837*2^1426433-1 is not prime. Res64: E13DDCC6829B2098 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:26:45] 879*2^1426433-1 is not prime. Res64: 0EF853DE09DA3F78 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:26:45] 937*2^1426433-1 is not prime. Res64: 2F076DAD8BB87A83 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:26:45] 969*2^1426433-1 is not prime. Res64: A4D27889678C8FBE Time : 0.0 sec. user=mdettweiler [2016-04-16 05:26:46] 985*2^1426433-1 is not prime. Res64: D150C06EB1B9026C Time : 0.0 sec. user=mdettweiler [2016-04-16 05:27:30] 621*2^1426434-1 is not prime. Res64: BC9D447429577447 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:27:30] 681*2^1426434-1 is not prime. Res64: C12E0C2F450684F1 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:27:31] 711*2^1426434-1 is not prime. Res64: 7F464370E5DA5178 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:27:31] 741*2^1426434-1 is not prime. Res64: 491BE0A12822BB4C Time : 0.0 sec. user=mdettweiler [2016-04-16 05:27:31] 773*2^1426434-1 is not prime. Res64: A4B6D9DD2438D7C4 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:39:28] 875*2^1426434-1 is not prime. Res64: 42A82476722466B0 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:39:28] 917*2^1426434-1 is not prime. Res64: FBA67ED36321D31A Time : 0.0 sec. user=mdettweiler [2016-04-16 05:39:29] 603*2^1426435-1 is not prime. Res64: 6E0E4C615C8243E3 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:39:29] 735*2^1426435-1 is not prime. Res64: 994107D339C5272E Time : 0.0 sec. user=mdettweiler [2016-04-16 05:39:29] 873*2^1426435-1 is not prime. Res64: A4443E05BE0DDA5A Time : 0.0 sec. user=mdettweiler [2016-04-16 05:57:04] 919*2^1426435-1 is not prime. Res64: 72321A9154C54DE8 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:57:04] 603*2^1426436-1 is not prime. Res64: 77AE7ED5F9D27144 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:57:05] 609*2^1426436-1 is not prime. Res64: 5FA7AA4A678BDE96 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:57:05] 615*2^1426436-1 is not prime. Res64: 0537CE4408BC7135 Time : 0.0 sec. user=mdettweiler [2016-04-16 05:57:06] 623*2^1426436-1 is not prime. Res64: 34532BCA650E79EE Time : 0.0 sec. user=mdettweiler [2016-04-16 06:11:45] 677*2^1426436-1 is not prime. Res64: DA4BB9CD4BCADA5A Time : 0.0 sec. user=mdettweiler [2016-04-16 06:11:45] 759*2^1426436-1 is not prime. Res64: F66B74A59D70E3E4 Time : 0.0 sec. user=mdettweiler [2016-04-16 06:11:46] 843*2^1426436-1 is not prime. Res64: 83E2EA14C38B1AAB Time : 0.0 sec. user=mdettweiler [2016-04-16 06:11:46] 845*2^1426436-1 is not prime. Res64: DDC5704F2B1C9E57 Time : 0.0 sec. user=mdettweiler [2016-04-16 06:11:47] 957*2^1426436-1 is not prime. Res64: 1F3471FCDA9DAF1F Time : 0.0 sec. user=mdettweiler [2016-04-16 06:12:59] 661*2^1426437-1 is not prime. Res64: A94790F127AD01DD Time : 0.0 sec. user=mdettweiler [2016-04-16 06:12:59] 717*2^1426437-1 is not prime. Res64: 3095D64AFB9A493B Time : 0.0 sec. user=mdettweiler [2016-04-16 06:12:59] 825*2^1426437-1 is not prime. Res64: AB70C90C9DAE0450 Time : 0.0 sec. user=mdettweiler [2016-04-16 06:13:00] 867*2^1426437-1 is not prime. Res64: 8FF7E667EC1C4689 Time : 0.0 sec. user=mdettweiler [2016-04-16 06:13:00] 901*2^1426437-1 is not prime. Res64: 5D83474D1BD7C861 Time : 0.0 sec. user=mdettweiler [2016-04-16 06:24:35] 605*2^1426438-1 is not prime. Res64: CE943BF3596C6F6C Time : 0.0 sec. user=mdettweiler [2016-04-16 06:24:35] 665*2^1426438-1 is not prime. Res64: 6319573459EFB8BB Time : 0.0 sec. user=mdettweiler [2016-04-16 06:24:35] 677*2^1426438-1 is not prime. Res64: 0F39D6559A7318D7 Time : 0.0 sec. user=mdettweiler [2016-04-16 06:24:36] 827*2^1426438-1 is not prime. Res64: 921BE8970500A4F6 Time : 0.0 sec. user=mdettweiler [2016-04-16 06:24:36] 881*2^1426438-1 is not prime. Res64: 68034E63468FE44C Time : 0.0 sec. user=mdettweiler [2016-04-16 06:42:33] 911*2^1426438-1 is not prime. Res64: 7E169587EE72D757 Time : 0.0 sec. user=mdettweiler [2016-04-16 06:42:33] 951*2^1426438-1 is not prime. Res64: CE03196089E47E4B Time : 0.0 sec. user=mdettweiler [2016-04-16 06:42:34] 993*2^1426438-1 is not prime. Res64: 39E10D4D2B373793 Time : 0.0 sec. user=mdettweiler [2016-04-16 06:42:34] 1001*2^1426438-1 is not prime. Res64: 1E4290E4935F6BFF Time : 0.0 sec. user=mdettweiler [2016-04-16 06:42:34] 645*2^1426439-1 is not prime. Res64: F7D57D3D4BB5DC2E Time : 0.0 sec. user=mdettweiler [2016-04-16 06:56:35] 661*2^1426439-1 is not prime. Res64: 870D4D419FE7780A Time : 0.0 sec. user=mdettweiler [2016-04-16 06:56:35] 721*2^1426439-1 is not prime. Res64: 56676C0B56EBFB3B Time : 0.0 sec. user=mdettweiler [2016-04-16 06:56:35] 741*2^1426439-1 is not prime. Res64: 318D1710BBF0FDC4 Time : 0.0 sec. user=mdettweiler [2016-04-16 06:56:36] 861*2^1426439-1 is not prime. Res64: 16157ED6B2F22AC8 Time : 0.0 sec. user=mdettweiler [2016-04-16 06:56:36] 635*2^1426440-1 is not prime. Res64: 41D1D95C38306C82 Time : 0.0 sec. user=mdettweiler [2016-04-16 06:57:46] 717*2^1426440-1 is not prime. Res64: FFDA6A71237AD0B6 Time : 0.0 sec. user=mdettweiler [2016-04-16 06:57:46] 759*2^1426440-1 is not prime. Res64: FA2B6E334EDF57D2 Time : 0.0 sec. user=mdettweiler [2016-04-16 06:57:47] 779*2^1426440-1 is not prime. Res64: 9781FA73BF48909D Time : 0.0 sec. user=mdettweiler [2016-04-16 06:57:47] 879*2^1426440-1 is not prime. Res64: 1BD243404D8E1923 Time : 0.0 sec. user=mdettweiler [2016-04-16 06:57:48] 923*2^1426440-1 is not prime. Res64: 592A967C9FD4006A Time : 0.0 sec. user=mdettweiler [2016-04-16 07:09:16] 945*2^1426440-1 is not prime. Res64: DCF96639B9611611 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:09:17] 983*2^1426440-1 is not prime. Res64: 43FA5A3D4B7BB050 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:09:17] 617*2^1426442-1 is not prime. Res64: B9E42B0B9F7D0346 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:09:18] 711*2^1426442-1 is not prime. Res64: 2949781F16727D10 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:09:18] 921*2^1426442-1 is not prime. Res64: B72B2EC8EA2046B0 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:27:09] 977*2^1426442-1 is not prime. Res64: B9712D83E1FC9645 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:27:09] 987*2^1426442-1 is not prime. Res64: 3FB23ADC929F6CB5 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:27:10] 735*2^1426443-1 is not prime. Res64: 8E9CB1B44A6BD997 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:27:10] 753*2^1426443-1 is not prime. Res64: EFB151AE2943E039 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:27:11] 765*2^1426443-1 is not prime. Res64: 694DC76FBD5BFA12 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:41:31] 873*2^1426443-1 is not prime. Res64: 8F20319A30DF6160 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:41:31] 895*2^1426443-1 is not prime. Res64: 6DAAB176CF873E37 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:41:32] 955*2^1426443-1 is not prime. Res64: 5761C43FEB6BF25E Time : 0.0 sec. user=mdettweiler [2016-04-16 07:41:32] 615*2^1426444-1 is not prime. Res64: 5D0858354D3BC947 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:41:33] 825*2^1426444-1 is not prime. Res64: E19961E98B94E3C2 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:42:41] 827*2^1426444-1 is not prime. Res64: A3379387D46E27AC Time : 0.0 sec. user=mdettweiler [2016-04-16 07:42:41] 833*2^1426444-1 is not prime. Res64: D54CFE64E110BCFE Time : 0.0 sec. user=mdettweiler [2016-04-16 07:42:41] 885*2^1426444-1 is not prime. Res64: B66689B4CD8202E5 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:42:42] 903*2^1426444-1 is not prime. Res64: EB3CB8BF2FDBD409 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:42:42] 909*2^1426444-1 is not prime. Res64: EA0FFB85F4B2DE4E Time : 0.0 sec. user=mdettweiler [2016-04-16 07:54:28] 969*2^1426444-1 is not prime. Res64: 809AB10704400EAA Time : 0.0 sec. user=mdettweiler [2016-04-16 07:54:28] 735*2^1426445-1 is not prime. Res64: AE07F59CFBFB599F Time : 0.0 sec. user=mdettweiler [2016-04-16 07:54:28] 969*2^1426445-1 is not prime. Res64: 33C93BA67E69D0A9 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:54:29] 615*2^1426446-1 is not prime. Res64: 965C7066566483F6 Time : 0.0 sec. user=mdettweiler [2016-04-16 07:54:29] 717*2^1426446-1 is not prime. Res64: ED41F90483464DDE Time : 0.0 sec. user=mdettweiler [2016-04-16 08:12:03] 795*2^1426446-1 is not prime. Res64: E621D23DA97A54A2 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:12:03] 815*2^1426446-1 is not prime. Res64: 2C4050B793C48C40 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:12:04] 873*2^1426446-1 is not prime. Res64: 550EB97966EC9C76 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:12:04] 619*2^1426447-1 is not prime. Res64: C6238B18948FEC74 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:12:04] 633*2^1426447-1 is not prime. Res64: 4F8B7D6AF723A444 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:26:17] 705*2^1426447-1 is not prime. Res64: 1122F12375804445 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:26:18] 735*2^1426447-1 is not prime. Res64: 327365B694349DC5 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:26:18] 805*2^1426447-1 is not prime. Res64: 490CEDB89911A461 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:26:18] 831*2^1426447-1 is not prime. Res64: 9B7791E340B537C9 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:26:19] 859*2^1426447-1 is not prime. Res64: F79838F1650E00C3 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:27:46] 915*2^1426447-1 is not prime. Res64: 029EE53370B00F6B Time : 0.0 sec. user=mdettweiler [2016-04-16 08:27:46] 951*2^1426447-1 is not prime. Res64: 356AE29B5816F715 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:27:47] 975*2^1426447-1 is not prime. Res64: 13DB8491F415A109 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:27:47] 623*2^1426448-1 is not prime. Res64: FEF2399C82E16830 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:27:47] 635*2^1426448-1 is not prime. Res64: 846CB28BD26AF4DE Time : 0.0 sec. user=mdettweiler [2016-04-16 08:39:06] 669*2^1426448-1 is not prime. Res64: C6F71EFD15B35B64 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:39:07] 747*2^1426448-1 is not prime. Res64: B12F99F7DFCD28C3 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:39:07] 789*2^1426448-1 is not prime. Res64: 69E0605976437A68 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:39:07] 825*2^1426448-1 is not prime. Res64: C5F5007695E8F7ED Time : 0.0 sec. user=mdettweiler [2016-04-16 08:39:08] 963*2^1426448-1 is not prime. Res64: BA956D993FAC0600 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:56:59] 691*2^1426449-1 is not prime. Res64: DD556AAD7313868E Time : 0.0 sec. user=mdettweiler [2016-04-16 08:57:00] 781*2^1426449-1 is not prime. Res64: 4ED5A8964105C88C Time : 0.0 sec. user=mdettweiler [2016-04-16 08:57:00] 787*2^1426449-1 is not prime. Res64: B6EFDB1106E44834 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:57:00] 789*2^1426449-1 is not prime. Res64: FD1E45567F6815A4 Time : 0.0 sec. user=mdettweiler [2016-04-16 08:57:01] 807*2^1426449-1 is not prime. Res64: 4F3C38BA9727C394 Time : 0.0 sec. user=mdettweiler [2016-04-16 09:11:12] 865*2^1426449-1 is not prime. Res64: 17781CCB1700A17C Time : 0.0 sec. user=mdettweiler [2016-04-16 09:11:12] 889*2^1426449-1 is not prime. Res64: 91913606A6C286AD Time : 0.0 sec. user=mdettweiler [2016-04-16 09:11:12] 921*2^1426449-1 is not prime. Res64: E5F4297F20A8F177 Time : 0.0 sec. user=mdettweiler [2016-04-16 09:11:13] 603*2^1426450-1 is not prime. Res64: 643777A6A9A50DC9 Time : 0.0 sec. user=mdettweiler [2016-04-16 09:11:13] 623*2^1426450-1 is not prime. Res64: 5DA8B1EAE97B8D12 Time : 0.0 sec. user=mdettweiler [2016-04-16 09:12:33] 657*2^1426450-1 is not prime. Res64: 691DF0AF1AB36315 Time : 0.0 sec. user=mdettweiler [2016-04-16 09:12:33] 687*2^1426450-1 is not prime. Res64: D7D5BDFAF58A32B0 Time : 0.0 sec. user=mdettweiler [2016-04-16 09:12:34] 741*2^1426450-1 is not prime. Res64: 36EB2CE09B7C819E Time : 0.0 sec. user=mdettweiler [2016-04-16 09:12:34] 827*2^1426450-1 is not prime. Res64: DDDDBF681B953BCD Time : 0.0 sec. user=mdettweiler [2016-04-16 09:12:34] 843*2^1426450-1 is not prime. Res64: 3240F9162F760C3B Time : 0.0 sec. user=mdettweiler [2016-04-16 09:23:49] 845*2^1426450-1 is not prime. Res64: 42A249B64C10FC55 Time : 0.0 sec. user=mdettweiler [2016-04-16 09:23:49] 873*2^1426450-1 is not prime. Res64: 91ED948F36B7DEBA Time : 0.0 sec. user=mdettweiler [2016-04-16 09:23:50] 941*2^1426450-1 is not prime. Res64: 04F0F1238C18228E Time : 0.0 sec. user=mdettweiler [2016-04-16 09:23:50] 945*2^1426450-1 is not prime. Res64: 1F8FD8CA7D5E8054 Time : 0.0 sec. user=mdettweiler [2016-04-16 09:23:51] 679*2^1426451-1 is not prime. Res64: 89859C9E7B0AAAAB Time : 0.0 sec. user=mdettweiler [2016-04-16 09:41:51] 783*2^1426451-1 is not prime. Res64: 89CF529AD86A3ACF Time : 0.0 sec. user=mdettweiler [2016-04-16 09:41:51] 823*2^1426451-1 is not prime. Res64: C2D99CAA3744923E Time : 0.0 sec. user=mdettweiler [2016-04-16 09:41:51] 675*2^1426452-1 is not prime. Res64: 3BB8F5692E50FF46 Time : 0.0 sec. user=mdettweiler [2016-04-16 09:41:52] 819*2^1426452-1 is not prime. Res64: 1546000C3744C2EB Time : 0.0 sec. user=mdettweiler [2016-04-16 09:41:52] 959*2^1426452-1 is not prime. Res64: AC689D020B728B93 Time : 0.0 sec. user=mdettweiler [2016-04-16 09:55:58] 639*2^1426453-1 is not prime. Res64: 27F3B528FF91569D Time : 0.0 sec. user=mdettweiler [2016-04-16 09:55:59] 649*2^1426453-1 is not prime. Res64: 1A6C939F37E7434D Time : 0.0 sec. user=mdettweiler [2016-04-16 09:55:59] 727*2^1426453-1 is not prime. Res64: 432456FD8ED5DD2D Time : 0.0 sec. user=mdettweiler [2016-04-16 09:55:59] 789*2^1426453-1 is not prime. Res64: 6F22B819C6A8F39A Time : 0.0 sec. user=mdettweiler [2016-04-16 09:56:00] 937*2^1426453-1 is not prime. Res64: BD30472D4727B5DB Time : 0.0 sec. user=mdettweiler [2016-04-16 09:57:29] 999*2^1426453-1 is not prime. Res64: CB9EAC9DC332DDAE Time : 0.0 sec. user=mdettweiler [2016-04-16 09:57:29] 657*2^1426454-1 is not prime. Res64: 68DE503B9B861B05 Time : 0.0 sec. user=mdettweiler [2016-04-16 09:57:30] 743*2^1426454-1 is not prime. Res64: 2B37FBB113FA8AD4 Time : 0.0 sec. user=mdettweiler [2016-04-16 09:57:30] 785*2^1426454-1 is not prime. Res64: 9ADB6B6141118524 Time : 0.0 sec. user=mdettweiler [2016-04-16 09:57:30] 857*2^1426454-1 is not prime. Res64: F4BC287D30734F16 Time : 0.0 sec. user=mdettweiler [2016-04-16 10:08:42] 917*2^1426454-1 is not prime. Res64: 98D04E0633D6FCD8 Time : 0.0 sec. user=mdettweiler [2016-04-16 10:08:42] 935*2^1426454-1 is not prime. Res64: A2B6AEF3B3659A82 Time : 0.0 sec. user=mdettweiler [2016-04-16 10:08:43] 941*2^1426454-1 is not prime. Res64: 19B69649285D289A Time : 0.0 sec. user=mdettweiler [2016-04-16 10:08:43] 965*2^1426454-1 is not prime. Res64: 30526CE38093828B Time : 0.0 sec. user=mdettweiler [2016-04-16 10:08:43] 765*2^1426455-1 is not prime. Res64: 5988290D95FD13E0 Time : 0.0 sec. user=mdettweiler [2016-04-16 10:26:54] 783*2^1426455-1 is not prime. Res64: EA06FE15FF2C2C5C Time : 0.0 sec. user=mdettweiler [2016-04-16 10:26:54] 853*2^1426455-1 is not prime. Res64: F8DA8A63A6305C16 Time : 0.0 sec. user=mdettweiler [2016-04-16 10:26:55] 871*2^1426455-1 is not prime. Res64: 2D17012C8F7B4FCC Time : 0.0 sec. user=mdettweiler [2016-04-16 10:26:56] 895*2^1426455-1 is not prime. Res64: DD4B86A31740AD76 Time : 0.0 sec. user=mdettweiler [2016-04-16 10:26:56] 943*2^1426455-1 is not prime. Res64: 1953CAA5C6940C9E Time : 0.0 sec. user=mdettweiler [2016-04-16 10:40:44] 979*2^1426455-1 is not prime. Res64: 97A33907F1200FE6 Time : 0.0 sec. user=mdettweiler [2016-04-16 10:40:44] 603*2^1426456-1 is not prime. Res64: E9F0A3805CC66ABD Time : 0.0 sec. user=mdettweiler [2016-04-16 10:40:45] 615*2^1426456-1 is not prime. Res64: A03B85F48F78EB18 Time : 0.0 sec. user=mdettweiler [2016-04-16 10:40:46] 623*2^1426456-1 is not prime. Res64: B6963921250D8B41 Time : 0.0 sec. user=mdettweiler [2016-04-16 10:40:46] 743*2^1426456-1 is not prime. Res64: A440CFFE1400B812 Time : 0.0 sec. user=mdettweiler [2016-04-16 10:42:16] 779*2^1426456-1 is not prime. Res64: C703232176CBA0AC Time : 0.0 sec. user=mdettweiler [2016-04-16 10:42:17] 887*2^1426456-1 is not prime. Res64: C55E8C4C03D34D9F Time : 0.0 sec. user=mdettweiler [2016-04-16 10:42:17] 795*2^1426457-1 is not prime. Res64: 568334B7CE21B70F Time : 0.0 sec. user=mdettweiler [2016-04-16 10:42:18] 955*2^1426457-1 is not prime. Res64: F272E25D70AA4A13 Time : 0.0 sec. user=mdettweiler [2016-04-16 10:42:18] 633*2^1426458-1 is not prime. Res64: C2D8B5D8FEF3F02D Time : 0.0 sec. user=mdettweiler [2016-04-16 10:53:30] 681*2^1426458-1 is not prime. Res64: FBEF53F9D70AC4C7 Time : 0.0 sec. user=mdettweiler [2016-04-16 10:53:30] 885*2^1426458-1 is not prime. Res64: F0C0E4597AB75532 Time : 0.0 sec. user=mdettweiler [2016-04-16 10:53:31] 945*2^1426458-1 is not prime. Res64: 3CADAB132567675D Time : 0.0 sec. user=mdettweiler [2016-04-16 10:53:31] 963*2^1426458-1 is not prime. Res64: C0FDBE985981FD66 Time : 0.0 sec. user=mdettweiler [2016-04-16 10:53:32] 645*2^1426459-1 is not prime. Res64: 2089C88AE7C14735 Time : 0.0 sec. user=mdettweiler [2016-04-16 11:11:33] 745*2^1426459-1 is not prime. Res64: 14592AEB68075B0A Time : 0.0 sec. user=mdettweiler [2016-04-16 11:11:33] 751*2^1426459-1 is not prime. Res64: 30488739F77C78D5 Time : 0.0 sec. user=mdettweiler [2016-04-16 11:11:34] 853*2^1426459-1 is not prime. Res64: 3A150A2DF0FED024 Time : 0.0 sec. user=mdettweiler [2016-04-16 11:11:34] 885*2^1426459-1 is not prime. Res64: 432F159D1A42CAB9 Time : 0.0 sec. user=mdettweiler [2016-04-16 11:11:34] 973*2^1426459-1 is not prime. Res64: ABC68590B15C747E Time : 0.0 sec. user=mdettweiler [2016-04-16 11:25:31] 975*2^1426459-1 is not prime. Res64: F13FE53CAA849448 Time : 0.0 sec. user=mdettweiler [2016-04-16 11:25:31] 635*2^1426460-1 is not prime. Res64: CABD64F6DDCA67D2 Time : 0.0 sec. user=mdettweiler [2016-04-16 11:25:32] 647*2^1426460-1 is not prime. Res64: 15DA4A8D6C3B969E Time : 0.0 sec. user=mdettweiler [2016-04-16 11:25:32] 707*2^1426460-1 is not prime. Res64: D4C9477AF1A10032 Time : 0.0 sec. user=mdettweiler [2016-04-16 11:25:33] 797*2^1426460-1 is not prime. Res64: B914803A9917B544 Time : 0.0 sec. user=mdettweiler [2016-04-16 11:27:01] 843*2^1426460-1 is not prime. Res64: 47EC358164C4C653 Time : 0.0 sec. user=mdettweiler [2016-04-16 11:27:02] 875*2^1426460-1 is not prime. Res64: 70F252A4746E7FA6 Time : 0.0 sec. user=mdettweiler [2016-04-16 11:27:02] 607*2^1426461-1 is not prime. Res64: C69EF7BEC4E48C1C Time : 0.0 sec. user=mdettweiler [2016-04-16 11:27:02] 849*2^1426461-1 is not prime. Res64: E50C47E285DFC08D Time : 0.0 sec. user=mdettweiler [2016-04-16 11:27:03] 951*2^1426461-1 is not prime. Res64: A63A53A6DD2023C5 Time : 0.0 sec. user=mdettweiler [2016-04-16 11:38:09] 999*2^1426461-1 is not prime. Res64: 24303ABD60FAF2BD Time : 0.0 sec. user=mdettweiler [2016-04-16 11:38:10] 647*2^1426462-1 is not prime. Res64: 2BAA0930164A7C8E Time : 0.0 sec. user=mdettweiler [2016-04-16 11:38:10] 681*2^1426462-1 is not prime. Res64: 1C49C7B0A0BBA936 Time : 0.0 sec. user=mdettweiler [2016-04-16 11:38:11] 705*2^1426462-1 is not prime. Res64: 093EF6B94AA9FD6A Time : 0.0 sec. user=mdettweiler [2016-04-16 11:38:11] 975*2^1426462-1 is not prime. Res64: 2BD35A0EFCDF2B16 Time : 0.0 sec. user=mdettweiler [2016-04-16 11:56:12] 983*2^1426462-1 is not prime. Res64: 2E3157A0B2A6A155 Time : 0.0 sec. user=mdettweiler [2016-04-16 11:56:12] 615*2^1426463-1 is not prime. Res64: F53D68C9B389C3DD Time : 0.0 sec. user=mdettweiler [2016-04-16 11:56:12] 745*2^1426463-1 is not prime. Res64: AA5AB0D99E667ECC Time : 0.0 sec. user=mdettweiler [2016-04-16 11:56:13] 753*2^1426463-1 is not prime. Res64: D8C7251A66870CFB Time : 0.0 sec. user=mdettweiler [2016-04-16 11:56:13] 855*2^1426463-1 is not prime. Res64: A8DDABAEDD8F9AEB Time : 0.0 sec. user=mdettweiler [2016-04-16 12:10:22] 889*2^1426463-1 is not prime. Res64: D2B6D8E392028FD6 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:10:22] 635*2^1426464-1 is not prime. Res64: 45871B284A886827 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:10:23] 683*2^1426464-1 is not prime. Res64: B7E85437EAC00990 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:10:23] 737*2^1426464-1 is not prime. Res64: ADFBE3378974574D Time : 0.0 sec. user=mdettweiler [2016-04-16 12:10:23] 753*2^1426464-1 is not prime. Res64: 8CCA5D194274774F Time : 0.0 sec. user=mdettweiler [2016-04-16 12:11:40] 789*2^1426464-1 is not prime. Res64: 6AB0356CF678447D Time : 0.0 sec. user=mdettweiler [2016-04-16 12:11:40] 899*2^1426464-1 is not prime. Res64: 4F2C57D283A40319 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:11:40] 905*2^1426464-1 is not prime. Res64: 546FCBD66BBBC71E Time : 0.0 sec. user=mdettweiler [2016-04-16 12:11:41] 923*2^1426464-1 is not prime. Res64: C9F27FB7E55A6976 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:11:41] 927*2^1426464-1 is not prime. Res64: 20AE3695CC4F3603 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:22:58] 983*2^1426464-1 is not prime. Res64: 173B1AD7DBBA3220 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:22:58] 651*2^1426465-1 is not prime. Res64: E7F95C6CF3044BB5 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:22:58] 705*2^1426465-1 is not prime. Res64: 0A72B1C269960A83 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:22:59] 819*2^1426465-1 is not prime. Res64: CC4BB3FC0B14ADC5 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:22:59] 951*2^1426465-1 is not prime. Res64: EBD4D1A22CB2A0F6 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:40:56] 615*2^1426466-1 is not prime. Res64: B96865D3F1A2CBC3 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:40:56] 617*2^1426466-1 is not prime. Res64: FA85E89D13F94429 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:40:56] 713*2^1426466-1 is not prime. Res64: 0BF0B0A2549CE2E4 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:40:57] 837*2^1426466-1 is not prime. Res64: 2B3C64C666F04830 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:40:57] 887*2^1426466-1 is not prime. Res64: 52A4C8FE870ADDD3 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:55:06] 945*2^1426466-1 is not prime. Res64: E89360041FFE1A5B Time : 0.0 sec. user=mdettweiler [2016-04-16 12:55:07] 971*2^1426466-1 is not prime. Res64: 3A83C8EF3AC18F97 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:55:07] 981*2^1426466-1 is not prime. Res64: E23EA0C4C74C96C5 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:55:07] 669*2^1426467-1 is not prime. Res64: DCCE4CAF6EFA0F43 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:55:08] 691*2^1426467-1 is not prime. Res64: AFDB8BA627434E8F Time : 0.0 sec. user=mdettweiler [2016-04-16 12:56:28] 795*2^1426467-1 is not prime. Res64: 58280204C2ACA501 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:56:28] 949*2^1426467-1 is not prime. Res64: EBD9F82A3A074423 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:56:28] 973*2^1426467-1 is not prime. Res64: DE81C469B4009427 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:56:29] 617*2^1426468-1 is not prime. Res64: 72213C2F5C1EB894 Time : 0.0 sec. user=mdettweiler [2016-04-16 12:56:29] 639*2^1426468-1 is not prime. Res64: FCA07A0C48514880 Time : 0.0 sec. user=mdettweiler [2016-04-16 13:07:59] 647*2^1426468-1 is not prime. Res64: 73097451152F73E0 Time : 0.0 sec. user=mdettweiler [2016-04-16 13:08:01] 783*2^1426468-1 is not prime. Res64: 08107E31A711E12A Time : 0.0 sec. user=mdettweiler [2016-04-16 13:08:02] 813*2^1426468-1 is not prime. Res64: 389A1542594AE739 Time : 0.0 sec. user=mdettweiler [2016-04-16 13:08:03] 615*2^1426469-1 is not prime. Res64: 80D2516B4CDCB06F Time : 0.0 sec. user=mdettweiler [2016-04-16 13:08:04] 655*2^1426469-1 is not prime. Res64: 950B9EB842BC1F5C Time : 0.0 sec. user=mdettweiler [2016-04-16 13:25:45] 697*2^1426469-1 is not prime. Res64: 83032A6781064DD1 Time : 0.0 sec. user=mdettweiler [2016-04-16 13:25:45] 727*2^1426469-1 is not prime. Res64: BB02E148469FE58C Time : 0.0 sec. user=mdettweiler [2016-04-16 13:25:45] 735*2^1426469-1 is not prime. Res64: 16E99C99BC9AE6A0 Time : 0.0 sec. user=mdettweiler [2016-04-16 13:25:46] 795*2^1426469-1 is not prime. Res64: 8E0F4BA32DCCBBCF Time : 0.0 sec. user=mdettweiler [2016-04-16 13:25:46] 837*2^1426469-1 is not prime. Res64: 50443F5CADD9E130 Time : 0.0 sec. user=mdettweiler [2016-04-16 13:40:44] 931*2^1426469-1 is not prime. Res64: 588770B28F9A95EB Time : 0.0 sec. user=mdettweiler [2016-04-16 13:40:44] 945*2^1426469-1 is not prime. Res64: 0B5FD5CF6757FCC2 Time : 0.0 sec. user=mdettweiler [2016-04-16 13:40:44] 979*2^1426469-1 is not prime. Res64: 68BCC8F4A328290C Time : 0.0 sec. user=mdettweiler [2016-04-16 13:40:44] 611*2^1426470-1 is not prime. Res64: 32399D3B5053DD58 Time : 0.0 sec. user=mdettweiler [2016-04-16 13:40:45] 777*2^1426470-1 is not prime. Res64: BCFA9FD2C8EB37A7 Time : 0.0 sec. user=mdettweiler [2016-04-16 13:42:28] 797*2^1426470-1 is not prime. Res64: E55A779FDA5C4F01 Time : 0.0 sec. user=mdettweiler [2016-04-16 13:42:28] 621*2^1426471-1 is not prime. Res64: 549A413D59333BA9 Time : 0.0 sec. user=mdettweiler [2016-04-16 13:42:28] 639*2^1426471-1 is not prime. Res64: AF655C52D8B351DB Time : 0.0 sec. user=mdettweiler [2016-04-16 13:42:28] 651*2^1426471-1 is not prime. Res64: D8DE1B6947CCEA71 Time : 0.0 sec. user=mdettweiler [2016-04-16 13:42:28] 741*2^1426471-1 is not prime. Res64: D6BF5738C754BA16 Time : 0.0 sec. user=mdettweiler [2016-04-16 13:53:54] 925*2^1426471-1 is not prime. Res64: 82EDA4365A5D3046 Time : 0.0 sec. user=mdettweiler [2016-04-16 13:53:54] 961*2^1426471-1 is not prime. Res64: 9EB2B513C9F9CF83 Time : 0.0 sec. user=mdettweiler [2016-04-16 13:53:55] 993*2^1426471-1 is not prime. Res64: 36DE9D25CB255043 Time : 0.0 sec. user=mdettweiler [2016-04-16 13:53:55] 645*2^1426472-1 is not prime. Res64: D20B80CA2372D56D Time : 0.0 sec. user=mdettweiler [2016-04-16 13:53:56] 753*2^1426472-1 is not prime. Res64: 290491FDA611A4D7 Time : 0.0 sec. user=mdettweiler [2016-04-16 14:11:30] 767*2^1426472-1 is not prime. Res64: 34B9ACF96DA9948D Time : 0.0 sec. user=mdettweiler [2016-04-16 14:11:30] 797*2^1426472-1 is not prime. Res64: 30AD4AE39F76B4BE Time : 0.0 sec. user=mdettweiler [2016-04-16 14:11:31] 819*2^1426472-1 is not prime. Res64: 0299A7B80656FD31 Time : 0.0 sec. user=mdettweiler [2016-04-16 14:11:31] 857*2^1426472-1 is not prime. Res64: E7888D1B81B00EBE Time : 0.0 sec. user=mdettweiler [2016-04-16 14:11:32] 897*2^1426472-1 is not prime. Res64: D9560AE0BBD6492D Time : 0.0 sec. user=mdettweiler [2016-04-16 14:25:42] 935*2^1426472-1 is not prime. Res64: 491ABF5C5F7391D1 Time : 0.0 sec. user=mdettweiler [2016-04-16 14:25:43] 995*2^1426472-1 is not prime. Res64: E3C11EA22336E53A Time : 0.0 sec. user=mdettweiler [2016-04-16 14:25:43] 675*2^1426473-1 is not prime. Res64: A848E8F6B80533A6 Time : 0.0 sec. user=mdettweiler [2016-04-16 14:25:43] 681*2^1426473-1 is not prime. Res64: A0E3DC08BE72BEA7 Time : 0.0 sec. user=mdettweiler [2016-04-16 14:25:43] 705*2^1426473-1 is not prime. Res64: 7C487429B4D02880 Time : 0.0 sec. user=mdettweiler [2016-04-16 14:27:29] 735*2^1426473-1 is not prime. Res64: 3A1D8519C66D55AB Time : 0.0 sec. user=mdettweiler [2016-04-16 14:27:29] 805*2^1426473-1 is not prime. Res64: 18C29B887719CBCF Time : 0.0 sec. user=mdettweiler [2016-04-16 14:27:30] 817*2^1426473-1 is not prime. Res64: B8D6B1905C339BEB Time : 0.0 sec. user=mdettweiler [2016-04-16 14:27:30] 829*2^1426473-1 is not prime. Res64: 7EF5F0B1D3431D02 Time : 0.0 sec. user=mdettweiler [2016-04-16 14:27:30] 849*2^1426473-1 is not prime. Res64: 26D93C6D7CA191CD Time : 0.0 sec. user=mdettweiler [2016-04-16 14:40:04] 861*2^1426473-1 is not prime. Res64: F745A6DA92121F4F Time : 0.0 sec. user=mdettweiler [2016-04-16 14:40:04] 895*2^1426473-1 is not prime. Res64: 1FB23B501B75FBC7 Time : 0.0 sec. user=mdettweiler [2016-04-16 14:40:05] 999*2^1426473-1 is not prime. Res64: 7C6CFE5B797ED05D Time : 0.0 sec. user=mdettweiler [2016-04-16 14:40:05] 657*2^1426474-1 is not prime. Res64: 3A603C588A090B7A Time : 0.0 sec. user=mdettweiler [2016-04-16 14:40:05] 663*2^1426474-1 is not prime. Res64: 37FD5273AFD77C79 Time : 0.0 sec. user=mdettweiler [2016-04-16 15:00:48] 701*2^1426474-1 is not prime. Res64: 876E3B22C81D0024 Time : 0.0 sec. user=mdettweiler [2016-04-16 15:00:49] 705*2^1426474-1 is not prime. Res64: 2421D64FD928D80D Time : 0.0 sec. user=mdettweiler [2016-04-16 15:00:50] 741*2^1426474-1 is not prime. Res64: D03B80108F921F7C Time : 0.0 sec. user=mdettweiler [2016-04-16 15:00:51] 773*2^1426474-1 is not prime. Res64: 338A1F67472E1548 Time : 0.0 sec. user=mdettweiler [2016-04-16 15:00:52] 791*2^1426474-1 is not prime. Res64: 5F77F86BBD452F6D Time : 0.0 sec. user=mdettweiler [2016-04-16 15:16:37] 813*2^1426474-1 is not prime. Res64: 59038CC6CA33EABF Time : 0.0 sec. user=mdettweiler [2016-04-16 15:16:38] 815*2^1426474-1 is not prime. Res64: 839FAF1EAD2A1186 Time : 0.0 sec. user=mdettweiler [2016-04-16 15:16:38] 857*2^1426474-1 is not prime. Res64: 8F8DC8CA26C9840A Time : 0.0 sec. user=mdettweiler [2016-04-16 15:16:39] 887*2^1426474-1 is not prime. Res64: 5708A297BC13386A Time : 0.0 sec. user=mdettweiler [2016-04-16 15:16:39] 951*2^1426474-1 is not prime. Res64: D3F6941D69A8D09B Time : 0.0 sec. user=mdettweiler [2016-04-16 15:19:04] 957*2^1426474-1 is not prime. Res64: 2AF0A3661E240CEC Time : 0.0 sec. user=mdettweiler [2016-04-16 15:19:04] 981*2^1426474-1 is not prime. Res64: FD359C717EF039DB Time : 0.0 sec. user=mdettweiler [2016-04-16 15:19:04] 609*2^1426475-1 is not prime. Res64: A6051FD119365421 Time : 0.0 sec. user=mdettweiler [2016-04-16 15:19:04] 771*2^1426475-1 is not prime. Res64: 38D7F52036B7F93A Time : 0.0 sec. user=mdettweiler [2016-04-16 15:19:05] 841*2^1426475-1 is not prime. Res64: EFE7F0445F96B7D0 Time : 0.0 sec. user=mdettweiler [2016-04-16 15:31:26] 949*2^1426475-1 is not prime. Res64: 24D9F8A6E9E35B42 Time : 0.0 sec. user=mdettweiler [2016-04-16 15:31:26] 669*2^1426476-1 is not prime. Res64: B4A2BA7CED1C2DD5 Time : 0.0 sec. user=mdettweiler [2016-04-16 15:31:26] 675*2^1426476-1 is not prime. Res64: 6F570713B2CEE841 Time : 0.0 sec. user=mdettweiler [2016-04-16 15:31:26] 693*2^1426476-1 is not prime. Res64: CED639FC1CFBFE16 Time : 0.0 sec. user=mdettweiler [2016-04-16 15:31:27] 719*2^1426476-1 is not prime. Res64: 4F5A773BDB771E0F Time : 0.0 sec. user=mdettweiler [2016-04-16 15:49:35] 737*2^1426476-1 is not prime. Res64: 9877603B4112F8CD Time : 0.0 sec. user=mdettweiler [2016-04-16 15:49:36] 899*2^1426476-1 is not prime. Res64: 8E807D3CD46C8C1E Time : 0.0 sec. user=mdettweiler [2016-04-16 15:49:36] 615*2^1426477-1 is not prime. Res64: A96FD37C5A86D052 Time : 0.0 sec. user=mdettweiler [2016-04-16 15:49:36] 639*2^1426477-1 is not prime. Res64: FD3017183F81A954 Time : 0.0 sec. user=mdettweiler [2016-04-16 15:49:37] 741*2^1426477-1 is not prime. Res64: 9DCCA70662C6821A Time : 0.0 sec. user=mdettweiler [2016-04-16 16:04:25] 847*2^1426477-1 is not prime. Res64: 34590BD703C92466 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:04:27] 897*2^1426477-1 is not prime. Res64: AEA87F9A1351E9A3 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:04:28] 901*2^1426477-1 is not prime. Res64: A4F316F9971A6152 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:04:30] 955*2^1426477-1 is not prime. Res64: F1EA77ACFB2A8721 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:04:31] 961*2^1426477-1 is not prime. Res64: CFD49EDD3AEFBB18 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:06:28] 663*2^1426478-1 is not prime. Res64: 2B614549245393FB Time : 0.0 sec. user=mdettweiler [2016-04-16 16:06:28] 693*2^1426478-1 is not prime. Res64: D3753ECFD3BE393D Time : 0.0 sec. user=mdettweiler [2016-04-16 16:06:29] 767*2^1426478-1 is not prime. Res64: BC947F59D969F0BD Time : 0.0 sec. user=mdettweiler [2016-04-16 16:06:29] 825*2^1426478-1 is not prime. Res64: F0F1BD37779B5EF5 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:06:30] 915*2^1426478-1 is not prime. Res64: 490E724127D885FB Time : 0.0 sec. user=mdettweiler [2016-04-16 16:17:39] 957*2^1426478-1 is not prime. Res64: 8DE35A01C374DA29 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:17:39] 1001*2^1426478-1 is not prime. Res64: A267F6A667D736FC Time : 0.0 sec. user=mdettweiler [2016-04-16 16:17:40] 601*2^1426479-1 is not prime. Res64: 13A3E3D6FB2AAC32 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:17:40] 609*2^1426479-1 is not prime. Res64: F9E53F6463645F03 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:17:40] 619*2^1426479-1 is not prime. Res64: DB24D13AFB8B5CC3 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:34:24] 823*2^1426479-1 is not prime. Res64: 15993494E484A4D9 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:34:24] 859*2^1426479-1 is not prime. Res64: 002BCDDB9E212BDC Time : 0.0 sec. user=mdettweiler [2016-04-16 16:34:25] 919*2^1426479-1 is not prime. Res64: 9E8B45BCFC8F6A8B Time : 0.0 sec. user=mdettweiler [2016-04-16 16:34:25] 933*2^1426479-1 is not prime. Res64: 7D1EC8503FAAD1CB Time : 0.0 sec. user=mdettweiler [2016-04-16 16:34:25] 609*2^1426480-1 is not prime. Res64: E6F6E6D3602771CB Time : 0.0 sec. user=mdettweiler [2016-04-16 16:49:31] 689*2^1426480-1 is not prime. Res64: CB8BC206648B44F5 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:49:31] 797*2^1426480-1 is not prime. Res64: 45C2E3DAB5A1FAD0 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:49:31] 825*2^1426480-1 is not prime. Res64: 444467F051306D44 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:49:32] 957*2^1426480-1 is not prime. Res64: A67CE2270F14259B Time : 0.0 sec. user=mdettweiler [2016-04-16 16:49:32] 959*2^1426480-1 is not prime. Res64: 5300015370EFD8C5 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:51:38] 989*2^1426480-1 is not prime. Res64: DB02B4BE5936DC9C Time : 0.0 sec. user=mdettweiler [2016-04-16 16:51:39] 631*2^1426481-1 is not prime. Res64: 970B440F62F855B8 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:51:39] 735*2^1426481-1 is not prime. Res64: 42A5E66680C12C95 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:51:39] 829*2^1426481-1 is not prime. Res64: 91E274992F9DF5F5 Time : 0.0 sec. user=mdettweiler [2016-04-16 16:51:40] 907*2^1426481-1 is not prime. Res64: 111885EC77644632 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:02:35] 815*2^1426482-1 is not prime. Res64: C03A84EC21219E10 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:02:36] 821*2^1426482-1 is not prime. Res64: 91D27D563596D608 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:02:37] 867*2^1426482-1 is not prime. Res64: 97505B2FE2444555 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:02:37] 873*2^1426482-1 is not prime. Res64: 0B59172540212018 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:02:38] 917*2^1426482-1 is not prime. Res64: F4A2580560C5FE1C Time : 0.0 sec. user=mdettweiler [2016-04-16 17:19:23] 975*2^1426482-1 is not prime. Res64: BD37FD44AD52810A Time : 0.0 sec. user=mdettweiler [2016-04-16 17:19:23] 679*2^1426483-1 is not prime. Res64: 400594FD32165972 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:19:24] 805*2^1426483-1 is not prime. Res64: A2C9640A46D55C90 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:19:24] 835*2^1426483-1 is not prime. Res64: 08474C0568B6D5F4 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:19:24] 861*2^1426483-1 is not prime. Res64: 3703984D70EC914D Time : 0.0 sec. user=mdettweiler [2016-04-16 17:34:19] 945*2^1426484-1 is not prime. Res64: 6E6A3794FED6FAA0 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:34:20] 741*2^1426485-1 is not prime. Res64: E9250847151B0F6F Time : 0.0 sec. user=mdettweiler [2016-04-16 17:34:20] 787*2^1426485-1 is not prime. Res64: 19009B6E772C4295 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:34:20] 861*2^1426485-1 is not prime. Res64: A2B4B8793DB742AA Time : 0.0 sec. user=mdettweiler [2016-04-16 17:34:21] 991*2^1426485-1 is not prime. Res64: C52139A238ED0BED Time : 0.0 sec. user=mdettweiler [2016-04-16 17:36:23] 645*2^1426486-1 is not prime. Res64: 65EE74C007785B03 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:36:23] 761*2^1426486-1 is not prime. Res64: FD613E395B8A2E75 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:36:24] 917*2^1426486-1 is not prime. Res64: 1B823B63B2B13249 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:36:24] 601*2^1426487-1 is not prime. Res64: 6A88436218E70E02 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:36:25] 693*2^1426487-1 is not prime. Res64: BF1B0B341ABA4736 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:48:00] 805*2^1426487-1 is not prime. Res64: 7AA414CCE579FD45 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:48:00] 813*2^1426487-1 is not prime. Res64: 52E1A2ECE79F95C6 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:48:01] 865*2^1426487-1 is not prime. Res64: 8ACC2B100446865C Time : 0.0 sec. user=mdettweiler [2016-04-16 17:48:01] 931*2^1426487-1 is not prime. Res64: C6DFD0B021661409 Time : 0.0 sec. user=mdettweiler [2016-04-16 17:48:01] 949*2^1426487-1 is not prime. Res64: 120C1BD0DF565238 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:04:21] 627*2^1426488-1 is not prime. Res64: 3CC7412832263325 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:04:22] 795*2^1426488-1 is not prime. Res64: D65F4518F761CABD Time : 0.0 sec. user=mdettweiler [2016-04-16 18:04:24] 815*2^1426488-1 is not prime. Res64: D48EFE8E6D2FE248 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:04:25] 819*2^1426488-1 is not prime. Res64: 38A5DCEFD17F5DB7 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:04:26] 887*2^1426488-1 is not prime. Res64: C4CEC7567E859074 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:20:12] 893*2^1426488-1 is not prime. Res64: 7B552D9B7E2EEA50 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:20:12] 977*2^1426488-1 is not prime. Res64: 08DE5B1E9314DC78 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:20:13] 649*2^1426489-1 is not prime. Res64: 09063B0B4E74D2D7 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:20:13] 861*2^1426489-1 is not prime. Res64: 67A2366420D662B9 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:20:13] 877*2^1426489-1 is not prime. Res64: 01EA025E249BBABB Time : 0.0 sec. user=mdettweiler [2016-04-16 18:21:32] 951*2^1426489-1 is not prime. Res64: 71007EF4CBEA3435 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:21:32] 675*2^1426490-1 is not prime. Res64: 22EC07C7F973C1B3 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:21:33] 789*2^1426491-1 is not prime. Res64: 51BD72DCCF20D23F Time : 0.0 sec. user=mdettweiler [2016-04-16 18:21:33] 849*2^1426491-1 is not prime. Res64: 05B6D98654873A1D Time : 0.0 sec. user=mdettweiler [2016-04-16 18:21:34] 623*2^1426492-1 is not prime. Res64: 37C51494A6A2CE64 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:33:08] 719*2^1426492-1 is not prime. Res64: C92D34D8F6C944A6 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:33:09] 749*2^1426492-1 is not prime. Res64: 277F41FE3DA48777 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:33:09] 843*2^1426492-1 is not prime. Res64: C9A0FA2F2FAE7E7C Time : 0.0 sec. user=mdettweiler [2016-04-16 18:33:09] 903*2^1426492-1 is not prime. Res64: 133348B6FAB24CFE Time : 0.0 sec. user=mdettweiler [2016-04-16 18:33:10] 957*2^1426492-1 is not prime. Res64: B7F4333441CDC03D Time : 0.0 sec. user=mdettweiler [2016-04-16 18:49:29] 965*2^1426492-1 is not prime. Res64: 1E503B11DDA9EED2 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:49:29] 995*2^1426492-1 is not prime. Res64: C4AA48B501826AC2 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:49:30] 631*2^1426493-1 is not prime. Res64: FA91C0A83CA99904 Time : 0.0 sec. user=mdettweiler [2016-04-16 18:49:30] 685*2^1426493-1 is not prime. Res64: BE15DE4765813ECB Time : 0.0 sec. user=mdettweiler [2016-04-16 18:49:30] 855*2^1426493-1 is not prime. Res64: A44931144E4D5292 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:05:26] 867*2^1426493-1 is not prime. Res64: 3B2202DEDB47B6FB Time : 0.0 sec. user=mdettweiler [2016-04-16 19:05:28] 951*2^1426493-1 is not prime. Res64: 5C3D590B5ECF0A3B Time : 0.0 sec. user=mdettweiler [2016-04-16 19:05:29] 611*2^1426494-1 is not prime. Res64: 48E69D04C6678F98 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:05:30] 705*2^1426494-1 is not prime. Res64: 8A98C2D9F2205D52 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:05:32] 731*2^1426494-1 is not prime. Res64: 3236C875FA379FA1 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:06:28] 737*2^1426494-1 is not prime. Res64: 51295C18D8EFD3F4 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:06:30] 885*2^1426494-1 is not prime. Res64: C1DC5CB20872BD45 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:06:30] 921*2^1426494-1 is not prime. Res64: A871D8B08670D8C6 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:06:31] 927*2^1426494-1 is not prime. Res64: 0189CEDFF4963F4A Time : 0.0 sec. user=mdettweiler [2016-04-16 19:06:32] 965*2^1426494-1 is not prime. Res64: 42E31B23D4418953 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:17:49] 993*2^1426494-1 is not prime. Res64: 6FA2CC6FB19D6881 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:17:50] 679*2^1426495-1 is not prime. Res64: 3D5B96F0B4B1B01E Time : 0.0 sec. user=mdettweiler [2016-04-16 19:17:50] 715*2^1426495-1 is not prime. Res64: C080485C99B6A0C1 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:17:51] 985*2^1426495-1 is not prime. Res64: 5467089606C59D63 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:17:51] 743*2^1426496-1 is not prime. Res64: CE6269ECE00B98BA Time : 0.0 sec. user=mdettweiler [2016-04-16 19:34:24] 803*2^1426496-1 is not prime. Res64: 0D81501805F3C401 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:34:24] 899*2^1426496-1 is not prime. Res64: BFC687AB7CC8AFD5 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:34:24] 945*2^1426496-1 is not prime. Res64: B5C935AF145C5CE9 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:34:25] 999*2^1426496-1 is not prime. Res64: B25FBBAF5956312F Time : 0.0 sec. user=mdettweiler [2016-04-16 19:34:25] 627*2^1426497-1 is not prime. Res64: DD9F9F8928EBCC32 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:50:34] 669*2^1426497-1 is not prime. Res64: 798CE79A81FCA25E Time : 0.0 sec. user=mdettweiler [2016-04-16 19:50:35] 889*2^1426497-1 is not prime. Res64: 5C03E27387C8A3AC Time : 0.0 sec. user=mdettweiler [2016-04-16 19:50:35] 895*2^1426497-1 is not prime. Res64: 4CBD02A85CA859DB Time : 0.0 sec. user=mdettweiler [2016-04-16 19:50:36] 949*2^1426497-1 is not prime. Res64: 49DFAB0CA276A0E9 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:50:36] 603*2^1426498-1 is not prime. Res64: A67EE2FF3FE12A27 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:51:22] 671*2^1426498-1 is not prime. Res64: 01F3871186C54BE5 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:51:22] 705*2^1426498-1 is not prime. Res64: 246746BBB3C358ED Time : 0.0 sec. user=mdettweiler [2016-04-16 19:51:23] 813*2^1426498-1 is not prime. Res64: E83DDDF085C03524 Time : 0.0 sec. user=mdettweiler [2016-04-16 19:51:23] 915*2^1426498-1 is not prime. Res64: 097A2D6D7B50DACD Time : 0.0 sec. user=mdettweiler [2016-04-16 19:51:24] 933*2^1426498-1 is not prime. Res64: 7594E59E65FB2B27 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:02:39] 971*2^1426498-1 is not prime. Res64: 710E691088B66904 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:02:41] 619*2^1426499-1 is not prime. Res64: D4523907D7BDA549 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:02:41] 663*2^1426499-1 is not prime. Res64: 320DC6742BC22FD8 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:02:42] 669*2^1426499-1 is not prime. Res64: B6233C70C93F7B21 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:02:43] 843*2^1426499-1 is not prime. Res64: E58BDBB6044C5A3F Time : 0.0 sec. user=mdettweiler [2016-04-16 20:19:12] 861*2^1426499-1 is not prime. Res64: 7C8F135AB6143D35 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:19:13] 969*2^1426499-1 is not prime. Res64: 8012B931C9208DA2 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:19:13] 777*2^1426500-1 is not prime. Res64: D8B756DCCBCAFE74 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:19:13] 679*2^1426501-1 is not prime. Res64: 23FBB8D455417EBA Time : 0.0 sec. user=mdettweiler [2016-04-16 20:19:14] 741*2^1426501-1 is not prime. Res64: 9FB17654F185FCD3 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:35:30] 817*2^1426501-1 is not prime. Res64: 8CC8F1B7EA886303 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:35:31] 835*2^1426501-1 is not prime. Res64: D836A736F41F9BEB Time : 0.0 sec. user=mdettweiler [2016-04-16 20:35:31] 889*2^1426501-1 is not prime. Res64: F427DE10FCB2EA4F Time : 0.0 sec. user=mdettweiler [2016-04-16 20:35:31] 951*2^1426501-1 is not prime. Res64: B58A97A9449B4194 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:35:32] 999*2^1426501-1 is not prime. Res64: 7638F17A9CB52871 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:36:32] 635*2^1426502-1 is not prime. Res64: 1B7CA7EB0946D0A2 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:36:32] 675*2^1426502-1 is not prime. Res64: 504D80F7F60DD8DE Time : 0.0 sec. user=mdettweiler [2016-04-16 20:36:33] 761*2^1426502-1 is not prime. Res64: 6C2E7309D6DA3DE8 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:36:33] 951*2^1426502-1 is not prime. Res64: CBDA1C102605871B Time : 0.0 sec. user=mdettweiler [2016-04-16 20:36:33] 977*2^1426502-1 is not prime. Res64: 6A0E2260A0640715 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:48:04] 669*2^1426503-1 is not prime. Res64: E399359AC3EC62B3 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:48:04] 723*2^1426503-1 is not prime. Res64: 2E6E22A5F70F1713 Time : 0.0 sec. user=mdettweiler [2016-04-16 20:48:05] 795*2^1426503-1 is not prime. Res64: FE4319FA20BA761C Time : 0.0 sec. user=mdettweiler [2016-04-16 20:48:05] 945*2^1426503-1 is not prime. Res64: 587D8566980FA5BB Time : 0.0 sec. user=mdettweiler [2016-04-16 20:48:06] 951*2^1426503-1 is not prime. Res64: DED1195696154771 Time : 0.0 sec. user=mdettweiler [2016-04-16 21:04:30] 687*2^1426504-1 is not prime. Res64: 2FC30034EF92A9EF Time : 0.0 sec. user=mdettweiler [2016-04-16 21:04:31] 695*2^1426504-1 is not prime. Res64: 4A9718C2A9D0572C Time : 0.0 sec. user=mdettweiler [2016-04-16 21:04:32] 743*2^1426504-1 is not prime. Res64: 0C84C8C00105129B Time : 0.0 sec. user=mdettweiler [2016-04-16 21:04:33] 755*2^1426504-1 is not prime. Res64: B9C091673D4C36BE Time : 0.0 sec. user=mdettweiler [2016-04-16 21:04:35] 855*2^1426504-1 is not prime. Res64: 4B90DD1089D96A31 Time : 0.0 sec. user=mdettweiler [2016-04-16 21:20:18] 875*2^1426504-1 is not prime. Res64: B8C02CAECCFC7704 Time : 0.0 sec. user=mdettweiler [2016-04-16 21:20:18] 679*2^1426505-1 is not prime. Res64: ADDBF561B3A42086 Time : 0.0 sec. user=mdettweiler [2016-04-16 21:20:18] 729*2^1426505-1 is not prime. Res64: A04B8614A10D2124 Time : 0.0 sec. user=mdettweiler [2016-04-16 21:20:19] 759*2^1426505-1 is not prime. Res64: B64EFBC5512E0BD9 Time : 0.0 sec. user=mdettweiler [2016-04-16 21:20:19] 787*2^1426505-1 is not prime. Res64: E1E66089DD5BD939 Time : 0.0 sec. user=mdettweiler [2016-04-16 21:21:21] 861*2^1426505-1 is not prime. Res64: 6075B188076CC0DC Time : 0.0 sec. user=mdettweiler [2016-04-16 21:21:21] 981*2^1426505-1 is not prime. Res64: 40F56FCFD8192011 Time : 0.0 sec. user=mdettweiler [2016-04-16 21:21:22] 985*2^1426505-1 is not prime. Res64: 6A7F778D2B40519D Time : 0.0 sec. user=mdettweiler [2016-04-16 21:21:22] 627*2^1426506-1 is not prime. Res64: 703AF23252BA05D2 Time : 0.0 sec. user=mdettweiler [2016-04-16 21:21:23] 683*2^1426506-1 is not prime. Res64: 128F70709A382E97 Time : 0.0 sec. user=mdettweiler [2016-04-16 21:32:55] 741*2^1426506-1 is not prime. Res64: B82BA233A3E3BA80 Time : 0.0 sec. user=mdettweiler [2016-04-16 21:32:55] 755*2^1426506-1 is not prime. Res64: 8FA097D47EBBAD8B Time : 0.0 sec. user=mdettweiler [2016-04-16 21:32:56] 803*2^1426506-1 is not prime. Res64: BA48B9B98E22864F Time : 0.0 sec. user=mdettweiler [2016-04-16 21:32:56] 963*2^1426506-1 is not prime. Res64: 0B532DBB2B360473 Time : 0.0 sec. user=mdettweiler [2016-04-16 21:32:56] 993*2^1426506-1 is not prime. Res64: 35A15FFAFBBAA272 Time : 0.0 sec. user=mdettweiler [2016-04-16 21:49:44] 615*2^1426507-1 is not prime. Res64: 9202769935DDB70A Time : 0.0 sec. user=mdettweiler [2016-04-16 21:49:44] 733*2^1426507-1 is not prime. Res64: A0AF96E5F99F8B07 Time : 0.0 sec. user=mdettweiler [2016-04-16 21:49:45] 751*2^1426507-1 is not prime. Res64: 29A66CDE2A54AD25 Time : 0.0 sec. user=mdettweiler [2016-04-16 21:49:45] 843*2^1426507-1 is not prime. Res64: 3CCA318CF619053B Time : 0.0 sec. user=mdettweiler [2016-04-16 21:49:46] 885*2^1426507-1 is not prime. Res64: EA82DC805F9CB358 Time : 0.0 sec. user=mdettweiler [2016-04-16 22:05:02] 909*2^1426507-1 is not prime. Res64: 5E901F472CD3BCE3 Time : 0.0 sec. user=mdettweiler [2016-04-16 22:05:03] 945*2^1426507-1 is not prime. Res64: E61BFB0CF400DB06 Time : 0.0 sec. user=mdettweiler [2016-04-16 22:05:04] 975*2^1426507-1 is not prime. Res64: 0A36A8F6E7631A10 Time : 0.0 sec. user=mdettweiler [2016-04-16 22:05:05] 657*2^1426508-1 is not prime. Res64: A622CA2070EAEAC8 Time : 0.0 sec. user=mdettweiler [2016-04-16 22:05:06] 813*2^1426508-1 is not prime. Res64: 6DFB8A0B63CAD171 Time : 0.0 sec. user=mdettweiler [2016-04-16 22:06:14] 845*2^1426508-1 is not prime. Res64: C88D2F155964769E Time : 0.0 sec. user=mdettweiler [2016-04-16 22:06:15] 953*2^1426508-1 is not prime. Res64: 23A180E06CB6E00C Time : 0.0 sec. user=mdettweiler [2016-04-16 22:06:16] 625*2^1426509-1 is not prime. Res64: 3B5144956AACD28C Time : 0.0 sec. user=mdettweiler [2016-04-16 22:06:17] 649*2^1426509-1 is not prime. Res64: C90EE0F11DEE1C3D Time : 0.0 sec. user=mdettweiler [2016-04-16 22:06:18] 829*2^1426509-1 is not prime. Res64: DE82330FD64CD92D Time : 0.0 sec. user=mdettweiler [2016-04-16 22:17:50] 713*2^1426510-1 is not prime. Res64: 411EC07A21B990FF Time : 0.0 sec. user=mdettweiler [2016-04-16 22:17:50] 1001*2^1426510-1 is not prime. Res64: 5C4800D59E5E4A6F Time : 0.0 sec. user=mdettweiler [2016-04-16 22:17:51] 601*2^1426511-1 is not prime. Res64: FCB323CF4330D1CE Time : 0.0 sec. user=mdettweiler [2016-04-16 22:17:52] 619*2^1426511-1 is not prime. Res64: BB5E40FAB2DF08B6 Time : 0.0 sec. user=mdettweiler [2016-04-16 22:17:52] 819*2^1426511-1 is not prime. Res64: FD40AE171B659AC7 Time : 0.0 sec. user=mdettweiler [2016-04-16 22:34:40] 841*2^1426511-1 is not prime. Res64: 76070D27EE1579D9 Time : 0.0 sec. user=mdettweiler [2016-04-16 22:34:40] 629*2^1426512-1 is not prime. Res64: A549C996B751700B Time : 0.0 sec. user=mdettweiler [2016-04-16 22:34:41] 725*2^1426512-1 is not prime. Res64: 1732749F3F77F7F6 Time : 0.0 sec. user=mdettweiler [2016-04-16 22:34:41] 797*2^1426512-1 is not prime. Res64: A47DB990B0750D51 Time : 0.0 sec. user=mdettweiler [2016-04-16 22:34:42] 809*2^1426512-1 is not prime. Res64: 4317CBDF58136FF1 Time : 0.0 sec. user=mdettweiler [2016-04-16 22:50:07] 815*2^1426512-1 is not prime. Res64: E3320327620841F7 Time : 0.0 sec. user=mdettweiler [2016-04-16 22:50:07] 873*2^1426512-1 is not prime. Res64: ADA2208A32DA85FC Time : 0.0 sec. user=mdettweiler [2016-04-16 22:50:08] 903*2^1426512-1 is not prime. Res64: 7EF729255C0BB63B Time : 0.0 sec. user=mdettweiler [2016-04-16 22:50:08] 625*2^1426513-1 is not prime. Res64: 8006A235023B4F70 Time : 0.0 sec. user=mdettweiler [2016-04-16 22:50:08] 681*2^1426513-1 is not prime. Res64: AB705D8CCDF8BD8C Time : 0.0 sec. user=mdettweiler [2016-04-16 22:51:22] 807*2^1426513-1 is not prime. Res64: 60AE49D1AA2741A7 Time : 0.0 sec. user=mdettweiler [2016-04-16 22:51:22] 847*2^1426513-1 is not prime. Res64: 2C784D5EF44FB65E Time : 0.0 sec. user=mdettweiler [2016-04-16 22:51:22] 957*2^1426513-1 is not prime. Res64: 960BC07D434F14AC Time : 0.0 sec. user=mdettweiler [2016-04-16 22:51:23] 617*2^1426514-1 is not prime. Res64: 42E44A32CB547B53 Time : 0.0 sec. user=mdettweiler [2016-04-16 22:51:23] 657*2^1426514-1 is not prime. Res64: E399CD269CA8C279 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:02:47] 731*2^1426514-1 is not prime. Res64: 89A2A986397E26F7 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:02:48] 773*2^1426514-1 is not prime. Res64: 34DCB3741A773F66 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:02:49] 785*2^1426514-1 is not prime. Res64: 3870776FFD526D51 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:02:49] 797*2^1426514-1 is not prime. Res64: A7B1DC1F3DC50346 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:02:50] 827*2^1426514-1 is not prime. Res64: B394F3D5D3B831A4 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:19:30] 857*2^1426514-1 is not prime. Res64: 43A9A05B27EA8A29 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:19:30] 887*2^1426514-1 is not prime. Res64: DD4AB405651CCB99 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:19:31] 619*2^1426515-1 is not prime. Res64: E49064A06802A836 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:19:31] 775*2^1426515-1 is not prime. Res64: A0E82FA5E5AD01A7 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:19:32] 805*2^1426515-1 is not prime. Res64: 224206401DC4498F Time : 0.0 sec. user=mdettweiler [2016-04-16 23:34:49] 623*2^1426516-1 is not prime. Res64: 0A36224659D9025A Time : 0.0 sec. user=mdettweiler [2016-04-16 23:34:49] 723*2^1426516-1 is not prime. Res64: 498439B5BE75A46F Time : 0.0 sec. user=mdettweiler [2016-04-16 23:34:50] 909*2^1426516-1 is not prime. Res64: 3669FFD55E51B25C Time : 0.0 sec. user=mdettweiler [2016-04-16 23:34:50] 983*2^1426516-1 is not prime. Res64: DE27B1622B61EE16 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:34:50] 747*2^1426517-1 is not prime. Res64: EB95535B5955FF07 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:36:10] 837*2^1426517-1 is not prime. Res64: AE7ED12780087F96 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:36:10] 915*2^1426517-1 is not prime. Res64: 4AC99E5F3A0D5F78 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:36:11] 621*2^1426518-1 is not prime. Res64: BBB4E01BABFDB041 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:36:11] 657*2^1426518-1 is not prime. Res64: DF9C78B2E474B22B Time : 0.0 sec. user=mdettweiler [2016-04-16 23:36:11] 693*2^1426518-1 is not prime. Res64: 449C30FACEDCC8A2 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:47:29] 713*2^1426518-1 is not prime. Res64: FE0B8566E3B18D06 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:47:29] 773*2^1426518-1 is not prime. Res64: 053A261CC741BEF0 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:47:30] 821*2^1426518-1 is not prime. Res64: A6BF9BB3E2F81D7E Time : 0.0 sec. user=mdettweiler [2016-04-16 23:47:30] 881*2^1426518-1 is not prime. Res64: E0883C0434FBCA37 Time : 0.0 sec. user=mdettweiler [2016-04-16 23:47:31] 619*2^1426519-1 is not prime. Res64: 10B8823678F089C5 Time : 0.0 sec.