25:
1546:
can be omitted. Such languages may make it easier for a person without knowledge about the language to understand the code and perhaps also to learn the language. However, the similarity to natural language is usually more cosmetic than genuine. The syntax rules may be just as strict and formal as in
235:
who needs to implement a specific algorithm, especially an unfamiliar one, will often start with a pseudocode description, and then "translate" that description into the target programming language and modify it to interact correctly with the rest of the program. Programmers may also start a project
227:
often use pseudocode in description of algorithms, so that all programmers can understand them, even if they do not all know the same programming languages. In textbooks, there is usually an accompanying introduction explaining the particular conventions in use. The level of detail of the pseudocode
1555:
An alternative to using mathematical pseudocode (involving set theory notation or matrix operations) for documentation of algorithms is to use a formal mathematical programming language that is a mix of non-ASCII mathematical notation and program control structures. Then the code can be parsed and
303:
This flexibility brings both major advantages and drawbacks: on the positive side, no executable programming language "can beat the convenience of inventing new constructs as needed and letting the reader try to deduce their meaning from informal explanations", on the negative, "untested code is
170:. The purpose of using pseudocode is that it is easier for people to understand than conventional programming language code, and that it is an efficient and environment-independent description of the key principles of an algorithm. It is commonly used in textbooks and
263:
rules of any particular language; there is no systematic standard form. Some writers borrow style and syntax from control structures from some conventional programming language, although this is discouraged. Some syntax sources include
157:
reading rather than machine control. Pseudocode typically omits details that are essential for machine implementation of the algorithm, meaning that pseudocode can only be verified by hand. The programming language is
299:
Depending on the writer, pseudocode may therefore vary widely in style, from a near-exact imitation of a real programming language at one extreme, to a description approaching formatted prose at the other.
1675:
An often-repeated definition of pseudocode since at least 2003 is "a detailed yet readable description of what a computer program or algorithm must do, expressed in a formally-styled natural language"
915:
descriptions. This is a compact and often informal notation that can be understood by a wide range of mathematically trained people, and is frequently used as a way to describe mathematical
296:. Variable declarations are typically omitted. Function calls and blocks of code, such as code contained within a loop, are often replaced by a one-line natural language sentence.
972:
1867:
Ulate-Caballero, Bryan
Alexander; Berrocal-Rojas, Allan; Hidalgo-Cespedes, Jeisson (2021-10-25). "Concurrent and Distributed Pseudocode: A Systematic Literature Review".
1685:
Ulate-Caballero, Bryan
Alexander; Berrocal-Rojas, Allan; Hidalgo-Céspedes, Jeisson (2021). "Concurrent and Distributed Pseudocode: A Systematic Literature Review".
181:
exists, as a program in pseudocode is not an executable program; however, certain limited standards exist (such as for academic assessment). Pseudocode resembles
1538:. In these languages, parentheses and other special characters are replaced by prepositions, resulting in quite verbose code. These languages are typically
885:
2020:
1583:
languages include vectorized expressions and matrix operations as non-ASCII formulas, mixed with conventional control structures. Examples are:
1940:
1907:
1884:
1820:
1744:
1702:
1950:
Bellamy, Rachel (1994-06-01). "What Does Pseudo-Code Do? A Psychological
Analysis of the use of Pseudo-Code by Experienced Programmers".
1994:
1514:
Various attempts to bring elements of natural language grammar into computer programming have produced programming languages such as
108:
1780:
149:) with informal, usually self-explanatory, notation of actions and conditions. Although pseudocode shares features with regular
182:
1767:
178:
46:
1535:
1027:
269:
237:
1192:
201:(UML) charts can be thought of as a graphical alternative to pseudocode, but need more space on paper. Languages such as
89:
1519:
61:
1041:
289:
285:
42:
1595:
1587:
68:
35:
1923:
Mitchell, Joan L.; Pennebaker, William B.; Fogg, Chad E.; LeGall, Didier J. (1996). "Pseudocode and
Flowcharts".
1572:
198:
1034:
277:
1634:
171:
75:
1902:. Monographs in Theoretical Computer Science. An EATCS Series. Springer Berlin Heidelberg. pp. 15–46.
1560:
920:
216:
1999:
934:
900:
896:
224:
167:
150:
134:
57:
2015:
1629:
904:
142:
1614:
924:
159:
138:
1855:
1810:
1644:
236:
by sketching out the code in pseudocode on paper before writing it in its actual language, as a
1967:
1936:
1903:
1880:
1847:
1816:
1740:
1698:
1580:
309:
1895:
911:, mixed with the control structures of a conventional programming language, and perhaps also
1959:
1928:
1872:
1839:
1690:
1543:
912:
220:
163:
146:
122:
1763:
1730:
1547:
conventional programming, and do not necessarily make development of the programs easier.
984:
is used for the mathematical equations, for example by means of markup languages, such as
1985:
1830:
Roy, Geoffrey G (2006). "Designing and explaining programs with a literate pseudocode".
82:
1539:
993:
2009:
1734:
1859:
251:-like pseudocode and cannot be understood without grasping the details of the code.
1876:
1694:
248:
1523:
1000:
981:
24:
1963:
1639:
1567:
908:
240:
structuring approach, with a process of steps to be followed as a refinement.
232:
1971:
1851:
207:
bridge the gap between pseudocode and code written in programming languages.
1932:
1843:
1624:
1515:
1191:
The following is a longer example of mathematical-style pseudocode, for the
916:
312:
190:
130:
228:
may in some cases approach that of formalized general-purpose languages.
186:
174:
to document algorithms and in planning of software and other algorithms.
927:) may represent a for-loop and a selection structure in one expression:
1601:
1013:
265:
1619:
1531:
989:
260:
203:
194:
1563:
include set theory notation using special characters. Examples are:
281:
1020:
1006:
978:
293:
273:
154:
1591:
244:
1527:
985:
18:
1751:
Avoid syntactic elements from the target programming language
243:
Pseudocode is also used in standardization. For example, the
16:
Description of an algorithm that resembles a computer program
1717:
999:
Mathematical style pseudocode is sometimes referred to as
1762:
Invitation to
Computer Science, 8th Edition by Schneider/
1990:
166:
description details, where convenient, or with compact
1666:, p. 23, Pseudocode Programs and Their Semantics.
1869:
2021 XLVII Latin
American Computing Conference (CLEI)
1687:
2021 XLVII Latin
American Computing Conference (CLEI)
937:
1838:(1). Association for Computing Machinery (ACM): 1.
1766:, "Keep statements language independent" as quoted
49:. Unsourced material may be challenged and removed.
966:
1510:Natural language grammar in programming languages
1505:Machine compilation of pseudocode style languages
259:Pseudocode generally does not actually obey the
1927:. New York, NY: Springer US. pp. 105–116.
1542:, meaning that variable declarations and other
1832:Journal on Educational Resources in Computing
1349:be the flow capacity of the residual network
8:
1896:"Abstract State Machines for the Classroom"
1252:is the flow capacity from node u to node v)
958:
942:
936:
886:Category:Articles with example pseudocode
109:Learn how and when to remove this message
1248:is the flow from node u to node v, and c
1052:
306:
1656:
1663:
7:
1809:Zobel, Justin (2013). "Algorithms".
129:is a description of the steps in an
47:adding citations to reliable sources
967:{\displaystyle \sum _{k\in S}x_{k}}
247:standards make heavy use of formal
1958:(2). Informa UK Limited: 225–246.
1779:Lamport, Leslie (2 January 2009).
1551:Mathematical programming languages
308:An example of pseudocode (for the
14:
1900:Logics of Specification Languages
1739:. Pearson Education. p. 54.
919:. For example, the sum operator (
177:No broad standard for pseudocode
1781:"The PlusCal Algorithm Language"
1575:Specification Language (VDM-SL).
23:
2021:Algorithm description languages
1925:MPEG Video Compression Standard
899:, pseudocode often consists of
34:needs additional citations for
1877:10.1109/clei53233.2021.9640222
1768:in this stackexchange question
1695:10.1109/CLEI53233.2021.9640222
133:using a mix of conventions of
1:
1815:(Second ed.). Springer.
1010:(the origin of the concept),
891:Mathematical style pseudocode
1812:Writing for Computer Science
1049:Common mathematical symbols
923:) or the product operator (
2039:
1964:10.1207/s15327051hci0902_3
1952:Human-Computer Interaction
1556:interpreted by a machine.
1216:, source node
883:
318:
199:Unified Modelling Language
1894:Reisig, Wolfgang (2007).
1573:Vienna Development Method
1590:(APL), and its dialects
1220:, sink node
1193:Ford–Fulkerson algorithm
734:
521:
323:
1933:10.1007/0-306-46983-9_6
1871:. IEEE. pp. 1–10.
1844:10.1145/1217862.1217863
1635:Program Design Language
1561:specification languages
217:scientific publications
172:scientific publications
1588:A programming language
1099:=, ≠, <, >, ≤, ≥
968:
921:capital-sigma notation
2000:Pseudocode Guidelines
1986:A pseudocode standard
1534:, and to some extent
1328:the residual network
969:
901:mathematical notation
897:numerical computation
225:numerical computation
168:mathematical notation
153:, it is intended for
151:programming languages
135:programming languages
1991:Collected Algorithms
1786:. Microsoft Research
1718:Mitchell et al. 1996
1630:Literate programming
1313:there exists a path
935:
304:usually incorrect".
143:conditional operator
43:improve this article
1615:Concept programming
1212:with flow capacity
925:capital-pi notation
316:
139:assignment operator
1645:Structured English
964:
953:
307:
1942:978-0-412-08771-4
1909:978-3-540-74107-7
1886:978-1-6654-9503-5
1822:978-1-85233-802-2
1746:978-0-7356-1967-8
1704:978-1-6654-9503-5
1689:. pp. 1–10.
1581:array programming
1540:dynamically typed
1184:
1183:
1056:Type of operation
992:, or proprietary
938:
903:, typically from
882:
881:
310:mathematical game
183:skeleton programs
119:
118:
111:
93:
2028:
1975:
1946:
1919:
1917:
1916:
1890:
1863:
1826:
1796:
1795:
1793:
1791:
1785:
1776:
1770:
1760:
1754:
1753:
1731:McConnell, Steve
1727:
1721:
1715:
1709:
1708:
1682:
1676:
1673:
1667:
1661:
1544:boilerplate code
1235:is maximal from
1180:
1135:
1091:
1081:
1053:
974:
973:
971:
970:
965:
963:
962:
952:
913:natural language
876:
873:
870:
867:
864:
861:
858:
855:
852:
849:
846:
843:
842:"Buzz"
840:
837:
834:
831:
828:
825:
822:
819:
816:
813:
810:
807:
806:"Fizz"
804:
801:
798:
795:
792:
789:
786:
783:
780:
777:
774:
771:
768:
765:
762:
759:
756:
753:
750:
747:
744:
741:
738:
726:
723:
720:
717:
714:
711:
708:
705:
702:
699:
696:
693:
690:
687:
684:
681:
678:
675:
672:
669:
668:"Buzz"
666:
663:
660:
657:
654:
651:
648:
645:
642:
639:
636:
633:
630:
627:
624:
621:
618:
617:"Fizz"
615:
612:
609:
606:
603:
600:
597:
594:
591:
588:
585:
582:
579:
576:
573:
570:
567:
564:
561:
558:
555:
552:
549:
546:
543:
540:
537:
534:
531:
528:
525:
513:
510:
507:
504:
501:
498:
495:
492:
489:
486:
483:
480:
477:
474:
471:
468:
465:
462:
459:
456:
453:
450:
447:
444:
441:
438:
435:
432:
429:
426:
423:
420:
417:
414:
411:
408:
405:
402:
399:
396:
393:
390:
387:
384:
381:
378:
375:
372:
369:
366:
363:
360:
357:
354:
351:
348:
345:
342:
339:
336:
333:
330:
327:
317:
221:computer science
206:
189:without errors.
164:natural language
123:computer science
114:
107:
103:
100:
94:
92:
51:
27:
19:
2038:
2037:
2031:
2030:
2029:
2027:
2026:
2025:
2006:
2005:
1982:
1949:
1943:
1922:
1914:
1912:
1910:
1893:
1887:
1866:
1829:
1823:
1808:
1805:
1803:Further reading
1800:
1799:
1789:
1787:
1783:
1778:
1777:
1773:
1761:
1757:
1747:
1729:
1728:
1724:
1716:
1712:
1705:
1684:
1683:
1679:
1674:
1670:
1662:
1658:
1653:
1611:
1559:Several formal
1553:
1512:
1507:
1502:
1495:
1480:
1461:
1452:
1437:
1378:
1365:
1357:
1348:
1336:
1308:
1293:
1276:
1251:
1247:
1201:ford-fulkerson
1189:
1175:
1162:
1156:Sums, products
1122:
1109:+, −, ×, /, mod
1083:
1073:
1051:
994:formula editors
975:
954:
933:
932:
930:
893:
888:
878:
877:
874:
871:
868:
865:
862:
859:
856:
853:
850:
847:
844:
841:
838:
835:
832:
829:
826:
823:
820:
817:
814:
811:
808:
805:
802:
799:
796:
793:
790:
787:
784:
781:
778:
775:
772:
769:
766:
763:
760:
757:
754:
751:
748:
745:
742:
739:
736:
732:Python style:
728:
727:
724:
721:
718:
715:
712:
709:
706:
703:
700:
697:
694:
691:
688:
685:
682:
679:
676:
673:
670:
667:
664:
661:
658:
655:
652:
649:
646:
643:
640:
637:
634:
631:
628:
625:
622:
619:
616:
613:
610:
607:
604:
601:
598:
595:
592:
589:
586:
583:
580:
577:
574:
571:
568:
565:
562:
559:
556:
553:
550:
547:
544:
541:
538:
535:
532:
529:
526:
523:
515:
514:
511:
508:
505:
502:
499:
496:
493:
490:
487:
484:
481:
478:
475:
472:
469:
466:
463:
460:
457:
454:
451:
448:
445:
442:
439:
436:
433:
430:
427:
424:
421:
418:
415:
412:
409:
406:
403:
400:
397:
394:
391:
388:
385:
382:
379:
376:
373:
370:
367:
364:
361:
358:
355:
352:
349:
346:
343:
340:
337:
334:
331:
328:
325:
321:Pascal style:
257:
213:
202:
185:, which can be
115:
104:
98:
95:
52:
50:
40:
28:
17:
12:
11:
5:
2036:
2035:
2032:
2024:
2023:
2018:
2008:
2007:
2004:
2003:
1997:
1988:
1981:
1980:External links
1978:
1977:
1976:
1947:
1941:
1920:
1908:
1891:
1885:
1864:
1827:
1821:
1804:
1801:
1798:
1797:
1771:
1755:
1745:
1722:
1720:, p. 105.
1710:
1703:
1677:
1668:
1655:
1654:
1652:
1649:
1648:
1647:
1642:
1637:
1632:
1627:
1622:
1617:
1610:
1607:
1606:
1605:
1599:
1577:
1576:
1570:
1552:
1549:
1511:
1508:
1506:
1503:
1485:
1470:
1466:)
1457:
1442:
1427:
1374:
1361:
1353:
1344:
1332:
1298:
1283:
1272:
1249:
1245:
1197:
1188:
1185:
1182:
1181:
1167:
1160:
1157:
1153:
1152:
1150:
1141:
1137:
1136:
1120:
1117:
1113:
1112:
1110:
1107:
1103:
1102:
1100:
1097:
1093:
1092:
1071:
1068:
1064:
1063:
1060:
1057:
1050:
1047:
1003:, for example
961:
957:
951:
948:
945:
941:
929:
892:
889:
880:
879:
735:
729:
522:
516:
324:
256:
253:
215:Textbooks and
212:
209:
117:
116:
31:
29:
22:
15:
13:
10:
9:
6:
4:
3:
2:
2034:
2033:
2022:
2019:
2017:
2014:
2013:
2011:
2001:
1998:
1996:
1992:
1989:
1987:
1984:
1983:
1979:
1973:
1969:
1965:
1961:
1957:
1953:
1948:
1944:
1938:
1934:
1930:
1926:
1921:
1911:
1905:
1901:
1897:
1892:
1888:
1882:
1878:
1874:
1870:
1865:
1861:
1857:
1853:
1849:
1845:
1841:
1837:
1833:
1828:
1824:
1818:
1814:
1813:
1807:
1806:
1802:
1782:
1775:
1772:
1769:
1765:
1759:
1756:
1752:
1748:
1742:
1738:
1737:
1736:Code Complete
1732:
1726:
1723:
1719:
1714:
1711:
1706:
1700:
1696:
1692:
1688:
1681:
1678:
1672:
1669:
1665:
1660:
1657:
1650:
1646:
1643:
1641:
1638:
1636:
1633:
1631:
1628:
1626:
1623:
1621:
1618:
1616:
1613:
1612:
1608:
1603:
1600:
1597:
1593:
1589:
1586:
1585:
1584:
1582:
1574:
1571:
1569:
1566:
1565:
1564:
1562:
1557:
1550:
1548:
1545:
1541:
1537:
1533:
1529:
1525:
1521:
1517:
1509:
1504:
1501:
1498:
1493:
1489:
1484:
1478:
1474:
1469:
1465:
1460:
1456:
1450:
1446:
1441:
1435:
1431:
1426:
1423:
1420:
1417:
1413:
1409:
1405:
1401:
1398:
1394:
1390:
1386:
1382:
1377:
1373:
1369:
1364:
1360:
1356:
1352:
1347:
1343:
1339:
1335:
1331:
1327:
1324:
1320:
1316:
1312:
1306:
1302:
1297:
1291:
1287:
1282:
1279:
1275:
1271:
1268:
1264:
1260:
1256:
1253:
1242:
1238:
1234:
1230:
1226:
1223:
1219:
1215:
1211:
1207:
1204:
1200:
1196:
1194:
1186:
1179:
1174:
1170:
1165:
1161:
1158:
1155:
1154:
1151:
1149:
1145:
1142:
1139:
1138:
1133:
1129:
1125:
1121:
1118:
1116:Floor/ceiling
1115:
1114:
1111:
1108:
1105:
1104:
1101:
1098:
1095:
1094:
1090:
1086:
1080:
1076:
1072:
1069:
1066:
1065:
1061:
1058:
1055:
1054:
1048:
1046:
1044:
1043:
1037:
1036:
1030:
1029:
1023:
1022:
1016:
1015:
1009:
1008:
1002:
997:
995:
991:
987:
983:
980:
977:Normally non-
959:
955:
949:
946:
943:
939:
928:
926:
922:
918:
914:
910:
906:
902:
898:
890:
887:
733:
730:
520:
517:
322:
319:
314:
311:
305:
301:
297:
295:
291:
287:
283:
279:
275:
271:
267:
262:
254:
252:
250:
246:
241:
239:
234:
229:
226:
222:
218:
210:
208:
205:
200:
196:
195:drakon-charts
192:
188:
184:
180:
175:
173:
169:
165:
161:
156:
152:
148:
144:
140:
136:
132:
128:
124:
113:
110:
102:
91:
88:
84:
81:
77:
74:
70:
67:
63:
60: –
59:
55:
54:Find sources:
48:
44:
38:
37:
32:This article
30:
26:
21:
20:
1955:
1951:
1924:
1913:. Retrieved
1899:
1868:
1835:
1831:
1811:
1788:. Retrieved
1774:
1758:
1750:
1735:
1725:
1713:
1686:
1680:
1671:
1659:
1620:Drakon-chart
1578:
1558:
1554:
1513:
1499:
1496:
1491:
1487:
1482:
1476:
1472:
1467:
1463:
1458:
1454:
1448:
1444:
1439:
1433:
1429:
1424:
1421:
1418:
1415:
1411:
1407:
1403:
1399:
1396:
1392:
1388:
1384:
1380:
1375:
1371:
1367:
1362:
1358:
1354:
1350:
1345:
1341:
1337:
1333:
1329:
1325:
1322:
1318:
1314:
1310:
1304:
1300:
1295:
1294:← 0
1289:
1285:
1280:
1277:
1273:
1269:
1266:
1262:
1258:
1254:
1244:(Note that f
1243:
1240:
1236:
1232:
1228:
1224:
1221:
1217:
1213:
1209:
1205:
1202:
1198:
1190:
1177:
1172:
1168:
1163:
1147:
1143:
1131:
1127:
1123:
1088:
1084:
1078:
1074:
1070:← or :=
1039:
1032:
1025:
1018:
1011:
1004:
998:
976:
894:
857:print_number
845:print_number
809:print_number
773:print_number
731:
695:print_number
674:print_number
623:print_number
575:print_number
518:
485:print_number
464:print_number
407:print_number
356:print_number
320:
302:
298:
258:
242:
230:
214:
176:
126:
120:
105:
96:
86:
79:
72:
65:
58:"Pseudocode"
53:
41:Please help
36:verification
33:
2016:Source code
2002:, PDF file.
1664:Reisig 2007
1524:AppleScript
1087: := 2π
1001:pidgin code
982:typesetting
219:related to
211:Application
99:August 2016
2010:Categories
1915:2023-10-05
1651:References
1640:Short Code
1568:Z notation
1402:}
1231:such that
1119:⌊, ⌋, ⌈, ⌉
1106:Arithmetic
1096:Comparison
1067:Assignment
917:algorithms
909:set theory
884:See also:
519:C style:
233:programmer
191:Flowcharts
127:pseudocode
69:newspapers
1972:0737-0024
1852:1531-4278
1625:Flowchart
1516:HyperTalk
1199:algorithm
947:∈
940:∑
827:divisible
791:divisible
650:divisible
599:divisible
434:divisible
377:divisible
326:procedure
313:fizz buzz
160:augmented
131:algorithm
1860:25810599
1764:Gersting
1733:(2004).
1609:See also
1404:for each
1370:) ← min{
1309:← 0
1255:for each
1140:Logical
1062:Example
740:fizzbuzz
524:fizzbuzz
329:fizzbuzz
238:top-down
187:compiled
1993:of the
1602:MathCAD
1225:output:
1187:Example
1040:pidgin
1033:pidgin
1026:pidgin
1019:pidgin
1014:Fortran
1012:pidgin
1005:pidgin
931:Return
875:newline
716:newline
506:newline
266:Fortran
83:scholar
1970:
1939:
1906:
1883:
1858:
1850:
1819:
1790:28 May
1743:
1701:
1536:Python
1532:Inform
1497:return
1406:edge (
1257:edge (
1208:Graph
1206:input:
1059:Symbol
1038:, and
1028:Pascal
990:MathML
905:matrix
458:"
452:"
401:"
395:"
292:, and
270:Pascal
261:syntax
255:Syntax
204:HAGGIS
179:syntax
137:(like
85:
78:
71:
64:
56:
1856:S2CID
1784:(PDF)
1579:Some
1520:Lingo
1387:) | (
1317:from
1311:while
1250:(u,v)
1246:(u,v)
1227:Flow
1130:⌋ + ⌈
1021:BASIC
1007:ALGOL
979:ASCII
869:print
863:print
851:false
839:print
815:false
803:print
755:range
710:print
701:print
680:false
665:print
629:false
614:print
554:<=
500:print
491:print
470:false
449:print
446:begin
413:false
392:print
389:begin
294:ALGOL
274:BASIC
162:with
155:human
90:JSTOR
76:books
1968:ISSN
1937:ISBN
1904:ISBN
1881:ISBN
1848:ISSN
1817:ISBN
1792:2024
1741:ISBN
1699:ISBN
1594:and
1592:APLX
1340:let
1159:Σ Π
1077:← 2π
1042:Lisp
907:and
779:true
581:true
455:Buzz
443:then
398:Fizz
386:then
362:true
290:Lisp
286:Java
245:MPEG
223:and
197:and
147:loop
62:news
1995:ACM
1960:doi
1929:doi
1873:doi
1840:doi
1691:doi
1528:SQL
1481:← −
1438:←
1321:to
1239:to
1166:← Σ
1144:and
1126:← ⌊
988:or
986:TeX
895:In
767:101
746:for
743:():
737:def
557:100
533:for
512:end
476:end
419:end
350:100
335:for
282:C++
121:In
45:by
2012::
1966:.
1954:.
1935:.
1898:.
1879:.
1854:.
1846:.
1834:.
1749:.
1697:.
1596:A+
1530:,
1526:,
1522:,
1518:,
1490:,
1475:,
1453:+
1447:,
1432:,
1422:do
1416:in
1414:)
1410:,
1397:in
1395:)
1391:,
1383:,
1338:do
1326:in
1303:,
1288:,
1278:do
1267:in
1265:)
1261:,
1203:is
1195::
1176:1/
1148:or
1146:,
1082:,
1045:.
1031:,
1024:,
1017:,
996:.
854:if
830:by
824:is
818:if
794:by
788:is
782:if
770:):
752:in
689:if
653:by
647:is
638:if
602:by
596:is
587:if
566:++
527:()
482:if
467::=
437:by
431:is
425:if
410::=
380:by
374:is
368:if
359::=
353:do
347:to
341::=
315:)
288:,
284:,
280:,
276:,
272:,
268:,
231:A
193:,
145:,
141:,
125:,
1974:.
1962::
1956:9
1945:.
1931::
1918:.
1889:.
1875::
1862:.
1842::
1836:6
1825:.
1794:.
1707:.
1693::
1604:.
1598:.
1500:f
1494:)
1492:v
1488:u
1486:(
1483:f
1479:)
1477:u
1473:v
1471:(
1468:f
1464:p
1462:(
1459:f
1455:c
1451:)
1449:v
1445:u
1443:(
1440:f
1436:)
1434:v
1430:u
1428:(
1425:f
1419:p
1412:v
1408:u
1400:p
1393:v
1389:u
1385:v
1381:u
1379:(
1376:f
1372:c
1368:p
1366:(
1363:f
1359:c
1355:f
1351:G
1346:f
1342:c
1334:f
1330:G
1323:t
1319:s
1315:p
1307:)
1305:u
1301:v
1299:(
1296:f
1292:)
1290:v
1286:u
1284:(
1281:f
1274:E
1270:G
1263:v
1259:u
1241:t
1237:s
1233:f
1229:f
1222:t
1218:s
1214:c
1210:G
1178:a
1173:A
1171:∈
1169:a
1164:h
1134:⌉
1132:c
1128:b
1124:a
1089:r
1085:c
1079:r
1075:c
1035:C
960:k
956:x
950:S
944:k
872:a
866:i
860::
848:=
836::
833:5
821:i
812:=
800::
797:3
785:i
776:=
764:,
761:1
758:(
749:i
725:}
722:}
719:;
713:a
707:;
704:i
698:)
692:(
686:}
683:;
677:=
671:;
662:{
659:)
656:5
644:i
641:(
635:}
632:;
626:=
620:;
611:{
608:)
605:3
593:i
590:(
584:;
578:=
572:{
569:)
563:i
560:;
551:i
548:;
545:1
542:=
539:i
536:(
530:{
509:;
503:a
497:;
494:i
488:,
479:;
473:;
461:;
440:5
428:i
422:;
416:;
404:;
383:3
371:i
365:;
344:1
338:i
332:;
278:C
249:C
112:)
106:(
101:)
97:(
87:·
80:·
73:·
66:·
39:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.