#This file contains all the data needed to show $\pi(S_5)$ is at most 3/4.
#The calculation can be verified using the program "DensityChecker".

Program                       : DensityChecker

Order of subgraphs H          : 6
Number of forbidden graphs    : 1
Forbidden graphs              :
6 : {234, 235, 145, 345, 136, 246, 346, 256, 356, 456}
Forbid only induced subgraphs : no
Number of terms               : 11


--- Term 1 ---

Order of type    : 0
Order of flags   : 3
Number of flags  : 2
Matrix dimension : 1

Flags :
F1 : {}
F2 : {123}

Basis :
B1 : 3(F1)-(F2)

Matrix :
1/7500


--- Term 2 ---

Order of type    : 1
Order of flags   : 3
Number of flags  : 2
Matrix dimension : 1

Flags :
F1 : {}
F2 : {123}

Basis :
B1 : 3(F1)-(F2)

Matrix :
1/5000


--- Term 3 ---

Order of type    : 2
Order of flags   : 4
Number of flags  : 12
Matrix dimension : 7

Flags :
F1  : {}
F2  : {124}
F3  : {134}
F4  : {124, 134}
F5  : {234}
F6  : {124, 234}
F7  : {134, 234}
F8  : {124, 134, 234}
F9  : {123, 124}
F10 : {123, 124, 134}
F11 : {123, 124, 234}
F12 : {123, 124, 134, 234}

Basis :
B1 : (F2)
B2 : (F3)+(F5)
B3 : (F4)+(F6)
B4 : (F7)
B5 : 2(F1)-(F8)
B6 : (F9)
B7 : (F1)+(F10)+(F11)-(F12)

Matrix :
 7061/10000 -3561/10000    241/2500  -2191/2500  3389/10000  6781/10000   -687/5000
-3561/10000  2493/10000   -433/5000   1077/2500 -2173/10000   -881/2500   669/10000
   241/2500   -433/5000   441/10000 -1281/10000    207/2500     97/1000  -207/10000
 -2191/2500   1077/2500 -1281/10000 12209/10000  -2253/5000    -471/500    891/5000
 3389/10000 -2173/10000    207/2500  -2253/5000  2227/10000  3533/10000  -649/10000
 6781/10000   -881/2500     97/1000    -471/500  3533/10000   4113/5000 -1413/10000
  -687/5000   669/10000  -207/10000    891/5000  -649/10000 -1413/10000     77/2000


--- Term 4 ---

Order of type    : 2
Order of flags   : 4
Number of flags  : 6
Matrix dimension : 3

Flags :
F1 : {134}
F2 : {124, 134}
F3 : {234}
F4 : {124, 234}
F5 : {123, 124, 134}
F6 : {123, 124, 234}

Basis :
B1 : (F1)-(F3)
B2 : (F2)-(F4)
B3 : (F5)-(F6)

Matrix :
   161/200   447/1000 3959/10000
  447/1000 3363/10000  1517/5000
3959/10000  1517/5000  1553/5000


--- Term 5 ---

Order of type    : 3
Order of flags   : 4
Number of flags  : 8
Matrix dimension : 3

Flags :
F1 : {}
F2 : {124}
F3 : {134}
F4 : {124, 134}
F5 : {234}
F6 : {124, 234}
F7 : {134, 234}
F8 : {124, 134, 234}

Basis :
B1 : (F2)+(F3)+(F5)
B2 : (F4)+(F6)+(F7)
B3 : (F1)-(F8)

Matrix :
  113/5000 -263/10000  -31/1000
-263/10000  351/10000  229/5000
  -31/1000   229/5000 773/10000


--- Term 6 ---

Order of type    : 3
Order of flags   : 4
Number of flags  : 6
Matrix dimension : 4

Flags :
F1 : {124}
F2 : {134}
F3 : {124, 134}
F4 : {234}
F5 : {124, 234}
F6 : {134, 234}

Basis :
B1 : (F1)-(F2)
B2 : (F1)-(F4)
B3 : (F3)-(F5)
B4 : (F3)-(F6)

Matrix :
 937/10000 -117/2500 -447/10000 223/10000
 -117/2500 937/10000  223/10000 223/10000
-447/10000 223/10000     31/625  -31/1250
 223/10000 223/10000   -31/1250    31/625


--- Term 7 ---

Order of type    : 3
Order of flags   : 4
Number of flags  : 8
Matrix dimension : 3

Flags :
F1 : {123}
F2 : {123, 124}
F3 : {123, 134}
F4 : {123, 124, 134}
F5 : {123, 234}
F6 : {123, 124, 234}
F7 : {123, 134, 234}
F8 : {123, 124, 134, 234}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)
B3 : (F4)+(F6)+(F7)-(F8)

Matrix :
337/10000 -69/10000   -3/1250
-69/10000     1/250 -17/10000
  -3/1250 -17/10000    9/2000


--- Term 8 ---

Order of type    : 3
Order of flags   : 4
Number of flags  : 3
Matrix dimension : 2

Flags :
F1 : {123, 124}
F2 : {123, 134}
F3 : {123, 234}

Basis :
B1 : (F1)-(F2)
B2 : (F1)-(F3)

Matrix :
 299/10000 -149/10000
-149/10000  299/10000


--- Term 9 ---

Order of type    : 4
Order of flags   : 5
Number of flags  : 64
Matrix dimension : 19

Flags :
F1  : {123, 124, 134}
F2  : {123, 124, 134, 125}
F3  : {123, 124, 134, 135}
F4  : {123, 124, 134, 125, 135}
F5  : {123, 124, 134, 235}
F6  : {123, 124, 134, 125, 235}
F7  : {123, 124, 134, 135, 235}
F8  : {123, 124, 134, 125, 135, 235}
F9  : {123, 124, 134, 145}
F10 : {123, 124, 134, 125, 145}
F11 : {123, 124, 134, 135, 145}
F12 : {123, 124, 134, 125, 135, 145}
F13 : {123, 124, 134, 235, 145}
F14 : {123, 124, 134, 125, 235, 145}
F15 : {123, 124, 134, 135, 235, 145}
F16 : {123, 124, 134, 125, 135, 235, 145}
F17 : {123, 124, 134, 245}
F18 : {123, 124, 134, 125, 245}
F19 : {123, 124, 134, 135, 245}
F20 : {123, 124, 134, 125, 135, 245}
F21 : {123, 124, 134, 235, 245}
F22 : {123, 124, 134, 125, 235, 245}
F23 : {123, 124, 134, 135, 235, 245}
F24 : {123, 124, 134, 125, 135, 235, 245}
F25 : {123, 124, 134, 145, 245}
F26 : {123, 124, 134, 125, 145, 245}
F27 : {123, 124, 134, 135, 145, 245}
F28 : {123, 124, 134, 125, 135, 145, 245}
F29 : {123, 124, 134, 235, 145, 245}
F30 : {123, 124, 134, 125, 235, 145, 245}
F31 : {123, 124, 134, 135, 235, 145, 245}
F32 : {123, 124, 134, 125, 135, 235, 145, 245}
F33 : {123, 124, 134, 345}
F34 : {123, 124, 134, 125, 345}
F35 : {123, 124, 134, 135, 345}
F36 : {123, 124, 134, 125, 135, 345}
F37 : {123, 124, 134, 235, 345}
F38 : {123, 124, 134, 125, 235, 345}
F39 : {123, 124, 134, 135, 235, 345}
F40 : {123, 124, 134, 125, 135, 235, 345}
F41 : {123, 124, 134, 145, 345}
F42 : {123, 124, 134, 125, 145, 345}
F43 : {123, 124, 134, 135, 145, 345}
F44 : {123, 124, 134, 125, 135, 145, 345}
F45 : {123, 124, 134, 235, 145, 345}
F46 : {123, 124, 134, 125, 235, 145, 345}
F47 : {123, 124, 134, 135, 235, 145, 345}
F48 : {123, 124, 134, 125, 135, 235, 145, 345}
F49 : {123, 124, 134, 245, 345}
F50 : {123, 124, 134, 125, 245, 345}
F51 : {123, 124, 134, 135, 245, 345}
F52 : {123, 124, 134, 125, 135, 245, 345}
F53 : {123, 124, 134, 235, 245, 345}
F54 : {123, 124, 134, 125, 235, 245, 345}
F55 : {123, 124, 134, 135, 235, 245, 345}
F56 : {123, 124, 134, 125, 135, 235, 245, 345}
F57 : {123, 124, 134, 145, 245, 345}
F58 : {123, 124, 134, 125, 145, 245, 345}
F59 : {123, 124, 134, 135, 145, 245, 345}
F60 : {123, 124, 134, 125, 135, 145, 245, 345}
F61 : {123, 124, 134, 235, 145, 245, 345}
F62 : {123, 124, 134, 125, 235, 145, 245, 345}
F63 : {123, 124, 134, 135, 235, 145, 245, 345}
F64 : {123, 124, 134, 125, 135, 235, 145, 245, 345}

