import itertools
def test():
data_table = [
3022729710,
2342219880,
1598406810,
3497504010,
2969165430,
2009877870,
3531948420,
3893149260,
3703239540,
3988104120,
807116310,
490600110,
3279666390,
205735530,
189909720,
1630058430,
3323420100,
2859196340,
1155284130,
3119123280,
2706213510,
1202761560,
2213571360,
3196813620,
4098884790,
2215613400,
696335640,
1171109940,
1245133890,
2089006920,
1838054790,
2943600660,
1218587370,
138348210,
126606480,
3086032950,
3873749880,
3180987810,
174083910,
2579607030,
1798526730,
1440148710,
1819968150,
1550929380,
3719065350,
1383482100,
2785342560,
3671587920,
2025703680,
3735401670,
3434200770,
1186935750,
2468826360,
3750716970,
3465852390,
4012098090,
269038770,
2484652170,
3370897530,
3676109580,
857758902,
443122680,
3165162000,
1503451950,
1962400440,
3639936300,
3766542780,
1487626140,
2639258160,
1765974210,
743813070,
47477430,
2152310160,
1471800330,
3244291050,
2959426470,
2801168370,
612684930,
142432290,
2911949040,
997026030,
2516303790,
2136484350,
522251730,
1645884240,
756846090,
2358045690,
1123632510,
1756664910,
427296870,
3182008830,
3956452500,
3038555520,
63303240,
2896123230,
3861497640,
1709187480,
1559561640,
949548600,
2263090830,
4130536410,
1424322900,
1535103570,
1946574630,
2389697310,
2573276706,
2453000550,
3275942670,
3784230450,
2775102330,
2018256240,
332342010,
1788316530,
538077540,
2309350890,
4257142890,
886245360,
1914923010,
3355071720,
2351919570,
2627084460,
389890410,
2729232870,
2832819990,
2769516750,
2927774850,
3687413730,
2168135970,
1028677650,
712161450,
411471060,
3149336190,
94954860,
2144397255,
4051407360,
2500477980,
1979443620,
1835793960,
252282030,
2278916640,
1804142340,
2674561890,
633032400,
4225491270,
348167820,
1250238990,
3908975070,
1044503460,
3481678200,
4162188030,
3877323450,
2490267780,
1660178520,
1614232620,
4178013840,
2880297420,
2690387700,
3509013690,
1107806700,
791290500,
2247265020,
2450739720,
3291768480,
3798194400,
1455974520,
585554970,
3133510380,
1521830310,
1408497090,
1566755190,
1266064800,
458948490,
237387150,
2642910270,
3212639430,
989721810,
1519277760,
2270538270,
3431035608,
1009128120,
1677535860,
2975252280,
3418374960,
933722790,
902071170,
2658736080,
569729160,
1012851840,
3513329820,
506425920,
395645250,
3063424650,
1060329270,
3386723340,
2041529490,
968437470,
329907270,
2628615990,
1313542230,
2722039320,
917896980,
2905312410,
3544981440,
3006903900,
3529155630,
474774300,
2547955410,
1329368040,
659814540,
3043660620,
1649536350,
1225369860,
1883271390,
3458705250,
727987260,
4067233170,
1582581000,
2816994180,
854593740,
1297716420,
779780820,
4150446300,
2563781220,
4114710600,
2104832730,
3814020210,
415044630,
2294742450,
1169671230,
2421348930,
316516200,
2595432840,
3608284680,
1106785680,
4036512480,
4019755740,
2532129600,
2766964200,
3655762110,
110780670,
3924800880,
2183961780,
2373871500,
553392840,
1978226250,
2405523120,
4209665460,
2991078090,
2437174740,
1139458320,
284864580,
3260116860,
759638880,
2057355300,
4241317080,
3299072700,
3054381330,
31651620,
1715517804,
3576633060,
838767930,
4193839650,
680509830,
830089260,
2522820300,
3628979970,
1867445580,
1392671280,
1076155080,
504564060,
1319629080,
1261410150,
3560807250,
2326394070,
870419550,
3101858760,
664684020,
965374410,
4003929930,
253212960,
601380780,
648858210,
3829846020,
3339245910,
221561340,
3898904100,
2231439210,
3320357040,
2310568260,
276696420,
1772490720,
1740839100,
3027384360,
691741050,
1725013290,
15825810,
300690390,
2075223150,
4035581550,
3734891160,
822942120,
2073181110,
2199787590,
3940626690,
1661710050,
2848645800,
1930748820,
3597053460,
3402549150,
3958887240,
3845671830,
981200220,
617206590,
775464690,
79129050,
158258100,
2737865130,
3307594290,
3624110490,
1936874940,
363993630,
1281890610,
1693361670,
4272968700,
1429598170,
3117684570,
3228465240,
4083058980,
1376845470,
1994052060,
3450026580,
379819440,
4146362220,
2120658540,
2339342460,
1361019660,
1091980890,
1234413180,
3972278310,
2611258650,
3592458870,
2753690940,
2864471610,
1513692180,
3782368590,
1949452050,
3070207140,
553903350,
1899097200,
1851619770,
1345193850,
]
sorted_data_table = sorted(data_table)
# print sorted_data_table
known_x = [15825810, 138348210, 252282030, 329907270, 389890410, 612684930, 857758902, 1429598170, 2144397255]
xx = []
for i in range(9):
xx.append([])
for i in range(len(sorted_data_table)):
is_unk = True
z = -1
for k in range(len(known_x)):
if (sorted_data_table[i] % known_x[k]) == 0:
is_unk = False
z = k
break
if is_unk:
print('i: %s, v: %s' % (i, sorted_data_table[i]))
else:
xx[z].append(sorted_data_table[i]/known_x[z])
# for i in range(len(xx)):
# print xx[i]
print('start')
for x in itertools.product(*xx):
# x = [74, 4, 12L, 12L, 4, 4L, 1, 2L, 1]
v = 0
for k in range(9):
v += x[k] * known_x[k]
if pow(0x65757832, v, 0xFFA1CF8F) == 0x6E616B34:
print('got %s=%s' % (v, x))
r_i = []
for i in range(len(x)):
r_i.append(data_table.index(x[i] * known_x[i]))
r_s = 'x'.join([str(_) for _ in sorted(r_i)]) + 'X'
print('sn: %s' % r_s)
print('end')
return
test()
