user=mdettweiler [2016-07-04 00:01:42] 753*2^1434278-1 is not prime. Res64: 2F7316DFF890FD58 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:01:49] 773*2^1434278-1 is not prime. Res64: A8E8B7E14649BE99 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:01:55] 857*2^1434278-1 is not prime. Res64: 09AB45E5B668E2B0 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:01:56] 867*2^1434278-1 is not prime. Res64: 652D45282B6014BF Time : 0.0 sec. user=mdettweiler [2016-07-04 00:02:03] 893*2^1434278-1 is not prime. Res64: 3B2D685D6C823D35 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:14:27] 1001*2^1434278-1 is not prime. Res64: 86AD90094DD76C0F Time : 0.0 sec. user=mdettweiler [2016-07-04 00:14:27] 793*2^1434279-1 is not prime. Res64: 88AF5ACA9182F0C3 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:14:28] 879*2^1434279-1 is not prime. Res64: 435309CE707BDB31 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:14:28] 675*2^1434280-1 is not prime. Res64: 5084CD4C48721FFA Time : 0.0 sec. user=mdettweiler [2016-07-04 00:14:29] 827*2^1434280-1 is not prime. Res64: 92941A0F75F2BB47 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:17:47] 855*2^1434280-1 is not prime. Res64: 42719CB77830CD95 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:17:47] 875*2^1434280-1 is not prime. Res64: C8E6AC4CD2F0DEC4 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:17:48] 887*2^1434280-1 is not prime. Res64: F2A8A7262D29BE55 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:17:48] 995*2^1434280-1 is not prime. Res64: 0DF0D6B30BF296E6 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:17:49] 615*2^1434281-1 is not prime. Res64: AF754480DD2BF92B Time : 0.0 sec. user=mdettweiler [2016-07-04 00:18:18] 631*2^1434281-1 is not prime. Res64: C20FB66685A5E98A Time : 0.0 sec. user=mdettweiler [2016-07-04 00:18:19] 645*2^1434281-1 is not prime. Res64: 05D95D2478ADD64B Time : 0.0 sec. user=mdettweiler [2016-07-04 00:18:19] 685*2^1434281-1 is not prime. Res64: 68BFB1F37C3A647B Time : 0.0 sec. user=mdettweiler [2016-07-04 00:18:19] 745*2^1434281-1 is not prime. Res64: E1BE53176BE4F4C8 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:18:20] 937*2^1434281-1 is not prime. Res64: F207715B55F897D6 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:47:18] 705*2^1434282-1 is not prime. Res64: 19BAE88194A970A3 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:47:19] 791*2^1434282-1 is not prime. Res64: 0AC3C5CD0591DA34 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:47:19] 801*2^1434282-1 is not prime. Res64: E819F117AA58A10F Time : 0.0 sec. user=mdettweiler [2016-07-04 00:47:19] 915*2^1434282-1 is not prime. Res64: FFB1C5DA07C1070E Time : 0.0 sec. user=mdettweiler [2016-07-04 00:47:20] 675*2^1434283-1 is not prime. Res64: C7B595C1E50B056D Time : 0.0 sec. user=mdettweiler [2016-07-04 00:59:25] 745*2^1434283-1 is not prime. Res64: A99DEFF8FB282771 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:59:25] 873*2^1434283-1 is not prime. Res64: C7379DD238A20886 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:59:26] 901*2^1434283-1 is not prime. Res64: AADC5DBD27199E72 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:59:26] 939*2^1434283-1 is not prime. Res64: D2A97DE22F904931 Time : 0.0 sec. user=mdettweiler [2016-07-04 00:59:27] 973*2^1434283-1 is not prime. Res64: C4C289224F8F1AA2 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:02:43] 617*2^1434284-1 is not prime. Res64: 637D79774ADF5B48 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:02:44] 749*2^1434284-1 is not prime. Res64: 78D8DEBDE18AFEFD Time : 0.0 sec. user=mdettweiler [2016-07-04 01:02:44] 803*2^1434284-1 is not prime. Res64: 4CC6B944BC3FA2B7 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:02:45] 813*2^1434284-1 is not prime. Res64: 1965AC1A4D021F8F Time : 0.0 sec. user=mdettweiler [2016-07-04 01:02:46] 833*2^1434284-1 is not prime. Res64: 71D57EF288E443E1 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:03:25] 873*2^1434284-1 is not prime. Res64: 2F47ED30ACDE2550 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:03:29] 625*2^1434285-1 is not prime. Res64: 29AF77769051B5D3 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:03:29] 669*2^1434285-1 is not prime. Res64: 23B80A97CF71732C Time : 0.0 sec. user=mdettweiler [2016-07-04 01:03:30] 817*2^1434285-1 is not prime. Res64: 6D23A5F880F88B6A Time : 0.0 sec. user=mdettweiler [2016-07-04 01:03:31] 825*2^1434285-1 is not prime. Res64: 955BE92C642D68B9 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:32:08] 919*2^1434285-1 is not prime. Res64: 89C71E31E8FEEE31 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:32:09] 969*2^1434285-1 is not prime. Res64: E881D59A328CC121 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:32:09] 675*2^1434286-1 is not prime. Res64: 0E159105F1084BB3 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:32:10] 713*2^1434286-1 is not prime. Res64: 436D516B3BB6FADE Time : 0.0 sec. user=mdettweiler [2016-07-04 01:32:10] 747*2^1434286-1 is not prime. Res64: 05B686BF576FEE3D Time : 0.0 sec. user=mdettweiler [2016-07-04 01:44:18] 755*2^1434286-1 is not prime. Res64: 0DB23623DAAC3B24 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:44:18] 833*2^1434286-1 is not prime. Res64: 05839F92C97D8314 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:44:19] 887*2^1434286-1 is not prime. Res64: 0CF96FFC22197BBD Time : 0.0 sec. user=mdettweiler [2016-07-04 01:44:19] 945*2^1434286-1 is not prime. Res64: C8852B0BB786F397 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:44:20] 971*2^1434286-1 is not prime. Res64: 2D560D46F28AEFFB Time : 0.0 sec. user=mdettweiler [2016-07-04 01:47:34] 1001*2^1434286-1 is not prime. Res64: C185B905E0A8F62A Time : 0.0 sec. user=mdettweiler [2016-07-04 01:47:38] 633*2^1434287-1 is not prime. Res64: BFA6D842648FF01B Time : 0.0 sec. user=mdettweiler [2016-07-04 01:47:42] 643*2^1434287-1 is not prime. Res64: 56D4861A10890A4E Time : 0.0 sec. user=mdettweiler [2016-07-04 01:47:46] 645*2^1434287-1 is not prime. Res64: D7E557C831C0C40A Time : 0.0 sec. user=mdettweiler [2016-07-04 01:47:50] 661*2^1434287-1 is not prime. Res64: 48E505EC0F9E5BA6 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:48:30] 703*2^1434287-1 is not prime. Res64: D5C8820BDD3594F5 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:48:34] 729*2^1434287-1 is not prime. Res64: 0C851665700BD2D9 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:48:38] 735*2^1434287-1 is not prime. Res64: 916BFB0E9ADD4011 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:48:42] 799*2^1434287-1 is not prime. Res64: D6C2BBD0501D3E15 Time : 0.0 sec. user=mdettweiler [2016-07-04 01:48:46] 885*2^1434287-1 is not prime. Res64: 0D0A085AD574EE6C Time : 0.0 sec. user=mdettweiler [2016-07-04 02:17:06] 895*2^1434287-1 is not prime. Res64: EE497A13A905B54F Time : 0.0 sec. user=mdettweiler [2016-07-04 02:17:06] 683*2^1434288-1 is not prime. Res64: 0B1ADADB41E290EC Time : 0.0 sec. user=mdettweiler [2016-07-04 02:17:07] 695*2^1434288-1 is not prime. Res64: 8E9D9D0526E09C24 Time : 0.0 sec. user=mdettweiler [2016-07-04 02:17:07] 707*2^1434288-1 is not prime. Res64: 7EF3E1E504C32466 Time : 0.0 sec. user=mdettweiler [2016-07-04 02:17:08] 797*2^1434288-1 is not prime. Res64: 5457719C686E9078 Time : 0.0 sec. user=mdettweiler [2016-07-04 02:29:29] 837*2^1434288-1 is not prime. Res64: 884B519452017F26 Time : 0.0 sec. user=mdettweiler [2016-07-04 02:29:34] 839*2^1434288-1 is not prime. Res64: 65204F1CB17AEFFD Time : 0.0 sec. user=mdettweiler [2016-07-04 02:29:38] 893*2^1434288-1 is not prime. Res64: 6EA48900B3F8B111 Time : 0.0 sec. user=mdettweiler [2016-07-04 02:29:43] 915*2^1434288-1 is not prime. Res64: 3A8DEED8B3BC6EBB Time : 0.0 sec. user=mdettweiler [2016-07-04 02:29:48] 649*2^1434289-1 is not prime. Res64: 4F67A2332C81E08E Time : 0.0 sec. user=mdettweiler [2016-07-04 02:32:57] 765*2^1434289-1 is not prime. Res64: AAE475A854C852ED Time : 0.0 sec. user=mdettweiler [2016-07-04 02:33:02] 775*2^1434289-1 is not prime. Res64: 8764BCD043286D11 Time : 0.0 sec. user=mdettweiler [2016-07-04 02:33:09] 867*2^1434289-1 is not prime. Res64: 21D82105DB053F5B Time : 0.0 sec. user=mdettweiler [2016-07-04 02:33:09] 895*2^1434289-1 is not prime. Res64: C31EF75E5CB91573 Time : 0.0 sec. user=mdettweiler [2016-07-04 02:33:14] 897*2^1434289-1 is not prime. Res64: 9F69B24749E105DC Time : 0.0 sec. user=mdettweiler [2016-07-04 02:33:59] 633*2^1434290-1 is not prime. Res64: 53FC39BBF715C28C Time : 0.0 sec. user=mdettweiler [2016-07-04 02:34:04] 731*2^1434290-1 is not prime. Res64: 00B6258CFA6AE1A8 Time : 0.0 sec. user=mdettweiler [2016-07-04 02:34:10] 831*2^1434290-1 is not prime. Res64: EC88A02D07D0CA4B Time : 0.0 sec. user=mdettweiler [2016-07-04 02:34:16] 861*2^1434290-1 is not prime. Res64: 340E69318C52C8B7 Time : 0.0 sec. user=mdettweiler [2016-07-04 02:34:22] 885*2^1434290-1 is not prime. Res64: DDAFA377557F2E96 Time : 0.0 sec. user=mdettweiler [2016-07-04 03:14:55] 961*2^1434291-1 is not prime. Res64: 244600D29325F1A8 Time : 0.0 sec. user=mdettweiler [2016-07-04 03:14:59] 969*2^1434291-1 is not prime. Res64: B65E7FA205519E3C Time : 0.0 sec. user=mdettweiler [2016-07-04 03:15:04] 615*2^1434292-1 is not prime. Res64: D4D28AD7D890ED43 Time : 0.0 sec. user=mdettweiler [2016-07-04 03:15:08] 687*2^1434292-1 is not prime. Res64: 25E6B7658DAA08BC Time : 0.0 sec. user=mdettweiler [2016-07-04 03:15:12] 689*2^1434292-1 is not prime. Res64: 3ED15798D41621EA Time : 0.0 sec. user=mdettweiler [2016-07-04 03:18:12] 717*2^1434292-1 is not prime. Res64: 624B3FEB0B834AD1 Time : 0.0 sec. user=mdettweiler [2016-07-04 03:18:16] 685*2^1434293-1 is not prime. Res64: 1707F3FFC32368E0 Time : 0.0 sec. user=mdettweiler [2016-07-04 03:18:20] 715*2^1434293-1 is not prime. Res64: F6685922464165BA Time : 0.0 sec. user=mdettweiler [2016-07-04 03:18:24] 727*2^1434293-1 is not prime. Res64: 19E1E62A1C9B439E Time : 0.0 sec. user=mdettweiler [2016-07-04 03:18:28] 759*2^1434293-1 is not prime. Res64: 0D1FDA2D051C5176 Time : 0.0 sec. user=mdettweiler [2016-07-04 03:19:50] 855*2^1434293-1 is not prime. Res64: 76D26F48DF6E6C48 Time : 0.0 sec. user=mdettweiler [2016-07-04 03:19:51] 871*2^1434293-1 is not prime. Res64: FF85EE0C90DC8246 Time : 0.0 sec. user=mdettweiler [2016-07-04 03:19:52] 897*2^1434293-1 is not prime. Res64: 506F83218A6C7867 Time : 0.0 sec. user=mdettweiler [2016-07-04 03:19:52] 915*2^1434293-1 is not prime. Res64: 179B0DB64D32CE9D Time : 0.0 sec. user=mdettweiler [2016-07-04 03:19:53] 957*2^1434293-1 is not prime. Res64: B229A4A78DB50380 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:00:45] 991*2^1434293-1 is not prime. Res64: 61A44AFFEDEAE397 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:00:50] 621*2^1434294-1 is not prime. Res64: AE1C8919C9278A68 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:00:55] 651*2^1434294-1 is not prime. Res64: E5D443A7B464C598 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:01:01] 695*2^1434294-1 is not prime. Res64: 162FEE19A2F3C135 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:01:07] 705*2^1434294-1 is not prime. Res64: 8357750CD4E081AF Time : 0.0 sec. user=mdettweiler [2016-07-04 04:04:06] 725*2^1434294-1 is not prime. Res64: F3CB1B973E41F139 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:04:11] 737*2^1434294-1 is not prime. Res64: 791DCBC6113EC4DF Time : 0.0 sec. user=mdettweiler [2016-07-04 04:04:16] 791*2^1434294-1 is not prime. Res64: 800BDC860779F2B2 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:04:22] 797*2^1434294-1 is not prime. Res64: 7147B7D8193C9776 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:04:28] 903*2^1434294-1 is not prime. Res64: BE6A59A63EF1ADFB Time : 0.0 sec. user=mdettweiler [2016-07-04 04:05:12] 927*2^1434294-1 is not prime. Res64: 0C6BA2B7289749DD Time : 0.0 sec. user=mdettweiler [2016-07-04 04:05:19] 941*2^1434294-1 is not prime. Res64: 3B80D1C08A196DD0 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:05:27] 1001*2^1434294-1 is not prime. Res64: B7B3CD2F1EEDC63F Time : 0.0 sec. user=mdettweiler [2016-07-04 04:05:34] 625*2^1434295-1 is not prime. Res64: 85CA0C60AA468BD2 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:05:42] 723*2^1434295-1 is not prime. Res64: 74AF3738EFF07CDB Time : 0.0 sec. user=mdettweiler [2016-07-04 04:48:07] 793*2^1434295-1 is not prime. Res64: C59AFAC075D8BD61 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:48:07] 831*2^1434295-1 is not prime. Res64: 8F79B4CC4D8770A3 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:48:07] 841*2^1434295-1 is not prime. Res64: 3DEAB41B18F74225 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:48:08] 919*2^1434295-1 is not prime. Res64: A3BA20E018CE0FAE Time : 0.0 sec. user=mdettweiler [2016-07-04 04:48:08] 677*2^1434296-1 is not prime. Res64: CB987D2B2C5F7B88 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:51:52] 759*2^1434296-1 is not prime. Res64: FB2F12721BC9B720 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:51:53] 773*2^1434296-1 is not prime. Res64: AE27E8BC06696626 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:51:53] 813*2^1434296-1 is not prime. Res64: C9DE91961FFA329A Time : 0.0 sec. user=mdettweiler [2016-07-04 04:51:54] 855*2^1434296-1 is not prime. Res64: A3A1AE88216ACDF6 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:51:54] 935*2^1434296-1 is not prime. Res64: 8ED79C13BCB19259 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:53:01] 963*2^1434296-1 is not prime. Res64: 995301E9457FC228 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:53:01] 669*2^1434297-1 is not prime. Res64: 9E341DD3BD19B444 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:53:02] 751*2^1434297-1 is not prime. Res64: FF7863B147392507 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:53:02] 819*2^1434297-1 is not prime. Res64: 94F5F8BA1627E478 Time : 0.0 sec. user=mdettweiler [2016-07-04 04:53:02] 937*2^1434297-1 is not prime. Res64: 5C37AB7630BFBF5A Time : 0.0 sec. user=mdettweiler [2016-07-04 05:33:59] 955*2^1434297-1 is not prime. Res64: 0EBA65C389B0CE18 Time : 0.0 sec. user=mdettweiler [2016-07-04 05:34:00] 857*2^1434298-1 is not prime. Res64: 785CFB786629F475 Time : 0.0 sec. user=mdettweiler [2016-07-04 05:34:00] 891*2^1434298-1 is not prime. Res64: 0636F1904E3C45CB Time : 0.0 sec. user=mdettweiler [2016-07-04 05:34:01] 619*2^1434299-1 is not prime. Res64: 6F6E44DF6B84D255 Time : 0.0 sec. user=mdettweiler [2016-07-04 05:34:01] 643*2^1434299-1 is not prime. Res64: 135B94DF39D63EB5 Time : 0.0 sec. user=mdettweiler [2016-07-04 05:37:31] 771*2^1434299-1 is not prime. Res64: 6B8524A8AFA8097D Time : 0.0 sec. user=mdettweiler [2016-07-04 05:37:31] 823*2^1434299-1 is not prime. Res64: 8ACE9119EF3A594D Time : 0.0 sec. user=mdettweiler [2016-07-04 05:37:32] 825*2^1434299-1 is not prime. Res64: 1035CCC3205B7A3A Time : 0.0 sec. user=mdettweiler [2016-07-04 05:37:32] 853*2^1434299-1 is not prime. Res64: A83BC38266DF3DDD Time : 0.0 sec. user=mdettweiler [2016-07-04 05:37:32] 895*2^1434299-1 is not prime. Res64: 6FCA3F181F944D40 Time : 0.0 sec. user=mdettweiler [2016-07-04 05:38:37] 633*2^1434300-1 is not prime. Res64: 301EC31D7C1AF7A5 Time : 0.0 sec. user=mdettweiler [2016-07-04 05:38:38] 825*2^1434300-1 is not prime. Res64: D29FAF12CE1E42C2 Time : 0.0 sec. user=mdettweiler [2016-07-04 05:38:38] 867*2^1434300-1 is not prime. Res64: D53C184396EBAC43 Time : 0.0 sec. user=mdettweiler [2016-07-04 05:38:38] 927*2^1434300-1 is not prime. Res64: 01F86212C56EA1A3 Time : 0.0 sec. user=mdettweiler [2016-07-04 05:38:39] 959*2^1434300-1 is not prime. Res64: 3B1089A2E083519D Time : 0.0 sec. user=mdettweiler [2016-07-04 05:58:57] 893*2^1434290-1 is not prime. Res64: 0870C2C1B1547A11 Time : 0.0 sec. user=mdettweiler [2016-07-04 05:59:05] 917*2^1434290-1 is not prime. Res64: 82757D37BF0B1725 Time : 0.0 sec. user=mdettweiler [2016-07-04 05:59:12] 935*2^1434290-1 is not prime. Res64: D50C6048AC7B16E0 Time : 0.0 sec. user=mdettweiler [2016-07-04 05:59:19] 709*2^1434291-1 is not prime. Res64: EA2A346D7AE7CA0A Time : 0.0 sec. user=mdettweiler [2016-07-04 05:59:26] 921*2^1434291-1 is not prime. Res64: 26BEE9496D2A9A94 Time : 0.0 sec. user=mdettweiler [2016-07-04 06:19:38] 621*2^1434301-1 is not prime. Res64: 284E1B507ECC7596 Time : 0.0 sec. user=mdettweiler [2016-07-04 06:19:39] 727*2^1434301-1 is not prime. Res64: B820617820077275 Time : 0.0 sec. user=mdettweiler [2016-07-04 06:19:39] 825*2^1434301-1 is not prime. Res64: EF5E6C43214330A9 Time : 0.0 sec. user=mdettweiler [2016-07-04 06:19:40] 957*2^1434301-1 is not prime. Res64: 76EAF10C5B0061B0 Time : 0.0 sec. user=mdettweiler [2016-07-04 06:19:40] 981*2^1434301-1 is not prime. Res64: A015B9345ADEA9A4 Time : 0.0 sec. user=mdettweiler [2016-07-04 06:22:53] 997*2^1434301-1 is not prime. Res64: E0B9C7A8EAA2C286 Time : 0.0 sec. user=mdettweiler [2016-07-04 06:22:53] 623*2^1434302-1 is not prime. Res64: 10467CCE64FCDD2A Time : 0.0 sec. user=mdettweiler [2016-07-04 06:22:54] 665*2^1434302-1 is not prime. Res64: 0E845B94AC511885 Time : 0.0 sec. user=mdettweiler [2016-07-04 06:22:54] 685*2^1434303-1 is not prime. Res64: 0776D19165C3F94A Time : 0.0 sec. user=mdettweiler [2016-07-04 06:22:55] 693*2^1434303-1 is not prime. Res64: 23F324AF49EC6444 Time : 0.0 sec. user=mdettweiler [2016-07-04 06:23:51] 853*2^1434303-1 is not prime. Res64: FDE63F47FFBED7B7 Time : 0.0 sec. user=mdettweiler [2016-07-04 06:23:51] 871*2^1434303-1 is not prime. Res64: 61CDCA300049C07B Time : 0.0 sec. user=mdettweiler [2016-07-04 06:23:51] 895*2^1434303-1 is not prime. Res64: 44B04D92F6257AAD Time : 0.0 sec. user=mdettweiler [2016-07-04 06:23:52] 665*2^1434304-1 is not prime. Res64: 662F85839A3CCEB6 Time : 0.0 sec. user=mdettweiler [2016-07-04 06:23:52] 675*2^1434304-1 is not prime. Res64: 8D2277C73A3181A4 Time : 0.0 sec. user=mdettweiler [2016-07-04 06:44:32] 719*2^1434304-1 is not prime. Res64: C59DF59BA1F6D24D Time : 0.0 sec. user=mdettweiler [2016-07-04 06:44:32] 905*2^1434304-1 is not prime. Res64: CD7910FFEAB9D9CE Time : 0.0 sec. user=mdettweiler [2016-07-04 06:44:39] 947*2^1434304-1 is not prime. Res64: 6278FE9A0DA53ABF Time : 0.0 sec. user=mdettweiler [2016-07-04 06:44:46] 975*2^1434304-1 is not prime. Res64: 5EA67049FC228B0C Time : 0.0 sec. user=mdettweiler [2016-07-04 06:44:52] 607*2^1434305-1 is not prime. Res64: 2C4C1F62B0D6AAE8 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:04:33] 645*2^1434305-1 is not prime. Res64: 5DD3A0173DBAE7F6 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:04:35] 651*2^1434305-1 is not prime. Res64: 2482741AFFE0C7FB Time : 0.0 sec. user=mdettweiler [2016-07-04 07:04:36] 675*2^1434305-1 is not prime. Res64: C7AE294C28FF42D3 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:04:37] 697*2^1434305-1 is not prime. Res64: FDA64B5395327604 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:04:38] 699*2^1434305-1 is not prime. Res64: 9E91332898539FEC Time : 0.0 sec. user=mdettweiler [2016-07-04 07:07:47] 715*2^1434305-1 is not prime. Res64: DAF1A55D8CC4607D Time : 0.0 sec. user=mdettweiler [2016-07-04 07:07:49] 775*2^1434305-1 is not prime. Res64: 2E6F52AA828C4F9A Time : 0.0 sec. user=mdettweiler [2016-07-04 07:07:51] 805*2^1434305-1 is not prime. Res64: 31E95B7947D80C4B Time : 0.0 sec. user=mdettweiler [2016-07-04 07:07:51] 885*2^1434305-1 is not prime. Res64: 63B9A0216142D6DC Time : 0.0 sec. user=mdettweiler [2016-07-04 07:07:52] 937*2^1434305-1 is not prime. Res64: E91D11D7E084880D Time : 0.0 sec. user=mdettweiler [2016-07-04 07:08:41] 981*2^1434305-1 is not prime. Res64: 64C23DFF9B9C38A5 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:08:43] 641*2^1434306-1 is not prime. Res64: D7531A5FA15801B7 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:08:44] 647*2^1434306-1 is not prime. Res64: 5C7F0139571B50D5 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:08:45] 683*2^1434306-1 is not prime. Res64: 1D4EA41AD1046802 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:08:46] 717*2^1434306-1 is not prime. Res64: E6C1A05240B2FDFD Time : 0.0 sec. user=mdettweiler [2016-07-04 07:29:57] 783*2^1434306-1 is not prime. Res64: 33BF6C97A5194310 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:29:57] 821*2^1434306-1 is not prime. Res64: 7A649BC01979ADC0 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:29:57] 893*2^1434306-1 is not prime. Res64: BB0CF48A018379A4 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:29:58] 615*2^1434307-1 is not prime. Res64: 97448C285FF6780E Time : 0.0 sec. user=mdettweiler [2016-07-04 07:29:58] 639*2^1434307-1 is not prime. Res64: C334FA78F981F7EF Time : 0.0 sec. user=mdettweiler [2016-07-04 07:49:57] 685*2^1434307-1 is not prime. Res64: EB641497D77DAE1F Time : 0.0 sec. user=mdettweiler [2016-07-04 07:49:57] 705*2^1434307-1 is not prime. Res64: 14ED21BCB49CAAF9 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:49:57] 741*2^1434307-1 is not prime. Res64: BAEC3AD1CFC44890 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:49:58] 775*2^1434307-1 is not prime. Res64: 3D09FC528E0A66D3 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:49:58] 801*2^1434307-1 is not prime. Res64: F85F332B2D5C2D00 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:52:45] 873*2^1434307-1 is not prime. Res64: 54B9CCA0B3F601F4 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:52:45] 919*2^1434307-1 is not prime. Res64: 75F4A36316CB1EAD Time : 0.0 sec. user=mdettweiler [2016-07-04 07:52:45] 687*2^1434308-1 is not prime. Res64: DE06905FD4697219 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:52:46] 843*2^1434308-1 is not prime. Res64: 4975CFB04A2FAA93 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:52:46] 915*2^1434308-1 is not prime. Res64: 1F232817A318D58E Time : 0.0 sec. user=mdettweiler [2016-07-04 07:53:54] 639*2^1434309-1 is not prime. Res64: 5821161CB7053B7A Time : 0.0 sec. user=mdettweiler [2016-07-04 07:53:54] 747*2^1434309-1 is not prime. Res64: 9B7EF1491B09D39A Time : 0.0 sec. user=mdettweiler [2016-07-04 07:53:54] 795*2^1434309-1 is not prime. Res64: 14EAC71D4B1B93A4 Time : 0.0 sec. user=mdettweiler [2016-07-04 07:53:55] 861*2^1434309-1 is not prime. Res64: EC01778BDEC2037B Time : 0.0 sec. user=mdettweiler [2016-07-04 07:53:55] 895*2^1434309-1 is not prime. Res64: 2987956F05C34323 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:14:54] 665*2^1434310-1 is not prime. Res64: 063E9F07670F5F92 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:14:54] 777*2^1434310-1 is not prime. Res64: E970514384A77801 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:14:55] 813*2^1434310-1 is not prime. Res64: 1610428D1EF99D26 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:14:55] 843*2^1434310-1 is not prime. Res64: 22F533F0B54F34D2 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:14:55] 857*2^1434310-1 is not prime. Res64: 547D3133797A006C Time : 0.0 sec. user=mdettweiler [2016-07-04 08:34:48] 891*2^1434310-1 is not prime. Res64: 2BDBE1054F5DD4BC Time : 0.0 sec. user=mdettweiler [2016-07-04 08:34:48] 987*2^1434310-1 is not prime. Res64: 30F1C302446B6FA0 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:34:48] 603*2^1434311-1 is not prime. Res64: 2D3EC1A1F8C2B506 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:34:49] 609*2^1434311-1 is not prime. Res64: 5C775113DE3B1427 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:34:49] 679*2^1434311-1 is not prime. Res64: 1F4A202584593E05 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:37:35] 745*2^1434311-1 is not prime. Res64: CA760C516DBFBC82 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:37:36] 913*2^1434311-1 is not prime. Res64: B4F5E38A52BF4094 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:37:36] 955*2^1434311-1 is not prime. Res64: 6A88C4F5F62E3921 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:37:36] 999*2^1434311-1 is not prime. Res64: 2E1F182F6113CEC6 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:37:37] 675*2^1434312-1 is not prime. Res64: C7633A55040244A4 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:38:47] 725*2^1434312-1 is not prime. Res64: 043A8572CEE140AF Time : 0.0 sec. user=mdettweiler [2016-07-04 08:38:47] 765*2^1434312-1 is not prime. Res64: 73037F94C4B4124F Time : 0.0 sec. user=mdettweiler [2016-07-04 08:38:48] 863*2^1434312-1 is not prime. Res64: BDD70A50EDAA088C Time : 0.0 sec. user=mdettweiler [2016-07-04 08:38:48] 935*2^1434312-1 is not prime. Res64: FD4ADA4E9C96EEAF Time : 0.0 sec. user=mdettweiler [2016-07-04 08:38:49] 975*2^1434312-1 is not prime. Res64: 1CAE1337E7B2E8BF Time : 0.0 sec. user=mdettweiler [2016-07-04 08:59:51] 649*2^1434313-1 is not prime. Res64: BEC36D8C15025141 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:59:52] 699*2^1434313-1 is not prime. Res64: 9BBFD3E04ED64ED5 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:59:52] 705*2^1434313-1 is not prime. Res64: 385025EC118979B0 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:59:53] 715*2^1434313-1 is not prime. Res64: 314C40BB5C2CD4D9 Time : 0.0 sec. user=mdettweiler [2016-07-04 08:59:53] 729*2^1434313-1 is not prime. Res64: 3BECEAEDA889D71C Time : 0.0 sec. user=mdettweiler [2016-07-04 09:19:48] 769*2^1434313-1 is not prime. Res64: 87205832ECC7021D Time : 0.0 sec. user=mdettweiler [2016-07-04 09:19:48] 861*2^1434313-1 is not prime. Res64: 09FEF41B0C45E208 Time : 0.0 sec. user=mdettweiler [2016-07-04 09:19:49] 635*2^1434314-1 is not prime. Res64: 41A38C5ACE4E6FCB Time : 0.0 sec. user=mdettweiler [2016-07-04 09:19:49] 701*2^1434314-1 is not prime. Res64: 2EBE94ECB72E3E14 Time : 0.0 sec. user=mdettweiler [2016-07-04 09:19:50] 711*2^1434314-1 is not prime. Res64: 33C984F3BC04DBBB Time : 0.0 sec. user=mdettweiler [2016-07-04 09:22:36] 741*2^1434314-1 is not prime. Res64: 396D17FAB1F9ED6A Time : 0.0 sec. user=mdettweiler [2016-07-04 09:22:36] 833*2^1434314-1 is not prime. Res64: 90D37F7C0C34ABD6 Time : 0.0 sec. user=mdettweiler [2016-07-04 09:22:37] 915*2^1434314-1 is not prime. Res64: BCC9D3DB7C96BAE4 Time : 0.0 sec. user=mdettweiler [2016-07-04 09:22:37] 709*2^1434315-1 is not prime. Res64: 3492FECBE9BC2433 Time : 0.0 sec. user=mdettweiler [2016-07-04 09:22:38] 751*2^1434315-1 is not prime. Res64: F12E8B2BFCBD1203 Time : 0.0 sec. user=mdettweiler [2016-07-04 09:24:05] 825*2^1434315-1 is not prime. Res64: B4BD97952BDAE52D Time : 0.0 sec. user=mdettweiler [2016-07-04 09:24:05] 849*2^1434315-1 is not prime. Res64: 10BCBF46E3912A44 Time : 0.0 sec. user=mdettweiler [2016-07-04 09:24:06] 951*2^1434315-1 is not prime. Res64: 9F5546638088C991 Time : 0.0 sec. user=mdettweiler [2016-07-04 09:24:06] 623*2^1434316-1 is not prime. Res64: C22A5BD7BCC0354B Time : 0.0 sec. user=mdettweiler [2016-07-04 09:24:07] 705*2^1434316-1 is not prime. Res64: 694D8351B38AEC55 Time : 0.0 sec. user=mdettweiler [2016-07-04 09:44:50] 717*2^1434316-1 is not prime. Res64: 3C1608EC5871FF89 Time : 0.0 sec. user=mdettweiler [2016-07-04 09:44:51] 777*2^1434316-1 is not prime. Res64: 52BAC1CADB974FFD Time : 0.0 sec. user=mdettweiler [2016-07-04 09:44:51] 857*2^1434316-1 is not prime. Res64: 2A15B423311C5948 Time : 0.0 sec. user=mdettweiler [2016-07-04 09:44:52] 645*2^1434317-1 is not prime. Res64: F3B3D81AA1CB6A38 Time : 0.0 sec. user=mdettweiler [2016-07-04 09:44:52] 697*2^1434317-1 is not prime. Res64: 209E0C037DE7CE3C Time : 0.0 sec. user=mdettweiler [2016-07-04 10:04:41] 759*2^1434317-1 is not prime. Res64: 04BF547328733CA2 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:04:42] 829*2^1434317-1 is not prime. Res64: 9D90FD5BCAB664AB Time : 0.0 sec. user=mdettweiler [2016-07-04 10:04:43] 927*2^1434317-1 is not prime. Res64: 24F65093E72A3EEC Time : 0.0 sec. user=mdettweiler [2016-07-04 10:04:44] 931*2^1434317-1 is not prime. Res64: 91E01B96B19928C4 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:04:45] 737*2^1434318-1 is not prime. Res64: 073E0DE523339564 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:07:36] 755*2^1434318-1 is not prime. Res64: 49D002A5A6027359 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:07:36] 767*2^1434318-1 is not prime. Res64: 1894F455024CFA95 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:07:37] 801*2^1434318-1 is not prime. Res64: 5001008A02C88FCF Time : 0.0 sec. user=mdettweiler [2016-07-04 10:07:37] 875*2^1434318-1 is not prime. Res64: EA26842462895977 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:07:37] 921*2^1434318-1 is not prime. Res64: 5D78AE65CBAB7678 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:09:13] 679*2^1434319-1 is not prime. Res64: 2E58FEF5FE3CAD99 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:09:14] 873*2^1434319-1 is not prime. Res64: D52C63C270D61285 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:09:14] 891*2^1434319-1 is not prime. Res64: 4DDA73A301ED54E9 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:09:15] 973*2^1434319-1 is not prime. Res64: 93306A8710DA029C Time : 0.0 sec. user=mdettweiler [2016-07-04 10:09:15] 975*2^1434319-1 is not prime. Res64: A038B46C18A0696B Time : 0.0 sec. user=mdettweiler [2016-07-04 10:29:40] 645*2^1434320-1 is not prime. Res64: 185FE3F76CF65628 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:29:40] 825*2^1434320-1 is not prime. Res64: 20D6536DBCD3DFF6 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:29:40] 915*2^1434320-1 is not prime. Res64: 141606A87E52DCBA Time : 0.0 sec. user=mdettweiler [2016-07-04 10:29:41] 959*2^1434320-1 is not prime. Res64: F00FC0E5ADB88B6D Time : 0.0 sec. user=mdettweiler [2016-07-04 10:29:41] 999*2^1434320-1 is not prime. Res64: 6BE29A4DC2B40A60 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:49:48] 681*2^1434321-1 is not prime. Res64: AEFF5F2A23B061EB Time : 0.0 sec. user=mdettweiler [2016-07-04 10:49:49] 849*2^1434321-1 is not prime. Res64: E877F15F0ED0D4B8 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:49:49] 871*2^1434321-1 is not prime. Res64: E95FE29B8C93CED2 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:49:50] 907*2^1434321-1 is not prime. Res64: EBCA6264858958B9 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:49:50] 921*2^1434321-1 is not prime. Res64: 6366FE5D0A0D9391 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:52:35] 999*2^1434321-1 is not prime. Res64: CCF98258D19D287A Time : 0.0 sec. user=mdettweiler [2016-07-04 10:52:35] 635*2^1434322-1 is not prime. Res64: DE932C41D7D94DFC Time : 0.0 sec. user=mdettweiler [2016-07-04 10:52:36] 701*2^1434322-1 is not prime. Res64: 38A8BF5E98930C23 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:52:36] 713*2^1434322-1 is not prime. Res64: ABCDC48B15F8A7D6 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:52:36] 777*2^1434322-1 is not prime. Res64: 1E78DE8A45ED0843 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:54:08] 857*2^1434322-1 is not prime. Res64: E0A0261AE9A2B806 Time : 0.0 sec. user=mdettweiler [2016-07-04 10:54:08] 643*2^1434323-1 is not prime. Res64: DE924AA5F29892CD Time : 0.0 sec. user=mdettweiler [2016-07-04 10:54:08] 675*2^1434323-1 is not prime. Res64: 560E657426533B2C Time : 0.0 sec. user=mdettweiler [2016-07-04 10:54:09] 703*2^1434323-1 is not prime. Res64: E32E6B116B5200FC Time : 0.0 sec. user=mdettweiler [2016-07-04 10:54:09] 715*2^1434323-1 is not prime. Res64: 6C237D069E86B910 Time : 0.0 sec. user=mdettweiler [2016-07-04 11:14:32] 861*2^1434323-1 is not prime. Res64: 3DB9EC394350D028 Time : 0.0 sec. user=mdettweiler [2016-07-04 11:14:32] 879*2^1434323-1 is not prime. Res64: ADA179836DAC38DA Time : 0.0 sec. user=mdettweiler [2016-07-04 11:14:33] 885*2^1434323-1 is not prime. Res64: AB36B0D1302C15B3 Time : 0.0 sec. user=mdettweiler [2016-07-04 11:14:33] 895*2^1434323-1 is not prime. Res64: 2A0E26F5626B230E Time : 0.0 sec. user=mdettweiler [2016-07-04 11:14:33] 627*2^1434324-1 is not prime. Res64: 65183B39AA26F3F8 Time : 0.0 sec. user=mdettweiler [2016-07-04 11:34:40] 675*2^1434324-1 is not prime. Res64: 2339296030012F0F Time : 0.0 sec. user=mdettweiler [2016-07-04 11:34:41] 759*2^1434324-1 is not prime. Res64: 288D6211D889B3BF Time : 0.0 sec. user=mdettweiler [2016-07-04 11:34:41] 773*2^1434324-1 is not prime. Res64: 17671581C094FD22 Time : 0.0 sec. user=mdettweiler [2016-07-04 11:34:41] 809*2^1434324-1 is not prime. Res64: D5362300BC361EC0 Time : 0.0 sec. user=mdettweiler [2016-07-04 11:34:42] 875*2^1434324-1 is not prime. Res64: CF26515FF231A2AD Time : 0.0 sec. user=mdettweiler [2016-07-04 11:37:31] 945*2^1434324-1 is not prime. Res64: F655B6EBBC78CF56 Time : 0.0 sec. user=mdettweiler [2016-07-04 11:37:32] 993*2^1434324-1 is not prime. Res64: F06CC8DA2C6070E2 Time : 0.0 sec. user=mdettweiler [2016-07-04 11:37:32] 661*2^1434325-1 is not prime. Res64: 2D7E43FCD3E0F763 Time : 0.0 sec. user=mdettweiler [2016-07-04 11:37:32] 667*2^1434325-1 is not prime. Res64: 0751B51FCF55938B Time : 0.0 sec. user=mdettweiler [2016-07-04 11:37:33] 919*2^1434325-1 is not prime. Res64: B61E5C93401BB77F Time : 0.0 sec. user=mdettweiler [2016-07-04 11:39:03] 617*2^1434326-1 is not prime. Res64: 62C875115E4C42B1 Time : 0.0 sec. user=mdettweiler [2016-07-04 11:39:03] 827*2^1434326-1 is not prime. Res64: D9E1F78311E286DD Time : 0.0 sec. user=mdettweiler [2016-07-04 11:39:04] 625*2^1434327-1 is not prime. Res64: 0AAB5BD9630128CF Time : 0.0 sec. user=mdettweiler [2016-07-04 11:39:04] 643*2^1434327-1 is not prime. Res64: D81DB1D3012A6B9D Time : 0.0 sec. user=mdettweiler [2016-07-04 11:39:04] 645*2^1434328-1 is not prime. Res64: 44729427A20C4BEE Time : 0.0 sec. user=mdettweiler [2016-07-04 11:59:34] 657*2^1434328-1 is not prime. Res64: 63082D900D76EA5F Time : 0.0 sec. user=mdettweiler [2016-07-04 11:59:34] 765*2^1434328-1 is not prime. Res64: B04773118A320D94 Time : 0.0 sec. user=mdettweiler [2016-07-04 11:59:35] 825*2^1434328-1 is not prime. Res64: 4A7202D4119F17FB Time : 0.0 sec. user=mdettweiler [2016-07-04 11:59:35] 843*2^1434328-1 is not prime. Res64: 7B1A9C3AC7632397 Time : 0.0 sec. user=mdettweiler [2016-07-04 11:59:35] 601*2^1434329-1 is not prime. Res64: D8E48832B548A0D5 Time : 0.0 sec. user=mdettweiler [2016-07-04 12:19:35] 615*2^1434329-1 is not prime. Res64: 1328E442E5045CC8 Time : 0.0 sec. user=mdettweiler [2016-07-04 12:19:36] 649*2^1434329-1 is not prime. Res64: C253D52BB8CA1E44 Time : 0.0 sec. user=mdettweiler [2016-07-04 12:19:36] 697*2^1434329-1 is not prime. Res64: B3BBBCCE35A79F7B Time : 0.0 sec. user=mdettweiler [2016-07-04 12:19:37] 847*2^1434329-1 is not prime. Res64: 295E5BB68E80BA3B Time : 0.0 sec. user=mdettweiler [2016-07-04 12:19:37] 879*2^1434329-1 is not prime. Res64: 4545AAEF1B9A347E Time : 0.0 sec. user=mdettweiler [2016-07-04 12:22:41] 797*2^1434330-1 is not prime. Res64: D9F4B2CE7090B5A5 Time : 0.0 sec. user=mdettweiler [2016-07-04 12:22:41] 861*2^1434330-1 is not prime. Res64: D3BF0FB8A0DBC27F Time : 0.0 sec. user=mdettweiler [2016-07-04 12:22:42] 873*2^1434330-1 is not prime. Res64: 795A34C94C941F64 Time : 0.0 sec. user=mdettweiler [2016-07-04 12:22:43] 893*2^1434330-1 is not prime. Res64: 75FA07FA5108E61D Time : 0.0 sec. user=mdettweiler [2016-07-04 12:22:44] 923*2^1434330-1 is not prime. Res64: 44960431CE641884 Time : 0.0 sec. user=mdettweiler [2016-07-04 12:23:52] 615*2^1434331-1 is not prime. Res64: B19D9A9731D0F084 Time : 0.0 sec. user=mdettweiler [2016-07-04 12:23:53] 673*2^1434331-1 is not prime. Res64: 3D5204DB8A42D753 Time : 0.0 sec. user=mdettweiler [2016-07-04 12:23:54] 775*2^1434331-1 is not prime. Res64: E31E92AAF14A9F18 Time : 0.0 sec. user=mdettweiler [2016-07-04 12:23:54] 849*2^1434331-1 is not prime. Res64: 5AAFB0D15D220AF9 Time : 0.0 sec. user=mdettweiler [2016-07-04 12:23:55] 889*2^1434331-1 is not prime. Res64: C3934F7FD350F55D Time : 0.0 sec. user=mdettweiler [2016-07-04 12:44:23] 931*2^1434331-1 is not prime. Res64: AED482109188C256 Time : 0.0 sec. user=mdettweiler [2016-07-04 12:44:23] 777*2^1434332-1 is not prime. Res64: 6A252E74BC1C9409 Time : 0.0 sec. user=mdettweiler [2016-07-04 12:44:24] 885*2^1434332-1 is not prime. Res64: 0F14CEE30941A685 Time : 0.0 sec. user=mdettweiler [2016-07-04 12:44:24] 893*2^1434332-1 is not prime. Res64: DA2952E007661731 Time : 0.0 sec. user=mdettweiler [2016-07-04 12:44:24] 909*2^1434332-1 is not prime. Res64: FCC84C5C26498EEE Time : 0.0 sec. user=mdettweiler [2016-07-04 13:04:44] 915*2^1434332-1 is not prime. Res64: 9A359D669A68A123 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:04:46] 935*2^1434332-1 is not prime. Res64: EDE8BC9261D583AC Time : 0.0 sec. user=mdettweiler [2016-07-04 13:04:48] 963*2^1434332-1 is not prime. Res64: 9FDECBB658158877 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:04:50] 607*2^1434333-1 is not prime. Res64: 90AC9E8D9946A830 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:04:54] 741*2^1434333-1 is not prime. Res64: 060E6D6088D55FE7 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:08:05] 745*2^1434333-1 is not prime. Res64: 9F990F9539C50338 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:08:06] 769*2^1434333-1 is not prime. Res64: F3D3AE3BD4E1C22F Time : 0.0 sec. user=mdettweiler [2016-07-04 13:08:08] 915*2^1434333-1 is not prime. Res64: 530D382BA3661756 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:08:10] 617*2^1434334-1 is not prime. Res64: AC6BDB5BDFD753F2 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:08:11] 723*2^1434334-1 is not prime. Res64: 7FE9175BA084FC57 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:09:31] 741*2^1434334-1 is not prime. Res64: 7B2649B64B06E65E Time : 0.0 sec. user=mdettweiler [2016-07-04 13:09:32] 825*2^1434334-1 is not prime. Res64: 1A620D53FAFAC8D1 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:09:33] 863*2^1434334-1 is not prime. Res64: 2167FDE5335B41A3 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:09:35] 643*2^1434335-1 is not prime. Res64: 30DC8638625D0DF3 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:09:36] 661*2^1434335-1 is not prime. Res64: 87B43CC1D088D068 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:30:07] 693*2^1434335-1 is not prime. Res64: 96FB6CCAAB22AC88 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:30:08] 789*2^1434335-1 is not prime. Res64: 630294BFFF305BB2 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:30:08] 843*2^1434335-1 is not prime. Res64: 4BD782D05C25A5F2 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:30:08] 979*2^1434335-1 is not prime. Res64: 97C06B8E4B632C9D Time : 0.0 sec. user=mdettweiler [2016-07-04 13:30:09] 981*2^1434335-1 is not prime. Res64: 1B5F5D3D2141534E Time : 0.0 sec. user=mdettweiler [2016-07-04 13:51:08] 609*2^1434336-1 is not prime. Res64: D7D0B5827783E60E Time : 0.0 sec. user=mdettweiler [2016-07-04 13:51:09] 615*2^1434336-1 is not prime. Res64: CAAACFD0776E38D0 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:51:09] 653*2^1434336-1 is not prime. Res64: A54A4483C0789216 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:51:10] 737*2^1434336-1 is not prime. Res64: 533B047E82D778C2 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:51:10] 747*2^1434336-1 is not prime. Res64: FF58F528953DBC95 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:54:20] 845*2^1434336-1 is not prime. Res64: 7025D25405C64FFB Time : 0.0 sec. user=mdettweiler [2016-07-04 13:54:21] 639*2^1434337-1 is not prime. Res64: 6D70390C1D2F076A Time : 0.0 sec. user=mdettweiler [2016-07-04 13:54:21] 685*2^1434337-1 is not prime. Res64: 49621710DDF42616 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:54:21] 691*2^1434337-1 is not prime. Res64: ABA15860C034A844 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:54:22] 771*2^1434337-1 is not prime. Res64: 63BD259985DA31A3 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:55:17] 777*2^1434337-1 is not prime. Res64: D74983D2912A6584 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:55:17] 979*2^1434337-1 is not prime. Res64: 36AE9167E6654D7E Time : 0.0 sec. user=mdettweiler [2016-07-04 13:55:18] 603*2^1434338-1 is not prime. Res64: 3703C333DCC0D446 Time : 0.0 sec. user=mdettweiler [2016-07-04 13:55:18] 623*2^1434338-1 is not prime. Res64: 58F970218EA4A3EC Time : 0.0 sec. user=mdettweiler [2016-07-04 13:55:19] 635*2^1434338-1 is not prime. Res64: C0F38041E1E5F67C Time : 0.0 sec. user=mdettweiler [2016-07-04 14:15:22] 893*2^1434338-1 is not prime. Res64: 3925542B48990503 Time : 0.0 sec. user=mdettweiler [2016-07-04 14:15:22] 921*2^1434338-1 is not prime. Res64: 41D409A4FA06AB7B Time : 0.0 sec. user=mdettweiler [2016-07-04 14:15:23] 993*2^1434338-1 is not prime. Res64: DB53548095D91A3C Time : 0.0 sec. user=mdettweiler [2016-07-04 14:15:23] 709*2^1434339-1 is not prime. Res64: FEE472DD887D50E5 Time : 0.0 sec. user=mdettweiler [2016-07-04 14:15:23] 753*2^1434339-1 is not prime. Res64: D941B08B56BA3C7B Time : 0.0 sec. user=mdettweiler [2016-07-04 14:36:04] 829*2^1434339-1 is not prime. Res64: EAB49B91E3944BCC Time : 0.0 sec. user=mdettweiler [2016-07-04 14:36:04] 973*2^1434339-1 is not prime. Res64: D5E4C31B028A999F Time : 0.0 sec. user=mdettweiler [2016-07-04 14:36:05] 609*2^1434340-1 is not prime. Res64: 3F126C4F213AAF68 Time : 0.0 sec. user=mdettweiler [2016-07-04 14:36:05] 777*2^1434340-1 is not prime. Res64: A1F79F841F7F6573 Time : 0.0 sec. user=mdettweiler [2016-07-04 14:36:05] 843*2^1434340-1 is not prime. Res64: D966AEBEE5068C60 Time : 0.0 sec. user=mdettweiler [2016-07-04 14:39:29] 855*2^1434340-1 is not prime. Res64: 6072C57AB06DD294 Time : 0.0 sec. user=mdettweiler [2016-07-04 14:39:29] 905*2^1434340-1 is not prime. Res64: B3FC79D589C0B73C Time : 0.0 sec. user=mdettweiler [2016-07-04 14:39:30] 923*2^1434340-1 is not prime. Res64: BD501A225A4DF60A Time : 0.0 sec. user=mdettweiler [2016-07-04 14:39:30] 965*2^1434340-1 is not prime. Res64: AEBF2ACE7109C25A Time : 0.0 sec. user=mdettweiler [2016-07-04 14:39:30] 987*2^1434340-1 is not prime. Res64: 87A6224EABE2E88C Time : 0.0 sec. user=mdettweiler [2016-07-04 14:40:24] 645*2^1434341-1 is not prime. Res64: 591D3512909FB529 Time : 0.0 sec. user=mdettweiler [2016-07-04 14:40:24] 715*2^1434341-1 is not prime. Res64: B80FFF4686016F5D Time : 0.0 sec. user=mdettweiler [2016-07-04 14:40:25] 741*2^1434341-1 is not prime. Res64: 047880647CC7D9B6 Time : 0.0 sec. user=mdettweiler [2016-07-04 14:40:25] 769*2^1434341-1 is not prime. Res64: AD45D1BC8476CA9C Time : 0.0 sec. user=mdettweiler [2016-07-04 14:40:25] 795*2^1434341-1 is not prime. Res64: 763361EE0CF1FF1A Time : 0.0 sec. user=mdettweiler [2016-07-04 15:00:42] 799*2^1434341-1 is not prime. Res64: 41CF3EE2253617FC Time : 0.0 sec. user=mdettweiler [2016-07-04 15:00:43] 957*2^1434341-1 is not prime. Res64: 4A422F7AFD3F9E1E Time : 0.0 sec. user=mdettweiler [2016-07-04 15:00:44] 671*2^1434342-1 is not prime. Res64: 198DD49942F480B1 Time : 0.0 sec. user=mdettweiler [2016-07-04 15:00:44] 705*2^1434342-1 is not prime. Res64: 53E276DBE9214582 Time : 0.0 sec. user=mdettweiler [2016-07-04 15:00:45] 725*2^1434342-1 is not prime. Res64: 98EB8120F28B9073 Time : 0.0 sec. user=mdettweiler [2016-07-04 15:21:07] 755*2^1434342-1 is not prime. Res64: 51B9F8D4CB04CBA4 Time : 0.0 sec. user=mdettweiler [2016-07-04 15:21:07] 885*2^1434342-1 is not prime. Res64: AD1210334E3C2219 Time : 0.0 sec. user=mdettweiler [2016-07-04 15:21:07] 965*2^1434342-1 is not prime. Res64: 0F2092AFB72EC892 Time : 0.0 sec. user=mdettweiler [2016-07-04 15:21:08] 983*2^1434342-1 is not prime. Res64: 96748E577149B81B Time : 0.0 sec. user=mdettweiler [2016-07-04 15:21:08] 1001*2^1434342-1 is not prime. Res64: AFBDA4224B11F72E Time : 0.0 sec. user=mdettweiler [2016-07-04 15:24:30] 619*2^1434343-1 is not prime. Res64: BA342686E584C3A7 Time : 0.0 sec. user=mdettweiler [2016-07-04 15:24:30] 663*2^1434343-1 is not prime. Res64: FEE8C391686600A5 Time : 0.0 sec. user=mdettweiler [2016-07-04 15:24:31] 771*2^1434343-1 is not prime. Res64: EF0937CD42C35BD5 Time : 0.0 sec. user=mdettweiler [2016-07-04 15:24:31] 775*2^1434343-1 is not prime. Res64: FBA536E2A586A8F8 Time : 0.0 sec. user=mdettweiler [2016-07-04 15:24:31] 783*2^1434343-1 is not prime. Res64: 0282FE71208CBBCB Time : 0.0 sec. user=mdettweiler [2016-07-04 15:25:30] 789*2^1434343-1 is not prime. Res64: ABFB75F3F78EF2AC Time : 0.0 sec. user=mdettweiler [2016-07-04 15:25:30] 793*2^1434343-1 is not prime. Res64: 5EED2E0EB469E514 Time : 0.0 sec. user=mdettweiler [2016-07-04 15:25:30] 891*2^1434343-1 is not prime. Res64: CCED91FA74FF1C64 Time : 0.0 sec. user=mdettweiler [2016-07-04 15:25:31] 895*2^1434343-1 is not prime. Res64: 00E933291D5F167F Time : 0.0 sec. user=mdettweiler [2016-07-04 15:25:31] 969*2^1434343-1 is not prime. Res64: 621238459BB57823 Time : 0.0 sec. user=mdettweiler [2016-07-04 15:45:41] 615*2^1434344-1 is not prime. Res64: 936818DED089FE01 Time : 0.0 sec. user=mdettweiler [2016-07-04 15:45:42] 629*2^1434344-1 is not prime. Res64: F97339D499A76A97 Time : 0.0 sec. user=mdettweiler [2016-07-04 15:45:42] 677*2^1434344-1 is not prime. Res64: 239FA2F45296DC81 Time : 0.0 sec. user=mdettweiler [2016-07-04 15:45:42] 837*2^1434344-1 is not prime. Res64: 231E0DA182E7A29B Time : 0.0 sec. user=mdettweiler [2016-07-04 15:45:43] 893*2^1434344-1 is not prime. Res64: 396B83AA6A46E7E5 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:06:11] 915*2^1434344-1 is not prime. Res64: B37A4500BA4D7701 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:06:12] 781*2^1434345-1 is not prime. Res64: A31571A90DF83F20 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:06:13] 795*2^1434345-1 is not prime. Res64: 041040C6ACF8B388 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:06:14] 919*2^1434345-1 is not prime. Res64: B853F88D1EC44CF5 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:06:15] 985*2^1434345-1 is not prime. Res64: A9A521DED90D3FA0 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:09:19] 657*2^1434346-1 is not prime. Res64: 8AD6EA55477C1F63 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:09:20] 675*2^1434346-1 is not prime. Res64: 9420B68294DF81EF Time : 0.0 sec. user=mdettweiler [2016-07-04 16:09:20] 747*2^1434346-1 is not prime. Res64: 86F260A5AF3E5FB3 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:09:21] 833*2^1434346-1 is not prime. Res64: 041D7E10160D35B7 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:09:21] 945*2^1434346-1 is not prime. Res64: D9C8C3D928788AAE Time : 0.0 sec. user=mdettweiler [2016-07-04 16:10:33] 603*2^1434347-1 is not prime. Res64: 4CD8E3D5E53AFE31 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:10:33] 693*2^1434347-1 is not prime. Res64: FABC143E8C6D0ED8 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:10:34] 801*2^1434347-1 is not prime. Res64: EDE150DF5976FAD6 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:10:34] 879*2^1434347-1 is not prime. Res64: 1B8C471744C1B520 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:10:35] 885*2^1434347-1 is not prime. Res64: 3454785C5A09871D Time : 0.0 sec. user=mdettweiler [2016-07-04 16:51:42] 845*2^1434348-1 is not prime. Res64: EF41DA3BE3F03515 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:51:43] 899*2^1434348-1 is not prime. Res64: A1C80B7FDFA52C08 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:51:43] 999*2^1434348-1 is not prime. Res64: 05A470DA11DFCC65 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:51:44] 639*2^1434349-1 is not prime. Res64: A73D3348E6BF7FE4 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:51:44] 825*2^1434349-1 is not prime. Res64: 5B5F88A4005FC7D2 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:54:47] 835*2^1434349-1 is not prime. Res64: 8FE36854CFE7C855 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:54:47] 967*2^1434349-1 is not prime. Res64: A196A022DC4CCF4B Time : 0.0 sec. user=mdettweiler [2016-07-04 16:54:48] 761*2^1434350-1 is not prime. Res64: 8EC0937EF98AB815 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:54:48] 851*2^1434350-1 is not prime. Res64: 570AD187B51C5447 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:54:48] 951*2^1434350-1 is not prime. Res64: DA6BE5B9CB337AFB Time : 0.0 sec. user=mdettweiler [2016-07-04 16:55:45] 609*2^1434351-1 is not prime. Res64: 1C191658805F9A29 Time : 0.0 sec. user=mdettweiler [2016-07-04 16:55:46] 783*2^1434351-1 is not prime. Res64: 2C761BE717D15DDF Time : 0.0 sec. user=mdettweiler [2016-07-04 16:55:46] 609*2^1434352-1 is not prime. Res64: C0DA2D16FDACC3ED Time : 0.0 sec. user=mdettweiler [2016-07-04 16:55:46] 713*2^1434352-1 is not prime. Res64: D5C4F6782807CB9B Time : 0.0 sec. user=mdettweiler [2016-07-04 16:55:47] 855*2^1434352-1 is not prime. Res64: 89CC6E14CB803676 Time : 0.0 sec. user=mdettweiler [2016-07-04 17:37:31] 863*2^1434352-1 is not prime. Res64: B97167DCCABE78CD Time : 0.0 sec. user=mdettweiler [2016-07-04 17:37:32] 627*2^1434353-1 is not prime. Res64: 8298B93AD1E5653E Time : 0.0 sec. user=mdettweiler [2016-07-04 17:37:32] 657*2^1434353-1 is not prime. Res64: F1568814F615989E Time : 0.0 sec. user=mdettweiler [2016-07-04 17:37:32] 679*2^1434353-1 is not prime. Res64: D49E9E715C6D7F24 Time : 0.0 sec. user=mdettweiler [2016-07-04 17:37:33] 699*2^1434353-1 is not prime. Res64: 8B6D30F80AC5BB0E Time : 0.0 sec. user=mdettweiler [2016-07-04 17:40:43] 727*2^1434353-1 is not prime. Res64: 611B4F9A13E88756 Time : 0.0 sec. user=mdettweiler [2016-07-04 17:40:43] 769*2^1434353-1 is not prime. Res64: 26A467C0F30C175C Time : 0.0 sec. user=mdettweiler [2016-07-04 17:40:43] 937*2^1434353-1 is not prime. Res64: AFDC561BE7B84798 Time : 0.0 sec. user=mdettweiler [2016-07-04 17:40:44] 949*2^1434353-1 is not prime. Res64: 205AFEE8AF460605 Time : 0.0 sec. user=mdettweiler [2016-07-04 17:40:44] 967*2^1434353-1 is not prime. Res64: AA69371E3AAB1A9F Time : 0.0 sec. user=mdettweiler [2016-07-04 17:41:26] 985*2^1434353-1 is not prime. Res64: 83B67521610455B4 Time : 0.0 sec. user=mdettweiler [2016-07-04 17:41:27] 651*2^1434354-1 is not prime. Res64: 118371A2E7144598 Time : 0.0 sec. user=mdettweiler [2016-07-04 17:41:27] 723*2^1434354-1 is not prime. Res64: 8E6E7C43D2B12A6E Time : 0.0 sec. user=mdettweiler [2016-07-04 17:41:27] 783*2^1434354-1 is not prime. Res64: B47A2668E33E15FC Time : 0.0 sec. user=mdettweiler [2016-07-04 17:41:28] 837*2^1434354-1 is not prime. Res64: 77C3D0C7217583A9 Time : 0.0 sec. user=mdettweiler [2016-07-04 18:23:23] 875*2^1434354-1 is not prime. Res64: 0F253063827F813D Time : 0.0 sec. user=mdettweiler [2016-07-04 18:23:24] 1001*2^1434354-1 is not prime. Res64: F472A41B47EC8B5B Time : 0.0 sec. user=mdettweiler [2016-07-04 18:23:24] 651*2^1434355-1 is not prime. Res64: F7B6662AEAF7532E Time : 0.0 sec. user=mdettweiler [2016-07-04 18:23:25] 691*2^1434355-1 is not prime. Res64: 67D947E26B2DC5C5 Time : 0.0 sec. user=mdettweiler [2016-07-04 18:23:25] 915*2^1434355-1 is not prime. Res64: 541362195F48865A Time : 0.0 sec. user=mdettweiler [2016-07-04 18:26:34] 919*2^1434355-1 is not prime. Res64: F230128ACAEA2C1A Time : 0.0 sec. user=mdettweiler [2016-07-04 18:26:35] 973*2^1434355-1 is not prime. Res64: BC5C811CAF4E9587 Time : 0.0 sec. user=mdettweiler [2016-07-04 18:26:36] 803*2^1434356-1 is not prime. Res64: F8D0FFA871D95BC2 Time : 0.0 sec. user=mdettweiler [2016-07-04 18:26:36] 833*2^1434356-1 is not prime. Res64: 0D391DEF69A84B44 Time : 0.0 sec. user=mdettweiler [2016-07-04 18:26:37] 897*2^1434356-1 is not prime. Res64: 05DC52DDFC8BF972 Time : 0.0 sec. user=mdettweiler [2016-07-04 18:26:59] 923*2^1434356-1 is not prime. Res64: 7FBE7A7EF8A77238 Time : 0.0 sec. user=mdettweiler [2016-07-04 18:26:59] 621*2^1434357-1 is not prime. Res64: AF328B4C5D31BF10 Time : 0.0 sec. user=mdettweiler [2016-07-04 18:27:00] 649*2^1434357-1 is not prime. Res64: 87B0AE3F2F9328C7 Time : 0.0 sec. user=mdettweiler [2016-07-04 18:27:01] 717*2^1434357-1 is not prime. Res64: A0899891B923D408 Time : 0.0 sec. user=mdettweiler [2016-07-04 18:27:01] 765*2^1434357-1 is not prime. Res64: 72C55969DA175287 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:09:06] 777*2^1434357-1 is not prime. Res64: C53560F5AD271F86 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:09:08] 825*2^1434357-1 is not prime. Res64: AEF9432BCB61F2E8 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:09:09] 849*2^1434357-1 is not prime. Res64: F42621C8D32D7B93 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:09:11] 867*2^1434357-1 is not prime. Res64: 3707C384705420E3 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:09:13] 891*2^1434357-1 is not prime. Res64: A1F6F6DE230E44C7 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:12:22] 975*2^1434357-1 is not prime. Res64: FFF7D9F9EADEE627 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:12:23] 663*2^1434358-1 is not prime. Res64: 5E89DBC9AF466A7F Time : 0.0 sec. user=mdettweiler [2016-07-04 19:12:27] 881*2^1434358-1 is not prime. Res64: 68A682485221B9D3 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:12:28] 933*2^1434358-1 is not prime. Res64: 18491C6293122ED8 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:12:29] 975*2^1434358-1 is not prime. Res64: 5336BC4A7AA2BD4E Time : 0.0 sec. user=mdettweiler [2016-07-04 19:12:44] 987*2^1434358-1 is not prime. Res64: 91304D80FB3F1FE9 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:12:45] 645*2^1434359-1 is not prime. Res64: D8D070D33218DCD2 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:12:46] 661*2^1434359-1 is not prime. Res64: 824D20D136EFCC6E Time : 0.0 sec. user=mdettweiler [2016-07-04 19:12:47] 735*2^1434359-1 is not prime. Res64: 6E52963F980641A9 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:12:48] 799*2^1434359-1 is not prime. Res64: 46E05E72412D18F1 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:55:15] 889*2^1434359-1 is not prime. Res64: EE1E2DD8571869D1 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:55:15] 921*2^1434359-1 is not prime. Res64: 49A0F732A06D8D54 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:55:16] 779*2^1434360-1 is not prime. Res64: 59F7B9083587C230 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:55:16] 825*2^1434360-1 is not prime. Res64: C755BD4F251A4C4B Time : 0.0 sec. user=mdettweiler [2016-07-04 19:55:16] 857*2^1434360-1 is not prime. Res64: 3D0772DB57CCB153 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:58:13] 879*2^1434360-1 is not prime. Res64: D6398BEB7EE57C7F Time : 0.0 sec. user=mdettweiler [2016-07-04 19:58:13] 983*2^1434360-1 is not prime. Res64: 12DF44A0177A7D42 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:58:14] 645*2^1434361-1 is not prime. Res64: 89BF9C1CF6D78956 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:58:14] 675*2^1434361-1 is not prime. Res64: 391DC19AE42E91BD Time : 0.0 sec. user=mdettweiler [2016-07-04 19:58:15] 715*2^1434361-1 is not prime. Res64: C551593BDD86AB52 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:58:35] 751*2^1434361-1 is not prime. Res64: A379C6BD11DA7030 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:58:35] 801*2^1434361-1 is not prime. Res64: 707763EFB4B3D52C Time : 0.0 sec. user=mdettweiler [2016-07-04 19:58:35] 871*2^1434361-1 is not prime. Res64: 3DFE73A54D91A692 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:58:36] 951*2^1434361-1 is not prime. Res64: BB10B12BC44FAA85 Time : 0.0 sec. user=mdettweiler [2016-07-04 19:58:36] 657*2^1434362-1 is not prime. Res64: 0436EB18AAD7AEFD Time : 0.0 sec. user=mdettweiler [2016-07-04 20:41:02] 675*2^1434362-1 is not prime. Res64: 71B641BBEA2A457C Time : 0.0 sec. user=mdettweiler [2016-07-04 20:41:03] 785*2^1434362-1 is not prime. Res64: E33F8EC08BF9B342 Time : 0.0 sec. user=mdettweiler [2016-07-04 20:41:03] 813*2^1434362-1 is not prime. Res64: 7A348D2BD80A91F3 Time : 0.0 sec. user=mdettweiler [2016-07-04 20:41:04] 825*2^1434362-1 is not prime. Res64: A3D7FF56D9FCF4AA Time : 0.0 sec. user=mdettweiler [2016-07-04 20:41:04] 923*2^1434362-1 is not prime. Res64: 69EFAF5B490670A1 Time : 0.0 sec. user=mdettweiler [2016-07-04 20:43:53] 941*2^1434362-1 is not prime. Res64: 64649FBB416D53A8 Time : 0.0 sec. user=mdettweiler [2016-07-04 20:43:54] 669*2^1434363-1 is not prime. Res64: 289FDC2D60DEEFF7 Time : 0.0 sec. user=mdettweiler [2016-07-04 20:43:54] 705*2^1434363-1 is not prime. Res64: A4DC78E75C1BF222 Time : 0.0 sec. user=mdettweiler [2016-07-04 20:43:54] 823*2^1434363-1 is not prime. Res64: 175F5B214D7EF58B Time : 0.0 sec. user=mdettweiler [2016-07-04 20:43:55] 861*2^1434363-1 is not prime. Res64: 57E1474ABA05A838 Time : 0.0 sec. user=mdettweiler [2016-07-04 20:44:21] 955*2^1434363-1 is not prime. Res64: 96F0772A90F167C3 Time : 0.0 sec. user=mdettweiler [2016-07-04 20:44:22] 609*2^1434364-1 is not prime. Res64: 5CD6F241AB89674B Time : 0.0 sec. user=mdettweiler [2016-07-04 20:44:22] 665*2^1434364-1 is not prime. Res64: D90FEFEFB83B6B59 Time : 0.0 sec. user=mdettweiler [2016-07-04 20:44:23] 743*2^1434364-1 is not prime. Res64: 8E62C36C39297E95 Time : 0.0 sec. user=mdettweiler [2016-07-04 20:44:23] 825*2^1434364-1 is not prime. Res64: 9F34BE2574C76CBC Time : 0.0 sec. user=mdettweiler [2016-07-04 20:48:12] 915*2^1434347-1 is not prime. Res64: 1EC60F9929B9B635 Time : 0.0 sec. user=mdettweiler [2016-07-04 20:48:12] 963*2^1434347-1 is not prime. Res64: 8BF6A02C632726E7 Time : 0.0 sec. user=mdettweiler [2016-07-04 20:48:13] 629*2^1434348-1 is not prime. Res64: 3FFD7315465CB7D5 Time : 0.0 sec. user=mdettweiler [2016-07-04 20:48:13] 699*2^1434348-1 is not prime. Res64: A1DAD1554EE6F0FF Time : 0.0 sec. user=mdettweiler [2016-07-04 20:48:13] 705*2^1434348-1 is not prime. Res64: F2C41CA466F3CCF9 Time : 0.0 sec. user=mdettweiler [2016-07-04 21:26:06] 855*2^1434364-1 is not prime. Res64: 8A91471C857F618F Time : 0.0 sec. user=mdettweiler [2016-07-04 21:26:06] 875*2^1434364-1 is not prime. Res64: 58A75AFF4E0BBFA1 Time : 0.0 sec. user=mdettweiler [2016-07-04 21:26:07] 675*2^1434365-1 is not prime. Res64: E4220B4F40695F15 Time : 0.0 sec. user=mdettweiler [2016-07-04 21:26:07] 699*2^1434365-1 is not prime. Res64: E99000FFF73C5D7D Time : 0.0 sec. user=mdettweiler [2016-07-04 21:26:07] 741*2^1434365-1 is not prime. Res64: 19C21EE275C354CD Time : 0.0 sec. user=mdettweiler [2016-07-04 21:29:08] 757*2^1434365-1 is not prime. Res64: C17A3C43594839F9 Time : 0.0 sec. user=mdettweiler [2016-07-04 21:29:09] 789*2^1434365-1 is not prime. Res64: 58DE1E21366060FC Time : 0.0 sec. user=mdettweiler [2016-07-04 21:29:09] 825*2^1434365-1 is not prime. Res64: 4A58F24A2430B176 Time : 0.0 sec. user=mdettweiler [2016-07-04 21:29:10] 831*2^1434365-1 is not prime. Res64: 863706384648B650 Time : 0.0 sec. user=mdettweiler [2016-07-04 21:29:10] 611*2^1434366-1 is not prime. Res64: 5F89579AC877FE98 Time : 0.0 sec. user=mdettweiler [2016-07-04 21:29:41] 713*2^1434366-1 is not prime. Res64: A83887E6A183DB88 Time : 0.0 sec. user=mdettweiler [2016-07-04 21:29:42] 725*2^1434366-1 is not prime. Res64: C9AF675D003F6ADE Time : 0.0 sec. user=mdettweiler [2016-07-04 21:29:42] 815*2^1434366-1 is not prime. Res64: 7A2D7C31556017C8 Time : 0.0 sec. user=mdettweiler [2016-07-04 21:29:43] 843*2^1434366-1 is not prime. Res64: FF9DA09FD514E399 Time : 0.0 sec. user=mdettweiler [2016-07-04 21:29:43] 963*2^1434366-1 is not prime. Res64: D7BB30E422895AC0 Time : 0.0 sec. user=mdettweiler [2016-07-04 21:33:13] 993*2^1434366-1 is not prime. Res64: 8EB16F69DD0A3C32 Time : 0.0 sec. user=mdettweiler [2016-07-04 21:33:13] 619*2^1434367-1 is not prime. Res64: 511EA41D910E1E3B Time : 0.0 sec. user=mdettweiler [2016-07-04 21:33:14] 673*2^1434367-1 is not prime. Res64: 40D19A5719CB0927 Time : 0.0 sec. user=mdettweiler [2016-07-04 21:33:14] 885*2^1434367-1 is not prime. Res64: 891139F601147CBE Time : 0.0 sec. user=mdettweiler [2016-07-04 21:33:14] 933*2^1434367-1 is not prime. Res64: 37B52DCE4AC69C0C Time : 0.0 sec. user=mdettweiler [2016-07-04 22:11:04] 951*2^1434367-1 is not prime. Res64: F67E1F9DEB6257AC Time : 0.0 sec. user=mdettweiler [2016-07-04 22:11:04] 973*2^1434367-1 is not prime. Res64: CC8A476738577757 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:11:05] 855*2^1434368-1 is not prime. Res64: 7C1E3B6D28B4422A Time : 0.0 sec. user=mdettweiler [2016-07-04 22:11:05] 945*2^1434368-1 is not prime. Res64: B007A795CA2FAB3C Time : 0.0 sec. user=mdettweiler [2016-07-04 22:11:06] 969*2^1434368-1 is not prime. Res64: 3EEFFFB03A7A75D9 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:14:20] 681*2^1434369-1 is not prime. Res64: F3AF2FC09CA7642B Time : 0.0 sec. user=mdettweiler [2016-07-04 22:14:20] 787*2^1434369-1 is not prime. Res64: C4E420A33FA9021E Time : 0.0 sec. user=mdettweiler [2016-07-04 22:14:21] 817*2^1434369-1 is not prime. Res64: 39FDEEE3BFF0B41B Time : 0.0 sec. user=mdettweiler [2016-07-04 22:14:21] 921*2^1434369-1 is not prime. Res64: 45E73B5C1B601D28 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:14:22] 717*2^1434370-1 is not prime. Res64: 05EE3315466501F5 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:14:56] 777*2^1434370-1 is not prime. Res64: 6A50C1EA22D38169 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:14:56] 945*2^1434370-1 is not prime. Res64: ACB32EC663087820 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:14:57] 1001*2^1434370-1 is not prime. Res64: D1F75E20F316B7F7 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:14:57] 609*2^1434371-1 is not prime. Res64: B8B8E6A811E8DD87 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:14:58] 615*2^1434371-1 is not prime. Res64: 4DAA95A2E43F803B Time : 0.0 sec. user=mdettweiler [2016-07-04 22:18:26] 685*2^1434371-1 is not prime. Res64: 7A4B8CA5DD89B470 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:18:26] 759*2^1434371-1 is not prime. Res64: 42716B2DEBDC7A48 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:18:27] 813*2^1434371-1 is not prime. Res64: EC89E0070BEC7041 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:18:27] 885*2^1434371-1 is not prime. Res64: 392E637DDD595B34 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:18:28] 981*2^1434371-1 is not prime. Res64: E6E8298B1E8E4D88 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:56:00] 627*2^1434372-1 is not prime. Res64: 4BB88DF8F65239FB Time : 0.0 sec. user=mdettweiler [2016-07-04 22:56:01] 629*2^1434372-1 is not prime. Res64: 271F8337A48025EF Time : 0.0 sec. user=mdettweiler [2016-07-04 22:56:01] 693*2^1434372-1 is not prime. Res64: 2F8E0D58F8AEF04C Time : 0.0 sec. user=mdettweiler [2016-07-04 22:56:02] 737*2^1434372-1 is not prime. Res64: FDB03193D0F49141 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:56:02] 837*2^1434372-1 is not prime. Res64: CB69DCC53F2D1EEB Time : 0.0 sec. user=mdettweiler [2016-07-04 22:59:37] 887*2^1434372-1 is not prime. Res64: 6BA23857908F6148 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:59:37] 933*2^1434372-1 is not prime. Res64: 0C8A6E30AC3BD3A1 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:59:37] 609*2^1434373-1 is not prime. Res64: 93F8D6666A95281A Time : 0.0 sec. user=mdettweiler [2016-07-04 22:59:38] 855*2^1434373-1 is not prime. Res64: 31CA0F6E0C5B91B8 Time : 0.0 sec. user=mdettweiler [2016-07-04 22:59:38] 885*2^1434373-1 is not prime. Res64: 5243FADF5331CC9B Time : 0.0 sec. user=mdettweiler [2016-07-04 23:00:13] 987*2^1434373-1 is not prime. Res64: D0DE7397BC45E34B Time : 0.0 sec. user=mdettweiler [2016-07-04 23:00:14] 651*2^1434374-1 is not prime. Res64: 794247B87AEDFD55 Time : 0.0 sec. user=mdettweiler [2016-07-04 23:00:14] 741*2^1434374-1 is not prime. Res64: A704E90281DDA63B Time : 0.0 sec. user=mdettweiler [2016-07-04 23:00:14] 755*2^1434374-1 is not prime. Res64: E6B92907425E4A55 Time : 0.0 sec. user=mdettweiler [2016-07-04 23:00:15] 785*2^1434374-1 is not prime. Res64: 016E88866FFFACFA Time : 0.0 sec. user=mdettweiler [2016-07-04 23:03:39] 923*2^1434374-1 is not prime. Res64: 752533DC41B2D818 Time : 0.0 sec. user=mdettweiler [2016-07-04 23:03:40] 765*2^1434375-1 is not prime. Res64: 4841BB57607803CC Time : 0.0 sec. user=mdettweiler [2016-07-04 23:03:41] 829*2^1434375-1 is not prime. Res64: AE02AB8EFA302B0E Time : 0.0 sec. user=mdettweiler [2016-07-04 23:03:42] 999*2^1434375-1 is not prime. Res64: 608ABA727224EE33 Time : 0.0 sec. user=mdettweiler [2016-07-04 23:03:44] 645*2^1434376-1 is not prime. Res64: 49BF8F2AE1400921 Time : 0.0 sec. user=mdettweiler [2016-07-04 23:40:53] 707*2^1434376-1 is not prime. Res64: D7FA02F6E9A85331 Time : 0.0 sec. user=mdettweiler [2016-07-04 23:40:53] 719*2^1434376-1 is not prime. Res64: 3036574A6AE52100 Time : 0.0 sec. user=mdettweiler [2016-07-04 23:40:54] 759*2^1434376-1 is not prime. Res64: C6FEF7D10DCFA9CF Time : 0.0 sec. user=mdettweiler [2016-07-04 23:40:54] 843*2^1434376-1 is not prime. Res64: 203B4DC63097B3C6 Time : 0.0 sec. user=mdettweiler [2016-07-04 23:40:55] 869*2^1434376-1 is not prime. Res64: 178AC4E72CA32468 Time : 0.0 sec. user=mdettweiler [2016-07-04 23:44:41] 619*2^1434377-1 is not prime. Res64: 23DD815BEE4FCBCC Time : 0.0 sec. user=mdettweiler [2016-07-04 23:44:42] 631*2^1434377-1 is not prime. Res64: 74EE02247CC80965 Time : 0.0 sec. user=mdettweiler [2016-07-04 23:44:42] 637*2^1434377-1 is not prime. Res64: DC85E9957813E0FD Time : 0.0 sec. user=mdettweiler [2016-07-04 23:44:42] 699*2^1434377-1 is not prime. Res64: 48673A8A67210C1F Time : 0.0 sec. user=mdettweiler [2016-07-04 23:44:43] 711*2^1434377-1 is not prime. Res64: 5354D44725EAE017 Time : 0.0 sec. user=mdettweiler [2016-07-04 23:45:23] 735*2^1434377-1 is not prime. Res64: 71FDA40E3291B4CB Time : 0.0 sec. user=mdettweiler [2016-07-04 23:45:23] 829*2^1434377-1 is not prime. Res64: B263EC2219E487D5 Time : 0.0 sec. user=mdettweiler [2016-07-04 23:45:23] 997*2^1434377-1 is not prime. Res64: 39628276AF90B3AC Time : 0.0 sec. user=mdettweiler [2016-07-04 23:45:24] 705*2^1434378-1 is not prime. Res64: 4B668297F5111F1A Time : 0.0 sec. user=mdettweiler [2016-07-04 23:45:24] 861*2^1434378-1 is not prime. Res64: AFB0EA0E4C8836BD Time : 0.0 sec. user=mdettweiler [2016-07-04 23:48:54] 793*2^1434379-1 is not prime. Res64: 3A964553365F791E Time : 0.0 sec. user=mdettweiler [2016-07-04 23:48:54] 843*2^1434379-1 is not prime. Res64: 10E63D01DAA65814 Time : 0.0 sec. user=mdettweiler [2016-07-04 23:48:55] 859*2^1434379-1 is not prime. Res64: C777163D276E3C27 Time : 0.0 sec. user=mdettweiler [2016-07-04 23:48:55] 675*2^1434380-1 is not prime. Res64: A1E81C2BA7B8929D Time : 0.0 sec. user=mdettweiler [2016-07-04 23:48:56] 677*2^1434380-1 is not prime. Res64: 6DAB95C6FFB4FD5E Time : 0.0 sec.