user=mdettweiler [2012-02-04 00:04:59] 843*2^1003828-1 is not prime. Res64: 8BC5DDF2ED2C764D Time : 0.0 sec. user=mdettweiler [2012-02-04 00:05:01] 995*2^1003828-1 is not prime. Res64: 2127DB1EB2DE49F5 Time : 0.0 sec. user=mdettweiler [2012-02-04 00:09:22] 619*2^1003829-1 is not prime. Res64: 516714AFEB79F4FE Time : 0.0 sec. user=mdettweiler [2012-02-04 00:09:23] 621*2^1003829-1 is not prime. Res64: 8B4183EC4AC6F835 Time : 0.0 sec. user=mdettweiler [2012-02-04 00:09:48] 727*2^1003829-1 is not prime. Res64: 439944FF6E3D8840 Time : 0.0 sec. user=mdettweiler [2012-02-04 00:09:49] 829*2^1003829-1 is not prime. Res64: ACC2DC436DD3CE1D Time : 0.0 sec. user=mdettweiler [2012-02-04 00:20:25] 847*2^1003829-1 is not prime. Res64: FC454462CE237537 Time : 0.0 sec. user=mdettweiler [2012-02-04 00:20:25] 761*2^1003830-1 is not prime. Res64: D2C5DC4C675E6FC2 Time : 0.0 sec. user=mdettweiler [2012-02-04 00:25:01] 777*2^1003830-1 is not prime. Res64: 5CF8C8EDD33F45F6 Time : 0.0 sec. user=mdettweiler [2012-02-04 00:25:01] 783*2^1003830-1 is not prime. Res64: DC30FF5E999D62A7 Time : 0.0 sec. user=mdettweiler [2012-02-04 00:26:27] 609*2^1003827-1 is not prime. Res64: 06BC693C610F9FC1 Time : 0.0 sec. user=mdettweiler [2012-02-04 00:26:28] 701*2^1003826-1 is not prime. Res64: B4DE031A845409A9 Time : 0.0 sec. user=mdettweiler [2012-02-04 00:26:28] 801*2^1003827-1 is not prime. Res64: 273E24815724420B Time : 0.0 sec. user=mdettweiler [2012-02-04 00:28:14] 711*2^1003826-1 is not prime. Res64: 2ACCD29B53D943A0 Time : 0.0 sec. user=mdettweiler [2012-02-04 00:29:09] 801*2^1003830-1 is not prime. Res64: E7EA292EDB34AD7E Time : 0.0 sec. user=mdettweiler [2012-02-04 00:29:10] 843*2^1003830-1 is not prime. Res64: FFD1D474DADEB63F Time : 0.0 sec. user=mdettweiler [2012-02-04 00:29:32] 887*2^1003830-1 is not prime. Res64: 14C44613AC3CC94A Time : 0.0 sec. user=mdettweiler [2012-02-04 00:29:33] 621*2^1003831-1 is not prime. Res64: BBE6F65B3F41A27E Time : 0.0 sec. user=mdettweiler [2012-02-04 00:40:09] 621*2^1003827-1 is not prime. Res64: 25FF9717350C0676 Time : 0.0 sec. user=mdettweiler [2012-02-04 00:40:13] 673*2^1003831-1 is not prime. Res64: 51DA126AC9D95323 Time : 0.0 sec. user=mdettweiler [2012-02-04 00:40:13] 793*2^1003831-1 is not prime. Res64: 482708508E6E63CD Time : 0.0 sec. user=mdettweiler [2012-02-04 00:44:47] 855*2^1003831-1 is not prime. Res64: 4E8FE38CBB3E58AC Time : 0.0 sec. user=mdettweiler [2012-02-04 00:44:48] 859*2^1003831-1 is not prime. Res64: 53305623E5D81A0A Time : 0.0 sec. user=mdettweiler [2012-02-04 00:45:48] 825*2^1003827-1 is not prime. Res64: 1110A9030AADE535 Time : 0.0 sec. user=mdettweiler [2012-02-04 00:51:38] 993*2^1003831-1 is not prime. Res64: 92B05AAEB4D23C0D Time : 0.0 sec. user=mdettweiler [2012-02-04 00:51:38] 603*2^1003832-1 is not prime. Res64: ACBA07F625800AE6 Time : 0.0 sec. user=mdettweiler [2012-02-04 00:53:28] 913*2^1003831-1 is not prime. Res64: 803E0A3250682ACC Time : 0.0 sec. user=mdettweiler [2012-02-04 00:53:29] 975*2^1003831-1 is not prime. Res64: 624F48237B05B040 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:02:17] 675*2^1003832-1 is not prime. Res64: 3190CCE01704B9D4 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:02:18] 899*2^1003832-1 is not prime. Res64: 49F684F02CCC82FF Time : 0.0 sec. user=mdettweiler [2012-02-04 01:09:12] 957*2^1003832-1 is not prime. Res64: B71F86D3C5F666FC Time : 0.0 sec. user=mdettweiler [2012-02-04 01:09:12] 983*2^1003832-1 is not prime. Res64: D5F1D2C6993883BC Time : 0.0 sec. user=mdettweiler [2012-02-04 01:11:28] 605*2^1003834-1 is not prime. Res64: 78365C99D292B464 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:11:29] 623*2^1003834-1 is not prime. Res64: 8B8016B9727B43B8 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:13:16] 645*2^1003834-1 is not prime. Res64: 5797BDD3BD1A479A Time : 0.0 sec. user=mdettweiler [2012-02-04 01:13:16] 687*2^1003834-1 is not prime. Res64: C1E0E13ADEDE2D47 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:22:08] 747*2^1003834-1 is not prime. Res64: 2B9BE8EC155A9080 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:22:08] 857*2^1003834-1 is not prime. Res64: BBBA3B1AE7CF7697 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:31:23] 633*2^1003835-1 is not prime. Res64: ECAD42965FCF9E6D Time : 0.0 sec. user=mdettweiler [2012-02-04 01:31:24] 645*2^1003835-1 is not prime. Res64: E67D3DDF1BCCD3A3 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:33:05] 699*2^1003835-1 is not prime. Res64: C866F9E22925BEB1 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:33:05] 741*2^1003835-1 is not prime. Res64: 9C83EBEF807EF056 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:33:29] 947*2^1003834-1 is not prime. Res64: 0D44CABFB4523A68 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:33:30] 993*2^1003834-1 is not prime. Res64: D9EA597E2BFC2032 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:41:50] 781*2^1003835-1 is not prime. Res64: A97DE7E5C02B0777 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:41:51] 799*2^1003835-1 is not prime. Res64: 2299983B878E622C Time : 0.0 sec. user=mdettweiler [2012-02-04 01:51:19] 885*2^1003835-1 is not prime. Res64: 2135E13504792C9C Time : 0.0 sec. user=mdettweiler [2012-02-04 01:51:20] 705*2^1003836-1 is not prime. Res64: E693A3FC73DBC48C Time : 0.0 sec. user=mdettweiler [2012-02-04 01:52:50] 759*2^1003836-1 is not prime. Res64: FB5C4442FE4A303F Time : 0.0 sec. user=mdettweiler [2012-02-04 01:52:50] 609*2^1003837-1 is not prime. Res64: 1121D56316985669 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:55:33] 769*2^1003837-1 is not prime. Res64: 8C991F9C71D700D8 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:55:33] 897*2^1003837-1 is not prime. Res64: 06CC8EC9F42BE9B7 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:57:47] 871*2^1003831-1 is not prime. Res64: 9807DBCAC0DA01D4 Time : 0.0 sec. user=mdettweiler [2012-02-04 01:57:47] 901*2^1003831-1 is not prime. Res64: 003F13DCFD384CD8 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:00:59] 615*2^1003832-1 is not prime. Res64: 0339F86A4AFAE67D Time : 0.0 sec. user=mdettweiler [2012-02-04 02:01:00] 669*2^1003832-1 is not prime. Res64: 08C37F6E17622D47 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:01:33] 663*2^1003838-1 is not prime. Res64: 6C52B90D6DD0A4D7 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:01:34] 845*2^1003838-1 is not prime. Res64: 579368C87F2E9009 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:11:06] 615*2^1003839-1 is not prime. Res64: CF1DFB09E47B5299 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:11:06] 619*2^1003839-1 is not prime. Res64: 3D76DB65CA2AD062 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:12:33] 709*2^1003839-1 is not prime. Res64: 9B1C504EA92A251C Time : 0.0 sec. user=mdettweiler [2012-02-04 02:12:35] 741*2^1003839-1 is not prime. Res64: DAA3F58495F23737 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:15:18] 751*2^1003839-1 is not prime. Res64: EA5A53254BE85A02 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:15:19] 859*2^1003839-1 is not prime. Res64: F641656524E1FC8F Time : 0.0 sec. user=mdettweiler [2012-02-04 02:15:21] 747*2^1003833-1 is not prime. Res64: AA1C5EB64DD5760E Time : 0.0 sec. user=mdettweiler [2012-02-04 02:15:22] 945*2^1003833-1 is not prime. Res64: 40665090AD0332F1 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:18:50] 605*2^1003564-1 is not prime. Res64: E7AEA4346139689B Time : 0.0 sec. user=mdettweiler [2012-02-04 02:19:23] 901*2^1003563-1 is not prime. Res64: A289DEB04E8262C3 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:21:21] 803*2^1003840-1 is not prime. Res64: 7501AB068147BDD4 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:21:21] 825*2^1003840-1 is not prime. Res64: 482E4F4CE15E0061 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:26:17] 725*2^1003842-1 is not prime. Res64: 44C9C5D5C707157B Time : 0.0 sec. user=mdettweiler [2012-02-04 02:26:55] 803*2^1003842-1 is not prime. Res64: E1734988FDDD1E61 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:30:52] 833*2^1003840-1 is not prime. Res64: B865920CEF8E73F5 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:30:53] 887*2^1003840-1 is not prime. Res64: E15EF9C1EBDCFC85 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:33:43] 833*2^1003842-1 is not prime. Res64: 1F49F43B23321701 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:34:40] 927*2^1003840-1 is not prime. Res64: 6B737455A790084C Time : 0.0 sec. user=mdettweiler [2012-02-04 02:34:41] 715*2^1003841-1 is not prime. Res64: 854CFB4CCCAE9B5D Time : 0.0 sec. user=mdettweiler [2012-02-04 02:35:05] 717*2^1003841-1 is not prime. Res64: D4536D34BC549CB6 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:35:06] 747*2^1003841-1 is not prime. Res64: D73173777BDAF853 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:36:04] 945*2^1003842-1 is not prime. Res64: 1DE6452ECFCE6D3F Time : 0.0 sec. user=mdettweiler [2012-02-04 02:41:09] 623*2^1003844-1 is not prime. Res64: C3FBA7FCD25E1E44 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:43:28] 727*2^1003845-1 is not prime. Res64: 00A1A193334804CB Time : 0.0 sec. user=mdettweiler [2012-02-04 02:48:38] 819*2^1003845-1 is not prime. Res64: 2109452DA8786602 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:50:55] 825*2^1003845-1 is not prime. Res64: F34001F0813B4F17 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:53:33] 807*2^1003842-1 is not prime. Res64: C6BC155CE5A49C71 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:53:34] 825*2^1003842-1 is not prime. Res64: 951BEB8318502699 Time : 0.0 sec. user=mdettweiler [2012-02-04 02:56:04] 885*2^1003845-1 is not prime. Res64: 3AA2FF637510FABD Time : 0.0 sec. user=mdettweiler [2012-02-04 02:58:19] 891*2^1003845-1 is not prime. Res64: 13FC64992B1C2D52 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:00:28] 631*2^1003843-1 is not prime. Res64: 177CEBBAE4B842CE Time : 0.0 sec. user=mdettweiler [2012-02-04 03:00:33] 617*2^1003844-1 is not prime. Res64: C33A8C2A5AB8788D Time : 0.0 sec. user=mdettweiler [2012-02-04 03:02:02] 659*2^1003844-1 is not prime. Res64: 0625D698791EA03C Time : 0.0 sec. user=mdettweiler [2012-02-04 03:02:03] 903*2^1003844-1 is not prime. Res64: 4BAFB404AC436A21 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:02:09] 969*2^1003844-1 is not prime. Res64: 871BE9ADD7DF8D39 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:02:10] 669*2^1003845-1 is not prime. Res64: DD23AED74EB2CF04 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:03:27] 887*2^1003846-1 is not prime. Res64: 2B75C9DF4EA26AB7 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:07:09] 857*2^1003846-1 is not prime. Res64: 2104EB7CE32B9C98 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:07:09] 867*2^1003846-1 is not prime. Res64: B20BA83383892DB4 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:07:27] 1001*2^1003846-1 is not prime. Res64: 55473AA7E05EC64A Time : 0.0 sec. user=mdettweiler [2012-02-04 03:12:39] 939*2^1003847-1 is not prime. Res64: C932CB300BD15F1E Time : 0.0 sec. user=mdettweiler [2012-02-04 03:14:15] 601*2^1003847-1 is not prime. Res64: BC51F960AE641BBF Time : 0.0 sec. user=mdettweiler [2012-02-04 03:14:16] 645*2^1003847-1 is not prime. Res64: 4297E2E003C33C4C Time : 0.0 sec. user=mdettweiler [2012-02-04 03:15:41] 735*2^1003847-1 is not prime. Res64: 151500D1864DA8FF Time : 0.0 sec. user=mdettweiler [2012-02-04 03:15:41] 753*2^1003847-1 is not prime. Res64: DF54681EC6677B20 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:16:28] 987*2^1003849-1 is not prime. Res64: FF6CF6449ACF9E00 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:17:31] 885*2^1003847-1 is not prime. Res64: F6A403C1FD317949 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:17:32] 895*2^1003847-1 is not prime. Res64: 1D9038E8688AD37F Time : 0.0 sec. user=mdettweiler [2012-02-04 03:19:13] 873*2^1003839-1 is not prime. Res64: C217D86264D6BC19 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:19:13] 885*2^1003839-1 is not prime. Res64: 3273F1A1427D88FF Time : 0.0 sec. user=mdettweiler [2012-02-04 03:20:43] 619*2^1003849-1 is not prime. Res64: 67ACF3F729EC973C Time : 0.0 sec. user=mdettweiler [2012-02-04 03:20:43] 867*2^1003849-1 is not prime. Res64: 71A844EB361B2242 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:27:50] 651*2^1003850-1 is not prime. Res64: 98BACF8416DC8275 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:27:51] 707*2^1003850-1 is not prime. Res64: 275634EB3EC1AE08 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:29:12] 785*2^1003850-1 is not prime. Res64: F1081901B6DE0083 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:29:13] 791*2^1003850-1 is not prime. Res64: 23D2AB2D57CF1AC7 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:32:38] 911*2^1003850-1 is not prime. Res64: 6FF3949B281E20B6 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:32:39] 615*2^1003851-1 is not prime. Res64: 35E2564B199F4350 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:34:16] 751*2^1003851-1 is not prime. Res64: 8F60EB8F3CE9E37E Time : 0.0 sec. user=mdettweiler [2012-02-04 03:34:17] 781*2^1003851-1 is not prime. Res64: 430516B4D486D7E8 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:39:45] 921*2^1003839-1 is not prime. Res64: 10C6F2A88A5794FC Time : 0.0 sec. user=mdettweiler [2012-02-04 03:39:45] 985*2^1003839-1 is not prime. Res64: F2F5495F0968A1DB Time : 0.0 sec. user=mdettweiler [2012-02-04 03:41:21] 801*2^1003851-1 is not prime. Res64: 984AB2D27881F2BE Time : 0.0 sec. user=mdettweiler [2012-02-04 03:41:22] 829*2^1003851-1 is not prime. Res64: 8947F397C60FB526 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:44:21] 891*2^1003851-1 is not prime. Res64: F687D2655CB83C99 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:44:22] 943*2^1003851-1 is not prime. Res64: E6685DF789D63911 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:46:15] 695*2^1003852-1 is not prime. Res64: 3BCA18FDCE0C003A Time : 0.0 sec. user=mdettweiler [2012-02-04 03:46:16] 825*2^1003852-1 is not prime. Res64: CA228A3DCD6603C1 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:47:48] 607*2^1003853-1 is not prime. Res64: B21D534168F18F13 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:47:48] 627*2^1003853-1 is not prime. Res64: 4498206FF068C90F Time : 0.0 sec. user=mdettweiler [2012-02-04 03:53:53] 931*2^1003841-1 is not prime. Res64: 8DE00F0ED44438B1 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:53:53] 949*2^1003841-1 is not prime. Res64: 7D35EDB29B0F3AF2 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:54:56] 741*2^1003853-1 is not prime. Res64: 08E6933B42C70A44 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:54:56] 771*2^1003853-1 is not prime. Res64: 5BB78B8C0216743A Time : 0.0 sec. user=mdettweiler [2012-02-04 03:59:30] 861*2^1003853-1 is not prime. Res64: 29D529E47B459436 Time : 0.0 sec. user=mdettweiler [2012-02-04 03:59:30] 951*2^1003853-1 is not prime. Res64: 8528F1C0593EA59E Time : 0.0 sec. user=mdettweiler [2012-02-04 03:59:49] 717*2^1003854-1 is not prime. Res64: 17A52FDCD9BC4D7A Time : 0.0 sec. user=mdettweiler [2012-02-04 03:59:50] 825*2^1003854-1 is not prime. Res64: F0619D9ADB6DB1D9 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:01:20] 891*2^1003854-1 is not prime. Res64: 4D15BBC8359A140C Time : 0.0 sec. user=mdettweiler [2012-02-04 04:01:21] 705*2^1003855-1 is not prime. Res64: 5B69B762BF265DEF Time : 0.0 sec. user=mdettweiler [2012-02-04 04:10:07] 909*2^1003855-1 is not prime. Res64: 568845B06951ACB1 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:10:08] 717*2^1003856-1 is not prime. Res64: 0830A1FAFBE615AB Time : 0.0 sec. user=mdettweiler [2012-02-04 04:13:01] 789*2^1003856-1 is not prime. Res64: C2B69719562E2FEF Time : 0.0 sec. user=mdettweiler [2012-02-04 04:13:03] 839*2^1003856-1 is not prime. Res64: 83E412C395090507 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:14:52] 625*2^1003857-1 is not prime. Res64: 0AEF391B067DD181 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:14:53] 871*2^1003857-1 is not prime. Res64: 1FF394A1DC7F2DEC Time : 0.0 sec. user=mdettweiler [2012-02-04 04:14:58] 869*2^1003856-1 is not prime. Res64: C6B0584770FFF091 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:14:58] 999*2^1003856-1 is not prime. Res64: F46EB7AC41C10F39 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:23:57] 645*2^1003858-1 is not prime. Res64: EFEC466F7C1E65BF Time : 0.0 sec. user=mdettweiler [2012-02-04 04:23:57] 657*2^1003858-1 is not prime. Res64: 451D1413C48B8402 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:26:52] 801*2^1003858-1 is not prime. Res64: 80050BB17714F0A5 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:26:53] 827*2^1003858-1 is not prime. Res64: 36575789B40B3D39 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:30:03] 951*2^1003858-1 is not prime. Res64: 9D011EBFD69D1294 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:30:05] 775*2^1003859-1 is not prime. Res64: E5D4D8C2C4F7D22E Time : 0.0 sec. user=mdettweiler [2012-02-04 04:30:15] 811*2^1003859-1 is not prime. Res64: 94C363794E8C7A3D Time : 0.0 sec. user=mdettweiler [2012-02-04 04:30:16] 909*2^1003859-1 is not prime. Res64: 5F3798727A4C8126 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:38:12] 639*2^1003851-1 is not prime. Res64: 63B70802F59BEB87 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:38:13] 685*2^1003851-1 is not prime. Res64: 91195AD6EB38E323 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:39:02] 955*2^1003859-1 is not prime. Res64: A6E126FE73EC0AA6 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:39:05] 707*2^1003860-1 is not prime. Res64: 714C5D55A67D25B2 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:40:26] 779*2^1003860-1 is not prime. Res64: 2CC94551FF2AC7A5 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:40:27] 839*2^1003860-1 is not prime. Res64: F234A87706DC77C4 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:43:45] 859*2^1003861-1 is not prime. Res64: 13CC0673A8B20708 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:43:46] 877*2^1003861-1 is not prime. Res64: 6CE65CFBD5A2DF47 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:46:51] 893*2^1003860-1 is not prime. Res64: 02001910999F203F Time : 0.0 sec. user=mdettweiler [2012-02-04 04:46:51] 909*2^1003860-1 is not prime. Res64: 8871CDBECCC7FF81 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:55:35] 999*2^1003861-1 is not prime. Res64: 9680AC57ED34BF32 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:55:35] 603*2^1003862-1 is not prime. Res64: 311BD8FB2861ADF4 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:55:49] 945*2^1003861-1 is not prime. Res64: 3F13D5C3C92F14FC Time : 0.0 sec. user=mdettweiler [2012-02-04 04:55:50] 987*2^1003861-1 is not prime. Res64: C2089856170FCB49 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:58:35] 685*2^1003853-1 is not prime. Res64: C3AD2FDD8A746870 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:58:36] 699*2^1003853-1 is not prime. Res64: 5966F6846C6175A6 Time : 0.0 sec. user=mdettweiler [2012-02-04 04:58:52] 645*2^1003862-1 is not prime. Res64: 1D417DD4519E2E6B Time : 0.0 sec. user=mdettweiler [2012-02-04 04:58:52] 893*2^1003862-1 is not prime. Res64: 422C87380832969E Time : 0.0 sec. user=mdettweiler [2012-02-04 05:03:38] 911*2^1003862-1 is not prime. Res64: F7228DEFE53C06A8 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:03:39] 965*2^1003862-1 is not prime. Res64: F6EAB025A82D788E Time : 0.0 sec. user=mdettweiler [2012-02-04 05:09:22] 619*2^1003863-1 is not prime. Res64: 51954C6E8A8014DD Time : 0.0 sec. user=mdettweiler [2012-02-04 05:09:23] 873*2^1003863-1 is not prime. Res64: 4204FB30EF7DBAE5 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:10:45] 1001*2^1003862-1 is not prime. Res64: 8B3DDCABD8F100BF Time : 0.0 sec. user=mdettweiler [2012-02-04 05:10:47] 613*2^1003863-1 is not prime. Res64: 260ADC43B8479A27 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:13:00] 771*2^1003855-1 is not prime. Res64: F56C06D8EA382018 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:13:01] 853*2^1003855-1 is not prime. Res64: 3A906B3F6810BDF2 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:14:00] 951*2^1003863-1 is not prime. Res64: 54BA255CFD22B17F Time : 0.0 sec. user=mdettweiler [2012-02-04 05:14:01] 717*2^1003864-1 is not prime. Res64: B0980A3D450A9007 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:17:13] 807*2^1003864-1 is not prime. Res64: D9F5E671B985D7D9 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:17:14] 833*2^1003864-1 is not prime. Res64: 246C9F6C0B2C0809 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:26:00] 989*2^1003864-1 is not prime. Res64: 3C40348F28FEB775 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:26:01] 607*2^1003865-1 is not prime. Res64: D490E5523E4DD5EC Time : 0.0 sec. user=mdettweiler [2012-02-04 05:26:10] 917*2^1003864-1 is not prime. Res64: B34597AA2602938D Time : 0.0 sec. user=mdettweiler [2012-02-04 05:26:11] 983*2^1003864-1 is not prime. Res64: CEA0FD93239256F8 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:27:41] 837*2^1003865-1 is not prime. Res64: C66FDAB4A00FB18F Time : 0.0 sec. user=mdettweiler [2012-02-04 05:27:42] 841*2^1003865-1 is not prime. Res64: 0C29D30714E58845 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:32:25] 937*2^1003865-1 is not prime. Res64: 1287CED5F370453A Time : 0.0 sec. user=mdettweiler [2012-02-04 05:32:25] 671*2^1003866-1 is not prime. Res64: 6725DD326DDE14CD Time : 0.0 sec. user=mdettweiler [2012-02-04 05:39:34] 707*2^1003866-1 is not prime. Res64: 99E9011B76466A24 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:39:35] 717*2^1003866-1 is not prime. Res64: 7F1EFCB94EC017DD Time : 0.0 sec. user=mdettweiler [2012-02-04 05:39:40] 755*2^1003866-1 is not prime. Res64: 65E7147620C6E3A9 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:39:40] 765*2^1003866-1 is not prime. Res64: 0CFFFF5B7F9C69A4 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:41:13] 803*2^1003866-1 is not prime. Res64: 8898C17A883F3B6F Time : 0.0 sec. user=mdettweiler [2012-02-04 05:41:13] 843*2^1003866-1 is not prime. Res64: 3A7DC8CB82D2AB45 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:45:58] 861*2^1003866-1 is not prime. Res64: C4DC440080425BB2 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:45:59] 873*2^1003866-1 is not prime. Res64: 07533A86A44F9EEE Time : 0.0 sec. user=mdettweiler [2012-02-04 05:53:13] 615*2^1003867-1 is not prime. Res64: 6AD1D2F7C322B96E Time : 0.0 sec. user=mdettweiler [2012-02-04 05:53:14] 619*2^1003867-1 is not prime. Res64: D52FE61FB2CEDAC1 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:54:45] 881*2^1003866-1 is not prime. Res64: 7F302AB8F4ADB91E Time : 0.0 sec. user=mdettweiler [2012-02-04 05:54:46] 933*2^1003866-1 is not prime. Res64: 0117D40EAF4F9E37 Time : 0.0 sec. user=mdettweiler [2012-02-04 05:54:48] 759*2^1003867-1 is not prime. Res64: EE43D7ACC69F647F Time : 0.0 sec. user=mdettweiler [2012-02-04 05:54:48] 835*2^1003867-1 is not prime. Res64: 5AF1917FC3CD5A45 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:01:05] 841*2^1003867-1 is not prime. Res64: E1DBFFB8164C2D15 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:01:07] 925*2^1003867-1 is not prime. Res64: D2982E64650C3A08 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:05:47] 889*2^1003861-1 is not prime. Res64: 40F41D76679AD2FC Time : 0.0 sec. user=mdettweiler [2012-02-04 06:05:48] 937*2^1003861-1 is not prime. Res64: 211803ABF1D90031 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:08:17] 669*2^1003868-1 is not prime. Res64: EF577CB43F0E858D Time : 0.0 sec. user=mdettweiler [2012-02-04 06:08:18] 797*2^1003868-1 is not prime. Res64: 47349574E2371ECE Time : 0.0 sec. user=mdettweiler [2012-02-04 06:09:58] 993*2^1003867-1 is not prime. Res64: 9C4961C0E5864D81 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:09:58] 617*2^1003868-1 is not prime. Res64: 86B565DE012798A9 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:09:58] 939*2^1003867-1 is not prime. Res64: C090B26B1ED12B2C Time : 0.0 sec. user=mdettweiler [2012-02-04 06:09:59] 973*2^1003867-1 is not prime. Res64: E9F72ACE96636A9E Time : 0.0 sec. user=mdettweiler [2012-02-04 06:17:51] 909*2^1003868-1 is not prime. Res64: 62232224E8FA5FA4 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:17:52] 963*2^1003868-1 is not prime. Res64: A3F3316D35CF9877 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:21:51] 787*2^1003869-1 is not prime. Res64: 7E2E32C21523DB16 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:21:51] 829*2^1003869-1 is not prime. Res64: D04B8BE1F1409D0F Time : 0.0 sec. user=mdettweiler [2012-02-04 06:23:31] 611*2^1003870-1 is not prime. Res64: C44D60A78CAB5D75 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:23:32] 821*2^1003870-1 is not prime. Res64: 6FB572A18A719126 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:26:45] 927*2^1003869-1 is not prime. Res64: 17660B6DB4260600 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:26:45] 969*2^1003869-1 is not prime. Res64: EC86D390D12D2F99 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:32:00] 787*2^1003865-1 is not prime. Res64: C595600F07BED898 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:32:01] 831*2^1003865-1 is not prime. Res64: 20EA3B1152B4EC5C Time : 0.0 sec. user=mdettweiler [2012-02-04 06:34:32] 915*2^1003870-1 is not prime. Res64: 1920F0AEE8483437 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:34:34] 917*2^1003870-1 is not prime. Res64: 91DC07F827B92156 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:35:00] 895*2^1003863-1 is not prime. Res64: 0E4F3B8E5D775E2A Time : 0.0 sec. user=mdettweiler [2012-02-04 06:35:01] 949*2^1003863-1 is not prime. Res64: 6A7E8E6BC684AAB4 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:37:01] 619*2^1003871-1 is not prime. Res64: 9E9B0790F6EFBADA Time : 0.0 sec. user=mdettweiler [2012-02-04 06:37:01] 763*2^1003871-1 is not prime. Res64: 8F23918A712F725D Time : 0.0 sec. user=mdettweiler [2012-02-04 06:37:02] 987*2^1003870-1 is not prime. Res64: BD70C46D8BA404F8 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:37:02] 609*2^1003871-1 is not prime. Res64: 347E782ED7B23B40 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:40:13] 841*2^1003871-1 is not prime. Res64: F03250907E1AD9AF Time : 0.0 sec. user=mdettweiler [2012-02-04 06:40:14] 843*2^1003871-1 is not prime. Res64: 3D56FEBF103A00C0 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:49:43] 977*2^1003872-1 is not prime. Res64: F603CB6EBFDBB8F0 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:49:43] 637*2^1003873-1 is not prime. Res64: 8600B0A1ACE6F057 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:52:09] 889*2^1003873-1 is not prime. Res64: B82808E132FA50BD Time : 0.0 sec. user=mdettweiler [2012-02-04 06:52:10] 939*2^1003873-1 is not prime. Res64: 2A69C4CD721B9F58 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:53:43] 671*2^1003874-1 is not prime. Res64: 693F0C4776FC3792 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:53:43] 675*2^1003874-1 is not prime. Res64: 33D28822537A6E86 Time : 0.0 sec. user=mdettweiler [2012-02-04 06:53:47] 945*2^1003873-1 is not prime. Res64: 8E78E7C380B1746C Time : 0.0 sec. user=mdettweiler [2012-02-04 06:53:47] 951*2^1003873-1 is not prime. Res64: 987FD339AFC10A46 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:03:13] 711*2^1003874-1 is not prime. Res64: D38E3670F52D9CA6 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:03:15] 741*2^1003874-1 is not prime. Res64: E10263A816784ED7 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:05:41] 783*2^1003874-1 is not prime. Res64: 6D36266E389FF694 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:05:44] 873*2^1003874-1 is not prime. Res64: 602A111C2F5A1A22 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:08:53] 951*2^1003874-1 is not prime. Res64: E577A02B68A67BFD Time : 0.0 sec. user=mdettweiler [2012-02-04 07:08:54] 651*2^1003875-1 is not prime. Res64: 67AF065679DB77BB Time : 0.0 sec. user=mdettweiler [2012-02-04 07:08:55] 685*2^1003875-1 is not prime. Res64: 66000DCDAC526F73 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:08:56] 913*2^1003875-1 is not prime. Res64: 10686F5BEC4F14FC Time : 0.0 sec. user=mdettweiler [2012-02-04 07:16:49] 657*2^1003876-1 is not prime. Res64: D0042D7A086BB7E3 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:16:50] 875*2^1003876-1 is not prime. Res64: 7CE94F0045620F60 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:22:28] 711*2^1003877-1 is not prime. Res64: 15DB64E767E22205 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:22:28] 717*2^1003877-1 is not prime. Res64: F5A7B7D75EEEEFF4 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:22:35] 947*2^1003876-1 is not prime. Res64: C44953D46F0A61D1 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:22:36] 957*2^1003876-1 is not prime. Res64: BF556B7AFA081E0E Time : 0.0 sec. user=mdettweiler [2012-02-04 07:24:54] 667*2^1003869-1 is not prime. Res64: 0460521ADFA74989 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:24:54] 691*2^1003869-1 is not prime. Res64: CD02DEE35CD6F056 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:25:39] 975*2^1003876-1 is not prime. Res64: A262D7E1DA5EFFE3 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:25:39] 999*2^1003876-1 is not prime. Res64: 96380438992ACAE7 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:30:20] 735*2^1003877-1 is not prime. Res64: 2A341F65CFC577BE Time : 0.0 sec. user=mdettweiler [2012-02-04 07:30:21] 801*2^1003877-1 is not prime. Res64: B62C40CEAA379E61 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:36:02] 865*2^1003877-1 is not prime. Res64: 39D78534939221E0 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:36:02] 871*2^1003877-1 is not prime. Res64: FF5045C64886B44E Time : 0.0 sec. user=mdettweiler [2012-02-04 07:37:44] 937*2^1003877-1 is not prime. Res64: 70B5DA9C27689F9E Time : 0.0 sec. user=mdettweiler [2012-02-04 07:37:45] 611*2^1003878-1 is not prime. Res64: A84C08FEAA46DAE7 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:39:13] 755*2^1003878-1 is not prime. Res64: 7C295F28DA7D8426 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:39:13] 773*2^1003878-1 is not prime. Res64: 3B25BECB51A3622E Time : 0.0 sec. user=mdettweiler [2012-02-04 07:43:50] 777*2^1003878-1 is not prime. Res64: 95D766347EA9A995 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:43:51] 801*2^1003878-1 is not prime. Res64: 8AA10DDDF21666D0 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:51:10] 893*2^1003878-1 is not prime. Res64: 03B4BDDA37C98171 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:51:10] 633*2^1003879-1 is not prime. Res64: 09694160D2BB47D6 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:51:14] 705*2^1003879-1 is not prime. Res64: 5C26150D8662C9D4 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:51:15] 841*2^1003879-1 is not prime. Res64: 9C565617068E12D0 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:52:46] 855*2^1003879-1 is not prime. Res64: CCE08426591CE47A Time : 0.0 sec. user=mdettweiler [2012-02-04 07:52:47] 645*2^1003880-1 is not prime. Res64: 4AC6CD536F59AF73 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:53:58] 681*2^1003873-1 is not prime. Res64: 8289D179A7DC5141 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:53:59] 769*2^1003873-1 is not prime. Res64: 03C3409BD8EECEF3 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:57:24] 659*2^1003880-1 is not prime. Res64: 468F853960674D3E Time : 0.0 sec. user=mdettweiler [2012-02-04 07:57:24] 795*2^1003880-1 is not prime. Res64: EF8B8C856C9A2C0E Time : 0.0 sec. user=mdettweiler [2012-02-04 07:59:41] 969*2^1003871-1 is not prime. Res64: C2C827934E08DDB1 Time : 0.0 sec. user=mdettweiler [2012-02-04 07:59:41] 849*2^1003872-1 is not prime. Res64: 10763FF93A7A0B73 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:04:51] 691*2^1003881-1 is not prime. Res64: B8AEA64333C69947 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:04:52] 709*2^1003881-1 is not prime. Res64: 3E86DCF655EB8238 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:06:15] 977*2^1003880-1 is not prime. Res64: 28DC296FB99B3AA2 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:06:15] 679*2^1003881-1 is not prime. Res64: 22E0DED89AAE3424 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:06:20] 747*2^1003881-1 is not prime. Res64: DF5FD154866F69BA Time : 0.0 sec. user=mdettweiler [2012-02-04 08:06:21] 751*2^1003881-1 is not prime. Res64: 6FBC0CAC54F6D020 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:14:09] 955*2^1003881-1 is not prime. Res64: 7B2346D403C22D64 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:14:10] 999*2^1003881-1 is not prime. Res64: DB01CC4D92350B08 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:19:47] 693*2^1003883-1 is not prime. Res64: 3FB811715D6799AF Time : 0.0 sec. user=mdettweiler [2012-02-04 08:19:48] 715*2^1003883-1 is not prime. Res64: 99193BDA44FF5743 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:20:02] 741*2^1003883-1 is not prime. Res64: 5382B41AB948E3CC Time : 0.0 sec. user=mdettweiler [2012-02-04 08:20:03] 759*2^1003883-1 is not prime. Res64: 4ABE40CFC08E54D6 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:20:05] 951*2^1003882-1 is not prime. Res64: 76A10D9B38643DAC Time : 0.0 sec. user=mdettweiler [2012-02-04 08:20:05] 621*2^1003883-1 is not prime. Res64: 1DF13CF24C5E9642 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:27:44] 783*2^1003883-1 is not prime. Res64: A3357C9668D98DA7 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:27:45] 879*2^1003883-1 is not prime. Res64: B715FCD4EA78A46F Time : 0.0 sec. user=mdettweiler [2012-02-04 08:33:35] 623*2^1003884-1 is not prime. Res64: 97D8ABFDFFCE3FAE Time : 0.0 sec. user=mdettweiler [2012-02-04 08:33:36] 663*2^1003884-1 is not prime. Res64: A883C383233544F1 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:36:30] 895*2^1003883-1 is not prime. Res64: 3E9183485CE4F6A0 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:36:31] 913*2^1003883-1 is not prime. Res64: C1D645FD83FE7077 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:36:46] 963*2^1003883-1 is not prime. Res64: 66289E93F6F29DBD Time : 0.0 sec. user=mdettweiler [2012-02-04 08:36:47] 981*2^1003883-1 is not prime. Res64: 8B5911C31576EA47 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:41:15] 725*2^1003884-1 is not prime. Res64: AF772EEB7BE03B2B Time : 0.0 sec. user=mdettweiler [2012-02-04 08:41:15] 691*2^1003885-1 is not prime. Res64: 0DD2125C1A5FB11F Time : 0.0 sec. user=mdettweiler [2012-02-04 08:43:49] 671*2^1003878-1 is not prime. Res64: EAC4610B1D71DE0C Time : 0.0 sec. user=mdettweiler [2012-02-04 08:43:49] 747*2^1003878-1 is not prime. Res64: 27CC9953D3D54949 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:47:06] 741*2^1003885-1 is not prime. Res64: 99F50DE2D6C553EB Time : 0.0 sec. user=mdettweiler [2012-02-04 08:47:06] 819*2^1003885-1 is not prime. Res64: B19454E4F8B8AA9C Time : 0.0 sec. user=mdettweiler [2012-02-04 08:51:37] 861*2^1003885-1 is not prime. Res64: 25E8849301C63634 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:51:38] 981*2^1003885-1 is not prime. Res64: 4D5C65B6B6F8B245 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:51:54] 987*2^1003885-1 is not prime. Res64: F262CF8158E73EFC Time : 0.0 sec. user=mdettweiler [2012-02-04 08:51:54] 603*2^1003886-1 is not prime. Res64: D150D77C95323DDE Time : 0.0 sec. user=mdettweiler [2012-02-04 08:56:21] 813*2^1003886-1 is not prime. Res64: D8C7DD6C08457065 Time : 0.0 sec. user=mdettweiler [2012-02-04 08:56:22] 923*2^1003886-1 is not prime. Res64: DB29E46BFA9DCD91 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:02:14] 879*2^1003887-1 is not prime. Res64: 5FEC6E1DCDAF955A Time : 0.0 sec. user=mdettweiler [2012-02-04 09:02:16] 991*2^1003887-1 is not prime. Res64: F5E96F7DD793E7B4 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:05:09] 615*2^1003888-1 is not prime. Res64: 1491F647C211A9E1 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:05:12] 707*2^1003888-1 is not prime. Res64: 570AC42F59B7AD4D Time : 0.0 sec. user=mdettweiler [2012-02-04 09:05:27] 743*2^1003888-1 is not prime. Res64: 1D15456E2719381A Time : 0.0 sec. user=mdettweiler [2012-02-04 09:05:28] 797*2^1003888-1 is not prime. Res64: DDA622EE799B87BF Time : 0.0 sec. user=mdettweiler [2012-02-04 09:09:50] 813*2^1003888-1 is not prime. Res64: 21C0CC21F44D01B1 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:09:51] 843*2^1003888-1 is not prime. Res64: 00E14ECD5D358B60 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:17:25] 849*2^1003888-1 is not prime. Res64: 440179CAFE8EBF5E Time : 0.0 sec. user=mdettweiler [2012-02-04 09:17:26] 905*2^1003888-1 is not prime. Res64: 589157C2EA2E7C1C Time : 0.0 sec. user=mdettweiler [2012-02-04 09:18:42] 705*2^1003882-1 is not prime. Res64: 0BA734F92AD8030C Time : 0.0 sec. user=mdettweiler [2012-02-04 09:18:42] 831*2^1003882-1 is not prime. Res64: 5D23BA2F264DD9E9 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:21:49] 789*2^1003881-1 is not prime. Res64: 48E3772091EE492D Time : 0.0 sec. user=mdettweiler [2012-02-04 09:21:49] 949*2^1003881-1 is not prime. Res64: 94E7E412AC475653 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:22:00] 909*2^1003888-1 is not prime. Res64: 585B5DFB635C653B Time : 0.0 sec. user=mdettweiler [2012-02-04 09:22:01] 915*2^1003888-1 is not prime. Res64: 6BEE41C78A7B7CC4 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:22:23] 923*2^1003888-1 is not prime. Res64: AB2C44FA034BB429 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:22:24] 999*2^1003888-1 is not prime. Res64: FCC3F64898C57889 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:23:19] 657*2^1003889-1 is not prime. Res64: 44F743FEBB1A5973 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:23:20] 711*2^1003889-1 is not prime. Res64: 60D74AC73828AED3 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:30:55] 747*2^1003889-1 is not prime. Res64: 64140CA36CEB3781 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:30:56] 799*2^1003889-1 is not prime. Res64: CA256147223C54E4 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:35:30] 725*2^1003890-1 is not prime. Res64: 42C8D9701C86F92D Time : 0.0 sec. user=mdettweiler [2012-02-04 09:35:30] 777*2^1003890-1 is not prime. Res64: 3F060D8AD2AC882D Time : 0.0 sec. user=mdettweiler [2012-02-04 09:36:49] 619*2^1003891-1 is not prime. Res64: 167810E8B20AA77F Time : 0.0 sec. user=mdettweiler [2012-02-04 09:36:49] 801*2^1003891-1 is not prime. Res64: A5FD68062D390766 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:37:31] 801*2^1003890-1 is not prime. Res64: F7D52BAB0C78F030 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:37:32] 977*2^1003890-1 is not prime. Res64: E2F907DC9907D497 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:45:59] 871*2^1003891-1 is not prime. Res64: 27D0DAA3DB880FBD Time : 0.0 sec. user=mdettweiler [2012-02-04 09:46:00] 969*2^1003891-1 is not prime. Res64: 75EF11A1E4DA5FF8 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:49:00] 629*2^1003892-1 is not prime. Res64: 913EC19D61D77FAA Time : 0.0 sec. user=mdettweiler [2012-02-04 09:49:01] 767*2^1003892-1 is not prime. Res64: DDA17880C12BECAB Time : 0.0 sec. user=mdettweiler [2012-02-04 09:51:54] 885*2^1003892-1 is not prime. Res64: 175AB0A87A98E7FA Time : 0.0 sec. user=mdettweiler [2012-02-04 09:51:55] 897*2^1003892-1 is not prime. Res64: 73EB8DFC50720C15 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:52:43] 983*2^1003892-1 is not prime. Res64: 291805FAFBB95208 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:52:43] 625*2^1003893-1 is not prime. Res64: 7174C4D984EFA17E Time : 0.0 sec. user=mdettweiler [2012-02-04 09:59:29] 627*2^1003893-1 is not prime. Res64: 1DFA0F1B249AE8A4 Time : 0.0 sec. user=mdettweiler [2012-02-04 09:59:29] 649*2^1003893-1 is not prime. Res64: 77DA6491999A8776 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:02:30] 675*2^1003893-1 is not prime. Res64: 10BB75397F2A4EA7 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:02:33] 889*2^1003893-1 is not prime. Res64: 90B1D6BD9909B923 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:02:55] 735*2^1003887-1 is not prime. Res64: CBC7BED3C07F32A0 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:02:55] 751*2^1003887-1 is not prime. Res64: BA9270A8970C4605 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:06:15] 681*2^1003894-1 is not prime. Res64: 64C5EA53EBC2DF66 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:06:16] 731*2^1003894-1 is not prime. Res64: B632C0CF0A0CA5BE Time : 0.0 sec. user=mdettweiler [2012-02-04 10:07:03] 927*2^1003893-1 is not prime. Res64: 1048D8F83F5F4D3F Time : 0.0 sec. user=mdettweiler [2012-02-04 10:07:04] 617*2^1003894-1 is not prime. Res64: 52274C03879DA330 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:12:59] 831*2^1003894-1 is not prime. Res64: F951C17ABC33771B Time : 0.0 sec. user=mdettweiler [2012-02-04 10:13:00] 857*2^1003894-1 is not prime. Res64: 609011D12A491234 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:19:18] 891*2^1003894-1 is not prime. Res64: 2C99074986522F49 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:19:18] 951*2^1003894-1 is not prime. Res64: 232BA65AF6A11658 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:19:46] 679*2^1003895-1 is not prime. Res64: 38D25A500B29B1C5 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:19:47] 715*2^1003895-1 is not prime. Res64: BAE6A31EC1A869C9 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:20:40] 829*2^1003895-1 is not prime. Res64: 67527D8370C0C272 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:20:40] 831*2^1003895-1 is not prime. Res64: 8BB0B83622D198AD Time : 0.0 sec. user=mdettweiler [2012-02-04 10:26:26] 675*2^1003896-1 is not prime. Res64: 075E59F45DCE98B6 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:26:27] 705*2^1003896-1 is not prime. Res64: B625AB008CC24A3B Time : 0.0 sec. user=mdettweiler [2012-02-04 10:34:12] 667*2^1003897-1 is not prime. Res64: 9B27ED03F4F93187 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:34:13] 831*2^1003897-1 is not prime. Res64: E28F835F145A920E Time : 0.0 sec. user=mdettweiler [2012-02-04 10:34:27] 765*2^1003896-1 is not prime. Res64: FFBC48F926EDC59E Time : 0.0 sec. user=mdettweiler [2012-02-04 10:34:28] 945*2^1003896-1 is not prime. Res64: E13B2A9F2904A582 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:36:29] 947*2^1003896-1 is not prime. Res64: 00DD645953D5BC3B Time : 0.0 sec. user=mdettweiler [2012-02-04 10:36:29] 975*2^1003896-1 is not prime. Res64: 459543945D73A23B Time : 0.0 sec. user=mdettweiler [2012-02-04 10:37:47] 633*2^1003890-1 is not prime. Res64: D7D43BED7BE43177 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:37:47] 711*2^1003890-1 is not prime. Res64: 56D72AF185943F9B Time : 0.0 sec. user=mdettweiler [2012-02-04 10:40:57] 713*2^1003890-1 is not prime. Res64: 9C55BE162615F961 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:40:57] 717*2^1003890-1 is not prime. Res64: 0879FE5E529C71EF Time : 0.0 sec. user=mdettweiler [2012-02-04 10:41:36] 901*2^1003897-1 is not prime. Res64: 8F25D3FA5F949CC5 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:41:36] 641*2^1003898-1 is not prime. Res64: 0FDCF8FB650F56CD Time : 0.0 sec. user=mdettweiler [2012-02-04 10:47:43] 831*2^1003898-1 is not prime. Res64: FC271262CDC2210E Time : 0.0 sec. user=mdettweiler [2012-02-04 10:47:43] 837*2^1003898-1 is not prime. Res64: 7A5A8F06E5CA1232 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:47:55] 887*2^1003898-1 is not prime. Res64: BFAF1525CED6A559 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:47:56] 615*2^1003899-1 is not prime. Res64: 104B029295A95440 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:49:59] 663*2^1003899-1 is not prime. Res64: D14DBADA2AB1BB24 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:49:59] 685*2^1003899-1 is not prime. Res64: 2552D608335F7B98 Time : 0.0 sec. user=mdettweiler [2012-02-04 10:55:09] 743*2^1003900-1 is not prime. Res64: 0D505A8C5A09514F Time : 0.0 sec. user=mdettweiler [2012-02-04 10:55:10] 783*2^1003900-1 is not prime. Res64: 55DBE878FBC110F5 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:01:15] 797*2^1003900-1 is not prime. Res64: 187D75153E3239A0 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:01:16] 845*2^1003900-1 is not prime. Res64: 06B7467701F902F2 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:02:59] 857*2^1003900-1 is not prime. Res64: E2676CCB20C84D4D Time : 0.0 sec. user=mdettweiler [2012-02-04 11:03:00] 929*2^1003900-1 is not prime. Res64: A371ECFE5123D10B Time : 0.0 sec. user=mdettweiler [2012-02-04 11:05:11] 965*2^1003900-1 is not prime. Res64: 9993AB8812E6C605 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:05:12] 727*2^1003901-1 is not prime. Res64: BFCD1D707CE47A10 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:10:15] 885*2^1003901-1 is not prime. Res64: 80C8CAB850491908 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:10:17] 927*2^1003901-1 is not prime. Res64: 13E9EE9C28B175CE Time : 0.0 sec. user=mdettweiler [2012-02-04 11:14:52] 621*2^1003902-1 is not prime. Res64: BE08F43F5C20E675 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:14:53] 683*2^1003902-1 is not prime. Res64: F3B0FAB3BAF15B7B Time : 0.0 sec. user=mdettweiler [2012-02-04 11:16:32] 731*2^1003902-1 is not prime. Res64: 7BE6CD4463F4CC43 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:16:33] 873*2^1003902-1 is not prime. Res64: 623E578B98236430 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:21:55] 891*2^1003902-1 is not prime. Res64: 828F98C9C6FCE4E0 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:21:55] 951*2^1003902-1 is not prime. Res64: D78631DC148F0332 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:22:19] 609*2^1003895-1 is not prime. Res64: ACA37CA6F1C23AD2 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:22:19] 649*2^1003895-1 is not prime. Res64: DA253B33CF5F4B64 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:25:26] 977*2^1003902-1 is not prime. Res64: 47CB4BB6A9133928 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:25:27] 615*2^1003903-1 is not prime. Res64: 88F5E061A99176F2 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:28:31] 675*2^1003903-1 is not prime. Res64: 4FEC0D009361D247 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:28:32] 703*2^1003903-1 is not prime. Res64: 843A7892C3C32395 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:30:14] 783*2^1003903-1 is not prime. Res64: 332B47FED31FDCB3 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:30:14] 789*2^1003903-1 is not prime. Res64: C388B23E111DB68D Time : 0.0 sec. user=mdettweiler [2012-02-04 11:35:54] 793*2^1003903-1 is not prime. Res64: F055E61E84721F5D Time : 0.0 sec. user=mdettweiler [2012-02-04 11:35:55] 623*2^1003904-1 is not prime. Res64: 61000301DEE1BE11 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:39:28] 855*2^1003904-1 is not prime. Res64: E673E1FE5A561821 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:39:28] 857*2^1003904-1 is not prime. Res64: 8DC92B6A38431631 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:44:13] 873*2^1003904-1 is not prime. Res64: 7AFCEA483E6EA2BB Time : 0.0 sec. user=mdettweiler [2012-02-04 11:44:14] 909*2^1003904-1 is not prime. Res64: 943B1AA94C001BCC Time : 0.0 sec. user=mdettweiler [2012-02-04 11:47:42] 935*2^1003904-1 is not prime. Res64: 84809FEE05736952 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:47:42] 983*2^1003904-1 is not prime. Res64: 18F1057B73CF937F Time : 0.0 sec. user=mdettweiler [2012-02-04 11:50:03] 669*2^1003905-1 is not prime. Res64: A03F715F006E32DC Time : 0.0 sec. user=mdettweiler [2012-02-04 11:50:04] 831*2^1003905-1 is not prime. Res64: 2F003EB60456DEA8 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:53:23] 847*2^1003905-1 is not prime. Res64: F753F75F3CE0ED71 Time : 0.0 sec. user=mdettweiler [2012-02-04 11:53:23] 861*2^1003905-1 is not prime. Res64: 2C94134E4806679A Time : 0.0 sec. user=mdettweiler [2012-02-04 12:01:37] 705*2^1003906-1 is not prime. Res64: 4EFB13973EF87DFB Time : 0.0 sec. user=mdettweiler [2012-02-04 12:01:54] 985*2^1003905-1 is not prime. Res64: 4AAE2867DF59EA53 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:05:45] 993*2^1003906-1 is not prime. Res64: 30F00A95B588534F Time : 0.0 sec. user=mdettweiler [2012-02-04 12:05:46] 631*2^1003907-1 is not prime. Res64: 9B5BCDD0AA1F5F95 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:05:55] 751*2^1003899-1 is not prime. Res64: DFB5F11A0150E204 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:05:56] 895*2^1003899-1 is not prime. Res64: 1216986FB268A554 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:07:22] 663*2^1003907-1 is not prime. Res64: 33C38C33CE1C7DDF Time : 0.0 sec. user=mdettweiler [2012-02-04 12:07:23] 735*2^1003907-1 is not prime. Res64: 4DEF3F5B8B460DD4 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:09:03] 955*2^1003899-1 is not prime. Res64: F98A6517D082A043 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:09:04] 609*2^1003900-1 is not prime. Res64: D56809E2ABDD2D10 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:20:25] 759*2^1003907-1 is not prime. Res64: E74A844D4C95ECA7 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:20:25] 859*2^1003907-1 is not prime. Res64: F338C6AC768925C2 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:21:48] 627*2^1003908-1 is not prime. Res64: 8085428FF2277632 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:21:48] 633*2^1003908-1 is not prime. Res64: 2C95B140FBB8D03A Time : 0.0 sec. user=mdettweiler [2012-02-04 12:28:38] 741*2^1003906-1 is not prime. Res64: 601BF9C00DAA8FFF Time : 0.0 sec. user=mdettweiler [2012-02-04 12:32:40] 999*2^1003905-1 is not prime. Res64: EF189AC022C385C0 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:36:17] 899*2^1003908-1 is not prime. Res64: B26E510BFC5AE5A7 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:36:17] 747*2^1003909-1 is not prime. Res64: CB0C085D60B717C5 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:37:31] 957*2^1003909-1 is not prime. Res64: A1B2F03E2918FECD Time : 0.0 sec. user=mdettweiler [2012-02-04 12:37:31] 603*2^1003910-1 is not prime. Res64: F316F504E76A88FF Time : 0.0 sec. user=mdettweiler [2012-02-04 12:41:32] 743*2^1003904-1 is not prime. Res64: 137905E0E702CEBC Time : 0.0 sec. user=mdettweiler [2012-02-04 12:41:32] 803*2^1003904-1 is not prime. Res64: ADD8D364401C3AA4 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:42:31] 635*2^1003910-1 is not prime. Res64: 06DED3E1A4CB42F2 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:42:32] 743*2^1003910-1 is not prime. Res64: 135C814D28A49581 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:46:32] 785*2^1003910-1 is not prime. Res64: EC353A80EEE6F477 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:46:32] 857*2^1003910-1 is not prime. Res64: DE1644D163A5482D Time : 0.0 sec. user=mdettweiler [2012-02-04 12:51:53] 875*2^1003910-1 is not prime. Res64: FD34847B2E01D3EC Time : 0.0 sec. user=mdettweiler [2012-02-04 12:51:54] 957*2^1003910-1 is not prime. Res64: E79DFFB8F5B7A47B Time : 0.0 sec. user=mdettweiler [2012-02-04 12:53:08] 981*2^1003910-1 is not prime. Res64: F2A56EE8466229C5 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:53:08] 789*2^1003911-1 is not prime. Res64: BFFB1525AAACF34F Time : 0.0 sec. user=mdettweiler [2012-02-04 12:59:45] 921*2^1003911-1 is not prime. Res64: E95F885BE6481209 Time : 0.0 sec. user=mdettweiler [2012-02-04 12:59:45] 949*2^1003911-1 is not prime. Res64: 69174D207DE49E31 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:00:28] 605*2^1003912-1 is not prime. Res64: C4DC55619F2E4693 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:00:29] 623*2^1003912-1 is not prime. Res64: 4BF7BABEDF1A53CD Time : 0.0 sec. user=mdettweiler [2012-02-04 13:05:48] 635*2^1003912-1 is not prime. Res64: DC5C657023301141 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:05:49] 653*2^1003912-1 is not prime. Res64: E560096A2D9938C7 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:07:00] 833*2^1003912-1 is not prime. Res64: 45A8B1547633DC7D Time : 0.0 sec. user=mdettweiler [2012-02-04 13:07:01] 843*2^1003912-1 is not prime. Res64: 17FAC2E65503248F Time : 0.0 sec. user=mdettweiler [2012-02-04 13:15:17] 873*2^1003912-1 is not prime. Res64: F1D5E2BE326F055B Time : 0.0 sec. user=mdettweiler [2012-02-04 13:15:17] 917*2^1003912-1 is not prime. Res64: 7FED402E3C72104E Time : 0.0 sec. user=mdettweiler [2012-02-04 13:16:05] 957*2^1003912-1 is not prime. Res64: 3A1368891511AC0F Time : 0.0 sec. user=mdettweiler [2012-02-04 13:16:05] 631*2^1003913-1 is not prime. Res64: 7A753320EE9EB610 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:19:52] 669*2^1003913-1 is not prime. Res64: 58365E6E0B4E8F46 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:19:52] 675*2^1003913-1 is not prime. Res64: AF33A6CC76C551E2 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:20:57] 697*2^1003913-1 is not prime. Res64: 844076B26A196846 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:20:57] 867*2^1003913-1 is not prime. Res64: BDE7E64E428D63B3 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:25:14] 861*2^1003907-1 is not prime. Res64: FDBA0B810EC60D32 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:25:14] 883*2^1003907-1 is not prime. Res64: 661445102CFFDB18 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:28:28] 753*2^1003908-1 is not prime. Res64: 1E0552792711F936 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:28:28] 803*2^1003908-1 is not prime. Res64: B85E22BBEA9DD7D5 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:32:30] 937*2^1003913-1 is not prime. Res64: A3A99233D5EE0C9B Time : 0.0 sec. user=mdettweiler [2012-02-04 13:32:31] 949*2^1003913-1 is not prime. Res64: BDBFF85DFCE4296B Time : 0.0 sec. user=mdettweiler [2012-02-04 13:33:25] 967*2^1003913-1 is not prime. Res64: F74852661A65AAC5 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:33:25] 969*2^1003913-1 is not prime. Res64: 7C6940C28944035E Time : 0.0 sec. user=mdettweiler [2012-02-04 13:33:49] 705*2^1003914-1 is not prime. Res64: 4CC905C1A37D7F9C Time : 0.0 sec. user=mdettweiler [2012-02-04 13:33:49] 783*2^1003914-1 is not prime. Res64: 3D0965B9A6FC1C4F Time : 0.0 sec. user=mdettweiler [2012-02-04 13:34:54] 885*2^1003914-1 is not prime. Res64: 832455A79926B607 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:34:54] 601*2^1003915-1 is not prime. Res64: 3C27404A24635A2E Time : 0.0 sec. user=mdettweiler [2012-02-04 13:46:31] 773*2^1003916-1 is not prime. Res64: 1F151D41C9E6B4D1 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:46:32] 789*2^1003916-1 is not prime. Res64: 565780160A3217CE Time : 0.0 sec. user=mdettweiler [2012-02-04 13:47:15] 857*2^1003916-1 is not prime. Res64: BC51D07464C15ECC Time : 0.0 sec. user=mdettweiler [2012-02-04 13:47:15] 869*2^1003916-1 is not prime. Res64: 0B4A76E6149E256E Time : 0.0 sec. user=mdettweiler [2012-02-04 13:48:55] 675*2^1003917-1 is not prime. Res64: 0FC6823199FD7A26 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:48:55] 699*2^1003917-1 is not prime. Res64: 255B6452766CC822 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:51:02] 903*2^1003916-1 is not prime. Res64: 2548F43A89AA2293 Time : 0.0 sec. user=mdettweiler [2012-02-04 13:51:02] 969*2^1003916-1 is not prime. Res64: 5B05A9641723AD29 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:00:27] 717*2^1003917-1 is not prime. Res64: 912109EE8627A50D Time : 0.0 sec. user=mdettweiler [2012-02-04 14:00:28] 759*2^1003917-1 is not prime. Res64: 33E71CED304FF88F Time : 0.0 sec. user=mdettweiler [2012-02-04 14:00:41] 861*2^1003911-1 is not prime. Res64: 3A8EA8C24FC31875 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:00:42] 871*2^1003911-1 is not prime. Res64: 4167F7E161DC6F6B Time : 0.0 sec. user=mdettweiler [2012-02-04 14:01:09] 781*2^1003917-1 is not prime. Res64: 22395274B446A398 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:01:10] 795*2^1003917-1 is not prime. Res64: 92703771DABB4E99 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:02:52] 865*2^1003917-1 is not prime. Res64: 94C4DDAA6628B750 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:02:52] 611*2^1003918-1 is not prime. Res64: 133667018646DABE Time : 0.0 sec. user=mdettweiler [2012-02-04 14:04:58] 617*2^1003918-1 is not prime. Res64: 1943A33F60206F29 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:04:59] 635*2^1003918-1 is not prime. Res64: C2F8C106B9337282 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:14:41] 723*2^1003918-1 is not prime. Res64: EE8EB321F31504BA Time : 0.0 sec. user=mdettweiler [2012-02-04 14:14:41] 843*2^1003918-1 is not prime. Res64: 92F70E7E90C46E0C Time : 0.0 sec. user=mdettweiler [2012-02-04 14:15:07] 887*2^1003918-1 is not prime. Res64: D7231C2B1BB284AF Time : 0.0 sec. user=mdettweiler [2012-02-04 14:15:08] 643*2^1003919-1 is not prime. Res64: C3061BEF6B3E4574 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:16:46] 705*2^1003919-1 is not prime. Res64: 734D23B733949DD1 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:16:46] 729*2^1003919-1 is not prime. Res64: 2B1BC7962D91DC5C Time : 0.0 sec. user=mdettweiler [2012-02-04 14:22:10] 909*2^1003919-1 is not prime. Res64: A03B6B4858125CB6 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:22:10] 939*2^1003919-1 is not prime. Res64: B484C3C7815C77C3 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:28:41] 629*2^1003920-1 is not prime. Res64: 408312AE470BA050 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:28:41] 689*2^1003920-1 is not prime. Res64: 9CE1617632AD6255 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:29:02] 713*2^1003920-1 is not prime. Res64: 856C08EDC3A61E0C Time : 0.0 sec. user=mdettweiler [2012-02-04 14:29:02] 725*2^1003920-1 is not prime. Res64: 8E637E97BFCCA757 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:30:43] 767*2^1003920-1 is not prime. Res64: C2009F241550177F Time : 0.0 sec. user=mdettweiler [2012-02-04 14:30:43] 825*2^1003920-1 is not prime. Res64: C27895C2BE4BF2EC Time : 0.0 sec. user=mdettweiler [2012-02-04 14:36:14] 845*2^1003920-1 is not prime. Res64: FAF73DDE7D122D20 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:36:15] 863*2^1003920-1 is not prime. Res64: 161CA48754D9497A Time : 0.0 sec. user=mdettweiler [2012-02-04 14:44:54] 933*2^1003920-1 is not prime. Res64: D03C65204FD34933 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:44:55] 799*2^1003921-1 is not prime. Res64: 4C7DA0C729B4BAE3 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:44:55] 829*2^1003921-1 is not prime. Res64: AB35ACF0BAC44F49 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:44:55] 691*2^1003921-1 is not prime. Res64: 2D9CD27CA5C31821 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:45:03] 685*2^1003915-1 is not prime. Res64: 186DA8264C81F547 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:45:03] 723*2^1003915-1 is not prime. Res64: 1055E8ED7C60129F Time : 0.0 sec. user=mdettweiler [2012-02-04 14:46:21] 899*2^1003920-1 is not prime. Res64: 4768A66790D28E10 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:46:21] 909*2^1003920-1 is not prime. Res64: F137412894199A71 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:48:29] 859*2^1003915-1 is not prime. Res64: 27BFD59B3E92CE88 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:48:30] 603*2^1003916-1 is not prime. Res64: AF99D1D9F0B17EB4 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:52:19] 855*2^1003921-1 is not prime. Res64: 24C589B69D0922C5 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:52:19] 909*2^1003921-1 is not prime. Res64: 279F12C1DF86A6B5 Time : 0.0 sec. user=mdettweiler [2012-02-04 14:59:08] 771*2^1003922-1 is not prime. Res64: BF14D1D8ED56A5EA Time : 0.0 sec. user=mdettweiler [2012-02-04 14:59:09] 791*2^1003922-1 is not prime. Res64: E7DFA097F8A65A97 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:00:31] 741*2^1003923-1 is not prime. Res64: CABBEE8531A1976E Time : 0.0 sec. user=mdettweiler [2012-02-04 15:00:32] 765*2^1003923-1 is not prime. Res64: DAA2A6E37BE343BB Time : 0.0 sec. user=mdettweiler [2012-02-04 15:02:27] 987*2^1003921-1 is not prime. Res64: 255E1E185A5FD368 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:02:28] 999*2^1003921-1 is not prime. Res64: F6A52FE490FF135D Time : 0.0 sec. user=mdettweiler [2012-02-04 15:09:14] 963*2^1003923-1 is not prime. Res64: 13CB9BB4FB13BA70 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:09:15] 985*2^1003923-1 is not prime. Res64: 572FE701DB157133 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:14:15] 665*2^1003924-1 is not prime. Res64: CEAD5A0D21964F42 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:14:16] 695*2^1003924-1 is not prime. Res64: E595007A2A05F477 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:14:20] 991*2^1003923-1 is not prime. Res64: 82B3C36CEA9A0C5C Time : 0.0 sec. user=mdettweiler [2012-02-04 15:14:21] 657*2^1003924-1 is not prime. Res64: 1461D6000ACCD89E Time : 0.0 sec. user=mdettweiler [2012-02-04 15:16:01] 719*2^1003924-1 is not prime. Res64: 49258B5778315C57 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:16:01] 803*2^1003924-1 is not prime. Res64: BF9C5F1E9835D124 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:20:56] 867*2^1003918-1 is not prime. Res64: 86041860997E0198 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:20:56] 885*2^1003918-1 is not prime. Res64: 68FE9F016EFFC419 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:22:51] 857*2^1003924-1 is not prime. Res64: 24CBA244FFCD985F Time : 0.0 sec. user=mdettweiler [2012-02-04 15:22:52] 649*2^1003925-1 is not prime. Res64: 571921F3A0804E34 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:27:51] 775*2^1003925-1 is not prime. Res64: 1DA0C21D639D1CC1 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:27:51] 859*2^1003925-1 is not prime. Res64: 5723EEB8076F3F83 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:29:29] 939*2^1003925-1 is not prime. Res64: 50B5D02393A7C2C0 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:29:30] 635*2^1003926-1 is not prime. Res64: 89F6EEB15F89EAD6 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:29:36] 711*2^1003926-1 is not prime. Res64: 1CA85FF551BC93F7 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:29:37] 717*2^1003926-1 is not prime. Res64: 7BE2668368EEEBFC Time : 0.0 sec. user=mdettweiler [2012-02-04 15:36:23] 795*2^1003926-1 is not prime. Res64: A68332749F20E1C1 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:36:24] 807*2^1003926-1 is not prime. Res64: B4944D7A4C8A0CBD Time : 0.0 sec. user=mdettweiler [2012-02-04 15:43:10] 825*2^1003926-1 is not prime. Res64: 25706C1F3E2219CD Time : 0.0 sec. user=mdettweiler [2012-02-04 15:43:11] 1001*2^1003926-1 is not prime. Res64: 37BCCD715F440B45 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:43:14] 615*2^1003927-1 is not prime. Res64: E263F8D646D5A8B1 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:43:15] 651*2^1003927-1 is not prime. Res64: 8928FF58BC90C734 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:43:18] 663*2^1003927-1 is not prime. Res64: 4437D942C2EC627E Time : 0.0 sec. user=mdettweiler [2012-02-04 15:43:19] 729*2^1003927-1 is not prime. Res64: 9C4BEE14035700C8 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:50:29] 793*2^1003927-1 is not prime. Res64: F39B0462A8F370CF Time : 0.0 sec. user=mdettweiler [2012-02-04 15:50:29] 829*2^1003927-1 is not prime. Res64: 15D743F8C33D2612 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:57:17] 841*2^1003927-1 is not prime. Res64: 5BD75D2406155EFA Time : 0.0 sec. user=mdettweiler [2012-02-04 15:57:17] 873*2^1003927-1 is not prime. Res64: 7956081993931242 Time : 0.0 sec. user=mdettweiler [2012-02-04 15:59:07] 885*2^1003927-1 is not prime. Res64: 4352B5D41D17099C Time : 0.0 sec. user=mdettweiler [2012-02-04 15:59:07] 901*2^1003927-1 is not prime. Res64: B3CD8DFFB954F1BF Time : 0.0 sec. user=mdettweiler [2012-02-04 16:00:56] 915*2^1003927-1 is not prime. Res64: 47508CE221B699C1 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:00:59] 939*2^1003927-1 is not prime. Res64: 14AF2C8EDC5E45AC Time : 0.0 sec. user=mdettweiler [2012-02-04 16:04:35] 815*2^1003928-1 is not prime. Res64: FD63323C38ECD77F Time : 0.0 sec. user=mdettweiler [2012-02-04 16:04:38] 827*2^1003928-1 is not prime. Res64: 5F927ED589026789 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:07:43] 789*2^1003923-1 is not prime. Res64: 6AD932020AE62214 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:07:43] 871*2^1003923-1 is not prime. Res64: CED313E4F0287EBC Time : 0.0 sec. user=mdettweiler [2012-02-04 16:11:13] 845*2^1003928-1 is not prime. Res64: A7776D872597D0BB Time : 0.0 sec. user=mdettweiler [2012-02-04 16:11:13] 855*2^1003928-1 is not prime. Res64: A203E100B7005F28 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:13:16] 917*2^1003922-1 is not prime. Res64: F82B4F86DB8E0A37 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:14:26] 869*2^1003928-1 is not prime. Res64: B41758B5593D9E85 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:14:27] 923*2^1003928-1 is not prime. Res64: 270859D88898DABA Time : 0.0 sec. user=mdettweiler [2012-02-04 16:16:53] 735*2^1003923-1 is not prime. Res64: 4131B193BAA84E89 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:18:00] 963*2^1003928-1 is not prime. Res64: FFDABD46337B3809 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:18:00] 969*2^1003928-1 is not prime. Res64: 3AC6C1FA10CD3020 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:21:39] 977*2^1003928-1 is not prime. Res64: DC4919B099CD9643 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:21:40] 999*2^1003928-1 is not prime. Res64: 2DC0863FE5C9D234 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:24:57] 669*2^1003929-1 is not prime. Res64: 4C05BB1679CB3146 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:24:57] 675*2^1003929-1 is not prime. Res64: 46ECBAB8DDC8359E Time : 0.0 sec. user=mdettweiler [2012-02-04 16:28:00] 691*2^1003929-1 is not prime. Res64: BBD42A107327F9AE Time : 0.0 sec. user=mdettweiler [2012-02-04 16:28:00] 727*2^1003929-1 is not prime. Res64: 508BF1778EE5DDC6 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:31:38] 837*2^1003929-1 is not prime. Res64: 4A6E28B82E8D13CB Time : 0.0 sec. user=mdettweiler [2012-02-04 16:31:39] 603*2^1003930-1 is not prime. Res64: 873F5C7C38FA0E03 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:35:21] 671*2^1003930-1 is not prime. Res64: 4B0AFE11948C9E72 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:35:22] 675*2^1003930-1 is not prime. Res64: F69A84856D04CB07 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:38:28] 677*2^1003930-1 is not prime. Res64: A8E71066A6DA266D Time : 0.0 sec. user=mdettweiler [2012-02-04 16:38:28] 601*2^1003931-1 is not prime. Res64: C1936681E8516062 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:41:29] 603*2^1003931-1 is not prime. Res64: 61861BA08E93CE5F Time : 0.0 sec. user=mdettweiler [2012-02-04 16:41:30] 741*2^1003931-1 is not prime. Res64: 13C2D92E1023FD47 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:45:09] 719*2^1003932-1 is not prime. Res64: 6B8A15E5DFC9A454 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:45:10] 779*2^1003932-1 is not prime. Res64: 3B0E010432975E98 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:50:29] 977*2^1003932-1 is not prime. Res64: DBE19BBC048F3C80 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:50:29] 609*2^1003933-1 is not prime. Res64: 37C4AFC4FE36CAAE Time : 0.0 sec. user=mdettweiler [2012-02-04 16:53:33] 889*2^1003933-1 is not prime. Res64: E8BD4A7736E8A7D1 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:53:34] 895*2^1003933-1 is not prime. Res64: 4279C4B3971C7FF9 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:54:58] 641*2^1003934-1 is not prime. Res64: 81F3930BAEB5F6AA Time : 0.0 sec. user=mdettweiler [2012-02-04 16:54:59] 671*2^1003934-1 is not prime. Res64: 46B61933E97ADD69 Time : 0.0 sec. user=mdettweiler [2012-02-04 16:58:40] 687*2^1003934-1 is not prime. Res64: 54F0B8E61687791E Time : 0.0 sec. user=mdettweiler [2012-02-04 16:58:41] 743*2^1003934-1 is not prime. Res64: E8AA10D64EA6D125 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:04:01] 791*2^1003934-1 is not prime. Res64: 41BD74E5266D6097 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:04:02] 827*2^1003934-1 is not prime. Res64: A92851E19D368E8F Time : 0.0 sec. user=mdettweiler [2012-02-04 17:08:31] 751*2^1003935-1 is not prime. Res64: 506FE823CE04B65F Time : 0.0 sec. user=mdettweiler [2012-02-04 17:08:34] 765*2^1003935-1 is not prime. Res64: 1C6BB855074B21BF Time : 0.0 sec. user=mdettweiler [2012-02-04 17:08:41] 875*2^1003934-1 is not prime. Res64: 30A245458E9BAF7F Time : 0.0 sec. user=mdettweiler [2012-02-04 17:08:42] 981*2^1003934-1 is not prime. Res64: FE0D439B315D2E2A Time : 0.0 sec. user=mdettweiler [2012-02-04 17:12:19] 783*2^1003935-1 is not prime. Res64: 1D6507D0ACBB50A6 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:12:21] 819*2^1003935-1 is not prime. Res64: 4D1321FBDF2334C3 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:17:41] 871*2^1003935-1 is not prime. Res64: 9B17C9A84432C441 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:17:41] 603*2^1003936-1 is not prime. Res64: 9125AFFEE61F9DFD Time : 0.0 sec. user=mdettweiler [2012-02-04 17:22:14] 615*2^1003936-1 is not prime. Res64: F5F531CB942F58A2 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:22:15] 629*2^1003936-1 is not prime. Res64: B3C573AC34317811 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:22:17] 645*2^1003936-1 is not prime. Res64: A4EECE2C79C000B5 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:22:18] 657*2^1003936-1 is not prime. Res64: D72C6930A6CABA76 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:25:52] 699*2^1003936-1 is not prime. Res64: 7C9FEAF672E2ADD3 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:25:52] 705*2^1003936-1 is not prime. Res64: F99106DB19AD0490 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:31:09] 719*2^1003936-1 is not prime. Res64: 0DF283443245BDC0 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:31:10] 759*2^1003936-1 is not prime. Res64: CED741DF3D494BB4 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:37:21] 779*2^1003936-1 is not prime. Res64: 16F9D46B1D8033D7 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:37:22] 917*2^1003936-1 is not prime. Res64: BA3A119F713E19CC Time : 0.0 sec. user=mdettweiler [2012-02-04 17:38:58] 923*2^1003936-1 is not prime. Res64: EF9733A9B869508B Time : 0.0 sec. user=mdettweiler [2012-02-04 17:38:58] 927*2^1003936-1 is not prime. Res64: 31C169D996CF29E0 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:42:35] 983*2^1003936-1 is not prime. Res64: 2C9A507D9C1DB2E8 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:42:36] 989*2^1003936-1 is not prime. Res64: 3BD3C07E5E060187 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:44:38] 669*2^1003937-1 is not prime. Res64: 8BEA171D4ED91C55 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:44:39] 759*2^1003937-1 is not prime. Res64: CE0AC107BDE7F86A Time : 0.0 sec. user=mdettweiler [2012-02-04 17:52:25] 769*2^1003937-1 is not prime. Res64: 7ABD34B7F1DB732A Time : 0.0 sec. user=mdettweiler [2012-02-04 17:52:25] 909*2^1003937-1 is not prime. Res64: 9389DAFCB91DCF53 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:55:38] 955*2^1003937-1 is not prime. Res64: 1C36421A5E5DB67B Time : 0.0 sec. user=mdettweiler [2012-02-04 17:55:38] 957*2^1003937-1 is not prime. Res64: DCCEC7217521D7D2 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:56:04] 737*2^1003938-1 is not prime. Res64: D25C234A07331869 Time : 0.0 sec. user=mdettweiler [2012-02-04 17:56:04] 755*2^1003938-1 is not prime. Res64: EAFEF7640A43929F Time : 0.0 sec. user=mdettweiler [2012-02-04 17:58:09] 767*2^1003938-1 is not prime. Res64: 904AF5F193A6A7CC Time : 0.0 sec. user=mdettweiler [2012-02-04 17:58:09] 803*2^1003938-1 is not prime. Res64: F6601A57F6649DE8 Time : 0.0 sec. user=mdettweiler [2012-02-04 18:09:05] 915*2^1003938-1 is not prime. Res64: 5FC041B29FF4E75F Time : 0.0 sec. user=mdettweiler [2012-02-04 18:09:06] 971*2^1003938-1 is not prime. Res64: A1A78102E0D6AC10 Time : 0.0 sec. user=mdettweiler [2012-02-04 18:09:08] 645*2^1003939-1 is not prime. Res64: A34BB160CC8E4F9F Time : 0.0 sec. user=mdettweiler [2012-02-04 18:09:10] 649*2^1003939-1 is not prime. Res64: F79FCF6E96A7EA39 Time : 0.0 sec. user=mdettweiler [2012-02-04 18:09:33] 691*2^1003939-1 is not prime. Res64: 01AED88DF3545E95 Time : 0.0 sec. user=mdettweiler [2012-02-04 18:09:34] 769*2^1003939-1 is not prime. Res64: A0393FF43B4066BD Time : 0.0 sec. user=mdettweiler [2012-02-04 18:11:38] 789*2^1003939-1 is not prime. Res64: DF59554B4FD2E5CD Time : 0.0 sec. user=mdettweiler [2012-02-04 18:11:39] 859*2^1003939-1 is not prime. Res64: E2EFD2DA3C168DEA Time : 0.0 sec. user=mdettweiler [2012-02-04 18:22:42] 883*2^1003939-1 is not prime. Res64: 2348DB1104FCA06B Time : 0.0 sec. user=mdettweiler [2012-02-04 18:22:43] 885*2^1003939-1 is not prime. Res64: D2DE1C436DFD70DD Time : 0.0 sec. user=mdettweiler [2012-02-04 18:23:08] 687*2^1003940-1 is not prime. Res64: 91F7746C1A6216DC Time : 0.0 sec. user=mdettweiler [2012-02-04 18:23:09] 699*2^1003940-1 is not prime. Res64: F525ABA747974B3C Time : 0.0 sec. user=mdettweiler [2012-02-04 18:25:10] 743*2^1003940-1 is not prime. Res64: 33085E3AEEF7B1C7 Time : 0.0 sec. user=mdettweiler [2012-02-04 18:25:11] 753*2^1003940-1 is not prime. Res64: 81E12EBA7BE3A45F Time : 0.0 sec. user=mdettweiler [2012-02-04 18:25:57] 951*2^1003939-1 is not prime. Res64: 6EDE6BF0C59B757E Time : 0.0 sec. user=mdettweiler [2012-02-04 18:25:58] 973*2^1003939-1 is not prime. Res64: 23DBD9E8D4A59ECB Time : 0.0 sec. user=mdettweiler [2012-02-04 18:36:41] 727*2^1003941-1 is not prime. Res64: 3A4B986FF4E2E425 Time : 0.0 sec. user=mdettweiler [2012-02-04 18:36:42] 745*2^1003941-1 is not prime. Res64: 95611998FD130553 Time : 0.0 sec. user=mdettweiler [2012-02-04 18:37:52] 959*2^1003940-1 is not prime. Res64: 5807B2D451AAD81E Time : 0.0 sec. user=mdettweiler [2012-02-04 18:37:53] 691*2^1003941-1 is not prime. Res64: 44996E3BF57DEB65 Time : 0.0 sec. user=mdettweiler [2012-02-04 18:40:14] 829*2^1003941-1 is not prime. Res64: 53FBC6E925561384 Time : 0.0 sec. user=mdettweiler [2012-02-04 18:40:15] 921*2^1003941-1 is not prime. Res64: 8052344954ACC47E Time : 0.0 sec. user=mdettweiler [2012-02-04 18:41:02] 955*2^1003941-1 is not prime. Res64: 236C7C990A03A740 Time : 0.0 sec. user=mdettweiler [2012-02-04 18:41:02] 623*2^1003942-1 is not prime. Res64: 37EC4665B94DC498 Time : 0.0 sec. user=mdettweiler [2012-02-04 18:50:24] 645*2^1003942-1 is not prime. Res64: A014D1D37BA703A9 Time : 0.0 sec. user=mdettweiler [2012-02-04 18:50:25] 755*2^1003942-1 is not prime. Res64: 96C9A3BD162F3E57 Time : 0.0 sec. user=mdettweiler [2012-02-04 18:51:41] 765*2^1003942-1 is not prime. Res64: A5567B7D6F7AEBBF Time : 0.0 sec. user=mdettweiler [2012-02-04 18:51:41] 801*2^1003942-1 is not prime. Res64: 494585C9F913B9D1 Time : 0.0 sec. user=mdettweiler [2012-02-04 18:55:06] 621*2^1003943-1 is not prime. Res64: 49A31E8CB84B4A17 Time : 0.0 sec. user=mdettweiler [2012-02-04 18:55:07] 643*2^1003943-1 is not prime. Res64: E83760FA0859144D Time : 0.0 sec. user=mdettweiler [2012-02-04 18:56:09] 843*2^1003942-1 is not prime. Res64: B293B80DB233E919 Time : 0.0 sec. user=mdettweiler [2012-02-04 18:56:09] 981*2^1003942-1 is not prime. Res64: F4983E8F1C8E7C76 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:04:59] 663*2^1003943-1 is not prime. Res64: 9DF5300B8865F0B7 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:05:01] 673*2^1003943-1 is not prime. Res64: 860656C597741EB6 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:05:48] 693*2^1003943-1 is not prime. Res64: F2B38134D4CB00EA Time : 0.0 sec. user=mdettweiler [2012-02-04 19:05:48] 775*2^1003943-1 is not prime. Res64: 39CE6B30E8924E0F Time : 0.0 sec. user=mdettweiler [2012-02-04 19:10:16] 783*2^1003943-1 is not prime. Res64: C432222D0F464A34 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:10:17] 921*2^1003943-1 is not prime. Res64: A257479FA37DEB09 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:11:21] 969*2^1003943-1 is not prime. Res64: FFDE1558A51A30E8 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:11:22] 663*2^1003944-1 is not prime. Res64: 84F565EB61E5F05D Time : 0.0 sec. user=mdettweiler [2012-02-04 19:18:34] 747*2^1003944-1 is not prime. Res64: 883383E44AF967CD Time : 0.0 sec. user=mdettweiler [2012-02-04 19:18:34] 773*2^1003944-1 is not prime. Res64: AE173FD4225FE691 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:19:27] 795*2^1003944-1 is not prime. Res64: EA835FC2A39DFA1E Time : 0.0 sec. user=mdettweiler [2012-02-04 19:19:27] 825*2^1003944-1 is not prime. Res64: 2CA0298D8B902F6D Time : 0.0 sec. user=mdettweiler [2012-02-04 19:25:01] 601*2^1003945-1 is not prime. Res64: E6DD8C619F2ED532 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:25:01] 705*2^1003945-1 is not prime. Res64: 2FA26538B837BE7D Time : 0.0 sec. user=mdettweiler [2012-02-04 19:25:26] 857*2^1003944-1 is not prime. Res64: BCF86E887CACD7E5 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:25:26] 923*2^1003944-1 is not prime. Res64: 843CA7E3E6BFCC80 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:33:01] 603*2^1003946-1 is not prime. Res64: 44598DE4D743B3BC Time : 0.0 sec. user=mdettweiler [2012-02-04 19:33:02] 705*2^1003946-1 is not prime. Res64: 00719256637C9334 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:33:41] 789*2^1003945-1 is not prime. Res64: 5B774ADE47EF8C37 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:33:41] 955*2^1003945-1 is not prime. Res64: 9655086B709D2E08 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:38:37] 713*2^1003946-1 is not prime. Res64: 01B89BAD0FB47850 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:38:37] 755*2^1003946-1 is not prime. Res64: 2527A0C847E11D36 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:39:01] 773*2^1003946-1 is not prime. Res64: C981675218401390 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:39:01] 783*2^1003946-1 is not prime. Res64: 050DF3759F0F0ADB Time : 0.0 sec. user=mdettweiler [2012-02-04 19:47:00] 825*2^1003946-1 is not prime. Res64: 50B34D981CA5DAEA Time : 0.0 sec. user=mdettweiler [2012-02-04 19:47:01] 851*2^1003946-1 is not prime. Res64: A1D55FF6482ED6F3 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:47:40] 857*2^1003946-1 is not prime. Res64: 166224D514DFEEF4 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:47:40] 867*2^1003946-1 is not prime. Res64: 804613025B21AB1F Time : 0.0 sec. user=mdettweiler [2012-02-04 19:54:38] 887*2^1003946-1 is not prime. Res64: C21799CA8854E7FB Time : 0.0 sec. user=mdettweiler [2012-02-04 19:54:39] 945*2^1003946-1 is not prime. Res64: 6B16F32551665B73 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:54:53] 835*2^1003947-1 is not prime. Res64: 5E4A75D7D56C4503 Time : 0.0 sec. user=mdettweiler [2012-02-04 19:54:54] 951*2^1003947-1 is not prime. Res64: 1DEDD8A2CEBD26EA Time : 0.0 sec. user=mdettweiler [2012-02-04 20:02:49] 961*2^1003947-1 is not prime. Res64: F74C10373BF455CB Time : 0.0 sec. user=mdettweiler [2012-02-04 20:02:57] 765*2^1003948-1 is not prime. Res64: A872B3E43E8CB27B Time : 0.0 sec. user=mdettweiler [2012-02-04 20:05:11] 915*2^1003948-1 is not prime. Res64: 6568969B80294D97 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:05:12] 987*2^1003948-1 is not prime. Res64: 089AE586A49B92A7 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:10:17] 619*2^1003949-1 is not prime. Res64: 20CD4774426F88B6 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:10:20] 945*2^1003949-1 is not prime. Res64: 8227B547997B260D Time : 0.0 sec. user=mdettweiler [2012-02-04 20:12:04] 969*2^1003949-1 is not prime. Res64: 533BAC9B057744C7 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:12:05] 987*2^1003949-1 is not prime. Res64: 7264988995708C00 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:16:52] 677*2^1003950-1 is not prime. Res64: C9F17F94FA8AC3DB Time : 0.0 sec. user=mdettweiler [2012-02-04 20:16:52] 693*2^1003950-1 is not prime. Res64: 3AECC1B0FDAED47B Time : 0.0 sec. user=mdettweiler [2012-02-04 20:20:46] 933*2^1003950-1 is not prime. Res64: D1892CAAE1AC0CD3 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:20:46] 619*2^1003951-1 is not prime. Res64: 3858F978B8D8B66E Time : 0.0 sec. user=mdettweiler [2012-02-04 20:24:06] 649*2^1003951-1 is not prime. Res64: B50D314D6CAB4E32 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:24:07] 651*2^1003951-1 is not prime. Res64: F5F672B4F4FBCA32 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:25:47] 673*2^1003951-1 is not prime. Res64: 43AC1C3963250A6E Time : 0.0 sec. user=mdettweiler [2012-02-04 20:25:47] 685*2^1003951-1 is not prime. Res64: C776C79D947DCDCA Time : 0.0 sec. user=mdettweiler [2012-02-04 20:30:30] 709*2^1003951-1 is not prime. Res64: 1DB5259CEECD4D86 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:30:31] 759*2^1003951-1 is not prime. Res64: 4EA0C55AA687F17E Time : 0.0 sec. user=mdettweiler [2012-02-04 20:35:57] 771*2^1003951-1 is not prime. Res64: FA3C1B1962D29F01 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:35:58] 925*2^1003951-1 is not prime. Res64: 7CE6DD56BE530795 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:39:18] 975*2^1003951-1 is not prime. Res64: DA31849D7E8F5C64 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:39:19] 693*2^1003952-1 is not prime. Res64: E826A4079129EE4B Time : 0.0 sec. user=mdettweiler [2012-02-04 20:39:20] 777*2^1003952-1 is not prime. Res64: 3EB57FBAB9F6B3D2 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:39:20] 843*2^1003952-1 is not prime. Res64: EC60444960491D10 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:45:45] 959*2^1003952-1 is not prime. Res64: B38612AEE2369D3A Time : 0.0 sec. user=mdettweiler [2012-02-04 20:45:45] 609*2^1003953-1 is not prime. Res64: 1539F886AE1B9CA9 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:49:33] 651*2^1003953-1 is not prime. Res64: F295BDD396F1FA14 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:49:33] 675*2^1003953-1 is not prime. Res64: D3C8B26D8747B055 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:52:52] 769*2^1003953-1 is not prime. Res64: 1ED4DAFA6A6164F1 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:52:52] 817*2^1003953-1 is not prime. Res64: 2ED481A5DA035F65 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:52:54] 705*2^1003953-1 is not prime. Res64: 21EB05116DABFFF5 Time : 0.0 sec. user=mdettweiler [2012-02-04 20:52:55] 765*2^1003953-1 is not prime. Res64: 37AF51772BAD20A2 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:02:27] 937*2^1003953-1 is not prime. Res64: E936FCEC2200A2C5 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:02:28] 951*2^1003953-1 is not prime. Res64: D2FA65BECE6321DE Time : 0.0 sec. user=mdettweiler [2012-02-04 21:03:07] 623*2^1003954-1 is not prime. Res64: B4CF870DF6D5F920 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:03:08] 737*2^1003954-1 is not prime. Res64: C3C8F416E23FBDC0 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:06:35] 679*2^1003955-1 is not prime. Res64: C26E0B47A346C9FA Time : 0.0 sec. user=mdettweiler [2012-02-04 21:06:36] 735*2^1003955-1 is not prime. Res64: FCEC97D18F788847 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:08:09] 951*2^1003954-1 is not prime. Res64: 21F3FEF10F637BBD Time : 0.0 sec. user=mdettweiler [2012-02-04 21:08:10] 619*2^1003955-1 is not prime. Res64: 46FCD8AC5304703C Time : 0.0 sec. user=mdettweiler [2012-02-04 21:16:33] 783*2^1003955-1 is not prime. Res64: 99A451F47EC238AD Time : 0.0 sec. user=mdettweiler [2012-02-04 21:16:35] 823*2^1003955-1 is not prime. Res64: D6ECF074D59BE095 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:20:21] 949*2^1003955-1 is not prime. Res64: E2C2CAF08F218E1F Time : 0.0 sec. user=mdettweiler [2012-02-04 21:20:21] 973*2^1003955-1 is not prime. Res64: BD7737DAC463F956 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:20:35] 615*2^1003956-1 is not prime. Res64: 49A4CC9719546AF3 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:20:35] 633*2^1003956-1 is not prime. Res64: 37AEE515A01C73F8 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:22:07] 723*2^1003956-1 is not prime. Res64: E2A35D9AF1A48859 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:22:07] 837*2^1003956-1 is not prime. Res64: 065B01E1CFBB5DD6 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:30:18] 845*2^1003956-1 is not prime. Res64: 31B78E4BAFB7AC61 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:30:18] 607*2^1003957-1 is not prime. Res64: B1B826EF7D19413A Time : 0.0 sec. user=mdettweiler [2012-02-04 21:34:04] 771*2^1003957-1 is not prime. Res64: 029DC8EA701237F0 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:34:04] 861*2^1003957-1 is not prime. Res64: 5767722086763541 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:34:20] 771*2^1003958-1 is not prime. Res64: 43756857E8322212 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:34:20] 791*2^1003958-1 is not prime. Res64: 22F6140E3ABBE4A6 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:37:20] 843*2^1003958-1 is not prime. Res64: 205F52B62DA3866C Time : 0.0 sec. user=mdettweiler [2012-02-04 21:37:21] 935*2^1003958-1 is not prime. Res64: EA4CB5EA25EDE4EA Time : 0.0 sec. user=mdettweiler [2012-02-04 21:43:53] 633*2^1003959-1 is not prime. Res64: 86E838CA8C9D5CDD Time : 0.0 sec. user=mdettweiler [2012-02-04 21:43:54] 775*2^1003959-1 is not prime. Res64: BD78A9C24902F8A4 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:47:35] 609*2^1003960-1 is not prime. Res64: D3AAA0B3229DEFB6 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:47:35] 687*2^1003960-1 is not prime. Res64: EA7A21A775B4F723 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:47:53] 695*2^1003960-1 is not prime. Res64: 39CAD0E3120A2512 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:47:54] 803*2^1003960-1 is not prime. Res64: E73CAF7538A8AC2C Time : 0.0 sec. user=mdettweiler [2012-02-04 21:50:54] 839*2^1003960-1 is not prime. Res64: 652B7A33942B7B11 Time : 0.0 sec. user=mdettweiler [2012-02-04 21:50:54] 649*2^1003961-1 is not prime. Res64: C3019272FC27C654 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:00:37] 967*2^1003961-1 is not prime. Res64: 41081F78427AC039 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:00:41] 981*2^1003961-1 is not prime. Res64: 94D9D085FBB01CA6 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:01:08] 665*2^1003962-1 is not prime. Res64: F4C83770EBF24600 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:01:10] 723*2^1003962-1 is not prime. Res64: 90751D716FC1BA49 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:02:59] 887*2^1003962-1 is not prime. Res64: 0DFEAD2CA3D64976 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:03:00] 977*2^1003962-1 is not prime. Res64: D05F47909EFCF276 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:06:04] 1001*2^1003962-1 is not prime. Res64: E9A7CAB678ED773D Time : 0.0 sec. user=mdettweiler [2012-02-04 22:06:04] 619*2^1003963-1 is not prime. Res64: B49270FBB2D66D3F Time : 0.0 sec. user=mdettweiler [2012-02-04 22:14:25] 745*2^1003963-1 is not prime. Res64: EC8663DFAADB559F Time : 0.0 sec. user=mdettweiler [2012-02-04 22:14:26] 769*2^1003963-1 is not prime. Res64: 50D78BD429E74245 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:16:34] 665*2^1003964-1 is not prime. Res64: C9D7C676E437C6BC Time : 0.0 sec. user=mdettweiler [2012-02-04 22:16:35] 677*2^1003964-1 is not prime. Res64: 0AC8219A2B6EAA69 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:17:53] 891*2^1003963-1 is not prime. Res64: AF33DF8A49D578B5 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:17:54] 951*2^1003963-1 is not prime. Res64: B1C4DB0A4ECC24D4 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:19:36] 843*2^1003964-1 is not prime. Res64: 44617AABAB74DCB6 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:19:37] 855*2^1003964-1 is not prime. Res64: AA3C9B63632650A2 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:29:35] 885*2^1003964-1 is not prime. Res64: 7E67C0E99E7A0338 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:29:35] 897*2^1003964-1 is not prime. Res64: 9C578C0453A8037C Time : 0.0 sec. user=mdettweiler [2012-02-04 22:30:08] 751*2^1003965-1 is not prime. Res64: 77F629189B0C3EF3 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:30:09] 789*2^1003965-1 is not prime. Res64: 71338FF538F75699 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:31:26] 795*2^1003965-1 is not prime. Res64: CC5FC1770294A1E3 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:31:27] 877*2^1003965-1 is not prime. Res64: FE8BC1157F6DA3D2 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:34:46] 889*2^1003965-1 is not prime. Res64: F140EE0AAC93897C Time : 0.0 sec. user=mdettweiler [2012-02-04 22:34:47] 891*2^1003965-1 is not prime. Res64: 0D58D95FA49A2185 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:43:40] 635*2^1003966-1 is not prime. Res64: D9C1873FECA9D18B Time : 0.0 sec. user=mdettweiler [2012-02-04 22:43:41] 815*2^1003966-1 is not prime. Res64: 5691A08C601B1FD4 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:46:17] 951*2^1003965-1 is not prime. Res64: 8FBECB6B08C37CA9 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:46:17] 969*2^1003965-1 is not prime. Res64: 1B1AD41AB4F45239 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:48:11] 975*2^1003966-1 is not prime. Res64: 847EBB411E457CC7 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:48:12] 983*2^1003966-1 is not prime. Res64: E128DE4A1784D95F Time : 0.0 sec. user=mdettweiler [2012-02-04 22:48:19] 615*2^1003967-1 is not prime. Res64: 78CBC1009E171DB6 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:48:19] 621*2^1003967-1 is not prime. Res64: 4A44A418272E2C57 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:57:13] 655*2^1003967-1 is not prime. Res64: 67C6726AC3DC70B4 Time : 0.0 sec. user=mdettweiler [2012-02-04 22:57:14] 711*2^1003967-1 is not prime. Res64: 2D08D130248CCE58 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:01:23] 775*2^1003967-1 is not prime. Res64: 66A6A89D9BC4F057 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:01:24] 963*2^1003967-1 is not prime. Res64: 4628D4D56450D9B3 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:01:45] 605*2^1003968-1 is not prime. Res64: 1F93168CEA754D18 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:01:53] 725*2^1003968-1 is not prime. Res64: FCB9FDA8BF9C28C5 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:02:09] 695*2^1003968-1 is not prime. Res64: E072F01D30A02682 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:12:26] 825*2^1003968-1 is not prime. Res64: F00477E967745564 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:12:28] 927*2^1003968-1 is not prime. Res64: 95243B525A1FC839 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:15:07] 661*2^1003969-1 is not prime. Res64: 02D85A278371A0E2 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:15:10] 687*2^1003969-1 is not prime. Res64: 584DA10F851CB94C Time : 0.0 sec. user=mdettweiler [2012-02-04 23:24:14] 765*2^1003968-1 is not prime. Res64: 4A966A9CEAD19F27 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:26:21] 705*2^1003969-1 is not prime. Res64: 88743FD83FA6E053 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:26:21] 835*2^1003969-1 is not prime. Res64: FDC8A3D18511C23B Time : 0.0 sec. user=mdettweiler [2012-02-04 23:32:15] 895*2^1003969-1 is not prime. Res64: E86C51917B039872 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:32:16] 951*2^1003969-1 is not prime. Res64: E88E92EFEAD09ABD Time : 0.0 sec. user=mdettweiler [2012-02-04 23:37:59] 605*2^1003970-1 is not prime. Res64: 5970EA9E337EF681 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:37:59] 687*2^1003970-1 is not prime. Res64: BD2E5B6ADF57415C Time : 0.0 sec. user=mdettweiler [2012-02-04 23:40:14] 717*2^1003970-1 is not prime. Res64: 82CDAF37DDABE7D1 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:40:14] 741*2^1003970-1 is not prime. Res64: 96D051CB7215E19A Time : 0.0 sec. user=mdettweiler [2012-02-04 23:45:47] 843*2^1003970-1 is not prime. Res64: 3BAFDA863D25E1AA Time : 0.0 sec. user=mdettweiler [2012-02-04 23:45:48] 887*2^1003970-1 is not prime. Res64: 08F0384690CF129F Time : 0.0 sec. user=mdettweiler [2012-02-04 23:47:40] 977*2^1003970-1 is not prime. Res64: B5CE6BD6DB8DB295 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:47:40] 609*2^1003971-1 is not prime. Res64: E71DCD506BECAE12 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:51:30] 769*2^1003971-1 is not prime. Res64: 01266BBDB166437E Time : 0.0 sec. user=mdettweiler [2012-02-04 23:51:31] 879*2^1003971-1 is not prime. Res64: D90AA4CE6A2BF492 Time : 0.0 sec. user=mdettweiler [2012-02-04 23:57:01] 949*2^1003971-1 is not prime. Res64: 6C38EF5A8A54A8BA Time : 0.0 sec. user=mdettweiler [2012-02-04 23:57:02] 975*2^1003971-1 is not prime. Res64: 8DBCF37CFB86F610 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:00:56] 749*2^1003972-1 is not prime. Res64: C4D25E778B49CB07 Time : 0.0 sec. user=mdettweiler [2012-02-05 00:00:56] 915*2^1003972-1 is not prime. Res64: 1DBD0357E9A27324 Time : 0.0 sec.