user=mdettweiler [2015-06-23 00:01:07] 619*2^1401133-1 is not prime. Res64: E096023EF3FCAB86 Time : 0.0 sec. user=mdettweiler [2015-06-23 00:01:07] 639*2^1401133-1 is not prime. Res64: 5BDA6996B6B037AF Time : 0.0 sec. user=mdettweiler [2015-06-23 00:01:08] 651*2^1401133-1 is not prime. Res64: D5DA9514809B7E67 Time : 0.0 sec. user=mdettweiler [2015-06-23 00:01:08] 885*2^1401133-1 is not prime. Res64: 67B44F1EDE99A706 Time : 0.0 sec. user=mdettweiler [2015-06-23 00:01:08] 681*2^1401133-1 is not prime. Res64: FA413254F12D38C1 Time : 0.0 sec. user=mdettweiler [2015-06-23 00:01:09] 895*2^1401133-1 is not prime. Res64: CD478BD6D69C35B8 Time : 0.0 sec. user=mdettweiler [2015-06-23 00:18:26] 961*2^1401133-1 is not prime. Res64: 16DA57F8669B7250 Time : 0.0 sec. user=mdettweiler [2015-06-23 00:18:26] 635*2^1401134-1 is not prime. Res64: 581F3FAF69DA1095 Time : 0.0 sec. user=mdettweiler [2015-06-23 00:18:27] 663*2^1401134-1 is not prime. Res64: A4BE029401B859E0 Time : 0.0 sec. user=mdettweiler [2015-06-23 00:18:27] 705*2^1401134-1 is not prime. Res64: EEFB1B5F21FCDC74 Time : 0.0 sec. user=mdettweiler [2015-06-23 00:18:27] 827*2^1401134-1 is not prime. Res64: 3A5F92921A0476AD Time : 0.0 sec. user=mdettweiler [2015-06-23 00:18:28] 873*2^1401134-1 is not prime. Res64: 7C7316522906F30E Time : 0.0 sec. user=mdettweiler [2015-06-23 00:35:45] 935*2^1401134-1 is not prime. Res64: 0F555CAC3A0215A7 Time : 0.0 sec. user=mdettweiler [2015-06-23 00:35:45] 941*2^1401134-1 is not prime. Res64: C43E963F4B0AA340 Time : 0.0 sec. user=mdettweiler [2015-06-23 00:35:46] 805*2^1401135-1 is not prime. Res64: F9EB81A6229D861C Time : 0.0 sec. user=mdettweiler [2015-06-23 00:35:46] 819*2^1401135-1 is not prime. Res64: EA8EBA02D4CE5F44 Time : 0.0 sec. user=mdettweiler [2015-06-23 00:35:48] 613*2^1401135-1 is not prime. Res64: 0A886D02DBFFD5B7 Time : 0.0 sec. user=mdettweiler [2015-06-23 00:35:49] 741*2^1401135-1 is not prime. Res64: FD5E202C10A181DF Time : 0.0 sec. user=mdettweiler [2015-06-23 00:53:03] 859*2^1401135-1 is not prime. Res64: 300410401B1C0A6D Time : 0.0 sec. user=mdettweiler [2015-06-23 00:53:04] 919*2^1401135-1 is not prime. Res64: 7FD320F19C9266CD Time : 0.0 sec. user=mdettweiler [2015-06-23 00:53:04] 675*2^1401136-1 is not prime. Res64: FB2F08F9B83C1795 Time : 0.0 sec. user=mdettweiler [2015-06-23 00:53:05] 689*2^1401136-1 is not prime. Res64: 3333F85837799E49 Time : 0.0 sec. user=mdettweiler [2015-06-23 00:53:12] 717*2^1401136-1 is not prime. Res64: EA9B805ADDC1D19F Time : 0.0 sec. user=mdettweiler [2015-06-23 00:53:12] 777*2^1401136-1 is not prime. Res64: 99D96697CB70C35D Time : 0.0 sec. user=mdettweiler [2015-06-23 01:10:22] 803*2^1401136-1 is not prime. Res64: 7DB6C7D3438682EC Time : 0.0 sec. user=mdettweiler [2015-06-23 01:10:23] 999*2^1401136-1 is not prime. Res64: C1A61C2FF7ECA1CD Time : 0.0 sec. user=mdettweiler [2015-06-23 01:10:23] 869*2^1401136-1 is not prime. Res64: 3A1FE70456FC9AEE Time : 0.0 sec. user=mdettweiler [2015-06-23 01:10:23] 607*2^1401137-1 is not prime. Res64: CBA9C2563363DAEA Time : 0.0 sec. user=mdettweiler [2015-06-23 01:10:29] 631*2^1401137-1 is not prime. Res64: DE2E1784AEC70947 Time : 0.0 sec. user=mdettweiler [2015-06-23 01:10:30] 649*2^1401137-1 is not prime. Res64: E552E17AC630388B Time : 0.0 sec. user=mdettweiler [2015-06-23 01:27:43] 699*2^1401137-1 is not prime. Res64: D19261E9172EC4EF Time : 0.0 sec. user=mdettweiler [2015-06-23 01:27:44] 717*2^1401137-1 is not prime. Res64: BE2EAA3E7BB1602D Time : 0.0 sec. user=mdettweiler [2015-06-23 01:27:44] 735*2^1401137-1 is not prime. Res64: B76E34B29E86051E Time : 0.0 sec. user=mdettweiler [2015-06-23 01:27:45] 759*2^1401137-1 is not prime. Res64: A638541DB4FDB9AD Time : 0.0 sec. user=mdettweiler [2015-06-23 01:27:47] 865*2^1401137-1 is not prime. Res64: 168571F8D8EF912E Time : 0.0 sec. user=mdettweiler [2015-06-23 01:27:48] 889*2^1401137-1 is not prime. Res64: 7735D77D925C6A53 Time : 0.0 sec. user=mdettweiler [2015-06-23 01:45:22] 901*2^1401137-1 is not prime. Res64: EF927ED7DA6EE253 Time : 0.0 sec. user=mdettweiler [2015-06-23 01:45:22] 735*2^1401138-1 is not prime. Res64: 351B29C220B574FC Time : 0.0 sec. user=mdettweiler [2015-06-23 01:45:23] 981*2^1401137-1 is not prime. Res64: 7BBEAADD13B675F8 Time : 0.0 sec. user=mdettweiler [2015-06-23 01:45:23] 991*2^1401137-1 is not prime. Res64: 02B0597A68A10ADD Time : 0.0 sec. user=mdettweiler [2015-06-23 01:45:26] 605*2^1401138-1 is not prime. Res64: F8CCB94307BDFDBD Time : 0.0 sec. user=mdettweiler [2015-06-23 01:45:27] 677*2^1401138-1 is not prime. Res64: CCF1D568AB144E47 Time : 0.0 sec. user=mdettweiler [2015-06-23 02:02:41] 815*2^1401138-1 is not prime. Res64: 3A33CE22E18836FE Time : 0.0 sec. user=mdettweiler [2015-06-23 02:02:43] 825*2^1401138-1 is not prime. Res64: 83DB1E2B341B3D0B Time : 0.0 sec. user=mdettweiler [2015-06-23 02:02:46] 759*2^1401139-1 is not prime. Res64: 82F5AD330DEC4E93 Time : 0.0 sec. user=mdettweiler [2015-06-23 02:02:46] 939*2^1401139-1 is not prime. Res64: 433EE147FC6A3B05 Time : 0.0 sec. user=mdettweiler [2015-06-23 02:02:47] 859*2^1401139-1 is not prime. Res64: 0CB74143E5CD1DAE Time : 0.0 sec. user=mdettweiler [2015-06-23 02:02:48] 735*2^1401140-1 is not prime. Res64: 9BBAF7E099433B7A Time : 0.0 sec. user=juhehe [2015-06-23 02:15:18] 777*2^1401138-1 is not prime. Res64: AF929DE9BCED8748 Time : 0.0 sec. user=mdettweiler [2015-06-23 02:20:22] 813*2^1401140-1 is not prime. Res64: 308A6191A50A445E Time : 0.0 sec. user=mdettweiler [2015-06-23 02:20:23] 885*2^1401140-1 is not prime. Res64: D7FFD1A0C2CF3E0A Time : 0.0 sec. user=mdettweiler [2015-06-23 02:20:23] 915*2^1401140-1 is not prime. Res64: A345F796A6A8384E Time : 0.0 sec. user=mdettweiler [2015-06-23 02:20:24] 953*2^1401140-1 is not prime. Res64: 6EDD2B7C42297445 Time : 0.0 sec. user=mdettweiler [2015-06-23 02:20:28] 963*2^1401140-1 is not prime. Res64: 78BA100D46E66FB5 Time : 0.0 sec. user=mdettweiler [2015-06-23 02:20:29] 657*2^1401141-1 is not prime. Res64: 4D5CA0673AB23A56 Time : 0.0 sec. user=mdettweiler [2015-06-23 02:37:42] 817*2^1401141-1 is not prime. Res64: 1B5CCDFA8F73171C Time : 0.0 sec. user=mdettweiler [2015-06-23 02:37:43] 889*2^1401141-1 is not prime. Res64: 5C8C8E21DDC8DC0C Time : 0.0 sec. user=mdettweiler [2015-06-23 02:37:43] 901*2^1401141-1 is not prime. Res64: 173B058D44AF5F21 Time : 0.0 sec. user=mdettweiler [2015-06-23 02:37:43] 885*2^1401141-1 is not prime. Res64: 44031620BA15B2AE Time : 0.0 sec. user=mdettweiler [2015-06-23 02:37:46] 907*2^1401141-1 is not prime. Res64: 280F10D558240103 Time : 0.0 sec. user=mdettweiler [2015-06-23 02:37:47] 949*2^1401141-1 is not prime. Res64: E9E5212DCFE3B483 Time : 0.0 sec. user=mdettweiler [2015-06-23 02:55:17] 665*2^1401142-1 is not prime. Res64: 1C5A8F838A3F3B03 Time : 0.0 sec. user=mdettweiler [2015-06-23 02:55:17] 813*2^1401142-1 is not prime. Res64: E08D599DA6F288B3 Time : 0.0 sec. user=mdettweiler [2015-06-23 02:55:17] 815*2^1401142-1 is not prime. Res64: BD46B9011E63B4C1 Time : 0.0 sec. user=mdettweiler [2015-06-23 02:55:18] 951*2^1401141-1 is not prime. Res64: 2C06443F71ED827A Time : 0.0 sec. user=mdettweiler [2015-06-23 02:55:18] 693*2^1401143-1 is not prime. Res64: A6B0CD9CD7AE3F78 Time : 0.0 sec. user=mdettweiler [2015-06-23 02:55:18] 997*2^1401141-1 is not prime. Res64: 9A42526E3D69ED8C Time : 0.0 sec. user=mdettweiler [2015-06-23 03:12:39] 789*2^1401143-1 is not prime. Res64: F4C58DCA4CCB50BD Time : 0.0 sec. user=mdettweiler [2015-06-23 03:12:39] 825*2^1401143-1 is not prime. Res64: 161CBBA5020D426B Time : 0.0 sec. user=mdettweiler [2015-06-23 03:12:39] 725*2^1401144-1 is not prime. Res64: E002F152AC6AF5FE Time : 0.0 sec. user=mdettweiler [2015-06-23 03:12:40] 765*2^1401144-1 is not prime. Res64: 09BA9C9A2D78F1A9 Time : 0.0 sec. user=mdettweiler [2015-06-23 03:12:40] 879*2^1401143-1 is not prime. Res64: 39D141C2341B3376 Time : 0.0 sec. user=mdettweiler [2015-06-23 03:12:41] 973*2^1401143-1 is not prime. Res64: 2CB8FAC47737BBFD Time : 0.0 sec. user=mdettweiler [2015-06-23 03:30:01] 759*2^1401145-1 is not prime. Res64: 9E530375D6B3AB27 Time : 0.0 sec. user=mdettweiler [2015-06-23 03:30:02] 765*2^1401145-1 is not prime. Res64: A6739C498C466E8A Time : 0.0 sec. user=mdettweiler [2015-06-23 03:30:03] 875*2^1401144-1 is not prime. Res64: DCCCBCF1F6E9FC12 Time : 0.0 sec. user=mdettweiler [2015-06-23 03:30:03] 609*2^1401145-1 is not prime. Res64: 70FC9AD913937C82 Time : 0.0 sec. user=mdettweiler [2015-06-23 03:30:04] 959*2^1401144-1 is not prime. Res64: 44C3DC63197FC1EC Time : 0.0 sec. user=mdettweiler [2015-06-23 03:30:05] 729*2^1401145-1 is not prime. Res64: 8F2116E179E352DB Time : 0.0 sec. user=mdettweiler [2015-06-23 03:47:58] 841*2^1401145-1 is not prime. Res64: F6840268A35804EA Time : 0.0 sec. user=mdettweiler [2015-06-23 03:47:59] 767*2^1401146-1 is not prime. Res64: AB6928634C9240CE Time : 0.0 sec. user=mdettweiler [2015-06-23 03:48:00] 981*2^1401145-1 is not prime. Res64: 50743EDED20C24B7 Time : 0.0 sec. user=mdettweiler [2015-06-23 03:48:01] 785*2^1401146-1 is not prime. Res64: 213095914E760DCC Time : 0.0 sec. user=mdettweiler [2015-06-23 03:48:02] 875*2^1401146-1 is not prime. Res64: 045B18EB1A314B36 Time : 0.0 sec. user=mdettweiler [2015-06-23 03:48:03] 643*2^1401147-1 is not prime. Res64: E6593808F3ED23ED Time : 0.0 sec. user=juhehe [2015-06-23 03:48:47] 773*2^1401144-1 is not prime. Res64: 4C5B76B1DEA12D44 Time : 0.0 sec. user=mdettweiler [2015-06-23 04:05:42] 751*2^1401147-1 is not prime. Res64: 09AF809A126D9711 Time : 0.0 sec. user=mdettweiler [2015-06-23 04:05:42] 765*2^1401147-1 is not prime. Res64: 5A6ACE115F7BF009 Time : 0.0 sec. user=mdettweiler [2015-06-23 04:05:43] 769*2^1401147-1 is not prime. Res64: 4BD3FED5F14DB922 Time : 0.0 sec. user=mdettweiler [2015-06-23 04:05:43] 801*2^1401147-1 is not prime. Res64: 3F19DA96C6708F4B Time : 0.0 sec. user=mdettweiler [2015-06-23 04:05:45] 677*2^1401148-1 is not prime. Res64: EFD4C8C87EF93615 Time : 0.0 sec. user=mdettweiler [2015-06-23 04:05:45] 803*2^1401148-1 is not prime. Res64: 347E63A775C5F995 Time : 0.0 sec. user=mdettweiler [2015-06-23 04:23:06] 969*2^1401148-1 is not prime. Res64: CB7F9CBF695DB96D Time : 0.0 sec. user=mdettweiler [2015-06-23 04:23:06] 989*2^1401148-1 is not prime. Res64: E1CC9B42BB881A5B Time : 0.0 sec. user=mdettweiler [2015-06-23 04:23:08] 927*2^1401149-1 is not prime. Res64: C5A29965533608EB Time : 0.0 sec. user=mdettweiler [2015-06-23 04:23:08] 985*2^1401149-1 is not prime. Res64: 52C31BA690A56C45 Time : 0.0 sec. user=mdettweiler [2015-06-23 04:23:10] 741*2^1401149-1 is not prime. Res64: 0B0E6A67779224EA Time : 0.0 sec. user=mdettweiler [2015-06-23 04:23:10] 889*2^1401149-1 is not prime. Res64: 8B886A7FF1646C04 Time : 0.0 sec. user=juhehe [2015-06-23 04:35:48] 927*2^1401148-1 is not prime. Res64: 5F92BD7B57B3C560 Time : 0.0 sec. user=mdettweiler [2015-06-23 04:40:26] 657*2^1401150-1 is not prime. Res64: 3C5F3C9CFFF1DF6E Time : 0.0 sec. user=mdettweiler [2015-06-23 04:40:26] 723*2^1401150-1 is not prime. Res64: E0702FE841CBCB12 Time : 0.0 sec. user=mdettweiler [2015-06-23 04:40:28] 755*2^1401150-1 is not prime. Res64: 82D0C87D924BEFED Time : 0.0 sec. user=mdettweiler [2015-06-23 04:40:28] 761*2^1401150-1 is not prime. Res64: 1F8AD922785D1047 Time : 0.0 sec. user=mdettweiler [2015-06-23 04:40:29] 783*2^1401150-1 is not prime. Res64: D3F5827F9BAD85D2 Time : 0.0 sec. user=mdettweiler [2015-06-23 04:40:29] 797*2^1401150-1 is not prime. Res64: F7730792A0BB3592 Time : 0.0 sec. user=mdettweiler [2015-06-23 04:57:44] 933*2^1401150-1 is not prime. Res64: F720A7AEE2EB7007 Time : 0.0 sec. user=mdettweiler [2015-06-23 04:57:44] 941*2^1401150-1 is not prime. Res64: 053BCFBC649C91DB Time : 0.0 sec. user=mdettweiler [2015-06-23 04:57:46] 1001*2^1401150-1 is not prime. Res64: 71B812D451A503AF Time : 0.0 sec. user=mdettweiler [2015-06-23 04:57:47] 601*2^1401151-1 is not prime. Res64: B55B898099A17A8A Time : 0.0 sec. user=mdettweiler [2015-06-23 04:57:47] 603*2^1401151-1 is not prime. Res64: 78C92319DDAB089C Time : 0.0 sec. user=mdettweiler [2015-06-23 04:57:47] 639*2^1401151-1 is not prime. Res64: 4988315270297D17 Time : 0.0 sec. user=mdettweiler [2015-06-23 05:15:02] 693*2^1401151-1 is not prime. Res64: 9FA46688F4E51672 Time : 0.0 sec. user=mdettweiler [2015-06-23 05:15:03] 741*2^1401151-1 is not prime. Res64: 9E7A1CF332FD42DE Time : 0.0 sec. user=mdettweiler [2015-06-23 05:15:05] 745*2^1401151-1 is not prime. Res64: 35681802368BA6E9 Time : 0.0 sec. user=mdettweiler [2015-06-23 05:15:06] 769*2^1401151-1 is not prime. Res64: FBAEC29458A6D78D Time : 0.0 sec. user=mdettweiler [2015-06-23 05:15:06] 771*2^1401151-1 is not prime. Res64: DA7145CF6F011F2E Time : 0.0 sec. user=mdettweiler [2015-06-23 05:15:06] 891*2^1401151-1 is not prime. Res64: D53A7A9616E71D1F Time : 0.0 sec. user=mdettweiler [2015-06-23 05:32:23] 931*2^1401151-1 is not prime. Res64: FCC5041C36253B5F Time : 0.0 sec. user=mdettweiler [2015-06-23 05:32:23] 943*2^1401151-1 is not prime. Res64: 5FA91D2585C42EA1 Time : 0.0 sec. user=mdettweiler [2015-06-23 05:32:23] 909*2^1401151-1 is not prime. Res64: 633D20FE2EFA734E Time : 0.0 sec. user=mdettweiler [2015-06-23 05:32:24] 913*2^1401151-1 is not prime. Res64: B51941B0D5E7AAC1 Time : 0.0 sec. user=mdettweiler [2015-06-23 05:32:24] 813*2^1401152-1 is not prime. Res64: B198C43E88660B8B Time : 0.0 sec. user=mdettweiler [2015-06-23 05:32:25] 825*2^1401152-1 is not prime. Res64: 4EABC233A44E1444 Time : 0.0 sec. user=mdettweiler [2015-06-23 05:49:42] 627*2^1401153-1 is not prime. Res64: 356A936D95A1B8BA Time : 0.0 sec. user=mdettweiler [2015-06-23 05:49:43] 781*2^1401153-1 is not prime. Res64: E70B22376F0775AB Time : 0.0 sec. user=mdettweiler [2015-06-23 05:49:44] 795*2^1401153-1 is not prime. Res64: 1C07DB977C9C86E2 Time : 0.0 sec. user=mdettweiler [2015-06-23 05:49:44] 885*2^1401153-1 is not prime. Res64: 8D0578A80E970677 Time : 0.0 sec. user=mdettweiler [2015-06-23 05:49:46] 855*2^1401152-1 is not prime. Res64: 448500D57A800B73 Time : 0.0 sec. user=mdettweiler [2015-06-23 05:49:46] 857*2^1401152-1 is not prime. Res64: 8A1E6794A13AB22B Time : 0.0 sec. user=mdettweiler [2015-06-23 06:07:00] 987*2^1401153-1 is not prime. Res64: CCE0004E4912D64E Time : 0.0 sec. user=mdettweiler [2015-06-23 06:07:01] 651*2^1401154-1 is not prime. Res64: 7F02F9CA7B734D3E Time : 0.0 sec. user=mdettweiler [2015-06-23 06:07:01] 617*2^1401154-1 is not prime. Res64: 3B598FA5E86FE394 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:07:01] 687*2^1401154-1 is not prime. Res64: A1E4392BF53D5F84 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:07:03] 765*2^1401154-1 is not prime. Res64: D55418F60F7EC6C2 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:07:04] 803*2^1401154-1 is not prime. Res64: E4DDA739E2ECE5B8 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:24:23] 813*2^1401154-1 is not prime. Res64: 9F8665AF569712F8 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:24:23] 975*2^1401154-1 is not prime. Res64: 928E84457A735FD2 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:24:27] 993*2^1401154-1 is not prime. Res64: 6CF7BD6711594375 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:24:27] 887*2^1401154-1 is not prime. Res64: 3FC483A79EB747B8 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:24:27] 609*2^1401155-1 is not prime. Res64: 4CA939B008A14505 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:24:28] 645*2^1401155-1 is not prime. Res64: 5C48913FCC20CA18 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:41:41] 693*2^1401155-1 is not prime. Res64: DA0A73B471390020 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:41:41] 759*2^1401155-1 is not prime. Res64: C5BC9FA08CDDBA35 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:41:44] 823*2^1401155-1 is not prime. Res64: E986202B41C54619 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:41:45] 825*2^1401155-1 is not prime. Res64: 43F7803EB5363EAD Time : 0.0 sec. user=mdettweiler [2015-06-23 06:41:45] 883*2^1401155-1 is not prime. Res64: 0C5C100C6A5675DF Time : 0.0 sec. user=mdettweiler [2015-06-23 06:41:45] 939*2^1401155-1 is not prime. Res64: 1D85FB61901A4D52 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:58:59] 963*2^1401155-1 is not prime. Res64: 096AE733909EC14A Time : 0.0 sec. user=mdettweiler [2015-06-23 06:58:59] 657*2^1401156-1 is not prime. Res64: 024E8AFFB17294E9 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:59:02] 683*2^1401156-1 is not prime. Res64: 2A3182C8E2075C74 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:59:02] 645*2^1401157-1 is not prime. Res64: DEE78326A11D9889 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:59:03] 729*2^1401157-1 is not prime. Res64: D1642B5287F859F5 Time : 0.0 sec. user=mdettweiler [2015-06-23 06:59:03] 775*2^1401157-1 is not prime. Res64: 4868D69582634427 Time : 0.0 sec. user=mdettweiler [2015-06-23 07:16:18] 861*2^1401157-1 is not prime. Res64: 9584EF62B534F61C Time : 0.0 sec. user=mdettweiler [2015-06-23 07:16:18] 605*2^1401158-1 is not prime. Res64: C2C2C699BEBB1B98 Time : 0.0 sec. user=mdettweiler [2015-06-23 07:16:19] 711*2^1401158-1 is not prime. Res64: DDEF4CA37EB1C5EB Time : 0.0 sec. user=mdettweiler [2015-06-23 07:16:20] 771*2^1401158-1 is not prime. Res64: 7D583122ADF1233F Time : 0.0 sec. user=mdettweiler [2015-06-23 07:16:22] 893*2^1401158-1 is not prime. Res64: 88FFAC37C8120CE4 Time : 0.0 sec. user=mdettweiler [2015-06-23 07:16:22] 935*2^1401158-1 is not prime. Res64: 173A8F2C38BD53F8 Time : 0.0 sec. user=mdettweiler [2015-06-23 07:33:39] 859*2^1401159-1 is not prime. Res64: EA82CBF5301B4DE5 Time : 0.0 sec. user=mdettweiler [2015-06-23 07:33:40] 931*2^1401159-1 is not prime. Res64: B02F6774FC987169 Time : 0.0 sec. user=mdettweiler [2015-06-23 07:33:40] 623*2^1401160-1 is not prime. Res64: D35377CC3F8F73DE Time : 0.0 sec. user=mdettweiler [2015-06-23 07:33:41] 625*2^1401159-1 is not prime. Res64: 47CA8953E5EB447B Time : 0.0 sec. user=mdettweiler [2015-06-23 07:33:41] 699*2^1401160-1 is not prime. Res64: 82C990C565DEFC4E Time : 0.0 sec. user=mdettweiler [2015-06-23 07:33:41] 709*2^1401159-1 is not prime. Res64: 73368E865C262001 Time : 0.0 sec. user=mdettweiler [2015-06-23 07:50:58] 813*2^1401160-1 is not prime. Res64: 4288E846AE197D54 Time : 0.0 sec. user=mdettweiler [2015-06-23 07:50:58] 863*2^1401160-1 is not prime. Res64: 1EAED6870563ED57 Time : 0.0 sec. user=mdettweiler [2015-06-23 07:51:00] 619*2^1401161-1 is not prime. Res64: C188BC6B1A2FE60E Time : 0.0 sec. user=mdettweiler [2015-06-23 07:51:00] 675*2^1401161-1 is not prime. Res64: 88153D87B85266C6 Time : 0.0 sec. user=mdettweiler [2015-06-23 07:51:01] 965*2^1401160-1 is not prime. Res64: A6DB89925D4B69A8 Time : 0.0 sec. user=mdettweiler [2015-06-23 07:51:02] 983*2^1401160-1 is not prime. Res64: 7E297C9FF393A702 Time : 0.0 sec. user=mdettweiler [2015-06-23 08:08:17] 745*2^1401161-1 is not prime. Res64: AB4A64AAA1161898 Time : 0.0 sec. user=mdettweiler [2015-06-23 08:08:17] 805*2^1401161-1 is not prime. Res64: 6352238338B8794E Time : 0.0 sec. user=mdettweiler [2015-06-23 08:08:17] 777*2^1401161-1 is not prime. Res64: 4D6ADD6DD0B16DE9 Time : 0.0 sec. user=mdettweiler [2015-06-23 08:08:18] 811*2^1401161-1 is not prime. Res64: 78107965168839B2 Time : 0.0 sec. user=mdettweiler [2015-06-23 08:08:19] 871*2^1401161-1 is not prime. Res64: 4C32C45B1614CB5D Time : 0.0 sec. user=mdettweiler [2015-06-23 08:08:19] 925*2^1401161-1 is not prime. Res64: C6CC769640344B8A Time : 0.0 sec. user=mdettweiler [2015-06-23 08:25:40] 981*2^1401161-1 is not prime. Res64: 3AD737935D8C7373 Time : 0.0 sec. user=mdettweiler [2015-06-23 08:25:40] 997*2^1401161-1 is not prime. Res64: 900B257351CCE6EA Time : 0.0 sec. user=mdettweiler [2015-06-23 08:25:42] 683*2^1401162-1 is not prime. Res64: BFBFDEE1DD97F806 Time : 0.0 sec. user=mdettweiler [2015-06-23 08:25:42] 755*2^1401162-1 is not prime. Res64: 424CB870E2BF8EC0 Time : 0.0 sec. user=mdettweiler [2015-06-23 08:25:42] 833*2^1401162-1 is not prime. Res64: 792DAA9821C3AE29 Time : 0.0 sec. user=mdettweiler [2015-06-23 08:25:43] 941*2^1401162-1 is not prime. Res64: 3DCCADA230B55248 Time : 0.0 sec. user=mdettweiler [2015-06-23 08:42:58] 975*2^1401162-1 is not prime. Res64: 242DC380FE48B4E6 Time : 0.0 sec. user=mdettweiler [2015-06-23 08:42:58] 885*2^1401163-1 is not prime. Res64: 8E196D343A584846 Time : 0.0 sec. user=mdettweiler [2015-06-23 08:42:59] 813*2^1401164-1 is not prime. Res64: 17FB94A1644C57D4 Time : 0.0 sec. user=mdettweiler [2015-06-23 08:43:00] 873*2^1401164-1 is not prime. Res64: 4CCE5E8A29EE1EF7 Time : 0.0 sec. user=mdettweiler [2015-06-23 08:43:01] 625*2^1401165-1 is not prime. Res64: FCF401CB733C7893 Time : 0.0 sec. user=mdettweiler [2015-06-23 08:43:01] 649*2^1401165-1 is not prime. Res64: 50B28EF7ED6EACEC Time : 0.0 sec. user=mdettweiler [2015-06-23 09:00:17] 717*2^1401165-1 is not prime. Res64: ABE41F3554843E27 Time : 0.0 sec. user=mdettweiler [2015-06-23 09:00:18] 889*2^1401165-1 is not prime. Res64: 2E1D80CCD8298FD2 Time : 0.0 sec. user=mdettweiler [2015-06-23 09:00:20] 955*2^1401165-1 is not prime. Res64: AB07D58991C545B4 Time : 0.0 sec. user=mdettweiler [2015-06-23 09:00:20] 741*2^1401165-1 is not prime. Res64: 86F528099ACB90CE Time : 0.0 sec. user=mdettweiler [2015-06-23 09:00:21] 895*2^1401165-1 is not prime. Res64: F777BA9FB91FBFFD Time : 0.0 sec. user=mdettweiler [2015-06-23 09:00:22] 657*2^1401166-1 is not prime. Res64: E485DEC3D9CFDB17 Time : 0.0 sec. user=mdettweiler [2015-06-23 09:18:19] 785*2^1401166-1 is not prime. Res64: 7E83F09D3EF6B894 Time : 0.0 sec. user=mdettweiler [2015-06-23 09:18:19] 843*2^1401166-1 is not prime. Res64: 0F9364D47B55FD6D Time : 0.0 sec. user=mdettweiler [2015-06-23 09:18:22] 861*2^1401166-1 is not prime. Res64: E2C40D8BD895023E Time : 0.0 sec. user=mdettweiler [2015-06-23 09:18:23] 693*2^1401167-1 is not prime. Res64: 5E7B98E9FAB318B3 Time : 0.0 sec. user=mdettweiler [2015-06-23 09:18:25] 703*2^1401167-1 is not prime. Res64: E80B5FF683B18D9A Time : 0.0 sec. user=mdettweiler [2015-06-23 09:18:25] 735*2^1401167-1 is not prime. Res64: C421D265F51FE2A5 Time : 0.0 sec. user=mdettweiler [2015-06-23 09:35:37] 819*2^1401167-1 is not prime. Res64: 9A8F36538279D6D4 Time : 0.0 sec. user=mdettweiler [2015-06-23 09:35:37] 883*2^1401167-1 is not prime. Res64: 8605018DEC406FA0 Time : 0.0 sec. user=mdettweiler [2015-06-23 09:35:40] 949*2^1401167-1 is not prime. Res64: F8DCC6431DD8AF42 Time : 0.0 sec. user=mdettweiler [2015-06-23 09:35:41] 665*2^1401168-1 is not prime. Res64: 2B68F2F5A5E52176 Time : 0.0 sec. user=mdettweiler [2015-06-23 09:35:43] 809*2^1401168-1 is not prime. Res64: 8075D5E1EF0BECE8 Time : 0.0 sec. user=mdettweiler [2015-06-23 09:35:43] 849*2^1401168-1 is not prime. Res64: F6CDB818B6E98FCA Time : 0.0 sec. user=mdettweiler [2015-06-23 09:52:56] 887*2^1401168-1 is not prime. Res64: EC8FA11115E19ED3 Time : 0.0 sec. user=mdettweiler [2015-06-23 09:52:57] 765*2^1401169-1 is not prime. Res64: 9F0243CF67B17B79 Time : 0.0 sec. user=mdettweiler [2015-06-23 09:52:58] 841*2^1401169-1 is not prime. Res64: 896DCBDEB154DB4E Time : 0.0 sec. user=mdettweiler [2015-06-23 09:52:59] 979*2^1401169-1 is not prime. Res64: 2D9995C18F9CB018 Time : 0.0 sec. user=mdettweiler [2015-06-23 09:53:01] 985*2^1401169-1 is not prime. Res64: BEEBDC052A1A35E6 Time : 0.0 sec. user=mdettweiler [2015-06-23 09:53:02] 645*2^1401170-1 is not prime. Res64: 64E10416208A0A97 Time : 0.0 sec. user=juhehe [2015-06-23 09:56:58] 753*2^1401167-1 is not prime. Res64: 95E23E2E5CE9707E Time : 0.0 sec. user=mdettweiler [2015-06-23 10:10:16] 717*2^1401170-1 is not prime. Res64: A58EE1E4B65987FF Time : 0.0 sec. user=mdettweiler [2015-06-23 10:10:16] 735*2^1401170-1 is not prime. Res64: B5421368C710C1EE Time : 0.0 sec. user=mdettweiler [2015-06-23 10:10:16] 783*2^1401170-1 is not prime. Res64: 69067F5B8B67B5AA Time : 0.0 sec. user=mdettweiler [2015-06-23 10:10:17] 791*2^1401170-1 is not prime. Res64: 51C366BD221C5BC0 Time : 0.0 sec. user=mdettweiler [2015-06-23 10:10:19] 797*2^1401170-1 is not prime. Res64: E7FC66E0265066BA Time : 0.0 sec. user=mdettweiler [2015-06-23 10:10:21] 875*2^1401170-1 is not prime. Res64: 7DC2F0DD6E4BEA25 Time : 0.0 sec. user=mdettweiler [2015-06-23 10:27:36] 945*2^1401170-1 is not prime. Res64: 8207A66383E52E32 Time : 0.0 sec. user=mdettweiler [2015-06-23 10:27:36] 609*2^1401171-1 is not prime. Res64: A52E02C370414D71 Time : 0.0 sec. user=mdettweiler [2015-06-23 10:27:37] 745*2^1401171-1 is not prime. Res64: A6F7E8474DF8B322 Time : 0.0 sec. user=mdettweiler [2015-06-23 10:27:38] 751*2^1401171-1 is not prime. Res64: CB57CAC886FD02AD Time : 0.0 sec. user=mdettweiler [2015-06-23 10:27:42] 789*2^1401171-1 is not prime. Res64: 27FA789730C1DB5F Time : 0.0 sec. user=mdettweiler [2015-06-23 10:27:42] 859*2^1401171-1 is not prime. Res64: EA9955D1871A3F61 Time : 0.0 sec. user=juhehe [2015-06-23 10:36:04] 911*2^1401170-1 is not prime. Res64: 9717B69F66EA5B77 Time : 0.0 sec. user=mdettweiler [2015-06-23 10:44:55] 969*2^1401171-1 is not prime. Res64: DCFD3C0E1556D303 Time : 0.0 sec. user=mdettweiler [2015-06-23 10:44:55] 603*2^1401172-1 is not prime. Res64: B01C97C887B3E107 Time : 0.0 sec. user=mdettweiler [2015-06-23 10:44:57] 615*2^1401172-1 is not prime. Res64: 47B3769E1E7ECB8E Time : 0.0 sec. user=mdettweiler [2015-06-23 10:44:57] 629*2^1401172-1 is not prime. Res64: 85153CAD2914DACF Time : 0.0 sec. user=mdettweiler [2015-06-23 10:45:00] 675*2^1401172-1 is not prime. Res64: 19B478227186BF28 Time : 0.0 sec. user=mdettweiler [2015-06-23 10:45:00] 765*2^1401172-1 is not prime. Res64: A0ADD86AA18C54D4 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:02:13] 855*2^1401172-1 is not prime. Res64: 036D307798B307D9 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:02:14] 903*2^1401172-1 is not prime. Res64: 91DC02B647E19820 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:02:16] 933*2^1401172-1 is not prime. Res64: 74A8CCF84DCB4F22 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:02:18] 847*2^1401173-1 is not prime. Res64: 159FBFF23A3D67AB Time : 0.0 sec. user=mdettweiler [2015-06-23 11:02:19] 867*2^1401173-1 is not prime. Res64: 9870670B28A689D6 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:02:20] 981*2^1401173-1 is not prime. Res64: DB87FC79F5FDC482 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:19:58] 605*2^1401174-1 is not prime. Res64: 24CD8C95C639DC36 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:19:58] 651*2^1401174-1 is not prime. Res64: CAAA365C1EA9AB41 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:20:02] 677*2^1401174-1 is not prime. Res64: 7CF4EF1DD2F8B367 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:20:02] 881*2^1401174-1 is not prime. Res64: 6D73F015562AA105 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:20:07] 965*2^1401174-1 is not prime. Res64: 3445F58CE4C77E02 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:20:08] 619*2^1401175-1 is not prime. Res64: 1EB129104E830816 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:37:22] 705*2^1401175-1 is not prime. Res64: 17028531CA5A969B Time : 0.0 sec. user=mdettweiler [2015-06-23 11:37:22] 831*2^1401175-1 is not prime. Res64: 6AE8D6764A0DA9B3 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:37:28] 909*2^1401175-1 is not prime. Res64: FAE939E29688B3B5 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:37:28] 939*2^1401175-1 is not prime. Res64: 126043495EC9DC25 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:37:31] 973*2^1401175-1 is not prime. Res64: 026402F12264AE36 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:37:31] 623*2^1401176-1 is not prime. Res64: 0567947EADD22191 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:54:46] 725*2^1401176-1 is not prime. Res64: B70F13AEEC51D99E Time : 0.0 sec. user=mdettweiler [2015-06-23 11:54:46] 843*2^1401176-1 is not prime. Res64: 8CB0F0721DE6E778 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:54:50] 923*2^1401176-1 is not prime. Res64: 3146775C9D1236D2 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:54:50] 945*2^1401176-1 is not prime. Res64: B0BA955AE4B4C21F Time : 0.0 sec. user=mdettweiler [2015-06-23 11:54:54] 999*2^1401176-1 is not prime. Res64: D8A67BAFAC5330D6 Time : 0.0 sec. user=mdettweiler [2015-06-23 11:54:54] 625*2^1401177-1 is not prime. Res64: B2481FCC3875189E Time : 0.0 sec. user=juhehe [2015-06-23 12:03:14] 649*2^1401175-1 is not prime. Res64: AAD3A7F983201A07 Time : 0.0 sec. user=juhehe [2015-06-23 12:07:48] 629*2^1401176-1 is not prime. Res64: E3D5066FAB6051C8 Time : 0.0 sec. user=mdettweiler [2015-06-23 12:12:19] 795*2^1401177-1 is not prime. Res64: 0AA79D89EE06344F Time : 0.0 sec. user=mdettweiler [2015-06-23 12:12:19] 849*2^1401177-1 is not prime. Res64: 8A43379D9E039D2C Time : 0.0 sec. user=mdettweiler [2015-06-23 12:12:20] 901*2^1401177-1 is not prime. Res64: CA82C78AA15AA3FC Time : 0.0 sec. user=mdettweiler [2015-06-23 12:12:20] 955*2^1401177-1 is not prime. Res64: D22B91B44976ADCB Time : 0.0 sec. user=mdettweiler [2015-06-23 12:12:23] 979*2^1401177-1 is not prime. Res64: CB2A84AC6F51C779 Time : 0.0 sec. user=mdettweiler [2015-06-23 12:12:23] 605*2^1401178-1 is not prime. Res64: D048B0936070112A Time : 0.0 sec. user=mdettweiler [2015-06-23 12:29:40] 723*2^1401178-1 is not prime. Res64: 0D05E7D5F0E9B377 Time : 0.0 sec. user=mdettweiler [2015-06-23 12:29:40] 647*2^1401178-1 is not prime. Res64: 3BD617C789FD6645 Time : 0.0 sec. user=mdettweiler [2015-06-23 12:29:41] 791*2^1401178-1 is not prime. Res64: 6632162AD3C27409 Time : 0.0 sec. user=mdettweiler [2015-06-23 12:29:41] 657*2^1401178-1 is not prime. Res64: DFFBFCD4ABDFFA84 Time : 0.0 sec. user=mdettweiler [2015-06-23 12:29:43] 801*2^1401178-1 is not prime. Res64: 36258FD1CA35013A Time : 0.0 sec. user=mdettweiler [2015-06-23 12:29:44] 845*2^1401178-1 is not prime. Res64: 98B88B524A340E26 Time : 0.0 sec. user=mdettweiler [2015-06-23 12:47:03] 1001*2^1401178-1 is not prime. Res64: 4B20A7EB425C75E5 Time : 0.0 sec. user=mdettweiler [2015-06-23 12:47:03] 645*2^1401179-1 is not prime. Res64: 2D5866CD66172A8D Time : 0.0 sec. user=mdettweiler [2015-06-23 12:47:04] 735*2^1401179-1 is not prime. Res64: B2CB405AFFF2FA7F Time : 0.0 sec. user=mdettweiler [2015-06-23 12:47:05] 861*2^1401179-1 is not prime. Res64: E2192555B4E33B0E Time : 0.0 sec. user=mdettweiler [2015-06-23 12:47:05] 895*2^1401179-1 is not prime. Res64: B755DAD72187DB30 Time : 0.0 sec. user=mdettweiler [2015-06-23 12:47:05] 921*2^1401179-1 is not prime. Res64: 8FE7603B930EC2B7 Time : 0.0 sec. user=juhehe [2015-06-23 12:51:16] 621*2^1401178-1 is not prime. Res64: 93EF2EFAEB45A10D Time : 0.0 sec. user=mdettweiler [2015-06-23 13:04:25] 641*2^1400930-1 is not prime. Res64: F000233C2DC5949E Time : 0.0 sec. user=mdettweiler [2015-06-23 13:04:26] 623*2^1401180-1 is not prime. Res64: 5C34CAC359A1561C Time : 0.0 sec. user=mdettweiler [2015-06-23 13:04:27] 767*2^1400930-1 is not prime. Res64: 0F0A45325A9E175B Time : 0.0 sec. user=mdettweiler [2015-06-23 13:04:28] 759*2^1401180-1 is not prime. Res64: E1226D69CE39E42A Time : 0.0 sec. user=mdettweiler [2015-06-23 13:04:30] 909*2^1401180-1 is not prime. Res64: F45DA4201EBE30DC Time : 0.0 sec. user=mdettweiler [2015-06-23 13:04:31] 687*2^1401181-1 is not prime. Res64: D24F3E85333C379E Time : 0.0 sec. user=mdettweiler [2015-06-23 13:22:19] 717*2^1401181-1 is not prime. Res64: E8FCBEEE472DB28B Time : 0.0 sec. user=mdettweiler [2015-06-23 13:22:20] 861*2^1401181-1 is not prime. Res64: 72FC774078DCAFD8 Time : 0.0 sec. user=mdettweiler [2015-06-23 13:22:21] 931*2^1401181-1 is not prime. Res64: D7D9B82018F595F3 Time : 0.0 sec. user=mdettweiler [2015-06-23 13:22:22] 945*2^1401181-1 is not prime. Res64: 93DC73B6E322CB28 Time : 0.0 sec. user=mdettweiler [2015-06-23 13:22:22] 997*2^1401181-1 is not prime. Res64: E4992A38DFC25582 Time : 0.0 sec. user=mdettweiler [2015-06-23 13:22:22] 705*2^1401182-1 is not prime. Res64: 7D4BF93285B1E663 Time : 0.0 sec. user=mdettweiler [2015-06-23 13:40:04] 771*2^1401182-1 is not prime. Res64: AC7889784F887E52 Time : 0.0 sec. user=mdettweiler [2015-06-23 13:40:04] 791*2^1401182-1 is not prime. Res64: EFD6EFD8707C8CD9 Time : 0.0 sec. user=mdettweiler [2015-06-23 13:40:06] 797*2^1401182-1 is not prime. Res64: E83DFFAA710A48F4 Time : 0.0 sec. user=mdettweiler [2015-06-23 13:40:06] 833*2^1401182-1 is not prime. Res64: 34880FDD755A58CA Time : 0.0 sec. user=mdettweiler [2015-06-23 13:40:06] 965*2^1401182-1 is not prime. Res64: B3110DC3EC2DF8FF Time : 0.0 sec. user=mdettweiler [2015-06-23 13:40:06] 981*2^1401182-1 is not prime. Res64: 730786AA8C4D77BB Time : 0.0 sec. user=mdettweiler [2015-06-23 13:57:46] 885*2^1401183-1 is not prime. Res64: E85608A855421F10 Time : 0.0 sec. user=mdettweiler [2015-06-23 13:57:47] 639*2^1401184-1 is not prime. Res64: F6187F316E28E725 Time : 0.0 sec. user=mdettweiler [2015-06-23 13:57:47] 765*2^1401183-1 is not prime. Res64: A38B383F04F45A3A Time : 0.0 sec. user=mdettweiler [2015-06-23 13:57:48] 675*2^1401184-1 is not prime. Res64: ED92D0C606267DE8 Time : 0.0 sec. user=mdettweiler [2015-06-23 13:57:48] 853*2^1401183-1 is not prime. Res64: 42A6AB648CA88338 Time : 0.0 sec. user=mdettweiler [2015-06-23 13:57:48] 747*2^1401184-1 is not prime. Res64: AD97484EE5E668CE Time : 0.0 sec. user=juhehe [2015-06-23 14:13:58] 609*2^1401183-1 is not prime. Res64: 17480AAFB6021D74 Time : 0.0 sec. user=mdettweiler [2015-06-23 14:15:13] 855*2^1401184-1 is not prime. Res64: 1595B93943262337 Time : 0.0 sec. user=mdettweiler [2015-06-23 14:15:14] 759*2^1401184-1 is not prime. Res64: B06F6E6763A64BA8 Time : 0.0 sec. user=mdettweiler [2015-06-23 14:15:14] 897*2^1401184-1 is not prime. Res64: 9937106C7F252CCC Time : 0.0 sec. user=mdettweiler [2015-06-23 14:15:14] 765*2^1401184-1 is not prime. Res64: 3B531F79F34EB767 Time : 0.0 sec. user=mdettweiler [2015-06-23 14:15:15] 909*2^1401184-1 is not prime. Res64: C1CD1FA0E60C6170 Time : 0.0 sec. user=mdettweiler [2015-06-23 14:15:15] 651*2^1401185-1 is not prime. Res64: 5414992A0D284ED6 Time : 0.0 sec. user=mdettweiler [2015-06-23 14:32:43] 669*2^1401185-1 is not prime. Res64: 108BF377CB77E3D5 Time : 0.0 sec. user=mdettweiler [2015-06-23 14:32:43] 969*2^1401185-1 is not prime. Res64: 4FB60857A2E85387 Time : 0.0 sec. user=mdettweiler [2015-06-23 14:32:43] 787*2^1401185-1 is not prime. Res64: 3F9B8C71EC10982E Time : 0.0 sec. user=mdettweiler [2015-06-23 14:32:43] 991*2^1401185-1 is not prime. Res64: 1C3FB5B56F608FA4 Time : 0.0 sec. user=mdettweiler [2015-06-23 14:32:44] 641*2^1401186-1 is not prime. Res64: 2BA14D59837A70FC Time : 0.0 sec. user=mdettweiler [2015-06-23 14:32:44] 717*2^1401186-1 is not prime. Res64: 786A9E5A74F87F92 Time : 0.0 sec. user=mdettweiler [2015-06-23 14:50:12] 737*2^1401186-1 is not prime. Res64: 485E228C873CCC3F Time : 0.0 sec. user=mdettweiler [2015-06-23 14:50:13] 755*2^1401186-1 is not prime. Res64: E1205AE611DA73DE Time : 0.0 sec. user=mdettweiler [2015-06-23 14:50:13] 903*2^1401186-1 is not prime. Res64: 86866850E750FD10 Time : 0.0 sec. user=mdettweiler [2015-06-23 14:50:14] 963*2^1401186-1 is not prime. Res64: 28F4B71EF713CBDC Time : 0.0 sec. user=mdettweiler [2015-06-23 14:50:14] 783*2^1401186-1 is not prime. Res64: 9EBF0DBCC83830E6 Time : 0.0 sec. user=mdettweiler [2015-06-23 14:50:14] 887*2^1401186-1 is not prime. Res64: 194365265096F9DF Time : 0.0 sec. user=mdettweiler [2015-06-23 15:07:46] 951*2^1401187-1 is not prime. Res64: A4F9509DDBD434AC Time : 0.0 sec. user=mdettweiler [2015-06-23 15:07:47] 733*2^1401187-1 is not prime. Res64: 48F312CFC37C4C6C Time : 0.0 sec. user=mdettweiler [2015-06-23 15:07:47] 975*2^1401187-1 is not prime. Res64: D7686721C90B094A Time : 0.0 sec. user=mdettweiler [2015-06-23 15:07:47] 813*2^1401187-1 is not prime. Res64: 08D77F2243946F22 Time : 0.0 sec. user=mdettweiler [2015-06-23 15:07:48] 659*2^1401188-1 is not prime. Res64: F929F1348A7553CD Time : 0.0 sec. user=mdettweiler [2015-06-23 15:07:49] 743*2^1401188-1 is not prime. Res64: AA1848DCB92E1438 Time : 0.0 sec. user=mdettweiler [2015-06-23 15:25:12] 935*2^1401188-1 is not prime. Res64: F06924945870C135 Time : 0.0 sec. user=mdettweiler [2015-06-23 15:25:12] 609*2^1401189-1 is not prime. Res64: 63284BDA9DB256A4 Time : 0.0 sec. user=mdettweiler [2015-06-23 15:25:13] 675*2^1401189-1 is not prime. Res64: DB4B6E7EE55554DC Time : 0.0 sec. user=mdettweiler [2015-06-23 15:25:13] 795*2^1401189-1 is not prime. Res64: 714915273E9EE83C Time : 0.0 sec. user=mdettweiler [2015-06-23 15:25:13] 709*2^1401189-1 is not prime. Res64: EE6EC2D1A84B2886 Time : 0.0 sec. user=mdettweiler [2015-06-23 15:25:13] 847*2^1401189-1 is not prime. Res64: B0F4D3E1FA64F714 Time : 0.0 sec. user=mdettweiler [2015-06-23 15:42:32] 777*2^1401190-1 is not prime. Res64: 1BDA69D5A5DA9784 Time : 0.0 sec. user=mdettweiler [2015-06-23 15:42:32] 833*2^1401190-1 is not prime. Res64: 6C8D870DCC573BFD Time : 0.0 sec. user=mdettweiler [2015-06-23 15:42:32] 887*2^1401190-1 is not prime. Res64: E4F97AADE54D739D Time : 0.0 sec. user=mdettweiler [2015-06-23 15:42:32] 971*2^1401190-1 is not prime. Res64: 476B37D4DD3DF633 Time : 0.0 sec. user=mdettweiler [2015-06-23 15:42:35] 843*2^1401190-1 is not prime. Res64: 9D6C958ADC7C93FE Time : 0.0 sec. user=mdettweiler [2015-06-23 15:42:35] 845*2^1401190-1 is not prime. Res64: FD7135D5E5D7C4AC Time : 0.0 sec. user=mdettweiler [2015-06-23 16:00:05] 859*2^1401191-1 is not prime. Res64: 10B471C0AE392DC7 Time : 0.0 sec. user=mdettweiler [2015-06-23 16:00:05] 969*2^1401191-1 is not prime. Res64: BDD5872666508EBD Time : 0.0 sec. user=mdettweiler [2015-06-23 16:00:05] 813*2^1401191-1 is not prime. Res64: 4F9366B1F9A724E9 Time : 0.0 sec. user=mdettweiler [2015-06-23 16:00:05] 841*2^1401191-1 is not prime. Res64: 79CCFCB0218298A1 Time : 0.0 sec. user=mdettweiler [2015-06-23 16:00:07] 615*2^1401192-1 is not prime. Res64: 6D10015CD79FC28C Time : 0.0 sec. user=mdettweiler [2015-06-23 16:00:08] 689*2^1401192-1 is not prime. Res64: 19625F6BE26DC4BA Time : 0.0 sec. user=juhehe [2015-06-23 16:13:07] 649*2^1401191-1 is not prime. Res64: 7725A4F4DC0B8A3D Time : 0.0 sec. user=mdettweiler [2015-06-23 16:17:50] 713*2^1401192-1 is not prime. Res64: AB48758974632166 Time : 0.0 sec. user=mdettweiler [2015-06-23 16:17:50] 759*2^1401192-1 is not prime. Res64: 6FF0AB563864CE50 Time : 0.0 sec. user=mdettweiler [2015-06-23 16:17:51] 779*2^1401192-1 is not prime. Res64: 39BCE7AFB3C6B8EE Time : 0.0 sec. user=mdettweiler [2015-06-23 16:17:51] 933*2^1401192-1 is not prime. Res64: EF7F3CCB0A6A8F6D Time : 0.0 sec. user=mdettweiler [2015-06-23 16:17:53] 975*2^1401192-1 is not prime. Res64: 0D386B9ABB9236E5 Time : 0.0 sec. user=mdettweiler [2015-06-23 16:17:53] 609*2^1401193-1 is not prime. Res64: EE55F1610256C21C Time : 0.0 sec. user=mdettweiler [2015-06-23 16:35:22] 615*2^1401193-1 is not prime. Res64: DB64A5E5E48DEFAB Time : 0.0 sec. user=mdettweiler [2015-06-23 16:35:22] 705*2^1401193-1 is not prime. Res64: D00C1EF5A6F832B7 Time : 0.0 sec. user=mdettweiler [2015-06-23 16:35:22] 687*2^1401193-1 is not prime. Res64: 2179DE61DF9FF3EE Time : 0.0 sec. user=mdettweiler [2015-06-23 16:35:22] 747*2^1401193-1 is not prime. Res64: 9CEC2601D7C5D0F1 Time : 0.0 sec. user=mdettweiler [2015-06-23 16:35:28] 849*2^1401193-1 is not prime. Res64: 51F026B0BFB2808F Time : 0.0 sec. user=mdettweiler [2015-06-23 16:35:28] 855*2^1401193-1 is not prime. Res64: D48FD0FB1733FBC7 Time : 0.0 sec. user=mdettweiler [2015-06-23 16:52:50] 867*2^1401193-1 is not prime. Res64: 1225538A0FF2D095 Time : 0.0 sec. user=mdettweiler [2015-06-23 16:52:50] 967*2^1401193-1 is not prime. Res64: E4AED8FB4987F884 Time : 0.0 sec. user=mdettweiler [2015-06-23 16:52:51] 897*2^1401193-1 is not prime. Res64: C43F73BB9AF68659 Time : 0.0 sec. user=mdettweiler [2015-06-23 16:52:51] 671*2^1401194-1 is not prime. Res64: A4DB86B147885582 Time : 0.0 sec. user=mdettweiler [2015-06-23 16:52:55] 711*2^1401194-1 is not prime. Res64: 0C3B5042ED623BAC Time : 0.0 sec. user=mdettweiler [2015-06-23 16:52:55] 753*2^1401194-1 is not prime. Res64: E713A38CD9514718 Time : 0.0 sec. user=mdettweiler [2015-06-23 17:10:21] 825*2^1401194-1 is not prime. Res64: 3D26E3B532B16340 Time : 0.0 sec. user=mdettweiler [2015-06-23 17:10:21] 857*2^1401194-1 is not prime. Res64: 996AB51715518276 Time : 0.0 sec. user=mdettweiler [2015-06-23 17:10:21] 851*2^1401194-1 is not prime. Res64: 6CD215FC392E2E8F Time : 0.0 sec. user=mdettweiler [2015-06-23 17:10:22] 915*2^1401194-1 is not prime. Res64: 98FA264BB57C5BBC Time : 0.0 sec. user=mdettweiler [2015-06-23 17:10:25] 927*2^1401194-1 is not prime. Res64: AA18377634135A0D Time : 0.0 sec. user=mdettweiler [2015-06-23 17:10:26] 735*2^1401195-1 is not prime. Res64: CD236E57CF803008 Time : 0.0 sec. user=mdettweiler [2015-06-23 17:28:04] 861*2^1401195-1 is not prime. Res64: 7C16165395C22EF4 Time : 0.0 sec. user=mdettweiler [2015-06-23 17:28:04] 775*2^1401195-1 is not prime. Res64: B771A97B8DE2ADC3 Time : 0.0 sec. user=mdettweiler [2015-06-23 17:28:04] 919*2^1401195-1 is not prime. Res64: 44316853300CC1FF Time : 0.0 sec. user=mdettweiler [2015-06-23 17:28:04] 805*2^1401195-1 is not prime. Res64: 5F6250101CBED3EC Time : 0.0 sec. user=mdettweiler [2015-06-23 17:28:05] 963*2^1401195-1 is not prime. Res64: AF871403B558BEB8 Time : 0.0 sec. user=mdettweiler [2015-06-23 17:28:05] 623*2^1401196-1 is not prime. Res64: DB17993F8C1FD7C1 Time : 0.0 sec. user=mdettweiler [2015-06-23 17:45:27] 999*2^1401196-1 is not prime. Res64: AD3FF224712F4D15 Time : 0.0 sec. user=mdettweiler [2015-06-23 17:45:27] 711*2^1401197-1 is not prime. Res64: FE55EE4CF52D2CBE Time : 0.0 sec. user=mdettweiler [2015-06-23 17:45:27] 685*2^1401197-1 is not prime. Res64: F95B243CFF6B9F19 Time : 0.0 sec. user=mdettweiler [2015-06-23 17:45:27] 629*2^1401196-1 is not prime. Res64: 6F44EE06F3E6714C Time : 0.0 sec. user=mdettweiler [2015-06-23 17:45:27] 771*2^1401197-1 is not prime. Res64: D33128CB739558F9 Time : 0.0 sec. user=mdettweiler [2015-06-23 17:45:27] 843*2^1401196-1 is not prime. Res64: 42149B5AB9BE9E5D Time : 0.0 sec. user=mdettweiler [2015-06-23 18:02:54] 945*2^1401198-1 is not prime. Res64: 63BD31B9B8FE3F64 Time : 0.0 sec. user=mdettweiler [2015-06-23 18:02:55] 939*2^1401197-1 is not prime. Res64: E59C468AA02078C3 Time : 0.0 sec. user=mdettweiler [2015-06-23 18:02:56] 975*2^1401198-1 is not prime. Res64: D43D6C136EEB51F8 Time : 0.0 sec. user=mdettweiler [2015-06-23 18:02:57] 949*2^1401197-1 is not prime. Res64: 5235FE3D4D27F945 Time : 0.0 sec. user=mdettweiler [2015-06-23 18:02:58] 671*2^1401198-1 is not prime. Res64: 0697D84E59F3C638 Time : 0.0 sec. user=mdettweiler [2015-06-23 18:02:58] 815*2^1401198-1 is not prime. Res64: 8C04B8DAFEC8F6EA Time : 0.0 sec. user=mdettweiler [2015-06-23 18:21:50] 765*2^1401199-1 is not prime. Res64: F4B054863AB393DB Time : 0.0 sec. user=mdettweiler [2015-06-23 18:21:51] 793*2^1401199-1 is not prime. Res64: 2FAEB46E741EF45E Time : 0.0 sec. user=mdettweiler [2015-06-23 18:21:53] 975*2^1401199-1 is not prime. Res64: 7DE6145E291C11EA Time : 0.0 sec. user=mdettweiler [2015-06-23 18:21:53] 629*2^1401200-1 is not prime. Res64: EDB16678DC2A1466 Time : 0.0 sec. user=mdettweiler [2015-06-23 18:21:55] 811*2^1401199-1 is not prime. Res64: D8784E921333DFBA Time : 0.0 sec. user=mdettweiler [2015-06-23 18:21:55] 829*2^1401199-1 is not prime. Res64: 2B1D1E2322AEEC99 Time : 0.0 sec. user=juhehe [2015-06-23 18:22:41] 831*2^1401197-1 is not prime. Res64: 50C6AAA80C9A11E5 Time : 0.0 sec. user=mdettweiler [2015-06-23 18:39:31] 677*2^1401200-1 is not prime. Res64: 052A06F3B0433F3C Time : 0.0 sec. user=mdettweiler [2015-06-23 18:39:32] 725*2^1401200-1 is not prime. Res64: 1639B49D8EBDC220 Time : 0.0 sec. user=mdettweiler [2015-06-23 18:39:34] 797*2^1401200-1 is not prime. Res64: 7E85DB924A291A35 Time : 0.0 sec. user=mdettweiler [2015-06-23 18:39:34] 753*2^1401200-1 is not prime. Res64: 78738BE83684FF4F Time : 0.0 sec. user=mdettweiler [2015-06-23 18:39:34] 827*2^1401200-1 is not prime. Res64: 9039B5E3D49E30BC Time : 0.0 sec. user=mdettweiler [2015-06-23 18:39:34] 759*2^1401200-1 is not prime. Res64: 69CBC3AD88E67427 Time : 0.0 sec. user=mdettweiler [2015-06-23 18:57:01] 875*2^1401200-1 is not prime. Res64: 4D725619F1ED9DBA Time : 0.0 sec. user=mdettweiler [2015-06-23 18:57:01] 609*2^1401201-1 is not prime. Res64: 3640779A2BFBF86D Time : 0.0 sec. user=mdettweiler [2015-06-23 18:57:03] 637*2^1401201-1 is not prime. Res64: 56CF06B259205576 Time : 0.0 sec. user=mdettweiler [2015-06-23 18:57:03] 681*2^1401201-1 is not prime. Res64: D8624810BDA96A0C Time : 0.0 sec. user=mdettweiler [2015-06-23 18:57:07] 691*2^1401201-1 is not prime. Res64: 97341E171DE353E6 Time : 0.0 sec. user=mdettweiler [2015-06-23 18:57:07] 865*2^1401201-1 is not prime. Res64: 66B3F429D456FB9C Time : 0.0 sec. user=mdettweiler [2015-06-23 19:14:26] 623*2^1401202-1 is not prime. Res64: C54BE713A48D3C2D Time : 0.0 sec. user=mdettweiler [2015-06-23 19:14:26] 651*2^1401202-1 is not prime. Res64: 27940177DD4016FF Time : 0.0 sec. user=mdettweiler [2015-06-23 19:14:27] 633*2^1401202-1 is not prime. Res64: D6A05AA9CF36A539 Time : 0.0 sec. user=mdettweiler [2015-06-23 19:14:27] 675*2^1401202-1 is not prime. Res64: E96E42D6ED5A8BB6 Time : 0.0 sec. user=mdettweiler [2015-06-23 19:14:31] 695*2^1401202-1 is not prime. Res64: 880F3B963E600CDA Time : 0.0 sec. user=mdettweiler [2015-06-23 19:14:32] 741*2^1401202-1 is not prime. Res64: 881B78337BB9952C Time : 0.0 sec. user=mdettweiler [2015-06-23 19:31:50] 747*2^1401202-1 is not prime. Res64: B95EB7BC04758141 Time : 0.0 sec. user=mdettweiler [2015-06-23 19:31:51] 827*2^1401202-1 is not prime. Res64: 835B6107D0CEF9EC Time : 0.0 sec. user=mdettweiler [2015-06-23 19:31:52] 947*2^1401202-1 is not prime. Res64: BF7682CD056DA25E Time : 0.0 sec. user=mdettweiler [2015-06-23 19:31:52] 857*2^1401202-1 is not prime. Res64: 7824CC92F9692360 Time : 0.0 sec. user=mdettweiler [2015-06-23 19:31:53] 945*2^1401202-1 is not prime. Res64: 284231DFFF09760A Time : 0.0 sec. user=mdettweiler [2015-06-23 19:31:53] 951*2^1401202-1 is not prime. Res64: 61EC8917ECB9C9E7 Time : 0.0 sec. user=mdettweiler [2015-06-23 19:49:11] 983*2^1401202-1 is not prime. Res64: AF4DE6F9585A34E5 Time : 0.0 sec. user=mdettweiler [2015-06-23 19:49:11] 643*2^1401203-1 is not prime. Res64: 4F2EC96B535C5B96 Time : 0.0 sec. user=mdettweiler [2015-06-23 19:49:11] 693*2^1401203-1 is not prime. Res64: 8A555A0923FD7384 Time : 0.0 sec. user=mdettweiler [2015-06-23 19:49:12] 783*2^1401203-1 is not prime. Res64: A2B22B6178CE31D7 Time : 0.0 sec. user=mdettweiler [2015-06-23 19:49:12] 801*2^1401203-1 is not prime. Res64: 75B1A84286791F7F Time : 0.0 sec. user=mdettweiler [2015-06-23 19:49:13] 825*2^1401203-1 is not prime. Res64: AAA241054162FAAA Time : 0.0 sec. user=mdettweiler [2015-06-23 20:06:32] 855*2^1401203-1 is not prime. Res64: 5E9B701D2E5C642F Time : 0.0 sec. user=mdettweiler [2015-06-23 20:06:32] 943*2^1401203-1 is not prime. Res64: 15D07E6620C98239 Time : 0.0 sec. user=mdettweiler [2015-06-23 20:06:32] 915*2^1401203-1 is not prime. Res64: CD00AB62856234AE Time : 0.0 sec. user=mdettweiler [2015-06-23 20:06:32] 999*2^1401203-1 is not prime. Res64: 280832BE86AE9C1C Time : 0.0 sec. user=mdettweiler [2015-06-23 20:06:33] 949*2^1401203-1 is not prime. Res64: C5E41952EEFD6B37 Time : 0.0 sec. user=mdettweiler [2015-06-23 20:06:33] 635*2^1401204-1 is not prime. Res64: F67789305711C67A Time : 0.0 sec. user=mdettweiler [2015-06-23 20:23:59] 983*2^1401204-1 is not prime. Res64: DF5106D0EEE3497B Time : 0.0 sec. user=mdettweiler [2015-06-23 20:24:00] 721*2^1401205-1 is not prime. Res64: 1AFAC0073A30194F Time : 0.0 sec. user=mdettweiler [2015-06-23 20:24:00] 875*2^1401204-1 is not prime. Res64: 919B12C6D77476AE Time : 0.0 sec. user=mdettweiler [2015-06-23 20:24:00] 923*2^1401204-1 is not prime. Res64: 61E859608C0E1A24 Time : 0.0 sec. user=mdettweiler [2015-06-23 20:24:04] 729*2^1401205-1 is not prime. Res64: EE4C48DDC49B060C Time : 0.0 sec. user=mdettweiler [2015-06-23 20:24:04] 889*2^1401205-1 is not prime. Res64: 386E9DCC965D51BA Time : 0.0 sec. user=mdettweiler [2015-06-23 20:41:34] 927*2^1401205-1 is not prime. Res64: 2E030197B64E5C9F Time : 0.0 sec. user=mdettweiler [2015-06-23 20:41:34] 615*2^1401206-1 is not prime. Res64: A59A4A9885CE6909 Time : 0.0 sec. user=mdettweiler [2015-06-23 20:41:34] 985*2^1401205-1 is not prime. Res64: E0DB730D1E12B42A Time : 0.0 sec. user=mdettweiler [2015-06-23 20:41:34] 635*2^1401206-1 is not prime. Res64: 2099CFFB2F7E3672 Time : 0.0 sec. user=mdettweiler [2015-06-23 20:41:38] 693*2^1401206-1 is not prime. Res64: 5B3A8BA2404900B2 Time : 0.0 sec. user=mdettweiler [2015-06-23 20:41:38] 893*2^1401206-1 is not prime. Res64: 45D7BDCAEF3B9CC7 Time : 0.0 sec. user=juhehe [2015-06-23 20:49:27] 707*2^1401204-1 is not prime. Res64: F280D079C752DA39 Time : 0.0 sec. user=mdettweiler [2015-06-23 20:59:11] 601*2^1401207-1 is not prime. Res64: E3C2743F041B71CF Time : 0.0 sec. user=mdettweiler [2015-06-23 20:59:11] 669*2^1401207-1 is not prime. Res64: 2C07D8C31F3C7268 Time : 0.0 sec. user=mdettweiler [2015-06-23 20:59:11] 917*2^1401206-1 is not prime. Res64: D10243291BA0EAA5 Time : 0.0 sec. user=mdettweiler [2015-06-23 20:59:12] 935*2^1401206-1 is not prime. Res64: A17C564076BED1CE Time : 0.0 sec. user=mdettweiler [2015-06-23 20:59:14] 735*2^1401207-1 is not prime. Res64: BA30D2C8B413C533 Time : 0.0 sec. user=mdettweiler [2015-06-23 20:59:15] 819*2^1401207-1 is not prime. Res64: 6B968C270260B71C Time : 0.0 sec. user=mdettweiler [2015-06-23 21:16:43] 871*2^1401207-1 is not prime. Res64: 0E188D59904EF242 Time : 0.0 sec. user=mdettweiler [2015-06-23 21:16:43] 963*2^1401207-1 is not prime. Res64: 4459327C96F93D6F Time : 0.0 sec. user=mdettweiler [2015-06-23 21:16:44] 933*2^1401207-1 is not prime. Res64: F4436B901551A688 Time : 0.0 sec. user=mdettweiler [2015-06-23 21:16:44] 985*2^1401207-1 is not prime. Res64: 61D4A5FC21F5B6A4 Time : 0.0 sec. user=mdettweiler [2015-06-23 21:16:44] 639*2^1401208-1 is not prime. Res64: DA0FF6FAFCFBCD47 Time : 0.0 sec. user=mdettweiler [2015-06-23 21:16:47] 909*2^1401208-1 is not prime. Res64: 2DBA216396B4E439 Time : 0.0 sec. user=mdettweiler [2015-06-23 21:34:22] 957*2^1401208-1 is not prime. Res64: 6E958B3797939E47 Time : 0.0 sec. user=mdettweiler [2015-06-23 21:34:23] 989*2^1401208-1 is not prime. Res64: 62E4D60E429D9025 Time : 0.0 sec. user=mdettweiler [2015-06-23 21:42:57] 675*2^1401209-1 is not prime. Res64: 8FE6978503D16DE9 Time : 0.0 sec. user=mdettweiler [2015-06-23 21:42:57] 789*2^1401209-1 is not prime. Res64: 63F78226412B957A Time : 0.0 sec. user=mdettweiler [2015-06-23 21:42:59] 865*2^1401209-1 is not prime. Res64: 07A92E4E64C53485 Time : 0.0 sec. user=mdettweiler [2015-06-23 21:42:59] 885*2^1401209-1 is not prime. Res64: 6ABDCA7897239DF2 Time : 0.0 sec. user=mdettweiler [2015-06-23 21:51:42] 889*2^1401209-1 is not prime. Res64: E5E3DB952384BEAD Time : 0.0 sec. user=mdettweiler [2015-06-23 21:51:43] 907*2^1401209-1 is not prime. Res64: 4A0518A314176F64 Time : 0.0 sec. user=mdettweiler [2015-06-23 22:00:15] 641*2^1401210-1 is not prime. Res64: D06B6F2A8FE4717E Time : 0.0 sec. user=mdettweiler [2015-06-23 22:00:16] 681*2^1401210-1 is not prime. Res64: 3AC4BA7DA5443746 Time : 0.0 sec. user=mdettweiler [2015-06-23 22:00:17] 773*2^1401210-1 is not prime. Res64: 77B2D26D60BD7E1E Time : 0.0 sec. user=mdettweiler [2015-06-23 22:00:17] 917*2^1401210-1 is not prime. Res64: 1202C9BD0964B9BD Time : 0.0 sec. user=mdettweiler [2015-06-23 22:09:00] 971*2^1401210-1 is not prime. Res64: E28D06EE765AA3A2 Time : 0.0 sec. user=mdettweiler [2015-06-23 22:09:00] 651*2^1401211-1 is not prime. Res64: 4B97C2141608E2F7 Time : 0.0 sec. user=mdettweiler [2015-06-23 22:17:38] 681*2^1401211-1 is not prime. Res64: AA58C863148A50CF Time : 0.0 sec. user=mdettweiler [2015-06-23 22:17:38] 759*2^1401211-1 is not prime. Res64: 65E30A85596BF1F7 Time : 0.0 sec. user=mdettweiler [2015-06-23 22:17:39] 813*2^1401211-1 is not prime. Res64: 667BA4184F7B12E5 Time : 0.0 sec. user=mdettweiler [2015-06-23 22:17:40] 819*2^1401211-1 is not prime. Res64: 5C97AB3BC54AF4BB Time : 0.0 sec. user=juhehe [2015-06-23 22:25:24] 627*2^1401210-1 is not prime. Res64: 0952F155D5DE103A Time : 0.0 sec. user=mdettweiler [2015-06-23 22:26:23] 861*2^1401211-1 is not prime. Res64: 68E951D46F1CE125 Time : 0.0 sec. user=mdettweiler [2015-06-23 22:26:23] 931*2^1401211-1 is not prime. Res64: 4646F1A76DF8BBBF Time : 0.0 sec. user=mdettweiler [2015-06-23 22:34:59] 835*2^1401213-1 is not prime. Res64: 22CA3B4AA9AE793D Time : 0.0 sec. user=mdettweiler [2015-06-23 22:34:59] 861*2^1401213-1 is not prime. Res64: 8F455688571FE0A4 Time : 0.0 sec. user=mdettweiler [2015-06-23 22:35:02] 665*2^1401212-1 is not prime. Res64: D622F24A9F37F3E2 Time : 0.0 sec. user=mdettweiler [2015-06-23 22:35:03] 811*2^1401213-1 is not prime. Res64: D49792A02CB7CA64 Time : 0.0 sec. user=mdettweiler [2015-06-23 22:43:42] 871*2^1401213-1 is not prime. Res64: E7772AA500EF1952 Time : 0.0 sec. user=mdettweiler [2015-06-23 22:43:42] 927*2^1401213-1 is not prime. Res64: 6BA4261785F08183 Time : 0.0 sec. user=mdettweiler [2015-06-23 22:52:17] 979*2^1401213-1 is not prime. Res64: F913543977B4A54D Time : 0.0 sec. user=mdettweiler [2015-06-23 22:52:18] 617*2^1401214-1 is not prime. Res64: 21793BB8528E14C0 Time : 0.0 sec. user=mdettweiler [2015-06-23 22:52:21] 681*2^1401214-1 is not prime. Res64: BD467EB25BE2E447 Time : 0.0 sec. user=mdettweiler [2015-06-23 22:52:21] 951*2^1401214-1 is not prime. Res64: FDD279FE4180D382 Time : 0.0 sec. user=mdettweiler [2015-06-23 23:01:01] 965*2^1401214-1 is not prime. Res64: 67D934D75A568551 Time : 0.0 sec. user=mdettweiler [2015-06-23 23:01:02] 693*2^1401215-1 is not prime. Res64: CBC3D73FC8D72205 Time : 0.0 sec. user=mdettweiler [2015-06-23 23:09:36] 805*2^1401215-1 is not prime. Res64: B16F0EE53D187E39 Time : 0.0 sec. user=mdettweiler [2015-06-23 23:09:37] 841*2^1401215-1 is not prime. Res64: 6C0ED74AE94E5B50 Time : 0.0 sec. user=mdettweiler [2015-06-23 23:09:40] 843*2^1401215-1 is not prime. Res64: AD36722F5EDA5D5E Time : 0.0 sec. user=mdettweiler [2015-06-23 23:09:40] 855*2^1401215-1 is not prime. Res64: AF70F3A1B14E0BA3 Time : 0.0 sec. user=mdettweiler [2015-06-23 23:18:29] 963*2^1401215-1 is not prime. Res64: 87E7AB653C9FF725 Time : 0.0 sec. user=mdettweiler [2015-06-23 23:18:29] 699*2^1401216-1 is not prime. Res64: 43ED42648E9BC94F Time : 0.0 sec. user=mdettweiler [2015-06-23 23:26:58] 747*2^1401216-1 is not prime. Res64: 346CF1C56120754C Time : 0.0 sec. user=mdettweiler [2015-06-23 23:26:58] 759*2^1401216-1 is not prime. Res64: 353A42E15A1574B5 Time : 0.0 sec. user=mdettweiler [2015-06-23 23:26:59] 767*2^1401216-1 is not prime. Res64: 4B5CDC7DCC9BB32A Time : 0.0 sec. user=mdettweiler [2015-06-23 23:26:59] 843*2^1401216-1 is not prime. Res64: 003B187375D5E7D7 Time : 0.0 sec. user=mdettweiler [2015-06-23 23:35:47] 899*2^1401216-1 is not prime. Res64: C6EA2CFF08FE9DD9 Time : 0.0 sec. user=mdettweiler [2015-06-23 23:35:48] 905*2^1401216-1 is not prime. Res64: C53FF5D861897BEC Time : 0.0 sec. user=mdettweiler [2015-06-23 23:44:18] 909*2^1401216-1 is not prime. Res64: 730694AB873C1818 Time : 0.0 sec. user=mdettweiler [2015-06-23 23:44:18] 947*2^1401216-1 is not prime. Res64: 5B9935E7B8511199 Time : 0.0 sec. user=mdettweiler [2015-06-23 23:44:21] 619*2^1401217-1 is not prime. Res64: BA916A77F449FE88 Time : 0.0 sec. user=mdettweiler [2015-06-23 23:44:22] 667*2^1401217-1 is not prime. Res64: 01E1D100489CCF1B Time : 0.0 sec. user=mdettweiler [2015-06-23 23:53:07] 769*2^1401217-1 is not prime. Res64: 43110CF7D30266CB Time : 0.0 sec. user=mdettweiler [2015-06-23 23:53:08] 777*2^1401217-1 is not prime. Res64: FD9EEC5236D26F2D Time : 0.0 sec.