user=mdettweiler [2015-12-28 00:08:53] 843*2^1418226-1 is not prime. Res64: F77FBBC165BE10EC Time : 0.0 sec. user=mdettweiler [2015-12-28 00:08:54] 921*2^1418226-1 is not prime. Res64: 79DE27987828049E Time : 0.0 sec. user=mdettweiler [2015-12-28 00:08:54] 975*2^1418226-1 is not prime. Res64: DEE5645C15615FD6 Time : 0.0 sec. user=mdettweiler [2015-12-28 00:08:55] 983*2^1418226-1 is not prime. Res64: A9C51F64AB822ED5 Time : 0.0 sec. user=mdettweiler [2015-12-28 00:26:25] 603*2^1418227-1 is not prime. Res64: 1C3A56B1AE17BF33 Time : 0.0 sec. user=mdettweiler [2015-12-28 00:26:26] 615*2^1418227-1 is not prime. Res64: 9E88B8D9260DB4EE Time : 0.0 sec. user=mdettweiler [2015-12-28 00:26:27] 621*2^1418227-1 is not prime. Res64: 692F43D98E3A97F5 Time : 0.0 sec. user=mdettweiler [2015-12-28 00:26:27] 663*2^1418227-1 is not prime. Res64: 6CD19C3742566136 Time : 0.0 sec. user=mdettweiler [2015-12-28 00:43:55] 693*2^1418227-1 is not prime. Res64: EB76399C52C729C7 Time : 0.0 sec. user=mdettweiler [2015-12-28 00:43:55] 703*2^1418227-1 is not prime. Res64: 76345B6E0DD42E89 Time : 0.0 sec. user=mdettweiler [2015-12-28 00:43:55] 715*2^1418227-1 is not prime. Res64: 197CA63ED9264E2E Time : 0.0 sec. user=mdettweiler [2015-12-28 00:43:56] 735*2^1418227-1 is not prime. Res64: 97D8D3E4947BD6FE Time : 0.0 sec. user=mdettweiler [2015-12-28 01:01:24] 975*2^1418227-1 is not prime. Res64: 5719F2A8983436F2 Time : 0.0 sec. user=mdettweiler [2015-12-28 01:01:25] 919*2^1418227-1 is not prime. Res64: FFF1D7FDDBBD264C Time : 0.0 sec. user=mdettweiler [2015-12-28 01:01:26] 647*2^1418228-1 is not prime. Res64: 58FBB1043814D0ED Time : 0.0 sec. user=mdettweiler [2015-12-28 01:01:26] 931*2^1418227-1 is not prime. Res64: A56BA717EE7D0E16 Time : 0.0 sec. user=mdettweiler [2015-12-28 01:19:12] 935*2^1418228-1 is not prime. Res64: 7B9EC70795BE27BA Time : 0.0 sec. user=mdettweiler [2015-12-28 01:19:12] 743*2^1418228-1 is not prime. Res64: 6FC5E4F092DE95F4 Time : 0.0 sec. user=mdettweiler [2015-12-28 01:19:12] 867*2^1418228-1 is not prime. Res64: 0BCD541DD2D46315 Time : 0.0 sec. user=mdettweiler [2015-12-28 01:19:12] 959*2^1418228-1 is not prime. Res64: B7E86B883130CBE3 Time : 0.0 sec. user=mdettweiler [2015-12-28 01:36:44] 621*2^1418229-1 is not prime. Res64: AF50C38717A42B7D Time : 0.0 sec. user=mdettweiler [2015-12-28 01:36:44] 963*2^1418228-1 is not prime. Res64: 62F51D4953AA4619 Time : 0.0 sec. user=mdettweiler [2015-12-28 01:36:45] 639*2^1418229-1 is not prime. Res64: 63F39C0C77FADBAD Time : 0.0 sec. user=mdettweiler [2015-12-28 01:36:45] 609*2^1418229-1 is not prime. Res64: C204DA811BB05FB1 Time : 0.0 sec. user=mdettweiler [2015-12-28 01:54:16] 927*2^1418229-1 is not prime. Res64: B1962EBA52F9DFE8 Time : 0.0 sec. user=mdettweiler [2015-12-28 01:54:16] 997*2^1418229-1 is not prime. Res64: C87875AACC8D1BFB Time : 0.0 sec. user=mdettweiler [2015-12-28 01:54:16] 655*2^1418229-1 is not prime. Res64: 584D0AEB20ED88D1 Time : 0.0 sec. user=mdettweiler [2015-12-28 01:54:17] 907*2^1418229-1 is not prime. Res64: 670780D782603FFF Time : 0.0 sec. user=mdettweiler [2015-12-28 02:11:46] 933*2^1418230-1 is not prime. Res64: F4FE8290D21A3F52 Time : 0.0 sec. user=mdettweiler [2015-12-28 02:11:46] 611*2^1418230-1 is not prime. Res64: 1001FBEB338D4BD4 Time : 0.0 sec. user=mdettweiler [2015-12-28 02:11:46] 645*2^1418231-1 is not prime. Res64: BAF5A6977369F208 Time : 0.0 sec. user=mdettweiler [2015-12-28 02:11:46] 663*2^1418230-1 is not prime. Res64: B8AD1B8815B5D01E Time : 0.0 sec. user=mdettweiler [2015-12-28 02:29:17] 675*2^1418231-1 is not prime. Res64: B2BA585D35E6E99C Time : 0.0 sec. user=mdettweiler [2015-12-28 02:29:18] 763*2^1418231-1 is not prime. Res64: BDA5EF40C1EB7D0C Time : 0.0 sec. user=mdettweiler [2015-12-28 02:29:18] 705*2^1418231-1 is not prime. Res64: 928624170400801A Time : 0.0 sec. user=mdettweiler [2015-12-28 02:29:18] 781*2^1418231-1 is not prime. Res64: ED64ABF53AA1DF6A Time : 0.0 sec. user=mdettweiler [2015-12-28 02:46:53] 889*2^1418231-1 is not prime. Res64: 8B80B0733B74F8A1 Time : 0.0 sec. user=mdettweiler [2015-12-28 02:46:53] 993*2^1418231-1 is not prime. Res64: 5B107F291384E653 Time : 0.0 sec. user=mdettweiler [2015-12-28 02:46:53] 991*2^1418231-1 is not prime. Res64: 28DE5CFC794E6524 Time : 0.0 sec. user=mdettweiler [2015-12-28 02:46:53] 683*2^1418232-1 is not prime. Res64: 7C3A6E1BA726041F Time : 0.0 sec. user=mdettweiler [2015-12-28 03:04:28] 625*2^1418233-1 is not prime. Res64: EC0830A5B6140273 Time : 0.0 sec. user=mdettweiler [2015-12-28 03:04:28] 747*2^1418232-1 is not prime. Res64: 71C1330ABB2544D6 Time : 0.0 sec. user=mdettweiler [2015-12-28 03:04:29] 685*2^1418233-1 is not prime. Res64: 3E7916D1D726DA9B Time : 0.0 sec. user=mdettweiler [2015-12-28 03:04:29] 923*2^1418232-1 is not prime. Res64: 8E15E3BC7F94BE10 Time : 0.0 sec. user=mdettweiler [2015-12-28 03:22:14] 765*2^1418233-1 is not prime. Res64: FD7CA0512B41D2BC Time : 0.0 sec. user=mdettweiler [2015-12-28 03:22:16] 789*2^1418233-1 is not prime. Res64: 6B12A48C9FBC8885 Time : 0.0 sec. user=mdettweiler [2015-12-28 03:22:16] 999*2^1418233-1 is not prime. Res64: 07C3B04CC7ACA5D6 Time : 0.0 sec. user=mdettweiler [2015-12-28 03:22:17] 615*2^1418234-1 is not prime. Res64: D56DD13490536F54 Time : 0.0 sec. user=mdettweiler [2015-12-28 03:39:49] 665*2^1418234-1 is not prime. Res64: F447CEAD120148EE Time : 0.0 sec. user=mdettweiler [2015-12-28 03:39:51] 623*2^1418234-1 is not prime. Res64: 31D08745CDFC97B0 Time : 0.0 sec. user=mdettweiler [2015-12-28 03:39:51] 791*2^1418234-1 is not prime. Res64: 26D3D4536C9D2462 Time : 0.0 sec. user=mdettweiler [2015-12-28 03:39:52] 651*2^1418234-1 is not prime. Res64: 047BBFBAECC0670E Time : 0.0 sec. user=mdettweiler [2015-12-28 03:57:37] 885*2^1418234-1 is not prime. Res64: 228C9710F177F133 Time : 0.0 sec. user=mdettweiler [2015-12-28 03:57:37] 923*2^1418234-1 is not prime. Res64: 6AA2F283503F0764 Time : 0.0 sec. user=mdettweiler [2015-12-28 03:57:38] 941*2^1418234-1 is not prime. Res64: 3EE0B5202DCA8BE7 Time : 0.0 sec. user=mdettweiler [2015-12-28 03:57:38] 903*2^1418234-1 is not prime. Res64: FECBBA4AA281FBDA Time : 0.0 sec. user=mdettweiler [2015-12-28 04:15:07] 669*2^1418235-1 is not prime. Res64: 89509DC7190E822C Time : 0.0 sec. user=mdettweiler [2015-12-28 04:15:08] 609*2^1418235-1 is not prime. Res64: 4A2A84A763D67D2B Time : 0.0 sec. user=mdettweiler [2015-12-28 04:15:08] 705*2^1418235-1 is not prime. Res64: CC12A77FAABEAB01 Time : 0.0 sec. user=mdettweiler [2015-12-28 04:15:08] 643*2^1418235-1 is not prime. Res64: F903A6A4CC348ED2 Time : 0.0 sec. user=mdettweiler [2015-12-28 04:32:41] 861*2^1418235-1 is not prime. Res64: 1B5A7D8303E3BB4B Time : 0.0 sec. user=mdettweiler [2015-12-28 04:32:41] 741*2^1418235-1 is not prime. Res64: D206FB2F5A338A50 Time : 0.0 sec. user=mdettweiler [2015-12-28 04:32:41] 909*2^1418235-1 is not prime. Res64: 824C718628C767DE Time : 0.0 sec. user=mdettweiler [2015-12-28 04:32:41] 775*2^1418235-1 is not prime. Res64: 38B057CA175F68E8 Time : 0.0 sec. user=mdettweiler [2015-12-28 04:50:10] 963*2^1418235-1 is not prime. Res64: BF3B921B1051DB05 Time : 0.0 sec. user=mdettweiler [2015-12-28 04:50:11] 985*2^1418235-1 is not prime. Res64: 617412F0F09EF8F5 Time : 0.0 sec. user=mdettweiler [2015-12-28 04:50:11] 677*2^1418236-1 is not prime. Res64: 083C275A03A41E26 Time : 0.0 sec. user=mdettweiler [2015-12-28 04:50:11] 749*2^1418236-1 is not prime. Res64: 3A0107D7E0251BDE Time : 0.0 sec. user=mdettweiler [2015-12-28 05:07:42] 869*2^1418236-1 is not prime. Res64: 974F57A9A8326363 Time : 0.0 sec. user=mdettweiler [2015-12-28 05:07:42] 899*2^1418236-1 is not prime. Res64: 48C8CF01E6D72DD5 Time : 0.0 sec. user=mdettweiler [2015-12-28 05:07:45] 939*2^1418236-1 is not prime. Res64: C6B50DC23DB4B1F8 Time : 0.0 sec. user=mdettweiler [2015-12-28 05:07:45] 717*2^1418237-1 is not prime. Res64: D70BAA0DDB09D3C1 Time : 0.0 sec. user=mdettweiler [2015-12-28 05:25:16] 769*2^1418237-1 is not prime. Res64: D253AF7A502BB503 Time : 0.0 sec. user=mdettweiler [2015-12-28 05:25:16] 937*2^1418237-1 is not prime. Res64: 06F28BB3C780F7AB Time : 0.0 sec. user=mdettweiler [2015-12-28 05:25:16] 837*2^1418237-1 is not prime. Res64: 01354236AFE96762 Time : 0.0 sec. user=mdettweiler [2015-12-28 05:25:16] 945*2^1418237-1 is not prime. Res64: 9ADAE5C7A002D508 Time : 0.0 sec. user=mdettweiler [2015-12-28 05:42:45] 611*2^1418238-1 is not prime. Res64: A3C8DE4791B46ECD Time : 0.0 sec. user=mdettweiler [2015-12-28 05:42:45] 677*2^1418238-1 is not prime. Res64: FE488EF222A21411 Time : 0.0 sec. user=mdettweiler [2015-12-28 05:42:46] 615*2^1418238-1 is not prime. Res64: D3AE8ABFE60AFEFE Time : 0.0 sec. user=mdettweiler [2015-12-28 05:42:46] 693*2^1418238-1 is not prime. Res64: 2BD81F6C3D085DBC Time : 0.0 sec. user=mdettweiler [2015-12-28 06:00:14] 815*2^1418238-1 is not prime. Res64: FB950BE653529AAB Time : 0.0 sec. user=mdettweiler [2015-12-28 06:00:15] 821*2^1418238-1 is not prime. Res64: 341E087CDBC5338D Time : 0.0 sec. user=mdettweiler [2015-12-28 06:00:16] 705*2^1418238-1 is not prime. Res64: 78A299D1650A3398 Time : 0.0 sec. user=mdettweiler [2015-12-28 06:00:17] 797*2^1418238-1 is not prime. Res64: 92BA8865B59A1E20 Time : 0.0 sec. user=mdettweiler [2015-12-28 06:17:48] 705*2^1418239-1 is not prime. Res64: 2B2CC8D7E5FC1DD6 Time : 0.0 sec. user=mdettweiler [2015-12-28 06:17:48] 645*2^1418239-1 is not prime. Res64: 9BD12CF54D64E0C6 Time : 0.0 sec. user=mdettweiler [2015-12-28 06:17:48] 769*2^1418239-1 is not prime. Res64: 46E3D4F554FD3CD3 Time : 0.0 sec. user=mdettweiler [2015-12-28 06:17:48] 661*2^1418239-1 is not prime. Res64: 0D9C639AD3D0A493 Time : 0.0 sec. user=mdettweiler [2015-12-28 06:35:18] 767*2^1418240-1 is not prime. Res64: B8894B0B1FDC25B2 Time : 0.0 sec. user=mdettweiler [2015-12-28 06:35:18] 843*2^1418239-1 is not prime. Res64: 5741CD9D3F7B7C83 Time : 0.0 sec. user=mdettweiler [2015-12-28 06:35:18] 877*2^1418241-1 is not prime. Res64: 46C144DA01117BD8 Time : 0.0 sec. user=mdettweiler [2015-12-28 06:35:18] 961*2^1418239-1 is not prime. Res64: BB5928C83B1C4F75 Time : 0.0 sec. user=mdettweiler [2015-12-28 06:52:47] 889*2^1418241-1 is not prime. Res64: 221DE5FB010AA241 Time : 0.0 sec. user=mdettweiler [2015-12-28 06:52:47] 949*2^1418241-1 is not prime. Res64: F8E164DCBD7CA566 Time : 0.0 sec. user=mdettweiler [2015-12-28 06:52:47] 901*2^1418241-1 is not prime. Res64: 6AD0E737FB38781E Time : 0.0 sec. user=mdettweiler [2015-12-28 06:52:48] 611*2^1418242-1 is not prime. Res64: 5246D6D1B921C2D3 Time : 0.0 sec. user=mdettweiler [2015-12-28 07:10:17] 651*2^1418242-1 is not prime. Res64: 8AE685EDB9D4F91A Time : 0.0 sec. user=mdettweiler [2015-12-28 07:10:17] 915*2^1418242-1 is not prime. Res64: 95FCC7EF44C37A3D Time : 0.0 sec. user=mdettweiler [2015-12-28 07:10:18] 681*2^1418242-1 is not prime. Res64: 3190B9AF78B2054E Time : 0.0 sec. user=mdettweiler [2015-12-28 07:10:18] 775*2^1418243-1 is not prime. Res64: 35E1C0FF649986C7 Time : 0.0 sec. user=mdettweiler [2015-12-28 07:27:48] 783*2^1418243-1 is not prime. Res64: 8CE54D458FD0188D Time : 0.0 sec. user=mdettweiler [2015-12-28 07:27:49] 969*2^1418243-1 is not prime. Res64: 24F64C6381742A3C Time : 0.0 sec. user=mdettweiler [2015-12-28 07:27:49] 723*2^1418244-1 is not prime. Res64: 2ADF31BA4A20511D Time : 0.0 sec. user=mdettweiler [2015-12-28 07:27:50] 759*2^1418244-1 is not prime. Res64: AEF5727EEA67FE59 Time : 0.0 sec. user=mdettweiler [2015-12-28 07:45:17] 825*2^1418244-1 is not prime. Res64: 83341A4739E9DF1A Time : 0.0 sec. user=mdettweiler [2015-12-28 07:45:18] 837*2^1418244-1 is not prime. Res64: 7E42E5F93E247B87 Time : 0.0 sec. user=mdettweiler [2015-12-28 07:45:18] 863*2^1418244-1 is not prime. Res64: 0CE5EFB49601D2A7 Time : 0.0 sec. user=mdettweiler [2015-12-28 07:45:19] 885*2^1418245-1 is not prime. Res64: 0E7A27F22E81DBAC Time : 0.0 sec. user=mdettweiler [2015-12-28 08:02:49] 999*2^1418245-1 is not prime. Res64: BBF93B1BE385ECF4 Time : 0.0 sec. user=mdettweiler [2015-12-28 08:02:49] 957*2^1418245-1 is not prime. Res64: D3EF4EC577491775 Time : 0.0 sec. user=mdettweiler [2015-12-28 08:02:50] 615*2^1418246-1 is not prime. Res64: AF96F0C64CE79781 Time : 0.0 sec. user=mdettweiler [2015-12-28 08:02:50] 987*2^1418245-1 is not prime. Res64: D0784BF56F51857A Time : 0.0 sec. user=mdettweiler [2015-12-28 08:20:44] 627*2^1418246-1 is not prime. Res64: 8D953725B3459DD8 Time : 0.0 sec. user=mdettweiler [2015-12-28 08:20:44] 795*2^1418246-1 is not prime. Res64: 14E688908079B24B Time : 0.0 sec. user=mdettweiler [2015-12-28 08:20:45] 683*2^1418246-1 is not prime. Res64: C67CB3E08D98C308 Time : 0.0 sec. user=mdettweiler [2015-12-28 08:20:45] 801*2^1418246-1 is not prime. Res64: 1DD6DCAA9B76A92F Time : 0.0 sec. user=mdettweiler [2015-12-28 08:38:14] 819*2^1418247-1 is not prime. Res64: 1CA5B2C94915E726 Time : 0.0 sec. user=mdettweiler [2015-12-28 08:38:14] 871*2^1418247-1 is not prime. Res64: 5E44685212397BC8 Time : 0.0 sec. user=mdettweiler [2015-12-28 08:38:14] 941*2^1418246-1 is not prime. Res64: 4004C8E1A18C315D Time : 0.0 sec. user=mdettweiler [2015-12-28 08:38:15] 963*2^1418246-1 is not prime. Res64: CDFBEC1A135560C7 Time : 0.0 sec. user=mdettweiler [2015-12-28 08:55:44] 909*2^1418247-1 is not prime. Res64: 7F0E6BD025E34FD8 Time : 0.0 sec. user=mdettweiler [2015-12-28 08:55:44] 961*2^1418247-1 is not prime. Res64: F661EF82D0113339 Time : 0.0 sec. user=mdettweiler [2015-12-28 08:55:44] 665*2^1418248-1 is not prime. Res64: E001C0250E857D34 Time : 0.0 sec. user=mdettweiler [2015-12-28 08:55:45] 825*2^1418248-1 is not prime. Res64: FF74025D5D3972D2 Time : 0.0 sec. user=mdettweiler [2015-12-28 09:13:12] 909*2^1418248-1 is not prime. Res64: A9652146C7F3E74B Time : 0.0 sec. user=mdettweiler [2015-12-28 09:13:13] 993*2^1418248-1 is not prime. Res64: 61FF37B33D9DDE26 Time : 0.0 sec. user=mdettweiler [2015-12-28 09:13:13] 615*2^1418249-1 is not prime. Res64: BC84E21BC6A52143 Time : 0.0 sec. user=mdettweiler [2015-12-28 09:13:14] 741*2^1418249-1 is not prime. Res64: FE0BB77E72E5D34C Time : 0.0 sec. user=mdettweiler [2015-12-28 09:30:45] 775*2^1418249-1 is not prime. Res64: 7860C574C9BD078C Time : 0.0 sec. user=mdettweiler [2015-12-28 09:30:45] 861*2^1418249-1 is not prime. Res64: FCC408E2AE58D4B3 Time : 0.0 sec. user=mdettweiler [2015-12-28 09:30:45] 829*2^1418249-1 is not prime. Res64: CC30E437E0D2BA84 Time : 0.0 sec. user=mdettweiler [2015-12-28 09:30:45] 611*2^1418250-1 is not prime. Res64: E3B6EDCD8DB3A03B Time : 0.0 sec. user=mdettweiler [2015-12-28 09:48:16] 633*2^1418250-1 is not prime. Res64: 7DEE581E3EA959D5 Time : 0.0 sec. user=mdettweiler [2015-12-28 09:48:16] 723*2^1418250-1 is not prime. Res64: 6329ED5D06542C87 Time : 0.0 sec. user=mdettweiler [2015-12-28 09:48:18] 797*2^1418250-1 is not prime. Res64: 427CA3AEE9D4B178 Time : 0.0 sec. user=mdettweiler [2015-12-28 09:48:18] 845*2^1418250-1 is not prime. Res64: 184539A358F5B862 Time : 0.0 sec. user=mdettweiler [2015-12-28 10:05:47] 893*2^1418250-1 is not prime. Res64: 5766D7BFE305774E Time : 0.0 sec. user=mdettweiler [2015-12-28 10:05:50] 631*2^1418251-1 is not prime. Res64: 0C861A46E6DBE4F0 Time : 0.0 sec. user=mdettweiler [2015-12-28 10:05:51] 703*2^1418251-1 is not prime. Res64: 844C40ED32718792 Time : 0.0 sec. user=mdettweiler [2015-12-28 10:05:52] 733*2^1418251-1 is not prime. Res64: 2608953D9D6C2A10 Time : 0.0 sec. user=mdettweiler [2015-12-28 10:23:39] 751*2^1418251-1 is not prime. Res64: 0ED9D1446F5B103D Time : 0.0 sec. user=mdettweiler [2015-12-28 10:23:40] 889*2^1418251-1 is not prime. Res64: 96E09F3EDB5054E1 Time : 0.0 sec. user=mdettweiler [2015-12-28 10:23:41] 895*2^1418251-1 is not prime. Res64: 24272208DC8AAE25 Time : 0.0 sec. user=mdettweiler [2015-12-28 10:23:41] 973*2^1418251-1 is not prime. Res64: F20928DBDE416139 Time : 0.0 sec. user=mdettweiler [2015-12-28 10:41:10] 993*2^1418251-1 is not prime. Res64: 9D9A3CF8F7643758 Time : 0.0 sec. user=mdettweiler [2015-12-28 10:41:10] 635*2^1418252-1 is not prime. Res64: 734B054E15F7C8FB Time : 0.0 sec. user=mdettweiler [2015-12-28 10:41:10] 687*2^1418252-1 is not prime. Res64: 4D9EDFE52E843B03 Time : 0.0 sec. user=mdettweiler [2015-12-28 10:41:11] 735*2^1418252-1 is not prime. Res64: E6ADFD1C1DA4EBB9 Time : 0.0 sec. user=mdettweiler [2015-12-28 10:58:39] 813*2^1418252-1 is not prime. Res64: 1E8D547E90CACDD0 Time : 0.0 sec. user=mdettweiler [2015-12-28 10:58:39] 885*2^1418252-1 is not prime. Res64: C26D5A22BE4F5425 Time : 0.0 sec. user=mdettweiler [2015-12-28 10:58:40] 929*2^1418252-1 is not prime. Res64: 0C5618936E774E0C Time : 0.0 sec. user=mdettweiler [2015-12-28 10:58:40] 873*2^1418252-1 is not prime. Res64: FE88BB5930868769 Time : 0.0 sec. user=mdettweiler [2015-12-28 11:16:10] 995*2^1418252-1 is not prime. Res64: D927C079FD6A761A Time : 0.0 sec. user=mdettweiler [2015-12-28 11:16:11] 639*2^1418253-1 is not prime. Res64: A99DC126A58BA1C0 Time : 0.0 sec. user=mdettweiler [2015-12-28 11:16:11] 657*2^1418253-1 is not prime. Res64: 76856B50762AA374 Time : 0.0 sec. user=mdettweiler [2015-12-28 11:16:11] 751*2^1418253-1 is not prime. Res64: 491D58EDA84F3E21 Time : 0.0 sec. user=mdettweiler [2015-12-28 11:33:40] 759*2^1418253-1 is not prime. Res64: 9F412ADDC5AD6A52 Time : 0.0 sec. user=mdettweiler [2015-12-28 11:33:41] 769*2^1418253-1 is not prime. Res64: 0BE3AE19F86A55A8 Time : 0.0 sec. user=mdettweiler [2015-12-28 11:33:42] 819*2^1418253-1 is not prime. Res64: 0389E8B53A937E0A Time : 0.0 sec. user=mdettweiler [2015-12-28 11:33:42] 877*2^1418253-1 is not prime. Res64: F9DAA4E1D38F86CB Time : 0.0 sec. user=mdettweiler [2015-12-28 11:51:11] 921*2^1418253-1 is not prime. Res64: 077BEB36907EA57A Time : 0.0 sec. user=mdettweiler [2015-12-28 11:51:11] 885*2^1418253-1 is not prime. Res64: E9B9664E9455D59E Time : 0.0 sec. user=mdettweiler [2015-12-28 11:51:11] 937*2^1418253-1 is not prime. Res64: 11435DF5F20EAAC6 Time : 0.0 sec. user=mdettweiler [2015-12-28 11:51:11] 919*2^1418253-1 is not prime. Res64: 8C871C131BFBB486 Time : 0.0 sec. user=mdettweiler [2015-12-28 12:08:40] 949*2^1418253-1 is not prime. Res64: F6AAAEFD2DC8A587 Time : 0.0 sec. user=mdettweiler [2015-12-28 12:08:41] 985*2^1418253-1 is not prime. Res64: 4265E5E4AF229F5A Time : 0.0 sec. user=mdettweiler [2015-12-28 12:08:41] 621*2^1418254-1 is not prime. Res64: 34963C0850E83463 Time : 0.0 sec. user=mdettweiler [2015-12-28 12:08:42] 687*2^1418254-1 is not prime. Res64: 50AF837BC619BADE Time : 0.0 sec. user=mdettweiler [2015-12-28 12:26:14] 737*2^1418254-1 is not prime. Res64: 037B45705B092756 Time : 0.0 sec. user=mdettweiler [2015-12-28 12:26:14] 785*2^1418254-1 is not prime. Res64: 8137A4B1FA92D5C7 Time : 0.0 sec. user=mdettweiler [2015-12-28 12:26:16] 649*2^1418255-1 is not prime. Res64: BF26FA3E844244DD Time : 0.0 sec. user=mdettweiler [2015-12-28 12:26:17] 735*2^1418255-1 is not prime. Res64: 8B33DB0E34ED8CD2 Time : 0.0 sec. user=mdettweiler [2015-12-28 12:43:45] 775*2^1418255-1 is not prime. Res64: 0D669EC6703B7264 Time : 0.0 sec. user=mdettweiler [2015-12-28 12:43:46] 799*2^1418255-1 is not prime. Res64: 2BFD3E06E2A59803 Time : 0.0 sec. user=mdettweiler [2015-12-28 12:43:47] 949*2^1418255-1 is not prime. Res64: 064E00463E4DFE62 Time : 0.0 sec. user=mdettweiler [2015-12-28 12:43:47] 695*2^1418256-1 is not prime. Res64: 00C190AB8CE0A5C3 Time : 0.0 sec. user=mdettweiler [2015-12-28 13:01:16] 717*2^1418256-1 is not prime. Res64: 8AB99CBDF4971700 Time : 0.0 sec. user=mdettweiler [2015-12-28 13:01:18] 893*2^1418256-1 is not prime. Res64: 15657735E63E8B5B Time : 0.0 sec. user=mdettweiler [2015-12-28 13:01:18] 737*2^1418256-1 is not prime. Res64: 48336AB44F52377B Time : 0.0 sec. user=mdettweiler [2015-12-28 13:01:19] 975*2^1418256-1 is not prime. Res64: 3D98C00DBDEF1690 Time : 0.0 sec. user=mdettweiler [2015-12-28 13:19:02] 889*2^1418257-1 is not prime. Res64: B963193F497C0719 Time : 0.0 sec. user=mdettweiler [2015-12-28 13:19:02] 649*2^1418257-1 is not prime. Res64: 6B11EAC77D43C7F6 Time : 0.0 sec. user=mdettweiler [2015-12-28 13:19:03] 997*2^1418257-1 is not prime. Res64: 250B1940B4B94357 Time : 0.0 sec. user=mdettweiler [2015-12-28 13:19:03] 661*2^1418257-1 is not prime. Res64: C503E16617CDDE05 Time : 0.0 sec. user=mdettweiler [2015-12-28 13:36:37] 623*2^1418258-1 is not prime. Res64: B7B15791F83E4822 Time : 0.0 sec. user=mdettweiler [2015-12-28 13:36:37] 683*2^1418258-1 is not prime. Res64: 96EC87BD324E0BAC Time : 0.0 sec. user=mdettweiler [2015-12-28 13:36:38] 825*2^1418258-1 is not prime. Res64: 149CBF5728F0B5B8 Time : 0.0 sec. user=mdettweiler [2015-12-28 13:36:38] 635*2^1418258-1 is not prime. Res64: E30BF67F902F03FF Time : 0.0 sec. user=mdettweiler [2015-12-28 13:54:06] 685*2^1418259-1 is not prime. Res64: 540D45FD07F64ADF Time : 0.0 sec. user=mdettweiler [2015-12-28 13:54:07] 891*2^1418259-1 is not prime. Res64: 0C772231364A9F8E Time : 0.0 sec. user=mdettweiler [2015-12-28 13:54:07] 887*2^1418258-1 is not prime. Res64: F801183A2BEACF57 Time : 0.0 sec. user=mdettweiler [2015-12-28 13:54:07] 945*2^1418258-1 is not prime. Res64: 28711761B36B2070 Time : 0.0 sec. user=mdettweiler [2015-12-28 14:11:38] 919*2^1418259-1 is not prime. Res64: 644B5C53A35A5B6F Time : 0.0 sec. user=mdettweiler [2015-12-28 14:11:38] 921*2^1418259-1 is not prime. Res64: C72E8691587B9A8E Time : 0.0 sec. user=mdettweiler [2015-12-28 14:11:39] 677*2^1418260-1 is not prime. Res64: C791A45A84F902B0 Time : 0.0 sec. user=mdettweiler [2015-12-28 14:11:40] 797*2^1418260-1 is not prime. Res64: 504272258AEC312A Time : 0.0 sec. user=mdettweiler [2015-12-28 14:29:16] 819*2^1418260-1 is not prime. Res64: EAF7CB3D295D38A4 Time : 0.0 sec. user=mdettweiler [2015-12-28 14:29:16] 843*2^1418260-1 is not prime. Res64: 4804C7620F60B020 Time : 0.0 sec. user=mdettweiler [2015-12-28 14:29:16] 845*2^1418260-1 is not prime. Res64: 9E212BCEA1E1A6C1 Time : 0.0 sec. user=mdettweiler [2015-12-28 14:29:17] 855*2^1418260-1 is not prime. Res64: 2E8413C907D34B9A Time : 0.0 sec. user=mdettweiler [2015-12-28 14:46:56] 863*2^1418260-1 is not prime. Res64: B1AFC6D931AEED8A Time : 0.0 sec. user=mdettweiler [2015-12-28 14:46:56] 873*2^1418260-1 is not prime. Res64: 9EEA275A32492FE2 Time : 0.0 sec. user=mdettweiler [2015-12-28 14:46:56] 909*2^1418260-1 is not prime. Res64: DD4B6111EC3A0FD9 Time : 0.0 sec. user=mdettweiler [2015-12-28 14:46:57] 995*2^1418260-1 is not prime. Res64: 12804F3852FC175A Time : 0.0 sec. user=mdettweiler [2015-12-28 15:04:34] 631*2^1418261-1 is not prime. Res64: A021E5E343D365F6 Time : 0.0 sec. user=mdettweiler [2015-12-28 15:04:36] 789*2^1418261-1 is not prime. Res64: B08C98C63793B8AD Time : 0.0 sec. user=mdettweiler [2015-12-28 15:04:37] 675*2^1418261-1 is not prime. Res64: B507A86DD8CFB924 Time : 0.0 sec. user=mdettweiler [2015-12-28 15:04:38] 837*2^1418261-1 is not prime. Res64: D725B8546D841E76 Time : 0.0 sec. user=mdettweiler [2015-12-28 15:22:58] 937*2^1418261-1 is not prime. Res64: D1FD61FE147CC5F0 Time : 0.0 sec. user=mdettweiler [2015-12-28 15:22:58] 949*2^1418261-1 is not prime. Res64: D12D8101347FB029 Time : 0.0 sec. user=mdettweiler [2015-12-28 15:23:00] 683*2^1418262-1 is not prime. Res64: AA2FCE5900A2365B Time : 0.0 sec. user=mdettweiler [2015-12-28 15:23:01] 731*2^1418262-1 is not prime. Res64: 24F70D2169936071 Time : 0.0 sec. user=mdettweiler [2015-12-28 15:40:36] 821*2^1418262-1 is not prime. Res64: DC4036A9DBC1A64C Time : 0.0 sec. user=mdettweiler [2015-12-28 15:40:37] 887*2^1418262-1 is not prime. Res64: C3A5D7A752F0B484 Time : 0.0 sec. user=mdettweiler [2015-12-28 15:40:37] 917*2^1418262-1 is not prime. Res64: FB159243F65E192E Time : 0.0 sec. user=mdettweiler [2015-12-28 15:40:39] 615*2^1418263-1 is not prime. Res64: 1C5634D8F9CE182B Time : 0.0 sec. user=mdettweiler [2015-12-28 15:58:18] 679*2^1418263-1 is not prime. Res64: DEE338E40C554109 Time : 0.0 sec. user=mdettweiler [2015-12-28 15:58:18] 709*2^1418263-1 is not prime. Res64: 7E2B3AAD461399FE Time : 0.0 sec. user=mdettweiler [2015-12-28 15:58:20] 765*2^1418263-1 is not prime. Res64: 9117F5B96D40F70F Time : 0.0 sec. user=mdettweiler [2015-12-28 15:58:20] 811*2^1418263-1 is not prime. Res64: A11A424EDB5C1011 Time : 0.0 sec. user=mdettweiler [2015-12-28 16:15:55] 819*2^1418263-1 is not prime. Res64: 80BB2477983B11A8 Time : 0.0 sec. user=mdettweiler [2015-12-28 16:15:56] 855*2^1418263-1 is not prime. Res64: E8CD758A3B0416E1 Time : 0.0 sec. user=mdettweiler [2015-12-28 16:15:56] 717*2^1418264-1 is not prime. Res64: 88C71C8116E067A0 Time : 0.0 sec. user=mdettweiler [2015-12-28 16:15:56] 747*2^1418264-1 is not prime. Res64: 9289D97501F76738 Time : 0.0 sec. user=mdettweiler [2015-12-28 16:33:31] 753*2^1418264-1 is not prime. Res64: F7283208488481B9 Time : 0.0 sec. user=mdettweiler [2015-12-28 16:33:32] 827*2^1418264-1 is not prime. Res64: 279D76E6C9B27010 Time : 0.0 sec. user=mdettweiler [2015-12-28 16:33:32] 819*2^1418264-1 is not prime. Res64: CA1002B26B220399 Time : 0.0 sec. user=mdettweiler [2015-12-28 16:33:32] 833*2^1418264-1 is not prime. Res64: 7DABC478580CDFF0 Time : 0.0 sec. user=mdettweiler [2015-12-28 16:51:01] 817*2^1418265-1 is not prime. Res64: 55A88EEE0DA524ED Time : 0.0 sec. user=mdettweiler [2015-12-28 16:51:01] 975*2^1418265-1 is not prime. Res64: 5B60C7B54F91C23E Time : 0.0 sec. user=mdettweiler [2015-12-28 16:51:02] 983*2^1418264-1 is not prime. Res64: 7263E8A1A2459D78 Time : 0.0 sec. user=mdettweiler [2015-12-28 16:51:02] 727*2^1418265-1 is not prime. Res64: 3E1647E9E04900C3 Time : 0.0 sec. user=mdettweiler [2015-12-28 17:08:32] 765*2^1418266-1 is not prime. Res64: 268F3D3012AF62B4 Time : 0.0 sec. user=mdettweiler [2015-12-28 17:08:33] 917*2^1418266-1 is not prime. Res64: F666843861D4F48F Time : 0.0 sec. user=mdettweiler [2015-12-28 17:08:38] 623*2^1418266-1 is not prime. Res64: 1E6856F5FBA8FAF3 Time : 0.0 sec. user=mdettweiler [2015-12-28 17:08:39] 653*2^1418266-1 is not prime. Res64: 428438050C87F12F Time : 0.0 sec. user=mdettweiler [2015-12-28 17:26:08] 621*2^1418267-1 is not prime. Res64: 9929A55AF778A6C9 Time : 0.0 sec. user=mdettweiler [2015-12-28 17:26:08] 705*2^1418267-1 is not prime. Res64: 118725BD3A3AF70A Time : 0.0 sec. user=mdettweiler [2015-12-28 17:26:08] 673*2^1418267-1 is not prime. Res64: B25265A9901786B6 Time : 0.0 sec. user=mdettweiler [2015-12-28 17:26:09] 753*2^1418267-1 is not prime. Res64: D853ED6D1531AE0A Time : 0.0 sec. user=mdettweiler [2015-12-28 17:43:37] 805*2^1418267-1 is not prime. Res64: 9148AC8656E2AD7E Time : 0.0 sec. user=mdettweiler [2015-12-28 17:43:38] 963*2^1418267-1 is not prime. Res64: F2F82A2FF9DD69A1 Time : 0.0 sec. user=mdettweiler [2015-12-28 17:43:38] 859*2^1418267-1 is not prime. Res64: A00091F9C89E3702 Time : 0.0 sec. user=mdettweiler [2015-12-28 17:43:38] 629*2^1418268-1 is not prime. Res64: 5F6F7134710A987B Time : 0.0 sec. user=mdettweiler [2015-12-28 18:01:08] 665*2^1418268-1 is not prime. Res64: DDE27AAB1BB0EDA7 Time : 0.0 sec. user=mdettweiler [2015-12-28 18:01:09] 707*2^1418268-1 is not prime. Res64: CF393A7F6BE673E8 Time : 0.0 sec. user=mdettweiler [2015-12-28 18:01:09] 705*2^1418268-1 is not prime. Res64: 17B25C39EBA95CA4 Time : 0.0 sec. user=mdettweiler [2015-12-28 18:01:10] 723*2^1418268-1 is not prime. Res64: 0BE2C1BFB1DE5806 Time : 0.0 sec. user=mdettweiler [2015-12-28 18:18:48] 783*2^1418268-1 is not prime. Res64: 379EA59D048B02C7 Time : 0.0 sec. user=mdettweiler [2015-12-28 18:18:48] 809*2^1418268-1 is not prime. Res64: F01917C067573A4F Time : 0.0 sec. user=mdettweiler [2015-12-28 18:18:49] 825*2^1418268-1 is not prime. Res64: AAB68FD55037848F Time : 0.0 sec. user=mdettweiler [2015-12-28 18:18:49] 969*2^1418268-1 is not prime. Res64: 53544C2CF111BD92 Time : 0.0 sec. user=mdettweiler [2015-12-28 18:36:19] 773*2^1418270-1 is not prime. Res64: B33AF3145B9CA352 Time : 0.0 sec. user=mdettweiler [2015-12-28 18:36:19] 797*2^1418270-1 is not prime. Res64: 529CE318D54345AC Time : 0.0 sec. user=mdettweiler [2015-12-28 18:36:23] 751*2^1418269-1 is not prime. Res64: 957E63F61C5621F4 Time : 0.0 sec. user=mdettweiler [2015-12-28 18:36:23] 847*2^1418269-1 is not prime. Res64: E017C8B97FBC3A4C Time : 0.0 sec. user=mdettweiler [2015-12-28 18:53:51] 801*2^1418270-1 is not prime. Res64: A5CFB35002C823C9 Time : 0.0 sec. user=mdettweiler [2015-12-28 18:53:52] 831*2^1418270-1 is not prime. Res64: DF1CCF218FC927AA Time : 0.0 sec. user=mdettweiler [2015-12-28 18:53:52] 845*2^1418270-1 is not prime. Res64: 349C6D38184F77D2 Time : 0.0 sec. user=mdettweiler [2015-12-28 18:53:53] 851*2^1418270-1 is not prime. Res64: 9A693A21E702AA62 Time : 0.0 sec. user=mdettweiler [2015-12-28 19:11:22] 915*2^1418270-1 is not prime. Res64: B385BCC9B30DAB5C Time : 0.0 sec. user=mdettweiler [2015-12-28 19:11:23] 957*2^1418270-1 is not prime. Res64: FF14157499C5BD02 Time : 0.0 sec. user=mdettweiler [2015-12-28 19:11:23] 921*2^1418270-1 is not prime. Res64: 604ECAC7803FBF02 Time : 0.0 sec. user=mdettweiler [2015-12-28 19:11:23] 975*2^1418271-1 is not prime. Res64: B54A468CC03BC150 Time : 0.0 sec. user=mdettweiler [2015-12-28 19:28:57] 825*2^1418272-1 is not prime. Res64: 64310B163D2D1860 Time : 0.0 sec. user=mdettweiler [2015-12-28 19:28:57] 747*2^1418272-1 is not prime. Res64: 1B83DE7BF35B3D82 Time : 0.0 sec. user=mdettweiler [2015-12-28 19:28:58] 887*2^1418272-1 is not prime. Res64: 77B8D2EAA96E833D Time : 0.0 sec. user=mdettweiler [2015-12-28 19:28:58] 797*2^1418272-1 is not prime. Res64: 0B2D9DD285321F9A Time : 0.0 sec. user=mdettweiler [2015-12-28 19:46:27] 899*2^1418272-1 is not prime. Res64: FE5BF590C66D0C70 Time : 0.0 sec. user=mdettweiler [2015-12-28 19:46:27] 631*2^1418273-1 is not prime. Res64: A1710224CD8DD085 Time : 0.0 sec. user=mdettweiler [2015-12-28 19:46:28] 691*2^1418273-1 is not prime. Res64: 2D99948A372C151F Time : 0.0 sec. user=mdettweiler [2015-12-28 19:46:29] 741*2^1418273-1 is not prime. Res64: D4E5314783D413B4 Time : 0.0 sec. user=mdettweiler [2015-12-28 20:03:58] 811*2^1418273-1 is not prime. Res64: 955F854D4226341D Time : 0.0 sec. user=mdettweiler [2015-12-28 20:04:00] 879*2^1418273-1 is not prime. Res64: 661CFA2988B5E3D0 Time : 0.0 sec. user=mdettweiler [2015-12-28 20:04:02] 837*2^1418273-1 is not prime. Res64: BA2D8F41A0DCDC33 Time : 0.0 sec. user=mdettweiler [2015-12-28 20:04:03] 663*2^1418274-1 is not prime. Res64: 706C78CEF9B2D32B Time : 0.0 sec. user=mdettweiler [2015-12-28 20:22:00] 807*2^1418274-1 is not prime. Res64: C1F641ED3A286247 Time : 0.0 sec. user=mdettweiler [2015-12-28 20:22:00] 755*2^1418274-1 is not prime. Res64: 4BBD0F4DF12B4920 Time : 0.0 sec. user=mdettweiler [2015-12-28 20:22:00] 815*2^1418274-1 is not prime. Res64: 6337CB1E1E13A5D1 Time : 0.0 sec. user=mdettweiler [2015-12-28 20:22:00] 803*2^1418274-1 is not prime. Res64: 078FA207E8E103AF Time : 0.0 sec. user=mdettweiler [2015-12-28 20:39:30] 903*2^1418274-1 is not prime. Res64: 9BD666852A3E4135 Time : 0.0 sec. user=mdettweiler [2015-12-28 20:39:30] 619*2^1418275-1 is not prime. Res64: 3EE9B1EF9EDDAADB Time : 0.0 sec. user=mdettweiler [2015-12-28 20:39:30] 825*2^1418274-1 is not prime. Res64: C261ED3D44AEC19B Time : 0.0 sec. user=mdettweiler [2015-12-28 20:39:31] 885*2^1418274-1 is not prime. Res64: A8493B69E0880321 Time : 0.0 sec. user=mdettweiler [2015-12-28 20:57:01] 651*2^1418275-1 is not prime. Res64: 7700F962347832B3 Time : 0.0 sec. user=mdettweiler [2015-12-28 20:57:02] 673*2^1418275-1 is not prime. Res64: 74F27B18A20C0ADC Time : 0.0 sec. user=mdettweiler [2015-12-28 20:57:03] 819*2^1418275-1 is not prime. Res64: 0FD39253D95214AD Time : 0.0 sec. user=mdettweiler [2015-12-28 20:57:04] 855*2^1418275-1 is not prime. Res64: 9613049EC3C27882 Time : 0.0 sec. user=mdettweiler [2015-12-28 21:14:31] 883*2^1418275-1 is not prime. Res64: 1E85EA8673576C11 Time : 0.0 sec. user=mdettweiler [2015-12-28 21:14:32] 969*2^1418275-1 is not prime. Res64: EE6C8785E8457197 Time : 0.0 sec. user=mdettweiler [2015-12-28 21:14:33] 973*2^1418275-1 is not prime. Res64: 1B91701E0711DE79 Time : 0.0 sec. user=mdettweiler [2015-12-28 21:14:33] 699*2^1418276-1 is not prime. Res64: 68E6246DB30ACBB7 Time : 0.0 sec. user=mdettweiler [2015-12-28 21:32:09] 873*2^1418276-1 is not prime. Res64: B3253C6A19EFA297 Time : 0.0 sec. user=mdettweiler [2015-12-28 21:32:10] 969*2^1418276-1 is not prime. Res64: FC680E7C143F9493 Time : 0.0 sec. user=mdettweiler [2015-12-28 21:32:10] 707*2^1418276-1 is not prime. Res64: ACC3FA6A13F5DAAD Time : 0.0 sec. user=mdettweiler [2015-12-28 21:32:11] 777*2^1418276-1 is not prime. Res64: 3485251C7B8450D4 Time : 0.0 sec. user=mdettweiler [2015-12-28 21:49:40] 983*2^1418276-1 is not prime. Res64: AFF65BA873FCF848 Time : 0.0 sec. user=mdettweiler [2015-12-28 21:49:40] 727*2^1418277-1 is not prime. Res64: 4E6274581D21AB99 Time : 0.0 sec. user=mdettweiler [2015-12-28 21:49:41] 667*2^1418277-1 is not prime. Res64: 74AFBAFAE9FAD2F7 Time : 0.0 sec. user=mdettweiler [2015-12-28 21:49:41] 735*2^1418277-1 is not prime. Res64: C18817B7AEEF15E2 Time : 0.0 sec. user=mdettweiler [2015-12-28 22:07:11] 901*2^1418277-1 is not prime. Res64: 7D383F3C5C45B64A Time : 0.0 sec. user=mdettweiler [2015-12-28 22:07:11] 817*2^1418277-1 is not prime. Res64: 8245E215D1A149D2 Time : 0.0 sec. user=mdettweiler [2015-12-28 22:07:11] 605*2^1418278-1 is not prime. Res64: 748CD6FD28229ED2 Time : 0.0 sec. user=mdettweiler [2015-12-28 22:07:12] 835*2^1418277-1 is not prime. Res64: 3CB30C09F023699E Time : 0.0 sec. user=mdettweiler [2015-12-28 22:24:44] 635*2^1418278-1 is not prime. Res64: 0A7CC52B8DC196F2 Time : 0.0 sec. user=mdettweiler [2015-12-28 22:24:44] 687*2^1418278-1 is not prime. Res64: 0D79F49A53795931 Time : 0.0 sec. user=mdettweiler [2015-12-28 22:24:44] 665*2^1418278-1 is not prime. Res64: 2F29B285023F81E2 Time : 0.0 sec. user=mdettweiler [2015-12-28 22:24:44] 707*2^1418278-1 is not prime. Res64: B10443B5B9FD17E4 Time : 0.0 sec. user=mdettweiler [2015-12-28 22:42:13] 755*2^1418278-1 is not prime. Res64: 96AD9840299EEF85 Time : 0.0 sec. user=mdettweiler [2015-12-28 22:42:13] 777*2^1418278-1 is not prime. Res64: 50F3DACC0E3DE8CC Time : 0.0 sec. user=mdettweiler [2015-12-28 22:42:14] 971*2^1418278-1 is not prime. Res64: 3D1B3246A4E7D7DD Time : 0.0 sec. user=mdettweiler [2015-12-28 22:42:15] 1001*2^1418278-1 is not prime. Res64: 173C0D7F63977E3A Time : 0.0 sec. user=mdettweiler [2015-12-28 22:59:43] 621*2^1418279-1 is not prime. Res64: 3CC25731D07406BF Time : 0.0 sec. user=mdettweiler [2015-12-28 22:59:44] 675*2^1418279-1 is not prime. Res64: 894E7C0DAC53D126 Time : 0.0 sec. user=mdettweiler [2015-12-28 22:59:44] 735*2^1418279-1 is not prime. Res64: 68F39E156AA61910 Time : 0.0 sec. user=mdettweiler [2015-12-28 22:59:45] 789*2^1418279-1 is not prime. Res64: 3CBCE96CD6CC6F9B Time : 0.0 sec. user=mdettweiler [2015-12-28 23:17:14] 859*2^1418279-1 is not prime. Res64: 4ACF7DD8FF93617C Time : 0.0 sec. user=mdettweiler [2015-12-28 23:17:14] 629*2^1418280-1 is not prime. Res64: 4224E31429E0EE2C Time : 0.0 sec. user=mdettweiler [2015-12-28 23:17:15] 875*2^1418280-1 is not prime. Res64: E2C4E2E883180485 Time : 0.0 sec. user=mdettweiler [2015-12-28 23:17:15] 913*2^1418279-1 is not prime. Res64: D9F99B32D5B95CD1 Time : 0.0 sec. user=mdettweiler [2015-12-28 23:34:45] 927*2^1418280-1 is not prime. Res64: 06E3E8B4BAE3F123 Time : 0.0 sec. user=mdettweiler [2015-12-28 23:34:45] 933*2^1418280-1 is not prime. Res64: 2933CBF21135DC16 Time : 0.0 sec. user=mdettweiler [2015-12-28 23:34:45] 959*2^1418280-1 is not prime. Res64: FD1EFA2B5E600AC1 Time : 0.0 sec. user=mdettweiler [2015-12-28 23:34:45] 705*2^1418281-1 is not prime. Res64: 40D99CA2CC7FAB5A Time : 0.0 sec. user=mdettweiler [2015-12-28 23:52:16] 871*2^1418281-1 is not prime. Res64: 0586DD6367C0119C Time : 0.0 sec. user=mdettweiler [2015-12-28 23:52:17] 895*2^1418281-1 is not prime. Res64: 8287390D8DF24F02 Time : 0.0 sec. user=mdettweiler [2015-12-28 23:52:17] 789*2^1418281-1 is not prime. Res64: D080F2282B3ACAC9 Time : 0.0 sec. user=mdettweiler [2015-12-28 23:52:18] 835*2^1418281-1 is not prime. Res64: 741937D90388C9BF Time : 0.0 sec.