01234_01243_01324_01342_01423_01432_02314_02341_02413_02431_03412_03421_12304_12340_12403_12430_13402_13420_23401_23410<br /><br />

Counting sequence:<br />
1, 1, 2, 6, 24, 100, 420, 1764, 7392, 30888, 128700, 534820, 2217072, 9170616, 37858184, 156009000, 641865600, 2636997840, 10819447020, 44338518180, 181502706000, 742250539800, 3032623634040, 12379931112120, 50498375129280, 205835768190000, 838437695760600, 3413086373819304, 13885718922546912, 56461243343795248, 229460718022813200, 932085261485772240, 3784466610075565568, 15359135657423615904, 62309220792048078156, 252679995190569300900, 1024309493108660762640, 4150892279216525280984, 16815476530519797609752, 68099092009089422183448, 275704825947730454184000, 1115897609637160312639600, 4515302766800119411388040, 18265736976498044030040120, 73872061393323207970882080, 298689888826068996288186000, 1207431247557503154692242800, 4879888800515010334374542640, 19718181573218839167944497920, 79659355876913342276882160480, 321753350693314945421080155000, 1299358225208023702039251858600, 5246349916369338053410249857312, 21179269307937455957696129325936, 85485555798801255469307598919344, 344988878223673829724144922263600, 1392035931526096692058637289025920, 5616051456215349836207995764102624, 22654222603455151782899170883015472, 91370660675883543216327145963136208, 368473149423492956278584048594763200, 1485758682166931767774155002723629920, 5990124348102526001441374650325104672, 24147391806232446170802537789227008416, 97331422579959967361268600858573993984, 392270738324491435917811201376941320000, 1580775638767253469164948793241116415500, 6369530930473366775754150312346372577700, 25662497299256784820632279955848705075600, 103382237803019979938078328865155209165400, 416437402914978180057476644405676354055000, 1677302947475773398517215453471641364759000, 6755109818244482966744584409796453431995200, 27202795523939930820305949659638065405135600, 109535761885210178059542450265711570820831400, 441022365976179447018705718859538442308975000, 1775532206373288930483956861657212063955268000, 7147607369726576806821907745190594389389049040, 28771196035762003291438287567619555952913267120, 115803345482602508752452408201737453480806746480, 466069939624885137465241759721371120792600992000, 1875636526015716548463759322271100171873261650400, 7547700316726207518169905569065001247186291789480, 30370346080220509203644820270826742446898650160440, 122195350728880168091773399690907951096954545400160, 491620709688050590214320691527534140600914371554000, 1977774967097978312789376406643822220535107060016400, 7956012405264452840750260275481290864166259672618640, 32002693043148753367444511260476467501730520062433920, 128721385785099622674645543332694924274854967973170080, 517712417291960944107678066264030913516079097440610000, 2082095856509766523531178679978713089638822976897854000, 8373126877900570234312930525491928488442524245068097600, 33670531470544744088435155168563218405626615054283632800, 135390482084224097197115834317350276534265785919538815200, 544380627460589912660560692776808764605289679143421340000, 2188739311124862287140511882806107713817281146692653952000, 8799596006765811471523465865676397525748292820683426513600, 35376039101083002389170153366351118747198570665281868015800, 142211230613169140889937748868266531854139088933629423980200, 571659244889053442043658236019624277706805243085090448900000<br /><br />


Generating function in Maple syntax:<br />
(-6*x^3*(-4*x+1)^(1/2)+2*x^2*(-4*x+1)^(1/2)+16*x^3+8*x^2-7*x+1)/(4*x-1)^2<br /><br />



Generating function in latex syntax:<br />
\frac{-6 x^{3} \sqrt{-4 x +1}+2 x^{2} \sqrt{-4 x +1}+16 x^{3}+8 x^{2}-7 x +1}{\left(4 x -1\right)^{2}}<br /><br />



Generating function in sympy syntax:<br />
(-6*x**3*sqrt(1 - 4*x) + 16*x**3 + 2*x**2*sqrt(1 - 4*x) + 8*x**2 - 7*x + 1)/(4*x - 1)**2<br /><br />



Implicit equation for the generating function in Maple syntax:<br />
(4*x-1)^3*F(x)^2-2*(x+1)*(4*x-1)^3*F(x)+36*x^6+40*x^5+84*x^4-20*x^3-25*x^2+10*x-1 = 0<br /><br />



