85:
64:
31:
22:
214:
or Yes ... it is possible to consider the frequency properties (coverage probabilities) of credibility intervals, in which case the ends of a credibility interval are treated as being random when considering the coverage probabilities (ie. via stochastic simulation studies). Of course the ends of the
2039:
In discussing frequentist confidence intervals with colleagues, it seems people want to interpret them as the range of values (read, effect sizes) consistent with the data. It is my vague sense that this is what a
Bayesian credible interval actual does describe. If this is true, I think it would be
2008:
I am not a math or stats person. Now, I use
Knowledge quite often. Today, reading an article on Reuters I came across the phrase "credibility interval" for the first time. So I go to Knowledge for enlightenment. The article is incomprehensible to me. My impression is that you have to know your
1179:
1352:
2012:
Perhaps this is as it should be. On the other hand, it could be that the author(s) of the article are all math/stats folks who aren't in the habit of thinking about audience. If the audience for this article is intended to reach the non-specialist, general reader, it doesn't.
822:
1981:
The article mentions "It is possible to frame the choice of a credible interval within decision theory and, in that context, an optimal interval will always be a highest probability density set". I didn't think this was right, so I asked the guys over at cross validated
1502:
245:
I wasn't sure if the article would benefit from an example, to show the different thought-patterns behind credible intervals and confidence intervals. In the end, per NOTATEXTBOOK, I thought not, but perhaps it's useful to place here instead.
1041:
1779:
1625:
605:
412:
1950:
934:
1047:
1200:
685:
135:
1365:
1835:
1681:
661:
468:
2083:
1886:
872:
677:
That argument is quite different to the credible-interval calculation, which proceeds by finding the posterior probability, which is equal to the prior times the likelihood,
249:
For an example that has quite simple arithmetic, consider for instance the following question. Suppose a real-valued random variable is drawn from a uniform distribution,
2088:
2073:
2098:
125:
35:
2078:
2040:
good to state that clearly and towards the top (i.e. in terms of how I would "read" a credible interval, and not simply in terms of a definition of one).
947:
2068:
1687:
1533:
2103:
2093:
1983:
514:
321:
1891:
1960:
101:
187:
A frequentist confidence interval is a RANDOM interval that contains a FIXED POINT a specified percentage of the time in repeated sampling.
173:
1174:{\displaystyle \mathrm {P} (n|x_{\rm {obs}})\,{\rm {d}}n\propto {\frac {1}{n^{2}}}\,{\rm {d}}n,\qquad \mathrm {if} \,n\geq x_{\rm {obs}}}
2063:
1987:
1959:
correspond to the credible interval (even using the appropriate
Jeffreys' prior), see eg interval estimation for a binomial proportion,
1347:{\displaystyle \int _{x_{\rm {obs}}}^{\infty }{\frac {1}{n^{2}}}\;{\rm {d}}n=\left_{x_{\rm {obs}}}^{\infty }={\frac {1}{x_{\rm {obs}}}}}
2009:
way around stats to such an extent that if you could understand the article, you wouldn't have come to the article in the first place.
2020:
817:{\displaystyle \mathrm {P} (n|x_{\rm {obs}})\,{\rm {d}}n\propto \mathrm {P} (n|\mathrm {I} )\mathrm {P} (x_{\rm {obs}}|n)\,{\rm {d}}n}
192:
A credible interval is a FIXED INTERVAL such that the values of a certain RANDOM VARIABLE fall within it with a specified probability.
877:
92:
69:
1497:{\displaystyle \mathrm {P} (n|x_{\rm {obs}})\,{\rm {d}}n={\frac {x_{\rm {obs}}}{n^{2}}}\;{\rm {d}}n,\;n\geq x_{\rm {obs}}}
219:
as credibility intervals, whereas the ends of a confidence interval are treated as random when confidence intervals are
44:
1984:
http://stats.stackexchange.com/questions/83153/is-this-statement-about-credible-intervals-from-wikipedia-correct
1784:
1630:
610:
417:
169:
21:
1991:
1842:
In this case thereofore the confidence interval and the credible interval coincide; but this is only because
2024:
165:
201:
50:
1849:
835:
197:
84:
63:
2016:
1986:), and most seem to agree with me. Maybe it's just unclearly worded? Either way it need attention...
161:
100:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
228:
2045:
1967:
260:
The confidence-interval analysis for a 95% interval with two equal tails runs as follows:
2057:
224:
2041:
1036:{\displaystyle \mathrm {P} (n|x_{\rm {obs}})=0,\,\mathrm {if} \,n<x_{\rm {obs}}}
1774:{\displaystyle \int _{0}^{n_{2}}\mathrm {P} (n|x_{\rm {obs}})\,{\rm {d}}n=0.975,}
1620:{\displaystyle \int _{0}^{n_{1}}\mathrm {P} (n|x_{\rm {obs}})\,{\rm {d}}n=0.025,}
1963:
97:
600:{\displaystyle \int _{0}^{x_{\rm {obs}}}{\rm {P}}(x|n_{1})\,{\rm {d}}x=0.975}
407:{\displaystyle \int _{0}^{x_{\rm {obs}}}{\rm {P}}(x|n_{2})\,{\rm {d}}x=0.025}
2049:
2028:
1995:
1971:
232:
205:
1945:{\displaystyle \scriptstyle \mathrm {Pr} (n|\mathrm {I} )\,\propto \,1/n}
215:
credibility region are treated as fixed when credibility intervals are
490:; this will lead to an interval with end-points that are greater than
1952:; and it is apparent that the logic in each case is very different.
297:; this will lead to an interval with end-points that are less than
929:{\displaystyle \scriptstyle \mathrm {Pr} (n|I)\,\propto \,1/n}
15:
1189:
Integrating this to establish the normalisation, we have that
253:; and we seek an interval estimate for the unknown parameter
669:
This leaves 95% of the time that the interval will cover
1895:
881:
1894:
1852:
1787:
1690:
1633:
1536:
1368:
1203:
1050:
950:
880:
838:
688:
613:
517:
420:
324:
96:, a collaborative effort to improve the coverage of
1955:For an example where the confidence interval does
1944:
1880:
1829:
1773:
1675:
1619:
1496:
1346:
1173:
1035:
928:
866:
816:
655:
599:
462:
406:
502:, being made up of values entirely greater than
309:, being made up of values entirely smaller than
2084:Knowledge level-5 vital articles in Mathematics
264:We place the left hand end of the interval at
8:
19:
2014:
58:
2089:Start-Class vital articles in Mathematics
1933:
1915:
1910:
1896:
1893:
1867:
1853:
1851:
1830:{\displaystyle n_{2}=x_{\rm {obs}}/0.025}
1819:
1806:
1805:
1792:
1786:
1753:
1752:
1734:
1733:
1724:
1713:
1705:
1700:
1695:
1689:
1676:{\displaystyle n_{1}=x_{\rm {obs}}/0.975}
1665:
1652:
1651:
1638:
1632:
1599:
1598:
1580:
1579:
1570:
1559:
1551:
1546:
1541:
1535:
1481:
1480:
1456:
1455:
1445:
1428:
1427:
1421:
1409:
1408:
1390:
1389:
1380:
1369:
1367:
1329:
1328:
1319:
1310:
1296:
1295:
1290:
1275:
1254:
1253:
1243:
1234:
1228:
1214:
1213:
1208:
1202:
1158:
1157:
1137:
1123:
1122:
1112:
1103:
1091:
1090:
1072:
1071:
1062:
1051:
1049:
1020:
1019:
999:
972:
971:
962:
951:
949:
917:
896:
882:
879:
853:
839:
837:
805:
804:
791:
778:
777:
765:
757:
752:
741:
729:
728:
710:
709:
700:
689:
687:
656:{\displaystyle n_{1}=x_{\rm {obs}}/0.975}
645:
632:
631:
618:
612:
582:
581:
570:
561:
549:
548:
533:
532:
527:
522:
516:
463:{\displaystyle n_{2}=x_{\rm {obs}}/0.025}
452:
439:
438:
425:
419:
389:
388:
377:
368:
356:
355:
340:
339:
334:
329:
323:
1468:
1453:
1251:
2074:Knowledge vital articles in Mathematics
2005:What is the audience for this article?
1928:
1923:
1750:
1596:
1406:
1145:
1120:
1088:
1007:
997:
912:
907:
802:
726:
579:
386:
60:
478:2.5% of the time an unknown parameter
285:2.5% of the time an unknown parameter
7:
90:This article is within the scope of
2099:High-importance Statistics articles
2035:Interpretation of Credible Interval
49:It is of interest to the following
2079:Start-Class level-5 vital articles
1916:
1900:
1897:
1881:{\displaystyle \mathrm {Pr} (n|I)}
1857:
1854:
1813:
1810:
1807:
1754:
1741:
1738:
1735:
1714:
1659:
1656:
1653:
1600:
1587:
1584:
1581:
1560:
1488:
1485:
1482:
1457:
1435:
1432:
1429:
1410:
1397:
1394:
1391:
1370:
1336:
1333:
1330:
1311:
1303:
1300:
1297:
1255:
1229:
1221:
1218:
1215:
1165:
1162:
1159:
1141:
1138:
1124:
1092:
1079:
1076:
1073:
1052:
1027:
1024:
1021:
1003:
1000:
979:
976:
973:
952:
886:
883:
867:{\displaystyle \mathrm {Pr} (n|I)}
843:
840:
806:
785:
782:
779:
766:
758:
742:
730:
717:
714:
711:
690:
673:, fulfilling the claim advertised.
639:
636:
633:
583:
550:
540:
537:
534:
446:
443:
440:
390:
357:
347:
344:
341:
271:/0.975; and the right hand end at
14:
2069:Knowledge level-5 vital articles
110:Knowledge:WikiProject Statistics
83:
62:
29:
20:
2104:WikiProject Statistics articles
2094:Start-Class Statistics articles
1888:was the Jeffreys' distribution
130:This article has been rated as
113:Template:WikiProject Statistics
1920:
1911:
1904:
1875:
1868:
1861:
1747:
1725:
1718:
1593:
1571:
1564:
1403:
1381:
1374:
1085:
1063:
1056:
985:
963:
956:
904:
897:
890:
861:
854:
847:
799:
792:
770:
762:
753:
746:
723:
701:
694:
576:
562:
555:
383:
369:
362:
153:Is a credible interval random?
1:
2050:21:51, 13 November 2019 (UTC)
1135:
486:that is greater than 0.975 *
233:16:42, 25 February 2008 (UTC)
157:is credible interval random?
104:and see a list of open tasks.
1996:17:51, 24 January 2014 (UTC)
1972:00:27, 8 December 2010 (UTC)
206:17:51, 8 December 2007 (UTC)
1977:"within decision theory..."
1846:was a scale parameter, and
874:the Jeffreys' distribution
2120:
2064:Start-Class vital articles
293:that is less than 0.025 *
176:) 01:56, 20 September 2007
2029:12:20, 30 July 2016 (UTC)
482:will give an observation
289:will give an observation
223:as confidence intervals.
129:
78:
57:
257:, which is real-valued.
1946:
1882:
1831:
1775:
1677:
1621:
1498:
1348:
1175:
1037:
930:
868:
818:
657:
601:
498:, so will not include
464:
408:
305:, so will not include
93:WikiProject Statistics
1947:
1883:
1832:
1776:
1678:
1622:
1499:
1349:
1176:
1038:
931:
869:
832:Taking for the prior
819:
658:
602:
465:
409:
36:level-5 vital article
1892:
1850:
1785:
1688:
1631:
1534:
1366:
1201:
1048:
948:
878:
836:
686:
611:
515:
418:
322:
1712:
1558:
1315:
1233:
547:
354:
116:Statistics articles
1942:
1941:
1929:
1924:
1878:
1827:
1771:
1751:
1691:
1673:
1617:
1597:
1537:
1494:
1469:
1454:
1407:
1344:
1266:
1252:
1204:
1171:
1146:
1136:
1121:
1089:
1033:
1008:
998:
926:
925:
913:
908:
864:
814:
803:
727:
653:
597:
580:
518:
460:
404:
387:
325:
45:content assessment
2031:
2019:comment added by
1451:
1342:
1283:
1249:
1118:
178:
164:comment added by
150:
149:
146:
145:
142:
141:
2111:
1951:
1949:
1948:
1943:
1937:
1919:
1914:
1903:
1887:
1885:
1884:
1879:
1871:
1860:
1836:
1834:
1833:
1828:
1823:
1818:
1817:
1816:
1797:
1796:
1780:
1778:
1777:
1772:
1758:
1757:
1746:
1745:
1744:
1728:
1717:
1711:
1710:
1709:
1699:
1682:
1680:
1679:
1674:
1669:
1664:
1663:
1662:
1643:
1642:
1626:
1624:
1623:
1618:
1604:
1603:
1592:
1591:
1590:
1574:
1563:
1557:
1556:
1555:
1545:
1503:
1501:
1500:
1495:
1493:
1492:
1491:
1461:
1460:
1452:
1450:
1449:
1440:
1439:
1438:
1422:
1414:
1413:
1402:
1401:
1400:
1384:
1373:
1353:
1351:
1350:
1345:
1343:
1341:
1340:
1339:
1320:
1314:
1309:
1308:
1307:
1306:
1289:
1285:
1284:
1276:
1259:
1258:
1250:
1248:
1247:
1235:
1232:
1227:
1226:
1225:
1224:
1180:
1178:
1177:
1172:
1170:
1169:
1168:
1144:
1128:
1127:
1119:
1117:
1116:
1104:
1096:
1095:
1084:
1083:
1082:
1066:
1055:
1042:
1040:
1039:
1034:
1032:
1031:
1030:
1006:
984:
983:
982:
966:
955:
935:
933:
932:
927:
921:
900:
889:
873:
871:
870:
865:
857:
846:
823:
821:
820:
815:
810:
809:
795:
790:
789:
788:
769:
761:
756:
745:
734:
733:
722:
721:
720:
704:
693:
662:
660:
659:
654:
649:
644:
643:
642:
623:
622:
606:
604:
603:
598:
587:
586:
575:
574:
565:
554:
553:
546:
545:
544:
543:
526:
469:
467:
466:
461:
456:
451:
450:
449:
430:
429:
413:
411:
410:
405:
394:
393:
382:
381:
372:
361:
360:
353:
352:
351:
350:
333:
278:/0.025, because:
177:
158:
136:importance scale
118:
117:
114:
111:
108:
87:
80:
79:
74:
66:
59:
42:
33:
32:
25:
24:
16:
2119:
2118:
2114:
2113:
2112:
2110:
2109:
2108:
2054:
2053:
2037:
2003:
1979:
1890:
1889:
1848:
1847:
1801:
1788:
1783:
1782:
1729:
1701:
1686:
1685:
1647:
1634:
1629:
1628:
1575:
1547:
1532:
1531:
1525:
1518:
1512:and so we find
1476:
1441:
1423:
1385:
1364:
1363:
1324:
1291:
1271:
1267:
1239:
1209:
1199:
1198:
1153:
1108:
1067:
1046:
1045:
1015:
967:
946:
945:
876:
875:
834:
833:
773:
705:
684:
683:
627:
614:
609:
608:
566:
528:
513:
512:
434:
421:
416:
415:
373:
335:
320:
319:
277:
270:
243:
159:
155:
132:High-importance
115:
112:
109:
106:
105:
73:High‑importance
72:
43:on Knowledge's
40:
30:
12:
11:
5:
2117:
2115:
2107:
2106:
2101:
2096:
2091:
2086:
2081:
2076:
2071:
2066:
2056:
2055:
2036:
2033:
2002:
1999:
1978:
1975:
1940:
1936:
1932:
1927:
1922:
1918:
1913:
1909:
1906:
1902:
1899:
1877:
1874:
1870:
1866:
1863:
1859:
1856:
1840:
1839:
1838:
1837:
1826:
1822:
1815:
1812:
1809:
1804:
1800:
1795:
1791:
1770:
1767:
1764:
1761:
1756:
1749:
1743:
1740:
1737:
1732:
1727:
1723:
1720:
1716:
1708:
1704:
1698:
1694:
1683:
1672:
1668:
1661:
1658:
1655:
1650:
1646:
1641:
1637:
1616:
1613:
1610:
1607:
1602:
1595:
1589:
1586:
1583:
1578:
1573:
1569:
1566:
1562:
1554:
1550:
1544:
1540:
1528:
1527:
1523:
1516:
1507:
1506:
1505:
1504:
1490:
1487:
1484:
1479:
1475:
1472:
1467:
1464:
1459:
1448:
1444:
1437:
1434:
1431:
1426:
1420:
1417:
1412:
1405:
1399:
1396:
1393:
1388:
1383:
1379:
1376:
1372:
1360:
1359:
1355:
1354:
1338:
1335:
1332:
1327:
1323:
1318:
1313:
1305:
1302:
1299:
1294:
1288:
1282:
1279:
1274:
1270:
1265:
1262:
1257:
1246:
1242:
1238:
1231:
1223:
1220:
1217:
1212:
1207:
1193:
1192:
1191:
1190:
1184:
1183:
1182:
1181:
1167:
1164:
1161:
1156:
1152:
1149:
1143:
1140:
1134:
1131:
1126:
1115:
1111:
1107:
1102:
1099:
1094:
1087:
1081:
1078:
1075:
1070:
1065:
1061:
1058:
1054:
1043:
1029:
1026:
1023:
1018:
1014:
1011:
1005:
1002:
996:
993:
990:
987:
981:
978:
975:
970:
965:
961:
958:
954:
940:
939:
938:
937:
924:
920:
916:
911:
906:
903:
899:
895:
892:
888:
885:
863:
860:
856:
852:
849:
845:
842:
827:
826:
825:
824:
813:
808:
801:
798:
794:
787:
784:
781:
776:
772:
768:
764:
760:
755:
751:
748:
744:
740:
737:
732:
725:
719:
716:
713:
708:
703:
699:
696:
692:
675:
674:
666:
665:
664:
663:
652:
648:
641:
638:
635:
630:
626:
621:
617:
596:
593:
590:
585:
578:
573:
569:
564:
560:
557:
552:
542:
539:
536:
531:
525:
521:
508:
507:
473:
472:
471:
470:
459:
455:
448:
445:
442:
437:
433:
428:
424:
403:
400:
397:
392:
385:
380:
376:
371:
367:
364:
359:
349:
346:
343:
338:
332:
328:
315:
314:
280:
279:
275:
268:
242:
239:
238:
237:
236:
235:
209:
208:
194:
193:
189:
188:
184:
183:
166:128.100.74.204
154:
151:
148:
147:
144:
143:
140:
139:
128:
122:
121:
119:
102:the discussion
88:
76:
75:
67:
55:
54:
48:
26:
13:
10:
9:
6:
4:
3:
2:
2116:
2105:
2102:
2100:
2097:
2095:
2092:
2090:
2087:
2085:
2082:
2080:
2077:
2075:
2072:
2070:
2067:
2065:
2062:
2061:
2059:
2052:
2051:
2047:
2043:
2034:
2032:
2030:
2026:
2022:
2018:
2010:
2006:
2000:
1998:
1997:
1993:
1989:
1988:66.29.243.106
1985:
1976:
1974:
1973:
1969:
1965:
1961:
1958:
1953:
1938:
1934:
1930:
1925:
1907:
1872:
1864:
1845:
1824:
1820:
1802:
1798:
1793:
1789:
1768:
1765:
1762:
1759:
1730:
1721:
1706:
1702:
1696:
1692:
1684:
1670:
1666:
1648:
1644:
1639:
1635:
1614:
1611:
1608:
1605:
1576:
1567:
1552:
1548:
1542:
1538:
1530:
1529:
1522:
1515:
1511:
1510:
1509:
1508:
1477:
1473:
1470:
1465:
1462:
1446:
1442:
1424:
1418:
1415:
1386:
1377:
1362:
1361:
1357:
1356:
1325:
1321:
1316:
1292:
1286:
1280:
1277:
1272:
1268:
1263:
1260:
1244:
1240:
1236:
1210:
1205:
1197:
1196:
1195:
1194:
1188:
1187:
1186:
1185:
1154:
1150:
1147:
1132:
1129:
1113:
1109:
1105:
1100:
1097:
1068:
1059:
1044:
1016:
1012:
1009:
994:
991:
988:
968:
959:
944:
943:
942:
941:
922:
918:
914:
909:
901:
893:
858:
850:
831:
830:
829:
828:
811:
796:
774:
749:
738:
735:
706:
697:
682:
681:
680:
679:
678:
672:
668:
667:
650:
646:
628:
624:
619:
615:
594:
591:
588:
571:
567:
558:
529:
523:
519:
510:
509:
505:
501:
497:
493:
489:
485:
481:
477:
476:
475:
474:
457:
453:
435:
431:
426:
422:
401:
398:
395:
378:
374:
365:
336:
330:
326:
317:
316:
312:
308:
304:
300:
296:
292:
288:
284:
283:
282:
281:
274:
267:
263:
262:
261:
258:
256:
252:
247:
240:
234:
230:
226:
222:
218:
213:
212:
211:
210:
207:
203:
199:
196:
195:
191:
190:
186:
185:
181:
180:
179:
175:
171:
167:
163:
152:
137:
133:
127:
124:
123:
120:
103:
99:
95:
94:
89:
86:
82:
81:
77:
71:
68:
65:
61:
56:
52:
46:
38:
37:
27:
23:
18:
17:
2038:
2021:24.65.41.120
2015:— Preceding
2011:
2007:
2004:
1980:
1956:
1954:
1843:
1841:
1520:
1513:
676:
670:
503:
499:
495:
491:
487:
483:
479:
310:
306:
302:
298:
294:
290:
286:
272:
265:
259:
254:
250:
248:
244:
220:
216:
160:— Preceding
156:
131:
91:
51:WikiProjects
34:
221:interpreted
217:interpreted
41:Start-class
2058:Categories
251:x ~ U(0,n)
107:Statistics
98:statistics
70:Statistics
1781:given by
1627:given by
1526:such that
39:is rated
2017:unsigned
2001:Audience
301:/39 ...
225:Melcombe
174:contribs
162:unsigned
2042:Muniche
241:Example
134:on the
1964:Jheald
494:... 39
198:Blaise
47:scale.
1825:0.025
1766:0.975
1671:0.975
1612:0.025
936:gives
651:0.975
607:when
595:0.975
511:i.e.
458:0.025
414:when
402:0.025
318:i.e.
28:This
2046:talk
2025:talk
1992:talk
1968:talk
1519:and
1013:<
229:talk
202:talk
170:talk
126:High
1957:not
276:obs
269:obs
182:No.
2060::
2048:)
2027:)
1994:)
1970:)
1962:.
1926:∝
1693:∫
1539:∫
1474:≥
1358:so
1312:∞
1273:−
1230:∞
1206:∫
1151:≥
1101:∝
910:∝
739:∝
520:∫
327:∫
231:)
204:)
172:•
2044:(
2023:(
1990:(
1982:(
1966:(
1939:n
1935:/
1931:1
1921:)
1917:I
1912:|
1908:n
1905:(
1901:r
1898:P
1876:)
1873:I
1869:|
1865:n
1862:(
1858:r
1855:P
1844:n
1821:/
1814:s
1811:b
1808:o
1803:x
1799:=
1794:2
1790:n
1769:,
1763:=
1760:n
1755:d
1748:)
1742:s
1739:b
1736:o
1731:x
1726:|
1722:n
1719:(
1715:P
1707:2
1703:n
1697:0
1667:/
1660:s
1657:b
1654:o
1649:x
1645:=
1640:1
1636:n
1615:,
1609:=
1606:n
1601:d
1594:)
1588:s
1585:b
1582:o
1577:x
1572:|
1568:n
1565:(
1561:P
1553:1
1549:n
1543:0
1524:2
1521:n
1517:1
1514:n
1489:s
1486:b
1483:o
1478:x
1471:n
1466:,
1463:n
1458:d
1447:2
1443:n
1436:s
1433:b
1430:o
1425:x
1419:=
1416:n
1411:d
1404:)
1398:s
1395:b
1392:o
1387:x
1382:|
1378:n
1375:(
1371:P
1337:s
1334:b
1331:o
1326:x
1322:1
1317:=
1304:s
1301:b
1298:o
1293:x
1287:]
1281:n
1278:1
1269:[
1264:=
1261:n
1256:d
1245:2
1241:n
1237:1
1222:s
1219:b
1216:o
1211:x
1166:s
1163:b
1160:o
1155:x
1148:n
1142:f
1139:i
1133:,
1130:n
1125:d
1114:2
1110:n
1106:1
1098:n
1093:d
1086:)
1080:s
1077:b
1074:o
1069:x
1064:|
1060:n
1057:(
1053:P
1028:s
1025:b
1022:o
1017:x
1010:n
1004:f
1001:i
995:,
992:0
989:=
986:)
980:s
977:b
974:o
969:x
964:|
960:n
957:(
953:P
923:n
919:/
915:1
905:)
902:I
898:|
894:n
891:(
887:r
884:P
862:)
859:I
855:|
851:n
848:(
844:r
841:P
812:n
807:d
800:)
797:n
793:|
786:s
783:b
780:o
775:x
771:(
767:P
763:)
759:I
754:|
750:n
747:(
743:P
736:n
731:d
724:)
718:s
715:b
712:o
707:x
702:|
698:n
695:(
691:P
671:n
647:/
640:s
637:b
634:o
629:x
625:=
620:1
616:n
592:=
589:x
584:d
577:)
572:1
568:n
563:|
559:x
556:(
551:P
541:s
538:b
535:o
530:x
524:0
506:.
504:n
500:n
496:n
492:n
488:n
484:x
480:n
454:/
447:s
444:b
441:o
436:x
432:=
427:2
423:n
399:=
396:x
391:d
384:)
379:2
375:n
370:|
366:x
363:(
358:P
348:s
345:b
342:o
337:x
331:0
313:.
311:n
307:n
303:n
299:n
295:n
291:x
287:n
273:x
266:x
255:n
227:(
200:(
168:(
138:.
53::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.