02143_02413_02431_04213_04231_40213_40231<br /><br />

Counting sequence:<br />
1, 1, 2, 6, 24, 113, 580, 3129, 17442, 99574, 579108, 3419056, 20440024, 123494294, 752913720, 4626460910, 28623829932, 178166605469, 1114930402440, 7010385859241, 44268641757686, 280626420185957, 1785180266234336, 11392541408667527, 72916422219043686, 467941980829808259, 3010430527688012228, 19411255413676902257, 125427990832979822646, 812056475420723211783, 5267089205038358557792, 34221205347220552639329, 222696131439707551192690, 1451375382406498882058182, 9472342505150837980903252, 61902740691871232108044808, 405046171027094337860731016, 2653452918572449121584479218, 17402149338897585751600805720, 114249329148950156856234234746, 750827625471004622211463752436, 4939021884727022458842867544952, 32518886411316671674479523832840, 214291873751757716767485377868124, 1413297776087416103371614244161400, 9328318771999552335668313231280520, 61616876783670657420750133354448784, 407294397185839959305030086486523312, 2694116644458775819191900360249028160, 17832454952556194793063448702441218878, 118108456133224054896712281881294073504, 782735441038084181873376174571921204798, 5190423904758211714925623093159987529940, 34437748604324370602921443095806124348670, 228613348802761193819299056898251103103520, 1518429584878699452758715737965618159089146, 10090339156041997714448904165769656482808836, 67085265469182269096371940696225176709087018, 446222470771400760685028301475826338589370968, 2969420268403659855286401721764792630621190430, 19768841311537724731476668187817715104569054612, 131666042922449537951834621280520110053303471010, 877290424015865818346880465873212379701063241152, 5847689920102773395759414557652760546802232350510, 38993408419116618105542020519109120925093028526268, 260111052357004245660027670908389957512466820743597, 1735730220114040026340897099386922165391833947865432, 11586619493088057882327621252793168906633250938259721, 77370938845319382687142128852935924146408932629941190, 516822353108239057057029437902042842148514674662419773, 3453368290932589431853552021684476899062661662140650512, 23082282473781244452295005277856353187419679309190452031, 154328124984472507651335696388666980554258774573424627974, 1032139183592163087017533898200918421374692470046418839071, 6904859429601032747058582816164952948679433476446939199924, 46205266536320181426487310344988988269089878831043923591709, 309275121223940447159630036857060836913341464544421031517550, 2070676670974641920906501287320278905499315655042971674572323, 13867253178811249227450625186077796703068596490980137353842544, 92891635992394003458122289441506064871757100155365375339409781, 622397819827856475992653514365555537205877166359004019148819498, 4171211114683363427571940726311192393941688810523954035950009817, 27961238701882598679447834359486732630441844324338482564095564756, 187477145923724981612292903698648795608425282097227497205342107555, 1257290403354177037223612728961396659821227768162891862633256099738, 8433657178969410678131440011101868721692491889501994028286162049357, 56583157089508627243158990205965857000513916886620191564623491222248, 379705761920781999657270131090422845850991964973181396964885522557739, 2548554599043140363443231873509704126193769692611360247388224330790142, 17109033305191955618097654053809021898880593578369070022649093578663029, 114878795834488059089903096169421685021220278083636011885606402267845476, 771498902416377410624559072179342466876146574738360664788940250559675835, 5182150333600908292783706121488990170282871900048595239396338176644084322, 34814666560135972710263317246810153243233673189827274867799009911758078385, 233932383133868249797258682403495809787396329184028403812999095922175026288, 1572145407395045149670521466060147900287845853819939769693645445770608553567, 10567391028374042932499173915192456572349859271146334217119048908545002501422, 71041812502192814388078254150442949034695626021661148811669323709035335648075, 477672249204505045222596299584128022762033334726637681936105232438962474568012, 3212286643394146533079755798626935388948238393497282286492182058292664002271913, 21605558511504029545830813337448516283122899753151114737788606128423697402175422<br /><br />


















  Specification 1<br />
  Strategy pack name: row_placements_tracked_fusion<br />
  Tree: http://permpal.com/tree/24138/<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]*F[7,x]<br />
  
    F[3,x] = F[4,x,1]<br />
  
    F[4,x,k[0]] = F[1,x]+F[5,x,k[0]]+F[8,x,k[0]]<br />
  
    F[5,x,k[0]] = F[6,x,k[0]]*F[7,x]<br />
  
    F[6,x,k[0]] = 1/(-1+k[0])*(F[4,x,k[0]]*k[0]-F[4,x,1])<br />
  
    F[7,x] = x<br />
  
    F[8,x,k[0]] = F[17,x,k[0]]*F[9,x,k[0]]<br />
  
    F[9,x,k[0]] = 1/(-1+k[0])*(F[10,x,1,k[0]]*k[0]-F[10,x,1/k[0],k[0]])<br />
  
    F[10,x,k[0],k[1]] = F[11,x,k[0]*k[1],k[1]]<br />
  
    F[11,x,k[0],k[1]] = F[1,x]+F[12,x,k[0],k[1]]+F[18,x,k[0],k[1]]<br />
  
    F[12,x,k[0],k[1]] = F[13,x,k[0],k[1]]<br />
  
    F[13,x,k[0],k[1]] = F[11,x,k[0],k[1]]*F[14,x,k[0]]*F[17,x,k[0]]<br />
  
    F[14,x,k[0]] = F[1,x]+F[15,x,k[0]]<br />
  
    F[15,x,k[0]] = F[16,x,k[0]]<br />
  
    F[16,x,k[0]] = F[14,x,k[0]]^2*F[17,x,k[0]]<br />
  
    F[17,x,k[0]] = k[0]*x<br />
  
    F[18,x,k[0],k[1]] = F[17,x,k[1]]*F[19,x,k[0],k[1]]<br />
  
    F[19,x,k[0],k[1]] = (-F[10,x,1,k[1]]*k[1]+F[10,x,k[0]/k[1],k[1]]*k[0])/(-k[1]+k[0])<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) F_{7}\! \left(x \right)<br />
  
    F_{3}\! \left(x \right) = F_{4}\! \left(x , 1\right)<br />
  
    F_{4}\! \left(x , y\right) = F_{1}\! \left(x \right)+F_{5}\! \left(x , y\right)+F_{8}\! \left(x , y\right)<br />
  
    F_{5}\! \left(x , y\right) = F_{6}\! \left(x , y\right) F_{7}\! \left(x \right)<br />
  
    F_{6}\! \left(x , y\right) = \frac{y F_{4}\! \left(x , y\right)-F_{4}\! \left(x , 1\right)}{-1+y}<br />
  
    F_{7}\! \left(x \right) = x<br />
  
    F_{8}\! \left(x , y\right) = F_{17}\! \left(x , y\right) F_{9}\! \left(x , y\right)<br />
  
    F_{9}\! \left(x , y\right) = \frac{y F_{10}\! \left(x , 1, y\right)-F_{10}\! \left(x , \frac{1}{y}, y\right)}{-1+y}<br />
  
    F_{10}\! \left(x , y , z\right) = F_{11}\! \left(x , y z , z\right)<br />
  
    F_{11}\! \left(x , y , z\right) = F_{1}\! \left(x \right)+F_{12}\! \left(x , y , z\right)+F_{18}\! \left(x , y , z\right)<br />
  
    F_{12}\! \left(x , y , z\right) = F_{13}\! \left(x , y , z\right)<br />
  
    F_{13}\! \left(x , y , z\right) = F_{11}\! \left(x , y , z\right) F_{14}\! \left(x , y\right) F_{17}\! \left(x , y\right)<br />
  
    F_{14}\! \left(x , y\right) = F_{1}\! \left(x \right)+F_{15}\! \left(x , y\right)<br />
  
    F_{15}\! \left(x , y\right) = F_{16}\! \left(x , y\right)<br />
  
    F_{16}\! \left(x , y\right) = F_{14}\! \left(x , y\right)^{2} F_{17}\! \left(x , y\right)<br />
  
    F_{17}\! \left(x , y\right) = y x<br />
  
    F_{18}\! \left(x , y , z\right) = F_{17}\! \left(x , z\right) F_{19}\! \left(x , y , z\right)<br />
  
    F_{19}\! \left(x , y , z\right) = \frac{-z F_{10}\! \left(x , 1, z\right)+y F_{10}\! \left(x , \frac{y}{z}, z\right)}{-z +y}<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)*F_7(x))<br />
  
    Eq(F_3(x), F_4(x, 1))<br />
  
    Eq(F_4(x, k_0), F_1(x) + F_5(x, k_0) + F_8(x, k_0))<br />
  
    Eq(F_5(x, k_0), F_6(x, k_0)*F_7(x))<br />
  
    Eq(F_6(x, k_0), (k_0*F_4(x, k_0) - F_4(x, 1))/(k_0 - 1))<br />
  
    Eq(F_7(x), x)<br />
  
    Eq(F_8(x, k_0), F_17(x, k_0)*F_9(x, k_0))<br />
  
    Eq(F_9(x, k_0), (k_0*F_10(x, 1, k_0) - F_10(x, 1/k_0, k_0))/(k_0 - 1))<br />
  
    Eq(F_10(x, k_0, k_1), F_11(x, k_0*k_1, k_1))<br />
  
    Eq(F_11(x, k_0, k_1), F_1(x) + F_12(x, k_0, k_1) + F_18(x, k_0, k_1))<br />
  
    Eq(F_12(x, k_0, k_1), F_13(x, k_0, k_1))<br />
  
    Eq(F_13(x, k_0, k_1), F_11(x, k_0, k_1)*F_14(x, k_0)*F_17(x, k_0))<br />
  
    Eq(F_14(x, k_0), F_1(x) + F_15(x, k_0))<br />
  
    Eq(F_15(x, k_0), F_16(x, k_0))<br />
  
    Eq(F_16(x, k_0), F_14(x, k_0)**2*F_17(x, k_0))<br />
  
    Eq(F_17(x, k_0), k_0*x)<br />
  
    Eq(F_18(x, k_0, k_1), F_17(x, k_1)*F_19(x, k_0, k_1))<br />
  
    Eq(F_19(x, k_0, k_1), (-k_0*F_10(x, k_0/k_1, k_1) + k_1*F_10(x, 1, k_1))/(-k_0 + k_1))<br />
  
  Pack JSON:<br />{&#34;expansion_strats&#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;place_col&#34;: false, &#34;place_row&#34;: true, &#34;strategy_class&#34;: &#34;RowAndColumnPlacementFactory&#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.rearrange_assumption&#34;, &#34;strategy_class&#34;: &#34;RearrangeAssumptionFactory&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.assumption_insertion&#34;, &#34;strategy_class&#34;: &#34;AddAssumptionFactory&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.factor&#34;, &#34;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;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;strategy_class&#34;: &#34;FusionFactory&#34;, &#34;tracked&#34;: true}], &#34;iterative&#34;: false, &#34;name&#34;: &#34;row_placements_tracked_fusion&#34;, &#34;symmetries&#34;: [], &#34;ver_strats&#34;: [{&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}, {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;ignore_parent&#34;: false, &#34;strategy_class&#34;: &#34;InsertionEncodingVerificationStrategy&#34;}, {&#34;basis&#34;: [], &#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;ignore_parent&#34;: false, &#34;strategy_class&#34;: &#34;OneByOneVerificationStrategy&#34;, &#34;symmetry&#34;: false}, {&#34;basis&#34;: [], &#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;ignore_parent&#34;: false, &#34;strategy_class&#34;: &#34;LocallyFactorableVerificationStrategy&#34;, &#34;symmetry&#34;: false}]}<br />
  Specification JSON:<br />{&#34;root&#34;: {&#34;assumptions&#34;: [], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [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], &#34;pos&#34;: [[0, 1]]}, {&#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;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#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], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 4, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [4, 0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 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, 2, 1, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [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_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;: true, &#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, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#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], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 4, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [4, 0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 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, 1]]}, {&#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;: [1, 0], &#34;pos&#34;: [[1, 1], [1, 1]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#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], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 4, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [4, 0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 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, 0], [2, 0]], [[1, 1]]], &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;workable&#34;: true}}, {&#34;children&#34;: [{&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#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], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 4, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [4, 0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 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, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#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], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 4, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [4, 0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}], &#34;requirements&#34;: []}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]}], &#34;class_module&#34;: &#34;tilings.strategies.assumption_insertion&#34;, &#34;strategy_class&#34;: &#34;AddAssumptionsStrategy&#34;, &#34;workable&#34;: false}}, {&#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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 0]]}]}], &#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;: [[2, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 1]]}, {&#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, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [2, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[2, 0], [2, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[2, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [2, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [3, 0], [3, 0], [3, 0]]}, {&#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, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [3, 0]]}, {&#34;patt&#34;: [0, 4, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [3, 0]]}, {&#34;patt&#34;: [4, 0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [3, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]]}, {&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 0]]}]}], &#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, 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;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#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], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 4, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [4, 0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}], &#34;requirements&#34;: []}, &#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;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}], &#34;ignore_parent&#34;: false, &#34;include_empty&#34;: true, &#34;indices&#34;: [0, 0], &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;}}, {&#34;children&#34;: [{&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [1, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#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], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 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;: [[1, 0], [1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 4, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [4, 0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 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, 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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 0]]}]}], &#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;: [[2, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 1]]}, {&#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, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [2, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[2, 0], [2, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[2, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [2, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [3, 0], [3, 0], [3, 0]]}, {&#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, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [3, 0]]}, {&#34;patt&#34;: [0, 4, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [3, 0]]}, {&#34;patt&#34;: [4, 0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [3, 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, 0], [2, 0], [3, 0]], [[1, 1]]], &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;workable&#34;: true}}, {&#34;children&#34;: [{&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 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, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}], &#34;requirements&#34;: []}, {&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}], &#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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 0]]}]}], &#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, 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;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#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, 0], [1, 0], [3, 0]], [[2, 1]]], &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;workable&#34;: true}}, {&#34;children&#34;: [{&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#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], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 4, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [4, 0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}], &#34;requirements&#34;: []}], &#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;comb_class&#34;: {&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [1, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#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], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 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;: [[1, 0], [1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 4, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 4, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 4, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 4, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [2, 0]]}, {&#34;patt&#34;: [4, 0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [4, 0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0], [0, 0], [2, 0]]}], &#34;requirements&#34;: []}, &#34;rule_class&#34;: &#34;FusionRule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;col_idx&#34;: 1, &#34;row_idx&#34;: null, &#34;strategy_class&#34;: &#34;FusionStrategy&#34;, &#34;tracked&#34;: true}}, {&#34;children&#34;: [{&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}, {&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}], &#34;requirements&#34;: []}], &#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;comb_class&#34;: {&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 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, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}], &#34;requirements&#34;: []}, &#34;rule_class&#34;: &#34;FusionRule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;col_idx&#34;: 0, &#34;row_idx&#34;: null, &#34;strategy_class&#34;: &#34;FusionStrategy&#34;, &#34;tracked&#34;: true}}, {&#34;children&#34;: [{&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}, {&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}, {&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#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;assumption&#34;: {&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]}, &#34;class_module&#34;: &#34;tilings.strategies.rearrange_assumption&#34;, &#34;strategy_class&#34;: &#34;RearrangeAssumptionStrategy&#34;, &#34;sub_assumption&#34;: {&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}}}, {&#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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 0]]}]}], &#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;: [[2, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [3, 0]]}, {&#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, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[2, 0], [2, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[2, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 1]]}]]}, {&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}, {&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 0]]}]}], &#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, 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;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}, {&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#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_placement&#34;, &#34;direction&#34;: 1, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}], &#34;ignore_parent&#34;: false, &#34;include_empty&#34;: true, &#34;indices&#34;: [0, 0], &#34;own_col&#34;: true, &#34;own_row&#34;: true, &#34;strategy_class&#34;: &#34;RequirementPlacementStrategy&#34;}}, {&#34;children&#34;: [{&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}, {&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 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, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}], &#34;requirements&#34;: []}, {&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}], &#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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}, {&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 0]]}]}], &#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, 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;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#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, 0], [1, 0], [3, 0]], [[2, 1]]], &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;workable&#34;: true}}, {&#34;children&#34;: [{&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}, {&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}], &#34;requirements&#34;: []}], &#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;comb_class&#34;: {&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}, {&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 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, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[1, 0], [2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0], [2, 0]]}], &#34;requirements&#34;: []}, &#34;rule_class&#34;: &#34;FusionRule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.fusion.fusion&#34;, &#34;col_idx&#34;: 0, &#34;row_idx&#34;: null, &#34;strategy_class&#34;: &#34;FusionStrategy&#34;, &#34;tracked&#34;: true}}, {&#34;children&#34;: [{&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: []}, {&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}], &#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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}, {&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[1, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[0, 0], [1, 0], [1, 0], [1, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 0]]}]}, {&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 0]]}]}], &#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;: [[2, 1]]}, {&#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;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[2, 0], [2, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[2, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 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]], [[1, 2]], [[2, 0], [3, 0]]], &#34;strategy_class&#34;: &#34;FactorStrategy&#34;, &#34;workable&#34;: true}}, {&#34;children&#34;: [{&#34;assumptions&#34;: [], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;requirements&#34;: []}, {&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#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;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;: [[0, 0], [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, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: []}, &#34;rule_class&#34;: &#34;Rule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.requirement_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;: true, &#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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: []}, {&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}], &#34;requirements&#34;: []}, {&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}], &#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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#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;: [[2, 1]]}]}], &#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, 1], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 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]], [[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;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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[1, 2]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[2, 0]]}]}, {&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 0]]}]}], &#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;: [[2, 1]]}, {&#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;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[1, 2], [1, 2]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 1], [0, 1], [0, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[2, 0], [2, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[2, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 0]]}]}], &#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;: [[2, 1]]}, {&#34;patt&#34;: [0], &#34;pos&#34;: [[3, 1]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [2, 0]]}, {&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [3, 0]]}, {&#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, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[2, 0], [2, 0], [2, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[2, 0], [2, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[2, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 1, 3], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[2, 0], [3, 0], [3, 0], [3, 0]]}, {&#34;patt&#34;: [0, 2, 3, 1], &#34;pos&#34;: [[3, 0], [3, 0], [3, 0], [3, 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;rule_class&#34;: &#34;EquivalenceRule&#34;}]}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;rule_class&#34;: &#34;EquivalencePathRule&#34;, &#34;rules&#34;: [{&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;original_rule&#34;: {&#34;children&#34;: [{&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#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;: [[2, 1]]}]}], &#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, 1], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[2, 1], [2, 1]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[0, 2], [0, 2], [0, 2]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[1, 0], [1, 0], [1, 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;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#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;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;: [[0, 0], [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, 2, 1], &#34;pos&#34;: [[0, 0], [0, 0], [0, 0]]}, {&#34;patt&#34;: [0, 2, 1], &#34;pos&#34;: [[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;rule_class&#34;: &#34;EquivalenceRule&#34;}]}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#34;: {&#34;assumptions&#34;: [], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}], &#34;requirements&#34;: []}, &#34;rule_class&#34;: &#34;VerificationRule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#34;: {&#34;assumptions&#34;: [], &#34;class_module&#34;: &#34;tilings.tiling&#34;, &#34;comb_class&#34;: &#34;Tiling&#34;, &#34;obstructions&#34;: [{&#34;patt&#34;: [0, 1], &#34;pos&#34;: [[0, 0], [0, 0]]}, {&#34;patt&#34;: [1, 0], &#34;pos&#34;: [[0, 0], [0, 0]]}], &#34;requirements&#34;: [[{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]]}, &#34;rule_class&#34;: &#34;VerificationRule&#34;, &#34;strategy&#34;: {&#34;class_module&#34;: &#34;tilings.strategies.verification&#34;, &#34;strategy_class&#34;: &#34;BasicVerificationStrategy&#34;}}, {&#34;class_module&#34;: &#34;comb_spec_searcher.strategies.rule&#34;, &#34;comb_class&#34;: {&#34;assumptions&#34;: [{&#34;assumption&#34;: &#34;TrackingAssumption&#34;, &#34;class_module&#34;: &#34;tilings.assumptions&#34;, &#34;gps&#34;: [{&#34;patt&#34;: [0], &#34;pos&#34;: [[0, 0]]}]}], &#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;}}]}<br /><br />