离散数学课后习题答案离散数学01-5

第一章 命题演算基础 1.1 判断下列语句是否为命题，若是请翻译为符号公式；若不是说明由。 （1）请给我一支笔！ （2）火星上有生物。 （3） （4）只有努力工作，方能把事情做好。 （5）如果嫦娥是虚构的，而圣诞老人也是虚构的，那么许多孩子受骗了。 解 （1）不为命题，因为它不是陈述句。 （2）是命题，用命题变元 表示该命题。 （3）不为命题，虽为陈述句，但不能判断其真假性。 （4）是命题。设 表示努力工作， 表示把事情做好，则原句翻译为命题公式 。 （5）是命题。设 表示嫦娥是虚构的， 表示圣诞老人也是虚构的， 表示许多孩子受骗了，则原句翻译为 。 1.2 试判定下列公式的永真性和可满足性。 （1） 解 （1）当 时， 原式= = = = 当 = 时，上式= ；当 时，上式= ，因此公式存在成真解释 ，存在成假解释 ，故公式可满足，但非永真。 （2） 解 当 时 原式= = = 当 = 时 上式= = = 当 = 时 上式= = = = 当 时，上式= ，因此公式存在成真解释 ，存在成假解释 ，故公式可满足，但非永真。 （3） 解 当 时 原式= = = 当 时 上式= = 当 时，上式= ，当 时，上式= ，因此，公式存在成真解释 ，存在成假解释 ，故公式可满足，但非永真。 （4） 解 当 时 原式= = = = 当 时 上式= = = 当 时，上式= ，当 时，上式= ，因此，公式存在成真解释 ，存在成假解释 ，故公式可满足，但非永真。 1.3 试求下列公式的成真解释和成假解释 （1） 解 （1）当 时 原式= = = 当 时，上式= ，当 时，上式= 。 当 时 原式= = 当 时 上式= = = 当 时 上式= = = 当 时，上式= ，当 时，上式= ， 因此，公式的成真解释为 ；成假解释为 。 （2） 解 当 时 原式= = = = 当 时，上式= ；当 时，上式= 。 当 时 原式= = = = 因此，公式的成真解释为 ；成假解释为 。 （3） 解 当 时 原式= = = 当 时 上式= = = 当 时，上式= ；当 时，上式= 。 当 时 上式= = 当 时 原式= = = = 因此，公式的成真解释为 ；成假解释为 。 （4） 解 当 时 原式= = = 当 时 上式= = = 当 时 上式= = = 当 时，上式= ；当 时，上式= 。 当 时 原式= = = = 当 时，上式= ；当 时，上式= 。 因此，公式的成真解释为 ；成假解释为 。 1.4 试写出下列公式的对偶式和内否式 （1） （2） （3） （4） 解 （1） 内否式为 消去“ ”得式子 对偶式= （2）内否式为 消去“ ”得式子 对偶式为 （3）内否式为 消去“ ”得式子 对偶式为 （4）内否式为 消去“ ”得式子 对偶式为 1.5 试证明联结词集合{ }是完备的。 证明 因为， 所以，联结词集合 可以表示集合 。 又因为，联结词集合 是完备的，即 可以表示任何一个命题演算公式，所以 可以表示任何一个命题演算公式，故联结词集合 是完备的。 1.6 试证明联结词集合 不是完备的。 证明 设集合 是完备的，则由联结词集合的完备性定义知 。当 全取为真时，上式左边= ，右边= ，矛盾。 因此 不是完备的。 设集合 是完备的，则由联结词集合的完备性定义知 ，其中 表示“ ”。当 全取为真时，上式左边= ，右边= ，矛盾。 因此 不是完备的。 1.7 试求下列公式的析取范式和合取范式 （1） 解 原式= = = （析取范式） = = = （合取范式） （2） 解 原式= = = = （合取范式和析取范式） （3） 解 原式= = （合取范式） = = = （析取范式） （4） 解 原式= = = （析取范式） = = = = = = = （合取范式） 1.8 试求下列公式的主析取范式和主合取范式 （1） 解 原式= = = = = = = = = （2） 解 原式= = = = = = = = = （3） 解 原式= = = = （4） 解 原式= = = = = = = 1.9 用把公式化为主范式的方法判断下列各题中两式是否等价 （1） 解 （1） = = = = = = = = 由此可见两公式的主析取范式不相等，因此，两公式不等价。 （2） 解 = = = = = = = = = = = = 由此可见两公式的主合取范式相等，因此，两公式等价。 第二章 命题演算的推理理论 2.1 用永真公理系统证明下列公式 （1） 证明 （1） 公理1 （2） 公理13 （3） 用 代入 （4） 分（3）（1） （5） 分（4）（1） （6） 公理11 （7） 用 代入 （8） 公理7 （9） 用 代入 （10） 分（9）（7） （11） 分（10）（5） （2） 证明 （1） 公理14 （2） 用 代入， 用 代入 （3） 公理15 （4） 定理 （5） 用 代入， 用 代入， 用 代入 （6） 分（5）（3） （7） 公理3 （8） 用 代入， 用 代入， 用 代入 （9） 分（8）（2） （10） 分（9）（6） （11） 定理 （12） （4）式中 用 代入， 用 代入， 用 代入 （13） 分（12）（11） （14） （7）式中 用 代入， 用 代入， 用 代入 （15） 分（14）（13） （16） 分（15）（10） （3） 证明 （1） 公理11 （2） 用 代入 （3） 定理 （4） 用 代入 （5） 分（4）（3） （6） 公理12 （7） 用 代入 （8） 公理3 （9） 用 代入， 用 代入， 用 代入 （10） 分（9）（5） （11） 分（10）（7） （12） 定理 （13） 用 代入 （14） 分（13）（11） （4） 证明 （1） 公理1 （2） 用 代入 （3） 定理 （4） 用 代入， 用 代入 （5） 分（4）（2） （6） 公理3 （7） 用 代入， 用 ， 用 代入 （8） 分（7）（5） 2.2 已知公理： 及分离规则和代入规则。 试证明（1） 为定理 （2） 为定理。 证明 （1） 公理 （2） 公理 （3） 用 代入 （4） 公理 （5） EMBED Equation.3 用 代入， 用 代入 （6） 分（5）（1） （7） 分（6）（3） （8） （2）式中 用 代入， 用 代入 （9） 分（8）（7） （10） 公理 （11） 用 代入， 用 代入 （12） 分（11）（9） 2.3 用假设推理系统证明下列公式 （1） 证明 （1） 假设 （2） 假设 （3） 后件的否定 （4） 公理15 （5） 分（4）（3） （6） 分（1）（5） （7） 分（2）（5） （6）（7）矛盾 由反证法推理定理知 ， ├ 由推理定理知 （2） 证明 （1） 假设 （2） 假设 （3） 假设 （4） 分（1）（3） （5） 分（2）（3） （6） 分（4）（5） 由假设推理过程的定义知 ， ， ├ 由推理定理知 （3） 证明 （1） 假设 （2） 假设 （3） 假设 （4） 公理10 （5） 分（4）（2） （6） 分（5）（3） （7） 分（1）（6） 由假设推理过程的定义知 ， ， ├ 由推理定理知 （4） 证明 （1） 假设 （2） 公理8 （3） 公理9 （4） （2）式中 用 代入， 用 代入 （5） （3）式中 用 代入， 用 代入 （6） 分（4）（1） （7） 分（5）（1） （8） 分（2）（6） （9） 分（3）（6） （10） （2）式中 用 ， 用 代入 （11） （3）式中 用 ， 用 代入 （12） 分（10）（7） （13） 分（11）（7） （14） 分（12）（8） （15） 分（13）（9） （16） 公理10 （17） 用 ， 用 代入 （18） 分（17）（14） （19） 分（18）（15） 由假设推理过程的定义知 ├ 由推理定理知 2.4 用归结原理证明下列公式 （1） 证明 化为合取范式： = = 建立子句集 （1） （2） （3） （4） （5） （6） （1）（3）归结 （7） （5）（6）归结 （8） （4）（7）归结 （9）( （2）（8）归结 （2） 证明 化为合取范式： = = 建立子句集： （1） （2） （3） （4） （1）（3）归结 （5） （2）（3）归结 （6）( （4）（5）归结 （3） 证明 化为合取范式： = 建立子句集： （1） （2） （3） （4） （5） （1）（4）归结 （6） （2）（3）归结 （7）( （5）（6）归结 （4） 证明 化为合取范式： = 化为子句集： （1） （2） （3）( （1）（2）归结 第三章 谓词演算基础 3.1试把下列语句符号化 （1）如果我知道你不在家，我就不去找你了。 解 设 表示 知道 不在家； 表示 去找 ； 表示我； 表示你； 则原句表示为： 。 （2）他送给我这只大的红气球。 解 设 表示 送给 EMBED Equation.3 ； 表示 为大的； 表示 为红的； 表示 为气球； 表示他， 表示我， 表示这只； 则原句译为： 。 （3）苏州位于南京与上海之间。 解 设 表示 位于 与 之间； 表示苏州， 表示南京， 表示上海； 则原句表示为： 。 （4）他既熟悉C++语言，又熟悉PASCAL语言。 解 设 表示 熟悉 ； 表示他， 表示C++语言， 表示PASCAL语言； 则原句译为： 。 3.2 试将下列语句符号化为含有量词的谓词演算公式： （1）没有不犯错误的人。 解 设 表示 为人； 表示 为错误； 表示 犯 。 则原句译为： 。 （2）有不是奇数的质数。 解 设 表示 为奇数； 表示 为质数。 则原句译为： 。 （3）尽管有人能干，但未必一切人能干。 解 设 表示 为人； 表示 能干。 则原句译为： 。 （4）鱼我所欲，熊掌亦我所欲。 解 设 表示 为鱼； 表示 为熊掌； 表示 所欲 。 表示我； 则原句表示为： 。 （5）人不犯我，我不犯人；人若犯我，我必犯人。 解 设 表示 为人； 表示 犯 。 表示我； 则原句译为： 。 （6）有一种液体可熔化任何金属。 解 设 表示 为液体； 表示 为金属； 表示 熔化 。 则原句可译为： 。 （7）并非“人为财死，鸟为食亡”。 解 设 表示 为人； 表示 为财； 表示 为鸟； 表示 为食； 表示 为 死； 表示 为 亡。 则原句译为： （8）若要人不知，除非己莫为。 解 设 表示 为人； 表示 为某一事情； 表示 做了 ； 表示 知道 做了 。 则原句译为： （9）任何一数均有一数比它大。 解 设 表示 为数； 表示 比 大； 则原句译为： （10）每个作家均写过作品。 解 设 表示 为作家； 表示 为作品； 表示 写了 。 则原句译为： （11）有些作家没写过小说。 解 设 表示 为作家； 表示 为小说； 表示 写了 。 则原句译为： （12）天下乌鸦一般黑。 解 设 表示 为乌鸦； 表示 与 一样黑。 则原句译为： 3.3 令 表示“ 为质数”； 表示“ 为偶数”； 表示“ 为奇数”； 表示“ 除尽 ”。 试把下列语句翻译为日常语句： （1） 解 2为偶数且2为质数。 （2） 解 任何能被2除尽的数均为偶数。 （3） 解 任何不是偶数的数均不能被2除尽。 （4） 解 任何一个数，若能被任何偶数除尽，则该数一定是偶数。 （5） 解 有是偶数的质数。 3.4 指出下列公式的约束关系、自由变元和约束变元： （1） 解 中的 和 中的 受 约束； 中的 受 约束； 中的 为约束变元， 中的 和 为约束变元； 中的 和 中的 为自由变元。 （2） 解 中的 受 约束， 中的 受 约束； 中的 和 中的 为约束变元； 中的 和 中的 为自由变元。 3.5 已知公式 （1）试对公式中的自由变元 代以 。 解 先对公式改名，以防止代入后改变变元的约束关系 原式= 公式中的自由变元 代以 后得： （2）试对公式中的谓词变元 代以式子 。 解 先对公式和代入进行改名，以防止代入后改变变元的约束关系 原式改名为： 代入式改名为： 代入后的式子为： 3.6 试讨论公式 在个体域 上的成真解释和成假解释。 解 个体域 上的二元谓词共有16类谓词，见下表： 所以，公式的成假解释为 其中 ；成真解释为 。 3.7 利用量词的等价公式判断下列两组公式是否等价，其中 中不含自由的 。 （1） 和 解 因为 = = = 所以，两公式等价。 （2） 解 因为 所以，两公式不等价。 3.8 试讨论公式 的永真性和可满足性。 解 （1）讨论公式在1域 上的情况 原式= 公式在1域上永真。 （2）讨论公式在2域 上的情况 2域上的一元谓词共有四类，见下表： 因为公式在解释 下 原式= = = = 所以，公式在2域上存在成假解释。 又因为公式在1域上永真，所以由定理知，公式在2域上可满足。 综上，公式在2域上可满足，但非永真。 （3）讨论公式在 域上的情况 因为公式在2域上可满足，所以由定理知，公式在 域上可满足。 假设公式在 域上永真，由定理大永真可推出小永真知，公式在2域上永真，矛盾，因此公式在 域上非永真。 3.9 试讨论公式 的永真性和可满足性。 解 公式在 域 上永真。 因为 所以，公式在 域 上永真。 3.10 试求出下列公式的前束范式和SKOLEM标准形。 （1） 解 原式= = = （前束范式） （SKOLEM标准形） （2） 解 原式= = = （前束范式） EMBED Equation.3 EMBED Equation.3 （SKOLEM标准形） 3.11 试用唯一性量词或摹状词符号化下列语句： （1）只有一个人去过南极。 解 令 表示 为人； 表示 去过 ； 表示南极； 则原句译为： （2）最后一个离开办公室的人关门窗关电源。 解 令 表示 为人； 表示 比 晚离开办公室； 表示 关 ； 表示门窗； 表示电源； 又令 则原句译为： 。 （3）并非年龄最大的人最有知识。 解 令 表示 为人； 表示 比 年龄大； 表示 比 有知识； 又令 则原句译为： 。 （4）每个数均有唯一的一个数是它的后继。 解 令 表示 为数； 表示 是 的后继； 则原句译为： 。 第四章 谓演算的推理理论 4.1 用永真的公理系统证明下列定理 （1） 证明 先证 （1） 公理20 （2） 全2规则（1） 再证 （3） 公理20 （4） 定理 （5） 分（4）（3） （6） 全规则（5） （7） 公理7 （8） 分（7）（2） （9） 分（8）（6） （2） 证明 先证 （1） 公理20 （2） 存1规则（1） 再证 （3） 公理21 （4） 公理3 （5） 分（4）（3） （6） 全（5） （7） 公理7 （8） 分（7）（（2） （9） 分（8）（6） 4.2 已知公理 EMBED Equation.3 EMBED Equation.3 及分离规则和全称规则，全称规则为： ├ 试证明：全0规则 ├ 。 证明 （1） （2） 公理 （3） 分（2）（1） （4） 公理 （5） 分（4）（3） （6） 全（5） （7） 公理 （8） 分（6）（7） （9） 分（8）（7） 4.3 指出下列推理过程的错误所在 （1）① 假设 ② 全称量词消去 ③ 额外假设引入 ④ 全0规则 ⑤ 全称量词消去 ⑥ 全0规则 解 第④步有错，因为额外假设中的自由变元不能实施全0称规则。 （2） 的证明过程如下： ① 假设 ② 额外假设 ③ 全0规则 解 第③步有错，因为额外假设中的自由变元不能实施全0称规则。 （3）① 假设 ② 假设 ③ 全称量词消去 ④ 额外假设引入 ⑤ 分③④ ⑥ 存在量词引入 解 第④步 中的 为使用过的变元，额外假设要求引入的变元为未使用过的变元。 4.4 用假设推理证明下列公式 （1） 证明 （1） 假设 （2） 假设 （3） 假设 （4） 全称量词消去规则（1） （5） 全称量词消去规则（3） （6） 分（4）（5） （7） 全0规则（6） （8） 分（2）（7） 由假设推理的定义过程知 ， ， ├ 由推理定理知 （2） ， ├ 证明 （1） 假设 （2） 假设 （3） 分（1）（2） （4） 额外假设 （5） 公理11 （6） 分（5）（4） （7） 全称量词消去（3） （8） 分（7）（6） （9） 额外假设 （10） 公理11 （11） 分（10）（9） （12） 全称量词消去（3） （13） 分（12）（11） （14） 合取规则（8）（13） （15） 公理21 （16） 分（15）（14） （17） 公理21 （18） 分（17）（16） 由假设推理过程的定义知 ， ├ 4.5 已知知识如下： （1）桌子上的每本书均是杰作； （2）写出杰作的人是天才； （3）某个不出名的人写了桌上某本书； 结论：某个不出名的人是天才。 （1）试用归结原理证明之； （2）试用假设推理证明之。 证明 先对知识符号化 令 表示 为人； 表示 为桌子的书； 表示 为杰作； 表示 写了 ； 表示 出名； 表示 为天才。 则已知知识翻译为： （1） （2） （3） 结论翻译为： 归结原理证明 （1） （2） （3） （4） （5） （6） （7） （8） （7）（3）归结 （9） （4）（8）归结 （10） （9）（2）归结 （11） （3）（10）归结 （12） （11）（6）归结 （13） （12）（1）归结 （14）□ （13）（5）归结 假设推理证明 （1） 假设 （2） 假设 （3） 假设 （4） 额外假设 （5） 公理 （6） 公理 （7） 公理 （8） 公理 （9） 分（5）（4） （10） 分（6）（4） （11） 分（7）（4） （12） 分（8）（4） （13） 全称量词消去（1） （14） 分（13）（11） （15） 全称量词消去（2） （16） 合取（9）（14）（12） （17） 分（15）（16） （18） 合取（9）（10）（17） （19） 公理21 （20） 分（19）（18） 4.6 用归结方法证明下列公式 （1） ， ， ├ 证明 （1） （2） （3） （4） （5） （4）（1）归结 （6） （2）（5）归结 （7）□ （6）（3）归结 （2） 证明 目标公式的否定 = = 化为子句集： （1） （2） （3） （4） （1）（3）归结 （5） （4）（2）归结 （6）□ （5）（1）归结 4.7 已知知识如下： （1）每个程序员均写过程序； （2）病毒是一种程序； （3）有些程序员没写过病毒。 结论：有些程序不是病毒。 试用霍恩子句逻辑程序证明之。 证明 先对知识符号化 令 表示 为程序员； 表示 为程序； 表示 为病毒； 表示 写了 则已知知识翻译为： （1） （2） （3） 结论翻译为： （1） （2） （3） （4） （5） （6） （7） （5）（6）归结 （8） （7）（1）归结 （9） （8）（4）归结 （10） （9）（2）归结 （11）□ （4）（10）归结 4.8 已知有关公司信息的知识： （1）John是PD公司经理； （2）Smith在PD公司任职； （3）Jones在PD公司任职； （4）Peter在PD公司任职； （5）Hall是SD公司经理； （6）Mary在SD公司任职； （7）Bell在SD公司任职； （8）Jones和Mary已结婚； （9）在某家公司当经理者必在该公司任职； （10）在某家公司当经理者必是在该公司任职的人的老板； （11） 和 结婚，则 和 结婚； （12）一对夫妇不在同一公司任职； （13）所有在SD公司任职的已婚者可享有EC保险的人寿保险。 现在查询： Mary是否在SD公司任职？她结婚了吗？丈夫是谁？她是否享有保险？ 试用霍恩子句逻辑程序证明之。 证明 令 表示 为 公司的经理； 表示 为 公司的任职； 表示 和 夫妇； 表示 为 的老板； 表示 享有 的人寿保险； 表示 已婚； 表示 为人； 表示 为公司； 表示 已婚； 化为霍恩子句： （1） （2） （3） （4） （5） （6） （7） （8） （9） （10） （11） （12） （13） （14） （15） （16） （17） （18） （19） （20） 问Mary是否在SD公司任职？翻译为子句： （21） （22）□ （21）（6）归结 所以Mary在SD公司任职。 问她结婚了吗？翻译为子句： （23） （24）□ （23）（9）归结 所以MARY已婚。 问丈夫是谁？翻译为子句： （25） （26）□ （25）（8）归结 所以Mary的丈夫是Jones。 她是否享有保险？翻译为子句： （27） （28） （27）（20）归结 （29） （28）（（6）归结 （30）□ （29）（9）归结 所以她享有保险。 第五章 递归函数论 5.1 写出下列语句的特征函数 （1） 大于等于 。 解 （2） 为 的公倍数。 解 （3） 为质数。 解 （4） 为 的倍数且 为平方数。 解 为 的倍数的特征函数为： 为平方数的特征函数为： 故原句的特征函数为： （5） 为非负数或 为平方数。 解 为非负数的特征函数为： 为平方数的特征函数为： 故原句的特征函数为： （6）在 ， 间的一切 均使得 成立。 解 （7）在 ， 间有一个 使得 成立。 解 5.2 试把下列公式化为标准迭置 （1） 解 其中 （2） 解 其中 5.3 用凑合定义法定义函数 ，并把它化为迭置。 解 5.4 试证明下列函数为原始递归函数 （1） 证明 因为 其中 为 ，也就是说 可用原始递归式表示。 所以 为原始递归函数。 （2） 证明 因为 其中 为 ，也就是说 可用原始递归式表示。 所以 为原始递归函数。 （3） 证明 因为 为本原函数，而本原函数为原始递归函数。 所以 为原始递归函数。 （4） 证明 因为 ，且 和 为原始递归函数，所以 是由原始递归函数 和 利用迭置而得。根据原始递归函数的定义知， 为原始递归函数。 （5） 证明 因为 ，且 和 为原始递归函数，所以 是由原始递归函数 和 利用迭置而得。根据原始递归函数的定义知， 为原始递归函数。 （6） 证明 因为 其中 为 ，也不是说 可用原始递归式表示。 所以 为原始递归函数。 � EMBED Equation.3 ��� PAGE 45 _1263135349.unknown _1263139736.unknown _1263229102.unknown _1269715170.unknown _1269965075.unknown _1269976304.unknown _1270013096.unknown _1271009087.unknown _1271009567.unknown _1271009824.unknown _1271009953.unknown _1271010077.unknown _1271010078.unknown _1271009963.unknown _1271009830.unknown _1271009809.unknown _1271009816.unknown _1271009759.unknown _1271009302.unknown _1271009539.unknown _1271009547.unknown _1271009483.unknown _1271009493.unknown _1271009312.unknown _1271009196.unknown _1271009258.unknown _1271009125.unknown _1270052784.unknown _1270053161.unknown _1270054122.unknown _1270054566.unknown _1270055089.unknown _1270055305.unknown _1270055570.unknown _1270055766.unknown _1270055859.unknown _1270056088.unknown _1270056313.unknown _1270056462.unknown _1270056662.unknown _1270056405.unknown _1270056260.unknown _1270056034.unknown _1270056087.unknown _1270056021.unknown _1270055795.unknown _1270055810.unknown _1270055664.unknown _1270055334.unknown _1270055512.unknown _1270055375.unknown _1270055394.unknown _1270055182.unknown _1270055252.unknown _1270055294.unknown _1270055132.unknown _1270054947.unknown _1270054976.unknown _1270054644.unknown _1270054329.unknown _1270054465.unknown _1270054502.unknown _1270054426.unknown _1270054244.unknown _1270054283.unknown _1270054205.unknown _1270053352.unknown _1270053738.unknown _1270053829.unknown _1270053675.unknown _1270053370.unknown _1270053383.unknown _1270053360.unknown _1270053270.unknown _1270053215.unknown _1270052866.unknown _1270052984.unknown _1270053086.unknown _1270053142.unknown _1270052936.unknown _1270052914.unknown _1270052857.unknown _1270050726.unknown _1270051850.unknown _1270052362.unknown _1270052438.unknown _1270052519.unknown _1270052372.unknown _1270052099.unknown _1270052256.unknown _1270052088.unknown _1270051527.unknown _1270051744.unknown _1270051781.unknown _1270051554.unknown _1270051330.unknown _1270051363.unknown _1270051023.unknown _1270051050.unknown _1270050901.unknown _1270013561.unknown _1270050421.unknown _1270050554.unknown _1270050581.unknown _1270050510.unknown _1270013997.unknown _1270014023.unknown _1270014155.unknown _1270014001.unknown _1270013939.unknown _1270013178.unknown _1270013369.unknown _1270013410.unknown _1270013509.unknown _1270013209.unknown _1270013233.unknown _1270013112.unknown _1270013137.unknown _1270013102.unknown _1269978237.unknown _1269979553.unknown _1270012556.unknown _1270012681.unknown _1270012805.unknown _1270013035.unknown _1270012787.unknown _1270012744.unknown _1270012600.unknown _1270012627.unknown _1270012589.unknown _1270012591.unknown _1270012568.unknown _1269980399.unknown _1269980420.unknown _1270012515.unknown _1269980412.unknown _1269979757.unknown _1269980389.unknown _1269979600.unknown _1269979639.unknown _1269979189.unknown _1269979366.unknown _1269979475.unknown _1269979525.unknown _1269979400.unknown _1269979221.unknown _1269979248.unknown _1269979278.unknown _1269979204.unknown _1269978642.unknown _1269978761.unknown _1269979184.unknown _1269978672.unknown _1269978301.unknown _1269978592.unknown _1269978249.unknown _1269977490.unknown _1269977730.unknown _1269978032.unknown _1269978155.unknown _1269978176.unknown _1269978050.unknown _1269977984.unknown _1269978017.unknown _1269977786.unknown _1269977620.unknown _1269977666.unknown _1269977712.unknown _1269977651.unknown _1269977566.unknown _1269977597.unknown _1269977536.unknown _1269977042.unknown _1269977274.unknown _1269977426.unknown _1269977459.unknown _1269977402.unknown _1269977130.unknown _1269977205.unknown _1269977078.unknown _1269976604.unknown _1269976809.unknown _1269976951.unknown _1269976631.unknown _1269976532.unknown _1269976570.unknown _1269976473.unknown _1269968737.unknown _1269974125.unknown _1269975537.unknown _1269975917.unknown _1269976141.unknown _1269976206.unknown _1269976270.unknown _1269976186.unknown _1269976051.unknown _1269976079.unknown _1269975993.unknown _1269975826.unknown _1269975894.unknown _1269975667.unknown _1269975717.unknown _1269975732.unknown _1269975685.unknown _1269975635.unknown _1269975023.unknown _1269975296.unknown _1269975373.unknown _1269975484.unknown _1269975056.unknown _1269975131.unknown _1269975136.unknown _1269975220.unknown _1269975270.unknown _1269975078.unknown _1269975089.unknown _1269975032.unknown _1269974400.unknown _1269974460.unknown _1269974968.unknown _1269975005.unknown _1269974527.unknown _1269974416.unknown _1269974245.unknown _1269974262.unknown _1269974141.unknown _1269970006.unknown _1269973603.unknown _1269973778.unknown _1269974096.unknown _1269974108.unknown _1269974049.unknown _1269973688.unknown _1269973746.unknown _1269973649.unknown _1269970120.unknown _1269973478.unknown _1269973495.unknown _1269973417.unknown _1269970048.unknown _1269970081.unknown _1269968945.unknown _1269969698.unknown _1269969956.unknown _1269969157.unknown _1269969266.unknown _1269969565.unknown _1269969118.unknown _1269969038.unknown _1269969083.unknown _1269968774.unknown _1269968831.unknown _1269966444.unknown _1269967401.unknown _1269967544.unknown _1269968667.unknown _1269967600.unknown _1269967471.unknown _1269967515.unknown _1269967463.unknown _1269966941.unknown _1269967044.unknown _1269967095.unknown _1269966966.unknown _1269966657.unknown _1269966877.unknown _1269966601.unknown _1269966467.unknown _1269966536.unknown _1269965880.unknown _1269966040.unknown _1269966350.unknown _1269966373.unknown _1269966268.unknown _1269965978.unknown _1269965987.unknown _1269965906.unknown _1269965371.unknown _1269965684.unknown _1269965752.unknown _1269965405.unknown _1269965344.unknown _1269965351.unknown _1269965146.unknown _1269965189.unknown _1269890178.unknown _1269960428.unknown _1269961667.unknown _1269962553.unknown _1269964522.unknown _1269964829.unknown _1269964852.unknown _1269964609.unknown _1269964205.unknown _1269964306.unknown _1269962828.unknown _1269962834.unknown _1269961843.unknown _1269962007.unknown _1269962375.unknown _1269961899.unknown _1269961965.unknown _1269961788.unknown _1269960552.unknown _1269961106.unknown _1269961344.unknown _1269960857.unknown _1269960482.unknown _1269960501.unknown _1269896413.unknown _1269896747.unknown _1269896868.unknown _1269896737.unknown _1269896738.unknown _1269896634.unknown _1269896654.unknown _1269896726.unknown _1269896429.unknown _1269896261.unknown _1269896371.unknown _1269896387.unknown _1269896302.unknown _1269896080.unknown _1269896216.unknown _1269890222.unknown _1269888638.unknown _1269889236.unknown _1269889680.unknown _1269889978.unknown _1269890053.unknown _1269889827.unknown _1269889501.unknown _1269889518.unknown _1269889260.unknown _1269888988.unknown _1269889074.unknown _1269889043.unknown _1269888842.unknown _1269888857.unknown _1269888803.unknown _1269887359.unknown _1269887968.unknown _1269888151.unknown _1269888219.unknown _1269888533.unknown _1269888127.unknown _1269887697.unknown _1269887765.unknown _1269887377.unknown _1269887145.unknown _1269887197.unknown _1269887313.unknown _1269887172.unknown _1269715343.unknown _1269887074.unknown _1269715270.unknown _1263288282.unknown _1269278440.unknown _1269712414.unknown _1269713991.unknown _1269714591.unknown _1269714928.unknown _1269714929.unknown _1269714927.unknown _1269714926.unknown _1269714207.unknown _1269714224.unknown _1269714254.unknown _1269714125.unknown _1269712962.unknown _1269713738.unknown _1269713946.unknown _1269713715.unknown _1269712496.unknown _1269712799.unknown _1269712567.unknown _1269712729.unknown _1269712536.unknown _1269712482.unknown _1269711778.unknown _1269712278.unknown _1269712354.unknown _1269712373.unknown _1269712315.unknown _1269712155.unknown _1269712197.unknown _1269712235.unknown _1269712212.unknown _1269712175.unknown _1269711875.unknown _1269711922.unknown _1269711796.unknown _1269711810.unknown _1269627354.unknown _1269628077.unknown _1269711739.unknown _1269711755.unknown _1269628524.unknown _1269711682.unknown _1269711696.unknown _1269711565.unknown _1269711661.unknown _1269628246.unknown _1269627492.unknown _1269627631.unknown _1269627863.unknown _1269627519.unknown _1269627388.unknown _1269627414.unknown _1269627366.unknown _1269626487.unknown _1269627008.unknown _1269627246.unknown _1269627273.unknown _1269627107.unknown _1269626716.unknown _1269626899.unknown _1269626928.unknown _1269626955.unknown _1269626759.unknown _1269626555.unknown _1269625832.unknown _1269626446.unknown _1269625956.unknown _1269626295.unknown _1269625727.unknown _1269625771.unknown _1269625644.unknown _1269625700.unknown _1269278569.unknown _1263291601.unknown _1269276099.unknown _1269277164.unknown _1269277596.unknown _1269277931.unknown _1269278406.unknown _1269277871.unknown _1269277893.unknown _1269277813.unknown _1269277867.unknown _1269277337.unknown _1269277522.unknown _1269277548.unknown _1269277503.unknown _1269277292.unknown _1269277308.unknown _1269277192.unknown _1269276627.unknown _1269276955.unknown _1269277082.unknown _1269277135.unknown _1269276908.unknown _1269276924.unknown _1269276861.unknown _1269276885.unknown _1269276177.unknown _1269276264.unknown _1269276438.unknown _1269276234.unknown _1269276146.unknown _1269276156.unknown _1269276117.unknown _1263292215.unknown _1269275737.unknown _1269275894.unknown _1269275940.unknown _1269275959.unknown _1269275878.unknown _1269275609.unknown _1269275707.unknown _1269275717.unknown _1269275627.unknown _1269275626.unknown _1269275548.unknown _1269275575.unknown _1269275474.unknown _1263291929.unknown _1263291997.unknown _1263292111.unknown _1263292139.unknown _1263292090.unknown _1263291943.unknown _1263291965.unknown _1263291934.unknown _1263291659.unknown _1263291901.unknown _1263291916.unknown _1263291824.unknown _1263291617.unknown _1263291630.unknown _1263291606.unknown _1263289458.unknown _1263290119.unknown _1263291047.unknown _1263291154.unknown _1263291476.unknown _1263291587.unknown _1263291451.unknown _1263291070.unknown _1263291081.unknown _1263291063.unknown _1263291066.unknown _1263290887.unknown _1263291004.unknown _1263291023.unknown _1263290898.unknown _1263290980.unknown _1263290846.unknown _1263290859.unknown _1263290580.unknown _1263290843.unknown _1263290645.unknown _1263290404.unknown _1263289733.unknown _1263290027.unknown _1263290072.unknown _1263290112.unknown _1263290035.unknown _1263290046.unknown _1263289797.unknown _1263290011.unknown _1263289756.unknown _1263289610.unknown _1263289685.unknown _1263289694.unknown _1263289659.unknown _1263289683.unknown _1263289634.unknown _1263289585.unknown _1263289605.unknown _1263288815.unknown _1263289016.unknown _1263289059.unknown _1263289248.unknown _1263289260.unknown _1263289146.unknown _1263289197.unknown _1263289042.unknown _1263288853.unknown _1263288987.unknown _1263288823.unknown _1263288612.unknown _1263288627.unknown _1263288638.unknown _1263288780.unknown _1263288619.unknown _1263288291.unknown _1263288320.unknown _1263288372.unknown _1263231251.unknown _1263231893.unknown _1263234403.unknown _1263234503.unknown _1263288218.unknown _1263288242.unknown _1263288232.unknown _1263234511.unknown _1263234454.unknown _1263234464.unknown _1263234411.unknown _1263232182.unknown _1263232878.unknown _1263232914.unknown _1263233027.unknown _1263233060.unknown _1263233283.unknown _1263233001.unknown _1263232845.unknown _1263232869.unknown _1263232853.unknown _1263232267.unknown _1263232814.unknown _1263232240.unknown _1263232142.unknown _1263232152.unknown _1263231957.unknown _1263232106.unknown _1263232119.unknown _1263232043.unknown _1263231912.unknown _1263231638.unknown _1263231775.unknown _1263231846.unknown _1263231884.unknown _1263231823.unknown _1263231688.unknown _1263231744.unknown _1263231675.unknown _1263231279.unknown _1263231387.unknown _1263231596.unknown _1263231341.unknown _1263231267.unknown _1263231272.unknown _1263231258.unknown _1263230403.unknown _1263230803.unknown _1263231048.unknown _1263231139.unknown _1263231168.unknown _1263231218.unknown _1263231097.unknown _1263230947.unknown _1263230977.unknown _1263230848.unknown _1263230739.unknown _1263230773.unknown _1263230787.unknown _1263230749.unknown _1263230483.unknown _1263230636.unknown _1263230427.unknown _1263230441.unknown _1263229536.unknown _1263230004.unknown _1263230322.unknown _1263230394.unknown _1263230021.unknown _1263229934.unknown _1263229988.unknown _1263229566.unknown _1263229301.unknown _1263229483.unknown _1263229518.unknown _1263229429.unknown _1263229210.unknown _1263229285.unknown _1263229132.unknown _1263229159.unknown _1263229111.unknown _1263148906.unknown _1263219835.unknown _1263226535.unknown _1263227402.unknown _1263228494.unknown _1263228756.unknown _1263229077.unknown _1263229086.unknown _1263228925.unknown _1263229061.unknown _1263228777.unknown _1263228650.unknown _1263228698.unknown _1263228599.unknown _1263228611.unknown _1263227744.unknown _1263228302.unknown _1263228385.unknown _1263228455.unknown _1263228370.unknown _1263227756.unknown _1263227654.unknown _1263227672.unknown _1263227575.unknown _1263227586.unknown _1263226914.unknown _1263227131.unknown _1263227306.unknown _1263227366.unknown _1263227154.unknown _1263227165.unknown _1263227138.unknown _1263227096.unknown _1263227105.unknown _1263226958.unknown _1263226609.unknown _1263226765.unknown _1263226871.unknown _1263226668.unknown _1263226676.unknown _1263226574.unknown _1263226601.unknown _1263224808.unknown _1263225501.unknown _1263225581.unknown _1263226288.unknown _1263226406.unknown _1263226420.unknown _1263225596.unknown _1263225539.unknown _1263225548.unknown _1263225516.unknown _1263224958.unknown _1263225274.unknown _1263225365.unknown _1263225158.unknown _1263224901.unknown _1263224915.unknown _1263224886.unknown _1263220440.unknown _1263220580.unknown _1263220624.unknown _1263220651.unknown _1263220613.unknown _1263220498.unknown _1263220572.unknown _1263220449.unknown _1263220172.unknown _1263220321.unknown _1263220355.unknown _1263220266.unknown _1263220070.unknown _1263220151.unknown _1263219885.unknown _1263189823.unknown _1263190516.unknown _1263191117.unknown _1263191736.unknown _1263191762.unknown _1263191286.unknown _1263191183.unknown _1263191024.unknown _1263191074.unknown _1263190994.unknown _1263190874.unknown _1263190896.unknown _1263189956.unknown _1263190464.unknown _1263190481.unknown _1263189995.unknown _1263190461.unknown _1263189879.unknown _1263189939.unknown _1263189847.unknown _1263149586.unknown _1263189643.unknown _1263189729.unknown _1263189779.unknown _1263189679.unknown _1263149771.unknown _1263189519.unknown _1263189582.unknown _1263149611.unknown _1263149359.unknown _1263149521.unknown _1263149537.unknown _1263149425.unknown _1263148946.unknown _1263149319.unknown _1263148924.unknown _1263143615.unknown _1263146064.unknown _1263147452.unknown _1263148276.unknown _1263148492.unknown _1263148854.unknown _1263148487.unknown _1263147577.unknown _1263148112.unknown _1263147469.unknown _1263146414.unknown _1263146629.unknown _1263146662.unknown _1263146441.unknown _1263146280.unknown _1263146338.unknown _1263146217.unknown _1263144857.unknown _1263145589.unknown _1263145903.unknown _1263145961.unknown _1263145679.unknown _1263144953.unknown _1263145315.unknown _1263145521.unknown _1263145211.unknown _1263144895.unknown _1263144092.unknown _1263144363.unknown _1263144442.unknown _1263144146.unknown _1263143810.unknown _1263143888.unknown _1263143742.unknown _1263141293.unknown _1263142770.unknown _1263143283.unknown _1263143480.unknown _1263143512.unknown _1263143374.unknown _1263142927.unknown _1263143070.unknown _1263142917.unknown _1263142313.unknown _1263142417.unknown _1263142569.unknown _1263142318.unknown _1263141943.unknown _1263142212.unknown _1263141532.unknown _1263141593.unknown _1263141738.unknown _1263141513.unknown _1263140449.unknown _1263141089.unknown _1263141176.unknown _1263141237.unknown _1263140773.unknown _1263140956.unknown _1263140972.unknown _1263141076.unknown _1263140904.unknown _1263140705.unknown _1263139962.unknown _1263140384.unknown _1263139996.unknown _1263140356.unknown _1263139857.unknown _1263137683.unknown _1263138493.unknown _1263139172.unknown _1263139497.unknown _1263139638.unknown _1263139679.unknown _1263139540.unknown _1263139303.unknown _1263139374.unknown _1263139237.unknown _1263138897.unknown _1263139036.unknown _1263139124.unknown _1263138970.unknown _1263138645.unknown _1263138781.unknown _1263138552.unknown _1263137942.unknown _1263137995.unknown _1263138087.unknown _1263138426.unknown _1263138048.unknown _1263137977.unknown _1263137983.unknown _1263137968.unknown _1263137828.unknown _1263137887.unknown _1263137921.unknown _1263137860.unknown _1263137745.unknown _1263137771.unknown _1263137690.unknown _1263136778.unknown _1263137101.unknown _1263137576.unknown _1263137629.unknown _1263137649.unknown _1263137604.unknown _1263137486.unknown _1263137540.unknown _1263137270.unknown _1263136876.unknown _1263136941.unknown _1263137079.unknown _1263136905.unknown _1263136821.unknown _1263136849.unknown _1263136797.unknown _1263136402.unknown _1263136582.unknown _1263136698.unknown _1263136762.unknown _1263136611.unknown _1263136485.unknown _1263136540.unknown _1263136439.unknown _1263135913.unknown _1263136042.unknown _1263136107.unknown _1263135950.unknown _1263135840.unknown _1263135892.unknown _1263135806.unknown _1263131190.unknown _1263132822.unknown _1263134540.unknown _1263134951.unknown _1263135177.unknown _1263135266.unknown _1263135348.unknown _1263135241.unknown _1263135119.unknown _1263135151.unknown _1263135089.unknown _1263134584.unknown _1263134647.unknown _1263134757.unknown _1263134615.unknown _1263134565.unknown _1263134293.unknown _1263134426.unknown _1263134476.unknown _1263134502.unknown _1263134456.unknown _1263134369.unknown _1263134397.unknown _1263134329.unknown _1263133389.unknown _1263134114.unknown _1263134172.unknown _1263134011.unknown _1263134028.unknown _1263133012.unknown _1263133106.unknown _1263133371.unknown _1263133125.unknown _1263133078.unknown _1263132863.unknown _1263132167.unknown _1263132599.unknown _1263132679.unknown _1263132768.unknown _1263132795.unknown _1263132710.unknown _1263132632.unknown _1263132486.unknown _1263132502.unknown _1263132394.unknown _1263132406.unknown _1263132428.unknown _1263132314.unknown _1263132255.unknown _1263132285.unknown _1263132204.unknown _1263131709.unknown _1263131762.unknown _1263132137.unknown _1263131266.unknown _1263131305.unknown _1263131690.unknown _1263131243.unknown _1263129958.unknown _1263130468.unknown _1263130816.unknown _1263130972.unknown _1263131114.unknown _1263130932.unknown _1263130705.unknown _1263130721.unknown _1263130111.unknown _1263130155.unknown _1263130261.unknown _1263130333.unknown _1263130130.unknown _1263130076.unknown _1263130093.unknown _1263129974.unknown _1263128397.unknown _1263129787.unknown _1263129754.unknown _1263129755.unknown _1263129398.unknown _1263129583.unknown _1263128578.unknown _1263127378.unknown _1263127431.unknown _1263127286.unknown _1263127032.unknown _1263127191.unknown _1263126579.unknown