2348:
1454:
1119:
261:
47:. This stands in contradiction to a claimed strong Mach principle, which would forbid a vacuum solution from being anything but Minkowski without singularities, where the singularities are to be construed as mass as in the
791:
526:
1361:
869:
2051:
136:
124:
838:
1181:. That is sufficient to conclude that it is a vacuum solution distinct from Minkowski spacetime. Under a suitable coordinate transformation, the metric can be rewritten as
1168:
2370:
2098:
2333:
2122:
1868:
1495:
1904:
1858:
2042:
1526:
28:
1779:
532:
267:
1784:
2104:
1817:
1920:
1998:
1114:{\displaystyle {d\tau }^{2}=-(dx^{0})^{2}+4(x^{3})(dx^{0})(dx^{2})-2(dx^{1})(dx^{2})-2(x^{3})^{2}(dx^{2})^{2}-(dx^{3})^{2}.}
2061:
1187:
2351:
2093:
1928:
1488:
1915:
1387:
1675:
1956:
1690:
127:
256:{\displaystyle e_{(0)}={\frac {1}{\sqrt {2+(x^{3})^{2}}}}\left(x^{3}\partial _{0}-\partial _{1}+\partial _{2}\right)}
2243:
1685:
1638:
2375:
2273:
1899:
1580:
57:
2298:
1848:
1608:
1519:
1481:
32:
2027:
1949:
1569:
1560:
2116:
2022:
797:
2253:
1980:
1654:
1618:
36:
2258:
1863:
1802:
2163:
2089:
1933:
1535:
1461:
1424:
1398:
48:
40:
2238:
2233:
2228:
2223:
2055:
2004:
1822:
1807:
1633:
1564:
1512:
2127:
1134:
2303:
2203:
1985:
1966:
1960:
1911:
1853:
1762:
1680:
1598:
1575:
1543:
2313:
2183:
2145:
2137:
1738:
1695:
1367:
1465:
39:
in 1962. It is noteworthy among vacuum solutions for being the first known solution that is
2278:
2218:
2208:
2155:
2132:
1710:
1432:
1178:
44:
2293:
2268:
2193:
2188:
2071:
2032:
1994:
1938:
1812:
1748:
2076:
1428:
1402:
2318:
1990:
1974:
1970:
1873:
1843:
1700:
1603:
1125:
2364:
2308:
2288:
2283:
2198:
2066:
1894:
1838:
1670:
1623:
1415:
Pirani, F. A. E. (1957), "Invariant
Formulation of Gravitational Radiation Theory",
2328:
2248:
2213:
1743:
1705:
2112:
2081:
1628:
1453:
43:, globally defined, and singularity-free but nevertheless not isometric to the
2323:
1889:
1733:
1728:
1174:
860:
1436:
1720:
2263:
1613:
863:, and that there are no singularities. The corresponding proper time is
1943:
1924:
786:{\displaystyle e_{(2)}={\frac {1}{\sqrt {4+2(x^{3})^{2}}}}\left}
521:{\displaystyle e_{(1)}={\frac {1}{\sqrt {4+2(x^{3})^{2}}}}\left}
1508:
1504:
1128:
has only one algebraically independent, nonzero component
1469:
1356:{\displaystyle d\tau ^{2}=du^{2}-2dudv-dx^{2}-dy^{2}}
1190:
1137:
872:
800:
535:
270:
139:
60:
2176:
2041:
2013:
1882:
1831:
1793:
1772:
1761:
1719:
1663:
1647:
1589:
1553:
1542:
1355:
1162:
1113:
832:
785:
520:
255:
118:
35:. The metric was published by István Ozsváth and
1520:
1489:
8:
113:
61:
119:{\displaystyle \{x^{0},x^{1},x^{2},x^{3}\}}
1769:
1550:
1527:
1513:
1505:
1496:
1482:
1395:Recent Developments in General Relativity
1347:
1331:
1297:
1230:
1217:
1198:
1189:
1142:
1136:
1102:
1092:
1073:
1063:
1047:
1037:
1015:
996:
971:
952:
933:
914:
904:
882:
874:
871:
824:
805:
799:
772:
759:
742:
732:
717:
711:
698:
688:
661:
644:
634:
619:
610:
587:
577:
555:
540:
534:
507:
494:
477:
467:
452:
446:
433:
423:
396:
379:
369:
354:
345:
322:
312:
290:
275:
269:
242:
229:
216:
206:
188:
178:
159:
144:
138:
107:
94:
81:
68:
59:
1378:
843:It is straightforward to verify that e
2371:Exact solutions in general relativity
833:{\displaystyle e_{(3)}=\partial _{3}}
7:
1450:
1448:
16:Solution of Einstein field equations
2099:Tolman–Oppenheimer–Volkoff equation
2052:Friedmann–Lemaître–Robertson–Walker
1386:Ozsváth, I.; Schücking, E. (1962),
1468:. You can help Knowledge (XXG) by
1173:which shows that the spacetime is
821:
769:
756:
658:
504:
491:
393:
239:
226:
213:
14:
1869:Hamilton–Jacobi–Einstein equation
1366:and is therefore an example of a
859:are spacelike, that they are all
2347:
2346:
1452:
1676:Mass–energy equivalence (E=mc)
1287:
1284:
1275:
1254:
1245:
1236:
1210:
1207:
1099:
1082:
1070:
1053:
1044:
1030:
1021:
1005:
1002:
986:
977:
961:
958:
942:
939:
926:
911:
894:
812:
806:
739:
725:
695:
681:
641:
627:
584:
570:
547:
541:
474:
460:
430:
416:
376:
362:
319:
305:
282:
276:
185:
171:
151:
145:
1:
1163:{\displaystyle R_{0202}=-1,}
1691:Relativistic Doppler effect
2392:
2162:In computational physics:
1686:Relativity of simultaneity
1447:
25:Ozsváth–Schücking solution
2344:
1999:Lense–Thirring precession
1581:Doubly special relativity
1859:Post-Newtonian formalism
1849:Einstein field equations
1785:Mathematical formulation
1609:Hyperbolic orthogonality
1437:10.1103/PhysRev.105.1089
33:Einstein field equations
21:Ozsváth–Schücking metric
1570:Galilean transformation
1561:Principle of relativity
126:, define the following
1655:Lorentz transformation
1464:-related article is a
1357:
1164:
1115:
834:
787:
522:
257:
120:
2123:Weyl−Lewis−Papapetrou
1864:Raychaudhuri equation
1803:Equivalence principle
1388:"An anti-Mach metric"
1358:
1165:
1116:
835:
788:
523:
258:
121:
2164:Numerical relativity
2005:pulsar timing arrays
1188:
1135:
870:
798:
533:
268:
137:
58:
49:Schwarzschild metric
2056:Friedmann equations
1950:Hulse–Taylor binary
1912:Gravitational waves
1808:Riemannian geometry
1634:Proper acceleration
1619:Maxwell's equations
1565:Galilean relativity
1429:1957PhRv..105.1089P
1403:1962rdgr.book..339O
37:Engelbert Schücking
2105:Reissner–Nordström
2023:Brans–Dicke theory
1854:Linearized gravity
1681:Length contraction
1599:Frame of reference
1576:Special relativity
1353:
1160:
1111:
830:
783:
518:
253:
116:
2358:
2357:
2172:
2171:
2151:Ozsváth–Schücking
1757:
1756:
1739:Minkowski diagram
1696:Thomas precession
1639:Relativistic mass
1477:
1476:
1368:pp-wave spacetime
748:
650:
594:
593:
483:
385:
329:
328:
195:
194:
54:With coordinates
2383:
2376:Relativity stubs
2350:
2349:
2133:van Stockum dust
1905:Two-body problem
1823:Mach's principle
1770:
1711:Terrell rotation
1551:
1529:
1522:
1515:
1506:
1498:
1491:
1484:
1456:
1449:
1440:
1439:
1423:(3): 1089–1099,
1412:
1406:
1405:
1392:
1383:
1362:
1360:
1359:
1354:
1352:
1351:
1336:
1335:
1302:
1301:
1235:
1234:
1222:
1221:
1203:
1202:
1179:conformally flat
1169:
1167:
1166:
1161:
1147:
1146:
1120:
1118:
1117:
1112:
1107:
1106:
1097:
1096:
1078:
1077:
1068:
1067:
1052:
1051:
1042:
1041:
1020:
1019:
1001:
1000:
976:
975:
957:
956:
938:
937:
919:
918:
909:
908:
887:
886:
881:
839:
837:
836:
831:
829:
828:
816:
815:
792:
790:
789:
784:
782:
778:
777:
776:
764:
763:
754:
750:
749:
747:
746:
737:
736:
718:
716:
715:
703:
702:
693:
692:
666:
665:
656:
652:
651:
649:
648:
639:
638:
620:
615:
614:
595:
592:
591:
582:
581:
560:
556:
551:
550:
527:
525:
524:
519:
517:
513:
512:
511:
499:
498:
489:
485:
484:
482:
481:
472:
471:
453:
451:
450:
438:
437:
428:
427:
401:
400:
391:
387:
386:
384:
383:
374:
373:
355:
350:
349:
330:
327:
326:
317:
316:
295:
291:
286:
285:
262:
260:
259:
254:
252:
248:
247:
246:
234:
233:
221:
220:
211:
210:
196:
193:
192:
183:
182:
164:
160:
155:
154:
125:
123:
122:
117:
112:
111:
99:
98:
86:
85:
73:
72:
45:Minkowski metric
2391:
2390:
2386:
2385:
2384:
2382:
2381:
2380:
2361:
2360:
2359:
2354:
2340:
2168:
2072:BKL singularity
2062:Lemaître–Tolman
2037:
2033:Quantum gravity
2015:
2009:
1995:geodetic effect
1969:(together with
1939:LISA Pathfinder
1878:
1827:
1813:Penrose diagram
1795:
1789:
1764:
1753:
1749:Minkowski space
1715:
1659:
1643:
1591:
1585:
1545:
1538:
1533:
1503:
1502:
1445:
1443:
1414:
1413:
1409:
1390:
1385:
1384:
1380:
1376:
1343:
1327:
1293:
1226:
1213:
1194:
1186:
1185:
1138:
1133:
1132:
1098:
1088:
1069:
1059:
1043:
1033:
1011:
992:
967:
948:
929:
910:
900:
873:
868:
867:
858:
854:
850:
846:
820:
801:
796:
795:
768:
755:
738:
728:
707:
694:
684:
674:
670:
657:
640:
630:
606:
605:
601:
600:
596:
583:
573:
536:
531:
530:
503:
490:
473:
463:
442:
429:
419:
409:
405:
392:
375:
365:
341:
340:
336:
335:
331:
318:
308:
271:
266:
265:
238:
225:
212:
202:
201:
197:
184:
174:
140:
135:
134:
103:
90:
77:
64:
56:
55:
29:vacuum solution
17:
12:
11:
5:
2389:
2387:
2379:
2378:
2373:
2363:
2362:
2356:
2355:
2345:
2342:
2341:
2339:
2338:
2331:
2326:
2321:
2316:
2311:
2306:
2301:
2296:
2291:
2286:
2281:
2276:
2271:
2266:
2261:
2259:Choquet-Bruhat
2256:
2251:
2246:
2241:
2236:
2231:
2226:
2221:
2216:
2211:
2206:
2201:
2196:
2191:
2186:
2180:
2178:
2174:
2173:
2170:
2169:
2167:
2166:
2159:
2158:
2153:
2148:
2141:
2140:
2135:
2130:
2125:
2120:
2111:Axisymmetric:
2108:
2107:
2102:
2096:
2085:
2084:
2079:
2074:
2069:
2064:
2059:
2050:Cosmological:
2047:
2045:
2039:
2038:
2036:
2035:
2030:
2025:
2019:
2017:
2011:
2010:
2008:
2007:
2002:
1991:frame-dragging
1988:
1983:
1978:
1975:Einstein rings
1971:Einstein cross
1964:
1953:
1952:
1947:
1941:
1936:
1931:
1918:
1908:
1907:
1902:
1897:
1892:
1886:
1884:
1880:
1879:
1877:
1876:
1874:Ernst equation
1871:
1866:
1861:
1856:
1851:
1846:
1844:BSSN formalism
1841:
1835:
1833:
1829:
1828:
1826:
1825:
1820:
1815:
1810:
1805:
1799:
1797:
1791:
1790:
1788:
1787:
1782:
1776:
1774:
1767:
1759:
1758:
1755:
1754:
1752:
1751:
1746:
1741:
1736:
1731:
1725:
1723:
1717:
1716:
1714:
1713:
1708:
1703:
1701:Ladder paradox
1698:
1693:
1688:
1683:
1678:
1673:
1667:
1665:
1661:
1660:
1658:
1657:
1651:
1649:
1645:
1644:
1642:
1641:
1636:
1631:
1626:
1621:
1616:
1611:
1606:
1604:Speed of light
1601:
1595:
1593:
1587:
1586:
1584:
1583:
1578:
1573:
1567:
1557:
1555:
1548:
1540:
1539:
1534:
1532:
1531:
1524:
1517:
1509:
1501:
1500:
1493:
1486:
1478:
1475:
1474:
1457:
1442:
1441:
1407:
1377:
1375:
1372:
1364:
1363:
1350:
1346:
1342:
1339:
1334:
1330:
1326:
1323:
1320:
1317:
1314:
1311:
1308:
1305:
1300:
1296:
1292:
1289:
1286:
1283:
1280:
1277:
1274:
1271:
1268:
1265:
1262:
1259:
1256:
1253:
1250:
1247:
1244:
1241:
1238:
1233:
1229:
1225:
1220:
1216:
1212:
1209:
1206:
1201:
1197:
1193:
1171:
1170:
1159:
1156:
1153:
1150:
1145:
1141:
1126:Riemann tensor
1122:
1121:
1110:
1105:
1101:
1095:
1091:
1087:
1084:
1081:
1076:
1072:
1066:
1062:
1058:
1055:
1050:
1046:
1040:
1036:
1032:
1029:
1026:
1023:
1018:
1014:
1010:
1007:
1004:
999:
995:
991:
988:
985:
982:
979:
974:
970:
966:
963:
960:
955:
951:
947:
944:
941:
936:
932:
928:
925:
922:
917:
913:
907:
903:
899:
896:
893:
890:
885:
880:
877:
856:
852:
848:
847:is timelike, e
844:
841:
840:
827:
823:
819:
814:
811:
808:
804:
793:
781:
775:
771:
767:
762:
758:
753:
745:
741:
735:
731:
727:
724:
721:
714:
710:
706:
701:
697:
691:
687:
683:
680:
677:
673:
669:
664:
660:
655:
647:
643:
637:
633:
629:
626:
623:
618:
613:
609:
604:
599:
590:
586:
580:
576:
572:
569:
566:
563:
559:
554:
549:
546:
543:
539:
528:
516:
510:
506:
502:
497:
493:
488:
480:
476:
470:
466:
462:
459:
456:
449:
445:
441:
436:
432:
426:
422:
418:
415:
412:
408:
404:
399:
395:
390:
382:
378:
372:
368:
364:
361:
358:
353:
348:
344:
339:
334:
325:
321:
315:
311:
307:
304:
301:
298:
294:
289:
284:
281:
278:
274:
263:
251:
245:
241:
237:
232:
228:
224:
219:
215:
209:
205:
200:
191:
187:
181:
177:
173:
170:
167:
163:
158:
153:
150:
147:
143:
115:
110:
106:
102:
97:
93:
89:
84:
80:
76:
71:
67:
63:
15:
13:
10:
9:
6:
4:
3:
2:
2388:
2377:
2374:
2372:
2369:
2368:
2366:
2353:
2343:
2337:
2336:
2332:
2330:
2327:
2325:
2322:
2320:
2317:
2315:
2312:
2310:
2307:
2305:
2302:
2300:
2297:
2295:
2292:
2290:
2287:
2285:
2282:
2280:
2277:
2275:
2272:
2270:
2267:
2265:
2262:
2260:
2257:
2255:
2252:
2250:
2247:
2245:
2244:Chandrasekhar
2242:
2240:
2237:
2235:
2232:
2230:
2227:
2225:
2222:
2220:
2217:
2215:
2212:
2210:
2207:
2205:
2204:Schwarzschild
2202:
2200:
2197:
2195:
2192:
2190:
2187:
2185:
2182:
2181:
2179:
2175:
2165:
2161:
2160:
2157:
2154:
2152:
2149:
2147:
2143:
2142:
2139:
2136:
2134:
2131:
2129:
2126:
2124:
2121:
2118:
2114:
2110:
2109:
2106:
2103:
2100:
2097:
2095:
2091:
2090:Schwarzschild
2087:
2086:
2083:
2080:
2078:
2075:
2073:
2070:
2068:
2065:
2063:
2060:
2057:
2053:
2049:
2048:
2046:
2044:
2040:
2034:
2031:
2029:
2026:
2024:
2021:
2020:
2018:
2012:
2006:
2003:
2000:
1996:
1992:
1989:
1987:
1986:Shapiro delay
1984:
1982:
1979:
1976:
1972:
1968:
1965:
1962:
1958:
1955:
1954:
1951:
1948:
1945:
1942:
1940:
1937:
1935:
1932:
1930:
1929:collaboration
1926:
1922:
1919:
1917:
1913:
1910:
1909:
1906:
1903:
1901:
1898:
1896:
1895:Event horizon
1893:
1891:
1888:
1887:
1885:
1881:
1875:
1872:
1870:
1867:
1865:
1862:
1860:
1857:
1855:
1852:
1850:
1847:
1845:
1842:
1840:
1839:ADM formalism
1837:
1836:
1834:
1830:
1824:
1821:
1819:
1816:
1814:
1811:
1809:
1806:
1804:
1801:
1800:
1798:
1792:
1786:
1783:
1781:
1778:
1777:
1775:
1771:
1768:
1766:
1760:
1750:
1747:
1745:
1744:Biquaternions
1742:
1740:
1737:
1735:
1732:
1730:
1727:
1726:
1724:
1722:
1718:
1712:
1709:
1707:
1704:
1702:
1699:
1697:
1694:
1692:
1689:
1687:
1684:
1682:
1679:
1677:
1674:
1672:
1671:Time dilation
1669:
1668:
1666:
1662:
1656:
1653:
1652:
1650:
1646:
1640:
1637:
1635:
1632:
1630:
1627:
1625:
1624:Proper length
1622:
1620:
1617:
1615:
1612:
1610:
1607:
1605:
1602:
1600:
1597:
1596:
1594:
1588:
1582:
1579:
1577:
1574:
1571:
1568:
1566:
1562:
1559:
1558:
1556:
1552:
1549:
1547:
1541:
1537:
1530:
1525:
1523:
1518:
1516:
1511:
1510:
1507:
1499:
1494:
1492:
1487:
1485:
1480:
1479:
1473:
1471:
1467:
1463:
1458:
1455:
1451:
1446:
1438:
1434:
1430:
1426:
1422:
1418:
1411:
1408:
1404:
1400:
1396:
1389:
1382:
1379:
1373:
1371:
1369:
1348:
1344:
1340:
1337:
1332:
1328:
1324:
1321:
1318:
1315:
1312:
1309:
1306:
1303:
1298:
1294:
1290:
1281:
1278:
1272:
1269:
1266:
1263:
1260:
1257:
1251:
1248:
1242:
1239:
1231:
1227:
1223:
1218:
1214:
1204:
1199:
1195:
1191:
1184:
1183:
1182:
1180:
1176:
1157:
1154:
1151:
1148:
1143:
1139:
1131:
1130:
1129:
1127:
1108:
1103:
1093:
1089:
1085:
1079:
1074:
1064:
1060:
1056:
1048:
1038:
1034:
1027:
1024:
1016:
1012:
1008:
997:
993:
989:
983:
980:
972:
968:
964:
953:
949:
945:
934:
930:
923:
920:
915:
905:
901:
897:
891:
888:
883:
878:
875:
866:
865:
864:
862:
825:
817:
809:
802:
794:
779:
773:
765:
760:
751:
743:
733:
729:
722:
719:
712:
708:
704:
699:
689:
685:
678:
675:
671:
667:
662:
653:
645:
635:
631:
624:
621:
616:
611:
607:
602:
597:
588:
578:
574:
567:
564:
561:
557:
552:
544:
537:
529:
514:
508:
500:
495:
486:
478:
468:
464:
457:
454:
447:
443:
439:
434:
424:
420:
413:
410:
406:
402:
397:
388:
380:
370:
366:
359:
356:
351:
346:
342:
337:
332:
323:
313:
309:
302:
299:
296:
292:
287:
279:
272:
264:
249:
243:
235:
230:
222:
217:
207:
203:
198:
189:
179:
175:
168:
165:
161:
156:
148:
141:
133:
132:
131:
129:
108:
104:
100:
95:
91:
87:
82:
78:
74:
69:
65:
52:
50:
46:
42:
38:
34:
30:
26:
22:
2334:
2150:
2028:Kaluza–Klein
1780:Introduction
1706:Twin paradox
1470:expanding it
1459:
1444:
1420:
1416:
1410:
1394:
1381:
1365:
1172:
1123:
842:
53:
24:
20:
18:
2117:Kerr–Newman
2088:Spherical:
1957:Other tests
1900:Singularity
1832:Formulation
1794:Fundamental
1648:Formulation
1629:Proper time
1590:Fundamental
1397:: 339–350,
2365:Categories
2269:Zel'dovich
2177:Scientists
2156:Alcubierre
1963:of Mercury
1961:precession
1890:Black hole
1773:Background
1765:relativity
1734:World line
1729:Light cone
1554:Background
1546:relativity
1536:Relativity
1462:relativity
1417:Phys. Rev.
1374:References
1175:Ricci flat
861:orthogonal
41:stationary
2239:Robertson
2224:Friedmann
2219:Eddington
2209:de Sitter
2043:Solutions
1921:detectors
1916:astronomy
1883:Phenomena
1818:Geodesics
1721:Spacetime
1664:Phenomena
1338:−
1322:−
1304:−
1273:
1243:
1224:−
1196:τ
1152:−
1080:−
1025:−
981:−
892:−
879:τ
822:∂
770:∂
757:∂
659:∂
505:∂
492:∂
440:−
394:∂
352:−
240:∂
227:∂
223:−
214:∂
23:, or the
2352:Category
2229:Lemaître
2194:Einstein
2184:Poincaré
2144:Others:
2128:Taub–NUT
2094:interior
2016:theories
2014:Advanced
1981:redshift
1796:concepts
1614:Rapidity
1592:concepts
1177:but not
2294:Hawking
2289:Penrose
2274:Novikov
2254:Wheeler
2199:Hilbert
2189:Lorentz
2146:pp-wave
1967:lensing
1763:General
1544:Special
1425:Bibcode
1399:Bibcode
31:of the
27:, is a
2335:others
2324:Thorne
2314:Misner
2299:Taylor
2284:Geroch
2279:Ehlers
2249:Zwicky
2067:Kasner
128:tetrad
2329:Weiss
2309:Bondi
2304:Hulse
2234:Milne
2138:discs
2082:Milne
2077:Gödel
1934:Virgo
1460:This
1391:(PDF)
2264:Kerr
2214:Weyl
2113:Kerr
1973:and
1927:and
1925:LIGO
1466:stub
1144:0202
1124:The
19:The
2319:Yau
1944:GEO
1433:doi
1421:105
1270:sin
1240:cos
857:(3)
855:, e
853:(2)
851:, e
849:(1)
845:(0)
2367::
1993:/
1959::
1914::
1431:,
1419:,
1393:,
1370:.
130::
51:.
2119:)
2115:(
2101:)
2092:(
2058:)
2054:(
2001:)
1997:(
1977:)
1946:)
1923:(
1572:)
1563:(
1528:e
1521:t
1514:v
1497:e
1490:t
1483:v
1472:.
1435::
1427::
1401::
1349:2
1345:y
1341:d
1333:2
1329:x
1325:d
1319:v
1316:d
1313:u
1310:d
1307:2
1299:2
1295:u
1291:d
1288:]
1285:)
1282:u
1279:2
1276:(
1267:y
1264:x
1261:2
1258:+
1255:)
1252:u
1249:2
1246:(
1237:)
1232:2
1228:y
1219:2
1215:x
1211:(
1208:[
1205:=
1200:2
1192:d
1158:,
1155:1
1149:=
1140:R
1109:.
1104:2
1100:)
1094:3
1090:x
1086:d
1083:(
1075:2
1071:)
1065:2
1061:x
1057:d
1054:(
1049:2
1045:)
1039:3
1035:x
1031:(
1028:2
1022:)
1017:2
1013:x
1009:d
1006:(
1003:)
998:1
994:x
990:d
987:(
984:2
978:)
973:2
969:x
965:d
962:(
959:)
954:0
950:x
946:d
943:(
940:)
935:3
931:x
927:(
924:4
921:+
916:2
912:)
906:0
902:x
898:d
895:(
889:=
884:2
876:d
826:3
818:=
813:)
810:3
807:(
803:e
780:]
774:2
766:+
761:1
752:)
744:2
740:)
734:3
730:x
726:(
723:+
720:2
713:3
709:x
705:+
700:2
696:)
690:3
686:x
682:(
679:+
676:1
672:(
668:+
663:0
654:)
646:2
642:)
636:3
632:x
628:(
625:+
622:2
617:+
612:3
608:x
603:(
598:[
589:2
585:)
579:3
575:x
571:(
568:2
565:+
562:4
558:1
553:=
548:)
545:2
542:(
538:e
515:]
509:2
501:+
496:1
487:)
479:2
475:)
469:3
465:x
461:(
458:+
455:2
448:3
444:x
435:2
431:)
425:3
421:x
417:(
414:+
411:1
407:(
403:+
398:0
389:)
381:2
377:)
371:3
367:x
363:(
360:+
357:2
347:3
343:x
338:(
333:[
324:2
320:)
314:3
310:x
306:(
303:2
300:+
297:4
293:1
288:=
283:)
280:1
277:(
273:e
250:)
244:2
236:+
231:1
218:0
208:3
204:x
199:(
190:2
186:)
180:3
176:x
172:(
169:+
166:2
162:1
157:=
152:)
149:0
146:(
142:e
114:}
109:3
105:x
101:,
96:2
92:x
88:,
83:1
79:x
75:,
70:0
66:x
62:{
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.