user=mdettweiler [2013-09-17 00:02:53] 769*2^1253469-1 is not prime. Res64: D6627DD6ECC185E6 Time : 0.0 sec. user=mdettweiler [2013-09-17 00:02:54] 781*2^1253469-1 is not prime. Res64: 41151D95F4FAE1EA Time : 0.0 sec. user=mdettweiler [2013-09-17 00:11:32] 825*2^1253469-1 is not prime. Res64: 81AD0072B1346DAD Time : 0.0 sec. user=mdettweiler [2013-09-17 00:11:33] 955*2^1253469-1 is not prime. Res64: 6AEB228F11ABE342 Time : 0.0 sec. user=mdettweiler [2013-09-17 00:15:50] 979*2^1253469-1 is not prime. Res64: 5DB6802219EECC55 Time : 0.0 sec. user=mdettweiler [2013-09-17 00:15:51] 991*2^1253469-1 is not prime. Res64: 24EBEF3085CB6DD5 Time : 0.0 sec. user=mdettweiler [2013-09-17 00:17:55] 605*2^1253470-1 is not prime. Res64: 071914073638DD82 Time : 0.0 sec. user=mdettweiler [2013-09-17 00:17:55] 647*2^1253470-1 is not prime. Res64: 2E9A52CFBE73C7BF Time : 0.0 sec. user=mdettweiler [2013-09-17 00:22:29] 653*2^1253470-1 is not prime. Res64: B2BE8D1C240F9D7C Time : 0.0 sec. user=mdettweiler [2013-09-17 00:22:29] 665*2^1253470-1 is not prime. Res64: CEB2249962327C23 Time : 0.0 sec. user=mdettweiler [2013-09-17 00:31:11] 723*2^1253470-1 is not prime. Res64: 39BC019C6EBE5111 Time : 0.0 sec. user=mdettweiler [2013-09-17 00:31:12] 755*2^1253470-1 is not prime. Res64: 5D38B8AE9EAFEE32 Time : 0.0 sec. user=mdettweiler [2013-09-17 00:36:23] 1001*2^1253470-1 is not prime. Res64: 8815922C6637D14C Time : 0.0 sec. user=mdettweiler [2013-09-17 00:36:23] 609*2^1253471-1 is not prime. Res64: 52C09BB72D54987B Time : 0.0 sec. user=mdettweiler [2013-09-17 00:37:28] 619*2^1253471-1 is not prime. Res64: 1DCA09FC49746531 Time : 0.0 sec. user=mdettweiler [2013-09-17 00:37:29] 661*2^1253471-1 is not prime. Res64: 63E612C58D4678E8 Time : 0.0 sec. user=mdettweiler [2013-09-17 00:42:05] 789*2^1253471-1 is not prime. Res64: 2C77AF2E8321651F Time : 0.0 sec. user=mdettweiler [2013-09-17 00:42:06] 843*2^1253471-1 is not prime. Res64: 969CC6F85F7DB60C Time : 0.0 sec. user=mdettweiler [2013-09-17 00:50:47] 623*2^1253472-1 is not prime. Res64: 06B73CC5B9BB80F6 Time : 0.0 sec. user=mdettweiler [2013-09-17 00:50:47] 627*2^1253472-1 is not prime. Res64: 35FA8F7B9E325E7C Time : 0.0 sec. user=mdettweiler [2013-09-17 00:55:56] 653*2^1253472-1 is not prime. Res64: 075D2D982B4DBC78 Time : 0.0 sec. user=mdettweiler [2013-09-17 00:55:56] 693*2^1253472-1 is not prime. Res64: 1AE4930DD078DAAB Time : 0.0 sec. user=mdettweiler [2013-09-17 00:57:55] 825*2^1253472-1 is not prime. Res64: 3E52E020392C1EAB Time : 0.0 sec. user=mdettweiler [2013-09-17 00:57:56] 873*2^1253472-1 is not prime. Res64: F189CAB8079B37C7 Time : 0.0 sec. user=mdettweiler [2013-09-17 01:02:41] 929*2^1253472-1 is not prime. Res64: 5AFC81EB70AC0AC8 Time : 0.0 sec. user=mdettweiler [2013-09-17 01:02:43] 625*2^1253473-1 is not prime. Res64: DFD40149FD27B4CE Time : 0.0 sec. user=mdettweiler [2013-09-17 01:10:22] 741*2^1253473-1 is not prime. Res64: C3BD7E86A4CD868B Time : 0.0 sec. user=mdettweiler [2013-09-17 01:10:23] 861*2^1253473-1 is not prime. Res64: 2740155FFB645741 Time : 0.0 sec. user=mdettweiler [2013-09-17 01:17:24] 967*2^1253473-1 is not prime. Res64: AAFD9C48B9C78435 Time : 0.0 sec. user=mdettweiler [2013-09-17 01:17:25] 999*2^1253473-1 is not prime. Res64: 6FF25A7091E2157A Time : 0.0 sec. user=mdettweiler [2013-09-17 01:17:31] 615*2^1253474-1 is not prime. Res64: 7466EF79100A5C1D Time : 0.0 sec. user=mdettweiler [2013-09-17 01:17:31] 675*2^1253474-1 is not prime. Res64: F1E6F612C410FB04 Time : 0.0 sec. user=mdettweiler [2013-09-17 01:22:17] 731*2^1253474-1 is not prime. Res64: 5D3BF300FDCBA04F Time : 0.0 sec. user=mdettweiler [2013-09-17 01:22:18] 753*2^1253474-1 is not prime. Res64: B693650C58F7AA78 Time : 0.0 sec. user=mdettweiler [2013-09-17 01:29:54] 791*2^1253474-1 is not prime. Res64: F80F7F0240B8DBB7 Time : 0.0 sec. user=mdettweiler [2013-09-17 01:29:55] 837*2^1253474-1 is not prime. Res64: 9E4690BDB5139B8C Time : 0.0 sec. user=mdettweiler [2013-09-17 01:36:57] 649*2^1253475-1 is not prime. Res64: 419D5C1E24B49A82 Time : 0.0 sec. user=mdettweiler [2013-09-17 01:36:57] 775*2^1253475-1 is not prime. Res64: 435BB4E9C42CC434 Time : 0.0 sec. user=mdettweiler [2013-09-17 01:38:39] 983*2^1253474-1 is not prime. Res64: DEB204E70ABEAFEB Time : 0.0 sec. user=mdettweiler [2013-09-17 01:38:40] 1001*2^1253474-1 is not prime. Res64: E78FE95D244A362C Time : 0.0 sec. user=mdettweiler [2013-09-17 01:43:31] 963*2^1253475-1 is not prime. Res64: 4FC2A819EC6FD4B8 Time : 0.0 sec. user=mdettweiler [2013-09-17 01:43:32] 985*2^1253475-1 is not prime. Res64: 1913DA2A04BE7EA6 Time : 0.0 sec. user=mdettweiler [2013-09-17 01:49:23] 623*2^1253476-1 is not prime. Res64: 52BEA8CF05CA1CC2 Time : 0.0 sec. user=mdettweiler [2013-09-17 01:49:24] 695*2^1253476-1 is not prime. Res64: CB5CE003D54D9041 Time : 0.0 sec. user=mdettweiler [2013-09-17 01:56:24] 735*2^1253476-1 is not prime. Res64: E52AABDC0E6F0DBA Time : 0.0 sec. user=mdettweiler [2013-09-17 01:56:24] 765*2^1253476-1 is not prime. Res64: 3A39BAE4C9FCDF58 Time : 0.0 sec. user=mdettweiler [2013-09-17 01:58:16] 777*2^1253476-1 is not prime. Res64: 9BAD58C51EA69E7A Time : 0.0 sec. user=mdettweiler [2013-09-17 01:58:17] 833*2^1253476-1 is not prime. Res64: 904BAEFFEAAFD8E7 Time : 0.0 sec. user=mdettweiler [2013-09-17 02:03:52] 839*2^1253476-1 is not prime. Res64: DD17A5ACE87BF3DE Time : 0.0 sec. user=mdettweiler [2013-09-17 02:03:53] 957*2^1253476-1 is not prime. Res64: 7249911A879EC2BD Time : 0.0 sec. user=mdettweiler [2013-09-17 02:09:47] 993*2^1253476-1 is not prime. Res64: 6EDDE93964E73162 Time : 0.0 sec. user=mdettweiler [2013-09-17 02:09:48] 621*2^1253477-1 is not prime. Res64: 4E749118BD7BF59C Time : 0.0 sec. user=mdettweiler [2013-09-17 02:16:45] 799*2^1253477-1 is not prime. Res64: 6DCE426324252B6E Time : 0.0 sec. user=mdettweiler [2013-09-17 02:16:46] 927*2^1253477-1 is not prime. Res64: 92A54364D1AD22E8 Time : 0.0 sec. user=mdettweiler [2013-09-17 02:19:32] 949*2^1253477-1 is not prime. Res64: 78F03E55094873DD Time : 0.0 sec. user=mdettweiler [2013-09-17 02:19:33] 955*2^1253477-1 is not prime. Res64: 4A73DB6045459089 Time : 0.0 sec. user=mdettweiler [2013-09-17 02:24:20] 981*2^1253477-1 is not prime. Res64: E72C3B4A77BD0D65 Time : 0.0 sec. user=mdettweiler [2013-09-17 02:24:20] 627*2^1253478-1 is not prime. Res64: 09A620AD31A126F0 Time : 0.0 sec. user=mdettweiler [2013-09-17 02:31:22] 945*2^1253478-1 is not prime. Res64: A612301AECDE8BCB Time : 0.0 sec. user=mdettweiler [2013-09-17 02:31:23] 993*2^1253478-1 is not prime. Res64: 6E643FDA35FBC951 Time : 0.0 sec. user=mdettweiler [2013-09-17 02:36:43] 675*2^1253479-1 is not prime. Res64: F1B3D84292DDCB64 Time : 0.0 sec. user=mdettweiler [2013-09-17 02:36:45] 831*2^1253479-1 is not prime. Res64: 5A5D5F2E0D6C0716 Time : 0.0 sec. user=mdettweiler [2013-09-17 02:41:38] 873*2^1253479-1 is not prime. Res64: FAF87DF2D5F15F6B Time : 0.0 sec. user=mdettweiler [2013-09-17 02:41:39] 889*2^1253479-1 is not prime. Res64: 34B39BDA2E6C8D1F Time : 0.0 sec. user=mdettweiler [2013-09-17 02:45:48] 909*2^1253479-1 is not prime. Res64: CDAB14CFD4946A44 Time : 0.0 sec. user=mdettweiler [2013-09-17 02:45:49] 969*2^1253479-1 is not prime. Res64: 4F0FC587CBD94114 Time : 0.0 sec. user=mdettweiler [2013-09-17 02:51:57] 975*2^1253479-1 is not prime. Res64: 4B21CAA9E8DC123E Time : 0.0 sec. user=mdettweiler [2013-09-17 02:51:58] 603*2^1253480-1 is not prime. Res64: C4EE17B40B913AE6 Time : 0.0 sec. user=mdettweiler [2013-09-17 02:56:13] 635*2^1253480-1 is not prime. Res64: D6B460B17538CCD4 Time : 0.0 sec. user=mdettweiler [2013-09-17 02:56:13] 717*2^1253480-1 is not prime. Res64: 33029A9E9AABD0D0 Time : 0.0 sec. user=mdettweiler [2013-09-17 03:02:07] 725*2^1253480-1 is not prime. Res64: 22CE2BAAB0DC9E8C Time : 0.0 sec. user=mdettweiler [2013-09-17 03:02:08] 915*2^1253480-1 is not prime. Res64: 554F3BD7F0C50F20 Time : 0.0 sec. user=mdettweiler [2013-09-17 03:05:15] 601*2^1253481-1 is not prime. Res64: 255C1370572AA756 Time : 0.0 sec. user=mdettweiler [2013-09-17 03:05:16] 685*2^1253481-1 is not prime. Res64: 8E558227F784D369 Time : 0.0 sec. user=mdettweiler [2013-09-17 03:11:20] 777*2^1253481-1 is not prime. Res64: 181D21D0CB237297 Time : 0.0 sec. user=mdettweiler [2013-09-17 03:11:21] 807*2^1253481-1 is not prime. Res64: 661CAF9FA016514B Time : 0.0 sec. user=mdettweiler [2013-09-17 03:17:25] 921*2^1253481-1 is not prime. Res64: 0BFDA21DAC2EFFF7 Time : 0.0 sec. user=mdettweiler [2013-09-17 03:17:25] 987*2^1253481-1 is not prime. Res64: 082DB2E5CBB98697 Time : 0.0 sec. user=mdettweiler [2013-09-17 03:21:38] 645*2^1253482-1 is not prime. Res64: 9B063BD37B0B13A9 Time : 0.0 sec. user=mdettweiler [2013-09-17 03:21:38] 671*2^1253482-1 is not prime. Res64: 3D46C3500725A889 Time : 0.0 sec. user=mdettweiler [2013-09-17 03:24:38] 713*2^1253482-1 is not prime. Res64: 43026FA45F8FBE4B Time : 0.0 sec. user=mdettweiler [2013-09-17 03:24:38] 747*2^1253482-1 is not prime. Res64: 869D2366AC0B208C Time : 0.0 sec. user=mdettweiler [2013-09-17 03:31:43] 765*2^1253482-1 is not prime. Res64: 1292010A8712D9EF Time : 0.0 sec. user=mdettweiler [2013-09-17 03:31:45] 917*2^1253482-1 is not prime. Res64: 3FB5F416765867CB Time : 0.0 sec. user=mdettweiler [2013-09-17 03:37:43] 983*2^1253482-1 is not prime. Res64: A0CF800248029B4C Time : 0.0 sec. user=mdettweiler [2013-09-17 03:37:43] 603*2^1253483-1 is not prime. Res64: D158F55D5EDCEEFC Time : 0.0 sec. user=mdettweiler [2013-09-17 03:41:13] 621*2^1253483-1 is not prime. Res64: 2F474E24C90BF49C Time : 0.0 sec. user=mdettweiler [2013-09-17 03:41:14] 679*2^1253483-1 is not prime. Res64: 00E3D1BFEF062EBE Time : 0.0 sec. user=mdettweiler [2013-09-17 03:44:06] 801*2^1253483-1 is not prime. Res64: 22798B852686A19A Time : 0.0 sec. user=mdettweiler [2013-09-17 03:44:06] 811*2^1253483-1 is not prime. Res64: CD91B8ACD78706C5 Time : 0.0 sec. user=mdettweiler [2013-09-17 03:51:28] 675*2^1253484-1 is not prime. Res64: 71DE1159249712DB Time : 0.0 sec. user=mdettweiler [2013-09-17 03:51:28] 683*2^1253484-1 is not prime. Res64: 5E59970422491DC8 Time : 0.0 sec. user=mdettweiler [2013-09-17 03:58:15] 759*2^1253484-1 is not prime. Res64: B943ABAADE3E227E Time : 0.0 sec. user=mdettweiler [2013-09-17 03:58:16] 927*2^1253484-1 is not prime. Res64: 5AB4043243A88200 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:01:41] 929*2^1253484-1 is not prime. Res64: C52E8C5DDCC987E5 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:01:42] 625*2^1253485-1 is not prime. Res64: C6E9A135DF890510 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:03:28] 721*2^1253485-1 is not prime. Res64: 6C1877DEA7B3D7DA Time : 0.0 sec. user=mdettweiler [2013-09-17 04:03:30] 727*2^1253485-1 is not prime. Res64: BC9E3FCC39C1616D Time : 0.0 sec. user=mdettweiler [2013-09-17 04:10:48] 799*2^1253485-1 is not prime. Res64: 966838EC8D2548A0 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:10:49] 801*2^1253485-1 is not prime. Res64: 0AB918EEC1C8DED8 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:17:38] 805*2^1253485-1 is not prime. Res64: 83371692BD629D55 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:17:38] 859*2^1253485-1 is not prime. Res64: 7B52C6BB94182549 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:22:50] 623*2^1253486-1 is not prime. Res64: D9D86D431203E45C Time : 0.0 sec. user=mdettweiler [2013-09-17 04:22:51] 705*2^1253486-1 is not prime. Res64: 077FF078D1F93E93 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:22:56] 871*2^1253485-1 is not prime. Res64: 6FB9C4502E25698F Time : 0.0 sec. user=mdettweiler [2013-09-17 04:22:57] 997*2^1253485-1 is not prime. Res64: 6A26ED9AAFB88445 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:30:15] 761*2^1253486-1 is not prime. Res64: F0C9EC6434CB78B7 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:30:16] 857*2^1253486-1 is not prime. Res64: 2AAC4C26F72B336B Time : 0.0 sec. user=mdettweiler [2013-09-17 04:38:53] 873*2^1253486-1 is not prime. Res64: 8BD9DB5F8B7D165E Time : 0.0 sec. user=mdettweiler [2013-09-17 04:38:54] 957*2^1253486-1 is not prime. Res64: 8584089C15492E65 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:42:22] 711*2^1253487-1 is not prime. Res64: E92D17934F411C08 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:42:22] 823*2^1253487-1 is not prime. Res64: 17041B750AB59148 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:43:02] 981*2^1253486-1 is not prime. Res64: D2914795B030B2A3 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:43:03] 621*2^1253487-1 is not prime. Res64: 9314E5708B8912E7 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:51:32] 871*2^1253487-1 is not prime. Res64: 600F1A8A4E7FACD1 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:51:32] 885*2^1253487-1 is not prime. Res64: 808B47F30E584D32 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:59:13] 951*2^1253487-1 is not prime. Res64: 0A9FFF6E129FDE87 Time : 0.0 sec. user=mdettweiler [2013-09-17 04:59:13] 629*2^1253488-1 is not prime. Res64: 03C9B0E55C73CCEE Time : 0.0 sec. user=mdettweiler [2013-09-17 05:02:40] 813*2^1253488-1 is not prime. Res64: 8E4EAB697FA13E70 Time : 0.0 sec. user=mdettweiler [2013-09-17 05:02:41] 989*2^1253488-1 is not prime. Res64: 5E3768B64C7EFC25 Time : 0.0 sec. user=mdettweiler [2013-09-17 05:03:23] 995*2^1253488-1 is not prime. Res64: 6964F278FCD88E98 Time : 0.0 sec. user=mdettweiler [2013-09-17 05:03:25] 657*2^1253489-1 is not prime. Res64: 729931B75676C1BD Time : 0.0 sec. user=mdettweiler [2013-09-17 05:10:52] 675*2^1253489-1 is not prime. Res64: D4574D7D4E1E58BA Time : 0.0 sec. user=mdettweiler [2013-09-17 05:10:53] 847*2^1253489-1 is not prime. Res64: E3AB2E2A29192573 Time : 0.0 sec. user=mdettweiler [2013-09-17 05:20:23] 951*2^1253489-1 is not prime. Res64: 7FED8728A1E08117 Time : 0.0 sec. user=mdettweiler [2013-09-17 05:20:24] 979*2^1253489-1 is not prime. Res64: 768C20646B4FFAC7 Time : 0.0 sec. user=mdettweiler [2013-09-17 05:22:03] 681*2^1253490-1 is not prime. Res64: 1FBD4FEDE48B4EC6 Time : 0.0 sec. user=mdettweiler [2013-09-17 05:22:04] 723*2^1253490-1 is not prime. Res64: 723B475388CA6973 Time : 0.0 sec. user=mdettweiler [2013-09-17 05:22:45] 777*2^1253490-1 is not prime. Res64: 97E98032D5D1D24C Time : 0.0 sec. user=mdettweiler [2013-09-17 05:22:45] 791*2^1253490-1 is not prime. Res64: 8EBF3BD2A3AC148C Time : 0.0 sec. user=mdettweiler [2013-09-17 05:31:17] 971*2^1253490-1 is not prime. Res64: AB1CDE1DDAA5E840 Time : 0.0 sec. user=mdettweiler [2013-09-17 05:31:17] 615*2^1253491-1 is not prime. Res64: 150F09DC7549AECC Time : 0.0 sec. user=mdettweiler [2013-09-17 05:39:47] 819*2^1253491-1 is not prime. Res64: 04A265212BC6CC33 Time : 0.0 sec. user=mdettweiler [2013-09-17 05:39:48] 849*2^1253491-1 is not prime. Res64: FC3822A0EC47E9D8 Time : 0.0 sec. user=mdettweiler [2013-09-17 05:42:57] 975*2^1253491-1 is not prime. Res64: 4D3C1998D05F831C Time : 0.0 sec. user=mdettweiler [2013-09-17 05:42:57] 629*2^1253492-1 is not prime. Res64: 40B26A0CBFC4222A Time : 0.0 sec. user=mdettweiler [2013-09-17 05:43:08] 931*2^1253491-1 is not prime. Res64: E76DC21E5CDE77DF Time : 0.0 sec. user=mdettweiler [2013-09-17 05:43:09] 961*2^1253491-1 is not prime. Res64: 77CC7585041CE7C9 Time : 0.0 sec. user=mdettweiler [2013-09-17 05:50:39] 633*2^1253492-1 is not prime. Res64: 39CB3BDB297763D5 Time : 0.0 sec. user=mdettweiler [2013-09-17 05:50:39] 689*2^1253492-1 is not prime. Res64: FD1BB0BED0F02D52 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:00:01] 995*2^1253492-1 is not prime. Res64: 974F6D7E5C617017 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:00:02] 751*2^1253493-1 is not prime. Res64: BE411341DC7C6282 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:03:12] 781*2^1253493-1 is not prime. Res64: 7AF0C3D5A1B6A609 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:03:13] 891*2^1253493-1 is not prime. Res64: 9DED8B32C24F7D5A Time : 0.0 sec. user=mdettweiler [2013-09-17 06:03:27] 895*2^1253493-1 is not prime. Res64: FE10577D99729DE7 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:03:28] 651*2^1253494-1 is not prime. Res64: 8EE59D0B1975485A Time : 0.0 sec. user=mdettweiler [2013-09-17 06:10:00] 663*2^1253494-1 is not prime. Res64: 27CB9D97E4B21AC9 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:10:01] 747*2^1253494-1 is not prime. Res64: 987AAB75F9E827CC Time : 0.0 sec. user=mdettweiler [2013-09-17 06:19:20] 825*2^1253494-1 is not prime. Res64: D3D1E0046724B0B6 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:19:20] 831*2^1253494-1 is not prime. Res64: 0B4ACB090CEEE593 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:22:30] 675*2^1253495-1 is not prime. Res64: 6A7F32DBC7AB5931 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:22:30] 775*2^1253495-1 is not prime. Res64: 0F4FAC819541F5B2 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:22:48] 783*2^1253495-1 is not prime. Res64: BD0FF864E065C472 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:22:49] 789*2^1253495-1 is not prime. Res64: 06CFEC90E8DD2EF2 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:29:17] 825*2^1253495-1 is not prime. Res64: A1654C85CD66E66A Time : 0.0 sec. user=mdettweiler [2013-09-17 06:29:17] 759*2^1253496-1 is not prime. Res64: 5745B4EF998BDC0A Time : 0.0 sec. user=mdettweiler [2013-09-17 06:39:30] 777*2^1253496-1 is not prime. Res64: EAB8057BCCE646F4 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:39:30] 927*2^1253496-1 is not prime. Res64: 2173A7ED8C9D8B27 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:42:03] 661*2^1253497-1 is not prime. Res64: 74A0000554457B9B Time : 0.0 sec. user=mdettweiler [2013-09-17 06:42:04] 717*2^1253497-1 is not prime. Res64: 7DFC547E3ABB3D91 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:43:36] 975*2^1253496-1 is not prime. Res64: 6FA942E94F187CCE Time : 0.0 sec. user=mdettweiler [2013-09-17 06:43:36] 983*2^1253496-1 is not prime. Res64: 8004A19256E390D6 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:49:36] 751*2^1253497-1 is not prime. Res64: 7FAB02EDD98256D9 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:49:37] 939*2^1253497-1 is not prime. Res64: 64E159819D7E5221 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:58:44] 645*2^1253498-1 is not prime. Res64: 9971E9BCBF5ECD94 Time : 0.0 sec. user=mdettweiler [2013-09-17 06:58:45] 801*2^1253498-1 is not prime. Res64: 5D6289E69DBEFEC9 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:01:27] 827*2^1253498-1 is not prime. Res64: B433579007BCB91C Time : 0.0 sec. user=mdettweiler [2013-09-17 07:01:29] 837*2^1253498-1 is not prime. Res64: B613CFB3645F6E39 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:03:47] 857*2^1253498-1 is not prime. Res64: 87838F176D537D84 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:03:49] 915*2^1253498-1 is not prime. Res64: C79FB8F46BA73FE1 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:09:54] 935*2^1253498-1 is not prime. Res64: 88F638CB5514AF68 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:09:55] 679*2^1253499-1 is not prime. Res64: 6EB8DF28CB46E893 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:17:58] 775*2^1253499-1 is not prime. Res64: 74250EB3E7E059B9 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:17:58] 853*2^1253499-1 is not prime. Res64: 3E376AAF059B96C5 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:21:42] 943*2^1253499-1 is not prime. Res64: 43839AF6F41AC026 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:21:42] 605*2^1253500-1 is not prime. Res64: 68A766BC459E3263 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:23:11] 635*2^1253500-1 is not prime. Res64: 986024A434F3F644 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:23:12] 687*2^1253500-1 is not prime. Res64: D419EB56AFB4845E Time : 0.0 sec. user=mdettweiler [2013-09-17 07:29:10] 777*2^1253500-1 is not prime. Res64: CC0F36BE54D816C8 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:29:11] 797*2^1253500-1 is not prime. Res64: 1EEDEE6B0BAE495A Time : 0.0 sec. user=mdettweiler [2013-09-17 07:38:06] 957*2^1253500-1 is not prime. Res64: 28659312F90DA2F9 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:38:06] 621*2^1253501-1 is not prime. Res64: 96120BD13D051483 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:40:59] 631*2^1253501-1 is not prime. Res64: A3F3277ECC408CA8 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:41:00] 747*2^1253501-1 is not prime. Res64: FF529CB90198DFA8 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:42:24] 757*2^1253501-1 is not prime. Res64: FE52B9A68E8CF97C Time : 0.0 sec. user=mdettweiler [2013-09-17 07:42:24] 777*2^1253501-1 is not prime. Res64: 1721167272DB5510 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:50:09] 945*2^1253501-1 is not prime. Res64: 1472B0BD1A8C2331 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:50:10] 955*2^1253501-1 is not prime. Res64: 7A4C07121D607AA2 Time : 0.0 sec. user=mdettweiler [2013-09-17 07:57:21] 681*2^1253502-1 is not prime. Res64: E37CA132D9F2978D Time : 0.0 sec. user=mdettweiler [2013-09-17 07:57:22] 695*2^1253502-1 is not prime. Res64: 21C1BF49D63D49A4 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:01:08] 765*2^1253502-1 is not prime. Res64: 9C168B0E54882433 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:01:09] 885*2^1253502-1 is not prime. Res64: B972B35072D137A2 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:01:43] 609*2^1253503-1 is not prime. Res64: 3772D28E0C56FC9F Time : 0.0 sec. user=mdettweiler [2013-09-17 08:01:44] 619*2^1253503-1 is not prime. Res64: 9BB05BB76D2AFB4C Time : 0.0 sec. user=juhehe [2013-09-17 08:02:49] 795*2^1253501-1 is not prime. Res64: 56E03F55AB3B328F Time : 0.0 sec. user=mdettweiler [2013-09-17 08:10:17] 769*2^1253503-1 is not prime. Res64: B1120E8BB42E0CC2 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:10:17] 999*2^1253503-1 is not prime. Res64: 58C88E8BE84F4A26 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:16:35] 665*2^1253504-1 is not prime. Res64: EDF2612CE3EE1611 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:16:36] 743*2^1253504-1 is not prime. Res64: 8630EE6920FF9C1A Time : 0.0 sec. user=mdettweiler [2013-09-17 08:21:27] 759*2^1253504-1 is not prime. Res64: E96D6676DEE95D92 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:21:28] 923*2^1253504-1 is not prime. Res64: 77F83CA1CA59AAFB Time : 0.0 sec. user=mdettweiler [2013-09-17 08:21:55] 959*2^1253504-1 is not prime. Res64: CC73C9C07EE51D42 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:21:55] 625*2^1253505-1 is not prime. Res64: 47852502E6E109A2 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:31:20] 877*2^1253505-1 is not prime. Res64: 3E02102455E67EB2 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:31:20] 889*2^1253505-1 is not prime. Res64: 83F42A6375BE2F74 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:37:45] 949*2^1253505-1 is not prime. Res64: 0093F9034AE46227 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:37:46] 997*2^1253505-1 is not prime. Res64: B0AFF326FF694E65 Time : 0.0 sec. user=juhehe [2013-09-17 08:39:58] 849*2^1253505-1 is not prime. Res64: B9C80F1DBC0A814B Time : 0.0 sec. user=mdettweiler [2013-09-17 08:40:41] 611*2^1253506-1 is not prime. Res64: 7632F345A9420B02 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:40:42] 717*2^1253506-1 is not prime. Res64: 0BFC7F1381945CCD Time : 0.0 sec. user=mdettweiler [2013-09-17 08:41:11] 783*2^1253506-1 is not prime. Res64: 7EF143505F4DCA13 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:41:11] 833*2^1253506-1 is not prime. Res64: 967DAE5A16E7C7BC Time : 0.0 sec. user=mdettweiler [2013-09-17 08:51:23] 843*2^1253506-1 is not prime. Res64: E8083CEDC60FC395 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:51:23] 887*2^1253506-1 is not prime. Res64: 8398C3CF9859ABB4 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:57:52] 933*2^1253506-1 is not prime. Res64: 12D0E9C026753E56 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:57:52] 633*2^1253507-1 is not prime. Res64: 82C39B82929CB823 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:59:53] 759*2^1253507-1 is not prime. Res64: 4D23FF98CC4128F7 Time : 0.0 sec. user=mdettweiler [2013-09-17 08:59:53] 781*2^1253507-1 is not prime. Res64: 894D957CC8666EFB Time : 0.0 sec. user=mdettweiler [2013-09-17 09:00:29] 843*2^1253507-1 is not prime. Res64: 5146CDB92E6CD10A Time : 0.0 sec. user=mdettweiler [2013-09-17 09:00:30] 861*2^1253507-1 is not prime. Res64: 1D4BC1487B871DB1 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:11:34] 955*2^1253507-1 is not prime. Res64: E0B30C7BC9969688 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:11:35] 689*2^1253508-1 is not prime. Res64: 128006B67DB1752A Time : 0.0 sec. user=mdettweiler [2013-09-17 09:17:06] 767*2^1253508-1 is not prime. Res64: 70DB835A50792BF3 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:17:07] 839*2^1253508-1 is not prime. Res64: B25924AFBC9DF994 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:20:36] 933*2^1253508-1 is not prime. Res64: 7BA18DBA3B717920 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:20:37] 609*2^1253509-1 is not prime. Res64: A22EF84E3D40B884 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:20:57] 867*2^1253508-1 is not prime. Res64: C67AF1BFE3EC3FE4 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:20:58] 909*2^1253508-1 is not prime. Res64: F43BBFAD3AB71E13 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:30:47] 625*2^1253509-1 is not prime. Res64: 57C3773E633A7130 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:30:47] 801*2^1253509-1 is not prime. Res64: 9A0C637A12E02B14 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:37:14] 825*2^1253509-1 is not prime. Res64: 917583722DA7DD1D Time : 0.0 sec. user=mdettweiler [2013-09-17 09:37:15] 987*2^1253509-1 is not prime. Res64: 111550F689B96301 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:39:50] 773*2^1253510-1 is not prime. Res64: 554A2A399C837285 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:39:51] 797*2^1253510-1 is not prime. Res64: 9F3A34042A597F23 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:40:08] 825*2^1253510-1 is not prime. Res64: BBB93E96B4117962 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:40:09] 861*2^1253510-1 is not prime. Res64: 33B11BA0A326C3BF Time : 0.0 sec. user=mdettweiler [2013-09-17 09:50:52] 981*2^1253510-1 is not prime. Res64: 6CFBA168823A5521 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:50:52] 613*2^1253511-1 is not prime. Res64: 6165568A67EE3FAD Time : 0.0 sec. user=mdettweiler [2013-09-17 09:56:29] 619*2^1253511-1 is not prime. Res64: 1AE33EAF2783E9E2 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:56:30] 685*2^1253511-1 is not prime. Res64: 5B9A027AEA90ACE0 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:59:05] 709*2^1253511-1 is not prime. Res64: 5984E9AE36928B28 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:59:06] 825*2^1253511-1 is not prime. Res64: 8F43F3CCA605C889 Time : 0.0 sec. user=mdettweiler [2013-09-17 09:59:22] 615*2^1253512-1 is not prime. Res64: C3920E5081C6167E Time : 0.0 sec. user=mdettweiler [2013-09-17 09:59:23] 645*2^1253512-1 is not prime. Res64: E69D6364B746A375 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:10:08] 735*2^1253512-1 is not prime. Res64: C45C8E5909DD5F81 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:10:08] 747*2^1253512-1 is not prime. Res64: DF8C8BA03AE4BDBB Time : 0.0 sec. user=juhehe [2013-09-17 10:14:11] 935*2^1253510-1 is not prime. Res64: 506414DBC9705915 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:15:48] 797*2^1253512-1 is not prime. Res64: 741BED33AA6692B5 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:15:48] 827*2^1253512-1 is not prime. Res64: EDA1822EEA459413 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:18:36] 727*2^1253513-1 is not prime. Res64: CEABBD388ABE9369 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:18:36] 729*2^1253513-1 is not prime. Res64: 9EBC79463E804C2A Time : 0.0 sec. user=mdettweiler [2013-09-17 10:19:18] 965*2^1253512-1 is not prime. Res64: FE66B8F48F5E7B91 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:19:18] 627*2^1253513-1 is not prime. Res64: 58243E7C6AAD7268 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:31:11] 885*2^1253513-1 is not prime. Res64: F39DA4C8C086ABC5 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:31:12] 939*2^1253513-1 is not prime. Res64: 513BA9A3D9CA7FFB Time : 0.0 sec. user=mdettweiler [2013-09-17 10:36:55] 949*2^1253513-1 is not prime. Res64: 6639AEE18DD30477 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:36:55] 991*2^1253513-1 is not prime. Res64: 62AE0E6279BB744A Time : 0.0 sec. user=mdettweiler [2013-09-17 10:37:53] 633*2^1253514-1 is not prime. Res64: 8860E7E4EFBB04E6 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:37:53] 657*2^1253514-1 is not prime. Res64: 6F48BA0C7E584B41 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:38:33] 663*2^1253514-1 is not prime. Res64: 8DAD442059F59E29 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:38:34] 755*2^1253514-1 is not prime. Res64: 8062FDF568E9AC2E Time : 0.0 sec. user=mdettweiler [2013-09-17 10:50:28] 773*2^1253514-1 is not prime. Res64: 67EE13D3E1844189 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:50:29] 791*2^1253514-1 is not prime. Res64: CA33A7A8727AABD6 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:57:06] 797*2^1253514-1 is not prime. Res64: 442D67EDDA3ABFCF Time : 0.0 sec. user=mdettweiler [2013-09-17 10:57:07] 975*2^1253514-1 is not prime. Res64: E0E4EB5F605C7C99 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:57:14] 639*2^1253515-1 is not prime. Res64: 9AFD50791F3F2C92 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:57:14] 651*2^1253515-1 is not prime. Res64: B49F8DA6DA48744C Time : 0.0 sec. user=mdettweiler [2013-09-17 10:57:59] 765*2^1253515-1 is not prime. Res64: B313D7EFE288E4B0 Time : 0.0 sec. user=mdettweiler [2013-09-17 10:57:59] 829*2^1253515-1 is not prime. Res64: B46B41FF0D479C69 Time : 0.0 sec. user=mdettweiler [2013-09-17 11:10:41] 979*2^1253515-1 is not prime. Res64: D2A68D85C29DCAC3 Time : 0.0 sec. user=mdettweiler [2013-09-17 11:10:43] 629*2^1253516-1 is not prime. Res64: 277BECE51E7A916D Time : 0.0 sec. user=juhehe [2013-09-17 11:13:29] 765*2^1253514-1 is not prime. Res64: 205A1BF8A6575062 Time : 0.0 sec. user=mdettweiler [2013-09-17 11:16:26] 633*2^1253516-1 is not prime. Res64: 8BA4E358B0DF44FC Time : 0.0 sec. user=mdettweiler [2013-09-17 11:16:26] 659*2^1253516-1 is not prime. Res64: 766995552D73702B Time : 0.0 sec. user=mdettweiler [2013-09-17 11:16:29] 669*2^1253516-1 is not prime. Res64: 538BB996038273E3 Time : 0.0 sec. user=mdettweiler [2013-09-17 11:16:30] 677*2^1253516-1 is not prime. Res64: F8D0EAB9C9049FA4 Time : 0.0 sec. user=mdettweiler [2013-09-17 11:18:07] 785*2^1253516-1 is not prime. Res64: DF92309516D8ADA1 Time : 0.0 sec. user=mdettweiler [2013-09-17 11:18:07] 869*2^1253516-1 is not prime. Res64: A97563740040F2FB Time : 0.0 sec. user=mdettweiler [2013-09-17 11:30:01] 805*2^1253517-1 is not prime. Res64: 07E3F526D59B14F4 Time : 0.0 sec. user=mdettweiler [2013-09-17 11:30:02] 849*2^1253517-1 is not prime. Res64: 179DE4868A6E2699 Time : 0.0 sec. user=mdettweiler [2013-09-17 11:35:56] 647*2^1253518-1 is not prime. Res64: 760AE028091FA842 Time : 0.0 sec. user=mdettweiler [2013-09-17 11:35:57] 731*2^1253518-1 is not prime. Res64: D9B99A23F15EE43A Time : 0.0 sec. user=mdettweiler [2013-09-17 11:36:52] 889*2^1253517-1 is not prime. Res64: 1013783DCB101BCD Time : 0.0 sec. user=mdettweiler [2013-09-17 11:36:52] 605*2^1253518-1 is not prime. Res64: 6E440386C9265A89 Time : 0.0 sec. user=mdettweiler [2013-09-17 11:37:43] 747*2^1253518-1 is not prime. Res64: CD97BD6146222BA8 Time : 0.0 sec. user=mdettweiler [2013-09-17 11:37:43] 801*2^1253518-1 is not prime. Res64: 055243FCDD97DCF4 Time : 0.0 sec. user=juhehe [2013-09-17 11:50:51] 983*2^1253516-1 is not prime. Res64: E1D001ABBC9CFD85 Time : 0.0 sec. user=mdettweiler [2013-09-17 11:51:54] 867*2^1253518-1 is not prime. Res64: 4CDC5BCB0289B445 Time : 0.0 sec. user=mdettweiler [2013-09-17 11:51:54] 891*2^1253518-1 is not prime. Res64: 1152553A2AF860FA Time : 0.0 sec. user=mdettweiler [2013-09-17 11:56:57] 619*2^1253519-1 is not prime. Res64: F075E6258C27BD82 Time : 0.0 sec. user=mdettweiler [2013-09-17 11:56:57] 741*2^1253519-1 is not prime. Res64: E98B36800D1F5ABB Time : 0.0 sec. user=mdettweiler [2013-09-17 11:57:52] 911*2^1253518-1 is not prime. Res64: 52801F1985035629 Time : 0.0 sec. user=mdettweiler [2013-09-17 11:57:53] 951*2^1253518-1 is not prime. Res64: 201F0A274283013E Time : 0.0 sec. user=mdettweiler [2013-09-17 11:59:31] 865*2^1253519-1 is not prime. Res64: 981395EF33FA06BF Time : 0.0 sec. user=mdettweiler [2013-09-17 11:59:31] 885*2^1253519-1 is not prime. Res64: AC2798F014EC1828 Time : 0.0 sec. user=mdettweiler [2013-09-17 12:12:18] 689*2^1253520-1 is not prime. Res64: A1AA350435E49AC6 Time : 0.0 sec. user=mdettweiler [2013-09-17 12:12:19] 753*2^1253520-1 is not prime. Res64: A395CB09FFE9A4A0 Time : 0.0 sec. user=mdettweiler [2013-09-17 12:17:04] 825*2^1253520-1 is not prime. Res64: 71471FF9FE890F8C Time : 0.0 sec. user=mdettweiler [2013-09-17 12:17:04] 849*2^1253520-1 is not prime. Res64: C2F6DC444E09DA82 Time : 0.0 sec. user=mdettweiler [2013-09-17 12:18:58] 923*2^1253520-1 is not prime. Res64: D49C830884E9A35E Time : 0.0 sec. user=mdettweiler [2013-09-17 12:18:58] 609*2^1253521-1 is not prime. Res64: DBB0AAC21DAE9596 Time : 0.0 sec. user=mdettweiler [2013-09-17 12:19:41] 847*2^1253521-1 is not prime. Res64: 89000940801D2791 Time : 0.0 sec. user=mdettweiler [2013-09-17 12:19:41] 603*2^1253522-1 is not prime. Res64: 1DE08C54AD29036D Time : 0.0 sec. user=mdettweiler [2013-09-17 12:31:45] 675*2^1253522-1 is not prime. Res64: C0F4C7D699C73B7B Time : 0.0 sec. user=mdettweiler [2013-09-17 12:31:45] 711*2^1253522-1 is not prime. Res64: 586114A65262A700 Time : 0.0 sec. user=mdettweiler [2013-09-17 12:36:27] 771*2^1253522-1 is not prime. Res64: E3DC4B2EBA4F06A3 Time : 0.0 sec. user=mdettweiler [2013-09-17 12:36:28] 813*2^1253522-1 is not prime. Res64: 21F7AD40595D3748 Time : 0.0 sec. user=mdettweiler [2013-09-17 12:38:59] 619*2^1253523-1 is not prime. Res64: B7B00C9251B82071 Time : 0.0 sec. user=mdettweiler [2013-09-17 12:38:59] 649*2^1253523-1 is not prime. Res64: C14E716B0AF2E796 Time : 0.0 sec. user=mdettweiler [2013-09-17 12:39:12] 935*2^1253522-1 is not prime. Res64: 06D745E97C7F5E9A Time : 0.0 sec. user=mdettweiler [2013-09-17 12:39:12] 609*2^1253523-1 is not prime. Res64: D404C506E14366AB Time : 0.0 sec. user=mdettweiler [2013-09-17 12:51:08] 765*2^1253523-1 is not prime. Res64: B4642CA379B82512 Time : 0.0 sec. user=mdettweiler [2013-09-17 12:51:09] 823*2^1253523-1 is not prime. Res64: 5B163863028026DB Time : 0.0 sec. user=mdettweiler [2013-09-17 12:57:40] 871*2^1253523-1 is not prime. Res64: 59F99C888A6798E4 Time : 0.0 sec. user=mdettweiler [2013-09-17 12:57:41] 961*2^1253523-1 is not prime. Res64: 6AA85D39E2614C97 Time : 0.0 sec. user=mdettweiler [2013-09-17 12:58:20] 677*2^1253524-1 is not prime. Res64: 457216A29EC4801C Time : 0.0 sec. user=mdettweiler [2013-09-17 12:58:20] 693*2^1253524-1 is not prime. Res64: A7142094C4255C0F Time : 0.0 sec. user=mdettweiler [2013-09-17 12:58:37] 695*2^1253524-1 is not prime. Res64: 99B58E983C8BD652 Time : 0.0 sec. user=mdettweiler [2013-09-17 12:58:37] 717*2^1253524-1 is not prime. Res64: 6866D5981DB9E03C Time : 0.0 sec. user=mdettweiler [2013-09-17 13:10:35] 759*2^1253524-1 is not prime. Res64: B53421B528DDBDA7 Time : 0.0 sec. user=mdettweiler [2013-09-17 13:10:36] 819*2^1253524-1 is not prime. Res64: 22917F4BD1AD043F Time : 0.0 sec. user=mdettweiler [2013-09-17 13:18:56] 995*2^1253524-1 is not prime. Res64: CC67859D3638D7F5 Time : 0.0 sec. user=mdettweiler [2013-09-17 13:18:56] 619*2^1253525-1 is not prime. Res64: 4D239B5D02F7ECF0 Time : 0.0 sec. user=mdettweiler [2013-09-17 13:18:57] 897*2^1253524-1 is not prime. Res64: D735FFAAC08C05BF Time : 0.0 sec. user=mdettweiler [2013-09-17 13:18:57] 927*2^1253524-1 is not prime. Res64: E68A5DEE9B7BEE81 Time : 0.0 sec. user=mdettweiler [2013-09-17 13:19:32] 929*2^1253524-1 is not prime. Res64: 85F23A7435C379D0 Time : 0.0 sec. user=mdettweiler [2013-09-17 13:19:32] 989*2^1253524-1 is not prime. Res64: 0723AF183F7422A1 Time : 0.0 sec. user=mdettweiler [2013-09-17 13:30:00] 655*2^1253525-1 is not prime. Res64: 876F329234463967 Time : 0.0 sec. user=mdettweiler [2013-09-17 13:30:00] 685*2^1253525-1 is not prime. Res64: EF7ED78287066784 Time : 0.0 sec. user=mdettweiler [2013-09-17 13:38:54] 717*2^1253526-1 is not prime. Res64: 6D27A0763E513459 Time : 0.0 sec. user=mdettweiler [2013-09-17 13:38:54] 777*2^1253526-1 is not prime. Res64: 292E233F79BBE907 Time : 0.0 sec. user=mdettweiler [2013-09-17 13:39:13] 775*2^1253525-1 is not prime. Res64: 6E8604F0F2F2CACA Time : 0.0 sec. user=mdettweiler [2013-09-17 13:39:14] 925*2^1253525-1 is not prime. Res64: C0F0FE46EB159E52 Time : 0.0 sec. user=mdettweiler [2013-09-17 13:39:16] 937*2^1253525-1 is not prime. Res64: B6EB56A614A985F7 Time : 0.0 sec. user=mdettweiler [2013-09-17 13:39:16] 693*2^1253526-1 is not prime. Res64: FF76A1724A64930E Time : 0.0 sec. user=mdettweiler [2013-09-17 13:51:11] 867*2^1253526-1 is not prime. Res64: A001E7D027FE43F6 Time : 0.0 sec. user=mdettweiler [2013-09-17 13:51:12] 887*2^1253526-1 is not prime. Res64: 4D9328A1A4B7BC5D Time : 0.0 sec. user=mdettweiler [2013-09-17 13:58:47] 603*2^1253527-1 is not prime. Res64: 19F92B61BDFB34C7 Time : 0.0 sec. user=mdettweiler [2013-09-17 13:58:47] 651*2^1253527-1 is not prime. Res64: 8D3BDDBBC4078D07 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:00:08] 903*2^1253526-1 is not prime. Res64: 8DD75D6ECEC7A77A Time : 0.0 sec. user=mdettweiler [2013-09-17 14:00:10] 917*2^1253526-1 is not prime. Res64: CD75A633E0DF26CF Time : 0.0 sec. user=mdettweiler [2013-09-17 14:00:38] 921*2^1253526-1 is not prime. Res64: 6C9F1ECB45B62E94 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:00:38] 941*2^1253526-1 is not prime. Res64: 4C626DB3BFA3E54E Time : 0.0 sec. user=mdettweiler [2013-09-17 14:10:36] 663*2^1253527-1 is not prime. Res64: 4B07E0199F47C6D6 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:10:37] 741*2^1253527-1 is not prime. Res64: B0206528586AFBCB Time : 0.0 sec. user=mdettweiler [2013-09-17 14:18:10] 759*2^1253527-1 is not prime. Res64: 7EC257BE15108F44 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:18:10] 843*2^1253527-1 is not prime. Res64: 57577672F11A8831 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:20:11] 615*2^1253528-1 is not prime. Res64: DBA7882051FE16E1 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:20:12] 713*2^1253528-1 is not prime. Res64: 87CF9AB55FA9A417 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:20:28] 985*2^1253527-1 is not prime. Res64: F5F8DCB6A52877C8 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:20:28] 603*2^1253528-1 is not prime. Res64: A9A729C4546C806A Time : 0.0 sec. user=mdettweiler [2013-09-17 14:30:03] 755*2^1253528-1 is not prime. Res64: 7170016B5501E658 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:30:05] 803*2^1253528-1 is not prime. Res64: B4BCCBEB7DB256D0 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:37:40] 837*2^1253528-1 is not prime. Res64: 60CEA5B4EA1D1E76 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:37:41] 855*2^1253528-1 is not prime. Res64: B7B19D9F5732EF59 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:39:49] 681*2^1253529-1 is not prime. Res64: C7C373DDAC769158 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:39:49] 685*2^1253529-1 is not prime. Res64: 809B240E195AD1DE Time : 0.0 sec. user=mdettweiler [2013-09-17 14:40:32] 893*2^1253528-1 is not prime. Res64: B05F1E3BD0808D8C Time : 0.0 sec. user=mdettweiler [2013-09-17 14:40:32] 609*2^1253529-1 is not prime. Res64: 4829373059D7A141 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:49:24] 769*2^1253529-1 is not prime. Res64: B17CF899A4ECE0D4 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:49:24] 781*2^1253529-1 is not prime. Res64: A70ED07FE95F7A78 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:57:56] 829*2^1253529-1 is not prime. Res64: 21CE5F00B7A3A757 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:57:57] 975*2^1253529-1 is not prime. Res64: CEA1C3C98B18AFE3 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:59:11] 633*2^1253530-1 is not prime. Res64: 7EE64464379604D6 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:59:11] 665*2^1253530-1 is not prime. Res64: 8EC4A36C807E8F43 Time : 0.0 sec. user=mdettweiler [2013-09-17 14:59:53] 675*2^1253530-1 is not prime. Res64: 0524C950886AEACF Time : 0.0 sec. user=mdettweiler [2013-09-17 14:59:53] 765*2^1253530-1 is not prime. Res64: 805E526C140FD60E Time : 0.0 sec. user=mdettweiler [2013-09-17 15:09:37] 855*2^1253530-1 is not prime. Res64: F58F745BE6CABEE5 Time : 0.0 sec. user=mdettweiler [2013-09-17 15:09:38] 945*2^1253530-1 is not prime. Res64: AE4E0A2E0BF51599 Time : 0.0 sec. user=mdettweiler [2013-09-17 15:18:09] 957*2^1253530-1 is not prime. Res64: C5623E9F53AD2778 Time : 0.0 sec. user=mdettweiler [2013-09-17 15:18:09] 601*2^1253531-1 is not prime. Res64: D4FB55B1F18FB4A3 Time : 0.0 sec. user=mdettweiler [2013-09-17 15:18:36] 673*2^1253531-1 is not prime. Res64: 98C641A476CF0105 Time : 0.0 sec. user=mdettweiler [2013-09-17 15:18:36] 715*2^1253531-1 is not prime. Res64: 163E2EF33FE3B579 Time : 0.0 sec. user=mdettweiler [2013-09-17 15:20:08] 753*2^1253531-1 is not prime. Res64: BC157B4D54E2B370 Time : 0.0 sec. user=mdettweiler [2013-09-17 15:20:08] 939*2^1253531-1 is not prime. Res64: 3EC94421B8EB2F2E Time : 0.0 sec. user=mdettweiler [2013-09-17 15:29:00] 665*2^1253532-1 is not prime. Res64: F23BF90A641F1A66 Time : 0.0 sec. user=mdettweiler [2013-09-17 15:29:00] 737*2^1253532-1 is not prime. Res64: E3E5464D62917CAA Time : 0.0 sec. user=mdettweiler [2013-09-17 15:37:31] 749*2^1253532-1 is not prime. Res64: 627C41C2BE6EE594 Time : 0.0 sec. user=mdettweiler [2013-09-17 15:37:32] 803*2^1253532-1 is not prime. Res64: 62EAFE925AF27E7C Time : 0.0 sec. user=mdettweiler [2013-09-17 15:38:55] 909*2^1253532-1 is not prime. Res64: 9AEF8CB0A49F2A18 Time : 0.0 sec. user=mdettweiler [2013-09-17 15:38:56] 829*2^1253533-1 is not prime. Res64: BEE2335B35545254 Time : 0.0 sec. user=mdettweiler [2013-09-17 15:41:21] 867*2^1253533-1 is not prime. Res64: CED0AD619E0903FA Time : 0.0 sec. user=mdettweiler [2013-09-17 15:41:21] 919*2^1253533-1 is not prime. Res64: 3096B1D46A487960 Time : 0.0 sec. user=mdettweiler [2013-09-17 15:48:20] 651*2^1253534-1 is not prime. Res64: BF123AB876A08B60 Time : 0.0 sec. user=mdettweiler [2013-09-17 15:48:20] 731*2^1253534-1 is not prime. Res64: 2B3A97795816F72A Time : 0.0 sec. user=mdettweiler [2013-09-17 15:57:45] 945*2^1253534-1 is not prime. Res64: F688E74BE575BF62 Time : 0.0 sec. user=mdettweiler [2013-09-17 15:57:46] 705*2^1253535-1 is not prime. Res64: EA97D7D72EE2C267 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:00:03] 871*2^1253535-1 is not prime. Res64: 47E58758F89D2C28 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:00:03] 921*2^1253535-1 is not prime. Res64: 35A363A7504A2694 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:01:41] 963*2^1253535-1 is not prime. Res64: F6966806F5854CCB Time : 0.0 sec. user=mdettweiler [2013-09-17 16:01:42] 609*2^1253536-1 is not prime. Res64: 7E6993AE55726581 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:07:40] 623*2^1253536-1 is not prime. Res64: 82587422845CA3D3 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:07:41] 843*2^1253536-1 is not prime. Res64: 51F5096D21E577EB Time : 0.0 sec. user=mdettweiler [2013-09-17 16:18:04] 849*2^1253536-1 is not prime. Res64: 74D808E77F4FA877 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:18:04] 923*2^1253536-1 is not prime. Res64: 7189E312E7CF4AF8 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:20:22] 933*2^1253536-1 is not prime. Res64: 6B0BBDD21B5D5944 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:20:22] 759*2^1253537-1 is not prime. Res64: 061C04B90A64D925 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:21:10] 801*2^1253537-1 is not prime. Res64: 1B39E9F3E0297E12 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:21:11] 837*2^1253537-1 is not prime. Res64: 1D12347710DAFFE7 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:28:05] 931*2^1253537-1 is not prime. Res64: B8686D7F4B589E5F Time : 0.0 sec. user=mdettweiler [2013-09-17 16:28:05] 605*2^1253538-1 is not prime. Res64: 95AD658E6F052376 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:37:33] 683*2^1253538-1 is not prime. Res64: 5086AD7BD4CE5EAD Time : 0.0 sec. user=mdettweiler [2013-09-17 16:37:34] 767*2^1253538-1 is not prime. Res64: 20410E245CA02834 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:40:42] 825*2^1253538-1 is not prime. Res64: B386FF53DF26236A Time : 0.0 sec. user=mdettweiler [2013-09-17 16:40:42] 885*2^1253538-1 is not prime. Res64: 377D1CB4F5B6F251 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:42:24] 923*2^1253538-1 is not prime. Res64: C5EFBEAA15789D1C Time : 0.0 sec. user=mdettweiler [2013-09-17 16:42:25] 927*2^1253538-1 is not prime. Res64: FAB29BCBBB509246 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:48:29] 993*2^1253538-1 is not prime. Res64: 34072A631CA0352B Time : 0.0 sec. user=mdettweiler [2013-09-17 16:48:29] 705*2^1253539-1 is not prime. Res64: 73138EB99CF44313 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:58:33] 801*2^1253539-1 is not prime. Res64: 153B9990F091E180 Time : 0.0 sec. user=mdettweiler [2013-09-17 16:58:33] 883*2^1253539-1 is not prime. Res64: C49BDD882D7A39C9 Time : 0.0 sec. user=mdettweiler [2013-09-17 17:03:06] 895*2^1253539-1 is not prime. Res64: EBEB4E4E96AE773E Time : 0.0 sec. user=mdettweiler [2013-09-17 17:03:07] 961*2^1253539-1 is not prime. Res64: 008CEE8307A5239D Time : 0.0 sec. user=mdettweiler [2013-09-17 17:03:51] 999*2^1253539-1 is not prime. Res64: FFD4CDC18CA6C670 Time : 0.0 sec. user=mdettweiler [2013-09-17 17:03:52] 669*2^1253540-1 is not prime. Res64: 4903D2F860B6C25F Time : 0.0 sec. user=mdettweiler [2013-09-17 17:09:25] 743*2^1253540-1 is not prime. Res64: EAE6AF5B173BD0C9 Time : 0.0 sec. user=mdettweiler [2013-09-17 17:09:26] 813*2^1253540-1 is not prime. Res64: C430A4972F874B4E Time : 0.0 sec. user=mdettweiler [2013-09-17 17:20:36] 885*2^1253540-1 is not prime. Res64: E39C9CCB7F52381B Time : 0.0 sec. user=mdettweiler [2013-09-17 17:20:36] 685*2^1253541-1 is not prime. Res64: 47A5FA2B363CB23B Time : 0.0 sec. user=mdettweiler [2013-09-17 17:25:04] 861*2^1253541-1 is not prime. Res64: A71310534E2D7B65 Time : 0.0 sec. user=mdettweiler [2013-09-17 17:25:05] 961*2^1253541-1 is not prime. Res64: 66182477FA9EC4AB Time : 0.0 sec. user=mdettweiler [2013-09-17 17:25:50] 999*2^1253541-1 is not prime. Res64: 089EB6313CA09389 Time : 0.0 sec. user=mdettweiler [2013-09-17 17:25:50] 617*2^1253542-1 is not prime. Res64: D0D8210109024A51 Time : 0.0 sec. user=mdettweiler [2013-09-17 17:30:25] 665*2^1253542-1 is not prime. Res64: 802C56B73702FE24 Time : 0.0 sec. user=mdettweiler [2013-09-17 17:30:25] 831*2^1253542-1 is not prime. Res64: 26A170784CB44067 Time : 0.0 sec. user=mdettweiler [2013-09-17 17:42:12] 843*2^1253542-1 is not prime. Res64: E04E257357315F61 Time : 0.0 sec. user=mdettweiler [2013-09-17 17:42:12] 885*2^1253542-1 is not prime. Res64: 76FC9F3DD1559564 Time : 0.0 sec. user=mdettweiler [2013-09-17 17:46:32] 735*2^1253543-1 is not prime. Res64: 7A7380EE46DDFDE2 Time : 0.0 sec. user=mdettweiler [2013-09-17 17:46:32] 771*2^1253543-1 is not prime. Res64: E5A38DC374A56B6E Time : 0.0 sec. user=mdettweiler [2013-09-17 17:46:38] 911*2^1253542-1 is not prime. Res64: 795F00B466F349CB Time : 0.0 sec. user=mdettweiler [2013-09-17 17:46:38] 669*2^1253543-1 is not prime. Res64: 60B90C6CF76D437C Time : 0.0 sec. user=mdettweiler [2013-09-17 17:50:43] 831*2^1253543-1 is not prime. Res64: B040FDD513C49066 Time : 0.0 sec. user=mdettweiler [2013-09-17 17:50:43] 853*2^1253543-1 is not prime. Res64: 7DE22CF9FA6C090F Time : 0.0 sec. user=mdettweiler [2013-09-17 18:03:17] 855*2^1253543-1 is not prime. Res64: 6C315B32CEC7B361 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:03:17] 955*2^1253543-1 is not prime. Res64: EDC431154CFC1814 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:07:15] 623*2^1253544-1 is not prime. Res64: FB251A5EC4CA72E4 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:07:15] 629*2^1253544-1 is not prime. Res64: F0E9182518807092 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:08:26] 981*2^1253543-1 is not prime. Res64: 052EECAEE9FC9C08 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:08:27] 609*2^1253544-1 is not prime. Res64: 785BA5B190520942 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:12:01] 635*2^1253544-1 is not prime. Res64: BFA8B8D2674B93FA Time : 0.0 sec. user=mdettweiler [2013-09-17 18:12:02] 751*2^1253545-1 is not prime. Res64: 605DAA723F60F6AD Time : 0.0 sec. user=mdettweiler [2013-09-17 18:26:42] 937*2^1253545-1 is not prime. Res64: B96EEA8DFCB83078 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:26:42] 999*2^1253545-1 is not prime. Res64: 67F3E57A88FB2CFD Time : 0.0 sec. user=mdettweiler [2013-09-17 18:28:12] 615*2^1253546-1 is not prime. Res64: 2AD0507D455532A6 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:28:13] 633*2^1253546-1 is not prime. Res64: AEB9C84A1336C106 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:28:54] 773*2^1253546-1 is not prime. Res64: 5F9B780A5F53DCF4 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:28:54] 825*2^1253546-1 is not prime. Res64: E4A5C7E4BF960E97 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:32:44] 831*2^1253546-1 is not prime. Res64: F58C3631F0E8B655 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:32:44] 887*2^1253546-1 is not prime. Res64: 12A888640121AFC1 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:46:09] 651*2^1253547-1 is not prime. Res64: 658753D7C8745802 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:46:10] 781*2^1253547-1 is not prime. Res64: 1737FBC425C7E353 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:47:40] 793*2^1253547-1 is not prime. Res64: FD9582DC874BB1E1 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:47:40] 795*2^1253547-1 is not prime. Res64: E59DE8689E9A40D3 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:49:21] 819*2^1253547-1 is not prime. Res64: 0F6ADB1DCA111179 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:49:21] 871*2^1253547-1 is not prime. Res64: 74D03D2375749DCB Time : 0.0 sec. user=mdettweiler [2013-09-17 18:54:10] 931*2^1253547-1 is not prime. Res64: 7D6360EA527F7DC2 Time : 0.0 sec. user=mdettweiler [2013-09-17 18:54:10] 973*2^1253547-1 is not prime. Res64: C86C9CC2A54AB803 Time : 0.0 sec. user=mdettweiler [2013-09-17 19:05:45] 603*2^1253548-1 is not prime. Res64: D363BE4C13B57449 Time : 0.0 sec. user=mdettweiler [2013-09-17 19:05:46] 773*2^1253548-1 is not prime. Res64: 5AF89CD1543BB9B6 Time : 0.0 sec. user=mdettweiler [2013-09-17 19:08:10] 855*2^1253548-1 is not prime. Res64: 4EA873D1B4475661 Time : 0.0 sec. user=mdettweiler [2013-09-17 19:08:10] 897*2^1253548-1 is not prime. Res64: A4BFCE76A1BEAB87 Time : 0.0 sec. user=mdettweiler [2013-09-17 19:09:00] 721*2^1253549-1 is not prime. Res64: E75F2B00731FFE2E Time : 0.0 sec. user=mdettweiler [2013-09-17 19:09:00] 771*2^1253549-1 is not prime. Res64: 21CC50908DFA766D Time : 0.0 sec. user=mdettweiler [2013-09-17 19:15:39] 879*2^1253549-1 is not prime. Res64: 5F980B4E63E9A15B Time : 0.0 sec. user=mdettweiler [2013-09-17 19:15:40] 987*2^1253549-1 is not prime. Res64: DD37DD18FA132C04 Time : 0.0 sec. user=mdettweiler [2013-09-17 19:25:18] 777*2^1253550-1 is not prime. Res64: 20518581CCB5A7E7 Time : 0.0 sec. user=mdettweiler [2013-09-17 19:25:18] 791*2^1253550-1 is not prime. Res64: 5411650F91E8B2D4 Time : 0.0 sec. user=mdettweiler [2013-09-17 19:29:30] 977*2^1253550-1 is not prime. Res64: E8FEBD1121463118 Time : 0.0 sec. user=mdettweiler [2013-09-17 19:29:31] 681*2^1253551-1 is not prime. Res64: 0CD5381F12791FAB Time : 0.0 sec. user=mdettweiler [2013-09-17 19:29:33] 885*2^1253550-1 is not prime. Res64: F7EED328DF85E79D Time : 0.0 sec. user=mdettweiler [2013-09-17 19:29:33] 927*2^1253550-1 is not prime. Res64: 92065C04C2428CA5 Time : 0.0 sec. user=mdettweiler [2013-09-17 19:35:07] 693*2^1253551-1 is not prime. Res64: FA225DB164F94AA7 Time : 0.0 sec. user=mdettweiler [2013-09-17 19:35:07] 703*2^1253551-1 is not prime. Res64: 42B7CB97436E75FE Time : 0.0 sec. user=mdettweiler [2013-09-17 19:46:44] 913*2^1253551-1 is not prime. Res64: 309C9D825632E47E Time : 0.0 sec. user=mdettweiler [2013-09-17 19:46:44] 951*2^1253551-1 is not prime. Res64: C7BB801E9239BFE8 Time : 0.0 sec. user=mdettweiler [2013-09-17 19:49:09] 735*2^1253552-1 is not prime. Res64: 7AC00DBB7C1225C0 Time : 0.0 sec. user=mdettweiler [2013-09-17 19:49:09] 743*2^1253552-1 is not prime. Res64: 2E8C2864002DE1CC Time : 0.0 sec. user=mdettweiler [2013-09-17 19:50:06] 973*2^1253551-1 is not prime. Res64: 4A4CE97A92131911 Time : 0.0 sec. user=mdettweiler [2013-09-17 19:50:07] 713*2^1253552-1 is not prime. Res64: 518EB834CEA316B2 Time : 0.0 sec. user=mdettweiler [2013-09-17 19:54:42] 755*2^1253552-1 is not prime. Res64: 88A741B4562851ED Time : 0.0 sec. user=mdettweiler [2013-09-17 19:54:42] 759*2^1253552-1 is not prime. Res64: 0DD2BE76A128E73F Time : 0.0 sec. user=mdettweiler [2013-09-17 20:06:24] 777*2^1253552-1 is not prime. Res64: 71F2A346FD2EB74C Time : 0.0 sec. user=mdettweiler [2013-09-17 20:06:25] 813*2^1253552-1 is not prime. Res64: 1B5E10F2B29938B3 Time : 0.0 sec. user=mdettweiler [2013-09-17 20:08:49] 827*2^1253552-1 is not prime. Res64: CF2F2E6E7C72288B Time : 0.0 sec. user=mdettweiler [2013-09-17 20:08:50] 843*2^1253552-1 is not prime. Res64: 68EBAF95C9859DE7 Time : 0.0 sec. user=mdettweiler [2013-09-17 20:11:39] 875*2^1253552-1 is not prime. Res64: 3D02E8F7ED8D9C19 Time : 0.0 sec. user=mdettweiler [2013-09-17 20:11:40] 897*2^1253552-1 is not prime. Res64: 2C6CAABB2528A1BE Time : 0.0 sec. user=mdettweiler [2013-09-17 20:15:11] 963*2^1253552-1 is not prime. Res64: 74E104B03B5CF1E6 Time : 0.0 sec. user=mdettweiler [2013-09-17 20:15:12] 681*2^1253553-1 is not prime. Res64: 5B4AE2B0853238EA Time : 0.0 sec. user=mdettweiler [2013-09-17 20:26:03] 699*2^1253553-1 is not prime. Res64: 4E6A727CF0B94F1D Time : 0.0 sec. user=mdettweiler [2013-09-17 20:26:04] 789*2^1253553-1 is not prime. Res64: F8B03DBE772D8776 Time : 0.0 sec. user=mdettweiler [2013-09-17 20:28:30] 835*2^1253553-1 is not prime. Res64: ACC735BCE2DB7515 Time : 0.0 sec. user=mdettweiler [2013-09-17 20:28:31] 847*2^1253553-1 is not prime. Res64: EEC414C4CCE0D680 Time : 0.0 sec. user=mdettweiler [2013-09-17 20:31:19] 611*2^1253554-1 is not prime. Res64: 8CC232CC269B13B9 Time : 0.0 sec. user=mdettweiler [2013-09-17 20:31:19] 665*2^1253554-1 is not prime. Res64: CFBA1BFA70F4CA56 Time : 0.0 sec. user=mdettweiler [2013-09-17 20:34:54] 671*2^1253554-1 is not prime. Res64: 0446981A962BB893 Time : 0.0 sec. user=mdettweiler [2013-09-17 20:34:54] 675*2^1253554-1 is not prime. Res64: 4B78751F9099DD08 Time : 0.0 sec. user=mdettweiler [2013-09-17 20:45:48] 773*2^1253554-1 is not prime. Res64: B20D5D09E5E2BC64 Time : 0.0 sec. user=mdettweiler [2013-09-17 20:45:48] 857*2^1253554-1 is not prime. Res64: B13B1F65A492B066 Time : 0.0 sec. user=mdettweiler [2013-09-17 20:50:10] 923*2^1253554-1 is not prime. Res64: 4D2826A15294CFFA Time : 0.0 sec. user=mdettweiler [2013-09-17 20:50:11] 981*2^1253554-1 is not prime. Res64: 14128E6B9F005A0A Time : 0.0 sec. user=mdettweiler [2013-09-17 20:51:04] 603*2^1253555-1 is not prime. Res64: 178353371AA00B57 Time : 0.0 sec. user=mdettweiler [2013-09-17 20:51:04] 675*2^1253555-1 is not prime. Res64: DA4D1A8EE87E517F Time : 0.0 sec. user=mdettweiler [2013-09-17 20:54:41] 753*2^1253555-1 is not prime. Res64: AF8D3B55C67F3C07 Time : 0.0 sec. user=mdettweiler [2013-09-17 20:54:41] 825*2^1253555-1 is not prime. Res64: 5204CDE309A9FCD6 Time : 0.0 sec. user=mdettweiler [2013-09-17 21:06:34] 859*2^1253555-1 is not prime. Res64: 9AF815BD114BBA4B Time : 0.0 sec. user=mdettweiler [2013-09-17 21:06:35] 963*2^1253555-1 is not prime. Res64: 6FDB9998F82057FA Time : 0.0 sec. user=mdettweiler [2013-09-17 21:11:07] 973*2^1253555-1 is not prime. Res64: A612C90B3FEE05DA Time : 0.0 sec. user=mdettweiler [2013-09-17 21:11:08] 657*2^1253556-1 is not prime. Res64: 68819EDDA202D4B3 Time : 0.0 sec. user=mdettweiler [2013-09-17 21:11:53] 903*2^1253556-1 is not prime. Res64: 8D63595138548E3F Time : 0.0 sec. user=mdettweiler [2013-09-17 21:11:54] 847*2^1253557-1 is not prime. Res64: 23F9BA9718F9EF3F Time : 0.0 sec. user=mdettweiler [2013-09-17 21:16:23] 867*2^1253557-1 is not prime. Res64: B57412E915438844 Time : 0.0 sec. user=mdettweiler [2013-09-17 21:16:24] 885*2^1253557-1 is not prime. Res64: DF543F7D914B3512 Time : 0.0 sec. user=mdettweiler [2013-09-17 21:28:26] 915*2^1253557-1 is not prime. Res64: 8B97806525BB93B7 Time : 0.0 sec. user=mdettweiler [2013-09-17 21:28:26] 937*2^1253557-1 is not prime. Res64: 20FFF10F4C58FF9B Time : 0.0 sec. user=mdettweiler [2013-09-17 21:31:14] 623*2^1253558-1 is not prime. Res64: 1D727537752C2F20 Time : 0.0 sec. user=mdettweiler [2013-09-17 21:31:14] 665*2^1253558-1 is not prime. Res64: 14C3F116B58C79B2 Time : 0.0 sec. user=mdettweiler [2013-09-17 21:31:58] 813*2^1253558-1 is not prime. Res64: 3363DB09FE1C998D Time : 0.0 sec. user=mdettweiler [2013-09-17 21:31:59] 825*2^1253558-1 is not prime. Res64: 6730F52E4E4D6875 Time : 0.0 sec. user=mdettweiler [2013-09-17 21:38:45] 897*2^1253558-1 is not prime. Res64: 67763DC79EB957A2 Time : 0.0 sec. user=mdettweiler [2013-09-17 21:38:46] 923*2^1253558-1 is not prime. Res64: 17842050CA495C3B Time : 0.0 sec. user=mdettweiler [2013-09-17 21:50:27] 977*2^1253558-1 is not prime. Res64: 008CAB6CD6C1B917 Time : 0.0 sec. user=mdettweiler [2013-09-17 21:50:28] 735*2^1253559-1 is not prime. Res64: 5023F8683A8AF2E3 Time : 0.0 sec. user=mdettweiler [2013-09-17 21:53:48] 745*2^1253559-1 is not prime. Res64: F32257A7B85FA543 Time : 0.0 sec. user=mdettweiler [2013-09-17 21:53:48] 931*2^1253559-1 is not prime. Res64: 5E084560FAAB830A Time : 0.0 sec. user=mdettweiler [2013-09-17 21:54:41] 951*2^1253559-1 is not prime. Res64: F5E018192EFED24D Time : 0.0 sec. user=mdettweiler [2013-09-17 21:54:41] 665*2^1253560-1 is not prime. Res64: 1F1231C13D5EE915 Time : 0.0 sec. user=mdettweiler [2013-09-17 22:00:02] 765*2^1253560-1 is not prime. Res64: 7B96AA854097DA56 Time : 0.0 sec. user=mdettweiler [2013-09-17 22:00:02] 777*2^1253560-1 is not prime. Res64: 23BAF57DE7079342 Time : 0.0 sec. user=mdettweiler [2013-09-17 22:10:54] 845*2^1253560-1 is not prime. Res64: 329874A84D69A34D Time : 0.0 sec. user=mdettweiler [2013-09-17 22:10:55] 857*2^1253560-1 is not prime. Res64: FC4FF777F47D3FEC Time : 0.0 sec. user=mdettweiler [2013-09-17 22:15:07] 601*2^1253561-1 is not prime. Res64: 0617FEEC11BE3C52 Time : 0.0 sec. user=mdettweiler [2013-09-17 22:15:08] 615*2^1253561-1 is not prime. Res64: 76A81C6E2818111F Time : 0.0 sec. user=mdettweiler [2013-09-17 22:16:15] 887*2^1253560-1 is not prime. Res64: 15681A6FC31C4196 Time : 0.0 sec. user=mdettweiler [2013-09-17 22:16:15] 923*2^1253560-1 is not prime. Res64: AB87E4891D5348EE Time : 0.0 sec. user=mdettweiler [2013-09-17 22:20:21] 627*2^1253561-1 is not prime. Res64: 69E8ABF264ACFE5F Time : 0.0 sec. user=mdettweiler [2013-09-17 22:20:22] 685*2^1253561-1 is not prime. Res64: 8CDF2BABBD76FAAC Time : 0.0 sec. user=mdettweiler [2013-09-17 22:31:35] 705*2^1253561-1 is not prime. Res64: E2CF30ABEEBE6F4F Time : 0.0 sec. user=mdettweiler [2013-09-17 22:31:35] 727*2^1253561-1 is not prime. Res64: 2433150309B1B98B Time : 0.0 sec. user=mdettweiler [2013-09-17 22:37:03] 789*2^1253561-1 is not prime. Res64: 9D63176A0A9765B8 Time : 0.0 sec. user=mdettweiler [2013-09-17 22:37:03] 979*2^1253561-1 is not prime. Res64: 8C8F22F2916FF09F Time : 0.0 sec. user=mdettweiler [2013-09-17 22:37:12] 671*2^1253562-1 is not prime. Res64: 7C293A6A31C28E15 Time : 0.0 sec. user=mdettweiler [2013-09-17 22:37:12] 717*2^1253562-1 is not prime. Res64: 6416B010CA22A32E Time : 0.0 sec. user=mdettweiler [2013-09-17 22:42:58] 891*2^1253562-1 is not prime. Res64: 0848CD0E13902AEF Time : 0.0 sec. user=mdettweiler [2013-09-17 22:42:59] 917*2^1253562-1 is not prime. Res64: D77909E728E471F5 Time : 0.0 sec. user=mdettweiler [2013-09-17 22:52:51] 975*2^1253562-1 is not prime. Res64: BF430C532E54E4E0 Time : 0.0 sec. user=mdettweiler [2013-09-17 22:52:51] 625*2^1253563-1 is not prime. Res64: A669698763535855 Time : 0.0 sec. user=mdettweiler [2013-09-17 22:57:00] 685*2^1253563-1 is not prime. Res64: 147E6A74658D9964 Time : 0.0 sec. user=mdettweiler [2013-09-17 22:57:00] 709*2^1253563-1 is not prime. Res64: EDBC22BEE5F8D365 Time : 0.0 sec. user=mdettweiler [2013-09-17 22:57:11] 783*2^1253563-1 is not prime. Res64: D59C30262B7476F0 Time : 0.0 sec. user=mdettweiler [2013-09-17 22:57:12] 811*2^1253563-1 is not prime. Res64: E33384889054020F Time : 0.0 sec. user=mdettweiler [2013-09-17 23:03:47] 855*2^1253563-1 is not prime. Res64: 1878515A0E6D3360 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:03:49] 871*2^1253563-1 is not prime. Res64: 66A97055CA318658 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:12:29] 675*2^1253564-1 is not prime. Res64: 733F74E6BC5A1234 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:12:29] 837*2^1253564-1 is not prime. Res64: 8BB7C5DC0D7B8434 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:16:51] 667*2^1253565-1 is not prime. Res64: 81CABF240D589535 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:16:51] 679*2^1253565-1 is not prime. Res64: EF39E9B5AA4E1C43 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:18:32] 923*2^1253564-1 is not prime. Res64: F31CE4DFA64E0427 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:18:32] 983*2^1253564-1 is not prime. Res64: 2CDDE4E0174DBE1E Time : 0.0 sec. user=mdettweiler [2013-09-17 23:23:30] 691*2^1253565-1 is not prime. Res64: 3FA91DEF61962C85 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:23:31] 765*2^1253565-1 is not prime. Res64: 5B06F4C5C4C43909 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:32:20] 787*2^1253565-1 is not prime. Res64: 79B11E2499D4DBD1 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:32:20] 825*2^1253565-1 is not prime. Res64: 916C18B0628EC3C3 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:38:33] 891*2^1253565-1 is not prime. Res64: B1A94DB2949C2AE1 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:38:33] 919*2^1253565-1 is not prime. Res64: BDD86A035EBD0D42 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:39:15] 999*2^1253565-1 is not prime. Res64: 3A1A0D282BD8E653 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:39:15] 671*2^1253566-1 is not prime. Res64: DF4BCB0060FDF63A Time : 0.0 sec. user=mdettweiler [2013-09-17 23:43:23] 717*2^1253566-1 is not prime. Res64: C6FBA18DB2958BBA Time : 0.0 sec. user=mdettweiler [2013-09-17 23:43:24] 737*2^1253566-1 is not prime. Res64: 9CC6CFAAE5B3D5B5 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:52:03] 741*2^1253566-1 is not prime. Res64: A4461856252CC62B Time : 0.0 sec. user=mdettweiler [2013-09-17 23:52:03] 747*2^1253566-1 is not prime. Res64: 3CD9D54BB8E5472B Time : 0.0 sec. user=mdettweiler [2013-09-17 23:58:50] 685*2^1253567-1 is not prime. Res64: A42E21C14B2D26A3 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:58:50] 739*2^1253567-1 is not prime. Res64: D02335DBD578C122 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:58:59] 857*2^1253566-1 is not prime. Res64: 4C8239C59BF04224 Time : 0.0 sec. user=mdettweiler [2013-09-17 23:58:59] 887*2^1253566-1 is not prime. Res64: 09D33DE20496E757 Time : 0.0 sec.