user=mdettweiler [2013-03-15 00:08:07] 817*2^1242709-1 is not prime. Res64: BA709C9B99D3CE4C Time : 0.0 sec. user=mdettweiler [2013-03-15 00:08:08] 919*2^1242709-1 is not prime. Res64: 1FA255E324F34615 Time : 0.0 sec. user=mdettweiler [2013-03-15 00:08:10] 945*2^1242709-1 is not prime. Res64: 4847025BB2075C3E Time : 0.0 sec. user=mdettweiler [2013-03-15 00:08:11] 957*2^1242709-1 is not prime. Res64: 0F6E88E77B617904 Time : 0.0 sec. user=mdettweiler [2013-03-15 00:25:34] 731*2^1242710-1 is not prime. Res64: ECF5BC87FEB1AF32 Time : 0.0 sec. user=mdettweiler [2013-03-15 00:25:35] 921*2^1242710-1 is not prime. Res64: 2DD5665A3B17B35F Time : 0.0 sec. user=mdettweiler [2013-03-15 00:25:35] 851*2^1242710-1 is not prime. Res64: C43FE1FAC9BAFADE Time : 0.0 sec. user=mdettweiler [2013-03-15 00:25:35] 945*2^1242710-1 is not prime. Res64: 82BCCC612A210DEC Time : 0.0 sec. user=juhehe [2013-03-15 00:27:04] 839*2^1242708-1 is not prime. Res64: 7498331627B21D3A Time : 0.0 sec. user=vaughan [2013-03-15 00:35:28] 635*2^1242710-1 is not prime. Res64: 1446E71B755C694C Time : 0.0 sec. user=mdettweiler [2013-03-15 00:42:58] 965*2^1242710-1 is not prime. Res64: 147494FFACD43921 Time : 0.0 sec. user=mdettweiler [2013-03-15 00:42:59] 751*2^1242711-1 is not prime. Res64: 8F400430F0187C51 Time : 0.0 sec. user=mdettweiler [2013-03-15 00:43:00] 901*2^1242711-1 is not prime. Res64: 0717C0A92E20B17E Time : 0.0 sec. user=mdettweiler [2013-03-15 00:43:01] 943*2^1242711-1 is not prime. Res64: 0F20DE3D63F3DA15 Time : 0.0 sec. user=mdettweiler [2013-03-15 01:00:24] 623*2^1242712-1 is not prime. Res64: CE47EF5EA883E3A3 Time : 0.0 sec. user=mdettweiler [2013-03-15 01:00:24] 653*2^1242712-1 is not prime. Res64: D9D8FD033C6324F9 Time : 0.0 sec. user=mdettweiler [2013-03-15 01:00:25] 629*2^1242712-1 is not prime. Res64: 047405222A70B06C Time : 0.0 sec. user=mdettweiler [2013-03-15 01:00:25] 713*2^1242712-1 is not prime. Res64: 3F0BB4DAB14CB01E Time : 0.0 sec. user=vaughan [2013-03-15 01:13:39] 605*2^1242712-1 is not prime. Res64: BC0252F9B6B4AFA0 Time : 0.0 sec. user=mdettweiler [2013-03-15 01:17:56] 873*2^1242712-1 is not prime. Res64: B6AF41B5CE0791C7 Time : 0.0 sec. user=mdettweiler [2013-03-15 01:17:57] 995*2^1242712-1 is not prime. Res64: 718831C170AE2CC4 Time : 0.0 sec. user=mdettweiler [2013-03-15 01:17:59] 829*2^1242713-1 is not prime. Res64: FAAD74291A746986 Time : 0.0 sec. user=mdettweiler [2013-03-15 01:18:00] 915*2^1242713-1 is not prime. Res64: BD079D688062D114 Time : 0.0 sec. user=mdettweiler [2013-03-15 01:35:21] 987*2^1242713-1 is not prime. Res64: A249B59F0E66F733 Time : 0.0 sec. user=mdettweiler [2013-03-15 01:35:21] 605*2^1242714-1 is not prime. Res64: EB0693C326857CC1 Time : 0.0 sec. user=mdettweiler [2013-03-15 01:35:23] 657*2^1242714-1 is not prime. Res64: ACFAE6C95B16BAF3 Time : 0.0 sec. user=mdettweiler [2013-03-15 01:35:24] 755*2^1242714-1 is not prime. Res64: E5195F04EC1E8695 Time : 0.0 sec. user=juhehe [2013-03-15 01:49:09] 857*2^1242712-1 is not prime. Res64: 00F11A322BE198FF Time : 0.0 sec. user=vaughan [2013-03-15 01:51:49] 949*2^1242713-1 is not prime. Res64: A3A0E833CFF461C4 Time : 0.0 sec. user=mdettweiler [2013-03-15 01:52:45] 601*2^1242715-1 is not prime. Res64: 48F47E88683922E9 Time : 0.0 sec. user=mdettweiler [2013-03-15 01:52:45] 751*2^1242715-1 is not prime. Res64: 534A7AE7B500E304 Time : 0.0 sec. user=mdettweiler [2013-03-15 01:52:47] 841*2^1242715-1 is not prime. Res64: 05FFF3C765816EA8 Time : 0.0 sec. user=mdettweiler [2013-03-15 01:52:47] 859*2^1242715-1 is not prime. Res64: 4F835588583700FE Time : 0.0 sec. user=mdettweiler [2013-03-15 02:10:08] 979*2^1242715-1 is not prime. Res64: 442510D79D801708 Time : 0.0 sec. user=mdettweiler [2013-03-15 02:10:08] 609*2^1242716-1 is not prime. Res64: EC3DDED778DC9A76 Time : 0.0 sec. user=mdettweiler [2013-03-15 02:10:11] 777*2^1242716-1 is not prime. Res64: 3DCFA4F9D6B82A74 Time : 0.0 sec. user=mdettweiler [2013-03-15 02:10:12] 803*2^1242716-1 is not prime. Res64: ADB5F5A754ABC387 Time : 0.0 sec. user=mdettweiler [2013-03-15 02:27:35] 843*2^1242716-1 is not prime. Res64: 8AB0A4C52F7F8505 Time : 0.0 sec. user=mdettweiler [2013-03-15 02:27:36] 879*2^1242716-1 is not prime. Res64: B52CBA2F5B940BAF Time : 0.0 sec. user=mdettweiler [2013-03-15 02:27:37] 691*2^1242717-1 is not prime. Res64: CDE126969E17CC6F Time : 0.0 sec. user=mdettweiler [2013-03-15 02:27:37] 741*2^1242717-1 is not prime. Res64: 58030089E24D26A6 Time : 0.0 sec. user=vaughan [2013-03-15 02:30:01] 951*2^1242715-1 is not prime. Res64: 94D99CFFF8DF71A1 Time : 0.0 sec. user=juhehe [2013-03-15 02:32:42] 905*2^1242714-1 is not prime. Res64: A205FB9321BB14FD Time : 0.0 sec. user=mdettweiler [2013-03-15 02:45:00] 765*2^1242717-1 is not prime. Res64: 7B671A5E7EB6A1E1 Time : 0.0 sec. user=mdettweiler [2013-03-15 02:45:01] 889*2^1242717-1 is not prime. Res64: 74FABBE11D43600F Time : 0.0 sec. user=mdettweiler [2013-03-15 02:45:01] 861*2^1242717-1 is not prime. Res64: EE009EC945240E3C Time : 0.0 sec. user=mdettweiler [2013-03-15 02:45:02] 927*2^1242717-1 is not prime. Res64: 25E89B6ADE9255E4 Time : 0.0 sec. user=mdettweiler [2013-03-15 03:02:48] 723*2^1242718-1 is not prime. Res64: B8E805396FD0A810 Time : 0.0 sec. user=mdettweiler [2013-03-15 03:02:50] 755*2^1242718-1 is not prime. Res64: F5E999CA367A73A2 Time : 0.0 sec. user=mdettweiler [2013-03-15 03:02:50] 765*2^1242718-1 is not prime. Res64: 6E9559F1ED2B9C74 Time : 0.0 sec. user=mdettweiler [2013-03-15 03:02:51] 827*2^1242718-1 is not prime. Res64: A46C2F6F0384C875 Time : 0.0 sec. user=vaughan [2013-03-15 03:08:14] 617*2^1242718-1 is not prime. Res64: 55AC67442C8D730F Time : 0.0 sec. user=mdettweiler [2013-03-15 03:20:19] 863*2^1242718-1 is not prime. Res64: 7B622EDFF63FCE95 Time : 0.0 sec. user=mdettweiler [2013-03-15 03:20:19] 911*2^1242718-1 is not prime. Res64: B7AAC96E54784A44 Time : 0.0 sec. user=mdettweiler [2013-03-15 03:20:20] 975*2^1242718-1 is not prime. Res64: 447F995A38AAF715 Time : 0.0 sec. user=mdettweiler [2013-03-15 03:20:21] 993*2^1242718-1 is not prime. Res64: A89445032A9985E6 Time : 0.0 sec. user=mdettweiler [2013-03-15 03:37:43] 693*2^1242719-1 is not prime. Res64: 1721CFD150D72AD0 Time : 0.0 sec. user=mdettweiler [2013-03-15 03:37:44] 711*2^1242719-1 is not prime. Res64: B3974A844D817AA6 Time : 0.0 sec. user=mdettweiler [2013-03-15 03:37:45] 745*2^1242719-1 is not prime. Res64: 61A641E1F6ED6652 Time : 0.0 sec. user=mdettweiler [2013-03-15 03:37:45] 789*2^1242719-1 is not prime. Res64: 4E2119C420200B2D Time : 0.0 sec. user=vaughan [2013-03-15 03:46:26] 643*2^1242719-1 is not prime. Res64: 12E0B444F77C310C Time : 0.0 sec. user=mdettweiler [2013-03-15 03:55:08] 969*2^1242719-1 is not prime. Res64: 0FA54D9806A6F014 Time : 0.0 sec. user=mdettweiler [2013-03-15 03:55:08] 985*2^1242719-1 is not prime. Res64: 659F4ECF4591E4FA Time : 0.0 sec. user=juhehe [2013-03-15 03:55:09] 833*2^1242718-1 is not prime. Res64: 787CC228636E7406 Time : 0.0 sec. user=mdettweiler [2013-03-15 03:55:09] 627*2^1242720-1 is not prime. Res64: B7DD34371BB38CEE Time : 0.0 sec. user=mdettweiler [2013-03-15 03:55:10] 695*2^1242720-1 is not prime. Res64: 2106C161886ECE68 Time : 0.0 sec. user=mdettweiler [2013-03-15 04:12:33] 737*2^1242720-1 is not prime. Res64: 2FCBC7858FC436BA Time : 0.0 sec. user=mdettweiler [2013-03-15 04:12:34] 795*2^1242720-1 is not prime. Res64: 0A453DDE79A5EFE4 Time : 0.0 sec. user=mdettweiler [2013-03-15 04:12:34] 927*2^1242720-1 is not prime. Res64: 0E1D4EA6493468CB Time : 0.0 sec. user=mdettweiler [2013-03-15 04:12:34] 957*2^1242720-1 is not prime. Res64: A8F01C9520CED8EC Time : 0.0 sec. user=vaughan [2013-03-15 04:24:37] 735*2^1242720-1 is not prime. Res64: 0BD9D837E02B268F Time : 0.0 sec. user=mdettweiler [2013-03-15 04:29:58] 619*2^1242721-1 is not prime. Res64: 36AAAFA8C6542EEA Time : 0.0 sec. user=mdettweiler [2013-03-15 04:29:58] 679*2^1242721-1 is not prime. Res64: 05BC7E34C46CA861 Time : 0.0 sec. user=mdettweiler [2013-03-15 04:29:59] 715*2^1242721-1 is not prime. Res64: 4A8210FBF007CEC8 Time : 0.0 sec. user=mdettweiler [2013-03-15 04:29:59] 727*2^1242721-1 is not prime. Res64: A72D36FDBDBA4E32 Time : 0.0 sec. user=juhehe [2013-03-15 04:39:13] 825*2^1242719-1 is not prime. Res64: 2BB2416CB2D34C50 Time : 0.0 sec. user=mdettweiler [2013-03-15 04:47:28] 909*2^1242721-1 is not prime. Res64: 2F0B16DE79E8578A Time : 0.0 sec. user=mdettweiler [2013-03-15 04:47:28] 925*2^1242721-1 is not prime. Res64: B1FF32013BD6BC91 Time : 0.0 sec. user=mdettweiler [2013-03-15 04:47:29] 955*2^1242721-1 is not prime. Res64: 43F5C50AE731E9C5 Time : 0.0 sec. user=mdettweiler [2013-03-15 04:47:30] 603*2^1242722-1 is not prime. Res64: A849622481654B6D Time : 0.0 sec. user=vaughan [2013-03-15 05:02:47] 901*2^1242721-1 is not prime. Res64: C8F7152926828E2C Time : 0.0 sec. user=mdettweiler [2013-03-15 05:04:53] 615*2^1242722-1 is not prime. Res64: 56539D67AB49595C Time : 0.0 sec. user=mdettweiler [2013-03-15 05:04:54] 683*2^1242722-1 is not prime. Res64: E3AF1EC2A68057AC Time : 0.0 sec. user=mdettweiler [2013-03-15 05:04:54] 677*2^1242722-1 is not prime. Res64: E07E9CCA7F1AA0C1 Time : 0.0 sec. user=mdettweiler [2013-03-15 05:04:55] 701*2^1242722-1 is not prime. Res64: 9C73BD2A5607290F Time : 0.0 sec. user=mdettweiler [2013-03-15 05:22:19] 875*2^1242722-1 is not prime. Res64: 33AB9CAD125FF391 Time : 0.0 sec. user=mdettweiler [2013-03-15 05:22:19] 885*2^1242722-1 is not prime. Res64: A64118FC80E91D37 Time : 0.0 sec. user=mdettweiler [2013-03-15 05:22:19] 887*2^1242722-1 is not prime. Res64: 717DFC2E65A9A037 Time : 0.0 sec. user=mdettweiler [2013-03-15 05:22:20] 911*2^1242722-1 is not prime. Res64: 4840B7754D2ED26D Time : 0.0 sec. user=mdettweiler [2013-03-15 05:39:43] 915*2^1242722-1 is not prime. Res64: 5B2B74E1120BAA21 Time : 0.0 sec. user=mdettweiler [2013-03-15 05:39:44] 957*2^1242722-1 is not prime. Res64: 3C33E30A0944882D Time : 0.0 sec. user=mdettweiler [2013-03-15 05:39:44] 1001*2^1242722-1 is not prime. Res64: 069FC2C31829DFAC Time : 0.0 sec. user=mdettweiler [2013-03-15 05:39:45] 615*2^1242723-1 is not prime. Res64: F52C62699BD88E0E Time : 0.0 sec. user=vaughan [2013-03-15 05:41:02] 791*2^1242722-1 is not prime. Res64: 91905CEDC93F92B7 Time : 0.0 sec. user=mdettweiler [2013-03-15 05:57:07] 619*2^1242723-1 is not prime. Res64: 4BB79EA0AF7AC0AE Time : 0.0 sec. user=mdettweiler [2013-03-15 05:57:08] 621*2^1242723-1 is not prime. Res64: EB7B6C9080BFFC48 Time : 0.0 sec. user=mdettweiler [2013-03-15 05:57:08] 663*2^1242723-1 is not prime. Res64: 217031176FC153C8 Time : 0.0 sec. user=mdettweiler [2013-03-15 05:57:09] 741*2^1242723-1 is not prime. Res64: 961497012A7F21F2 Time : 0.0 sec. user=juhehe [2013-03-15 06:00:12] 747*2^1242722-1 is not prime. Res64: 3AA91A9C3ECF8BF5 Time : 0.0 sec. user=mdettweiler [2013-03-15 06:14:32] 961*2^1242723-1 is not prime. Res64: D0E5C2316B108F6D Time : 0.0 sec. user=mdettweiler [2013-03-15 06:14:32] 609*2^1242724-1 is not prime. Res64: C58CD20FA52440FC Time : 0.0 sec. user=mdettweiler [2013-03-15 06:14:33] 657*2^1242724-1 is not prime. Res64: 2B7A86A0B2752260 Time : 0.0 sec. user=mdettweiler [2013-03-15 06:14:33] 695*2^1242724-1 is not prime. Res64: 58E5C0E99944E9B4 Time : 0.0 sec. user=vaughan [2013-03-15 06:19:11] 853*2^1242723-1 is not prime. Res64: B5371C9C64F12769 Time : 0.0 sec. user=mdettweiler [2013-03-15 06:31:57] 699*2^1242724-1 is not prime. Res64: 5A7D9EA3D3D406A6 Time : 0.0 sec. user=mdettweiler [2013-03-15 06:31:58] 773*2^1242724-1 is not prime. Res64: 0692A801B9FB5BC5 Time : 0.0 sec. user=mdettweiler [2013-03-15 06:31:59] 843*2^1242724-1 is not prime. Res64: B4604A4879747EB5 Time : 0.0 sec. user=mdettweiler [2013-03-15 06:31:59] 873*2^1242724-1 is not prime. Res64: 3974473862B7B735 Time : 0.0 sec. user=juhehe [2013-03-15 06:45:29] 825*2^1242723-1 is not prime. Res64: 360DD7420BFFC740 Time : 0.0 sec. user=mdettweiler [2013-03-15 06:49:22] 989*2^1242724-1 is not prime. Res64: 3C069639BE4E4641 Time : 0.0 sec. user=mdettweiler [2013-03-15 06:49:22] 825*2^1242725-1 is not prime. Res64: 1771971BE610F493 Time : 0.0 sec. user=mdettweiler [2013-03-15 06:49:23] 861*2^1242725-1 is not prime. Res64: D7E47D065A732250 Time : 0.0 sec. user=mdettweiler [2013-03-15 06:49:23] 867*2^1242725-1 is not prime. Res64: A6BFE3719BBD636A Time : 0.0 sec. user=vaughan [2013-03-15 06:57:19] 927*2^1242724-1 is not prime. Res64: 466166094036E5CF Time : 0.0 sec. user=mdettweiler [2013-03-15 07:06:48] 937*2^1242725-1 is not prime. Res64: DB90BB6094C670F4 Time : 0.0 sec. user=mdettweiler [2013-03-15 07:06:48] 979*2^1242725-1 is not prime. Res64: 6FA805C5978B33E9 Time : 0.0 sec. user=mdettweiler [2013-03-15 07:06:49] 955*2^1242725-1 is not prime. Res64: D07B7A2F4AC1D1EB Time : 0.0 sec. user=mdettweiler [2013-03-15 07:06:50] 981*2^1242725-1 is not prime. Res64: 47A682074CE60314 Time : 0.0 sec. user=mdettweiler [2013-03-15 07:24:16] 783*2^1242726-1 is not prime. Res64: 0C2293ADC1D51A2E Time : 0.0 sec. user=mdettweiler [2013-03-15 07:24:17] 881*2^1242726-1 is not prime. Res64: 7FAF7D1E57E46D3F Time : 0.0 sec. user=mdettweiler [2013-03-15 07:24:17] 887*2^1242726-1 is not prime. Res64: 6714E20BD55CAC05 Time : 0.0 sec. user=mdettweiler [2013-03-15 07:24:18] 941*2^1242726-1 is not prime. Res64: 487155E7B91D43A7 Time : 0.0 sec. user=vaughan [2013-03-15 07:35:27] 647*2^1242726-1 is not prime. Res64: DC430AFF82DE55B1 Time : 0.0 sec. user=mdettweiler [2013-03-15 07:41:43] 983*2^1242726-1 is not prime. Res64: 523385D58DE12D41 Time : 0.0 sec. user=mdettweiler [2013-03-15 07:41:43] 609*2^1242727-1 is not prime. Res64: A6AAE4C13CA03146 Time : 0.0 sec. user=mdettweiler [2013-03-15 07:41:44] 633*2^1242727-1 is not prime. Res64: 0A98BD62064204FB Time : 0.0 sec. user=mdettweiler [2013-03-15 07:41:44] 681*2^1242727-1 is not prime. Res64: 34A80E52DCF0BAE9 Time : 0.0 sec. user=mdettweiler [2013-03-15 07:59:08] 705*2^1242727-1 is not prime. Res64: 16DEE0A694CC8590 Time : 0.0 sec. user=mdettweiler [2013-03-15 07:59:08] 759*2^1242727-1 is not prime. Res64: 0DC40207E300C481 Time : 0.0 sec. user=mdettweiler [2013-03-15 07:59:09] 763*2^1242727-1 is not prime. Res64: 35F628A76A83B5C9 Time : 0.0 sec. user=mdettweiler [2013-03-15 07:59:09] 883*2^1242727-1 is not prime. Res64: 7694F5C5222FA966 Time : 0.0 sec. user=juhehe [2013-03-15 08:07:00] 653*2^1242726-1 is not prime. Res64: D4EB700B561213BD Time : 0.0 sec. user=vaughan [2013-03-15 08:13:38] 693*2^1242727-1 is not prime. Res64: 87836C1722FA59CA Time : 0.0 sec. user=mdettweiler [2013-03-15 08:16:34] 999*2^1242727-1 is not prime. Res64: 4CAAD6D5E1692AA7 Time : 0.0 sec. user=mdettweiler [2013-03-15 08:16:35] 635*2^1242728-1 is not prime. Res64: 4BFAD81AAA772232 Time : 0.0 sec. user=mdettweiler [2013-03-15 08:16:35] 677*2^1242728-1 is not prime. Res64: 87A7D8E97F2AE8C2 Time : 0.0 sec. user=mdettweiler [2013-03-15 08:16:36] 735*2^1242728-1 is not prime. Res64: 709B20DFC8008038 Time : 0.0 sec. user=mdettweiler [2013-03-15 08:33:59] 843*2^1242728-1 is not prime. Res64: C82DD02FC23F6F1A Time : 0.0 sec. user=mdettweiler [2013-03-15 08:33:59] 927*2^1242728-1 is not prime. Res64: 0CF55E60DE87A631 Time : 0.0 sec. user=mdettweiler [2013-03-15 08:34:00] 935*2^1242728-1 is not prime. Res64: 134915B617A65641 Time : 0.0 sec. user=mdettweiler [2013-03-15 08:34:00] 945*2^1242728-1 is not prime. Res64: 0A4C50447D3C46C4 Time : 0.0 sec. user=mdettweiler [2013-03-15 08:51:24] 609*2^1242729-1 is not prime. Res64: FB27396CEE5EA17C Time : 0.0 sec. user=mdettweiler [2013-03-15 08:51:25] 649*2^1242729-1 is not prime. Res64: 1BDCC31D4DEB6EDB Time : 0.0 sec. user=mdettweiler [2013-03-15 08:51:25] 741*2^1242729-1 is not prime. Res64: 91F14437BFDA043B Time : 0.0 sec. user=mdettweiler [2013-03-15 08:51:26] 861*2^1242729-1 is not prime. Res64: A7D132E63853EB38 Time : 0.0 sec. user=vaughan [2013-03-15 08:51:56] 837*2^1242728-1 is not prime. Res64: C6CCF2E3B6AD8AEA Time : 0.0 sec. user=juhehe [2013-03-15 08:52:03] 933*2^1242727-1 is not prime. Res64: 2AFD3E8820519B5B Time : 0.0 sec. user=mdettweiler [2013-03-15 09:08:50] 677*2^1242730-1 is not prime. Res64: 76E622359B8460DC Time : 0.0 sec. user=mdettweiler [2013-03-15 09:08:51] 681*2^1242730-1 is not prime. Res64: 10C5125C7AFBF43B Time : 0.0 sec. user=mdettweiler [2013-03-15 09:08:51] 741*2^1242730-1 is not prime. Res64: E24C17F7F716A604 Time : 0.0 sec. user=mdettweiler [2013-03-15 09:08:52] 755*2^1242730-1 is not prime. Res64: D321496243801850 Time : 0.0 sec. user=mdettweiler [2013-03-15 09:26:15] 873*2^1242730-1 is not prime. Res64: 9D72AC45C729F54D Time : 0.0 sec. user=mdettweiler [2013-03-15 09:26:16] 917*2^1242730-1 is not prime. Res64: CB0525E731AC7E72 Time : 0.0 sec. user=mdettweiler [2013-03-15 09:26:17] 975*2^1242730-1 is not prime. Res64: 4D54913A5C5BBF73 Time : 0.0 sec. user=mdettweiler [2013-03-15 09:26:17] 995*2^1242730-1 is not prime. Res64: CD271914AD5D21B2 Time : 0.0 sec. user=vaughan [2013-03-15 09:30:07] 855*2^1242730-1 is not prime. Res64: 89AF3A70CFEAD912 Time : 0.0 sec. user=mdettweiler [2013-03-15 09:43:41] 651*2^1242731-1 is not prime. Res64: 71DD122843200F55 Time : 0.0 sec. user=mdettweiler [2013-03-15 09:43:41] 705*2^1242731-1 is not prime. Res64: 0CC4D21CD84FFD0A Time : 0.0 sec. user=mdettweiler [2013-03-15 09:43:41] 669*2^1242731-1 is not prime. Res64: 417C5EF70DDA07C7 Time : 0.0 sec. user=mdettweiler [2013-03-15 09:43:42] 913*2^1242731-1 is not prime. Res64: 02F9ED397251F12C Time : 0.0 sec. user=mdettweiler [2013-03-15 10:01:07] 979*2^1242731-1 is not prime. Res64: BA93E2E0F03A2210 Time : 0.0 sec. user=mdettweiler [2013-03-15 10:01:08] 689*2^1242732-1 is not prime. Res64: 170F75CC0F49DB6F Time : 0.0 sec. user=mdettweiler [2013-03-15 10:01:09] 887*2^1242732-1 is not prime. Res64: 11080C9F282ADB9A Time : 0.0 sec. user=mdettweiler [2013-03-15 10:01:09] 899*2^1242732-1 is not prime. Res64: 1A957DFD67C0A700 Time : 0.0 sec. user=juhehe [2013-03-15 10:13:08] 861*2^1242730-1 is not prime. Res64: 2A5B336659B59AAF Time : 0.0 sec. user=vaughan [2013-03-15 10:13:28] 969*2^1242731-1 is not prime. Res64: 5D77B3FD61666CF3 Time : 0.0 sec. user=mdettweiler [2013-03-15 10:18:34] 649*2^1242733-1 is not prime. Res64: 464EB7EB3CAC87FA Time : 0.0 sec. user=mdettweiler [2013-03-15 10:18:34] 775*2^1242733-1 is not prime. Res64: 32E717600881F8C7 Time : 0.0 sec. user=mdettweiler [2013-03-15 10:18:35] 877*2^1242733-1 is not prime. Res64: CE163B4990A742EF Time : 0.0 sec. user=mdettweiler [2013-03-15 10:18:36] 945*2^1242733-1 is not prime. Res64: 1646E1355DE37097 Time : 0.0 sec. user=mdettweiler [2013-03-15 10:35:58] 645*2^1242734-1 is not prime. Res64: 919D715E13CCC4E8 Time : 0.0 sec. user=mdettweiler [2013-03-15 10:35:59] 743*2^1242734-1 is not prime. Res64: C554C48BD8838B04 Time : 0.0 sec. user=mdettweiler [2013-03-15 10:36:00] 705*2^1242735-1 is not prime. Res64: BB13C280BE21F91A Time : 0.0 sec. user=mdettweiler [2013-03-15 10:36:01] 735*2^1242735-1 is not prime. Res64: 2DC606711A033244 Time : 0.0 sec. user=vaughan [2013-03-15 10:51:46] 617*2^1242734-1 is not prime. Res64: 9627EB8CB8A49A29 Time : 0.0 sec. user=mdettweiler [2013-03-15 10:53:24] 741*2^1242735-1 is not prime. Res64: 22AB1F2966DD52B8 Time : 0.0 sec. user=mdettweiler [2013-03-15 10:53:25] 765*2^1242735-1 is not prime. Res64: 7E1444C5CCD61254 Time : 0.0 sec. user=mdettweiler [2013-03-15 10:53:25] 829*2^1242735-1 is not prime. Res64: 8F7708FC5B20A77B Time : 0.0 sec. user=mdettweiler [2013-03-15 10:53:26] 861*2^1242735-1 is not prime. Res64: E2F7284D1006CE1E Time : 0.0 sec. user=juhehe [2013-03-15 10:58:13] 945*2^1242732-1 is not prime. Res64: 48F06B79DD6F5471 Time : 0.0 sec. user=mdettweiler [2013-03-15 11:10:57] 951*2^1242735-1 is not prime. Res64: F32C925BF8C001B5 Time : 0.0 sec. user=mdettweiler [2013-03-15 11:10:58] 609*2^1242736-1 is not prime. Res64: 1A683A845AA71739 Time : 0.0 sec. user=mdettweiler [2013-03-15 11:10:58] 825*2^1242736-1 is not prime. Res64: 49E88A76DBC317A0 Time : 0.0 sec. user=mdettweiler [2013-03-15 11:10:58] 855*2^1242736-1 is not prime. Res64: C7BAE8086968DF1E Time : 0.0 sec. user=mdettweiler [2013-03-15 11:28:59] 927*2^1242736-1 is not prime. Res64: E5D71AE25465768F Time : 0.0 sec. user=mdettweiler [2013-03-15 11:29:00] 975*2^1242736-1 is not prime. Res64: 8FBB2475F876E291 Time : 0.0 sec. user=mdettweiler [2013-03-15 11:29:02] 741*2^1242737-1 is not prime. Res64: 78C620E1481F8110 Time : 0.0 sec. user=mdettweiler [2013-03-15 11:29:02] 795*2^1242737-1 is not prime. Res64: AFE327A011178C42 Time : 0.0 sec. user=vaughan [2013-03-15 11:29:55] 921*2^1242735-1 is not prime. Res64: 9EB657B2E802DE85 Time : 0.0 sec. user=mdettweiler [2013-03-15 11:46:38] 861*2^1242737-1 is not prime. Res64: E0BCDA14D7380F45 Time : 0.0 sec. user=mdettweiler [2013-03-15 11:46:38] 945*2^1242737-1 is not prime. Res64: DDF50B7E95DAD752 Time : 0.0 sec. user=mdettweiler [2013-03-15 11:46:39] 641*2^1242738-1 is not prime. Res64: 8C96DF5233216820 Time : 0.0 sec. user=mdettweiler [2013-03-15 11:46:40] 671*2^1242738-1 is not prime. Res64: 9AAFB5BAD9292F19 Time : 0.0 sec. user=mdettweiler [2013-03-15 12:04:17] 881*2^1242738-1 is not prime. Res64: FF8E11D1E659FDF6 Time : 0.0 sec. user=mdettweiler [2013-03-15 12:04:19] 921*2^1242738-1 is not prime. Res64: 3F19FA09D511E5DF Time : 0.0 sec. user=mdettweiler [2013-03-15 12:04:19] 923*2^1242738-1 is not prime. Res64: B61E9668292CDA2B Time : 0.0 sec. user=mdettweiler [2013-03-15 12:04:20] 609*2^1242739-1 is not prime. Res64: DD6FEBB716FFC785 Time : 0.0 sec. user=vaughan [2013-03-15 12:08:04] 705*2^1242738-1 is not prime. Res64: 91F33053CCD3B66E Time : 0.0 sec. user=juhehe [2013-03-15 12:19:14] 837*2^1242737-1 is not prime. Res64: 9788EC3E7EA987CB Time : 0.0 sec. user=mdettweiler [2013-03-15 12:22:03] 765*2^1242739-1 is not prime. Res64: C9B7586D651B1871 Time : 0.0 sec. user=mdettweiler [2013-03-15 12:22:03] 973*2^1242739-1 is not prime. Res64: 90F7BD27CE616BF8 Time : 0.0 sec. user=mdettweiler [2013-03-15 12:22:05] 615*2^1242740-1 is not prime. Res64: 302FEE9D568C4462 Time : 0.0 sec. user=mdettweiler [2013-03-15 12:22:05] 677*2^1242740-1 is not prime. Res64: 3F6540ABC7B602E2 Time : 0.0 sec. user=mdettweiler [2013-03-15 12:39:43] 827*2^1242740-1 is not prime. Res64: 8F0F651D6851B00A Time : 0.0 sec. user=mdettweiler [2013-03-15 12:39:43] 833*2^1242740-1 is not prime. Res64: 00A463DD09D0D250 Time : 0.0 sec. user=mdettweiler [2013-03-15 12:39:44] 843*2^1242740-1 is not prime. Res64: ACF967FE35AEF737 Time : 0.0 sec. user=mdettweiler [2013-03-15 12:39:44] 893*2^1242740-1 is not prime. Res64: 505E5DBA3E032484 Time : 0.0 sec. user=vaughan [2013-03-15 12:46:16] 707*2^1242740-1 is not prime. Res64: 7753867DABDD43CC Time : 0.0 sec. user=mdettweiler [2013-03-15 12:57:22] 987*2^1242740-1 is not prime. Res64: 1B68A419743BED32 Time : 0.0 sec. user=mdettweiler [2013-03-15 12:57:22] 625*2^1242741-1 is not prime. Res64: 9E8CDFBC5DDBBAFE Time : 0.0 sec. user=mdettweiler [2013-03-15 12:57:23] 681*2^1242741-1 is not prime. Res64: FB46E370F7FBC54F Time : 0.0 sec. user=mdettweiler [2013-03-15 12:57:23] 747*2^1242741-1 is not prime. Res64: EB297C75802CC63D Time : 0.0 sec. user=juhehe [2013-03-15 13:03:35] 663*2^1242739-1 is not prime. Res64: E9B3EFFF84DBCA79 Time : 0.0 sec. user=mdettweiler [2013-03-15 13:15:01] 991*2^1242741-1 is not prime. Res64: 9C71343E0FB02D37 Time : 0.0 sec. user=mdettweiler [2013-03-15 13:15:01] 695*2^1242742-1 is not prime. Res64: 5B1FEE8DE2680871 Time : 0.0 sec. user=mdettweiler [2013-03-15 13:15:02] 617*2^1242742-1 is not prime. Res64: 7936128456873180 Time : 0.0 sec. user=mdettweiler [2013-03-15 13:15:03] 755*2^1242742-1 is not prime. Res64: AABA3F284EE030DE Time : 0.0 sec. user=vaughan [2013-03-15 13:24:25] 901*2^1242741-1 is not prime. Res64: ACCBADE8CE7B4DF4 Time : 0.0 sec. user=mdettweiler [2013-03-15 13:32:47] 843*2^1242742-1 is not prime. Res64: D72E9F5D40D8CD4F Time : 0.0 sec. user=mdettweiler [2013-03-15 13:32:48] 885*2^1242742-1 is not prime. Res64: 17E1C5D97BF5E264 Time : 0.0 sec. user=mdettweiler [2013-03-15 13:32:48] 801*2^1242742-1 is not prime. Res64: F28FAF56D692BBC2 Time : 0.0 sec. user=mdettweiler [2013-03-15 13:32:49] 831*2^1242742-1 is not prime. Res64: 8986C72A5AA06EE0 Time : 0.0 sec. user=mdettweiler [2013-03-15 13:50:24] 693*2^1242743-1 is not prime. Res64: B82C18519C6C904C Time : 0.0 sec. user=mdettweiler [2013-03-15 13:50:24] 745*2^1242743-1 is not prime. Res64: 8B6EDDC4D8047495 Time : 0.0 sec. user=mdettweiler [2013-03-15 13:50:25] 759*2^1242743-1 is not prime. Res64: 48637BEF52629D79 Time : 0.0 sec. user=mdettweiler [2013-03-15 13:50:25] 943*2^1242743-1 is not prime. Res64: 684BD782E7EAFEA1 Time : 0.0 sec. user=vaughan [2013-03-15 14:02:36] 603*2^1242743-1 is not prime. Res64: 3D196CBCAFBD201A Time : 0.0 sec. user=mdettweiler [2013-03-15 14:08:01] 635*2^1242744-1 is not prime. Res64: 67160D6ECA1428A7 Time : 0.0 sec. user=mdettweiler [2013-03-15 14:08:02] 639*2^1242744-1 is not prime. Res64: E2176F6CF94F42BF Time : 0.0 sec. user=mdettweiler [2013-03-15 14:08:02] 747*2^1242744-1 is not prime. Res64: D4AFFE658621F9DE Time : 0.0 sec. user=mdettweiler [2013-03-15 14:08:02] 899*2^1242744-1 is not prime. Res64: 150BD96A95651E2B Time : 0.0 sec. user=juhehe [2013-03-15 14:25:53] 891*2^1242742-1 is not prime. Res64: C559968BAC78C944 Time : 0.0 sec. user=mdettweiler [2013-03-15 14:26:15] 751*2^1242745-1 is not prime. Res64: 4B7E1B4340B5C75F Time : 0.0 sec. user=mdettweiler [2013-03-15 14:26:15] 771*2^1242745-1 is not prime. Res64: 485A38C0AD0E4BD6 Time : 0.0 sec. user=mdettweiler [2013-03-15 14:26:16] 789*2^1242745-1 is not prime. Res64: 89974BA753297E57 Time : 0.0 sec. user=mdettweiler [2013-03-15 14:26:17] 799*2^1242745-1 is not prime. Res64: 1DFF210CF6B635FA Time : 0.0 sec. user=vaughan [2013-03-15 14:40:52] 909*2^1242744-1 is not prime. Res64: 985B0459BB073993 Time : 0.0 sec. user=mdettweiler [2013-03-15 14:44:07] 847*2^1242745-1 is not prime. Res64: EB24B022150E3A1E Time : 0.0 sec. user=mdettweiler [2013-03-15 14:44:08] 861*2^1242745-1 is not prime. Res64: C341B2926EFFB467 Time : 0.0 sec. user=mdettweiler [2013-03-15 14:44:08] 937*2^1242745-1 is not prime. Res64: 2CE9B86235D9FDD8 Time : 0.0 sec. user=mdettweiler [2013-03-15 14:44:08] 979*2^1242745-1 is not prime. Res64: 64752E563F0AE699 Time : 0.0 sec. user=mdettweiler [2013-03-15 15:01:43] 739*2^1242747-1 is not prime. Res64: 7397B12C93E07847 Time : 0.0 sec. user=mdettweiler [2013-03-15 15:01:44] 741*2^1242746-1 is not prime. Res64: 1FA1CFFB0BD3E671 Time : 0.0 sec. user=mdettweiler [2013-03-15 15:01:45] 775*2^1242747-1 is not prime. Res64: 9CE8C6E64CC16049 Time : 0.0 sec. user=mdettweiler [2013-03-15 15:01:45] 941*2^1242746-1 is not prime. Res64: A1FEA666E6ECC0AB Time : 0.0 sec. user=vaughan [2013-03-15 15:19:02] 641*2^1242746-1 is not prime. Res64: CB3EF3BF09224744 Time : 0.0 sec. user=mdettweiler [2013-03-15 15:19:34] 795*2^1242747-1 is not prime. Res64: 3106A3DA8CDB30CB Time : 0.0 sec. user=mdettweiler [2013-03-15 15:19:34] 805*2^1242747-1 is not prime. Res64: 72398E6A54E5EB7C Time : 0.0 sec. user=mdettweiler [2013-03-15 15:19:36] 647*2^1242748-1 is not prime. Res64: D798E27A8A3801C9 Time : 0.0 sec. user=mdettweiler [2013-03-15 15:19:36] 665*2^1242748-1 is not prime. Res64: E48DD07797E786E8 Time : 0.0 sec. user=mdettweiler [2013-03-15 15:37:10] 929*2^1242748-1 is not prime. Res64: 8FA46970BD22BC0B Time : 0.0 sec. user=mdettweiler [2013-03-15 15:37:10] 729*2^1242749-1 is not prime. Res64: 7D90726B9198E456 Time : 0.0 sec. user=mdettweiler [2013-03-15 15:37:11] 735*2^1242749-1 is not prime. Res64: 12F44B5F61D1D02D Time : 0.0 sec. user=mdettweiler [2013-03-15 15:37:11] 801*2^1242749-1 is not prime. Res64: B59D4F143ED744F8 Time : 0.0 sec. user=mdettweiler [2013-03-15 15:54:46] 829*2^1242749-1 is not prime. Res64: 7C963F54E39196C6 Time : 0.0 sec. user=mdettweiler [2013-03-15 15:54:47] 855*2^1242749-1 is not prime. Res64: 8CAE7C11D2E1FBB4 Time : 0.0 sec. user=mdettweiler [2013-03-15 15:54:47] 927*2^1242749-1 is not prime. Res64: 36E7215394936657 Time : 0.0 sec. user=mdettweiler [2013-03-15 15:54:48] 969*2^1242749-1 is not prime. Res64: 7E444F44BCD6E67F Time : 0.0 sec. user=vaughan [2013-03-15 15:57:12] 827*2^1242748-1 is not prime. Res64: 2086D2B5B2599FF2 Time : 0.0 sec. user=juhehe [2013-03-15 16:11:29] 783*2^1242748-1 is not prime. Res64: 95432F7B72CD783A Time : 0.0 sec. user=mdettweiler [2013-03-15 16:12:24] 987*2^1242749-1 is not prime. Res64: B125CC138363851D Time : 0.0 sec. user=mdettweiler [2013-03-15 16:12:24] 717*2^1242750-1 is not prime. Res64: F07B87BA675D7F19 Time : 0.0 sec. user=mdettweiler [2013-03-15 16:12:24] 723*2^1242750-1 is not prime. Res64: AF648CAD796C84E1 Time : 0.0 sec. user=mdettweiler [2013-03-15 16:12:25] 855*2^1242751-1 is not prime. Res64: 18EDA84B1807C6BE Time : 0.0 sec. user=mdettweiler [2013-03-15 16:29:59] 665*2^1242752-1 is not prime. Res64: 95613C529BCD64BC Time : 0.0 sec. user=mdettweiler [2013-03-15 16:29:59] 797*2^1242752-1 is not prime. Res64: BD3C8DDE74E0BCCB Time : 0.0 sec. user=mdettweiler [2013-03-15 16:30:00] 825*2^1242752-1 is not prime. Res64: 5A37950131BADBDA Time : 0.0 sec. user=mdettweiler [2013-03-15 16:30:00] 897*2^1242752-1 is not prime. Res64: B17AC25E7F5DFD5E Time : 0.0 sec. user=juhehe [2013-03-15 16:32:14] 819*2^1242749-1 is not prime. Res64: 7C1E4463DA773516 Time : 0.0 sec. user=vaughan [2013-03-15 16:35:23] 951*2^1242751-1 is not prime. Res64: 371DD57B5A307510 Time : 0.0 sec. user=mdettweiler [2013-03-15 16:47:40] 615*2^1242753-1 is not prime. Res64: 2666C4F84C0C55A2 Time : 0.0 sec. user=mdettweiler [2013-03-15 16:47:40] 657*2^1242753-1 is not prime. Res64: DECB4F6679E23AD4 Time : 0.0 sec. user=mdettweiler [2013-03-15 16:47:40] 741*2^1242753-1 is not prime. Res64: D47C57E5853EEC99 Time : 0.0 sec. user=mdettweiler [2013-03-15 16:47:41] 835*2^1242753-1 is not prime. Res64: 7EAE22E1AEE6A78E Time : 0.0 sec. user=mdettweiler [2013-03-15 17:05:17] 915*2^1242753-1 is not prime. Res64: 950CB3DB7F44FF8B Time : 0.0 sec. user=mdettweiler [2013-03-15 17:05:18] 605*2^1242754-1 is not prime. Res64: 81FB8A67881CD428 Time : 0.0 sec. user=mdettweiler [2013-03-15 17:05:18] 955*2^1242753-1 is not prime. Res64: FA43CA9A4EC633E6 Time : 0.0 sec. user=mdettweiler [2013-03-15 17:05:19] 651*2^1242754-1 is not prime. Res64: 35DE4BAADABF6853 Time : 0.0 sec. user=vaughan [2013-03-15 17:13:34] 891*2^1242753-1 is not prime. Res64: 9AD8A9520AD052BE Time : 0.0 sec. user=mdettweiler [2013-03-15 17:22:56] 731*2^1242754-1 is not prime. Res64: 225FEBEA95BBF30F Time : 0.0 sec. user=mdettweiler [2013-03-15 17:22:56] 765*2^1242754-1 is not prime. Res64: 55C026E4716A0704 Time : 0.0 sec. user=mdettweiler [2013-03-15 17:22:57] 773*2^1242754-1 is not prime. Res64: 6A042C33B46357FD Time : 0.0 sec. user=mdettweiler [2013-03-15 17:22:57] 915*2^1242754-1 is not prime. Res64: A0AEB1EC80B13B8F Time : 0.0 sec. user=mdettweiler [2013-03-15 17:40:30] 669*2^1242755-1 is not prime. Res64: D81D1EBB6C652DC8 Time : 0.0 sec. user=mdettweiler [2013-03-15 17:40:31] 871*2^1242755-1 is not prime. Res64: D987BA91B90E5315 Time : 0.0 sec. user=mdettweiler [2013-03-15 17:40:31] 903*2^1242755-1 is not prime. Res64: C67F9C04DBC11D09 Time : 0.0 sec. user=mdettweiler [2013-03-15 17:40:31] 943*2^1242755-1 is not prime. Res64: BCEE9E1386DFBA0C Time : 0.0 sec. user=vaughan [2013-03-15 17:51:47] 663*2^1242755-1 is not prime. Res64: 2A86ECEF9EDCE3C0 Time : 0.0 sec. user=mdettweiler [2013-03-15 17:58:03] 969*2^1242755-1 is not prime. Res64: 12643C81DE39602F Time : 0.0 sec. user=mdettweiler [2013-03-15 17:58:04] 979*2^1242755-1 is not prime. Res64: 4E7E55D3FAADA05A Time : 0.0 sec. user=mdettweiler [2013-03-15 17:58:05] 699*2^1242756-1 is not prime. Res64: B37F11E341C001F6 Time : 0.0 sec. user=mdettweiler [2013-03-15 17:58:05] 759*2^1242756-1 is not prime. Res64: C8BAEECD0CB6B670 Time : 0.0 sec. user=mdettweiler [2013-03-15 18:15:42] 825*2^1242756-1 is not prime. Res64: 18E980558BA5D8FE Time : 0.0 sec. user=mdettweiler [2013-03-15 18:15:43] 645*2^1242757-1 is not prime. Res64: 29441A67F2451F5B Time : 0.0 sec. user=mdettweiler [2013-03-15 18:15:43] 661*2^1242757-1 is not prime. Res64: CCA98ABDE92C3491 Time : 0.0 sec. user=mdettweiler [2013-03-15 18:15:43] 741*2^1242757-1 is not prime. Res64: DF7443B65254D4F9 Time : 0.0 sec. user=juhehe [2013-03-15 18:18:06] 917*2^1242754-1 is not prime. Res64: D61EEDEBB0D59A32 Time : 0.0 sec. user=vaughan [2013-03-15 18:29:57] 765*2^1242756-1 is not prime. Res64: 70272F82F758C059 Time : 0.0 sec. user=mdettweiler [2013-03-15 18:33:19] 861*2^1242757-1 is not prime. Res64: A3153595F28D14EB Time : 0.0 sec. user=mdettweiler [2013-03-15 18:33:20] 937*2^1242757-1 is not prime. Res64: E1216C58C2F727E9 Time : 0.0 sec. user=mdettweiler [2013-03-15 18:33:20] 955*2^1242757-1 is not prime. Res64: 91747CDB565798D6 Time : 0.0 sec. user=mdettweiler [2013-03-15 18:33:20] 961*2^1242757-1 is not prime. Res64: F3563A460C5385DB Time : 0.0 sec. user=mdettweiler [2013-03-15 18:50:53] 605*2^1242758-1 is not prime. Res64: AD91354CDD88CBA8 Time : 0.0 sec. user=mdettweiler [2013-03-15 18:50:54] 641*2^1242758-1 is not prime. Res64: 238C1893C1E7CCDD Time : 0.0 sec. user=mdettweiler [2013-03-15 18:50:54] 665*2^1242758-1 is not prime. Res64: AF48108F436AA971 Time : 0.0 sec. user=mdettweiler [2013-03-15 18:50:54] 711*2^1242758-1 is not prime. Res64: 1A36EDC749DB5899 Time : 0.0 sec. user=mdettweiler [2013-03-15 19:08:31] 771*2^1242758-1 is not prime. Res64: 6797EDB717046A65 Time : 0.0 sec. user=mdettweiler [2013-03-15 19:08:31] 893*2^1242758-1 is not prime. Res64: DF8C14F1DFC196F5 Time : 0.0 sec. user=mdettweiler [2013-03-15 19:08:32] 867*2^1242758-1 is not prime. Res64: FAD126F1B780E23F Time : 0.0 sec. user=mdettweiler [2013-03-15 19:08:32] 897*2^1242758-1 is not prime. Res64: 0F5D1B0DB3D71574 Time : 0.0 sec. user=vaughan [2013-03-15 19:13:14] 975*2^1242757-1 is not prime. Res64: A0466A76CF63AFF0 Time : 0.0 sec. user=mdettweiler [2013-03-15 19:26:10] 957*2^1242758-1 is not prime. Res64: 3878D47FFDD00384 Time : 0.0 sec. user=mdettweiler [2013-03-15 19:26:11] 963*2^1242758-1 is not prime. Res64: 291C4176E6E49C1A Time : 0.0 sec. user=mdettweiler [2013-03-15 19:26:13] 613*2^1242759-1 is not prime. Res64: AFF4F1B9677B3211 Time : 0.0 sec. user=mdettweiler [2013-03-15 19:26:14] 693*2^1242759-1 is not prime. Res64: A13CBE642CEAE148 Time : 0.0 sec. user=juhehe [2013-03-15 19:40:07] 743*2^1242758-1 is not prime. Res64: 04BFD0F6D4404BE4 Time : 0.0 sec. user=mdettweiler [2013-03-15 19:43:47] 825*2^1242759-1 is not prime. Res64: 770F689E2016B430 Time : 0.0 sec. user=mdettweiler [2013-03-15 19:43:48] 853*2^1242759-1 is not prime. Res64: 59E3048B4DCFB050 Time : 0.0 sec. user=mdettweiler [2013-03-15 19:43:50] 951*2^1242759-1 is not prime. Res64: 3D5AA15B3B436CDD Time : 0.0 sec. user=mdettweiler [2013-03-15 19:43:51] 999*2^1242759-1 is not prime. Res64: 96C5501A4024FD8E Time : 0.0 sec. user=vaughan [2013-03-15 19:51:23] 705*2^1242759-1 is not prime. Res64: B6BDBF50ECE9D382 Time : 0.0 sec. user=mdettweiler [2013-03-15 20:01:26] 675*2^1242760-1 is not prime. Res64: 8591DBC7F44C090A Time : 0.0 sec. user=mdettweiler [2013-03-15 20:01:27] 695*2^1242760-1 is not prime. Res64: 64521BA5E60A929A Time : 0.0 sec. user=mdettweiler [2013-03-15 20:01:28] 965*2^1242760-1 is not prime. Res64: 7E8C18DD21CAECE0 Time : 0.0 sec. user=mdettweiler [2013-03-15 20:01:29] 705*2^1242761-1 is not prime. Res64: F9A789672003D9C7 Time : 0.0 sec. user=mdettweiler [2013-03-15 20:19:36] 781*2^1242761-1 is not prime. Res64: FC119FFFE4687279 Time : 0.0 sec. user=mdettweiler [2013-03-15 20:19:37] 945*2^1242761-1 is not prime. Res64: BD994EEEA2A839E3 Time : 0.0 sec. user=mdettweiler [2013-03-15 20:19:41] 727*2^1242761-1 is not prime. Res64: 35737D05359BC169 Time : 0.0 sec. user=mdettweiler [2013-03-15 20:19:41] 747*2^1242761-1 is not prime. Res64: FAC4E0B0CD7EBDBE Time : 0.0 sec. user=juhehe [2013-03-15 20:24:00] 751*2^1242759-1 is not prime. Res64: E3D68F6BD02B7524 Time : 0.0 sec. user=vaughan [2013-03-15 20:29:34] 715*2^1242761-1 is not prime. Res64: 4646A304CF59B614 Time : 0.0 sec. user=mdettweiler [2013-03-15 20:37:39] 723*2^1242762-1 is not prime. Res64: 185F66A99FD6DB54 Time : 0.0 sec. user=mdettweiler [2013-03-15 20:37:40] 741*2^1242762-1 is not prime. Res64: 4EFE765AD9C40796 Time : 0.0 sec. user=mdettweiler [2013-03-15 20:37:42] 797*2^1242762-1 is not prime. Res64: DAC00D5AA4EB08B4 Time : 0.0 sec. user=mdettweiler [2013-03-15 20:37:43] 625*2^1242763-1 is not prime. Res64: 5E6ACAAFBD46EFC3 Time : 0.0 sec. user=mdettweiler [2013-03-15 20:55:14] 771*2^1242763-1 is not prime. Res64: A79B0C4CD1A64965 Time : 0.0 sec. user=mdettweiler [2013-03-15 20:55:15] 805*2^1242763-1 is not prime. Res64: 1DE9AD3ECF3D0D4B Time : 0.0 sec. user=mdettweiler [2013-03-15 20:55:18] 665*2^1242764-1 is not prime. Res64: 5372F83A48BF0E9B Time : 0.0 sec. user=mdettweiler [2013-03-15 20:55:19] 675*2^1242764-1 is not prime. Res64: 810F11E01511449C Time : 0.0 sec. user=vaughan [2013-03-15 21:07:45] 675*2^1242763-1 is not prime. Res64: 53417C35918B4E06 Time : 0.0 sec. user=mdettweiler [2013-03-15 21:12:50] 749*2^1242764-1 is not prime. Res64: B06717EDF8A98992 Time : 0.0 sec. user=mdettweiler [2013-03-15 21:12:50] 819*2^1242764-1 is not prime. Res64: 92AC26C2F04709BF Time : 0.0 sec. user=mdettweiler [2013-03-15 21:12:53] 649*2^1242765-1 is not prime. Res64: 4329DC38082EB950 Time : 0.0 sec. user=mdettweiler [2013-03-15 21:12:54] 885*2^1242765-1 is not prime. Res64: AF774E763411491A Time : 0.0 sec. user=mdettweiler [2013-03-15 21:30:25] 979*2^1242765-1 is not prime. Res64: 9DB32CFB8A33F1B9 Time : 0.0 sec. user=mdettweiler [2013-03-15 21:30:25] 997*2^1242765-1 is not prime. Res64: 721BD4CD9E89F664 Time : 0.0 sec. user=mdettweiler [2013-03-15 21:30:27] 705*2^1242766-1 is not prime. Res64: 95FE7F27528682F6 Time : 0.0 sec. user=mdettweiler [2013-03-15 21:30:28] 737*2^1242766-1 is not prime. Res64: 2BA658936E40CB66 Time : 0.0 sec. user=juhehe [2013-03-15 21:45:25] 717*2^1242764-1 is not prime. Res64: F6228AEDD6E2A114 Time : 0.0 sec. user=vaughan [2013-03-15 21:46:00] 895*2^1242765-1 is not prime. Res64: FEF6A5F2BC026765 Time : 0.0 sec. user=mdettweiler [2013-03-15 21:47:59] 747*2^1242766-1 is not prime. Res64: 1DB78BF035F36DA9 Time : 0.0 sec. user=mdettweiler [2013-03-15 21:47:59] 801*2^1242766-1 is not prime. Res64: 65E65A9F6A8EFDFB Time : 0.0 sec. user=mdettweiler [2013-03-15 21:48:02] 923*2^1242766-1 is not prime. Res64: AC5B8E68746EDAC6 Time : 0.0 sec. user=mdettweiler [2013-03-15 21:48:02] 983*2^1242766-1 is not prime. Res64: 0FD875D0C712011C Time : 0.0 sec. user=mdettweiler [2013-03-15 22:05:37] 651*2^1242767-1 is not prime. Res64: 5D6A1DEF8EF2D124 Time : 0.0 sec. user=mdettweiler [2013-03-15 22:05:38] 685*2^1242767-1 is not prime. Res64: 2FD929A85FD8DF60 Time : 0.0 sec. user=mdettweiler [2013-03-15 22:05:40] 813*2^1242767-1 is not prime. Res64: AB46C75DEC6BDA57 Time : 0.0 sec. user=mdettweiler [2013-03-15 22:05:41] 895*2^1242767-1 is not prime. Res64: 5F30A352CBE3D371 Time : 0.0 sec. user=mdettweiler [2013-03-15 22:23:17] 633*2^1242768-1 is not prime. Res64: A27469A66CC04816 Time : 0.0 sec. user=mdettweiler [2013-03-15 22:23:18] 683*2^1242768-1 is not prime. Res64: 5BBDD7ED0A460144 Time : 0.0 sec. user=mdettweiler [2013-03-15 22:23:19] 705*2^1242768-1 is not prime. Res64: A546BE10C4C489CF Time : 0.0 sec. user=mdettweiler [2013-03-15 22:23:19] 765*2^1242768-1 is not prime. Res64: 40CD0E280492D6ED Time : 0.0 sec. user=vaughan [2013-03-15 22:24:15] 615*2^1242767-1 is not prime. Res64: 04FEC4CAB4D94E5E Time : 0.0 sec. user=juhehe [2013-03-15 22:29:30] 741*2^1242766-1 is not prime. Res64: F95A95017653D78B Time : 0.0 sec. user=mdettweiler [2013-03-15 22:41:07] 815*2^1242768-1 is not prime. Res64: B52F0151961DD85A Time : 0.0 sec. user=mdettweiler [2013-03-15 22:41:07] 845*2^1242768-1 is not prime. Res64: 29B67A88FA7E6037 Time : 0.0 sec. user=mdettweiler [2013-03-15 22:41:07] 879*2^1242768-1 is not prime. Res64: 1BD284FBE2FD1215 Time : 0.0 sec. user=mdettweiler [2013-03-15 22:41:08] 893*2^1242768-1 is not prime. Res64: 85FD5EB1A247874E Time : 0.0 sec. user=mdettweiler [2013-03-15 22:59:28] 721*2^1242769-1 is not prime. Res64: 2E04370E2B235240 Time : 0.0 sec. user=mdettweiler [2013-03-15 22:59:28] 765*2^1242769-1 is not prime. Res64: 3DA63911AB3D330A Time : 0.0 sec. user=mdettweiler [2013-03-15 23:00:00] 637*2^1242769-1 is not prime. Res64: 11E19607F938AB8B Time : 0.0 sec. user=mdettweiler [2013-03-15 23:00:00] 639*2^1242769-1 is not prime. Res64: 077A0711B84E5C23 Time : 0.0 sec. user=vaughan [2013-03-15 23:02:27] 609*2^1242769-1 is not prime. Res64: 4D19F8C9C2ECCA64 Time : 0.0 sec. user=mdettweiler [2013-03-15 23:17:41] 789*2^1242769-1 is not prime. Res64: C7E5828AFB3C66DA Time : 0.0 sec. user=mdettweiler [2013-03-15 23:17:41] 885*2^1242769-1 is not prime. Res64: B0B45981CC638554 Time : 0.0 sec. user=mdettweiler [2013-03-15 23:18:13] 985*2^1242769-1 is not prime. Res64: 59C04F979E5123D3 Time : 0.0 sec. user=mdettweiler [2013-03-15 23:18:13] 997*2^1242769-1 is not prime. Res64: F2C62B2460E8A1B0 Time : 0.0 sec. user=mdettweiler [2013-03-15 23:35:55] 671*2^1242770-1 is not prime. Res64: BB04CD7332607761 Time : 0.0 sec. user=mdettweiler [2013-03-15 23:35:55] 701*2^1242770-1 is not prime. Res64: CCA6907133AC112D Time : 0.0 sec. user=mdettweiler [2013-03-15 23:36:24] 767*2^1242770-1 is not prime. Res64: 1EF0E3EC4377661B Time : 0.0 sec. user=mdettweiler [2013-03-15 23:36:24] 831*2^1242770-1 is not prime. Res64: 73F66C6F12A3A40E Time : 0.0 sec. user=vaughan [2013-03-15 23:40:34] 657*2^1242770-1 is not prime. Res64: 84C64463BBBDA236 Time : 0.0 sec. user=juhehe [2013-03-15 23:51:19] 769*2^1242769-1 is not prime. Res64: FABB6843B228C54C Time : 0.0 sec. user=mdettweiler [2013-03-15 23:53:37] 977*2^1242770-1 is not prime. Res64: 988BA76269861DE1 Time : 0.0 sec. user=mdettweiler [2013-03-15 23:53:37] 613*2^1242771-1 is not prime. Res64: 07DAA9B7C37FD5E3 Time : 0.0 sec. user=mdettweiler [2013-03-15 23:54:05] 643*2^1242771-1 is not prime. Res64: 3E8FE8C6324FC9F9 Time : 0.0 sec. user=mdettweiler [2013-03-15 23:54:05] 649*2^1242771-1 is not prime. Res64: 01FE384FE64A058C Time : 0.0 sec.