user=mdettweiler [2013-03-08 00:05:07] 693*2^1242247-1 is not prime. Res64: 95289BC9BFC777B9 Time : 0.0 sec. user=mdettweiler [2013-03-08 00:05:08] 831*2^1242247-1 is not prime. Res64: E5BC79386D9F7AF0 Time : 0.0 sec. user=mdettweiler [2013-03-08 00:05:09] 841*2^1242247-1 is not prime. Res64: 0C5BFFAFBFA852A1 Time : 0.0 sec. user=mdettweiler [2013-03-08 00:05:10] 871*2^1242247-1 is not prime. Res64: 4E163924A6A2E9D9 Time : 0.0 sec. user=mdettweiler [2013-03-08 00:22:36] 839*2^1242248-1 is not prime. Res64: 7D7C3F6C4AF9D1B1 Time : 0.0 sec. user=mdettweiler [2013-03-08 00:22:37] 869*2^1242248-1 is not prime. Res64: A633FB09009FDBD9 Time : 0.0 sec. user=mdettweiler [2013-03-08 00:22:37] 875*2^1242248-1 is not prime. Res64: 8D1E0BCC63DE1D08 Time : 0.0 sec. user=mdettweiler [2013-03-08 00:22:38] 893*2^1242248-1 is not prime. Res64: 46F65B43A1EA4605 Time : 0.0 sec. user=mdettweiler [2013-03-08 00:40:01] 915*2^1242248-1 is not prime. Res64: C6DC3AEDD22180BA Time : 0.0 sec. user=mdettweiler [2013-03-08 00:40:02] 727*2^1242249-1 is not prime. Res64: 9F9EB46B02F25BDB Time : 0.0 sec. user=mdettweiler [2013-03-08 00:40:03] 747*2^1242249-1 is not prime. Res64: 1B4CE6FA2273A737 Time : 0.0 sec. user=mdettweiler [2013-03-08 00:40:04] 759*2^1242249-1 is not prime. Res64: 06B387BFBC096DD1 Time : 0.0 sec. user=mdettweiler [2013-03-08 00:57:26] 835*2^1242249-1 is not prime. Res64: 6E9B8F96CF379949 Time : 0.0 sec. user=mdettweiler [2013-03-08 00:57:26] 865*2^1242249-1 is not prime. Res64: 5D0F113D700B0783 Time : 0.0 sec. user=mdettweiler [2013-03-08 00:57:27] 677*2^1242250-1 is not prime. Res64: 025AE05CFE7EF353 Time : 0.0 sec. user=mdettweiler [2013-03-08 00:57:28] 701*2^1242250-1 is not prime. Res64: 79E834DC78C1B0EE Time : 0.0 sec. user=mdettweiler [2013-03-08 01:14:51] 981*2^1242250-1 is not prime. Res64: 255BB1672D12245A Time : 0.0 sec. user=mdettweiler [2013-03-08 01:14:52] 627*2^1242252-1 is not prime. Res64: 9D346FF6E4997530 Time : 0.0 sec. user=mdettweiler [2013-03-08 01:14:52] 619*2^1242251-1 is not prime. Res64: 7B657CB811FE1E83 Time : 0.0 sec. user=mdettweiler [2013-03-08 01:14:52] 819*2^1242252-1 is not prime. Res64: FB69C3C28C9FF7DA Time : 0.0 sec. user=juhehe [2013-03-08 01:25:56] 781*2^1242249-1 is not prime. Res64: 03D791863637D408 Time : 0.0 sec. user=mdettweiler [2013-03-08 01:32:20] 863*2^1242252-1 is not prime. Res64: 8F4BD3E09B58F413 Time : 0.0 sec. user=mdettweiler [2013-03-08 01:32:20] 879*2^1242252-1 is not prime. Res64: 5D00B70CD2E5F0A6 Time : 0.0 sec. user=mdettweiler [2013-03-08 01:32:21] 959*2^1242252-1 is not prime. Res64: D55D405CD5CC0984 Time : 0.0 sec. user=mdettweiler [2013-03-08 01:32:22] 965*2^1242252-1 is not prime. Res64: 9D3C383EB190A5DB Time : 0.0 sec. user=juhehe [2013-03-08 01:43:25] 729*2^1242253-1 is not prime. Res64: 0E31FFF3A051A6CD Time : 0.0 sec. user=mdettweiler [2013-03-08 01:49:43] 745*2^1242253-1 is not prime. Res64: 7C5821CF1C1D91E5 Time : 0.0 sec. user=mdettweiler [2013-03-08 01:49:44] 705*2^1242254-1 is not prime. Res64: B6CD2F58D4600985 Time : 0.0 sec. user=mdettweiler [2013-03-08 01:49:45] 773*2^1242254-1 is not prime. Res64: FBCAEE22092E85BC Time : 0.0 sec. user=mdettweiler [2013-03-08 01:49:45] 861*2^1242254-1 is not prime. Res64: 77C8A9D288D07F12 Time : 0.0 sec. user=mdettweiler [2013-03-08 02:07:08] 965*2^1242254-1 is not prime. Res64: 50A73BA364203BEF Time : 0.0 sec. user=mdettweiler [2013-03-08 02:07:09] 613*2^1242255-1 is not prime. Res64: 8403395F919B0B63 Time : 0.0 sec. user=mdettweiler [2013-03-08 02:07:10] 619*2^1242255-1 is not prime. Res64: EBFB1E75447C9E4B Time : 0.0 sec. user=mdettweiler [2013-03-08 02:07:11] 741*2^1242255-1 is not prime. Res64: 3BBDE1E57BA8963D Time : 0.0 sec. user=juhehe [2013-03-08 02:10:23] 741*2^1242253-1 is not prime. Res64: 95FF6BF8C5702AB7 Time : 0.0 sec. user=mdettweiler [2013-03-08 02:24:38] 783*2^1242255-1 is not prime. Res64: 00B4A3FA76169B74 Time : 0.0 sec. user=mdettweiler [2013-03-08 02:24:38] 795*2^1242255-1 is not prime. Res64: AC0F931A9B7507E1 Time : 0.0 sec. user=mdettweiler [2013-03-08 02:24:38] 919*2^1242255-1 is not prime. Res64: 1AF34401AD94C236 Time : 0.0 sec. user=mdettweiler [2013-03-08 02:24:39] 973*2^1242255-1 is not prime. Res64: DE0878F1FB8C4CAD Time : 0.0 sec. user=juhehe [2013-03-08 02:40:17] 921*2^1242254-1 is not prime. Res64: 31B7EC06F81F1188 Time : 0.0 sec. user=mdettweiler [2013-03-08 02:42:03] 615*2^1242257-1 is not prime. Res64: 8C3965202E11308B Time : 0.0 sec. user=mdettweiler [2013-03-08 02:42:03] 693*2^1242256-1 is not prime. Res64: DF8A57F9652ADF6D Time : 0.0 sec. user=mdettweiler [2013-03-08 02:42:04] 645*2^1242257-1 is not prime. Res64: 5B89009793DFF24B Time : 0.0 sec. user=mdettweiler [2013-03-08 02:42:04] 923*2^1242256-1 is not prime. Res64: 5C65A65A2288EEB7 Time : 0.0 sec. user=mdettweiler [2013-03-08 02:59:29] 741*2^1242257-1 is not prime. Res64: AFEEDE5AAF30D2A1 Time : 0.0 sec. user=mdettweiler [2013-03-08 02:59:30] 747*2^1242257-1 is not prime. Res64: D62D4D19DDDA3F9B Time : 0.0 sec. user=mdettweiler [2013-03-08 02:59:31] 879*2^1242257-1 is not prime. Res64: 3FFE238D026D97E8 Time : 0.0 sec. user=mdettweiler [2013-03-08 02:59:31] 949*2^1242257-1 is not prime. Res64: 2BF8D1B4FAF9DBD6 Time : 0.0 sec. user=mdettweiler [2013-03-08 03:16:55] 997*2^1242257-1 is not prime. Res64: 3EBBAA5216166E62 Time : 0.0 sec. user=mdettweiler [2013-03-08 03:16:56] 605*2^1242258-1 is not prime. Res64: 25CC4EA31CC18B7B Time : 0.0 sec. user=mdettweiler [2013-03-08 03:16:56] 671*2^1242258-1 is not prime. Res64: 7A01A7714391D35F Time : 0.0 sec. user=mdettweiler [2013-03-08 03:16:57] 755*2^1242258-1 is not prime. Res64: 1035ACB06EC242B6 Time : 0.0 sec. user=juhehe [2013-03-08 03:26:35] 797*2^1242258-1 is not prime. Res64: 578A6FB54B5DA303 Time : 0.0 sec. user=juhehe [2013-03-08 03:27:24] 629*2^1242256-1 is not prime. Res64: 9C510093064AAD59 Time : 0.0 sec. user=mdettweiler [2013-03-08 03:34:20] 887*2^1242258-1 is not prime. Res64: 57FA4A3923921D8B Time : 0.0 sec. user=mdettweiler [2013-03-08 03:34:21] 927*2^1242258-1 is not prime. Res64: 38FDDE5BDCE01714 Time : 0.0 sec. user=mdettweiler [2013-03-08 03:34:21] 971*2^1242258-1 is not prime. Res64: 36A5DDE106673E0E Time : 0.0 sec. user=mdettweiler [2013-03-08 03:34:21] 993*2^1242258-1 is not prime. Res64: 73D5FB3847812FF4 Time : 0.0 sec. user=juhehe [2013-03-08 03:51:03] 625*2^1242259-1 is not prime. Res64: 3E9EBEB399D216CB Time : 0.0 sec. user=mdettweiler [2013-03-08 03:51:45] 645*2^1242259-1 is not prime. Res64: 6A4BB35EAF161699 Time : 0.0 sec. user=mdettweiler [2013-03-08 03:51:46] 709*2^1242259-1 is not prime. Res64: D0F475F23CFF6F2D Time : 0.0 sec. user=mdettweiler [2013-03-08 03:51:46] 745*2^1242259-1 is not prime. Res64: 9441338ECD8B7C11 Time : 0.0 sec. user=mdettweiler [2013-03-08 03:51:47] 885*2^1242259-1 is not prime. Res64: CC435AE0335C7E30 Time : 0.0 sec. user=mdettweiler [2013-03-08 04:09:11] 633*2^1242260-1 is not prime. Res64: CD79C490B516C03E Time : 0.0 sec. user=mdettweiler [2013-03-08 04:09:11] 973*2^1242259-1 is not prime. Res64: C670F952A9A1A682 Time : 0.0 sec. user=mdettweiler [2013-03-08 04:09:12] 975*2^1242259-1 is not prime. Res64: 910AEC458B6BF733 Time : 0.0 sec. user=mdettweiler [2013-03-08 04:09:12] 729*2^1242260-1 is not prime. Res64: CA8CD8943B462026 Time : 0.0 sec. user=juhehe [2013-03-08 04:14:40] 951*2^1242259-1 is not prime. Res64: E53D63B8818D1B3A Time : 0.0 sec. user=mdettweiler [2013-03-08 04:26:37] 897*2^1242260-1 is not prime. Res64: A6F49BA0CCFEA4F2 Time : 0.0 sec. user=mdettweiler [2013-03-08 04:26:38] 959*2^1242260-1 is not prime. Res64: 0F02933E339D785D Time : 0.0 sec. user=mdettweiler [2013-03-08 04:26:39] 657*2^1242261-1 is not prime. Res64: B2A70EF553735524 Time : 0.0 sec. user=mdettweiler [2013-03-08 04:26:39] 691*2^1242261-1 is not prime. Res64: B8A123A2FD9275A5 Time : 0.0 sec. user=juhehe [2013-03-08 04:41:25] 943*2^1242259-1 is not prime. Res64: F218A985ACE30FD0 Time : 0.0 sec. user=mdettweiler [2013-03-08 04:44:02] 885*2^1242261-1 is not prime. Res64: 18D50B549A6A47EB Time : 0.0 sec. user=mdettweiler [2013-03-08 04:44:02] 889*2^1242261-1 is not prime. Res64: F6581C6D29EC5150 Time : 0.0 sec. user=mdettweiler [2013-03-08 04:44:02] 651*2^1242262-1 is not prime. Res64: 58D3DBC6D54B283F Time : 0.0 sec. user=mdettweiler [2013-03-08 04:44:03] 705*2^1242262-1 is not prime. Res64: 40973580B5CF6834 Time : 0.0 sec. user=mdettweiler [2013-03-08 05:01:28] 723*2^1242262-1 is not prime. Res64: E7CD6C56AE9BBB8D Time : 0.0 sec. user=mdettweiler [2013-03-08 05:01:28] 785*2^1242262-1 is not prime. Res64: 6E2B8AF4EC9A2CD0 Time : 0.0 sec. user=mdettweiler [2013-03-08 05:01:29] 741*2^1242262-1 is not prime. Res64: C5ADF278C611320B Time : 0.0 sec. user=mdettweiler [2013-03-08 05:01:29] 831*2^1242262-1 is not prime. Res64: E70A7F06C794671A Time : 0.0 sec. user=mdettweiler [2013-03-08 05:18:57] 917*2^1242262-1 is not prime. Res64: 188F6F3AD222079B Time : 0.0 sec. user=mdettweiler [2013-03-08 05:18:57] 983*2^1242262-1 is not prime. Res64: 687FB7C8D1562342 Time : 0.0 sec. user=mdettweiler [2013-03-08 05:18:58] 609*2^1242263-1 is not prime. Res64: C724EEA6ECE0C036 Time : 0.0 sec. user=mdettweiler [2013-03-08 05:18:59] 693*2^1242263-1 is not prime. Res64: 422D4CBE71B535D0 Time : 0.0 sec. user=juhehe [2013-03-08 05:28:30] 871*2^1242261-1 is not prime. Res64: BA52C9DBE053CC37 Time : 0.0 sec. user=mdettweiler [2013-03-08 05:36:22] 943*2^1242263-1 is not prime. Res64: 3FC9950C4DF420B4 Time : 0.0 sec. user=mdettweiler [2013-03-08 05:36:22] 981*2^1242263-1 is not prime. Res64: 9464532F0673AA7E Time : 0.0 sec. user=mdettweiler [2013-03-08 05:36:22] 963*2^1242263-1 is not prime. Res64: 783D9F29EC2F4FE9 Time : 0.0 sec. user=mdettweiler [2013-03-08 05:36:23] 663*2^1242264-1 is not prime. Res64: 0EB9F2D93877B30E Time : 0.0 sec. user=juhehe [2013-03-08 05:36:45] 823*2^1242263-1 is not prime. Res64: 705EA17989036FD2 Time : 0.0 sec. user=mdettweiler [2013-03-08 05:53:47] 765*2^1242264-1 is not prime. Res64: 43D2169730F1F827 Time : 0.0 sec. user=mdettweiler [2013-03-08 05:53:47] 675*2^1242264-1 is not prime. Res64: 572C4891E7191104 Time : 0.0 sec. user=mdettweiler [2013-03-08 05:53:48] 825*2^1242264-1 is not prime. Res64: AEC1917955DD23D0 Time : 0.0 sec. user=mdettweiler [2013-03-08 05:53:48] 723*2^1242264-1 is not prime. Res64: 49A0067E0E11719F Time : 0.0 sec. user=mdettweiler [2013-03-08 06:11:12] 661*2^1242265-1 is not prime. Res64: 270BF10F366FC73E Time : 0.0 sec. user=mdettweiler [2013-03-08 06:11:12] 771*2^1242265-1 is not prime. Res64: 1E9213E464328689 Time : 0.0 sec. user=mdettweiler [2013-03-08 06:11:12] 717*2^1242265-1 is not prime. Res64: 2486D8149391C0C8 Time : 0.0 sec. user=mdettweiler [2013-03-08 06:11:13] 939*2^1242265-1 is not prime. Res64: F5DF09C4E1183EC8 Time : 0.0 sec. user=mdettweiler [2013-03-08 06:28:37] 999*2^1242265-1 is not prime. Res64: 1F4F28DB6EC01C14 Time : 0.0 sec. user=mdettweiler [2013-03-08 06:28:37] 603*2^1242266-1 is not prime. Res64: A1E08CBE4B833144 Time : 0.0 sec. user=mdettweiler [2013-03-08 06:28:38] 617*2^1242266-1 is not prime. Res64: 535B238A7836C7EC Time : 0.0 sec. user=mdettweiler [2013-03-08 06:28:39] 633*2^1242266-1 is not prime. Res64: 314155F0ECC037B8 Time : 0.0 sec. user=juhehe [2013-03-08 06:42:15] 857*2^1242264-1 is not prime. Res64: DACE77929972CD04 Time : 0.0 sec. user=mdettweiler [2013-03-08 06:46:02] 671*2^1242266-1 is not prime. Res64: 65E002F1FFB95234 Time : 0.0 sec. user=mdettweiler [2013-03-08 06:46:03] 851*2^1242266-1 is not prime. Res64: A153214B59BDD860 Time : 0.0 sec. user=mdettweiler [2013-03-08 06:46:03] 887*2^1242266-1 is not prime. Res64: 4AF662D25AB3F0BF Time : 0.0 sec. user=mdettweiler [2013-03-08 06:46:03] 615*2^1242267-1 is not prime. Res64: 69B9B46EC52345EC Time : 0.0 sec. user=mdettweiler [2013-03-08 07:03:27] 619*2^1242267-1 is not prime. Res64: 9FBBB8B8389E09CC Time : 0.0 sec. user=mdettweiler [2013-03-08 07:03:28] 699*2^1242267-1 is not prime. Res64: FD60C7F451818A4A Time : 0.0 sec. user=mdettweiler [2013-03-08 07:03:29] 649*2^1242267-1 is not prime. Res64: 370EBD48D20EA4FA Time : 0.0 sec. user=mdettweiler [2013-03-08 07:03:30] 829*2^1242267-1 is not prime. Res64: 1E29F852E7B637A3 Time : 0.0 sec. user=mdettweiler [2013-03-08 07:20:57] 859*2^1242267-1 is not prime. Res64: FCAE6E77204567B5 Time : 0.0 sec. user=mdettweiler [2013-03-08 07:20:57] 873*2^1242267-1 is not prime. Res64: F209EBD94D3287FC Time : 0.0 sec. user=mdettweiler [2013-03-08 07:20:58] 891*2^1242267-1 is not prime. Res64: 9F564DA551F53B0D Time : 0.0 sec. user=mdettweiler [2013-03-08 07:20:58] 909*2^1242267-1 is not prime. Res64: 5E7744ABE067709D Time : 0.0 sec. user=juhehe [2013-03-08 07:22:21] 835*2^1242267-1 is not prime. Res64: 01E70DD57D6A1E0D Time : 0.0 sec. user=juhehe [2013-03-08 07:29:19] 645*2^1242266-1 is not prime. Res64: 973078D57BB95F8E Time : 0.0 sec. user=mdettweiler [2013-03-08 07:38:23] 629*2^1242268-1 is not prime. Res64: 7DBAB83E357AB9D3 Time : 0.0 sec. user=mdettweiler [2013-03-08 07:38:23] 705*2^1242268-1 is not prime. Res64: B76557912D849FA9 Time : 0.0 sec. user=mdettweiler [2013-03-08 07:38:23] 803*2^1242268-1 is not prime. Res64: CD5A691E47049DB7 Time : 0.0 sec. user=mdettweiler [2013-03-08 07:38:24] 843*2^1242268-1 is not prime. Res64: 5E6E7ED9FB63F391 Time : 0.0 sec. user=mdettweiler [2013-03-08 07:55:49] 957*2^1242268-1 is not prime. Res64: 324E283B0AE46AC4 Time : 0.0 sec. user=mdettweiler [2013-03-08 07:55:49] 649*2^1242269-1 is not prime. Res64: E6F5853E87048B62 Time : 0.0 sec. user=mdettweiler [2013-03-08 07:55:49] 711*2^1242269-1 is not prime. Res64: 6123B1DBBAEF9D18 Time : 0.0 sec. user=mdettweiler [2013-03-08 07:55:50] 729*2^1242269-1 is not prime. Res64: 6A1D1B3271F0CC1D Time : 0.0 sec. user=mdettweiler [2013-03-08 08:13:14] 799*2^1242269-1 is not prime. Res64: 5CD939B3C2BD455D Time : 0.0 sec. user=mdettweiler [2013-03-08 08:13:14] 627*2^1242270-1 is not prime. Res64: 79B460FF3700F342 Time : 0.0 sec. user=mdettweiler [2013-03-08 08:13:14] 897*2^1242269-1 is not prime. Res64: 4C8EFFA29CBE63B8 Time : 0.0 sec. user=mdettweiler [2013-03-08 08:13:15] 651*2^1242270-1 is not prime. Res64: 91EEBBC5CC4AB077 Time : 0.0 sec. user=mdettweiler [2013-03-08 08:30:39] 791*2^1242270-1 is not prime. Res64: 9F296A4D8E9562A4 Time : 0.0 sec. user=mdettweiler [2013-03-08 08:30:39] 851*2^1242270-1 is not prime. Res64: 5EF7AC2D81DFC624 Time : 0.0 sec. user=mdettweiler [2013-03-08 08:30:40] 917*2^1242270-1 is not prime. Res64: E59676D9D34C060F Time : 0.0 sec. user=mdettweiler [2013-03-08 08:30:40] 603*2^1242271-1 is not prime. Res64: A04032C90C0C3D40 Time : 0.0 sec. user=juhehe [2013-03-08 08:41:44] 741*2^1242270-1 is not prime. Res64: 1BC4FDF74F7CCB1D Time : 0.0 sec. user=juhehe [2013-03-08 08:42:44] 789*2^1242269-1 is not prime. Res64: 5E14CF174C2B14DD Time : 0.0 sec. user=mdettweiler [2013-03-08 08:48:03] 891*2^1242271-1 is not prime. Res64: 28C52F1E111FEC1E Time : 0.0 sec. user=mdettweiler [2013-03-08 08:48:04] 909*2^1242271-1 is not prime. Res64: 892702AA70B3F69C Time : 0.0 sec. user=mdettweiler [2013-03-08 08:48:04] 617*2^1242272-1 is not prime. Res64: FCA4D4132D7DAC10 Time : 0.0 sec. user=mdettweiler [2013-03-08 08:48:05] 767*2^1242272-1 is not prime. Res64: E707A499005D8FF0 Time : 0.0 sec. user=mdettweiler [2013-03-08 09:05:28] 873*2^1242272-1 is not prime. Res64: 2E689AD83F1681AD Time : 0.0 sec. user=mdettweiler [2013-03-08 09:05:29] 903*2^1242272-1 is not prime. Res64: 4F2A8DF699455B3B Time : 0.0 sec. user=mdettweiler [2013-03-08 09:05:29] 657*2^1242273-1 is not prime. Res64: 9BE254B1D0067E8C Time : 0.0 sec. user=mdettweiler [2013-03-08 09:05:30] 741*2^1242273-1 is not prime. Res64: CE396BF46F33CE86 Time : 0.0 sec. user=juhehe [2013-03-08 09:08:54] 819*2^1242272-1 is not prime. Res64: 90745B6B22C38593 Time : 0.0 sec. user=mdettweiler [2013-03-08 09:22:59] 745*2^1242273-1 is not prime. Res64: 4AA766F09CA06616 Time : 0.0 sec. user=mdettweiler [2013-03-08 09:22:59] 765*2^1242273-1 is not prime. Res64: D3190CB1AD60DD08 Time : 0.0 sec. user=mdettweiler [2013-03-08 09:23:01] 889*2^1242273-1 is not prime. Res64: F58D5EE309E95F9F Time : 0.0 sec. user=mdettweiler [2013-03-08 09:23:01] 617*2^1242274-1 is not prime. Res64: C2FCFB549F9918C3 Time : 0.0 sec. user=juhehe [2013-03-08 09:30:09] 841*2^1242271-1 is not prime. Res64: 41E5ADFA8C9E189C Time : 0.0 sec. user=juhehe [2013-03-08 09:32:54] 621*2^1242274-1 is not prime. Res64: FCA8B51313BA0FF8 Time : 0.0 sec. user=mdettweiler [2013-03-08 09:40:31] 651*2^1242274-1 is not prime. Res64: 1C33C83DD7D6310B Time : 0.0 sec. user=mdettweiler [2013-03-08 09:40:32] 675*2^1242274-1 is not prime. Res64: E69EBFB92030CC2A Time : 0.0 sec. user=mdettweiler [2013-03-08 09:40:32] 741*2^1242274-1 is not prime. Res64: 3C12A0E537E40696 Time : 0.0 sec. user=mdettweiler [2013-03-08 09:40:33] 825*2^1242274-1 is not prime. Res64: F4EF3D19DE559DB8 Time : 0.0 sec. user=mdettweiler [2013-03-08 09:57:58] 831*2^1242274-1 is not prime. Res64: EACD3EA098682068 Time : 0.0 sec. user=mdettweiler [2013-03-08 09:57:58] 887*2^1242274-1 is not prime. Res64: FEBAF0BA035381F0 Time : 0.0 sec. user=mdettweiler [2013-03-08 09:57:59] 951*2^1242274-1 is not prime. Res64: 5CA8ACA380F94CFB Time : 0.0 sec. user=mdettweiler [2013-03-08 09:57:59] 983*2^1242274-1 is not prime. Res64: 0EB78C4217E59C79 Time : 0.0 sec. user=juhehe [2013-03-08 10:04:03] 609*2^1242276-1 is not prime. Res64: 1EA1BD2AC70F1A08 Time : 0.0 sec. user=mdettweiler [2013-03-08 10:15:24] 737*2^1242276-1 is not prime. Res64: 0B9667AF7B123593 Time : 0.0 sec. user=mdettweiler [2013-03-08 10:15:25] 839*2^1242276-1 is not prime. Res64: 3C294D674E9B88C2 Time : 0.0 sec. user=mdettweiler [2013-03-08 10:15:25] 975*2^1242276-1 is not prime. Res64: 2A34FCA55272DD48 Time : 0.0 sec. user=mdettweiler [2013-03-08 10:15:26] 751*2^1242277-1 is not prime. Res64: EF2AE745C8701E7A Time : 0.0 sec. user=juhehe [2013-03-08 10:25:01] 725*2^1242276-1 is not prime. Res64: 8BE73F41FD550CFC Time : 0.0 sec. user=mdettweiler [2013-03-08 10:32:53] 859*2^1242277-1 is not prime. Res64: BBE56AF5E4CCA46F Time : 0.0 sec. user=mdettweiler [2013-03-08 10:32:54] 871*2^1242277-1 is not prime. Res64: A0D70EB5BA9F60E1 Time : 0.0 sec. user=mdettweiler [2013-03-08 10:32:54] 985*2^1242277-1 is not prime. Res64: 6E0178A8133C25CA Time : 0.0 sec. user=mdettweiler [2013-03-08 10:32:55] 705*2^1242278-1 is not prime. Res64: CA1E02EAA036ABB0 Time : 0.0 sec. user=juhehe [2013-03-08 10:44:09] 647*2^1242276-1 is not prime. Res64: B214DE4BD7D216A6 Time : 0.0 sec. user=mdettweiler [2013-03-08 10:50:18] 893*2^1242278-1 is not prime. Res64: 90213BBA006BCE31 Time : 0.0 sec. user=mdettweiler [2013-03-08 10:50:19] 935*2^1242278-1 is not prime. Res64: 503AB324E8F53B8B Time : 0.0 sec. user=mdettweiler [2013-03-08 10:50:19] 953*2^1242278-1 is not prime. Res64: 2A5A534BE6CD06C1 Time : 0.0 sec. user=mdettweiler [2013-03-08 10:50:20] 977*2^1242278-1 is not prime. Res64: F55949FBC1B94C15 Time : 0.0 sec. user=mdettweiler [2013-03-08 11:07:45] 613*2^1242279-1 is not prime. Res64: 88D76BF18C156AEA Time : 0.0 sec. user=mdettweiler [2013-03-08 11:07:46] 709*2^1242279-1 is not prime. Res64: BDACE9F128CD117B Time : 0.0 sec. user=mdettweiler [2013-03-08 11:07:46] 735*2^1242279-1 is not prime. Res64: 71A232AE1F6D96A0 Time : 0.0 sec. user=mdettweiler [2013-03-08 11:07:46] 751*2^1242279-1 is not prime. Res64: 17A1054D28F19E1D Time : 0.0 sec. user=juhehe [2013-03-08 11:17:08] 951*2^1242279-1 is not prime. Res64: 943A9184A1D1DBCB Time : 0.0 sec. user=mdettweiler [2013-03-08 11:25:15] 999*2^1242279-1 is not prime. Res64: 2A05A83E8E1D99B7 Time : 0.0 sec. user=mdettweiler [2013-03-08 11:25:16] 855*2^1242280-1 is not prime. Res64: C1B11543FCEDC5D0 Time : 0.0 sec. user=mdettweiler [2013-03-08 11:25:17] 651*2^1242281-1 is not prime. Res64: ADDF2207EC667FC5 Time : 0.0 sec. user=mdettweiler [2013-03-08 11:25:18] 657*2^1242281-1 is not prime. Res64: CFEA1A81E700963D Time : 0.0 sec. user=juhehe [2013-03-08 11:31:23] 827*2^1242278-1 is not prime. Res64: 0B1F9364CBCC5537 Time : 0.0 sec. user=mdettweiler [2013-03-08 11:42:41] 669*2^1242281-1 is not prime. Res64: 075DB5A0FA31AEDA Time : 0.0 sec. user=mdettweiler [2013-03-08 11:42:41] 819*2^1242281-1 is not prime. Res64: 89F2CF2D99466A6B Time : 0.0 sec. user=mdettweiler [2013-03-08 11:42:42] 879*2^1242281-1 is not prime. Res64: D60209138837A70D Time : 0.0 sec. user=mdettweiler [2013-03-08 11:42:42] 955*2^1242281-1 is not prime. Res64: 036ECF99975F407C Time : 0.0 sec. user=mdettweiler [2013-03-08 12:00:07] 627*2^1242282-1 is not prime. Res64: 2D4C1039A88C50B4 Time : 0.0 sec. user=mdettweiler [2013-03-08 12:00:07] 711*2^1242282-1 is not prime. Res64: 572EA1DA19F3FCEE Time : 0.0 sec. user=mdettweiler [2013-03-08 12:00:08] 723*2^1242282-1 is not prime. Res64: BF44B1770B08A71F Time : 0.0 sec. user=mdettweiler [2013-03-08 12:00:10] 747*2^1242282-1 is not prime. Res64: 3D155DBDA852F320 Time : 0.0 sec. user=mdettweiler [2013-03-08 12:17:36] 921*2^1242282-1 is not prime. Res64: 0E262DD533846C4B Time : 0.0 sec. user=mdettweiler [2013-03-08 12:17:37] 691*2^1242283-1 is not prime. Res64: AE85AFC7ACE4654A Time : 0.0 sec. user=mdettweiler [2013-03-08 12:17:37] 793*2^1242283-1 is not prime. Res64: 9273E7C6279D042D Time : 0.0 sec. user=mdettweiler [2013-03-08 12:17:38] 915*2^1242283-1 is not prime. Res64: BA2C60030997A707 Time : 0.0 sec. user=mdettweiler [2013-03-08 12:35:12] 969*2^1242283-1 is not prime. Res64: 15EC9596BD870401 Time : 0.0 sec. user=mdettweiler [2013-03-08 12:35:12] 985*2^1242283-1 is not prime. Res64: 2E2E443F21C19D8B Time : 0.0 sec. user=mdettweiler [2013-03-08 12:35:13] 657*2^1242284-1 is not prime. Res64: 7955CBB5E2E823E4 Time : 0.0 sec. user=mdettweiler [2013-03-08 12:35:13] 615*2^1242284-1 is not prime. Res64: 652AE99A88B2692D Time : 0.0 sec. user=juhehe [2013-03-08 12:45:28] 765*2^1242282-1 is not prime. Res64: 9E1B6FA619647C5C Time : 0.0 sec. user=mdettweiler [2013-03-08 12:52:49] 675*2^1242284-1 is not prime. Res64: 4BAFDCE317F72126 Time : 0.0 sec. user=mdettweiler [2013-03-08 12:52:50] 663*2^1242284-1 is not prime. Res64: C2C3C720FB9A45F6 Time : 0.0 sec. user=mdettweiler [2013-03-08 12:52:50] 707*2^1242284-1 is not prime. Res64: 8FDCEADF7D2E5ED4 Time : 0.0 sec. user=mdettweiler [2013-03-08 12:52:50] 665*2^1242284-1 is not prime. Res64: E9F24BA8C0F638C2 Time : 0.0 sec. user=juhehe [2013-03-08 13:03:18] 759*2^1242284-1 is not prime. Res64: 07C28192291947ED Time : 0.0 sec. user=mdettweiler [2013-03-08 13:10:27] 885*2^1242284-1 is not prime. Res64: B0C7523F3B797302 Time : 0.0 sec. user=mdettweiler [2013-03-08 13:10:28] 915*2^1242284-1 is not prime. Res64: 95C5D36577364640 Time : 0.0 sec. user=mdettweiler [2013-03-08 13:10:28] 983*2^1242284-1 is not prime. Res64: 622B1C49F723F970 Time : 0.0 sec. user=mdettweiler [2013-03-08 13:10:28] 625*2^1242285-1 is not prime. Res64: 2BE22326D3D954AD Time : 0.0 sec. user=juhehe [2013-03-08 13:11:32] 857*2^1242284-1 is not prime. Res64: 82FC998A51FC88D4 Time : 0.0 sec. user=mdettweiler [2013-03-08 13:28:12] 655*2^1242285-1 is not prime. Res64: 579B0999E7BFE22E Time : 0.0 sec. user=mdettweiler [2013-03-08 13:28:13] 675*2^1242285-1 is not prime. Res64: 0BDA053324604825 Time : 0.0 sec. user=mdettweiler [2013-03-08 13:28:14] 709*2^1242285-1 is not prime. Res64: 6654A5D9322DCAF9 Time : 0.0 sec. user=mdettweiler [2013-03-08 13:28:14] 795*2^1242285-1 is not prime. Res64: CBD85F68F23A5FB0 Time : 0.0 sec. user=mdettweiler [2013-03-08 13:46:57] 843*2^1242286-1 is not prime. Res64: 7586CACC6E0D8C0C Time : 0.0 sec. user=mdettweiler [2013-03-08 13:46:57] 623*2^1242286-1 is not prime. Res64: 64031525E194D966 Time : 0.0 sec. user=mdettweiler [2013-03-08 13:46:57] 857*2^1242286-1 is not prime. Res64: F7C64098A12BF34D Time : 0.0 sec. user=mdettweiler [2013-03-08 13:46:57] 675*2^1242286-1 is not prime. Res64: AEB8E29259A22301 Time : 0.0 sec. user=mdettweiler [2013-03-08 14:05:40] 729*2^1242287-1 is not prime. Res64: 910F7EE96D423B24 Time : 0.0 sec. user=mdettweiler [2013-03-08 14:05:40] 633*2^1242287-1 is not prime. Res64: 31A8EE1EE97848C9 Time : 0.0 sec. user=mdettweiler [2013-03-08 14:05:40] 999*2^1242287-1 is not prime. Res64: 14094D5265B3800E Time : 0.0 sec. user=mdettweiler [2013-03-08 14:05:41] 669*2^1242287-1 is not prime. Res64: 537AE9210F531177 Time : 0.0 sec. user=mdettweiler [2013-03-08 14:24:08] 753*2^1242288-1 is not prime. Res64: 97E6AC1B1E4CB7F1 Time : 0.0 sec. user=mdettweiler [2013-03-08 14:24:09] 803*2^1242288-1 is not prime. Res64: CDB250FCA00ADCAD Time : 0.0 sec. user=mdettweiler [2013-03-08 14:24:10] 809*2^1242288-1 is not prime. Res64: 8E1759B6214707EF Time : 0.0 sec. user=mdettweiler [2013-03-08 14:24:10] 945*2^1242288-1 is not prime. Res64: EA593BE0D836FE67 Time : 0.0 sec. user=juhehe [2013-03-08 14:37:26] 975*2^1242286-1 is not prime. Res64: A9505F977A5AE100 Time : 0.0 sec. user=mdettweiler [2013-03-08 14:41:55] 959*2^1242288-1 is not prime. Res64: BCDB97A001373510 Time : 0.0 sec. user=mdettweiler [2013-03-08 14:41:56] 625*2^1242289-1 is not prime. Res64: 9608B1B5755B4D33 Time : 0.0 sec. user=mdettweiler [2013-03-08 14:41:56] 639*2^1242289-1 is not prime. Res64: A31A5BABCE02999D Time : 0.0 sec. user=mdettweiler [2013-03-08 14:41:56] 667*2^1242289-1 is not prime. Res64: 67853ADA62EFD880 Time : 0.0 sec. user=juhehe [2013-03-08 14:52:59] 987*2^1242286-1 is not prime. Res64: 14FB935206CF07DA Time : 0.0 sec. user=mdettweiler [2013-03-08 14:59:37] 765*2^1242289-1 is not prime. Res64: E3FC99385C6996A4 Time : 0.0 sec. user=mdettweiler [2013-03-08 14:59:38] 799*2^1242289-1 is not prime. Res64: F76065AE5850C09E Time : 0.0 sec. user=mdettweiler [2013-03-08 14:59:38] 855*2^1242289-1 is not prime. Res64: A6FFCBE5087DDA01 Time : 0.0 sec. user=mdettweiler [2013-03-08 14:59:39] 975*2^1242289-1 is not prime. Res64: 2164F0631F67C475 Time : 0.0 sec. user=mdettweiler [2013-03-08 15:17:20] 987*2^1242289-1 is not prime. Res64: 7C155444CB730662 Time : 0.0 sec. user=mdettweiler [2013-03-08 15:17:21] 633*2^1242290-1 is not prime. Res64: B1649940941CE3E2 Time : 0.0 sec. user=mdettweiler [2013-03-08 15:17:23] 645*2^1242290-1 is not prime. Res64: A2F6472988AC24FA Time : 0.0 sec. user=mdettweiler [2013-03-08 15:17:24] 741*2^1242290-1 is not prime. Res64: FC6B0FAF86CB0532 Time : 0.0 sec. user=mdettweiler [2013-03-08 15:35:05] 813*2^1242290-1 is not prime. Res64: 4ABA4378DFD4AB07 Time : 0.0 sec. user=mdettweiler [2013-03-08 15:35:06] 971*2^1242290-1 is not prime. Res64: 9FC90557AC49E65A Time : 0.0 sec. user=mdettweiler [2013-03-08 15:35:08] 619*2^1242291-1 is not prime. Res64: CC99834434BEF4E7 Time : 0.0 sec. user=mdettweiler [2013-03-08 15:35:08] 625*2^1242291-1 is not prime. Res64: 034235EF4F512E32 Time : 0.0 sec. user=mdettweiler [2013-03-08 15:52:48] 669*2^1242291-1 is not prime. Res64: C4579666967C466E Time : 0.0 sec. user=mdettweiler [2013-03-08 15:52:49] 705*2^1242291-1 is not prime. Res64: 572F4A0EA07544FB Time : 0.0 sec. user=mdettweiler [2013-03-08 15:52:52] 709*2^1242291-1 is not prime. Res64: 71306B7392C77D73 Time : 0.0 sec. user=mdettweiler [2013-03-08 15:52:53] 711*2^1242291-1 is not prime. Res64: 573638B386696B97 Time : 0.0 sec. user=mdettweiler [2013-03-08 16:10:29] 879*2^1242291-1 is not prime. Res64: 8B5DC33542270CC8 Time : 0.0 sec. user=mdettweiler [2013-03-08 16:10:30] 949*2^1242291-1 is not prime. Res64: C545A5F4EA3CE70D Time : 0.0 sec. user=mdettweiler [2013-03-08 16:10:33] 675*2^1242292-1 is not prime. Res64: D1627C3167CED48C Time : 0.0 sec. user=mdettweiler [2013-03-08 16:10:34] 677*2^1242292-1 is not prime. Res64: 85E5FAA7B1B8D9EF Time : 0.0 sec. user=mdettweiler [2013-03-08 16:28:15] 693*2^1242292-1 is not prime. Res64: DBB5A64E0C8F81D2 Time : 0.0 sec. user=mdettweiler [2013-03-08 16:28:16] 803*2^1242292-1 is not prime. Res64: 856705FB1C10C55D Time : 0.0 sec. user=mdettweiler [2013-03-08 16:28:19] 827*2^1242292-1 is not prime. Res64: 7C06D20561EED519 Time : 0.0 sec. user=mdettweiler [2013-03-08 16:28:21] 989*2^1242292-1 is not prime. Res64: 04F3FB1071877BEF Time : 0.0 sec. user=juhehe [2013-03-08 16:38:45] 735*2^1242291-1 is not prime. Res64: 8C8DFA704DE2DCDC Time : 0.0 sec. user=mdettweiler [2013-03-08 16:46:00] 607*2^1242293-1 is not prime. Res64: C97CB7A80CD1FE72 Time : 0.0 sec. user=mdettweiler [2013-03-08 16:46:01] 741*2^1242293-1 is not prime. Res64: B379AC10CD7BDEC8 Time : 0.0 sec. user=mdettweiler [2013-03-08 16:46:02] 759*2^1242293-1 is not prime. Res64: E759095E736F0371 Time : 0.0 sec. user=mdettweiler [2013-03-08 16:46:03] 771*2^1242293-1 is not prime. Res64: 9F3899F5A6242C87 Time : 0.0 sec. user=juhehe [2013-03-08 16:54:09] 823*2^1242291-1 is not prime. Res64: 7C8F57C73BC08B2F Time : 0.0 sec. user=mdettweiler [2013-03-08 17:03:42] 837*2^1242293-1 is not prime. Res64: AC5922D109D8A49F Time : 0.0 sec. user=mdettweiler [2013-03-08 17:03:44] 901*2^1242293-1 is not prime. Res64: 552E214981308C96 Time : 0.0 sec. user=mdettweiler [2013-03-08 17:03:47] 969*2^1242293-1 is not prime. Res64: 59BD4E51BB65E773 Time : 0.0 sec. user=mdettweiler [2013-03-08 17:03:49] 985*2^1242293-1 is not prime. Res64: 1F8488420D439E01 Time : 0.0 sec. user=mdettweiler [2013-03-08 17:21:32] 783*2^1242294-1 is not prime. Res64: 047AD43779E5697D Time : 0.0 sec. user=mdettweiler [2013-03-08 17:21:33] 951*2^1242294-1 is not prime. Res64: C14DF1A4D7FBCA89 Time : 0.0 sec. user=mdettweiler [2013-03-08 17:21:36] 663*2^1242295-1 is not prime. Res64: 2925501D619679A4 Time : 0.0 sec. user=mdettweiler [2013-03-08 17:21:37] 763*2^1242295-1 is not prime. Res64: 3A6132BF55C8E599 Time : 0.0 sec. user=mdettweiler [2013-03-08 17:39:17] 829*2^1242295-1 is not prime. Res64: 89C143C8CC3BA74C Time : 0.0 sec. user=mdettweiler [2013-03-08 17:39:18] 859*2^1242295-1 is not prime. Res64: E173690D0869556B Time : 0.0 sec. user=mdettweiler [2013-03-08 17:39:20] 919*2^1242295-1 is not prime. Res64: 1CCB169FBD6AA7F2 Time : 0.0 sec. user=mdettweiler [2013-03-08 17:39:20] 999*2^1242295-1 is not prime. Res64: EEDD76BD830B4EAF Time : 0.0 sec. user=mdettweiler [2013-03-08 17:56:56] 767*2^1242296-1 is not prime. Res64: 3FE7E4142E8F8161 Time : 0.0 sec. user=mdettweiler [2013-03-08 17:56:57] 969*2^1242296-1 is not prime. Res64: F2ADD9F8A5B785C0 Time : 0.0 sec. user=mdettweiler [2013-03-08 17:56:58] 993*2^1242296-1 is not prime. Res64: 6BD0031581498579 Time : 0.0 sec. user=mdettweiler [2013-03-08 17:56:59] 691*2^1242297-1 is not prime. Res64: EC6B6F5B61505FEA Time : 0.0 sec. user=mdettweiler [2013-03-08 18:14:36] 805*2^1242297-1 is not prime. Res64: BB734878CA0AEF36 Time : 0.0 sec. user=mdettweiler [2013-03-08 18:14:37] 849*2^1242297-1 is not prime. Res64: AE86A104DE066EC9 Time : 0.0 sec. user=mdettweiler [2013-03-08 18:14:39] 861*2^1242297-1 is not prime. Res64: 4BEA0C80A818B187 Time : 0.0 sec. user=mdettweiler [2013-03-08 18:14:40] 885*2^1242297-1 is not prime. Res64: 02C9D078CC8818A7 Time : 0.0 sec. user=mdettweiler [2013-03-08 18:32:17] 889*2^1242297-1 is not prime. Res64: D1A6B8C2B8BA9099 Time : 0.0 sec. user=mdettweiler [2013-03-08 18:32:18] 937*2^1242297-1 is not prime. Res64: A9C934E12DF621B2 Time : 0.0 sec. user=mdettweiler [2013-03-08 18:32:20] 657*2^1242298-1 is not prime. Res64: BC58A49A0F88C726 Time : 0.0 sec. user=mdettweiler [2013-03-08 18:32:20] 671*2^1242298-1 is not prime. Res64: 8C7BF8A75C196202 Time : 0.0 sec. user=juhehe [2013-03-08 18:39:34] 759*2^1242296-1 is not prime. Res64: D99856985906D583 Time : 0.0 sec. user=mdettweiler [2013-03-08 18:49:52] 713*2^1242298-1 is not prime. Res64: 512D1426F8EEDFFA Time : 0.0 sec. user=mdettweiler [2013-03-08 18:49:53] 987*2^1242298-1 is not prime. Res64: C8B329CC14EBAABC Time : 0.0 sec. user=mdettweiler [2013-03-08 18:49:54] 615*2^1242299-1 is not prime. Res64: 8DF6B275009FC06F Time : 0.0 sec. user=mdettweiler [2013-03-08 18:49:56] 633*2^1242299-1 is not prime. Res64: 7B7D60FF114B0C4A Time : 0.0 sec. user=juhehe [2013-03-08 18:55:25] 777*2^1242297-1 is not prime. Res64: 1635AB367B6BDFDF Time : 0.0 sec. user=mdettweiler [2013-03-08 19:07:36] 703*2^1242299-1 is not prime. Res64: C736CAFDC642D803 Time : 0.0 sec. user=mdettweiler [2013-03-08 19:07:37] 735*2^1242299-1 is not prime. Res64: F0741A686F1843B1 Time : 0.0 sec. user=mdettweiler [2013-03-08 19:07:40] 771*2^1242299-1 is not prime. Res64: 01DD22C11B6832DD Time : 0.0 sec. user=mdettweiler [2013-03-08 19:07:41] 819*2^1242299-1 is not prime. Res64: FD2902028158F06C Time : 0.0 sec. user=mdettweiler [2013-03-08 19:25:20] 855*2^1242299-1 is not prime. Res64: C486DD9C8649340E Time : 0.0 sec. user=mdettweiler [2013-03-08 19:25:21] 861*2^1242299-1 is not prime. Res64: 0A21872DFC659175 Time : 0.0 sec. user=mdettweiler [2013-03-08 19:25:24] 895*2^1242299-1 is not prime. Res64: 0B4956E37CC844FE Time : 0.0 sec. user=mdettweiler [2013-03-08 19:25:25] 979*2^1242299-1 is not prime. Res64: FC0B01D35A9620DC Time : 0.0 sec. user=mdettweiler [2013-03-08 19:43:01] 993*2^1242299-1 is not prime. Res64: 9634F06FC10F9591 Time : 0.0 sec. user=mdettweiler [2013-03-08 19:43:02] 609*2^1242300-1 is not prime. Res64: FB61B56E71A39A7A Time : 0.0 sec. user=mdettweiler [2013-03-08 19:43:02] 689*2^1242300-1 is not prime. Res64: 669A5B554E652D42 Time : 0.0 sec. user=mdettweiler [2013-03-08 19:43:03] 695*2^1242300-1 is not prime. Res64: 2C1E3D41AA27899C Time : 0.0 sec. user=mdettweiler [2013-03-08 20:00:36] 717*2^1242300-1 is not prime. Res64: 1CCF9A636053E314 Time : 0.0 sec. user=mdettweiler [2013-03-08 20:00:37] 819*2^1242300-1 is not prime. Res64: A4895D7DFD0B4D7A Time : 0.0 sec. user=mdettweiler [2013-03-08 20:00:39] 879*2^1242300-1 is not prime. Res64: 29C2CCEC8D271A0D Time : 0.0 sec. user=mdettweiler [2013-03-08 20:00:40] 975*2^1242300-1 is not prime. Res64: 2F0A9D6FE3C63C21 Time : 0.0 sec. user=mdettweiler [2013-03-08 20:18:13] 775*2^1242301-1 is not prime. Res64: C74ADCDE7FC5B3D1 Time : 0.0 sec. user=mdettweiler [2013-03-08 20:18:13] 957*2^1242301-1 is not prime. Res64: 92A72CBA4EB418A1 Time : 0.0 sec. user=mdettweiler [2013-03-08 20:18:15] 987*2^1242301-1 is not prime. Res64: 15BBD9883368464C Time : 0.0 sec. user=mdettweiler [2013-03-08 20:18:16] 665*2^1242302-1 is not prime. Res64: E073664D38A7677A Time : 0.0 sec. user=mdettweiler [2013-03-08 20:35:49] 677*2^1242302-1 is not prime. Res64: C608E6CCB07BD446 Time : 0.0 sec. user=mdettweiler [2013-03-08 20:35:50] 713*2^1242302-1 is not prime. Res64: FF5A4628691B061F Time : 0.0 sec. user=mdettweiler [2013-03-08 20:35:50] 741*2^1242302-1 is not prime. Res64: 04603B86409D3478 Time : 0.0 sec. user=mdettweiler [2013-03-08 20:35:52] 815*2^1242302-1 is not prime. Res64: 0849D5E268792BD7 Time : 0.0 sec. user=juhehe [2013-03-08 20:40:56] 707*2^1242300-1 is not prime. Res64: 43D20205E50C8387 Time : 0.0 sec. user=mdettweiler [2013-03-08 20:53:29] 691*2^1242303-1 is not prime. Res64: 6225220C175044C5 Time : 0.0 sec. user=mdettweiler [2013-03-08 20:53:30] 693*2^1242303-1 is not prime. Res64: 5634138E6507C029 Time : 0.0 sec. user=mdettweiler [2013-03-08 20:53:32] 885*2^1242303-1 is not prime. Res64: 862558C770CE4DF1 Time : 0.0 sec. user=mdettweiler [2013-03-08 20:53:33] 921*2^1242303-1 is not prime. Res64: 600E3B3BA423432C Time : 0.0 sec. user=juhehe [2013-03-08 20:56:34] 679*2^1242301-1 is not prime. Res64: 3044ADDDD3BEC027 Time : 0.0 sec. user=mdettweiler [2013-03-08 21:11:09] 955*2^1242303-1 is not prime. Res64: 57D2A85FF9B3019D Time : 0.0 sec. user=mdettweiler [2013-03-08 21:11:10] 969*2^1242303-1 is not prime. Res64: 0F58635E6EFB6220 Time : 0.0 sec. user=mdettweiler [2013-03-08 21:11:10] 695*2^1242304-1 is not prime. Res64: 8467C42432833425 Time : 0.0 sec. user=mdettweiler [2013-03-08 21:11:12] 747*2^1242304-1 is not prime. Res64: E3BC54783D41DF51 Time : 0.0 sec. user=mdettweiler [2013-03-08 21:28:49] 857*2^1242304-1 is not prime. Res64: 90C6FAA72ADAFD41 Time : 0.0 sec. user=mdettweiler [2013-03-08 21:28:50] 903*2^1242304-1 is not prime. Res64: B0B253621CE57DDF Time : 0.0 sec. user=mdettweiler [2013-03-08 21:28:52] 969*2^1242304-1 is not prime. Res64: 1B7F6685B02CD59B Time : 0.0 sec. user=mdettweiler [2013-03-08 21:28:53] 993*2^1242304-1 is not prime. Res64: 007777E0B4A58643 Time : 0.0 sec. user=mdettweiler [2013-03-08 21:46:31] 669*2^1242305-1 is not prime. Res64: E74FDABB2FDDC33F Time : 0.0 sec. user=mdettweiler [2013-03-08 21:46:32] 787*2^1242305-1 is not prime. Res64: 567EFEAB1A215F6C Time : 0.0 sec. user=mdettweiler [2013-03-08 21:46:35] 795*2^1242305-1 is not prime. Res64: 59D29815E5C047E9 Time : 0.0 sec. user=mdettweiler [2013-03-08 21:46:36] 865*2^1242305-1 is not prime. Res64: D20747F822B19510 Time : 0.0 sec. user=mdettweiler [2013-03-08 22:04:09] 957*2^1242305-1 is not prime. Res64: 9C2BFD3817EBBF0F Time : 0.0 sec. user=mdettweiler [2013-03-08 22:04:11] 671*2^1242306-1 is not prime. Res64: 06AB8D9DD4966E49 Time : 0.0 sec. user=mdettweiler [2013-03-08 22:04:12] 711*2^1242306-1 is not prime. Res64: 9FBC60CD53D23E98 Time : 0.0 sec. user=mdettweiler [2013-03-08 22:04:14] 777*2^1242306-1 is not prime. Res64: F9C6498A23776102 Time : 0.0 sec. user=mdettweiler [2013-03-08 22:21:44] 993*2^1242306-1 is not prime. Res64: 18BE351A5F9531E0 Time : 0.0 sec. user=mdettweiler [2013-03-08 22:21:45] 1001*2^1242306-1 is not prime. Res64: F870EB9543D7EC85 Time : 0.0 sec. user=mdettweiler [2013-03-08 22:21:47] 619*2^1242307-1 is not prime. Res64: 0FE0E9EC23F9C485 Time : 0.0 sec. user=mdettweiler [2013-03-08 22:21:48] 769*2^1242307-1 is not prime. Res64: F42212DD0AF61470 Time : 0.0 sec. user=mdettweiler [2013-03-08 22:39:16] 895*2^1242307-1 is not prime. Res64: 3D9B93B85416ECC9 Time : 0.0 sec. user=mdettweiler [2013-03-08 22:39:18] 945*2^1242307-1 is not prime. Res64: 0A865276C4E69FDB Time : 0.0 sec. user=mdettweiler [2013-03-08 22:39:19] 961*2^1242307-1 is not prime. Res64: C127095AD4808840 Time : 0.0 sec. user=mdettweiler [2013-03-08 22:39:20] 677*2^1242308-1 is not prime. Res64: 176618D6DAA4EE27 Time : 0.0 sec. user=juhehe [2013-03-08 22:41:52] 897*2^1242305-1 is not prime. Res64: 75AE1767F7C43AD3 Time : 0.0 sec. user=juhehe [2013-03-08 22:46:48] 893*2^1242306-1 is not prime. Res64: 17452E3BEE6626F1 Time : 0.0 sec. user=mdettweiler [2013-03-08 22:56:49] 735*2^1242308-1 is not prime. Res64: D8EC89B409F05333 Time : 0.0 sec. user=mdettweiler [2013-03-08 22:56:49] 767*2^1242308-1 is not prime. Res64: C15A201CAABFB67A Time : 0.0 sec. user=mdettweiler [2013-03-08 22:56:50] 797*2^1242308-1 is not prime. Res64: D715DAD0D59EF2DC Time : 0.0 sec. user=mdettweiler [2013-03-08 22:56:51] 825*2^1242308-1 is not prime. Res64: 1A36B876ED51AF81 Time : 0.0 sec. user=juhehe [2013-03-08 22:57:54] 843*2^1242306-1 is not prime. Res64: 7C8598CB1D697C6A Time : 0.0 sec. user=mdettweiler [2013-03-08 23:14:15] 855*2^1242308-1 is not prime. Res64: EC0ABDC754DC3213 Time : 0.0 sec. user=mdettweiler [2013-03-08 23:14:16] 953*2^1242308-1 is not prime. Res64: 420A16466A82D3AC Time : 0.0 sec. user=mdettweiler [2013-03-08 23:14:16] 987*2^1242308-1 is not prime. Res64: 39003B1E8A3A1169 Time : 0.0 sec. user=mdettweiler [2013-03-08 23:14:17] 649*2^1242309-1 is not prime. Res64: DD74D59739A6DB34 Time : 0.0 sec. user=juhehe [2013-03-08 23:30:51] 843*2^1242308-1 is not prime. Res64: 9AF95A01FB78C1EB Time : 0.0 sec. user=mdettweiler [2013-03-08 23:31:45] 667*2^1242309-1 is not prime. Res64: 63042B6934006EA5 Time : 0.0 sec. user=mdettweiler [2013-03-08 23:31:46] 685*2^1242309-1 is not prime. Res64: FCCFAB7BE5EB248D Time : 0.0 sec. user=mdettweiler [2013-03-08 23:31:46] 759*2^1242309-1 is not prime. Res64: C2A48660BF5A61FB Time : 0.0 sec. user=mdettweiler [2013-03-08 23:31:47] 769*2^1242309-1 is not prime. Res64: 531A0343E5190AB9 Time : 0.0 sec. user=mdettweiler [2013-03-08 23:49:11] 723*2^1242310-1 is not prime. Res64: 5F0B761C04AE15F9 Time : 0.0 sec. user=mdettweiler [2013-03-08 23:49:12] 653*2^1242310-1 is not prime. Res64: BE7987A99FA4FB04 Time : 0.0 sec. user=mdettweiler [2013-03-08 23:49:12] 741*2^1242310-1 is not prime. Res64: 43AA77E3B11209E0 Time : 0.0 sec. user=mdettweiler [2013-03-08 23:49:12] 713*2^1242310-1 is not prime. Res64: D050B211B7562742 Time : 0.0 sec.