user=mdettweiler [2009-06-12 10:47:44] 339*2^320295-1 is not prime. Res64: 1CBFED9252BB34FA Time : 0.0 sec. user=mdettweiler [2009-06-12 10:47:44] 345*2^320295-1 is not prime. Res64: BA0FDE7313BFB11D Time : 0.0 sec. user=mdettweiler [2009-06-12 10:47:44] 349*2^320293-1 is not prime. Res64: C49C66FB4030203B Time : 0.0 sec. user=mdettweiler [2009-06-12 10:47:44] 353*2^320292-1 is not prime. Res64: 0963CC9CB6FE0A65 Time : 0.0 sec. user=mdettweiler [2009-06-12 10:47:44] 377*2^320294-1 is not prime. Res64: 9EA65C8AF21B7A29 Time : 0.0 sec. user=mdettweiler [2009-06-12 10:47:44] 389*2^320292-1 is not prime. Res64: 98EF6118C2A2F63E Time : 0.0 sec. user=mdettweiler [2009-06-12 10:47:44] 393*2^320294-1 is not prime. Res64: FB4731305D7E23BE Time : 0.0 sec. user=mdettweiler [2009-06-12 10:47:44] 357*2^320297-1 is not prime. Res64: 36CFB5053C52B878 Time : 0.0 sec. user=mdettweiler [2009-06-12 10:47:44] 391*2^320297-1 is not prime. Res64: CCDBC1F533BC1A49 Time : 0.0 sec. user=mdettweiler [2009-06-12 10:47:44] 395*2^320298-1 is not prime. Res64: 0DCFAB1841ACF1B4 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:09:17] 315*2^320299-1 is not prime. Res64: BE71601C02BE921E Time : 0.0 sec. user=mdettweiler [2009-06-12 11:09:17] 315*2^320301-1 is not prime. Res64: CB81DECA094C7F30 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:09:17] 321*2^320301-1 is not prime. Res64: 8399E35AED063CAD Time : 0.0 sec. user=mdettweiler [2009-06-12 11:09:17] 347*2^320300-1 is not prime. Res64: 1462463CBDAF5E48 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:09:17] 363*2^320300-1 is not prime. Res64: 72BA8CE230BC3E80 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:09:17] 373*2^320299-1 is not prime. Res64: 58126AA51046457A Time : 0.0 sec. user=mdettweiler [2009-06-12 11:09:17] 377*2^320300-1 is not prime. Res64: D2546F48AAC81347 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:09:17] 385*2^320299-1 is not prime. Res64: DFF7A6C524B5BC07 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:09:17] 391*2^320299-1 is not prime. Res64: A3653E0C598BFBC3 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:09:17] 303*2^320304-1 is not prime. Res64: 72259C3D9CEB0EA6 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:30:50] 327*2^320304-1 is not prime. Res64: 92E9D5319131F27F Time : 0.0 sec. user=mdettweiler [2009-06-12 11:30:50] 329*2^320304-1 is not prime. Res64: 04BB3F6E55252768 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:30:50] 333*2^320304-1 is not prime. Res64: 729E352132D5839C Time : 0.0 sec. user=mdettweiler [2009-06-12 11:30:50] 365*2^320302-1 is not prime. Res64: 2C7433D13B3CB3E7 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:30:50] 367*2^320305-1 is not prime. Res64: 46996B2298223CC9 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:30:50] 305*2^320306-1 is not prime. Res64: 908DBDFBE5CCEBF7 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:30:50] 315*2^320306-1 is not prime. Res64: 85D3E772F1B5D376 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:30:50] 321*2^320306-1 is not prime. Res64: F82B88453E6D7120 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:30:50] 309*2^320309-1 is not prime. Res64: 796D5611430F360D Time : 0.0 sec. user=mdettweiler [2009-06-12 11:30:50] 321*2^320310-1 is not prime. Res64: C8CEE1FFE6230CA2 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:52:23] 333*2^320310-1 is not prime. Res64: 0A6274963F4092A1 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:52:23] 339*2^320309-1 is not prime. Res64: 03383BBF044D46F7 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:52:23] 347*2^320310-1 is not prime. Res64: 7FF321BA8C9352E1 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:52:23] 349*2^320311-1 is not prime. Res64: FC663F4DB0087BE9 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:52:23] 387*2^320310-1 is not prime. Res64: F09243CE64DB9870 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:52:23] 327*2^320314-1 is not prime. Res64: 37CB053DC1EDBB5D Time : 0.0 sec. user=mdettweiler [2009-06-12 11:52:23] 329*2^320312-1 is not prime. Res64: 64966B52144258EE Time : 0.0 sec. user=mdettweiler [2009-06-12 11:52:23] 357*2^320312-1 is not prime. Res64: ACC88CEF6E491791 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:52:23] 357*2^320313-1 is not prime. Res64: C83FF9F27E5141A5 Time : 0.0 sec. user=mdettweiler [2009-06-12 11:52:23] 393*2^320314-1 is not prime. Res64: 58FE5BCFFB218A6D Time : 0.0 sec. user=mdettweiler [2009-06-12 12:14:02] 399*2^320313-1 is not prime. Res64: 80710B605006C49D Time : 0.0 sec. user=mdettweiler [2009-06-12 12:14:02] 351*2^320317-1 is not prime. Res64: BE92D0834FC68795 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:14:02] 345*2^320319-1 is not prime. Res64: 8E7F9848C51DA0AA Time : 0.0 sec. user=mdettweiler [2009-06-12 12:14:02] 363*2^320320-1 is not prime. Res64: BDE705E8F091A00B Time : 0.0 sec. user=mdettweiler [2009-06-12 12:14:02] 377*2^320320-1 is not prime. Res64: E44F1777DF0DC016 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:14:02] 321*2^320322-1 is not prime. Res64: 3442CDD4F7FDA7E0 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:14:02] 323*2^320324-1 is not prime. Res64: E25840386B0D2D39 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:14:02] 327*2^320322-1 is not prime. Res64: 85759B8B6A91382F Time : 0.0 sec. user=mdettweiler [2009-06-12 12:14:02] 327*2^320325-1 is not prime. Res64: 4791242BC529AEB0 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:14:02] 383*2^320322-1 is not prime. Res64: 67617DFE5074DCB8 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:35:35] 303*2^320328-1 is not prime. Res64: DE965A2269E6D5D5 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:35:35] 321*2^320326-1 is not prime. Res64: AB3C47D26C876A12 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:35:35] 351*2^320326-1 is not prime. Res64: BB0E91CD36D851A3 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:35:35] 363*2^320328-1 is not prime. Res64: AFE6B0D45F4FC6A9 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:35:35] 377*2^320328-1 is not prime. Res64: 772CF6CE6550F00C Time : 0.0 sec. user=mdettweiler [2009-06-12 12:35:35] 381*2^320327-1 is not prime. Res64: 667EC7E4D1AB8846 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:35:35] 387*2^320326-1 is not prime. Res64: 0CA5CD53B8A20E14 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:35:35] 301*2^320331-1 is not prime. Res64: 1D61181777B3EA53 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:35:35] 395*2^320330-1 is not prime. Res64: 04155D6FD070FDE6 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:35:35] 313*2^320331-1 is not prime. Res64: BF6B1A1932AFC64E Time : 0.0 sec. user=mdettweiler [2009-06-12 12:57:09] 303*2^320335-1 is not prime. Res64: 7FACA10038C4C53B Time : 0.0 sec. user=mdettweiler [2009-06-12 12:57:09] 321*2^320335-1 is not prime. Res64: D0BABBF013E98141 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:57:09] 311*2^320338-1 is not prime. Res64: A64EFE333929B4D4 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:57:09] 329*2^320336-1 is not prime. Res64: 344D3B7FCD3CB29B Time : 0.0 sec. user=mdettweiler [2009-06-12 12:57:09] 357*2^320337-1 is not prime. Res64: DF51ACB7C4868F62 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:57:09] 363*2^320338-1 is not prime. Res64: 124496B9D5B1949E Time : 0.0 sec. user=mdettweiler [2009-06-12 12:57:09] 395*2^320338-1 is not prime. Res64: 0CF47CBE6BDB398E Time : 0.0 sec. user=mdettweiler [2009-06-12 12:57:09] 319*2^320337-1 is not prime. Res64: 15B48BB8C67FF6E3 Time : 0.0 sec. user=mdettweiler [2009-06-12 12:57:09] 315*2^320340-1 is not prime. Res64: 8122D1A5D0195D0D Time : 0.0 sec. user=mdettweiler [2009-06-12 12:57:09] 325*2^320339-1 is not prime. Res64: E1FB48C07CA871D6 Time : 0.0 sec. user=mdettweiler [2009-06-12 13:18:42] 377*2^320340-1 is not prime. Res64: 1204E287BB428356 Time : 0.0 sec. user=mdettweiler [2009-06-12 13:18:42] 379*2^320341-1 is not prime. Res64: D64E5AF6C9B86850 Time : 0.0 sec. user=mdettweiler [2009-06-12 13:18:42] 385*2^320341-1 is not prime. Res64: 24B254976D5D2EB8 Time : 0.0 sec. user=mdettweiler [2009-06-12 13:18:42] 389*2^320340-1 is not prime. Res64: 15262FB853FC8DD8 Time : 0.0 sec. user=mdettweiler [2009-06-12 13:18:42] 399*2^320340-1 is not prime. Res64: 5E9F7B90A245EF2C Time : 0.0 sec. user=mdettweiler [2009-06-12 13:18:42] 303*2^320343-1 is not prime. Res64: 5D4DFFCB1A74D2F0 Time : 0.0 sec. user=mdettweiler [2009-06-12 13:18:42] 315*2^320342-1 is not prime. Res64: 28FF5B9254AF6553 Time : 0.0 sec. user=mdettweiler [2009-06-12 13:18:42] 339*2^320345-1 is not prime. Res64: 833BD63685E53A23 Time : 0.0 sec. user=mdettweiler [2009-06-12 13:18:42] 319*2^320345-1 is not prime. Res64: E31DF6F2B21B50D5 Time : 0.0 sec. user=mdettweiler [2009-06-12 13:18:42] 327*2^320346-1 is not prime. Res64: 6A613F43EA838560 Time : 0.0 sec. user=mdettweiler [2009-06-12 13:40:15] 345*2^320347-1 is not prime. Res64: 79041A30FB70E952 Time : 0.0 sec. user=mdettweiler [2009-06-12 13:40:15] 355*2^320345-1 is not prime. Res64: C5317390949E8F0E Time : 0.0 sec. user=mdettweiler [2009-06-12 13:40:15] 369*2^320347-1 is not prime. Res64: 9C5FBB941319D400 Time : 0.0 sec. user=mdettweiler [2009-06-12 13:40:15] 369*2^320348-1 is not prime. Res64: 155A3206DDE1C217 Time : 0.0 sec. user=mdettweiler [2009-06-12 13:40:15] 379*2^320345-1 is not prime. Res64: D5C255755A0E7E12 Time : 0.0 sec. user=mdettweiler [2009-06-12 13:40:15] 313*2^320347-1 is not prime. Res64: DEBAD38C82803544 Time : 0.0 sec. user=mdettweiler [2009-06-12 13:40:15] 323*2^320350-1 is not prime. Res64: 733E922883BDC73F Time : 0.0 sec. user=mdettweiler [2009-06-12 13:40:15] 327*2^320349-1 is not prime. Res64: 89260F59BB235253 Time : 0.0 sec. user=mdettweiler [2009-06-12 13:40:15] 351*2^320351-1 is not prime. Res64: 24ECB5EC9B42177B Time : 0.0 sec. user=mdettweiler [2009-06-12 13:40:15] 355*2^320351-1 is not prime. Res64: B53397A355284F85 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:01:49] 357*2^320349-1 is not prime. Res64: 26B7F64878260271 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:01:49] 397*2^320349-1 is not prime. Res64: 9F086143C4A3937B Time : 0.0 sec. user=mdettweiler [2009-06-12 14:01:49] 383*2^320350-1 is not prime. Res64: D8A0A1DE4000B271 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:01:49] 305*2^320354-1 is not prime. Res64: 8A3F7E6AD61B3C35 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:01:49] 307*2^320353-1 is not prime. Res64: 40F2E14890EB1E3B Time : 0.0 sec. user=mdettweiler [2009-06-12 14:01:49] 321*2^320353-1 is not prime. Res64: 7ADCC0D986075AB6 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:01:49] 369*2^320352-1 is not prime. Res64: C3B9805BE5531C02 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:01:49] 371*2^320354-1 is not prime. Res64: E8A71328E1FAD17C Time : 0.0 sec. user=mdettweiler [2009-06-12 14:01:49] 325*2^320357-1 is not prime. Res64: 7A60AEB967E31634 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:01:49] 327*2^320356-1 is not prime. Res64: DE795E4CB846ED0E Time : 0.0 sec. user=mdettweiler [2009-06-12 14:23:27] 333*2^320358-1 is not prime. Res64: 123B9BA82D135978 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:23:27] 335*2^320358-1 is not prime. Res64: 89E14DADC3D2D810 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:23:27] 341*2^320358-1 is not prime. Res64: 3627C42D58F629C8 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:23:27] 353*2^320356-1 is not prime. Res64: 35CE586B30A33A89 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:23:27] 363*2^320355-1 is not prime. Res64: 1363BBB88FE179DA Time : 0.0 sec. user=mdettweiler [2009-06-12 14:23:27] 363*2^320356-1 is not prime. Res64: 3B3F3813EF434E7D Time : 0.0 sec. user=mdettweiler [2009-06-12 14:23:27] 367*2^320357-1 is not prime. Res64: 8EA1A36ED3928A05 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:23:27] 369*2^320356-1 is not prime. Res64: ED53D82BB296701C Time : 0.0 sec. user=mdettweiler [2009-06-12 14:23:27] 377*2^320358-1 is not prime. Res64: CC398CE16E6F6C0D Time : 0.0 sec. user=mdettweiler [2009-06-12 14:23:27] 391*2^320357-1 is not prime. Res64: 7B418EB322074294 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:45:21] 395*2^320356-1 is not prime. Res64: 98A8A32B683B7F74 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:45:21] 383*2^320356-1 is not prime. Res64: FEF027D6FEA82B9F Time : 0.0 sec. user=mdettweiler [2009-06-12 14:45:21] 327*2^320361-1 is not prime. Res64: A7F8AE8585E5059E Time : 0.0 sec. user=mdettweiler [2009-06-12 14:45:21] 357*2^320360-1 is not prime. Res64: DCD79EBDB8DB3F16 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:45:21] 399*2^320360-1 is not prime. Res64: 233DA1683D493DDD Time : 0.0 sec. user=mdettweiler [2009-06-12 14:45:21] 319*2^320361-1 is not prime. Res64: 6ECC56AE3EF62DBB Time : 0.0 sec. user=mdettweiler [2009-06-12 14:45:21] 315*2^320364-1 is not prime. Res64: EC82607759ABA7F9 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:45:21] 317*2^320362-1 is not prime. Res64: FF566B9D8D3BDED9 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:45:21] 357*2^320362-1 is not prime. Res64: 67CD478FE23A5764 Time : 0.0 sec. user=mdettweiler [2009-06-12 14:45:21] 383*2^320362-1 is not prime. Res64: CB8FB178AC0CFA6C Time : 0.0 sec. user=mdettweiler [2009-06-12 16:09:40] 303*2^320367-1 is not prime. Res64: FC2C3E3EAA41A50E Time : 0.0 sec. user=mdettweiler [2009-06-12 16:09:40] 315*2^320366-1 is not prime. Res64: AB88941E0A89D1E1 Time : 0.0 sec. user=mdettweiler [2009-06-12 16:09:40] 315*2^320368-1 is not prime. Res64: 2570FA558CAF8AC9 Time : 0.0 sec. user=mdettweiler [2009-06-12 16:09:40] 321*2^320366-1 is not prime. Res64: 68B3BBCC2DA00B09 Time : 0.0 sec. user=mdettweiler [2009-06-12 16:09:40] 331*2^320367-1 is not prime. Res64: 2E153E931BD17D49 Time : 0.0 sec. user=mdettweiler [2009-06-12 16:09:40] 333*2^320367-1 is not prime. Res64: A3D69E23087C2AF7 Time : 0.0 sec. user=mdettweiler [2009-06-12 16:09:40] 381*2^320365-1 is not prime. Res64: 98C9F3F89ECAB36C Time : 0.0 sec. user=mdettweiler [2009-06-12 16:09:40] 381*2^320366-1 is not prime. Res64: 6FFB07BF64E09277 Time : 0.0 sec. user=mdettweiler [2009-06-12 16:09:40] 381*2^320367-1 is not prime. Res64: AD8A0919351D94E4 Time : 0.0 sec. user=mdettweiler [2009-06-12 16:09:40] 391*2^320365-1 is not prime. Res64: 2ADA86D7206BB1D1 Time : 0.0 sec.