user=mdettweiler [2013-01-23 00:02:13] 671*2^1239766-1 is not prime. Res64: 7F3EB8BDBC13A288 Time : 0.0 sec. user=mdettweiler [2013-01-23 00:02:15] 723*2^1239766-1 is not prime. Res64: 91F12ADF29A67D03 Time : 0.0 sec. user=mdettweiler [2013-01-23 00:02:16] 861*2^1239766-1 is not prime. Res64: F7157795C70B0750 Time : 0.0 sec. user=mdettweiler [2013-01-23 00:02:17] 933*2^1239766-1 is not prime. Res64: 9E96FF6B21293F83 Time : 0.0 sec. user=mdettweiler [2013-01-23 00:19:36] 993*2^1239766-1 is not prime. Res64: D40E77A1EC917FA3 Time : 0.0 sec. user=mdettweiler [2013-01-23 00:19:37] 609*2^1239767-1 is not prime. Res64: 434DE65392410246 Time : 0.0 sec. user=mdettweiler [2013-01-23 00:19:38] 673*2^1239767-1 is not prime. Res64: 89EE134EECED2BBF Time : 0.0 sec. user=mdettweiler [2013-01-23 00:19:38] 729*2^1239767-1 is not prime. Res64: 4E56D46FA39A7EB8 Time : 0.0 sec. user=vaughan [2013-01-23 00:31:21] 947*2^1239766-1 is not prime. Res64: F3EC53D6D66AACCF Time : 0.0 sec. user=mdettweiler [2013-01-23 00:36:59] 889*2^1239767-1 is not prime. Res64: 15B0C99E556075D4 Time : 0.0 sec. user=mdettweiler [2013-01-23 00:37:00] 963*2^1239767-1 is not prime. Res64: 0A5E77577C8C49AE Time : 0.0 sec. user=mdettweiler [2013-01-23 00:37:00] 633*2^1239768-1 is not prime. Res64: 873D9D28C6A0FEE6 Time : 0.0 sec. user=mdettweiler [2013-01-23 00:37:01] 699*2^1239768-1 is not prime. Res64: 16B7B72EC8AEE1A0 Time : 0.0 sec. user=mdettweiler [2013-01-23 00:54:20] 759*2^1239768-1 is not prime. Res64: D2EE16200DCB1A9F Time : 0.0 sec. user=mdettweiler [2013-01-23 00:54:20] 795*2^1239768-1 is not prime. Res64: 865137E907E091DF Time : 0.0 sec. user=mdettweiler [2013-01-23 00:54:20] 845*2^1239768-1 is not prime. Res64: CF5335ED2D8B2CC3 Time : 0.0 sec. user=mdettweiler [2013-01-23 00:54:21] 905*2^1239768-1 is not prime. Res64: 2D169D4E8C9169D7 Time : 0.0 sec. user=vaughan [2013-01-23 01:09:14] 747*2^1239768-1 is not prime. Res64: 1584E8D9F0E5E662 Time : 0.0 sec. user=mdettweiler [2013-01-23 01:11:40] 639*2^1239769-1 is not prime. Res64: 413EDE5D34DFC834 Time : 0.0 sec. user=mdettweiler [2013-01-23 01:11:41] 681*2^1239769-1 is not prime. Res64: EFF348B22DCBFEDA Time : 0.0 sec. user=mdettweiler [2013-01-23 01:11:41] 691*2^1239769-1 is not prime. Res64: 82A659E9A61AED73 Time : 0.0 sec. user=mdettweiler [2013-01-23 01:11:43] 747*2^1239769-1 is not prime. Res64: E02AA49A2094E67F Time : 0.0 sec. user=mdettweiler [2013-01-23 01:29:35] 987*2^1239769-1 is not prime. Res64: 5E905C98D38F2FF8 Time : 0.0 sec. user=mdettweiler [2013-01-23 01:29:35] 799*2^1239769-1 is not prime. Res64: 9FF8173F55D58973 Time : 0.0 sec. user=mdettweiler [2013-01-23 01:29:35] 645*2^1239770-1 is not prime. Res64: 1CE8650D200FFA5D Time : 0.0 sec. user=mdettweiler [2013-01-23 01:29:35] 801*2^1239769-1 is not prime. Res64: D20DE3E245900016 Time : 0.0 sec. user=mdettweiler [2013-01-23 01:46:56] 701*2^1239770-1 is not prime. Res64: 423CB06B3DE5B72C Time : 0.0 sec. user=mdettweiler [2013-01-23 01:46:56] 747*2^1239770-1 is not prime. Res64: 6CD13D199C82DE87 Time : 0.0 sec. user=mdettweiler [2013-01-23 01:46:57] 977*2^1239770-1 is not prime. Res64: 546730254901498C Time : 0.0 sec. user=mdettweiler [2013-01-23 01:46:58] 741*2^1239771-1 is not prime. Res64: 77B167A725DC3286 Time : 0.0 sec. user=vaughan [2013-01-23 01:47:20] 775*2^1239769-1 is not prime. Res64: C259E0C3AE9BE662 Time : 0.0 sec. user=mdettweiler [2013-01-23 02:04:17] 783*2^1239771-1 is not prime. Res64: 9585F514AE341E17 Time : 0.0 sec. user=mdettweiler [2013-01-23 02:04:18] 805*2^1239771-1 is not prime. Res64: 5B448B8B0758646D Time : 0.0 sec. user=mdettweiler [2013-01-23 02:04:19] 793*2^1239771-1 is not prime. Res64: 4392F606F6069F58 Time : 0.0 sec. user=mdettweiler [2013-01-23 02:04:19] 891*2^1239771-1 is not prime. Res64: 8F2A5DAA808400DE Time : 0.0 sec. user=mdettweiler [2013-01-23 02:21:51] 759*2^1239772-1 is not prime. Res64: 73D3EA2991186D0A Time : 0.0 sec. user=mdettweiler [2013-01-23 02:21:52] 857*2^1239772-1 is not prime. Res64: F7D31A699767AC31 Time : 0.0 sec. user=mdettweiler [2013-01-23 02:21:53] 615*2^1239773-1 is not prime. Res64: A3E1429C06E62102 Time : 0.0 sec. user=mdettweiler [2013-01-23 02:21:53] 697*2^1239773-1 is not prime. Res64: 2A36CFB22122A550 Time : 0.0 sec. user=vaughan [2013-01-23 02:25:12] 695*2^1239772-1 is not prime. Res64: 851380CEFE12B68C Time : 0.0 sec. user=mdettweiler [2013-01-23 02:39:15] 745*2^1239773-1 is not prime. Res64: 2334434A37FB6CD0 Time : 0.0 sec. user=mdettweiler [2013-01-23 02:39:15] 837*2^1239773-1 is not prime. Res64: FAA6851E8DE651D3 Time : 0.0 sec. user=mdettweiler [2013-01-23 02:39:16] 771*2^1239773-1 is not prime. Res64: A816F29D1FCE8D17 Time : 0.0 sec. user=mdettweiler [2013-01-23 02:39:16] 681*2^1239774-1 is not prime. Res64: 6EDFB4A37C7F4696 Time : 0.0 sec. user=mdettweiler [2013-01-23 02:56:50] 795*2^1239774-1 is not prime. Res64: 1C81FEAA602C3E37 Time : 0.0 sec. user=mdettweiler [2013-01-23 02:56:51] 833*2^1239774-1 is not prime. Res64: 1E79CFC4EF2EEF58 Time : 0.0 sec. user=mdettweiler [2013-01-23 02:56:52] 903*2^1239774-1 is not prime. Res64: 104A47C343CC0D12 Time : 0.0 sec. user=mdettweiler [2013-01-23 02:56:53] 917*2^1239774-1 is not prime. Res64: 0FC5FA3ED4512909 Time : 0.0 sec. user=vaughan [2013-01-23 03:03:03] 791*2^1239774-1 is not prime. Res64: 02FECCF000A8862B Time : 0.0 sec. user=mdettweiler [2013-01-23 03:14:19] 947*2^1239774-1 is not prime. Res64: 58BE7232449D19C4 Time : 0.0 sec. user=mdettweiler [2013-01-23 03:14:21] 993*2^1239774-1 is not prime. Res64: 8F4011ECDFB9620B Time : 0.0 sec. user=mdettweiler [2013-01-23 03:14:22] 609*2^1239775-1 is not prime. Res64: 985539CFCC25DA20 Time : 0.0 sec. user=mdettweiler [2013-01-23 03:14:23] 619*2^1239775-1 is not prime. Res64: B719F0505BD2C646 Time : 0.0 sec. user=mdettweiler [2013-01-23 03:32:01] 841*2^1239775-1 is not prime. Res64: 205DC31A930A9C26 Time : 0.0 sec. user=mdettweiler [2013-01-23 03:32:02] 843*2^1239775-1 is not prime. Res64: EC93B87664A4AA4F Time : 0.0 sec. user=mdettweiler [2013-01-23 03:32:03] 873*2^1239775-1 is not prime. Res64: A9A91F4EB8E24FE6 Time : 0.0 sec. user=mdettweiler [2013-01-23 03:32:06] 891*2^1239775-1 is not prime. Res64: 3B0C53EC584A477E Time : 0.0 sec. user=vaughan [2013-01-23 03:41:01] 673*2^1239775-1 is not prime. Res64: 2DA34C23B85E9F40 Time : 0.0 sec. user=mdettweiler [2013-01-23 03:49:43] 909*2^1239775-1 is not prime. Res64: EA5A843FDEC954DB Time : 0.0 sec. user=mdettweiler [2013-01-23 03:49:44] 603*2^1239776-1 is not prime. Res64: 7602FE4C304BBECD Time : 0.0 sec. user=mdettweiler [2013-01-23 03:49:45] 689*2^1239776-1 is not prime. Res64: 17578CCA4A11A4D3 Time : 0.0 sec. user=mdettweiler [2013-01-23 03:49:46] 843*2^1239776-1 is not prime. Res64: F35DF5710FCEC301 Time : 0.0 sec. user=mdettweiler [2013-01-23 04:07:04] 993*2^1239776-1 is not prime. Res64: CCF79C4F1427A8EC Time : 0.0 sec. user=mdettweiler [2013-01-23 04:07:08] 649*2^1239777-1 is not prime. Res64: E6CA2BDBFC323258 Time : 0.0 sec. user=mdettweiler [2013-01-23 04:07:08] 717*2^1239777-1 is not prime. Res64: F2C661D919615C6A Time : 0.0 sec. user=mdettweiler [2013-01-23 04:07:11] 819*2^1239777-1 is not prime. Res64: E4B28E1F50220790 Time : 0.0 sec. user=vaughan [2013-01-23 04:19:04] 873*2^1239776-1 is not prime. Res64: EAFFC2A6291077A2 Time : 0.0 sec. user=mdettweiler [2013-01-23 04:24:59] 837*2^1239777-1 is not prime. Res64: B97528F17066F2A0 Time : 0.0 sec. user=mdettweiler [2013-01-23 04:24:59] 901*2^1239777-1 is not prime. Res64: 9321E3AD14408B1F Time : 0.0 sec. user=mdettweiler [2013-01-23 04:25:05] 985*2^1239777-1 is not prime. Res64: 2374776E7EC1264F Time : 0.0 sec. user=mdettweiler [2013-01-23 04:25:06] 635*2^1239778-1 is not prime. Res64: 21D7F0EB15A235C0 Time : 0.0 sec. user=mdettweiler [2013-01-23 04:42:19] 747*2^1239778-1 is not prime. Res64: 04F56DE65E030BFD Time : 0.0 sec. user=mdettweiler [2013-01-23 04:42:19] 945*2^1239778-1 is not prime. Res64: 57F5D4CEA04E7644 Time : 0.0 sec. user=mdettweiler [2013-01-23 04:42:25] 987*2^1239778-1 is not prime. Res64: 9C1508F63E3C206A Time : 0.0 sec. user=mdettweiler [2013-01-23 04:42:26] 993*2^1239778-1 is not prime. Res64: 613EDE8D212D8186 Time : 0.0 sec. user=vaughan [2013-01-23 04:57:01] 705*2^1239778-1 is not prime. Res64: D4B11A170700DA99 Time : 0.0 sec. user=mdettweiler [2013-01-23 04:59:41] 621*2^1239779-1 is not prime. Res64: DFEFF1D3B5274114 Time : 0.0 sec. user=mdettweiler [2013-01-23 04:59:41] 703*2^1239779-1 is not prime. Res64: C08C1E7A914BF0EB Time : 0.0 sec. user=mdettweiler [2013-01-23 04:59:45] 859*2^1239779-1 is not prime. Res64: 0E8710C100FE994B Time : 0.0 sec. user=mdettweiler [2013-01-23 04:59:46] 609*2^1239780-1 is not prime. Res64: 37C2469E9EE4D96F Time : 0.0 sec. user=mdettweiler [2013-01-23 05:17:01] 669*2^1239780-1 is not prime. Res64: 5CF24A0F93C5759B Time : 0.0 sec. user=mdettweiler [2013-01-23 05:17:02] 689*2^1239780-1 is not prime. Res64: 01307104B0509E1D Time : 0.0 sec. user=mdettweiler [2013-01-23 05:17:05] 707*2^1239780-1 is not prime. Res64: 591992B8DB85F0C9 Time : 0.0 sec. user=mdettweiler [2013-01-23 05:17:06] 725*2^1239780-1 is not prime. Res64: 7B3779EF50F1297A Time : 0.0 sec. user=mdettweiler [2013-01-23 05:34:22] 753*2^1239780-1 is not prime. Res64: 4A87C6231A16544F Time : 0.0 sec. user=mdettweiler [2013-01-23 05:34:22] 789*2^1239780-1 is not prime. Res64: 5A62FAEF79DA19EB Time : 0.0 sec. user=mdettweiler [2013-01-23 05:34:28] 909*2^1239780-1 is not prime. Res64: F7C50D65D1BD8713 Time : 0.0 sec. user=mdettweiler [2013-01-23 05:34:28] 929*2^1239780-1 is not prime. Res64: 2A190E676606EB7E Time : 0.0 sec. user=vaughan [2013-01-23 05:34:52] 629*2^1239780-1 is not prime. Res64: DB6C62F4AA5C696D Time : 0.0 sec. user=mdettweiler [2013-01-23 05:51:42] 975*2^1239780-1 is not prime. Res64: 01A32A6B03F17BE1 Time : 0.0 sec. user=mdettweiler [2013-01-23 05:51:43] 607*2^1239781-1 is not prime. Res64: 8BE5F5D89AF1510A Time : 0.0 sec. user=mdettweiler [2013-01-23 05:51:49] 619*2^1239781-1 is not prime. Res64: 0E92C49DEFE51175 Time : 0.0 sec. user=mdettweiler [2013-01-23 05:51:49] 687*2^1239781-1 is not prime. Res64: 3ADBAD8981BADDA3 Time : 0.0 sec. user=mdettweiler [2013-01-23 06:09:04] 757*2^1239781-1 is not prime. Res64: 97ED2B05D69B3FA9 Time : 0.0 sec. user=mdettweiler [2013-01-23 06:09:07] 801*2^1239781-1 is not prime. Res64: BACB4FF645B7290E Time : 0.0 sec. user=mdettweiler [2013-01-23 06:09:09] 829*2^1239781-1 is not prime. Res64: 455FCB2EE1086828 Time : 0.0 sec. user=mdettweiler [2013-01-23 06:09:10] 889*2^1239781-1 is not prime. Res64: AAB04310D120D01F Time : 0.0 sec. user=vaughan [2013-01-23 06:12:44] 691*2^1239781-1 is not prime. Res64: C785534CA1D40701 Time : 0.0 sec. user=mdettweiler [2013-01-23 06:26:40] 665*2^1239782-1 is not prime. Res64: 33B1CC1009A0CAF3 Time : 0.0 sec. user=mdettweiler [2013-01-23 06:26:41] 675*2^1239782-1 is not prime. Res64: FA3D1A1DCAE62458 Time : 0.0 sec. user=mdettweiler [2013-01-23 06:26:44] 705*2^1239782-1 is not prime. Res64: 2F219B1BAE8A36BB Time : 0.0 sec. user=mdettweiler [2013-01-23 06:26:45] 755*2^1239782-1 is not prime. Res64: 4CB86E82670E7A71 Time : 0.0 sec. user=mdettweiler [2013-01-23 06:44:00] 797*2^1239782-1 is not prime. Res64: E0A574AC3A995E7D Time : 0.0 sec. user=mdettweiler [2013-01-23 06:44:01] 801*2^1239782-1 is not prime. Res64: 409F74E0C78A3DBC Time : 0.0 sec. user=mdettweiler [2013-01-23 06:44:05] 921*2^1239782-1 is not prime. Res64: A727942BD056752A Time : 0.0 sec. user=mdettweiler [2013-01-23 06:44:05] 963*2^1239782-1 is not prime. Res64: 89CDF4DFD31DE658 Time : 0.0 sec. user=vaughan [2013-01-23 06:50:40] 771*2^1239782-1 is not prime. Res64: 774DE703A082E15D Time : 0.0 sec. user=mdettweiler [2013-01-23 07:01:21] 1001*2^1239782-1 is not prime. Res64: E2803EE6254F9185 Time : 0.0 sec. user=mdettweiler [2013-01-23 07:01:23] 661*2^1239783-1 is not prime. Res64: 88ABBF94204259A1 Time : 0.0 sec. user=mdettweiler [2013-01-23 07:01:25] 663*2^1239783-1 is not prime. Res64: F7CF3568E3CF3686 Time : 0.0 sec. user=mdettweiler [2013-01-23 07:01:27] 735*2^1239783-1 is not prime. Res64: BFD54DD7E1A5E82A Time : 0.0 sec. user=mdettweiler [2013-01-23 07:18:57] 795*2^1239783-1 is not prime. Res64: A26782E98729A23C Time : 0.0 sec. user=mdettweiler [2013-01-23 07:18:58] 853*2^1239783-1 is not prime. Res64: 9042CE1365E9EA39 Time : 0.0 sec. user=mdettweiler [2013-01-23 07:18:59] 949*2^1239783-1 is not prime. Res64: 6BE3EF6B84F3AD12 Time : 0.0 sec. user=mdettweiler [2013-01-23 07:18:59] 677*2^1239784-1 is not prime. Res64: 2A6B19CFE2431340 Time : 0.0 sec. user=vaughan [2013-01-23 07:28:33] 739*2^1239783-1 is not prime. Res64: 38AE2ECF88A45AEF Time : 0.0 sec. user=mdettweiler [2013-01-23 07:36:19] 843*2^1239784-1 is not prime. Res64: 85FA37250FB496C8 Time : 0.0 sec. user=mdettweiler [2013-01-23 07:36:19] 869*2^1239784-1 is not prime. Res64: E265CD50E588FA44 Time : 0.0 sec. user=mdettweiler [2013-01-23 07:36:19] 875*2^1239784-1 is not prime. Res64: 88FDA393179F6455 Time : 0.0 sec. user=mdettweiler [2013-01-23 07:36:20] 887*2^1239784-1 is not prime. Res64: 1384984A1BCB1893 Time : 0.0 sec. user=mdettweiler [2013-01-23 07:53:40] 909*2^1239784-1 is not prime. Res64: 2CB0CE6916FBCB32 Time : 0.0 sec. user=mdettweiler [2013-01-23 07:53:40] 923*2^1239784-1 is not prime. Res64: 0B39FAD4018105D6 Time : 0.0 sec. user=mdettweiler [2013-01-23 07:53:40] 717*2^1239785-1 is not prime. Res64: C5C26EB6BA0F6F7E Time : 0.0 sec. user=mdettweiler [2013-01-23 07:53:41] 795*2^1239785-1 is not prime. Res64: 1601F1D8D1C1D161 Time : 0.0 sec. user=vaughan [2013-01-23 08:06:30] 903*2^1239784-1 is not prime. Res64: B8DB616F2EC5CE7A Time : 0.0 sec. user=mdettweiler [2013-01-23 08:11:03] 847*2^1239785-1 is not prime. Res64: 39B94B4E0D5556A5 Time : 0.0 sec. user=mdettweiler [2013-01-23 08:11:05] 955*2^1239785-1 is not prime. Res64: 317CAC0173C98C88 Time : 0.0 sec. user=mdettweiler [2013-01-23 08:11:08] 855*2^1239785-1 is not prime. Res64: 6A694736CB078E62 Time : 0.0 sec. user=mdettweiler [2013-01-23 08:11:09] 725*2^1239786-1 is not prime. Res64: AA98631A516D3651 Time : 0.0 sec. user=mdettweiler [2013-01-23 08:28:39] 741*2^1239786-1 is not prime. Res64: 3FD49555231184AE Time : 0.0 sec. user=mdettweiler [2013-01-23 08:28:40] 765*2^1239786-1 is not prime. Res64: E96984D6FC4888A5 Time : 0.0 sec. user=mdettweiler [2013-01-23 08:28:43] 833*2^1239786-1 is not prime. Res64: 826952514AE91760 Time : 0.0 sec. user=mdettweiler [2013-01-23 08:28:44] 881*2^1239786-1 is not prime. Res64: 1F68884EA8DF2A09 Time : 0.0 sec. user=vaughan [2013-01-23 08:44:38] 735*2^1239786-1 is not prime. Res64: 2869DF895BD34EE7 Time : 0.0 sec. user=mdettweiler [2013-01-23 08:45:59] 633*2^1239787-1 is not prime. Res64: 8BD5BFE6CB73FEE1 Time : 0.0 sec. user=mdettweiler [2013-01-23 08:46:00] 829*2^1239787-1 is not prime. Res64: D56B0AE36955FC52 Time : 0.0 sec. user=mdettweiler [2013-01-23 08:46:04] 841*2^1239787-1 is not prime. Res64: 25FA0102692F0D6A Time : 0.0 sec. user=mdettweiler [2013-01-23 08:46:04] 885*2^1239787-1 is not prime. Res64: E0E6FF1C98046947 Time : 0.0 sec. user=mdettweiler [2013-01-23 09:03:21] 617*2^1239788-1 is not prime. Res64: 95C283DB608D1197 Time : 0.0 sec. user=mdettweiler [2013-01-23 09:03:22] 843*2^1239788-1 is not prime. Res64: E68547D1617B66EA Time : 0.0 sec. user=mdettweiler [2013-01-23 09:03:24] 867*2^1239788-1 is not prime. Res64: DF49EC0FD8BE63CA Time : 0.0 sec. user=mdettweiler [2013-01-23 09:03:27] 885*2^1239788-1 is not prime. Res64: 1B2D95091C6B4D46 Time : 0.0 sec. user=mdettweiler [2013-01-23 09:20:56] 661*2^1239789-1 is not prime. Res64: 25D71498EC757BA3 Time : 0.0 sec. user=mdettweiler [2013-01-23 09:20:56] 741*2^1239789-1 is not prime. Res64: 3043CA5880DE63F7 Time : 0.0 sec. user=mdettweiler [2013-01-23 09:20:57] 769*2^1239789-1 is not prime. Res64: 8596C559137A93D9 Time : 0.0 sec. user=mdettweiler [2013-01-23 09:20:58] 825*2^1239789-1 is not prime. Res64: 74FC764D60E148E2 Time : 0.0 sec. user=vaughan [2013-01-23 09:22:30] 961*2^1239787-1 is not prime. Res64: A042E807F2F99F7B Time : 0.0 sec. user=mdettweiler [2013-01-23 09:38:17] 951*2^1239789-1 is not prime. Res64: CB8BC23F875C2702 Time : 0.0 sec. user=mdettweiler [2013-01-23 09:38:18] 969*2^1239789-1 is not prime. Res64: 9F9215EA9344BD0C Time : 0.0 sec. user=mdettweiler [2013-01-23 09:38:19] 975*2^1239789-1 is not prime. Res64: 7D99FB76D4FDF7B4 Time : 0.0 sec. user=mdettweiler [2013-01-23 09:38:20] 635*2^1239790-1 is not prime. Res64: 6878AF88EAF52723 Time : 0.0 sec. user=mdettweiler [2013-01-23 09:55:39] 713*2^1239790-1 is not prime. Res64: 55C21109D10631AF Time : 0.0 sec. user=mdettweiler [2013-01-23 09:55:39] 743*2^1239790-1 is not prime. Res64: 84B209F0152BCE39 Time : 0.0 sec. user=mdettweiler [2013-01-23 09:55:41] 813*2^1239790-1 is not prime. Res64: 85FFFA275DE28826 Time : 0.0 sec. user=mdettweiler [2013-01-23 09:55:42] 821*2^1239790-1 is not prime. Res64: C9BFB314FE2B6409 Time : 0.0 sec. user=vaughan [2013-01-23 10:00:21] 653*2^1239790-1 is not prime. Res64: 6C28BB2F84345929 Time : 0.0 sec. user=mdettweiler [2013-01-23 10:13:03] 843*2^1239790-1 is not prime. Res64: FE7DD0BBD15DE480 Time : 0.0 sec. user=mdettweiler [2013-01-23 10:13:04] 863*2^1239790-1 is not prime. Res64: AEACC666AE18D52A Time : 0.0 sec. user=mdettweiler [2013-01-23 10:13:05] 873*2^1239790-1 is not prime. Res64: 88889FBD4EB4DBEE Time : 0.0 sec. user=mdettweiler [2013-01-23 10:13:06] 643*2^1239791-1 is not prime. Res64: D9A73A7B2DA4C756 Time : 0.0 sec. user=mdettweiler [2013-01-23 10:30:27] 909*2^1239791-1 is not prime. Res64: 653BDC242D43ABE0 Time : 0.0 sec. user=mdettweiler [2013-01-23 10:30:27] 629*2^1239792-1 is not prime. Res64: 46888C277E40E1EF Time : 0.0 sec. user=mdettweiler [2013-01-23 10:30:28] 675*2^1239792-1 is not prime. Res64: 7C89CD97B1886232 Time : 0.0 sec. user=mdettweiler [2013-01-23 10:30:28] 693*2^1239792-1 is not prime. Res64: F6D3C87FFEACC92F Time : 0.0 sec. user=vaughan [2013-01-23 10:38:22] 685*2^1239791-1 is not prime. Res64: D08F561C980C8839 Time : 0.0 sec. user=mdettweiler [2013-01-23 10:47:50] 713*2^1239792-1 is not prime. Res64: 4D8105BE76D63300 Time : 0.0 sec. user=mdettweiler [2013-01-23 10:47:50] 815*2^1239792-1 is not prime. Res64: 138473156341AA8E Time : 0.0 sec. user=mdettweiler [2013-01-23 10:47:50] 765*2^1239792-1 is not prime. Res64: 7F8AF34D171C6A00 Time : 0.0 sec. user=mdettweiler [2013-01-23 10:47:50] 849*2^1239792-1 is not prime. Res64: 3692EE942891760C Time : 0.0 sec. user=mdettweiler [2013-01-23 11:05:11] 945*2^1239792-1 is not prime. Res64: 715BE790CF15D041 Time : 0.0 sec. user=mdettweiler [2013-01-23 11:05:12] 625*2^1239793-1 is not prime. Res64: 893459886C74339D Time : 0.0 sec. user=mdettweiler [2013-01-23 11:05:13] 769*2^1239793-1 is not prime. Res64: BC1AE0617C7BE46C Time : 0.0 sec. user=mdettweiler [2013-01-23 11:05:14] 811*2^1239793-1 is not prime. Res64: 3E8B4A831DAB8A38 Time : 0.0 sec. user=vaughan [2013-01-23 11:16:15] 915*2^1239792-1 is not prime. Res64: BECC742AA90BED29 Time : 0.0 sec. user=mdettweiler [2013-01-23 11:22:43] 895*2^1239793-1 is not prime. Res64: A5DE2E84FB07694D Time : 0.0 sec. user=mdettweiler [2013-01-23 11:22:43] 981*2^1239793-1 is not prime. Res64: 05CEAE342DB84144 Time : 0.0 sec. user=mdettweiler [2013-01-23 11:22:45] 999*2^1239793-1 is not prime. Res64: BE2466B370461208 Time : 0.0 sec. user=mdettweiler [2013-01-23 11:22:45] 675*2^1239794-1 is not prime. Res64: C3ED8F20E49A1499 Time : 0.0 sec. user=mdettweiler [2013-01-23 11:40:04] 927*2^1239794-1 is not prime. Res64: 9177B5E8DF052B08 Time : 0.0 sec. user=mdettweiler [2013-01-23 11:40:04] 613*2^1239795-1 is not prime. Res64: B38E87C984912A81 Time : 0.0 sec. user=mdettweiler [2013-01-23 11:40:05] 753*2^1239795-1 is not prime. Res64: 48E91A5C667E076A Time : 0.0 sec. user=mdettweiler [2013-01-23 11:40:06] 765*2^1239795-1 is not prime. Res64: 4F38332F10C41AEB Time : 0.0 sec. user=vaughan [2013-01-23 11:54:10] 923*2^1239794-1 is not prime. Res64: EBF7465C83141D0D Time : 0.0 sec. user=mdettweiler [2013-01-23 11:57:25] 795*2^1239795-1 is not prime. Res64: D5BABB89E8A9228F Time : 0.0 sec. user=mdettweiler [2013-01-23 11:57:25] 823*2^1239795-1 is not prime. Res64: 5EC28AB2C52433CA Time : 0.0 sec. user=mdettweiler [2013-01-23 11:57:26] 871*2^1239795-1 is not prime. Res64: 247491446C28169D Time : 0.0 sec. user=mdettweiler [2013-01-23 11:57:27] 991*2^1239795-1 is not prime. Res64: 80E4D206DB94ABC4 Time : 0.0 sec. user=mdettweiler [2013-01-23 12:14:45] 657*2^1239796-1 is not prime. Res64: A8FFC1F575124E83 Time : 0.0 sec. user=mdettweiler [2013-01-23 12:14:46] 705*2^1239796-1 is not prime. Res64: 229CD7F862204107 Time : 0.0 sec. user=mdettweiler [2013-01-23 12:14:47] 875*2^1239796-1 is not prime. Res64: 1098107894FF03D0 Time : 0.0 sec. user=mdettweiler [2013-01-23 12:14:48] 897*2^1239796-1 is not prime. Res64: 91598D85ED38457E Time : 0.0 sec. user=vaughan [2013-01-23 12:32:02] 603*2^1239796-1 is not prime. Res64: 3D5C60DD90D27D80 Time : 0.0 sec. user=mdettweiler [2013-01-23 12:32:08] 697*2^1239797-1 is not prime. Res64: 211706E6C8710BEF Time : 0.0 sec. user=mdettweiler [2013-01-23 12:32:08] 899*2^1239796-1 is not prime. Res64: 145B49739D65C6C2 Time : 0.0 sec. user=mdettweiler [2013-01-23 12:32:09] 729*2^1239797-1 is not prime. Res64: B3EFF9BCFF5A2290 Time : 0.0 sec. user=mdettweiler [2013-01-23 12:32:09] 669*2^1239797-1 is not prime. Res64: 5536E22E68E8E363 Time : 0.0 sec. user=mdettweiler [2013-01-23 12:49:29] 759*2^1239797-1 is not prime. Res64: B647F3ABB4B71092 Time : 0.0 sec. user=mdettweiler [2013-01-23 12:49:29] 795*2^1239797-1 is not prime. Res64: 8D2D80104DB15E3B Time : 0.0 sec. user=mdettweiler [2013-01-23 12:49:32] 615*2^1239799-1 is not prime. Res64: E76DD1B62CD2A7AA Time : 0.0 sec. user=mdettweiler [2013-01-23 12:49:32] 765*2^1239799-1 is not prime. Res64: B66185BFBB104F07 Time : 0.0 sec. user=mdettweiler [2013-01-23 13:06:51] 961*2^1239799-1 is not prime. Res64: 9B871C71592F6DAB Time : 0.0 sec. user=mdettweiler [2013-01-23 13:06:54] 969*2^1239799-1 is not prime. Res64: F825014F33846192 Time : 0.0 sec. user=mdettweiler [2013-01-23 13:06:58] 975*2^1239799-1 is not prime. Res64: 273A31FCB71E6EE8 Time : 0.0 sec. user=mdettweiler [2013-01-23 13:07:02] 635*2^1239800-1 is not prime. Res64: EC48710AB9A0532B Time : 0.0 sec. user=vaughan [2013-01-23 13:09:56] 741*2^1239797-1 is not prime. Res64: CD81D7096715ECD0 Time : 0.0 sec. user=mdettweiler [2013-01-23 13:24:50] 713*2^1239800-1 is not prime. Res64: 96C1E46C65721CD7 Time : 0.0 sec. user=mdettweiler [2013-01-23 13:24:51] 825*2^1239800-1 is not prime. Res64: 38920306E8E7E459 Time : 0.0 sec. user=mdettweiler [2013-01-23 13:24:53] 659*2^1239800-1 is not prime. Res64: 70686BF157D17960 Time : 0.0 sec. user=mdettweiler [2013-01-23 13:24:53] 827*2^1239800-1 is not prime. Res64: 729D00667119DBC3 Time : 0.0 sec. user=mdettweiler [2013-01-23 13:42:11] 857*2^1239800-1 is not prime. Res64: B0FF4E06503B56C2 Time : 0.0 sec. user=mdettweiler [2013-01-23 13:42:12] 899*2^1239800-1 is not prime. Res64: CFC070A2F83C706A Time : 0.0 sec. user=mdettweiler [2013-01-23 13:42:13] 977*2^1239800-1 is not prime. Res64: 049D41CC1056B8FD Time : 0.0 sec. user=mdettweiler [2013-01-23 13:42:14] 675*2^1239801-1 is not prime. Res64: E605868B92D6F8E0 Time : 0.0 sec. user=vaughan [2013-01-23 13:48:03] 843*2^1239800-1 is not prime. Res64: 8F20385EABEEC0E4 Time : 0.0 sec. user=mdettweiler [2013-01-23 13:59:33] 681*2^1239801-1 is not prime. Res64: 5087D35FC9E71E12 Time : 0.0 sec. user=mdettweiler [2013-01-23 13:59:33] 849*2^1239801-1 is not prime. Res64: 6FCE7EAB04F27141 Time : 0.0 sec. user=mdettweiler [2013-01-23 13:59:34] 885*2^1239801-1 is not prime. Res64: C51D81DAD17D42B8 Time : 0.0 sec. user=mdettweiler [2013-01-23 13:59:35] 937*2^1239801-1 is not prime. Res64: A55F6DB6FC05F252 Time : 0.0 sec. user=mdettweiler [2013-01-23 14:16:54] 617*2^1239802-1 is not prime. Res64: BB7556F44141F8ED Time : 0.0 sec. user=mdettweiler [2013-01-23 14:16:54] 735*2^1239802-1 is not prime. Res64: 82DDD3EE7AA46345 Time : 0.0 sec. user=mdettweiler [2013-01-23 14:16:54] 885*2^1239802-1 is not prime. Res64: 84AABFBDA4292774 Time : 0.0 sec. user=mdettweiler [2013-01-23 14:16:55] 917*2^1239802-1 is not prime. Res64: 67E2FDA9FF30E234 Time : 0.0 sec. user=vaughan [2013-01-23 14:25:56] 951*2^1239801-1 is not prime. Res64: 16AE613E1DD5A7BA Time : 0.0 sec. user=mdettweiler [2013-01-23 14:34:16] 621*2^1239803-1 is not prime. Res64: 2F3512765D766FBD Time : 0.0 sec. user=mdettweiler [2013-01-23 14:34:17] 699*2^1239803-1 is not prime. Res64: 96CF1D3D9543AD64 Time : 0.0 sec. user=mdettweiler [2013-01-23 14:34:19] 735*2^1239803-1 is not prime. Res64: 621439010E1194D9 Time : 0.0 sec. user=mdettweiler [2013-01-23 14:34:19] 901*2^1239803-1 is not prime. Res64: 76E03E3A7D9BBBC9 Time : 0.0 sec. user=mdettweiler [2013-01-23 14:51:37] 629*2^1239804-1 is not prime. Res64: 84EE0D898DEC99D2 Time : 0.0 sec. user=mdettweiler [2013-01-23 14:51:37] 675*2^1239804-1 is not prime. Res64: E2AD0F5034F8B00F Time : 0.0 sec. user=mdettweiler [2013-01-23 14:51:40] 689*2^1239804-1 is not prime. Res64: D6889C4650183081 Time : 0.0 sec. user=mdettweiler [2013-01-23 14:51:40] 699*2^1239804-1 is not prime. Res64: 5DCB12411702789C Time : 0.0 sec. user=vaughan [2013-01-23 15:03:49] 627*2^1239804-1 is not prime. Res64: B070F1313365204F Time : 0.0 sec. user=mdettweiler [2013-01-23 15:08:57] 825*2^1239804-1 is not prime. Res64: 4FEE1FFC9579A493 Time : 0.0 sec. user=mdettweiler [2013-01-23 15:08:58] 843*2^1239804-1 is not prime. Res64: CE65513644067375 Time : 0.0 sec. user=mdettweiler [2013-01-23 15:09:00] 651*2^1239805-1 is not prime. Res64: E89CC75757B31618 Time : 0.0 sec. user=mdettweiler [2013-01-23 15:09:01] 661*2^1239805-1 is not prime. Res64: 7720E0F01E8FB3C7 Time : 0.0 sec. user=mdettweiler [2013-01-23 15:26:53] 799*2^1239805-1 is not prime. Res64: D36666CADA6FF82E Time : 0.0 sec. user=mdettweiler [2013-01-23 15:26:54] 801*2^1239805-1 is not prime. Res64: 00AF260A39BB4C34 Time : 0.0 sec. user=mdettweiler [2013-01-23 15:26:54] 895*2^1239805-1 is not prime. Res64: 65FE5E9AFCEB38D6 Time : 0.0 sec. user=mdettweiler [2013-01-23 15:26:55] 915*2^1239805-1 is not prime. Res64: 2035E161F6A2812D Time : 0.0 sec. user=vaughan [2013-01-23 15:42:10] 667*2^1239805-1 is not prime. Res64: CBE57DF260832DC0 Time : 0.0 sec. user=mdettweiler [2013-01-23 15:44:37] 951*2^1239805-1 is not prime. Res64: BE79484A73FFF0E5 Time : 0.0 sec. user=mdettweiler [2013-01-23 15:44:37] 827*2^1239806-1 is not prime. Res64: B97119952C710C33 Time : 0.0 sec. user=mdettweiler [2013-01-23 15:44:38] 997*2^1239805-1 is not prime. Res64: 605922FD69C9746D Time : 0.0 sec. user=mdettweiler [2013-01-23 15:44:38] 851*2^1239806-1 is not prime. Res64: 9184C134D34D3F4B Time : 0.0 sec. user=mdettweiler [2013-01-23 16:02:17] 615*2^1239807-1 is not prime. Res64: 78A15CE1DEF9B2A0 Time : 0.0 sec. user=mdettweiler [2013-01-23 16:02:17] 985*2^1239807-1 is not prime. Res64: 6F3F8EF01546E538 Time : 0.0 sec. user=mdettweiler [2013-01-23 16:02:17] 871*2^1239807-1 is not prime. Res64: D371005F27D1209B Time : 0.0 sec. user=mdettweiler [2013-01-23 16:02:18] 699*2^1239808-1 is not prime. Res64: ADB450FDC8D26795 Time : 0.0 sec. user=vaughan [2013-01-23 16:19:59] 911*2^1239806-1 is not prime. Res64: 318187C6B30C6DE4 Time : 0.0 sec. user=mdettweiler [2013-01-23 16:20:05] 723*2^1239808-1 is not prime. Res64: 84BEE08AC37E36D5 Time : 0.0 sec. user=mdettweiler [2013-01-23 16:20:05] 735*2^1239808-1 is not prime. Res64: FBF336BDC0A663B5 Time : 0.0 sec. user=mdettweiler [2013-01-23 16:20:07] 777*2^1239808-1 is not prime. Res64: CB6480612B12CC1D Time : 0.0 sec. user=mdettweiler [2013-01-23 16:20:07] 843*2^1239808-1 is not prime. Res64: 185261D5FC2C4917 Time : 0.0 sec. user=mdettweiler [2013-01-23 16:37:40] 697*2^1239809-1 is not prime. Res64: 8099666211A1FF35 Time : 0.0 sec. user=mdettweiler [2013-01-23 16:37:41] 727*2^1239809-1 is not prime. Res64: A1FA9F71CA1B31F9 Time : 0.0 sec. user=mdettweiler [2013-01-23 16:37:42] 735*2^1239809-1 is not prime. Res64: DB1DE09599341621 Time : 0.0 sec. user=mdettweiler [2013-01-23 16:37:42] 747*2^1239809-1 is not prime. Res64: 7ED3AC56017D8306 Time : 0.0 sec. user=mdettweiler [2013-01-23 16:55:22] 759*2^1239809-1 is not prime. Res64: 874BACD90E29DF88 Time : 0.0 sec. user=mdettweiler [2013-01-23 16:55:22] 771*2^1239809-1 is not prime. Res64: AEDAC6A223EB5FE8 Time : 0.0 sec. user=mdettweiler [2013-01-23 16:55:24] 795*2^1239809-1 is not prime. Res64: 4CA9F0540923F139 Time : 0.0 sec. user=mdettweiler [2013-01-23 16:55:24] 909*2^1239809-1 is not prime. Res64: C33FD43F500AC498 Time : 0.0 sec. user=vaughan [2013-01-23 16:57:53] 631*2^1239809-1 is not prime. Res64: 02B0B46769E7CD97 Time : 0.0 sec. user=mdettweiler [2013-01-23 17:12:59] 925*2^1239809-1 is not prime. Res64: C6D36375C7C93637 Time : 0.0 sec. user=mdettweiler [2013-01-23 17:13:00] 967*2^1239809-1 is not prime. Res64: 7ABA6465D904D4FE Time : 0.0 sec. user=mdettweiler [2013-01-23 17:13:01] 711*2^1239810-1 is not prime. Res64: DDE9EC1AD4CBA680 Time : 0.0 sec. user=mdettweiler [2013-01-23 17:13:01] 755*2^1239810-1 is not prime. Res64: 46DF72C147A0DCEA Time : 0.0 sec. user=mdettweiler [2013-01-23 17:30:37] 803*2^1239810-1 is not prime. Res64: B69306854258C01A Time : 0.0 sec. user=mdettweiler [2013-01-23 17:30:38] 703*2^1239811-1 is not prime. Res64: AAD8ACD5A4472C03 Time : 0.0 sec. user=mdettweiler [2013-01-23 17:30:39] 905*2^1239810-1 is not prime. Res64: 99C85170CBDED703 Time : 0.0 sec. user=mdettweiler [2013-01-23 17:30:40] 709*2^1239811-1 is not prime. Res64: 99F9D672F02BDDF5 Time : 0.0 sec. user=vaughan [2013-01-23 17:35:45] 797*2^1239810-1 is not prime. Res64: E64EBC48D516AFC9 Time : 0.0 sec. user=mdettweiler [2013-01-23 17:48:22] 723*2^1239811-1 is not prime. Res64: 61710D83E96EE6AB Time : 0.0 sec. user=mdettweiler [2013-01-23 17:48:22] 951*2^1239811-1 is not prime. Res64: 948D7A1E2D59A0C9 Time : 0.0 sec. user=mdettweiler [2013-01-23 17:48:23] 961*2^1239811-1 is not prime. Res64: 10863547F76521BE Time : 0.0 sec. user=mdettweiler [2013-01-23 17:48:23] 993*2^1239811-1 is not prime. Res64: 9FB3BA4840E0BB3F Time : 0.0 sec. user=mdettweiler [2013-01-23 18:06:03] 669*2^1239812-1 is not prime. Res64: D4273527B92B77DA Time : 0.0 sec. user=mdettweiler [2013-01-23 18:06:04] 759*2^1239812-1 is not prime. Res64: CB397FFEE73A85F1 Time : 0.0 sec. user=mdettweiler [2013-01-23 18:06:08] 873*2^1239812-1 is not prime. Res64: E74041CD35A2163E Time : 0.0 sec. user=mdettweiler [2013-01-23 18:06:09] 909*2^1239812-1 is not prime. Res64: 44AE3CD32D5380D5 Time : 0.0 sec. user=vaughan [2013-01-23 18:13:38] 665*2^1239812-1 is not prime. Res64: 160B64F4CF5E1C50 Time : 0.0 sec. user=mdettweiler [2013-01-23 18:23:46] 651*2^1239813-1 is not prime. Res64: B4588E4812F0C45D Time : 0.0 sec. user=mdettweiler [2013-01-23 18:23:47] 679*2^1239813-1 is not prime. Res64: C7AEA47AD43D356C Time : 0.0 sec. user=mdettweiler [2013-01-23 18:32:44] 781*2^1239813-1 is not prime. Res64: 3D74251DACA97961 Time : 0.0 sec. user=mdettweiler [2013-01-23 18:32:44] 811*2^1239813-1 is not prime. Res64: 97903826427A2D91 Time : 0.0 sec. user=mdettweiler [2013-01-23 18:41:19] 817*2^1239813-1 is not prime. Res64: B9ECE0DEFA9827A6 Time : 0.0 sec. user=mdettweiler [2013-01-23 18:41:19] 829*2^1239813-1 is not prime. Res64: B047C16E2D8719A1 Time : 0.0 sec. user=mdettweiler [2013-01-23 18:50:16] 919*2^1239813-1 is not prime. Res64: 569F4866B7B71114 Time : 0.0 sec. user=mdettweiler [2013-01-23 18:50:17] 937*2^1239813-1 is not prime. Res64: 9036A2A0AD4FDD7A Time : 0.0 sec. user=vaughan [2013-01-23 18:51:32] 747*2^1239813-1 is not prime. Res64: E331E58B4BEDF059 Time : 0.0 sec. user=mdettweiler [2013-01-23 18:58:53] 635*2^1239814-1 is not prime. Res64: AFC6F2284B1A598B Time : 0.0 sec. user=mdettweiler [2013-01-23 18:58:53] 645*2^1239814-1 is not prime. Res64: 1FB097518CD965B2 Time : 0.0 sec. user=mdettweiler [2013-01-23 19:07:50] 687*2^1239814-1 is not prime. Res64: 18C9F41706D3CC55 Time : 0.0 sec. user=mdettweiler [2013-01-23 19:07:54] 783*2^1239814-1 is not prime. Res64: ABBEAD3CE16695BD Time : 0.0 sec. user=mdettweiler [2013-01-23 19:16:24] 663*2^1239815-1 is not prime. Res64: 77344F35252EAB6A Time : 0.0 sec. user=mdettweiler [2013-01-23 19:16:25] 669*2^1239815-1 is not prime. Res64: 5212B0C6D3CB8A45 Time : 0.0 sec. user=mdettweiler [2013-01-23 19:25:53] 721*2^1239815-1 is not prime. Res64: DB7F7A7341F90F4F Time : 0.0 sec. user=mdettweiler [2013-01-23 19:25:53] 763*2^1239815-1 is not prime. Res64: F15E5E4272234F26 Time : 0.0 sec. user=vaughan [2013-01-23 19:29:24] 945*2^1239814-1 is not prime. Res64: 57275C50233068E9 Time : 0.0 sec. user=mdettweiler [2013-01-23 19:33:57] 771*2^1239815-1 is not prime. Res64: 98C4AC57037061EF Time : 0.0 sec. user=mdettweiler [2013-01-23 19:33:58] 999*2^1239815-1 is not prime. Res64: 4C18AEE905D2624A Time : 0.0 sec. user=mdettweiler [2013-01-23 19:43:25] 609*2^1239816-1 is not prime. Res64: 7189A0AEB65B52C1 Time : 0.0 sec. user=mdettweiler [2013-01-23 19:43:25] 707*2^1239816-1 is not prime. Res64: 519E559CEEA6C974 Time : 0.0 sec. user=mdettweiler [2013-01-23 19:51:29] 615*2^1239817-1 is not prime. Res64: 00BB88CA0F35675C Time : 0.0 sec. user=mdettweiler [2013-01-23 19:51:30] 747*2^1239817-1 is not prime. Res64: F7B205C56EF9D69F Time : 0.0 sec. user=mdettweiler [2013-01-23 20:01:10] 765*2^1239817-1 is not prime. Res64: 9256E5BDCE69890E Time : 0.0 sec. user=mdettweiler [2013-01-23 20:01:12] 897*2^1239817-1 is not prime. Res64: 73FC4EF49596CB49 Time : 0.0 sec. user=vaughan [2013-01-23 20:07:20] 909*2^1239816-1 is not prime. Res64: F819A803EC6DACD2 Time : 0.0 sec. user=mdettweiler [2013-01-23 20:09:23] 603*2^1239818-1 is not prime. Res64: 3424999E8375783B Time : 0.0 sec. user=mdettweiler [2013-01-23 20:09:24] 651*2^1239818-1 is not prime. Res64: 4F267CE5C20E5AFD Time : 0.0 sec. user=mdettweiler [2013-01-23 20:18:59] 713*2^1239818-1 is not prime. Res64: AB68BAD3EFADB107 Time : 0.0 sec. user=mdettweiler [2013-01-23 20:19:00] 791*2^1239818-1 is not prime. Res64: 82EF806A078D6E40 Time : 0.0 sec. user=mdettweiler [2013-01-23 20:27:03] 837*2^1239818-1 is not prime. Res64: 66BC865DCBF86518 Time : 0.0 sec. user=mdettweiler [2013-01-23 20:27:03] 845*2^1239818-1 is not prime. Res64: 483396E1190908A6 Time : 0.0 sec. user=mdettweiler [2013-01-23 20:36:26] 953*2^1239818-1 is not prime. Res64: B37AC116A8B04D82 Time : 0.0 sec. user=mdettweiler [2013-01-23 20:36:26] 633*2^1239819-1 is not prime. Res64: 0F8DDE9CFBB3C4AF Time : 0.0 sec. user=mdettweiler [2013-01-23 20:44:29] 801*2^1239819-1 is not prime. Res64: 18A971CFA966176B Time : 0.0 sec. user=mdettweiler [2013-01-23 20:44:29] 853*2^1239819-1 is not prime. Res64: 259BE781DD5712D2 Time : 0.0 sec. user=vaughan [2013-01-23 20:45:29] 827*2^1239818-1 is not prime. Res64: 5E7F408438B9FAA9 Time : 0.0 sec. user=mdettweiler [2013-01-23 20:53:51] 913*2^1239819-1 is not prime. Res64: 5027E6AF3CB65012 Time : 0.0 sec. user=mdettweiler [2013-01-23 20:53:52] 785*2^1239820-1 is not prime. Res64: 207D3944D7E8F7B6 Time : 0.0 sec. user=mdettweiler [2013-01-23 21:01:57] 827*2^1239820-1 is not prime. Res64: F1D5F1227B349B77 Time : 0.0 sec. user=mdettweiler [2013-01-23 21:01:59] 875*2^1239820-1 is not prime. Res64: DCF675C120EDCE17 Time : 0.0 sec. user=mdettweiler [2013-01-23 21:11:42] 933*2^1239820-1 is not prime. Res64: 109C77FA3BCAA906 Time : 0.0 sec. user=mdettweiler [2013-01-23 21:11:43] 983*2^1239820-1 is not prime. Res64: BBD981A690EF6B4D Time : 0.0 sec. user=mdettweiler [2013-01-23 21:20:22] 989*2^1239820-1 is not prime. Res64: 14FEECC963A92B85 Time : 0.0 sec. user=mdettweiler [2013-01-23 21:20:22] 607*2^1239821-1 is not prime. Res64: 01557D537DD68AD4 Time : 0.0 sec. user=vaughan [2013-01-23 21:23:23] 909*2^1239820-1 is not prime. Res64: BCFB03FBE419BA94 Time : 0.0 sec. user=mdettweiler [2013-01-23 21:29:52] 619*2^1239821-1 is not prime. Res64: 02E1683A8C18C887 Time : 0.0 sec. user=mdettweiler [2013-01-23 21:29:52] 631*2^1239821-1 is not prime. Res64: 3980FF53DB9E7254 Time : 0.0 sec. user=mdettweiler [2013-01-23 21:38:27] 697*2^1239821-1 is not prime. Res64: C6FAE027D6E15272 Time : 0.0 sec. user=mdettweiler [2013-01-23 21:38:27] 711*2^1239821-1 is not prime. Res64: 54635FC2C96B56D3 Time : 0.0 sec. user=mdettweiler [2013-01-23 21:47:53] 735*2^1239821-1 is not prime. Res64: 415599A29ED97F0B Time : 0.0 sec. user=mdettweiler [2013-01-23 21:47:53] 747*2^1239821-1 is not prime. Res64: 54B977F90F00935F Time : 0.0 sec. user=mdettweiler [2013-01-23 21:56:12] 769*2^1239821-1 is not prime. Res64: 96B3981A6B08D8D3 Time : 0.0 sec. user=mdettweiler [2013-01-23 21:56:12] 789*2^1239821-1 is not prime. Res64: 80448890B4B3C31A Time : 0.0 sec. user=vaughan [2013-01-23 22:01:22] 727*2^1239821-1 is not prime. Res64: 4E538A39842AF3FB Time : 0.0 sec. user=mdettweiler [2013-01-23 22:05:27] 865*2^1239821-1 is not prime. Res64: 8683B8ECEFDFEB12 Time : 0.0 sec. user=mdettweiler [2013-01-23 22:05:28] 615*2^1239822-1 is not prime. Res64: F06C0AA0E3EB40D3 Time : 0.0 sec. user=mdettweiler [2013-01-23 22:13:46] 635*2^1239822-1 is not prime. Res64: 43C621A5DFD29005 Time : 0.0 sec. user=mdettweiler [2013-01-23 22:13:47] 683*2^1239822-1 is not prime. Res64: F837D318DEC8376D Time : 0.0 sec. user=mdettweiler [2013-01-23 22:23:11] 791*2^1239822-1 is not prime. Res64: 316315D76DD1AB44 Time : 0.0 sec. user=mdettweiler [2013-01-23 22:23:12] 945*2^1239822-1 is not prime. Res64: F1C5F92A873A9320 Time : 0.0 sec. user=mdettweiler [2013-01-23 22:31:26] 977*2^1239822-1 is not prime. Res64: 5DA221F7534DF6B2 Time : 0.0 sec. user=mdettweiler [2013-01-23 22:31:26] 609*2^1239823-1 is not prime. Res64: 8448719C3F92C39F Time : 0.0 sec. user=vaughan [2013-01-23 22:39:30] 737*2^1239822-1 is not prime. Res64: DFE149ABEEBFFD23 Time : 0.0 sec. user=mdettweiler [2013-01-23 22:41:46] 735*2^1239823-1 is not prime. Res64: 9C871D9E1C2F41BE Time : 0.0 sec. user=mdettweiler [2013-01-23 22:41:46] 745*2^1239823-1 is not prime. Res64: 265BF76589A7AE5C Time : 0.0 sec. user=mdettweiler [2013-01-23 22:50:06] 919*2^1239823-1 is not prime. Res64: B9108184AE631436 Time : 0.0 sec. user=mdettweiler [2013-01-23 22:50:07] 615*2^1239824-1 is not prime. Res64: 48F4FDA0448C26BD Time : 0.0 sec. user=mdettweiler [2013-01-23 23:00:19] 753*2^1239824-1 is not prime. Res64: AA34ED5F48400B7E Time : 0.0 sec. user=mdettweiler [2013-01-23 23:00:20] 833*2^1239824-1 is not prime. Res64: 0849E56ACFE7FCC9 Time : 0.0 sec. user=mdettweiler [2013-01-23 23:08:37] 875*2^1239824-1 is not prime. Res64: 93AE81D000442C7F Time : 0.0 sec. user=mdettweiler [2013-01-23 23:08:38] 903*2^1239824-1 is not prime. Res64: 2D0835B0360BD0EF Time : 0.0 sec. user=vaughan [2013-01-23 23:17:26] 629*2^1239824-1 is not prime. Res64: DBA386EEE33F6F70 Time : 0.0 sec. user=mdettweiler [2013-01-23 23:17:54] 983*2^1239824-1 is not prime. Res64: C51774B50B4AD0C4 Time : 0.0 sec. user=mdettweiler [2013-01-23 23:17:55] 649*2^1239825-1 is not prime. Res64: FFF9024BE3F52F3E Time : 0.0 sec. user=mdettweiler [2013-01-23 23:26:03] 709*2^1239825-1 is not prime. Res64: 6AE8192E75341D92 Time : 0.0 sec. user=mdettweiler [2013-01-23 23:26:03] 765*2^1239825-1 is not prime. Res64: B6DFD280725B4BD0 Time : 0.0 sec. user=mdettweiler [2013-01-23 23:35:17] 909*2^1239825-1 is not prime. Res64: 792DB778B2A4855C Time : 0.0 sec. user=mdettweiler [2013-01-23 23:35:19] 997*2^1239825-1 is not prime. Res64: 4C350A7DD0290311 Time : 0.0 sec. user=mdettweiler [2013-01-23 23:43:25] 675*2^1239826-1 is not prime. Res64: F15BA5857A812DE4 Time : 0.0 sec. user=mdettweiler [2013-01-23 23:43:26] 633*2^1239827-1 is not prime. Res64: A328A928637B10FE Time : 0.0 sec. user=mdettweiler [2013-01-23 23:52:38] 711*2^1239827-1 is not prime. Res64: 8BD5093B8AC33E28 Time : 0.0 sec. user=mdettweiler [2013-01-23 23:52:39] 741*2^1239827-1 is not prime. Res64: 80909CF5312E1D5F Time : 0.0 sec. user=vaughan [2013-01-23 23:55:21] 895*2^1239825-1 is not prime. Res64: 43651897CA46CA0E Time : 0.0 sec. user=mdettweiler [2013-01-24 00:00:47] 859*2^1239827-1 is not prime. Res64: 7E46836EE5E5E4B2 Time : 0.0 sec. user=mdettweiler [2013-01-24 00:00:47] 895*2^1239827-1 is not prime. Res64: 962782BD280772DE Time : 0.0 sec.