user=mdettweiler [2012-11-03 00:05:01] 939*2^1233556-1 is not prime. Res64: 58AB376E0F0FC31A Time : 0.0 sec. user=mdettweiler [2012-11-03 00:05:02] 631*2^1233557-1 is not prime. Res64: 54C747A2BDA187C3 Time : 0.0 sec. user=mdettweiler [2012-11-03 00:19:18] 645*2^1233557-1 is not prime. Res64: 291D4F7D1EEA31F0 Time : 0.0 sec. user=mdettweiler [2012-11-03 00:19:20] 697*2^1233557-1 is not prime. Res64: AC61B6941B596D7D Time : 0.0 sec. user=vaughan [2012-11-03 00:21:34] 905*2^1233556-1 is not prime. Res64: A5AA7968BD0594A6 Time : 0.0 sec. user=mdettweiler [2012-11-03 00:25:52] 729*2^1233557-1 is not prime. Res64: A5A0007F44AD9CA2 Time : 0.0 sec. user=mdettweiler [2012-11-03 00:25:52] 741*2^1233557-1 is not prime. Res64: F9E928203110DFDC Time : 0.0 sec. user=mdettweiler [2012-11-03 00:40:14] 829*2^1233557-1 is not prime. Res64: 1327A72582A0A8BE Time : 0.0 sec. user=mdettweiler [2012-11-03 00:40:14] 865*2^1233557-1 is not prime. Res64: A2F580FD7454B2EE Time : 0.0 sec. user=mdettweiler [2012-11-03 00:46:37] 677*2^1233558-1 is not prime. Res64: DE6EEE9A271F5932 Time : 0.0 sec. user=mdettweiler [2012-11-03 00:46:38] 765*2^1233558-1 is not prime. Res64: B7B266CF53FE5B8B Time : 0.0 sec. user=vaughan [2012-11-03 00:59:19] 925*2^1233557-1 is not prime. Res64: EB430CFD282EF351 Time : 0.0 sec. user=mdettweiler [2012-11-03 01:01:01] 777*2^1233558-1 is not prime. Res64: A913DBBFD6DB28CE Time : 0.0 sec. user=mdettweiler [2012-11-03 01:01:02] 815*2^1233558-1 is not prime. Res64: 72131346FD3F05AE Time : 0.0 sec. user=mdettweiler [2012-11-03 01:07:24] 843*2^1233558-1 is not prime. Res64: 32446415F2783664 Time : 0.0 sec. user=mdettweiler [2012-11-03 01:07:25] 927*2^1233558-1 is not prime. Res64: C8CCD72FC8F35FFC Time : 0.0 sec. user=mdettweiler [2012-11-03 01:21:48] 963*2^1233558-1 is not prime. Res64: 23F3E46823CC7BCB Time : 0.0 sec. user=mdettweiler [2012-11-03 01:21:49] 601*2^1233559-1 is not prime. Res64: 32904CBAC0C13128 Time : 0.0 sec. user=mdettweiler [2012-11-03 01:28:16] 603*2^1233559-1 is not prime. Res64: 7468078B4E35C417 Time : 0.0 sec. user=mdettweiler [2012-11-03 01:28:17] 693*2^1233559-1 is not prime. Res64: 6B7E1074D49E3F70 Time : 0.0 sec. user=vaughan [2012-11-03 01:36:59] 945*2^1233558-1 is not prime. Res64: 01CF320F492AD22B Time : 0.0 sec. user=mdettweiler [2012-11-03 01:42:35] 735*2^1233559-1 is not prime. Res64: EAA25C7D4E9492FA Time : 0.0 sec. user=mdettweiler [2012-11-03 01:42:36] 745*2^1233559-1 is not prime. Res64: DA98BADBDFB8D3D0 Time : 0.0 sec. user=mdettweiler [2012-11-03 01:49:02] 775*2^1233559-1 is not prime. Res64: 7FFB662FC414F3DD Time : 0.0 sec. user=mdettweiler [2012-11-03 01:49:03] 811*2^1233559-1 is not prime. Res64: 14AB7728A6E852D2 Time : 0.0 sec. user=mdettweiler [2012-11-03 02:03:22] 827*2^1233560-1 is not prime. Res64: F1A21C3F68C38C03 Time : 0.0 sec. user=mdettweiler [2012-11-03 02:03:23] 929*2^1233560-1 is not prime. Res64: 884AB87152CA2F4D Time : 0.0 sec. user=mdettweiler [2012-11-03 02:09:49] 777*2^1233561-1 is not prime. Res64: D785E778EAB76A74 Time : 0.0 sec. user=mdettweiler [2012-11-03 02:09:50] 805*2^1233561-1 is not prime. Res64: D308D89DCD012CBA Time : 0.0 sec. user=vaughan [2012-11-03 02:14:40] 677*2^1233560-1 is not prime. Res64: 3E9837FE4ADB07B2 Time : 0.0 sec. user=mdettweiler [2012-11-03 02:24:13] 949*2^1233561-1 is not prime. Res64: D224F1BCAF08DE40 Time : 0.0 sec. user=mdettweiler [2012-11-03 02:24:13] 997*2^1233561-1 is not prime. Res64: 5C7E48E29E474D93 Time : 0.0 sec. user=mdettweiler [2012-11-03 02:30:42] 665*2^1233562-1 is not prime. Res64: 6E6EC6C1CF1354E1 Time : 0.0 sec. user=mdettweiler [2012-11-03 02:30:43] 821*2^1233562-1 is not prime. Res64: E34CDDE07F852BC7 Time : 0.0 sec. user=mdettweiler [2012-11-03 02:45:03] 995*2^1233562-1 is not prime. Res64: C7A53385BFE02E83 Time : 0.0 sec. user=mdettweiler [2012-11-03 02:45:06] 615*2^1233563-1 is not prime. Res64: 6725C180EB2DA448 Time : 0.0 sec. user=mdettweiler [2012-11-03 02:51:32] 705*2^1233563-1 is prime! Time : 0.0 sec. user=mdettweiler [2012-11-03 02:51:35] 781*2^1233563-1 is not prime. Res64: 5F3C533761453D11 Time : 0.0 sec. user=vaughan [2012-11-03 02:52:51] 827*2^1233562-1 is not prime. Res64: 6BF3690AAB77572B Time : 0.0 sec. user=mdettweiler [2012-11-03 03:06:10] 825*2^1233563-1 is not prime. Res64: 6741D042E0FBC08A Time : 0.0 sec. user=mdettweiler [2012-11-03 03:06:12] 859*2^1233563-1 is not prime. Res64: 0352BE3FD6790A1F Time : 0.0 sec. user=mdettweiler [2012-11-03 03:12:28] 963*2^1233563-1 is not prime. Res64: 7CDBB81AADFAF229 Time : 0.0 sec. user=mdettweiler [2012-11-03 03:12:29] 635*2^1233564-1 is not prime. Res64: A8D90ECE45654B83 Time : 0.0 sec. user=mdettweiler [2012-11-03 03:27:11] 725*2^1233564-1 is not prime. Res64: 9CBFB637A6F7343F Time : 0.0 sec. user=mdettweiler [2012-11-03 03:27:11] 753*2^1233564-1 is not prime. Res64: 0AA96BA51DB7AD0C Time : 0.0 sec. user=vaughan [2012-11-03 03:30:36] 639*2^1233564-1 is not prime. Res64: DC5DFF7C2FA8710D Time : 0.0 sec. user=mdettweiler [2012-11-03 03:33:21] 759*2^1233564-1 is not prime. Res64: 1737A5494429AE84 Time : 0.0 sec. user=mdettweiler [2012-11-03 03:33:24] 873*2^1233564-1 is not prime. Res64: B689D616342F897B Time : 0.0 sec. user=mdettweiler [2012-11-03 03:47:58] 945*2^1233564-1 is not prime. Res64: E83BD52C6386891D Time : 0.0 sec. user=mdettweiler [2012-11-03 03:47:58] 619*2^1233565-1 is not prime. Res64: E50B87BBA4882AE5 Time : 0.0 sec. user=mdettweiler [2012-11-03 03:54:36] 691*2^1233565-1 is not prime. Res64: 3F07F1FBEA28D35B Time : 0.0 sec. user=mdettweiler [2012-11-03 03:54:38] 721*2^1233565-1 is not prime. Res64: DD921EBFE0C8A19E Time : 0.0 sec. user=vaughan [2012-11-03 04:08:20] 667*2^1233565-1 is not prime. Res64: 097C4BC874C620C4 Time : 0.0 sec. user=mdettweiler [2012-11-03 04:08:46] 757*2^1233565-1 is not prime. Res64: B125617C21F2DF1A Time : 0.0 sec. user=mdettweiler [2012-11-03 04:08:47] 805*2^1233565-1 is not prime. Res64: 9C399FEEA19DDD76 Time : 0.0 sec. user=mdettweiler [2012-11-03 04:15:26] 855*2^1233565-1 is not prime. Res64: 98AE9A80B5C406ED Time : 0.0 sec. user=mdettweiler [2012-11-03 04:15:27] 859*2^1233565-1 is not prime. Res64: 1FB2146B4136C453 Time : 0.0 sec. user=mdettweiler [2012-11-03 04:29:35] 925*2^1233565-1 is not prime. Res64: 65D15366270735C1 Time : 0.0 sec. user=mdettweiler [2012-11-03 04:29:36] 999*2^1233565-1 is not prime. Res64: D5179F6AFE1D95F2 Time : 0.0 sec. user=mdettweiler [2012-11-03 04:36:26] 641*2^1233566-1 is not prime. Res64: A47BCB24B3389E8B Time : 0.0 sec. user=mdettweiler [2012-11-03 04:36:27] 767*2^1233566-1 is not prime. Res64: D48A698254B7C9DB Time : 0.0 sec. user=vaughan [2012-11-03 04:46:03] 867*2^1233565-1 is not prime. Res64: B50F4B6C8D7CA4F8 Time : 0.0 sec. user=mdettweiler [2012-11-03 04:50:22] 773*2^1233566-1 is not prime. Res64: 9FDF494B755C9E21 Time : 0.0 sec. user=mdettweiler [2012-11-03 04:50:22] 917*2^1233566-1 is not prime. Res64: D6EB48F09AC6EE09 Time : 0.0 sec. user=mdettweiler [2012-11-03 04:57:14] 935*2^1233566-1 is not prime. Res64: F6D222AAF5BD194D Time : 0.0 sec. user=mdettweiler [2012-11-03 04:57:15] 769*2^1233567-1 is not prime. Res64: 836C79906447D117 Time : 0.0 sec. user=mdettweiler [2012-11-03 05:11:09] 951*2^1233567-1 is not prime. Res64: 2DB84701FF3B10F2 Time : 0.0 sec. user=mdettweiler [2012-11-03 05:11:10] 963*2^1233567-1 is not prime. Res64: F614F5D27F406D1C Time : 0.0 sec. user=mdettweiler [2012-11-03 05:18:01] 723*2^1233568-1 is not prime. Res64: 77C94859BE4CF2F4 Time : 0.0 sec. user=mdettweiler [2012-11-03 05:18:01] 843*2^1233568-1 is not prime. Res64: 42C0F7E51582D001 Time : 0.0 sec. user=vaughan [2012-11-03 05:23:45] 831*2^1233567-1 is not prime. Res64: 640731B4E9DBC34D Time : 0.0 sec. user=mdettweiler [2012-11-03 05:32:00] 869*2^1233568-1 is not prime. Res64: 35E4AB82A70ED597 Time : 0.0 sec. user=mdettweiler [2012-11-03 05:32:00] 887*2^1233568-1 is not prime. Res64: 6CEFC2D4463816A3 Time : 0.0 sec. user=mdettweiler [2012-11-03 05:38:51] 927*2^1233568-1 is not prime. Res64: 436264BA45FA95D4 Time : 0.0 sec. user=mdettweiler [2012-11-03 05:38:51] 615*2^1233569-1 is not prime. Res64: 2CC2E0DAF8626CA7 Time : 0.0 sec. user=mdettweiler [2012-11-03 05:52:47] 675*2^1233569-1 is not prime. Res64: 1DD25DB296F011FA Time : 0.0 sec. user=mdettweiler [2012-11-03 05:52:47] 705*2^1233569-1 is not prime. Res64: 4B8684AC4FCE4E6B Time : 0.0 sec. user=mdettweiler [2012-11-03 05:59:38] 799*2^1233569-1 is not prime. Res64: 6E2DEB28FB4F006C Time : 0.0 sec. user=mdettweiler [2012-11-03 05:59:38] 991*2^1233569-1 is not prime. Res64: A127E4F32C17CF5A Time : 0.0 sec. user=vaughan [2012-11-03 06:01:27] 619*2^1233569-1 is not prime. Res64: 9C222FC43FAB5A7D Time : 0.0 sec. user=mdettweiler [2012-11-03 06:13:34] 997*2^1233569-1 is not prime. Res64: 0B0AEBAB3220A26E Time : 0.0 sec. user=mdettweiler [2012-11-03 06:13:36] 723*2^1233570-1 is not prime. Res64: 8B9F5939DF3D06D0 Time : 0.0 sec. user=mdettweiler [2012-11-03 06:20:23] 783*2^1233570-1 is not prime. Res64: EA4E4F0D7ECB59D7 Time : 0.0 sec. user=mdettweiler [2012-11-03 06:20:24] 845*2^1233570-1 is not prime. Res64: F5F1FA377133AF96 Time : 0.0 sec. user=mdettweiler [2012-11-03 06:34:43] 663*2^1233571-1 is not prime. Res64: 69763B2F1429EBE8 Time : 0.0 sec. user=mdettweiler [2012-11-03 06:34:44] 681*2^1233571-1 is not prime. Res64: 3F30F29AF1B95894 Time : 0.0 sec. user=vaughan [2012-11-03 06:39:10] 891*2^1233570-1 is not prime. Res64: 1ECD5C2B658B2CED Time : 0.0 sec. user=mdettweiler [2012-11-03 06:41:16] 691*2^1233571-1 is not prime. Res64: 751C54FF357BC44E Time : 0.0 sec. user=mdettweiler [2012-11-03 06:41:16] 693*2^1233571-1 is not prime. Res64: 7C1B15287907B5CF Time : 0.0 sec. user=mdettweiler [2012-11-03 06:55:33] 783*2^1233571-1 is not prime. Res64: D2B945CFDDD6FC01 Time : 0.0 sec. user=mdettweiler [2012-11-03 06:55:33] 829*2^1233571-1 is not prime. Res64: B13C6A9E9685C6BB Time : 0.0 sec. user=mdettweiler [2012-11-03 07:02:03] 665*2^1233572-1 is not prime. Res64: 5DF146F6C7590082 Time : 0.0 sec. user=mdettweiler [2012-11-03 07:02:03] 675*2^1233572-1 is not prime. Res64: A2E7669BE2F8E912 Time : 0.0 sec. user=mdettweiler [2012-11-03 07:16:20] 693*2^1233572-1 is not prime. Res64: 46CC7A6EEFD526D3 Time : 0.0 sec. user=mdettweiler [2012-11-03 07:16:20] 725*2^1233572-1 is not prime. Res64: 667AEA039A8485A7 Time : 0.0 sec. user=vaughan [2012-11-03 07:16:51] 861*2^1233571-1 is not prime. Res64: B1D196911C80F616 Time : 0.0 sec. user=mdettweiler [2012-11-03 07:22:50] 797*2^1233572-1 is not prime. Res64: 00F3D2ABFF15B7C9 Time : 0.0 sec. user=mdettweiler [2012-11-03 07:22:51] 903*2^1233572-1 is not prime. Res64: 0E499A36C7C9B4CE Time : 0.0 sec. user=mdettweiler [2012-11-03 07:37:10] 929*2^1233572-1 is not prime. Res64: 19590BE5A805E71E Time : 0.0 sec. user=mdettweiler [2012-11-03 07:37:11] 627*2^1233573-1 is not prime. Res64: AEBE773E502756D4 Time : 0.0 sec. user=mdettweiler [2012-11-03 07:43:37] 789*2^1233573-1 is not prime. Res64: 32D8B918FA2C9AF2 Time : 0.0 sec. user=mdettweiler [2012-11-03 07:43:38] 795*2^1233573-1 is not prime. Res64: BCE24D21D88386B3 Time : 0.0 sec. user=vaughan [2012-11-03 07:54:32] 681*2^1233573-1 is not prime. Res64: F3E4E29E08BBE69F Time : 0.0 sec. user=mdettweiler [2012-11-03 07:57:58] 889*2^1233573-1 is not prime. Res64: 441C29E7BCAA13E5 Time : 0.0 sec. user=mdettweiler [2012-11-03 07:57:59] 605*2^1233574-1 is not prime. Res64: 787CA6F5CAA5A715 Time : 0.0 sec. user=mdettweiler [2012-11-03 08:04:24] 635*2^1233574-1 is not prime. Res64: 74BC27BBF56AFCAD Time : 0.0 sec. user=mdettweiler [2012-11-03 08:04:26] 813*2^1233574-1 is not prime. Res64: DA5804D16535DA29 Time : 0.0 sec. user=mdettweiler [2012-11-03 08:18:49] 965*2^1233574-1 is not prime. Res64: BDD4E5341F476D42 Time : 0.0 sec. user=mdettweiler [2012-11-03 08:18:50] 981*2^1233574-1 is not prime. Res64: 03ACEB301087DFE1 Time : 0.0 sec. user=mdettweiler [2012-11-03 08:25:15] 609*2^1233575-1 is not prime. Res64: 4680866FC30C00B1 Time : 0.0 sec. user=mdettweiler [2012-11-03 08:25:15] 643*2^1233575-1 is not prime. Res64: 3ABFE83E4D2B2644 Time : 0.0 sec. user=vaughan [2012-11-03 08:32:17] 833*2^1233574-1 is not prime. Res64: CD45812E8D1A71BB Time : 0.0 sec. user=mdettweiler [2012-11-03 08:39:46] 651*2^1233575-1 is not prime. Res64: 02CD6E089A9DFDC1 Time : 0.0 sec. user=mdettweiler [2012-11-03 08:39:46] 715*2^1233575-1 is not prime. Res64: 0DD0B8568CC99F6E Time : 0.0 sec. user=mdettweiler [2012-11-03 08:46:02] 789*2^1233575-1 is not prime. Res64: 21BB0F039357EF8C Time : 0.0 sec. user=mdettweiler [2012-11-03 08:46:02] 799*2^1233575-1 is not prime. Res64: A7B814E29113DA41 Time : 0.0 sec. user=mdettweiler [2012-11-03 09:00:33] 913*2^1233575-1 is not prime. Res64: FBA5E0FF42B75D2D Time : 0.0 sec. user=mdettweiler [2012-11-03 09:00:34] 963*2^1233575-1 is not prime. Res64: 6C3C4DD0317895BA Time : 0.0 sec. user=mdettweiler [2012-11-03 09:06:48] 973*2^1233575-1 is not prime. Res64: F9B39F8FABB3853B Time : 0.0 sec. user=mdettweiler [2012-11-03 09:06:50] 635*2^1233576-1 is not prime. Res64: 0E06F904E9DA4810 Time : 0.0 sec. user=vaughan [2012-11-03 09:09:59] 831*2^1233575-1 is not prime. Res64: 42D87D3C7E2FB807 Time : 0.0 sec. user=mdettweiler [2012-11-03 09:21:34] 737*2^1233576-1 is not prime. Res64: AE0FDC2CA6BA0D86 Time : 0.0 sec. user=mdettweiler [2012-11-03 09:21:34] 887*2^1233576-1 is not prime. Res64: 46C0B0E0971344E4 Time : 0.0 sec. user=mdettweiler [2012-11-03 09:27:25] 901*2^1233577-1 is not prime. Res64: 66951D9ED167C418 Time : 0.0 sec. user=mdettweiler [2012-11-03 09:27:36] 933*2^1233576-1 is not prime. Res64: 0DCE2F00F44C4F23 Time : 0.0 sec. user=mdettweiler [2012-11-03 09:27:36] 999*2^1233576-1 is not prime. Res64: E2C638A88A98AA7C Time : 0.0 sec. user=mdettweiler [2012-11-03 09:42:20] 937*2^1233577-1 is not prime. Res64: 791908C7B9A68C9E Time : 0.0 sec. user=mdettweiler [2012-11-03 09:42:21] 975*2^1233577-1 is not prime. Res64: E11B4C4B2842D0DA Time : 0.0 sec. user=vaughan [2012-11-03 09:47:41] 699*2^1233577-1 is not prime. Res64: 986390B137010548 Time : 0.0 sec. user=mdettweiler [2012-11-03 09:59:13] 623*2^1233578-1 is not prime. Res64: E98E8102CC60C3F1 Time : 0.0 sec. user=mdettweiler [2012-11-03 09:59:14] 735*2^1233578-1 is not prime. Res64: 694CDF3B311C3D8C Time : 0.0 sec. user=mdettweiler [2012-11-03 10:03:05] 753*2^1233578-1 is not prime. Res64: 95C74C72D0224B7D Time : 0.0 sec. user=mdettweiler [2012-11-03 10:03:05] 813*2^1233578-1 is not prime. Res64: 67A412D69AE13D5A Time : 0.0 sec. user=mdettweiler [2012-11-03 10:19:58] 893*2^1233578-1 is not prime. Res64: B70DD22700A3B06D Time : 0.0 sec. user=mdettweiler [2012-11-03 10:19:59] 923*2^1233578-1 is not prime. Res64: 00DE6819226BFA68 Time : 0.0 sec. user=mdettweiler [2012-11-03 10:23:51] 945*2^1233578-1 is not prime. Res64: DED8FE5CF01EBF06 Time : 0.0 sec. user=mdettweiler [2012-11-03 10:23:52] 957*2^1233578-1 is not prime. Res64: 1E49E57ECAF8C417 Time : 0.0 sec. user=vaughan [2012-11-03 10:25:23] 837*2^1233578-1 is not prime. Res64: 21D4499A222D688C Time : 0.0 sec. user=mdettweiler [2012-11-03 10:40:48] 971*2^1233578-1 is not prime. Res64: 1AF48B6B80C6B327 Time : 0.0 sec. user=mdettweiler [2012-11-03 10:40:49] 613*2^1233579-1 is not prime. Res64: 036D91EAACE9270D Time : 0.0 sec. user=mdettweiler [2012-11-03 10:44:37] 793*2^1233579-1 is not prime. Res64: 2AC50E5C15BAA3C5 Time : 0.0 sec. user=mdettweiler [2012-11-03 10:44:37] 801*2^1233579-1 is not prime. Res64: 1DD722781EA832F1 Time : 0.0 sec. user=mdettweiler [2012-11-03 11:01:34] 961*2^1233579-1 is not prime. Res64: 7B646AD17A621758 Time : 0.0 sec. user=mdettweiler [2012-11-03 11:01:35] 603*2^1233580-1 is not prime. Res64: 2734F8C50B2A5459 Time : 0.0 sec. user=vaughan [2012-11-03 11:03:06] 955*2^1233579-1 is not prime. Res64: 6ACBC4757032A6EA Time : 0.0 sec. user=mdettweiler [2012-11-03 11:05:21] 719*2^1233580-1 is not prime. Res64: B8759DDE396321A4 Time : 0.0 sec. user=mdettweiler [2012-11-03 11:05:22] 873*2^1233580-1 is not prime. Res64: 68C4D5B89D519C1D Time : 0.0 sec. user=mdettweiler [2012-11-03 11:22:30] 909*2^1233580-1 is not prime. Res64: E883358A58DE7B6A Time : 0.0 sec. user=mdettweiler [2012-11-03 11:22:31] 933*2^1233580-1 is not prime. Res64: 8719ADC715C6CAC2 Time : 0.0 sec. user=mdettweiler [2012-11-03 11:26:07] 727*2^1233581-1 is not prime. Res64: E13C9FCA416ACA5A Time : 0.0 sec. user=mdettweiler [2012-11-03 11:26:08] 825*2^1233581-1 is not prime. Res64: DE4C15B283D85935 Time : 0.0 sec. user=vaughan [2012-11-03 11:40:50] 615*2^1233581-1 is not prime. Res64: E7CBD67AA404B3DA Time : 0.0 sec. user=mdettweiler [2012-11-03 11:43:15] 901*2^1233581-1 is not prime. Res64: B62689538C9823ED Time : 0.0 sec. user=mdettweiler [2012-11-03 11:43:15] 907*2^1233581-1 is not prime. Res64: 5770855614D18156 Time : 0.0 sec. user=mdettweiler [2012-11-03 11:46:51] 927*2^1233581-1 is not prime. Res64: 623B0995096EBC7E Time : 0.0 sec. user=mdettweiler [2012-11-03 11:46:51] 967*2^1233581-1 is not prime. Res64: 799A406B03EB8014 Time : 0.0 sec. user=mdettweiler [2012-11-03 12:03:59] 615*2^1233582-1 is not prime. Res64: F1D1E9037A04F57D Time : 0.0 sec. user=mdettweiler [2012-11-03 12:04:02] 651*2^1233582-1 is not prime. Res64: 4A5190740B61E28C Time : 0.0 sec. user=mdettweiler [2012-11-03 12:07:34] 681*2^1233582-1 is not prime. Res64: C359B7FBFBDA0BCE Time : 0.0 sec. user=mdettweiler [2012-11-03 12:07:35] 875*2^1233582-1 is not prime. Res64: 20E13AD375917577 Time : 0.0 sec. user=vaughan [2012-11-03 12:18:32] 611*2^1233582-1 is not prime. Res64: 8075F94199EB2CA4 Time : 0.0 sec. user=mdettweiler [2012-11-03 12:24:52] 945*2^1233582-1 is not prime. Res64: F6680F2C450BFDE6 Time : 0.0 sec. user=mdettweiler [2012-11-03 12:24:53] 673*2^1233583-1 is not prime. Res64: 4118E2313BCD0386 Time : 0.0 sec. user=mdettweiler [2012-11-03 12:28:19] 703*2^1233583-1 is not prime. Res64: 5508724C86ED3B5C Time : 0.0 sec. user=mdettweiler [2012-11-03 12:28:20] 709*2^1233583-1 is not prime. Res64: 849B3ACEDD82C1ED Time : 0.0 sec. user=mdettweiler [2012-11-03 12:45:36] 849*2^1233583-1 is not prime. Res64: 77C0CC0D80AB0599 Time : 0.0 sec. user=mdettweiler [2012-11-03 12:45:36] 871*2^1233583-1 is not prime. Res64: 2DC3977866989DA7 Time : 0.0 sec. user=mdettweiler [2012-11-03 12:49:03] 873*2^1233583-1 is not prime. Res64: F8CA62B3ACCC960F Time : 0.0 sec. user=mdettweiler [2012-11-03 12:49:03] 933*2^1233583-1 is not prime. Res64: 1669D1D872D3B43B Time : 0.0 sec. user=vaughan [2012-11-03 12:56:25] 751*2^1233583-1 is not prime. Res64: 25E2F5B649C1A7E1 Time : 0.0 sec. user=mdettweiler [2012-11-03 13:06:19] 999*2^1233583-1 is not prime. Res64: C4EE46FC8C2167BA Time : 0.0 sec. user=mdettweiler [2012-11-03 13:06:21] 743*2^1233584-1 is not prime. Res64: C8B389E7D67ECC46 Time : 0.0 sec. user=mdettweiler [2012-11-03 13:09:46] 753*2^1233584-1 is not prime. Res64: D6301E069360173F Time : 0.0 sec. user=mdettweiler [2012-11-03 13:09:46] 827*2^1233584-1 is not prime. Res64: 7C5F60CF9724B0B3 Time : 0.0 sec. user=mdettweiler [2012-11-03 13:27:05] 893*2^1233584-1 is not prime. Res64: 3C71AC3C76F38D0D Time : 0.0 sec. user=mdettweiler [2012-11-03 13:27:05] 787*2^1233585-1 is not prime. Res64: 4F75A8758896B801 Time : 0.0 sec. user=mdettweiler [2012-11-03 13:30:31] 819*2^1233585-1 is not prime. Res64: CDB2A0521E78C3FD Time : 0.0 sec. user=mdettweiler [2012-11-03 13:30:31] 849*2^1233585-1 is not prime. Res64: 32F86890C823FCBB Time : 0.0 sec. user=vaughan [2012-11-03 13:34:05] 857*2^1233584-1 is not prime. Res64: 9A72F81940616F54 Time : 0.0 sec. user=mdettweiler [2012-11-03 13:48:57] 867*2^1233585-1 is not prime. Res64: BAE581EB81A06C17 Time : 0.0 sec. user=mdettweiler [2012-11-03 13:48:58] 937*2^1233585-1 is not prime. Res64: 6E3A339B2B27FED2 Time : 0.0 sec. user=mdettweiler [2012-11-03 13:52:43] 623*2^1233586-1 is not prime. Res64: 953092C8D9FCDBD9 Time : 0.0 sec. user=mdettweiler [2012-11-03 13:52:43] 645*2^1233586-1 is not prime. Res64: EEF06C3A145DFABE Time : 0.0 sec. user=mdettweiler [2012-11-03 14:11:23] 717*2^1233586-1 is not prime. Res64: FCAA4E3CF9D3641D Time : 0.0 sec. user=mdettweiler [2012-11-03 14:11:24] 803*2^1233586-1 is not prime. Res64: 50B2CF7D26F175B3 Time : 0.0 sec. user=vaughan [2012-11-03 14:11:47] 663*2^1233586-1 is not prime. Res64: 43F602070156AD04 Time : 0.0 sec. user=mdettweiler [2012-11-03 14:14:44] 855*2^1233586-1 is not prime. Res64: 21D46CE3F496419B Time : 0.0 sec. user=mdettweiler [2012-11-03 14:14:46] 861*2^1233586-1 is not prime. Res64: 1880ECED06A72D7F Time : 0.0 sec. user=mdettweiler [2012-11-03 14:32:10] 933*2^1233586-1 is not prime. Res64: CA866F08BFEBAA0B Time : 0.0 sec. user=mdettweiler [2012-11-03 14:32:11] 983*2^1233586-1 is not prime. Res64: 3B869524577CD428 Time : 0.0 sec. user=mdettweiler [2012-11-03 14:35:30] 685*2^1233587-1 is not prime. Res64: D781B7610C49EE46 Time : 0.0 sec. user=mdettweiler [2012-11-03 14:35:30] 711*2^1233587-1 is not prime. Res64: 7E7606B626996767 Time : 0.0 sec. user=vaughan [2012-11-03 14:49:30] 993*2^1233586-1 is not prime. Res64: 5E2816A0CE903F6B Time : 0.0 sec. user=mdettweiler [2012-11-03 14:52:59] 759*2^1233587-1 is not prime. Res64: 5E837D9FDA481233 Time : 0.0 sec. user=mdettweiler [2012-11-03 14:53:00] 915*2^1233587-1 is not prime. Res64: 12E58B1A695BD965 Time : 0.0 sec. user=mdettweiler [2012-11-03 14:56:17] 993*2^1233587-1 is not prime. Res64: F9CCC6E8A4968C21 Time : 0.0 sec. user=mdettweiler [2012-11-03 14:56:18] 723*2^1233588-1 is not prime. Res64: DBE49854F3DA000F Time : 0.0 sec. user=mdettweiler [2012-11-03 15:13:47] 845*2^1233588-1 is not prime. Res64: 4FB1D8A7A6F40DC7 Time : 0.0 sec. user=mdettweiler [2012-11-03 15:13:50] 879*2^1233588-1 is not prime. Res64: 4ED06DCDD739D42E Time : 0.0 sec. user=mdettweiler [2012-11-03 15:17:02] 905*2^1233588-1 is not prime. Res64: 9BE7840EAB60BA80 Time : 0.0 sec. user=mdettweiler [2012-11-03 15:17:04] 759*2^1233589-1 is not prime. Res64: 1EAA36940F479E4A Time : 0.0 sec. user=vaughan [2012-11-03 15:27:13] 737*2^1233588-1 is not prime. Res64: D23C9ECF52FDAC20 Time : 0.0 sec. user=mdettweiler [2012-11-03 15:34:57] 775*2^1233589-1 is not prime. Res64: 351D7C050937CA6F Time : 0.0 sec. user=mdettweiler [2012-11-03 15:34:57] 867*2^1233589-1 is not prime. Res64: F3AB9ABE7EBBC60D Time : 0.0 sec. user=mdettweiler [2012-11-03 15:37:54] 931*2^1233589-1 is not prime. Res64: 4033C5917F0639D8 Time : 0.0 sec. user=mdettweiler [2012-11-03 15:37:54] 987*2^1233589-1 is not prime. Res64: 6CBFCE5B49F5EEEC Time : 0.0 sec. user=mdettweiler [2012-11-03 15:56:43] 663*2^1233590-1 is not prime. Res64: 9215D2744D55EE38 Time : 0.0 sec. user=mdettweiler [2012-11-03 15:56:43] 785*2^1233590-1 is not prime. Res64: 1933A0EE2408D55E Time : 0.0 sec. user=mdettweiler [2012-11-03 15:59:57] 935*2^1233590-1 is not prime. Res64: 8DFC8E98CF438124 Time : 0.0 sec. user=mdettweiler [2012-11-03 15:59:57] 619*2^1233591-1 is not prime. Res64: DDFDA0933BF0E877 Time : 0.0 sec. user=vaughan [2012-11-03 16:04:55] 627*2^1233590-1 is not prime. Res64: CCF2A3ABE69207C7 Time : 0.0 sec. user=mdettweiler [2012-11-03 16:18:07] 643*2^1233591-1 is not prime. Res64: 5DA9A4B787AE7EA4 Time : 0.0 sec. user=mdettweiler [2012-11-03 16:18:08] 879*2^1233591-1 is not prime. Res64: 6407E32171C498DE Time : 0.0 sec. user=mdettweiler [2012-11-03 16:21:11] 955*2^1233591-1 is not prime. Res64: 99184B6F76C4FF27 Time : 0.0 sec. user=mdettweiler [2012-11-03 16:21:11] 603*2^1233592-1 is not prime. Res64: 1C7483ABCD6DF338 Time : 0.0 sec. user=mdettweiler [2012-11-03 16:39:21] 909*2^1233592-1 is not prime. Res64: F45248E94C451F99 Time : 0.0 sec. user=mdettweiler [2012-11-03 16:39:21] 983*2^1233592-1 is not prime. Res64: 2E84B814C5AC1717 Time : 0.0 sec. user=mdettweiler [2012-11-03 16:42:09] 735*2^1233593-1 is not prime. Res64: B73C3DC158E67078 Time : 0.0 sec. user=mdettweiler [2012-11-03 16:42:09] 831*2^1233593-1 is not prime. Res64: 85725161C336CCA7 Time : 0.0 sec. user=vaughan [2012-11-03 16:42:39] 717*2^1233592-1 is not prime. Res64: FBA2678304CCB055 Time : 0.0 sec. user=mdettweiler [2012-11-03 17:00:33] 949*2^1233593-1 is not prime. Res64: 325C282307450E9F Time : 0.0 sec. user=mdettweiler [2012-11-03 17:00:34] 955*2^1233593-1 is not prime. Res64: FA73E634567E5756 Time : 0.0 sec. user=mdettweiler [2012-11-03 17:03:23] 707*2^1233594-1 is not prime. Res64: 01554AD33065D97F Time : 0.0 sec. user=mdettweiler [2012-11-03 17:03:24] 717*2^1233594-1 is not prime. Res64: F5A6BD1A95C65838 Time : 0.0 sec. user=vaughan [2012-11-03 17:20:22] 815*2^1233594-1 is not prime. Res64: 4D347E3D58C75D1E Time : 0.0 sec. user=mdettweiler [2012-11-03 17:22:06] 917*2^1233594-1 is not prime. Res64: A2CB2B01EE9036E0 Time : 0.0 sec. user=mdettweiler [2012-11-03 17:22:07] 983*2^1233594-1 is not prime. Res64: B843B3AE7F8D279B Time : 0.0 sec. user=mdettweiler [2012-11-03 17:24:43] 649*2^1233595-1 is not prime. Res64: 7340E0F91C175FF7 Time : 0.0 sec. user=mdettweiler [2012-11-03 17:24:43] 853*2^1233595-1 is not prime. Res64: 737A20D8FF076E4F Time : 0.0 sec. user=mdettweiler [2012-11-03 17:43:12] 861*2^1233595-1 is not prime. Res64: 566D5E5E95EC984B Time : 0.0 sec. user=mdettweiler [2012-11-03 17:43:13] 871*2^1233595-1 is not prime. Res64: 54A07AC881CF8C86 Time : 0.0 sec. user=mdettweiler [2012-11-03 17:45:46] 925*2^1233595-1 is not prime. Res64: 01ABA3F132CDEC6F Time : 0.0 sec. user=mdettweiler [2012-11-03 17:45:47] 951*2^1233595-1 is not prime. Res64: 1DF6712D782F899A Time : 0.0 sec. user=vaughan [2012-11-03 17:58:06] 859*2^1233595-1 is not prime. Res64: 0F4DBFAC1A0003B0 Time : 0.0 sec. user=mdettweiler [2012-11-03 18:03:58] 999*2^1233595-1 is not prime. Res64: F40FFDA2E2134BC4 Time : 0.0 sec. user=mdettweiler [2012-11-03 18:03:59] 735*2^1233596-1 is not prime. Res64: 2CB62D36FCF6C6FC Time : 0.0 sec. user=mdettweiler [2012-11-03 18:06:31] 777*2^1233596-1 is not prime. Res64: C3661225A7D545EF Time : 0.0 sec. user=mdettweiler [2012-11-03 18:06:32] 903*2^1233596-1 is not prime. Res64: 0D91B2E04AE9B7A7 Time : 0.0 sec. user=mdettweiler [2012-11-03 18:24:48] 859*2^1233597-1 is not prime. Res64: 95BEB3658D3FD473 Time : 0.0 sec. user=mdettweiler [2012-11-03 18:24:49] 871*2^1233597-1 is not prime. Res64: DB901009BDA39FBE Time : 0.0 sec. user=mdettweiler [2012-11-03 18:27:22] 889*2^1233597-1 is not prime. Res64: E747F2EE5771F4F0 Time : 0.0 sec. user=mdettweiler [2012-11-03 18:27:22] 621*2^1233598-1 is not prime. Res64: 7A14B6A01FFC01FB Time : 0.0 sec. user=vaughan [2012-11-03 18:35:48] 625*2^1233597-1 is not prime. Res64: E043F58633A1BFE5 Time : 0.0 sec. user=mdettweiler [2012-11-03 18:45:46] 657*2^1233598-1 is not prime. Res64: 45B5FBB525A54BF2 Time : 0.0 sec. user=mdettweiler [2012-11-03 18:45:47] 777*2^1233598-1 is not prime. Res64: 6D799770AA6F3A70 Time : 0.0 sec. user=mdettweiler [2012-11-03 18:48:20] 827*2^1233598-1 is not prime. Res64: 162F0CCD0A4ACB0D Time : 0.0 sec. user=mdettweiler [2012-11-03 18:48:21] 885*2^1233598-1 is not prime. Res64: B2F96477FD26D7EB Time : 0.0 sec. user=mdettweiler [2012-11-03 19:06:43] 897*2^1233598-1 is not prime. Res64: 633B59B85BD7C144 Time : 0.0 sec. user=mdettweiler [2012-11-03 19:06:44] 945*2^1233598-1 is not prime. Res64: B69E5C94936F9583 Time : 0.0 sec. user=mdettweiler [2012-11-03 19:09:16] 987*2^1233598-1 is not prime. Res64: AFEC3BAFE2177899 Time : 0.0 sec. user=mdettweiler [2012-11-03 19:09:17] 601*2^1233599-1 is not prime. Res64: BF17F7FCBE241C15 Time : 0.0 sec. user=vaughan [2012-11-03 19:13:28] 891*2^1233598-1 is not prime. Res64: 1FEB7EBFD89DC56F Time : 0.0 sec. user=mdettweiler [2012-11-03 19:27:43] 633*2^1233599-1 is not prime. Res64: 07AACF6591BA0AE0 Time : 0.0 sec. user=mdettweiler [2012-11-03 19:27:44] 663*2^1233599-1 is not prime. Res64: 583648B15540A7ED Time : 0.0 sec. user=mdettweiler [2012-11-03 19:30:12] 669*2^1233599-1 is not prime. Res64: 163806922E20BB89 Time : 0.0 sec. user=mdettweiler [2012-11-03 19:30:13] 711*2^1233599-1 is not prime. Res64: C7F46D820987BC0A Time : 0.0 sec. user=mdettweiler [2012-11-03 19:48:54] 799*2^1233599-1 is not prime. Res64: B1834C31008E4EC2 Time : 0.0 sec. user=mdettweiler [2012-11-03 19:48:54] 825*2^1233599-1 is not prime. Res64: AE02696E5F3EA0E4 Time : 0.0 sec. user=vaughan [2012-11-03 19:51:12] 735*2^1233599-1 is not prime. Res64: 15B11910FAE5AD1E Time : 0.0 sec. user=mdettweiler [2012-11-03 19:51:24] 949*2^1233599-1 is not prime. Res64: C76F33CBE0DF4F03 Time : 0.0 sec. user=mdettweiler [2012-11-03 19:51:24] 985*2^1233599-1 is not prime. Res64: 1F339D80AB141E45 Time : 0.0 sec. user=mdettweiler [2012-11-03 20:09:51] 615*2^1233600-1 is not prime. Res64: 23DC6DB1B9F24C9A Time : 0.0 sec. user=mdettweiler [2012-11-03 20:09:53] 707*2^1233600-1 is not prime. Res64: E83AEDE883D6286E Time : 0.0 sec. user=mdettweiler [2012-11-03 20:12:18] 779*2^1233600-1 is not prime. Res64: 1813B555FA1A79A7 Time : 0.0 sec. user=mdettweiler [2012-11-03 20:12:18] 839*2^1233600-1 is not prime. Res64: F365DF52BDEF5776 Time : 0.0 sec. user=vaughan [2012-11-03 20:28:52] 713*2^1233600-1 is not prime. Res64: 35307CDC11255714 Time : 0.0 sec. user=mdettweiler [2012-11-03 20:30:50] 873*2^1233600-1 is not prime. Res64: ACEF628A31662DB3 Time : 0.0 sec. user=mdettweiler [2012-11-03 20:30:51] 927*2^1233600-1 is not prime. Res64: C071CB3913FD348F Time : 0.0 sec. user=mdettweiler [2012-11-03 20:33:09] 929*2^1233600-1 is not prime. Res64: 8C092A34E264A3B8 Time : 0.0 sec. user=mdettweiler [2012-11-03 20:33:10] 945*2^1233600-1 is not prime. Res64: ED14B84EA3B0BD52 Time : 0.0 sec. user=mdettweiler [2012-11-03 20:51:42] 751*2^1233601-1 is not prime. Res64: B84DABDFD1596C4A Time : 0.0 sec. user=mdettweiler [2012-11-03 20:51:42] 777*2^1233601-1 is not prime. Res64: C67D75BE8C3F5F4A Time : 0.0 sec. user=mdettweiler [2012-11-03 20:54:01] 925*2^1233601-1 is not prime. Res64: 929D2E6B28043C43 Time : 0.0 sec. user=mdettweiler [2012-11-03 20:54:02] 945*2^1233601-1 is not prime. Res64: DEF4161E4C85AD81 Time : 0.0 sec. user=vaughan [2012-11-03 21:06:34] 625*2^1233601-1 is not prime. Res64: C8FB3818AE03F470 Time : 0.0 sec. user=mdettweiler [2012-11-03 21:12:35] 955*2^1233601-1 is not prime. Res64: 4CC3A9BD073BB6B0 Time : 0.0 sec. user=mdettweiler [2012-11-03 21:12:36] 981*2^1233601-1 is not prime. Res64: FD4F3404DCDF6A16 Time : 0.0 sec. user=mdettweiler [2012-11-03 21:14:56] 657*2^1233602-1 is not prime. Res64: 4ADB9F4E831E27EA Time : 0.0 sec. user=mdettweiler [2012-11-03 21:15:00] 747*2^1233602-1 is not prime. Res64: 10F80398CF3B09E1 Time : 0.0 sec. user=mdettweiler [2012-11-03 21:33:43] 833*2^1233602-1 is not prime. Res64: 09AF116E0F96DB0B Time : 0.0 sec. user=mdettweiler [2012-11-03 21:33:43] 843*2^1233602-1 is not prime. Res64: 781A8D8EA783A59F Time : 0.0 sec. user=mdettweiler [2012-11-03 21:36:14] 893*2^1233602-1 is not prime. Res64: DC4122DBAE4989BC Time : 0.0 sec. user=mdettweiler [2012-11-03 21:36:14] 903*2^1233602-1 is not prime. Res64: 2A92B510CD9CB3B8 Time : 0.0 sec. user=vaughan [2012-11-03 21:44:23] 755*2^1233602-1 is not prime. Res64: 1DB0BEC35FC94B6D Time : 0.0 sec. user=mdettweiler [2012-11-03 21:54:48] 911*2^1233602-1 is not prime. Res64: 39A27E90EC5BC705 Time : 0.0 sec. user=mdettweiler [2012-11-03 21:54:49] 921*2^1233602-1 is not prime. Res64: 260D7D8760C61F92 Time : 0.0 sec. user=mdettweiler [2012-11-03 21:57:18] 923*2^1233602-1 is not prime. Res64: FB3F7FECAF231FED Time : 0.0 sec. user=mdettweiler [2012-11-03 21:57:18] 953*2^1233602-1 is not prime. Res64: C81FF5138DFF1F4B Time : 0.0 sec. user=mdettweiler [2012-11-03 22:16:03] 649*2^1233603-1 is not prime. Res64: 5A4C3EF2C00EDBAE Time : 0.0 sec. user=mdettweiler [2012-11-03 22:16:05] 685*2^1233603-1 is not prime. Res64: 1AB1EF36A680F5B9 Time : 0.0 sec. user=mdettweiler [2012-11-03 22:18:26] 703*2^1233603-1 is not prime. Res64: 7310BB529777B8DB Time : 0.0 sec. user=mdettweiler [2012-11-03 22:18:27] 801*2^1233603-1 is not prime. Res64: 0D8FE85616E0B3DF Time : 0.0 sec. user=vaughan [2012-11-03 22:22:01] 957*2^1233602-1 is not prime. Res64: EEC6DC375EE6CD2B Time : 0.0 sec. user=mdettweiler [2012-11-03 22:37:56] 805*2^1233603-1 is not prime. Res64: E7E327C4A2D39AF5 Time : 0.0 sec. user=mdettweiler [2012-11-03 22:37:56] 985*2^1233603-1 is not prime. Res64: F4F15F7C7CC5184F Time : 0.0 sec. user=mdettweiler [2012-11-03 22:39:18] 615*2^1233604-1 is not prime. Res64: 141DCB096D488A0B Time : 0.0 sec. user=mdettweiler [2012-11-03 22:39:18] 705*2^1233604-1 is not prime. Res64: 3679A16113B32E10 Time : 0.0 sec. user=mdettweiler [2012-11-03 22:58:42] 869*2^1233604-1 is not prime. Res64: 60797E979F929068 Time : 0.0 sec. user=mdettweiler [2012-11-03 22:58:43] 887*2^1233604-1 is not prime. Res64: 345C29D6FB504D0C Time : 0.0 sec. user=vaughan [2012-11-03 22:59:46] 765*2^1233604-1 is not prime. Res64: 2D6F4270CA8DA1D5 Time : 0.0 sec. user=mdettweiler [2012-11-03 23:00:05] 927*2^1233604-1 is not prime. Res64: 8DA5C1E58CB73FBA Time : 0.0 sec. user=mdettweiler [2012-11-03 23:00:06] 645*2^1233605-1 is not prime. Res64: 990CB2C4DE51ED8D Time : 0.0 sec. user=mdettweiler [2012-11-03 23:19:32] 675*2^1233605-1 is not prime. Res64: 398332B7D2DDCCA1 Time : 0.0 sec. user=mdettweiler [2012-11-03 23:19:33] 697*2^1233605-1 is not prime. Res64: E3BBE883B17BC057 Time : 0.0 sec. user=mdettweiler [2012-11-03 23:20:54] 787*2^1233605-1 is not prime. Res64: 29B8D39303474157 Time : 0.0 sec. user=mdettweiler [2012-11-03 23:20:55] 795*2^1233605-1 is not prime. Res64: 05D634AA9A6B5A2C Time : 0.0 sec. user=vaughan [2012-11-03 23:37:29] 775*2^1233605-1 is not prime. Res64: 76EE159271A09B48 Time : 0.0 sec. user=mdettweiler [2012-11-03 23:40:29] 825*2^1233605-1 is not prime. Res64: 8958E3E4B538D72C Time : 0.0 sec. user=mdettweiler [2012-11-03 23:40:29] 861*2^1233605-1 is not prime. Res64: EB53ED08F231FC6E Time : 0.0 sec. user=mdettweiler [2012-11-03 23:41:43] 871*2^1233605-1 is not prime. Res64: 048ADE1FB80C4A7F Time : 0.0 sec. user=mdettweiler [2012-11-03 23:41:44] 887*2^1233606-1 is not prime. Res64: BB64DD9D3FF7FF86 Time : 0.0 sec.