某溶液中可能含有下 * * 种离子中的几种：Na⁺、NH₄⁺、Mg²⁺、Al³⁺、Cl^-．为确认该溶液组成进行如下实验：①取20.0mL该溶液，加入25.0mL4.00mol•L^-1NaOH溶液加热，有白色沉淀产生，无刺激气味气体生成．过滤、洗涤、干燥，得沉淀1.16g．再将滤液稀释至200mL，测得滤液中c（OH^-）=0.1mol•L^-1；②另取20.0mL该溶液，加入足量的AgNO₃溶液，生成白色沉淀14.35g．关于原溶液组成结论正确的是（　　）

A．一定含有Mg²⁺、Al³⁺、Cl^-，不含有Na⁺、NH₄⁺

B．一定含有Na⁺、Mg²⁺、Cl^-，不含有NH₄⁺、可能含有Al³⁺

C．c（Mg²⁺）为1.00mol•L^-1，c（Na⁺）为1.50mol•L^-1

D．c（Cl^-）为5.00mol•L^-1，c（Al³⁺）为1.00mol•L^-1

【说明】 IC卡和200卡都是从电话卡派生的。下面的程序将电话卡定义为抽象类。其中 balance为双精度变量，代表电话卡中的余额；cardNumber是长整型变量，代表电话卡的卡号；password是整型变量，代表电话卡的密码；connectNumber是字符串变量，代表电话卡的接入号码；connected是布尔变量，代表电话是否接通。 performDial()实现各种电话接通后的扣除费用的操作。其中200卡每次通话扣除0.5元的通话费用和附加费用；IC卡每次通话扣除0.9元的通话费。TimeLeft()方法用于测试电话卡余额还可以拨打电话的次数。performConnection()用于电话接入操作，如果卡号和密码正确，则接通；否则，接不通。 【程序】 abstract class PhoneCard { doubte balace; (1) perfermDial(); double getBalance() { return balance; } double TimeLeft() { double current=balance; int times=0; do { (2) times++; }white(balance＞=0); balance=current; return times-1; } } abstract class Number_PhoneCard extends PhoneCard { long cardNumber: int password; String connectNumber; Boolean connected; Boolean performConnection(long cn, int pw) { if(cn==cardNumber && (3) ) { connected=true; return true; } else return false;} } class IC Card (4) { boolean performDial() { if(balance＞0.9) { balance-=0.9; return true; } else return false; } } class D200_Card (4) { static double additoryFee; static{ additoryFee=0.1; } boolean performDial() { if(balance＞(0,5+additeryFee)) { (5) return true; } else return false; } }