user=mdettweiler [2015-09-10 00:08:50] 745*2^1408863-1 is not prime. Res64: AA25881E6B186B31 Time : 0.0 sec. user=mdettweiler [2015-09-10 00:08:51] 825*2^1408863-1 is not prime. Res64: FC97901290AA13D5 Time : 0.0 sec. user=mdettweiler [2015-09-10 00:08:51] 775*2^1408863-1 is not prime. Res64: DFB77A076740B90B Time : 0.0 sec. user=mdettweiler [2015-09-10 00:08:51] 873*2^1408863-1 is not prime. Res64: 4F3D218A15DD67BC Time : 0.0 sec. user=mdettweiler [2015-09-10 00:08:56] 919*2^1408863-1 is not prime. Res64: 915834A349A7F34D Time : 0.0 sec. user=mdettweiler [2015-09-10 00:08:57] 949*2^1408863-1 is not prime. Res64: 0567D239B5A8297E Time : 0.0 sec. user=mdettweiler [2015-09-10 00:26:15] 969*2^1408863-1 is not prime. Res64: 2DEA69B83A014273 Time : 0.0 sec. user=mdettweiler [2015-09-10 00:26:15] 605*2^1408864-1 is not prime. Res64: 7D8B1DF341D4A5CD Time : 0.0 sec. user=mdettweiler [2015-09-10 00:26:15] 857*2^1408864-1 is not prime. Res64: AF0F534ED0A1C95C Time : 0.0 sec. user=mdettweiler [2015-09-10 00:26:16] 759*2^1408864-1 is not prime. Res64: 998C521657304C6F Time : 0.0 sec. user=mdettweiler [2015-09-10 00:26:16] 887*2^1408864-1 is not prime. Res64: 7220D52F43765862 Time : 0.0 sec. user=mdettweiler [2015-09-10 00:26:16] 813*2^1408864-1 is not prime. Res64: 38DA9E04F65A618D Time : 0.0 sec. user=mdettweiler [2015-09-10 00:43:35] 865*2^1408865-1 is not prime. Res64: 4FA8F299237D23CE Time : 0.0 sec. user=mdettweiler [2015-09-10 00:43:35] 717*2^1408866-1 is not prime. Res64: 20CCCC7FBF549D76 Time : 0.0 sec. user=mdettweiler [2015-09-10 00:43:35] 705*2^1408865-1 is not prime. Res64: EC23B7016FCB0A54 Time : 0.0 sec. user=mdettweiler [2015-09-10 00:43:35] 641*2^1408866-1 is not prime. Res64: 9B9B9BA318665531 Time : 0.0 sec. user=mdettweiler [2015-09-10 00:43:36] 741*2^1408866-1 is not prime. Res64: 9E4C8832033EF67A Time : 0.0 sec. user=mdettweiler [2015-09-10 00:43:36] 759*2^1408865-1 is not prime. Res64: 5A19ABB8AD2C38FE Time : 0.0 sec. user=mdettweiler [2015-09-10 01:00:56] 893*2^1408866-1 is not prime. Res64: 7E0142990F121AFB Time : 0.0 sec. user=mdettweiler [2015-09-10 01:00:57] 829*2^1408867-1 is not prime. Res64: 5D294C5C0C44FCCD Time : 0.0 sec. user=mdettweiler [2015-09-10 01:00:58] 705*2^1408867-1 is not prime. Res64: 1F9BF66010CAEFD4 Time : 0.0 sec. user=mdettweiler [2015-09-10 01:00:58] 859*2^1408867-1 is not prime. Res64: 5BD27487FF3C08DF Time : 0.0 sec. user=mdettweiler [2015-09-10 01:00:59] 835*2^1408867-1 is not prime. Res64: 06545C0BBABF6099 Time : 0.0 sec. user=mdettweiler [2015-09-10 01:00:59] 919*2^1408867-1 is not prime. Res64: 8B276748556A30AD Time : 0.0 sec. user=juhehe [2015-09-10 01:12:50] 783*2^1408866-1 is not prime. Res64: A27412D1E07D49CB Time : 0.0 sec. user=mdettweiler [2015-09-10 01:18:29] 707*2^1408868-1 is not prime. Res64: CEA9BF45BF40B6F2 Time : 0.0 sec. user=mdettweiler [2015-09-10 01:18:29] 925*2^1408867-1 is not prime. Res64: 4FE9060D33AAFC1B Time : 0.0 sec. user=mdettweiler [2015-09-10 01:18:30] 753*2^1408868-1 is not prime. Res64: 02ABC993D08B3F95 Time : 0.0 sec. user=mdettweiler [2015-09-10 01:18:30] 975*2^1408867-1 is not prime. Res64: D6C9E0571955F710 Time : 0.0 sec. user=mdettweiler [2015-09-10 01:18:30] 759*2^1408868-1 is not prime. Res64: 7AF27C778DE1A725 Time : 0.0 sec. user=mdettweiler [2015-09-10 01:18:31] 773*2^1408868-1 is not prime. Res64: 29AB90337472081D Time : 0.0 sec. user=juhehe [2015-09-10 03:06:12] 657*2^1408869-1 is not prime. Res64: 468B8052F7508DE5 Time : 0.0 sec. user=juhehe [2015-09-10 04:22:55] 685*2^1408869-1 is not prime. Res64: B9E85FFA45412A2E Time : 0.0 sec. user=juhehe [2015-09-10 06:03:10] 789*2^1408869-1 is not prime. Res64: 8279E53082E90207 Time : 0.0 sec. user=juhehe [2015-09-10 06:17:30] 811*2^1408869-1 is not prime. Res64: AE43B0803CC114FA Time : 0.0 sec. user=juhehe [2015-09-10 08:12:29] 861*2^1408869-1 is not prime. Res64: 8E990EF56C1C19E3 Time : 0.0 sec. user=juhehe [2015-09-10 10:07:51] 603*2^1408870-1 is not prime. Res64: 7FC1881A2B03698C Time : 0.0 sec. user=juhehe [2015-09-10 12:13:08] 653*2^1408870-1 is not prime. Res64: F4B245FD3B68C261 Time : 0.0 sec. user=juhehe [2015-09-10 13:29:22] 657*2^1408870-1 is not prime. Res64: 069F0188FF20F071 Time : 0.0 sec. user=juhehe [2015-09-10 15:22:30] 663*2^1408870-1 is not prime. Res64: 11496CEC4DE93E40 Time : 0.0 sec. user=juhehe [2015-09-10 17:21:17] 665*2^1408870-1 is not prime. Res64: 3FA666CF4BACB964 Time : 0.0 sec. user=juhehe [2015-09-10 18:02:33] 813*2^1408870-1 is not prime. Res64: C34B4C2E4FB64CBC Time : 0.0 sec. user=juhehe [2015-09-10 19:14:27] 897*2^1408870-1 is not prime. Res64: 945606290D2E4E82 Time : 0.0 sec. user=mdettweiler [2015-09-10 19:24:53] 875*2^1408868-1 is not prime. Res64: 484FE8F5595E4320 Time : 0.0 sec. user=mdettweiler [2015-09-10 19:24:53] 885*2^1408868-1 is not prime. Res64: 4C97B214A020349F Time : 0.0 sec. user=mdettweiler [2015-09-10 19:32:08] 995*2^1408868-1 is not prime. Res64: 377679D133F84463 Time : 0.0 sec. user=mdettweiler [2015-09-10 19:32:08] 649*2^1408869-1 is not prime. Res64: 492C33167FB98B06 Time : 0.0 sec. user=mdettweiler [2015-09-10 19:43:14] 957*2^1408870-1 is not prime. Res64: DD15858CDB903F2A Time : 0.0 sec. user=mdettweiler [2015-09-10 19:43:15] 675*2^1408871-1 is not prime. Res64: E8BCCD7883E2F178 Time : 0.0 sec. user=mdettweiler [2015-09-10 19:50:24] 703*2^1408871-1 is not prime. Res64: BF0B104C23628933 Time : 0.0 sec. user=mdettweiler [2015-09-10 19:50:25] 753*2^1408871-1 is not prime. Res64: 4ACC47A78D89E1EA Time : 0.0 sec. user=mdettweiler [2015-09-10 20:01:19] 969*2^1408871-1 is not prime. Res64: 6929C678241A4616 Time : 0.0 sec. user=mdettweiler [2015-09-10 20:01:19] 993*2^1408871-1 is not prime. Res64: 79716EF6B8AB31DB Time : 0.0 sec. user=mdettweiler [2015-09-10 20:02:34] 833*2^1408868-1 is not prime. Res64: 422462347B514EF8 Time : 0.0 sec. user=mdettweiler [2015-09-10 20:02:36] 837*2^1408868-1 is not prime. Res64: 5FFF259C66F1B362 Time : 0.0 sec. user=mdettweiler [2015-09-10 20:08:18] 635*2^1408872-1 is not prime. Res64: 6E134964E1E53BD4 Time : 0.0 sec. user=mdettweiler [2015-09-10 20:08:18] 669*2^1408872-1 is not prime. Res64: DF7B5A4F41F9CCDB Time : 0.0 sec. user=mdettweiler [2015-09-10 20:19:00] 737*2^1408872-1 is not prime. Res64: AE856D1211B6A28C Time : 0.0 sec. user=mdettweiler [2015-09-10 20:19:00] 765*2^1408872-1 is not prime. Res64: 09C87C3E9478B234 Time : 0.0 sec. user=mdettweiler [2015-09-10 20:20:11] 959*2^1408872-1 is not prime. Res64: 26F30F57FDF8DDC3 Time : 0.0 sec. user=mdettweiler [2015-09-10 20:20:11] 639*2^1408873-1 is not prime. Res64: C2F404B93BC1C84D Time : 0.0 sec. user=mdettweiler [2015-09-10 20:25:55] 685*2^1408873-1 is not prime. Res64: B9A7706B2215F7A3 Time : 0.0 sec. user=mdettweiler [2015-09-10 20:25:56] 861*2^1408873-1 is not prime. Res64: 80F389F448831BED Time : 0.0 sec. user=mdettweiler [2015-09-10 20:36:36] 945*2^1408873-1 is not prime. Res64: 238F5CBE5DD56585 Time : 0.0 sec. user=mdettweiler [2015-09-10 20:36:36] 615*2^1408874-1 is not prime. Res64: B7EE5ADE152E5719 Time : 0.0 sec. user=mdettweiler [2015-09-10 20:37:47] 617*2^1408874-1 is not prime. Res64: B1898131F50374D4 Time : 0.0 sec. user=mdettweiler [2015-09-10 20:37:48] 651*2^1408874-1 is not prime. Res64: 2595489A0921F69B Time : 0.0 sec. user=mdettweiler [2015-09-10 20:43:29] 675*2^1408874-1 is not prime. Res64: 80557EC34373ED13 Time : 0.0 sec. user=mdettweiler [2015-09-10 20:43:30] 743*2^1408874-1 is not prime. Res64: D842B2A572631EFB Time : 0.0 sec. user=mdettweiler [2015-09-10 20:54:13] 927*2^1408874-1 is not prime. Res64: C0E7D21852ACC16B Time : 0.0 sec. user=mdettweiler [2015-09-10 20:54:14] 685*2^1408875-1 is not prime. Res64: 9DDAE525D94806BF Time : 0.0 sec. user=mdettweiler [2015-09-10 20:55:24] 765*2^1408875-1 is not prime. Res64: FCB1CF38AF41DD9D Time : 0.0 sec. user=mdettweiler [2015-09-10 20:55:24] 781*2^1408875-1 is not prime. Res64: E07433BEA86DB751 Time : 0.0 sec. user=mdettweiler [2015-09-10 21:01:07] 921*2^1408875-1 is not prime. Res64: BA9A224DD412649D Time : 0.0 sec. user=mdettweiler [2015-09-10 21:01:07] 961*2^1408875-1 is not prime. Res64: 580A75E58D7BEBFF Time : 0.0 sec. user=mdettweiler [2015-09-10 21:11:53] 969*2^1408875-1 is not prime. Res64: 45CC8105483628CD Time : 0.0 sec. user=mdettweiler [2015-09-10 21:11:54] 647*2^1408876-1 is not prime. Res64: 67D56A878504890D Time : 0.0 sec. user=juhehe [2015-09-10 21:12:03] 815*2^1408874-1 is not prime. Res64: 7C6FDD92038C08A6 Time : 0.0 sec. user=mdettweiler [2015-09-10 21:13:06] 717*2^1408876-1 is not prime. Res64: 574C62ACE997A559 Time : 0.0 sec. user=mdettweiler [2015-09-10 21:13:07] 777*2^1408876-1 is not prime. Res64: 6C3B7E18A2623931 Time : 0.0 sec. user=mdettweiler [2015-09-10 21:18:48] 875*2^1408876-1 is not prime. Res64: 8029ABC8D6EDD7C9 Time : 0.0 sec. user=mdettweiler [2015-09-10 21:18:49] 903*2^1408876-1 is not prime. Res64: DAF5DF0DD5D656DC Time : 0.0 sec. user=mdettweiler [2015-09-10 21:29:33] 757*2^1408877-1 is not prime. Res64: 8AD1662DA223EAFA Time : 0.0 sec. user=mdettweiler [2015-09-10 21:29:34] 871*2^1408877-1 is not prime. Res64: 73FFFB36C8B4E38B Time : 0.0 sec. user=mdettweiler [2015-09-10 21:30:48] 901*2^1408877-1 is not prime. Res64: 9BCA019506804645 Time : 0.0 sec. user=mdettweiler [2015-09-10 21:30:49] 991*2^1408877-1 is not prime. Res64: F4B68A2513EFAB99 Time : 0.0 sec. user=mdettweiler [2015-09-10 21:36:34] 713*2^1408878-1 is not prime. Res64: 80CF10412EAE6034 Time : 0.0 sec. user=mdettweiler [2015-09-10 21:36:35] 725*2^1408878-1 is not prime. Res64: 9A97BE7756619BF8 Time : 0.0 sec. user=mdettweiler [2015-09-10 21:47:14] 777*2^1408878-1 is not prime. Res64: 9A2B6C443354691E Time : 0.0 sec. user=mdettweiler [2015-09-10 21:47:14] 791*2^1408878-1 is not prime. Res64: A18D92F6F1C5B202 Time : 0.0 sec. user=mdettweiler [2015-09-10 21:48:30] 861*2^1408878-1 is not prime. Res64: 3C9512AFF65497EC Time : 0.0 sec. user=mdettweiler [2015-09-10 21:48:31] 893*2^1408878-1 is not prime. Res64: 7B1C24822E11967B Time : 0.0 sec. user=mdettweiler [2015-09-10 21:54:18] 915*2^1408878-1 is not prime. Res64: 773FEA663621C42E Time : 0.0 sec. user=mdettweiler [2015-09-10 21:54:19] 1001*2^1408878-1 is not prime. Res64: B221B9FECFEB4E29 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:05:02] 615*2^1408879-1 is not prime. Res64: F2D4E54028243FF3 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:05:03] 645*2^1408879-1 is not prime. Res64: E52CDC17E0E01BA6 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:06:17] 763*2^1408879-1 is not prime. Res64: 7913332C954B31E7 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:06:17] 769*2^1408879-1 is not prime. Res64: BF1BABEE0CB259B2 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:12:04] 813*2^1408879-1 is not prime. Res64: 0336B19FCA37F224 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:12:04] 829*2^1408879-1 is not prime. Res64: 3A977A4B5E6840CE Time : 0.0 sec. user=mdettweiler [2015-09-10 22:23:09] 843*2^1408879-1 is not prime. Res64: 0469CE27D4161155 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:23:09] 719*2^1408880-1 is not prime. Res64: 4E2A3003D6A98B19 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:24:09] 725*2^1408880-1 is not prime. Res64: A019FEBE32CC4AB7 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:24:09] 767*2^1408880-1 is not prime. Res64: BF7E29372E224C91 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:29:53] 789*2^1408880-1 is not prime. Res64: 578007EAB9AFC035 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:29:53] 825*2^1408880-1 is not prime. Res64: 7A105F553E62FD68 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:40:58] 669*2^1408881-1 is not prime. Res64: 4CADE8830EA2FD05 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:40:59] 705*2^1408881-1 is not prime. Res64: 7C3D86A5862085CA Time : 0.0 sec. user=mdettweiler [2015-09-10 22:42:02] 777*2^1408881-1 is not prime. Res64: 319F69A8016218E0 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:42:02] 795*2^1408881-1 is not prime. Res64: D13AD4EA70A9B116 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:47:41] 921*2^1408881-1 is not prime. Res64: 67341AFDD942C1CA Time : 0.0 sec. user=mdettweiler [2015-09-10 22:47:41] 999*2^1408881-1 is not prime. Res64: F11F7E9DE148C7DD Time : 0.0 sec. user=mdettweiler [2015-09-10 22:58:46] 623*2^1408882-1 is not prime. Res64: 5B12A8390501D6F2 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:58:47] 657*2^1408882-1 is not prime. Res64: 06C046C40E4ADF67 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:59:53] 677*2^1408882-1 is not prime. Res64: 66FCDD1619B206D8 Time : 0.0 sec. user=mdettweiler [2015-09-10 22:59:53] 723*2^1408882-1 is not prime. Res64: B295FF338A585B3F Time : 0.0 sec. user=mdettweiler [2015-09-10 23:05:33] 873*2^1408882-1 is not prime. Res64: 4453931492DC22E1 Time : 0.0 sec. user=mdettweiler [2015-09-10 23:05:35] 619*2^1408883-1 is not prime. Res64: 8023B3A3ADF4A1E2 Time : 0.0 sec. user=juhehe [2015-09-10 23:06:24] 871*2^1408881-1 is not prime. Res64: 350805434539AED2 Time : 0.0 sec. user=mdettweiler [2015-09-10 23:16:35] 981*2^1408883-1 is not prime. Res64: 7E6E215D9342A869 Time : 0.0 sec. user=mdettweiler [2015-09-10 23:16:35] 789*2^1408884-1 is not prime. Res64: 3AC4647AED8E526D Time : 0.0 sec. user=mdettweiler [2015-09-10 23:17:39] 959*2^1408884-1 is not prime. Res64: 35FEE296F3175F3F Time : 0.0 sec. user=mdettweiler [2015-09-10 23:17:39] 983*2^1408884-1 is not prime. Res64: F5F105DCEC85FBDE Time : 0.0 sec. user=mdettweiler [2015-09-10 23:23:32] 993*2^1408884-1 is not prime. Res64: CCFBDF0CA2A09397 Time : 0.0 sec. user=mdettweiler [2015-09-10 23:23:32] 625*2^1408885-1 is not prime. Res64: 12F86FA917DD4AAF Time : 0.0 sec. user=mdettweiler [2015-09-10 23:34:20] 765*2^1408885-1 is not prime. Res64: E0A7A7F32F8CCA5A Time : 0.0 sec. user=mdettweiler [2015-09-10 23:34:20] 847*2^1408885-1 is not prime. Res64: F3D044EDB5365B5C Time : 0.0 sec. user=mdettweiler [2015-09-10 23:35:28] 657*2^1408886-1 is not prime. Res64: B07350362CD59F65 Time : 0.0 sec. user=mdettweiler [2015-09-10 23:35:29] 875*2^1408886-1 is not prime. Res64: 3A2CA7BC4FF8D00F Time : 0.0 sec. user=mdettweiler [2015-09-10 23:41:19] 917*2^1408886-1 is not prime. Res64: 4B69DA9519F5B98E Time : 0.0 sec. user=mdettweiler [2015-09-10 23:41:20] 921*2^1408886-1 is not prime. Res64: 52A84EA77C5E6BF2 Time : 0.0 sec. user=mdettweiler [2015-09-10 23:52:04] 649*2^1408887-1 is not prime. Res64: EAB1579EAA7E3CD1 Time : 0.0 sec. user=mdettweiler [2015-09-10 23:52:04] 693*2^1408887-1 is not prime. Res64: 07BE52F628281AEA Time : 0.0 sec. user=mdettweiler [2015-09-10 23:53:11] 955*2^1408887-1 is not prime. Res64: FE053FFD6BDF83B9 Time : 0.0 sec. user=mdettweiler [2015-09-10 23:53:12] 615*2^1408888-1 is not prime. Res64: 38AF8218AB5B54E7 Time : 0.0 sec. user=mdettweiler [2015-09-10 23:59:03] 909*2^1408888-1 is not prime. Res64: 5C038D39809D25EB Time : 0.0 sec. user=mdettweiler [2015-09-10 23:59:04] 947*2^1408888-1 is not prime. Res64: 103BB22EA89E71BE Time : 0.0 sec.