user=mdettweiler [2013-05-27 00:18:04] 789*2^1246284-1 is not prime. Res64: 0BAD2DB02FB8D46D Time : 0.0 sec. user=mdettweiler [2013-05-27 00:21:28] 887*2^1246284-1 is not prime. Res64: 7A2C4B5799D0EB82 Time : 0.0 sec. user=mdettweiler [2013-05-27 00:21:28] 993*2^1246284-1 is not prime. Res64: 23190E2A1EE4F8BC Time : 0.0 sec. user=mdettweiler [2013-05-27 00:35:53] 777*2^1246285-1 is not prime. Res64: CC94FE31109A987B Time : 0.0 sec. user=mdettweiler [2013-05-27 00:35:54] 799*2^1246285-1 is not prime. Res64: 688F8F3D6EBA4A92 Time : 0.0 sec. user=mdettweiler [2013-05-27 00:39:33] 871*2^1246285-1 is not prime. Res64: F90F3DCA0F3E7740 Time : 0.0 sec. user=mdettweiler [2013-05-27 00:53:50] 705*2^1246286-1 is not prime. Res64: 53487685E7C7B688 Time : 0.0 sec. user=mdettweiler [2013-05-27 00:53:51] 971*2^1246286-1 is not prime. Res64: DDCAD59257CFB29E Time : 0.0 sec. user=mdettweiler [2013-05-27 01:00:45] 925*2^1246285-1 is not prime. Res64: 4E6B9FC766BC72FD Time : 0.0 sec. user=mdettweiler [2013-05-27 01:12:42] 1001*2^1246286-1 is not prime. Res64: B22998E1ABE3F288 Time : 0.0 sec. user=mdettweiler [2013-05-27 01:31:18] 739*2^1246287-1 is not prime. Res64: EEB069F306303748 Time : 0.0 sec. user=mdettweiler [2013-05-27 01:38:02] 793*2^1246287-1 is not prime. Res64: 63824FD4A9295279 Time : 0.0 sec. user=mdettweiler [2013-05-27 01:49:05] 895*2^1246287-1 is not prime. Res64: B9708DDE8FA01E86 Time : 0.0 sec. user=mdettweiler [2013-05-27 01:49:05] 951*2^1246287-1 is not prime. Res64: E81667CFB9C423D0 Time : 0.0 sec. user=mdettweiler [2013-05-27 02:05:45] 823*2^1246287-1 is not prime. Res64: 5DA01C40A3D0DC89 Time : 0.0 sec. user=mdettweiler [2013-05-27 02:06:51] 605*2^1246288-1 is not prime. Res64: 2EDC028AB8B764C0 Time : 0.0 sec. user=mdettweiler [2013-05-27 02:06:51] 639*2^1246288-1 is not prime. Res64: 3EB0E2165C5D4845 Time : 0.0 sec. user=mdettweiler [2013-05-27 02:25:04] 657*2^1246288-1 is not prime. Res64: D419B3FC62ECE041 Time : 0.0 sec. user=mdettweiler [2013-05-27 02:25:04] 723*2^1246288-1 is not prime. Res64: 9F26FB5228BFA725 Time : 0.0 sec. user=mdettweiler [2013-05-27 02:40:33] 743*2^1246288-1 is not prime. Res64: 9D608ECFFBBF43B5 Time : 0.0 sec. user=mdettweiler [2013-05-27 02:43:00] 615*2^1246289-1 is not prime. Res64: 80FEFF8071580A72 Time : 0.0 sec. user=mdettweiler [2013-05-27 03:14:32] 711*2^1246289-1 is not prime. Res64: F00161BCD068A1DF Time : 0.0 sec. user=mdettweiler [2013-05-27 03:17:34] 839*2^1246288-1 is not prime. Res64: 2ACD2DC751C4AA31 Time : 0.0 sec. user=mdettweiler [2013-05-27 03:32:21] 831*2^1246289-1 is not prime. Res64: 19B574FDBCBE148C Time : 0.0 sec. user=mdettweiler [2013-05-27 03:32:23] 841*2^1246289-1 is not prime. Res64: 1800D1B824A2B398 Time : 0.0 sec. user=mdettweiler [2013-05-27 03:35:21] 909*2^1246289-1 is not prime. Res64: 47034DA19E16B3E5 Time : 0.0 sec. user=mdettweiler [2013-05-27 03:35:22] 951*2^1246289-1 is not prime. Res64: EC34315F1E36E1B6 Time : 0.0 sec. user=mdettweiler [2013-05-27 03:50:19] 671*2^1246290-1 is not prime. Res64: F19E8F533D98F0C0 Time : 0.0 sec. user=mdettweiler [2013-05-27 03:50:19] 713*2^1246290-1 is not prime. Res64: E9FA2B711DE75680 Time : 0.0 sec. user=mdettweiler [2013-05-27 03:53:07] 845*2^1246290-1 is not prime. Res64: CB2C8F782A5E9426 Time : 0.0 sec. user=mdettweiler [2013-05-27 03:53:08] 887*2^1246290-1 is not prime. Res64: B7794A2FC11D09FA Time : 0.0 sec. user=mdettweiler [2013-05-27 04:08:21] 891*2^1246290-1 is not prime. Res64: 9890657F7AFD4672 Time : 0.0 sec. user=mdettweiler [2013-05-27 04:10:54] 631*2^1246291-1 is not prime. Res64: 3CC8EBEC27E651AB Time : 0.0 sec. user=mdettweiler [2013-05-27 04:11:17] 663*2^1246291-1 is not prime. Res64: 3F2B7252D66FC19C Time : 0.0 sec. user=mdettweiler [2013-05-27 04:47:06] 615*2^1246291-1 is not prime. Res64: 816F831C43387F35 Time : 0.0 sec. user=mdettweiler [2013-05-27 04:51:20] 723*2^1246291-1 is not prime. Res64: 730AB2751202CB9D Time : 0.0 sec. user=mdettweiler [2013-05-27 04:51:20] 849*2^1246291-1 is not prime. Res64: D721BD8D06E48ACB Time : 0.0 sec. user=mdettweiler [2013-05-27 05:09:57] 939*2^1246291-1 is not prime. Res64: 3E9E11AB265806D7 Time : 0.0 sec. user=mdettweiler [2013-05-27 05:09:58] 975*2^1246291-1 is not prime. Res64: 0F871A6E434532B4 Time : 0.0 sec. user=mdettweiler [2013-05-27 05:29:41] 993*2^1246291-1 is not prime. Res64: 98AF38E050E86FBC Time : 0.0 sec. user=mdettweiler [2013-05-27 05:31:29] 603*2^1246292-1 is not prime. Res64: F2D72BA74CB7E3C6 Time : 0.0 sec. user=mdettweiler [2013-05-27 05:31:29] 665*2^1246292-1 is not prime. Res64: 6A0C8B7CFB43FF6F Time : 0.0 sec. user=mdettweiler [2013-05-27 05:49:39] 699*2^1246292-1 is not prime. Res64: FFB0A4F60DA54028 Time : 0.0 sec. user=mdettweiler [2013-05-27 05:49:39] 797*2^1246292-1 is not prime. Res64: C46BCE48F9BFD208 Time : 0.0 sec. user=mdettweiler [2013-05-27 05:55:01] 999*2^1246291-1 is not prime. Res64: BFA9A6E9E965A0B1 Time : 0.0 sec. user=mdettweiler [2013-05-27 06:07:37] 825*2^1246292-1 is not prime. Res64: 37C46C26DA162C9C Time : 0.0 sec. user=mdettweiler [2013-05-27 06:37:43] 909*2^1246292-1 is not prime. Res64: 287B200ED4119A43 Time : 0.0 sec. user=mdettweiler [2013-05-27 06:44:55] 987*2^1246292-1 is not prime. Res64: 765373610D4D9AE3 Time : 0.0 sec. user=mdettweiler [2013-05-27 06:44:56] 999*2^1246292-1 is not prime. Res64: 700BF46B3D75BEA2 Time : 0.0 sec. user=mdettweiler [2013-05-27 07:26:19] 723*2^1246294-1 is not prime. Res64: 8F2DD66B8B6191EA Time : 0.0 sec. user=mdettweiler [2013-05-27 07:31:47] 885*2^1246294-1 is not prime. Res64: D0F79B41D39493EF Time : 0.0 sec. user=mdettweiler [2013-05-27 07:31:47] 981*2^1246294-1 is not prime. Res64: F242124741361CE0 Time : 0.0 sec. user=mdettweiler [2013-05-27 07:47:12] 815*2^1246294-1 is not prime. Res64: E649F08AC260028D Time : 0.0 sec. user=mdettweiler [2013-05-27 07:50:23] 987*2^1246294-1 is not prime. Res64: 952B56398A212847 Time : 0.0 sec. user=mdettweiler [2013-05-27 07:50:23] 609*2^1246295-1 is not prime. Res64: 2804D3CFF7BDD801 Time : 0.0 sec. user=mdettweiler [2013-05-27 08:05:11] 651*2^1246295-1 is not prime. Res64: 773942AFF75EB832 Time : 0.0 sec. user=mdettweiler [2013-05-27 08:08:44] 841*2^1246295-1 is not prime. Res64: EA75D1F9099C66A1 Time : 0.0 sec. user=mdettweiler [2013-05-27 08:35:19] 825*2^1246295-1 is not prime. Res64: 246E4EF8502DA332 Time : 0.0 sec. user=mdettweiler [2013-05-27 08:41:38] 859*2^1246295-1 is not prime. Res64: 57166A2C7F1024C6 Time : 0.0 sec. user=mdettweiler [2013-05-27 08:53:11] 949*2^1246295-1 is not prime. Res64: 495FCB6597D31CE6 Time : 0.0 sec. user=mdettweiler [2013-05-27 08:53:12] 969*2^1246295-1 is not prime. Res64: 54BC1DA896C06F66 Time : 0.0 sec. user=mdettweiler [2013-05-27 08:59:32] 973*2^1246295-1 is not prime. Res64: BDDDF6035A09944C Time : 0.0 sec. user=mdettweiler [2013-05-27 08:59:33] 759*2^1246296-1 is not prime. Res64: 1403FA545ACEA706 Time : 0.0 sec. user=mdettweiler [2013-05-27 09:11:10] 839*2^1246296-1 is not prime. Res64: CF86CDC8FCCE790E Time : 0.0 sec. user=mdettweiler [2013-05-27 09:18:19] 899*2^1246296-1 is not prime. Res64: BE8AE7B919F6D5B5 Time : 0.0 sec. user=mdettweiler [2013-05-27 09:34:13] 875*2^1246296-1 is not prime. Res64: B40BD576FE4DE402 Time : 0.0 sec. user=mdettweiler [2013-05-27 09:47:46] 999*2^1246296-1 is not prime. Res64: 1D7197612B019DF0 Time : 0.0 sec. user=mdettweiler [2013-05-27 10:24:39] 625*2^1246297-1 is not prime. Res64: 8F0D987A41EC97D2 Time : 0.0 sec. user=mdettweiler [2013-05-27 10:24:39] 639*2^1246297-1 is not prime. Res64: 8F03264E303DF4D0 Time : 0.0 sec. user=mdettweiler [2013-05-27 10:28:55] 741*2^1246297-1 is not prime. Res64: F56F6BF74FAF57D4 Time : 0.0 sec. user=mdettweiler [2013-05-27 10:28:55] 747*2^1246297-1 is not prime. Res64: B36FD37BC2975B2F Time : 0.0 sec. user=mdettweiler [2013-05-27 10:42:29] 807*2^1246297-1 is not prime. Res64: EAEADCEAF1A00203 Time : 0.0 sec. user=mdettweiler [2013-05-27 10:42:29] 885*2^1246297-1 is not prime. Res64: 2454E5351B7DEC6D Time : 0.0 sec. user=mdettweiler [2013-05-27 10:48:02] 999*2^1246297-1 is not prime. Res64: 9DAA8ED73CFADBF5 Time : 0.0 sec. user=mdettweiler [2013-05-27 10:48:02] 887*2^1246298-1 is not prime. Res64: ABCC061DDF704BFD Time : 0.0 sec. user=mdettweiler [2013-05-27 11:01:21] 921*2^1246298-1 is not prime. Res64: F800B175AEBE2141 Time : 0.0 sec. user=mdettweiler [2013-05-27 11:01:39] 1001*2^1246298-1 is not prime. Res64: 6158EE83CD128A3D Time : 0.0 sec. user=mdettweiler [2013-05-27 11:05:57] 663*2^1246299-1 is not prime. Res64: 494DCB870FF78E83 Time : 0.0 sec. user=mdettweiler [2013-05-27 11:32:13] 675*2^1246299-1 is not prime. Res64: 186C97DE91C4956D Time : 0.0 sec. user=mdettweiler [2013-05-27 11:58:00] 861*2^1246299-1 is not prime. Res64: E2A39B229988C432 Time : 0.0 sec. user=mdettweiler [2013-05-27 11:58:00] 879*2^1246299-1 is not prime. Res64: 55B7ACFFD865CC0F Time : 0.0 sec. user=mdettweiler [2013-05-27 12:16:11] 931*2^1246299-1 is not prime. Res64: F17E6DCF8C804A4F Time : 0.0 sec. user=mdettweiler [2013-05-27 12:16:12] 687*2^1246300-1 is not prime. Res64: DC7F552B6B4E524C Time : 0.0 sec. user=mdettweiler [2013-05-27 12:19:19] 843*2^1246300-1 is not prime. Res64: 67732D2BA1F52EA1 Time : 0.0 sec. user=mdettweiler [2013-05-27 12:19:19] 855*2^1246300-1 is not prime. Res64: 4B3A0A8EC06E1952 Time : 0.0 sec. user=mdettweiler [2013-05-27 12:34:52] 933*2^1246300-1 is not prime. Res64: 2F0C11796AAEF83F Time : 0.0 sec. user=mdettweiler [2013-05-27 12:34:52] 957*2^1246300-1 is not prime. Res64: 3F55AD239A6F9B2A Time : 0.0 sec. user=mdettweiler [2013-05-27 12:38:32] 983*2^1246300-1 is not prime. Res64: A3DFF56F3C10D3F4 Time : 0.0 sec. user=mdettweiler [2013-05-27 12:53:05] 649*2^1246301-1 is not prime. Res64: 0C7B2B46C8E61A38 Time : 0.0 sec. user=mdettweiler [2013-05-27 13:06:26] 619*2^1246301-1 is not prime. Res64: 6F9F2D3692DF9B9D Time : 0.0 sec. user=mdettweiler [2013-05-27 13:23:33] 675*2^1246301-1 is not prime. Res64: 05044CBA927315B1 Time : 0.0 sec. user=mdettweiler [2013-05-27 13:24:52] 715*2^1246301-1 is not prime. Res64: FEF51CC341D54770 Time : 0.0 sec. user=mdettweiler [2013-05-27 13:24:53] 735*2^1246301-1 is not prime. Res64: 7FB3938AA4B1F258 Time : 0.0 sec. user=mdettweiler [2013-05-27 13:41:42] 769*2^1246301-1 is not prime. Res64: 75EE96D0BB5B63BB Time : 0.0 sec. user=mdettweiler [2013-05-27 13:42:45] 885*2^1246301-1 is not prime. Res64: E24BD1B5A080A132 Time : 0.0 sec. user=mdettweiler [2013-05-27 13:42:45] 889*2^1246301-1 is not prime. Res64: D816A634D8B6595D Time : 0.0 sec. user=mdettweiler [2013-05-27 14:00:50] 681*2^1246302-1 is not prime. Res64: 0D7273DB70D41626 Time : 0.0 sec. user=mdettweiler [2013-05-27 14:24:19] 867*2^1246301-1 is not prime. Res64: 1751D66FCA5DE03B Time : 0.0 sec. user=mdettweiler [2013-05-27 14:28:30] 797*2^1246302-1 is not prime. Res64: 0B37F751664E7530 Time : 0.0 sec. user=mdettweiler [2013-05-27 14:42:29] 807*2^1246302-1 is not prime. Res64: 99D3EC0C838E6D78 Time : 0.0 sec. user=mdettweiler [2013-05-27 14:42:29] 821*2^1246302-1 is not prime. Res64: 64F942E1E48A7795 Time : 0.0 sec. user=mdettweiler [2013-05-27 14:46:19] 893*2^1246302-1 is not prime. Res64: FEC52678B2730A57 Time : 0.0 sec. user=mdettweiler [2013-05-27 14:46:19] 945*2^1246302-1 is not prime. Res64: 1E150F227EAA7676 Time : 0.0 sec. user=mdettweiler [2013-05-27 15:00:21] 661*2^1246303-1 is not prime. Res64: EA97F218CC62A951 Time : 0.0 sec. user=mdettweiler [2013-05-27 15:00:21] 709*2^1246303-1 is not prime. Res64: 5BEDAE0E5C3B333F Time : 0.0 sec. user=mdettweiler [2013-05-27 15:04:10] 735*2^1246303-1 is not prime. Res64: D57F955AF5ABE3BB Time : 0.0 sec. user=mdettweiler [2013-05-27 15:04:11] 793*2^1246303-1 is not prime. Res64: C16A6D1C4B63313A Time : 0.0 sec. user=mdettweiler [2013-05-27 15:18:44] 829*2^1246303-1 is not prime. Res64: BCE0416623C4F4A6 Time : 0.0 sec. user=mdettweiler [2013-05-27 15:22:16] 659*2^1246304-1 is not prime. Res64: 06AB3846D71416E9 Time : 0.0 sec. user=mdettweiler [2013-05-27 15:37:27] 871*2^1246303-1 is not prime. Res64: 37704092D2CCC554 Time : 0.0 sec. user=mdettweiler [2013-05-27 15:43:20] 665*2^1246304-1 is not prime. Res64: AB822ECAC6480B41 Time : 0.0 sec. user=mdettweiler [2013-05-27 15:55:53] 789*2^1246304-1 is not prime. Res64: 97E7D278583AFC4E Time : 0.0 sec. user=mdettweiler [2013-05-27 16:01:12] 959*2^1246304-1 is not prime. Res64: 82588EEA72B51946 Time : 0.0 sec. user=mdettweiler [2013-05-27 16:01:12] 735*2^1246305-1 is not prime. Res64: FD38AF3E04495595 Time : 0.0 sec. user=mdettweiler [2013-05-27 16:18:44] 935*2^1246304-1 is not prime. Res64: 358A3515BE9EF5D9 Time : 0.0 sec. user=mdettweiler [2013-05-27 16:20:11] 955*2^1246305-1 is not prime. Res64: ADFD685BBA8552D0 Time : 0.0 sec. user=mdettweiler [2013-05-27 16:20:11] 979*2^1246305-1 is not prime. Res64: 2257EBA9CA3FD673 Time : 0.0 sec. user=mdettweiler [2013-05-27 16:36:33] 813*2^1246306-1 is not prime. Res64: 09671A33FD03BF7D Time : 0.0 sec. user=mdettweiler [2013-05-27 16:36:34] 857*2^1246306-1 is not prime. Res64: B8F90B17A378E9DC Time : 0.0 sec. user=mdettweiler [2013-05-27 16:38:14] 655*2^1246307-1 is not prime. Res64: D91E7C7A7B3174E9 Time : 0.0 sec. user=mdettweiler [2013-05-27 16:38:15] 703*2^1246307-1 is not prime. Res64: 77D88406588FEE61 Time : 0.0 sec. user=mdettweiler [2013-05-27 16:54:32] 825*2^1246307-1 is not prime. Res64: 7D9B7D34E86B1200 Time : 0.0 sec. user=mdettweiler [2013-05-27 16:56:11] 707*2^1246308-1 is not prime. Res64: BB7381BADBC22976 Time : 0.0 sec. user=mdettweiler [2013-05-27 16:56:11] 749*2^1246308-1 is not prime. Res64: 51AE5065DED0CEDE Time : 0.0 sec. user=mdettweiler [2013-05-27 17:14:29] 789*2^1246308-1 is not prime. Res64: CF76BE63526BE209 Time : 0.0 sec. user=mdettweiler [2013-05-27 17:22:13] 949*2^1246307-1 is not prime. Res64: A655D1471A67812C Time : 0.0 sec. user=mdettweiler [2013-05-27 17:36:52] 797*2^1246308-1 is not prime. Res64: 5FFFA018C6B4384E Time : 0.0 sec. user=mdettweiler [2013-05-27 17:55:08] 867*2^1246308-1 is not prime. Res64: D3782497901DCD31 Time : 0.0 sec. user=mdettweiler [2013-05-27 17:55:08] 915*2^1246308-1 is not prime. Res64: 12969F6695E5322B Time : 0.0 sec. user=mdettweiler [2013-05-27 18:00:54] 619*2^1246309-1 is not prime. Res64: 233AA90AD44480D1 Time : 0.0 sec. user=mdettweiler [2013-05-27 18:12:53] 757*2^1246309-1 is not prime. Res64: 893FD405BE3BD688 Time : 0.0 sec. user=mdettweiler [2013-05-27 18:12:54] 759*2^1246309-1 is not prime. Res64: 0B7A68078EFD06FF Time : 0.0 sec. user=mdettweiler [2013-05-27 18:32:00] 751*2^1246309-1 is not prime. Res64: D6FC6E1FDD325555 Time : 0.0 sec. user=mdettweiler [2013-05-27 18:32:21] 985*2^1246309-1 is not prime. Res64: 58551593EC905021 Time : 0.0 sec. user=mdettweiler [2013-05-27 18:32:21] 997*2^1246309-1 is not prime. Res64: 5AD4A1D86070FB7B Time : 0.0 sec. user=mdettweiler [2013-05-27 18:49:52] 791*2^1246310-1 is not prime. Res64: 2A74F7293A90B190 Time : 0.0 sec. user=mdettweiler [2013-05-27 18:49:53] 917*2^1246310-1 is not prime. Res64: AC8290F5CBFB7334 Time : 0.0 sec. user=mdettweiler [2013-05-27 18:51:59] 995*2^1246310-1 is not prime. Res64: B0E5AFE730207F37 Time : 0.0 sec. user=mdettweiler [2013-05-27 19:07:45] 643*2^1246311-1 is not prime. Res64: 1A1424DE4E7BF78A Time : 0.0 sec. user=mdettweiler [2013-05-27 19:07:45] 679*2^1246311-1 is not prime. Res64: 433A2958C02ED757 Time : 0.0 sec. user=mdettweiler [2013-05-27 19:25:49] 711*2^1246311-1 is not prime. Res64: C0067C626096F523 Time : 0.0 sec. user=mdettweiler [2013-05-27 19:28:19] 1001*2^1246310-1 is not prime. Res64: AD60B9D6E2CBB3C1 Time : 0.0 sec. user=mdettweiler [2013-05-27 19:46:16] 793*2^1246311-1 is not prime. Res64: DB1DFCD46E4AFECC Time : 0.0 sec. user=mdettweiler [2013-05-27 19:46:17] 943*2^1246311-1 is not prime. Res64: C189C89E02C6F145 Time : 0.0 sec. user=mdettweiler [2013-05-27 19:50:53] 745*2^1246311-1 is not prime. Res64: A2E8BFB0811E80CF Time : 0.0 sec. user=mdettweiler [2013-05-27 20:04:19] 961*2^1246311-1 is not prime. Res64: 37187127D418F3BD Time : 0.0 sec. user=mdettweiler [2013-05-27 20:04:19] 639*2^1246312-1 is not prime. Res64: A8670C395BF038AC Time : 0.0 sec. user=mdettweiler [2013-05-27 20:22:33] 957*2^1246312-1 is not prime. Res64: 474CA11DE6D577D7 Time : 0.0 sec. user=mdettweiler [2013-05-27 20:22:34] 651*2^1246313-1 is not prime. Res64: 03D6869016618F34 Time : 0.0 sec. user=mdettweiler [2013-05-27 20:36:44] 849*2^1246312-1 is not prime. Res64: FDF21FA48BCCACAD Time : 0.0 sec. user=mdettweiler [2013-05-27 20:36:44] 857*2^1246312-1 is not prime. Res64: 14BB669D3FFC2D6B Time : 0.0 sec. user=mdettweiler [2013-05-27 20:41:04] 747*2^1246313-1 is not prime. Res64: DB92F0665333C3FE Time : 0.0 sec. user=mdettweiler [2013-05-27 20:54:55] 657*2^1246314-1 is not prime. Res64: 2F48EBDE49FC1FF6 Time : 0.0 sec. user=mdettweiler [2013-05-27 21:05:36] 925*2^1246313-1 is not prime. Res64: B3C40896EEEA29D6 Time : 0.0 sec. user=mdettweiler [2013-05-27 21:14:06] 663*2^1246314-1 is not prime. Res64: D692EAA72DB2A409 Time : 0.0 sec. user=mdettweiler [2013-05-27 21:42:10] 711*2^1246314-1 is not prime. Res64: BD2EFF3B31655720 Time : 0.0 sec. user=mdettweiler [2013-05-27 21:42:10] 765*2^1246314-1 is not prime. Res64: 1A13180257AA3B01 Time : 0.0 sec. user=mdettweiler [2013-05-27 22:00:18] 903*2^1246314-1 is not prime. Res64: 72D050A3D213DAEC Time : 0.0 sec. user=mdettweiler [2013-05-27 22:00:19] 921*2^1246314-1 is not prime. Res64: 069D5E9D9360C24C Time : 0.0 sec. user=mdettweiler [2013-05-27 22:01:59] 633*2^1246315-1 is not prime. Res64: 6ABF524F504560BA Time : 0.0 sec. user=mdettweiler [2013-05-27 22:02:00] 645*2^1246315-1 is not prime. Res64: 6C05BB4F3EC5CDC2 Time : 0.0 sec. user=mdettweiler [2013-05-27 22:18:09] 673*2^1246315-1 is not prime. Res64: 663D26F841779F83 Time : 0.0 sec. user=mdettweiler [2013-05-27 22:18:09] 699*2^1246315-1 is not prime. Res64: 759AC27888FD42E4 Time : 0.0 sec. user=mdettweiler [2013-05-27 22:19:58] 801*2^1246315-1 is not prime. Res64: 0716CDFC44A34A8B Time : 0.0 sec. user=mdettweiler [2013-05-27 22:36:45] 961*2^1246315-1 is not prime. Res64: ED47B37AF56C2DBA Time : 0.0 sec. user=mdettweiler [2013-05-27 22:36:45] 999*2^1246315-1 is not prime. Res64: 9617EDF75A999B95 Time : 0.0 sec. user=mdettweiler [2013-05-27 22:54:45] 609*2^1246316-1 is not prime. Res64: 92B3DE0801F6B239 Time : 0.0 sec. user=mdettweiler [2013-05-27 22:58:16] 915*2^1246315-1 is not prime. Res64: 65D75C055E050F8A Time : 0.0 sec. user=mdettweiler [2013-05-27 23:16:00] 657*2^1246316-1 is not prime. Res64: 31A72EB54A494840 Time : 0.0 sec. user=mdettweiler [2013-05-27 23:16:00] 677*2^1246316-1 is not prime. Res64: A2E46FA7BB1BD2E8 Time : 0.0 sec. user=mdettweiler [2013-05-27 23:30:59] 615*2^1246316-1 is not prime. Res64: 340E30A2556C9ABA Time : 0.0 sec. user=mdettweiler [2013-05-27 23:34:50] 845*2^1246316-1 is not prime. Res64: C31242A0EE4808AB Time : 0.0 sec.