Implicit equation for the generating function in latex syntax:<br />
\left(4 x -1\right)^{3} F \! \left(x \right)^{2}-2 \left(x +1\right) \left(4 x -1\right)^{3} F \! \left(x \right)+36 x^{6}+40 x^{5}+84 x^{4}-20 x^{3}-25 x^{2}+10 x -1 = 0<br /><br />







  
    Recurrence in maple format:<br />
    
      a(0) = 1<br />
    
      a(1) = 1<br />
    
      a(2) = 2<br />
    
      a(3) = 6<br />
    
    a(n+2) = -6*(-3+2*n)/n*a(n)+(-4+7*n)/n*a(n+1), n >= 4<br /><br />

    Recurrence in latex format:<br />
    
      a{\left(0 \right)} = 1<br />
    
      a{\left(1 \right)} = 1<br />
    
      a{\left(2 \right)} = 2<br />
    
      a{\left(3 \right)} = 6<br />
    
    a{\left(n + 2 \right)} = - \frac{6 \left(2 n - 3\right) a{\left(n \right)}}{n} + \frac{\left(7 n - 4\right) a{\left(n + 1 \right)}}{n}, \quad n \geq 4<br /><br />
  



  Specification 1<br />
  Strategy pack name: point_placements_tracked_fusion<br />
  Tree: http://permpal.com/tree/24969/<br />
  System of equations in Maple syntax:<br />
  
    F[0,x] = F[1,x]+F[2,x]<br />
  
    F[1,x] = 1<br />
  
    F[2,x] = F[3,x]<br />
  
    F[3,x] = F[4,x]*F[7,x]<br />
  
    F[4,x] = F[5,x,1]<br />
  
    F[5,x,k[0]] = (F[6,x,k[0]]*k[0]-F[6,x,1])/(-1+k[0])<br />
  
    F[6,x,k[0]] = -1+k[0]^2*x^2+F[6,x,k[0]]^2*(4*x*k[0]-1)+(-8*x*k[0]+3)*F[6,x,k[0]]+4*k[0]*x<br />
  
    F[7,x] = x<br />
  
  System of equations in latex syntax:<br />
  
    F_{0}\! \left(x \right) = F_{1}\! \left(x \right)+F_{2}\! \left(x \right)<br />
  
    F_{1}\! \left(x \right) = 1<br />
  
    F_{2}\! \left(x \right) = F_{3}\! \left(x \right)<br />
  
    F_{3}\! \left(x \right) = F_{4}\! \left(x \right) F_{7}\! \left(x \right)<br />
  
    F_{4}\! \left(x \right) = F_{5}\! \left(x , 1\right)<br />
  
    F_{5}\! \left(x , y\right) = -\frac{-y F_{6}\! \left(x , y\right)+F_{6}\! \left(x , 1\right)}{-1+y}<br />
  
    F_{6}\! \left(x , y\right) = y^{2} x^{2}+4 x F_{6}\! \left(x , y\right)^{2} y -8 x F_{6}\! \left(x , y\right) y +4 y x -F_{6}\! \left(x , y\right)^{2}+3 F_{6}\! \left(x , y\right)-1<br />
  
    F_{7}\! \left(x \right) = x<br />
  
  System of equations in sympy syntax:<br />
  
    Eq(F_0(x), F_1(x) + F_2(x))<br />
  
    Eq(F_1(x), 1)<br />
  
    Eq(F_2(x), F_3(x))<br />
  
    Eq(F_3(x), F_4(x)*F_7(x))<br />
  
    Eq(F_4(x), F_5(x, 1))<br />
  
    Eq(F_5(x, k_0), (-k_0*F_6(x, k_0) + F_6(x, 1))/(1 - k_0))<br />
  
    Eq(F_6(x, k_0), k_0**2*x**2 + 4*k_0*x + (-8*k_0*x + 3)*F_6(x, k_0) + (4*k_0*x - 1)*F_6(x, k_0)**2 - 1)<br />
  
    Eq(F_7(x), x)<br />
  
  Pack JSON:<br />{&#34;name&#34;: &#34;point_placements_tracked_fusion&#34;, &#34;initial_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.rearrange_assumption&#34;, &#34;strategy_class&#34;: &#34;RearrangeAssumptionFactory&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.assumption_insertion&#34;, &#34;strategy_class&#34;: &#34;AddAssumptionFactory&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;strategy_class&#34;: &#34;FactorFactory&#34;, &#34;interleaving&#34;: null, &#34;unions&#34;: false, &#34;ignore_parent&#34;: true, &#34;workable&#34;: true, &#34;tracked&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;strategy_class&#34;: &#34;FusionFactory&#34;, &#34;tracked&#34;: true}], &#34;inferral_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.row_and_col_separation&#34;, &#34;strategy_class&#34;: &#34;RowColumnSeparationStrategy&#34;, &#34;ignore_parent&#34;: true, &#34;inferrable&#34;: true, &#34;possibly_empty&#34;: false, &#34;workable&#34;: true}, {&#34;class_module&#34;: &#34;tilings.strategies.obstruction_inferral&#34;, &#34;strategy_class&#34;: &#34;ObstructionTransitivityFactory&#34;}], &#34;ver_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;InsertionEncodingVerificationStrategy&#34;, &#34;ignore_parent&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;OneByOneVerificationStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;basis&#34;: [], &#34;symmetry&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;LocallyFactorableVerificationStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;basis&#34;: [], &#34;symmetry&#34;: false}], &#34;expansion_strats&#34;: [[{&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;strategy_class&#34;: &#34;CellInsertionFactory&#34;, &#34;ignore_parent&#34;: false, &#34;maxreqlen&#34;: 1, &#34;extra_basis&#34;: [], &#34;one_cell_only&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;strategy_class&#34;: &#34;PatternPlacementFactory&#34;, &#34;partial&#34;: false, &#34;ignore_parent&#34;: false, &#34;dirs&#34;: [0, 1, 2, 3], &#34;point_only&#34;: false}]], &#34;symmetries&#34;: [], &#34;iterative&#34;: false}<br />
  Specification JSON:<br />{&#34;root&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;rules&#34;: [{&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;ignore_parent&#34;: true, &#34;workable&#34;: true, &#34;partition&#34;: [[[0, 0], [0, 2]], [[1, 1]]]}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.assumption_insertion&#34;, &#34;strategy_class&#34;: &#34;AddAssumptionsStrategy&#34;, &#34;workable&#34;: false, &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;EquivalencePathRule&#34;, &#34;rules&#34;: [{&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;, &#34;original_rule&#34;: {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]], &#34;assumptions&#34;: []}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;indices&#34;: [0], &#34;direction&#34;: 0, &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;include_empty&#34;: false}}}]}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;VerificationRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;VerificationRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;rule_class&#34;: &#34;OneByOneVerificationRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;OneByOneVerificationStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;basis&#34;: [[0, 1, 2, 3, 4], [0, 1, 2, 4, 3], [0, 1, 3, 2, 4], [0, 1, 3, 4, 2], [0, 1, 4, 2, 3], [0, 1, 4, 3, 2], [0, 2, 3, 1, 4], [0, 2, 3, 4, 1], [0, 2, 4, 1, 3], [0, 2, 4, 3, 1], [0, 3, 4, 1, 2], [0, 3, 4, 2, 1], [1, 2, 3, 0, 4], [1, 2, 3, 4, 0], [1, 2, 4, 0, 3], [1, 2, 4, 3, 0], [1, 3, 4, 0, 2], [1, 3, 4, 2, 0], [2, 3, 4, 0, 1], [2, 3, 4, 1, 0]], &#34;symmetry&#34;: false}}, {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;rule_class&#34;: &#34;FusionRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;strategy_class&#34;: &#34;FusionStrategy&#34;, &#34;row_idx&#34;: 0, &#34;col_idx&#34;: null, &#34;tracked&#34;: true}}]}<br /><br />

  Specification 2<br />
  Strategy pack name: point_placements_tracked_fusion<br />
  Tree: http://permpal.com/tree/25360/<br />
  System of equations in Maple syntax:<br />
  
    F[0,x] = F[1,x]+F[2,x]<br />
  
    F[1,x] = 1<br />
  
    F[2,x] = F[3,x]<br />
  
    F[3,x] = F[4,x]*F[7,x]<br />
  
    F[4,x] = F[5,x,1]<br />
  
    F[5,x,k[0]] = (F[6,x,k[0]]*k[0]-F[6,x,1])/(-1+k[0])<br />
  
    F[6,x,k[0]] = -1+k[0]^2*x^2+F[6,x,k[0]]^2*(4*x*k[0]-1)+(-8*x*k[0]+3)*F[6,x,k[0]]+4*k[0]*x<br />
  
    F[7,x] = x<br />
  
  System of equations in latex syntax:<br />
  
    F_{0}\! \left(x \right) = F_{1}\! \left(x \right)+F_{2}\! \left(x \right)<br />
  
    F_{1}\! \left(x \right) = 1<br />
  
    F_{2}\! \left(x \right) = F_{3}\! \left(x \right)<br />
  
    F_{3}\! \left(x \right) = F_{4}\! \left(x \right) F_{7}\! \left(x \right)<br />
  
    F_{4}\! \left(x \right) = F_{5}\! \left(x , 1\right)<br />
  
    F_{5}\! \left(x , y\right) = -\frac{-y F_{6}\! \left(x , y\right)+F_{6}\! \left(x , 1\right)}{-1+y}<br />
  
    F_{6}\! \left(x , y\right) = y^{2} x^{2}+4 x F_{6}\! \left(x , y\right)^{2} y -8 x F_{6}\! \left(x , y\right) y +4 y x -F_{6}\! \left(x , y\right)^{2}+3 F_{6}\! \left(x , y\right)-1<br />
  
    F_{7}\! \left(x \right) = x<br />
  
  System of equations in sympy syntax:<br />
  
    Eq(F_0(x), F_1(x) + F_2(x))<br />
  
    Eq(F_1(x), 1)<br />
  
    Eq(F_2(x), F_3(x))<br />
  
    Eq(F_3(x), F_4(x)*F_7(x))<br />
  
    Eq(F_4(x), F_5(x, 1))<br />
  
    Eq(F_5(x, k_0), (-k_0*F_6(x, k_0) + F_6(x, 1))/(1 - k_0))<br />
  
    Eq(F_6(x, k_0), k_0**2*x**2 + 4*k_0*x + (-8*k_0*x + 3)*F_6(x, k_0) + (4*k_0*x - 1)*F_6(x, k_0)**2 - 1)<br />
  
    Eq(F_7(x), x)<br />
  
  Pack JSON:<br />{&#34;name&#34;: &#34;point_placements_tracked_fusion&#34;, &#34;initial_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.rearrange_assumption&#34;, &#34;strategy_class&#34;: &#34;RearrangeAssumptionFactory&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.assumption_insertion&#34;, &#34;strategy_class&#34;: &#34;AddAssumptionFactory&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;strategy_class&#34;: &#34;FactorFactory&#34;, &#34;interleaving&#34;: null, &#34;unions&#34;: false, &#34;ignore_parent&#34;: true, &#34;workable&#34;: true, &#34;tracked&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;strategy_class&#34;: &#34;FusionFactory&#34;, &#34;tracked&#34;: true}], &#34;inferral_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.row_and_col_separation&#34;, &#34;strategy_class&#34;: &#34;RowColumnSeparationStrategy&#34;, &#34;ignore_parent&#34;: true, &#34;inferrable&#34;: true, &#34;possibly_empty&#34;: false, &#34;workable&#34;: true}, {&#34;class_module&#34;: &#34;tilings.strategies.obstruction_inferral&#34;, &#34;strategy_class&#34;: &#34;ObstructionTransitivityFactory&#34;}], &#34;ver_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;InsertionEncodingVerificationStrategy&#34;, &#34;ignore_parent&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;OneByOneVerificationStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;basis&#34;: [], &#34;symmetry&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;LocallyFactorableVerificationStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;basis&#34;: [], &#34;symmetry&#34;: false}], &#34;expansion_strats&#34;: [[{&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;strategy_class&#34;: &#34;CellInsertionFactory&#34;, &#34;ignore_parent&#34;: false, &#34;maxreqlen&#34;: 1, &#34;extra_basis&#34;: [], &#34;one_cell_only&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;strategy_class&#34;: &#34;PatternPlacementFactory&#34;, &#34;partial&#34;: false, &#34;ignore_parent&#34;: false, &#34;dirs&#34;: [0, 1, 2, 3], &#34;point_only&#34;: false}]], &#34;symmetries&#34;: [], &#34;iterative&#34;: false}<br />
  Specification JSON:<br />{&#34;root&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;rules&#34;: [{&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;ignore_parent&#34;: true, &#34;workable&#34;: true, &#34;partition&#34;: [[[0, 0], [0, 2]], [[1, 1]]]}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.assumption_insertion&#34;, &#34;strategy_class&#34;: &#34;AddAssumptionsStrategy&#34;, &#34;workable&#34;: false, &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;EquivalencePathRule&#34;, &#34;rules&#34;: [{&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;, &#34;original_rule&#34;: {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]], &#34;assumptions&#34;: []}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;indices&#34;: [0], &#34;direction&#34;: 0, &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;include_empty&#34;: false}}}]}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;VerificationRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;VerificationRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;rule_class&#34;: &#34;OneByOneVerificationRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;OneByOneVerificationStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;basis&#34;: [[0, 1, 2, 3, 4], [0, 1, 2, 4, 3], [0, 1, 3, 2, 4], [0, 1, 3, 4, 2], [0, 1, 4, 2, 3], [0, 1, 4, 3, 2], [0, 2, 3, 1, 4], [0, 2, 3, 4, 1], [0, 2, 4, 1, 3], [0, 2, 4, 3, 1], [0, 3, 4, 1, 2], [0, 3, 4, 2, 1], [1, 2, 3, 0, 4], [1, 2, 3, 4, 0], [1, 2, 4, 0, 3], [1, 2, 4, 3, 0], [1, 3, 4, 0, 2], [1, 3, 4, 2, 0], [2, 3, 4, 0, 1], [2, 3, 4, 1, 0]], &#34;symmetry&#34;: false}}, {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;rule_class&#34;: &#34;FusionRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;strategy_class&#34;: &#34;FusionStrategy&#34;, &#34;row_idx&#34;: 0, &#34;col_idx&#34;: null, &#34;tracked&#34;: true}}]}<br /><br />

  Specification 3<br />
  Strategy pack name: point_placements_tracked_fusion<br />
  Tree: http://permpal.com/tree/25626/<br />
  System of equations in Maple syntax:<br />
  
    F[0,x] = F[1,x]+F[2,x]<br />
  
    F[1,x] = 1<br />
  
    F[2,x] = F[3,x]<br />
  
    F[3,x] = F[4,x]*F[7,x]<br />
  
    F[4,x] = F[5,x,1]<br />
  
    F[5,x,k[0]] = (F[6,x,k[0]]*k[0]-F[6,x,1])/(-1+k[0])<br />
  
    F[6,x,k[0]] = -1+k[0]^2*x^2+F[6,x,k[0]]^2*(4*x*k[0]-1)+(-8*x*k[0]+3)*F[6,x,k[0]]+4*k[0]*x<br />
  
    F[7,x] = x<br />
  
  System of equations in latex syntax:<br />
  
    F_{0}\! \left(x \right) = F_{1}\! \left(x \right)+F_{2}\! \left(x \right)<br />
  
    F_{1}\! \left(x \right) = 1<br />
  
    F_{2}\! \left(x \right) = F_{3}\! \left(x \right)<br />
  
    F_{3}\! \left(x \right) = F_{4}\! \left(x \right) F_{7}\! \left(x \right)<br />
  
    F_{4}\! \left(x \right) = F_{5}\! \left(x , 1\right)<br />
  
    F_{5}\! \left(x , y\right) = -\frac{-y F_{6}\! \left(x , y\right)+F_{6}\! \left(x , 1\right)}{-1+y}<br />
  
    F_{6}\! \left(x , y\right) = y^{2} x^{2}+4 x F_{6}\! \left(x , y\right)^{2} y -8 x F_{6}\! \left(x , y\right) y +4 y x -F_{6}\! \left(x , y\right)^{2}+3 F_{6}\! \left(x , y\right)-1<br />
  
    F_{7}\! \left(x \right) = x<br />
  
  System of equations in sympy syntax:<br />
  
    Eq(F_0(x), F_1(x) + F_2(x))<br />
  
    Eq(F_1(x), 1)<br />
  
    Eq(F_2(x), F_3(x))<br />
  
    Eq(F_3(x), F_4(x)*F_7(x))<br />
  
    Eq(F_4(x), F_5(x, 1))<br />
  
    Eq(F_5(x, k_0), (-k_0*F_6(x, k_0) + F_6(x, 1))/(1 - k_0))<br />
  
    Eq(F_6(x, k_0), k_0**2*x**2 + 4*k_0*x + (-8*k_0*x + 3)*F_6(x, k_0) + (4*k_0*x - 1)*F_6(x, k_0)**2 - 1)<br />
  
    Eq(F_7(x), x)<br />
  
  Pack JSON:<br />{&#34;name&#34;: &#34;point_placements_tracked_fusion&#34;, &#34;initial_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.rearrange_assumption&#34;, &#34;strategy_class&#34;: &#34;RearrangeAssumptionFactory&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.assumption_insertion&#34;, &#34;strategy_class&#34;: &#34;AddAssumptionFactory&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;strategy_class&#34;: &#34;FactorFactory&#34;, &#34;interleaving&#34;: null, &#34;unions&#34;: false, &#34;ignore_parent&#34;: true, &#34;workable&#34;: true, &#34;tracked&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;strategy_class&#34;: &#34;FusionFactory&#34;, &#34;tracked&#34;: true}], &#34;inferral_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.row_and_col_separation&#34;, &#34;strategy_class&#34;: &#34;RowColumnSeparationStrategy&#34;, &#34;ignore_parent&#34;: true, &#34;inferrable&#34;: true, &#34;possibly_empty&#34;: false, &#34;workable&#34;: true}, {&#34;class_module&#34;: &#34;tilings.strategies.obstruction_inferral&#34;, &#34;strategy_class&#34;: &#34;ObstructionTransitivityFactory&#34;}], &#34;ver_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;InsertionEncodingVerificationStrategy&#34;, &#34;ignore_parent&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;OneByOneVerificationStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;basis&#34;: [], &#34;symmetry&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;LocallyFactorableVerificationStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;basis&#34;: [], &#34;symmetry&#34;: false}], &#34;expansion_strats&#34;: [[{&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;strategy_class&#34;: &#34;CellInsertionFactory&#34;, &#34;ignore_parent&#34;: false, &#34;maxreqlen&#34;: 1, &#34;extra_basis&#34;: [], &#34;one_cell_only&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;strategy_class&#34;: &#34;PatternPlacementFactory&#34;, &#34;partial&#34;: false, &#34;ignore_parent&#34;: false, &#34;dirs&#34;: [0, 1, 2, 3], &#34;point_only&#34;: false}]], &#34;symmetries&#34;: [], &#34;iterative&#34;: false}<br />
  Specification JSON:<br />{&#34;root&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;rules&#34;: [{&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;ignore_parent&#34;: true, &#34;workable&#34;: true, &#34;partition&#34;: [[[0, 0], [0, 2]], [[1, 1]]]}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.assumption_insertion&#34;, &#34;strategy_class&#34;: &#34;AddAssumptionsStrategy&#34;, &#34;workable&#34;: false, &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;EquivalencePathRule&#34;, &#34;rules&#34;: [{&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;, &#34;original_rule&#34;: {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]], &#34;assumptions&#34;: []}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;indices&#34;: [0], &#34;direction&#34;: 0, &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;include_empty&#34;: false}}}]}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;VerificationRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;VerificationRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;rule_class&#34;: &#34;OneByOneVerificationRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;OneByOneVerificationStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;basis&#34;: [[0, 1, 2, 3, 4], [0, 1, 2, 4, 3], [0, 1, 3, 2, 4], [0, 1, 3, 4, 2], [0, 1, 4, 2, 3], [0, 1, 4, 3, 2], [0, 2, 3, 1, 4], [0, 2, 3, 4, 1], [0, 2, 4, 1, 3], [0, 2, 4, 3, 1], [0, 3, 4, 1, 2], [0, 3, 4, 2, 1], [1, 2, 3, 0, 4], [1, 2, 3, 4, 0], [1, 2, 4, 0, 3], [1, 2, 4, 3, 0], [1, 3, 4, 0, 2], [1, 3, 4, 2, 0], [2, 3, 4, 0, 1], [2, 3, 4, 1, 0]], &#34;symmetry&#34;: false}}, {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;rule_class&#34;: &#34;FusionRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;strategy_class&#34;: &#34;FusionStrategy&#34;, &#34;row_idx&#34;: 0, &#34;col_idx&#34;: null, &#34;tracked&#34;: true}}]}<br /><br />

  Specification 4<br />
  Strategy pack name: point_placements_tracked_fusion<br />
  Tree: http://permpal.com/tree/25708/<br />
  System of equations in Maple syntax:<br />
  
    F[0,x] = F[1,x]+F[2,x]<br />
  
    F[1,x] = 1<br />
  
    F[2,x] = F[3,x]<br />
  
    F[3,x] = F[4,x]*F[7,x]<br />
  
    F[4,x] = F[5,x,1]<br />
  
    F[5,x,k[0]] = (F[6,x,k[0]]*k[0]-F[6,x,1])/(-1+k[0])<br />
  
    F[6,x,k[0]] = -1+k[0]^2*x^2+F[6,x,k[0]]^2*(4*x*k[0]-1)+(-8*x*k[0]+3)*F[6,x,k[0]]+4*k[0]*x<br />
  
    F[7,x] = x<br />
  
  System of equations in latex syntax:<br />
  
    F_{0}\! \left(x \right) = F_{1}\! \left(x \right)+F_{2}\! \left(x \right)<br />
  
    F_{1}\! \left(x \right) = 1<br />
  
    F_{2}\! \left(x \right) = F_{3}\! \left(x \right)<br />
  
    F_{3}\! \left(x \right) = F_{4}\! \left(x \right) F_{7}\! \left(x \right)<br />
  
    F_{4}\! \left(x \right) = F_{5}\! \left(x , 1\right)<br />
  
    F_{5}\! \left(x , y\right) = -\frac{-y F_{6}\! \left(x , y\right)+F_{6}\! \left(x , 1\right)}{-1+y}<br />
  
    F_{6}\! \left(x , y\right) = y^{2} x^{2}+4 x F_{6}\! \left(x , y\right)^{2} y -8 x F_{6}\! \left(x , y\right) y +4 y x -F_{6}\! \left(x , y\right)^{2}+3 F_{6}\! \left(x , y\right)-1<br />
  
    F_{7}\! \left(x \right) = x<br />
  
  System of equations in sympy syntax:<br />
  
    Eq(F_0(x), F_1(x) + F_2(x))<br />
  
    Eq(F_1(x), 1)<br />
  
    Eq(F_2(x), F_3(x))<br />
  
    Eq(F_3(x), F_4(x)*F_7(x))<br />
  
    Eq(F_4(x), F_5(x, 1))<br />
  
    Eq(F_5(x, k_0), (-k_0*F_6(x, k_0) + F_6(x, 1))/(1 - k_0))<br />
  
    Eq(F_6(x, k_0), k_0**2*x**2 + 4*k_0*x + (-8*k_0*x + 3)*F_6(x, k_0) + (4*k_0*x - 1)*F_6(x, k_0)**2 - 1)<br />
  
    Eq(F_7(x), x)<br />
  
  Pack JSON:<br />{&#34;name&#34;: &#34;point_placements_tracked_fusion&#34;, &#34;initial_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.rearrange_assumption&#34;, &#34;strategy_class&#34;: &#34;RearrangeAssumptionFactory&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.assumption_insertion&#34;, &#34;strategy_class&#34;: &#34;AddAssumptionFactory&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;strategy_class&#34;: &#34;FactorFactory&#34;, &#34;interleaving&#34;: null, &#34;unions&#34;: false, &#34;ignore_parent&#34;: true, &#34;workable&#34;: true, &#34;tracked&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;strategy_class&#34;: &#34;FusionFactory&#34;, &#34;tracked&#34;: true}], &#34;inferral_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.row_and_col_separation&#34;, &#34;strategy_class&#34;: &#34;RowColumnSeparationStrategy&#34;, &#34;ignore_parent&#34;: true, &#34;inferrable&#34;: true, &#34;possibly_empty&#34;: false, &#34;workable&#34;: true}, {&#34;class_module&#34;: &#34;tilings.strategies.obstruction_inferral&#34;, &#34;strategy_class&#34;: &#34;ObstructionTransitivityFactory&#34;}], &#34;ver_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;InsertionEncodingVerificationStrategy&#34;, &#34;ignore_parent&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;OneByOneVerificationStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;basis&#34;: [], &#34;symmetry&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;LocallyFactorableVerificationStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;basis&#34;: [], &#34;symmetry&#34;: false}], &#34;expansion_strats&#34;: [[{&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;strategy_class&#34;: &#34;CellInsertionFactory&#34;, &#34;ignore_parent&#34;: false, &#34;maxreqlen&#34;: 1, &#34;extra_basis&#34;: [], &#34;one_cell_only&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;strategy_class&#34;: &#34;PatternPlacementFactory&#34;, &#34;partial&#34;: false, &#34;ignore_parent&#34;: false, &#34;dirs&#34;: [0, 1, 2, 3], &#34;point_only&#34;: false}]], &#34;symmetries&#34;: [], &#34;iterative&#34;: false}<br />
  Specification JSON:<br />{&#34;root&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;rules&#34;: [{&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;ignore_parent&#34;: true, &#34;workable&#34;: true, &#34;partition&#34;: [[[0, 0], [0, 2]], [[1, 1]]]}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.assumption_insertion&#34;, &#34;strategy_class&#34;: &#34;AddAssumptionsStrategy&#34;, &#34;workable&#34;: false, &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;EquivalencePathRule&#34;, &#34;rules&#34;: [{&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;, &#34;original_rule&#34;: {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]], &#34;assumptions&#34;: []}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;indices&#34;: [0], &#34;direction&#34;: 0, &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;include_empty&#34;: false}}}]}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;VerificationRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;VerificationRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;rule_class&#34;: &#34;OneByOneVerificationRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;OneByOneVerificationStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;basis&#34;: [[0, 1, 2, 3, 4], [0, 1, 2, 4, 3], [0, 1, 3, 2, 4], [0, 1, 3, 4, 2], [0, 1, 4, 2, 3], [0, 1, 4, 3, 2], [0, 2, 3, 1, 4], [0, 2, 3, 4, 1], [0, 2, 4, 1, 3], [0, 2, 4, 3, 1], [0, 3, 4, 1, 2], [0, 3, 4, 2, 1], [1, 2, 3, 0, 4], [1, 2, 3, 4, 0], [1, 2, 4, 0, 3], [1, 2, 4, 3, 0], [1, 3, 4, 0, 2], [1, 3, 4, 2, 0], [2, 3, 4, 0, 1], [2, 3, 4, 1, 0]], &#34;symmetry&#34;: false}}, {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;rule_class&#34;: &#34;FusionRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;strategy_class&#34;: &#34;FusionStrategy&#34;, &#34;row_idx&#34;: 0, &#34;col_idx&#34;: null, &#34;tracked&#34;: true}}]}<br /><br />

  Specification 5<br />
  Strategy pack name: point_placements_tracked_fusion_tracked_component_fusion_symmetries<br />
  Tree: http://permpal.com/tree/25863/<br />
  System of equations in Maple syntax:<br />
  
    F[0,x] = F[1,x]+F[2,x]<br />
  
    F[1,x] = 1<br />
  
    F[2,x] = F[3,x]<br />
  
    F[3,x] = F[4,x]*F[7,x]<br />
  
    F[4,x] = F[5,x,1]<br />
  
    F[5,x,k[0]] = (F[6,x,k[0]]*k[0]-F[6,x,1])/(-1+k[0])<br />
  
    F[6,x,k[0]] = -1+k[0]^2*x^2+F[6,x,k[0]]^2*(4*x*k[0]-1)+(-8*x*k[0]+3)*F[6,x,k[0]]+4*k[0]*x<br />
  
    F[7,x] = x<br />
  
  System of equations in latex syntax:<br />
  
    F_{0}\! \left(x \right) = F_{1}\! \left(x \right)+F_{2}\! \left(x \right)<br />
  
    F_{1}\! \left(x \right) = 1<br />
  
    F_{2}\! \left(x \right) = F_{3}\! \left(x \right)<br />
  
    F_{3}\! \left(x \right) = F_{4}\! \left(x \right) F_{7}\! \left(x \right)<br />
  
    F_{4}\! \left(x \right) = F_{5}\! \left(x , 1\right)<br />
  
    F_{5}\! \left(x , y\right) = -\frac{-y F_{6}\! \left(x , y\right)+F_{6}\! \left(x , 1\right)}{-1+y}<br />
  
    F_{6}\! \left(x , y\right) = y^{2} x^{2}+4 x F_{6}\! \left(x , y\right)^{2} y -8 x F_{6}\! \left(x , y\right) y +4 y x -F_{6}\! \left(x , y\right)^{2}+3 F_{6}\! \left(x , y\right)-1<br />
  
    F_{7}\! \left(x \right) = x<br />
  
  System of equations in sympy syntax:<br />
  
    Eq(F_0(x), F_1(x) + F_2(x))<br />
  
    Eq(F_1(x), 1)<br />
  
    Eq(F_2(x), F_3(x))<br />
  
    Eq(F_3(x), F_4(x)*F_7(x))<br />
  
    Eq(F_4(x), F_5(x, 1))<br />
  
    Eq(F_5(x, k_0), (-k_0*F_6(x, k_0) + F_6(x, 1))/(1 - k_0))<br />
  
    Eq(F_6(x, k_0), k_0**2*x**2 + 4*k_0*x + (-8*k_0*x + 3)*F_6(x, k_0) + (4*k_0*x - 1)*F_6(x, k_0)**2 - 1)<br />
  
    Eq(F_7(x), x)<br />
  
  Pack JSON:<br />{&#34;name&#34;: &#34;point_placements_tracked_fusion_tracked_component_fusion_symmetries&#34;, &#34;initial_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.rearrange_assumption&#34;, &#34;strategy_class&#34;: &#34;RearrangeAssumptionFactory&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.assumption_insertion&#34;, &#34;strategy_class&#34;: &#34;AddAssumptionFactory&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;strategy_class&#34;: &#34;FactorFactory&#34;, &#34;interleaving&#34;: null, &#34;unions&#34;: false, &#34;ignore_parent&#34;: true, &#34;workable&#34;: true, &#34;tracked&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;strategy_class&#34;: &#34;PointCorroborationFactory&#34;, &#34;ignore_parent&#34;: true}, {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;strategy_class&#34;: &#34;FusionFactory&#34;, &#34;tracked&#34;: true}, {&#34;class_module&#34;: &#34;tilings.strategies.fusion.component&#34;, &#34;strategy_class&#34;: &#34;ComponentFusionFactory&#34;, &#34;tracked&#34;: true, &#34;isolation_level&#34;: null}, {&#34;class_module&#34;: &#34;tilings.strategies.detect_components&#34;, &#34;strategy_class&#34;: &#34;DetectComponentsStrategy&#34;, &#34;ignore_parent&#34;: true, &#34;inferrable&#34;: true, &#34;possibly_empty&#34;: true, &#34;workable&#34;: true}, {&#34;class_module&#34;: &#34;tilings.strategies.monotone_sliding&#34;, &#34;strategy_class&#34;: &#34;MonotoneSlidingFactory&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.point_jumping&#34;, &#34;strategy_class&#34;: &#34;AssumptionAndPointJumpingFactory&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;strategy_class&#34;: &#34;RequirementCorroborationFactory&#34;, &#34;ignore_parent&#34;: true}], &#34;inferral_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.row_and_col_separation&#34;, &#34;strategy_class&#34;: &#34;RowColumnSeparationStrategy&#34;, &#34;ignore_parent&#34;: true, &#34;inferrable&#34;: true, &#34;possibly_empty&#34;: false, &#34;workable&#34;: true}, {&#34;class_module&#34;: &#34;tilings.strategies.obstruction_inferral&#34;, &#34;strategy_class&#34;: &#34;ObstructionTransitivityFactory&#34;}], &#34;ver_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;InsertionEncodingVerificationStrategy&#34;, &#34;ignore_parent&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;OneByOneVerificationStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;basis&#34;: [], &#34;symmetry&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;LocallyFactorableVerificationStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;basis&#34;: [], &#34;symmetry&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;ComponentVerificationStrategy&#34;, &#34;ignore_parent&#34;: false}], &#34;expansion_strats&#34;: [[{&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;strategy_class&#34;: &#34;CellInsertionFactory&#34;, &#34;ignore_parent&#34;: false, &#34;maxreqlen&#34;: 1, &#34;extra_basis&#34;: [], &#34;one_cell_only&#34;: false}, {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;strategy_class&#34;: &#34;PatternPlacementFactory&#34;, &#34;partial&#34;: false, &#34;ignore_parent&#34;: false, &#34;dirs&#34;: [0, 1, 2, 3], &#34;point_only&#34;: false}], [{&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;strategy_class&#34;: &#34;FusableRowAndColumnPlacementFactory&#34;, &#34;partial&#34;: false, &#34;ignore_parent&#34;: false, &#34;dirs&#34;: [0, 1, 2, 3], &#34;place_row&#34;: true, &#34;place_col&#34;: true}]], &#34;symmetries&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.symmetry&#34;, &#34;strategy_class&#34;: &#34;SymmetriesFactory&#34;, &#34;basis&#34;: null}], &#34;iterative&#34;: false}<br />
  Specification JSON:<br />{&#34;root&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;rules&#34;: [{&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;ignore_parent&#34;: true, &#34;workable&#34;: true, &#34;partition&#34;: [[[0, 0], [0, 2]], [[1, 1]]]}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.assumption_insertion&#34;, &#34;strategy_class&#34;: &#34;AddAssumptionsStrategy&#34;, &#34;workable&#34;: false, &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;EquivalencePathRule&#34;, &#34;rules&#34;: [{&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 4, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 4, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 4, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 4, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0, 4], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 4, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 0, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 4, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 3, 4, 2, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 4, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]], &#34;assumptions&#34;: []}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;indices&#34;: [0], &#34;direction&#34;: 0, &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;include_empty&#34;: false}}]}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;VerificationRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: []}, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;VerificationRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]], &#34;assumptions&#34;: []}, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;rule_class&#34;: &#34;OneByOneVerificationRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;OneByOneVerificationStrategy&#34;, &#34;ignore_parent&#34;: false, &#34;basis&#34;: [[0, 1, 2, 3, 4], [0, 1, 2, 4, 3], [0, 1, 3, 2, 4], [0, 1, 3, 4, 2], [0, 1, 4, 2, 3], [0, 1, 4, 3, 2], [0, 2, 3, 1, 4], [0, 2, 3, 4, 1], [0, 2, 4, 1, 3], [0, 2, 4, 3, 1], [0, 3, 4, 1, 2], [0, 3, 4, 2, 1], [1, 2, 3, 0, 4], [1, 2, 3, 4, 0], [1, 2, 4, 0, 3], [1, 2, 4, 3, 0], [1, 3, 4, 0, 2], [1, 3, 4, 2, 0], [2, 3, 4, 0, 1], [2, 3, 4, 1, 0]], &#34;symmetry&#34;: true}}, {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;rule_class&#34;: &#34;FusionRule&#34;, &#34;comb_class&#34;: {&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}, &#34;children&#34;: [{&#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 2, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 2, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [], &#34;assumptions&#34;: [{&#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}]}], &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;strategy_class&#34;: &#34;FusionStrategy&#34;, &#34;row_idx&#34;: 0, &#34;col_idx&#34;: null, &#34;tracked&#34;: true}}]}<br /><br />