Basis :
B1  : (F1)
B2  : (F2)+(F3)+(F9)
B3  : (F4)+(F10)+(F11)
B4  : (F5)+(F17)+(F33)
B5  : (F6)+(F7)+(F18)+(F25)+(F35)+(F41)
B6  : (F8)+(F26)+(F43)
B7  : (F13)+(F19)+(F34)
B8  : (F14)+(F15)+(F20)+(F27)+(F36)+(F42)
B9  : (F16)+(F28)+(F44)
B10 : (F21)+(F37)+(F49)
B11 : (F22)+(F39)+(F57)
B12 : (F23)+(F29)+(F38)+(F45)+(F50)+(F51)
B13 : (F24)+(F30)+(F40)+(F47)+(F58)+(F59)
B14 : (F31)+(F46)+(F52)
B15 : (F32)+(F48)+(F60)
B16 : (F53)
B17 : (F54)+(F55)+(F61)
B18 : (F56)+(F62)+(F63)
B19 : (F12)-(F64)

Matrix :
13109/2000 14941/5000 32337/10000 -10833/10000 59/10000 -1807/10000 -7101/5000 48/125 51/625 
-6967/5000 1623/5000 -5141/10000 741/10000 2623/5000 -4613/10000 -1257/1250 -1883/5000 
-1413/2500 2737/1000 14941/5000 3901/1000 30007/10000 -4579/5000 23/250 -2013/10000 
-11877/10000 1939/5000 263/2000 -13007/10000 739/5000 -4643/10000 -537/5000 2487/5000 
-5623/10000 -5209/10000 -3049/10000 -261/625 5023/2000 32337/10000 30007/10000 40221/10000 
-5137/5000 691/2500 -1351/5000 -9261/10000 1179/2000 593/2000 -15581/10000 389/5000 
-2399/5000 -2361/10000 4193/10000 -7397/10000 -5523/10000 -669/2500 -2467/5000 338/125 
-10833/10000 -4579/5000 -5137/5000 1268/625 -3347/10000 -11/1250 -2193/10000 -4557/10000 
-93/400 997/2500 87/2500 569/5000 377/5000 3/10000 277/1000 497/10000 37/1000 1349/10000 
-7139/10000 59/10000 23/250 691/2500 -3347/10000 3939/5000 -383/2000 729/5000 461/2000 
2949/10000 -2911/10000 -187/2000 -161/2000 -113/500 99/2500 -2429/10000 57/10000 -539/10000 
-329/2000 261/5000 -1807/10000 -2013/10000 -1351/5000 -11/1250 -383/2000 5197/5000 
-1021/10000 -1377/10000 -1197/10000 -187/5000 9/500 -7/125 777/10000 -309/5000 733/5000 
-231/1250 59/2500 -271/10000 -751/5000 -7101/5000 -11877/10000 -9261/10000 -2193/10000 
729/5000 -1021/10000 22501/10000 1703/5000 1019/10000 -9/625 -8583/10000 3191/10000 -529/2000
-7451/10000 -709/2500 3359/5000 1299/2500 4299/10000 -7457/10000 48/125 1939/5000 1179/2000 
-4557/10000 461/2000 -1377/10000 1703/5000 9529/10000 1551/5000 -5237/10000 -443/5000 
-1267/10000 -651/2000 -57/250 -2601/10000 -137/1250 -37/5000 -671/2500 137/500 51/625 
263/2000 593/2000 -93/400 2949/10000 -1197/10000 1019/10000 1551/5000 771/1000 -1339/5000 
87/1250 -181/2500 -401/2500 341/10000 -3377/10000 -253/1000 -927/5000 -3139/10000 -133/10000 
-6967/5000 -13007/10000 -15581/10000 997/2500 -2911/10000 -187/5000 -9/625 -5237/10000 
-1339/5000 9979/5000 -363/10000 1967/10000 883/10000 -383/5000 1551/5000 1991/10000 943/10000
3261/10000 -2059/2000 1623/5000 739/5000 389/5000 87/2500 -187/2000 9/500 -8583/10000 
-443/5000 87/1250 -363/10000 7503/5000 -2583/10000 1291/10000 21/50 3677/10000 -797/1000 
-1653/2500 -489/1000 -853/10000 -5141/10000 -4643/10000 -2399/5000 569/5000 -161/2000 -7/125 
3191/10000 -1267/10000 -181/2500 1967/10000 -2583/10000 3949/10000 -951/10000 -1893/10000 
-379/10000 3259/10000 1789/10000 2867/10000 -577/2000 741/10000 -537/5000 -2361/10000 
377/5000 -113/500 777/10000 -529/2000 -651/2000 -401/2500 883/10000 1291/10000 -951/10000 
937/2000 323/2500 87/400 -247/2000 -783/10000 -173/5000 -513/5000 2623/5000 2487/5000 
4193/10000 3/10000 99/2500 -309/5000 -7451/10000 -57/250 341/10000 -383/5000 21/50 
-1893/10000 323/2500 3579/5000 449/5000 -481/1250 -503/1250 -2493/10000 2563/10000 
-4613/10000 -5623/10000 -7397/10000 277/1000 -2429/10000 733/5000 -709/2500 -2601/10000 
-3377/10000 1551/5000 3677/10000 -379/10000 87/400 449/5000 3369/5000 -2397/10000 -647/10000 
-57/625 -368/625 -1257/1250 -5209/10000 -5523/10000 497/10000 57/10000 -231/1250 3359/5000 
-137/1250 -253/1000 1991/10000 -797/1000 3259/10000 -247/2000 -481/1250 -2397/10000 4467/2000
303/625 847/1250 -157/1000 -1883/5000 -3049/10000 -669/2500 37/1000 -539/10000 59/2500 
1299/2500 -37/5000 -927/5000 943/10000 -1653/2500 1789/10000 -783/10000 -503/1250 -647/10000 
303/625 1431/2500 4177/10000 -813/10000 -1413/2500 -261/625 -2467/5000 1349/10000 -329/2000 
-271/10000 4299/10000 -671/2500 -3139/10000 3261/10000 -489/1000 2867/10000 -173/5000 
-2493/10000 -57/625 847/1250 4177/10000 1737/2000 -473/5000 2737/1000 5023/2000 338/125 
-7139/10000 261/5000 -751/5000 -7457/10000 137/500 -133/10000 -2059/2000 -853/10000 -577/2000
-513/5000 2563/10000 -368/625 -157/1000 -813/10000 -473/5000 1494/625


--- Term 10 ---

Order of type    : 4
Order of flags   : 5
Number of flags  : 58
Matrix dimension : 10

