Av(1243, 2341)
View Raw Data
Generating Function
(2x49x3+16x210x+2)5x26x+14x5+15x417x32x2+8x24x(x2)2(x12)(x23x+1)
Counting Sequence
1, 1, 2, 6, 22, 88, 365, 1540, 6568, 28269, 122752, 537708, 2375500, 10579400, 47469377, ...
Implicit Equation for the Generating Function
x(x2)2(2x1)2(x23x+1)2F(x)2+(2x1)(x23x+1)(4x515x4+17x3+2x28x+2)F(x)x7+17x674x5+149x4150x3+78x220x+2=0
Recurrence
a(0)=1
a(1)=1
a(2)=2
a(3)=6
a(4)=22
a(5)=88
a(6)=365
a(7)=1540
a(8)=6568
a(9)=28269
a(n+10)=5(1+n)a(n)11+n+4(25+14n)a(1+n)11+n(2939+1089n)a(n+2)4(11+n)+(11020+2999n)a(n+3)44+4n(11927+2554n)a(n+4)2(11+n)+5(6299+1109n)a(n+5)4(11+n)(25862+3857n)a(n+6)4(11+n)+4(821+106n)a(n+7)11+n(1989+226n)a(n+8)2(11+n)+(326+33n)a(n+9)22+2n,n10
Heatmap

To create this heatmap, we sampled 1,000,000 permutations of length 300 uniformly at random. The color of the point (i,j) represents how many permutations have value j at index i (darker = more).

This specification was found using the strategy pack "Point And Row Placements Tracked Fusion" and has 52 rules.

Found on April 25, 2021.

Finding the specification took 69 seconds.

Copy to clipboard:

View tree on standalone page.

Created with Raphaël 2.1.4
16
16
16
28
1
1
46
\
\
16
x
51
\
\
47
\
\
26, 27
\
\
+
50
\
\
16
x
49
\
\
48
1
+
47
\
\
26, 27
\
\
+
46
\
\
25
\
+
45
\
\
26, 27
\
\
x
43, 44
\
\\11
\
1
1
\
\
7
\
\11
+
42
\
\\11
x
40, 41
\
\ \11
\
\ \11
16
9
\11
39
\\11
x
38
\\1 1
16
16
30
1
16
26, 27
\
\
16
35
\/
x
37
\/
35
\/
16
x
36
\/
1
+
35
\/
x
33, 34
1
\ /
\
1
16
28
1
1
x
31, 32
1 1
1
1
1
+
30
1
25
\
x
29
\
1
+
28
1
1
16
25
\
x
26, 27
\
\
1
+
25
\
22, 23
\
\
1
+
24
\
11
x
22, 23
\
\
x
20, 21
\\11
1
1
\
\
8
\11
+
19
\\11
18
\\\11
x
17
\\\1 1
16
13
\111
15
\\111
x
14
\\1 11
12
\1 11
10
\11
1
+
13
\111
x
12
\1 11
9
\11
11
x
10
\11
1
+
9
\11
?
8
\11
+
7
\
\11
x
5, 6
12
\
\1 1
0
1
+
4
11
x
2, 3
1 2
1 1
1
+
0
1

Copy 52 equations to clipboard:
F0(x)=F1(x)+F2(x)F1(x)=1F2(x)=F3(x)F3(x)=F16(x)F4(x)F4(x)=F0(x)+F5(x)F5(x)=F6(x)F6(x)=F16(x)F7(x)F7(x)=F40(x)+F8(x)F8(x)=F9(x,1)F9(x,y)=F1(x)+F10(x,y)+F12(x,y)+F38(x,y)F10(x,y)=F11(x,y)F9(x,y)F11(x,y)=yxF12(x,y)=F13(x,y)F16(x)F13(x,y)=F1(x)+F10(x,y)+F12(x,y)+F14(x,y)+F17(x,y)F14(x,y)=F15(x,y)F16(x)F15(x,y)=yF13(x,y)+F13(x,1)1+yF16(x)=xF17(x,y)=F16(x)F18(x,y)F18(x,y)=yF19(x,y)+F19(x,1)1+yF19(x,y)=F20(x,y)+F8(x)F20(x,y)=F21(x,y)F21(x,y)=F22(x,y)F25(x)F28(x)F22(x,y)=F23(x,y)F23(x,y)=F11(x,y)F24(x,y)F24(x,y)=F1(x)+F22(x,y)F25(x)=F1(x)+F26(x)F26(x)=F27(x)F27(x)=F16(x)F25(x)F28(x)=F29(x)+F33(x)F29(x)=F25(x)F30(x)F30(x)=F1(x)+F31(x)F31(x)=F32(x)F32(x)=F16(x)F28(x)F33(x)=F34(x)F34(x)=F16(x)F26(x)F30(x)F35(x)F35(x)=F1(x)+F36(x)+F37(x)F36(x)=F16(x)F35(x)F37(x)=F16(x)F35(x)F38(x,y)=F16(x)F39(x,y)F39(x,y)=yF9(x,y)+F9(x,1)1+yF40(x)=F41(x)F41(x)=F16(x)F42(x)F42(x)=F43(x)+F7(x)F43(x)=F44(x)F44(x)=F26(x)F28(x)F45(x)F45(x)=F25(x)+F46(x)F46(x)=F26(x)+F47(x)F47(x)=F48(x)+F49(x)+F51(x)F48(x)=0F49(x)=F16(x)F50(x)F50(x)=F26(x)+F47(x)F51(x)=F16(x)F46(x)

This specification was found using the strategy pack "Row Placements Tracked Fusion" and has 491 rules.

Found on April 25, 2021.

Finding the specification took 11 seconds.

This tree is too big to show here. Click to view tree on new page.

