user=mdettweiler [2016-09-14 00:01:39] 797*2^1439680-1 is not prime. Res64: 9353D9C7C8CD9D41 Time : 0.0 sec. user=mdettweiler [2016-09-14 00:01:40] 863*2^1439680-1 is not prime. Res64: B6799D8EEF3CFEAF Time : 0.0 sec. user=mdettweiler [2016-09-14 00:01:40] 927*2^1439680-1 is not prime. Res64: 4DAA0DB5D350517A Time : 0.0 sec. user=mdettweiler [2016-09-14 00:01:40] 929*2^1439680-1 is not prime. Res64: A4CAF70EE825EAD4 Time : 0.0 sec. user=mdettweiler [2016-09-14 00:01:40] 645*2^1439681-1 is not prime. Res64: F7774CC80E69B212 Time : 0.0 sec. user=mdettweiler [2016-09-14 00:28:30] 741*2^1439681-1 is not prime. Res64: 392A4AF647710724 Time : 0.0 sec. user=mdettweiler [2016-09-14 00:28:30] 769*2^1439681-1 is not prime. Res64: 21C3771F13C8E8E3 Time : 0.0 sec. user=mdettweiler [2016-09-14 00:28:30] 795*2^1439681-1 is not prime. Res64: 46D17D28B2720B21 Time : 0.0 sec. user=mdettweiler [2016-09-14 00:28:30] 811*2^1439681-1 is not prime. Res64: 3E85EED389A5E167 Time : 0.0 sec. user=mdettweiler [2016-09-14 00:28:31] 925*2^1439681-1 is not prime. Res64: 6AF1C92A6F61D526 Time : 0.0 sec. user=mdettweiler [2016-09-14 00:38:21] 633*2^1439682-1 is not prime. Res64: 25AEE95196639864 Time : 0.0 sec. user=mdettweiler [2016-09-14 00:38:21] 725*2^1439682-1 is not prime. Res64: 43B62E90358676E8 Time : 0.0 sec. user=mdettweiler [2016-09-14 00:38:22] 821*2^1439682-1 is not prime. Res64: F4D07130D8033CA4 Time : 0.0 sec. user=mdettweiler [2016-09-14 00:38:22] 893*2^1439682-1 is not prime. Res64: 2A652D2BCA382D59 Time : 0.0 sec. user=mdettweiler [2016-09-14 00:38:22] 941*2^1439682-1 is not prime. Res64: 417C5A5F71E8F5CA Time : 0.0 sec. user=mdettweiler [2016-09-14 00:46:18] 769*2^1439683-1 is not prime. Res64: 1AD26A7960B271E2 Time : 0.0 sec. user=mdettweiler [2016-09-14 00:46:18] 961*2^1439683-1 is not prime. Res64: 695F52A8AF199A3D Time : 0.0 sec. user=mdettweiler [2016-09-14 00:46:18] 605*2^1439684-1 is not prime. Res64: B6D996A6DE0CBC94 Time : 0.0 sec. user=mdettweiler [2016-09-14 00:46:19] 635*2^1439684-1 is not prime. Res64: 0D2F8F4988117520 Time : 0.0 sec. user=mdettweiler [2016-09-14 00:46:19] 675*2^1439684-1 is not prime. Res64: 1F788F683338935B Time : 0.0 sec. user=mdettweiler [2016-09-14 01:13:21] 683*2^1439684-1 is not prime. Res64: 1C3AAB07B13F633A Time : 0.0 sec. user=mdettweiler [2016-09-14 01:13:21] 687*2^1439684-1 is not prime. Res64: EB36ADA817D4B38C Time : 0.0 sec. user=mdettweiler [2016-09-14 01:13:22] 717*2^1439684-1 is not prime. Res64: 9102FD679F8D7BF0 Time : 0.0 sec. user=mdettweiler [2016-09-14 01:13:22] 813*2^1439684-1 is not prime. Res64: 16296C1F6E9613EA Time : 0.0 sec. user=mdettweiler [2016-09-14 01:13:22] 875*2^1439684-1 is not prime. Res64: C199B505A9FEBAC3 Time : 0.0 sec. user=mdettweiler [2016-09-14 01:23:53] 625*2^1439685-1 is not prime. Res64: F6A81FFD9043CA7D Time : 0.0 sec. user=mdettweiler [2016-09-14 01:23:54] 627*2^1439685-1 is not prime. Res64: F914230B64C147D4 Time : 0.0 sec. user=mdettweiler [2016-09-14 01:23:54] 655*2^1439685-1 is not prime. Res64: 049694620AEE840B Time : 0.0 sec. user=mdettweiler [2016-09-14 01:23:54] 727*2^1439685-1 is not prime. Res64: 4BC794ECC3B68C01 Time : 0.0 sec. user=mdettweiler [2016-09-14 01:23:54] 781*2^1439685-1 is not prime. Res64: 3CF4879D2C7552D1 Time : 0.0 sec. user=mdettweiler [2016-09-14 01:32:49] 805*2^1439685-1 is not prime. Res64: AEA5EC45D197D694 Time : 0.0 sec. user=mdettweiler [2016-09-14 01:32:52] 817*2^1439685-1 is not prime. Res64: E3B1A85347EA301B Time : 0.0 sec. user=mdettweiler [2016-09-14 01:32:53] 825*2^1439685-1 is not prime. Res64: FCA0FC8CECBA9DB5 Time : 0.0 sec. user=mdettweiler [2016-09-14 01:32:54] 831*2^1439685-1 is not prime. Res64: 65B41279A22857E5 Time : 0.0 sec. user=mdettweiler [2016-09-14 01:32:56] 969*2^1439685-1 is not prime. Res64: 1B5A865E1D033A33 Time : 0.0 sec. user=mdettweiler [2016-09-14 02:01:10] 717*2^1439686-1 is not prime. Res64: 8833F8513F48BBF6 Time : 0.0 sec. user=mdettweiler [2016-09-14 02:01:13] 843*2^1439686-1 is not prime. Res64: 4D3FDAC8D67AE643 Time : 0.0 sec. user=mdettweiler [2016-09-14 02:01:15] 873*2^1439686-1 is not prime. Res64: D880B366694AA65F Time : 0.0 sec. user=mdettweiler [2016-09-14 02:01:16] 923*2^1439686-1 is not prime. Res64: DAF94D0E4F1536DD Time : 0.0 sec. user=mdettweiler [2016-09-14 02:01:16] 945*2^1439686-1 is not prime. Res64: 4D0299114557B627 Time : 0.0 sec. user=mdettweiler [2016-09-14 02:12:24] 993*2^1439686-1 is not prime. Res64: 7B5F2E6CAE5F4878 Time : 0.0 sec. user=mdettweiler [2016-09-14 02:12:24] 619*2^1439687-1 is not prime. Res64: 40C68B24DEF9ADDE Time : 0.0 sec. user=mdettweiler [2016-09-14 02:12:25] 633*2^1439687-1 is not prime. Res64: 94A6F414DC4B36CB Time : 0.0 sec. user=mdettweiler [2016-09-14 02:12:25] 735*2^1439687-1 is not prime. Res64: CA8CF43097DCF785 Time : 0.0 sec. user=mdettweiler [2016-09-14 02:12:25] 759*2^1439687-1 is not prime. Res64: 844606087800A8CC Time : 0.0 sec. user=mdettweiler [2016-09-14 02:22:32] 901*2^1439687-1 is not prime. Res64: BFD56E7EEEA299BB Time : 0.0 sec. user=mdettweiler [2016-09-14 02:22:32] 963*2^1439687-1 is not prime. Res64: 6275496AA07D93D0 Time : 0.0 sec. user=mdettweiler [2016-09-14 02:22:32] 993*2^1439687-1 is not prime. Res64: 848770DA7A9FD21A Time : 0.0 sec. user=mdettweiler [2016-09-14 02:22:32] 665*2^1439688-1 is not prime. Res64: 2B2F51B3F024E4A1 Time : 0.0 sec. user=mdettweiler [2016-09-14 02:22:33] 695*2^1439688-1 is not prime. Res64: 60A93A07459EFB4D Time : 0.0 sec. user=mdettweiler [2016-09-14 02:49:47] 839*2^1439688-1 is not prime. Res64: B8082409946F6D5A Time : 0.0 sec. user=mdettweiler [2016-09-14 02:49:47] 909*2^1439688-1 is not prime. Res64: B1CCADED21FA10FC Time : 0.0 sec. user=mdettweiler [2016-09-14 02:49:48] 933*2^1439688-1 is not prime. Res64: 9F231FA45A2D16C0 Time : 0.0 sec. user=mdettweiler [2016-09-14 02:49:48] 675*2^1439689-1 is not prime. Res64: 91C3809DDF3DC221 Time : 0.0 sec. user=mdettweiler [2016-09-14 02:49:48] 681*2^1439689-1 is not prime. Res64: 27B9F146CACBFD0C Time : 0.0 sec. user=mdettweiler [2016-09-14 02:59:34] 691*2^1439689-1 is not prime. Res64: D31604AC3A9B9DCC Time : 0.0 sec. user=mdettweiler [2016-09-14 02:59:35] 705*2^1439689-1 is not prime. Res64: 838D2F9A48813933 Time : 0.0 sec. user=mdettweiler [2016-09-14 02:59:35] 729*2^1439689-1 is not prime. Res64: 1F85C342BF57A0A0 Time : 0.0 sec. user=mdettweiler [2016-09-14 02:59:35] 747*2^1439689-1 is not prime. Res64: 89CBF08B617BCF5B Time : 0.0 sec. user=mdettweiler [2016-09-14 02:59:35] 895*2^1439689-1 is not prime. Res64: F11BAA9344DA09C7 Time : 0.0 sec. user=mdettweiler [2016-09-14 03:10:21] 951*2^1439689-1 is not prime. Res64: 249C2B0A1716BC5C Time : 0.0 sec. user=mdettweiler [2016-09-14 03:10:21] 755*2^1439690-1 is not prime. Res64: F0B486D227951CFB Time : 0.0 sec. user=mdettweiler [2016-09-14 03:10:21] 797*2^1439690-1 is not prime. Res64: E3E568D64FB7D162 Time : 0.0 sec. user=mdettweiler [2016-09-14 03:10:22] 867*2^1439690-1 is not prime. Res64: 258B463FA1FFA590 Time : 0.0 sec. user=mdettweiler [2016-09-14 03:10:22] 875*2^1439690-1 is not prime. Res64: 9CC6943A5CD4CFE1 Time : 0.0 sec. user=mdettweiler [2016-09-14 03:36:25] 705*2^1439691-1 is not prime. Res64: 184F2F3176B240E0 Time : 0.0 sec. user=mdettweiler [2016-09-14 03:36:27] 709*2^1439691-1 is not prime. Res64: 3F8F64B9C55C71BB Time : 0.0 sec. user=mdettweiler [2016-09-14 03:36:28] 723*2^1439691-1 is not prime. Res64: 90B8F27921E65FA5 Time : 0.0 sec. user=mdettweiler [2016-09-14 03:36:28] 805*2^1439691-1 is not prime. Res64: CE0265C7C05F40F4 Time : 0.0 sec. user=mdettweiler [2016-09-14 03:36:29] 859*2^1439691-1 is not prime. Res64: 1701CB1690921978 Time : 0.0 sec. user=mdettweiler [2016-09-14 03:47:09] 871*2^1439691-1 is not prime. Res64: 2F1F17B4F2A2B4F1 Time : 0.0 sec. user=mdettweiler [2016-09-14 03:47:11] 955*2^1439691-1 is not prime. Res64: C2D4CF5C1CB33D9E Time : 0.0 sec. user=mdettweiler [2016-09-14 03:47:12] 961*2^1439691-1 is not prime. Res64: FDC3F82DBB1290A6 Time : 0.0 sec. user=mdettweiler [2016-09-14 03:47:13] 975*2^1439691-1 is not prime. Res64: 084FC76787EA8533 Time : 0.0 sec. user=mdettweiler [2016-09-14 03:47:14] 605*2^1439692-1 is not prime. Res64: 82A7C5FEEA2DA13B Time : 0.0 sec. user=mdettweiler [2016-09-14 04:02:34] 647*2^1439692-1 is not prime. Res64: D3D0FB26A3221BE2 Time : 0.0 sec. user=mdettweiler [2016-09-14 04:02:36] 675*2^1439692-1 is not prime. Res64: CB90CC24C98EFAB7 Time : 0.0 sec. user=mdettweiler [2016-09-14 04:02:37] 735*2^1439692-1 is not prime. Res64: DA1CBBF3206A9518 Time : 0.0 sec. user=mdettweiler [2016-09-14 04:02:38] 813*2^1439692-1 is not prime. Res64: 1E2102283A01C873 Time : 0.0 sec. user=mdettweiler [2016-09-14 04:02:39] 833*2^1439692-1 is not prime. Res64: 7ABCBCFFD26BE319 Time : 0.0 sec. user=mdettweiler [2016-09-14 04:27:13] 843*2^1439692-1 is not prime. Res64: DD2D57B59C9BF177 Time : 0.0 sec. user=mdettweiler [2016-09-14 04:27:13] 929*2^1439692-1 is not prime. Res64: 271640088661B3C5 Time : 0.0 sec. user=mdettweiler [2016-09-14 04:27:13] 607*2^1439693-1 is not prime. Res64: 01A178F82ABCDB24 Time : 0.0 sec. user=mdettweiler [2016-09-14 04:27:14] 675*2^1439693-1 is not prime. Res64: B666FCE2718F191D Time : 0.0 sec. user=mdettweiler [2016-09-14 04:27:14] 735*2^1439693-1 is not prime. Res64: 526F829B31DE9D99 Time : 0.0 sec. user=mdettweiler [2016-09-14 04:35:34] 745*2^1439693-1 is not prime. Res64: 42A932F99DD02A6E Time : 0.0 sec. user=mdettweiler [2016-09-14 04:35:34] 789*2^1439693-1 is not prime. Res64: 9307CB9EF77B0888 Time : 0.0 sec. user=mdettweiler [2016-09-14 04:35:34] 711*2^1439694-1 is not prime. Res64: CBD777EA8E42CBCA Time : 0.0 sec. user=mdettweiler [2016-09-14 04:35:34] 851*2^1439694-1 is not prime. Res64: 02EE5EA4BBC535B0 Time : 0.0 sec. user=mdettweiler [2016-09-14 04:35:35] 881*2^1439694-1 is not prime. Res64: 6BED33B42B27EBD4 Time : 0.0 sec. user=mdettweiler [2016-09-14 04:49:37] 891*2^1439694-1 is not prime. Res64: ED40BAEED2C04E04 Time : 0.0 sec. user=mdettweiler [2016-09-14 04:49:37] 965*2^1439694-1 is not prime. Res64: 7FC2A9A2B6ABABB3 Time : 0.0 sec. user=mdettweiler [2016-09-14 04:49:38] 1001*2^1439694-1 is not prime. Res64: BF3E273997A05AB2 Time : 0.0 sec. user=mdettweiler [2016-09-14 04:49:38] 651*2^1439695-1 is not prime. Res64: 5C9BF6FF2CAA9C2D Time : 0.0 sec. user=mdettweiler [2016-09-14 04:49:38] 661*2^1439695-1 is not prime. Res64: 5BED5198CB5DAD43 Time : 0.0 sec. user=mdettweiler [2016-09-14 05:12:31] 693*2^1439695-1 is not prime. Res64: 9ABA3397C722A3DD Time : 0.0 sec. user=mdettweiler [2016-09-14 05:12:32] 705*2^1439695-1 is not prime. Res64: 3609460F4768537B Time : 0.0 sec. user=mdettweiler [2016-09-14 05:12:32] 723*2^1439695-1 is not prime. Res64: 03DC3264EBC654BF Time : 0.0 sec. user=mdettweiler [2016-09-14 05:12:32] 883*2^1439695-1 is not prime. Res64: 7869B8B0237AF785 Time : 0.0 sec. user=mdettweiler [2016-09-14 05:12:32] 891*2^1439695-1 is not prime. Res64: 8434C968E23CB4B7 Time : 0.0 sec. user=mdettweiler [2016-09-14 05:20:26] 725*2^1439696-1 is not prime. Res64: 012517F8A2EE3C95 Time : 0.0 sec. user=mdettweiler [2016-09-14 05:20:27] 755*2^1439696-1 is not prime. Res64: E6F9074A9D232B2F Time : 0.0 sec. user=mdettweiler [2016-09-14 05:20:27] 813*2^1439696-1 is not prime. Res64: DDD7B7AB4F692DB0 Time : 0.0 sec. user=mdettweiler [2016-09-14 05:20:27] 825*2^1439696-1 is not prime. Res64: 1388C5A0FAC91810 Time : 0.0 sec. user=mdettweiler [2016-09-14 05:20:27] 839*2^1439696-1 is not prime. Res64: 7FF3BA6E11F04500 Time : 0.0 sec. user=mdettweiler [2016-09-14 05:34:20] 857*2^1439696-1 is not prime. Res64: B27C267A77C14BB5 Time : 0.0 sec. user=mdettweiler [2016-09-14 05:34:20] 957*2^1439696-1 is not prime. Res64: 48C9E73D106A8B65 Time : 0.0 sec. user=mdettweiler [2016-09-14 05:34:20] 983*2^1439696-1 is not prime. Res64: CF53A8FF25AD7819 Time : 0.0 sec. user=mdettweiler [2016-09-14 05:34:20] 649*2^1439697-1 is not prime. Res64: 703FED53DFAF2218 Time : 0.0 sec. user=mdettweiler [2016-09-14 05:34:20] 741*2^1439697-1 is not prime. Res64: 1025790B37EDD2B5 Time : 0.0 sec. user=mdettweiler [2016-09-14 05:57:09] 765*2^1439697-1 is not prime. Res64: 623B86EDCDBE5409 Time : 0.0 sec. user=mdettweiler [2016-09-14 05:57:09] 617*2^1439698-1 is not prime. Res64: 5E6AF79B0C6EABAC Time : 0.0 sec. user=mdettweiler [2016-09-14 05:57:09] 647*2^1439698-1 is not prime. Res64: AB60DEE61AA11DA7 Time : 0.0 sec. user=mdettweiler [2016-09-14 05:57:09] 665*2^1439698-1 is not prime. Res64: A5DF895BACFEB69B Time : 0.0 sec. user=mdettweiler [2016-09-14 05:57:10] 737*2^1439698-1 is not prime. Res64: 69991B791B586BD9 Time : 0.0 sec. user=mdettweiler [2016-09-14 06:05:06] 831*2^1439698-1 is not prime. Res64: 48E1F56F38107D92 Time : 0.0 sec. user=mdettweiler [2016-09-14 06:05:08] 845*2^1439698-1 is not prime. Res64: 92AA15966D69B99F Time : 0.0 sec. user=mdettweiler [2016-09-14 06:05:10] 1001*2^1439698-1 is not prime. Res64: 0094DB727C9EE15D Time : 0.0 sec. user=mdettweiler [2016-09-14 06:05:11] 601*2^1439699-1 is not prime. Res64: 8F22CE0866A9AE61 Time : 0.0 sec. user=mdettweiler [2016-09-14 06:05:12] 645*2^1439699-1 is not prime. Res64: D374B736CF706BBE Time : 0.0 sec. user=mdettweiler [2016-09-14 06:19:00] 679*2^1439699-1 is not prime. Res64: 5E947FE3B710FE9B Time : 0.0 sec. user=mdettweiler [2016-09-14 06:19:00] 685*2^1439699-1 is not prime. Res64: 09347AC19EDB8C27 Time : 0.0 sec. user=mdettweiler [2016-09-14 06:19:00] 843*2^1439699-1 is not prime. Res64: F98B09409FF43C83 Time : 0.0 sec. user=mdettweiler [2016-09-14 06:19:01] 913*2^1439699-1 is not prime. Res64: CA21798E1FA494AB Time : 0.0 sec. user=mdettweiler [2016-09-14 06:19:01] 949*2^1439699-1 is not prime. Res64: CF8E7321EBA981A1 Time : 0.0 sec. user=mdettweiler [2016-09-14 06:41:54] 973*2^1439699-1 is not prime. Res64: E86D32B518242439 Time : 0.0 sec. user=mdettweiler [2016-09-14 06:41:54] 753*2^1439700-1 is not prime. Res64: 038B88D2F9E55BD0 Time : 0.0 sec. user=mdettweiler [2016-09-14 06:41:54] 765*2^1439700-1 is not prime. Res64: A88659158A00F6B6 Time : 0.0 sec. user=mdettweiler [2016-09-14 06:41:55] 839*2^1439700-1 is not prime. Res64: ACFB426053B78D06 Time : 0.0 sec. user=mdettweiler [2016-09-14 06:41:55] 843*2^1439700-1 is not prime. Res64: 35E70D2B08C5118C Time : 0.0 sec. user=mdettweiler [2016-09-14 06:50:11] 873*2^1439700-1 is not prime. Res64: 180FC9F3979BA852 Time : 0.0 sec. user=mdettweiler [2016-09-14 06:50:11] 933*2^1439700-1 is not prime. Res64: 3C44A41021649530 Time : 0.0 sec. user=mdettweiler [2016-09-14 06:50:11] 959*2^1439700-1 is not prime. Res64: 8E7893B771179CDD Time : 0.0 sec. user=mdettweiler [2016-09-14 06:50:11] 607*2^1439701-1 is not prime. Res64: 0F18A90BF888CECB Time : 0.0 sec. user=mdettweiler [2016-09-14 06:50:12] 615*2^1439701-1 is not prime. Res64: E071FB6D47652178 Time : 0.0 sec. user=mdettweiler [2016-09-14 07:03:41] 717*2^1439701-1 is not prime. Res64: 1B69F215D1E7F255 Time : 0.0 sec. user=mdettweiler [2016-09-14 07:03:41] 805*2^1439701-1 is not prime. Res64: D00C4813E0E73A75 Time : 0.0 sec. user=mdettweiler [2016-09-14 07:03:42] 961*2^1439701-1 is not prime. Res64: E959DD7F2324887C Time : 0.0 sec. user=mdettweiler [2016-09-14 07:03:44] 603*2^1439702-1 is not prime. Res64: D08D8215108080BA Time : 0.0 sec. user=mdettweiler [2016-09-14 07:03:45] 705*2^1439702-1 is not prime. Res64: FC7A71D16D3208A4 Time : 0.0 sec. user=mdettweiler [2016-09-14 07:26:36] 797*2^1439702-1 is not prime. Res64: 091627B6DBE0E23F Time : 0.0 sec. user=mdettweiler [2016-09-14 07:26:37] 941*2^1439702-1 is not prime. Res64: D5A489222BE9DE16 Time : 0.0 sec. user=mdettweiler [2016-09-14 07:26:37] 945*2^1439702-1 is not prime. Res64: F0A8A2B0F8C33DC4 Time : 0.0 sec. user=mdettweiler [2016-09-14 07:26:37] 977*2^1439702-1 is not prime. Res64: FB6747A33B395FBD Time : 0.0 sec. user=mdettweiler [2016-09-14 07:26:37] 983*2^1439702-1 is not prime. Res64: 3B5B9782135E49BB Time : 0.0 sec. user=mdettweiler [2016-09-14 07:34:49] 663*2^1439703-1 is not prime. Res64: D4562C6C3010DD2C Time : 0.0 sec. user=mdettweiler [2016-09-14 07:34:49] 691*2^1439703-1 is not prime. Res64: 575D8A7C796BE7DA Time : 0.0 sec. user=mdettweiler [2016-09-14 07:34:49] 781*2^1439703-1 is not prime. Res64: C2BB6F0C6C07B507 Time : 0.0 sec. user=mdettweiler [2016-09-14 07:34:49] 895*2^1439703-1 is not prime. Res64: 6C14D124811C2119 Time : 0.0 sec. user=mdettweiler [2016-09-14 07:34:50] 933*2^1439703-1 is not prime. Res64: BBE33D4AFC69C0BA Time : 0.0 sec. user=mdettweiler [2016-09-14 07:48:45] 951*2^1439703-1 is not prime. Res64: 93F1ED2D75D0EC72 Time : 0.0 sec. user=mdettweiler [2016-09-14 07:48:45] 961*2^1439703-1 is not prime. Res64: 1D8A8FB02FCCFD7F Time : 0.0 sec. user=mdettweiler [2016-09-14 07:48:45] 623*2^1439704-1 is not prime. Res64: DB0219FA55629290 Time : 0.0 sec. user=mdettweiler [2016-09-14 07:48:45] 695*2^1439704-1 is not prime. Res64: 6C7CA2F6769BF821 Time : 0.0 sec. user=mdettweiler [2016-09-14 07:48:46] 983*2^1439704-1 is not prime. Res64: F8E0A550EF3D1257 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:11:17] 727*2^1439705-1 is not prime. Res64: FBA0854414296DD8 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:11:19] 775*2^1439705-1 is not prime. Res64: B53EDCEDB12EC5DA Time : 0.0 sec. user=mdettweiler [2016-09-14 08:11:22] 909*2^1439705-1 is not prime. Res64: 734531044723F714 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:11:24] 981*2^1439705-1 is not prime. Res64: B39696407729DE4B Time : 0.0 sec. user=mdettweiler [2016-09-14 08:11:26] 647*2^1439706-1 is not prime. Res64: 216B4C4E7B76F472 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:19:28] 677*2^1439706-1 is not prime. Res64: 4F9C88D6AE5F0678 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:19:28] 683*2^1439706-1 is not prime. Res64: 091E45DB5E7840B6 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:19:28] 711*2^1439706-1 is not prime. Res64: 5D1BB884308C2547 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:19:29] 741*2^1439706-1 is not prime. Res64: E804650D15639806 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:19:29] 807*2^1439706-1 is not prime. Res64: D99DF18DED8B1905 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:33:24] 833*2^1439706-1 is not prime. Res64: 616142EFECE3B317 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:33:24] 903*2^1439706-1 is not prime. Res64: E6678655E8B59EC6 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:33:25] 905*2^1439706-1 is not prime. Res64: 4562AAA4BF759489 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:33:25] 917*2^1439706-1 is not prime. Res64: 816F963C1CEED9E1 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:33:25] 975*2^1439706-1 is not prime. Res64: 7ED9A4D80AA16100 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:56:18] 993*2^1439706-1 is not prime. Res64: FBD0FB9218AC24B1 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:56:18] 663*2^1439707-1 is not prime. Res64: 546935B86279DB3B Time : 0.0 sec. user=mdettweiler [2016-09-14 08:56:19] 733*2^1439707-1 is not prime. Res64: F9FEADFD37539A56 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:56:19] 759*2^1439707-1 is not prime. Res64: 7BD48CD0D6F36AC6 Time : 0.0 sec. user=mdettweiler [2016-09-14 08:56:19] 775*2^1439707-1 is not prime. Res64: 8EAEC7A388668238 Time : 0.0 sec. user=mdettweiler [2016-09-14 09:04:07] 813*2^1439707-1 is not prime. Res64: 0D2F2934A96A64A9 Time : 0.0 sec. user=mdettweiler [2016-09-14 09:04:10] 901*2^1439707-1 is not prime. Res64: D4FCCFCC7EF31DED Time : 0.0 sec. user=mdettweiler [2016-09-14 09:04:12] 909*2^1439707-1 is not prime. Res64: 14EF4ACDB0400937 Time : 0.0 sec. user=mdettweiler [2016-09-14 09:04:15] 951*2^1439707-1 is not prime. Res64: 77CA072E0B53E948 Time : 0.0 sec. user=mdettweiler [2016-09-14 09:04:16] 979*2^1439707-1 is not prime. Res64: BEB572834C8E052D Time : 0.0 sec. user=mdettweiler [2016-09-14 09:18:02] 615*2^1439708-1 is not prime. Res64: CA0B02404D58ECFB Time : 0.0 sec. user=mdettweiler [2016-09-14 09:18:03] 725*2^1439708-1 is not prime. Res64: 0C266BF437F2A1F7 Time : 0.0 sec. user=mdettweiler [2016-09-14 09:18:03] 777*2^1439708-1 is not prime. Res64: BDE1847205E4931E Time : 0.0 sec. user=mdettweiler [2016-09-14 09:18:03] 957*2^1439708-1 is not prime. Res64: 8472C73CC5BEE714 Time : 0.0 sec. user=mdettweiler [2016-09-14 09:18:04] 987*2^1439708-1 is not prime. Res64: 88218DC6E4A26931 Time : 0.0 sec. user=mdettweiler [2016-09-14 09:40:59] 995*2^1439708-1 is not prime. Res64: 0B99184A7D596542 Time : 0.0 sec. user=mdettweiler [2016-09-14 09:40:59] 625*2^1439709-1 is not prime. Res64: 844E3DBED7CE704D Time : 0.0 sec. user=mdettweiler [2016-09-14 09:41:00] 765*2^1439709-1 is not prime. Res64: 1AFB9DA050155FEF Time : 0.0 sec. user=mdettweiler [2016-09-14 09:41:00] 891*2^1439709-1 is not prime. Res64: 9C1C75E8242359A3 Time : 0.0 sec. user=mdettweiler [2016-09-14 09:41:00] 603*2^1439710-1 is not prime. Res64: E808E60E2262CF89 Time : 0.0 sec. user=mdettweiler [2016-09-14 09:49:15] 611*2^1439710-1 is not prime. Res64: D3082BF82939940D Time : 0.0 sec. user=mdettweiler [2016-09-14 09:49:15] 695*2^1439710-1 is not prime. Res64: 31B92215F67456F7 Time : 0.0 sec. user=mdettweiler [2016-09-14 09:49:15] 825*2^1439710-1 is not prime. Res64: E4D4D1FE7A797A4F Time : 0.0 sec. user=mdettweiler [2016-09-14 09:49:16] 831*2^1439710-1 is not prime. Res64: 3FA84C13C9220E58 Time : 0.0 sec. user=mdettweiler [2016-09-14 09:49:16] 845*2^1439710-1 is not prime. Res64: CB241D7D8C1A3340 Time : 0.0 sec. user=mdettweiler [2016-09-14 10:02:51] 867*2^1439710-1 is not prime. Res64: B8AA5AF776FF554D Time : 0.0 sec. user=mdettweiler [2016-09-14 10:02:52] 917*2^1439710-1 is not prime. Res64: C25567865347E546 Time : 0.0 sec. user=mdettweiler [2016-09-14 10:02:53] 975*2^1439710-1 is not prime. Res64: 8065E22298FA95D9 Time : 0.0 sec. user=mdettweiler [2016-09-14 10:02:54] 609*2^1439711-1 is not prime. Res64: 18C8098DF9194747 Time : 0.0 sec. user=mdettweiler [2016-09-14 10:02:55] 759*2^1439711-1 is not prime. Res64: 37CD38D842409B1D Time : 0.0 sec. user=mdettweiler [2016-09-14 10:25:42] 909*2^1439711-1 is not prime. Res64: 07A9639915304957 Time : 0.0 sec. user=mdettweiler [2016-09-14 10:25:43] 949*2^1439711-1 is not prime. Res64: 862AA77D5A231DD4 Time : 0.0 sec. user=mdettweiler [2016-09-14 10:25:43] 981*2^1439711-1 is not prime. Res64: E83CBF67F9D2FE63 Time : 0.0 sec. user=mdettweiler [2016-09-14 10:25:43] 615*2^1439712-1 is not prime. Res64: E30A27115490197D Time : 0.0 sec. user=mdettweiler [2016-09-14 10:25:43] 629*2^1439712-1 is not prime. Res64: A5097E539C8CEDEB Time : 0.0 sec. user=mdettweiler [2016-09-14 10:33:55] 713*2^1439712-1 is not prime. Res64: 31142675491C91DB Time : 0.0 sec. user=mdettweiler [2016-09-14 10:33:56] 747*2^1439712-1 is not prime. Res64: A5CA5F2DAFCC9508 Time : 0.0 sec. user=mdettweiler [2016-09-14 10:33:56] 909*2^1439712-1 is not prime. Res64: 7AE81D8710C00901 Time : 0.0 sec. user=mdettweiler [2016-09-14 10:33:56] 977*2^1439712-1 is not prime. Res64: 1127A1A379636D78 Time : 0.0 sec. user=mdettweiler [2016-09-14 10:33:57] 983*2^1439712-1 is not prime. Res64: 9B6BF235F62EDA2C Time : 0.0 sec. user=mdettweiler [2016-09-14 10:47:51] 609*2^1439713-1 is not prime. Res64: 043E953D6F4BA944 Time : 0.0 sec. user=mdettweiler [2016-09-14 10:47:51] 649*2^1439713-1 is not prime. Res64: B21D025B0A4A3EE9 Time : 0.0 sec. user=mdettweiler [2016-09-14 10:47:51] 699*2^1439713-1 is not prime. Res64: 58A47B5091A5A24E Time : 0.0 sec. user=mdettweiler [2016-09-14 10:47:52] 765*2^1439713-1 is not prime. Res64: 542890623E28D75E Time : 0.0 sec. user=mdettweiler [2016-09-14 10:47:52] 831*2^1439713-1 is not prime. Res64: A18E008A00EA1298 Time : 0.0 sec. user=mdettweiler [2016-09-14 11:10:26] 855*2^1439713-1 is not prime. Res64: ED71834312E83232 Time : 0.0 sec. user=mdettweiler [2016-09-14 11:10:29] 641*2^1439714-1 is not prime. Res64: 33B14952A00857CA Time : 0.0 sec. user=mdettweiler [2016-09-14 11:10:33] 717*2^1439714-1 is not prime. Res64: 2FC98530F9A3A199 Time : 0.0 sec. user=mdettweiler [2016-09-14 11:10:40] 743*2^1439714-1 is not prime. Res64: 535E523BCE075549 Time : 0.0 sec. user=mdettweiler [2016-09-14 11:10:42] 915*2^1439714-1 is not prime. Res64: 3D66FF8FEEA5BFF0 Time : 0.0 sec. user=mdettweiler [2016-09-14 11:18:40] 709*2^1439715-1 is not prime. Res64: 4C66897B25C4E1F4 Time : 0.0 sec. user=mdettweiler [2016-09-14 11:18:40] 801*2^1439715-1 is not prime. Res64: FDAD14B0D728B5A0 Time : 0.0 sec. user=mdettweiler [2016-09-14 11:18:41] 859*2^1439715-1 is not prime. Res64: C245C65E1B845D0A Time : 0.0 sec. user=mdettweiler [2016-09-14 11:18:41] 951*2^1439715-1 is not prime. Res64: FC023253A4217BB2 Time : 0.0 sec. user=mdettweiler [2016-09-14 11:18:41] 617*2^1439716-1 is not prime. Res64: 2F3959EBE4D03ECA Time : 0.0 sec. user=mdettweiler [2016-09-14 11:32:34] 719*2^1439716-1 is not prime. Res64: 39BD70EE09D4D842 Time : 0.0 sec. user=mdettweiler [2016-09-14 11:32:35] 783*2^1439716-1 is not prime. Res64: 9B0794408A6AF277 Time : 0.0 sec. user=mdettweiler [2016-09-14 11:32:35] 957*2^1439716-1 is not prime. Res64: 7706487DEB25C144 Time : 0.0 sec. user=mdettweiler [2016-09-14 11:32:35] 965*2^1439716-1 is not prime. Res64: 768B46AF86F26A57 Time : 0.0 sec. user=mdettweiler [2016-09-14 11:32:35] 619*2^1439717-1 is not prime. Res64: 77E77DCDC490A176 Time : 0.0 sec. user=mdettweiler [2016-09-14 11:55:29] 621*2^1439717-1 is not prime. Res64: 782C6B324D8630A5 Time : 0.0 sec. user=mdettweiler [2016-09-14 11:55:29] 771*2^1439717-1 is not prime. Res64: 9F1BCBE51DDBC36F Time : 0.0 sec. user=mdettweiler [2016-09-14 11:55:29] 949*2^1439717-1 is not prime. Res64: 72CB32E8DD9002E5 Time : 0.0 sec. user=mdettweiler [2016-09-14 11:55:30] 663*2^1439718-1 is not prime. Res64: DE6BBF70A6E4856B Time : 0.0 sec. user=mdettweiler [2016-09-14 11:55:30] 683*2^1439718-1 is not prime. Res64: 3500867D4A094B66 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:03:21] 761*2^1439718-1 is not prime. Res64: 8C233AC5DDF944D3 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:03:22] 815*2^1439718-1 is not prime. Res64: AFEC07130FA5B0BD Time : 0.0 sec. user=mdettweiler [2016-09-14 12:03:22] 843*2^1439718-1 is not prime. Res64: 34A7179FAB96710E Time : 0.0 sec. user=mdettweiler [2016-09-14 12:03:23] 863*2^1439718-1 is not prime. Res64: 3893907071187FD5 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:03:23] 867*2^1439718-1 is not prime. Res64: 7BBBFC2731946438 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:17:31] 971*2^1439718-1 is not prime. Res64: 3578B7523093B698 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:17:32] 993*2^1439718-1 is not prime. Res64: 81420139C4BF1C45 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:17:32] 625*2^1439719-1 is not prime. Res64: 8DA9FD3F86F615B9 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:17:32] 633*2^1439719-1 is not prime. Res64: 61808EF8695630B7 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:17:32] 639*2^1439719-1 is not prime. Res64: 8971F21D605A1C4B Time : 0.0 sec. user=mdettweiler [2016-09-14 12:41:27] 679*2^1439719-1 is not prime. Res64: C4C79B17D5FDAC51 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:41:28] 765*2^1439719-1 is not prime. Res64: 43639463C4BD7574 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:41:28] 841*2^1439719-1 is not prime. Res64: C50779CEE7DAD966 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:41:28] 969*2^1439719-1 is not prime. Res64: A6757E94A25D4BC4 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:41:28] 979*2^1439719-1 is not prime. Res64: 6E49AA369207FE52 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:49:41] 609*2^1439720-1 is not prime. Res64: BD7F9CA8A867C6E0 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:49:41] 635*2^1439720-1 is not prime. Res64: 5D5032B920C53548 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:49:41] 743*2^1439720-1 is not prime. Res64: 547497CBBD98BBF3 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:49:42] 857*2^1439720-1 is not prime. Res64: 8D551AA170AD2BB2 Time : 0.0 sec. user=mdettweiler [2016-09-14 12:49:42] 893*2^1439720-1 is not prime. Res64: 772C3236A4C1F4B3 Time : 0.0 sec. user=mdettweiler [2016-09-14 13:03:43] 625*2^1439721-1 is not prime. Res64: DA59F55A235CC85D Time : 0.0 sec. user=mdettweiler [2016-09-14 13:03:44] 807*2^1439721-1 is not prime. Res64: C21A69ACDE314D0D Time : 0.0 sec. user=mdettweiler [2016-09-14 13:03:45] 603*2^1439722-1 is not prime. Res64: D6E90D119997A601 Time : 0.0 sec. user=mdettweiler [2016-09-14 13:03:45] 633*2^1439722-1 is not prime. Res64: 5D0E10CA2A37FFB6 Time : 0.0 sec. user=mdettweiler [2016-09-14 13:03:46] 635*2^1439722-1 is not prime. Res64: 1952374AC01A4E94 Time : 0.0 sec. user=mdettweiler [2016-09-14 13:26:30] 645*2^1439722-1 is not prime. Res64: EC98BBAFDDA10AFF Time : 0.0 sec. user=mdettweiler [2016-09-14 13:26:31] 665*2^1439722-1 is not prime. Res64: 9B2878E112A85817 Time : 0.0 sec. user=mdettweiler [2016-09-14 13:26:31] 663*2^1439723-1 is not prime. Res64: 773533AE699B0ED3 Time : 0.0 sec. user=mdettweiler [2016-09-14 13:26:31] 675*2^1439723-1 is not prime. Res64: FD462DD07189A65C Time : 0.0 sec. user=mdettweiler [2016-09-14 13:26:31] 741*2^1439723-1 is not prime. Res64: 0BAA85CB5D600E3F Time : 0.0 sec. user=mdettweiler [2016-09-14 13:34:32] 855*2^1439723-1 is not prime. Res64: 7B11BF8D50AD9073 Time : 0.0 sec. user=mdettweiler [2016-09-14 13:34:33] 859*2^1439723-1 is not prime. Res64: B42B856037F3A03C Time : 0.0 sec. user=mdettweiler [2016-09-14 13:34:33] 693*2^1439724-1 is not prime. Res64: 625EA91E9B086D8B Time : 0.0 sec. user=mdettweiler [2016-09-14 13:34:33] 803*2^1439724-1 is not prime. Res64: B791ADC741063F6C Time : 0.0 sec. user=mdettweiler [2016-09-14 13:34:33] 873*2^1439724-1 is not prime. Res64: 54449503BDF8E6F3 Time : 0.0 sec. user=mdettweiler [2016-09-14 13:48:32] 915*2^1439724-1 is not prime. Res64: 6C11FBBFD847D8FE Time : 0.0 sec. user=mdettweiler [2016-09-14 13:48:33] 947*2^1439724-1 is not prime. Res64: 20DBB0B681175BB2 Time : 0.0 sec. user=mdettweiler [2016-09-14 13:48:33] 975*2^1439724-1 is not prime. Res64: 6CA4DF72292B715A Time : 0.0 sec. user=mdettweiler [2016-09-14 13:48:33] 645*2^1439725-1 is not prime. Res64: CA401F79FA535EBB Time : 0.0 sec. user=mdettweiler [2016-09-14 13:48:33] 699*2^1439725-1 is not prime. Res64: 825ECE3C5A0EBEB2 Time : 0.0 sec. user=mdettweiler [2016-09-14 14:11:15] 717*2^1439725-1 is not prime. Res64: 7E39EDCD9099FED5 Time : 0.0 sec. user=mdettweiler [2016-09-14 14:11:18] 729*2^1439725-1 is not prime. Res64: 3009F30C01967E5E Time : 0.0 sec. user=mdettweiler [2016-09-14 14:11:19] 855*2^1439725-1 is not prime. Res64: 4B03FFD7C2BBAC2F Time : 0.0 sec. user=mdettweiler [2016-09-14 14:11:20] 871*2^1439725-1 is not prime. Res64: C55C2232CC0B5ED5 Time : 0.0 sec. user=mdettweiler [2016-09-14 14:11:21] 889*2^1439725-1 is not prime. Res64: F36DC94FECFBADE6 Time : 0.0 sec. user=mdettweiler [2016-09-14 14:19:10] 961*2^1439725-1 is not prime. Res64: 0AEA5F26E8FDF698 Time : 0.0 sec. user=mdettweiler [2016-09-14 14:19:10] 979*2^1439725-1 is not prime. Res64: 0E7D0C12F61D9B33 Time : 0.0 sec. user=mdettweiler [2016-09-14 14:19:11] 635*2^1439726-1 is not prime. Res64: 986757E347554788 Time : 0.0 sec. user=mdettweiler [2016-09-14 14:19:11] 711*2^1439726-1 is not prime. Res64: 6ABBE98B39BD536A Time : 0.0 sec. user=mdettweiler [2016-09-14 14:19:11] 743*2^1439726-1 is not prime. Res64: 8DDC5C442160F55E Time : 0.0 sec. user=mdettweiler [2016-09-14 14:33:13] 785*2^1439726-1 is not prime. Res64: 9727C8C6D67A8263 Time : 0.0 sec. user=mdettweiler [2016-09-14 14:33:13] 801*2^1439726-1 is not prime. Res64: DD456774701331F8 Time : 0.0 sec. user=mdettweiler [2016-09-14 14:33:14] 827*2^1439726-1 is not prime. Res64: DF88BA4D9B0D212D Time : 0.0 sec. user=mdettweiler [2016-09-14 14:33:14] 851*2^1439726-1 is not prime. Res64: 00312E8F55A79D64 Time : 0.0 sec. user=mdettweiler [2016-09-14 14:33:14] 873*2^1439726-1 is not prime. Res64: 1BB5D87F2BFFAE85 Time : 0.0 sec. user=mdettweiler [2016-09-14 14:56:18] 897*2^1439726-1 is not prime. Res64: 688BAD256F1C9BF0 Time : 0.0 sec. user=mdettweiler [2016-09-14 14:56:18] 917*2^1439726-1 is not prime. Res64: 4CD8543FC3D4AB71 Time : 0.0 sec. user=mdettweiler [2016-09-14 14:56:19] 921*2^1439726-1 is not prime. Res64: 17F76C5AD5ADDA77 Time : 0.0 sec. user=mdettweiler [2016-09-14 14:56:19] 993*2^1439726-1 is not prime. Res64: 75BAF1229107741F Time : 0.0 sec. user=mdettweiler [2016-09-14 14:56:19] 619*2^1439727-1 is not prime. Res64: B6C15E65EECCE7E0 Time : 0.0 sec. user=mdettweiler [2016-09-14 15:03:56] 805*2^1439727-1 is not prime. Res64: 063D3194261F9FE8 Time : 0.0 sec. user=mdettweiler [2016-09-14 15:03:59] 919*2^1439727-1 is not prime. Res64: AF796B3DEAC9611C Time : 0.0 sec. user=mdettweiler [2016-09-14 15:04:01] 999*2^1439727-1 is not prime. Res64: EB9139E31EA976F7 Time : 0.0 sec. user=mdettweiler [2016-09-14 15:04:04] 909*2^1439728-1 is not prime. Res64: CAB4EB385594021A Time : 0.0 sec. user=mdettweiler [2016-09-14 15:04:06] 957*2^1439728-1 is not prime. Res64: 13941492AD61E379 Time : 0.0 sec. user=mdettweiler [2016-09-14 15:17:51] 975*2^1439728-1 is not prime. Res64: 24901F84F80BBF55 Time : 0.0 sec. user=mdettweiler [2016-09-14 15:17:51] 699*2^1439729-1 is not prime. Res64: 8F1FB45D226F72F7 Time : 0.0 sec. user=mdettweiler [2016-09-14 15:17:51] 787*2^1439729-1 is not prime. Res64: A525E46ED5241EEE Time : 0.0 sec. user=mdettweiler [2016-09-14 15:17:52] 801*2^1439729-1 is not prime. Res64: 781D3648C20A39DC Time : 0.0 sec. user=mdettweiler [2016-09-14 15:17:52] 837*2^1439729-1 is not prime. Res64: 6AB21BCF19C5A803 Time : 0.0 sec. user=mdettweiler [2016-09-14 15:40:49] 847*2^1439729-1 is not prime. Res64: 30E410C620F0C8F5 Time : 0.0 sec. user=mdettweiler [2016-09-14 15:40:50] 889*2^1439729-1 is not prime. Res64: 63A488AB5B3E1739 Time : 0.0 sec. user=mdettweiler [2016-09-14 15:40:50] 969*2^1439729-1 is not prime. Res64: 248B2515848BFC1C Time : 0.0 sec. user=mdettweiler [2016-09-14 15:40:50] 635*2^1439730-1 is not prime. Res64: 3CC5B4795A95ED46 Time : 0.0 sec. user=mdettweiler [2016-09-14 15:40:51] 767*2^1439730-1 is not prime. Res64: 89B297F31972E20E Time : 0.0 sec. user=mdettweiler [2016-09-14 15:49:02] 679*2^1439731-1 is not prime. Res64: C612C54A673111EE Time : 0.0 sec. user=mdettweiler [2016-09-14 15:49:02] 693*2^1439731-1 is not prime. Res64: CBA1D6ACAE229A8D Time : 0.0 sec. user=mdettweiler [2016-09-14 15:49:02] 709*2^1439731-1 is not prime. Res64: 23537500D21F4F13 Time : 0.0 sec. user=mdettweiler [2016-09-14 15:49:03] 759*2^1439731-1 is not prime. Res64: 8EFA3EC566AA0B15 Time : 0.0 sec. user=mdettweiler [2016-09-14 15:49:03] 805*2^1439731-1 is not prime. Res64: 63189EB87EA25748 Time : 0.0 sec. user=mdettweiler [2016-09-14 16:02:28] 871*2^1439731-1 is not prime. Res64: 9A5BEA6C6F0CFF0D Time : 0.0 sec. user=mdettweiler [2016-09-14 16:02:30] 873*2^1439731-1 is not prime. Res64: 9880A754EBB7D793 Time : 0.0 sec. user=mdettweiler [2016-09-14 16:02:31] 961*2^1439731-1 is not prime. Res64: 6D66C81FA1191487 Time : 0.0 sec. user=mdettweiler [2016-09-14 16:02:32] 999*2^1439731-1 is not prime. Res64: EFF11B6618741788 Time : 0.0 sec. user=mdettweiler [2016-09-14 16:02:33] 633*2^1439732-1 is not prime. Res64: F4EF7B26CCD6D89A Time : 0.0 sec. user=mdettweiler [2016-09-14 16:25:31] 693*2^1439732-1 is not prime. Res64: EBA546CD3D586870 Time : 0.0 sec. user=mdettweiler [2016-09-14 16:25:31] 855*2^1439732-1 is not prime. Res64: 1411383D1B6914C6 Time : 0.0 sec. user=mdettweiler [2016-09-14 16:25:31] 873*2^1439732-1 is not prime. Res64: BDB73744A9D165A7 Time : 0.0 sec. user=mdettweiler [2016-09-14 16:25:31] 875*2^1439732-1 is not prime. Res64: 74F12C343630083A Time : 0.0 sec. user=mdettweiler [2016-09-14 16:25:32] 657*2^1439733-1 is not prime. Res64: 8DDEDD6433460B08 Time : 0.0 sec. user=mdettweiler [2016-09-14 16:33:48] 691*2^1439733-1 is not prime. Res64: 66AA0F9255B17B09 Time : 0.0 sec. user=mdettweiler [2016-09-14 16:33:48] 781*2^1439733-1 is not prime. Res64: 316D9E6514590E02 Time : 0.0 sec. user=mdettweiler [2016-09-14 16:33:48] 835*2^1439733-1 is not prime. Res64: 447F2464FE942AD3 Time : 0.0 sec. user=mdettweiler [2016-09-14 16:33:48] 847*2^1439733-1 is not prime. Res64: 2336B3936F9C53A9 Time : 0.0 sec. user=mdettweiler [2016-09-14 16:33:49] 937*2^1439733-1 is not prime. Res64: 50FDE045F408069A Time : 0.0 sec. user=mdettweiler [2016-09-14 16:47:32] 945*2^1439733-1 is not prime. Res64: 41BEC2C239707DD3 Time : 0.0 sec. user=mdettweiler [2016-09-14 16:47:32] 635*2^1439734-1 is not prime. Res64: 4071EB230EA324B3 Time : 0.0 sec. user=mdettweiler [2016-09-14 16:47:33] 755*2^1439734-1 is not prime. Res64: DDE8232235ADDB26 Time : 0.0 sec. user=mdettweiler [2016-09-14 16:47:33] 825*2^1439734-1 is not prime. Res64: 8CFB86C71A4729BC Time : 0.0 sec. user=mdettweiler [2016-09-14 16:47:33] 833*2^1439734-1 is not prime. Res64: 0D7A7A7AB7DE00B0 Time : 0.0 sec. user=mdettweiler [2016-09-14 17:10:38] 923*2^1439734-1 is not prime. Res64: BACB85979F267CD2 Time : 0.0 sec. user=mdettweiler [2016-09-14 17:10:39] 941*2^1439734-1 is not prime. Res64: C4D480897EA63F5C Time : 0.0 sec. user=mdettweiler [2016-09-14 17:10:39] 603*2^1439735-1 is not prime. Res64: 77EFE830F3AA8FD2 Time : 0.0 sec. user=mdettweiler [2016-09-14 17:10:40] 753*2^1439735-1 is not prime. Res64: C6B06D685C2E858D Time : 0.0 sec. user=mdettweiler [2016-09-14 17:10:40] 841*2^1439735-1 is not prime. Res64: 11D3DE8704C5A186 Time : 0.0 sec. user=mdettweiler [2016-09-14 17:18:47] 913*2^1439735-1 is not prime. Res64: 24892C94FFBB7B85 Time : 0.0 sec. user=mdettweiler [2016-09-14 17:18:47] 963*2^1439735-1 is not prime. Res64: E4BA21AC22BCC771 Time : 0.0 sec. user=mdettweiler [2016-09-14 17:18:47] 623*2^1439736-1 is not prime. Res64: 97A1C5D2E3029799 Time : 0.0 sec. user=mdettweiler [2016-09-14 17:18:48] 627*2^1439736-1 is not prime. Res64: BCDEFCD2308A95A3 Time : 0.0 sec. user=mdettweiler [2016-09-14 17:18:48] 737*2^1439736-1 is not prime. Res64: FE877008242113DF Time : 0.0 sec. user=mdettweiler [2016-09-14 17:32:39] 675*2^1439737-1 is not prime. Res64: 52A6E2CB9935A496 Time : 0.0 sec. user=mdettweiler [2016-09-14 17:32:39] 771*2^1439737-1 is not prime. Res64: E28FA50393AE760A Time : 0.0 sec. user=mdettweiler [2016-09-14 17:32:39] 799*2^1439737-1 is not prime. Res64: C5751FAFCD131361 Time : 0.0 sec. user=mdettweiler [2016-09-14 17:32:39] 805*2^1439737-1 is not prime. Res64: AC2197A6A49E4B4C Time : 0.0 sec. user=mdettweiler [2016-09-14 17:32:40] 817*2^1439737-1 is not prime. Res64: 5C2EBC7BE4107014 Time : 0.0 sec. user=mdettweiler [2016-09-14 17:55:59] 635*2^1439738-1 is not prime. Res64: 2E2B23A3BB83E40A Time : 0.0 sec. user=mdettweiler [2016-09-14 17:55:59] 641*2^1439738-1 is not prime. Res64: 82A07BB046C85B0A Time : 0.0 sec. user=mdettweiler [2016-09-14 17:56:00] 645*2^1439738-1 is not prime. Res64: B779F3A48184484D Time : 0.0 sec. user=mdettweiler [2016-09-14 17:56:00] 665*2^1439738-1 is not prime. Res64: FBF1836C07FD7F28 Time : 0.0 sec. user=mdettweiler [2016-09-14 17:56:00] 711*2^1439738-1 is not prime. Res64: BA9D0990652B220E Time : 0.0 sec. user=mdettweiler [2016-09-14 18:03:42] 731*2^1439738-1 is not prime. Res64: CED439DCB7FB9670 Time : 0.0 sec. user=mdettweiler [2016-09-14 18:03:43] 861*2^1439738-1 is not prime. Res64: 701ACB07676B131D Time : 0.0 sec. user=mdettweiler [2016-09-14 18:03:44] 945*2^1439738-1 is not prime. Res64: 804B249619AD9388 Time : 0.0 sec. user=mdettweiler [2016-09-14 18:03:45] 1001*2^1439738-1 is not prime. Res64: A246A67BE214B802 Time : 0.0 sec. user=mdettweiler [2016-09-14 18:03:46] 775*2^1439739-1 is not prime. Res64: A6E70A8B81544FA6 Time : 0.0 sec. user=mdettweiler [2016-09-14 18:17:37] 921*2^1439739-1 is not prime. Res64: 032EDCB7F0907A1D Time : 0.0 sec. user=mdettweiler [2016-09-14 18:17:38] 985*2^1439739-1 is not prime. Res64: 7CC4668EC9A2EDB3 Time : 0.0 sec. user=mdettweiler [2016-09-14 18:17:38] 615*2^1439740-1 is not prime. Res64: CEBE19C4998A508C Time : 0.0 sec. user=mdettweiler [2016-09-14 18:17:39] 629*2^1439740-1 is not prime. Res64: 0F1520A80B352164 Time : 0.0 sec. user=mdettweiler [2016-09-14 18:17:39] 665*2^1439740-1 is not prime. Res64: 8A454BEE8C9F54B7 Time : 0.0 sec. user=mdettweiler [2016-09-14 18:41:24] 819*2^1439740-1 is not prime. Res64: FD987166FC52C919 Time : 0.0 sec. user=mdettweiler [2016-09-14 18:41:24] 833*2^1439740-1 is not prime. Res64: 2EAC026660E966D6 Time : 0.0 sec. user=mdettweiler [2016-09-14 18:41:25] 855*2^1439740-1 is not prime. Res64: 97F752B68243E44C Time : 0.0 sec. user=mdettweiler [2016-09-14 18:41:25] 873*2^1439740-1 is not prime. Res64: 008F9AA13450D465 Time : 0.0 sec. user=mdettweiler [2016-09-14 18:41:25] 923*2^1439740-1 is not prime. Res64: AF5F32A786390D8F Time : 0.0 sec. user=mdettweiler [2016-09-14 18:49:28] 927*2^1439740-1 is not prime. Res64: 23CBAD2A63C403EB Time : 0.0 sec. user=mdettweiler [2016-09-14 18:49:28] 957*2^1439740-1 is not prime. Res64: B91AFCA29290A0BE Time : 0.0 sec. user=mdettweiler [2016-09-14 18:49:29] 619*2^1439741-1 is not prime. Res64: CD02DFC1931535D9 Time : 0.0 sec. user=mdettweiler [2016-09-14 18:49:29] 631*2^1439741-1 is not prime. Res64: D1AA905146DEF751 Time : 0.0 sec. user=mdettweiler [2016-09-14 18:49:29] 777*2^1439741-1 is not prime. Res64: 83C06DFEC81A80A2 Time : 0.0 sec. user=mdettweiler [2016-09-14 19:03:11] 819*2^1439741-1 is not prime. Res64: 6068901DBBB344C0 Time : 0.0 sec. user=mdettweiler [2016-09-14 19:03:13] 937*2^1439741-1 is not prime. Res64: 1DE00A73ECF95A66 Time : 0.0 sec. user=mdettweiler [2016-09-14 19:03:15] 967*2^1439741-1 is not prime. Res64: A07076ACBB864BFC Time : 0.0 sec. user=mdettweiler [2016-09-14 19:03:16] 647*2^1439742-1 is not prime. Res64: 2D30D61BF89CBB70 Time : 0.0 sec. user=mdettweiler [2016-09-14 19:03:17] 755*2^1439742-1 is not prime. Res64: 4EE5242FDB0D74B2 Time : 0.0 sec. user=mdettweiler [2016-09-14 19:26:40] 797*2^1439742-1 is not prime. Res64: F75003622696AF75 Time : 0.0 sec. user=mdettweiler [2016-09-14 19:26:40] 807*2^1439742-1 is not prime. Res64: 2DF98F3CCC890847 Time : 0.0 sec. user=mdettweiler [2016-09-14 19:26:41] 815*2^1439742-1 is not prime. Res64: 1C72CA49E4ECEEF8 Time : 0.0 sec. user=mdettweiler [2016-09-14 19:26:41] 893*2^1439742-1 is not prime. Res64: B7A9E3D5F768A8B3 Time : 0.0 sec. user=mdettweiler [2016-09-14 19:26:41] 615*2^1439743-1 is not prime. Res64: 218C86C7525642A7 Time : 0.0 sec. user=mdettweiler [2016-09-14 19:34:39] 619*2^1439743-1 is not prime. Res64: 3DF0C55C8E1521BD Time : 0.0 sec. user=mdettweiler [2016-09-14 19:34:40] 681*2^1439743-1 is not prime. Res64: 0F47674AE80A36AA Time : 0.0 sec. user=mdettweiler [2016-09-14 19:34:40] 763*2^1439743-1 is not prime. Res64: A9EB46333FD87F78 Time : 0.0 sec. user=mdettweiler [2016-09-14 19:34:40] 831*2^1439743-1 is not prime. Res64: 90D4C3C3A3BFF65D Time : 0.0 sec. user=mdettweiler [2016-09-14 19:34:40] 855*2^1439743-1 is not prime. Res64: C8CFE7C4659263BF Time : 0.0 sec. user=mdettweiler [2016-09-14 19:48:51] 919*2^1439743-1 is not prime. Res64: 06D28D9EE643C0CF Time : 0.0 sec. user=mdettweiler [2016-09-14 19:48:52] 773*2^1439744-1 is not prime. Res64: 94FD1CCB52233883 Time : 0.0 sec. user=mdettweiler [2016-09-14 19:48:52] 875*2^1439744-1 is not prime. Res64: 5B67CBCCE3CEEA88 Time : 0.0 sec. user=mdettweiler [2016-09-14 19:48:52] 649*2^1439745-1 is not prime. Res64: 7B17B6B1B94FB142 Time : 0.0 sec. user=mdettweiler [2016-09-14 19:48:52] 691*2^1439745-1 is not prime. Res64: 29A97C6CAC89F3DF Time : 0.0 sec. user=mdettweiler [2016-09-14 20:11:58] 721*2^1439745-1 is not prime. Res64: FBF5DD98A78F33AC Time : 0.0 sec. user=mdettweiler [2016-09-14 20:11:59] 921*2^1439745-1 is not prime. Res64: 0DC41F9BE216BAB6 Time : 0.0 sec. user=mdettweiler [2016-09-14 20:11:59] 657*2^1439746-1 is not prime. Res64: 03EBC75F511F660E Time : 0.0 sec. user=mdettweiler [2016-09-14 20:11:59] 777*2^1439746-1 is not prime. Res64: A41D395204745328 Time : 0.0 sec. user=mdettweiler [2016-09-14 20:12:00] 785*2^1439746-1 is not prime. Res64: 9698D56365240D4E Time : 0.0 sec. user=mdettweiler [2016-09-14 20:19:54] 881*2^1439746-1 is not prime. Res64: 82C36A43F54B5776 Time : 0.0 sec. user=mdettweiler [2016-09-14 20:19:54] 649*2^1439747-1 is not prime. Res64: C8BA0B73DBC6B3B4 Time : 0.0 sec. user=mdettweiler [2016-09-14 20:19:55] 715*2^1439747-1 is not prime. Res64: 282F0E0F1C6170FE Time : 0.0 sec. user=mdettweiler [2016-09-14 20:19:55] 733*2^1439747-1 is not prime. Res64: 3D6DC52BA505F996 Time : 0.0 sec. user=mdettweiler [2016-09-14 20:19:55] 985*2^1439747-1 is not prime. Res64: 352BC1F137271408 Time : 0.0 sec. user=mdettweiler [2016-09-14 20:34:08] 991*2^1439747-1 is not prime. Res64: 7560C15291245CD3 Time : 0.0 sec. user=mdettweiler [2016-09-14 20:34:08] 705*2^1439748-1 is not prime. Res64: A9F32BD3C531A7BC Time : 0.0 sec. user=mdettweiler [2016-09-14 20:34:09] 879*2^1439748-1 is not prime. Res64: BC0247828280A0EC Time : 0.0 sec. user=mdettweiler [2016-09-14 20:34:09] 929*2^1439748-1 is not prime. Res64: F787EFA6CD19815F Time : 0.0 sec. user=mdettweiler [2016-09-14 20:34:09] 933*2^1439748-1 is not prime. Res64: A2F1FB52D17253A4 Time : 0.0 sec. user=mdettweiler [2016-09-14 20:57:20] 747*2^1439749-1 is not prime. Res64: AA551F30B42DC76C Time : 0.0 sec. user=mdettweiler [2016-09-14 20:57:20] 765*2^1439749-1 is not prime. Res64: A6B29D816CE1DF56 Time : 0.0 sec. user=mdettweiler [2016-09-14 20:57:21] 819*2^1439749-1 is not prime. Res64: BF0059BF741A5F76 Time : 0.0 sec. user=mdettweiler [2016-09-14 20:57:21] 829*2^1439749-1 is not prime. Res64: FC587A1F593F734F Time : 0.0 sec. user=mdettweiler [2016-09-14 20:57:21] 855*2^1439749-1 is not prime. Res64: 595D5603642383D2 Time : 0.0 sec. user=mdettweiler [2016-09-14 21:05:16] 897*2^1439749-1 is not prime. Res64: 798602B24E60B21E Time : 0.0 sec. user=mdettweiler [2016-09-14 21:05:17] 987*2^1439749-1 is not prime. Res64: AF7BA5D1564C5A7A Time : 0.0 sec. user=mdettweiler [2016-09-14 21:05:18] 843*2^1439750-1 is not prime. Res64: B1ED4D0280C56555 Time : 0.0 sec. user=mdettweiler [2016-09-14 21:05:18] 851*2^1439750-1 is not prime. Res64: 0E344BFB9346ADEA Time : 0.0 sec. user=mdettweiler [2016-09-14 21:05:20] 885*2^1439750-1 is not prime. Res64: EF3368ABC0A12C35 Time : 0.0 sec. user=mdettweiler [2016-09-14 21:19:27] 705*2^1439751-1 is not prime. Res64: DA3171EDC8C6B2D3 Time : 0.0 sec. user=mdettweiler [2016-09-14 21:19:27] 741*2^1439751-1 is not prime. Res64: 062453E042F013A7 Time : 0.0 sec. user=mdettweiler [2016-09-14 21:19:28] 763*2^1439751-1 is not prime. Res64: 86FF4E7FA077DB62 Time : 0.0 sec. user=mdettweiler [2016-09-14 21:19:28] 805*2^1439751-1 is not prime. Res64: 4EC5CCBC9A1BF5BE Time : 0.0 sec. user=mdettweiler [2016-09-14 21:19:28] 825*2^1439751-1 is not prime. Res64: 5B7D2D034AA3C31F Time : 0.0 sec. user=mdettweiler [2016-09-14 21:42:32] 859*2^1439751-1 is not prime. Res64: BC75DF3E40F08798 Time : 0.0 sec. user=mdettweiler [2016-09-14 21:42:33] 895*2^1439751-1 is not prime. Res64: 4E26514035C38904 Time : 0.0 sec. user=mdettweiler [2016-09-14 21:42:33] 951*2^1439751-1 is not prime. Res64: 7A5078AECDA1FF7D Time : 0.0 sec. user=mdettweiler [2016-09-14 21:42:33] 999*2^1439751-1 is not prime. Res64: 94BB0E1DA2ED1BBA Time : 0.0 sec. user=mdettweiler [2016-09-14 21:42:33] 695*2^1439752-1 is not prime. Res64: 5F205E31D876BC8F Time : 0.0 sec. user=mdettweiler [2016-09-14 21:50:45] 719*2^1439752-1 is not prime. Res64: 9B6E1944BB5E757A Time : 0.0 sec. user=mdettweiler [2016-09-14 21:50:45] 797*2^1439752-1 is not prime. Res64: 1B61BF17F0F92BFB Time : 0.0 sec. user=mdettweiler [2016-09-14 21:50:46] 873*2^1439752-1 is not prime. Res64: FBABAC51222E0DF8 Time : 0.0 sec. user=mdettweiler [2016-09-14 21:50:46] 915*2^1439752-1 is not prime. Res64: 265E6A03AC29D3DE Time : 0.0 sec. user=mdettweiler [2016-09-14 21:50:46] 965*2^1439752-1 is not prime. Res64: 49313FBDC29A8561 Time : 0.0 sec. user=mdettweiler [2016-09-14 22:04:41] 995*2^1439752-1 is not prime. Res64: 597FBF9D3B34C6BB Time : 0.0 sec. user=mdettweiler [2016-09-14 22:04:42] 607*2^1439753-1 is not prime. Res64: 908B294EEEA25964 Time : 0.0 sec. user=mdettweiler [2016-09-14 22:04:43] 741*2^1439753-1 is not prime. Res64: 52316517573FA26A Time : 0.0 sec. user=mdettweiler [2016-09-14 22:04:44] 745*2^1439753-1 is not prime. Res64: 8313337D6316F7EE Time : 0.0 sec. user=mdettweiler [2016-09-14 22:04:45] 885*2^1439753-1 is not prime. Res64: D6B5AFF459BC4864 Time : 0.0 sec. user=mdettweiler [2016-09-14 22:27:45] 979*2^1439753-1 is not prime. Res64: C75CB5ACF836F8B0 Time : 0.0 sec. user=mdettweiler [2016-09-14 22:27:46] 683*2^1439754-1 is not prime. Res64: 0E797FE3C5265B88 Time : 0.0 sec. user=mdettweiler [2016-09-14 22:27:46] 717*2^1439754-1 is not prime. Res64: 501EE1A5EC981431 Time : 0.0 sec. user=mdettweiler [2016-09-14 22:27:46] 747*2^1439754-1 is not prime. Res64: 5F3DE169032B1581 Time : 0.0 sec. user=mdettweiler [2016-09-14 22:27:47] 755*2^1439754-1 is not prime. Res64: 049CA14C9A997B67 Time : 0.0 sec. user=mdettweiler [2016-09-14 22:35:57] 783*2^1439754-1 is not prime. Res64: 0D1EE019A4CA4E68 Time : 0.0 sec. user=mdettweiler [2016-09-14 22:35:57] 803*2^1439754-1 is not prime. Res64: 0D3F76DCB8219446 Time : 0.0 sec. user=mdettweiler [2016-09-14 22:35:58] 807*2^1439754-1 is not prime. Res64: FC369E0BB3FB2A59 Time : 0.0 sec. user=mdettweiler [2016-09-14 22:35:58] 833*2^1439754-1 is not prime. Res64: A08114644BECF2C6 Time : 0.0 sec. user=mdettweiler [2016-09-14 22:35:58] 903*2^1439754-1 is not prime. Res64: 32F9F6D7859A84D3 Time : 0.0 sec. user=mdettweiler [2016-09-14 22:50:14] 947*2^1439754-1 is not prime. Res64: 6FECA874B7C0DCF7 Time : 0.0 sec. user=mdettweiler [2016-09-14 22:50:14] 975*2^1439754-1 is not prime. Res64: EE54591B8B18C069 Time : 0.0 sec. user=mdettweiler [2016-09-14 22:50:14] 1001*2^1439754-1 is not prime. Res64: DAD6BE5C057EB2CB Time : 0.0 sec. user=mdettweiler [2016-09-14 22:50:14] 609*2^1439755-1 is not prime. Res64: D31464611B7E35F5 Time : 0.0 sec. user=mdettweiler [2016-09-14 22:50:15] 859*2^1439755-1 is not prime. Res64: 2BB9A5B0F3382600 Time : 0.0 sec. user=mdettweiler [2016-09-14 23:13:00] 909*2^1439755-1 is not prime. Res64: CD0DE64D22ECEC5D Time : 0.0 sec. user=mdettweiler [2016-09-14 23:13:00] 629*2^1439756-1 is not prime. Res64: A3E87B05543F998D Time : 0.0 sec. user=mdettweiler [2016-09-14 23:13:00] 813*2^1439756-1 is not prime. Res64: 87DF5AA8934B5367 Time : 0.0 sec. user=mdettweiler [2016-09-14 23:13:01] 825*2^1439756-1 is not prime. Res64: 06B58C7256942B01 Time : 0.0 sec. user=mdettweiler [2016-09-14 23:13:01] 953*2^1439756-1 is not prime. Res64: 95B90244689092D0 Time : 0.0 sec. user=mdettweiler [2016-09-14 23:21:09] 609*2^1439757-1 is not prime. Res64: 8DF8F78E39C51FA4 Time : 0.0 sec. user=mdettweiler [2016-09-14 23:21:10] 847*2^1439757-1 is not prime. Res64: 607785EEA93A4B21 Time : 0.0 sec. user=mdettweiler [2016-09-14 23:21:10] 871*2^1439757-1 is not prime. Res64: F6F95EC4F3A17DFF Time : 0.0 sec. user=mdettweiler [2016-09-14 23:21:10] 919*2^1439757-1 is not prime. Res64: 0702178110E5C51F Time : 0.0 sec. user=mdettweiler [2016-09-14 23:21:10] 975*2^1439757-1 is not prime. Res64: 13ECDC3D701EBEBD Time : 0.0 sec. user=mdettweiler [2016-09-14 23:35:27] 605*2^1439758-1 is not prime. Res64: D2A644875D84564B Time : 0.0 sec. user=mdettweiler [2016-09-14 23:35:28] 635*2^1439758-1 is not prime. Res64: 6A597FFDEA4D9571 Time : 0.0 sec. user=mdettweiler [2016-09-14 23:35:28] 647*2^1439758-1 is not prime. Res64: 3F6C31849C853965 Time : 0.0 sec. user=mdettweiler [2016-09-14 23:35:28] 657*2^1439758-1 is not prime. Res64: 9EA71200C4F85D01 Time : 0.0 sec. user=mdettweiler [2016-09-14 23:35:29] 707*2^1439758-1 is not prime. Res64: B369F2BCE1038A66 Time : 0.0 sec. user=mdettweiler [2016-09-14 23:58:15] 713*2^1439758-1 is not prime. Res64: C9819412043E31C6 Time : 0.0 sec. user=mdettweiler [2016-09-14 23:58:15] 813*2^1439758-1 is not prime. Res64: 48AD4381A075FE99 Time : 0.0 sec. user=mdettweiler [2016-09-14 23:58:15] 825*2^1439758-1 is not prime. Res64: 4FB10CED4700DC84 Time : 0.0 sec. user=mdettweiler [2016-09-14 23:58:15] 827*2^1439758-1 is not prime. Res64: A2E88A7E6CC9E563 Time : 0.0 sec. user=mdettweiler [2016-09-14 23:58:16] 831*2^1439758-1 is not prime. Res64: BD7BC6551988091D Time : 0.0 sec.