user=vaughan [2013-03-31 00:06:17] 929*2^1243632-1 is not prime. Res64: 249CC861EC078ED2 Time : 0.0 sec. user=mdettweiler [2013-03-31 00:11:51] 801*2^1243633-1 is not prime. Res64: 5160AD49B903D7D6 Time : 0.0 sec. user=mdettweiler [2013-03-31 00:11:53] 937*2^1243633-1 is not prime. Res64: 918BF88CC5452FBC Time : 0.0 sec. user=mdettweiler [2013-03-31 00:12:03] 701*2^1243634-1 is not prime. Res64: 09395BB61504C83D Time : 0.0 sec. user=mdettweiler [2013-03-31 00:12:04] 741*2^1243634-1 is not prime. Res64: 0A699E0097CDB08A Time : 0.0 sec. user=juhehe [2013-03-31 00:16:51] 719*2^1243632-1 is not prime. Res64: E43D2D1C07E8550C Time : 0.0 sec. user=mdettweiler [2013-03-31 00:29:44] 923*2^1243634-1 is not prime. Res64: 8278C640CEF5C551 Time : 0.0 sec. user=mdettweiler [2013-03-31 00:29:45] 953*2^1243634-1 is not prime. Res64: 2DA15DA09F712021 Time : 0.0 sec. user=mdettweiler [2013-03-31 00:29:54] 993*2^1243634-1 is not prime. Res64: AA4BFB8309D0B39D Time : 0.0 sec. user=mdettweiler [2013-03-31 00:29:54] 1001*2^1243634-1 is not prime. Res64: 88D22A13BF35ABBC Time : 0.0 sec. user=vaughan [2013-03-31 00:44:39] 755*2^1243634-1 is not prime. Res64: 00055CFAD90C7DA5 Time : 0.0 sec. user=mdettweiler [2013-03-31 00:47:23] 643*2^1243635-1 is not prime. Res64: 67BCE96AFC94404D Time : 0.0 sec. user=mdettweiler [2013-03-31 00:47:23] 649*2^1243635-1 is not prime. Res64: BBD9BAC45E5D0E4E Time : 0.0 sec. user=mdettweiler [2013-03-31 00:47:24] 741*2^1243635-1 is not prime. Res64: 07A4148A63DFC602 Time : 0.0 sec. user=mdettweiler [2013-03-31 00:47:24] 775*2^1243635-1 is not prime. Res64: 51EDCAB9199D8601 Time : 0.0 sec. user=juhehe [2013-03-31 00:47:35] 959*2^1243632-1 is not prime. Res64: E296A6BD3DCCC0FA Time : 0.0 sec. user=mdettweiler [2013-03-31 01:04:48] 849*2^1243635-1 is not prime. Res64: 0191C3B98CA63874 Time : 0.0 sec. user=mdettweiler [2013-03-31 01:04:49] 979*2^1243635-1 is not prime. Res64: C8E089B0A7E86BE4 Time : 0.0 sec. user=mdettweiler [2013-03-31 01:04:51] 647*2^1243636-1 is not prime. Res64: 1E54514C14AF6B29 Time : 0.0 sec. user=mdettweiler [2013-03-31 01:04:52] 825*2^1243636-1 is not prime. Res64: 30220B420723015C Time : 0.0 sec. user=juhehe [2013-03-31 01:16:56] 869*2^1243636-1 is not prime. Res64: 5D06A92EDB651086 Time : 0.0 sec. user=mdettweiler [2013-03-31 01:22:17] 903*2^1243636-1 is not prime. Res64: 1C2F59FA252B2DCE Time : 0.0 sec. user=mdettweiler [2013-03-31 01:22:17] 909*2^1243636-1 is not prime. Res64: C6300B79323BE045 Time : 0.0 sec. user=mdettweiler [2013-03-31 01:22:19] 619*2^1243637-1 is not prime. Res64: FD03768FCBD18E01 Time : 0.0 sec. user=mdettweiler [2013-03-31 01:22:19] 735*2^1243637-1 is not prime. Res64: 321741BD703C854F Time : 0.0 sec. user=vaughan [2013-03-31 01:22:56] 789*2^1243635-1 is not prime. Res64: 496F709A0033051D Time : 0.0 sec. user=mdettweiler [2013-03-31 01:39:43] 867*2^1243638-1 is not prime. Res64: 86F1C451E7C0F11C Time : 0.0 sec. user=mdettweiler [2013-03-31 01:39:43] 945*2^1243638-1 is not prime. Res64: FE78AD286F389B5C Time : 0.0 sec. user=mdettweiler [2013-03-31 01:39:45] 971*2^1243638-1 is not prime. Res64: 3CB7E2A17242C18A Time : 0.0 sec. user=mdettweiler [2013-03-31 01:39:46] 977*2^1243638-1 is not prime. Res64: 33E816606BB9BD60 Time : 0.0 sec. user=mdettweiler [2013-03-31 01:57:10] 649*2^1243639-1 is not prime. Res64: C9C0849A14D6C54B Time : 0.0 sec. user=mdettweiler [2013-03-31 01:57:10] 705*2^1243639-1 is not prime. Res64: 7BB0E0262DE12F91 Time : 0.0 sec. user=mdettweiler [2013-03-31 01:57:11] 723*2^1243639-1 is not prime. Res64: 05AFADDE83DC510D Time : 0.0 sec. user=mdettweiler [2013-03-31 01:57:12] 775*2^1243639-1 is not prime. Res64: 581BF85A36F38818 Time : 0.0 sec. user=vaughan [2013-03-31 02:01:10] 645*2^1243639-1 is not prime. Res64: A039854781F3CB2E Time : 0.0 sec. user=mdettweiler [2013-03-31 02:14:36] 861*2^1243639-1 is not prime. Res64: FEB40B1CF7A5FB83 Time : 0.0 sec. user=mdettweiler [2013-03-31 02:14:37] 883*2^1243639-1 is not prime. Res64: 3D08241531401DD4 Time : 0.0 sec. user=mdettweiler [2013-03-31 02:14:38] 933*2^1243639-1 is not prime. Res64: B6F331BC7D07C542 Time : 0.0 sec. user=mdettweiler [2013-03-31 02:14:38] 969*2^1243639-1 is not prime. Res64: 74508A477B0E3D36 Time : 0.0 sec. user=mdettweiler [2013-03-31 02:32:07] 999*2^1243639-1 is not prime. Res64: DF3AE52573033164 Time : 0.0 sec. user=mdettweiler [2013-03-31 02:32:08] 663*2^1243640-1 is not prime. Res64: B79194560106074C Time : 0.0 sec. user=mdettweiler [2013-03-31 02:32:09] 603*2^1243640-1 is not prime. Res64: 8A422C9B06703345 Time : 0.0 sec. user=mdettweiler [2013-03-31 02:32:10] 665*2^1243640-1 is not prime. Res64: 23002BE8BCC789CE Time : 0.0 sec. user=vaughan [2013-03-31 02:44:32] 975*2^1243639-1 is not prime. Res64: 2E28FFA5B022134C Time : 0.0 sec. user=mdettweiler [2013-03-31 02:50:08] 915*2^1243640-1 is not prime. Res64: 814E55656B07800A Time : 0.0 sec. user=mdettweiler [2013-03-31 02:50:09] 637*2^1243641-1 is not prime. Res64: 62BEE60D4E780B5E Time : 0.0 sec. user=mdettweiler [2013-03-31 02:50:10] 681*2^1243641-1 is not prime. Res64: 89B0FBEC10963398 Time : 0.0 sec. user=mdettweiler [2013-03-31 02:50:10] 691*2^1243641-1 is not prime. Res64: 17F339702DD380F2 Time : 0.0 sec. user=mdettweiler [2013-03-31 03:07:34] 807*2^1243641-1 is not prime. Res64: 39595F5CE9ABDC77 Time : 0.0 sec. user=mdettweiler [2013-03-31 03:07:35] 955*2^1243641-1 is not prime. Res64: 0013922EA317B4E1 Time : 0.0 sec. user=mdettweiler [2013-03-31 03:07:35] 889*2^1243641-1 is not prime. Res64: 49C62DE527467269 Time : 0.0 sec. user=mdettweiler [2013-03-31 03:07:36] 645*2^1243642-1 is not prime. Res64: B0BBD60E3336058D Time : 0.0 sec. user=vaughan [2013-03-31 03:23:04] 735*2^1243641-1 is not prime. Res64: C16FDC77953FE7C4 Time : 0.0 sec. user=mdettweiler [2013-03-31 03:25:07] 695*2^1243642-1 is not prime. Res64: 6300BEB5BB4B9F80 Time : 0.0 sec. user=mdettweiler [2013-03-31 03:25:08] 723*2^1243642-1 is not prime. Res64: C40C3CB85CD04DD1 Time : 0.0 sec. user=mdettweiler [2013-03-31 03:25:08] 791*2^1243642-1 is not prime. Res64: 3BFE659D7E5005B5 Time : 0.0 sec. user=mdettweiler [2013-03-31 03:25:09] 885*2^1243642-1 is not prime. Res64: 4C6C988207725FED Time : 0.0 sec. user=mdettweiler [2013-03-31 03:42:35] 643*2^1243643-1 is not prime. Res64: AFCF226428653145 Time : 0.0 sec. user=mdettweiler [2013-03-31 03:42:36] 669*2^1243643-1 is not prime. Res64: 51F5F28597A343DA Time : 0.0 sec. user=mdettweiler [2013-03-31 03:42:36] 705*2^1243643-1 is not prime. Res64: D5EC3258B06CAD52 Time : 0.0 sec. user=mdettweiler [2013-03-31 03:42:36] 853*2^1243643-1 is not prime. Res64: F3169B18666D1A0F Time : 0.0 sec. user=mdettweiler [2013-03-31 04:00:06] 871*2^1243643-1 is not prime. Res64: 3F7C3EE5E7C88E93 Time : 0.0 sec. user=mdettweiler [2013-03-31 04:00:07] 969*2^1243643-1 is not prime. Res64: C419C6B5B80773E8 Time : 0.0 sec. user=mdettweiler [2013-03-31 04:00:08] 999*2^1243643-1 is not prime. Res64: 8D572A8A03463E92 Time : 0.0 sec. user=mdettweiler [2013-03-31 04:00:09] 693*2^1243644-1 is not prime. Res64: 0BE1800951429923 Time : 0.0 sec. user=vaughan [2013-03-31 04:06:25] 983*2^1243642-1 is not prime. Res64: D325CE52784ACE0D Time : 0.0 sec. user=mdettweiler [2013-03-31 04:17:58] 909*2^1243644-1 is not prime. Res64: CE1F621C4BABAB21 Time : 0.0 sec. user=mdettweiler [2013-03-31 04:17:58] 721*2^1243645-1 is not prime. Res64: 43E61F1AA2A73E71 Time : 0.0 sec. user=mdettweiler [2013-03-31 04:18:04] 707*2^1243644-1 is not prime. Res64: 3025D882C77D7E3F Time : 0.0 sec. user=mdettweiler [2013-03-31 04:18:04] 737*2^1243644-1 is not prime. Res64: BDEDABDDD20DB83C Time : 0.0 sec. user=mdettweiler [2013-03-31 04:35:30] 771*2^1243645-1 is not prime. Res64: FE21269E6A385C36 Time : 0.0 sec. user=mdettweiler [2013-03-31 04:35:31] 789*2^1243645-1 is not prime. Res64: E2EC7C211E5C89E7 Time : 0.0 sec. user=mdettweiler [2013-03-31 04:35:31] 819*2^1243645-1 is not prime. Res64: CC3FDF8D33BC08A2 Time : 0.0 sec. user=mdettweiler [2013-03-31 04:35:31] 951*2^1243645-1 is not prime. Res64: 2DB7D7F7CFE0456C Time : 0.0 sec. user=vaughan [2013-03-31 04:44:42] 759*2^1243645-1 is not prime. Res64: 3DCC9DA709FDE200 Time : 0.0 sec. user=mdettweiler [2013-03-31 04:53:09] 657*2^1243646-1 is not prime. Res64: 3A6268071D3D4E59 Time : 0.0 sec. user=mdettweiler [2013-03-31 04:53:09] 627*2^1243646-1 is not prime. Res64: E488799D3127151B Time : 0.0 sec. user=mdettweiler [2013-03-31 04:53:10] 773*2^1243646-1 is not prime. Res64: B1A38BAC61FB4D09 Time : 0.0 sec. user=mdettweiler [2013-03-31 04:53:10] 911*2^1243646-1 is not prime. Res64: 2A93B6847A623C10 Time : 0.0 sec. user=mdettweiler [2013-03-31 05:10:38] 639*2^1243647-1 is not prime. Res64: 60CF94FD0DFD8798 Time : 0.0 sec. user=mdettweiler [2013-03-31 05:10:40] 735*2^1243647-1 is not prime. Res64: FDFC019B492E2570 Time : 0.0 sec. user=mdettweiler [2013-03-31 05:10:41] 741*2^1243647-1 is not prime. Res64: B815498954111DBD Time : 0.0 sec. user=mdettweiler [2013-03-31 05:10:42] 645*2^1243648-1 is not prime. Res64: BB0BD55186D9100B Time : 0.0 sec. user=vaughan [2013-03-31 05:22:57] 601*2^1243647-1 is not prime. Res64: 55D0E2A99AC56A13 Time : 0.0 sec. user=mdettweiler [2013-03-31 05:28:13] 695*2^1243648-1 is not prime. Res64: 66ECD053D39A82FA Time : 0.0 sec. user=mdettweiler [2013-03-31 05:28:14] 843*2^1243648-1 is not prime. Res64: FB9DFA97307BEE9D Time : 0.0 sec. user=mdettweiler [2013-03-31 05:28:17] 875*2^1243648-1 is not prime. Res64: 643823D5EE16A521 Time : 0.0 sec. user=mdettweiler [2013-03-31 05:28:18] 993*2^1243648-1 is not prime. Res64: D1A4A078E818F603 Time : 0.0 sec. user=mdettweiler [2013-03-31 05:45:39] 685*2^1243649-1 is not prime. Res64: 03A941DB938E8D62 Time : 0.0 sec. user=mdettweiler [2013-03-31 05:45:40] 727*2^1243649-1 is not prime. Res64: D9815E021F99CD2B Time : 0.0 sec. user=mdettweiler [2013-03-31 05:45:43] 799*2^1243649-1 is not prime. Res64: 1018CFE8EA58F3C0 Time : 0.0 sec. user=mdettweiler [2013-03-31 05:45:44] 801*2^1243649-1 is not prime. Res64: 858381EFC8823569 Time : 0.0 sec. user=vaughan [2013-03-31 06:01:13] 615*2^1243649-1 is not prime. Res64: 91995E4DDF5D03D0 Time : 0.0 sec. user=mdettweiler [2013-03-31 06:03:05] 855*2^1243649-1 is not prime. Res64: 8268561865E55A4F Time : 0.0 sec. user=mdettweiler [2013-03-31 06:03:07] 867*2^1243649-1 is not prime. Res64: C3ABB375C9976020 Time : 0.0 sec. user=mdettweiler [2013-03-31 06:03:09] 909*2^1243649-1 is not prime. Res64: 9A5236FE87D912D3 Time : 0.0 sec. user=mdettweiler [2013-03-31 06:03:09] 985*2^1243649-1 is not prime. Res64: 03A8D245B270CB43 Time : 0.0 sec. user=mdettweiler [2013-03-31 06:20:37] 677*2^1243650-1 is not prime. Res64: 0878778F2C567381 Time : 0.0 sec. user=mdettweiler [2013-03-31 06:20:37] 755*2^1243650-1 is not prime. Res64: 22275DF79CE7DC24 Time : 0.0 sec. user=mdettweiler [2013-03-31 06:20:47] 765*2^1243650-1 is not prime. Res64: 35DC4870FD84A14E Time : 0.0 sec. user=mdettweiler [2013-03-31 06:20:48] 821*2^1243650-1 is not prime. Res64: 693E5B36BD2D1370 Time : 0.0 sec. user=mdettweiler [2013-03-31 06:38:03] 861*2^1243650-1 is not prime. Res64: 3C53E867EF2945E3 Time : 0.0 sec. user=mdettweiler [2013-03-31 06:38:04] 927*2^1243650-1 is not prime. Res64: 96FEE76A2786D7A0 Time : 0.0 sec. user=mdettweiler [2013-03-31 06:38:14] 951*2^1243650-1 is not prime. Res64: CE2320F376827D71 Time : 0.0 sec. user=mdettweiler [2013-03-31 06:38:14] 977*2^1243650-1 is not prime. Res64: 6EF1EF0AF939E463 Time : 0.0 sec. user=vaughan [2013-03-31 06:39:42] 635*2^1243650-1 is not prime. Res64: 4CEC2DDF3FF62CD8 Time : 0.0 sec. user=mdettweiler [2013-03-31 06:55:30] 625*2^1243651-1 is not prime. Res64: 3B97DBE489D00DA7 Time : 0.0 sec. user=mdettweiler [2013-03-31 06:55:30] 769*2^1243651-1 is not prime. Res64: 7EC5D634F6988308 Time : 0.0 sec. user=mdettweiler [2013-03-31 06:55:39] 771*2^1243651-1 is not prime. Res64: 6DC3AA8E56BCB979 Time : 0.0 sec. user=mdettweiler [2013-03-31 06:55:40] 859*2^1243651-1 is not prime. Res64: 15C4436CCA80BC27 Time : 0.0 sec. user=mdettweiler [2013-03-31 07:12:56] 951*2^1243651-1 is not prime. Res64: 73C71673A5747971 Time : 0.0 sec. user=mdettweiler [2013-03-31 07:12:56] 975*2^1243651-1 is not prime. Res64: 8A925B4F1A904FDF Time : 0.0 sec. user=mdettweiler [2013-03-31 07:13:04] 675*2^1243652-1 is not prime. Res64: 31D54F5BA9C71E19 Time : 0.0 sec. user=mdettweiler [2013-03-31 07:13:05] 689*2^1243652-1 is not prime. Res64: 4B70914B7E021CB1 Time : 0.0 sec. user=vaughan [2013-03-31 07:23:09] 943*2^1243651-1 is not prime. Res64: 591C0386C396AF78 Time : 0.0 sec. user=mdettweiler [2013-03-31 07:30:25] 759*2^1243652-1 is not prime. Res64: 9383B6EB8FEC7E5A Time : 0.0 sec. user=mdettweiler [2013-03-31 07:30:26] 855*2^1243652-1 is not prime. Res64: 66F3137C01E3A5C4 Time : 0.0 sec. user=mdettweiler [2013-03-31 07:30:30] 929*2^1243652-1 is not prime. Res64: C1773FEE38CBBB84 Time : 0.0 sec. user=mdettweiler [2013-03-31 07:30:31] 995*2^1243652-1 is not prime. Res64: 6E2E79ACB2C1F2F9 Time : 0.0 sec. user=mdettweiler [2013-03-31 07:47:51] 679*2^1243653-1 is not prime. Res64: 1796BBE9BD43760B Time : 0.0 sec. user=mdettweiler [2013-03-31 07:47:51] 691*2^1243653-1 is not prime. Res64: FDBDB394919C8B88 Time : 0.0 sec. user=mdettweiler [2013-03-31 07:47:56] 747*2^1243653-1 is not prime. Res64: 0CD37032E320D4CD Time : 0.0 sec. user=mdettweiler [2013-03-31 07:47:56] 781*2^1243653-1 is not prime. Res64: C78707E5D05933A5 Time : 0.0 sec. user=vaughan [2013-03-31 08:01:25] 625*2^1243653-1 is not prime. Res64: 93D4BBD5D3096D5A Time : 0.0 sec. user=mdettweiler [2013-03-31 08:05:17] 861*2^1243653-1 is not prime. Res64: 2B9C95EF4A3347A3 Time : 0.0 sec. user=mdettweiler [2013-03-31 08:05:18] 969*2^1243653-1 is not prime. Res64: F6A253600DCE37C4 Time : 0.0 sec. user=mdettweiler [2013-03-31 08:05:21] 617*2^1243654-1 is not prime. Res64: A2A7AA61F24B3641 Time : 0.0 sec. user=mdettweiler [2013-03-31 08:05:22] 635*2^1243654-1 is not prime. Res64: C51632B2BA61FB76 Time : 0.0 sec. user=mdettweiler [2013-03-31 08:22:43] 773*2^1243654-1 is not prime. Res64: 5C78001F11EE9533 Time : 0.0 sec. user=mdettweiler [2013-03-31 08:22:44] 785*2^1243654-1 is not prime. Res64: 61D1689F14827345 Time : 0.0 sec. user=mdettweiler [2013-03-31 08:22:47] 827*2^1243654-1 is not prime. Res64: 9872DBFF0BD148F2 Time : 0.0 sec. user=mdettweiler [2013-03-31 08:22:48] 857*2^1243654-1 is not prime. Res64: 0AABEEC431C1D1DB Time : 0.0 sec. user=vaughan [2013-03-31 08:40:03] 765*2^1243654-1 is not prime. Res64: 701005DA80E9B802 Time : 0.0 sec. user=mdettweiler [2013-03-31 08:40:10] 861*2^1243654-1 is not prime. Res64: B538F2FEB894D910 Time : 0.0 sec. user=mdettweiler [2013-03-31 08:40:10] 881*2^1243654-1 is not prime. Res64: 50E79C91356FDB9E Time : 0.0 sec. user=mdettweiler [2013-03-31 08:40:12] 917*2^1243654-1 is not prime. Res64: E1C5613352F839E3 Time : 0.0 sec. user=mdettweiler [2013-03-31 08:40:13] 947*2^1243654-1 is not prime. Res64: 41F43670BD3323BD Time : 0.0 sec. user=mdettweiler [2013-03-31 08:57:35] 603*2^1243655-1 is not prime. Res64: 48660B73A5726DC8 Time : 0.0 sec. user=mdettweiler [2013-03-31 08:57:36] 675*2^1243655-1 is not prime. Res64: 195A7099B023CE68 Time : 0.0 sec. user=mdettweiler [2013-03-31 08:57:38] 841*2^1243655-1 is not prime. Res64: 93E3DFE98EA63454 Time : 0.0 sec. user=mdettweiler [2013-03-31 08:57:38] 973*2^1243655-1 is not prime. Res64: DDC25008BE66484D Time : 0.0 sec. user=mdettweiler [2013-03-31 09:15:02] 669*2^1243656-1 is not prime. Res64: D64A0F83EC0F14E7 Time : 0.0 sec. user=mdettweiler [2013-03-31 09:15:04] 825*2^1243656-1 is not prime. Res64: 875DC0D8C5E6EA2C Time : 0.0 sec. user=mdettweiler [2013-03-31 09:15:05] 843*2^1243656-1 is not prime. Res64: 63E739A680E91784 Time : 0.0 sec. user=mdettweiler [2013-03-31 09:15:07] 993*2^1243656-1 is not prime. Res64: 7BF21BCE1759BFE4 Time : 0.0 sec. user=vaughan [2013-03-31 09:23:24] 971*2^1243654-1 is not prime. Res64: D6AA80BC015C3F90 Time : 0.0 sec. user=mdettweiler [2013-03-31 09:32:53] 661*2^1243657-1 is not prime. Res64: 330C35AB68450E20 Time : 0.0 sec. user=mdettweiler [2013-03-31 09:32:53] 775*2^1243657-1 is not prime. Res64: 0ECD6294EB264B60 Time : 0.0 sec. user=mdettweiler [2013-03-31 09:32:54] 885*2^1243657-1 is not prime. Res64: 442FF16E52F11A3C Time : 0.0 sec. user=mdettweiler [2013-03-31 09:32:54] 937*2^1243657-1 is not prime. Res64: 70F8DB5F299BFDD9 Time : 0.0 sec. user=mdettweiler [2013-03-31 09:50:19] 641*2^1243658-1 is not prime. Res64: 40771A2FF0475840 Time : 0.0 sec. user=mdettweiler [2013-03-31 09:50:19] 755*2^1243658-1 is not prime. Res64: 0391BDE6C05300B5 Time : 0.0 sec. user=mdettweiler [2013-03-31 09:50:20] 677*2^1243658-1 is not prime. Res64: 8DDC3D0D6EEF64A4 Time : 0.0 sec. user=mdettweiler [2013-03-31 09:50:20] 797*2^1243658-1 is not prime. Res64: 5ACC11A4D2310E02 Time : 0.0 sec. user=vaughan [2013-03-31 10:01:38] 617*2^1243658-1 is not prime. Res64: C7D9458794F49D19 Time : 0.0 sec. user=mdettweiler [2013-03-31 10:07:45] 843*2^1243658-1 is not prime. Res64: 8BD567471B3C21AD Time : 0.0 sec. user=mdettweiler [2013-03-31 10:07:46] 977*2^1243658-1 is not prime. Res64: 0E849098F9B5E914 Time : 0.0 sec. user=mdettweiler [2013-03-31 10:07:46] 633*2^1243659-1 is not prime. Res64: 3B5EDB2E9D04E3BD Time : 0.0 sec. user=mdettweiler [2013-03-31 10:07:47] 723*2^1243659-1 is not prime. Res64: 130474613EB64EBE Time : 0.0 sec. user=mdettweiler [2013-03-31 10:25:13] 741*2^1243659-1 is not prime. Res64: 855A6FE3B90C8AD4 Time : 0.0 sec. user=mdettweiler [2013-03-31 10:25:14] 859*2^1243659-1 is not prime. Res64: 9539D4502C148A79 Time : 0.0 sec. user=mdettweiler [2013-03-31 10:25:15] 931*2^1243659-1 is not prime. Res64: E06C8B28CB9D50D7 Time : 0.0 sec. user=mdettweiler [2013-03-31 10:25:15] 951*2^1243659-1 is not prime. Res64: 8ADE7A0D7893BF52 Time : 0.0 sec. user=vaughan [2013-03-31 10:40:18] 735*2^1243659-1 is not prime. Res64: 93026A68E44EC3BC Time : 0.0 sec. user=mdettweiler [2013-03-31 10:42:40] 955*2^1243659-1 is not prime. Res64: 52ACC68399656117 Time : 0.0 sec. user=mdettweiler [2013-03-31 10:42:41] 969*2^1243659-1 is not prime. Res64: 20E95D0DBE22984A Time : 0.0 sec. user=mdettweiler [2013-03-31 10:42:41] 717*2^1243660-1 is not prime. Res64: FFA7B6D0B6E0D1DC Time : 0.0 sec. user=mdettweiler [2013-03-31 10:42:42] 777*2^1243660-1 is not prime. Res64: 1397424FFB0588DF Time : 0.0 sec. user=mdettweiler [2013-03-31 11:00:05] 933*2^1243660-1 is not prime. Res64: F366DBDCF09D354E Time : 0.0 sec. user=mdettweiler [2013-03-31 11:00:07] 601*2^1243661-1 is not prime. Res64: 8DFA4EB501A92EC8 Time : 0.0 sec. user=mdettweiler [2013-03-31 11:00:07] 621*2^1243661-1 is not prime. Res64: 3F5C2B89FE02A49D Time : 0.0 sec. user=mdettweiler [2013-03-31 11:00:07] 675*2^1243661-1 is not prime. Res64: 73B89EC7F0F3F801 Time : 0.0 sec. user=mdettweiler [2013-03-31 11:17:33] 697*2^1243661-1 is not prime. Res64: 0D6EFF902246BFA1 Time : 0.0 sec. user=mdettweiler [2013-03-31 11:17:34] 747*2^1243661-1 is not prime. Res64: 2DD80942888A9C32 Time : 0.0 sec. user=mdettweiler [2013-03-31 11:17:35] 795*2^1243661-1 is not prime. Res64: F7036146829B6125 Time : 0.0 sec. user=mdettweiler [2013-03-31 11:17:35] 825*2^1243661-1 is not prime. Res64: FAAFC8CBEDF39687 Time : 0.0 sec. user=vaughan [2013-03-31 11:18:33] 857*2^1243660-1 is not prime. Res64: C06CD405D1D5244C Time : 0.0 sec. user=mdettweiler [2013-03-31 11:34:59] 925*2^1243661-1 is not prime. Res64: F0E48E5798580BA3 Time : 0.0 sec. user=mdettweiler [2013-03-31 11:35:00] 653*2^1243662-1 is not prime. Res64: BE36EA486FF75A02 Time : 0.0 sec. user=mdettweiler [2013-03-31 11:35:00] 711*2^1243662-1 is not prime. Res64: 7618C128BA8FB150 Time : 0.0 sec. user=mdettweiler [2013-03-31 11:35:01] 737*2^1243662-1 is not prime. Res64: 955D9DD62FBAD73B Time : 0.0 sec. user=mdettweiler [2013-03-31 11:52:26] 821*2^1243662-1 is not prime. Res64: BB8994CEDBEAC5D1 Time : 0.0 sec. user=mdettweiler [2013-03-31 11:52:26] 975*2^1243662-1 is not prime. Res64: F9FE27CA825B6754 Time : 0.0 sec. user=mdettweiler [2013-03-31 11:52:26] 917*2^1243662-1 is not prime. Res64: 4F9C42345D6F3150 Time : 0.0 sec. user=mdettweiler [2013-03-31 11:52:26] 633*2^1243663-1 is not prime. Res64: 85E1DC13956E8867 Time : 0.0 sec. user=vaughan [2013-03-31 11:56:47] 791*2^1243662-1 is not prime. Res64: 77C8CF8E749440BA Time : 0.0 sec. user=mdettweiler [2013-03-31 12:09:55] 849*2^1243663-1 is not prime. Res64: 9BB2386BD04F7D49 Time : 0.0 sec. user=mdettweiler [2013-03-31 12:09:56] 853*2^1243663-1 is not prime. Res64: EFCFBAB17A957ABC Time : 0.0 sec. user=mdettweiler [2013-03-31 12:09:56] 623*2^1243664-1 is not prime. Res64: DC478A8BED2FD734 Time : 0.0 sec. user=mdettweiler [2013-03-31 12:09:57] 897*2^1243664-1 is not prime. Res64: 6AE43A369406A4D6 Time : 0.0 sec. user=mdettweiler [2013-03-31 12:27:29] 711*2^1243665-1 is not prime. Res64: 0A2AE74F921CFEA4 Time : 0.0 sec. user=mdettweiler [2013-03-31 12:27:30] 735*2^1243665-1 is not prime. Res64: 7E385F194CC2364D Time : 0.0 sec. user=mdettweiler [2013-03-31 12:27:30] 739*2^1243665-1 is not prime. Res64: 148A31E0898909BC Time : 0.0 sec. user=mdettweiler [2013-03-31 12:27:31] 811*2^1243665-1 is not prime. Res64: FAD3C79F050EE871 Time : 0.0 sec. user=vaughan [2013-03-31 12:35:02] 669*2^1243665-1 is not prime. Res64: 5A3B1F91066E5BD5 Time : 0.0 sec. user=mdettweiler [2013-03-31 12:44:58] 971*2^1243666-1 is not prime. Res64: 8FB5EAD9301F099B Time : 0.0 sec. user=mdettweiler [2013-03-31 12:44:58] 993*2^1243666-1 is not prime. Res64: 67FD0AA9DD674063 Time : 0.0 sec. user=mdettweiler [2013-03-31 12:44:58] 837*2^1243665-1 is not prime. Res64: 87D4BE3571BC100E Time : 0.0 sec. user=mdettweiler [2013-03-31 12:44:59] 889*2^1243665-1 is not prime. Res64: 9A876C2E615D63F9 Time : 0.0 sec. user=mdettweiler [2013-03-31 13:02:24] 685*2^1243667-1 is not prime. Res64: 524E8B6F17DB99D2 Time : 0.0 sec. user=mdettweiler [2013-03-31 13:02:25] 819*2^1243667-1 is not prime. Res64: 6225A62233D652F8 Time : 0.0 sec. user=mdettweiler [2013-03-31 13:02:26] 879*2^1243667-1 is not prime. Res64: BAEBA0633CC8B663 Time : 0.0 sec. user=mdettweiler [2013-03-31 13:02:27] 883*2^1243667-1 is not prime. Res64: DF66846AF6C01847 Time : 0.0 sec. user=vaughan [2013-03-31 13:13:16] 645*2^1243667-1 is not prime. Res64: 5DF1C10EB18D8E29 Time : 0.0 sec. user=mdettweiler [2013-03-31 13:19:55] 705*2^1243668-1 is not prime. Res64: 1463E0039F354601 Time : 0.0 sec. user=mdettweiler [2013-03-31 13:19:55] 765*2^1243668-1 is not prime. Res64: E05A032AAFCF4FBD Time : 0.0 sec. user=mdettweiler [2013-03-31 13:19:56] 795*2^1243668-1 is not prime. Res64: 880A8CC9DA0AB1D2 Time : 0.0 sec. user=mdettweiler [2013-03-31 13:19:57] 837*2^1243668-1 is not prime. Res64: EDF90128FB20B566 Time : 0.0 sec. user=mdettweiler [2013-03-31 13:37:22] 945*2^1243668-1 is not prime. Res64: 008102A45E89CFF6 Time : 0.0 sec. user=mdettweiler [2013-03-31 13:37:22] 993*2^1243668-1 is not prime. Res64: 68CFA04F53B3E91A Time : 0.0 sec. user=mdettweiler [2013-03-31 13:37:22] 969*2^1243668-1 is not prime. Res64: B777276DA2B24CB1 Time : 0.0 sec. user=mdettweiler [2013-03-31 13:37:22] 649*2^1243669-1 is not prime. Res64: 973ABD7450CE9121 Time : 0.0 sec. user=juhehe [2013-03-31 13:38:11] 899*2^1243668-1 is not prime. Res64: 5E5D55DA1C2DC8BE Time : 0.0 sec. user=vaughan [2013-03-31 13:51:38] 875*2^1243668-1 is not prime. Res64: 039DE151521D32DD Time : 0.0 sec. user=mdettweiler [2013-03-31 13:54:48] 685*2^1243669-1 is not prime. Res64: B4D538544B17AF47 Time : 0.0 sec. user=mdettweiler [2013-03-31 13:54:49] 895*2^1243669-1 is not prime. Res64: C18EF7C86320BF19 Time : 0.0 sec. user=mdettweiler [2013-03-31 13:54:51] 627*2^1243670-1 is not prime. Res64: EB13B3DA39C0AC20 Time : 0.0 sec. user=mdettweiler [2013-03-31 13:54:51] 717*2^1243670-1 is not prime. Res64: AF838BEB5F6E48BD Time : 0.0 sec. user=mdettweiler [2013-03-31 14:12:23] 615*2^1243671-1 is not prime. Res64: 84CCFB30EDE36BA9 Time : 0.0 sec. user=mdettweiler [2013-03-31 14:12:23] 643*2^1243671-1 is not prime. Res64: BABEB470483633ED Time : 0.0 sec. user=mdettweiler [2013-03-31 14:12:23] 625*2^1243671-1 is not prime. Res64: 507E586E19F4C78B Time : 0.0 sec. user=mdettweiler [2013-03-31 14:12:24] 685*2^1243671-1 is not prime. Res64: 92D4201EAE75CC8A Time : 0.0 sec. user=vaughan [2013-03-31 14:29:54] 801*2^1243670-1 is not prime. Res64: AD76C35F5A78D3DF Time : 0.0 sec. user=mdettweiler [2013-03-31 14:34:45] 603*2^1243672-1 is not prime. Res64: 86256114BEE43EA5 Time : 0.0 sec. user=mdettweiler [2013-03-31 14:34:45] 709*2^1243671-1 is not prime. Res64: 00EA22A41DA2FFE5 Time : 0.0 sec. user=mdettweiler [2013-03-31 14:34:45] 615*2^1243672-1 is not prime. Res64: CC4BCFD4920A4EEC Time : 0.0 sec. user=mdettweiler [2013-03-31 14:34:45] 879*2^1243671-1 is not prime. Res64: 5B412B7B53D12467 Time : 0.0 sec. user=mdettweiler [2013-03-31 14:54:04] 665*2^1243672-1 is not prime. Res64: FC1CB766A0936484 Time : 0.0 sec. user=mdettweiler [2013-03-31 14:54:04] 717*2^1243672-1 is not prime. Res64: 96508360A7F80655 Time : 0.0 sec. user=mdettweiler [2013-03-31 14:54:05] 887*2^1243672-1 is not prime. Res64: 7F3B42CD6FE8646A Time : 0.0 sec. user=mdettweiler [2013-03-31 14:54:05] 947*2^1243672-1 is not prime. Res64: 5AB0A5B0D1C7B63C Time : 0.0 sec. user=vaughan [2013-03-31 15:08:08] 623*2^1243672-1 is not prime. Res64: 9F3D5356A710F0E3 Time : 0.0 sec. user=mdettweiler [2013-03-31 15:11:29] 649*2^1243673-1 is not prime. Res64: 117E271341FE962E Time : 0.0 sec. user=mdettweiler [2013-03-31 15:11:30] 691*2^1243673-1 is not prime. Res64: 77EF820DAA07321C Time : 0.0 sec. user=mdettweiler [2013-03-31 15:11:30] 727*2^1243673-1 is not prime. Res64: 0ADD4DF7C4831F64 Time : 0.0 sec. user=mdettweiler [2013-03-31 15:11:31] 745*2^1243673-1 is not prime. Res64: EBC74FE9DCC94CAA Time : 0.0 sec. user=mdettweiler [2013-03-31 15:28:57] 885*2^1243673-1 is not prime. Res64: 6F6A5B14A87B1A1B Time : 0.0 sec. user=mdettweiler [2013-03-31 15:28:57] 651*2^1243674-1 is not prime. Res64: 2C2925D3058DF1C2 Time : 0.0 sec. user=mdettweiler [2013-03-31 15:28:57] 955*2^1243673-1 is not prime. Res64: A86956309CAC3C7B Time : 0.0 sec. user=mdettweiler [2013-03-31 15:28:57] 705*2^1243674-1 is not prime. Res64: 8EEEB777C94BEF1C Time : 0.0 sec. user=mdettweiler [2013-03-31 15:46:23] 815*2^1243674-1 is not prime. Res64: A359642F8D1A4FAC Time : 0.0 sec. user=mdettweiler [2013-03-31 15:46:24] 851*2^1243674-1 is not prime. Res64: AB7D4A22152C08AC Time : 0.0 sec. user=mdettweiler [2013-03-31 15:46:24] 881*2^1243674-1 is not prime. Res64: D9426B2A53C787B7 Time : 0.0 sec. user=mdettweiler [2013-03-31 15:46:25] 927*2^1243674-1 is not prime. Res64: BD8E4B5750606C60 Time : 0.0 sec. user=vaughan [2013-03-31 15:46:27] 867*2^1243673-1 is not prime. Res64: 2970EB9E7DB563B2 Time : 0.0 sec. user=juhehe [2013-03-31 16:02:36] 925*2^1243637-1 is not prime. Res64: 97AC5A8BAED2EE8D Time : 0.0 sec. user=mdettweiler [2013-03-31 16:03:50] 735*2^1243675-1 is not prime. Res64: 3A4836C514266D91 Time : 0.0 sec. user=mdettweiler [2013-03-31 16:03:51] 895*2^1243675-1 is not prime. Res64: CD0CAAF32B3D2BDD Time : 0.0 sec. user=mdettweiler [2013-03-31 16:03:51] 873*2^1243675-1 is not prime. Res64: B6DDB39F85FEFB71 Time : 0.0 sec. user=mdettweiler [2013-03-31 16:03:52] 939*2^1243675-1 is not prime. Res64: CAEA18BC1678B14B Time : 0.0 sec. user=mdettweiler [2013-03-31 16:21:35] 617*2^1243676-1 is not prime. Res64: 08B75EC4454624DA Time : 0.0 sec. user=mdettweiler [2013-03-31 16:21:35] 633*2^1243676-1 is not prime. Res64: A5E512958D11570C Time : 0.0 sec. user=mdettweiler [2013-03-31 16:21:36] 647*2^1243676-1 is not prime. Res64: 7EB06219A727C614 Time : 0.0 sec. user=mdettweiler [2013-03-31 16:21:36] 657*2^1243676-1 is not prime. Res64: 4829019DF909A9F1 Time : 0.0 sec. user=vaughan [2013-03-31 16:29:47] 969*2^1243675-1 is not prime. Res64: 9DB301B470024C66 Time : 0.0 sec. user=Mini-Geek [2013-03-31 16:32:31] 659*2^1243676-1 is not prime. Res64: CF53C3D432DBA5B5 Time : 0.0 sec. user=juhehe [2013-03-31 16:32:42] 631*2^1243675-1 is not prime. Res64: 7D8AE5163E944AA6 Time : 0.0 sec. user=mdettweiler [2013-03-31 16:39:02] 719*2^1243676-1 is not prime. Res64: FE7D79EF8332C76D Time : 0.0 sec. user=mdettweiler [2013-03-31 16:39:03] 875*2^1243676-1 is not prime. Res64: B4BFA73973CDBC6C Time : 0.0 sec. user=mdettweiler [2013-03-31 16:39:03] 893*2^1243676-1 is not prime. Res64: 223778ADF5E8D7CA Time : 0.0 sec. user=mdettweiler [2013-03-31 16:39:03] 957*2^1243676-1 is not prime. Res64: F3DBE12ED448CB43 Time : 0.0 sec. user=mdettweiler [2013-03-31 16:56:28] 997*2^1243677-1 is not prime. Res64: F79E8C3041C481BE Time : 0.0 sec. user=mdettweiler [2013-03-31 16:56:29] 605*2^1243678-1 is not prime. Res64: 6DB40571DDC4A6A5 Time : 0.0 sec. user=mdettweiler [2013-03-31 16:56:29] 665*2^1243678-1 is not prime. Res64: BEDEBF20EFFAF087 Time : 0.0 sec. user=mdettweiler [2013-03-31 16:56:30] 687*2^1243678-1 is not prime. Res64: 1FE083CB1FD619C4 Time : 0.0 sec. user=vaughan [2013-03-31 17:08:02] 901*2^1243677-1 is not prime. Res64: 7EE4B959029ADD95 Time : 0.0 sec. user=mdettweiler [2013-03-31 17:13:54] 743*2^1243678-1 is not prime. Res64: 6663EB99D3CE1083 Time : 0.0 sec. user=mdettweiler [2013-03-31 17:13:54] 831*2^1243678-1 is not prime. Res64: B07589C65E725CFE Time : 0.0 sec. user=mdettweiler [2013-03-31 17:13:55] 603*2^1243679-1 is not prime. Res64: DD05DD289176B3A4 Time : 0.0 sec. user=mdettweiler [2013-03-31 17:13:55] 619*2^1243679-1 is not prime. Res64: D018DA4892796FE7 Time : 0.0 sec. user=mdettweiler [2013-03-31 17:31:20] 711*2^1243679-1 is not prime. Res64: 51F4378F4B4E2986 Time : 0.0 sec. user=mdettweiler [2013-03-31 17:31:20] 741*2^1243679-1 is not prime. Res64: A29B3AB33AEC676E Time : 0.0 sec. user=mdettweiler [2013-03-31 17:31:20] 853*2^1243679-1 is not prime. Res64: F990DEB7AFEEC62B Time : 0.0 sec. user=mdettweiler [2013-03-31 17:31:21] 855*2^1243679-1 is not prime. Res64: 4BD8B94F220734B8 Time : 0.0 sec. user=vaughan [2013-03-31 17:46:22] 703*2^1243679-1 is not prime. Res64: 440DBB8A82184632 Time : 0.0 sec. user=mdettweiler [2013-03-31 17:48:45] 861*2^1243679-1 is not prime. Res64: 8C1D879D84259B6E Time : 0.0 sec. user=mdettweiler [2013-03-31 17:48:45] 865*2^1243679-1 is not prime. Res64: 7903475906DF16B7 Time : 0.0 sec. user=mdettweiler [2013-03-31 17:48:46] 885*2^1243679-1 is not prime. Res64: 5CD76080F4A4CB6E Time : 0.0 sec. user=mdettweiler [2013-03-31 17:48:47] 949*2^1243679-1 is not prime. Res64: 05DCDBDE6FD6B280 Time : 0.0 sec. user=mdettweiler [2013-03-31 18:06:14] 693*2^1243680-1 is not prime. Res64: 76CA02DE5B375C19 Time : 0.0 sec. user=mdettweiler [2013-03-31 18:06:14] 725*2^1243680-1 is not prime. Res64: BB925BFD44CDEA70 Time : 0.0 sec. user=mdettweiler [2013-03-31 18:06:15] 713*2^1243680-1 is not prime. Res64: 6F7668A0C6FCE354 Time : 0.0 sec. user=mdettweiler [2013-03-31 18:06:15] 753*2^1243680-1 is not prime. Res64: F1E324B33482B3EC Time : 0.0 sec. user=mdettweiler [2013-03-31 18:23:48] 825*2^1243680-1 is not prime. Res64: 05D1671AAF6D20E0 Time : 0.0 sec. user=mdettweiler [2013-03-31 18:23:49] 839*2^1243680-1 is not prime. Res64: 588A55E9B4E50682 Time : 0.0 sec. user=mdettweiler [2013-03-31 18:23:50] 879*2^1243680-1 is not prime. Res64: 24062265E1A30CE6 Time : 0.0 sec. user=mdettweiler [2013-03-31 18:23:51] 915*2^1243680-1 is not prime. Res64: B73AF8987535BA43 Time : 0.0 sec. user=vaughan [2013-03-31 18:24:37] 615*2^1243680-1 is not prime. Res64: 5FFEA0D7F6B8C780 Time : 0.0 sec. user=mdettweiler [2013-03-31 18:41:18] 933*2^1243680-1 is not prime. Res64: 5981E888FFE41D70 Time : 0.0 sec. user=mdettweiler [2013-03-31 18:41:19] 751*2^1243681-1 is not prime. Res64: FF36F2B80EB49581 Time : 0.0 sec. user=mdettweiler [2013-03-31 18:41:20] 847*2^1243681-1 is not prime. Res64: 65EC5B52572BDE0A Time : 0.0 sec. user=mdettweiler [2013-03-31 18:41:21] 951*2^1243681-1 is not prime. Res64: 7E334BF9FB29AD23 Time : 0.0 sec. user=juhehe [2013-03-31 18:41:46] 955*2^1243679-1 is not prime. Res64: 5D5DBB70697C0FD4 Time : 0.0 sec. user=mdettweiler [2013-03-31 18:58:48] 675*2^1243682-1 is not prime. Res64: 2A6EB8D104FD74DE Time : 0.0 sec. user=mdettweiler [2013-03-31 18:58:48] 731*2^1243682-1 is not prime. Res64: 1F23CF8D06AC4577 Time : 0.0 sec. user=mdettweiler [2013-03-31 18:58:50] 747*2^1243682-1 is not prime. Res64: E36B3CAEA0C1B1DC Time : 0.0 sec. user=mdettweiler [2013-03-31 18:58:50] 825*2^1243682-1 is not prime. Res64: B879B82C5A8CEA34 Time : 0.0 sec. user=juhehe [2013-03-31 19:02:54] 767*2^1243680-1 is not prime. Res64: C43337C2001CC178 Time : 0.0 sec. user=vaughan [2013-03-31 19:07:56] 979*2^1243681-1 is not prime. Res64: 496AF975D1BE3DE7 Time : 0.0 sec. user=mdettweiler [2013-03-31 19:16:16] 935*2^1243682-1 is not prime. Res64: 27B814D1BC193EB5 Time : 0.0 sec. user=mdettweiler [2013-03-31 19:16:17] 941*2^1243682-1 is not prime. Res64: E8129FDFCD75A4CD Time : 0.0 sec. user=mdettweiler [2013-03-31 19:16:18] 957*2^1243682-1 is not prime. Res64: 6311F1717BF906B7 Time : 0.0 sec. user=mdettweiler [2013-03-31 19:16:19] 649*2^1243683-1 is not prime. Res64: E5F74E3491463ADA Time : 0.0 sec. user=mdettweiler [2013-03-31 19:33:44] 783*2^1243683-1 is not prime. Res64: 749565306AAB6384 Time : 0.0 sec. user=mdettweiler [2013-03-31 19:33:45] 819*2^1243683-1 is not prime. Res64: 033C70D6AA01D723 Time : 0.0 sec. user=mdettweiler [2013-03-31 19:33:46] 823*2^1243683-1 is not prime. Res64: A6EE50356BA258AA Time : 0.0 sec. user=mdettweiler [2013-03-31 19:33:46] 891*2^1243683-1 is not prime. Res64: BEDDC2ED6EEA9531 Time : 0.0 sec. user=vaughan [2013-03-31 19:46:18] 669*2^1243683-1 is not prime. Res64: B34EBDA9A2B98C81 Time : 0.0 sec. user=mdettweiler [2013-03-31 19:51:14] 895*2^1243683-1 is not prime. Res64: 4C9B6C697682ED7A Time : 0.0 sec. user=mdettweiler [2013-03-31 19:51:15] 961*2^1243683-1 is not prime. Res64: B2802061124A76E7 Time : 0.0 sec. user=mdettweiler [2013-03-31 19:51:16] 973*2^1243683-1 is not prime. Res64: F2090E4F8DF4E38F Time : 0.0 sec. user=mdettweiler [2013-03-31 19:51:17] 677*2^1243684-1 is not prime. Res64: 3F456FAFF82FB263 Time : 0.0 sec. user=mdettweiler [2013-03-31 20:08:45] 855*2^1243684-1 is not prime. Res64: 4BFF21F554C3C87D Time : 0.0 sec. user=mdettweiler [2013-03-31 20:08:46] 873*2^1243684-1 is not prime. Res64: BAF31E177871020D Time : 0.0 sec. user=mdettweiler [2013-03-31 20:08:46] 905*2^1243684-1 is not prime. Res64: 1D78B660CAE9D1D0 Time : 0.0 sec. user=mdettweiler [2013-03-31 20:08:47] 983*2^1243684-1 is not prime. Res64: AE5E6956721BC1B9 Time : 0.0 sec. user=vaughan [2013-03-31 20:24:35] 819*2^1243684-1 is not prime. Res64: C1FF22978AE07905 Time : 0.0 sec. user=mdettweiler [2013-03-31 20:26:15] 619*2^1243685-1 is not prime. Res64: 562A6BDA4D59290F Time : 0.0 sec. user=mdettweiler [2013-03-31 20:26:16] 657*2^1243685-1 is not prime. Res64: 54FE921AEEE39016 Time : 0.0 sec. user=mdettweiler [2013-03-31 20:26:18] 811*2^1243685-1 is not prime. Res64: CBE8FA78E9480D89 Time : 0.0 sec. user=mdettweiler [2013-03-31 20:26:18] 991*2^1243685-1 is not prime. Res64: 4092AD3D4AA5165C Time : 0.0 sec. user=mdettweiler [2013-03-31 20:43:44] 807*2^1243686-1 is not prime. Res64: 6B801F3A9A15DC97 Time : 0.0 sec. user=mdettweiler [2013-03-31 20:43:45] 759*2^1243687-1 is not prime. Res64: 89197627A296B07B Time : 0.0 sec. user=mdettweiler [2013-03-31 20:43:47] 831*2^1243687-1 is not prime. Res64: 412C6D67DA62BA2C Time : 0.0 sec. user=mdettweiler [2013-03-31 20:43:47] 873*2^1243687-1 is not prime. Res64: 3004959589194D69 Time : 0.0 sec. user=juhehe [2013-03-31 20:43:53] 723*2^1243684-1 is not prime. Res64: 5532C53AE98D28DA Time : 0.0 sec. user=mdettweiler [2013-03-31 21:01:17] 909*2^1243687-1 is not prime. Res64: E0C0E8CDA5CF20C7 Time : 0.0 sec. user=mdettweiler [2013-03-31 21:01:18] 919*2^1243687-1 is not prime. Res64: D3F58291FC9EE29D Time : 0.0 sec. user=mdettweiler [2013-03-31 21:01:19] 617*2^1243688-1 is not prime. Res64: 0D78E9E8C57B2A5E Time : 0.0 sec. user=mdettweiler [2013-03-31 21:01:20] 677*2^1243688-1 is not prime. Res64: B2AB205193058FD5 Time : 0.0 sec. user=vaughan [2013-03-31 21:02:51] 741*2^1243686-1 is not prime. Res64: C4188EF4EC0F9038 Time : 0.0 sec. user=juhehe [2013-03-31 21:11:56] 993*2^1243684-1 is not prime. Res64: 5AC69B6DCB6581AD Time : 0.0 sec. user=mdettweiler [2013-03-31 21:18:55] 755*2^1243688-1 is not prime. Res64: 3681F08476B6248E Time : 0.0 sec. user=mdettweiler [2013-03-31 21:18:56] 815*2^1243688-1 is not prime. Res64: 3011A8101E8F732C Time : 0.0 sec. user=mdettweiler [2013-03-31 21:18:56] 897*2^1243688-1 is not prime. Res64: 3037837F818EA642 Time : 0.0 sec. user=mdettweiler [2013-03-31 21:18:56] 915*2^1243688-1 is not prime. Res64: 4E63C7856186F68A Time : 0.0 sec. user=mdettweiler [2013-03-31 21:36:28] 601*2^1243689-1 is not prime. Res64: 8164DC4C66E476F5 Time : 0.0 sec. user=mdettweiler [2013-03-31 21:36:29] 679*2^1243689-1 is not prime. Res64: 911CB6222C046120 Time : 0.0 sec. user=mdettweiler [2013-03-31 21:36:30] 691*2^1243689-1 is not prime. Res64: 854401AB5707D1C5 Time : 0.0 sec. user=mdettweiler [2013-03-31 21:36:31] 705*2^1243689-1 is not prime. Res64: 4D411D387F22B113 Time : 0.0 sec. user=vaughan [2013-03-31 21:46:15] 945*2^1243688-1 is not prime. Res64: 2F51D95DB687F948 Time : 0.0 sec. user=mdettweiler [2013-03-31 21:54:01] 727*2^1243689-1 is not prime. Res64: AB946940D08225B2 Time : 0.0 sec. user=mdettweiler [2013-03-31 21:54:02] 765*2^1243689-1 is not prime. Res64: 44C7F831C8ABD8AD Time : 0.0 sec. user=mdettweiler [2013-03-31 21:54:03] 951*2^1243689-1 is not prime. Res64: 80B2BA6F7F423B9E Time : 0.0 sec. user=mdettweiler [2013-03-31 21:54:03] 979*2^1243689-1 is not prime. Res64: D1FDB92AEF05B457 Time : 0.0 sec. user=mdettweiler [2013-03-31 22:11:32] 885*2^1243690-1 is not prime. Res64: 316969A6016ABFC0 Time : 0.0 sec. user=mdettweiler [2013-03-31 22:11:34] 887*2^1243690-1 is not prime. Res64: EBD48AA14725DF7C Time : 0.0 sec. user=mdettweiler [2013-03-31 22:11:36] 789*2^1243691-1 is not prime. Res64: 8DC34C0A62362434 Time : 0.0 sec. user=mdettweiler [2013-03-31 22:11:37] 879*2^1243691-1 is not prime. Res64: 5EAB685D2FFF88F3 Time : 0.0 sec. user=vaughan [2013-03-31 22:24:31] 687*2^1243690-1 is not prime. Res64: 424389D8C1A2B3A5 Time : 0.0 sec. user=mdettweiler [2013-03-31 22:29:11] 945*2^1243691-1 is not prime. Res64: 0C39955D422F1A1A Time : 0.0 sec. user=mdettweiler [2013-03-31 22:29:12] 981*2^1243691-1 is not prime. Res64: C12048842CFF322E Time : 0.0 sec. user=mdettweiler [2013-03-31 22:29:13] 779*2^1243692-1 is not prime. Res64: 37BA05C52F9DB200 Time : 0.0 sec. user=mdettweiler [2013-03-31 22:29:14] 825*2^1243692-1 is not prime. Res64: 35114A738AE0D93E Time : 0.0 sec. user=mdettweiler [2013-03-31 22:46:44] 903*2^1243692-1 is not prime. Res64: 4C2DE4FF5DA01501 Time : 0.0 sec. user=mdettweiler [2013-03-31 22:46:45] 929*2^1243692-1 is not prime. Res64: 6526C7E6462C0AB7 Time : 0.0 sec. user=mdettweiler [2013-03-31 22:46:47] 625*2^1243693-1 is not prime. Res64: B775DEA6D9896D5A Time : 0.0 sec. user=mdettweiler [2013-03-31 22:46:48] 679*2^1243693-1 is not prime. Res64: ACAA2284F855D7EA Time : 0.0 sec. user=vaughan [2013-03-31 23:02:48] 879*2^1243692-1 is not prime. Res64: 03A7C5A539B0EF6A Time : 0.0 sec. user=mdettweiler [2013-03-31 23:04:15] 819*2^1243693-1 is not prime. Res64: A0B9059D65BB03AB Time : 0.0 sec. user=mdettweiler [2013-03-31 23:04:16] 847*2^1243693-1 is not prime. Res64: A93BC36011CB3DE3 Time : 0.0 sec. user=mdettweiler [2013-03-31 23:04:19] 897*2^1243693-1 is not prime. Res64: 0BEAC7522A8195A3 Time : 0.0 sec. user=mdettweiler [2013-03-31 23:04:20] 623*2^1243694-1 is not prime. Res64: 368400DAF6D2C1D7 Time : 0.0 sec. user=juhehe [2013-03-31 23:20:48] 939*2^1243691-1 is not prime. Res64: 7AE9AFDF3E84CE9B Time : 0.0 sec. user=mdettweiler [2013-03-31 23:21:47] 753*2^1243694-1 is not prime. Res64: C8F8C50C8C9C96DB Time : 0.0 sec. user=mdettweiler [2013-03-31 23:21:48] 755*2^1243694-1 is not prime. Res64: B240BA299F9A4DE1 Time : 0.0 sec. user=mdettweiler [2013-03-31 23:21:52] 813*2^1243694-1 is not prime. Res64: 1DFC3FA5C910958B Time : 0.0 sec. user=mdettweiler [2013-03-31 23:21:53] 851*2^1243694-1 is not prime. Res64: 0EA6969B5E133476 Time : 0.0 sec. user=mdettweiler [2013-03-31 23:39:26] 861*2^1243694-1 is not prime. Res64: CECE2887EDCD5BB7 Time : 0.0 sec. user=mdettweiler [2013-03-31 23:39:26] 887*2^1243694-1 is not prime. Res64: 61AF9A55374E6318 Time : 0.0 sec. user=mdettweiler [2013-03-31 23:39:27] 903*2^1243694-1 is not prime. Res64: 1245333F79B09D15 Time : 0.0 sec. user=mdettweiler [2013-03-31 23:39:28] 649*2^1243695-1 is not prime. Res64: 5E7A7EFE477A84FF Time : 0.0 sec. user=vaughan [2013-03-31 23:41:34] 635*2^1243694-1 is not prime. Res64: D238FA79B707E99E Time : 0.0 sec. user=juhehe [2013-03-31 23:45:33] 721*2^1243693-1 is not prime. Res64: FCA7A9A11DC1683A Time : 0.0 sec.