Copy 491 equations to clipboard:
F0(x)=F1(x)+F2(x)F1(x)=1F2(x)=F14(x)F3(x)F3(x)=F1(x)+F4(x)+F489(x)F4(x)=F14(x)F5(x)F5(x)=F1(x)+F483(x)+F488(x)+F6(x)F6(x)=F14(x)F7(x)F7(x)=F8(x,1)F8(x,y)=F1(x)+F18(x,y)+F20(x,y)+F466(x,y)+F9(x,y)F9(x,y)=F10(x,y)F11(x,y)F10(x,y)=yxF11(x,y)=F1(x)+F12(x,y)+F15(x,y)+F9(x,y)F12(x,y)=F13(x,y)F14(x)F13(x,y)=yF11(x,y)+F11(x,1)1+yF14(x)=xF15(x,y)=F14(x)F16(x,y)F16(x,y)=F1(x)+F17(x,y)+F18(x,y)+F20(x,y)+F453(x,y)F17(x,y)=F10(x,y)F16(x,y)F18(x,y)=F14(x)F19(x,y)F19(x,y)=yF8(x,y)+F8(x,1)1+yF20(x,y)=F14(x)F21(x,y)F21(x,y)=F1(x)+F17(x,y)+F18(x,y)+F20(x,y)+F22(x,y)+F447(x,y)F22(x,y)=F14(x)F23(x,y)F23(x,y)=F216(x,y)+F24(x)F24(x)=F102(x)+F25(x)F25(x)=F26(x)+F99(x)F26(x)=F27(x)+F61(x)F27(x)=F1(x)+F28(x)F28(x)=F29(x)F29(x)=F14(x)F30(x)F30(x)=F31(x)+F34(x)F31(x)=F1(x)+F32(x)F32(x)=F33(x)F33(x)=F14(x)F31(x)F34(x)=F35(x)+F47(x)F35(x)=F36(x)F36(x)=F14(x)F37(x)F37(x)=F38(x)+F39(x)F38(x)=F1(x)+F14(x)F39(x)=F35(x)+F40(x)F40(x)=F41(x)+F42(x)+F46(x)F41(x)=0F42(x)=F14(x)F43(x)F43(x)=F44(x)+F45(x)F44(x)=F14(x)F45(x)=F40(x)F46(x)=F14(x)F35(x)F47(x)=F41(x)+F48(x)+F60(x)F48(x)=F14(x)F49(x)F49(x)=F50(x)+F53(x)F50(x)=F32(x)+F51(x)F51(x)=F52(x)F52(x)=F14(x)F32(x)F53(x)=F47(x)+F54(x)F54(x)=2F41(x)+F55(x)+F59(x)F55(x)=F14(x)F56(x)F56(x)=F57(x)+F58(x)F57(x)=F51(x)F58(x)=F54(x)F59(x)=F14(x)F47(x)F60(x)=F14(x)F34(x)F61(x)=F28(x)+F62(x)F62(x)=F63(x)F63(x)=F14(x)F64(x)F64(x)=F65(x)+F71(x)F65(x)=F66(x)+F69(x)F66(x)=F67(x)F67(x)=F14(x)F68(x)F68(x)=F1(x)+F66(x)F69(x)=F70(x)F70(x)=F14(x)F65(x)F71(x)=F72(x)+F85(x)F72(x)=F73(x)F73(x)=F14(x)F74(x)F74(x)=F75(x)+F78(x)F75(x)=F66(x)+F76(x)F76(x)=F77(x)F77(x)=F14(x)F66(x)F78(x)=F72(x)+F79(x)F79(x)=2F41(x)+F80(x)+F84(x)F80(x)=F14(x)F81(x)F81(x)=F82(x)+F83(x)F82(x)=F76(x)F83(x)=F79(x)F84(x)=F14(x)F72(x)F85(x)=2F41(x)+F86(x)+F98(x)F86(x)=F14(x)F87(x)F87(x)=F88(x)+F91(x)F88(x)=F69(x)+F89(x)F89(x)=F90(x)F90(x)=F14(x)F69(x)F91(x)=F85(x)+F92(x)F92(x)=3F41(x)+F93(x)+F97(x)F93(x)=F14(x)F94(x)F94(x)=F95(x)+F96(x)F95(x)=F89(x)F96(x)=F92(x)F97(x)=F14(x)F85(x)F98(x)=F14(x)F71(x)F99(x)=F100(x)+F101(x)F100(x)=F28(x)F101(x)=F62(x)F102(x)=F103(x)+F174(x)F103(x)=F104(x)+F108(x)F104(x)=F105(x)+F66(x)F105(x)=F106(x)F106(x)=F107(x)F14(x)F107(x)=F105(x)+F28(x)F108(x)=F109(x)+F171(x)F109(x)=F110(x)+F112(x)+F41(x)F110(x)=F111(x)F14(x)F111(x)=F109(x)+F28(x)F112(x)=F113(x)F14(x)F113(x)=F114(x)+F119(x)F114(x)=F115(x)+F66(x)F115(x)=F116(x)+F118(x)+F41(x)F116(x)=F117(x)F14(x)F117(x)=F115(x)+F32(x)F118(x)=F114(x)F14(x)F119(x)=F120(x)+F143(x)F120(x)=F121(x)+F126(x)+F41(x)F121(x)=F122(x)F14(x)F122(x)=F123(x)+F66(x)F123(x)=F121(x)+F124(x)+F41(x)F124(x)=F125(x)F14(x)F125(x)=F123(x)+F66(x)F126(x)=F127(x)F14(x)F127(x)=F128(x)+F132(x)F128(x)=F129(x)+F66(x)F129(x)=F130(x)+F41(x)+F77(x)F130(x)=F131(x)F14(x)F131(x)=F129(x)+F14(x)F132(x)=F120(x)+F133(x)F133(x)=F134(x)+F138(x)+F142(x)+F41(x)F134(x)=F135(x)F14(x)F135(x)=F136(x)+F76(x)F136(x)=2F41(x)+F134(x)+F137(x)F137(x)=F123(x)F14(x)F138(x)=F139(x)F14(x)F139(x)=F140(x)+F141(x)F140(x)=F129(x)F141(x)=F133(x)F142(x)=F120(x)F14(x)F143(x)=F144(x)+F151(x)+F170(x)+F41(x)F144(x)=F14(x)F145(x)F145(x)=F115(x)+F146(x)F146(x)=F144(x)+F147(x)+F149(x)+F41(x)F147(x)=F14(x)F148(x)F148(x)=F115(x)+F146(x)F149(x)=F14(x)F150(x)F150(x)=F123(x)+F146(x)F151(x)=F14(x)F152(x)F152(x)=F153(x)+F158(x)F153(x)=F115(x)+F154(x)F154(x)=2F41(x)+F155(x)+F157(x)F155(x)=F14(x)F156(x)F156(x)=F154(x)+F51(x)F157(x)=F115(x)F14(x)F158(x)=F143(x)+F159(x)F159(x)=2F41(x)+F160(x)+F165(x)+F169(x)F160(x)=F14(x)F161(x)F161(x)=F162(x)+F163(x)F162(x)=F157(x)F163(x)=3F41(x)+F160(x)+F164(x)F164(x)=F14(x)F146(x)F165(x)=F14(x)F166(x)F166(x)=F167(x)+F168(x)F167(x)=F154(x)F168(x)=F159(x)F169(x)=F14(x)F143(x)F170(x)=F119(x)F14(x)F171(x)=F172(x)F172(x)=F14(x)F173(x)F173(x)=F171(x)+F62(x)F174(x)=F175(x)+F176(x)F175(x)=F109(x)F176(x)=F177(x)F177(x)=2F41(x)+F178(x)+F180(x)F178(x)=F14(x)F179(x)F179(x)=F177(x)+F62(x)F180(x)=F14(x)F181(x)F181(x)=F182(x)+F188(x)F182(x)=F183(x)+F186(x)F183(x)=F184(x)F184(x)=F14(x)F185(x)F185(x)=F183(x)+F66(x)F186(x)=F187(x)F187(x)=F14(x)F182(x)F188(x)=F189(x)+F202(x)F189(x)=F190(x)F190(x)=F14(x)F191(x)F191(x)=F192(x)+F195(x)F192(x)=F183(x)+F193(x)F193(x)=F194(x)F194(x)=F14(x)F183(x)F195(x)=F189(x)+F196(x)F196(x)=3F41(x)+F197(x)+F201(x)F197(x)=F14(x)F198(x)F198(x)=F199(x)+F200(x)F199(x)=F193(x)F200(x)=F196(x)F201(x)=F14(x)F189(x)F202(x)=3F41(x)+F203(x)+F215(x)F203(x)=F14(x)F204(x)F204(x)=F205(x)+F208(x)F205(x)=F186(x)+F206(x)F206(x)=F207(x)F207(x)=F14(x)F186(x)F208(x)=F202(x)+F209(x)F209(x)=4F41(x)+F210(x)+F214(x)F210(x)=F14(x)F211(x)F211(x)=F212(x)+F213(x)F212(x)=F206(x)F213(x)=F209(x)F214(x)=F14(x)F202(x)F215(x)=F14(x)F188(x)F216(x,y)=F217(x,y)+F334(x,y)F217(x,y)=F218(x,y)+F292(x,y)F218(x,y)=F219(x,y)+F226(x,y)F219(x,y)=F220(x,y)+F223(x,y)F220(x,y)=F221(x,y)F221(x,y)=F10(x,y)F222(x,y)F222(x,y)=F1(x)+F220(x,y)F223(x,y)=F224(x,y)F224(x,y)=F10(x,y)F225(x,y)F225(x,y)=F223(x,y)+F28(x)F226(x,y)=F227(x,y)+F289(x,y)F227(x,y)=F228(x,y)+F230(x,y)+F41(x)F228(x,y)=F10(x,y)F229(x,y)F229(x,y)=F227(x,y)+F28(x)F230(x,y)=F14(x)F231(x,y)F231(x,y)=F232(x,y)+F237(x,y)F232(x,y)=F220(x,y)+F233(x,y)F233(x,y)=F234(x,y)+F236(x,y)+F41(x)F234(x,y)=F10(x,y)F235(x,y)F235(x,y)=F233(x,y)+F32(x)F236(x,y)=F14(x)F232(x,y)F237(x,y)=F238(x,y)+F262(x,y)F238(x,y)=F239(x,y)+F244(x,y)+F41(x)F239(x,y)=F10(x,y)F240(x,y)F240(x,y)=F241(x,y)+F66(x)F241(x,y)=F239(x,y)+F242(x,y)+F41(x)F242(x,y)=F14(x)F243(x,y)F243(x,y)=F220(x,y)+F241(x,y)F244(x,y)=F14(x)F245(x,y)F245(x,y)=F246(x,y)+F251(x,y)F246(x,y)=F220(x,y)+F247(x,y)F247(x,y)=F248(x,y)+F250(x,y)+F41(x)F248(x,y)=F10(x,y)F249(x,y)F249(x,y)=F14(x)+F247(x,y)F250(x,y)=F14(x)F220(x,y)F251(x,y)=F238(x,y)+F252(x,y)F252(x,y)=F253(x,y)+F257(x,y)+F261(x,y)+F41(x)F253(x,y)=F10(x,y)F254(x,y)F254(x,y)=F255(x,y)+F76(x)F255(x,y)=2F41(x)+F253(x,y)+F256(x,y)F256(x,y)=F14(x)F241(x,y)F257(x,y)=F14(x)F258(x,y)F258(x,y)=F259(x,y)+F260(x,y)F259(x,y)=F247(x,y)F260(x,y)=F252(x,y)F261(x,y)=F14(x)F238(x,y)F262(x,y)=F263(x,y)+F270(x,y)+F288(x,y)+F41(x)F263(x,y)=F10(x,y)F264(x,y)F264(x,y)=F115(x)+F265(x,y)F265(x,y)=F263(x,y)+F266(x,y)+F268(x,y)+F41(x)F266(x,y)=F14(x)F267(x,y)F267(x,y)=F233(x,y)+F265(x,y)F268(x,y)=F14(x)F269(x,y)F269(x,y)=F241(x,y)+F265(x,y)F270(x,y)=F14(x)F271(x,y)F271(x,y)=F272(x,y)+F277(x,y)F272(x,y)=F233(x,y)+F273(x,y)F273(x,y)=2F41(x)+F274(x,y)+F276(x,y)F274(x,y)=F10(x,y)F275(x,y)F275(x,y)=F273(x,y)+F51(x)F276(x,y)=F14(x)F233(x,y)F277(x,y)=F262(x,y)+F278(x,y)F278(x,y)=2F41(x)+F279(x,y)+F283(x,y)+F287(x,y)F279(x,y)=F10(x,y)F280(x,y)F280(x,y)=F162(x)+F281(x,y)F281(x,y)=3F41(x)+F279(x,y)+F282(x,y)F282(x,y)=F14(x)F265(x,y)F283(x,y)=F14(x)F284(x,y)F284(x,y)=F285(x,y)+F286(x,y)F285(x,y)=F273(x,y)F286(x,y)=F278(x,y)F287(x,y)=F14(x)F262(x,y)F288(x,y)=F14(x)F237(x,y)F289(x,y)=F290(x,y)F290(x,y)=F10(x,y)F291(x,y)F291(x,y)=F289(x,y)+F62(x)F292(x,y)=F293(x,y)+F294(x,y)F293(x,y)=F227(x,y)F294(x,y)=F295(x,y)F295(x,y)=2F41(x)+F296(x,y)+F298(x,y)F296(x,y)=F10(x,y)F297(x,y)F297(x,y)=F295(x,y)+F62(x)F298(x,y)=F14(x)F299(x,y)F299(x,y)=F300(x,y)+F306(x,y)F300(x,y)=F301(x,y)+F304(x,y)F301(x,y)=F302(x,y)F302(x,y)=F14(x)F303(x,y)F303(x,y)=F220(x,y)+F301(x,y)F304(x,y)=F305(x,y)F305(x,y)=F14(x)F300(x,y)F306(x,y)=F307(x,y)+F320(x,y)F307(x,y)=F308(x,y)F308(x,y)=F14(x)F309(x,y)F309(x,y)=F310(x,y)+F313(x,y)F310(x,y)=F301(x,y)+F311(x,y)F311(x,y)=F312(x,y)F312(x,y)=F14(x)F301(x,y)F313(x,y)=F307(x,y)+F314(x,y)F314(x,y)=3F41(x)+F315(x,y)+F319(x,y)F315(x,y)=F14(x)F316(x,y)F316(x,y)=F317(x,y)+F318(x,y)F317(x,y)=F311(x,y)F318(x,y)=F314(x,y)F319(x,y)=F14(x)F307(x,y)F320(x,y)=3F41(x)+F321(x,y)+F333(x,y)F321(x,y)=F14(x)F322(x,y)F322(x,y)=F323(x,y)+F326(x,y)F323(x,y)=F304(x,y)+F324(x,y)F324(x,y)=F325(x,y)F325(x,y)=F14(x)F304(x,y)F326(x,y)=F320(x,y)+F327(x,y)F327(x,y)=4F41(x)+F328(x,y)+F332(x,y)F328(x,y)=F14(x)F329(x,y)F329(x,y)=F330(x,y)+F331(x,y)F330(x,y)=F324(x,y)F331(x,y)=F327(x,y)F332(x,y)=F14(x)F320(x,y)F333(x,y)=F14(x)F306(x,y)F334(x,y)=F335(x,y)+F405(x,y)F335(x,y)=F336(x,y)+F340(x,y)F336(x,y)=F301(x,y)+F337(x,y)F337(x,y)=F338(x,y)F338(x,y)=F14(x)F339(x,y)F339(x,y)=F223(x,y)+F337(x,y)F340(x,y)=F341(x,y)+F402(x,y)F341(x,y)=2F41(x)+F342(x,y)+F344(x,y)F342(x,y)=F14(x)F343(x,y)F343(x,y)=F227(x,y)+F341(x,y)F344(x,y)=F14(x)F345(x,y)F345(x,y)=F346(x,y)+F351(x,y)F346(x,y)=F301(x,y)+F347(x,y)F347(x,y)=2F41(x)+F348(x,y)+F350(x,y)F348(x,y)=F14(x)F349(x,y)F349(x,y)=F233(x,y)+F347(x,y)F350(x,y)=F14(x)F346(x,y)F351(x,y)=F352(x,y)+F375(x,y)F352(x,y)=2F41(x)+F353(x,y)+F358(x,y)F353(x,y)=F14(x)F354(x,y)F354(x,y)=F241(x,y)+F355(x,y)F355(x,y)=2F41(x)+F353(x,y)+F356(x,y)F356(x,y)=F14(x)F357(x,y)F357(x,y)=F301(x,y)+F355(x,y)F358(x,y)=F14(x)F359(x,y)F359(x,y)=F360(x,y)+F364(x,y)F360(x,y)=F301(x,y)+F361(x,y)F361(x,y)=2F41(x)+F312(x,y)+F362(x,y)F362(x,y)=F14(x)F363(x,y)F363(x,y)=F247(x,y)+F361(x,y)F364(x,y)=F352(x,y)+F365(x,y)F365(x,y)=2F41(x)+F366(x,y)+F370(x,y)+F374(x,y)F366(x,y)=F14(x)F367(x,y)F367(x,y)=F255(x,y)+F368(x,y)F368(x,y)=3F41(x)+F366(x,y)+F369(x,y)F369(x,y)=F14(x)F355(x,y)F370(x,y)=F14(x)F371(x,y)F371(x,y)=F372(x,y)+F373(x,y)F372(x,y)=F361(x,y)F373(x,y)=F365(x,y)F374(x,y)=F14(x)F352(x,y)F375(x,y)=2F41(x)+F376(x,y)+F383(x,y)+F401(x,y)F376(x,y)=F14(x)F377(x,y)F377(x,y)=F265(x,y)+F378(x,y)F378(x,y)=2F41(x)+F376(x,y)+F379(x,y)+F381(x,y)F379(x,y)=F14(x)F380(x,y)F380(x,y)=F347(x,y)+F378(x,y)F381(x,y)=F14(x)F382(x,y)F382(x,y)=F355(x,y)+F378(x,y)F383(x,y)=F14(x)F384(x,y)F384(x,y)=F385(x,y)+F390(x,y)F385(x,y)=F347(x,y)+F386(x,y)F386(x,y)=3F41(x)+F387(x,y)+F389(x,y)F387(x,y)=F14(x)F388(x,y)F388(x,y)=F273(x,y)+F386(x,y)F389(x,y)=F14(x)F347(x,y)F390(x,y)=F375(x,y)+F391(x,y)F391(x,y)=3F41(x)+F392(x,y)+F396(x,y)+F400(x,y)F392(x,y)=F14(x)F393(x,y)F393(x,y)=F281(x,y)+F394(x,y)F394(x,y)=4F41(x)+F392(x,y)+F395(x,y)F395(x,y)=F14(x)F378(x,y)F396(x,y)=F14(x)F397(x,y)F397(x,y)=F398(x,y)+F399(x,y)F398(x,y)=F386(x,y)F399(x,y)=F391(x,y)F400(x,y)=F14(x)F375(x,y)F401(x,y)=F14(x)F351(x,y)F402(x,y)=F403(x,y)F403(x,y)=F14(x)F404(x,y)F404(x,y)=F289(x,y)+F402(x,y)F405(x,y)=F406(x,y)+F407(x,y)F406(x,y)=F341(x,y)F407(x,y)=F408(x,y)F408(x,y)=3F41(x)+F409(x,y)+F411(x,y)F409(x,y)=F14(x)F410(x,y)F410(x,y)=F295(x,y)+F408(x,y)F411(x,y)=F14(x)F412(x,y)F412(x,y)=F413(x,y)+F419(x,y)F413(x,y)=F414(x,y)+F417(x,y)F414(x,y)=F415(x,y)F415(x,y)=F14(x)F416(x,y)F416(x,y)=F301(x,y)+F414(x,y)F417(x,y)=F418(x,y)F418(x,y)=F14(x)F413(x,y)F419(x,y)=F420(x,y)+F433(x,y)F420(x,y)=F421(x,y)F421(x,y)=F14(x)F422(x,y)F422(x,y)=F423(x,y)+F426(x,y)F423(x,y)=F414(x,y)+F424(x,y)F424(x,y)=F425(x,y)F425(x,y)=F14(x)F414(x,y)F426(x,y)=F420(x,y)+F427(x,y)F427(x,y)=4F41(x)+F428(x,y)+F432(x,y)F428(x,y)=F14(x)F429(x,y)F429(x,y)=F430(x,y)+F431(x,y)F430(x,y)=F424(x,y)F431(x,y)=F427(x,y)F432(x,y)=F14(x)F420(x,y)F433(x,y)=4F41(x)+F434(x,y)+F446(x,y)F434(x,y)=F14(x)F435(x,y)F435(x,y)=F436(x,y)+F439(x,y)F436(x,y)=F417(x,y)+F437(x,y)F437(x,y)=F438(x,y)F438(x,y)=F14(x)F417(x,y)F439(x,y)=F433(x,y)+F440(x,y)F440(x,y)=5F41(x)+F441(x,y)+F445(x,y)F441(x,y)=F14(x)F442(x,y)F442(x,y)=F443(x,y)+F444(x,y)F443(x,y)=F437(x,y)F444(x,y)=F440(x,y)F445(x,y)=F14(x)F433(x,y)F446(x,y)=F14(x)F419(x,y)F447(x,y)=F448(x,y)F448(x,y)=F14(x)F222(x,y)F449(x)F68(x)F449(x)=F450(x)+F451(x)F450(x)=F27(x)F68(x)F451(x)=F452(x)F452(x)=F14(x)F30(x)F66(x)F68(x)F453(x,y)=F14(x)F454(x,y)F454(x,y)=F455(x)+F459(x,y)F455(x)=F26(x)+F456(x)F456(x)=F457(x)+F458(x)F457(x)=F109(x)+F66(x)F458(x)=F109(x)+F177(x)F459(x,y)=F460(x,y)+F463(x,y)F460(x,y)=F461(x,y)+F462(x,y)F461(x,y)=F220(x,y)+F227(x,y)F462(x,y)=F227(x,y)+F295(x,y)F463(x,y)=F464(x,y)+F465(x,y)F464(x,y)=F301(x,y)+F341(x,y)F465(x,y)=F341(x,y)+F408(x,y)F466(x,y)=F14(x)F467(x,y)F467(x,y)=F455(x)+F468(x,y)F468(x,y)=F469(x,y)+F474(x,y)F469(x,y)=F219(x,y)+F470(x,y)F470(x,y)=F223(x,y)+F471(x,y)F471(x,y)=F472(x,y)F472(x,y)=F10(x,y)F473(x,y)F473(x,y)=F471(x,y)+F62(x)F474(x,y)=F475(x,y)+F479(x,y)F475(x,y)=F301(x,y)+F476(x,y)F476(x,y)=F477(x,y)F477(x,y)=F14(x)F478(x,y)F478(x,y)=F223(x,y)+F476(x,y)F479(x,y)=F476(x,y)+F480(x,y)F480(x,y)=F481(x,y)F481(x,y)=F14(x)F482(x,y)F482(x,y)=F471(x,y)+F480(x,y)F483(x)=F14(x)F484(x)F484(x)=F1(x)+F483(x)+F485(x)+F486(x)+F6(x)F485(x)=F14(x)F24(x)F486(x)=F487(x)F487(x)=F14(x)F449(x)F68(x)F488(x)=F14(x)F455(x)F489(x)=F14(x)F490(x)F490(x)=F11(x,1)

