files / problems / simon-ionization-excess / compute / q14 / certificate.json
{
"n": 37,
"phi": "114/125",
"f_floor": "8941/10000",
"edges": [
"1",
"212841848813/200000000000",
"1132541315153/1000000000000",
"1205260936871/1000000000000",
"10020701801/7812500000",
"682503903273/500000000000",
"1452653925947/1000000000000",
"1545927736419/1000000000000",
"822595293877/500000000000",
"218853378967/125000000000",
"465811577983/250000000000",
"1982883949127/1000000000000",
"2110203428569/1000000000000",
"112284899777/50000000000",
"2389892566231/1000000000000",
"508669152261/200000000000",
"2706652070033/1000000000000",
"720111038349/250000000000",
"3065395295057/1000000000000",
"203888875607/62500000000",
"3471686818927/1000000000000",
"3694601205199/1000000000000",
"1965914377853/500000000000",
"2092144253951/500000000000",
"4452958509943/1000000000000",
"2369439804859/500000000000",
"5043159487171/1000000000000",
"268348847277/50000000000",
"2855793239063/500000000000",
"6078323128297/1000000000000",
"3234303830773/500000000000",
"1376790413929/200000000000",
"1465193085643/200000000000",
"1559272026081/200000000000",
"1659391704167/200000000000",
"4414849977747/500000000000",
"1879329662991/200000000000",
"10"
],
"P_denominator": 10000000000,
"P_numerators": [
[
595626500,
366792126,
186022255,
46830218,
-56412033,
-128573056,
-173850528,
-195850498,
-202320075,
-208486271,
-210490953,
-194782287,
-162311364,
-114883508,
-54041727,
18906134,
102863611,
196924706,
300355442,
412577569,
533154170,
256593220,
-13007242,
-111851645,
-228799207,
-228394199,
-258261068,
-206479359,
-197835141,
-160332206,
-173259467,
-126914307,
-86230287,
8551979,
78985680,
165598323,
221964402
],
[
366792126,
595626509,
366792130,
186022258,
46830221,
-56412030,
-128573053,
-173850526,
-195850496,
-202320072,
-208486269,
-210490951,
-194782284,
-162311362,
-114883506,
-54041725,
18906136,
102863614,
196924709,
300355444,
412577569,
533154067,
256593308,
-13007295,
-111851578,
-228799224,
-228394210,
-258261064,
-206479390,
-197835106,
-160332215,
-173259418,
-126914363,
-86230296,
8551935,
78985754,
165598323
],
[
186022255,
366792130,
595626510,
366792130,
186022259,
46830221,
-56412030,
-128573053,
-173850525,
-195850495,
-202320072,
-208486269,
-210490951,
-194782284,
-162311361,
-114883506,
-54041725,
18906136,
102863614,
196924709,
300355443,
412577549,
533154091,
256593278,
-13007266,
-111851637,
-228799132,
-228394269,
-258260984,
-206479471,
-197835071,
-160332284,
-173259347,
-126914327,
-86230286,
8551935,
78985680
],
[
46830218,
186022258,
366792130,
595626510,
366792131,
186022259,
46830222,
-56412029,
-128573053,
-173850525,
-195850495,
-202320072,
-208486268,
-210490950,
-194782284,
-162311361,
-114883505,
-54041725,
18906137,
102863614,
196924708,
300355435,
412577552,
533154091,
256593286,
-13007242,
-111851674,
-228799130,
-228394292,
-258260959,
-206479458,
-197835039,
-160332312,
-173259405,
-126914327,
-86230295,
8551979
],
[
-56412033,
46830221,
186022259,
366792131,
595626510,
366792131,
186022260,
46830222,
-56412029,
-128573052,
-173850525,
-195850495,
-202320071,
-208486268,
-210490950,
-194782284,
-162311361,
-114883505,
-54041724,
18906137,
102863613,
196924704,
300355436,
412577552,
533154092,
256593270,
-13007220,
-111851681,
-228799103,
-228394321,
-258260947,
-206479504,
-197834994,
-160332312,
-173259347,
-126914363,
-86230286
],
[
-128573056,
-56412030,
46830221,
186022259,
366792131,
595626511,
366792131,
186022260,
46830222,
-56412029,
-128573052,
-173850525,
-195850495,
-202320071,
-208486268,
-210490950,
-194782284,
-162311361,
-114883505,
-54041724,
18906136,
102863611,
196924705,
300355436,
412577552,
533154093,
256593267,
-13007225,
-111851678,
-228799104,
-228394305,
-258260946,
-206479504,
-197835039,
-160332284,
-173259417,
-126914308
],
[
-173850528,
-128573053,
-56412030,
46830222,
186022260,
366792131,
595626511,
366792131,
186022260,
46830222,
-56412029,
-128573052,
-173850525,
-195850495,
-202320071,
-208486268,
-210490950,
-194782283,
-162311361,
-114883505,
-54041725,
18906135,
102863611,
196924705,
300355436,
412577553,
533154094,
256593273,
-13007229,
-111851676,
-228799121,
-228394305,
-258260947,
-206479458,
-197835071,
-160332215,
-173259467
],
[
-195850498,
-173850526,
-128573053,
-56412029,
46830222,
186022260,
366792131,
595626511,
366792131,
186022260,
46830222,
-56412029,
-128573052,
-173850524,
-195850495,
-202320071,
-208486268,
-210490950,
-194782283,
-162311361,
-114883505,
-54041726,
18906135,
102863611,
196924705,
300355437,
412577553,
533154095,
256593266,
-13007221,
-111851676,
-228799104,
-228394321,
-258260959,
-206479472,
-197835105,
-160332206
],
[
-202320075,
-195850496,
-173850525,
-128573053,
-56412029,
46830222,
186022260,
366792131,
595626511,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850524,
-195850494,
-202320071,
-208486268,
-210490950,
-194782283,
-162311361,
-114883506,
-54041726,
18906135,
102863611,
196924705,
300355437,
412577553,
533154095,
256593266,
-13007229,
-111851678,
-228799102,
-228394292,
-258260984,
-206479391,
-197835141
],
[
-208486271,
-202320072,
-195850495,
-173850525,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626511,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850524,
-195850494,
-202320071,
-208486268,
-210490950,
-194782284,
-162311362,
-114883506,
-54041726,
18906135,
102863611,
196924705,
300355437,
412577553,
533154095,
256593273,
-13007225,
-111851681,
-228799130,
-228394269,
-258261063,
-206479359
],
[
-210490953,
-208486269,
-202320072,
-195850495,
-173850525,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626511,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850524,
-195850494,
-202320071,
-208486268,
-210490950,
-194782284,
-162311362,
-114883506,
-54041726,
18906135,
102863611,
196924705,
300355437,
412577553,
533154094,
256593267,
-13007220,
-111851674,
-228799132,
-228394210,
-258261067
],
[
-194782287,
-210490951,
-208486269,
-202320072,
-195850495,
-173850525,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626511,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850524,
-195850494,
-202320071,
-208486268,
-210490950,
-194782284,
-162311362,
-114883506,
-54041726,
18906135,
102863611,
196924705,
300355437,
412577553,
533154093,
256593270,
-13007242,
-111851637,
-228799224,
-228394200
],
[
-162311364,
-194782284,
-210490951,
-208486268,
-202320071,
-195850495,
-173850525,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626511,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850524,
-195850494,
-202320071,
-208486268,
-210490950,
-194782284,
-162311362,
-114883506,
-54041726,
18906135,
102863611,
196924705,
300355436,
412577552,
533154092,
256593286,
-13007266,
-111851578,
-228799207
],
[
-114883508,
-162311362,
-194782284,
-210490950,
-208486268,
-202320071,
-195850495,
-173850524,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626511,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850524,
-195850494,
-202320071,
-208486268,
-210490950,
-194782284,
-162311362,
-114883506,
-54041726,
18906135,
102863611,
196924705,
300355436,
412577552,
533154091,
256593278,
-13007295,
-111851646
],
[
-54041727,
-114883506,
-162311361,
-194782284,
-210490950,
-208486268,
-202320071,
-195850495,
-173850524,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626511,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850524,
-195850495,
-202320071,
-208486268,
-210490950,
-194782284,
-162311362,
-114883506,
-54041726,
18906135,
102863611,
196924705,
300355436,
412577552,
533154091,
256593308,
-13007242
],
[
18906134,
-54041725,
-114883506,
-162311361,
-194782284,
-210490950,
-208486268,
-202320071,
-195850494,
-173850524,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626511,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850525,
-195850495,
-202320071,
-208486268,
-210490950,
-194782284,
-162311362,
-114883506,
-54041726,
18906135,
102863611,
196924704,
300355435,
412577549,
533154067,
256593220
],
[
102863611,
18906136,
-54041725,
-114883505,
-162311361,
-194782284,
-210490950,
-208486268,
-202320071,
-195850494,
-173850524,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626511,
366792132,
186022260,
46830223,
-56412029,
-128573052,
-173850524,
-195850494,
-202320071,
-208486268,
-210490950,
-194782284,
-162311361,
-114883505,
-54041725,
18906136,
102863613,
196924708,
300355443,
412577569,
533154170
],
[
196924706,
102863614,
18906136,
-54041725,
-114883505,
-162311361,
-194782283,
-210490950,
-208486268,
-202320071,
-195850494,
-173850524,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626512,
366792132,
186022261,
46830223,
-56412029,
-128573052,
-173850524,
-195850494,
-202320071,
-208486268,
-210490950,
-194782283,
-162311361,
-114883505,
-54041724,
18906137,
102863614,
196924709,
300355444,
412577569
],
[
300355442,
196924709,
102863614,
18906137,
-54041724,
-114883505,
-162311361,
-194782283,
-210490950,
-208486268,
-202320071,
-195850494,
-173850524,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626512,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850524,
-195850494,
-202320071,
-208486268,
-210490950,
-194782283,
-162311361,
-114883505,
-54041724,
18906137,
102863614,
196924709,
300355442
],
[
412577569,
300355444,
196924709,
102863614,
18906137,
-54041724,
-114883505,
-162311361,
-194782283,
-210490950,
-208486268,
-202320071,
-195850494,
-173850524,
-128573052,
-56412029,
46830223,
186022261,
366792132,
595626512,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850524,
-195850494,
-202320071,
-208486268,
-210490950,
-194782283,
-162311361,
-114883505,
-54041725,
18906136,
102863614,
196924706
],
[
533154170,
412577569,
300355443,
196924708,
102863613,
18906136,
-54041725,
-114883505,
-162311361,
-194782284,
-210490950,
-208486268,
-202320071,
-195850494,
-173850524,
-128573052,
-56412029,
46830223,
186022260,
366792132,
595626511,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850524,
-195850494,
-202320071,
-208486268,
-210490950,
-194782284,
-162311361,
-114883505,
-54041725,
18906136,
102863611
],
[
256593220,
533154067,
412577549,
300355435,
196924704,
102863611,
18906135,
-54041726,
-114883506,
-162311362,
-194782284,
-210490950,
-208486268,
-202320071,
-195850495,
-173850525,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626511,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850524,
-195850494,
-202320071,
-208486268,
-210490950,
-194782284,
-162311361,
-114883506,
-54041725,
18906134
],
[
-13007242,
256593308,
533154091,
412577552,
300355436,
196924705,
102863611,
18906135,
-54041726,
-114883506,
-162311362,
-194782284,
-210490950,
-208486268,
-202320071,
-195850495,
-173850524,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626511,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850524,
-195850495,
-202320071,
-208486268,
-210490950,
-194782284,
-162311361,
-114883506,
-54041727
],
[
-111851645,
-13007295,
256593278,
533154091,
412577552,
300355436,
196924705,
102863611,
18906135,
-54041726,
-114883506,
-162311362,
-194782284,
-210490950,
-208486268,
-202320071,
-195850494,
-173850524,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626511,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850524,
-195850495,
-202320071,
-208486268,
-210490950,
-194782284,
-162311362,
-114883508
],
[
-228799207,
-111851578,
-13007266,
256593286,
533154092,
412577552,
300355436,
196924705,
102863611,
18906135,
-54041726,
-114883506,
-162311362,
-194782284,
-210490950,
-208486268,
-202320071,
-195850494,
-173850524,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626511,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850525,
-195850495,
-202320071,
-208486268,
-210490951,
-194782284,
-162311364
],
[
-228394199,
-228799224,
-111851637,
-13007242,
256593270,
533154093,
412577553,
300355437,
196924705,
102863611,
18906135,
-54041726,
-114883506,
-162311362,
-194782284,
-210490950,
-208486268,
-202320071,
-195850494,
-173850524,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626511,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850525,
-195850495,
-202320072,
-208486269,
-210490951,
-194782287
],
[
-258261068,
-228394210,
-228799132,
-111851674,
-13007220,
256593267,
533154094,
412577553,
300355437,
196924705,
102863611,
18906135,
-54041726,
-114883506,
-162311362,
-194782284,
-210490950,
-208486268,
-202320071,
-195850494,
-173850524,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626511,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850525,
-195850495,
-202320072,
-208486269,
-210490953
],
[
-206479359,
-258261064,
-228394269,
-228799130,
-111851681,
-13007225,
256593273,
533154095,
412577553,
300355437,
196924705,
102863611,
18906135,
-54041726,
-114883506,
-162311362,
-194782284,
-210490950,
-208486268,
-202320071,
-195850494,
-173850524,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626511,
366792132,
186022260,
46830222,
-56412029,
-128573052,
-173850525,
-195850495,
-202320072,
-208486271
],
[
-197835141,
-206479390,
-258260984,
-228394292,
-228799103,
-111851678,
-13007229,
256593266,
533154095,
412577553,
300355437,
196924705,
102863611,
18906135,
-54041726,
-114883506,
-162311361,
-194782283,
-210490950,
-208486268,
-202320071,
-195850494,
-173850524,
-128573052,
-56412029,
46830222,
186022260,
366792132,
595626511,
366792131,
186022260,
46830222,
-56412029,
-128573053,
-173850525,
-195850496,
-202320075
],
[
-160332206,
-197835106,
-206479471,
-258260959,
-228394321,
-228799104,
-111851676,
-13007221,
256593266,
533154095,
412577553,
300355437,
196924705,
102863611,
18906135,
-54041726,
-114883505,
-162311361,
-194782283,
-210490950,
-208486268,
-202320071,
-195850495,
-173850524,
-128573052,
-56412029,
46830222,
186022260,
366792131,
595626511,
366792131,
186022260,
46830222,
-56412029,
-128573053,
-173850526,
-195850498
],
[
-173259467,
-160332215,
-197835071,
-206479458,
-258260947,
-228394305,
-228799121,
-111851676,
-13007229,
256593273,
533154094,
412577553,
300355436,
196924705,
102863611,
18906135,
-54041725,
-114883505,
-162311361,
-194782283,
-210490950,
-208486268,
-202320071,
-195850495,
-173850525,
-128573052,
-56412029,
46830222,
186022260,
366792131,
595626511,
366792131,
186022260,
46830222,
-56412030,
-128573053,
-173850528
],
[
-126914307,
-173259418,
-160332284,
-197835039,
-206479504,
-258260946,
-228394305,
-228799104,
-111851678,
-13007225,
256593267,
533154093,
412577552,
300355436,
196924705,
102863611,
18906136,
-54041724,
-114883505,
-162311361,
-194782284,
-210490950,
-208486268,
-202320071,
-195850495,
-173850525,
-128573052,
-56412029,
46830222,
186022260,
366792131,
595626511,
366792131,
186022259,
46830221,
-56412030,
-128573056
],
[
-86230287,
-126914363,
-173259347,
-160332312,
-197834994,
-206479504,
-258260947,
-228394321,
-228799102,
-111851681,
-13007220,
256593270,
533154092,
412577552,
300355436,
196924704,
102863613,
18906137,
-54041724,
-114883505,
-162311361,
-194782284,
-210490950,
-208486268,
-202320071,
-195850495,
-173850525,
-128573052,
-56412029,
46830222,
186022260,
366792131,
595626510,
366792131,
186022259,
46830221,
-56412033
],
[
8551979,
-86230296,
-126914327,
-173259405,
-160332312,
-197835039,
-206479458,
-258260959,
-228394292,
-228799130,
-111851674,
-13007242,
256593286,
533154091,
412577552,
300355435,
196924708,
102863614,
18906137,
-54041725,
-114883505,
-162311361,
-194782284,
-210490950,
-208486268,
-202320072,
-195850495,
-173850525,
-128573053,
-56412029,
46830222,
186022259,
366792131,
595626510,
366792130,
186022258,
46830218
],
[
78985680,
8551935,
-86230286,
-126914327,
-173259347,
-160332284,
-197835071,
-206479472,
-258260984,
-228394269,
-228799132,
-111851637,
-13007266,
256593278,
533154091,
412577549,
300355443,
196924709,
102863614,
18906136,
-54041725,
-114883506,
-162311361,
-194782284,
-210490951,
-208486269,
-202320072,
-195850495,
-173850525,
-128573053,
-56412030,
46830221,
186022259,
366792130,
595626510,
366792130,
186022255
],
[
165598323,
78985754,
8551935,
-86230295,
-126914363,
-173259417,
-160332215,
-197835105,
-206479391,
-258261063,
-228394210,
-228799224,
-111851578,
-13007295,
256593308,
533154067,
412577569,
300355444,
196924709,
102863614,
18906136,
-54041725,
-114883506,
-162311362,
-194782284,
-210490951,
-208486269,
-202320072,
-195850496,
-173850526,
-128573053,
-56412030,
46830221,
186022258,
366792130,
595626509,
366792126
],
[
221964402,
165598323,
78985680,
8551979,
-86230286,
-126914308,
-173259467,
-160332206,
-197835141,
-206479359,
-258261067,
-228394200,
-228799207,
-111851646,
-13007242,
256593220,
533154170,
412577569,
300355442,
196924706,
102863611,
18906134,
-54041727,
-114883508,
-162311364,
-194782287,
-210490953,
-208486271,
-202320075,
-195850498,
-173850528,
-128573056,
-56412033,
46830218,
186022255,
366792126,
595626500
]
],
"search_only": {
"solver": "CLARABEL",
"status": "optimal_inaccurate",
"margin": 8.696291119169321e-05,
"cvxpy_version": "1.9.2"
},
"B_denominator": 1000000000,
"B_numerators": [
[
244054605,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
150291008,
192289531,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
76221572,
131176128,
191169418,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
19188418,
81743291,
128126525,
189989693,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-23114513,
42420019,
77415921,
124933931,
188751690,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-52682086,
11838610,
37378313,
72931490,
121609528,
187462205,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-71234275,
-11188515,
6570358,
32226191,
68319931,
118181965,
186136669,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-80248639,
-27689515,
-16260052,
1291741,
27020199,
63639584,
114706534,
184803580,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-82899512,
-37058692,
-32458674,
-21466840,
-4188569,
21565176,
58692977,
110976000,
183192374,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-85426076,
-38448459,
-42005776,
-38006817,
-27552845,
-10635547,
15084200,
52701513,
105753618,
180323778,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-86247483,
-41013183,
-43302627,
-47525363,
-44232706,
-34415845,
-17935604,
7717107,
45088580,
97713567,
176649428,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-79810945,
-47086431,
-44927142,
-47872087,
-52839312,
-50334277,
-41221878,
-25210564,
-452076,
34794419,
88594353,
173047346,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-66506167,
-49315994,
-49750684,
-48249168,
-51908548,
-57685473,
-56027683,
-47651099,
-32913934,
-11227779,
22976997,
79094775,
168757949,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-47072871,
-47618334,
-50446728,
-51528047,
-50721354,
-55138253,
-61768579,
-60984122,
-54031194,
-42673462,
-23411799,
10779563,
67859598,
163469705,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-22143293,
-42438154,
-46955558,
-50360873,
-52099187,
-52005162,
-57201246,
-64700495,
-65274737,
-61444798,
-53167678,
-35503569,
-3140923,
54233234,
156775696,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
7746682,
-34159057,
-39744652,
-44713819,
-48672400,
-51055234,
-51670588,
-57647475,
-66221819,
-69147451,
-68415924,
-62671716,
-48363319,
-19164394,
37379304,
148018365,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
42147785,
-23110044,
-29216267,
-35078903,
-40435308,
-44896913,
-47891325,
-49202167,
-55819850,
-65474412,
-70922509,
-73091515,
-71120336,
-61518433,
-37426655,
16118619,
136104856,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
80688789,
-9571182,
-15714345,
-21878336,
-27906355,
-33555024,
-38450484,
-42024191,
-43488733,
-49525627,
-60532276,
-68714379,
-74088850,
-76676285,
-73401342,
-57389016,
-11076439,
119093871,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
123068951,
6221421,
469482,
-5471862,
-11529065,
-17576384,
-23405764,
-28680596,
-31830183,
-30823668,
-36617423,
-49641210,
-59555471,
-67845905,
-75287653,
-79902131,
-76163324,
-45585366,
93197841,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
169051336,
24071246,
19090603,
13836846,
8320148,
2572832,
-3334190,
-9264039,
-13385229,
-11888196,
-8850541,
-15582482,
-27991227,
-37819683,
-47117107,
-57621010,
-69435018,
-81361388,
-82438347,
55168123,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
218456919,
43817499,
39946791,
35794563,
31325147,
26498732,
21274203,
15616768,
11712802,
14802042,
20404582,
23694621,
20571202,
12551057,
7728940,
4317591,
639703,
-3877043,
-10491676,
-22966071,
44902369,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
105137627,
195092091,
40030328,
36537257,
32758050,
28650776,
24166673,
19253712,
13675636,
9445955,
12686741,
18977207,
23154804,
21291737,
14710190,
11480337,
10121646,
9389562,
9556689,
9811612,
-42407020,
18712163,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-5329644,
137606703,
186593278,
32654664,
29404275,
25875543,
22032638,
17837906,
12574215,
5043116,
-148742,
3349456,
9207024,
13127139,
11140306,
4145062,
-153428,
-3506881,
-8319748,
-18120393,
33113280,
-7418251,
14930080,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-45830582,
29056157,
132558507,
183354255,
30709840,
27821004,
24643485,
21128163,
17164036,
12069748,
4790288,
-305085,
3254605,
9491166,
14368553,
13991674,
9013727,
7147017,
7484822,
8316137,
-33990099,
7215493,
-3825635,
14520726,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-93749187,
15104837,
20210292,
124396399,
176961412,
25562470,
22960353,
20093679,
16448229,
11326859,
5844343,
-1216113,
-6985616,
-4390363,
927514,
5144381,
4292394,
-1765707,
-6730741,
-14307343,
26812717,
-6306785,
2512510,
-2646515,
13766426,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-93583237,
-45843387,
10260301,
15410114,
120376759,
174870529,
24840909,
22577788,
20027718,
16858340,
12339011,
7235275,
458352,
-5306139,
-2841142,
2669984,
7922123,
9398044,
7016025,
6995343,
-27302452,
5553252,
-3233273,
1869960,
-1963831,
13659493,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-105821018,
-36067868,
-52742879,
2902466,
7967073,
113635359,
170051525,
21388708,
19133376,
15932495,
12810709,
8813283,
3721681,
-3390597,
-10092175,
-9174965,
-5518067,
-2168739,
-2946850,
-10676494,
21728494,
-5311445,
1918219,
-2327985,
794225,
-1593591,
13358128,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-84603755,
-68183238,
-38953838,
-56276519,
-1069736,
3946498,
110381093,
168793993,
21532720,
19886925,
17488793,
14998155,
11802601,
7559293,
1166376,
-5244684,
-4421411,
-654899,
4087428,
7672588,
-21457578,
4202445,
-2624067,
1332452,
-1686070,
595213,
-1298436,
13299966,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-81061835,
-44022543,
-72567733,
-44147563,
-62265676,
-7629282,
-2753443,
104414250,
164519397,
18065696,
16660341,
14971715,
12939541,
10229671,
6451550,
251747,
-6805655,
-7844216,
-7370112,
-8092457,
18736699,
-4588391,
1648754,
-2022330,
640885,
-1454189,
232898,
-1147600,
13208471,
0,
0,
0,
0,
0,
0,
0,
0
],
[
-65695219,
-51537439,
-46451324,
-75798964,
-48242171,
-67211567,
-13186739,
-8461279,
98960090,
160960988,
17299085,
16600197,
15667989,
14595035,
13117033,
10907647,
6521458,
1075556,
1530382,
4321227,
-17633537,
3484216,
-2157122,
1099023,
-1405017,
444232,
-1157757,
115431,
-1008284,
13160706,
0,
0,
0,
0,
0,
0,
0
],
[
-70992091,
-27894127,
-56041049,
-51714475,
-82035879,
-55512715,
-75476898,
-22141695,
-18604093,
86648831,
151792427,
11645696,
11036067,
10203882,
9304963,
8110497,
6318626,
2229486,
-4339556,
-8745968,
13857368,
-3490577,
1160667,
-1575887,
405612,
-1165289,
61442,
-995536,
-82529,
-868304,
13062596,
0,
0,
0,
0,
0,
0
],
[
-52002423,
-49458986,
-29197576,
-57907011,
-54341247,
-85655404,
-60190627,
-81160975,
-29261996,
-28839722,
76207537,
146092620,
9000313,
8662089,
8228015,
7935485,
7718224,
7587838,
6232662,
2484122,
-15220629,
2832082,
-1929270,
854200,
-1265710,
319182,
-1048355,
20804,
-951478,
-109884,
-834587,
13060858,
0,
0,
0,
0,
0
],
[
-35332375,
-38386375,
-50204000,
-30448842,
-59767183,
-57021697,
-89391966,
-65026304,
-87734589,
-39623529,
-42023735,
63730483,
137470366,
3496252,
2822747,
1955950,
1090485,
85130,
-1262796,
-5218794,
10941574,
-3033810,
799482,
-1404750,
220258,
-1043485,
-38423,
-895792,
-166231,
-818805,
-297449,
-808453,
12970738,
0,
0,
0,
0
],
[
3504125,
-47582768,
-35135324,
-47380676,
-28048944,
-57908868,
-55942101,
-89351235,
-66265162,
-91584603,
-46523372,
-50768984,
54506571,
133059304,
3522767,
3198858,
2819560,
2683381,
2950557,
4173831,
-10770565,
1764937,
-1479927,
449097,
-1007157,
94165,
-853535,
-113681,
-806807,
-227192,
-735866,
-308285,
-739175,
12959131,
0,
0,
0
],
[
32363938,
-20847809,
-43705338,
-31625210,
-44285393,
-25369318,
-55772196,
-54594841,
-89083906,
-68014708,
-96731318,
-54653170,
-62311845,
41435574,
125229650,
797087,
198511,
-638393,
-1674715,
-3270543,
9571481,
-2663109,
695410,
-1239110,
184150,
-920305,
-39600,
-798016,
-179696,
-761121,
-291037,
-727088,
-372268,
-715802,
12948022,
0,
0
],
[
67852980,
-11956540,
-14376016,
-37400476,
-25590924,
-38581817,
-20016282,
-50930366,
-50132286,
-85082987,
-66398366,
-98509640,
-60277966,
-72415691,
28869235,
119243784,
2176164,
2258227,
2609972,
3971399,
-8413449,
1373044,
-1164427,
334321,
-812850,
43579,
-701700,
-128786,
-690726,
-254498,
-657492,
-304599,
-636520,
-403676,
-685221,
12927812,
0
],
[
90948664,
15034963,
-5261879,
-7604540,
-30734346,
-19146146,
-32432784,
-14204192,
-45071304,
-43570077,
-80133489,
-64496541,
-100394772,
-67242120,
-86034211,
10140302,
107479200,
-563315,
-1169372,
-2013102,
8030545,
-2173996,
614298,
-1006377,
170035,
-761682,
-32692,
-670731,
-164726,
-666412,
-288214,
-652527,
-339948,
-623081,
-416591,
-668432,
12924407
]
]
}