寻观「标准库」之书。
「：文言：诸格皆验，以别式求其和。汉语：沿用矩阵内核，通过独立闭式公式逐格验证，而不是仅检查首尾两个结果。：」
「初始化矩阵」乃化（「数组引用类」于「整数」）而化（「数组引用类」于「整数」）而化「整数」而化「整数」而化「整数」而「有」也。
「初始化矩阵」者循「初始化矩阵」以会「矩阵甲」而会「矩阵乙」而会「边长」而会「总长」而会「序数」而
    若「等于」于「序数」于「总长」
    则「元」
    否则
        虑「行」者「除以」于「序数」于「边长」而
        虑「列」者「减」于「序数」于（「乘」于「行」于「边长」）而
        虑「无」者（「写数组引用」授以「整数」）于「矩阵甲」于「序数」于（「加」于（「加」于「行」于「列」）于「一」）而
        虑「无」者（「写数组引用」授以「整数」）于「矩阵乙」于「序数」于（「加」于（「加」于（「乘」于「行」于「二」）于「列」）于「一」）而
        「初始化矩阵」于「矩阵甲」于「矩阵乙」于「边长」于「总长」于（「加」于「序数」于「一」）也。

「计算一格」乃化（「数组引用类」于「整数」）而化（「数组引用类」于「整数」）而化「整数」而化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「计算一格」者循「计算一格」以会「矩阵甲」而会「矩阵乙」而会「边长」而会「行」而会「列」而会「序数」而会「总和」而
    若「等于」于「序数」于「边长」
    则「总和」
    否则
        虑「甲值」者（「读数组引用」授以「整数」）于「矩阵甲」于（「加」于（「乘」于「行」于「边长」）于「序数」）而
        虑「乙值」者（「读数组引用」授以「整数」）于「矩阵乙」于（「加」于（「乘」于「序数」于「边长」）于「列」）而
        「计算一格」于「矩阵甲」于「矩阵乙」于「边长」于「行」于「列」于（「加」于「序数」于「一」）于（「加」于「总和」于（「乘」于「甲值」于「乙值」））也。

「乘矩阵」乃化（「数组引用类」于「整数」）而化（「数组引用类」于「整数」）而化（「数组引用类」于「整数」）而化「整数」而化「整数」而化「整数」而「有」也。
「乘矩阵」者循「乘矩阵」以会「矩阵甲」而会「矩阵乙」而会「矩阵丙」而会「边长」而会「总长」而会「序数」而
    若「等于」于「序数」于「总长」
    则「元」
    否则
        虑「行」者「除以」于「序数」于「边长」而
        虑「列」者「减」于「序数」于（「乘」于「行」于「边长」）而
        虑「无」者（「写数组引用」授以「整数」）于「矩阵丙」于「序数」于（「计算一格」于「矩阵甲」于「矩阵乙」于「边长」于「行」于「列」于「零」于「零」）而
        「乘矩阵」于「矩阵甲」于「矩阵乙」于「矩阵丙」于「边长」于「总长」于（「加」于「序数」于「一」）也。

「验格」乃化（「数组引用类」于「整数」）而化「整数」而化「整数」而「有」也。
「验格」者循「验格」以会「组」而会「边」而会「位」而
 若「等于」于「位」于（「乘」于「边」于「边」）则「元」否则
 虑「行」者「除以」于「位」于「边」而
 虑「列」者「减」于「位」于（「乘」于「行」于「边」）而
 虑「行增」者「加」于「行」于「一」而虑「列增」者「加」于「列」于「一」而
 虑「一阶」者「除以」于（「乘」于「边」于（「减」于「边」于「一」））于「二」而
 虑「二阶」者「除以」于（「乘」于（「乘」于「边」于（「减」于「边」于「一」））于（「减」于（「乘」于「边」于「二」）于「一」））于「六」而
 虑「期」者「加」于（「乘」于「边」于（「乘」于「行增」于「列增」））于（「加」于（「乘」于（「加」于（「乘」于「行增」于「二」）于「列增」）于「一阶」）于（「乘」于「二阶」于「二」））而
 若「等于」于（「读数组引用」授以「整数」于「组」于「位」）于「期」则「验格」于「组」于「边」于（「加」于「位」于「一」）否则「发生事故」授以「有」于『矩阵逐格不符』也。
「验矩阵」乃化「整数」而「有」也。
「验矩阵」者会「边」而
 虑「总」者「乘」于「边」于「边」而
 虑「甲」者「新数组引用」授以「整数」于「零」于「总」而
 虑「乙」者「新数组引用」授以「整数」于「零」于「总」而
 虑「丙」者「新数组引用」授以「整数」于「零」于「总」而
 虑「无」者「初始化矩阵」于「甲」于「乙」于「边」于「总」于「零」而
 虑「无」者「乘矩阵」于「甲」于「乙」于「丙」于「边」于「总」于「零」而
 「验格」于「丙」于「边」于「零」也。
「验矩阵」于「零」。
「验矩阵」于「一」。
「验矩阵」于「二」。
「验矩阵」于「三」。
「验矩阵」于「八」。
「验矩阵」于「一七」。
「打印行」于『双整组矩阵通过』。