Flags :
F1  : {123, 124, 134, 234}
F2  : {123, 124, 134, 234, 125}
F3  : {123, 124, 134, 234, 135}
F4  : {123, 124, 134, 234, 125, 135}
F5  : {123, 124, 134, 234, 235}
F6  : {123, 124, 134, 234, 125, 235}
F7  : {123, 124, 134, 234, 135, 235}
F8  : {123, 124, 134, 234, 125, 135, 235}
F9  : {123, 124, 134, 234, 145}
F10 : {123, 124, 134, 234, 125, 145}
F11 : {123, 124, 134, 234, 135, 145}
F12 : {123, 124, 134, 234, 125, 135, 145}
F13 : {123, 124, 134, 234, 235, 145}
F14 : {123, 124, 134, 234, 125, 235, 145}
F15 : {123, 124, 134, 234, 135, 235, 145}
F16 : {123, 124, 134, 234, 125, 135, 235, 145}
F17 : {123, 124, 134, 234, 245}
F18 : {123, 124, 134, 234, 125, 245}
F19 : {123, 124, 134, 234, 135, 245}
F20 : {123, 124, 134, 234, 125, 135, 245}
F21 : {123, 124, 134, 234, 235, 245}
F22 : {123, 124, 134, 234, 125, 235, 245}
F23 : {123, 124, 134, 234, 135, 235, 245}
F24 : {123, 124, 134, 234, 125, 135, 235, 245}
F25 : {123, 124, 134, 234, 145, 245}
F26 : {123, 124, 134, 234, 125, 145, 245}
F27 : {123, 124, 134, 234, 135, 145, 245}
F28 : {123, 124, 134, 234, 125, 135, 145, 245}
F29 : {123, 124, 134, 234, 235, 145, 245}
F30 : {123, 124, 134, 234, 125, 235, 145, 245}
F31 : {123, 124, 134, 234, 135, 235, 145, 245}
F32 : {123, 124, 134, 234, 345}
F33 : {123, 124, 134, 234, 125, 345}
F34 : {123, 124, 134, 234, 135, 345}
F35 : {123, 124, 134, 234, 125, 135, 345}
F36 : {123, 124, 134, 234, 235, 345}
F37 : {123, 124, 134, 234, 125, 235, 345}
F38 : {123, 124, 134, 234, 135, 235, 345}
F39 : {123, 124, 134, 234, 125, 135, 235, 345}
F40 : {123, 124, 134, 234, 145, 345}
F41 : {123, 124, 134, 234, 125, 145, 345}
F42 : {123, 124, 134, 234, 135, 145, 345}
F43 : {123, 124, 134, 234, 125, 135, 145, 345}
F44 : {123, 124, 134, 234, 235, 145, 345}
F45 : {123, 124, 134, 234, 125, 235, 145, 345}
F46 : {123, 124, 134, 234, 135, 235, 145, 345}
F47 : {123, 124, 134, 234, 245, 345}
F48 : {123, 124, 134, 234, 125, 245, 345}
F49 : {123, 124, 134, 234, 135, 245, 345}
F50 : {123, 124, 134, 234, 125, 135, 245, 345}
F51 : {123, 124, 134, 234, 235, 245, 345}
F52 : {123, 124, 134, 234, 125, 235, 245, 345}
F53 : {123, 124, 134, 234, 135, 235, 245, 345}
F54 : {123, 124, 134, 234, 145, 245, 345}
F55 : {123, 124, 134, 234, 125, 145, 245, 345}
F56 : {123, 124, 134, 234, 135, 145, 245, 345}
F57 : {123, 124, 134, 234, 235, 145, 245, 345}
F58 : {123, 124, 134, 234, 125, 135, 235, 145, 245, 345}

Basis :
B1  : (F1)
B2  : (F2)+(F3)+(F5)+(F9)+(F17)+(F32)
B3  : (F4)+(F6)+(F7)+(F10)+(F11)+(F18)+(F21)+(F25)+(F34)+(F36)+(F40)+(F47)
B4  : (F8)+(F26)+(F42)+(F51)
B5  : (F12)+(F22)+(F38)+(F54)
B6  : (F13)+(F19)+(F33)
B7  : (F14)+(F15)+(F20)+(F23)+(F27)+(F29)+(F35)+(F37)+(F41)+(F44)+(F48)+(F49)
B8  : (F16)+(F24)+(F28)+(F30)+(F39)+(F43)+(F46)+(F52)+(F53)+(F55)+(F56)+(F57)
B9  : (F31)+(F45)+(F50)
B10 : (F58)

Matrix :
25653/10000 457/1250 419/10000 -51/1000 1229/10000 -3121/10000 -77/2500 -149/10000 -1843/5000
-2021699/5 457/1250 3069/10000 -131/10000 -89/5000 63/2000 -247/2500 -37/2000 -73/10000 
-1111/10000 -532608/5 419/10000 -131/10000 869/10000 -111/10000 61/10000 -37/2000 -191/10000 
-23/5000 -447/10000 -12458013/1000 -51/1000 -89/5000 -111/10000 289/5000 -3/1250 0/1 3/10000 
-17/10000 -7/625 8671401/1250 1229/10000 63/2000 61/10000 -3/1250 749/10000 -177/5000 3/2500 
-27/10000 -219/2500 -3894643/125 -3121/10000 -247/2500 -37/2000 0/1 -177/5000 543/2500 
-83/10000 3/5000 167/2000 16522759/250 -77/2500 -37/2000 -191/10000 3/10000 3/2500 -83/10000 
437/10000 -13/5000 -117/10000 48183633/5000 -149/10000 -73/10000 -23/5000 -17/10000 -27/10000
3/5000 -13/5000 3/400 81/10000 26621809/10000 -1843/5000 -1111/10000 -447/10000 -7/625 
-219/2500 167/2000 -117/10000 81/10000 131/400 10221132/125 -2021699/5 -532608/5 
-12458013/1000 8671401/1250 -3894643/125 16522759/250 48183633/5000 26621809/10000 
10221132/125 158547020000/1


--- Term 11 ---

Order of type    : 4
Order of flags   : 5
Number of flags  : 62
Matrix dimension : 51

Flags :
F1  : {123, 124, 134, 234, 125}
F2  : {123, 124, 134, 234, 135}
F3  : {123, 124, 134, 234, 125, 135}
F4  : {123, 124, 134, 234, 235}
F5  : {123, 124, 134, 234, 125, 235}
F6  : {123, 124, 134, 234, 135, 235}
F7  : {123, 124, 134, 234, 125, 135, 235}
F8  : {123, 124, 134, 234, 145}
F9  : {123, 124, 134, 234, 125, 145}
F10 : {123, 124, 134, 234, 135, 145}
F11 : {123, 124, 134, 234, 125, 135, 145}
F12 : {123, 124, 134, 234, 235, 145}
F13 : {123, 124, 134, 234, 125, 235, 145}
F14 : {123, 124, 134, 234, 135, 235, 145}
F15 : {123, 124, 134, 234, 125, 135, 235, 145}
F16 : {123, 124, 134, 234, 245}
F17 : {123, 124, 134, 234, 125, 245}
F18 : {123, 124, 134, 234, 135, 245}
F19 : {123, 124, 134, 234, 125, 135, 245}
F20 : {123, 124, 134, 234, 235, 245}
F21 : {123, 124, 134, 234, 125, 235, 245}
F22 : {123, 124, 134, 234, 135, 235, 245}
F23 : {123, 124, 134, 234, 125, 135, 235, 245}
F24 : {123, 124, 134, 234, 145, 245}
F25 : {123, 124, 134, 234, 125, 145, 245}
F26 : {123, 124, 134, 234, 135, 145, 245}
F27 : {123, 124, 134, 234, 125, 135, 145, 245}
F28 : {123, 124, 134, 234, 235, 145, 245}
F29 : {123, 124, 134, 234, 125, 235, 145, 245}
F30 : {123, 124, 134, 234, 135, 235, 145, 245}
F31 : {123, 124, 134, 234, 125, 135, 235, 145, 245}
F32 : {123, 124, 134, 234, 345}
F33 : {123, 124, 134, 234, 125, 345}
F34 : {123, 124, 134, 234, 135, 345}
F35 : {123, 124, 134, 234, 125, 135, 345}
F36 : {123, 124, 134, 234, 235, 345}
F37 : {123, 124, 134, 234, 125, 235, 345}
F38 : {123, 124, 134, 234, 135, 235, 345}
F39 : {123, 124, 134, 234, 125, 135, 235, 345}
F40 : {123, 124, 134, 234, 145, 345}
F41 : {123, 124, 134, 234, 125, 145, 345}
F42 : {123, 124, 134, 234, 135, 145, 345}
F43 : {123, 124, 134, 234, 125, 135, 145, 345}
F44 : {123, 124, 134, 234, 235, 145, 345}
F45 : {123, 124, 134, 234, 125, 235, 145, 345}
F46 : {123, 124, 134, 234, 135, 235, 145, 345}
F47 : {123, 124, 134, 234, 125, 135, 235, 145, 345}
F48 : {123, 124, 134, 234, 245, 345}
F49 : {123, 124, 134, 234, 125, 245, 345}
F50 : {123, 124, 134, 234, 135, 245, 345}
F51 : {123, 124, 134, 234, 125, 135, 245, 345}
F52 : {123, 124, 134, 234, 235, 245, 345}
F53 : {123, 124, 134, 234, 125, 235, 245, 345}
F54 : {123, 124, 134, 234, 135, 235, 245, 345}
F55 : {123, 124, 134, 234, 125, 135, 235, 245, 345}
F56 : {123, 124, 134, 234, 145, 245, 345}
F57 : {123, 124, 134, 234, 125, 145, 245, 345}
F58 : {123, 124, 134, 234, 135, 145, 245, 345}
F59 : {123, 124, 134, 234, 125, 135, 145, 245, 345}
F60 : {123, 124, 134, 234, 235, 145, 245, 345}
F61 : {123, 124, 134, 234, 125, 235, 145, 245, 345}
F62 : {123, 124, 134, 234, 135, 235, 145, 245, 345}

