012_0321_2130_2301_2310<br /><br />

Counting sequence:<br />
1, 1, 2, 5, 10, 13, 16, 19, 22, 25, 28, 31, 34, 37, 40, 43, 46, 49, 52, 55, 58, 61, 64, 67, 70, 73, 76, 79, 82, 85, 88, 91, 94, 97, 100, 103, 106, 109, 112, 115, 118, 121, 124, 127, 130, 133, 136, 139, 142, 145, 148, 151, 154, 157, 160, 163, 166, 169, 172, 175, 178, 181, 184, 187, 190, 193, 196, 199, 202, 205, 208, 211, 214, 217, 220, 223, 226, 229, 232, 235, 238, 241, 244, 247, 250, 253, 256, 259, 262, 265, 268, 271, 274, 277, 280, 283, 286, 289, 292, 295, 298<br /><br />


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



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



Generating function in sympy syntax:<br />
(-2*x**5 + 2*x**4 + 2*x**3 + x**2 - x + 1)/(x - 1)**2<br /><br />



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



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



Explicit closed form in Maple syntax:<br />
piecewise(n = 0,1,n = 2,2,n = 3,5,-2+3*n)<br /><br />



Explicit closed form in latex syntax:<br />
\left\{\begin{array}{cc}1 &amp; n =0 \\ 2 &amp; n =2 \\ 5 &amp; n =3 \\ -2+3 n  &amp; \mathit{\text{otherwise}}  \end{array}\right.<br /><br />



  
    Recurrence in maple format:<br />
    
      a(0) = 1<br />
    
      a(1) = 1<br />
    
      a(2) = 2<br />
    
      a(3) = 5<br />
    
      a(4) = 10<br />
    
      a(5) = 13<br />
    
    a(n) = -2+3*n, n >= 6<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) = 5<br />
    
      a \! \left(4\right) = 10<br />
    
      a \! \left(5\right) = 13<br />
    
    a \! \left(n \right) = -2+3 n, \quad n \geq 6<br /><br />
  



  Specification 1<br />
  Strategy pack name: point_placements<br />
  Tree: http://permpal.com/tree/699/<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[5,x]<br />
  
    F[4,x] = x<br />
  
    F[5,x] = F[10,x]+F[6,x]<br />
  
    F[6,x] = F[1,x]+F[7,x]<br />
  
    F[7,x] = F[8,x]<br />
  
    F[8,x] = F[4,x]*F[9,x]<br />
  
    F[9,x] = F[1,x]+F[4,x]<br />
  
    F[10,x] = F[11,x]+F[2,x]<br />
  
    F[11,x] = F[12,x]+F[13,x]+F[34,x]<br />
  
    F[12,x] = 0<br />
  
    F[13,x] = F[14,x]*F[4,x]<br />
  
    F[14,x] = F[15,x]+F[19,x]<br />
  
    F[15,x] = F[16,x]+F[7,x]<br />
  
    F[16,x] = F[17,x]<br />
  
    F[17,x] = F[18,x]*F[4,x]<br />
  
    F[18,x] = F[4,x]<br />
  
    F[19,x] = F[20,x]+F[25,x]<br />
  
    F[20,x] = F[21,x]<br />
  
    F[21,x] = F[22,x]*F[4,x]<br />
  
    F[22,x] = F[23,x]+F[24,x]<br />
  
    F[23,x] = F[7,x]<br />
  
    F[24,x] = F[20,x]<br />
  
    F[25,x] = F[26,x]<br />
  
    F[26,x] = F[27,x]*F[4,x]<br />
  
    F[27,x] = F[28,x]+F[29,x]<br />
  
    F[28,x] = F[16,x]<br />
  
    F[29,x] = F[30,x]<br />
  
    F[30,x] = F[31,x]*F[4,x]<br />
  
    F[31,x] = F[32,x]+F[33,x]<br />
  
    F[32,x] = F[16,x]<br />
  
    F[33,x] = F[30,x]<br />
  
    F[34,x] = F[35,x]*F[4,x]<br />
  
    F[35,x] = F[36,x]+F[4,x]<br />
  
    F[36,x] = F[12,x]+F[37,x]+F[38,x]<br />
  
    F[37,x] = x^2<br />
  
    F[38,x] = x^2<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_{5}\! \left(x \right)<br />
  
    F_{4}\! \left(x \right) = x<br />
  
    F_{5}\! \left(x \right) = F_{10}\! \left(x \right)+F_{6}\! \left(x \right)<br />
  
    F_{6}\! \left(x \right) = F_{1}\! \left(x \right)+F_{7}\! \left(x \right)<br />
  
    F_{7}\! \left(x \right) = F_{8}\! \left(x \right)<br />
  
    F_{8}\! \left(x \right) = F_{4}\! \left(x \right) F_{9}\! \left(x \right)<br />
  
    F_{9}\! \left(x \right) = F_{1}\! \left(x \right)+F_{4}\! \left(x \right)<br />
  
    F_{10}\! \left(x \right) = F_{11}\! \left(x \right)+F_{2}\! \left(x \right)<br />
  
    F_{11}\! \left(x \right) = F_{12}\! \left(x \right)+F_{13}\! \left(x \right)+F_{34}\! \left(x \right)<br />
  
    F_{12}\! \left(x \right) = 0<br />
  
    F_{13}\! \left(x \right) = F_{14}\! \left(x \right) F_{4}\! \left(x \right)<br />
  
    F_{14}\! \left(x \right) = F_{15}\! \left(x \right)+F_{19}\! \left(x \right)<br />
  
    F_{15}\! \left(x \right) = F_{16}\! \left(x \right)+F_{7}\! \left(x \right)<br />
  
    F_{16}\! \left(x \right) = F_{17}\! \left(x \right)<br />
  
    F_{17}\! \left(x \right) = F_{18}\! \left(x \right) F_{4}\! \left(x \right)<br />
  
    F_{18}\! \left(x \right) = F_{4}\! \left(x \right)<br />
  
    F_{19}\! \left(x \right) = F_{20}\! \left(x \right)+F_{25}\! \left(x \right)<br />
  
    F_{20}\! \left(x \right) = F_{21}\! \left(x \right)<br />
  
    F_{21}\! \left(x \right) = F_{22}\! \left(x \right) F_{4}\! \left(x \right)<br />
  
    F_{22}\! \left(x \right) = F_{23}\! \left(x \right)+F_{24}\! \left(x \right)<br />
  
    F_{23}\! \left(x \right) = F_{7}\! \left(x \right)<br />
  
    F_{24}\! \left(x \right) = F_{20}\! \left(x \right)<br />
  
    F_{25}\! \left(x \right) = F_{26}\! \left(x \right)<br />
  
    F_{26}\! \left(x \right) = F_{27}\! \left(x \right) F_{4}\! \left(x \right)<br />
  
    F_{27}\! \left(x \right) = F_{28}\! \left(x \right)+F_{29}\! \left(x \right)<br />
  
    F_{28}\! \left(x \right) = F_{16}\! \left(x \right)<br />
  
    F_{29}\! \left(x \right) = F_{30}\! \left(x \right)<br />
  
    F_{30}\! \left(x \right) = F_{31}\! \left(x \right) F_{4}\! \left(x \right)<br />
  
    F_{31}\! \left(x \right) = F_{32}\! \left(x \right)+F_{33}\! \left(x \right)<br />
  
    F_{32}\! \left(x \right) = F_{16}\! \left(x \right)<br />
  
    F_{33}\! \left(x \right) = F_{30}\! \left(x \right)<br />
  
    F_{34}\! \left(x \right) = F_{35}\! \left(x \right) F_{4}\! \left(x \right)<br />
  
    F_{35}\! \left(x \right) = F_{36}\! \left(x \right)+F_{4}\! \left(x \right)<br />
  
    F_{36}\! \left(x \right) = F_{12}\! \left(x \right)+F_{37}\! \left(x \right)+F_{38}\! \left(x \right)<br />
  
    F_{37}\! \left(x \right) = x^{2}<br />
  
    F_{38}\! \left(x \right) = x^{2}<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_5(x))<br />
  
    Eq(F_4(x), x)<br />
  
    Eq(F_5(x), F_10(x) + F_6(x))<br />
  
    Eq(F_6(x), F_1(x) + F_7(x))<br />
  
    Eq(F_7(x), F_8(x))<br />
  
    Eq(F_8(x), F_4(x)*F_9(x))<br />
  
    Eq(F_9(x), F_1(x) + F_4(x))<br />
  
    Eq(F_10(x), F_11(x) + F_2(x))<br />
  
    Eq(F_11(x), F_12(x) + F_13(x) + F_34(x))<br />
  
    Eq(F_12(x), 0)<br />
  
    Eq(F_13(x), F_14(x)*F_4(x))<br />
  
    Eq(F_14(x), F_15(x) + F_19(x))<br />
  
    Eq(F_15(x), F_16(x) + F_7(x))<br />
  
    Eq(F_16(x), F_17(x))<br />
  
    Eq(F_17(x), F_18(x)*F_4(x))<br />
  
    Eq(F_18(x), F_4(x))<br />
  
    Eq(F_19(x), F_20(x) + F_25(x))<br />
  
    Eq(F_20(x), F_21(x))<br />
  
    Eq(F_21(x), F_22(x)*F_4(x))<br />
  
    Eq(F_22(x), F_23(x) + F_24(x))<br />
  
    Eq(F_23(x), F_7(x))<br />
  
    Eq(F_24(x), F_20(x))<br />
  
    Eq(F_25(x), F_26(x))<br />
  
    Eq(F_26(x), F_27(x)*F_4(x))<br />
  
    Eq(F_27(x), F_28(x) + F_29(x))<br />
  
    Eq(F_28(x), F_16(x))<br />
  
    Eq(F_29(x), F_30(x))<br />
  
    Eq(F_30(x), F_31(x)*F_4(x))<br />
  
    Eq(F_31(x), F_32(x) + F_33(x))<br />
  
    Eq(F_32(x), F_16(x))<br />
  
    Eq(F_33(x), F_30(x))<br />
  
    Eq(F_34(x), F_35(x)*F_4(x))<br />
  
    Eq(F_35(x), F_36(x) + F_4(x))<br />
  
    Eq(F_36(x), F_12(x) + F_37(x) + F_38(x))<br />
  
    Eq(F_37(x), x**2)<br />
  
    Eq(F_38(x), x**2)<br />
  
  Pack JSON:<br />{&#34;expansion_strats&#34;: [[{&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;extra_basis&#34;: [], &#34;ignore_parent&#34;: false, &#34;maxreqlen&#34;: 1, &#34;one_cell_only&#34;: false, &#34;strategy_class&#34;: &#34;CellInsertionFactory&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;dirs&#34;: [0, 1, 2, 3], &#34;ignore_parent&#34;: false, &#34;partial&#34;: false, &#34;point_only&#34;: false, &#34;strategy_class&#34;: &#34;PatternPlacementFactory&#34;}]], &#34;inferral_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.row_and_col_separation&#34;, &#34;ignore_parent&#34;: true, &#34;inferrable&#34;: true, &#34;possibly_empty&#34;: false, &#34;strategy_class&#34;: &#34;RowColumnSeparationStrategy&#34;, &#34;workable&#34;: true}, {&#34;class_module&#34;: &#34;tilings.strategies.obstruction_inferral&#34;, &#34;strategy_class&#34;: &#34;ObstructionTransitivityFactory&#34;}], &#34;initial_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;ignore_parent&#34;: true, &#34;interleaving&#34;: null, &#34;strategy_class&#34;: &#34;FactorFactory&#34;, &#34;tracked&#34;: false, &#34;unions&#34;: false, &#34;workable&#34;: true}], &#34;iterative&#34;: false, &#34;name&#34;: &#34;point_placements&#34;, &#34;symmetries&#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;ignore_parent&#34;: false, &#34;strategy_class&#34;: &#34;InsertionEncodingVerificationStrategy&#34;}, {&#34;basis&#34;: [], &#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;ignore_parent&#34;: false, &#34;strategy_class&#34;: &#34;OneByOneVerificationStrategy&#34;, &#34;symmetry&#34;: false}, {&#34;basis&#34;: [], &#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;ignore_parent&#34;: false, &#34;strategy_class&#34;: &#34;LocallyFactorableVerificationStrategy&#34;, &#34;symmetry&#34;: false}]}<br />
  Specification JSON:<br />{&#34;root&#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], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: []}, &#34;rules&#34;: [{&#34;children&#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], &#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], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: []}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, {&#34;children&#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;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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: []}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[1, 0], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 2], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;ignore_parent&#34;: true, &#34;partition&#34;: [[[0, 1]], [[1, 0], [1, 2]]], &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;workable&#34;: true}}, {&#34;children&#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;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [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], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: []}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, {&#34;children&#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], &#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], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: []}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, {&#34;children&#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], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]]}, {&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, {&#34;children&#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;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;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;ignore_parent&#34;: true, &#34;partition&#34;: [[[0, 1]], [[1, 0]]], &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;workable&#34;: true}}, {&#34;children&#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], &#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], &#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;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, {&#34;children&#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;: [], &#34;pos&#34;: []}], &#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 3], [1, 3]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 3], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 3]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[1, 0], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 2], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 2], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 3], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 3], [1, 3]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 2], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 3]]}]]}, {&#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;direction&#34;: 2, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: false, &#34;include_empty&#34;: true, &#34;indices&#34;: [0, 0], &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;}}, {&#34;children&#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;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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 3], [1, 3]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 3], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 3]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[1, 0], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 2], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 2], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 3], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 3], [1, 3]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 2], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 3]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;ignore_parent&#34;: true, &#34;partition&#34;: [[[0, 1]], [[1, 0], [1, 2], [1, 3]]], &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;workable&#34;: true}}, {&#34;children&#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;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;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;ignore_parent&#34;: true, &#34;partition&#34;: [[[0, 2]], [[1, 0], [1, 1]]], &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;workable&#34;: true}}, {&#34;children&#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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}, {&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, {&#34;children&#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;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;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, {&#34;children&#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;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]]}, {&#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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, {&#34;children&#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, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}, {&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, {&#34;children&#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;: [], &#34;pos&#34;: []}], &#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], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]]}, {&#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;direction&#34;: 2, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], &#34;ignore_parent&#34;: false, &#34;include_empty&#34;: true, &#34;indices&#34;: [0, 0], &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;}}, {&#34;children&#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;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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 0], [1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;ignore_parent&#34;: true, &#34;partition&#34;: [[[0, 2]], [[1, 0], [1, 1]]], &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;workable&#34;: true}}, {&#34;children&#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;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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 3], [1, 3]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 3], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 3], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 3]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[1, 0], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 2], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 3], [1, 3]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 2], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 3]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;ignore_parent&#34;: true, &#34;partition&#34;: [[[0, 1]], [[1, 0], [1, 2], [1, 3]]], &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;workable&#34;: true}}, {&#34;children&#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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}, {&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, {&#34;children&#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;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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 3]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 4]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 4]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 3], [1, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 3], [1, 4]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 4], [1, 4]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 3], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 4], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 4], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 3]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 4]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[1, 0], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 2], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 2], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 3], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 3], [1, 3]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 4], [1, 3], [1, 3]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 4], [1, 4], [1, 3]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 4], [1, 4], [1, 4]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 2], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 3]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 4]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;ignore_parent&#34;: true, &#34;partition&#34;: [[[0, 1]], [[1, 0], [1, 2], [1, 3], [1, 4]]], &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;workable&#34;: true}}, {&#34;children&#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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}, {&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 3]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 3]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, {&#34;children&#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;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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 3]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 4]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 4]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 3], [1, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 3], [1, 4]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 4], [1, 4]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 3], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 3], [1, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 4], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 4], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 3]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 4]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[1, 0], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 2], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 3], [1, 3]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 4], [1, 3], [1, 3]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 4], [1, 4], [1, 3]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 4], [1, 4], [1, 4]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 2], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 3]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 4]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;ignore_parent&#34;: true, &#34;partition&#34;: [[[0, 1]], [[1, 0], [1, 2], [1, 3], [1, 4]]], &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;workable&#34;: true}}, {&#34;children&#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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}, {&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 3]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 3]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, {&#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;original_rule&#34;: {&#34;children&#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;: [], &#34;pos&#34;: []}], &#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[1, 0], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 2], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;direction&#34;: 2, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: false, &#34;include_empty&#34;: true, &#34;indices&#34;: [0], &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;}}, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;}]}, {&#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;original_rule&#34;: {&#34;children&#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;: [], &#34;pos&#34;: []}], &#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;direction&#34;: 2, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: false, &#34;include_empty&#34;: true, &#34;indices&#34;: [0], &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;}}, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;}]}, {&#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;original_rule&#34;: {&#34;children&#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;: [], &#34;pos&#34;: []}], &#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;: [], &#34;pos&#34;: []}], &#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 0], [1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;direction&#34;: 2, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], &#34;ignore_parent&#34;: false, &#34;include_empty&#34;: true, &#34;indices&#34;: [0, 0], &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;}}, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;}]}, {&#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;original_rule&#34;: {&#34;children&#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;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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;}]}, {&#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;original_rule&#34;: {&#34;children&#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;: [], &#34;pos&#34;: []}], &#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 3], [1, 3]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 3], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 3], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 3]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[1, 0], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 2], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 3], [1, 3]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 2], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 3]]}]]}, {&#34;assumptions&#34;: [], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [], &#34;pos&#34;: []}], &#34;requirements&#34;: []}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;direction&#34;: 2, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: false, &#34;include_empty&#34;: true, &#34;indices&#34;: [0, 0], &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;}}, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;}]}, {&#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;original_rule&#34;: {&#34;children&#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;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]]}, {&#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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;}]}, {&#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;original_rule&#34;: {&#34;children&#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, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}, {&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;}]}, {&#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;original_rule&#34;: {&#34;children&#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;: [], &#34;pos&#34;: []}], &#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 4]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 4]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 3], [1, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 3], [1, 4]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 4], [1, 4]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 3], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 4], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 4], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 3]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 4]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[1, 0], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 2], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 2], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 3], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 3], [1, 3]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 4], [1, 3], [1, 3]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 4], [1, 4], [1, 3]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 4], [1, 4], [1, 4]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 2], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 3]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 4]]}]]}, {&#34;assumptions&#34;: [], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [], &#34;pos&#34;: []}], &#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;: [], &#34;pos&#34;: []}], &#34;requirements&#34;: []}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;direction&#34;: 2, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: false, &#34;include_empty&#34;: true, &#34;indices&#34;: [0, 0, 0], &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;}}, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;}]}, {&#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;original_rule&#34;: {&#34;children&#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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}, {&#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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;}]}, {&#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;original_rule&#34;: {&#34;children&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}, {&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 3]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 3]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;original_rule&#34;: {&#34;children&#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;: [], &#34;pos&#34;: []}], &#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 4]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 4]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 3], [1, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 3], [1, 4]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 4], [1, 4]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 3], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 3], [1, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 4], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 4], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 3]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 4]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[1, 0], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 2], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 3], [1, 3]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 4], [1, 3], [1, 3]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 4], [1, 4], [1, 3]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 4], [1, 4], [1, 4]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 2], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 3]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 4]]}]]}, {&#34;assumptions&#34;: [], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [], &#34;pos&#34;: []}], &#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;: [], &#34;pos&#34;: []}], &#34;requirements&#34;: []}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;direction&#34;: 2, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: false, &#34;include_empty&#34;: true, &#34;indices&#34;: [0, 0, 0], &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;}}, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;}]}, {&#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;original_rule&#34;: {&#34;children&#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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}]]}, {&#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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;}]}, {&#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;original_rule&#34;: {&#34;children&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}, {&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 3]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}]]}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 3], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 3]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 2], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_insertion&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], &#34;ignore_parent&#34;: true, &#34;strategy_class&#34;: &#34;RequirementInsertionStrategy&#34;}}, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;original_rule&#34;: {&#34;children&#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;: [], &#34;pos&#34;: []}], &#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 3]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 4]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 4]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 3], [1, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 3], [1, 4]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 4], [1, 4]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 3], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 3], [1, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 4], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 4], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 3]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 4]]}, {&#34;patt&#34;: [1, 2, 0], &#34;pos&#34;: [[1, 0], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 0, 1], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 2], [1, 2], [1, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 3], [1, 3], [1, 3]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 4], [1, 3], [1, 3]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 4], [1, 4], [1, 3]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[1, 4], [1, 4], [1, 4]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[1, 0], [1, 2], [1, 2], [1, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 3]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 4]]}]]}, {&#34;assumptions&#34;: [], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [], &#34;pos&#34;: []}], &#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;: [], &#34;pos&#34;: []}], &#34;requirements&#34;: []}], &#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 1], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 1]]}, {&#34;patt&#34;: [2, 1, 0], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 1, 3, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 0, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [2, 3, 1, 0], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_placement&#34;, &#34;direction&#34;: 2, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: false, &#34;include_empty&#34;: true, &#34;indices&#34;: [0, 0, 0], &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;}}, &#34;rule_class&#34;: &#34;EquivalenceRule&#34;}]}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#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], &#34;pos&#34;: [[0, 0]]}], &#34;requirements&#34;: []}, &#34;rule_class&#34;: &#34;VerificationRule&#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;comb_class&#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;rule_class&#34;: &#34;VerificationRule&#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;comb_class&#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], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]]}, &#34;rule_class&#34;: &#34;VerificationRule&#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;comb_class&#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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]]}, &#34;rule_class&#34;: &#34;VerificationRule&#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;comb_class&#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;: [], &#34;pos&#34;: []}], &#34;requirements&#34;: []}, &#34;rule_class&#34;: &#34;VerificationRule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.strategy&#34;, &#34;strategy_class&#34;: &#34;EmptyStrategy&#34;}}]}<br /><br />