alon's test coin (F8kW..r6Jp)