Basis :
B1  : (F1)-(F2)
B2  : (F1)-(F4)
B3  : (F1)-(F8)
B4  : (F1)-(F16)
B5  : (F1)-(F32)
B6  : (F3)-(F5)
B7  : (F3)-(F6)
B8  : (F3)-(F9)
B9  : (F3)-(F10)
B10 : (F3)-(F17)
B11 : (F3)-(F20)
B12 : (F3)-(F24)
B13 : (F3)-(F34)
B14 : (F3)-(F36)
B15 : (F3)-(F40)
B16 : (F3)-(F48)
B17 : (F7)-(F25)
B18 : (F7)-(F42)
B19 : (F7)-(F52)
B20 : (F11)-(F21)
B21 : (F11)-(F38)
B22 : (F11)-(F56)
B23 : (F12)-(F18)
B24 : (F12)-(F33)
B25 : (F13)-(F14)
B26 : (F13)-(F19)
B27 : (F13)-(F22)
B28 : (F13)-(F26)
B29 : (F13)-(F28)
B30 : (F13)-(F35)
B31 : (F13)-(F37)
B32 : (F13)-(F41)
B33 : (F13)-(F44)
B34 : (F13)-(F49)
B35 : (F13)-(F50)
B36 : (F15)-(F23)
B37 : (F15)-(F27)
B38 : (F15)-(F29)
B39 : (F15)-(F39)
B40 : (F15)-(F43)
B41 : (F15)-(F46)
B42 : (F15)-(F53)
B43 : (F15)-(F54)
B44 : (F15)-(F57)
B45 : (F15)-(F58)
B46 : (F15)-(F60)
B47 : (F30)-(F45)
B48 : (F30)-(F51)
B49 : (F55)-(F59)
B50 : (F47)-(F61)
B51 : (F31)-(F62)

