user=juhehe [2013-03-18 00:02:04] 673*2^1242895-1 is not prime. Res64: A20F40C9D10EC7FA Time : 0.0 sec. user=mdettweiler [2013-03-18 00:08:06] 835*2^1242897-1 is not prime. Res64: ED200459F4D07259 Time : 0.0 sec. user=mdettweiler [2013-03-18 00:08:07] 955*2^1242897-1 is not prime. Res64: BC6840BF3ED4EF93 Time : 0.0 sec. user=mdettweiler [2013-03-18 00:17:39] 621*2^1242898-1 is not prime. Res64: DA57132A8C9FDCBE Time : 0.0 sec. user=mdettweiler [2013-03-18 00:17:39] 687*2^1242898-1 is not prime. Res64: 3D58B7230A5668F3 Time : 0.0 sec. user=vaughan [2013-03-18 00:24:24] 781*2^1242897-1 is not prime. Res64: 7C46672DED5F32A8 Time : 0.0 sec. user=mdettweiler [2013-03-18 00:25:31] 737*2^1242898-1 is not prime. Res64: 93E778F5808A2138 Time : 0.0 sec. user=mdettweiler [2013-03-18 00:25:32] 755*2^1242898-1 is not prime. Res64: ED61987ABA7CDBED Time : 0.0 sec. user=mdettweiler [2013-03-18 00:35:04] 777*2^1242898-1 is not prime. Res64: 79557C4DF7448B5C Time : 0.0 sec. user=mdettweiler [2013-03-18 00:35:04] 857*2^1242898-1 is not prime. Res64: 08F1C6F0B6B94704 Time : 0.0 sec. user=mdettweiler [2013-03-18 00:42:56] 945*2^1242898-1 is not prime. Res64: 5B0CD375C7312244 Time : 0.0 sec. user=mdettweiler [2013-03-18 00:42:56] 995*2^1242898-1 is not prime. Res64: AB672915A00FBEA8 Time : 0.0 sec. user=mdettweiler [2013-03-18 00:52:28] 619*2^1242899-1 is not prime. Res64: 212A46B05E3390C3 Time : 0.0 sec. user=mdettweiler [2013-03-18 00:52:29] 759*2^1242899-1 is not prime. Res64: 86EBB8DE3F39D797 Time : 0.0 sec. user=mdettweiler [2013-03-18 01:00:20] 813*2^1242899-1 is not prime. Res64: 01E16B950651791D Time : 0.0 sec. user=mdettweiler [2013-03-18 01:00:21] 861*2^1242899-1 is not prime. Res64: FBC3CEF7E5BCBE1E Time : 0.0 sec. user=vaughan [2013-03-18 01:02:35] 887*2^1242898-1 is not prime. Res64: 94F73AD2638C658E Time : 0.0 sec. user=mdettweiler [2013-03-18 01:09:53] 883*2^1242899-1 is not prime. Res64: BE1F18E49B035F13 Time : 0.0 sec. user=mdettweiler [2013-03-18 01:09:53] 955*2^1242899-1 is not prime. Res64: C1C92C93144A77D4 Time : 0.0 sec. user=mdettweiler [2013-03-18 01:17:47] 615*2^1242900-1 is not prime. Res64: 435722321825D0D8 Time : 0.0 sec. user=mdettweiler [2013-03-18 01:17:47] 665*2^1242900-1 is not prime. Res64: A8977CBC9C7065EB Time : 0.0 sec. user=juhehe [2013-03-18 01:23:40] 881*2^1242898-1 is not prime. Res64: EA9205C9961CEBA7 Time : 0.0 sec. user=mdettweiler [2013-03-18 01:27:19] 759*2^1242900-1 is not prime. Res64: F01C64B37D275505 Time : 0.0 sec. user=mdettweiler [2013-03-18 01:27:19] 905*2^1242900-1 is not prime. Res64: 9170FBC7B50FF17C Time : 0.0 sec. user=mdettweiler [2013-03-18 01:35:11] 957*2^1242900-1 is not prime. Res64: 59130A3EB24D28A7 Time : 0.0 sec. user=mdettweiler [2013-03-18 01:35:12] 987*2^1242900-1 is not prime. Res64: CA469E6879538083 Time : 0.0 sec. user=vaughan [2013-03-18 01:40:50] 675*2^1242900-1 is not prime. Res64: B1D08EC0AC94E983 Time : 0.0 sec. user=mdettweiler [2013-03-18 01:44:43] 825*2^1242901-1 is not prime. Res64: 2449AD4A3D01A3A2 Time : 0.0 sec. user=mdettweiler [2013-03-18 01:44:44] 855*2^1242901-1 is not prime. Res64: 4A13ADF53EAF482C Time : 0.0 sec. user=mdettweiler [2013-03-18 01:52:36] 955*2^1242901-1 is not prime. Res64: 4E99A78539D2CF6D Time : 0.0 sec. user=mdettweiler [2013-03-18 01:52:36] 615*2^1242902-1 is not prime. Res64: B8766B4126476A21 Time : 0.0 sec. user=mdettweiler [2013-03-18 02:02:08] 677*2^1242902-1 is not prime. Res64: 831549B3A371A87C Time : 0.0 sec. user=mdettweiler [2013-03-18 02:02:09] 741*2^1242902-1 is not prime. Res64: 128D2B205C2EFCD5 Time : 0.0 sec. user=juhehe [2013-03-18 02:08:30] 695*2^1242900-1 is not prime. Res64: D787C236019668C0 Time : 0.0 sec. user=mdettweiler [2013-03-18 02:10:00] 791*2^1242902-1 is not prime. Res64: 1B0FD793BF76C5B4 Time : 0.0 sec. user=mdettweiler [2013-03-18 02:10:01] 801*2^1242902-1 is not prime. Res64: 3AD7DFAF00C308CB Time : 0.0 sec. user=vaughan [2013-03-18 02:19:02] 665*2^1242902-1 is not prime. Res64: 9863E430BB701B46 Time : 0.0 sec. user=mdettweiler [2013-03-18 02:19:34] 815*2^1242902-1 is not prime. Res64: B6D3A042BF4363BF Time : 0.0 sec. user=mdettweiler [2013-03-18 02:19:35] 893*2^1242902-1 is not prime. Res64: 4BD9C04FF7CD21BB Time : 0.0 sec. user=mdettweiler [2013-03-18 02:27:24] 613*2^1242903-1 is not prime. Res64: D51BEDA7528E9ADF Time : 0.0 sec. user=mdettweiler [2013-03-18 02:27:25] 679*2^1242903-1 is not prime. Res64: 6AD1F3E17EDE8C05 Time : 0.0 sec. user=mdettweiler [2013-03-18 02:36:59] 735*2^1242903-1 is not prime. Res64: 99763577FDEE8CE6 Time : 0.0 sec. user=mdettweiler [2013-03-18 02:37:00] 823*2^1242903-1 is not prime. Res64: 81C21C8EBBB3050D Time : 0.0 sec. user=mdettweiler [2013-03-18 02:44:49] 859*2^1242903-1 is not prime. Res64: CD96983317655DAC Time : 0.0 sec. user=mdettweiler [2013-03-18 02:44:50] 919*2^1242903-1 is not prime. Res64: F5CD32EB7C0142EB Time : 0.0 sec. user=mdettweiler [2013-03-18 02:54:25] 921*2^1242903-1 is not prime. Res64: AF77A21289906D4A Time : 0.0 sec. user=mdettweiler [2013-03-18 02:54:26] 933*2^1242903-1 is not prime. Res64: D046EB0360736724 Time : 0.0 sec. user=vaughan [2013-03-18 02:57:13] 709*2^1242903-1 is not prime. Res64: 9C9EBD29612D96B1 Time : 0.0 sec. user=mdettweiler [2013-03-18 03:02:15] 991*2^1242903-1 is not prime. Res64: 19E48A6E0CECA959 Time : 0.0 sec. user=mdettweiler [2013-03-18 03:02:15] 657*2^1242904-1 is not prime. Res64: 989F50E3406B1517 Time : 0.0 sec. user=mdettweiler [2013-03-18 03:11:50] 677*2^1242904-1 is not prime. Res64: ADFD613B18CFEBB4 Time : 0.0 sec. user=mdettweiler [2013-03-18 03:11:51] 773*2^1242904-1 is not prime. Res64: C581238E26EA0587 Time : 0.0 sec. user=mdettweiler [2013-03-18 03:19:39] 669*2^1242905-1 is not prime. Res64: 722193DAD6314B9C Time : 0.0 sec. user=mdettweiler [2013-03-18 03:19:40] 987*2^1242905-1 is not prime. Res64: F9935BDCFBEF5012 Time : 0.0 sec. user=mdettweiler [2013-03-18 03:29:14] 807*2^1242906-1 is not prime. Res64: B16F1273406C5EA5 Time : 0.0 sec. user=mdettweiler [2013-03-18 03:29:15] 821*2^1242906-1 is not prime. Res64: 97D71063B0C8AE84 Time : 0.0 sec. user=juhehe [2013-03-18 03:29:23] 853*2^1242903-1 is not prime. Res64: B084C9645DD1F98C Time : 0.0 sec. user=vaughan [2013-03-18 03:35:26] 905*2^1242904-1 is not prime. Res64: 02600101F5AAA8D5 Time : 0.0 sec. user=mdettweiler [2013-03-18 03:37:04] 843*2^1242906-1 is not prime. Res64: CEB1B5A3740A01A7 Time : 0.0 sec. user=mdettweiler [2013-03-18 03:37:04] 875*2^1242906-1 is not prime. Res64: 76A6033CA1908032 Time : 0.0 sec. user=mdettweiler [2013-03-18 03:46:39] 905*2^1242906-1 is not prime. Res64: 0B7E3F66CC0D6C7F Time : 0.0 sec. user=mdettweiler [2013-03-18 03:46:39] 861*2^1242907-1 is not prime. Res64: 0370BE212EC57946 Time : 0.0 sec. user=mdettweiler [2013-03-18 03:54:28] 885*2^1242907-1 is not prime. Res64: A8BC642EDAF8CCA9 Time : 0.0 sec. user=mdettweiler [2013-03-18 03:54:28] 915*2^1242907-1 is not prime. Res64: 8D47AC9E19E9E070 Time : 0.0 sec. user=mdettweiler [2013-03-18 04:04:04] 945*2^1242907-1 is not prime. Res64: D66167A42A218FDA Time : 0.0 sec. user=mdettweiler [2013-03-18 04:04:05] 951*2^1242907-1 is not prime. Res64: 4F8AEB5A70D02266 Time : 0.0 sec. user=mdettweiler [2013-03-18 04:11:52] 961*2^1242907-1 is not prime. Res64: 55BC40E424887614 Time : 0.0 sec. user=mdettweiler [2013-03-18 04:11:53] 755*2^1242908-1 is not prime. Res64: 145642998BD0A30B Time : 0.0 sec. user=vaughan [2013-03-18 04:13:37] 871*2^1242907-1 is not prime. Res64: B056E3F756BA1FD4 Time : 0.0 sec. user=juhehe [2013-03-18 04:13:44] 615*2^1242906-1 is not prime. Res64: 7B39FD95194D03E4 Time : 0.0 sec. user=mdettweiler [2013-03-18 04:21:30] 837*2^1242908-1 is not prime. Res64: 4CF99B4F517DEBB2 Time : 0.0 sec. user=mdettweiler [2013-03-18 04:21:31] 855*2^1242908-1 is not prime. Res64: 15B8A6860A68977B Time : 0.0 sec. user=mdettweiler [2013-03-18 04:29:21] 945*2^1242908-1 is not prime. Res64: 35C4AFCEEA7FA3B5 Time : 0.0 sec. user=mdettweiler [2013-03-18 04:29:22] 615*2^1242909-1 is not prime. Res64: 51B5D9F31928B267 Time : 0.0 sec. user=mdettweiler [2013-03-18 04:38:55] 789*2^1242909-1 is not prime. Res64: 338EAD78F999C9A8 Time : 0.0 sec. user=mdettweiler [2013-03-18 04:38:56] 919*2^1242909-1 is not prime. Res64: 5CAE3EF02C99A294 Time : 0.0 sec. user=mdettweiler [2013-03-18 04:46:47] 961*2^1242909-1 is not prime. Res64: 319F87831BE06FC0 Time : 0.0 sec. user=mdettweiler [2013-03-18 04:46:47] 663*2^1242910-1 is not prime. Res64: 3E51C41ADC7E75D7 Time : 0.0 sec. user=vaughan [2013-03-18 04:51:50] 667*2^1242909-1 is not prime. Res64: FABC002986A82338 Time : 0.0 sec. user=mdettweiler [2013-03-18 04:56:21] 761*2^1242910-1 is not prime. Res64: 345C1907C4ADCD64 Time : 0.0 sec. user=mdettweiler [2013-03-18 04:56:21] 791*2^1242910-1 is not prime. Res64: 3F213C1677D0C107 Time : 0.0 sec. user=mdettweiler [2013-03-18 05:04:11] 801*2^1242910-1 is not prime. Res64: 023F7D01FBAA3848 Time : 0.0 sec. user=mdettweiler [2013-03-18 05:04:12] 885*2^1242910-1 is not prime. Res64: 63CA40D0195173B7 Time : 0.0 sec. user=mdettweiler [2013-03-18 05:13:46] 805*2^1242911-1 is not prime. Res64: 04862511B9C0A04F Time : 0.0 sec. user=mdettweiler [2013-03-18 05:13:46] 949*2^1242911-1 is not prime. Res64: 6C35F440D5B42C85 Time : 0.0 sec. user=mdettweiler [2013-03-18 05:21:36] 657*2^1242912-1 is not prime. Res64: B9A7468DF1841742 Time : 0.0 sec. user=mdettweiler [2013-03-18 05:21:37] 675*2^1242912-1 is not prime. Res64: E09A311A32CBE10F Time : 0.0 sec. user=vaughan [2013-03-18 05:30:02] 609*2^1242911-1 is not prime. Res64: 1A49FD3321B5862F Time : 0.0 sec. user=mdettweiler [2013-03-18 05:31:12] 725*2^1242912-1 is not prime. Res64: AAFC12B4CCD09BB9 Time : 0.0 sec. user=mdettweiler [2013-03-18 05:31:12] 803*2^1242912-1 is not prime. Res64: DB4056C3B86482C4 Time : 0.0 sec. user=juhehe [2013-03-18 05:34:37] 675*2^1242910-1 is not prime. Res64: 750EB27BA6334972 Time : 0.0 sec. user=mdettweiler [2013-03-18 05:39:01] 915*2^1242912-1 is not prime. Res64: E6F58F6D1F282B07 Time : 0.0 sec. user=mdettweiler [2013-03-18 05:39:02] 619*2^1242913-1 is not prime. Res64: 81AAC1E56C6D2CB7 Time : 0.0 sec. user=mdettweiler [2013-03-18 05:48:36] 675*2^1242913-1 is not prime. Res64: B49957FFCAD03367 Time : 0.0 sec. user=mdettweiler [2013-03-18 05:48:37] 691*2^1242913-1 is not prime. Res64: 7871AE9435F2EEE4 Time : 0.0 sec. user=mdettweiler [2013-03-18 05:56:27] 699*2^1242913-1 is not prime. Res64: 567D0C0352732DE7 Time : 0.0 sec. user=mdettweiler [2013-03-18 05:56:27] 847*2^1242913-1 is not prime. Res64: 567C0F799A89719E Time : 0.0 sec. user=mdettweiler [2013-03-18 06:06:02] 855*2^1242913-1 is not prime. Res64: 080C9F3CD7C36A6A Time : 0.0 sec. user=mdettweiler [2013-03-18 06:06:03] 885*2^1242913-1 is not prime. Res64: 996D722752146BD4 Time : 0.0 sec. user=vaughan [2013-03-18 06:08:17] 639*2^1242913-1 is not prime. Res64: 02EB9FF45FC42FA9 Time : 0.0 sec. user=mdettweiler [2013-03-18 06:13:52] 617*2^1242914-1 is not prime. Res64: 1865721550D3F21C Time : 0.0 sec. user=mdettweiler [2013-03-18 06:13:52] 665*2^1242914-1 is not prime. Res64: 448F15A649454FAC Time : 0.0 sec. user=juhehe [2013-03-18 06:20:34] 879*2^1242912-1 is not prime. Res64: 1F0A06C245715F3C Time : 0.0 sec. user=mdettweiler [2013-03-18 06:23:28] 827*2^1242914-1 is not prime. Res64: 7DE35ACA824E18C6 Time : 0.0 sec. user=mdettweiler [2013-03-18 06:23:29] 861*2^1242914-1 is not prime. Res64: 84934888FF981068 Time : 0.0 sec. user=mdettweiler [2013-03-18 06:31:17] 935*2^1242914-1 is not prime. Res64: 06444211608163B2 Time : 0.0 sec. user=mdettweiler [2013-03-18 06:31:17] 945*2^1242914-1 is not prime. Res64: 36DEB3EB4457A930 Time : 0.0 sec. user=mdettweiler [2013-03-18 06:40:53] 951*2^1242914-1 is not prime. Res64: EE302B835603C114 Time : 0.0 sec. user=mdettweiler [2013-03-18 06:40:54] 859*2^1242915-1 is not prime. Res64: 3B1D554214AC9B84 Time : 0.0 sec. user=vaughan [2013-03-18 06:46:27] 887*2^1242914-1 is not prime. Res64: FF16F9E7870BF7F9 Time : 0.0 sec. user=mdettweiler [2013-03-18 06:48:43] 895*2^1242915-1 is not prime. Res64: 7F227056F54A5FDE Time : 0.0 sec. user=mdettweiler [2013-03-18 06:48:44] 623*2^1242916-1 is not prime. Res64: E18842E7DCDF041B Time : 0.0 sec. user=mdettweiler [2013-03-18 06:58:18] 777*2^1242916-1 is not prime. Res64: C1DEDC7E0F70C5E6 Time : 0.0 sec. user=mdettweiler [2013-03-18 06:58:19] 779*2^1242916-1 is not prime. Res64: CA6CE8C129D0231E Time : 0.0 sec. user=mdettweiler [2013-03-18 07:06:08] 957*2^1242916-1 is not prime. Res64: DE4198661A8F4688 Time : 0.0 sec. user=mdettweiler [2013-03-18 07:06:09] 969*2^1242916-1 is not prime. Res64: C6C7401C1EC27529 Time : 0.0 sec. user=mdettweiler [2013-03-18 07:15:43] 649*2^1242917-1 is not prime. Res64: EA0ABE062942F770 Time : 0.0 sec. user=mdettweiler [2013-03-18 07:15:44] 669*2^1242917-1 is not prime. Res64: A3C51EAA6F259B4F Time : 0.0 sec. user=mdettweiler [2013-03-18 07:23:37] 801*2^1242917-1 is not prime. Res64: F4533EE16E932510 Time : 0.0 sec. user=mdettweiler [2013-03-18 07:23:37] 831*2^1242917-1 is not prime. Res64: B70578586BB25CC9 Time : 0.0 sec. user=vaughan [2013-03-18 07:24:42] 923*2^1242916-1 is not prime. Res64: F7BF412BB757BD5A Time : 0.0 sec. user=mdettweiler [2013-03-18 07:33:09] 837*2^1242917-1 is not prime. Res64: 0F549C804C4F386F Time : 0.0 sec. user=mdettweiler [2013-03-18 07:33:09] 925*2^1242917-1 is not prime. Res64: 8C2FFCB8991A570A Time : 0.0 sec. user=juhehe [2013-03-18 07:40:43] 719*2^1242916-1 is not prime. Res64: CC243A27E7334267 Time : 0.0 sec. user=mdettweiler [2013-03-18 07:41:02] 681*2^1242918-1 is not prime. Res64: 0F0C3F15BC1A0558 Time : 0.0 sec. user=mdettweiler [2013-03-18 07:41:03] 683*2^1242918-1 is not prime. Res64: 8A2616E3059483C8 Time : 0.0 sec. user=mdettweiler [2013-03-18 07:50:34] 773*2^1242918-1 is not prime. Res64: BDFB0D736A643974 Time : 0.0 sec. user=mdettweiler [2013-03-18 07:50:34] 825*2^1242918-1 is not prime. Res64: 1D4628DF89BAF6B4 Time : 0.0 sec. user=mdettweiler [2013-03-18 07:58:28] 867*2^1242918-1 is not prime. Res64: 19F223E745A9E0E5 Time : 0.0 sec. user=mdettweiler [2013-03-18 07:58:28] 601*2^1242919-1 is not prime. Res64: FCFEBA511952CD7D Time : 0.0 sec. user=vaughan [2013-03-18 08:02:52] 705*2^1242918-1 is not prime. Res64: A10E2215788910FC Time : 0.0 sec. user=mdettweiler [2013-03-18 08:07:59] 645*2^1242919-1 is not prime. Res64: 2743286CC9FA7BA1 Time : 0.0 sec. user=mdettweiler [2013-03-18 08:08:00] 649*2^1242919-1 is not prime. Res64: 2152241821F0FE6F Time : 0.0 sec. user=mdettweiler [2013-03-18 08:15:52] 679*2^1242919-1 is not prime. Res64: F3374A8F44753FEC Time : 0.0 sec. user=mdettweiler [2013-03-18 08:15:53] 763*2^1242919-1 is not prime. Res64: E46EF3A2639F55EC Time : 0.0 sec. user=mdettweiler [2013-03-18 08:25:25] 811*2^1242919-1 is not prime. Res64: F3D3963813F11A73 Time : 0.0 sec. user=mdettweiler [2013-03-18 08:25:25] 855*2^1242919-1 is not prime. Res64: 55A4D008150DCCDD Time : 0.0 sec. user=mdettweiler [2013-03-18 08:33:17] 885*2^1242919-1 is not prime. Res64: 585B33016F5C3D13 Time : 0.0 sec. user=mdettweiler [2013-03-18 08:33:18] 985*2^1242919-1 is not prime. Res64: 97B759CEFC39A839 Time : 0.0 sec. user=juhehe [2013-03-18 08:33:52] 981*2^1242917-1 is not prime. Res64: 48B0B88CB3839532 Time : 0.0 sec. user=vaughan [2013-03-18 08:41:05] 765*2^1242919-1 is not prime. Res64: E55A2C35F06B1A6C Time : 0.0 sec. user=mdettweiler [2013-03-18 08:42:50] 609*2^1242920-1 is not prime. Res64: E69B2AB66E343E59 Time : 0.0 sec. user=mdettweiler [2013-03-18 08:42:50] 615*2^1242920-1 is not prime. Res64: 8E19303B2871F047 Time : 0.0 sec. user=mdettweiler [2013-03-18 08:50:42] 743*2^1242920-1 is not prime. Res64: C2602AA923551598 Time : 0.0 sec. user=mdettweiler [2013-03-18 08:50:42] 825*2^1242920-1 is not prime. Res64: 1F592A0C8E4C4D17 Time : 0.0 sec. user=mdettweiler [2013-03-18 09:00:14] 609*2^1242921-1 is not prime. Res64: 71EA7356BB409239 Time : 0.0 sec. user=mdettweiler [2013-03-18 09:00:15] 691*2^1242921-1 is not prime. Res64: 5BB724228863B887 Time : 0.0 sec. user=mdettweiler [2013-03-18 09:08:07] 811*2^1242921-1 is not prime. Res64: 3E5D5321E73C85B4 Time : 0.0 sec. user=mdettweiler [2013-03-18 09:08:08] 861*2^1242921-1 is not prime. Res64: FF0D29220E36AF2A Time : 0.0 sec. user=mdettweiler [2013-03-18 09:17:43] 999*2^1242921-1 is not prime. Res64: 2B140A011B94E0E6 Time : 0.0 sec. user=mdettweiler [2013-03-18 09:17:44] 647*2^1242922-1 is not prime. Res64: 56978812F0239247 Time : 0.0 sec. user=vaughan [2013-03-18 09:19:18] 875*2^1242920-1 is not prime. Res64: AD496DDC5ED44741 Time : 0.0 sec. user=mdettweiler [2013-03-18 09:25:40] 653*2^1242922-1 is not prime. Res64: 6127D82837C56554 Time : 0.0 sec. user=mdettweiler [2013-03-18 09:25:40] 731*2^1242922-1 is not prime. Res64: 3A469BEE42F2D2A6 Time : 0.0 sec. user=mdettweiler [2013-03-18 09:35:19] 741*2^1242922-1 is not prime. Res64: B9CC47AAB6A6C839 Time : 0.0 sec. user=mdettweiler [2013-03-18 09:35:19] 743*2^1242922-1 is not prime. Res64: D1A7C3F751448764 Time : 0.0 sec. user=mdettweiler [2013-03-18 09:43:18] 821*2^1242922-1 is not prime. Res64: 0CFA3D814993C037 Time : 0.0 sec. user=mdettweiler [2013-03-18 09:43:19] 867*2^1242922-1 is not prime. Res64: 97C5A4B50CF2592A Time : 0.0 sec. user=juhehe [2013-03-18 09:47:28] 607*2^1242921-1 is not prime. Res64: 67FB91C8C7C21403 Time : 0.0 sec. user=mdettweiler [2013-03-18 09:52:52] 917*2^1242922-1 is not prime. Res64: BAB7EFF8D95FEEDA Time : 0.0 sec. user=mdettweiler [2013-03-18 09:52:53] 669*2^1242923-1 is not prime. Res64: B90757BBAEF07A10 Time : 0.0 sec. user=vaughan [2013-03-18 09:57:29] 777*2^1242922-1 is not prime. Res64: 075B86194741892E Time : 0.0 sec. user=mdettweiler [2013-03-18 10:00:48] 775*2^1242923-1 is not prime. Res64: 37A889849300DE79 Time : 0.0 sec. user=mdettweiler [2013-03-18 10:00:49] 813*2^1242923-1 is not prime. Res64: 123CC6219AC139D8 Time : 0.0 sec. user=mdettweiler [2013-03-18 10:10:23] 855*2^1242923-1 is not prime. Res64: 5FBB7391DB924958 Time : 0.0 sec. user=mdettweiler [2013-03-18 10:10:24] 871*2^1242923-1 is not prime. Res64: 8748B8F69F753C06 Time : 0.0 sec. user=mdettweiler [2013-03-18 10:18:21] 963*2^1242923-1 is not prime. Res64: 85B3EF679E4CC3A3 Time : 0.0 sec. user=mdettweiler [2013-03-18 10:18:21] 981*2^1242923-1 is not prime. Res64: B1B23834CC2CE3D0 Time : 0.0 sec. user=mdettweiler [2013-03-18 10:27:52] 605*2^1242924-1 is not prime. Res64: 60A6F8C1041ABAE8 Time : 0.0 sec. user=mdettweiler [2013-03-18 10:27:52] 705*2^1242924-1 is not prime. Res64: 1575833547EE4436 Time : 0.0 sec. user=mdettweiler [2013-03-18 10:35:48] 753*2^1242924-1 is not prime. Res64: 7E75C1D68B158F8B Time : 0.0 sec. user=mdettweiler [2013-03-18 10:35:48] 759*2^1242924-1 is not prime. Res64: 8775BC828CC131C8 Time : 0.0 sec. user=vaughan [2013-03-18 10:36:00] 895*2^1242923-1 is not prime. Res64: 6E95A8D0EC3EA133 Time : 0.0 sec. user=juhehe [2013-03-18 10:40:17] 675*2^1242923-1 is not prime. Res64: D18211D2A9FA7863 Time : 0.0 sec. user=mdettweiler [2013-03-18 10:45:21] 773*2^1242924-1 is not prime. Res64: 8F25B93535206940 Time : 0.0 sec. user=mdettweiler [2013-03-18 10:45:21] 789*2^1242924-1 is not prime. Res64: 3C897D60CA991965 Time : 0.0 sec. user=mdettweiler [2013-03-18 10:53:23] 873*2^1242924-1 is not prime. Res64: 37F5DADDE486E689 Time : 0.0 sec. user=mdettweiler [2013-03-18 10:53:24] 993*2^1242924-1 is not prime. Res64: 1599A1B88E0AB190 Time : 0.0 sec. user=mdettweiler [2013-03-18 11:03:03] 685*2^1242925-1 is not prime. Res64: B9A1508260C7D6A5 Time : 0.0 sec. user=mdettweiler [2013-03-18 11:03:04] 715*2^1242925-1 is not prime. Res64: 0DE59A0E8E5CA143 Time : 0.0 sec. user=mdettweiler [2013-03-18 11:10:59] 885*2^1242925-1 is not prime. Res64: 245E11C3CE47395A Time : 0.0 sec. user=mdettweiler [2013-03-18 11:11:00] 937*2^1242925-1 is not prime. Res64: D12529C4509DB346 Time : 0.0 sec. user=vaughan [2013-03-18 11:14:13] 607*2^1242925-1 is not prime. Res64: 6AF33D29AE4ACC0D Time : 0.0 sec. user=mdettweiler [2013-03-18 11:20:41] 999*2^1242925-1 is not prime. Res64: 523FAB9C58F2EB3B Time : 0.0 sec. user=mdettweiler [2013-03-18 11:20:41] 683*2^1242926-1 is not prime. Res64: 01826CE54C5B32FD Time : 0.0 sec. user=mdettweiler [2013-03-18 11:28:44] 743*2^1242926-1 is not prime. Res64: 7CE1EA7E48E1C194 Time : 0.0 sec. user=mdettweiler [2013-03-18 11:28:44] 851*2^1242926-1 is not prime. Res64: C78CB0154373C358 Time : 0.0 sec. user=mdettweiler [2013-03-18 11:38:30] 705*2^1242927-1 is not prime. Res64: 85434562F73D54D0 Time : 0.0 sec. user=mdettweiler [2013-03-18 11:38:30] 985*2^1242927-1 is not prime. Res64: FF3B3F8A695F699E Time : 0.0 sec. user=mdettweiler [2013-03-18 11:46:33] 629*2^1242928-1 is not prime. Res64: 2066B06C3AC53575 Time : 0.0 sec. user=mdettweiler [2013-03-18 11:46:34] 665*2^1242928-1 is not prime. Res64: E0CB8D21E93DF872 Time : 0.0 sec. user=vaughan [2013-03-18 11:52:26] 633*2^1242927-1 is not prime. Res64: BFC8D6F820CAE4FF Time : 0.0 sec. user=juhehe [2013-03-18 11:53:47] 805*2^1242925-1 is not prime. Res64: 3C57A0BF6B79A964 Time : 0.0 sec. user=mdettweiler [2013-03-18 11:56:20] 735*2^1242928-1 is not prime. Res64: 5A7790B4320CB4BB Time : 0.0 sec. user=mdettweiler [2013-03-18 11:56:20] 827*2^1242928-1 is not prime. Res64: 8E33F73109CB14F9 Time : 0.0 sec. user=mdettweiler [2013-03-18 12:04:25] 839*2^1242928-1 is not prime. Res64: 3C676F1692D952A6 Time : 0.0 sec. user=mdettweiler [2013-03-18 12:04:26] 887*2^1242928-1 is not prime. Res64: EC0DC8C9E0ADB9AC Time : 0.0 sec. user=mdettweiler [2013-03-18 12:14:16] 975*2^1242928-1 is not prime. Res64: 2CE3069596DE2E5A Time : 0.0 sec. user=mdettweiler [2013-03-18 12:14:16] 995*2^1242928-1 is not prime. Res64: 1B1C62FACBE98274 Time : 0.0 sec. user=mdettweiler [2013-03-18 12:22:20] 847*2^1242929-1 is not prime. Res64: B41326B62E5F3B60 Time : 0.0 sec. user=mdettweiler [2013-03-18 12:22:20] 889*2^1242929-1 is not prime. Res64: A4F023015A2220BE Time : 0.0 sec. user=mdettweiler [2013-03-18 12:32:10] 909*2^1242929-1 is not prime. Res64: F162B8FB6DF77D19 Time : 0.0 sec. user=mdettweiler [2013-03-18 12:32:10] 951*2^1242929-1 is not prime. Res64: 1F29ABCC90DC0BD4 Time : 0.0 sec. user=vaughan [2013-03-18 12:35:44] 957*2^1242928-1 is not prime. Res64: F7CDB836EB29925B Time : 0.0 sec. user=mdettweiler [2013-03-18 12:40:14] 957*2^1242929-1 is not prime. Res64: EE8D0847381F636C Time : 0.0 sec. user=mdettweiler [2013-03-18 12:40:15] 671*2^1242930-1 is not prime. Res64: CA8F80809CF919B2 Time : 0.0 sec. user=mdettweiler [2013-03-18 12:50:04] 717*2^1242930-1 is not prime. Res64: DD739848254162E0 Time : 0.0 sec. user=mdettweiler [2013-03-18 12:50:04] 725*2^1242930-1 is not prime. Res64: E5F63F12FAC502EA Time : 0.0 sec. user=mdettweiler [2013-03-18 12:58:07] 873*2^1242930-1 is not prime. Res64: 5EDEDC45EE35B2F6 Time : 0.0 sec. user=mdettweiler [2013-03-18 12:58:07] 875*2^1242930-1 is not prime. Res64: 39D0C2247D9C029D Time : 0.0 sec. user=mdettweiler [2013-03-18 13:07:53] 951*2^1242930-1 is not prime. Res64: DF253A1A20E0DB16 Time : 0.0 sec. user=mdettweiler [2013-03-18 13:07:54] 639*2^1242931-1 is not prime. Res64: 30398C840544846B Time : 0.0 sec. user=vaughan [2013-03-18 13:13:55] 801*2^1242930-1 is not prime. Res64: F084F2037F819230 Time : 0.0 sec. user=mdettweiler [2013-03-18 13:15:56] 819*2^1242931-1 is not prime. Res64: E266C427EA44EA3A Time : 0.0 sec. user=mdettweiler [2013-03-18 13:15:56] 829*2^1242931-1 is not prime. Res64: 54E0273737F22C04 Time : 0.0 sec. user=mdettweiler [2013-03-18 13:25:43] 889*2^1242931-1 is not prime. Res64: 73625A39F12705FA Time : 0.0 sec. user=mdettweiler [2013-03-18 13:25:43] 961*2^1242931-1 is not prime. Res64: 01CE89894837D048 Time : 0.0 sec. user=mdettweiler [2013-03-18 13:33:44] 885*2^1242932-1 is not prime. Res64: C423CC8B52ECFF28 Time : 0.0 sec. user=mdettweiler [2013-03-18 13:33:45] 679*2^1242933-1 is not prime. Res64: FE234D7AE70D87C2 Time : 0.0 sec. user=mdettweiler [2013-03-18 13:43:32] 735*2^1242933-1 is not prime. Res64: 3A51DC60A82DDB2B Time : 0.0 sec. user=mdettweiler [2013-03-18 13:43:33] 759*2^1242933-1 is not prime. Res64: 4B627AE4A23DB2D5 Time : 0.0 sec. user=juhehe [2013-03-18 13:48:41] 923*2^1242930-1 is not prime. Res64: EC9455AF2C01289D Time : 0.0 sec. user=mdettweiler [2013-03-18 13:51:34] 805*2^1242933-1 is not prime. Res64: CD8391F9BBDDC5CD Time : 0.0 sec. user=mdettweiler [2013-03-18 13:51:34] 817*2^1242933-1 is not prime. Res64: 075B87CE5E8199E9 Time : 0.0 sec. user=vaughan [2013-03-18 13:52:07] 699*2^1242932-1 is not prime. Res64: 34C394DEA1A8C0D0 Time : 0.0 sec. user=juhehe [2013-03-18 14:00:02] 741*2^1242931-1 is not prime. Res64: 4300E8E0C6680E79 Time : 0.0 sec. user=mdettweiler [2013-03-18 14:01:13] 835*2^1242933-1 is not prime. Res64: 1C08097F2AD506EE Time : 0.0 sec. user=mdettweiler [2013-03-18 14:01:14] 885*2^1242933-1 is not prime. Res64: 8F518241C99E6773 Time : 0.0 sec. user=mdettweiler [2013-03-18 14:09:05] 889*2^1242933-1 is not prime. Res64: B7F21C8B7087A89B Time : 0.0 sec. user=mdettweiler [2013-03-18 14:09:06] 611*2^1242934-1 is not prime. Res64: C06527530351419E Time : 0.0 sec. user=mdettweiler [2013-03-18 14:18:45] 825*2^1242934-1 is not prime. Res64: 43E3CCB8E0B58275 Time : 0.0 sec. user=mdettweiler [2013-03-18 14:18:46] 917*2^1242934-1 is not prime. Res64: 3AF72E30C7AF45D9 Time : 0.0 sec. user=mdettweiler [2013-03-18 14:26:38] 957*2^1242934-1 is not prime. Res64: CE44863FDF8CD202 Time : 0.0 sec. user=mdettweiler [2013-03-18 14:26:38] 715*2^1242935-1 is not prime. Res64: BC09E29B46714DB8 Time : 0.0 sec. user=vaughan [2013-03-18 14:30:17] 621*2^1242934-1 is not prime. Res64: 7456C5EC22F59AB3 Time : 0.0 sec. user=mdettweiler [2013-03-18 14:36:13] 783*2^1242935-1 is not prime. Res64: F2C50B9A647F530B Time : 0.0 sec. user=mdettweiler [2013-03-18 14:36:14] 789*2^1242935-1 is not prime. Res64: 35BECF36E31B6BC6 Time : 0.0 sec. user=mdettweiler [2013-03-18 14:44:07] 921*2^1242935-1 is not prime. Res64: 6BEA8DFB5056D949 Time : 0.0 sec. user=mdettweiler [2013-03-18 14:44:08] 973*2^1242935-1 is not prime. Res64: 8BEC17A302047647 Time : 0.0 sec. user=mdettweiler [2013-03-18 14:53:43] 999*2^1242935-1 is not prime. Res64: B7FE5442880240D4 Time : 0.0 sec. user=mdettweiler [2013-03-18 14:53:44] 669*2^1242936-1 is not prime. Res64: 60C6185A6BE0F7B0 Time : 0.0 sec. user=mdettweiler [2013-03-18 15:01:36] 675*2^1242936-1 is not prime. Res64: 60FF4B0C1413BDB4 Time : 0.0 sec. user=mdettweiler [2013-03-18 15:01:37] 845*2^1242936-1 is not prime. Res64: E9874C2AC8FEE086 Time : 0.0 sec. user=mdettweiler [2013-03-18 15:11:11] 829*2^1242937-1 is not prime. Res64: E55CAA5E5D775136 Time : 0.0 sec. user=mdettweiler [2013-03-18 15:11:11] 897*2^1242937-1 is not prime. Res64: 42B70E53A7BF48E4 Time : 0.0 sec. user=vaughan [2013-03-18 15:13:33] 985*2^1242935-1 is not prime. Res64: 61EDFFA7C5D6A6DD Time : 0.0 sec. user=mdettweiler [2013-03-18 15:19:05] 937*2^1242937-1 is not prime. Res64: AB3FAB170E9C2F1E Time : 0.0 sec. user=mdettweiler [2013-03-18 15:19:06] 635*2^1242938-1 is not prime. Res64: FAE5B03BB25838AE Time : 0.0 sec. user=mdettweiler [2013-03-18 15:28:39] 665*2^1242938-1 is not prime. Res64: 674F259C3571C107 Time : 0.0 sec. user=mdettweiler [2013-03-18 15:28:39] 711*2^1242938-1 is not prime. Res64: 588BAB6BDA8A82EF Time : 0.0 sec. user=mdettweiler [2013-03-18 15:36:34] 747*2^1242938-1 is not prime. Res64: ABE93E03ED2C0C83 Time : 0.0 sec. user=mdettweiler [2013-03-18 15:36:34] 825*2^1242938-1 is not prime. Res64: D956E6E2805E00FF Time : 0.0 sec. user=mdettweiler [2013-03-18 15:46:07] 951*2^1242938-1 is not prime. Res64: 826648A91DFEAECC Time : 0.0 sec. user=mdettweiler [2013-03-18 15:46:08] 987*2^1242938-1 is not prime. Res64: 0F5D3AF51E328E28 Time : 0.0 sec. user=vaughan [2013-03-18 15:51:42] 735*2^1242938-1 is not prime. Res64: 9CB62DF5ECF58E01 Time : 0.0 sec. user=mdettweiler [2013-03-18 15:54:01] 633*2^1242939-1 is not prime. Res64: 51117E70B1A1CD47 Time : 0.0 sec. user=mdettweiler [2013-03-18 15:54:02] 903*2^1242939-1 is not prime. Res64: 5EB5CB6B1D78204A Time : 0.0 sec. user=juhehe [2013-03-18 15:55:43] 649*2^1242937-1 is not prime. Res64: 141CD744F15C980A Time : 0.0 sec. user=mdettweiler [2013-03-18 16:03:37] 931*2^1242939-1 is not prime. Res64: EAD28937925E0ED1 Time : 0.0 sec. user=mdettweiler [2013-03-18 16:03:38] 955*2^1242939-1 is not prime. Res64: A3CF94DE6D903D62 Time : 0.0 sec. user=juhehe [2013-03-18 16:05:41] 931*2^1242937-1 is not prime. Res64: 57ECD958D3B4ED9B Time : 0.0 sec. user=mdettweiler [2013-03-18 16:11:34] 991*2^1242939-1 is not prime. Res64: 2765CB8F40C4D7C3 Time : 0.0 sec. user=mdettweiler [2013-03-18 16:11:34] 999*2^1242939-1 is not prime. Res64: 55E3FC0DB27EBE42 Time : 0.0 sec. user=mdettweiler [2013-03-18 16:21:13] 609*2^1242940-1 is not prime. Res64: 3F252F0EAAFF7A1F Time : 0.0 sec. user=mdettweiler [2013-03-18 16:21:14] 675*2^1242940-1 is not prime. Res64: F798267364E32388 Time : 0.0 sec. user=mdettweiler [2013-03-18 16:29:10] 635*2^1242752-1 is not prime. Res64: B4BFBD69F8CB474C Time : 0.0 sec. user=mdettweiler [2013-03-18 16:29:10] 687*2^1242940-1 is not prime. Res64: 726B02E86A14ED8D Time : 0.0 sec. user=vaughan [2013-03-18 16:34:58] 973*2^1242939-1 is not prime. Res64: AD445997D9962BFB Time : 0.0 sec. user=mdettweiler [2013-03-18 16:38:47] 983*2^1242940-1 is not prime. Res64: 23C7061ACAFB2EEA Time : 0.0 sec. user=mdettweiler [2013-03-18 16:38:48] 607*2^1242941-1 is not prime. Res64: 5E06E982BD81DB59 Time : 0.0 sec. user=mdettweiler [2013-03-18 16:46:48] 691*2^1242941-1 is not prime. Res64: 734FD6822BFAE7CC Time : 0.0 sec. user=mdettweiler [2013-03-18 16:46:49] 727*2^1242941-1 is not prime. Res64: B883A0DAF95A7013 Time : 0.0 sec. user=mdettweiler [2013-03-18 16:56:31] 683*2^1242942-1 is not prime. Res64: 8A220F1DEE9363CA Time : 0.0 sec. user=mdettweiler [2013-03-18 16:56:32] 741*2^1242942-1 is not prime. Res64: 01B5E275E1B6A599 Time : 0.0 sec. user=mdettweiler [2013-03-18 17:04:47] 921*2^1242942-1 is not prime. Res64: 23C7E73BDB420942 Time : 0.0 sec. user=mdettweiler [2013-03-18 17:04:48] 765*2^1242943-1 is not prime. Res64: EBF2C077F71D4D0D Time : 0.0 sec. user=vaughan [2013-03-18 17:13:10] 931*2^1242941-1 is not prime. Res64: 47F228E652798BA8 Time : 0.0 sec. user=mdettweiler [2013-03-18 17:15:13] 771*2^1242943-1 is not prime. Res64: 33F84D5B57FD25CC Time : 0.0 sec. user=mdettweiler [2013-03-18 17:15:13] 831*2^1242943-1 is not prime. Res64: 137A1024ECDBF0A2 Time : 0.0 sec. user=mdettweiler [2013-03-18 17:23:07] 915*2^1242943-1 is not prime. Res64: FDFB307CCCB34542 Time : 0.0 sec. user=mdettweiler [2013-03-18 17:23:08] 985*2^1242943-1 is not prime. Res64: A6B996A3DDC62DC6 Time : 0.0 sec. user=mdettweiler [2013-03-18 17:32:48] 927*2^1242944-1 is not prime. Res64: EF4A5FFAA534FB55 Time : 0.0 sec. user=mdettweiler [2013-03-18 17:32:48] 959*2^1242944-1 is not prime. Res64: FB8FDAC77502182C Time : 0.0 sec. user=mdettweiler [2013-03-18 17:40:40] 649*2^1242945-1 is not prime. Res64: A921FB0105893888 Time : 0.0 sec. user=mdettweiler [2013-03-18 17:40:41] 741*2^1242945-1 is not prime. Res64: FE9A86B3FE4B2601 Time : 0.0 sec. user=mdettweiler [2013-03-18 17:50:20] 777*2^1242945-1 is not prime. Res64: 417DBF46F5517B30 Time : 0.0 sec. user=mdettweiler [2013-03-18 17:50:21] 787*2^1242945-1 is not prime. Res64: F25BE9F23ECAD71E Time : 0.0 sec. user=vaughan [2013-03-18 17:51:24] 795*2^1242944-1 is not prime. Res64: D81789CB7C074D9F Time : 0.0 sec. user=mdettweiler [2013-03-18 17:58:15] 795*2^1242945-1 is not prime. Res64: DF66C1CB641FB8F9 Time : 0.0 sec. user=mdettweiler [2013-03-18 17:58:15] 867*2^1242945-1 is not prime. Res64: 098D3A5880B0874E Time : 0.0 sec. user=juhehe [2013-03-18 18:02:26] 883*2^1242943-1 is not prime. Res64: 7EC258F9BBBBF14F Time : 0.0 sec. user=mdettweiler [2013-03-18 18:07:56] 889*2^1242945-1 is not prime. Res64: E1653528913F9810 Time : 0.0 sec. user=mdettweiler [2013-03-18 18:07:57] 717*2^1242946-1 is not prime. Res64: 4BCFB5A119F9C406 Time : 0.0 sec. user=juhehe [2013-03-18 18:11:50] 605*2^1242944-1 is not prime. Res64: 8124C80EF4AF9669 Time : 0.0 sec. user=mdettweiler [2013-03-18 18:15:49] 815*2^1242946-1 is not prime. Res64: E9B41B922DCEC214 Time : 0.0 sec. user=mdettweiler [2013-03-18 18:15:50] 945*2^1242946-1 is not prime. Res64: 3D840FAE2F8B4255 Time : 0.0 sec. user=mdettweiler [2013-03-18 18:25:30] 633*2^1242947-1 is not prime. Res64: D8B323BF3BCC310A Time : 0.0 sec. user=mdettweiler [2013-03-18 18:25:31] 693*2^1242947-1 is not prime. Res64: B39AD38820764A66 Time : 0.0 sec. user=vaughan [2013-03-18 18:29:35] 785*2^1242946-1 is not prime. Res64: 760747854688BD5F Time : 0.0 sec. user=mdettweiler [2013-03-18 18:33:22] 715*2^1242947-1 is not prime. Res64: E16E5664E6573DD9 Time : 0.0 sec. user=mdettweiler [2013-03-18 18:33:23] 775*2^1242947-1 is not prime. Res64: 76C68E951F35081A Time : 0.0 sec. user=mdettweiler [2013-03-18 18:43:01] 913*2^1242947-1 is not prime. Res64: 6227258FDDA4914E Time : 0.0 sec. user=mdettweiler [2013-03-18 18:43:02] 963*2^1242947-1 is not prime. Res64: D988810E974EF04F Time : 0.0 sec. user=mdettweiler [2013-03-18 18:50:54] 669*2^1242948-1 is not prime. Res64: C208C41B4C6F7260 Time : 0.0 sec. user=mdettweiler [2013-03-18 18:50:55] 737*2^1242948-1 is not prime. Res64: 90C2D1587AA8E65B Time : 0.0 sec. user=mdettweiler [2013-03-18 19:00:38] 789*2^1242948-1 is not prime. Res64: 4CEBC6B8FEF960C4 Time : 0.0 sec. user=mdettweiler [2013-03-18 19:00:40] 795*2^1242948-1 is not prime. Res64: 0E02DA886C7DF7B7 Time : 0.0 sec. user=vaughan [2013-03-18 19:07:46] 665*2^1242948-1 is not prime. Res64: C4220C6210A1FCBC Time : 0.0 sec. user=mdettweiler [2013-03-18 19:08:33] 915*2^1242948-1 is not prime. Res64: 4F5F8E5D2A30D4AF Time : 0.0 sec. user=mdettweiler [2013-03-18 19:08:34] 933*2^1242948-1 is not prime. Res64: 0CD9DABB67D66FC1 Time : 0.0 sec. user=mdettweiler [2013-03-18 19:18:21] 999*2^1242948-1 is not prime. Res64: 9705336839759F56 Time : 0.0 sec. user=mdettweiler [2013-03-18 19:18:21] 681*2^1242949-1 is not prime. Res64: A707D40D3DD1EC17 Time : 0.0 sec. user=mdettweiler [2013-03-18 19:26:15] 919*2^1242949-1 is not prime. Res64: E116E35E990B5A2A Time : 0.0 sec. user=mdettweiler [2013-03-18 19:26:15] 999*2^1242949-1 is not prime. Res64: 22531AF6EC34F471 Time : 0.0 sec. user=mdettweiler [2013-03-18 19:36:01] 677*2^1242950-1 is not prime. Res64: 8CEBB90EEB68975C Time : 0.0 sec. user=mdettweiler [2013-03-18 19:36:01] 825*2^1242950-1 is not prime. Res64: DFF9D86DE8B34AD4 Time : 0.0 sec. user=mdettweiler [2013-03-18 19:43:52] 981*2^1242950-1 is not prime. Res64: 62D4FEEAF544B2C3 Time : 0.0 sec. user=mdettweiler [2013-03-18 19:43:53] 1001*2^1242950-1 is not prime. Res64: 39330C2AEAD2B090 Time : 0.0 sec. user=vaughan [2013-03-18 19:46:00] 757*2^1242949-1 is not prime. Res64: 977257D2886B7C99 Time : 0.0 sec. user=mdettweiler [2013-03-18 19:53:40] 601*2^1242951-1 is not prime. Res64: F636242AFA378278 Time : 0.0 sec. user=mdettweiler [2013-03-18 19:53:41] 619*2^1242951-1 is not prime. Res64: A963A6D517385DCF Time : 0.0 sec. user=mdettweiler [2013-03-18 20:01:30] 693*2^1242951-1 is not prime. Res64: B523F017E86EA604 Time : 0.0 sec. user=mdettweiler [2013-03-18 20:01:31] 921*2^1242951-1 is not prime. Res64: C6FAF0AD537AADE5 Time : 0.0 sec. user=juhehe [2013-03-18 20:08:31] 729*2^1242949-1 is not prime. Res64: 44F01D61B443F6FB Time : 0.0 sec. user=mdettweiler [2013-03-18 20:11:17] 979*2^1242951-1 is not prime. Res64: CE287BC0BE82993F Time : 0.0 sec. user=mdettweiler [2013-03-18 20:11:18] 603*2^1242952-1 is not prime. Res64: BD240BB093284E46 Time : 0.0 sec. user=juhehe [2013-03-18 20:18:30] 675*2^1242950-1 is not prime. Res64: BB00DE5E757500B8 Time : 0.0 sec. user=mdettweiler [2013-03-18 20:19:12] 615*2^1242952-1 is not prime. Res64: 303254D465A9DE5E Time : 0.0 sec. user=mdettweiler [2013-03-18 20:19:12] 713*2^1242952-1 is not prime. Res64: 380054CD6658BF82 Time : 0.0 sec. user=vaughan [2013-03-18 20:24:11] 943*2^1242951-1 is not prime. Res64: 6B482B8A4FA6A87E Time : 0.0 sec. user=mdettweiler [2013-03-18 20:29:00] 777*2^1242952-1 is not prime. Res64: C8490BAFFF446D85 Time : 0.0 sec. user=mdettweiler [2013-03-18 20:29:01] 857*2^1242952-1 is not prime. Res64: E023754A493A73A2 Time : 0.0 sec. user=mdettweiler [2013-03-18 20:37:02] 873*2^1242952-1 is not prime. Res64: 894887851808730F Time : 0.0 sec. user=mdettweiler [2013-03-18 20:37:02] 875*2^1242952-1 is not prime. Res64: 608C171E6D3FDBF6 Time : 0.0 sec. user=mdettweiler [2013-03-18 20:46:50] 915*2^1242952-1 is not prime. Res64: 047626FE4195DCD5 Time : 0.0 sec. user=mdettweiler [2013-03-18 20:46:51] 933*2^1242952-1 is not prime. Res64: 9A83CC639042D0A2 Time : 0.0 sec. user=mdettweiler [2013-03-18 20:54:46] 937*2^1242953-1 is not prime. Res64: B894CB9829F06CB9 Time : 0.0 sec. user=mdettweiler [2013-03-18 20:54:47] 955*2^1242953-1 is not prime. Res64: 778F3FB34EE3EB76 Time : 0.0 sec. user=vaughan [2013-03-18 21:02:25] 903*2^1242952-1 is not prime. Res64: 64928EDC067F1858 Time : 0.0 sec. user=mdettweiler [2013-03-18 21:04:31] 969*2^1242953-1 is not prime. Res64: FC9AB1FD8ECE0FEF Time : 0.0 sec. user=mdettweiler [2013-03-18 21:04:32] 981*2^1242953-1 is not prime. Res64: 0A58700AEC14369F Time : 0.0 sec. user=mdettweiler [2013-03-18 21:12:22] 741*2^1242954-1 is not prime. Res64: 896FD32DDEE558DB Time : 0.0 sec. user=mdettweiler [2013-03-18 21:12:22] 747*2^1242954-1 is not prime. Res64: 806C7355D3318510 Time : 0.0 sec. user=mdettweiler [2013-03-18 21:22:03] 941*2^1242954-1 is not prime. Res64: 10DA0BC7B2FE279B Time : 0.0 sec. user=mdettweiler [2013-03-18 21:22:04] 971*2^1242954-1 is not prime. Res64: 28285F413DADC544 Time : 0.0 sec. user=mdettweiler [2013-03-18 21:29:56] 651*2^1242955-1 is not prime. Res64: CCEC8C133F4593F9 Time : 0.0 sec. user=mdettweiler [2013-03-18 21:29:57] 699*2^1242955-1 is not prime. Res64: FB24B529780D5696 Time : 0.0 sec. user=mdettweiler [2013-03-18 21:39:45] 969*2^1242955-1 is not prime. Res64: 06301399643AB8D9 Time : 0.0 sec. user=mdettweiler [2013-03-18 21:39:46] 647*2^1242956-1 is not prime. Res64: 544888AC99A150D4 Time : 0.0 sec. user=vaughan [2013-03-18 21:40:36] 767*2^1242954-1 is not prime. Res64: 8002834F9FB9AD21 Time : 0.0 sec. user=mdettweiler [2013-03-18 21:47:54] 669*2^1242956-1 is not prime. Res64: 9CF3E2A23527067C Time : 0.0 sec. user=mdettweiler [2013-03-18 21:47:54] 683*2^1242956-1 is not prime. Res64: BB7D7A2955BB43C9 Time : 0.0 sec. user=mdettweiler [2013-03-18 21:57:54] 855*2^1242956-1 is not prime. Res64: 642A2EC6ABB93945 Time : 0.0 sec. user=mdettweiler [2013-03-18 21:57:54] 957*2^1242956-1 is not prime. Res64: B19C96F39F087B55 Time : 0.0 sec. user=mdettweiler [2013-03-18 22:05:57] 685*2^1242957-1 is not prime. Res64: 25C8A2CBF5DA7D9F Time : 0.0 sec. user=mdettweiler [2013-03-18 22:05:58] 825*2^1242957-1 is not prime. Res64: 61A8AD55AFE305A9 Time : 0.0 sec. user=juhehe [2013-03-18 22:15:08] 609*2^1242955-1 is not prime. Res64: 7978B8964FDF2C5B Time : 0.0 sec. user=mdettweiler [2013-03-18 22:15:43] 861*2^1242957-1 is not prime. Res64: 9847CDCC86E10340 Time : 0.0 sec. user=mdettweiler [2013-03-18 22:15:44] 865*2^1242957-1 is not prime. Res64: A3B4EB1C3E133054 Time : 0.0 sec. user=vaughan [2013-03-18 22:18:48] 669*2^1242957-1 is not prime. Res64: 06C76CE45F2AA13C Time : 0.0 sec. user=mdettweiler [2013-03-18 22:23:39] 891*2^1242957-1 is not prime. Res64: 5FCF77D5DE215038 Time : 0.0 sec. user=mdettweiler [2013-03-18 22:23:39] 663*2^1242958-1 is not prime. Res64: 931BB37DB1ABD527 Time : 0.0 sec. user=mdettweiler [2013-03-18 22:33:20] 681*2^1242958-1 is not prime. Res64: 01A708A4EC3B7364 Time : 0.0 sec. user=mdettweiler [2013-03-18 22:33:21] 713*2^1242958-1 is not prime. Res64: 704116B9C8B208C3 Time : 0.0 sec. user=mdettweiler [2013-03-18 22:41:07] 855*2^1242958-1 is not prime. Res64: 74B5A04C5D8B7857 Time : 0.0 sec. user=mdettweiler [2013-03-18 22:41:07] 885*2^1242958-1 is not prime. Res64: 2715FB2CAFF4A471 Time : 0.0 sec. user=mdettweiler [2013-03-18 22:50:50] 891*2^1242958-1 is not prime. Res64: 0696278E936C64E6 Time : 0.0 sec. user=mdettweiler [2013-03-18 22:50:51] 923*2^1242958-1 is not prime. Res64: 3BB7602712077640 Time : 0.0 sec. user=vaughan [2013-03-18 22:56:58] 723*2^1242958-1 is not prime. Res64: 052C00F5AB791FB9 Time : 0.0 sec. user=mdettweiler [2013-03-18 22:58:39] 971*2^1242958-1 is not prime. Res64: 55FB6B93384BED76 Time : 0.0 sec. user=mdettweiler [2013-03-18 22:58:39] 661*2^1242959-1 is not prime. Res64: F0BFFA15D42D8BCD Time : 0.0 sec. user=mdettweiler [2013-03-18 23:08:16] 663*2^1242959-1 is not prime. Res64: 9E65EDA8EF7D97A1 Time : 0.0 sec. user=mdettweiler [2013-03-18 23:08:17] 741*2^1242959-1 is not prime. Res64: 66886229E794E32F Time : 0.0 sec. user=mdettweiler [2013-03-18 23:16:05] 955*2^1242959-1 is not prime. Res64: FC2CE5412B48295A Time : 0.0 sec. user=mdettweiler [2013-03-18 23:16:05] 635*2^1242960-1 is not prime. Res64: 14391F10AD9E9B62 Time : 0.0 sec. user=mdettweiler [2013-03-18 23:25:44] 653*2^1242960-1 is not prime. Res64: 02E5C960C18CE7DF Time : 0.0 sec. user=mdettweiler [2013-03-18 23:25:45] 753*2^1242960-1 is not prime. Res64: D1AE6CD1253D9EA2 Time : 0.0 sec. user=juhehe [2013-03-18 23:25:52] 737*2^1242958-1 is not prime. Res64: 93F41DC2BF7CA153 Time : 0.0 sec. user=mdettweiler [2013-03-18 23:33:33] 789*2^1242960-1 is not prime. Res64: 177D0A145EA5FED8 Time : 0.0 sec. user=mdettweiler [2013-03-18 23:33:34] 927*2^1242960-1 is not prime. Res64: F582BC69F43F70EE Time : 0.0 sec. user=vaughan [2013-03-18 23:35:09] 745*2^1242959-1 is not prime. Res64: 63E0DB38ABE943A3 Time : 0.0 sec. user=mdettweiler [2013-03-18 23:43:12] 691*2^1242961-1 is not prime. Res64: BAFA6930724CC566 Time : 0.0 sec. user=mdettweiler [2013-03-18 23:43:13] 715*2^1242961-1 is not prime. Res64: 869F9234963D53CC Time : 0.0 sec. user=mdettweiler [2013-03-18 23:50:58] 745*2^1242961-1 is not prime. Res64: FFD8C6E1784D9799 Time : 0.0 sec. user=mdettweiler [2013-03-18 23:50:59] 751*2^1242961-1 is not prime. Res64: 05ECAF22091D73CE Time : 0.0 sec. user=mdettweiler [2013-03-19 00:00:37] 847*2^1242961-1 is not prime. Res64: 26E6BC12AA700473 Time : 0.0 sec. user=mdettweiler [2013-03-19 00:00:38] 645*2^1242962-1 is not prime. Res64: C003AEFC63F537FD Time : 0.0 sec.