Created: Sept-Dec., 2003.

                           This version: Dec. 1, 2003

                  This is SMCper, a Maple package to implement

                  Doron Zeilberger's Symbolic Moment Calculus

                      applied to patterns in permutations

                       as it is described in his article

                  Symbolic Moment Calculus: I. Foundations and

                               Permutation-Patterns



             Written by Doron Zeilberger, zeilberg@math.rutgers.edu

``
                Please report bugs to zeilberg@math.rutgers.edu

``
              The most current version of this  package and paper

                               are  available from

                     http://www.math.rutgers.edu/~zeilberg/

         For a list of the MAIN procedures type ezra();, for help with

                a specific procedure, type ezra(procedure_name);



      For a list of the supporting procedures type ezra1();, for help with

          a specific supporting procedure, type ezra1(procedure_name);



Warning, the protected name Chi has been redefined and unprotected
[[{[3, 6, 1, 4, 7, 2, 5]}, 8441/1077105223434240000, .7836745952e-14], [{[5, 1,
7, 4, 2, 6, 3], [3, 6, 1, 4, 7, 5, 2]}, 24613/2423486752727040000, .1015602828e\
-13], [{[3, 6, 1, 7, 4, 2, 5], [4, 2, 7, 5, 1, 6, 3]}, 197671/
19387894021816320000, .1019558905e-13], [{[3, 6, 1, 5, 2, 7, 4], [6, 2, 4, 7, 1
, 5, 3]}, 200077/19387894021816320000, .1031968711e-13], [{[3, 7, 4, 1, 6, 2, 5
], [4, 2, 7, 5, 1, 3, 6]}, 68417/6462631340605440000, .1058655467e-13], [{[5, 2
, 6, 3, 1, 7, 4], [2, 5, 7, 1, 4, 6, 3]}, 69119/6462631340605440000, .\
1069517915e-13], [{[5, 2, 6, 3, 7, 1, 4], [6, 2, 4, 7, 1, 3, 5]}, 17621/
1615657835151360000, .1090639343e-13], [{[3, 7, 5, 1, 4, 6, 2], [4, 7, 1, 5, 3,
6, 2]}, 149/13463815292928000, .1106669965e-13], [{[3, 7, 4, 1, 5, 6, 2], [6, 2
, 3, 5, 7, 1, 4]}, 1163/100978614696960000, .1151729011e-13], [{[4, 7, 3, 1, 5,
6, 2]}, 224347/19387894021816320000, .1157149919e-13], [{[4, 7, 3, 1, 6, 2, 5],
[4, 6, 3, 1, 7, 5, 2]}, 45341/3877578804363264000, .1169312148e-13], [{[6, 2, 4
, 5, 1, 7, 3], [3, 6, 1, 5, 4, 7, 2]}, 5851/497125487738880000, .1176966409e-13
], [{[6, 2, 5, 4, 1, 7, 3], [3, 6, 1, 4, 5, 7, 2]}, 32639/2769699145973760000,
.1178431240e-13], [{[4, 2, 7, 5, 3, 1, 6], [3, 7, 4, 1, 5, 2, 6]}, 3061/
258505253624217600, .1184115200e-13], [{[3, 7, 2, 4, 6, 1, 5], [2, 5, 7, 4, 1,
3, 6]}, 46097/3877578804363264000, .1188808850e-13], [{[6, 2, 4, 1, 7, 5, 3], [
4, 2, 7, 3, 6, 1, 5]}, 1181/97918656675840000, .1206103147e-13], [{[3, 7, 4, 1,
6, 5, 2], [4, 7, 1, 3, 6, 5, 2]}, 39043/3231315670302720000, .1208269448e-13],
[{[6, 2, 4, 1, 7, 3, 5], [4, 2, 6, 3, 7, 1, 5]}, 235021/19387894021816320000, .\
1212204893e-13], [{[4, 7, 3, 1, 6, 5, 2]}, 235903/19387894021816320000, .\
1216754124e-13], [{[3, 6, 1, 7, 5, 2, 4]}, 59207/4846973505454080000, .\
1221525142e-13], [{[5, 2, 4, 7, 3, 1, 6], [6, 2, 5, 3, 1, 7, 4]}, 733/
59839179079680000, .1224949960e-13], [{[3, 7, 2, 5, 6, 1, 4], [2, 5, 4, 7, 1, 3
, 6]}, 39797/3231315670302720000, .1231603596e-13], [{[3, 7, 1, 5, 6, 2, 4], [3
, 6, 1, 7, 4, 5, 2]}, 240481/19387894021816320000, .1240366797e-13], [{[5, 2, 4
, 6, 1, 7, 3], [6, 4, 1, 3, 7, 2, 5]}, 3239/258505253624217600, .1252972601e-13
], [{[3, 7, 1, 5, 4, 6, 2]}, 6229/497125487738880000, .1253003548e-13], [{[6, 1
, 4, 7, 3, 2, 5], [6, 2, 3, 5, 1, 7, 4]}, 6779/538552611717120000, .1258744244e\
-13], [{[5, 3, 6, 1, 4, 7, 2], [4, 7, 2, 5, 1, 3, 6]}, 16327/
1292526268121088000, .1263185159e-13], [{[6, 4, 1, 3, 7, 5, 2], [3, 7, 4, 2, 6,
1, 5]}, 245537/19387894021816320000, .1266444925e-13], [{[6, 2, 4, 1, 5, 7, 3],
[6, 1, 5, 3, 7, 2, 4]}, 13649/1077105223434240000, .1267192815e-13], [{[5, 3, 7
, 4, 1, 6, 2], [3, 1, 6, 4, 7, 2, 5]}, 41159/3231315670302720000, .1273753610e-\
13], [{[4, 7, 5, 1, 3, 6, 2]}, 24919/1938789402181632000, .1285286580e-13], [{[
3, 7, 5, 1, 2, 6, 4], [4, 5, 1, 7, 3, 6, 2]}, 249637/19387894021816320000, .\
1287592142e-13], [{[6, 2, 5, 1, 3, 7, 4], [4, 6, 3, 1, 5, 7, 2]}, 250009/
19387894021816320000, .1289510865e-13], [{[4, 2, 7, 1, 5, 3, 6], [3, 7, 5, 1, 6
, 2, 4]}, 250729/19387894021816320000, .1293224523e-13], [{[3, 7, 1, 4, 5, 6, 2
]}, 35837/2769699145973760000, .1293895045e-13], [{[4, 2, 7, 6, 3, 1, 5], [3, 4
, 7, 1, 5, 2, 6]}, 4657/359035074478080000, .1297087759e-13], [{[6, 3, 5, 1, 7,
4, 2], [5, 1, 3, 6, 2, 7, 4]}, 13987/1077105223434240000, .1298573222e-13], [{[
4, 2, 7, 1, 5, 6, 3]}, 253117/19387894021816320000, .1305541487e-13], [{[4, 6,
2, 7, 1, 5, 3]}, 51067/3877578804363264000, .1316981616e-13], [{[6, 1, 4, 5, 2,
7, 3], [6, 1, 4, 3, 7, 5, 2]}, 257681/19387894021816320000, .1329081950e-13], [
{[4, 7, 3, 5, 1, 6, 2], [5, 7, 3, 1, 4, 6, 2]}, 258877/19387894021816320000, .\
1335250748e-13], [{[4, 5, 1, 7, 3, 2, 6], [4, 7, 2, 1, 5, 6, 3]}, 258919/
19387894021816320000, .1335467378e-13], [{[5, 2, 3, 7, 1, 4, 6], [5, 2, 3, 6, 1
, 7, 4]}, 43187/3231315670302720000, .1336514423e-13], [{[5, 1, 7, 4, 2, 3, 6]}
, 37313/2769699145973760000, .1347186031e-13], [{[3, 5, 1, 6, 2, 7, 4], [5, 3,
7, 1, 6, 4, 2]}, 131213/9693947010908160000, .1353555986e-13], [{[5, 2, 6, 1, 7
, 3, 4], [3, 5, 7, 1, 2, 6, 4]}, 263161/19387894021816320000, .1357347011e-13],
[{[4, 7, 2, 5, 3, 1, 6], [6, 3, 5, 1, 4, 7, 2]}, 5491/403914458787840000, .\
1359446259e-13], [{[3, 4, 7, 1, 6, 2, 5], [4, 2, 7, 6, 1, 3, 5]}, 53/
3883792872960000, .1364645380e-13], [{[4, 7, 1, 2, 5, 6, 3], [3, 4, 7, 1, 5, 6,
2]}, 29671/2154210446868480000, .1377349183e-13], [{[5, 4, 7, 1, 3, 6, 2], [3,
6, 1, 2, 5, 7, 4]}, 53699/3877578804363264000, .1384859024e-13], [{[5, 3, 2, 7,
4, 1, 6], [4, 7, 1, 5, 2, 3, 6]}, 29881/2154210446868480000, .1387097535e-13],
[{[6, 4, 1, 5, 2, 7, 3], [3, 5, 7, 2, 4, 1, 6]}, 134839/9693947010908160000, .\
1390960770e-13], [{[5, 7, 1, 4, 2, 6, 3], [3, 5, 7, 4, 1, 6, 2]}, 53959/
3877578804363264000, .1391564240e-13], [{[5, 3, 6, 1, 7, 4, 2], [3, 5, 7, 2, 6,
1, 4]}, 3607/258505253624217600, .1395329476e-13], [{[3, 6, 1, 7, 2, 5, 4], [4,
2, 6, 7, 1, 5, 3]}, 271169/19387894021816320000, .1398651136e-13], [{[3, 7, 2,
6, 5, 1, 4], [2, 4, 5, 7, 1, 3, 6]}, 18113/1292526268121088000, .1401364169e-13
], [{[4, 3, 1, 7, 5, 2, 6], [4, 7, 5, 1, 2, 6, 3]}, 1087/77551576087265280, .\
1401647851e-13], [{[3, 1, 6, 5, 2, 7, 4], [6, 3, 7, 1, 4, 5, 2]}, 135953/
9693947010908160000, .1402452477e-13], [{[3, 7, 5, 1, 6, 4, 2], [6, 3, 5, 2, 7,
1, 4]}, 90721/6462631340605440000, .1403778047e-13], [{[5, 3, 6, 1, 7, 2, 4], [
4, 6, 2, 7, 1, 3, 5]}, 54707/3877578804363264000, .1410854628e-13], [{[5, 7, 1,
4, 3, 6, 2], [5, 1, 3, 4, 7, 2, 6]}, 39191/2769699145973760000, .1414991230e-13
], [{[3, 1, 7, 5, 4, 2, 6], [6, 2, 7, 3, 4, 1, 5]}, 1411/99425097547776000, .\
1419158779e-13], [{[3, 7, 2, 4, 5, 1, 6], [2, 5, 7, 4, 3, 1, 6]}, 137771/
9693947010908160000, .1421206448e-13], [{[4, 2, 7, 6, 1, 5, 3], [3, 4, 6, 1, 7,
2, 5]}, 21409/1491376463216640000, .1435519503e-13], [{[3, 1, 7, 5, 2, 6, 4], [
6, 3, 7, 1, 4, 2, 5]}, 70153/4846973505454080000, .1447356787e-13], [{[5, 1, 7,
3, 6, 4, 2], [5, 3, 7, 2, 4, 1, 6]}, 43/2967232020480000, .1449162037e-13], [{[
6, 1, 5, 3, 2, 7, 4], [2, 5, 4, 7, 3, 1, 6]}, 18827/1292526268121088000, .\
1456604826e-13], [{[5, 3, 6, 1, 2, 7, 4], [4, 5, 2, 7, 1, 3, 6]}, 142403/
9693947010908160000, .1468988843e-13], [{[5, 1, 3, 6, 4, 7, 2], [6, 1, 5, 3, 7,
4, 2]}, 285569/19387894021816320000, .1472924288e-13], [{[3, 7, 4, 2, 5, 1, 6],
[6, 4, 1, 3, 5, 7, 2]}, 286661/19387894021816320000, .1478556669e-13], [{[3, 7,
1, 6, 5, 2, 4], [3, 6, 1, 7, 5, 4, 2]}, 143393/9693947010908160000, .1479201401\
e-13], [{[5, 3, 6, 2, 7, 1, 4], [3, 5, 7, 1, 6, 4, 2]}, 19127/
1292526268121088000, .1479815186e-13], [{[4, 6, 3, 7, 1, 5, 2], [5, 7, 3, 1, 6,
2, 4]}, 143701/9693947010908160000, .1482378641e-13], [{[5, 6, 1, 3, 7, 2, 4],
[5, 2, 4, 1, 7, 6, 3]}, 48127/3231315670302720000, .1489393328e-13], [{[4, 5, 1
, 7, 2, 3, 6], [5, 3, 2, 7, 6, 1, 4]}, 289447/19387894021816320000, .1492926461\
e-13], [{[4, 7, 3, 6, 1, 5, 2], [5, 7, 3, 1, 6, 4, 2]}, 289453/
19387894021816320000, .1492957408e-13], [{[5, 6, 2, 3, 7, 1, 4], [5, 2, 1, 7, 4
, 3, 6]}, 97147/6462631340605440000, .1503211229e-13], [{[6, 2, 5, 7, 4, 1, 3],
[6, 2, 7, 5, 3, 1, 4]}, 36557/2423486752727040000, .1508446455e-13], [{[6, 3, 5
, 1, 2, 7, 4], [4, 5, 2, 7, 3, 1, 6]}, 293779/19387894021816320000, .1515270300\
e-13], [{[4, 5, 1, 3, 7, 2, 6], [5, 2, 4, 7, 6, 1, 3]}, 26783/
1762535820165120000, .1519571954e-13], [{[3, 5, 1, 4, 7, 6, 2], [3, 7, 1, 4, 2,
6, 5]}, 147319/9693947010908160000, .1519700900e-13], [{[3, 1, 6, 4, 2, 7, 5],
[6, 3, 7, 4, 1, 5, 2]}, 98911/6462631340605440000, .1530506612e-13], [{[3, 4, 7
, 2, 6, 1, 5], [2, 4, 7, 6, 1, 3, 5]}, 37153/2423486752727040000, .1533039121e-\
13], [{[4, 7, 1, 2, 6, 5, 3], [3, 4, 7, 1, 6, 5, 2]}, 33031/2154210446868480000
, .1533322803e-13], [{[5, 6, 1, 3, 7, 4, 2], [5, 2, 1, 6, 4, 7, 3]}, 148717/
9693947010908160000, .1534122271e-13], [{[4, 7, 1, 2, 6, 3, 5], [3, 4, 6, 1, 7,
5, 2]}, 99457/6462631340605440000, .1538955183e-13], [{[6, 4, 2, 1, 7, 5, 3], [
4, 5, 1, 6, 2, 7, 3]}, 11071/718070148956160000, .1541771374e-13], [{[5, 3, 2,
7, 1, 6, 4]}, 18751/1211743376363520000, .1547439859e-13], [{[3, 6, 1, 2, 7, 5,
4], [3, 6, 2, 1, 7, 4, 5]}, 2311/149137646321664000, .1549575213e-13], [{[3, 6,
1, 2, 7, 4, 5]}, 13669/881267910082560000, .1551060676e-13], [{[3, 4, 7, 2, 5,
1, 6], [6, 4, 1, 2, 5, 7, 3]}, 150463/9693947010908160000, .1552133510e-13], [{
[3, 7, 1, 5, 6, 4, 2], [3, 7, 1, 6, 4, 5, 2]}, 25097/1615657835151360000, .\
1553361080e-13], [{[5, 6, 1, 3, 4, 7, 2], [3, 7, 4, 5, 1, 2, 6]}, 1451/
93211028951040000, .1556682741e-13], [{[3, 6, 7, 2, 5, 1, 4], [3, 2, 5, 7, 1, 4
, 6]}, 9151/587511940055040000, .1557585366e-13], [{[4, 5, 1, 6, 3, 7, 2], [3,
7, 5, 1, 2, 4, 6]}, 33577/2154210446868480000, .1558668516e-13], [{[5, 3, 2, 7,
1, 4, 6], [3, 5, 6, 2, 7, 1, 4]}, 20219/1292526268121088000, .1564300897e-13],
[{[6, 3, 7, 1, 5, 4, 2], [4, 7, 2, 6, 5, 1, 3]}, 303727/19387894021816320000, .\
1566580670e-13], [{[4, 3, 1, 7, 6, 2, 5]}, 304111/19387894021816320000, .\
1568561287e-13], [{[3, 1, 7, 5, 2, 4, 6], [3, 7, 4, 6, 1, 5, 2]}, 33857/
2154210446868480000, .1571666317e-13], [{[5, 6, 1, 4, 2, 7, 3], [3, 5, 7, 4, 1,
2, 6]}, 304921/19387894021816320000, .1572739152e-13], [{[4, 7, 3, 5, 1, 2, 6],
[3, 2, 5, 7, 4, 1, 6]}, 101641/6462631340605440000, .1572749468e-13], [{[4, 5,
1, 3, 7, 6, 2], [3, 7, 4, 1, 2, 6, 5]}, 20381/1292526268121088000, .1576834491e\
-13], [{[5, 7, 3, 4, 1, 6, 2]}, 911/57702065541120000, .1578799635e-13], [{[6,
5, 1, 3, 7, 2, 4], [5, 2, 4, 1, 6, 7, 3]}, 103361/6462631340605440000, .\
1599364014e-13], [{[3, 4, 6, 1, 5, 7, 2], [6, 3, 5, 2, 1, 7, 4]}, 809/
50489307348480000, .1602319466e-13], [{[6, 1, 5, 3, 4, 7, 2], [6, 1, 4, 3, 5, 7
, 2]}, 155497/9693947010908160000, .1604062822e-13], [{[4, 7, 3, 2, 5, 1, 6], [
2, 4, 5, 7, 3, 1, 6]}, 103933/6462631340605440000, .1608214898e-13], [{[3, 7, 1
, 6, 2, 5, 4], [6, 4, 2, 1, 7, 3, 5]}, 78301/4846973505454080000, .1615461688e-\
13], [{[5, 7, 4, 1, 2, 6, 3], [6, 2, 7, 5, 1, 3, 4]}, 78499/4846973505454080000
, .1619546711e-13], [{[4, 2, 7, 5, 6, 1, 3], [6, 2, 7, 1, 4, 5, 3]}, 314737/
19387894021816320000, .1623368684e-13], [{[3, 6, 1, 2, 4, 7, 5], [5, 4, 7, 3, 1
, 6, 2]}, 19693/1211743376363520000, .1625179092e-13], [{[4, 2, 7, 1, 3, 6, 5],
[4, 6, 3, 7, 1, 2, 5]}, 315361/19387894021816320000, .1626587187e-13], [{[3, 7,
1, 6, 2, 4, 5], [6, 4, 1, 2, 7, 3, 5]}, 26437/1615657835151360000, .1636299433e\
-13], [{[5, 6, 1, 4, 3, 7, 2], [5, 1, 3, 4, 7, 6, 2]}, 45457/
2769699145973760000, .1641225187e-13], [{[3, 4, 7, 5, 1, 6, 2], [5, 7, 1, 2, 4,
6, 3]}, 5899/359035074478080000, .1643014964e-13], [{[4, 7, 1, 5, 6, 3, 2], [5,
1, 2, 7, 4, 3, 6]}, 53239/3231315670302720000, .1647595142e-13], [{[6, 5, 1, 3,
7, 4, 2], [3, 7, 4, 6, 2, 1, 5]}, 160033/9693947010908160000, .1650854908e-13],
[{[5, 6, 2, 4, 7, 1, 3], [3, 6, 7, 4, 1, 5, 2]}, 321119/19387894021816320000, .\
1656286132e-13], [{[3, 4, 7, 5, 1, 2, 6], [3, 7, 4, 2, 1, 6, 5]}, 323369/
19387894021816320000, .1667891312e-13], [{[4, 6, 5, 1, 3, 7, 2], [4, 7, 5, 1, 3
, 2, 6]}, 162269/9693947010908160000, .1673920848e-13], [{[4, 1, 5, 2, 6, 7, 3]
, [6, 4, 1, 7, 5, 3, 2]}, 109129/6462631340605440000, .1688615585e-13], [{[6, 2
, 4, 1, 3, 7, 5], [4, 6, 3, 5, 1, 7, 2]}, 65753/3877578804363264000, .\
1695723113e-13], [{[3, 1, 6, 4, 7, 5, 2], [5, 3, 6, 4, 1, 7, 2]}, 2939/
173106196623360000, .1697801729e-13], [{[6, 1, 5, 4, 3, 7, 2], [2, 7, 5, 4, 3,
1, 6]}, 329269/19387894021816320000, .1698322673e-13], [{[6, 2, 7, 1, 4, 3, 5],
[5, 7, 1, 3, 2, 6, 4]}, 166241/9693947010908160000, .1714894870e-13], [{[6, 2,
4, 3, 1, 7, 5], [5, 2, 4, 3, 7, 1, 6]}, 2851/165708495912960000, .1720491146e-\
13], [{[5, 6, 2, 3, 1, 7, 4], [5, 3, 4, 7, 1, 2, 6]}, 9271/538552611717120000,
.1721465981e-13], [{[5, 6, 1, 4, 7, 2, 3], [5, 2, 1, 4, 7, 6, 3]}, 8353/
484697350545408000, .1723343441e-13], [{[3, 1, 6, 2, 5, 7, 4], [6, 3, 5, 7, 1,
4, 2]}, 83917/4846973505454080000, .1731327805e-13], [{[5, 3, 7, 4, 2, 1, 6], [
5, 1, 7, 4, 6, 3, 2]}, 48077/2769699145973760000, .1735820299e-13], [{[5, 2, 1,
7, 3, 4, 6], [3, 2, 5, 6, 1, 7, 4]}, 18703/1077105223434240000, .1736413453e-13
], [{[4, 6, 5, 1, 2, 7, 3], [4, 3, 1, 7, 5, 6, 2]}, 169181/9693947010908160000,
.1745223074e-13], [{[5, 6, 1, 3, 2, 7, 4], [2, 6, 7, 1, 4, 3, 5]}, 10271/
587511940055040000, .1748219789e-13], [{[5, 1, 2, 7, 3, 6, 4], [4, 2, 7, 1, 3,
5, 6]}, 169727/9693947010908160000, .1750855455e-13], [{[4, 2, 6, 7, 5, 1, 3],
[6, 2, 7, 1, 5, 3, 4]}, 85091/4846973505454080000, .1755549105e-13], [{[5, 2, 3
, 4, 7, 1, 6], [5, 7, 1, 4, 3, 2, 6]}, 6947/395671306567680000, .1755750262e-13
], [{[5, 7, 4, 3, 1, 6, 2]}, 2381/135579678474240000, .1756162890e-13], [{[2, 3
, 6, 7, 4, 1, 5], [4, 5, 1, 3, 6, 7, 2]}, 37889/2154210446868480000, .\
1758834661e-13], [{[5, 4, 7, 1, 3, 2, 6], [3, 7, 1, 2, 5, 6, 4]}, 170693/
9693947010908160000, .1760820436e-13], [{[4, 3, 7, 6, 1, 2, 5], [5, 6, 2, 1, 7,
4, 3]}, 1753/99425097547776000, .1763136314e-13], [{[3, 7, 2, 4, 1, 5, 6], [3,
5, 7, 4, 2, 1, 6]}, 24461/1384849572986880000, .1766329028e-13], [{[6, 1, 4, 5,
7, 3, 2], [3, 7, 4, 5, 2, 1, 6]}, 3893/220316977520640000, .1766999549e-13], [{
[3, 6, 1, 4, 5, 2, 7]}, 6613/372844115804160000, .1773663502e-13], [{[5, 4, 6,
1, 3, 7, 2], [6, 3, 1, 2, 5, 7, 4]}, 28709/1615657835151360000, .1776923268e-13
], [{[4, 3, 7, 6, 1, 5, 2], [3, 1, 6, 7, 2, 4, 5]}, 346393/19387894021816320000
, .1786645830e-13], [{[4, 6, 7, 1, 3, 5, 2], [4, 7, 5, 1, 6, 2, 3]}, 347371/
19387894021816320000, .1791690215e-13], [{[4, 7, 3, 5, 2, 1, 6], [6, 5, 3, 1, 4
, 7, 2]}, 38719/2154210446868480000, .1797363858e-13], [{[5, 7, 3, 2, 1, 6, 4],
[6, 2, 7, 1, 5, 4, 3]}, 87121/4846973505454080000, .1797430910e-13], [{[3, 7, 1
, 6, 5, 4, 2]}, 7757/430842089373696000, .1800427626e-13], [{[3, 1, 6, 7, 2, 5,
4], [4, 5, 2, 1, 7, 3, 6]}, 13973/775515760872652800, .1801768669e-13], [{[6, 3
, 7, 4, 2, 1, 5], [5, 7, 1, 4, 6, 3, 2]}, 12497/692424786493440000, .1804816963\
e-13], [{[3, 6, 1, 5, 4, 2, 7]}, 87613/4846973505454080000, .1807581574e-13], [
{[4, 5, 6, 1, 3, 7, 2], [4, 7, 5, 1, 2, 3, 6]}, 70331/3877578804363264000, .\
1813786477e-13], [{[4, 1, 2, 7, 5, 3, 6], [6, 5, 2, 7, 3, 1, 4]}, 43991/
2423486752727040000, .1815194572e-13], [{[4, 5, 1, 7, 6, 2, 3], [5, 2, 1, 7, 6,
3, 4]}, 88381/4846973505454080000, .1823426513e-13], [{[5, 6, 2, 1, 3, 7, 4], [
4, 5, 3, 1, 7, 6, 2]}, 88549/4846973505454080000, .1826892594e-13], [{[4, 5, 3,
1, 7, 2, 6], [3, 1, 6, 7, 5, 2, 4]}, 277/15146792204544000, .1828770054e-13], [
{[3, 1, 6, 4, 5, 7, 2], [6, 3, 5, 4, 1, 7, 2]}, 88769/4846973505454080000, .\
1831431509e-13], [{[5, 7, 2, 3, 4, 1, 6], [2, 5, 4, 3, 7, 1, 6]}, 29671/
1615657835151360000, .1836465578e-13], [{[6, 5, 1, 4, 7, 2, 3], [3, 6, 7, 4, 2,
1, 5]}, 71249/3877578804363264000, .1837461044e-13], [{[6, 5, 1, 2, 4, 7, 3], [
3, 4, 7, 5, 2, 1, 6]}, 357311/19387894021816320000, .1842959321e-13], [{[3, 6,
2, 4, 7, 5, 1]}, 6401/346212393246720000, .1848865068e-13], [{[5, 6, 1, 2, 7, 4
, 3], [5, 4, 1, 2, 7, 6, 3]}, 71737/3877578804363264000, .1850046217e-13], [{[4
, 3, 7, 6, 2, 1, 5], [6, 5, 2, 1, 7, 4, 3]}, 119659/6462631340605440000, .\
1851552312e-13], [{[6, 5, 1, 4, 3, 7, 2], [5, 1, 3, 4, 6, 7, 2]}, 359353/
19387894021816320000, .1853491666e-13], [{[5, 7, 4, 2, 6, 1, 3], [6, 4, 7, 3, 1
, 5, 2]}, 32861/1762535820165120000, .1864416009e-13], [{[2, 4, 3, 7, 5, 1, 6],
[4, 1, 3, 6, 5, 7, 2]}, 8033/430842089373696000, .1864488219e-13], [{[4, 2, 1,
5, 7, 3, 6], [5, 7, 4, 1, 6, 2, 3]}, 36259/1938789402181632000, .1870187652e-13
], [{[5, 4, 6, 1, 2, 7, 3], [6, 3, 1, 2, 7, 5, 4]}, 24197/1292526268121088000,
.1872070270e-13], [{[3, 1, 6, 2, 7, 4, 5], [5, 3, 7, 6, 1, 4, 2]}, 22717/
1211743376363520000, .1874736883e-13], [{[4, 7, 2, 5, 3, 6, 1], [1, 5, 3, 7, 4,
2, 6]}, 72907/3877578804363264000, .1880219685e-13], [{[5, 7, 1, 4, 2, 3, 6], [
3, 5, 6, 4, 1, 7, 2]}, 3721/197835653283840000, .1880854102e-13], [{[5, 2, 4, 6
, 1, 3, 7], [5, 2, 6, 3, 1, 4, 7]}, 91307/4846973505454080000, .1883794081e-13]
, [{[5, 1, 2, 7, 3, 4, 6], [6, 5, 3, 2, 7, 1, 4]}, 1627/86168417874739200, .\
1888162786e-13], [{[3, 2, 5, 7, 6, 1, 4], [4, 5, 3, 7, 1, 2, 6]}, 2861/
151467922045440000, .1888848782e-13], [{[3, 6, 2, 5, 1, 4, 7], [3, 5, 7, 2, 4,
6, 1]}, 14671/775515760872652800, .1891773287e-13], [{[4, 1, 2, 5, 7, 3, 6], [5
, 7, 4, 1, 6, 3, 2]}, 367573/19387894021816320000, .1895889257e-13], [{[3, 6, 1
, 5, 2, 4, 7], [1, 6, 4, 2, 7, 3, 5]}, 183797/9693947010908160000, .1895997572e\
-13], [{[5, 2, 6, 1, 4, 3, 7], [4, 2, 6, 5, 1, 3, 7]}, 368399/
19387894021816320000, .1900149648e-13], [{[3, 7, 1, 2, 6, 4, 5], [6, 3, 7, 2, 1
, 4, 5], [5, 7, 1, 2, 6, 4, 3], [6, 3, 1, 2, 7, 4, 5]}, 6161/323131567030272000
, .1906653707e-13], [{[2, 3, 6, 7, 1, 5, 4], [4, 3, 1, 7, 6, 5, 2], [3, 7, 2, 1
, 6, 5, 4], [4, 5, 2, 1, 6, 7, 3]}, 11579/605871688181760000, .1911130727e-13],
[{[2, 4, 3, 7, 6, 1, 5], [4, 3, 1, 6, 5, 7, 2]}, 61877/3231315670302720000, .\
1914916595e-13], [{[4, 5, 1, 6, 7, 2, 3], [5, 2, 1, 7, 6, 4, 3]}, 367/
19120211066880000, .1919434878e-13], [{[5, 3, 7, 6, 2, 1, 4], [6, 5, 2, 7, 1, 4
, 3]}, 93043/4846973505454080000, .1919610245e-13], [{[5, 4, 7, 1, 6, 2, 3], [3
, 5, 1, 2, 7, 6, 4]}, 2603/135579678474240000, .1919904243e-13], [{[4, 7, 5, 3,
1, 2, 6], [3, 2, 4, 7, 5, 1, 6]}, 113/5875119400550400, .1923365166e-13], [{[5,
2, 4, 7, 3, 6, 1], [4, 2, 7, 5, 3, 6, 1]}, 186559/9693947010908160000, .\
1924489579e-13], [{[1, 5, 3, 7, 2, 6, 4]}, 24881/1292526268121088000, .\
1924989891e-13], [{[4, 5, 6, 2, 1, 7, 3], [3, 1, 6, 2, 7, 5, 4], [5, 4, 7, 1, 2
, 3, 6], [5, 3, 6, 7, 1, 4, 2]}, 23329/1211743376363520000, .1925242626e-13], [
{[5, 6, 1, 2, 3, 7, 4], [2, 6, 7, 1, 3, 4, 5]}, 62297/3231315670302720000, .\
1927914396e-13], [{[5, 7, 1, 2, 6, 3, 4], [3, 4, 6, 7, 1, 5, 2]}, 93589/
4846973505454080000, .1930875007e-13], [{[5, 1, 2, 6, 7, 4, 3], [6, 5, 1, 2, 7,
4, 3]}, 374483/19387894021816320000, .1931530055e-13], [{[3, 1, 6, 7, 4, 5, 2],
[4, 5, 2, 3, 7, 1, 6]}, 34061/1762535820165120000, .1932499732e-13], [{[6, 5, 2
, 3, 1, 7, 4], [5, 3, 4, 7, 2, 1, 6]}, 124951/6462631340605440000, .1933438462e\
-13], [{[2, 7, 6, 1, 4, 3, 5], [4, 7, 2, 3, 1, 5, 6]}, 1423/73438992506880000,
.1937662748e-13], [{[5, 1, 3, 6, 4, 2, 7], [6, 2, 5, 3, 7, 4, 1]}, 14513/
745688231608320000, .1946255739e-13], [{[6, 5, 1, 4, 7, 3, 2], [5, 1, 2, 4, 6,
7, 3]}, 379543/19387894021816320000, .1957628815e-13], [{[5, 7, 1, 2, 3, 6, 4],
[6, 2, 7, 1, 3, 4, 5]}, 15217/775515760872652800, .1962178046e-13], [{[3, 2, 5,
6, 7, 1, 4], [2, 6, 7, 1, 5, 4, 3]}, 126869/6462631340605440000, .1963116776e-\
13], [{[2, 4, 3, 6, 7, 1, 5], [5, 4, 7, 2, 3, 1, 6]}, 127093/
6462631340605440000, .1966582856e-13], [{[5, 2, 3, 6, 1, 4, 7]}, 381713/
19387894021816320000, .1968821366e-13], [{[4, 6, 5, 2, 7, 1, 3], [5, 2, 3, 1, 7
, 4, 6]}, 76631/3877578804363264000, .1976258997e-13], [{[5, 7, 3, 2, 4, 1, 6],
[2, 4, 5, 3, 7, 1, 6]}, 79/3989278605312000, .1980307916e-13], [{[4, 3, 1, 5, 7
, 6, 2], [3, 7, 2, 1, 4, 6, 5]}, 487/24479664168960000, .1989406377e-13], [{[6,
4, 7, 2, 5, 1, 3]}, 387103/19387894021816320000, .1996622220e-13], [{[5, 3, 4,
6, 1, 7, 2], [5, 7, 2, 3, 1, 4, 6]}, 129053/6462631340605440000, .1996911060e-\
13], [{[5, 7, 4, 1, 3, 2, 6], [4, 6, 5, 3, 1, 7, 2]}, 387187/
19387894021816320000, .1997055480e-13], [{[4, 1, 2, 7, 5, 6, 3], [4, 6, 5, 1, 7
, 3, 2]}, 15511/775515760872652800, .2000088300e-13], [{[4, 5, 1, 6, 7, 3, 2],
[3, 4, 6, 7, 2, 1, 5]}, 64633/3231315670302720000, .2000206931e-13], [{[7, 4, 2
, 6, 1, 5, 3]}, 5969/298275292643328000, .2001171450e-13], [{[5, 7, 3, 4, 1, 2,
6], [3, 2, 5, 4, 7, 1, 6]}, 13883/692424786493440000, .2004983107e-13], [{[4, 1
, 2, 7, 6, 3, 5], [6, 5, 2, 7, 1, 3, 4]}, 388819/19387894021816320000, .\
2005473104e-13], [{[4, 6, 7, 1, 2, 5, 3], [4, 3, 1, 7, 2, 6, 5]}, 194507/
9693947010908160000, .2006478886e-13], [{[2, 7, 6, 1, 3, 5, 4], [6, 5, 2, 1, 3,
7, 4]}, 6079/302935844090880000, .2006695516e-13], [{[1, 5, 4, 7, 2, 3, 6], [1,
5, 6, 3, 2, 7, 4]}, 194609/9693947010908160000, .2007531089e-13], [{[4, 6, 5, 1
, 7, 2, 3], [4, 6, 7, 1, 3, 2, 5]}, 38989/1938789402181632000, .2010997169e-13]
, [{[3, 7, 4, 2, 6, 5, 1], [1, 4, 7, 5, 2, 3, 6]}, 195179/9693947010908160000,
.2013411047e-13], [{[7, 3, 1, 6, 5, 2, 4], [1, 4, 5, 7, 2, 6, 3]}, 97817/
4846973505454080000, .2018104697e-13], [{[1, 5, 3, 6, 2, 7, 4], [1, 5, 3, 7, 2,
4, 6]}, 196117/9693947010908160000, .2023087188e-13], [{[7, 4, 1, 6, 3, 5, 2],
[7, 4, 2, 6, 3, 1, 5]}, 392983/19387894021816320000, .2026950424e-13], [{[5, 4,
7, 3, 1, 2, 6], [3, 7, 1, 2, 4, 6, 5]}, 1747/86168417874739200, .2027424946e-13
], [{[2, 4, 3, 7, 1, 5, 6], [4, 1, 2, 6, 5, 7, 3]}, 65803/3231315670302720000,
.2036415093e-13], [{[2, 4, 3, 7, 1, 6, 5], [5, 1, 3, 2, 7, 6, 4]}, 21979/
1077105223434240000, .2040562010e-13], [{[6, 2, 3, 7, 4, 5, 1], [7, 2, 3, 5, 6,
1, 4]}, 24757/1211743376363520000, .2043089361e-13], [{[6, 2, 3, 5, 7, 4, 1], [
3, 7, 4, 2, 5, 6, 1]}, 139/6778983923712000, .2050454781e-13], [{[7, 1, 4, 5, 2
, 6, 3], [1, 6, 4, 3, 7, 5, 2]}, 12431/605871688181760000, .2051754562e-13], [{
[4, 2, 6, 3, 7, 5, 1], [5, 3, 6, 1, 4, 2, 7]}, 397883/19387894021816320000, .\
2052223927e-13], [{[3, 7, 2, 5, 4, 6, 1], [6, 2, 4, 3, 7, 5, 1]}, 199169/
9693947010908160000, .2054570752e-13], [{[1, 4, 5, 7, 2, 3, 6], [1, 5, 6, 2, 3,
7, 4]}, 659/32046105821184000, .2056412107e-13], [{[5, 3, 6, 2, 7, 4, 1], [1, 4
, 6, 2, 7, 5, 3]}, 3079/149137646321664000, .2064535733e-13], [{[6, 2, 4, 5, 1,
3, 7], [5, 2, 6, 3, 4, 1, 7]}, 20017/969394701090816000, .2064896783e-13], [{[1
, 6, 3, 7, 5, 2, 4]}, 989/47871343263744000, .2065954144e-13], [{[5, 7, 3, 6, 1
, 2, 4], [3, 2, 5, 1, 7, 4, 6]}, 4009/193878940218163200, .2067785184e-13], [{[
3, 1, 7, 2, 5, 4, 6], [5, 1, 3, 2, 7, 4, 6]}, 16717/807828917575680000, .\
2069373804e-13], [{[7, 2, 3, 5, 1, 6, 4], [1, 6, 4, 7, 3, 2, 5]}, 80393/
3877578804363264000, .2073278302e-13], [{[1, 4, 5, 7, 3, 2, 6], [1, 6, 5, 2, 3,
7, 4]}, 405283/19387894021816320000, .2090392074e-13], [{[6, 5, 3, 1, 2, 7, 4],
[4, 5, 3, 7, 2, 1, 6]}, 405709/19387894021816320000, .2092589322e-13], [{[4, 5,
2, 7, 3, 6, 1], [1, 5, 3, 7, 6, 2, 4]}, 135689/6462631340605440000, .2099593693\
e-13], [{[2, 7, 6, 1, 3, 4, 5], [4, 7, 3, 2, 1, 5, 6]}, 67883/
3231315670302720000, .2100785158e-13], [{[3, 6, 1, 4, 2, 5, 7], [5, 3, 7, 4, 2,
6, 1]}, 58189/2769699145973760000, .2100914104e-13], [{[3, 4, 6, 5, 1, 7, 2], [
5, 7, 1, 2, 4, 3, 6]}, 135787/6462631340605440000, .2101110103e-13], [{[5, 2, 6
, 4, 3, 7, 1], [1, 6, 3, 4, 7, 5, 2]}, 5309/251790831452160000, .2108496155e-13
], [{[5, 7, 3, 6, 2, 1, 4], [6, 5, 3, 7, 1, 4, 2]}, 81821/3877578804363264000,
.2110105407e-13], [{[5, 7, 4, 2, 1, 3, 6], [5, 4, 6, 3, 1, 7, 2]}, 13697/
646263134060544000, .2119415340e-13], [{[5, 2, 1, 3, 6, 7, 4], [3, 2, 4, 7, 1,
5, 6]}, 17137/807828917575680000, .2121365010e-13], [{[5, 3, 2, 7, 4, 6, 1], [4
, 2, 7, 3, 6, 5, 1]}, 205721/9693947010908160000, .2122159320e-13], [{[6, 4, 2,
1, 3, 7, 5], [4, 5, 3, 6, 1, 7, 2]}, 412303/19387894021816320000, .2126600236e-\
13], [{[6, 2, 4, 1, 5, 3, 7], [4, 2, 6, 3, 5, 1, 7]}, 12497/587511940055040000,
.2127105706e-13], [{[4, 6, 7, 3, 1, 2, 5], [3, 2, 4, 7, 1, 6, 5]}, 137659/
6462631340605440000, .2130076632e-13], [{[4, 1, 3, 6, 5, 2, 7], [6, 2, 5, 7, 3,
4, 1]}, 103391/4846973505454080000, .2133104295e-13], [{[5, 7, 4, 1, 2, 3, 6],
[4, 3, 2, 5, 7, 1, 6]}, 3761/176253582016512000, .2133857342e-13], [{[3, 7, 2,
4, 6, 5, 1], [1, 5, 7, 4, 2, 3, 6]}, 27637/1292526268121088000, .2138215732e-13
], [{[3, 5, 7, 6, 2, 1, 4], [5, 4, 6, 1, 7, 3, 2]}, 138223/6462631340605440000,
.2138803727e-13], [{[6, 4, 2, 3, 1, 7, 5], [5, 3, 4, 2, 7, 1, 6]}, 27667/
1292526268121088000, .2140536768e-13], [{[7, 3, 1, 6, 4, 5, 2], [3, 7, 2, 5, 6,
4, 1]}, 415279/19387894021816320000, .2141950021e-13], [{[6, 2, 5, 4, 1, 3, 7],
[5, 2, 6, 4, 3, 1, 7]}, 59491/2769699145973760000, .2147922820e-13], [{[7, 3, 6
, 1, 4, 2, 5], [7, 5, 1, 3, 6, 2, 4]}, 23141/1077105223434240000, .2148443764e-\
13], [{[3, 5, 7, 6, 1, 4, 2], [5, 7, 1, 6, 2, 4, 3]}, 17359/807828917575680000,
.2148846076e-13], [{[6, 4, 7, 3, 1, 2, 5], [3, 2, 4, 6, 1, 7, 5]}, 2573/
119678358159360000, .2149929227e-13], [{[4, 7, 5, 3, 2, 1, 6], [6, 5, 4, 1, 3,
7, 2]}, 69499/3231315670302720000, .2150795747e-13], [{[5, 2, 3, 6, 4, 1, 7], [
6, 2, 3, 5, 1, 4, 7]}, 32099/1491376463216640000, .2152306999e-13], [{[5, 7, 3,
2, 1, 4, 6], [2, 7, 1, 6, 3, 4, 5]}, 27821/1292526268121088000, .2152451419e-13
], [{[7, 3, 6, 1, 4, 5, 2], [7, 5, 2, 3, 6, 1, 4]}, 417701/19387894021816320000
, .2154442352e-13], [{[3, 5, 7, 6, 1, 2, 4], [5, 4, 6, 1, 7, 2, 3]}, 199/
9206027550720000, .2161627248e-13], [{[4, 2, 7, 6, 3, 5, 1], [3, 4, 6, 1, 5, 2,
7]}, 209557/9693947010908160000, .2161730405e-13], [{[6, 2, 5, 1, 4, 3, 7], [1,
7, 5, 3, 2, 6, 4]}, 83827/3877578804363264000, .2161838720e-13], [{[4, 7, 3, 5,
2, 6, 1], [1, 3, 5, 7, 4, 2, 6]}, 420227/19387894021816320000, .2167471101e-13]
, [{[7, 4, 1, 6, 2, 3, 5]}, 8093/372844115804160000, .2170612236e-13], [{[3, 7,
2, 4, 5, 6, 1], [1, 5, 7, 4, 3, 2, 6]}, 20099/923233048657920000, .2177023454e-\
13], [{[7, 1, 3, 6, 4, 2, 5], [1, 4, 7, 5, 3, 6, 2]}, 32477/1491376463216640000
, .2177652712e-13], [{[4, 5, 1, 6, 3, 2, 7], [1, 4, 6, 7, 3, 2, 5]}, 84569/
3877578804363264000, .2180974373e-13], [{[6, 5, 3, 2, 1, 7, 4], [2, 7, 6, 1, 5,
4, 3]}, 35261/1615657835151360000, .2182454678e-13], [{[3, 5, 7, 4, 2, 6, 1], [
3, 6, 2, 4, 1, 5, 7]}, 8647/395671306567680000, .2185399815e-13], [{[3, 1, 6, 5
, 2, 4, 7], [6, 3, 7, 2, 4, 5, 1]}, 84803/3877578804363264000, .2187009066e-13]
, [{[5, 2, 1, 6, 4, 3, 7], [7, 4, 1, 5, 6, 2, 3]}, 106231/4846973505454080000,
.2191697559e-13], [{[5, 3, 6, 2, 4, 7, 1], [1, 4, 6, 3, 7, 5, 2]}, 212651/
9693947010908160000, .2193647229e-13], [{[6, 5, 4, 1, 2, 7, 3], [4, 3, 1, 5, 6,
7, 2]}, 47353/2154210446868480000, .2198160355e-13], [{[3, 7, 2, 6, 4, 5, 1], [
1, 5, 7, 3, 2, 4, 6]}, 426667/19387894021816320000, .2200687705e-13], [{[3, 2,
5, 1, 7, 6, 4]}, 213509/9693947010908160000, .2202498113e-13], [{[7, 4, 1, 2, 5
, 6, 3], [3, 4, 7, 2, 5, 6, 1]}, 427213/19387894021816320000, .2203503895e-13],
[{[3, 1, 6, 4, 5, 2, 7], [6, 2, 7, 4, 3, 5, 1]}, 61129/2769699145973760000, .\
2207062817e-13], [{[7, 5, 3, 1, 6, 2, 4], [7, 3, 6, 1, 5, 2, 4]}, 17837/
807828917575680000, .2208017021e-13], [{[4, 3, 1, 6, 5, 2, 7], [1, 4, 3, 7, 6,
2, 5]}, 428669/19387894021816320000, .2211013736e-13], [{[5, 7, 1, 6, 2, 3, 4],
[3, 5, 6, 7, 1, 4, 2]}, 9749/440633955041280000, .2212494041e-13], [{[3, 1, 6,
7, 5, 4, 2], [4, 5, 3, 2, 7, 1, 6]}, 215843/9693947010908160000, .2226574993e-\
13], [{[6, 2, 4, 5, 7, 3, 1], [3, 7, 4, 5, 2, 6, 1]}, 86347/3877578804363264000
, .2226827728e-13], [{[1, 4, 5, 2, 7, 3, 6], [1, 4, 6, 2, 3, 7, 5]}, 216011/
9693947010908160000, .2228308033e-13], [{[3, 6, 1, 2, 5, 4, 7], [1, 6, 3, 2, 7,
4, 5]}, 6779/302935844090880000, .2237767545e-13], [{[6, 5, 1, 7, 2, 3, 4], [4,
1, 2, 7, 6, 5, 3]}, 54233/2423486752727040000, .2237808807e-13], [{[4, 7, 6, 1,
5, 2, 3], [4, 6, 7, 1, 5, 3, 2]}, 54239/2423486752727040000, .2238056385e-13],
[{[4, 1, 5, 2, 6, 3, 7], [7, 5, 3, 1, 6, 4, 2]}, 434003/19387894021816320000, .\
2238525750e-13], [{[2, 7, 5, 6, 4, 1, 3], [2, 4, 3, 5, 7, 1, 6]}, 24151/
1077105223434240000, .2242213618e-13], [{[7, 3, 1, 6, 2, 5, 4], [5, 3, 6, 1, 2,
4, 7]}, 217387/9693947010908160000, .2242502458e-13], [{[5, 3, 2, 7, 6, 4, 1],
[4, 5, 1, 6, 2, 3, 7]}, 435229/19387894021816320000, .2244849283e-13], [{[5, 1,
3, 4, 6, 2, 7], [1, 3, 7, 4, 5, 2, 6]}, 31091/1384849572986880000, .2245081387e\
-13], [{[3, 1, 6, 5, 4, 2, 7], [6, 2, 7, 3, 4, 5, 1]}, 435739/
19387894021816320000, .2247479791e-13], [{[7, 1, 5, 3, 2, 6, 4], [2, 5, 4, 7, 3
, 6, 1]}, 48431/2154210446868480000, .2248201891e-13], [{[5, 4, 7, 3, 2, 1, 6],
[6, 5, 4, 2, 1, 7, 3]}, 12127/538552611717120000, .2251776286e-13], [{[3, 5, 6,
2, 4, 7, 1], [1, 4, 7, 3, 6, 5, 2]}, 109283/4846973505454080000, .2254664687e-\
13], [{[4, 1, 2, 5, 6, 7, 3], [6, 5, 1, 7, 4, 3, 2]}, 24307/1077105223434240000
, .2256696883e-13], [{[4, 2, 1, 5, 6, 7, 3], [5, 6, 1, 7, 4, 3, 2]}, 6637/
293755970027520000, .2259358337e-13], [{[3, 5, 6, 7, 1, 2, 4], [4, 5, 6, 1, 7,
2, 3]}, 39857/1762535820165120000, .2261344112e-13], [{[5, 7, 3, 4, 2, 1, 6], [
6, 5, 3, 4, 1, 7, 2]}, 438887/19387894021816320000, .2263716727e-13], [{[3, 4,
7, 2, 6, 5, 1], [1, 4, 7, 6, 2, 3, 5]}, 33793/1491376463216640000, .2265893343e\
-13], [{[7, 2, 4, 1, 5, 3, 6], [4, 2, 6, 3, 5, 7, 1]}, 439337/
19387894021816320000, .2266037763e-13], [{[4, 3, 7, 5, 2, 6, 1], [1, 3, 6, 7, 4
, 2, 5]}, 17597/775515760872652800, .2269070583e-13], [{[5, 7, 4, 3, 1, 2, 6],
[3, 2, 4, 5, 7, 1, 6]}, 1129/49712548773888000, .2271056359e-13], [{[7, 1, 3, 6
, 5, 2, 4], [6, 2, 5, 1, 3, 4, 7]}, 44141/1938789402181632000, .2276730002e-13]
, [{[4, 7, 6, 1, 5, 3, 2]}, 44311/1938789402181632000, .2285498360e-13], [{[5,
2, 4, 6, 3, 7, 1], [6, 4, 1, 3, 5, 2, 7]}, 17047/745688231608320000, .\
2286076041e-13], [{[6, 2, 7, 3, 5, 4, 1], [1, 6, 4, 2, 3, 7, 5]}, 8527/
372844115804160000, .2287014771e-13], [{[7, 5, 1, 3, 6, 4, 2], [3, 7, 4, 6, 2,
5, 1]}, 444503/19387894021816320000, .2292683256e-13], [{[7, 4, 1, 2, 6, 3, 5],
[7, 3, 1, 6, 2, 4, 5]}, 3109/135579678474240000, .2293116516e-13], [{[3, 5, 1,
4, 2, 7, 6]}, 21191/923233048657920000, .2295303448e-13], [{[6, 2, 5, 3, 4, 7,
1], [1, 6, 4, 3, 5, 7, 2]}, 445777/19387894021816320000, .2299254367e-13], [{[7
, 4, 1, 6, 5, 2, 3], [3, 6, 7, 2, 5, 4, 1]}, 446323/19387894021816320000, .\
2302070558e-13], [{[6, 4, 7, 3, 2, 1, 5], [6, 5, 4, 2, 7, 1, 3]}, 49691/
2154210446868480000, .2306691998e-13], [{[4, 7, 3, 5, 6, 1, 2], [6, 7, 3, 1, 4,
5, 2]}, 225059/9693947010908160000, .2321644628e-13], [{[3, 7, 2, 6, 5, 4, 1],
[7, 3, 1, 6, 5, 4, 2]}, 10253/440633955041280000, .2326874696e-13], [{[6, 3, 7,
4, 2, 5, 1], [3, 1, 6, 4, 2, 5, 7]}, 225887/9693947010908160000, .2330186040e-\
13], [{[6, 2, 4, 5, 3, 7, 1], [1, 6, 3, 5, 4, 7, 2]}, 452147/
19387894021816320000, .2332109921e-13], [{[7, 3, 6, 1, 5, 4, 2], [1, 3, 5, 6, 2
, 7, 4]}, 226147/9693947010908160000, .2332868126e-13], [{[6, 1, 4, 5, 2, 3, 7]
, [1, 7, 4, 5, 2, 3, 6]}, 9047/387757880436326400, .2333156966e-13], [{[7, 1, 4
, 2, 5, 6, 3], [7, 2, 3, 5, 1, 4, 6]}, 3499/149137646321664000, .2346154768e-13
], [{[6, 5, 2, 3, 7, 4, 1], [1, 5, 4, 2, 6, 7, 3]}, 113833/4846973505454080000,
.2348537698e-13], [{[7, 1, 4, 6, 3, 5, 2], [1, 4, 6, 3, 5, 7, 2]}, 455437/
19387894021816320000, .2349079273e-13], [{[1, 6, 3, 4, 5, 7, 2], [1, 7, 3, 4, 5
, 2, 6]}, 57149/2423486752727040000, .2358131314e-13], [{[6, 7, 3, 1, 5, 2, 4]}
, 41623/1762535820165120000, .2361540658e-13], [{[7, 1, 4, 2, 6, 3, 5], [1, 5,
7, 3, 6, 4, 2]}, 458153/19387894021816320000, .2363088015e-13], [{[6, 2, 5, 7,
4, 3, 1], [4, 7, 5, 3, 2, 6, 1]}, 92017/3877578804363264000, .2373052996e-13],
[{[6, 4, 1, 5, 2, 3, 7], [7, 1, 4, 2, 6, 5, 3]}, 461611/19387894021816320000, .\
2380923887e-13], [{[7, 5, 1, 2, 4, 6, 3], [3, 4, 7, 5, 2, 6, 1]}, 46187/
1938789402181632000, .2382259772e-13], [{[6, 3, 5, 7, 2, 4, 1], [4, 1, 3, 6, 2,
5, 7]}, 527/22031697752064000, .2392008124e-13], [{[7, 1, 4, 5, 3, 2, 6]}, 
231943/9693947010908160000, .2392658014e-13], [{[7, 1, 4, 5, 2, 3, 6]}, 42223/
1762535820165120000, .2395582519e-13], [{[5, 7, 1, 2, 3, 4, 6], [2, 7, 1, 6, 5,
4, 3]}, 1613/67319076464640000, .2396051884e-13], [{[6, 1, 4, 5, 3, 2, 7], [6,
2, 3, 5, 4, 7, 1]}, 464887/19387894021816320000, .2397821029e-13], [{[4, 2, 7,
5, 6, 3, 1], [1, 6, 2, 7, 4, 3, 5]}, 23293/969394701090816000, .2402839625e-13]
, [{[3, 6, 7, 4, 2, 5, 1], [1, 3, 7, 4, 2, 6, 5]}, 66613/2769699145973760000, .\
2405062662e-13], [{[6, 2, 4, 5, 3, 1, 7], [7, 1, 4, 3, 5, 2, 6]}, 116927/
4846973505454080000, .2412371346e-13], [{[4, 1, 5, 2, 3, 7, 6], [6, 7, 3, 1, 5,
4, 2]}, 234569/9693947010908160000, .2419747083e-13], [{[1, 5, 3, 6, 4, 7, 2],
[1, 7, 3, 5, 2, 4, 6]}, 47027/1938789402181632000, .2425585778e-13], [{[7, 1, 3
, 6, 2, 5, 4], [7, 4, 2, 1, 5, 3, 6]}, 94117/3877578804363264000, .2427210503e-\
13], [{[5, 7, 4, 2, 3, 6, 1], [6, 2, 7, 5, 3, 4, 1]}, 36299/1491376463216640000
, .2433926034e-13], [{[6, 4, 2, 1, 5, 3, 7], [1, 7, 3, 6, 2, 5, 4]}, 4937/
201957229393920000, .2444577010e-13], [{[6, 1, 5, 3, 4, 2, 7], [6, 2, 4, 3, 5,
7, 1]}, 237221/9693947010908160000, .2447104360e-13], [{[7, 5, 4, 1, 2, 6, 3],
[4, 3, 1, 5, 6, 2, 7]}, 118649/4846973505454080000, .2447898671e-13], [{[4, 3,
7, 6, 2, 5, 1], [1, 3, 6, 7, 2, 4, 5]}, 94981/3877578804363264000, .2449492449e\
-13], [{[6, 3, 7, 4, 5, 1, 2], [2, 1, 6, 4, 3, 7, 5]}, 158429/
6462631340605440000, .2451462750e-13], [{[4, 6, 3, 2, 5, 1, 7], [1, 6, 3, 7, 5,
4, 2]}, 52817/2154210446868480000, .2451803169e-13], [{[6, 7, 3, 1, 4, 2, 5], [
4, 6, 3, 5, 7, 1, 2]}, 59489/2423486752727040000, .2454686411e-13], [{[4, 5, 2,
7, 6, 3, 1], [7, 3, 6, 1, 2, 5, 4]}, 127/5170105072484352, .2456429767e-13], [{
[7, 5, 1, 3, 2, 6, 4], [5, 3, 4, 1, 6, 2, 7]}, 2209/89758768619520000, .\
2461040892e-13], [{[6, 5, 3, 2, 7, 4, 1], [1, 4, 5, 2, 6, 7, 3]}, 43469/
1762535820165120000, .2466276118e-13], [{[5, 6, 2, 3, 4, 7, 1], [1, 5, 4, 3, 7,
6, 2]}, 239573/9693947010908160000, .2471366923e-13], [{[6, 2, 4, 3, 5, 1, 7]},
159937/6462631340605440000, .2474796899e-13], [{[5, 4, 7, 3, 2, 6, 1], [7, 5, 4
, 2, 1, 6, 3]}, 43651/1762535820165120000, .2476602149e-13], [{[4, 1, 3, 5, 2,
7, 6], [6, 7, 4, 1, 3, 5, 2]}, 480967/19387894021816320000, .2480759382e-13], [
{[4, 6, 7, 2, 3, 5, 1], [1, 4, 3, 7, 2, 6, 5]}, 9649/387757880436326400, .\
2488408486e-13], [{[6, 2, 7, 4, 5, 3, 1], [1, 6, 2, 4, 3, 7, 5]}, 9847/
395671306567680000, .2488681852e-13], [{[6, 4, 1, 2, 5, 3, 7], [7, 1, 5, 2, 6,
4, 3]}, 482891/19387894021816320000, .2490683101e-13], [{[7, 4, 1, 2, 5, 3, 6],
[7, 1, 3, 6, 2, 4, 5]}, 48371/1938789402181632000, .2494907386e-13], [{[6, 2, 5
, 4, 3, 1, 7]}, 484219/19387894021816320000, .2497532736e-13], [{[5, 3, 7, 6, 2
, 4, 1], [5, 4, 7, 2, 6, 3, 1]}, 37307/1491376463216640000, .2501514602e-13], [
{[5, 6, 1, 3, 4, 2, 7], [5, 2, 4, 3, 7, 6, 1]}, 485041/19387894021816320000, .\
2501772495e-13], [{[5, 7, 2, 6, 3, 4, 1], [7, 3, 5, 6, 1, 4, 2]}, 485621/
19387894021816320000, .2504764053e-13], [{[7, 1, 3, 6, 4, 5, 2], [6, 1, 5, 3, 2
, 4, 7]}, 24287/969394701090816000, .2505377838e-13], [{[6, 1, 5, 4, 2, 3, 7],
[1, 7, 5, 4, 2, 3, 6]}, 263/10491284643840000, .2506842669e-13], [{[5, 6, 2, 4,
3, 7, 1], [1, 5, 3, 4, 7, 6, 2]}, 69787/2769699145973760000, .2519659946e-13],
[{[5, 1, 3, 4, 2, 7, 6], [6, 3, 5, 4, 7, 1, 2]}, 488573/19387894021816320000, .\
2519990049e-13], [{[6, 5, 2, 7, 3, 4, 1], [7, 3, 5, 6, 2, 1, 4]}, 244711/
9693947010908160000, .2524369070e-13], [{[3, 5, 7, 4, 6, 1, 2], [5, 3, 6, 4, 7,
1, 2]}, 17489/692424786493440000, .2525761692e-13], [{[4, 2, 6, 7, 5, 3, 1], [4
, 5, 3, 7, 2, 6, 1]}, 7421/293755970027520000, .2526246530e-13], [{[5, 7, 4, 3,
2, 1, 6], [6, 5, 4, 3, 1, 7, 2], [3, 7, 4, 5, 6, 1, 2], [2, 1, 7, 5, 4, 3, 6]},
163547/6462631340605440000, .2530656499e-13], [{[7, 2, 1, 4, 6, 3, 5], [1, 5, 7
, 4, 6, 2, 3]}, 35081/1384849572986880000, .2533199322e-13], [{[1, 7, 3, 4, 5,
6, 2]}, 197/7755157608726528, .2540244956e-13], [{[1, 7, 3, 4, 6, 5, 2]}, 6403/
251790831452160000, .2542983779e-13], [{[5, 3, 6, 7, 2, 4, 1], [4, 3, 1, 6, 2,
5, 7]}, 1019/40057632276480000, .2543834825e-13], [{[6, 4, 2, 3, 5, 7, 1], [1,
5, 4, 6, 3, 7, 2]}, 494203/19387894021816320000, .2549028788e-13], [{[6, 2, 4,
1, 3, 5, 7], [7, 1, 6, 3, 5, 2, 4]}, 164767/6462631340605440000, .2549534258e-\
13], [{[7, 5, 1, 3, 4, 2, 6], [7, 1, 6, 3, 4, 2, 5]}, 6103/239356716318720000,
.2549750888e-13], [{[5, 7, 4, 2, 6, 3, 1], [6, 3, 7, 5, 2, 4, 1]}, 247231/
9693947010908160000, .2550364673e-13], [{[4, 5, 3, 1, 6, 2, 7], [7, 5, 2, 1, 3,
6, 4]}, 54997/2154210446868480000, .2553000338e-13], [{[7, 2, 4, 1, 3, 6, 5], [
7, 2, 1, 5, 3, 6, 4]}, 495149/19387894021816320000, .2553908121e-13], [{[7, 1,
6, 4, 2, 5, 3], [1, 3, 6, 4, 7, 5, 2]}, 31/1211743376363520, .2558297458e-13],
[{[7, 3, 6, 2, 1, 4, 5], [7, 5, 1, 2, 6, 4, 3]}, 367/14340158300160000, .\
2559246504e-13], [{[7, 3, 6, 4, 2, 1, 5], [1, 3, 7, 4, 2, 5, 6]}, 9043/
352507164033024000, .2565337934e-13], [{[6, 1, 5, 4, 3, 2, 7], [1, 7, 5, 4, 3,
2, 6]}, 15109/587511940055040000, .2571692415e-13], [{[5, 2, 4, 3, 1, 7, 6]}, 
3197/124281371934720000, .2572388726e-13], [{[5, 4, 7, 3, 6, 1, 2], [5, 3, 7, 6
, 4, 1, 2]}, 2269/88126791008256000, .2574699446e-13], [{[7, 3, 6, 1, 2, 4, 5],
[7, 5, 1, 2, 6, 3, 4]}, 55477/2154210446868480000, .2575282284e-13], [{[4, 6, 5
, 2, 3, 7, 1], [1, 4, 3, 7, 5, 6, 2]}, 166459/6462631340605440000, .2575715544e\
-13], [{[7, 1, 4, 6, 5, 2, 3], [1, 4, 5, 3, 7, 6, 2]}, 7691/298275292643328000,
.2578490472e-13], [{[4, 6, 5, 2, 7, 3, 1], [5, 2, 3, 1, 6, 4, 7]}, 83563/
3231315670302720000, .2586036418e-13], [{[4, 2, 7, 6, 5, 3, 1], [1, 6, 2, 7, 3,
4, 5]}, 502379/19387894021816320000, .2591199433e-13], [{[7, 2, 1, 5, 6, 3, 4],
[1, 5, 4, 7, 6, 2, 3]}, 503807/19387894021816320000, .2598564854e-13], [{[5, 2,
3, 4, 1, 7, 6]}, 18017/692424786493440000, .2602015461e-13], [{[5, 2, 3, 4, 6,
1, 7], [1, 3, 7, 4, 5, 6, 2]}, 36109/1384849572986880000, .2607431212e-13], [{[
7, 2, 1, 4, 5, 6, 3], [5, 6, 1, 4, 3, 2, 7]}, 271/10356780994560000, .\
2616643146e-13], [{[7, 1, 4, 2, 5, 3, 6], [1, 7, 5, 3, 6, 4, 2]}, 507671/
19387894021816320000, .2618494817e-13], [{[5, 3, 6, 7, 4, 1, 2], [4, 3, 1, 5, 2
, 7, 6]}, 63521/2423486752727040000, .2621058272e-13], [{[2, 5, 1, 3, 4, 7, 6],
[5, 7, 4, 3, 6, 1, 2]}, 127051/4846973505454080000, .2621243955e-13], [{[6, 7,
3, 2, 4, 1, 5], [2, 1, 7, 5, 3, 4, 6]}, 6287/239356716318720000, .2626623600e-\
13], [{[5, 6, 2, 3, 1, 4, 7], [5, 3, 4, 6, 1, 2, 7]}, 513467/
19387894021816320000, .2648389760e-13], [{[4, 2, 1, 5, 6, 3, 7], [7, 5, 4, 1, 6
, 2, 3]}, 257227/9693947010908160000, .2653480566e-13], [{[4, 3, 7, 5, 6, 1, 2]
, [5, 3, 4, 7, 6, 1, 2]}, 3217/121174337636352000, .2654852556e-13], [{[5, 6, 1
, 4, 2, 3, 7], [7, 2, 1, 4, 6, 5, 3]}, 2731/102581449850880000, .2662274713e-13
], [{[4, 6, 5, 1, 3, 2, 7]}, 516479/19387894021816320000, .2663925228e-13], [{[
6, 7, 3, 4, 1, 2, 5], [3, 2, 5, 4, 1, 7, 6]}, 73823/2769699145973760000, .\
2665379744e-13], [{[7, 1, 3, 6, 5, 4, 2], [1, 4, 5, 6, 3, 7, 2]}, 259037/
9693947010908160000, .2672152011e-13], [{[6, 2, 7, 5, 4, 3, 1], [1, 6, 2, 3, 4,
7, 5]}, 259411/9693947010908160000, .2676010089e-13], [{[4, 6, 3, 2, 1, 5, 7],
[1, 6, 2, 7, 5, 4, 3]}, 1153/43084208937369600, .2676154509e-13], [{[6, 4, 7, 3
, 2, 5, 1], [5, 7, 2, 6, 4, 3, 1]}, 509/18933490255680000, .2688358000e-13], [{
[7, 1, 5, 3, 2, 4, 6], [1, 7, 3, 6, 4, 5, 2]}, 43451/1615657835151360000, .\
2689368940e-13], [{[4, 3, 2, 6, 5, 1, 7], [1, 4, 3, 7, 6, 5, 2]}, 86909/
3231315670302720000, .2689585570e-13], [{[4, 7, 6, 3, 2, 5, 1], [6, 5, 2, 7, 4,
3, 1]}, 260857/9693947010908160000, .2690926613e-13], [{[6, 3, 1, 2, 5, 4, 7],
[1, 7, 3, 2, 6, 4, 5]}, 522749/19387894021816320000, .2696264996e-13], [{[1, 3,
7, 2, 5, 4, 6], [1, 4, 2, 6, 5, 7, 3]}, 104659/3877578804363264000, .2699081186\
e-13], [{[6, 4, 7, 2, 5, 3, 1], [5, 7, 3, 6, 2, 4, 1]}, 26233/
969394701090816000, .2706121662e-13], [{[7, 1, 6, 4, 2, 3, 5], [1, 3, 7, 4, 6,
5, 2]}, 525029/19387894021816320000, .2708024912e-13], [{[5, 6, 2, 3, 4, 1, 7],
[7, 2, 1, 5, 4, 3, 6]}, 262687/9693947010908160000, .2709804373e-13], [{[6, 7,
4, 2, 5, 1, 3], [6, 4, 7, 3, 5, 1, 2]}, 262859/9693947010908160000, .2711578676\
e-13], [{[7, 1, 6, 3, 2, 5, 4], [7, 5, 2, 1, 4, 3, 6]}, 9749/359035074478080000
, .2715333596e-13], [{[5, 4, 6, 1, 3, 2, 7], [4, 6, 5, 2, 1, 3, 7]}, 131669/
4846973505454080000, .2716519904e-13], [{[7, 5, 2, 3, 4, 1, 6], [7, 1, 6, 3, 4,
5, 2]}, 526697/19387894021816320000, .2716628219e-13], [{[6, 5, 2, 3, 4, 7, 1],
[1, 5, 4, 3, 6, 7, 2]}, 263849/9693947010908160000, .2721791234e-13], [{[4, 6,
5, 1, 2, 3, 7], [4, 5, 6, 1, 3, 2, 7]}, 132047/4846973505454080000, .2724318585\
e-13], [{[2, 3, 1, 7, 5, 4, 6], [4, 7, 5, 6, 2, 1, 3]}, 264203/
9693947010908160000, .2725442998e-13], [{[7, 1, 6, 4, 3, 5, 2], [1, 3, 6, 4, 5,
7, 2]}, 1721/62947707863040000, .2734015357e-13], [{[5, 6, 1, 3, 2, 4, 7], [5,
3, 4, 2, 7, 6, 1]}, 16589/605871688181760000, .2738038486e-13], [{[3, 4, 6, 5,
1, 2, 7], [5, 6, 1, 2, 4, 3, 7]}, 531667/19387894021816320000, .2742262772e-13]
, [{[3, 5, 7, 6, 2, 4, 1], [1, 3, 7, 2, 6, 4, 5]}, 13/474054819840000, .\
2742298877e-13], [{[6, 7, 3, 5, 1, 2, 4], [6, 7, 4, 1, 5, 2, 3]}, 531877/
19387894021816320000, .2743345922e-13], [{[4, 6, 5, 3, 7, 1, 2], [6, 7, 4, 1, 3
, 2, 5]}, 10643/387757880436326400, .2744754017e-13], [{[5, 7, 6, 1, 3, 4, 2],
[4, 7, 5, 6, 1, 3, 2]}, 532423/19387894021816320000, .2746162112e-13], [{[1, 6,
4, 5, 7, 3, 2], [1, 7, 6, 3, 4, 2, 5]}, 1333/48469735054540800, .2750169768e-13
], [{[6, 4, 7, 5, 2, 1, 3], [5, 7, 4, 6, 1, 3, 2]}, 266789/9693947010908160000,
.2752119438e-13], [{[3, 2, 5, 1, 6, 4, 7], [4, 6, 7, 2, 5, 3, 1]}, 534593/
19387894021816320000, .2757354664e-13], [{[7, 4, 2, 6, 3, 5, 1]}, 3301/
119678358159360000, .2758226342e-13], [{[6, 4, 7, 5, 1, 3, 2], [5, 7, 4, 6, 2,
1, 3]}, 133843/4846973505454080000, .2761372635e-13], [{[6, 7, 3, 2, 1, 5, 4],
[2, 1, 6, 7, 3, 4, 5]}, 133993/4846973505454080000, .2764467350e-13], [{[4, 1,
3, 2, 7, 6, 5], [3, 2, 1, 7, 5, 4, 6]}, 268427/9693947010908160000, .2769016580\
e-13], [{[6, 5, 2, 4, 3, 7, 1], [1, 5, 3, 4, 6, 7, 2]}, 76777/
2769699145973760000, .2772033927e-13], [{[5, 7, 4, 6, 1, 2, 3], [6, 4, 7, 5, 1,
2, 3]}, 537583/19387894021816320000, .2772776658e-13], [{[4, 5, 3, 7, 6, 1, 2],
[2, 1, 5, 7, 6, 3, 4]}, 134483/4846973505454080000, .2774576751e-13], [{[5, 6,
2, 4, 3, 1, 7], [7, 2, 1, 4, 5, 3, 6]}, 11017/395671306567680000, .2784381838e-\
13], [{[3, 2, 4, 6, 1, 5, 7], [5, 2, 1, 3, 6, 4, 7]}, 134987/
4846973505454080000, .2784974992e-13], [{[3, 4, 1, 2, 6, 7, 5], [3, 4, 1, 2, 7,
5, 6]}, 540103/19387894021816320000, .2785774460e-13], [{[5, 6, 2, 1, 3, 4, 7],
[1, 6, 7, 2, 3, 5, 4]}, 540599/19387894021816320000, .2788332758e-13], [{[5, 4,
6, 1, 2, 3, 7], [4, 5, 6, 2, 1, 3, 7]}, 270349/9693947010908160000, .2788843385\
e-13], [{[5, 3, 6, 4, 2, 1, 7], [6, 5, 2, 4, 1, 3, 7]}, 541591/
19387894021816320000, .2793449352e-13], [{[4, 3, 2, 6, 1, 5, 7], [1, 4, 2, 7, 6
, 5, 3]}, 180809/6462631340605440000, .2797761322e-13], [{[4, 5, 6, 1, 2, 3, 7]
}, 24659/881267910082560000, .2798127529e-13], [{[3, 5, 6, 4, 7, 1, 2]}, 38761/
1384849572986880000, .2798932155e-13], [{[5, 4, 6, 2, 1, 3, 7]}, 41759/
1491376463216640000, .2800030779e-13], [{[7, 4, 2, 1, 3, 6, 5], [1, 6, 7, 2, 5,
3, 4]}, 33941/1211743376363520000, .2801005614e-13], [{[6, 7, 4, 1, 5, 3, 2], [
4, 7, 6, 3, 5, 1, 2]}, 272561/9693947010908160000, .2811661748e-13], [{[6, 5, 3
, 1, 4, 2, 7], [1, 7, 6, 3, 5, 2, 4]}, 3413/121174337636352000, .2816602976e-13
], [{[1, 3, 5, 2, 6, 7, 4], [1, 4, 2, 7, 3, 5, 6]}, 273103/9693947010908160000,
.2817252866e-13], [{[2, 4, 7, 5, 6, 3, 1], [5, 3, 4, 6, 2, 7, 1]}, 136583/
4846973505454080000, .2817902756e-13], [{[2, 3, 6, 7, 4, 5, 1], [4, 5, 2, 3, 6,
7, 1]}, 547649/19387894021816320000, .2824695655e-13], [{[1, 4, 6, 3, 5, 2, 7],
[1, 5, 3, 6, 4, 2, 7]}, 16637/587511940055040000, .2831772236e-13], [{[3, 4, 1,
2, 7, 6, 5]}, 137287/4846973505454080000, .2832427284e-13], [{[7, 1, 4, 6, 5, 3
, 2], [1, 4, 5, 3, 6, 7, 2]}, 109979/3877578804363264000, .2836280203e-13], [{[
4, 6, 5, 7, 1, 3, 2], [4, 6, 5, 7, 2, 1, 3]}, 137507/4846973505454080000, .\
2836966198e-13], [{[5, 3, 4, 6, 7, 1, 2], [3, 4, 7, 5, 6, 1, 2]}, 61157/
2154210446868480000, .2838951974e-13], [{[2, 7, 5, 6, 3, 4, 1], [1, 7, 3, 2, 5,
4, 6]}, 275599/9693947010908160000, .2843000892e-13], [{[1, 4, 7, 6, 5, 2, 3],
[1, 6, 7, 2, 5, 4, 3]}, 553703/19387894021816320000, .2855921326e-13], [{[6, 5,
3, 4, 7, 1, 2], [2, 1, 5, 4, 6, 7, 3]}, 27691/969394701090816000, .2856524795e-\
13], [{[5, 3, 4, 1, 2, 7, 6], [4, 5, 2, 3, 1, 7, 6]}, 110861/
3877578804363264000, .2859026356e-13], [{[5, 2, 3, 4, 6, 7, 1], [6, 5, 1, 4, 3,
2, 7]}, 2941/102581449850880000, .2866990089e-13], [{[7, 1, 6, 3, 2, 4, 5], [1,
3, 7, 6, 4, 5, 2]}, 46429/1615657835151360000, .2873690146e-13], [{[7, 1, 6, 3,
5, 4, 2], [7, 5, 3, 2, 4, 1, 6]}, 557357/19387894021816320000, .2874768138e-13]
, [{[6, 7, 4, 2, 3, 1, 5], [2, 1, 7, 3, 5, 4, 6]}, 185947/6462631340605440000,
.2877264541e-13], [{[4, 6, 5, 3, 2, 7, 1], [7, 5, 4, 1, 3, 2, 6]}, 93167/
3231315670302720000, .2883252814e-13], [{[4, 6, 5, 7, 1, 2, 3]}, 559787/
19387894021816320000, .2887301733e-13], [{[4, 6, 7, 5, 2, 1, 3], [2, 3, 1, 7, 4
, 6, 5]}, 560983/19387894021816320000, .2893470530e-13], [{[6, 7, 4, 2, 1, 3, 5
], [2, 1, 7, 3, 6, 4, 5]}, 1039/35903507447808000, .2893867686e-13], [{[6, 5, 1
, 4, 2, 3, 7], [3, 5, 6, 4, 2, 1, 7]}, 2603/89758768619520000, .2899995221e-13]
, [{[1, 7, 3, 6, 5, 4, 2]}, 31249/1077105223434240000, .2901202159e-13], [{[3,
2, 4, 6, 5, 1, 7], [1, 4, 3, 5, 7, 6, 2]}, 10823/372844115804160000, .\
2902821727e-13], [{[6, 5, 2, 3, 1, 4, 7], [5, 3, 4, 6, 2, 1, 7]}, 281629/
9693947010908160000, .2905204657e-13], [{[7, 1, 4, 2, 3, 6, 5], [7, 2, 1, 5, 3,
4, 6]}, 21667/745688231608320000, .2905637917e-13], [{[3, 5, 1, 4, 2, 6, 7]}, 
80497/2769699145973760000, .2906344543e-13], [{[1, 6, 3, 4, 5, 2, 7]}, 31373/
1077105223434240000, .2912714498e-13], [{[2, 4, 3, 7, 5, 6, 1], [4, 6, 5, 2, 3,
1, 7]}, 141611/4846973505454080000, .2921637592e-13], [{[1, 6, 3, 5, 4, 2, 7]},
188843/6462631340605440000, .2922076010e-13], [{[4, 6, 7, 5, 1, 3, 2], [5, 7, 6
, 1, 4, 2, 3]}, 283397/9693947010908160000, .2923442842e-13], [{[1, 4, 6, 5, 2,
3, 7], [1, 5, 4, 6, 2, 3, 7]}, 283513/9693947010908160000, .2924639465e-13], [{
[5, 7, 6, 2, 1, 3, 4], [2, 3, 1, 7, 6, 4, 5]}, 25777/881267910082560000, .\
2924990199e-13], [{[6, 7, 4, 3, 1, 2, 5], [3, 2, 4, 5, 1, 7, 6]}, 2909/
99425097547776000, .2925820614e-13], [{[6, 4, 2, 3, 1, 5, 7], [7, 1, 6, 2, 4, 3
, 5]}, 189239/6462631340605440000, .2928203545e-13], [{[4, 7, 3, 5, 6, 2, 1], [
1, 2, 5, 7, 4, 3, 6]}, 7099/242348675272704000, .2929250590e-13], [{[5, 6, 1, 2
, 3, 4, 7], [1, 6, 7, 2, 3, 4, 5]}, 568627/19387894021816320000, .2932897195e-\
13], [{[7, 1, 6, 4, 5, 2, 3], [1, 3, 5, 4, 7, 6, 2]}, 81331/2769699145973760000
, .2936456117e-13], [{[6, 4, 2, 1, 3, 5, 7], [7, 1, 6, 2, 5, 3, 4]}, 7597/
258505253624217600, .2938818416e-13], [{[4, 3, 1, 2, 7, 5, 6], [5, 4, 6, 7, 2,
1, 3]}, 28499/969394701090816000, .2939875777e-13], [{[4, 1, 2, 3, 6, 7, 5], [2
, 3, 1, 7, 4, 5, 6]}, 285011/9693947010908160000, .2940092407e-13], [{[4, 6, 7,
5, 1, 2, 3], [3, 2, 1, 7, 4, 6, 5]}, 142579/4846973505454080000, .2941608817e-\
13], [{[6, 7, 3, 2, 1, 4, 5], [2, 1, 7, 6, 3, 4, 5]}, 190429/
6462631340605440000, .2946617097e-13], [{[6, 7, 4, 1, 2, 3, 5], [4, 3, 2, 5, 1,
7, 6]}, 143149/4846973505454080000, .2953368733e-13], [{[6, 5, 4, 2, 7, 3, 1],
[1, 4, 2, 5, 6, 7, 3]}, 286309/9693947010908160000, .2953482206e-13], [{[6, 5,
1, 2, 4, 3, 7], [1, 7, 6, 3, 2, 4, 5]}, 114833/3877578804363264000, .2961461412\
e-13], [{[1, 2, 5, 7, 3, 6, 4]}, 95741/3231315670302720000, .2962910770e-13], [
{[2, 1, 5, 7, 6, 4, 3], [4, 5, 3, 6, 7, 1, 2]}, 575011/19387894021816320000, .\
2965824959e-13], [{[7, 5, 2, 3, 6, 4, 1], [1, 5, 2, 6, 4, 3, 7]}, 63923/
2154210446868480000, .2967351685e-13], [{[4, 5, 3, 1, 2, 7, 6]}, 52303/
1762535820165120000, .2967485790e-13], [{[4, 5, 6, 2, 3, 1, 7], [2, 4, 3, 7, 6,
5, 1]}, 575417/19387894021816320000, .2967919050e-13], [{[6, 5, 1, 3, 2, 4, 7],
[5, 3, 4, 2, 6, 7, 1]}, 576271/19387894021816320000, .2972323860e-13], [{[4, 1,
2, 3, 7, 5, 6], [5, 7, 6, 1, 4, 3, 2]}, 144241/4846973505454080000, .2975898256\
e-13], [{[4, 1, 2, 3, 7, 6, 5], [3, 2, 1, 7, 4, 5, 6]}, 26281/
881267910082560000, .2982180526e-13], [{[4, 3, 1, 2, 7, 6, 5], [3, 2, 1, 7, 6,
4, 5]}, 3427/114721266401280000, .2987240385e-13], [{[7, 5, 3, 2, 1, 4, 6], [7,
1, 6, 2, 5, 4, 3]}, 2633/88126791008256000, .2987740697e-13], [{[1, 4, 5, 6, 2,
3, 7]}, 579443/19387894021816320000, .2988684585e-13], [{[1, 5, 6, 3, 4, 2, 7]}
, 579989/19387894021816320000, .2991500775e-13], [{[7, 5, 2, 1, 3, 4, 6], [4, 5
, 3, 2, 6, 1, 7]}, 21487/718070148956160000, .2992326033e-13], [{[7, 1, 4, 3, 2
, 5, 6], [1, 7, 6, 3, 4, 5, 2]}, 116041/3877578804363264000, .2992614873e-13],
[{[7, 5, 4, 1, 2, 3, 6], [4, 3, 2, 5, 6, 1, 7]}, 193591/6462631340605440000, .\
2995544536e-13], [{[2, 4, 3, 6, 7, 5, 1], [1, 7, 5, 6, 2, 4, 3]}, 290449/
9693947010908160000, .2996189268e-13], [{[4, 6, 5, 3, 1, 2, 7], [1, 6, 5, 7, 4,
2, 3]}, 145559/4846973505454080000, .3003090482e-13], [{[7, 5, 4, 2, 1, 3, 6],
[1, 7, 2, 3, 6, 4, 5]}, 291223/9693947010908160000, .3004173632e-13], [{[6, 5,
2, 1, 3, 4, 7], [1, 7, 6, 2, 3, 5, 4]}, 584153/19387894021816320000, .\
3012978095e-13], [{[1, 3, 5, 6, 2, 4, 7], [1, 4, 5, 2, 6, 3, 7]}, 97681/
3231315670302720000, .3022948234e-13], [{[3, 2, 5, 4, 7, 6, 1]}, 22613/
745688231608320000, .3032500587e-13], [{[1, 2, 5, 6, 3, 7, 4], [1, 2, 5, 7, 3,
4, 6]}, 147071/4846973505454080000, .3034285206e-13], [{[7, 6, 1, 3, 5, 2, 4],
[1, 2, 5, 7, 4, 6, 3]}, 21871/718070148956160000, .3045802702e-13], [{[6, 5, 3,
1, 2, 4, 7], [4, 5, 3, 6, 2, 1, 7]}, 591251/19387894021816320000, .3049588570e-\
13], [{[1, 4, 6, 5, 3, 2, 7], [1, 5, 4, 6, 3, 2, 7]}, 841/27539622190080000, .\
3053781908e-13], [{[4, 3, 2, 5, 7, 6, 1], [1, 5, 6, 7, 4, 2, 3]}, 53941/
1762535820165120000, .3060420071e-13], [{[1, 5, 6, 4, 2, 3, 7]}, 594163/
19387894021816320000, .3064608252e-13], [{[6, 5, 2, 4, 3, 1, 7], [1, 7, 6, 4, 3
, 5, 2]}, 42503/1384849572986880000, .3069142009e-13], [{[5, 3, 4, 2, 1, 7, 6],
[3, 4, 6, 5, 7, 1, 2]}, 198577/6462631340605440000, .3072695773e-13], [{[1, 4,
3, 6, 5, 2, 7]}, 1763/57360633200640000, .3073536503e-13], [{[5, 4, 6, 3, 1, 2,
7], [1, 5, 7, 6, 4, 2, 3]}, 298093/9693947010908160000, .3075042598e-13], [{[4,
3, 2, 1, 7, 5, 6], [4, 5, 6, 7, 2, 1, 3]}, 119551/3877578804363264000, .\
3083135277e-13], [{[1, 3, 6, 4, 5, 2, 7], [1, 5, 3, 4, 6, 2, 7]}, 100057/
3231315670302720000, .3096478655e-13], [{[1, 2, 5, 4, 7, 3, 6], [1, 2, 6, 4, 3,
7, 5]}, 85933/2769699145973760000, .3102611348e-13], [{[7, 5, 2, 3, 4, 6, 1], [
1, 5, 4, 3, 6, 2, 7]}, 201277/6462631340605440000, .3114474421e-13], [{[1, 4, 5
, 6, 3, 2, 7]}, 13/417168241459200, .3116248724e-13], [{[6, 5, 4, 3, 7, 1, 2],
[6, 7, 4, 3, 2, 1, 5]}, 100747/3231315670302720000, .3117832186e-13], [{[4, 1,
3, 5, 2, 6, 7], [1, 2, 4, 7, 5, 3, 6]}, 302251/9693947010908160000, .3117935343\
e-13], [{[6, 5, 3, 2, 1, 4, 7], [1, 7, 6, 2, 5, 4, 3]}, 302461/
9693947010908160000, .3120101643e-13], [{[3, 5, 7, 4, 6, 2, 1], [5, 3, 6, 4, 7,
2, 1]}, 7871/251790831452160000, .3126007391e-13], [{[7, 6, 1, 3, 4, 5, 2], [1,
2, 6, 5, 4, 7, 3]}, 121291/3877578804363264000, .3128008639e-13], [{[7, 2, 3, 5
, 4, 6, 1]}, 303967/9693947010908160000, .3135637111e-13], [{[5, 1, 3, 4, 2, 6,
7], [1, 2, 7, 4, 5, 3, 6]}, 21727/692424786493440000, .3137813727e-13], [{[4, 3
, 2, 1, 7, 6, 5]}, 304981/9693947010908160000, .3146097247e-13], [{[7, 3, 6, 4,
2, 5, 1], [1, 3, 6, 4, 2, 5, 7]}, 8143/258505253624217600, .3150032692e-13], [{
[6, 5, 1, 2, 3, 4, 7], [1, 7, 6, 2, 3, 4, 5]}, 610837/19387894021816320000, .\
3150610372e-13], [{[1, 3, 7, 6, 5, 4, 2], [1, 7, 2, 6, 5, 4, 3]}, 67891/
2154210446868480000, .3151549102e-13], [{[5, 2, 4, 3, 1, 6, 7]}, 203783/
6462631340605440000, .3153251195e-13], [{[4, 5, 3, 2, 1, 7, 6], [2, 1, 6, 7, 5,
4, 3]}, 306479/9693947010908160000, .3161550189e-13], [{[6, 5, 4, 2, 3, 7, 1],
[1, 4, 3, 5, 6, 7, 2]}, 306661/9693947010908160000, .3163427649e-13], [{[7, 5,
3, 2, 4, 6, 1], [1, 4, 5, 3, 6, 2, 7]}, 17063/538552611717120000, .3168306982e-\
13], [{[2, 7, 5, 6, 4, 3, 1], [7, 1, 6, 5, 3, 4, 2]}, 307207/
9693947010908160000, .3169060029e-13], [{[6, 7, 3, 2, 5, 4, 1]}, 614443/
19387894021816320000, .3169209607e-13], [{[1, 5, 3, 4, 2, 7, 6]}, 87853/
2769699145973760000, .3171932956e-13], [{[6, 7, 5, 2, 3, 1, 4], [6, 7, 5, 1, 3,
4, 2]}, 154549/4846973505454080000, .3188567048e-13], [{[7, 3, 5, 6, 2, 4, 1],
[1, 3, 6, 2, 5, 4, 7]}, 61921/1938789402181632000, .3193797115e-13], [{[6, 7, 3
, 2, 4, 5, 1], [1, 4, 5, 3, 2, 7, 6]}, 619237/19387894021816320000, .3193936378\
e-13], [{[1, 5, 6, 4, 3, 2, 7]}, 619543/19387894021816320000, .3195514682e-13],
[{[7, 1, 4, 2, 3, 5, 6], [1, 7, 6, 3, 5, 4, 2]}, 619601/19387894021816320000, .\
3195813838e-13], [{[6, 7, 5, 2, 1, 4, 3]}, 310259/9693947010908160000, .\
3200543593e-13], [{[5, 3, 7, 6, 4, 2, 1], [1, 2, 6, 3, 7, 4, 5]}, 155189/
4846973505454080000, .3201771163e-13], [{[5, 2, 3, 4, 1, 6, 7]}, 23887/
745688231608320000, .3203349468e-13], [{[1, 3, 4, 5, 7, 6, 2], [7, 1, 6, 5, 4,
2, 3]}, 124567/3877578804363264000, .3212494350e-13], [{[6, 5, 3, 4, 2, 7, 1],
[1, 3, 5, 4, 6, 7, 2]}, 1589/49458913320960000, .3212767716e-13], [{[1, 5, 4, 3
, 2, 7, 6]}, 624067/19387894021816320000, .3218848831e-13], [{[4, 3, 7, 5, 6, 2
, 1], [1, 2, 6, 7, 4, 3, 5]}, 312373/9693947010908160000, .3222351016e-13], [{[
6, 7, 5, 3, 1, 4, 2], [6, 7, 5, 2, 4, 1, 3]}, 313091/9693947010908160000, .\
3229757700e-13], [{[7, 6, 1, 3, 5, 4, 2], [1, 2, 5, 6, 4, 7, 3]}, 9637/
298275292643328000, .3230907902e-13], [{[5, 3, 6, 7, 4, 2, 1], [4, 3, 1, 5, 2,
6, 7]}, 125659/3877578804363264000, .3240656253e-13], [{[2, 4, 3, 6, 5, 7, 1]},
62873/1938789402181632000, .3242899921e-13], [{[6, 7, 5, 1, 3, 2, 4]}, 315877/
9693947010908160000, .3258497283e-13], [{[6, 5, 4, 1, 3, 2, 7], [4, 6, 5, 3, 2,
1, 7]}, 633713/19387894021816320000, .3268601527e-13], [{[6, 3, 7, 5, 4, 2, 1],
[1, 2, 6, 3, 4, 7, 5]}, 159053/4846973505454080000, .3281491013e-13], [{[3, 2,
5, 4, 1, 6, 7], [3, 6, 7, 4, 5, 2, 1]}, 769/23302757237760000, .3300038670e-13]
, [{[6, 5, 4, 1, 2, 3, 7], [4, 3, 2, 5, 6, 7, 1]}, 32119/969394701090816000, .\
3313304680e-13], [{[1, 6, 7, 5, 3, 4, 2], [1, 7, 5, 6, 4, 2, 3]}, 899/
27115935694848000, .3315393613e-13], [{[6, 7, 3, 4, 5, 1, 2]}, 214649/
6462631340605440000, .3321387043e-13], [{[3, 1, 2, 4, 6, 7, 5], [2, 3, 1, 4, 7,
5, 6]}, 14323/430842089373696000, .3324419864e-13], [{[6, 7, 2, 5, 3, 4, 1], [7
, 3, 5, 6, 4, 1, 2]}, 64499/1938789402181632000, .3326766689e-13], [{[6, 5, 3,
4, 1, 2, 7], [3, 2, 5, 4, 6, 7, 1]}, 23053/692424786493440000, .3329314671e-13]
, [{[5, 7, 6, 4, 1, 3, 2]}, 15373/461616524328960000, .3330253401e-13], [{[5, 7
, 6, 4, 1, 2, 3], [3, 2, 1, 4, 7, 5, 6]}, 673/20195722939392000, .3332388754e-\
13], [{[1, 3, 5, 4, 2, 7, 6], [1, 5, 2, 4, 3, 7, 6]}, 46169/1384849572986880000
, .3333863901e-13], [{[6, 7, 5, 1, 2, 4, 3], [6, 7, 5, 2, 1, 3, 4]}, 647083/
19387894021816320000, .3337562085e-13], [{[5, 4, 3, 7, 6, 2, 1], [4, 3, 7, 6, 5
, 2, 1]}, 323671/9693947010908160000, .3338897970e-13], [{[1, 6, 5, 4, 3, 2, 7]
}, 161881/4846973505454080000, .3339836701e-13], [{[4, 5, 3, 7, 6, 2, 1], [1, 2
, 5, 7, 6, 3, 4]}, 215951/6462631340605440000, .3341533636e-13], [{[6, 5, 4, 2,
1, 3, 7], [1, 7, 6, 5, 2, 4, 3]}, 648239/19387894021816320000, .3343524569e-13]
, [{[3, 2, 1, 4, 7, 6, 5]}, 108133/3231315670302720000, .3346407811e-13], [{[1,
3, 4, 6, 5, 2, 7], [1, 4, 3, 5, 6, 2, 7]}, 64903/1938789402181632000, .\
3347604434e-13], [{[4, 6, 7, 5, 3, 1, 2], [6, 7, 5, 1, 4, 2, 3]}, 32477/
969394701090816000, .3350234942e-13], [{[5, 7, 6, 2, 3, 4, 1], [1, 4, 3, 2, 7,
5, 6]}, 324847/9693947010908160000, .3351029252e-13], [{[7, 5, 6, 1, 3, 4, 2],
[4, 1, 3, 2, 6, 5, 7]}, 4021/119678358159360000, .3359838873e-13], [{[1, 4, 3,
2, 7, 6, 5]}, 65171/1938789402181632000, .3361427493e-13], [{[4, 6, 5, 3, 7, 2,
1], [5, 2, 3, 1, 4, 6, 7]}, 27187/807828917575680000, .3365440307e-13], [{[1, 6
, 7, 5, 4, 2, 3]}, 326377/9693947010908160000, .3366812297e-13], [{[2, 1, 7, 6,
5, 4, 3]}, 9091/269276305858560000, .3376086125e-13], [{[5, 7, 3, 6, 4, 2, 1],
[6, 4, 7, 3, 5, 2, 1]}, 5039/149137646321664000, .3378757895e-13], [{[1, 3, 2,
6, 7, 4, 5]}, 8417/248562743869440000, .3386267736e-13], [{[7, 6, 1, 4, 2, 3, 5
]}, 11731/346212393246720000, .3388382458e-13], [{[1, 3, 4, 6, 2, 5, 7], [1, 4,
2, 5, 6, 3, 7]}, 658117/19387894021816320000, .3394473888e-13], [{[3, 2, 5, 1,
4, 6, 7], [4, 2, 1, 5, 3, 6, 7]}, 164669/4846973505454080000, .3397357130e-13],
[{[3, 4, 7, 5, 6, 2, 1], [5, 3, 4, 6, 7, 2, 1]}, 131959/3877578804363264000, .\
3403128773e-13], [{[5, 3, 4, 1, 2, 6, 7], [4, 5, 2, 3, 1, 6, 7]}, 36791/
1077105223434240000, .3415729420e-13], [{[6, 4, 7, 5, 2, 3, 1], [1, 3, 2, 6, 4,
7, 5]}, 20099/587511940055040000, .3421036856e-13], [{[6, 7, 5, 3, 2, 1, 4], [2
, 3, 4, 1, 5, 7, 6]}, 663331/19387894021816320000, .3421366958e-13], [{[1, 3, 5
, 4, 6, 2, 7]}, 221317/6462631340605440000, .3424564830e-13], [{[1, 3, 2, 7, 5,
6, 4]}, 665143/19387894021816320000, .3430712997e-13], [{[1, 3, 5, 2, 6, 4, 7]}
, 333629/9693947010908160000, .3441621866e-13], [{[6, 7, 4, 5, 1, 2, 3]}, 1979/
57360633200640000, .3450101384e-13], [{[6, 7, 4, 5, 1, 3, 2], [6, 7, 4, 5, 2, 1
, 3]}, 671731/19387894021816320000, .3464692964e-13], [{[4, 7, 6, 3, 5, 2, 1],
[1, 2, 4, 7, 3, 5, 6]}, 26921/775515760872652800, .3471367232e-13], [{[6, 7, 5,
1, 2, 3, 4]}, 479/13769811095040000, .3478624338e-13], [{[6, 7, 4, 2, 5, 3, 1],
[1, 4, 2, 5, 3, 7, 6]}, 674747/19387894021816320000, .3480249063e-13], [{[6, 7,
4, 3, 5, 1, 2]}, 337679/9693947010908160000, .3483400514e-13], [{[6, 5, 4, 3, 2
, 7, 1], [1, 3, 4, 5, 6, 7, 2]}, 338287/9693947010908160000, .3489672469e-13],
[{[6, 5, 3, 4, 7, 2, 1], [1, 2, 5, 4, 6, 7, 3]}, 96853/2769699145973760000, .\
3496877996e-13], [{[1, 2, 4, 6, 7, 5, 3], [1, 2, 7, 3, 6, 4, 5]}, 680543/
19387894021816320000, .3510144007e-13], [{[7, 4, 6, 5, 2, 1, 3], [1, 3, 4, 2, 7
, 5, 6]}, 340363/9693947010908160000, .3511087894e-13], [{[7, 6, 4, 2, 3, 1, 5]
, [1, 2, 7, 3, 5, 4, 6]}, 1007/28680316600320000, .3511118842e-13], [{[4, 5, 3,
1, 2, 6, 7]}, 467/13297595351040000, .3511913152e-13], [{[7, 5, 4, 3, 6, 1, 2],
[6, 7, 4, 3, 2, 5, 1]}, 136243/3877578804363264000, .3513610087e-13], [{[1, 3,
2, 6, 7, 5, 4], [1, 3, 2, 7, 6, 4, 5]}, 7577/215421044686848000, .3517297955e-\
13], [{[7, 6, 1, 2, 5, 4, 3], [3, 4, 7, 6, 5, 2, 1]}, 682013/
19387894021816320000, .3517726057e-13], [{[7, 4, 6, 5, 1, 2, 3], [7, 5, 4, 6, 1
, 2, 3]}, 341227/9693947010908160000, .3520000673e-13], [{[7, 4, 6, 5, 1, 3, 2]
, [5, 7, 6, 2, 4, 3, 1]}, 683651/19387894021816320000, .3526174629e-13], [{[7,
6, 1, 2, 5, 3, 4], [1, 2, 5, 7, 6, 4, 3]}, 1/28332944640000, .3529460184e-13],
[{[4, 6, 7, 5, 2, 3, 1], [7, 5, 6, 1, 4, 2, 3]}, 9539/269276305858560000, .\
3542457986e-13], [{[4, 3, 2, 5, 1, 6, 7], [3, 5, 6, 7, 4, 2, 1]}, 23021/
646263134060544000, .3562171318e-13], [{[5, 2, 1, 3, 4, 6, 7], [1, 2, 7, 3, 4,
6, 5]}, 346033/9693947010908160000, .3569578002e-13], [{[4, 1, 2, 3, 6, 5, 7],
[7, 5, 6, 1, 4, 3, 2]}, 15539/430842089373696000, .3606657841e-13], [{[6, 5, 4,
2, 3, 1, 7], [1, 7, 6, 5, 3, 4, 2]}, 69959/1938789402181632000, .3608385724e-13
], [{[1, 3, 4, 5, 6, 2, 7]}, 351101/9693947010908160000, .3621858048e-13], [{[7
, 6, 1, 3, 2, 4, 5], [1, 2, 7, 6, 4, 5, 3]}, 11717/323131567030272000, .\
3626077176e-13], [{[6, 5, 3, 4, 2, 1, 7]}, 50381/1384849572986880000, .\
3638012459e-13], [{[1, 3, 2, 7, 6, 5, 4]}, 354059/9693947010908160000, .\
3652371935e-13], [{[6, 5, 4, 3, 1, 2, 7], [1, 7, 6, 5, 4, 2, 3]}, 16147/
440633955041280000, .3664492901e-13], [{[1, 2, 6, 7, 5, 4, 3], [1, 2, 7, 6, 5,
3, 4]}, 79763/2154210446868480000, .3702655890e-13], [{[6, 5, 4, 3, 7, 2, 1], [
5, 1, 2, 3, 4, 6, 7]}, 730397/19387894021816320000, .3767283848e-13], [{[5, 6,
7, 4, 3, 1, 2]}, 35051/923233048657920000, .3796549533e-13], [{[1, 2, 5, 6, 3,
4, 7]}, 1453/38240422133760000, .3799644248e-13], [{[1, 2, 6, 4, 5, 3, 7]}, 
3077/80782891757568000, .3808974813e-13], [{[3, 1, 2, 4, 5, 7, 6], [6, 7, 5, 4,
1, 3, 2]}, 41071/1077105223434240000, .3813090783e-13], [{[1, 2, 5, 6, 4, 3, 7]
, [1, 2, 6, 5, 3, 4, 7]}, 246707/6462631340605440000, .3817438857e-13], [{[1, 2
, 6, 5, 4, 3, 7]}, 27541/718070148956160000, .3835419150e-13], [{[1, 2, 3, 6, 5
, 7, 4], [1, 2, 3, 7, 5, 4, 6]}, 82847/2154210446868480000, .3845817391e-13], [
{[5, 4, 7, 6, 3, 2, 1]}, 124331/3231315670302720000, .3847689693e-13], [{[6, 7,
5, 2, 3, 4, 1]}, 746939/19387894021816320000, .3852605132e-13], [{[1, 2, 3, 7,
5, 6, 4]}, 189157/4846973505454080000, .3902579616e-13], [{[6, 4, 7, 5, 3, 2, 1
], [1, 2, 3, 6, 4, 7, 5]}, 9719/248562743869440000, .3910079141e-13], [{[1, 2,
7, 6, 5, 4, 3]}, 84313/2154210446868480000, .3913870166e-13], [{[6, 5, 4, 3, 2,
1, 7]}, 385243/9693947010908160000, .3974057209e-13], [{[4, 3, 1, 2, 5, 6, 7],
[1, 2, 3, 7, 6, 4, 5]}, 42839/1077105223434240000, .3977234449e-13], [{[7, 6, 4
, 2, 3, 5, 1], [1, 2, 6, 3, 5, 4, 7]}, 771607/19387894021816320000, .3979839167\
e-13], [{[1, 2, 5, 4, 6, 3, 7], [1, 2, 6, 4, 3, 5, 7]}, 86027/
2154210446868480000, .3993435280e-13], [{[6, 7, 5, 3, 4, 1, 2]}, 7043/
176253582016512000, .3995947157e-13], [{[6, 7, 3, 4, 5, 2, 1]}, 777967/
19387894021816320000, .4012643143e-13], [{[1, 3, 2, 6, 5, 4, 7]}, 778187/
19387894021816320000, .4013777872e-13], [{[4, 6, 7, 5, 3, 2, 1], [1, 2, 3, 7, 4
, 6, 5]}, 86543/2154210446868480000, .4017388372e-13], [{[5, 6, 7, 4, 2, 3, 1]}
, 111593/2769699145973760000, .4029065762e-13], [{[6, 7, 5, 3, 2, 4, 1], [1, 3,
4, 2, 5, 7, 6]}, 78149/1938789402181632000, .4030814276e-13], [{[3, 1, 2, 4, 6,
5, 7], [1, 3, 2, 4, 7, 5, 6]}, 391507/9693947010908160000, .4038674851e-13], [{
[4, 7, 6, 5, 3, 2, 1], [2, 3, 4, 1, 5, 6, 7]}, 4009/97918656675840000, .\
4094214664e-13], [{[4, 3, 2, 1, 5, 6, 7]}, 398501/9693947010908160000, .\
4110822966e-13], [{[7, 5, 3, 6, 4, 2, 1], [1, 2, 5, 3, 6, 4, 7]}, 201433/
4846973505454080000, .4155851064e-13], [{[1, 2, 4, 3, 7, 6, 5]}, 805907/
19387894021816320000, .4156753689e-13], [{[5, 7, 6, 3, 4, 2, 1], [1, 2, 4, 3, 7
, 5, 6]}, 10123/242348675272704000, .4177039544e-13], [{[7, 5, 4, 3, 6, 2, 1],
[1, 2, 4, 5, 6, 3, 7]}, 101357/2423486752727040000, .4182279927e-13], [{[6, 7,
4, 3, 5, 2, 1], [6, 7, 3, 5, 4, 2, 1]}, 405571/9693947010908160000, .4183755075\
e-13], [{[6, 7, 4, 5, 2, 3, 1]}, 67741/1615657835151360000, .4192781326e-13], [
{[1, 3, 2, 5, 6, 4, 7], [1, 3, 2, 6, 4, 5, 7]}, 25483/605871688181760000, .\
4206006073e-13], [{[6, 7, 5, 4, 3, 1, 2]}, 280897/6462631340605440000, .\
4346480330e-13], [{[5, 6, 7, 4, 3, 2, 1]}, 3361/74568823160832000, .4507245599e\
-13], [{[1, 2, 3, 6, 5, 4, 7]}, 59/1303650754560000, .4525751993e-13], [{[5, 7,
6, 4, 3, 2, 1], [1, 2, 3, 4, 7, 5, 6]}, 125453/2769699145973760000, .4529481124\
e-13], [{[1, 3, 2, 4, 5, 7, 6]}, 63199/1384849572986880000, .4563600353e-13], [
{[1, 2, 5, 4, 3, 6, 7]}, 6913/146877985013760000, .4706627749e-13], [{[1, 2, 3,
5, 4, 7, 6]}, 152177/3231315670302720000, .4709443939e-13], [{[1, 2, 3, 5, 6, 4
, 7], [1, 2, 3, 6, 4, 5, 7]}, 915023/19387894021816320000, .4719558499e-13], [{
[6, 7, 5, 3, 4, 2, 1]}, 916247/19387894021816320000, .4725871716e-13], [{[1, 3,
2, 4, 6, 5, 7]}, 925403/19387894021816320000, .4773097062e-13], [{[1, 2, 4, 5,
3, 6, 7]}, 189491/3877578804363264000, .4886838142e-13], [{[1, 2, 4, 3, 6, 5, 7
]}, 476317/9693947010908160000, .4913550687e-13], [{[2, 1, 3, 4, 5, 6, 7]}, 
30781/605871688181760000, .5080448650e-13], [{[1, 2, 3, 4, 6, 5, 7]}, 32041/
605871688181760000, .5288413475e-13], [{[1, 2, 3, 5, 4, 6, 7]}, 263777/
4846973505454080000, .5442097006e-13], [{[1, 2, 3, 4, 5, 6, 7]}, 563911/
9693947010908160000, .5817145476e-13]]
                      It took, 1.562, seconds of CPU time