041.nb

(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 9.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       157,          7]
NotebookDataLength[     24880,        719]
NotebookOptionsPosition[     24193,        690]
NotebookOutlinePosition[     24536,        705]
CellTagsIndexPosition[     24493,        702]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{

Cell[CellGroupData[{
Cell[BoxData[{
 RowBox[{
  RowBox[{"n", "=", "9"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"dgts", "=", 
   RowBox[{"Range", "[", "n", "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"pmr", "=", 
   RowBox[{"Permute", "[", 
    RowBox[{"dgts", ",", 
     RowBox[{"SymmetricGroup", "[", "n", "]"}]}], "]"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"nms", "=", 
   RowBox[{"Map", "[", 
    RowBox[{"FromDigits", ",", "pmr"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"snms", "=", 
   RowBox[{"Sort", "[", 
    RowBox[{"nms", ",", "Greater"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"Intersection", "[", 
  RowBox[{"Map", "[", 
   RowBox[{"PrimeQ", ",", 
    RowBox[{"Take", "[", 
     RowBox[{"snms", ",", 
      RowBox[{"{", 
       RowBox[{"1", ",", 
        RowBox[{"Length", "[", "pmr", "]"}]}], "}"}]}], "]"}]}], "]"}], 
  "]"}]}], "Input",
 CellChangeTimes->{{3.576492986581189*^9, 3.5764930502785587`*^9}, {
  3.5764933240739355`*^9, 3.57649332422395*^9}}],

Cell[BoxData[
 RowBox[{"{", "False", "}"}]], "Output",
 CellChangeTimes->{3.5764933281283407`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"n", "=", "8"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"dgts", "=", 
   RowBox[{"Range", "[", "n", "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"pmr", "=", 
   RowBox[{"Permute", "[", 
    RowBox[{"dgts", ",", 
     RowBox[{"SymmetricGroup", "[", "n", "]"}]}], "]"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"nms", "=", 
   RowBox[{"Map", "[", 
    RowBox[{"FromDigits", ",", "pmr"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"snms", "=", 
   RowBox[{"Sort", "[", 
    RowBox[{"nms", ",", "Greater"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"Intersection", "[", 
  RowBox[{"Map", "[", 
   RowBox[{"PrimeQ", ",", 
    RowBox[{"Take", "[", 
     RowBox[{"snms", ",", 
      RowBox[{"{", 
       RowBox[{"1", ",", 
        RowBox[{"Length", "[", "pmr", "]"}]}], "}"}]}], "]"}]}], "]"}], 
  "]"}]}], "Input",
 CellChangeTimes->{3.576493335197047*^9}],

Cell[BoxData[
 RowBox[{"{", "False", "}"}]], "Output",
 CellChangeTimes->{3.576493335748102*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"n", "=", "7"}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"dgts", "=", 
   RowBox[{"Range", "[", "n", "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"pmr", "=", 
   RowBox[{"Permute", "[", 
    RowBox[{"dgts", ",", 
     RowBox[{"SymmetricGroup", "[", "n", "]"}]}], "]"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"nms", "=", 
   RowBox[{"Map", "[", 
    RowBox[{"FromDigits", ",", "pmr"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"snms", "=", 
   RowBox[{"Sort", "[", 
    RowBox[{"nms", ",", "Greater"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"Intersection", "[", 
  RowBox[{"Map", "[", 
   RowBox[{"PrimeQ", ",", 
    RowBox[{"Take", "[", 
     RowBox[{"snms", ",", 
      RowBox[{"{", 
       RowBox[{"1", ",", 
        RowBox[{"Length", "[", "pmr", "]"}]}], "}"}]}], "]"}]}], "]"}], 
  "]"}]}], "Input",
 CellChangeTimes->{{3.5764933862521524`*^9, 3.5764933867582026`*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"False", ",", "True"}], "}"}]], "Output",
 CellChangeTimes->{3.5764933875742846`*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{"snms", "[", 
  RowBox[{"[", "14", "]"}], "]"}], "\[IndentingNewLine]", 
 RowBox[{"Position", "[", 
  RowBox[{
   RowBox[{"Map", "[", 
    RowBox[{"PrimeQ", ",", "snms"}], "]"}], ",", "True"}], "]"}]}], "Input",
 CellChangeTimes->{{3.57649339312784*^9, 3.5764934435198784`*^9}}],

Cell[BoxData["7652413"], "Output",
 CellChangeTimes->{{3.5764933951930466`*^9, 3.5764934438599124`*^9}}],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"{", "14", "}"}], ",", 
   RowBox[{"{", "38", "}"}], ",", 
   RowBox[{"{", "47", "}"}], ",", 
   RowBox[{"{", "75", "}"}], ",", 
   RowBox[{"{", "77", "}"}], ",", 
   RowBox[{"{", "79", "}"}], ",", 
   RowBox[{"{", "91", "}"}], ",", 
   RowBox[{"{", "123", "}"}], ",", 
   RowBox[{"{", "133", "}"}], ",", 
   RowBox[{"{", "134", "}"}], ",", 
   RowBox[{"{", "135", "}"}], ",", 
   RowBox[{"{", "140", "}"}], ",", 
   RowBox[{"{", "145", "}"}], ",", 
   RowBox[{"{", "161", "}"}], ",", 
   RowBox[{"{", "164", "}"}], ",", 
   RowBox[{"{", "169", "}"}], ",", 
   RowBox[{"{", "171", "}"}], ",", 
   RowBox[{"{", "197", "}"}], ",", 
   RowBox[{"{", "199", "}"}], ",", 
   RowBox[{"{", "224", "}"}], ",", 
   RowBox[{"{", "254", "}"}], ",", 
   RowBox[{"{", "265", "}"}], ",", 
   RowBox[{"{", "267", "}"}], ",", 
   RowBox[{"{", "281", "}"}], ",", 
   RowBox[{"{", "284", "}"}], ",", 
   RowBox[{"{", "287", "}"}], ",", 
   RowBox[{"{", "295", "}"}], ",", 
   RowBox[{"{", "301", "}"}], ",", 
   RowBox[{"{", "315", "}"}], ",", 
   RowBox[{"{", "319", "}"}], ",", 
   RowBox[{"{", "321", "}"}], ",", 
   RowBox[{"{", "333", "}"}], ",", 
   RowBox[{"{", "344", "}"}], ",", 
   RowBox[{"{", "355", "}"}], ",", 
   RowBox[{"{", "357", "}"}], ",", 
   RowBox[{"{", "373", "}"}], ",", 
   RowBox[{"{", "385", "}"}], ",", 
   RowBox[{"{", "393", "}"}], ",", 
   RowBox[{"{", "399", "}"}], ",", 
   RowBox[{"{", "445", "}"}], ",", 
   RowBox[{"{", "447", "}"}], ",", 
   RowBox[{"{", "487", "}"}], ",", 
   RowBox[{"{", "488", "}"}], ",", 
   RowBox[{"{", "489", "}"}], ",", 
   RowBox[{"{", "507", "}"}], ",", 
   RowBox[{"{", "517", "}"}], ",", 
   RowBox[{"{", "519", "}"}], ",", 
   RowBox[{"{", "530", "}"}], ",", 
   RowBox[{"{", "537", "}"}], ",", 
   RowBox[{"{", "565", "}"}], ",", 
   RowBox[{"{", "577", "}"}], ",", 
   RowBox[{"{", "579", "}"}], ",", 
   RowBox[{"{", "583", "}"}], ",", 
   RowBox[{"{", "602", "}"}], ",", 
   RowBox[{"{", "611", "}"}], ",", 
   RowBox[{"{", "643", "}"}], ",", 
   RowBox[{"{", "656", "}"}], ",", 
   RowBox[{"{", "669", "}"}], ",", 
   RowBox[{"{", "697", "}"}], ",", 
   RowBox[{"{", "699", "}"}], ",", 
   RowBox[{"{", "705", "}"}], ",", 
   RowBox[{"{", "709", "}"}], ",", 
   RowBox[{"{", "724", "}"}], ",", 
   RowBox[{"{", "743", "}"}], ",", 
   RowBox[{"{", "747", "}"}], ",", 
   RowBox[{"{", "775", "}"}], ",", 
   RowBox[{"{", "781", "}"}], ",", 
   RowBox[{"{", "797", "}"}], ",", 
   RowBox[{"{", "801", "}"}], ",", 
   RowBox[{"{", "824", "}"}], ",", 
   RowBox[{"{", "843", "}"}], ",", 
   RowBox[{"{", "853", "}"}], ",", 
   RowBox[{"{", "854", "}"}], ",", 
   RowBox[{"{", "857", "}"}], ",", 
   RowBox[{"{", "868", "}"}], ",", 
   RowBox[{"{", "876", "}"}], ",", 
   RowBox[{"{", "878", "}"}], ",", 
   RowBox[{"{", "884", "}"}], ",", 
   RowBox[{"{", "914", "}"}], ",", 
   RowBox[{"{", "924", "}"}], ",", 
   RowBox[{"{", "946", "}"}], ",", 
   RowBox[{"{", "952", "}"}], ",", 
   RowBox[{"{", "958", "}"}], ",", 
   RowBox[{"{", "960", "}"}], ",", 
   RowBox[{"{", "961", "}"}], ",", 
   RowBox[{"{", "969", "}"}], ",", 
   RowBox[{"{", "974", "}"}], ",", 
   RowBox[{"{", "975", "}"}], ",", 
   RowBox[{"{", "990", "}"}], ",", 
   RowBox[{"{", "991", "}"}], ",", 
   RowBox[{"{", "1002", "}"}], ",", 
   RowBox[{"{", "1004", "}"}], ",", 
   RowBox[{"{", "1009", "}"}], ",", 
   RowBox[{"{", "1015", "}"}], ",", 
   RowBox[{"{", "1020", "}"}], ",", 
   RowBox[{"{", "1045", "}"}], ",", 
   RowBox[{"{", "1048", "}"}], ",", 
   RowBox[{"{", "1053", "}"}], ",", 
   RowBox[{"{", "1068", "}"}], ",", 
   RowBox[{"{", "1114", "}"}], ",", 
   RowBox[{"{", "1117", "}"}], ",", 
   RowBox[{"{", "1122", "}"}], ",", 
   RowBox[{"{", "1129", "}"}], ",", 
   RowBox[{"{", "1135", "}"}], ",", 
   RowBox[{"{", "1137", "}"}], ",", 
   RowBox[{"{", "1140", "}"}], ",", 
   RowBox[{"{", "1144", "}"}], ",", 
   RowBox[{"{", "1146", "}"}], ",", 
   RowBox[{"{", "1161", "}"}], ",", 
   RowBox[{"{", "1176", "}"}], ",", 
   RowBox[{"{", "1198", "}"}], ",", 
   RowBox[{"{", "1203", "}"}], ",", 
   RowBox[{"{", "1207", "}"}], ",", 
   RowBox[{"{", "1225", "}"}], ",", 
   RowBox[{"{", "1229", "}"}], ",", 
   RowBox[{"{", "1243", "}"}], ",", 
   RowBox[{"{", "1248", "}"}], ",", 
   RowBox[{"{", "1255", "}"}], ",", 
   RowBox[{"{", "1266", "}"}], ",", 
   RowBox[{"{", "1270", "}"}], ",", 
   RowBox[{"{", "1279", "}"}], ",", 
   RowBox[{"{", "1282", "}"}], ",", 
   RowBox[{"{", "1284", "}"}], ",", 
   RowBox[{"{", "1288", "}"}], ",", 
   RowBox[{"{", "1297", "}"}], ",", 
   RowBox[{"{", "1308", "}"}], ",", 
   RowBox[{"{", "1309", "}"}], ",", 
   RowBox[{"{", "1311", "}"}], ",", 
   RowBox[{"{", "1314", "}"}], ",", 
   RowBox[{"{", "1322", "}"}], ",", 
   RowBox[{"{", "1325", "}"}], ",", 
   RowBox[{"{", "1331", "}"}], ",", 
   RowBox[{"{", "1352", "}"}], ",", 
   RowBox[{"{", "1355", "}"}], ",", 
   RowBox[{"{", "1363", "}"}], ",", 
   RowBox[{"{", "1376", "}"}], ",", 
   RowBox[{"{", "1378", "}"}], ",", 
   RowBox[{"{", "1379", "}"}], ",", 
   RowBox[{"{", "1389", "}"}], ",", 
   RowBox[{"{", "1410", "}"}], ",", 
   RowBox[{"{", "1429", "}"}], ",", 
   RowBox[{"{", "1447", "}"}], ",", 
   RowBox[{"{", "1454", "}"}], ",", 
   RowBox[{"{", "1457", "}"}], ",", 
   RowBox[{"{", "1460", "}"}], ",", 
   RowBox[{"{", "1467", "}"}], ",", 
   RowBox[{"{", "1470", "}"}], ",", 
   RowBox[{"{", "1477", "}"}], ",", 
   RowBox[{"{", "1479", "}"}], ",", 
   RowBox[{"{", "1495", "}"}], ",", 
   RowBox[{"{", "1515", "}"}], ",", 
   RowBox[{"{", "1517", "}"}], ",", 
   RowBox[{"{", "1520", "}"}], ",", 
   RowBox[{"{", "1523", "}"}], ",", 
   RowBox[{"{", "1527", "}"}], ",", 
   RowBox[{"{", "1563", "}"}], ",", 
   RowBox[{"{", "1574", "}"}], ",", 
   RowBox[{"{", "1575", "}"}], ",", 
   RowBox[{"{", "1585", "}"}], ",", 
   RowBox[{"{", "1587", "}"}], ",", 
   RowBox[{"{", "1594", "}"}], ",", 
   RowBox[{"{", "1606", "}"}], ",", 
   RowBox[{"{", "1615", "}"}], ",", 
   RowBox[{"{", "1618", "}"}], ",", 
   RowBox[{"{", "1621", "}"}], ",", 
   RowBox[{"{", "1630", "}"}], ",", 
   RowBox[{"{", "1637", "}"}], ",", 
   RowBox[{"{", "1640", "}"}], ",", 
   RowBox[{"{", "1642", "}"}], ",", 
   RowBox[{"{", "1644", "}"}], ",", 
   RowBox[{"{", "1654", "}"}], ",", 
   RowBox[{"{", "1666", "}"}], ",", 
   RowBox[{"{", "1684", "}"}], ",", 
   RowBox[{"{", "1689", "}"}], ",", 
   RowBox[{"{", "1693", "}"}], ",", 
   RowBox[{"{", "1694", "}"}], ",", 
   RowBox[{"{", "1711", "}"}], ",", 
   RowBox[{"{", "1714", "}"}], ",", 
   RowBox[{"{", "1721", "}"}], ",", 
   RowBox[{"{", "1722", "}"}], ",", 
   RowBox[{"{", "1724", "}"}], ",", 
   RowBox[{"{", "1727", "}"}], ",", 
   RowBox[{"{", "1735", "}"}], ",", 
   RowBox[{"{", "1737", "}"}], ",", 
   RowBox[{"{", "1738", "}"}], ",", 
   RowBox[{"{", "1740", "}"}], ",", 
   RowBox[{"{", "1750", "}"}], ",", 
   RowBox[{"{", "1760", "}"}], ",", 
   RowBox[{"{", "1761", "}"}], ",", 
   RowBox[{"{", "1763", "}"}], ",", 
   RowBox[{"{", "1768", "}"}], ",", 
   RowBox[{"{", "1770", "}"}], ",", 
   RowBox[{"{", "1771", "}"}], ",", 
   RowBox[{"{", "1773", "}"}], ",", 
   RowBox[{"{", "1801", "}"}], ",", 
   RowBox[{"{", "1825", "}"}], ",", 
   RowBox[{"{", "1836", "}"}], ",", 
   RowBox[{"{", "1848", "}"}], ",", 
   RowBox[{"{", "1849", "}"}], ",", 
   RowBox[{"{", "1860", "}"}], ",", 
   RowBox[{"{", "1861", "}"}], ",", 
   RowBox[{"{", "1866", "}"}], ",", 
   RowBox[{"{", "1870", "}"}], ",", 
   RowBox[{"{", "1875", "}"}], ",", 
   RowBox[{"{", "1894", "}"}], ",", 
   RowBox[{"{", "1896", "}"}], ",", 
   RowBox[{"{", "1920", "}"}], ",", 
   RowBox[{"{", "1921", "}"}], ",", 
   RowBox[{"{", "1927", "}"}], ",", 
   RowBox[{"{", "1931", "}"}], ",", 
   RowBox[{"{", "1941", "}"}], ",", 
   RowBox[{"{", "1946", "}"}], ",", 
   RowBox[{"{", "1947", "}"}], ",", 
   RowBox[{"{", "1955", "}"}], ",", 
   RowBox[{"{", "1956", "}"}], ",", 
   RowBox[{"{", "1960", "}"}], ",", 
   RowBox[{"{", "1963", "}"}], ",", 
   RowBox[{"{", "1973", "}"}], ",", 
   RowBox[{"{", "1976", "}"}], ",", 
   RowBox[{"{", "1979", "}"}], ",", 
   RowBox[{"{", "1981", "}"}], ",", 
   RowBox[{"{", "1986", "}"}], ",", 
   RowBox[{"{", "1989", "}"}], ",", 
   RowBox[{"{", "1993", "}"}], ",", 
   RowBox[{"{", "1999", "}"}], ",", 
   RowBox[{"{", "2010", "}"}], ",", 
   RowBox[{"{", "2014", "}"}], ",", 
   RowBox[{"{", "2025", "}"}], ",", 
   RowBox[{"{", "2029", "}"}], ",", 
   RowBox[{"{", "2032", "}"}], ",", 
   RowBox[{"{", "2034", "}"}], ",", 
   RowBox[{"{", "2045", "}"}], ",", 
   RowBox[{"{", "2061", "}"}], ",", 
   RowBox[{"{", "2072", "}"}], ",", 
   RowBox[{"{", "2075", "}"}], ",", 
   RowBox[{"{", "2083", "}"}], ",", 
   RowBox[{"{", "2085", "}"}], ",", 
   RowBox[{"{", "2100", "}"}], ",", 
   RowBox[{"{", "2106", "}"}], ",", 
   RowBox[{"{", "2110", "}"}], ",", 
   RowBox[{"{", "2122", "}"}], ",", 
   RowBox[{"{", "2146", "}"}], ",", 
   RowBox[{"{", "2148", "}"}], ",", 
   RowBox[{"{", "2160", "}"}], ",", 
   RowBox[{"{", "2164", "}"}], ",", 
   RowBox[{"{", "2199", "}"}], ",", 
   RowBox[{"{", "2223", "}"}], ",", 
   RowBox[{"{", "2239", "}"}], ",", 
   RowBox[{"{", "2240", "}"}], ",", 
   RowBox[{"{", "2247", "}"}], ",", 
   RowBox[{"{", "2251", "}"}], ",", 
   RowBox[{"{", "2261", "}"}], ",", 
   RowBox[{"{", "2277", "}"}], ",", 
   RowBox[{"{", "2286", "}"}], ",", 
   RowBox[{"{", "2293", "}"}], ",", 
   RowBox[{"{", "2305", "}"}], ",", 
   RowBox[{"{", "2310", "}"}], ",", 
   RowBox[{"{", "2320", "}"}], ",", 
   RowBox[{"{", "2321", "}"}], ",", 
   RowBox[{"{", "2331", "}"}], ",", 
   RowBox[{"{", "2350", "}"}], ",", 
   RowBox[{"{", "2360", "}"}], ",", 
   RowBox[{"{", "2374", "}"}], ",", 
   RowBox[{"{", "2417", "}"}], ",", 
   RowBox[{"{", "2423", "}"}], ",", 
   RowBox[{"{", "2427", "}"}], ",", 
   RowBox[{"{", "2433", "}"}], ",", 
   RowBox[{"{", "2434", "}"}], ",", 
   RowBox[{"{", "2436", "}"}], ",", 
   RowBox[{"{", "2437", "}"}], ",", 
   RowBox[{"{", "2440", "}"}], ",", 
   RowBox[{"{", "2444", "}"}], ",", 
   RowBox[{"{", "2446", "}"}], ",", 
   RowBox[{"{", "2448", "}"}], ",", 
   RowBox[{"{", "2451", "}"}], ",", 
   RowBox[{"{", "2475", "}"}], ",", 
   RowBox[{"{", "2481", "}"}], ",", 
   RowBox[{"{", "2487", "}"}], ",", 
   RowBox[{"{", "2494", "}"}], ",", 
   RowBox[{"{", "2496", "}"}], ",", 
   RowBox[{"{", "2506", "}"}], ",", 
   RowBox[{"{", "2512", "}"}], ",", 
   RowBox[{"{", "2527", "}"}], ",", 
   RowBox[{"{", "2533", "}"}], ",", 
   RowBox[{"{", "2553", "}"}], ",", 
   RowBox[{"{", "2557", "}"}], ",", 
   RowBox[{"{", "2568", "}"}], ",", 
   RowBox[{"{", "2575", "}"}], ",", 
   RowBox[{"{", "2578", "}"}], ",", 
   RowBox[{"{", "2601", "}"}], ",", 
   RowBox[{"{", "2608", "}"}], ",", 
   RowBox[{"{", "2614", "}"}], ",", 
   RowBox[{"{", "2638", "}"}], ",", 
   RowBox[{"{", "2642", "}"}], ",", 
   RowBox[{"{", "2661", "}"}], ",", 
   RowBox[{"{", "2665", "}"}], ",", 
   RowBox[{"{", "2671", "}"}], ",", 
   RowBox[{"{", "2672", "}"}], ",", 
   RowBox[{"{", "2676", "}"}], ",", 
   RowBox[{"{", "2682", "}"}], ",", 
   RowBox[{"{", "2688", "}"}], ",", 
   RowBox[{"{", "2690", "}"}], ",", 
   RowBox[{"{", "2693", "}"}], ",", 
   RowBox[{"{", "2703", "}"}], ",", 
   RowBox[{"{", "2704", "}"}], ",", 
   RowBox[{"{", "2706", "}"}], ",", 
   RowBox[{"{", "2725", "}"}], ",", 
   RowBox[{"{", "2736", "}"}], ",", 
   RowBox[{"{", "2743", "}"}], ",", 
   RowBox[{"{", "2745", "}"}], ",", 
   RowBox[{"{", "2760", "}"}], ",", 
   RowBox[{"{", "2765", "}"}], ",", 
   RowBox[{"{", "2771", "}"}], ",", 
   RowBox[{"{", "2779", "}"}], ",", 
   RowBox[{"{", "2786", "}"}], ",", 
   RowBox[{"{", "2794", "}"}], ",", 
   RowBox[{"{", "2810", "}"}], ",", 
   RowBox[{"{", "2827", "}"}], ",", 
   RowBox[{"{", "2848", "}"}], ",", 
   RowBox[{"{", "2857", "}"}], ",", 
   RowBox[{"{", "2866", "}"}], ",", 
   RowBox[{"{", "2871", "}"}], ",", 
   RowBox[{"{", "2872", "}"}], ",", 
   RowBox[{"{", "2883", "}"}], ",", 
   RowBox[{"{", "2905", "}"}], ",", 
   RowBox[{"{", "2907", "}"}], ",", 
   RowBox[{"{", "2917", "}"}], ",", 
   RowBox[{"{", "2929", "}"}], ",", 
   RowBox[{"{", "2943", "}"}], ",", 
   RowBox[{"{", "2961", "}"}], ",", 
   RowBox[{"{", "3003", "}"}], ",", 
   RowBox[{"{", "3007", "}"}], ",", 
   RowBox[{"{", "3013", "}"}], ",", 
   RowBox[{"{", "3015", "}"}], ",", 
   RowBox[{"{", "3063", "}"}], ",", 
   RowBox[{"{", "3066", "}"}], ",", 
   RowBox[{"{", "3075", "}"}], ",", 
   RowBox[{"{", "3090", "}"}], ",", 
   RowBox[{"{", "3118", "}"}], ",", 
   RowBox[{"{", "3120", "}"}], ",", 
   RowBox[{"{", "3121", "}"}], ",", 
   RowBox[{"{", "3127", "}"}], ",", 
   RowBox[{"{", "3160", "}"}], ",", 
   RowBox[{"{", "3168", "}"}], ",", 
   RowBox[{"{", "3175", "}"}], ",", 
   RowBox[{"{", "3177", "}"}], ",", 
   RowBox[{"{", "3181", "}"}], ",", 
   RowBox[{"{", "3186", "}"}], ",", 
   RowBox[{"{", "3199", "}"}], ",", 
   RowBox[{"{", "3204", "}"}], ",", 
   RowBox[{"{", "3208", "}"}], ",", 
   RowBox[{"{", "3226", "}"}], ",", 
   RowBox[{"{", "3234", "}"}], ",", 
   RowBox[{"{", "3238", "}"}], ",", 
   RowBox[{"{", "3249", "}"}], ",", 
   RowBox[{"{", "3265", "}"}], ",", 
   RowBox[{"{", "3267", "}"}], ",", 
   RowBox[{"{", "3273", "}"}], ",", 
   RowBox[{"{", "3277", "}"}], ",", 
   RowBox[{"{", "3280", "}"}], ",", 
   RowBox[{"{", "3288", "}"}], ",", 
   RowBox[{"{", "3291", "}"}], ",", 
   RowBox[{"{", "3295", "}"}], ",", 
   RowBox[{"{", "3298", "}"}], ",", 
   RowBox[{"{", "3300", "}"}], ",", 
   RowBox[{"{", "3303", "}"}], ",", 
   RowBox[{"{", "3310", "}"}], ",", 
   RowBox[{"{", "3315", "}"}], ",", 
   RowBox[{"{", "3334", "}"}], ",", 
   RowBox[{"{", "3336", "}"}], ",", 
   RowBox[{"{", "3352", "}"}], ",", 
   RowBox[{"{", "3358", "}"}], ",", 
   RowBox[{"{", "3360", "}"}], ",", 
   RowBox[{"{", "3391", "}"}], ",", 
   RowBox[{"{", "3399", "}"}], ",", 
   RowBox[{"{", "3406", "}"}], ",", 
   RowBox[{"{", "3409", "}"}], ",", 
   RowBox[{"{", "3417", "}"}], ",", 
   RowBox[{"{", "3418", "}"}], ",", 
   RowBox[{"{", "3421", "}"}], ",", 
   RowBox[{"{", "3432", "}"}], ",", 
   RowBox[{"{", "3439", "}"}], ",", 
   RowBox[{"{", "3444", "}"}], ",", 
   RowBox[{"{", "3445", "}"}], ",", 
   RowBox[{"{", "3454", "}"}], ",", 
   RowBox[{"{", "3468", "}"}], ",", 
   RowBox[{"{", "3474", "}"}], ",", 
   RowBox[{"{", "3478", "}"}], ",", 
   RowBox[{"{", "3480", "}"}], ",", 
   RowBox[{"{", "3514", "}"}], ",", 
   RowBox[{"{", "3538", "}"}], ",", 
   RowBox[{"{", "3546", "}"}], ",", 
   RowBox[{"{", "3552", "}"}], ",", 
   RowBox[{"{", "3568", "}"}], ",", 
   RowBox[{"{", "3586", "}"}], ",", 
   RowBox[{"{", "3588", "}"}], ",", 
   RowBox[{"{", "3598", "}"}], ",", 
   RowBox[{"{", "3600", "}"}], ",", 
   RowBox[{"{", "3605", "}"}], ",", 
   RowBox[{"{", "3619", "}"}], ",", 
   RowBox[{"{", "3621", "}"}], ",", 
   RowBox[{"{", "3633", "}"}], ",", 
   RowBox[{"{", "3657", "}"}], ",", 
   RowBox[{"{", "3663", "}"}], ",", 
   RowBox[{"{", "3667", "}"}], ",", 
   RowBox[{"{", "3675", "}"}], ",", 
   RowBox[{"{", "3679", "}"}], ",", 
   RowBox[{"{", "3687", "}"}], ",", 
   RowBox[{"{", "3697", "}"}], ",", 
   RowBox[{"{", "3699", "}"}], ",", 
   RowBox[{"{", "3711", "}"}], ",", 
   RowBox[{"{", "3727", "}"}], ",", 
   RowBox[{"{", "3728", "}"}], ",", 
   RowBox[{"{", "3747", "}"}], ",", 
   RowBox[{"{", "3749", "}"}], ",", 
   RowBox[{"{", "3753", "}"}], ",", 
   RowBox[{"{", "3754", "}"}], ",", 
   RowBox[{"{", "3757", "}"}], ",", 
   RowBox[{"{", "3763", "}"}], ",", 
   RowBox[{"{", "3766", "}"}], ",", 
   RowBox[{"{", "3769", "}"}], ",", 
   RowBox[{"{", "3777", "}"}], ",", 
   RowBox[{"{", "3792", "}"}], ",", 
   RowBox[{"{", "3793", "}"}], ",", 
   RowBox[{"{", "3795", "}"}], ",", 
   RowBox[{"{", "3808", "}"}], ",", 
   RowBox[{"{", "3816", "}"}], ",", 
   RowBox[{"{", "3838", "}"}], ",", 
   RowBox[{"{", "3843", "}"}], ",", 
   RowBox[{"{", "3880", "}"}], ",", 
   RowBox[{"{", "3882", "}"}], ",", 
   RowBox[{"{", "3883", "}"}], ",", 
   RowBox[{"{", "3889", "}"}], ",", 
   RowBox[{"{", "3890", "}"}], ",", 
   RowBox[{"{", "3891", "}"}], ",", 
   RowBox[{"{", "3898", "}"}], ",", 
   RowBox[{"{", "3904", "}"}], ",", 
   RowBox[{"{", "3915", "}"}], ",", 
   RowBox[{"{", "3924", "}"}], ",", 
   RowBox[{"{", "3927", "}"}], ",", 
   RowBox[{"{", "3945", "}"}], ",", 
   RowBox[{"{", "3963", "}"}], ",", 
   RowBox[{"{", "3971", "}"}], ",", 
   RowBox[{"{", "3987", "}"}], ",", 
   RowBox[{"{", "4010", "}"}], ",", 
   RowBox[{"{", "4011", "}"}], ",", 
   RowBox[{"{", "4015", "}"}], ",", 
   RowBox[{"{", "4017", "}"}], ",", 
   RowBox[{"{", "4030", "}"}], ",", 
   RowBox[{"{", "4032", "}"}], ",", 
   RowBox[{"{", "4041", "}"}], ",", 
   RowBox[{"{", "4042", "}"}], ",", 
   RowBox[{"{", "4054", "}"}], ",", 
   RowBox[{"{", "4078", "}"}], ",", 
   RowBox[{"{", "4081", "}"}], ",", 
   RowBox[{"{", "4087", "}"}], ",", 
   RowBox[{"{", "4113", "}"}], ",", 
   RowBox[{"{", "4120", "}"}], ",", 
   RowBox[{"{", "4146", "}"}], ",", 
   RowBox[{"{", "4155", "}"}], ",", 
   RowBox[{"{", "4168", "}"}], ",", 
   RowBox[{"{", "4176", "}"}], ",", 
   RowBox[{"{", "4192", "}"}], ",", 
   RowBox[{"{", "4201", "}"}], ",", 
   RowBox[{"{", "4246", "}"}], ",", 
   RowBox[{"{", "4258", "}"}], ",", 
   RowBox[{"{", "4270", "}"}], ",", 
   RowBox[{"{", "4284", "}"}], ",", 
   RowBox[{"{", "4285", "}"}], ",", 
   RowBox[{"{", "4296", "}"}], ",", 
   RowBox[{"{", "4308", "}"}], ",", 
   RowBox[{"{", "4331", "}"}], ",", 
   RowBox[{"{", "4363", "}"}], ",", 
   RowBox[{"{", "4389", "}"}], ",", 
   RowBox[{"{", "4419", "}"}], ",", 
   RowBox[{"{", "4425", "}"}], ",", 
   RowBox[{"{", "4448", "}"}], ",", 
   RowBox[{"{", "4461", "}"}], ",", 
   RowBox[{"{", "4480", "}"}], ",", 
   RowBox[{"{", "4488", "}"}], ",", 
   RowBox[{"{", "4490", "}"}], ",", 
   RowBox[{"{", "4493", "}"}], ",", 
   RowBox[{"{", "4498", "}"}], ",", 
   RowBox[{"{", "4530", "}"}], ",", 
   RowBox[{"{", "4536", "}"}], ",", 
   RowBox[{"{", "4548", "}"}], ",", 
   RowBox[{"{", "4551", "}"}], ",", 
   RowBox[{"{", "4565", "}"}], ",", 
   RowBox[{"{", "4568", "}"}], ",", 
   RowBox[{"{", "4579", "}"}], ",", 
   RowBox[{"{", "4596", "}"}], ",", 
   RowBox[{"{", "4600", "}"}], ",", 
   RowBox[{"{", "4608", "}"}], ",", 
   RowBox[{"{", "4618", "}"}], ",", 
   RowBox[{"{", "4619", "}"}], ",", 
   RowBox[{"{", "4654", "}"}], ",", 
   RowBox[{"{", "4669", "}"}], ",", 
   RowBox[{"{", "4672", "}"}], ",", 
   RowBox[{"{", "4682", "}"}], ",", 
   RowBox[{"{", "4685", "}"}], ",", 
   RowBox[{"{", "4715", "}"}], ",", 
   RowBox[{"{", "4722", "}"}], ",", 
   RowBox[{"{", "4746", "}"}], ",", 
   RowBox[{"{", "4750", "}"}], ",", 
   RowBox[{"{", "4762", "}"}], ",", 
   RowBox[{"{", "4764", "}"}], ",", 
   RowBox[{"{", "4768", "}"}], ",", 
   RowBox[{"{", "4777", "}"}], ",", 
   RowBox[{"{", "4779", "}"}], ",", 
   RowBox[{"{", "4783", "}"}], ",", 
   RowBox[{"{", "4794", "}"}], ",", 
   RowBox[{"{", "4848", "}"}], ",", 
   RowBox[{"{", "4858", "}"}], ",", 
   RowBox[{"{", "4860", "}"}], ",", 
   RowBox[{"{", "4866", "}"}], ",", 
   RowBox[{"{", "4888", "}"}], ",", 
   RowBox[{"{", "4894", "}"}], ",", 
   RowBox[{"{", "4896", "}"}], ",", 
   RowBox[{"{", "4920", "}"}], ",", 
   RowBox[{"{", "4921", "}"}], ",", 
   RowBox[{"{", "4927", "}"}], ",", 
   RowBox[{"{", "4956", "}"}], ",", 
   RowBox[{"{", "4959", "}"}], ",", 
   RowBox[{"{", "4960", "}"}], ",", 
   RowBox[{"{", "4966", "}"}], ",", 
   RowBox[{"{", "4971", "}"}], ",", 
   RowBox[{"{", "4980", "}"}], ",", 
   RowBox[{"{", "4984", "}"}], ",", 
   RowBox[{"{", "4986", "}"}], ",", 
   RowBox[{"{", "4995", "}"}], ",", 
   RowBox[{"{", "5001", "}"}], ",", 
   RowBox[{"{", "5002", "}"}], ",", 
   RowBox[{"{", "5005", "}"}], ",", 
   RowBox[{"{", "5038", "}"}]}], "}"}]], "Output",
 CellChangeTimes->{{3.5764933951930466`*^9, 3.576493443873914*^9}}]
}, Open  ]]
},
WindowSize->{716, 867},
WindowMargins->{{4, Automatic}, {Automatic, 46}},
FrontEndVersion->"9.0 for Microsoft Windows (64-bit) (January 25, 2013)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[579, 22, 1030, 30, 132, "Input"],
Cell[1612, 54, 98, 2, 31, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[1747, 61, 954, 29, 132, "Input"],
Cell[2704, 92, 96, 2, 31, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[2837, 99, 982, 29, 132, "Input"],
Cell[3822, 130, 124, 3, 31, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[3983, 138, 302, 7, 52, "Input"],
Cell[4288, 147, 104, 1, 31, "Output"],
Cell[4395, 150, 19782, 537, 1172, "Output"]
}, Open  ]]
}
]
*)

(* End of internal cache information *)