user=mdettweiler [2013-01-13 00:10:30] 875*2^1239164-1 is not prime. Res64: 002EEA87B51C44EE Time : 0.0 sec. user=mdettweiler [2013-01-13 00:10:32] 789*2^1239165-1 is not prime. Res64: 2310F8FD935EB6BE Time : 0.0 sec. user=mdettweiler [2013-01-13 00:10:32] 765*2^1239165-1 is not prime. Res64: CDA0BC27F8E1A291 Time : 0.0 sec. user=mdettweiler [2013-01-13 00:10:33] 805*2^1239165-1 is not prime. Res64: 5C393C3241D9E6F4 Time : 0.0 sec. user=mdettweiler [2013-01-13 00:27:58] 815*2^1239166-1 is not prime. Res64: 245FCCBC6C944E0C Time : 0.0 sec. user=mdettweiler [2013-01-13 00:27:58] 833*2^1239166-1 is not prime. Res64: 36EDFC142E68B3AC Time : 0.0 sec. user=mdettweiler [2013-01-13 00:28:02] 961*2^1239165-1 is not prime. Res64: 83C5DF04C8EE7B8C Time : 0.0 sec. user=mdettweiler [2013-01-13 00:28:03] 635*2^1239166-1 is not prime. Res64: EFD9D5B286AE1EF3 Time : 0.0 sec. user=mdettweiler [2013-01-13 00:45:18] 917*2^1239166-1 is not prime. Res64: E39002F0E3EA32AC Time : 0.0 sec. user=mdettweiler [2013-01-13 00:45:19] 945*2^1239166-1 is not prime. Res64: 6D4ABF408397F959 Time : 0.0 sec. user=mdettweiler [2013-01-13 00:45:23] 619*2^1239167-1 is not prime. Res64: 22F9EAD153585D74 Time : 0.0 sec. user=mdettweiler [2013-01-13 00:45:24] 651*2^1239167-1 is not prime. Res64: 9797F48DCEE73D76 Time : 0.0 sec. user=mdettweiler [2013-01-13 01:02:39] 663*2^1239167-1 is not prime. Res64: 6D914D6E8655471D Time : 0.0 sec. user=mdettweiler [2013-01-13 01:02:40] 673*2^1239167-1 is not prime. Res64: 0183849CA0ECBA60 Time : 0.0 sec. user=mdettweiler [2013-01-13 01:02:47] 759*2^1239167-1 is not prime. Res64: 4F1CDA46909C0C6D Time : 0.0 sec. user=mdettweiler [2013-01-13 01:02:49] 825*2^1239167-1 is not prime. Res64: E1BBE621B6BF4E71 Time : 0.0 sec. user=mdettweiler [2013-01-13 01:20:13] 859*2^1239167-1 is not prime. Res64: BA48CDFB2AED1545 Time : 0.0 sec. user=mdettweiler [2013-01-13 01:20:14] 963*2^1239167-1 is not prime. Res64: C3C06CAB84D6FDFF Time : 0.0 sec. user=mdettweiler [2013-01-13 01:20:17] 979*2^1239167-1 is not prime. Res64: C816C10AC2BA9020 Time : 0.0 sec. user=mdettweiler [2013-01-13 01:20:17] 985*2^1239167-1 is not prime. Res64: CD8BAFBC704E1F75 Time : 0.0 sec. user=mdettweiler [2013-01-13 01:37:37] 605*2^1239168-1 is not prime. Res64: 3FF5F14BEBD6695C Time : 0.0 sec. user=mdettweiler [2013-01-13 01:37:37] 635*2^1239168-1 is not prime. Res64: DE0080913922C972 Time : 0.0 sec. user=mdettweiler [2013-01-13 01:37:38] 765*2^1239168-1 is not prime. Res64: 701CCFFC2CD9542F Time : 0.0 sec. user=mdettweiler [2013-01-13 01:37:39] 797*2^1239168-1 is not prime. Res64: 3AA5C4B583483EE6 Time : 0.0 sec. user=mdettweiler [2013-01-13 01:54:57] 845*2^1239168-1 is not prime. Res64: D24F5AD9E969A076 Time : 0.0 sec. user=mdettweiler [2013-01-13 01:54:58] 887*2^1239168-1 is not prime. Res64: 9636691CEEDD8111 Time : 0.0 sec. user=mdettweiler [2013-01-13 01:54:58] 893*2^1239168-1 is not prime. Res64: 44FDCFC14EC1723C Time : 0.0 sec. user=mdettweiler [2013-01-13 01:54:59] 969*2^1239168-1 is not prime. Res64: 92BA4E5ECB066251 Time : 0.0 sec. user=mdettweiler [2013-01-13 02:12:20] 975*2^1239169-1 is not prime. Res64: 778AAA242D4A7F96 Time : 0.0 sec. user=mdettweiler [2013-01-13 02:12:21] 975*2^1239168-1 is not prime. Res64: 8A910E47CC84A639 Time : 0.0 sec. user=mdettweiler [2013-01-13 02:12:23] 637*2^1239169-1 is not prime. Res64: EF1A6E25492970B7 Time : 0.0 sec. user=mdettweiler [2013-01-13 02:12:24] 641*2^1239170-1 is not prime. Res64: 31DB7B57E21FA78E Time : 0.0 sec. user=mdettweiler [2013-01-13 02:30:05] 741*2^1239170-1 is not prime. Res64: EAD5889613C042DF Time : 0.0 sec. user=mdettweiler [2013-01-13 02:30:06] 783*2^1239170-1 is not prime. Res64: BB8024D64F05985A Time : 0.0 sec. user=mdettweiler [2013-01-13 02:30:09] 851*2^1239170-1 is not prime. Res64: 02461A2E333B00B2 Time : 0.0 sec. user=mdettweiler [2013-01-13 02:30:10] 885*2^1239170-1 is not prime. Res64: DEA50A16DFBD0050 Time : 0.0 sec. user=mdettweiler [2013-01-13 02:47:30] 911*2^1239170-1 is not prime. Res64: F24D042F747F9EA7 Time : 0.0 sec. user=mdettweiler [2013-01-13 02:47:32] 601*2^1239171-1 is not prime. Res64: 6D23B9D96033B0D9 Time : 0.0 sec. user=mdettweiler [2013-01-13 02:47:35] 745*2^1239171-1 is not prime. Res64: 5805955E6FE78EEB Time : 0.0 sec. user=mdettweiler [2013-01-13 02:47:36] 751*2^1239171-1 is not prime. Res64: F9DF3F2518F6FF9A Time : 0.0 sec. user=mdettweiler [2013-01-13 03:05:10] 819*2^1239171-1 is not prime. Res64: DC183152E3E0E2F1 Time : 0.0 sec. user=mdettweiler [2013-01-13 03:05:12] 943*2^1239171-1 is not prime. Res64: FFA1C4C87FA94B3B Time : 0.0 sec. user=mdettweiler [2013-01-13 03:05:13] 835*2^1239171-1 is not prime. Res64: B539F5CB9F0E0374 Time : 0.0 sec. user=mdettweiler [2013-01-13 03:05:14] 949*2^1239171-1 is not prime. Res64: 1B59941C674C1983 Time : 0.0 sec. user=mdettweiler [2013-01-13 03:22:42] 689*2^1239172-1 is not prime. Res64: A17ADC7FB6499842 Time : 0.0 sec. user=mdettweiler [2013-01-13 03:22:44] 975*2^1239172-1 is not prime. Res64: 7216C9EF0CEB7397 Time : 0.0 sec. user=mdettweiler [2013-01-13 03:22:44] 909*2^1239172-1 is not prime. Res64: E0C7F50C7A746847 Time : 0.0 sec. user=mdettweiler [2013-01-13 03:22:45] 983*2^1239172-1 is not prime. Res64: 5D7463DA057AFD61 Time : 0.0 sec. user=mdettweiler [2013-01-13 03:40:13] 649*2^1239173-1 is not prime. Res64: DDBC322E24CE87CA Time : 0.0 sec. user=mdettweiler [2013-01-13 03:40:14] 657*2^1239173-1 is not prime. Res64: 8A6A31B6251EDE83 Time : 0.0 sec. user=mdettweiler [2013-01-13 03:40:16] 721*2^1239173-1 is not prime. Res64: 87651065EEA2C514 Time : 0.0 sec. user=mdettweiler [2013-01-13 03:40:19] 847*2^1239173-1 is not prime. Res64: E4A4E773E7DEFBFC Time : 0.0 sec. user=mdettweiler [2013-01-13 03:57:40] 861*2^1239173-1 is not prime. Res64: F71250ECDF27004E Time : 0.0 sec. user=mdettweiler [2013-01-13 03:57:41] 945*2^1239173-1 is not prime. Res64: C49E561BFD78A3A6 Time : 0.0 sec. user=mdettweiler [2013-01-13 03:57:42] 991*2^1239173-1 is not prime. Res64: A9E3E2765C6F6481 Time : 0.0 sec. user=mdettweiler [2013-01-13 03:57:42] 705*2^1239174-1 is not prime. Res64: 5FC24224CB2DDD4C Time : 0.0 sec. user=mdettweiler [2013-01-13 04:15:01] 797*2^1239174-1 is not prime. Res64: DD2A53B341A1062F Time : 0.0 sec. user=mdettweiler [2013-01-13 04:15:03] 1001*2^1239174-1 is not prime. Res64: 5F6B3C710E0EF1AA Time : 0.0 sec. user=mdettweiler [2013-01-13 04:15:04] 861*2^1239174-1 is not prime. Res64: 32E9C1F10A1E91D8 Time : 0.0 sec. user=mdettweiler [2013-01-13 04:15:05] 723*2^1239175-1 is not prime. Res64: 730CB88265382B59 Time : 0.0 sec. user=mdettweiler [2013-01-13 04:32:29] 765*2^1239175-1 is not prime. Res64: FF4401108A319CC6 Time : 0.0 sec. user=mdettweiler [2013-01-13 04:32:31] 843*2^1239175-1 is not prime. Res64: A772D707C7E48704 Time : 0.0 sec. user=mdettweiler [2013-01-13 04:32:32] 783*2^1239175-1 is not prime. Res64: 41AB3726AE5FAF98 Time : 0.0 sec. user=mdettweiler [2013-01-13 04:32:33] 925*2^1239175-1 is not prime. Res64: 8663CA3FD9E5CD3C Time : 0.0 sec. user=mdettweiler [2013-01-13 04:50:02] 677*2^1239176-1 is not prime. Res64: 808E9D4171A9DF21 Time : 0.0 sec. user=mdettweiler [2013-01-13 04:50:03] 693*2^1239176-1 is not prime. Res64: 71CB02ED0FF9E43B Time : 0.0 sec. user=mdettweiler [2013-01-13 04:50:06] 759*2^1239176-1 is not prime. Res64: 53CA18828FDD7126 Time : 0.0 sec. user=mdettweiler [2013-01-13 04:50:07] 789*2^1239176-1 is not prime. Res64: EAA9554B0CCD7F78 Time : 0.0 sec. user=mdettweiler [2013-01-13 05:07:23] 815*2^1239176-1 is not prime. Res64: 343A664A42B1F2C3 Time : 0.0 sec. user=mdettweiler [2013-01-13 05:07:24] 827*2^1239176-1 is not prime. Res64: 2242FB92DC08384B Time : 0.0 sec. user=mdettweiler [2013-01-13 05:07:26] 839*2^1239176-1 is not prime. Res64: 6D9B7CA2DA72A65D Time : 0.0 sec. user=mdettweiler [2013-01-13 05:07:27] 875*2^1239176-1 is not prime. Res64: A0C821C169F5DFD5 Time : 0.0 sec. user=mdettweiler [2013-01-13 05:24:47] 935*2^1239176-1 is not prime. Res64: F3DD2DF717C01B30 Time : 0.0 sec. user=mdettweiler [2013-01-13 05:24:48] 957*2^1239176-1 is not prime. Res64: D31956C339BF1E10 Time : 0.0 sec. user=mdettweiler [2013-01-13 05:24:48] 711*2^1239177-1 is not prime. Res64: AE5FFDF8A77AE10B Time : 0.0 sec. user=mdettweiler [2013-01-13 05:24:49] 817*2^1239177-1 is not prime. Res64: D3FFD4DB64C9993C Time : 0.0 sec. user=mdettweiler [2013-01-13 05:42:16] 937*2^1239177-1 is not prime. Res64: B102169FB28C62A3 Time : 0.0 sec. user=mdettweiler [2013-01-13 05:42:17] 945*2^1239177-1 is not prime. Res64: 0D4350106DE20B83 Time : 0.0 sec. user=mdettweiler [2013-01-13 05:42:18] 949*2^1239177-1 is not prime. Res64: 227591E1DDE3BF3B Time : 0.0 sec. user=mdettweiler [2013-01-13 05:42:19] 731*2^1239178-1 is not prime. Res64: 65B23205B238BFCD Time : 0.0 sec. user=mdettweiler [2013-01-13 05:59:41] 831*2^1239178-1 is not prime. Res64: 11D3B9A50B5AD472 Time : 0.0 sec. user=mdettweiler [2013-01-13 05:59:41] 845*2^1239178-1 is not prime. Res64: 9B8EC3D8FA334E44 Time : 0.0 sec. user=mdettweiler [2013-01-13 05:59:42] 855*2^1239178-1 is not prime. Res64: FDA8243F81FC9D12 Time : 0.0 sec. user=mdettweiler [2013-01-13 05:59:42] 915*2^1239178-1 is not prime. Res64: 573881E8D4487AD1 Time : 0.0 sec. user=mdettweiler [2013-01-13 06:17:01] 945*2^1239178-1 is not prime. Res64: 51626F37E3545CB3 Time : 0.0 sec. user=mdettweiler [2013-01-13 06:17:02] 951*2^1239178-1 is not prime. Res64: 86B7D495C0F9C3ED Time : 0.0 sec. user=mdettweiler [2013-01-13 06:17:03] 631*2^1239179-1 is not prime. Res64: B0EB92127620F98E Time : 0.0 sec. user=mdettweiler [2013-01-13 06:17:03] 633*2^1239179-1 is not prime. Res64: D154419BECBB4DE9 Time : 0.0 sec. user=mdettweiler [2013-01-13 06:34:23] 663*2^1239179-1 is not prime. Res64: 86660359467C0B65 Time : 0.0 sec. user=mdettweiler [2013-01-13 06:34:23] 741*2^1239179-1 is not prime. Res64: 8224EB58837691A7 Time : 0.0 sec. user=mdettweiler [2013-01-13 06:34:24] 921*2^1239179-1 is not prime. Res64: D26C0C4042B557E4 Time : 0.0 sec. user=mdettweiler [2013-01-13 06:34:25] 979*2^1239179-1 is not prime. Res64: 06219E66472A31F4 Time : 0.0 sec. user=mdettweiler [2013-01-13 06:51:45] 725*2^1239180-1 is not prime. Res64: 2E04E57EF5667D5D Time : 0.0 sec. user=mdettweiler [2013-01-13 06:51:45] 975*2^1239180-1 is not prime. Res64: 1A3BF2247E567576 Time : 0.0 sec. user=mdettweiler [2013-01-13 06:51:46] 983*2^1239180-1 is not prime. Res64: 863B0FCDF300F426 Time : 0.0 sec. user=mdettweiler [2013-01-13 06:51:47] 769*2^1239181-1 is not prime. Res64: 1059B3CFBA0F3A46 Time : 0.0 sec. user=mdettweiler [2013-01-13 07:09:04] 811*2^1239181-1 is not prime. Res64: BE366FBA3479945B Time : 0.0 sec. user=mdettweiler [2013-01-13 07:09:05] 945*2^1239181-1 is not prime. Res64: 931B2B0CEDCD9141 Time : 0.0 sec. user=mdettweiler [2013-01-13 07:09:07] 957*2^1239181-1 is not prime. Res64: AD1344F0C6AA6BA8 Time : 0.0 sec. user=mdettweiler [2013-01-13 07:09:08] 997*2^1239181-1 is not prime. Res64: 5310DE3BEFDB6DF5 Time : 0.0 sec. user=mdettweiler [2013-01-13 07:26:30] 683*2^1239182-1 is not prime. Res64: 3CC00D2B446DE31D Time : 0.0 sec. user=mdettweiler [2013-01-13 07:26:30] 711*2^1239182-1 is not prime. Res64: FAE2C61163ABFB3D Time : 0.0 sec. user=mdettweiler [2013-01-13 07:26:33] 767*2^1239182-1 is not prime. Res64: 59954DFB508B45C3 Time : 0.0 sec. user=mdettweiler [2013-01-13 07:26:33] 887*2^1239182-1 is not prime. Res64: 9B4755B2B385CC92 Time : 0.0 sec. user=mdettweiler [2013-01-13 07:43:51] 897*2^1239182-1 is not prime. Res64: BCB310C78BE565C7 Time : 0.0 sec. user=mdettweiler [2013-01-13 07:43:51] 679*2^1239183-1 is not prime. Res64: 8B0BC22AE96C37C7 Time : 0.0 sec. user=mdettweiler [2013-01-13 07:43:54] 703*2^1239183-1 is not prime. Res64: 23A3B161E9001644 Time : 0.0 sec. user=mdettweiler [2013-01-13 07:43:54] 763*2^1239183-1 is not prime. Res64: 1F0A73408620D728 Time : 0.0 sec. user=mdettweiler [2013-01-13 08:01:11] 823*2^1239183-1 is not prime. Res64: 4219736E748A927A Time : 0.0 sec. user=mdettweiler [2013-01-13 08:01:15] 849*2^1239183-1 is not prime. Res64: E3D6E82779624FEC Time : 0.0 sec. user=mdettweiler [2013-01-13 08:01:17] 639*2^1239184-1 is not prime. Res64: FBCED4ECEFA23D51 Time : 0.0 sec. user=mdettweiler [2013-01-13 08:01:21] 675*2^1239184-1 is not prime. Res64: CE9F56CF89BE70DD Time : 0.0 sec. user=mdettweiler [2013-01-13 08:19:00] 677*2^1239184-1 is not prime. Res64: BDAB439955F8A027 Time : 0.0 sec. user=mdettweiler [2013-01-13 08:19:01] 719*2^1239184-1 is not prime. Res64: CB6070FB3986504F Time : 0.0 sec. user=mdettweiler [2013-01-13 08:19:04] 743*2^1239184-1 is not prime. Res64: 6DE91C8A07D4FA46 Time : 0.0 sec. user=mdettweiler [2013-01-13 08:19:05] 747*2^1239184-1 is not prime. Res64: EA7A995268D7CFAA Time : 0.0 sec. user=mdettweiler [2013-01-13 08:36:23] 903*2^1239184-1 is not prime. Res64: 771C143369758642 Time : 0.0 sec. user=mdettweiler [2013-01-13 08:36:24] 905*2^1239184-1 is not prime. Res64: 5B740E947A3D7010 Time : 0.0 sec. user=mdettweiler [2013-01-13 08:36:27] 923*2^1239184-1 is not prime. Res64: 40E6521259086390 Time : 0.0 sec. user=mdettweiler [2013-01-13 08:36:27] 819*2^1239185-1 is not prime. Res64: C230EB6EB266927F Time : 0.0 sec. user=mdettweiler [2013-01-13 08:53:43] 925*2^1239185-1 is not prime. Res64: AFF9872344CA7CBC Time : 0.0 sec. user=mdettweiler [2013-01-13 08:53:43] 985*2^1239185-1 is not prime. Res64: 3B1E4AC932E9FBC2 Time : 0.0 sec. user=mdettweiler [2013-01-13 08:53:47] 783*2^1239186-1 is not prime. Res64: 6924848853E0FB74 Time : 0.0 sec. user=mdettweiler [2013-01-13 08:53:47] 803*2^1239186-1 is not prime. Res64: F6727D29DB84D4B3 Time : 0.0 sec. user=mdettweiler [2013-01-13 09:11:06] 691*2^1239187-1 is not prime. Res64: 71ACA58A82BE9A30 Time : 0.0 sec. user=mdettweiler [2013-01-13 09:11:07] 931*2^1239187-1 is not prime. Res64: 788B07976E0FE799 Time : 0.0 sec. user=mdettweiler [2013-01-13 09:11:07] 887*2^1239186-1 is not prime. Res64: D709E036BE6FDFF3 Time : 0.0 sec. user=mdettweiler [2013-01-13 09:11:07] 615*2^1239187-1 is not prime. Res64: 340E28D37EE96F7F Time : 0.0 sec. user=mdettweiler [2013-01-13 09:28:29] 945*2^1239187-1 is not prime. Res64: 13C1E68C1FF6CF4B Time : 0.0 sec. user=mdettweiler [2013-01-13 09:28:30] 973*2^1239187-1 is not prime. Res64: C2F0393B2ADAC7FB Time : 0.0 sec. user=mdettweiler [2013-01-13 09:28:30] 615*2^1239188-1 is not prime. Res64: 684AFFC5E6D51064 Time : 0.0 sec. user=mdettweiler [2013-01-13 09:28:31] 635*2^1239188-1 is not prime. Res64: 79A12FC3EDFBBEAE Time : 0.0 sec. user=mdettweiler [2013-01-13 09:45:49] 743*2^1239188-1 is not prime. Res64: 829BBA7959553438 Time : 0.0 sec. user=mdettweiler [2013-01-13 09:45:50] 647*2^1239188-1 is not prime. Res64: 38B4107E25AD330D Time : 0.0 sec. user=mdettweiler [2013-01-13 09:45:50] 929*2^1239188-1 is not prime. Res64: 87E2CBD0287D8BC0 Time : 0.0 sec. user=mdettweiler [2013-01-13 09:45:50] 735*2^1239188-1 is not prime. Res64: 2F251FF8F9B75355 Time : 0.0 sec. user=mdettweiler [2013-01-13 10:03:12] 835*2^1239013-1 is not prime. Res64: 87EE7E9323B0D995 Time : 0.0 sec. user=mdettweiler [2013-01-13 10:03:12] 969*2^1239188-1 is not prime. Res64: 0BE5DB55615D9874 Time : 0.0 sec. user=mdettweiler [2013-01-13 10:03:13] 959*2^1239188-1 is not prime. Res64: EA7A8BEA97628A54 Time : 0.0 sec. user=mdettweiler [2013-01-13 10:03:13] 639*2^1239189-1 is not prime. Res64: 6FC9D92721628ACC Time : 0.0 sec. user=mdettweiler [2013-01-13 10:20:41] 649*2^1239189-1 is not prime. Res64: EEE71445AE30F974 Time : 0.0 sec. user=mdettweiler [2013-01-13 10:20:42] 681*2^1239189-1 is not prime. Res64: 76EEFCF054E3266A Time : 0.0 sec. user=mdettweiler [2013-01-13 10:20:44] 907*2^1239189-1 is not prime. Res64: 752B6539E59CE0E2 Time : 0.0 sec. user=mdettweiler [2013-01-13 10:20:45] 921*2^1239189-1 is not prime. Res64: 678A693C2F9537F5 Time : 0.0 sec. user=mdettweiler [2013-01-13 10:38:05] 985*2^1239189-1 is not prime. Res64: 65CF54D071A77F99 Time : 0.0 sec. user=mdettweiler [2013-01-13 10:38:05] 657*2^1239190-1 is not prime. Res64: 3919D86EC53FDDB6 Time : 0.0 sec. user=mdettweiler [2013-01-13 10:38:05] 755*2^1239190-1 is not prime. Res64: 9C53C501FA7DCF36 Time : 0.0 sec. user=mdettweiler [2013-01-13 10:38:06] 765*2^1239190-1 is not prime. Res64: C27EAAD1D3AF4036 Time : 0.0 sec. user=mdettweiler [2013-01-13 10:55:26] 621*2^1239191-1 is not prime. Res64: 664D8992067893E9 Time : 0.0 sec. user=mdettweiler [2013-01-13 10:55:26] 693*2^1239191-1 is not prime. Res64: D776E83FF46C6580 Time : 0.0 sec. user=mdettweiler [2013-01-13 10:55:26] 789*2^1239191-1 is not prime. Res64: 0920871CD3E06DA6 Time : 0.0 sec. user=mdettweiler [2013-01-13 10:55:27] 885*2^1239191-1 is not prime. Res64: F025B9CA9490A54A Time : 0.0 sec. user=mdettweiler [2013-01-13 11:12:51] 675*2^1239192-1 is not prime. Res64: CC5D423F4C9F32D7 Time : 0.0 sec. user=mdettweiler [2013-01-13 11:12:52] 969*2^1239191-1 is not prime. Res64: 47B8DB10AE657CB6 Time : 0.0 sec. user=mdettweiler [2013-01-13 11:12:54] 695*2^1239192-1 is not prime. Res64: CA7A86754B3AB855 Time : 0.0 sec. user=mdettweiler [2013-01-13 11:12:55] 979*2^1239191-1 is not prime. Res64: F8666789E38CB325 Time : 0.0 sec. user=mdettweiler [2013-01-13 11:30:34] 719*2^1239192-1 is not prime. Res64: 5C2614176D36B3F5 Time : 0.0 sec. user=mdettweiler [2013-01-13 11:30:34] 959*2^1239192-1 is not prime. Res64: A0DA70C37E09753C Time : 0.0 sec. user=mdettweiler [2013-01-13 11:30:34] 843*2^1239192-1 is not prime. Res64: FC88B249B15ABF99 Time : 0.0 sec. user=mdettweiler [2013-01-13 11:30:34] 649*2^1239193-1 is not prime. Res64: E89AA50A2EC9B249 Time : 0.0 sec. user=mdettweiler [2013-01-13 11:47:57] 769*2^1239193-1 is not prime. Res64: 2078D970697C06D4 Time : 0.0 sec. user=mdettweiler [2013-01-13 11:47:58] 861*2^1239193-1 is not prime. Res64: 2F3A95661B6FBFBD Time : 0.0 sec. user=mdettweiler [2013-01-13 11:47:59] 867*2^1239193-1 is not prime. Res64: D0A276706091E92E Time : 0.0 sec. user=mdettweiler [2013-01-13 11:48:00] 987*2^1239193-1 is not prime. Res64: 46A88AC189ADD4F6 Time : 0.0 sec. user=mdettweiler [2013-01-13 12:05:30] 641*2^1239194-1 is not prime. Res64: A0A6D4F4D978AF1D Time : 0.0 sec. user=mdettweiler [2013-01-13 12:05:32] 741*2^1239194-1 is not prime. Res64: 53CA8CA46C0E8894 Time : 0.0 sec. user=mdettweiler [2013-01-13 12:05:32] 711*2^1239194-1 is not prime. Res64: FE27C925C3AEF4D1 Time : 0.0 sec. user=mdettweiler [2013-01-13 12:05:34] 747*2^1239194-1 is not prime. Res64: 5754C434D2116251 Time : 0.0 sec. user=mdettweiler [2013-01-13 12:23:17] 827*2^1239194-1 is not prime. Res64: 52604C84A805D50F Time : 0.0 sec. user=mdettweiler [2013-01-13 12:23:17] 837*2^1239194-1 is not prime. Res64: 7A68F86B77F346B3 Time : 0.0 sec. user=mdettweiler [2013-01-13 12:23:19] 981*2^1239194-1 is not prime. Res64: 262A62FE882333DF Time : 0.0 sec. user=mdettweiler [2013-01-13 12:23:20] 675*2^1239195-1 is not prime. Res64: 581ADF5963608E68 Time : 0.0 sec. user=mdettweiler [2013-01-13 12:40:44] 723*2^1239195-1 is not prime. Res64: A17F78BA056F516A Time : 0.0 sec. user=mdettweiler [2013-01-13 12:40:44] 765*2^1239195-1 is not prime. Res64: BA465084555B7680 Time : 0.0 sec. user=mdettweiler [2013-01-13 12:40:49] 973*2^1239195-1 is not prime. Res64: 5019629EFAD439BA Time : 0.0 sec. user=mdettweiler [2013-01-13 12:40:49] 749*2^1239196-1 is not prime. Res64: B42B05385741CB6B Time : 0.0 sec. user=mdettweiler [2013-01-13 12:58:11] 803*2^1239196-1 is not prime. Res64: 70C4D31A4B7A6BBF Time : 0.0 sec. user=mdettweiler [2013-01-13 12:58:12] 939*2^1239196-1 is not prime. Res64: 6E73BC038A9C8690 Time : 0.0 sec. user=mdettweiler [2013-01-13 12:58:14] 983*2^1239196-1 is not prime. Res64: 53F94F6A5A32391A Time : 0.0 sec. user=mdettweiler [2013-01-13 12:58:15] 669*2^1239197-1 is not prime. Res64: CC08221F223AD5E6 Time : 0.0 sec. user=mdettweiler [2013-01-13 13:15:35] 729*2^1239197-1 is not prime. Res64: D44732A9CDA0B1B6 Time : 0.0 sec. user=mdettweiler [2013-01-13 13:15:35] 759*2^1239197-1 is not prime. Res64: 2EB29F6A7D09D0D4 Time : 0.0 sec. user=mdettweiler [2013-01-13 13:15:39] 781*2^1239197-1 is not prime. Res64: F7FB33AF90A96B97 Time : 0.0 sec. user=mdettweiler [2013-01-13 13:15:40] 795*2^1239197-1 is not prime. Res64: BEC9D613833A64D6 Time : 0.0 sec. user=mdettweiler [2013-01-13 13:33:00] 847*2^1239197-1 is not prime. Res64: FCD90AEBC6D4DC89 Time : 0.0 sec. user=mdettweiler [2013-01-13 13:33:00] 861*2^1239197-1 is not prime. Res64: AF63D9682253EB15 Time : 0.0 sec. user=mdettweiler [2013-01-13 13:33:05] 997*2^1239197-1 is not prime. Res64: A101472875CEDEF3 Time : 0.0 sec. user=mdettweiler [2013-01-13 13:33:06] 713*2^1239198-1 is not prime. Res64: B999D020D542F84A Time : 0.0 sec. user=mdettweiler [2013-01-13 13:50:26] 737*2^1239198-1 is not prime. Res64: 8A53056F188BC06D Time : 0.0 sec. user=mdettweiler [2013-01-13 13:50:26] 843*2^1239198-1 is not prime. Res64: 6FFE36FC557621CC Time : 0.0 sec. user=mdettweiler [2013-01-13 13:50:31] 975*2^1239198-1 is not prime. Res64: E103BA41DB4FE9EB Time : 0.0 sec. user=mdettweiler [2013-01-13 13:50:31] 615*2^1239199-1 is not prime. Res64: DF115205D409AD4D Time : 0.0 sec. user=mdettweiler [2013-01-13 14:07:56] 645*2^1239199-1 is not prime. Res64: 1F2DD8AD8F10307C Time : 0.0 sec. user=mdettweiler [2013-01-13 14:07:59] 793*2^1239199-1 is not prime. Res64: 6DAC0FFE2D268697 Time : 0.0 sec. user=mdettweiler [2013-01-13 14:08:02] 811*2^1239199-1 is not prime. Res64: 91B985E3903B26CD Time : 0.0 sec. user=mdettweiler [2013-01-13 14:08:05] 829*2^1239199-1 is not prime. Res64: 3F4A1BF1F1BCA1BB Time : 0.0 sec. user=mdettweiler [2013-01-13 14:26:04] 831*2^1239199-1 is not prime. Res64: 47E8D3DC5A80515F Time : 0.0 sec. user=mdettweiler [2013-01-13 14:26:04] 883*2^1239199-1 is not prime. Res64: D439541D4761CEF3 Time : 0.0 sec. user=mdettweiler [2013-01-13 14:26:13] 925*2^1239199-1 is not prime. Res64: 8FBCF2FE591EDE5D Time : 0.0 sec. user=mdettweiler [2013-01-13 14:26:14] 951*2^1239199-1 is not prime. Res64: 36DAD5A9244C51E9 Time : 0.0 sec. user=mdettweiler [2013-01-13 14:43:44] 713*2^1239200-1 is not prime. Res64: F50CC7BDC57021DF Time : 0.0 sec. user=mdettweiler [2013-01-13 14:43:45] 753*2^1239200-1 is not prime. Res64: 58A762244D3DB2D1 Time : 0.0 sec. user=mdettweiler [2013-01-13 14:43:51] 785*2^1239200-1 is not prime. Res64: 173601752FCC1FB2 Time : 0.0 sec. user=mdettweiler [2013-01-13 14:43:51] 797*2^1239200-1 is not prime. Res64: D8A7419C9B989ACF Time : 0.0 sec. user=mdettweiler [2013-01-13 15:01:14] 857*2^1239200-1 is not prime. Res64: A635B7D877B26AD5 Time : 0.0 sec. user=mdettweiler [2013-01-13 15:01:15] 875*2^1239200-1 is not prime. Res64: 7660D41F80D569F0 Time : 0.0 sec. user=mdettweiler [2013-01-13 15:01:18] 909*2^1239200-1 is not prime. Res64: 0628930FF1FDFD67 Time : 0.0 sec. user=mdettweiler [2013-01-13 15:01:19] 995*2^1239200-1 is not prime. Res64: D8FC2B17FE9737FA Time : 0.0 sec. user=mdettweiler [2013-01-13 15:18:52] 717*2^1239201-1 is not prime. Res64: F4DA14D23FEBBA9A Time : 0.0 sec. user=mdettweiler [2013-01-13 15:18:53] 955*2^1239201-1 is not prime. Res64: 656CEFBF3DF881F4 Time : 0.0 sec. user=mdettweiler [2013-01-13 15:18:55] 623*2^1239202-1 is not prime. Res64: C66E5807BF7FAD01 Time : 0.0 sec. user=mdettweiler [2013-01-13 15:18:55] 633*2^1239202-1 is not prime. Res64: 92A82A1C61F2C3BA Time : 0.0 sec. user=mdettweiler [2013-01-13 15:36:19] 615*2^1239203-1 is not prime. Res64: E2BA08EF31472E19 Time : 0.0 sec. user=mdettweiler [2013-01-13 15:36:19] 741*2^1239202-1 is not prime. Res64: 1E157174B58037E0 Time : 0.0 sec. user=mdettweiler [2013-01-13 15:36:20] 675*2^1239203-1 is not prime. Res64: F26CEB7FECB88150 Time : 0.0 sec. user=mdettweiler [2013-01-13 15:36:20] 957*2^1239202-1 is not prime. Res64: 69190D4AB9C32FA1 Time : 0.0 sec. user=mdettweiler [2013-01-13 15:53:43] 693*2^1239203-1 is not prime. Res64: 9214E045852089DB Time : 0.0 sec. user=mdettweiler [2013-01-13 15:53:44] 715*2^1239203-1 is not prime. Res64: E651C60D918A6D24 Time : 0.0 sec. user=mdettweiler [2013-01-13 15:53:49] 783*2^1239203-1 is not prime. Res64: 94DC666E0E52C6BC Time : 0.0 sec. user=mdettweiler [2013-01-13 15:53:49] 811*2^1239203-1 is not prime. Res64: CD8E470888D02EBE Time : 0.0 sec. user=mdettweiler [2013-01-13 16:11:07] 823*2^1239203-1 is not prime. Res64: 20F05465D2249CEA Time : 0.0 sec. user=mdettweiler [2013-01-13 16:11:08] 915*2^1239203-1 is not prime. Res64: 4C6F4B7590E51453 Time : 0.0 sec. user=mdettweiler [2013-01-13 16:11:11] 657*2^1239204-1 is not prime. Res64: D2A171F5A00D4E20 Time : 0.0 sec. user=mdettweiler [2013-01-13 16:11:13] 689*2^1239204-1 is not prime. Res64: 78E158B5AA4D68A4 Time : 0.0 sec. user=mdettweiler [2013-01-13 16:28:37] 725*2^1239204-1 is not prime. Res64: 01C64E08CE3F4584 Time : 0.0 sec. user=mdettweiler [2013-01-13 16:28:37] 737*2^1239204-1 is not prime. Res64: 34FFE03B9EF0B0C7 Time : 0.0 sec. user=mdettweiler [2013-01-13 16:28:40] 753*2^1239204-1 is not prime. Res64: 623C21F1D04E8DDC Time : 0.0 sec. user=mdettweiler [2013-01-13 16:28:40] 789*2^1239204-1 is not prime. Res64: 0E26C0CA88BE6C59 Time : 0.0 sec. user=mdettweiler [2013-01-13 16:46:00] 969*2^1239204-1 is not prime. Res64: 5410AC963AE6F42F Time : 0.0 sec. user=mdettweiler [2013-01-13 16:46:01] 601*2^1239205-1 is not prime. Res64: 2BBA15E95BD64685 Time : 0.0 sec. user=mdettweiler [2013-01-13 16:46:03] 625*2^1239205-1 is not prime. Res64: 58A3F17FA310FD6A Time : 0.0 sec. user=mdettweiler [2013-01-13 16:46:03] 675*2^1239205-1 is not prime. Res64: 94DD9EE199FDD44E Time : 0.0 sec. user=mdettweiler [2013-01-13 17:03:25] 685*2^1239205-1 is not prime. Res64: 0027FFF7EF381304 Time : 0.0 sec. user=mdettweiler [2013-01-13 17:03:26] 717*2^1239205-1 is not prime. Res64: 1AEACEBC8C115493 Time : 0.0 sec. user=mdettweiler [2013-01-13 17:03:27] 771*2^1239205-1 is not prime. Res64: 0F451716F465FBCA Time : 0.0 sec. user=mdettweiler [2013-01-13 17:03:30] 777*2^1239205-1 is not prime. Res64: D536651FBA86980B Time : 0.0 sec. user=mdettweiler [2013-01-13 17:21:08] 919*2^1239205-1 is not prime. Res64: 445F7A1147C9CFA6 Time : 0.0 sec. user=mdettweiler [2013-01-13 17:21:09] 979*2^1239205-1 is not prime. Res64: 7BED12ADAB1EF9D8 Time : 0.0 sec. user=mdettweiler [2013-01-13 17:21:10] 623*2^1239206-1 is not prime. Res64: EC63CBBE13420287 Time : 0.0 sec. user=mdettweiler [2013-01-13 17:21:11] 963*2^1239206-1 is not prime. Res64: 1852F5E390D8315B Time : 0.0 sec. user=mdettweiler [2013-01-13 17:38:35] 651*2^1239207-1 is not prime. Res64: 506E7CB3C27D5D4C Time : 0.0 sec. user=mdettweiler [2013-01-13 17:38:35] 669*2^1239207-1 is not prime. Res64: 0EB0105D92337B2C Time : 0.0 sec. user=mdettweiler [2013-01-13 17:38:36] 675*2^1239207-1 is not prime. Res64: 17DC36A000956075 Time : 0.0 sec. user=mdettweiler [2013-01-13 17:38:37] 691*2^1239207-1 is not prime. Res64: BFB878ADE327937B Time : 0.0 sec. user=mdettweiler [2013-01-13 17:56:08] 951*2^1239207-1 is not prime. Res64: 6776E54CE00EF11D Time : 0.0 sec. user=mdettweiler [2013-01-13 17:56:09] 645*2^1239208-1 is not prime. Res64: E93AECDDB5D20555 Time : 0.0 sec. user=mdettweiler [2013-01-13 17:56:09] 617*2^1239208-1 is not prime. Res64: 60B8FE2391F9EF65 Time : 0.0 sec. user=mdettweiler [2013-01-13 17:56:09] 689*2^1239208-1 is not prime. Res64: 5B9D1622EC24AF4A Time : 0.0 sec. user=juhehe [2013-01-13 18:11:18] 861*2^1239207-1 is not prime. Res64: E20A23F083D76489 Time : 0.0 sec. user=mdettweiler [2013-01-13 18:13:57] 743*2^1239208-1 is not prime. Res64: FC761240649851E4 Time : 0.0 sec. user=mdettweiler [2013-01-13 18:13:58] 849*2^1239208-1 is not prime. Res64: 8798E1C985966E21 Time : 0.0 sec. user=mdettweiler [2013-01-13 18:14:01] 869*2^1239208-1 is not prime. Res64: 6C215020F19B921C Time : 0.0 sec. user=mdettweiler [2013-01-13 18:14:02] 905*2^1239208-1 is not prime. Res64: CEF5795AD05B7876 Time : 0.0 sec. user=mdettweiler [2013-01-13 18:31:26] 649*2^1239209-1 is not prime. Res64: 6BF0521D74D918AB Time : 0.0 sec. user=mdettweiler [2013-01-13 18:31:26] 771*2^1239209-1 is not prime. Res64: AB00BA1287591221 Time : 0.0 sec. user=mdettweiler [2013-01-13 18:31:28] 635*2^1239210-1 is not prime. Res64: 895EAC0C8B2C87FF Time : 0.0 sec. user=mdettweiler [2013-01-13 18:31:29] 765*2^1239210-1 is not prime. Res64: 1F6CAAF8C971B182 Time : 0.0 sec. user=juhehe [2013-01-13 18:45:04] 957*2^1239208-1 is not prime. Res64: 4551CBFDCAEC4A98 Time : 0.0 sec. user=mdettweiler [2013-01-13 18:48:51] 791*2^1239210-1 is not prime. Res64: 415D70A44358B97E Time : 0.0 sec. user=mdettweiler [2013-01-13 18:48:51] 843*2^1239210-1 is not prime. Res64: DD7CDC54B79A42A9 Time : 0.0 sec. user=mdettweiler [2013-01-13 18:48:52] 917*2^1239210-1 is not prime. Res64: F844AD9350036245 Time : 0.0 sec. user=mdettweiler [2013-01-13 18:48:53] 971*2^1239210-1 is not prime. Res64: 12A49D839ACF0945 Time : 0.0 sec. user=mdettweiler [2013-01-13 19:06:18] 649*2^1239211-1 is not prime. Res64: 57D6798266DC396A Time : 0.0 sec. user=mdettweiler [2013-01-13 19:06:19] 679*2^1239211-1 is not prime. Res64: 1C670CC4BCA74DD1 Time : 0.0 sec. user=mdettweiler [2013-01-13 19:06:20] 783*2^1239211-1 is not prime. Res64: D1F4AA6FE7B84876 Time : 0.0 sec. user=mdettweiler [2013-01-13 19:06:21] 841*2^1239211-1 is not prime. Res64: 3819E58AE4BAAA8B Time : 0.0 sec. user=juhehe [2013-01-13 19:18:52] 625*2^1239211-1 is not prime. Res64: 0227E3E65EF1E605 Time : 0.0 sec. user=mdettweiler [2013-01-13 19:24:06] 931*2^1239211-1 is not prime. Res64: A5F528E358656533 Time : 0.0 sec. user=mdettweiler [2013-01-13 19:24:07] 603*2^1239212-1 is not prime. Res64: BB3579D634D5D4F9 Time : 0.0 sec. user=mdettweiler [2013-01-13 19:24:10] 605*2^1239212-1 is not prime. Res64: 6CF9ABC8A4186AEF Time : 0.0 sec. user=mdettweiler [2013-01-13 19:24:10] 665*2^1239212-1 is not prime. Res64: 8417A295E8C56F46 Time : 0.0 sec. user=mdettweiler [2013-01-13 19:41:36] 719*2^1239212-1 is not prime. Res64: 062572F56215BB85 Time : 0.0 sec. user=mdettweiler [2013-01-13 19:41:37] 797*2^1239212-1 is not prime. Res64: FF591D70BC9D9593 Time : 0.0 sec. user=mdettweiler [2013-01-13 19:41:40] 885*2^1239212-1 is not prime. Res64: F87A1FAE123FA251 Time : 0.0 sec. user=mdettweiler [2013-01-13 19:41:40] 915*2^1239212-1 is not prime. Res64: 8E9892A4FD80C9D9 Time : 0.0 sec. user=mdettweiler [2013-01-13 19:59:05] 923*2^1239212-1 is not prime. Res64: B788524F995E5C51 Time : 0.0 sec. user=mdettweiler [2013-01-13 19:59:05] 741*2^1239213-1 is not prime. Res64: 42F413999628070F Time : 0.0 sec. user=mdettweiler [2013-01-13 19:59:08] 747*2^1239213-1 is not prime. Res64: 0737C8BC4DFDFDF4 Time : 0.0 sec. user=mdettweiler [2013-01-13 19:59:09] 835*2^1239213-1 is not prime. Res64: D26FA507656F1647 Time : 0.0 sec. user=mdettweiler [2013-01-13 20:16:33] 889*2^1239213-1 is not prime. Res64: 8D0699DDAE71D97E Time : 0.0 sec. user=mdettweiler [2013-01-13 20:16:34] 635*2^1239214-1 is not prime. Res64: 9DBA445C9FCBFB85 Time : 0.0 sec. user=mdettweiler [2013-01-13 20:16:35] 991*2^1239213-1 is not prime. Res64: 3CE6098CCA54B871 Time : 0.0 sec. user=mdettweiler [2013-01-13 20:16:36] 731*2^1239214-1 is not prime. Res64: F606873E13EF118E Time : 0.0 sec. user=mdettweiler [2013-01-13 20:34:16] 791*2^1239214-1 is not prime. Res64: 789E6962411B09AB Time : 0.0 sec. user=mdettweiler [2013-01-13 20:34:17] 971*2^1239214-1 is not prime. Res64: 3199D1566CFFDEC6 Time : 0.0 sec. user=mdettweiler [2013-01-13 20:34:18] 773*2^1239216-1 is not prime. Res64: C80EACA4B3D2AFB1 Time : 0.0 sec. user=mdettweiler [2013-01-13 20:34:19] 909*2^1239216-1 is not prime. Res64: 65966FCDA2F0BBF7 Time : 0.0 sec. user=mdettweiler [2013-01-13 20:51:40] 947*2^1239216-1 is not prime. Res64: EE4C5EC13BF7D296 Time : 0.0 sec. user=mdettweiler [2013-01-13 20:51:40] 609*2^1239217-1 is not prime. Res64: 4B54DE5D3D884A99 Time : 0.0 sec. user=mdettweiler [2013-01-13 20:51:42] 741*2^1239217-1 is not prime. Res64: 3F1BA793B319F704 Time : 0.0 sec. user=mdettweiler [2013-01-13 20:51:43] 805*2^1239217-1 is not prime. Res64: BBBD6E5CCB56662C Time : 0.0 sec. user=mdettweiler [2013-01-13 21:09:03] 871*2^1239217-1 is not prime. Res64: AD78E92A98053B38 Time : 0.0 sec. user=mdettweiler [2013-01-13 21:09:05] 885*2^1239217-1 is not prime. Res64: F278F509818569D5 Time : 0.0 sec. user=mdettweiler [2013-01-13 21:09:06] 937*2^1239217-1 is not prime. Res64: B474FA241BBB0831 Time : 0.0 sec. user=mdettweiler [2013-01-13 21:09:08] 939*2^1239217-1 is not prime. Res64: 06221A0D55539717 Time : 0.0 sec. user=mdettweiler [2013-01-13 21:26:31] 633*2^1239218-1 is not prime. Res64: 6111298761E86979 Time : 0.0 sec. user=mdettweiler [2013-01-13 21:26:33] 713*2^1239218-1 is not prime. Res64: 7A297EDBCFC093C5 Time : 0.0 sec. user=mdettweiler [2013-01-13 21:26:35] 797*2^1239218-1 is not prime. Res64: 508E4AA392A0B2C8 Time : 0.0 sec. user=mdettweiler [2013-01-13 21:26:36] 825*2^1239218-1 is not prime. Res64: 3E99B0E09D9A4244 Time : 0.0 sec. user=mdettweiler [2013-01-13 21:44:04] 845*2^1239218-1 is not prime. Res64: C8A5E28B9C01D582 Time : 0.0 sec. user=mdettweiler [2013-01-13 21:44:05] 911*2^1239218-1 is not prime. Res64: F79AFA3814003D02 Time : 0.0 sec. user=mdettweiler [2013-01-13 21:44:06] 921*2^1239218-1 is not prime. Res64: 5A8956A7F947FB5C Time : 0.0 sec. user=mdettweiler [2013-01-13 21:44:07] 941*2^1239218-1 is not prime. Res64: 606AED3E49AFA4B3 Time : 0.0 sec. user=mdettweiler [2013-01-13 22:01:29] 613*2^1239219-1 is not prime. Res64: 6DD3EC9EB35CB994 Time : 0.0 sec. user=mdettweiler [2013-01-13 22:01:30] 669*2^1239219-1 is not prime. Res64: 3CBD996A8D81E713 Time : 0.0 sec. user=mdettweiler [2013-01-13 22:01:31] 625*2^1239219-1 is not prime. Res64: 479DDDD0B163D888 Time : 0.0 sec. user=mdettweiler [2013-01-13 22:01:32] 829*2^1239219-1 is not prime. Res64: 7D57550E7F133ED6 Time : 0.0 sec. user=mdettweiler [2013-01-13 22:19:08] 635*2^1239220-1 is not prime. Res64: E9E1D236E6F3092B Time : 0.0 sec. user=mdettweiler [2013-01-13 22:19:09] 695*2^1239220-1 is not prime. Res64: 1DE8112107DECB98 Time : 0.0 sec. user=mdettweiler [2013-01-13 22:19:11] 719*2^1239220-1 is not prime. Res64: 5589EEE2436BB0F2 Time : 0.0 sec. user=mdettweiler [2013-01-13 22:19:12] 855*2^1239220-1 is not prime. Res64: 656EDBB3A352F057 Time : 0.0 sec. user=mdettweiler [2013-01-13 22:36:33] 939*2^1239220-1 is not prime. Res64: B9C5D86B5A1D0236 Time : 0.0 sec. user=mdettweiler [2013-01-13 22:36:33] 957*2^1239220-1 is not prime. Res64: C571B53173C58C3A Time : 0.0 sec. user=mdettweiler [2013-01-13 22:36:36] 741*2^1239221-1 is not prime. Res64: 3A1E3C74C9F6D91B Time : 0.0 sec. user=mdettweiler [2013-01-13 22:36:37] 925*2^1239221-1 is not prime. Res64: B9177790C201457E Time : 0.0 sec. user=mdettweiler [2013-01-13 22:53:57] 955*2^1239221-1 is not prime. Res64: 9A97291B4902D100 Time : 0.0 sec. user=mdettweiler [2013-01-13 22:53:58] 987*2^1239221-1 is not prime. Res64: 8FDAD7E93F64B340 Time : 0.0 sec. user=mdettweiler [2013-01-13 22:53:59] 635*2^1239222-1 is not prime. Res64: A368A7775D8DA0DC Time : 0.0 sec. user=mdettweiler [2013-01-13 22:54:00] 665*2^1239222-1 is not prime. Res64: B774F23597FC7816 Time : 0.0 sec. user=mdettweiler [2013-01-13 23:11:41] 737*2^1239222-1 is not prime. Res64: 107CE0B9D24C4845 Time : 0.0 sec. user=mdettweiler [2013-01-13 23:11:42] 761*2^1239222-1 is not prime. Res64: 59E1BAF97088D39F Time : 0.0 sec. user=mdettweiler [2013-01-13 23:11:42] 917*2^1239222-1 is not prime. Res64: A428F71B8134EAD7 Time : 0.0 sec. user=mdettweiler [2013-01-13 23:11:43] 603*2^1239223-1 is not prime. Res64: 9188B356AC0A177F Time : 0.0 sec. user=mdettweiler [2013-01-13 23:29:42] 619*2^1239223-1 is not prime. Res64: CF68A61F696DF238 Time : 0.0 sec. user=mdettweiler [2013-01-13 23:29:42] 763*2^1239223-1 is not prime. Res64: 147F14F4EB19495D Time : 0.0 sec. user=mdettweiler [2013-01-13 23:29:45] 789*2^1239223-1 is not prime. Res64: C55AA57E3999739C Time : 0.0 sec. user=mdettweiler [2013-01-13 23:29:45] 663*2^1239224-1 is not prime. Res64: CF0BA699105DCA53 Time : 0.0 sec. user=mdettweiler [2013-01-13 23:47:16] 725*2^1239224-1 is not prime. Res64: 47462DE15F3C2DEA Time : 0.0 sec. user=mdettweiler [2013-01-13 23:47:17] 785*2^1239224-1 is not prime. Res64: EBC938E4BF266ABF Time : 0.0 sec. user=mdettweiler [2013-01-13 23:47:19] 945*2^1239224-1 is not prime. Res64: E69E68F6ECE6C013 Time : 0.0 sec. user=mdettweiler [2013-01-13 23:47:20] 983*2^1239224-1 is not prime. Res64: EAA6B14A75D75E6F Time : 0.0 sec.