user=mdettweiler [2013-01-15 00:08:15] 717*2^1239286-1 is not prime. Res64: 11DC04785DBB75D7 Time : 0.0 sec. user=mdettweiler [2013-01-15 00:08:17] 755*2^1239286-1 is not prime. Res64: ABAD3715DA73528F Time : 0.0 sec. user=mdettweiler [2013-01-15 00:16:35] 777*2^1239286-1 is not prime. Res64: A7F995D11A02115A Time : 0.0 sec. user=mdettweiler [2013-01-15 00:16:36] 833*2^1239286-1 is not prime. Res64: 7C9957266CB54714 Time : 0.0 sec. user=mdettweiler [2013-01-15 00:25:53] 957*2^1239286-1 is not prime. Res64: B80771A9A62E4D04 Time : 0.0 sec. user=mdettweiler [2013-01-15 00:25:54] 983*2^1239286-1 is not prime. Res64: DEAC17B61920D6C6 Time : 0.0 sec. user=mdettweiler [2013-01-15 00:34:05] 603*2^1239287-1 is not prime. Res64: 50DF1DCD54D1C749 Time : 0.0 sec. user=mdettweiler [2013-01-15 00:34:05] 609*2^1239287-1 is not prime. Res64: 4AD2F5E7D373BEB1 Time : 0.0 sec. user=mdettweiler [2013-01-15 00:43:19] 615*2^1239287-1 is not prime. Res64: BDF3C38AA0270DB2 Time : 0.0 sec. user=mdettweiler [2013-01-15 00:43:20] 645*2^1239287-1 is not prime. Res64: B84D78883D5229EB Time : 0.0 sec. user=mdettweiler [2013-01-15 00:51:31] 661*2^1239287-1 is not prime. Res64: E61C553DBB94FFFB Time : 0.0 sec. user=mdettweiler [2013-01-15 00:51:31] 693*2^1239287-1 is not prime. Res64: 524604A8A72A3B0F Time : 0.0 sec. user=mdettweiler [2013-01-15 01:00:46] 775*2^1239287-1 is not prime. Res64: DF0740BA1F35485A Time : 0.0 sec. user=mdettweiler [2013-01-15 01:00:48] 805*2^1239287-1 is not prime. Res64: BC97610ECAD0188D Time : 0.0 sec. user=mdettweiler [2013-01-15 01:08:58] 885*2^1239287-1 is not prime. Res64: 81FE177253A1EED6 Time : 0.0 sec. user=mdettweiler [2013-01-15 01:08:59] 979*2^1239287-1 is not prime. Res64: E65567D0C9405CCA Time : 0.0 sec. user=mdettweiler [2013-01-15 01:18:19] 683*2^1239288-1 is not prime. Res64: 22A9B4EB59DA75E2 Time : 0.0 sec. user=mdettweiler [2013-01-15 01:18:20] 753*2^1239288-1 is not prime. Res64: 0970F0C6CD27F029 Time : 0.0 sec. user=mdettweiler [2013-01-15 01:26:34] 843*2^1239288-1 is not prime. Res64: BA3D6C52D77AB4DA Time : 0.0 sec. user=mdettweiler [2013-01-15 01:26:34] 845*2^1239288-1 is not prime. Res64: 452D770240185BB8 Time : 0.0 sec. user=mdettweiler [2013-01-15 01:35:49] 875*2^1239288-1 is not prime. Res64: DCA212A92712A959 Time : 0.0 sec. user=mdettweiler [2013-01-15 01:35:49] 899*2^1239288-1 is not prime. Res64: D5C515D5AF6D50EB Time : 0.0 sec. user=mdettweiler [2013-01-15 01:44:00] 915*2^1239288-1 is not prime. Res64: 266A2F3E006AF86F Time : 0.0 sec. user=mdettweiler [2013-01-15 01:44:01] 609*2^1239289-1 is not prime. Res64: 4D7E1C45E9B6221E Time : 0.0 sec. user=mdettweiler [2013-01-15 01:53:15] 619*2^1239289-1 is not prime. Res64: 9D21533FFB1B1898 Time : 0.0 sec. user=mdettweiler [2013-01-15 01:53:15] 801*2^1239289-1 is not prime. Res64: 4D87BEB9203EDE43 Time : 0.0 sec. user=mdettweiler [2013-01-15 02:01:26] 819*2^1239289-1 is not prime. Res64: 4E2D3B32D342EF88 Time : 0.0 sec. user=mdettweiler [2013-01-15 02:01:27] 829*2^1239289-1 is not prime. Res64: 0D0C4A33734AEAC2 Time : 0.0 sec. user=mdettweiler [2013-01-15 02:10:41] 835*2^1239289-1 is not prime. Res64: 6C3BFA1856C3BF6C Time : 0.0 sec. user=mdettweiler [2013-01-15 02:10:42] 987*2^1239289-1 is not prime. Res64: 7178ABBD8E09B033 Time : 0.0 sec. user=mdettweiler [2013-01-15 02:18:56] 893*2^1239290-1 is not prime. Res64: 32301DECD54820D8 Time : 0.0 sec. user=mdettweiler [2013-01-15 02:18:57] 957*2^1239290-1 is not prime. Res64: CF857F065314877A Time : 0.0 sec. user=mdettweiler [2013-01-15 02:28:16] 651*2^1239291-1 is not prime. Res64: 2CE3B9D0B05157F9 Time : 0.0 sec. user=mdettweiler [2013-01-15 02:28:16] 735*2^1239291-1 is not prime. Res64: D35EE710CE1A9825 Time : 0.0 sec. user=mdettweiler [2013-01-15 02:36:26] 903*2^1239291-1 is not prime. Res64: 463D32ED8C9EFB5F Time : 0.0 sec. user=mdettweiler [2013-01-15 02:36:28] 687*2^1239292-1 is not prime. Res64: C5D53E7625D42D73 Time : 0.0 sec. user=mdettweiler [2013-01-15 02:45:46] 695*2^1239292-1 is not prime. Res64: 8CD3C12D3F62F6C3 Time : 0.0 sec. user=mdettweiler [2013-01-15 02:45:49] 777*2^1239292-1 is not prime. Res64: 6DCA15693F9FC6DA Time : 0.0 sec. user=mdettweiler [2013-01-15 02:53:56] 833*2^1239292-1 is not prime. Res64: 320232977D47F622 Time : 0.0 sec. user=mdettweiler [2013-01-15 02:53:57] 903*2^1239292-1 is not prime. Res64: 662EEA8A93D984BE Time : 0.0 sec. user=mdettweiler [2013-01-15 03:03:28] 933*2^1239292-1 is not prime. Res64: 6FDE78D0B9A8E9C4 Time : 0.0 sec. user=mdettweiler [2013-01-15 03:03:29] 619*2^1239293-1 is not prime. Res64: 3F9FEAF48B7A20D6 Time : 0.0 sec. user=mdettweiler [2013-01-15 03:11:27] 621*2^1239293-1 is not prime. Res64: F5C3DDF90063A94E Time : 0.0 sec. user=mdettweiler [2013-01-15 03:11:28] 699*2^1239293-1 is not prime. Res64: 220DF5879548EC99 Time : 0.0 sec. user=mdettweiler [2013-01-15 03:20:57] 735*2^1239293-1 is not prime. Res64: 3977D0EDBCF0C3CC Time : 0.0 sec. user=mdettweiler [2013-01-15 03:20:57] 879*2^1239293-1 is not prime. Res64: CAFC22982811B0E1 Time : 0.0 sec. user=mdettweiler [2013-01-15 03:28:57] 937*2^1239293-1 is not prime. Res64: 19004D4B3C32EA33 Time : 0.0 sec. user=mdettweiler [2013-01-15 03:28:58] 635*2^1239294-1 is not prime. Res64: 03BAD104F6AEEBD5 Time : 0.0 sec. user=mdettweiler [2013-01-15 03:38:25] 651*2^1239294-1 is not prime. Res64: 9C516CC3C41B3738 Time : 0.0 sec. user=mdettweiler [2013-01-15 03:38:26] 683*2^1239294-1 is not prime. Res64: F0E5C37818641E73 Time : 0.0 sec. user=mdettweiler [2013-01-15 03:46:27] 773*2^1239294-1 is not prime. Res64: 84EC5DB2AEE04CFC Time : 0.0 sec. user=mdettweiler [2013-01-15 03:46:27] 825*2^1239294-1 is not prime. Res64: 5BBEDB1C3A211261 Time : 0.0 sec. user=mdettweiler [2013-01-15 03:56:03] 917*2^1239294-1 is not prime. Res64: EE7A081E5405FA25 Time : 0.0 sec. user=mdettweiler [2013-01-15 03:56:04] 921*2^1239294-1 is not prime. Res64: 35CF6D35AA7FF49E Time : 0.0 sec. user=mdettweiler [2013-01-15 04:03:54] 603*2^1239295-1 is not prime. Res64: 10B3F04837DF13E0 Time : 0.0 sec. user=mdettweiler [2013-01-15 04:03:54] 709*2^1239295-1 is not prime. Res64: 344334132D207F6F Time : 0.0 sec. user=mdettweiler [2013-01-15 04:13:45] 763*2^1239295-1 is not prime. Res64: 19452A7CFCAA575E Time : 0.0 sec. user=mdettweiler [2013-01-15 04:13:45] 615*2^1239296-1 is not prime. Res64: 7B0ABB55EF0EF989 Time : 0.0 sec. user=mdettweiler [2013-01-15 04:21:27] 755*2^1239296-1 is not prime. Res64: E90C85EC2138F196 Time : 0.0 sec. user=mdettweiler [2013-01-15 04:21:28] 773*2^1239296-1 is not prime. Res64: 6EFFDED1B49054BF Time : 0.0 sec. user=mdettweiler [2013-01-15 04:31:14] 897*2^1239296-1 is not prime. Res64: 8256F4F661F02D8A Time : 0.0 sec. user=mdettweiler [2013-01-15 04:31:15] 963*2^1239296-1 is not prime. Res64: EE876C36869AB124 Time : 0.0 sec. user=mdettweiler [2013-01-15 04:38:54] 777*2^1239297-1 is not prime. Res64: 3600CA0D09369E95 Time : 0.0 sec. user=mdettweiler [2013-01-15 04:38:55] 781*2^1239297-1 is not prime. Res64: 9AAC3AAA33718310 Time : 0.0 sec. user=mdettweiler [2013-01-15 04:48:47] 889*2^1239297-1 is not prime. Res64: 271CBF5C1ACA8D77 Time : 0.0 sec. user=mdettweiler [2013-01-15 04:48:48] 891*2^1239297-1 is not prime. Res64: BB66C43896D9D2D6 Time : 0.0 sec. user=mdettweiler [2013-01-15 04:56:27] 919*2^1239297-1 is not prime. Res64: 822C4B8A7449151F Time : 0.0 sec. user=mdettweiler [2013-01-15 04:56:28] 611*2^1239298-1 is not prime. Res64: 00410921557B1A95 Time : 0.0 sec. user=mdettweiler [2013-01-15 05:06:16] 621*2^1239298-1 is not prime. Res64: F7AF7EEC4F00A086 Time : 0.0 sec. user=mdettweiler [2013-01-15 05:06:17] 671*2^1239298-1 is not prime. Res64: 9F385E61EE718C2C Time : 0.0 sec. user=mdettweiler [2013-01-15 05:13:55] 813*2^1239298-1 is not prime. Res64: 32F529B36B7867B6 Time : 0.0 sec. user=mdettweiler [2013-01-15 05:13:56] 885*2^1239298-1 is not prime. Res64: AD6826446B7F880D Time : 0.0 sec. user=mdettweiler [2013-01-15 05:23:47] 951*2^1239298-1 is not prime. Res64: 487E32F05658F7C8 Time : 0.0 sec. user=mdettweiler [2013-01-15 05:23:49] 801*2^1239299-1 is not prime. Res64: 944E92A65C76CFFB Time : 0.0 sec. user=mdettweiler [2013-01-15 05:31:30] 811*2^1239299-1 is not prime. Res64: 8EC21ABC619C9FBE Time : 0.0 sec. user=mdettweiler [2013-01-15 05:31:31] 841*2^1239299-1 is not prime. Res64: 757D91DCBCD27804 Time : 0.0 sec. user=mdettweiler [2013-01-15 05:41:15] 909*2^1239299-1 is not prime. Res64: 125C338D55DCFEBA Time : 0.0 sec. user=mdettweiler [2013-01-15 05:41:15] 999*2^1239299-1 is not prime. Res64: C71EF22B03AE5081 Time : 0.0 sec. user=mdettweiler [2013-01-15 05:48:57] 629*2^1239300-1 is not prime. Res64: 44553E48C7F11A69 Time : 0.0 sec. user=mdettweiler [2013-01-15 05:48:57] 675*2^1239300-1 is not prime. Res64: 7252EF6771F56D5A Time : 0.0 sec. user=mdettweiler [2013-01-15 05:58:44] 759*2^1239300-1 is not prime. Res64: 7AEC98BEF350A817 Time : 0.0 sec. user=mdettweiler [2013-01-15 05:58:45] 797*2^1239300-1 is not prime. Res64: FFC7A9E562464445 Time : 0.0 sec. user=mdettweiler [2013-01-15 06:06:23] 999*2^1239300-1 is not prime. Res64: 3CA52AF2383506FD Time : 0.0 sec. user=mdettweiler [2013-01-15 06:06:24] 727*2^1239301-1 is not prime. Res64: 138327D2BA45D97C Time : 0.0 sec. user=mdettweiler [2013-01-15 06:16:12] 771*2^1239301-1 is not prime. Res64: 9F23B3E76B241206 Time : 0.0 sec. user=mdettweiler [2013-01-15 06:16:12] 777*2^1239301-1 is not prime. Res64: B013A5A615623226 Time : 0.0 sec. user=mdettweiler [2013-01-15 06:23:50] 817*2^1239301-1 is not prime. Res64: A6653E33921F9E7F Time : 0.0 sec. user=mdettweiler [2013-01-15 06:23:50] 819*2^1239301-1 is not prime. Res64: EF537329E154094B Time : 0.0 sec. user=mdettweiler [2013-01-15 06:33:38] 617*2^1239302-1 is not prime. Res64: 91CAD9E69E059E63 Time : 0.0 sec. user=mdettweiler [2013-01-15 06:33:39] 675*2^1239302-1 is not prime. Res64: 956C9E2741B04126 Time : 0.0 sec. user=mdettweiler [2013-01-15 06:41:18] 755*2^1239302-1 is not prime. Res64: 9F0CC60A6AE11BF5 Time : 0.0 sec. user=mdettweiler [2013-01-15 06:41:18] 771*2^1239302-1 is not prime. Res64: C360863002E87351 Time : 0.0 sec. user=mdettweiler [2013-01-15 06:51:06] 815*2^1239302-1 is not prime. Res64: 25A8C5C2C21B071D Time : 0.0 sec. user=mdettweiler [2013-01-15 06:51:06] 893*2^1239302-1 is not prime. Res64: 12D8BF3C4BF5006B Time : 0.0 sec. user=mdettweiler [2013-01-15 06:58:44] 951*2^1239302-1 is not prime. Res64: 8395B5E887914FDE Time : 0.0 sec. user=mdettweiler [2013-01-15 06:58:45] 615*2^1239303-1 is not prime. Res64: 602B1265109394AA Time : 0.0 sec. user=mdettweiler [2013-01-15 07:08:32] 621*2^1239303-1 is not prime. Res64: AB4C8C0DBD1C4F80 Time : 0.0 sec. user=mdettweiler [2013-01-15 07:08:33] 609*2^1239304-1 is not prime. Res64: EBC34A70A4263DDF Time : 0.0 sec. user=mdettweiler [2013-01-15 07:16:14] 623*2^1239304-1 is not prime. Res64: D4834598002D3E39 Time : 0.0 sec. user=mdettweiler [2013-01-15 07:16:15] 719*2^1239304-1 is not prime. Res64: 3A57FA3B8E3B6A3F Time : 0.0 sec. user=mdettweiler [2013-01-15 07:26:13] 765*2^1239304-1 is not prime. Res64: 35B68075A5734395 Time : 0.0 sec. user=mdettweiler [2013-01-15 07:26:14] 965*2^1239304-1 is not prime. Res64: 80D49FC0D149CFBE Time : 0.0 sec. user=mdettweiler [2013-01-15 07:33:41] 633*2^1239306-1 is not prime. Res64: 99BBA611B683ED37 Time : 0.0 sec. user=mdettweiler [2013-01-15 07:33:41] 833*2^1239306-1 is not prime. Res64: C8BADEF1EBC7F53F Time : 0.0 sec. user=mdettweiler [2013-01-15 07:43:40] 983*2^1239306-1 is not prime. Res64: 35BE4BB40F62D26D Time : 0.0 sec. user=mdettweiler [2013-01-15 07:43:40] 1001*2^1239306-1 is not prime. Res64: DFC139B9A0339F03 Time : 0.0 sec. user=mdettweiler [2013-01-15 08:00:02] 603*2^1239307-1 is not prime. Res64: 6E3F2669DB8B4680 Time : 0.0 sec. user=mdettweiler [2013-01-15 08:00:02] 631*2^1239307-1 is not prime. Res64: 93E4D61915E76898 Time : 0.0 sec. user=mdettweiler [2013-01-15 08:01:08] 741*2^1239307-1 is not prime. Res64: 0FBA47CB87E26D03 Time : 0.0 sec. user=mdettweiler [2013-01-15 08:01:09] 769*2^1239307-1 is not prime. Res64: AC715BEE4CB56490 Time : 0.0 sec. user=mdettweiler [2013-01-15 08:17:29] 871*2^1239307-1 is not prime. Res64: ACB5DB0922C82366 Time : 0.0 sec. user=mdettweiler [2013-01-15 08:17:29] 915*2^1239307-1 is not prime. Res64: A821F49129148B79 Time : 0.0 sec. user=mdettweiler [2013-01-15 08:18:38] 961*2^1239307-1 is not prime. Res64: 8ABD6B2E273298EB Time : 0.0 sec. user=mdettweiler [2013-01-15 08:18:39] 975*2^1239307-1 is not prime. Res64: D336D8531DB4FAE5 Time : 0.0 sec. user=mdettweiler [2013-01-15 08:34:56] 617*2^1239308-1 is not prime. Res64: A2F33C11A19A9ABF Time : 0.0 sec. user=mdettweiler [2013-01-15 08:34:57] 665*2^1239308-1 is not prime. Res64: 567F2410B094218E Time : 0.0 sec. user=mdettweiler [2013-01-15 08:36:06] 687*2^1239308-1 is not prime. Res64: 22C6C581A0AF53D5 Time : 0.0 sec. user=mdettweiler [2013-01-15 08:36:06] 735*2^1239308-1 is not prime. Res64: 3DBB1D02BDE62193 Time : 0.0 sec. user=mdettweiler [2013-01-15 08:52:32] 759*2^1239308-1 is not prime. Res64: 9E49230E358EA2B4 Time : 0.0 sec. user=mdettweiler [2013-01-15 08:52:32] 819*2^1239308-1 is not prime. Res64: EAC83D5829F7801C Time : 0.0 sec. user=mdettweiler [2013-01-15 08:53:32] 867*2^1239308-1 is not prime. Res64: 2F8C32646CE29CAF Time : 0.0 sec. user=mdettweiler [2013-01-15 08:53:33] 959*2^1239308-1 is not prime. Res64: 82EE36DDDACB5EF1 Time : 0.0 sec. user=mdettweiler [2013-01-15 09:09:59] 999*2^1239308-1 is not prime. Res64: 15CBAD6DEBB314DD Time : 0.0 sec. user=mdettweiler [2013-01-15 09:10:00] 655*2^1239309-1 is not prime. Res64: BA1EEDFFA1A31558 Time : 0.0 sec. user=mdettweiler [2013-01-15 09:10:58] 679*2^1239309-1 is not prime. Res64: 7EB854F8067C0025 Time : 0.0 sec. user=mdettweiler [2013-01-15 09:10:59] 741*2^1239309-1 is not prime. Res64: 8ADAB25AD034C981 Time : 0.0 sec. user=mdettweiler [2013-01-15 09:27:26] 891*2^1239309-1 is not prime. Res64: 6495B63288D1DA18 Time : 0.0 sec. user=mdettweiler [2013-01-15 09:27:28] 921*2^1239309-1 is not prime. Res64: 81EE11A03588DD2B Time : 0.0 sec. user=mdettweiler [2013-01-15 09:28:28] 955*2^1239309-1 is not prime. Res64: AD9828CAD87E48AD Time : 0.0 sec. user=mdettweiler [2013-01-15 09:28:28] 999*2^1239309-1 is not prime. Res64: C4C85ECE4A0A087A Time : 0.0 sec. user=mdettweiler [2013-01-15 09:45:01] 611*2^1239310-1 is not prime. Res64: 58CB2B646316D1F7 Time : 0.0 sec. user=mdettweiler [2013-01-15 09:45:02] 663*2^1239310-1 is not prime. Res64: 4CA95AB01C2899CE Time : 0.0 sec. user=mdettweiler [2013-01-15 09:45:56] 821*2^1239310-1 is not prime. Res64: FDB4A4899F609FEE Time : 0.0 sec. user=mdettweiler [2013-01-15 09:45:56] 825*2^1239310-1 is not prime. Res64: DF197DD98D5A6FF2 Time : 0.0 sec. user=mdettweiler [2013-01-15 10:02:32] 663*2^1239311-1 is not prime. Res64: 0B4638CEC4989566 Time : 0.0 sec. user=mdettweiler [2013-01-15 10:02:33] 673*2^1239311-1 is not prime. Res64: C47FC4E89E840D65 Time : 0.0 sec. user=mdettweiler [2013-01-15 10:03:22] 693*2^1239311-1 is not prime. Res64: 020469759CDCAD62 Time : 0.0 sec. user=mdettweiler [2013-01-15 10:03:23] 703*2^1239311-1 is not prime. Res64: C7EC85CA6DEEB9BA Time : 0.0 sec. user=mdettweiler [2013-01-15 10:20:09] 693*2^1239312-1 is not prime. Res64: 46995540A7D99041 Time : 0.0 sec. user=mdettweiler [2013-01-15 10:20:09] 737*2^1239312-1 is not prime. Res64: BBB0A38C3C93FBF6 Time : 0.0 sec. user=mdettweiler [2013-01-15 10:20:54] 909*2^1239312-1 is not prime. Res64: 4B91E3B59B5B713C Time : 0.0 sec. user=mdettweiler [2013-01-15 10:20:54] 615*2^1239313-1 is not prime. Res64: 4222C33C477C4A06 Time : 0.0 sec. user=mdettweiler [2013-01-15 10:37:47] 685*2^1239313-1 is not prime. Res64: DA9FF6785AD78F30 Time : 0.0 sec. user=mdettweiler [2013-01-15 10:37:47] 691*2^1239313-1 is not prime. Res64: A0573360B1BB66B4 Time : 0.0 sec. user=mdettweiler [2013-01-15 10:38:27] 715*2^1239313-1 is not prime. Res64: 53887B38F46994CC Time : 0.0 sec. user=mdettweiler [2013-01-15 10:38:28] 769*2^1239313-1 is not prime. Res64: 08A142B80DB880B3 Time : 0.0 sec. user=mdettweiler [2013-01-15 10:55:14] 617*2^1239314-1 is not prime. Res64: B1B15CBC5B025FC0 Time : 0.0 sec. user=mdettweiler [2013-01-15 10:55:14] 633*2^1239314-1 is not prime. Res64: 0F6B98E042C47FB0 Time : 0.0 sec. user=mdettweiler [2013-01-15 10:55:55] 665*2^1239314-1 is not prime. Res64: 86DADDA88EA906A4 Time : 0.0 sec. user=mdettweiler [2013-01-15 10:55:55] 741*2^1239314-1 is not prime. Res64: E6978368FD07D8BA Time : 0.0 sec. user=mdettweiler [2013-01-15 11:12:38] 753*2^1239314-1 is not prime. Res64: 71BE8B8AA388E25C Time : 0.0 sec. user=mdettweiler [2013-01-15 11:12:39] 791*2^1239314-1 is not prime. Res64: 5A36B896B88AF2DE Time : 0.0 sec. user=mdettweiler [2013-01-15 11:13:19] 915*2^1239314-1 is not prime. Res64: C52CDB326F39F8D4 Time : 0.0 sec. user=mdettweiler [2013-01-15 11:13:20] 935*2^1239314-1 is not prime. Res64: ECF76B3AC01C023D Time : 0.0 sec. user=mdettweiler [2013-01-15 11:30:05] 951*2^1239314-1 is not prime. Res64: FEBED175D4962181 Time : 0.0 sec. user=mdettweiler [2013-01-15 11:30:06] 971*2^1239314-1 is not prime. Res64: 476C30D0B0F7E183 Time : 0.0 sec. user=mdettweiler [2013-01-15 11:30:43] 619*2^1239315-1 is not prime. Res64: F34DA6B7103AB84A Time : 0.0 sec. user=mdettweiler [2013-01-15 11:30:43] 625*2^1239315-1 is not prime. Res64: 43A703405AAD58D7 Time : 0.0 sec. user=mdettweiler [2013-01-15 11:47:34] 685*2^1239315-1 is not prime. Res64: 6D492EE24B7196A2 Time : 0.0 sec. user=mdettweiler [2013-01-15 11:47:35] 795*2^1239315-1 is not prime. Res64: 2F355DC90FD6EFE4 Time : 0.0 sec. user=mdettweiler [2013-01-15 11:48:08] 885*2^1239315-1 is not prime. Res64: 4ECD001449BCEFE9 Time : 0.0 sec. user=mdettweiler [2013-01-15 11:48:09] 949*2^1239315-1 is not prime. Res64: 59BA04FD21D9988B Time : 0.0 sec. user=mdettweiler [2013-01-15 12:05:20] 615*2^1239316-1 is not prime. Res64: 3996C3CFFCDD5AD2 Time : 0.0 sec. user=mdettweiler [2013-01-15 12:05:21] 647*2^1239316-1 is not prime. Res64: CE0FCA7AA1CBCF5E Time : 0.0 sec. user=mdettweiler [2013-01-15 12:05:55] 705*2^1239316-1 is not prime. Res64: 862EF9FA382175D0 Time : 0.0 sec. user=mdettweiler [2013-01-15 12:06:00] 779*2^1239316-1 is not prime. Res64: 1B4F8375FCFAAEAB Time : 0.0 sec. user=mdettweiler [2013-01-15 12:23:22] 903*2^1239316-1 is not prime. Res64: 0212157267EA36C3 Time : 0.0 sec. user=mdettweiler [2013-01-15 12:23:23] 933*2^1239316-1 is not prime. Res64: 05A2442C595A523E Time : 0.0 sec. user=mdettweiler [2013-01-15 12:23:56] 939*2^1239316-1 is not prime. Res64: E58F73ACD77ACFB6 Time : 0.0 sec. user=mdettweiler [2013-01-15 12:23:57] 989*2^1239316-1 is not prime. Res64: F992781D2C9799D4 Time : 0.0 sec. user=mdettweiler [2013-01-15 12:41:17] 615*2^1239317-1 is not prime. Res64: 0A7CFC81C32E1745 Time : 0.0 sec. user=mdettweiler [2013-01-15 12:41:17] 619*2^1239317-1 is not prime. Res64: D8516EC7FD321A4E Time : 0.0 sec. user=mdettweiler [2013-01-15 12:41:43] 741*2^1239317-1 is not prime. Res64: EB05016C88991CDB Time : 0.0 sec. user=mdettweiler [2013-01-15 12:41:43] 757*2^1239317-1 is not prime. Res64: 94CDB380C19D1048 Time : 0.0 sec. user=mdettweiler [2013-01-15 12:59:04] 847*2^1239317-1 is not prime. Res64: 4E277EAC62F84940 Time : 0.0 sec. user=mdettweiler [2013-01-15 12:59:05] 885*2^1239317-1 is not prime. Res64: 800C15352872B5B7 Time : 0.0 sec. user=mdettweiler [2013-01-15 12:59:30] 627*2^1239318-1 is not prime. Res64: FD398F6E0F594295 Time : 0.0 sec. user=mdettweiler [2013-01-15 12:59:30] 713*2^1239318-1 is not prime. Res64: 9DF0B3F746768D49 Time : 0.0 sec. user=mdettweiler [2013-01-15 13:16:52] 797*2^1239318-1 is not prime. Res64: AD3D5DF39E0A9DA1 Time : 0.0 sec. user=mdettweiler [2013-01-15 13:16:52] 867*2^1239318-1 is not prime. Res64: D8630CD8F79DD541 Time : 0.0 sec. user=mdettweiler [2013-01-15 13:17:18] 975*2^1239318-1 is not prime. Res64: 095389F2C13E55D6 Time : 0.0 sec. user=mdettweiler [2013-01-15 13:17:18] 993*2^1239318-1 is not prime. Res64: E6DF320838DE76E0 Time : 0.0 sec. user=mdettweiler [2013-01-15 13:34:41] 765*2^1239319-1 is not prime. Res64: F31EBBED7749D9B9 Time : 0.0 sec. user=mdettweiler [2013-01-15 13:34:41] 855*2^1239319-1 is not prime. Res64: A2D0352377CFEE1B Time : 0.0 sec. user=mdettweiler [2013-01-15 13:35:05] 885*2^1239319-1 is not prime. Res64: 91750E0413FD5EB5 Time : 0.0 sec. user=mdettweiler [2013-01-15 13:35:05] 895*2^1239319-1 is not prime. Res64: 48A8E7C30F39F0F7 Time : 0.0 sec. user=mdettweiler [2013-01-15 13:52:28] 969*2^1239319-1 is not prime. Res64: 65648F3223552E49 Time : 0.0 sec. user=mdettweiler [2013-01-15 13:52:28] 609*2^1239320-1 is not prime. Res64: 4536691DD983113B Time : 0.0 sec. user=mdettweiler [2013-01-15 13:52:50] 729*2^1239320-1 is not prime. Res64: 50196A43994F2F0E Time : 0.0 sec. user=mdettweiler [2013-01-15 13:52:51] 755*2^1239320-1 is not prime. Res64: 8DAAF628D32FF3F9 Time : 0.0 sec. user=mdettweiler [2013-01-15 14:10:05] 855*2^1239320-1 is not prime. Res64: 28182ADB78183773 Time : 0.0 sec. user=mdettweiler [2013-01-15 14:10:06] 957*2^1239320-1 is not prime. Res64: C62AD53148351355 Time : 0.0 sec. user=mdettweiler [2013-01-15 14:10:31] 963*2^1239320-1 is not prime. Res64: C4B4CE12620DD52A Time : 0.0 sec. user=mdettweiler [2013-01-15 14:10:33] 977*2^1239320-1 is not prime. Res64: 4F99D787F310320B Time : 0.0 sec. user=mdettweiler [2013-01-15 14:27:54] 675*2^1239321-1 is not prime. Res64: 029112DADD2DB7A7 Time : 0.0 sec. user=mdettweiler [2013-01-15 14:27:55] 705*2^1239321-1 is not prime. Res64: A7DF3C450A725A68 Time : 0.0 sec. user=mdettweiler [2013-01-15 14:28:10] 709*2^1239321-1 is not prime. Res64: F63A6F59AD9792E9 Time : 0.0 sec. user=mdettweiler [2013-01-15 14:28:11] 751*2^1239321-1 is not prime. Res64: E9F05CAE33C3A0CB Time : 0.0 sec. user=mdettweiler [2013-01-15 14:45:31] 647*2^1239322-1 is not prime. Res64: 793B6863980BEF96 Time : 0.0 sec. user=mdettweiler [2013-01-15 14:45:31] 651*2^1239322-1 is not prime. Res64: DE1531011630101D Time : 0.0 sec. user=mdettweiler [2013-01-15 14:45:40] 657*2^1239322-1 is not prime. Res64: E7BC7733EA95890B Time : 0.0 sec. user=mdettweiler [2013-01-15 14:45:41] 801*2^1239322-1 is not prime. Res64: E64E16D420EB5B06 Time : 0.0 sec. user=mdettweiler [2013-01-15 15:03:19] 825*2^1239322-1 is not prime. Res64: EC4D856A70810EB0 Time : 0.0 sec. user=mdettweiler [2013-01-15 15:03:20] 855*2^1239322-1 is not prime. Res64: 196E44E66F43BD8A Time : 0.0 sec. user=mdettweiler [2013-01-15 15:03:28] 885*2^1239322-1 is not prime. Res64: 88C807A8C3832683 Time : 0.0 sec. user=mdettweiler [2013-01-15 15:03:29] 951*2^1239322-1 is not prime. Res64: AF9FD18E2F948F70 Time : 0.0 sec. user=mdettweiler [2013-01-15 15:20:59] 619*2^1239323-1 is not prime. Res64: D034363B8685DFC1 Time : 0.0 sec. user=mdettweiler [2013-01-15 15:20:59] 949*2^1239323-1 is not prime. Res64: 64559D12AAE6E4A0 Time : 0.0 sec. user=mdettweiler [2013-01-15 15:21:00] 605*2^1239324-1 is not prime. Res64: 2A772CC0675ADB8D Time : 0.0 sec. user=mdettweiler [2013-01-15 15:21:01] 705*2^1239324-1 is not prime. Res64: C57DDBB50718E1A7 Time : 0.0 sec. user=mdettweiler [2013-01-15 15:38:44] 737*2^1239324-1 is not prime. Res64: CB4A5595337BB699 Time : 0.0 sec. user=mdettweiler [2013-01-15 15:38:45] 863*2^1239324-1 is not prime. Res64: 440EB3F1BBDCDBA8 Time : 0.0 sec. user=mdettweiler [2013-01-15 15:38:47] 905*2^1239324-1 is not prime. Res64: 4334E3A319469C5F Time : 0.0 sec. user=mdettweiler [2013-01-15 15:38:48] 929*2^1239324-1 is not prime. Res64: EB7996CEA406D935 Time : 0.0 sec. user=mdettweiler [2013-01-15 15:56:23] 945*2^1239324-1 is not prime. Res64: 678A554FA3FC171B Time : 0.0 sec. user=mdettweiler [2013-01-15 15:56:23] 601*2^1239325-1 is not prime. Res64: A33DD131C4005489 Time : 0.0 sec. user=mdettweiler [2013-01-15 15:56:24] 687*2^1239325-1 is not prime. Res64: C408E31A94EDE7E4 Time : 0.0 sec. user=mdettweiler [2013-01-15 15:56:24] 727*2^1239325-1 is not prime. Res64: 8200E9A5016CB13C Time : 0.0 sec. user=mdettweiler [2013-01-15 16:14:15] 771*2^1239325-1 is not prime. Res64: 9D124EFF0FC9B34F Time : 0.0 sec. user=mdettweiler [2013-01-15 16:14:15] 799*2^1239325-1 is not prime. Res64: F820EB39D27E32F9 Time : 0.0 sec. user=mdettweiler [2013-01-15 16:14:16] 825*2^1239325-1 is not prime. Res64: B1A5B4FA2458A73C Time : 0.0 sec. user=mdettweiler [2013-01-15 16:14:16] 831*2^1239325-1 is not prime. Res64: 30C7AE06DBCA8D51 Time : 0.0 sec. user=mdettweiler [2013-01-15 16:32:04] 915*2^1239325-1 is not prime. Res64: CE8452DB2FE2992F Time : 0.0 sec. user=mdettweiler [2013-01-15 16:32:04] 741*2^1239326-1 is not prime. Res64: B2669446F67C9CC7 Time : 0.0 sec. user=mdettweiler [2013-01-15 16:32:05] 683*2^1239326-1 is not prime. Res64: CEAC9B82FACB3112 Time : 0.0 sec. user=mdettweiler [2013-01-15 16:32:05] 761*2^1239326-1 is not prime. Res64: B465154F2549DF2A Time : 0.0 sec. user=mdettweiler [2013-01-15 16:49:35] 887*2^1239326-1 is not prime. Res64: 3D286D0D76881712 Time : 0.0 sec. user=mdettweiler [2013-01-15 16:49:35] 983*2^1239326-1 is not prime. Res64: 447B5ADE54CE5502 Time : 0.0 sec. user=mdettweiler [2013-01-15 16:49:36] 793*2^1239327-1 is not prime. Res64: 2222527CEE5369CC Time : 0.0 sec. user=mdettweiler [2013-01-15 16:49:37] 871*2^1239327-1 is not prime. Res64: D0F099D9BF7D3718 Time : 0.0 sec. user=mdettweiler [2013-01-15 17:07:09] 605*2^1239328-1 is not prime. Res64: 25410353C32822DA Time : 0.0 sec. user=mdettweiler [2013-01-15 17:07:12] 895*2^1239327-1 is not prime. Res64: F3AA718F7C8C8C5A Time : 0.0 sec. user=mdettweiler [2013-01-15 17:07:12] 639*2^1239328-1 is not prime. Res64: BC50353599CF4E9C Time : 0.0 sec. user=mdettweiler [2013-01-15 17:07:13] 961*2^1239327-1 is not prime. Res64: F57E3A865B295CC9 Time : 0.0 sec. user=mdettweiler [2013-01-15 17:24:46] 699*2^1239328-1 is not prime. Res64: 4FBF89F542BA5D71 Time : 0.0 sec. user=mdettweiler [2013-01-15 17:24:47] 855*2^1239328-1 is not prime. Res64: 46A9B78507C5CF70 Time : 0.0 sec. user=mdettweiler [2013-01-15 17:24:48] 773*2^1239328-1 is not prime. Res64: 8858F9B6644447CD Time : 0.0 sec. user=mdettweiler [2013-01-15 17:24:48] 869*2^1239328-1 is not prime. Res64: B20EBB4C64632D28 Time : 0.0 sec. user=mdettweiler [2013-01-15 17:42:18] 875*2^1239328-1 is not prime. Res64: DCBD16C144698072 Time : 0.0 sec. user=mdettweiler [2013-01-15 17:42:18] 905*2^1239328-1 is not prime. Res64: AE30357ED01F83D1 Time : 0.0 sec. user=mdettweiler [2013-01-15 17:42:19] 631*2^1239329-1 is not prime. Res64: 525042A08683F4D7 Time : 0.0 sec. user=mdettweiler [2013-01-15 17:42:20] 729*2^1239329-1 is not prime. Res64: 4B817DC6EDF635FC Time : 0.0 sec. user=mdettweiler [2013-01-15 17:59:43] 787*2^1239329-1 is not prime. Res64: 6B77120B9003B3EC Time : 0.0 sec. user=mdettweiler [2013-01-15 17:59:43] 647*2^1239330-1 is not prime. Res64: FBAB390A5A74900E Time : 0.0 sec. user=mdettweiler [2013-01-15 17:59:44] 695*2^1239330-1 is not prime. Res64: 4DB5F17EF9B8D191 Time : 0.0 sec. user=mdettweiler [2013-01-15 17:59:44] 791*2^1239330-1 is not prime. Res64: BDDD568756C63B17 Time : 0.0 sec. user=mdettweiler [2013-01-15 18:17:10] 945*2^1239330-1 is not prime. Res64: 7DDCAD00C1FFAFD5 Time : 0.0 sec. user=mdettweiler [2013-01-15 18:17:11] 603*2^1239331-1 is not prime. Res64: 5B474FA6168411DB Time : 0.0 sec. user=mdettweiler [2013-01-15 18:17:12] 615*2^1239331-1 is not prime. Res64: C5FC37480FDFE0AA Time : 0.0 sec. user=mdettweiler [2013-01-15 18:17:12] 651*2^1239331-1 is not prime. Res64: EABD82C8A1CB8DBB Time : 0.0 sec. user=mdettweiler [2013-01-15 18:34:40] 783*2^1239331-1 is not prime. Res64: 0B64BFB89379CE5F Time : 0.0 sec. user=mdettweiler [2013-01-15 18:34:40] 733*2^1239331-1 is not prime. Res64: 14263D3C1F3396A2 Time : 0.0 sec. user=mdettweiler [2013-01-15 18:34:40] 843*2^1239331-1 is not prime. Res64: 73EC775B629950E1 Time : 0.0 sec. user=mdettweiler [2013-01-15 18:34:41] 741*2^1239331-1 is not prime. Res64: 5B111B9BA35889C8 Time : 0.0 sec. user=mdettweiler [2013-01-15 18:52:04] 913*2^1239331-1 is not prime. Res64: 72FDEC68D1A464AF Time : 0.0 sec. user=mdettweiler [2013-01-15 18:52:04] 635*2^1239332-1 is not prime. Res64: AC9A569CB3FAE156 Time : 0.0 sec. user=mdettweiler [2013-01-15 18:52:05] 617*2^1239332-1 is not prime. Res64: F3556CFE041DA891 Time : 0.0 sec. user=mdettweiler [2013-01-15 18:52:05] 749*2^1239332-1 is not prime. Res64: 02F122016A7B943F Time : 0.0 sec. user=mdettweiler [2013-01-15 19:09:29] 855*2^1239332-1 is not prime. Res64: 02997B05B030B10F Time : 0.0 sec. user=mdettweiler [2013-01-15 19:09:32] 983*2^1239332-1 is not prime. Res64: 640220E6BC05CA1E Time : 0.0 sec. user=mdettweiler [2013-01-15 19:09:35] 959*2^1239332-1 is not prime. Res64: C0C9A885A71D4673 Time : 0.0 sec. user=mdettweiler [2013-01-15 19:09:36] 789*2^1239333-1 is not prime. Res64: FF8CF24627F85BCE Time : 0.0 sec. user=mdettweiler [2013-01-15 19:27:24] 795*2^1239333-1 is not prime. Res64: 2EAB2C50E3CA7B8B Time : 0.0 sec. user=mdettweiler [2013-01-15 19:27:25] 985*2^1239333-1 is not prime. Res64: F69F7DD4518BB294 Time : 0.0 sec. user=mdettweiler [2013-01-15 19:27:28] 635*2^1239334-1 is not prime. Res64: 728A0FF75C0245A4 Time : 0.0 sec. user=mdettweiler [2013-01-15 19:27:29] 657*2^1239334-1 is not prime. Res64: 483C648619CB3D13 Time : 0.0 sec. user=mdettweiler [2013-01-15 19:44:53] 831*2^1239334-1 is not prime. Res64: 9574A455F243BFE5 Time : 0.0 sec. user=mdettweiler [2013-01-15 19:44:54] 731*2^1239334-1 is not prime. Res64: BB2504B81B9E7F98 Time : 0.0 sec. user=mdettweiler [2013-01-15 19:44:54] 655*2^1239335-1 is not prime. Res64: 135EDB20C99EE55B Time : 0.0 sec. user=mdettweiler [2013-01-15 19:44:55] 825*2^1239334-1 is not prime. Res64: A2BC069BAEF8D53F Time : 0.0 sec. user=mdettweiler [2013-01-15 20:02:22] 741*2^1239335-1 is not prime. Res64: 96841757B5D5385F Time : 0.0 sec. user=mdettweiler [2013-01-15 20:02:22] 693*2^1239335-1 is not prime. Res64: 6FF089DE61B273A6 Time : 0.0 sec. user=mdettweiler [2013-01-15 20:02:24] 735*2^1239335-1 is not prime. Res64: 70D8CF91C9536E1A Time : 0.0 sec. user=mdettweiler [2013-01-15 20:02:24] 789*2^1239335-1 is not prime. Res64: DB99221A3B5EA3C2 Time : 0.0 sec. user=mdettweiler [2013-01-15 20:20:29] 829*2^1239335-1 is not prime. Res64: D608C154026396A9 Time : 0.0 sec. user=mdettweiler [2013-01-15 20:20:30] 861*2^1239335-1 is not prime. Res64: 9C57500DDAFEA0FE Time : 0.0 sec. user=mdettweiler [2013-01-15 20:20:31] 973*2^1239335-1 is not prime. Res64: 65EB3B37650F4449 Time : 0.0 sec. user=mdettweiler [2013-01-15 20:20:33] 635*2^1239336-1 is not prime. Res64: FDF46223B81BF060 Time : 0.0 sec. user=mdettweiler [2013-01-15 20:39:29] 825*2^1239336-1 is not prime. Res64: 7D508DF0A1CA1122 Time : 0.0 sec. user=mdettweiler [2013-01-15 20:39:29] 903*2^1239336-1 is not prime. Res64: 717950F09D5518C0 Time : 0.0 sec. user=mdettweiler [2013-01-15 20:39:34] 699*2^1239336-1 is not prime. Res64: AB3310428AC6D667 Time : 0.0 sec. user=mdettweiler [2013-01-15 20:39:34] 747*2^1239336-1 is not prime. Res64: 47BDED6B200C2195 Time : 0.0 sec. user=mdettweiler [2013-01-15 20:57:50] 917*2^1239336-1 is not prime. Res64: 30E21A57F958A340 Time : 0.0 sec. user=mdettweiler [2013-01-15 20:57:51] 927*2^1239336-1 is not prime. Res64: C0DC1D3A717FCC84 Time : 0.0 sec. user=mdettweiler [2013-01-15 20:57:53] 983*2^1239336-1 is not prime. Res64: 9C34E77542EB855A Time : 0.0 sec. user=mdettweiler [2013-01-15 20:57:54] 601*2^1239337-1 is not prime. Res64: D44BA12D546DE22C Time : 0.0 sec. user=mdettweiler [2013-01-15 21:15:23] 619*2^1239337-1 is not prime. Res64: 5D5F9CBC092C88A3 Time : 0.0 sec. user=mdettweiler [2013-01-15 21:15:24] 741*2^1239337-1 is not prime. Res64: 96104EFC581D48FF Time : 0.0 sec. user=mdettweiler [2013-01-15 21:15:27] 747*2^1239337-1 is not prime. Res64: A1451A242BAB1545 Time : 0.0 sec. user=mdettweiler [2013-01-15 21:15:28] 955*2^1239337-1 is not prime. Res64: D40D0E20882E4627 Time : 0.0 sec. user=mdettweiler [2013-01-15 21:32:56] 957*2^1239337-1 is not prime. Res64: EE98C6D7A409E7CD Time : 0.0 sec. user=mdettweiler [2013-01-15 21:32:57] 623*2^1239338-1 is not prime. Res64: F5254CCB822B93C0 Time : 0.0 sec. user=mdettweiler [2013-01-15 21:33:01] 705*2^1239338-1 is not prime. Res64: 618804D6703B21E3 Time : 0.0 sec. user=mdettweiler [2013-01-15 21:33:02] 735*2^1239338-1 is not prime. Res64: F65B6D04091FDA80 Time : 0.0 sec. user=mdettweiler [2013-01-15 21:50:23] 773*2^1239338-1 is not prime. Res64: C03EE72D34BDCA81 Time : 0.0 sec. user=mdettweiler [2013-01-15 21:50:23] 791*2^1239338-1 is not prime. Res64: 0D148CB53D4ECD66 Time : 0.0 sec. user=mdettweiler [2013-01-15 21:50:26] 813*2^1239338-1 is not prime. Res64: 029F5DB71B9645E8 Time : 0.0 sec. user=mdettweiler [2013-01-15 21:50:27] 825*2^1239338-1 is not prime. Res64: 0631B491BF5B0CBB Time : 0.0 sec. user=mdettweiler [2013-01-15 22:07:48] 875*2^1239338-1 is not prime. Res64: C34CDDE341E5D235 Time : 0.0 sec. user=mdettweiler [2013-01-15 22:07:51] 893*2^1239338-1 is not prime. Res64: 4811DBA01A0850EB Time : 0.0 sec. user=mdettweiler [2013-01-15 22:07:54] 951*2^1239338-1 is not prime. Res64: 01926AD49C370C2A Time : 0.0 sec. user=mdettweiler [2013-01-15 22:07:56] 971*2^1239338-1 is not prime. Res64: 48F7A9C135205CA2 Time : 0.0 sec. user=mdettweiler [2013-01-15 22:25:40] 977*2^1239338-1 is not prime. Res64: 5398A6C45A75ED4C Time : 0.0 sec. user=mdettweiler [2013-01-15 22:25:41] 613*2^1239339-1 is not prime. Res64: C4AABC2B1FCEAEE5 Time : 0.0 sec. user=mdettweiler [2013-01-15 22:25:43] 625*2^1239339-1 is not prime. Res64: E329F429A9EF647E Time : 0.0 sec. user=mdettweiler [2013-01-15 22:25:44] 705*2^1239339-1 is not prime. Res64: BA58EE542F3A55A3 Time : 0.0 sec. user=mdettweiler [2013-01-15 22:43:11] 955*2^1239339-1 is not prime. Res64: A788B0B26DD00F09 Time : 0.0 sec. user=mdettweiler [2013-01-15 22:43:11] 699*2^1239340-1 is not prime. Res64: 5EFB805E8AB6594B Time : 0.0 sec. user=mdettweiler [2013-01-15 22:43:13] 789*2^1239339-1 is not prime. Res64: 762F505FD60B1DC6 Time : 0.0 sec. user=mdettweiler [2013-01-15 22:43:15] 951*2^1239339-1 is not prime. Res64: E304436319897FD2 Time : 0.0 sec. user=mdettweiler [2013-01-15 23:00:37] 989*2^1239340-1 is not prime. Res64: 90DF056FE1E08DF0 Time : 0.0 sec. user=mdettweiler [2013-01-15 23:00:38] 999*2^1239340-1 is not prime. Res64: 5BD240272952EF70 Time : 0.0 sec. user=mdettweiler [2013-01-15 23:00:39] 645*2^1239341-1 is not prime. Res64: EBD48B7172E908D2 Time : 0.0 sec. user=mdettweiler [2013-01-15 23:00:41] 685*2^1239341-1 is not prime. Res64: D2262337A9FB541B Time : 0.0 sec. user=mdettweiler [2013-01-15 23:18:15] 745*2^1239341-1 is not prime. Res64: 2C19FD50056F40E1 Time : 0.0 sec. user=mdettweiler [2013-01-15 23:18:15] 789*2^1239341-1 is not prime. Res64: 6B4F62B4DB8EFF1D Time : 0.0 sec. user=mdettweiler [2013-01-15 23:18:15] 781*2^1239341-1 is not prime. Res64: 6B8A71897F95EF25 Time : 0.0 sec. user=mdettweiler [2013-01-15 23:18:16] 879*2^1239341-1 is not prime. Res64: BE60746129E0916A Time : 0.0 sec. user=mdettweiler [2013-01-15 23:35:41] 927*2^1239341-1 is not prime. Res64: 66E52E222106AD2E Time : 0.0 sec. user=mdettweiler [2013-01-15 23:35:42] 755*2^1239342-1 is not prime. Res64: 2902A30CE8E17200 Time : 0.0 sec. user=mdettweiler [2013-01-15 23:35:43] 765*2^1239342-1 is not prime. Res64: D74BF8B1232F3CB3 Time : 0.0 sec. user=mdettweiler [2013-01-15 23:35:44] 903*2^1239342-1 is not prime. Res64: 37E24258FB6BC354 Time : 0.0 sec. user=mdettweiler [2013-01-15 23:53:06] 649*2^1239343-1 is not prime. Res64: EF6618FF5DD9428F Time : 0.0 sec. user=mdettweiler [2013-01-15 23:53:07] 693*2^1239343-1 is not prime. Res64: 842378507E881432 Time : 0.0 sec. user=mdettweiler [2013-01-15 23:53:11] 793*2^1239343-1 is not prime. Res64: A212014D119890B6 Time : 0.0 sec. user=mdettweiler [2013-01-15 23:53:11] 855*2^1239343-1 is not prime. Res64: 66D13B7C2A65AB85 Time : 0.0 sec.