
0.359928959498
0.359928959498
0.359928959498
0.359928959498
0.359928959498
0.359928959498
0.396227861967
0.396227861967
0.396227861967
0.396227861967
0.422214159002
0.438646969129
0.422214159002
0.438646969129
0.438646969129
0.438646969129
0.438646969129
0.438646969129
0.438646969129
0.438646969129
0.467538645239
0.467538645239
0.438646969129
0.438646969129
0.493601465332
0.493601465332
0.493601465332
0.493601465332
0.493601465332
0.536078844311
0.493601465332
0.536078844311
0.493601465332
0.493601465332
0.556238984168
0.556238984168
0.536078844311
0.556238984168
0.536078844311
0.556238984168
0.585695878434
0.578909544516
0.585695878434
0.585695878434
0.585695878434
0.578909544516
0.594577551815
0.594577551815
0.60255817498
0.594577551815
0.60255817498
0.60255817498
0.60255817498
0.594577551815
0.594577551815
0.594577551815
0.586973216905
0.586973216905
0.586973216905
0.610205636214
0.586973216905
0.610205636214
0.610205636214
0.610205636214
0.633584332377
0.633584332377
0.633584332377
0.633584332377
0.633584332377
0.633584332377
0.633584332377
0.633584332377
0.660644106832
0.660644106832
0.68236426064
0.660644106832
0.660644106832
0.660644106832
0.638060184608
0.660644106832
0.68236426064
0.68236426064
0.638060184608
0.68236426064
0.638060184608
0.638060184608
0.720412918694
0.720412918694
0.683415287872
0.711599598091
0.683415287872
0.711599598091
0.720412918694
0.787018228329
0.744306279976
0.744306279976
0.744306279976
0.744306279976
0.744306279976
0.810175268263
0.803124712199
0.787018228329
0.803124712199
0.803124712199
0.803124712199
0.803124712199
0.707803952384
0.707803952384
0.803124712199
0.803124712199
0.803124712199
0.792452696771
0.792452696771
0.792452696771
0.790260243419
0.792452696771
0.790260243419
0.806521641591
0.763432624573
0.763432624573
0.763432624573
0.763432624573
0.806521641591
0.837448983788
0.837448983788
0.837448983788
0.776394673735
0.806521641591
0.837448983788
0.806521641591
0.837448983788
0.837448983788
0.837448983788
0.877816771756
0.877816771756
0.877816771756
0.74571382906
0.74571382906
0.877816771756
0.74571382906
0.74571382906
0.877816771756
0.65781488301
0.65781488301
0.863820258591
0.93045672365
0.93045672365
0.863820258591
0.788973030839
0.920906990973
0.920906990973
0.920906990973
0.920906990973
0.920906990973
0.920906990973
0.788973030839
0.788973030839
0.94528194552
0.94528194552
0.858093423821
0.858093423821
0.858093423821
0.858093423821
0.858093423821
0.68239102272
0.814578056454
0.944971773366
0.814578056454
0.68239102272
0.814578056454
0.814578056454
0.944971773366
0.944971773366
0.897006456609
0.944971773366
0.844436512888
0.93874053316
0.897006456609
0.897006456609
0.897006456609
0.93874053316
0.93874053316
0.93874053316
0.93874053316
0.93874053316
0.844436512888
0.93874053316
0.844436512888
0.93874053316
0.879722040517
0.872181443654
0.844436512888
1.01919569269
0.879722040517
0.872181443654
1.01919569269
1.01919569269
1.01919569269
1.01919569269
1.01919569269
1.01919569269
1.01919569269
0.711017028343
0.731669012524
0.895137043731
0.895137043731
1.01919569269
0.895137043731
0.736384057579
0.948764605694
0.736384057579
0.948764605694
0.736384057579
0.960927881806
0.960927881806
0.861237487573
0.748920767777
0.861237487573
0.960927881806
0.960927881806
0.960927881806
0.960927881806
0.861237487573
0.770693574725
0.861237487573
0.956328075744
0.956328075744
1.03982374761
1.03982374761
1.03982374761
1.03982374761
0.992576504984
0.992576504984
0.992576504984
0.992576504984
0.992576504984
0.992576504984
0.93770816778
1.04693457963
1.0420131301
0.93770816778
1.04693457963
0.80329953688
1.04693457963
0.80329953688
1.04693457963
0.80329953688
1.0420131301
0.80329953688
0.899166112651
0.83418702463
1.05579643893
1.05579643893
1.05579643893
1.05579643893
1.11558236044
1.11558236044
1.11558236044
0.837212847513
0.837212847513
0.83820217137
0.985426388385
0.83820217137
0.83820217137
0.83820217137
1.01239857534
0.985426388385
1.01239857534
1.01239857534
1.01239857534
1.01239857534
0.985426388385
1.01239857534
0.985426388385
1.04342609584
1.04342609584
1.04342609584
1.04342609584
0.985426388385
0.985426388385
0.895585198896
0.892880377978
0.909732800094
1.0359700993
0.826874026828
0.909732800094
1.1506380884
1.0359700993
0.826874026828
0.826874026828
1.1506380884
0.898555114104
1.03777159869
0.898555114104
0.906753535232
1.03777159869
1.1506380884
1.0050685265
1.15422433087
1.0050685265
1.0050685265
1.15422433087
1.0050685265
1.15422433087
1.15422433087
1.04344141399
1.13014168636
1.04344141399
1.04344141399
1.04344141399
1.04344141399
1.13014168636
1.13014168636
1.13014168636
0.927579666639
0.927579666639
1.14451012058
0.999864560143
1.02131911338
1.02131911338
1.02131911338
1.14451012058
1.02131911338
1.02131911338
1.02131911338
0.999864560143
1.03436547051
1.03436547051
1.2192922989
1.03436547051
1.03436547051
1.2192922989
0.968906072013
1.03436547051
0.971890654723
1.14565046363
0.759663617074
1.03436547051
1.14565046363
0.759663617074
0.759663617074
0.759663617074
0.759663617074
0.759663617074
0.759663617074
0.759663617074
0.938387395984
0.970836226021
0.980101847912
0.963615377069
1.22016192694
0.759663617074
1.10437671471
1.22016192694
1.22016192694
1.22016192694
1.18725591134
1.18725591134
0.728082011912
1.34834048706
0.728082011912
0.728082011912
0.728082011912
0.728082011912
1.23530503723
1.34834048706
0.728082011912
1.23530503723
1.23530503723
1.23530503723
0.970741338321
0.993024089891
1.2152444763
0.970741338321
1.2152444763
0.982664900961
1.11801471961
1.2170700577
1.2170700577
1.09145218401
1.04731255057
1.01422438605
1.24606819102
1.09145218401
1.09145218401
1.04731255057
1.24606819102
1.31776131682
1.16752893713
1.16752893713
1.16752893713
1.16752893713
1.16752893713
1.16752893713
1.16752893713
1.31776131682
1.26844665747
1.16752893713
1.26844665747
1.10949226753
0.81800566706
0.81800566706
0.81800566706
1.16720162361
1.16720162361
1.04355254358
1.27022477736
1.10949226753
1.04355254358
1.27022477736
1.0121602005
1.0121602005
1.0121602005
1.23828348792
1.23828348792
1.23828348792
1.23828348792
1.23828348792
1.23828348792
1.17276580665
1.37499462412
1.23828348792
1.37499462412
1.17276580665
1.17025603551
1.02368502221
1.37499462412
1.0941358215
1.33014541202
1.0772900481
1.04005528482
1.08399780618
1.0941358215
1.08676431725
1.31793568303
1.09165929061
1.09165929061
1.31793568303
0.905504878044
1.06466608709
0.905504878044
0.905504878044
0.905504878044
1.06466608709
1.06466608709
1.05079161163
1.10093496094
1.46787113477
1.46787113477
1.11478897665
1.11478897665
1.12074400745
1.12074400745
1.12074400745
1.12272752364
1.12074400745
1.08248213426
1.08248213426
1.11493094496
1.03989677074
1.35749642859
1.12097467476
1.24060677981
1.03989677074
1.12097467476
1.03989677074
1.24060677981
1.24060677981
1.24060677981
1.03989677074
1.03989677074
1.03989677074
1.35749642859
1.26895546479
1.17955284361
1.17955284361
1.12489748107
1.2382931746
1.26895546479
1.11959782584
1.30689420395
1.20001286055
1.2382931746
1.20001286055
1.15410795875
1.13178014053
1.25199858803
1.25199858803
1.15699930663
1.15699930663
1.25199858803
1.12839881172
1.12839881172
1.30711887696
1.12839881172
1.12839881172
1.30711887696
1.30711887696
1.30711887696
1.30711887696
1.13017825703
1.35877336643
1.13017825703
1.12839881172
1.26073571829
1.26073571829
1.26073571829
1.26073571829
1.26073571829
1.26073571829
1.26073571829
1.26073571829
1.19290155166
1.35877336643
1.215230822
1.11460469416
1.19290155166
1.215230822
0.891216167604
1.37909433053
1.37909433053
1.18810609677
0.891216167604
1.37909433053
1.47717588643
1.23076171201
1.05590429426
1.18595642222
1.18595642222
1.18595642222
1.18729834018
1.18595642222
1.19943679382
1.22333493741
1.19943679382
1.19943679382
1.16243134899
1.37849552598
1.36869390754
1.37849552598
1.37849552598
1.37849552598
1.36869390754
1.06990197711
1.22967711115
1.20711256748
1.18328595414
1.06990197711
1.06990197711
1.20711256748
1.20833188444
1.20833188444
1.21939246989
1.40869760451
1.40869760451
1.21939246989
1.40869760451
1.40869760451
1.14383043061
1.24575369877
1.13304751744
1.24575369877
1.13304751744
1.13304751744
1.13304751744
1.32003656212
1.32003656212
1.32776388967
1.3175102718
1.22989576672
1.27472228318
1.32776388967
1.32776388967
1.22989576672
1.32776388967
1.3175102718
1.3175102718
1.27472228318
1.27472228318
1.15232405897
1.27472228318
1.27472228318
1.27472228318
1.15232405897
1.2343467434
1.28557698869
1.18067595428
1.2112642838
1.17816297268
1.2903668903
1.1891570269
1.5258567169
1.1891570269
1.1891570269
1.23367364422
1.1891570269
1.24091429536
1.1321367059
1.1321367059
1.1321367059
1.1321367059
1.1321367059
1.1321367059
1.1321367059
1.44171506401
1.37390999869
1.13221499036
1.37390999869
1.1321367059
1.3957592101
1.13221499036
1.13221499036
1.13221499036
1.3957592101
1.21857603788
1.27842064581
1.21857603788
1.28298403297
1.36971143697
1.27842064581
1.36971143697
1.28518138673
1.22977915635
1.24241052785
1.24241052785
1.24241052785
1.24241052785
1.32437423912
1.20647237171
1.32437423912
1.27428503385
1.20647237171
1.45607441531
1.26660968426
1.27248309672
1.45607441531
1.50855362857
1.26660968426
1.50855362857
1.50855362857
1.50855362857
1.4097769567
1.50855362857
1.12163006632
1.26790288432
1.12163006632
1.12163006632
1.12163006632
1.27541217668
1.26790288432
1.581657216
1.581657216
1.27464742205
1.27464742205
1.03019431847
1.42021187419
1.03019431847
1.03019431847
1.42021187419
1.42021187419
1.28840002385
1.23661021544
1.32259448723
1.24132901902
1.26733898485
1.23661021544
1.32259448723
1.26733898485
1.27353814662
1.35687472531
1.27875348749
1.51085620887
1.35687472531
1.51085620887
1.22243834762
1.22243834762
1.30437489598
1.30437489598
1.30437489598
1.30437489598
1.3817927058
1.3817927058
1.3817927058
1.3817927058
1.21648391089
1.3817927058
1.3817927058
1.21648391089
1.30848043987
1.30848043987
1.40317712894
1.34816930722
1.41536952969
1.66016022745
1.34816930722
1.34816930722
1.40317712894
1.41536952969
1.41536952969
1.41536952969
1.41536952969
1.41536952969
1.66016022745
1.26637346504
1.192564546
1.32299818988
1.26637346504
1.192564546
1.33877798516
1.192564546
1.33877798516
1.51886547229
1.51886547229
1.51886547229
1.51886547229
1.51886547229
1.51886547229
1.30306483839
1.37465043752
1.38530142966
1.38530142966
1.39990300788
1.44234314838
1.44234314838
1.65222824075
1.07349782684
1.40058926314
1.39990300788
1.39990300788
1.39990300788
1.07349782684
1.07349782684
1.07349782684
1.07349782684
1.07349782684
1.07349782684
1.07349782684
1.31427048811
1.37348086034
1.20197101283
1.20197101283
1.37348086034
1.20197101283
1.24990546388
1.40469137601
1.41253028804
1.70660373709
1.41253028804
1.70660373709
1.39664575527
1.41446723275
1.39664575527
1.40546805065
1.46907610703
1.56034162366
1.44375302917
1.46590168838
1.56034162366
1.42805329888
1.36763058107
1.36763058107
1.36763058107
1.36763058107
1.36763058107
1.36763058107
1.40853613745
1.19107564712
1.46999753154
0.929961188229
1.24604293297
1.19107564712
1.19107564712
0.929961188229
1.30232485775
1.24604293297
1.24604293297
1.24604293297
1.416799465
1.64885551274
1.48394747001
1.64885551274
1.48394747001
[(((u'[1,a+1,a,31*a-75,141*a-303]',), {}), None), (((u'[a+1,-a-1,a+1,-1788*a-1105,44001*a+27194]',), {}), None), (((u'[1,a+1,a,a,0]',), {}), None), (((u'[a,a,a+1,32197*a-52096,3319586*a-5371204]',), {}), None), (((u'[a,-1,a+1,-17*a-11,39*a+24]',), {}), None), (((u'[1,a+1,a,41*a-70,170*a-276]',), {}), None), (((u'[a+1,a,a,0,0]',), {}), None), (((u'[a+1,a,a,-10*a-10,10*a+10]',), {}), None), (((u'[a+1,a,a,-5*a-5,-51*a-37]',), {}), None), (((u'[a+1,a,a,-165*a-165,-1683*a-1221]',), {}), None), (((u'[0,-a,a,10*a-40,31*a-113]',), {}), None), (((u'[1,1,1,0,0]',), {}), None), (((u'[0,-a,a,0,0]',), {}), None), (((u'[1,1,1,-5,2]',), {}), None), (((u'[1,1,1,-10,-10]',), {}), None), (((u'[1,1,1,-80,242]',), {}), None), (((u'[1,1,1,-135,-660]',), {}), None), (((u'[1,1,1,35,-28]',), {}), None), (((u'[1,1,1,-2160,-39540]',), {}), None), (((u'[1,1,1,-110,-880]',), {}), None), (((u'[0,-a+1,1,-30*a-29,-102*a-84]',), {}), None), (((u'[0,-a+1,1,1,0]',), {}), None), (((u'[1,-a+1,a,4976732*a-8052529,6393196917*a-10344409915]',), {}), None), (((u'[1,a,a+1,-4976733*a-3075797,-6393196918*a-3951212998]',), {}), None), (((u'[1,-a+1,1,-a,0]',), {}), None), (((u'[1,-a+1,1,-6*a-5,10*a+6]',), {}), None), (((u'[1,-a+1,1,-26*a-15,-70*a-44]',), {}), None), (((u'[a+1,0,a+1,94*a-156,-538*a+870]',), {}), None), (((u'[a,-a,1,-699*a-432,10856*a+6709]',), {}), None), (((u'[0,a-1,0,-a,0]',), {}), None), (((u'[1,-a+1,1,-21*a-25,-54*a-58]',), {}), None), (((u'[0,a-1,0,-6*a-5,-11*a-7]',), {}), None), (((u'[1,-a+1,1,54*a,-374*a-198]',), {}), None), (((u'[a+1,0,a+1,599*a-1006,8816*a-14217]',), {}), None), (((u'[a,a+1,a,a,0]',), {}), None), (((u'[a,a+1,a,6*a-5,-2*a+7]',), {}), None), (((u'[0,a-1,0,-106*a-65,-647*a-403]',), {}), None), (((u'[a,a+1,a,-14*a-5,-42*a-27]',), {}), None), (((u'[0,-a,0,11*a-16,-17*a+27]',), {}), None), (((u'[a,a+1,a,-4*a-20,-37*a-39]',), {}), None), (((u'[a+1,0,1,-a-1,0]',), {}), None), (((u'[1,0,a,a-2,-a+1]',), {}), None), (((u'[a+1,0,1,4*a+4,8*a-2]',), {}), None), (((u'[a+1,0,1,44*a-196,264*a-1122]',), {}), None), (((u'[a,0,1,54685*a-90021,7490886*a-12144063]',), {}), None), (((u'[a,0,a,-134*a-80,-903*a-561]',), {}), None), (((u'[0,1,0,-1,0]',), {}), None), (((u'[0,1,0,4,4]',), {}), None), (((u'[a+1,a-1,a,0,0]',), {}), None), (((u'[0,1,0,-41,-116]',), {}), None), (((u'[a+1,a-1,a,-5*a-15,-19*a-29]',), {}), None), (((u'[a,-a,a+1,687*a-1115,10565*a-17095]',), {}), None), (((u'[a+1,a-1,a,5*a-10,5*a-10]',), {}), None), (((u'[0,1,0,5*a-16,-17*a+16]',), {}), None), (((u'[0,1,0,-36,-140]',), {}), None), (((u'[0,a+1,0,-2023*a-1257,-54293*a-33560]',), {}), None), (((u'[a,-a-1,a,-128*a-80,921*a+569]',), {}), None), (((u'[1,-1,a,-2*a,a]',), {}), None), (((u'[1,-1,a,13*a-15,20*a-26]',), {}), None), (((u'[a,-a,1,-1,0]',), {}), None), (((u'[a+1,1,1,1153*a-1871,23006*a-37225]',), {}), None), (((u'[a,-a,1,10*a-16,-16*a+26]',), {}), None), (((u'[a,-a,1,15*a-31,12*a-36]',), {}), None), (((u'[a,-a,1,10*a-26,32*a-60]',), {}), None), (((u'[a,a+1,a,2*a,a]',), {}), None), (((u'[a,a+1,a,2*a-5,-4*a+2]',), {}), None), (((u'[1,1,a,258*a-420,2513*a-4069]',), {}), None), (((u'[a,a+1,a,-23*a-10,-94*a-35]',), {}), None), (((u'[a,a+1,a,27*a-80,-134*a+267]',), {}), None), (((u'[1,a,0,-84164*a-52017,-14105985*a-8717980]',), {}), None), (((u'[a,a+1,a,-53*a-165,-813*a-451]',), {}), None), (((u'[a,a+1,a,-73*a-130,-664*a-723]',), {}), None), (((u'[a,-a+1,0,1,0]',), {}), None), (((u'[a,-a+1,0,-4,3*a-5]',), {}), None), (((u'[1,0,1,-1,-2]',), {}), None), (((u'[1,a,a+1,240*a-395,2144*a-3481]',), {}), None), (((u'[a+1,-1,a+1,26638*a-43105,2494019*a-4035410]',), {}), None), (((u'[a+1,-a,0,-2187*a-1363,-59133*a-36564]',), {}), None), (((u'[a+1,a,a+1,0,0]',), {}), None), (((u'[a,-a+1,0,-15*a-19,48*a+31]',), {}), None), (((u'[1,0,1,-126,-552]',), {}), None), (((u'[1,1,1,-3,1]',), {}), None), (((u'[a+1,a,a+1,-25*a-25,53*a+46]',), {}), None), (((u'[1,1,1,22,-9]',), {}), None), (((u'[a+1,a,a+1,-15*a-15,-69*a-48]',), {}), None), (((u'[a+1,a,a+1,110*a+110,506*a+352]',), {}), None), (((u'[0,-1,1,0,0]',), {}), None), (((u'[0,-1,1,-10,-20]',), {}), None), (((u'[1,-1,a,-a,0]',), {}), None), (((u'[1,a-1,a+1,-2*a+3,-1]',), {}), None), (((u'[1,-1,a,9*a-15,a-33]',), {}), None), (((u'[1,a-1,a+1,488*a-1077,7662*a-14347]',), {}), None), (((u'[0,-1,1,-7820,-263580]',), {}), None), (((u'[0,-a+1,0,-3*a-2,-2*a-2]',), {}), None), (((u'[a+1,a-1,a+1,-1,-a+1]',), {}), None), (((u'[a,-a,a,4880*a-7979,199505*a-323066]',), {}), None), (((u'[a+1,a-1,a+1,-35*a-56,-260*a-117]',), {}), None), (((u'[a,-a,a,85*a-139,-436*a+705]',), {}), None), (((u'[a,a+1,1,-188901*a-116781,-47466544*a-29336020]',), {}), None), (((u'[0,a+1,a,a+1,0]',), {}), None), (((u'[a,-a-1,0,1,0]',), {}), None), (((u'[0,-a+1,0,-48*a-32,-188*a-116]',), {}), None), (((u'[a+1,1,a,-256*a-165,2165*a+1343]',), {}), None), (((u'[a,-a-1,0,15*a-29,42*a-61]',), {}), None), (((u'[a+1,1,a,-16*a-10,23*a+14]',), {}), None), (((u'[a,-a-1,0,255*a-454,2543*a-4192]',), {}), None), (((u'[0,0,a,27*a-43,-80*a+128]',), {}), None), (((u'[0,0,a,-30045*a-18562,-2996961*a-1852249]',), {}), None), (((u'[a,-a-1,0,15*a-4,97*a-146]',), {}), None), (((u'[a+1,1,a+1,205599*a-332667,53727699*a-86933245]',), {}), None), (((u'[a+1,1,a,-2041*a-1350,-56352*a-35184]',), {}), None), (((u'[1,a,a,8*a-13,-15*a+23]',), {}), None), (((u'[1,a,a,48*a-98,230*a-382]',), {}), None), (((u'[a,-a+1,1,-666*a-402,-9803*a-6045]',), {}), None), (((u'[a,-1,0,-a-1,a-3]',), {}), None), (((u'[1,a,a,3*a-18,-24*a+11]',), {}), None), (((u'[a+1,-a-1,0,-128*a-85,-819*a-511]',), {}), None), (((u'[0,-1,0,-a,0]',), {}), None), (((u'[a,-a,1,-1,2*a-3]',), {}), None), (((u'[a,-a,1,15*a-36,66*a-89]',), {}), None), (((u'[1,-a+1,1,11344*a-18362,702788*a-1137140]',), {}), None), (((u'[a,-a,1,105*a-166,626*a-1023]',), {}), None), (((u'[0,-1,0,4*a,-4*a]',), {}), None), (((u'[1,0,1,1,2]',), {}), None), (((u'[1,0,1,-14,-64]',), {}), None), (((u'[1,0,1,-69,-194]',), {}), None), (((u'[1,1,a,1,0]',), {}), None), (((u'[0,-1,0,-61*a-40,-260*a-164]',), {}), None), (((u'[1,0,1,-289,1862]',), {}), None), (((u'[0,-1,0,-36*a-80,-196*a-272]',), {}), None), (((u'[1,0,1,-334,-2368]',), {}), None), (((u'[1,0,1,-5334,-150368]',), {}), None), (((u'[1,0,1,-454,-544]',), {}), None), (((u'[1,0,1,-1,0]',), {}), None), (((u'[1,0,1,-11,12]',), {}), None), (((u'[1,0,1,-36,-70]',), {}), None), (((u'[a,a-1,1,0,0]',), {}), None), (((u'[a,a-1,1,90*a-170,552*a-858]',), {}), None), (((u'[1,0,1,-171,-874]',), {}), None), (((u'[a,a-1,1,-10,4*a-22]',), {}), None), (((u'[a,a-1,1,5*a-10,6*a-10]',), {}), None), (((u'[1,0,1,-2731,-55146]',), {}), None), (((u'[0,a+1,1,a,0]',), {}), None), (((u'[0,-a-1,1,-28663*a-17718,-2768362*a-1710944]',), {}), None), (((u'[0,0,1,4*a-9,-6*a+11]',), {}), None), (((u'[1,-1,a+1,-a-2,-a-1]',), {}), None), (((u'[a+1,1,0,70*a-111,355*a-574]',), {}), None), (((u'[0,0,1,-317*a-186,-3180*a-1966]',), {}), None), (((u'[a+1,0,a,-2*a-1,0]',), {}), None), (((u'[a,a-1,0,1,0]',), {}), None), (((u'[a+1,a,0,-3417*a-2143,-119535*a-73938]',), {}), None), (((u'[1,-a,a+1,229*a-374,-1948*a+3153]',), {}), None), (((u'[a,a-1,0,-4,-5*a+3]',), {}), None), (((u'[a,a-1,0,-25*a-29,-110*a-77]',), {}), None), (((u'[a,a-1,0,-45*a+6,-69*a-160]',), {}), None), (((u'[a+1,0,a,-22*a-16,48*a+31]',), {}), None), (((u'[a,0,a,104*a-180,656*a-1064]',), {}), None), (((u'[0,-a-1,a+1,3*a-2,-3]',), {}), None), (((u'[0,-a-1,a+1,143*a-242,1011*a-1645]',), {}), None), (((u'[a+1,-a+1,a+1,-2*a,-a]',), {}), None), (((u'[1,a+1,a+1,-250*a-165,2099*a+1308]',), {}), None), (((u'[a+1,-a+1,a+1,3*a-15,14*a-26]',), {}), None), (((u'[a+1,-a+1,a+1,-47*a,-67*a-159]',), {}), None), (((u'[a+1,-a+1,a+1,133*a-190,851*a-1361]',), {}), None), (((u'[a+1,a+1,a+1,a,0]',), {}), None), (((u'[1,0,a+1,2*a-6,-4*a+4]',), {}), None), (((u'[1,0,1,a-3,-a+1]',), {}), None), (((u'[1,0,a+1,7*a-11,4*a-11]',), {}), None), (((u'[a+1,a+1,a+1,6*a-5,-a+8]',), {}), None), (((u'[a,0,a+1,-355*a-229,-3979*a-2471]',), {}), None), (((u'[1,0,a+1,422*a-801,5771*a-9836]',), {}), None), (((u'[a,0,1,-43*a-27,-171*a-106]',), {}), None), (((u'[a+1,0,1,-4704*a-2907,-188363*a-116415]',), {}), None), (((u'[a,-a+1,0,-2*a,0]',), {}), None), (((u'[1,0,1,21*a-48,73*a-141]',), {}), None), (((u'[1,-1,a,-4*a-1,3*a+3]',), {}), None), (((u'[a+1,a-1,a,-a-3,-2*a+3]',), {}), None), (((u'[a,-a+1,0,8*a,4*a-6]',), {}), None), (((u'[a,-a+1,0,-67*a-70,-376*a-311]',), {}), None), (((u'[1,a,a+1,1439*a-2354,31583*a-51173]',), {}), None), (((u'[a+1,a-1,a,-36*a+2,-79*a-76]',), {}), None), (((u'[a+1,a-1,a,19*a-43,-94*a+131]',), {}), None), (((u'[a,-a,a+1,2719*a-4427,-81534*a+131881]',), {}), None), (((u'[a+1,a-1,a,39*a-33,-102*a+113]',), {}), None), (((u'[a,a+1,0,-300414*a-185685,-95102489*a-58776542]',), {}), None), (((u'[1,-1,a,6*a-11,-3*a+23]',), {}), None), (((u'[1,1,0,-2733*a-1703,-83661*a-51718]',), {}), None), (((u'[1,-1,a,-144*a-206,-1320*a-1288]',), {}), None), (((u'[a+1,a-1,a,164*a-1158,2473*a-15012]',), {}), None), (((u'[0,1,1,2,4]',), {}), None), (((u'[0,-a+1,1,-2*a-1,2*a+1]',), {}), None), (((u'[a+1,1,1,5772*a-9400,256067*a-414591]',), {}), None), (((u'[a+1,a,a+1,-25*a-25,-119*a-83]',), {}), None), (((u'[0,-1,1,-8,-7]',), {}), None), (((u'[0,-a+1,1,8*a+9,-76*a-55]',), {}), None), (((u'[a+1,a,a+1,0,-4*a-3]',), {}), None), (((u'[a+1,a,a+1,-400*a-400,-6044*a-4433]',), {}), None), (((u'[a+1,a,a+1,-50*a-50,46*a+47]',), {}), None), (((u'[a+1,a,a+1,175*a+175,1081*a+767]',), {}), None), (((u'[a+1,a,a+1,-675*a-675,11171*a+8547]',), {}), None), (((u'[a+1,a,a+1,-550*a-550,15946*a+12097]',), {}), None), (((u'[a+1,a,a+1,-10800*a-10800,758396*a+571497]',), {}), None), (((u'[a+1,a,0,2*a,1]',), {}), None), (((u'[a,-a,a+1,-2,-a]',), {}), None), (((u'[1,-a,a,-a,0]',), {}), None), (((u'[1,-a,a,-a-5,-17*a-15]',), {}), None), (((u'[a,1,1,65146314*a-105408963,-302615596781*a+489642321128]',), {}), None), (((u'[1,-a,a,-91*a-85,-585*a-309]',), {}), None), (((u'[0,1,1,-1,0]',), {}), None), (((u'[a,-a+1,1,-a+1,0]',), {}), None), (((u'[0,1,1,9,1]',), {}), None), (((u'[1,a,a,3149*a-5143,102292*a-165671]',), {}), None), (((u'[0,1,1,-131,-650]',), {}), None), (((u'[0,-a-1,0,a,0]',), {}), None), (((u'[0,a+1,0,a-5,3*a-4]',), {}), None), (((u'[0,-a+1,0,-a,0]',), {}), None), (((u'[a,-a-1,1,0,0]',), {}), None), (((u'[0,-a+1,0,-6*a-5,11*a+7]',), {}), None), (((u'[0,-a-1,0,6*a-5,3*a-7]',), {}), None), (((u'[0,-a-1,0,-4*a,8*a+4]',), {}), None), (((u'[0,-1,0,277*a-448,-2747*a+4444]',), {}), None), (((u'[0,1,0,-277*a-171,-2747*a-1697]',), {}), None), (((u'[0,-a+1,0,-11*a-5,-17*a-10]',), {}), None), (((u'[1,-a,a+1,-a-1,0]',), {}), None), (((u'[0,a,0,106*a-171,-647*a+1050]',), {}), None), (((u'[1,-a+1,0,-8*a-4,13*a+8]',), {}), None), (((u'[a+1,0,a,84*a-142,464*a-756]',), {}), None), (((u'[1,-a+1,a+1,-a,-a]',), {}), None), (((u'[1,-a+1,a+1,4*a-10,-6*a+7]',), {}), None), (((u'[1,-a+1,a+1,79*a-165,-518*a+758]',), {}), None), (((u'[1,-a+1,a+1,9*a-15,6*a-16]',), {}), None), (((u'[a+1,-a+1,a+1,-a-2,-a-2]',), {}), None), (((u'[1,a+1,a+1,-1251*a-776,-26721*a-16520]',), {}), None), (((u'[a,a,a,1332*a-2161,27826*a-45027]',), {}), None), (((u'[a+1,-a+1,a+1,-26*a-127,174*a+448]',), {}), None), (((u'[a+1,-a+1,a+1,-276*a-2,-2201*a+823]',), {}), None), (((u'[a+1,-a+1,a+1,-976*a-1052,24329*a+11533]',), {}), None), (((u'[a,a+1,a,-1,-2*a-2]',), {}), None), (((u'[a,-1,a,-1,-a]',), {}), None), (((u'[a,a,1,-4*a-1,-7*a-5]',), {}), None), (((u'[a,a+1,a,-15*a-26,-78*a-77]',), {}), None), (((u'[a,-1,a,-95*a-51,-484*a-311]',), {}), None), (((u'[1,-1,1,-1,0]',), {}), None), (((u'[a,-1,a,-5*a-6,-7*a-5]',), {}), None), (((u'[1,-1,1,-6,-4]',), {}), None), (((u'[1,a+1,a+1,134*a-220,934*a-1514]',), {}), None), (((u'[1,-1,1,-91,-310]',), {}), None), (((u'[a,a,1,-59*a-41,-323*a-201]',), {}), None), (((u'[1,-1,1,-1,-14]',), {}), None), (((u'[0,-1,0,-a-1,-1]',), {}), None), (((u'[0,-1,a,0,0]',), {}), None), (((u'[a,-1,a,-a-1,0]',), {}), None), (((u'[a,-1,a,-a-6,-a-4]',), {}), None), (((u'[1,a+1,a+1,262*a-437,2563*a-4183]',), {}), None), (((u'[a,-1,a,4*a-1,-9*a-13]',), {}), None), (((u'[a,-a,a+1,2*a-5,-3*a+3]',), {}), None), (((u'[a+1,a-1,a,-45*a-25,-200*a-123]',), {}), None), (((u'[a,a+1,0,-165937*a-102555,-39086625*a-24156863]',), {}), None), (((u'[1,a-1,a,-a,0]',), {}), None), (((u'[1,a-1,a,-11*a-5,15*a+9]',), {}), None), (((u'[a+1,0,1,-1,0]',), {}), None), (((u'[0,0,0,-2,1]',), {}), None), (((u'[a+1,0,1,-5*a-6,6*a+2]',), {}), None), (((u'[1,-a+1,a+1,-673*a-421,10173*a+6278]',), {}), None), (((u'[a+1,0,1,-10*a-1,4*a-6]',), {}), None), (((u'[0,-a,0,1,0]',), {}), None), (((u'[0,0,0,-7,-6]',), {}), None), (((u'[0,a-1,0,-4,-4*a+4]',), {}), None), (((u'[0,a-1,0,-235*a-149,2045*a+1270]',), {}), None), (((u'[0,-a,0,20*a-44,76*a-128]',), {}), None), (((u'[0,-a,0,-60*a-84,-276*a-400]',), {}), None), (((u'[0,0,0,-107,-426]',), {}), None), (((u'[0,-a+1,0,2772*a-4480,85404*a-138192]',), {}), None), (((u'[0,0,0,13,-34]',), {}), None), (((u'[a+1,1,1,-5*a-5,-17*a-13]',), {}), None), (((u'[a+1,1,1,-95*a-95,-737*a-553]',), {}), None), (((u'[a+1,1,1,-50*a-50,1135*a+851]',), {}), None), (((u'[a+1,1,1,-1490*a-1490,37999*a+28499]',), {}), None), (((u'[0,0,0,96*a-155,-540*a+874]',), {}), None), (((u'[0,0,0,-5241*a-3254,-218784*a-135242]',), {}), None), (((u'[0,0,a+1,-a-1,0]',), {}), None), (((u'[a,-1,0,-a+1,0]',), {}), None), (((u'[1,0,a,-a-1,0]',), {}), None), (((u'[0,1,a+1,-18*a-23,-67*a-57]',), {}), None), (((u'[0,1,1,1,0]',), {}), None), (((u'[1,0,a,-11*a-11,26*a+12]',), {}), None), (((u'[a+1,1,0,a+1,0]',), {}), None), (((u'[0,1,a+1,2*a-3,-2*a+1]',), {}), None), (((u'[0,1,1,-9,-15]',), {}), None), (((u'[0,1,1,-769,-8470]',), {}), None), (((u'[a+1,1,0,-4*a-4,-12*a-9]',), {}), None), (((u'[0,a,a+1,-1,-a]',), {}), None), (((u'[0,a+1,a+1,6*a-30,42*a-49]',), {}), None), (((u'[0,a-1,a+1,273*a-445,-2773*a+4482]',), {}), None), (((u'[0,-a,a,2*a-2,-a+1]',), {}), None), (((u'[0,1,a+1,8212*a-13328,432444*a-699825]',), {}), None), (((u'[a+1,1,0,-89*a-59,-590*a-364]',), {}), None), (((u'[a+1,-1,a+1,-3*a-2,0]',), {}), None), (((u'[1,-a-1,a,4*a-20,27*a-12]',), {}), None), (((u'[a,a+1,1,257*a-431,2489*a-4075]',), {}), None), (((u'[a,a+1,1,17*a-26,41*a-67]',), {}), None), (((u'[1,-a-1,a,59*a-100,-245*a+447]',), {}), None), (((u'[a+1,-1,a+1,12*a+3,-15*a-14]',), {}), None), (((u'[1,-a-1,a,9*a-15,16*a-26]',), {}), None), (((u'[a,1,a+1,-719*a-435,10596*a+6541]',), {}), None), (((u'[a,-a,a+1,-a-3,1]',), {}), None), (((u'[1,a-1,a,a-2,-1]',), {}), None), (((u'[a+1,a-1,a,-139*a-85,830*a+513]',), {}), None), (((u'[a,-a,a+1,-26*a-13,93*a-63]',), {}), None), (((u'[1,-a+1,a+1,5407*a-8768,232768*a-376663]',), {}), None), (((u'[a,-a,a+1,-156*a-1863,-3449*a-31141]',), {}), None), (((u'[a,a,a,-359*a-230,-4249*a-2634]',), {}), None), (((u'[a,a-1,1,18794*a-30410,1473480*a-2384141]',), {}), None), (((u'[1,a-1,a,21*a-42,56*a-101]',), {}), None), (((u'[a,-a+1,1,-3*a-1,2*a+1]',), {}), None), (((u'[a,-a+1,1,-38*a-21,126*a+79]',), {}), None), (((u'[a+1,-a-1,a+1,0,-2*a-1]',), {}), None), (((u'[a,-a,0,-5*a+6,-4*a+9]',), {}), None), (((u'[1,-a+1,a,-18*a-8,40*a+25]',), {}), None), (((u'[1,-a+1,a,-258*a-168,2472*a+1513]',), {}), None), (((u'[a+1,0,0,413*a-753,5628*a-8855]',), {}), None), (((u'[a+1,-a-1,a+1,-230*a-170,-2056*a-1329]',), {}), None), (((u'[a+1,0,0,413*a-663,6942*a-10331]',), {}), None), (((u'[a+1,a-1,a+1,-196545*a-121472,49998522*a+30900787]',), {}), None), (((u'[a,0,0,49435*a-80014,6330026*a-10242231]',), {}), None), (((u'[a,-a,0,340*a-564,3728*a-6192]',), {}), None), (((u'[0,-a+1,0,-7*a-6,-6*a-6]',), {}), None), (((u'[0,-a+1,0,18*a+19,-61*a-41]',), {}), None), (((u'[1,0,1,21*a-40,-66*a+101]',), {}), None), (((u'[0,-a+1,0,-207*a-206,2114*a+1534]',), {}), None), (((u'[0,-a+1,0,-182*a-181,2619*a+1919]',), {}), None), (((u'[a+1,0,1,-9461*a-5848,-535080*a-330697]',), {}), None), (((u'[1,-a,1,0,0]',), {}), None), (((u'[0,-a+1,0,-107*a-81,-681*a-406]',), {}), None), (((u'[1,-a-1,0,-a-1,3*a+2]',), {}), None), (((u'[a+1,1,a,a-1,-5*a+6]',), {}), None), (((u'[1,-1,0,0,-5]',), {}), None), (((u'[0,-a,0,-26528*a-16408,2502004*a+1546332]',), {}), None), (((u'[1,-1,1,-3019*a-1900,-95396*a-59044]',), {}), None), (((u'[1,-1,0,-45,-104]',), {}), None), (((u'[1,-1,0,-720,-7259]',), {}), None), (((u'[1,-1,0,-90,175]',), {}), None), (((u'[1,-1,0,-1215,16600]',), {}), None), (((u'[1,-1,0,315,1066]',), {}), None), (((u'[1,-1,0,-990,22765]',), {}), None), (((u'[1,-1,0,-19440,1048135]',), {}), None), (((u'[1,a+1,a+1,a,0]',), {}), None), (((u'[1,-a,1,a-1,0]',), {}), None), (((u'[0,-a+1,a,-a,0]',), {}), None), (((u'[a+1,-a+1,a,-4*a-1,a+1]',), {}), None), (((u'[a+1,-a+1,a,-2*a-1,0]',), {}), None), (((u'[1,-1,1,44790597*a-72472769,-172543844000*a+279181804337]',), {}), None), (((u'[a,-a+1,a+1,-2*a+1,-a]',), {}), None), (((u'[a+1,-a+1,a,13*a-6,-5*a+5]',), {}), None), (((u'[a,a,a+1,677*a-1104,-10353*a+16735]',), {}), None), (((u'[a+1,-a+1,a,3*a-11,-7*a+8]',), {}), None), (((u'[0,1,a,32*a-54,-100*a+159]',), {}), None), (((u'[0,a+1,a,-602*a-382,-9154*a-5643]',), {}), None), (((u'[1,0,0,1,0]',), {}), None), (((u'[a+1,a,a,2*a+2,-14*a-11]',), {}), None), (((u'[1,0,0,-4,-1]',), {}), None), (((u'[1,0,0,-49,-136]',), {}), None), (((u'[1,0,0,-39,90]',), {}), None), (((u'[1,0,0,-784,-8515]',), {}), None), (((u'[a,-a,a,-3,-2*a]',), {}), None), (((u'[a+1,a,a,-3*a-3,-9*a-6]',), {}), None), (((u'[1,0,0,-34,-217]',), {}), None), (((u'[1,-a+1,a,143*a-239,-938*a+1511]',), {}), None), (((u'[a+1,a-1,a+1,-2302*a-1429,-65452*a-40441]',), {}), None), (((u'[a+1,0,0,16128*a-26096,-1178679*a+1907142]',), {}), None), (((u'[a+1,-1,a+1,-2*a-2,-a]',), {}), None), (((u'[0,a-1,a,-a,0]',), {}), None), (((u'[0,1,a+1,a-1,-a]',), {}), None), (((u'[a+1,-1,a+1,-112*a-62,-661*a-420]',), {}), None), (((u'[0,a+1,a+1,-18*a-9,-61*a-38]',), {}), None), (((u'[0,a,a,a+1,0]',), {}), None), (((u'[a+1,-1,0,a-1,-a+1]',), {}), None), (((u'[1,-a+1,1,-1,a-2]',), {}), None), (((u'[a,-a,1,-27*a-21,-77*a-53]',), {}), None), (((u'[0,-1,0,-2*a-2,3*a+2]',), {}), None), (((u'[0,a-1,0,-a-1,1]',), {}), None), (((u'[a+1,-1,a+1,-a-2,-a]',), {}), None), (((u'[0,0,0,67*a-114,-336*a+538]',), {}), None), (((u'[0,-1,0,43*a-47,-33*a-235]',), {}), None), (((u'[0,a+1,0,224*a-365,1970*a-3195]',), {}), None), (((u'[0,a-1,0,-6*a-1,-7*a-3]',), {}), None), (((u'[0,0,0,-17*a-12,-43*a-26]',), {}), None), (((u'[a,a,0,-25*a-53,-155*a-178]',), {}), None), (((u'[a+1,a,0,9*a-9,-7*a+15]',), {}), None), (((u'[a+1,a,0,534*a-934,7483*a-12430]',), {}), None), (((u'[1,a-1,a+1,-294*a-173,2777*a+1653]',), {}), None), (((u'[a+1,a,0,484*a-809,-6432*a+10440]',), {}), None), (((u'[a+1,a,0,34*a-59,108*a-180]',), {}), None), (((u'[1,a-1,a+1,-1394*a-1023,31487*a+20323]',), {}), None), (((u'[1,a-1,a+1,-1369*a-1098,31187*a+19198]',), {}), None), (((u'[a,a,0,-3,-5*a-3]',), {}), None), (((u'[1,-a-1,a,-4*a-1,-4]',), {}), None), (((u'[a,a,a+1,-160736*a-99351,36970088*a+22848864]',), {}), None), (((u'[1,-a-1,a,a-1,-1]',), {}), None), (((u'[a+1,a,a+1,-a-1,-3*a-2]',), {}), None), (((u'[a+1,-a-1,1,-6*a-6,11*a+8]',), {}), None), (((u'[a+1,-a-1,1,-6066*a-6066,-323245*a-242434]',), {}), None), (((u'[a+1,-a-1,1,39*a+39,-109*a-82]',), {}), None), (((u'[a+1,-1,a+1,-3*a-1,-2*a-1]',), {}), None), (((u'[1,a,a+1,-678*a-420,-10592*a-6547]',), {}), None), (((u'[1,1,a+1,-1,-a]',), {}), None), (((u'[1,-a+1,a+1,-5*a-5,23*a+9]',), {}), None), (((u'[1,a-1,0,-2709*a-1675,-81957*a-50652]',), {}), None), (((u'[1,1,a+1,60*a-96,-242*a+388]',), {}), None), (((u'[a+1,0,1,893*a-1430,15172*a-24603]',), {}), None), (((u'[a,a,a,a-1,0]',), {}), None), (((u'[a+1,-a+1,a+1,-81*a-50,378*a+236]',), {}), None), (((u'[a,a,a,101*a-171,-638*a+1018]',), {}), None), (((u'[1,-a+1,a,-3,1]',), {}), None), (((u'[1,-a+1,a,-38,91*a-62]',), {}), None), (((u'[a+1,a-1,a+1,-12273*a-7584,772903*a+477680]',), {}), None), (((u'[1,-a+1,a,390*a-383,1768*a-5423]',), {}), None), (((u'[a,0,0,211264*a-341872,55903043*a-90453129]',), {}), None), (((u'[a+1,0,0,1919*a-3122,48680*a-78800]',), {}), None), (((u'[0,a-1,1,-2*a+2,2*a-3]',), {}), None), (((u'[1,-a+1,0,1,0]',), {}), None), (((u'[1,-a+1,a,15*a+12,285*a-101]',), {}), None), (((u'[1,-a+1,0,-20*a-19,68*a+38]',), {}), None), (((u'[0,a-1,1,328*a-538,3266*a-5355]',), {}), None), (((u'[a,-a+1,1,-a-4,a-6]',), {}), None), (((u'[a,a+1,1,a,0]',), {}), None), (((u'[a+1,0,a,250*a-411,2315*a-3754]',), {}), None), (((u'[a+1,-a+1,0,-a,0]',), {}), None), (((u'[0,a-1,1,-4*a-3,-6*a-4]',), {}), None), (((u'[a,-a+1,a,-a-1,0]',), {}), None), (((u'[1,a,a,1,0]',), {}), None), (((u'[a,a-1,a,-3,-2*a+3]',), {}), None), (((u'[a,a,1,11*a-16,18*a-28]',), {}), None), (((u'[1,-a+1,0,-2*a,a+1]',), {}), None), (((u'[a+1,-a-1,a,-3*a-1,-a-1]',), {}), None), (((u'[a,0,a+1,-a,-a]',), {}), None), (((u'[a,0,a+1,-a-5,5*a-15]',), {}), None), (((u'[a+1,-a-1,a,-28*a-21,-80*a-51]',), {}), None), (((u'[a+1,a+1,a,2*a-1,a-1]',), {}), None), (((u'[1,-a+1,0,-a-1,0]',), {}), None), (((u'[a+1,a+1,a,17*a-26,40*a-66]',), {}), None), (((u'[a,1,a,1797*a-2912,44574*a-72128]',), {}), None), (((u'[a+1,a+1,a,22*a-21,53*a-67]',), {}), None), (((u'[1,-a+1,0,-66*a-56,-333*a-241]',), {}), None), (((u'[1,-a+1,0,-71*a-46,-328*a-269]',), {}), None), (((u'[a,-1,a+1,-a-1,-a]',), {}), None), (((u'[1,a,0,-6*a+2,3*a]',), {}), None), (((u'[1,-a-1,0,-a-1,-a+1]',), {}), None), (((u'[a,1,1,-219*a-138,-2003*a-1237]',), {}), None), (((u'[a+1,-a+1,1,3*a+3,8*a+3]',), {}), None), (((u'[a+1,-a+1,1,-17*a-32,72*a-7]',), {}), None), (((u'[a,a+1,a+1,a,0]',), {}), None), (((u'[a,a+1,a+1,a-5,2*a-5]',), {}), None), (((u'[1,1,a+1,282*a-459,2862*a-4634]',), {}), None), (((u'[a+1,1,0,a+1,1]',), {}), None), (((u'[a+1,-1,1,-235*a-145,2010*a+1241]',), {}), None), (((u'[1,a+1,1,a,0]',), {}), None), (((u'[1,a+1,1,6*a-5,-2*a+6]',), {}), None), (((u'[a,1,1,0,0]',), {}), None), (((u'[0,-1,0,1,0]',), {}), None), (((u'[0,-a+1,0,-34*a-33,95*a+63]',), {}), None), (((u'[0,-a+1,0,-4*a,-4*a]',), {}), None), (((u'[0,1,0,a,-a]',), {}), None), (((u'[0,-1,0,-4,4]',), {}), None), (((u'[0,-a+1,0,-44*a-40,-196*a-112]',), {}), None), (((u'[0,-1,0,-24,-36]',), {}), None), (((u'[0,1,0,-119*a-100,-909*a-556]',), {}), None), (((u'[0,1,0,a-20,-29*a+12]',), {}), None), (((u'[0,-a-1,0,1024*a-1664,-19072*a+30876]',), {}), None), (((u'[0,-1,0,-384,-2772]',), {}), None), (((u'[0,-1,0,-64,220]',), {}), None), (((u'[0,-1,0,16,-180]',), {}), None), (((u'[0,-a+1,0,6*a+7,7*a+7]',), {}), None), (((u'[a,-a,a+1,0,-a-1]',), {}), None), (((u'[a+1,0,0,148*a-200,880*a-1384]',), {}), None), (((u'[a+1,0,0,-7*a+5,8*a-9]',), {}), None), (((u'[1,a-1,0,a,1]',), {}), None), (((u'[a+1,0,a+1,-3*a-3,-5*a-3]',), {}), None), (((u'[1,-a+1,a+1,130*a-216,963*a-1563]',), {}), None), (((u'[a+1,a,0,4*a-1,3*a]',), {}), None), (((u'[1,a+1,1,-a-3,-5*a-5]',), {}), None), (((u'[a+1,-1,a,-2*a-4,3]',), {}), None), (((u'[a+1,0,a+1,-193*a-168,-1862*a-1282]',), {}), None), (((u'[a,a+1,0,971*a-1565,17491*a-28313]',), {}), None), (((u'[a,a-1,a,0,0]',), {}), None), (((u'[0,a+1,a+1,a+1,0]',), {}), None), (((u'[1,1,1,a-1,0]',), {}), None), (((u'[a,a+1,1,-2637*a-1648,-81226*a-50237]',), {}), None), (((u'[a+1,a,a+1,-53*a-32,162*a+100]',), {}), None), (((u'[a,a-1,a+1,-a-1,-a]',), {}), None), (((u'[1,1,1,-9*a+4,-10*a-2]',), {}), None), (((u'[1,-1,0,1,0]',), {}), None), (((u'[1,-1,0,-4,3]',), {}), None), (((u'[a+1,a,0,1,0]',), {}), None), (((u'[1,-1,0,-59,190]',), {}), None), (((u'[1,-1,0,-29,-52]',), {}), None), (((u'[a+1,a,0,-35*a-54,-238*a-211]',), {}), None), (((u'[a+1,a,0,35*a-34,-84*a+119]',), {}), None), (((u'[1,a-1,a+1,-5574*a-3520,-243182*a-150513]',), {}), None), (((u'[a+1,a,0,-45*a-29,-207*a-327]',), {}), None), (((u'[a+1,-a-1,a+1,-a-2,0]',), {}), None), (((u'[a,a,0,8*a-15,11*a+17]',), {}), None), (((u'[a+1,-a-1,a+1,-6*a-17,13*a+28]',), {}), None), (((u'[a,-a-1,0,-1422*a-878,-29934*a-18511]',), {}), None), (((u'[1,1,0,-2,7*a+3]',), {}), None), (((u'[1,1,0,-35*a-52,210*a+51]',), {}), None), (((u'[a+1,a-1,a,1502*a-2457,33106*a-53599]',), {}), None), (((u'[1,1,0,-770*a-497,12257*a+7460]',), {}), None), (((u'[a+1,a-1,a,377*a-607,-4405*a+7107]',), {}), None), (((u'[1,1,0,-260*a-287,-3445*a-1696]',), {}), None), (((u'[1,1,0,-4785*a-3467,-204530*a-130554]',), {}), None), (((u'[1,1,0,-935*a-387,8620*a+7934]',), {}), None), (((u'[a+1,-a-1,1,-a-2,a+1]',), {}), None), (((u'[a,a,0,3*a-195,847*a-500]',), {}), None), (((u'[a+1,-a,1,-a,0]',), {}), None), (((u'[0,a+1,a,a,0]',), {}), None), (((u'[a+1,-a-1,1,-21*a-12,57*a+37]',), {}), None), (((u'[a,-a+1,1,1932*a-3156,50492*a-81759]',), {}), None), (((u'[0,1,a,-76*a-53,375*a+235]',), {}), None), (((u'[a,-a+1,1,-1,a-2]',), {}), None), (((u'[a+1,-a,1,-256*a-156,-2345*a-1447]',), {}), None), (((u'[a+1,-a-1,1,-a,0]',), {}), None), (((u'[0,-1,a,80172*a-129697,13036100*a-21092964]',), {}), None), (((u'[a,-a+1,1,45*a-81,-171*a+276]',), {}), None), (((u'[0,a+1,a+1,2*a-3,-4]',), {}), None), (((u'[a+1,0,a+1,-27*a-17,-92*a-57]',), {}), None), (((u'[a+1,-a,a+1,-2*a,-a]',), {}), None), (((u'[a,-a-1,a+1,-a-1,0]',), {}), None), (((u'[a,-a-1,a+1,-46*a-31,-159*a-88]',), {}), None), (((u'[a,-a-1,a+1,-a-6,-4*a+3]',), {}), None), (((u'[0,-1,a,a-1,-a+1]',), {}), None), (((u'[1,-1,a+1,271*a-438,-2634*a+4258]',), {}), None), (((u'[1,a+1,0,a+1,0]',), {}), None), (((u'[a,1,1,1,0]',), {}), None), (((u'[1,a+1,0,-89*a-64,-620*a-375]',), {}), None), (((u'[a+1,-a+1,0,74*a-123,422*a-683]',), {}), None), (((u'[a+1,-1,a+1,2*a-8,-7*a+10]',), {}), None), (((u'[a+1,0,a+1,a-2,a-1]',), {}), None), (((u'[0,a+1,0,a-2,-4*a-1]',), {}), None), (((u'[a+1,0,a+1,-79*a-32,295*a+191]',), {}), None), (((u'[a+1,0,a+1,-9*a-62,-199*a+39]',), {}), None), (((u'[a+1,0,a+1,-4*a-7,1]',), {}), None), (((u'[0,a+1,0,-159*a-82,-1220*a-753]',), {}), None), (((u'[1,0,1,0,0]',), {}), None), (((u'[a,a,1,0,0]',), {}), None), (((u'[1,-1,1,-3,3]',), {}), None), (((u'[a+1,1,0,-a+4,-2*a+2]',), {}), None), (((u'[1,0,1,-5,-8]',), {}), None), (((u'[1,0,1,-460,-3830]',), {}), None), (((u'[1,-1,1,-213,-1257]',), {}), None), (((u'[1,1,a,a-3,-a+1]',), {}), None), (((u'[a,a+1,a,-52*a-32,164*a+102]',), {}), None), (((u'[a,-a+1,a+1,-6*a-2,4*a+4]',), {}), None), (((u'[a,-a,a+1,-3*a-18,-18*a-3]',), {}), None), (((u'[a+1,a-1,a,-1024*a-651,-19873*a-12304]',), {}), None), (((u'[a,-a+1,a+1,-66*a-52,332*a+214]',), {}), None), (((u'[a,-a,a+1,-3*a+2,-2*a+1]',), {}), None), (((u'[a,-a,a+1,87*a-168,-552*a+879]',), {}), None), (((u'[a,-a,a,-2*a-1,a+1]',), {}), None), (((u'[a,a+1,a+1,6*a-7,-5*a+9]',), {}), None), (((u'[a+1,-a,a,a-4,2*a-4]',), {}), None), (((u'[a,a+1,a+1,-9*a-2,-44*a+20]',), {}), None), (((u'[1,0,a,-16*a-11,-39*a-24]',), {}), None), (((u'[a,0,a,-1771*a-1094,-43255*a-26733]',), {}), None), (((u'[a+1,-a,a,56*a-99,-255*a+409]',), {}), None), (((u'[1,0,a,-a,0]',), {}), None), (((u'[1,0,a,4*a,-6*a-7]',), {}), None), (((u'[0,a-1,0,a-4,-2]',), {}), None), (((u'[0,-a+1,0,-2*a,a+1]',), {}), None), (((u'[0,-a-1,0,0,a+1]',), {}), None), (((u'[0,0,0,-3*a-2,3*a+2]',), {}), None), (((u'[0,a-1,0,6*a-9,-11*a+13]',), {}), None), (((u'[0,a-1,0,36*a-64,120*a-192]',), {}), None), (((u'[0,-a-1,0,5*a-5,-3*a+8]',), {}), None), (((u'[0,a,0,-122*a-75,-843*a-522]',), {}), None), (((u'[0,a,0,44*a-68,148*a-244]',), {}), None), (((u'[0,-a+1,0,-107*a-85,-701*a-410]',), {}), None), (((u'[0,0,0,15*a-26,-36*a+58]',), {}), None), (((u'[0,0,0,-63*a-47,-312*a-194]',), {}), None), (((u'[0,a+1,0,-6*a-5,-18*a-12]',), {}), None), (((u'[0,0,0,255*a-406,-2304*a+3726]',), {}), None), (((u'[0,0,0,-63*a-7,-480*a-306]',), {}), None), (((u'[0,0,0,-1023*a-727,-19856*a-12626]',), {}), None), (((u'[0,1,0,68*a-112,352*a-572]',), {}), None), (((u'[0,a-1,a,-a+1,-1]',), {}), None), (((u'[a+1,-a-1,a,-3,-a+2]',), {}), None), (((u'[0,1,a,-5*a-4,5*a+4]',), {}), None), (((u'[0,a-1,a,3*a-4,-5*a+7]',), {}), None), (((u'[a+1,a+1,a,2*a+1,a+1]',), {}), None), (((u'[1,-a-1,a+1,-7*a-3,14*a+9]',), {}), None), (((u'[1,-a,a+1,4*a-8,-5*a+7]',), {}), None), (((u'[0,-a-1,a,2*a,-a]',), {}), None), (((u'[a+1,a,0,-4681*a-2895,179281*a+110801]',), {}), None), (((u'[1,-a,a+1,-26*a+27,-22*a+59]',), {}), None), (((u'[0,-1,a+1,-2*a-2,2*a+2]',), {}), None), (((u'[a,a-1,0,-42*a-27,142*a+89]',), {}), None), (((u'[0,a,a+1,2*a+2,-a]',), {}), None), (((u'[1,-1,a,2*a-2,a-3]',), {}), None), (((u'[a+1,1,1,3387*a-5493,114900*a-185944]',), {}), None), (((u'[1,-1,a,2*a-77,176*a-28]',), {}), None), (((u'[1,-1,a,27*a-52,91*a-148]',), {}), None), (((u'[1,-1,a,-123*a+173,776*a-703]',), {}), None), (((u'[a,-a-1,a,-3544*a-2272,125529*a+77866]',), {}), None), (((u'[1,-1,a,3452*a-6752,-138149*a+239247]',), {}), None), (((u'[0,-a,a+1,2*a-13,7*a-21]',), {}), None), (((u'[0,0,a+1,-55*a-25,-227*a-103]',), {}), None), (((u'[0,0,1,0,0]',), {}), None), (((u'[0,0,a+1,57415*a-92810,-7909437*a+12798927]',), {}), None), (((u'[1,-1,a+1,-2691333*a-1663335,2541889053*a+1570973833]',), {}), None), (((u'[0,0,a+1,0,-a]',), {}), None), (((u'[0,0,1,0,-7]',), {}), None), (((u'[0,0,1,-30,63]',), {}), None), (((u'[0,0,1,-270,-1708]',), {}), None), (((u'[0,0,a+1,0,6*a-14]',), {}), None), (((u'[1,-1,a,a-3,-2*a+3]',), {}), None), (((u'[a,-a-1,a+1,-4*a-2,5*a+3]',), {}), None), (((u'[a,-a-1,a,-32*a-17,-78*a-48]',), {}), None), (((u'[a,-a-1,a+1,4*a-8,-7*a+10]',), {}), None), (((u'[a+1,-a,0,-4*a-6,9*a+2]',), {}), None), (((u'[1,-1,a+1,13*a-29,33*a-60]',), {}), None), (((u'[a,-a+1,0,180*a-293,1508*a-2439]',), {}), None), (((u'[1,0,a+1,-a,-a]',), {}), None), (((u'[a+1,-1,a+1,5*a-12,-13*a+20]',), {}), None), (((u'[1,a,a+1,2*a-3,-2*a+2]',), {}), None), (((u'[a,-a+1,0,-54*a-29,-214*a-137]',), {}), None), (((u'[1,a,a+1,7*a-13,9*a-17]',), {}), None), (((u'[1,a,a+1,112*a-198,743*a-1188]',), {}), None), (((u'[1,-a+1,a+1,-3*a-2,2*a+1]',), {}), None), (((u'[a+1,0,0,a-1,0]',), {}), None), (((u'[1,-a+1,a+1,-43*a-22,150*a+97]',), {}), None), (((u'[a,-a,0,-2*a-2,3*a+2]',), {}), None), (((u'[1,-a+1,a,-12*a-5,-19*a-11]',), {}), None), (((u'[0,a+1,a,6*a-6,1]',), {}), None), (((u'[0,a,a,a,0]',), {}), None), (((u'[0,1,a,-3,a-1]',), {}), None), (((u'[0,a+1,a,206*a-356,1825*a-3024]',), {}), None), (((u'[a+1,a-1,1,-a-2,-3*a-2]',), {}), None), (((u'[0,a,a,11*a-30,-37*a+71]',), {}), None), (((u'[1,1,a+1,-3413*a-2108,-116137*a-71773]',), {}), None), (((u'[1,-a+1,0,61492*a-99493,-8737966*a+14138322]',), {}), None), (((u'[a,-a,0,556*a-910,-7512*a+12147]',), {}), None), (((u'[0,-a+1,a,-17*a-16,-45*a-30]',), {}), None), (((u'[a+1,a-1,1,-76*a-227,447*a+1348]',), {}), None), (((u'[a,a,1,107*a-173,620*a-1002]',), {}), None), (((u'[a+1,-a+1,1,-3*a+1,-2*a]',), {}), None), (((u'[a+1,-a+1,0,-62*a-76,411*a+171]',), {}), None), (((u'[a+1,-a+1,0,-12*a-251,-694*a+861]',), {}), None), (((u'[1,a+1,0,-8663*a-5338,455336*a+281393]',), {}), None), (((u'[1,a,1,-1,0]',), {}), None), (((u'[1,a+1,1,-143*a-90,-1140*a-705]',), {}), None), (((u'[0,a+1,a,6*a-7,10*a-15]',), {}), None), (((u'[0,a+1,a,436*a-707,5297*a-8596]',), {}), None), (((u'[1,0,a+1,-3*a-2,-3*a-2]',), {}), None), (((u'[1,0,a+1,-38*a-27,-143*a-91]',), {}), None), (((u'[a,-1,a,-2*a,a-1]',), {}), None), (((u'[0,0,0,-16*a-16,44*a+33]',), {}), None), (((u'[a,-1,a,88*a-130,401*a-661]',), {}), None), (((u'[a,-1,a,-2*a-50,-121*a+57]',), {}), None), (((u'[0,0,0,-11*a-11,72*a+54]',), {}), None), (((u'[0,0,0,296*a-487,-2984*a+4830]',), {}), None), (((u'[1,a-1,0,a-2,0]',), {}), None), (((u'[a,-a-1,a,-1,0]',), {}), None), (((u'[1,a+1,0,12*a-31,-34*a+63]',), {}), None), (((u'[a,1,a+1,-a,-a]',), {}), None), (((u'[a,0,a,-a-1,0]',), {}), None), (((u'[a,-a-1,a,5*a-6,4*a-7]',), {}), None), (((u'[1,a+1,0,2*a-1,1]',), {}), None), (((u'[a,0,a,4*a+4,-4*a-5]',), {}), None), (((u'[a+1,-1,0,-2*a,a]',), {}), None), (((u'[a,-a+1,a,23*a-39,-55*a+88]',), {}), None), (((u'[a+1,-a,a,-a,-a+1]',), {}), None), (((u'[a,0,1,-a,0]',), {}), None), (((u'[a+1,-a,a,-164*a-107,-1237*a-753]',), {}), None), (((u'[a,0,1,104*a-310,946*a-2218]',), {}), None), (((u'[1,a-1,0,-12*a-4,22*a+10]',), {}), None), (((u'[a+1,a,a+1,2015*a-3272,51754*a-84002]',), {}), None), (((u'[1,-a+1,0,3*a-7,7*a-10]',), {}), None), (((u'[1,-a+1,0,-7*a+23,-327*a+476]',), {}), None), (((u'[1,-a+1,0,373*a-757,-5395*a+8016]',), {}), None), (((u'[1,-a+1,0,23*a-47,-69*a+102]',), {}), None), (((u'[a,0,0,-23*a-29,77*a+69]',), {}), None), (((u'[a,0,0,-28*a-59,-a-78]',), {}), None), (((u'[1,0,0,721*a-1176,-11175*a+18093]',), {}), None), (((u'[1,0,0,9161*a-15731,534651*a-875694]',), {}), None), (((u'[1,0,0,-1,0]',), {}), None), (((u'[a,0,0,-1348*a-3959,-57589*a-102594]',), {}), None), (((u'[a,0,0,292*a-59,-769*a+882]',), {}), None), (((u'[1,0,0,4,1]',), {}), None), (((u'[a,0,a+1,-a-2,-a]',), {}), None), (((u'[a,0,a+1,-11*a-7,15*a+11]',), {}), None), (((u'[a,a,a+1,-a-3,-3*a-3]',), {}), None), (((u'[a,a-1,a+1,-2*a,-a-1]',), {}), None), (((u'[a+1,-1,a,a-3,-2*a+3]',), {}), None), (((u'[a+1,-a,a,4*a-8,6*a-11]',), {}), None), (((u'[a,a-1,a+1,-97*a-80,588*a+337]',), {}), None), (((u'[1,-a,0,39*a-63,-126*a+207]',), {}), None), (((u'[a+1,-a+1,a,-209*a-128,-1799*a-1112]',), {}), None), (((u'[a+1,-1,a,a-8,2*a-2]',), {}), None), (((u'[a+1,-1,a,46*a-98,209*a-380]',), {}), None), (((u'[1,a,a,-208*a-124,1576*a+971]',), {}), None), (((u'[1,a,a,-1033*a-654,-19938*a-12360]',), {}), None), (((u'[a,a+1,0,6224*a-10064,283403*a-458560]',), {}), None), (((u'[a+1,-a,a,-11*a+7,21*a-44]',), {}), None), (((u'[0,0,0,-a+1,a-2]',), {}), None), (((u'[0,1,0,2*a-2,-a+2]',), {}), None), (((u'[a+1,-a+1,1,a-3,1]',), {}), None), (((u'[0,0,0,-37*a-26,-136*a-86]',), {}), None), (((u'[0,1,0,-18*a+18,11*a-38]',), {}), None), (((u'[0,1,a,a,0]',), {}), None), (((u'[0,a+1,0,-566*a-373,-8475*a-5269]',), {}), None), (((u'[0,1,a,-9*a,-15*a-7]',), {}), None), (((u'[a,-a-1,1,4*a+3,-5*a+2]',), {}), None), (((u'[a,-a-1,1,4*a-42,-41*a+92]',), {}), None), (((u'[a,-a-1,1,-131*a-177,-1121*a-880]',), {}), None), (((u'[a+1,1,a,239756*a-387938,-67486715*a+109195812]',), {}), None), (((u'[a+1,1,a+1,-19683*a-12268,1576908*a+974960]',), {}), None), (((u'[1,-1,1,2160*a-3554,-59299*a+96135]',), {}), None), (((u'[0,a+1,a+1,a-4,-2*a+2]',), {}), None), (((u'[0,0,a+1,a,0]',), {}), None), (((u'[0,-a-1,a+1,15*a-26,-36*a+63]',), {}), None), (((u'[0,-a-1,a+1,35*a-26,-33*a+5]',), {}), None), (((u'[1,0,0,-3,-3]',), {}), None), (((u'[1,1,0,69*a-117,380*a-612]',), {}), None), (((u'[1,1,0,4*a-7,7*a-12]',), {}), None), (((u'[1,1,a,-3*a,-2*a-3]',), {}), None), (((u'[a+1,-a-1,1,-93*a-93,-525*a-394]',), {}), None), (((u'[a,1,1,6*a-9,-6*a+10]',), {}), None), (((u'[1,0,0,-53,-153]',), {}), None), (((u'[1,0,0,-28,272]',), {}), None), (((u'[1,0,0,-828,9072]',), {}), None), (((u'[a+1,-a-1,1,-1443*a-1443,-37245*a-27934]',), {}), None), (((u'[a+1,-a-1,1,7*a+7,-45*a-34]',), {}), None), (((u'[a+1,-a-1,1,-343*a-343,3875*a+2906]',), {}), None), (((u'[a+1,-a-1,1,-1668*a-1668,47355*a+35516]',), {}), None), (((u'[a+1,-a-1,1,-68*a-68,1275*a+956]',), {}), None), (((u'[a+1,-a-1,1,-2268*a-2268,10875*a+8156]',), {}), None), (((u'[a+1,-a-1,1,-26668*a-26668,3007355*a+2255516]',), {}), None), (((u'[0,-a+1,a+1,0,-a]',), {}), None), (((u'[0,-a,a+1,-7*a-3,12*a+10]',), {}), None), (((u'[a+1,-a+1,0,1,0]',), {}), None), (((u'[a+1,-a+1,0,-5*a-14,12*a+11]',), {}), None), (((u'[0,-a,a+1,213*a-463,1401*a-4842]',), {}), None), (((u'[a+1,-a+1,0,5*a-74,34*a-287]',), {}), None), (((u'[a,-a+1,1,0,0]',), {}), None), (((u'[a+1,-a,a,1,0]',), {}), None), (((u'[a,0,a+1,-a-1,-a]',), {}), None), (((u'[a,a,0,a,0]',), {}), None), (((u'[a,0,a+1,-a+4,7*a-13]',), {}), None), (((u'[a,a,0,-4*a,-6*a-5]',), {}), None), (((u'[0,-a-1,0,-a+1,0]',), {}), None), (((u'[0,-a-1,1,-4*a-2,10*a+6]',), {}), None), (((u'[0,-a-1,0,4*a-4,-4*a]',), {}), None), (((u'[a,1,1,-2*a-3,a+1]',), {}), None), (((u'[a+1,-a+1,a+1,3*a-8,-4*a+5]',), {}), None), (((u'[a,-a-1,1,-a-2,-1]',), {}), None), (((u'[0,a,1,2,a-2]',), {}), None), (((u'[0,-a-1,1,-1,2*a+1]',), {}), None), (((u'[1,-1,1,85*a-139,434*a-702]',), {}), None), (((u'[0,-a,1,-42*a-53,-192*a-140]',), {}), None), (((u'[a+1,-a,0,7*a-23,-24*a+20]',), {}), None), (((u'[1,0,0,-594*a-390,-8580*a-5345]',), {}), None), (((u'[a,0,0,-66265*a-40952,-9832128*a-6076598]',), {}), None), (((u'[a+1,-a,0,652*a-2048,27054*a-32629]',), {}), None), (((u'[1,a,a+1,834227*a-1349799,438442396*a-709414712]',), {}), None), (((u'[a+1,-a,0,1017*a-1853,21096*a-35088]',), {}), None), (((u'[a+1,-1,1,-2,-a+1]',), {}), None), (((u'[a+1,a-1,a,-4*a-1,a]',), {}), None), (((u'[a,a,a,-a-1,-2*a+1]',), {}), None), (((u'[a+1,0,a+1,9*a-17,-19*a+29]',), {}), None), (((u'[1,-1,1,2,-3]',), {}), None), (((u'[a,-a,a+1,2682*a-4688,86629*a-142543]',), {}), None), (((u'[a+1,a-1,a,-9*a-16,-32*a-29]',), {}), None), (((u'[1,-a+1,1,-84*a-52,-434*a-263]',), {}), None), (((u'[a+1,-a+1,a,-2*a-2,a-1]',), {}), None), (((u'[1,-1,1,-18,-19]',), {}), None), (((u'[1,-1,1,-268,-1619]',), {}), None), (((u'[1,-1,1,-88,317]',), {}), None), (((u'[a+1,1,1,0,0]',), {}), None), (((u'[a,1,a,-3*a-3,2*a]',), {}), None), (((u'[a,-1,1,5*a-16,16*a-18]',), {}), None), (((u'[1,-a-1,a+1,69*a-112,327*a-530]',), {}), None), (((u'[a,-1,1,-1,0]',), {}), None)]
