user=mdettweiler [2012-09-01 00:03:16] 915*2^1227958-1 is not prime. Res64: 2055F20781EA64F7 Time : 0.0 sec. user=mdettweiler [2012-09-01 00:09:23] 745*2^1227959-1 is not prime. Res64: 4232AC8CC18225C8 Time : 0.0 sec. user=mdettweiler [2012-09-01 00:15:58] 993*2^1227959-1 is not prime. Res64: 6165052C80DF985F Time : 0.0 sec. user=mdettweiler [2012-09-01 00:15:59] 689*2^1227960-1 is not prime. Res64: CD37928B55D0785B Time : 0.0 sec. user=mdettweiler [2012-09-01 00:16:01] 765*2^1227960-1 is not prime. Res64: DD83839FEA884D32 Time : 0.0 sec. user=mdettweiler [2012-09-01 00:16:02] 797*2^1227960-1 is not prime. Res64: 73CF0CBF9CB93DEC Time : 0.0 sec. user=mdettweiler [2012-09-01 00:32:51] 927*2^1227960-1 is not prime. Res64: A65E0FDF8D17EBB4 Time : 0.0 sec. user=juhehe [2012-09-01 00:36:32] 799*2^1227959-1 is not prime. Res64: C6EA47AA01E7FCE4 Time : 0.0 sec. user=vaughan [2012-09-01 00:36:35] 825*2^1227960-1 is not prime. Res64: 8C330198E974C5CA Time : 0.0 sec. user=mdettweiler [2012-09-01 00:36:55] 705*2^1227961-1 is not prime. Res64: B1A8D198610A416E Time : 0.0 sec. user=mdettweiler [2012-09-01 00:36:55] 801*2^1227961-1 is not prime. Res64: F5938543AD7DDABA Time : 0.0 sec. user=mdettweiler [2012-09-01 00:36:59] 817*2^1227961-1 is not prime. Res64: D0DFAA4A64FB4250 Time : 0.0 sec. user=mdettweiler [2012-09-01 00:37:00] 975*2^1227961-1 is not prime. Res64: 2DE4F711159D69A3 Time : 0.0 sec. user=mdettweiler [2012-09-01 00:39:06] 615*2^1227961-1 is not prime. Res64: 251A7582D57BBA3E Time : 0.0 sec. user=mdettweiler [2012-09-01 00:57:50] 747*2^1227962-1 is not prime. Res64: F70B42589026A489 Time : 0.0 sec. user=mdettweiler [2012-09-01 00:57:50] 873*2^1227962-1 is not prime. Res64: 2C469ED36F02EA69 Time : 0.0 sec. user=mdettweiler [2012-09-01 00:57:54] 977*2^1227962-1 is not prime. Res64: B3F88592104E8565 Time : 0.0 sec. user=mdettweiler [2012-09-01 00:57:54] 781*2^1227963-1 is not prime. Res64: ED7264CC4BE407BB Time : 0.0 sec. user=mdettweiler [2012-09-01 01:02:31] 999*2^1227961-1 is not prime. Res64: 5FAA2947A3B89746 Time : 0.0 sec. user=mdettweiler [2012-09-01 01:08:53] 793*2^1227963-1 is not prime. Res64: 24ACD463D1566A34 Time : 0.0 sec. user=vaughan [2012-09-01 01:14:20] 671*2^1227962-1 is not prime. Res64: 10510EAF60D6F61B Time : 0.0 sec. user=mdettweiler [2012-09-01 01:18:42] 805*2^1227963-1 is not prime. Res64: 1961CD9AA53191E4 Time : 0.0 sec. user=mdettweiler [2012-09-01 01:18:42] 871*2^1227963-1 is not prime. Res64: A5BDB1A79B863919 Time : 0.0 sec. user=mdettweiler [2012-09-01 01:18:45] 991*2^1227963-1 is not prime. Res64: 0CF724DED55640E5 Time : 0.0 sec. user=mdettweiler [2012-09-01 01:18:45] 687*2^1227964-1 is not prime. Res64: 44C125778BF6FEEF Time : 0.0 sec. user=mdettweiler [2012-09-01 01:32:05] 705*2^1227964-1 is not prime. Res64: 6F1DA3E977CEADD2 Time : 0.0 sec. user=mdettweiler [2012-09-01 01:38:54] 723*2^1227964-1 is not prime. Res64: 87E5837964DC84A9 Time : 0.0 sec. user=mdettweiler [2012-09-01 01:39:35] 759*2^1227964-1 is not prime. Res64: 4A85A650780A8E77 Time : 0.0 sec. user=mdettweiler [2012-09-01 01:39:35] 995*2^1227964-1 is not prime. Res64: 00E9B9A6A78B8362 Time : 0.0 sec. user=mdettweiler [2012-09-01 01:39:38] 657*2^1227965-1 is not prime. Res64: FFB5084C1BAB0E66 Time : 0.0 sec. user=mdettweiler [2012-09-01 01:39:38] 861*2^1227965-1 is not prime. Res64: 4F3841C860B44B9F Time : 0.0 sec. user=vaughan [2012-09-01 01:52:05] 749*2^1227964-1 is not prime. Res64: 2DBB94A7B46EE4FA Time : 0.0 sec. user=mdettweiler [2012-09-01 02:00:27] 615*2^1227966-1 is not prime. Res64: E3FA0015158A17E8 Time : 0.0 sec. user=mdettweiler [2012-09-01 02:00:28] 653*2^1227966-1 is not prime. Res64: 49029A35DD107DD8 Time : 0.0 sec. user=mdettweiler [2012-09-01 02:00:30] 717*2^1227966-1 is not prime. Res64: D5F320264879D23F Time : 0.0 sec. user=mdettweiler [2012-09-01 02:00:31] 737*2^1227966-1 is not prime. Res64: 6C4FFA35E38E98D1 Time : 0.0 sec. user=mdettweiler [2012-09-01 02:01:56] 889*2^1227965-1 is not prime. Res64: 73B4EBFB10DD0005 Time : 0.0 sec. user=mdettweiler [2012-09-01 02:08:43] 969*2^1227965-1 is not prime. Res64: A84EB3AF2CCA4BA6 Time : 0.0 sec. user=mdettweiler [2012-09-01 02:21:21] 983*2^1227966-1 is not prime. Res64: BD5117ACF0DFF0A6 Time : 0.0 sec. user=mdettweiler [2012-09-01 02:21:21] 601*2^1227967-1 is not prime. Res64: F9C8CB9B7DC10ECF Time : 0.0 sec. user=mdettweiler [2012-09-01 02:21:22] 735*2^1227967-1 is not prime. Res64: 693D93EF90864084 Time : 0.0 sec. user=mdettweiler [2012-09-01 02:21:23] 831*2^1227967-1 is not prime. Res64: 5325FCD23BF3BA07 Time : 0.0 sec. user=vaughan [2012-09-01 02:29:50] 741*2^1227966-1 is not prime. Res64: 8E1D465CF3E79284 Time : 0.0 sec. user=mdettweiler [2012-09-01 02:31:31] 909*2^1227967-1 is not prime. Res64: BFC0E3AE7E4E2E85 Time : 0.0 sec. user=mdettweiler [2012-09-01 02:38:19] 961*2^1227967-1 is not prime. Res64: A73B6C76968B111D Time : 0.0 sec. user=juhehe [2012-09-01 02:41:20] 761*2^1227966-1 is not prime. Res64: 9D1C114158FBE4B4 Time : 0.0 sec. user=mdettweiler [2012-09-01 02:42:14] 713*2^1227968-1 is not prime. Res64: 731FEC82736B9F26 Time : 0.0 sec. user=mdettweiler [2012-09-01 02:42:14] 993*2^1227967-1 is not prime. Res64: 24282C8906D11191 Time : 0.0 sec. user=mdettweiler [2012-09-01 02:42:15] 743*2^1227968-1 is not prime. Res64: E4EC00752A611D1F Time : 0.0 sec. user=mdettweiler [2012-09-01 02:42:15] 753*2^1227968-1 is not prime. Res64: A6641D5F96587BA2 Time : 0.0 sec. user=mdettweiler [2012-09-01 03:01:08] 839*2^1227968-1 is not prime. Res64: BD1A089CB7F8E888 Time : 0.0 sec. user=mdettweiler [2012-09-01 03:03:07] 945*2^1227968-1 is not prime. Res64: 92C58F4AF839A15D Time : 0.0 sec. user=mdettweiler [2012-09-01 03:03:07] 781*2^1227969-1 is not prime. Res64: CA43558BF3F2B6E9 Time : 0.0 sec. user=mdettweiler [2012-09-01 03:03:08] 669*2^1227969-1 is not prime. Res64: AB131BA46F9A0912 Time : 0.0 sec. user=mdettweiler [2012-09-01 03:03:08] 787*2^1227969-1 is not prime. Res64: B848617E4CD9D63B Time : 0.0 sec. user=vaughan [2012-09-01 03:07:34] 773*2^1227968-1 is not prime. Res64: D48AFDE4BA0E9B5B Time : 0.0 sec. user=mdettweiler [2012-09-01 03:08:04] 845*2^1227968-1 is not prime. Res64: FA0A58DBCF23FFFF Time : 0.0 sec. user=mdettweiler [2012-09-01 03:23:59] 909*2^1227969-1 is not prime. Res64: C2E1B621C1700547 Time : 0.0 sec. user=mdettweiler [2012-09-01 03:23:59] 951*2^1227969-1 is not prime. Res64: 9077820B45C64F50 Time : 0.0 sec. user=mdettweiler [2012-09-01 03:23:59] 985*2^1227969-1 is not prime. Res64: 3AAC693A36BA54A0 Time : 0.0 sec. user=mdettweiler [2012-09-01 03:24:00] 663*2^1227970-1 is not prime. Res64: 8E1DBF2D12404105 Time : 0.0 sec. user=mdettweiler [2012-09-01 03:30:53] 891*2^1227969-1 is not prime. Res64: B14D4851F8663364 Time : 0.0 sec. user=mdettweiler [2012-09-01 03:37:39] 857*2^1227970-1 is not prime. Res64: 36169E6C57A3CBD7 Time : 0.0 sec. user=mdettweiler [2012-09-01 03:44:51] 663*2^1227971-1 is not prime. Res64: 3C55FA67AEF946BD Time : 0.0 sec. user=mdettweiler [2012-09-01 03:44:52] 759*2^1227972-1 is not prime. Res64: 83D679147B8CD67B Time : 0.0 sec. user=mdettweiler [2012-09-01 03:44:52] 765*2^1227972-1 is not prime. Res64: 9B04C48EBD5285BC Time : 0.0 sec. user=mdettweiler [2012-09-01 03:44:53] 857*2^1227972-1 is not prime. Res64: 1E0CA8AB47FA31D5 Time : 0.0 sec. user=vaughan [2012-09-01 03:45:18] 687*2^1227970-1 is not prime. Res64: 2657B080C39F5880 Time : 0.0 sec. user=gd_barnes [2012-09-01 03:47:48] 917*2^1227970-1 is not prime. Res64: E9F3C6D135EE0770 Time : 0.0 sec. user=gd_barnes [2012-09-01 03:56:23] 899*2^1227972-1 is not prime. Res64: 6BAB311FB8F3DD1F Time : 0.0 sec. user=mdettweiler [2012-09-01 04:00:36] 875*2^1227972-1 is not prime. Res64: 0527A3E411D25CBE Time : 0.0 sec. user=mdettweiler [2012-09-01 04:05:49] 897*2^1227973-1 is not prime. Res64: 65AB4047FCE8F908 Time : 0.0 sec. user=mdettweiler [2012-09-01 04:05:50] 705*2^1227974-1 is not prime. Res64: E95F69C82C37E614 Time : 0.0 sec. user=mdettweiler [2012-09-01 04:05:51] 901*2^1227973-1 is not prime. Res64: C2840A6936077D7C Time : 0.0 sec. user=mdettweiler [2012-09-01 04:05:53] 743*2^1227974-1 is not prime. Res64: 957529648CB520AF Time : 0.0 sec. user=mdettweiler [2012-09-01 04:07:17] 965*2^1227972-1 is not prime. Res64: CE639AC30887F7E0 Time : 0.0 sec. user=vaughan [2012-09-01 04:23:01] 773*2^1227974-1 is not prime. Res64: 42FFF86DCF2CA6E6 Time : 0.0 sec. user=mdettweiler [2012-09-01 04:26:48] 797*2^1227974-1 is not prime. Res64: B2C0AADF53D6C1EF Time : 0.0 sec. user=mdettweiler [2012-09-01 04:26:49] 813*2^1227974-1 is not prime. Res64: C85E2138A7210BB6 Time : 0.0 sec. user=mdettweiler [2012-09-01 04:26:50] 825*2^1227974-1 is not prime. Res64: E5B8D07F679BAF87 Time : 0.0 sec. user=mdettweiler [2012-09-01 04:26:50] 861*2^1227974-1 is not prime. Res64: 5783AB757BD0BDC0 Time : 0.0 sec. user=mdettweiler [2012-09-01 04:35:56] 887*2^1227974-1 is not prime. Res64: FC3862334A3FD8E8 Time : 0.0 sec. user=juhehe [2012-09-01 04:47:13] 791*2^1227974-1 is not prime. Res64: 327B81F3F92FCD18 Time : 0.0 sec. user=mdettweiler [2012-09-01 04:47:43] 917*2^1227974-1 is not prime. Res64: 361FD48FD730E7DA Time : 0.0 sec. user=mdettweiler [2012-09-01 04:47:43] 669*2^1227975-1 is not prime. Res64: 33F720CDDC2A7192 Time : 0.0 sec. user=mdettweiler [2012-09-01 04:47:44] 709*2^1227975-1 is not prime. Res64: 4C37CC727137CB0E Time : 0.0 sec. user=mdettweiler [2012-09-01 04:47:44] 739*2^1227975-1 is not prime. Res64: 4576A45379D41E63 Time : 0.0 sec. user=vaughan [2012-09-01 05:00:58] 903*2^1227974-1 is not prime. Res64: 99F52EF6C92827B2 Time : 0.0 sec. user=mdettweiler [2012-09-01 05:01:25] 751*2^1227975-1 is not prime. Res64: F9532A2411E24F17 Time : 0.0 sec. user=mdettweiler [2012-09-01 05:05:31] 765*2^1227975-1 is not prime. Res64: 683BA1B0977BF37F Time : 0.0 sec. user=mdettweiler [2012-09-01 05:08:38] 657*2^1227976-1 is not prime. Res64: C9EE3F077EE3F4D0 Time : 0.0 sec. user=mdettweiler [2012-09-01 05:08:38] 823*2^1227975-1 is not prime. Res64: 412223529F5E5AE4 Time : 0.0 sec. user=mdettweiler [2012-09-01 05:08:39] 689*2^1227976-1 is not prime. Res64: 6FBEA9EA818DC416 Time : 0.0 sec. user=mdettweiler [2012-09-01 05:08:39] 885*2^1227975-1 is not prime. Res64: 9F918E16CA602FF6 Time : 0.0 sec. user=mdettweiler [2012-09-01 05:29:35] 869*2^1227976-1 is not prime. Res64: CBFE7C0B48D917AF Time : 0.0 sec. user=mdettweiler [2012-09-01 05:29:35] 887*2^1227976-1 is not prime. Res64: 92CC4C817269F52C Time : 0.0 sec. user=mdettweiler [2012-09-01 05:29:38] 993*2^1227976-1 is not prime. Res64: 2B951F382A75D70B Time : 0.0 sec. user=mdettweiler [2012-09-01 05:29:38] 607*2^1227977-1 is not prime. Res64: 90DFB2570128C097 Time : 0.0 sec. user=mdettweiler [2012-09-01 05:30:59] 723*2^1227976-1 is not prime. Res64: D2F4882B64B15AFA Time : 0.0 sec. user=mdettweiler [2012-09-01 05:35:22] 735*2^1227976-1 is not prime. Res64: 1BD2470421732BE1 Time : 0.0 sec. user=vaughan [2012-09-01 05:38:54] 695*2^1227976-1 is not prime. Res64: 66C2EA6D53228E9C Time : 0.0 sec. user=mdettweiler [2012-09-01 05:50:27] 669*2^1227977-1 is not prime. Res64: E62C8355025A6B69 Time : 0.0 sec. user=mdettweiler [2012-09-01 05:50:27] 715*2^1227977-1 is not prime. Res64: C693DAABC293E1EA Time : 0.0 sec. user=mdettweiler [2012-09-01 05:50:31] 627*2^1227978-1 is not prime. Res64: 96F394F74D3F11DA Time : 0.0 sec. user=mdettweiler [2012-09-01 05:50:31] 635*2^1227978-1 is not prime. Res64: 80F1B1F7C7002A21 Time : 0.0 sec. user=mdettweiler [2012-09-01 06:00:34] 707*2^1227978-1 is not prime. Res64: 38639557DD977D4D Time : 0.0 sec. user=mdettweiler [2012-09-01 06:04:50] 915*2^1227978-1 is not prime. Res64: A1EE44696C17EF5C Time : 0.0 sec. user=mdettweiler [2012-09-01 06:11:19] 723*2^1227979-1 is not prime. Res64: 8C2056B2C7ED4073 Time : 0.0 sec. user=mdettweiler [2012-09-01 06:11:20] 735*2^1227979-1 is not prime. Res64: 4FAE26B7B06736F7 Time : 0.0 sec. user=mdettweiler [2012-09-01 06:11:23] 769*2^1227979-1 is not prime. Res64: 0A4008E205BD9A70 Time : 0.0 sec. user=mdettweiler [2012-09-01 06:11:25] 859*2^1227979-1 is not prime. Res64: D7269F145695A301 Time : 0.0 sec. user=juhehe [2012-09-01 06:12:08] 637*2^1227977-1 is not prime. Res64: CFD0BE8036DFA010 Time : 0.0 sec. user=vaughan [2012-09-01 06:16:36] 649*2^1227979-1 is not prime. Res64: CBCCC72431CADD33 Time : 0.0 sec. user=mdettweiler [2012-09-01 06:30:21] 873*2^1227979-1 is not prime. Res64: 8BFCEAD7993301D7 Time : 0.0 sec. user=mdettweiler [2012-09-01 06:32:20] 755*2^1227980-1 is not prime. Res64: F3799F1E25CEF467 Time : 0.0 sec. user=mdettweiler [2012-09-01 06:32:20] 789*2^1227980-1 is not prime. Res64: E646781BC335AA7A Time : 0.0 sec. user=mdettweiler [2012-09-01 06:32:22] 983*2^1227980-1 is not prime. Res64: 78CB74995373805D Time : 0.0 sec. user=mdettweiler [2012-09-01 06:32:22] 995*2^1227980-1 is not prime. Res64: CA3794FF41F98BE6 Time : 0.0 sec. user=mdettweiler [2012-09-01 06:34:29] 999*2^1227979-1 is not prime. Res64: 4E35F086442C530D Time : 0.0 sec. user=mdettweiler [2012-09-01 06:53:12] 669*2^1227981-1 is not prime. Res64: 737896BCDD2619BC Time : 0.0 sec. user=mdettweiler [2012-09-01 06:53:12] 711*2^1227981-1 is not prime. Res64: 23C3A24A9FFBF733 Time : 0.0 sec. user=mdettweiler [2012-09-01 06:53:14] 735*2^1227981-1 is not prime. Res64: C249E842D3D8EB60 Time : 0.0 sec. user=mdettweiler [2012-09-01 06:53:14] 795*2^1227981-1 is not prime. Res64: DE7A23C99AFA2EB5 Time : 0.0 sec. user=vaughan [2012-09-01 06:54:27] 999*2^1227980-1 is not prime. Res64: 25B6531221337F4F Time : 0.0 sec. user=mdettweiler [2012-09-01 06:59:54] 651*2^1227981-1 is not prime. Res64: 0581BB3506CD089B Time : 0.0 sec. user=mdettweiler [2012-09-01 07:04:02] 835*2^1227981-1 is not prime. Res64: 78E1369C2AEAC37D Time : 0.0 sec. user=mdettweiler [2012-09-01 07:14:04] 877*2^1227981-1 is not prime. Res64: 37541975FD8281CB Time : 0.0 sec. user=mdettweiler [2012-09-01 07:14:05] 937*2^1227981-1 is not prime. Res64: 3B7EFF5BC305A912 Time : 0.0 sec. user=mdettweiler [2012-09-01 07:14:07] 999*2^1227981-1 is not prime. Res64: 8A06F0FBF462A83A Time : 0.0 sec. user=mdettweiler [2012-09-01 07:14:08] 653*2^1227982-1 is not prime. Res64: E2D538494890855E Time : 0.0 sec. user=mdettweiler [2012-09-01 07:29:29] 801*2^1227982-1 is not prime. Res64: D1A0390124978CE7 Time : 0.0 sec. user=vaughan [2012-09-01 07:32:09] 681*2^1227982-1 is not prime. Res64: 616C3227BB5CAAFB Time : 0.0 sec. user=mdettweiler [2012-09-01 07:33:39] 821*2^1227982-1 is not prime. Res64: 26E5DB6028939FF7 Time : 0.0 sec. user=mdettweiler [2012-09-01 07:35:04] 833*2^1227982-1 is not prime. Res64: 9912A1E2DA211D5D Time : 0.0 sec. user=mdettweiler [2012-09-01 07:35:04] 885*2^1227982-1 is not prime. Res64: 518E3D566FC32546 Time : 0.0 sec. user=mdettweiler [2012-09-01 07:35:05] 887*2^1227982-1 is not prime. Res64: 15E98D1588B04CEF Time : 0.0 sec. user=mdettweiler [2012-09-01 07:35:05] 915*2^1227982-1 is not prime. Res64: 16A5F5D1F0482B92 Time : 0.0 sec. user=mdettweiler [2012-09-01 07:55:57] 721*2^1227983-1 is not prime. Res64: EA84D36FF4520917 Time : 0.0 sec. user=mdettweiler [2012-09-01 07:55:57] 745*2^1227983-1 is not prime. Res64: B477F2D3384592FA Time : 0.0 sec. user=mdettweiler [2012-09-01 07:55:59] 871*2^1227983-1 is not prime. Res64: 74C62A2CCCA1B664 Time : 0.0 sec. user=mdettweiler [2012-09-01 07:55:59] 879*2^1227983-1 is not prime. Res64: 56F5990ABA7FBA3B Time : 0.0 sec. user=mdettweiler [2012-09-01 07:59:04] 965*2^1227982-1 is not prime. Res64: 9E2C0E790F7D08B9 Time : 0.0 sec. user=mdettweiler [2012-09-01 08:03:14] 1001*2^1227982-1 is not prime. Res64: 60EC6A7A903BF070 Time : 0.0 sec. user=vaughan [2012-09-01 08:09:50] 983*2^1227982-1 is not prime. Res64: C6632E238662FC67 Time : 0.0 sec. user=mdettweiler [2012-09-01 08:16:52] 939*2^1227983-1 is not prime. Res64: 5D2CDA37F1761B6D Time : 0.0 sec. user=mdettweiler [2012-09-01 08:16:52] 981*2^1227983-1 is not prime. Res64: B5AE14EF838C2661 Time : 0.0 sec. user=mdettweiler [2012-09-01 08:16:53] 605*2^1227984-1 is not prime. Res64: E7D8BD0673E7A186 Time : 0.0 sec. user=mdettweiler [2012-09-01 08:16:54] 663*2^1227984-1 is not prime. Res64: AFA3D437C4081614 Time : 0.0 sec. user=mdettweiler [2012-09-01 08:28:36] 773*2^1227984-1 is not prime. Res64: A0F085EB10F27778 Time : 0.0 sec. user=mdettweiler [2012-09-01 08:32:50] 825*2^1227984-1 is not prime. Res64: CB6D5B697F96BE74 Time : 0.0 sec. user=mdettweiler [2012-09-01 08:37:44] 887*2^1227984-1 is not prime. Res64: 9E8F83553DE20577 Time : 0.0 sec. user=mdettweiler [2012-09-01 08:37:45] 917*2^1227984-1 is not prime. Res64: EAF19090C163C87A Time : 0.0 sec. user=mdettweiler [2012-09-01 08:37:46] 625*2^1227985-1 is not prime. Res64: A870D91CFFC13D50 Time : 0.0 sec. user=mdettweiler [2012-09-01 08:37:46] 729*2^1227985-1 is not prime. Res64: 3D9690C93297F504 Time : 0.0 sec. user=vaughan [2012-09-01 08:47:36] 849*2^1227984-1 is not prime. Res64: 6E94FBF6A361882A Time : 0.0 sec. user=mdettweiler [2012-09-01 08:58:14] 759*2^1227985-1 is not prime. Res64: 8B6ED5AC5C087CEB Time : 0.0 sec. user=mdettweiler [2012-09-01 08:58:37] 885*2^1227985-1 is not prime. Res64: 118F414705EAEAAA Time : 0.0 sec. user=mdettweiler [2012-09-01 08:58:37] 895*2^1227985-1 is not prime. Res64: F7728AFB030EA77E Time : 0.0 sec. user=mdettweiler [2012-09-01 08:58:38] 711*2^1227986-1 is not prime. Res64: 8C50AA39465FD180 Time : 0.0 sec. user=mdettweiler [2012-09-01 08:58:38] 717*2^1227986-1 is not prime. Res64: CD4841D9442A2E6A Time : 0.0 sec. user=mdettweiler [2012-09-01 09:02:22] 871*2^1227985-1 is not prime. Res64: D254858428160F07 Time : 0.0 sec. user=mdettweiler [2012-09-01 09:19:30] 785*2^1227986-1 is not prime. Res64: 9BE9D9B9657A07F5 Time : 0.0 sec. user=mdettweiler [2012-09-01 09:19:30] 843*2^1227986-1 is not prime. Res64: 473A6224C304CB0A Time : 0.0 sec. user=mdettweiler [2012-09-01 09:19:31] 873*2^1227986-1 is not prime. Res64: C11A146A7A2585BF Time : 0.0 sec. user=mdettweiler [2012-09-01 09:19:31] 893*2^1227986-1 is not prime. Res64: FBA84E5FEBE2B874 Time : 0.0 sec. user=vaughan [2012-09-01 09:25:20] 755*2^1227986-1 is not prime. Res64: 860927F272FB9B19 Time : 0.0 sec. user=mdettweiler [2012-09-01 09:27:50] 783*2^1227986-1 is not prime. Res64: 91F2E51B37369913 Time : 0.0 sec. user=mdettweiler [2012-09-01 09:32:00] 963*2^1227986-1 is not prime. Res64: 8CF4D96080F86827 Time : 0.0 sec. user=mdettweiler [2012-09-01 09:40:27] 619*2^1227987-1 is not prime. Res64: 3D013E0B52426633 Time : 0.0 sec. user=mdettweiler [2012-09-01 09:40:27] 649*2^1227987-1 is not prime. Res64: D4F260FFF01EBE80 Time : 0.0 sec. user=mdettweiler [2012-09-01 09:40:28] 703*2^1227987-1 is not prime. Res64: 28DEAF447530000E Time : 0.0 sec. user=mdettweiler [2012-09-01 09:40:28] 751*2^1227987-1 is not prime. Res64: 0595E3C5EB02F705 Time : 0.0 sec. user=mdettweiler [2012-09-01 09:57:45] 795*2^1227987-1 is not prime. Res64: 210CF1B1788B9BAA Time : 0.0 sec. user=mdettweiler [2012-09-01 10:01:22] 885*2^1227987-1 is not prime. Res64: 0C98F8682FFD7E16 Time : 0.0 sec. user=mdettweiler [2012-09-01 10:01:23] 805*2^1227987-1 is not prime. Res64: DAEDC92FADA9FDA7 Time : 0.0 sec. user=mdettweiler [2012-09-01 10:01:23] 901*2^1227987-1 is not prime. Res64: 46B0E6CE53E403DD Time : 0.0 sec. user=mdettweiler [2012-09-01 10:01:23] 859*2^1227987-1 is not prime. Res64: F183F865AC7C0068 Time : 0.0 sec. user=mdettweiler [2012-09-01 10:01:51] 801*2^1227987-1 is not prime. Res64: 3F93CE8626C3FF7E Time : 0.0 sec. user=vaughan [2012-09-01 10:03:04] 781*2^1227987-1 is not prime. Res64: 46106D99999253BE Time : 0.0 sec. user=mdettweiler [2012-09-01 10:22:17] 639*2^1227988-1 is not prime. Res64: 647B7BC1EE51C13D Time : 0.0 sec. user=mdettweiler [2012-09-01 10:22:17] 813*2^1227988-1 is not prime. Res64: EB67127406F9BE05 Time : 0.0 sec. user=mdettweiler [2012-09-01 10:22:19] 915*2^1227988-1 is not prime. Res64: 91D138FBB534E0A8 Time : 0.0 sec. user=mdettweiler [2012-09-01 10:22:20] 631*2^1227989-1 is not prime. Res64: 44034C8C018634C0 Time : 0.0 sec. user=mdettweiler [2012-09-01 10:27:22] 979*2^1227987-1 is not prime. Res64: 1FAEE9C5C86E6F87 Time : 0.0 sec. user=mdettweiler [2012-09-01 10:31:23] 645*2^1227989-1 is not prime. Res64: 3CBF54598C7E5280 Time : 0.0 sec. user=vaughan [2012-09-01 10:40:47] 675*2^1227989-1 is not prime. Res64: 25A2A9F2B20BFF01 Time : 0.0 sec. user=mdettweiler [2012-09-01 10:43:11] 897*2^1227989-1 is not prime. Res64: 860A34B5F7345847 Time : 0.0 sec. user=mdettweiler [2012-09-01 10:43:11] 711*2^1227989-1 is not prime. Res64: CC8E3454E68E434F Time : 0.0 sec. user=mdettweiler [2012-09-01 10:43:11] 927*2^1227989-1 is not prime. Res64: 228CD7D9759A0E57 Time : 0.0 sec. user=mdettweiler [2012-09-01 10:43:12] 729*2^1227989-1 is not prime. Res64: 4B5729757D18671F Time : 0.0 sec. user=mdettweiler [2012-09-01 10:56:56] 991*2^1227989-1 is not prime. Res64: 1980589491B3A8C2 Time : 0.0 sec. user=mdettweiler [2012-09-01 11:01:02] 651*2^1227990-1 is not prime. Res64: C8B789C4586B2B5E Time : 0.0 sec. user=mdettweiler [2012-09-01 11:03:59] 885*2^1227990-1 is not prime. Res64: 7C177D5483509F63 Time : 0.0 sec. user=mdettweiler [2012-09-01 11:03:59] 761*2^1227990-1 is not prime. Res64: ED34C17A50E407CA Time : 0.0 sec. user=mdettweiler [2012-09-01 11:04:00] 893*2^1227990-1 is not prime. Res64: 58773C831914649C Time : 0.0 sec. user=mdettweiler [2012-09-01 11:04:01] 863*2^1227990-1 is not prime. Res64: CB34A3762EA0FBDE Time : 0.0 sec. user=vaughan [2012-09-01 11:18:29] 671*2^1227990-1 is not prime. Res64: C7FBC6BCCFAD52B0 Time : 0.0 sec. user=mdettweiler [2012-09-01 11:24:56] 855*2^1227991-1 is not prime. Res64: CE1ED848F667FB81 Time : 0.0 sec. user=mdettweiler [2012-09-01 11:24:56] 859*2^1227991-1 is not prime. Res64: 7014F5B1247083F1 Time : 0.0 sec. user=mdettweiler [2012-09-01 11:24:56] 861*2^1227991-1 is not prime. Res64: 66D0F346C2781939 Time : 0.0 sec. user=mdettweiler [2012-09-01 11:24:57] 889*2^1227991-1 is not prime. Res64: 2A9354AD9DE1C8F4 Time : 0.0 sec. user=mdettweiler [2012-09-01 11:26:46] 619*2^1227991-1 is not prime. Res64: 752500582F74621C Time : 0.0 sec. user=mdettweiler [2012-09-01 11:32:13] 789*2^1227991-1 is not prime. Res64: B4A72A942794A244 Time : 0.0 sec. user=mdettweiler [2012-09-01 11:45:44] 767*2^1227992-1 is not prime. Res64: 7B83B25F447FD5AA Time : 0.0 sec. user=mdettweiler [2012-09-01 11:45:45] 777*2^1227992-1 is not prime. Res64: 48599A318DA19C98 Time : 0.0 sec. user=mdettweiler [2012-09-01 11:45:45] 815*2^1227992-1 is not prime. Res64: AC8D75D7BC98538B Time : 0.0 sec. user=mdettweiler [2012-09-01 11:45:45] 879*2^1227992-1 is not prime. Res64: 92911B66213B9578 Time : 0.0 sec. user=vaughan [2012-09-01 11:56:15] 939*2^1227991-1 is not prime. Res64: C3206A73486CBB18 Time : 0.0 sec. user=mdettweiler [2012-09-01 12:06:40] 685*2^1227993-1 is not prime. Res64: 89FE6954EE2BAE4E Time : 0.0 sec. user=mdettweiler [2012-09-01 12:06:42] 929*2^1227992-1 is not prime. Res64: 2A881A8B2C907E3C Time : 0.0 sec. user=mdettweiler [2012-09-01 12:06:45] 983*2^1227992-1 is not prime. Res64: 3CE7DD63F057E8E0 Time : 0.0 sec. user=mdettweiler [2012-09-01 12:06:46] 759*2^1227993-1 is not prime. Res64: 4D5961ED582CCF54 Time : 0.0 sec. user=mdettweiler [2012-09-01 12:28:00] 861*2^1227993-1 is not prime. Res64: 2692E7D3FF3769BF Time : 0.0 sec. user=mdettweiler [2012-09-01 12:28:01] 885*2^1227993-1 is not prime. Res64: 1A7B6CF05952CD8E Time : 0.0 sec. user=mdettweiler [2012-09-01 12:28:02] 867*2^1227993-1 is not prime. Res64: CE830316F7E0813E Time : 0.0 sec. user=mdettweiler [2012-09-01 12:28:03] 955*2^1227993-1 is not prime. Res64: A2B71956627C409F Time : 0.0 sec. user=vaughan [2012-09-01 12:34:00] 819*2^1227993-1 is not prime. Res64: 9C246650A6A753A6 Time : 0.0 sec. user=gd_barnes [2012-09-01 12:46:34] 657*2^1227994-1 is not prime. Res64: FA9624C47278ABCC Time : 0.0 sec. user=mdettweiler [2012-09-01 12:49:12] 701*2^1227994-1 is not prime. Res64: C10C4B3C7E89D9C2 Time : 0.0 sec. user=mdettweiler [2012-09-01 12:49:13] 887*2^1227994-1 is not prime. Res64: 2ABCDCA68DA1BA45 Time : 0.0 sec. user=mdettweiler [2012-09-01 12:49:13] 951*2^1227994-1 is not prime. Res64: D43D6F08D46273AC Time : 0.0 sec. user=mdettweiler [2012-09-01 12:49:14] 981*2^1227994-1 is not prime. Res64: F7929D8A9318B62B Time : 0.0 sec. user=mdettweiler [2012-09-01 13:10:08] 603*2^1227995-1 is not prime. Res64: 64531C05F6583728 Time : 0.0 sec. user=mdettweiler [2012-09-01 13:10:10] 753*2^1227995-1 is not prime. Res64: 057A977013D723E8 Time : 0.0 sec. user=mdettweiler [2012-09-01 13:10:11] 783*2^1227995-1 is not prime. Res64: D77EDC70F07F8B7E Time : 0.0 sec. user=mdettweiler [2012-09-01 13:10:15] 801*2^1227995-1 is not prime. Res64: 79B6AD63AC8185AF Time : 0.0 sec. user=vaughan [2012-09-01 13:11:45] 987*2^1227994-1 is not prime. Res64: 272FAEC3807CE3A3 Time : 0.0 sec. user=mdettweiler [2012-09-01 13:31:07] 823*2^1227995-1 is not prime. Res64: D7018DE714E4A932 Time : 0.0 sec. user=mdettweiler [2012-09-01 13:31:08] 825*2^1227995-1 is not prime. Res64: 6C66B24C97C23258 Time : 0.0 sec. user=mdettweiler [2012-09-01 13:31:08] 883*2^1227995-1 is not prime. Res64: F1129CF675A95EB0 Time : 0.0 sec. user=mdettweiler [2012-09-01 13:31:08] 909*2^1227995-1 is not prime. Res64: 5EF99FC96FE4D97C Time : 0.0 sec. user=vaughan [2012-09-01 13:49:33] 633*2^1227996-1 is not prime. Res64: 44B8C94584749C48 Time : 0.0 sec. user=mdettweiler [2012-09-01 13:51:59] 653*2^1227996-1 is not prime. Res64: F518035B9FDCB2FB Time : 0.0 sec. user=mdettweiler [2012-09-01 13:51:59] 669*2^1227996-1 is not prime. Res64: 552B599EB72E023B Time : 0.0 sec. user=mdettweiler [2012-09-01 13:52:00] 695*2^1227996-1 is not prime. Res64: C0FB8CB386EEB076 Time : 0.0 sec. user=mdettweiler [2012-09-01 13:52:00] 699*2^1227996-1 is not prime. Res64: 555F2F2941E81AA9 Time : 0.0 sec. user=mdettweiler [2012-09-01 14:12:52] 975*2^1227996-1 is not prime. Res64: 3F7AB4C5EAD0FB19 Time : 0.0 sec. user=mdettweiler [2012-09-01 14:12:53] 799*2^1227997-1 is not prime. Res64: 885613FB00968FC3 Time : 0.0 sec. user=mdettweiler [2012-09-01 14:12:56] 635*2^1227998-1 is not prime. Res64: F6D3DE9027AF22B8 Time : 0.0 sec. user=mdettweiler [2012-09-01 14:12:58] 717*2^1227997-1 is not prime. Res64: ECD8ABB57A739998 Time : 0.0 sec. user=vaughan [2012-09-01 14:27:15] 957*2^1227996-1 is not prime. Res64: 4B06602A75A8AA20 Time : 0.0 sec. user=juhehe [2012-09-01 14:32:24] 789*2^1227996-1 is not prime. Res64: FA84F17CF3790AB7 Time : 0.0 sec. user=mdettweiler [2012-09-01 14:34:23] 671*2^1227998-1 is not prime. Res64: 00C08398F82B8F5D Time : 0.0 sec. user=mdettweiler [2012-09-01 14:34:24] 755*2^1227998-1 is not prime. Res64: 67259E1AA9ACF7DE Time : 0.0 sec. user=mdettweiler [2012-09-01 14:34:27] 761*2^1227998-1 is not prime. Res64: A7DFCE915450F3BC Time : 0.0 sec. user=mdettweiler [2012-09-01 14:34:28] 767*2^1227998-1 is not prime. Res64: 0AE6F8BE3E813CD8 Time : 0.0 sec. user=gd_barnes [2012-09-01 14:44:54] 867*2^1227998-1 is not prime. Res64: 5C1497B69866D1B3 Time : 0.0 sec. user=mdettweiler [2012-09-01 14:55:12] 661*2^1227999-1 is not prime. Res64: 0A706461AC7E13AE Time : 0.0 sec. user=mdettweiler [2012-09-01 14:55:13] 745*2^1227999-1 is not prime. Res64: 50855B35C72619DA Time : 0.0 sec. user=mdettweiler [2012-09-01 14:55:16] 961*2^1227999-1 is not prime. Res64: C1696534091E0864 Time : 0.0 sec. user=mdettweiler [2012-09-01 14:55:17] 975*2^1227999-1 is not prime. Res64: 70E57B9A14D33B9A Time : 0.0 sec. user=vaughan [2012-09-01 15:05:02] 1001*2^1227998-1 is not prime. Res64: 600B219E5F6A6198 Time : 0.0 sec. user=mdettweiler [2012-09-01 15:16:03] 719*2^1228000-1 is not prime. Res64: CBD7C1989C152B41 Time : 0.0 sec. user=mdettweiler [2012-09-01 15:16:05] 839*2^1228000-1 is not prime. Res64: C6115B0CF5A6B815 Time : 0.0 sec. user=mdettweiler [2012-09-01 15:16:06] 915*2^1228000-1 is not prime. Res64: 812E1689C292A874 Time : 0.0 sec. user=mdettweiler [2012-09-01 15:16:07] 631*2^1228001-1 is not prime. Res64: 65F8D4B7D51449FB Time : 0.0 sec. user=juhehe [2012-09-01 15:17:01] 633*2^1227999-1 is not prime. Res64: C8C872E50E012F88 Time : 0.0 sec. user=mdettweiler [2012-09-01 15:37:12] 697*2^1228001-1 is not prime. Res64: AFBEB49B8DDBF865 Time : 0.0 sec. user=mdettweiler [2012-09-01 15:37:12] 925*2^1228001-1 is not prime. Res64: D5F75A9E267B061F Time : 0.0 sec. user=mdettweiler [2012-09-01 15:37:12] 931*2^1228001-1 is not prime. Res64: DB689E131F5F2E72 Time : 0.0 sec. user=mdettweiler [2012-09-01 15:37:12] 945*2^1228001-1 is not prime. Res64: 02679B6A61FA0721 Time : 0.0 sec. user=vaughan [2012-09-01 15:43:12] 669*2^1228001-1 is not prime. Res64: 4C6C9A3A538CAB2F Time : 0.0 sec. user=mdettweiler [2012-09-01 15:58:01] 633*2^1228002-1 is not prime. Res64: 99AF80992A61DBB1 Time : 0.0 sec. user=mdettweiler [2012-09-01 15:58:01] 731*2^1228002-1 is not prime. Res64: 1C1FF63A725193E9 Time : 0.0 sec. user=mdettweiler [2012-09-01 15:58:01] 807*2^1228002-1 is not prime. Res64: 8536EF4B75C937D7 Time : 0.0 sec. user=mdettweiler [2012-09-01 15:58:01] 983*2^1228002-1 is not prime. Res64: B864CDD875EA53C6 Time : 0.0 sec. user=juhehe [2012-09-01 16:01:38] 955*2^1228001-1 is not prime. Res64: CDDA160B80CF3D9A Time : 0.0 sec. user=mdettweiler [2012-09-01 16:18:49] 709*2^1228003-1 is not prime. Res64: EDEBFF53FD50CDF4 Time : 0.0 sec. user=mdettweiler [2012-09-01 16:18:50] 765*2^1228003-1 is not prime. Res64: F8128B63E0165D93 Time : 0.0 sec. user=mdettweiler [2012-09-01 16:18:50] 741*2^1228003-1 is not prime. Res64: BBD6EC77ADAA1C91 Time : 0.0 sec. user=mdettweiler [2012-09-01 16:18:50] 783*2^1228003-1 is not prime. Res64: AB950641BD11258A Time : 0.0 sec. user=vaughan [2012-09-01 16:20:56] 693*2^1228003-1 is not prime. Res64: 5EE0DD30C84D9A68 Time : 0.0 sec. user=mdettweiler [2012-09-01 16:39:42] 883*2^1228003-1 is not prime. Res64: DB3ED61B10BED27C Time : 0.0 sec. user=mdettweiler [2012-09-01 16:39:42] 915*2^1228003-1 is not prime. Res64: 823DD930797D4A41 Time : 0.0 sec. user=mdettweiler [2012-09-01 16:39:42] 969*2^1228003-1 is not prime. Res64: EB906D739BD7C026 Time : 0.0 sec. user=mdettweiler [2012-09-01 16:39:42] 993*2^1228003-1 is not prime. Res64: 37BDD5C452289593 Time : 0.0 sec. user=juhehe [2012-09-01 16:46:16] 789*2^1228003-1 is not prime. Res64: 05B6F57087BC2633 Time : 0.0 sec. user=vaughan [2012-09-01 16:58:37] 873*2^1228004-1 is not prime. Res64: DE63B8A35B3F1CBA Time : 0.0 sec. user=mdettweiler [2012-09-01 17:01:02] 945*2^1228004-1 is not prime. Res64: 1477B2A28BDBE7DC Time : 0.0 sec. user=mdettweiler [2012-09-01 17:01:03] 789*2^1228005-1 is not prime. Res64: 04AF74A6E48B329D Time : 0.0 sec. user=mdettweiler [2012-09-01 17:01:03] 993*2^1228004-1 is not prime. Res64: 44B2836466C284AB Time : 0.0 sec. user=mdettweiler [2012-09-01 17:01:04] 919*2^1228005-1 is not prime. Res64: 8C8F69FE3D618036 Time : 0.0 sec. user=mdettweiler [2012-09-01 17:22:29] 975*2^1228005-1 is not prime. Res64: 6A5C89DA4918BB55 Time : 0.0 sec. user=mdettweiler [2012-09-01 17:22:29] 645*2^1228006-1 is not prime. Res64: DF7B929CAAB0CB66 Time : 0.0 sec. user=mdettweiler [2012-09-01 17:22:30] 677*2^1228006-1 is not prime. Res64: DBADE8899554D03D Time : 0.0 sec. user=mdettweiler [2012-09-01 17:22:31] 773*2^1228006-1 is not prime. Res64: 72848AFB1EF7B80D Time : 0.0 sec. user=vaughan [2012-09-01 17:36:19] 937*2^1228005-1 is not prime. Res64: 273825F24495A4DA Time : 0.0 sec. user=mdettweiler [2012-09-01 17:43:59] 777*2^1228006-1 is not prime. Res64: 3F0648C27328D35E Time : 0.0 sec. user=mdettweiler [2012-09-01 17:43:59] 783*2^1228006-1 is not prime. Res64: 62036439BE7D68EE Time : 0.0 sec. user=mdettweiler [2012-09-01 17:44:00] 873*2^1228006-1 is not prime. Res64: 26D71C92161C09D3 Time : 0.0 sec. user=mdettweiler [2012-09-01 17:44:00] 615*2^1228007-1 is not prime. Res64: 2F2338BC8B3C0A26 Time : 0.0 sec. user=mdettweiler [2012-09-01 18:05:23] 711*2^1228007-1 is not prime. Res64: FECE8C9D873F40E5 Time : 0.0 sec. user=mdettweiler [2012-09-01 18:05:25] 913*2^1228007-1 is not prime. Res64: E4342A56A2E08FDE Time : 0.0 sec. user=mdettweiler [2012-09-01 18:05:25] 861*2^1228007-1 is not prime. Res64: 44D271BECCACFFD7 Time : 0.0 sec. user=mdettweiler [2012-09-01 18:05:26] 963*2^1228007-1 is not prime. Res64: 51BC1D4AC56B9177 Time : 0.0 sec. user=juhehe [2012-09-01 18:11:03] 661*2^1228007-1 is not prime. Res64: D7ABB67798EA6F9D Time : 0.0 sec. user=vaughan [2012-09-01 18:14:02] 705*2^1228007-1 is not prime. Res64: 9EF737D468BF74A8 Time : 0.0 sec. user=mdettweiler [2012-09-01 18:27:17] 707*2^1228008-1 is not prime. Res64: D173EE3E556602CD Time : 0.0 sec. user=mdettweiler [2012-09-01 18:27:18] 759*2^1228008-1 is not prime. Res64: 7F753F9400A66C64 Time : 0.0 sec. user=mdettweiler [2012-09-01 18:27:18] 777*2^1228008-1 is not prime. Res64: AC300BC591F4CEF2 Time : 0.0 sec. user=mdettweiler [2012-09-01 18:27:21] 809*2^1228008-1 is not prime. Res64: 48269FFB9EDCBD2F Time : 0.0 sec. user=mdettweiler [2012-09-01 18:48:37] 945*2^1228008-1 is not prime. Res64: E0E7F1192C8CD101 Time : 0.0 sec. user=mdettweiler [2012-09-01 18:48:37] 741*2^1228009-1 is not prime. Res64: 389CA3B8F3DDAF46 Time : 0.0 sec. user=mdettweiler [2012-09-01 18:48:39] 829*2^1228009-1 is not prime. Res64: AB541BD9719F39DF Time : 0.0 sec. user=mdettweiler [2012-09-01 18:48:39] 867*2^1228009-1 is not prime. Res64: 0C680235ABB7A9CC Time : 0.0 sec. user=vaughan [2012-09-01 18:52:23] 815*2^1228008-1 is not prime. Res64: 1BF70277642CEABD Time : 0.0 sec. user=mdettweiler [2012-09-01 19:09:59] 985*2^1228009-1 is not prime. Res64: C04796EDA4DADC56 Time : 0.0 sec. user=mdettweiler [2012-09-01 19:09:59] 641*2^1228010-1 is not prime. Res64: 36C39B0F4F07A7BF Time : 0.0 sec. user=mdettweiler [2012-09-01 19:10:01] 665*2^1228010-1 is not prime. Res64: 464D4732DD7611DB Time : 0.0 sec. user=mdettweiler [2012-09-01 19:10:01] 813*2^1228010-1 is not prime. Res64: E489E63470A77426 Time : 0.0 sec. user=vaughan [2012-09-01 19:30:06] 885*2^1228010-1 is not prime. Res64: 8E093E71FE553138 Time : 0.0 sec. user=mdettweiler [2012-09-01 19:30:50] 971*2^1228010-1 is not prime. Res64: 3E46413E9581280F Time : 0.0 sec. user=mdettweiler [2012-09-01 19:30:50] 981*2^1228010-1 is not prime. Res64: 852D5AA872ECAB1A Time : 0.0 sec. user=mdettweiler [2012-09-01 19:30:52] 615*2^1228011-1 is not prime. Res64: 91D2F9A106084C7B Time : 0.0 sec. user=mdettweiler [2012-09-01 19:30:52] 669*2^1228011-1 is not prime. Res64: E359CED35C0781E1 Time : 0.0 sec. user=mdettweiler [2012-09-01 19:51:35] 741*2^1228011-1 is not prime. Res64: 1CF857B8FDDFDAEB Time : 0.0 sec. user=mdettweiler [2012-09-01 19:51:35] 789*2^1228011-1 is not prime. Res64: C87C0244EF8316E4 Time : 0.0 sec. user=mdettweiler [2012-09-01 19:51:37] 793*2^1228011-1 is not prime. Res64: 4F38E71F999ED7C5 Time : 0.0 sec. user=mdettweiler [2012-09-01 19:51:37] 835*2^1228011-1 is not prime. Res64: 29145F6231FC32E1 Time : 0.0 sec. user=vaughan [2012-09-01 20:07:50] 685*2^1228011-1 is not prime. Res64: 82C3F86744E64E4C Time : 0.0 sec. user=mdettweiler [2012-09-01 20:12:24] 903*2^1228011-1 is not prime. Res64: 799C69B416D387A4 Time : 0.0 sec. user=mdettweiler [2012-09-01 20:12:24] 931*2^1228011-1 is not prime. Res64: 2BF34AEE102C750D Time : 0.0 sec. user=mdettweiler [2012-09-01 20:12:28] 921*2^1228011-1 is not prime. Res64: 4F5F05556F78F1EB Time : 0.0 sec. user=mdettweiler [2012-09-01 20:12:30] 605*2^1228012-1 is not prime. Res64: 43036923B1EC7772 Time : 0.0 sec. user=mdettweiler [2012-09-01 20:33:21] 653*2^1228012-1 is not prime. Res64: 1DFB14E60E1E0BEA Time : 0.0 sec. user=mdettweiler [2012-09-01 20:33:21] 677*2^1228012-1 is not prime. Res64: FB537962DC2DEDDA Time : 0.0 sec. user=mdettweiler [2012-09-01 20:33:23] 719*2^1228012-1 is not prime. Res64: 17EEC4AD48C2358E Time : 0.0 sec. user=mdettweiler [2012-09-01 20:33:24] 797*2^1228012-1 is not prime. Res64: E249BC795C7D7BDC Time : 0.0 sec. user=vaughan [2012-09-01 20:45:38] 617*2^1228012-1 is not prime. Res64: D5D0533423957E6E Time : 0.0 sec. user=mdettweiler [2012-09-01 20:54:07] 885*2^1228012-1 is not prime. Res64: 371800DCF3B995C7 Time : 0.0 sec. user=mdettweiler [2012-09-01 20:54:08] 903*2^1228012-1 is not prime. Res64: FFA5DDE97BB7EE47 Time : 0.0 sec. user=mdettweiler [2012-09-01 20:54:09] 975*2^1228012-1 is not prime. Res64: A261372B9EFAB1EB Time : 0.0 sec. user=mdettweiler [2012-09-01 20:54:09] 615*2^1228013-1 is not prime. Res64: D16113E3A92F5495 Time : 0.0 sec. user=mdettweiler [2012-09-01 21:14:53] 771*2^1228013-1 is not prime. Res64: 7C8C3D2C1880F33B Time : 0.0 sec. user=mdettweiler [2012-09-01 21:14:54] 889*2^1228013-1 is not prime. Res64: 060C01B6A6FF109E Time : 0.0 sec. user=mdettweiler [2012-09-01 21:14:55] 789*2^1228013-1 is not prime. Res64: A1891BF928AFBFE7 Time : 0.0 sec. user=mdettweiler [2012-09-01 21:14:56] 925*2^1228013-1 is not prime. Res64: DBDB1A787404FDF0 Time : 0.0 sec. user=vaughan [2012-09-01 21:23:21] 757*2^1228013-1 is not prime. Res64: F40E2463BCA9BDD9 Time : 0.0 sec. user=mdettweiler [2012-09-01 21:36:01] 969*2^1228013-1 is not prime. Res64: D16DDB4A54FF78A2 Time : 0.0 sec. user=mdettweiler [2012-09-01 21:36:01] 627*2^1228014-1 is not prime. Res64: 372ED42CBFF403AF Time : 0.0 sec. user=mdettweiler [2012-09-01 21:36:02] 635*2^1228014-1 is not prime. Res64: 348D5093D4C37520 Time : 0.0 sec. user=mdettweiler [2012-09-01 21:36:03] 807*2^1228014-1 is not prime. Res64: CDC83C196D794A13 Time : 0.0 sec. user=mdettweiler [2012-09-01 21:57:08] 833*2^1228014-1 is not prime. Res64: 904BDD2CBE782A0E Time : 0.0 sec. user=mdettweiler [2012-09-01 21:57:08] 851*2^1228014-1 is not prime. Res64: B0A62DE9F9EB6493 Time : 0.0 sec. user=mdettweiler [2012-09-01 21:57:09] 893*2^1228014-1 is not prime. Res64: 54A8ED94B7C011C2 Time : 0.0 sec. user=mdettweiler [2012-09-01 21:57:10] 947*2^1228014-1 is not prime. Res64: B5E73412C28796CB Time : 0.0 sec. user=vaughan [2012-09-01 22:01:03] 815*2^1228014-1 is not prime. Res64: DEDE2B50DBAC5B44 Time : 0.0 sec. user=mdettweiler [2012-09-01 22:18:01] 957*2^1228014-1 is not prime. Res64: 9411E4F97E5CE77A Time : 0.0 sec. user=mdettweiler [2012-09-01 22:18:04] 619*2^1228015-1 is not prime. Res64: 8561956FB33F7249 Time : 0.0 sec. user=mdettweiler [2012-09-01 22:18:05] 965*2^1228014-1 is not prime. Res64: F968B9D3FA313944 Time : 0.0 sec. user=mdettweiler [2012-09-01 22:18:05] 649*2^1228015-1 is not prime. Res64: 2F13569794B196F4 Time : 0.0 sec. user=vaughan [2012-09-01 22:38:47] 759*2^1228015-1 is not prime. Res64: 4B869259C6ED4BB3 Time : 0.0 sec. user=mdettweiler [2012-09-01 22:39:09] 763*2^1228015-1 is not prime. Res64: 737DD3209BF183A2 Time : 0.0 sec. user=mdettweiler [2012-09-01 22:39:10] 841*2^1228015-1 is not prime. Res64: 71FC9B010E2BCF4F Time : 0.0 sec. user=mdettweiler [2012-09-01 22:39:11] 853*2^1228015-1 is not prime. Res64: 9345BDA61AEE5810 Time : 0.0 sec. user=mdettweiler [2012-09-01 22:39:11] 635*2^1228016-1 is not prime. Res64: EBB7A8B674FDA261 Time : 0.0 sec. user=mdettweiler [2012-09-01 22:59:51] 747*2^1228016-1 is not prime. Res64: 1442E4ACDFDDC1DE Time : 0.0 sec. user=mdettweiler [2012-09-01 22:59:51] 777*2^1228016-1 is not prime. Res64: 7F73818304A4C84E Time : 0.0 sec. user=mdettweiler [2012-09-01 22:59:53] 935*2^1228016-1 is not prime. Res64: 7C05982FEDD3FC29 Time : 0.0 sec. user=mdettweiler [2012-09-01 22:59:53] 651*2^1228017-1 is not prime. Res64: CB72154D27EAD9AD Time : 0.0 sec. user=vaughan [2012-09-01 23:16:33] 645*2^1228016-1 is not prime. Res64: 8CCFAEF3B4917C0B Time : 0.0 sec. user=mdettweiler [2012-09-01 23:20:33] 751*2^1228017-1 is not prime. Res64: 73F150FED20773ED Time : 0.0 sec. user=mdettweiler [2012-09-01 23:20:34] 805*2^1228017-1 is not prime. Res64: 46BE5D72902EDCA5 Time : 0.0 sec. user=mdettweiler [2012-09-01 23:20:35] 885*2^1228017-1 is not prime. Res64: 07593F4286CB6C0A Time : 0.0 sec. user=mdettweiler [2012-09-01 23:20:36] 603*2^1228018-1 is not prime. Res64: 99CCB08755676808 Time : 0.0 sec. user=mdettweiler [2012-09-01 23:41:16] 735*2^1228018-1 is not prime. Res64: 5DFF29C444001104 Time : 0.0 sec. user=mdettweiler [2012-09-01 23:41:17] 885*2^1228018-1 is not prime. Res64: 3B7D2355E6A82785 Time : 0.0 sec. user=mdettweiler [2012-09-01 23:41:19] 941*2^1228018-1 is not prime. Res64: EF3BE6D4081F2F10 Time : 0.0 sec. user=mdettweiler [2012-09-01 23:41:19] 945*2^1228018-1 is not prime. Res64: 51113B9FA95E4F0F Time : 0.0 sec. user=vaughan [2012-09-01 23:54:28] 705*2^1228018-1 is not prime. Res64: 9C3F7C99E2151AE4 Time : 0.0 sec.