Telkom Metra jakarta. S_4 symmetric group proof. Well to wheel efficiency formula. Reikon m x.