Matrix :
8839/5000 -2821/10000 -2821/10000 -6393/10000 -2821/10000 -49/2000 607/5000 -719/10000 
607/5000 -731/10000 -731/10000 -731/10000 607/5000 -719/10000 -49/2000 -731/10000 -557/5000 
557/5000 -557/5000 -419/10000 419/10000 -419/10000 -46/625 23/625 1781/10000 -613/10000 
-613/10000 -613/10000 -1267/10000 1781/10000 89/2500 89/2500 89/2500 -1267/10000 -613/10000 
-189/10000 -489/5000 -653/10000 1237/10000 1237/10000 1237/10000 -653/10000 -489/5000 
-653/10000 -189/10000 -653/10000 -167/1250 167/2500 0/1 -237/1000 0/1 -2821/10000 8839/5000 
-6393/10000 -2821/10000 -2821/10000 607/5000 607/5000 -731/10000 -731/10000 -719/10000 
607/5000 -731/10000 -719/10000 607/5000 -731/10000 -49/2000 -223/2000 -223/2000 223/2000 
419/10000 419/10000 -419/10000 23/625 23/625 -613/10000 89/2500 891/5000 -317/2500 -613/10000
89/2500 891/5000 -317/2500 -613/10000 89/2500 89/2500 1237/10000 -653/10000 -489/5000 
1237/10000 -653/10000 -489/5000 1237/10000 1237/10000 -653/10000 -653/10000 -189/10000 
167/2500 -167/1250 -2371/10000 0/1 0/1 -2821/10000 -6393/10000 8839/5000 -2821/10000 
-2821/10000 -731/10000 -731/10000 607/5000 607/5000 -49/2000 -731/10000 607/5000 -49/2000 
-731/10000 607/5000 -719/10000 223/2000 223/2000 -223/2000 -419/10000 -419/10000 419/10000 
23/625 23/625 -613/10000 89/2500 -317/2500 891/5000 -613/10000 89/2500 -317/2500 891/5000 
-613/10000 89/2500 89/2500 -653/10000 1237/10000 -189/10000 -653/10000 1237/10000 -189/10000 
-653/10000 -653/10000 1237/10000 1237/10000 -489/5000 167/2500 -167/1250 2371/10000 0/1 0/1 
-6393/10000 -2821/10000 -2821/10000 8839/5000 -2821/10000 -719/10000 -731/10000 -49/2000 
-731/10000 607/5000 607/5000 607/5000 -731/10000 -49/2000 -719/10000 607/5000 557/5000 
-557/5000 557/5000 419/10000 -419/10000 419/10000 -46/625 23/625 -1267/10000 -613/10000 
-613/10000 -613/10000 1781/10000 -1267/10000 89/2500 89/2500 89/2500 1781/10000 -613/10000 
-489/5000 -189/10000 1237/10000 -653/10000 -653/10000 -653/10000 1237/10000 -189/10000 
1237/10000 -489/5000 1237/10000 -167/1250 167/2500 0/1 237/1000 0/1 -2821/10000 -2821/10000 
-2821/10000 -2821/10000 17677/10000 -731/10000 -719/10000 -731/10000 -49/2000 -731/10000 
-49/2000 -719/10000 607/5000 607/5000 607/5000 607/5000 -557/5000 557/5000 557/5000 
-419/10000 419/10000 419/10000 23/625 -46/625 89/2500 -1267/10000 89/2500 89/2500 89/2500 
-613/10000 -613/10000 -613/10000 1781/10000 -613/10000 1781/10000 -653/10000 -653/10000 
-653/10000 -489/5000 -189/10000 1237/10000 -189/10000 1237/10000 -489/5000 1237/10000 
1237/10000 167/2500 167/2500 0/1 0/1 2369/10000 -49/2000 607/5000 -731/10000 -719/10000 
-731/10000 11971/5000 -1131/10000 -1799/10000 -299/2500 -369/1250 -2951/10000 -299/2500 
-239/2000 -899/5000 -462/625 -239/2000 39/10000 -2167/10000 1/250 131/2000 183/10000 
-1021/10000 -289/10000 9/625 42/625 889/10000 89/1000 -267/2000 -39/500 42/625 2079/10000 
-763/5000 -61/400 -39/500 -667/5000 449/2500 -19/10000 123/2500 1183/10000 -11/125 -879/10000
493/10000 -17/10000 -307/5000 -2123/10000 -307/5000 -1/2500 1/5000 -279/1250 -197/10000 
-223/1000 607/5000 607/5000 -731/10000 -731/10000 -719/10000 -1131/10000 11971/5000 -299/2500
-1799/10000 -299/2500 -899/5000 -462/625 -369/1250 -2951/10000 -299/2500 -299/2500 
-2167/10000 39/10000 1/250 183/10000 131/2000 -1021/10000 9/625 -289/10000 2079/10000 42/625 
2079/10000 -763/5000 -763/5000 889/10000 89/1000 -267/2000 -39/500 -267/2000 -39/500 
1183/10000 -11/125 -11/125 1797/10000 -9/5000 493/10000 -9/5000 493/10000 -2123/10000 
-307/5000 -307/5000 1/5000 1/5000 -279/1250 -2231/10000 -197/10000 -719/10000 -731/10000 
607/5000 -49/2000 -731/10000 -1799/10000 -299/2500 11971/5000 -2951/10000 -283/2500 -299/2500
-1131/10000 -239/2000 -462/625 -899/5000 -239/2000 2087/10000 1/250 -2167/10000 91/5000 
-1021/10000 183/10000 -289/10000 9/625 -39/500 889/10000 -267/2000 89/1000 42/625 -39/500 
-763/5000 2079/10000 -61/400 42/625 -667/5000 -19/10000 449/2500 1183/10000 -307/5000 
493/10000 -307/5000 -11/125 -2123/10000 1183/10000 -17/10000 -879/10000 -1/2500 1/5000 
279/1250 197/10000 -223/1000 607/5000 -731/10000 607/5000 -731/10000 -49/2000 -299/2500 
-1799/10000 -2951/10000 11971/5000 -299/2500 -462/625 -899/5000 -1131/10000 -299/2500 
-1131/10000 -299/2500 1/250 2087/10000 -2167/10000 -1021/10000 91/5000 183/10000 9/625 
-289/10000 2079/10000 -39/500 -763/5000 2079/10000 -763/5000 889/10000 -267/2000 89/1000 
42/625 -267/2000 42/625 -307/5000 493/10000 -307/5000 -9/5000 1797/10000 1183/10000 
-2123/10000 -11/125 -9/5000 1183/10000 -11/125 1/5000 1/5000 279/1250 -2231/10000 197/10000 
-731/10000 -719/10000 -49/2000 607/5000 -731/10000 -369/1250 -299/2500 -283/2500 -299/2500 
11971/5000 -369/1250 -1131/10000 -462/625 -239/2000 -239/2000 -899/5000 2087/10000 -1083/5000
1/250 131/2000 -1021/10000 183/10000 9/625 9/625 -267/2000 2079/10000 -39/500 42/625 
889/10000 -763/5000 -39/500 42/625 -667/5000 2079/10000 -61/400 123/2500 1183/10000 449/2500 
-307/5000 -879/10000 -1061/5000 493/10000 -307/5000 1183/10000 -879/10000 -9/5000 1/5000 
-1/2500 197/10000 2231/10000 -223/1000 -731/10000 607/5000 -731/10000 607/5000 -49/2000 
-2951/10000 -899/5000 -299/2500 -462/625 -369/1250 11971/5000 -1799/10000 -299/2500 
-1131/10000 -299/2500 -1131/10000 39/10000 -2167/10000 2087/10000 131/2000 183/10000 91/5000 
9/625 -289/10000 -763/5000 -39/500 2079/10000 -763/5000 2079/10000 -267/2000 89/1000 
-267/2000 42/625 889/10000 42/625 493/10000 -307/5000 493/10000 -9/5000 -2123/10000 -11/125 
1797/10000 1183/10000 -9/5000 -11/125 1183/10000 1/5000 1/5000 -279/1250 2231/10000 197/10000
-731/10000 -731/10000 607/5000 607/5000 -719/10000 -299/2500 -462/625 -1131/10000 -899/5000 
-1131/10000 -1799/10000 11971/5000 -299/2500 -299/2500 -2951/10000 -369/1250 2087/10000 1/250
39/10000 91/5000 -1021/10000 131/2000 9/625 -289/10000 -763/5000 42/625 -763/5000 2079/10000 
2079/10000 -267/2000 -267/2000 89/1000 -39/500 889/10000 -39/500 -11/125 1183/10000 
1183/10000 -2123/10000 -9/5000 -307/5000 -9/5000 -307/5000 1797/10000 493/10000 493/10000 
1/5000 1/5000 279/1250 2231/10000 -197/10000 607/5000 -719/10000 -49/2000 -731/10000 607/5000
-239/2000 -369/1250 -239/2000 -1131/10000 -462/625 -299/2500 -299/2500 11971/5000 -369/1250 
-283/2500 -1799/10000 -1083/5000 2087/10000 39/10000 -1021/10000 131/2000 91/5000 9/625 9/625
889/10000 -61/400 -39/500 42/625 -267/2000 2079/10000 -39/500 42/625 889/10000 -763/5000 
2079/10000 -307/5000 -879/10000 -1061/5000 493/10000 1183/10000 449/2500 -307/5000 123/2500 
-879/10000 1183/10000 -9/5000 1/5000 -1/2500 197/10000 -2231/10000 223/1000 -719/10000 
607/5000 -731/10000 -49/2000 607/5000 -899/5000 -2951/10000 -462/625 -299/2500 -239/2000 
-1131/10000 -299/2500 -369/1250 11971/5000 -1799/10000 -283/2500 -2167/10000 39/10000 
2087/10000 183/10000 131/2000 91/5000 -289/10000 9/625 -39/500 -667/5000 89/1000 -267/2000 
42/625 -39/500 2079/10000 -763/5000 2079/10000 42/625 889/10000 -17/10000 -2123/10000 
-879/10000 493/10000 -307/5000 123/2500 1183/10000 449/2500 -11/125 -19/10000 1183/10000 
-1/2500 1/5000 -279/1250 197/10000 223/1000 -49/2000 -731/10000 607/5000 -719/10000 607/5000 
-462/625 -299/2500 -899/5000 -1131/10000 -239/2000 -299/2500 -2951/10000 -283/2500 
-1799/10000 11971/5000 -369/1250 1/250 2087/10000 39/10000 -1021/10000 91/5000 131/2000 
-289/10000 9/625 42/625 -667/5000 -267/2000 89/1000 -39/500 42/625 -763/5000 2079/10000 
2079/10000 -39/500 889/10000 -2123/10000 -17/10000 -307/5000 -11/125 1183/10000 1183/10000 
-307/5000 -19/10000 493/10000 449/2500 123/2500 -1/2500 1/5000 279/1250 -197/10000 223/1000 
-731/10000 -49/2000 -719/10000 607/5000 607/5000 -239/2000 -299/2500 -239/2000 -299/2500 
-899/5000 -1131/10000 -369/1250 -1799/10000 -283/2500 -369/1250 11971/5000 1/250 39/10000 
2087/10000 183/10000 91/5000 131/2000 9/625 9/625 -267/2000 -61/400 42/625 -39/500 889/10000 
-763/5000 42/625 -39/500 889/10000 2079/10000 2079/10000 -879/10000 -307/5000 -9/5000 
-879/10000 -307/5000 -9/5000 1183/10000 1183/10000 493/10000 123/2500 449/2500 1/5000 -1/2500
-197/10000 2231/10000 223/1000 -557/5000 -223/2000 223/2000 557/5000 -557/5000 39/10000 
-2167/10000 2087/10000 1/250 2087/10000 39/10000 2087/10000 -1083/5000 -2167/10000 1/250 
1/250 6113/10000 -2037/10000 -2037/10000 551/10000 -331/2000 69/1250 0/1 0/1 -1383/10000 
1383/10000 -173/1250 173/1250 1383/10000 -1383/10000 -173/1250 173/1250 -1383/10000 
1383/10000 -1383/10000 -151/5000 2333/10000 2333/10000 -173/1000 -301/10000 -1729/10000 
-151/5000 -1729/10000 2333/10000 -301/10000 -301/10000 0/1 0/1 1263/5000 101/400 -631/2500 
557/5000 -223/2000 223/2000 -557/5000 557/5000 -2167/10000 39/10000 1/250 2087/10000 
-1083/5000 -2167/10000 1/250 2087/10000 39/10000 2087/10000 39/10000 -2037/10000 6113/10000 
-1019/5000 -331/2000 551/10000 551/10000 0/1 0/1 1383/10000 -1383/10000 -173/1250 173/1250 
-1383/10000 1383/10000 -173/1250 173/1250 1383/10000 -1383/10000 1383/10000 -1729/10000 
-301/10000 -1729/10000 -151/5000 2333/10000 2333/10000 -173/1000 -151/5000 -301/10000 
2333/10000 -151/5000 0/1 0/1 1263/5000 -101/400 631/2500 -557/5000 223/2000 -223/2000 
557/5000 557/5000 1/250 1/250 -2167/10000 -2167/10000 1/250 2087/10000 39/10000 39/10000 
2087/10000 39/10000 2087/10000 -2037/10000 -1019/5000 6113/10000 69/1250 551/10000 551/10000 
0/1 0/1 -1383/10000 -1383/10000 173/1250 -173/1250 1383/10000 -1383/10000 173/1250 -173/1250 
1383/10000 1383/10000 1383/10000 -301/10000 -1729/10000 -301/10000 -301/10000 -173/1000 
-151/5000 2333/10000 2333/10000 -151/5000 -151/5000 2333/10000 0/1 0/1 -1263/5000 101/400 
631/2500 -419/10000 419/10000 -419/10000 419/10000 -419/10000 131/2000 183/10000 91/5000 
-1021/10000 131/2000 131/2000 91/5000 -1021/10000 183/10000 -1021/10000 183/10000 551/10000 
-331/2000 69/1250 2283/10000 -761/10000 -761/10000 0/1 0/1 -21/400 21/400 263/5000 -263/5000 
21/400 -21/400 263/5000 -263/5000 -21/400 21/400 -21/400 329/5000 7/400 329/5000 7/400 
-1009/10000 -1009/10000 329/5000 7/400 7/400 -1009/10000 7/400 0/1 0/1 -1021/10000 51/500 
-51/500 419/10000 419/10000 -419/10000 -419/10000 419/10000 183/10000 131/2000 -1021/10000 
91/5000 -1021/10000 183/10000 -1021/10000 131/2000 131/2000 91/5000 91/5000 -331/2000 
551/10000 551/10000 -761/10000 2283/10000 -761/10000 0/1 0/1 21/400 -21/400 263/5000 
-263/5000 -21/400 21/400 263/5000 -263/5000 21/400 -21/400 21/400 7/400 -1009/10000 
-1009/10000 329/5000 7/400 329/5000 7/400 329/5000 -1009/10000 7/400 7/400 0/1 0/1 
-1021/10000 -51/500 51/500 -419/10000 -419/10000 419/10000 419/10000 419/10000 -1021/10000 
-1021/10000 183/10000 183/10000 183/10000 91/5000 131/2000 91/5000 91/5000 131/2000 131/2000 
69/1250 551/10000 551/10000 -761/10000 -761/10000 2283/10000 0/1 0/1 -21/400 -21/400 
-263/5000 263/5000 21/400 -21/400 -263/5000 263/5000 21/400 21/400 21/400 -1009/10000 7/400 
7/400 -1009/10000 7/400 7/400 7/400 7/400 329/5000 329/5000 329/5000 0/1 0/1 1021/10000 
51/500 51/500 -46/625 23/625 23/625 -46/625 23/625 -289/10000 9/625 -289/10000 9/625 9/625 
9/625 9/625 9/625 -289/10000 -289/10000 9/625 0/1 0/1 0/1 0/1 0/1 0/1 687/1250 -687/2500 
163/10000 -37/5000 -37/5000 -37/5000 163/10000 163/10000 -89/10000 -89/10000 -89/10000 
163/10000 -37/5000 -409/10000 -409/10000 51/2500 51/2500 51/2500 51/2500 51/2500 -409/10000 
51/2500 -409/10000 51/2500 33/5000 -33/10000 0/1 0/1 0/1 23/625 23/625 23/625 23/625 -46/625 
9/625 -289/10000 9/625 -289/10000 9/625 -289/10000 -289/10000 9/625 9/625 9/625 9/625 0/1 0/1
0/1 0/1 0/1 0/1 -687/2500 687/1250 -89/10000 163/10000 -89/10000 -89/10000 -89/10000 -37/5000
-37/5000 -37/5000 163/10000 -37/5000 163/10000 51/2500 51/2500 51/2500 -409/10000 -409/10000 
51/2500 -409/10000 51/2500 -409/10000 51/2500 51/2500 -33/10000 -33/10000 0/1 0/1 0/1 
1781/10000 -613/10000 -613/10000 -1267/10000 89/2500 42/625 2079/10000 -39/500 2079/10000 
-267/2000 -763/5000 -763/5000 889/10000 -39/500 42/625 -267/2000 -1383/10000 1383/10000 
-1383/10000 -21/400 21/400 -21/400 163/10000 -89/10000 4931/2500 -1073/10000 -989/5000 
-989/5000 -2881/10000 -291/2000 -1073/10000 -1073/10000 -137/2000 -5767/10000 -1073/10000 
-57/5000 -701/10000 -183/5000 879/10000 879/10000 887/5000 -1471/10000 -701/10000 -1471/10000
-57/5000 -183/5000 -1691/10000 443/2000 0/1 -181/625 0/1 -613/10000 89/2500 89/2500 
-613/10000 -1267/10000 889/10000 42/625 889/10000 -39/500 2079/10000 -39/500 42/625 -61/400 
-667/5000 -667/5000 -61/400 1383/10000 -1383/10000 -1383/10000 21/400 -21/400 -21/400 
-37/5000 163/10000 -1073/10000 19723/10000 -137/2000 -137/2000 -1073/10000 -989/5000 
-1073/10000 -1073/10000 -5767/10000 -989/5000 -2881/10000 1773/10000 1773/10000 879/10000 
-57/5000 -701/10000 -1471/10000 -701/10000 -73/2000 -57/5000 -73/2000 -1471/10000 443/2000 
-131/2500 0/1 0/1 -1447/5000 -613/10000 891/5000 -317/2500 -613/10000 89/2500 89/1000 
2079/10000 -267/2000 -763/5000 -39/500 2079/10000 -763/5000 -39/500 89/1000 -267/2000 42/625 
-173/1250 -173/1250 173/1250 263/5000 263/5000 -263/5000 -37/5000 -89/10000 -989/5000 
-137/2000 789/400 -1441/5000 -989/5000 -1073/10000 -291/2000 -721/1250 -1073/10000 
-1073/10000 -137/2000 887/5000 -183/5000 -701/10000 879/10000 -1471/10000 -701/10000 
879/10000 887/5000 -1471/10000 -183/5000 -57/5000 443/2000 -1691/10000 -2897/10000 0/1 0/1 
-613/10000 -317/2500 891/5000 -613/10000 89/2500 -267/2000 -763/5000 89/1000 2079/10000 
42/625 -763/5000 2079/10000 42/625 -267/2000 89/1000 -39/500 173/1250 173/1250 -173/1250 
-263/5000 -263/5000 263/5000 -37/5000 -89/10000 -989/5000 -137/2000 -1441/5000 789/400 
-989/5000 -1073/10000 -721/1250 -291/2000 -1073/10000 -1073/10000 -137/2000 -183/5000 
887/5000 -57/5000 -1471/10000 879/10000 -57/5000 -1471/10000 -183/5000 879/10000 887/5000 
-701/10000 443/2000 -1691/10000 2897/10000 0/1 0/1 -1267/10000 -613/10000 -613/10000 
1781/10000 89/2500 -39/500 -763/5000 42/625 -763/5000 889/10000 2079/10000 2079/10000 
-267/2000 42/625 -39/500 889/10000 1383/10000 -1383/10000 1383/10000 21/400 -21/400 21/400 
163/10000 -89/10000 -2881/10000 -1073/10000 -989/5000 -989/5000 4931/2500 -5767/10000 
-1073/10000 -1073/10000 -137/2000 -291/2000 -1073/10000 -701/10000 -57/5000 887/5000 
-1471/10000 -1471/10000 -183/5000 879/10000 -57/5000 879/10000 -701/10000 887/5000 
-1691/10000 443/2000 0/1 181/625 0/1 1781/10000 89/2500 89/2500 -1267/10000 -613/10000 42/625
889/10000 -39/500 889/10000 -763/5000 -267/2000 -267/2000 2079/10000 -39/500 42/625 -763/5000
-1383/10000 1383/10000 -1383/10000 -21/400 21/400 -21/400 163/10000 -37/5000 -291/2000 
-989/5000 -1073/10000 -1073/10000 -5767/10000 4931/2500 -137/2000 -137/2000 -1073/10000 
-2881/10000 -989/5000 -57/5000 -701/10000 -1471/10000 887/5000 887/5000 879/10000 -183/5000 
-701/10000 -183/5000 -57/5000 -1471/10000 -1691/10000 -131/2500 0/1 -181/625 0/1 89/2500 
891/5000 -317/2500 89/2500 -613/10000 2079/10000 89/1000 -763/5000 -267/2000 -39/500 89/1000 
-267/2000 -39/500 2079/10000 -763/5000 42/625 -173/1250 -173/1250 173/1250 263/5000 263/5000 
-263/5000 -89/10000 -37/5000 -1073/10000 -1073/10000 -291/2000 -721/1250 -1073/10000 
-137/2000 789/400 -1441/5000 -989/5000 -137/2000 -1073/10000 879/10000 -1471/10000 -701/10000
887/5000 -183/5000 -701/10000 887/5000 879/10000 -183/5000 -1471/10000 -57/5000 -131/2500 
-1691/10000 -2897/10000 0/1 0/1 89/2500 -317/2500 891/5000 89/2500 -613/10000 -763/5000 
-267/2000 2079/10000 89/1000 42/625 -267/2000 89/1000 42/625 -763/5000 2079/10000 -39/500 
173/1250 173/1250 -173/1250 -263/5000 -263/5000 263/5000 -89/10000 -37/5000 -1073/10000 
-1073/10000 -721/1250 -291/2000 -1073/10000 -137/2000 -1441/5000 789/400 -989/5000 -137/2000 
-1073/10000 -1471/10000 879/10000 -57/5000 -183/5000 887/5000 -57/5000 -183/5000 -1471/10000 
887/5000 879/10000 -701/10000 -131/2500 -1691/10000 2897/10000 0/1 0/1 89/2500 -613/10000 
-613/10000 89/2500 1781/10000 -61/400 -39/500 -61/400 42/625 -667/5000 42/625 -39/500 
889/10000 2079/10000 2079/10000 889/10000 -1383/10000 1383/10000 1383/10000 -21/400 21/400 
21/400 -89/10000 163/10000 -137/2000 -5767/10000 -1073/10000 -1073/10000 -137/2000 
-1073/10000 -989/5000 -989/5000 19723/10000 -1073/10000 -91/625 -1471/10000 -1471/10000 
-73/2000 -701/10000 -57/5000 1773/10000 -57/5000 879/10000 -701/10000 879/10000 1773/10000 
-131/2500 443/2000 0/1 0/1 1447/5000 -1267/10000 89/2500 89/2500 1781/10000 -613/10000 
-39/500 -267/2000 42/625 -267/2000 2079/10000 889/10000 889/10000 -763/5000 42/625 -39/500 
2079/10000 1383/10000 -1383/10000 1383/10000 21/400 -21/400 21/400 163/10000 -37/5000 
-5767/10000 -989/5000 -1073/10000 -1073/10000 -291/2000 -2881/10000 -137/2000 -137/2000 
-1073/10000 4931/2500 -989/5000 -701/10000 -57/5000 879/10000 -183/5000 -183/5000 -1471/10000
887/5000 -57/5000 887/5000 -701/10000 879/10000 -1691/10000 -131/2500 0/1 181/625 0/1 
-613/10000 89/2500 89/2500 -613/10000 1781/10000 -667/5000 -39/500 -667/5000 42/625 -61/400 
42/625 -39/500 2079/10000 889/10000 889/10000 2079/10000 -1383/10000 1383/10000 1383/10000 
-21/400 21/400 21/400 -37/5000 163/10000 -1073/10000 -2881/10000 -137/2000 -137/2000 
-1073/10000 -989/5000 -1073/10000 -1073/10000 -91/625 -989/5000 19723/10000 -73/2000 -73/2000
-1471/10000 -701/10000 -57/5000 879/10000 -57/5000 1773/10000 -701/10000 1773/10000 879/10000
443/2000 -131/2500 0/1 0/1 1447/5000 -189/10000 1237/10000 -653/10000 -489/5000 -653/10000 
449/2500 1183/10000 -19/10000 -307/5000 123/2500 493/10000 -11/125 -307/5000 -17/10000 
-2123/10000 -879/10000 -151/5000 -1729/10000 -301/10000 329/5000 7/400 -1009/10000 -409/10000
51/2500 -57/5000 1773/10000 887/5000 -183/5000 -701/10000 -57/5000 879/10000 -1471/10000 
-1471/10000 -701/10000 -73/2000 1213/2500 289/10000 -369/5000 701/10000 -887/10000 -443/5000 
-737/10000 29/1000 -887/10000 -181/1000 -443/5000 139/1250 -139/2500 -417/2000 -7/100 
-521/2500 -489/5000 -653/10000 1237/10000 -189/10000 -653/10000 -19/10000 -11/125 449/2500 
493/10000 1183/10000 -307/5000 1183/10000 -879/10000 -2123/10000 -17/10000 -307/5000 
2333/10000 -301/10000 -1729/10000 7/400 -1009/10000 7/400 -409/10000 51/2500 -701/10000 
1773/10000 -183/5000 887/5000 -57/5000 -701/10000 -1471/10000 879/10000 -1471/10000 -57/5000 
-73/2000 289/10000 1213/2500 7/100 -887/10000 -737/10000 -443/5000 -887/10000 -181/1000 
701/10000 29/1000 -443/5000 139/1250 -139/2500 417/2000 7/100 -521/2500 -653/10000 -489/5000 
-189/10000 1237/10000 -653/10000 123/2500 -11/125 1183/10000 -307/5000 449/2500 493/10000 
1183/10000 -1061/5000 -879/10000 -307/5000 -9/5000 2333/10000 -1729/10000 -301/10000 329/5000
-1009/10000 7/400 51/2500 51/2500 -183/5000 879/10000 -701/10000 -57/5000 887/5000 
-1471/10000 -701/10000 -57/5000 -73/2000 879/10000 -1471/10000 -369/5000 7/100 1213/2500 
-887/10000 -887/10000 -181/1000 -737/10000 -443/5000 701/10000 -443/5000 29/1000 -139/2500 
139/1250 7/100 417/2000 -521/2500 1237/10000 1237/10000 -653/10000 -653/10000 -489/5000 
1183/10000 1797/10000 -307/5000 -9/5000 -307/5000 -9/5000 -2123/10000 493/10000 493/10000 
-11/125 -879/10000 -173/1000 -151/5000 -301/10000 7/400 329/5000 -1009/10000 51/2500 
-409/10000 879/10000 -57/5000 879/10000 -1471/10000 -1471/10000 887/5000 887/5000 -183/5000 
-701/10000 -183/5000 -701/10000 701/10000 -887/10000 -887/10000 1213/2500 29/1000 -737/10000 
29/1000 -737/10000 -181/1000 -887/10000 -887/10000 -139/2500 -139/2500 -417/2000 -417/2000 
-7/100 1237/10000 -653/10000 1237/10000 -653/10000 -189/10000 -11/125 -9/5000 493/10000 
1797/10000 -879/10000 -2123/10000 -9/5000 1183/10000 -307/5000 1183/10000 -307/5000 
-301/10000 2333/10000 -173/1000 -1009/10000 7/400 7/400 51/2500 -409/10000 879/10000 
-701/10000 -1471/10000 879/10000 -1471/10000 887/5000 -183/5000 887/5000 -57/5000 -183/5000 
-57/5000 -887/10000 -737/10000 -887/10000 29/1000 1213/2500 701/10000 -181/1000 -887/10000 
29/1000 701/10000 -887/10000 -139/2500 -139/2500 417/2000 -417/2000 7/100 1237/10000 
-489/5000 -189/10000 -653/10000 1237/10000 -879/10000 493/10000 -307/5000 1183/10000 
-1061/5000 -11/125 -307/5000 449/2500 123/2500 1183/10000 -9/5000 -1729/10000 2333/10000 
-151/5000 -1009/10000 329/5000 7/400 51/2500 51/2500 887/5000 -1471/10000 -701/10000 -57/5000
-183/5000 879/10000 -701/10000 -57/5000 1773/10000 -1471/10000 879/10000 -443/5000 -443/5000 
-181/1000 -737/10000 701/10000 1213/2500 -887/10000 -369/5000 -887/10000 7/100 289/10000 
-139/2500 139/1250 7/100 -417/2000 521/2500 -653/10000 1237/10000 -653/10000 1237/10000 
-189/10000 493/10000 -9/5000 -11/125 -2123/10000 493/10000 1797/10000 -9/5000 -307/5000 
1183/10000 -307/5000 1183/10000 -151/5000 -173/1000 2333/10000 329/5000 7/400 7/400 51/2500 
-409/10000 -1471/10000 -701/10000 879/10000 -1471/10000 879/10000 -183/5000 887/5000 
-183/5000 -57/5000 887/5000 -57/5000 -737/10000 -887/10000 -737/10000 29/1000 -181/1000 
-887/10000 1213/2500 701/10000 29/1000 -887/10000 701/10000 -139/2500 -139/2500 -417/2000 
417/2000 7/100 -489/5000 1237/10000 -653/10000 -189/10000 1237/10000 -17/10000 493/10000 
-2123/10000 -11/125 -307/5000 1183/10000 -307/5000 123/2500 449/2500 -19/10000 1183/10000 
-1729/10000 -151/5000 2333/10000 7/400 329/5000 7/400 -409/10000 51/2500 -701/10000 -73/2000 
887/5000 -183/5000 -57/5000 -701/10000 879/10000 -1471/10000 879/10000 -57/5000 1773/10000 
29/1000 -181/1000 -443/5000 -737/10000 -887/10000 -369/5000 701/10000 1213/2500 -887/10000 
289/10000 7/100 139/1250 -139/2500 -417/2000 7/100 521/2500 -653/10000 -653/10000 1237/10000 
1237/10000 -489/5000 -307/5000 -2123/10000 1183/10000 -9/5000 1183/10000 -9/5000 1797/10000 
-879/10000 -11/125 493/10000 493/10000 2333/10000 -301/10000 -151/5000 7/400 -1009/10000 
329/5000 51/2500 -409/10000 -1471/10000 -57/5000 -1471/10000 879/10000 879/10000 -183/5000 
-183/5000 887/5000 -701/10000 887/5000 -701/10000 -887/10000 701/10000 701/10000 -181/1000 
29/1000 -887/10000 29/1000 -887/10000 1213/2500 -737/10000 -737/10000 -139/2500 -139/2500 
417/2000 417/2000 -7/100 -189/10000 -653/10000 1237/10000 -489/5000 1237/10000 -2123/10000 
-307/5000 -17/10000 1183/10000 -879/10000 -11/125 493/10000 1183/10000 -19/10000 449/2500 
123/2500 -301/10000 2333/10000 -151/5000 -1009/10000 7/400 329/5000 -409/10000 51/2500 
-57/5000 -73/2000 -183/5000 887/5000 -701/10000 -57/5000 -1471/10000 879/10000 879/10000 
-701/10000 1773/10000 -181/1000 29/1000 -443/5000 -887/10000 701/10000 7/100 -887/10000 
289/10000 -737/10000 1213/2500 -369/5000 139/1250 -139/2500 417/2000 -7/100 521/2500 
-653/10000 -189/10000 -489/5000 1237/10000 1237/10000 -307/5000 -307/5000 -879/10000 -11/125 
-9/5000 1183/10000 493/10000 -9/5000 1183/10000 123/2500 449/2500 -301/10000 -151/5000 
2333/10000 7/400 7/400 329/5000 51/2500 51/2500 -183/5000 -1471/10000 -57/5000 -701/10000 
887/5000 -1471/10000 -57/5000 -701/10000 1773/10000 879/10000 879/10000 -443/5000 -443/5000 
29/1000 -887/10000 -887/10000 289/10000 701/10000 7/100 -737/10000 -369/5000 1213/2500 
-139/2500 139/1250 -7/100 417/2000 521/2500 -167/1250 167/2500 167/2500 -167/1250 167/2500 
-1/2500 1/5000 -1/2500 1/5000 1/5000 1/5000 1/5000 1/5000 -1/2500 -1/2500 1/5000 0/1 0/1 0/1 
0/1 0/1 0/1 33/5000 -33/10000 -1691/10000 443/2000 443/2000 443/2000 -1691/10000 -1691/10000 
-131/2500 -131/2500 -131/2500 -1691/10000 443/2000 139/1250 139/1250 -139/2500 -139/2500 
-139/2500 -139/2500 -139/2500 139/1250 -139/2500 139/1250 -139/2500 4647/10000 -581/2500 0/1 
0/1 0/1 167/2500 -167/1250 -167/1250 167/2500 167/2500 1/5000 1/5000 1/5000 1/5000 -1/2500 
1/5000 1/5000 -1/2500 1/5000 1/5000 -1/2500 0/1 0/1 0/1 0/1 0/1 0/1 -33/10000 -33/10000 
443/2000 -131/2500 -1691/10000 -1691/10000 443/2000 -131/2500 -1691/10000 -1691/10000 
443/2000 -131/2500 -131/2500 -139/2500 -139/2500 139/1250 -139/2500 -139/2500 139/1250 
-139/2500 -139/2500 -139/2500 -139/2500 139/1250 -581/2500 4647/10000 0/1 0/1 0/1 0/1 
-2371/10000 2371/10000 0/1 0/1 -279/1250 -279/1250 279/1250 279/1250 197/10000 -279/1250 
279/1250 197/10000 -279/1250 279/1250 -197/10000 1263/5000 1263/5000 -1263/5000 -1021/10000 
-1021/10000 1021/10000 0/1 0/1 0/1 0/1 -2897/10000 2897/10000 0/1 0/1 -2897/10000 2897/10000 
0/1 0/1 0/1 -417/2000 417/2000 7/100 -417/2000 417/2000 7/100 -417/2000 -417/2000 417/2000 
417/2000 -7/100 0/1 0/1 2757/5000 0/1 0/1 -237/1000 0/1 0/1 237/1000 0/1 -197/10000 
-2231/10000 197/10000 -2231/10000 2231/10000 2231/10000 2231/10000 -2231/10000 197/10000 
-197/10000 2231/10000 101/400 -101/400 101/400 51/500 -51/500 51/500 0/1 0/1 -181/625 0/1 0/1
0/1 181/625 -181/625 0/1 0/1 0/1 181/625 0/1 -7/100 7/100 417/2000 -417/2000 -417/2000 
-417/2000 417/2000 7/100 417/2000 -7/100 417/2000 0/1 0/1 0/1 689/1250 0/1 0/1 0/1 0/1 0/1 
2369/10000 -223/1000 -197/10000 -223/1000 197/10000 -223/1000 197/10000 -197/10000 223/1000 
223/1000 223/1000 223/1000 -631/2500 631/2500 631/2500 -51/500 51/500 51/500 0/1 0/1 0/1 
-1447/5000 0/1 0/1 0/1 0/1 0/1 0/1 1447/5000 0/1 1447/5000 -521/2500 -521/2500 -521/2500 
-7/100 7/100 521/2500 7/100 521/2500 -7/100 521/2500 521/2500 0/1 0/1 0/1 0/1 551/1000