This specification was found using the strategy pack "Insertion Row Placements Tracked Fusion Req Corrob" and has 469 rules.

Found on April 25, 2021.

Finding the specification took 57 seconds.

This tree is too big to show here. Click to view tree on new page.

Copy 469 equations to clipboard:
F0(x)=F1(x)+F2(x)F1(x)=1F2(x)=F3(x)F3(x)=F12(x)F4(x)F4(x)=F40(x)+F5(x)F5(x)=F1(x)+F6(x)F6(x)=F7(x)F7(x)=F12(x)F8(x)F8(x)=F13(x)+F9(x)F9(x)=F1(x)+F10(x)F10(x)=F11(x)F11(x)=F12(x)F9(x)F12(x)=xF13(x)=F14(x)+F26(x)F14(x)=F15(x)F15(x)=F12(x)F16(x)F16(x)=F17(x)+F18(x)F17(x)=F1(x)+F12(x)F18(x)=F14(x)+F19(x)F19(x)=F20(x)+F21(x)+F25(x)F20(x)=0F21(x)=F12(x)F22(x)F22(x)=F23(x)+F24(x)F23(x)=F12(x)F24(x)=F19(x)F25(x)=F12(x)F14(x)F26(x)=F20(x)+F27(x)+F39(x)F27(x)=F12(x)F28(x)F28(x)=F29(x)+F32(x)F29(x)=F10(x)+F30(x)F30(x)=F31(x)F31(x)=F10(x)F12(x)F32(x)=F26(x)+F33(x)F33(x)=2F20(x)+F34(x)+F38(x)F34(x)=F12(x)F35(x)F35(x)=F36(x)+F37(x)F36(x)=F30(x)F37(x)=F33(x)F38(x)=F12(x)F26(x)F39(x)=F12(x)F13(x)F40(x)=F41(x)+F49(x)F41(x)=F42(x)F42(x)=F12(x)F43(x)F43(x)=F44(x,1)F44(x,y)=F1(x)+F45(x,y)+F47(x,y)F45(x,y)=F44(x,y)F46(x,y)F46(x,y)=yxF47(x,y)=F12(x)F48(x,y)F48(x,y)=yF44(x,y)+F44(x,1)1+yF49(x)=F20(x)+F465(x)+F50(x)F50(x)=F12(x)F51(x)F51(x)=F52(x)+F53(x)F52(x)=F49(x)+F6(x)F53(x)=F121(x)+F54(x)F54(x)=F20(x)+F55(x)+F57(x)F55(x)=F12(x)F56(x)F56(x)=F54(x)+F6(x)F57(x)=F12(x)F58(x)F58(x)=F59(x)+F67(x)F59(x)=F60(x)+F63(x)F60(x)=F61(x)F61(x)=F12(x)F62(x)F62(x)=F1(x)+F60(x)F63(x)=F20(x)+F64(x)+F66(x)F64(x)=F12(x)F65(x)F65(x)=F10(x)+F63(x)F66(x)=F12(x)F59(x)F67(x)=F68(x)+F93(x)F68(x)=F20(x)+F69(x)+F74(x)F69(x)=F12(x)F70(x)F70(x)=F60(x)+F71(x)F71(x)=F20(x)+F69(x)+F72(x)F72(x)=F12(x)F73(x)F73(x)=F60(x)+F71(x)F74(x)=F12(x)F75(x)F75(x)=F76(x)+F81(x)F76(x)=F60(x)+F77(x)F77(x)=F20(x)+F78(x)+F80(x)F78(x)=F12(x)F79(x)F79(x)=F12(x)+F77(x)F80(x)=F12(x)F60(x)F81(x)=F68(x)+F82(x)F82(x)=F20(x)+F83(x)+F88(x)+F92(x)F83(x)=F12(x)F84(x)F84(x)=F85(x)+F86(x)F85(x)=F80(x)F86(x)=2F20(x)+F83(x)+F87(x)F87(x)=F12(x)F71(x)F88(x)=F12(x)F89(x)F89(x)=F90(x)+F91(x)F90(x)=F77(x)F91(x)=F82(x)F92(x)=F12(x)F68(x)F93(x)=F101(x)+F120(x)+F20(x)+F94(x)F94(x)=F12(x)F95(x)F95(x)=F63(x)+F96(x)F96(x)=F20(x)+F94(x)+F97(x)+F99(x)F97(x)=F12(x)F98(x)F98(x)=F63(x)+F96(x)F99(x)=F100(x)F12(x)F100(x)=F71(x)+F96(x)F101(x)=F102(x)F12(x)F102(x)=F103(x)+F108(x)F103(x)=F104(x)+F63(x)F104(x)=2F20(x)+F105(x)+F107(x)F105(x)=F106(x)F12(x)F106(x)=F104(x)+F30(x)F107(x)=F12(x)F63(x)F108(x)=F109(x)+F93(x)F109(x)=2F20(x)+F110(x)+F115(x)+F119(x)F110(x)=F111(x)F12(x)F111(x)=F112(x)+F113(x)F112(x)=F107(x)F113(x)=3F20(x)+F110(x)+F114(x)F114(x)=F12(x)F96(x)F115(x)=F116(x)F12(x)F116(x)=F117(x)+F118(x)F117(x)=F104(x)F118(x)=F109(x)F119(x)=F12(x)F93(x)F120(x)=F12(x)F67(x)F121(x)=F122(x,1)F122(x,y)=F123(x,y)+F125(x,y)+F193(x,y)+F20(x)F123(x,y)=F124(x,y)F46(x,y)F124(x,y)=F122(x,y)+F49(x)F125(x,y)=y(F126(x,1)F126(x,y))1+yF126(x,y)=F12(x)F127(x,y)F127(x,y)=F122(x,y)+F128(x,y)F128(x,y)=F129(x,y)+F131(x,y)+F20(x)F129(x,y)=F130(x,y)F46(x,y)F130(x,y)=F128(x,y)+F6(x)F131(x,y)=F12(x)F132(x,y)F132(x,y)=F133(x,y)+F141(x,y)F133(x,y)=F134(x,y)+F137(x,y)F134(x,y)=F135(x,y)F135(x,y)=F136(x,y)F46(x,y)F136(x,y)=F1(x)+F134(x,y)F137(x,y)=F138(x,y)+F140(x,y)+F20(x)F138(x,y)=F139(x,y)F46(x,y)F139(x,y)=F10(x)+F137(x,y)F140(x,y)=F12(x)F133(x,y)F141(x,y)=F142(x,y)+F166(x,y)F142(x,y)=F143(x,y)+F148(x,y)+F20(x)F143(x,y)=F144(x,y)F46(x,y)F144(x,y)=F145(x,y)+F60(x)F145(x,y)=F143(x,y)+F146(x,y)+F20(x)F146(x,y)=F12(x)F147(x,y)F147(x,y)=F134(x,y)+F145(x,y)F148(x,y)=F12(x)F149(x,y)F149(x,y)=F150(x,y)+F155(x,y)F150(x,y)=F134(x,y)+F151(x,y)F151(x,y)=F152(x,y)+F154(x,y)+F20(x)F152(x,y)=F153(x,y)F46(x,y)F153(x,y)=F12(x)+F151(x,y)F154(x,y)=F12(x)F134(x,y)F155(x,y)=F142(x,y)+F156(x,y)F156(x,y)=F157(x,y)+F161(x,y)+F165(x,y)+F20(x)F157(x,y)=F158(x,y)F46(x,y)F158(x,y)=F159(x,y)+F85(x)F159(x,y)=2F20(x)+F157(x,y)+F160(x,y)F160(x,y)=F12(x)F145(x,y)F161(x,y)=F12(x)F162(x,y)F162(x,y)=F163(x,y)+F164(x,y)F163(x,y)=F151(x,y)F164(x,y)=F156(x,y)F165(x,y)=F12(x)F142(x,y)F166(x,y)=F167(x,y)+F174(x,y)+F192(x,y)+F20(x)F167(x,y)=F168(x,y)F46(x,y)F168(x,y)=F169(x,y)+F63(x)F169(x,y)=F167(x,y)+F170(x,y)+F172(x,y)+F20(x)F170(x,y)=F12(x)F171(x,y)F171(x,y)=F137(x,y)+F169(x,y)F172(x,y)=F12(x)F173(x,y)F173(x,y)=F145(x,y)+F169(x,y)F174(x,y)=F12(x)F175(x,y)F175(x,y)=F176(x,y)+F181(x,y)F176(x,y)=F137(x,y)+F177(x,y)F177(x,y)=2F20(x)+F178(x,y)+F180(x,y)F178(x,y)=F179(x,y)F46(x,y)F179(x,y)=F177(x,y)+F30(x)F180(x,y)=F12(x)F137(x,y)F181(x,y)=F166(x,y)+F182(x,y)F182(x,y)=2F20(x)+F183(x,y)+F187(x,y)+F191(x,y)F183(x,y)=F184(x,y)F46(x,y)F184(x,y)=F112(x)+F185(x,y)F185(x,y)=3F20(x)+F183(x,y)+F186(x,y)F186(x,y)=F12(x)F169(x,y)F187(x,y)=F12(x)F188(x,y)F188(x,y)=F189(x,y)+F190(x,y)F189(x,y)=F177(x,y)F190(x,y)=F182(x,y)F191(x,y)=F12(x)F166(x,y)F192(x,y)=F12(x)F141(x,y)F193(x,y)=F12(x)F194(x,y)F194(x,y)=F195(x,y)+F441(x,y)F195(x,y)=F196(x,y)+F202(x,y)F196(x,y)=F197(x,y)+F199(x,y)+F20(x)F197(x,y)=F198(x,y)F46(x,y)F198(x,y)=F196(x,y)+F41(x)F199(x,y)=y(F200(x,1)F200(x,y))1+yF200(x,y)=F12(x)F201(x,y)F201(x,y)=F134(x,y)+F196(x,y)F202(x,y)=F20(x)+F203(x,y)+F215(x,y)+F298(x,y)F203(x,y)=F204(x,y)F46(x,y)F204(x,y)=F202(x,y)+F205(x)F205(x)=F20(x)+F206(x)+F223(x)F206(x)=F12(x)F207(x)F207(x)=F208(x)+F209(x)F208(x)=F205(x)+F6(x)F209(x)=F210(x,1)F210(x,y)=F211(x,y)+F214(x,y)F211(x,y)=F212(x,y)F212(x,y)=F213(x,y)F46(x,y)F213(x,y)=F211(x,y)+F6(x)F214(x,y)=2F20(x)+F215(x,y)+F217(x,y)F215(x,y)=y(F216(x,1)F216(x,y))1+yF216(x,y)=F12(x)F210(x,y)F217(x,y)=F218(x,y)F218(x,y)=F12(x)F134(x,y)F219(x)F60(x)F219(x)=F220(x)+F221(x)F220(x)=F5(x)F62(x)F221(x)=F222(x)F222(x)=F12(x)F60(x)F62(x)F8(x)F223(x)=F12(x)F224(x)F224(x)=F225(x)+F226(x)F225(x)=F54(x)+F60(x)F226(x)=F227(x)+F54(x)F227(x)=2F20(x)+F228(x)+F262(x)F228(x)=F12(x)F229(x)F229(x)=F227(x)+F230(x)F230(x)=F231(x)F231(x)=F12(x)F232(x)F232(x)=F233(x)+F236(x)F233(x)=F234(x)+F60(x)F234(x)=F235(x)F235(x)=F12(x)F233(x)F236(x)=F237(x)+F248(x)F237(x)=F238(x)F238(x)=F12(x)F239(x)F239(x)=F240(x)+F241(x)F240(x)=F60(x)+F85(x)F241(x)=F237(x)+F242(x)F242(x)=2F20(x)+F243(x)+F247(x)F243(x)=F12(x)F244(x)F244(x)=F245(x)+F246(x)F245(x)=F85(x)F246(x)=F242(x)F247(x)=F12(x)F237(x)F248(x)=2F20(x)+F249(x)+F261(x)F249(x)=F12(x)F250(x)F250(x)=F251(x)+F254(x)F251(x)=F234(x)+F252(x)F252(x)=F253(x)F253(x)=F12(x)F234(x)F254(x)=F248(x)+F255(x)F255(x)=3F20(x)+F256(x)+F260(x)F256(x)=F12(x)F257(x)F257(x)=F258(x)+F259(x)F258(x)=F252(x)F259(x)=F255(x)F260(x)=F12(x)F248(x)F261(x)=F12(x)F236(x)F262(x)=F12(x)F263(x)F263(x)=F264(x)+F270(x)F264(x)=F265(x)+F268(x)F265(x)=F266(x)F266(x)=F12(x)F267(x)F267(x)=F265(x)+F60(x)F268(x)=F269(x)F269(x)=F12(x)F264(x)F270(x)=F271(x)+F284(x)F271(x)=F272(x)F272(x)=F12(x)F273(x)F273(x)=F274(x)+F277(x)F274(x)=F265(x)+F275(x)F275(x)=F276(x)F276(x)=F12(x)F265(x)F277(x)=F271(x)+F278(x)F278(x)=3F20(x)+F279(x)+F283(x)F279(x)=F12(x)F280(x)F280(x)=F281(x)+F282(x)F281(x)=F275(x)F282(x)=F278(x)F283(x)=F12(x)F271(x)F284(x)=3F20(x)+F285(x)+F297(x)F285(x)=F12(x)F286(x)F286(x)=F287(x)+F290(x)F287(x)=F268(x)+F288(x)F288(x)=F289(x)F289(x)=F12(x)F268(x)F290(x)=F284(x)+F291(x)F291(x)=4F20(x)+F292(x)+F296(x)F292(x)=F12(x)F293(x)F293(x)=F294(x)+F295(x)F294(x)=F288(x)F295(x)=F291(x)F296(x)=F12(x)F284(x)F297(x)=F12(x)F270(x)F298(x,y)=F12(x)F299(x,y)F299(x,y)=F300(x,y)+F366(x,y)F300(x,y)=F301(x,y)+F304(x,y)F301(x,y)=F302(x,y)F302(x,y)=F12(x)F303(x,y)F303(x,y)=F134(x,y)+F301(x,y)F304(x,y)=2F20(x)+F305(x,y)+F307(x,y)F305(x,y)=F12(x)F306(x,y)F306(x,y)=F128(x,y)+F304(x,y)F307(x,y)=F12(x)F308(x,y)F308(x,y)=F309(x,y)+F314(x,y)F309(x,y)=F301(x,y)+F310(x,y)F310(x,y)=2F20(x)+F311(x,y)+F313(x,y)F311(x,y)=F12(x)F312(x,y)F312(x,y)=F137(x,y)+F310(x,y)F313(x,y)=F12(x)F309(x,y)F314(x,y)=F315(x,y)+F339(x,y)F315(x,y)=2F20(x)+F316(x,y)+F321(x,y)F316(x,y)=F12(x)F317(x,y)F317(x,y)=F145(x,y)+F318(x,y)F318(x,y)=2F20(x)+F316(x,y)+F319(x,y)F319(x,y)=F12(x)F320(x,y)F320(x,y)=F301(x,y)+F318(x,y)F321(x,y)=F12(x)F322(x,y)F322(x,y)=F323(x,y)+F328(x,y)F323(x,y)=F301(x,y)+F324(x,y)F324(x,y)=2F20(x)+F325(x,y)+F327(x,y)F325(x,y)=F12(x)F326(x,y)F326(x,y)=F151(x,y)+F324(x,y)F327(x,y)=F12(x)F301(x,y)F328(x,y)=F315(x,y)+F329(x,y)F329(x,y)=2F20(x)+F330(x,y)+F334(x,y)+F338(x,y)F330(x,y)=F12(x)F331(x,y)F331(x,y)=F159(x,y)+F332(x,y)F332(x,y)=3F20(x)+F330(x,y)+F333(x,y)F333(x,y)=F12(x)F318(x,y)F334(x,y)=F12(x)F335(x,y)F335(x,y)=F336(x,y)+F337(x,y)F336(x,y)=F324(x,y)F337(x,y)=F329(x,y)F338(x,y)=F12(x)F315(x,y)F339(x,y)=2F20(x)+F340(x,y)+F347(x,y)+F365(x,y)F340(x,y)=F12(x)F341(x,y)F341(x,y)=F169(x,y)+F342(x,y)F342(x,y)=2F20(x)+F340(x,y)+F343(x,y)+F345(x,y)F343(x,y)=F12(x)F344(x,y)F344(x,y)=F310(x,y)+F342(x,y)F345(x,y)=F12(x)F346(x,y)F346(x,y)=F318(x,y)+F342(x,y)F347(x,y)=F12(x)F348(x,y)F348(x,y)=F349(x,y)+F354(x,y)F349(x,y)=F310(x,y)+F350(x,y)F350(x,y)=3F20(x)+F351(x,y)+F353(x,y)F351(x,y)=F12(x)F352(x,y)F352(x,y)=F177(x,y)+F350(x,y)F353(x,y)=F12(x)F310(x,y)F354(x,y)=F339(x,y)+F355(x,y)F355(x,y)=3F20(x)+F356(x,y)+F360(x,y)+F364(x,y)F356(x,y)=F12(x)F357(x,y)F357(x,y)=F185(x,y)+F358(x,y)F358(x,y)=4F20(x)+F356(x,y)+F359(x,y)F359(x,y)=F12(x)F342(x,y)F360(x,y)=F12(x)F361(x,y)F361(x,y)=F362(x,y)+F363(x,y)F362(x,y)=F350(x,y)F363(x,y)=F355(x,y)F364(x,y)=F12(x)F339(x,y)F365(x,y)=F12(x)F314(x,y)F366(x,y)=F304(x,y)+F367(x,y)F367(x,y)=3F20(x)+F368(x,y)+F405(x,y)F368(x,y)=F12(x)F369(x,y)F369(x,y)=F367(x,y)+F370(x,y)F370(x,y)=2F20(x)+F371(x,y)+F373(x,y)F371(x,y)=F372(x,y)F46(x,y)F372(x,y)=F230(x)+F370(x,y)F373(x,y)=F12(x)F374(x,y)F374(x,y)=F375(x,y)+F378(x,y)F375(x,y)=F301(x,y)+F376(x,y)F376(x,y)=F377(x,y)F377(x,y)=F12(x)F375(x,y)F378(x,y)=F379(x,y)+F391(x,y)F379(x,y)=F380(x,y)F380(x,y)=F12(x)F381(x,y)F381(x,y)=F382(x,y)+F384(x,y)F382(x,y)=F301(x,y)+F383(x,y)F383(x,y)=F327(x,y)F384(x,y)=F379(x,y)+F385(x,y)F385(x,y)=3F20(x)+F386(x,y)+F390(x,y)F386(x,y)=F12(x)F387(x,y)F387(x,y)=F388(x,y)+F389(x,y)F388(x,y)=F383(x,y)F389(x,y)=F385(x,y)F390(x,y)=F12(x)F379(x,y)F391(x,y)=3F20(x)+F392(x,y)+F404(x,y)F392(x,y)=F12(x)F393(x,y)F393(x,y)=F394(x,y)+F397(x,y)F394(x,y)=F376(x,y)+F395(x,y)F395(x,y)=F396(x,y)F396(x,y)=F12(x)F376(x,y)F397(x,y)=F391(x,y)+F398(x,y)F398(x,y)=4F20(x)+F399(x,y)+F403(x,y)F399(x,y)=F12(x)F400(x,y)F400(x,y)=F401(x,y)+F402(x,y)F401(x,y)=F395(x,y)F402(x,y)=F398(x,y)F403(x,y)=F12(x)F391(x,y)F404(x,y)=F12(x)F378(x,y)F405(x,y)=F12(x)F406(x,y)F406(x,y)=F407(x,y)+F413(x,y)F407(x,y)=F408(x,y)+F411(x,y)F408(x,y)=F409(x,y)F409(x,y)=F12(x)F410(x,y)F410(x,y)=F301(x,y)+F408(x,y)F411(x,y)=F412(x,y)F412(x,y)=F12(x)F407(x,y)F413(x,y)=F414(x,y)+F427(x,y)F414(x,y)=F415(x,y)F415(x,y)=F12(x)F416(x,y)F416(x,y)=F417(x,y)+F420(x,y)F417(x,y)=F408(x,y)+F418(x,y)F418(x,y)=F419(x,y)F419(x,y)=F12(x)F408(x,y)F420(x,y)=F414(x,y)+F421(x,y)F421(x,y)=4F20(x)+F422(x,y)+F426(x,y)F422(x,y)=F12(x)F423(x,y)F423(x,y)=F424(x,y)+F425(x,y)F424(x,y)=F418(x,y)F425(x,y)=F421(x,y)F426(x,y)=F12(x)F414(x,y)F427(x,y)=4F20(x)+F428(x,y)+F440(x,y)F428(x,y)=F12(x)F429(x,y)F429(x,y)=F430(x,y)+F433(x,y)F430(x,y)=F411(x,y)+F431(x,y)F431(x,y)=F432(x,y)F432(x,y)=F12(x)F411(x,y)F433(x,y)=F427(x,y)+F434(x,y)F434(x,y)=5F20(x)+F435(x,y)+F439(x,y)F435(x,y)=F12(x)F436(x,y)F436(x,y)=F437(x,y)+F438(x,y)F437(x,y)=F431(x,y)F438(x,y)=F434(x,y)F439(x,y)=F12(x)F427(x,y)F440(x,y)=F12(x)F413(x,y)F441(x,y)=F122(x,y)+F442(x,y)F442(x,y)=2F20(x)+F443(x,y)+F463(x,y)+F464(x,y)F443(x,y)=F444(x,y)F46(x,y)F444(x,y)=F442(x,y)+F445(x)F445(x)=2F20(x)+F446(x)+F461(x)F446(x)=F447(x)F447(x)=F12(x)F448(x)F448(x)=F449(x)+F450(x)F449(x)=F230(x)+F445(x)F450(x)=F451(x,1)F451(x,y)=F452(x,y)+F455(x,y)F452(x,y)=F453(x,y)F453(x,y)=F454(x,y)F46(x,y)F454(x,y)=F230(x)+F452(x,y)F455(x,y)=3F20(x)+F456(x,y)+F459(x,y)F456(x,y)=F457(x,y)F457(x,y)=F12(x)F458(x,y)F458(x,y)=y(F451(x,1)F451(x,y))1+yF459(x,y)=F460(x,y)F460(x,y)=F12(x)F134(x,y)F6(x)F60(x)F62(x)F461(x)=F462(x)F462(x)=F12(x)F6(x)F60(x)F62(x)F463(x,y)=F457(x,y)F464(x,y)=F460(x,y)F465(x)=F12(x)F466(x)F466(x)=F467(x)+F468(x)F467(x)=F205(x)+F41(x)F468(x)=F445(x)+F49(x)