user=mdettweiler [2012-01-26 00:03:48] 743*2^1002778-1 is not prime. Res64: 436485E8F6F41B01 Time : 0.0 sec. user=mdettweiler [2012-01-26 00:03:50] 827*2^1002778-1 is not prime. Res64: 9A5EEC26A03CEF8B Time : 0.0 sec. user=mdettweiler [2012-01-26 00:05:46] 669*2^1002779-1 is not prime. Res64: 7F7F54CEC9A6F753 Time : 0.0 sec. user=mdettweiler [2012-01-26 00:05:47] 883*2^1002779-1 is not prime. Res64: 9E06325B4DEC373C Time : 0.0 sec. user=mdettweiler [2012-01-26 00:09:07] 931*2^1002779-1 is not prime. Res64: 2BA61B4E51E09080 Time : 0.0 sec. user=mdettweiler [2012-01-26 00:09:08] 633*2^1002780-1 is not prime. Res64: 7305CC3C05A5E0E4 Time : 0.0 sec. user=mdettweiler [2012-01-26 00:12:34] 675*2^1002780-1 is not prime. Res64: 423CE679218D4D9C Time : 0.0 sec. user=mdettweiler [2012-01-26 00:12:36] 719*2^1002780-1 is not prime. Res64: F44D357D761F56E0 Time : 0.0 sec. user=mdettweiler [2012-01-26 00:14:10] 887*2^1002774-1 is not prime. Res64: 1A408421EAEFD300 Time : 0.0 sec. user=mdettweiler [2012-01-26 00:14:11] 945*2^1002774-1 is not prime. Res64: 8743D6076E75DB52 Time : 0.0 sec. user=mdettweiler [2012-01-26 00:17:31] 651*2^1002775-1 is not prime. Res64: 0F1707F760FD6C95 Time : 0.0 sec. user=mdettweiler [2012-01-26 00:17:31] 765*2^1002775-1 is not prime. Res64: 94D1D74396D7D6E0 Time : 0.0 sec. user=mdettweiler [2012-01-26 00:23:46] 753*2^1002780-1 is not prime. Res64: 89D99ED99ADA54C0 Time : 0.0 sec. user=mdettweiler [2012-01-26 00:23:46] 795*2^1002780-1 is not prime. Res64: 5FD259455AA1329C Time : 0.0 sec. user=mdettweiler [2012-01-26 00:27:50] 879*2^1002780-1 is not prime. Res64: 0000D263CEDA3D4C Time : 0.0 sec. user=mdettweiler [2012-01-26 00:27:50] 923*2^1002780-1 is not prime. Res64: DC44D33E30156A5C Time : 0.0 sec. user=mdettweiler [2012-01-26 00:33:28] 929*2^1002780-1 is not prime. Res64: 1B698AE57FCFC72E Time : 0.0 sec. user=mdettweiler [2012-01-26 00:33:29] 987*2^1002780-1 is not prime. Res64: 64F3AC467818FA4A Time : 0.0 sec. user=mdettweiler [2012-01-26 00:34:43] 717*2^1002781-1 is not prime. Res64: CEA29E19D1FB62C2 Time : 0.0 sec. user=mdettweiler [2012-01-26 00:34:44] 997*2^1002781-1 is not prime. Res64: 8FC5A80CC89193BF Time : 0.0 sec. user=mdettweiler [2012-01-26 00:45:49] 893*2^1002782-1 is not prime. Res64: C81E890AA71C35EB Time : 0.0 sec. user=mdettweiler [2012-01-26 00:45:50] 923*2^1002782-1 is not prime. Res64: D144D92152FEEC03 Time : 0.0 sec. user=mdettweiler [2012-01-26 00:47:38] 663*2^1002783-1 is not prime. Res64: 31F386AEA78152FD Time : 0.0 sec. user=mdettweiler [2012-01-26 00:47:39] 703*2^1002783-1 is not prime. Res64: A779AB1BD3BCB30E Time : 0.0 sec. user=mdettweiler [2012-01-26 00:53:15] 745*2^1002783-1 is not prime. Res64: 35AAF625B52706B4 Time : 0.0 sec. user=mdettweiler [2012-01-26 00:53:16] 891*2^1002783-1 is not prime. Res64: F04B41CA9BF686A2 Time : 0.0 sec. user=mdettweiler [2012-01-26 00:55:21] 909*2^1002777-1 is not prime. Res64: 55DF61FB2E6A9943 Time : 0.0 sec. user=mdettweiler [2012-01-26 00:55:21] 623*2^1002778-1 is not prime. Res64: D43B7049EBC9199B Time : 0.0 sec. user=mdettweiler [2012-01-26 00:56:45] 901*2^1002783-1 is not prime. Res64: 0627F680AF76E262 Time : 0.0 sec. user=mdettweiler [2012-01-26 00:56:46] 933*2^1002783-1 is not prime. Res64: CA1B4363166C5C30 Time : 0.0 sec. user=mdettweiler [2012-01-26 01:07:28] 605*2^1002784-1 is not prime. Res64: C1315F2F4729F459 Time : 0.0 sec. user=mdettweiler [2012-01-26 01:07:31] 609*2^1002784-1 is not prime. Res64: 5A175D834A639F10 Time : 0.0 sec. user=mdettweiler [2012-01-26 01:10:07] 945*2^1002783-1 is not prime. Res64: D19B2F3256C6218A Time : 0.0 sec. user=mdettweiler [2012-01-26 01:10:09] 951*2^1002783-1 is not prime. Res64: C2F66A77F72CAF43 Time : 0.0 sec. user=mdettweiler [2012-01-26 01:12:59] 657*2^1002784-1 is not prime. Res64: 9A2537EDBBACF273 Time : 0.0 sec. user=mdettweiler [2012-01-26 01:13:02] 699*2^1002784-1 is not prime. Res64: D639BC315F642674 Time : 0.0 sec. user=mdettweiler [2012-01-26 01:16:28] 909*2^1002784-1 is not prime. Res64: C89168A0B49F20F9 Time : 0.0 sec. user=mdettweiler [2012-01-26 01:16:28] 697*2^1002785-1 is not prime. Res64: 1311A22F1F165F16 Time : 0.0 sec. user=mdettweiler [2012-01-26 01:27:21] 847*2^1002785-1 is not prime. Res64: 932E844834E09E0C Time : 0.0 sec. user=mdettweiler [2012-01-26 01:27:22] 889*2^1002785-1 is not prime. Res64: 32B6F1780F751F7E Time : 0.0 sec. user=mdettweiler [2012-01-26 01:30:00] 671*2^1002782-1 is not prime. Res64: CDA60F65137B3D0B Time : 0.0 sec. user=mdettweiler [2012-01-26 01:30:00] 755*2^1002782-1 is not prime. Res64: 4A4D43B245347E8E Time : 0.0 sec. user=mdettweiler [2012-01-26 01:32:10] 897*2^1002785-1 is not prime. Res64: 99688EDE094C0E3C Time : 0.0 sec. user=mdettweiler [2012-01-26 01:32:11] 955*2^1002785-1 is not prime. Res64: 7C2C086C470DE85D Time : 0.0 sec. user=mdettweiler [2012-01-26 01:33:10] 767*2^1002782-1 is not prime. Res64: 46ADF494F1234953 Time : 0.0 sec. user=mdettweiler [2012-01-26 01:33:10] 791*2^1002782-1 is not prime. Res64: 2E9811211BB6FC5C Time : 0.0 sec. user=mdettweiler [2012-01-26 01:35:05] 987*2^1002785-1 is not prime. Res64: CA0EA9D7E3F7F7D7 Time : 0.0 sec. user=mdettweiler [2012-01-26 01:35:06] 641*2^1002786-1 is not prime. Res64: D2F1CEF89FE909DB Time : 0.0 sec. user=mdettweiler [2012-01-26 01:36:10] 725*2^1002786-1 is not prime. Res64: A7E5AAE0935429A2 Time : 0.0 sec. user=mdettweiler [2012-01-26 01:36:10] 755*2^1002786-1 is not prime. Res64: 966B8BB2A9A4AF84 Time : 0.0 sec. user=mdettweiler [2012-01-26 01:47:12] 767*2^1002786-1 is not prime. Res64: 800C332C6106BE0F Time : 0.0 sec. user=mdettweiler [2012-01-26 01:47:12] 893*2^1002786-1 is not prime. Res64: 16AC3D7E41A4B0A9 Time : 0.0 sec. user=mdettweiler [2012-01-26 01:51:59] 615*2^1002787-1 is not prime. Res64: B4BBC4D9DC9172E9 Time : 0.0 sec. user=mdettweiler [2012-01-26 01:51:59] 681*2^1002787-1 is not prime. Res64: AAED3AD5189BA746 Time : 0.0 sec. user=mdettweiler [2012-01-26 01:59:20] 925*2^1002787-1 is not prime. Res64: 3EE39AE5A2F4CD57 Time : 0.0 sec. user=mdettweiler [2012-01-26 01:59:21] 945*2^1002787-1 is not prime. Res64: 195FDAC9E435867F Time : 0.0 sec. user=mdettweiler [2012-01-26 02:00:31] 975*2^1002787-1 is not prime. Res64: 0A61C65D00F0F31E Time : 0.0 sec. user=mdettweiler [2012-01-26 02:00:32] 993*2^1002787-1 is not prime. Res64: C43D9563FD050744 Time : 0.0 sec. user=mdettweiler [2012-01-26 02:06:59] 617*2^1002788-1 is not prime. Res64: 37A60E6AF15471EF Time : 0.0 sec. user=mdettweiler [2012-01-26 02:07:01] 635*2^1002788-1 is not prime. Res64: A51FE7241837F220 Time : 0.0 sec. user=mdettweiler [2012-01-26 02:11:43] 687*2^1002788-1 is not prime. Res64: 14871ECED413D534 Time : 0.0 sec. user=mdettweiler [2012-01-26 02:11:44] 749*2^1002788-1 is not prime. Res64: 6F7682D5B02D82D0 Time : 0.0 sec. user=mdettweiler [2012-01-26 02:19:06] 897*2^1002788-1 is not prime. Res64: 57B4EE91C71766F2 Time : 0.0 sec. user=mdettweiler [2012-01-26 02:19:07] 621*2^1002789-1 is not prime. Res64: 78346E12EFFC76CC Time : 0.0 sec. user=mdettweiler [2012-01-26 02:20:12] 741*2^1002789-1 is not prime. Res64: 3A0DD3DC2B8874C4 Time : 0.0 sec. user=mdettweiler [2012-01-26 02:20:13] 765*2^1002789-1 is not prime. Res64: 293A37E94CFC94F6 Time : 0.0 sec. user=mdettweiler [2012-01-26 02:26:52] 781*2^1002789-1 is not prime. Res64: AE9945FB87CBCBE3 Time : 0.0 sec. user=mdettweiler [2012-01-26 02:26:53] 787*2^1002789-1 is not prime. Res64: CD46A4795A0C0405 Time : 0.0 sec. user=mdettweiler [2012-01-26 02:33:49] 985*2^1002789-1 is not prime. Res64: 9088E010E9AF54A0 Time : 0.0 sec. user=mdettweiler [2012-01-26 02:33:50] 681*2^1002790-1 is not prime. Res64: 8375B749DF1F7A8E Time : 0.0 sec. user=mdettweiler [2012-01-26 02:38:53] 687*2^1002790-1 is not prime. Res64: 51913597121A051B Time : 0.0 sec. user=mdettweiler [2012-01-26 02:38:55] 741*2^1002790-1 is not prime. Res64: 33A733AA3773C9AB Time : 0.0 sec. user=mdettweiler [2012-01-26 02:39:58] 673*2^1002791-1 is not prime. Res64: 70F8100985DD0220 Time : 0.0 sec. user=mdettweiler [2012-01-26 02:40:00] 705*2^1002791-1 is not prime. Res64: D7954917512CEF34 Time : 0.0 sec. user=mdettweiler [2012-01-26 02:46:38] 735*2^1002791-1 is not prime. Res64: B83671DDDDCC6502 Time : 0.0 sec. user=mdettweiler [2012-01-26 02:46:38] 879*2^1002791-1 is not prime. Res64: C7EE188431725BCF Time : 0.0 sec. user=mdettweiler [2012-01-26 02:53:41] 693*2^1002792-1 is not prime. Res64: 9560B0F6C902A1BC Time : 0.0 sec. user=mdettweiler [2012-01-26 02:53:41] 695*2^1002792-1 is not prime. Res64: 9B43B11E28553571 Time : 0.0 sec. user=mdettweiler [2012-01-26 02:58:42] 725*2^1002792-1 is not prime. Res64: C065AC7CA802D75A Time : 0.0 sec. user=mdettweiler [2012-01-26 02:58:42] 753*2^1002792-1 is not prime. Res64: 507DABD8E8C8D0B7 Time : 0.0 sec. user=mdettweiler [2012-01-26 02:59:59] 779*2^1002792-1 is not prime. Res64: 1880B59172C3B270 Time : 0.0 sec. user=mdettweiler [2012-01-26 03:00:00] 893*2^1002792-1 is not prime. Res64: 2D7030CA084ABEDC Time : 0.0 sec. user=mdettweiler [2012-01-26 03:08:40] 983*2^1002792-1 is not prime. Res64: 5A3926D85629597B Time : 0.0 sec. user=mdettweiler [2012-01-26 03:08:41] 609*2^1002793-1 is not prime. Res64: A6904004B87F050C Time : 0.0 sec. user=mdettweiler [2012-01-26 03:13:33] 741*2^1002793-1 is not prime. Res64: 63B426F5ED418357 Time : 0.0 sec. user=mdettweiler [2012-01-26 03:13:33] 897*2^1002793-1 is not prime. Res64: 0D17A3781FFC46E0 Time : 0.0 sec. user=mdettweiler [2012-01-26 03:18:41] 651*2^1002794-1 is not prime. Res64: 13C9A635FB95566A Time : 0.0 sec. user=mdettweiler [2012-01-26 03:18:41] 657*2^1002794-1 is not prime. Res64: 45F97FC409D5A80E Time : 0.0 sec. user=mdettweiler [2012-01-26 03:19:57] 677*2^1002794-1 is not prime. Res64: F5CE27B807BB0C56 Time : 0.0 sec. user=mdettweiler [2012-01-26 03:19:58] 683*2^1002794-1 is not prime. Res64: 303F9AF4FB1B83B5 Time : 0.0 sec. user=mdettweiler [2012-01-26 03:28:28] 731*2^1002794-1 is not prime. Res64: 65435AED4D25C34A Time : 0.0 sec. user=mdettweiler [2012-01-26 03:28:29] 857*2^1002794-1 is not prime. Res64: 3A0AF130A03F4796 Time : 0.0 sec. user=mdettweiler [2012-01-26 03:35:33] 981*2^1002794-1 is not prime. Res64: 47F666AB2518ADDB Time : 0.0 sec. user=mdettweiler [2012-01-26 03:35:34] 669*2^1002795-1 is not prime. Res64: 294B5052955F10E6 Time : 0.0 sec. user=mdettweiler [2012-01-26 03:38:27] 685*2^1002795-1 is not prime. Res64: BFCBEE5D07C9AD3C Time : 0.0 sec. user=mdettweiler [2012-01-26 03:38:27] 705*2^1002795-1 is not prime. Res64: 4958E1A174BAC944 Time : 0.0 sec. user=mdettweiler [2012-01-26 03:39:40] 735*2^1002795-1 is not prime. Res64: CCBF428177EA92C8 Time : 0.0 sec. user=mdettweiler [2012-01-26 03:39:41] 789*2^1002795-1 is not prime. Res64: BB8DA12001E9F1DB Time : 0.0 sec. user=mdettweiler [2012-01-26 03:48:18] 793*2^1002795-1 is not prime. Res64: 0940C9F85E17DA57 Time : 0.0 sec. user=mdettweiler [2012-01-26 03:48:18] 853*2^1002795-1 is not prime. Res64: D74F567CAB101C4D Time : 0.0 sec. user=mdettweiler [2012-01-26 03:57:43] 891*2^1002795-1 is not prime. Res64: E12FB67507243114 Time : 0.0 sec. user=mdettweiler [2012-01-26 03:57:43] 951*2^1002795-1 is not prime. Res64: F4AF20B61275D84A Time : 0.0 sec. user=mdettweiler [2012-01-26 03:58:15] 609*2^1002796-1 is not prime. Res64: F509A2FDEC825684 Time : 0.0 sec. user=mdettweiler [2012-01-26 03:58:15] 689*2^1002796-1 is not prime. Res64: AA5A0D0E3212011F Time : 0.0 sec. user=mdettweiler [2012-01-26 04:01:47] 719*2^1002796-1 is not prime. Res64: 54BF579EED64800D Time : 0.0 sec. user=mdettweiler [2012-01-26 04:01:49] 947*2^1002796-1 is not prime. Res64: C2BF6DA4392EBB04 Time : 0.0 sec. user=mdettweiler [2012-01-26 04:08:07] 645*2^1002797-1 is not prime. Res64: 92685E259AF8A9CB Time : 0.0 sec. user=mdettweiler [2012-01-26 04:08:09] 691*2^1002797-1 is not prime. Res64: A08BA21975845E39 Time : 0.0 sec. user=mdettweiler [2012-01-26 04:17:30] 717*2^1002797-1 is not prime. Res64: BE711D90DC1475AC Time : 0.0 sec. user=mdettweiler [2012-01-26 04:17:30] 747*2^1002797-1 is not prime. Res64: DB69FDBADE37402A Time : 0.0 sec. user=mdettweiler [2012-01-26 04:18:00] 757*2^1002797-1 is not prime. Res64: 878E4E201233C3FD Time : 0.0 sec. user=mdettweiler [2012-01-26 04:18:00] 759*2^1002797-1 is not prime. Res64: B85ABB5E4D2CE797 Time : 0.0 sec. user=mdettweiler [2012-01-26 04:21:31] 847*2^1002797-1 is not prime. Res64: FB2F341B81D650C3 Time : 0.0 sec. user=mdettweiler [2012-01-26 04:21:31] 885*2^1002797-1 is not prime. Res64: F7679208167EBB70 Time : 0.0 sec. user=mdettweiler [2012-01-26 04:27:52] 889*2^1002797-1 is not prime. Res64: 3F5F3058ED0E14F4 Time : 0.0 sec. user=mdettweiler [2012-01-26 04:27:53] 725*2^1002798-1 is not prime. Res64: 031ECDA2A22D79A2 Time : 0.0 sec. user=mdettweiler [2012-01-26 04:37:10] 797*2^1002798-1 is not prime. Res64: 3C8C62704B6058EA Time : 0.0 sec. user=mdettweiler [2012-01-26 04:37:11] 821*2^1002798-1 is not prime. Res64: 9629752A7E3493D9 Time : 0.0 sec. user=mdettweiler [2012-01-26 04:41:14] 633*2^1002799-1 is not prime. Res64: 681310FA891CC59B Time : 0.0 sec. user=mdettweiler [2012-01-26 04:41:15] 681*2^1002799-1 is not prime. Res64: 90E54F14DD060BC7 Time : 0.0 sec. user=mdettweiler [2012-01-26 04:42:13] 945*2^1002798-1 is not prime. Res64: B513677D2013CE44 Time : 0.0 sec. user=mdettweiler [2012-01-26 04:42:14] 977*2^1002798-1 is not prime. Res64: 04DA7E66EAD7D576 Time : 0.0 sec. user=mdettweiler [2012-01-26 04:49:57] 775*2^1002799-1 is not prime. Res64: A1E1A39B3CEFF1D7 Time : 0.0 sec. user=mdettweiler [2012-01-26 04:49:58] 931*2^1002799-1 is not prime. Res64: E08D7F7F27B9C25A Time : 0.0 sec. user=mdettweiler [2012-01-26 05:00:58] 743*2^1002800-1 is not prime. Res64: A758D8BAFB728A0F Time : 0.0 sec. user=mdettweiler [2012-01-26 05:00:59] 767*2^1002800-1 is not prime. Res64: 8FDD5561BA04BB60 Time : 0.0 sec. user=mdettweiler [2012-01-26 05:01:31] 951*2^1002799-1 is not prime. Res64: F1B3D2FC6D946A2E Time : 0.0 sec. user=mdettweiler [2012-01-26 05:01:32] 973*2^1002799-1 is not prime. Res64: 633BC3F263A015E9 Time : 0.0 sec. user=mdettweiler [2012-01-26 05:02:07] 773*2^1002800-1 is not prime. Res64: 1CF567BF2CB91225 Time : 0.0 sec. user=mdettweiler [2012-01-26 05:02:08] 789*2^1002800-1 is not prime. Res64: 9A70CC4577CDB7EF Time : 0.0 sec. user=mdettweiler [2012-01-26 05:09:40] 843*2^1002800-1 is not prime. Res64: EA64192C3E289E82 Time : 0.0 sec. user=mdettweiler [2012-01-26 05:09:42] 705*2^1002801-1 is not prime. Res64: 3F93B2883E846225 Time : 0.0 sec. user=mdettweiler [2012-01-26 05:20:42] 735*2^1002801-1 is not prime. Res64: 11D67FF52A66CAA3 Time : 0.0 sec. user=mdettweiler [2012-01-26 05:20:43] 811*2^1002801-1 is not prime. Res64: 39DC72D236E097A2 Time : 0.0 sec. user=mdettweiler [2012-01-26 05:21:24] 877*2^1002801-1 is not prime. Res64: A225C26B8C3BB0D7 Time : 0.0 sec. user=mdettweiler [2012-01-26 05:21:25] 907*2^1002801-1 is not prime. Res64: 927B74CC9D1564AF Time : 0.0 sec. user=mdettweiler [2012-01-26 05:26:32] 979*2^1002801-1 is not prime. Res64: 957D8C01860D6B03 Time : 0.0 sec. user=mdettweiler [2012-01-26 05:26:33] 999*2^1002801-1 is not prime. Res64: 0301F034F95F0321 Time : 0.0 sec. user=mdettweiler [2012-01-26 05:29:31] 611*2^1002802-1 is not prime. Res64: B31FD95F2353F93A Time : 0.0 sec. user=mdettweiler [2012-01-26 05:29:32] 621*2^1002802-1 is not prime. Res64: E6F95D6ACB4A24E6 Time : 0.0 sec. user=mdettweiler [2012-01-26 05:40:30] 635*2^1002802-1 is not prime. Res64: A0024A7A186EFFF5 Time : 0.0 sec. user=mdettweiler [2012-01-26 05:40:30] 645*2^1002802-1 is not prime. Res64: C238053F55AD40E5 Time : 0.0 sec. user=mdettweiler [2012-01-26 05:41:09] 681*2^1002802-1 is not prime. Res64: 4C3C4B406BA1E710 Time : 0.0 sec. user=mdettweiler [2012-01-26 05:41:09] 723*2^1002802-1 is not prime. Res64: 1A70C3343A53785F Time : 0.0 sec. user=mdettweiler [2012-01-26 05:46:15] 891*2^1002802-1 is not prime. Res64: E2910424B08A11B5 Time : 0.0 sec. user=mdettweiler [2012-01-26 05:46:16] 621*2^1002803-1 is not prime. Res64: E6081BEB251CC23B Time : 0.0 sec. user=mdettweiler [2012-01-26 05:49:16] 631*2^1002803-1 is not prime. Res64: E80B96E9F009D659 Time : 0.0 sec. user=mdettweiler [2012-01-26 05:49:16] 703*2^1002803-1 is not prime. Res64: A15042F71C5B3C35 Time : 0.0 sec. user=mdettweiler [2012-01-26 06:00:09] 705*2^1002803-1 is not prime. Res64: 77FFD5E5220DF661 Time : 0.0 sec. user=mdettweiler [2012-01-26 06:00:10] 823*2^1002803-1 is not prime. Res64: A11407851F7D183F Time : 0.0 sec. user=mdettweiler [2012-01-26 06:03:08] 943*2^1002803-1 is not prime. Res64: 5442425B2CB141C1 Time : 0.0 sec. user=mdettweiler [2012-01-26 06:03:10] 887*2^1002804-1 is not prime. Res64: 58032D4D9D419892 Time : 0.0 sec. user=mdettweiler [2012-01-26 06:06:00] 625*2^1002805-1 is not prime. Res64: C7E983CDD70EABB9 Time : 0.0 sec. user=mdettweiler [2012-01-26 06:06:02] 685*2^1002805-1 is not prime. Res64: 18519702507A5CAC Time : 0.0 sec. user=mdettweiler [2012-01-26 06:08:58] 721*2^1002805-1 is not prime. Res64: 5A7FFE3FBB29AC29 Time : 0.0 sec. user=mdettweiler [2012-01-26 06:09:01] 729*2^1002805-1 is not prime. Res64: 0AC3E41C2177D1B2 Time : 0.0 sec. user=mdettweiler [2012-01-26 06:20:09] 741*2^1002805-1 is not prime. Res64: 3569627303402AC3 Time : 0.0 sec. user=mdettweiler [2012-01-26 06:20:10] 751*2^1002805-1 is not prime. Res64: 27D4CC866881EA30 Time : 0.0 sec. user=mdettweiler [2012-01-26 06:22:56] 759*2^1002805-1 is not prime. Res64: A2969DC3D4A0CFA5 Time : 0.0 sec. user=mdettweiler [2012-01-26 06:22:56] 811*2^1002805-1 is not prime. Res64: 4448985F4E74549F Time : 0.0 sec. user=mdettweiler [2012-01-26 06:28:11] 861*2^1002805-1 is not prime. Res64: 3CD1CA780FAD6FB8 Time : 0.0 sec. user=mdettweiler [2012-01-26 06:28:11] 925*2^1002805-1 is not prime. Res64: C9F42E1EDD3EE123 Time : 0.0 sec. user=mdettweiler [2012-01-26 06:28:54] 671*2^1002806-1 is not prime. Res64: 5BD037BAC05FCCDF Time : 0.0 sec. user=mdettweiler [2012-01-26 06:28:55] 743*2^1002806-1 is not prime. Res64: F9A414706E65EBAA Time : 0.0 sec. user=mdettweiler [2012-01-26 06:39:58] 755*2^1002806-1 is not prime. Res64: 2FDA8C2DC370053B Time : 0.0 sec. user=mdettweiler [2012-01-26 06:39:59] 801*2^1002806-1 is not prime. Res64: 0412D08ED8FFFB8E Time : 0.0 sec. user=mdettweiler [2012-01-26 06:44:53] 935*2^1002806-1 is not prime. Res64: 0390B693FCFF9F52 Time : 0.0 sec. user=mdettweiler [2012-01-26 06:44:54] 625*2^1002807-1 is not prime. Res64: 450FCC44DE33D098 Time : 0.0 sec. user=mdettweiler [2012-01-26 06:47:54] 735*2^1002807-1 is not prime. Res64: 55FF48B3EF995432 Time : 0.0 sec. user=mdettweiler [2012-01-26 06:47:54] 751*2^1002807-1 is not prime. Res64: 52C3AD8D12F58AFA Time : 0.0 sec. user=mdettweiler [2012-01-26 06:48:39] 805*2^1002807-1 is not prime. Res64: D8CDC6D67528E0BA Time : 0.0 sec. user=mdettweiler [2012-01-26 06:48:40] 829*2^1002807-1 is not prime. Res64: D1BA0E6E35FF084C Time : 0.0 sec. user=mdettweiler [2012-01-26 06:59:39] 891*2^1002807-1 is not prime. Res64: A5D5154A68C7BD56 Time : 0.0 sec. user=mdettweiler [2012-01-26 06:59:40] 639*2^1002808-1 is not prime. Res64: ABBDB863A3CF88FD Time : 0.0 sec. user=mdettweiler [2012-01-26 07:04:35] 723*2^1002808-1 is not prime. Res64: 53396149CF7AE079 Time : 0.0 sec. user=mdettweiler [2012-01-26 07:04:36] 797*2^1002808-1 is not prime. Res64: CC5E1B585A2D6251 Time : 0.0 sec. user=mdettweiler [2012-01-26 07:07:38] 813*2^1002808-1 is not prime. Res64: 8722357D545AFC95 Time : 0.0 sec. user=mdettweiler [2012-01-26 07:07:39] 827*2^1002808-1 is not prime. Res64: 26933AADA7D2F82E Time : 0.0 sec. user=mdettweiler [2012-01-26 07:08:19] 869*2^1002808-1 is not prime. Res64: CECB0FBD7162F201 Time : 0.0 sec. user=mdettweiler [2012-01-26 07:08:22] 905*2^1002808-1 is not prime. Res64: 58F160645BE99FC9 Time : 0.0 sec. user=mdettweiler [2012-01-26 07:21:39] 947*2^1002808-1 is not prime. Res64: 1E9E18458C1E90F0 Time : 0.0 sec. user=mdettweiler [2012-01-26 07:21:40] 657*2^1002809-1 is not prime. Res64: 7920FEB5EF190300 Time : 0.0 sec. user=mdettweiler [2012-01-26 07:24:25] 675*2^1002809-1 is not prime. Res64: C2936C6A023F13A6 Time : 0.0 sec. user=mdettweiler [2012-01-26 07:24:26] 697*2^1002809-1 is not prime. Res64: 0EE5174956013011 Time : 0.0 sec. user=mdettweiler [2012-01-26 07:28:16] 695*2^1002810-1 is not prime. Res64: 109E93BA3F9204CA Time : 0.0 sec. user=mdettweiler [2012-01-26 07:28:16] 783*2^1002810-1 is not prime. Res64: 594C09E99B1E5CDE Time : 0.0 sec. user=mdettweiler [2012-01-26 07:29:41] 957*2^1002809-1 is not prime. Res64: 4AF7C06DE4CA0D10 Time : 0.0 sec. user=mdettweiler [2012-01-26 07:29:41] 627*2^1002810-1 is not prime. Res64: A6E243F19B2C78DC Time : 0.0 sec. user=mdettweiler [2012-01-26 07:41:21] 645*2^1002811-1 is not prime. Res64: AAEF700A477CBF76 Time : 0.0 sec. user=mdettweiler [2012-01-26 07:41:22] 649*2^1002811-1 is not prime. Res64: 656E1CBE1465D970 Time : 0.0 sec. user=mdettweiler [2012-01-26 07:44:08] 675*2^1002811-1 is not prime. Res64: ED966E7418B2199E Time : 0.0 sec. user=mdettweiler [2012-01-26 07:44:09] 723*2^1002811-1 is not prime. Res64: C760D5D1D7FD5D9C Time : 0.0 sec. user=mdettweiler [2012-01-26 07:48:00] 829*2^1002811-1 is not prime. Res64: 8F3E798E329702CD Time : 0.0 sec. user=mdettweiler [2012-01-26 07:48:00] 895*2^1002811-1 is not prime. Res64: 2294B326F9C913F8 Time : 0.0 sec. user=mdettweiler [2012-01-26 07:51:40] 909*2^1002811-1 is not prime. Res64: F3F0E7CD32D30784 Time : 0.0 sec. user=mdettweiler [2012-01-26 07:51:41] 973*2^1002811-1 is not prime. Res64: 492434711F7C0467 Time : 0.0 sec. user=mdettweiler [2012-01-26 08:03:25] 993*2^1002811-1 is not prime. Res64: E714018CDB2E76F6 Time : 0.0 sec. user=mdettweiler [2012-01-26 08:03:26] 617*2^1002812-1 is not prime. Res64: E2B19E8AF477CFAA Time : 0.0 sec. user=mdettweiler [2012-01-26 08:03:53] 665*2^1002812-1 is not prime. Res64: 73BF1D49C7AAB5DA Time : 0.0 sec. user=mdettweiler [2012-01-26 08:03:53] 837*2^1002812-1 is not prime. Res64: A1352F0E8684C6E0 Time : 0.0 sec. user=mdettweiler [2012-01-26 08:07:39] 855*2^1002812-1 is not prime. Res64: 2CC998E8B5D2D387 Time : 0.0 sec. user=mdettweiler [2012-01-26 08:07:40] 903*2^1002812-1 is not prime. Res64: 04D5098D2A26B652 Time : 0.0 sec. user=mdettweiler [2012-01-26 08:11:22] 691*2^1002813-1 is not prime. Res64: 6212A2C5BCBB4045 Time : 0.0 sec. user=mdettweiler [2012-01-26 08:11:25] 699*2^1002813-1 is not prime. Res64: F78C36540274324E Time : 0.0 sec. user=mdettweiler [2012-01-26 08:23:11] 735*2^1002813-1 is not prime. Res64: C1DFF5823D5E05BA Time : 0.0 sec. user=mdettweiler [2012-01-26 08:23:12] 829*2^1002813-1 is not prime. Res64: 4D94D06C352027DF Time : 0.0 sec. user=mdettweiler [2012-01-26 08:25:59] 891*2^1002813-1 is not prime. Res64: 627DCC736AF1B2C8 Time : 0.0 sec. user=mdettweiler [2012-01-26 08:25:59] 937*2^1002813-1 is not prime. Res64: 3F621806245B5185 Time : 0.0 sec. user=mdettweiler [2012-01-26 08:27:22] 813*2^1002814-1 is not prime. Res64: F7A74542074D6B72 Time : 0.0 sec. user=mdettweiler [2012-01-26 08:27:23] 815*2^1002814-1 is not prime. Res64: 226AFB8FEFF2B883 Time : 0.0 sec. user=mdettweiler [2012-01-26 08:31:18] 857*2^1002814-1 is not prime. Res64: C6C043C27C71C7E5 Time : 0.0 sec. user=mdettweiler [2012-01-26 08:31:18] 891*2^1002814-1 is not prime. Res64: 9DB02548B9C87DF4 Time : 0.0 sec. user=mdettweiler [2012-01-26 08:45:16] 657*2^1002510-1 is not prime. Res64: 15507B52ED18865D Time : 0.0 sec. user=mdettweiler [2012-01-26 08:45:16] 915*2^1002814-1 is not prime. Res64: 4AC00AAC1F30F79A Time : 0.0 sec. user=mdettweiler [2012-01-26 08:49:28] 983*2^1002814-1 is not prime. Res64: 91F263EF9A1848D1 Time : 0.0 sec. user=mdettweiler [2012-01-26 08:49:29] 655*2^1002815-1 is not prime. Res64: F19184EF59DD1860 Time : 0.0 sec. user=mdettweiler [2012-01-26 08:50:23] 917*2^1002814-1 is not prime. Res64: 42305380D9EA9411 Time : 0.0 sec. user=mdettweiler [2012-01-26 08:50:24] 957*2^1002814-1 is not prime. Res64: B292A04881EDE21F Time : 0.0 sec. user=mdettweiler [2012-01-26 08:51:08] 693*2^1002815-1 is not prime. Res64: 1F1C8A77515F05B5 Time : 0.0 sec. user=mdettweiler [2012-01-26 08:51:09] 831*2^1002815-1 is not prime. Res64: EF2E7357294263D1 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:05:08] 859*2^1002815-1 is not prime. Res64: 01E648524029E9A0 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:05:10] 865*2^1002815-1 is not prime. Res64: 2883EADE2EB01A41 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:11:35] 909*2^1002815-1 is not prime. Res64: A34FE7790B1150F2 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:11:35] 913*2^1002815-1 is not prime. Res64: 9286D350D8E884FA Time : 0.0 sec. user=mdettweiler [2012-01-26 09:13:11] 999*2^1002815-1 is not prime. Res64: 3410D57ED9454520 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:13:12] 615*2^1002816-1 is not prime. Res64: 002ABED105AA334D Time : 0.0 sec. user=mdettweiler [2012-01-26 09:14:45] 939*2^1002815-1 is not prime. Res64: A2C21E79454C6338 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:14:45] 979*2^1002815-1 is not prime. Res64: 64765B2802BF30A4 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:25:00] 693*2^1002816-1 is not prime. Res64: BE616A50BB15B266 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:25:00] 717*2^1002816-1 is not prime. Res64: 74AF0D6AEDCAAB53 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:31:24] 735*2^1002816-1 is not prime. Res64: 0A5A4C7840502DC2 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:31:25] 893*2^1002816-1 is not prime. Res64: B9FBA383198B62ED Time : 0.0 sec. user=mdettweiler [2012-01-26 09:34:31] 619*2^1002817-1 is not prime. Res64: 730C9D3DF8E2F019 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:34:31] 625*2^1002817-1 is not prime. Res64: EC73535916D3641C Time : 0.0 sec. user=mdettweiler [2012-01-26 09:37:25] 975*2^1002816-1 is not prime. Res64: 08574A1F332E7B08 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:37:25] 993*2^1002816-1 is not prime. Res64: CA9278BCAAA24170 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:44:51] 639*2^1002817-1 is not prime. Res64: 4B1371B6A3CFCA9E Time : 0.0 sec. user=mdettweiler [2012-01-26 09:44:52] 645*2^1002817-1 is not prime. Res64: A0B6450A82D52F78 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:51:07] 885*2^1002817-1 is not prime. Res64: 1022666277262868 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:51:07] 901*2^1002817-1 is not prime. Res64: CE28970976A5A3A7 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:56:31] 945*2^1002817-1 is not prime. Res64: FD3C3329370DEC5B Time : 0.0 sec. user=mdettweiler [2012-01-26 09:56:32] 687*2^1002818-1 is not prime. Res64: 9E414E0007E0EFB9 Time : 0.0 sec. user=mdettweiler [2012-01-26 09:57:12] 713*2^1002818-1 is not prime. Res64: 78AC2D15A1DED4CC Time : 0.0 sec. user=mdettweiler [2012-01-26 09:57:12] 885*2^1002818-1 is not prime. Res64: 5A991CB125AF1AD3 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:04:36] 675*2^1002819-1 is not prime. Res64: F1265D210E362B10 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:04:36] 825*2^1002819-1 is not prime. Res64: BDF00560FB651388 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:13:10] 835*2^1002819-1 is not prime. Res64: 650E1A2EB2C8BB21 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:13:15] 985*2^1002819-1 is not prime. Res64: 9F00AD5342D11933 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:15:10] 945*2^1002786-1 is not prime. Res64: AFFB6813396D8095 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:15:10] 603*2^1002787-1 is not prime. Res64: 4693AEE69A19F95E Time : 0.0 sec. user=mdettweiler [2012-01-26 10:15:20] 813*2^1002784-1 is not prime. Res64: 5A77474EDBFBE606 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:15:20] 855*2^1002784-1 is not prime. Res64: 2E1C7E4543FDCFD9 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:15:22] 741*2^1002787-1 is not prime. Res64: 1C8E3F0F55FD12D2 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:15:23] 843*2^1002787-1 is not prime. Res64: 73485D28A9BB6430 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:17:02] 675*2^1002820-1 is not prime. Res64: 6E842BE712B230BE Time : 0.0 sec. user=mdettweiler [2012-01-26 10:17:02] 699*2^1002820-1 is not prime. Res64: B66331FE5B52B344 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:18:36] 999*2^1002819-1 is not prime. Res64: F71DD3599323ECD7 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:18:37] 635*2^1002820-1 is not prime. Res64: 9CE343394492BC37 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:24:23] 819*2^1002820-1 is not prime. Res64: FDB7535576CC016E Time : 0.0 sec. user=mdettweiler [2012-01-26 10:24:23] 619*2^1002821-1 is not prime. Res64: 60669630085036C9 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:33:00] 685*2^1002821-1 is not prime. Res64: 6E0FF1909B392C84 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:33:01] 717*2^1002821-1 is not prime. Res64: EA78A8AC019E0038 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:38:17] 621*2^1002823-1 is not prime. Res64: 4F775D519484435C Time : 0.0 sec. user=mdettweiler [2012-01-26 10:38:18] 685*2^1002823-1 is not prime. Res64: 49D1C7A3127A821E Time : 0.0 sec. user=mdettweiler [2012-01-26 10:41:23] 915*2^1002822-1 is not prime. Res64: F5D610D14C429F12 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:41:23] 975*2^1002822-1 is not prime. Res64: 61B9016F872E56D0 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:44:04] 703*2^1002823-1 is not prime. Res64: 73DF6ED1AF863961 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:44:04] 771*2^1002823-1 is not prime. Res64: A3CB4D0F8EB8F1F3 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:55:03] 873*2^1002823-1 is not prime. Res64: 0D16CBD066F370E1 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:55:03] 961*2^1002823-1 is not prime. Res64: C184B1D9C337770C Time : 0.0 sec. user=mdettweiler [2012-01-26 10:58:01] 677*2^1002824-1 is not prime. Res64: 5157A667627C6FF5 Time : 0.0 sec. user=mdettweiler [2012-01-26 10:58:01] 683*2^1002824-1 is not prime. Res64: 852CA0BCF61C2898 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:01:09] 743*2^1002824-1 is not prime. Res64: 11A49D8AB6F57D02 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:01:13] 759*2^1002824-1 is not prime. Res64: 3D45623D435C0176 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:03:46] 825*2^1002824-1 is not prime. Res64: 1973D38818D41BCE Time : 0.0 sec. user=mdettweiler [2012-01-26 11:03:47] 857*2^1002824-1 is not prime. Res64: B516815ED9CB8814 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:16:56] 945*2^1002824-1 is not prime. Res64: 88B6E322E75512CD Time : 0.0 sec. user=mdettweiler [2012-01-26 11:16:57] 691*2^1002825-1 is not prime. Res64: 23D26ED95ABA4359 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:17:44] 765*2^1002825-1 is not prime. Res64: AA012DE9E9E3FE7E Time : 0.0 sec. user=mdettweiler [2012-01-26 11:17:45] 789*2^1002825-1 is not prime. Res64: CC072AA40AD64BCB Time : 0.0 sec. user=mdettweiler [2012-01-26 11:21:04] 885*2^1002825-1 is not prime. Res64: 6DD4144078A09941 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:21:04] 651*2^1002826-1 is not prime. Res64: 77B35BC86393F24E Time : 0.0 sec. user=mdettweiler [2012-01-26 11:23:29] 671*2^1002826-1 is not prime. Res64: 3EE5AED3300E74D4 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:23:29] 677*2^1002826-1 is not prime. Res64: 9409A74789495B64 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:30:50] 747*2^1002821-1 is not prime. Res64: 950416F8105AA134 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:30:50] 871*2^1002821-1 is not prime. Res64: D1BF6584A9EC1830 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:31:01] 635*2^1002822-1 is not prime. Res64: 717F11CAB4F397EC Time : 0.0 sec. user=mdettweiler [2012-01-26 11:31:01] 693*2^1002822-1 is not prime. Res64: 52A365897922BFAC Time : 0.0 sec. user=mdettweiler [2012-01-26 11:36:40] 801*2^1002826-1 is not prime. Res64: 25B38C82BB0C474D Time : 0.0 sec. user=mdettweiler [2012-01-26 11:36:41] 825*2^1002826-1 is not prime. Res64: EC7FA885D854330F Time : 0.0 sec. user=mdettweiler [2012-01-26 11:37:22] 881*2^1002826-1 is not prime. Res64: BEBAA0CAFC1E04DE Time : 0.0 sec. user=mdettweiler [2012-01-26 11:37:22] 887*2^1002826-1 is not prime. Res64: 8517EB708698C766 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:40:47] 903*2^1002826-1 is not prime. Res64: 43803B64C6CF279D Time : 0.0 sec. user=mdettweiler [2012-01-26 11:40:47] 905*2^1002826-1 is not prime. Res64: ECD4D16BC9315633 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:45:30] 615*2^1002827-1 is not prime. Res64: 8A6F85400632B190 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:45:30] 993*2^1002827-1 is not prime. Res64: DCDEF823046C23B8 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:47:35] 937*2^1002821-1 is not prime. Res64: E017F338D1D4C7B1 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:47:36] 955*2^1002821-1 is not prime. Res64: 2151BE6A56F3196B Time : 0.0 sec. user=mdettweiler [2012-01-26 11:56:25] 839*2^1002828-1 is not prime. Res64: 864D0BA94BDFC564 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:56:26] 879*2^1002828-1 is not prime. Res64: A710C466E58E961B Time : 0.0 sec. user=mdettweiler [2012-01-26 11:59:27] 909*2^1002828-1 is not prime. Res64: 8EF6053A79921630 Time : 0.0 sec. user=mdettweiler [2012-01-26 11:59:28] 929*2^1002828-1 is not prime. Res64: 9B6CDF8268D49D22 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:05:06] 959*2^1002828-1 is not prime. Res64: ACFE1877E14B0EE6 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:05:07] 999*2^1002828-1 is not prime. Res64: F38AC4803E14CD5F Time : 0.0 sec. user=mdettweiler [2012-01-26 12:05:21] 619*2^1002829-1 is not prime. Res64: D1AB0059A37A0C71 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:05:22] 639*2^1002829-1 is not prime. Res64: 100F84A8D4A9B17C Time : 0.0 sec. user=mdettweiler [2012-01-26 12:16:14] 771*2^1002829-1 is not prime. Res64: 4C2EC512E969ECB3 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:16:14] 861*2^1002829-1 is not prime. Res64: 84575FFB25581C6A Time : 0.0 sec. user=mdettweiler [2012-01-26 12:21:30] 895*2^1002829-1 is not prime. Res64: DEB9E8A47BE5E39D Time : 0.0 sec. user=mdettweiler [2012-01-26 12:21:31] 955*2^1002829-1 is not prime. Res64: A5D0DD277FC8B456 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:25:08] 773*2^1002830-1 is not prime. Res64: B01AC908CA457831 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:25:09] 857*2^1002830-1 is not prime. Res64: 980B81732C8711F0 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:27:16] 999*2^1002829-1 is not prime. Res64: 8C57E02B9D0CB693 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:27:16] 645*2^1002830-1 is not prime. Res64: 7E1467CEE0915D56 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:38:23] 921*2^1002830-1 is not prime. Res64: 1A6C2C24F45854B8 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:38:24] 669*2^1002831-1 is not prime. Res64: 1FE42D458B609A67 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:41:14] 763*2^1002831-1 is not prime. Res64: 285E1AF27688B22C Time : 0.0 sec. user=mdettweiler [2012-01-26 12:41:14] 849*2^1002831-1 is not prime. Res64: 52A5A8C683F63C4C Time : 0.0 sec. user=mdettweiler [2012-01-26 12:46:28] 647*2^1002828-1 is not prime. Res64: 5C14C6200C00366E Time : 0.0 sec. user=mdettweiler [2012-01-26 12:46:28] 663*2^1002828-1 is not prime. Res64: 17028E8B5713D703 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:46:43] 669*2^1002828-1 is not prime. Res64: CB92E653CB388A0A Time : 0.0 sec. user=mdettweiler [2012-01-26 12:46:44] 723*2^1002828-1 is not prime. Res64: 7328A40A2EDF4856 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:47:03] 615*2^1002832-1 is not prime. Res64: E016C8681C030225 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:47:04] 635*2^1002832-1 is not prime. Res64: CA6CF82BB27D66C8 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:47:07] 873*2^1002831-1 is not prime. Res64: CBF69B0BD0187C90 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:47:07] 979*2^1002831-1 is not prime. Res64: 0A74C7D75E1780F4 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:58:09] 689*2^1002832-1 is not prime. Res64: 1B67349B889454F1 Time : 0.0 sec. user=mdettweiler [2012-01-26 12:58:09] 695*2^1002832-1 is not prime. Res64: 93C759341AC58B84 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:03:21] 721*2^1002829-1 is not prime. Res64: E06BF21C73385A28 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:03:23] 769*2^1002829-1 is not prime. Res64: B4F2E821F3902DF6 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:05:30] 917*2^1002832-1 is not prime. Res64: 52E31D2F1CDCE7A9 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:05:31] 933*2^1002832-1 is not prime. Res64: 26CF5500F2FA012D Time : 0.0 sec. user=mdettweiler [2012-01-26 13:06:50] 691*2^1002833-1 is not prime. Res64: 214DF08908B169B8 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:06:52] 735*2^1002833-1 is not prime. Res64: 15842AC351E16F72 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:06:55] 801*2^1002833-1 is not prime. Res64: E4B6ACA7F600DE98 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:06:58] 837*2^1002833-1 is not prime. Res64: 242F34D5E2211A49 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:20:11] 985*2^1002833-1 is not prime. Res64: 75CF2B89F2BD929C Time : 0.0 sec. user=mdettweiler [2012-01-26 13:20:11] 657*2^1002834-1 is not prime. Res64: 7D95D9DE7951D2D6 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:26:41] 801*2^1002835-1 is not prime. Res64: 41A5741702DB1696 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:26:41] 871*2^1002835-1 is not prime. Res64: E0A05252F3E4D1D5 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:26:46] 631*2^1002835-1 is not prime. Res64: 0CB4E95A97169C52 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:26:46] 723*2^1002835-1 is not prime. Res64: 8DF5A9985A80F18D Time : 0.0 sec. user=mdettweiler [2012-01-26 13:29:55] 975*2^1002834-1 is not prime. Res64: BF016CB5C6CA4194 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:29:56] 993*2^1002834-1 is not prime. Res64: 1AFC05B9720D6987 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:42:09] 889*2^1002835-1 is not prime. Res64: 08B5A4499813950E Time : 0.0 sec. user=mdettweiler [2012-01-26 13:42:10] 951*2^1002835-1 is not prime. Res64: DB7B2FF473F75683 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:46:24] 767*2^1002836-1 is not prime. Res64: D1FCA080199C17FB Time : 0.0 sec. user=mdettweiler [2012-01-26 13:46:24] 827*2^1002836-1 is not prime. Res64: 6409434906A553C1 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:48:53] 855*2^1002836-1 is not prime. Res64: 44019620AFA56DBA Time : 0.0 sec. user=mdettweiler [2012-01-26 13:48:54] 923*2^1002836-1 is not prime. Res64: CF9B366F48395C69 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:49:45] 625*2^1002837-1 is not prime. Res64: DCE3A30C6FAEDAE7 Time : 0.0 sec. user=mdettweiler [2012-01-26 13:49:45] 765*2^1002837-1 is not prime. Res64: DB7F4491E8C50E96 Time : 0.0 sec. user=mdettweiler [2012-01-26 14:01:55] 777*2^1002837-1 is not prime. Res64: 0C0ACD221AC4966A Time : 0.0 sec. user=mdettweiler [2012-01-26 14:01:56] 795*2^1002837-1 is not prime. Res64: 75945E6C0C206B25 Time : 0.0 sec. user=mdettweiler [2012-01-26 14:02:26] 651*2^1002833-1 is not prime. Res64: 251347799ADCEC61 Time : 0.0 sec. user=mdettweiler [2012-01-26 14:02:29] 685*2^1002833-1 is not prime. Res64: 884BBE3C50355189 Time : 0.0 sec. user=mdettweiler [2012-01-26 14:06:07] 847*2^1002837-1 is not prime. Res64: BC48D521D0F834CD Time : 0.0 sec. user=mdettweiler [2012-01-26 14:06:08] 871*2^1002837-1 is not prime. Res64: 98E2F3E0BB38AD3A Time : 0.0 sec. user=mdettweiler [2012-01-26 14:09:29] 611*2^1002838-1 is not prime. Res64: 58E9E531C1FAA6B9 Time : 0.0 sec. user=mdettweiler [2012-01-26 14:09:30] 623*2^1002838-1 is not prime. Res64: AA024A8674B6240D Time : 0.0 sec. user=mdettweiler [2012-01-26 14:10:54] 927*2^1002837-1 is not prime. Res64: 3D11034138CC413F Time : 0.0 sec. user=mdettweiler [2012-01-26 14:10:55] 603*2^1002838-1 is not prime. Res64: E00E107E5333344B Time : 0.0 sec. user=mdettweiler [2012-01-26 14:18:55] 965*2^1002832-1 is not prime. Res64: 15C883DA6BCF40ED Time : 0.0 sec. user=mdettweiler [2012-01-26 14:18:56] 983*2^1002832-1 is not prime. Res64: EF206529BEE6155C Time : 0.0 sec. user=mdettweiler [2012-01-26 14:19:09] 683*2^1002834-1 is not prime. Res64: 0291A8E284C2877E Time : 0.0 sec. user=mdettweiler [2012-01-26 14:19:09] 717*2^1002834-1 is not prime. Res64: 1A134F44D7DE8B76 Time : 0.0 sec. user=mdettweiler [2012-01-26 14:21:40] 707*2^1002838-1 is not prime. Res64: A394ECA271B88E4F Time : 0.0 sec. user=mdettweiler [2012-01-26 14:21:41] 755*2^1002838-1 is not prime. Res64: 3FC963AB05D50219 Time : 0.0 sec. user=mdettweiler [2012-01-26 14:25:53] 891*2^1002838-1 is not prime. Res64: CDAF6A1010AF0BEB Time : 0.0 sec. user=mdettweiler [2012-01-26 14:25:53] 603*2^1002839-1 is not prime. Res64: CDBB5057AEED6E25 Time : 0.0 sec. user=mdettweiler [2012-01-26 14:29:22] 693*2^1002839-1 is not prime. Res64: 883529A62D828F9F Time : 0.0 sec. user=mdettweiler [2012-01-26 14:29:22] 775*2^1002839-1 is not prime. Res64: 1A07E146E2C7AC4F Time : 0.0 sec. user=mdettweiler [2012-01-26 14:33:06] 895*2^1002839-1 is not prime. Res64: 0F92ABC7BBDF8EED Time : 0.0 sec. user=mdettweiler [2012-01-26 14:33:07] 913*2^1002839-1 is not prime. Res64: EFEF2E042B0CA3F5 Time : 0.0 sec. user=mdettweiler [2012-01-26 14:41:28] 699*2^1002840-1 is not prime. Res64: 9600BCABC777E17C Time : 0.0 sec. user=mdettweiler [2012-01-26 14:41:28] 857*2^1002840-1 is not prime. Res64: 6A816DD6D7A4B8FF Time : 0.0 sec. user=mdettweiler [2012-01-26 14:47:54] 975*2^1002840-1 is not prime. Res64: D86A510626DC354B Time : 0.0 sec. user=mdettweiler [2012-01-26 14:47:54] 625*2^1002841-1 is not prime. Res64: 1853B878DD970A7C Time : 0.0 sec. user=mdettweiler [2012-01-26 14:49:04] 675*2^1002841-1 is not prime. Res64: 0FD29DD86CA05F53 Time : 0.0 sec. user=mdettweiler [2012-01-26 14:49:04] 705*2^1002841-1 is not prime. Res64: 6C2317A2ED0AC708 Time : 0.0 sec. user=mdettweiler [2012-01-26 14:52:50] 771*2^1002841-1 is not prime. Res64: 5644F7BA9371FEE3 Time : 0.0 sec. user=mdettweiler [2012-01-26 14:52:51] 777*2^1002841-1 is not prime. Res64: B2AA21C8DCBCA4C2 Time : 0.0 sec. user=mdettweiler [2012-01-26 15:01:12] 819*2^1002841-1 is not prime. Res64: 84FC7599750C4C05 Time : 0.0 sec. user=mdettweiler [2012-01-26 15:01:14] 847*2^1002841-1 is not prime. Res64: EFB194DD56032C62 Time : 0.0 sec. user=mdettweiler [2012-01-26 15:07:34] 633*2^1002842-1 is not prime. Res64: B80F4E6B66136E63 Time : 0.0 sec. user=mdettweiler [2012-01-26 15:07:36] 635*2^1002842-1 is not prime. Res64: 40AD4714031EB20C Time : 0.0 sec. user=mdettweiler [2012-01-26 15:08:46] 671*2^1002842-1 is not prime. Res64: 5DE068ACF773522B Time : 0.0 sec. user=mdettweiler [2012-01-26 15:08:47] 675*2^1002842-1 is not prime. Res64: DE76F6C42B6D9D13 Time : 0.0 sec. user=mdettweiler [2012-01-26 15:12:40] 705*2^1002842-1 is not prime. Res64: 4438B548F8A1576B Time : 0.0 sec. user=mdettweiler [2012-01-26 15:12:42] 801*2^1002842-1 is not prime. Res64: 872019D3FE7F5E19 Time : 0.0 sec. user=mdettweiler [2012-01-26 15:18:06] 831*2^1002838-1 is not prime. Res64: 121B85BFA53408F3 Time : 0.0 sec. user=mdettweiler [2012-01-26 15:18:07] 887*2^1002838-1 is not prime. Res64: 5641ABB27D062C1D Time : 0.0 sec. user=mdettweiler [2012-01-26 15:21:22] 831*2^1002842-1 is not prime. Res64: 96617A3825DBB9E1 Time : 0.0 sec. user=mdettweiler [2012-01-26 15:21:23] 837*2^1002842-1 is not prime. Res64: 9ADE7F32996CE899 Time : 0.0 sec. user=mdettweiler [2012-01-26 15:30:35] 903*2^1002842-1 is not prime. Res64: 0ACDBB743E83F2C5 Time : 0.0 sec. user=mdettweiler [2012-01-26 15:30:36] 935*2^1002842-1 is not prime. Res64: E01B22323C7A2567 Time : 0.0 sec. user=mdettweiler [2012-01-26 15:31:53] 983*2^1002842-1 is not prime. Res64: E619A8162CBC003C Time : 0.0 sec. user=mdettweiler [2012-01-26 15:31:53] 685*2^1002843-1 is not prime. Res64: 245736F8830C29CB Time : 0.0 sec. user=mdettweiler [2012-01-26 15:33:23] 751*2^1002843-1 is not prime. Res64: 48BD53905FDD43AC Time : 0.0 sec. user=mdettweiler [2012-01-26 15:33:24] 765*2^1002843-1 is not prime. Res64: 09894EE55BF60A6B Time : 0.0 sec. user=mdettweiler [2012-01-26 15:41:55] 801*2^1002843-1 is not prime. Res64: 4D3541EA96FC5E9E Time : 0.0 sec. user=mdettweiler [2012-01-26 15:41:56] 819*2^1002843-1 is not prime. Res64: 7D31887EAE43051F Time : 0.0 sec. user=mdettweiler [2012-01-26 15:50:22] 859*2^1002843-1 is not prime. Res64: 8E195897FB23EECF Time : 0.0 sec. user=mdettweiler [2012-01-26 15:50:22] 623*2^1002844-1 is not prime. Res64: 298BE8C04D520F1E Time : 0.0 sec. user=mdettweiler [2012-01-26 15:51:34] 931*2^1002839-1 is not prime. Res64: 0E0AFA8A8645AD48 Time : 0.0 sec. user=mdettweiler [2012-01-26 15:51:35] 943*2^1002839-1 is not prime. Res64: 6171ACC938563AAD Time : 0.0 sec. user=mdettweiler [2012-01-26 15:51:36] 635*2^1002844-1 is not prime. Res64: 529228F0CA4FBD77 Time : 0.0 sec. user=mdettweiler [2012-01-26 15:51:37] 707*2^1002844-1 is not prime. Res64: 89E709FDFDE417CE Time : 0.0 sec. user=mdettweiler [2012-01-26 15:51:50] 955*2^1002839-1 is not prime. Res64: 8DA06854E7ED421A Time : 0.0 sec. user=mdettweiler [2012-01-26 15:51:50] 999*2^1002839-1 is not prime. Res64: 4769D4D4659A0F06 Time : 0.0 sec. user=mdettweiler [2012-01-26 15:53:07] 719*2^1002844-1 is not prime. Res64: 289F3BFA15D4ABFC Time : 0.0 sec. user=mdettweiler [2012-01-26 15:53:07] 723*2^1002844-1 is not prime. Res64: FF8102B74F62C6F0 Time : 0.0 sec. user=mdettweiler [2012-01-26 16:01:45] 863*2^1002844-1 is not prime. Res64: EBA9D46321A2EC62 Time : 0.0 sec. user=mdettweiler [2012-01-26 16:01:50] 909*2^1002844-1 is not prime. Res64: 1202DF66DB3B4984 Time : 0.0 sec. user=mdettweiler [2012-01-26 16:11:28] 747*2^1002846-1 is not prime. Res64: 65055D7697B00CA0 Time : 0.0 sec. user=mdettweiler [2012-01-26 16:11:30] 761*2^1002846-1 is not prime. Res64: 51E202C54F01BD1A Time : 0.0 sec. user=mdettweiler [2012-01-26 16:12:27] 947*2^1002844-1 is not prime. Res64: A307DEC1989C7A2E Time : 0.0 sec. user=mdettweiler [2012-01-26 16:12:29] 657*2^1002845-1 is not prime. Res64: CF1EC5A170B4558C Time : 0.0 sec. user=mdettweiler [2012-01-26 16:15:09] 841*2^1002847-1 is not prime. Res64: EDD206AADA958A4B Time : 0.0 sec. user=mdettweiler [2012-01-26 16:15:10] 933*2^1002847-1 is not prime. Res64: 280BD5A657C6573B Time : 0.0 sec. user=mdettweiler [2012-01-26 16:23:58] 975*2^1002847-1 is not prime. Res64: 30E39BFB9F1D58D2 Time : 0.0 sec. user=mdettweiler [2012-01-26 16:23:59] 659*2^1002848-1 is not prime. Res64: 96CE6BD31DE7A2EB Time : 0.0 sec. user=mdettweiler [2012-01-26 16:31:29] 725*2^1002848-1 is not prime. Res64: 0F9903C79EC19B3B Time : 0.0 sec. user=mdettweiler [2012-01-26 16:31:30] 797*2^1002848-1 is not prime. Res64: 38D1786C4AFB8929 Time : 0.0 sec. user=mdettweiler [2012-01-26 16:32:20] 803*2^1002848-1 is not prime. Res64: BED561CD46387843 Time : 0.0 sec. user=mdettweiler [2012-01-26 16:32:20] 843*2^1002848-1 is not prime. Res64: 20D64B2ADB2DB05C Time : 0.0 sec. user=mdettweiler [2012-01-26 16:33:49] 769*2^1002843-1 is not prime. Res64: 4EAC0658EB918E97 Time : 0.0 sec. user=mdettweiler [2012-01-26 16:33:49] 795*2^1002843-1 is not prime. Res64: B9DA27A045054684 Time : 0.0 sec. user=mdettweiler [2012-01-26 16:39:25] 959*2^1002848-1 is not prime. Res64: 92E33D0C99437527 Time : 0.0 sec. user=mdettweiler [2012-01-26 16:39:26] 995*2^1002848-1 is not prime. Res64: 2ED7FF433431AEAF Time : 0.0 sec. user=mdettweiler [2012-01-26 16:43:49] 601*2^1002849-1 is not prime. Res64: 8FEC89C8CECFFAF3 Time : 0.0 sec. user=mdettweiler [2012-01-26 16:43:49] 709*2^1002849-1 is not prime. Res64: 19D2EFD17C0FD4E1 Time : 0.0 sec. user=mdettweiler [2012-01-26 16:51:19] 741*2^1002849-1 is not prime. Res64: 437A855244850D54 Time : 0.0 sec. user=mdettweiler [2012-01-26 16:51:19] 829*2^1002849-1 is not prime. Res64: 56C91F1D8DC6F109 Time : 0.0 sec. user=mdettweiler [2012-01-26 16:52:07] 865*2^1002849-1 is not prime. Res64: E1CECA4AD5FB9506 Time : 0.0 sec. user=mdettweiler [2012-01-26 16:52:08] 891*2^1002849-1 is not prime. Res64: 54AF1843538656F6 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:01:32] 985*2^1002849-1 is not prime. Res64: F60DFD89A14CED95 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:01:33] 647*2^1002850-1 is not prime. Res64: 2C19B25796B1E867 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:03:40] 663*2^1002850-1 is not prime. Res64: 8F22434693DDD134 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:03:49] 735*2^1002850-1 is not prime. Res64: 4C339B637D68EF05 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:07:17] 729*2^1002845-1 is not prime. Res64: 8469896100D44E20 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:07:19] 847*2^1002845-1 is not prime. Res64: 4B1D07EBB2AB423D Time : 0.0 sec. user=mdettweiler [2012-01-26 17:07:28] 815*2^1002846-1 is not prime. Res64: FE907715D220A8EE Time : 0.0 sec. user=mdettweiler [2012-01-26 17:07:31] 663*2^1002847-1 is not prime. Res64: 29ABDC8869C0F32B Time : 0.0 sec. user=mdettweiler [2012-01-26 17:11:05] 773*2^1002850-1 is not prime. Res64: BDA3A4F6979D80DD Time : 0.0 sec. user=mdettweiler [2012-01-26 17:11:06] 845*2^1002850-1 is not prime. Res64: 4C64F43B9A08C3EB Time : 0.0 sec. user=mdettweiler [2012-01-26 17:14:11] 975*2^1002850-1 is not prime. Res64: 90A1AA3084D9816B Time : 0.0 sec. user=mdettweiler [2012-01-26 17:14:12] 619*2^1002851-1 is not prime. Res64: 3F4D4183566560A0 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:21:35] 679*2^1002851-1 is not prime. Res64: C4D95ABA445E2609 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:21:36] 703*2^1002851-1 is not prime. Res64: A647CF5F63112180 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:23:38] 665*2^1002852-1 is not prime. Res64: B6C33A5D1B074973 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:23:38] 737*2^1002852-1 is not prime. Res64: 3D25C7A5DFDEA6C2 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:30:51] 691*2^1002853-1 is not prime. Res64: E23A2CBC95B3B428 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:30:52] 741*2^1002853-1 is not prime. Res64: 4AC20CC9CF47CF35 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:33:55] 745*2^1002853-1 is not prime. Res64: 667DF59A3C36B36D Time : 0.0 sec. user=mdettweiler [2012-01-26 17:33:56] 775*2^1002853-1 is not prime. Res64: A50D9EFE447FD483 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:41:22] 835*2^1002853-1 is not prime. Res64: C0EA1646F41475D3 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:41:23] 849*2^1002853-1 is not prime. Res64: E3E5A02D69CB6677 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:43:26] 635*2^1002854-1 is not prime. Res64: 92FD81D4E7BDEE03 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:43:26] 677*2^1002854-1 is not prime. Res64: 68D9F4C7E28C72BC Time : 0.0 sec. user=mdettweiler [2012-01-26 17:50:41] 711*2^1002854-1 is not prime. Res64: 24E38CBBF687BCE4 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:50:41] 753*2^1002854-1 is not prime. Res64: 8D0EF2E0207153C4 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:55:59] 825*2^1002854-1 is not prime. Res64: 19DF5FAEE50D8547 Time : 0.0 sec. user=mdettweiler [2012-01-26 17:56:00] 951*2^1002854-1 is not prime. Res64: B5514272FB89E154 Time : 0.0 sec. user=mdettweiler [2012-01-26 18:05:34] 995*2^1002854-1 is not prime. Res64: 8B80F6CD13A33D65 Time : 0.0 sec. user=mdettweiler [2012-01-26 18:05:37] 735*2^1002855-1 is not prime. Res64: 26A82FD318DB4FE4 Time : 0.0 sec. user=mdettweiler [2012-01-26 18:05:51] 965*2^1002854-1 is not prime. Res64: 9551DFA2A104AD29 Time : 0.0 sec. user=mdettweiler [2012-01-26 18:05:52] 971*2^1002854-1 is not prime. Res64: 2F63A9245E2287CC Time : 0.0 sec. user=mdettweiler [2012-01-26 18:06:30] 951*2^1002849-1 is not prime. Res64: 95E67E054199B5EF Time : 0.0 sec. user=mdettweiler [2012-01-26 18:06:32] 975*2^1002849-1 is not prime. Res64: 74EEA1BE1309A03D Time : 0.0 sec. user=mdettweiler [2012-01-26 18:10:37] 739*2^1002855-1 is not prime. Res64: 4288CEF6429E45FC Time : 0.0 sec. user=mdettweiler [2012-01-26 18:10:39] 657*2^1002856-1 is not prime. Res64: 473860C72FBC316A Time : 0.0 sec. user=mdettweiler [2012-01-26 18:15:44] 803*2^1002856-1 is not prime. Res64: 50CA4DF5A7AF7FF3 Time : 0.0 sec. user=mdettweiler [2012-01-26 18:15:45] 833*2^1002856-1 is not prime. Res64: 3DF2C58B770D159F Time : 0.0 sec. user=mdettweiler [2012-01-26 18:23:34] 759*2^1002852-1 is not prime. Res64: 0BBB44C8A241484A Time : 0.0 sec. user=mdettweiler [2012-01-26 18:23:35] 909*2^1002852-1 is not prime. Res64: 96D22CE8440BF451 Time : 0.0 sec. user=mdettweiler [2012-01-26 18:27:45] 857*2^1002856-1 is not prime. Res64: 9CC07B04BC794E11 Time : 0.0 sec. user=mdettweiler [2012-01-26 18:27:45] 923*2^1002856-1 is not prime. Res64: BBB4AEE86A660590 Time : 0.0 sec. user=mdettweiler [2012-01-26 18:28:06] 999*2^1002856-1 is not prime. Res64: 8D7652AAD3270997 Time : 0.0 sec. user=mdettweiler [2012-01-26 18:28:06] 669*2^1002857-1 is not prime. Res64: B1380C6DB59A0A8E Time : 0.0 sec. user=mdettweiler [2012-01-26 18:30:29] 741*2^1002857-1 is not prime. Res64: FB740610C6FEA4A6 Time : 0.0 sec. user=mdettweiler [2012-01-26 18:30:30] 747*2^1002857-1 is not prime. Res64: 9C1E6DFB05C74DF9 Time : 0.0 sec. user=mdettweiler [2012-01-26 18:32:08] 935*2^1002852-1 is not prime. Res64: 52FE4E086929DA50 Time : 0.0 sec. user=mdettweiler [2012-01-26 18:32:09] 609*2^1002853-1 is not prime. Res64: 8ABF7B24791A7FCD Time : 0.0 sec. user=mdettweiler [2012-01-26 18:35:34] 781*2^1002857-1 is not prime. Res64: DB48394EB37E6B9D Time : 0.0 sec. user=mdettweiler [2012-01-26 18:35:35] 831*2^1002857-1 is not prime. Res64: BFA442BFF9F7D7EF Time : 0.0 sec. user=mdettweiler [2012-01-26 18:48:01] 671*2^1002858-1 is not prime. Res64: 138F9E3CFC883ADE Time : 0.0 sec. user=mdettweiler [2012-01-26 18:48:02] 751*2^1002859-1 is not prime. Res64: 84F2600D7081E011 Time : 0.0 sec. user=mdettweiler [2012-01-26 18:49:55] 937*2^1002857-1 is not prime. Res64: ACA51F8C2DF1CBD4 Time : 0.0 sec. user=mdettweiler [2012-01-26 18:49:56] 635*2^1002858-1 is not prime. Res64: 74EB1DE4C6B5CAF4 Time : 0.0 sec. user=mdettweiler [2012-01-26 18:50:21] 841*2^1002859-1 is not prime. Res64: 25CAD8C538F1FAFE Time : 0.0 sec. user=mdettweiler [2012-01-26 18:50:22] 853*2^1002859-1 is not prime. Res64: B747AE7FD517E4EE Time : 0.0 sec. user=mdettweiler [2012-01-26 18:55:25] 603*2^1002860-1 is not prime. Res64: BFBF551EB531A235 Time : 0.0 sec. user=mdettweiler [2012-01-26 18:55:26] 699*2^1002860-1 is not prime. Res64: E22151A4222781D6 Time : 0.0 sec. user=mdettweiler [2012-01-26 19:08:03] 773*2^1002860-1 is not prime. Res64: A441D88F363B9F80 Time : 0.0 sec. user=mdettweiler [2012-01-26 19:08:05] 843*2^1002860-1 is not prime. Res64: A99A60ACBDF5F252 Time : 0.0 sec. user=mdettweiler [2012-01-26 19:12:12] 857*2^1002860-1 is not prime. Res64: B2EEE1AC21506E8D Time : 0.0 sec. user=mdettweiler [2012-01-26 19:12:13] 923*2^1002860-1 is not prime. Res64: 737F29DE266CA9CB Time : 0.0 sec. user=mdettweiler [2012-01-26 19:14:47] 927*2^1002860-1 is not prime. Res64: C14A486E3EFE4931 Time : 0.0 sec. user=mdettweiler [2012-01-26 19:14:47] 977*2^1002860-1 is not prime. Res64: 80423D1E1C258576 Time : 0.0 sec. user=mdettweiler [2012-01-26 19:19:47] 987*2^1002860-1 is not prime. Res64: DA715614459E78CB Time : 0.0 sec. user=mdettweiler [2012-01-26 19:19:48] 995*2^1002860-1 is not prime. Res64: 9CD1793D7F9E1D39 Time : 0.0 sec. user=mdettweiler [2012-01-26 19:27:59] 625*2^1002861-1 is not prime. Res64: EC092F0143BA21E2 Time : 0.0 sec. user=mdettweiler [2012-01-26 19:27:59] 657*2^1002861-1 is not prime. Res64: 7BB02D6341A41F7E Time : 0.0 sec. user=mdettweiler [2012-01-26 19:32:03] 747*2^1002861-1 is not prime. Res64: EDDB95E52F0AB280 Time : 0.0 sec. user=mdettweiler [2012-01-26 19:32:04] 837*2^1002861-1 is not prime. Res64: 433BDB6EAFD1CF13 Time : 0.0 sec. user=mdettweiler [2012-01-26 19:34:39] 849*2^1002861-1 is not prime. Res64: D11312B13474C33F Time : 0.0 sec. user=mdettweiler [2012-01-26 19:34:39] 865*2^1002861-1 is not prime. Res64: 61E03B906BDD3D72 Time : 0.0 sec. user=mdettweiler [2012-01-26 19:41:57] 885*2^1002861-1 is not prime. Res64: 9CE0E34B9F0F1073 Time : 0.0 sec. user=mdettweiler [2012-01-26 19:41:57] 937*2^1002861-1 is not prime. Res64: F36E576074838410 Time : 0.0 sec. user=mdettweiler [2012-01-26 19:52:18] 945*2^1002861-1 is not prime. Res64: 01C93322F134C1FC Time : 0.0 sec. user=mdettweiler [2012-01-26 19:52:19] 951*2^1002861-1 is not prime. Res64: D5F0DA1ADCBE23E8 Time : 0.0 sec. user=mdettweiler [2012-01-26 19:54:09] 969*2^1002861-1 is not prime. Res64: DDB3EC550CBE3EA2 Time : 0.0 sec. user=mdettweiler [2012-01-26 19:54:09] 651*2^1002862-1 is not prime. Res64: 6D3A34EB76B95579 Time : 0.0 sec. user=mdettweiler [2012-01-26 19:56:44] 983*2^1002862-1 is not prime. Res64: A9252B07F455F3F8 Time : 0.0 sec. user=mdettweiler [2012-01-26 19:56:44] 729*2^1002863-1 is not prime. Res64: C1FF73AB5D746842 Time : 0.0 sec. user=mdettweiler [2012-01-26 20:01:47] 763*2^1002863-1 is not prime. Res64: 61649F30D10A6B55 Time : 0.0 sec. user=mdettweiler [2012-01-26 20:01:49] 805*2^1002863-1 is not prime. Res64: 9010AEEFBBA929FF Time : 0.0 sec. user=mdettweiler [2012-01-26 20:13:57] 693*2^1002864-1 is not prime. Res64: 4D4A357473968E0D Time : 0.0 sec. user=mdettweiler [2012-01-26 20:13:59] 719*2^1002864-1 is not prime. Res64: 7BABCD0B95AF43E4 Time : 0.0 sec. user=mdettweiler [2012-01-26 20:14:18] 895*2^1002863-1 is not prime. Res64: 339C6DE880BFF232 Time : 0.0 sec. user=mdettweiler [2012-01-26 20:14:19] 991*2^1002863-1 is not prime. Res64: 5E077E6811B95F35 Time : 0.0 sec. user=mdettweiler [2012-01-26 20:16:33] 765*2^1002864-1 is not prime. Res64: 8A9CE16C83DC75BB Time : 0.0 sec. user=mdettweiler [2012-01-26 20:16:34] 905*2^1002864-1 is not prime. Res64: C5EFB547DEDF4B86 Time : 0.0 sec. user=mdettweiler [2012-01-26 20:21:33] 717*2^1002865-1 is not prime. Res64: 1DBD427A79161270 Time : 0.0 sec. user=mdettweiler [2012-01-26 20:21:33] 775*2^1002865-1 is not prime. Res64: 70E7914FED9F8DE7 Time : 0.0 sec. user=mdettweiler [2012-01-26 20:33:46] 699*2^1002867-1 is not prime. Res64: B1E7230449C75EB6 Time : 0.0 sec. user=mdettweiler [2012-01-26 20:33:47] 753*2^1002867-1 is not prime. Res64: 510F2EF941429269 Time : 0.0 sec. user=mdettweiler [2012-01-26 20:34:10] 873*2^1002867-1 is not prime. Res64: 46B005881FEEFA5F Time : 0.0 sec. user=mdettweiler [2012-01-26 20:34:11] 885*2^1002867-1 is not prime. Res64: EC3A2912426004F8 Time : 0.0 sec. user=mdettweiler [2012-01-26 20:36:22] 603*2^1002868-1 is not prime. Res64: 863CF9AECC8D1169 Time : 0.0 sec. user=mdettweiler [2012-01-26 20:36:23] 663*2^1002868-1 is not prime. Res64: 3B33DF25AC7977AA Time : 0.0 sec. user=mdettweiler [2012-01-26 20:41:13] 711*2^1002869-1 is not prime. Res64: 6B28A8133938B543 Time : 0.0 sec. user=mdettweiler [2012-01-26 20:41:13] 787*2^1002869-1 is not prime. Res64: BA39F3CC736E0FE6 Time : 0.0 sec. user=mdettweiler [2012-01-26 20:53:31] 801*2^1002869-1 is not prime. Res64: E35696BEA02681F6 Time : 0.0 sec. user=mdettweiler [2012-01-26 20:53:31] 829*2^1002869-1 is not prime. Res64: CD5387FEF977B19A Time : 0.0 sec. user=mdettweiler [2012-01-26 20:54:02] 855*2^1002869-1 is not prime. Res64: 0C57AA79A6E884FA Time : 0.0 sec. user=mdettweiler [2012-01-26 20:54:03] 861*2^1002869-1 is not prime. Res64: B00950E2AFD9C98C Time : 0.0 sec. user=mdettweiler [2012-01-26 20:56:11] 885*2^1002869-1 is not prime. Res64: 86933B1488995FCA Time : 0.0 sec. user=mdettweiler [2012-01-26 20:56:12] 897*2^1002869-1 is not prime. Res64: 9C678D30F0D31982 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:01:05] 641*2^1002870-1 is not prime. Res64: 29FDF713B9425593 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:01:06] 725*2^1002870-1 is not prime. Res64: 91533572C88381DF Time : 0.0 sec. user=mdettweiler [2012-01-26 21:13:18] 755*2^1002870-1 is not prime. Res64: 10DC3F732663A9AD Time : 0.0 sec. user=mdettweiler [2012-01-26 21:13:19] 843*2^1002870-1 is not prime. Res64: 861D5AEB609F0D78 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:13:49] 861*2^1002870-1 is not prime. Res64: 83F7078173EBC983 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:13:50] 619*2^1002871-1 is not prime. Res64: A9712A9CF4778C53 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:15:57] 625*2^1002871-1 is not prime. Res64: 34C5B77D89487226 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:15:58] 661*2^1002871-1 is not prime. Res64: 89083AD954A0FF57 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:20:54] 723*2^1002871-1 is not prime. Res64: 4CAB1C127E4C7359 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:20:55] 813*2^1002871-1 is not prime. Res64: E077805F19B3C677 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:33:08] 859*2^1002871-1 is not prime. Res64: 68FF4EDF51743BAE Time : 0.0 sec. user=mdettweiler [2012-01-26 21:33:09] 883*2^1002871-1 is not prime. Res64: 46E7C500C8729501 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:35:59] 885*2^1002871-1 is not prime. Res64: 687CAFD04B3A9566 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:36:00] 969*2^1002871-1 is not prime. Res64: 8C20EA880CF68099 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:40:21] 975*2^1002871-1 is not prime. Res64: C30EE6F8403609A7 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:40:21] 993*2^1002871-1 is not prime. Res64: E297C7702C1C2661 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:40:42] 603*2^1002872-1 is not prime. Res64: D73E88120E2CA46F Time : 0.0 sec. user=mdettweiler [2012-01-26 21:40:43] 717*2^1002872-1 is not prime. Res64: D1E53945B98B1423 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:53:02] 735*2^1002872-1 is not prime. Res64: 1536DEF7E35E8918 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:53:02] 815*2^1002872-1 is not prime. Res64: 006725BAB22D1550 Time : 0.0 sec. user=mdettweiler [2012-01-26 21:58:02] 999*2^1002872-1 is not prime. Res64: DFF3CA9413A35EAB Time : 0.0 sec. user=mdettweiler [2012-01-26 21:58:02] 657*2^1002873-1 is not prime. Res64: FAE5C1221A687BAD Time : 0.0 sec. user=mdettweiler [2012-01-26 22:00:13] 735*2^1002873-1 is not prime. Res64: 6D76600320C770D4 Time : 0.0 sec. user=mdettweiler [2012-01-26 22:00:14] 741*2^1002873-1 is not prime. Res64: B68B99D51A561624 Time : 0.0 sec. user=mdettweiler [2012-01-26 22:00:30] 745*2^1002873-1 is not prime. Res64: 48393E880BC26610 Time : 0.0 sec. user=mdettweiler [2012-01-26 22:00:31] 805*2^1002873-1 is not prime. Res64: C832B7D25C0FEBAF Time : 0.0 sec. user=mdettweiler [2012-01-26 22:12:47] 847*2^1002873-1 is not prime. Res64: 3C000B5D013EF154 Time : 0.0 sec. user=mdettweiler [2012-01-26 22:12:53] 605*2^1002874-1 is not prime. Res64: ED4C57345F3A877C Time : 0.0 sec. user=mdettweiler [2012-01-26 22:17:47] 651*2^1002874-1 is not prime. Res64: 73EBF9E997903053 Time : 0.0 sec. user=mdettweiler [2012-01-26 22:17:48] 681*2^1002874-1 is not prime. Res64: A5D3DC73F4E0E2E3 Time : 0.0 sec. user=mdettweiler [2012-01-26 22:20:00] 813*2^1002874-1 is not prime. Res64: 6B029800C5ADF4A0 Time : 0.0 sec. user=mdettweiler [2012-01-26 22:20:01] 885*2^1002874-1 is not prime. Res64: 5C9E7797096124FE Time : 0.0 sec. user=mdettweiler [2012-01-26 22:22:41] 905*2^1002874-1 is not prime. Res64: 9887D46F09E79081 Time : 0.0 sec. user=mdettweiler [2012-01-26 22:22:41] 945*2^1002874-1 is not prime. Res64: 7D74CD3D84ECB5AE Time : 0.0 sec. user=mdettweiler [2012-01-26 22:35:03] 1001*2^1002874-1 is not prime. Res64: C0DF0287972B5EEB Time : 0.0 sec. user=mdettweiler [2012-01-26 22:35:03] 739*2^1002875-1 is not prime. Res64: E9510D59EFF1EF8A Time : 0.0 sec. user=mdettweiler [2012-01-26 22:37:38] 789*2^1002875-1 is not prime. Res64: 7FC154BBD9B5FB8A Time : 0.0 sec. user=mdettweiler [2012-01-26 22:37:38] 871*2^1002875-1 is not prime. Res64: 0A64B1EC75E36916 Time : 0.0 sec. user=mdettweiler [2012-01-26 22:42:07] 909*2^1002875-1 is not prime. Res64: DA4008D088DDDD54 Time : 0.0 sec. user=mdettweiler [2012-01-26 22:42:07] 981*2^1002875-1 is not prime. Res64: 9A1DB52685032092 Time : 0.0 sec. user=mdettweiler [2012-01-26 22:44:44] 985*2^1002875-1 is not prime. Res64: 3C696E0FDC34C82D Time : 0.0 sec. user=mdettweiler [2012-01-26 22:44:45] 633*2^1002876-1 is not prime. Res64: E6E650271575F492 Time : 0.0 sec. user=mdettweiler [2012-01-26 22:54:50] 767*2^1002876-1 is not prime. Res64: 18815EE43499FE56 Time : 0.0 sec. user=mdettweiler [2012-01-26 22:54:51] 779*2^1002876-1 is not prime. Res64: 44F364209B748996 Time : 0.0 sec. user=mdettweiler [2012-01-26 22:59:44] 993*2^1002876-1 is not prime. Res64: CE5EDF42B4FE8A15 Time : 0.0 sec. user=mdettweiler [2012-01-26 22:59:44] 621*2^1002877-1 is not prime. Res64: 4C2EE92EB07527C9 Time : 0.0 sec. user=mdettweiler [2012-01-26 23:02:03] 675*2^1002877-1 is not prime. Res64: C48577C736470F31 Time : 0.0 sec. user=mdettweiler [2012-01-26 23:02:04] 717*2^1002877-1 is not prime. Res64: B2CBC46138DBDE2E Time : 0.0 sec. user=mdettweiler [2012-01-26 23:04:34] 741*2^1002877-1 is not prime. Res64: D2B410746A721BBE Time : 0.0 sec. user=mdettweiler [2012-01-26 23:04:35] 825*2^1002877-1 is not prime. Res64: 240FA4D9AC1431A7 Time : 0.0 sec. user=mdettweiler [2012-01-26 23:19:09] 915*2^1002877-1 is not prime. Res64: 01A7EF52A10C930C Time : 0.0 sec. user=mdettweiler [2012-01-26 23:19:09] 937*2^1002877-1 is not prime. Res64: 105D957ED94E0597 Time : 0.0 sec. user=mdettweiler [2012-01-26 23:21:48] 651*2^1002878-1 is not prime. Res64: A60AACCD4C6AC96E Time : 0.0 sec. user=mdettweiler [2012-01-26 23:21:48] 657*2^1002878-1 is not prime. Res64: 30AA15D2EA330B4E Time : 0.0 sec. user=mdettweiler [2012-01-26 23:21:50] 955*2^1002877-1 is not prime. Res64: 15398D647AB96580 Time : 0.0 sec. user=mdettweiler [2012-01-26 23:21:51] 635*2^1002878-1 is not prime. Res64: FDBE71D2F9C3EE46 Time : 0.0 sec. user=mdettweiler [2012-01-26 23:24:26] 861*2^1002878-1 is not prime. Res64: 6A94279BA5DFF4DB Time : 0.0 sec. user=mdettweiler [2012-01-26 23:24:26] 893*2^1002878-1 is not prime. Res64: C45F239332EA2929 Time : 0.0 sec. user=mdettweiler [2012-01-26 23:41:18] 953*2^1002878-1 is not prime. Res64: B77164D81AD2C109 Time : 0.0 sec. user=mdettweiler [2012-01-26 23:41:19] 669*2^1002879-1 is not prime. Res64: E54A11FA759CD747 Time : 0.0 sec. user=mdettweiler [2012-01-26 23:41:41] 703*2^1002879-1 is not prime. Res64: 989452F3CB8E1418 Time : 0.0 sec. user=mdettweiler [2012-01-26 23:41:42] 769*2^1002879-1 is not prime. Res64: 1624742BC8D8E491 Time : 0.0 sec. user=mdettweiler [2012-01-26 23:41:48] 789*2^1002879-1 is not prime. Res64: EB29F8DBD6B90CD3 Time : 0.0 sec. user=mdettweiler [2012-01-26 23:41:48] 793*2^1002879-1 is not prime. Res64: C57FF543CF650118 Time : 0.0 sec. user=mdettweiler [2012-01-26 23:46:41] 891*2^1002879-1 is not prime. Res64: 6814E9188C4193CE Time : 0.0 sec. user=mdettweiler [2012-01-26 23:46:42] 913*2^1002879-1 is not prime. Res64: B8B3767DE92691F7 Time : 0.0 sec.