0132_1203_1302_2013_2031
Counting sequence:
1, 1, 2, 6, 19, 59, 180, 545, 1647, 4977, 15043, 45473, 137464, 415553, 1256212, 3797508, 11479796, 34703205, 104907130, 317132270, 958684865, 2898086256, 8760860065, 26483914652, 80060374207, 242021000371, 731624916824, 2211688316710, 6685892043586, 20211325475112, 61098455493741, 184699477939605, 558343036259833, 1687860461856762, 5102370323776270, 15424369199521011, 46627577009552335, 140954285368717024, 426102144654341469, 1288098742114050735, 3893898189087405097, 11771180742008411151, 35584057243546862741, 107569933523591049440, 325181879038491058773, 983018683671617109176, 2971646929726662244704, 8983232589202585475944, 27156142590309067059441, 82092506574034926933826, 248164098166611826900274, 750195385535062094263721, 2267826493178935728950816, 6855596691648668965204193, 20724339423631493100493488, 62649286978782089427598719, 189387612252397439997886315, 572515177815383865105434476, 1730702578329968621200996622, 5231881233380839489964408838, 15815878235193725305386052320, 47811101436037936800303550137, 144532057375131235989682638601, 436917681911896212834994928257, 1320793907138496397433444635314, 3992735055950310851319517622630, 12069962725337500795806251162771, 36487269540693934547993925133843, 110300327252918249353290900747772, 333435807755689839796621752574937, 1007970154419898554456639796963727, 3047074754927657496535085745214785, 9211249481350867112086783841279195, 27845433352258214199313137466446745, 84176219539473730752043719180187416, 254463123138395936015172365619636857, 769237219152872389614978771143189372, 2325389596858086799731968336462102876, 7029608867770063455789400052428341900, 21250374948180015531102631590768488941, 64239482442425956374491971941840498378, 194194743129658713804583681111809854406, 587047043739693923177064819338881784769, 1774632134781411616932579956672936452320, 5364679453518019842286093712201543958097, 16217324748570113553170023571602811600468, 49024666670086867290362817080207426003903, 148200642175895025994835877762945517350259, 448007744532998338613541315994356164501376, 1354318957156247235324335300427061774888822, 4094080649486824161359278690852058713473674, 12376328542057533083802355446595663393720552, 37413407623063702785562106738931156708881253, 113100025198330275019547176372568058228792477, 341899241810240259151102015305431566863424025, 1033554955849319240008019625070196533981261098, 3124417126825852476695228272745308735867537422, 9445054012034463155196619047924219357554070323, 28552220036278340140043647563606275996337400327, 86312822347159245334638926483949628237246841736, 260922033105182509449144120053201739044792147157
Generating function in Maple syntax:
-(x-1)*(x^3-2*x^2+3*x-1)/(x^5-3*x^4+7*x^3-8*x^2+5*x-1)
Generating function in latex syntax:
-\frac{\left(x -1\right) \left(x^{3}-2 x^{2}+3 x -1\right)}{x^{5}-3 x^{4}+7 x^{3}-8 x^{2}+5 x -1}
Generating function in sympy syntax:
(1 - x)*(x**3 - 2*x**2 + 3*x - 1)/(x**5 - 3*x**4 + 7*x**3 - 8*x**2 + 5*x - 1)
Implicit equation for the generating function in Maple syntax:
(x^5-3*x^4+7*x^3-8*x^2+5*x-1)*F(x)+(x-1)*(x^3-2*x^2+3*x-1) = 0
Implicit equation for the generating function in latex syntax:
\left(x^{5}-3 x^{4}+7 x^{3}-8 x^{2}+5 x -1\right) F \! \left(x \right)+\left(x -1\right) \left(x^{3}-2 x^{2}+3 x -1\right) = 0
Explicit closed form in Maple syntax:
29241/6848689*((((-1+122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(-1-35/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)+122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+56/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^3+((-1+122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^3+(49/171-214/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(2213/171+14/9*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)-310/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-1454/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^2+((-1-35/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^3+(2213/171+14/9*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(-6491/171+232/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)+196/9-91/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)+(122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+56/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^3+(-310/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-1454/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(196/9-91/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)-134/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+1021/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^(-n+1)+(((-122/171+35/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(-122/171+35/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2+142/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)-53/57-122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^2+((-122/171+35/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2+142/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(1061/171+142/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2-116/9*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)+910/171+1061/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)+(-53/57-122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(910/171+1061/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)-53/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2+910/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-680/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)^(-n+1)+(((-122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)+1)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+293/171+RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^4+((179/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-220/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-2467/171-220/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^3+((-1367/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)+106/57)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+6815/171+106/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^2+((764/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)+364/57)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-11642/171+364/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)+(-526/171-959/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+3341/57-526/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^(-n+1)+(((-1+122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(-1-35/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)+122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+56/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^2+((-1-35/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(-142/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+1766/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)-1127/171+122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)+(122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+56/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(-1127/171+122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)-63/19+53/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^(-n+2)+(((-122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)+1)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+293/171+RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^3+((179/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-220/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-2467/171-220/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^2+((-136/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-149/57)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+1697/57-149/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)+(109/57+48/19*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-1475/57+109/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^(-n+2)+(((-122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)+1)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+293/171+RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^2+((35/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)+1)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-548/57+RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)+(-56/171-122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+1286/171-56/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^(-n+3)+(((-1409/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)+409/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+202/19+409/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)+(202/19+409/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-2681/171+202/19*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^(-n+1)+(((959/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-85/19)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-1724/171-85/19*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)+(-1724/171-85/19*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+6691/171-1724/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^(-n+2)+(((-48/19*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)+391/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+823/171+391/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)+(823/171+391/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-3478/171+823/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^(-n+3)+(((122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-1)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-293/171-RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)+(-293/171-RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+1588/171-293/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^(-n+4)+(((-293/171-RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(548/57-RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)+56/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-1286/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^3-(RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)-3)*((293/171+RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(-548/57+RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)-56/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+1286/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^2+((548/57-RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^3+(-6218/171+569/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(13576/171-854/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)-6983/171+1679/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)+(56/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-1286/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^3+(-56/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+1286/57)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(-6983/171+1679/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)+895/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-3472/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^(-n)+(((-56/171+RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)+RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(1127/171+RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2-1766/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)+63/19+1127/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-56/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^2+((1127/171+RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2-1766/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(-1135/171-1766/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2+4990/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)-806/171-1135/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)+1127/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)+(63/19+1127/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-56/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^2+(-806/171-1135/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)+1127/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)+63/19*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)^2-806/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-1012/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)^(-n)+(((293/171+RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-1588/171+293/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^4+((-3*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-293/57)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+1588/57-293/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^3+((7*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)+2051/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-11116/171+2051/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^2+((-7*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-1790/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+13087/171-1790/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)+(673/57+143/19*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-13358/171+673/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)^(-n)+(((RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)+554/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+383/171+554/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)+(383/171+554/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-5711/171+383/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3))*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)^(-n)-2617/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 5)^(-n))*((((RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-122/171)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-22/57)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)+(-122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-22/57)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-22/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)+31/57)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 1)+((-122/171*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-22/57)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)-22/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)+31/57)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 2)+(-22/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)+31/57)*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 4)+31/57*RootOf(_Z^5-3*_Z^4+7*_Z^3-8*_Z^2+5*_Z-1,index = 3)-250/171)
Explicit closed form in latex syntax:
\frac{29241 \left(\left(\left(\left(-1+\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(-1-\frac{35 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)+\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}+\frac{56}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{3}+\left(\left(-1+\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{3}+\left(\frac{49}{171}-\frac{214 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(\frac{2213}{171}+\frac{14 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{9}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)-\frac{310 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}-\frac{1454}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{2}+\left(\left(-1-\frac{35 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{3}+\left(\frac{2213}{171}+\frac{14 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{9}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(-\frac{6491}{171}+\frac{232 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)+\frac{196}{9}-\frac{91 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)+\left(\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}+\frac{56}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{3}+\left(-\frac{310 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}-\frac{1454}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(\frac{196}{9}-\frac{91 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)-\frac{134 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}+\frac{1021}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{-n +1}+\left(\left(\left(-\frac{122}{171}+\frac{35 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{57}-\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(-\frac{122}{171}+\frac{35 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}}{57}+\frac{142 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)-\frac{53}{57}-\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}-\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{2}+\left(\left(-\frac{122}{171}+\frac{35 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}}{57}+\frac{142 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(\frac{1061}{171}+\frac{142 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}}{171}-\frac{116 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{9}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)+\frac{910}{171}+\frac{1061 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}-\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)+\left(-\frac{53}{57}-\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}-\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(\frac{910}{171}+\frac{1061 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}-\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)-\frac{53 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}}{57}+\frac{910 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}-\frac{680}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)^{-n +1}+\left(\left(\left(-\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}+1\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)+\frac{293}{171}+\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{4}+\left(\left(\frac{179 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{57}-\frac{220}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)-\frac{2467}{171}-\frac{220 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{3}+\left(\left(-\frac{1367 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}+\frac{106}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)+\frac{6815}{171}+\frac{106 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{2}+\left(\left(\frac{764 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}+\frac{364}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)-\frac{11642}{171}+\frac{364 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)+\left(-\frac{526}{171}-\frac{959 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)+\frac{3341}{57}-\frac{526 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{-n +1}+\left(\left(\left(-1+\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(-1-\frac{35 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)+\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}+\frac{56}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{2}+\left(\left(-1-\frac{35 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(-\frac{142 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}+\frac{1766}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)-\frac{1127}{171}+\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)+\left(\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}+\frac{56}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(-\frac{1127}{171}+\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)-\frac{63}{19}+\frac{53 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{-n +2}+\left(\left(\left(-\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}+1\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)+\frac{293}{171}+\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{3}+\left(\left(\frac{179 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{57}-\frac{220}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)-\frac{2467}{171}-\frac{220 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{2}+\left(\left(-\frac{136 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{57}-\frac{149}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)+\frac{1697}{57}-\frac{149 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)+\left(\frac{109}{57}+\frac{48 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{19}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)-\frac{1475}{57}+\frac{109 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{-n +2}+\left(\left(\left(-\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}+1\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)+\frac{293}{171}+\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{2}+\left(\left(\frac{35 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{57}+1\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)-\frac{548}{57}+\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)+\left(-\frac{56}{171}-\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)+\frac{1286}{171}-\frac{56 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{-n +3}+\left(\left(\left(-\frac{1409 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}+\frac{409}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)+\frac{202}{19}+\frac{409 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)+\left(\frac{202}{19}+\frac{409 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)-\frac{2681}{171}+\frac{202 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{19}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{-n +1}+\left(\left(\left(\frac{959 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}-\frac{85}{19}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)-\frac{1724}{171}-\frac{85 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{19}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)+\left(-\frac{1724}{171}-\frac{85 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{19}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)+\frac{6691}{171}-\frac{1724 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{-n +2}+\left(\left(\left(-\frac{48 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{19}+\frac{391}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)+\frac{823}{171}+\frac{391 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)+\left(\frac{823}{171}+\frac{391 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)-\frac{3478}{171}+\frac{823 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{-n +3}+\left(\left(\left(\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}-1\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)-\frac{293}{171}-\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)+\left(-\frac{293}{171}-\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)+\frac{1588}{171}-\frac{293 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{-n +4}+\left(\left(\left(-\frac{293}{171}-\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(\frac{548}{57}-\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)+\frac{56 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}-\frac{1286}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{3}-\left(\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)-3\right) \left(\left(\frac{293}{171}+\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(-\frac{548}{57}+\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)-\frac{56 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}+\frac{1286}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{2}+\left(\left(\frac{548}{57}-\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{3}+\left(-\frac{6218}{171}+\frac{569 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(\frac{13576}{171}-\frac{854 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)-\frac{6983}{171}+\frac{1679 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)+\left(\frac{56 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}-\frac{1286}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{3}+\left(-\frac{56 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{57}+\frac{1286}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(-\frac{6983}{171}+\frac{1679 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)+\frac{895 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)}{171}-\frac{3472}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{-n}+\left(\left(\left(-\frac{56}{171}+\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)+\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(\frac{1127}{171}+\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}-\frac{1766 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)+\frac{63}{19}+\frac{1127 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}-\frac{56 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{2}+\left(\left(\frac{1127}{171}+\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}-\frac{1766 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(-\frac{1135}{171}-\frac{1766 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}}{171}+\frac{4990 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)-\frac{806}{171}-\frac{1135 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}+\frac{1127 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)+\left(\frac{63}{19}+\frac{1127 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}-\frac{56 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{2}+\left(-\frac{806}{171}-\frac{1135 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}+\frac{1127 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)+\frac{63 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)^{2}}{19}-\frac{806 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}-\frac{1012}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)^{-n}+\left(\left(\left(\frac{293}{171}+\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)-\frac{1588}{171}+\frac{293 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{4}+\left(\left(-3 \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)-\frac{293}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)+\frac{1588}{57}-\frac{293 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{3}+\left(\left(7 \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)+\frac{2051}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)-\frac{11116}{171}+\frac{2051 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{2}+\left(\left(-7 \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)-\frac{1790}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)+\frac{13087}{171}-\frac{1790 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)+\left(\frac{673}{57}+\frac{143 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{19}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)-\frac{13358}{171}+\frac{673 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)^{-n}+\left(\left(\left(\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)+\frac{554}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)+\frac{383}{171}+\frac{554 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)+\left(\frac{383}{171}+\frac{554 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)-\frac{5711}{171}+\frac{383 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)^{-n}-\frac{2617 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =5\right)^{-n}}{171}\right) \left(\left(\left(\left(\mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)-\frac{122}{171}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)-\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}-\frac{22}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)+\left(-\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}-\frac{22}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)-\frac{22 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{57}+\frac{31}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =1\right)+\left(\left(-\frac{122 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{171}-\frac{22}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)-\frac{22 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{57}+\frac{31}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =2\right)+\left(-\frac{22 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{57}+\frac{31}{57}\right) \mathit{RootOf}\! \left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =4\right)+\frac{31 \mathit{RootOf}\left(\textit{\_Z}^{5}-3 \textit{\_Z}^{4}+7 \textit{\_Z}^{3}-8 \textit{\_Z}^{2}+5 \textit{\_Z} -1, \mathit{index} =3\right)}{57}-\frac{250}{171}\right)}{6848689}
Recurrence in maple format:
a(0) = 1
a(1) = 1
a(2) = 2
a(3) = 6
a(4) = 19
a(n+5) = a(n)-3*a(n+1)+7*a(n+2)-8*a(n+3)+5*a(n+4), n >= 5
Recurrence in latex format:
a \! \left(0\right) = 1
a \! \left(1\right) = 1
a \! \left(2\right) = 2
a \! \left(3\right) = 6
a \! \left(4\right) = 19
a \! \left(n +5\right) = a \! \left(n \right)-3 a \! \left(n +1\right)+7 a \! \left(n +2\right)-8 a \! \left(n +3\right)+5 a \! \left(n +4\right), \quad n \geq 5
Specification 1
Strategy pack name: point_placements
Tree: http://permpal.com/tree/19883/
System of equations in Maple syntax:
F[0,x] = F[1,x]+F[2,x]
F[1,x] = 1
F[2,x] = F[3,x]
F[3,x] = F[4,x]*F[5,x]
F[4,x] = x
F[5,x] = F[23,x]+F[6,x]
F[6,x] = F[1,x]+F[7,x]
F[7,x] = F[8,x]
F[8,x] = F[4,x]*F[9,x]
F[9,x] = F[10,x]+F[13,x]
F[10,x] = F[1,x]+F[11,x]
F[11,x] = F[12,x]
F[12,x] = F[10,x]*F[4,x]
F[13,x] = F[14,x]+F[7,x]
F[14,x] = F[15,x]+F[16,x]+F[20,x]
F[15,x] = 0
F[16,x] = F[17,x]*F[4,x]
F[17,x] = F[18,x]+F[19,x]
F[18,x] = F[11,x]
F[19,x] = F[14,x]
F[20,x] = F[21,x]*F[4,x]
F[21,x] = F[22,x]+F[7,x]
F[22,x] = F[20,x]
F[23,x] = F[2,x]+F[24,x]
F[24,x] = F[15,x]+F[25,x]+F[29,x]
F[25,x] = F[26,x]*F[4,x]
F[26,x] = F[27,x]+F[28,x]
F[27,x] = F[7,x]
F[28,x] = F[24,x]
F[29,x] = F[30,x]*F[4,x]
F[30,x] = F[31,x]+F[34,x]
F[31,x] = F[2,x]+F[32,x]
F[32,x] = F[33,x]
F[33,x] = F[31,x]*F[4,x]
F[34,x] = F[35,x]+F[36,x]
F[35,x] = F[29,x]
F[36,x] = 2*F[15,x]+F[37,x]+F[41,x]
F[37,x] = F[38,x]*F[4,x]
F[38,x] = F[39,x]+F[40,x]
F[39,x] = F[32,x]
F[40,x] = F[36,x]
F[41,x] = F[4,x]*F[42,x]
F[42,x] = F[35,x]+F[43,x]
F[43,x] = F[41,x]
System of equations in latex syntax:
F_{0}\! \left(x \right) = F_{1}\! \left(x \right)+F_{2}\! \left(x \right)
F_{1}\! \left(x \right) = 1
F_{2}\! \left(x \right) = F_{3}\! \left(x \right)
F_{3}\! \left(x \right) = F_{4}\! \left(x \right) F_{5}\! \left(x \right)
F_{4}\! \left(x \right) = x
F_{5}\! \left(x \right) = F_{23}\! \left(x \right)+F_{6}\! \left(x \right)
F_{6}\! \left(x \right) = F_{1}\! \left(x \right)+F_{7}\! \left(x \right)
F_{7}\! \left(x \right) = F_{8}\! \left(x \right)
F_{8}\! \left(x \right) = F_{4}\! \left(x \right) F_{9}\! \left(x \right)
F_{9}\! \left(x \right) = F_{10}\! \left(x \right)+F_{13}\! \left(x \right)
F_{10}\! \left(x \right) = F_{1}\! \left(x \right)+F_{11}\! \left(x \right)
F_{11}\! \left(x \right) = F_{12}\! \left(x \right)
F_{12}\! \left(x \right) = F_{10}\! \left(x \right) F_{4}\! \left(x \right)
F_{13}\! \left(x \right) = F_{14}\! \left(x \right)+F_{7}\! \left(x \right)
F_{14}\! \left(x \right) = F_{15}\! \left(x \right)+F_{16}\! \left(x \right)+F_{20}\! \left(x \right)
F_{15}\! \left(x \right) = 0
F_{16}\! \left(x \right) = F_{17}\! \left(x \right) F_{4}\! \left(x \right)
F_{17}\! \left(x \right) = F_{18}\! \left(x \right)+F_{19}\! \left(x \right)
F_{18}\! \left(x \right) = F_{11}\! \left(x \right)
F_{19}\! \left(x \right) = F_{14}\! \left(x \right)
F_{20}\! \left(x \right) = F_{21}\! \left(x \right) F_{4}\! \left(x \right)
F_{21}\! \left(x \right) = F_{22}\! \left(x \right)+F_{7}\! \left(x \right)
F_{22}\! \left(x \right) = F_{20}\! \left(x \right)
F_{23}\! \left(x \right) = F_{2}\! \left(x \right)+F_{24}\! \left(x \right)
F_{24}\! \left(x \right) = F_{15}\! \left(x \right)+F_{25}\! \left(x \right)+F_{29}\! \left(x \right)
F_{25}\! \left(x \right) = F_{26}\! \left(x \right) F_{4}\! \left(x \right)
F_{26}\! \left(x \right) = F_{27}\! \left(x \right)+F_{28}\! \left(x \right)
F_{27}\! \left(x \right) = F_{7}\! \left(x \right)
F_{28}\! \left(x \right) = F_{24}\! \left(x \right)
F_{29}\! \left(x \right) = F_{30}\! \left(x \right) F_{4}\! \left(x \right)
F_{30}\! \left(x \right) = F_{31}\! \left(x \right)+F_{34}\! \left(x \right)
F_{31}\! \left(x \right) = F_{2}\! \left(x \right)+F_{32}\! \left(x \right)
F_{32}\! \left(x \right) = F_{33}\! \left(x \right)
F_{33}\! \left(x \right) = F_{31}\! \left(x \right) F_{4}\! \left(x \right)
F_{34}\! \left(x \right) = F_{35}\! \left(x \right)+F_{36}\! \left(x \right)
F_{35}\! \left(x \right) = F_{29}\! \left(x \right)
F_{36}\! \left(x \right) = 2 F_{15}\! \left(x \right)+F_{37}\! \left(x \right)+F_{41}\! \left(x \right)
F_{37}\! \left(x \right) = F_{38}\! \left(x \right) F_{4}\! \left(x \right)
F_{38}\! \left(x \right) = F_{39}\! \left(x \right)+F_{40}\! \left(x \right)
F_{39}\! \left(x \right) = F_{32}\! \left(x \right)
F_{40}\! \left(x \right) = F_{36}\! \left(x \right)
F_{41}\! \left(x \right) = F_{4}\! \left(x \right) F_{42}\! \left(x \right)
F_{42}\! \left(x \right) = F_{35}\! \left(x \right)+F_{43}\! \left(x \right)
F_{43}\! \left(x \right) = F_{41}\! \left(x \right)
System of equations in sympy syntax:
Eq(F_0(x), F_1(x) + F_2(x))
Eq(F_1(x), 1)
Eq(F_2(x), F_3(x))
Eq(F_3(x), F_4(x)*F_5(x))
Eq(F_4(x), x)
Eq(F_5(x), F_23(x) + F_6(x))
Eq(F_6(x), F_1(x) + F_7(x))
Eq(F_7(x), F_8(x))
Eq(F_8(x), F_4(x)*F_9(x))
Eq(F_9(x), F_10(x) + F_13(x))
Eq(F_10(x), F_1(x) + F_11(x))
Eq(F_11(x), F_12(x))
Eq(F_12(x), F_10(x)*F_4(x))
Eq(F_13(x), F_14(x) + F_7(x))
Eq(F_14(x), F_15(x) + F_16(x) + F_20(x))
Eq(F_15(x), 0)
Eq(F_16(x), F_17(x)*F_4(x))
Eq(F_17(x), F_18(x) + F_19(x))
Eq(F_18(x), F_11(x))
Eq(F_19(x), F_14(x))
Eq(F_20(x), F_21(x)*F_4(x))
Eq(F_21(x), F_22(x) + F_7(x))
Eq(F_22(x), F_20(x))
Eq(F_23(x), F_2(x) + F_24(x))
Eq(F_24(x), F_15(x) + F_25(x) + F_29(x))
Eq(F_25(x), F_26(x)*F_4(x))
Eq(F_26(x), F_27(x) + F_28(x))
Eq(F_27(x), F_7(x))
Eq(F_28(x), F_24(x))
Eq(F_29(x), F_30(x)*F_4(x))
Eq(F_30(x), F_31(x) + F_34(x))
Eq(F_31(x), F_2(x) + F_32(x))
Eq(F_32(x), F_33(x))
Eq(F_33(x), F_31(x)*F_4(x))
Eq(F_34(x), F_35(x) + F_36(x))
Eq(F_35(x), F_29(x))
Eq(F_36(x), 2*F_15(x) + F_37(x) + F_41(x))
Eq(F_37(x), F_38(x)*F_4(x))
Eq(F_38(x), F_39(x) + F_40(x))
Eq(F_39(x), F_32(x))
Eq(F_40(x), F_36(x))
Eq(F_41(x), F_4(x)*F_42(x))
Eq(F_42(x), F_35(x) + F_43(x))
Eq(F_43(x), F_41(x))
Pack JSON:
{"expansion_strats": [[{"class_module": "tilings.strategies.requirement_insertion", "extra_basis": [], "ignore_parent": false, "maxreqlen": 1, "one_cell_only": false, "strategy_class": "CellInsertionFactory"}, {"class_module": "tilings.strategies.requirement_placement", "dirs": [0, 1, 2, 3], "ignore_parent": false, "partial": false, "point_only": false, "strategy_class": "PatternPlacementFactory"}]], "inferral_strats": [{"class_module": "tilings.strategies.row_and_col_separation", "ignore_parent": true, "inferrable": true, "possibly_empty": false, "strategy_class": "RowColumnSeparationStrategy", "workable": true}, {"class_module": "tilings.strategies.obstruction_inferral", "strategy_class": "ObstructionTransitivityFactory"}], "initial_strats": [{"class_module": "tilings.strategies.factor", "ignore_parent": true, "interleaving": null, "strategy_class": "FactorFactory", "tracked": false, "unions": false, "workable": true}], "iterative": false, "name": "point_placements", "symmetries": [], "ver_strats": [{"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}, {"class_module": "tilings.strategies.verification", "ignore_parent": false, "strategy_class": "InsertionEncodingVerificationStrategy"}, {"basis": [], "class_module": "tilings.strategies.verification", "ignore_parent": false, "strategy_class": "OneByOneVerificationStrategy", "symmetry": false}, {"basis": [], "class_module": "tilings.strategies.verification", "ignore_parent": false, "strategy_class": "LocallyFactorableVerificationStrategy", "symmetry": false}]}
Specification JSON:
{"root": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": []}, "rules": [{"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": []}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 0]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [2, 0, 1], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": []}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 2]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[1, 0], [1, 0], [1, 2]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 2], [1, 0]]}, {"patt": [0, 2, 1], "pos": [[1, 2], [1, 2], [1, 2]]}, {"patt": [1, 0, 2], "pos": [[1, 2], [1, 0], [1, 2]]}, {"patt": [2, 0, 1], "pos": [[1, 2], [1, 0], [1, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 2], [1, 2], [1, 2], [1, 2]]}, {"patt": [1, 3, 0, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 2], [1, 2], [1, 2], [1, 2]]}, {"patt": [2, 0, 3, 1], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.factor", "ignore_parent": true, "partition": [[[0, 1]], [[1, 0], [1, 2]]], "strategy_class": "FactorStrategy", "workable": true}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [2, 0, 1], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [2, 0, 1], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": []}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 0]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": []}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 0]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [2, 0, 1], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [2, 0, 1], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 1]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": []}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 2]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[1, 2], [1, 2]]}, {"patt": [0, 1, 2], "pos": [[1, 0], [1, 0], [1, 2]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 0], [1, 0]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 2], [1, 0]]}, {"patt": [1, 0, 2], "pos": [[1, 2], [1, 0], [1, 2]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.factor", "ignore_parent": true, "partition": [[[0, 1]], [[1, 0], [1, 2]]], "strategy_class": "FactorStrategy", "workable": true}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": []}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 0]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": []}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 0]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 1]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 2]]}, {"patt": [0], "pos": [[0, 3]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1], "pos": [[1, 2], [1, 3]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[1, 3], [1, 2]]}, {"patt": [0, 1, 2], "pos": [[1, 0], [1, 0], [1, 2]]}, {"patt": [0, 1, 2], "pos": [[1, 0], [1, 0], [1, 3]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 2], [1, 0]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 3], [1, 0]]}, {"patt": [0, 2, 1], "pos": [[1, 2], [1, 2], [1, 2]]}, {"patt": [0, 2, 1], "pos": [[1, 3], [1, 3], [1, 3]]}, {"patt": [1, 0, 2], "pos": [[1, 2], [1, 0], [1, 2]]}, {"patt": [1, 0, 2], "pos": [[1, 3], [1, 0], [1, 3]]}, {"patt": [2, 0, 1], "pos": [[1, 2], [1, 0], [1, 2]]}, {"patt": [2, 0, 1], "pos": [[1, 3], [1, 0], [1, 3]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 2], [1, 2], [1, 2], [1, 2]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 3], [1, 3], [1, 3], [1, 3]]}, {"patt": [1, 3, 0, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 2], [1, 2], [1, 2], [1, 2]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 3], [1, 3], [1, 3], [1, 3]]}, {"patt": [2, 0, 3, 1], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[1, 3]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 1]]}, {"patt": [0], "pos": [[0, 3]]}, {"patt": [0], "pos": [[1, 2]]}, {"patt": [0, 1], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 1]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 3]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [1, 0], "pos": [[1, 3], [1, 3]]}, {"patt": [0, 1, 2], "pos": [[1, 1], [1, 1], [1, 3]]}, {"patt": [0, 2, 1], "pos": [[1, 1], [1, 1], [1, 1]]}, {"patt": [0, 2, 1], "pos": [[1, 1], [1, 3], [1, 1]]}, {"patt": [1, 0, 2], "pos": [[1, 3], [1, 1], [1, 3]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 1], [1, 1], [1, 1], [1, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 1], [1, 1], [1, 1], [1, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 2]]}], [{"patt": [0], "pos": [[1, 0]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [2, 0, 1], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_placement", "direction": 2, "gps": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 1]]}], "ignore_parent": false, "include_empty": true, "indices": [0, 0], "own_col": true, "own_row": true, "strategy_class": "RequirementPlacementStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 2], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 2], [0, 2], [0, 2]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 0], [0, 2]]}, {"patt": [2, 0, 1], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [2, 0, 1], "pos": [[0, 2], [0, 0], [0, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 2], [0, 2], [0, 2], [0, 2]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 2], [0, 2], [0, 2], [0, 2]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 2]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 2]]}, {"patt": [0], "pos": [[0, 3]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1], "pos": [[1, 2], [1, 3]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[1, 3], [1, 2]]}, {"patt": [0, 1, 2], "pos": [[1, 0], [1, 0], [1, 2]]}, {"patt": [0, 1, 2], "pos": [[1, 0], [1, 0], [1, 3]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 2], [1, 0]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 3], [1, 0]]}, {"patt": [0, 2, 1], "pos": [[1, 2], [1, 2], [1, 2]]}, {"patt": [0, 2, 1], "pos": [[1, 3], [1, 3], [1, 3]]}, {"patt": [1, 0, 2], "pos": [[1, 2], [1, 0], [1, 2]]}, {"patt": [1, 0, 2], "pos": [[1, 3], [1, 0], [1, 3]]}, {"patt": [2, 0, 1], "pos": [[1, 2], [1, 0], [1, 2]]}, {"patt": [2, 0, 1], "pos": [[1, 3], [1, 0], [1, 3]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 2], [1, 2], [1, 2], [1, 2]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 3], [1, 3], [1, 3], [1, 3]]}, {"patt": [1, 3, 0, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 2], [1, 2], [1, 2], [1, 2]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 3], [1, 3], [1, 3], [1, 3]]}, {"patt": [2, 0, 3, 1], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[1, 3]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.factor", "ignore_parent": true, "partition": [[[0, 1]], [[1, 0], [1, 2], [1, 3]]], "strategy_class": "FactorStrategy", "workable": true}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 2], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 1], [0, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 1]]}, {"patt": [0], "pos": [[0, 3]]}, {"patt": [0], "pos": [[1, 2]]}, {"patt": [0, 1], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 1]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 3]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [1, 0], "pos": [[1, 3], [1, 3]]}, {"patt": [0, 1, 2], "pos": [[1, 1], [1, 1], [1, 3]]}, {"patt": [0, 2, 1], "pos": [[1, 1], [1, 1], [1, 1]]}, {"patt": [0, 2, 1], "pos": [[1, 1], [1, 3], [1, 1]]}, {"patt": [1, 0, 2], "pos": [[1, 3], [1, 1], [1, 3]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 1], [1, 1], [1, 1], [1, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 1], [1, 1], [1, 1], [1, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 2]]}], [{"patt": [0], "pos": [[1, 0]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.factor", "ignore_parent": true, "partition": [[[0, 2]], [[1, 0], [1, 1], [1, 3]]], "strategy_class": "FactorStrategy", "workable": true}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 2], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 2], [0, 2], [0, 2]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 0], [0, 2]]}, {"patt": [2, 0, 1], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [2, 0, 1], "pos": [[0, 2], [0, 0], [0, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 2], [0, 2], [0, 2], [0, 2]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 2], [0, 2], [0, 2], [0, 2]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 2]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 2], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 2], [0, 2], [0, 2]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 0], [0, 2]]}, {"patt": [2, 0, 1], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [2, 0, 1], "pos": [[0, 2], [0, 0], [0, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 2], [0, 2], [0, 2], [0, 2]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 2], [0, 2], [0, 2], [0, 2]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 2]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 0]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 2], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 1], [0, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 2], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 1], [0, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 1]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 1]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 2], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 1], [0, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[0, 2]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 2], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 1], [0, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 2]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": []}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 1]]}, {"patt": [0], "pos": [[1, 0]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[1, 1], [1, 1]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.factor", "ignore_parent": true, "partition": [[[0, 0]], [[1, 1]]], "strategy_class": "FactorStrategy", "workable": true}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 2]]}, {"patt": [0], "pos": [[0, 3]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1], "pos": [[1, 2], [1, 3]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[1, 2], [1, 2]]}, {"patt": [1, 0], "pos": [[1, 3], [1, 2]]}, {"patt": [1, 0], "pos": [[1, 3], [1, 3]]}, {"patt": [0, 1, 2], "pos": [[1, 0], [1, 0], [1, 2]]}, {"patt": [0, 1, 2], "pos": [[1, 0], [1, 0], [1, 3]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 0], [1, 0]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 2], [1, 0]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 3], [1, 0]]}, {"patt": [1, 0, 2], "pos": [[1, 2], [1, 0], [1, 2]]}, {"patt": [1, 0, 2], "pos": [[1, 3], [1, 0], [1, 3]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[1, 3]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 2]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 2]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[1, 2], [1, 2]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[1, 0]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_placement", "direction": 2, "gps": [{"patt": [0], "pos": [[0, 1]]}, {"patt": [0], "pos": [[0, 0]]}], "ignore_parent": false, "include_empty": true, "indices": [0, 0], "own_col": true, "own_row": true, "strategy_class": "RequirementPlacementStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 2], [0, 0]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 0], [0, 2]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 2]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 2]]}, {"patt": [0], "pos": [[0, 3]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1], "pos": [[1, 2], [1, 3]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[1, 2], [1, 2]]}, {"patt": [1, 0], "pos": [[1, 3], [1, 2]]}, {"patt": [1, 0], "pos": [[1, 3], [1, 3]]}, {"patt": [0, 1, 2], "pos": [[1, 0], [1, 0], [1, 2]]}, {"patt": [0, 1, 2], "pos": [[1, 0], [1, 0], [1, 3]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 0], [1, 0]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 2], [1, 0]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 3], [1, 0]]}, {"patt": [1, 0, 2], "pos": [[1, 2], [1, 0], [1, 2]]}, {"patt": [1, 0, 2], "pos": [[1, 3], [1, 0], [1, 3]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[1, 3]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.factor", "ignore_parent": true, "partition": [[[0, 1]], [[1, 0], [1, 2], [1, 3]]], "strategy_class": "FactorStrategy", "workable": true}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 2]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 2]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[1, 2], [1, 2]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[1, 0]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.factor", "ignore_parent": true, "partition": [[[0, 1]], [[1, 0], [1, 2]]], "strategy_class": "FactorStrategy", "workable": true}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 2], [0, 0]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 0], [0, 2]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 2]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 2], [0, 0]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 0], [0, 2]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 2]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 0]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 1]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 2]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 2]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[1, 2], [1, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[1, 0]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.factor", "ignore_parent": true, "partition": [[[0, 1]], [[1, 0], [1, 2]]], "strategy_class": "FactorStrategy", "workable": true}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 1]]}, {"patt": [0], "pos": [[0, 3]]}, {"patt": [0], "pos": [[0, 4]]}, {"patt": [0], "pos": [[1, 2]]}, {"patt": [0, 1], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 1]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 3]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 4]]}, {"patt": [0, 1], "pos": [[1, 3], [1, 4]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [1, 0], "pos": [[1, 3], [1, 3]]}, {"patt": [1, 0], "pos": [[1, 4], [1, 3]]}, {"patt": [1, 0], "pos": [[1, 4], [1, 4]]}, {"patt": [0, 1, 2], "pos": [[1, 1], [1, 1], [1, 3]]}, {"patt": [0, 1, 2], "pos": [[1, 1], [1, 1], [1, 4]]}, {"patt": [0, 2, 1], "pos": [[1, 1], [1, 1], [1, 1]]}, {"patt": [0, 2, 1], "pos": [[1, 1], [1, 3], [1, 1]]}, {"patt": [0, 2, 1], "pos": [[1, 1], [1, 4], [1, 1]]}, {"patt": [1, 0, 2], "pos": [[1, 3], [1, 1], [1, 3]]}, {"patt": [1, 0, 2], "pos": [[1, 4], [1, 1], [1, 4]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 1], [1, 1], [1, 1], [1, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 1], [1, 1], [1, 1], [1, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 2]]}], [{"patt": [0], "pos": [[1, 0]]}], [{"patt": [0], "pos": [[1, 4]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 1]]}, {"patt": [0], "pos": [[0, 3]]}, {"patt": [0], "pos": [[1, 2]]}, {"patt": [0, 1], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 1]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 3]]}, {"patt": [0, 1], "pos": [[1, 1], [1, 3]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [1, 0], "pos": [[1, 3], [1, 3]]}, {"patt": [0, 2, 1], "pos": [[1, 1], [1, 1], [1, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 1], [1, 1], [1, 1], [1, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 1], [1, 1], [1, 1], [1, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 2]]}], [{"patt": [0], "pos": [[1, 0]]}], [{"patt": [0], "pos": [[1, 1]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 2], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 1], [0, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[0, 2]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_placement", "direction": 2, "gps": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 1]]}, {"patt": [0], "pos": [[0, 2]]}], "ignore_parent": false, "include_empty": true, "indices": [0, 0, 0], "own_col": true, "own_row": true, "strategy_class": "RequirementPlacementStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 3]]}, {"patt": [0, 1], "pos": [[0, 2], [0, 3]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 3], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 3], [0, 3]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 3]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 2], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 3], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 1], [0, 2]]}, {"patt": [1, 0, 2], "pos": [[0, 3], [0, 1], [0, 3]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 3]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 1]]}, {"patt": [0], "pos": [[0, 3]]}, {"patt": [0], "pos": [[0, 4]]}, {"patt": [0], "pos": [[1, 2]]}, {"patt": [0, 1], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 1]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 3]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 4]]}, {"patt": [0, 1], "pos": [[1, 3], [1, 4]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [1, 0], "pos": [[1, 3], [1, 3]]}, {"patt": [1, 0], "pos": [[1, 4], [1, 3]]}, {"patt": [1, 0], "pos": [[1, 4], [1, 4]]}, {"patt": [0, 1, 2], "pos": [[1, 1], [1, 1], [1, 3]]}, {"patt": [0, 1, 2], "pos": [[1, 1], [1, 1], [1, 4]]}, {"patt": [0, 2, 1], "pos": [[1, 1], [1, 1], [1, 1]]}, {"patt": [0, 2, 1], "pos": [[1, 1], [1, 3], [1, 1]]}, {"patt": [0, 2, 1], "pos": [[1, 1], [1, 4], [1, 1]]}, {"patt": [1, 0, 2], "pos": [[1, 3], [1, 1], [1, 3]]}, {"patt": [1, 0, 2], "pos": [[1, 4], [1, 1], [1, 4]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 1], [1, 1], [1, 1], [1, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 1], [1, 1], [1, 1], [1, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 2]]}], [{"patt": [0], "pos": [[1, 0]]}], [{"patt": [0], "pos": [[1, 4]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.factor", "ignore_parent": true, "partition": [[[0, 2]], [[1, 0], [1, 1], [1, 3], [1, 4]]], "strategy_class": "FactorStrategy", "workable": true}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 1]]}, {"patt": [0], "pos": [[0, 3]]}, {"patt": [0], "pos": [[1, 2]]}, {"patt": [0, 1], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 1]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 3]]}, {"patt": [0, 1], "pos": [[1, 1], [1, 3]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [1, 0], "pos": [[1, 3], [1, 3]]}, {"patt": [0, 2, 1], "pos": [[1, 1], [1, 1], [1, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 1], [1, 1], [1, 1], [1, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 1], [1, 1], [1, 1], [1, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 2]]}], [{"patt": [0], "pos": [[1, 0]]}], [{"patt": [0], "pos": [[1, 1]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.factor", "ignore_parent": true, "partition": [[[0, 2]], [[1, 0], [1, 1], [1, 3]]], "strategy_class": "FactorStrategy", "workable": true}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 2]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 3]]}, {"patt": [0, 1], "pos": [[0, 2], [0, 3]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 3], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 3], [0, 3]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 3]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 2], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 3], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 1], [0, 2]]}, {"patt": [1, 0, 2], "pos": [[0, 3], [0, 1], [0, 3]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[0, 3]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 3]]}, {"patt": [0, 1], "pos": [[0, 2], [0, 3]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 3], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 3], [0, 3]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 3]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 2], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 3], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 1], [0, 2]]}, {"patt": [1, 0, 2], "pos": [[0, 3], [0, 1], [0, 3]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 3]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 1]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[0, 2]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 2]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "original_rule": {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 2]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[1, 0], [1, 0], [1, 2]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 2], [1, 0]]}, {"patt": [0, 2, 1], "pos": [[1, 2], [1, 2], [1, 2]]}, {"patt": [1, 0, 2], "pos": [[1, 2], [1, 0], [1, 2]]}, {"patt": [2, 0, 1], "pos": [[1, 2], [1, 0], [1, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 2], [1, 2], [1, 2], [1, 2]]}, {"patt": [1, 3, 0, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 2], [1, 2], [1, 2], [1, 2]]}, {"patt": [2, 0, 3, 1], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_placement", "direction": 2, "gps": [{"patt": [0], "pos": [[0, 0]]}], "ignore_parent": false, "include_empty": true, "indices": [0], "own_col": true, "own_row": true, "strategy_class": "RequirementPlacementStrategy"}}, "rule_class": "EquivalenceRule"}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "original_rule": {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 2]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[1, 2], [1, 2]]}, {"patt": [0, 1, 2], "pos": [[1, 0], [1, 0], [1, 2]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 0], [1, 0]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 2], [1, 0]]}, {"patt": [1, 0, 2], "pos": [[1, 2], [1, 0], [1, 2]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_placement", "direction": 2, "gps": [{"patt": [0], "pos": [[0, 0]]}], "ignore_parent": false, "include_empty": true, "indices": [0], "own_col": true, "own_row": true, "strategy_class": "RequirementPlacementStrategy"}}, "rule_class": "EquivalenceRule"}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "original_rule": {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 0]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, "rule_class": "EquivalenceRule"}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "original_rule": {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [2, 0, 1], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 2], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 2], [0, 2], [0, 2]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 0], [0, 2]]}, {"patt": [2, 0, 1], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [2, 0, 1], "pos": [[0, 2], [0, 0], [0, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 2], [0, 2], [0, 2], [0, 2]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 2], [0, 2], [0, 2], [0, 2]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[0, 2]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 2], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 2], [0, 2], [0, 2]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 0], [0, 2]]}, {"patt": [2, 0, 1], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [2, 0, 1], "pos": [[0, 2], [0, 0], [0, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 2], [0, 2], [0, 2], [0, 2]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 2], [0, 2], [0, 2], [0, 2]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 2]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 1]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, "rule_class": "EquivalenceRule"}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "original_rule": {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 1]]}, {"patt": [0], "pos": [[1, 0]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[1, 1], [1, 1]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_placement", "direction": 2, "gps": [{"patt": [0], "pos": [[0, 0]]}], "ignore_parent": false, "include_empty": true, "indices": [0], "own_col": true, "own_row": true, "strategy_class": "RequirementPlacementStrategy"}}, "rule_class": "EquivalenceRule"}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "original_rule": {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 0]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, "rule_class": "EquivalenceRule"}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "original_rule": {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 2], [0, 0]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 0], [0, 2]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[0, 2]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 1]]}, {"patt": [0, 1, 2], "pos": [[0, 0], [0, 0], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 1], [0, 0]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 2], [0, 0]]}, {"patt": [1, 0, 2], "pos": [[0, 1], [0, 0], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 0], [0, 2]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 2]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 1]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, "rule_class": "EquivalenceRule"}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "original_rule": {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 2]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 2]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[1, 2], [1, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[1, 0]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_placement", "direction": 2, "gps": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 1]]}], "ignore_parent": false, "include_empty": true, "indices": [0, 0], "own_col": true, "own_row": true, "strategy_class": "RequirementPlacementStrategy"}}, "rule_class": "EquivalenceRule"}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "original_rule": {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 1]]}, {"patt": [0], "pos": [[0, 3]]}, {"patt": [0], "pos": [[1, 2]]}, {"patt": [0, 1], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 1]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 3]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [1, 0], "pos": [[1, 3], [1, 3]]}, {"patt": [0, 1, 2], "pos": [[1, 1], [1, 1], [1, 3]]}, {"patt": [0, 2, 1], "pos": [[1, 1], [1, 1], [1, 1]]}, {"patt": [0, 2, 1], "pos": [[1, 1], [1, 3], [1, 1]]}, {"patt": [1, 0, 2], "pos": [[1, 3], [1, 1], [1, 3]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 1], [1, 1], [1, 1], [1, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 1], [1, 1], [1, 1], [1, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 2]]}], [{"patt": [0], "pos": [[1, 0]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_placement", "direction": 2, "gps": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 1]]}], "ignore_parent": false, "include_empty": true, "indices": [0, 0], "own_col": true, "own_row": true, "strategy_class": "RequirementPlacementStrategy"}}, "rule_class": "EquivalenceRule"}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "original_rule": {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[0, 2]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 2]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 1]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, "rule_class": "EquivalenceRule"}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "original_rule": {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 2], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 1], [0, 2]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[0, 2]]}]]}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 3]]}, {"patt": [0, 1], "pos": [[0, 2], [0, 3]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 3], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 3], [0, 3]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 3]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 2], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 3], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 1], [0, 2]]}, {"patt": [1, 0, 2], "pos": [[0, 3], [0, 1], [0, 3]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[0, 2]]}], [{"patt": [0], "pos": [[0, 3]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 3]]}, {"patt": [0, 1], "pos": [[0, 2], [0, 3]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 3], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 3], [0, 3]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 2]]}, {"patt": [0, 1, 2], "pos": [[0, 1], [0, 1], [0, 3]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 2], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 3], [0, 1]]}, {"patt": [1, 0, 2], "pos": [[0, 2], [0, 1], [0, 2]]}, {"patt": [1, 0, 2], "pos": [[0, 3], [0, 1], [0, 3]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[0, 3]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_insertion", "gps": [{"patt": [0], "pos": [[0, 2]]}], "ignore_parent": true, "strategy_class": "RequirementInsertionStrategy"}}, "rule_class": "EquivalenceRule"}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "original_rule": {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 2]]}, {"patt": [0], "pos": [[1, 1]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 2]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [1, 0], "pos": [[1, 2], [1, 2]]}, {"patt": [0, 2, 1], "pos": [[1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[1, 0]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [1, 0], "pos": [[0, 1], [0, 1]]}, {"patt": [0, 2, 1], "pos": [[0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_placement", "direction": 2, "gps": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 1]]}], "ignore_parent": false, "include_empty": true, "indices": [0, 0], "own_col": true, "own_row": true, "strategy_class": "RequirementPlacementStrategy"}}, "rule_class": "EquivalenceRule"}]}, {"class_module": "comb_spec_searcher.strategies.rule", "rule_class": "EquivalencePathRule", "rules": [{"class_module": "comb_spec_searcher.strategies.rule", "original_rule": {"children": [{"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 1]]}, {"patt": [0], "pos": [[0, 3]]}, {"patt": [0], "pos": [[1, 2]]}, {"patt": [0, 1], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 1]]}, {"patt": [0, 1], "pos": [[1, 0], [1, 3]]}, {"patt": [0, 1], "pos": [[1, 1], [1, 3]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [1, 0], "pos": [[1, 3], [1, 3]]}, {"patt": [0, 2, 1], "pos": [[1, 1], [1, 1], [1, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[1, 1], [1, 1], [1, 1], [1, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[1, 1], [1, 1], [1, 1], [1, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[1, 0], [1, 0], [1, 0], [1, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 2]]}], [{"patt": [0], "pos": [[1, 0]]}], [{"patt": [0], "pos": [[1, 1]]}]]}], "class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 1]]}, {"patt": [0, 1], "pos": [[0, 0], [0, 2]]}, {"patt": [0, 1], "pos": [[0, 1], [0, 2]]}, {"patt": [1, 0], "pos": [[0, 2], [0, 2]]}, {"patt": [0, 2, 1], "pos": [[0, 1], [0, 1], [0, 1]]}, {"patt": [0, 1, 3, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [1, 2, 0, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [1, 3, 0, 2], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}, {"patt": [2, 0, 1, 3], "pos": [[0, 1], [0, 1], [0, 1], [0, 1]]}, {"patt": [2, 0, 3, 1], "pos": [[0, 0], [0, 0], [0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}], [{"patt": [0], "pos": [[0, 1]]}], [{"patt": [0], "pos": [[0, 2]]}]]}, "rule_class": "Rule", "strategy": {"class_module": "tilings.strategies.requirement_placement", "direction": 2, "gps": [{"patt": [0], "pos": [[0, 0]]}, {"patt": [0], "pos": [[0, 1]]}, {"patt": [0], "pos": [[0, 2]]}], "ignore_parent": false, "include_empty": true, "indices": [0, 0, 0], "own_col": true, "own_row": true, "strategy_class": "RequirementPlacementStrategy"}}, "rule_class": "EquivalenceRule"}]}, {"class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0], "pos": [[0, 0]]}], "requirements": []}, "rule_class": "VerificationRule", "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}}, {"class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [0, 1], "pos": [[0, 0], [0, 0]]}, {"patt": [1, 0], "pos": [[0, 0], [0, 0]]}], "requirements": [[{"patt": [0], "pos": [[0, 0]]}]]}, "rule_class": "VerificationRule", "strategy": {"class_module": "tilings.strategies.verification", "strategy_class": "BasicVerificationStrategy"}}, {"class_module": "comb_spec_searcher.strategies.rule", "comb_class": {"assumptions": [], "class_module": "tilings.tiling", "comb_class": "Tiling", "obstructions": [{"patt": [], "pos": []}], "requirements": []}, "rule_class": "VerificationRule", "strategy": {"class_module": "comb_spec_searcher.strategies.strategy", "strategy_class": "EmptyStrategy"}}]}