#!/usr/bin/python

import miller_rabin 


numerator_lines = [
    "111111111111111111111111111111111111111111111111111111111111" ,#line 01
    "111111111111111111111111111111111111111111111111111111111111" ,#line 02
    "111111111111111111111111111111111111111111111111111111111111" ,#line 03 
    "111111111111111111111111111111111111111111111111111111111111" ,#line 04
    "111111111111111111111111111111111111111111111111111111111111" ,#line 05
    "111111111111111111111111111111111111111111111111111111111111" ,#line 06 
    "111111111111188888888888111111111111111111888811111111111111" ,#line 07 
    "111111111111118888888888881111111111111188888111111111111111" ,#line 08 
    "111111111111111888811118888111111111118888811111111111111111" ,#line 09 
    "111111111111111118888111888811111111188881111111111111111111" ,#line 10 originally ends 7111
    "111111111111111111888811188888111118888811111111111111111111" ,#line 11 
    "111111111111111111188888111888811888881111111111111111111111" ,#line 12 
    "111111111111111111111888811188888888111111111111111111111111" ,#line 13 
    "111111111111111111111188881118888811111111111111111111111111" ,#line 14 
    "111111111111111111111118888811188881111111111111111111111111" ,#line 15 
    "111111111111111111111111188881118888811111111111111111111111" ,#line 16 
    "111111111111111111111111188888811188881111111111111111111111" ,#line 17 
    "111111111111111111111118888888881118888111111111111111111111" ,#line 18 
    "111111111111111111111888881118888111888881111111111111111111" ,#line 19 
    "111111111111111111118888111111888881118888111111111111111111" ,#line 20 
    "111111111111111111888881111111118888111888811111111111111111" ,#line 21 
    "111111111111111188888111111111111888811118888111111111111111" ,#line 22 
    "111111111111118888811111111111111188888888888811111111111111" ,#line 23 
    "111111111111188881111111111111111111888888888881111111111111" ,#line 24 
    "111111111111111111111111111111111111111111111111111111111111" ,#line 25 
    "111111111111111111111111111111111111111111111111111111111111" ,#line 26 
    "111111111111111111111111111111111111111111111111111111111111" ,#line 27 
    "111111111111111111111111111111111111111111111111111111111111" ,#line 28 
    "111111111111111111111111111111111111111111111111111111111111" ,#line 29 
    "111111111111111111111111111111111111111111111111111111111111"] #/line 30

ntrials=0
nprimes=0

for m in range(1800):
    num_list = list("".join(numerator_lines))
    num_list[m]='7'
    num_int=int("".join(num_list))
    if miller_rabin.miller_rabin(num_int ): 
        nprimes+=1
        print(m)
        for z in range( int(len(num_list)/60)):
            print( "    ","".join(num_list[z*60:z*60+60]))
        #print("".join(num_list))
    ntrials+=1

numerator = int( "".join(numerator_lines))

print(nprimes," of ",ntrials)

# index   replacement digit 
#   533   2
#  1578   2
#  1678   2
#   217   4
#   164   5
#  1664   5
#   596   7  posted by Elon 
#  1441   7

#  none   0
#  none   1
#  none   3
#  none   6
#  none   8
#  none   9