user=mdettweiler [2009-09-06 07:21:50] 353*2^334272-1 is not prime. Res64: 9EEA848C2A0E2FEA Time : 0.0 sec. user=mdettweiler [2009-09-06 08:58:41] 387*2^334273-1 is not prime. Res64: 18DCB2678A83DF53 Time : 0.0 sec. user=mdettweiler [2009-09-06 08:59:07] 367*2^334273-1 is not prime. Res64: 6482D6601EB99DE0 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:00:59] 363*2^334271-1 is not prime. Res64: 20FDD5D4B11F6472 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:01:20] 301*2^334275-1 is not prime. Res64: 254D054466618093 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:03:12] 319*2^334277-1 is not prime. Res64: 9587B60DA9979108 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:03:33] 387*2^334276-1 is not prime. Res64: 82F462369068B3E5 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:05:25] 369*2^334277-1 is not prime. Res64: ADF914C816A3E77D Time : 0.0 sec. user=mdettweiler [2009-09-06 09:05:51] 341*2^334274-1 is not prime. Res64: D7495F14DC59BACA Time : 0.0 sec. user=mdettweiler [2009-09-06 09:07:48] 357*2^334277-1 is not prime. Res64: E1D72851321CA505 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:08:14] 313*2^334279-1 is not prime. Res64: AF0456632D154690 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:10:06] 315*2^334279-1 is not prime. Res64: 6B192BD9ED990043 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:10:27] 397*2^334277-1 is not prime. Res64: A70ABE548756D471 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:12:20] 395*2^334280-1 is not prime. Res64: FF22CFF50E902C8C Time : 0.0 sec. user=mdettweiler [2009-09-06 09:12:36] 385*2^334279-1 is not prime. Res64: C917E7A8F1B13F89 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:12:58] 387*2^334278-1 is not prime. Res64: B23CF58EABCA88CF Time : 0.0 sec. user=mdettweiler [2009-09-06 09:14:24] 335*2^334282-1 is not prime. Res64: CFF6AC426EE2B184 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:14:40] 351*2^334283-1 is not prime. Res64: D0736B666E1D95B8 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:15:12] 383*2^334282-1 is not prime. Res64: 77044EDF063E247F Time : 0.0 sec. user=mdettweiler [2009-09-06 09:16:39] 305*2^334286-1 is not prime. Res64: 7EEA467D308BF332 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:16:49] 321*2^334287-1 is not prime. Res64: D9E4FC77D0CBE47C Time : 0.0 sec. user=mdettweiler [2009-09-06 09:17:31] 325*2^334285-1 is not prime. Res64: 61011AA00DB26C14 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:18:43] 319*2^334287-1 is not prime. Res64: BD65BBFE95A04A43 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:18:53] 385*2^334285-1 is not prime. Res64: ABB39A161D56F3A7 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:19:51] 377*2^334284-1 is not prime. Res64: C786E18AFA0CC079 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:20:47] 315*2^334290-1 is not prime. Res64: 53824D83443D5B7C Time : 0.0 sec. user=mdettweiler [2009-09-06 09:20:58] 345*2^334290-1 is not prime. Res64: BF40AA15C7B07EC7 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:22:50] 383*2^334288-1 is not prime. Res64: 8EDDEEEA8A858922 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:23:01] 395*2^334290-1 is not prime. Res64: C201665589D20776 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:23:02] 369*2^334288-1 is not prime. Res64: C60FAA3FFF203DB7 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:24:55] 377*2^334288-1 is not prime. Res64: 0A66D5C66CC775C4 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:24:56] 399*2^334289-1 is not prime. Res64: 5200FAA427A08F87 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:25:01] 301*2^334293-1 is not prime. Res64: 14CD786FD6948D78 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:26:44] 335*2^334292-1 is not prime. Res64: 06E79A9FBE23FA3D Time : 0.0 sec. user=mdettweiler [2009-09-06 09:26:45] 347*2^334292-1 is not prime. Res64: C3D388B657753618 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:27:22] 319*2^334293-1 is not prime. Res64: E64F996FFB024EAA Time : 0.0 sec. user=mdettweiler [2009-09-06 09:28:39] 365*2^334292-1 is not prime. Res64: 10FEAFCC07902DCB Time : 0.0 sec. user=mdettweiler [2009-09-06 09:28:39] 363*2^334292-1 is not prime. Res64: DDE3AE6B1B520D23 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:29:36] 381*2^334291-1 is not prime. Res64: 4EE1CD4558511D9D Time : 0.0 sec. user=mdettweiler [2009-09-06 09:30:28] 399*2^334291-1 is not prime. Res64: FEEF4785074B723B Time : 0.0 sec. user=mdettweiler [2009-09-06 09:30:28] 315*2^334295-1 is not prime. Res64: CBC9CC6933436AC7 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:31:55] 325*2^334297-1 is not prime. Res64: 1E4C4DA4F692BD6B Time : 0.0 sec. user=mdettweiler [2009-09-06 09:32:27] 331*2^334297-1 is not prime. Res64: 9314A0B8CDE4B749 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:32:27] 345*2^334294-1 is not prime. Res64: 848D2C4A2A61C758 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:34:09] 351*2^334297-1 is not prime. Res64: F685703E4D384600 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:34:20] 355*2^334297-1 is not prime. Res64: C7F3FF3A9551EB85 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:34:26] 357*2^334294-1 is not prime. Res64: 01A4D3B07EF866D5 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:36:19] 339*2^334299-1 is not prime. Res64: 6E270EE8FC3CDA70 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:36:20] 385*2^334299-1 is not prime. Res64: 59C7898A7B9BA52B Time : 0.0 sec. user=mdettweiler [2009-09-06 09:36:26] 363*2^334300-1 is not prime. Res64: 7105F17B15E5A0D2 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:38:08] 381*2^334299-1 is not prime. Res64: CFA91FD81195EEBF Time : 0.0 sec. user=mdettweiler [2009-09-06 09:38:09] 321*2^334303-1 is not prime. Res64: EDC1E22C37A1ECBF Time : 0.0 sec. user=mdettweiler [2009-09-06 09:38:41] 327*2^334301-1 is not prime. Res64: A1E9B996B78DC072 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:40:03] 355*2^334303-1 is not prime. Res64: CD6FA3FB2EF02928 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:40:04] 385*2^334303-1 is not prime. Res64: 8321DB4FE5AA2C05 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:41:01] 301*2^334305-1 is not prime. Res64: C48E37C1750DD35D Time : 0.0 sec. user=mdettweiler [2009-09-06 09:41:38] 311*2^334306-1 is not prime. Res64: E65E34C9FE92EDF6 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:41:58] 327*2^334305-1 is not prime. Res64: EE27D87B6EC5A4F2 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:41:59] 351*2^334307-1 is not prime. Res64: D37321A3CF7F1310 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:43:22] 369*2^334304-1 is not prime. Res64: 0E3DB118E49E6940 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:43:48] 377*2^334304-1 is not prime. Res64: 2F9FFEA187166A71 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:43:49] 365*2^334306-1 is not prime. Res64: B0C2DF4CF6BC96F8 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:43:50] 363*2^334304-1 is not prime. Res64: 51A4BD4A7A9E9A0D Time : 0.0 sec. user=mdettweiler [2009-09-06 09:45:39] 357*2^334305-1 is not prime. Res64: 14C74D453E060EA1 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:45:39] 315*2^334310-1 is not prime. Res64: 0B6D12EC6674A4C4 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:45:40] 371*2^334310-1 is not prime. Res64: F34E82011AC83818 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:45:41] 395*2^334308-1 is not prime. Res64: 16FC60ED268AFCBE Time : 0.0 sec. user=mdettweiler [2009-09-06 09:47:29] 357*2^334309-1 is not prime. Res64: 7814D6A48E1954D1 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:47:30] 307*2^334313-1 is not prime. Res64: E56608A1C2908FE6 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:47:31] 315*2^334312-1 is not prime. Res64: 48B98D85C9BC13B0 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:47:31] 339*2^334311-1 is not prime. Res64: DACE7E58C52C6BE2 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:49:20] 339*2^334312-1 is not prime. Res64: C28B8C03778340BD Time : 0.0 sec. user=mdettweiler [2009-09-06 09:49:21] 345*2^334311-1 is not prime. Res64: C024079104D14B67 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:49:21] 351*2^334313-1 is not prime. Res64: DF827B01F16A64B9 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:49:34] 315*2^334315-1 is not prime. Res64: 77D642F83AA17581 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:51:11] 323*2^334316-1 is not prime. Res64: BF989E1439050504 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:51:11] 325*2^334317-1 is not prime. Res64: 6DF5E9AA96330274 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:51:12] 371*2^334314-1 is not prime. Res64: 841B794C47729C4B Time : 0.0 sec. user=mdettweiler [2009-09-06 09:51:50] 393*2^334315-1 is not prime. Res64: 8D415B1DEF339BD5 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:53:06] 399*2^334316-1 is not prime. Res64: 4331B146A807D845 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:53:07] 313*2^334319-1 is not prime. Res64: 62C1971A997BB3CF Time : 0.0 sec. user=mdettweiler [2009-09-06 09:53:08] 317*2^334318-1 is not prime. Res64: 09D44063D735E14D Time : 0.0 sec. user=mdettweiler [2009-09-06 09:54:06] 321*2^334318-1 is not prime. Res64: D32ADAB92169472B Time : 0.0 sec. user=mdettweiler [2009-09-06 09:54:57] 347*2^334320-1 is not prime. Res64: CA84C75FCADCEB49 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:54:58] 371*2^334318-1 is not prime. Res64: 34938C9548B10D5E Time : 0.0 sec. user=mdettweiler [2009-09-06 09:54:58] 369*2^334319-1 is not prime. Res64: 6E244DDE486F1A7A Time : 0.0 sec. user=mdettweiler [2009-09-06 09:56:22] 381*2^334317-1 is not prime. Res64: 0B52E5CD41EDD47D Time : 0.0 sec. user=mdettweiler [2009-09-06 09:56:53] 305*2^334322-1 is not prime. Res64: 89E3C4CDEF9DEB40 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:56:54] 307*2^334321-1 is not prime. Res64: 1A35058FA423ED77 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:56:54] 313*2^334323-1 is not prime. Res64: 7FB94DE258156D74 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:58:37] 315*2^334322-1 is not prime. Res64: E23B4E2F49BA6179 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:58:43] 327*2^334322-1 is not prime. Res64: 0EEFA173DF7D8329 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:58:44] 331*2^334323-1 is not prime. Res64: 037259ABB8B95496 Time : 0.0 sec. user=mdettweiler [2009-09-06 09:58:44] 339*2^334323-1 is not prime. Res64: DA9E3DE95F08DC08 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:00:33] 351*2^334321-1 is not prime. Res64: 23EF3FAE4DDB14EF Time : 0.0 sec. user=mdettweiler [2009-09-06 10:00:34] 373*2^334323-1 is not prime. Res64: A6C57CF2366865C2 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:00:35] 385*2^334323-1 is not prime. Res64: 4BB35ACE3D778775 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:00:35] 367*2^334321-1 is not prime. Res64: 1A9369FAE58BC8A7 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:02:24] 357*2^334322-1 is not prime. Res64: 7D3EEE90C177817B Time : 0.0 sec. user=mdettweiler [2009-09-06 10:02:25] 301*2^334327-1 is not prime. Res64: 21FD3E3E534C1BAD Time : 0.0 sec. user=mdettweiler [2009-09-06 10:02:25] 303*2^334324-1 is not prime. Res64: 095E8FB195E4AC00 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:02:26] 303*2^334326-1 is not prime. Res64: 4762568D7D2DDD7A Time : 0.0 sec. user=mdettweiler [2009-09-06 10:04:15] 303*2^334327-1 is not prime. Res64: D1D400C82D559B54 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:04:16] 315*2^334324-1 is not prime. Res64: CA60822EFFD5051C Time : 0.0 sec. user=mdettweiler [2009-09-06 10:04:16] 317*2^334326-1 is not prime. Res64: 213D1145A5810B02 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:04:17] 339*2^334327-1 is not prime. Res64: 27002138B2257597 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:06:06] 319*2^334325-1 is not prime. Res64: DE5C2655417F53DB Time : 0.0 sec. user=mdettweiler [2009-09-06 10:06:07] 369*2^334324-1 is not prime. Res64: 03014574E84D2667 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:06:07] 341*2^334326-1 is not prime. Res64: 51D9F5EC46F8D3EB Time : 0.0 sec. user=mdettweiler [2009-09-06 10:06:15] 305*2^334328-1 is not prime. Res64: 872EBE9D5EE7F64A Time : 0.0 sec. user=mdettweiler [2009-09-06 10:07:57] 351*2^334330-1 is not prime. Res64: BE292ED58198B53F Time : 0.0 sec. user=mdettweiler [2009-09-06 10:07:58] 383*2^334330-1 is not prime. Res64: 9986F60A095C731B Time : 0.0 sec. user=mdettweiler [2009-09-06 10:07:58] 369*2^334327-1 is not prime. Res64: B4D103CDEDA1A83C Time : 0.0 sec. user=mdettweiler [2009-09-06 10:08:31] 369*2^334328-1 is not prime. Res64: E2417C665A962FB9 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:09:53] 377*2^334330-1 is not prime. Res64: CDABDC1211AA39DD Time : 0.0 sec. user=mdettweiler [2009-09-06 10:09:53] 357*2^334329-1 is not prime. Res64: 159D7462B43BA6F3 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:09:54] 313*2^334331-1 is not prime. Res64: 980D752F90857247 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:10:47] 325*2^334333-1 is not prime. Res64: 8EDE89C81EA24B1E Time : 0.0 sec. user=mdettweiler [2009-09-06 10:11:49] 351*2^334333-1 is not prime. Res64: 5880601F5989C118 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:11:49] 387*2^334332-1 is not prime. Res64: A42E5968958710AD Time : 0.0 sec. user=mdettweiler [2009-09-06 10:11:50] 367*2^334333-1 is not prime. Res64: 9ACC6F63E60058BB Time : 0.0 sec. user=mdettweiler [2009-09-06 10:13:03] 349*2^334331-1 is not prime. Res64: 5E718E0AAC0E8FFD Time : 0.0 sec. user=mdettweiler [2009-09-06 10:13:44] 301*2^334335-1 is not prime. Res64: 61748E61FDE64C78 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:13:45] 309*2^334337-1 is not prime. Res64: 1EBE050C7BB0BC9F Time : 0.0 sec. user=mdettweiler [2009-09-06 10:13:46] 339*2^334335-1 is not prime. Res64: EACC6744678D9577 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:15:19] 393*2^334334-1 is not prime. Res64: D1856548E7BCC8B1 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:15:34] 385*2^334335-1 is not prime. Res64: 890BB24E38354B3D Time : 0.0 sec. user=mdettweiler [2009-09-06 10:15:35] 315*2^334339-1 is not prime. Res64: A0AE14777C69AEBF Time : 0.0 sec. user=mdettweiler [2009-09-06 10:15:36] 347*2^334338-1 is not prime. Res64: 6AB74C9EF04922AE Time : 0.0 sec. user=mdettweiler [2009-09-06 10:17:25] 347*2^334340-1 is not prime. Res64: DC53303BEDBF8B71 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:17:25] 381*2^334339-1 is not prime. Res64: EB502B350CE70E30 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:17:26] 315*2^334342-1 is not prime. Res64: 5B067290B78FCF1B Time : 0.0 sec. user=mdettweiler [2009-09-06 10:17:27] 321*2^334342-1 is not prime. Res64: 1C1544699B28658D Time : 0.0 sec. user=mdettweiler [2009-09-06 10:19:15] 345*2^334341-1 is not prime. Res64: EA325A92F5FE748F Time : 0.0 sec. user=mdettweiler [2009-09-06 10:19:16] 387*2^334342-1 is not prime. Res64: 27D0ACE324C832E1 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:19:17] 325*2^334345-1 is not prime. Res64: 801B9896F4C7045C Time : 0.0 sec. user=mdettweiler [2009-09-06 10:19:22] 371*2^334346-1 is not prime. Res64: C1E1C75ED68AA420 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:21:06] 393*2^334346-1 is not prime. Res64: 5A98DD772D166FCF Time : 0.0 sec. user=mdettweiler [2009-09-06 10:21:07] 333*2^334346-1 is not prime. Res64: FFE9151DB08E8446 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:21:08] 365*2^334346-1 is not prime. Res64: C2628BCB8A00D5ED Time : 0.0 sec. user=mdettweiler [2009-09-06 10:21:41] 357*2^334344-1 is not prime. Res64: 9E7197D37564D047 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:25:18] 369*2^334349-1 is not prime. Res64: 6B4C121BAE5D2404 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:27:34] 357*2^334348-1 is not prime. Res64: BC0CB9A460706292 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:29:51] 313*2^334351-1 is not prime. Res64: 69BB67A86A8AFD30 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:32:08] 325*2^334353-1 is not prime. Res64: 96094C61E17FFC55 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:34:25] 327*2^334353-1 is not prime. Res64: 389E2CD004C53F9E Time : 0.0 sec. user=mdettweiler [2009-09-06 10:36:46] 373*2^334351-1 is not prime. Res64: 5EFC60D9ABFF092C Time : 0.0 sec. user=mdettweiler [2009-09-06 10:39:03] 383*2^334352-1 is not prime. Res64: BA716BACED8613D8 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:41:19] 379*2^334351-1 is not prime. Res64: 345A9D65A72FFEA0 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:43:36] 301*2^334357-1 is not prime. Res64: AA1EE8723E668D70 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:45:52] 315*2^334355-1 is not prime. Res64: 136E5D75712B2FDC Time : 0.0 sec. user=mdettweiler [2009-09-06 10:48:09] 345*2^334356-1 is not prime. Res64: 4996788740EAF2B2 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:50:25] 333*2^334355-1 is not prime. Res64: 177B2F8FD52ABE97 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:52:47] 333*2^334356-1 is not prime. Res64: 98872B4DD0E3DE90 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:55:09] 363*2^334356-1 is not prime. Res64: 852D98516B086336 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:57:25] 399*2^334356-1 is not prime. Res64: DA7EFE308D83F700 Time : 0.0 sec. user=mdettweiler [2009-09-06 10:59:42] 303*2^334360-1 is not prime. Res64: 84EE67623770F384 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:01:58] 311*2^334358-1 is not prime. Res64: A8C79BE5A0A3E455 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:04:15] 313*2^334359-1 is not prime. Res64: 957F6143C6BF01C6 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:06:31] 333*2^334359-1 is not prime. Res64: C203714269304D02 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:08:47] 369*2^334360-1 is not prime. Res64: ADF883DD238957A0 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:11:09] 377*2^334360-1 is not prime. Res64: 435C45EB2C69316E Time : 0.0 sec. user=mdettweiler [2009-09-06 11:13:31] 365*2^334358-1 is not prime. Res64: 001A5959D2E2BC5A Time : 0.0 sec. user=mdettweiler [2009-09-06 11:15:47] 381*2^334358-1 is not prime. Res64: C03BBADC49BAAB95 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:18:04] 301*2^334363-1 is not prime. Res64: 3803CD19B373030A Time : 0.0 sec. user=mdettweiler [2009-09-06 11:20:20] 303*2^334363-1 is not prime. Res64: B6ACFB5D25A13F40 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:22:37] 325*2^334363-1 is not prime. Res64: 2BB731B5D6F7F19E Time : 0.0 sec. user=mdettweiler [2009-09-06 11:24:53] 385*2^334363-1 is not prime. Res64: 8919D3DA57645EED Time : 0.0 sec. user=mdettweiler [2009-09-06 11:27:10] 301*2^334365-1 is not prime. Res64: 31C14542CB5FEF38 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:29:31] 315*2^334365-1 is not prime. Res64: 70F54AF26810AC5F Time : 0.0 sec. user=mdettweiler [2009-09-06 11:31:48] 323*2^334366-1 is not prime. Res64: 555C1B801A02B930 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:32:49] 397*2^334349-1 is not prime. Res64: C3A98B7B4E85D6D3 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:32:55] 395*2^334348-1 is not prime. Res64: BF88C0C28565D282 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:32:56] 315*2^334349-1 is not prime. Res64: 79507CE2AB066A2B Time : 0.0 sec. user=mdettweiler [2009-09-06 11:34:04] 335*2^334364-1 is not prime. Res64: 0A09843A787F2955 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:34:50] 339*2^334365-1 is not prime. Res64: D034FA9422979953 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:34:51] 345*2^334365-1 is not prime. Res64: F2A719AF8E83E9AB Time : 0.0 sec. user=mdettweiler [2009-09-06 11:34:51] 345*2^334366-1 is not prime. Res64: 2371A43F08FBDB97 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:36:20] 347*2^334364-1 is not prime. Res64: 5583ACB123477640 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:36:46] 387*2^334366-1 is not prime. Res64: 1B84727456584A11 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:36:46] 387*2^334365-1 is not prime. Res64: 2E15FE04BAA2DC70 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:36:47] 321*2^334367-1 is not prime. Res64: B4098047EC2716C9 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:38:37] 355*2^334367-1 is not prime. Res64: 0736D992B58A1D78 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:38:38] 355*2^334369-1 is not prime. Res64: D16306D23EF4F7BD Time : 0.0 sec. user=mdettweiler [2009-09-06 11:38:38] 369*2^334369-1 is not prime. Res64: E2668704D6B1FC71 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:38:39] 341*2^334370-1 is not prime. Res64: 1BD55EA4F4856DF4 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:40:33] 381*2^334367-1 is not prime. Res64: F489B2CAB3D3DB60 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:40:34] 301*2^334371-1 is not prime. Res64: B98460D0218C9FF1 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:40:35] 353*2^334372-1 is not prime. Res64: BC4B68E9D5EAEAE6 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:40:36] 365*2^334372-1 is not prime. Res64: 938213DCCD7882FC Time : 0.0 sec. user=mdettweiler [2009-09-06 11:42:26] 349*2^334371-1 is not prime. Res64: 9D808B34BCC32D7F Time : 0.0 sec. user=mdettweiler [2009-09-06 11:42:27] 345*2^334374-1 is not prime. Res64: 4F084330299A80DA Time : 0.0 sec. user=mdettweiler [2009-09-06 11:42:27] 383*2^334376-1 is not prime. Res64: 59258652F8876611 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:42:28] 363*2^334376-1 is not prime. Res64: C05C8F1FF64DE40F Time : 0.0 sec. user=mdettweiler [2009-09-06 11:44:17] 315*2^334379-1 is not prime. Res64: B5D4CD7DC63DC48F Time : 0.0 sec. user=mdettweiler [2009-09-06 11:44:18] 317*2^334378-1 is not prime. Res64: 5954575495504FFD Time : 0.0 sec. user=mdettweiler [2009-09-06 11:44:18] 317*2^334380-1 is not prime. Res64: 05063BF33C936A09 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:44:19] 327*2^334380-1 is not prime. Res64: 3B19C594F89636AC Time : 0.0 sec. user=mdettweiler [2009-09-06 11:46:13] 393*2^334378-1 is not prime. Res64: 08FAE358461A392A Time : 0.0 sec. user=mdettweiler [2009-09-06 11:46:13] 393*2^334379-1 is not prime. Res64: 598AC3C13A50205E Time : 0.0 sec. user=mdettweiler [2009-09-06 11:46:14] 377*2^334380-1 is not prime. Res64: 2351A25DACFC1F29 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:46:14] 367*2^334377-1 is not prime. Res64: 7D796EF7B82B25B0 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:48:04] 391*2^334377-1 is not prime. Res64: 34EFB177671FED3E Time : 0.0 sec. user=mdettweiler [2009-09-06 11:48:04] 391*2^334379-1 is not prime. Res64: D4B56FDC4C19E1C3 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:48:05] 399*2^334379-1 is not prime. Res64: 55E863DE91FF2211 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:48:05] 393*2^334382-1 is not prime. Res64: 9889DE364E704623 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:49:54] 333*2^334383-1 is not prime. Res64: 2413FC1CD4AEA274 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:49:55] 363*2^334382-1 is not prime. Res64: 12FA9CAF105C626B Time : 0.0 sec. user=mdettweiler [2009-09-06 11:49:56] 381*2^334381-1 is not prime. Res64: 0E79E1B11477720F Time : 0.0 sec. user=mdettweiler [2009-09-06 11:49:56] 357*2^334382-1 is not prime. Res64: F7365EAC55F77AFB Time : 0.0 sec. user=mdettweiler [2009-09-06 11:51:45] 301*2^334385-1 is not prime. Res64: 0707BF61DBE866CF Time : 0.0 sec. user=mdettweiler [2009-09-06 11:51:46] 315*2^334384-1 is not prime. Res64: 5C8134B0F3E28E6D Time : 0.0 sec. user=mdettweiler [2009-09-06 11:51:46] 327*2^334385-1 is not prime. Res64: 93D6D1DC24A063EF Time : 0.0 sec. user=mdettweiler [2009-09-06 11:51:55] 355*2^334385-1 is not prime. Res64: 4B063885C1B08944 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:53:36] 383*2^334386-1 is not prime. Res64: F57DE9D24AFB0485 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:53:37] 333*2^334386-1 is not prime. Res64: 7EC9BAF9AE7EFB95 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:53:37] 377*2^334386-1 is not prime. Res64: C6F66798E0C56D96 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:54:10] 341*2^334386-1 is not prime. Res64: 7C6557CA19AF1B1B Time : 0.0 sec. user=mdettweiler [2009-09-06 11:55:32] 351*2^334390-1 is not prime. Res64: 7920B33599B8483A Time : 0.0 sec. user=mdettweiler [2009-09-06 11:55:32] 395*2^334388-1 is not prime. Res64: 8549C7405821E669 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:55:33] 317*2^334392-1 is not prime. Res64: C81CC30A056B5D19 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:56:26] 325*2^334393-1 is not prime. Res64: F1397C9C1DCF8A80 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:57:23] 331*2^334393-1 is not prime. Res64: 723BB2102178CB25 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:57:24] 355*2^334393-1 is not prime. Res64: 12E431BE6B615BF9 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:57:25] 393*2^334390-1 is not prime. Res64: 407AE99A6AEB1A63 Time : 0.0 sec. user=mdettweiler [2009-09-06 11:58:40] 387*2^334390-1 is not prime. Res64: C1720432F59BA3DF Time : 0.0 sec. user=mdettweiler [2009-09-06 11:59:21] 399*2^334391-1 is not prime. Res64: D8C3C3803C71CBBB Time : 0.0 sec. user=mdettweiler [2009-09-06 11:59:22] 315*2^334395-1 is not prime. Res64: 917B682814FA066E Time : 0.0 sec. user=mdettweiler [2009-09-06 11:59:22] 327*2^334396-1 is not prime. Res64: AFCF8ECFBB79DC95 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:00:56] 345*2^334395-1 is not prime. Res64: 8AFADB6C275C5338 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:01:11] 347*2^334394-1 is not prime. Res64: A4527B4F179FC722 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:01:12] 353*2^334396-1 is not prime. Res64: 67E093BC3B31C313 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:01:13] 301*2^334397-1 is not prime. Res64: 081FDCA44FDC8C64 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:03:01] 313*2^334399-1 is not prime. Res64: 15EDB1DC50C213B6 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:03:07] 355*2^334397-1 is not prime. Res64: CC04C2BE2A4B43F5 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:03:08] 377*2^334398-1 is not prime. Res64: E7BBA2C7883EA46D Time : 0.0 sec. user=mdettweiler [2009-09-06 12:03:08] 363*2^334400-1 is not prime. Res64: 017B46C68F51793B Time : 0.0 sec. user=mdettweiler [2009-09-06 12:04:58] 349*2^334399-1 is not prime. Res64: 42B6EF6CCC8949AB Time : 0.0 sec. user=mdettweiler [2009-09-06 12:04:59] 391*2^334399-1 is not prime. Res64: 70F87739177F7789 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:05:00] 345*2^334402-1 is not prime. Res64: 51921CDBEDAAB31D Time : 0.0 sec. user=mdettweiler [2009-09-06 12:05:01] 367*2^334401-1 is not prime. Res64: 32997A5FA55EC541 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:06:51] 349*2^334403-1 is not prime. Res64: D057C5E52A6DF8A5 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:06:52] 309*2^334405-1 is not prime. Res64: AFA2F74D17B2BBB9 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:06:53] 321*2^334405-1 is not prime. Res64: F5CA6BBE9DE0099D Time : 0.0 sec. user=mdettweiler [2009-09-06 12:06:54] 327*2^334405-1 is not prime. Res64: 3876C0240B6594BB Time : 0.0 sec. user=mdettweiler [2009-09-06 12:08:43] 393*2^334406-1 is not prime. Res64: 5DB72828650B4437 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:08:44] 381*2^334405-1 is not prime. Res64: 616F2A28484A8837 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:08:44] 317*2^334408-1 is not prime. Res64: 6972F4FCC1474B6B Time : 0.0 sec. user=mdettweiler [2009-09-06 12:08:45] 321*2^334407-1 is not prime. Res64: 6EA6B77D29607118 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:10:40] 327*2^334409-1 is not prime. Res64: F694621F806F46A2 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:10:41] 339*2^334409-1 is not prime. Res64: 6B3CE72D6315910D Time : 0.0 sec. user=mdettweiler [2009-09-06 12:10:47] 393*2^334408-1 is not prime. Res64: 52FB4B56B977F6B6 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:10:47] 369*2^334408-1 is not prime. Res64: 840BF283C721E73E Time : 0.0 sec. user=mdettweiler [2009-09-06 12:12:36] 391*2^334407-1 is not prime. Res64: 1068ADD6049D8269 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:12:37] 335*2^334412-1 is not prime. Res64: B9D2875F4C130958 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:12:37] 339*2^334411-1 is not prime. Res64: C834124D53437D7C Time : 0.0 sec. user=mdettweiler [2009-09-06 12:12:38] 347*2^334412-1 is not prime. Res64: A478C1646EFC826B Time : 0.0 sec. user=mdettweiler [2009-09-06 12:14:27] 355*2^334413-1 is not prime. Res64: A563B801DDD01355 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:14:28] 383*2^334412-1 is not prime. Res64: 11FE9220E080E4B4 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:14:28] 349*2^334411-1 is not prime. Res64: 2C269AC51BB10306 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:14:29] 381*2^334411-1 is not prime. Res64: 379B7FB5EB3F7DC6 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:16:19] 391*2^334413-1 is not prime. Res64: E1131810BA040DC6 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:16:19] 379*2^334411-1 is not prime. Res64: E0F4F1271242A951 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:16:20] 315*2^334414-1 is not prime. Res64: 689B38C36ED5168B Time : 0.0 sec. user=mdettweiler [2009-09-06 12:16:20] 315*2^334415-1 is not prime. Res64: 45A74BF4E839746C Time : 0.0 sec. user=mdettweiler [2009-09-06 12:18:10] 347*2^334416-1 is not prime. Res64: 4EBDB77297542B91 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:18:11] 395*2^334416-1 is not prime. Res64: 7CBCAE441FB618DB Time : 0.0 sec. user=mdettweiler [2009-09-06 12:18:12] 383*2^334416-1 is not prime. Res64: 9CC1BAB552607F77 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:18:13] 365*2^334414-1 is not prime. Res64: AEC9FB82A58A44BC Time : 0.0 sec. user=mdettweiler [2009-09-06 12:20:02] 303*2^334419-1 is not prime. Res64: 65C782B4EA2E0410 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:20:03] 307*2^334417-1 is not prime. Res64: 490107E7D923B42C Time : 0.0 sec. user=mdettweiler [2009-09-06 12:20:03] 325*2^334417-1 is not prime. Res64: 49D48916663C1E0F Time : 0.0 sec. user=mdettweiler [2009-09-06 12:20:04] 321*2^334422-1 is not prime. Res64: 96E4BD9C664C1BD2 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:21:53] 339*2^334421-1 is not prime. Res64: 9D3056308FE16EA6 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:21:54] 347*2^334422-1 is not prime. Res64: 0068D0D19DA42669 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:21:54] 391*2^334423-1 is not prime. Res64: BAFD8561659B4423 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:22:00] 379*2^334423-1 is not prime. Res64: 16D9EB8BC776E920 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:23:45] 321*2^334425-1 is not prime. Res64: E8A481CF42B0F527 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:23:46] 371*2^334426-1 is not prime. Res64: 2EB71456E78C629C Time : 0.0 sec. user=mdettweiler [2009-09-06 12:23:47] 397*2^334425-1 is not prime. Res64: BFE72BBE6787B307 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:24:16] 329*2^334428-1 is not prime. Res64: 8680339FE0CEEFB3 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:25:43] 319*2^334427-1 is not prime. Res64: FC65CCD2FE31A6ED Time : 0.0 sec. user=mdettweiler [2009-09-06 12:25:44] 383*2^334428-1 is not prime. Res64: CB834D78F13FCA28 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:25:44] 341*2^334430-1 is not prime. Res64: 81CA3AAD7FDCF775 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:26:32] 391*2^334427-1 is not prime. Res64: 90251751CEBCA1AA Time : 0.0 sec. user=mdettweiler [2009-09-06 12:27:34] 391*2^334429-1 is not prime. Res64: 2BCC631C5A065227 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:27:35] 307*2^334433-1 is not prime. Res64: 07BC8CA3986FAA8C Time : 0.0 sec. user=mdettweiler [2009-09-06 12:27:35] 345*2^334431-1 is not prime. Res64: 149490AAA3289C03 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:28:53] 373*2^334431-1 is not prime. Res64: B2490A44834B1963 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:29:25] 319*2^334431-1 is not prime. Res64: 7AAA13EE6995EA96 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:29:25] 369*2^334432-1 is not prime. Res64: 18F18A8A19AFF4C4 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:29:26] 391*2^334433-1 is not prime. Res64: 7D3D9CCB029B4B52 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:31:10] 309*2^334436-1 is not prime. Res64: 957DF35C5265B958 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:31:16] 323*2^334436-1 is not prime. Res64: F2AB1BCBBCB24546 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:31:16] 377*2^334434-1 is not prime. Res64: 53FCF7C2673B2CCA Time : 0.0 sec. user=mdettweiler [2009-09-06 12:31:17] 399*2^334435-1 is not prime. Res64: 7D1B8D3ADB47F4D9 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:33:08] 399*2^334436-1 is not prime. Res64: 2BE1B2A9AC719AEE Time : 0.0 sec. user=mdettweiler [2009-09-06 12:33:08] 325*2^334437-1 is not prime. Res64: 3FA285B380D312A6 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:33:09] 333*2^334440-1 is not prime. Res64: 696907F93607F127 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:33:10] 369*2^334439-1 is not prime. Res64: 621F800995B237E6 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:35:04] 341*2^334438-1 is not prime. Res64: BDF86BE4F00C28A2 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:35:06] 345*2^334440-1 is not prime. Res64: 31EF52E82FE7E44B Time : 0.0 sec. user=mdettweiler [2009-09-06 12:35:07] 355*2^334441-1 is not prime. Res64: CA7B12A151C76A85 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:35:08] 387*2^334441-1 is not prime. Res64: CC8D4056087A3B19 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:36:58] 333*2^334443-1 is not prime. Res64: E81540053F9E122B Time : 0.0 sec. user=mdettweiler [2009-09-06 12:36:59] 385*2^334443-1 is not prime. Res64: 00BC1EBA3B73BB50 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:37:00] 365*2^334442-1 is not prime. Res64: F4CE4A8365C0B86D Time : 0.0 sec. user=mdettweiler [2009-09-06 12:37:05] 391*2^334443-1 is not prime. Res64: 944B6F678788A16E Time : 0.0 sec. user=mdettweiler [2009-09-06 12:38:50] 357*2^334440-1 is not prime. Res64: CD56A051E9F0A6B3 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:38:51] 317*2^334446-1 is not prime. Res64: 1BB15811C6FA85A3 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:38:51] 327*2^334444-1 is not prime. Res64: 6360D692EB17ED94 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:39:30] 317*2^334450-1 is not prime. Res64: 9709F0B5B6B9D52D Time : 0.0 sec. user=mdettweiler [2009-09-06 12:40:41] 323*2^334450-1 is not prime. Res64: DBF91EF860AE933E Time : 0.0 sec. user=mdettweiler [2009-09-06 12:40:42] 327*2^334448-1 is not prime. Res64: A3EAF2CD0FC8E9EC Time : 0.0 sec. user=mdettweiler [2009-09-06 12:40:48] 339*2^334448-1 is not prime. Res64: 2DD26A7E446BC6DC Time : 0.0 sec. user=mdettweiler [2009-09-06 12:41:52] 385*2^334447-1 is not prime. Res64: 1F94D2BF11E5707C Time : 0.0 sec. user=mdettweiler [2009-09-06 12:42:36] 363*2^334448-1 is not prime. Res64: 2A220353BA2BACC3 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:42:38] 325*2^334453-1 is not prime. Res64: 9C1BA02E7572FC82 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:43:08] 371*2^334450-1 is not prime. Res64: AF84FFDA8066861D Time : 0.0 sec. user=mdettweiler [2009-09-06 12:44:15] 393*2^334451-1 is not prime. Res64: 7C9F4BD3531B260B Time : 0.0 sec. user=mdettweiler [2009-09-06 12:44:41] 333*2^334451-1 is not prime. Res64: 5717D357E7B02588 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:44:41] 367*2^334453-1 is not prime. Res64: F060C09A7FE735C9 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:45:26] 363*2^334450-1 is not prime. Res64: 4109D41F870B9150 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:46:33] 305*2^334454-1 is not prime. Res64: 66283A8C3DF5F380 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:46:35] 385*2^334455-1 is not prime. Res64: AE803E982291F361 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:46:35] 363*2^334455-1 is not prime. Res64: DBF5F181CBEF640B Time : 0.0 sec. user=mdettweiler [2009-09-06 12:47:41] 307*2^334457-1 is not prime. Res64: D61F3A3DA81F1AEC Time : 0.0 sec. user=mdettweiler [2009-09-06 12:48:28] 385*2^334459-1 is not prime. Res64: 1A8E835EC01B8880 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:48:29] 337*2^334457-1 is not prime. Res64: 9B060B0ED0AB96CA Time : 0.0 sec. user=mdettweiler [2009-09-06 12:48:30] 369*2^334459-1 is not prime. Res64: 97FEC36E82E6AC2C Time : 0.0 sec. user=mdettweiler [2009-09-06 12:50:00] 357*2^334457-1 is not prime. Res64: D3EC9FEC444FFE1E Time : 0.0 sec. user=mdettweiler [2009-09-06 12:50:21] 379*2^334457-1 is not prime. Res64: CEE2B9DC8E052E4C Time : 0.0 sec. user=mdettweiler [2009-09-06 12:50:22] 399*2^334459-1 is not prime. Res64: 6A726C49E3A690CC Time : 0.0 sec. user=mdettweiler [2009-09-06 12:50:23] 327*2^334461-1 is not prime. Res64: 1B7F81B2450563D2 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:52:12] 335*2^334462-1 is not prime. Res64: 7761004A19B6F7A8 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:52:13] 339*2^334461-1 is not prime. Res64: E24126874287683D Time : 0.0 sec. user=mdettweiler [2009-09-06 12:52:13] 383*2^334462-1 is not prime. Res64: 08A122D69187F1E3 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:52:14] 353*2^334462-1 is not prime. Res64: B5F5DE9B63C0F58C Time : 0.0 sec. user=mdettweiler [2009-09-06 12:54:04] 333*2^334463-1 is not prime. Res64: E3C3400C31DE4DB4 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:54:05] 377*2^334460-1 is not prime. Res64: 79DED1701EA641E4 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:54:06] 367*2^334461-1 is not prime. Res64: 2E5DA7A0B8A5EA38 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:54:07] 349*2^334463-1 is not prime. Res64: 90764AF0577BC05A Time : 0.0 sec. user=mdettweiler [2009-09-06 12:55:58] 327*2^334466-1 is not prime. Res64: 6F196F1ECE306E79 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:55:59] 351*2^334466-1 is not prime. Res64: 3BC9EED46862C967 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:56:00] 341*2^334466-1 is not prime. Res64: 064709EAA0C141A1 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:56:01] 379*2^334465-1 is not prime. Res64: 9089B02C8B7E57C4 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:57:52] 301*2^334467-1 is not prime. Res64: 2442B20BF8E6A97E Time : 0.0 sec. user=mdettweiler [2009-09-06 12:57:54] 305*2^334470-1 is not prime. Res64: CA3F7D4B5D4D33C8 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:57:54] 315*2^334467-1 is not prime. Res64: 2C2D1DEA3EE9403B Time : 0.0 sec. user=mdettweiler [2009-09-06 12:57:55] 315*2^334468-1 is not prime. Res64: C8F842F855818BD2 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:59:45] 325*2^334467-1 is not prime. Res64: B21CC66D4CA25349 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:59:47] 319*2^334469-1 is not prime. Res64: 71E09D12628CBF61 Time : 0.0 sec. user=mdettweiler [2009-09-06 12:59:48] 395*2^334468-1 is not prime. Res64: 4C58F6308492E1BF Time : 0.0 sec. user=mdettweiler [2009-09-06 12:59:49] 387*2^334468-1 is not prime. Res64: F3FB04133AB616FF Time : 0.0 sec. user=mdettweiler [2009-09-06 13:01:45] 399*2^334467-1 is not prime. Res64: 36B6E97EF609AC90 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:01:46] 315*2^334470-1 is not prime. Res64: B625A96ADAFF87D6 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:01:46] 321*2^334470-1 is not prime. Res64: 35B1D45E8B26F09A Time : 0.0 sec. user=mdettweiler [2009-09-06 13:01:47] 329*2^334472-1 is not prime. Res64: 314A85F346341CFE Time : 0.0 sec. user=mdettweiler [2009-09-06 13:03:41] 339*2^334471-1 is not prime. Res64: A2BD990617FC8951 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:03:42] 371*2^334470-1 is not prime. Res64: 29840799E03F0C76 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:03:43] 387*2^334473-1 is not prime. Res64: C85FB14128AE35E5 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:03:43] 357*2^334472-1 is not prime. Res64: 3399D65DEE3A989A Time : 0.0 sec. user=mdettweiler [2009-09-06 13:05:32] 399*2^334471-1 is not prime. Res64: DBA3F604885B6150 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:05:33] 315*2^334474-1 is not prime. Res64: 7C2A4A8FE673E1C3 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:05:33] 315*2^334475-1 is not prime. Res64: AC091D8193A9E39D Time : 0.0 sec. user=mdettweiler [2009-09-06 13:05:34] 397*2^334473-1 is not prime. Res64: BAD458B5B4EACCE8 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:07:23] 377*2^334474-1 is not prime. Res64: F5BC0A7CA589AF21 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:07:24] 381*2^334478-1 is not prime. Res64: DA40E8DA260E56C6 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:07:26] 379*2^334477-1 is not prime. Res64: 72D3BF2AA94FFF1A Time : 0.0 sec. user=mdettweiler [2009-09-06 13:07:27] 393*2^334480-1 is not prime. Res64: 51C6353113C4E98A Time : 0.0 sec. user=mdettweiler [2009-09-06 13:09:23] 337*2^334481-1 is not prime. Res64: F3256F8FC48E9F9C Time : 0.0 sec. user=mdettweiler [2009-09-06 13:09:25] 341*2^334482-1 is not prime. Res64: 6469AAE8EC3ECAB3 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:09:26] 357*2^334482-1 is not prime. Res64: 0F7CA064E26E0F6F Time : 0.0 sec. user=mdettweiler [2009-09-06 13:09:27] 311*2^334486-1 is not prime. Res64: 22A3FEA6951EB8A0 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:11:16] 315*2^334486-1 is not prime. Res64: D8A52AD9C394FFAE Time : 0.0 sec. user=mdettweiler [2009-09-06 13:11:17] 325*2^334485-1 is not prime. Res64: CA8738CA42DA9F8F Time : 0.0 sec. user=mdettweiler [2009-09-06 13:11:18] 393*2^334486-1 is not prime. Res64: 1E7FBC350485E407 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:11:18] 365*2^334484-1 is not prime. Res64: A40F20574F2EF3B0 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:13:09] 391*2^334485-1 is not prime. Res64: AB27F002E1E44CBB Time : 0.0 sec. user=mdettweiler [2009-09-06 13:13:10] 303*2^334488-1 is not prime. Res64: CF8272CDC9C65D3D Time : 0.0 sec. user=mdettweiler [2009-09-06 13:13:10] 317*2^334488-1 is not prime. Res64: 18B589CCDB2A239B Time : 0.0 sec. user=mdettweiler [2009-09-06 13:13:20] 351*2^334489-1 is not prime. Res64: 298E2FBBF9BDCEAC Time : 0.0 sec. user=mdettweiler [2009-09-06 13:15:02] 395*2^334488-1 is not prime. Res64: 4F66F4BA43EC7781 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:15:03] 381*2^334489-1 is not prime. Res64: 7FF9E8FEB860F3F2 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:15:03] 307*2^334493-1 is not prime. Res64: 432F275C465D8013 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:15:42] 309*2^334492-1 is not prime. Res64: 05FA55A4647D57D2 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:16:54] 383*2^334490-1 is not prime. Res64: A0D11377BF3E5B40 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:16:55] 387*2^334492-1 is not prime. Res64: 3C64146305F17E25 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:16:56] 363*2^334490-1 is not prime. Res64: C12F841340F16DBF Time : 0.0 sec. user=mdettweiler [2009-09-06 13:17:59] 381*2^334491-1 is not prime. Res64: EA040268B9B4961B Time : 0.0 sec. user=mdettweiler [2009-09-06 13:18:51] 303*2^334495-1 is not prime. Res64: E8096F6A0304FD78 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:18:52] 321*2^334494-1 is not prime. Res64: 60A6C84FC82DAF41 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:18:53] 345*2^334494-1 is not prime. Res64: 728AAB898312DF8E Time : 0.0 sec. user=mdettweiler [2009-09-06 13:20:17] 369*2^334496-1 is not prime. Res64: 7EC25D53EC982B89 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:20:43] 391*2^334495-1 is not prime. Res64: 6157728AB9EE1C6E Time : 0.0 sec. user=mdettweiler [2009-09-06 13:20:45] 327*2^334498-1 is not prime. Res64: 9DC6EFD3D47139E1 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:20:46] 387*2^334497-1 is not prime. Res64: E031563015148C77 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:22:39] 369*2^334497-1 is not prime. Res64: 5C15611FEE9990B1 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:22:45] 301*2^334503-1 is not prime. Res64: E47754E07E574489 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:22:45] 345*2^334500-1 is not prime. Res64: 1FF750028C98D067 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:22:46] 395*2^334500-1 is not prime. Res64: C58C04FD479040D8 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:24:36] 369*2^334500-1 is not prime. Res64: B4846C4091F50CC1 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:24:37] 377*2^334500-1 is not prime. Res64: 9A63436310BB77F7 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:24:38] 363*2^334500-1 is not prime. Res64: CA72E1E988B89776 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:24:39] 379*2^334501-1 is not prime. Res64: 89A0CDEF340D05F1 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:26:28] 381*2^334502-1 is not prime. Res64: 3A098F002282F94B Time : 0.0 sec. user=mdettweiler [2009-09-06 13:26:29] 327*2^334504-1 is not prime. Res64: C39B0AC320A82E86 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:26:30] 327*2^334505-1 is not prime. Res64: DE2837CEDA9245FA Time : 0.0 sec. user=mdettweiler [2009-09-06 13:26:30] 335*2^334504-1 is not prime. Res64: 364C241A7215D07C Time : 0.0 sec. user=mdettweiler [2009-09-06 13:28:19] 319*2^334505-1 is not prime. Res64: 9134C0D01EC95AA4 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:28:20] 383*2^334506-1 is not prime. Res64: F558C686BD951649 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:28:21] 393*2^334504-1 is not prime. Res64: 65E9839ED70481CB Time : 0.0 sec. user=mdettweiler [2009-09-06 13:28:34] 399*2^334503-1 is not prime. Res64: 377364900F5C34EF Time : 0.0 sec. user=mdettweiler [2009-09-06 13:30:10] 335*2^334508-1 is not prime. Res64: A1DC235B215CD5C1 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:30:11] 339*2^334507-1 is not prime. Res64: 86E88071920C1D51 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:30:12] 345*2^334509-1 is not prime. Res64: EABF7380C21E0089 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:30:50] 397*2^334509-1 is not prime. Res64: 811E7090AD4BA523 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:32:07] 333*2^334508-1 is not prime. Res64: 299313E5E0A4798E Time : 0.0 sec. user=mdettweiler [2009-09-06 13:32:08] 363*2^334508-1 is not prime. Res64: 6231D74A8197C350 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:32:09] 357*2^334508-1 is not prime. Res64: 5C51D45D7FE2F24D Time : 0.0 sec. user=mdettweiler [2009-09-06 13:33:07] 399*2^334508-1 is not prime. Res64: 252B3EF67852321E Time : 0.0 sec. user=mdettweiler [2009-09-06 13:33:59] 317*2^334510-1 is not prime. Res64: 9766C4A0CDF0C4ED Time : 0.0 sec. user=mdettweiler [2009-09-06 13:34:00] 329*2^334512-1 is not prime. Res64: 18FE8E52BC70729B Time : 0.0 sec. user=mdettweiler [2009-09-06 13:34:02] 345*2^334512-1 is not prime. Res64: E95FECD6D2FAFD1C Time : 0.0 sec. user=mdettweiler [2009-09-06 13:35:26] 319*2^334511-1 is not prime. Res64: 3415A2F4FE14694A Time : 0.0 sec. user=mdettweiler [2009-09-06 13:35:53] 385*2^334511-1 is not prime. Res64: CE85388E40E03BB6 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:35:53] 341*2^334510-1 is not prime. Res64: ED8D0D954F34412D Time : 0.0 sec. user=mdettweiler [2009-09-06 13:35:54] 311*2^334514-1 is not prime. Res64: 058768C74CBB4DBE Time : 0.0 sec. user=mdettweiler [2009-09-06 13:37:43] 321*2^334514-1 is not prime. Res64: E67D089F82A74F9C Time : 0.0 sec. user=mdettweiler [2009-09-06 13:37:44] 327*2^334516-1 is not prime. Res64: 5BF15817A4EEE09F Time : 0.0 sec. user=mdettweiler [2009-09-06 13:37:44] 339*2^334515-1 is not prime. Res64: 970ECADBE6EB412F Time : 0.0 sec. user=mdettweiler [2009-09-06 13:37:45] 333*2^334514-1 is not prime. Res64: 7E3689CB0CC3F551 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:39:34] 369*2^334513-1 is not prime. Res64: D264DCECA406AD30 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:39:36] 365*2^334514-1 is not prime. Res64: 8729F964477815EC Time : 0.0 sec. user=mdettweiler [2009-09-06 13:39:37] 365*2^334516-1 is not prime. Res64: 93280A583D63FAC2 Time : 0.0 sec. user=mdettweiler [2009-09-06 13:39:42] 337*2^334517-1 is not prime. Res64: 8F30C84FA7D6071E Time : 0.0 sec.