0132_0231_0312_1032<br /><br />

Counting sequence:<br />
1, 1, 2, 6, 20, 70, 254, 948, 3618, 14058, 55432, 221262, 892346, 3630680, 14885042, 61432382, 255025212, 1064190214, 4461325382, 18780710508, 79357572866, 336466650450, 1431007889744, 6103431668830, 26099839562738, 111877997049648, 480635694869218, 2069101534401846, 8924406284675748, 38561354439558086, 166897502998609742, 723479181352437796, 3140791753917311010, 13653724835676676282, 59432958330544951128, 259021595623269725614, 1130180631217143256874, 4936693587427846014856, 21586198476349817443346, 94481107486455542803310, 413924780228549876818252, 1815038646864621207934470, 7965628849723926716674966, 34987023649614208084478172, 153790963437724327288736514, 676513886260674343952855714, 2978042136972841059276504992, 13118380018106426185990986174, 57824601255192949233852753890, 255044943255463857542407064672, 1125593717071530481081374350786, 4970468699508847446216754449254, 21961106234150643737172047318580, 97083014050863212803237668307270, 429393965229275374327337657433758, 1900133909361515524779573610539156, 8412410052949430399466816816817442, 37261246386113120799420203990292618, 165115626752815314518145810375649064, 731991966115848418881720629023728142, 3246426651318580849586407765162877594, 14403900962931465771073139286081743544, 63932884620294455631449589485716174194, 283878675920482451411734504836838547358, 1260957483762814328184553481561629971292, 5603023649784798697443199876983078550278, 24905436868177722592558895224786802610662, 110741686357082873746856676522368772319052, 492571316969067213898685366847830209099778, 2191613986985140166686753642396963083387890, 9754209529360393322991797803490568039295728, 43425961829123337212845256187121636813904926, 193389367031333638843143935753347714689380306, 861465905446242424899252437496067538664343440, 3838509913045083717484673711866957839247692962, 17108154152704797622918441691100919085655885462, 76270488408420784685422356978182782992664869572, 340110367452828452185310010580803087349351453894, 1517016769334001222126113008084657520086688111342, 6768078133020142791961499279042312001238544082180, 30202453246714748627379298870795789904487095378210, 134808864901505364026011661082109132538502904109658, 601854687883389254236404091405937925541721965471736, 2687568143749716825455377678441364586339738904822126, 12003826854308171718683213897124023428605944354845706, 53625357308703832617456604054419141917442394561026024, 239612145092321952974442490735023427728791155968385234, 1070862206830889785041837829889605563259792264782332622, 4786769831425872931641010568553869193911597015922673260, 21400987148044250884774007607493917246248918363666295814, 95698593536157379846617471514873350646957386956378735414, 428012085517543045619811511839499347688901873040921067964, 1914624158830341550574835960995453416197201334698179836418, 8566164585639456568339345106834238580422890585953321792834, 38332140914852131165463317628748015761161642007952365441856, 171558394654575476817481243497371340152035790861765236795262, 767947639845245198902910910274137437245117908860852107108290, 3438116063615334659232804191527762897568957034989172186525888, 15394916471955550696045961483040914697697650126063708817263490, 68944663378438299659137019374034369234295155539974208165505734, 308808442689689291231222036251695704286595469082138884237508692<br /><br />


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



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



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



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



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







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

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



  Specification 1<br />
  Strategy pack name: point_placements<br />
  Tree: http://permpal.com/tree/21204/<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[20,x]*F[4,x]<br />
  
    F[4,x] = F[0,x]+F[5,x]<br />
  
    F[5,x] = F[6,x]<br />
  
    F[6,x] = F[20,x]*F[7,x]<br />
  
    F[7,x] = F[21,x]+F[8,x]<br />
  
    F[8,x] = F[0,x]*F[9,x]<br />
  
    F[9,x] = F[0,x]+F[10,x]<br />
  
    F[10,x] = F[11,x]<br />
  
    F[11,x] = F[12,x]*F[20,x]<br />
  
    F[12,x] = F[13,x]+F[14,x]<br />
  
    F[13,x] = F[0,x]*F[4,x]<br />
  
    F[14,x] = F[0,x]*F[15,x]<br />
  
    F[15,x] = F[16,x]<br />
  
    F[16,x] = F[17,x]*F[20,x]*F[9,x]<br />
  
    F[17,x] = F[1,x]+F[18,x]<br />
  
    F[18,x] = F[19,x]<br />
  
    F[19,x] = F[17,x]*F[20,x]<br />
  
    F[20,x] = x<br />
  
    F[21,x] = F[0,x]*F[22,x]<br />
  
    F[22,x] = F[23,x]<br />
  
    F[23,x] = F[17,x]*F[20,x]*F[4,x]<br />
  
  System of equations in latex syntax:<br />
  
    F_{0}\! \left(x \right) = F_{1}\! \left(x \right)+F_{2}\! \left(x \right)<br />
  
    F_{1}\! \left(x \right) = 1<br />
  
    F_{2}\! \left(x \right) = F_{3}\! \left(x \right)<br />
  
    F_{3}\! \left(x \right) = F_{20}\! \left(x \right) F_{4}\! \left(x \right)<br />
  
    F_{4}\! \left(x \right) = F_{0}\! \left(x \right)+F_{5}\! \left(x \right)<br />
  
    F_{5}\! \left(x \right) = F_{6}\! \left(x \right)<br />
  
    F_{6}\! \left(x \right) = F_{20}\! \left(x \right) F_{7}\! \left(x \right)<br />
  
    F_{7}\! \left(x \right) = F_{21}\! \left(x \right)+F_{8}\! \left(x \right)<br />
  
    F_{8}\! \left(x \right) = F_{0}\! \left(x \right) F_{9}\! \left(x \right)<br />
  
    F_{9}\! \left(x \right) = F_{0}\! \left(x \right)+F_{10}\! \left(x \right)<br />
  
    F_{10}\! \left(x \right) = F_{11}\! \left(x \right)<br />
  
    F_{11}\! \left(x \right) = F_{12}\! \left(x \right) F_{20}\! \left(x \right)<br />
  
    F_{12}\! \left(x \right) = F_{13}\! \left(x \right)+F_{14}\! \left(x \right)<br />
  
    F_{13}\! \left(x \right) = F_{0}\! \left(x \right) F_{4}\! \left(x \right)<br />
  
    F_{14}\! \left(x \right) = F_{0}\! \left(x \right) F_{15}\! \left(x \right)<br />
  
    F_{15}\! \left(x \right) = F_{16}\! \left(x \right)<br />
  
    F_{16}\! \left(x \right) = F_{17}\! \left(x \right) F_{20}\! \left(x \right) F_{9}\! \left(x \right)<br />
  
    F_{17}\! \left(x \right) = F_{1}\! \left(x \right)+F_{18}\! \left(x \right)<br />
  
    F_{18}\! \left(x \right) = F_{19}\! \left(x \right)<br />
  
    F_{19}\! \left(x \right) = F_{17}\! \left(x \right) F_{20}\! \left(x \right)<br />
  
    F_{20}\! \left(x \right) = x<br />
  
    F_{21}\! \left(x \right) = F_{0}\! \left(x \right) F_{22}\! \left(x \right)<br />
  
    F_{22}\! \left(x \right) = F_{23}\! \left(x \right)<br />
  
    F_{23}\! \left(x \right) = F_{17}\! \left(x \right) F_{20}\! \left(x \right) F_{4}\! \left(x \right)<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_20(x)*F_4(x))<br />
  
    Eq(F_4(x), F_0(x) + F_5(x))<br />
  
    Eq(F_5(x), F_6(x))<br />
  
    Eq(F_6(x), F_20(x)*F_7(x))<br />
  
    Eq(F_7(x), F_21(x) + F_8(x))<br />
  
    Eq(F_8(x), F_0(x)*F_9(x))<br />
  
    Eq(F_9(x), F_0(x) + F_10(x))<br />
  
    Eq(F_10(x), F_11(x))<br />
  
    Eq(F_11(x), F_12(x)*F_20(x))<br />
  
    Eq(F_12(x), F_13(x) + F_14(x))<br />
  
    Eq(F_13(x), F_0(x)*F_4(x))<br />
  
    Eq(F_14(x), F_0(x)*F_15(x))<br />
  
    Eq(F_15(x), F_16(x))<br />
  
    Eq(F_16(x), F_17(x)*F_20(x)*F_9(x))<br />
  
    Eq(F_17(x), F_1(x) + F_18(x))<br />
  
    Eq(F_18(x), F_19(x))<br />
  
    Eq(F_19(x), F_17(x)*F_20(x))<br />
  
    Eq(F_20(x), x)<br />
  
    Eq(F_21(x), F_0(x)*F_22(x))<br />
  
    Eq(F_22(x), F_23(x))<br />
  
    Eq(F_23(x), F_17(x)*F_20(x)*F_4(x))<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;: true, &#34;strategy_class&#34;: &#34;InsertionEncodingVerificationStrategy&#34;}, {&#34;basis&#34;: [], &#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;ignore_parent&#34;: true, &#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;: true, &#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, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#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, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#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, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#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;: false, &#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, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: []}, {&#34;assumptions&#34;: [], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]]}], &#34;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], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 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, 0], [0, 2]], [[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, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [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, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [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, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#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;: false, &#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;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 0], [2, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 1], [2, 1], [2, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[1, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [2, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [2, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [2, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [2, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[4, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[4, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 0], [3, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[3, 2], [3, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [4, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [4, 0], [4, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 2], [3, 2], [3, 2]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [4, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[1, 0], [1, 0], [4, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [3, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[4, 0], [4, 0], [4, 0], [4, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [3, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[4, 0], [4, 0], [4, 0], [4, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [3, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[4, 0], [4, 0], [4, 0], [4, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [3, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [4, 0], [4, 0], [4, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[4, 0], [4, 0], [4, 0], [4, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 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, 2], [1, 0], [3, 2], [4, 0]], [[2, 1]]], &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;workable&#34;: true}}, {&#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;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;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 1], [1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [1, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [1, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 0], [2, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 1], [2, 1], [2, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[1, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [2, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [2, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [2, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [2, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 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;: [[2, 1]]}], &#34;ignore_parent&#34;: false, &#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, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [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, 2], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 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], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}], &#34;requirements&#34;: []}, &#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], [2, 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, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [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, 2], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 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], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 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;: false, &#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;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 1], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 1], [0, 3], [0, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 2], [1, 2]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 3], [0, 1], [0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2], [1, 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], &#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, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 3]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 4]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 4]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [2, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 3], [2, 3]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 4]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 1], [0, 4], [0, 4]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 1], [0, 4], [0, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[2, 0], [2, 3], [2, 3]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 4]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 4], [0, 4], [0, 4], [0, 4]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 3], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 4], [0, 4], [0, 4], [0, 4]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 3], [2, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 4], [0, 4], [0, 4], [0, 4]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[2, 0], [2, 3], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 4], [0, 1], [0, 4], [0, 4]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 4], [0, 4], [0, 4], [0, 4]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 3], [2, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}]]}, &#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], [0, 4], [2, 0], [2, 3]], [[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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 1], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 1], [0, 2], [0, 1]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 1], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 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], &#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;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 1], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 1], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 1], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 1], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 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], &#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], &#34;pos&#34;: [[1, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 1], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 1], [0, 3], [0, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 2], [1, 2]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 2], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 3], [0, 1], [0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 2], [1, 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;: [[1, 2]]}], &#34;ignore_parent&#34;: false, &#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, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [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, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 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], &#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;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 1], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 1], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 1], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 1], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 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, 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;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], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[1, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 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, 2]], [[1, 0], [3, 0]], [[2, 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, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: []}, {&#34;assumptions&#34;: [], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#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;: [[1, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 1], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 1], [0, 2], [0, 1]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 1], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}], &#34;requirements&#34;: []}, &#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], [0, 2]], [[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, 1], &#34;pos&#34;: [[1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 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, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#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;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 1], [1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [1, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [1, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 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, 1]], [[2, 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, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}], &#34;requirements&#34;: []}, {&#34;assumptions&#34;: [], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]]}, {&#34;assumptions&#34;: [], &#34;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;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, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 3]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 1], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 1], [0, 3], [0, 1]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 3], [0, 1], [0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3], [0, 3]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}]]}, &#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], [0, 3]], [[1, 2]], [[2, 0]]], &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;workable&#34;: true}}, {&#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;rule_class&#34;: &#34;EquivalencePathRule&#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, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 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, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#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;: 0, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: false, &#34;include_empty&#34;: false, &#34;indices&#34;: [0], &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;}}]}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;EquivalencePathRule&#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, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [2, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 0], [2, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 2], [2, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 2], [2, 2], [2, 2]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [2, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [2, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [2, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [2, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 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, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [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_placement&#34;, &#34;direction&#34;: 1, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: false, &#34;include_empty&#34;: false, &#34;indices&#34;: [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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[4, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[4, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 0], [3, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[3, 2], [3, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [4, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [4, 0], [4, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 2], [3, 2], [3, 2]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [4, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[1, 0], [1, 0], [4, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [3, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[4, 0], [4, 0], [4, 0], [4, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [3, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[4, 0], [4, 0], [4, 0], [4, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [3, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[4, 0], [4, 0], [4, 0], [4, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [3, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [4, 0], [4, 0], [4, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[4, 0], [4, 0], [4, 0], [4, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 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], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [2, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 0], [2, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 2], [2, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 2], [2, 2], [2, 2]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [2, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [2, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [2, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [2, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#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;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;EquivalencePathRule&#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, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [2, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [2, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 2], [2, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 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, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[2, 0], [2, 2], [2, 2]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 2], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 2], [2, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[2, 0], [2, 2], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 2], [2, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 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], [1, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 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;: 0, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;ignore_parent&#34;: false, &#34;include_empty&#34;: false, &#34;indices&#34;: [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], &#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, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 3]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 4]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 4]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 1], [2, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 3], [2, 3]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 4]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 1], [0, 4], [0, 4]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 1], [0, 4], [0, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[2, 0], [2, 3], [2, 3]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 4]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 4], [0, 4], [0, 4], [0, 4]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 3], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 4], [0, 4], [0, 4], [0, 4]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 3], [2, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 4], [0, 4], [0, 4], [0, 4]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[2, 0], [2, 3], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 4], [0, 1], [0, 4], [0, 4]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 4], [0, 4], [0, 4], [0, 4]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 3], [2, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 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, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [2, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [2, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 2], [2, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 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, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[2, 0], [2, 2], [2, 2]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 2], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 2], [2, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[2, 0], [2, 2], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 2], [2, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#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;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;EquivalencePathRule&#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, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 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, 2, 1], &#34;pos&#34;: [[0, 0], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 1], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 1], [0, 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.requirement_placement&#34;, &#34;direction&#34;: 3, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}], &#34;ignore_parent&#34;: false, &#34;include_empty&#34;: false, &#34;indices&#34;: [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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[1, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[1, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[1, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 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], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#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;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;EquivalencePathRule&#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, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 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, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 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;: [[1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [1, 0]]}], &#34;requirements&#34;: [[{&#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.requirement_placement&#34;, &#34;direction&#34;: 2, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}], &#34;ignore_parent&#34;: false, &#34;include_empty&#34;: false, &#34;indices&#34;: [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], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 3]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 3]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1, 2], &#34;pos&#34;: [[0, 1], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 1], [0, 3], [0, 1]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 3]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 3], [0, 1], [0, 3], [0, 3]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 3], [0, 3], [0, 3], [0, 3]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 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, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 2]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[2, 0], [2, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 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, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 2], [0, 0]]}, {&#34;patt&#34;: [1, 0, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 2]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 1, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 3, 1, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 0], [0, 2], [0, 2]]}, {&#34;patt&#34;: [1, 0, 3, 2], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2], [0, 2]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]]}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#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;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;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;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, 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;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;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;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;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;}]}]}<br /><br />